Geometric properties of optimizers for the maximum gradient of the torsion function
Abstract
Consider $J(Ω):= \|\nabla u_Ω\|_\infty/\sqrt{|Ω|} $ and $J_P(Ω):= \|\nabla u_Ω\|_\infty/P(Ω) $, where $Ω$ is a planar convex domain, $u_Ω$ is the torsion function, $P(Ω)$ is the perimeter of $Ω$ and $|Ω|$ its area. We prove that there exist planar convex domains that maximize the functionals $J$ and $J_P$, and any maximizer has a $C^1$ boundary that contains a line segment on which $|\nabla u_Ω|$ attains its maximum.