A simple route to linear and hyperbranched polythiophenes containing diketopyrrolopyrrole linking groups with improved conversion efficiency

1.   Introduction

We consider the system of Dirac equations

where $B = \left(\begin{array} [c]{cc} 0 & 1\\ -1 & 0 \end{array} \right)$, $Q(x) = \left(\begin{array} [c]{cc} p(x) & q(x)\\ q(x) & -p\left(x\right) \end{array} \right),$ $\ y(x) = \left(\begin{array} [c]{c} y_{1}(x)\\ y_{2}(x) \end{array} \right)$, $p(x),$ $q(x)$ are real valued functions in $L_{2}\left(a, b\right)$ and $\lambda$ is a spectral parameter, with boundary conditions

and with transmission conditions

where $f_{i}\left(\lambda\right)$, $h_{i}\left(\lambda\right) \left(i = 1, 2\right)$ are rational functions of Herglotz-Nevanlinna type such that

$a_{i}$, $b_{i}$, $f_{ik}$, $g_{ik}, m_{i}, n_{i}, u_{ik}$ and $t_{ik}$ are real numbers, $a_{1} < 0,$ $f_{1k} < 0,$ $a_{2} > 0,$ $f_{2k} > 0, m_{i} > 0,$ $u_{ik} > 0$ and $g_{i1} < g_{i2} < ... < g_{iNi}$, $t_{i1} < t_{i2} < ... < t_{iPi}$, $\alpha_{i} > 0$ and $a < w_{1} < w_{2} < b$. In special case, when $f_{i} (\lambda) = \infty$, conditions (2) and (3) turn to Dirichlet conditions $y_{1}(a) = y_{1}(b) = 0$ respectively. Moreover, when $h_{i}\left(\lambda\right) = \infty$, conditions (4) turn to $y_{1}(w_{2}+0) = \alpha_{2}y_{1}(w_{2}-0)$, $y_{2}(w_{2}+0) = \alpha_{2} ^{-1}y_{2}(w_{2}-0)+h_{2}\left(\lambda\right) y_{1}(w_{2}-0)$ and $y_{1}(w_{1}+0) = \alpha_{1}y_{1}(w_{1}-0)$, $y_{2}(w_{1}+0) = \alpha _{1}^{-1}y_{2}(w_{1}-0)+h_{1}\left(\lambda\right) y_{1}(w_{1}-0)$ according to order $i = 1, 2$.

Inverse problems of spectral analysis compose of recovering operators from their spectral data. Such problems arise in mathematics, physics, geophysics, mechanics, electronics, meteorology and other branches of natural sciences. Inverse problems also play important role in solving many equations in mathematical physics.

$R_{1}\left(\lambda\right) y_{1}\left(a\right) +R_{2}\left(\lambda\right) y_{2}\left(a\right) = 0$ is a boundary condition depending spectral parameter where $R_{1}\left(\lambda\right)$ and $R_{2}\left(\lambda\right)$ are polynomials. When $\deg R_{1}\left(\lambda\right) = \deg R_{2}\left(\lambda\right) = 1$, this equality depends on spectral parameter as linearly. On the other hand, it is more difficult to search for higher orders of polynomials $R_{1}\left(\lambda\right)$ and $R_{2}\left(\lambda\right)$. When $\dfrac{R_{1}\left(\lambda\right) }{R_{2}\left(\lambda\right) }$ is rational function of Herglotz-Nevanlinna type such that $f\left(\lambda\right) = a\lambda+b- { \sum\limits_{k = 1}^{N}} \dfrac{f_{k}}{\lambda-g_{_{k}}}$ in boundary conditions, direct and inverse problems for Sturm-Liouville operator have been studied ^{[1,2,3,4,5,6,7,8,9,10,11]}. In this paper, direct and inverse spectral problem is studied for the system of Dirac equations with rational function of Herglotz-Nevanlinna in boundary and transmission conditions.

On the other hand, inverse problem firstly was studied by Ambarzumian in 1929 ^[12]. After that, G. Borg was proved the most important uniqueness theorem in 1946 ^[13]. In the light of these studies, we note that for the classical Sturm-Liouville operator and Dirac operator, the inverse problem has been studied fairly (see ^{[14,15,16,17,18,19,20]}, where further references and links to applications can be found). Then, results in these studies have been extended to other inverse problems with boundary conditions depending spectral parameter and with transmission conditions. Therefore, spectral problems for differential operator with transmission conditions inside an interval and with eigenvalue dependent boundary and transmission conditions as linearly and non-linearly have been studied in so many problems of mathematics as well as in applications (see ^{[21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43]} and other works, and see ^{[44,45,46,47,48,49,50,51,52,53,54]} and other works cited therein respectively).

The aim of this article is to get some uniqueness theorems for mentioned above Dirac problem with eigenvalue dependent as rational function of Herglotz-Nevanlinna type in both of the boundary conditions and also transmission conditions at two different points. We take into account inverse problem for reconstruction of considered boundary value problem by Weyl function and by spectral data $\left\{ \lambda_{n}, \rho_{n}\right\} _{n\in \mathbb{Z} }$ and $\left\{ \lambda_{n}, \mu_{n}\right\} _{n\in \mathbb{Z} }$. Although the boundary and transmission conditions of the problem are not linearly dependent on the spectral parameter, this allows the eigenvalues to be real and to define normalizing numbers.

2.   Preliminaries

Consider the space $H: = L_{2}(a, b)\oplus L_{2}(a, b)\oplus \mathbb{C} ^{N_{1}+1}\oplus \mathbb{C} ^{N_{2}+1}\oplus \mathbb{C} ^{P_{1}+1}\oplus$ $\mathbb{C} ^{P_{2}+1}$ and element $Y$ in $H$ is in the form of $Y = \left(y_{1} (x), y_{2}(x), \tau, \eta, \beta, \gamma\right)$, such that $\tau = \left(Y_{1}, Y_{2}, \ldots, Y_{N_{1}}, Y_{N_{1}+1}\right)$, $\eta = \left(L_{1}, L_{2}, \ldots, L_{N_{2}}, L_{N_{2}+1}\right)$, $\beta = \left(R_{1}, R_{2}, \ldots, R_{P_{1}}, R_{P_{1}+1}\right)$, $\gamma = \left(V_{1}, V_{2}, \ldots, V_{P_{2}}, V_{P_{2}+1}\right)$. $H$ is a Hilbert space with the inner product defined by

for $Y = \left(y_{1}(x), y_{2}(x), \tau, \eta, \beta, \gamma\right)$ ve $Z = \left(z_{1}(x), z_{2}(x), \tau^{\prime}, \eta^{\prime}, \beta^{\prime}, \gamma^{\prime}\right)$ in $H$. Define the operator $T$ on the domain

$D(T) = \{Y\in H:y_{1}(x), y_{2}(x)\in AC\left(a, b\right),$

$ly\in L_{2}\left(a, b\right),$ $y_{1}(w_{i}^{+}) = \alpha_{i} y_{1}(w_{i}^{-}), i = 1, 2$

$Y_{N_{1}+1}: = -a_{1}y_{1}(a),$ $L_{N_{2}+1}: = -a_{2}y_{1}(b),$

$R_{P_{1}+1}: = -m_{1}y_{1}(w_{1}^{-}), V_{P_{2}+1}: = -m_{2}y_{1} (w_{2}^{-})\}$

such that

where

Accordingly, equality $TY = \lambda Y$ corresponds to problem (1)-(4) under the domain $D(T)\subset H.$

Theorem 1. The eigenvalues of the operator $T$ and the problem (1)-(4) coincide.

Proof. Assume that $\lambda$ is an eigenvalue of $T$ and $Y(x) = \left(y_{1}(x), y_{2}(x), \tau, \eta, \beta, \gamma\right) \in H$ is the eigenvector corresponding to $\lambda$. Since $Y\in D(T)$, it is obvious that the condition $y_{1}(w_{i}+0)-\alpha_{i}y_{1}(w_{i}-0) = 0$ and Eq (1) hold. On the other hand, boundary conditions (2)-(3) and the second condition of (4) are satisfied by the following equalities;

$T\tau = TY_{i} = g_{1i}-Y_{i}-f_{1i}y_{1}(a) = \lambda Y_{i}$, $i = \overline {1, N_{1}}$

$TY_{N_{1}+1} = y_{2}(a)+b_{1}y_{1}(a)+\mathop {\mathop \sum \limits_{k = 1} }\limits^{{N_1}} {Y_k} = -a_{1}y_{1}\left(a\right) \lambda$

$T\eta = TL_{i} = g_{2i}L_{i}-f_{2i}y_{1}(b) = \lambda L_{i}$, $i = \overline{1, N_{2} }$

$TL_{N_{2}+1} = y_{2}(b)+b_{2}y_{1}(b)+\mathop {\mathop \sum \limits_{k = 1} }\limits^{{N_2}} {L_k} = -a_{2}y_{1}\left(b\right) \lambda$

$T\beta = TR_{i} = t_{1i}R_{i}-u_{1i}y_{1}(w_{1}^{-})$, $i = \overline{1, P_{1}}$

$TR_{P_{1}+1} = -y_{2}(w_{1}^{+})+\alpha_{1}^{-1}y_{2}\left(w_{1}^{-}\right) +n_{1}y_{1}\left(w_{1}^{-}\right) +\mathop {\mathop \sum \limits_{k = 1} }\limits^{{P_1}} {R_k} = -m_{1}y_{1}\left(w_{1}^{-}\right) \lambda$

$T\gamma = TV_{i} = t_{2i}V_{i}-u_{2i}y_{1}(w_{2}^{-})$, $i = \overline{1, P_{2}}$

$TV_{P_{2}+1} = -y_{2}(w_{2}^{+})+\alpha_{2}^{-1}y_{2}\left(w_{2}^{-}\right) +n_{2}y_{1}\left(w_{2}^{-}\right) +\overset{P_{2}}{\underset{k = 1}{ { \sum} }}V_{k} = -m_{2}y_{1}\left(w_{2}^{-}\right) \lambda.$

If $\lambda = g_{ik}\left(i = 1, 2\text{ and }k = \left\{ 1, 2, \ldots N_{i}\right\} \right)$ are eigenvalues of operator $T$, then, from above equalities and the domain of $T$, equalities (1), $y_{1}(a, g_{1k}) = 0$, $y_{1}(b, g_{2k}) = 0$ and (4) are satisfied.

Moreover, If $\lambda = t_{ik}\left(i = 1, 2\text{ and }k = \left\{ 1, 2, \ldots P_{i}\right\} \right)$ are eigenvalues of operator $T$, from above equalities and the domain of $T$, Eqs (1)-(3) and $y_{1} (w_{i}^{-}, t_{ik}) = 0 = y_{1}(w_{i}^{+}, t_{ik})$ are valid. In that case, $\lambda$ is also an eigenvalue of $L$.

Conversely, let $\lambda$ be an eigenvalue of $L$ and $\left(\begin{array} [c]{c} y_{1}(x)\\ y_{2}(x) \end{array} \right)$ be an eigenfunction corresponding to $\lambda$. If $\lambda\neq g_{ik}\left(i = 1, 2\text{, }k = \left\{ 1, 2, \ldots N_{i}\right\} \right)$ and $\lambda\neq t_{ik}\left(i = 1, 2\text{, }k = \left\{ 1, 2, \ldots P_{i}\right\} \right)$ then, it is clear that $\lambda$ is an eigenvalue of $T$ and the vector

$Y = \left(y_{1}(x), y_{2}(x), \frac{f_{11} }{g_{11}-\lambda}y_{1}(a), \frac{f_{12}}{g_{12}-\lambda}y_{1}(a), \ldots, \frac{f_{1N_{1}}}{g_{1N_{1}}-\lambda}y_{1}(a), -a_{1}y_{1}\left(a\right), \right.$

$\left. \frac{f_{21}}{g_{21}-\lambda}y_{1}(b), \frac{f_{22}} {g_{22}-\lambda}y_{1}(b), \ldots, \frac{f_{2N_{2}}}{g_{2N_{2}}-\lambda} y_{1}(b), -a_{2}y_{1}\left(b\right), \right.$

$\left. \frac{u_{11}}{t_{11}-\lambda}y_{1}(w_{1}^{-}), \frac{u_{12} }{t_{12}-\lambda}y_{1}(w_{1}^{-}), \ldots, \frac{u_{1P_{1}}}{t_{1P_{1}}-\lambda }y_{1}(w_{1}^{-}), -m_{1}y_{1}(w_{1}^{-}), \right.$

$\left. \frac{u_{21}}{t_{21}-\lambda}y_{1}(w_{2}^{-}), \frac{u_{22} }{t_{22}-\lambda}y_{1}(w_{2}^{-}), \ldots, \frac{u_{2P_{2}}}{t_{2P_{2}}-\lambda }y_{1}(w_{2}^{-}), -m_{2}y_{1}(w_{2}^{-})\right)$ is the eigenvector corresponding to $\lambda$.

If $\lambda = g_{1k}\left(k = \left\{ 1, 2, \ldots N_{1}\right\} \right)$, then,

$Y = \left(y_{1}(x), y_{2}(x), Y_{1}, Y_{2}, \ldots, Y_{N_{1}}, 0, L_{1}, L_{2}, \ldots, L_{N_{2} }, L_{N_{2}+1}, R_{1}, R_{2}, \ldots, R_{P_{1}}, R_{P_{1}+1}, \right.$ $\left. V_{1}, V_{2}, \ldots, V_{P_{2}}, V_{P_{2}+1}\right)$,

$Y_{i} = \left\{ \begin{array} [c]{c} 0, \ \ \ \ \ \ i\neq k\\ -y_{2}\left(a\right), i = k \end{array}, i = 1, 2, \ldots, N_{1}\right.$ is the eigenvector of $T$ corresponding to $g_{1k}$.

If $\lambda = g_{2k}\left(k = \left\{ 1, 2, \ldots N_{2}\right\} \right)$, then,

$Y = \left(y_{1} (x), y_{2}(x), Y_{1}, Y_{2}, \ldots, Y_{N_{1}}, Y_{N_{1}+1}, L_{1}, L_{2}, \ldots, L_{N_{2}}, 0, R_{1}, R_{2}, \ldots, R_{P_{1}}, R_{P_{1}+1}, \right.$$\left. V_{1}, V_{2}, \ldots, V_{P_{2}}, V_{P_{2}+1}\right)$, $L_{i} = \left\{ \begin{array} [c]{c} 0, \ \ \ \ \ \ i\neq k\\ -y_{2}\left(b\right), i = k \end{array}, i = 1, 2, \ldots, N_{2}\right.$ is the eigenvector of $T$ corresponding to $g_{2k}$.

Furthermore, if $\lambda = t_{1k}\left(k = \left\{ 1, 2, \ldots P_{1}\right\} \right)$, then,

$Y = \left(y_{1}(x), y_{2}(x), Y_{1}, Y_{2}, \ldots, Y_{N_{1}}, Y_{N_{1}}, L_{1}, L_{2}, \ldots, L_{N_{2}}, L_{N_{2}+1}, R_{1}, R_{2}, \ldots, R_{P_{1}}, 0, \right.$$\left. V_{1}, V_{2}, \ldots, V_{P_{2}}, V_{P_{2}+1}\right)$, $R_{i} = \left\{ \begin{array} [c]{c} 0, \ \ \ \ \ \ i\neq k\\ y_{2}\left(w_{1}^{+}\right) -\alpha_{1}^{-1}y_{2}\left(w_{1}^{-}\right), i = k \end{array}, i = 1, 2, \ldots, P_{1}\right.$ is the eigenvector corresponding to $t_{1k}$.

If $\lambda = t_{2k}\left(k = \left\{ 1, 2, \ldots P_{2}\right\} \right)$, then, $Y = \left(y_{1}(x), y_{2}(x), Y_{1}, Y_{2}, \ldots, Y_{N_{1}}, Y_{N_{1}}, L_{1}, L_{2}, \ldots, L_{N_{2}}, L_{N_{2} +1}, R_{1}, R_{2}, \ldots, R_{P_{1}}, R_{P_{1}+1}, \right.$ $\left. V_{1}, V_{2}, \ldots, V_{P_{2}}, 0\right)$, $V_{i} = \left\{ \begin{array} [c]{c} 0, \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ i\neq k\\ y_{2}\left(w_{2}^{+}\right) -\alpha_{2}^{-1}y_{2}\left(w_{2}^{-}\right), i = k \end{array}, i = 1, 2, \ldots, P_{2}\right.$ is the eigenvector corresponding to $t_{2k}$.

It is possible to write $f_{i}\left(\lambda\right)$ as follows:

$f_{i}\left(\lambda\right) = \dfrac{a_{i}(\lambda)}{b_{i}(\lambda)}$, $i = 1, 2$ where

$a_{i}(\lambda) = ({a_i}\lambda + {b_i})\mathop {\mathop \prod \limits^{{N_i}} }\limits_{k = 1} \left(\lambda-g_{ik}\right) -\mathop {\mathop \sum \limits^{{N_i}} }\limits_{k = 1} \mathop {\mathop \prod \limits_{j = 1\left( {j \ne k} \right)} }\limits^{{N_i}} {f_{ik}}\left( {\lambda - {g_{ij}}} \right)$

${b_i}(\lambda ) = \mathop {\mathop \prod \limits^{Ni} }\limits_{k = 1} \left( {\lambda - {g_{ik}}} \right)$.

Assume that $a_{2}(\lambda)$ and $b_{2}(\lambda)$ do not have common zeros.

Let functions $\varphi(x, \lambda)$ and $\psi(x, \lambda)$ be the solutions of (1) under the initial conditions

as well as the transmission conditions (4) respectively such that

$\varphi(x, \lambda) = \left\{ \begin{array} [c]{c} \varphi_{1}(x, \lambda)\text{, }x < w_{1}\\ \varphi_{2}(x, \lambda)\text{, }w_{1} < x < w_{2}\\ \varphi_{3}(x, \lambda)\text{, }w_{2} < x < b \end{array} \right.$ and $\psi(x, \lambda) = \left\{ \begin{array} [c]{c} \psi_{3}(x, \lambda)\text{, }x < w_{1}\\ \psi_{2}(x, \lambda)\text{, }w_{1} < x < w_{2}\\ \psi_{1}(x, \lambda)\text{, }w_{2} < x < b \end{array} \right.$.

Then it can be easily proven that $\varphi _{i}(x, \lambda)$ and $\psi_{i}(x, \lambda)$, $i = \overline{1, 3}$ are the solutions of the following integral equations;

$\varphi_{i+1, 1}(x, \lambda) = \alpha_{i}\varphi_{i1}(w_{i}, \lambda)\cos \lambda\left(x-w_{i}\right)$

$-\left[\alpha_{i}^{-1}\varphi_{i2}(w_{i}, \lambda)+h_{i}(\lambda)\varphi_{i1}(w_{i}, \lambda)\right] \sin\lambda\left(x-w_{i}\right)$

$+\underset{w_{i}}{\overset{x}{\int}}\left[p(t)\sin\lambda(x-t)+q(t)\cos \lambda(x-t)\right] \varphi_{i+1, 1}(t, \lambda)dt$

$+\underset{wi}{\overset{x}{\int}}\left[q(t)\sin\lambda(x-t)-p(t)\cos \lambda(x-t)\right] \varphi_{i+1, 2}(t, \lambda)dt$,

and

Lemma 1. For the solutions $\varphi_{i}(x, \lambda)$ and $\psi_{i}(x, \lambda)$, $i = \overline {1, 3}$ as $\left\vert \lambda\right\vert \rightarrow\infty$, the following asymptotic estimates hold;

$\varphi_{11}(x, \lambda) = \left\{ a_{1}\lambda^{N_{1}+1}\sin \lambda(x-a)+o\left( \left\vert \lambda\right\vert ^{N_{1}+1}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( x-a\right) \right] \right) , \right.$

$\varphi_{12}(x, \lambda) = \left\{ a_{1}\lambda^{N_{1}+1}\cos \lambda(x-a)+o\left( \left\vert \lambda\right\vert ^{N_{1}+1}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( x-a\right) \right] \right) , \right.$

$\varphi_{21}(x, \lambda) = \left\{ \begin{array} [c]{c} a_{1}m_{1}\lambda^{L_{1}+N_{1}+2}\sin\lambda\left( w_{1}-a\right) \sin\lambda\left( x-w_{1}\right) \\ +o\left( \left\vert \lambda\right\vert ^{L_{1}+N_{1}+2}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( w_{1}-a\right) +\left( x-w_{1}\right) \right] \right) \end{array} \right.$

$\varphi_{22}(x, \lambda) = \left\{ \begin{array} [c]{l} a_{1}m_{1}\lambda^{L_{1}+N_{1}+2}\sin\lambda\left( w_{1}-a\right) \cos\lambda\left( x-w_{1}\right) \\ +o\left( \left\vert \lambda\right\vert ^{L_{1}+N_{1}+2}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( w_{1}-a\right) +\left( x-w_{1}\right) \right] \right) \end{array} \right.$

$\varphi_{31}(x, \lambda) = \left\{ \begin{array} [c]{l} -m_{2} m_{1}a_{1}\lambda^{L_{1}+L_{2}+N_{1}+3}\sin\lambda\left( w_{1}-a\right) \sin\lambda\left( w_{2}-w_{1}\right) \sin\lambda\left( x-w_{2}\right) \\ +o\left( \left\vert \lambda\right\vert ^{L_{1}+L_{2}+N_{1}+3}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( w_{1}-a\right) +\left( w_{2}-w_{1}\right) +\left( x-w_{2}\right) \right] \right) \end{array} \right.$

$\varphi_{32}(x, \lambda) = \left\{ \begin{array} [c]{l} m_{2}m_{1} a_{1}\lambda^{L_{1}+L_{2}+N_{1}+3}\sin\lambda\left( w_{1}-a\right) \sin\lambda\left( w_{2}-w_{1}\right) \cos\lambda\left( x-w_{2}\right) \\ +o\left( \left\vert \lambda\right\vert ^{L_{1}+L_{2}+N_{1}+3}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( w_{1}-a\right) +\left( w_{2}-w_{1}\right) +\left( x-w_{2}\right) \right] \right) \end{array} \right.$

$\psi_{11}(x, \lambda) = \left\{ \begin{array} [c]{l} -a_{2}\lambda^{N_{2}+1}\sin\lambda\left( x-b\right) \\ +o\left( \left\vert \lambda\right\vert ^{^{N_{2}+1}}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( x-b\right) \right] \right) \end{array} \right.$

$\psi_{12}(x, \lambda) = \left\{ \begin{array} [c]{l} a_{2}\lambda^{N_{2}+1}\cos\lambda\left( x-b\right) \\ +o\left( \left\vert \lambda\right\vert ^{^{N_{2}+1}}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( x-b\right) \right] \right) \end{array} \right.$

$\psi_{21}(x, \lambda) = \left\{ \begin{array} [c]{l} -m_{2}a_{2}\lambda^{N_{2}+L_{2}+2}\sin\lambda\left( w_{2}-b\right) \sin\lambda\left( x-w_{2}\right) \\ +o\left( \left\vert \lambda\right\vert ^{N_{2}+L_{2}+2}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( w_{2}-b\right) +\left( x-w_{2}\right) \right] \right) \end{array} \right.$

$\psi_{22}(x, \lambda) = \left\{ \begin{array} [c]{l} m_{2}a_{2}\lambda^{N_{2}+L_{2}+2}\sin\lambda\left( w_{2}-b\right) \cos\lambda\left( x-w_{2}\right) \\ +o\left( \left\vert \lambda\right\vert ^{N_{2}+L_{2}+2}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( w_{2}-b\right) +\left( x-w_{2}\right) \right] \right) \end{array} \right.$

$\psi_{31}(x, \lambda) = \left\{ \begin{array} [c]{l} -m_{1}m_{2}a_{2}\lambda^{N_{2}+L_{1}+L_{2}+3}\sin\lambda\left( w_{2} -b\right) \sin\lambda\left( w_{1}-w_{2}\right) \sin\lambda\left( x-w_{1}\right) \\ \\ +o\left( \left\vert \lambda\right\vert ^{N_{2}+L_{1}+L_{2}+3}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( w_{2}-b\right) +\left( w_{1}-w_{2}\right) +\left( x-w_{2}\right) \right] \right) \\ \end{array} \right.$

$\psi_{32}(x, \lambda) = \left\{ \begin{array} [c]{l} m_{1}m_{2}a_{2}\lambda^{N_{2}+L_{1}+L_{2}+3}\sin\lambda\left( w_{2}-b\right) \sin\lambda\left( w_{1}-w_{2}\right) \cos\lambda\left( x-w_{1}\right) \\ +o\left( \left\vert \lambda\right\vert ^{N_{2}+L_{1}+L_{2}+3}\exp\left\vert \operatorname{Im}\lambda\right\vert \left[ \left( w_{2}-b\right) +\left( w_{1}-w_{2}\right) +\left( x-w_{1}\right) \right] \right) \end{array} \right.$

Theorem 2. The eigenvalues $\left\{ \lambda_{n}\right\} _{n\in \mathbb{Z} }$ of problem $L$ are real numbers.

Proof. It is enough to prove that eigenvalues of operator $T$ are real. By using inner product (7), for $Y$ in $D\left( T\right)$, we compute that

If necessary arrangements are made, we get

Accordingly, since $\langle TY, Y\rangle$ is real for each $Y$ in $D\left(T\right)$, $\lambda\in \mathbb{R}$ is obtained.

Lemma 2. The equality $\left\Vert Y_{n}\right\Vert ^{2} = \rho_{n}$ is valid such that $Y_{n}$ is eigenvector corresponding to eigenvalue $\lambda_{n}$ of $T$.

Proof. Let $\lambda_{n}\neq g_{ik}$. When $\lambda _{n} = g_{ik}$, following proof is done with minor changes. By using the structure of $D\left(T\right)$ and the Eqs (8)-(12), we get

On the other hand, the expression

is called characteristic function of problem (1)-(4). Moreover, since solutions $\varphi\left(x, \lambda\right)$ and $\psi\left(x, \lambda \right)$ satisfy the problem $L$,

for $\forall x\in\left[a, b\right]$

is obtained. Furthermore, since solutions $\varphi(x, \lambda)$ and $\psi(x, \lambda)$ also satisfy transmission conditions (4), we get

Therefore, since characteristic function $W\left(\varphi, \psi\right)$ is independent from $x$,

can be written.

It is clear that $\Delta(\lambda)$ is an entire function and its zeros namely $\left\{ \lambda_{n}\right\} _{n\in \mathbb{Z} }$coincide with the eigenvalues of the problem $L$.

Accordingly, for each eigenvalue $\lambda_{n}$ equality $\psi\left(x, \lambda_{n}\right) = s_{n}\varphi\left(x, \lambda_{n}\right)$ is valid where $s_{n} = \dfrac {\psi_{1}\left(a, \lambda_{n}\right) }{-b_{1}\left(\lambda_{n}\right) } = \dfrac{\psi_{2}\left(a, \lambda_{n}\right) }{a_{1}\left(\lambda _{n}\right) }$.

On the other hand, since $a_{i}\left(g_{ik}\right) \neq0$ ve $b_{i}\left(g_{ik}\right) = 0$ for $\forall i\in\left\{ 1, 2\right\}$ and $k = \left\{ 1, 2, \ldots, N_{i}\right\}$, $g_{ik}$ is an eigenvalue if and only if $\varphi_{1}\left(b, g_{2k}\right) = 0$, $\varphi_{1}\left(a, g_{1k}\right) = 0$ i.e., $\Delta(g_{ik}) = 0$.

At the same time, $t_{ik}$ is an eigenvalue if and only if $\varphi_{1} (w_{i}^{-}, t_{ik}) = 0 = \varphi_{1}(w_{i}^{+}, t_{ik})$ i.e., $\Delta(t_{ik}) = 0$ such that $i = 1, 2$ and $k = \left\{ 1, 2, \ldots P_{i}\right\}$.

Theorem 3. Eigenvalues of problem $L$ are simple.

Proof. Let $\lambda_{n}\neq g_{ik}$ and $\varphi\left(x, \lambda_{n}\right)$ be eigenfunction corresponds to the eigenvalue $\lambda_{n}$. In that case, the Eq (1) can be written for $\psi\left(x, \lambda\right)$ and $\varphi\left(x, \lambda_{n}\right)$ as follows;

If we multiply these equations by $\varphi\left(x, \lambda_{n}\right)$ and $\psi\left(x, \lambda\right)$ respectively and add side by side, we get the following equality;

Then if last equality is integrated over the interval $\left[a, b\right]$ and the initial conditions (13) and transmission conditions (4) are used to get

Then, considering that $\psi\left(x, \lambda_{n}\right) = s_{n} \varphi\left(x, \lambda_{n}\right)$

if the limit is passed when $\lambda\rightarrow\lambda_{n}\text{, } s_{n}\rho_{n} = -\dot{\Delta}(\lambda_{n})$ is obtained.

If $g_{1k}$ and $g_{2k}$ are non-simple eigenvalues then $\varphi_{1}\left(a, g_{1k}\right) = 0$, $\varphi_{1}\left(b, g_{2k}\right) = 0$ and so ${ \int\limits_{a}^{b}} \left(\varphi_{1}^{2}\left(x, \lambda_{n}\right) +\varphi_{2}^{2}\left(x, \lambda_{n}\right) \right) dx = -\left[\alpha_{1}\varphi_{1}^{2}\left(w_{1}^{-}, \lambda_{n}\right) h_{1}^{^{\prime}}\left(\lambda_{n}\right) +\alpha_{2}\varphi_{1}^{2}\left(w_{2}^{-}, \lambda_{n}\right) h_{2} ^{^{\prime}}\left(\lambda_{n}\right) \right]$ is obtained. Since $\alpha_{1}$, $\alpha_{2}$ and for all $\lambda_{n}$, $h_{1}^{^{\prime} }\left(\lambda_{n}\right)$, $h_{2}^{^{\prime}}\left(\lambda_{n}\right)$ are positive, we have a contradiction. Therefore, eigenvalues $g_{ik}$ are also simple.

3.   Inverse problem

Using expressions $a_{2}\left(\lambda\right)$, $b_{2}\left(\lambda\right)$ and asymptotic behaviour of solution $\varphi\left(x, \lambda\right)$, we obtain the following asymptotic of characteristic function $\Delta(\lambda)$ as $\left\vert \lambda\right\vert \rightarrow\infty$; $\Delta(\lambda) = -a_{1}a_{2}m_{1} m_{2}\lambda^{N_{1}+N_{2}+L_{1}+L_{2}+4}\sin\lambda\left(w_{1}-a\right) \sin\lambda\left(w_{2}-w_{1}\right) \sin\lambda\left(b-w_{2}\right)$$+o\left(\left\vert \lambda\right\vert ^{N_{1}+N_{2}+L_{1}+L_{2} +4}e^{\left\vert \operatorname{Im}\lambda\right\vert \left(b-a\right) }\right)$.

Let $\Phi\left(x, \lambda\right) : = \left(\begin{array} [c]{c} \Phi_{1}\left(x, \lambda\right) \\ \Phi_{2}\left(x, \lambda\right) \end{array} \right)$ be the solution of Eq (1) under the conditions $U\left(\Phi\right) = 1$, $V(\Phi) = 0$ as well as the transmission conditions (4).

Since $V(\Phi) = 0 = V(\psi)$, it can be supposed that $\Phi\left(x, \lambda\right) = k\psi\left(x, \lambda\right)$ $\left(k\neq0\right)$ where $k$ is a constant.

By the relation $U\left(\Phi\right) = 1$, we get $k\left[b_{1}\left(\lambda\right) \psi_{2}\left(a, \lambda\right) +a_{1}\left(\lambda \right) \psi_{1}\left(a, \lambda\right) \right] = 1$. Since $U\left(\psi\right) = -\Delta(\lambda)$, we obtain $\Phi\left(x, \lambda\right) = k\psi\left(x, \lambda\right) = -\dfrac{\psi\left(x, \lambda\right) }{\Delta\left(\lambda\right) }$ for $\lambda\neq\lambda_{n}$.

Let $S\left(x, \lambda\right) = \left(\begin{array} [c]{c} S_{1}\left(x, \lambda\right) \\ S_{2}\left(x, \lambda\right) \end{array} \right)$ and $C\left(x, \lambda\right) = \left(\begin{array} [c]{c} C_{1}\left(x, \lambda\right) \\ C_{2}\left(x, \lambda\right) \end{array} \right)$ be solutions of (1) satify the conditions $S\left(a, \lambda \right) = \left(\begin{array} [c]{c} 0\\ 1 \end{array} \right),$ $C\left(a, \lambda\right) = \left(\begin{array} [c]{c} 1\\ 0 \end{array} \right)$ and transmission conditions (4).

Accordingly, the following equalities are obtained:

The function $\Phi\left(x, \lambda\right)$ is called Weyl solution and the function $M\left(\lambda\right) = -\Phi_{1}\left(a, \lambda\right)$ is called Weyl function of problem $L$. Therefore, since $\Phi\left(x, \lambda\right) = -\dfrac{\psi\left(x, \lambda\right) }{\Delta\left(\lambda\right) }$, we set $M\left(\lambda\right) : = \dfrac{\psi_{1}\left(a, \lambda\right) }{\Delta\left(\lambda\right) }$.

Consider the boundary value problem $\tilde{L}$ in the same form with $L$ but different coefficients. Here, the expressions related to the $L$ problem are shown with $s$ and the ones related to $\tilde{L}$ are shown with $\tilde{s}$. According to this statement, we set the problem $\tilde{L}$ as follows:

where $\tilde{Q}(x) = \left(\begin{array} [c]{cc} \tilde{p}(x) & q\left(x\right) \\ q\left(x\right) & -\tilde{p}\left(x\right) \end{array} \right)$.

Theorem 4. If $M\left(\lambda\right) = \tilde{M}\left(\lambda\right)$, $f_{1}\left(\lambda\right) = \tilde {f}_{1}\left(\lambda\right)$, then $Q\left(x\right) = \tilde{Q}\left(x\right)$ almost everywhere in $\left(a, b\right)$, $f_{2}\left(\lambda\right) = \tilde{f}_{2}\left(\lambda\right)$, $h_{i}\left(\lambda\right) = \tilde{h}_{i}\left(\lambda\right),$and $\alpha_{i}\left(\lambda\right) = \tilde{\alpha}_{i}\left(\lambda\right)$ $(i = 1, 2)$.

Proof. Introduce a matrix $P(x, \lambda) = \left[P_{ij}(x, \lambda)\right] _{i, j = 1, 2}$ by the equality as follows;

$\left(\begin{array} [c]{ll} P_{11} & P_{12}\\ P_{21} & P_{22} \end{array} \right) \left(\begin{array} [c]{ll} \tilde{\varphi}_{1} & \tilde{\Phi}_{1}\\ \tilde{\varphi}_{2} & \tilde{\Phi}_{2} \end{array} \right) = \left(\begin{array} [c]{ll} \varphi_{1} & \Phi_{1}\\ \varphi_{2} & \Phi_{2} \end{array} \right)$.

According to this, we get

or by using the relation $\Phi\left(x, \lambda\right) = -\dfrac{\psi\left(x, \lambda\right) }{\Delta\left(\lambda\right) }$,

we obtain

Taking into account the Eqs (15) and (16) and $M\left(\lambda\right) = \tilde{M}\left(\lambda\right)$, we can easily get

Hence, the functions $P_{ij}(x, \lambda)$ are entire in $\lambda$. Denote

$G_{\delta}: = \left\{ \lambda:\left\vert \lambda-\lambda _{n}\right\vert \geq\delta, \text{ }n = 0, \pm1, \pm2, \ldots\right\}, \delta > 0$ and

$\tilde{G}_{\delta}: = \left\{ \lambda:\left\vert \lambda -\tilde{\lambda}_{n}\right\vert \geq\delta, \text{ }n = 0, \pm1, \pm2, \ldots \right\}$ where $\delta > 0$ is sufficiently small and fixed.

Clearly, for $\lambda\in G_{\delta}\cap\tilde{G}_{\delta}$, $\left\vert \sin\lambda x\right\vert \geq C_{\delta}e^{\left\vert \operatorname{Im} \lambda\right\vert x},$ $\left\vert \lambda\right\vert \rightarrow\infty$.

Therefore, $\left\vert \Delta(\lambda)\right\vert \geq C_{\delta}\lambda ^{N_{1}+N_{2}+L_{1}+L_{2}+4}e^{\left\vert \operatorname{Im}\lambda\right\vert \left(b-a\right) },$ \ $\lambda\in G_{\delta}\cap\tilde{G}_{\delta},$ $\left\vert \lambda\right\vert \geq\lambda^{\ast}$ for sufficiently large $\lambda^{\ast} = \lambda^{\ast}\left(\delta\right)$ and from (18) we see that $P_{ij}(x, \lambda)$ are bounded with respect to $\lambda$ where $\lambda\in G_{\delta}\cap\tilde{G}_{\delta}$ and $\left\vert \lambda \right\vert$ sufficiently large. From Liouville's theorem, it is obtained that these functions do not depend on $\lambda$.

On the other hand, from (18)

$P_{11}(x, \lambda)-1 = \varphi_{1}(x, \lambda)\left(\dfrac{\tilde{\psi} _{2}(x, \lambda)}{\tilde{\Delta}\left(\lambda\right) }-\dfrac{\psi _{2}(x, \lambda)}{\Delta\left(\lambda\right) }\right) -\dfrac {\psi_{1}(x, \lambda)}{\Delta\left(\lambda\right) }\left(\tilde{\varphi }_{2}(x, \lambda)-\varphi_{2}(x, \lambda)\right)$

$P_{12}(x, \lambda) = \tilde{\varphi}_{1}(x, \lambda)\left(\dfrac {\psi_{1}(x, \lambda)}{\Delta(\lambda)}-\dfrac{\tilde{\psi}_{1}(x, \lambda)}{\tilde{\Delta}\left(\lambda\right) }\right) -\dfrac{\tilde{\psi} _{1}(x, \lambda)}{\tilde{\Delta}\left(\lambda\right) }\left(\varphi _{1}(x, \lambda)-\tilde{\varphi}_{1}(x, \lambda)\right)$

$P_{21}(x, \lambda) = \varphi_{2}(x, \lambda)\left(\dfrac{\tilde{\psi }_{2}(x, \lambda)}{\tilde{\Delta}\left(\lambda\right) }-\dfrac{\psi _{2}(x, \lambda)}{\Delta\left(\lambda\right) }\right) -\dfrac{\psi _{2}(x, \lambda)}{\Delta\left(\lambda\right) }\left(\tilde{\varphi} _{2}(x, \lambda)-\varphi_{2}(x, \lambda)\right)$

$P_{22}(x, \lambda)-1 = \dfrac{\psi_{2}(x, \lambda)}{\Delta\left(\lambda\right) }\left(\tilde{\varphi}_{1}(x, \lambda)-\varphi_{1}(x, \lambda)\right) -\varphi_{2}(x, \lambda)\left(\dfrac{\tilde{\psi}_{1}(x, \lambda)} {\tilde{\Delta}\left(\lambda\right) }-\dfrac{\psi_{1}(x, \lambda)} {\Delta\left(\lambda\right) }\right)$.

If it is considered that $P_{ij}(x, \lambda)$ do not depend on $\lambda$ and asymptotic formulas of solutions $\varphi(x, \lambda)$ and $\psi(x, \lambda)$, we obtain

$\underset{\lambda\rightarrow-\infty}{\lim}\varphi_{1}(x, \lambda)\left(\dfrac{\tilde{\psi}_{2}(x, \lambda)}{\tilde{\Delta}\left(\lambda\right) }-\dfrac{\psi_{2}(x, \lambda)}{\Delta\left(\lambda\right) }\right) = 0,$

$\underset{\lambda\rightarrow-\infty}{\lim}\dfrac{\psi_{1}(x, \lambda)} {\Delta(\lambda)}\left(\tilde{\varphi}_{2}(x, \lambda)-\varphi_{2} (x, \lambda)\right) = 0$

for all $x$ in $\left[a, b\right]$. Hence, $\underset{\lambda \rightarrow-\infty}{\lim}\left[P_{11}(x, \lambda)-1\right] = 0$.

Thus, $P_{11}(x, \lambda) = 1$ and similarly, $P_{22}(x, \lambda) = 1$ and $P_{12}(x, \lambda) = P_{21}(x, \lambda) = 0$.

Substitute these relations in (17), to obtain

$\varphi_{1}(x, \lambda) = \tilde{\varphi}_{1}(x, \lambda)$, $\dfrac{\psi _{1}(x, \lambda)}{\Delta(\lambda)} = \dfrac{\tilde{\psi}_{1}(x, \lambda)} {\tilde{\Delta}\left(\lambda\right) }$

$\varphi_{2}(x, \lambda) = \tilde{\varphi}_{2}(x, \lambda)$, $\dfrac{\psi _{2}(x, \lambda)}{\Delta(\lambda)} = \dfrac{\tilde{\psi}_{2}(x, \lambda)} {\tilde{\Delta}\left(\lambda\right) }$ for all $x$ and $\lambda$.

Taking into account these results and Eq (1), we have

Therefore, $Q(x) = \tilde{Q}(x)$ i.e., $p(x) = \tilde{p}(x)$. Moreover, it is considered that

$\dfrac{\psi_{1}(x, \lambda)}{\Delta(\lambda)} = \dfrac{\tilde{\psi}_{1}(x, \lambda)}{\tilde{\Delta}\left(\lambda\right) },$ $\dfrac{\psi_{2}(x, \lambda)}{\Delta(\lambda)} = \dfrac{\tilde{\psi} _{2}(x, \lambda)}{\tilde{\Delta}\left(\lambda\right) }$

and

$b_{2}\left(\lambda\right) \psi_{2}(x, \lambda)+a_{2}\left(\lambda\right) \psi_{1}(x, \lambda) = 0$

$\tilde{b}_{2}\left(\lambda\right) \tilde{\psi}_{2}(x, \lambda)+\tilde{a}_{2}\left(\lambda\right) \tilde{\psi }_{1}(x, \lambda) = 0$

we get $a_{2}\left(\lambda\right) \tilde{b}_{2}\left(\lambda\right) -b_{2}\left(\lambda\right) \tilde {a}_{2}\left(\lambda\right) = 0$. As we have said above, $a_{2}\left(\lambda\right)$, $b_{2}\left(\lambda\right)$ as well as $\tilde{a} _{2}\left(\lambda\right)$, $\tilde{b}_{2}\left(\lambda\right)$ do not have common zeros. Hence, $a_{2}\left(\lambda\right) = \tilde{a}_{2}\left(\lambda\right),$ $b_{2}\left(\lambda\right) = \tilde{b}_{2}\left(\lambda\right)$, i.e., $f_{2}\left(\lambda\right) = \tilde{f}_{2}\left(\lambda\right)$.

On the other hand, substituting $\varphi_{1}$ and $\varphi_{2}$ into transmission conditions (4), we get

$\varphi_{1}(w_{i}^{+}, \lambda) = \alpha_{i}\varphi_{1}(w_{i}^{-}, \lambda)$, $\ \tilde{\varphi} _{1}(w_{i}^{+}, \lambda) = \tilde{a}_{i}\tilde{\varphi}_{1}(w_{i}^{-}, \lambda)$

$\varphi_{2}(w_{i}^{+}, \lambda) = \alpha_{i}^{-1}\varphi _{2}(w_{1}^{-}, \lambda)+h_{i}\left(\lambda\right) \varphi_{1}(w_{i} ^{-}, \lambda)$,

$\tilde{\varphi}_{2}(w_{i}^{+}, \lambda) = \tilde{\alpha}_{i}^{-1}\tilde{\varphi}_{2}(w_{i}^{-}, \lambda)+\tilde{h} _{i}\left(\lambda\right) \tilde{\varphi}_{1}(w_{i}^{-}, \lambda)$, $i = 1, 2$.

Therefore, since $\varphi_{1}(x, \lambda) = \tilde{\varphi }_{1}(x, \lambda),$ $\varphi_{2}(x, \lambda) = \tilde{\varphi}_{2}(x, \lambda)$, these yield that $\alpha_{1} = \tilde{\alpha}_{1}$, $\alpha_{2} = \tilde{\alpha }_{2}$

and $h_{1}\left(\lambda\right) = \tilde{h}_{1}\left(\lambda\right)$, $h_{2}\left(\lambda\right) = \tilde{h}_{2}\left(\lambda\right)$.

Theorem 5. If $\left\{ \lambda_{n}, \rho_{n}\right\} _{n\in \mathbb{Z} } = \left\{ \tilde{\lambda}_{n}, \tilde{\rho}_{n}\right\} _{n\in \mathbb{Z} }$, $f_{1}\left(\lambda\right) = \tilde{f}_{1}\left(\lambda\right)$ then $Q\left(x\right) = \tilde{Q}\left(x\right)$ almost everywhere in $\left(a, b\right)$, $f_{2}\left(\lambda\right) = \tilde{f}_{2}\left(\lambda\right)$, $h_{i}\left(\lambda\right) = \tilde{h}_{i}\left(\lambda\right),$and $\alpha_{i}\left(\lambda\right) = \tilde{\alpha} _{i}\left(\lambda\right)$ $(i = 1, 2)$.

Proof. Since $\lambda_{n} = \tilde{\lambda}_{n}$, $\Delta\left(\lambda\right) = c\tilde{\Delta}\left(\lambda\right)$. On the other hand, also since $s_{n}\rho_{n} = -\dot{\Delta}(\lambda_{n})$ and $\rho_{n} = \tilde{\rho }_{n}$, we get that $s_{n} = c\tilde{s}_{n}$. Therefore, $\psi _{1}\left(a, \lambda_{n}\right) = c\tilde{\psi}_{1}\left(a, \lambda _{n}\right)$ is obtained.

Denote $H\left(\lambda\right) : = \dfrac{\psi_{1}\left(a, \lambda\right) -c\tilde{\psi}_{1}\left(a, \lambda\right) }{\Delta\left(\lambda\right) }$ which is an entire function in $\lambda$. Since $\underset{\left\vert \lambda\right\vert \rightarrow\infty}{\lim}H\left(\lambda\right) = 0$, $H\left(\lambda\right) \equiv0$ and so $\psi_{1}\left(a, \lambda\right) = c\tilde{\psi}_{1}\left(a, \lambda\right)$. Hence, $M\left(\lambda \right) = \tilde{M}\left(\lambda\right)$. As a result, the proof of theorem is finished by Theorem 4.

We examine the boundary value problem $L_{1}$ with the condition $y_{1}(a) = 0$ instead of (2) in problem $L$. Let $\left\{ \mu_{n}\right\} _{n\in \mathbb{Z} }$ be eigenvalues of the problem $L_{1}$. It is clear that $\left\{ \mu _{n}\right\} _{n\in \mathbb{Z} }$ are zeros of $\Delta_{1}(\mu): = -\psi_{1}(a, \mu)$.

Theorem 6. If $\left\{ \lambda_{n}, \mu_{n}\right\} _{n\in \mathbb{Z} } = \left\{ \tilde{\lambda}_{n}, \tilde{\mu}_{n}\right\} _{n\in \mathbb{Z} }$, $f_{1}\left(\lambda\right) = \tilde{f}_{1}\left(\lambda\right)$ and $K = \tilde{K}$ such that $K = a_{2}m_{1}m_{2}$, $\tilde{K} = \tilde{a}_{2}\tilde {m}_{1}\tilde{m}_{2}$ then $Q\left(x\right) = \tilde{Q}\left(x\right)$ almost everywhere in $\left(a, b\right)$, $f_{2}\left(\lambda\right) = \tilde{f}_{2}\left(\lambda\right)$, $h_{i}\left(\lambda\right) = \tilde{h}_{i}\left(\lambda\right),$and $\alpha_{i}\left(\lambda\right) = \tilde{\alpha}_{i}\left(\lambda\right)$ $(i = 1, 2)$.

Proof. Since for all $n\in \mathbb{Z}$, $\lambda_{n} = \widetilde{\lambda}_{n}$ and $\mu_{n} = \widetilde{\mu}_{n}$, $\dfrac{\Delta\left(\lambda\right) }{\widetilde{\Delta}\left(\lambda\right) }$ and $\dfrac{\Delta_{1}\left(\mu\right) }{\widetilde {\Delta}_{1}\left(\mu\right) }$ are entire functions in $\lambda$ and in $\mu$ respectively. On the other hand, taking into account the asymptotic behaviours of $\Delta(\lambda)$, $\Delta_{1}(\mu)$ and $K = \tilde{K}$, we obtain $\underset{\lambda\rightarrow-\infty}{\lim}\dfrac{\Delta(\lambda)}{\tilde{\Delta}\left(\lambda\right) } = 1$ and $\underset{\mu \rightarrow-\infty}{\lim}\dfrac{\Delta_{1}(\mu)}{\tilde{\Delta}_{1}\left(\mu\right) } = 1$. Therefore, since $\lambda_{n} = \widetilde{\lambda}_{n}$ and $\mu_{n} = \widetilde{\mu}_{n}$, we get $\Delta(\lambda) = \tilde{\Delta} (\lambda)$ and $\Delta_{1}(\mu) = \tilde{\Delta}_{1}(\mu)$. If we consider the case $\Delta_{1}(\mu) = \tilde{\Delta}_{1}(\mu)$, then $\psi_{1}(a, \mu) = \tilde{\psi}_{1}(a, \mu)$ is obtained. Furthermore, since $M(\lambda) = \dfrac{\psi_{1}(a, \lambda)}{\Delta(\lambda)}$, $M\left(\lambda\right) = \tilde{M}\left(\lambda\right)$. Hence, the proof is completed by Theorem 4.

4.   Conclusions

The purpose of this paper is to state and prove some uniqueness theorems for Dirac equations with boundary and transmission conditions depending rational function of Herglotz-Nevanlinna. Accordingly, it has been proved that while $f_{1}(\lambda)$ in condition (2) is known, the coefficients of the boundary value problem (1)-(4) can be determined uniquely by each of the following;

i) The Weyl function $M\left(\lambda\right)$

ii) Spectral data $\left\{ \lambda_{n}, \rho_{n}\right\}$ forming eigenvalues and normalizing constants respectively

iii) Two given spectra $\left\{ \lambda_{n}, \mu_{n}\right\}$

These results are the application of the classical uniqueness theorems of Marchenko, Gelfand, Levitan and Borg to such Dirac equations. Considering this study, similar studies can be made for classical Sturm-Liouville operators, the system of Dirac equations and diffusion operators with finite number of transmission conditions depending spectral parameter as Herglotz-Nevanlinna function.

Conflict of interest

There is no conflict of interest.