[Paper Review] Trace formulae for Schrodinger operators on metric graphs with applications to recovering matching conditions

Yulia Yu. Ershova, Alexander V. Kiselev|arXiv (Cornell University)|Mar 29, 2014

Spectral Theory in Mathematical Physics23 references3 citations

TL;DR

This paper derives trace formulae for Schrödinger operators on finite compact metric graphs with δ-type matching conditions, using asymptotic expansions of the Weyl-Titchmarsh M-function. It establishes that if two such operators have identical spectra (counting multiplicities), then their coupling constants must be equal—providing a uniqueness result for recovering matching conditions from spectral data.

ABSTRACT

The paper is a continuation of the study started in \cite{Yorzh1}. Schrodinger operators on finite compact metric graphs are considered under the assumption that the matching conditions at the graph vertices are of $δ$ type. Either an infinite series of trace formulae (provided that edge potentials are infinitely smooth) or a finite number of such formulae (in the cases of $L_1$ and $C^M$ edge potentials) are obtained which link together two different quantum graphs under the assumption that their spectra coincide. Applications are given to the problem of recovering matching conditions for a quantum graph based on its spectrum.

Motivation & Objective

• To address the inverse spectral problem of recovering matching conditions for quantum graphs from their spectra.
• To extend previous results on graph Laplacians to Schrödinger operators with general edge potentials.
• To establish trace formulae linking two Schrödinger operators on the same graph when their spectra coincide.
• To investigate the role of edge potential smoothness in determining the number of available trace formulae.
• To prove uniqueness of coupling constants under spectral equivalence for δ-type matching conditions.

Proposed method

• Utilizes the theory of boundary triples and generalized Weyl-Titchmarsh M-functions for Schrödinger operators on metric graphs.
• Derives asymptotic expansions of the M-function at minus infinity, capturing spectral information up to order M for C^M or L1 potentials.
• Constructs trace formulae by equating logarithmic expansions of determinants of M-functions for two operators with identical spectra.
• Relies on the fact that the first two terms of the M-function asymptotics are independent of edge potentials, isolating coupling constant dependence.
• Applies the method to both δ-type and δ′-type matching conditions, with the latter treated analogously.
• Uses the vanishing of coefficients in the asymptotic expansion of the logarithm of the determinant ratio to derive trace identities.

Experimental results

Research questions

• RQ1 Can trace formulae be derived for Schrödinger operators on metric graphs with δ-type matching conditions when edge potentials are not necessarily smooth?
• RQ2 How does the smoothness of edge potentials affect the number of available trace formulae linking two operators with identical spectra?
• RQ3 Is it possible to uniquely recover the coupling constants at vertices from the spectrum of a Schrödinger operator on a finite metric graph?
• RQ4 To what extent do the asymptotics of the M-function encode information about matching conditions independently of edge potentials?
• RQ5 Can the approach based on boundary triples and M-function asymptotics be extended to δ′-type matching conditions with similar uniqueness results?

Key findings

• An infinite series of trace formulae is derived for infinitely smooth edge potentials, linking two Schrödinger operators on the same graph if their spectra coincide.
• For L1 or C^M edge potentials, only a finite number of trace formulae are available, with the number increasing with the smoothness of the potentials.
• The first trace formula (s=1) reduces to a sum over vertex degrees weighted by coupling constants, mirroring results for graph Laplacians.
• When all coupling constants are equal across vertices, the equality of spectra implies equality of coupling constants: if σ(A_α̃) = σ(A_α), then α̃ = α.
• The result holds even when the edge potentials of the two operators differ, since the first two asymptotic terms of the M-function are independent of potentials.
• A similar uniqueness result is established for δ′-type matching conditions, showing that equal spectra imply equal coupling constants under the same assumptions.