Abstract
We formulate and prove a Gelfand-Levitan trace formula for general quantum graphs with arbitrary edge lengths and coupling conditions which cover all self-adjoint operators on quantum graphs, except for a set of measure zero. The formula is reminiscent of the original Gelfand-Levitan result on the segment with Neumann boundary conditions.
Similar content being viewed by others
References
Barcilon, V.: A note on a formula of Gelfand and Levitan. J. Math. Anal. Appl. 48, 43–50 (1974)
Berkolaiko, G., Kuchment, P.: Introduction to Quantum Graphs. Mathematical Surveys and Monographs, vol. 186, p. 270. Providence, AMS (2013)
Bolte, J., Endres, S.: The trace formula for quantum graphs with general self adjoint boundary conditions. Ann. Henri Poincaré 10, 189–223 (2009)
Bolte, J., Endres, S., Rueckriemen, R.: Heat-kernel Asymptotics for Schrödinger Operators on Graphs. Appl. Math. Res. Exp. 2015, 129–165 (2015)
Burckel, R.B.: An Introduction to Classical Complex Analysis, Vol. 1, p. 558. Birkhäuser, Basel (1979). ISBN: 3-7643-0989-X
Carlson, R.: Eigenvalue cluster traces for quantum graphs with equal edge lengths Rocky Mountain. J. Math. 42, 467–490 (2012)
Currie, S., Watson, B.A.: Green’s functions and regularized traces of Sturm-Liouville operators on graphs. Proc. Edinb. Math. Soc. Ser. 2(51), 315–335 (2008)
Dikiĭ, L.A.: On a simple identity for the characteristic values of a differential operator of the second order. Uspehi Matem. Nauk (N.S.) 8, 19–23 (1953). Russian
Estermann, T.: Complex Numbers and Functions, p. 250. Athlone Press, London (1962)
Exner, P., Lipovský, J.: Resonances from perturbations of quantum graphs with rationally related edges. J. Phys. A Math. Theor. 43, 105301 (2010)
Freitas, P., Kennedy, J.B.: Summation formula inequalities for eigenvalues of Schrödinger operators. J. Spectral Theory 6, 483–503 (2016)
Gelfand, I.M., Levitan, B.: On a simple identity for the characteristic values of a differential operator of the second order. Doklady Akad. Nauk SSSR 88, 593–596 (1953). Russian
Halberg, C.J.A., Kramer, V.A.: A generalization of the trace concept. Duke Math. J. 27, 607–617 (1960)
Kottos, T., Smilansky, U.: Periodic orbit theory and spectral statistics for quantum graphs. Ann. Phys. 274, 76–124 (1999)
Kuchment, P.: Quantum graphs: an introduction and a brief survey. In Analysis on Graphs and its Applications. In: Proc. Symp. Pure. Math. AMS, pp. 291–314 (2008)
Nicaise, S.: Spectre des réseaux topologiques finis Bull. Sc. math. 111, 401–413 (1987)
Roth, J.-P.: Spectre du laplacien sur un graphe. C.R. Acad. Sci. Paris 296, 793–795 (1983)
Sadovnichiĭ, V.A., Podol\({\prime }\)skiĭ, V.E., Traces of operators, Uspekhi Mat. Nauk 61, : 89–156; translation in Russian Math. Surveys 61(2006), 885–953 (2006)
Yang, C.-F.: Regularized trace for Sturm-Liouville differential operator on a star-shaped graph. Complex Anal. Oper. Theory 7, 1185–1196 (2013)
Yang, C.-F.: Traces of Sturm-Liouville operators with discontinuities. Inv. Prob. Sci. Eng. 22, 803–813 (2014)
Yang, C.-F., Yang, J.-X.: Large eigenvalues and traces of Sturm-Liouville equations on star-shaped graphs. Methods Appl. Anal. 14, 179–196 (2007)
Yurko, V.: Integral transforms connected with discontinuous boundary value problems. Int. Transf. Special Funct. 10, 141–164 (2000)
Acknowledgements
P.F. was partially supported by the Fundação para a Ciência e a Tecnologia, Portugal, through project UIDB/00208/2020. J.L. was supported by the project “International mobilities for research activities of the University of Hradec Králové” CZ.02.2.69/0.0/0.0/16_027/0008487. J.L. thanks the University of Lisbon for its hospitality during his stay in Lisbon. The authors are grateful to the reviewer for the suggestions which helped to improve the manuscript. Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Proof of Lemma 3.1
First, we prove a version of Lemma 3.1 containing more terms than those used in Sect. 3 – this is already partially given in [22].
Lemma A.1
The functions \(c_{j}\) and \(s_{j}\) defined above satisfy
Proof
For the sake of simplicity we omit the subscript j. Repeatedly substituting \(c_j\) into its defining formula we get
Using the trigonometric formula
we obtain
Finally, using integration by parts we have
where we have used the fact that \(q\in W^{1,1}(e)\). Using this we can write
By similar arguments as before (with the use of integration by parts) the term in the last line and the term \(\frac{1}{4k^2}\int _0^x\int _0^t q(t)q(s)[\cos {(k(x-2t))}\,\mathrm {d}s\mathrm {d}t\) are of order \(\mathrm{o}\left( \frac{\mathrm {e}^{|\mathrm {Im\,}k|x}}{k^2}\right) \). Finally, since
we obtain the formula for c(x, k).
The formulæ for the function s(x, k) and the corresponding derivatives can be derived in a similar way. For \(c'\) we have
For the different particular terms we get
We also briefly show the derivation of formulæ for s and \(s'\).
\(\square \)
Appendix B. Proof of Theorem 4.1
Lemma B.1
On the contour \(\Gamma _N\) defined in Sect. 4 with large enough N satisfying
it holds
where the constant \(K_{\varepsilon }\) depends only on \(\varepsilon \).
Proof
The proof will be similar to the proof of [20, Lemma 2.4]. We will first prove the inequality for the right edge of the square \(\Gamma _N\), i.e. for \(k = N+i \tau \), \(\tau \in (-N,N)\). We know that there exists \(C_\varepsilon >0\) such that \(|\sin {(k\ell _j)}|> C_{\varepsilon }\). We have
and hence
For the upper edge of the square \(k = \sigma +iN\), \(\sigma \in (-N,N)\) we have for sufficiently large N
and hence for N large enough
We have chosen N such that \(\mathrm {e}^{-2N\ell _j}<\frac{1}{2}\). The proof for the other edges of the square \(\Gamma _N\) is similar. \(\square \)
For the sake of completeness we present the symmetric version of Rouché’s theorem (for the proof see e.g. [9, p. 156] or [5, p. 265]).
Theorem B.2
Let f and g be holomorphic functions in the bounded subset V of \(\mathbb {C}\) and continuous at its closure \(\bar{V}\). Let us assume that on the boundary \(\partial V\) of V the following relation holds
Then the functions f and g have the same (finite) number of zeros in V.
Now we can proceed with the proof of Theorem 4.1.
Proof of Theorem 4.1
Since we assume that \(N\not \in \cup _{n\in \mathbb {N}_0} \left( \frac{\displaystyle n\pi }{\displaystyle \ell _i}-\frac{\displaystyle \varepsilon }{\displaystyle \ell _i}, \frac{\displaystyle n\pi }{\displaystyle \ell _i}+\frac{\displaystyle \varepsilon }{\displaystyle \ell _i}\right) \) for each i, we have \(|\sin {(N\ell _i)}|> C_\varepsilon > 0\) with \(C_\varepsilon \) depending only on \(\varepsilon \). We use the Rouché’s theorem with \(f= \varphi (k)\) and \(g = \prod _{i = 1}^d (-k\sin {(k\ell _i)})\).
Using \(\sin (k\ell _j) = \mathrm{O}(\mathrm {e}^{|\mathrm {Im\,}k|\ell _j})\) and a similar relation for the cosinus one can find that the second and further terms in \(\varphi (k)\) belong to \(\mathrm{O}(|k|^{d-1}\mathrm {e}^{|\mathrm {Im\,}k|\sum _{i=1}^d\ell _i})\). On the contour \(\Gamma _N\) we hence have
Using Lemma B.1 we obtain
for |k| large enough and hence the inequality in Theorem B.2 is satisfied which completes the proof. \(\square \)
Appendix C. Complex integration lemma
Lemma C.1
Let us assume a counterclockwise contour \(\gamma _n\) which encircles \(\frac{\displaystyle n\pi }{\displaystyle \ell _i}\) once and does not encircle any other zeros of \(\sin {(k\ell _i)}\). Then
Proof
The lemma can be proven by standard complex analysis techniques, i.e. the residue theorem, see e.g. [5]. \(\square \)
Rights and permissions
About this article
Cite this article
Freitas, P., Lipovský, J. A Gelfand-Levitan trace formula for generic quantum graphs. Anal.Math.Phys. 11, 56 (2021). https://doi.org/10.1007/s13324-021-00487-3
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-021-00487-3