---
title: Steklov Spectrum in Riemannian Geometry
url: https://www.emergentmind.com/topics/steklov-spectrum
type: topic
---

# Steklov Spectrum in Riemannian Geometry

The Steklov spectrum is the set of eigenvalues arising from the Steklov boundary value problem on a compact Riemannian manifold with boundary, and encodes deep geometric and analytic properties of the underlying manifold and its boundary. The Steklov problem, originally formulated for the Laplace operator, prescribes the spectral parameter in the boundary condition rather than in the interior, distinguishing its spectral behavior from the more classic Dirichlet and Neumann problems. Over the past two decades, research has advanced the understanding of the Steklov spectrum in spectral geometry, geometric analysis, and inverse problems, with major contributions encompassing sharp asymptotics, boundary and topological invariants, isoperimetric inequalities, stability under perturbation, and inverse determination results.

## 1. Formulation and Basic Spectral Properties

Given a smooth compact Riemannian manifold (or orbifold) $(M, g)$ with nonempty boundary $\partial M$, the classical Steklov eigenvalue problem seeks nontrivial $u$:
\[
\begin{cases}
\Delta_g u = 0 & \text{in } M, \\
\partial_\nu u = \sigma u & \text{on } \partial M,
\end{cases}
\]
where $\Delta_g$ is the Laplace–Beltrami operator and $\partial_\nu$ is the outward normal derivative. The spectrum $\{ \sigma_j \}$ is discrete, real, and nonnegative:
\[
0 = \sigma_0 < \sigma_1 \leq \sigma_2 \leq \cdots \to +\infty.
\]
Equivalently, $\sigma$ is a Steklov eigenvalue if there exists a nonzero solution $u$ so that the boundary value problem above is satisfied. The Dirichlet–to–Neumann (DN) map $\Lambda_g: H^{1/2}(\partial M) \to H^{-1/2}(\partial M)$ is defined by $\Lambda_g(f) = \partial_\nu u|_{\partial M}$, where $u$ is harmonic with $u|_{\partial M} = f$; its spectrum coincides with the set of Steklov eigenvalues.

The DN operator is a self-adjoint, positive, first-order elliptic pseudodifferential operator on $\partial M$, and admits a min–max variational characterization:
\[
\sigma_k = \min_{E \subset H^1(M), \dim E = k+1} \sup_{0 \neq u \in E} \frac{\int_M |\nabla u|^2 \, dV_g}{\int_{\partial M} u^2 \, dS_g}.
\]
The Steklov spectrum also generalizes naturally to problems for Maxwell’s equations and other boundary conditions [2206.00505].

## 2. Spectral Asymptotics and Invariants

### Weyl Law and Sharpened Asymptotics

The counting function $N(\sigma) = \#\{j: \sigma_j \le \sigma\}$ satisfies the Weyl law:
\[
N(\sigma) = \frac{\operatorname{Vol}(B^{n-1}) \, \operatorname{Vol}(\partial M)}{(2\pi)^{n-1}} \sigma^{n-1} + O(\sigma^{n-2}),
\]
where $B^{n-1}$ is the unit $(n-1)$-ball. In two dimensions, the spectral sequence is $O(j^{-\infty})$-close to a multiset determined by boundary component lengths [1311.5533]:
\[
\sigma_j = S(\{a_1,\ldots,a_k\})_j + O(j^{-\infty}),
\]
where $a_i = \frac{2\pi}{L_i}$ and $L_i$ are the boundary lengths.

Boundary lengths and the number of boundary components are thus complete Steklov spectral invariants for smooth surfaces. In higher dimensions, only the total boundary measure and not finer topological invariants are spectrally determined [1311.5533, 1411.6567].

### Heat Trace Invariants

The heat trace asymptotics for the semigroup $\exp(-t \Lambda_g)$ yield local invariants on $\partial M$:
\[
\operatorname{Tr} e^{-t\Lambda_g} \sim (4\pi t)^{-(n-1)/2} \sum_{j=0}^{\infty} A_j t^{j/2},
\]
where $A_0 = \operatorname{Vol}(\partial M)$, $A_1 = \frac{1}{4} \int_{\partial M} H \, dS$, and further $A_j$ involve curvature and its derivatives [1304.7233]. These coefficients appear in the nonlocal inverse spectral problem and in rigidity results for balls [1304.7233].

## 3. Conformal Geometry, Moduli, and Spectral Extremals

### Maximization and Minimization under Conformal Variations

For a compact surface $\Sigma$ with boundary, the normalized Steklov eigenvalues $\bar \sigma_k(\Sigma, g) = \sigma_k(\Sigma, g) \cdot L_g(\partial \Sigma)$ are invariant under homotheties. The supremum over all metrics in a conformal class $c$ is denoted $\sigma_k^*(\Sigma, c) = \sup_{g' \in c} \bar\sigma_k(\Sigma, g')$.

Degenerations in conformal moduli correspond to pinching geodesics or boundary components; the limit of $\sigma_k^*(\Sigma, c_n)$ splits as a sum over Steklov spectra on components and disks, following a precise partition of $k$ [2004.13776]. Friedlander–Nadirashvili–type invariants,
\[
I_k(\Sigma) = \inf_c \sigma_k^*(\Sigma, c),
\]
are shown to satisfy $I_k(\Sigma) = 2\pi k$ for all compact surfaces with boundary, orientable or not.

Upper bounds on $\bar \sigma_k(\Sigma, g)$ for orientable $\Sigma$ of genus $\gamma$ with $l$ boundary components satisfy
\[
\bar \sigma_k(\Sigma, g) \leq 2\pi k (\gamma + l),
\]
with an explicit extension to non-orientable surfaces [2004.13776].

### Conformal and Boundary-Rigidity

In dimension $n \geq 3$, under the assumption that the boundary metric has Anosov geodesic flow with simple length spectrum, the Steklov spectrum determines the full boundary jet (i.e., all normal derivatives at the boundary) of the conformal factor [2501.15535]. In the real analytic setting, isospectrality within the conformal class implies equality of the metrics. Extended to Schrödinger operators, the boundary jet of the potential is likewise spectrally determined.

These results use deep microlocal techniques: wave trace invariants (Duistermaat–Guillemin singularities), X-ray transform injectivity, and Livšic rigidity for Anosov flows.

## 4. Boundary and Topological Detection

### Polygonal and Orbisurface Cases

In the planar setting, for convex polygons, the full Steklov spectrum determines almost all triangles uniquely (admissible case: no angle is an odd rational multiple of $\pi$), with explicit finite bounds for non-congruent isospectral polygons [2604.18977, 2408.01529]. For regular $n$-gons, spectral determination holds within the class of all polygons. Distinction from smoothly bounded planar domains is achieved via the so-called characteristic polynomial of the domain, constructed from spectral data.

For two-dimensional Riemannian orbifolds, the Steklov spectrum determines the number of smooth and singular (reflector) boundary components and their lengths modulo a finite equivalence relation; for type II (reflector) boundaries with distinct lengths, all are spectrally determined [1609.05142]. The Steklov spectrum does not detect interior singularities or the orbifold Euler characteristic in dimension two, nor does it always distinguish between certain geometric types (e.g., a flat disk vs. cone).

### Determination of the Warping Factor

For Riemannian warped products of the form $M = (0,1] \times S^{d-1}$ with metric $g = c^4(r)(dr^2 + r^2 g_s)$, the Steklov spectrum determines the warping function $c(r)$ uniquely. Logarithmic stability results hold for small perturbations of the spectrum [1812.07235]. The high-frequency asymptotics reconstruct the Taylor expansion of the warping factor at the boundary.

## 5. Quantitative Spectral Inequalities and Shape Optimization

### Isoperimetric and Geometric Inequalities

On any bounded domain in a manifold $N$ conformal to a non-negatively Ricci curved metric, the normalized eigenvalues are controlled in terms of the isoperimetric ratio:
\[
\bar \sigma_k(\Omega) \leq \frac{\gamma(n)}{\mathcal I(\Omega)^{(n-1)/n} \, k^{2/(n+1)}},
\]
with $\mathcal I(\Omega) = \frac{|\partial \Omega|}{|\Omega|^{n/(n+1)}}$ [1103.2863]. In dimension $2$, the isoperimetric ratio is absent, yielding saturation purely via topological complexity (genus, number of boundary components).

In three dimensions and above, there now exist examples of metrics with fixed boundary metric and fixed volume for which the first nonzero Steklov eigenvalue tends to infinity, constructed via warped product geometry [2403.08925].

### Discretization, Stability, and Domain Perturbation

The Steklov spectrum is spectrally stable under compactly convergent domain perturbations with control on perimeter and boundary regularity [2103.04991]. For geometric discretizations of Riemannian manifolds with bounded geometry, the Steklov spectrum of the discretized graph with boundary can be compared multiplicatively with that of the manifold, enabling construction of surfaces with large Steklov gaps and other extremal phenomena [1612.07665].

## 6. Inverse Spectral Problems and Spectral Rigidity

### Inverse Results and Spectral Invariants

- Zeta-invariants $Z_k(a)$ computed from the Steklov spectrum on the unit disk, defined via higher traces and depending on the Fourier coefficients of the boundary weight, are complete isospectral invariants and invariant under the boundary conformal group [1404.2117].
- For domains with Anosov boundary, knowledge of the Steklov spectrum determines analytic conformal factors and boundary jets, establishing rigidity under these dynamical and regularity assumptions [2501.15535].

### Open Problems and Extensions

Current questions involve fine behavior on nonsmooth domains, the spectral determination for higher eigenvalues and disconnected boundaries in higher dimensions, the isospectral compactness up to conformal reparametrization, positivity of higher zeta-invariants, and characterizing the geometric data encoded in further heat invariants. For the generalized Steklov–Helmholtz operator $(-\Delta - \mu^2)$, new computational techniques such as the BIO-MOD discretization have enabled high-precision shape optimization and the study of nontrivial extremals under spectral constraints [2509.07249].

## 7. Tables: Key Steklov Properties and Results

| Aspect                  | Statement / Result                                                                              | Reference          |
|-------------------------|-------------------------------------------------------------------------------------------------|--------------------|
| Mean curvature invariant| $A_1 = \frac{1}{4}\int_{\partial M} H \, dS$ appears as first heat coefficient                  | [1304.7233]        |
| Asymptotic for $k$-th eigenvalue ($n=2$) | $\sigma_{2j - 1} = \sigma_{2j} = (2\pi/L)j + O(j^{-\infty})$ for boundary length $L$  | [1311.5533]        |
| Conformal minimum      | $\inf_c \sigma_k^*(\Sigma, c) = 2\pi k$ for all surfaces with boundary                         | [2004.13776]       |
| Isoperimetric bound ($n=2$) | $\bar \sigma_k(\Sigma) \leq C\lfloor (\gamma + 3)/2 \rfloor k$                             | [1103.2863]        |
| Polygonal uniqueness (generic triangles) | Steklov spectrum uniquely determines triangle, except for finite exceptions           | [2604.18977]       |
| Polygon vs. smooth domain | No convex triangle or quadrilateral shares Steklov spectrum with a smooth domain                | [2604.18977]       |
| Warped product uniqueness | Steklov spectrum determines warping function $c(r)$ for $(0,1]\times S^{d-1}$                  | [1812.07235]       |
| Inverse via X-ray + trace | Steklov spectrum rigid under analytic, Anosov dynamical hypotheses                             | [2501.15535]       |

## References

- [1311.5533]: "The Steklov spectrum of surfaces: asymptotics and invariants"
- [1304.7233]: "Heat invariants of the Steklov problem"
- [1411.6567]: "Spectral geometry of the Steklov problem"
- [2004.13776]: "Degenerating sequences of conformal classes and the conformal Steklov spectrum"
- [2501.15535]: "Steklov isospectrality of conformal metrics"
- [2604.18977]: "The Steklov spectrum of convex polygonal domains II"
- [2408.01529]: "The Steklov spectrum of convex polygonal domains I"
- [1812.07235]: "Stability in the inverse Steklov problem on warped product Riemannian manifolds"
- [1103.2863]: "Isoperimetric control of the Steklov spectrum"
- [1612.07665]: "The Steklov spectrum and coarse discretizations of manifolds with boundary"
- [1404.2117]: "Zeta-invariants of the Steklov spectrum for a planar domain"
- [2403.08925]: "Large Steklov eigenvalues under volume constraints"
- [2509.07249]: "The spectrum of the Steklov-Helmholtz operator"
- [2206.00505]: "On a Steklov spectrum in Electromagnetics"
- [2103.04991]: "Spectral stability of the Steklov problem"
- [1609.05142]: "Spectral geometry of the Steklov problem on orbifolds"

Source: https://www.emergentmind.com/topics/steklov-spectrum