Abstract
In this paper, we consider two types of singular fractional Sturm-Liouville operators. One comprises the composition of left-sided Caputo and left-sided Riemann-Liouville derivatives of order \(\alpha \in(0,1)\). The other one is the composition of left-sided Riemann-Liouville and right-sided Caputo derivatives. The reality of the corresponding eigenvalues and the orthogonality of the eigenfunctions are proved. Furthermore, we formulate the fractional Laguerre Strum-Liouville problems and derive the explicit eigenfunctions as the non-polynomial functions related to Laguerre polynomials. Finally, we introduce the generalized Laguerre transform and employ it to solve the unbounded space-fractional diffusion equations.
Similar content being viewed by others
1 Introduction
The Sturm-Liouville problem (SLP) is a famous boundary value problem which is widely studied in pure and applied mathematics, physics, and other branches of science and engineering. However, many physical phenomena can be accurately described by differential equations with non-integer derivatives (for more details, see [1–3]). Consequently, researchers have become more interested in formulating the notion of a fractional Sturm-Liouville Problem (FSLP).
In [4–7], the authors defined fractional Sturm-Liouville operators (FSLOs) in different types of fractional operators. Klimek and Agrawal [4] introduced two types of FSLOs, including the composition of right-sided Caputo and left-sided Riemann-Liouville derivatives and the composition of right-sided Caputo and left-sided Riemann-Liouville derivatives. In addition, in the subsequent article [5], they presented not only eigenproperties of the FSLOs, but they also derived the explicit eigenfunctions and the corresponding eigenvalues. Concurrently, Zayernouri and Karniadakis [6] considered different FSLOs, one involving the composition of right-sided Riemann-Liouville and left-sided Caputo derivatives and the other one involving the composition of left-sided Riemann-Liouville and right-sided Caputo derivatives. In particular, they also obtained the analytical eigensolutions to the FSLPs and demonstrated the orthogonal completeness of the corresponding system of eigenfunctions. From a complementary point of view, it is known that a certain boundary value problem can be solved using a particular type of integral transform having an appropriate kernel. Recently, Ansari [8] introduced the fractional Sturm-Liouville transforms in which the kernels are the normalized eigenfunctions of the associated FSLPs on finite intervals. Bas and Metin [9] introduced the FSLO which has Coulomb potential. In [10], Bas presented the singular SLP related to the Bessel operator and investigated the properties of the eigenvalue and eigenfunctions. Also, Bas et al. [11] introduced fractional solutions of the non-homogeneous and homogeneous Bessel equation by using an N-fractional calculus operator. Zhang and Yi [12] presented eigensolutions to the time-fractional sub-diffusion equations on fractals.
In most studies, the authors considered FSLPs on a bounded domain and the corresponding FSLOs which do not include the classical Sturm-Liouville Operators (SLOs) with integer order. Rivero et al. [7] proposed new classes of FSLOs in which the classical SLOs with integer order are included. Recently, Khosravian-Arab et al. [13] introduced FSLOs comprising infinite right-sided Riemann-Liouville and left-sided Riemann-Liouville derivatives and formulated two classes of FSLPs on the half-line. Analogous to the studies of Klimek and Agrawal [4] and Zayernouri and Karniadakis [6], they derive an explicit form for the eigenfunctions as the generalized associated Laguerre functions and analyze some properties of the eigensolutions. In order to develop the spectral theory or the numerical approximation for the FSLP, a self-adjoint operator plays a crucial role. However, the FSLOs comprising infinite right-sided Riemann-Liouville and left-sided Riemann-Liouville derivatives in [13] are not self-adjoint.
In this study, we propose four types of FSLOs, which include the composition of Caputo and Riemann-Liouville derivatives and are self-adjoint. In particular, the purpose of this paper is threefold. The first purpose is to consider FSLPs on the unbounded interval \([0, \infty)\). We establish four classes of FSLPs and investigate the eigenfunctions and the eigenvalues associated to those fractional operators. Also, we show that the corresponding eigenfunctions form an orthogonal basis for the weighted Hilbert space of square-integrable functions. The second one is to analyze the approximation properties by the generalized Laguerre function. With the objective of applying the FSLPs to fractional partial differential equations, in the third part, we introduce the generalized Laguerre transform and demonstrate its basic properties. Finally, we show that the generalized Laguerre transform can be effectively used to solve the semi-infinite space-fractional heat equation.
2 Preliminary
We start with some definitions of fractional integrals and derivatives and present an auxiliary lemma.
Definition 2.1
The left-sided Riemann-Liouville fractional integral with order \(\alpha>0\) of the function f is given by
The right-sided Riemann-Liouville fractional integral with order \(\alpha>0\) of the function f is given by
Definition 2.2
For a given real number \(\alpha\in(n-1,n)\) with \(n \in\mathbb{N}\), the left- and right-sided Riemann-Liouville fractional derivatives with order \(\alpha>0\) of the function f are given by
where \(D^{n} = \frac{d^{n}}{dx^{n}}\).
Analogously, by commuting the derivative and fractional integral operators in (3) and (4), we define the left- and right-sided Caputo fractional derivatives in the following.
Definition 2.3
For a given real number \(\alpha\in(n-1,n)\) with \(n \in\mathbb{N}\), the left- and right-sided Caputo derivatives with order \(\alpha>0\) of the function f are given by
Definition 2.4
The infinite right-sided Riemann-Liouville fractional integral of order \(\alpha> 0\) of the function f on the half-line is defined by
Definition 2.5
Let \(\alpha\in(n-1,n)\) with \(n \in\mathbb{N}\). Then the infinite left-sided Riemann-Liouville and Caputo fractional derivatives of order α of the function f on the half-line are defined by
We have the following relationship between the Riemann-Liouville fractional derivative and the Caputo fractional derivative, which will be used later:
for \(x>0\) and \(\alpha\in(n-1, n)\).
The following lemma exhibits the equations which are similar to the equations of integration by parts.
Lemma 2.6
For \(\alpha\in(0,1)\), the operators \({}^{R}_{x}\! D^{\alpha}_{\infty}\), \({}^{C}_{0}\! D^{\alpha}_{x}\), \({}^{C}_{x}\! D^{\alpha}_{\infty}\), and \({}^{R}_{0}\! D^{\alpha}_{x}\) satisfy the following integration by parts equations:
Proof
By definition,
Using the integration by parts equation gives
By reversing the order of integration, we get
which proves (11).
Equality (12) can be proved similarly. Again, by definition,
Applying the integration by parts equation and reversing the order of integration yields
□
3 Singular fractional Sturm-Liouville problems
In this section, we introduce four types of non-local differential operators comprising the μth-order Caputo fractional derivative and the μth-order Riemann-Liouville fractional derivatives for \(\mu\in (0, 1)\). \(\mathbf{L}_{i}^{\mu}: \mathcal{D}_{i} \to\mathcal{D}_{i}\) is defined by
where \(p_{i}\), \(\omega_{i}^{(\mu)}\), \(i=1,\ldots,4\) are real valued continuous functions on \([0, \infty) \), and
In this study, we consider four classes of singular fractional SLPs (SFSLPs):
In the following theorem, we present the self-adjointness of FSLOs defined in (13), (14), (15), and (16).
Theorem 3.1
The FSLOs \(\mathbf{L}_{i}^{\mu}\) defined in (13), (14), (15), and (16) are self-adjoint on \(\mathcal {D}_{i}\), \(i=1,\ldots,4\).
Proof
First, let f and g be arbitrary real valued functions satisfying boundary conditions (18). Then we have
Using the integration by parts (12) and applying the boundary conditions (18), we get
Second, let f and g be arbitrary real valued functions satisfying boundary conditions (20). Then we have
Using the integration by parts (11) and applying the boundary conditions (20), we get
Third, let f and g be arbitrary real valued functions satisfying boundary conditions (22). Then we have
Using the integration by parts (11) and applying the boundary conditions (22), we get
Finally, let f and g be arbitrary real valued functions satisfying boundary conditions (24). Then we have
Using the integration by parts (12) and applying the boundary conditions (24), we get
□
Theorem 3.2
The eigenvalues of SFSLP1 (17)-(18) are real and the corresponding eigenfunctions of the distinct eigenvalues of SFSLP1 (17)-(18) are orthogonal with respect to the weight function \(\omega_{\mu}^{(1)}\).
Proof
In the first part, we prove that the eigenvalues of SFSLP1 (17)-(18) are real-valued. Assume that an eigenfunction \(f (x)\) and its complex conjugate \(\bar{f}(x)\) correspond to eigenvalue λ and its complex conjugate eigenvalue λ̅, respectively. Then
subject to the boundary conditions
and
subject to the boundary conditions
By multiplying (25) by f̄ and (27) by f and then subtracting both equations, we obtain
Integrating over \([0,\infty)\) and using the integration by parts equation (12), we get
Using the boundary conditions (26) and (28), we have
Since \(\omega^{(1)}_{\mu}\) and the eigenfunction f are non-zero, we conclude that \(\lambda= \overline{\lambda}\).
Next, we prove the orthogonality of two eigenfunctions corresponding to distinct eigenvalues. Suppose \(\lambda_{1}\) and \(\lambda_{2}\) are distinct eigenvalues of SFSLP1 (17)-(18) and the corresponding eigenfunctions are \(f_{1}\) and \(f_{2}\), respectively. Similar to the first part, we write equation (17) for functions \(f_{1}\) and \(f_{2}\), multiply the equation for \(f_{1}\) by \(f_{2}\) and vice versa, and subtract one equation from another to obtain
Integrating the above equation in \([0, \infty)\) and applying the boundary conditions (18) yields
Since \(\lambda_{1} \ne\lambda_{2}\), the orthogonality is proved. □
We further study the eigenproperties of SFSLP2-SFSLP4 in the following theorem. The proof is straightforward and similar to Theorem 3.2 and thus omitted.
Theorem 3.3
The eigenvalues of SFSLP2-SFSLP4 are real and the corresponding eigenfunctions of the distinct eigenvalues of SFSLP2-SFSLP4 are orthogonal with respect to the weight function \(\omega^{(i)}_{\mu}\), \(i=2,3,4\).
4 The fractional Laguerre equation
In this section, we consider the special singular fractional Sturm-Liouville equation, show the discreteness of the corresponding eigenvalues, and we find the explicit eigenfunctions. Before that, we recall the Laguerre equation, Laguerre polynomials, and some useful properties.
For \(\alpha< 1\), the equation
is known as the Laguerre equation, which can be converted to a singular Sturm-Liouville form as follows:
In particular, the Laguerre polynomials, \(\mathcal{L}_{n}^{(\alpha)}(x)\), defined by
are eigenfunctions of the Laguerre equation (29) and the corresponding eigenvalues are \(\lambda_{n}= -\lambda= -n\).
A useful representation of the Laguerre polynomials is the following:
where \({}_{1}F_{1}(-n,\alpha+1; x)=\sum _{k=0}^{n} (-1)^{k} \frac {n(n+1)\cdots(n+k-1)}{(\alpha+1)(\alpha+2)\cdots(\alpha+k+1)} \frac {x^{k}}{k!}\) is the confluent hypergeometric function. The Laguerre polynomials \(\mathcal{L}_{n}^{(\alpha)} (x) \) are orthogonal with respect to the weight function \(\omega_{\alpha}=x^{\alpha}e^{-x}\). We have
In addition, the generating function for the Laguerre polynomials is
In the following, we prove several equations of fractional integrals and derivatives of the Laguerre polynomial which will be used later.
Lemma 4.1
For \(n-1<\mu< n\) and for all \(x \in[0, \infty)\), we have
Proof
We use the identity of the fractional integral of the Laguerre polynomials exhibited in [14], p.287. For real numbers a, b, and μ with \(b, \mu\ge0\),
Taking \(a = -n\), \(b=\alpha+1\), (30) implies that
The following equation holds:
Since \({}_{0}^{R}\! D_{x}^{\mu}{}_{0} I_{x}^{\mu}f(x) = f(x)\), we derive (34) by performing \({}_{0}^{R}\! D^{\mu}_{x}\) on both sides of the last equation and taking \(\alpha+ \mu\) by α. We have, for \(\alpha> \mu-1\),
Since \(x^{\alpha} \mathcal{L}_{n}^{(\alpha)}(x) \vert_{x=0} = 0\), by (10) we replace \({}^{C}_{0}\! D^{\mu}_{x} \) by \({}_{0}^{R}\! D^{\mu}_{x}\) and complete the proof of (35). □
Lemma 4.2
For \(n-1< \mu<n \) and for all \(x \in[0, \infty)\), we have
Proof
Once again, we use the equation in [14], p.287:
Taking \(\beta= \alpha+ \mu\), we get
By choosing \(\alpha+\mu\) by α, we prove equation (36) when \(\alpha> \mu-1\).
Using the fact that \({}_{x}^{R}\! D_{\infty}^{\mu}\; {}_{x} I_{\infty}^{\mu}f(x) = (-1)^{n}f(x)\), we derive equation (37).
By definition, using (37) and (36), we have
which proves (38). □
Now, we consider SFSLP1 (17)-(18) with \(p_{1}(x)=x^{1-\alpha}e^{-x}\) and the weight function \(\omega_{1}^{(\mu )}(x) = x^{1-\alpha-\mu}e^{-x}\). For the parameters \(\alpha, \mu\in (0,1)\), we obtain
subject to
We derive the eigenfunctions of SFSLP1 (39)-(40) and the corresponding eigenvalues, which agree well with Theorem 3.2.
Theorem 4.3
The eigenvalues of SFSLP1 (39)-(40) are given by
The corresponding eigenfunctions to different eigenvalues are orthogonal with respect to the weighted functions, \(\omega_{1}^{(\alpha,\mu)}(x) = x^{1-\alpha-\mu}e^{-x}\), and are given by
Proof
First we prove that the generalized Laguerre polynomials (41) obey the boundary conditions (40). Using (33), we have
Hence,
and
Next, substituting the function \(\Phi_{n}^{(\alpha, \mu)}\) in (41) in equation (39) yields
Thanks to (34), (37), and (36), we have
where the corresponding eigenvalues are given by
Finally, we show that the eigenfunctions (41) are orthogonal with respect to \(\omega_{1}^{(\alpha,\mu)}(x) = x^{1-\alpha-\mu} e^{-x}\) as follows:
□
We now turn to SFSLP2 (19)-(20) with \(p_{2}(x)=x^{\alpha +\mu-1}e^{x}\) and the weight function \(\omega_{2}^{(\alpha)}(x) = x^{\alpha-1}e^{x}\). For the parameter \(\alpha, \mu\in(0,1)\), we obtain
subject to
Theorem 4.4
The eigenvalues of SFSLP2 (43)-(44) are given by
The corresponding eigenfunctions to different eigenvalues are orthogonal with respect to the weighted functions, \(\omega_{2}^{(\alpha)}(x) = x^{\alpha-1}e^{x}\), and are given by
Proof
First we prove that the generalized Laguerre functions \(\Psi_{n}^{(\alpha )}\) in (45) obey the boundary conditions (44). Using (36) and (37), we have
and
Next, substituting the function \(\Psi_{n}^{(\alpha)}\) in (45) in equation (43) yields
where the corresponding eigenvalues are given by
Finally, we show that the eigenfunctions (51) are orthogonal with respect to \(\omega_{2}^{(\alpha)}(x) = x^{\alpha-1} e^{x}\) as follows:
which completes the proof. □
Analogously, we derive in the following theorem the eigenvalues and eigenfunctions of SFSLP3 (21)-(22) with \(p_{3}(x) = x^{1-\alpha}e^{-x}\) and \(\omega_{3}^{(\alpha)}(x) = x^{\alpha-1}e^{x}\).
subject to
For SFSLP4 (23)-(24) with \(p_{4}(x) = x^{\alpha+\mu -1}e^{x}\) and \(\omega_{4}^{(\alpha)}(x) = x^{1-\alpha-\mu}e^{x}\), the proofs are straightforward and similar to Theorem 4.3 and Theorem 4.4 and we omit them. Now, we consider
subject to
Theorem 4.5
1. The eigenvalues of SFSLP3 (46)-(47) are given by
The corresponding eigenfunctions to different eigenvalues are orthogonal with respect to the weighted functions, \(\omega_{3}^{(\alpha)}(x) = x^{\alpha-1}e^{-x}\), and are given by
The eigenvalues of SFSLP4 (48)-(49) are given by
The corresponding eigenfunctions to different eigenvalues are orthogonal with respect to the weighted functions, \(\omega_{4}^{(\alpha,\mu)}(x) = x^{1-\alpha-\mu}e^{x}\), and are given by
Remark 1
We obtain two types of eigenfunctions for four classes of SFSLPs. The first one is given by \(\Phi^{(\alpha, \mu)}_{n}(x) = x^{\alpha+\mu-1} \mathcal{L}_{n}^{(\alpha+\mu-1)}(x)\), which we call the generalized Laguerre polynomials (GLPs), and the second one is given by \(\Psi^{(\alpha)}_{n}(x) = e^{-x} \mathcal{L}_{n}^{(\alpha-1)}(x)\), which we call the generalized Laguerre functions (GLFs). In contrast to the GLPs, the GLFs are well behaved at infinity, due to the exponential decay term. Moreover, thanks to the self-adjointness of SFSLOs, we have real and discrete eigenvalues.
We turn to the orthogonal basis for the weighted Hilbert space \(L_{\omega^{(\alpha,\mu)}}^{2}(0, \infty)\), where \(\omega^{(\alpha,\mu)} = x^{1-\alpha-\mu} e^{-x}\) belongs to the most important properties of our eigenfunctions. In order to prove that the obtained eigenfunctions \(\Phi^{(\alpha, \mu )}_{n}(x)\) in (41) form an orthogonal basis for \(L_{\omega_{i}^{(\alpha,\mu)}}^{2}(0, \infty)\), the orthogonality of eigenfunctions is proved in Theorem 4.3. Hence, we only need to prove the completeness of the eigenfunctions \(\Phi^{(\alpha, \mu)}_{n}(x)\).
The completeness of a system of functions on a compact interval can be straightforwardly proved, while the difficult cases are dealing with the system of functions on unbounded intervals. However, there is a nice trick by von Neumann that uses the generating function (32) of the Laguerre polynomial to permit the reduction to a bounded interval (for relevant results, see [15], p.108).
We present below the completeness of the GLFs \(\Phi^{(\alpha, \mu )}_{n}(x)\) in (41) and also the completeness of the GLF \(\Psi^{(\alpha)}_{n}(x)\) in (45) on the half-line.
Theorem 4.6
For \(\alpha, \mu\in(0, 1)\), we have the following:
-
1.
The GLPs
$$\begin{aligned} \Phi^{(\alpha,\mu)}_{n}(x) =x^{\alpha+\mu-1} \mathcal {L}_{n}^{(\alpha+\mu-1)}(x),\quad n=0,1,2, \ldots \end{aligned}$$(52)form a complete subspace of \(L_{\omega^{(\alpha,\mu)}}^{2}(0,\infty)\), \(\omega^{(\alpha,\mu)}(x) = x^{1-\alpha-\mu}e^{-x}\).
-
2.
The GLFs
$$\begin{aligned} \Psi^{(\alpha)}_{n}(x) =e^{-x} \mathcal{L}_{n}^{(\alpha -1)}(x), \quad n=0,1,2, \ldots \end{aligned}$$(53)form a complete subspace of \(L_{\omega^{(\alpha)}}^{2}(0,\infty)\), \(\omega ^{(\alpha)}(x) = x^{\alpha-1}e^{x}\).
Proof
Proving that \(\Phi^{(\alpha,\mu)}_{n}(x) \) is complete in \(L_{\omega ^{\alpha,\mu}}^{2}(0,\infty)\) is equivalent to proving that \(\widetilde {\Phi}^{(\alpha,\mu)}_{n}(x):= x^{\frac{1-\alpha-\mu}{2} } e^{-\frac {x}{2}}\Phi^{(\alpha,\mu)}_{n}(x)\) is complete in \(L^{2}(0,\infty)\). Now, by setting \(y= e^{-x}\), we will prove instead that
are complete in \(L^{2}(0,1)\).
Since the polynomials are dense in \(L^{2}(0,1)\) and \(( \ln\frac {1}{y} )^{\frac{\alpha+\mu-1}{2}}\sqrt{y} \in L^{2}(0,1)\) for \(\alpha +\mu>0\), we deduce that the functions \(Q_{m}^{(\alpha,\mu)}(y) = ( \ln\frac{1}{y} )^{\frac{\alpha+\mu-1}{2}} \sqrt{y} y^{m}\) span a dense subspace of \(L^{2}(0,1)\). Hence, it is sufficient to prove that the closed linear space, determined by \(\widetilde{\Phi}^{(\alpha,\mu)}_{n} (y)\), includes the functions \(Q_{m}^{(\alpha,\mu)}(y)\). If \(c_{n}\) is the nth generalized Laguerre coefficient of \(Q_{m}^{(\alpha,\mu)}(y)\), we have to prove that
as \(N \to\infty\). By transforming back to \((0, \infty)\), this reduces the task to showing that
as \(N \rightarrow\infty\). Thanks to the generating function in (32),
By taking \(t= \frac{m}{m+1}\), we obtain \(e^{-\frac{t}{1-t}x} = e^{-mx}\). Now choosing \(c_{n} = (1-t)^{\alpha+\mu} t^{n}\) and substituting it into (54) yields
Since the summation is convergent, the last expression becomes arbitrarily small when N is sufficiently large. Therefore, the system \(\widetilde{\Phi}^{(\alpha,\mu)}_{n}(x) \) is complete in \(L^{2}(0,\infty)\), and we complete the proof of (52).
The second part (53) can be obtained in a similar manner. □
5 Approximation results by the generalized Laguerre functions
In this section, we present some approximation properties of the GLFs. Let us first define the finite dimensional approximation space
where \(\mathbb{P}_{N}\) is the set of all polynomials of degree at most N.
Consider the orthogonal projection \(\pi_{N}^{\mu}: L^{2}_{\omega^{(\alpha,\mu )}}(\mathbb{R}^{+}) \to F^{\mu}_{N}(\mathbb{R}^{+})\) defined by
where \(\langle f,g \rangle_{\omega^{(\alpha,\mu)}} = \int_{0}^{\infty}f(x)g(x)\omega^{(\alpha,\mu)}\,dx\).
Thanks to the orthogonality, we can write
where \(\hat{u}_{n}^{(\alpha,\mu)} = \frac{\langle u, \Phi^{(\alpha,\mu )}_{n} \rangle_{\omega^{(\alpha,\mu)}} }{\gamma_{n}^{(\alpha,\mu)}}\), \(\gamma _{n}^{(\alpha,\mu)} = \frac{\Gamma(n+\alpha+\mu)}{\Gamma(n+1)}\).
In order to describe the \(L^{2}_{\omega^{(\alpha,\mu)}}\)-projection error, we introduce a weighted Sobolev space involving fractional derivatives. We have
equipped with the norm and semi-norm
and
We deduce from (34) and (33) that
By using the above result, \({}_{0}^{C}\!D_{x}^{\mu+k}\), \(\Phi_{n}^{(\alpha,\mu )}(x)\) are orthogonal with respect to the weight \(\omega^{(\alpha,-k)}= x^{1-\alpha+k}e^{-x}\), i.e.,
By summing (56) over \(0 \le k \le m\), we obtain
which implies that \(\Phi_{n}^{(\alpha,\mu)}\) are also orthogonal in \(B_{\alpha,\mu}^{m,1}(\mathbb{R^{+}})\).
Theorem 5.1
Let \(u \in B_{\alpha,\mu}^{m,1}(\mathbb{R}^{+})\) and \(m \in\mathbb {N}_{0}\). Then we have
-
1.
for \(0 \le k \le m\le N\),
$$ \bigl\Vert {}_{0}^{C}\! D_{x}^{\mu+k} \bigl(\pi_{N}^{\mu}u-u \bigr) \bigr\Vert _{ \omega ^{(\alpha,-k)}} \le N^{\frac{k-m}{2}} \bigl\Vert {}_{0}^{C}\! D_{x}^{\mu+m} u \bigr\Vert _{\omega^{(\alpha ,-m)}}, $$(58) -
2.
for \(0 \le m \le N\),
$$\begin{aligned} \bigl\Vert \pi_{N}^{\mu}u-u \bigr\Vert _{ \omega^{(\alpha,\mu)}} \le N^{-\frac{m+\mu+2}{2}} \bigl\Vert {}_{0}^{C} \! D_{x}^{\mu+m} u \bigr\Vert _{\omega^{(\alpha ,-m)}}. \end{aligned}$$(59)
Proof
By (55), we have
Hence, by the orthogonality (56), we get
In particular, we have
Now, we obtain
By the Stirling equation,
we have
Hence,
which proves (58).
The \(L^{2}_{\omega^{(\alpha,\mu)}}\)-projection error (59) can be obtained by using the same argument. We have
which implies (59). □
Theorem 5.2
Let \(u \in B_{\alpha,\mu}^{m,2}(\mathbb{R}^{+})\) and \(m \in\mathbb {N}_{0}\). Then we have
-
1.
for \(0 \le k \le m\le N\),
$$\begin{aligned} \bigl\Vert {}_{x}^{C}\! D_{\infty}^{\mu+k} \bigl(\pi_{N}^{\mu}u-u \bigr) \bigr\Vert _{ \omega^{(\alpha,k)}} \le N^{\frac{k-m}{2}} \bigl\Vert {}_{x}^{C}\! D_{\infty}^{\mu+m} u \bigr\Vert _{\omega^{(\alpha ,m)}}, \end{aligned}$$(60) -
2.
for \(0 \le m \le N\),
$$\begin{aligned} \bigl\Vert \pi_{N}^{\mu}u-u \bigr\Vert _{ \omega^{(\alpha)}} \le N^{-\frac{m+\mu+2}{2}} \bigl\Vert {}_{x}^{C} \! D_{\infty}^{\mu+m} u \bigr\Vert _{\omega^{(\alpha ,m)}}. \end{aligned}$$(61)
Proof
The proof is similar to that of Theorem 5.1 and thus omitted. □
6 The generalized Laguerre transform
This section is based on the classical Laguerre transform by McCully [16]. We introduce the generalized Laguerre transform and use this transform to solve the fractional heat (diffusion) equation.
Definition 6.1
The generalized Laguerre transform of a function F is defined by
The inverse transform \(T^{-1}\{ f^{(\alpha, \mu)}(n)\}\) of \(T\{ F(x)\}\) is given by
Example 1
For \(0<\alpha+\mu<2\), we have the following:
Theorem 6.2
If \(T\{F(x)\} = f^{(\alpha, \mu)}(n)\) exists and
-
1.
F satisfies the boundary conditions (40), then
$$\begin{aligned} T \bigl\{ x^{\alpha+\mu-1}e^{x} \, {}_{x}^{C} \!D_{\infty}^{\mu}\bigl[ x^{1-\alpha} e^{-x}\, {}^{R}_{0}\! D^{\mu}_{x} F(x) \bigr] \bigr\} = -\lambda _{n}^{(\alpha, \mu)} f^{(\alpha, \mu)}(n), \end{aligned}$$(62) -
2.
F satisfies the boundary conditions (44), then
$$\begin{aligned} T \bigl\{ x^{\alpha+\mu-1}e^{x} \, {}_{x}^{R} \!D_{\infty}^{\mu}\bigl[ x^{1-\alpha} e^{-x}\, {}^{C}_{0}\! D^{\mu}_{x} F(x) \bigr] \bigr\} = -\lambda _{n}^{(\alpha, \mu)} f^{(\alpha, \mu)}(n), \end{aligned}$$(63)
where \(\lambda_{n}^{(\alpha, \mu)} = \frac{\Gamma(n+\alpha+\mu)}{\Gamma (n+\mu)}\).
Proof
First, by using the integration by parts equation (12), we obtain
Applying the integration by parts equation (12) and using (36) and (37), we get
The second part can be proved similarly, by using the integration by parts equation (11). We have
The last expression is obtained by replacing \({}^{C}_{0}\! D^{\mu}_{x}\) by \({}^{R}_{0}\! D^{\mu}_{x}\) and using (34). Applying the integration by parts equation (11) again and using (37), we get
□
Example 2
The space-fractional heat transfer problem of type 1
We consider the one dimension heat transfer in a semi-infinite medium, which is described by the following fractional partial differential equation with order \(\mu\in(0,1)\):
where \(c = x^{1-\alpha-\mu}\), \(\rho= e^{-x}\), and \(\kappa= x^{1-\alpha }e^{-x} \) are the thermal coefficients. The source \(Q(x,t) = e^{-x} F(t)\). Therefore, SFSLP1 describing this semi-infinite fractional heat transfer is
If the medium is insulated laterally, the corresponding boundary conditions and initial condition are
Applying the generalized Laguerre transform with respect to x to (64) and using (62), we obtain
When \(n=0\), we get
with the initial condition \(u^{(\alpha,\mu)}(n, 0) = T\{G(x)\}:= g^{(\alpha,\mu)}(n)\). We have
The inverse generalized Laguerre transform leads to the solution
We note that the solution of the fractional heat transfer problem coincides with the solution obtained from the integer-order heat transfer problem (see [16]) with \(\alpha= 0\) and \(\mu= 1\).
Example 3
The space fractional heat conduction problem of type 2
Analogous to the previous example, we consider the one dimension heat transfer in a semi-infinite medium, which is described by SFSLP2. We have
with the corresponding boundary conditions and initial condition
Applying the generalized Laguerre transform with respect to x to (65), we obtain the solution, which coincides with the solution of the space fractional heat conduction problem of type 1.
References
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Carpinteri, A, Mainardi, F: Fractals and Fractional Calculus in Continuum Mechanics. Springer, Berlin (1998)
Klimek, M, Agrawal, OP: On a regular fractional Sturm-Liouville problem with derivatives of order in \((0, 1)\). In: Proceedings of 13th International Carpathian Control Conference, ICCC (2012)
Klimek, M, Agrawal, OP: Fractional Sturm-Liouville problem. Comput. Math. Appl. 66, 795-812 (2013)
Zayernouri, M, Karniadakis, GE: Fractional Sturm-Liouville eigen-problems: theory and numerical approximation. J. Comput. Phys. 252, 495-517 (2013)
Rivero, M, Trujillo, JJ, Velasco, MP: A fractional approach to the Sturm-Liouville problem. Cent. Eur. J. Phys. 11, 1246-1254 (2013)
Ansari, A: On finite fractional Sturm-Liouville transforms. Integral Transforms Spec. Funct. 26, 51-64 (2015)
Bas, E, Metin, F: Fractional singular Sturm-Liouville operator for Coulomb potential. Adv. Differ. Equ., 2013, 300 (2013)
Bas, E, Yilmazer, R, Panakhov, E: Fractional solution of Bessel equation with N-method. Sci. World J. 2013, 685695 (2013)
Bas, E: Fundamental spectral theory of fractional singular Sturm-Liouville operator. J. Funct. Spaces Appl. 2013 915830 (2013)
Zhang, W, Yi, M: Sturm-Liouville problem and numerical method of fractional diffusion equation on fractals. Adv. Differ. Equ. 2015, 217 (2015)
Khosravian-Arab, H, Dehghan, M, Eslahchi, MR: Fractional Sturm-Liouville boundary value problems in unbounded domains: theory and applications. J. Comput. Phys. 299, 526-560 (2015)
Andrews, GE, Askey, R, Roy, R: Special Functions. Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge (1999)
Szegö, G: Orthogonal Polynomials. Am. Math. Soc., Providence (1975)
McCully, J: The Laguerre transform. SIAM Rev. 2(3), 185-191 (1960)
Debnath, L, Bhatta, D: Integral Transforms and Their Applications. CRC Press, Boca Raton (2015)
Acknowledgements
The author would to thank the reviewers as well as the editor for their helpful comments and suggestions, which significantly improve the quality of this article.
Author information
Authors and Affiliations
Contributions
The author wrote this paper. The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that he has no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kittipoom, P. Fractional singular Sturm-Liouville problems on the half-line. Adv Differ Equ 2017, 310 (2017). https://doi.org/10.1186/s13662-017-1370-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1370-4