[论文解读] Geometric regularity estimates for fully nonlinear elliptic equations with free boundaries

J.V. da Silva, Raimundo Leitão+1 more|arXiv (Cornell University)|Aug 11, 2020

Nonlinear Partial Differential Equations参考文献 36被引用 5

一句话总结

本文为具有自由边界的完全非线性椭圆方程的粘性解建立了精确的几何正则性估计，其中解可能在未知区域恒为零（死核）。证明了在最优指数 $ \tilde{\rho} = \frac{\nu}{\nu - 1} $ 下的改进 $ C^{\tilde{\rho}} $ 正则性，其中 $ \nu = \frac{\nu_0}{\nu_0 - 1} $，且 $ \nu_0 = \frac{N(\gamma+1)}{\gamma+2} $，并推导了自由边界的非退化性、孔隙性及 Hausdorff 测度估计，还给出了具有受控增长的整个解的精确 Liouville 型定理。

ABSTRACT

In this manuscript we study geometric regularity estimates for problems driven by fully nonlinear elliptic operators under strong absorption conditions. We establish improved geometric regularity along the free boundary, for a sharp value depending only on structural parameters. Non degeneracy among others measure theoretical properties are also obtained. A sharp Liouville result for entire solutions with controlled growth at infinity is proved. We also present a number of applications consequential of our findings.

研究动机与目标

• 为具有自由边界的完全非线性椭圆方程的粘性解建立改进的几何正则性估计，特别是当解可能在未知区域恒为零（死核）时。
• 分析非负解在自由边界附近的渐近行为，尤其是其退出死核集的速率。
• 推导仅依赖于结构参数（如 $ \nu_0 $、$ \gamma $、$ \mu $）的最优 Hölder 正则性指数 $ \tilde{\rho} $，并证明自由边界的非退化性与测度性质。
• 证明整个解的精确 Liouville 型定理，表明非平凡解在无穷远处必须比 $ |x|^{\frac{\gamma+2}{\gamma+1-\mu}} $ 增长更快，除非恒为零。
• 提供自由边界的完整几何与分析描述，包括孔隙性与 $ (N - \xi) $-Hausdorff 测度估计。

提出的方法

• 使用具有退化/奇异结构的完全非线性椭圆方程的粘性解理论，其控制方程为 $ F(x, Du, D^2u) + |Du|^\gamma \langle \mathfrak{b}(x), Du \rangle = f(u)\chi_{\{u>0\}} $。
• 对 $ F $ 应用 $ (\lambda, \Lambda, \gamma) $-椭圆性与 $ \gamma $-齐次性条件，确保对算子的结构控制。
• 构造显式的径向上解 $ v(x) = \Theta \cdot (|x - x_0| - r_0)_+^{\frac{\gamma+2}{\gamma+1-\mu}} $，用于与解比较，从而推导非退化性与增长估计。
• 应用比较原理与屏障方法，控制解在自由边界点附近及无穷远处的行为。
• 利用孔隙性与测度论工具（参见 [34]）推导出自由边界具有零 $ N $-维 Lebesgue 测度且为孔隙集。
• 推导出最优正则性指数 $ \tilde{\rho} = \frac{\nu}{\nu - 1} $，其中 $ \nu = \frac{\nu_0}{\nu_0 - 1} $，且 $ \nu_0 $ 依赖于 $ \gamma $、$ \mu $ 与 $ N $，以量化改进的 Hölder 正则性。

实验结果

研究问题

• RQ1 非负粘性解在退化/奇异完全非线性椭圆方程中，其退出死核区域的精确速率是什么？
• RQ2 解沿自由边界 $ \partial\{u > 0\} \cap \Omega $ 的最优 Hölder 正则性指数 $ \tilde{\rho} $ 是什么？它如何依赖于结构参数？
• RQ3 自由边界的几何性质（如孔隙性与 Hausdorff 测度）如何从 PDE 结构与解的行为中自然产生？
• RQ4 能否为具有受控增长的整个解建立精确的 Liouville 型定理？其精确增长阈值是什么？
• RQ5 在何种条件下自由边界具有零 Lebesgue 测度？可推导出哪些测度论性质？

主要发现

• 非退化性成立：对任意 $ x_0 \in \overline{\{u > 0\}} \cap B_{1/2} $，有 $ \sup_{B_r(x_0)} u \geq C_\sharp \cdot r^{\frac{\gamma+2}{\gamma+1-\mu}} $，其中 $ C_\sharp $ 仅依赖于 $ N, \Lambda, \inf \lambda_0, \gamma, \mu $。
• 在自由边界上建立了改进的正则性：对 $ X \in \{u > 0\} \cap B_{r_0}(Y_0) $，有 $ u(X) \leq C^\sharp \cdot \text{dist}(X, \partial\{u > 0\})^{\tilde{\rho}} $，其中 $ \tilde{\rho} = \frac{\nu}{\nu - 1} $，$ \nu = \frac{\nu_0}{\nu_0 - 1} $，且 $ \nu_0 = \frac{N(\gamma+1)}{\gamma+2} $。
• 自由边界 $ \partial\{u > 0\} \cap \Omega' $ 具有孔隙性，孔隙度为 $ \epsilon/2 $，意味着其为零 $ N $-维 Lebesgue 测度集。
• 自由边界具有有限的 $ (N - \xi) $-Hausdorff 测度（$ \xi > 0 $），该结论由孔隙性与已知测度论结果导出。
• 精确的 Liouville 定理成立：若整个解 $ u $ 在 $ \mathbb{R}^N $ 上满足 $ \sup_{\partial B_{s_0}} u / s_0^{\frac{\gamma+2}{\gamma+1-\mu}} \leq c \Theta $（$ c $ 足够小），则除非其增长快于 $ |x|^{\frac{\gamma+2}{\gamma+1-\mu}} $，否则必恒为零。
• 常数 $ \Theta(N, \Lambda, \lambda_0, \gamma, \mu) = \left[ \inf \lambda_0 \cdot \frac{(\gamma+1-\mu)^{\gamma+2}}{N\Lambda(\mu+1)(\gamma+2)^{\gamma+1}} \right]^{1/(\gamma+1-\mu)} $ 为最优，且由径向解 $ u(x) = \Theta (|x| - r_0)_+^{\frac{\gamma+2}{\gamma+1-\mu}} $ 达到等号。