[論文レビュー] A Quantitative Regularity Estimate for Nonnegative Supersolutions of Fully Nonlinear Uniformly Parabolic Equations

Jessica Lin|arXiv (Cornell University)|May 31, 2013

Advanced Mathematical Modeling in Engineering参考文献 13被引用数 3

ひとこと要約

本稿では、完全非線形かつ一様放物型方程式の非負な粘性上位解に対して、Fabes-Stroockの推定を用いて、Caffarelli, Souganidis, Wangによる楕円型正則性結果の放物型類似を確立する。主な貢献は、右辺の$L^{N+1}$ノルムに依存する明確な下界であり、ノルムの対数における指数的減衰を示し、定義域の正の部分数にわたって有効である。

ABSTRACT

This note establishes an interior quantitative lower bound for nonnegative supersolutions of fully nonlinear uniformly parabolic equations. The result may be interpreted as a nonlinear, quantitative version of a growth lemma established by Krylov and Safonov for nonnegative supersolutions of linear uniformly parabolic equations in nondivergence form. Our approach is different, and follows from an application of the Fabes-Stroock estimate. The result is the parabolic analogue of an elliptic regularity estimate established by Caffarelli, Souganidis, and Wang in the stochastic homogenization of fully nonlinear uniformly elliptic equations.

研究の動機と目的

• 完全非線形かつ一様放物型方程式の非負上位解に対する定量的内部下界を確立すること。
• Stochastic homogenizationに用いられるCaffarelli, Souganidis, Wangの楕円型正則性推定の放物型類似を提供すること。
• 有界可測係数を持つ線形非発散型形式方程式への下界推定の拡張を実施し、この文脈で新規である。
• 時刻$t \to \infty$の極限において楕円型結果を回復し、設定間の一貫性を示すこと。
• 下界が源項の$L^{N+1}$ノルムにおいてべき対数的減衰構造を示すことを示すこと。

提案手法

• 放物型シリンダに対してFabes-Stroock推定を適用し、熱核を制御し、内在的下界を導出する。
• 粘性解理論およびPucciの極値作用素$\mathcal{M}^{-}$と$\mathcal{M}^{+}$を用いて、完全非線形方程式を線形化する。
• 二進放物型シリンダにおける反復的スケーリングを用いて、障害関数$w(x,t)$を構築し、下界を伝搬させる。
• 高さと半径を制御したシリンダのタワーを用いて、下界が内部領域に伝搬するように保証する。
• $\|f + F(0,\cdot,\cdot)\|_{L^{N+1}(Q_1)}$を用いた$u$の下界の推定を導出し、対数補正を組み込む。
• 比較原理と放物型境界の構造を用いて、下界の減衰率を制御する。

実験結果

リサーチクエスチョン

• RQ1 完全非線形かつ一様放物型方程式の非負上位解に対して、Caffarelli, Souganidis, Wangの楕円型結果に類似した定量的下界を確立できるか？
• RQ2 放物型設定において、下界は源項$f$の$L^{N+1}$ノルムにどのように依存するか？
• RQ3 下界は強楕円的定数$\lambda, \Lambda$、次元$N$、境界からの距離にどのように依存するか？
• RQ4 放物型結果を用いて、$t \to \infty$の極限において既知の楕円型正則性推定を回復できるか？
• RQ5 本手法により、有界可測係数を持つ線形一様放物型方程式に対し非自明な下界が得られるか？

主な発見

• 定量的下界が確立された：$|x| \leq \kappa$および$t \in [-\kappa/2 \|f + F(0,\cdot,\cdot)\|_{L^{N+1}}^{N+1}, 0]$に対して、解は$u(x,t) \geq c \|f + F(0,\cdot,\cdot)\|_{L^{N+1}}^{\rho} \exp(-\beta \|f + F(0,\cdot,\cdot)\|_{L^{N+1}}^{-2(N+1)})$を満たす。
• 下界は、元の定義域の正の部分数にわたって有効であり、具体的には$\|f\|_{L^{N+1}}^{N+1}$に比例する時間間隔の$t$に対して有効である。
• 指数$\rho$および定数$\beta$は$\lambda, \Lambda, N, \kappa$にのみ依存し、$f$とは独立である。
• 有界可測係数を持つ線形非発散型形式方程式に対しては本結果が新規であり、既知の結果を放物型の場合に拡張している。
• $t \to \infty$の極限において、Caffarelli, Souganidis, Wangの楕円型結果が回復され、楕円型理論と一貫性があることが確認された。
• 系4.3では、集合$\{f > \alpha\}$が内点にある場合に、$u(x,t) \geq c m^{\beta}$のべき型減衰境界が得られ、$m = |\Gamma|/|Q_1|$である。