[論文レビュー] Hölder gradient estimates for parabolic homogeneous p-Laplacian equations

Tianling Jin, Luís Silvestre|arXiv (Cornell University)|May 20, 2015

Nonlinear Partial Differential Equations参考文献 32被引用数 5

ひとこと要約

本稿では、$1 < p < \infty$ に対して、非斉次 $p$-ラプラシアン方程式 $u_t = |\nabla u|^{2-p} \text{div}(|\nabla u|^{p-2}\nabla u)$ の粘性解の空間勾配について、内部 Hölder 評価を確立する。粘性解理論と幾何的最大原理を用いて、空間勾配 $\nabla u$ が局所 Hölder 継続的であることを証明し、確率的ひきちぎりゲームにノイズを含む場合に生じる非変分的・非発散型 $p$-ラプラシアン方程式への正則性結果を拡張する。

ABSTRACT

We prove interior Hölder estimates for the spatial gradient of viscosity solutions to the parabolic homogeneous $p$-Laplacian equation \[ u_t=| abla u|^{2-p} \mbox{ div} (| abla u|^{p-2} abla u), \] where $1

研究の動機と目的

• 変分的構造を欠く非発散型の放物型斉次 $p$-ラプラシアン方程式の粘性解の空間勾配の Hölder 正則性を確立すること。
• 方程式 $u_t = |\nabla u|^{2-p} \text{div}(|\nabla u|^{p-2}\nabla u)$ に変分的枠組みが存在しないため、古典的正則性理論が適用できないことに対処すること。
• 古典的 $p$-ラプラシアン手法とは異なる、粘性解技法と幾何的最大原理による議論を用いて、この方程式のための新たな正則性理論を提供すること。
• 特にノイズを含むひきちぎりゲームの極限として生じる方程式における勾配正則性の理解を拡張すること。

提案手法

• 著者たちは、分布的・弱解の枠組みを避けるために、解の定義と解析の基盤として粘性解理論を用いる。
• 一様放物性のため、Krylov-Safonov 理論を適用して、解 $u$ の空間時間変数における Hölder 継続性を確立する。
• 内部勾配 $\nabla u$ の Hölder 評価は、バリア関数と比較関数を用いた幾何的最大原理の議論により導出される。
• 証明は、二進円筒における解の挙動を分析し、非発散型の式の構造を用いて、$\nabla u$ の連続性モジュラスの構築に依拠する。
• 主要な推論は、解とバリア関数との比較および係数行列 $\delta_{ij} + (p-2)|\nabla u|^{-2}u_i u_j$ の内在的幾何構造を用いる。この行列は一様強調的である。
• 補題 B.1 から B.5 の系列により、境界から内部への Hölder 継続性の伝播が確立され、最終的に主な勾配評価（命題 2.5）に至る。

実験結果

リサーチクエスチョン

• RQ1 変分的構造を欠く放物型斉次 $p$-ラプラシアン方程式の粘性解に対して、空間勾配の Hölder 正則性を確立できるか？
• RQ2 方程式 $u_t = |\nabla u|^{2-p} \text{div}(|\nabla u|^{p-2}\nabla u)$ の非発散型の形が、標準的な放物型 $p$-ラプラシアンと比較して解の正則性に与える影響は何か？
• RQ3 エネルギー法や弱解理論に適さない非発散型の式に対して、勾配正則性を証明するのに有効な技法は何か？
• RQ4 変分的構造の欠如を補うために、幾何的および最大原理に基づく手法が、$p$-ラプラシアン型方程式にどの程度有効に機能するか？

主な発見

• 任意の粘性解 $u$ の空間勾配 $\nabla u$ は、空間時間で局所 Hölder 継続的であり、Hölder 指数は $n$, $p$, 極性定数にのみ依存する。
• 勾配 $\nabla u$ の Hölder 継続性は、エネルギー法や弱解理論ではなく、幾何的最大原理の議論により確立され、古典的 $p$-ラプラシアン正則性理論とは異なる道筋を示す。
• 解 $u$ は空間時間で局所 $C^{\alpha}$ であり、境界データからの正則性伝播の議論により、勾配 $\nabla u$ は Hölder 継続性を引き継ぐ。
• $\nabla u$ の連続性モジュラスは、次元 $n$, 指数 $p$, 極性境界、および放物的境界における解の $L^\infty$ ノルムにのみ依存する。
• この結果は、すべての $p \in (1, \infty)$ に対して一様に成り立ち、極限ケース $p=1$ および $p=\infty$ に対しても成り立つが、主な証明には含まれない。
• この証明技法は、$1 < p < \infty$ に対して一様放物的である形 $\delta_{ij} + (p-2)\frac{u_i u_j}{|\nabla u|^2}$ の係数行列を有する非発散型方程式にまで一般化可能である。