Skip to main content

Theory and Modern Applications

Laplace transform for solving some families of fractional differential equations and its applications

Abstract

In many recent works, many authors have demonstrated the usefulness of fractional calculus in the derivation of particular solutions of a significantly large number of linear ordinary and partial differential equations of the second and higher orders. The main objective of the present paper is to show how this simple fractional calculus method to the solutions of some families of fractional differential equations would lead naturally to several interesting consequences, which include (for example) a generalization of the classical Frobenius method. The methodology presented here is based chiefly upon some general theorems on (explicit) particular solutions of some families of fractional differential equations with the Laplace transform and the expansion coefficients of binomial series.

MSC:26A33, 33C10, 34A05.

1 Introduction, definitions and preliminaries

In the past two decades, the widely investigated subject of fractional calculus has remarkably gained importance and popularity due to its demonstrated applications in numerous diverse fields of science and engineering. These contributions to the fields of science and engineering are based on the mathematical analysis. It covers the widely known classical fields such as Abel’s integral equation and viscoelasticity. Also, including the analysis of feedback amplifiers, capacitor theory, generalized voltage dividers, fractional-order Chua-Hartley systems, electrode-electrolyte interface models, electric conductance of biological systems, fractional-order models of neurons, fitting of experimental data, and the fields of special functions, etc. (see, for example, [14]).

In this paper, we apply the Laplace of the fractional derivative and the expansion coefficients of binomial series to derive the explicit solutions to homogeneous fractional differential equations.

We present some useful definitions and preliminaries as follows.

Definitions

  1. 1.

    The fractional derivative of a causal function f(t) (cf. [3, 4]) is defined by

    d α d t α f(t)= { f ( n ) ( t ) if  α = n N , 1 Γ ( n α ) 0 t f ( n ) ( t ) ( t x ) α n + 1 d t if  n 1 < α < n ,

where the Euler gamma function Γ() is defined by

Γ(z)= 0 t z 1 e t dt ( R ( z ) > 0 ) .
  1. 2.

    The Laplace transform of a function f(t), t(0,) is defined by

    L [ f ( t ) ] (s)=F(s)= 0 e s t f(t)dt(sC).
  2. 3.

    The Mittag-Leffler function (cf. [5, 6]) is defined by

    E α , β (z)= k = 0 z k Γ ( α k + β ) ( z , α , β C , R ( α ) > 0 ) .
  3. 4.

    The simplest Wright function (cf. [7, 8]) is defined by

    ϕ(α,β;z)= k = 0 1 Γ ( α k + β ) z k k ! (z,α,βC).
  4. 5.

    The general Wright function Ψ q p (z) (cf. [7, 8]) is defined for zC, complex a i , b j C, and real α i , β j R (i=1,,p; j=1,,q) by the series

    Ψ q p (z) = p Ψ q [ ( a i , α i ) 1 , p ( b j , β j ) 1 , q | z ] := k = 0 i = 1 p Γ ( a i + α i k ) j = 1 q Γ ( b j + β j k ) z k k ! ,

where z, a i , b j C, α i , β j R, i=1,2,,p and j=1,2,,q.

  1. 6.

    The Riemann-Liouville fractional derivatives D a + α y and D b α y of order αC ((α)0) are defined by

    ( D a + α y ) (x)= 1 Γ ( n α ) ( d d x ) n a x y ( t ) d t ( x t ) α n + 1 ( n = [ ( α ) ] + 1 ; x > a )
    (1.1)

and

( D b α y ) (x)= 1 Γ ( n α ) ( d d x ) n x b y ( t ) d t ( t x ) α n + 1 ( n = [ ( α ) ] + 1 ; x < b ) ,
(1.2)

respectively, where [(α)] means the integral part of (α).

  1. 7.

    The Pochhammer symbol (or the shifted factorial, since ( 1 ) n =n! for n N 0 ={0,1,2,}) (cf. [9]) given by

    ( λ ) n = { 1 ( n = 0 ) , λ ( λ + 1 ) ( λ + n 1 ) ( n N 0 / { 0 } ) .
  2. 8.

    The binomial coefficients are defined by

    ( λ n ) = λ ! λ ! ( λ n ) ! = λ ( λ 1 ) ( λ n + 1 ) n ! ,

where λ and n are integers. Observe that 0!=1, then

( λ 0 ) =1, ( λ λ ) =1and ( 1 z ) λ = r = 0 ( λ ) r r ! z r = r = 0 ( λ + r 1 r ) z r .

Preliminaries

  1. 1.

    L[ϕ(α,β;t)](s)= 1 s E α , β ( 1 s ) (α>1, βC; R(s)>0).

  2. 2.

    The Laplace transform of the generalized Wright function is given by

    L { p Ψ q [ ( a i , α i ) 1 , p ( b j , β j ) 1 , q | t ] } ( s ) = 1 s p + 1 Ψ q [ ( 1 , 1 ) , ( a i , α i ) 1 , p ( b j , β j ) 1 , q | 1 s ] ( ( s ) > 0 ) , i = 1 , 2 , , p  and  j = 1 , 2 , , q .
  3. 3.

    L[ D α f(t)](s)= s α [Lf(t)](s) k = 1 n s α k f ( k 1 ) (0) (cf. [10]), where α>0, n1<αn (nN), f(t) C n (0,), f ( n ) (t) L 1 (0,b) for any b>0.

Remark 1.1 By appropriately appealing to Definition 2, it is not difficult to prove Preliminary 3 by the technique of integral transform as follows

L [ D α f ( t ) ] ( s ) = 0 e s t [ D α f ( t ) ] d t = 0 e s t 1 Γ ( n α ) 0 t f ( n ) ( ζ ) ( t ζ ) α n + 1 d ζ d t = 1 Γ ( n α ) 0 ζ e s t f ( n ) ( ζ ) ( t ζ ) α n + 1 d t d ζ = 1 Γ ( n α ) 0 f ( n ) ( ζ ) 0 e s ( u + ζ ) u n α 1 d u d ζ = 1 Γ ( n α ) 0 e s ζ f ( n ) ( ζ ) 0 e s u u n α 1 d u d ζ = 1 Γ ( n α ) 0 e s ζ f ( n ) ( ζ ) Γ ( n α ) s n α d ζ = s α n 0 e s ζ f ( n ) ( ζ ) d ζ = s α n L [ f ( n ) ( t ) ] ( s ) = s α n ( s n L [ f ( t ) ] s n 1 f ( 0 ) s n 2 f ( 0 ) f ( n 1 ) ( 0 ) ) = s α L [ f ( t ) ] s α 1 f ( 0 ) s α 2 f ( 0 ) s α n f ( n 1 ) ( 0 ) = s α L [ f ( t ) ] k = 1 n s α k f ( k 1 ) ( 0 ) .

The interchange of the order of integration in the above derivation can be justified by applying Fubini’s theorem.

2 Solutions of the fractional differential equations

Throughout this section, we let y(t) be such that for some value of the parameter s, the Laplace transform L[y] converges.

Theorem 2.1 Let 1<α<2 and a,bR. Then the fractional differential equation

y (t)+a y ( α ) (t)+by(t)=0
(2.1)

with the initial conditions y(0)= c 0 and y (0)= c 1 has its solution given by

y ( t ) = c 0 k = 0 ( b ) k t 2 k k ! r = 0 Γ ( r + k + 1 ) ( a t 2 α ) r Γ [ ( 2 α ) r + 2 k + 1 ] r ! + c 1 k = 0 ( b ) k t 2 k + 1 k ! r = 0 Γ ( r + k + 1 ) ( a t 2 α ) r Γ [ ( 2 α ) r + 2 k + 2 ] r ! + a c 0 k = 0 ( b ) k t 2 k α + 2 k ! r = 0 Γ ( r + k + 1 ) ( a t 2 α ) r Γ [ ( 2 α ) r + 2 k α + 3 ] r ! + a c 1 k = 0 ( b ) k t 2 k α + 3 k ! r = 0 Γ ( r + k + 1 ) ( a t 2 α ) r Γ [ ( 2 α ) r + 2 k α + 4 ] r ! .
(2.2)

Proof Applying the Laplace transform (see Preliminary 3) and taking into account, we have

s 2 L[y] c 0 s c 1 +a s α L[y]a c 0 s α 1 a c 1 s α 2 +bL[y]=0.
(2.3)

Equation (2.3) yields

L [ y ] = c 0 s + c 1 + a c 0 s α 1 + a c 1 s α 2 s 2 + a s α + b = c 0 k = 0 ( b ) k k = 0 ( k + r r ) ( a ) r s ( α 2 ) r 2 k 1 + c 1 k = 0 ( b ) k k = 0 ( k + r r ) ( a ) r s ( α 2 ) r 2 k 2 + a c 0 k = 0 ( b ) k k = 0 ( k + r r ) ( a ) r s ( α 2 ) r 2 k + α 3 + a c 1 k = 0 ( b ) k k = 0 ( k + r r ) ( a ) r s ( α 2 ) r 2 k + α 4 ,
(2.4)

since

1 s 2 + a s α + b = s α s 2 α + a + b s α = s α ( s 2 α + a ) ( 1 + b s α s 2 α + a ) = s α s 2 α + a k = 0 ( b s α s 2 α + a ) k = k = 0 ( b ) k s α k α ( s 2 α + a ) k + 1 = k = 0 ( b ) k s 2 k 2 ( 1 + a s α 2 ) k + 1 = k = 0 ( b ) k s 2 k 2 r = 0 ( a s α 2 ) r ( k + r r ) = k = 0 ( b ) k r = 0 ( k + r r ) ( a ) r s ( α 2 ) r 2 k 2 .
(2.5)

Thus, from Equation (2.4), we derive the following solution by the inverse Laplace transform to Equation (2.2):

y ( t ) = c 0 k = 0 ( b ) k k ! r = 0 ( k + r ) ! ( a ) r Γ [ ( 2 α ) r + 2 k + 1 ] t ( 2 α ) r + 2 k r ! + c 1 k = 0 ( b ) k k ! r = 0 ( k + r ) ! ( a ) r Γ [ ( 2 α ) r + 2 k + 2 ] t ( 2 α ) r + 2 k + 1 r ! + a c 0 k = 0 ( b ) k k ! r = 0 ( k + r ) ! ( a ) r Γ [ ( 2 α ) r + 2 k α + 3 ] t ( 2 α ) r + 2 k α + 2 r ! + a c 1 k = 0 ( b ) k k ! r = 0 ( k + r ) ! ( a ) r Γ [ ( 2 α ) r + 2 k α + 4 ] t ( 2 α ) r + 2 k α + 3 r ! = c 0 k = 0 ( b ) k t 2 k k ! r = 0 Γ ( r + k + 1 ) ( a t 2 α ) r Γ [ ( 2 α ) r + 2 k + 1 ] r ! + c 1 k = 0 ( b ) k t 2 k + 1 k ! r = 0 Γ ( r + k + 1 ) ( a t 2 α ) r Γ [ ( 2 α ) r + 2 k + 2 ] r ! + a c 0 k = 0 ( b ) k t 2 k α + 2 k ! r = 0 Γ ( r + k + 1 ) ( a t 2 α ) r Γ [ ( 2 α ) r + 2 k α + 3 ] r ! + a c 1 k = 0 ( b ) k t 2 k α + 3 k ! r = 0 Γ ( r + k + 1 ) ( a t 2 α ) r Γ [ ( 2 α ) r + 2 k α + 4 ] r ! .

 □

Example 2.1 The fractional differential equation of a generalized viscoelastic free damping oscillation (cf. [1])

y (t)+a y ( 3 2 ) (t)+by(t)=0
(2.6)

with the initial conditions y(0)= c 0 and y (0)= c 1 has its solution given by

y ( t ) = c 0 k = 0 ( b ) k t 2 k k ! r = 0 Γ ( r + k + 1 ) ( a t 1 2 ) r Γ [ 1 2 r + 2 k + 1 ] r ! + c 1 k = 0 ( b ) k t 2 k + 1 k ! r = 0 Γ ( r + k + 1 ) ( a t 1 2 ) r Γ [ 1 2 r + 2 k + 2 ] r ! + a c 0 k = 0 ( b ) k t 2 k + 1 2 k ! r = 0 Γ ( r + k + 1 ) ( a t 1 2 ) r Γ [ 1 2 r + 2 k + 3 2 ] r ! + a c 1 k = 0 ( b ) k t 2 k + 3 2 k ! r = 0 Γ ( r + k + 1 ) ( a t 2 α ) r Γ [ ( 2 α ) r + 2 k + 5 2 ] r ! .
(2.7)

In particular, if a= 3 and b=8, then the equation

y (t)+ 3 y ( 3 2 ) (t)+8y(t)=0
(2.8)

with the initial conditions y(0)= c 0 and y (0)= c 1 has its solution given by

y ( t ) = c 0 k = 0 ( 8 ) k t 2 k k ! r = 0 Γ ( r + k + 1 ) ( 3 t 1 2 ) r Γ [ 1 2 r + 2 k + 1 ] r ! + c 1 k = 0 ( 8 ) k t 2 k + 1 k ! r = 0 Γ ( r + k + 1 ) ( 3 t 1 2 ) r Γ [ 1 2 r + 2 k + 2 ] r ! + 3 c 0 k = 0 ( 8 ) k t 2 k + 1 2 k ! r = 0 Γ ( r + k + 1 ) ( 3 t 1 2 ) r Γ [ 1 2 r + 2 k + 3 2 ] r ! + 3 c 1 k = 0 ( 8 ) k t 2 k + 3 2 k ! r = 0 Γ ( r + k + 1 ) ( 3 t 1 2 ) r Γ [ r 2 + 2 k + 5 2 ] r ! .
(2.9)

Theorem 2.2 Let 1<α<2 and a,bR. Then the fractional differential equation

y ( α ) (t)+a y (t)+by(t)=0
(2.10)

with the initial conditions y(0)= c 0 and y (0)= c 1 has its solution given by

y ( t ) = c 0 k = 0 ( b ) k k ! r = 0 Γ ( r + k + 1 ) ( a ) r t ( α 1 ) r + α k Γ [ ( α 1 ) r + α k + 1 ] r ! + c 1 k = 0 ( b ) k k ! r = 0 Γ ( r + k + 1 ) ( a ) r t ( α 1 ) r + α k + 1 Γ [ ( α 1 ) r + α k + 2 ] r ! + a c 0 k = 0 ( b ) k k ! r = 0 Γ ( r + k + 1 ) ( a ) r t ( α 1 ) r + α k + α 1 Γ [ ( α 1 ) r + α k + α ] r ! .
(2.11)

Proof Applying the Laplace transform (see Preliminary 3) and taking into account, we have

s α L[y] s α 1 y(0) s α 2 y (0)+asL[y]a y (0)+bL[y]=0.

That is,

( s α + a s + b ) L[y]= c 0 s α 1 + c 1 s α 2 +a c 0 .
(2.12)

Equation (2.12) yields

L [ y ] = c 0 s α 1 + c 1 s α 2 + a c 0 s α + a s + b = c 0 k = 0 ( b ) k k = 0 ( k + r r ) ( a ) r s r α r α k 1 + c 1 k = 0 ( b ) k k = 0 ( k + r r ) ( a ) r s r α r α k 2 + a c 0 k = 0 ( b ) k k = 0 ( k + r r ) ( a ) r s r α r α k α ,
(2.13)

since

1 s α + a s + b = s 1 s α 1 + a + b s 1 = s 1 ( s α 1 + a ) ( 1 + b s 1 s α 1 + a ) = s 1 s α 1 + a k = 0 ( 1 ) k ( b s 1 s α 1 + a ) k = k = 0 ( b ) k s k 1 ( s α 1 + a ) k + 1 = k = 0 ( b ) k s α k α ( 1 + a s 1 α ) k + 1 = k = 0 ( b ) k s α k α r = 0 ( k + r r ) ( a s 1 α ) r = k = 0 ( b ) k r = 0 ( k + r r ) ( a ) r s r α r α k α .
(2.14)

Thus, from Equation (2.13), we derive the following solution by the inverse Laplace transform to Equation (2.11):

y ( t ) = c 0 k = 0 ( b ) k k ! r = 0 Γ ( r + k + 1 ) ( a ) r Γ [ ( α 1 ) r + α k + 1 ] t ( α 1 ) r + α k r ! + c 1 k = 0 ( b ) k k ! r = 0 Γ ( r + k + 1 ) ( a ) r Γ [ ( α 1 ) r + α k + 2 ] t ( α 1 ) r + α k + 1 r ! + a c 0 k = 0 ( b ) k k ! r = 0 Γ ( r + k + 1 ) ( a ) r Γ [ ( α 1 ) r + α k + α ] t ( α 1 ) r + α k + α 1 r ! .

This solution can be expressed by the Wright function as

y ( t ) = c 0 k = 0 ( b ) k t α k k ! 1 Ψ 1 [ ( k + 1 , 1 ) ( α k + 1 , α 1 ) | a t α 1 ] + c 1 k = 0 ( b ) k t α k + 1 k ! 1 Ψ 1 [ ( k + 1 , 1 ) ( α k + 2 , α 1 ) | a t α 1 ] + a c 0 k = 0 ( b ) k t α k + α 1 k ! 1 Ψ 1 [ ( k + 1 , 1 ) ( α k + α , α 1 ) | a t α 1 ] .

 □

Example 2.2 If we let α= 3 2 , a=1 and b=2 in Theorem 2.2, then the equation

y ( 3 2 ) (t) y (t)2y(t)=0

has a solution

y ( t ) = c 0 k = 0 2 k k ! r = 0 Γ ( r + k + 1 ) t r 2 + 3 2 k Γ ( r 2 + 3 2 k + 1 ) r ! + c 1 k = 0 2 k k ! r = 0 Γ ( r + k + 1 ) t r 2 + 3 2 k + 1 Γ ( r 2 + 3 2 k + 2 ) r ! c 0 k = 0 2 k k ! r = 0 Γ ( r + k + 1 ) t r 2 + 3 2 k + 1 2 Γ ( r 2 + 3 2 k + 3 2 ) r ! .

Theorem 2.3 Let 0<α<1 and bR. Then the equation

y ( α ) (t)by(t)=0
(2.15)

with the initial condition y(0)= c 0 has its solution given by

y ( t ) = c 0 k = 0 ( b t α ) k Γ ( α k + 1 ) = c 0 E α , 1 ( b t α ) .
(2.16)

Proof Applying the Laplace transform to Equation (2.15), that is,

s α L[y] c 0 s α 1 bL[y]=0,

we have

L [ y ] = c 0 s α 1 s α b = c 0 s 1 1 b s α = c 0 s 1 k = 0 ( b s α ) k = c 0 k = 0 b k s α k 1 , y ( t ) = c 0 k = 0 ( b t α ) k Γ ( α k + 1 ) = c 0 E α , 1 ( b t α ) .

 □

Remark 2.1 If a=0 in Equation (2.10), then the equation

y α (t)+by(t)=0,1<α2
(2.17)

with the initial conditions y(0)= c 0 and y (0)= c 1 has its solution given by

y ( t ) = c 0 k = 0 ( b t α ) k Γ ( α k + 1 ) + c 1 t k = 0 ( b t α ) k Γ ( α k + 2 ) = c 0 E α , 1 ( b t α ) + c 1 t E α , 2 ( b t α ) .
(2.18)

Theorem 2.4 A nearly simple harmonic vibration equation (cf. [1])

y α (t)+ w 2 y(t)=0,1<α2
(2.19)

with the initial conditions y(0)= c 0 and y (0)= c 1 has its solution given by

y(t)= c 0 E α , 1 ( w 2 t α ) + c 1 t E α , 2 ( w 2 t α ) .
(2.20)

Proof We complete this proof by putting b= w 2 in Equation (2.17). □

In fact, by applying the Laplace transform to a linear fractional differential equation with the initial conditions, we can easily derive its solutions as the previous forms in this paper.

References

  1. Gorenflo R, Mainardi F, Srivastava HM: Special functions in fractional relaxation-oscillation and fractional diffusion-wave phenomena. In Proceedings of the Eighth International Colloquium on Differential Equations. Edited by: Bainov D. VSP Publishers, Utrecht; 1998:195-202. Presented at the Eighth International Colloquium on Differential Equations held at Plovdiv, Bulgaria, 18-23 August 1997

    Google Scholar 

  2. Hilfer R: Applications of Fractional Calculus in Physics. World Scientific, Singapore; 2000.

    Book  MATH  Google Scholar 

  3. Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

    MATH  Google Scholar 

  4. Mainardi F: The fundamental solutions for the fractional diffusion-wave equation. Appl. Math. Lett. 1996, 9(6):23-28. 10.1016/0893-9659(96)00089-4

    Article  MATH  MathSciNet  Google Scholar 

  5. Mittag-Leffler G:Sur la nouvelle fonction E α (x). C. R. Acad. Sci. 1903, 137: 554-558.

    Google Scholar 

  6. Tomovski Z, Hilfer R, Srivastava HM: Fractional and operational calculus with generalized fractional derivative operators and Mittag-Leffler type functions. Integral Transforms Spec. Funct. 2010, 21: 797-814. 10.1080/10652461003675737

    Article  MATH  MathSciNet  Google Scholar 

  7. Erdélyi A, Magnus W, Oberhettinger F, Tricomi F 3. In Higher Transcendental Functions. Krieger, Melbourne; 1981.

    Google Scholar 

  8. Srivastava HM, Parmar RK, Chopra P: A class of extended fractional derivative operators and associated generating relations involving hypergeometric functions. Axioms 2012, 1(3):238-258. 10.3390/axioms1030238

    Article  MATH  Google Scholar 

  9. Lin S-D, Chang L-F, Srivastava HM: Some families of series identities and associated fractional differintegral formulas. Integral Transforms Spec. Funct. 2009, 20(10):737-749. 10.1080/10652460902782354

    Article  MATH  MathSciNet  Google Scholar 

  10. Caputo M: Elasticita e Dissipazione. Zanichelli, Bologna; 1969.

    Google Scholar 

Download references

Acknowledgements

Dedicated to Professor Hari M Srivastava.

The present investigation was supported, in part, by the National Science Council of the Republic of China under Grant NSC-101-2115-M-033-002.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shy-Der Lin.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

S-DL carried out the molecular genetic studies, participated in the sequence alignment and drafted the manuscript. C-HL participated in the sequence alignment.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Lin, SD., Lu, CH. Laplace transform for solving some families of fractional differential equations and its applications. Adv Differ Equ 2013, 137 (2013). https://doi.org/10.1186/1687-1847-2013-137

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2013-137

Keywords