[论文解读] 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$ 的一相问题中平坦自由边界的 $C^{1,\beta}$ 正则性，将先前针对 $\alpha = 1/2$ 情况的结果推广至一般情形。通过 Caffarelli-Silvestre 扩展，将非局部问题转化为高一维空间中的局部退化椭圆问题，作者利用边界哈纳克估计与加权索伯列夫正则性技术，在适当的平坦性假设下证明了平坦自由边界是光滑的。

ABSTRACT

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

研究动机与目标

• 建立由分数阶拉普拉斯算子 $(-\Delta)^\alpha$（其中 $0 < \alpha < 1$）控制的一相问题中自由边界的正则性。
• 将已知的 $\alpha = 1/2$ 情况下的 $C^{1,\beta}$ 正则性结果推广至所有 $\alpha \in (0,1)$。
• 利用 Caffarelli-Silvestre 扩展分析自由边界在平坦点附近的结构，将非局部问题转化为 $\mathbb{R}^{n+1}_+$ 中的局部退化椭圆问题。
• 证明具有平坦自由边界的黏性解为 $C^{1,\gamma}$ 正则，其中 Hölder 指数 $\gamma$ 依赖于 $n$ 和 $\alpha$。
• 建立扩展问题中具有有界右端项的解的边界哈纳克估计的有效性，从而控制自由边界附近的爆破行为。

提出的方法

• 通过 Caffarelli-Silvestre 扩展，将非局部分数阶拉普拉斯问题转化为 $\mathbb{R}^{n+1}_+$ 中的局部退化椭圆问题，其中 $(-\Delta)^\alpha u = -d_\alpha \lim_{z \to 0^+} z^{1-2\alpha} \partial_z g$。
• 处理在 $\mathbb{R}^{n+1}_+$ 中满足 $\text{div}(z^{\beta} \nabla g) = 0$（其中 $\beta = 1 - 2\alpha$）的扩展函数 $g$，并研究满足 $\partial g / \partial t^\alpha = 1$ 的自由边界 $F(g)$。
• 利用边界哈纳克原理比较自由边界附近的解，表明解 $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$）的一相问题的自由边界为 $C^{1,\gamma}$ 正则？
• RQ2 是否可将 $\alpha = 1/2$ 情况下的 $C^{1,\gamma}$ 正则性结果推广至所有 $\alpha \in (0,1)$？
• RQ3 边界哈纳克估计如何应用于具有有界右端项的扩展退化椭圆问题的解？
• RQ4 Caffarelli-Silvestre 扩展在转化与分析非局部自由边界问题中起到何种作用？
• RQ5 扩展解 $g$ 在 $\mathbb{R}^{n+1}_+$ 中的正则性特性如何反映原始问题中自由边界的正则性？

主要发现

• 存在一个与 $n$ 和 $\alpha$ 有关的通用常数 $\bar{\epsilon} > 0$，使得若自由边界在单位球内为 $\bar{\epsilon}$-平坦，则其为 $C^{1,\gamma}$ 正则。
• 在解满足平坦性条件 (1.7) 的前提下，自由边界 $F(g)$ 为 $C^{1,\gamma}$ 正则，其中 $\gamma > 0$ 依赖于 $n$ 和 $\alpha$。
• 在自由边界处，法向导数 $\partial g / \partial t^\alpha$ 定义良好，且等于 $g$ 在边界附近渐近展开中的首项系数，该系数通过边界哈纳克估计得到控制。
• 在自由边界附近，扩展解 $g$ 满足 $|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$ 正则。
• 证明依赖于障碍构造与具有有界右端项方程的边界哈纳克估计，即使解不满足齐次方程，该方法依然有效。