Ukosefu wa usawa dhaifu wa Harnack ni zana ya msingi ya regularity inayodhibiti kipimo cha eneo la nafasi-wakati ambamo supersolution ya paraboliki isiyo hasi huchukua thamani kubwa. Utafiti wa Aranya Sen unatengeneza uthibitisho wa kimataifa wa ukosefu huu wa usawa kwa milinganyo tofautishi ya sehemu ya paraboliki iliyo isiyo mstari kikamilifu na iliyo katika umbo lisilo la divergence, bila kutumia hoja za kawaida za kufunika za aina ya Calderón-Zygmund au Vitali. Kitu cha msingi katika mbinu hiyo ni envelope ya \(E_\sigma(u)\), iliyoundwa kutoka kwa paraboloidi za nafasi-wakati zenye ufunguzi usiobadilika zinazogusa suluhisho kutoka chini. Uthibitisho unaonyesha kwamba kusogeza paraboloidi zilizo na mteremko mkali zaidi katika mwelekeo wa wakati huzalisha nukta mpya za mguso, kwamba kipimo cha nukta hizo kinaweza kudhibitiwa kwa kiasi kwa fomula ya eneo na makadirio ya aina ya ABP, na kwamba ukuaji wa kurudiwa wa seti za mguso hatimaye hugeuka kuwa kupungua kwa kipimo cha seti ya kiwango.

Utaratibu huohuo hauleti tu ukosefu wa usawa dhaifu wa Harnack; pia huboresha, katika makadirio ya regularity ya aina ya \(W^{2,\varepsilon}\), utegemezi wa kipeo \(\varepsilon\) kwa vigezo vya ellipticity. Kiwango cha asymptotic kilichopatikana katika utafiti kinatolewa kwa namna \[ \varepsilon=O\!\left(\lambda^n(n\Lambda+1)^{-n}\right) \]. Hili ni tokeo la uthibitisho wa kinadharia; hakuna uigaji wa namba, jaribio, wala seti ya data ya ulimwengu halisi iliyotumiwa. Dai la utafiti si kuonyesha utendaji wa mfumo fulani wa kimwili, bali kujenga utaratibu wa uthibitisho ulio wa kimataifa zaidi na usiotegemea hoja ya kufunika kwa ukosefu mmoja wa msingi wa usawa katika nadharia ya regularity ya paraboliki.

Tatizo kuu la utafiti

Utafiti unachunguza supersolution za viscosity za milinganyo tofautishi ya sehemu ya paraboliki iliyo isiyo mstari kikamilifu. Ukosefu wa usawa unaochunguzwa mwanzoni umeandikwa katika chanzo kwa namna ifuatayo:

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

Ukosefu huu wa usawa unachunguzwa kwenye silinda ya paraboliki \(Q_2=B_2(0)\times(-4,0]\). Hapa \(D^2u\) ni matriki ya Hessian ya nafasi, \(\nabla u\) ni gradienti ya nafasi, na \(u_t\) ni kipeuo cha wakati. \(\lambda\) na \(\Lambda\) ni thabiti chanya vinavyoweka mipaka ya ellipticity iliyo uniform ya mlinganyo.

Muundo huu kwa ujumla zaidi unahusishwa na

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

familia ya milinganyo. Chanzo kinachukulia kwamba kazi \(F\) ina ellipticity iliyo uniform, kwamba kazi sifuri ni suluhisho, na kwamba inatimiza mpaka fulani wa Lipschitz kwa vigezo vya gradienti na suluhisho. Kwa \(N\) iliyo positive semidefinite, sharti la ellipticity iliyo uniform ni

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

na linaelezwa kwa namna hiyo. Kwa hiyo, tatizo halihusu mlinganyo mmoja maalum wa tofautishi pekee, bali linajumuisha darasa pana la milinganyo ya paraboliki isiyo mstari inayotegemea Hessian kwa namna yenye ellipticity iliyo uniform.

Jukumu la waendeshaji ekstremu wa Pucci

Waendeshaji ekstremu wa Pucci ni waendeshaji wanaowakilisha tabia za mwisho za waendeshaji wa mstari wa daraja la pili wenye ellipticity iliyo uniform chini ya mipaka fulani ya ellipticity ya \(\lambda\) na \(\Lambda\). Katika chanzo, kwa matriki simetria \(N\), mwendeshaji wa chini wa Pucci

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

na kupitia eigenvalue

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

hufafanuliwa kwa namna hiyo. Mwendeshaji wa juu nao

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

hutolewa kwa uhusiano huu. Waendeshaji hawa hufanya ionekane katika makadirio yote ya utafiti ni gharama gani inayotokana na tofauti ya ellipticity kati ya \(\lambda\) na \(\Lambda\).

Tahadhari kuhusu notation ya chanzo: Katika utangulizi wa PDF, mwendeshaji wa chini umeandikwa kama \(\mathcal M^-_{\lambda,\Lambda}\), ilhali katika baadhi ya fasili, lemma na theorem za baadaye mpangilio wa subscript umechapishwa kama \(\mathcal M^-_{\Lambda,\lambda}\). Maandishi ya Verianla hayawasilishi tofauti hii kana kwamba ni tokeo lililosahihishwa kimya kimya.

Ukosefu wa Usawa Dhaifu wa Harnack Unasema Nini Katika Utafiti Huu?

Katika utafiti huu, ukosefu wa usawa dhaifu wa Harnack unasema kwamba kipimo cha nafasi-wakati cha nukta ambako supersolution ya viscosity isiyo hasi hufikia viwango vya juu hupungua kwa sheria ya nguvu. Kwa maneno mengine, badala ya kuweka moja kwa moja thamani ya suluhisho katika kila nukta ndani ya uwiano mmoja wa maksimum-minimum, tokeo linaweka mpaka wa kiasi kuhusu ukubwa unaoweza kufikiwa na seti iliyo na thamani kubwa.

Katika kauli ya Theorem 2.1 ya chanzo, kwa \(\varepsilon=\varepsilon(n,\lambda,\Lambda)\) inayofaa,

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

makadirio hupatikana. \(t\) hapa ni parameta ya kiwango katika ukosefu wa usawa; inapaswa kutofautishwa wakati wa kusoma na kigezo cha wakati cha mlinganyo wa paraboliki, ingawa ishara hiyo hiyo ya herufi imetumiwa.

Maana kuu ya ukosefu huo wa usawa ni hii: kiwango kinapoongezeka, kipimo cha eneo ambalo suluhisho hubaki juu ya kiwango hicho hupungua angalau kwa kasi ya sheria ya nguvu. Kupungua huku kwa kipimo huruhusu matokeo ya juu zaidi ya regularity kujengwa.

Chanzo pia kinasema kwamba regularity ya ndani ya Hölder hupatikana kwa suluhisho za darasa la jumla la milinganyo kama tokeo la kawaida la Theorem 2.1. Kwa hiyo, makadirio dhaifu ya Harnack si tokeo huru tu la seti ya kiwango, bali ni sehemu ya nadharia pana ya regularity inayodhibiti oscillation ya ndani na mwendelezo wa suluhisho za paraboliki.

Kwa nini jiometri ya paraboliki hushughulikiwa tofauti na jiometri ya Euclidean?

Katika milinganyo ya paraboliki, nafasi na wakati havifuati skeli moja. Skeli ya nafasi \(r\) inapochaguliwa, skeli ya asili ya wakati ni \(r^2\). Kwa hiyo chanzo hufafanua vitongoji vya paraboliki vya nyuma na mbele, kwa mtiririko huo, kama

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

Kwa namna hiyo hufafanuliwa. Vivyo hivyo, mipira ya paraboliki ya nafasi-wakati ya mbele na nyuma hujengwa kama maeneo yanayolinganisha tofauti ya wakati na mraba wa umbali wa nafasi. Hii ndiyo sababu usemi “paraboloidi kutiririka katika mwelekeo wa wakati” una maana katika uthibitisho wote.

Kwa Nini Envelope ya Paraboloidi ya Paraboliki Inatumika?

Envelope ya paraboloidi ya paraboliki hubadilisha swali la ni nukta zipi za suluhisho ambazo maumbo ya majaribio yenye curvature fulani yanaweza kugusa kutoka chini kuwa kitu cha kijiometri na kinachopimika. Hivyo, ukosefu wa usawa wa tofautishi unaweza kuchunguzwa si kupitia vielezi vya vipeuo pekee, bali pia kupitia usambazaji wa nukta za mguso katika nafasi-wakati.

Katika chanzo, kwa \(\delta>0\), kilele \((y,s)\) na \(\sigma\in\mathbb R\), umbo la msingi linalotumiwa ni

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

na hufafanuliwa hivyo. Wakati \(\sigma>0\), umbo hili ni paraboloidi concave ya nafasi-wakati; \(|\sigma|\) hutumiwa kama parameta ya ufunguzi na pia ya mteremko.

Kwa kazi endelevu isiyo hasi \(u\), envelope ya chini iliyoundwa kutoka kwa paraboloidi concave zenye ufunguzi usiobadilika ni

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

kwa namna hiyo. Nukta ambazo envelope hugusa suluhisho kikweli huunda seti ya mguso:

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

Fasili hizi zina sifa muhimu sana ya scaling:

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

Kwa hiyo, tabia ya mguso kwa mianya tofauti inaweza kupunguzwa hadi skeli moja ya msingi kwa normalization inayofaa.

Kwa nini differentiability ya envelope ni muhimu?

\(E_\sigma\) ni uniformly semiconvex kwa sababu inaungwa mkono kutoka chini na paraboloidi concave zenye ufunguzi usiobadilika. Tokeo la regularity linalotumiwa huhakikisha kwamba, nje ya seti yenye kipimo sifuri, envelope ina upanuzi wa daraja la pili kwa nafasi na wa daraja la kwanza kwa wakati. Sifa hii ndiyo msingi wa kufafanua uhamisho wa Lipschitz kati ya nukta za mguso na vilele vya paraboloidi na kisha kutumia fomula ya eneo.

Kabla ya uthibitisho, pia inaweza kudhaniwa kwamba supersolution ina sifa ya semiconcavity inayohitajika kwa kutumia upunguzaji wa kawaida wa inf-convolution. Jukumu linalosisitizwa na chanzo ni kuhakikisha kwamba uhamisho ambao fomula ya eneo itatumika juu yake ni wa Lipschitz.

Mbinu na Matokeo ya Utafiti

Muundo wa jumla wa uthibitisho

Katika uthibitisho wa kawaida wa ukosefu wa usawa dhaifu wa Harnack, kazi mbili kuu hufanywa pamoja: taarifa ya kipimo kuhusu nukta fulani za mguso hupatikana kwa makadirio ya aina ya ABP, kisha taarifa hiyo huwekwa ndani kwa hoja nyeti ya kufunika ya Calderón-Zygmund au Vitali. Mbinu ya Sen huhifadhi sehemu ya kwanza na kubadilisha sehemu ya pili kwa utaratibu tofauti wa kijiometri.

Lemma 3.1: Kutokea kwa nukta mpya za mguso

Tuchukulie paraboloidi ya \(P_{\sigma^2}\) inagusa envelope ya \(E_\sigma\) kutoka chini katika nukta iliyo nje ya \(A_\sigma\). Paraboloidi hii inaposogezwa katika mwelekeo wa wakati na hatimaye kugusa \(u\), chanzo kinaonyesha kwamba nukta mpya ya mguso

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

lazima iwe ndani yake.

Kiini cha kijiometri cha hoja ni kwamba supersolution ya viscosity haiwezi, kwa maana inayofaa, kuguswa kutoka chini na “kona kali inayotazama juu”. Ikiwa mguso mpya na wa zamani ungetokea katika nukta moja, kona kama hiyo ingeweza kuundwa kutoka kwa maksimum ya paraboloidi mbili zenye mianya tofauti. Chanzo kinaonyesha, kwa kutumia ubadilishaji wa koordinati na kizuizi, kwamba hili linapingana na ukosefu wa usawa wa tofautishi.

Lemma 3.2: Uhamishaji wa kipimo kutoka nukta za mguso hadi nukta za kilele

Acha \(T\) iwe seti ya nukta ambako paraboloidi kali zaidi hugusa \(E_\sigma\), na \(V\) iwe nukta za kilele za paraboloidi hizo. Chanzo hupata

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

mpaka wa chini.

Ili kufikia tokeo hili, uhamisho kutoka nukta ya mguso hadi kilele cha paraboloidi hujengwa. Differentiability ya envelope karibu kila mahali huruhusu determinant ya Jacobian ya uhamisho huu kuhesabiwa. Fomula ya eneo inapotumiwa, mipaka ya semiconvexity inayohusiana na kipeuo cha wakati cha envelope na Hessian yake hubadilika moja kwa moja kuwa makadirio ya kipimo.

Lemma 3.3: Faida ya kimataifa ya kipimo ya aina ya ABP

Mojawapo ya vituo vya kiasi vya uthibitisho ni Lemma 3.3. Chanzo kinaonyesha kwamba, chini ya masharti yanayofaa, kipimo cha seti mpya ya mguso

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

kinawekewa mpaka wa chini na usemi huo.

Hatua muhimu hapa ni kutoa kutoka kwa ukosefu wa usawa wa tofautishi katika nukta mpya ya mguso mipaka ya chini na ya juu kwa eigenvalue za Hessian. Chanzo kinapotathmini determinant ya Jacobian, kinachunguza kando hali ambayo Hessian ina angalau eigenvalue moja hasi na hali ambayo eigenvalue zote ni chanya. Mgawanyo huu hatimaye huunganishwa katika mpaka mmoja wa juu wa jumla.

Hesabu hii, ikilinganishwa na makadirio ya kawaida yanayofanana ya ABP, huruhusu kipeo kinachohusiana na kipengele \((n\Lambda+1)^{-1}\) kupunguzwa kwa daraja moja. Katika uthibitisho mkuu, uboreshaji mwingine wa ziada hupatikana kwa kutenganisha makadirio ya ABP na sehemu ya localization.

Uthibitisho Mpya Unaepukaje Hoja ya Kufunika?

Badala ya mgawanyo wa Calderón-Zygmund au Vitali unaofunika visanduku vya ndani mara kwa mara, uthibitisho mpya hukuza kwa utaratibu seti za mguso za paraboloidi kali zaidi katika eneo lote. Kwa kuwa kipimo cha nukta mpya za mguso kinachopatikana wakati wa kutoka skeli moja hadi inayofuata hudhibitiwa moja kwa moja, kupungua kwa kipimo kinachohitajika hutokana na induction ya kimataifa; hivyo hatua nyeti ya kufunika katika uthibitisho wa kawaida haihitajiki.

Katika mkakati wa chanzo, kwanza seti ya mguso iliyoundwa na paraboloidi zenye ufunguzi \(8^k\) huzingatiwa. Kisha paraboloidi kali zaidi zenye ufunguzi \(8^{k+1}\) huwekwa kutoka chini nje ya seti ya mguso ya envelope iliyopo na kusogezwa katika mwelekeo wa wakati. Lemma 3.1 inaonyesha kwamba mchakato huu hutoa nukta mpya za mguso, na Lemma 3.3 inaonyesha kwamba kipimo cha nukta hizo ni kikubwa vya kutosha kwa kiasi.

Sifa ya “kimataifa” ya mbinu hii haimaanishi kwamba suluhisho la kimataifa la mlinganyo limepatikana katika nafasi-wakati yote. Hapa, hali ya kimataifa inamaanisha kwamba kipimo cha seti za mguso kinadhibitiwa kwa pamoja bila kugawanywa katika algoritimu ya ndani ya kufunika.

Kizuizi kinachohifadhi umbali kutoka mpaka

Nukta mpya za mguso lazima zibaki kweli katika eneo la ndani. Kwa hili, chanzo hutumia

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

kizuizi hiki. Parameta

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

huchaguliwa hivyo. Kazi hii ni subsolution inayofaa katika eneo husika la paraboliki la mbele. Lemma 3.4 hutumia kizuizi hiki kujenga toleo la kiasi la kanuni ya maksimum yenye nguvu na kulinganisha infimum ya suluhisho katika kipande fulani cha nafasi na thamani ya marejeo.

Lemma hii hutumiwa katika sehemu mbili za induction kuu: kuzuia vilele vya paraboloidi za mguso visiwe mbali mno na eneo la paraboliki linalotakiwa, na kuhakikisha kwamba paraboloidi inayosogezwa katika mwelekeo wa wakati hugusa suluhisho ndani ya eneo.

Induction kuu na kupungua kwa kipimo

Katika uthibitisho mkuu, chanzo hufanya chaguo

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

na hujenga maeneo ya paraboliki yaliyowekwa mbali na mpaka kwa kiasi. Kisha \(\sigma=8\) huwekwa thabiti na suluhisho hunormalishwa ipasavyo.

Lengo la induction ni

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

kujenga kupungua kwa kipimo. Usemi huu unasema kwamba eneo ambalo paraboloidi zenye ufunguzi unaoongezeka haziwezi kugusa hupungua kwa kasi ya kijiometri.

Hatua ya induction hugawanywa katika hali mbili. Ikiwa seti isiyoguswa katika eneo la ndani tayari ni ndogo, kipimo cha tabaka la mpaka hutoa kupungua kunakotakiwa. Ikiwa seti isiyoguswa katika eneo la ndani bado ni kubwa, Lemma 3.3 huhakikisha kwamba sehemu isiyobadilika ya seti hii hugeuka kuwa nukta mpya za mguso katika ufunguzi unaofuata. Katika hali zote mbili, komplementi ya \(A_{\sigma^{k+1}}\) hupungua.

Kwa kuwa thamani ya suluhisho katika nukta ya seti ya mguso inaweza kudhibitiwa kwa ufunguzi wa paraboloidi inayogusa kutoka chini, kupungua huku kwa kipimo kwa namna ya kijiometri hatimaye hugeuka kuwa makadirio dhaifu ya Harnack kwa seti za viwango vya juu vya suluhisho.

Uboreshaji Katika Makadirio ya \(W^{2,\varepsilon}\) Ni Nini?

Tokeo kuu la pili la utafiti ni kwamba katika makadirio ya \(W^{2,\varepsilon}\), yanayohusiana na regularity ya suluhisho ya daraja la pili katika nafasi na daraja la kwanza katika wakati, utegemezi wa kipeo \(\varepsilon\) kwa uwiano wa ellipticity umeboreshwa. Chanzo hutumia kiasi \(\Theta(u)\), kinachopima ufunguzi mdogo kabisa unaohitajika kwa mguso kutoka chini kwa paraboloidi, ili kupata makadirio ya seti ya kiwango yanayolingana na ukosefu wa usawa dhaifu wa Harnack.

Katika Theorem 2.2, kwa \(\varepsilon(n,\lambda,\Lambda)\) hiyo hiyo, muundo wa jumla ni

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

kwa namna hiyo. Chanzo pia kinasema kwamba wakati \(\delta=\varepsilon/2\) inachaguliwa, makadirio ya aina ya \(L^\delta\) hupatikana kwa vipeuo vya daraja la pili vya nafasi na vipeuo vya daraja la kwanza vya wakati vya suluhisho katika darasa la jumla la milinganyo.

Kwa tokeo la awali la paraboliki, utegemezi unaolinganishwa katika chanzo ni

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

ilhali mbinu ya utafiti huu hufikia

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

daraja hilo. Mwishoni mwa uthibitisho mkuu, tokeo hurekodiwa kwa tahadhari zaidi kama

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

hivyo.

Mpaka wa \(\varepsilon\) unatokeaje kutoka kwenye induction?

Katika hatua moja ya induction, kipimo cha eneo lisiloguswa ama hupungua kijiometri kwa sababu ya tabaka la mpaka, au faida ya kipimo ya sehemu isiyobadilika ya nukta mpya za mguso huanza kutumika. Chanzo huweka mipaka miwili tofauti ya juu kwa \(\varepsilon\) ili kufanya taratibu hizi mbili zilingane na sheria ileile ya nguvu.

Ili faida ya kipimo ilingane na \(\sigma^{-\varepsilon}\), mpaka wa kwanza ni takriban

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

kwa namna hiyo. Sharti la pili linalotokana na tabaka la mpaka ni

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

na hutokea hivyo. Mipaka hii miwili inapozingatiwa pamoja, chanzo hupata utegemezi wa asymptotic wa \(\lambda^n(n\Lambda+1)^{-n}\) uliotajwa hapo juu.

Matokeo yanayoungwa mkono na utafiti

• Makadirio dhaifu ya Harnack ya seti ya kiwango hupatikana kwa supersolution za viscosity zisizo hasi zinazofaa.
• Zana kuu ya kijiometri ya uthibitisho ni envelope na seti za mguso zilizoundwa kutoka kwa paraboloidi za nafasi-wakati zenye ufunguzi usiobadilika.
• Hoja ya kawaida ya kufunika hubadilishwa na ongezeko la kimataifa la kipimo cha seti za mguso pamoja na induction.
• Fomula ya eneo na udhibiti wa Jacobian wa aina ya ABP huweka mpaka wa kiasi kwa kipimo cha nukta mpya za mguso.
• Hoja ya kizuizi huhakikisha kwamba nukta za mguso hubaki katika eneo la ndani linalohitajika kwa uthibitisho.
• Mbinu hiyo hiyo inatumika kwa makadirio ya \(W^{2,\varepsilon}\).
• Utegemezi wa \(\varepsilon\) kwa \(\lambda\), \(\Lambda\) na \(n\) huboreshwa ikilinganishwa na makadirio ya awali ya paraboliki.

Tafsiri ambazo utafiti hauungi mkono

• Tokeo si uthibitishaji wa majaribio wala wa namba.
• Halina dai la utendaji kwenye mfumo fulani wa kimwili, kihandisi au kifedha.
• Utafiti hautoi tokeo lisilo na masharti kwa madarasa yote ya PDE za paraboliki; ellipticity iliyo uniform na masharti husika ya suluhisho la viscosity ni muhimu.
• Utegemezi wa asymptotic uliotolewa kwa \(\varepsilon\) haupaswi kutafsiriwa kama uthibitisho kwamba thabiti vyote ni optimal waziwazi.
• Kuondolewa kwa hoja ya kufunika hakumaanishi kwamba mbinu zote za regularity ya ndani zimekuwa zisizo za lazima; tokeo linahusu muundo huu maalum wa uthibitisho.
• Tofauti za mpangilio wa subscript za Pucci na marejeo ya wakati zinazoonekana katika chanzo hazipaswi kuchukuliwa kuwa matokeo ya kihisabati yaliyosahihishwa.

Maelezo ya Chanzo na Mbinu

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

Mwandishi: Aranya Sen.

Taasisi: Mwishoni mwa PDF ya chanzo kuna taarifa Department of Mathematics, UC Irvine, Irvine, CA 92697, U.S.A. Katika metadata ya juu ya SSRN, sehemu ya affiliation haijajazwa kando.

Aina ya chanzo: Preprint ya utafiti wa kinadharia katika hisabati.

Jukwaa: SSRN.

SSRN Abstract ID: 6963585.

DOI: 10.2139/ssrn.6963585.

Tarehe ya kuchapishwa/kuwekwa: Katika rekodi ya SSRN, 18 Juni 2026.

Hali ya peer review: PDF ya chanzo inasema wazi kwamba hii ni preprint ambayo haijapitia peer review.

Leseni/hakimiliki: Kulingana na taarifa ya leseni kwenye ukurasa wa rekodi ya SSRN, mwenye haki ameipa SSRN leseni ya usambazaji; kazi ina hadhi ya “all rights reserved” na matumizi tena bila ruhusa hayajaonyeshwa. Kwa hiyo, katika maandishi haya ya Verianla, sentensi za makala ya chanzo, muundo wake wa asili wa usimulizi au usanifu wa ukurasa havijazalishwa tena; ukweli wa kisayansi, mahusiano ya kihisabati, mbinu na matokeo yameelezwa katika muundo huru wa kielimu.

Ufadhili/shukrani: Chanzo kinamshukuru Connor Mooney kwa swali lililochochea utafiti na kinasema kwamba kazi inahusishwa na msaada wa NSF grant DMS-2143668.

Upatikanaji wa data: Hakuna seti tofauti ya data wala taarifa ya upatikanaji wa data iliyotolewa. Utafiti si uchanganuzi wa data wa majaribio, bali ni kazi ya uthibitisho wa kinadharia wa kihisabati.

Mgongano wa maslahi: Hakuna taarifa tofauti ya mgongano wa maslahi iliyobainishwa katika chanzo.

Michango ya mwandishi: Hakuna taarifa tofauti ya michango ya CRediT; chanzo kina mwandishi mmoja.

Kikomo kikuu cha kimbinu:Matokeo yanahusu mfumo wa supersolution ya viscosity na ellipticity iliyo uniform uliotajwa katika chanzo. Hali ya \(C=0\) inachunguzwa katika uthibitisho mkuu; chanzo kinasema kwamba kwa \(C\neq0\) matokeo yanadumishwa kwa kiasi kikubwa, lakini \(\varepsilon\) pia huwa tegemezi kwa \(C\).

Onyo la notation ndani ya chanzo: Katika mlinganyo wa utangulizi \(\mathcal M^-_{\lambda,\Lambda}\) imetumiwa, ilhali katika baadhi ya kauli za theorem na lemma za baadaye kuna uandishi wa \(\mathcal M^-_{\Lambda,\lambda}\). Zaidi ya hayo, kuna kutolingana kunakoonekana kwa notation/typesetting kati ya kipindi cha wakati \(Q_2=B_2(0)\times(-4,0]\) kilichotolewa mwanzoni na baadhi ya marejeo ya baadaye ya \(u(0,1)\). Maandishi haya ya Verianla hayabadilishi nukta hizi kwa usahihishaji ambao haupo katika chanzo.

Ujenzi upya wa taswira: Hakuna grafu ya data wala mchoro wa raster wa kisayansi katika chanzo. Muundo asili wa taswira unaofaa zaidi kwa Verianla ni skimu ya kiufundi isiyo na skeli inayoonyesha envelope ya \(E_\sigma\), seti ya mguso ya \(A_\sigma\), kusogea kwa paraboloidi kali zaidi katika mwelekeo wa wakati, na ukuaji wa seti mpya za mguso.

Verianla Live / Live Figure: Inafaa kwa sehemu. Uigaji ambao mtumiaji hubadilisha \(\lambda\), \(\Lambda\), \(\sigma\) au parameta nyingine za kisayansi haupaswi kufanywa. Kwa parameta zisizobadilika, ni sahihi kisayansi kuonyesha kwa animation mpangilio wa mchakato uliobainishwa tu katika chanzo: mguso uliopo → paraboloidi kali zaidi → kusogea katika mwelekeo wa wakati → mguso mpya → ukuaji wa seti ya mguso.