Abstract

We give the theory of spectral properties for eigenvalues and eigenfunctions of Bessel type of fractional singular Sturm-Liouville problem. We show that the eigenvalues and eigenfunctions of the problem are real and orthogonal, respectively. Furthermore, we prove new approximations about the topic.

1. Introduction

Sturm-Liouville problem was first developed in a number of papers that were published by these authors in 1836 and 1837. Charles-François Sturm (1803–1855), Professor of Mechanics at the Sorbonne, had been interested, since about 1833, in the problem of heat flow in bars, so he was well aware of eigenvalue-type problems. He worked closely with his friend Joseph Liouville (1809–1882), Professor of Mathematics at the Collège de France, on the general properties of second-order differential equations. Liouville also made many contributions to the general field of analysis, see [1].

A Sturm-Liouville boundary value problem consists of a second order linear ordinary differential equation and boundary conditions. Here is a bounded or unbounded open interval of the real line . The coefficients into ;   , the complex field. Spectral analysis finds applications in many diverse fields. Mathematical techniques could be developed into a more suitable and significant course by presenting them within the more general Sturm-Liouville theory in . The Sturm-Liouville problems are important in many areas of science, engineering and mathematics. It is known that the spectral characteristics are spectra, spectral functions, scattering data, norming constants, etc. According to the theory linear second-order differential operator which is self-adjoint has an orthogonal sequence of eigenfunctions in . Spectral properties of Sturm-Liouville operators are often derived, directly or indirectly, as a consequence of an established link between large distance asymptotic behavior of solutions of the associated differential equation and spectral properties of the corresponding differential operator. Sturm-Liouville problems are divided into regular and singular types. Differential equations such as Bessel, hydrogen atom, Hermitte, Jakobi, and Legendre equations can be transformed into Sturm-Liouville equations. There are many studies on these issues [2–7]. We also discuss the radial part of Schrödinger’s equation for the Bessel equation.

Fractional calculus is “the theory of derivatives and integrals of any arbitrary real or complex order, which unify and generalize the notions of integer-order differentiation and -fold integration” [6–13]. In recent years, the concept of fractional calculus, originated from Leibniz, has achieved increasing interest during the last two decades. In particular, the last decade has scientific papers concerning fractional quantum mechanics. It has been proved that many systems in different fields of science and engineering can be modeled more accurately using fractional derivatives [8–17]. Fractional calculus has increasing importance for the last years because fractional calculus has been applied to almost every field of science. They are viscoelasticity, electrical engineering, electrochemistry, biology, biophysics and bioengineering, signal and image processing, mechanics, mechatronics, physics, and control theory. We note that ordinary derivatives in a traditional Sturm-Liouville problem are replaced with fractional derivatives, and the resulting problems are solved using some numerical methods [18–23]. Furthermore, Klimek and Argawal [24] define a fractional Sturm-Liouville operator, introduce a regular fractional Sturm-Liouville problem, and investigate the properties of the eigenfunctions and the eigenvalues of the operator. In this paper, our purpose is to introduce singular fractional Sturm-Liouville problem having Bessel type and prove spectral properties of spectral data for the operator.

Let us give the boundary value problem for Bessel equation and necessary data as follows.

2. Preliminaries

Now, consider the following Bessel equation: where and are real numbers. The Bessel equation for having the analogous singularity is given in [5].

Definition 1 (see [10]). Let . The left-sided and right-sided Riemann-Liouville integrals of order , respectively, are given by the formulas where denotes the gamma function.

Definition 2 (see [10]). Let . The left-sided and right-sided Riemann-Liouville derivatives of order , respectively, are defined as follows: Analogous formulas yield the left-sided and right-sided Caputo derivatives of order :

Definition 3 (see [14]). The general function is defined for ,  , and by the series This general Wright function was investigated by Fox who presented its asymptotic expansion for large values of the argument under the condition If these conditions are satisfied, the series in (6) is convergent for any .

Theorem 4 (see [14]). Let , and , and let  (i) If , then the series in (6) is absolutely convergent for all . (ii) If , then the series in (6) is absolutely convergent for and for and .

Property 1. The fractional differential operators defined in(4)-(5) satisfy the following identities: (i) (ii) (iii)

Property 2 (see [24]). Assume that , , and . Then the relations hold for any . Furthermore, the integral operators defined in (3) satisfy the following semigroup properties:

Now, let us take up a singular fractional boundary problem for Bessel operator and give some spectral results.

3. Main Results

3.1. A Singular Fractional Sturm-Liouville Problem for Bessel Operator

Fractional Sturm-Liouville problem for Bessel operator denotes the differential part containing the left- and right-sided derivatives. Let us use the form of the integration by parts formulas (10), (11) for this new approximation. Properties of eigenfunctions and eigenvalues in the theory of classical Sturm-Liouville problems are related to the integration by parts formula for the first-order derivatives. In the corresponding fractional version, we note that both left and right derivatives appear and the essential pairs are the left Riemann-Liouville derivative with the right Caputo derivative and the right Riemann-Liouville derivative with the left Caputo one. Spectral properties of Sturm-Liouville operators are often derived, directly or indirectly, as a consequence of an established link between large distance asymptotic behavior of solutions of the associated differential equation and spectral properties of the corresponding Bessel operator.

Definition 5. Let . Fractional Bessel operator is written as Considering the fractional Bessel equation where ,  ,   is weight function, and are real valued continuous functions in interval .

The boundary conditions for the operator are the following: where . The fractional boundary-value problem (15)-(16) is fractional Sturm-Liouville problem for Bessel operator.

Theorem 6. Fractional Bessel operator is self-adjoint on .

Proof. Let us consider the following equation: By means of equality (10) and boundary conditions (16), we obtain the identity On the other hand, by performing similar operations, we find The right-hand sides of (18) and (19) are equal; hence, we may see that the left sides are equal; that is,

Theorem 7. The eigenvalues of fractional Bessel operator (15)-(16) are real.

Proof. Let us observe that the following relation results from equality (10): Suppose that is the eigenvalue for (15)-(16) corresponding to eigenfunction ; the following equalities satisfy and its complex conjugate : where . We multiply (22) by function and (24) by function , respectively, and subtract Now, we integrate over interval , and applying relation (21), and we note that the right-hand side of the integrated equality contains only boundary terms: By virtue of the boundary conditions (23), (25), we find Because is a nontrivial solution and , it is easily seen that . The eigenvalues are real.

Theorem 8. The eigenfunctions corresponding with distinct eigenvalues of fractional Bessel operator (15)-(16) are orthogonal weight function on ; that is,

Proof. We have by assumptions fractional Sturm-Liouville operator for Bessel type fulfilled by two different eigenvalues and the respective eigenfunctions : We multiply (30) by function and (32) by function , respectively, and subtract. Integrating over interval and applying relation (21) we note that the right-hand side of the integrated equality contains only boundary terms: Using the boundary conditions (31), (33), we obtain that where . Then, the eigenfunctions are orthogonal of this operator.

Remark 9. Let us now give certain auxiliary functions. Because we use the functions, the first of them is as follows: where is the Fox-Wright function [14]: The properties of the function are determined by the parameters Considering Theorem 4, we note that this function is continuous in when order , that is, . For ; it is discontinuous at end . The explicitly calculated function allows to estimate the second component of stationary function of the differential part of Sturm-Liouville operator which looks as follows: The next function is the following integral: Again, using Theorem 4 and calculating parameters according to (39), Finally, and the obtained Fox-Wright function (42) is continuous in interval for any positive order .

Theorem 10. Let , and define Assume that . Then, (15)-(16) are equivalent to the integral equation where the coefficient is and functions are defined in (41).

Proof. By means of composition rules, (15) can be rewritten as follows: The last equality suggests that is a stationary function of fractional singular Sturm-Liouville problem for Bessel operator. which according to (41) can be found as Equation (15) in the form ofproves we should connect coefficients values determining the boundary conditions (16).
Let us note that the following formula results from composition rules (11) and (50): For continuous function , we obtain the following values as the ends respectively, for . Using (50), we find The following set of linear equations for coefficients results from (52)–(54) where .
Since , the solution for coefficients is unique: Substituting the previous solution into (50) we recover the equivalent integral equation (46).
Furthermore, we give notation such as The proof is completed.

4. Conclusion

In the paper, we have extended the scope of some spectral properties of singular fractional Sturm-Liouville problem. We pointed that its eigenvalues related to the Bessel operator with the certain boundary conditions are real and its eigenfunctions corresponding to distinct eigenvalues are orthogonal. Furthermore, we showed that fractional Bessel operator is self-adjoint. Spectral properties of Sturm-Liouville theory are applied to the fractional theory. Our results are important in point of the fractional Sturm-Liouville theory.

Acknowledgments

The author sincerely thanks the editor and the reviewer for their valuable suggestions and comments.