Zayıf Harnack eşitsizliği, negatif olmayan bir parabolik süperçözümün büyük değerler aldığı uzay-zaman bölgesinin ölçüsünü denetleyen temel bir düzenlilik aracıdır. Aranya Sen'in çalışması, tam doğrusal olmayan ve diverjans formunda olmayan parabolik kısmi diferansiyel denklemler için bu eşitsizliğe klasik Calderón-Zygmund veya Vitali tipi örtme argümanlarına başvurmadan ulaşan küresel bir ispat geliştiriyor. Yöntemin merkezi nesnesi, çözüme alttan değen sabit açıklıklı uzay-zaman paraboloidlerinden oluşturulan \(E_\sigma(u)\) zarfıdır. İspat, daha dik paraboloidlerin zaman yönünde ilerletilmesiyle yeni temas noktalarının ortaya çıktığını, bu temas noktalarının ölçüsünün alan formülü ve ABP tipi bir tahminle nicel olarak kontrol edilebildiğini ve temas kümelerinin iteratif büyümesinin sonunda bir seviye-kümesi ölçü azalmasına dönüştüğünü gösteriyor.

Aynı mekanizma yalnız zayıf Harnack eşitsizliğini vermekle kalmıyor; \(W^{2,\varepsilon}\) tipi düzenlilik tahminindeki \(\varepsilon\) üssünün eliptiklik parametrelerine bağımlılığını da geliştiriyor. Çalışmada elde edilen asimptotik mertebe \[ \varepsilon=O\!\left(\lambda^n(n\Lambda+1)^{-n}\right) \] biçiminde veriliyor. Bu sonuç teorik bir ispat sonucudur; sayısal simülasyon, deney veya gerçek dünya veri seti kullanılmamıştır. Çalışmanın iddiası belirli bir fiziksel sistemin performansını göstermek değil, parabolik düzenlilik teorisinin temel bir eşitsizliği için daha küresel ve örtme argümanından bağımsız bir ispat mekanizması kurmaktır.

Araştırmanın temel problemi

Çalışma, tam doğrusal olmayan parabolik kısmi diferansiyel denklemlerin viskozite süperçözümlerini ele alıyor. Başlangıçta incelenen eşitsizlik kaynakta şu biçimde yazılıyor:

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

Bu eşitsizlik \(Q_2=B_2(0)\times(-4,0]\) parabolik silindiri üzerinde ele alınıyor. Burada \(D^2u\) uzaysal Hessian matrisi, \(\nabla u\) uzaysal gradyan, \(u_t\) ise zaman türevidir. \(\lambda\) ve \(\Lambda\), denklemin üniform eliptikliğini sınırlayan pozitif sabitlerdir.

Bu yapı daha genel olarak

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

denklem ailesiyle ilişkilendiriliyor. Kaynakta \(F\) fonksiyonunun üniform eliptik olması, sıfır fonksiyonunun çözüm olması ve gradyan ile çözüm değişkenlerine göre belirli bir Lipschitz sınırını sağlaması varsayılıyor. Pozitif yarı-belirli \(N\) için üniform eliptiklik koşulu

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

şeklinde ifade ediliyor. Dolayısıyla problem yalnız tek bir özel diferansiyel denklemi değil, Hessian'a üniform eliptik biçimde bağlı geniş bir doğrusal olmayan parabolik denklem sınıfını kapsıyor.

Pucci ekstremal operatörlerinin rolü

Pucci ekstremal operatörleri, belirli \(\lambda\) ve \(\Lambda\) eliptiklik sınırları altında ikinci mertebe doğrusal üniform eliptik operatörlerin uç davranışını temsil eden operatörlerdir. Kaynakta simetrik bir \(N\) matrisi için alt Pucci operatörü

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

ve özdeğerler üzerinden

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

şeklinde tanımlanıyor. Üst operatör ise

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

ilişkisiyle veriliyor. Bu operatörler çalışmanın bütün tahminlerinde \(\lambda\) ile \(\Lambda\) arasındaki eliptiklik farkının nasıl bir maliyet oluşturduğunu görünür hale getiriyor.

Kaynak notasyonu hakkında dikkat: PDF'nin girişinde alt operatör \(\mathcal M^-_{\lambda,\Lambda}\) biçiminde yazılırken, bazı sonraki tanım, lemma ve teorem ifadelerinde alt indis sırası \(\mathcal M^-_{\Lambda,\lambda}\) olarak basılmıştır. Verianla metni bu farkı sessizce düzeltilmiş bir sonuç gibi sunmamaktadır.

Zayıf Harnack Eşitsizliği Bu Çalışmada Ne Söylüyor?

Zayıf Harnack eşitsizliği bu çalışmada, negatif olmayan bir viskozite süperçözümünün yüksek seviyelere çıktığı noktaların uzay-zaman ölçüsünün kuvvet yasasıyla azaldığını söyler. Başka bir deyişle sonuç, çözümün her noktadaki değerini doğrudan tek bir maksimum-minimum oranıyla sınırlamak yerine, büyük değerlerin bulunduğu kümenin ne kadar büyük olabileceğini nicel biçimde sınırlar.

Kaynağın Teorem 2.1 ifadesinde, uygun bir \(\varepsilon=\varepsilon(n,\lambda,\Lambda)\) için

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

tahmini elde ediliyor. Buradaki \(t\), eşitsizlikteki seviye parametresidir; parabolik denklemin zaman değişkeniyle sembolik olarak aynı harfin kullanılması okunurken ayırt edilmelidir.

Eşitsizliğin temel anlamı şudur: seviye yükseldikçe çözümün o seviyenin üzerinde kaldığı bölgenin ölçüsü en azından bir kuvvet yasası oranında küçülür. Bu ölçü azalması daha ileri düzenlilik sonuçlarının kurulmasına imkân verir.

Kaynak, Teorem 2.1'in standart bir sonucu olarak genel denklem sınıfındaki çözümler için iç Hölder düzenliliğinin elde edildiğini de belirtiyor. Dolayısıyla zayıf Harnack tahmini yalnız bağımsız bir seviye-kümesi sonucu değil, parabolik çözümlerin yerel salınımını ve sürekliliğini kontrol eden daha geniş düzenlilik teorisinin bir parçasıdır.

Parabolik geometri neden Öklidyen geometriden farklı ele alınıyor?

Parabolik denklemlerde uzay ve zaman aynı ölçekle davranmaz. Uzaysal bir ölçek \(r\) seçildiğinde doğal zaman ölçeği \(r^2\)'dir. Kaynak bu nedenle geri ve ileri parabolik komşulukları sırasıyla

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

biçiminde tanımlıyor. Benzer biçimde ileri ve geri uzay-zaman parabolik topları, zaman farkını uzaysal uzaklığın karesiyle karşılaştıran bölgeler olarak kuruluyor. İspat boyunca “paraboloidin zaman yönünde akması” ifadesinin anlamlı olmasının nedeni de bu parabolik geometridir.

Parabolik Paraboloid Zarfı Neden Kullanılıyor?

Parabolik paraboloid zarfı, çözümün hangi noktalarında belirli eğrilikteki test şekillerinin alttan temas edebildiğini geometrik ve ölçülebilir bir nesneye dönüştürür. Bu sayede diferansiyel eşitsizlik yalnız türev ifadeleri üzerinden değil, temas noktalarının uzay-zamandaki dağılımı üzerinden de incelenebilir.

Kaynakta \(\delta>0\), tepe noktası \((y,s)\) ve \(\sigma\in\mathbb R\) için kullanılan temel şekil

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

olarak tanımlanıyor. \(\sigma>0\) olduğunda bu şekil konkav bir uzay-zaman paraboloididir; \(|\sigma|\) hem açıklık hem de eğim parametresi olarak kullanılır.

Negatif olmayan sürekli bir \(u\) fonksiyonu için sabit açıklıklı konkav paraboloidlerden oluşturulan alt zarf

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

biçimindedir. Zarfın çözüme gerçekten değdiği noktalar ise temas kümesini oluşturur:

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

Bu tanımların çok önemli bir ölçekleme özelliği vardır:

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

Dolayısıyla farklı açıklıklardaki temas davranışı, uygun normalizasyonla tek bir temel ölçeğe indirgenebilir.

Zarfın diferansiyellenebilirliği neden önemli?

\(E_\sigma\) sabit açıklıklı konkav paraboloidlerle alttan desteklendiği için üniform yarı-konvekstir. Kullanılan düzenlilik sonucu, ölçüsü sıfır olan bir küme dışında zarfın ikinci mertebe uzaysal ve birinci mertebe zamansal bir açılıma sahip olmasını sağlar. Bu özellik, temas noktaları ile paraboloidlerin tepe noktaları arasında Lipschitz bir dönüşüm tanımlanabilmesinin ve daha sonra alan formülünün uygulanabilmesinin temelidir.

İspat öncesinde ayrıca standart bir inf-convolution indirgemesi kullanılarak süperçözümün gerekli yarı-konkavlık özelliğine sahip olduğu varsayılabilir. Kaynağın vurguladığı işlev, alan formülünün uygulanacağı dönüşümlerin Lipschitz olmasını güvence altına almaktır.

Çalışmanın Yöntemi ve Bulguları

İspatın genel mimarisi

Klasik zayıf Harnack ispatlarında temel olarak iki görev birlikte yürütülür: ABP tipi bir tahminle belirli temas noktaları hakkında ölçü bilgisi elde edilir ve daha sonra bu bilgi hassas bir Calderón-Zygmund veya Vitali örtme argümanıyla yerelleştirilir. Sen'in yaklaşımı ilk kısmı korurken ikinci kısmı farklı bir geometrik mekanizmayla değiştiriyor.

Lemma 3.1: Yeni temas noktalarının ortaya çıkması

Bir \(P_{\sigma^2}\) paraboloidi \(E_\sigma\) zarfına \(A_\sigma\) dışında bir noktada alttan teğet olsun. Bu paraboloid zaman yönünde ilerletilip sonunda \(u\)'ya temas ettiğinde, kaynak bu yeni temas noktasının

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

içinde bulunması gerektiğini gösteriyor.

Argümanın geometrik çekirdeği, viskozite süperçözümünün uygun anlamda “yukarı bakan keskin köşe” ile alttan temas edememesidir. Eğer yeni ve eski temas aynı noktada gerçekleşseydi iki farklı açıklıktaki paraboloidin maksimumundan böyle bir köşe oluşturulabilirdi. Kaynak, koordinat dönüşümü ve bir bariyer kullanarak bunun diferansiyel eşitsizlikle çeliştiğini gösteriyor.

Lemma 3.2: Temas noktalarından tepe noktalarına ölçü aktarımı

\(T\), \(E_\sigma\)'ya daha dik paraboloidlerin temas ettiği bir noktalar kümesi ve \(V\) bu paraboloidlerin tepe noktaları olsun. Kaynak

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

alt sınırını elde ediyor.

Bu sonuca ulaşmak için temas noktasından paraboloid tepesine giden bir dönüşüm kuruluyor. Zarfın hemen her yerde diferansiyellenebilir olması, bu dönüşümün Jacobian determinantının hesaplanabilmesini sağlıyor. Alan formülü uygulandığında zarfın zaman türevi ve Hessian'ına ilişkin yarı-konvekslik sınırları doğrudan ölçü tahminine dönüşüyor.

Lemma 3.3: ABP tipi küresel ölçü kazancı

İspatın nicel merkezlerinden biri Lemma 3.3'tür. Kaynak, uygun koşullar altında yeni temas kümesinin ö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| \]

ile aşağıdan sınırlandığını gösteriyor.

Burada kritik adım, yeni temas noktasında diferansiyel eşitsizlikten Hessian'ın özdeğerlerine ilişkin hem alt hem üst sınırlar çıkarmaktır. Kaynak, Jacobian determinantını değerlendirirken Hessian'ın en az bir negatif özdeğere sahip olduğu durumla bütün özdeğerlerin pozitif olduğu durumu ayrı ele alıyor. Bu ayrım sonunda aynı genel üst sınıra bağlanıyor.

Bu hesap, klasik benzer ABP tahminleriyle karşılaştırıldığında \((n\Lambda+1)^{-1}\) çarpanına ilişkin üssün bir derece azaltılmasını sağlıyor. Ana ispatta ABP tahmininin yerelleştirme bölümünden ayrılmasıyla bir ek iyileştirme daha elde ediliyor.

Yeni İspat Örtme Argümanını Nasıl Atlıyor?

Yeni ispat, yerel kutuları tekrar tekrar örten bir Calderón-Zygmund veya Vitali ayrıştırması yerine, daha dik paraboloidlerin temas kümelerini bütün bölge üzerinde sistematik biçimde büyütüyor. Bir ölçekten sonraki ölçeğe geçerken elde edilen yeni temas noktalarının ölçüsü doğrudan kontrol edildiği için gerekli ölçü azalması küresel bir indüksiyondan çıkıyor; böylece klasik ispatın hassas örtme aşamasına ihtiyaç kalmıyor.

Kaynağın stratejisinde önce \(8^k\) açıklıklı paraboloidlerin oluşturduğu temas kümesi ele alınıyor. Daha sonra \(8^{k+1}\) açıklıklı daha dik paraboloidler mevcut zarfın temas kümesi dışında alttan yerleştirilip zaman yönünde ilerletiliyor. Lemma 3.1 bu işlemin yeni temas noktaları verdiğini, Lemma 3.3 ise bu yeni temas noktalarının ölçüsünün nicel olarak yeterince büyük olduğunu gösteriyor.

Bu yaklaşımın “küresel” niteliği, denklemin bütün uzay-zamanda küresel bir çözümünün elde edilmesi anlamına gelmez. Buradaki küresellik, temas kümelerinin ölçüsünün yerel bir örtme algoritmasına bölünmeden topluca kontrol edilmesidir.

Sınırdan uzaklığı koruyan bariyer

Yeni temas noktalarının gerçekten iç bölgede kalması gerekir. Bunun için kaynak

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

bariyerini kullanıyor. Parametreler

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

olarak seçiliyor. Bu fonksiyon ilgili ileri parabolik bölgede uygun bir altçözümdür. Lemma 3.4 bu bariyer üzerinden güçlü maksimum ilkesinin nicel bir versiyonunu kuruyor ve belirli bir uzaysal kesitte çözümün infimumunu referans değerle karşılaştırıyor.

Bu lemma ana indüksiyonda iki yerde kullanılıyor: temas paraboloidlerinin tepe noktalarının istenen parabolik bölgeden fazla uzaklaşmasını önlemek ve zaman yönünde ilerletilen paraboloidin alanın içinde çözüme temas etmesini garanti etmek.

Ana indüksiyon ve ölçü azalması

Kaynak ana ispatta

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

seçimini yapıyor ve sınırdan nicel olarak uzaklaştırılmış parabolik bölgeler oluşturuyor. Ardından \(\sigma=8\) sabitlenerek çözüm uygun biçimde normalize ediliyor.

İndüksiyonun hedefi

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

ölçü azalmasını kurmaktır. Bu ifade, açıklığı giderek artan paraboloidlerin temas edemediği bölgenin geometrik hızla küçüldüğünü söyler.

İndüksiyon adımı iki duruma ayrılır. İçte kalan bölgede temas etmeyen küme zaten küçükse, sınır tabakasının ölçüsü istenen azalmayı sağlar. İç bölgede temas etmeyen küme hâlâ büyükse, Lemma 3.3 bu kümenin sabit bir oranının bir sonraki açıklıkta yeni temas noktalarına dönüşmesini garanti eder. Her iki durumda da \(A_{\sigma^{k+1}}\)'in tamamlayıcısı küçülür.

Temas kümesine ait bir noktada çözümün değeri, kendisine alttan değen paraboloidin açıklığıyla kontrol edilebildiği için bu geometrik ölçü azalması sonunda çözümün yüksek seviye kümeleri için zayıf Harnack tahminine dönüşür.

\(W^{2,\varepsilon}\) Tahminindeki İyileştirme Nedir?

Çalışmanın ikinci ana sonucu, çözümün ikinci mertebe uzaysal ve birinci mertebe zamansal düzenliliğiyle ilişkili \(W^{2,\varepsilon}\) tahmininde kullanılan \(\varepsilon\) üssünün eliptiklik oranına bağımlılığının iyileştirilmesidir. Kaynak, paraboloidlerle alttan temas için gereken en küçük açıklığı ölçen \(\Theta(u)\) büyüklüğünü kullanarak zayıf Harnack eşitsizliğine paralel bir seviye-kümesi tahmini elde ediyor.

Teorem 2.2'de aynı \(\varepsilon(n,\lambda,\Lambda)\) için genel yapı

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

şeklindedir. Kaynak ayrıca \(\delta=\varepsilon/2\) seçildiğinde genel denklem sınıfının çözümlerinin ikinci mertebe uzaysal türevleri ve birinci mertebe zaman türevleri için \(L^\delta\) tipi bir tahmin elde edildiğini belirtiyor.

Önceki parabolik sonuç için kaynakta karşılaştırılan bağımlılık

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

iken bu çalışmanın yöntemi

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

mertebesine ulaşıyor. Ana ispatın sonunda sonuç daha ihtiyatlı biçimde

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

olarak kaydediliyor.

\(\varepsilon\) sınırı indüksiyondan nasıl çıkıyor?

İndüksiyonda bir adımda temas etmeyen bölgenin ölçüsü ya geometrik olarak sınır tabakası sayesinde küçülüyor ya da yeni temas noktalarının sabit oranlı ölçü kazancı devreye giriyor. Kaynak bu iki mekanizmayı aynı kuvvet yasasına uyumlu hale getirmek için \(\varepsilon\)'ye iki ayrı üst sınır getiriyor.

Ölçü kazancının \(\sigma^{-\varepsilon}\) ile uyumlu olması için birinci sınır yaklaşık olarak

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

biçimindedir. Sınır tabakasından gelen ikinci koşul ise

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

şeklinde ortaya çıkar. Bu iki kısıt birlikte değerlendirildiğinde kaynak yukarıdaki \(\lambda^n(n\Lambda+1)^{-n}\) asimptotik bağımlılığını elde ediyor.

Çalışmanın desteklediği sonuçlar

• Negatif olmayan uygun viskozite süperçözümleri için bir zayıf Harnack seviye-kümesi tahmini elde edilir.
• İspatın ana geometrik aracı sabit açıklıklı uzay-zaman paraboloidlerinden oluşturulan zarflar ve temas kümeleridir.
• Klasik örtme argümanı, temas kümelerinin küresel ölçü artışı ve indüksiyonla değiştirilir.
• Alan formülü ve ABP tipi Jacobian kontrolü yeni temas noktalarının ölçüsünü nicel olarak sınırlar.
• Bir bariyer argümanı temas noktalarının ispat için gerekli iç bölgede kalmasını sağlar.
• Aynı teknik \(W^{2,\varepsilon}\) tahminine uygulanır.
• \(\varepsilon\)'nin \(\lambda\), \(\Lambda\) ve \(n\)'ye bağımlılığı önceki parabolik tahmine göre geliştirilir.

Çalışmanın desteklemediği yorumlar

• Sonuç deneysel veya sayısal doğrulama değildir.
• Belirli bir fiziksel, mühendislik veya finansal sistem üzerinde performans iddiası içermez.
• Çalışma bütün parabolik PDE sınıfları için varsayımsız bir sonuç vermez; üniform eliptiklik ve ilgili viskozite çözümü koşulları önemlidir.
• \(\varepsilon\) için verilen asimptotik bağımlılık, bütün sabitlerin açık biçimde optimal olduğunun kanıtı olarak yorumlanmamalıdır.
• Örtme argümanının kaldırılması, bütün yerel düzenlilik tekniklerinin gereksiz hale geldiği anlamına gelmez; sonuç bu özel ispat mimarisine ilişkindir.
• Kaynakta görülen Pucci alt indis sırası ve zaman referansı farklılıkları düzeltilmiş matematiksel sonuçlar olarak varsayılmamalıdır.

Kaynak ve Yöntem Notu

Özgün başlık: A Global Proof of the Weak Harnack Inequality for Parabolic Equations in Non-Divergence Form

Yazar: Aranya Sen.

Kurum: Kaynak PDF'nin sonunda Department of Mathematics, UC Irvine, Irvine, CA 92697, U.S.A. bilgisi yer almaktadır. SSRN üst metadatasında ise afiliyasyon alanı ayrıca doldurulmamıştır.

Kaynak türü: Matematik alanında teorik araştırma preprinti.

Platform: SSRN.

SSRN Abstract ID: 6963585.

DOI: 10.2139/ssrn.6963585.

Yayın/ilan tarihi: SSRN kaydında 18 Haziran 2026.

Hakemlik durumu: Kaynak PDF açıkça hakem değerlendirmesinden geçmemiş preprint olduğunu belirtmektedir.

Lisans/telif: SSRN kayıt sayfasındaki lisans bilgisine göre hak sahibi SSRN'ye dağıtım lisansı vermiştir; eser “all rights reserved” statüsündedir ve izin olmadan yeniden kullanım belirtilmemektedir. Bu nedenle bu Verianla metninde kaynak makalenin cümleleri, özgün anlatı örgüsü veya sayfa tasarımı yeniden üretilmemiş; bilimsel olgular, matematiksel ilişkiler, yöntem ve sonuçlar bağımsız öğretici yapıda açıklanmıştır.

Finansman/teşekkür: Kaynak, Connor Mooney'ye araştırmayı motive eden soru için teşekkür etmekte ve çalışmanın NSF grant DMS-2143668 desteğiyle ilişkili olduğunu belirtmektedir.

Veri erişilebilirliği: Ayrı bir veri seti veya veri erişilebilirliği bildirimi sunulmamıştır. Çalışma deneysel veri analizi değil, teorik matematiksel ispat çalışmasıdır.

Çıkar çatışması: Kaynakta ayrı bir çıkar çatışması bildirimi tespit edilmemiştir.

Yazar katkıları: Ayrı bir CRediT katkı bildirimi bulunmamaktadır; kaynak tek yazarlıdır.

Temel yöntemsel sınır: Bulgular kaynakta belirtilen viskozite süperçözümü ve üniform eliptiklik çerçevesine aittir. \(C=0\) durumu ana ispatta ele alınmakta; kaynak \(C\neq0\) için sonuçların büyük ölçüde korunduğunu ancak \(\varepsilon\)'nin ayrıca \(C\)'ye bağımlı hale geldiğini belirtmektedir.

Kaynak içi notasyon uyarısı: Giriş denkleminde \(\mathcal M^-_{\lambda,\Lambda}\) kullanılırken bazı sonraki teorem ve lemma ifadelerinde \(\mathcal M^-_{\Lambda,\lambda}\) yazımı bulunmaktadır. Ayrıca başlangıçta verilen \(Q_2=B_2(0)\times(-4,0]\) zaman aralığı ile bazı sonraki \(u(0,1)\) referansları arasında görünür bir notasyon/dizgi uyumsuzluğu vardır. Bu Verianla metni bu noktaları kaynakta bulunmayan bir düzeltmeyle değiştirmemektedir.

Görsel yeniden inşa: Kaynakta veri grafiği veya bilimsel raster şekil bulunmamaktadır. Verianla için en uygun özgün görsel yapı; \(E_\sigma\) zarfı, \(A_\sigma\) temas kümesi, daha dik paraboloidlerin zaman yönünde ilerlemesi ve yeni temas kümelerinin büyümesini gösteren ölçeksiz teknik şemadır.

Verianla Live / Live Figure: Kısmen uygundur. Kullanıcının \(\lambda\), \(\Lambda\), \(\sigma\) veya diğer bilimsel parametreleri değiştirdiği bir simülasyon yapılmamalıdır. Sabit parametrelerle yalnız kaynakta tanımlanan süreç sırasının; mevcut temas → daha dik paraboloid → zaman yönünde ilerleme → yeni temas → temas kümesi büyümesi biçiminde animasyonla vurgulanması bilimsel olarak uygundur.