Monotonicity conjecture for the first Dirichlet eigenvalue of parallel bodies

Let ΩKn\Omega\in\mathcal{K}^n be a convex body, let r(Ω)r(\Omega) denote its inradius, and write Ωt=ΩtB1\Omega_t=\Omega\oplus tB_1 for its parallel body. Let λ1(Ω)\lambda_1(\Omega) be the first Dirichlet eigenvalue of the Laplacian on Ω\Omega, and let uΩu_\Omega be its first normalized eigenfunction. Monotonicity conjecture. For every ΩKn\Omega\in\mathcal{K}^n, the function

tΩt2nλ1(Ωt)t\longmapsto |\Omega_t|^{\frac{2}{n}}\lambda_1(\Omega_t)

is monotonically decreasing on (r(Ω),+)(-r(\Omega),+\infty). As a consequence,

1P(Ω)ΩuΩ2dHn12n1ΩΩuΩ2dHn,\frac{1}{P(\Omega)}\int_{\partial\Omega}|\nabla u_\Omega|^2d\mathcal{H}^{n-1}\ge \frac{2}{n}\cdot\frac{1}{|\Omega|}\int_{\Omega}|\nabla u_\Omega|^2d\mathcal{H}^n,

with equality if and only if Ω\Omega is a tangential body. Numerical simulations suggest that this analogue of the Cheeger-constant monotonicity theorem may hold, but the source provides no proof or resolution.

Sources & referencesView supporting material

Primary source

Ilias Ftouhi, “The monotonicity of the Cheeger constant for parallel bodies”, arXiv:2412.20917 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.