Preprint
Inserted: 8 oct 2025
Last Updated: 8 oct 2025
Year: 2025
Abstract:
In this paper we consider the scale invariant shape functional \[{\mathcal{F}}_{p,q}(\Omega)=\frac{\lambda_p^{1/p}(\Omega)}{\lambda_q^{1/q}(\Omega)},\] where $1\le q<p\le+\infty$ and $\lambda_p(\Omega)$ (respectively $\lambda_q(\Omega)$) is the first eigenvalue of the $p$-Laplacian $-\Delta_p$ (respectively $-\Delta_q$) with Dirichlet boundary condition on $\partial\Omega$. We study both the maximization and minimization problems for ${\mathcal{F}}_{p,q}$, and show the existence of optimal domains in ${\mathbb{R}}^d$, along with some of their qualitative properties. Surprisingly, the case of a bounded box $D$ constraint \[\max\Big\{\lambda_q(\Omega)\ :\ \Omega\subset D,\ \lambda_p(\Omega)=1\Big\},\] leads to a problem of different nature, for which the existence of a solution is shown by analyzing optimal capacitary measures. In the last section we list some interesting questions that, in our opinion, deserve to be investigated.
Keywords: $p$-Laplacian, shape optimization, Cheeger constant, principal eigenvalue
Download: