[论文解读] Solutions of elliptic equations with a level surface parallel to the boundary: stability of the radial configuration

Giulio Ciraolo, Rolando Magnanini+1 more|arXiv (Cornell University)|Jul 4, 2013

Advanced Mathematical Modeling in Engineering参考文献 11被引用 4

一句话总结

本文为椭圆PDE中的径向对称性建立了定量稳定性结果：若一个正解在靠近边界的一组平行曲面上几乎为常数，则该区域必须近乎径向对称，且偏离球形的程度由该曲面上解的振荡线性控制。证明通过将移动平面法扩展至使用Harnack不等式和改进的边界估计，实现了椭圆情形下的精确定量控制。

ABSTRACT

Positive solutions of homogeneous Dirichlet boundary value problems or initial-value problems for certain elliptic or parabolic equations must be radially symmetric and monotone in the radial direction if just one of their level surfaces is parallel to the boundary of the domain. Here, for the elliptic case, we prove the stability counterpart of that result. In fact, we show that if the solution is almost constant on a surface at a fixed distance from the boundary, then the domain is almost radially symmetric, in the sense that is contained in and contains two concentric balls $B_{r_e}$ and $B_{r_i}$, with the difference $r_e-r_i$ (linearly) controlled by a suitable norm of the deviation of the solution from a constant. The proof relies on and enhances arguments developed in a paper by Aftalion, Busca and Reichel.

研究动机与目标

• 为椭圆边值问题中的径向对称性建立定量稳定性结果。
• 研究当解在靠近边界的一组平行曲面上几乎为常数时，区域必须在多大程度上接近球形。
• 将移动平面法扩展至 torsion 问题的定量稳定性框架。
• 以解在平行曲面上的振荡为变量，提供区域偏离径向对称性的显式线性界。
• 通过增强的Harnack不等式和边界估计，将先前的对数稳定性估计改进为幂律（线性）依赖关系。

提出的方法

• 将移动平面法适应于定量设定，利用子区域中调和函数的Harnack不等式。
• 应用Hopf引理和Serrin角点引理的改进版本，以控制解的梯度和二阶导数。
• 使用Minkowski和构造 Ω = G + B_R，定义一个具有与 ∂Ω 平行的曲面 ∂G 的区域。
• 采用加权函数 w^m = u(x^m) - u(x) 来测量移动平面过程中解的不对称性。
• 推导出一种Harnack型不等式，其解变化的界具有对域大小和曲率的指数依赖关系。
• 引入基于法向导数和 C^2 范数的障碍函数，以解振荡为变量控制到边界的距离。

实验结果

研究问题

• RQ1 当解在靠近边界的平行曲面上几乎为常数时，区域在何种条件下近乎径向对称？
• RQ2 Serrin等人获得的定性径向对称性结果能否被强化为具有显式误差界的定量稳定性估计？
• RQ3 区域偏离球形的程度如何依赖于解在平行曲面上的振荡？
• RQ4 能否将Aftalion、Busca和Reichel获得的对数稳定性估计改进为线性或幂律依赖？
• RQ5 曲率和边界正则性在径向构型稳定性中起何种作用？

主要发现

• 若 [u]_∂G 较小，则区域 Ω 位于两个同心球 B_{r_e} 和 B_{r_i} 之间，且满足 r_e - r_i ≤ C [u]_∂G。
• 常数 C 仅依赖于 N、∂G 的 C^{2,α} 正则性、G 的直径以及 Minkowski 和的半径 R。
• 稳定性估计在解的振荡上为线性关系，优于先前工作中对数依赖关系。
• 证明依赖于Harnack不等式的精细应用以及涉及 u 的 C^2 范数的新障碍估计。
• 该方法具有鲁棒性，可推广至具有局部Lipschitz非线性项的半线性椭圆方程。
• 结果在所有方向上一致成立，允许在 O([u]_∂G) 范围内构造出对称中心。