[論文レビュー] A one-phase problem for the fractional Laplacian: regularity of flat free boundaries

Daniela De Silva, Ovidiu Savin+1 more|arXiv (Cornell University)|Jan 24, 2014

Hermeneutics and Narrative Identity参考文献 15被引用数 10

ひとこと要約

本稿は、$0 < \alpha < 1$ における分数ラプラシアン $(-\Delta)^\alpha$ を含む1相問題における平坦な自由境界の $C^{1,\beta}$ 正則性を確立する。これは、$\alpha = 1/2$ の場合に既知であった結果を一般化したものである。非局所問題を1つ高い次元における局所的で退化する楕円型問題に変換するため、Caffarelli-Silvestreの拡張を用い、境界Harnack推定と重み付きソボレフ正則性技法を用いて、適切な平坦性仮定のもとで平坦な自由境界が滑らかであることを証明する。

ABSTRACT

We consider a one-phase free boundary problem involving a fractional Laplacian $(-Δ)^α$, $0

研究の動機と目的

• 分数ラプラシアン $(-\Delta)^\alpha$（$0 < \alpha < 1$）で記述される1相問題における自由境界の正則性を確立すること。
• 既知の $\alpha = 1/2$ の場合の $C^{1,\beta}$ 正則性結果を、すべての $\alpha \in (0,1)$ に拡張すること。
• Caffarelli-Silvestreの拡張を用いて、非局所問題を $\mathbb{R}^{n+1}_+$ における局所的で退化する楕円型問題に変換し、平坦点付近の自由境界の構造を解析すること。
• 平坦な自由境界を有する粘性解が、$n$ と $\alpha$ に依存する Hölder 指数 $\gamma$ を持つ $C^{1,\gamma}$ 正則性を示すこと。
• 拡張問題における有界な右辺を有する解に対して境界Harnack推定の有効性を確立し、自由境界付近での発散挙動を制御すること。

提案手法

• Caffarelli-Silvestreの拡張を用いて、非局所的分数ラプラシアン問題を $\mathbb{R}^{n+1}_+$ における局所的で退化する楕円型問題に変換する。ここで、$(-\Delta)^\alpha u = -d_\alpha \lim_{z \to 0^+} z^{1-2\alpha} \partial_z g$ が成り立つ。
• 拡張関数 $g$ が $\mathbb{R}^{n+1}_+$ で $\text{div}(z^{\beta} \nabla g) = 0$ を満たし、$\beta = 1 - 2\alpha$ であるとし、$\partial g / \partial t^\alpha = 1$ となる自由境界 $F(g)$ を研究する。
• 境界Harnackの原理を用いて自由境界付近の解を比較し、解 $g$ が $(t,z)$-平面上で基本解 $U(t,z) = (r^{1/2} \cos(\theta/2))^{2\alpha}$ の定数倍として振る舞うことを示す。
• バリア構成と重み付き微分推定を用いて、拡張解の法線微分 $b(x')$ に対する Hölder 推定を証明することで、自由境界の $C^{1,\gamma}$ 正則性を確立する。
• 連続性の方法と近似を用いて、滑らかな境界データから一般の粘性解への正則性結果を拡張する。
• 関数 $U_{n}h$ が下位項 $\Delta_{x'} h$ を含む退化楕円型方程式を満たすことに注目し、$\Delta_{x'} h$ の有界性を活用して、接線方向における $h$ の正則性を制御する。

実験結果

リサーチクエスチョン

• RQ1 分数ラプラシアン $(-\Delta)^\alpha$（$0 < \alpha < 1$）を含む1相問題における自由境界が $C^{1,\gamma}$ 正則性を示すための条件は何か？
• RQ2 $\alpha = 1/2$ の場合の $C^{1,\gamma}$ 正則性結果を、すべての $\alpha \in (0,1)$ に拡張できるか？
• RQ3 有界な右辺を有する拡張された退化楕円型問題の解に境界Harnack推定をどのように適用できるか？
• RQ4 Caffarelli-Silvestreの拡張は、非局所自由境界問題の変換と解析に果たす役割は何か？
• RQ5 拡張解 $g$ の $\mathbb{R}^{n+1}_+$ における正則性特性は、元の問題における自由境界の正則性にどのように反映されるか？

主な発見

• 自由境界が単位球内で $\bar{\epsilon}$-平坦であるような、$n$ と $\alpha$ に依存する普遍的な $\bar{\epsilon} > 0$ が存在し、そのとき自由境界は $C^{1,\gamma}$ 正則性を示す。
• 解が平坦性条件 (1.7) を満たす限り、自由境界 $F(g)$ は $n$ と $\alpha$ に依存する $\gamma > 0$ を持つ $C^{1,\gamma}$ 正則性を示す。
• 自由境界における法線微分 $\partial g / \partial t^\alpha$ は適切に定義されており、境界付近での $g$ の漸近展開における主要係数に等しく、境界Harnack推定により制御される。
• 自由境界付近で、$|h(x',x_n,z) - h(x',0,0) - b(x')r| \leq C r^{1+\gamma}$ および $|h_r(x',x_n,z) - b(x')| \leq C r^\gamma$ が成り立ち、ここで $b(x')$ は連続的かつ $C$、$\gamma$ は普遍的である。
• 平行移動不変性と拡張問題への微分推定の適用により、関数 $b(x')$ は接線方向に対して $C^\gamma$ 正則性を示す。
• 証明は、解が同次方程式を満たさない場合でも、有界な右辺を有する方程式に対して境界Harnack推定を適用できるように、バリアの構成と境界Harnack推定の応用に依存している。