Abstract
We continue to derive results in the spirit of classical Ambartsumian Theorem 14.1. In the first part we use heat kernel technique to show that a Schrödinger operator is isospectral to a Laplacian only if the potential is zero. This part is rather technical but does not require any a priori knowledge of heat kernel semigroups. In the second part the theory of almost periodic functions is used to obtain uniqueness results for Laplace and Schrödinger operators.
You have full access to this open access chapter, Download chapter PDF
We continue to derive results in the spirit of classical Ambartsumian Theorem 14.1. In the first part we use heat kernel technique to show that a Schrödinger operator is isospectral to a Laplacian only if the potential is zero. This part is rather technical but does not require any a priori knowledge of heat kernel semigroups. In the second part the theory of almost periodic functions is used to obtain uniqueness results for Laplace and Schrödinger operators.
15.1 Ambartsumian-Type Theorem by Davies
Our goal in this section is to prove that among all standard Schrödinger operators on a metric graph, only the operator with zero potential has the same spectrum as the Laplacian. In other words, the zero potential is unique among all other potentials if one just looks at the spectrum of a quantum graph. In the case where the metric graph is just an interval, this fact is the classical Ambartsumian theorem, but the graphs considered in this section are arbitrary finite compact metric graphs. We are going to assume that such a graph is fixed. In our presentation we are going to follow the proof by E.B. Davies [155], but we adapt it to the case of quantum graphs. The original proof goes as follows: it is first shown that the statement holds under rather general assumptions, then it is shown that the assumptions hold for quantum graphs with standard vertex conditions. Adapting the proof we managed to simplify some arguments and no deep knowledge of the heat kernel approach to spectral theory [154] will be required.
15.1.1 On a Sufficient Condition for the Potential to Be Zero
If you examine the proof of the classical Ambartsumian theorem (Theorem 14.1) you will see that the crucial point is to show that the potential has average value zero. For a single interval this follows from explicit spectral asymptotics. For arbitrary compact graphs this fact follows from the asymptotic analysis of the heat kernel as \( t \rightarrow 0. \) Therefore let us first show that proving that the average value of the potential is zero is enough to obtain an Ambartsumian-type theorem.
Theorem 15.1
If
and
then \( q \) is equal to zero almost everywhere.
Proof
Let us use \( u (x) \equiv 1 \) as a trial function for the quadratic form
Inequality (15.1) implies that \( Q(1,1) \geq 0 \) and hence
which in combination with (15.2) implies
Therefore \( u(x) \equiv 1 \) is not only the eigenfunction of the standard Laplacian on \( \Gamma \) but also an eigenfunction of \( L_q^{\mathrm {st}} (\Gamma ) \) since the lowest eigenvalue of the Schrödinger operator is simple. Hence, on every edge \( u(x) \equiv 1 \) satisfies the differential equation
implying
almost everywhere. □
15.1.2 Laplacian Heat Kernel
Our goal in this subsection is to study properties of the heat kernel associated with the standard Laplacian on a finite compact metric graph \( \Gamma . \) The heat kernel \( H_\Gamma (t,x,y) \) is defined as the kernel of the integral operator solving the heat equation
In the case where all eigenfunctions \( \psi _n \) of \( L_q^{\mathrm {st}} \) and eigenvalues \( \lambda _n \) are known, the solution can be presented as an absolutely converging series
leading to an explicit formula for the Heat kernel
Note that the complex conjugation is not needed if the eigenfunctions can be chosen real, for example in the case of standard vertex conditions considered here.
We first study the heat kernel for single interval \( [-a,a] \) with Dirichlet boundary conditions imposed at the endpoints and use obtained estimates to analyse Laplacian heat kernel’s behaviour for small times.
15.1.2.1 Heat Kernel for the Dirichlet Laplacian on an Interval
Consider the operator \( L^{\mathrm {D}} (-a,a). \) We are interested in the corresponding heat kernel. To obtain an explicit formula we use the eigenfunction expansion for the Dirichlet Laplacian. The normalised eigenfunctions and eigenvalues are
The heat kernel is given by (15.5)
The kernel is a positive continuous function on \( (0, \infty ) \times [-a,a] \times [-a,a]. \)
In what follows we shall need an estimate for \( \int _{-a}^a H_{[-a,a]} (t, 0, x) dx .\)
Lemma 15.2
The heat kernel \( H_{[-a,a]} (t, 0, x) \) for the Dirichlet Laplacian on \( [-a,a]\) satisfies the integral estimate Footnote 1
Proof
We start by calculating explicitly
and integrating
All formulas depend on \( t/a^2\), hence we can put \( a=1 \) for a while and substitute \( t \) with \( t/a^2 \) at the final stage. Using this convention the formula for the integral is modified as
To calculate the series we are going to use Poisson summation formula
where \( \hat {f} \) is the Fourier transform of \( f. \) Consider first an auxiliary function
To calculate its Fourier transform \( \hat {g} (k) \) we note that \( g \) is essentially a product of two functions
with explicit formulas for their Fourier transforms
Taking convolution we get
To calculate the series (15.8) consider the function
implying
and modify Poisson summation formula (15.9) as
Then the integral of the heat kernel is given by
Using Gaußian integral \( 1 = \frac {2}{\sqrt {\pi }} \int _0^\infty e^{-s^2} ds \) we obtain
We are getting immediately the upper estimate, since every term in the series on the right hand side is positive:
This estimate can also be obtained by noting that
since the heat kernel is monotone with respect to the domain.
The lower estimate can be obtained with different precisions, for example we may use just the first integral in the series
□
Lemma 15.2 will allow us to show an explicit two-sided estimate for \( H_{[-1,1]} (t, 0, 0). \) A series representation for this function follows directly from (15.6)
and in particular
where \( \vartheta \) is the Elliptic Theta function.Footnote 2 It does not help to take the Fourier transform and use Poisson summation formula since the Fourier transform of the Gaussian kernel is a Gaussian kernel.
Lemma 15.3
The heat kernel \( H_{[-a,a]} (t, 0, x) \) for the Dirichlet Laplacian on \( [-a,a]\) satisfies the estimate Footnote 3
Proof
The estimate is tight for small \( t \), which can be illustrated by Fig. 15.1.
To prove the estimate we again use the approach developed in [155]. First of all we need the following identity for the heat kernel, which can easily be proven for any compact domain \( \Omega \) with the eigenfunctions \( \psi _n \) of the Dirichlet Laplacian:
where the integral is taken over the domain. We use the standard formula (15.5) for the heat kernel implying
Consider the following two positive functions
so that
for all \( x \in \mathbb R \) and \( \int _{\mathbb R} g(x) dx = 1. \) Using formula (15.11) we get
where we used (15.7) on the last step. It remains to make a substitution of \(2t \) with \(t \) leading to the second estimate in (15.10). □
Lemma 15.3 implies that the heat kernel on the interval has a singularity like \( \frac {1}{\sqrt {4 \pi t}}. \) Moreover, the two-sided estimates (15.10) allows one to conclude that the following limit exists and calculate it
since \( \lim _{t \rightarrow 0 } \frac {16}{\sqrt {\pi t}} e^{-1/(2t)} = 0. \)
15.1.2.2 Heat Kernel for the Standard Laplacian on the Graph
We accomplish this section by proving that the limit (15.12) holds for the standard Laplacian on a metric graph for almost all points. More precisely, the set of exceptional points, where the limit may be violated, coincides with the set of vertices.
Lemma 15.4
Let \( [-a.a] \) be an interval on one of the edges on a finite compact metric graph \( \Gamma . \) Then the heat kernels \( H_{[-a,a]} (t,x,y) \) for the Dirichlet Laplacian on \( [-a,a] \) and \( H_\Gamma (t,x,y) \) for the standard Laplacian on \( \Gamma \) restricted to the interval \( [-a,a] \) satisfy the estimate:
Proof
Consider the graph \( \Gamma \cup _{-a,a} \Gamma \) obtained from \( \Gamma \cup \Gamma \) by joining pairwise the endpoints of the intervals \( [-a,a] \) on both graphs (see Fig. 15.2). We impose standard vertex conditions. The graph is invariant under the symmetry transformation \( \tau \) mapping the same points \( x \) and \( x' \) on the two copies of \( \Gamma \) onto each other:
The two copies of \( \Gamma \) as subsets of \( \Gamma \cup _{-a,a} \Gamma \) will be denoted by \( \Gamma \) and \( \Gamma '. \)
Consider the corresponding heat kernel \( H_{\Gamma \cup _{-a,a} \Gamma } (t,x,y), \) which of course is positive, since the composite graph is a metric graph with standard vertex conditions at the vertices. Hence the solution to the heat equation on \( \Gamma \cup _{-a,a} \Gamma \) is given by
where \( u_0 \) is the initial profile (15.3).
The following identities hold for the heat kernels:
To see this consider first the heat flow with the even initial profile \( u_0 (x) = u_0(\tau x). \) The corresponding solution remains even and therefore restricted to \( \Gamma \) coincides with the heat flow on the original graph \( \Gamma \) with the initial data \( u_0 (x), \; x \in \Gamma . \) To get the heat kernel associated with the Dirichlet operator on \( [-a,a] \) consider the heat flow with the odd initial profile \( u_0 (x) = - u_0(\tau x). \) The heat flow remains odd and therefore satisfies Dirichlet conditions at the contact vertices between \( \Gamma \) and \( \Gamma '. \)
Taking into account that all kernels appearing in (15.14) are positive we conclude that
and inequality (15.13) is proven. □
Our next step is to prove an upper estimate for the Laplacian heat kernel. We show first that the order of the singularity cannot be higher than those of the heat kernel for Laplacian on the line.
Lemma 15.5
The heat kernel \( H_\Gamma (t,x,y) \) for the standard Laplacian on a metric finite compact graph \( \Gamma \) satisfies the upper estimate
where \( C \) is a certain constant depending on the graph.
Proof
We use the spectral decomposition for the standard Laplacian on \( \Gamma \) and explicit representation for the heat kernel (15.5) leading to
We use the fact that the normalised eigenfunctions of the standard Laplacian are uniformly bounded (11.37)
where \( c \) is independent of \( x \) and \( n \), and the lower estimate for the eigenvalues
to get
![](http://media.springernature.com/lw307/springer-static/image/chp%3A10.1007%2F978-3-662-67872-5_15/MediaObjects/329100_1_En_15_Equag_HTML.png)
where the constant \( C \) can be chosen equal to
□
Note that the constant \( C \) appearing in the proof of the lemma is far from being optimal, but it was not our goal to obtain the best constant. On the other hand it is very important to understand that the constant is in general different from \( \frac {1}{\sqrt {4 \pi }} \) (appearing in the estimate for the heat kernel for the Dirichlet Laplacian on an interval). For example the heat kernel for the Neumann Laplacian on the interval \( [-1,1] \) is given by the infinite series obtained by reflecting the point \( y \) with respect to the boundary points \( -1 \) and 1
and does not satisfy the upper estimate with the free heat kernel.
The obtained upper estimate is enough to prove that \( \sqrt {t} H_\Gamma (t, x,x) \) tends to \( 1/{\sqrt {4 \pi }} \) for almost any \( x. \)
Lemma 15.6
Let \( \Gamma \) be a finite compact metric graph with the vertex set \( {\mathbf {V}}= \cup _{m=1}^M V^m . \) Then for any \( z \in \Gamma \setminus {\mathbf {V}}\) the following limit holds
Proof (Following [155])
Consider any point \( x \in \Gamma \setminus {\mathbf {V}} \) and let \( a \) be its half-distance to the nearest vertex. Let us introduce the positive functions
where we consider the interval \( [x-a, x+a] \) as a subset of \( \Gamma . \) Estimate (15.13) implies that
Moreover, conservation of heat implies
Let \( u(t,x) \) be a solution to the heat equation on \( \Gamma \), then it holds
![](http://media.springernature.com/lw371/springer-static/image/chp%3A10.1007%2F978-3-662-67872-5_15/MediaObjects/329100_1_En_15_Equam_HTML.png)
due to standard conditions at the vertices. More precisely we use just Kirchhoff conditions. Taking into account (15.7) we obtain
Moreover with the help of the identity (15.11) we get
where we used (15.15) for \( x=y \) and just proven integral inequality. Taking into account that \( \frac {1}{\sqrt {t}} e^{-a^2/(4t)} \rightarrow 0 \) as \( t \rightarrow 0 ,\) we calculate the limit using (15.12). □
The statement of the lemma holds for almost any \( x \), since the vertices have measure zero in the metric graph \( \Gamma . \) It is very important to notice that the limit does not depend on the point \( x \in \Gamma \setminus {\mathbf {V}}, \) also the rate of convergence may be different.
15.1.3 On Schrödinger Semigroups
In what follows we shall need formula (15.23) below providing the first order correction for the trace of the heat semigroup in terms of the perturbation \( q. \) Also this is a standard fact, we indicate its proof here.
We start by differentiating
implying
where we changed variables \( s \mapsto t-s \).
In a similar way we get
Iterating the equation once we get
![](http://media.springernature.com/lw544/springer-static/image/chp%3A10.1007%2F978-3-662-67872-5_15/MediaObjects/329100_1_En_15_Equ17_HTML.png)
The operator \( A_1(t) \) defined above can be considered as an integral operator with the following kernel
For essentially bounded potentials taking into account positivity of the free heat kernel \( H_\Gamma \) we get
where we used the estimate (15.15) and the fact that \( H_\Gamma (t,x,y) \) is a kernel for a semigroup
Note that (15.18) is valid for \( t < 1\) and almost everywhere with respect to \( x \) and \( y,\) more precisely, for all \( x \) and \( y \) not belonging to a vertex.
Continuing iterations one obtains the following formal series
![](http://media.springernature.com/lw496/springer-static/image/chp%3A10.1007%2F978-3-662-67872-5_15/MediaObjects/329100_1_En_15_Equ19_HTML.png)
To prove convergence of this formal series one may introduce the integral kernel \( L_m (t,x,y) \) associated with \( A_m \) and use estimates similar to ones we already carried out in order to get (15.18). Really, using positivity of the heat kernel, the semigroup property and essential boundedness of the potential, we get
It follows that even the perturbed semigroup can be considered as an integral operator with a certain kernel \( H_{\Gamma ,q} (t,x,y) , \; x, y \in \Gamma \setminus {\mathbf {V}}, \) satisfying the uniform estimate
with a maybe different constant \( C. \) We return back to formula (15.17) in order to prove that the second integral is of order \( t^{3/2}= t^{2-1/2}. \) Really, the kernel \( M(t,x,y) \) of the operator \( B(t) \) is given by the integral
where we used the estimate
implying in particular that the Schrödinger heat kernel is positive. Now formula (15.17) can be written using integral kernels as follows
Lemma 15.7
The difference between the traces of the perturbed (Schrödinger) and unperturbed (Laplacian) semigroups satisfies
where \( \rho (t) = {\mathcal {O}}(t^{3/2}). \)
Proof
We put \( x= y \) in formula (15.22) and integrate with respect to \( x\)
where we used that \( H_\Gamma \) is a kernel of a semigroup. Here \( \rho (x) \) denotes the integral corresponding to the last term in (15.22). Its estimate as \( {\mathcal {O}}(t^{3/2}) \) follows directly from (15.21). □
We prepared all tools that are needed to prove the main result of this section—a direct generalisation of Ambartsumian theorem for the case where the fixed metric graph is not necessarily an interval.
15.1.4 A Theorem by Davies
We start by proving a direct analog of the original Ambartsumian theorem.
Theorem 15.8 (Davies [155])
Let \( \Gamma \) be a finite compact metric graph. Then the standard Schrödinger operator is isospectral to the standard Laplacian on the same metric graph \( \Gamma \)
for all \( n = 1,2, \dots , \) if and only if \( q(x) \equiv 0 \) almost everywhere.
Proof
The traces of the Schrödinger and Laplacian semigroups coincide, since the operators are isospectral. Then formula (15.23) reads as follows
We divide by \( \sqrt {t} \) and take the limit as \( t \rightarrow 0 \). Formula (15.15) implies that \( \sqrt {t} H _\Gamma (t,x,x) \) is uniformly bounded, moreover for almost every \( x\) it holds (see (15.16))
implying that
since \( \frac {1}{\sqrt {t}} \rho (t) = O (t). \) It follows from Theorem 15.1 that \( q \) is zero almost everywhere, since \( \lambda _1 (L^{\mathrm {st}} (\Gamma ) = 0 \Rightarrow \lambda _1 (L_q^{\mathrm {st}} (\Gamma ) = 0 \). □
To prove the theorem it was important that the limit (15.16) does not depend on the point \( x \in \Gamma . \) This theorem can be strengthened as follows.
Theorem 15.9 (Davies [155])
Let \( \Gamma \) be a finite compact metric graph. Assume that the eigenvalues of the standard Schrödinger and Laplace operators satisfy
-
1.
\( \lambda _1 (L^{\mathrm {st}}_q (\Gamma )) \geq 0; \)
-
2.
\( \displaystyle \limsup \limits _{n \rightarrow \infty } (\lambda _n (L^{\mathrm {st}}_q (\Gamma )) - \lambda _n (L^{\mathrm {st}}_0 (\Gamma ))) \leq 0 ,\)
then \( q(x) \) is equal to zero almost everywhere.
Proof
To prove the theorem using the same method it is enough to show that
or equivalently
Condition 2 implies that given \( \epsilon > 0 \) there exists \( N = N(\epsilon ) \), such that \( \lambda _n (L_q) - \lambda _n (L) \leq \epsilon \) for all \( n \geq N. \) We use the estimates
for a certain \( C > 0. \) We conclude that
where one may need to adjust the constant \( C \). Therefore estimate (15.26) holds. □
Proven theorem implies that zero potential, or more generally any constant potential, possesses unique properties allowing one to single out the spectrum of the Laplacian among the spectra of Schrödinger operators on a metric graph. The reason the spectrum of the Laplacian is unique is that it is given by zeroes of a certain generalised trigonometric polynomial. We have already used this fact proving Theorem 14.11.
15.2 On Asymptotically Isospectral Quantum Graphs
Our goal in this section is to prove several geometric versions of Ambartsumian’s theorem without assuming that the underlying graph is just the interval. The main analytic tool will be the theory of almost periodic functions (see for example [92]), but we do not require from the reader any knowledge of this wonderful theory—all results will be proven using well-known facts.
15.2.1 On the Zeroes of Generalised Trigonometric Polynomials
Our analysis is based on the fact that the spectrum of a scaling invariant Laplacian on a finite compact metric graph is given by zeroes of a generalised trigonometric polynomial (see Theorem 6.1). Our first step is to prove that generalised trigonometric polynomials with real \( \omega _j \) determine holomorphic almost periodic functions [92] in a strip along the real axis. This is not surprising, since one way to define almost periodic functions is to consider their approximations via generalised trigonometric polynomials.
Lemma 15.10
For any generalised trigonometric polynomial
one may find shifts \( t (\delta ) \rightarrow \infty \) , as \( \delta \rightarrow 0 \) , such that
for all \( k \in \mathbb {C}, \vert \mathit{\mbox{Im}} \, k \vert < 1. \)
Proof
Lemma 14.9 implies that for any \(\epsilon >0\) one may choose \( t (\epsilon ) \) such that:
for all \(\omega _{j}\) and \( k: \vert \mbox{Im} \, k \vert < 1\). Then
Choosing \(\displaystyle \epsilon (\delta )=\frac {\delta }{ \sum _{j=1}^{J} \vert p_{j} \vert \, }\), the corresponding sequence \( t (\epsilon (\delta )) \) satisfies the claim of the Lemma. □
The above Lemma can be generalised for a finite set of generalised trigonometric polynomials, since the key point in the proof is Lemma 14.9 holds whenever the set of frequencies \( \omega ^\ell _j \) is finite.
Lemma 15.11
For any finite set of generalised trigonometric polynomials
one may find common shifts \( t (\delta ) \rightarrow \infty \) , as \( \delta \rightarrow 0 \) , such that
for all \( k \in \mathbb {C}, \vert \mathit{\mbox{Im}} \, k \vert < 1. \)
We will use the above Lemma for two generalised trigonometric polynomials together with their derivatives, which is permitted since the derivative of a generalised trigonometric polynomial is of course a generalised trigonometric polynomial. The following Theorem is our main analytic tool for this section.
Theorem 15.12
Let p and \( q \) be generalised trigonometric polynomials
with real zeros \( k_n,\, l_m\) , respectively. If there exists a subsequence \(l_{m_n}\) of \(l_n\) such that
then all the zeros of \(p \) are zeros of q with at least the same multiplicity.
Proof
Let \(k_0\) be any zero of p, and denote its order by \(m_0\). We may find an \(\epsilon >0\) such that p has no other zeros in the disc \(B_{2 \epsilon }(k_0)\) of radius \(2\epsilon \) centered at \(k_0\), and such that \(p,p',q,\) and \(q'\) have no zeros on the boundaries of \(B_{\epsilon }(k_0)\) and \(B_{2 \epsilon }(k_0)\). This choice implies that there are common constants \(0<c,C\) such that
on the boundaries \(\partial B_{\epsilon }(k_0)\), \(\partial B_{2 \epsilon }(k_0)\).
Since there are no other zeroes inside the circles we have
and
for some \(m' \in \mathbb {N}\). We now choose a \(\delta \) satisfying
(the specific choice of constants plays a role in the estimates of the integrals below (15.35)) and a common shift \(t(\epsilon ,\delta )\) such that
-
\(|k_n-l_{m_n}|<\epsilon , \quad \text{ for } \quad k_n, \, l_{m_n}>k_0+t(\epsilon ,\delta )-2\epsilon .\)
-
\(|p^{(j)}(k+t(\epsilon ,\delta ))-p^{(j)}(k)|<\delta , \quad j=0,1.\)
-
\(|q^{(j)}(k+t(\epsilon ,\delta ))-q^{(j)}(k)|<\delta , \quad j=0,1.\)
We first show that with this choice of \(\delta \) and \(t(\epsilon ,\delta )\) the integrals over the boundaries of the shifted discs \( B_{\epsilon } (k_0+ t(\epsilon , \delta )), B_{2 \epsilon } (k_0+ t(\epsilon , \delta ))\) and the unshifted discs are equal. Consider the difference:
We estimate:
where we used that (15.34) implies \( \delta < c/2 \) and \( \delta < \frac {1}{16}\frac {c^2}{C \epsilon }. \) The reason to choose \( \delta \) satisfying (15.34) is clear now. It follows that the difference between the two integrals is less than \( \pi \) and therefore they are equal, so
and \( m_0\) zeroes of \( p (k) \) lie inside the shifted disc \( B_\epsilon (k_0+ t(\epsilon , \delta )) \). In the same way one shows that
so p has \(m_0\) zeros in \(B_{2 \epsilon }(k_0+t(\epsilon ,\delta ))\) all of which are actually contained in \(B_{\epsilon }(k_0+t(\epsilon ,\delta ))\), and q has \(m'\) zeros in \(B_{2 \epsilon }(k_0+t(\epsilon ,\delta ))\).
By the choice of \(t(\epsilon ,\delta )\) to every zero of \( p \) inside \( B_{\epsilon }(k_0 + t(\epsilon ,\delta ))\) corresponds a zero of \( q \) lying at a distance less than \( \epsilon . \) All such zeroes lie inside the ball of double radius \( B_{2\epsilon }(k_0 + t(\epsilon ,\delta ))\), hence \( m' \geq m_0. \)
Letting \(\epsilon \rightarrow 0\) — while choosing suitable \(\delta \)’s and shifts \(t(\epsilon ,\delta )\) — we conclude that \(k_0\) is a zero of q of multiplicity at least \(m_0\). □
The above theorem holds even for holomorphic almost periodic functions [357]. By applying Theorem 15.12 twice we obtain the following statement as a special case.
Theorem 15.13
Let \(p,q\) be generalised trigonometric polynomials
with zeros \( k_n,\, l_n\) respectively, if
then the zeros of the functions are identical.
This direction of research has already been continued in [220] where uniqueness theorems for Fourier quasicrystals were established.
15.2.2 Asymptotically Isospectral Quantum Graphs
In this subsection we will apply Theorem 15.13 to the spectral theory of quantum graphs. As was shown in Theorem 6.1 the spectrum of \(L^{{\mathbf {S}}}(\Gamma )\) for a finite compact quantum graph and scaling invariant vertex conditions \({{\mathbf {S}}}\) is given by the zeros of a generalised trigonometric polynomial.
We shall also use the notion of asymptotically isospectral quantum graphs given in Definition 11.7. We start by showing that two asymptotically isospectral scaling invariant Laplacians are in fact isospectral. This implies that the spectrum of scaling invariant Laplacians possesses certain rigidity, so that it is determined by the asymptotics.
Theorem 15.14
Let \( L^{{\mathbf {S}}_1} (\Gamma _1 ) \) and \( L^{{\mathbf {S}}_2} (\Gamma _2 ) \) be two Laplace operators defined on finite compact metric graphs \( \Gamma _1 \) and \( \Gamma _2 \) by certain scaling invariant vertex conditions given by \( {\mathbf {S}}_1 \) and \( {\mathbf {S}}_2\) respectively. If the operators are asymptotically isospectral, then they are isospectral.
Proof
Scaling invariant Laplacians are non-negative operators, which is easily seen from their quadratic forms given by Dirichlet integrals. The positive eigenvalues are given by certain generalised trigonometric polynomials (Theorem 6.1). Then Theorem 15.13 implies that the zeroes of these polynomials coincide, since they are asymptotically close. We have thus proven that all positive eigenvalues coincide.
It remains to show that the multiplicities of the eigenvalue zero coincide.Footnote 4 But this trivially follows from the fact that the lowest non-zero eigenvalues not only coincide but have the same index. □
Taking into account the above theorem one may think that the notion of asymptotic isospectrality is redundant. This is not completely true, for example Schrödinger operator on an interval is asymptotically isospectral but not isospectral to the Laplacian, unless the potential is identically zero. More generally, Theorem 11.9 implies that Schrödinger operator \( L_q^{{\mathbf {S}}} (\Gamma ) \) is asymptotically isospectral to the reference Laplacian \( L^{{\mathbf {S}}(\infty )} (\Gamma ^\infty ) . \)
Two asymptotically isospectral Schrödinger operators are not necessarily isospectral—Theorem 15.14 does not hold for Schrödinger operators. On the other hand one may generalise it by proving that the corresponding reference Laplacians are isospectral.
Theorem 15.15
Let \(L_{q_1}^{{{\mathbf {S}}}_1}(\Gamma _1)\) and \(L_{q_2}^{{{\mathbf {S}}}_2}(\Gamma _2)\) be two Schrödinger operators on finite compact metric graphs \(\Gamma _i\) with \(q_i \in L_1(\Gamma _i)\) and vertex conditions determined by unitary matrices \({{\mathbf {S}}}_i\) , for \(i=1,\, 2\) . Suppose that the operators are asymptotically isospectral, then the corresponding reference Laplacians \( L^{{{\mathbf {S}}}_1(\infty )}(\Gamma _1^{\infty }) \) and \( L^{{{\mathbf {S}}}_1(\infty )}(\Gamma _1^{\infty }) \) are isospectral.
Proof
In accordance with Theorem 11.9 the operators
are pairwise asymptotically isospectral. One of the conditions in the current theorem is that the Schrödinger operators \( L_{q_1}^{{{\mathbf {S}}}_1}(\Gamma _1)\) and \( L_{q_2}^{{{\mathbf {S}}}_2}(\Gamma _2)\) are asymptotically isospectral, hence the reference Laplacians are also asymptotically isospectral. Then Theorem 15.14 implies that they are in fact isospectral. □
The above theorem does not imply that the underlying reference graphs \( \Gamma _i^\infty \) coincide, since there exists isospectral scaling invariant or even standard Laplacians. The theorem just implies that the reference Laplacians belong to the same isospectral class.
One may strengthen the above theorem by assuming that two Schrödinger operators are not necessarily asymptotically isospectral, but just have asymptotically close spectra. The only new point is that the multiplicities of zero as the eigenvalue of the two reference Laplacians may be different.
Theorem 15.16
Let \(L_{q_1}^{{{\mathbf {S}}}_1}(\Gamma _1)\) and \(L_{q_2}^{{{\mathbf {S}}}_2}(\Gamma _2)\) be two Schrödinger operators on finite compact metric graphs \(\Gamma _i\) with \(q_i \in L_1(\Gamma _i)\) and vertex conditions determined by unitary matrices \({{\mathbf {S}}}_i\) , for \(i=1,\, 2\) . Suppose that their spectra
are asymptotically close in the sense that
for some\(m \in \mathbb {N}\). Then all non-zero eigenvalues of the corresponding reference Laplacians\( L^{{{\mathbf {S}}}_1(\infty )}(\Gamma _1^{\infty }) \)and\( L^{{{\mathbf {S}}}_2(\infty )}(\Gamma _2^{\infty }) \)coincide and m is the difference in the multiplicity of the eigenvalue 0 of the operators.
Problem 71
Prove Theorem 15.16 in full details.
The above Theorem cannot be strengthened by showing that the eigenvalue 0 is of the same multiplicity. Consider the circle graph \({{\mathbf {S}}}^1\) of length \(2 \pi \) with one vertex with standard conditions and the graph \(\Gamma \) consisting of two disjoint intervals of length \(\pi \) with standard conditions (i.e. Neumann) at all endpoints. Then \(\Sigma (L^{\mathrm {st}}({{\mathbf {S}}}^1))=0,1,1,2^2,2^2,\dots \) while \(\Sigma (L^{\mathrm {st}} (\Gamma ))=0,0,1,1,2^ 2,2^2,\dots \). All non-zero eigenvalues coincide, but the multiplicity of the eigenvalue \( \lambda = 0 \) is determined by the number of connected components in the corresponding graph.
15.2.3 When a Schrödinger Operator Is Isospectral to a Laplacian
Our studies of asymptotically isospectral graphs lead us to the following unexpected generalisation of the Davies theorem (Theorem 15.8).
Theorem 15.17
Let\(\Gamma _1\)be a finite compact metric graph,\(q \in L_{\infty }(\Gamma _1)\)and suppose that\(\Sigma (L_q^{\mathrm {st}}(\Gamma _1))=\Sigma (L_0^{\mathrm {st}}(\Gamma _2))\)for some (may be different) finite compact\(\Gamma _2\). Then\(q (x) \equiv 0\).
Proof
Theorem 15.15 implies that \(\Sigma (L_0^{\mathrm {st}}(\Gamma _1))=\Sigma (L_0^{\mathrm {st}}(\Gamma _2))\), since standard conditions are scaling invariant, and therefore \(\Sigma (L_q^{\mathrm {st}}(\Gamma _1))=\Sigma (L_0^{\mathrm {st}}(\Gamma _1))\) and from Theorem 15.8 we obtain \(q (x) \equiv 0\). □
Note that we do not claim that the graphs \( \Gamma _1 \) and \( \Gamma _2 \) coincide—just the corresponding standard Laplacians are isospectral. On the other hand, there exist metric graphs that are uniquely determined by the spectrum of the corresponding standard Laplacians (see for example Sect. 9.4), for such graphs we may conclude in addition that \( \Gamma _1 = \Gamma _2.\)
Theorem 15.18
Let\( \Gamma \)be a finite compact metric graph with rationally independent edge lengths. Then the spectrum of the standard Schrödinger operator\( L_q^{\mathrm {st}} (\Gamma ) \)with\( q \in L_1(\Gamma ) \)determines the unique metric graph\( \Gamma \).
The theorem is an easy corollary of Theorems 9.11 and 15.17.
The above theorems show another one time that standard vertex conditions and zero potential are exceptional for the inverse problem.
Problem 72
Is it possible to strengthen the above theorem by assuming that the vertex conditions in the Schrödinger operator are just asymptotically standard (instead of standard conditions)?
Notes
- 1.
The lower estimate used in [155] is: \( \int _{-a}^a H_{[-a,a]} (t, 0, x) dx \geq 1 - 4 e^{-a^2/8t} \).
- 2.
This special function was introduced in order to study solutions to the heat equation on a finite interval.
- 3.
The lower estimate proven in [155] reads as \( H_{[-1,1]} (t,0,0) \geq \frac {1}{\sqrt {4 \pi t}} \left (1- 15 e^{-1/(4t)} \right ) \).
- 4.
Remember that the multiplicity of \( k= 0\) as a zero of the secular trigonometric polynomial may be different from the spectral multiplicity of \( \lambda = 0\).
References
H. Bohr, Almost Periodic Functions (Chelsea Publishing Company, New York, 1947). MR0020163
E.B. Davies, Heat Kernels and Spectral Theory. Cambridge Tracts in Mathematics, vol. 92 (Cambridge University Press, Cambridge, 1990). MR1103113
E.B. Davies, An inverse spectral theorem. J. Operator Theory 69(1), 195–208 (2013). https://doi.org/10.7900/jot.2010sep14.1881. MR3029494
S.Yu. Favorov, Uniqueness theorems for Fourier quasicrystals and temperate distributions with discrete support. Proc. Am. Math. Soc. 149(10), 4431–4440 (2021). https://doi.org/10.1090/proc/15546. MR4305993
P. Kurasov, R. Suhr, Asymptotically isospectral quantum graphs and generalised trigonometric polynomials. J. Math. Anal. Appl. 488(1), 124049, 15 (2020). https://doi.org/10.1016/j.jmaa.2020.124049. MR4079594
Author information
Authors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
Kurasov, P. (2024). Further Theorems Inspired by Ambartsumian. In: Spectral Geometry of Graphs. Operator Theory: Advances and Applications, vol 293. Birkhäuser, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-67872-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-662-67872-5_15
Published:
Publisher Name: Birkhäuser, Berlin, Heidelberg
Print ISBN: 978-3-662-67870-1
Online ISBN: 978-3-662-67872-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)