[论文解读] Fractional elliptic equations, Caccioppoli estimates and regularity

Luis Caffarelli, Pablo Raúl Stinga|arXiv (Cornell University)|Sep 26, 2014

Nonlinear Partial Differential Equations参考文献 22被引用 13

一句话总结

该论文为有界 Lipschitz 域中的散度型椭圆算子 $ L = -\operatorname{div}(A(x)\nabla_x) $ 的分数阶幂 $ L^s $（$ 0 < s < 1 $）建立了内部和边界上的 Schauder 正则性估计，采用 Caccioppoli 估计、半群方法和扩展问题。论文证明了解的 Hölder 正则性和 Zygmund 正则性，其依赖于系数、数据和区域边界边界的光滑性，对基本解和积分微分表示给出了精确估计。

ABSTRACT

Let $L=-\operatorname{div}_x(A(x) abla_x)$ be a uniformly elliptic operator in divergence form in a bounded domain $Ω$. We consider the fractional nonlocal equations $$\begin{cases} L^su=f,&amp;\hbox{in}~Ω,\\ u=0,&amp;\hbox{on}~\partialΩ, \end{cases}\quad \hbox{and}\quad \begin{cases} L^su=f,&amp;\hbox{in}~Ω,\\ \partial_Au=0,&amp;\hbox{on}~\partialΩ. \end{cases}$$ Here $L^s$, $0

研究动机与目标

• 为分数阶非局部方程 $ L^s u = f $，$ 0 < s < 1 $ 建立正则性理论，其中 $ L $ 是散度形式下的强椭圆算子。
• 在 Dirichlet 和 Neumann 边界条件下，建立解的内部和边界 Hölder 正则性。
• 推导出作为正则性结果核心分析工具的精确 Caccioppoli 型估计。
• 刻画 $ L^s $ 的基本解和核，证明当 $ n \neq 2s $ 时 $ G_s(x,z) \sim |x-z|^{-(n-2s)} $。
• 通过扩展问题和半群语言，将 Littman–Stampacchia–Weinberger 的经典理论推广至非局部分数阶算子。

提出的方法

• 使用半群语言，通过公式 $ L^s u(x) = \frac{1}{\Gamma(-s)} \int_0^\infty \left( e^{-tL}u(x) - u(x) \right) \frac{dt}{t^{1+s}} $ 定义分数阶幂 $ L^s u $。
• 应用扩展问题，将 $ L^s u $ 表示为 $ \Omega \times (0,\infty) $ 上具有权 $ y^a $ 的退化椭圆方程的 Dirichlet-to-Neumann 映射。
• 推导 $ \langle L^s u, \psi \rangle $ 的积分微分公式，涉及核 $ K_s(x,z) $ 和 $ B_s(x) $，以捕捉非局部相互作用。
• 为扩展问题建立 Caccioppoli 估计，从而支持紧致性和逼近论证。
• 对 Neumann 问题使用偶对称反射，将非局部 Neumann 问题转化为 $ \mathbb{R}^n $ 上的局部问题，利用对称性。
• 通过在扩展空间中逼近调和函数，再从扩展问题逐步提升至原问题，证明正则性。

实验结果

研究问题

• RQ1 Schauder 正则性估计对 $ L^s u = f $ 如何依赖于系数矩阵 $ A(x) $、右端项 $ f $ 和区域边界 $ \partial\Omega $ 的光滑性？
• RQ2 分数阶算子 $ L^s $ 的基本解 $ G_s(x,z) $ 的精确行为是什么？其与经典奇性 $ |x-z|^{-(n-2s)} $ 的关系如何？
• RQ3 非局部算子 $ L^s $ 是否能通过涉及核 $ K_s(x,z) $ 的积分微分公式表示？该核具有哪些性质？
• RQ4 涉及 $ \Omega \times (0,\infty) $ 上退化椭圆方程的 $ L^s $ 扩展问题如何促进正则性和边界行为的分析？
• RQ5 Dirichlet 问题的正则性结果在多大程度上可推广至 Neumann 问题？反射原理在此情况下起到什么作用？

主要发现

• 当 $ f \in C^{0,\alpha}(\overline{\Omega}) $ 时，$ \Omega $ 中满足 Dirichlet 边界条件的方程 $ L^s u = f $ 的解 $ u $ 满足 $ \|u\|_{C^{0,\alpha+2s}(\overline{\Omega})} \leq C\left( \,\|u\|_{L^\infty(\Omega)} + \|f\|_{C^{0,\alpha}(\overline{\Omega})} \right) $，前提是 $ \alpha + 2s < 1 $。
• 当 $ 1 < \alpha + 2s < 2 $ 时，解 $ u $ 属于 $ C^{1,\alpha+2s-1}(\overline{\Omega}) $，并有相应的范数估计。
• 当 $ f \in L^\infty(\Omega) $ 时，若 $ 2s = 1 $，解 $ u $ 属于 Zygmund 空间 $ \Lambda_* $；若 $ 0 < 2s < 1 $，则 $ u \in C^{0,2s}(\overline{\Omega}) $，其范数估计依赖于 $ \|u\|_{L^\infty} $ 和 $ \|f\|_{L^\infty} $。
• 基本解 $ G_s(x,z) $ 满足当 $ n \neq 2s $ 时 $ G_s(x,z) \sim |x-z|^{-(n-2s)} $，当 $ n = 2s $ 时为对数估计，确认了预期的标度行为。
• 积分微分表示为 $ \langle L^s u, \psi \rangle = \int_\Omega \int_\Omega (u(x)-u(z))(\psi(x)-\psi(z)) K_s(x,z) \, dx\,dz + \int_\Omega u(x)\psi(x) B_s(x) \, dx $，并给出了显式的核估计。
• 对于 Neumann 问题，当 $ \int_\Omega f \, dx = 0 $ 时，$ L_N^s u = f $ 的解 $ u $ 满足类似的正则性估计，包括当 $ 0 < 2s < 1 $ 时 $ u \in C^{0,2s}(\overline{\Omega}) $，且反射原理可将问题约化至整个空间。