- Research
- Open Access
- Published:
Variational principles for spectral analysis of one Sturm-Liouville problem with transmission conditions
Advances in Difference Equations volume 2016, Article number: 76 (2016)
Abstract
We study certain spectral aspects of the Sturm-Liouville problem with a finite number of interior singularities. First, for self-adjoint realization of the considered problem, we introduce a new inner product in the direct sum of the \(L_{2}\) spaces of functions defined on each of the separate intervals. Then we define some special solutions and construct the Green function in terms of them. Based on the Green function, we establish an eigenfunction expansion theorem. By applying the obtained results we extend and generalize such important spectral properties as the Parseval and Carleman equations, Rayleigh quotient, and Rayleigh-Ritz formula (minimization principle) for the considered problem.
1 Introduction
The Sturm-Liouville differential equations are a class of differential equations often encountered in solving PDEs using the method of separation of variables. Their solutions define many well-known special functions, such as Bessel functions, Legendre polynomials, Chebyshev polynomials, or various hypergeometric functions arising in engineering and science applications. The solutions of many problems in mathematical physics are involved in investigation of a spectral problem, that is, the investigation of the spectrum and the expansion of an arbitrary function in terms of eigenfunctions of a differential operator. The issue of expansion in eigenfunctions is a classical one going back at least to Fourier (see, e.g., [1–4]). The method of Sturm expansions is widely used in calculations of the spectroscopic characteristics of atoms and molecules [5–7]. A relatively recent impact is due to the study of wave propagation in random media [8, 9], where eigenfunction expansions are an important input in the proof of localization. The use of this tool is settled by classical results in the Schrödinger operator case. But with the study of operators related to classical waves [8, 10], a need for more general results on eigenfunction expansion became apparent. An important point is that a general function can be expanded in terms of all the eigenfunctions of an operator, a so-called complete set of functions. That is, if \(f_{n}\) is an eigenfunction of an operator Ψ with eigenvalue \(\mu_{n}\) (so \(\Psi f_{n}=\mu_{n} f_{n}\)), then a general function g can be expressed as the linear combination \(g=c_{1}f_{1}+c_{2}f_{2}+\cdots\) where the \(c_{n}\) are coefficients, and the sum is over a complete set of functions. The advantage of expressing a general function as a linear combination of a set of eigenfunctions is that it allows us to deduce the effect of an operator on a function that is not one of its own eigenfunctions. The importance of Sturm-Liouville problems for spectral methods lies in the fact that the spectral approximation of the solution of a differential equation is usually regarded as a finite expansion of eigenfunctions of a suitable Sturm-Liouville problem. Eigenfunction expansion problems for classical Sturm-Liouville problems have been investigated by many authors (see [1, 2, 11, 12] and references therein). In this paper we investigate certain spectral problems arising in the theory of the convergence of the eigenfunction expansion for one nonclassical eigenvalue problem, which consists of the Sturm-Liouville equation
on a finite number of disjoint intervals \(\Omega=\bigcup_{i=1}^{n+1}(\xi_{i-1}, \xi_{i})\), where \(0=\xi_{0}<\xi_{1}<\cdots<\xi_{n+1}=\pi\), together with boundary conditions (BCs) at the endpoints \(x=0, \pi\)
and transmission conditions at the interior points \(\xi_{k} \in (0,\pi)\), \(k=1,2,\ldots,n\),
where \(a(x)=a_{i}^{2}>0\) for \(x \in\Omega_{i}:= (\xi_{i-1}, \xi_{i})\), \(i=1,2,\ldots,n+1 \), the potential \(q(x)\) is a real-valued function that is continuous in each of the intervals \((\xi_{i-1}, \xi_{i})\) and has finite limits \(q( 0+0)\), \(q( \pi-0)\), and \(q(\xi_{i}\mp0)\), \(i=1,2,\ldots,n \), λ is a complex spectral parameter, and \(\delta_{k}\), \(\delta'_{k}\), \(\gamma_{k}\), and \(\gamma'_{k}\) (\(k=1,2,\ldots,2n\)) are real numbers. The conditions are imposed on the left and right limits of solutions and their derivatives at the interior points and are often called ‘transmission conditions’ or ‘interface conditions.’ Such type problems often arise in varies physical transfer problems (see [13]). Some problems with transmission conditions arise in thermal conduction problems for a thin laminated plate (i.e., a plate composed by materials with different characteristics piled in the thickness; see [14]). Similar problems with point interactions are also studied in [15, 16], et cetera. Since the solutions of equation (1) may have discontinuities at the interior points of the interval and since the values of the solutions and their derivatives at the interior points \(\xi_{i}\) are not defined, an important question is how to introduce a new Hilbert space in such a way that the considered problem can be interpreted as a self-adjoint problem in this space. The purpose of this paper is to extend and generalize important spectral properties such as the Rayleigh quotient, eigenfunction expansion, Rayleigh-Ritz formula (minimization principle), Parseval equality, and Carleman equality for Sturm-Liouville problems with interior singularities. The ‘Rayleigh quotient’ is the basis of an important approximation method that is used in solid mechanics and quantum mechanics. In the latter, it is used in the estimation of energy eigenvalues of nonsolvable quantum systems, for example, many-electron atoms and molecules. We note that spectral problems for ordinary differential operators without singularities were investigated in many works (see the monographs [4, 12, 17–22] and the references therein). Some aspects of spectral problems for differential equations having singularities with classical boundary conditions at the endpoints were studied, among others, in [15, 16, 23–32], where further references can be found.
2 Some preliminary results in according Hilbert space
We denote by \(\theta_{ijk} \) (\(1\leq j< k \leq4\)) the determinant of the jth and kth columns of the matrix
Note that throughout this study we shall assume that \(\theta_{ijk}>0\) for all i, j, k. In the direct sum space \(\mathcal{H}= \bigoplus_{i=1}^{n+1}L_{2}(\Omega_{i})\) we define the new inner product associated with the considered BVTP (1)-(5) by
for \(y= y(x)\), \(z= z(x) \in\mathcal{H}\). Here we let \(\theta_{034}=\theta_{(n+1)12}=1\). Let us introduce the linear operator \((Ay)(x)=-a(x)y^{\prime\prime}(x)+ q(x)y(x)\) in the Hilbert space \(\mathcal{H}\) with domain of definition \(D(\mathcal{A})\) consisting of all functions \(y\in\mathcal{H}\) satisfying the following conditions:
-
(i)
y and \(y'\) are absolutely continuous in each interval \(\Omega_{i}\) (\(i=1,2,\ldots,n+1\)) and has finite limits \(y(\xi_{0}+0)\), \(y'(\xi_{0}+0)\), \(y(\xi_{n+1}-0)\), \(y'(\xi _{n+1}-0)\), \(y(\xi_{k}\mp0)\), and \(y'(\xi_{k}\mp0)\) for \(k=1,2,\ldots,n\);
-
(ii)
\(\mathcal{L}y(x) \in \mathcal{H}\), \(\mathcal{L}_{\alpha}y(x)=\mathcal{L}_{\beta}y(x)=\mathcal{L}_{2k-1}y(x)=\mathcal{L}_{2k} y(x)=0\), \(k=1,2,\ldots,n\). Then problem (1)-(5) is reduced to the operator equation \(\mathcal{A}y=\lambda y \) in the Hilbert space \(\mathcal{H}\).
Theorem 2.1
For all \(y, z \in D(\mathcal{A})\), we have the equality \(\langle\mathcal{A}y,z\rangle_{\mathcal{H}}=\langle y,\mathcal{A}z\rangle_{\mathcal{H}} \).
Proof
From the definition of Hilbert space \(\mathcal{H}\) it follows that
where, as usual, \(W(y, \overline{z};x)\) denotes the Wronskian of the functions y and z̅. From the boundary conditions (2)-(3) it follows that
The transmission conditions (4)-(5) lead to
Substituting (8) and (9) into (7), we obtain the needed equality. □
Lemma 2.2
The linear operator \(\mathcal{A}\) is densely defined in \(\mathcal{H}\).
Proof
It suffices to prove that if \(z \in\mathcal{H}\) is orthogonal to all \(y \in D(\mathcal{A})\), then \(z=0\). Suppose that \(\langle y,z\rangle_{\mathcal{H}}=0\) for all \(y \in D(\mathcal{A})\). Denote by \(\bigoplus_{i=1}^{n+1}C_{0}^{\infty}(\Omega_{i})\) the set of all infinitely differentiable functions in Ω vanishing on some neighborhoods of the points \(x=\xi_{k}\), \(k=0,1,2,\ldots,n+1\). Taking into account that \(C_{0}^{\infty}(\xi_{k},\xi_{k+1})\) is dense in \(L_{2}(\xi_{k},\xi_{k+1})\) (\(k=0,1,2,\ldots,n+1 \)), we have that the function \(z(x)\) vanishes on Ω. The proof is complete. □
Corollary 2.3
\(\mathcal{A}\) is symmetric linear operator in the Hilbert space \(\mathcal{H}\).
Corollary 2.4
All eigenvalues of problem (1)-(3) are real, and two eigenfunctions corresponding to the distinct eigenvalues are orthogonal in the sense of the following equality:
Remark 2.5
In fact, as in our previous work [31], we can prove that the operator \(\mathcal{A}\) is self-adjoint in the Hilbert space \(\mathcal{H}\). Moreover, the resolvent operator \((A-\lambda I)^{-1}\) is compact in this space.
Now we define two solutions \(\upsilon(x,\lambda)\) and \(\vartheta(x,\lambda)\) of equation (1) on the whole \(\Omega=\bigcup_{i=1}^{n+1}(\xi_{i-1}, \xi_{i})\) by \(\upsilon(x,\lambda)=\upsilon_{i}(x,\lambda)\) for \(x \in \Omega_{i}\) and \(\vartheta(x,\lambda )=\vartheta_{i}(x,\lambda)\) for \(x \in\Omega_{i}\) (\(i=1,2,\ldots, {n+1}\)), where \(\upsilon_{i}(x,\lambda)\) and \(\vartheta_{i}(x,\lambda)\) are defined recurrently by the following procedure. Let \(\upsilon_{1}(x,\lambda)\) and \(\vartheta _{n+1}(x,\lambda)\) be solutions of equation (1) on \((0,\xi_{1})\) and \((\xi_{n},\pi)\) satisfying the initial conditions
and
respectively. In terms of these solutions, we define recurrently the other solutions \(\upsilon_{i+1}(x,\lambda)\) and \(\vartheta_{i}(x,\lambda)\) by the initial conditions
respectively, where \(i=1,2,\ldots \) . The existence and uniqueness of these solutions follow from the well-known theorem of ordinary differential equation theory. Moreover, by applying the method of [16] we can prove that all these solutions are entire functions of parameter \(\lambda\in\mathbb{C}\) for each fixed x. Taking into account (13)-(16) and the fact that the Wronskians \(\omega_{i}(\lambda):=W[\upsilon_{i}(x,\lambda ),\vartheta_{i}(x,\lambda)]\) (\(i=1,2,\ldots,n+1\)) are independent of the variable x, we have
It is convenient to define the characteristic function \(\omega(\lambda)\) for our problem (1)-(3) as
Remark 2.6
Obviously, \(\omega(\lambda)\) is an entire function. By applying the technique of [29] we can prove that there are infinitely many eigenvalues \(\lambda_{k}\), \(k=1,2,\ldots \) , of problem (1)-(5), which coincide with the zeros of the characteristic function \(\omega(\lambda)\).
3 Eigenfunction expansion based on the Green function. Modified Parseval equality
We can show that the Green function for problem (1)-(5) is of the form
for \(x, s \in\Omega\) (see, e.g., [26]). It is symmetric with respect to x and s and is real-valued for real λ. Let us show that the function
called a resolvent, is a solution of the equation
(where \(f(x)\neq0\) is a continuous function in each \(\Omega_{i}\) with finite one-hand limits at the endpoints of these intervals) satisfying the boundary-transmission conditions (2)-(5). Without loss of generality, we can assume that \(\lambda=0\) is not an eigenvalue. Otherwise, we take a fixed real number η and consider the boundary-value-transmission problem for the differential equation
together with the same boundary-transmission conditions (2)-(5) and the same eigenfunctions as for problem (1)-(5). All the eigenvalues are shifted through η to the right. It is evident that η can be selected so that \(\lambda=0\) is not an eigenvalue of the new problem. Let \(G(x,s;0)=G(x,s)\). Then the function
is a solution of the equation \(a(x)y''-q(x)y=f(x)\) satisfying the boundary-transmission conditions (2)-(5). We rewrite (19) in the form
Thus, the homogeneous problem (\(f(x)\equiv0\)) is equivalent to the integral equation
Denoting the collection of all the eigenvalues of problem (1)-(4) by \(\lambda_{0}< \lambda_{1}< \lambda_{2}<\cdots<\lambda_{n},\ldots \) and the corresponding normalized eigenfunctions by \(y_{0}, y_{1}, y_{2},\ldots,y_{n},\ldots \) , consider the series
We can show that \(\lambda_{n}=O(n^{2})\). From this asymptotic formula for the eigenvalues it follows that the series for \(Y(x,\xi)\) converges absolutely and uniformly; therefore, \(Y(x,\xi)\) is continuous in Ω. Consider the kernel
which is continuous and symmetric. By a familiar theorem in the theory of integral equations, any symmetric kernel \(K(x,\xi)\) that is not identically zero has at least one eigenfunction [33], that is, there are a number μ and a function \(\psi(x)\neq0\) satisfying the equation
Thus, if we show that the kernel \(K(x,\xi)\) has no eigenfunctions, we obtain \(K(x,\xi)\equiv0\), that is,
It follows from equation (23) that
Therefore,
that is, the kernel \(K(x,\xi)\) is orthogonal to all eigenfunctions of the boundary-value-transmission problem (1)-(5). Let \(y(x)\) be a solution of the integral equation (24). Let us show that \(y(x)\) is orthogonal to all \(\psi_{n}(x)\). In fact, it follows from (24) that
Therefore,
that is, \(y(x,\lambda)\) is an eigenfunction of the boundary-value-transmission problem (1)-(5). Since it is orthogonal to all \(\psi_{n}(x)\), it is also orthogonal to itself, and, as a consequence, \(y(x,\lambda)=0\) and \(K(x,\xi)=0\). Formula (25) is thus proved.
Theorem 3.1
(Expansion theorem)
If \(f(x)\) has a continuous second derivative in each \(\Omega_{i}\) (\(i=1,2,\ldots,n+1\)), and satisfies the boundary-transmission conditions (2)-(5), then \(f(x)\) can be expanded into an absolutely and uniformly convergent series of eigenfunctions of the boundary-value-transmission problem (1)-(5) on Ω, that is,
where \(r_{m}=r_{m}(f)\) are the Fourier coefficients of f given by
Proof
Put \(g(x)=a(x)f''-q(x)f\). Then, relying on (18) and (25), we have
From the orthogonality and normalization of the functions \(\psi_{m}(x)\) we obtain (29). □
Theorem 3.2
(Modified Parseval equality)
For any function \(f\in \bigoplus_{i=1}^{n+1}L_{2}(\Omega_{i})\), we have the Parseval equality
Proof
If \(f(x)\) satisfies the conditions of Theorem 3.1, then (31) follows immediately from the uniform convergence of the series (28). Indeed,
Now, suppose that \(f(x)\) is an arbitrary square-integrable function on the intervals \(\Omega_{i}\) (\(i=1,2,\ldots,n+1\)). Slightly modifying the familiar theorem in the theory of real analysis, we can show that there exists a sequence of infinitely differentiable functions \(f_{k}(x)\), converging in mean square to \(f(x)\), such that each function \(f_{k}(x)\) is identically zero in some neighborhoods of the points \(\xi_{i}\) (\(i=0,1,\ldots,n+1\)). From (32) it follows that
where \(r_{m}(f_{s})\) are, as usual, the Fourier coefficients in (29). Since the left-hand side (33) tends to zero as \(s,t \rightarrow\infty\), the right-hand side also tends to zero. By applying the Cauchy-Schwarz inequality we obtain
On the other hand, from the convergence in the mean of \(f_{s}(x)\) to \(f(x)\) it follows that
It follows from (33) that
for an arbitrary integer N. Passing to the limit as \(s\rightarrow \infty\), we obtain
Now letting \(N\rightarrow\infty\) gives
Taking into account the Minkowski inequality, we see that the series \(\sum_{m=0}^{\infty}r^{2}_{m}(f)\) converges. Since
we deduce that \(\sum_{m=0}^{\infty}\{r_{m}(f_{t})\}^{2}\rightarrow\sum_{m=0}^{\infty}r_{m}^{2}(f)\) as \(t\rightarrow\infty\). Moreover, from the convergence in the mean of \(f_{t}(x)\) to \(f(x)\) we derive that
Finally, letting \(t\rightarrow\infty\) in the equality
we obtain (31) for arbitrary \(f\in \bigoplus_{i=1}^{n+1}L_{2}(\Omega_{i})\). The proof is complete. □
4 Modified Carleman equality
We now return to formula (18), whose right-hand side has been called the resolvent. Let
Then, from (22) we have
Hence, \(t_{m}(\lambda)=\frac{r_{m}}{\lambda-\lambda_{m}}\), and the expansion of the resolvent is
From this an important formula can now be derived. Substituting equality (29) into the right-hand side of (36), we find that
Since \(f(s)\) is arbitrary,
Thus, we obtain
Denoting by \(S(\lambda)\) the number of eigenvalues \(\lambda_{n}\) less than λ, from (39) we get the modified Carleman equation for our problem (1)-(5)
5 The Rayleigh quotient and minimization principle for problem (1)-(5)
Let \((\lambda,\psi)\) be an eigen-pair for linear operator \(\mathcal{A}\) in the Hilbert space \(\mathcal{H}\), that is, \(\mathcal{A}\psi=\lambda\psi\). From this equality it follows that
This expression (the so-called Rayleigh quotient) enables to relate an eigenvalue λ to its eigenfunction ψ. Especially in quantum physics it is important to find the first eigenvalue. The Rayleigh quotient plays an important role in this content.
Lemma 5.1
(Rayleigh quotient)
Let \((\lambda,\psi)\) be an eigen-pair for the Sturm-Liouville differential equation (1). Then the Rayleigh quotient for problem (1)-(5) takes the form
Proof
The needed Rayleigh quotient (41) can be derived from the Sturm-Liouville equation
by multiplying by ψ and integrating over Ω. Then we have
Integrating by parts gives equation (41). □
Equation (41) is the Rayleigh quotient for considered problem (1)-(5).
Theorem 5.2
(Minimization principle)
The infimum of the Rayleigh quotient for all nonzero continuous functions satisfying the boundary-transmission conditions (2)-(4) is equal to the least eigenvalue, that is,
Proof
Suppose that \(\{\lambda_{n}\}\) is an increasing sequence of all eigenvalues of the Sturm-Liouville problem (1)-(5). Let us write the Rayleigh quotient in the form
where \(\mathcal{L}_{k}y:=-a_{k}^{2}y''+qy\). Now, we expand the arbitrary function y in terms of the orthogonal eigenfunctions \(\psi_{n}\). Denote \(\Gamma:=\{y\in\bigoplus_{i=1}^{n+1} C^{2}(\Omega_{i}):\mbox{there exist finite one-hand limits}\mbox{ }y^{k}(0+0), y^{(k)}(\pi-0), y^{(k)}(\xi_{i}\mp0) \mbox{ for } i=\overline{1,n }, \mathcal{L}_{\alpha}y=\mathcal{L}_{\beta}y=\mathcal{L}_{2k-1}y=\mathcal{L}_{2k}y=0, k=1,2,\ldots,n, y\neq0\}\). If \(y\in \Gamma\), then the series
converges uniformly to y, where \(r_{m}=r_{m}(y)\) is the Fourier coefficient of y with respect to the orthogonal set \(\psi_{n}\). By applying the standard well-known technique we can show that
Now substitution of (45) and (46) into (44) gives us
Since the eigenfunctions \({\psi_{n}}\) are orthogonal, equation (47) becomes
Let \(\lambda_{1}\) be the principal eigenvalue (\(\lambda_{1}<\lambda_{m}\) for all \(m\geq1\)). Then
Therefore, \(R(y)\geq\lambda_{1}\) for all \(y\in\Gamma\), and thus \(\inf R(y)\geq\lambda_{1}\). On the other hand, it is obvious that \(R(y_{1})=\lambda_{1}\), where \(y_{1}\) is an eigenfunction corresponding to the least eigenvalue \(\lambda_{1}\). The proof complete. □
Remark 5.3
In fact, it is proven that \(\lambda_{1}=\min R(y)\).
Corollary 5.4
Let \(\lambda_{1}<\lambda_{2}<\cdots\) be the eigenvalues of problem (1)-(5). Denote \(\Gamma_{k}:=\{y\in \Gamma:\langle y,\psi_{i}\rangle=0, i=1,2,\ldots,k\}\). Then we have the equality
Proof
Consider relation (48). Let \(y\in \Gamma_{k}\), \(y\neq0\). Then \(r_{j}=0\) (\(j=1,2,\ldots,k\)), and, consequently, by (47) we have
Now since \(\lambda_{k}<\lambda_{m}\) for \(m>k+1\), it follows that \(R(y)\geq\lambda_{k+1}\), and, furthermore, the equality holds if \(r_{m}=0\) for \(m>k+1\) (i.e., \(y=r_{k+1}\psi_{k+1}\)). □
Remark 5.5
By applying the Rayleigh-Ritz formula (43) it is difficult to explicitly compute the principal eigenvalues. But using the Rayleigh quotient (41) with appropriate test functions, we can obtain a good approximation for the eigenvalues. Moreover, from formula (50) it follows that \(\lambda_{k}\leq R(z_{k})\) for each test function \(z_{k}\in\Gamma_{k}\). Thus, we can also find an upper bound for the kth eigenvalue.
References
Hinton, D: Spectral Theory and Computational Methods of Sturm-Liouville Problems. CRC Press, Boca Raton (1997)
Levitan, BM: The Eigenfunction Expansion for the Second Order Differential Operator (1950)
Marchenko, VA: Sturm-Liouville Operator and Application. Birkhäuser, Basel (1986)
Naimark, MA: The study of eigenfunction expansion of non-selfadjoint differential of the second order on the half line. Tr. Mosk. Mat. Obŝ. 3, 181-270 (1954)
Rotenberg, M: Advances in Atomic and Molecular Physics, vol. 6 (1970)
Sherstyuk, AI: Problems of Theoretical Physics, vol. 3. Leningrad. Gos. University, Leningrad (1988)
Tupitsyn, II, Volotka, AV, Glazov, DA, Shabaev, VM: Magnetic-dipole transition probabilities in B-like and Be-like ions. Phys. Rev. A 72, 062503 (2005)
Germinet, F, Klein, A: Bootstrap multiscale analysis and localization in random media. Commun. Math. Phys. 222, 415-448 (2001)
Stollmann, P: Caught by Disorder, Bound States in Random Media. Progress in Math. Phys., vol. 20. Birkhäuser, Boston (2001)
Stollmann, P: Localization for acoustic waves in random perturbations of periodic media. Isr. J. Math. 107, 125-139 (1998)
Mamedov, KR, Cetinkaya, FA: Eigenparameter dependent inverse boundary value problem for a class of Sturm-Liouville operator. Bound. Value Probl. 2014, Article ID 194 (2014)
Titchmarsh, EC: Eigenfunctions Expansion Associated with Second Order Differential Equations, 2nd edn. Oxford University Press, London (1962)
Likov, AV, Mikhalilov, YA: The Theory of Heat and Mass Transfer, Qosenergaizdat (1963) (in Russian)
Titeux, I, Yakubov, Y: Completeness of root functions for thermal conduction in a strip with piecewise continuous coefficients. Math. Models Methods Appl. Sci. 7(7), 1035-1050 (1997)
Mukhtarov, OS, Kadakal, M, Muhtarov, FS: On discontinuous Sturm-Liouville problems with transmission conditions. J. Math. Kyoto Univ. 44(4), 779-798 (2004)
Mukhtarov, OS, Aydemir, K: Eigenfunction expansion for Sturm-Liouville problems with transmission conditions at one interior point. Acta Math. Sci. 35(3), 639-649 (2015)
Aliyev, ZS: Some global results for nonlinear fourth order eigenvalue problems. Cent. Eur. J. Math. 12(12), 1811-1828 (2014)
Aliyev, ZS, Kerimov, NB: Spectral properties of the differential operators of the fourth-order with eigenvalue parameter dependent boundary condition. Int. J. Math. Math. Sci. 2012, Article ID 456517 (2012)
Locker, J: Spectral Theory of Non-selfadjoint Two-Point Differential Operators. Am. Math. Soc., Providence (2000)
Mennicken, R, Möller, M: Non-self-Adjoint Boundary Eingenvalue Problems. North-Holland Mathematics Studies, vol. 192. North-Holland, Amsterdam (2003)
Tretter, C: On λ-Nonlinear Boundary Eigenvalue Problems. Mathematical Research, vol. 71. Akademie Verlag, Berlin (1993)
Yakubov, S: Completeness of Root Functions of Regular Differential Operators. Pitman Monographs and Surveys in Pure and Applied Mathematics, vol. 71. Longman, Harlow (1994); Copublished in the United States with Wiley, New York
Allahverdiev, BP, Bairamov, E, Ugurlu, E: Eigenparameter dependent Sturm-Liouville problems in boundary conditions with transmission conditions. J. Math. Anal. Appl. 401(1), 388-396 (2013)
Amirov, RK, Ozkan, AS: Discontinuous Sturm-Liouville problems with eigenvalue dependent boundary condition. Math. Phys. Anal. Geom. 17, 483-491 (2014). doi:10.1007/s11040-014-9166-1
Aydemir, K, Mukhtarov, OS: Second-order differential operators with interior singularity. Adv. Differ. Equ. 2015, Article ID 26 (2015). doi:10.1186/s13662-015-0360-7
Aydemir, K, Mukhtarov, OS: Green’s function method for self-adjoint realization of boundary-value problems with interior singularities. Abstr. Appl. Anal. 2013, Article ID 503267 (2013). doi:10.1155/2013/503267
Bairamov, E, Ugurlu, E: The determinants of dissipative Sturm-Liouville operators with transmission conditions. Math. Comput. Model. 53(5/6), 805-813 (2011)
Kandemir, M: Irregular boundary value problems for elliptic differential-operator equations with discontinuous coefficients and transmission conditions. Kuwait J. Sci. Eng. 39(1A), 71-97 (2010)
Kadakal, M, Mukhtarov, OS: Sturm-Liouville problems with discontinuities at two points. Comput. Math. Appl. 54, 1367-1379 (2007)
Mukhtarov, OS, Yakubov, S: Problems for differential equations with transmission conditions. Appl. Anal. 81, 1033-1064 (2002)
Mukhtarov, OS, Aydemir, K: New type Sturm-Liouville problems in associated Hilbert spaces. J. Funct. Spaces Appl. 2014, Article ID 606815 (2014)
Hıra, F, Altınışık, N: Sampling theorems for Sturm-Liouville problem with moving discontinuity points. Bound. Value Probl. 2015, Article ID 237 (2015)
Petrovsky, IG: Lectures on Partial Differential Equations, 1st English edn. Interscience Publishers, New York (1954) (translated from Russian by A. Shenitzer)
Acknowledgements
The authors would like to thank the referees for their valuable comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors contributed equally to this work. The authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Aydemir, K., Mukhtarov, O.S. Variational principles for spectral analysis of one Sturm-Liouville problem with transmission conditions. Adv Differ Equ 2016, 76 (2016). https://doi.org/10.1186/s13662-016-0800-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0800-z
Keywords
- Sturm-Liouville problems
- boundary-transmission conditions
- transmission conditions
- expansions theorem
- Rayleigh-Ritz formula
- Parseval equality
- Carleman equation