Abstract
The goal of this Chapter is to provide a systematic study of quadratic forms associated with Schrödinger operators on metric graphs.
You have full access to this open access chapter, Download chapter PDF
The goal of this Chapter is to provide a systematic study of quadratic forms associated with Schrödinger operators on metric graphs. These forms will be used to prove spectral estimates in terms of a certain reference Laplace operator. The spectrum of a Laplacian is easier to calculate, but this is not the only reason to obtain spectral estimates. It turns out that the reference Laplacian does not necessarily correspond to the same metric graph \( \Gamma \) as the original operator. The corresponding reference metric graph may have different topological structure from \( \Gamma \). Hence the spectral estimates obtained here will imply that in certain cases the topological structure of the graph \( \Gamma \) cannot always be deduced from the spectrum of the corresponding quantum graph, despite that the vertex conditions are properly connecting (as always). Moreover, we are going to use spectral estimates to prove several generalisations of the celebrated Ambartsumian theorem.
The main mathematical tool we are going to use is the one-to-one correspondence between semi-bounded self-adjoint operators and closed semi-bounded quadratic forms [90, 442]. Working with the quadratic forms directly allows one to obtain effective spectral estimates much faster and use the full power of perturbation theory.
We are going to consider the case of zero magnetic potential in order to simplify formulas, but it is not a restriction, since arbitrary vertex conditions will be treated and a nontrivial magnetic potential is equivalent to introducing certain phases in the vertex conditions (see Chap. 16).
11.1 Quadratic Forms (Integrable Potentials)
Quadratic forms associated with quantum graphs have already been considered in Sect. 3.4, where parametrisation of vertex conditions via Hermitian matrices was considered. Our focus here will be on determining the quadratic form domain in the case of absolutely integrable potentials. The assumption that the potential is just summable and not necessarily uniformly bounded forces us to be more careful.
11.1.1 Explicit Expression
Let us denote by \( Q_{L_q^{\mathbf {S}}} (u,v) \) the quadratic (more precisely sesquilinear) form associated with the operator \( L_q^{\mathbf {S}} \) (see Definition 4.1 with \( a(x) \equiv 0\)). The quadratic form is first defined on the domain of the operator \( u, v \in \mathrm {Dom}\, (L_q^{\mathbf {S}}) :\)
Hence the functions satisfy on every edge
As we have shown in Sect. 4.1, these conditions imply that the functions are not only continuous, but have continuous first derivatives on every edge and one may impose vertex conditions. Moreover this implies that one may integrate by parts in the expression for the quadratic form:
where the vectors \( \vec {u} (V^m), \partial \vec {u}(V^m) \) of boundary values at the vertex \( V^m \) were introduced in formula (3.2).
The expression for the quadratic form may be simplified further if one takes into account that the vertex values of functions and their derivatives are not independent, but satisfy vertex conditions (4.8)Footnote 1
where \( S^m \) is an irreducible unitary \( d_m \times d_m \) matrix. Consider the eigensubspace for \( S^m\) associated with the eigenvalue \( -1 \) and its orthogonal complement in \( \mathbb C^{d_m} \). Let us denote the corresponding orthogonal projectors by \( P_{-1}^m \) and \( P_{-1}^{m\perp } \) respectively.
Applying \( P_{-1}^m \) to both sides of Eq. (11.2) we get
and therefore
where we used that \( P_{-1}^m \) is an eigenprojector for \( S^m \) and therefore commutes with it. It follows that the function \( u \) satisfies certain generalised Dirichlet conditions at \( V^m \)—not all boundary values of \( u \) at \( V^m \) are equal to zero, but a certain combination of them is zero (more precisely the projection on the eigensubspace \( P_{-1}^m \mathbb C^{d_m}\) is zero).
Let us apply now the projector \( P_{-1}^{m\perp } = I- P_{-1}^m \) to both sides of (11.2) and use again that the projector and the matrix \( S^m \) commute:
Note that the matrix \( P_{-1}^{m\perp }(S^m + I) P_{-1}^{m\perp }\) is invertible in the subspace \( P_{-1}^{m\perp } \mathbb C^{d_m} \) and therefore the last condition can be written in the Robin form as follows:
The matrix \( P_{-1}^{m\perp } i \frac {S^m-I}{S^m+I} P_{-1}^{m\perp } \) is Hermitian in \(P_{-1}^{m\perp } \mathbb C^{d_m} \) and was denoted by \( A^m \) in (3.28)
Hence every function from the domain of the operator satisfies the generalised Robin condition:
Using this notation the expression for the sesquilinear form can be written as follows:
Here we split the integral term, since we know that the functions \( u, v \) are continuous and \( q \in L_1. \) The corresponding quadratic form is
It is common for unbounded operators that the quadratic form is defined on a domain which is larger than the domain of the operator. If the operator is strictly positive, then the domain of the quadratic form is obtained by closing the operator domain with respect to the norm given by the quadratic form.
The quadratic form we got is not necessarily positive, since there is no reason to assume that the Hermitian matrices \( A_m \) are positive, the potential \( q \) can also be negative. In order to proceed we need to show that the quadratic form is semi-bounded, i.e. there exists a constant \( K \) such that
is positive definite.
11.1.2 An Elementary Sobolev Estimate
In order to proceed we need the following elementary Sobolev estimate (a special case of the Gagliardo-Nirenberg estimate), showing that every function from \( W_2^1 \) on a compact interval is essentially bounded.
Lemma 11.1
Assume that \( u \in W_2^1 [0, \ell ],\) then it holds
where \( \epsilon > 0 \) can be chosen arbitrarily, provided it is sufficiently small: \( \epsilon \leq \ell . \)
Proof
We prove first the estimate for continuous, piecewise continuously differentiable functions. Let us denote by \( x_{\mathrm {min}} \) one of the the points at which \( |u|\) attains the minimum, then it holds
![](http://media.springernature.com/lw300/springer-static/image/chp%3A10.1007%2F978-3-662-67872-5_11/MediaObjects/329100_1_En_11_Equd_HTML.png)
and hence
Taking into account that \( \epsilon \) is positive and less than \( \ell \) we obtain (11.11).
It remains to note that continuous piecewise continuously differentiable functions form a dense subset in \( W_2^1 [0,\ell ] \) and hence estimate (11.11) holds for any function from \( W_2^1 [0,\ell ] .\) □
The obtained estimate will be used for sufficiently small values of \( \epsilon \), more precisely estimates with \( \epsilon \) tending to zero will be interesting for us. Therefore the restriction \( \epsilon \leq \ell \) is not essential. It is important to remember that, taking smaller and smaller values of \( \epsilon \), the coefficient in front of \( \| u \|{ }^2 \) increases.
The estimate (11.11) can be generalised for the case of metric graphs as follows
provided \( u \in W_2^1 (\Gamma )\) without any required vertex conditions and \( \epsilon \leq \ell _{\mathrm {min}}\), where \( \ell _{\mathrm {min}} \) denotes the length of the shortest edge
The obtained estimate may be improved taking into account topological properties of the metric graph and vertex conditions. For example, in the case of standard vertex conditions the estimate holds for \( \epsilon \) less than the diameter of the metric graph. The diameter is the longest distance between any two points on the metric graph.
Problem 43
Prove the Sobolev estimate (11.12) for \( \epsilon \) less than the diameter of the metric graph \( \Gamma \), provided the function \( u \in W_2^1 (\Gamma \setminus \mathbf V) \) is in addition continuous at the vertices.
11.1.3 The Perturbation Term Is Form-Bounded
Our immediate goal is to estimate the second and third terms in the quadratic form expression (11.9) in order to show that the form is semibounded.
The second term can be estimated as follows. Inequality (11.11) implies that
Hence we have
of course provided \( \epsilon < \ell _{\mathrm {min}}. \)
Under the same assumption on \( \epsilon \) the third term satisfies
where \( d_m \) is the degree of the vertex \(V^m. \) Note that the obtained estimates (11.14) and (11.15) are far from being optimal.
Let us consider the quadratic form \( Q_{L_q^{\mathbf {S}}} (u,u) \) as a perturbation of the Dirichlet form \( \| u' \|{ }^2_{L_2(\Gamma )}\):
We have proven that the perturbation term
possesses the estimate
This inequality has two important implications:
-
1.
The perturbation term is infinitesimally form bounded with respect to the Dirichlet form [442].
-
2.
The constant \( K \) in (11.10) can be chosen equal to
$$\displaystyle \begin{aligned} {} K = \left( \sum_{m=1}^M d_m \| A^m \| + \| q \|{}_{L_1(\Gamma)} \right) \frac{2}{\epsilon} + 1, \end{aligned} $$(11.19)where \( \epsilon \leq \ell _{\mathrm {min}}\) satisfies in addition
$$\displaystyle \begin{aligned} \epsilon \leq \frac{1}{2} \left( \sum_{m=1}^M d_m \| A^m \| + \| q \|{}_{L_1(\Gamma)} \right)^{-1}.\end{aligned}$$
With such \( \epsilon \) and \( K \) we have the two-sided estimate:
In other words, expression (11.10) determines a norm, which is equivalent to the Sobolev \( W_2^1\)-norm:
Our next goal is to determine the domain of the quadratic form—the closure of \( \mathrm {Dom}\, (L_q^{\mathbf S}) \) with respect to the quadratic form norm introduced above. It is natural to study first the closure of the Dirichlet form.
11.1.4 The Reference Laplacian
Consider the Dirichlet form
defined on the functions \( u \in \mathrm {Dom}\, (L_q^{\mathbf S} (\Gamma )). \) The quadratic form is not closed on this domain and our aim is to determine its closure. We may restrict the quadratic form further by considering just smooth functions \( u \in C^\infty (E_n) \) satisfying the given vertex condition, which we write as a combination of generalised Dirichlet and Robin conditions (see formulas (11.3) and (11.7)).
Consider any Cauchy sequence \( u_j \in C^\infty (\Gamma \setminus \mathbf V ) \) such that \( \| u_j - u_i \|{ }_{W_2^1(\Gamma \setminus \mathbf V)} \rightarrow 0. \) It follows that \( \| u_j - u_i \|{ }_{L_2 (\Gamma )} \rightarrow 0 \) and \( \| u^{\prime }_j - u^{\prime }_i \|{ }_{L_2 (\Gamma )} \rightarrow 0 \) and therefore the limiting function as well as its first derivative are square integrable. In other words the limit function belongs to \( W_2^1 (\Gamma \setminus \mathbf V). \) Every such function is continuous on each edge, therefore the generalised Dirichlet conditions (11.3) are preserved. The generalised Robin conditions (11.5) disappear, since the functions from \( W_2^1 \) are not necessarily continuously differentiable. Summing up, the closure of the positive Dirichlet form is defined by the same expression (11.21) on the domain of functions from \( W_2^1 (\Gamma \setminus \mathbf V) \) satisfying just the generalised Dirichlet conditions (11.3).
In the next step we calculate the self-adjoint operator associated with the closure of the Dirichlet form. Consider the sesquilinear form
assuming that \( u \) and \( v \) are in the domain of the quadratic form. The domain of the corresponding operator is given by all \( v \) such that the sesquilinear form determines a bounded linear functional with respect to \( u \) in the Hilbert space norm:
Taking first \( u \in C_0^\infty (\Gamma \setminus \mathbf V) \) we see that (11.22) holds only if the generalised derivative of \( v' \) lies in \( L_2 (\Gamma ) \), i.e. if \( v \in W_2^2 (\Gamma \setminus \mathbf V). \) Consider now any \( u \in W_2^1 (\Gamma \setminus \mathbf V) \) satisfying the generalised Dirichlet condition (11.3); one may integrate by parts in the sesquilinear form to get
![](http://media.springernature.com/lw368/springer-static/image/chp%3A10.1007%2F978-3-662-67872-5_11/MediaObjects/329100_1_En_11_Equj_HTML.png)
The integral term gives a bounded functional with respect to \( u \). Hence the sesquilinear form determines a bounded functional if and only if
are bounded functionals with respect to the \( L_2\)-norm. The functionals \( u \mapsto \vec {u}^m \) are not bounded, since square integrable functions are not necessarily bounded (see estimate (11.11), where \( \epsilon \) could be taken arbitrarily small but not equal to zero). Therefore we get a bounded functional only if \( v \) satisfies the generalised Neumann condition
Summing up, the self-adjoint operator corresponding to the closure of the Dirichlet form is the Laplace operator defined on the functions from \( W_2^2 (\Gamma \setminus \mathbf V) \) satisfying generalised Dirichlet (11.3) and generalised Neumann (11.23) conditions at the vertices. These vertex conditions are scaling-invariant and sometimes are called non-Robin. This operator will play the role of a reference operator, when spectral estimates for quantum graphs will be derived. Using our notations, the reference operator can be written as \( L^{\mathbf S_{\mathbf {v}}(\infty )} \), where following (3.31) we introduced the high energy limit of the vertex scattering matrix
where \( P_{-1} = \sum _{m=1}^M P^m_{-1} \). The matrices \( S_{\mathbf {v}}^m(\infty ) \) have eigenvalues \( -1 \) and \( 1\) and the corresponding eigensubspaces are \( P_{-1}^m \mathbb C^{d_m} \) and \( P_{-1}^{m \perp } \mathbb C^{d_m} .\) Hence the functions from the domain of \( L^{\mathbf S_{\mathbf {v}}(\infty )} \) satisfy precisely the Dirichlet and Neumann conditions (see (11.3) and (11.23).
Note that the operator \( L^{\mathbf S_{\mathbf {v}}(\infty )} \) coincides with \( L^{\mathbf S}\) only if \( \mathbf S \) is Hermitian. In general, substituting \( \mathbf S \) with \( \mathbf S_{\mathbf {v}}(\infty ) \) may change the topology of the described system—the metric graph corresponding to \( L^{\mathbf S_{\mathbf {v}}(\infty ) }\) may be slightly different from the original graph \( \Gamma . \) The original matrix \( \mathbf S \) has block structure, each block associated with a vertex in the graph \( \Gamma .\) Therefore the limiting matrix \( \mathbf S_{\mathbf {v}}(\infty ) \) also has block structure, but the blocks in it could be finer than those in \( \mathbf S \). We have already met this phenomenon in Sect. 9.3.3.
Example 11.2
Consider the \( 2 \times 2 \) unitary matrix
The eigenvalues are \( 1 \) and \( i \)
where \( P_{(1,1)} \) and \( P_{(1,-1)} \) are the orthogonal projectors on the corresponding eigenvectors \( (1,1) \) and \( (1,-1)\) respectively. It follows, that \( \mathbf S_{\mathbf {v}}(\infty ) \) is the unitary matrix with \( 1 \) as the double eigenvalue. Really, formula (3.20), or more explicitly (3.30) implies that
The limit matrix \( \mathbf S_{\mathbf {v}}(\infty ) \) describes not a single vertex of degree \( 2\), but two independent degree one vertices with Neumann conditions.
Let us denote by \( \Gamma ^\infty \) the metric graph corresponding to the new vertex scattering matrix \( \mathbf S_{\mathbf {v}}(\infty ).\) The graph \( \Gamma ^\infty \) is obtained from the original metric graph \( \Gamma \) by chopping all vertices, for which \( S_{\mathbf {v}}^m (\infty ) = \lim _{k \rightarrow \infty } S^m_{\mathbf {v}} (k) \) has block structure. For future use we formulate the following definition, which involves the Schrödinger operators with maybe non-zero potentials.
Definition 11.3
Let \( L_q^{\mathbf S} (\Gamma ) \) be a Schrödinger operator on a metric graph \( \Gamma \) with vertex conditions determined by the matrix \( \mathbf S.\) Let \( \mathbf S_{\mathbf {v}} (\infty ) \) be the high-energy limit of the vertex scattering matrix and \( \Gamma ^\infty \) - the corresponding metric graph obtained by chopping (if necessary) certain vertices in \( \Gamma \) so that the vertex conditions determined by \( \mathbf S_{\mathbf {v}} (\infty ) \) are properly connecting for \( \Gamma ^\infty .\) Then the non-Robin Laplace operator \( L^{\mathbf S_{\mathbf {v}} (\infty )} (\Gamma ^\infty ) = L_0^{\mathbf S_{\mathbf {v}} (\infty )} (\Gamma ^\infty ) \) is called the reference Laplacian for the Schrödinger operator \( L_q^{\mathbf S} (\Gamma ). \)
Note that the Hilbert spaces \( L_2(\Gamma ) \) and \( L_2(\Gamma ^\infty ) \) can always be identified, since these metric graphs have the same set of edges. The reference operator will play a very important role in spectral estimates, where the spectrum of the Schrödinger operator will be compared to the spectrum of just the reference Laplacian.
It will be convenient to distinguish vertex conditions that do not lead to a different reference graph:
Definition 11.4
Vertex conditions are called asymptotically properly connecting if the high energy limits of all vertex scattering matrices \( S_{\mathbf {v}}^m (\infty ) \) are irreducible, i.e. if \( \Gamma ^\infty = \Gamma . \)
Definition 11.5
Vertex conditions are called asymptotically standard if and only if \( \mathbf S_{\mathbf {v}}(\infty ) = \mathbf S^{\mathrm {st}} (\Gamma ^\infty )\), where \( \mathbf S^{\mathrm {st}} (\Gamma ^\infty )\) is the unitary matrix determining standard vertex conditions on \( \Gamma ^\infty . \)
Note that we do not require that \( \mathbf S_{\mathbf {v}} (\infty ) = \mathbf S^{\mathrm {st}} (\Gamma ) \) for vertex conditions to be asymptotically standard. If this is the case, then the vertex conditions are called asymptotically properly connecting and standard.
Problem 44
Consider a degree three vertex. Provide examples of properly connecting vertex conditions, such that in \( \Gamma ^\infty \) the vertex splits into:
-
three degree one vertices;
-
one degree one and one degree two vertices.
Give an example of asymptotically properly connecting vertex conditions.
Problem 45
How to describe all asymptotically standard vertex conditions?
11.1.5 Closure of the Perturbed Quadratic Form
We return now to the operator \( L_q^{\mathbf S} (\Gamma ) \) and the corresponding quadratic form norm given by (11.10), where the constant \( K \) is chosen as in (11.19). For simplicity, let us consider this norm not on the domain of \( L_q^{\mathbf S} (\Gamma ) \), but on the space of smooth functions \( C^\infty (\Gamma \setminus \mathbf V) \) satisfying vertex conditions with the parameter matrix \( \mathbf S \). These conditions can be written as a combination of generalised Dirichlet and Robin conditions: (11.3) and (11.5).
The estimate (11.20) implies that the closure of this domain with respect to the quadratic form norm of \( L_q^{\mathbf S} \) and with respect to the Dirichlet form just coincide. Hence the quadratic form (11.9) is closed on the set of \(W_2^1 (\Gamma \setminus \mathbf V)\)-functions satisfying just generalised Dirichlet conditions (11.3). As before, the Robin part of vertex conditions disappears. The difference is that the Robin part can be reconstructed taking into account the terms involving the matrices \( A_m. \)
Let us summarise our studies:
Theorem 11.6
Let\( \Gamma \)be a finite compact metric graph and let\( q \in L_1(\Gamma ) .\)Then the quadratic form of the operator\( L_q^{\mathbf {S}} \)is defined on the domain\( \mathrm {Dom}\, (Q_{L_q^{\mathbf {S}}}) \)of functions from\( W_2^1 (\Gamma \setminus \mathbf V) \)satisfying the generalised Dirichlet conditions (11.3) at the vertices and is given by the following expression
We have already mentioned that there is a one-to-one correspondence between semibounded quadratic forms and self-adjoint operators. Let us see how the unique self-adjoint operator \( L_q^{\mathbf {S}} \) can be reconstructed from its quadratic form \( Q_{L_q^{\mathbf {S}}}. \) Assume that the quadratic form is known and therefore is given by the expression (11.24) on the domain of functions from \( W_2^1 (\Gamma \setminus \mathbf V) \) satisfying the generalised Dirichlet conditions (11.3). Assume that \( u, v \in \mathrm {Dom}\, (Q_{L_q^{\mathbf {S}}}) \), then the corresponding sesquilinear form is
The domain of the operator consists of all functions \( v \) such that (11.25) defines a bounded linear functional with respect to \( u \) i.e. an estimate similar to (11.22) holds. Consider first \( u \in C_0^\infty (\Gamma \setminus \mathbf V), \) then the form is equal to
Using generalised derivatives, one may write that this sesquilinear form determines a bounded functional only if
holds.
Assume now that \( u \in C^\infty (\Gamma \setminus \mathbf V) \), i.e. \( u \) is not necessarily equal to zero in a neighbourhood of the vertices. We already know that (11.26) holds and hence \( v \) and its first derivative are continuous on each edge, this allows us to integrate by parts:
We already know that the integral term is a bounded functional. Taking into account that \( u \) satisfies the generalised Dirichlet conditions (11.3) the vertex terms can be written as
Since the functionals \( u \mapsto u (x_j) \) are not bounded with respect to the \( L_2\)-norm of \( u \) and the vectors \( P_{-1}^{m\perp } \vec {u} (V^m) \) are arbitrary, (11.27) determines bounded functionals if and only if
which is equivalent to the generalised Robin condition (11.7). Hence the domain of the operator is given by the set of functions from \( W_2^1 (\Gamma \setminus \mathbf V) \) satisfying (11.26) and vertex conditions (11.3) and (11.7) as expected. Provided \( v \) belongs to this domain, the quadratic form is given by
![](http://media.springernature.com/lw320/springer-static/image/chp%3A10.1007%2F978-3-662-67872-5_11/MediaObjects/329100_1_En_11_Equs_HTML.png)
which shows that the action of the operator corresponding to the quadratic form is given by the differential expression \( \tau _q \) as indicated above.
11.2 Spectral Estimates (Standard Vertex Conditions)
The spectrum of the Schrödinger operator with \( L_1\)-potential on a finite compact metric graph is purely discrete, since every such operator can be considered as a finite rank perturbation (in the resolvent sense) of the Schrödinger operator on the separate edges with Dirichlet conditions at all endpoints (so-called Dirichlet operator, see Definition 4.3 ). The aim of this section is to prove spectral estimates comparing the spectra of Schrödinger operators and the reference Laplacians, two differential operators acting essentially on the same metric graph.Footnote 2 The main reason for such studies is that the spectrum of a non-Robin Laplacian is much easier to calculate. Moreover as a by-product of our studies we shall prove a generalisation of the celebrated Ambartsumian theorem (see Chap. 14). It turns out that as in the case of a single interval the difference between Laplace and Schrödinger eigenvalues is uniformly bounded. The classical proof for this fact in the case of single interval relies heavily on the explicit formula for the resolvent kernel of the Laplacian [105, 381]. Since the corresponding formula in the case of metric graphs is not so explicit, we are going to use general perturbation theory. In particular the min-max and max-min principles giving explicit formulas for the eigenvalues will be exploited (see Proposition 4.19).
Our immediate goal is to use Proposition 4.19 to estimate the eigenvalues of the Schrödinger operator through the corresponding Laplacian eigenvalues. This is an easy exercise if we assume \( q \in L_{\infty } (\Gamma ),\) but we want to cover the most general case of \( q \in L_1 (\Gamma ). \)
Problem 46
Assume that \( q \in L_\infty (\Gamma ), \) show that the eigenvalue of the Laplace and Schrödinger operators satisfy the uniform in \( n \) estimate
where \( C \) is a certain constant independent of \( n. \) Can you give an explicit formula for \( C \)?
If one takes into account that the eigenvalues satisfy Weyl’s law, one may prove that the square roots of the eigenvalues are asymptotically close:
![](http://media.springernature.com/lw323/springer-static/image/chp%3A10.1007%2F978-3-662-67872-5_11/MediaObjects/329100_1_En_11_Equ29_HTML.png)
This observation motivates the following definition.
Definition 11.7
Two unbounded, semi-bounded self-adjoint operators \( A \) and \( B \) with discrete spectra \( \{ \lambda _n (A) \}_{n=1}^\infty \) and \( \{ \lambda _n (B) \}_{n=1}^\infty \), respectively, are called asymptotically isospectral if
This definition makes sense only if the operators are unbounded, otherwise the requirement in the definition is too weak. To guarantee asymptotic isospectrality of quantum graphs it is enough if the eigenvalues satisfy the estimate
Our spectral estimates are stronger, but we prefer to use the notion of isospectrality, since precisely condition (11.30) will be used to prove that two generalised trigonometric polynomials have close zeroes if and only if the zeroes coincide.
In order to make the presentation more transparent, let us discuss the case of standard conditions first and return back to the case of general vertex conditions in the next section.
Theorem 11.8
Let \( L^{\mathrm {st}} \) and \( L_q^{\mathrm {st}} \) be the standard Laplace and standard Schrödinger operators on a compact finite metric graph \( \Gamma \) and let the potential \( q \) in the Schrödinger operator be absolutely integrable, \( q \in L_1 (\Gamma ). \) Then the Laplace and Schrödinger operators, \( L^{\mathrm {st}} \) and \( L_q^{\mathrm {st}} \) , are asymptotically isospectral, moreover the difference between their eigenvalues is uniformly bounded
where the constant \( C (\Gamma , q) \) depends on the graph \( \Gamma \) and the potential \( q\) , but is independent of \( n. \)
We postpone the proof of the theorem and try to derive an upper estimate for \( \lambda _n (L_q^{\mathrm {st}}) \) using a naive approach. In the case of standard conditions the quadratic form is
where \( u \) is arbitrary \( W_2^1 (\Gamma ) \) function continuous at the vertices. The form can be estimated from above by
where \( q_+ \) is the positive part of the potential \( q \):
This step cannot be improved much, since the new estimate coincides with the original one in the case \( q \) is nonnegative.
The idea how to proceed is to choose a concrete \( n\)-dimensional subspace \( \mathcal V^0_n\), then the Rayleigh quotient will give not an exact value for \( \lambda _n (L^{\mathrm {st}}_q ) \), but an upper estimate if formula (4.51) is used
The only candidate for \( \mathcal V^0_n \) we have is the linear span of the Laplacian eigenfunctions \( \psi _j^{L^{\mathrm {st}}} \) corresponding to the \( n \) lowest eigenvalues
If \( q \equiv 0 \) then this estimate gives the exact value for \( \lambda _n. \) Therefore it is natural to split the quadratic form as follows:
Then the first quotient is equal to \( \lambda _n (L^{\mathrm {st}})\) and the maximum is attained on
If nothing about \( q \) is known, then to estimate the second quotient one may use
We need to estimate \( \vert u(x) \vert ^2 \), provided \( u = \sum _{j=1}^n \alpha _j \psi _j^{L^{\mathrm {st}}}. \) The Laplacian eigenfunctions \( \psi _j ^{L^{\mathrm {st}}} \) possess the uniform upper bound
where the constant \( c \) depends on the graph \( \Gamma \) only. To prove this one may use the fact that every Laplacian eigenfunction \( \psi \) is a sine function on each edge and therefore admits
and take into account that the eigenvalues satisfy Weyl asymptotics implying that \( \left [ \frac {\ell _i k}{2 \pi } \right ] \) may be equal to zero just for a finite number of eigenfunctions.
We get the following explicit estimate for the second quotient
The maximum is attained when all alpha are equal, for example if \( \alpha _1 = \alpha _2 = \dots = 1 ,\) leading to
It follows that
i.e. we do not get an estimate uniform in \( n \)—the estimate grows linearly with \( n. \) The reason is the splitting of the quadratic form of \( L_q^{\mathrm {st}} \) into two parts. The maxima of the two parts are realized on intrinsically different vectors: the first term is maximized if \( u = \psi _n^{L^{}}, \) while since nothing is known about the potential all eigenfunctions may play the same role in the second estimate. This is the reason why the obtained estimate is not optimal. Let us prove the theorem getting a uniform estimate in \( n \).
Proof of Theorem 11.8
It is enough to prove the theorem for any fixed total length \( \mathcal L \), therefore we assume that \( \mathcal L = \pi \) in order to simplify formulas. The proof is divided into two parts proving upper and lower estimates separately.
Upper Estimate As before we use the estimate
where \( \mathcal V^0_n \) is defined by (11.35). Every function \( u = \sum _{j=1}^n \alpha _j \psi _j^{L^{\mathrm {st}}}\) from \( \mathcal V^0_n \) can be written as a sum \( u = u_1 + u_2 \), where
Here \( p \) is a certain natural number to be fixed later (depending on \( \Gamma \) and \( q \)), therefore as \( n \) increases the first function \( u_1 \) will contain an increasing number of terms, while the second function will always be given by a sum of \( p \) terms.
Using the fact that \( q_+ \) is nonnegative we have
Then taking into account that \( u_1 \) and \( u_2 \) as well as \( u_1^{\prime } \) and \( u_2^{\prime }\) are mutually orthogonal we arrive at
![](http://media.springernature.com/lw508/springer-static/image/chp%3A10.1007%2F978-3-662-67872-5_11/MediaObjects/329100_1_En_11_Equz_HTML.png)
To estimate the first form we use the Sobolev estimate (11.12)
The key point is that \( \epsilon \) can be chosen in such a way that
holds. This will be shown later.
On the other hand, our naive approach (11.38) can be applied to the second form with the only difference that the number of eigenfunctions involved is \( p \), not \( n \)
Putting together the obtained estimates we get
We would get the desired estimate
with \( C = 2 c^2 \| q_+ \|{ }_{L_1(\Gamma )} p \) if we manage to prove that
for a certain \( \epsilon \) that may depend on \( n \) and a certain \( p \) independent of \( n\). We use the following two-sided estimate for Laplacian eigenvalues proven in Sect. 4.6
Let us choose \( \epsilon = 1/n \), this gives us
We see that for any fixed integer \( p > M + N + 3 \| q_+ \|{ }_{L_1(\Gamma )} \) the expression is positive for sufficiently large \( n \) and the difference between the eigenvalues possesses the uniform upper estimate
If one is interested in the difference between the eigenvalues for large \(n \) only, then the constant \( C \) can be taken equal to
but this value of \( C \) may be too small in order to ensure that (11.46) holds for all \( n \), since proving (11.44) we assumed that \( n \) is sufficiently large. The later assumption does not affect the final result, since for a finite number of eigenvalues estimate (11.46) is always satisfied, but the exact value of the constant \( C \) may be affected.
Lower Estimate To get a lower estimate we are going to use the maxmin principle (4.52). The first step is to notice that
Using the same subspace \( \mathcal V^0_{n-1} \) we get
Since \( u \) is orthogonal to \( \mathcal V^0_{n-1} \) it possesses the representation
As before let us split the function \( u = u_1 + u_2 \)
Note two important differences:
-
the function \( u_1 \) is given by the sum of \( p \) terms, where the number \( p \) independent of \( n \) will be chosen later, so the functions \( u_1 \) and \( u_2 \) exchange their roles;
-
the function \( u_2 \) is given by a series, not by an increasing number of terms as the function \( u_1 \) in the proof of the upper estimate.
Using the fact that \( q_- \) is nonnegative we may split the quadratic form
![](http://media.springernature.com/lw508/springer-static/image/chp%3A10.1007%2F978-3-662-67872-5_11/MediaObjects/329100_1_En_11_Equah_HTML.png)
Now the first function \( u_1 \) is given by a finite number of terms and the following estimate can be used
To estimate the second form we use (11.36) and the Sobolev estimate (11.12) for \(\max |u(x)|{ }^2\). We get
Taking into account
we arrive at
Summing the estimates (11.50) and (11.52) and taking into account that \( {\| u_2 \|{ }_{L_2}^2 = \| u \|{ }_{L_2}^2 - \| u_1 \|{ }_{L_2}^2} \) we get
As before, to prove the desired uniform estimate it is sufficient to show that for large enough \( n \) the following expression can be made positive by choosing an appropriate \(\epsilon \):
Again we use (11.45): we substitute \(\lambda _{n+p}(L_0^{\mathrm {st}})\) with the lower bound and \(\lambda _{n}(L_0^{\mathrm {st}})\) with the upper. As before we choose \( \epsilon = 1/n \), so the left-hand side of (11.53) becomes
If \( p > M + N + 3 \| q_- \|{ }_{L_1} \), then for sufficiently large \( n \) the expression is positive, hence the following lower estimate holds
where the exact value of \( C \) is determined by the difference between the first few eigenvalues as described above. Here we use (11.31) with \( \epsilon = 1\). □
If we are interested in large values of \( n \) only, then we have an explicit formula for the constant \( C(\Gamma , q) \) given by (11.47).
Problem 47
The constant \( C \) appearing in (11.32) for sufficiently large \( n \) can be taken in the form (11.47). On the other hand if \( q \in L_\infty (\Gamma ) \), then \( C \) can be taken equal to \( \| q \|{ }_{L_\infty (\Gamma )}. \) Which expression provides the best value and why?
Problem 48
Show that Theorem 11.8 holds for non-Robin vertex conditions.
11.3 Spectral Estimates for General Vertex Conditions
As the title of this section indicates we are going to prove spectral estimates in the case, where the vertex conditions are not assumed to be standard. The most general class of vertex conditions described in Chap. 3 will be covered.
Assume that a finite compact metric graph \( \Gamma \), a real \( L_1 \)-potential \( q \in L_1 (\Gamma ) \) and unitary irreducible vertex matrices \( S^m \) are given. Then the corresponding self-adjoint Schrödinger operator \( L^{\mathbf {S}}_q (\Gamma ) \) is defined using Definition 4.1. The spectral estimate we are going to prove resembles very much the estimate (11.32) with the only difference that the constant \( C \) should obviously depend not only on the graph \( \Gamma \) and potential \( q \), but on the vertex conditions as well. We did not consider the most general vertex conditions in the previous section just in order to simplify our presentation. What we need now, is just to go through the proof and amend all necessary formulas.
For the estimates we used quadratic forms, hence instead of the matrices \( S^m \) we need to consider the corresponding Hermitian matrices \( A^m \) appearing in the generalised Robin conditions (11.7). Every Hermitian matrix can be written as a difference between two positive matrices
where \( A^m_\pm \) are defined using the spectral representation of \( A^m \)
as follows
Let us analyse which ingredients were crucial for the proof of Theorem 11.8:
-
1.
explicit estimates for the perturbation term from below and from above (11.48) and (11.33);
-
2.
the estimate (11.36) for the perturbation term bounding it from above by \( \| u \|{ }^2_{L_\infty (\Gamma )}; \)
-
3.
the inequality (11.42) allowing to split the sum into two terms;
-
4.
Sobolev type inequality (11.12) allowing to estimate the \( L_\infty \)-norm of a function through its \( W_2^1 \)-norm;
-
5.
the estimate (11.37) for the Laplacian eigenfunctions.
The proof can be carried out without major modifications, provided the above mentioned estimates hold. One might need to amend the constants as described above.
-
1.
The lower and upper bounds (11.48) and (11.33) for the perturbation term can be modified as follows:
(11.57)Note that the quadratic forms \( B^+_{L^{\mathbf S}_q} \) do not depend on the negative part \( q_- \) of the potential \( q \) and on the negative part \( A^m_- \) of the matrix \(A^m. \) Similarly, \( B^-_{L^{\mathbf S}_q} \) is independent of \( q_+ \) and \(A^m_+ . \)
-
2.
Taking into account that all functions from the space \( W_2^1 (\Gamma \setminus \mathbf V) \) are continuous on every edge in \( \Gamma \) we may modify (11.36) as
$$\displaystyle \begin{aligned} \begin{array}{ccl} \displaystyle \left\vert B^\pm_{L^s_q} (u,u) \right\vert & \leq & \displaystyle \left( \| q_\pm \|{}_{L_1(\Gamma)} + \sum_{m=1}^M d_m \| A^m_\pm \| \right) \| u \|{}^2_{L_\infty (\Gamma)} \\ & \leq & \displaystyle \left( \| q \|{}_{L_1(\Gamma)} + \sum_{m=1}^M d_m \| A^m \| \right) \| u \|{}^2_{L_\infty (\Gamma)}. \end{array} \end{aligned} $$(11.58) -
3.
Taking into account nonnegativity of \( q_\pm \) and \( A^m_\pm \) we generalise estimate (11.42) as
$$\displaystyle \begin{aligned} B^\pm_{L^{\mathbf{S}}_q} (u_1+u_2,u_1+u_2) \leq 2 B^\pm_{L^{\mathbf{S}}_q} (u_1,u_1) +2 B^\pm_{L^{\mathbf{S}}_q} (u_2,u_2). \end{aligned} $$(11.59) -
4.
The estimate (11.12) is valid without any modification, since the vertex conditions were not used in its proof.
-
5.
The estimate (11.37) is valid as well for the same reason.
Therefore we may just repeat the proof of Theorem 11.8 to get:
Theorem 11.9
Let \( L_q^{\mathbf {S}} (\Gamma ) \) be an arbitrary Schrödinger operator on a compact finite metric graph \( \Gamma \) with absolutely integrable potential \( q \in L_1 (\Gamma ) \) and unitary irreducible vertex matrices \( S^m , m = 1,2, \dots , M\) . Consider the high energy limit of the vertex scattering matrices \( S_{\mathbf {v}}^m(\infty )\) and the corresponding reference Laplace operator \( L^{\mathbf S_{\mathbf {v}}(\infty )} \) defined on the graph \( \Gamma ^\infty .\) Then the Schrödinger and the refernce Laplace operators are asymptotically isospectral, moreover the difference between their eigenvalues is uniformly bounded
where the constant \( C (\Gamma , q, \mathbf S) \) depends on the graph \( \Gamma \) , the potential \( q\) and the vertex matrix \( \mathbf S\) , but is independent of \( n. \)
Proof
As we already mentioned the proof of Theorem 11.8 can be repeated without major modifications. As a result one arrives at the conclusion that the spectrum of \( L^{\mathbf {S}}_q \) is close to the spectrum of the self-adjoint operator corresponding to the quadratic form
with the domain of functions from \( W_2^1 (\Gamma \setminus \mathbf V) \) satisfying the generalised Dirichlet conditions (11.3) at the vertices. The self-adjoint operator corresponding to this quadratic form is the Laplace operator defined on the functions from \( W_2^2 (\Gamma \setminus \mathbf V) \) satisfying both generalised Dirichlet (11.3) and generalised Neumann conditions (11.23) at the vertices. To write such vertex conditions in the form (3.21) one has to substitute the unitary matrix \( \mathbf S \) with the high energy limit of the vertex scattering matrix \( \mathbf S_{\mathbf {v}} (\infty ).\) □
The main difference between the Theorems 11.8 and 11.9 is that the reference Laplacian is not the standard Laplacian on the same metric graph \( \Gamma \), but is the Laplace operator on the graph \( \Gamma ^\infty \) with the vertex conditions given by (11.3) and (11.23). Hence the reference Laplacian is not necessarily a standard Laplacian on \( \Gamma ^\infty . \) Of course, if the vertex conditions in \( L^{\mathbf S}_q \) are asymptotically properly connecting and standard, then the reference operator is just the standard Laplacian on \( \Gamma . \)
Problem 49
Consider the cycle of length \( \pi \) with a single degree two vertex. Assume that the vertex conditions are given by the matrix \( \mathbf S = \frac {1}{2} \left ( \begin {array}{cc} 1 + i & 1-i \\ 1-i & 1+ i \end {array} \right ) \) from Example 11.2. Show that the spectrum tends to the spectrum of the Neumann Laplacian on the interval \( [0, \pi ].\)
Notes
- 1.
Note that this formula holds only for functions from the domain of the operator.
- 2.
These operators act on \( \Gamma \) and \( \Gamma ^\infty \) respectively.
References
M.Sh. Birman, M.Z. Solomjak, Spectral Theory of Selfadjoint Operators in Hilbert Space. Mathematics and its Applications (Soviet Series) (D. Reidel Publishing Co., Dordrecht, 1987). Translated from the 1980 Russian original by S. Khrushchëv and V. Peller. MR1192782
G. Borg, Eine Umkehrung der Sturm-Liouvilleschen Eigenwertaufgabe. Bestimmung der Differentialgleichung durch die Eigenwerte. Acta Math. 78, 1–96 (1946). https://doi.org/10.1007/BF02421600 (German). MR15185
V.A. Marchenko, Sturm-Liouville Operators and Applications. Revised edition (AMS Chelsea Publishing, Providence, 2011). MR2798059
M. Reed, B. Simon, Methods of Modern Mathematical Physics. I-IV (Academic, New York-London, 1972)
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). Quadratic Forms and Spectral Estimates. 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_11
Download citation
DOI: https://doi.org/10.1007/978-3-662-67872-5_11
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)