Abstract
In this paper a two-step reduction method for spectral problems on a star graph with \(n+1\) edges \(e_{0}, e_{1}, \ldots , e_{n}\) and a self-adjoint matching condition at the central vertex v is established. The first step is a reduction to the problem on the single edge \(e_0\) but with an energy depending boundary condition at v. In the second step, by means of an abstract inverse result for Q-functions, a reduction to a problem on a path graph with two edges \(e_0\), \(\widetilde{e}_1\) joined by continuity and Kirchhoff conditions is given. All results are proved for symmetric linear relations in an orthogonal sum of Hilbert spaces. This ensures wide applicability to various different realizations, in particular, to canonical systems and Krein strings which include, as special cases, Dirac systems and Stieltjes strings. Employing two other key inverse results by de Branges and Krein, we answer e.g. the following question: If all differential operators are of one type, when can the reduced system be chosen to consist of two differential operators of the same type?
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Direct and inverse spectral problems for differential operators on graphs have attracted rapidly increasing interest over the last two decades. Since it seems impossible to list all relevant literature, we mention the three monographs [5, 26, 33], whose bibliographies reflect the intense research activities in this area very well. The vast majority of these works considers concrete operators on graphs such as Sturm–Liouville and Schrödinger operators [2, 3, 16, 25, 37], Laplace and related operators [29], Krein strings [13], Stieltjes strings [30, 31], canonical systems and Dirac operators [1, 8]. More abstract methods were developed in [32, 35].
The results of this paper are of more conceptual character; they have implications to many differential and difference operators, and corresponding Cauchy problems. We establish abstract results for compressed resolvents of self-adjoint extensions of an orthogonal sum of symmetric relations. They allow us to reduce spectral problems on a star graph with self-adjoint matching condition at the central vertex to problems on a single edge and, using inverse results, to problems on a path graph with two edges, see Fig. 1a–c. We also address the question whether for concrete realizations the reduced system on the path graph can be chosen of the same type as the original system.
More precisely, the subsystem on the n edges \(e_1, e_2, \ldots , e_n\) (the blue/ non-bold part in Fig. 1a) joined to \(e_0\) (the red/bold part in Fig. 1a) with arbitrary self-adjoint matching condition at the central vertex v is first condensed into an energy depending boundary condition at the endpoint v of the edge \(e_0\) (the blue/non-bold part in Fig. 1b). In the second step the energy depending boundary condition is replaced by a new subsystem on an edge \(\widetilde{e}_1\) joined to \(e_0\) by continuity and Kirchhoff conditions (the blue/non-bold part in Fig. 1c).
To exemplify our results, we consider a star graph \({\mathcal G}\) as in Fig. 1a and we suppose that for each edge \(e_j\) a symmetric linear relation \(T_j\) with equal defect numbers 1 in a Hilbert space \({\mathcal H}_j\) and a boundary triplet \(({\mathbb C},\Gamma _{j1},\Gamma _{j2})\), \(j=0,1,\ldots ,n\). are given. For concrete realizations, e.g. differential or difference operators as considered below, the boundary triplets depend on the values and derivatives of the functions at the central vertex v. The Hilbert space \({\mathcal H}\) on the graph \({\mathcal G}\) is the orthogonal sum of the Hilbert spaces \({\mathcal H}_j\) on the edges \(e_j,\, j=0,1,\ldots ,n\), and in \({\mathcal H}\) the symmetric relation \(\mathbf T\) is defined as the orthogonal sum of the relations \(T_j\). The self-adjoint extensions of \(\mathbf T\) in \({\mathcal H}\) are all described by an interface condition parametrized by two \((n+1)\times (n+1)\)-matrices \({\mathcal A}\), \({\mathcal B}\) (see (2.12), (2.13) below); we denote them by \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) and we fix such an extension.
The key step in our analysis is to determine the compressed resolvent of \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) corresponding to the distinguished edge \(e_0\). This means, given an element \(f_0\in {\mathcal H}_0\) we describe the first component \(g_0\in {\mathcal H}_0\) of the resolvent \((\mathbf{T}_{{\mathcal A},{\mathcal B}}-z)^{-1}\) applied to the element \(\mathbf{f}_0 = (f_0,0,\ldots ,0)^\mathrm{t}\) supported only on \({\mathcal H}_0\),
where \(P_0\) is the projection of \({\mathcal H}\) onto the first component \({\mathcal H}_0\). Note that the compressed resolvent of \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) (to \({\mathcal H}_0\)) on the right hand side of (1.1) is also a generalized resolvent of the symmetric relation \(T_0\) in \({\mathcal H}_0\). Our first main result, Theorem 3.1, shows that \(g_0\) is a solution of the inhomogeneous problem for \(T_0^*\) in \({\mathcal H}_0\) with energy depending boundary condition which, if \(T_0^*\) is an operator, has the form
here the function \(n_0\) depends on the matrices \({\mathcal A}\), \({\mathcal B}\) and on the Titchmarsh-Weyl functions \(m_j\) of the other \(T_j\), \(j=1,2,\ldots ,n\). In other words, the element \(g_0\) in (1.1) defined by the resolvent of \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) in the Hilbert space \({\mathcal H}={\mathcal H}_0\oplus {\mathcal H}_1\oplus \cdots \oplus {\mathcal H}_n\) is a solution of a problem in the first component \({\mathcal H}_0\), or in the graph situation on the edge \(e_0\), but with a z-depending boundary condition at v, see Fig. 1b. The essential property of the function \(n_0\) in (1.2) is that it is a Nevanlinna function, i.e. holomorphic at least on \(\mathbb C^+\cup \mathbb C^-\) with \(n_0(\overline{z})=\overline{n_0(z)}\) and \({{\mathrm{Im}}}n_0(z) \ge 0\) if \({{\mathrm{Im}}}z > 0\).
According to a general abstract inverse result of Langer and Textorius [28] (see also [11]), each Nevanlinna function is the Q-function, or Titchmarsh-Weyl function, of a symmetric relation with defect numbers 1 (and a self-adjoint extension \(\widetilde{T}_1\) of it) in some Hilbert space \(\widetilde{\mathcal H}_1\). If we apply this result to the function \(n_0\) in (1.2), it follows that the compressed resolvent of \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) in (1.1) coincides with the compressed resolvent of a self-adjoint relation \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) extending \(T_0\oplus \widetilde{T}_1\) and acting in the Hilbert space \(\widetilde{\mathcal H}={\mathcal H}_0\oplus \widetilde{\mathcal H}_1\),
here \({\mathcal A}_0\), \({\mathcal B}_0\) is the matrix pair defining standard matching conditions, see Theorem 4.1. In the graph situation this means that, for given \(f_0\in {\mathcal H}_0\), on the common edge \(e_0\) the ‘values’ of \((\mathbf{T}_{{\mathcal A},{\mathcal B}}-z)^{-1} (f_0 \ 0 \ \cdots \ 0 )^\mathrm{t}\) for the original star graph \({\mathcal G}\) and of \((\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}-z)^{-1} (f_0 \ 0 )^\mathrm{t}\) for the simpler path graph \(\widetilde{\mathcal G}\) coincide, see Theorem 4.4.
This result also has implications for first and second order Cauchy problems on star graphs (see e.g. [4, 23]). Consider, for example, the Cauchy problem
in \({\mathcal H}\), i.e. on the star graph \({\mathcal G}\) with initial value \(\mathbf{u}_0\) and right hand side \(\mathbf{f}\) supported only on \(e_0\). Then on this edge \(e_0\) the solution of problem (1.4) coincides with the solution \(\mathbf{u}\) of the Cauchy problem for the operator \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) in \(\widetilde{\mathcal H}\), i.e. on the path graph \(\widetilde{\mathcal G}\), with initial value \(\widetilde{\mathbf{u}}_0\) and right hand side \(\widetilde{\mathbf{f}}_0\) having the same first components as \(\mathbf{u}_0\) and \(\mathbf{f}\), respectively, and zero second components, see Theorem 4.4. Analogous results can be formulated for second order Cauchy problems, see Remark 4.5.
An inverse result of de Branges [7, Thm. 7] (see also [38, Thm. 1]) yields that every (scalar) Nevanlinna function is the Titchmarsh-Weyl function of a canonical system. Hence \(\widetilde{T}_1\) can even be chosen to be generated by a trace normed canonical system on the interval \([0,\infty )=\widetilde{e}_1\). Thus, in the graph situation, the compressed resolvent of \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) on the star graph, see (1.1), coincides with the compressed resolvent of an operator \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) on a path graph with two edges \(e_0\), \(\widetilde{e}_1\), given by \(T_0\) on \(e_0\) and a canonical system on \(\widetilde{e}_1\) joined by continuity and Kirchhoff conditions at v, see Theorem 4.6. If, in particular, \(T_0\) is given by a canonical system while all other relations \(T_j\), \(j=1,2,\ldots ,n\), are arbitrary, then \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) is given by two canonical systems on the path graph \(\widetilde{\mathcal G}\), see Corollary 5.1.
According to an inverse result of Krein [18] (see also [12, Sect. 5]), a Nevanlinna function that belongs to the subclass \({\mathcal S}\) of Stieltjes functions, i.e. is also holomorphic on \((-\,\infty ,0)\) and non-negative there, is the Titchmarsh-Weyl function of a Krein string. Hence, if the function \(n_0\) in (1.2) is a Stieltjes function, the relation \(\widetilde{T}_1\) can be chosen to be generated by a Krein string. In the case where the relations \(T_j\), \(j=1,2,\ldots ,n\), are generated by Krein strings joined to \(T_0\) by continuity and Robin type interface conditions at v, a sufficient condition for \(n_0\in {\mathcal S}\) is that the Robin parameter \(\tau \) satisfies the inequality
see Theorem 5.2. Here \(m_j\), \(j=1,2,\ldots ,n\), is the Titchmarsh-Weyl function of the Krein string on \(e_j\) which implies that \(m_j \in {\mathcal S}\) and hence \(m_j(0-)\in [0,\infty ]\). Note that, for the special case of Kirchhoff conditions where \(\tau =0\), condition (1.5) is automatically satisfied. Therefore, in contrast to canonical systems, if all the relations \(T_j\), \(j=0,1,\ldots ,n\), are given by Krein strings, then \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) need not be given by two Krein strings on \(\widetilde{\mathcal G}\) unless the Robin parameter satisfies inequality (1.5).
While the mass distribution function of a Krein string is an arbitrary non-decreasing (left-continuous) function, for a Stieltjes string it is a step function with steps accumulating at most at the right end-point. For a star graph of Stieltjes strings as in Fig. 1a this means that the steps on the edges \(e_j\) accumulate at most at the outer vertices \(v_j\), \(j=0,1,\ldots ,n\). Employing asymptotic expansions of Titchmarsh-Weyl functions, it follows that if, in the above situation, inequality (1.5) holds and all \(T_j\), \(j=0,1,\ldots ,n\), are Stieltjes strings, the reduced system \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) consists of two Stieltjes strings, see Corollary 5.4.
If all \(T_j\), \(j=0,1,\ldots ,n\), are Sturm–Liouville operators, Theorem 3.1 yields a reduction to the single Sturm–Liouville operator \(T_0\) on \(e_0\) with an energy depending boundary condition at v. Moreover, Theorem 4.6 based on de Branges’ inverse result applies and yields a reduction to a problem on a path graph of two edges for the Sturm–Liouville operator \(T_0\) and a canonical system \(\widetilde{T}_1\) with standard interface conditions. However, due to a lack of corresponding inverse results for Sturm–Liouville operators, the latter can in general not be replaced by a Sturm–Liouville operator.
The paper is organized as follows. In Sect. 2 we present some general results on Krein’s formula for an orthogonal sum of \(n+1\) symmetric linear relations \(T_j\), \(j=0,1,\ldots ,n\), each with equal defect numbers 1. In Sect. 3 we establish the relation between the compressed resolvent (1.1) and the extension of \(T_0\) determined by an energy depending boundary condition, see (1.2). Section 4 contains the main result where we use the abstract inverse result on Q-functions to ‘replace’ the z-depending boundary condition by a new symmetric linear relation \(\widetilde{T}_1\) or, correspondingly, by attaching a realization on a new edge \(\widetilde{e}_1\), see Fig. 1c. Implications of our reduction result for Cauchy problems of first and second order on star graphs are given in Sect. 4.2. In Sect. 5 we consider concrete operators on star graphs: canonical systems and Krein strings, which cover Dirac operators and Stieltjes strings as special cases, respectively, and Sturm–Liouville operators. Combining our results with the inverse results of de Branges and Krein, we obtain a more complete picture of the structure of the reduced problems.
2 The Abstract Schema
In this section we set up a framework for pasting a finite number of symmetric linear relations with general self-adjoint interface conditions, comp. [35]. For this we need some notation and basic properties of symmetric linear relations, boundary triplets and corresponding Titchmarsh-Weyl functions, see e.g. [34, Chapter 14], [9, 10].
2.1 The Titchmarsh-Weyl Function of an ‘Edge’
Let \(T_0, T_1, \ldots , T_n\) be symmetric linear relations in Hilbert spaces \({\mathcal H}_0, {\mathcal H}_1, \ldots , {\mathcal H}_n\) with equal defect numbers 1. For each \(j\in \{0,1,\ldots ,n\}\) let \(({\mathbb C},\Gamma _{j1},\Gamma _{j2})\) be a boundary triplet for the adjoint relation \(T_j^*\), i.e.
Then all self-adjoint extensions of \(T_j\) in \({\mathcal H}_j\) are described by ‘boundary’ conditions
with a, \(b \in \mathbb R\). By \(T_{j;a,b}\) we denote the corresponding self-adjoint relation in \({\mathcal H}_j\), i.e. the restriction of \(T_j^*\) by (2.2).
Choose an \({\mathcal H}_j\)-valued function \(h_j\) on \(\mathbb C{\setminus }\mathbb R\) such that \(h_j(z)\) is a defect element of \(T_j\) at \(\overline{z}\), i.e. \(h_j(z) \in {\mathcal H}_j {\setminus } \{0\}\) and
and such that \(h_j\) is analytic on \(\mathbb C{\setminus }\mathbb R\). In fact, if we fix \(z_0\in \mathbb C{\setminus }\mathbb R\) and a defect element \(h_j(z_0)\) of \(T_j\) at \(\overline{z}_0\), i.e. \(\{h_j(z_0),z_0h_j(z_0)\}\in T_j^*\), and, with the self-adjoint extension \(T_{j;0,1}\) of \(T_j\) in \({\mathcal H}_j\), we define
it is easy to check that \(h_j\) satisfies (2.3) and is analytic on \(\mathbb C{\setminus }\mathbb R\). Further,
In the following we choose \(h_j(z_0)\) such that \(\Gamma _{j2}h_j(z_0)=1\), and hence
Then the Titchmarsh-Weyl function \(m_j\), corresponding to this choice of the boundary triplet, is defined by the formula
or equivalently, due to (2.5),
The function \(m_j\) is a Nevanlinna function since by (2.5), (2.6),
for z, \(\zeta \in {\mathbb C}{\setminus }{\mathbb R}\), \(z\ne \overline{\zeta }\), and hence
in particular, \({{\mathrm{Im}}}m_j(z) > 0\) if \({{\mathrm{Im}}}z >0\).
2.2 The ‘Interface’ Condition
Now we consider the orthogonal sum \(\mathbf{T}:=\bigoplus _{j=0}^nT_j\) of linear relations \(T_j\) in the Hilbert space \({\mathcal H}:=\bigoplus _{j=0}^n{\mathcal H}_j\) with elements
Then \(\mathbf{T}\) has equal defect numbers \(n+1\) and a boundary triplet for \(\mathbf{T}^*=\bigoplus _{j=0}^nT_j^*\) is given by \(({\mathbb C}^{n+1}, \Gamma _{1}, \Gamma _{2})\) where
since the relations (2.1) imply that
If we define the \({\mathcal H}\)-valued function \(\mathbf{h}\) by
then \(\{\mathbf{h}(z),z\mathbf{h}(z)\}\in \mathbf T^*\) and the corresponding Titchmarsh-Weyl function is the \((n+1)\times (n+1)\)-matrix function \({\mathcal M}\) defined by
Clearly, due to (2.6),
and hence, using (2.5) we conclude that
A description of all self-adjoint extensions of symmetric linear relations with equal deficiency numbers in terms of a boundary triplet has long been known (see [6, 22], [10]). Correspondingly, all self-adjoint extensions of \(\mathbf{T}\) in \({\mathcal H}\) are given by ‘interface’ conditions
where \({\mathcal A}, {\mathcal B}\) is a pair of real \((n+1)\times (n+1)\)-matrices with the properties
By \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) we denote the corresponding self-adjoint relation in \({\mathcal H}\), i.e. the restriction of \(\mathbf{T}^*\) by (2.12).
It is well-known that the inverse \(({\mathcal A}{\mathcal M}(z) - {\mathcal B})^{-1}\) exists for all \(z\in {\mathbb C}{\setminus }{\mathbb R}\). In fact, the Nevanlinna property of \({\mathcal M}\) and (2.13) imply that, for \(x_0 \in \ker ({\mathcal M}(z)^* {\mathcal A}^*-{\mathcal B}^*)\),
whence \({\mathcal A}^*x_0=0\) and thus \({\mathcal B}^*x_0=0\), a contradiction to the first condition in (2.13).
2.3 A Version of M. G. Krein’s Resolvent Formula
The resolvent of any self-adjoint relation \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) is related to the resolvent of the particular self-adjoint relation \(\mathbf{T}_{0,{\mathcal I}}\) with the special ‘interface’ condition \(\Gamma _2\mathbf{y}=0\) as follows.
Proposition 2.1
For \(z\in {\mathbb C}{\setminus }{\mathbb R}\) and \(\mathbf{f}\in {\mathcal H}\), we have
where \(h_j(z)\) and \({\mathcal M}(z)\) are as in (2.4) and (2.10), respectively.
Proof
Let \(z\in {\mathbb C}{\setminus }{\mathbb R}\). For given \(\mathbf{f}\in {\mathcal H}\) the element \(\mathbf{y}:=(\mathbf{T}_{{\mathcal A},{\mathcal B}}-z)^{-1}\mathbf f\) given by
In the following, for ease of presentation, we restrict ourselves to the case that all \(T_j\), \(j=0,1,\ldots ,n\), are operators, and hence so are \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) and \(\mathbf{T}_{0,{\mathcal I}}\). We consider the difference of the resolvents of \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) and \(\mathbf{T}_{0,{\mathcal I}}\). Recall that, due to (2.2) and (2.12),
Then, for \(\mathbf{f}\in {\mathcal H}\), we have
and hence, by (2.3),
with linear functionals \(c_j(\cdot ,z): {\mathcal H}\rightarrow {\mathbb C}\), \(j=0,1,\ldots ,n\). Then, for \(\mathbf{f} =(f_j)_0^n\), \(\mathbf{g}=(g_j)_0^n \in {\mathcal H}\), taking the scalar product with \(\mathbf{g}\) in (2.16), we conclude that
and, analogously,
Since \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) and \(\mathbf{T}_{0,{\mathcal I}}\) are self-adjoint, it follows that the two right-hand sides above are equal. It is not difficult to see that this implies that there exists an \((n+1)\times (n+1)\)-matrix \({\mathcal F}(z)\) such that
In order to find an expression for \({\mathcal F}(z)\), we apply the functionals \(\Gamma _{1}\) and \(\Gamma _{2}\) to (2.17) and observe (2.11), (2.5), and (2.15) to obtain
By means of the relation (2.12) for \(\mathbf{y}=(\mathbf{T}_{{\mathcal A},{\mathcal B}}-z)^{-1}\mathbf f\), we arrive at
Further, (2.1) yields that
Since \(T_j^*{ h_j}(\overline{z})=\overline{z}{ h_j}(\overline{z})\) by (2.3), the expression on the left hand side equals \(({ f_j},{ h_j}(\overline{z}))\). The first term on the right hand side is zero because the first factor vanishes, and the second factor of the last term is equal to 1 due to (2.5). It follows that
Using this in (2.18), we find
Inserting this expression into (2.17) we arrive at (2.14). \(\square \)
3 The Compressed Resolvent
In this section we characterize the compression of the resolvent of \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) to the first component \({\mathcal H}_0\) of \({\mathcal H}\),
in terms of \( T_0^*\) and a z-depending boundary condition. Here \(P_0\) is the projection onto the first component, \(P_0: {\mathcal H}\rightarrow {\mathcal H}_0\), \(P_0(f_j)_0^n = f_0\), and \(P_0^*:{\mathcal H}_0 \rightarrow {\mathcal H}\), \(P_0^*f_0 = (f_0 \ 0\ \cdots \ 0)^\mathrm{t}\).
Theorem 3.1
Let \({\mathcal M}_{n}={\mathrm{diag}}\,(0,m_1,\ldots ,m_n)\) where \(m_j\) are the Titchmarsh-Weyl functions defined by (2.6), \(j=0,1,\ldots ,n\), and let \(\mathrm{e}_0 \in {\mathbb C}^{n+1}\) be the first unit vector. Then, for \(z\in {\mathbb C}{\setminus }{\mathbb R}\), the problem
is equivalent to the inhomogeneous problem in \({\mathcal H}_0\) with z-depending boundary condition
where \(n_0\) is a Nevanlinna function not depending on \(m_0\) and given by
or \(n_0 \equiv \infty \) (corresponding to \(\Gamma _{01}g_0=0\) in (3.2)).
Remark 3.2
The statement of Theorem 3.1 may also be formulated as follows. If \(\mathbf{f}\in {\mathcal H}\) is supported on \({\mathcal H}_0\), then, for \(z\in \rho (\mathbf{T}_{{\mathcal A},{\mathcal B}})\) the projection of \((\mathbf{T}_{{\mathcal A},{\mathcal B}}-z)^{-1}{} \mathbf{f}\) to \({\mathcal H}_0\) is the solution of the boundary value problem for \(T_0^*-z\) on \({\mathcal H}_0\) with the z-depending boundary condition in (3.2). Note that, if \(T_0\) is a linear operator, then (3.2) becomes
Proof of Theorem 3.1
For ease of presentation, we assume that \(T_0\) is a linear operator. Let \(z\in {\mathbb C}{\setminus }{\mathbb R}\). First we prove that if \(f_0\), \(g_0\in {\mathcal H}_0\) satisfy (3.1), then they satisfy (3.2). By (3.1) and since \(\mathbf{T} = \bigoplus _{j=0}^n T_j \subset \mathbf{T}_{{\mathcal A},{\mathcal B}}\), we conclude that, for arbitrary \(u_0\in {{\mathrm{dom}}}T_0\),
This implies \(g_0 \in {{\mathrm{dom}}}T_0^*\) and \((T_0^*-z)g_0=f_0\), which proves the first claim in (3.2).
Further, applying \(P_0\) to (2.14) for \(\mathbf{f}=P_0^*f_0\) with \(f_0\in {\mathcal H}_0\), we find
If we use (2.19) and (2.7), it follows that
Similarly, observing (2.15) and (2.5), we conclude that
Altogether, we obtain
and hence \(g_{1}\) satisfies the boundary condition in (3.2) if we show that \(\widetilde{n}_0 = n_0\).
Next we prove that if \(f_0,g_0\in {\mathcal H}_0\) satisfy (3.2), then they satisfy (3.1). This means that we have to show that \(\widetilde{g}_0:= P_0(\mathbf{T}_{{\mathcal A},{\mathcal B}}-z)^{-1}(T_0^*-z)g_0\) is equal to \(g_0\). The definition of \(\widetilde{g}_0\) implies that \(f_0\) and \(\widetilde{g}_0\) satisfy (3.1) and hence, by what has been already proved in the first part, also (3.2), i.e.
Thus the difference \(h := \widetilde{g}_0 - g_0\) is a solution of the homogeneous problem
This together with (2.1) yields that
If \(h \ne 0\), this would imply that \({{\mathrm{Im}}}n_0(z) / {{\mathrm{Im}}}z < 0\), which is a contradiction if we prove that \(n_0\) is a Nevanlinna function.
It remains to be shown that \(\widetilde{n}_0=n_0\) and that \(n_0\) is a Nevanlinna function. Since the latter clearly holds for \(n_0\equiv 0\), we may assume that we have \(1-m_0(z)((A{\mathcal M}(z)-{\mathcal B})^{-1}{\mathcal A}\mathrm{e}_0,\mathrm{e}_0)_{{\mathbb C}^{n+1}}\ne 0\). We introduce the \((n+1)\times (n+1)\) matrix function
It is not difficult to show that \({\mathcal N}(z)^{-1}\) exists for \(z\in {\mathbb C}{\setminus }{\mathbb R}\) and is given by
By (3.3), this implies that, for \(z\in {\mathbb C}{\setminus }{\mathbb R}\),
Hence \(\widetilde{n}_0=n_0\) and \(n_0\) is a Nevanlinna function if \(-\,{\mathcal N}(z)^{-1}{\mathcal A}\) is a matrix Nevanlinna function. Since the \(m_j\) are Nevanlinna functions and \({\mathcal B}{\mathcal A}^*\) is self-adjoint, (3.4) shows that \({\mathcal N}(z){\mathcal A}^*\) is a matrix Nevanlinna function and hence so is \(-\,{\mathcal N}(z)^{-1}{\mathcal A}\) because
That \(n_0\) is independent of \(m_0\) is immediate from (3.3). \(\square \)
Theorem 3.1 may be used to relate the spectra of \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) in \({\mathcal H}\) and of the z-depending spectral problem (3.2) in \({\mathcal H}_0\). For simplicity, we consider the case that the self-adjoint extensions of the \(T_j\) have discrete spectra, hence all the functions \(m_j\) and also \(n_0\) are meromorphic. Note that, if \(z=\lambda \) is a pole of \(n_0\), then the second relation in (3.2) becomes \(\Gamma _{02}g=0\); if \(z=\lambda \) is a zero of \(n_0\) or if \(n_0 \equiv 0\), then the second relation in (3.2) becomes \(\Gamma _{01}g=0\).
Corollary 3.3
-
(i)
If \(z\in \rho (\mathbf{T}_{{\mathcal A},{\mathcal B}})\), then for each \(f_0\in {\mathcal H}_0\) the problem (3.2) has the solution \(g_0\) given by (3.1).
-
(ii)
If \(\lambda \in \sigma _\mathrm{p}(\mathbf{T}_{{\mathcal A},{\mathcal B}})\) with eigenvector \(\mathbf{g}\) and \(n_0\) is holomorphic in a neighbourhood of \(\lambda \), then
$$\begin{aligned} \{{P}_0\mathbf{g},0\} \in (T_0^*-z), \quad \Gamma _{01}{P}_0\mathbf{g}-n_0(z)\Gamma _{02}{P}_0\mathbf{g}=0, \end{aligned}$$(3.5)is satisfied for \(z=\lambda \), and \(\lambda \) is an eigenvalue of (3.5) with eigenvector \({P}_0\mathbf{g}\) if \({P}_0\mathbf{g}\ne 0\).
Proof
The first claim is immediate from Theorem 3.1, the second claim follows because
for \(u \in {{\mathrm{dom}}}(T_0)\).\(\square \)
Example 3.4
As a special case of interface conditions (2.12) we consider
where \(\tau \in \mathbb R\cup \{\infty \}\). Here \(\tau =0\) corresponds to continuity and Kirchhoff type conditions, while \(\tau =\infty \) corresponds to Dirichlet type conditions where the relations \(T_j\) are decoupled. If \(\tau \ne 0\), the matrices \({\mathcal A}\) and \({\mathcal B}\) in (2.12) can be chosen as
For \(z\in {\mathbb C}{\setminus }{\mathbb R}\), the solution \(x(z) =(x_j(z))_0^n\in {\mathbb C}^{n+1}\) of the inhomogeneous linear system \(({\mathcal A}_\tau {\mathcal M}(z)-{\mathcal B}_\tau ) x(z) ={\mathcal A}_\tau \mathrm{e}_0\) is given by
and hence we conclude that the function \(n_0\) in (3.3) takes the form
It is not difficult to see that (3.8) continues to hold if \(\tau =0\); note that here the matrices \({\mathcal A}_0, {\mathcal B}_0\) have to be chosen differently from (3.7), see (3.10) below for the case \(n=1\).
In the special case of Robin type interface conditions, the properties of \(n_0\) proved in Theorem 3.1 for general interface conditions (2.12) are immediate from the explicit formula (3.8) for \(n_0: n_0\) does not depend on \(m_0\), and since \(m_1, m_2, \ldots , m_n\) are Nevanlinna functions so is \(n_0\) for every \(\tau \in \mathbb R\cup \{\infty \}\).
Remark 3.5
The special case \(n=1\) and \(\tau =0\) corresponds to the linear relation \(\mathbf{T} = T_0 \oplus T_1\) in \({\mathcal H}={\mathcal H}_0\oplus {\mathcal H}_1\) and its self-adjoint extension \(\mathbf{T}_{{\mathcal A}_0,{\mathcal B}_0}\) given by continuity and Kirchhoff type conditions
where \({\mathcal A}\), \({\mathcal B}\) in (2.12) can be chosen as
Here formula (3.8) reduces to
that is, the z-depending coefficient of the boundary condition in the first component \({\mathcal H}_0\) is the Titchmarsh-Weyl function of \(T_1\) in the second component \({\mathcal H}_1\). This is well-known when performing interval truncation e.g. in numerics of Sturm–Liouville equations.
Remark 3.6
A natural generalization of the Robin type interface condition in (3.6) is
with coefficients \(\tau _j\in \mathbb R\cup \{\infty \}\), \(j=0,1,\ldots ,n\). If all \(\tau _j\) are positive or all \(\tau _j\) are negative, the function \(n_0\) which can be introduced in a similar way as above as
is a Nevanlinna function and induces a self-adjoint operator in some Hilbert space.
4 The Reduced System and its Realization via de Branges’ Inverse Theorem
4.1 The Reduced System
In the following theorem we show that there exists a single linear relation \(\widetilde{T}_1\) with Titchmarsh–Weyl function \(\widetilde{m}_1=n_0\) such that the compressed resolvents on \({\mathcal H}_0\) of the corresponding self-adjoint extensions of \(\mathbf{T} = T_0 \oplus T_1 \oplus \cdots \oplus T_n\) with interface condition (2.12) and of \(\widetilde{\mathbf{T}} = T_0 \oplus \widetilde{T}_1\) with continuity and Kirchhoff type conditions (3.9) coincide. The main tool here is an abstract inverse result [28].
Theorem 4.1
Let \(T_j\) be symmetric linear relations in Hilbert spaces \({\mathcal H}_j\) with equal defect numbers 1, \(j=0,1,\ldots ,n\), let the self-adjoint extension \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) of \(\mathbf{T} = T_0\oplus T_1 \oplus \cdots \oplus T_n\) in \({\mathcal H}= {\mathcal H}_0\oplus {\mathcal H}_1 \oplus \cdots \oplus {\mathcal H}_n\) be induced by (2.12) as in Theorem 3.1, and let \(n_0\) be the Nevanlinna function in the boundary condition in (3.2). Then there exists a symmetric linear relation \(\widetilde{T}_1\) in a Hilbert space \(\widetilde{\mathcal H}_1\) with equal defect numbers 1, a boundary triplet \((\mathbb C,\widetilde{\Gamma }_{11}, \widetilde{\Gamma }_{12})\) for \(\widetilde{T}_1^*\) and Titchmarsh–Weyl function \(\widetilde{m}_1=n_0\) such that for the self-adjoint extension \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) of \(\,\widetilde{\mathbf{T}} = T_0 \oplus \widetilde{T}_1\) in \(\widetilde{\mathcal H}= {\mathcal H}_0\oplus \widetilde{\mathcal H}_1\) with \({\mathcal A}_0\), \({\mathcal B}_0\) as in (3.10),
here \(P_0:{\mathcal H}\rightarrow {\mathcal H}_0\), \(\widetilde{P}_0:\widetilde{\mathcal H}\rightarrow {\mathcal H}_0\) are the projections onto the first common component of \({\mathcal H}\) and \(\widetilde{\mathcal H}\), respectively.
Proof
According to a general inverse result for Q-functions (or Titchmarsh-Weyl functions), see [28, 11, Thm. 5.1], for the given Nevanlinna function \(n_0\) in (3.3) there exists a symmetric linear relation \(\widetilde{T}_1\) with equal defect numbers 1 and a boundary triplet \((\mathbb C,\widetilde{\Gamma }_{11}, \widetilde{\Gamma }_{12})\) for \(\widetilde{T}_1^*\) such that the corresponding Titchmarsh-Weyl function \(\widetilde{m}_1\) coincides with \(n_0\), i.e. \(\widetilde{m}_1=n_0\). On the other hand, by Remark 3.5, the function \(\widetilde{n}_0\) in (3.2) for \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) is given by \(\widetilde{n}_0=\widetilde{m}_1\) and hence \(\widetilde{n}_0=n_0\). Since \(\mathbf{T}\) and \(\widetilde{\mathbf{T}}\) have the same first component \(T_0\), this implies that the problems (3.2) for \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) and \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) coincide and hence Theorem 3.1 yields the claim. \(\square \)
Remark 4.2
For the special case that the interface conditions (2.12) in Theorem 4.1 are of Robin type (3.6), see Example 3.4, the relation \(\widetilde{m}_1 = n_0\) takes the form
Corollary 4.3
With the notation and assumptions of Theorem 4.1, we have:
-
(i)
For \(z\in {\mathbb C}{\setminus }{\mathbb R}\) and \(f_0\in {\mathcal H}_0\), the first components of the solutions \(\mathbf{g}\) and \(\widetilde{\mathbf{g}}\) of the inhomogeneous equations
$$\begin{aligned} (\mathbf{T}_{{\mathcal A},{\mathcal B}}-z)\mathbf{g}=\begin{pmatrix}f_0\\ 0\\ \vdots \\ 0\end{pmatrix},\quad (\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}-z)\widetilde{\mathbf{g}}=\begin{pmatrix}f_0\\ 0\end{pmatrix} \end{aligned}$$coincide, that is, \(P_0\mathbf{g}=\widetilde{P}_0\widetilde{\mathbf{g}}\).
-
(ii)
If \(\lambda \in \sigma _\mathrm{p}(\mathbf{T}_{{\mathcal A},{\mathcal B}})\) with eigenvector \(\mathbf{g}\) and \({P}_0\mathbf{g}\ne 0\), then \(\lambda \in \sigma _\mathrm{p}(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0})\) with eigenvector \(\widetilde{\mathbf{g}}\) such that \(\widetilde{P}_0\widetilde{\mathbf{g}}=P_0\mathbf{g}\), and vice versa if \(\widetilde{P}_0\widetilde{\mathbf{g}}\ne 0\).
Proof
The claim in (i) is immediate from Theorem 4.1. The claims in (ii) follow from the fact that for a self-adjoint operator A in a Hilbert space with eigenvalue \(\lambda _0\in {\mathbb R}\) the orthogonal projection \(P_{\lambda _0}\) onto the corresponding eigenspace may be obtained as the strong limit \(P_{\lambda _0}=\text{ s }-\lim \nolimits _{z\rightarrow \lambda _0}(z_0-z)(A-z)^{-1}\) if z tends to \(\lambda _0\) perpendicularly to \({\mathbb R}\).\(\square \)
4.2 Implications for Cauchy Problems
If \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) and \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) are self-adjoint operators, they generate unitary groups \((\mathbf{U}_{{\mathcal A},{\mathcal B}}(t))_{t\in \mathbb R}\) and \(({\widetilde{\mathbf{U}}}_{{\mathcal A}_0,{\mathcal B}_0}(t))_{t\in \mathbb R}\), respectively. The elements of these groups can be expressed as contour integrals with respect to the resolvents of the generators (see e.g. [21, IX.1]). Therefore the relation (4.1) in Theorem 4.1 readily implies
that is, the compressions to \({\mathcal H}_0\) of the two groups coincide. A consequence of this is the following result on Cauchy problems for the operators \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) and \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\).
Theorem 4.4
Let \(f_0: {\mathbb R}\rightarrow {\mathcal H}_0\) be continuously differentiable and let \(x_0\in {\mathcal H}_0\) be such that \(\mathbf{x}_0:=(x_0\ 0\ \cdots \ 0)^\mathrm{t}\in {{\mathrm{dom}}}\mathbf{T}_{{\mathcal A},{\mathcal B}}\), \(\widetilde{\mathbf{x}}_0:=(\widetilde{x}_0\ 0)^\mathrm{t} \in {{\mathrm{dom}}}\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\). Then the solutions of the Cauchy problem for \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) in \({\mathcal H}= {\mathcal H}_0\oplus {\mathcal H}_1 \oplus \cdots \oplus {\mathcal H}_n\) given by
and of the Cauchy problem for \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) in \(\widetilde{\mathcal H}= {\mathcal H}_0\oplus \widetilde{\mathcal H}_1\) with \({\mathcal A}_0\), \({\mathcal B}_0\) as in (3.10) given by
have the same first components, i.e.
Proof
The solution \(\mathbf{x}:{\mathbb R}\rightarrow {\mathcal H}\) of (4.3) is given by (see e.g. [21, Thm. IX.1.19], [24, Thm. I.6.1])
a corresponding formula holds for the solution \(\widetilde{\mathbf{x}}:{\mathbb R}\rightarrow \widetilde{\mathcal H}\) of (4.4). If we note that \(P_0 \mathbf{f}_0(t) = \widetilde{P}_0 \widetilde{\mathbf{f}}_0(t) = f_0(t)\), \(t\in {\mathbb R}\), and \(P_0 \mathbf{x}_0 = \widetilde{P}_0 \widetilde{\mathbf{x}}_0 = x_0\), claim (4.5) follows from (4.2). \(\square \)
Remark 4.5
(i) Clearly, the equality (4.5) continues to hold under more general assumptions on \(x_0\) and \(f_0\) if only the solutions can be expressed by a relation of the form (4.6), see e.g. [24, Thm. I.6.5].
ii) A corresponding result can be proved for the solutions of second order Cauchy problems if \(\mathbf{T}_{{\mathcal A},{\mathcal B}}\) and \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) generate cosine families, see e.g. [14] and also [36, Props. 13.2.2 and 2.3.1].
4.3 Realization by a Canonical System
In this subsection we employ a fundamental inverse theorem by de Branges [7, Thm. 7], [38, Thm. 1] to show that the linear relation \(\widetilde{T}_1\) in the reduced system in Theorem 4.1 can always be realized as a canonical system. To this end, we first need to recall some basic results for canonical systems on a single edge, where we omit the subscript j for simplicity.
A Hermitian \(H : e \rightarrow M_2({\mathbb R})\) is a measurable real symmetric and non-negative \(2\times ~2\)—matrix function, defined on some interval (edge) \(e=[0,\ell )\) satisfying
Let \({\mathcal H}\) be the Hilbert space \(\mathring{L}^2_{H}(e,{\mathbb C}^2)\) of measurable 2-vector functions on e with inner product
arising from \(L^2_{H}(e,{\mathbb C}^2)\) by forming the factor space with respect to H-indivisable intervals (see [17, 38]). In \(\mathring{L}^2_{H}(e,{\mathbb C}^2)\) we consider the symmetric linear relation T defined as follows:
if and only if f is absolutely continuous, f satisfies the canonical differential equation with Hermitian H given by
together with the boundary condition
and, if the edge is of finite length, i.e. \(\ell <\infty \), a boundary condition
with some \(\alpha \in [0,\pi )\); if \(\ell =\infty \), no boundary condition at \(\ell \) is needed. Note that also in the regular case \(\ell <\infty \) the right endpoint \(\ell \) can be replaced by \(\infty \), see [38], if H is extended to \([\ell ,\infty )\) by
Under these conditions T is a symmetric relation in \(\mathring{L}^2_{H}(e,{\mathbb C}^2)\) with equal defect numbers 1 and \(T^*\) is the extension of T obtained by omitting the boundary condition (4.8) at 0.
We introduce the boundary functionals
and, for \(z\in \mathbb C\), the fundamental matrix \(Y(\cdot ;z)=(y_{ij}(\cdot ;z))_{i,j=1}^2\), given as the \(2\times 2\) matrix function satisfying
Then, if \(\ell <\infty \), the Titchmarsh-Weyl function m is defined by the condition that the function
satisfies the boundary condition (4.9) at \(\ell \), which implies that
if \(\ell =\infty \), then
where the limit exists and is independent of \(\alpha \in [0,\pi )\). Note that for the canonical system (4.7) the relation (2.8) for \(\zeta =z\) takes the form
with \(h(\cdot ,z)\) given by (4.11).
In the following theorem we make use of a fundamental inverse result of de Branges, see [7, Thm. 7], [38, Thm. 1]. Given any Nevanlinna function m, there exists a Hermitian H on \([0,\infty )\) with the properties mentioned at the beginning of this subsection such that m is the Titchmarsh-Weyl function of the canonical system corresponding to H. This means that the symmetric linear relation in Theorem 4.1 can always be chosen to be a canonical system.
Theorem 4.6
The linear relation \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) in Theorem 4.1 can be chosen as follows. There exists a Hermitian \(\widetilde{H}_1\) on \(\widetilde{e}_1=[0,\infty )\) such that the corresponding canonical system which defines \(\widetilde{T}_1\) in \(\widetilde{\mathcal H}_1={\mathring{L}}^2_{{\widetilde{H}}_1}(\widetilde{e}_1,{\mathbb C}^2)\) has Titchmarsh-Weyl function \(\widetilde{m}_1=n_0\) and \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) is the restriction of \(\,\widetilde{\mathbf{T}}^* = T_0^* \oplus \widetilde{T}_1^*\) in \(\widetilde{\mathcal H}={\mathcal H}_0 \oplus L^2_{{\widetilde{H}}_1}(\widetilde{e}_1,{\mathbb C}^2)\) by the interface condition
for \((f_0\,\ \widetilde{f}_1)^\mathrm{t} \in {{\mathrm{dom}}}\widetilde{\mathbf{T}}^*\), \(\widetilde{f}_1=(\widetilde{f}_{11}\ \widetilde{f}_{12})^\mathrm{t}\).
Proof
The claims follow from Theorem 4.1 and from de Branges’ theorem (see [7, Thm. 7], [38, Thm. 1]). \(\square \)
5 Differential Operators on Star Graphs
In this section we investigate the structure of the reduced problem if the symmetric relations \(T_j\), \(j=0,1,\ldots ,n\), (or some of them) are differential or difference operators on the edges of a star graph \({\mathcal G}\). In particular, we ask e.g. the following question: If all differential operators are of one type, when can the reduced system constructed in the previous section be chosen to consist of two differential operators of the same type?
We denote the central vertex of \({\mathcal G}\) by v and the outer vertices by \(v_0, v_1, \ldots , v_n\) (see Fig. 2 below); the coordinate \(x_j\) on the edge \(e_j\) increases from 0 at v to \(\ell _j\) at the outer vertex \(v_j, j=0,1,\ldots ,n\).
The symmetric relations \(T_j\), \(j=0,1,\ldots ,n\), in the Hilbert spaces \({\mathcal H}_j\) may be induced by three different types of differential or difference expressions on the edges \(e_j\), which are all supposed to be regular at v: canonical systems, Sturm–Liouville problems, and Krein strings; they include, as special cases, Dirac systems and Stieltjes strings. Here the ‘interface’ condition (2.12) becomes a matching condition at the common vertex v.
5.1 Canonical Systems and Sturm–Liouville Operators
By Theorem 4.6, independently of the type of differential operators inducing the relations \(T_j\), \(j=1,2,\ldots ,n\) on the subgraph of edges different from \(e_0\) (the blue/non-bold part in Fig. 2), the new part \(\widetilde{T}_1\) of the reduced system \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) extending \(T_0\oplus \widetilde{T}_1\) can always be chosen to be a canonical system on an edge \(\widetilde{e}_1\).
Thus the answer to the question when the whole reduced system consists of two canonical systems is immediate from Theorem 4.6: it suffices that only \(T_0\) is induced by a canonical system.
Corollary 5.1
Suppose that in Theorem 4.6 the symmetric relation \(T_0\) is given by a canonical system on an edge \(e_0\) with Hermitian \(H_0\) and that the other symmetric relations \(T_j\), \(j=1,2,\ldots ,n\), therein are arbitrary. Then the reduced system \(\widetilde{\mathbf{T}}_{{\mathcal A}_0,{\mathcal B}_0}\) can be chosen to consist of two canonical systems on the path graph \(\widetilde{\mathcal G}\) with the two edges \(e_0\), \(\widetilde{e}_1\) with Hermitians \(H_0\), \(\widetilde{H}_1\), respectively, and by the interface condition (4.14) which takes the form
for \(f=(f_0\ \widetilde{f}_1)^\mathrm{t} \in {{\mathrm{dom}}}\widetilde{\mathbf{T}}^*\), \(f_0 = (f_{01} \ f_{02} )^\mathrm{t}\), \(\widetilde{f}_1=(\widetilde{f}_{11}\ \widetilde{f}_{12})^\mathrm{t}\) (see Fig. 3 below).
We mention that two canonical systems coupled at a common end-point, as obtained in Corollary 5.1, were studied in [17, Sect. 6].
For Sturm–Liouville operators the situation is very different. Since there are no suitable inverse results in this case, one cannot hope to be able to reduce a system of Sturm–Liouville operators on a star graph with \(n+1\) edges to a system of two Sturm–Liouville operators on a path graph. Nevertheless the results of the two previous sections can still be applied.
To explain this, suppose that the symmetric relations \(T_j\), \(j=0,1,\ldots ,n\), are given by Sturm–Liouville operators in the Hilbert spaces \({\mathcal H}_j=L^2(e_j,{\mathbb C})\),
where \(q_j\) is real-valued and locally summable on \([0,\ell _j)\), with boundary conditions
at v and, if \(T_j\) is regular at \(v_j\),
with some \(\alpha _j\in [0,\pi )\). If \(T_j\) is singular at \(v_j\), the boundary condition at \(v_j\) is either omitted (in the limit point case), or has to be modified to a limit circle type boundary condition. In any case, under these conditions \(T_j\) is a symmetric operator in \(L^2(e_j,{\mathbb C})\) with equal defect numbers 1 and the operator \(T_j^*\) is the extension of \(T_j\) obtained by omitting the boundary condition (5.1) at v.
We introduce the boundary functionals
and, for \(z\in \mathbb C\), the fundamental system \(\varphi _j(\cdot ;z)\), \(\psi _j(\cdot ;z)\) of the homogeneous equation
satisfying
Then the Titchmarsh-Weyl coefficient \(m_j\) is determined by the condition that the solution \(\chi _j(\cdot ;z)=-\psi _j(\cdot ;z)+m_j(z)\varphi _j(\cdot ;z)\) satisfies the boundary condition (5.2) at \(v_j\), that is,
We mention that here the relation (2.8) takes the form
In this situation Theorem 3.1 as well as Theorem 4.6 apply and yield the following reductions:
Theorem 3.1 reduces the system of Sturm–Liouville operators \(T_j\), \(j=0,1,\ldots ,n\), on the star graph \({\mathcal G}\) with arbitrary interface conditions (2.12) to the Sturm–Liouville operator \(T_0\) on the single edge \(e_0\) with an energy depending boundary condition at v given by (3.3) with \(m_j\) as in (5.6), \(j=1,2,\ldots ,n\).
According to Theorem 4.6, the energy depending boundary condition at v can be replaced by attaching a canonical system on a new edge \(\widetilde{e}_1\). In order to decide whether the latter can be replaced by a Sturm–Liouville operator would require suitable inverse results for Sturm–Liouville problems, which to the best of our knowledge do not exist.
5.2 Krein Strings and Stieltjes Strings
For a star graph of \(n+1\) Krein strings, the reduced system need not consist of two Krein strings. For the case of Robin type interface conditions, we establish a sufficient condition involving the Titchmarsh–Weyl functions of the n Krein strings of the subsystem and the Robin parameter. In this subsection we strongly rely on [18] (see also [20]).
A Krein string is given by a bounded left-continuous and non-decreasing function M on an (edge) interval \(e=[0,\ell ),\,0<\ell \le \infty \); here, for \(x\in (0,\ell )\), the value M(x) is considered to be the mass of the string on the interval [0, x). We assume that the string has no concentrated mass at 0 and at \(\ell \) so that, in particular, \(M(0)=M(0+)=0\), and we set \(M(\ell ):=\lim _{x\nearrow \ell }M(x)\le \infty \).
By \({\mathcal H}=L^2_{M}(e,{\mathbb C})\) we denote the Hilbert space of measurable functions f on e with inner product
In order to realize the symmetric relation T in \(L^2_{M}(e,{\mathbb C})\), we have to distinguish the two cases that \(\ell \) is a regular boundary point, i.e. \(\ell +M(\ell )<\infty \), or that \(\ell \) is a singular boundary point, i.e. \(\ell +M(\ell )=\infty \).
(i) \(\underline{\ell +M(\ell )<\infty }\): For f, \(g\in L^2_{M}(e,{\mathbb C})\), we define
with some \(\alpha \in [0,\pi )\). Due to (5.7) every \(f\in {{\mathrm{dom}}}T\) is absolutely continuous with left and right derivatives
and \(f(0)=f'(0)=0\). Note that, formally, the first equation on the right hand side of (5.7) reads
It is not difficult to check that T is symmetric but not necessarily densely defined and that, with f, \(g\in L^2_{M}(e,{\mathbb C})\), the adjoint operator or relation \(T^*\) is given by
with c, \(d\in \mathbb C\). Hence T has equal defect numbers 1. For \(f\in {{\mathrm{dom}}}T^*\) as in (5.8) we introduce the boundary functionals
A fundamental role is played by the solutions \(\varphi (\cdot ;z),\,\psi (\cdot ;z)\) of the integral equations
For every \(z\in {\mathbb C}\), they form a fundamental system of the (formal) homogeneous equation
Then, in the regular case, the Titchmarsh-Weyl function m corresponding to the boundary triplet with \(\Gamma _1, \Gamma _2\) given by (5.9), i.e. for the boundary condition \(\Gamma _2f=f'(0)=0\) is defined by the property that the function \(-\,\psi (\cdot ;z)+m(z)\varphi (\cdot ;z)\) satisfies the boundary condition at \(\ell \), and hence
Recall that a function F belongs to the Stieltjes class\({\mathcal S}\) or is a Stieltjes function if F is a Nevanlinna function that is holomorphic also on \((-\,\infty ,0)\) with \(F(x)\ge 0\) for \(x\in (-\,\infty ,0)\), see [19]. According to [19, Thm. 5.2], \(F\in {\mathcal S}\) if and only if F has an integral representation
with some \(\gamma \ge 0\) and a measure \(\sigma \) on \([0,\infty )\) with \(\int _{0-}^{\infty }\frac{\,\mathrm{d}\sigma (x)}{1+x}<\infty \). Since \(F\in {\mathcal S}\) is non-decreasing on \((-\,\infty ,0)\), the limits at the boundary points exist,
It is not difficult to see that, with the representation (5.11),
For the function m in (5.10), from [18, Thm. 9.1 and its proof] it follows that
which, in turn, is equivalent to the property that the self-adjoint relation \(T_{0,1}\) with the boundary conditions in (5.7) at \(\ell \) and \(f'(0)=0\) at v is non-negative. Note that in our case the function N in the representation [18, (9.1)] is constant, \(N(z) \equiv \tan \alpha \in [0,+\,\infty ]\), and hence belongs to the extended Stieltjes class \(\widetilde{\mathcal S}= {{\mathcal S}} \cup \{\infty \}\).
(ii) \(\underline{\ell +M(\ell )=\infty }\): In the singular case we have to distinguish two subcases. If \(\int _0^\ell x^2\,\mathrm{d}M(x)=\infty \), then the limit point case prevails at \(\ell \) and no boundary condition at \(\ell \) is needed. The Krein string with the boundary condition \(f'(0)=0\) induces a unique self-adjoint operator S in \(L^2_M(e,{\mathbb C})\) which is non-negative. The corresponding Titchmarsh-Weyl function belongs to the Stieltjes class \({\mathcal S}\), see [18, Thm. 10.1]. If \(\int _0^\ell x^2\,\mathrm{d}M(x)<\infty \), then the limit circle case prevails at \(\ell \). In this case, the Krein string with the boundary condition \(f'(0)=0\) induces infinitely many self-adjoint operators in \(L^2_M(e,{\mathbb C})\), but only one non-negative self-adjoint operator S in \(L^2_M(e,{\mathbb C})\).
In both cases, we define the symmetric operator T in \(L^2_M(e,{\mathbb C})\) as
then T has equal defect numbers 1 and T is non-negative because so is S. With the boundary functionals \(\Gamma _1, \Gamma _2\) as in (5.9), the self-adjoint extension \(T_{0,1}=S\) of T is given by the boundary condition \(\Gamma _2f= f'(0)=0\) and the corresponding Titchmarsh-Weyl function m is a Stieltjes function.
By an inverse result of Krein, see [18, Thm. 11.2] and [12, Sect. 5.8], every Stieltjes function is the Titchmarsh-Weyl function of a Krein string on an interval \([0,\ell )\) with the boundary condition
at the left endpoint 0, and either with singular right endpoint \(\ell \), i.e. \(\ell +M(\ell )=\infty \), or with regular endpoint \(\ell \) and with a boundary condition
with some \(\alpha \in [0,\pi /2]\). In this correspondence, \(\gamma >0\) in the representation (5.11) for m in (5.10) means that the interval \([0,\gamma )\) is free of mass, i.e. \(M(0)=M(\gamma )=0\).
As a consequence of this inverse result, if the function \(n_0\) from (3.3) in Theorem 3.1 belongs to the class \({\mathcal S}\), then the operator \(\widetilde{T}_1\) can be chosen to be a Krein string on some interval \(\widetilde{e}_1=[0,\widetilde{\ell }_1)\). In the following theorem we establish a sufficient condition for \(n_0\in {\mathcal S}\) for the case of Robin type interface conditions.
Theorem 5.2
Suppose that in Theorem 4.1 the linear relations \(T_j\), \(j=1,2,\ldots ,n\), are given by Krein strings with mass distributions \(M_j\) on the edges \(e_j\) of the star graph \({\mathcal G}\) so that \(M_j(0+)=0\). If the vertex \(v_j\) is regular, \(T_j\) is defined as in (5.7) with \(\alpha _j \in [0,\pi /2]\) in the boundary condition at \(v_j\); if the vertex \(v_j\) is singular, \(T_j\) is defined as in (5.14). In both cases, we denote by \(m_j\), \(j=1,2,\ldots ,n\), the Titchmarsh-Weyl functions corresponding to the boundary condition \(f_j'(0)=0\). Further, let the self-adjoint extension \(\mathbf{T}_{{\mathcal A}_{\tau },{\mathcal B}_{\tau }}\) of \(\mathbf{T} = T_0\oplus T_1 \oplus \cdots \oplus T_n\) be given by a Robin type interface condition (3.6) at v with \(\tau \in {\mathbb R}\). If
then the linear relation \(\widetilde{T}_1\) in Theorem 4.1 can be chosen to be a Krein string on some edge \(\widetilde{e}_1=[0,\widetilde{\ell }_1)\) with boundary triplet \(({\mathbb C},\widetilde{\Gamma }_{11}, \widetilde{\Gamma }_{12})\) as in (5.9), and the right endpoint being either singular or subject to a boundary condition (5.16) for some \(\widetilde{\alpha }\in [0,\pi /2]\). The Krein string \(\widetilde{T}_1\) has no concentrated mass at 0, and it has a mass-free interval at 0 if and only if all the Krein strings \(T_j\), \(j=1,2,\ldots ,n\), have mass-free intervals at 0. The operator \(\widetilde{\mathbf{T}}\) in Theorem 4.1 is the restriction of \(\,\widetilde{\mathbf{T}}^*=T_0^*\oplus \widetilde{T}_1^*\) by the interface condition
If the relation \(T_0\) is also given by a Krein string, then \(\widetilde{\mathbf{T}}\) consists of two Krein strings on the graph \(\widetilde{\mathcal G}\) with the interface conditions \(f_0(0)=\widetilde{f}_1(0)\), \((f_0)'(0)=-(\widetilde{f}_1)'(0)\).
Proof
According to (3.8), the Nevanlinna function \(n_0\) in (3.3) for the case of Robin type interface conditions (3.6) has the form
For \(j=1,2,\ldots ,n\), the functions \(m_j\) belong to \({\mathcal S}\); in the regular case this is guaranteed by the condition \(\alpha _j\in [0,\pi /2]\) in the boundary condition in (5.7), in the singular case this is ensured by the choice of \(T_{j;0,1}\). Thus \(n_0\) is holomorphic on \((-\,\infty ,0)\) since so are \(m_1, m_2, \ldots , m_n\), and \(n_0(x)>0\) for \(x\in (-\,\infty ,0)\) if and only if
Because \(m_1, m_2, \ldots , m_n\) are increasing on \((-\,\infty ,0)\), (5.19) is equivalent to (5.17). Therefore (5.17) implies \(n_0\in {\mathcal S}\), and according to the inverse result of Krein mentioned above, \(\widetilde{T}_1\) with Titchmarsh-Weyl function \(\widetilde{m}_1 = n_0\) can be chosen a (regular or singular) Krein string.
Next we prove the claim about the mass-free interval of \(\widetilde{T}_1\). Since \(\widetilde{m}_1= n_0\) and \(m_j, j=1,2,\ldots ,n\), belong to \({\mathcal S}\), by (5.11) they have representations
with \(\widetilde{\gamma }_1\), \(\gamma _j \ge 0\), \(j=1,2,\ldots ,n\). Then the first relation in (5.12) and (5.18) show that
Because \(\tau \ne \infty \), this implies that \(\widetilde{\gamma }_1 >0\) if and only if all \(\gamma _j > 0\), \(j=1,2,\ldots ,n\), which proves the claim about the mass-free interval of \(\widetilde{T}_1\).
To prove that the concentrated mass \(\widetilde{M}_1(0+)\) of \(\widetilde{T}_1\) at 0 equals 0, we first note that (see [18, 11.2 \(\mathring{}\) ])
Set \(J_0 := \{ j \in \{1,2,\ldots , n\} : \gamma _j = 0\}\). If \(J_0 = \emptyset \), then \(\widetilde{\gamma }_1 >0\) and hence there is no concentrated mass 0. If \(J_0 \ne \emptyset \), then \(\widetilde{\gamma }_1 =0\). Then the relations (5.21), (5.13) and the first relation in (5.20) imply that
Clearly, the first term in the denominator tends to 0; for the other terms we have
Altogether, this proves \(\widetilde{M}_1(0+) =0\).
Finally, if \(T_0\) is also supposed to be given by a Krein string, then the last claim follows from the fact that Kirchhoff conditions on the vertex v joining \(e_0\) and \(\widetilde{e}_1\) amount to the required continuity conditions at v. \(\square \)
Remark 5.3
A Krein string with mass distribution function M describes a gap diffusion with state space \(\mathrm{supp}\,M\) and speed measure M (comp. [27]). Hence, for a given system of gap diffusions on the graph \({\mathcal G}\) with state space \(\mathcal X:=\bigcup _{j=0}^n \mathrm{supp}\, M_j\), Theorem 5.2 provides a system of two gap diffusions on the path graph \(\widetilde{\mathcal G}\) with state space \(\widetilde{\mathcal X}:=\mathrm{supp}\, M_0\cup \mathrm{supp}\, \widetilde{M}_1\). According to relation (4.2), the corresponding transition probabilities \(P(t;x,\Delta )\), \(t>0\), \(x\in {\mathcal X}\), \(\Delta \subset {\mathcal X}\), \(\Delta \) measurable, and \(\widetilde{P}(t;\widetilde{x},\widetilde{\Delta })\), \(t>0\), \(\widetilde{x}\in \widetilde{{\mathcal X}}\), \(\widetilde{\Delta }\subset \widetilde{{\mathcal X}}\), \(\widetilde{\Delta }\) measurable, satisfy
A Krein string is called a Stieltjes string (see [18, Sect. 13]) if the mass distribution function M is a step function with jumps \(\mu _k>0\) at points \(l_0+l_1+\cdots +l_{k-1}\), \(k=1,2,\ldots ,\) where \(l_0 \ge 0 \) is the length of the possibly mass-free interval at 0 and \(l_k >0\) is the length of the interval between the masses \(\mu _{k}\) and \(\mu _{k+1}\), \(k=1,2,\ldots .\) Then the Titchmarsh-Weyl function admits a continued fraction expansion
On the other hand, such a continued fraction representation holds if and only if, for every \(k\in \mathbb N\), the Titchmarsh-Weyl function m admits an expansion
with coefficients \(s_k \ge 0\) which are the moments of \(\sigma \), \(s_k=\int _{0-}^\infty \lambda ^k \,\mathrm{d}\sigma (\lambda )\), \(k=0,1,\ldots \) (see [18, Sect. 13], [15]). It is not difficult to see that if the Titchmarsh-Weyl functions \(m_j\), \(j=1,2,\ldots , n\), in Theorem 5.2 admit expansions (5.22), then so does the function \(n_0\) in (5.18) and hence the following result is immediate from Theorem 5.2.
Corollary 5.4
If in Theorem 5.2 the Krein strings on \(e_j\) inducing \(T_j\), \(j=1,2,\ldots , n\), are Stieltjes strings, then also the Krein string on \(\widetilde{e}_1\) inducing \(\widetilde{T}_1\) with Titchmarsh-Weyl function \(\widetilde{m}_1 = n_0\) is a Stieltjes string. Its masses \(\widetilde{\mu }_k\), \(k=1,2,\ldots ,\) and its lengths \(\widetilde{l}_k\), \(k=1,2,\ldots ,\) can be obtained from the continued fraction expansion
of the Titchmarsh-Weyl function \(n_0\) given by (5.18).
References
Adamyan, V., Langer, H., Tretter, C., Winklmeier, M.: Dirac–Krein systems on star graphs. Integral Equ. Oper. Theory 86(1), 121–150 (2016)
Avdonin, S., Kurasov, P.: Inverse problems for quantum trees. Inverse Probl. Imaging 2(1), 1–21 (2008)
Avdonin, S., Kurasov, P., Nowaczyk, M.: Inverse problems for quantum trees II: recovering matching conditions for star graphs. Inverse Probl. Imaging 4(4), 579–598 (2010)
Avdonin, S., Nicaise, S.: Source identification problems for the wave equation on graphs. Inverse Probl. 31(9), 095007, 29 (2015)
Berkolaiko, G., Kuchment, P.: Introduction to Quantum Graphs, Mathematical Surveys and Monographs, vol. 186. American Mathematical Society, Providence (2013)
Calkin, J.W.: Abstract symmetric boundary conditions. Trans. Am. Math. Soc. 45(3), 369–442 (1939)
de Branges, L.: Some Hilbert spaces of entire functions IV. Trans. Am. Math. Soc. 105, 43–83 (1962)
de Snoo, H., Winkler, H.: Canonical systems of differential equations with self-adjoint interface conditions on graphs. Proc. R. Soc. Edinb. Sect. A 135(2), 297–315 (2005)
Derkach, V.: Boundary triplets, Weyl functions, and the Kreĭn formula. In: Alpay, D. (ed.) Operator Theory, pp. 183–218. Springer, Basel (2015)
Derkach, V.A., Malamud, M.M.: Generalized resolvents and the boundary value problems for Hermitian operators with gaps. J. Funct. Anal. 95(1), 1–95 (1991)
Derkach, V.A., Malamud, M.M.: The extension theory of Hermitian operators and the moment problem. J. Math. Sci. 73(2), 141–242 (1995)
Dym, H., McKean, H.P.: Gaussian processes, function theory, and the inverse spectral problem. Probability and Mathematical Statistics, vol. 31. Academic Press, New York-London (1976)
Eckhardt, J.: An inverse spectral problem for a star graph of Krein strings. J. Reine Angew. Math. 715, 189–206 (2016)
Fattorini, H.O.: Second Order Linear Differential Equations in Banach Spaces, North-Holland Mathematics Studies, vol. 108. North-Holland Publishing Co., Amsterdam (1985)
Fleige, A., Winkler, H.: An indefinite inverse spectral problem of Stieltjes type. Integral Equ. Oper. Theory 87(4), 491–514 (2017)
Güneysu, B., Keller, M., Schmidt, M.: A Feynman–Kac–Itô formula for magnetic Schrödinger operators on graphs. Probab. Theory Relat. Fields 165(1–2), 365–399 (2016)
Hassi, S., De Snoo, H., Winkler, H.: Boundary-value problems for two-dimensional canonical systems. Integral Equ. Oper. Theory 36(4), 445–479 (2000)
Kac, I.S., Kreĭn, M.G.: On the spectral functions of the string. Am. Math. Soc. Transl. (2) 103, 19–102 (1974)
Kac, I.S., Kreĭn, M.G.: R-functions – Analytic functions mapping the upper half-plane into itself. Am. Math. Soc. Transl. (2) 103, 1–18 (1974)
Kac, I.S., Pivovarchik, V.N.: On the density of the mass distribution of a string at the origin. Integral Equ. Oper. Theory 81(4), 581–599 (2015)
Kato, T.: Perturbation Theory for Linear Operators, Classics in Mathematics. Springer, Berlin (1995). Reprint of the 1980 edition
Kočubeĭ, A.N.: Extensions of symmetric operators and of symmetric binary relations. Math. Zametki 17, 41–48, (1975). Engl. transl. Math. Notes 17(1), 2528 (1975)
Kramar Fijavž, M., Mugnolo, D., Sikolya, E.: Variational and semigroup methods for waves and diffusion in networks. Appl. Math. Optim. 55(2), 219–240 (2007)
Kreĭn, S.G.: Linear Differential Equations in Banach Space, Translations of Mathematical Monographs, vol. 29. American Mathematical Society, Providence (1971)
Kurasov, P.: Schrödinger operators on graphs and geometry. I. Essentially bounded potentials. J. Funct. Anal. 254(4), 934–953 (2008)
Kurasov, P.: Quantum Graphs: Spectral Theory and Inverse Problems. Oper. Theory Adv. Appl. (2018) (to appear, Birkhäuser Basel)
Langer, H., Schenk, W.: Generalized second-order differential operators, corresponding gap diffusions and superharmonic transformations. Math. Nachr. 148, 7–45 (1990)
Langer, H., Textorius, B.: On generalized resolvents and \(Q\)-functions of symmetric linear relations (subspaces) in Hilbert space. Pac. J. Math. 72(1), 135–165 (1977)
Lenz, D., Pankrashkin, K.: New relations between discrete and continuous transition operators on (metric) graphs. Integral Equ. Oper. Theory 84(2), 151–181 (2016)
Pivovarchik, V., Rozhenko, N., Tretter, C.: Dirichlet-Neumann inverse spectral problem for a star graph of Stieltjes strings. Linear Algebra Appl. 439(8), 2263–2292 (2013)
Pivovarchik, V., Tretter, C.: Location and multiplicities of eigenvalues for a star graph of Stieltjes strings. J. Differ. Equ. Appl. 21(5), 383–402 (2015)
Pivovarchik, V., Woracek, H.: Sums of Nevanlinna functions and differential equations on star-shaped graphs. Oper. Matrices 3(4), 451–501 (2009)
Post, O.: Spectral Analysis on Graph-Like Spaces. Lecture Notes in Mathematics vol. 2039. Springer, Berlin (2012)
Schmüdgen, K.: Unbounded Self-Adjoint Operators on Hilbert Space, Graduate Texts in Mathematics, vol. 265. Springer, Dordrecht (2012)
Simonov, S., Woracek, H.: Spectral multiplicity of selfadjoint Schrödinger operators on star-graphs with standard interface conditions. Integral Equ. Oper. Theory 78(4), 523–575 (2014)
Vasil’ev, V.V., Piskarev, S.I.: Differential equations in Banach spaces. II. Theory of cosine operator functions. J. Math. Sci. (N.Y.) 122(2), 3055–3174 (2004)
von Below, J.: Sturm–Liouville eigenvalue problems on networks. Math. Methods Appl. Sci. 10(4), 383–395 (1988)
Winkler, H.: The inverse spectral problem for canonical systems. Integral Equ. Oper. Theory 22(3), 360–374 (1995)
Acknowledgements
Open access funding provided by TU Wien (TUW). All authors thank for the support of EPSRC, Grant No. EP/1038217/1, which enabled this work to commence in January 2013. The last author gratefully acknowledges the support of the Swiss National Science Foundation, SNF, Grant No. 169104.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Daniel Aron Alpay.
To our valued colleague Harry Dym on the occasion of his 80th birthday.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided 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.
About this article
Cite this article
Brown, B.M., Langer, H. & Tretter, C. Compressed Resolvents and Reduction of Spectral Problems on Star Graphs. Complex Anal. Oper. Theory 13, 291–320 (2019). https://doi.org/10.1007/s11785-018-0793-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11785-018-0793-6
Keywords
- Compressed resolvent
- Differential operator
- Star graph
- Path graph
- Canonical system
- Krein string
- Stieltjes string