The Lipschitz continuity of Neumann eigenvalues on convex domains (Q1772570): Difference between revisions

The author considers the (negative) Laplacian in a bounded \(n\)-dimensional convex domain \(\Omega\) with the origin contained in \(\Omega\). Then \(\Omega\) can be representated with the aid of spherical coordinates in the form \[ \Omega= \{ (r,\omega): 0 \leq r < f(\omega), \omega \in \mathbb{S}^{n-1} \}. \] It can be shown that \(f\) is Lipschitz continuous. Let \(\{\mu_{k}\}_{k \in {\mathbb N}}\) be the increasing sequence of eigenvalues of the Neumann problem. The main result of the paper is the estimate \[ |\mu_{k}(\Omega_f)-\mu_{k}(\Omega_g)| \leq C \|f-g\|_\infty \tag{1} \] of the \(k\)-th eigenvalue on the domain, where \(f\) and \(g\) are the functions related to the convex domains \(\Omega_f\) and \(\Omega_g\), where the constant \(C\) depends on geometric properties of the domains. For the Dirichlet problem this result is easy to obtain from the known domain monotonicity of the eigenvalues which does not hold in general for the Neumann problem. As an application of (1) the problem of maximizing \(\mu_{k}(\Omega)\) with respect to all convex domains \(\Omega\) having the same volume is solvable. The proof relies on the fact that the functions \(f_k, k \in \mathbb{N}\) belonging to an extremizing sequence of domains is bounded and uniform Lipschitz continuous allowing the application of the Arzela-Ascoli theorem.