Skip to main content

Theory and Modern Applications

The Parseval identity for q-Sturm–Liouville problems with transmission conditions

Abstract

In the present study, we investigate the existence of spectral functions and obtain the Parseval identity and expansion formula in eigenfunctions for the singular q-Sturm–Liouville problem with transmission conditions.

1 Introduction and background

The development of applications of the q-calculus has been of great interest recently. It has an especially important role in the different areas of mathematics, such as orthogonal polynomials, mathematical physics, the calculus of variations, statistical mechanics, theory of various operators of convergence, quantum theory. More detailed concepts of the q-calculus can be obtained from books [1, 2]. For a general introduction to the q-calculus, very useful studies have been done in [39].

It is well known that eigenfunction expansion problems are important for solving various problems, and there are lots of techniques for obtained (see [3, 10, 11]). On the other hand, many researchers have focused on certain generalizations of Sturm–Liouville problems. In particular, q-Sturm–Liouville eigenvalue problems were studied and a self-adjoint q-difference operator was formulated in a Hilbert space in [7, 12].

In [13] authors also studied the eigenfunction expansion for a certain q- Sturm–Liouville problem by using Titchmarch’s technique and defined some concepts for deriving eigenfunction expansion problems.

Sturm–Liouville problems with transmission conditions have been investigated by many authors [5, 14, 15] who gave asymptotic formulas for eigenvalues and the corresponding eigenfunction for these problems.

The existence of a spectral function for singular q-Sturm–Liouville operators on semi-unbounded interval was proved in [4], and also they obtained the Parseval identity and on the expansion formula.

In this study, we consider a q-Sturm–Liouville expression as follows:

$$ \ell ( y ) :=-\frac{1}{q}D_{q^{-1}}D_{q}y (\zeta )+u ( \zeta ) y ( \zeta ) ,\quad \zeta \in J:= [ -1,0 ) \cup ( 0,1]. $$

Here, we denote \(J_{1}:= [ -1,0 ) \), \(J_{2}:= ( 0,1 ] \), and so \(J:=J_{1}\cup J_{2} \). Suppose that the points −1, 1 and 0 are q-regular for the differential expression . u is a real, Lebesque measurable function in J and \(u\in L_{q}^{1} ( J_{k} )\), \(k=1,2 \). Recall that 0 is a q-regular point of the function u which belongs to \(L_{q}^{1} [ 0-\varepsilon ,0+\varepsilon ] \) for some \(\varepsilon >0 \).

The rest of the study is arranged as follows. In Sect. 2, we give some preliminaries for q-calculus. In Sect. 3, we investigate the existence of a spectral function. The Parseval identity and an expansion formula with eigenfunctions for a singular q-Sturm–Liouville problem with transmission conditions are obtained.

2 Preliminaries

We begin with some preliminary facts and notations for quantum calculus (see [2, 6]). Our main tools are q-derivative and q-integral. Let q be any fixed constant with \(q\in (0,1) \). We say that a set \(A \subset \mathbb{R} \) is q-geometric if, for every \(a\in A \), \(qa\in A\). Also a q-difference equation is an equation which includes q-derivatives of a function defined on a q-geometric set A. The q-difference operator is denoted by \(D_{q}\), the Jackson q-derivative of a function \(\varphi : A\rightarrow \mathbb{C}\) is defined by

$$ D_{q}\varphi (a)=\frac{\varphi (qa)-\varphi (a)}{qa-a}, \quad \forall a\in A \backslash \{0\}. $$

We say that the point 0 in A is the Jackson q-derivative at zero if the limit

$$ D_{q}\varphi (0)=\lim_{n\rightarrow \infty } \frac{\varphi (q^{n}a)-\varphi (0)}{q^{n}a} \quad (a\in A) $$

exists and belongs to \(\mathbb{C} \). Here, note that the value of the limit is independent of a (see [8]). The Jackson q-integral is given by

$$ \int _{0}^{a}\varphi (\zeta )\,d_{q} \zeta =a(1-q)\sum_{k=0}^{\infty }q^{k} \varphi \bigl( q^{k}a \bigr) \quad ( a\in A ), $$

where the series is convergent in [9]. Additionally, the following result is satisfied:

$$ \int _{a}^{b}\varphi ( \zeta )\,d_{q} \zeta = \int _{0}^{b} \varphi (\zeta )\,d_{q} \zeta - \int _{0}^{a}\varphi ( \zeta )\,d_{q} \zeta ,\quad \forall a,b\in A. $$

The Jackson q-integration of φ on \([0,\infty ) \) is defined in [16] by the formula

$$ \int _{0}^{\infty }\varphi (\zeta )\,d_{q} \zeta =\sum_{n=-\infty }^{ \infty }q^{n} \varphi \bigl(q^{n}a\bigr) , \quad (a\in A) $$

provided that some converges absolutely. A function φ is q-regular at the point zero if the limit

$$ \lim_{n\rightarrow \infty }\varphi \bigl(aq^{n}\bigr)=\varphi (0),\quad \bigl(a\in A \cup \lbrace 0 \rbrace \bigr) $$

exists. Throughout the study, the functions will be assumed to be q-regular at zero. If φ and ψ are q-regular at zero, then the following equality holds:

$$ \int _{0}^{a}\psi (\zeta )D_{q} \varphi (\zeta )\,d_{q} \zeta + \int _{0}^{a} \varphi (q\zeta )D_{q}\psi (\zeta )\,d_{q} \zeta =\varphi (a)\psi (a)- \varphi (0)\psi (0). $$

The separable Hilbert space is \(L_{q}^{2}(0,\infty ):= \lbrace \varphi \mid \int _{0}^{\infty } \vert \varphi (\zeta ) \vert ^{2}\,d_{q} \zeta <\infty , \varphi :(0, \infty )\rightarrow \mathbb{C} \rbrace \) with the norm

$$ \lVert \varphi \rVert := \biggl( \int _{0}^{\infty }\bigl\lvert \varphi ( \zeta )\bigr\rvert ^{2}\,d_{q} \zeta \biggr) ^{\frac{1}{2}}< \infty $$

and given with the inner product

$$ \langle \varphi ,\psi \rangle := \int _{0}^{\infty } \varphi (\zeta )\overline{\psi ( \zeta )} \,d_{q} \zeta , \quad \varphi , \psi \in L_{q}^{2} ( 0,\infty ) $$

(see [13]).

We call the q-Wronskian of φ, ψ on A if

$$ W_{q} [\varphi ,\psi ](a):=\varphi (a)D_{q}\psi (a) - \psi (a)D_{q}\varphi (a) $$
(2.1)

exists.

3 Main results

In this section, we begin with the q-Sturm–Liouville equations as follows:

$$ \ell (y):=-\frac{1}{q}D_{q^{-1}}D_{q}y (\zeta )+u ( \zeta ) y ( \zeta )=\lambda y,\quad \zeta \in J $$
(3.1)

with the boundary conditions

$$\begin{aligned} &y(-1)\cos \alpha + D_{q^{-1}}y(-1)\sin \alpha =0, \end{aligned}$$
(3.2)
$$\begin{aligned} &y(1)\cos \beta + D_{q^{-1}}y(1)\sin \beta =0 \end{aligned}$$
(3.3)

and the transmission conditions

$$\begin{aligned} &y ( 0+ )-\gamma _{1}y(0-)-\gamma _{2}D_{q}y(0-)=0, \end{aligned}$$
(3.4)
$$\begin{aligned} &D_{q}y ( 0+ )-\gamma _{3}y(0-)-\gamma _{4}D_{q}y(0-)=0, \end{aligned}$$
(3.5)

where λ is a complex eigenparameter, the potential function \(u\in L_{q}^{1} ( J ) \), and notice that it guarantees that \(y(0\mp ) \) and \(D_{q}y(0\mp ) \) in (3.4)–(3.5) make sense; here we assume that

$$ \gamma = \begin{vmatrix} \gamma _{1} & \gamma _{2} \\ \gamma _{3} & \gamma _{4} \end{vmatrix}>0. $$
(3.6)

Furthermore, the class \(H_{q}=L_{q}^{2}(J_{1})\oplus L_{q}^{2}(J_{2}) \) is introduced as a Hilbert space with the inner product

$$ \langle \varphi ,\psi \rangle _{H_{q}} := \int _{-1} ^{0} \varphi _{1} \overline{\psi _{1}}\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{1} \varphi _{2} \overline{\psi _{2}}\,d_{q} \zeta , $$

where

$$ \varphi (\zeta )= \textstyle\begin{cases} \varphi _{1}(\zeta ), & \zeta \in J_{1}, \\ \varphi _{2}(\zeta , & \zeta \in J_{2}, \end{cases}\displaystyle \qquad \psi (\zeta )= \textstyle\begin{cases} \psi _{1}(\zeta ), & \zeta \in J_{1}, \\ \psi _{2}(\zeta ), &\zeta \in J_{2}. \end{cases} $$

It can be easily obtained by direct manipulation from [17], (p.217). A compact resolvent of the regular self-adjoint boundary value problem (3.1)–(3.3), (3.4)–(3.5) with transmission was proved by authors in [18, 19], and they also showed that it has a completely discrete spectrum.

Let \(\lambda _{m;1}\), \(( m\in N )\) denote the eigenvalues of this problem and by

$$\begin{aligned}& \phi _{m;1}(\zeta )= \textstyle\begin{cases} \phi ^{(1)}_{m;1}(\zeta ), & \zeta \in J_{1}, \\ \phi ^{(2)}_{m;1}(\zeta ), & \zeta \in J_{2}, \end{cases}\displaystyle \\& \phi _{m;1}(\zeta ):=\phi (\zeta ,\lambda _{m;1}) \end{aligned}$$

the corresponding real-valued eigenfunctions which satisfy conditions (3.2)–(3.5).

If \(\varphi \in H_{q} \) is a real-valued function with

$$ \varphi (\zeta )= \textstyle\begin{cases} \varphi _{1}(\zeta ), & \zeta \in J_{1}, \\ \varphi _{2}(\zeta ), & \zeta \in J_{2}, \end{cases}$$

then

$$\begin{aligned} \Vert \varphi \Vert _{H_{q}}^{2}&= \int _{-1}^{0} \bigl( \varphi _{1}( \zeta ) \bigr) ^{2}\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{1} \bigl(\varphi _{2}( \zeta ) \bigr) ^{2}\,d_{q} \zeta \\ &=\sum_{m=1}^{\infty } \frac{1}{\alpha _{m;1}^{2}} \biggl[ \int _{-1}^{0} \varphi _{1}(\zeta ) \phi _{m;1}^{(1)}(\zeta )\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{1}\varphi _{2}(\zeta ) \phi _{m;1}^{(2)}( \zeta )\,d_{q} \zeta \biggr]^{2}, \end{aligned}$$
(3.7)

where

$$ \alpha _{m;1}^{2}= \int _{-1}^{0} \bigl( \phi _{m;1}^{(1)} \bigr) ^{2}\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{1} \bigl( \phi _{m;1}^{(2)} \bigr) ^{2}\,d_{q} \zeta $$

is obtained. Here equality (3.7) is called the Parseval identity (see [5]).

Now we give a monotone increasing step function on \(\mathbb{R} \):

$$ \sigma _{1}(\lambda )= \textstyle\begin{cases} -\sum_{\lambda < \lambda _{m;1}< 0}\frac{1}{\alpha _{m;1}^{2}} & \text{for } \lambda < 0, \\ \sum_{0\leqslant \lambda _{m;1}< \lambda }\frac{1}{\alpha _{m;1}^{2}} & \text{for }\lambda \geqslant 0. \end{cases} $$
(3.8)

Thus, we can write (3.7) as

$$ \int _{-1}^{0} \bigl(\varphi _{1}( \zeta ) \bigr)^{2}\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{1} \bigl(\varphi _{2}( \zeta ) \bigr) ^{2}\,d_{q} \zeta = \int _{-\infty }^{+\infty }\Phi ^{2}(\lambda )\,d \sigma _{1}( \lambda ), $$
(3.9)

where

$$ \Phi (\lambda )= \int _{-1}^{0}\varphi _{1}(\zeta ) \phi _{m;1}^{(1)}( \zeta )\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{1}\varphi _{2}(\zeta ) \phi _{m;1}^{(2)}(\zeta )\,d_{q} \zeta . $$

We will obtain the Parseval identity for (3.1)–(3.5) from (3.9) by letting \(1\rightarrow \infty \).

The function φ is said to be of bounded variation on the interval \([ a, b ] \) if and only if there exists a positive constant M such that

$$ \sum_{k=1}^{n} \bigl\vert \varphi ( \zeta _{k})-\varphi (\zeta _{k-1}) \bigr\vert \leqslant M $$

for all finite partitions \(\mathbb{P}= \lbrace \zeta _{0}, \zeta _{1},\ldots,\zeta _{n} \rbrace \) of \([ a,b ]\).

If \(\varphi : [ a,b ]\rightarrow \mathbb{R} \) is of bounded variation on \([ a,b ] \), then the total variation of φ on \([ a,b ] \) is defined to be

$$ V_{a}^{b}(\varphi ):=\sup \sum _{k=1}^{n} \bigl\vert \varphi (\zeta _{k})- \varphi (\zeta _{k-1}) \bigr\vert , $$

where the supremum is taken over all partitions of \([a,b ] \) (see [5]).

Lemma 3.1

For arbitrary M, the formula

$$ V_{-M}^{M}\bigl(\sigma _{1}(\lambda )\bigr)=\sum_{-M< \lambda _{m;1}< M} \frac{1}{\alpha _{m;1}^{2}}=\sigma _{1}(M)-\sigma _{1}(-M)< \Upsilon $$
(3.10)

holds for a positive constant \(\Upsilon =\Upsilon (M)\).

Proof

Assume first that \(\sin \alpha \neq 0 \). Since \(\phi (\zeta ,\lambda ) \) is continuous on the domain \([-1,0 ]\) x \([-M, M ] \) with the condition \(\phi (-1,\lambda )=\sin \alpha \), there exists a positive number k such that

$$ \biggl( \frac{1}{k} \int _{-1}^{k} \phi _{m;1}^{(1)}( \zeta ,\lambda )\,d_{q} \zeta \biggr)^{2}> \frac{\sin ^{2}\alpha }{2}. $$
(3.11)

Let us define

$$ \varphi _{k}(\zeta ):= \textstyle\begin{cases} \frac{1}{k} ,& -1\leqslant \zeta < k, \\ 0 ,& \zeta \geqslant k. \end{cases}$$

From (3.9) and (3.11), we get

$$\begin{aligned} \int _{-1}^{k} \varphi _{k}^{2}( \zeta )\,d_{q} \zeta &=\frac{k+1}{k^{2}}\\ &= \int _{-\infty }^{\infty } \biggl( \frac{1}{k} \int _{-1}^{k}\phi _{m;1}^{(1)}( \zeta ,\lambda )\,d_{q} \zeta \biggr) ^{2}\,d\sigma _{1}(\lambda ) \\ &\geqslant \int _{-M}^{M} \biggl( \frac{1}{k} \int _{-1}^{k}\phi _{m;1}^{(1)}( \zeta ,\lambda )\,d_{q} \zeta \biggr) ^{2}\,d\sigma _{1}(\lambda ) \\ &>\frac{1}{2}\sin ^{2}\alpha \int _{-M}^{M}\,d\sigma _{1}(\lambda ) \\ &=\frac{1}{2}\sin ^{2}\alpha \bigl[ \sigma _{1}(M)-\sigma _{1}(-M) \bigr], \end{aligned}$$

so it satisfies inequality (3.10).

If \(\sin \alpha =0 \), we give a formula for the function \(\varphi _{k}(\zeta ) \) by

$$ \varphi _{k}(\zeta ):= \textstyle\begin{cases} \frac{1}{k^{2}} ,& -1\leqslant \zeta < k, \\ 0 ,& \zeta \geqslant k. \end{cases} $$

Thus, we obtain (3.10) by applying the Parseval identity. □

Let us now mention the following well-known Helly’s first and second theorems in [20].

Firstly, recall Helly’s first theorem that given a uniformly bounded sequence \(\lbrace \psi _{n} \rbrace \) of monotone increasing real functions on \([a,b ] \), there exists a subsequence \(\lbrace \psi _{n_{k}} \rbrace \) of \(\lbrace \psi _{n} \rbrace \) converging to a monotone increasing real function ψ on \([a,b ] \).

Secondly, given a sequence \(\lbrace \psi _{n} \rbrace \) of monotone increasing real functions on \([a,b ] \), converging to a monotone increasing real function ψ, for every continuous function φ on \([a,b ] \), we have

$$ \lim_{n\rightarrow \infty } \int _{a}^{b}\varphi (\lambda )\,d\psi _{n}( \lambda )= \int _{a}^{b}\varphi (\lambda )\,d\psi (\lambda ). $$

We introduce the Hilbert space \(H:=L_{q}^{2}(J_{1})\oplus L_{q}^{2}(J_{3})\), (\(J_{1}:=[-1,0), J_{3}:=(0, \infty ) \)) with the inner product

$$ \langle \varphi ,\psi \rangle _{H}:= \int _{-1}^{0} \varphi _{1}\overline{ \psi _{1}}\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{ \infty }\varphi _{2}\overline{ \psi _{2}}\,d_{q} \zeta , $$

where

$$ \varphi (\zeta )= \textstyle\begin{cases} \varphi _{1}(\zeta ), & \zeta \in J_{1}, \\ \varphi _{2}(\zeta ), & \zeta \in J_{3}, \end{cases}\displaystyle \qquad \psi (t)= \textstyle\begin{cases} \psi _{1}(\zeta ), & \zeta \in J_{1}, \\ \psi _{2}(\zeta ), & \zeta \in J_{3}. \end{cases} $$

We assume that σ is any nondecreasing function for \(-\infty <\lambda <\infty \). Let us define all measurable real functions of Hilbert space by \(L_{\sigma }^{2}(\mathbb{R}) \) which satisfies

$$ \int _{-\infty }^{\infty }\varphi ^{2}(\lambda )\,d\sigma (\lambda )< \infty , $$

with the inner product

$$ \langle \varphi ,\psi \rangle _{\sigma } := \int _{-\infty }^{ \infty }\varphi (\lambda )\psi (\lambda )\,d \sigma (\lambda ). $$

The fundamental result of the study is given as follows.

Theorem 3.2

The nondecreasing function \(\sigma (\lambda )\) on \(-\infty <\lambda <\infty \) for q-Sturm–Liouville problem (3.1)(3.5) satisfies the following properties:

(i) If

$$ \varphi (\zeta )= \textstyle\begin{cases} \varphi _{1}(\zeta ), & \zeta \in J_{1}, \\ \varphi _{2}(\zeta ), & \zeta \in J_{3} \end{cases} $$

is a real-valued function and φ belongs to H, then there is a function \(\Phi \in L_{\sigma }^{2}(\mathbb{R}) \) such that

$$\begin{aligned} &\lim_{n\rightarrow \infty } \int _{-\infty }^{\infty } \biggl[\Phi ( \lambda )- \int _{-1}^{0} \varphi _{1}(\zeta ) \phi _{m;1}^{(1)}( \zeta ,\lambda )\,d_{q} \zeta \\ &\quad {}-\frac{1}{\gamma } \int _{0}^{n}\varphi _{2}(\zeta ) \phi _{m;1}^{(2)}( \zeta ,\lambda )\,d_{q} \zeta \biggr]^{2}\,d\sigma (\lambda )=0 \end{aligned}$$
(3.12)

and the Parseval identity

$$ \Vert \varphi \Vert _{H}^{2}= \int _{-1}^{0} \bigl( \varphi _{1}( \zeta ) \bigr)^{2}\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{\infty } \bigl(\varphi _{2}( \zeta ) \bigr)^{2}\,d_{q} \zeta = \int _{-\infty }^{ \infty }\Phi ^{2}(\lambda )\,d \sigma (\lambda ). $$
(3.13)

(ii) The integral \(\int _{-\infty }^{\infty }\Phi (\lambda )\phi (\zeta ,\lambda )\,d \sigma (\lambda ) \) converges to φ in H; that is,

$$\begin{aligned} &\lim_{n\rightarrow \infty } \biggl[ \int _{-1}^{0} \biggl( \varphi _{1}( \zeta )- \int _{-n}^{n} \Phi (\lambda )\phi _{m;1}^{(1)}(\zeta , \lambda )\,d\sigma (\lambda ) \biggr)^{2}\,d_{q} \zeta \\ &\quad {}+\frac{1}{\gamma } \int _{0}^{\infty } \biggl( \varphi _{2}( \zeta )- \int _{-n}^{n} \Phi (\lambda )\phi _{m;1}^{(2)}(\zeta ,\lambda )\,d \sigma (\lambda ) \biggr)^{2}\,d_{q} \zeta \biggr]=0. \end{aligned}$$

It should be known that the function σ is said to be a spectral function for boundary value problem (3.1)–(3.5).

Proof

We may assume that

$$ \varphi _{\xi }(\zeta )= \textstyle\begin{cases} \varphi _{1;\xi }(\zeta ), & \zeta \in [ -1,0 ), \\ \varphi _{2;\xi }(\zeta ), & \zeta \in ( 0,\xi ] \end{cases} $$

satisfies three conditions as follows:

(a) Let \(\varphi _{\xi }(\zeta ) \) be identically zero outside the set \([ -1,0 ) \cup ( 0,\xi ] \) with \(\xi <1 \).

(b) Let \(\varphi _{\xi }(\zeta ) \) and \(D_{q}\varphi _{\xi }(\zeta ) \) be q-regular functions at zero.

(c) Let \(\varphi _{\xi }(\zeta ) \) satisfy boundary conditions (3.1)–(3.5).

Applying Parseval identity (3.9) to the function \(\varphi _{\xi }(\zeta ) \), we obtain

$$ \int _{-1}^{0} \bigl( \varphi _{1;\xi }( \zeta ) \bigr)^{2}\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{\xi } \bigl( \varphi _{2;\xi }( \zeta ) \bigr)^{2} \,d_{q} \zeta = \int _{-\infty }^{\infty }\Phi _{\xi }^{2}( \lambda )\,d\sigma ( \lambda ), $$
(3.14)

where

$$ \Phi _{\xi }(\lambda )= \int _{-1}^{0}\varphi _{1;\xi }(\zeta ) \phi _{m;1}^{(1)}( \zeta ,\lambda )\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{\xi }\varphi _{2; \xi }(\zeta ) \phi _{m;1}^{(2)}(\zeta ,\lambda )\,d_{q} \zeta . $$
(3.15)

Because \(\phi ( \zeta ,\lambda ) \) satisfies (3.1), it is clear that

$$ \phi (\zeta ,\lambda )=\frac{1}{\lambda } \biggl[ -\frac{1}{q}D_{q^{-1}}D_{q} \phi (\zeta ,\lambda )+u(\zeta )\phi (\zeta ,\lambda ) \biggr]. $$

From (3.14) we get

$$\begin{aligned} \Phi _{\xi }(\lambda )={}&\frac{1}{\lambda } \int _{-1}^{0}\varphi _{1; \xi }(\zeta ) \biggl[-\frac{1}{q}D_{q^{-1}}D_{q}\phi _{m;1}^{(1)}( \zeta ,\lambda )+u(\zeta )\phi _{m;1}^{(1)}(\zeta ,\lambda ) \biggr]\,d_{q} \zeta \\ &{}+\frac{1}{\gamma }\frac{1}{\lambda } \int _{0}^{\xi }\varphi _{2;\xi }( \zeta ) \biggl[-\frac{1}{q}D_{q^{-1}}D_{q}\phi _{m;1}^{(2)}(\zeta , \lambda )+u(\zeta )\phi _{m;1}^{(2)}(\zeta ,\lambda ) \biggr]\,d_{q} \zeta . \end{aligned}$$

Since \(\varphi _{\xi }(\zeta ) \) is identically zero in a neighborhood of the point 1 and both \(\varphi _{\xi }(\zeta ) \) and \(\phi (\zeta ,\lambda ) \) satisfy boundary conditions (3.1)–(3.3), taking by q-integration by parts, we obtain

$$\begin{aligned} \Phi _{\xi }(\lambda )={}&\frac{1}{\lambda } \int _{-1}^{0}\phi _{m;1}^{(1)}( \zeta ,\lambda ) \biggl[-\frac{1}{q}D_{q^{-1}}D_{q} \varphi _{1;\xi }( \zeta )+u(\zeta )\varphi _{1;\xi }(\zeta ) \biggr]\,d_{q} \zeta \\ &{}+\frac{1}{\gamma }\frac{1}{\lambda } \int _{0}^{1}\phi _{m;1}^{(2)}( \zeta ,\lambda ) \biggl[-\frac{1}{q}D_{q^{-1}}D_{q} \varphi _{2;\xi }( \zeta )+u(\zeta )\varphi _{2;\xi }(\zeta ) \biggr]\,d_{q} \zeta . \end{aligned}$$

For any finite \(M>0 \), from (3.9) we have

$$\begin{aligned} & \int _{ \vert \lambda \vert >M} \Phi ^{2}_{\xi }(\lambda )\,d \sigma _{1}( \lambda ) \\ &\quad \leqslant \frac{1}{M^{2}} \int _{ \vert \lambda \vert >M } \biggl\lbrace \int _{-1}^{0}\phi _{m;1}^{(1)}( \zeta ,\lambda ) \biggl[- \frac{1}{q}D_{q^{-1}}D_{q} \varphi _{1;\xi }(\zeta )+u(\zeta )\varphi _{1; \xi }(\zeta ) \biggr]\,d_{q} \zeta \\ &\qquad {}+\frac{1}{\gamma } \int _{0}^{1}\phi _{m;1}^{(2)}( \zeta , \lambda ) \biggl[-\frac{1}{q}D_{q^{-1}}D_{q} \varphi _{2;\xi }(\zeta )+u( \zeta )\varphi _{2;\xi }(\zeta ) \biggr]\,d_{q} \zeta \biggr\rbrace ^{2}\,d \sigma _{1}(\lambda ) \\ &\quad \leqslant \frac{1}{M^{2}} \int _{-\infty }^{+\infty } \biggl\lbrace \int _{-1}^{0}\phi _{m;1}^{(1)}( \zeta ,\lambda ) \biggl[-\frac{1}{q}D_{q^{-1}}D_{q} \varphi _{1;\xi }(\zeta )+u(\zeta )\varphi _{1;\xi }(\zeta ) \biggr]\,d_{q} \zeta \\ &\qquad {}+\frac{1}{\gamma } \int _{0}^{1}\phi _{m;1}^{(2)}( \zeta , \lambda ) \biggl[-\frac{1}{q}D_{q^{-1}}D_{q} \varphi _{2;\xi }(\zeta )+u( \zeta )\varphi _{2;\xi }(\zeta ) \biggr]\,d_{q} \zeta \biggr\rbrace ^{2}\,d \sigma _{1}(\lambda ) \\ &\quad =\frac{1}{M^{2}} \int _{-1}^{0} \biggl[-\frac{1}{q}D_{q^{-1}}D_{q} \varphi _{1;\xi }(\zeta )+u(\zeta )\varphi _{1;\xi }(\zeta ) \biggr]^{2}\,d_{q} \zeta \\ &\qquad {}+\frac{1}{M^{2}}\frac{1}{\gamma } \int _{0}^{\xi } \biggl[- \frac{1}{q}D_{q^{-1}}D_{q} \varphi _{2;\xi }(\zeta )+u(\zeta )\varphi _{2; \xi }(\zeta ) \biggr]^{2}\,d_{q} \zeta . \end{aligned}$$

From (3.14), we obtain that

$$\begin{aligned} & \biggl\vert \int _{-1}^{0} \bigl( \varphi _{1;\xi }( \zeta ) \bigr)^{2}\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{\xi } \bigl( \varphi _{2;\xi }( \zeta ) \bigr)^{2}\,d_{q} \zeta - \int _{-M}^{M}\Phi _{\xi }^{2}( \lambda )\,d \sigma _{1}(\lambda ) \biggr\vert \\ &\quad < \frac{1}{M^{2}} \int _{-1}^{0} \biggl[-\frac{1}{q}D_{q^{-1}}D_{q} \varphi _{1;\xi }(\zeta )+u(\zeta )\varphi _{1;\xi }(\zeta ) \biggr]^{2}\,d_{q} \zeta \\ &\qquad {}+\frac{1}{M^{2}}\frac{1}{\gamma } \int _{0}^{\xi } \biggl[-\frac{1}{q}D_{q^{-1}}D_{q} \varphi _{2;\xi }(\zeta )+u(\zeta )\varphi _{2;\xi }(\zeta ) \biggr]^{2}\,d_{q} \zeta . \end{aligned}$$
(3.16)

We know that the set \(\lbrace \sigma _{1}(\lambda ) \rbrace \) is bounded from Lemma 3.1. A sequence \(\lbrace \psi _{k} \rbrace \) \((\psi _{k}\rightarrow \infty )\) such that the function \(\sigma _{1;\psi _{k}}(\lambda ) \) converges to a monotone function \(\sigma (\lambda ) \) can be found from Helly’s first and second theorems. By taking limit with respect to \(\lbrace \psi _{k} \rbrace \) in (3.16), we get

$$\begin{aligned} & \biggl\vert \int _{-1}^{0} \bigl( \varphi _{1;\xi }( \zeta ) \bigr) ^{2}\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{\xi } \bigl( \varphi _{2;\xi }( \zeta ) \bigr) ^{2}\,d_{q} \zeta - \int _{-M}^{M}\Phi _{\xi }^{2}( \lambda )\,d\sigma (\lambda ) \biggr\vert \\ &\quad < \frac{1}{M^{2}} \int _{-1}^{0} \biggl[-\frac{1}{q}D_{q^{-1}} \varphi _{1;\xi }(\zeta )+u(\zeta )\varphi _{1;\xi }(\zeta ) \biggr]^{2}\,d_{q} \zeta \\ &\qquad {}+\frac{1}{M^{2}}\frac{1}{\gamma } \int _{0}^{\xi } \biggl[-\frac{1}{q}D_{q^{-1}} \varphi _{2;\xi }(\zeta )+u(\zeta )\varphi _{2;\xi }(\zeta ) \biggr]^{2}\,d_{q} \zeta . \end{aligned}$$

Therefore, letting \(M\rightarrow \infty \), we get

$$ \int _{-1}^{0} \bigl( \varphi _{1;\xi }( \zeta ) \bigr) ^{2}\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{\xi } \bigl( \varphi _{2;\xi }( \zeta ) \bigr) ^{2}\,d_{q} \zeta = \int _{-\infty }^{+\infty }\Phi _{\xi }^{2}( \lambda )\,d\sigma (\lambda ). $$

Let φ be any real function on H. It is known that there is a sequence of functions \(\lbrace \varphi _{\xi }(\zeta ) \rbrace \) satisfying conditions (3.1)–(3.5) and such that

$$ \lim_{\xi \rightarrow \infty } \biggl[ \int _{-1}^{0} \bigl( \varphi _{1}( \zeta )-\varphi _{1;\xi }(\zeta ) \bigr) ^{2}\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{\xi } \bigl( \varphi _{2}( \zeta )-\varphi _{2; \xi }(\zeta ) \bigr) ^{2}\,d_{q} \zeta \biggr]=0. $$

Let

$$ \Phi _{\xi }(\lambda )= \int _{-1}^{\infty }\varphi _{1;\xi }(\zeta ) \phi _{m;1}^{(1)}(\zeta ,\lambda )\,d_{q} \zeta + \frac{1}{\gamma } \int _{-1}^{ \infty } \varphi _{2;\xi }(\zeta ) \phi _{m;1}^{(2)}(\zeta ,\lambda )\,d_{q} \zeta . $$

Then from this we can get

$$ \int _{-1}^{0} \bigl( \varphi _{1;\xi }( \zeta ) \bigr) ^{2}\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{\infty } \bigl( \varphi _{2;\xi }( \zeta ) \bigr) ^{2}\,d_{q} \zeta = \int _{-\infty }^{+\infty }\Phi _{\xi }^{2}( \lambda )\,d\sigma (\lambda ). $$

Since

$$ \int _{-1}^{0} \bigl( \varphi _{1;\xi _{1}}( \zeta )-\varphi _{1;\xi _{2}}( \zeta ) \bigr)^{2}\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{\infty } \bigl( \varphi _{2;\xi _{1}}( \zeta )-\varphi _{2;\xi _{2}}(\zeta ) \bigr)^{2}\,d_{q} \zeta \rightarrow 0 $$

as \(\xi _{1}, \xi _{2}\rightarrow \infty \), we have

$$ \int _{-\infty }^{+\infty } \bigl( \Phi _{\xi _{1}}( \lambda )-\Phi _{\xi _{2}}( \lambda ) \bigr)^{2}\,d\sigma ( \lambda )\rightarrow 0 $$

as \(\xi _{1}, \xi _{2}\rightarrow \infty \). Accordingly there is a limit function Φ such that

$$ \int _{-1}^{0} \bigl(\varphi _{1}( \zeta ) \bigr)^{2}\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{\infty } \bigl(\varphi _{2}( \zeta ) \bigr)^{2}\,d_{q} \zeta = \int _{-\infty }^{+\infty }\Phi ^{2}(\lambda )\,d \sigma (\lambda ) $$

holds by the completeness of the space \(L_{\sigma }^{2}(\mathbb{R}) \).

Our next aim is to see that

$$ K_{\xi }(\lambda )= \int _{-1}^{0}\varphi _{1}(\zeta ) \phi _{m;1}^{(1)}( \zeta ,\lambda )\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{\xi }\varphi _{2}( \zeta ) \phi _{m;1}^{(2)}(\zeta ,\lambda )\,d_{q} \zeta $$

converges to Φ as \(\xi \rightarrow \infty \) in the space \(L_{\sigma }^{2}(\mathbb{R}) \). Let ψ be another real-valued function in H. By the same way, let \(\Psi (\lambda ) \) be defined by ψ. It is clear that for

$$\begin{aligned}& \psi (\zeta ):= \textstyle\begin{cases} \psi _{1}(\zeta ), & \zeta \in [ -1,0 )\cup [ 0, \xi ], \\ \psi _{2}(\zeta ), & \zeta \in ( \xi ,\infty ), \end{cases}\displaystyle \\& \int _{-1}^{0} \bigl( \varphi _{1}( \zeta )-\psi _{1}(\zeta ) \bigr) ^{2}\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{\infty } \bigl( \varphi _{2}( \zeta )- \psi _{2}(\zeta ) \bigr) ^{2}\,d_{q} \zeta = \int _{-\infty }^{+\infty } \bigl[\Phi (\lambda )-\Psi ( \lambda ) \bigr]^{2}\,d \sigma (\lambda ). \end{aligned}$$

Let us define

$$ \psi (\zeta )= \textstyle\begin{cases} \varphi (\zeta ), & \zeta \in [ -1,0 )\cup [ 0,\xi ], \\ 0, & \zeta \in ( \xi ,\infty ) \end{cases} $$

then

$$ \int _{-\infty }^{+\infty } \bigl[\Phi (\lambda )-K_{\xi }(\lambda ) \bigr]^{2}\,d \sigma (\lambda )= \frac{1}{\gamma } \int _{\xi }^{\infty } \bigl( \varphi _{2}( \zeta ) \bigr) ^{2}\,d_{q} \zeta \rightarrow 0, $$

as \(\xi \rightarrow \infty \), which proves that \(K_{\xi } \) converges to Φ in \(L_{\sigma }^{2}(\mathbb{R}) \) as \(\xi \rightarrow \infty \). This gives us (i).

Now let us give the proof of (ii). Assume that the real functions \(\varphi ,\psi \in H \) and \(\Phi (\lambda ) \), \(\Psi (\lambda )\) are their Fourier transforms respectively (see [10]). Then \(\Phi \mp \Psi \) are transforms of \(\varphi \mp \psi \). Consequently, by (3.13) we have

$$\begin{aligned}& \int _{-1}^{0} \bigl[ \varphi _{1}( \zeta )+\psi _{1}(\zeta ) \bigr] ^{2}\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{\infty } \bigl[ \varphi _{2}( \zeta )+ \psi _{2}(\zeta ) \bigr]^{2}\,d_{q} \zeta = \int _{-\infty }^{+\infty } \bigl[ \Phi (\lambda )+\Psi ( \lambda ) \bigr] ^{2}\,d\sigma (\lambda ), \\& \int _{-1}^{0} \bigl[ \varphi _{1}( \zeta )-\psi _{1}(\zeta ) \bigr]^{2}\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{\infty } \bigl[ \varphi _{2}( \zeta )- \psi _{2}(\zeta ) \bigr] ^{2}\,d_{q} \zeta = \int _{-\infty }^{+\infty } \bigl[ \Phi (\lambda )-\Psi ( \lambda ) \bigr] ^{2}\,d\sigma (\lambda ). \end{aligned}$$

Let us subtract the resulting two equations side by side, we have

$$ \int _{-1}^{0} \varphi _{1}(\zeta ) \psi _{1}(\zeta )\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{\infty }\varphi _{2}(\zeta ) \psi _{2}( \zeta )\,d_{q} \zeta = \int _{-\infty }^{+\infty }\Phi (\lambda )\Psi ( \lambda )\,d \sigma (\lambda ), $$
(3.17)

which may be called the generalized Parseval identity. Set

$$ \varphi ^{(j)}_{\tau }(\zeta )= \int _{-\tau }^{+\tau }\Phi (\lambda ) \phi _{m;1}^{(j)}(\zeta ,\lambda )\,d\sigma (\lambda ), \quad j=1,2, $$

where Φ is the function defined in (3.12). Let \(\psi \in H \) be a real function which equals zero outside the set \([ -1,0 ) \cup (0,\mu ] \). Thus we obtain

$$\begin{aligned} & \int _{-1}^{0}\varphi _{\tau }^{(1)}( \zeta )\psi _{1}(\zeta )\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{\mu }\varphi _{\tau }^{(2)}( \zeta ) \psi _{2}(\zeta )\,d_{q} \zeta \\ &\quad = \int _{-1}^{0} \biggl[ \int _{-\tau }^{\tau }\Phi (\lambda )\phi _{m;1}^{(1)}( \zeta ,\lambda )\,d\sigma (\lambda ) \biggr] \psi _{1}(\zeta )\,d_{q} \zeta \\ &\qquad {}+\frac{1}{\gamma } \int _{0}^{\mu } \biggl[ \int _{-\tau }^{\tau }\Phi ( \lambda )\phi _{m;1}^{(2)}(\zeta ,\lambda )\,d\sigma (\lambda ) \biggr] \psi _{2}(\zeta )\,d_{q} \zeta \\ &\quad = \int _{-\tau }^{\tau }\Phi (\lambda ) \biggl[ \int _{-1}^{0}\phi _{m;1}^{(1)}( \zeta ,\lambda )\psi _{1}(\zeta )\,d_{q} \zeta + \frac{1}{\gamma } \int _{0}^{ \mu }\phi _{m;1}^{(2)}( \zeta ,\lambda )\psi _{2}(\zeta )\,d_{q} \zeta \biggr] \,d \sigma (\lambda ) \\ &\quad = \int _{-\tau }^{\tau }\Phi (\lambda )\Psi (\lambda )\,d \sigma (\lambda ). \end{aligned}$$
(3.18)

Subtracting (3.17) and (3.18), we have

$$\begin{aligned} & \int _{-1}^{0} \bigl( \varphi _{1}( \zeta )-\varphi _{\tau }^{(1)}( \zeta ) \bigr)\psi _{1}(\zeta )\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{ \infty } \bigl( \varphi _{2}( \zeta )-\varphi _{\tau }^{(2)}(\zeta ) \bigr) \psi _{2}(\zeta )\,d_{q} \zeta \\ &\quad = \int _{ \vert \lambda \vert >\tau }\Phi (\lambda )\Psi (\lambda )\,d \sigma (\lambda ). \end{aligned}$$

Using the Cauchy–Schwarz inequality, we obtain

$$\begin{aligned} & \biggl( \int _{-1}^{0} \bigl( \varphi _{1}( \zeta )-\varphi _{\tau }^{(1)}( \zeta ) \bigr)\psi _{1}(\zeta )\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{ \infty } \bigl( \varphi _{2}( \zeta )-\varphi _{\tau }^{(2)}(\zeta ) \bigr)\psi _{2}(\zeta )\,d_{q} \zeta \biggr)^{2} \\ &\quad \leqslant \int _{ \vert \lambda \vert >\tau }\Phi ^{2}(\lambda )\,d \sigma (\lambda ) \int _{ \vert \lambda \vert >\tau }\Psi ^{2}( \lambda )\,d\sigma (\lambda ). \end{aligned}$$

If we carry out this inequality to the function

$$ \psi (\zeta )= \textstyle\begin{cases} \varphi _{\tau }(\zeta )-\varphi (\zeta ), & \zeta \in [ -1,0 )\cup ( 0,\mu ], \\ 0, & \zeta \in ( \mu ,\infty ), \end{cases} $$

we get

$$\begin{aligned} & \int _{-1}^{0} \bigl( \varphi _{1}( \zeta )-\varphi _{\tau }^{(1)}( \zeta ) \bigr)^{2}\,d_{q} \zeta +\frac{1}{\gamma } \int _{0}^{\infty } \bigl( \varphi _{2}( \zeta )-\varphi _{\tau }^{(2)}(\zeta ) \bigr)^{2} \,d_{q} \zeta \\ &\quad \leqslant \int _{ \vert \lambda \vert >\tau }\Phi ^{2}(\lambda )\,d \sigma (\lambda ). \end{aligned}$$

Since the above inequality is not dependent on μ, the result is achieved by letting \(\tau \rightarrow \infty \). □

4 Conclusion

In this study, we investigate the existence of a spectral function for the singular q-Sturm–Liouville problem with transmission conditions on a closed interval. We prove the Parseval identity with the help of the inner product in class \(H_{q}=L_{q}^{2}(J_{1})\oplus L_{q}^{2}(J_{2}) \) as Hilbert space. We also give the expansion formula in the eigenfunctions.

Availability of data and materials

Not applicable.

References

  1. Ernst, T.: The History of q-calculus and a New Method (2000) ISSN 1101-3591

  2. Kac, V., Cheung, P.: Quantum Calculus. Springer, Berlin (2002)

    Book  Google Scholar 

  3. Allahverdiev, B.P., Tuna, H.: An expansion theorem for q-Sturm-Liouville operators on the whole line. Turk. J. Math. 42(3), 1060–1071 (2018)

    MathSciNet  MATH  Google Scholar 

  4. Allahverdiev, B.P., Tuna, H.: Eigenfunction expansion in the singular case for q-Sturm-Liouville operators. Casp. J. Math. Sci. 8(2), 91–102 (2019)

    MATH  Google Scholar 

  5. Allahverdiev, B.P., Tuna, H.: Eigenfunction expansion for singular Sturm-Liouville problems with transmission conditions. Electron. J. Differ. Equ. 2019, 03 (2019)

    Article  MathSciNet  Google Scholar 

  6. Annaby, M.H., Mansour, Z.S.: q-Fractional Calculus and Equations. Lecture Notes in Mathematics, vol. 2056 (2012)

    Book  Google Scholar 

  7. Annaby, M.H., Mansour, Z.S.: Basic Sturm-Liouville problems. J. Phys. A, Math. Gen. 38, 3775–3797 (2005)

    Article  MathSciNet  Google Scholar 

  8. Jackson, F.H.: q-Difference equations. Am. J. Math. 32, 305–314 (1910)

    Article  Google Scholar 

  9. Jackson, F.H.: On q-definite integrals. Pure Appl. Math. 41, 193–203 (1910)

    MATH  Google Scholar 

  10. Levitan, B.M., Sargsjan, I.S.: Sturm-Liouville and Dirac Operators. Mathematics and its Applications. Kluwer Academic, Dordrecht (1991)

  11. Titchmarsh, E.C.: Eigenfunction Expansions Associated with Second-Order Differential Equations. Part I, 2nd edn. Clarendon Press, Oxford (1962)

    MATH  Google Scholar 

  12. Annaby, M.H., Mansour, Z.S.: Asymptotic formulae for eigenvalues and eigenfunctions of q-Sturm-Liouville problems. Math. Nachr. 284(4), 443–470 (2011)

    Article  MathSciNet  Google Scholar 

  13. Annaby, M.H., Mansour, Z.S., Soliman, I.A.: q-Titchmarsh-Weyl theory: series expansion. Nagoya Math. J. 205, 67–118 (2012)

    Article  MathSciNet  Google Scholar 

  14. Mukhtarov, O.Sh., Tunç, E.: Eigenvalue problems for Sturm Liouville equations with transmission conditions. Isr. J. Math. 2(144), 367–380 (2004)

    Article  MathSciNet  Google Scholar 

  15. Mukhtarov, O.Sh., Yakubov, S.: Problems for differential equations with transmission conditions. Appl. Anal. 81, 1033–1064 (2002)

    Article  MathSciNet  Google Scholar 

  16. Hahn, W.: Beitrage zur Theorie der Heineschen Reiben. Math. Nachr. 2, 340–379 (1949) (in German)

    Article  MathSciNet  Google Scholar 

  17. Annaby, M.H.: q-Type sampling theorems. Results Math. 44, 214–225 (2013)

    Article  MathSciNet  Google Scholar 

  18. Dehghani, I., Akbarfam, A.J.: Resolvent operator and self-adjointness of Sturm-Liouville operators with a finite number of transmission conditions. Mediterr. J. Math. 11, 447–462 (2014)

    Article  MathSciNet  Google Scholar 

  19. Wang, A., Sun, J., Hao, X., Yao, S.: Completeness of eigenfunctions of Sturm-Liouville problems with transmission conditions. Math. Appl. Anal. 16, 299–312 (2009)

    Article  MathSciNet  Google Scholar 

  20. Kolmogorov, A.N., Fomin, S.V.: Introductory Real Analysis. Dover, New York (1970)

    MATH  Google Scholar 

Download references

Acknowledgements

Not applicable.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

The author carried out the research of this paper, and she read and approved the final version of the manuscript.

Corresponding author

Correspondence to Nida Palamut Koşar.

Ethics declarations

Competing interests

The author declares that she has no competing interests.

Additional information

Abbreviations

Not applicable.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Palamut Koşar, N. The Parseval identity for q-Sturm–Liouville problems with transmission conditions. Adv Differ Equ 2021, 251 (2021). https://doi.org/10.1186/s13662-021-03408-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-021-03408-7

MSC

Keywords