Qualitative analysis of eigenvalues and eigenfunctions of one boundary value-transmission problem

Kadriye Aydemir; Oktay S Mukhtarov

doi:10.1186/s13661-016-0589-4

Research
Open Access
Published: 15 April 2016

Qualitative analysis of eigenvalues and eigenfunctions of one boundary value-transmission problem

Kadriye Aydemir¹ &
Oktay S Mukhtarov^2,3

Boundary Value Problems volume 2016, Article number: 82 (2016) Cite this article

1443 Accesses
6 Citations
Metrics details

Abstract

The aim of this study is to investigate various qualitative properties of eigenvalues and corresponding eigenfunctions of one Sturm-Liouville problem with an interior singular point. We introduce a new Hilbert space and integral operator in it such a way that the problem under consideration can be interpreted as a spectral problem of this operator. By using our own approaches we investigate such properties as uniform convergence of the eigenfunction expansions, the Parseval equality, the Rayleigh-Ritz formula, the minimax principle, and the monotonicity of eigenvalues for the considered boundary value-transmission problem (BVTP).

Introduction

Sturm-Liouville eigenvalue problems appear frequently in solving several classes of partial differential equations, particularly in solving the heat equation or a wave equation by separation of variables. Other examples of Sturm-Liouville boundary value problems are Hermite equations, Airy equations, Legendre equations etc. Also, many physical processes, such as the vibration of strings, the interaction of atomic particles, electrodynamics of complex medium, aerodynamics, polymer rheology or the earth’s free oscillations, yield Sturm-Liouville eigenvalue problems (see, for example, [1–6] and references therein).

In different areas of applied mathematics and physics many problems arise in the form of boundary value problems involving transmission conditions at the interior singular points. Such problems are called boundary value-transmission problems (BVTPs). For example, in electrostatics and magnetostatics the model problem which describes the heat transfer through an infinitely conductive layer is a transmission problem (see [7] and references therein). Another completely different field is that of ‘hydraulic fracturing’ (see [8]) used in order to increase the flow of oil from a reservoir into a producing oil well. 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 [9]). Some aspects of spectral problems for differential equations having singularities with classical boundary conditions at the endpoints were studied among others in [10–23] and references therein.

In this paper we shall investigate some qualitative properties of the eigenvalues and the corresponding eigenfunctions of one boundary value problem which consists of the Sturm-Liouville equation,

$$ \tau(u):=-u''+ q(x)u=\lambda u(x), \quad x\in(-\pi,0)\cup(0,\pi), $$

(1)

together with end-point conditions given by

$$\begin{aligned}& \ell_{1}u:=\cos\alpha u(-\pi)+\sin\alpha u'(-\pi)=0, \end{aligned}$$

(2)

$$\begin{aligned}& \ell_{2}u:= \cos\beta u(\pi)+\sin\beta u'( \pi)=0, \end{aligned}$$

(3)

and with transmission conditions at the interior singular point $x=0$ given by

$$\begin{aligned}& t_{1}u:=\gamma_{1} u\bigl(0^{-} \bigr)-\delta_{1} u\bigl(0^{+}\bigr)=0, \end{aligned}$$

(4)

$$\begin{aligned}& t_{2}u:=\gamma_{2} u' \bigl(0^{-}\bigr)-\delta_{2} u' \bigl(0^{+}\bigr)=0, \end{aligned}$$

(5)

where $q(x)$ is a real-valued function; $\delta_{i}$, $\gamma_{i}$ ($i=1,2$) are real numbers; $\alpha,\beta\in[0,\pi)$; λ is a complex spectral parameter. Throughout we shall assume that $q(x)$ is continuous in $\Omega_{1}:=[-\pi,0)$ and $\Omega_{2}:=(0,\pi]$ with finite one-hand limits $q(0^{\pm})$; $\gamma_{1}\gamma_{2}>0$, and $\delta_{1}\delta_{2}>0$.

It is the aim of this study to investigate such important spectral properties as the eigenfunction expansion, Parseval’s equality, the Rayleigh-Ritz formula (minimization principle), the minimax principle, and monotonicity of the eigenvalues for the Sturm-Liouville problem (1)-(5). The ‘Rayleigh quotient’ is the basis of an important approximation method that is used in solid state physics as well as in quantum mechanics. In the latter, it is used in the estimation of energy eigenvalues of nonsolvable quantum systems.

Often in physical problems, the sign of the eigenvalue λ is quite important. For example, the equation $\frac{dh}{dt}+\lambda h=0$ occurs in certain heat flow problems. Here, positive λ corresponds to exponential decay in time, while negative λ corresponds to exponential growth. In the vibration problems $\frac{d^{2}h}{dt^{2}}+\lambda h=0$ only positive λ corresponds to the ‘usual’ expected oscillations.

The Rayleigh quotient cannot be used to explicitly determine the eigenvalue since the eigenfunction is unknown. However, interesting and significant results can be obtained from the Rayleigh quotient without solving the differential equation. Particularly, it can be quite useful in estimating the eigenvalues.

Preliminary results about eigenvalues and eigenfunctions

In the direct sum of the Lebesgue spaces $H:=L_{2}(\Omega_{1})\oplus L_{2}(\Omega_{2})$ we shall define a new inner product in terms of the coefficients of the considered transmission conditions as follows:

$$ \langle f,g\rangle _{H}:= \gamma_{1} \gamma_{2} \int _{-\pi}^{0^{-}}f(x)\overline{g(x)}\, dx+\delta _{1}\delta_{2} \int _{0^{+}}^{\pi}f(x)\overline{g(x)}\, dx. $$

(6)

Remark 2.1

It is easy to see that the space H is also a Hilbert space with respect to the modified inner product (6).

Lemma 2.2

Let u and υ be eigenfunctions of BVTP (1)-(5) corresponding to distinct eigenvalues λ and μ, respectively. If $\lambda\neq\overline{\mu}$ then u and υ are orthogonal in the Hilbert space H, i.e.

$$\gamma_{1}\gamma_{2} \int _{-\pi}^{0^{-}}u\overline{\upsilon}\,dx + \delta_{1}\delta_{2} \int _{0^{+}}^{\pi}u\overline{\upsilon}\,dx=0. $$

Proof

Since $\tau(u)=\lambda u$ and $\tau(\upsilon)=\mu\upsilon$,

$$\begin{aligned} (\lambda-\overline{\mu})\langle u,\upsilon\rangle _{H} =&\langle \lambda u,\upsilon\rangle _{H}-\langle u,\mu \upsilon\rangle _{H} \\ =&\bigl\langle \tau (u),\upsilon\bigr\rangle _{H}-\bigl\langle u, \tau(\upsilon)\bigr\rangle _{H}. \end{aligned}$$

(7)

By using the Lagrange identity we have

$$ \bigl\langle \tau (u),\upsilon\bigr\rangle _{H}-\bigl\langle u,\tau(\upsilon)\bigr\rangle _{H}=\gamma_{1} \gamma_{2}W(u,\upsilon ;x)|_{-\pi}^{0^{-}}+ \delta_{1}\delta_{2}W(u,\upsilon;x)|_{0^{+}}^{\pi}, $$

(8)

where $W(u,\upsilon;x)$ denotes the Wronskians of u and υ. The boundary conditions (2) and (3) implies $W(u,\upsilon;-\pi)=W(u,\upsilon;\pi)=0$. Further the transmission conditions (4) and (5) imply

$$ \gamma_{1}\gamma_{2}W\bigl(u, \upsilon;0^{-}\bigr)=\delta _{1}\delta_{2}. W \bigl(u,\upsilon;0^{+}\bigr). $$

(9)

By using these equations we get $(\lambda-\overline{\mu})\langle u,\upsilon\rangle _{H}$. Thus, $\lambda\neq\overline{\mu}$ implies $\langle u,\upsilon\rangle _{H}=0$, which completes the proof. □

Theorem 2.3

All eigenvalues of the BVTP (1)-(5) are real.

Proof

Let $(\lambda_{0},u_{0}(x))$ be any eigen-pair of the problem (1)-(5). Taking the complex-conjugate of the BVTP (1)-(5) we see that the pair $(\overline{\lambda}_{0},\overline{u_{0}(x)})$ is also an eigen-pair of this problem. From the boundary-transmission conditions (2)-(5) it follows easily that

$$ W(u_{0},\overline{u}_{0};- \pi)=W(u_{0},\overline{u}_{0};\pi)=0 $$

(10)

and

$$ \gamma_{1}\gamma_{2}W\bigl(u_{0}, \overline{u}_{0};0^{-}\bigr)-\delta_{1} \delta_{2} W\bigl(u_{0},\overline{u}_{0};0^{+} \bigr)=0. $$

(11)

Putting these equalities in the equality (7) we have $(\lambda-\overline{\lambda}_{0})\|u_{0}\|^{2}=0$. This implies that $\lambda_{0}-\overline{\lambda}_{0}=0$, i.e. $\lambda_{0}$ is real. □

Remark 2.4

Let $\lambda_{0}$ be an eigenvalue of (1)-(5) with corresponding eigenfunction $u_{0}(x)=\upsilon_{0}(x)+i\omega_{0}(x)$, where $\upsilon_{0}(x)$ and $\omega_{0}(x)$ are real-valued. Then both $\upsilon_{0}(x)$ and $\omega_{0}(x)$ are also eigenfunctions corresponding to the same eigenvalue $\lambda_{0}$. Indeed, putting $u=u_{0}=\upsilon_{0}+i\omega_{0}$ and $\lambda=\lambda_{0}$ in (1)-(5) and in view of $\lambda_{0}$ being real, we have

$$\begin{aligned}& \tau(\upsilon_{0})+i\tau(\omega_{0})=(\lambda \upsilon_{0})+i(\lambda\omega_{0}), \\& \ell_{i}(\upsilon_{0})+i\ell_{i}( \omega_{0})=0\quad \text{and} \quad t_{i}(\upsilon _{0})+it_{i}(\omega_{0})=0, \quad i=1,2, \end{aligned}$$

from which it follows that both $\upsilon_{0}(x)$ and $\omega_{0}(x)$ are eigenfunctions corresponding to the same eigenvalue $\lambda_{0}$.

Theorem 2.5

There exists only one independent eigenfunction corresponding to each eigenvalue of the BVTP (1)-(5), i.e. each of eigenvalues of this problem is geometrically simple.

Proof

By way of contradiction suppose that there exist two linearly independent eigenfunctions $u_{0}(x)$ and $\upsilon_{0}(x)$ corresponding to the same eigenvalue $\lambda_{0}$. The boundary conditions (1)-(3) imply that $W(u_{0},\upsilon_{0};\pi)=0$ and consequently $W(u_{0},\upsilon_{0};x)=0$ for all $x\in[-\pi,0)$. Since $u_{0}(x)$ and $\upsilon_{0}(x)$ satisfy equation (1), $u_{0}(x)$ and $\upsilon_{0}(x)$ are linearly dependent on $\Omega_{1}$ by the well-known theorem of ordinary differential equation theory, i.e. there exists a constant $c_{1}\neq0$ such that $u_{0}(x)=c_{1}\upsilon_{0}(x)$ for all $x\in\Omega_{1}$. Similarly, from the second boundary condition it follows that there exists a constant $c_{2}\neq0$ such that $u_{0}(x)=c_{2}\upsilon_{0}(x)$ for all $x\in\Omega_{2}$. Hence

$$ u_{0}(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} c_{1}\upsilon_{0}(x) & \mbox{for } x\in\Omega_{1}, \\ c_{2}\upsilon_{0}(x) & \mbox{for } x\in\Omega_{2}. \end{array}\displaystyle \right . $$

(12)

Substituting the transmission conditions (4)-(5) we have

$$(c_{1}-c_{2})\gamma_{1}\upsilon_{0} \bigl(0^{-}\bigr)=(c_{1}-c_{2}) \delta_{1}\upsilon_{0}\bigl(0^{+}\bigr)=0 $$

and

$$(c_{1}-c_{2})\gamma_{2}\upsilon_{0}' \bigl(0^{-}\bigr)=(c_{1}-c_{2}) \delta_{2}\upsilon_{0}'\bigl(0^{+} \bigr)=0. $$

From these equalities we get $c_{1}-c_{2}=0$. Consequently $u_{0}(x)$ and $\upsilon_{0}(x)$ are linearly dependent on the whole $\Omega=\Omega_{1}\cup\Omega_{2}$. Hence we have obtained a contradiction, which completes the proof. □

Remark 2.6

By virtue of Theorem 2.5 the eigenfunctions of a BVTP (1)-(5) can be chosen to be real-valued. Indeed, let $\lambda_{0}$ be an eigenvalue with the eigenfunction $u_{0}(x)=\upsilon_{0}(x)+i\omega_{0}(x)$. By Remark 2.4 both $\upsilon_{0}(x)$ and $\omega_{0}(x)$ are also eigenfunctions corresponding to the same eigenvalue. By Theorem 2.5 there is a complex number $C_{0}\neq0$ such that $\omega_{0}(x)=C_{0}\upsilon_{0}(x)$. Hence $u_{0}(x)=\upsilon_{0}(x)+i\omega_{0}(x)=(1+iC_{0})\upsilon_{0}(x)$, i.e. here is only one real-valued eigenfunction, except for a constant factor, corresponding to each eigenvalue. In view of this fact, from now on we can assume that all eigenfunctions of the BVTP (1)-(3) are real-valued.

Now from Lemma 2.2, Theorem 2.3, and Remark 2.6 we have the next corollary.

Corollary 2.7

Let $u_{1}$ and $u_{2}$ be eigenfunctions of BVTP (1)-(5) corresponding to distinct eigenvalues $\lambda_{1}$ and $\lambda_{2}$. Then $u_{1}$ and $u_{2}$ are orthogonal in the sense of the following equality:

$$ \gamma_{1}\gamma_{2} \int _{-\pi}^{0^{-}}u_{1}(x)u_{2}(x) \,dx+\delta_{1}\delta _{2} \int _{0^{+}}^{\pi}u_{1}(x)u_{2}(x) \,dx=0. $$

(13)

Reduction of (1)-(5) to the integral equation with the Green kernel

Let $u_{1}(x,\lambda)$ be the solution of equation (1) on the left interval $\Omega_{1}$ (the so-called left-hand solution) satisfying $u_{1}(-\pi)=\sin\alpha$, $u_{1}'(-\pi)=-\cos\alpha$. Next we proceed from $u_{1}(x,\lambda)$ to define the right-hand solution $u_{2}(x,\lambda)$ of equation (1) on the right-hand interval $\Omega_{2}$ by the initial conditions

$$u(0) =\frac{\delta_{1}}{\gamma_{1}}u_{1}\bigl(0^{-},\lambda\bigr), \qquad u'(0) =\frac{\delta_{2}}{\gamma_{2}} u_{1}' \bigl(0^{-},\lambda\bigr). $$

Now, let $v_{2}(x,\lambda)$ be the solution of equation (1) on the right-hand interval $\Omega_{2}$ satisfying the initial conditions $v_{1}(-\pi)=\sin\beta$, $v_{1}'(-\pi,\lambda)=-\cos\beta$. Similarly we proceed from $v_{2}(x,\lambda)$ to define the left-hand solution $v_{1}(x,\lambda)$ of equation (1) on the left-hand interval $\Omega_{2}$ by the initial conditions

$$v(0) =\frac{\delta_{1}}{\gamma_{1}}v_{2}\bigl(0^{+},\lambda\bigr), \qquad v_{2}'(0) =\frac{\delta_{2}}{\gamma_{2}} v_{2} \bigl(0^{+},\lambda\bigr). $$

The existence of the solutions $u_{i}$ and $v_{i}$ ($i=1,2$) is obvious. Moreover, by using totally similar arguments as in [24] we can prove that each of these solutions is an entire function of the parameter $\lambda\in\mathbb{C}$ for each fixed x. Since the Wronskian $W[u_{i}(x,\lambda),v_{i}(x,\lambda)]$ is independent of the variable $x\in\Omega_{i}$ ($i=1,2$), we can denote $\omega_{i}(\lambda):=W[\upsilon_{i}(\cdot,\lambda),\nu _{i}(\cdot,\lambda)]$ ($i=1,2$). Using the transmission conditions (4)-(5) it is easy to see that $\gamma_{1}\gamma_{2}\omega_{1}(\lambda)=\delta_{1}\delta_{2}\omega_{2}(\lambda)$. Both sides of this equality we shall denote by $\omega(\lambda)$. Now consider the following nonhomogeneous BVTP:

$$ \tau(u)-\lambda u=f, \qquad \ell_{i}(u)=t_{i}(u)=0, \quad i=1,2. $$

(14)

Let us define a Banach space $\oplus C^{k}(\Omega)$ as

$$\oplus C^{k}(\Omega):=\left\{f=\left \{ \textstyle\begin{array}{l@{\quad}l} f_{(1)}(x) & \text{for } x\in\Omega_{1}, \\ f_{(2)}(x) & \text{for } x\in\Omega_{2} \end{array}\displaystyle \right . \mbox{:}\ \ f_{(1)}(x)\in C^{k}[- \pi,0],f_{(2)}(x)\in C^{k}[0,\pi]\right\} $$

($k=0,1,2,\ldots$) with the norm $\|f\|_{\oplus C^{k}(\Omega)}:=\max\{\|f_{(1)}\|_{C^{k}[-\pi,0]}, \|f_{(2)}\|_{C^{k}[0,\pi]}\}$. Below instead of $\oplus C^{0}(\Omega)$ we shall write $\oplus C(\Omega)$.

Theorem 3.1

Let $f\in\oplus C(\Omega)$. Then for λ not an eigenvalue, the nonhomogeneous BVTP (14) has a unique solution $u_{f}$ for which the following formula holds:

$$ u_{f}(x,\lambda)=\frac{1}{\omega(\lambda)}\left \{ \textstyle\begin{array}{l} \gamma_{1}\gamma_{2}\{v_{1}(x,\lambda)\int _{-\pi}^{x}u_{1}(\xi ,\lambda)f(\xi)\,d\xi + u_{1}(x,\lambda)\int _{x}^{0^{-}}v_{1}(\xi,\lambda)f(\xi)\,d\xi \} \\ \quad {}+\delta_{1}\delta_{2}u_{1}(x,\lambda)\int _{0^{+}}^{\pi}v_{2}(\xi ,\lambda)f(\xi)\,d\xi\quad \textit{for } x \in[-\pi,0), \\ \delta_{1}\delta_{2}\{v_{2}(x,\lambda)\int _{0^{+}}^{x}u_{2}(\xi ,\lambda)f(\xi)\,d\xi + u_{2}(x,\lambda)\int _{x}^{\pi}v_{2}(\xi,\lambda)f(\xi)\,d\xi \} \\ \quad {}+\gamma_{1}\gamma_{2}v_{2}(x,\lambda)\int _{-\pi}^{0^{-}}u_{1}(\xi ,\lambda)f(\xi)\,d\xi\quad \textit{for } x \in(0,\pi]. \end{array}\displaystyle \right . $$

(15)

Proof

By differentiating equation (15) twice we can easily see that $\tau(u)=\lambda u+f$, $\ell_{i}(u_{f})=t_{i}(u_{f})=0$ ($i=1,2$) so the function $u_{f}$ given by (15) is the solution of the problem. We shall prove the uniqueness by way of contradiction. Suppose that there are two different solutions $u_{0}$ and $\upsilon_{0}$ of the system (14) corresponding to the same $\lambda_{0}$, which is not an eigenvalue. Denoting $\omega_{0}:=u_{0}-\upsilon_{0}$ we get $\tau(\omega_{0})=\lambda_{0}\omega_{0}$, $\ell_{i}(\omega_{0})=t_{i}(\omega_{0})=0 $ for $i=1,2$, i.e. $\lambda _{0}$ is an eigenvalue with the corresponding eigenfunction $\omega_{0}$. So we get a contradiction, which completes the proof. □

Let us introduce to the consideration the function $G(x,\xi,\lambda)$ given by

$$ G(x,\xi;\lambda)=\frac{1}{\omega(\lambda)}\left \{ \textstyle\begin{array}{l@{\quad}l} u_{1}(x,\lambda)v_{1}(\xi,\lambda) & \mbox{for } -\pi\leq\xi\leq x< 0, \\ u_{1}(\xi,\lambda)v_{1}(x,\lambda)& \mbox{for } -\pi\leq x\leq\xi< 0, \\ u_{2}(\xi,\lambda)v_{1}(x,\lambda) & \mbox{for } -\pi\leq x< 0< \xi \leq\pi, \\ u_{2}(x,\lambda)v_{1}(\xi,\lambda) & \mbox{for } -\pi\leq\xi < 0< x\leq\pi, \\ u_{2}(x,\lambda)v_{2}(\xi,\lambda) & \mbox{for } 0< \xi\leq x\leq\pi, \\ u_{2}(\xi,\lambda)v_{2}(x,\lambda) & \mbox{for } 0< x\leq\xi\leq\pi. \end{array}\displaystyle \right . $$

(16)

Then equation (15) can be written in the following form:

$$ u_{f}(x,\lambda)= \gamma_{1} \gamma_{2} \int _{-\pi}^{0^{-}} G(x,\xi;\lambda)f(\xi)\,d\xi+ \delta_{1}\delta_{2} \int _{0^{+}}^{\pi} G(x,\xi;\lambda)f(\xi)\,d\xi, $$

(17)

i.e. $u_{f}(x,\lambda)=\langle G(x,\cdot,\lambda),f(\cdot)\rangle_{H}$. Consequently the function $G(x,\xi,\lambda)$ given by (16) is the Green’s function for the considered BVTP. Now suppose that $\lambda=0$ is not an eigenvalue and let $f\in\oplus C(\Omega)$ be an arbitrary function. Denoting $G(x,\xi)=G(x,\xi;0)$ we have

$$ \tau(u)=f, \qquad \ell_{i}(u)=t_{i}(u)=0, \quad i=1,2, $$

(18)

has an unique solution $u=u(x)$ given by

$$ u(x)= \gamma_{1}\gamma_{2} \int _{-\pi}^{0^{-}}G(x,\xi)f(\xi)\,d\xi+\delta _{1}\delta_{2} \int _{0^{+}}^{\pi}G(x,\xi)f(\xi)\,d\xi. $$

(19)

Putting $f=\lambda u$ in equation (19) we have the following integral equation with Green’s kernel:

$$ u(x)= \lambda\biggl(\gamma_{1}\gamma_{2} \int _{-\pi}^{0^{-}}G(x,\xi)u(\xi)\,d\xi + \delta_{1}\delta_{2} \int _{0^{+}}^{\pi}G(x,\xi)u(\xi)\,d\xi\biggr). $$

(20)

Uniform and mean-square convergence of the eigenfunction expansions

Let us define the integral operator $\mathfrak{F}$ by

$$ (\mathfrak{F} u) (x)= \gamma_{1}\gamma_{2} \int _{-\pi}^{0^{-}}G(x,\xi)u(\xi)\,d\xi+\delta _{1}\delta_{2} \int _{0^{+}}^{\pi}G(x,\xi)u(\xi)\,d\xi. $$

(21)

Then the BVTP (1)-(5) converts to the spectral problem for the integral operator $\mathfrak{F}$ given by

$$(I-\lambda\mathfrak{F})u=0, $$

where I is the identity operator. Since the kernel $G(x,\xi)$ of the integral operator $\mathfrak{F}$ is symmetric and continuous we can apply the well-known extremal principle (see, for example, [25]). Let $\{\lambda_{n}\}$ be a sequence of eigenvalues of the integral operator $\mathfrak{F}$ determined by the extremal principles and $\{\phi_{n}(x)\}$ be the corresponding sequence of orthonormal eigenfunctions.

Lemma 4.1

Let $g\in\oplus C(\Omega)$. Then

$$\begin{aligned}& \lim_{m\rightarrow\infty}\Biggl(\gamma_{1} \gamma_{2} \int _{-\pi }^{0^{-}}\Biggl(\mathfrak{F}g-\sum _{i=1}^{m}c_{i}(\mathfrak{F}g) \phi_{i}\Biggr)^{2}\,dx \\& \quad {}+ \delta_{1} \delta_{2} \int _{0^{+}}^{\pi}\Biggl(\mathfrak{F}g-\sum _{i=1}^{m}c_{i}(\mathfrak{F}g) \phi_{i}\Biggr)^{2}\,dx\Biggr)=0, \end{aligned}$$

(22)

where $c_{i}(\mathfrak{F}g)=\langle\mathfrak{F}g,\phi_{i}\rangle_{H}$ denote the Fourier coefficients of $\mathfrak{F}g$ with respect to the orthonormal set $(\phi_{i})$.

Proof

Denote $g_{m}(x)=g(x)-\sum_{i=1}^{m}\langle g,\phi_{i}\rangle_{H}\phi_{i}$. Since $\{\phi_{n}\}$ is the orthonormal system in H, $\langle g_{m},\phi_{i}\rangle_{H}=0$ for $i=1,\ldots,m$. From the fact that the eigenvalues $\lambda_{n}$ are determined by the extremal principle with the corresponding sequence of orthonormal eigenfunctions $\{\phi_{n}\}$ we have $\|\mathfrak{F}g_{m}\|_{H}\leq|\lambda_{m+1}|\|g_{m}\|_{H}$. Since $\lambda_{m+1}\rightarrow0$, $\|\mathfrak{F}g_{m}\|_{H} \rightarrow0$. Then we have

$$\begin{aligned} \mathfrak{F}g =&\mathfrak{F}g_{m}+ \sum _{i=1}^{m}\langle g,\phi_{i} \rangle_{H}\mathfrak{F}\phi_{i} =\mathfrak{F}g_{m}+ \sum_{i=1}^{m}\lambda_{i}\langle g,\phi_{i}\rangle_{H} \phi_{i} \\ =&\mathfrak{F}g_{m}+\sum_{i=1}^{m} \langle g,\mathfrak{F}\phi_{i}\rangle_{H} \phi_{i}=\mathfrak{F}g_{m}+\sum _{i=1}^{m}\langle \mathfrak{F}g,\phi_{i} \rangle_{H}\phi_{i} \end{aligned}$$

(23)

for arbitrary $m=1,2,\ldots $ . Letting $m\rightarrow\infty$ we get

$$ \mathfrak{F}g=\sum_{i=1}^{\infty} \langle \mathfrak{F}g,\phi_{i}\rangle_{H} \phi_{i}, $$

(24)

where the convergence is in the Hilbert space H, i.e. the equality (22) holds. □

Corollary 4.2

If $g\in\oplus C(\Omega)$ then the Parseval equality

$$\|\mathfrak{F}g\|_{H}^{2}=\sum _{i=1}^{\infty}c_{i}^{2}( \mathfrak{F}g) $$

holds.

Corollary 4.3

The set of orthonormal eigenfunction of the integral operator $\mathfrak{F}$ is complete in the range of the integral operator $\mathfrak{F}$ given by

$$R(\mathfrak{F})= \bigl\{ h\in\oplus C(\Omega)| \textit{there exists } g\in \oplus C(\Omega) \textit{ such that } h=\mathfrak{F}g\bigr\} . $$

Theorem 4.4

Let the hypotheses and notation of Lemma 4.1 hold. Then, for any $h\in R(\mathfrak{F})$,

$$h=\sum_{i=1}^{\infty}\biggl( \gamma_{1}\gamma_{2} \int _{-\pi }^{0^{-}}h\phi_{i}\, dx+ \delta_{1}\delta_{2} \int _{0^{+}}^{\pi}h\phi_{i}\, dx\biggr) \phi_{i}(x), $$

where the series converges with respect to the norm $\oplus C(\Omega)$, i.e. uniformly on $\Omega=\Omega_{1}\cup\Omega_{2}$.

Proof

Let $h=\mathfrak{F}g$. Then for any n, p we have

$$ \sum_{i=n}^{n+p} \lambda_{i}\langle g,\phi_{i}\rangle_{H} \phi_{i} =\mathfrak{F}\Biggl[\sum_{i=n}^{n+p} \langle g,\phi_{i}\rangle_{H} \phi_{i} \Biggr]. $$

(25)

In view of the fact that the integral operator $\mathfrak{F}$ is a bounded linear operator in the Banach space $\oplus C(\Omega)$ we get from (25)

$$ \Biggl\vert \sum_{i=n}^{n+p} \lambda_{i}\langle g,\phi_{i}\rangle_{\mathcal{H}} \phi_{i}\Biggr\vert \leq C\Biggl[\sum_{i=n}^{n+p} \bigl\vert \langle g,\phi_{i}\rangle_{\mathcal{H}}\bigr\vert ^{2}\Biggr]^{1/2} $$

(26)

for some constant C independent of n. By Bessel’s inequality, the right-hand side of this inequality tends to zero as $n\rightarrow\infty$ uniformly. Thus the series

$$ \sum_{i=1}^{\infty}\langle \mathfrak{F}g,\phi_{i}\rangle_{H}\phi_{i}(x) $$

(27)

converges in the Banach space $\oplus C(\Omega)$. Let $\tilde{h}(x)$ be the sum of the last series. Consequently $\tilde{h}\in\oplus C(\Omega)$ and

$$ \tilde{h}(x)=\sum_{i=1}^{\infty} \langle \mathfrak{F}g,\phi_{i}\rangle_{H} \phi_{i}(x). $$

(28)

From (23) and (28) it follows that $\|\mathfrak{F}g-\tilde{h}\|_{H}=0$, i.e. $h(x)=\tilde{h}(x)$ almost everywhere. Since h is also continuous in Ω we have $h(x)=\tilde{h}(x)$ for all $x\in\Omega$. Thus

$$ h=\sum_{i=1}^{\infty}\langle h, \phi_{i}\rangle_{H}\phi_{i}, $$

(29)

where the series converges with respect to the norm of $\oplus C(\Omega)$, i.e. uniformly on Ω. □

Theorem 4.5

The set of all nonzero eigenvalues of the integral operator $\mathfrak{F}$ coincide with the set of the eigenvalues $(\lambda_{n})$ which are obtained from the extremal principle.

Proof

By way of contradiction, suppose there is a nonzero eigenvalue $\lambda^{*}$ distinct from all eigenvalues $(\lambda_{n})$. Let $u^{*}$ be the eigenfunction corresponding to the eigenvalue $\lambda^{*}$. Then from Theorem 4.4 we get

$$ \lambda^{*} u^{*}=\mathfrak{F}u^{*}= \sum_{i=1}^{\infty}\bigl\langle \mathfrak{F}u^{*},\phi_{i}\bigr\rangle _{H} \phi_{i}=\lambda^{*}\sum_{i=1}^{\infty} \bigl\langle u^{*},\phi_{i}\bigr\rangle _{H} \phi_{i}=0 $$

(30)

since $\langle u^{*},\phi_{i}\rangle_{H}=0$ for all $i=1,2,\ldots $ by Theorem 2.7. Thus we get a contradiction. □

Theorem 4.6

Let $f\in\oplus C^{2}(\Omega)$ and satisfy the boundary-transmission conditions (2)-(5). Then the Fourier series of f with respect to $\{\phi_{i}\}$ converges uniformly on $\Omega_{1} \cup\Omega_{2}$, i.e.

$$ \lim_{n\rightarrow\infty}\Biggl\{ \sup_{x\in\Omega}\Biggl\vert f(x)- \sum_{i=1}^{n}\biggl( \gamma_{1}\gamma_{2} \int _{-\pi}^{0^{-}}f\phi_{i}\,dx+ \delta_{1}\delta_{2} \int _{0^{+}}^{\pi}f\phi_{i}\,dx \biggr)^{2}\phi_{i}(x) \Biggr\vert \Biggr\} =0. $$

Proof

Let $f\in\oplus C^{2}(\Omega)$ satisfy the boundary-transmission conditions (2)-(5) and denote $g=\tau(f)$. Then $g\in\oplus C(\Omega)$. By virtue of (17) and (21) we have $f=\mathfrak{F}g$. From Lemma 4.1,

$$ f=\mathfrak{F}g=\sum_{i=1}^{\infty} \langle \mathfrak{F}g,\phi_{i}\rangle_{H} \phi_{i}=\sum_{i=1}^{\infty}\langle f, \phi_{i}\rangle_{H}\phi_{i}, $$

(31)

where the series is convergent in the Banach space $\oplus C(\Omega)$. □

Theorem 4.7

The set of eigenfunctions $\{\phi_{i}(x)\}$ is a complete orthonormal set in the Hilbert space H.

Proof

Denote by $\oplus C_{0}^{k}(\Omega)$ the set of all functions $f\in C^{k}(\Omega)$ which vanishes at some neighborhoods of the points $x=-\pi$, $x=0$, and $x=\pi$. Let $f\in H$ and $\epsilon>0$ be given. Then there exists a function $g\in\oplus C_{0}^{2}(\Omega)$ such that $\|f-g\|_{\mathcal{H}}<\frac{\epsilon}{3}$ since the set $\oplus C_{0}^{2}(\Omega)$ is dense in the Hilbert space H, i.e. $\overline{\oplus C_{0}^{2}(\Omega)}=H $ (see, for example, [26]). It is clear that

$$\begin{aligned} \Biggl\Vert f-\sum_{i=1}^{m} \langle f,\phi_{i}\rangle_{H}\phi_{i}\Biggr\Vert _{H} \leq& \Vert f-g\Vert _{H}+ \Biggl\Vert g-\sum_{i=1}^{m} \langle g, \phi_{i}\rangle_{H}\phi_{i}\Biggr\Vert _{H} \\ &{}+\Biggl\Vert \sum_{i=1}^{m} \bigl\langle (g-f),\phi_{i}\bigr\rangle _{H}\phi_{i} \Biggr\Vert _{H} \end{aligned}$$

(32)

for arbitrary m. By Bessel’s inequality we have

$$ \Biggl\Vert \sum_{i=1}^{m} \bigl\langle (g-f),\phi_{i}\bigr\rangle _{H} \phi_{i}\Biggr\Vert _{H}^{2} =\sum _{i=1}^{m}\bigl\vert \bigl\langle (g-f), \phi_{i}\bigr\rangle _{H}\bigr\vert ^{2} \leq \Vert f-g\Vert _{H}^{2}< \biggl(\frac{\epsilon}{3} \biggr)^{2} $$

and, by Theorem 4.6, there exists an integer $n_{0}=n_{0}(\epsilon)$ such that, for $m>n_{0}$,

$$ \Biggl\Vert g-\sum_{i=1}^{m} \langle g,\phi_{i}\rangle_{H}\phi_{i} \Biggr\Vert _{H}< \frac{\epsilon}{3}. $$

(33)

Finally, from (32) and (33) we get

$$ \Biggl\Vert f-\sum_{i=1}^{m} \langle f,\phi_{i}\rangle_{H}\phi_{i}\Biggr\Vert _{H}< \epsilon $$

for $m>n_{0}$. The proof is complete. □

Now we are ready to prove the next important result.

Theorem 4.8

The set of eigenfunctions $(\phi_{i}(x))$ of the problem (1)-(5) form an orthonormal basis in the Hilbert space H and for any $f\in H$ the Parseval equality

$$ \|f\|_{H}^{2}=\sum_{i=1}^{\infty} \biggl(\gamma_{1}\gamma_{2} \int _{-\pi}^{0^{-}}f\phi_{i}\,dx+ \delta_{1}\delta_{2} \int _{0^{+}}^{\pi}f\phi_{i}\,dx \biggr)^{2} $$

holds.

Proof

Without loss of generality we shall assume that $\lambda=0$ is not an eigenvalue. Otherwise, we can select a real $\lambda_{0}\neq0$ such that the problem $\tau u=\lambda_{0}u$, $\ell_{i}(u)=t_{i}(u)=0$, $i=1,2$ has no nontrivial solutions. Then denoting $\tilde{\lambda}=\lambda-\lambda_{0}$ and $\tilde{q}(x)=q(x)-\lambda_{0}$ we see that the problem

$$ -u''+\tilde{q}(x)u=\tilde{\lambda}u, \qquad \ell_{i}(u)=t_{i}(u)=0,\quad i=1,2, $$

(34)

has the same properties for the eigenfunctions and eigenvalues as the considered problem (1)-(5). Namely, the pair $(\tilde{\lambda},u(x))$ is the eigen-pair of the problem (34) if and only if the pair $(\lambda,u(x))$ is an eigen-pair of (1)-(5). Clearly, $\tilde{\lambda}=0$ is not an eigenvalue of the problem (34). Hence, without loss of generality we can assume that $\lambda=0$ is not an eigenvalue of the considered BVTP (1)-(5). Moreover, if $\lambda\neq0$, then the pair $(\lambda,u(x))$ is the eigen-pair of the BVTP (1)-(5) if and only if the pair $(\frac{1}{\lambda},u(x))$ is the eigen-pair of the integral operator $\mathfrak{F}$. Consequently the set ${\phi_{i}}$ form an orthonormal set of eigenfunctions either for $\mathfrak{F}$ and (1)-(5). Moreover, this set is complete by Theorem 4.7. It is well known that any complete orthonormal set in a Hilbert space forms an orthonormal basis. Consequently, every function $f\in H$ may be expanded in a Fourier series with respect to the orthonormal set of eigenfunctions $(\phi_{i})$, i.e. the equality

$$f=\sum_{i=1}^{\infty}\langle f, \phi_{i}\rangle_{H}\phi_{i} $$

holds, where the series converges with respect to the norm of the Hilbert space H. Further, the Parseval equality follows immediately from the last equality. □

The Rayleigh-Ritz principle for the BVTP (1)-(5)

In the last sections of this study we will investigate some extremal properties of the eigenvalues and corresponding eigenfunctions of the considered BVTP (1)-(5) by using some variational methods.

Lemma 5.1

Let $q(x)\geq0$ for all $x\in\Omega$. Then all eigenvalues of the problem (1)-(5) are nonnegative.

Proof

Let $(\lambda,u(x))$ be any eigen-pair of the problem (1)-(5). Multiplying (1) by $u(x)$ and integrating by parts from $x=-\pi$ to $x=0$, and from $x=0$ to $x=\pi$, we have

$$\begin{aligned}& \gamma_{1}\gamma_{2} \int _{-\pi}^{0^{-}}u\bigl[u''-qu+ \lambda u\bigr]\,dx+\delta_{1}\delta_{2} \int _{0^{+}}^{\pi}u\bigl[u''-qu+ \lambda u\bigr]\,dx \\& \quad =\gamma_{1}\gamma_{2} \int _{-\pi }^{0^{-}}\bigl[-u^{\prime 2}-qu^{2}+ \lambda u^{2}\bigr]\,dx+\delta_{1}\delta_{2} \int _{0^{+}}^{\pi }\bigl[-u^{\prime 2}-qu^{2}+ \lambda u^{2}\bigr]\,dx \\& \qquad {}+\gamma_{1}\gamma_{2} uu'|_{-\pi}^{0^{-}}+ \delta_{1}\delta_{2} uu'|_{0^{+}}^{\pi}=0. \end{aligned}$$

(35)

By using the equalities (4)-(5), we get $\gamma_{1}\gamma_{2} uu'|_{-\pi}^{0^{-}}+\delta_{1}\delta_{2} uu'|_{0^{+}}^{\pi}=0$. Hence

$$ \gamma_{1}\gamma_{2} \int _{-\pi}^{0^{-}}\bigl[-u^{\prime 2}-qu^{2}+ \lambda u^{2}\bigr]\,dx+\delta_{1}\delta_{2}\sigma \int _{0^{+}}^{\pi }\bigl[-u^{\prime 2}-qu^{2}+ \lambda u^{2}\bigr]\,dx=0. $$

(36)

Consequently

$$ \lambda=\frac{\gamma_{1}\gamma_{2}\int _{-\pi }^{0^{-}}[u^{\prime 2}+qu^{2}]\,dx+\delta_{1}\delta_{2}\int _{0^{+}}^{\pi }[u^{\prime 2}+qu^{2}]\,dx}{\gamma_{1}\gamma_{2}\int _{-\pi}^{0^{-}} u^{2}\,dx+\delta_{1}\delta_{2}\int _{0^{+}}^{\pi} u^{2}\,dx}\geq0 $$

(37)

since $q\geq0$ on $\Omega_{1} \cup\Omega_{2}$ by assumption. □

Theorem 5.2

Let $q(x)\geq0$ for all $x\in\Omega$. Then, all the eigenvalues of the problem (1)-(5) are positive if any one of the following conditions holds:

(1)
$q\not\equiv0$, i.e. there exists at least one $x_{0}\in\Omega$ such that $q(x_{0})>0$;
(2)
$\cos^{2}\alpha+\cos^{2}\beta\neq0$.

Proof

Let $\lambda_{1}$ be the first eigenvalue with the corresponding eigenfunction $u_{1}(x)$. Show that $\lambda_{1}>0$.

(1) Since $q(x)$ is continuous in Ω there are $\delta>0$ and $q_{0}>0$ such that $q(x)\geq q_{0}$ for all $x\in[x_{0}-\delta,x_{0}+\delta]\subset\Omega$. Then from (37) it follows immediately that $\lambda_{1}>0$.

(2) Suppose that it possible that $\lambda_{1}=0$. Then from (37), $u_{1}'(x)=0$ for all $x\in\Omega$, i.e. $u_{1}(x)$ is a constant function in each of $\Omega_{1}$ and $\Omega_{2}$. Putting in (2) and (3) we have $\cos\alpha u_{1}(-\pi)=\cos\beta u_{1}(\pi)=0$. Consequently at least one of $u_{1}(-\pi)$ and $u_{1}(\pi)$ is equal to zero and therefore $u_{1}$ is identically zero $\Omega_{1}$ or $\Omega_{2}$. Then by applying the transmission conditions (3) and (4) we see that $u_{1}$ is identically zero on the whole $\Omega=\Omega_{1}\cup\Omega_{2}$. We have a contradiction, which completes the proof. □

Theorem 5.3

Suppose that any one of the following conditions holds:

(1)
$q\not\equiv0$ and $q(x)\geq0$;
(2)
$q(x)\geq0$ and $\cos^{2}\alpha+\cos^{2}\beta\neq0$.

Let $\lambda_{1}<\lambda_{2}<\cdots$ be the sequence of eigenvalues with the corresponding normalized eigenfunctions $\phi_{1}(x),\phi_{2}(x),\ldots $ and let

$$\begin{aligned} S_{n} =&\bigl\{ u(x)|u\in\oplus C^{2}(\Omega);u\not\equiv0; \ell_{i}(u)=t_{i}(u)=0 \textit{ for } i=1,2; \\ & \langle u,\phi_{k}\rangle_{H}=0 \textit{ for } k=1,2, \ldots,n-1\bigr\} , \quad n=1,2,\ldots \end{aligned}$$

(naturally by $S_{1}$ we mean $S_{1}=\{u(x)|u\in\oplus C^{2}(\Omega);u\not\equiv0;\ell_{i}(u)=t_{i}(u)=0 \textit{ for } i=1,2 \}$). Then for all $n=1,2,\ldots $ we have

$$\lambda_{n}=\min\bigl\{ I(u)|u\in S_{n}\bigr\} , $$

where the functional $I(u)$ is given by

$$ I(u)=\frac{1}{\|u\|^{2}_{H}}\biggl\{ \gamma_{1} \gamma_{2} \int _{-\pi }^{0-}\bigl[u^{\prime 2}+qu^{2} \bigr]\,dx+\delta_{1}\delta_{2} \int _{0+}^{\pi }\bigl[u^{\prime 2}+qu^{2} \bigr]\,dx\biggr\} . $$

(38)

Moreover, the minimizing function is $\phi_{n}$, i.e. $\lambda_{n}=I(\phi_{n})$.

Proof

Let $\varphi(\cdot)\in\oplus C^{2}(\Omega)$ with $\ell_{i}\varphi=t_{i}\varphi=0$, $i=1,2$. Then by Theorem 4.6 we have

$$\varphi(x)=\sum_{n=1}^{\infty}\bigl\langle \varphi(\cdot),\phi_{n}(\cdot)\bigr\rangle _{H} \phi_{n}(x), $$

where the convergence is uniform on Ω. Then, by integration by parts, we get

$$ \bigl\langle \tau(\varphi),\phi_{n}\bigr\rangle _{H}= \bigl\langle \varphi,\tau(\phi_{n})\bigr\rangle _{H}=\lambda_{n}\bigl\langle \phi_{n}( \cdot), \varphi(\cdot)\bigr\rangle _{H}. $$

(39)

Since $\{\phi_{n}(x)\}$ is a complete orthonormal set, by Parseval’s equation

$$ \langle \varphi,\varphi\rangle_{H}=\sum _{n=1}^{\infty}c_{n}^{2}(\varphi), $$

(40)

where $c_{n}(\varphi)=\langle\phi_{n}(\cdot), \varphi(\cdot)\rangle_{H}$. By using (35) we get

$$\begin{aligned}& \gamma_{1}\gamma_{2} \int _{-\pi}^{0}\bigl[\varphi^{\prime 2}+q \varphi ^{2}\bigr]\,dx+\delta_{1}\delta_{2} \int _{0}^{\pi}\bigl[\varphi^{\prime 2}+q \varphi ^{2}\bigr]\,dx \\& \quad =\bigl\langle \varphi,\tau(\varphi)\bigr\rangle _{H}=-\Biggl\langle \Biggl(\sum_{n=1}^{\infty}c_{n} \phi_{n}\Biggr),\tau(\varphi)\Biggr\rangle _{H} =-\sum _{n=1}^{\infty}c_{n}\bigl\langle \phi_{n},\tau(\varphi)\bigr\rangle _{H} \\& \quad =\sum_{n=1}^{\infty}c_{n} \lambda_{n}\langle\varphi, \phi_{n}\rangle_{H}= \sum_{n=1}^{\infty}\lambda_{n}c_{n}^{2} \geq\lambda_{1}\| \varphi\|^{2}_{H}. \end{aligned}$$

(41)

Consequently

$$ \lambda_{1}\leq\frac{1}{\|\varphi\|^{2}_{H}}\biggl\{ \gamma_{1}\gamma_{2} \int _{-\pi}^{0}\bigl[\varphi^{\prime 2}+q \varphi ^{2}\bigr]\,dx+\delta_{1}\delta_{2} \int _{0}^{\pi}\bigl[\varphi^{\prime 2}+q \varphi ^{2}\bigr]\,dx\biggr\} . $$

(42)

Putting $\varphi=\phi_{1}$ in equation (41) we have $c_{n}(\varphi)=\langle \phi_{1},\phi_{n}\rangle =0$ for $n=2,3,\ldots $ and

$$ \lambda_{1}=\frac{1}{\|\phi_{1}\|^{2}_{H}} \biggl\{ \gamma_{1}\gamma_{2} \int _{-\pi}^{0-}\bigl[\phi_{1}^{\prime 2}+q \phi_{1}^{2}\bigr]\,dx +\delta_{1} \delta_{2} \int _{0+}^{\pi}\bigl[\phi_{1}^{\prime 2}+q \phi_{1}^{2}\bigr]\,dx\biggr\} . $$

(43)

From (42)-(43) it follows immediately that

$$\lambda_{1}=\min\bigl\{ I(\varphi)|\varphi\in S_{1}\bigr\} $$

and the minimizing function is $\varphi=\phi_{1}(x)$, i.e. $\lambda_{1}=I(\phi_{1})$. Next, let $\varphi(x)\in\oplus C^{2}(\Omega)$ with $\ell_{i}\varphi=t_{i}\varphi=0$, $i=1,2$, and $\langle\varphi,\phi_{n}\rangle=0$ for $n=1,\ldots,k$. Then

$$\begin{aligned}& \gamma_{1}\gamma_{2} \int _{-\pi}^{0^{-}}\bigl[\varphi^{\prime 2}+q \varphi ^{2}\bigr]\,dx+\delta_{1}\delta_{2} \int _{0^{+}}^{\pi}\bigl[\varphi^{\prime 2}+q \varphi^{2}\bigr]\,dx \\& \quad = \sum_{n=k+1}^{\infty} \lambda_{n}c_{n}(\varphi)^{2} \geq \lambda_{k+1}\sum_{n=k+1}^{\infty}c_{n}( \varphi)^{2} = \lambda_{k+1}\|\varphi\|^{2}_{H}. \end{aligned}$$

(44)

Hence, by the same arguments as before, we have

$$\lambda_{k+1}=\min\bigl\{ I(\varphi)|\varphi\in S_{k+1}\bigr\} $$

for $k=1,2,\ldots $ and the minimizing function is $\phi_{k+1}$, i.e. $\lambda_{k+1}=I(\phi_{k+1})$. □

Remark 5.4

By applying the minimization principle directly, it is not possible to determine explicitly the eigenvalues and corresponding eigenfunctions, since we do not know how to minimize over all ‘admissible’ functions. Nevertheless, using the Rayleigh functional (38) with appropriate test functions one can obtain useful approximations for the eigenvalues.

The minimax property of eigenvalues

According to the minimization principle which is given by the preceding Theorem 5.3 we can find the nth eigen-pair $(\lambda_{n},\phi_{n})$ only after the previous eigenfunctions $\phi_{1}(x),\phi_{2}(x),\ldots, \phi_{n-1}(x)$ are known. But in many applications it is important to have a characterization of any eigen-pair $(\lambda_{k},\phi_{k})$ that makes no reference to other eigen-pairs. By applying the following theorem we can determine the nth eigen-pair $(\lambda_{n},\phi_{n})$ without using the preceding eigenfunctions $\phi_{1}(x),\phi_{2}(x),\ldots,\phi_{n-1}(x)$.

Theorem 6.1

Let $u_{1}(x),u_{2}(x),\ldots,u_{n-1}(x)\in\oplus C(\Omega)$ be arbitrary functions. Denote

$$\begin{aligned} D_{n-1}(u_{1},u_{2},\ldots,u_{n-1}) =& \bigl\{ u\in\oplus C^{1}(\Omega) |\ell_{j}(u)=t_{j}(u)=0, j=1,2; \\ & \langle u,u_{i}\rangle =0 \textit { for } i=1,2,\ldots,n-1;\bigr\} ,\quad n=1,2,\ldots \end{aligned}$$

(naturally by $D_{0}(u_{1},u_{2},\ldots,u_{n-1})$ we mean the linear manifold

$$ \bigl\{ u\in\oplus C^{1}(\Omega) |\ell_{j}(u)=t_{j}(u)=0, j=1,2 \bigr\} \bigr). $$

Then the nth eigenvalue of the BVTP (1)-(5) is

$$\begin{aligned} \lambda_{n} =&\max\bigl\{ \min\bigl\{ I(u)|u\in D_{n-1}(u_{1},u_{2},\ldots,u_{n-1})\bigr\} | \phi_{i}\in\oplus C(\Omega) \\ &\textit{for } i=1,2,\ldots,n-1\bigr\} . \end{aligned}$$

(45)

Proof

Let $0<\lambda_{1}<\lambda_{2}<\cdots$ be the sequence of eigenvalues determined by the extremal principles and $\phi_{1}(x),\phi_{2}(x),\ldots $ be the corresponding sequence of orthonormal eigenfunctions and let $u_{1},u_{2},\ldots,u_{n-1}\in\oplus C(\Omega)$ be arbitrary functions. Define

$$F_{n}(u_{1},u_{2},\ldots,u_{n-1})=\inf \bigl\{ I(u)|u\in D_{n-1}(u_{1},u_{2}, \ldots,u_{n-1})\bigr\} ,\quad n=1,2,\ldots. $$

Now let $\psi_{1}(x),\psi_{2}(x),\ldots,\psi_{n-1}(x)\in\oplus C^{1}(\Omega)$ be any given functions, such that $\ell_{i}(\psi_{j})=t_{i}(\psi_{j})=0$ ($i=1,2$; $j=1,2,\ldots,n-1$). Denoting $a_{ij}=\langle\phi_{i},\psi_{i}\rangle_{H}$ for $i,j=1,2,\ldots,n-1$, consider a system of $n-1$ homogeneous linear equations in n unknowns $z_{1},z_{2},\ldots,z_{n}$ given by

$$ \sum_{i=1}^{n}a_{ij}z_{i}=0, \quad j=1,2,\ldots,n-1. $$

(46)

Obviously this system of $n-1$ homogeneous linear equations in n unknowns has a nontrivial solution. Let $\alpha_{1},\alpha_{2},\ldots,\alpha_{n-1}$ be any nontrivial solution of system (46). Define a function $\upsilon_{n}(x)$ by

$$ \upsilon_{n}(x)=\alpha_{1} \phi_{1}(x)+\cdots+\alpha _{n}\phi_{n}(x). $$

(47)

It is easy to see that

$$ \langle\upsilon_{n},\psi_{j}\rangle_{H}=0\quad \text{for } j=1,2,\ldots,n-1. $$

(48)

Consequently $\upsilon_{n}\in D_{n-1}(\psi_{1},\psi_{2},\ldots,\psi_{n-1}) $ and $\|\upsilon\|_{H}^{2}=\alpha_{1}^{2}+\alpha_{2}^{2}+\cdots+\alpha_{n}^{2}$. Then we have

$$\begin{aligned}& \gamma_{1}\gamma_{2} \int _{-\pi}^{0}\bigl[\upsilon_{n}^{\prime 2}+q \upsilon _{n}^{2}\bigr]\,dx+\delta_{1} \delta_{2} \int _{0}^{\pi}\bigl[\upsilon _{n}^{\prime 2}+q \upsilon_{n}^{2}\bigr]\,dx \\& \quad =\sum_{i,j=1}^{n}\alpha_{i} \alpha_{j}\biggl(\gamma_{1}\gamma_{2} \int _{-\pi }^{0}\bigl[\phi_{i}' \phi_{j}'+q\phi_{i}\phi_{j}\bigr] \,dx+\delta_{1}\delta_{2} \int _{0}^{\pi}\bigl[\phi_{i}' \phi_{j}'+q\phi_{i}\phi_{j}\bigr] \,dx\biggr). \end{aligned}$$

Integrating by parts we get

$$\begin{aligned}& \gamma_{1}\gamma_{2} \int _{-\pi}^{0}\bigl[\phi_{i}' \phi_{j}'+q\phi_{i}\phi _{j}\bigr] \,dx+\delta_{1}\delta_{2} \int _{0}^{\pi}\bigl[\phi_{i}' \phi_{j}'+q\phi_{i}\phi _{j}\bigr] \,dx \\& \quad =\phi_{i}'\phi_{j}|_{-\pi}^{0^{-}}+ \phi_{i}'\phi _{j}|_{0^{+}}^{\pi} +\bigl\langle \phi_{j},\tau(\phi_{i})\bigr\rangle _{H}=\lambda_{i}\langle \phi_{j},u \phi_{i}\rangle_{H}=\lambda_{i} \delta_{ij}, \end{aligned}$$

where $\delta_{ij}$ is the Kronecker delta. Then we have

$$I(\upsilon_{n})=\frac{1}{\|\upsilon_{n}\|^{2}_{H}}\sum_{i=1}^{n} \lambda _{i}\alpha_{i}^{2}\leq \lambda_{n}. $$

Consequently $F_{n}(u_{1},u_{2},\ldots,u_{n-1})\leq I(\upsilon_{n})\leq\lambda_{n}$ for all $u_{1},u_{2},\ldots,u_{n-1}\in\oplus C(\Omega)$. Furthermore, by virtue of the preceding theorem

$$F_{n}(\phi_{1},\phi_{2},\ldots, \phi_{n-1})=\lambda_{n}. $$

Hence

$$\lambda_{n}=\max\bigl\{ F(u_{1},u_{2}, \ldots,u_{n-1})|\phi_{j}\in\oplus C(\Omega ),j=1,2,\ldots,n-1 \bigr\} , $$

which completes the proof. □

Remark 6.2

In many problems of mathematical physics, the smallest eigenvalue (the so-called principal eigenvalue) plays an important role. For example, the principal eigenvalue of the simple boundary value problem

$$-u''=\lambda\rho(x)u,\quad x\in[-\pi,\pi], \qquad u(- \pi)=u(\pi)=0, $$

where $\rho(x)>0$ is the given function, can be interpreted as the square of the lowest frequency of vibration of a rod of nonuniform cross section given by $\rho(x)$. Therefore it is significant to determine explicitly the principal eigenvalue, or at least a ‘good’ estimation of it. Note that useful approximation values for the principal eigenvalue can be drawn from the minimax property (45) by using certain principles of the theory of the calculus of variations. In particular we can find an upper bound for the lowest eigenvalue $\lambda_{1}$. In fact let $\oplus C(\Omega)$ be any nontrivial function satisfying the boundary-transmission conditions (2)-(5) called the trial function. Then by virtue of the minimax principle we have the inequality

$$\lambda_{1}\leq\frac{1}{\|\upsilon\|^{2}_{H}}\biggl\{ \gamma_{1} \gamma_{2} \int _{-\pi}^{0}\bigl[\upsilon^{\prime 2}+q \upsilon^{2}\bigr]\,dx+\delta_{1}\delta_{2} \int _{0}^{\pi}\bigl[\upsilon^{\prime 2}+q \upsilon^{2}\bigr]\,dx\biggr\} , $$

which gives us an upper bound for the principal eigenvalue. By taking the trial function $\upsilon(x)$ as close as possible to the corresponding eigenfunction we can expect to get the ‘good’ estimation for principal eigenvalue $\lambda_{1}$. In many special cases the useful trial function can be found by applying some principles of variational analysis.

Dependence of eigenvalues on the potential

The minimax principle of the eigenvalues, i.e. equation (45) for the eigenvalues makes it possible to study the dependence of the eigenvalues on the coefficients of the differential equation. In this section we shall establish the monotonicity of the eigenvalues with respect to the potential $q(x)$ for fixed boundary-transmission conditions.

Theorem 7.1

Let $\lambda_{n}(q)$ be the nth eigenvalue of the BVTP (1)-(5). Then $\lambda_{n}(q)$ is a monotonically increasing function with respect to the variable $q=q(x)$, i.e. if $q_{1}(x)\leq q_{2}(x)$ for all $x\in\Omega$ then $\lambda_{n}(q_{1})\leq\lambda_{n}(q_{2})$.

Proof

Define

$$I_{i}(u)=\frac{1}{\|u\|^{2}_{H}}\biggl\{ \gamma_{1} \gamma_{2} \int _{-\pi }^{0-}\bigl[u^{\prime 2}+q_{i}u^{2} \bigr]\,dx+\delta_{1}\delta_{2} \int _{0+}^{\pi }\bigl[u^{\prime 2}+q_{i}u^{2} \bigr]\,dx\biggr\} ,\quad i=1,2. $$

Let the notation of the preceding theorem hold and let $u_{1}(x),u_{2}(x),\ldots,u_{n-1}(x)\in\oplus C(\Omega)$ be any arbitrary functions.

Since $0\leq q_{1}(x)\leq q_{2}(x)$ for all $x\in\Omega$ it is obvious that $I_{1}(u)\leq I_{2}(u)$ for all $u\in D_{n-1}(u_{1},u_{2},\ldots,u_{n-1})$. Then by virtue of Theorem 6.1, we find the required inequality $\lambda_{n}(q_{1})\leq\lambda_{n}(q_{2})$. The proof is complete. □

References

1.
Gesztesy, F, Macedo, C, Streit, L: An exactly solvable periodic Schrödinger operator. J. Phys. A, Math. Gen. 18, 503-507 (1985)
Article Google Scholar
2.
Kong, Q, Wu, H, Zettl, A: Geometric Aspects of Sturm-Liouville Problems. Preprint
3.
Petrovsky, IG: Lectures on Partial Differential Equations, 1st edn. Interscience, New York (1954) (translated from Russian by A Shenitzer)
Google Scholar
4.
Pryce, JD: Numerical Solution of Sturm-Liouville Problems. Oxford University Press, London (1993)
Google Scholar
5.
Rotenberg, M: Studies of the quadratic Zeeman effect. I. Application of the sturmian functions. Adv. At. Mol. Phys. 6 (1970)
6.
Sherstyuk, AI: Problems of Theoretical Physics, vol. 3. Leningrad. Gos. Univ., Leningrad (1988)
Google Scholar
7.
Huy, HP, Sanchez-Palencia, E: Phénomènes des transmission à travers des couches minces de conductivité élevée. J. Math. Anal. Appl. 47, 284-309 (1974)
MathSciNet Article MATH Google Scholar
8.
Cannon, JR, Meyer, GH: On a diffusion in a fractured medium. SIAM J. Appl. Math. 3, 434-448 (1971)
Article MATH Google Scholar
9.
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)
MathSciNet Article MATH Google Scholar
10.
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)
MathSciNet Article MATH Google Scholar
11.
Allahverdiev, BP, Ugurlu, E: On dilation, scattering and spectral theory for two-interval singular differential operators. Bull. Math. Soc. Sci. Math. Roum. 58(106)(4), 383-392 (2015)
MathSciNet Google Scholar
12.
Aydemir, K: Boundary value problems with eigenvalue depending boundary and transmission conditions. Bound. Value Probl. 2014, 131 (2014)
MathSciNet Article MATH Google Scholar
13.
Aydemir, K, Mukhtarov, OS: Second-order differential operators with interior singularity. Adv. Differ. Equ. 2015, 26 (2015). doi:10.1186/s13662-015-0360-7
MathSciNet Article Google Scholar
14.
Bairamov, E, Sertbaş, M, Ismailov, ZI: Self-adjoint extensions of singular third-order differential operator and applications. AIP Conf. Proc. 1611(1), 177-182 (2014)
Article Google Scholar
15.
Hıra, F, Altınışık, N: Sampling theorems for Sturm-Liouville problem with moving discontinuity points. Bound. Value Probl. 2015, 237 (2015)
Article MATH Google Scholar
16.
Kadakal, M, Mukhtarov, OS: Sturm-Liouville problems with discontinuities at two points. Comput. Math. Appl. 54, 1367-1379 (2007)
MathSciNet Article MATH Google Scholar
17.
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)
MathSciNet Google Scholar
18.
Kandemir, M, Mukhtarov, OS, Yakubov, S: Irregular boundary value problems with discontinuous coefficients and the eigenvalue parameter. Mediterr. J. Math. 6, 317-338 (2009)
MathSciNet Article MATH Google Scholar
19.
Mukhtarov, OS, Olǧar, H, Aydemir, K: Resolvent operator and spectrum of new type boundary value problems. Filomat 29(7), 1671-1680 (2015)
MathSciNet Article Google Scholar
20.
Mukhtarov, OS, Kandemir, M: Asymptotic behavior of eigenvalues for the discontinuous boundary-value problem with functional-transmission conditions. Acta Math. Sci. Ser. B 22(3), 335-345 (2002)
MathSciNet MATH Google Scholar
21.
Ugurlu, E, Allahverdiev, BP: On selfadjoint dilation of the dissipative extension of a direct sum differential operator. Banach J. Math. Anal. 7(2), 194-207 (2013)
MathSciNet Article MATH Google Scholar
22.
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)
MathSciNet Article MATH Google Scholar
23.
Mamedov, KR, Cetinkaya, FA: Inverse problem for a class of Sturm-Liouville operator with spectral parameter in boundary condition. Bound. Value Probl. 2013, 183 (2013)
MathSciNet Article MATH Google Scholar
24.
Akdoğan, Z, Demirci, M, Mukhtarov, OS: Green function of discontinuous boundary-value problem with transmission conditions. Math. Methods Appl. Sci. 30, 1719-1738 (2007)
MathSciNet Article MATH Google Scholar
25.
Courant, R, Hilbert, D: Methods of Mathematical Physics, vol. 1. Interscience, New York (1953)
Google Scholar
26.
Indritz, J: Methods in Analysis. Macmillan Co., New York (1963)
Google Scholar

Download references

Acknowledgements

The authors would like to thank the referees for their valuable comments.

Author information

Affiliations

Faculty of Education, Giresun University, Giresun, 28100, Turkey
Kadriye Aydemir
Department of Mathematics, Faculty of Arts and Science, Gaziosmanpaşa University, Tokat, 60250, Turkey
Oktay S Mukhtarov
Institute of Mathematics and Mechanics, Azerbaijan National Academy of Sciences, Baku, Azerbaijan
Oktay S Mukhtarov

Authors

Kadriye Aydemir
View author publications
You can also search for this author in PubMed Google Scholar
Oktay S Mukhtarov
View author publications
You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kadriye Aydemir.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

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.

Reprints and Permissions

About this article

Cite this article

Aydemir, K., Mukhtarov, O.S. Qualitative analysis of eigenvalues and eigenfunctions of one boundary value-transmission problem. Bound Value Probl 2016, 82 (2016). https://doi.org/10.1186/s13661-016-0589-4

Download citation

Received: 01 January 2016
Accepted: 08 April 2016
Published: 15 April 2016
DOI: https://doi.org/10.1186/s13661-016-0589-4

Keywords

Sturm-Liouville problems
boundary-transmission conditions
eigenvalues
Fourier series of eigenfunctions
minimax principle