- Research
- Open Access
- Published:

# Spectral analysis of the matrix Sturm–Liouville operator

*Boundary Value Problems*
**volume 2019**, Article number: 178 (2019)

## Abstract

The self-adjoint matrix Sturm–Liouville operator on a finite interval with a boundary condition in general form is studied. We obtain asymptotic formulas for the eigenvalues and the weight matrices of the considered operator. These spectral characteristics play an important role in the inverse spectral theory. Our technique is based on an analysis of analytic functions and on the contour integration in the complex plane of the spectral parameter. In addition, we adapt the obtained asymptotic formulas to the Sturm–Liouville operators on a star-shaped graph with two different types of matching conditions.

## Introduction

The paper concerns the spectral theory of differential operators. In particular, we focus on analysis of matrix Sturm–Liouville operators in the form \(\ell Y = -Y'' + Q(x) Y\), where \(Q(x)\) is a matrix function. Operators of such form generalize scalar Sturm–Liouville operators, which have been studied fairly completely (see the monographs [1,2,3]). Matrix Sturm–Liouville operators have applications in various branches of physics. For example, such operators are used in elasticity theory [4], they are also applied for the description of electromagnetic waves [5] and nuclear structure [6]. Matrix Sturm–Liouville operators also generalize Sturm–Liouville operators on metric graphs (see [7,8,9,10,11,12] are the references therein). The latter operators are often called quantum graphs. They are applied for modeling wave propagation through a domain being a thin neighborhood of a graph. Such models are used in organic chemistry, mesoscopic physics, nanotechnology and other branches of science and engineering.

In this paper, we consider the self-adjoint Sturm–Liouville operator on a finite interval with a boundary condition in the general form defined as follows. Let \(L = L(Q(x), T, H)\) be the boundary value problem for the matrix Sturm–Liouville equation:

where

\(Y(x) = [y_{j}(x)]_{j = 1}^{m}\) is a vector function;

\(Q(x) = [q_{jk}(x)]_{j, k = 1}^{m}\) is a Hermitian matrix function, called the

*potential*, such that \(Q(x) = Q^{\dagger }(x)\), \(q_{jk} \in L_{2}(0, \pi )\), \(j, k = \overline{1, m}\);*λ*is the spectral parameter;*T*is an orthogonal projector in \(\mathbb{C}^{m}\), \(T \in \mathbb{C} ^{m \times m}\), \(T^{\perp } = I_{m} - T\);\(H = H^{\dagger } \in \mathbb{C}^{m \times m}\), \(H = T H T\).

Here and below \(\mathbb{C}^{m}\) and \(\mathbb{C}^{m \times m}\) are the spaces of complex *m*-vectors and \(m \times m\)-matrices, respectively, the symbol † denotes the conjugate transpose: \(A = [a_{jk}]\), \(A^{\dagger } = [\overline{a_{kj}}]\), and \(I_{m}\) is the \(m \times m\) unit matrix.

Note that the boundary value problem *L* is self-adjoint. The boundary condition \(V(Y) = 0\) is the self-adjoint boundary condition in the most general form. For simplicity, we impose the Dirichlet boundary condition at \(x = 0\). The problem with the two boundary conditions in the general form, similar to \(V(Y) = 0\), can also be investigated by using our methods.

In the major part of the literature on the spectral theory for matrix Sturm–Liouville operators, the Dirichlet boundary conditions \(Y(0) = Y(\pi ) = 0\) or the Robin boundary conditions \(Y'(0) - \varTheta _{1} Y(0) = Y'(\pi ) + \varTheta _{2} Y(\pi ) = 0\), \(\varTheta _{j} \in \mathbb{C}^{m \times m}\), \(j = 1, 2\), have been considered, since they are the simplest ones. In particular, in Refs. [13,14,15,16] asymptotic formulas for eigenvalues of Sturm–Liouville operators have been derived. In [15,16,17,18], inverse spectral problems have been studied, which consist in a reconstruction of the matrix Sturm–Liouville operators by using the eigenvalues and the weight matrices. Those problem statements generalize the classical inverse problem of recovering the potential \(q(x)\) of the scalar Sturm–Liouville problem

from the corresponding eigenvalues \(\{ \lambda _{n} \}_{n \ge 1}\) and the weight numbers

where \(\{ y_{n}(x) \}_{n \ge 1}\) are the eigenfunctions, normalized by the condition \(y_{n}'(0) = 1\) (see [1, 3]). The most remarkable results of [15,16,17,18] are the characterization theorems for the spectral data of the matrix Sturm–Liouville operator, i.e. necessary and sufficient conditions for the solvability of the corresponding inverse problems. A crucial role in those conditions is played by asymptotic formulas for the eigenvalues and the weight matrices.

Spectral properties of operators with general self-adjoint boundary conditions in the form (1.2) have not been so well-studied yet, since this case is more complex for investigation. Recently Xu [19] proved uniqueness theorems for inverse problems for Eq. (1.1) with the two boundary conditions in the general self-adjoint form. Such operators are especially worth to be studied because of their applications to quantum graphs. The inverse problem theory for differential operators on graphs is a rapidly developing field nowadays (see the survey [12]). However, characterization of spectral data is an open problem even for Sturm–Liouville operators on the simplest star-shaped graphs, as well as for the matrix Sturm–Liouville operator with the general self-adjoint boundary conditions.

The goal of the present paper is to make the first step to a characterization of the spectral data of the problem (1.1)–(1.2). We aim to obtain asymptotic formulas for the eigenvalues and the weight matrices of *L*. In the future, we plan to apply these results to the inverse problem theory.

Let us introduce the spectral data studied in our paper. Furthermore, we show that the problem *L* has a countable set of real eigenvalues. It is convenient to number them as \(\{ \lambda _{nk} \}_{n \in \mathbb{N}, k = \overline{1, m}}\) in nondecreasing order: \(\lambda _{n_{1}, k_{1}} \le \lambda _{n_{2}, k_{2}}\) for \((n_{1}, k_{1}) < (n_{2}, k_{2})\). For pairs of integers, we mean by \((n_{1}, k_{1}) < (n_{2}, k_{2})\) that \(n_{1} < n_{2}\) or \(n_{1} = n_{2}\), \(k_{1} < k_{2}\). The double indices \((n, k)\) are used because of the eigenvalue asymptotics (see Theorem 2.1). Multiple eigenvalues occur in the sequence \(\{ \lambda _{nk} \}_{n \in \mathbb{N}, k = \overline{1, m}}\) multiple times, according to the multiplicities.

Let \(\varPhi (x, \lambda )\) be the \(m \times m\) matrix solution of Eq. (1.1), satisfying the boundary conditions \(\varPhi (0, \lambda ) = I_{m}\), \(V(\varPhi ) = 0\). Set \(M(\lambda ) := \varPhi '(0, \lambda )\). The matrix functions \(\varPhi (x, \lambda )\) and \(M(\lambda )\) are called *the Weyl solution* and *the Weyl matrix* of the problem *L*, respectively. Weyl matrices generalize Weyl functions for scalar differential operators (see [1, 3]) and play an important role in inverse problem theory of matrix Sturm–Liouville operators (see, e.g., [16, 18]). One can easily show that the Weyl matrix \(M(\lambda )\) is meromorphic in the *λ*-plane. All its singularities are simple poles, which coincide with the eigenvalues \(\{ \lambda _{nk} \}_{n \in \mathbb{N}, k = \overline{1, m}}\). Define *the weight matrices*:

The collection \(\{ \lambda _{nk}, \alpha _{nk} \}_{n \in \mathbb{N}, k = \overline{1, m}}\) is called *the spectral data* of the problem *L*.

A general approach to the derivation of eigenvalue asymptotics was suggested in [20] for arbitrary first-order differential systems. This approach is based on an analysis of analytic characteristic functions in the complex plane of the spectral parameter. Nevertheless, adaption of general methods to systems of special form (e.g., matrix Sturm–Liouville operators or differential operators on graphs) usually requires an additional investigation (see, e.g., [13,14,15,16, 21]). We also mention that matrix Sturm–Liouville operators have been studied on the half-line [10, 22] and on the line [23,24,25]. However, operators on infinite domains usually have a finite number of eigenvalues, therefore problems of eigenvalue asymptotics are not relevant to them.

The main difficulty in the derivation of the spectral data asymptotics for the problem (1.1)–(1.2) is that its spectrum can contain infinitely many groups of multiple and/or asymptotically multiple eigenvalues (see Theorem 2.1 for details). Consequently, it is impossible to obtain separate asymptotic formulas for the sequences \(\{ \alpha _{nk} \}_{n \in \mathbb{N}}\), \(k = \overline{1, m}\). In the present paper, we overcome this difficulty, by developing the ideas of [18, 26, 27]. The eigenvalues are grouped by asymptotics, and asymptotic formulas are derived for the sums of the weight matrices, corresponding to each eigenvalue group.

The paper is organized as follows. Section 2 is devoted to the asymptotic behavior of the eigenvalues. Its main result is Theorem 2.1, proof of which is based on complex analysis of an analytic characteristic function and on the matrix Rouche’s theorem. In Sect. 3, we define the sums of the weight matrices, corresponding to eigenvalue groups. We derive asymptotic formulas for those sums (Theorems 3.1 and 3.4), by developing the methods of Sect. 3 and by using contour integration. In Sect. 4, our results for the matrix Sturm–Liouville operator are adapted to the Sturm–Liouville operators on the star-shaped graph with two types of matching conditions: *δ*-coupling and \(\delta '\)-coupling, arising in applications.

## Eigenvalue asymptotics

The goal of this section is to derive asymptotic of eigenvalues of the problem *L*. First we need to introduce some notations.

Denote \(p = \operatorname {rank}(T)\), \(1 \le p \le m - 1\). Clearly, \(\operatorname {rank}(T^{ \perp }) = m - p\). Without loss of generality, we assume that

One can achieve this condition, applying an appropriate unitary transform \(U = (U^{\dagger })^{-1}\):

Denote

where \(\omega _{11} \in \mathbb{C}^{p \times p}\), \(\omega _{22} \in \mathbb{C}^{(m - p) \times (m - p)}\). Obviously, these matrices are Hermitian: \(\omega _{11} = \omega _{11}^{\dagger }\), \(\omega _{22} = \omega _{22} ^{\dagger }\).

Denote by \(S(x, \lambda )\) and \(C(x, \lambda )\) the matrix solutions of Eq. (1.1), satisfying the initial conditions

The matrix functions \(S^{(\nu )}(x, \lambda )\) and \(C^{(\nu )}(x, \lambda )\) are entire in *λ*-plane for each fixed \(x \in [0, \pi ]\), \(\nu = 0, 1\). The eigenvalues of the boundary value problem *L* coincide with the zeros of the *characteristic function*\(\Delta (\lambda ) := \det (V(S(x, \lambda )))\), counting with their multiplicities. This fact can be proved similarly to [18, Lemma 5]. Since the problem *L* is self-adjoint, its eigenvalues are real. Obviously, the function \(\Delta (\lambda )\) is entire. In order to study its asymptotic behavior, we need the relations for \(S^{(\nu )}(\pi , \lambda )\) and \(C^{(\nu )}( \pi , \lambda )\), \(\nu = 0, 1\), provided below.

Denote \(\rho := \sqrt{\lambda }\), \(\tau := \text{Im} \rho \). Using the transformation operators (see [22]), one can obtain the following representations:

Here the same notation \(K(\rho )\) is used for various matrix functions, entire by *ρ* and satisfying the conditions

Throughout the paper, we use the matrix norm, induced by the Euclidean vector norm in \(\mathbb{C}^{m}\), i.e. \(\| A \|\) equals the square root of the largest eigenvalue of the matrix \(A^{\dagger } A\).

### Theorem 2.1

*The spectrum of the boundary value problem**L**is a countable set of real eigenvalues*\(\{ \lambda _{nk} \}_{n \in \mathbb{N}, k = \overline{1, m}}\), *counted with their multiplicities*, \(\lambda _{n_{1}, k_{1}} \le \lambda _{n_{2}, k_{2}}\), *if*\((n_{1}, k_{1}) < (n_{2}, k_{2})\). *Moreover*, *the following asymptotic relations hold for*\(\rho _{nk} := \sqrt{\lambda _{nk}}\), \(n \in \mathbb{N}\):

*where*\(\{ z_{k} \}_{k = 1}^{p}\)*and*\(\{ z_{k} \}_{k = p + 1}^{m}\)*are the eigenvalues of the Hermitian matrices*\((\omega _{11} - H)\)*and*\(\omega _{22}\), *respectively*, *numbered in the nondecreasing order according to their multiplicities*: \(z_{k} \le z_{k + 1}\), \(k = \overline{1, p-1}\)*and*\(k = \overline{p + 1, m - 1}\), *and*\(\{ \varkappa _{nk} \} \in l_{2}\).

For the proof of Theorem 2.1, we need several auxiliary results. The following proposition is a matrix version of Rouche’s theorem (see [15, Lemma 2.2]).

### Proposition 2.2

*Let*\(F(\lambda )\)*and*\(G(\lambda )\)*be matrix functions*, *analytic in the disk*\(|\lambda - a| \le r\)*and satisfying the condition*\(\| G(\lambda ) F^{-1}(\lambda ) \| < 1\)*on the boundary*\(|\lambda - a| = r\). *Then the scalar functions*\(\det (F)\)*and*\(\det (F + G)\)*have the same number of zeros inside the circle*\(|\lambda - a| < r\), *counting with multiplicities*.

Then we have the next proposition [27, Lemma 3].

### Proposition 2.3

*Let*\(\{ \delta _{n} \}_{n \ge 1}\)*and*\(\{ \gamma _{n} \}_{n \ge 1}\)*be two sequences of nonzero numbers*, *such that*

*where*

*Then*\(\delta _{n} = O(\gamma _{n})\)*as*\(n \to \infty \).

Now we are ready to obtain rough asymptotics for the eigenvalues.

### Lemma 2.4

*The problem**L**has a countable set of eigenvalues*\(\{ \lambda _{nk} \} _{n \in \mathbb{N}, k = \overline{1, m}}\), \(\lambda _{nk} = \rho _{nk}^{2}\), *numbered according to their multiplicities and having the following asymptotics*:

*where*\(\varepsilon _{nk} = O ( n^{-1} )\)*as*\(n \to \infty \).

### Proof

Consider the matrix function \(W(\lambda ) := V(S(\pi , \lambda ))\). The eigenvalues of *L* are the zeros of \(\det (W(\lambda ))\). The asymptotics (2.3) yield

Define

Obviously, the function \(\det (W_{0}(\lambda ))\) has the zeros \(\{ \lambda _{nk}^{0} \}_{n \in \mathbb{N}, k = 1, 2}\), \(\lambda _{nk}^{0} = ( \rho _{nk}^{0} )^{2}\),

Consider the region \(G_{\delta } = \{ \rho \in \mathbb{C} \colon |\rho - (n - 1/2)| \ge \delta , |\rho - n| \ge \delta , n \in \mathbb{Z} \}\) for a fixed *δ*, \(0 < \delta < 1/4\). Using the standard estimates (see [3, Sect. 1.1]):

we derive for \(\rho \in G_{\delta }\), \(\lambda = \rho ^{2}\) that

Consequently, for sufficiently large \(|\lambda |\), \(\sqrt{\lambda }= \rho \in G_{\delta }\), we have

Applying the matrix Rouche theorem (Proposition 2.2), we conclude that the functions \(\det (W(\lambda ))\) and \(\det (W_{0}(\lambda ))\) have the same number of zeros in the disks \(\{ \lambda \colon |\lambda | < (N-1/4) \}\), \(\{ \rho \colon |\rho - (N - 1/2)| < \delta \}\) and \(\{ \rho \colon |\rho - N| < \delta \}\) for sufficiently large values of *N* and arbitrary \(\delta \in (0, 1/4)\). Taking (2.8) into account, we arrive at the assertion of the theorem with \(\varepsilon _{nk} = o(1)\) as \(n \to \infty \).

It remains to prove that \(\varepsilon _{nk} = O ( n^{-1} )\) as \(n \to \infty \) for \(k = \overline{1, m}\). For definiteness, consider a fixed \(k \in \{ 1, \dots , p \}\). The case \(k = \overline{p + 1, m}\) is analogous. Substitute \(\lambda = \lambda _{nk}\) into the asymptotic relation (2.7):

Consequently, we obtain

where \(P_{nk}(x)\) is a polynomial of degree *p* with the coefficients depending on *n* and \(\varepsilon _{nk}\). One can easily check that this polynomial satisfies the conditions of Proposition 2.3 with \(\delta _{n} = \varepsilon _{nk}\) and \(\gamma _{n} = n^{-1}\). Applying Proposition 2.3, we conclude that \(\varepsilon _{nk} = O ( n ^{-1} )\), \(n \to \infty \). □

Below the symbol *C* is used for various positive constants.

### Proof of Theorem 2.1

Theorem 2.1 follows from Lemma 2.4, if we derive the asymptotics (2.4) and (2.5) from (2.6). We focus on the proof of (2.5), since it is more complicated.

We need to obtain more precise asymptotics for the zeros of the function \(W(\rho ^{2})\), than (2.4). Instead of the *ρ*-plane, we will work with a new *z*-plane, obtained by the mapping

Here *z* lies in the circle \(|z| \le r\) of a sufficiently large radius \(r > 0\). Below we use the notation \(\{ K_{n}(z) \}_{n \in \mathbb{N}}\) for various sequences of matrix functions, such that

where the constant *C* depends on a sequence \(\{ K_{n}(z) \}_{n \in \mathbb{N}}\), but does not depend on *z*.

One can easily obtain the relations

where the estimates \(O ( n^{-2} )\) are uniform with respect to \(z \colon |z| \le r\).

Using (2.3) and (2.9), we get the asymptotics

Note that the terms with *T* and \(T^{\perp }\) have different powers of *n*. In order to overcome this difficulty, we introduce the function

Clearly,

Consider the main part

In block-matrix form, we have

The determinant \(\det (R(z)) = (-1)^{m-p}\det (z I_{m - p} - \omega _{22})\) has the real zeros \(\{ z_{k} \}_{k = p + 1}^{m}\), being the eigenvalues of the Hermitian matrix \(\omega _{22} = \omega _{22}^{\dagger }\). Define the region

where \(\delta > 0\) is so small that \(|z_{k} - z_{l}| < \delta \) for all \(l \ne k\), \(l, k = \overline{p + 1, m}\). Equation (2.14) yields

Consequently, \(\| R^{-1}(z) \| \le C\) for \(z \in Z_{\delta }\). Equations (2.12) and (2.13) imply \(R_{n}(z) - R(z) = K _{n}(z)\), \(n \in \mathbb{N}\). Hence

for sufficiently large *n* and \(z \in Z_{\delta }\). Applying Proposition 2.2, we conclude that, for sufficiently large *n*, the function \(\det (R(z))\) has exactly \((m - p)\) zeros \(\{ z_{nk} \}_{k = \overline{p + 1, m}}\) (counted according to their multiplicities), having the asymptotics

Introduce the unitary matrices \(\mathcal{U} = (\mathcal{U}^{\dagger })^{-1} \in \mathbb{C}^{(m - p) \times (m - p)}\) and \(\tilde{\mathcal{U}} \in \mathbb{C}^{m \times m}\), such that

Using (2.12), we obtain

Applying Gaussian elimination, we obtain the following matrix:

Fix \(k \in \{ p + 1, \dots , m \}\). Let \(m_{k}\) be a multiplicity of the zero \(z_{k}\) of the function \(\det (R(z))\): \(m_{k} = \# \{ s \colon z _{s} = z_{k}, p + 1 \le s \le m \}\). Using (2.16) and (2.18), we derive that \(\det (H_{n}(z_{nk})) = \mathcal{P} _{nk}(\epsilon _{nk})\), where \(\mathcal{P}_{nk}\) is a polynomial of degree \(m_{k}\) with coefficients, depending on *n* and \(\epsilon _{nk}\) and satisfying Proposition 2.3 with \(\delta _{n} = \epsilon _{nk}\), \(\{ \gamma _{n} \} \in l_{2}\). Proposition 2.3 yields \(\{ \epsilon _{nk} \} \in l_{2}\). By construction, the zeros of \(\det (H_{n}(z))\) coincide with the zeros of \(W(\rho _{n}^{2}(z))\). Returning to the *ρ*-plane, we obtain (2.5).

The proof of Eq. (2.4) is analogous, so we omit the details. In order to prove (2.4), one should consider the mapping

and the matrix function

instead of \(\rho _{n}(z)\) and \(R_{n}(z)\), respectively. □

## Asymptotics of weight matrices

The goal of this section is to derive asymptotic formulas for the weight matrices \(\{ \alpha _{nk} \}\), defined by (1.3). The main difficulty in our investigation is the complicated behavior of the spectrum, which can contain infinitely many multiple and/or asymptotically multiple eigenvalues. Indeed, if there are equal numbers among \(\{ z_{k} \}_{k = 1}^{p}\) or \(\{ z_{k} \}_{k = p + 1}^{m}\) in Theorem 2.1, the corresponding eigenvalue subsequences \(\{ \lambda _{nk} \}_{n \in \mathbb{N}}\) have the same asymptotics for different values of *k*. In the latter case, one cannot obtain separate asymptotic formulas for \(\alpha _{nk}\), being the residuals of the Weyl matrix. In order to manage this problem, the approach of Refs. [18, 26, 27] is developed. We group eigenvalues by asymptotics and derive asymptotic formulas for the sums of the weight matrices, corresponding to each group.

Note that, if \(\lambda _{n_{1} k_{1}} = \lambda _{n_{2} k_{2}} = \cdots = \lambda _{n_{l} k_{l}}\), where \((n_{1}, k_{1}) < (n_{2}, k_{2}) < \cdots < (n _{l}, k_{l})\) is a group of multiple eigenvalues of the size *l*, then \(\alpha _{n_{1} k_{1}} = \alpha _{n_{2} k_{2}} = \cdots = \alpha _{n_{l} k_{l}}\). For every such group, introduce the notations \(\alpha '_{n_{1} k_{1}} = \alpha _{n_{1} k_{1}}\), \(\alpha '_{n_{j} k_{j}} = 0\), \(j = \overline{2, l}\). Define

Let us derive asymptotic formulas for \(\alpha _{n}^{(s)}\), \(s = \overline{1, m}\), \(\alpha _{n}^{I}\) and \(\alpha _{n}^{II}\) as \(n \to \infty \). The final results are formulated in Theorems 3.1 and 3.4. We start from the following standard formula for the Weyl solution:

Since \(V(\varPhi ) = 0\), we have

First, we derive asymptotic formulas for \(\alpha _{n}^{(s)}\). For definiteness, fix \(s \in \{ p + 1, \dots , m\}\), since we have focused on this case in Sect. 2. Using (1.3), (3.1) and the residue theorem, we obtain

for sufficiently large *n*. Here \(\varGamma _{n}^{(s)}\) is a contour in the *λ*-plane, enclosing the eigenvalues \(\{ \lambda _{nk} \}_{k = \overline{p+1, m} \colon z_{k} = z_{s}}\).

Further we develop the ideas of the proof of Theorem 2.1. We use the change of variables \(\lambda = \rho _{n}^{2}(z)\), \(|z - z_{s}| = \delta \), where \(\delta > 0\) is sufficiently small. Clearly,

In view of (2.11), we have

Since \(R_{n}(z) = R(z) + K_{n}(z)\) and \(\| R^{-1}(z)\| \le C\) for \(|z - z_{s}| = \delta \), we get

Using (2.3) and (2.9), we obtain the asymptotic relation

Combining Eqs. (3.4), (3.5) and (3.6), we get

Substituting (3.3) and (3.7) into (3.2), we obtain the relation

Here and below the notation \(\{ K_{n} \}\) is used for various matrix sequences, independent of *z* and such that \(\{ \| K_{n}(z)\| \} \in l_{2}\).

Using Eq. (2.15), we get

The residue theorem yields

In view of (2.17), we have \(\omega _{22} = \mathcal{U}^{\dagger } D \mathcal{U}\). Hence

where

Although the choice of the matrix \(\mathcal{U}\), satisfying (2.17), is not unique, the result of (3.8) does not depend on \(\mathcal{U}\). Introduce the matrix

Finally, we arrive at the relation

Similarly, we get

where

and \(\mathcal{V} = (\mathcal{V}^{-1})^{\dagger } \in \mathbb{C}^{p \times p}\) is a unitary matrix, such that \(\mathcal{V} (\omega _{11} - H) \mathcal{V}^{\dagger } = E := \operatorname {diag}\{z_{k}\}_{k = 1}^{p}\).

Thus, we arrive at the following theorem.

### Theorem 3.1

*The matrix sequences*\(\{ \alpha _{n}^{(s)} \}_{n \in \mathbb{N}}\), \(s = \overline{1, m}\), *satisfy the asymptotic relations* (3.10) *and* (3.11), *where the matrices*\(A^{(s)}\), \(s = \overline{1, m}\), *are defined by* (3.9) *and* (3.12).

The definitions (3.9) and (3.12) immediately imply the corollary.

### Corollary 3.2

*The matrices*\(A^{(s)}\)*in the asymptotics* (3.10) *and* (3.11) *are Hermitian*, *non*-*negative definite*: \(A^{(s)} = ( A^{(s)} )^{\dagger } \ge 0\), \(s = \overline{1, m}\). *Furthermore*,

The following corollary is important for inverse problem theory.

### Corollary 3.3

*The spectral data*\(\{ \lambda _{nk}, \alpha _{nk} \}_{n \in \mathbb{N}, k = \overline{1, m}}\)*uniquely specify the matrices*\((\omega _{11}-H)\)*and*\(\omega _{22}\).

### Proof

Consider the set of indices

Using (3.9) and (3.12), we obtain

Thus, one can determine the constants \(\{ z_{k} \}_{k = 1}^{m}\) and the matrices \(\{ A^{(s)} \}_{s = 1}^{m}\) from the asymptotic formulas (2.4), (2.5) and (3.10), (3.11), respectively, and then find \((\omega _{11} - H)\) and \(\omega _{22}\) from (3.13). □

Let us proceed to the derivation of the asymptotic formulas for \(\alpha _{n}^{I}\) and \(\alpha _{n}^{II}\). Theorem 3.1 yields

However, we can obtain better estimates for the remainder terms in (3.14). For this purpose, we use (2.3) and (2.9) to get a more precise asymptotics for \(W(\rho _{n}^{2}(z))\), than (2.10):

where

Consequently, the matrix functions \(R_{n}(z)\), defined by (2.11), can be represented in the form

Choose *r* such that \(|z_{k}| < r\), \(k = \overline{p + 1, m}\). One can easily show that for \(|z| = r\) the following relation holds:

It follows from (1.3), (3.1) and the residue theorem that

where \(\varGamma _{n}\) is a contour in *λ*-plane, enclosing the eigenvalues \(\{ \lambda _{nk} \}_{k = p + 1}^{m}\).

Combining (3.3), (3.4), (3.6), (3.15) and (3.16), we obtain the relation

Since \(\hat{Q}_{2n} \to 0\) as \(n \to \infty \), the matrix function \(( R_{n}^{0}(z) )^{-1}\) for sufficiently large *n* has the poles \(\{ z_{nk}^{0} \}_{k = p + 1}^{m}\), such that \(z_{nk}^{0} \to z_{k}\) as \(n \to \infty \), \(k = \overline{p + 1, m}\). Hence

It follows from (3.15) that

Substituting (3.19) into (3.18), we get

Substituting (3.20) into (3.17), we obtain the asymptotic relation for \(\alpha _{n}^{II}\). Similarly we derive an asymptotic formula for \(\alpha _{n}^{I}\) and, finally, arrive at the following theorem.

### Theorem 3.4

*The following asymptotic relations hold*

Theorems 2.1, 3.1 and 3.4 yield the following corollary. It is valid for an arbitrary orthogonal projector *T*, not necessarily defined by (2.1).

### Corollary 3.5

*Let*\(\hat{L} = L(\hat{Q}(x), T, \hat{H})\)*be a boundary value problem of the same form* (1.1)*–*(1.2) *as**L*, *but with different coefficients*\(\hat{Q}(x)\)*and**Ĥ*. *Suppose that*

*Then*

*where the values*\(\hat{\rho }_{nk}\), \(\hat{\alpha }_{n}^{(s)}\), \(\hat{\alpha }_{n}^{I}\)*and*\(\hat{\alpha }_{n}^{II}\)*are defined by the problem**L̂**in the same way as*\(\rho _{nk}\), \(\alpha _{n}^{(s)}\), \(\alpha _{n}^{I}\)*and*\(\alpha _{n}^{II}\)*are defined by the problem**L*, *respectively*, *for*\(n \in \mathbb{N}\), \(k, s = \overline{1, m}\).

## Examples of Sturm–Liouville operators on a graph

In this section, we apply our results to differential operators on a star-shaped graph. Two types of matching conditions are considered in the internal vertex: *δ*-coupling and \(\delta '\)-coupling (see [28]).

Let *G* be a star-shaped graph, consisting of *m* edges \(\{ e_{j} \} _{j = 1}^{m}\) of length *π*. For every edge \(e_{j}\), we introduce a parameter \(x_{j} \in [0, \pi ]\). It is supposed that the end \(x_{j} = 0\) corresponds to the boundary vertex and \(x_{j} = \pi \) corresponds to the internal vertex.

Consider the system of Sturm–Liouville equations on the graph *G*:

with the Dirichlet boundary conditions in the boundary vertices:

and the *δ*-type matching conditions in the internal vertex:

Here \(\{ q_{j} \}_{j = 1}^{m}\) are real-valued functions from \(L_{2}(0, \pi )\), \(\beta \in \mathbb{R}\). The boundary value problem (4.1)–(4.3) can be rewritten in the matrix form, similar to (1.1)–(1.2):

where

By a unitary transform (2.2), the problem (4.4)–(4.5) can be reduced to the form (1.1)–(1.2) with the matrices *T*, \(T^{\perp }\) and *H* in the form (2.1). Clearly, \(p = 1\) and \(h = \frac{\beta }{m}\). The matrix *U* in (2.2) has to be chosen in such a way that the columns of \(U^{\dagger }\) equal to the orthonormal eigenvectors of the matrices *T̃* and \(\tilde{T} ^{\perp }\), corresponding to the eigenvalue 1. In particular, the first column of \(U^{\dagger }\) consists of the equal numbers \(\frac{1}{\sqrt{m}}\) and the remaining columns are the orthonormal eigenvectors of \(\tilde{T}^{\perp }\). The choice of *U* is not unique, but all the possible choices lead to the same asymptotics of the spectral data.

Let us find the matrices \(\omega _{11}\) and \(\omega _{22}\). Obviously,

The matrix \(\omega _{11}\) contains only one element. Since the first row of *U* consists of the numbers \(\frac{1}{\sqrt{m}}\), we get

Using (2.2), we derive the relation

Clearly, the polynomial \(\det (z I_{m} - T^{\perp } \omega T^{\perp })\) has the zero \(z = 0\), and its other zeros coincide with the eigenvalues \(\{ z_{k} \}_{k = 2}^{m}\) of the matrix \(\omega _{22} \in \mathbb{C}^{(m-1) \times (m - 1)}\), counting with their multiplicities. In view of (4.9), we have

Using (4.7), one can show that

The unitary transform *U* does not influence the eigenvalues. Thus, we arrive at the following result.

### Theorem 4.1

*The spectrum of the boundary value problem* (4.1)*–*(4.3) *is formed by a countable set of real eigenvalues*\(\{ \tilde{\lambda }_{nk} \}_{n \in \mathbb{N}, k = \overline{1, m}}\), *such that*\(\tilde{\rho }_{nk} = \sqrt{\tilde{\lambda }_{nk}}\)*satisfy the asymptotic formulas*

*where*\(z_{1}\)*is defined by* (4.8), \(\{ z_{k} \}_{k = 2}^{m}\)*are the zeros of the polynomial*\(\mathcal{P}(z)\), *numbered according to their multiplicities*, *and*\(\{ \tilde{\varkappa }_{nk} \} \in l_{2}\).

Define the weight matrices \(\{ \tilde{\alpha }_{nk} \}_{n \in \mathbb{N}, k = \overline{1, m}}\) of the problem (4.1)–(4.3) on the star-shaped graph as the weight matrices of the equivalent matrix problem (4.4)–(4.5). Let \(\{ \tilde{\alpha }_{n}^{(s)} \} _{n \in \mathbb{N}, s = \overline{1, m}}\), and \(\{ \tilde{\alpha } _{n}^{II} \}_{n \in \mathbb{N}}\) be the sums of the weight matrices, defined for the problem (4.4)–(4.5) similarly to the ones in Sect. 3. Then Theorems 3.1 and (3.4) together with Eqs. (2.2) imply the following theorem.

### Theorem 4.2

*The weight matrices of the problem* (4.1)*–*(4.3) *satisfy the following asymptotic relations*:

*where*\(\{ A^{(s)} \}_{s = 2}^{m}\)*are the matrices*, *defined by* (3.9).

The eigenvalue asymptotics of Theorem 4.1 have been obtained in [21] by another method. In [29], asymptotic relations for the main diagonals of the weight matrices \(\{ \alpha _{nk} \}_{n \in \mathbb{N}, k = \overline{1, m}}\) have been derived, which conform to Theorem 4.2.

Further we study the case of \(\delta '\)-coupling. Consider the boundary value problem on the star-graph *G* for the Sturm–Liouville equations (4.1) with the Dirichlet boundary conditions (4.2) and the following \(\delta '\)-type matching conditions:

The conditions (4.10) can be rewritten in the matrix form as follows:

where *T̃*, \(\tilde{T}^{\perp }\) and *H̃* are defined by (4.6)–(4.7). In the case \(\beta \ne 0\), we obtain the Robin-type boundary condition

Matrix Sturm–Liouville operators with such boundary conditions have been studied, e.g., in [18], so we exclude this case from consideration.

Suppose that \(\beta = 0\). Then the problem (4.1), (4.2), (4.10) can be reduced to the matrix form (1.1)–(1.2) by the unitary transform with the same matrix *U*, which has been used for the *δ*-coupling case. We obtain \(T = U \tilde{T}^{\perp } U ^{\dagger }\), \(T^{\perp } = U \tilde{T} U^{\dagger }\), \(p = m - 1\), \(H = 0\). Summarizing the arguments above, we arrive at the following theorem, providing the asymptotics for the spectral data \(\{ \tilde{\lambda }_{nk}, \tilde{\alpha }_{nk} \}_{n \in \mathbb{N}, k = \overline{1, m}}\) of the problem (4.1), (4.2), (4.10).

### Theorem 4.3

*The spectrum of the boundary value problem* (4.1), (4.2), (4.10) *with*\(\beta = 0\)*is formed by a countable set of real eigenvalues*\(\{ \tilde{\lambda }_{nk} \}_{n \in \mathbb{N}, k = \overline{1, m}}\), *such that*\(\tilde{\rho }_{nk} := \sqrt{ \tilde{\lambda }_{nk}}\)*satisfy the asymptotic formulas*

*where*\(\{ z_{k} \}_{k = 1}^{m-1}\)*are the zeros of the polynomial*\(\mathcal{P}(z)\), \(z_{m} = \frac{1}{m} \sum_{j = 1}^{m} \tilde{\omega }_{j}\), \(\{ \tilde{\varkappa }_{nk} \} \in l_{2}\).

*The sums of the weight matrices satisfy the following asymptotic relations*:

*where the matrices*\(\{ A^{(s)} \}_{s = 1}^{m-1}\)*are defined by* (3.12) *and**T̃*, \(\tilde{T}^{\perp }\)*are defined by* (4.7).

## References

- 1.
Marchenko, V.A.: Sturm–Liouville Operators and Their Applications. Naukova Dumka, Kiev (1977) (Russian); English transl, Birkhauser (1986)

- 2.
Levitan, B.M., Sargsjan, I.S.: Sturm–Liouville and Dirac Operators. Springer, Dordrecht (1991)

- 3.
Freiling, G., Yurko, V.: Inverse Sturm–Liouville Problems and Their Applications. Nova Publ. (Nova Science Publishers), Huntington (2001)

- 4.
Beals, R., Henkin, G.M., Novikova, N.N.: The inverse boundary problem for the Rayleigh system. J. Math. Phys.

**36**(12), 6688–6708 (1995) - 5.
Boutet de Monvel, A., Shepelsky, D.: Inverse scattering problem for anisotropic media. J. Math. Phys.

**36**(7), 3443–3453 (1995) - 6.
Chabanov, V.M.: Recovering the M-channel Sturm–Liouville operator from \(M+1\) spectra. J. Math. Phys.

**45**(11), 4255–4260 (2004) - 7.
Berkolaiko, G., Carlson, R., Fulling, S., Kuchment, P.: Quantum Graphs and Their Applications. Contemp. Math., vol. 415. Am. Math. Soc., Providence (2006)

- 8.
Exner, P., Keating, J.P., Kuchment, P., Sunada, T., Teplyaev, A. (eds.): Analysis on Graphs and Its Applications. Proceedings of Symposia in Pure Mathematics, vol. 77. AMS, Providence (2008)

- 9.
Pokornyi, Y.V., Pryadiev, V.L.: Some problems of the qualitative Sturm–Liouville theory on a spatial network. Russ. Math. Surv.

**59**(3), 515–552 (2004) - 10.
Harmer, M.: Inverse scattering on matrices with boundary conditions. J. Phys. A

**38**(22), 4875–4885 (2005) - 11.
Nowaczyk, M.: Inverse Problems for Graph Laplacians. Doctoral Theses in Mathematical Sciences, Lund (2007)

- 12.
Yurko, V.A.: Inverse spectral problems for differential operators on spatial networks. Russ. Math. Surv.

**71**(3), 539–584 (2016) - 13.
Papanicolaou, V.G.: Trace formulas and the behaviour of large eigenvalues. SIAM J. Math. Anal.

**26**(1), 218–237 (1995) - 14.
Carlson, R.: Large eigenvalues and trace formulas for matrix Sturm–Liouville problems. SIAM J. Math. Anal.

**30**(5), 949–962 (1999) - 15.
Chelkak, D., Korotyaev, E.: Weyl–Titchmarsh functions of vector-valued Sturm–Liouville operators on the unit interval. J. Funct. Anal.

**257**, 1546–1588 (2009) - 16.
Bondarenko, N.: Spectral analysis for the matrix Sturm–Liouville operator on a finite interval. Tamkang J. Math.

**42**(3), 305–327 (2011) - 17.
Mykytyuk, Y.V., Trush, N.S.: Inverse spectral problems for Sturm–Liouville operators with matrix-valued potentials. Inverse Probl.

**26**, 015009 (2010) - 18.
Bondarenko, N.P.: An inverse problem for the non-self-adjoint matrix Sturm–Liouville operator. Tamkang J. Math.

**50**(1), 71–102 (2019) - 19.
Xu, X.-C.: Inverse spectral problem for the matrix Sturm–Liouville operator with the general separated self-adjoint boundary conditions. Tamkang J. Math.

**50**(3), 321–336 (2019) - 20.
Naimark, M.A.: Linear Differential Operators, 2nd edn. Nauka, Moscow (1969) English transl. of 1st ed., Parts I, II, Ungar, New York, 1967, 1968

- 21.
Möller, M., Pivovarchick, V.: Spectral Theory of Operator Pencils, Hermite–Biehler Functions, and Their Applications. Operator Theory: Advances and Applications, vol. 246. Birkhäuser, Basel (2015)

- 22.
Agranovich, Z.S., Marchenko, V.A.: The Inverse Problem of Scattering Theory. Gordon & Breach, New York (1960) in Russian, KSU, Kharkov, 1963 (Eng. Transl.)

- 23.
Wadati, M.: Generalized matrix form of the inverse scattering method. In: Bullough, R.K., Caudry, P.J. (eds.) Solitons. Topics in Current Physics, vol. 17, pp. 287–299. Springer, Berlin (1980)

- 24.
Olmedilla, E.: Inverse scattering transform for general matrix Schrödinger operators and the related symplectic structure. Inverse Probl.

**1**, 219–236 (1985) - 25.
Bondarenko, N.: Inverse scattering on the line for the matrix Sturm–Liouville equation. J. Differ. Equ.

**262**(3), 2073–2105 (2017) - 26.
Bondarenko, N.: Recovery of the matrix quadratic differential pencil from the spectral data. J. Inverse Ill-Posed Probl.

**24**(3), 245–263 (2016) - 27.
Bondarenko, N.: Matrix Sturm–Liouville equation with a Bessel-type singularity on a finite interval. Anal. Math. Phys.

**7**(1), 77–92 (2017) - 28.
Exner, P.: A duality between Schrödinger operators on graphs and certain Jacobi matrices. Ann. Inst. Henri Poincaré

**66**(4), 359–371 (1997) - 29.
Kuznetsova, M.A.: Asymptotic formulae for weight numbers of the Sturm–Liouville boundary problem on a star-shaped graph. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform.

**18**(1), 40–48 (2018)

### Acknowledgements

Not applicable.

### Availability of data and materials

Not applicable.

### Funding

This work was supported by Grant 19-71-00009 of the Russian Science Foundation.

## Author information

### Affiliations

### Contributions

NPB is the sole author of this paper. The author has read and approved the final manuscript.

### Corresponding author

Correspondence to Natalia P. Bondarenko.

## Ethics declarations

### Competing interests

The author declares that she has no competing interests.

## Additional information

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## 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

Bondarenko, N.P. Spectral analysis of the matrix Sturm–Liouville operator.
*Bound Value Probl* **2019, **178 (2019) doi:10.1186/s13661-019-1292-z

Received:

Accepted:

Published:

### MSC

- 34B09
- 34B24
- 34B45
- 34L20
- 34L40

### Keywords

- Matrix Sturm–Liouville operator
- General self-adjoint boundary condition
- Eigenvalue asymptotics
- Asymptotics of weight matrices
- Sturm–Liouville operators on graphs