Magnetic Steklov Spectrum

• Magnetic Steklov Spectrum is defined as the set of eigenvalues from the magnetic Dirichlet-to-Neumann map on manifolds, encapsulating the effects of magnetic potentials.
• The theory unites spectral geometry, microlocal analysis, and geometric inverse problems with detailed asymptotic expansions and sharp Weyl-type laws.
• Applications span inverse boundary problems and electromagnetic analysis, focusing on gauge invariance, variational principles, and explicit spectral computations.

The magnetic Steklov spectrum refers to the collection of eigenvalues of the magnetic Dirichlet-to-Neumann (DtN) map, or magnetic Steklov operator, defined on manifolds with boundary and in the presence of a magnetic potential. It generalizes the classical Steklov spectrum by encoding boundary measurements of solutions influenced by a magnetic field, and is of interest both for scalar Laplacian, systems (differential forms), and Maxwell-type operators. The theory interweaves spectral geometry, microlocal analysis, geometric inverse problems, and the study of boundary value problems for partial differential operators with magnetic (and sometimes electric) potentials.

1. Definitions and Basic Setup

Let $(M,g)$ be a smooth compact Riemannian manifold with boundary $\partial M$. A magnetic potential is a real (or purely imaginary in some conventions) $1$-form $A$ or $\eta$ on $M$, and a magnetic Schrödinger operator is constructed as $L_{g,A,q}=d_A^*d_A+q$, with $d_A=d+A$ (or $d+iA$ for real $A$), and $q\in C^{\infty}(M;\mathbb{R})$ an electric potential. For $f\in H^{1/2}(\partial M)$, define $u$ as the unique solution to

$$L_{g,A,q}u=0 \quad \text{in } M, \qquad u|_{\partial M}=f,$$

and the magnetic DtN map (Steklov map) as

$\Lambda_{g,A,q}f=(d_Au)(\nu)|_{\partial M},$

where $\nu$ denotes the outer unit normal. Its spectrum

$$\operatorname{Spec}(\Lambda_{g,A,q})=\{ \sigma_1\leq \sigma_2\leq \dots \}$$

constitutes the magnetic Steklov spectrum for $(M,g,A,q)$ (Cekić et al., 2024, Chakradhar et al., 2024, Liu et al., 2021, Chakradhar et al., 10 Nov 2025).

On differential forms, the theory extends with the magnetic Hodge–de Rham Laplacian $$\Delta^{\eta}=d^{\eta}\delta^{\eta}+\delta^{\eta}d^{\eta}$$, with $d^{\eta}=d+i\eta\wedge$ and $\delta^{\eta}=\delta-i\eta\lrcorner$, and the associated magnetic Steklov operator acts on boundary forms (Chakradhar et al., 10 Nov 2025). For vector fields (Maxwell), the Steklov eigenproblem involves operators such as $$\operatorname{curl}\operatorname{curl}u - a\,u - \epsilon\,\nabla(\operatorname{div} u)$$ with appropriate boundary conditions, and the spectrum is again interpreted as a magnetic Steklov spectrum (Lamberti et al., 2020, Ferraresso et al., 2022, Halla, 2019).

2. Spectral Asymptotics and Symbol Calculus

On surfaces $(M,g)$ with boundary components $\partial M=\bigsqcup_{j=1}^m N_j$, the spectrum splits into $m$ two-sided sequences $\{\lambda_n^{(j)}\}_{n\in\mathbb{Z}}$ with the precise asymptotic expansion

$$\lambda_n^{(j)}=\sum_{k=0}^{\infty} b_k^{(j)}(\operatorname{sgn} n)\,|n|^{1-k} + O(|n|^{-\infty}),$$

where the leading coefficients involve the boundary length $\ell_j$, holonomies $e^{\int_{N_j} A}$, magnetic flux, electric potential, and other jet data along $N_j$ (Cekić et al., 2024). Magnetic fields induce spectral splitting for $n\to\pm\infty$ ("Zeeman effect"), breaking the symmetry present in the non-magnetic case.

The asymptotic expansions of the heat trace

$$\operatorname{Tr}(e^{-t\Lambda_A})\sim \sum_{k=0}^{\infty} a_k\,t^{\frac{k-(n-1)}{2}}$$

admit explicit computations for the initial coefficients $a_0,\ldots,a_3$ in terms of boundary volume, curvature, mean curvature, scalar curvature, magnetic energy density $|dA|^2$, and the electric potential, connecting spectral data to geometric and physical invariants (Liu et al., 2021).

Normal form reductions for first-order elliptic $\Psi^1$-operators on the boundary, coupled with symbol expansions, allow for sharp Weyl-type laws and higher-order corrections that capture precise boundary and magnetic data (Cekić et al., 2024).

3. Inverse Spectral Problems and Boundary Determination

The magnetic Steklov spectrum serves as a source of geometric and topological information. For generic situations on surfaces, the full spectrum can uniquely determine the number and lengths of boundary components, the holonomies (parallel transport, magnetic fluxes), and the jet of $(g,A,q)$ at the boundary (Cekić et al., 2024). The explicit structure of the spectrum—unions of arithmetic progressions up to "close almost bijection"—enables a detailed Diophantine analysis for inverse reconstruction.

For manifolds whose boundary admits an Anosov geodesic flow with simple length spectrum, the magnetic Steklov spectrum determines the full Taylor expansion at the boundary for the magnetic field and electric potential, up to the natural gauge—i.e., up to equivalence under $A\mapsto A + d\phi$ with $\phi:M\to\mathbb{R}$—and for analytic data, global uniqueness is achieved (Ferreira et al., 17 Jan 2026). Trace and refined wave-trace arguments, in the sense of Duistermaat–Guillemin, extract invariants corresponding to averages of the subprincipal symbol over closed geodesics. The spectral rigidity and boundary determination extend the non-magnetic results into the magnetic domain.

Significant non-uniqueness phenomena arise: for the same spectral data, one may have non-isomorphic geometric situations or different numbers of boundary components, due to the behavior of unions of arithmetic progressions ("covering system" phenomena) (Cekić et al., 2024).

4. Explicit Calculations, Variational Principles, and Gauge Invariance

The magnetic Steklov eigenvalues admit min–max characterizations via Rayleigh quotients: $$\sigma_k^{A}(M)=\min_{\substack{V\subset H^1(M),\,\dim V=k}}\max_{0\neq u\in V} \frac{\int_M |d^{A}u|^2}{\int_{\partial M}|u|^2}$$ for the scalar case (Chakradhar et al., 2024, Chakradhar et al., 10 Nov 2025). For forms, analogous principles govern the spectrum.

Certain explicit examples—Euclidean disks and balls with rotational magnetic potentials—yield closed-form spectra, often involving special functions (e.g., associated Laguerre polynomials), and demonstrate that classical spectral bounds (such as diamagnetic inequalities) fail to hold universally in the magnetic case (Chakradhar et al., 2024, Chakradhar et al., 10 Nov 2025). For vector Laplacians and Maxwell operators, the eigenvalue problems become systems, with spectra computed via vector spherical harmonics, Bessel functions, and radial ODE analysis (Ferraresso et al., 2022).

Gauge invariance under $A\mapsto A+d\phi$ is a core feature: the spectrum depends only on the magnetic field $dA$, and not the particular potential. The operators are unitarily equivalent under this transformation (Chakradhar et al., 2024, Chakradhar et al., 10 Nov 2025, Ferreira et al., 17 Jan 2026).

5. Magnetic Steklov Spectrum for Differential Forms and Maxwell Systems

The theory extends to differential forms, where the magnetic Steklov operator acts on $k$-forms via the magnetic de Rham complex. The associated eigenvalue problem features compatible boundary conditions (tangential or normal traces), and the spectrum is discrete and real. Notably, naive analogues of the diamagnetic inequality (monotonicity as a function of the magnetic field) fail: perturbation analysis and explicit computations produce counterexamples in low-dimensional balls (Chakradhar et al., 10 Nov 2025).

In electromagnetic theory, the Steklov-type problems arise for the system $$\operatorname{curl}\operatorname{curl}u - a\,u - \epsilon\,\nabla(\operatorname{div} u)=0$$, with boundary conditions matching the tangential traces of the fields and their curls (normal-curl trace). Spectral theory is developed both via analytic and variational approaches, block-decomposition, and min–max principles (Lamberti et al., 2020, Ferraresso et al., 2022, Halla, 2019).

The electromagnetic Stekloff eigenvalues—of importance in inverse scattering and nondestructive testing—possess an infinite sequence of positive and negative real eigenvalues (accumulating at infinity and zero, respectively) and an essential spectrum at zero (for the self-adjoint case). Block-operator representation and Schur complement arguments underlie the analytic framework (Halla, 2019).

6. Geometric and Variational Features, Extremal Problems, and Applications

The magnetic Steklov spectrum is sensitive to the geometry and flux of potentials, leading to geometric bounds (Cheeger-type, normalization invariants, σ-homotheties), and extremal properties. On annuli, the normalized eigenvalues $\bar{\sigma}_k$ admit sharp upper bounds, and the extremal metrics correspond to special geometric configurations (e.g., "α-surfaces," weighted area-critical and linear Weingarten surfaces, or free-boundary immersions generalizing Fraser–Schoen's critical catenoid) (Provenzano et al., 2023).

For Riemannian balls with Killing-type magnetic potentials, explicit formulas for Steklov eigenvalues provide detailed control over spectral behavior and illustrate, for instance, the failure of magnetic Cheeger-type inequalities as a function of the field (Chakradhar et al., 2024, Chakradhar et al., 10 Nov 2025).

Potential applications include spectral geometry, geometric inverse problems, quantum chaos (via trace formulae and wave invariants), electromagnetic inverse scattering, and the geometric analysis of manifolds with boundary and prescribed flux.

7. Open Questions and Current Directions

Ambiguities in spectral inverse problems caused by magnetic fields, precise limitations of spectral rigidity, and the structure of covering systems in higher-dimensional and non-orientable settings remain areas of active research. Extensions to other structures (e.g., periodic operators, open quantum systems, or spectral geometry of singular spaces) are ongoing. The interplay between trace invariants, microlocal normal forms, and the arithmetic of the spectrum is central to further progress (Cekić et al., 2024, Ferreira et al., 17 Jan 2026).