Explicit Solutions of Singular Differential Equation by Means of Fractional Calculus Operators
Abstract
Recently, several authors demonstrated the usefulness of fractional calculus operators in the derivation of particular solutions of a considerably large number of linear ordinary and partial differential equations of the second and higher orders. By means of fractional calculus techniques, we find explicit solutions of second-order linear ordinary differential equations.
1. Introduction, Definitions, and Preliminaries
The widely investigated subject of fractional calculus (i.e., calculus of derivatives and integrals of any arbitrary real or complex order) has gained considerable importance and popularity during the past three decades or so, due chiefly to its demonstrated applications in numerous seemingly diverse fields of science and engineering (see, for details, [1–6]). The fractional calculus provides a set of axioms and methods to extend the coordinate and corresponding derivative definitions from integer n to arbitrary order α, {xn, ∂n/∂xn} → {xα, ∂α/∂xα} in a reasonable way. The first question was already raised by Leibniz (1646–1716): can we define a derivative of the order 1/2, that is, so that a double action of that derivative gives the ordinary one? We can mention that the fractional differential equations are playing an important role in fluid dynamics, traffic model with fractional derivative, measurement of viscoelastic material properties, modeling of viscoplasticity, control theory, economy, nuclear magnetic resonance, geometric mechanics, mechanics, optics, signal processing, and so on.
The differintegration operators and their generalizations [7–16] have been used to solve some classes of differential equations and fractional differential equations.
Definition 1 (cf. [10–14, 17]). If the function f(z) is analytic (regular) inside and on C, where C = {C−, C+}, C− is a contour along the cut joining the points z and −∞ + iIm (z), which starts from the point at −∞, encircles the point z once counter-clockwise, and returns to the point at −∞, and C+ is a contour along the cut joining the points z and ∞ + iIm (z), which starts from the point at ∞, encircles the point z once counter-clockwise, and returns to the point at ∞,
We find it to be worthwhile to recall here the following useful lemmas and properties associated with the fractional differintegration which is defined above (cf., e.g., [10–14, 18]).
Lemma 2 (Linearity). Let f(z) and g(z) be analytic and single-valued functions. If fμ and gμ exist, then
Lemma 3 (Index Law). Let f(z) be an analytic and single-valued function. If and exist, then
Lemma 4 (Generalized Leibniz Rule). Let f(z) and g(z) be analytic and single-valued functions. If fμ and gμ exist, then
Property 1. For a constant λ,
Property 2. For a constant λ,
Property 3. For a constant λ,
Some of the most recent contributions on the subject of particular solutions of linear ordinary and partial fractional differintegral equations are those given by Tu et al. [19] who presented unification and generalization of a significantly large number of widely scattered results on this subject. We begin by recalling here one of the main results of Tu et al. [19], involving a family of linear ordinary fractional differintegral equations, as Theorem 5 below.
Theorem 5 (Tu et al. [19, p. 295, Theorem 1; p. 296, Theorem 2]). Let P(z; p) and Q(z; q) be polynomials in z of degrees p and q, respectively, defined by
Then, the nonhomogeneous linear ordinary fractional differintegral equation
Furthermore, the homogeneous linear ordinary fractional differintegral equation
2. Schrödinger Equation
In this stud, the main aim is to investigate the Schrödinger equation in a given α-dimensional fractional space with a Coulomb potential depending on a parameter.
-
(i) Let δ = 2. For this δ (27) becomes the differential equation
()For (29), we use the substitution()Thus, we have()()After substituting (30), (31), and (32) into (29) and doing some simplifications, we obtain at the differential equation()The transformation()has first and second derivative()()Finally, substituting (34) and (36) into (33) and doing simplifications we arrived at the equation() -
(ii) Let δ = 4. For this δ (27) becomes the following differential equation:
()For (38), we use the substitution()Therefore, we obtain()After substituting (39) and (40) into (38) and doing simplifications, we arrived at the equation()Similarly, for (41), we use the transformation()Thus, we have()()Finally, substitute (42) and (44) into (41) and do simplifications to obtain the equation()
Our aim is to obtain explicit solutions of (37) and (45), by means of (27), according to different δ.
3. Applications of Theorem 5 to a Class of Ordinary Second-Order Equations
Theorem 6 (see [22], Theorem 3, p. 39.)If the given function f satisfies the constraint (4) and f−ν ≠ 0, then the nonhomogeneous linear ordinary differential equation
Theorem 7. Under the hypotheses of Theorem 6, the homogeneous linear ordinary differential equation