[論文レビュー] Concavity of the Lagrangian Phase Operator and Applications

Tristan C. Collins, Sébastien Picard+1 more|arXiv (Cornell University)|Jul 25, 2016

Nonlinear Partial Differential Equations参考文献 30被引用数 4

ひとこと要約

本稿では、超臨界位相条件 $ h(x) > (n-2)\frac{\pi}{2} $ の下で、サブソリューション条件が一意解の存在を保証することを示すことにより、実および複素設定下におけるラグランジュ位相作用素のディリクレ問題の可解性を確立する。著者らは連続性法と境界推定を用いて、$ C^{3,\beta} $ の正則性を導出し、非凸的だがレベル上に凸性を有する作用素へサブソリューション法を拡張する。

ABSTRACT

We study the Dirichlet problem for the Lagrangian phase operator, in both the real and complex setting. Our main result states that if $Ω$ is a compact domain in $\mathbb{R}^{n}$ or $\mathbb{C}^n$, then there exists a solution to the Dirichlet problem with right-hand side $h(x)$ satisfying $|h(x)| > (n-2)\fracπ{2}$ and boundary data $ϕ$ if and only if there exists a subsolution.

研究の動機と目的

• 実領域および複素領域におけるラグランジュ位相作用素のディリクレ問題の可解性を確立すること。
• サブソリューション法を、凸でないがレベル上に凸性を有する完全非線形作用素へ拡張すること。
• 超臨界位相条件 $ h(x) > (n-2)\frac{\pi}{2} $ の下で、解の $ C^{3,\beta} $ 正則性を証明すること。
• マソン＝アンペール方程式および複素マソン＝アンペール方程式の結果をラグランジュ位相設定へ一般化すること。

提案手法

• サブソリューション法を用い、$ \Omega $ 内で $ \sum \arctan \underline{\lambda}_i \geq h(x) $ を満たすサブソリューション $ \underline{u} $ の存在を要請する。
• 問題を既知の可解な状況へつなぐために連続性法の議論を適用する。
• 作用素 $ \tilde{G} $、$ \eta $、および $ \psi(z) = -e^{-h(z)} $ を含むバリア関数 $ \Phi $ を構成することで、事前 $ C^2 $ 推定を導出する。
• 座標正規化と曲率項 $ \sigma_{\alpha\bar{\beta}} $ を用いて境界点における $ u_{n\bar{n}} $ を推定することで、境界 $ C^2 $ 推定を確立する。
• エヴァンズ＝クリロフ定理とワンの拡張テクニックを適用し、内部 $ C^{2,\alpha} $ 推定を導出する。
• クリロフの方法を用いて境界 $ C^{2,\alpha} $ 推定を導出し、事前推定を完成させる。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュ位相作用素のディリクレ問題は、$ \mathbb{R}^n $ や $ \mathbb{C}^n $ においてどのような条件下で解をもつか？
• RQ2 凸でないがレベル集合が凸である作用素へ、サブソリューション法を拡張することは可能か？
• RQ3 超臨界位相条件の下で、解に保証される正則性特性（例：$ C^{3,\alpha} $）は何か？
• RQ4 境界上の複素ヘッシアン $ \partial\bar{\partial}u $ の境界推定は、$ \partial\Omega $ の幾何構造にどのように依存するか？
• RQ5 関数 $ \psi(z) = -e^{-h(z)} $ は境界バリアを構成する際に果たす役割は何か？

主な発見

• 超臨界位相条件 $ h(x) > (n-2)\frac{\pi}{2} $ の下で、ラグランジュ位相作用素のディリクル問題の解が存在するための必要十分条件は、サブソリューションの存在である。
• 解は一意的であり、$ C^{3,\alpha}(\overline{\Omega}) $ に属する。データがすべて滑らかであれば、滑らかさが保たれる。
• 事前 $ C^2 $ 推定は、$ \tilde{G} $、$ \eta $、および $ \psi(z) $ から構成されたバリア関数 $ \Phi $ を用いて確立され、境界における $ u_{n\bar{n}} \leq C $ を保証する。
• エヴァンズ＝クリロフ定理とワンの拡張テクニックにより内部 $ C^{2,\alpha} $ 推定が得られ、クリロフの方法により境界 $ C^{2,\alpha} $ 界が得られる。
• $ C^{2,\alpha} $ 事前推定は、$ \Omega $、$ \|\underline{u}\|_{C^4} $、$ \|h\|_{C^2} $、および $ \delta $ のみに依存し、$ h(x) \geq (n-2)\frac{\pi}{2} + \delta $ を満たす。
• 連続性法により、サブソリューションから解を構成することで、存在性と正則性が確認され、証明が完成する。