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

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.


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 [3][4][5][6][7][8][9].
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 semiunbounded 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: Here, we denote J 1 := [-1, 0), J 2 := (0, 1], and so J := J 1 ∪ 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 ∈ L 1 q (J k ), k = 1, 2. Recall that 0 is a q-regular point of the function u which belongs to L 1 q [0ε, 0 + ε] for some ε > 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.

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 ∈ (0, 1). We say that a set A ⊂ R is q-geometric if, for every a ∈ A, qa ∈ 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 ϕ : A → C is defined by We say that the point 0 in A is the Jackson q-derivative at zero if the limit exists and belongs to C. Here, note that the value of the limit is independent of a (see [8]). The Jackson q-integral is given by where the series is convergent in [9]. Additionally, the following result is satisfied: The Jackson q-integration of ϕ on [0, ∞) is defined in [16] by the formula provided that some converges absolutely. A function ϕ is q-regular at the point zero if the limit 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: and given with the inner product (see [13]). We call the q-Wronskian of ϕ, ψ on A if exists.

Main results
In this section, we begin with the q-Sturm-Liouville equations as follows: with the boundary conditions and the transmission conditions where λ is a complex eigenparameter, the potential function u ∈ L 1 q (J), and notice that it guarantees that y(0∓) and D q y(0∓) in (3.4)-(3.5) make sense; here we assume that 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 λ m;1 , (m ∈ N) denote the eigenvalues of this problem and by the corresponding real-valued eigenfunctions which satisfy conditions (3.2)-(3.5).
If ϕ ∈ H q is a real-valued function with is obtained. Here equality (3.7) is called the Parseval identity (see [5]). Now we give a monotone increasing step function on R: We will obtain the Parseval identity for (3.1)-(3.5) from (3.9) by letting 1 → ∞.
where the supremum is taken over all partitions of [a, b] (see [5]). Let us define From (3.9) and (3.11), we get so it satisfies inequality (3.10).
If sin α = 0, we give a formula for the function ϕ k (ζ ) by 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].
We assume that σ is any nondecreasing function for -∞ < λ < ∞. Let us define all measurable real functions of Hilbert space by L 2 σ (R) which satisfies with the inner product The fundamental result of the study is given as follows.

is a real-valued function and ϕ belongs to H, then there is a function
and the Parseval identity It should be known that the function σ is said to be a spectral function for boundary value problem (3.1)-(3.5).
Since the above inequality is not dependent on μ, the result is achieved by letting τ → ∞.

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 2 q (J 1 ) ⊕ L 2 q (J 2 ) as Hilbert space. We also give the expansion formula in the eigenfunctions.