Completeness of eigenfunctions of Sturm-Liouville problems with transmission conditions (Q982734): Difference between revisions

This work considers the discontinuous boundary value problem with the eigenvalue parameter appearing linearly in the boundary conditions for a second order ordinary differential equation: \[ -(a(x)u^{\prime })^{\prime }+q(x)u=\lambda u,\text{ \;}x\in \left[ -1,0\right) \cup \left( 0,1\right] \] \[ \alpha _{1}u\left( -1\right) +\alpha _{2}u^{\prime }\left( -1\right) =0 \] \[ \beta _{1}u\left( 1\right) -\beta _{2}u^{\prime }\left( 1\right) =\lambda \left( \beta _{2}^{\prime }u^{\prime }\left( 1\right) -\beta _{1}^{\prime }u\left( 1\right) \right) \] \[ u\left( 0+\right) -\alpha _{3}u\left( 0-\right) -\beta _{3}u^{\prime }\left( 0-\right) =0, \] \[ u^{\prime }\left( 0+\right) -\alpha _{4}u\left( 0-\right) -\beta _{4}u^{\prime }\left( 0-\right)=0, \] where \(\lambda\) is a spectral parameter, \(a\left( x\right) =a_{1}^{2}\) for \(-1\leq x\leq 0\) and \(a\left( x\right) =a_{2}^{1}\) for \(0\leq x\leq 1\), \(\;a_{i}\neq 0\) \(\left( i=1,2\right) \) are real numbers, \(q\left( x\right) \in L_{1}\left( -1,1\right) ,\) \(\alpha _{i},\) \(\beta _{i},\) \(\beta _{j}^{\prime }\in\mathbb{R}\) \((i=1,2,3,4,\) \(j=1,2)\) and \(\alpha _{3}\beta _{4}-\alpha _{4}\beta _{3}>0,\) \(\beta _{1}^{\prime }\beta _{2}-\beta _{1}\beta _{2}^{\prime }>0,\) \( \left| \alpha _{1}\right| +\left| \alpha _{2}\right| \neq 0.\) Firstly, the given boundary value problem is reduced to an linear operator \(A\)\ in a special Hilbert space \(H\). Then, it is shown that the operator \(A\) is selfadjoint in the space \(H\). It is proved that the operator \(A\) has only point spectrum and the corresponding eigenfunctions form an orthonormal basis in \(H\). There are many studies about boundary problems with discontinuous coefficients and transmission conditions, completeness, minimality and basis property of the eigenfunctions of this boundary value problem [for example, see \textit{A. Gomilko} and \textit{V. Pivovarcik}, Math. Nachr. 245, 72--93 (2002; Zbl 1023.34023); \textit{V. Pivovarcik}, Asymptotic Analysis., 26 (2001)]; \textit{R. Kh. Amirov, A. Z. Ozkan} and \textit{B. Keskin}, Integral Transforms Spec. Funct. 20, No.~7--8, 607--618 (2009; Zbl 1181.34019) and others].