Sharp bounds and geometric properties of the first non trivial Steklov Neumann Eigenvalue

1. Problem Statement

The paper investigates the mixed Steklov–Neumann eigenvalue problem on doubly connected domains (domains with a single hole) in $\mathbb{R}^n$ and on Riemannian manifolds.

The problem is defined as follows: Let $\Omega \subset M$ be a bounded doubly connected domain with boundary $\partial \Omega = \Gamma_1 \cup \Gamma_2$, where $\Gamma_1$ and $\Gamma_2$ are disjoint. The eigenvalue problem for the Laplacian is:
$$\begin{cases} \Delta u = 0 & \text{in } \Omega, \\ \frac{\partial u}{\partial \nu} = 0 & \text{on } \Gamma_1 \quad (\text{Neumann condition}), \\ \frac{\partial u}{\partial \nu} = \mu u & \text{on } \Gamma_2 \quad (\text{Steklov condition}), \end{cases}$$
where $\nu$ is the outward unit normal. The spectrum is discrete: $0 = \mu_0 < \mu_1 \le \mu_2 \le \dots$. The paper focuses on the first non-trivial eigenvalue, $\mu_1(\Omega)$, and its corresponding eigenfunctions.

The authors address four main open questions regarding this problem:

1. Shape Optimization: Which configuration of an annulus (eccentric vs. concentric) maximizes $\mu_1$?
2. Geometric Bounds: Can $\mu_1$ be bounded for general star-shaped domains with holes?
3. Asymptotic Behavior: How does $\mu_1$ behave as the radius of the inner hole shrinks to zero?
4. Nodal Structure: How many nodal domains do the eigenfunctions corresponding to $\mu_1$ possess?

---

2. Methodology

The authors employ a combination of variational methods, symmetry arguments, comparison principles, and asymptotic analysis.

• Variational Characterization: The eigenvalue $\mu_1$ is characterized via the Rayleigh quotient:
  $$\mu_1(\Omega) = \inf \left\{ \frac{\int_\Omega |\nabla u|^2 dV}{\int_{\Gamma_2} u^2 dS} : u \in H^1(\Omega), \int_{\Gamma_2} u dS = 0 \right\}.$$
  The proofs rely heavily on constructing specific test functions to establish upper and lower bounds.

• Symmetry and Rearrangement: For the eccentric annulus problem, the authors utilize the explicit eigenfunctions of the concentric case (involving spherical harmonics) as test functions for the eccentric case. They employ integral inequalities involving the distance from the center to the boundary to show that the concentric configuration yields the maximum eigenvalue.

• Geometric Comparison (Star-shaped Domains): For general star-shaped domains in manifolds with revolution metrics, the authors compare the domain $\tilde{\Omega}$ to concentric geodesic annuli $B_{R_m} \setminus B_{R_1}$ and $B_{R_M} \setminus B_{R_1}$, where $R_m$ and $R_M$ are the minimum and maximum radial distances from the center to the boundary. They use polar coordinates and properties of the metric $g = dr^2 + h^2(r)g_{S^{n-1}}$ to derive inequalities.

• Harmonic Extension and Compactness: For the asymptotic analysis (hole shrinking), the authors extend eigenfunctions defined on the punctured domain $\Omega_r = \Omega_{out} \setminus B_r$ harmonically into the hole $B_r$. They utilize Lemma 5.1 to control the $L^2$-norm of the gradient of this extension as $r \to 0$, proving that the energy contribution of the hole vanishes.

• Nodal Domain Analysis: The proof for the number of nodal domains uses a contradiction argument involving the construction of a test function from linear combinations of eigenfunctions restricted to nodal domains, leveraging the orthogonality to the constant function.

---

3. Key Contributions and Results

A. Optimality of Concentric Annuli (Theorem 1.1)

• Result: Among all doubly connected domains formed by two balls $B_{R_2}(d) \setminus B_{R_1}$ (where the inner ball is shifted by distance $d$), the concentric annulus ($d=0$) maximizes the first non-zero Steklov–Neumann eigenvalue.
• Significance: This extends classical extremal results known for Dirichlet and Steklov-Dirichlet problems to the mixed Steklov-Neumann setting, confirming that symmetry is the optimal configuration even with mixed boundary conditions.

B. Bounds for Star-Shaped Domains (Theorem 1.2)

• Result: For a star-shaped domain $\tilde{\Omega}$ in a hypersurface of revolution, bounded by an inner hole $B_{R_1}$, the eigenvalue is bounded by:
  $$C_1 \mu_1(B_{R_m} \setminus B_{R_1}) \le \mu_1(\tilde{\Omega}) \le C_2 \mu_1(B_{R_M} \setminus B_{R_1})$$
  where $R_m$ and $R_M$ are the inscribed and circumscribed radii of the outer boundary, and $C_1, C_2$ are explicit constants depending on the metric and radii.
• Significance: This provides quantitative control of the eigenvalue based on the "roundness" of the domain, extending isoperimetric-type inequalities to the Steklov-Neumann case.
• Counterexample: The authors demonstrate (Proposition 4.3) that the star-shaped assumption is necessary; for non-star-shaped "dumbbell" domains, $\mu_1$ can approach zero arbitrarily, showing the lack of a universal lower bound without geometric constraints.

C. Asymptotic Behavior as Hole Shrinks (Theorem 1.3)

• Result: As the radius $r$ of a spherical hole in a bounded domain $\Omega_{out}$ approaches zero, the first non-zero Steklov–Neumann eigenvalue converges to the first non-trivial Steklov eigenvalue of the unpunctured domain:
  $$\lim_{r \to 0} \mu_1(\Omega_{out} \setminus B_r) = \sigma_1(\Omega_{out}).$$
  Furthermore, the eigenfunctions converge strongly in $H^1$.
• Significance: This bridges the gap between perforated domain problems and classical Steklov problems. It implies that for sufficiently small holes, the mixed problem behaves like the pure Steklov problem on the outer boundary.

D. Isoperimetric Inequalities for Small Holes (Corollaries 5.1 & 5.2)

• Result: Based on the asymptotic convergence, the authors derive that for small holes, the eigenvalue $\mu_1(\Omega_r)$ is bounded by the eigenvalue of a concentric annulus with the same volume (Corollary 5.1) or perimeter (Corollary 5.2).
  • Volume Constraint: $\mu_1(\Omega_r) \le \mu_1(A_{r, R_M})$ (Brock inequality analog).
  • Perimeter Constraint: $\mu_1(\Omega_r) \le \mu_1(A_{r, R_P})$ (Weinstock inequality analog).
• Significance: These results generalize classical isoperimetric inequalities to domains with small perforations.

E. Nodal Domains (Theorem 1.4)

• Result: The eigenfunctions corresponding to $\mu_1(\Omega)$ on a bounded doubly connected domain have exactly two nodal domains.
• Significance: This contrasts with the Steklov-Dirichlet case, where the nodal set is constrained by the inner boundary. The Neumann condition on the inner hole allows the nodal line to be a simple hypersurface (like $x_i=0$ in the radial case) that does not necessarily intersect the inner boundary, resulting in a topological structure identical to the first eigenfunction of the Laplacian on a simply connected domain.

---

4. Significance and Impact

This paper makes several fundamental contributions to spectral geometry and partial differential equations:

1. Completeness of Mixed Boundary Problems: It fills a gap in the literature regarding the Steklov–Neumann problem, which has been less studied than Dirichlet or Steklov-Dirichlet problems. It establishes that symmetry (concentricity) remains the optimal shape for maximization.
2. Geometric Stability: The asymptotic results provide a rigorous justification for approximating perforated domains by their unpunctured counterparts in the limit of vanishing holes, which is crucial for applications in homogenization and material science.
3. Nodal Topology: The characterization of nodal domains (exactly two) clarifies the topological behavior of mixed boundary eigenfunctions, distinguishing them from Dirichlet cases where the topology of the hole forces more complex nodal structures.
4. Generalization: The results extend known inequalities (Weinstock, Brock) to the mixed setting and to Riemannian manifolds with revolution metrics, broadening the applicability of these spectral bounds.

In summary, the paper provides a comprehensive analysis of the first non-trivial Steklov-Neumann eigenvalue, establishing sharp bounds, optimal shapes, asymptotic limits, and topological properties of the associated eigenfunctions.