Zaif Harnack tengsizligi — manfiy boʻlmagan parabolik qovushqoqlik superyechimi katta qiymatlar oladigan fazo-vaqt sohasining oʻlchovini nazorat qiluvchi asosiy regulyarlik vositasidir. Aranya Sen tadqiqoti toʻliq nochiziqli va divergensiya shaklida boʻlmagan parabolik xususiy hosilali differensial tenglamalar uchun ushbu tengsizlikka klassik Calderón-Zygmund yoki Vitali turidagi qoplash argumentlariga murojaat qilmasdan erishadigan global isbotni ishlab chiqadi. Usulning markaziy obyekti yechimga pastdan tegadigan oʻzgarmas ochilishli fazo-vaqt paraboloidlaridan tuzilgan \(E_\sigma(u)\) qobigʻidir. Isbot tikroq paraboloidlarni vaqt yoʻnalishida siljitish orqali yangi tegish nuqtalari paydo boʻlishini, bu tegish nuqtalarining oʻlchovi yuza formulasi va ABP turidagi baho yordamida miqdoriy nazorat qilinishini hamda tegish toʻplamlarining iterativ oʻsishi oxir-oqibat sath-toʻplam oʻlchovining kamayishiga aylanishini koʻrsatadi.

Xuddi shu mexanizm nafaqat zaif Harnack tengsizligini beradi, balki \(W^{2,\varepsilon}\) turidagi regulyarlik bahosidagi \(\varepsilon\) darajasining elliptiklik parametrlariga bogʻliqligini ham yaxshilaydi. Tadqiqotda olingan asimptotik tartib \[ \varepsilon=O\!\left(\lambda^n(n\Lambda+1)^{-n}\right) \] koʻrinishida beriladi. Bu natija nazariy isbot natijasidir; sonli simulyatsiya, tajriba yoki real dunyo ma’lumotlar toʻplamidan foydalanilmagan. Tadqiqotning da’vosi muayyan fizik tizimning samaradorligini koʻrsatish emas, balki parabolik regulyarlik nazariyasining asosiy tengsizliklaridan biri uchun globalroq va qoplash argumentidan mustaqil isbot mexanizmini qurishdir.

Tadqiqotning asosiy muammosi

Tadqiqot toʻliq nochiziqli parabolik xususiy hosilali differensial tenglamalarning qovushqoqlik superyechimlarini koʻrib chiqadi. Dastlab oʻrganiladigan tengsizlik manbada quyidagicha yozilgan:

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

Bu tengsizlik \(Q_2=B_2(0)\times(-4,0]\) parabolik silindrida koʻrib chiqiladi. Bu yerda \(D^2u\) fazoviy Hessian matritsasi, \(\nabla u\) fazoviy gradient, \(u_t\) esa vaqt hosilasidir. \(\lambda\) va \(\Lambda\) tenglamaning bir tekis elliptikligini chegaralovchi musbat oʻzgarmaslardir.

Bu tuzilma umumiyroq holda

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

tenglamalar oilasi bilan bogʻlanadi. Manbada \(F\) funksiyasi bir tekis elliptik boʻlishi, nol funksiya yechim boʻlishi va gradient hamda yechim oʻzgaruvchilariga nisbatan ma’lum Lipschitz chegarasini qanoatlantirishi faraz qilinadi. Musbat yarim aniqlangan \(N\) uchun bir tekis elliptiklik sharti

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

koʻrinishida ifodalanadi. Demak, muammo faqat bitta maxsus differensial tenglamani emas, Hessian-ga bir tekis elliptik tarzda bogʻlangan nochiziqli parabolik tenglamalarning keng sinfini qamrab oladi.

Pucci ekstremal operatorlarining roli

Pucci ekstremal operatorlari berilgan \(\lambda\) va \(\Lambda\) elliptiklik chegaralari ostida ikkinchi tartibli chiziqli bir tekis elliptik operatorlarning ekstremal xatti-harakatini ifodalovchi operatorlardir. Manbada simmetrik \(N\) matritsa uchun quyi Pucci operatori

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

va xos qiymatlar orqali

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

koʻrinishida aniqlanadi. Yuqori operator esa

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

munosabati bilan beriladi. Bu operatorlar tadqiqotdagi barcha baholarda \(\lambda\) bilan \(\Lambda\) orasidagi elliptiklik farqi qanday xarajat keltirishini yaqqol koʻrsatadi.

Manba notatsiyasi haqida ogohlantirish: PDF kirish qismida quyi operator \(\mathcal M^-_{\lambda,\Lambda}\) koʻrinishida yozilgan boʻlsa, keyingi ayrim ta’rif, lemma va teoremlarda quyi indekslar tartibi \(\mathcal M^-_{\Lambda,\lambda}\) tarzida bosilgan. Verianla matni bu farqni sukut bilan tuzatilgan natija sifatida taqdim etmaydi.

Zaif Harnack Tengsizligi Ushbu Tadqiqotda Nimani Anglatadi?

Ushbu tadqiqotda zaif Harnack tengsizligi manfiy boʻlmagan qovushqoqlik superyechimi yuqori sathlarga chiqadigan nuqtalarning fazo-vaqt oʻlchovi darajali qonun boʻyicha kamayishini bildiradi. Boshqacha aytganda, natija yechimning har bir nuqtadagi qiymatini bevosita yagona maksimum-minimum nisbati bilan chegaralash oʻrniga, katta qiymatlar joylashgan toʻplam qanchalik katta boʻlishi mumkinligini miqdoriy chegaralaydi.

Manbaning 2.1-teoremi bayonida mos \(\varepsilon=\varepsilon(n,\lambda,\Lambda)\) uchun

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

baho olinadi. Bu yerdagi \(t\) tengsizlikdagi sath parametridir; parabolik tenglamaning vaqt oʻzgaruvchisi bilan ramziy ravishda bir xil harf ishlatilgani oʻqishda farqlanishi kerak.

Tengsizlikning asosiy mazmuni shuki: sath koʻtarilgan sari yechim shu sathdan yuqorida qoladigan sohaning oʻlchovi kamida darajali qonun tezligida qisqaradi. Oʻlchovning bunday kamayishi keyingi regulyarlik natijalarini qurishga imkon beradi.

Manba 2.1-teoremining standart oqibati sifatida umumiy tenglamalar sinfidagi yechimlar uchun ichki Hölder regulyarligi olinishi haqida ham qayd etadi. Shuning uchun zaif Harnack bahosi faqat mustaqil sath-toʻplam natijasi emas, balki parabolik yechimlarning lokal tebranishi va uzluksizligini nazorat qiluvchi kengroq regulyarlik nazariyasining bir qismidir.

Parabolik geometriya nega Yevklid geometriyasidan boshqacha qaraladi?

Parabolik tenglamalarda fazo va vaqt bir xil masshtabda tutmaydi. Fazoviy masshtab \(r\) tanlanganda tabiiy vaqt masshtabi \(r^2\) boʻladi. Shu sabab manba orqaga va oldinga parabolik qoʻshniliklarni mos ravishda

\[ 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|

koʻrinishida aniqlaydi. Xuddi shuningdek, oldinga va orqaga fazo-vaqt parabolik sharlari vaqt farqini fazoviy masofaning kvadrati bilan solishtiradigan sohalar sifatida quriladi. Isbot davomida “paraboloidning vaqt yoʻnalishida oqishi” iborasining mazmunli boʻlishiga ham aynan shu parabolik geometriya sabab boʻladi.

Parabolik Paraboloid Qobigʻi Nega Ishlatiladi?

Parabolik paraboloid qobigʻi yechimning qaysi nuqtalarida ma’lum egrilikdagi sinov shakllari pastdan tega olishini geometrik va oʻlchanadigan obyektga aylantiradi. Shu tariqa differensial tengsizlikni faqat hosila ifodalari orqali emas, balki tegish nuqtalarining fazo-vaqtdagi taqsimoti orqali ham oʻrganish mumkin.

Manbada \(\delta>0\), choʻqqi nuqtasi \((y,s)\) va \(\sigma\in\mathbb R\) uchun ishlatiladigan asosiy shakl

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

deb aniqlanadi. \(\sigma>0\) boʻlganda bu shakl botiq fazo-vaqt paraboloididir; \(|\sigma|\) ham ochilish, ham qiyalik parametri sifatida ishlatiladi.

Manfiy boʻlmagan uzluksiz \(u\) funksiya uchun oʻzgarmas ochilishli botiq paraboloidlardan tuzilgan quyi qobiq

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

koʻrinishidadir. Qobiq yechimga haqiqatan tegadigan nuqtalar esa tegish toʻplamini hosil qiladi:

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

Bu ta’riflarning juda muhim masshtablash xossasi bor:

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

Demak, turli ochilishlardagi tegish xatti-harakatini mos normallashtirish bilan bitta asosiy masshtabga keltirish mumkin.

Qobiqning differensiallanuvchanligi nega muhim?

\(E_\sigma\) oʻzgarmas ochilishli botiq paraboloidlar bilan pastdan tayanganligi sabab bir tekis yarim-konveksdir. Qoʻllanilgan regulyarlik natijasi oʻlchovi nol boʻlgan toʻplamdan tashqarida qobiqning ikkinchi tartibli fazoviy va birinchi tartibli vaqt boʻyicha yoyilishga ega boʻlishini ta’minlaydi. Bu xossa tegish nuqtalari bilan paraboloid choʻqqilari orasida Lipschitz akslantirishini aniqlash va keyin yuza formulasini qoʻllash uchun asos boʻladi.

Isbotdan oldin standart inf-convolution reduksiyasi ham qoʻllanib, superyechim kerakli yarim-botiqlik xossasiga ega deb olish mumkin. Manba ta’kidlagan vazifa yuza formulasi qoʻllanadigan akslantirishlarning Lipschitz boʻlishini kafolatlashdir.

Tadqiqot Usuli va Natijalari

Isbotning umumiy arxitekturasi

Klassik zaif Harnack isbotlarida asosan ikki vazifa birga bajariladi: ABP turidagi baho bilan muayyan tegish nuqtalari haqida oʻlchov ma’lumoti olinadi va soʻng bu ma’lumot nozik Calderón-Zygmund yoki Vitali qoplash argumenti orqali lokallashtiriladi. Sen yondashuvi birinchi qismini saqlab, ikkinchi qismini boshqa geometrik mexanizm bilan almashtiradi.

Lemma 3.1: Yangi tegish nuqtalarining paydo boʻlishi

Bir \(P_{\sigma^2}\) paraboloidi \(E_\sigma\) qobigʻiga \(A_\sigma\) dan tashqaridagi nuqtada pastdan urinib tursin. Bu paraboloid vaqt yoʻnalishida siljitilib, oxirida \(u\) ga tekkanda, manba yangi tegish nuqtasi

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

ichida boʻlishi kerakligini koʻrsatadi.

Argumentning geometrik yadrosi shundan iboratki, qovushqoqlik superyechimi mos ma’noda “yuqoriga qaragan oʻtkir burchak” bilan pastdan tega olmaydi. Agar yangi va eski tegish bir nuqtada yuz berganida, turli ochilishdagi ikki paraboloid maksimumidan shunday burchak hosil qilish mumkin boʻlardi. Manba koordinatalarni almashtirish va toʻsiqdan foydalanib, buning differensial tengsizlikka zid ekanini koʻrsatadi.

Lemma 3.2: Tegish nuqtalaridan choʻqqi nuqtalariga oʻlchovni uzatish

\(T\) — tikroq paraboloidlar \(E_\sigma\) ga tegadigan nuqtalar toʻplami, \(V\) esa shu paraboloidlarning choʻqqi nuqtalari boʻlsin. Manba

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

quyi chegarani oladi.

Bu natijaga erishish uchun tegish nuqtasidan paraboloid choʻqqisiga olib boruvchi akslantirish quriladi. Qobiqning deyarli hamma joyda differensiallanuvchanligi ushbu akslantirishning Yakobian determinantini hisoblash imkonini beradi. Yuza formulasi qoʻllanganda qobiqning vaqt hosilasi va Hessian-iga oid yarim-konvekslik chegaralari bevosita oʻlchov bahosiga aylanadi.

Lemma 3.3: ABP turidagi global oʻlchov yutugʻi

Isbotning miqdoriy markazlaridan biri Lemma 3.3-dir. Manba mos sharoitlarda yangi tegish toʻplamining oʻlchovi

\[ |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| \]

bilan pastdan chegaralanganini koʻrsatadi.

Bu yerda hal qiluvchi qadam yangi tegish nuqtasida differensial tengsizlikdan Hessian xos qiymatlari uchun ham quyi, ham yuqori chegaralarni chiqarishdir. Manba Yakobian determinantini baholashda Hessian kamida bitta manfiy xos qiymatga ega boʻlgan holatni barcha xos qiymatlar musbat boʻlgan holatdan alohida koʻrib chiqadi. Bu ajratish oxirida bir xil umumiy yuqori chegaraga keladi.

Bu hisob klassik oʻxshash ABP baholari bilan solishtirganda \((n\Lambda+1)^{-1}\) koʻpaytuvchiga tegishli darajani bir pogʻona kamaytirishga imkon beradi. Asosiy isbotda ABP bahosining lokallashtirish qismidan ajratilishi bilan yana bir qoʻshimcha yaxshilanish olinadi.

Yangi Isbot Qoplash Argumentini Qanday Chetlab Oʻtadi?

Yangi isbot lokal qutilarni qayta-qayta qoplaydigan Calderón-Zygmund yoki Vitali ajratishi oʻrniga tikroq paraboloidlarning tegish toʻplamlarini butun soha boʻylab tizimli ravishda kattalashtiradi. Bir masshtabdan keyingisiga oʻtishda olinadigan yangi tegish nuqtalarining oʻlchovi bevosita nazorat qilinishi sabab kerakli oʻlchov kamayishi global induksiyadan kelib chiqadi; shu bilan klassik isbotning nozik qoplash bosqichiga ehtiyoj qolmaydi.

Manba strategiyasida avval \(8^k\) ochilishli paraboloidlar hosil qilgan tegish toʻplami koʻrib chiqiladi. Keyin \(8^{k+1}\) ochilishli tikroq paraboloidlar mavjud qobiqning tegish toʻplamidan tashqarida pastdan joylashtirilib, vaqt yoʻnalishida siljitiladi. Lemma 3.1 bu jarayon yangi tegish nuqtalarini berishini, Lemma 3.3 esa bu yangi tegish nuqtalarining oʻlchovi miqdoriy jihatdan yetarlicha katta ekanini koʻrsatadi.

Bu yondashuvning “global” xususiyati tenglamaning butun fazo-vaqtda global yechimi olinganini anglatmaydi. Bu yerda globallik tegish toʻplamlari oʻlchovining lokal qoplash algoritmiga boʻlinmasdan birgalikda nazorat qilinishidir.

Chegaradan masofani saqlovchi toʻsiq

Yangi tegish nuqtalari haqiqatan ichki sohada qolishi kerak. Buning uchun manba

\[ \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 \]

toʻsiqdan foydalanadi. Parametrlar

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

deb tanlanadi. Bu funksiya tegishli oldinga parabolik sohada mos quyi yechimdir. Lemma 3.4 shu toʻsiq orqali kuchli maksimum prinsipining miqdoriy versiyasini quradi va muayyan fazoviy kesimda yechim infimumini tayanch qiymat bilan solishtiradi.

Bu lemma asosiy induksiyada ikki joyda ishlatiladi: tegish paraboloidlari choʻqqilarining kerakli parabolik sohadan ortiqcha uzoqlashishiga yoʻl qoʻymaslik va vaqt yoʻnalishida siljitilgan paraboloidning soha ichida yechimga tegishini kafolatlash.

Asosiy induksiya va oʻlchov kamayishi

Manba asosiy isbotda

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

tanlovini qiladi va chegaradan miqdoriy ravishda uzoqlashtirilgan parabolik sohalarni tuzadi. Soʻng \(\sigma=8\) oʻzgarmas qilinib, yechim mos ravishda normallashtiriladi.

Induksiyaning maqsadi

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

oʻlchov kamayishini qurishdir. Bu ifoda ochilishi tobora ortib borayotgan paraboloidlar tega olmaydigan sohaning geometrik tezlikda qisqarishini bildiradi.

Induksiya qadami ikki holatga ajraladi. Ichkarida qolgan sohada tegmaydigan toʻplam allaqachon kichik boʻlsa, chegara qatlamining oʻlchovi kerakli kamayishni ta’minlaydi. Ichki sohada tegmaydigan toʻplam hali ham katta boʻlsa, Lemma 3.3 bu toʻplamning oʻzgarmas ulushi keyingi ochilishda yangi tegish nuqtalariga aylanishini kafolatlaydi. Har ikki holatda \(A_{\sigma^{k+1}}\) ning toʻldiruvchisi kichrayadi.

Tegish toʻplamiga mansub nuqtada yechim qiymati unga pastdan tegadigan paraboloid ochilishi bilan nazorat qilinishi mumkinligi sabab bu geometrik oʻlchov kamayishi oxirida yechimning yuqori sath toʻplamlari uchun zaif Harnack bahosiga aylanadi.

\(W^{2,\varepsilon}\) Bahosidagi Yaxshilanish Nimadan Iborat?

Tadqiqotning ikkinchi asosiy natijasi yechimning ikkinchi tartibli fazoviy va birinchi tartibli vaqt regulyarligi bilan bogʻliq \(W^{2,\varepsilon}\) bahosida ishlatiladigan \(\varepsilon\) darajasining elliptiklik nisbatiga bogʻliqligi yaxshilanganidir. Manba paraboloidlar bilan pastdan tegish uchun zarur eng kichik ochilishni oʻlchaydigan \(\Theta(u)\) miqdoridan foydalanib, zaif Harnack tengsizligiga parallel sath-toʻplam bahosini oladi.

2.2-teoremda ayni \(\varepsilon(n,\lambda,\Lambda)\) uchun umumiy tuzilma

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

koʻrinishidadir. Manba shuningdek \(\delta=\varepsilon/2\) tanlanganda umumiy tenglamalar sinfi yechimlarining ikkinchi tartibli fazoviy hosilalari va birinchi tartibli vaqt hosilalari uchun \(L^\delta\) turidagi baho olinishi haqida qayd etadi.

Oldingi parabolik natija uchun manbada taqqoslangan bogʻliqlik

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

boʻlgan boʻlsa, ushbu tadqiqot usuli

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

tartibiga erishadi. Asosiy isbot oxirida natija ehtiyotkorroq tarzda

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

deb qayd etiladi.

\(\varepsilon\) chegarasi induksiyadan qanday kelib chiqadi?

Induksiyaning bir qadamida tegmaydigan sohaning oʻlchovi yo chegara qatlami tufayli geometrik tarzda kichrayadi, yo yangi tegish nuqtalarining oʻzgarmas ulushli oʻlchov yutugʻi ishga tushadi. Manba bu ikki mexanizmni bir xil darajali qonunga moslashtirish uchun \(\varepsilon\) ga ikkita alohida yuqori chegara qoʻyadi.

Oʻlchov yutugʻining \(\sigma^{-\varepsilon}\) bilan mos boʻlishi uchun birinchi chegara taxminan

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

koʻrinishidadir. Chegara qatlamidan keladigan ikkinchi shart esa

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

koʻrinishida paydo boʻladi. Ushbu ikki cheklov birgalikda baholanganda manba yuqoridagi \(\lambda^n(n\Lambda+1)^{-n}\) asimptotik bogʻliqlikni oladi.

Tadqiqot qoʻllab-quvvatlaydigan natijalar

• Manfiy boʻlmagan mos qovushqoqlik superyechimlari uchun zaif Harnack sath-toʻplam bahosi olinadi.
• Isbotning asosiy geometrik vositasi oʻzgarmas ochilishli fazo-vaqt paraboloidlaridan tuzilgan qobiqlar va tegish toʻplamlaridir.
• Klassik qoplash argumenti tegish toʻplamlarining global oʻlchov ortishi va induksiya bilan almashtiriladi.
• Yuza formulasi va ABP turidagi Yakobian nazorati yangi tegish nuqtalarining oʻlchovini miqdoriy chegaralaydi.
• Toʻsiq argumenti tegish nuqtalarining isbot uchun zarur ichki sohada qolishini ta’minlaydi.
• Xuddi shu usul \(W^{2,\varepsilon}\) bahosiga qoʻllanadi.
• \(\varepsilon\) ning \(\lambda\), \(\Lambda\) va \(n\) ga bogʻliqligi oldingi parabolik bahoga nisbatan yaxshilanadi.

Tadqiqot qoʻllab-quvvatlamaydigan talqinlar

• Natija eksperimental yoki sonli tasdiqlash emas.
• Muayyan fizik, muhandislik yoki moliyaviy tizimda samaradorlik da’vosini oʻz ichiga olmaydi.
• Tadqiqot barcha parabolik PDE sinflari uchun farazlarsiz natija bermaydi; bir tekis elliptiklik va tegishli qovushqoqlik yechimi shartlari muhim.
• \(\varepsilon\) uchun berilgan asimptotik bogʻliqlik barcha oʻzgarmaslarning aniq optimal ekanining isboti sifatida talqin qilinmasligi kerak.
• Qoplash argumentining olib tashlanishi barcha lokal regulyarlik usullari keraksiz boʻlib qoldi degani emas; natija aynan shu maxsus isbot arxitekturasiga taalluqlidir.
• Manbada koʻrinadigan Pucci quyi indeks tartibi va vaqt boʻyicha havola farqlari tuzatilgan matematik natijalar sifatida qabul qilinmasligi kerak.

Manba va Usul Haqida Izoh

Asl sarlavha: A Global Proof of the Weak Harnack Inequality for Parabolic Equations in Non-Divergence Form

Muallif: Aranya Sen.

Tashkilot: Manba PDF oxirida Department of Mathematics, UC Irvine, Irvine, CA 92697, U.S.A. ma’lumoti keltirilgan. SSRN yuqori metama’lumotlarida esa affiliasiya maydoni alohida toʻldirilmagan.

Manba turi: Matematika sohasidagi nazariy tadqiqot preprinti.

Platforma: SSRN.

SSRN Abstract ID: 6963585.

DOI: 10.2139/ssrn.6963585.

Nashr/e’lon sanasi: SSRN qaydida 18 iyun 2026.

Taqriz holati: Manba PDF bu taqrizdan oʻtmagan preprint ekanini ochiq bildiradi.

Litsenziya/mualliflik huquqi: SSRN qayd sahifasidagi litsenziya ma’lumotiga koʻra huquq egasi SSRN ga tarqatish litsenziyasini bergan; asar “all rights reserved” maqomida va ruxsatsiz qayta foydalanish koʻrsatilmagan. Shu sabab bu Verianla matnida manba maqolaning gaplari, asl bayon tuzilishi yoki sahifa dizayni qayta ishlab chiqarilmagan; ilmiy faktlar, matematik munosabatlar, usul va natijalar mustaqil ta’limiy tuzilishda tushuntirilgan.

Moliyalashtirish/minnatdorlik: Manba tadqiqotga turtki boʻlgan savol uchun Connor Mooney ga minnatdorlik bildiradi va ish NSF grant DMS-2143668 koʻmagi bilan bogʻliqligini qayd etadi.

Ma’lumotlarning mavjudligi: Alohida ma’lumotlar toʻplami yoki ma’lumotlar mavjudligi bayonoti taqdim etilmagan. Tadqiqot eksperimental ma’lumot tahlili emas, nazariy matematik isbot ishidir.

Manfaatlar toʻqnashuvi: Manbada alohida manfaatlar toʻqnashuvi bayonoti aniqlanmagan.

Muallif hissalari: Alohida CRediT hissa bayonoti yoʻq; manba bitta muallifga tegishli.

Asosiy metodologik cheklov:Natijalar manbada koʻrsatilgan qovushqoqlik superyechimi va bir tekis elliptiklik doirasiga tegishli. \(C=0\) holati asosiy isbotda koʻrib chiqiladi; manba \(C\neq0\) uchun natijalar katta darajada saqlanishini, biroq \(\varepsilon\) qoʻshimcha ravishda \(C\) ga ham bogʻliq boʻlishini bildiradi.

Manba ichidagi notatsiya ogohlantirishi: Kirish tenglamasida \(\mathcal M^-_{\lambda,\Lambda}\) ishlatilgan boʻlsa, keyingi ayrim teorema va lemma bayonlarida \(\mathcal M^-_{\Lambda,\lambda}\) yozuvi mavjud. Bundan tashqari, boshida berilgan \(Q_2=B_2(0)\times(-4,0]\) vaqt oraligʻi bilan keyingi ayrim \(u(0,1)\) havolalari orasida koʻrinadigan notatsiya/terish nomuvofiqligi bor. Bu Verianla matni ushbu nuqtalarni manbada boʻlmagan tuzatish bilan oʻzgartirmaydi.

Vizualni qayta qurish: Manbada ma’lumotlar grafigi yoki ilmiy rastr shakl mavjud emas. Verianla uchun eng mos original vizual tuzilma \(E_\sigma\) qobigʻi, \(A_\sigma\) tegish toʻplami, tikroq paraboloidlarning vaqt yoʻnalishida siljishi va yangi tegish toʻplamlarining oʻsishini koʻrsatadigan masshtabsiz texnik sxemadir.

Verianla Live / Live Figure: Qisman mos. Foydalanuvchi \(\lambda\), \(\Lambda\), \(\sigma\) yoki boshqa ilmiy parametrlarni oʻzgartiradigan simulyatsiya qilinmasligi kerak. Oʻzgarmas parametrlar bilan faqat manbada belgilangan jarayon ketma-ketligi — mavjud tegish → tikroq paraboloid → vaqt yoʻnalishida siljish → yangi tegish → tegish toʻplamining oʻsishi — animatsiya orqali ta’kidlanishi ilmiy jihatdan mosdir.