Abstract
The purpose of this study is to investigate a new class of boundary value transmission problems (BVTPs) for a Sturm-Liouville equation on two separate intervals. We introduce a modified inner product in the direct sum space \(L_{2}[a,c)\oplus L_{2}(c,b]\oplus C^{2}\) and define a symmetric linear operator in it in such a way that the considered problem can be interpreted as an eigenvalue problem of this operator. Then, by suggesting own approaches, we construct the Green’s function for the BVTP under consideration and find the resolvent function for the corresponding inhomogeneous problem.
Similar content being viewed by others
1 Introduction
Many interesting applications of Sturm-Liouville theory arise in quantum mechanics. For instance, for a single quantum-mechanical particle of mass m moving in one space dimension in a potential \(V (x)\), the time-dependent Schrödinger equation is
Looking for separable solutions \(\psi(x,t)=\varphi(x)e^{-iEt/\hbar}\), we find that \(\varphi(x)\) satisfies the differential equation
That is a Sturm-Liouville equation of the form
The coefficient q is proportional to the potential V, and the eigenvalue parameter λ is proportional to the energy E. Physical problems such as this and those involving sound, surface waves, heat conduction, electromagnetic waves, and gravitational waves, for example, can be solved using the mathematical theory of boundary value problems. Boundary value problems can be investigated also through the methods of Green’s function and eigenfunction expansion. The main tool for solvability analysis of such problems is the concept of Green’s function. The concept of Green’s function is very close to physical intuition (see [1]). If one knows the Green’s function of a problem, one can write down its solution in a closed form as linear combinations of integrals involving the Green’s function and the functions appearing in the inhomogeneities. Green’s functions can often be found in an explicit way, and in these cases it is very efficient to solve the problem in this way. Determination of Green’s functions is also possible using Sturm-Liouville theory. This leads to a series representation of Green’s functions (see [2]).
2 Statement of the problem
In this study we shall investigate a new class of BVPs which consist of the Sturm-Liouville equation
to hold in a finite interval \([a, b]\) except at one inner point \(c \in (a, b)\), where discontinuities in y and \(y'\) are prescribed by the transmission conditions at the interior point \(x=c\),
together with eigenparameter-dependent boundary conditions at end points \(x=a, b\),
where \(p(x)=p^{-}>0\) for \(x \in[a, c) \), \(p(x)=p^{+}>0\) for \(x \in(c, b]\), the potential \(q(x)\) is a real-valued function continuous in each of the intervals \([a, c)\) and \((c, b]\), and it has a finite limit \(q( c\mp0)\); λ is a complex spectral parameter, \(\alpha_{ij}\), \(\beta^{\pm }_{ij}\), \(\alpha'_{ij}\) (\(i=1,2\) and \(j=0,1\)) are real numbers. We want to emphasize that the boundary value problem studied here differs from standard boundary value problems in that it contains transmission conditions and the eigenvalue parameter appears not only in the differential equation, but also in the boundary conditions. Moreover, the coefficient functions may have discontinuity at one interior point. Naturally, eigenfunctions of this problem may have discontinuity at the one inner point of the considered interval. The problems with transmission conditions have become an important area of research in recent years because of the needs of modern technology, engineering and physics. Many of the mathematical problems encountered in the study of boundary-value-transmission problem cannot be treated with the usual techniques within the standard framework of a boundary value problem (see [3]). Note that some special cases of this problem arise after an application of the method of separation of variables to a varied assortment of physical problems. For example, some boundary value problems with transmission conditions arise in heat and mass transfer problems [4], in vibrating string problems when the string is loaded additionally with point masses [5], in diffraction problems [6]. Such properties as isomorphism, coerciveness with respect to the spectral parameter, completeness and Abel bases of a system of root functions of similar boundary value problems with transmission conditions and its applications to the corresponding initial boundary value problems for parabolic equations were investigated in [7–10]. Also some problems with transmission conditions which arise in mechanics (thermal conduction problems for a thin laminated plate) were studied in [11]. Boundary value problems with transmission conditions were investigated extensively in the recent years (see, for example, [3, 7–9, 12–21]).
3 The ‘basic’ solutions and a characteristic function
With a view to constructing the characteristic function \(\omega(\lambda)\), we shall define two basic solutions \(\varphi^{-}(x,\lambda)\) and \(\psi^{-}(x,\lambda )\) on the left interval \([a,c)\) and two basic solutions \(\varphi^{+}(x,\lambda)\) and \(\psi^{+}(x,\lambda)\) on the right interval \((c,b]\) by the following procedure. Let \(\varphi^{-}(x,\lambda)\) and \(\psi^{+}(x,\lambda )\) be the solutions of equation (1) on \([a,c)\) and \((c,b]\) satisfying the initial conditions
respectively. In terms of these solutions, we shall define the other solutions \(\varphi^{+}(x,\lambda)\) and \(\psi^{-}(x,\lambda)\) by the initial conditions
and
respectively, where \(\Delta_{ij}\) (\(1\leq i< j \leq4\)) denotes the determinant of the ith and jth columns of the matrix
The existence and uniqueness of these solutions follow from the well-known existence and uniqueness theorem of ordinary differential equation theory. Moreover, by applying the method of [12], we can prove that each of these solutions is an entire function of the parameter \(\lambda\in\mathbb{C}\) for each fixed x. Taking into account (7)-(10) and the fact that the Wronskians \(\omega^{\pm}(\lambda):=W[\varphi^{\pm}(x,\lambda),\psi^{\pm }(x,\lambda)]\) are independent of variable x, we have
It is convenient to define the characteristic function \(\omega(\lambda )\) as
Obviously, \(\omega(\lambda)\) is an entire function. By applying the technique of [12], we can prove that there are infinitely many eigenvalues \(\lambda_{n}\), \(n=1,2,\ldots\) , of problem (1)-(4) which coincide with zeros of the characteristic function \(\omega(\lambda)\).
4 Operator treatment in a modified Hilbert space
To analyze the spectrum of BVTP (1)-(4), we shall construct an adequate Hilbert space and define a symmetric linear operator in it in such a way that the considered problem can be interpreted as the eigenvalue problem of this operator. For this we assume that
and introduce modified inner products on the direct sum spaces \(\mathcal{H}_{1}= L_{2}[a,c)\oplus L_{2}(c,b]\) and \(\mathcal {H}=\mathcal{H}_{1}\oplus C^{2}\) by
and
for \(F= ( f(x), f_{1}, f_{2} ), G= ( g(x), g_{1}, g_{2} )\in\mathcal{H}\), respectively. Obviously, each of these inner products is equivalent to the standard inner products of the Hilbert spaces \(L_{2}[a,c)\oplus L_{2}(c,b]\) and \(L_{2}[a,c)\oplus L_{2}(c,b]\oplus C^{2}\), respectively, so \((\mathcal{H}, [\cdot,\cdot]_{\mathcal{H}})\) and \((\mathcal{H}_{1}, [\cdot,\cdot]_{\mathcal{H}_{1}})\) are also Hilbert spaces. Let us now define the boundary functionals
and construct the operator \(\mathcal{L}:\mathcal{H}\rightarrow \mathcal{H}\) with the domain
and action low
Then problem (1)-(4) can be written in the operator equation form as follows:
in the Hilbert space ℋ.
Theorem 1
The linear operator ℒ is symmetric.
Proof
By applying the method of [12] it is not difficult to show that \(\operatorname{dom}(\mathcal{L})\) is dense in the Hilbert space ℋ. Now, let \(F=(f(x),B'_{a}[f], -B'_{b}[f]),G=(g(x),B'_{a}[g], -B'_{b}[g]) \in \operatorname{dom}(\mathcal{L})\). By partial integration we have
where, as usual, \(W(f, \overline{g};x)\) denotes the Wronskians of the functions f and \(\overline{g}\). From the definitions of the boundary functionals \(B_{a}\) and \(B_{b}\) we get that
Further, taking in view the definition of ℒ and applying the initial conditions (5)-(10), we derive that
Finally, substituting (14), (15) and (16) in (13), we have
so the operator ℒ is symmetric in ℋ. The proof is complete. □
Corollary 1
- (i)
-
(ii)
If \(f(x)\) and \(g(x)\) are eigenfunctions corresponding to distinct eigenvalues, then they are ‘orthogonal’ in the sense of the equality
$$ [f,g]_{\mathcal{H}_{1}} + \frac{\Delta_{34}}{\theta_{1}}{}B'_{a}[f]B'_{a}[g] +\frac{\Delta_{12}}{\theta_{2}}{}B'_{b}[f]B'_{b}[g] =0, $$(17)where \(F=(f(x),B'_{a}[f], -B'_{b}[f]),G=(g(x),B'_{a}[g], -B'_{b}[g]) \in \operatorname{dom}(\mathcal{L})\).
5 Solvability of the corresponding inhomogeneous problem
Now, let \(\lambda\in C\) not be an eigenvalue of ℒ. Consider the operator equation
for arbitrary \(U=(u(x),u_{1},u_{2}) \in\mathcal{H}\). This operator equation is equivalent to the following inhomogeneous BVTP:
We shall search the resolvent function of this BVTP in the form
where the functions \(d_{11}(x,\lambda)\), \(d_{12}(x,\lambda)\) are the solutions of the system of equations
for \(x\in[ a,c ) \), and \(d_{21}(x,\lambda)\), \(d_{22}(x,\lambda)\) are the solutions of the system of equations
for \(x\in ( c,b ] \). Since λ is not an eigenvalue, we have \(\omega^{\pm}(\lambda) \neq0 \). Hence, from (22) and (23) it follows that
where \(h_{ij}(\lambda)\) (\(i,j=1,2\)) are arbitrary functions of the parameter λ. Substituting this into (21) gives
By differentiating we have
By using equalities (24), (25) and boundary conditions (20), we can derive that
and
Putting in (24) gives
Let us introduce the Green’s function as
Then from (26) and (27) it follows that the considered problem (19), (20) has a unique solution given by
In fact, we have proved the following theorem.
Theorem 2
The resolvent operator can be represented as
where
Remark 1
Although the Green’s function looks as simple as that of standard Sturm-Liouville problems, it is rather complicated because of the transmission conditions. To illustrate this situation, let us give the following example.
Example
Consider the following simple case of BVTP’s (1)-(4) on \([-1,1]\) with \(c=0\):
where λ is a complex spectral parameter. Putting \(\lambda=\mu ^{2}\) we find easily that
Using these formulas, we have
Consequently, the Green’s function has the following form:
References
Duffy, DG: Green’s Functions with Applications. Chapman & Hall/CRC, Boca Raton (2001)
Levitan, BM, Sargsyan, IS: Sturm-Liouville and Dirac Operators. Springer, New York (1991)
Ao, J, Sun, J: Matrix representations of Sturm-Liouville problems with coupled eigenparameter-dependent boundary conditions. Appl. Math. Comput. 244, 142-148 (2014)
Likov, AV, Mikhailov, YA: The Theory of Heat and Mass Transfer. Qosenergaizdat, Moscow (1963) (Russian)
Tikhonov, AN, Samarskii, AA: Equations of Mathematical Physics. Pergamon, Oxford (1963)
Voitovich, NN, Katsenelbaum, BZ, Sivov, AN: Generalized Method of Eigen-Vibration in the Theory of Diffraction. Nauka, Moscow (1997) (Russian)
Mukhtarov, OS, Demir, H: Coerciveness of the discontinuous initial- boundary value problem for parabolic equations. Isr. J. Math. 114, 239-252 (1999)
Mukhtarov, OS, Aydemir, K: New type Sturm-Liouville problems in associated Hilbert spaces. J. Funct. Spaces Appl. 2014, Article ID 606815 (2014)
Mukhtarov, OS, Yakubov, S: Problems for ordinary differential equations with transmission conditions. Appl. Anal. 81, 1033-1064 (2002)
Rasulov, ML: Methods of Contour Integration. North-Holland, Amsterdam (1967)
Titeux, I, Yakubov, Y: Completeness of root functions for thermal conduction in a strip with piecewise continuous coefficients. Math. Models Methods Appl. Sci. 7, 1035-1050 (1997)
Altınışık, N: Asymptotic formulas for eigenfunctions of the Sturm-Liouville problems with eigenvalue parameter in the boundary conditions. Kuwait J. Sci. Eng. 39, 1-19 (2012)
Aydemir, K: Boundary value problems with eigenvalue depending boundary and transmission conditions. Bound. Value Probl. 2014, 131 (2014)
Aydemir, K, Muhtarov, FS: Modified Parseval and Carleman equalities for Sturm-Liouville problems with interior singularities. Contemp. Anal. Appl. Math. 2(1), 78-87 (2014)
Bairamov, E, Ugurlu, E: On the characteristic values of the real component of a dissipative boundary value transmission problem. Appl. Math. Comput. 218, 9657-9663 (2012)
Chanane, B: Sturm-Liouville problems with impulse effects. Appl. Math. Comput. 190(1), 610-626 (2007)
Ao, J, Sun, J, Zhang, M: The finite spectrum of Sturm-Liouville problems with transmission conditions and eigenparameter-dependent boundary conditions. Results Math. 63, 1057-1070 (2013)
Tharwat, MM, Bhrawy, AH, Alofi, AS: Approximation of eigenvalues of discontinuous Sturm-Liouville problems with eigenparameter in all boundary conditions. Bound. Value Probl. 2013, 132 (2013)
Uǧurlu, E, Bairamov, E: Dissipative operators with impulsive conditions. J. Math. Chem. 51, 1670-1680 (2013)
Kong, Q, Wang, QR: Using time scales to study multi-interval Sturm-Liouville problems with interface conditions. Results Math. 63, 451-465 (2013)
Wang, AP, Zettl, A: Green’s function for two-interval Sturm-Liouville problems. Electron. J. Differ. Equ. 2013, 76 (2013)
Acknowledgements
The authors would like to thank the referees for their valuable comments. This work was supported by the research fund of Gaziosmanpaşa University under Grant No. 2012/126.
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 is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Aydemir, K., Mukhtarov, O.S. Second-order differential operators with interior singularity. Adv Differ Equ 2015, 26 (2015). https://doi.org/10.1186/s13662-015-0360-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0360-7