Serrin's Problem under Dirichlet Perturbations: Geometric Compactness and Sharp Planar Stability

Abstract

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\ge 3$. Here we resolve the question in the planar convex class and obtain a sharp quantitative theory without any a priori geometric nondegeneracy. Let $u_{\hat{I}}\text{c◯}$ solve \[ -Δu_Ω=1\ \text{in }Ω,\qquad \partial_νu_Ω=-\frac{|Ω|}{P(Ω)}\ \text{on }\partialΩ, \qquad \int_{\partialΩ}u_Ω\,dσ=0, \] and set $O(\hat{I}\text{c◯}):={\text{osc}}_{\partial \hat{I}\text{c◯}}{u}_{\hat{I}}\text{c◯}$. We construct fixed-area annuli with $O(\hat{I}{\text{c◯}}_k)\to 0$ that remain far from every disk, showing that convexity is essential in dimension two. By contrast, if $\hat{I}{\text{c◯}}_k\subset {\mathbb{R}}^2$ are convex, $|\hat{I}{\text{c◯}}_k|=\ddot{I}€$, and $O(\hat{I}{\text{c◯}}_k)\to 0$, then, up to translations, $\hat{I}{\text{c◯}}_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 $\hat{I}\text{c◯}$ with $|\hat{I}\text{c◯}|=\ddot{I}€$ and sufficiently small $O(\hat{I}\text{c◯})$, 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(\hat{I}{\text{c◯}}_k)\to 0$ still forces convergence to a disk, and \[ R_Ω-r_Ω+\inf_z d_H(Ω,B_1(z)) \le C A(Ω)^{2/3} \] for $|\hat{I}\text{c◯}|=\ddot{I}€$ and sufficiently small $A(\hat{I}\text{c◯})$.

Topics & keywords