[論文レビュー] A free boundary problem for semi-linear elliptic equation and its applications

Jianfeng Cheng, Lili Du|arXiv (Cornell University)|Jun 3, 2020

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

ひとこと要約

本稿は、ベルヌーイ型の自由境界条件を伴う非線形非同次楕円型方程式に対して、解および自由境界の存在性、リプシッツ連続性、非退化性、正則性を確立する。変分的アプローチを用いて、自由境界が $ C^{1,\beta} $-正則であることを証明し、その結果を応用して一般の渦度を有する定常的・非圧縮性・無粘性ジェット流およびキャビテーション流の適切性を示す。

ABSTRACT

In this paper, we consider a free boundary problem of a semilinear nonhomogeneous elliptic equation with Bernoulli's type free boundary. The existence and regularity of the solution to the free boundary problem are established by use of the variational approach. In particular, we establish the Lipschitz continuity and non-degeneracy of a minimum, and regularity of the free boundary. As a direct and important application, the well-posedness results on the steady, incompressible inviscid jet and cavitational flow with general vorticity are also obtained in this paper.

研究の動機と目的

• 非線形非同次楕円型方程式に従う自由境界問題に対する解の存在性と正則性を確立すること。
• 古典的な同次系の結果（例えば、AltとCaffarelli）を、変数渦度を有する非同次・非線形設定に拡張すること。
• 最小化子のリプシッツ連続性および非退化性、および自由境界の $ C^{1,\beta} $-正則性を証明すること。
• 理論的結果を応用して、一般の渦度を有する定常的・非圧縮性・無粘性ジェット流およびキャビテーション流の適切性を証明すること。
• 物理的流れモデルの文脈において、解および自由境界の一意性と単調性を確立すること。

提案手法

• エネルギー汎関数 $ J(\theta) = ∫_\Omega (|\nabla\theta|^2 + F(\theta) + \lambda^2(X) \chi_{\{\theta>0\}}) \, dX $ の変分的最小化問題として問題を定式化し、ここで $ F(t) = -2\int_0^t f(s)\,ds $ である。
• 適切なソボレフ空間における最小化子の存在を、変分法の直接法を用いて証明する。
• 吹き出し解析と測度推定を用いて、自由境界付近における解の挙動を分析する。
• 強い最大原理およびホフプの補題を用いて、解を比較し、自由境界および境界値 $ \lambda $ の一意性を確立する。
• 自由境界付近での平坦性および線形成長推定を導出し、その正則性を導く。
• 下流領域における解の漸近的挙動を用いて、流れプロファイルの一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 非同次項 $ f(\psi) \neq 0 $ を有する非線形楕円型自由境界問題に対して、エネルギー汎関数の最小化子は存在するか？
• RQ2 一般の渦度条件下で、最小化子のリプシッツ連続性および非退化性は確立可能か？
• RQ3 $ f(\psi) \neq 0 $ のとき、自由境界 $ \partial\{\psi > 0\} \cap \Omega $ は正則である（特に $ C^{1,\beta} $ である）か？
• RQ4 理論的結果を用いて、一般の渦度を有する定常的・非圧縮性・無粘性ジェット流およびキャビテーション流の存在性および一意性を証明できるか？
• RQ5 物理的流れモデルの文脈において、境界値 $ \lambda $ は一意的か？

主な発見

• エネルギー汎関数の最小化子 $ \psi $ は、定理2.4で示されるように $ \Omega $ でリプシッツ連続である。
• 最小化子は非退化性を満たす：$ x_0 \in \partial\{\psi > 0\} $ のとき、任意の $ r $ に対して $ \sup_{B_r(x_0)} \psi \geq c r $ を満たす $ c > 0 $ が存在する。
• 自由境界 $ \Gamma = \partial\{\psi > 0\} \cap \Omega $ は、定理3.15で示されるように $ C^{1,\beta} $-正則である。
• 与えられた境界条件および自由境界条件を満たす最小化子のクラスにおける自由境界問題の解 $ \psi $ は一意的である。
• 境界値 $ \lambda $ は、下流領域における解の漸近的挙動によって一意に定まる。
• 変分的枠組みを用いて、一般の渦度を有する定常的・非圧縮性・無粘性ジェット流およびキャビテーション流の適切性が確立された。