Research
Open Access
Spectral analysis of wave propagation on branching strings
- Rakib F Efendiev1,
- Hamzaga D Orudzhev2 and
- Zaki FA El-Raheem3Email author
Received: 1 September 2016
Accepted: 22 November 2016
Published: 1 December 2016
Abstract
In this paper the classical Hill problem with complex potentials are extended to the star graph. The definition of the Hill operator on such graph is discussed. The operator is defined with complex, periodic potentials and using special boundary conditions connecting values of the functions at the vertices. An explicit description of the resolvent is given and the spectrum is described exactly, the inverse problem with respect to the reflection coefficients is solved.
Keywords
noncompact graphs inverse spectral problems Hill operator reflection coefficientMSC
34L05 34B24 34L25 81U401 Introduction
The purpose of the present paper is the spectral analysis of a wave propagation in a layered, inhomogeneous medium, such as a branching tube or a system of joined strings.
It is well known [1–4] that wave propagation in a one-dimensional non-conservative medium in a frequency domain is described by the Schrödinger equation, where R is the real axis, λ is the wave number (known as the momentum), \(\lambda^{2}\) is the energy, \(p(x)\) describes the joint effect of absorption and generation of energy, and \(q(x)\) describes the regeneration of the force density.
$$- y''(x,\lambda ) + \bigl[i\lambda p ( x ) + q ( x ) \bigr]y(x, \lambda ) = \lambda^{2} y(x,\lambda ),\quad x \in R, $$
As a model of layered, inhomogeneous medium we will use a special type of noncompact graph, star graph, that is, a flexible mathematical construction with single vertex in which a finite number of edges \(N_{k}=[0,\infty )\), \(k=1,2,3,\ldots,n\), are joined. The models which can be obtained by investigating differential operators on the graphs have both features of ordinary and partial differential operators.
In the problem of spectral analysis of a system of branching strings, we have the following correspondence: the strings correspond to the edges of the graphs and the points of the junctions of the strings correspond to the interior vertices.
Then for studying wave propagation on branching strings we must consider the system of equations with the following boundary conditions at the initial points of the positive half axis satisfied:
in the space where the notation \(o_{k}\) with subscript k to denote the initial point 0 of the kth positive half axis is used and the direct sum of the spaces is denoted by ⨁. The prime denotes the derivative with respect to space coordinate and λ is a complex number.
$$ \textstyle\begin{cases} - y''_{1} ( {x_{1} ,\lambda } ) + [2\lambda p_{1} ( {x_{1} } ) + q_{1} ( {x_{1} } ) ]y_{1} ( {x_{1} , \lambda } ) = \lambda^{2} y_{1} ( {x_{1} ,\lambda } ) , \\ - y''_{2} ( {x_{2} ,\lambda } ) + [2\lambda p_{2} ( {x_{2} } ) + q_{2} ( {x_{2} } ) ]y_{2} ( {x_{2} , \lambda } ) = \lambda^{2} y_{2} ( {x_{2} ,\lambda } ) , \\ - y''_{3} ( {x_{3} ,\lambda } ) + [2\lambda p_{3} ( {x_{3} } ) + q_{3} ( {x_{3} } ) ]y_{3} ( {x_{3} , \lambda } ) = \lambda^{2} y_{3} ( {x_{3} ,\lambda } ) , \\ \cdots \\ - y''_{n} ( {x_{n} ,\lambda } ) + [2\lambda p_{n} ( {x_{n} } ) + q_{n} ( {x_{n} } ) ]y_{n} ( {x_{n} , \lambda } ) = \lambda^{2} y_{n} ( {x_{n} ,\lambda } ) , \end{cases} $$
(1)
$$\begin{aligned} &y_{1}(0,\lambda ) = y_{2}(0,\lambda ) = y_{3}(0,\lambda )=\cdots= y_{n}(0, \lambda ), \end{aligned}$$
(2)
$$\begin{aligned} &y_{1}^{\prime }(0,\lambda ) + y_{2}^{\prime }(0, \lambda ) + y_{3}^{ \prime }(0,\lambda ) +\cdots+ y_{n}^{\prime }(0, \lambda )= 0, \end{aligned}$$
(3)
$$L_{2}(G)=\bigoplus_{k = 1}^{n} L_{2} [o_{k} ,\infty ), $$
We assume that the potentials \(p_{k} (x_{k})\) and \(q_{k} (x _{k})\), \(k=1,2,3\), are of the form
$$\begin{aligned} &p_{k} (x_{k} ) = \sum _{n = 1}^{\infty} {p_{kn} e^{inx_{k} } , } \quad \sum_{n = 1}^{\infty} {n\vert {p_{kn} } \vert < \infty ; } \end{aligned}$$
(4)
$$\begin{aligned} &q_{k} (x_{k} ) = \sum _{n = 1}^{\infty} {q_{kn} e^{inx_{k} } , } \quad \sum_{n = 1}^{\infty} {\vert {q_{kn} } \vert < \infty . } \end{aligned}$$
(5)
For simplicity in deriving the results, without any loss of generality, in the future we will consider the case \(n=3\).
In particular, spectral analyses of the operator with the periodic potential of the type \(q(x) = \sum_{n = 1}^{\infty} {q_{n} e ^{inx} }\) in \(L_{2}(-\infty , +\infty )\) have been studied by Gasymov [5], Shin [6], Carlson [7, 8], Guillemin and Uribe [9], and Pastur and Tkachenko [10]. As a final remark we mention [2, 11–15]. More information as regards the potentials can be found in [11].
Now we define the space \(L_{2} (G)\)
with scalar product and we consider the operator \(L_{G}\)
where with domain
$$L_{2} (G) = \bigoplus_{k = 1}^{3} { L_{2} (N_{k} ), } $$
$$( {f,g} ) _{L_{2} ( G ) } = \sum_{k = 1} ^{3} { ( {f_{k} ,g_{k} } ) } _{L_{2} ( N_{k} ) }, $$
$$L_{G} = \bigoplus_{k = 1}^{3} { L_{k} }, $$
$$ L_{k}=-d^{2}/dx_{k}^{2} +2\lambda p_{k}(x_{k})+q_{k} (x_{k}) $$
(6)
$$\begin{aligned} D(L_{G}) =&\bigl\{ y(x)|y_{k}(x),y_{k}^{\prime }(x) \in AC[0,R] \mbox{ for all }R>0, y_{1}(0)=y_{2}(0)=y_{3}(0) \\ &y_{1}^{\prime }(0)+y_{2}^{\prime }(0)+y_{3}^{\prime }(0)=0, y_{k}(x),y_{k}^{\prime \prime }(x)\in L_{2}\bigl( \mathbb{R} ^{+}\bigr), k=1,2,3\bigr\} . \end{aligned}$$
Then the considered problem (1)-(5) can be interpreted as a study of the operator on noncompact graph introduced as above.
$$L_{G} = \bigoplus_{k = 1}^{3} L_{k} $$
The idea of investigation of quantum particles confined to a graph is rather old. The first justification of quasi-one-dimensional motion of electrons in aromatic compounds was given by Pauling [16] and worked out by Ruedenberg and Scherr [17] in 1953. Within the framework of the proposed approach each chemical bound is replaced by a narrow tube in which the electron moves and from which he cannot get away. Using honey graphs with the - Kirchhoff - boundary condition in combination with the Pauli principle, they reproduced the actual spectra with 10 percent accuracy.
As a result of that, the problem can be considered as a generalization of the classical inverse spectral problem for the Schrödinger operator on the line.
For studying the wave propagation on the graph a second order (ordinary) differential Hamiltonian is used. The Hamiltonian is a Schrödinger operator with zero Dirichlet condition on its boundary. The Dirichlet condition is responsible for confinement of electrons to the vicinity of graph.
The Schrödinger operator is defined on a graph in the following way. On each edge the wave function is a solution of the one-dimensional equation. At each vertex the wave equation must be uniquely defined.
The spectral problems on graphs arise in the investigation of processes in various domains of natural science; from complex molecules to neuron systems. Methods developed by mathematicians make it possible to describe such problems in terms of the differential equations by constructing for these problems an exact analogue of the Sturm-Liouville theory.
Without a claim to completeness of the investigation of inverse problems on graphs we list here the works of Carlson [8], Freiling and Yurko [18], Gerasimenko [19], Kostrykin and Schrader [20], Kuchment [21], and Pivovarchik [22, 23].
The paper consists of three sections.
In Section 1 we introduce the main notions and give a formulation of the direct problem.
In Section 2 the properties of the spectrum are studied. It is proved that the continuous spectrum of the operator fill out the \(\operatorname{Im}\lambda =0\) axis on which there may exist spectral singularities coinciding with the numbers \(n/2, n=\pm 1,\pm 2,\pm 3,\ldots \) . Moreover, there may be a finite number of eigenvalues outside the interval \((-\infty ,+\infty )\).
In Section 3 we give a formulation of the inverse problem and provide a constructive procedure for the solution of the inverse problem.
1.1 Formulation of the direct problem
The spectral problem can be described as follows:
Find the vector \(y_{k}(x_{k},\lambda )=(y_{k1}(x_{1},\lambda ),y_{k2}(x _{2},\lambda ),y_{k3}(x_{3},\lambda ))\) satisfying the Sturm-Liouville equation on \(N_{k}\), \(k=1,2,3\), coupled at zero by the usual Kirchhoff conditions and complemented with initial conditions for the functions \(y_{k}(x _{k},\lambda )\), \(k = 1,2,3\).
$$ - y_{k} ^{\prime \prime }(x_{k},\lambda ) +2 \lambda p_{k} (x_{k} )y _{k}(x_{k}, \lambda ) +q_{k} (x_{k} )y_{k}(x_{k}, \lambda ) = \lambda ^{2} y_{k} (x_{k},\lambda ), $$
(7)
- (a)\(y_{k}\) is continuous at the nodes of the graph, i.e., in particular for our graph$$ y_{k1}(0,\lambda ) = y_{k2}(0,\lambda ) = y_{k3}(0,\lambda ); $$(8)
- (b)the sum of the derivatives over all the branches emanating from a node, calculated for each node, is zero,$$ y_{k1}^{\prime }(0,\lambda ) + y_{k2}^{\prime }(0,\lambda ) + y_{k3} ^{\prime }(0, \lambda ) = 0. $$(9)
It is well known (see [2]) that, for each fixed \(k=1,2,3\) on the edge \(N_{k}\), there exists a fundamental system of solutions of equations (7) \(f_{k}^{\pm } ( {x_{k}},\lambda ) \) for \(\lambda \ne \pm n/2\), \(n \in N\), and \(\lambda \ne 0\) with the properties: where the numbers \(V_{n}^{( \pm k)}\), \(V_{ n\alpha }^{( \pm k)}\) are defined by the following recurrent formulas:
and the series are convergent.
$$ f_{k} ^{\pm} ( {x_{k},\lambda } ) = e^{ \pm i\lambda x_{k} } \Biggl( {1 + \sum_{n = 1}^{\infty} {V_{n} ^{ ( { \pm k} ) } } e^{inx_{k}} + \sum _{n = 1}^{\infty} {\sum_{\alpha = n}^{\infty} {\frac{{V_{n\alpha } ^{ ( { \pm k} ) } }}{{n \pm 2\lambda }}e^{i\alpha x_{k}} } } } \Biggr), $$
(10)
$$\begin{aligned} &\alpha^{2}V_{\alpha } ^{ (\pm k)} + \alpha \sum_{n = 1}^{ \alpha } {V_{n\alpha } ^{ (\pm k)} + \sum_{s = 1}^{\alpha - 1} { \Biggl( {q_{k \alpha - s} V_{s}^{ (\pm k)} \pm p_{k \alpha - s} \sum _{n = 1}^{s} {V_{ns}^{ (\pm k) }} } \Biggr) } + q_{k \alpha } = 0}, \end{aligned}$$
(11)
$$\begin{aligned} &\alpha ( {\alpha - n} ) V_{n\alpha } ^{( \pm k)} + \sum _{s = n}^{\alpha - 1} { ( {q_{k \alpha - s} \mp n \cdot p _{k \alpha - s}} ) V_{ns}^{ (\pm k)} = 0}, \end{aligned}$$
(12)
$$\begin{aligned} &\alpha V_{\alpha } ^{ (\pm k)} \pm \sum _{s = 1}^{\alpha - 1} {V_{s}^{ (\pm k) } p_{k \alpha - s} \pm p_{k \alpha } = 0}, \end{aligned}$$
(13)
$$\begin{aligned} &\sum_{n = 1}^{\infty } {n^{2}\bigl\vert {V_{n}^{ \pm } } \bigr\vert } ; \\ &\sum_{n = 1}^{\infty } {\frac{{1}}{{n}}\sum _{\alpha = n + 1}^{\infty } {\alpha ( {\alpha - n} ) \bigl\vert {V_{n\alpha } ^{ \pm } } \bigr\vert }} ; \\ &\sum_{n = 1}^{\infty } {n \cdot \bigl\vert {V_{nn}^{ \pm } } \bigr\vert } \end{aligned}$$
Let us introduce It follows from (12) that \(f_{nk}^{\pm} (x_{k} ) \ne 0\) is valid for \(V_{n\alpha }^{ ( { \pm k} ) } \ne 0\).
$$\begin{aligned} f_{nk}^{\pm} (x_{k} ) =& \lim _{\lambda \to \mp \frac{n}{2}} (n \pm 2\lambda )f_{k}^{\pm} (x _{k} ,\lambda ) \\ =& \sum_{\alpha = n}^{\infty} {V_{n\alpha }^{ ( { \pm k} ) } } e^{i\alpha x_{k} } e^{ - i\frac{n}{2}x_{k} } . \end{aligned}$$
(14)
From (14) it follows that the linearly independent solutions of (7) according to \(\lambda = \pm n/2\), \(n \in N\) can be determined as
$$ \tilde{f}_{nk}^{\pm} (x_{k} )= \lim_{\lambda \to \mp \frac{n}{2}} \biggl[f_{k}^{\pm} (x_{k} ,\lambda ) + \frac{{V_{nn}^{ \pm k} f_{k}^{\mp} (x_{k} ,\lambda )}}{{n \pm 2\lambda }}\biggr]. $$
(15)
According to the expressions for \(f_{k}^{\pm} (x_{k} ,\lambda ) \) we can say that where \({\varphi_{kn}^{\pm} ( {x_{k} } ) }\), \({\tilde{\varphi} _{kn}^{\pm} ( {x_{k} } ) }\) are periodic functions. Obviously \(\tilde{f}_{nk} ^{\pm }(x_{k} )\) and \(f_{k}^{\mp} (x_{k} ,\lambda )\) are linearly independent solutions of (7) for \(\lambda = \pm n/2\), \(n \in N\).
$$\tilde{f}_{nk}^{\pm} (x_{k} ) = e^{ - i\frac{n}{2}x_{k} } \bigl( {\varphi_{kn}^{\pm} ( {x_{k} } ) + x_{k} \tilde{\varphi} _{kn}^{\pm} ( {x_{k} } ) } \bigr), $$
Linearly independent solutions of equation (7) corresponding to \(\lambda = 0 \) are defined as
$$ f_{k}^{+} (x_{k} ,0),\quad \mbox{and}\quad \frac{{d f_{k}^{+} (x_{k} ,0)}}{{d\lambda }} = (ix_{k} ) \bigl[f_{k}^{+} (x _{k} ,0) + o(1)\bigr],\quad \vert {x_{k} } \vert \to \infty . $$
(16)
As a solution of the problem we will understand a matrix on the noncompact graph on the basis of the following requirements:
$$Y(x,\lambda ) = \bigl[y_{jk} (x_{k} ,\lambda )\bigr]_{k,j = 1,2,3} $$
- 1.$$L_{G}Y = \lambda^{2}Y; $$
- 2.
\(y_{jk} (x_{k} ,\lambda )\) is a solution on the ray \(N_{k}=[0 , \infty ), k = 1,2,3\);
- 3.and$$ y_{jk} (x_{k} ,\lambda ) = T_{jk} (\lambda )f_{k}^{+} (x_{k} , \lambda ), \quad k \ne j; $$(17)$$ y_{kk} (x_{k} ,\lambda ) = f_{k}^{-} (x_{k} , \lambda ) + R_{kk} ( \lambda )f_{k}^{+} (x_{k} ,\lambda ), \quad k = 1,2,3. $$(18)
According to the physical meaning of the solutions \(Y(x,\lambda ) = [y _{jk} (x_{k} ,\lambda )]_{k,j = 1,2,3} \), it is natural to say that \(T_{kj} (\lambda )\) are the transmission coefficients and \(R_{kk} ( \lambda )\) are the reflection coefficients for equation (7).
The coefficients \(T_{kj} (\lambda )\) and \(R_{kk} (\lambda )\) can be found by writing down the boundary conditions (8), (9) for the solution \(y_{jk} (x_{k} ,\lambda )\).
To be specific, suppose \(k=1\), then
$$\begin{aligned} &f_{1}^{-} (0, \lambda ) + R_{11} (\lambda )f_{1}^{+} (0,\lambda ) = T _{12} ( \lambda ) f_{2}^{+} ( {0,\lambda } ) = T _{13} ( \lambda ) f_{3}^{+} ( {0,\lambda } ) , \\ &f_{1}^{- \prime } (0, \lambda ) + R_{11} (\lambda )f_{1}^{+\prime } (0, \lambda ) + T_{12} ( \lambda ) f_{2}^{+\prime } ( {0,\lambda } ) + T_{13} ( \lambda ) f_{3}^{+\prime } ( {0,\lambda } ) = 0. \end{aligned}$$
We solve these equations for \(R_{11} (\lambda )\), \(T_{12} (\lambda )\) and \(T_{13} (\lambda )\). We note that, for the Wronskian of the solutions, \(W[f_{1} ^{+} (0,\lambda ),f_{1}^{-} (0, \lambda )] = 2i \lambda \), we obtain where
$$\begin{aligned} &\begin{aligned} R_{11} ( \lambda ) &= \frac{ \left|{\scriptsize\begin{matrix}{} { - f_{1}^{-} ( {0,\lambda } ) } & { - f_{2}^{+} ( {0,\lambda } ) } & 0 \cr { - f_{1}^{-} ( {0,\lambda } ) } & 0 & { - f_{3}^{+} ( {0,\lambda } ) } \cr { - f_{1}^{ - \prime } ( {0,\lambda } ) } & {f_{2}^{ + \prime } ( {0,\lambda } ) } & {f_{3}^{ + \prime } ( {0,\lambda } ) } \end{matrix}}\right| }{ \left|{\scriptsize\begin{matrix}{} {f_{1}^{+} ( {0,\lambda } ) } & { - f_{2}^{+} ( {0, \lambda } ) } & 0 \cr {f_{1}^{+} ( {0,\lambda } ) } & 0 & { - f_{3}^{+} ( {0,\lambda } ) } \cr {f_{1}^{ + \prime } ( {0,\lambda } ) } & {f_{2}^{ + \prime } ( {0,\lambda } ) } & {f_{3}^{ + \prime } ( {0,\lambda } ) } \end{matrix}}\right| } \\ &=\frac{{[f_{1}^{-} (0,\lambda )f_{2}^{+} (0,\lambda )f_{3}^{+} (0, \lambda )]'}}{{[f_{1}^{+} (0,\lambda )f_{2}^{+} (0,\lambda )f_{3}^{+} (0,\lambda )]'}} \\ &=- \frac{{f_{1}^{-} (0,\lambda )}}{{f_{1}^{+} (0,\lambda )}} + \frac{ {2i\lambda }}{{f_{1}^{+} (0,\lambda )f_{1}^{+} (0,\lambda )G(\lambda )}}, \end{aligned} \\ & T_{12} ( \lambda ) = \frac{ \left|{\scriptsize\begin{matrix}{} {f_{1}^{+} ( {0,\lambda } ) } & { - f_{1}^{-} ( {0, \lambda } ) } & 0 \cr {f_{1}^{+} ( {0,\lambda } ) } & { - f_{1}^{-} ( {0, \lambda } ) } & { - f_{3}^{+} ( {0,\lambda } ) } \cr {f_{1}^{ + \prime } ( {0,\lambda } ) } & { - f_{1}^{ - \prime } ( {0,\lambda } ) } & {f_{3}^{ + \prime } ( {0,\lambda } ) } \end{matrix}}\right| }{ \left|{\scriptsize\begin{matrix}{} {f_{1}^{+} ( {0,\lambda } ) } & { - f_{2}^{+} ( {0, \lambda } ) } & 0 \cr {f_{1}^{+} ( {0,\lambda } ) } & 0 & { - f_{3}^{+} ( {0,\lambda } ) } \cr {f_{1}^{ + \prime } ( {0,\lambda } ) } & {f_{2}^{ + \prime } ( {0,\lambda } ) } & {f_{3}^{ + \prime } ( {0,\lambda } ) } \end{matrix}}\right| } = \frac{{2i\lambda }}{{f_{1}^{+} (0,\lambda )f_{2}^{+} (0, \lambda )G(\lambda )}}, \\ &T_{13} ( \lambda ) = \frac{ \left|{\scriptsize\begin{matrix}{} {f_{1}^{+} ( {0,\lambda } ) } & { - f_{2}^{+} ( {0, \lambda } ) } & { - f_{1}^{-} ( {0,\lambda } ) } \cr {f_{1}^{+} ( {0,\lambda } ) } & 0 & { - f_{1}^{-} ( {0,\lambda } ) } \cr {f_{1}^{ + \prime } ( {0,\lambda } ) } & {f_{2}^{ + \prime } ( {0,\lambda } ) } & { - f_{1}^{ - \prime } ( {0, \lambda } ) } \end{matrix}}\right| }{ \left|{\scriptsize\begin{matrix}{} {f_{1}^{+} ( {0,\lambda } ) } & { - f_{2}^{+} ( {0, \lambda } ) } & 0 \cr {f_{1}^{+} ( {0,\lambda } ) } & 0 & { - f_{3}^{+} ( {0,\lambda } ) } \cr {f_{1}^{ + \prime } ( {0,\lambda } ) } & {f_{2}^{ + \prime } ( {0,\lambda } ) } & {f_{3}^{ + \prime } ( {0,\lambda } ) } \end{matrix}}\right| } = \frac{{2i\lambda }}{{f_{1}^{+} (0,\lambda )f_{3}^{+} (0, \lambda )G(\lambda )}}, \end{aligned}$$
$$G(\lambda ) = \frac{{f_{1}^{ + '} (0,\lambda )}}{{f_{1}^{+} (0,\lambda )}} + \frac{{f_{2}^{ + '} (0,\lambda )}}{{f_{2}^{+} (0,\lambda )}} + \frac{ {f_{3}^{ + '} (0,\lambda )}}{{f_{3}^{+} (0,\lambda )}}. $$
2 The properties of the spectrum
To study the spectrum of the operator \(L_{G}\) at first we calculate the kernel of the resolvent of the operator \((L_{G}-\lambda^{2} E)\). Note that every solution \(\Psi_{k} ( {x_{k} ,\lambda } ) \) of the problem on the edge \(N_{k}=[0,\infty )\), \(k=1,2,3\), is a linear combination of the functions \(y_{kk} (x_{k} ,\lambda )\), \(y_{jk} (x _{k} ,\lambda )\), \(j \ne k\), \(j,k=1,2,3\), and can be written in the form where \(C_{0j}^{ ( k ) }(x_{k})\) and \(C_{1j}^{ ( k ) }(x _{k})\) are such that conditions (8)-(9) hold for \(\Psi_{k} ( {x_{k} ,\lambda } ) \).
$$\Psi_{k} ( {x_{k} ,\lambda } ) = C_{0j}^{ ( k ) }(x _{k}) y_{kk} ( {x_{k} ,\lambda } ) + C_{1j}^{ ( k ) }(x _{k}) y_{jk} ( {x_{k} ,\lambda } ) ,\quad j \ne k,j,k = 1,2,3, $$
We will construct the resolvent of the operator \(L_{G}\) for \(\operatorname{Im} \lambda >0\).
To this aim, we solve the problem in the space \(L_{2}[0_{k},\infty )\). Here \(\varphi_{k}(x_{k})\) is an arbitrary function belonging to the space \(L_{2}[0_{k},\infty )\), \(k = 1,2,3\).
$$\begin{aligned} &{-} y_{k} ^{\prime \prime }(x_{k},\lambda ) +2 \lambda p_{k} (x_{k} )y _{k}(x_{k}, \lambda ) +q_{k} (x_{k} )y_{k}(x_{k}, \lambda )= \lambda ^{2} y_{k} (x_{k},\lambda )+ \varphi_{k}(x_{k}) , \\ &\quad k = 1,2,3, \end{aligned}$$
(19)
By taking into account the relation to find \(C_{0j}^{ ( k ) }(x_{k})\) and \(C_{1j}^{ ( k ) }(x _{k})\) we have where \(x_{k} \in [0_{k},\infty )=N_{k}\) and \(C_{0j}^{ ( k ) }( \infty )\), \(C_{1j}^{ ( k ) }(o_{k})\) are arbitrary numbers.
$$W\bigl[y_{kk} ( {x_{k} ,\lambda } ) ,y_{jk} ( {x_{k} , \lambda } ) \bigr] = 2i\lambda T_{jk} (\lambda ) $$
$$\begin{aligned} &C_{0j}^{ ( k ) } (x_{k} ) = \frac{1}{{2i\lambda T_{jk} ( \lambda )}} \int_{x_{k} }^{\infty} {y_{jk} ( {t_{k} , \lambda } ) \varphi_{k} (t_{k} )} \,dt_{k} + C_{0j}^{ ( k ) }( \infty ), \\ &C_{1j}^{ ( k ) } (x_{k} ) = \frac{1}{{2i\lambda T_{jk} ( \lambda )}} \int_{0_{k} }^{x_{k} } {y_{kk} ( {t_{k} , \lambda } ) \varphi_{k} (t_{k} )} \,dt_{k} + C_{1j}^{ ( k ) }(o _{k}), \end{aligned}$$
Then
$$\begin{aligned} \Psi_{k} ( {x_{k} ,\lambda } ) ={}& \frac{1}{{2i\lambda T_{jk} (\lambda )}} \int_{x_{k} }^{\infty} {y_{kk} ( {x_{k} , \lambda } ) y_{jk} ( {t_{k} ,\lambda } ) \varphi_{k} (t _{k} )} \,dt_{k} + C_{0j}^{ ( k ) }(\infty )y_{kk} ( {x_{k} , \lambda } ) \\ {}&+ \frac{1}{{2i\lambda T_{jk} (\lambda )}}\int_{0_{k} }^{x_{k} } {y_{jk} ( {x_{k} ,\lambda } ) y_{kk} ( {t_{k} ,\lambda } ) \varphi_{k} (t_{k} )} \,dt_{k} \\ &{}+ C_{1j}^{ ( k ) }(o_{k}) y_{jk} ( {x_{k} ,\lambda } ) , \quad j \ne k,j,k = 1,2,3. \end{aligned}$$
By virtue of the condition \(\Psi_{k} ( \bullet ,\lambda ) \in L_{2} [0_{k} ,\infty ), y_{kk} (x_{k} ,\lambda ) \notin L_{2} [o_{k} , \infty )\), \(y_{jk} (x_{k} ,\lambda ) \in L_{2} [o_{k} , \infty )\) we find that \(C_{0j}^{ ( k ) }(\infty ) = 0\).
Then and
$$\begin{aligned} \Psi_{k} ( {x_{k} ,\lambda } ) = {}& \frac{1}{{2i\lambda T_{jk} (\lambda )}}\biggl[ \int_{x_{k} }^{\infty} {y_{kk} ( {x_{k} , \lambda } ) y_{jk} ( {t_{k} ,\lambda } ) \varphi_{k} (t _{k} )} \,dt_{k} \\ &{}+ \int_{o_{k} }^{x_{k} } {y_{jk} ( {x_{k} ,\lambda } ) y _{kk} ( {t_{k} ,\lambda } ) \varphi_{k} (t_{k} )} \,dt_{k}\biggr] \\ &{} + C_{1j}^{ ( k ) }(o_{k}) y_{jk} ( {x_{k} ,\lambda } ) , \quad j \ne k,j,k = 1,2,3, \end{aligned}$$
(20)
$$\begin{aligned} &\Psi_{k} ( {o_{k} ,\lambda } ) = \frac{1}{{2i\lambda T_{jk} (\lambda )}} \int_{0_{k} }^{\infty} {y_{kk} ( {o_{k} , \lambda } ) y_{jk} ( {t_{k} ,\lambda } ) \varphi_{k} (t _{k} )} \,dt_{k} + C_{1j}^{ ( k ) }(o_{k}) y_{jk} ( {o _{k} ,\lambda } ) , \\ &\quad j \ne k,j,k = 1,2,3. \end{aligned}$$
Let us denote then by taking into account (17) we have
$$\begin{aligned} &I_{k}(\lambda )=\frac{1}{{2i\lambda T_{jk} (\lambda )}} \int _{0_{k} }^{\infty} {y_{jk} ( {t_{k} ,\lambda } ) \varphi_{k} (t_{k} )} \,dt_{k}, \\ &C_{1}^{ ( k ) }(\lambda )= C_{1j}^{ ( k ) }(o_{k})T _{jk}(\lambda ); \end{aligned}$$
$$\Psi_{k} ( {o_{k} ,\lambda } ) =y_{kk} ( {o_{k} , \lambda } ) I_{k}(\lambda )+ C_{1}^{ ( k ) }( \lambda )f _{k}^{+} ( {o_{k},\lambda } ) . $$
For finding the constants \(C_{1}^{ ( k ) }(\lambda )\), \(k=1,2,3\), we will use the boundary conditions (8)-(9) and obtain
$$\begin{aligned} &C_{1}^{1}(\lambda ) f_{1}^{+} (o_{1} ,\lambda ) - C_{1}^{2}(\lambda ) f_{2}^{+} (o_{2} ,\lambda ) = y_{22} (o_{2} ,\lambda )I_{2} ( \lambda ) - y_{11} (o_{1} ,\lambda )I_{1} ( \lambda ) , \\ &C_{1}^{1} (\lambda )f_{1}^{+} (o_{1} ,\lambda ) - C_{1}^{3}(\lambda ) f_{3}^{+} (o_{3} ,\lambda ) = y_{33} (o_{3} ,\lambda )I_{3} ( \lambda ) - y_{11} (o_{1} ,\lambda )I_{1} ( \lambda ) , \\ &C_{1}^{1}(\lambda ) f_{1}^{\prime +} (o_{1} ,\lambda ) + C_{1}^{2} (\lambda )f_{2}^{\prime +} (o_{2} ,\lambda ) + C_{1}^{3 }(\lambda )f_{3}^{\prime +} (o_{3} ,\lambda ) \\ &\quad = - y'_{11} (o_{1} ,\lambda )I_{1} ( \lambda ) - y'_{22} (o _{2} ,\lambda )I_{2} ( \lambda ) - y'_{33} (o_{3} ,\lambda )I_{3} ( \lambda ) . \end{aligned}$$
The system of equations can be written as where for \(f_{k}^{+}=f_{k}^{+}(o_{k},\lambda )\), \(y_{kk}= y_{kk} (o _{k} ,\lambda )\)
and
$$F(\lambda ) \cdot C(\lambda ) = Y(\lambda ) $$
$$\begin{aligned} &F(\lambda ) = \begin{pmatrix} {f_{1}^{+} } & { - f_{2}^{+} } & 0 \\ {f_{1}^{+} } & 0 & { - f_{3}^{+} } \\ {f_{1}^{\prime +} } & {f_{2}^{\prime +} } & {f_{3}^{\prime +} } \end{pmatrix}, \\ &C (\lambda )= \begin{pmatrix} {C_{1}^{1} (\lambda )} \\ {C_{1}^{2} (\lambda )} \\ {C_{1}^{3}(\lambda ) } \end{pmatrix}, \end{aligned}$$
$$Y(\lambda ) = - \begin{pmatrix} {y_{22} I_{2} ( \lambda ) - y_{11} I_{1} ( \lambda ) } \\ {y_{33} I_{3} ( \lambda ) - y_{11} I_{1} ( \lambda ) } \\ {y'_{11} I_{1} ( \lambda ) + y'_{22} I_{2} ( \lambda ) + y'_{33} I_{3} ( \lambda ) } \end{pmatrix}. $$
From this we find that with and
$$C(\lambda ) = F^{ - 1} (\lambda ) \cdot Y(\lambda ) $$
$$F^{ - 1} (\lambda ) = \frac{ \left({\scriptsize\begin{matrix}{} {f_{2}^{\prime +} f_{3}^{ +} } & { - f_{2}^{+} f_{3}^{\prime +} } & {f_{2}^{ +} f _{3}^{+} } \cr {f_{1}^{\prime +} f_{3}^{+} - f_{1}^{+} f_{3}^{\prime +} } & {f_{1}^{+} f_{3}^{\prime +} } & {f_{1}^{+} f_{3}^{ +} } \cr {f_{1}^{ +} f_{2}^{+} } & {f_{1}^{\prime +} f_{2}^{+ } - f_{1}^{+} f_{2} ^{\prime +} } & { - f_{1}^{+} f_{2}^{+} } \end{matrix}}\right) }{\Delta } $$
$$\Delta =\operatorname{det} F (\lambda )=\bigl[f_{1}^{ + } \cdot f_{2}^{+} \cdot f_{3}^{+} \bigr]^{\prime }. $$
By using the last relation we can find the coefficients \(C_{1}^{ ( k ) }(\lambda )\), \(k=1,2,3\), as
$$C_{1}^{k} (\lambda ) = \beta_{1}^{k} ( \lambda ) I_{1} ( \lambda ) + \beta_{2}^{k} ( \lambda ) I_{2} ( \lambda ) + \beta_{3}^{k} ( \lambda ) I_{3} ( \lambda ) . $$
To be specific, suppose \(k=1\), then
$$\begin{aligned} &\beta_{1}^{1} (\lambda ) = \frac{{ - y_{11} f_{2}^{+ \prime } f_{3} ^{+} + y_{11} f_{2}^{+} f_{3}^{+\prime } - y_{11} ^{\prime} f_{2}^{+} f_{3}^{+} }}{{\Delta }}, \\ &\beta_{2}^{1} (\lambda ) = \frac{{y_{22} f_{2}^{+\prime } f_{3}^{+} - y_{22} ^{\prime} f_{2}^{+} f_{3}^{+} }}{{\Delta }}, \\ &\beta_{3}^{1} (\lambda ) = \frac{{y_{33} f_{2}^{+} f_{3}^{+ \prime } - y_{33} ^{\prime} f_{2}^{+} f_{3}^{+} }}{{\Delta }}. \end{aligned}$$
By taking into account (17) we can rewrite equation (20) as It is readily seen that the function \(\Psi (x,\lambda ) = (\Psi_{1} (x _{1} ,\lambda ),\Psi_{2} (x_{2} ,\lambda ),\Psi_{3} (x_{3} ,\lambda ))\) where with and are sufficiently smooth and satisfy the boundary conditions (8) and (9), i.e. they are contained in the domain of the operator \(L_{G}\). Thus, the constructed ‘spectral’ Green’s function is the kernel of the resolvent \((L_{G} - \lambda^{2} E)^{ - 1} \), which is an integral operator. The poles of the resolvent (poles of the Green’s function) are eigenvalues of the operator \(L_{G}\) and can be found as zeros of the determinants of the matrices that participate in the construction of the Green’s function.
$$\begin{aligned} \Psi_{k} ( {x_{k} ,\lambda } ) ={}& \frac{1}{{2i\lambda }}\biggl[ \int_{x_{k} }^{\infty} {y_{kk} ( {x_{k} ,\lambda } ) f ^{+}_{k} ( {t_{k} ,\lambda } ) \varphi_{k} (t_{k} )} \,dt_{k} + \int_{o_{k} }^{x_{k} } {f^{+}_{k} ( {x_{k} ,\lambda } ) y _{kk} ( {t_{k} ,\lambda } ) \varphi_{k} (t_{k} )} \,dt_{k}\biggr] \\ &{}+ \sum_{j = 1}^{3} {\frac{{\beta_{j}^{k} (\lambda ) }}{{2i\lambda }}} \int_{o_{j} }^{\infty} {f_{j}^{+} (t_{j} ,\lambda )} f_{k} ^{+} (x_{k} ,\lambda )\varphi ( {t_{j} } ) \,dt_{j}, \quad k = 1,2,3. \end{aligned}$$
$$\Psi_{k} (x_{k} ,\lambda ) = \sum _{j = 1}^{3} \int_{o _{j} }^{\infty} G_{kj} (x_{k} ,t_{j} ,\lambda )\varphi ( {t_{j} } ) \,dt_{j} , \quad k = 1,2,3, $$
$$ G_{kk} (x_{k} ,t_{k} ,\lambda ) = \frac{1}{{2i\lambda }} \textstyle\begin{cases} {[y_{kk} (x_{k} ,\lambda ) + \beta_{k}^{k} (\lambda ) f_{k}^{+} (x _{k} ,\lambda )]f_{k}^{+} (t_{k} ,\lambda )}, & {o_{k}< x_{k} < t_{k} < \infty ,} \\ {[y_{kk} (t_{k} ,\lambda ) + \beta_{k}^{k} (\lambda ) f_{k}^{+} (t _{k} ,\lambda )]f_{k}^{+} (x_{k} ,\lambda )} ,& {o_{k}< t_{k} < x_{k}< \infty , } \end{cases} $$
(21)
$$\begin{aligned} &G_{jk} (x_{k} ,t_{j} ,\lambda ) = \frac{{\beta_{j}^{k} (\lambda )}}{ {2i\lambda }}f_{k}^{+} (x_{k} ,\lambda )f_{j}^{+} (t_{j} ,\lambda ),\quad o_{k}< x_{k}< \infty ,o_{j}< t_{j}< \infty , j \ne k, j,k = 1,2,3, \end{aligned}$$
(22)
$$G(x,t,\lambda ) = \textstyle\begin{cases} {G_{kk} (x_{k} ,t_{k} ,\lambda )}, \\ {G_{jk} (x_{k} ,t_{j} ,\lambda )}, \end{cases}\displaystyle \quad j \ne k, j,k = 1,2,3, $$
A point \(\lambda_{0} \in \sigma (L_{G})\) where \(\sigma (L_{G})\) is the set of spectrum of the operator \(L_{G}\) we call a spectral singularity of the operator \(L_{G}\), in the sense of Naimark [24], if it is not an isolated eigenvalue of \(L_{G}\), but \(G(x,t,\lambda ) \to \infty \) as \(\lambda \in \rho (\lambda )\) (\(\rho (\lambda )\) is the set of all regular points of the operator \(L_{G}\)) and \(\lambda \to \lambda_{0}\).
Note that self-adjoint operators have no spectral singularities and for non-self-adjoint operators the spectral singularities correspond to resonance states with vanishing spectral width [25].
Thus, the procedure described above makes it possible to obtain explicitly the resolvent and calculate its poles.
So, we proved the following theorem.
Theorem 1
Assume
\(F(\lambda )\)
is nonsingular i.e. \(F^{ - 1} (\lambda )\)
exists, then for any
the unique solution
\(\Psi (x,\lambda ) = (\Psi_{1} (x_{1} ,\lambda ), \Psi_{2} (x_{2} ,\lambda ),\Psi_{3} (x_{3} ,\lambda ))\)
of (7), (8)-(9) is given by
where
\(G_{jk} (x_{k} ,t_{j} ,\lambda ),j,k = 1,2,3\), are determined by (21)-(22).
$$\varphi = \{ \varphi_{1} ,\varphi_{2} , \varphi_{3} \} , \qquad \varphi_{k} \in L_{2}(N_{k}),\quad k=1,2,3, $$
$$\Psi_{k} (x_{k} ,\lambda ) = \sum _{j = 1}^{3} { \int_{o _{j} }^{\infty} {G_{kj} (x_{k} ,t_{j} ,\lambda )\varphi ( {t_{j} } ) \,dt_{j} , \quad k = 1,2,3,} } $$
Theorem 2
The operator \(L_{G}\) has no real eigenvalue.
Proof
We recall that equation (7) has fundamental solutions \(f_{k}^{\pm } ( {x_{k}},\lambda ) \) in the case \(\lambda \ne 0, \pm n/2\). Then for the case \(\lambda \ne 0, \pm n/2\) the solution of equation (7) on the edge \(N_{k}\), \(k=1,2,3\), can be written in the form
$$y_{k} (x_{k} ,\lambda ) = C_{1} f_{k}^{+} (x_{k} ,\lambda ) + C_{2} f _{k}^{-} (x_{k} ,\lambda ). $$
So, the solution of equation (7) belonging to \(L_{2}(G)= \bigoplus_{k = 1}^{3} L_{2} [o_{k} ,\infty )\) and satisfying the conditions (8)-(9) is necessarily has \(C_{1}=0\) and \(C_{2}=0\), \(y_{k}(x_{k},\lambda )=0\). That shows that equation (7) has only a trivial solution belonging to \(L_{2}(G)=\bigoplus _{k = 1}^{3} L_{2} [o_{k} ,\infty )\) for \(\lambda \in ( - \infty , + \infty )\), \(\lambda \ne 0, \pm n/2\).
If as linearly independent solutions (15) and (16) of (7) according to \(\lambda = \pm n/2\) or \(\lambda =0\) are taken instead of \(f_{k}^{ \pm } ( {x_{k}},\lambda ) \) then a similar result also will be valid. So we proved that \(L_{G}\) has no real eigenvalue. □
Theorem 3
The eigenvalues of operator \(L_{G}\) are finite and coincide with the zeros of the function \(\Delta (\lambda )\).
Proof
From equation (10) it is easy to see that for \(j=1,2,3\)
$$\begin{aligned} \bigl\vert {f_{j}^{+} (0,\lambda )} \bigr\vert &= 1 + \sum_{n = 1}^{ \infty} {\bigl\vert { V_{n}^{( + j)} } \bigr\vert } + \sum _{n = 1}^{\infty} {\sum_{\alpha = n}^{\infty} {\biggl\vert {\frac{{V_{\alpha n}^{ ( { + j} ) } }}{{n + 2\lambda }}} \biggr\vert } } \\ &< 1 + \sum_{n = 1}^{\infty} {\bigl\vert { V_{n}^{( + j)} } \bigr\vert } + \sum _{n = 1}^{\infty} {\sum_{\alpha = n}^{\infty} {\frac{{\vert {V_{\alpha n}^{ ( { + j} ) } } \vert }}{{\sqrt{(n + 2\operatorname{Re} \lambda )^{2} + 4\operatorname{Im}^{2} \lambda } }}} } \\ &< 1 + \sum_{n = 1}^{\infty} {\bigl\vert { V_{n}^{( + j)}} \bigr\vert } + \frac{1}{{\vert {\operatorname{Im} \lambda } \vert }} \sum_{n = 1}^{\infty} {\sum _{\alpha = n}^{\infty} {\frac{\alpha }{n}} } \bigl\vert {V_{\alpha n}^{ ( { + j} ) } } \bigr\vert . \end{aligned}$$
Therefore, as \(\vert \lambda \vert \to \infty \) we obtain \(f_{j}^{+} (0,\lambda ) = C_{j} + o(1)\), \(j=1,2,3\). Then for \(\Delta = \det F(\lambda )\) we get the following asymptotic equalities: where C is a constant.
$$\Delta (\lambda )=3i\lambda C+o(1), $$
This asymptotic equality shows that the eigenvalues of the operator \(L_{G}\) are finite and coincide with the zeros of the function \(\Delta (\lambda )\).
The theorem is proved. □
Theorem 4
The spectrum of the operator \(L_{G}\) consists of the continuum spectrum filling the axis \({ - \infty < \lambda < + \infty }\) on which there may exist spectral singularities coinciding with the numbers \(\pm n/2 \), \(n \in N\).
Proof
In order for all numbers \(\lambda \in ( - \infty , + \infty )\) to belong to the continuous spectra it suffices to show that the operator has no real eigenvalue, the domain of \(R_{L_{G}-\lambda^{2}I}\) (the resolvent set) of the operator \(( L_{G}-\lambda^{2} I ) \) is dense in \(L_{2}(G)\), and the range of \(R_{L_{G}-\lambda^{2}I}\) is not equal to \(L_{2}(G)\).
The absence of real spectra of \(L_{G}\) was proved above in Theorem 2.
To show that the domain of \(R_{L_{G}-\lambda^{2}I}\) (the resolvent set) of the operator \(( L_{G}-\lambda^{2} I ) \) is dense in \(L_{2}(G)\) we must prove that the orthogonal complement of the set \(R_{L_{G}-\lambda^{2} E}\) consists of only the zero element.
It is well known that the orthogonal complement of the set \(R_{L_{G}- \lambda^{2} E}\) coincides with the space of the solutions of the equation \(L^{*}_{G}f=\lambda^{2}f\) where the operator \(L^{*}_{G}\) is adjoint to the operator \(L_{G}\).
Let \(\psi_{k} ( x_{k} ) \in L_{2} [ o_{k} ,+\infty ) \), \(\psi_{k} ( x_{k} ) \ne 0\) and be satisfied for any \(f_{k} ( x_{k} ) \in D ( L_{G} ) \).
$$ \int_{0_{k} }^{+\infty } \bigl( L_{G}f_{k}- \lambda^{2} f_{k} \bigr) \overline{ \psi_{k} ( x_{k} ) } \,dx_{k}=0,\quad k=1,2,3, $$
(23)
From (23) it follows that \(\psi_{k} ( x_{k} ) \in D ( L ^{*}_{G} ) \) and \(\psi_{k} ( x_{k} ) \) are eigenfunctions of the operator \(L^{*}_{G} \) corresponding to the eigenvalues λ.
In fact \(\overline{\psi_{k} ( x_{k} ) }\) is the solution of the equation belonging to \(L_{2}(G)\). We found that \(\psi_{k} ( x_{k} ) =0\), since the operator generated by the expression standing at the left hand side of (24) is an operator of type \(L_{G}\).
$$ -z_{k}''+\bigl[i \lambda p_{k}(x_{k})+q_{k} ( x_{k} ) \bigr]z_{k}=\lambda ^{2}z_{k} $$
(24)
This contradiction shows that the domain of \(R_{L_{G}-\lambda^{2}I}\) of the operator \(( L_{G}-\lambda^{2} I ) \) is everywhere dense in \(L_{2}( G)\).
Now let us prove that the range of \(R_{L_{G}-\lambda^{2}I}\) is not equal to \(L_{2}(G)\). For this purpose we have to show that there is a function \(f(x)\) from the space \(L_{2}(G)\) for which the equation has no solution.
$$ L_{G}y=f $$
(25)
Indeed for the compact supported function \(f(x)={ ( f_{1}(x_{1}),f _{2}(x_{2}),f_{3}(x_{3}) ) }\) defined on \(L_{2}(G)\) by where is a solution of the following problem: on \(L_{2}(0,\infty )\) equation (25) has no solution. To prove this fact we assume the contrary. Let equation (25) have a solution belonging to \(L_{2}(G)\). Then from Theorem 2 it follows that for \(x>a\) the function \(y(x,\lambda )\) will be a solution of (25) only under the condition
$$f(x) = \textstyle\begin{cases} {\varphi (x)} & \mbox{if } 0 \le x \le a, \\ 0 & \mbox{if }x > a, \end{cases} $$
$$\varphi (x) = \bigl(\varphi_{1} (x_{1} ), \varphi_{2} (x_{2} ),\varphi_{3} (x _{3} ) \bigr) $$
$$\begin{aligned} & L_{G} \varphi = 0, \\ &\varphi (0,\lambda ) = 1, \qquad \varphi '(0,\lambda ) = 0 \end{aligned}$$
$$y(x,\lambda ) = y'(x,\lambda ) = 0. $$
Then from (25) we obtain on the other hand it is easy to see that This contradiction shows that equation (25) has no solution belonging to \(L_{2}(G)\). So it is proved that the range of \(R_{L_{G}-\lambda ^{2}I}\) is not equal to \(L_{2}(G)\).
$$\begin{aligned} (f,\bar{\varphi} ) ={}& (L_{G} y,\bar{\varphi} )\\ ={}& \int_{0}^{ + \infty } {L_{1} y_{1} (x_{1} )} \varphi_{1} (x_{1} ) \,dx_{1} + \int _{0}^{ + \infty } {L_{2} y_{2} (x_{2} )} \varphi_{2} (x_{2} )\,dx _{2} + \int_{0}^{ + \infty } {L_{3} y_{3} (x_{3} )} \varphi_{3} (x _{3} )\,dx_{3}\\ ={}& {\bigl[y'_{1} (x_{1} ) \varphi_{1} (x_{1} ) - y_{1} (x _{1} ) \varphi '_{1} (x_{1} )\bigr]} \vert _{x_{1} = 0}^{a} + {\bigl[y'_{2} (x_{2} ) \varphi_{2} (x_{2} ) - y_{2} (x_{2} ) \varphi '_{2} (x_{2} )\bigr]} \vert _{x_{2} = 0}^{a} \\ &{}+ {\bigl[y'_{3} (x_{3} ) \varphi_{3} (x_{3} ) - y_{3} (x_{3} )\varphi '_{3} (x_{3} )\bigr]} \vert _{x_{3} = 0}^{a} + \int_{0}^{a} {y_{1} (x_{1} )} L_{1} \varphi_{1} (x_{1} )\,dx _{1} \\ &{}+ \int_{0}^{a} {y_{2} (x_{2} )} L_{2} \varphi_{2} (x_{2} )\,dx _{2} + \int_{0}^{a} {y_{3} (x_{3} )} L_{3} \varphi_{3} (x_{3} )\,dx _{3} \\ ={}& \bigl[y_{1} (0)\varphi '_{1} (0) + y_{2} (0)\varphi '_{2} (0) + y_{3} (0) \varphi '_{3} (0)\bigr] - \bigl[y'_{1} (0)\varphi_{1} (0) + y'_{2} (0)\varphi _{2} (0) + y'_{3} (0)\varphi_{3} (0)\bigr] \\ ={}& \bigl[y_{1} (0) \cdot 0 + y_{2} (0) \cdot 0 + y_{3} (0) \cdot 0\bigr] - \bigl[y'_{1} (0) + y'_{2} (0) + y'_{3} (0)\bigr] = 0; \end{aligned}$$
$$(f,\bar{\varphi} ) = \sum_{k = 1}^{3} { \int_{0}^{ + \infty } {\bar{\varphi} _{k} (x_{k} )} \varphi_{k} (x_{k} ) \,dx_{k} } = \sum_{k = 1}^{3} { \int_{0}^{a} {\bigl\vert {\varphi_{k} (x _{k} )} \bigr\vert ^{2} } \,dx_{k} } > 0. $$
From (14) we find that the functions where \(\Phi_{k}^{\pm} (x_{k} ,\lambda )\), have no poles at the points \(\mp n/2\), \(n \in N\).
$$f_{k}^{\pm} (x_{k} ,\lambda ) = \frac{{f_{nk}^{\pm} (x_{k} )}}{{n \pm 2\lambda }} + \Phi_{k}^{\pm} (x_{k} ,\lambda ), $$
By using this fact it is easy to show that the Green’s function \(G(x,t,\lambda )\) has poles of first order at the points \(\lambda_{0}= \pm \frac{n}{2},n \in N\). Therefore \(\lambda =\pm \frac{n}{2}\), \(n \in N\) is a spectral singularity of the operator \(L_{G}\).
The theorem is proved. □
3 The inverse spectral problem on star graph
We will consider recovering the differential operator on each fixed edge.
Since the coefficients \(R_{kk}(\lambda )\) may be found by the using matching conditions (8)-(9) at a central vertex, it is natural to formulate the inverse problem as: recovering of the potentials \(p_{k}(x_{k})\) and \(q_{k}(x_{k})\) at each edge by the reflection coefficients \(R_{kk}(\lambda )\).
Inverse problem: Given the spectral data, the reflection coefficients \(R_{kk}(\lambda )\) on each edge \(N_{k}\), construct the potentials \(p_{k}(x_{k})\) and \(q_{k}(x_{k})\) where \(k=1,2,3\).
Theorem 5
In each fixed edge
\(k=1,2,3\), \(n \in N\),
are satisfied.
$$\begin{aligned} \lim_{\lambda \to n /2} ( {n - 2\lambda } ) R_{kk} ( \lambda ) = V_{nn}^{ ( -k ) }, \\ \lim_{\lambda \to - \frac{n}{2}} (n + 2\lambda )\frac{1}{ {R_{kk} (\lambda )}} = V_{nn}^{( k)}, \end{aligned}$$
Proof
It is well known that the functions \(f_{k}^{+}(x_{k} ,\lambda )\), \(f_{k}^{-} (x_{k} ,\lambda )\) are linearly independent and their Wronskian is equal to \(2i\lambda \).
Then from (14) it follows that the Wronskian of the functions \(f_{nk}^{\pm} (x_{k} ),f_{k}^{\mp} (x_{k} ,\mp n/2 )\) is equal to zero, and therefore they are linearly dependent. Thus
$$f_{nk}^{\pm} (x_{k} ) = S_{nk}^{\pm} f_{k}^{\mp} (x_{k} ,\mp n/2 ). $$
Comparing the formulas for these functions we see that \(S_{nk}^{ \pm }=V_{nn}^{(\pm k)}\).
Therefore
$$ f_{nk}^{\pm} (x_{k} ) = V_{nn}^{(\pm k)} f_{k}^{\mp} (x_{k} ,\mp n/2 ). $$
(26)
Taking into account (26) it is easy to verify that and
$$\begin{aligned} \lim_{\lambda \to \pm \frac{n}{2}} (n \mp 2\lambda )\frac{ {f_{k}^{\mp} (0,\lambda )}}{{f_{k}^{\pm} (0,\lambda )}} &= \frac{{V _{nn}^{( \mp k)} f_{k}^{\pm} (0,\pm n/2 )}}{{f_{k}^{\pm} (0,\pm n/2 )}} = V_{nn}^{( \mp k)} \end{aligned}$$
$$\lim_{\lambda \to \pm \frac{n}{2}} (n \mp 2\lambda )\frac{ {2i\lambda }}{{f_{1}^{\pm} (0,\lambda )f_{1}^{\pm} (0,\lambda )[ \frac{ {f_{1}^{ \pm '} (0,\lambda )}}{{f_{1}^{\pm} (0,\lambda )}} + \frac{ {f_{2}^{ + '} (0,\lambda )}}{{f_{2}^{+} (0,\lambda )}} + \frac{{f_{3} ^{ + '} (0,\lambda )}}{{f_{3}^{+} (0,\lambda )}}]}}=0. $$
Consequently we can find all numbers \(V_{nn}^{( \pm k)}\) from the relations and
$$\begin{aligned} \lim_{\lambda \to \frac{n}{2}} (n - 2\lambda )R_{kk} ( \lambda ) = {}& \lim_{\lambda \to \frac{n}{2}} (n - 2\lambda )\frac{{f_{k}^{-}(0,\lambda )}}{{f_{k}^{+} (0,\lambda )}} \\ &{}+ \lim_{\lambda \to \frac{n}{2}} (n - 2\lambda )\frac{ {2i\lambda }}{{f_{1}^{+} (0,\lambda )f_{1}^{+}(0,\lambda )[ \frac{ {f_{1}^{ + '} (0,\lambda )}}{{f_{1}^{+}(0,\lambda )}} + \frac{{f_{2} ^{ + '} (0,\lambda )}}{{f_{2}^{+} (0,\lambda )}} + \frac{{f_{3}^{ + '} (0,\lambda )}}{{f_{3}^{+} (0,\lambda )}}]}} = V_{nn}^{ ( - k ) } \end{aligned}$$
$$\begin{aligned} \lim_{\lambda \to - \frac{n}{2}} (n + 2\lambda )\frac{1}{ {R_{kk} (\lambda )}} ={}&\lim _{\lambda \to - \frac{n}{2}} (n + 2\lambda )\frac{{[f_{1}^{+} (0,\lambda )f_{2}^{+} (0, \lambda )f_{3}^{+} (0,\lambda )]'}}{{[f_{1}^{-} (0,\lambda )f_{2}^{+} (0,\lambda )f_{3}^{+} (0,\lambda )]'}} \\ ={}&\lim_{\lambda \to - \frac{n}{2}} (n +2\lambda )\frac{ {f_{k}^{+}(0,\lambda )}}{{f_{k}^{-} (0,\lambda )}} \\ &{}+ \lim_{\lambda \to - \frac{n}{2}} (n +2\lambda )\frac{ {2i\lambda }}{{f_{1}^{-} (0,\lambda )f_{1}^{-}(0,\lambda )[ \frac{ {f_{1}^{ - '} (0,\lambda )}}{{f_{1}^{-}(0,\lambda )}} + \frac{{f_{2} ^{ + '} (0,\lambda )}}{{f_{2}^{+} (0,\lambda )}} + \frac{{f_{3}^{ + '} (0,\lambda )}}{{f_{3}^{+} (0,\lambda )}}]}} \\ ={}&V_{nn}^{ ( k ) }. \end{aligned}$$
The theorem is proved. □
Now to reconstruct of the potentials \(p_{k}(x_{k})\) and \(q_{k}(x_{k})\) for given \(R_{kk}(\lambda )\), we first attempt to find explicit connections between the sequences \(V_{n,n }^{( \pm k)} \), \(V_{n, \alpha }^{( \pm k)} \) and \(V_{\alpha} ^{(\mp k)}\).
Taking into account (14) we get or
$$\sum_{\alpha = n}^{\infty} {V_{n\alpha }^{( \pm k)} e^{i\alpha x_{k} } e^{ - i\frac{n}{2}x_{k} } = } V_{nn}^{(\pm k)} e^{i \frac{n}{2}x_{k} } \Biggl(1 + \sum_{n = 1}^{\infty} {V_{n}^{( \mp k)} e^{inx_{k} } } + \sum _{n = 1}^{\infty} {\sum_{\alpha = n} ^{\infty} {\frac{{V_{n\alpha }^{( \mp k)} }}{{n + n}}} } \Biggr) $$
$$ V_{m \alpha + m}^{( \pm k)} = V_{mm}^{( \pm k)} \Biggl(V_{\alpha} ^{( \mp k)} + \sum_{n = 1}^{\alpha} {\frac{{V_{n\alpha }^{( \mp k)}}}{ {n + m}}} \Biggr),\quad m, \alpha = 1,2,3,\ldots . $$
(27)
These relations are the fundamental equations for the reconstruction of \(p_{nk}(x_{k})\) and \(q_{nk}(x_{k})\) from the known \(V_{n \alpha } ^{\pm k}\), \(V_{n}^{\pm k}\).
We propose to make the dependence of \(V_{n \alpha }^{\pm k}\), on \(V_{\alpha }^{\pm k}\) explicit.
The method applied in this paper is the synthesis of methods presented by Pastur and Tkachenko [10] and Jaulent [26], and for the benefit of the reader we reintroduce it here.
Let \(\tilde{V}_{m \alpha + m}^{\pm k}\), \(m, \alpha = 1,2,3,\ldots \) , be a solution of equation (27) corresponding to \(V_{\alpha }^{\pm k}=1\) and \(\hat{V}_{m \alpha + m}^{ \pm k}\) corresponding to \(V_{\alpha }^{\pm k}= \pm i\),
$$ \begin{aligned} &\tilde{V}_{m \alpha + m}^{\pm k} = V_{mm}^{ \pm k} \Biggl(1 + \sum_{n = 1}^{\alpha} {\frac{{\tilde{V}_{n\alpha }^{\mp k} }}{ {n + m}}} \Biggr), \\ &\hat{V}_{m \alpha + m}^{ \pm k} = V_{mm}^{ \pm k} \Biggl( \pm i + \sum_{n = 1}^{\alpha} { \frac{{\hat{V}_{n\alpha }^{\mp k} }}{ {n + m}}} \Biggr) . \end{aligned} $$
(28)
Let \(\gamma_{m \alpha }^{\pm k}\) and \(\beta_{m \alpha }^{ \mp k}\) be functions defined as
$$\begin{aligned} &\gamma_{m \alpha }^{\pm k} = \frac{1}{2} \bigl[\tilde{V}_{m \alpha + m} ^{ \mp k} \mp i\hat{V}_{m \alpha + m}^{ \mp k} \bigr], \\ &\beta_{m \alpha }^{ \mp k} = \frac{1}{2}\bigl[ \tilde{V}_{m \alpha + m} ^{\mp k} \pm i\hat{V}_{m \alpha + m}^{\mp k} \bigr] . \end{aligned} $$
Note that the quantities \(\gamma_{m \alpha }^{ \pm k}\) and \(\beta_{m \alpha }^{ \mp k} \) are uniquely determined by the recurrent equation (28) from the known \(V_{nn}^{\pm k}\).
Then we easily obtain the following:
$$ V_{m \alpha + m}^{\pm k} = V_{\alpha} ^{ \mp k} \cdot \gamma_{m \alpha }^{ \pm k} + V_{\alpha} ^{ \pm k} \cdot \beta_{m \alpha }^{ \mp k}. $$
(29)
Equation (29) shows that, if we can define the sequences \(V_{n,\alpha }^{( \pm k)} \) and \(V_{\alpha} ^{(\mp k)}\) from the known \(V_{nn}^{ \pm k}\) then the potentials \(p_{k}(x_{k})\) and \(q_{k}(x_{k})\) may be reconstructed uniquely and effectively from (11)-(13).
Theorem 6
All numbers \(V_{n\alpha }^{\pm k}, n > \alpha \) and \(V_{\alpha} ^{( \mp k)}\) may be uniquely determined through the known numbers \(V_{nn}^{\pm k}\).
Proof
In fact, if the given \(V_{n,n }^{( \pm k)} \) uniquely determine all numbers \(V_{\alpha} ^{(\mp k)}\) then the numbers \(V_{n,\alpha } ^{( \mp k)}\) will be determined by (28).
Let us denote then from (7) we obtain the equation in which
$$ x_{k} = it_{k},\qquad \lambda = - i\mu,\qquad y_{k} ( {x} ) = Y_{k} ( {t} ) , $$
(30)
$$ - {Y_{k}}'' ( {t} ) + 2\mu \bar{p_{k}} ( {it_{k}} ) Y ( {t_{k}} ) + \bar{q_{k}} ( {it_{k}} ) Y_{k} ( {t_{k}} ) = \mu^{2}Y_{k} ( {t} ) , $$
(31)
$$ \overline{p_{k}} ( {t_{k}} ) = ip_{k} ( {it_{k}} ) = i\sum_{n = 1}^{\infty } {p_{nk} e^{ - nt_{k}}} , \qquad \overline{q}_{k} (t_{k}) = - q_{k}(it_{k}) = - \sum _{n = 1} ^{\infty} {q_{n}k e^{ - nt_{k}} }. $$
(32)
As a result we obtain equation (31), whose potentials exponentially decrease as \(t_{k} \to \infty \), \(k=1,2,3\).
The procedure of analytic continuation allows one to get corresponding results for equation (7) from the result of equation (31).
Equation (31) with potentials (32) has the solution and the numbers \(V_{n}^{\pm k}\), \(V_{n\alpha }^{ \pm k }\) are defined by equations (11)-(13).
$$ f_{ \pm k} ( {t_{k},\mu } ) = e^{ \pm i\mu t_{k}} \Biggl( {1 + \sum_{n = 1}^{\infty } {V_{n}^{ \pm k} e^{ - nt_{k}} + \sum _{n = 1}^{\infty } {\sum_{\alpha = n}^{\infty } {\frac{{V_{n\alpha } ^{ \pm k }} }{{in \pm 2\mu } }e^{ - \alpha t_{k}}}} } } \Biggr) $$
(33)
Then with the help of the (33) we obtain where \(K_{k}^{\pm} (t_{k},u_{k}) \), \(\Omega_{k} ^{ \pm } ( {t_{k}} ) \) have the form
$$ f_{ \pm k} ( {t_{k},\mu } ) = \Omega_{k} ^{ \pm } ( {t} ) e^{ \pm i\mu t_{k}} + \int_{t_{k}}^{\infty } {K_{k} ^{ \pm } ( {t_{k},u_{k}} ) e^{ \pm i\mu u_{k}}\,du_{k}}, $$
(34)
$$ K_{k}^{ \pm } ( {t_{k},u_{k}} ) = \frac{{1}}{{2i}}\sum_{n = 1}^{\infty } {\sum _{\alpha = n}^{\infty } {V_{n \alpha } ^{ \pm k} e^{ - \alpha t_{k}} \cdot e^{ - ( {u_{k} - t _{k}} ) n/2} , \qquad \Omega_{k} ^{ \pm } ( {t_{k}} ) = 1 + \sum_{n = 1}^{\infty } {V_{n}^{ \pm k} e^{ - nt_{k}}}} } . $$
(35)
Rewriting the equality (27) in the form and denoting we obtain the Marchenko type equation
$$ \sum_{\alpha = n}^{\infty} {V_{n\alpha }^{ \pm k} } e^{ - \alpha t_{k}} \cdot e^{nt_{k}/2} = V_{n}k^{\pm} e^{ - nt_{k}/2} \Biggl( {1 + \sum _{m = 1}^{\infty} {V_{m}^{\mp k} e^{ - mt_{k}} + \sum_{m = 1}^{\infty} {\sum _{\alpha = m}^{\infty} {\frac{ {V_{m\alpha }^{\mp k} }}{{i(m + n)}}e^{ - \alpha t_{k}} } } } } \Biggr) $$
(36)
$$ z_{k}^{ \pm } ( {t_{k} + s_{k}} ) = \sum_{m = 1} ^{\infty } {V_{m}^{ \pm k} e^{ - ( {t_{k} + s_{k}} ) m/2}}, $$
(37)
$$ K_{k}^{ \pm } ( {t_{k},s_{k}} ) = \Omega_{k} ^{ \pm } ( {t_{k}} ) z_{k}^{ \pm } ( {t_{k} + s_{k}} ) + \int_{t_{k}}^{\infty } {K_{k}^{ \mp } ( {t_{k},u_{k}} ) z _{k}^{ \pm } ( {u_{k} + s_{k}} ) \,du_{k}} . $$
(38)
From the general theory of differential equations it is known that
$$\Omega_{k}^{\pm} (t_{k} ) = e^{ \mp i\int_{x_{k} }^{\infty} {p_{k} ( {t_{k} } ) } \,dt_{k} }. $$
By using it we get
$$ \Omega_{k}^{+} (t_{k} ) \cdot \Omega_{k}^{-} (t_{k} ) = 1. $$
(39)
On the other hand, we easily derive the relation from (34),
$$ \Omega_{k}^{+} (t_{k} ) - \Omega_{k}^{-} (t_{k} ) = \int_{t _{k} }^{\infty} {\bigl[K^{-} (t_{k} ,u)} - K^{+} (t_{k} ,u)\bigr]\,du. $$
(40)
The last relations (39)-(40) give us the following system of equations for finding the dependence of \(V_{n,\alpha }^{( \pm k)} \) and \(V_{\alpha} ^{(\mp k)}\). We have Then by using (28) we get Finally from (41) we obtain
$$ \begin{aligned} &V_{\alpha} ^{(k)} + V_{\alpha} ^{( - k)} + \sum_{s = 1}^{ \alpha - 1} {V_{s}^{(k)} } V_{\alpha - s}^{( - k)} = 0 , \\ &V_{\alpha} ^{(k)} - V_{\alpha} ^{( - k)} + \sum _{n = 1}^{ \alpha} {\frac{{V_{n\alpha }^{(k)} - V_{n\alpha }^{( - k)} }}{n}} = 0. \end{aligned} $$
(41)
$$\begin{aligned} \sum_{n = 1}^{\alpha} {\frac{{V_{n\alpha }^{(k)} - V_{n\alpha } ^{( - k)} }}{n}} & = \sum_{n = 1}^{\alpha} { \frac{{V_{\alpha} ^{( - k)} \gamma_{n \alpha - n}^{+} + V_{\alpha} ^{(k)} \beta_{n \alpha - n} ^{-} - V_{\alpha} ^{(k)} \gamma_{n \alpha - n}^{-} - V_{\alpha} ^{( - k)} \beta_{n \alpha - n}^{+} }}{n}} \\ & = V_{\alpha} ^{( - k)} \sum_{n = 1}^{\alpha} {\frac{{\gamma_{n \alpha - n}^{+} - \beta_{n \alpha - n}^{+} }}{n}} + V_{\alpha} ^{(k)} \sum _{n = 1}^{\alpha} {\frac{{\beta_{n \alpha - n}^{-} - \gamma_{n \alpha - n}^{-} }}{n}} . \end{aligned}$$
$$ V_{\alpha} ^{(k)} \Biggl(1 - \sum _{n = 1}^{\alpha} {\frac{{\beta_{n \alpha - n}^{-} - \gamma_{n \alpha - n}^{-} }}{n}} \Biggr) - V_{\alpha} ^{( - k)} \Biggl(1 - \sum_{n = 1}^{\alpha} {\frac{{\gamma_{n \alpha - n}^{+} - \beta_{n \alpha - n}^{+} }}{n}} \Biggr) = 0. $$
(42)
Let then from (42) we obtain and
$$\Lambda_{\alpha} = \frac{{1 - \sum_{n = 1}^{\alpha} {\frac{ {\beta_{n \alpha - n}^{-} - \gamma_{n \alpha - n}^{-} }}{n}} }}{ {1 - \sum_{n = 1}^{\alpha} {\frac{{\gamma_{n \alpha - n}^{+} - \beta_{n \alpha - n}^{+} }}{n}} }}; $$
$$ V_{\alpha} ^{(k)} = V_{\alpha} ^{( - k)} \Lambda_{\alpha} $$
(43)
$$ V_{\alpha} ^{( - k)} (1 + \Lambda_{\alpha} ) + \sum_{s = 1} ^{\alpha - 1} {V_{s}^{( - k)} V_{\alpha - s}^{( - k)} } \Lambda_{s} = 0. $$
(44)
Equations (43) and (44) uniquely determined all numbers \(V_{\alpha} ^{( \pm k)} \). Then from (28) all numbers \(V_{n \alpha } ^{( \pm k)} \) are defined.
The theorem is proved. □
Theorem 7
The specification of the spectral data uniquely determines potentials \(p_{k}(x_{k})\), \(q_{k}(x_{k})\) on each edge \(N_{k}\), \(k=1,2,3\).
Declarations
Acknowledgements
We are indebted to an anonymous referee for a detailed reading of the manuscript and useful comments. This work was supported by the research center of Alexandria University.
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.
Authors’ Affiliations
(1)
Department of Mathematics Teaching, Qafqaz University
(2)
Department of Applied Mathematics, Baku State University
(3)
Faculty of Education, Alexandria University
References
- Aktosun, T, Klaus, M, van der Mee, C: Integral equation methods for the inverse problem with discontinuous wave speed. J. Math. Phys. 37(7), 3218-3245 (1996) MathSciNetView ArticleMATHGoogle Scholar
- Efendiev, RF: Spectral analysis of a class of nonselfadjoint differential operator pencils with a generalized function. Teor. Mat. Fiz. 145(1), 102-107 (2005) (Russian), translation in Theoret. Math. Phys. 145(1), 1457-1461 (2005) MathSciNetView ArticleGoogle Scholar
- Perera, K, Squassina, M, Yang, Y: A note on the Dancer-Fucik spectra of the fractional p-Laplacian and Laplacian operators. Adv. Nonlinear Anal. 4(1), 13-23 (2015) MathSciNetMATHGoogle Scholar
- Radulescu, V: Finitely many solutions for a class of boundary value problems with superlinear convex nonlinearity. Arch. Math. (Basel) 84(6), 538-550 (2005) MathSciNetView ArticleMATHGoogle Scholar
- Gasymov, MG: Spectral analysis of a class of second-order nonselfadjoint differential operators. Funkc. Anal. Prilozh. 14(1), 14-19 (1980) (Russian) MathSciNetGoogle Scholar
- Shin, KC: On half-line spectra for a class of non-self-adjoint Hill operators. Math. Nachr. 261/262, 171-175 (2003) MathSciNetView ArticleMATHGoogle Scholar
- Carlson, R: A note on analyticity and Floquet isospectrality. Proc. Am. Math. Soc. 134(5), 1447-1449 (2006) (electronic) MathSciNetView ArticleMATHGoogle Scholar
- Carlson, R: Hill’s equation for a homogeneous tree. Electron. J. Differential Equations 1997 (1997) 23 (electronic) MATHGoogle Scholar
- Guillemin, V, Uribe, A: Hardy functions and the inverse spectral method. Commun. Partial Differ. Equ. 8(13), 1455-1474 (1983) MathSciNetView ArticleMATHGoogle Scholar
- Pastur, LA, Tkachenko, VA: Spectral theory of Schródinger operators with periodic complex-valued potentials. Funct. Anal. Appl. 22(2), 156-158 (1988) MathSciNetView ArticleMATHGoogle Scholar
- Efendiev, RF: Spectral analysis for one class of second-order indefinite non-self-adjoint differential operator pencil. Appl. Anal. 90(12), 1837-1849 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Efendiev, RF: The characterization problem for one class of second order operator pencil with complex periodic coefficients. Mosc. Math. J. 7(1), 55-65 (2007) MathSciNetMATHGoogle Scholar
- Efendiev, RF, Orudzhev, HD: Inverse wave spectral problem with discontinuous wave speed. Zh. Mat. Fiz. Anal. Geom. 6(3), 255-265 (2010) MathSciNetMATHGoogle Scholar
- Orudzhev, HD, Efendiev, RF: The spectral analysis of some not self-adjoint operator pencil with a discontinuous coefficient. Reports of the National Academy of Sciences of Ukraine 4, 25-31 (2014) View ArticleMATHGoogle Scholar
- Orujov, AD: On the spectrum of the quadratic pencil of differential operators with periodic coefficients on the semi-axis. Bound. Value Probl. 2015 (2015) 117 MathSciNetView ArticleMATHGoogle Scholar
- Pauling, L: The Nature of the Chemical Bond and the Structure of Molecules and Crystals: An Introduction to Modern Structural Chemistry, vol. 18. Cornell University Press, Ithaca (1960) Google Scholar
- Ruedenberg, K, Scherr, CW: Free-electron network model for conjugated systems. I. Theory. J. Chem. Phys. 21(9), 1565-1581 (1953) View ArticleGoogle Scholar
- Freiling, G, Yurko, V: Inverse problems for Sturm-Liouville operators on noncompact trees. Results Math. 50(3-4), 195-212 (2007) MathSciNetView ArticleMATHGoogle Scholar
- Gerasimenko, NI: The inverse scattering problem on a noncompact graph. Teor. Mat. Fiz. 75(2), 187-200 (1988) (Russian), translation in Theoret. Math. Phys. 75(2), 460-470 (1988) MathSciNetView ArticleGoogle Scholar
- Kostrykin, V, Schrader, R: The generalized star product and the factorization of scattering matrices on graphs. J. Math. Phys. 42(4), 1563-1598 (2001) MathSciNetView ArticleMATHGoogle Scholar
- Kuchment, P: On some spectral problems of mathematical physics. In: Partial Differential Equations and Inverse Problems. Contemp. Math., vol. 362, pp. 241-276. Amer. Math. Soc., Providence (2004) View ArticleGoogle Scholar
- Pivovarchik, V: Inverse problem for the Sturm-Liouville equation on a star-shaped graph. Math. Nachr. 280(13-14), 1595-1619 (2007) MathSciNetView ArticleMATHGoogle Scholar
- Pivovarchik, V: Inverse problem for the Sturm-Liouville equation on a simple graph. SIAM J. Math. Anal. 32(4), 801-819 (2000) (electronic) MathSciNetView ArticleMATHGoogle Scholar
- Naimark, MA: Linear Differential Operators, 2nd edn. Izdat. ‘Nauka’, Moscow (1969) (Russian) Revised and augmented. With an appendix by VÉ Ljance, 526 pp. MATHGoogle Scholar
- Sinha, A, Roychoudhury, R: Spectral singularity in confined PT symmetric optical potential. J. Math. Phys. 54(11), 112106 (2013) 12 pp. MathSciNetView ArticleMATHGoogle Scholar
- Jaulent, M: On an inverse scattering problem with an energy-dependent potential. Ann. Inst. Henri Poincaré A, Phys. Théor. 17, 363-378 (1972) MathSciNetGoogle Scholar
- Gerasimenko, NI, Pavlov, BS: A scattering problem on noncompact graphs. Teor. Mat. Fiz. 74(3), 345-359 (1988) (Russian), translation in Theoret. Math. Phys. 74(3), 230-240 (1988) MathSciNetView ArticleMATHGoogle Scholar
- Kostrykin, V, Schrader, R: Laplacians on metric graphs: eigenvalues, resolvents and semigroups. In: Quantum Graphs and Their Applications. Contemp. Math., vol. 415, pp. 201-225. Amer. Math. Soc., Providence (2006) View ArticleGoogle Scholar
- Aktosun, T: On the Schrödinger equation with steplike potentials. J. Math. Phys. 40(11), 5289-5305 (1999) MathSciNetView ArticleMATHGoogle Scholar
Copyright
© The Author(s) 2016
