Алсыз Харнак теңсиздиги — терс эмес параболалык илешкектүүлүк суперчечими чоң маанилерди кабыл алган мейкиндик-убакыт аймагынын өлчөмүн көзөмөлдөгөн негизги регулярдуулук куралы. Aranya Senдин изилдөөсү толук сызыктуу эмес жана дивергенция формасында эмес параболалык жекече туундулуу дифференциалдык теңдемелер үчүн бул теңсиздикке классикалык Calderón-Zygmund же Vitali тибиндеги каптоо аргументтерине кайрылбастан жеткен глобалдык далилди иштеп чыгат. Методдун борбордук объектиси — чечимге төмөндөн тийген туруктуу ачылыштагы мейкиндик-убакыт параболоиддеринен түзүлгөн \(E_\sigma(u)\) кабыгы. Далил тиктиги чоңураак параболоиддерди убакыт багыты боюнча жылдыруу менен жаңы тийишүү чекиттери пайда болорун, бул чекиттердин өлчөмүн аянт формуласы жана ABP тибиндеги баалоо аркылуу сандык түрдө көзөмөлдөөгө болорун жана тийишүү көптүктөрүнүн итеративдүү өсүшү акырында деңгээл-көптүк өлчөмүнүн азайышына айланарын көрсөтөт.

Ушул эле механизм алсыз Харнак теңсиздигин гана бербестен, \(W^{2,\varepsilon}\) тибиндеги регулярдуулук баалоосундагы \(\varepsilon\) даражасынын эллиптүүлүк параметрлерине көз карандылыгын да жакшыртат. Изилдөөдө алынган асимптотикалык тартип \[ \varepsilon=O\!\left(\lambda^n(n\Lambda+1)^{-n}\right) \] түрүндө берилет. Бул натыйжа теориялык далилдин жыйынтыгы; сандык симуляция, эксперимент же реалдуу дүйнөнүн маалымат топтому колдонулган эмес. Изилдөөнүн дооматы белгилүү бир физикалык системанын натыйжалуулугун көрсөтүү эмес, параболалык регулярдуулук теориясынын негизги теңсиздиктеринин бири үчүн глобалдуураак жана каптоо аргументинен көз каранды эмес далилдөө механизмин куруу болуп саналат.

Изилдөөнүн негизги маселеси

Изилдөө толук сызыктуу эмес параболалык жекече туундулуу дифференциалдык теңдемелердин илешкектүүлүк суперчечимдерин карайт. Башында изилденген теңсиздик булакта төмөнкүдөй жазылган:

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

Бул теңсиздик \(Q_2=B_2(0)\times(-4,0]\) параболалык цилиндринде каралат. Бул жерде \(D^2u\) — мейкиндиктик Hessian матрицасы, \(\nabla u\) — мейкиндиктик градиент, ал эми \(u_t\) — убакыт боюнча туунду. \(\lambda\) жана \(\Lambda\) теңдеменин бир калыптагы эллиптүүлүгүн чектеген оң туруктуулар.

Бул түзүлүш жалпыраак түрдө

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

теңдемелер үй-бүлөсү менен байланышат. Булакта \(F\) функциясы бир калыпта эллиптик болушу, нөл функциясы чечим болушу жана градиент менен чечим өзгөрмөлөрүнө карата белгилүү Lipschitz чегин канааттандырышы болжолдонот. Оң жарым-аныкталган \(N\) үчүн бир калыптагы эллиптүүлүк шарты

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

түрүндө берилет. Демек, маселе бир гана өзгөчө дифференциалдык теңдемени эмес, Hessianга бир калыпта эллиптик түрдө көз каранды болгон сызыктуу эмес параболалык теңдемелердин кеңири классын камтыйт.

Pucci экстремалдык операторлорунун ролу

Pucci экстремалдык операторлору белгилүү \(\lambda\) жана \(\Lambda\) эллиптүүлүк чектеринде экинчи тартиптеги сызыктуу бир калыптагы эллиптик операторлордун чектик жүрүм-турумун мүнөздөгөн операторлор. Булакта симметриялуу \(N\) матрицасы үчүн төмөнкү Pucci оператору

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

жана өздүк маанилер аркылуу

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

түрүндө аныкталат. Жогорку оператор болсо

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

байланышы менен берилет. Бул операторлор изилдөөдөгү бардык баалоолордо \(\lambda\) менен \(\Lambda\) ортосундагы эллиптүүлүк айырмасы кандай «баа» жаратарын ачык көрсөтөт.

Булактагы белгилөөлөр боюнча эскертүү: PDFтин кириш бөлүгүндө төмөнкү оператор \(\mathcal M^-_{\lambda,\Lambda}\) түрүндө жазылганы менен, кийинки айрым аныктамаларда, леммаларда жана теоремаларда төмөнкү индекстердин тартиби \(\mathcal M^-_{\Lambda,\lambda}\) болуп басылган. Verianla тексти бул айырманы үнсүз түрдө оңдолгон жыйынтык катары көрсөтпөйт.

Алсыз Харнак Теңсиздиги Бул Изилдөөдө Эмнени Билдирет?

Бул изилдөөдө алсыз Харнак теңсиздиги терс эмес илешкектүүлүк суперчечими жогорку деңгээлдерге чыккан чекиттердин мейкиндик-убакыт өлчөмү даражалык мыйзам боюнча азаярын билдирет. Башкача айтканда, натыйжа чечимдин ар бир чекиттеги маанисин түздөн-түз бир максимум-минимум катышы менен чектөөнүн ордуна, чоң маанилер жайгашкан көптүк канчалык чоң болушу мүмкүн экенин сандык түрдө чектейт.

Булактын Теорема 2.1 формулировкасында ылайыктуу \(\varepsilon=\varepsilon(n,\lambda,\Lambda)\) үчүн

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

баалоосу алынат. Бул жердеги \(t\) теңсиздиктеги деңгээл параметри болуп саналат; параболалык теңдеменин убакыт өзгөрмөсү менен символдук түрдө бир эле тамга колдонулганын окууда айырмалоо керек.

Теңсиздиктин негизги мааниси мындай: деңгээл жогорулаган сайын чечим ошол деңгээлден жогору калган аймактын өлчөмү жок дегенде даражалык мыйзамдын ылдамдыгы менен кичирейет. Мындай өлчөмдүн азайышы андан аркы регулярдуулук натыйжаларын курууга мүмкүндүк берет.

Булак Теорема 2.1дин стандарттык натыйжасы катары жалпы теңдемелер классынын чечимдери үчүн ички Hölder регулярдуулугу алынарын да белгилейт. Ошондуктан алсыз Харнак баалоосу өз алдынча деңгээл-көптүк жыйынтыгы гана эмес, параболалык чечимдердин жергиликтүү термелүүсүн жана үзгүлтүксүздүгүн көзөмөлдөгөн кеңири регулярдуулук теориясынын бир бөлүгү.

Параболалык геометрия эмне үчүн Евклид геометриясынан башкача каралат?

Параболалык теңдемелерде мейкиндик менен убакыт бирдей масштабда жүрбөйт. Мейкиндик масштабы \(r\) тандалганда табигый убакыт масштабы \(r^2\) болот. Ошондуктан булак артка жана алдыга багытталган параболалык коңшулуктарды тиешелүүлүгүнө жараша

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

түрүндө аныктайт. Ошо сыяктуу эле алдыга жана артка багытталган мейкиндик-убакыт параболалык шарлары убакыт айырмасын мейкиндик аралыктыгынын квадраты менен салыштырган аймактар катары курулат. Далилде “параболоиддин убакыт багыты боюнча агышы” деген сөз айкашынын маанилүү болушунун себеби да ушул параболалык геометрия.

Параболалык Параболоид Кабыгы Эмне Үчүн Колдонулат?

Параболалык параболоид кабыгы чечимдин кайсы чекиттеринде белгилүү ийриликтеги сыноо формалары төмөндөн тийе аларын геометриялык жана өлчөнүүчү объектке айлантат. Ошентип, дифференциалдык теңсиздикти туунду туюнтмалары аркылуу гана эмес, тийишүү чекиттеринин мейкиндик-убакыттагы таралышы аркылуу да изилдөөгө болот.

Булакта \(\delta>0\), чоку чекити \((y,s)\) жана \(\sigma\in\mathbb R\) үчүн колдонулган негизги форма

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

деп аныкталат. \(\sigma>0\) болгондо бул форма ойук мейкиндик-убакыт параболоиди болуп саналат; \(|\sigma|\) ачылыш жана эңкейиш параметри катары колдонулат.

Терс эмес үзгүлтүксүз \(u\) функциясы үчүн туруктуу ачылыштагы ойук параболоиддерден түзүлгөн төмөнкү кабык

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

түрүндө. Кабык чечимге чындап тийген чекиттер тийишүү көптүгүн түзөт:

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

Бул аныктамалардын абдан маанилүү масштабдоо касиети бар:

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

Демек, ар башка ачылыштардагы тийишүү жүрүм-турумун ылайыктуу нормалдаштыруу менен бир негизги масштабга келтирүүгө болот.

Кабыктын дифференциалдануучулугу эмне үчүн маанилүү?

\(E_\sigma\) туруктуу ачылыштагы ойук параболоиддер менен төмөндөн колдоого алынгандыктан, ал бир калыпта жарым-конвекс. Колдонулган регулярдуулук натыйжасы өлчөмү нөл болгон көптүктөн тышкары кабык экинчи тартиптеги мейкиндиктик жана биринчи тартиптеги убакыттык ажыроого ээ болорун камсыздайт. Бул касиет тийишүү чекиттери менен параболоиддердин чоку чекиттеринин ортосунда Lipschitz өзгөртүүсүн аныктоого жана андан кийин аянт формуласын колдонууга негиз берет.

Далилдин алдында стандарттуу inf-convolution редукциясы да колдонулуп, суперчечим керектүү жарым-ойуктук касиетке ээ деп кабыл алууга болот. Булак баса белгилеген милдет — аянт формуласы колдонулуучу өзгөртүүлөрдүн Lipschitz болушун кепилдөө.

Изилдөөнүн Ыкмасы жана Жыйынтыктары

Далилдин жалпы архитектурасы

Классикалык алсыз Харнак далилдеринде негизинен эки милдет чогуу аткарылат: ABP тибиндеги баалоо менен белгилүү тийишүү чекиттери жөнүндө өлчөм маалыматы алынат, андан кийин бул маалымат кылдат Calderón-Zygmund же Vitali каптоо аргументи аркылуу локалдаштырылат. Senдин ыкмасы биринчи бөлүктү сактап, экинчи бөлүктү башка геометриялык механизм менен алмаштырат.

Лемма 3.1: Жаңы тийишүү чекиттеринин пайда болушу

Бир \(P_{\sigma^2}\) параболоиди \(E_\sigma\) кабыгына \(A_\sigma\) дан тышкаркы чекитте төмөндөн жанаша тийсин. Бул параболоид убакыт багыты боюнча жылдырылып, акыры \(u\) га тийгенде, булак жаңы тийишүү чекити

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

ичинде болушу керек экенин көрсөтөт.

Аргументтин геометриялык өзөгү — илешкектүүлүк суперчечими ылайыктуу мааниде “өйдө караган курч бурч” менен төмөндөн тийише албашы. Эгер жаңы жана эски тийишүү бир чекитте болгондо, ар башка ачылыштагы эки параболоиддин максимумунан ушундай бурч түзүлмөк. Булак координаттарды өзгөртүү жана тоскоолдук функциясын колдонуу менен мунун дифференциалдык теңсиздикке карама-каршы келерин көрсөтөт.

Лемма 3.2: Тийишүү чекиттеринен чоку чекиттерине өлчөмдү өткөрүү

\(T\) — тиктиги чоңураак параболоиддер \(E_\sigma\) га тийген чекиттердин көптүгү, ал эми \(V\) — ошол параболоиддердин чоку чекиттери болсун. Булак

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

төмөнкү чекти алат.

Бул натыйжага жетүү үчүн тийишүү чекитинен параболоиддин чокусуна алып баруучу өзгөртүү курулат. Кабыктын дээрлик бардык жерде дифференциалдануусу бул өзгөртүүнүн Jacobian аныктагычын эсептөөгө мүмкүндүк берет. Аянт формуласы колдонулганда кабыктын убакыт туундусу жана Hessianы боюнча жарым-конвекстик чектери түздөн-түз өлчөм баалоосуна өтөт.

Лемма 3.3: ABP тибиндеги глобалдык өлчөм утушу

Далилдин сандык борборлорунун бири — Лемма 3.3. Булак ылайыктуу шарттарда жаңы тийишүү көптүгүнүн өлчөмү

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

менен төмөндөн чектелерин көрсөтөт.

Бул жерде негизги кадам — жаңы тийишүү чекитинде дифференциалдык теңсиздиктен Hessianдын өздүк маанилери үчүн төмөнкү да, жогорку да чектерди чыгаруу. Булак Jacobian аныктагычын баалоодо Hessianдын жок дегенде бир терс өздүк мааниси бар учурду бардык өздүк маанилери оң болгон учурдан өзүнчө карайт. Бул бөлүү акырында бир эле жалпы жогорку чекке алып келет.

Бул эсеп классикалык окшош ABP баалоолору менен салыштырганда \((n\Lambda+1)^{-1}\) көбөйткүчүнө тиешелүү даражаны бир баскычка азайтууга мүмкүндүк берет. Негизги далилде ABP баалоосун локалдаштыруу бөлүгүнөн ажыратуу аркылуу дагы бир кошумча жакшыртуу алынат.

Жаңы Далил Каптоо Аргументин Кантип Айланып Өтөт?

Жаңы далил жергиликтүү кутуларды кайра-кайра каптаган Calderón-Zygmund же Vitali ажыратуусунун ордуна тиктиги чоңураак параболоиддердин тийишүү көптүктөрүн бүт аймак боюнча системалуу түрдө өстүрөт. Бир масштабдан кийинкисине өткөндө алынган жаңы тийишүү чекиттеринин өлчөмү түздөн-түз көзөмөлдөнгөндүктөн, керектүү өлчөм азайышы глобалдык индукциядан чыгат; ошентип классикалык далилдин кылдат каптоо баскычына муктаждык калбайт.

Булактын стратегиясында адегенде \(8^k\) ачылыштагы параболоиддер түзгөн тийишүү көптүгү каралат. Андан кийин \(8^{k+1}\) ачылыштагы тиктиги чоңураак параболоиддер учурдагы кабыктын тийишүү көптүгүнөн тышкары төмөндөн жайгаштырылып, убакыт багыты боюнча жылдырылат. Лемма 3.1 бул процесс жаңы тийишүү чекиттерин берерин, Лемма 3.3 болсо алардын өлчөмү сандык жактан жетиштүү чоң экенин көрсөтөт.

Бул ыкманын “глобалдык” мүнөзү теңдеменин бүт мейкиндик-убакытта глобалдык чечими алынат дегенди билдирбейт. Бул жерде глобалдуулук — тийишүү көптүктөрүнүн өлчөмүн жергиликтүү каптоо алгоритмине бөлбөстөн толугу менен көзөмөлдөө.

Чектен аралыкты сактаган тоскоолдук

Жаңы тийишүү чекиттери чындап ички аймакта калышы керек. Бул үчүн булак

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

тоскоолдук функциясын колдонот. Параметрлер

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

деп тандалат. Бул функция тиешелүү алдыга багытталган параболалык аймакта ылайыктуу төмөнкү чечим болуп саналат. Лемма 3.4 ушул тоскоолдук аркылуу күчтүү максимум принцибинин сандык вариантын түзөт жана белгилүү бир мейкиндиктик кесилиште чечимдин инфимумун таяныч мааниси менен салыштырат.

Бул лемма негизги индукцияда эки жерде колдонулат: тийишүү параболоиддеринин чоку чекиттери талап кылынган параболалык аймактан өтө алыстап кетишине жол бербөө жана убакыт багыты боюнча жылдырылган параболоиддин аймактын ичинде чечимге тийишин кепилдөө.

Негизги индукция жана өлчөмдүн азайышы

Булак негизги далилде

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

тандоосун жасап, чектен сандык түрдө алыстатылган параболалык аймактарды түзөт. Андан соң \(\sigma=8\) туруктуу деп алынып, чечим ылайыктуу түрдө нормалдаштырылат.

Индукциянын максаты

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

өлчөмдүн азайышын түзүү. Бул туюнтма ачылышы бара-бара чоңойгон параболоиддер тийише албаган аймак геометриялык ылдамдык менен кичирейерин билдирет.

Индукция кадамы эки учурга бөлүнөт. Ичкериде калган аймакта тийишпеген көптүк буга чейин эле кичине болсо, чек ара катмарынын өлчөмү талап кылынган азайышты берет. Ички аймакта тийишпеген көптүк дагы эле чоң болсо, Лемма 3.3 бул көптүктүн туруктуу үлүшү кийинки ачылышта жаңы тийишүү чекиттерине айланарын кепилдейт. Эки учурда тең \(A_{\sigma^{k+1}}\) көптүгүнүн толуктоочусу кичирейет.

Тийишүү көптүгүнө таандык чекитте чечимдин мааниси ага төмөндөн тийген параболоиддин ачылышы менен көзөмөлдөнө алгандыктан, бул геометриялык өлчөм азайышы акырында чечимдин жогорку деңгээл көптүктөрү үчүн алсыз Харнак баалоосуна айланат.

\(W^{2,\varepsilon}\) Баалоосундагы Жакшыртуу Эмне?

Изилдөөнүн экинчи негизги натыйжасы — чечимдин экинчи тартиптеги мейкиндиктик жана биринчи тартиптеги убакыттык регулярдуулугу менен байланышкан \(W^{2,\varepsilon}\) баалоосунда колдонулган \(\varepsilon\) даражасынын эллиптүүлүк катышына көз карандылыгынын жакшыртылышы. Булак параболоиддер менен төмөндөн тийишүү үчүн керектүү эң кичине ачылышты өлчөгөн \(\Theta(u)\) чоңдугун колдонуп, алсыз Харнак теңсиздигине параллелдүү деңгээл-көптүк баалоосун алат.

Теорема 2.2де ошол эле \(\varepsilon(n,\lambda,\Lambda)\) үчүн жалпы түзүлүш

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

түрүндө. Булак ошондой эле \(\delta=\varepsilon/2\) тандалганда жалпы теңдемелер классынын чечимдеринин экинчи тартиптеги мейкиндиктик туундулары жана биринчи тартиптеги убакыт туундулары үчүн \(L^\delta\) тибиндеги баалоо алынарын белгилейт.

Мурунку параболалык натыйжа үчүн булакта салыштырылган көз карандылык

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

болгон учурда, бул изилдөөнүн методу

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

тартибине жетет. Негизги далилдин аягында натыйжа этияттуу түрдө

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

деп катталат.

\(\varepsilon\) чеги индукциядан кантип чыгат?

Индукциянын бир кадамында тийишпеген аймактын өлчөмү же чек ара катмарынын эсебинен геометриялык түрдө кичирейет, же жаңы тийишүү чекиттеринин туруктуу үлүштөгү өлчөм утушу ишке кирет. Булак бул эки механизмди бир эле даражалык мыйзамга шайкеш келтирүү үчүн \(\varepsilon\) үчүн эки өзүнчө жогорку чек коёт.

Өлчөм утушу \(\sigma^{-\varepsilon}\) менен шайкеш болушу үчүн биринчи чек болжол менен

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

түрүндө. Чек ара катмарынан келген экинчи шарт болсо

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

түрүндө чыгат. Бул эки чектөө чогуу каралганда булак жогорудагы \(\lambda^n(n\Lambda+1)^{-n}\) асимптотикалык көз карандылыгын алат.

Изилдөө колдогон жыйынтыктар

• Терс эмес ылайыктуу илешкектүүлүк суперчечимдери үчүн алсыз Харнак деңгээл-көптүк баалоосу алынат.
• Далилдин негизги геометриялык куралы — туруктуу ачылыштагы мейкиндик-убакыт параболоиддеринен түзүлгөн кабыктар жана тийишүү көптүктөрү.
• Классикалык каптоо аргументи тийишүү көптүктөрүнүн глобалдык өлчөм өсүшү жана индукция менен алмаштырылат.
• Аянт формуласы жана ABP тибиндеги Jacobian көзөмөлү жаңы тийишүү чекиттеринин өлчөмүн сандык түрдө чектейт.
• Тоскоолдук аргументи тийишүү чекиттеринин далил үчүн зарыл болгон ички аймакта калышын камсыздайт.
• Ошол эле техника \(W^{2,\varepsilon}\) баалоосуна колдонулат.
• \(\varepsilon\) нын \(\lambda\), \(\Lambda\) жана \(n\) ге көз карандылыгы мурунку параболалык баалоого салыштырмалуу жакшыртылат.

Изилдөө колдобогон чечмелөөлөр

• Натыйжа эксперименттик же сандык ырастоо эмес.
• Белгилүү бир физикалык, инженердик же финансылык системадагы натыйжалуулук жөнүндө дооматты камтыбайт.
• Изилдөө бардык параболалык PDE класстары үчүн божомолсуз жыйынтык бербейт; бир калыптагы эллиптүүлүк жана тиешелүү илешкектүүлүк чечиминин шарттары маанилүү.
• \(\varepsilon\) үчүн берилген асимптотикалык көз карандылык бардык туруктуулар ачык түрдө оптималдуу экенинин далили катары чечмеленбеши керек.
• Каптоо аргументин алып салуу бардык жергиликтүү регулярдуулук ыкмалары керексиз болуп калды дегенди билдирбейт; натыйжа дал ушул өзгөчө далил архитектурасына тиешелүү.
• Булакта көрүнгөн Pucci төмөнкү индекстеринин тартиби жана убакытка шилтеме айырмачылыктары оңдолгон математикалык жыйынтыктар катары кабыл алынбашы керек.

Булак жана Ыкма Жөнүндө Эскертүү

Түпнуска аталыш: A Global Proof of the Weak Harnack Inequality for Parabolic Equations in Non-Divergence Form

Автор: Aranya Sen.

Мекеме: Булак PDFтин аягында Department of Mathematics, UC Irvine, Irvine, CA 92697, U.S.A. маалыматы берилген. SSRN жогорку метадайындарында болсо аффилиация талаасы өзүнчө толтурулган эмес.

Булактын түрү: Математика тармагындагы теориялык изилдөө препринти.

Платформа: SSRN.

SSRN Abstract ID: 6963585.

DOI: 10.2139/ssrn.6963585.

Жарыяланган/жайгаштырылган дата: SSRN каттоосунда 18-июнь 2026.

Рецензиялоо абалы: Булак PDF бул рецензиядан өтпөгөн препринт экенин ачык билдирет.

Лицензия/автордук укук: SSRN каттоо барагындагы лицензия маалыматына ылайык, укук ээси SSRNге таратуу лицензиясын берген; эмгек “all rights reserved” макамында жана уруксатсыз кайра колдонууга уруксат көрсөтүлгөн эмес. Ошондуктан бул Verianla текстинде баштапкы макаланын сүйлөмдөрү, түпнуска баяндоо түзүлүшү же барак дизайны кайра чыгарылган эмес; илимий фактылар, математикалык байланыштар, метод жана жыйынтыктар өз алдынча окутуучу түзүлүштө түшүндүрүлгөн.

Каржылоо/ыраазычылык: Булак изилдөөгө түрткү берген суроо үчүн Connor Mooneyге ыраазычылык билдирип, иш NSF grant DMS-2143668 колдоосу менен байланыштуу экенин белгилейт.

Маалыматтардын жеткиликтүүлүгү: Өзүнчө маалымат топтому же маалыматтардын жеткиликтүүлүгү тууралуу билдирүү берилген эмес. Изилдөө эксперименттик маалымат талдоосу эмес, теориялык математикалык далилдөө иши.

Кызыкчылыктардын кагылышы: Булакта кызыкчылыктардын кагылышы боюнча өзүнчө билдирүү табылган эмес.

Автордук салымдар: Өзүнчө CRediT салым билдирүүсү жок; булак бир авторлуу.

Негизги методологиялык чектөө:Жыйынтыктар булакта көрсөтүлгөн илешкектүүлүк суперчечими жана бир калыптагы эллиптүүлүк алкагына тиешелүү. \(C=0\) учуру негизги далилде каралат; булак \(C\neq0\) үчүн жыйынтыктар негизинен сакталарын, бирок \(\varepsilon\) кошумча түрдө \(C\) ге да көз каранды болорун белгилейт.

Булак ичиндеги белгилөө эскертүүсү: Кириш теңдемеде \(\mathcal M^-_{\lambda,\Lambda}\) колдонулган, ал эми кийинки айрым теорема жана лемма формулировкаларында \(\mathcal M^-_{\Lambda,\lambda}\) жазылышы бар. Мындан тышкары, башында берилген \(Q_2=B_2(0)\times(-4,0]\) убакыт аралыгы менен кийинки айрым \(u(0,1)\) шилтемелеринин ортосунда көрүнгөн белгилөө/терүү шайкешсиздиги бар. Бул Verianla тексти бул пункттарды булакта жок оңдоо менен өзгөртпөйт.

Визуалды кайра куруу: Булакта маалымат графиги же илимий растр сүрөтү жок. Verianla үчүн эң ылайыктуу түпнуска визуалдык түзүлүш — \(E_\sigma\) кабыгын, \(A_\sigma\) тийишүү көптүгүн, тиктиги чоңураак параболоиддердин убакыт багыты боюнча жылышын жана жаңы тийишүү көптүктөрүнүн өсүшүн көрсөткөн масштабсыз техникалык схема.

Verianla Live / Live Figure: Жарым-жартылай ылайыктуу. Колдонуучу \(\lambda\), \(\Lambda\), \(\sigma\) же башка илимий параметрлерди өзгөрткөн симуляция жасалбашы керек. Туруктуу параметрлер менен булакта аныкталган процесс ырааттуулугун гана — учурдагы тийишүү → тиктиги чоңураак параболоид → убакыт багыты боюнча жылдыруу → жаңы тийишүү → тийишүү көптүгүнүн өсүшү — анимация аркылуу баса белгилөө илимий жактан ылайыктуу.