Next Article in Journal
Maxwell–Lorentz Electrodynamics Revisited via the Lagrangian Formalism and Feynman Proper Time Paradigm
Next Article in Special Issue
Fractional Euler-Lagrange Equations Applied to Oscillatory Systems
Previous Article in Journal / Special Issue
Analytical Solution of Generalized Space-Time Fractional Cable Equation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Asymptotic Expansions of Fractional Derivatives andTheir Applications

1
Graduate School of Information Sciences, Tohoku University, Sendai 980-8577, Japan
2
College of Engineering, Nihon University, Koriyama 963-8642, Japan
*
Author to whom correspondence should be addressed.
Mathematics 2015, 3(2), 171-189; https://doi.org/10.3390/math3020171
Submission received: 3 March 2015 / Accepted: 7 April 2015 / Published: 15 April 2015
(This article belongs to the Special Issue Recent Advances in Fractional Calculus and Its Applications)

Abstract

:
We compare the Riemann–Liouville fractional integral (fI) of a function f(z) with the Liouville fI of the same function and show that there are cases in which the asymptotic expansion of the former is obtained from those of the latter and the difference of the two fIs. When this happens, this fact occurs also for the fractional derivative (fD). This method is applied to the derivation of the asymptotic expansion of the confluent hypergeometric function, which is a solution of Kummer’s differential equation. In the present paper, the solutions of the equation in the forms of the Riemann–Liouville fI or fD and the Liouville fI or fD are obtained by using the method, which Nishimoto used in solving the hypergeometric differential equation in terms of the Liouville fD.

1. Introduction

We study the asymptotic expansion of the Riemann–Liouville fractional integral (fI) and fractional derivative (fD) of a function f(z), by using their relations with the corresponding Liouville fI and fD, respectively. We then present a method of deriving the asymptotic expansion of a function, when this is expressed by the Riemann–Liouville fI or fD of a function, which is analytic in a domain in the complex plane. As an example, we take up the confluent hypergeometric function.
We adopt the following definition of the Riemann–Liouville fI [1,2] (Section 2.3.2).
Definition 1. Let c ∈ ℂ, z ∈ ℂ, f(ζ) ∈ 1(P(c, z)) and f(ζ) be continuous in a neighborhood of ζ = z. Then, the Riemann–Liouville fI of order λ+is defined by:
R D c λ f ( z ) = 1 Γ ( λ ) c z ( z ζ ) λ 1 f ( ζ ) d ζ = 1 Γ ( λ ) 0 z c η λ 1 f ( z η ) d η
Here, P(c, z) is the path of integration from c to z, f ( ζ ) 1 ( P ( c , z ) ) denotes that the function f(ζ) is integrable on P(c, z) and ℂ, ℝ and ℤ represent the sets of all complex numbers, of all real numbers and of all integers, respectively. We also use notations +ℂ := {z ∈ ℂ|Re z > 0}, ℤ>a := {n ∈ ℤ|n > a}, ℤ<b := {n ∈ ℤ|n < b}, ℤ[a,b] := {n ∈ ℤ|anb} for a ∈ ℤ and b ∈ ℤ and ℝ>0 := {x ∈ ℝ|x > 0}.
In [1], the ϕ-dependent (ϕ-dept) Liouville fI : D−λ L ϕ f(z) of order λ+ ℂ is defined for ϕ ∈ ℝ. It was mentioned that it is equal to (1) if c is chosen to be z + ∞ · eiϕ, in [3]. We now consider the paths of integration Pϕ(z) and Pϕ(c), which are from z to z + ∞ · eiϕ and from c to c+∞ · eiϕ, respectively, as shown in Figure 1. Here, we consider the cases in which f(z) satisfies one of the following conditions.
Condition A. (a) f(ζ) is analytic on neighborhoods of the paths P(c, z], Pϕ[z] and Pϕ(c), and (b) it is analytic also in the region enclosed by them.
Condition B. f(ζ) is expressed as f(ζ) = fγ(ζ) := (ζ − c)γ · f0(ζ), where γ ∈ ℂ\ℤ and f0(ζ) satisfies Condition A with P(c, z] replaced by P[c, z].
Here, notations P(c, z], Pϕ[z] and Pϕ(c) are used to denote that f(ζ) is analytic at the point ζ = z, but not so at ζ = c, and P[c, z] and Pϕ[c] are used when f(ζ) is analytic also at the point ζ = c.
If the ϕ-dept Liouville fI exists, the difference of the Riemann–Liouville and ϕ-dept Liouville fIs is expressed by the path integral along the path Pϕ(c). When the asymptotic expansions of the ϕ-dept Liouville fI and the last path integral are given, the asymptotic expansion of the Riemann–Liouville fI is obtained.
In [1], the fD corresponding to an fI is defined in the form of a contour integral, for a function f(z), which is analytic on a neighborhood of the path of integration. They are analytic continuations of the corresponding fI. As a consequence, the relation between the Riemann–Liouville fI and the corresponding ϕ-dept Liouville fI is analytically continued to the relation between the corresponding fDs. It follows that the same recipe is useful in obtaining the asymptotic expansion of the Riemann–Liouville fD.
In Section 2, we first recall the expressions of the Riemann–Liouville fD, which are expressed by a contour integral. As examples of functions that are expressed by the Riemann–Liouville fD, we consider the incomplete gamma function γ(λ, z) and the confluent hypergeometric function 1F1(a; b; z), in Sections 2.3 and 3, respectively.
In Section 4, we recall the expressions of the ϕ-dept Liouville fD, which are expressed by a contour integral. We then present the ϕ-dept Liouville fD of the functions of which the Riemann–Liouville fD is studied, in Sections 4.4 and 5.
We show the list of fI and fD, which we use in the present paper, with the places where they are defined.
In Section 6, we deform the path or contour of integration, which appears in the Riemann–Liouville fD, and show that the Riemann–Liouville fD of a function f(z) is expressed as a sum of the ϕ-dept Liouville fD of f(z) and a path or contour integral of f(z). By writing the asymptotic expansions of the ϕ-dept Liouville fD, as well as of the path or contour integral that appears, we obtain the asymptotic expansions of the Riemann–Liouville fD under consideration. We confirm that we can obtain the asymptotic expansions of γ(λ, z) and 1F1(a; b; z), by this procedure in Sections 6.1~7.
The function 1F1(a; b; z) treated in Sections 3 and 7 is a solution of Kummer’s differential equation (DE), and is expressed by a Riemann–Liouville fD. In Sections 5 and 7, we treat Kummer’s function U(a, b, z), which is another solution of Kummer’s DE and is expressed by ϕ-dept Liouville fD. In Sections 3.1 and 5, we show that the expressions of these functions in the form of fD are obtained by the method, which Nishimoto [4] (Chapter 5, Section 2) used in obtaining the solution of the hypergeometric DE, that is the hypergeometric function, in the form of ϕ-dept Liouville fI. Concluding remarks are given in Section 8.

2. Riemann–Liouville fI and Its Analytic Continuations

2.1. Definition of Riemann–Liouville fD and the Index Law of Riemann–Liouville fI

Definition 2. The Riemann–Liouville fD of order ν ∈ ℂ satisfying Re ν ≥ 0 is defined by:
R D c ν f ( z ) = D m [ R D c ν m f ( z ) ]
when the right-hand side (rhs) exists, where m = ⌊Re ν+ 1, and D m f ( z ) = d m d z m f ( z ) = f ( m ) ( z ) for m ∈ ℤ>−1.
Here, ⌊x⌋ for x ∈ ℝ denotes the greatest integer not exceeding x.
Lemma 1. Let z = c + ζ and g(ζ) := f(c + ζ) = f(z) for c ≠ 0. Then, R D c ν f ( z ) = R D 0 ν g ( z c ).
Proof When ν = −λ, (1) is expressed as:
R D c λ f ( z ) = 1 Γ ( λ ) 0 z c η λ 1 f ( z η ) d η = 0 ζ η λ 1 g ( ζ η ) d η = R D 0 λ g ( ζ )
whose rhs represents R D 0 λ g ( z c ). ■
We use the following index law and Leibniz’s rule, in Section 3.2.
Lemma 2. Let λ+ ℂ, ν ∈ ℂ satisfy Re ν ≤ Re λ and R D c λ f ( z ) exist. Then:
R D c ν [ R D c λ f ( z ) ] = R D c ν λ f ( z ) , R D c λ [ R D c λ f ( z ) ] = f ( z )
A proof of this lemma for λ ∈ ℝ>0 and ν ∈ ℝ is found in [2] (Section 2.6.6).
Remark 1. In [5,6], the distribution theory in the space D R was developed, in which the index law DνDµh(t) = Dν+µh(t) is always valid for ν ∈ ℂ, µ ∈ ℂ and h ( t ) D R, where D is the operator of differentiation in this space. Noting that all of the function and its fI and fD, which appear in (3), are regarded as regular distributions in D R, we confirm the equalities in (3) in this standpoint.
Lemma 3. Let λ+and R D c λ f ( z ) exist. Then:
R D c λ [ z f ( z ) ] = z R D c λ f ( z ) λ R D c λ 1 f ( z )
Proof We see that the both sides are equal to 1 Γ ( λ ) 0 z c η λ 1 ( z η ) f ( z η ) d η. ■
This Leibniz’s rule is given in [7] (Section 5.5).

2.2. Analytic Continuations of Riemann–Liouville fI

In [1,8,9], analytic continuations of the Riemann–Liouville fI via contour integrals are discussed. In [1], C D c ν f ( z ) and P D c ν f ( z ) are defined as follows.
Definition 3. Let f(ζ) be analytic on a neighborhood of the path P(c, z] and be integrable on P(c, z). Then, C D c ν f ( z ) is defined by:
C D c ν f ( z ) = Γ ( ν + 1 ) 2 π i c ( z + ) ( ζ z ) ν 1 f ( ζ ) d ζ
for ν ∈ ℂ\Z<0 where the contour of integration is the Cauchy contour C(c, z+) shown in Figure 2a, which starts from c, encircles the point z counterclockwise and goes back to c, without crossing the path P(c, z). When −n ∈ ℤ<0, we put C D c n f ( z ) : = lim ν n C D c ν f ( z ), where ν ∈ ℂ\ℤ.
Definition 4. Let fγ(ζ) = (ζ − c)γ · f0(ζ), γ ∈ ℂ\ℤ and f0(ζ) be analytic on a neighborhood of the path P[c, z]. Then, P D c ν f γ ( z ) is defined by:
P D c ν f γ ( z ) = e i γ π Γ ( ν + 1 ) 4 π sin γ π C P ( c , z ) ( ζ z ) ν 1 f γ ( ζ ) d ζ
for ν ∈ ℂ\ℤ<0, where CP(c, z) is the Pochhammer contour shown in Figure 2b. When −n ∈ ℤ<0, we put P D c n f γ ( z ) : = lim ν n P D c ν f γ ( z ), where ν ∈ ℂ\ℤ. When n ∈ ℤ>−1, we put P D c n f n ( z ) : = lim γ n P D c ν f γ ( z ).
The following lemmas follow from the arguments there.
Lemma 4. C D c ν f ( z ) is an analytic function of ν on ℂ.
Lemma 5. P D c ν f γ ( z ) is analytic with respect to ν ∈ ℂ, as well as to γ ∈ ℂ\ℤ.
Lemma 6. Let C D c ν f ( z ) exist. Then, R D c ν f ( z ) exists, and C D c ν f ( z ) = R D c ν f ( z ).
Lemma 7. Let P D c ν f γ ( z ) exist. Then, if γ + 1 +ℂ, C D c ν f γ ( z ) exists and P D c ν f γ ( z ) = C D c ν f γ ( z ).
In the following sections, we use C D c ν f ( z ) and P D c ν f γ ( z ) for the Riemann–Liouville fD.

2.3. Incomplete Gamma Function

The incomplete gamma function γ(λ, z), for z ∈ ℂ, is defined by:
γ ( λ , z ) = 0 z ζ λ 1 e ζ d ζ
when λ+ℂ and by its analytic continuation when Re λ ≤ 0 [10] (Section 12.22).
By comparing (7) and (1), we confirm the following lemma with the aid of Lemmas 6 and 4.
Lemma 8. Let λ ∈ ℂ\ℤ<1, ν ∈ ℂ\ℤ>−1, z ∈ ℂ and a ∈ ℂ\{0}. Then:
γ ( λ , z ) = Γ ( λ ) e z C D 0 λ e z , C D 0 ν e a z = 1 Γ ( ν ) a ν e a z γ ( ν , a z )
When n ∈ ℤ>−1, (5) shows that C D 0 n e a z = d n d z n e a z = a n e a z.

3. Confluent Hypergeometric Function in Terms of Riemann–Liouville fD

For a ∈ ℂ, z ∈ ℂ and b ∈ ℂ\ℤ<1, the confluent hypergeometric series 1F1(a; b; z) is defined by:
1 F 1 ( a ; b ; z ) = k = 0 ( a ) k k ! ( b ) k z k
where (z)k for z ∈ ℂ and k ∈ ℤ>−1 denotes l = 0 k 1 ( z + l ) if k ≥ 1 and one if k = 0. The integral representation of 1F1(a; b; z) is given by:
1 F 1 ( a ; b ; z ) = Γ ( b ) Γ ( b a ) Γ ( a ) 0 1 e z t t a 1 ( 1 t ) b a 1 d t
when Re a > 0 and Re (b − a) > 0, in [11] (Section 13.2.1).
This function is a solution of Kummer’s DE for a ∈ ℂ, b ∈ ℂ and z ∈ ℂ:
z d 2 w d z 2 + ( b z ) d w d z a w = 0
This DE has also another solution given by:
z 1 b 1 F 1 ( a b + 1 ; 2 b ; z )
see [11] (Section 13.1.13).

3.1. Solution of Kummer’s DE in Terms of Riemann–Liouville fD

The function 1F1(a; b; z) is known to be expressed in the form of (13) given below, in [8]. We now obtain the solutions of (11) expressed in terms of the Riemann–Liouville fD, by using the method that Nishimoto [4] adopted in deriving the solution of the hypergeometric DE, that is the hypergeometric function, in the form of the Liouville fD.
Proofs of the following two lemmas are presented in the following section.
Lemma 9. There exist the following solutions of (11):
w l ( z ) = p l ( z ) u l ( z ) , l [ 1 , 4 ]
where:
p 1 ( z ) = 1 , p 2 ( z ) = e z , p 3 ( z ) = z 1 b , p 4 ( z ) = z 1 b e z
u l ( z ) = Γ ( 2 b l ) Γ ( a l b l + 1 ) D P 0 a l 1 [ z a l b l e δ l z ]
The values of al, bl, δl and their linear combinations are given in Table 2.
Lemma 10.
w 1 ( z ) = z 1 b F 1 1 ( a b + 1 ; 2 b ; z ) , w 2 ( z ) = z 1 b e z 1 F 1 ( 1 a ; 2 b ; z )
w 3 ( z ) = F 1 1 ( a ; b ; z ) , w 4 ( z ) = e z F 1 1 ( b a ; b ; z )
The following lemma is well known [11] (Sections 13.1.27, 13.1.28).
Remark 2. The relations w1(z) = w2(z) and w3(z) = w4(z) are well known [11] (Sections 13.1.27, 13.1.28).

3.2. Proofs of Lemmas 9 and 10

In place of (11), we now consider the solution of the equation:
z d 2 w d z 2 + ( b δ z ) d w d z δ a w = 0
where δ ∈ ℂ. In the proof of Lemma 9 given below, ul(z) in (13) are the solutions of (18) for a = al, b = bl and δ = δl, which are listed in Table 2.
The following lemma is obtained by using the method of Nishimoto [4] mentioned above.
Lemma 11. Let Re a < −1 and Re (a − b) ≥ 0. Then, a solution of (18) is given by:
w ( z ) = D R 0 a 1 [ z a b e δ z ]
Proof We assume that a solution of (18) is expressed as w ( z ) = D R 0 λ v ( z ) for λ ∈ ℂ satisfying Re λ > 2. Substituting this w(z) in (18) and using Leibniz’s rule given in Lemma 3, we obtain:
D R 0 2 λ [ z v ( z ) ] + D R 0 1 λ [ ( λ 2 + b δ z ) v ( z ) ] δ ( λ 1 + a ) D R 0 λ v ( z ) = 0
Putting λ = 1 − a and hence assuming Re a < −1, and applying D R 0 λ 2 to (20), we obtain:
z v ( z ) + D R 0 1 [ ( b a 1 δ z ) v ( z ) ] = 0
with the aid of Lemma 2. This equation requires that:
d d z [ z v ( z ) ] + ( b z 1 δ z ) v ( z ) = 0
and z · v(z) = 0 when z = 0. Now, we obtain v(z) = za−beδ·z. Thus, we obtain (19). ■
Proof of Lemma 9 The formula for w1(z) in (13) follows from Lemma 11 with the aid of Lemmas 5, 6 and 7. We next give a derivation of the formulas for w2(z) and w3(z) in (13). For l = 2 and l = 3, we put w(z) = pl(z)ul(z) in (11) and obtain (18) with w, a, b and δ replaced by ul, al, bl and δl, respectively. We next give a derivation of the formula for w4(z) in (13). We put w(z) = p4(z)u4(z) = p3(z)p2(z)u4(z) in (11), and then, we obtain (18) with w, a, b and δ replaced by u4, a4 = b3 − a3 = 1 − a, b4 = b3 = 2 − b and δ4 = −δ3 = −1, respectively. ■
Proof of Lemma 10 We put q l = Γ ( 2 b l ) Γ ( a l b l + 1 ) Γ ( a l + 1 ). By using Lemmas 7 and 6 and the last member of (1), (15) is expressed as:
u l ( z ) = q l 0 z η a l b l ( z η ) a l e δ l η d η = q l z 1 b l 0 1 t a l b l ( 1 t ) a l e δ l z t d t
when 1 + Re (al − bl) > 0 and 1 − Re al > 0. This gives:
u l ( z ) = q l z 1 b l k = 0 δ l k z k k ! 0 1 t a l b l + k ( 1 t ) a l d t = q l z 1 b l Γ ( a l + 1 ) k = 0 Γ ( a l b l + 1 + k ) δ l k k ! Γ ( 2 b l + k ) z k = z 1 b l k = 0 ( a l b l + 1 ) k δ l k k ! ( 2 b l ) k z k = z 1 b l F 1 1 ( a l b l + 1 ; 2 b l ; δ l z )
By using (24) in (13), we obtain (16)~(17).

4. The ϕ-dept Liouville fI and Its Analytic Continuations

4.1. Definitions of ϕ-dept Liouville fI

Let z ∈ ℂ and ϕ ∈ ℝ. We denote the half line {z + teiϕ| 0 < t < ∞}, as shown in Figure 1b, by Pϕ(z). When f(z + te) is locally integrable as a function of t in the interval (0, ), we denote this by f ( z ) l o c 1 ( P ϕ ( z ) ).
Definition 5. Let z ∈ ℂ, ϕ ∈ ℝ, s ∈ ℝ and f ( ζ ) l o c 1 ( P ϕ ( z ) ). Let s1 be such that 1 t s 1 | f ( z + t e i ϕ ) | d t converges for s > s1 and diverges for s < s1. We then call s1 the abscissa of convergence, and denote it by s1[f] or s1[f(z)]. We then have s1 ∈ ℝ or s1 = −∞.
We note that there exists such a series {tl}l∈Z>0 of tl ∈ ℝ>0, such that t l s | f ( z + t l e i ϕ ) | 0 and tl → ∞ as l → ∞, if s > s1[f].
Definition 6. Let z ∈ ℂ, ϕ ∈ ℝ, f ( ζ ) l o c 1 ( P ϕ ( z ) ) and f(ζ) be continuous in a neighborhood of ζ = z. Let λ+ℂ, s1[f] < 0 and Re λ < −s1[f]. Then, we define two types of fI, D W ϕ λ f ( z ) and D L ϕ λ f ( z ), by:
D W ϕ λ f ( z ) = 1 Γ ( λ ) P ϕ ( z ) ( ζ z ) λ 1 f ( ζ ) d ζ = e i ϕ λ 1 Γ ( λ ) 0 t λ 1 f ( z + t e i ϕ ) d t
D L ϕ λ f ( z ) = e i π λ D W ϕ λ f ( z ) = 1 Γ ( λ ) P ϕ ( z ) ( z ζ ) λ 1 = e i ( ϕ + π ) λ 1 Γ ( λ ) 0 t λ 1 f ( z t e i ( ϕ + π ) ) d t
We call D L ϕ λ f ( z ) the ϕ-dept Liouville fI of f(z).

4.2. Definitions of ϕ-dept Liouville fD

Let z ∈ ℂ and ϕ ∈ ℝ. When f(z + teiϕ) is infinitely differentiable as a function of t in the interval (0, ), we denote this by f ( z ) C ( P ϕ ( z ) ).
Definition 7. Let f ( z ) l o c 1 ( P ϕ ( z ) ) \ C ( P ϕ ( z ) ). We denote by m2[f], the supremum of n ∈ ℤ>−1 for which n > s1[f] and Dnf(z) exists on Pϕ(z). When f ( z ) C ( P ϕ ( z ) ), we put m2[f] = ∞.
We note that if n ∈ ℤ>0 satisfies s1[f] < n ≤ m2[f], then m2[f(n)] = m2[f] − n.
Definition 8. Let f ( z ) l o c 1 ( P ϕ ( z ) ). Let ν ∈ ℂ satisfy Re ν ≥ 0 and Re ν > s1[f], and m = ⌊Re ν+ 1. We then define fD, W D ϕ ν f ( z ), by:
W D ϕ ν f ( z ) = W D ϕ ν m [ D W m f ( z ) ] , if m m 2 [ f ]
W D ϕ ν f ( z ) = D W [ W D ϕ ν 1 f ( z ) ] = D W [ W D ϕ ν m [ D W m 1 f ( z ) ] ] , if m = m 2 [ f ] + 1
where D W m f ( z ) = ( 1 ) m D m f ( z ) for m ∈ ℤ>−1. Formula (28) applies when Re ν − 1 > s1[f] and the rhs exists. When W D ϕ ν f ( z ) exists, L D ϕ ν f ( z ) also exists and is given by:
L D ϕ ν f ( z ) = e i π ν W D ϕ ν f ( z )
We call L D ϕ ν f ( z ) the ϕ-dept Liouville fD of f(z).

4.3. Analytic Continuations of ϕ-dept Liouville fI

In [1,4,12,13], analytic continuations of ϕ-dept Liouville fI via contour integrals are discussed. The analytic continuation via Hankel’s contour Cϕ(z), which is shown in Figure 3, is defined as follows.
Definition 9. Let f(ζ) be analytic on a neighborhood of Pϕ[z], and ν ∈ ℂ satisfy Re ν > s1[f]. Then:
H D ϕ ν f ( z ) = Γ ( ν + 1 ) 2 π i z + e i ϕ ( z + ) ( ζ z ) ν 1 f ( ζ ) d ζ = Γ ( ν + 1 ) 2 π i e i ϕ ν ( 0 + ) t ν 1 f ( z + t e i ϕ ) d t , ν < 0
H D ϕ n f ( z ) = lim ν n D H ϕ v f ( z ) , n < 0
Definition 10. Let fγ(ζ) = (ζ − c)γ · f0(ζ) where γ ∈ ℂ\ℤ and f0(ζ) is analytic on a neighborhood of Pϕ[z]. Then, H D ϕ ν f γ ( z ) is defined by Definition 9.
The following lemmas follow from the arguments there.
Lemma 12. H D ϕ ν f ( z ) is an analytic function of ν on the domain Re ν > s1[f].
Lemma 13. H D ϕ ν f γ ( z ) is analytic with respect to γ ∈ ℂ, as well as to ν ∈ ℂ on the domain Re ν > s1[f].
Lemma 14. Let H D ϕ ν f ( z ) exist. Then, L D ϕ ν f ( z ) exists, and H D ϕ ν f ( z ) = L D ϕ ν f ( z ) holds.
Lemma 15. Let H D ϕ ν f γ ( z ) exist. Then, L D ϕ ν f γ ( z ) exists, and H D ϕ ν f γ ( z ) = L D ϕ ν f γ ( z ) holds.
We now present the index law and Leibniz’s rule corresponding to Lemmas 2 and 3.
Lemma 16. If Re ν > s1[f] and Re (µ + ν) > s1[f] for µ ∈ ℂ, ν ∈ ℂ and ϕ ∈ ℝ, then:
H D ϕ μ [ H D ϕ ν f ( z ) ] = H D ϕ μ + ν f ( z )
This index law is Theorem 4.3 in [1].
Lemma 17. Let ν ∈ ℂ, ϕ ∈ ℝ and f(z) satisfy −1 + Re ν > s1[f]. Then:
H D ϕ ν [ z f ( z ) ] = z H D ϕ ν f ( z ) + ν H D ϕ ν 1 f ( z )
Proof We see that both sides are equal to:
Γ ( ν + 1 ) 2 π i e i ϕ ν ( 0 + ) t ν 1 ( z + t e i ϕ ) f ( z + t e i ϕ ) d t
In the following sections, we use H D ϕ ν f ( z ) for the Liouville fD.

4.4. The ϕ-dept Liouville fD of the Exponential Function

Lemma 18. Let z ∈ ℂ, a ∈ ℂ, ν ∈ ℂ, and ϕ ∈ ℝ satisfy Re (ae) > 0. Then, the abscissa of convergence of e−az is given by s1[e−az] = −∞, and:
W D ϕ ν e a z = a ν e a z , H D ϕ ν e a z = ( a ) ν e a z
In particular,
H D ϕ π ν e z = e z , | ϕ | < π 2
Proof When λ+ℂ, Re (ae) > 0,
W D ϕ λ e a z = e i ϕ λ 1 Γ ( λ ) 0 t λ 1 e a ( z + t e i ϕ ) d t = a λ e a z
by using (25). The proof of the second equation of (34) is finished by using (26) and Lemma 14. ■
We present the following lemma, but we will not use it later.
Lemma 19. Let b ∈ ℝ\{0}, f(z) = eibz. Then, s1[f] = 0 and if ν+and x ∈ ℝ>0, there exist:
H D 0 ν e i b x : = lim ϵ 0 + D H 0 ν e ( ϵ + i b ) x , H D π ν e i b x : = lim ϵ 0 + D H π ν e ( ϵ + i b ) x
and:
H D 0 ν e i b x = ( i b ) ν e i b x , H D π ν e i b x = ( i b ) ν e i b x
Proof We put ϕ = 0, f(z) = e(−ϵ+ib)z in (30) and take the limit ϵ→ 0+. We then note that we can exchange the order of the limit and the integration, by Lebesgue’s theorem [14] (p. 37), obtaining the first equation in (37). By using (34) in the rhs of that equation, we obtain the first equation in (38). ■

5. Solution of Kummer’s DE in Terms of ϕ-dept Liouville fD

1F1(a; b; z) is a solution of Kummer’s DE (11), as stated in Section 3. Kummer’s function U(a, b, z) is another solution of (11), which has the integral representation given by:
U ( a , b , z ) = 1 Γ ( a ) 0 e z t t a 1 ( 1 + t ) b a 1 d t
when Re a > 0 and Re z > 0 [11] (Section 13.2.5).
We now give a solution of (11), following the method adopted in Section 3.1 for the Riemann–Liouville fD. Proofs of the lemmas in this section are presented in the following section.
Corresponding to Lemma 9, we now have the following lemma.
Lemma 20. There exist the following solutions of (11):
w ˜ l ( z ) = p l ( z ) u ˜ l ( z ) , l [ 1 , 4 ]
where pl(z) are given in (14), and:
u ˜ l ( z ) = e i π ( a l 1 ) D H ϕ ( 1 + δ l ) π / 2 a l 1 [ z a l b l e δ l z ]
The values of al, bl, δl, and their linear combinations are given in Table 2.
Lemma 21.
w ˜ 1 ( z ) = e i ( 1 b ) π z 1 b e z U ( 1 a , 2 b , e i π z ) , w ˜ 2 ( z ) = z 1 b U ( a b + 1 , 2 b , z ) ,
w ˜ 3 ( z ) = e z U ( b a , b , e i π z ) , w ˜ 4 ( z ) = U ( a , b , z )
Remark 3. We find a solution of Kummer’s DE in [15] (Chapter VII, Section 8), where a solution is first obtained for the equation adjoint to Kummer’s DE, by the method we adopted above, and then, a relation connecting the two solutions is used to give the above solution w ˜ 4 ( z ) = U ( a , b , z ).

5.1. Proofs of Lemmas 20 and 21

The following lemma is obtained by using the method of Nishimoto [4], which is mentioned in Section 3.1.
Lemma 22. A solution of (18) for δ = 1 or −1 is:
w ( z ) = H D ϕ π ( δ + 1 ) / 2 a 1 [ z a b e δ z ] , | ϕ | < π 2
Proof We assume that a solution of (18) is expressed as w ( z ) = H D ϕ ν v ( z ) for ν ∈ ℂ. Substituting this w(z) in (18) and using Leibniz’s rule given in Lemma 17, we obtain (20) with λ, R and zero replaced by −ν, H and ϕ, respectively. Putting ν = a − 1 and then applying H D ϕ ν 1, we obtain (22), with the aid of Lemma 16. If we adopt v(z) = za−beδ·z, then s1[v] = −∞ if δ = 1 and | ϕ + π | < π 2, or if δ = −1 and | ϕ | < π 2, and we obtain (44). ■
Proof of Lemma 20 Equation (40) for l = 1 follows from Lemma 22. For l = 2, 3 and 4, see the proof of Lemma 9. For ϕ − (1 + δl)π/2, see the last part of the proof of Lemma 22. The factors e i π ( a l 1 ) are so chosen that (40) gives Lemma 21. ■
Proof of Lemma 21 By using Lemmas 15 and 14 and the last member of (26), (41) is expressed as:
u ˜ l ( z ) = e i π ( a l 1 ) 1 Γ ( 1 a l ) 0 e δ l ( z δ l η ) η a l ( z δ l η ) a l b l d η
when −Re al > −1. By putting η = e−iπδl · zt, we obtain:
u ˜ l ( z ) = 1 Γ ( 1 a l ) z 1 b l e δ l z 0 e e i π δ l z t t a l ( 1 e i π t ) a l b l d t
when −Re al + 1 > 0 and −δl · Re z > 0. The integral in (39) is equal to that in (46) with a, b and z replaced by 1 − al, 2 − bl and e−iπδl · z, respectively, and hence, we have:
u ˜ l ( z ) = z 1 b l e δ l z U ( 1 a l , 2 b l , e i π δ l z )
By using this in (40), we obtain (42)~(43). ■

6. Asymptotic Expansions of Riemann–Liouville fD

Comparing the third member of (26) with (1) and Figure 1, we have the following lemma.
Lemma 23. Let Condition A in Section 1 be satisfied, f(ζ) ∈ 1(P(c, z)), s1[f] < 0 and s1[f] < −Re λ < 0. Then:
R D c λ f ( z ) = L D ϕ λ f ( z ) + 1 Γ ( λ ) P ϕ ( c ) ( z ζ ) λ 1 f ( ζ ) d ζ
Comparing (5) and (30), Figures 2a and 4a, we have the following lemma.
Lemma 24. Let Condition A be satisfied, f(ζ) ∈ 1(P(c, z)), and ν ∈ ℂ\ℤ>−1 satisfy Re ν > s1[f]. Then:
C D c ν f ( z ) = H D ϕ ν f ( z ) + 1 Γ ( ν ) P ϕ ( c ) ( z ζ ) ν 1 f ( ζ ) d ζ
Remark 4. Let Condition A be satisfied, f(ζ) ∈ 1(P(c, z)), and n ∈ ℤ>−1 satisfy n > s1[f]. Then, C D c n f ( z ) = H D ϕ n f ( z ) = d n d z n f ( z ).
Comparing (6) and (30), Figures 2b and 4b, we have the following lemma.
Lemma 25. Let fγ(ζ) satisfy Condition B, and ν ∈ ℂ\ℤ>−1 satisfy Re ν > s1[fγ]. Then:
P D c ν f γ ( z ) = H D ϕ ν f γ ( z ) + 1 Γ ( ν ) e i γ π 2 i sin γ π c + e i ϕ ( c + ) ( z ζ ) ν 1 f γ ( ζ ) d ζ
Remark 5. Let fγ(ζ) satisfy Condition B, and n ∈ ℤ>−1 satisfy n > s1[fγ]. Then, P D c n f γ ( z ) = H D ϕ n f γ ( z ) = d n d z n f γ ( z ).
We express the integral on the rhs of (49) as:
P ϕ ( 0 ) ( y η ) ν 1 f ( c + η ) d η ,
where y = z − c and η = ζ − c. We now obtain the asymptotic expansion of (51) as a function of y.
We use the Taylor series given in [10] (Section 5.4):
( a + h ) μ = k 0 n 1 ( μ k ) a μ k h k + R n ( a , h )
for a ∈ ℂ, h ∈ ℂ, µ ∈ ℂ and n ∈ ℤ>0, where:
R n ( a , h ) = h n 2 π i C ξ μ ( ξ a h ) ( ξ a ) n d ξ
Here, C is a contour, including a and a + h, but not zero.
We now choose α ∈ ℝ>0 and β ∈ ℝ>0 satisfying α < 1 and β < 1, and choose C, such that ξ ∈ ℂ on C satisfies:
α | a | < | ξ a | < | h | + β | a | , β | a | < | ζ a h | , ( 1 α ) | a | < | ξ | < ( 1 + β ) | a | + | h |
We then choose r ∈ ℝ>0, such that:
| ξ | Re μ 1 r | ξ μ | | ξ | Re μ r , ξ C
Remark 6. In using the Taylor series (52), we put a = z − c, h being on Pϕ(0) or Cϕ(0), which are shown in Figures 1 and 3, respectively, and hence, a+h is on Pϕ(z −c) or Cϕ(z −c). If we see Figure 4a with c and z replaced by zero and z − c, respectively, we can easily choose a contour C, as described above.
Remark 7. If |arg ξ| ≤ π, we may choose r = eπ|Im µ|.
We then obtain:
| R n ( a , h ) | < R n ( a , h )
where:
R n ( a , h ) = { 2 Re μ + 1 r α n β | h | n | a | n { ( 1 + 2 β ) ( 1 + β ) Re μ | a | Re μ + | h | Re μ + 1 | a | } , Re μ > 0 2 r α ( 1 α ) Re μ | h | n | a | n Re μ ( 1 + | h | β | a | ) , Re μ 0
Using (52) with (56), we obtain the following lemma.
Lemma 26. Let g ( ζ ) l o c 1 ( P ϕ ( 0 ) ), Re ν > s1[g], δ = 1 or −1, and n ∈ ℤ>0. Then:
I ( 1 + ν , δ , g ( η ) ) : = P ϕ ( 0 ) ( y δ η ) ν 1 g ( η ) d η = y ν 1 k = 0 n 1 ( 1 + ν ) k δ k A k k ! 1 y k + Δ n ( y )
where:
| Δ n ( y ) | < Δ n ( y ) : = | P ϕ ( 0 ) R n ( y , η ) | g ( η ) | d η |
Δ n ( y ) = { 2 Re ν r α n β 1 | y | n { ( 1 + 2 β ) ( 1 + β ) Re ν 1 A n | y | Re ν 1 + A n Re ν | y | } , Re ν + 1 > 0 2 r α ( 1 α ) Re ν + 1 1 | y | n + Re ν + 1 ( A n + A n + 1 * β | y | ) , Re ν + 1 0
A k : = P ϕ ( 0 ) η k g ( η ) d η , A ρ : = | P ϕ ( 0 ) | η | ρ | g ( η ) | d η |
for k ∈ ℤ>−1 and ρ ∈ ℝ>0.
Theorem 1. Let Condition A be satisfied, f(ζ) 1(P(c, z)), ν ∈ ℂ\ℤ>−1 satisfy Re ν > s1[f] and n ∈ ℤ>0. Then:
C D c ν f ( z ) = H D ϕ ν f ( z ) + 1 Γ ( ν ) k = 0 n 1 ( 1 + ν ) k A k k ! 1 ( z c ) ν + k + 1 + 1 Γ ( ν ) Δ n ( z c )
where Δn(z − c) is estimated by (59) and (60), and Ak and A ρ are given by (61) with g(η) replaced by f(c + η).
Proof We express the integral on the rhs of (49) as (51). Putting g(η) = f(c + η) and using (58) in (49), we obtain (62). ■
Theorem 2. Let fγ(ζ) satisfy Condition B, ν ∈ ℂ\ℤ>−1 satisfy Re ν > s1[fγ] and n ∈ ℤ>0. Then:
P D c ν f ( z ) = H D ϕ ν f ( z ) + 1 Γ ( ν ) k = 0 n 1 ( 1 + ν ) k B k k ! 1 ( z c ) ν + k + 1 + 1 Γ ( ν ) Δ n ( z c )
where:
B k = B k ( c ) : = e i γ π 2 i sin γ π C ϕ ( c ) ( ζ c ) k f ( ζ ) d ζ = e i γ π 2 i sin γ π C ϕ ( 0 ) η k f ( c + η ) d η
Remark 8. If n + γ > −1, Δn(z − c) is estimated by (59) and (60) and if k + γ > −1, Bk is equal to Ak given by (61) with g(η) replaced by f(c + η).
Remark 9. When ϕ satisfies z−c = |z−c|·ei(ϕ+π), Theorems 1 and 2 are valid even when the Condition (b) in Condition A is not satisfied. Formula (68) given below is a trivial example.

6.1. fD of the Exponential Function

We now apply Theorem 1 to the function f(z) = e−az. By using (34), we obtain the following results.
Corollary 1. Let a ∈ ℂ\{0}, ν ∈ ℂ\ℤ>−1 and n ∈ ℤ>0. Then:
C D 0 ν e a z = ( a ) ν e a z + 1 Γ ( ν ) k = 0 n 1 ( 1 + ν ) k a k + 1 1 z ν + k + 1 + 1 Γ ( ν ) Δ n ( z )
where:
| Δ n ( z ) | < { 2 n ! ( 1 + 2 β ) r [ 2 ( 1 + β ) | z | ] Re ν 1 + O ( | z | 1 ) α n β | a | n + 1 1 | z | n , Re ν + 1 > 0 2 n ! ( 1 + O ( | z | 1 ) ) α n r | a | n + 1 [ ( 1 α ) | z | ] Re ν + 1 1 | z | n Re ν + 1 0
Proof We choose ϕ, such that aeiϕ = |a|, and obtain A k = e i ϕ ( k + 1 ) 0 t k e | a | t d t = k ! a k + 1. ■
Remark 10. In the above derivation of the second term on the rhs of (65), we use (52) in the integral 0 ( x + s ) ν 1 e a s d s. This derivation is the one given in [10] (Section 16.3), for Whittaker’s function Wk,m(z).
When a = −ib, we have:
Corollary 2. Let b ∈ ℝ\{0}, x ∈ ℝ and ν ∈ ℂ\ℤ>−1. Then, the asymptotic expansion of C D 0 ν e i b x is given by (65) with −a and z replaced by ib and x, respectively.
Remark 11. Sakakibara [16] used the fact that the leading term of the asymptotic expansion of C D 0 1 / 2 e i γ x for γ ∈ ℝ and x ≫ 1 is i γ e i γ x.

6.2. Incomplete Gamma Function

We now put f(z) = ez and ϕ = −π in (49). Then, we obtain:
C D 0 λ e z = H D π λ e z 1 Γ ( λ ) 0 ( z + t ) λ 1 e t d t
By multiplying this by Γ(λ)e−z and comparing it with (8) and (35), we obtain a well-known formula:
γ ( λ , z ) = Γ ( λ ) Γ ( λ , z )
where Γ ( λ , z ) = z z + η λ 1 e η d η.
The asymptotic expansion of (67) is obtained by putting a = −1 and ν = −λ in (65) with (66). By multiplying Γ(λ)e−z to the result, we obtain the asymptotic expansion of (68).

7. Asymptotic Expansions of the Confluent Hypergeometric Function and Kummer’s Function

Lemma 27. Let a ∈ ℂ\ℤ<1, b ∈ ℂ, b − a ∉ ℤ<1, z ∈ ℂ and | ϕ | < π 2. Then:
P D 0 a [ z b a 1 e z ] = H D ϕ a [ z b a 1 e z ] + Γ ( b a ) Γ ( a ) e z H D ϕ π a b [ z a 1 e z ]
Proofs of the lemmas in the present section are given in the following section.
Lemma 28. Let a ∈ ℂ\ℤ<1, b ∈ ℂ\ℤ<1 and b − a ∉<1. Then:
1 F 1 ( a ; b ; z ) = e i a π Γ ( b ) Γ ( b a ) U ( a , b , z ) + e i ( b a ) π Γ ( b ) Γ ( a ) e z U ( b a , b , e i π z )
Remark 12. When a = −m ∈ ℤ<1, 1F1(a; b; z) is a polynomial of degree m in z, by (9).
Lemma 29. We have the following asymptotic expansions:
U ( a , b , z ) = z a k = 0 n 1 ( 1 ) k ( 1 + a b ) k ( a ) k k ! 1 z k + ϵ n ( a , b , z )
U ( b a , b , e i π z ) = e i ( b a ) π z a b k = 0 m 1 ( 1 a ) k ( b a ) k k ! 1 z k + ϵ m ( b a , b , z )
where n ∈ ℤ>0, m ∈ ℤ>0, and:
| ϵ n ( a , b , z ) | < { 2 ( 1 + 2 β ) [ 2 ( 1 + β ) ] Re ( b a ) 1 ( a ) n r + O ( | z | Re ( b a ) ) α n 1 | z | n + Re a , Re ( b a ) 1 > 0 , 2 ( a ) n ( 1 + O ( z 1 ) ) r α n ( 1 α ) Re ( a b ) + 1 1 | z | n + Re a , Re ( a b ) + 1 0
Here, α, β and r are those defined by (54) and (55).
Theorem 3. Let the conditions in Lemma 28 be satisfied. Then, the asymptotic expansion of 1F1(a; b; z) is obtained by using (71) and (72) in the rhs of (70).
The expansion agrees with the formula given in [11] (Section 13.5.1).

7.1. Proofs of Lemmas 27, 28 and 29

Proof of Lemma 27 We put ν = −a and f(z) = zb−a−1e−z in (49), and then, the last term in (49) is:
1 Γ ( a ) P ϕ ( 0 ) ( z ζ ) a 1 ζ b a 1 e ζ d ζ = e i ϕ 1 Γ ( a ) 0 ( z t e i ϕ ) a 1 ( t e i ϕ ) b a 1 e t e i ϕ d t
when Re (b − a) > 0. By comparing this with the last member on the rhs of (26), we see that this is equal to the last term on the rhs of (69) with H replaced by L. By analytic continuation of the obtained equation, we obtain (69) with the aid of Lemmas 7 and 15. ■
Proof of Lemma 28 Multiplying (69) by Γ ( b ) Γ ( b a ) z 1 b e z, we obtain (70), with the aid of (13) with (17) on the lhs and (43) on the rhs. ■
Proof of Lemma 29 Comparing (40) with (45) and (58), we obtain:
w ˜ l ( z ) = 1 Γ ( 1 a l ) p l ( z ) e i ( a l 1 ) π e δ l z I ( a l + b l , δ l , η a l e η )
When l = 3 and l = 4, this is expressed as:
w ˜ 3 ( z ) = 1 Γ ( b a ) z 1 b e i ( a b ) π e z I ( 1 a , 1 , η b a 1 e η )
w ˜ 4 ( z ) = 1 Γ ( a ) z 1 b e i a x I ( 1 b + a , 1 , η a 1 e η )
We obtain (71) from (76) by using (43) on the lhs and (58) on the rhs, where we note that Ak given by (61), for g(η) = e−ηηa−1, is:
A k = 0 η k e η η a 1 d η = Γ ( a + k ) = ( a ) k Γ ( a ) ,
We obtain (72) from (75) by using (43) on the lhs and (58) on the rhs, where we note that Ak given by (61), for g(η) = e−ηηb−a−1, is Ak = Γ(b − a + k) = (b − a)k · Γ(b − a). ■

8. Concluding Remarks

We presented a method of deriving the asymptotic expansion of a function, which is expressed by the Riemann–Liouville fI or fD, when these are given by contour integrals. The derivation of the formulas is done by using contour integrals, and yet, the final formulas are mostly useful for the functions of real variable.
Here, we mention [17] reviewing recent developments on fractional calculus.

Acknowledgments

The authors are grateful to the reviewers for helpful comments. With the help of them, the authors improved the descriptions in this paper.

Author Contributions

Several years ago, Ken-ichi Sato asked Tohru Morita how an asymptotic expansion given by Sakakibara in [16] is derived. In the course of studying the expressions of fIs and fDs via path integrals and contour integrals in [1], the present paper emerged, where the above question is answered in Remark 11.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Morita, T.; Sato, K. Liouville and Riemann–Liouville Fractional Derivatives via Contour Integrals. Frac. Calc. Appl. Anal. 2013, 16, 630–653. [Google Scholar]
  2. Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA; , 1999. [Google Scholar]
  3. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives, Theory and Applications; Gordon and Breach Sc. Publ.: Amsterdam, The Netherlands, 1993. [Google Scholar]
  4. Nishimoto, K. An Essence of Nishimoto’s Fractional Calculus; Descartes Press: Koriyama, Japan, 1991. [Google Scholar]
  5. Morita, T.; Sato, K. Solution of Fractional Differential Equation in Terms of Distribution Theory. Interdiscip. Inf. Sci. 2006, 12, 71–83. [Google Scholar]
  6. Morita, T.; Sato, K. Neumann-Series Solution of Fractional Differential Equation. Interdiscip. Inf. Sci. 2010, 16, 127–137. [Google Scholar]
  7. Oldham, K.B.; Spanier, J. The Fractional Calculus; Dover Publishing Inc.: New York, NY, USA, 2006. [Google Scholar]
  8. Lavoie, J.L.; Tremblay, R.; Osler, T.J. Fundamental Properties of Fractional Derivatives Via Pochhammer Integrals. In Fractional Calculus and its Applications; ; Ross, B., Ed.; Springer-Verlag: Berlin, Germany, 1975; pp. 327–356. [Google Scholar]
  9. Lavoie, J.L.; Osler, T.J.; Tremblay, R. Fractional Derivatives and Special Functions. SIAM Rev 1976, 18, 240–268. [Google Scholar]
  10. Whittaker, E.T.; Watson, G.N. A Course of Modern Analysis; Cambridge University Press: Cambridge, UK, 1935. [Google Scholar]
  11. Abramowitz, M.; Stegun, I.A. Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables; Dover Publishing Inc.: New York, NY, USA, 1972. [Google Scholar]
  12. Nishimoto, K. Fractional Calculus, I; Descartes Press: Koriyama, Japan, 1989. [Google Scholar]
  13. Campos, L.M.B.C. On a Concept of Derivative of Complex Order with Applications to Special Functions. IMA J. Appl. Math. 1984, 33, 109–133. [Google Scholar]
  14. Riesz, F.; Sz.-Nagy, B. Functional Analysis; Dover Publishing Inc: New York, NY, USA, 1990. [Google Scholar]
  15. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; John Wiley: New York, NY, USA, 1993. [Google Scholar]
  16. Sakakibara, S. Properties of Vibration with Fractional Derivative Damping of Order 1/2. JSME Int. J. Ser. C 1997, 40, 393–399. [Google Scholar]
  17. He, J.H. A Tutorial Review on Fractal Spacetime and Fractional Calculus. Int. J. Theor. Phys. 2014, 53, 3698–3718. [Google Scholar]
Figure 1. The paths of integration P(c, z), Pϕ(z) and Pϕ(c).
Figure 1. The paths of integration P(c, z), Pϕ(z) and Pϕ(c).
Mathematics 03 00171f1
Figure 2. The contours of integration: (a) C(c, z+), (b) CP(c, z).
Figure 2. The contours of integration: (a) C(c, z+), (b) CP(c, z).
Mathematics 03 00171f2
Figure 3. The contour of integration Cϕ(z).
Figure 3. The contour of integration Cϕ(z).
Mathematics 03 00171f3
Figure 4. The contours of integration: (a) deformed C(c, z+); (b) deformed CP(c, z).
Figure 4. The contours of integration: (a) deformed C(c, z+); (b) deformed CP(c, z).
Mathematics 03 00171f4
Table 1. List of the fractional integral (fI) and fractional derivative (fD) and the places of their definitions.
Table 1. List of the fractional integral (fI) and fractional derivative (fD) and the places of their definitions.
Riemann–Liouville fI and fDϕ-dept Liouville fI and fD
fI R D c λ f ( z )Definition 1Section 1 L D ϕ λ f ( z )Definition 6Section 4.1
fD R D c ν f ( z )Definition 2Section 2.1 L D ϕ ν f ( z )Definition 8Section 4.2
C D c ν f ( z )Definition 3Section 2.2 H D ϕ ν f ( z )Definition 9Section 4.3
P D c ν f γ ( z )Definition 4Section 2.2 H D ϕ ν f γ ( z )Definition 10Section 4.3
Table 2. Values of al, bl, δl and their linear combinations.
Table 2. Values of al, bl, δl and their linear combinations.
lalblδlal − blal − bl + 12 − bl
1Ab1a − ba − b + 12 –b
2b – ab−1−a−a + 12 –b
31 + a − b2 − b1a – 1ab
41 − a2 –b−1b − a − 1b – ab

Share and Cite

MDPI and ACS Style

Morita, T.; Sato, K.-i. Asymptotic Expansions of Fractional Derivatives andTheir Applications. Mathematics 2015, 3, 171-189. https://doi.org/10.3390/math3020171

AMA Style

Morita T, Sato K-i. Asymptotic Expansions of Fractional Derivatives andTheir Applications. Mathematics. 2015; 3(2):171-189. https://doi.org/10.3390/math3020171

Chicago/Turabian Style

Morita, Tohru, and Ken-ichi Sato. 2015. "Asymptotic Expansions of Fractional Derivatives andTheir Applications" Mathematics 3, no. 2: 171-189. https://doi.org/10.3390/math3020171

Article Metrics

Back to TopTop