Нобаробарии сусти Ҳарнак воситаи асосии регулярият аст, ки андозаи минтақаи фазо-вақтеро назорат мекунад, ки дар он суперҳалли параболии вискозии ғайриманфӣ қиматҳои калон мегирад. Таҳқиқоти 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\) матрицаи фазоии Ҳессиан, \(\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\| \]

ифода мешавад. Аз ин рӯ, масъала на танҳо як муодилаи дифференсиалии махсус, балки синфи васеи муодилаҳои параболии ғайрихаттиро фаро мегирад, ки ба Ҳессиан ба таври яксон эллиптикӣ вобастаанд.

Нақши операторҳои экстремалии 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| \]

ҳади поёниро ба даст меорад.

Барои расидан ба ин натиҷа табдиле сохта мешавад, ки аз нуқтаи тамос ба қуллаи параболоид мебарад. Дифференсиалшавии лифофа қариб дар ҳама ҷо имкон медиҳад детерминанти Якобиани ин табдил ҳисоб карда шавад. Ҳангоми татбиқи формулаи масоҳат ҳудудҳои нимконвексии вобаста ба ҳосилаи вақтӣ ва Ҳессиани лифофа бевосита ба баҳодиҳии андоза табдил меёбанд.

Лемма 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| \]

аз поён бо ин ифода маҳдуд мешавад.

Қадами муҳим дар ин ҷо аз нобаробарии дифференсиалӣ дар нуқтаи нави тамос баровардани ҳам ҳудудҳои поёнӣ ва ҳам болоӣ барои қиматҳои хоси Ҳессиан аст. Манбаъ ҳангоми баҳодиҳии детерминанти Якобиан ҳолатеро, ки Ҳессиан ҳадди ақал як қимати хоси манфӣ дорад, аз ҳолате, ки ҳамаи қиматҳои хос мусбатанд, ҷудо баррасӣ мекунад. Ин ҷудокунӣ дар ниҳоят ба як ҳади болоии умумӣ оварда мешавад.

Ин ҳисоб дар муқоиса бо баҳодиҳиҳои классикии шабеҳи 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 андозаи нуқтаҳои нави тамосро ба таври миқдорӣ маҳдуд мекунанд.
• Аргументи монеа таъмин мекунад, ки нуқтаҳои тамос дар минтақаи дохилии барои исбот зарурӣ бимонанд.
• Ҳамин усул ба баҳодиҳии \(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\) ё дигар параметрҳои илмиро тағйир медиҳад, набояд анҷом дода шавад. Бо параметрҳои собит танҳо таъкид кардани пайдарпаии раванд, ки дар манбаъ муайян шудааст — тамоси мавҷуда → параболоиди нишебтар → пешравӣ дар самти вақт → тамоси нав → афзоиши маҷмӯи тамос — тавассути аниматсия аз ҷиҳати илмӣ мувофиқ аст.