Szegő-Weinberger type inequalities for symmetric domains with holes

Abstract

Let ${\mu }_2(\Omega )$ be the first positive eigenvalue of the Neumann Laplacian in a bounded domain $\Omega \subset {\mathbb{R}}^N$. It was proved by Szegő for $N=2$ and by Weinberger for $N\ge 2$ that among all equimeasurable domains ${\mu }_2(\Omega )$ attains its global maximum if $\Omega$ is a ball. In the present work, we develop the approach of Weinberger in two directions. Firstly, we refine the Szegő-Weinberger result for a class of domains of the form ${\Omega }_{\text{out}}\setminus {\overline{\Omega }}_{\text{in}}$ which are either centrally symmetric or symmetric of order $2$ (with respect to every coordinate plane $(x_i,x_j)$) by showing that ${\mu }_2({\Omega }_{\text{out}}\setminus {\overline{\Omega }}_{\text{in}})\le {\mu }_2(B_{\beta }\setminus {\overline{B}}_{\alpha })$, where $B_{\alpha },B_{\beta }$ are balls centered at the origin such that $B_{\alpha }\subset {\Omega }_{\text{in}}$ and $|{\Omega }_{\text{out}}\setminus {\overline{\Omega }}_{\text{in}}|=|B_{\beta }\setminus {\overline{B}}_{\alpha }|$. Secondly, we provide Szegő-Weinberger type inequalities for higher eigenvalues by imposing additional symmetry assumptions on the domain. Namely, if ${\Omega }_{\text{out}}\setminus {\overline{\Omega }}_{\text{in}}$ is symmetric of order $4$, then we prove ${\mu }_i({\Omega }_{\text{out}}\setminus {\overline{\Omega }}_{\text{in}})\le {\mu }_i(B_{\beta }\setminus {\overline{B}}_{\alpha })$ for $i=3,\dots ,N+2$, where we also allow ${\Omega }_{\text{in}}$ and $B_{\alpha }$ to be empty. If $N=2$ and the domain is symmetric of order $8$, then the latter inequality persists for $i=5$. Counterexamples to the obtained inequalities for domains outside of the considered symmetry classes are given. The existence and properties of nonradial domains with required symmetries in higher dimensions are discussed. As an auxiliary result, we obtain the non-radiality of the eigenfunctions associated to ${\mu }_{N+2}(B_{\beta }\setminus {\overline{B}}_{\alpha })$.

35 pages, 4 figures. A few references added, Remark 1.8 split into two, Remarks 2 and 5 of Section 6 updated, minor textual corrections incorporated according to referees' suggestions. Accepted to SIAM Journal on Mathematical Analysis

Cited by in corpus (1)

• Optimal Shapes for the First Dirichlet Eigenvalue of the $p$-Laplacian and Dihedral symmetry