[论文解读] Symmetry and linear stability in Serrin's overdetermined problem via the stability of the parallel surface problem

Giulio Ciraolo, Rolando Magnanini+1 more|arXiv (Cornell University)|Jan 29, 2015

Nonlinear Partial Differential Equations参考文献 28被引用 3

一句话总结

本文通过将Serrin的过定问题与平行曲面问题的稳定性联系起来，建立了Serrin对称性问题的最优线性稳定性。作者提出一种基于平行曲面上Lipschitz正则性估计的新策略，证明了若边界上法向导数为常数，则区域必为球体，并在$C^{2,\tau}$域中建立了精确的线性稳定性估计。

ABSTRACT

We consider the solution of the problem $$ -Δu=f(u) \ \mbox{ and } \ u>0 \ \ \mbox{ in } \ Ω, \ \ u=0 \ \mbox{ on } \ Γ, $$ where $Ω$ is a bounded domain in $\mathbb{R}^N$ with boundary $Γ$ of class $C^{2,τ}$, $00$, where $r_e$ and $r_i$ are the radii of a spherical annulus containing $Γ$, $Γ^δ$ is a surface parallel to $Γ$ at distance $δ$ and sufficiently close to $Γ$, and $[u]_{Γ^δ}$ is the Lipschitz semi-norm of $u$ on $Γ^δ$; secondly, if in addition $u_ν$ is constant on $Γ$, show that $$ [u]_{Γ^δ}=o(C_δ)\ \mbox{ as } \ δ o 0^+. $$ In this paper, we prove that this strategy is successful. As a by-product of this method, for $C^{2,τ}$-regular domains, we also obtain a linear stability estimate for Serrin's symmetry result. Our result is optimal and greatly improves the similar logarithmic-type estimate of [ABR] and the Hölder estimate of [CMV] that was restricted to convex domains.

研究动机与目标

• 解决[CMS2]中的一个猜想，即Serrin的对称性定理可通过平行曲面问题的稳定性推导得出。
• 在$C^{2,\tau}$正则域中建立Serrin过定问题的线性稳定性估计。
• 通过实现最优线性界，改进先前的对数型和H"older型稳定性估计。
• 通过几何与分析技术，将平行曲面问题的稳定性与Serrin问题的对称性及稳定性联系起来。

提出的方法

• 利用泰勒展开和曲率估计，推导出解$u$在距离$\Gamma$为$\delta$的平行曲面$\Gamma^\delta$上的Lipschitz正则性估计。
• 建立关键不等式(5.1)，将$\Gamma^\delta$上的Lipschitz半范数$[u]_{\Gamma^\delta}$与$\Gamma$和$\Gamma^t$上$u_\nu$及$u_{\nu\nu}$的半范数联系起来。
• 利用$u$的$C^{2,\tau}$正则性，控制$[u_{\nu\nu}]_{\Gamma^t}$在$t \to 0^+$时的衰减速率，确保其可积性。
• 应用定理4.2关于平行曲面稳定性，导出定量的环形包含关系$B_{r_i} \subset \Omega \subset B_{r_e}$，其中$r_e - r_i$由$[u_{\nu\nu}]_{\Gamma^t}$的积分有界。
• 令$\delta \to 0^+$取极限，得到线性稳定性估计$r_e - r_i \leq 2C [u_\nu]_\Gamma$。
• 利用$[u_{\nu\nu}]_{\Gamma^t} = O(t^{\tau-1})$的性质，确保积分项在极限下趋于零，从而在$u_\nu$为常数时推出对称性。

实验结果

研究问题

• RQ1 Serrin的对称性定理是否可通过基于平行曲面问题的稳定性论证推导得出？
• RQ2 在$C^{2,\tau}$域中，Serrin过定问题的最优定量稳定性估计是什么？
• RQ3 解$u$在平行曲面$\Gamma^\delta$上的Lipschitz正则性如何控制区域$\Omega$的几何结构？
• RQ4 能否将稳定性估计从对数型或H"older型界限改进至线性稳定性？
• RQ5 $u$的$C^{2,\tau}$正则性在$[u_{\nu\nu}]_{\Gamma^t}$随$t \to 0^+$衰减过程中起到何种作用？

主要发现

• 作者证实了[CMS2]中的猜想，即Serrin的对称性结果可通过平行曲面问题的稳定性推导得出。
• 建立了精确的线性稳定性估计：$r_e - r_i \leq 2C [u_\nu]_\Gamma$，其中$C$为仅依赖于$N$和$\tau$的绝对常数。
• 该稳定性估计为最优，优于[ABR]中的对数估计和[CMV]中的H"older估计，且后者需凸性条件。
• 该方法使对称性成为稳定性的推论：若$u_\nu$在$\Gamma$上为常数，则$\Omega$必为球体。
• 证明依赖于一个新估计式(5.1)，它将$\Gamma^\delta$上$u$的Lipschitz半范数用$\Gamma$和$\Gamma^t$上法向导数的半范数控制。
• $[u_{\nu\nu}]_{\Gamma^t} = O(t^{\tau-1})$的衰减速率确保积分项在$\delta \to 0^+$时趋于零，从而实现线性界。