Zəif Harnak bərabərsizliyi, mənfi olmayan parabolik superhəllin böyük qiymətlər aldığı fəza-zaman bölgəsinin ölçüsünü nəzarətdə saxlayan əsas requlyarlıq alətidir. Aranya Sen-in tədqiqatı tam qeyri-xətti və divergensiya formasında olmayan parabolik xüsusi törəməli diferensial tənliklər üçün bu bərabərsizliyə klassik Calderón-Zygmund və ya Vitali tipli örtmə arqumentlərinə müraciət etmədən çatan qlobal bir isbat hazırlayır. Metodun mərkəzi obyekti həllə aşağıdan toxunan sabit açıqlığa malik fəza-zaman paraboloidlərindən qurulan \(E_\sigma(u)\) zərfidir. İsbat göstərir ki, daha dik paraboloidlərin zaman istiqamətində irələdilməsi ilə yeni təmas nöqtələri yaranır, bu təmas nöqtələrinin ölçüsü sahə düsturu və ABP tipli qiymətləndirmə ilə kəmiyyətcə nəzarət oluna bilir və təmas çoxluqlarının iterativ böyüməsi sonda səviyyə-çoxluğu ölçüsünün azalmasına çevrilir.

Eyni mexanizm yalnız zəif Harnak bərabərsizliyini vermir; \(W^{2,\varepsilon}\) tipli requlyarlıq qiymətləndirməsindəki \(\varepsilon\) qüvvətinin elliptiklik parametrlərindən asılılığını da yaxşılaşdırır. Tədqiqatda əldə edilən asimptotik tərtib \[ \varepsilon=O\!\left(\lambda^n(n\Lambda+1)^{-n}\right) \] şəklində verilir. Bu nəticə nəzəri isbat nəticəsidir; ədədi simulyasiya, eksperiment və ya real dünya verilənlər dəsti istifadə edilməmişdir. Tədqiqatın iddiası müəyyən fiziki sistemin performansını göstərmək deyil, parabolik requlyarlıq nəzəriyyəsinin əsas bərabərsizliklərindən biri üçün daha qlobal və örtmə arqumentindən asılı olmayan isbat mexanizmi qurmaqdır.

Tədqiqatın əsas problemi

Tədqiqat tam qeyri-xətti parabolik xüsusi törəməli diferensial tənliklərin viskoz superhəlləri nəzərdən keçirir. Əvvəlcə araşdırılan bərabərsizlik mənbədə bu şəkildə yazılır:

\[ u_t-\mathcal M^-_{\lambda,\Lambda}(D^2u) +C|\nabla u|+C|u|\geq 0 \]

Bu bərabərsizlik \(Q_2=B_2(0)\times(-4,0]\) parabolik silindri üzərində nəzərdən keçirilir. Burada \(D^2u\) fəza Hessian matrisidir, \(\nabla u\) fəza qradiyenti, \(u_t\) isə zaman törəməsidir. \(\lambda\) və \(\Lambda\) tənliyin müntəzəm elliptikliyini məhdudlaşdıran müsbət sabitlərdir.

Bu quruluş daha ümumi olaraq

\[ u_t-F(D^2u,\nabla u,u,x,t)=0 \]

tənliklər ailəsi ilə əlaqələndirilir. Mənbədə \(F\) funksiyasının müntəzəm elliptik olması, sıfır funksiyasının həll olması və qradiyentlə həll dəyişənlərinə görə müəyyən Lipschitz sərhədini ödəməsi fərz edilir. Müsbət yarı-müəyyən \(N\) üçün müntəzəm elliptiklik şərti

\[ \lambda\|N\| \leq F(M+N,p,z,x,t)-F(M,p,z,x,t) \leq \Lambda\|N\| \]

şəklində ifadə edilir. Beləliklə, problem yalnız bir xüsusi diferensial tənliyi deyil, Hessian-a müntəzəm elliptik şəkildə bağlı geniş qeyri-xətti parabolik tənliklər sinfini əhatə edir.

Pucci ekstremal operatorlarının rolu

Pucci ekstremal operatorları müəyyən \(\lambda\) və \(\Lambda\) elliptiklik sərhədləri altında ikinci tərtib xətti müntəzəm elliptik operatorların ekstremal davranışını təmsil edən operatorlardır. Mənbədə simmetrik \(N\) matrisi üçün aşağı Pucci operatoru

\[ \mathcal M^-_{\lambda,\Lambda}(N) = \inf_{\lambda I\leq A\leq\Lambda I} \operatorname{tr}(AN) \]

və məxsusi qiymətlər vasitəsilə

\[ \mathcal M^-_{\lambda,\Lambda}(N) = \lambda \sum_{\mu_i>0}\mu_i + \Lambda \sum_{\mu_i<0}\mu_i \]

şəklində təyin edilir. Yuxarı operator isə

\[ \mathcal M^+_{\lambda,\Lambda}(N) = -\mathcal M^-_{\lambda,\Lambda}(-N) \]

münasibəti ilə verilir. Bu operatorlar tədqiqatın bütün qiymətləndirmələrində \(\lambda\) ilə \(\Lambda\) arasındakı elliptiklik fərqinin hansı xərc yaratdığını görünən edir.

Mənbə notasiya barədə diqqət: PDF-in girişində aşağı operator \(\mathcal M^-_{\lambda,\Lambda}\) şəklində yazıldığı halda, sonrakı bəzi tərif, lemma və teorem ifadələrində alt indekslərin sırası \(\mathcal M^-_{\Lambda,\lambda}\) kimi çap olunmuşdur. Verianla mətni bu fərqi səssizcə düzəldilmiş nəticə kimi təqdim etmir.

Zəif Harnak Bərabərsizliyi Bu Tədqiqatda Nə Deyir?

Bu tədqiqatda zəif Harnak bərabərsizliyi mənfi olmayan viskoz superhəllin yüksək səviyyələrə çatdığı nöqtələrin fəza-zaman ölçüsünün qüvvət qanunu ilə azaldığını bildirir. Başqa sözlə, nəticə həllin hər nöqtədəki qiymətini birbaşa vahid maksimum-minimum nisbəti ilə məhdudlaşdırmaq əvəzinə, böyük qiymətlərin olduğu çoxluğun nə qədər böyük ola biləcəyini kəmiyyətcə məhdudlaşdırır.

Mənbənin Teorem 2.1 ifadəsində uyğun \(\varepsilon=\varepsilon(n,\lambda,\Lambda)\) üçün

\[ \left| \left\{ u\geq C(\Lambda,\lambda,n)\,u(0)\,t \right\} \cap\mathcal B_1 \right| \leq |\mathcal B_1|\,t^{-\varepsilon} \]

qiymətləndirməsi alınır. Buradakı \(t\) bərabərsizlikdə səviyyə parametridir; parabolik tənliyin zaman dəyişəni ilə simvolik olaraq eyni hərfin işlədildiyi oxunarkən fərqləndirilməlidir.

Bərabərsizliyin əsas mənası budur: səviyyə yüksəldikcə həllin həmin səviyyədən yuxarı qaldığı bölgənin ölçüsü ən azı qüvvət qanunu sürəti ilə kiçilir. Bu ölçü azalması daha irəli requlyarlıq nəticələrinin qurulmasına imkan verir.

Mənbə həmçinin Teorem 2.1-in standart nəticəsi kimi ümumi tənliklər sinfində həllər üçün daxili Hölder requlyarlığının əldə edildiyini qeyd edir. Buna görə zəif Harnak qiymətləndirməsi yalnız müstəqil səviyyə-çoxluğu nəticəsi deyil, parabolik həllərin yerli osillasiyasını və kəsilməzliyini nəzarətdə saxlayan daha geniş requlyarlıq nəzəriyyəsinin bir hissəsidir.

Parabolik həndəsə niyə Evklid həndəsəsindən fərqli nəzərdən keçirilir?

Parabolik tənliklərdə fəza və zaman eyni miqyasla davranmır. Fəza miqyası \(r\) seçildikdə təbii zaman miqyası \(r^2\)-dir. Buna görə mənbə geri və irəli parabolik qonşuluqları müvafiq olaraq

\[ Q_r^B((x_0,t_0)) = \left\{ (x,s): |x-x_0|

\[ Q_r^F((x_0,t_0)) = \left\{ (x,s): |x-x_0|

şəklində təyin edir. Oxşar şəkildə irəli və geri fəza-zaman parabolik topları zaman fərqini fəza məsafəsinin kvadratı ilə müqayisə edən bölgələr kimi qurulur. İsbat boyunca “paraboloidin zaman istiqamətində axması” ifadəsinin mənalı olmasının səbəbi də bu parabolik həndəsədir.

Parabolik Paraboloid Zərfi Niyə İstifadə Olunur?

Parabolik paraboloid zərfi həllin hansı nöqtələrində müəyyən əyriliyə malik sınaq formalarının aşağıdan təmas edə bildiyini həndəsi və ölçülə bilən obyektə çevirir. Beləliklə, diferensial bərabərsizlik yalnız törəmə ifadələri ilə deyil, təmas nöqtələrinin fəza-zamandakı paylanması ilə də araşdırıla bilir.

Mənbədə \(\delta>0\), təpə nöqtəsi \((y,s)\) və \(\sigma\in\mathbb R\) üçün istifadə olunan əsas forma

\[ P_{\sigma;\delta}^{(y,s)}(x,t) = \sigma \left( t-s-\frac{|x-y|^2}{2} \right), \qquad s\leq t\leq s+\delta \]

kimi təyin edilir. \(\sigma>0\) olduqda bu forma konkav fəza-zaman paraboloididir; \(|\sigma|\) həm açıqlıq, həm də meyl parametri kimi istifadə olunur.

Mənfi olmayan kəsilməz \(u\) funksiyası üçün sabit açıqlıqlı konkav paraboloidlərdən qurulan aşağı zərf

\[ E_\sigma(u) = \sup \left\{ P_{\sigma;\delta}^{(y,s)}: P_{\sigma;\delta}^{(y,s)}\leq u \right\} \]

şəklindədir. Zərfin həllə həqiqətən toxunduğu nöqtələr isə təmas çoxluğunu yaradır:

\[ A_\sigma(u) = \left\{ (x,t): E_\sigma(u)(x,t)=u(x,t) \right\}. \]

Bu təriflərin çox mühüm miqyaslama xassəsi vardır:

\[ E_\sigma(u) = \sigma E_1\!\left(\frac{u}{\sigma}\right), \qquad A_\sigma(u) = A_1\!\left(\frac{u}{\sigma}\right). \]

Beləliklə, müxtəlif açıqlıqlardakı təmas davranışı uyğun normallaşdırma ilə vahid əsas miqyasa endirilə bilər.

Zərfin diferensiallana bilməsi niyə vacibdir?

\(E_\sigma\) sabit açıqlıqlı konkav paraboloidlərlə aşağıdan dəstəkləndiyi üçün müntəzəm yarım-konveksdir. İstifadə olunan requlyarlıq nəticəsi ölçüsü sıfır olan çoxluq istisna olmaqla zərfin ikinci tərtib fəza və birinci tərtib zaman açılımına malik olmasını təmin edir. Bu xassə təmas nöqtələri ilə paraboloidlərin təpə nöqtələri arasında Lipschitz çevrilməsinin müəyyən edilə bilməsinin və daha sonra sahə düsturunun tətbiq olunmasının əsasını təşkil edir.

İsbatdan əvvəl standart inf-convolution reduksiyasından da istifadə edilərək superhəllin tələb olunan yarım-konkavlıq xassəsinə malik olduğu fərz edilə bilər. Mənbənin vurğuladığı funksiya sahə düsturunun tətbiq ediləcəyi çevrilmələrin Lipschitz olmasını təmin etməkdir.

Tədqiqatın Metodu və Nəticələri

İsbatın ümumi arxitekturası

Klassik zəif Harnak isbatlarında əsasən iki vəzifə birlikdə yerinə yetirilir: ABP tipli qiymətləndirmə ilə müəyyən təmas nöqtələri barədə ölçü məlumatı alınır, sonra bu məlumat həssas Calderón-Zygmund və ya Vitali örtmə arqumenti ilə lokallaşdırılır. Sen-in yanaşması birinci hissəni saxlayır, ikinci hissəni isə fərqli həndəsi mexanizmlə əvəz edir.

Lemma 3.1: Yeni təmas nöqtələrinin yaranması

Bir \(P_{\sigma^2}\) paraboloidi \(E_\sigma\) zərfinə \(A_\sigma\)-dan kənar nöqtədə aşağıdan toxunsun. Bu paraboloid zaman istiqamətində irələdilib sonda \(u\)-ya toxunduqda, mənbə bu yeni təmas nöqtəsinin

\[ A_{\sigma^2}(u)\setminus A_\sigma(u) \]

daxilində olmalı olduğunu göstərir.

Arqumentin həndəsi nüvəsi viskoz superhəllin uyğun mənada “yuxarı baxan iti künc” ilə aşağıdan təmas edə bilməməsidir. Əgər yeni və köhnə təmas eyni nöqtədə baş versəydi, iki müxtəlif açıqlıqdakı paraboloidin maksimumundan belə bir künc yaradıla bilərdi. Mənbə koordinat çevrilməsi və baryerdən istifadə edərək bunun diferensial bərabərsizliklə ziddiyyət təşkil etdiyini göstərir.

Lemma 3.2: Təmas nöqtələrindən təpə nöqtələrinə ölçünün ötürülməsi

\(T\), daha dik paraboloidlərin \(E_\sigma\)-ya toxunduğu nöqtələr çoxluğu, \(V\) isə bu paraboloidlərin təpə nöqtələri olsun. Mənbə

\[ |V| \geq \left(1-\frac{1}{\sigma}\right)^{n+1}|T| \]

aşağı sərhədini əldə edir.

Bu nəticəyə çatmaq üçün təmas nöqtəsindən paraboloidin təpəsinə gedən çevrilmə qurulur. Zərfin demək olar ki, hər yerdə diferensiallana bilməsi bu çevrilmənin Yakobian determinantının hesablanmasını təmin edir. Sahə düsturu tətbiq edildikdə zərfin zaman törəməsi və Hessian-ına aid yarım-konvekslik sərhədləri birbaşa ölçü qiymətləndirməsinə çevrilir.

Lemma 3.3: ABP tipli qlobal ölçü qazancı

İsbatın kəmiyyət mərkəzlərindən biri Lemma 3.3-dür. Mənbə uyğun şərtlər altında yeni təmas çoxluğunun ölçüsünün

\[ |A_{\sigma^2}(u)\setminus A_\sigma(u)| \geq \frac{ \lambda^{\,n-1}\min\{1,\lambda\} \left(1-\frac{1}{\sigma}\right)^{n+1} }{ (1+n\Lambda)^n } |T| \]

ilə aşağıdan məhdudlaşdırıldığını göstərir.

Burada kritik addım yeni təmas nöqtəsində diferensial bərabərsizlikdən Hessian-ın məxsusi qiymətlərinə dair həm aşağı, həm də yuxarı sərhədlər çıxarmaqdır. Mənbə Yakobian determinantını qiymətləndirərkən Hessian-ın ən azı bir mənfi məxsusi qiymətə malik olduğu halla bütün məxsusi qiymətlərin müsbət olduğu halı ayrıca nəzərdən keçirir. Bu ayrım sonda eyni ümumi yuxarı sərhəddə birləşdirilir.

Bu hesablama klassik oxşar ABP qiymətləndirmələri ilə müqayisədə \((n\Lambda+1)^{-1}\) vuruğuna aid qüvvətin bir dərəcə azaldılmasını təmin edir. Əsas isbatda ABP qiymətləndirməsinin lokallaşdırma hissəsindən ayrılması ilə əlavə bir yaxşılaşma da əldə edilir.

Yeni İsbat Örtmə Arqumentini Necə Keçir?

Yeni isbat yerli qutuları təkrar-təkrar örtən Calderón-Zygmund və ya Vitali parçalanması əvəzinə, daha dik paraboloidlərin təmas çoxluqlarını bütün bölgə üzrə sistematik şəkildə böyüdür. Bir miqyasdan növbəti miqyasa keçərkən alınan yeni təmas nöqtələrinin ölçüsü birbaşa nəzarət edildiyi üçün zəruri ölçü azalması qlobal induksiyadan alınır; beləliklə klassik isbatın həssas örtmə mərhələsinə ehtiyac qalmır.

Mənbənin strategiyasında əvvəlcə \(8^k\) açıqlıqlı paraboloidlərin yaratdığı təmas çoxluğu nəzərdən keçirilir. Daha sonra \(8^{k+1}\) açıqlıqlı daha dik paraboloidlər mövcud zərfin təmas çoxluğu xaricində aşağıdan yerləşdirilir və zaman istiqamətində irələdilir. Lemma 3.1 bu prosesin yeni təmas nöqtələri verdiyini, Lemma 3.3 isə həmin yeni təmas nöqtələrinin ölçüsünün kəmiyyətcə kifayət qədər böyük olduğunu göstərir.

Bu yanaşmanın “qlobal” xarakteri tənliyin bütün fəza-zamanda qlobal həllinin əldə edilməsi demək deyil. Buradakı qloballıq təmas çoxluqlarının ölçüsünün yerli örtmə alqoritminə bölünmədən bütövlükdə nəzarətdə saxlanmasıdır.

Sərhəddən məsafəni qoruyan baryer

Yeni təmas nöqtələrinin həqiqətən daxili bölgədə qalması lazımdır. Bunun üçün mənbə

\[ \phi_{(x_0,t_0)}(x,t) = (t-t_0)^{-\alpha} \left( e^{-\beta|x-x_0|^2/(t-t_0)} -e^{-\beta} \right), \qquad t>t_0 \]

baryerindən istifadə edir. Parametrlər

\[ \beta = 4\left( 1+\frac{(n-1)\Lambda+1}{\lambda} \right), \qquad \alpha=2n\beta\Lambda+1 \]

kimi seçilir. Bu funksiya müvafiq irəli parabolik bölgədə uyğun alt-həlldir. Lemma 3.4 bu baryer vasitəsilə güclü maksimum prinsipinin kəmiyyət versiyasını qurur və müəyyən fəza kəsiyində həllin infimumunu istinad qiyməti ilə müqayisə edir.

Bu lemma əsas induksiyada iki yerdə istifadə olunur: təmas paraboloidlərinin təpə nöqtələrinin istənilən parabolik bölgədən həddən artıq uzaqlaşmasının qarşısını almaq və zaman istiqamətində irələdilən paraboloidin oblast daxilində həllə toxunmasını təmin etmək.

Əsas induksiya və ölçü azalması

Mənbə əsas isbatda

\[ M=\alpha+1, \qquad \epsilon_k = 2^{-14-\frac{k+1}{M+2}} \]

seçimini edir və sərhəddən kəmiyyətcə uzaqlaşdırılmış parabolik bölgələr qurur. Sonra \(\sigma=8\) sabitlənərək həll uyğun şəkildə normallaşdırılır.

İnduksiyanın məqsədi

\[ |\mathcal B_1\setminus A_{\sigma^k}| \leq \sigma^{-\varepsilon k}|\mathcal B_1| \]

ölçü azalmasını qurmaqdır. Bu ifadə açıqlığı getdikcə artan paraboloidlərin təmas edə bilmədiyi bölgənin həndəsi sürətlə kiçildiyini bildirir.

İnduksiya addımı iki hala ayrılır. Daxildə qalan bölgədə təmas etməyən çoxluq artıq kiçikdirsə, sərhəd qatının ölçüsü tələb olunan azalmanı təmin edir. Daxili bölgədə təmas etməyən çoxluq hələ də böyükdürsə, Lemma 3.3 bu çoxluğun sabit nisbətinin növbəti açıqlıqda yeni təmas nöqtələrinə çevrilməsini təmin edir. Hər iki halda \(A_{\sigma^{k+1}}\)-in tamamlayıcısı kiçilir.

Təmas çoxluğuna aid nöqtədə həllin qiyməti ona aşağıdan toxunan paraboloidin açıqlığı ilə nəzarət edilə bildiyi üçün bu həndəsi ölçü azalması sonda həllin yüksək səviyyə çoxluqları üçün zəif Harnak qiymətləndirməsinə çevrilir.

\(W^{2,\varepsilon}\) Qiymətləndirməsindəki Yaxşılaşma Nədir?

Tədqiqatın ikinci əsas nəticəsi həllin ikinci tərtib fəza və birinci tərtib zaman requlyarlığı ilə bağlı \(W^{2,\varepsilon}\) qiymətləndirməsində istifadə olunan \(\varepsilon\) qüvvətinin elliptiklik nisbətindən asılılığının yaxşılaşdırılmasıdır. Mənbə paraboloidlərlə aşağıdan təmas üçün tələb olunan ən kiçik açıqlığı ölçən \(\Theta(u)\) kəmiyyətindən istifadə edərək zəif Harnak bərabərsizliyinə paralel səviyyə-çoxluğu qiymətləndirməsi alır.

Teorem 2.2-də eyni \(\varepsilon(n,\lambda,\Lambda)\) üçün ümumi quruluş

\[ \left| \left\{ \Theta(u)\geq C'(\Lambda,\lambda,n)u(0)t \right\} \cap\mathcal B_1 \right| \leq |\mathcal B_1|t^{-\varepsilon} \]

şəklindədir. Mənbə həmçinin \(\delta=\varepsilon/2\) seçildikdə ümumi tənliklər sinfinin həllərinin ikinci tərtib fəza törəmələri və birinci tərtib zaman törəmələri üçün \(L^\delta\) tipli qiymətləndirmə əldə edildiyini bildirir.

Əvvəlki parabolik nəticə üçün mənbədə müqayisə edilən asılılıq

\[ \varepsilon \sim \lambda^{n+1}(n\Lambda+1)^{-n-2} \]

olduğu halda bu tədqiqatın metodu

\[ \varepsilon \sim \lambda^n(n\Lambda+1)^{-n} \]

tərtibinə çatır. Əsas isbatın sonunda nəticə daha ehtiyatlı şəkildə

\[ \boxed{ \varepsilon = O\!\left( \lambda^n(n\Lambda+1)^{-n} \right) } \]

kimi qeyd edilir.

\(\varepsilon\) sərhədi induksiyadan necə alınır?

İnduksiyada bir addımda təmas etməyən bölgənin ölçüsü ya sərhəd qatı sayəsində həndəsi olaraq kiçilir, ya da yeni təmas nöqtələrinin sabit nisbətli ölçü qazancı işə düşür. Mənbə bu iki mexanizmi eyni qüvvət qanununa uyğunlaşdırmaq üçün \(\varepsilon\)-yə iki ayrı yuxarı sərhəd qoyur.

Ölçü qazancının \(\sigma^{-\varepsilon}\) ilə uyğun olması üçün birinci sərhəd təxminən

\[ \varepsilon \leq \left[ 2^{n+2}\ln(4) \left( \frac{1+n\Lambda}{\lambda} \right)^n \right]^{-1} \]

şəklindədir. Sərhəd qatından gələn ikinci şərt isə

\[ \varepsilon\leq(M+2)^{-1} \]

şəklində ortaya çıxır. Bu iki məhdudiyyət birlikdə qiymətləndirildikdə mənbə yuxarıdakı \(\lambda^n(n\Lambda+1)^{-n}\) asimptotik asılılığını əldə edir.

Tədqiqatın dəstəklədiyi nəticələr

• Mənfi olmayan uyğun viskoz superhəllər üçün zəif Harnak səviyyə-çoxluğu qiymətləndirməsi əldə edilir.
• İsbatın əsas həndəsi aləti sabit açıqlıqlı fəza-zaman paraboloidlərindən qurulan zərflər və təmas çoxluqlarıdır.
• Klassik örtmə arqumenti təmas çoxluqlarının qlobal ölçü artımı və induksiya ilə əvəz olunur.
• Sahə düsturu və ABP tipli Yakobian nəzarəti yeni təmas nöqtələrinin ölçüsünü kəmiyyətcə məhdudlaşdırır.
• Baryer arqumenti təmas nöqtələrinin isbat üçün tələb olunan daxili bölgədə qalmasını təmin edir.
• Eyni texnika \(W^{2,\varepsilon}\) qiymətləndirməsinə tətbiq olunur.
• \(\varepsilon\)-nin \(\lambda\), \(\Lambda\) və \(n\)-dən asılılığı əvvəlki parabolik qiymətləndirmə ilə müqayisədə yaxşılaşdırılır.

Tədqiqatın dəstəkləmədiyi şərhlər

• Nəticə eksperimental və ya ədədi doğrulama deyil.
• Müəyyən fiziki, mühəndislik və ya maliyyə sistemi üzərində performans iddiası daşımır.
• Tədqiqat bütün parabolik PDE sinifləri üçün fərziyyəsiz nəticə vermir; müntəzəm elliptiklik və müvafiq viskoz həll şərtləri vacibdir.
• \(\varepsilon\) üçün verilən asimptotik asılılıq bütün sabitlərin açıq şəkildə optimal olduğunun sübutu kimi şərh edilməməlidir.
• Örtmə arqumentinin aradan qaldırılması bütün yerli requlyarlıq texnikalarının lazımsız olduğu demək deyil; nəticə bu xüsusi isbat arxitekturasına aiddir.
• Mənbədə görünən Pucci alt indeks sırası və zaman istinadı fərqləri düzəldilmiş riyazi nəticələr kimi fərz edilməməlidir.

Mənbə və Metod Qeydi

Orijinal başlıq: A Global Proof of the Weak Harnack Inequality for Parabolic Equations in Non-Divergence Form

Müəllif: Aranya Sen.

Qurum: Mənbə PDF-in sonunda Department of Mathematics, UC Irvine, Irvine, CA 92697, U.S.A. məlumatı yer alır. SSRN üst metadatasında isə afiliyasiya sahəsi ayrıca doldurulmayıb.

Mənbə növü: Riyaziyyat sahəsində nəzəri tədqiqat preprinti.

Platforma: SSRN.

SSRN Abstract ID: 6963585.

DOI: 10.2139/ssrn.6963585.

Nəşr/elan tarixi: SSRN qeydində 18 iyun 2026.

Rəyçilik statusu: Mənbə PDF açıq şəkildə onun rəy prosesindən keçməmiş preprint olduğunu bildirir.

Lisenziya/müəllif hüquqları: SSRN qeyd səhifəsindəki lisenziya məlumatına görə hüquq sahibi SSRN-yə yayım lisenziyası vermişdir; əsər “all rights reserved” statusundadır və icazəsiz təkrar istifadə göstərilmir. Buna görə bu Verianla mətnində mənbə məqalənin cümlələri, orijinal anlatı quruluşu və ya səhifə dizaynı təkrar istehsal edilməyib; elmi faktlar, riyazi əlaqələr, metod və nəticələr müstəqil öyrədici quruluşda izah edilib.

Maliyyələşdirmə/təşəkkür: Mənbə tədqiqatı motivasiya edən suala görə Connor Mooney-yə təşəkkür edir və işin NSF grant DMS-2143668 dəstəyi ilə əlaqəli olduğunu bildirir.

Verilənlərin əlçatanlığı: Ayrı verilənlər dəsti və ya verilənlərin əlçatanlığı bəyanatı təqdim edilməyib. Tədqiqat eksperimental verilənlər analizi deyil, nəzəri riyazi isbat işidir.

Maraqların toqquşması: Mənbədə ayrıca maraqların toqquşması bəyanatı aşkar edilməyib.

Müəllif töhfələri: Ayrı CRediT töhfə bəyanatı yoxdur; mənbə tək müəlliflidir.

Əsas metodoloji məhdudiyyət:Nəticələr mənbədə göstərilən viskoz superhəll və müntəzəm elliptiklik çərçivəsinə aiddir. \(C=0\) halı əsas isbatda nəzərdən keçirilir; mənbə \(C\neq0\) üçün nəticələrin böyük ölçüdə qorunduğunu, lakin \(\varepsilon\)-nin əlavə olaraq \(C\)-dən asılı hala gəldiyini bildirir.

Mənbədaxili notasiya xəbərdarlığı: Giriş tənliyində \(\mathcal M^-_{\lambda,\Lambda}\) istifadə olunduğu halda sonrakı bəzi teorem və lemma ifadələrində \(\mathcal M^-_{\Lambda,\lambda}\) yazılışı vardır. Bundan əlavə, başlanğıcda verilən \(Q_2=B_2(0)\times(-4,0]\) zaman intervalı ilə sonrakı bəzi \(u(0,1)\) istinadları arasında görünən notasiya/yığım uyğunsuzluğu mövcuddur. Bu Verianla mətni bu məqamları mənbədə olmayan düzəlişlə dəyişmir.

Vizualın yenidən qurulması: Mənbədə verilənlər qrafiki və ya elmi raster şəkil yoxdur. Verianla üçün ən uyğun orijinal vizual quruluş \(E_\sigma\) zərfini, \(A_\sigma\) təmas çoxluğunu, daha dik paraboloidlərin zaman istiqamətində irəliləməsini və yeni təmas çoxluqlarının böyüməsini göstərən miqyassız texniki sxemdir.

Verianla Live / Live Figure: Qismən uyğundur. İstifadəçinin \(\lambda\), \(\Lambda\), \(\sigma\) və ya digər elmi parametrləri dəyişdirdiyi simulyasiya aparılmamalıdır. Sabit parametrlərlə yalnız mənbədə müəyyən edilən proses ardıcıllığının; mövcud təmas → daha dik paraboloid → zaman istiqamətində irəliləmə → yeni təmas → təmas çoxluğunun böyüməsi formasında animasiya ilə vurğulanması elmi baxımdan uyğundur.