AI 中文总结
研究狄利克雷扰动下塞林问题在平面凸域类中的情况，通过构造环域等方法，得到凸域\(\Omega_k\)在\(O(\Omega_k)\to０\)或\(A(\Omega_k)\to0\)时收敛到圆盘的结论，给出相关最优不等式，结合多种机制和定理完成证明。
AI 中文摘要
在早期工作中，我们提出了狄利克雷扰动下塞林超定问题的稳定性问题，并证明在\(n\geq3\)维时答案是否定的。本文解决了平面凸域类中的该问题，得到了一个无任何先验几何非退化的尖锐定量理论。设\(u_\Omega\)满足相关方程，定义\(O(\Omega)\)。构造固定面积且\(O(\Omega_k)\to0\)且远离圆盘的环域，表明二维中凸性至关重要。对于凸的\(\Omega_k\subset\mathbb{R}^2\)，\(|\Omega_k|=\pi\)且\(O(\Omega_k)\to0\)，\(\Omega_k\)在豪斯多夫距离下收敛到单位圆盘。还给出了相关不等式且线性阶最优。证明结合了多种新机制和定理。同时研究了较弱亏量\(A(\Omega)\)，在平面凸域类中，\(A(\Omega_k)\to0\)也迫使收敛到圆盘，并给出了相应不等式。
英文摘要
In earlier work [21], we posed a stability question for Serrin's overdetermined problem under Dirichlet perturbations and proved that the answer is negative in dimensions $n\ge3$. Here we resolve the question in the planar convex class and obtain a sharp quantitative theory without any a priori geometric nondegeneracy. Let $u_Ω$ solve \[ -Δu_Ω=1\ \text{in }Ω,\qquad \partial_νu_Ω=-\frac{|Ω|}{P(Ω)}\ \text{on }\partialΩ, \qquad \int_{\partialΩ}u_Ω\,dσ=0, \] and set $O(Ω):=\text{osc}_{\partial Ω}u_Ω$. We construct fixed-area annuli with $O(Ω_k)\to0$ that remain far from every disk, showing that convexity is essential in dimension two. By contrast, if $Ω_k\subset\mathbb R^2$ are convex, $|Ω_k|=π$, and $O(Ω_k)\to0$, then, up to translations, $Ω_k$ converges in Hausdorff distance to the unit disk. Moreover, \[ R_Ω-r_Ω+\inf_{z\in\mathbb R^2}d_H(Ω,B_1(z)) \le C\,O(Ω) \] for all planar convex $Ω$ with $|Ω|=π$ and sufficiently small $O(Ω)$, and the linear order is optimal. The proof combines a new mechanism excluding long-thin degeneration, the rough-domain Serrin rigidity theorem of Figalli--Zhang, new tangential-gradient and linear boundary-growth estimates, a boundary $P$-function estimate, and the reverse-Serrin identity of Magnanini--Molinarolo--Poggesi. We also study the weaker deficit \[ A(Ω):=\frac1{P(Ω)}\int_{\partialΩ}u_Ω,dσ-\min_{\partialΩ}u_Ω. \] In the planar convex class, $A(Ω_k)\to0$ still forces convergence to a disk, and \[ R_Ω-r_Ω+\inf_z d_H(Ω,B_1(z)) \le C A(Ω)^{2/3} \] for $|Ω|=π$ and sufficiently small $A(Ω)$.
