Search arXivSearch

arXiv · 2504.00182

Spectral properties of canonical systems: discreteness and distribution of eigenvalues

Abstract

In this survey paper we review classical results and recent progress about a certain topic in the spectral theory of two-dimensional canonical systems. Namely, we consider the questions whether the spectrum $σ$ is discrete, and if it is, what is its density. Here we measure density by the growth of the counting function of $σ$ in the sense of integrability or $\limsup$-conditions relative to suitable comparison functions. These questions have been around for many years. However, full answers have been obtained only very recently -- in partly still unpublished work. The way we measure density of eigenvalues must be clearly distinguished from spectral asymptotics, where one asks for an asymptotic expansion of eigenvalues. We explicitly and on purpose do not go into this direction and do not present any results about spectral asymptotics. We understand this survey as a focussed presentation of results revolving around the initially stated questions, and not as an exhaustive account on the literature which is in the one or other way related to the area. It does not contain any proofs, but we do comment on proof methods. The theorems we present are very diverse. They rely on different methods from operator theory, complex analysis, and classical analysis, and beautifully invoke the interplay between these areas. Besides the fundamental theorems solving the problem and several selected additions, we decided to include a number of results devoted to the spectral theory of Jacobi matrices, in other words, to the Hamburger moment problem. The connection between the theories of canonical systems and moment problems gives rise to important new insights, yet seems to be less widely known than other connections, e.g., with Krein-Feller or Schrödinger operators. We compile all necessary prerequisites from the general theory to make the exposition as self-contained as possible. It is our aim that this survey can be read and enjoyed by a broad community, including non-specialist readers.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jakob Reiffenstein, Harald Woracek. 2025-03-31. Spectral properties of canonical systems: discreteness and distribution of eigenvalues. https://arxiv.org/abs/2504.00182

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Schrödinger operators with accretive potentials in weighted spaces

We analyse Schrödinger operators with accretive potentials in weighted spaces. We find conditions on potentials and weights for which the Dirichlet realisation, introduced by generalised form methods, has non-empty resolvent set. We establish a domain and graph norm separation property, as well as sufficient conditions for the compactness and Schatten class of the resolvent. Moreover, we investigate the relation between discrete spectra and eigenfunctions of operators in standard and weighted spaces. As applications we extend results on the completeness of eigensystems of operators with accretive potentials from standard to weighted spaces and analyse operator matrices exhibiting a Schur dominance property, in particular, related to a wave equation with strong accretive damping.

math.SP

Eisenstein scattering and Plancherel decomposition on cuspidal Bruhat-Tits quotients

For arithmetic quotients of Bruhat--Tits trees with finitely many cusps, we establish an explicit unitary correspondence between the spherical Eisenstein transform, with the Eisenstein series normalized by their constant terms, and the scattering transform of an associated Jacobi operator with finite core. Tracking the Haar measure, stabilizer weights, height coordinates, and cusp widths yields the Plancherel measure and shows that the absolutely continuous spectrum has multiplicity equal to the number of cusps. From a discrete Green identity we derive a matrix-valued Maass--Selberg formula for the Hermitian matrix $iS(θ)^*\partial_θS(θ)$, where $S(θ)$ is the scattering matrix. Its trace is determined by $\det S(θ)$, while the full matrix retains additional cusp-to-cusp information. After the corresponding change of normalization, the finite Schur complement obtained by eliminating the cusp rays agrees with the resonance matrix of Arends-Peterson-Weich. Using their resonance computations as input, we distinguish eigenvalues supported entirely in the finite core from poles of the scattering matrix. The Nagao and $Γ_0(T)$ quotients, together with a four-cusp quotient arising from an elliptic curve over $\mathbb F_3$, make the normalizations and matrix-valued conclusions explicit.

math.SP

Spectral projectors of bisectorial Clifford operators and applications to the generalized gradient

We consider right-linear operators $T$ on a right Hilbert module $V$ over the Clifford algebra R_n, whose S-spectrum lies in an acute double sector. For these bisectorial operators, we introduce spectral projectors P_\pm associated with the two cones of the double sector. They decompose the Hilbert module into two submodules V=V_++V_-, and the bisectorial operator T into two sectorial operators T|_\pm. A crucial but non-trivial, cornerstone in this theory is the boundedness of the projectors P_\pm, which is, in turn connected to a bounded H^\infty-functional calculus of the operator T. We provide two practical criteria: either the squared operator admits a bounded H^\infty-functional calculus, or the operator is m-accretive. Finally, we apply these results to the gradient operator \nabla_a with nonconstant coefficients. For the particular gradient with constant coefficients, we are even able to derive explicit representations of the submodules V_\pm and the projectors P_\pm in Fourier space. Moreover, we identify the sign of the gradient operator with the Clifford-Hilbert transform. This sign plays a central role in the fractional powers of vector operators, which are used, for instance, in the non-local Fourier law of heat propagation.

math.SP