Hessian degeneracy of the torsion function on smooth simply connected nonconvex planar domains

Abstract

We construct a family of bounded, smooth, simply connected, nonconvex planar domains $Ω_{a,ε}$. Let $u_{a,ε}$ be the corresponding torsion function satisfying \[ -Δu_{a,ε}=1\quad\text{in }Ω_{a,ε},\qquad u_{a,ε}=0\quad\text{on }\partialΩ_{a,ε}. \] There exists \(a^*\in(0,1)\) such that, for every \(a\in(a^*,1)\) and all sufficiently small \(ε>0\), the origin is a unique global maximizer of $u_{a,ε}$. Moreover, \[ \lim_{a\downarrow a^*}\lim_{ε\to0} λ_{\max}\bigl(D^2u_{a,ε}(0)\bigr)=0. \] In addition, the ratios $\text{diam}(Ω_{a,ε}) / \text{inrad}(Ω_{a,ε})$ are uniformly bounded. Hence the Hessian estimate proved by Steinerberger (J. Funct. Anal. 274, 1611--1630, 2018) for convex planar domains cannot be extended to smooth, simply connected, nonconvex planar domains. \vskip0.2cm Our domains are star-shaped, symmetric with respect to both coordinate axes and convex in the horizontal direction. When the limiting slit is sufficiently long, we further show that certain superlevel sets of the torsion function are not star-shaped. This strengthens the counterexample to the star-shapedness question raised by Gladiali and Grossi (Amer. J. Math. 144, 1221--1240, 2022) under stronger geometric assumptions.

Disclosure

“tional Key R&D Program (No. 2023YFA1010002) and the National Natural Science Foundation of China (Grant No. 12422106). Data availability statement: No data were generated or analyzed in this study. AI assistance statement: The authors used OpenAI tools solely for language polishing and editorial assistance. The authors independently verified all mathematical arguments, references, and conclusions and take full responsibility for the content.”

PDF page 24

Classification

Proof ideas or individual proof-step assistance

Multiplier

8

Verified

2026-08-23T19:07:50.216662Z

Structural counts