[論文レビュー] From the free boundary condition for Hele-Shaw to a fractional parabolic equation

Héctor A. Chang‐Lara, Nestor Guillen|arXiv (Cornell University)|May 24, 2016

Nonlinear Partial Differential Equations参考文献 29被引用数 7

ひとこと要約

この論文は、平坦性条件の下で、解のホドグラフ変換が非線形積分微分方程式を満たし、それが有界可測係数をもつ非局所放物型方程式に線形化されることを示すことにより、1相ヘリーショウ問題における自由境界と分数的放物型方程式との間の関係を確立する。主な結果は、平坦な点の近傍における空間的・時間的自由境界の普遍的な $C^{1,\beta}$ 正則性推定であり、非局所放物型方程式のコンパクト性および正則性理論を用いて証明される。

ABSTRACT

We propose a method to determine the smoothness of sufficiently flat solutions of one phase Hele-Shaw problems. The novelty is the observation that under a flatness assumption the free boundary --represented by the hodograph transform of the solution- solves a nonlinear integro-differential equation. This nonlinear equation is linearized to a (nonlocal) parabolic equation with bounded measurable coefficients, for which regularity estimates are available. This fact is used to prove a regularity result for the free boundary of a weak solution near points where the solution looks sufficiently flat. More concretely, flat means that in a parabolic neighborhood of the point the solution lies between the solutions corresponding to two parallel flat fronts a small distance apart --a condition that only depends on the the local behavior of the solution. In a neighborhood of such a point, the free boundary is given by the graph of a function whose spatial gradient enjoys a universal Hölder estimate in both space and time.

研究の動機と目的

• 1相ヘリーショウ問題における自由境界と非局所放物型方程式との間の関係を確立すること。
• 解が十分に平坦である点の近傍における自由境界のホルダー正則性を証明すること。
• 自由境界条件を有界可測係数をもつ非局所放物型方程式に線形化する手法を開発すること。
• 非局所方程式の正則性理論を応用して、自由境界の $C^{1,\beta}$ 評価を導出すること。
• 解の平坦性が、グローバル構造に依存しない自由境界の正則性を示すこと。

提案手法

• 解のホドグラフ変換を用いて自由境界をグラフとして表現し、自由境界条件を非線形積分微分方程式に変換する。
• 平坦性仮定の下で、非線形方程式が分数ラプラシアン $(-\triangle)^{1/2}$ を含み、時間に依存する有界可測係数をもつ放物型方程式に線形化されることを示す。
• 線形化された方程式が、有界可測係数をもつ非局所放物型方程式について既知のホルダー正則性推定を満たすことを示す。
• 解が2つの平坦な前縁の間にある放物型近傍において、コンパクト性とスケーリング（ブルームアップ）の議論を適用する。
• 摂動に対するホドグラフの推定に、コンフォーマル変換（ケルビン変換および指数型変換）を用い、$\varepsilon^\alpha N$ の小ささにより誤差項を制御する。
• 証明は粘性解理論とコンパクト性に依存し、極限が分数的熱方程式を満たすことを抽出することで、正則性が導かれる。

実験結果

リサーチクエスチョン

• RQ1 ヘリーショウ問題における自由境界の正則性は、非局所放物型方程式との関係から導けるか？
• RQ2 解が点の近傍で十分に平坦であるとき、自由境界にどのような正則性特性が現れるか？
• RQ3 自由境界条件の線形化が、有界可測係数をもつ非局所放物型方程式にどのように導くか？
• RQ4 解の勾配の時間的不規則性が、自由境界の正則性にどの程度影響を及えるか？
• RQ5 分数的熱方程式は、平坦な点における自由境界のブルームアップのモデルとして機能できるか？

主な発見

• 解が $\varepsilon \in (0,\varepsilon_0)$ の範囲で2つの平坦な前縁の間にあれば、普遍的な定数 $\varepsilon_0, \alpha \in (0,1)$ および $C > 0$ が存在し、自由境界は $C^{1,\alpha}$ 正則性をもつ。
• 自由境界の空間的勾配は、$B_{1/2}^{n-1} \times (-1/2, 0]$ において、空間的・時間的両方で普遍的なホルダー推定を満たし、$C$ で一様に有界である。
• ホドグラフの線形化された方程式は、有界可測係数をもつ非局所放物型方程式であり、特に $(-\Delta)^{1/2}$ と $[\lambda, \Lambda]$ 内の時間に依存する係数を含む。
• 線形化の誤差は $\varepsilon \to 0$ のとき消え、極限方程式は分数的熱方程式 $\partial_t \bar{u} + a(-\Delta)^{1/2}\bar{u} = 0$ となる。
• 自由境界の正則性は、グローバルな変分的構造や滑らかさの仮定に依存せず、解の平坦性によって制御される。
• 時間微分の勾配が不規則であっても、平坦性条件が成立する限り、この手法は有効である。