[論文レビュー] On the Hölder regularity of signed solutions to a doubly nonlinear equation

Verena Bögelein, Frank Duzaar+1 more|arXiv (Cornell University)|Mar 9, 2020

Nonlinear Partial Differential Equations参考文献 27被引用数 8

ひとこと要約

本稿では、$p > 1$ に対して $\partial_t(|u|^{p-2}u) - \Delta_p u = 0$ の形をした二重非線形放物型方程式の符号付き有界弱解の内部および境界における Hölder 連続性を、内在スケーリングおよび De Giorgi の反復法を用いて確立する。主な貢献は、境界条件としてディリクレ型およびノイマン型を想定した場合の、放物的境界にまで及ぶ定量的 Hölder 連続性推定であり、構造的データおよび解のノルムに明示的な依存関係を持つ。

ABSTRACT

We establish the interior and boundary Hölder continuity of possibly sign-changing solutions to a class of doubly nonlinear parabolic equations whose prototype is \[ \partial_t\big(|u|^{p-2}u\big)-Δ_p u=0,\quad p>1. \] The proof relies on the property of expansion of positivity and the method of intrinsic scaling, all of which are realized by De Giorgi's iteration. Our approach, while emphasizing the distinct roles of sub(super)-solutions, is flexible enough to obtain the Hölder regularity of solutions to initial-boundary value problems of Dirichlet type or Neumann type in a cylindrical domain, up to the parabolic boundary. In addition, based on the expansion of positivity, we are able to give an alternative proof of Harnack's inequality for non-negative solutions. Moreover, as a consequence of the interior estimates, we also obtain a Liouville-type result.

研究の動機と目的

• 一般構造条件を満たす二重非線形放物型方程式の符号付き解の Hölder 連続性を確立すること。
• 境界条件としてディリクレ型およびノイマン型を想定した場合の正則性理論を、放物的境界にまで拡張すること。
• 内在スケーリングおよび De Giorgi の反復法を用いた Hölder 連続性の定量的証明を提供すること。
• 正の解に対するハーナックの不等式の別証明を、正の性質の拡張に基づいて与えること。
• 内部推定から得られる Liouville 型の結果を導出すること。

提案手法

• 空間時空のシリンダ内での振幅の減衰を制御するため、De Giorgi の反復技法を用いる。
• $p \neq 2$ の $p$-ラプラシアン構造の退化および特異性に対処するため、内在スケーリングを適用する。
• 測度論的正性情報の時間的前進を促進するために、正の性質の拡張を用いる。
• 超レベル集合の測度を制御するため、縮小補題および De Giorgi 型の補題を導入する。
• 問題を普遍的シリンダに還元するために、スケーリング関数 $v$ を構成する。
• エネルギー推定と測度論的議論を組み合わせることで、振幅の減衰から Hölder 連続性を導出する。

実験結果

リサーチクエスチョン

• RQ1 $p > 1$ の二重非線形放物型方程式の符号付き解に対して、Hölder 連続性を確立できるか？
• RQ2 正則性理論は、ディリクレ型またはノイマン型境界条件を満たす解にどのように拡張されるか？
• RQ3 正の性質の拡張を用いて、古典的手法に依存せずにハーナックの不等式を導出できるか？
• RQ4 Hölder 指数および定数の構造的データへの明確な依存関係は何か？
• RQ5 内部正則性は、整関数解に対して Liouville 型の定理を示唆するか？

主な発見

• 解 $u$ は $E_T$ 内で局所 Hölder 連続であり、指数 $\beta \in (0,1)$ はデータ $\{p, N, C_o, C_1\}$ のみに依存する。
• 明示的な Hölder 推定が得られる：$|u(x_1,t_1) - u(x_2,t_2)| \leq \bm{\gamma}\|u\|_{\infty,E_T} \left( \frac{|x_1-x_2| + |t_1-t_2|^{1/p}}{\operatorname{dist}_p(\mathcal{K};\Gamma)} \right)^\beta$。
• 振幅は幾何的に減少する：$\operatorname{ess\,osc}_{(x_o,t_o)+Q_r} u \leq \bm{\gamma} \operatorname{ess\,osc}_{(x_o,t_o)+Q_\varrho} u \left( \frac{r}{\varrho} \right)^\beta$（入れ子のシリンダに対して）。
• 正の性質の拡張および Hölder 連続性結果を用いて、ハーナックの不等式の別証明が提供される。
• 内部推定から Liouville 型の結果が導かれる：適切な減衰条件の下で、有界な整関数解は定数である。
• 本手法は $1 < p < 2$ および $p > 2$ の両方に対して一様に適用可能であり、0付近および0から離れた領域における振幅の減少の処理が、別個ではあるが平行な方法で行われる。