[論文レビュー] On the analyticity of solutions to non-linear elliptic partial differential equations

Simon Blatt|arXiv (Cornell University)|Sep 18, 2020

Differential Equations and Boundary Problems参考文献 6被引用数 5

ひとこと要約

本稿では、重み付き$L^2$推定とコーシーの主要化法を用いて、完全非線形2階楕円型偏微分方程式の$C^{\infty}$解の解析性について、簡潔で初等的な証明を提示する。カトウ型の切断関数技術と高階チェインルールを用いて重み付き微分の再帰的不等式を導出し、方程式が実解析的でかつ楕円型である任意の点の近傍で解が実解析的であることを示している。

ABSTRACT

We give an easy proof of the fact that $C^\infty$ solutions to non-linear elliptic equations of second order $$ ϕ(x, u, D u, D^2 u)=0 $$ are analytic. Following ideas of Kato, the proof uses an inductive estimate for suitable weighted derivatives. We then conclude the proof using Cauchy's method of majorants}.

研究の動機と目的

• 完全非線形2階楕円型偏微分方程式の$C^\infty$解の解析性について、より簡素で自己完結的な証明を提供すること。
• 切断関数と重み付き微分の再帰的推定を用いて、カトウの手法を非線形方程式へと拡張すること。
• 再帰的微分バウンドにコーシーの主要化法を適用し、解析性を確立すること。
• カトウの手法を完全非線形系へ一般化したHASHIMOTOの試みを明確化し、完成させること。
• 方程式が実解析的でかつ楕円型である任意の点の近傍で、解が実解析的であることを示すこと。

提案手法

• 滑らかな切断関数$\rho$を用いて、重み付き微分$\rho^{N} \partial^{\alpha} u$を定義し、高階微分の成長を局所化して制御する。
• ラプラシアンおよびその高階類似物に対する$L^2$推定を適用し、命題2.4を介して$\|D^2 u\|_{H^m}$と$\|\Delta u\|_{H^m}$を関連付ける。
• $H^m(\mathbb{R}^n)$のバナッハ代数性を用いて、微分の積をノルム$\|\cdot\|_{\widetilde{H}^m}$でバウンドする。
• ファウ・ディ・ブルーノの公式と一般化された積の法則を用いて、偏微分方程式における合成から生じる非線形項を制御する。
• 二項係数と$N$に関する多項式成長を含む再帰的不等式を、$M_N = \|\rho^N \partial^\alpha u\|_{\widetilde{H}^m}$に対して導出する。
• コーシーの主要化法を適用し、再帰的列を実解析的常微分方程式のテイラー係数と比較することで、階乗減衰を保証する。

実験結果

リサーチクエスチョン

• RQ1 完全非線形楕円型偏微分方程式の$C^\infty$解の解析性は、より初等的かつ自己完結的な方法で証明可能だろうか？
• RQ2 カトウの$\Delta u = u^2$に対する切断技術は、任意の非線形楕円型系へどの程度一般化可能だろうか？
• RQ3 重み付き$L^2$推定と$H^m$のバナッハ代数構造をどのように組み合わせて高階微分を制御できるか？
• RQ4 主要化法は非線形楕円型偏微分方程式の解の解析性について、構成的証明を提供するだろうか？
• RQ5 解析性を主要化比較によって示すために必要な微分バウンドの正確な再帰的構造は何か？

主な発見

• 方程式が実解析的でかつ楕円型である任意の点$x_0 \in \Omega$の近傍で、解$u$は実解析的である。
• 重み付き微分$M_N = \|\rho^N \partial^\alpha u\|_{\widetilde{H}^m}$に対する再帰的推定は、$M_{N+1} \leq C\varepsilon M_{N+1} + C\sum_{l=1}^N \binom{N}{l} P^l(\{A_1^k k!\}, \{M_k\}) M_{N+1-l} + \text{低次の項}$を満たす。
• 主要化された常微分方程式と比較することで、微分は$M_N \leq \tilde{C} B^N N!$を満たすことが示され、これにより補題2.1から解析性が従う。
• 証明により、完全非線形楕円型偏微分方程式の$C^\infty$解が実解析的であることが確認され、古典的結果が新たな明快な方法で再確認された。
• 深い関数解析を避け、基本的な$L^2$推定、チェインルール、およびコーシーの主要化法のみに依存している。
• 方程式がヘッセ行列$D^2u$に関して正定値であるという意味で楕円型であり、$\phi$が実解析的であるという最小限の仮定の下で成立する。