solving fractional differential equations by using ...solving fractional differential equations by...
TRANSCRIPT
i
SOLVING FRACTIONAL DIFFERENTIAL EQUATIONS BY USING
CONFORMABLE FRACTIONAL DERIVATIVES DEFINITION
By
Shadi Ahmad Al-Tarawneh
Supervisor
Dr. Khaled Jaber
This Thesis was Submitted in Partial Fulfillment of the Requirements for
the Masterâs Degree of Science in Mathematics
Faculty of Graduate Studies
Zarqa University
May, 2016
ii
COMMITTEE DECISION
This Thesis/Dissertation (Solving Fractional Differential Equations by Using Conformable
Fractional Derivatives Definition) was Successfully Defended and Approved on
âŠâŠâŠâŠâŠâŠâŠâŠâŠ..
Examination Committee
Signature
Dr. Khaled Jaber (Supervisor)
Assoc. Prof. of Mathematics ------------------------------
------------------------------
Dr. (Member)
------------------------------
Dr. (Member)
------------------------------
Dr. (Member)
------------------------------
iii
ACKNOWLEDGEMENT
In the name of Allah, the most Gracious, most Merciful.
First and foremost, I thank ALLAH for bestowing me with health, patience, and
knowledge to complete this thesis and without ALLAHâs grace, we couldn't have done it.
So to ALLAH returns all the praise and gratitude.
I would like to express my gratitude to Dr. Khaled Jaber, the supervisor of my thesis,
who was a generous and instructor. I was blessed to be supervised by him. Thanks go to
him for his guidance, suggestions and invaluable encouragement throughout the
development of this research.
Also, I should thank with great respect and honor all my professors, doctors and
instructors to be taught by them.
My great gratitude is due to my parents, beloved brothers, sisters and all friends for
their encouragement, support, prayers and being always there for me.
Last, but not least, I would like to thank my friend Omar Al Nasaan and my beloved
wife Ghosoun Al Hindi for their help, support, effort and encouragement was in the end
what made this thesis possible.
iv
Table of Contents
COMMITTEE DECISION ............................................................................................................... ii
ACKNOWLEDGEMENT ................................................................................................................ iii
Table of Contents ................................................................................................................................ iv
List of Symbols .................................................................................................................................. vi
List of Abbreviations ....................................................................................................................... vii
List of Figures and Tables .............................................................................................................. viii
ABSTRACT ........................................................................................................................................ ix
INTRODUCTION .............................................................................................................................. 1
Chapter one: Basic Concepts and Preliminaries ................................................................................. 3
1.1 History of Fractional Calculus ............................................................................................... 3
1.2 Some Special Functions .......................................................................................................... 3
1.2.1. Gamma Function ........................................................................................................... 4
1.2.2. The Beta Function ......................................................................................................... 8
1.2.3 Mittag-Leffler Function .............................................................................................. 10
1.3 The Popular Definitions of Fractional Derivatives/Integrals in Fractional Calculus .............. 12
1.3.1. Riemann-Liouville (RL) ................................................................................................ 13
1.3.2. M.Caputo (1967) .......................................................................................................... 13
1.3.3. Oldham and Spainer (1974) ....................................................................................... 13
1.3.4. Kolwanker and Gangel (1994) .................................................................................. 13
1.3.5. Conformable Fractional Derivative (2014) ............................................................. 13
1.4 Riemann-Liouville (R-L) Fractional Derivative and Integration ....................................... 14
1.4.1. Riemann-Liouville Fractional Integration .............................................................. 14
1.4.2. Riemann-Liouville Fractional Derivative ............................................................... 19
1.5 Caputo Fractional Operator .................................................................................................. 25
1.6 Comparison between Riemann-Liouville and Caputo Fractional Derivative Operators . 36
1.7 Ordinary Differential Equations ........................................................................................... 39
1.7.1. Bernoulli Differential Equation ................................................................................ 39
1.7.2 Second-Order Linear Differential Equations .......................................................... 39
Chapter Two: Conformable Fractional Definition ............................................................................ 41
2.1 Conformable Fractional Derivative ..................................................................................... 41
2.2. Conformable Fractional Integrals ....................................................................................... 52
2.3 Applications ............................................................................................................................ 54
v
2.4. Abelâs Formula and Wronskain for Conformable Fractional Differential Equation ...... 55
2.4.1. The Wronskain ............................................................................................................. 56
2.4.2. Abelâs Formula ............................................................................................................ 57
Chapter 3: Exact Solution of Riccati Fractional Differential Equation ............................................. 59
3.1 Fractional Riccati Differential Equation (FRDE) ............................................................... 59
3.2 Applications: .......................................................................................................................... 67
Future Work ...................................................................................................................................... 70
Conclusions ....................................................................................................................................... 71
REFERENCES.................................................................................................................................. 72
Abstract in Arabic ............................................................................................................................. 76
vi
List of Symbols
Symbol Denoted
â The set of Natural Numbers
â The set of Real Numbers
ðŸ(ð , ð¥) The Lower Incomplete Gamma Function
ð(ð¥) The Digamma Function
ðµð¥(ð, ð) The Incomplete Beta Function
ðžðŒ,ðœ(ð§) The Two-Parameters Mittage-Leffler Function
ðžðŒ,ðœ(ð)(ð¥) The k-th Derivative of Mittage-Leffler Function
ð·ðâðð(ð¥) The Riemann-Liouville Fractional Integral
ð·ððð(ð¥) The Riemann-Liouville Fractional Derivative
ð·ð ðâðð(ð¥) The Caputo Fractional Derivative
ððŒð(ð¥) The Conformable Fractional Derivative
ðœðŒð(ð¥) The Conformable Fractional Integral
Î(ð¥) Gamma Function
vii
List of Abbreviations
Abbreviation Denoted
R-L Riemann-Liouville
FDEs Fractional Differential Equations
FRDE Fractional Riccati Differential Equation
viii
List of Figures and Tables
Figure/Table Page
Figure 1 : Graph of Gamma Function Î(ð¥) 5
Table 1: Comparison between Riemann-Liouville and Caputo
38
ix
SOLVING FRACTIONAL DIFFERENTIAL EQUATIONS BY USING
CONFORMABLE FRACTIONAL DERIVATIVES DEFINITION
By
Shadi Ahmad Al-Tarawneh
Supervisor
Dr. Khaled Jaber
ABSTRACT
Ordinary and partial fractional differential equations are very important in many fields
like Fluid Mechanics, Biology, Physics, Optics, Electrochemistry of Corrosion,
Engineering, Viscoelasticity, Electrical Networks and Control Theory of Dynamic Systems.
The fractional Ricatti equation is studied by many researchers by using different
numerical methods. Our interest in solving fractional differential equations began when
Prof. Khalil, et al., presented a new simpler and more efficient definition of fractional
derivative. The new definition reflects a nature extension of normal derivative which is
called âconformable fractional derivativeâ.
In this thesis, we found an exact solution to the fractional Ricatti differential equation,
and we introduced some theorems which lead us to find a second solution when we have a
given particular solution.
1
INTRODUCTION
The sense of differentiation operator ð· = ð ðð¥â is known to all who went through
ordinary calculus. And for proper function ð, the ðâth derivative of ð, namely ð·ðð(ð¥) =
ððð(ð¥)ðð¥ðâ is well defined where ð is positive integer.
The beginning of derivative theory of non-integers order dates back to leibnizâs note in
his letter to LâHopital, dated 30 September 1695 [4, 5]. He questioned that what would it
mean if the derivative of one half is discussed [4, 5, 10]. Ever after the fractional calculus
has got the interest, such as Euler, Laplace, Fourier, Abel, Liouville, Rieman, and Lauraut.
Since three centuries, fractional calculus became the traditional calculus but not very
common amongst science and engineering community. This field of applied mathematics
translates the reality of nature better! Therefore, to make this field ready as prevalent
subject to science and engineering community, add another dimension to understand or
describe basic nature in accessible way. Possibly factional calculus is what nature
comprehend and to talk with nature in this language is more effective [4].Fractional
calculus was a theoretical since till some economies and engineering applications involve
fractional differential equations [4].
Most fractional differential equations (FDEs) donât have exact solution, so
approximate and numerical techniques [6, 24, 25] must be used. Various numerical and
approximate methods to solve the FDEs have been discussed as variational iteration
method [9], homotopy perturbation method [24], Adomainâs decomposition method [32],
2
homotopy analysis method [31], collocation method [12, 13, 28] and finite difference
method [26, 27, 29].
Riccati differential equation refers to the Italian Nobleman Count Jacopo Francesco
Riccati (1676-1754). The fractional Riccati equation is studied by many researchers using
different numerical methods [15, 18, 20].
Recently, Khalil, et al. [14] introduced a new definition of fractional calculus which is
simpler and more efficient. The new definition reflects a nature extension of normal
derivative which is called âconformable fractional derivativeâ.
The objective of the present thesis is to use conformable fractional derivative to solve
fractional differential equation, specifically, fractional Riccate differential equation.
The thesis is organized as follows, chapter one contains seven sections, and each
handles a preliminary concept of some important special functions and some basic
information about linear differential equation. Also this chapter gives the two familiar
operators of fractional calculus which are: Rieman-Liouville (R-L) and Caputo operators
and study several important rules, as well as, the differences between these operators.
Chapter two focuses on a new definition of âconformable fractional derivativesâ and
studies the rules of differentiation and integration.
In chapter three we found an exact solution of fractional Riccati differential equation
and introduced some theorems which lead us to find a second solution when we have a
given particular solution.
3
Chapter one: Basic Concepts and Preliminaries
This chapter shows popular fractional derivatives presented by Riemann-liouville
(R-L) and Caputoâs fractional differential operators and their properties. At first, it is
needed to introduce some special functions like Gamma function, Beta function and
Mittage-Leffler and their properties, then we will introduce some basic differential
equations of first order.
1.1 History of Fractional Calculus
The history of âfractional derivativeâ started in 1695 by LâHopetal, when he
questioned Leibniz what would it mean ð·ðð¥
ð·ð¥ð if ð =
1
2 in his letter, Leibniz answered that
would be a paradox. This was the beginning of âfractional derivativeâ and influence on
this new concept to a number of mathematicians like Laplace, Euler, Fourier, Lacroix,
Riemann, Abel and Liouville. Lacroix was the first mathematician who released a
paper mentioning fractional derivatives in it. He began with the polynomial ð(ð¥) =
ð¥ð, where m is a positive integer, and differentiated it n times where ð ⥠ð to get
ð·ð
ð·ð¥=
ð!
(ðâð)! ð¥ðâð ,then he used Legendres symbol Î to have
ð·ðð
ð·ð¥ð=
Î(ð+1)
Î(ðâð+1)ð¥ðâð .
Using this formula when ð = 1 ððð ð =1
2 he obtained ð·
1
2ð =2âð¥
âð.
1.2 Some Special Functions
In this section we are going to introduce the basic definitions and properties of
the upcoming special functions: Gamma, Beta and Mittag-Leffler which are the corner
stone in fractional calculus.
4
1.2.1. Gamma Function
The Gamma function is considered as an extension to the factorial function to
real and complex numbers not only integers. It plays an important role in many fields
of applied science. It has many equivalent definitions, from those, one can prove that
the Gamma function is defined for all real numbers except at ð¥ = 0,â1 ,â2 ,âŠ, also
Î(ð¥) has an integral representation for complex number ð, where the real part of the
complex number Z is positive[17], and it can be presented in many formulas as we
will discuss below.
Definition 1.2.1. [23] (Euler, 1730) Let ð¥ > 0 The Gamma function is defined by
Î(ð¥) = â«(â log(ð¡))ð¥â1ðð¡
1
0
, (1.1)
by elementary changes of variables these historical definitions take the more usual
forms:
Theorem 1.2.1. [17, 23] For ð¥ > 0,
Î(ð¥) = â« ð¡ð¥â1ðâð¡ðð¡ ,
â
0
(1.2)
or sometimes
Î(ð¥) = 2â« ð¡2ð¥â1ðâð¡2ðð¡
â
0
. (1.3)
Proof: Use respectively the changes of variable ð¢ = âlog (ð¡) and ð¢2 = â log(ð¡) in
(1.1)
5
Figure 1 : Graph of Gamma Function Î(ð¥)
Another definition of the Gamma function was written in a letter from Euler to
his friend Gold bach in October 13, 1729 is shown below.
Definition 1.2.2. [23] (Euler, 1729 and Gauss, 1811) Let ð¥ > 0 , ð â ð, define:
Îð(ð¥) =
ð!. ðð¥
ð¥(ð¥ + 1)⊠(ð¥ + ð)
= ðð¥
ð¥(1 + ð¥ 1â )âŠ(1 + ð¥ ðâ )
(1.4)
Theorem 1.2.2. [23] (Weierstrass) For any real number, except the non-positive
integers {0,-1 âŠ} we have the infinite product
6
1
Î(ð¥)= ð¥ððŸð¥â (1 +
ð¥
ð) ðâð¥ ðââ
ð=1 . (1.5)
where γ is the Eulerâs constant γ =0.5772156649015328606065120900824024310421...
which is defined by: ðŸ = ððððââ (1 +1
2+â¯+
1
ðâ ððð (ð)) .
Below are two important properties of Gamma function.
Theorem 1.2.3. [16, 17, 23] let ð¥ â 0, ð â â, then:
1. Î(n + 1) = n! (1.6)
2. Î(ð¥) = Î(ð¥+1)
ð¥, for negative value of x . (1.7)
3. Î(ð¥)Î(1 â ð¥) = ð
ð ðð(ðð¥) . (1.8)
4. ðð
ðð¥ðÎ(ð¥) = â« ð¡ð¥â1ðâð¡(ðð ð¡)ððð¡
â
0
, ð¥ > 0 . (1.9)
5. Î(ð¥) = ð¥â1â (1 +1
ð)ð¥
(1 +ð¥
ð)â1
âð=1 . (1.10)
6. Î (1
2+ ð§)Î (
1
2â ð§) = ð sec ðð§. (1.11)
7. 1
Î(ð§)= ð§ lim
ðââ{ðâð§â (1 +
ð§
ð)
ð
ð=1
} (1.12)
From the above we can get:
(a) Î (1
2) = âð
(b) Î (5
2) =
3
2Î (3
2) =
3
2.1
2Î (1
2) =
3
4âð
7
(c) Î (â3
2) =
Î(â3 2â + 1)
â32â
=Î(â12 )
â32â=
Î(12)
â32 â
â12
=4
3âð
Definition 1.2.3. The lower incomplete Gamma function is defined by [17, 19]:
ðŸ(ð , ð¥) = â«ð¡ð â1ðâð¡ð¥
0
. ðð¡ (1.13)
and the upper incomplete Gamma function
ð€(ð , ð¥) = â« ð¡ð â1ðâð¡. ðð¡
â
ð¥
(1.14)
The Relation between Gamma function and incomplete Gamma function is given by
[17].
(a) ðŸ(ð , ð¥) =â
ð¥ð ðâð¥ð¥ð
ð (ð + 1)âŠ(ð + ð)
â
ð=0
= ð¥ð ð€(ð )ðâð¥âð¥ð
ð€(ð + ð + 1)
â
ð=0
(1.15)
(b) ðððð¥ââ
ðŸ(ð , ð¥) = Î(ð ) (1.16)
(c) ðŸ(ð , ð¥) + Î(ð , ð¥) = Î(ð ) (1.17)
Definition 1.2.4. The Digamma function Ï(x) is defined by [17]
ð(ð¥) =
ð
ðð¥ðð Î(ð¥) =
ð€â²(ð¥)
ð€(ð¥) (1.18)
Here are some properties of Digamma functions:
8
1) ð(ð§ + ð) = ð(ð§) +1
ð§+
1
ð§ + 1+â¯+
1
ð§ + ð â 1 (1.19)
2) ð(ð§) â ð(1 â ð§) =âð
tan(ðð§) (1.20)
1.2.2. The Beta Function
The Beta function is useful function related to the Gamma functions. It is defined
for ð¥ > 0 and ðŠ > 0 by the two equivalent identities:
Definition 1.2.5. [23] The Beta function (or Eulerian integral of the first kind) is given
by
ðµ(ð¥, ðŠ) = â« ð¡ð¥â1(1 â ð¡)ðŠâ1ðð¡1
0; 0 †ð¡ †1 (1.21)
= 2 â« ð ðð(ð¡)2ð¥â1 ððð (ð¡)2ðŠâ1 ðð¡
ð 2â
0
; 0 †ð¡ â€ð
2
This definition is also applicable for complex numbers ð¥ and ðŠ such as ð ð(ð¥) > 0
and ð ð(ðŠ) > 0, and Euler gave (1.22) in 1730. The name of Beta function was
introduced for the first time by Jacques Binet (1786-1856) in (1839) [23] and he
provided many achievements on the subject.
The Beta function is symmetric as will be shown in the next theorem:
Theorem 1.2.5. let ð ð(ð¥) > 0 and ð ð(ðŠ) > 0 , Then
ðµ(ð¥, ðŠ) =
Î(ð¥)Î(ðŠ)
Î(ð¥ + ðŠ)= ðµ(ðŠ, ð¥) (1.22)
Proof: by using the definite integral (1.3)
9
Î(ð¥)Î(ðŠ) = 4â« ð¢2ð¥â1ðâð¢2ðð¢â« ð£2ðŠâ1ðâð£
2ðð£
â
0
â
0
= 4â« â« ðâ(ð¢2+ð£2) ð¢2ð¥â1ð£2ðŠâ1
â
0
ðð¢ðð£
â
0
Now by using the polar variables ð¢ = ð cosð and ð£ = ð sin ð so that,
Î(ð¥)Î(ðŠ) = 4â« â« ðâð2
ð 2â
0
ð2(ð¥+ðŠ)â1 cos2xâ1 ð sin2yâ1 ð ðððð
â
0
= 2â« ðâð2
â
0
ð2(ð¥+ðŠ)â1ðð. 2 â« cos2xâ1 ð sin2yâ1 ððð
ð 2â
0
= Î(x + y)B(x, y) â
From relation (1.23) follows
ðµ(ð¥ + 1, ðŠ) =Î(ð¥ + 1)Î(ðŠ)
Î(ð¥ + ðŠ + 1)=
xÎ(ð¥)Î(ðŠ)
(x + y)Î(ð¥ + ðŠ)=
ð¥
ð¥ + ðŠðµ(ð¥, ðŠ)
This is the beta function functional equation
ðµ(ð¥ + 1, ðŠ) =ð¥
ð¥ + ðŠðµ(ð¥, ðŠ) (1.23)
Definition 1.2.6. The incomplete Beta function ðµð(ð¥, ðŠ)is defined by:
ðµð(ð¥, ðŠ) = â« ð¡ð¥â1(1 â ð¡)ðŠâ1. ðð¡ ,
ð
0
0 < ð < 1 (1.24)
Note that from the above:
ðµ (1
2,1
2) = ð
10
ðµ (1
3,2
3) =
2 â3
3ð
ðµ (1
4,3
4) = ð â2
ðµ(ð¥, 1 â ð¥) = ð
sin (ðð¥)
ðµ(ð¥, 1) = 1
ð¥
ðµ(ð¥, ð) = (ð â 1)!
ð¥. (ð¥ + 1)⊠(ð¥ + ð â 1) ð ⥠1
ðµ(ð, ð) = (ð â 1)! (ð â 1)!
(ð + ð â 1)! ð ⥠1 , ð ⥠1
1.2.3 Mittag-Leffler Function
The Mittag-Leffler function is a generalization of the exponential function and it is
one of the most important functions that are related to fractional differential equations.
Definition 1.2.7. [3, 5, 17] The one and two-parameter Mittag-Leffler functions are
defined, respectively, by:
ðžð(ð¥) = â
ð¥ð
Î(ðð + 1) , ð > 0
â
ð=0
(1.25)
ðžð,ð(ð¥) = â
ð¥ð
Î(ðð + ð) , ð > 0, ð > 0
â
ð=0
(1.26)
If ð = 1 and ð â â
11
ðž1,1(ð¥) = â
ð¥ð
Î(ð + 1)=
â
ð=0
âð¥ð
n!
â
ð=0
= ðð¥ (1.27)
ðž1,2(ð¥) = â
ð¥ð
Î(ð + 2)
â
ð=0
=âð¥ð
(ð + 1)!
â
ð=0
=1
ð¥â
ð¥ð+1
(n + 1)!
â
ð=0
=ðð¥ â 1
ð¥
(1.28)
ðž1,3(ð¥) = â
ð¥ð
Î(ð + 3)
â
ð=0
=âð¥ð
(ð + 2)!
â
ð=0
=1
ð¥2â
ð¥ð+2
(n + 2)!
â
ð=0
=ðð¥ â 1â ð¥
ð¥2
(1.29)
In general,
ðž1,ð =1
ð¥ðâ1{ðð¥ â â
ð¥ð
n!
ðâ2
ð=0
} (1.30)
Easily, we can obtain the following:
(a) ðž2,1(ð¥2) = â
ð¥2ð
ð€(2ð + 1)
â
ð=0
=âð¥2ð
(2ð)!
â
ð=0
= ððð â(ð¥) (1.31)
(b) ðž2,2(ð¥2) = â
ð¥2ð
ð€(2ð + 2)
â
ð=0
=âð¥2ð+1
ð¥(2ð + 1)!
â
ð=0
=ð ððâ(ð¥)
ð¥ (1.32)
(c) ðž2,1(âð¥2) = â
(âð¥2)ð
Î(2ð + 1)
â
ð=0
=â(â1)ðð¥2ð
(2ð)!
â
ð=0
= ððð (ð¥) (1.33)
(d) ðž2,2(âð¥2) = â
(âð¥2)ð
Î(2ð + 2)
â
ð=0
=â(â1)ðð¥2ð+1
ð¥(2ð + 1)!
â
ð=0
=ð ðð(ð¥)
ð¥ (1.34)
The Mittage-Leffler function has the following relations :
12
ðžð,ð(ð¥) = ð¥ ðžð,ð+ð(ð¥) +
1
ð€(ð) (1.35)
ðžð,ð(ð¥) = ððžð,ð+1(ð¥) + ðð¥
ð
ðð¥ ðžð,ð+1(ð¥) (1.36)
Obviously, from (1.36) we have
ð
ðð¥ ðžð,ð(ð¥) =
1
ðð¥ [ðžð,ðâ1(ð¥) â (ð â 1) ðžð,ð(ð¥) ] (1.37)
The ð-th derivative of Mittage-Leffler function is given as follows:
ðð
ðð¥ð[ð¥ðâ1 ðžð,ð(ð¥
ð)] = ð¥ðâðâ1ðžð,ðâð(ð¥ð) , ð â ð > 0 , ð = 0, 1 ,⯠(1.38)
The integration of the Mittage-Leffler function is given as follows:
â« ðžð,ð(ð ð¡
ð)ð¡ðâ1ð¥
0
ðð¡ = ð¥ððžð,ð+1(ð ð¥ð) (1.39)
The relation (1.39) is a special case and the following relation is more general:
1
Î(ð£)â« (ð¥ â ð¡)ð£â1ð¥
0
ðžð,ð(ð ð¡ð)ð¡ðâ1ðð¡ = ð¥ð+ð£â1 ðžð,ð+ð£(ð ð¥
ð) , ð£ > 0 (1.40)
From (1.40) we obtain the following important formulas:
1
Î(ð)â« (ð¥ â ð¡)ðâ1ððð¡ ðð¡ = ð¥ð ðž1,ð+1(ðð¥) , ð > 0 ð¥
0
(1.41)
1
Î(ð)â« (ð¥ â ð¡)ðâ1 cosh(ðð¡) ðð¡ = ð¥ð ðž2,ð+1((ðð¥)
2) , ð > 0 ð¥
0
(1.42)
1
ð€(ð)â« (ð¥ â ð¡)ðâ1 ð ððâ(ðð¡) ðð¡ = ð ð¥ð+1 ðž2,ð+2((ðð¥)
2) , ð > 0 ð¥
0
(1.43)
1.3 The Popular Definitions of Fractional Derivatives/Integrals in
Fractional Calculus
In this section we listed the popular definition of fractional calculus [3]:
13
1.3.1. Riemann-Liouville (RL) [3, 4, 5]:
ð·ð¡ðŒ
ð ð(ð¡) =1
ð€(ð â ðŒ)(ð
ðð¡)ð
â«ð(ð¥)
(ð¡ â ð¥)ðŒâð+1ðð¥
ð¡
ð
(1.44)
(ð â 1) †ðŒ < ð ,where ðŒ is a real number, ð is integer.
1.3.2. M.Caputo (1967) [3,4]:
ð·ð¡ðŒ
ðð ð(ð¡) =
1
ð€(ð â ðŒ)â«
ð(ð)(ð¥)
(ð¡ â ð¥)ðŒ+1âððð¥
ð¡
ð
(1.45)
(ð â 1) †ðŒ < ð , where ðŒ is a real number and ð is integer
1.3.3. Oldham and Spainer (1974) [4]:
The scaling property for fractional derivatives
ððð(ðœð¥)
ðð¥ð= ðœð
ððð(ðœð¥)
ð(ðœð¥)ð (1.46)
1.3.4. Kolwanker and Gangel (1994) [4]:
Kolwanker and Gangel (KG) defined a local fractional derivative to explain the
behavior of âcontinuous but nowhere differentiableâ function for 0 < ð < 1 , the local
fractional derivative at point ð¥ = ðŠ , for ð: [0,1] â â is:
ð·ðð(ðŠ) =
ðð(ð(ð¥) â ð(ðŠ))
ð(ð¥ â ðŠ)ð (1.47)
1.3.5. Conformable Fractional Derivative (2014) [4]:
let ð: [0,â) â ð , ð¡ > 0 , then the Conformable fractional derivative of ð of order ðŒ is
defined by
14
ððŒ(ð)(ð¡) = ððð
ðâ0
ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)
ð (1.48)
for all ð¡ > 0 , ðŒ â (0,1)
1.4 Riemann-Liouville (R-L) Fractional Derivative and Integration
In this section, we listed some presentations, rules and properties of Riemann-
Liouville integration and differentiation and their proofs.
1.4.1. Riemann-Liouville Fractional Integration
We need to use the following fact to define the fractional integration of Riemann-
Liouville:
If ð is an integrable function on[ð, ð], then for ð â â and for ð¥ â [ð, ð], we have
ð·ðŒâðð(ð¥) =
1
(ð â 1)!â«(ð¥ â ð¡)ðâ1ð(ð¡)
ð¥
ð
ðð¡. (1.49)
By using (ð â 1)! = Î(ð) and if we replace the order (ð) by the order(ð),
where ð â ð , then we get the following definition:-
Definition 1.4.1. [3, 4, 19, 22] let ð(ð¥) be a piecewise continuous on ð = (0,â) and
intergrable on any finite subinterval of ðâ² = [0,â) and for ð > 0 , ð¥ > 0 we call
ð·âðð(ð¥) =1
Î(ð)â«(ð¥ â ð¡)ðâ1ð(ð¡) ðð¡
ð¥
0
(1.50)
The Riemann-Liouville fractional integral of order ð of ð
Remark 1.4.1. [19, 22] The Riemannâs definition is given by:
15
ð·ðâðð(ð¥) =
1
Î(ð)â«(ð¥ â ð¡)ðâ1ð(ð¡) ðð¡.
ð¥
ð
(1.51)
where ð > 0 , ð¥ > ð
The Liouvilleâs definition is given by:
ð·âââð ð(ð¥) =
1
Î(ð) â«(ð¥ â ð¡)ðâ1ð(ð¡)ðð¡.
ð¥
ââ
where p > 0
Note that we use the symbol ð·âðð(ð¥) instead of ð·0âðð(ð¥) when the lower limit of
the integral equals zero.
Properties 1.4.1. [19,22] If ð(ð¥) and â(ð¥) are continuous functions a, ð â ð , and
ð,ð > 0 , then:
ð·ðâð(ð·ð
âðð(ð¥)) = ð·ðâð(ð·ð
âðð(ð¥)) = ð·ðâ(ð+ð)ð(ð¥) (1.52)
ð·ðŒâð(ðð(ð¥) + ðâ(ð¥)) = ðð·ðŒ
âðð(ð¥) + ðð·ðŒâðâ(ð¥) (1.53)
Theorem 1.4.1. [19,22] (Basic rules of Riemann-Liouville fractional integral)
Let ð > 0 , ð¥ > 0, then
1. ð·âðð¥ð =Î(ð + 1)
Î(ð + ð + 1)ð¥ð+ð , ð > â1 (1.54)
2. ð·âðð =ð
Î(ð + 1)ð¥ð , ð is a constant (1.55)
16
3. ð·âðððð¥ =
ððð¥
ððð€(ð)ðŸ(ð, ðð¥) , ð > 0
where γ(p,cx) is the lower incomplete Gamma functions
(1.56)
4. ð·âð(sin ðð¥) = ðð¥ð+1ðž2,ð+2 (â(ðð¥ )2) (1.57)
5. ð·âð(cos ðð¥) = ð¥ð+1ðž2,ð+1 (â(ðð¥ )2) (1.58)
6. ð·âð(cosh ðð¥) = ð¥ððž2,ð+1 ((ðð¥ )2) (1.59)
7. ð·âð(sinh ðð¥) = ðð¥ð+1ðž2,ð+2 ((ðð¥ )2) (1.60)
8. ð·âð ðð ð¥ =ð¥ð
Î(ð + 1)[ðð ð¥ â ðŸ â ð(ð + 1)] (1.61)
where ð is the digamma function and ðŸ = âð(1) = âÎâ²(1) â
0.5772157 is Euler constant.
Proof:
(1) ð·âðð¥ð = 1
Î(ð)â« (ð¥ â ð¡)ðâ1ð¡ðð¥
0ðð¡
=1
Î(ð)â«(1 â
ð¡
ð¥)ðâ1
ð¥ðâ1ð¡ðð¥
0
ðð¡
By substituting ð¢ = ð¡ ð¥â
= 1
Î(ð)â«(1 â ð¢)ðâ1ð¥ðâ1(ð¢ð¥)ð1
0
ð¥ðð¢
=1
Î(ð)â«(1 â ð¢)ðâ1ð¢ðð¥ð+ð1
0
ðð¢
17
= 1
Î(ð)ð¥ð+ðð£(ð + 1, ð)
=Î(ð + 1)
Î(ð + ð + 1)ð¥ð+ð â
(2) If we set ð = 0 in (1.54), then the proof is complete
(3)
ð·âðððð¥ =1
Î(ð)â«(ð¥ â ð¡)ðâ1ð¥
0
ððð¡ðð¡
=1
Î(ð)â«(
ð(ð¥ â ð¡)
ð)
ðâ1ð¥
0
ððð¡ðð¡
=1
Î(ð)â«ð¢ðâ1
ððâ1
ðð¥
0
ððð¥âð¢ðð¢
ð=
ððð¥
ððð€(ð)â« ð¢ðâ1ðð¥
0
ðâð¢ðð¢ ,
By substituting ð¢ = ð(ð¥ â ð¡)
=ððð¥
ððÎ(ð)ðŸ(ð, ðð¥) â
(4) ð·âð(ð ðð ðð¥) =1
Î(ð)â«(ð¥ â ð¡)ðâ1ð¥
0
ð ðð(ðð¡) ðð¡
=1
Î(ð)â«(ð¥ â ð¡)ðâ1ð¥
0
ð ðð(ðð¡)
ðð¡ðð¡ ðð¡
Simply by using (1.34) and (1.40),
ð·âð(ð ðð ðð¥) = ðð¥ð+1ðž2,ð+2(â(ðð¥)2) â
18
(5) Follows by using (1.33) and (1.40) and the same as (4).
(6) By using (1.42), we get:
ð·âð(ððð â(ðð¥)) =1
ð€(ð)â«(ð¥ â ð¡)ðâ1 ððð â(ðð¡) . ðð¡
ð¥
0
= ð¥ððž2,ð+1((ðð¥)2) â
(7) Follows by using (1.43) and the same as (6).
(8) The proof can be found in [19].
Remark 1.4.2. [19,22] The fractional integral of ððð (ðð¥) , ð ðð(ðð¥) can be expressed in
generalized ð ðð and ððð functions as:
ð·âð cos(ðð¥) =1
Î(ð)â«(ð¥ â ð¡)ðâ1ð¥
0
cos(ðð¡) ðð¡ = ð¶ð¥(ð, ð) (1.62)
ð·âð sin(ðð¥) =1
Î(ð)â«(ð¥ â ð¡)
ð¥
0
sin(ðð¡) ðð¡ = ðð¥(ð, ð) (1.63)
Remark 1.4.3 [19, 22] We can express the fractional integral function ððð¥ by using
Mittage-Leffler function as
ð·âðððð¥ = ð¥ððž1,ð+1(ðð¥) (1.61)
Proof:
By using (1.15) and (1.27), then
Dâpððð¥ =ððð¥
ððÎ(ð)ðŸ(ð, ðð¥) =
ððð¥
ððÎ(ð)(ðð¥)ðÎ(ð)ðâðð¥ðž1,ð+1(ðð¥)
19
= ð¥ððž1,ð+1(ðð¥)
1.4.2. Riemann-Liouville Fractional Derivative
The most important approaches to define the fractional derivative is using the
integration of fractional order in the same as the following fact:
ð·ðŒðð = ð·ðŒ
ð(ð·ðâðð) , ð, ð â â, ð > ð
Riemann-Liouville use the later fact to introduce the following definition:
Definition 1.4.2. [3, 5, 19,22] (Riemann-Liouville fractional derivative)
The Riemann-Liouville fractional derivative of ð(ð¥) of order ðŒ, ð â 1 < ðŒ < ð,
ð â â is defined by:
ð·ððŒð(ð¥) = ð·ð (ð·ð
â(ðâðŒ)ð(ð¥))
=ðð
ðð¥ð1
Î(ð â ðŒ)â«(ð¥ â ð¡)ðâðŒ+1ð¥
ð
ð(ð¡). ðð¡
(1.62)
Definition 1.4.3. [3, 5, 19, 22] Let ð(ð¥) be a function defined on the closed interval
[ð, ð] and let ðŒ â [0,1), then the left Riemann-Liouville ðŒ derivative of ð(ð¥) is:
ð·ððŒð(ð¥) =
1
Î(1 â ðŒ)
ð
ðð¥â«
ð(ð¡)
(ð¥ â ð¡)ðŒ
ð¥
ð
. ðð¡ (1.63)
The right Riemann-Liouville ðŒ derivative of ð(ð¥) is
ð·ððŒð(ð¥) =
â1
Î(1 â ðŒ)
ð
ðð¥â«
ð(ð¡)
(ð¡ â ð¥)ðŒ
ð
ð¥
. ðð¡ (1.64)
20
But when ðŒ is any number greater than 1. Then the definition will be as the
following
Definition 1.4.4. [3, 5, 19, 22]
Let ð(ð¥) be a function defined on the closed interval [ð, ð] and let ðŒ â
[ð â 1, ð), ð â â. Then the left Riemann-Liouville ðŒ derivative of ð(ð¥) is:
ð·ððŒð(ð¥) =
1
Î(ð â ðŒ)
ðð
ðð¥ðâ«
ð(ð¡)
(ð¥ â ð¡)ðŒâð+1
ð¥
ð
. ðð¡ (1.65)
and the right Riemann-Liouville ðŒ derivative of ð(ð¥) is
ð·ððŒð(ð¥) =
(â1)ð
Î(ð â ðŒ)
ðð
ðð¥ðâ«
ð(ð¡)
(ð¡ â ð¥)ðŒâð+1
ð
ð¥
. ðð¡ (1.66)
Note that the required condition required in the definitions is to be ð-times
continuously differentiable.
The relationship between integration and differentiation of Riemann-Liouville
operators for the arbitrary order ð are shown as follows:
The Derivative of fractional integral could be shown as:
ð·ðŒð (ð·ðŒ
âðð(ð¥)) = ð·ðâðð(ð¥), (1.67)
where ð(ð¥) is continuous also ð ⥠ð ⥠0
precisely, when ð ⥠0 then ð·ðŒð (ð·ðŒ
âðð(ð¥)) = ð(ð¥) (1.68)
21
Preposition 1.4.2. [19,22] Let ð1(ð¥), ð2(ð¥) be two functions defined on[ð, ð], and let
ðŒ â [ð â 1, ð), ð â â, ð, ðœ â â and ð·ððŒð1(ð¥),ð·ð
ðŒð2(ð¥) exist, then
ð·ððŒ[ðð1(ð¥) + ðœð2(ð¥)] = ðð·ð
ðŒð1(ð¥) + ðœð·ððŒð2(ð¥) (1.69)
Proof:
ð·ððŒ[ðð1(ð¥) + ðœð2(ð¥)] =
1
Î(ð â ðŒ)
ðð
ðð¥ðâ«[ðð1(ð¥) + ðœð2(ð¥)]
(ð¥ â ð¡)ðŒâð+1
ð¥
ð
ðð¡
=ð
Î(ð â ðŒ)
ðð
ðð¥ðâ«
ð1(ð¥)
(ð¥ â ð¡)ðŒâð+1
ð¥
ð
ðð¡ +ðœ
Î(ð â ðŒ)
ðð
ðð¥ðâ«
ð2(ð¥)
(ð¥ â ð¡)ðŒâð+1
ð¥
ð
ðð¡
= ðð·ððŒð1(ð¥) + ðœð·ð
ðŒð2(ð¥) â
Preposition 1.4.3. (Interpolation Property)
Let ð(ð¥) be a function defined on [ð, ð] and let ðŒ â [0,1). Let ð(ð¥) have a
continuous derivative of sufficient order and ð·ððŒð(ð¥) exists, then
limðŒâ1
ð·ððŒð(ð¥) = ðâ²(ð¥) (1.70)
and limðŒâ0
ð·ððŒð (ð¥) = ð(ð¥) (1.71)
Proof: see [22]
We can generalize the above equalities in preposition 1.4.3 for any positive
number ðŒ to be
limðŒâð
ð·ððŒð(ð¥) = ð(ð)(ð¥) (1.72)
22
and limðŒâðâ1
ð·ððŒð (ð¥) = ð(ðâ1)(ð¥) (1.73)
where ðŒ â [ð â 1, ð) , ð â â and with the same condition of the preposition (1.4.3).
Preposition1.4.4. (Some properties of Riemann-Liouville fractional derivative)
1) The integral of (Riemann-Liouville) derivative is given by
ð·ðâð(ð·ð
ðð(ð¥)) = ð·ð
ðâðð(ð¥) ââ[ð·ðŒ
ðâðâ1ð(ð¥)]
ð¥=ð
(ð¥ â ð)ðâðâ1
Î(ð â ð)
ðâ1
ð=0
(1.74)
where ð â 1 < ð < ð , ð â â
2) ð·ðâðŒ(ð·ð
ðŒð(ð¥)) = ð(ð¥) ââ[ð·ðŒðŒâðâ1ð(ð¥)]ð¥=ð
(ð¥ â ð)ðŒâðâ1
Î(ðŒ â ð)
ðâ1
ð=0
(1.75)
3) The fractional derivative of fractional derivative is shown as:-
ð·ðð(ð·ð
ðŒð(ð¥)) = ð·ð+ðŒð(ð¥) â â[ð·ðŒðŒâðâ1ð(ð¥)]ð¥=ð
(ð¥ â ð)âðâðâ1
Î(âp â k)
ðâ1
ð=0
where ð â 1 < ð < ð , ð â 1 < ðŒ < ð, ð,ð â â
(1.76)
Remark 1.4.4.
ð·ðð·ðð(ð¥) = ð·ð+ðð(ð¥) = ð·ðð·ðð(ð¥) (1.77)
if and only if
ð(ð)(0) = 0 , ð = 0,1,⊠, ð where ð = max(ð,ð),
where ðâ 1 †ð < ð and ð â 1 †ð < ð
23
Theorem 1.4.2. [19,22] The Riemann-Liouville ð derivative does not satisfy the
following
1) ð·ðŒð(ðâ) = ðð·ð
ð(â) + âð·ðð(ð)
2) ð·ðð(ð â â) = ð(ð)(â(ð¥))â(ðŒ)(ð¥)
3) ð·ðŒð (ðââ ) =
âð·ðð(ð) â ðð·ð
ð(â)
â2
Theorem 1.4.2. [19,22] The Riemann-Liouville ð derivative of known functions:
Let ð > 0 , ð¥ > 0 , ð, ð â â , then
1) ð·ðð¥ð =Î(ð + 1)
Î(ð â ð + 1)ð¥ðâð , ð > â1 (1.78)
2) ð·ðð =ð
Î(1 â ð)ð¥âð (1.79)
3) ð·ðððð¥ = ð¥âððž1,1âð(ðð¥) (1.80)
4) ð·ð cos(ðð¥) = ð¥âððž2,1âð(â(ðð¥)2) (1.81)
5) ð·ð sin(ðð¥) = ðð¥1âððž2,2âð((ðð¥)2) (1.82)
6) ð·ð cosh(ðð¥) = ð¥âððž2,1âð((ðð¥)2) (1.83)
7) ð·ð sinh(ðð¥) = ðð¥1âððž2,2âð((ðð¥)2) (1.84)
8) ð·ð ln(ð¥) =ð¥âð
Î(1 â ð)[ln(ð¥) â ðŸ â ð(1 â ð)] (1.85)
Proof:
(1) Let ð â 1 < ð < ð , ð â â, then
ð·ðð¥ð = ð·ð[ð·â(ðâð)ð¥ð]
24
= ð·ð [Î(ð + 1)
Î(ð + ð â ð + 1)ð¥ð+ðâð]
=Î(ð + 1)
Î(ð + ð â ð + 1).Î(ð + ð â ð + 1)
Î(ð + ð â ð â ð + 1)ð¥ð+ðâðâð
=Î(ÎŒ + 1)
Î(ÎŒ â p + 1)ð¥ðâð â
(2) It follows by substituting ð = 0 in (1.78)
(3) Using ð·âðððð¥ = ð¥ððž1,ð+1(ðð¥)
= ð¥ðâ(ðð¥)ð
Î(ð + ð + 1)
â
ð=0
=âððð¥ð+ð
Î(ð + ð + 1)
â
ð=0
=âðð
Î(ð + 1)
â
ð=0
.Î(ð + 1)
Î(ð + ð + 1)ð¥ð+ð
=âðð
Î(ð + 1)
â
ð=0
ð·âðð¥ð
(1.86)
Now, by using (1.86) we have
ð·ðððð¥ = ð·ð[ð·â(ðâð)ððð¥] = ð·ð [âðð
Î(k + 1)
â
ð=0
ð·â(ðâð)ð¥ð]
=âðð
Î(k + 1)
â
ð=0
ð·ðð¥ð =âðð
Î(k + 1).Î(ð + 1)ð¥ðâð
Î(ð â ð + 1)
â
ð=0
= ð¥âðâ(ðð¥)ð
Î(ð â ð + 1)
â
ð=0
= ð¥âððž1,1âð(ðð¥) â
(4) ð·ð cos(ðð¥) = ð·ð[ð·â(ðâð) cos(ðð¥)]
25
= ð·ð[ð¥ðâððž2,ðâð+1(â(ðð¥)2)]
= ð¥ðâð+1âð+1ðž2,ðâð+1âð(â(ðð¥)2)
= ð¥âððž2,1âð(â(ðð¥)2) â
(5) Similarly of (4).
(6) ð·ð cosh(ðð¥) = ð·ð[ð·â(ðâð) cosh(ðð¥)]
= ð·ð[ð¥ðâððž2,ðâð+1((ðð¥)2)]
= ð¥ðâð+1âðâ1ðž2,ðâð+1âð(â(ðð¥)2)
= ð¥âððž2,1âð((ðð¥)2) â
(7) Similarly of (6)
(8) To proof see [19]
1.5 Caputo Fractional Operator
In 1967 M.Caputo published a paper[11]. He put a new definition of fractional
derivative. In this section we introduced Caputo fractional derivative and some
properties of this definition.
Definition 1.5.1. [3, 4, 5, 11, 19, 22] let ð be ð âtimes differentiable function,
ð¥, ð â â , ð¥ > ð and ðŒ â [0,1). Then the Caputo fractional differential operator of
order ðŒ of ð is defined by:
ð·ððŒð ð(ð¥) =
1
Î(1 â ðŒ)â«
ðâ²(ð¡)
(ð¥ â ð¡)ðŒ
ð¥
ð
ðð¡
26
Definition 1.5.2. [3, 4, 5, 11, 19,22] let ð be ð-times differentiable function, ð¥, ð â
â , ð¥ > ð and ðŒ â (ð, ð â 1). Then the caputo fractional differential operator of ðŒ is
defined as:
ð·ððŒð(ð¥)ð =
1
Î(ð â ðŒ)â«
ð(ð)(ð¡)
(ð¥ â ð¡)ðŒâð+1
ð¥
ð
ðð¡
Remark 1.5.1.
Because of similarity between (R-L) and Caputo fractional integration, the symbol
ð·ðâðŒð(ð¥) will be indicated to (R-L) and Caputo fractional integral.
Remark 1.5.2
The symbol ð·ð ððŒð(ð¥)is used to denote Caputo fractional derivative of order ðŒ
with lower limit ð and the symbol ð·ðŒð(ð¥)ð is used to denote caputo fractional
derivative of order ðŒ with lower limit 0.
Preposition 1.5.1. [11, 19,22] let ð(ð¥), ð(ð¥) be two functions such that both
ð·ð ððŒð(ð¥), ð·ð
ðŒð ð(ð¥) exist for ðŒ â [0,1) and let ð, ð â â.
Then
ð·ððŒ(ðð(ð¥) + ðð(ð¥)) = ð ð·ð
ðŒð ð(ð¥) +ð ð ð·ððŒð ð(ð¥) (1.87)
Proof: using the definition of Caputo fractional ðŒ derivative
ð·ððŒð (ðð(ð¥) + ðð(ð¥)) =
1
Î(1 â ðŒ)â«(ðð(ð¡) + ðð(ð¡))â²
(ð¥ â ð¡)ðŒ
ð¥
ð
ðð¡
27
=1
Î(1 â ðŒ)[ðâ«
ðâ²(ð¥)
(ð¥ â ð¡)ðŒ
ð¥
ð
ðð¡ + ðâ«ðâ²(ð¥)
(ð¥ â ð¡)ðŒðð¡
ð¥
ð
]
=1
Î(1âðŒ)ð â«
ðâ²(ð¥)
(ð¥âð¡)ðŒ
ð¥
ððð¡ +
1
Î(1âðŒ)ð â«
ðâ²(ð¥)
(ð¥âð¡)ðŒðð¡
ð¥
ð
= ð ð·ððŒð ð(ð¥) + ð ð·ð
ðŒð ð(ð¥) â
We can generalize the previous result for any ðŒ â [ð â 1, ð)
The Relation between integration and differentiation of Caputo operator of order
ðŒ are given as shown:
The Caputo derivative of fractional integral is
ð·ððŒð (ð·ð
âðŒð(ð¥)) = ð(ð¥) (1.88)
The fractional integral of Caputo derivative is
ð·ðâðŒ( ð·ð ð
ðŒð(ð¥)) = ð(ð¥) â â(ð¥ â ð)ð
ð!
ðâ1
ð=0
ð(ð)(ð) (1.89)
From (1.88) and (1.89) we have
ð·ððŒð (ð·ð
âðŒð(ð¥)) â ð·ðâðŒ( ð·ð ð
ðŒð(ð¥)) (1.90)
Generally, we can conclude:
ð·ð[ð·â(ðâðŒ)ð(ð¥)] â ð·â(ðâðŒ)[ð·ðð(ð¥)]
28
Thus
ð·ððŒð(ð¥) â ð·ð
ðŒð ð(ð¥) (1.91)
which implies that the Caputo derivative is not equivalent with (Riemann-
Liouville) derivative.
Preposition 1.5.2. [11, 19,22] let ð â â , ðŒ â [ð â 1, ð). Let the function ð(ð¥) be an n-
times differentiable function. Then the representation of the Caputo ðŒ derivative:
ð·ððŒð ð(ð¥) = ð·ð
â(ðâðŒ) ð·ððð ð(ð¥) (1.92)
where ð·ðâðŒð(ð¥) =
1
Î(ðŒ)â«
ð(ð¡)
(ð¥âð¡)1âðŒ
ðŒ
ððð¡
is the Riemann-Liouville ðŒ integral
Theorem1.5.1. [11, 19,22] (Relation between Caputo ðŒ derivative and Riemann-
Liouville ðŒ derivative).
Let ð â â,ðŒ â [ð â 1, ð). And let ð(ð¥) be a function such that ð·ððŒð ð(ð¥) and
ð·ððŒð(ð¥) exist. Then the relation between the (R-L) and the Caputo derivatives is given
by:
ð·ððŒð ð(ð¥) = ð·ð
ðŒð(ð¥) ââ(ð¥ â ð)ðâðŒ
Î(ð + 1 â ðŒ)
ðâ1
ð=0
ð(ð)(ð) (1.93)
Proof: The well-known Taylor Series expansion of ð about ð¥ = 0 is
29
ð(ð¥) = ð(0) + ð¥ðâ²(0) +ð¥2
ð¥!ðâ²â²(0) +â¯+
ð¥ðâ1
(ð â 1)!ð(ðâ1)(0) + ð ðâ1
=âð¥ð
Î(ð + 1)
ðâ1
ð=0
ð(ð)(0) + ð ðâ1
(1.94)
where, considering the following
ð·âðð(ð¡) = â«â« âŠ
ð¡1
ð
ð¡
ð
â« ð(ð)
ð¡ðâ1
ð
ððâŠðð2 ðð1
=1
(ð â 1)!â«ð(ð)
ð¡
ð
(ð¡ â ð)(ðâ1)ðð
(1.95)
The previous formula is called cauchyâs formula for repeated integration.
ð ðâ1 = â«ð(ð)(ð¡)(ð¥ â ð¡)ðâ1
(ð â 1)!
ð¥
0
ðð¡ =1
Î(ð)â«ð(ð)(ð¡)
ð¥
0
(ð¥ â 1)ðâ1ðð¡ (1.96)
Now, by using linearity of Riemann-Liouville, the (Riemann-Liouville) derivative
of power function, the properties of Riemann-Liouville integrals and the representation
formula.
ð·ððŒð(ð¡) = ð·ð
ðŒ [âð¥ð
Î(ð + 1)ð(ð)(0) + ð ðâ1
ðâ1
ð=0
] = âð·ððŒ
ðâ1
ð=0
ð¥ð
Î(ð + 1)ð(ð)(0) + ð·ð
ðŒð ðâ1
=âÎ(ð + 1)
Î(ð â ðŒ + 1)
ðâ1
ð=0
ð¥ðâðŒ
Î(ð + 1)ð(ð)(0) + ð·ð
ðŒð·âðð(ð)(ð¥)
30
=âð¥ðâðŒ
Î(ð â ðŒ + 1)
ðâ1
ð=0
ð(ð)(0) + ð·â(ðâðŒ)ð(ð)(ð¥)
= âð¥ðâðŒ
Î(ð â ðŒ + 1)
ðâ1
ð=0
ð(ð)(0) + ð·ððŒð ð(ð¥)
⎠ð·ððŒð ð(ð¥) = ð·ð
ðŒð(ð¡) ââð¥ðâðŒ
Î(ð â ðŒ + 1)
ðâ1
ð=0
ð(ð)(0)
Preposition 1.5.3. [11, 19, 22] Let ðŒ â [0,1], let ð(ð¥) be a function with second
continuous bounded derivative in [ð, ð] for every ð > ð and ð·ððŒð ð(ð¥) exist, then:
1) limðâ1
ð·ððŒð ð(ð¥) = ðâ²(ð¥) (1.97)
2) limðâ0
ð·ð ððŒð(ð¥) = ð(ð¥) â ð(ð) (1.98)
To proof see [11].
We can generalize the above equations in preposition 1.5.3 for any positive ðŒ to be:
limðâð
ð·ððŒð ð(ð¥) = ð(ð)(ð¥) (1.99)
and limðâðâ1
ð·ð ððŒð(ð¥) = ð(ðâ1)(ð¥) â ð(ðâ1)(0) (1.100)
where ðŒ â [ð â 1, ð), ð â â and with the same condition of the preposition.
Preposition 1.5.4. [11, 19, 22]
The Caputo differential operator does not satisfy the following:
31
1) ð·ððŒ(ðâ)ð = ð ð·ð
ðŒð (â) + â ð·ððŒð (ð)
2) ð·ððŒð
âð =
â ð·ððŒð (ð) + ð ð·ð
ðŒð (â)
â2
3) ð·ððŒ(ð â â)ð = ð(ðŒ)(â(ð¥))â(ðŒ)(ð¥)
where ð(ðŒ)(ð¥), â(ðŒ)(ð¥) are the Caputo ðŒ derivative.
Now, I will give counter example to show that the above rule does not satisfy for
Caputo Operator considers that:
ð·ðŒð (ð¡) =1
Î(2 â ðŒ)ð¡1âðŒ ⎠ð·
13ð (ð¡) = 1.1077ð¡2 3â
ð·ðŒð (ð¡2) =2
Î(3 â ðŒ)ð¡2âðŒ ⎠ð·
13ð (ð¡2) = 1.3293ð¡5 3â
ð·ðŒð (ð¡3) =6
Î(4 â ðŒ)ð¡3âðŒ ⎠ð·
13ð (ð¡3) = 1.4954ð¡8 3â
Let ð(ð¥) = ð¡ , ð(ð¥) = ð¡2 , â(ð¡) = ð¡3
ð·13ð (ðð) = ð·
13ð (ð¡3) = 1.4954ð¡8 3â
ð ð·13ð (ð) + ð ð·
13ð (ð) = ð¡(1.3293ð¡5 3â ) + ð¡2(1.1077ð¡2 3â )
= 1.3293ð¡8 3â + 1.1077ð¡8 3â = 2.4370 ð¡8 3â
Obviously
ð·13(ðð)ð â ð ð·
13ð (ð) + ð ð·
13ð (ð)
Also
ð·13ð (â(ð¡)
ð(ð¡)) = ð·
13ð (ð¡3
ð¡) = ð·
13ð (ð¡2) = 1.3293ð¡5 3â
But
32
ð(ð¡) ð·13ð â(ð¡) â â(ð¡) ð·
13ð ð(ð¡)
ð2(ð¡)=ð¡(1.4954ð¡5 3â ) â ð¡3(1.1077ð¡2 3â )
ð¡2
= 1.4954ð¡2 3â â 1.1077ð¡5 3â
Thus
ð·13ð (â
ð) â
ð ð·13ð (â) â â ð·
13ð (ð)
â2
It is easy to show that the composition Rule does not satisfy.
Preposition 1.5.5. [11, 19, 22] suppose that ðŒ â [ð â 1, ð),ð, ð â â, and ð·ððŒð(ð¥)ð
exist. Then
ð·ððŒð ð·ðð ð(ð¥) = ð·ðŒ+ðð ð(ð¥) â ð·ðð ð·ð
ðŒð ð(ð¥) (1.101)
Now we give counter example to show that the Caputo derivative is not commute
Example:
ð·ððŒð ð¥ð = {
Î(ð + 1)
Î(ð â ðŒ + 1)ð¥ðâðŒ ðð ð â 1 †ðŒ < ð , ð > ð â 1, ð â â
0 ðð ð â 1 †ðŒ < ð , ð †ð â 1, ð, ð â â
Now if we take ðŒ =1
2 , ð = 3 , ð = 2. Then
ð·1 2â ð·3ðð [ð¥2] = 0
But ð·3ð ð·1 2âð [ð¥2] = ð·3ð [Î(3)
Î(5
2)ð¥3
2]
= â38 Î(3)Î(52)ð¥â
32
33
Corollary 1.5.1. let ð â â,ðŒ â [ð â 1, ð), ð = ðŒ â (ð â 1). Let ð(ð¥) be a function
such that ð·ððŒð(ð¥)ð exist, then
ð·ððŒð ð(ð¥) = ð·ðð ð·ðâ1ð ð(ð¥) (1.102)
Theorem 1.5.2. [11, 19,22] (Some basic rules of Caputo fractional derivative):
Let ðŒ â [ð â 1, ð), ð â â,
1) ð·ððŒð ð = 0 , ð is constant (1.103)
2) ð·ððŒð ð¥ð = {
Î(ð + 1)
Î(ð â ðŒ + 1)ð¥ðâðŒ ðð ð > ð â 1, ð¥ > 0, ð â â
0 ðð ð †ð â 1, ð¥ > 0, ð â â
(1.104)
3) ð·ððŒð ððð¥ = ððð¥ðâðŒðž1,ðâðŒ+1(ðð¥) (1.105)
4) ð·ððŒð sin(ðð¥) = â
1
2ð(ðð)ðð¥ðâðŒ[ðž1,ðâðŒ+1(ððð¥) â (â1)
ððž1,ðâðŒ+1(âððð¥)] (1.106)
5) ð·ððŒð cos(ðð¥) =
1
2(ðð)ðð¥ðâðŒ[ðž1,ðâðŒ+1(ððð¥) + (â1)
ððž1,ðâðŒ+1(âððð¥)] (1.107)
6) ð·ððŒð cos(ðð¥) =
1
2(ðð)ðð¥ðâðŒ[ðž1,ðâðŒ+1(ððð¥) + (â1)
ððž1,ðâðŒ+1(âððð¥)] (1.108)
7) ð·ððŒð sinh(ðð¥) = â
1
2ððð¥ðâðŒ[ðž1,ðâðŒ+1(ðð¥) â (â1)
ððž1,ðâðŒ+1(âðð¥)] (1.109)
8) ð·ððŒð cosh(ðð¥) =
1
2ððð¥ðâðŒ[ðž1,ðâðŒ+1(ðð¥) + (â1)
ððž1,ðâðŒ+1(âðð¥)] (1.110)
Proof:
34
1) By applying the Caputo definition and because of the nâth derivative ð(ð), (ð â
â , ð ⥠1) of constant equals 0, then
ð·ððŒð ð =
1
Î(ð â ðŒ)â«
ð(ð)
(ð¥ â ð)ðŒâð+1
ð¥
ð
ðð¡ = 0
2) The second case has an easy proof
( ð·ððŒð ð¡ð = 0, ðŒ â (ð â 1, ð), ð †ð â 1, ð â â)
It follows from the pattern of the proof of (1). But the first case is more
interesting. We can prove it by two ways. Directly by using Caputo definition.
Firstly, let α â (ð â 1, ð), ð > ð â 1, ð â â
ð·ððŒð¥ð =
1
Î(ð â ðŒ)ð â«
ð·ðð¡ð
(ð¥ â ð¡)ðŒ+1âð
ð¥
0
ðð¡
=1
Î(ð â ðŒ)â«
Î(ð + 1) ð¡ðâð
(ð¥ â ð¡)ðŒ+1âðÎ(ð â ð + 1)
ð¥
0
ðð¡
Now by plugging t= ð¥ð¢ ; 0 †ð¢ †1
=Î(ð + 1)
Î(ð â ðŒ)Î(ð â ð + 1)â«(ð¥ð¢)ðâð((1 â ð¢)ð¥)ðâðŒâ11
0
ð¥ðð¢
=Î(ð + 1)
Î(ð â ðŒ)Î(ð â ð + 1)ð¥ðâððœ(ð â ð + 1, ð â ðŒ)
=Î(ð + 1)
Î(ð â ðŒ)Î(ð â ð + 1)ð¥ðâð
Î(ð â ð + 1)Î(ð â ðŒ)
Î(ð â ðŒ + 1)
=Î(ð + 1)
Î(ð â ðŒ + 1)ð¥ðâð
35
Secondly, we can prove it by the relation between the Caputo and
Riemann-Liouville derivatives:
ð·ððŒð ð¥ð = ð·ðŒð¥ð ââ
ð¥ðâðŒ
Î(ð + 1 â ðŒ)
ðâ1
ð=0
ð·ð[(ð¥)ð]ð¥=0
Now, the ð·ð[(ð¥)ð]ð¥=0 = 0, for ð †ð â 1 †ð
Then ð·ððŒð ð¥ð =
Î(ð+1)
Î(ÎŒâα+1)ð¥ðâðŒ â
3) To prove it, we need to use the relation between Caputo and Riemann-Liouville
fractional derivative as in (1.93) and use the exponential case of Riemann-
Liouville ðŒ âderivative in (1.80), then we have:
ð·ððŒððð¥ = ð·ðŒððð¥ ââ
ð¥ðâðŒ
Î(ð + 1 â ðŒ)
ðâ1
ð=0
ð·ðððð¥|
ð¥=0
= ð¥âðŒðž1,1âðŒ(ðð¥) ââð¥ðâðŒðð
Î(ð + 1 â ðŒ)
ðâ1
ð=0
= â(ðð¥)ðð¥âðŒ
Î(k + 1 â α)
â
ð=0
ââð¥ðâðŒðð
Î(ð + 1 â ðŒ)
ðâ1
ð=0
= âð¥ðâðŒðð
Î(ð + 1 â ðŒ)
â
ð=ð
=âð¥ð+ðâðŒðð+ð
Î(ð + ð â ðŒ + 1)
â
ð=0
= ððð¥ðâðŒðž1,ðâðŒ+1(ðð¥) â
4) Use (sin ð¥ =ððð¥âðâðð¥
2ð), then by using (1.105)
ð·ððŒð sin(ðð¥) = ð·ð
ðŒððð¥ â ðâðð¥
2ðð =
1
2ð( ð·ð
ðŒð ðððð¥ â ð·ððŒð ðâððð¥)
36
=1
2ð[(ðð)ðð¥ðâðŒðž1,ðâðŒ+1(ððð¥) â (âðð)
ðð¥ðâðŒðž1,ðâðŒ+1(âððð¥)]
= â1
2ð(ðð)ðð¥ðâðŒ[ðž1,ðâðŒ+1(ððð¥) â (â1)
ððž1,ðâðŒ+1(âððð¥)] â
5) Follows by using (cosð¥ =ððð¥+ðâðð¥
2) and the same as (4).
6) Follows by using (sinh ð¥ =ðð¥âðâð¥
2) and the same as (4).
7) Follows by using (coshð¥ =ðð¥+ðâð¥
2) and the same as (4).
1.6 Comparison between Riemann-Liouville and Caputo Fractional Derivative
Operators
Our goal in this section is to make a comparison between the definitions of
fractional derivative of Riemann-Liouville and Caputo, because the definition of
fractional integral is the same for both Riemann-Liouville and Caputo definitions
Remark 1.6.1. [11] If ð(ð) = ðâ²(ð) = ⯠= ð(ðâ1)(ð) = 0, then
ð·ððŒð(ð¥) = ð·ð
ðŒð ð(ð¥)
Remark 1.6.2. [11] The difference between Caputo and Riemann-Liouville formulas
for the fractional derivatives leads to the following differences:
Caputo fractional derivative of a constant equals zero while (Riemann-Liouville)
fractional derivative of a constant does not equal zero.
The non-commutation, in Caputo fractional derivative we have:
37
ð·ððŒð ( ð·ð
ðð ð(ð¥)) = ð·ððŒ+ðð ð(ð¥) â ð·ð
ð ( ð·ððŒð ð(ð¥)) ,ð (1.111)
where ðŒ â (ð â 1, ð), ð â â,ð = 1,2,âŠ
While for Riemann-Liouville derivative
ð·ðð(ð·ð
ðŒð(ð¥)) = ð·ððŒ+ðð(ð¥) â ð·ð
ðŒ(ð·ððð(ð¥)) , (1.112)
where ðŒ â (ð â 1, ð), ð â â,ð = 1,2,âŠ
Note that the formulas as in (1.111) and (1.112) become equalities under the following
additional conditions:
ð(ð )(ð) = 0 , ð = ð, ð + 1,⊠,ð â 1 for ð·ð ðŒ
ð(ð )(ð) = 0 , ð = 0,1,2,⊠,ð â 1 for ð·ðŒ.
38
Table 1: Comparison between Riemann-Liouville and Caputo [11]
ð(ð¡ )
=ð=
consta
nt
Non-c
om
muta
tion
Lin
earity
Inte
rpola
tion
Repre
senta
tion
Pro
perty
ð·ðŒð=
ð
Î(1âðŒ)ð¡âðŒâ 0 ,ð=ðððð ð¡
ð·ðð·ðŒð(ð¡ )
=ð·ðŒ+ðð(ð¡)
â ð·ðŒð·ðð(ð¡)
ð·ðŒ(ðð(ð¡ )+ð(ð¡) )
=ðð·ðŒð(ð¡ )
+ð·ðŒð(ð¡)
limðŒâðð·ðŒð(ð¡ )
=ð(ð)(ð¡)
limðŒâðâ1ð·ðŒð(ð¡)
=ð(ðâ1)(ð¡)
ð·ðŒð(ð¡ )
=ð·ðŒ(ð·
â(ðâðŒ)ð(ð¥))
Rie
ma
nn
-Lio
uv
ille
ð·ð ðŒð=0 ,ð=ðððð ð¡
ð·ð ðŒ
ðð·ðð(ð¡ )
=ð·ð ðŒ+ðð(ð¡)
â ð·ðð·ð ðŒð(ð¡)
ð·ð ðŒ
ð(ðð(ð¡ )+ð(ð¡) )
=ðð·ð ðŒð(ð¡ )
+ð·ð ðŒð(ð¡)
limðŒâðð·ð ðŒ
ðð(ð¡ )
=ð(ð)(ð¡)
limðŒâðâ1ð·ð ðŒ
ðð(ð¡ )
=ð(ðâ1)(ð¡ )
âð(ðâ1)(0)
ð· ðð ðŒð(ð¡ )
=ð·â(ðâðŒ)ð·ð ð
ðð(ð¥)
Ca
pu
to
39
1.7 Ordinary Differential Equations [2] :
This section shows some basic information about ordinary differential equation
which is needed in this thesis.
1.7.1. Bernoulli Differential Equation
Let us take a look at differential equation on the form
ðŠâ² + ð(ð¥)ðŠ = ð(ð¥)ðŠð (1.113)
where ð(ð¥) and ð(ð¥) both are continous, ð â â.
Differential equation above is called Bernoulli equation
Now we solve (1.113) by dividing both sides by ðŠð.
ðŠâððŠâ² + ð(ð¥)ðŠ1âð = ð(ð¥) (1.114)
Let ð£ = ðŠ1âð, then
ð£â² = (1 â ð)ðŠâððŠâ²
Multiply (1.113) by (1 â ð)ðŠâð , we get:
1
1 â ðð£â² + ð(ð¥)ð£ = ð(ð¥) (1.115)
This is a linear differential equation.
1.7.2 Second-Order Linear Differential Equations [2]:
A second-order linear differential equation has the form
40
ðŽ(ð¥)ðŠâ²â² + ð(ð¥)ðŠ + ð(ð¥) = ðº(ð¥( (1.116)
where A,P,Q and G are continuous functions, when ðº(ð¥) = 0, for all ð¥, in equation
(1.116). Such equations are called homogenous linear equations. Thus, the form of a
second-order linear homogenous differential equation is:
ðŽ(ð¥)ð2ðŠ
ðð¥2+ ð(ð¥)
ððŠ
ðð¥+ ð(ð¥) = 0 (1.117)
( if ðº(ð¥) â 0 for some ð¥, equation (1.116) is called nonhomogeneous equation)
41
Chapter Two: Conformable Fractional Definition
2.1 Conformable Fractional Derivative
When we study the previous definitions of derivative, we can illustrate that those
definitions have some inconveniences. The following are some of these shortcomings:
i) The Riemann-liouville derivative does not satisfy ð·ððŒ(1) = 0
(ð·ððŒ(1) = 0 for the Caupto derivative) , if α is not a natural number.
ii) All fractional derivatives do not satisfy the Known product rule:
ð·ððŒ(ðð) = ðð·ð
ðŒ(ð) + ðð·ððŒ(ð)
iii) All fractional derivatives do not satisfy the known quotient rule:
ð·ððŒ(ð ð) =
ðð·ððŒ(ð)âðð·ð
ðŒ(ð)
ð2â
iv) All fractional derivatives do not satisfy the chain rule:
ð·ððŒ(ð â ð)(ð¡) = ð(ðŒ)(ð(ð¡))ð(ðŒ)(ð¡)
v) All fractional derivatives don't satisfy: ð·ðŒð·ðœð = ð·ðŒ+ðœð in general
vi) The Caputo definition assumes that the function f is differentiable.
Let us write Tα to denote the operator which is called the "Conformable
fractional derivative of order α ".
Khalil, et al. [14] introduced a completely new definition of fractional calculus which
is more natural and effective than previous definitions of order ðŒ â (0, 1]. Also, this
definition can be generalized to include any α. However, the case ðŒ â (0, 1] is the most
important one, and the other cases become easy when it is established..
42
Definition 2.1.1. [14] Given a function ⶠð: [0,â) â â . Then the (conformable fractional
derivative) of ð of order ðŒ is defined by
ððŒ(ð)(ð¡) = ððððâ0
ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)
ð
For all ð¡ Ë0, ðŒ â (0.1), if Æ is α-differentiable in some (0, ðŒ). ðŒ Ë 0 and, limð¡â0+ ð(ðŒ)(ð¡)
exists, then defineð(ðŒ)(0) = limð¡â0+ ð(ðŒ)(ð¡)
We sometimes, write ð(ðŒ)(ð¡) for ððŒ(ð )(ð¡), to denote the conformable fractional
derivatives of ð of order ðŒ. In addition, if the conformable fractional derivative of f
of order α exists, then we say ð is α-differentiable.
We should take into consideration that ððŒ(ð¡ð) = ðð¡ðâðŒ. Further, this definition
coincides happen with the same of traditional definition of RiemannâLiouville and
of Caputo on polynomials (up to a constant multiple).
Theorem 2.1.1. [14] if a function ð: [0,â) â â is ðŒ-differentiable at ð¡0 Ë 0. ðŒ â
(0.1] then ð is continuous at ð¡0
Proof:
Because ð(ðŒ)is differentiable at ð¥ = ð¡0, we know that
ð(ðŒ)(ð¡0) = ððððâ0ð(ð¡0+ðð¡0
1âðŒ)âð(ð¡0)
ð exists.
If we next assume that ð¥ â ð¡0 we can write the following
ð(ð¡0 + ðð¡01âðŒ) â ð(ð¡0) =
ð(ð¡0 + ðð¡01âðŒ) â ð(ð¡0)
ðð
43
Then some basic properties of limits give us
ððððâ0( ð(ð¡0 + ðð¡0
1âðŒ) â ð(ð¡0)) = ððððâ0
ð(ð¡0 + ðð¡01âðŒ) â ð(ð¡0)
ð. ððððâ0
ð
ððððâ0( ð(ð¡0 + ðð¡0
1âðŒ) â ð(ð¡0)) = ðâ²(ð¡0). 0
Let â = ðð¡01âðŒ. Then,
ðððââ0 ð(ð¡0 + â) = ð(ð¡0) . Hence, f is continuous at ð¡0
It can be easily shown that ððŒ satisfies all properties in the following theorem
Theorem 2.1.2. [14] Let ðŒ â (0.1] and ð, ð be α-differentiable at a point ð¡ Ë 0 .Then:
(1) ððŒ(ð)(ð¡) = ð¡1âðŒ ðð
ðð¡(ð¡), where f is differentiable
(2.1)
(2) ððŒ(af + bg) = a ððŒ (f ) + b ððŒ (g), for all ð, ð â â (2.2)
(3) ððŒ (ð¡ð) = ð ð¡ðâðŒ for all ð â â (2.3)
(4) ððŒ (λ)=0 , for all constant functions ð (ð¡) = ð (2.4)
(5) ððŒ (fg) = f ððŒ (g) + g ððŒ (f ) (2.5)
(6) ððŒ ( Æ
ð ) =
ð ððŒÆ â Æ ððŒ(ð)
ð2 (2.6)
Proof:
(1) Let â = ðð¡1âðŒ in definition (2.1.1). Then ð = âð¡ðŒâ1
44
ððŒ(ð)(ð¡) = limðâ0
ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)
ð= limðâ0
ð(ð¡ + â) â ð(ð¡)
âð¡ðŒâ1
= ð¡1âðŒ limââ0
ð(ð¡ + â) â ð(ð¡)
â= ð¡1âðŒðâ²(ð¡) â
(2) ððŒ(ðð + ðð) = limðâ0(ðð+ðð)(ð¡+ðð¡1âðŒ)â(ðð+ðð)(ð¡)
ð
= limðâ0
ðð(ð¡ + ðð¡1âðŒ) + ðð(ð¡ + ðð¡1âðŒ) â ðð(ð¡) â ðð(ð¡)
ð
= limðâ0
ð (ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)
ð) + lim
ðâ0ð (ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)
ð)
= ðððŒ(ð) + ðððŒ(ð) â
(3) Recall (ð + ð)ð = â(ð
ð) ððâð
ð
ð=0
ðð
Thus,
(ð¡ + ðð¡1âðŒ)ð =â(ð
ð) ð¡ðâð
ð
ð=0
(ðð¡1âðŒ)ð
(ð¡ + ðð¡1âðŒ)ð = (ð
0) ð¡ð + (
ð
1) ð¡ðâ1(ðð¡1âðŒ)1 +â¯+ (
ð
ð) ð¡0(ðð¡1âðŒ)ð
To proof that ððŒ(ð¡ð) = ðð¡ðâðŒ
ððððâ0
(ð¡ + ðð¡1âðŒ)ð â ð¡ð
ð= ððð
ðâ0
ð¡ð + (ð1)ð¡ðâ1(ðð¡1âðŒ) + â¯+ (ð
ð) ðð(ð¡1âðŒ)ð â ð¡ð
ð
= ððð ðâ0
ððð¡ðâ1ð¡1âðŒ +â¯+ (ð
ð) ððâ1(ð¡1âðŒ)ð
ð
= ðð¡ðâ1ð¡1âðŒ = ðð¡ðâðŒ
45
(4) ððŒ(ð) = limðâ0ð(ð¡+ðð¡1âðŒ)âð(ð¡)
ð
= limðâ0
ð â ð
ð= 0 â
(5)
= limðâ0
ð(ð¡ + ðð¡1âðŒ)ð(ð¡ + ðð¡1âðŒ) + ð(ð¡)ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)ð(ð¡)
ð
= limðâ0
ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)
ðð(ð¡ + ðð¡1âðŒ) + ð(ð¡) lim
ðâ0
ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)
ð
= ððŒ(ð(ð¡)) limðâ0
ð(ð¡ + ðð¡1âðŒ) + ð(ð¡)ððŒ(ð(ð¡))
= ð(ð¡)ððŒ(ð(ð¡)) + ð(ð¡)ððŒ(ð(ð¡)) â
(6)
= limðâ0
(ð(ð¡ + ðð¡1âðŒ)
ð(ð¡ + ðð¡1âðŒ)â
ð(ð¡)
ð(ð¡ + ðð¡1âðŒ)+
ð(ð¡)
ð(ð¡ + ðð¡1âðŒ)âð(ð¡)
ð(ð¡)) .1
ð
= limðâ0
(ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)
ð. ð(ð¡ + ðð¡1âðŒ)) + ð(ð¡). lim
ðâ0(
1
ðð(ð¡ + ðð¡1âðŒ)â
1
ðð(ð¡))
= ððŒ(ð) limðâ0
1
ð(ð¡ + ðð¡1âðŒ)+ ð(ð¡) lim
ðâ0(â(
ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)
ðð(ð¡)ð(ð¡ + ðð¡1âðŒ)))
= ððŒ(ð)1
ð(ð¡)â ð(ð¡) lim
ðâ0(ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)
ð) limðâ0
(1
ð(ð¡)ð(ð¡ + ðð¡1âðŒ))
ððŒ(ðð) = limðâ0
ð(ð¡ + ðð¡1âðŒ)ð(ð¡ + ðð¡1âðŒ) â ð(ð¡)ð(ð¡)
ð
ððŒ (ð
ð) = lim
ðâ0
ð(ð¡ + ðð¡1âðŒ)ð(ð¡ + ðð¡1âðŒ)
âð(ð¡)ð(ð¡)
ð
46
=ððŒ(ð)
ð(ð¡)â ð(ð¡)ððŒ(ð(ð¡)).
1
ð2(ð¡)
=ð(ð¡)ððŒ(ð) â ð(ð¡)ððŒ(ð(ð¡))
ð2(ð¡) â
Theorem 2.1.3. [14] (Conformable fractional derivative of Known functions)
1) ððŒ(ððð¡) = ðð¡1âðŒððð¡ (2.7)
2) ððŒ(ð ðð (ðð¡)) = ðð¡1âðŒ ððð (ðð¡) , ð â â (2.8)
3) ððŒ (ððð (ðð¡)) = âðð¡1âðŒ ð ðð (ðð¡), ð â â (2.9)
4) ððŒ(tan(ðð¡)) = ðð¡1âðŒð ðð2(ðð¡) , ð â â (2.10)
5) ððŒ(ððð¡(ðð¡)) = âðð¡1âðŒðð ð2(ðð¡) , ð â â (2.11)
6) ððŒ(ð ðð(ðð¡)) = ðð¡1âðŒ ð ðð(ðð¡) ð¡ðð(ðð¡) , ð â â (2.12)
7) ððŒ(ðð ð(ðð¡)) = âðð¡1âðŒ ðð ð(ðð¡) ððð¡(ðð¡) , ð â â (2.13)
8) ððŒ (1
ðŒð¡ðŒ) = 1 (2.14)
Proof:
1. ððŒ(ððð¥) = ððððâ0
ðð(ð¡+ðð¡1âðŒ)âððð¡
ð= ððð¡ ððððâ0
ðððð¡1âðŒ
â1
ð
= ððð¡ ððððâ0
ð¡1âðŒðððð¡1âðŒ
â ð¡1âðŒ
ðð¡1âðŒ= ððð¡ð¡1âðŒ ððð
ðâ0
ðððð¡1âðŒ
â 1
ðð¡1âðŒ
Let â = ðð¡1âðŒ . Then by using LâHopitalâs rule, we get
47
= ð¡1âðŒððð¡ ðððââ0
ððâ â 1
â= ðð¡1âðŒððð¡ ððð
ââ0
ððâ
1
= ðð¡1âðŒððð¡ â
(By LâHopital Rule)
2. ððŒ(ð ðð(ðð¡)) = ððððâ0
ð ðð ð(ð¡ + ðð¡1âðŒ) â ð ðð(ðð¡)
ð
= ððððâ0
ð ðð(ðð¡) [ððð (ððð¡1âðŒ) â 1
ð] + ððð
ðâ0
ððð (ðð¡) ð ðð(ððð¡1âðŒ)
ð
= ð¡1âðŒ ð ðð(ðð¡) ððððâ0
[ððð (ððð¡1âðŒ) â 1
ðð¡1âðŒ]
+ ð¡1âðŒ ððð (ðð¡) ððððâ0
ð ðð(ððð¡1âðŒ)
ðð¡1âðŒ
Let â = ðð¡1âðŒ then we get
= ð¡1âðŒ ð ðð(ðð¡) ðððââ0
[ððð (ðâ) â 1
â] + ð¡1âðŒ ððð (ðð¡) ððð
ââ0
ð ðð(ðâ)
â
By using LâHoputal Rule, we get
= ð¡1âðŒsin (ðð¡) ðððââ0
âð ð ðð(ðâ)
1+ ð¡1âðŒ ððð (ðð¡) . ð
= ðð¡1âðŒ ððð (ðð¡) â
3. Similar to (2)
= ððððâ0
ð ðð(ðð¡) ððð (ððð¡1âðŒ) + ððð (ðð¡) ð ðð(ððð¡1âðŒ) â ð ðð(ðð¡)
ð
48
4. ððŒ(ð¡ðð(ðð¡)) = ððŒ (ð ðð(ðð¡)
ððð (ðð¡))
=ððð (ðð¡) ððŒ(ð ðð(ðð¡)) â ð ðð(ðð¡) ððŒ(ððð ðð¡)
ððð 2(ðð¡)
=ððð (ðð¡) (ðð¡1âðŒ ððð (ðð¡)) â ð ðð(ðð¡)(âðð¡1âðŒ ð ðð(ðð¡))
ððð 2(ðð¡)
=ðð¡1âðŒ ððð 2(ðð¡) + ðð¡1âðŒ ð ðð2(ðð¡)
ððð 2(ðð¡)
= ðð¡1âðŒ(1 + ð¡ðð2(ðð¡))
= ðð¡1âðŒ ð ðð2(ðð¡) â
5. Similar to (4)
6. ððŒ(ð ðð(ðð¡)) = ððŒ (1
ððð (ðð¡)) =
(â1)(ððŒ(ððð (ðð¡)))
ððð 2(ðð¡)
=(â1)(âðð¡1âðŒ ð ðð(ðð¡))
ððð 2(ðð¡)= ðð¡1âðŒ
ð ðð(ðð¡)
ððð (ðð¡).
1
ððð (ðð¡)
= ðð¡1âðŒ ð¡ðð(ðð¡) ð ðð(ðð¡) â
7. Similar to (7)
8. ððŒ (1
ðŒð¡ðŒ) = ððð
ðâ0
1ðŒ(ð¡ + ðð¡1âðŒ)ðŒ â
1ðŒ ð¡
ðŒ
ð
=1
ðŒððððâ0
(ð¡ + ðð¡1âðŒ)ðŒ â ð¡ðŒ
ð
=1
ðŒððððâ0
ð¡ðŒ + (ðŒ1) ð¡ðŒâ1ðð¡1âðŒ +â¯+ (
ðŒðŒ â 1
)ððŒâ1ð¡ðŒâ1 + (ðŒðŒ)ððŒ(ð¡1âðŒ)ðŒ â ð¡ðŒ
ð
49
=1
ðŒððððâ0
ð ((ðŒ1) + (
ðŒðŒ â 1
) ð¡ðŒððŒâ2 +â¯+ (ðŒðŒ)ð¡ðŒâ1(ð¡1âðŒ)ðŒ)
ð
=1
ðŒ. ðŒ = 1 â
Corollary 2.1.1. (Conformable fractional derivative of certain functions)
i) ððŒ (ð ðð1
ðŒð¡ðŒ) = ððð
1
ðŒð¡ðŒ (2.15)
ii) ððŒ (ð ðð1
ðŒð¡ðŒ) = ððð
1
ðŒð¡ðŒ (2.16)
iii) ððŒ (ð1ðŒð¡ðŒ) = ð
1ðŒð¡ðŒ
(2.17)
Note: The function could be α-differentiable at a point but not differentiable. For
example, let ð(ð¡) = 2âð¡.
Then, ð12
(ð)(0) = ðððð¡â0+ ð12
(ð)(ð¡) = 1 , when ð12
(ð)(ð¡) = 1 , for all t>0 , but
ð1(ð)(0) does not exist.
The most important case for the range of ðŒ â (0,1), when ðŒ â (ð, ð + 1] the
definition would be as the following
Definition 2.1.2. [14] Let ðŒ â (ð, ð + 1], and f be an n-differentiable at t ,
where t > 0, then the conformable fractional derivative of f of order α is defined as:
ððŒ(ð)(ð¡) = limεâ0
Æ(âαââ1) ( ð¡ + ðð¡(âαââα)) â Æ(âαââ1)(t)
ð
where [α] is the smallest integer greater than or equal to α.
50
Remark 2.1.1. Let ðŒ â (ð, ð + 1], and f is (ð + 1)-differentiable at ð¡ > 0. Then:
ððŒ(ð)(ð¡) = ð¡(âαââα) ð
âαâ(ð¡) (2.18)
Theorem 2.1.4 [14]
(Rolleâs Theorem for Conformable Fractional Differentiable Functions).
Let ð > 0 and ð ⶠ[ð, ð] â â be a given function that satisfies
i. ð is continuous on [ð, ð],
ii. ð is α-differentiable for some ðŒ â (0,1),
iii. ð(ð) = ð(ð).
Then, there exists ð â (ð, ð), such that ð(ðŒ)(ð) = 0.
Proof:
Since ð is continuous on [ð, ð], and ð(ð) = ð(ð), there is ð â (ð, ð), which is
a point of local extrema. With no loss of generality, assume c is a point of local
minimum. So, ð(ðŒ)(ð) = limðâ 0+ð(ð+ðð1âðŒ)âð(ð)
ð= limðâ 0â
ð(ð+ðð1âðŒ)âð(ð)
ð, but the
first limit is non â negative, and the second limit is non-positive. Hence, ð(ðŒ)(ð) = 0.
Theorem 2.1.5. [14] (Mean Value Theorem for Conformable Fractional
Differentiable Functions). Let a > 0 and ð : [ð, ð] â â be a given function that
satisfies:
51
i) ð is continuous on [ð, ð].
ii) ð is α-differentiable for some ðŒ â (0, 1).
Then, there exists ð â (ð, ð), such that
Proof:
The equation of the secant through (ð, ð(ð)) and (ð, ð(ð)) is
ðŠ â ð(ð) =ð(ð) â ð(ð)
1ðŒ ð
ðŒ â1ðŒ ð
ðŒ(1
ðŒð¥ðŒ â
1
ðŒððŒ)
which we can write as
ðŠ =ð(ð) â ð(ð)
1ðŒ ð
ðŒ â1ðŒ ð
ðŒ(1
ðŒð¥ðŒ â
1
ðŒððŒ) + ð(ð)
Let ð(ð¥) = ð(ð¥) â [ð(ð)âð(ð)1
ðŒððŒâ
1
ðŒððŒ(1
ðŒð¥ðŒ â
1
ðŒððŒ) + ð(ð)].
Note that ð(ð) = ð(ð) = 0 , ð is continuous on [ð, ð] and differentiable on (ð, ð). So
by Rollâs theorem there are ð in (ð, ð) such that ð(ðŒ)(ð) = 0.
But
ð(ðŒ)(ð) =Æ(ð) â Æ(ð)
1ðŒ ð
ðŒ â 1ðŒ ð
ðŒ
ð(ðŒ)(ð¥) = ð(ðŒ)(ð¥) â [ð(ð) â ð(ð)
1ðŒ ð
ðŒ â1ðŒ ð
ðŒ]
52
So
ð(ðŒ)(ð) =ð(ð) â ð(ð)
1ðŒ ð
ðŒ â1ðŒ ð
ðŒ â
2.2. Conformable Fractional Integrals
Suppose that the function is continuous
Let ðŒ â (0,â). Define ðœðŒ(ð¡ð) =
ð¡ð+ðŒ
ð+ðŒ , for any ð â ð , ðŒ â âð.
If ð(ð¡) = â ððð¡ðð
ð=0 , then we define ðœðŒ(ð) = â ðððœðŒ(ð¡ð)ð
ð=0 = â ððð¡ð+ðŒ
ð+ðŒ
ðð=0
Cleary, ðœðŒis linear in its domain. Further, if ðŒ = 1, then ðœðŒ the usual integral.
Now according to conformable fractional definition, if ðŒ = 1 2â ,then
sin ð¡ = â(â1)ð
(2ð+1)!âð=0 ð¡2ð+1 then ðœðŒ(sin ð¡) = â
(â1)ðð¡2ð+
32
(2ð+3
2)(2ð+1)!
âð=0 .
Also, if ðŒ =1
2
cos(ð¡) = â(â1)ðð¡2ð
(2ð)!âð=0 then ðœðŒ(cos(ð¡)) = â
(â1)ðð¡2ð+
12
(2ð+1
2)(2ð)!
âð=0
ðð¡ = âð¡ð
ð!âð=0 then ðœðŒ(ð
ð¡) = âð¡ð+
12
(ð+1
2)(ð)!
âð=0
ð(ðŒ)(ð) = ð(ðŒ)(ð) â [ð(ð) â ð(ð)
1ðŒ ð
ðŒ â1ðŒ ð
ðŒ] = 0
53
sinh(ð¡) = âð¡2ð+1
(2ð+1)!âð=0 then ðœðŒ(sinh(ð¡)) = â
ð¡2ð+
32
(2ð+3
2)(2ð+1)!
âð=0
cosh (ð¡) = âð¡2ð
(2ð)!âð=0 then ðœðŒ(cosh(ð¡)) = â
ð¡2ð+
12
(2ð+1
2)(2ð)!
âð=0 .
Definition 2.2.1 [14]
Let f be a continuous function. Then ðŒ-fractional integral of f is defined by:
ðŒðŒðð(ð¡) = ðŒ1
ð(ð¡ðŒâ1ð(ð¡)) = â«ð(ð¥)
ð¥1âðŒðð¥
ð¡
ð
(2.19)
where ð > 0,ðŒ â (0,1) and the integral is the usual Riemann improper integral.
Examples:
1) ðŒ12
0(âð¡ cos(ð¡)) = â«cos(ð¥) . ðð¥
ð¡
0
= sin(ð¡)
2) ðŒ12
0(cos(2âð¡)) = â«cos(2âð¥)
âð¥. ðð¥
ð¡
0
= sin(2âð¡)
Theorem 2.2.1 [14]
Let ð be any continuous function in the domain of ðŒðŒ. Then
(ððŒðŒðŒð(ð(ð¡)) = ð(ð¡), for ð¡ ⥠ð) . (2.20)
54
Proof: since f is continues, then ðŒðŒð (ð)(ð¡) is differentiable. So
ððŒ (ðŒðŒð(ð(ð¡))) = ð¡1âðŒ
ð
ðð¡ðŒðŒðð(ð¡)
= ð¡1âðŒð
ðð¡â«ð(ð¥)
ð¥1âðŒ
ð¡
ð
= ð¡1âðŒð(ð¡)
ð¡1âðŒ = ð(ð¡) â
2.3 Applications [14]:
Now in this section we will solve fractional differential equations according to
conformable definitions:
Example (2.3.1):
ðŠ(12â ) + ðŠ = ð¥3 + 3ð¥5 2â , ðŠ(0) = 0 (2.21)
To find
ðŠâ of ðŠ1 2â + ðŠ = 0
we use
ðŠâ = ððâð¥
Now
ðŠ(1 2)â + ðŠ = 0
55
ð
2ððâð¥ + ððâð¥ = 0
ððâð¥ (ð
2+ 1) = 0
ð
2+ 1 = 0
ð = â2
ðŠâ = ðâ2âð¥
And simply the particular solution is ðŠð = ð¥3
And by plugging the initial condition ðŠð = ð¥3 then A = 0
⎠ðŠ = ðŠâ + ðŠð = ðâ2âð¥ + ð¥3
For more examples see [14].
2.4. Abelâs Formula and Wronskain for Conformable Fractional Differential
Equation
In this section we will discuss the differential equation
ðŠâ²â² + ð(ð¥)ðŠâ² +ð(ð¥)ðŠ = 0 (2.22)
In the sense of conformable fractional derivative, Abu Hammad, et al. [7] replaced
the derivative by conformable fractional derivative. They studied the form of
Wronskain for conformable fractional linear differential equation with variable
56
coefficients. Finally, they study the Abel's formula. The result is similar to the case of
ordinary differential equation.
2.4.1. The Wronskain
For ðŒ â (0,1], Abu Hammad, et al. discussed the equation [7].
ððŒððŒðŠ + ð(ð¥)ððŒðŠ + ð(ð¥)ðŠ = 0 (2.23)
They discussed also the fractional Wronskain of two functions.
Definition 2.4.1. [7] For two functions ðŠ1 and ðŠ2 satisfying (2.24) and ðŒ â (0,1] we set
ððŒ[ðŠ1, ðŠ2] = |ðŠ1 ðŠ2ððŒðŠ1 ððŒðŠ2
|
Theorem 2.4.1. [7] assume that ðŠ1, ðŠ2 satisfy equation (2.23), Then
ððŒ[ðŠ1, ðŠ2] = ðâðŒðŒ(ð)
Proof: applying the operator ððŒ on ððŒ[ðŠ1, ðŠ2] to get
ððŒ(ððŒ[ðŠ1, ðŠ2]) = ððŒ(ðŠ1ððŒðŠ2 â ðŠ2ððŒðŠ1)
= ððŒðŠ1ððŒðŠ2 + ðŠ1ððŒððŒðŠ2 â ððŒðŠ2ððŒðŠ1 â ðŠ2ððŒððŒðŠ1
But, ðŠ1 and ðŠ2 satisfy (2.24). So
ððŒððŒðŠ1 = âð(ð¥)ððŒðŠ1 â ð(ð¥)ðŠ1,
and
ððŒððŒðŠ2 = âð(ð¥)ððŒðŠ2 â ð(ð¥)ðŠ2,
57
therefore,
ððŒ(ððŒ[ðŠ1, ðŠ2]) = âð(ð¥)(ðŠ1ððŒðŠ2 â ðŠ2ððŒðŠ1)
= âð(ð¥)ððŒ[ðŠ1, ðŠ2] ,
thus,
ððŒ(ððŒ[ðŠ1, ðŠ2])
ððŒ[ðŠ1, ðŠ2]= âð(ð¥)
Consequently,
ððŒ[ðŠ1, ðŠ2] = ðâðŒðŒ(ð) (2.24)
2.4.2. Abelâs Formula
First of all, it is important to discuss linear fractional differential equation
ððŒðŠ + ð(ð¥)ðŠ = ð(ð¥), ðŒ â [0, 1] (2.25)
Multiply (2.26) by ððŒðŒ(ð(ð¥)) to get
ððŒðŒ(ð(ð¥))ððŒðŠ + ððŒðŒ(ð(ð¥))ð(ð¥)ðŠ = ððŒðŒ(ð(ð¥))ð(ð¥)
ððŒ(ððŒðŒ(ð(ð¥))ðŠ) = ððŒðŒ(ð(ð¥))ð(ð¥).
Hence
ðŠ = ðâðŒðŒ(ð(ð¥))ðŒðŒ(ððŒðŒ(ð(ð¥))ð(ð¥)) (2.26)
Is a solution of (2.26).
Now, let ðŠ1 be a solution of (2.24). To find a second solution ðŠ2 for equation (2.24).
58
We have ððŒ[ðŠ1, ðŠ2] = ðâðŒðŒ(ð), from which we get:
ðŠ1ððŒðŠ2 â ðŠ2ððŒðŠ1 = ðâðŒðŒ(ð),
And so
ððŒðŠ2 â ðŠ2
ððŒðŠ1ðŠ1
=ðâðŒðŒ(ð)
ðŠ1 (2.27)
Equation (2.28) is a fractional linear equation, with ð(ð¥) =ððŒðŠ1
ðŠ1, and ð(ð¥) =
ðŒðŒ(âð(ð¥))
ðŠ1.
Hence, using the fact:
ðŒðŒ (ððŒðŠ1ðŠ1
) = lnðŠ1,
And formula (2.27) to get:
ðŠ2 = ðŠ1ðŒðŒ (
ðâðŒðŒ(ð)
ðŠ12 ). (2.28)
59
Chapter 3: Exact Solution of Riccati Fractional Differential Equation
Riccati differential equation refers to the Italian Nobleman Count Jacopo Francesco
Riccati (1676-1754).
The fractional Riccati equation was studied by many researchers by using different
numerical methods [6, 9, 12, 13, 15, 20, 21, 24- 34]. Our interest in solving fractional
differential equations began when Prof. Khalil, et al.[14], presented the new and simple
conformable definition of fractional derivative.
In the rest of this chapter, we will find an exact solution to the fractional Riccati
differential equation (FRDE) precisely, we consider the following Problem:-
ðŠ(ðŒ) = ðŽ(ð¥)ðŠ2 + ðµ(ð¥)ðŠ + ð¶(ð¥) (3.1)
ðŠ(0) = ð , ð: constant (3.2)
where ðŠ(ðŒ) is the conformable fractional derivative of order ðŒ â (0,1] , we should remark
that the method can be generalized to include any ðŒ .
3.1 Fractional Riccati Differential Equation (FRDE)
Riccati equation is studied by many researchers [8]. In this section, we found the exact
solution of fractional Riccati equation with known particular solution.
Theorem 3.1.1. (Reduction to second order equation)
The non-linear fractional Riccati equation can be reduced to a second order linear
ordinary differential equation of the form:
60
ð¢â²â² â (
ðŒ â 1
ð¥+ ð (ð¥)) ð¢â² + ð¥ðŒâ1ð(ð¥)ð¢ = 0 (3.3)
When ðŽ(ð¥) is non-zero and differentiable, such that ðŒ â (0,1] ,also the solution of this
equation leads us to the solution.
ðŠ =
âðâ²(ð¥) ð¥1âðŒ
ðŽ(ð¥)ð(ð¥) (3.4)
Proof:
Let ð£ = ðŠðŽ(ð¥)
ð£(ðŒ) = (ðŠðŽ(ð¥))(ðŒ) = ðŠ(ðŒ)ðŽ(ð¥) + ðŠð¥1âðŒðŽâ²(ð¥)
ðŠ(ðŒ) satisfies the FRDE also by substituting ðŠ =ð£
ðŽ and some algebraic steps, then:
ð¥1âðŒð£â²(ð¥) = ð£2 + ðµð£ + ð¶ðŽ + ð£ð¥1âðŒðŽâ²
ðŽ
Divided both sides by ð¥1âðŒ, then:
ð£â²(ð¥) = ð¥ðŒâ1ð£2 + ð¥ðŒâ1ðµð£ + ð¥ðŒâ1ð¶ðŽ + ð£ðŽâ²
ðŽ
Combining like terms, to get:
ð£â²(ð¥) = ð¥ðŒâ1ð£2 + (ð¥ðŒâ1ðµ +
ðŽâ²
ðŽ) ð£ + ð¥ðŒâ1ð¶ðŽ (3.5)
Assume: ð (ð¥) = ð¥ðŒâ1ðµ +ðŽâ²
ðŽ and ð(ð¥) = ð¥ðŒâ1ð¶ðŽ , to get:
ð£â²(ð¥) = ð¥ðŒâ1ð£2 + ð (ð¥)ð£ + ð(ð¥)
61
Let ð¥ðŒâ1ð£ = â
ð¢â²
ð¢ (3.6)
(ðŒ â 1)ð¥ðŒâ2ð£ + ð¥ðŒâ1ð£â² =âð¢ð¢â²â² + (ð¢â²)2
ð¢2
(ðŒ â 1)ð¥ðŒâ2ð£ + ð¥ðŒâ1ð£â² =âð¢â²â²
ð¢+ ð£2(ð¥ðŒâ1)2
Divide both sides by ð¥ðŒâ1
(ðŒ â 1)ð¥â1ð£ + ð£â² = âð¥1âðŒð¢â²â²
ð¢+ ð¥ðŒâ1ð£2
ðŒ â 1
ð¥ð£ + ð¥1âðŒ
ð¢â²â²
ð¢= ð¥ðŒâ1ð£2 â ð£â²
From equation (3.5)
ðŒ â 1
ð¥ð£ + ð¥1âðŒ
ð¢â²â²
ð¢= â(ð¥ðŒâ1ðµ +
ðŽâ²
ðŽ) ð£ â ð¥ðŒâ1ð¶ðŽ
ðŒ â 1
ð¥ð£ + ð¥1âðŒ
ð¢â²â²
ð¢= âð (ð¥)ð£ â ð(ð¥)
combining like terms to get:
ð¥1âðŒð¢â²â²
ð¢+ (ðŒ â 1
ð¥+ ð (ð¥)) ð£ + ð(ð¥) = 0
divide both sides by ð¥1âðŒ after substitute ð£ = âð¢â²
ð¢ð¥1âðŒ
ð¥1âðŒð¢â²â²
ð¢+ (ðŒ â 1
ð¥+ ð (ð¥)) (â
ð¢â²
ð¢ð¥1âðŒ) + ð(ð¥) = 0
ð¢â²â²
ð¢â (ðŒ â 1
ð¥+ ð (ð¥))
ð¢â²
ð¢+ ð¥ðŒâ1ð(ð¥) = 0
⎠ð¢â²â² â (ðŒ â 1
ð¥+ ð (ð¥))ð¢â² + ð¥ðŒâ1ð(ð¥)ð¢ = 0
62
An answer of this equation will lead us to
ðŠ =ð£
ðŽ=âð¢â²ð¥1âðŒ
ð¢ðŽ â
Theorem 3.1.2. (Transform FRDE to the Bernoulli equation)
For non-linear fractional Riccati equation the substitution ð£(ð¥) = ðŠ(ð¥) â ðŠ1(ð¥) will
transform the (FRDE) into Bernoulli equation (ordinary differential equation of the first
order), when ðŠ1 is a known particular solution,
Proof:
Since ð£(ð¥) = ðŠ(ð¥) â ðŠ1(ð¥)
⎠ðŠ(ð¥) = ð£(ð¥) + ðŠ1(ð¥)
And ðŠ(ðŒ)(ð¥) = ð£(ðŒ)(ð¥) + ðŠ1(ðŒ)(ð¥)
Since ðŠ1(ð¥) solves the (FRDE), it must be that
ðŠ1(ðŒ) = ðŽ(ð¥)ðŠ1
2 + ðµ(ð¥)ðŠ1 + ð¶(ð¥)
Substitute in (3.1)
ð£(ðŒ)(ð¥) + ðŠ1(ðŒ)(ð¥)â
ðŠ(ðŒ)(ð¥)
= ðŽ(ð¥) [ð£ + ðŠ1]â ðŠ(ð¥)
2+ ðµ(ð¥) [ð£ + ðŠ1]â
ðŠ(ð¥)
+ ð¶(ð¥)
ð¥1âðŒð£ â²(ð¥)â ð£(ðŒ)(ð¥)
+ ðŽðŠ12 + ðµðŠ1 + ð¶ = ðŽð£
2 + 2ðŽð£ðŠ1 + ðŽðŠ12 + ðµð£ + ðµðŠ1 + ð¶
ð¥1âðŒð£ â²(ð¥) = ðŽð£2(ð¥) + 2ðŽðŠ1ð£(ð¥) + ðµð£(ð¥)
ð£ â²(ð¥) = ðŽð¥ðŒâ1ð£2(ð¥) + 2ðŽð¥ðŒâ1ðŠ1ð£(ð¥) + ðµð¥ðŒâ1ð£(ð¥)
ð£ â²(ð¥) + [â2ð¥ðŒâ1ðŽ(ð¥)ðŠ1 â ð¥ðŒâ1ðµ(ð¥)]â
ð(ð¥)
ð£ = ðŽð¥ðŒâ1â ð(ð¥)
ð£2(ð¥) (3.7)
This equation is of the form of Bernoulli equation with n=2 â
63
which could be transformed to first order linear differential equation.
Let ð¢ = ð£â1(ð¥).
ðð¢
ðð¥= âð£â2(ð¥)
ðð£
ðð¥
Multiply (3.7) by â ð£(ð¥)â2
âð£â2ð£ â² + [2ð¥ðŒâ1ðŽðŠ1 + ð¥ðŒâ1ðµ]ð£â2ð£ = âðŽð¥ðŒâ1
ð£â²+ [2ð¥ðŒâ1ðŽðŠ1 + ð¥ðŒâ1ðµ]ð£ = ðŽ ð¥ðŒâ1â
ð(ð¥)
(3.8)
The general solution is given by
ð£ =
â«ð(ð¥)ð(ð¥). ðð¥ + ð(ð¥)
ð(ð¥) (3.9)
where ð(ð¥) = ð(â«[2ð¥ðŒâ1ðŽðŠ1+ð¥
ðŒâ1ðµ]ðð¥) (3.10)
Theorem 3.1.3. (Obtaining solution of FRDE by Abelâs formula)
Let ðŠ1 be a solution of (3.1), and assume that ð§ = 1
ðŠâ ðŠ1, then the solution of FRDE is
ð§ = ðâðŒ(2ðŽðŠ1+ðµ)ðŒðŒ(ððŒ(2ðŽðŠ1+ðµ)(âðŽ(ð¥))) (3.11)
Proof: suppose that ðŠ1 is a solution of FRDE, and let =1
ðŠâðŠ1 , then
ð§(ðŠ â ðŠ1) = 1
ðŠ =
1
ð§+ ðŠ1 (3.12)
64
Apply ðŒ-derivative definition to both sides of (3.12)
ððŒðŠ = ððŒ (1
ð§) + ððŒðŠ1
ððŒðŠ = âð§â1âðŒð§â² + ððŒðŠ1
Substituting in the original FRDE
âð§â1âðŒð§â² + ððŒðŠ1 = ðŽ [1
ð§+ ðŠ1]
2
+ ðµ [1
ð§+ ðŠ1] + ð¶
âð§â1âðŒð§â² = ðŽ [1
ð§2+2ðŠ1ð§+ ðŠ1
2] + ðµ [1
ð§+ ðŠ1] + ð¶ â ððŒðŠ1
ððŒðŠ1 satisfies the FRDE
âð§â1âðŒð§â² =ðŽ
ð§2+2ðŠ1ðŽ
ð§+ ðŽðŠ1
2 +ðµ
ð§+ ðµðŠ1 + ð¶ â ðŽðŠ
2 â ðµðŠ1 â ð¶
Combining like terms and divide both sides by âð§â1âðŒ
ð§â² = â(2ðŽðŠ1 + ðµ)ð§ðŒ â ðŽð§ðŒâ1, then
ð§â² + (2ðŽðŠ1 + ðµ)ð§ðŒ = âðŽð§ðŒâ1 (3.13)
Multiply both sides of equation (3.13) by ð§1âðŒ
ð§1âðŒð§â² + (2ðŽðŠ1 + ðµ)ð§ = âðŽ
ð§(ðŒ) + (2ðŽðŠ1 + ðµ)ð§ = âðŽ (3.14)
which is Abelâs formula as we mentioned in the previous chapter.
Thus, the solution is
65
ð§ = ðâðŒ(2ðŽðŠ1+ðµ)ðŒðŒ(ððŒ(2ðŽðŠ1+ðµ)(âðŽ(ð¥)))
Theorem 3.1.4. Assume that the coefficients ð¶(ð¥) + ðµ(ð¥) + ðŽ(ð¥) = 0 of the fractional
Ricatii (3.1), if ð¶(ð¥) satisfies the integral condition, which is
ð¶(ð¥) =ð1(ð¥) â {ðµ(ð¥) + ðŽ(ð¥) [â«
ð1(ð) â ðµ2(ð)
2ðŽ(ð)â ðŽ1
ð¥]}2
4ðŽ
(3.15)
where ðŽ1 is an arbitrary constant of integration.
and ð1 is the new generating function satisfying the differential condition (3.15) given by:
ðµ2(ð¥) + 4ðŽ(ð¥)ð¥1âðŒ
ððŠð
ðð¥= ð1(ð¥) (3.16)
Then the general solution is given by:
ðŠ(ð¥) =1
ðâðŒ(2ðŽðŠ1+ðµ)ðŒðŒ(ððŒ(2ðŽðŠ1+ðµ)(âðŽ(ð¥)))
+1
2[â«
ð1(ð) â ðµ2(ð)
2ðŽ(ð)ðð
ð¥
â ðŽ1],
where ðŽ0 is an arbitrary constant of integration.
(3.17)
Proof.
Assume that the arbitrary function ðµ(ð¥), ðŽ(ð¥) and ð1(ð¥) satisfying (3.15) then the
particular solution
ðŠð±(ð¥) =âðµ ± âð1 â 4ðŽð¶
2ðŽ
66
=
âðµ ±âð1 â 4ðŽ
ð1(ð¥) â {ðµ(ð¥) + ðŽ(ð¥) [â«ð1(ð) â ðµ2(ð)
2ðŽ(ð)ð¥
â ðŽ1]}2
4ðŽ
2ðŽ
=
âðµ ± âð1 â ð1(ð¥) â {ðµ(ð¥) + ðŽ(ð¥) [â«ð1(ð) â ðµ2(ð)
2ðŽ(ð)â ðŽ1
ð¥]}2
2ðŽ
=âðµ + ðµ(ð¥) + ðŽ(ð¥) [â«
ð1(ð) â ðµ2(ð)
2ðŽ(ð)ð¥
â ðŽ1]
2ðŽ
=ðŽ(ð¥) [â«
ð1(ð) â ðµ2(ð)
2ðŽ(ð)ð¥
â ðŽ1]
2ðŽ
=1
2[â«ð1(ð) â ðµ
2(ð)
2ðŽ(ð)
ð¥
â ðŽ1]
Thus
ðŠð±(ð¥) =âðµ ± âð1 â 4ðŽð¶
2ðŽ=1
2[â«ð1(ð) â ðµ
2(ð)
2ðŽ(ð)
ð¥
â ðŽ1] (3.18)
Differentiate equation (3.18)
ððŠ
ðð¥[âðµ ± âð1 â 4ðŽð¶
2ðŽ] =
ð1(ð) â ðµ2(ð)
2ðŽ(ð) (3.19)
Equation (3.19) can be integrated to get
âðµ ± âð1 â 4ðŽð¶
ðŽ=â«ð1(ð) â ðµ
2(ð)2ðŽ(ð)
ð¥
1
67
âðµ ± âð1 â 4ðŽð¶ = ðŽ [â«ð1(ð) â ðµ
2(ð)
2ðŽ(ð)
ð¥
]
âð1 â 4ðŽð¶ = ðµ + ðŽ [â«ð1(ð) â ðµ
2(ð)
2ðŽ(ð)
ð¥
]
ð1 â 4ðŽð¶ = {ðµ + ðŽ [â«ð1(ð) â ðµ
2(ð)
2ðŽ(ð)
ð¥
]}
2
â4ðŽð¶ = âð1 + {ðµ + ðŽ [â«ð1(ð) â ðµ
2(ð)
2ðŽ(ð)
ð¥
]}
2
ð¶(ð¥) =ð1(ð¥) â {ðµ(ð¥) + ðŽ(ð¥) [â«
ð1(ð) â ðµ2(ð)
2ðŽ(ð)â ðŽ1
ð¥]}2
4ðŽ
3.2 Applications:
Example: - find the solution of
ðŠ(1
2) = (ðŠ â 2âð¥)
2+ 1 , ðŠ1(ð¥) = 2âð¥ ; ðŠ(0) = 1 (3.20)
Solution: First we need to verify that ðŠ1 = 2âð¥ is a solution to this equation by computing,
we find that ðŠ1 is a solution of (3.20).
Now we solve the equation.
Step1. Make the change of variables
Substituting ðŠ = ð£ + 2âð¥ and ðŠ(1
2) = ð£(
1
2) + 1 yields
68
ð£(12)+ 1 = (ð£ + 2âð¥ â 2âð¥)
2+ 1
Step 2. Simplify to a Bernoulli equation for ð£
ð¥12ð£â² = ð£2
ð£ â² = ð¥â
12ð£2 (3.21)
This is a Bernoulli equation.
Step3. Solve the Bernoulli equation
Let ð¢ = ð£â1
ð¢â² = âð£â2ð£â²
Multiply equation (3.21) by âð£â2
âð£â2ð£ â² = âð¥â12ð£â2ð£2
ð¢â² = âð¥â12 =
â1
âð¥
ðð¢
ðð¥=â1
âð¥ â ðð¢ =
â1
âð¥ðð¥
ð¢ = â«â1
âð¥. ðð¥ = â2âð¥ + ð
1
ð£= â2âð¥ + ð
ð£ =1
â2âð¥ + ð
Step 4. Reverse the substitution ðŠ = ð£ + 2âð¥
69
ðŠ =1
â2âð¥ + ðâ 2âð¥
Finally, we use the initial condition ðŠ(0) = 1
⎠ð = 1
⎠The general solution is
ðŠ =
3
â4âð¥3 + 1âð¥2
2 (3.22)
70
Future Work
The main aspect of the future work in the thesis is to take other conditions of fractional
Riccati Differential Equation (FRDE) and solve it.
71
Conclusions
The objective of the present thesis is to use conformable fractional derivative which is
simpler and more efficient. The new definition reflects a natural extension of normal
derivative to solve fractional differential equation specifically fractional Riccati differential
equation.
In this thesis we found an exact solution of fractional Riccati differential equation and
introduced some theorems which lead us to find a second solution when we have a given
particular solution.
72
REFERENCES
73
[1] Abdeljawad, T. (2015), on Conformable Fractional Calculus, Journal of
Computational and Applied Mathematics, 279: 57-66.
[2] Boyce, William and Di/Prima, Richard (2010), Elementary Differential Equations
and Boundary Value Problems, (9th
ed), Asia: John Willey & Sons, Inc.
[3] Daftardar-Gejji, Varsha (2014), Fractional Calculus Theory and Applications,
India: Norosa Publishing House Pvt. Ltd.
[4] Das, Shantanu (2011), Functional Fractional Calculus, India: Scientific Publishing
Services Pvt. Ltd.
[5] Diethelm, Kai (2010), the Analysis of Fractional Differential Equations: An
Application âOriented Exposition Using Differential Operators of Caputo Type,
Germany: Springer Heidelberg Dordercht London New York.
[6] El-Sayed, A. M. A., El-Mesiry, A. E. M. and El-Saka, H. A. A. (2007), On the
Fractional-Order Logistic Equation, Applied Mathematics Letters, 20(7) : 817-823.
[7] Abu Hammad, M., and Khalil, R. (2014), Abel's formula and Wronskian for
Conformable Fractional Differential Equations, International Journal of
Differential Equations and Applications, 13(3).
[8] Harko, T., Lobo, F. and Mak, M. K. (2013), Analytical Solutions of the Riccati
Equation with Coefficients Satisfying Integral Or Differential Conditions With
Arbitrary Functions, Universal Journal of Applied Mathematics, 2: 109-118.
[9] He, J. H. (1999), Variational Iteration Method-a Kind Of Non-Linear Analytical
Technique: Some Examples, International Journal of Non-Linear Mechanics, 34:
699-708.
[10] Hilfer, R. (2000), Applications of Fractional Calculus in Physics, (2000), USA:
World Scientific Publishing Co. Pte. Ltd.
[11] Ishteva, M. (2005), Properties and Applications of the Caputo Fractional
Operator, Msc. Thesis, UniversitÀt Karlsruhe (TH), Sofia, Bulgaria.
[12] Khader, M. M. (2011), On the Numerical Solutions for the Fractional Diffusion
Equation, Communications in Nonlinear Science and Numerical Simulation, 16:
2535-2542.
[13] Khader, M. M., EL Danaf, T. S. and Hendy, A. S. (2012), Efficient Spectral
Collocation Method for Solving Multi-Term Fractional Differential Equations Based
on the Generalized Laguerre Polynomials, Journal of Fractional Calculus and
Applications, 3(13), 1-14.
74
[14] Khalil, Roshdi, Horani, M., Yousef, Abdelrahman and Sababheh, M. (2014), A New
Definition of Fractional Derivative, Computational and Applied Mathematics,
246: 65-70.
[15] Khan, Najeeb, Ara, Asmat and Jamil, Muhammad (2011), An Efficient Approach for
Solving the Riccatii Equation with Fractional Orders, Computers and Mathematics
with Applications, 61(9): 2683-2689.
[16] Leszczynski, Jacek (2011), An Introduction of Fractional Mechanics,
Czestochowa: The Publishing Office of Czestochowa University of Technology.
[17] Mathai A. and Haubold H. (2008), Special Functions for Applied Scientists, New
York: Springer Science and Business Media LLC .
[18] Merdan, Mehmet (2012), On the Solutions Fractional Riccatii Differential Equation
with Modified Riemann-Liouville Derivative, International Journal of Differential
Equations, 2012.
[19] Miller, Kenneths and Ross, Bertram (1993), An Introduction to the Fractional
Calculus and Fractional Differential Equations, Canada: John Willey & Sons, Inc.
[20] Momani, Shaher and Shawagfeh, Nabil (2006), Decomposition Method for Solving
Fractional Riccati Differential Equations, Applied Mathematics and Computation,
182(2): 1083-1092.
[21] Odibat, Zaid and Momani, Shaher (2008), Modified Homotopy Perturbation Method:
Application to Quadratic Riccati Differential Equation of Fractional Order, Chaos,
Solutions & Fractals, 36(1), 167-174.
[22] Podlubny, I. (1998), Fractional Differential Equations: An Introduction to
Fractional Derivatives, Fractional Differential Equations, to the Methods of
Their Solutions and Some of Their Applications, USA: Academic Press.
[23] Sebah, Pascal and Gourdon, Xavier (2002), Introduction to Gamma Function,
Numbers. Computation. Free. Fr/Constant/constants.html.
[24] Sweilam, N. H., Khader, M. M. and Al-Bar, R. F. (2007), Numerical Studies for a
Multi-Order Fractional Differential Equation, Physics Letters A, 371: 26-33.
[25] Sweilam, N. H., Khader, M. M. and Nagy, A. M. (2011), Numerical Solution of two-
Sided Spacefractional Wave Equation Using Finite Difference Method, Journal of
Computional and Applied Mathematics, 235: 2832-2841.
75
[26] Sweilam, N. H., Khader M. M. and Adel, M. (2012), On the Stability Analysis of
Weighted Average Finite Difference Methods for Fractional Wave Equation,
Accepted in Fractional Differential Calculus, 2(1): 17-29.
[27] Sweilam, N. H., Khader, M. M. and Mahdy, A. M. S. (2012), Crank-Nicolson Finite
Difference Method for Solving Time-Fractional Diffusion Equation, Journal of
Fractional Calculus and Applications, 2(2): 1-9.
[28] Sweilam, N. H., Khader, M. M. and Mahdy, A. M. S. (2012), Numerical Studies for
Solving Fractional-Order Logistic Equation, International Journal of Pure and
Applied Mathematics, 78(8): 1199-1210.
[29] Sweilam, N. H., Khader, M. M. and Mahdy, A. M. S. (2012), Numerical Studies for
Fractional Order Logistic Differential Equation with Two Different Delays,
Accepted in Journal of Applied Mathematics.
[30] Sweilam, N.H., Khader, M.M. and Mahdy, M.S. (2012), Numerical Studies for
Solving Fractional Riccati Differential Equation, Applications and Applied
Mathematics (AAM), 7(2): 595-608.
[31] Tan, Y. and Abbasbandy, S. (2008), Homotopy Analysis Method for Quadratic
Riccati Differential Equation, Communications in Nonlinear Science and
Numerical Simulation, 13(3).
[32] Wazwaz, A. M. (1998), A Comparison between Adomian Decomposition Method
and Taylor Series Method in the Series Solution, Applied Mathematics and
Computation, 97, 37- 44.
[33] Weilbeer, Marc (2005), Efficient Numerical Methods for Fractional Differential
Equations and their Analytical Background, Ph. D. Thesis, Technische University
Sitat Braunshweig.
[34] Wu, Fei and Huang, Lan.Lan (2014), Approximate Solutions of Fractional Riccati
Equations using the Adomain decomposition Method, Abstract and Applied
Analysis, 2014.
76
Ø٠٠عاداÙت تÙاضÙÙØ© ÙسرÙØ© ؚاستخدا٠تعرÙ٠اÙ٠طاؚ٠ÙÙ٠؎تÙات اÙÙسرÙØ©
إعداد
؎اد٠أØ٠د اÙطراÙÙØ©
اÙ٠؎رÙ
د. خاÙد جاؚر
اÙÙ Ùخص
ع اÙÙ ÙاÙÙÙÙØ©Ø ÙاأÙØÙاء Ø ÙاÙÙÙزÙاء Ø ØŠØ§Ù٠عاداÙت اÙتÙاضÙÙØ© اÙعادÙØ© ÙاÙجز؊ÙØ© Ù ÙÙ Ø© جدا٠Ù٠٠جااÙت عدÙØ¯Ø©Ø Ù Ø«Ù Ø§ÙÙ Ùا
ÙÙ؞رÙØ© اÙتØÙÙ Ù٠اأÙÙØžÙ Ø© ÙاÙؚصرÙØ§ØªØ ÙاÙÙÙرÙÙÙÙ Ùا؊ÙØ© Ø ÙاÙÙÙØ¯Ø³Ø©Ø ÙاÙÙزÙجة اÙ٠طاطÙØ© Ø ÙاÙØŽØšÙات اÙÙÙرؚا؊ÙØ© Ø
اÙدÙÙا٠ÙÙÙØ©.
Ù Ù Ùؚ٠ؚاØØ«ÙÙ Ø¹Ø¯Ø©Ø ØšØ§Ø³ØªØ®Ø¯Ø§Ù Ø·Ø±Ù Ø¹Ø¯Ùدة ٠ختÙÙØ©. ؚدأ Ù ÙضÙع اÙت٠ا٠Ùا ÙÙÙ Ø٠رÙÙاتÙتÙ٠دراسة ٠عادÙØ©
Ù٠ج٠Ùعة ؚاØØ«Ù٠آخرÙÙ ÙتÙدÙ٠تعرÙ٠جدÙد ÙؚسÙØ· ÙØ£Ùثر Ø®ÙÙ٠ر؎دÙ٠عاداÙت تÙاضÙÙØ© ÙسرÙØ©Ø Ø¹Ùد٠ا Ùا٠اÙدÙتÙر
رÙØ©. Ùذا اÙتعرÙ٠اÙجدÙد Ù٠ا٠تداد ÙÙ٠؎تÙات اÙعادÙØ© ÙاÙØ°Ù ÙسÙÙ Ù "تعرÙ٠اÙ٠طاؚ٠ÙÙ٠؎تÙات ÙÙاءة٠ÙÙ٠؎تÙات اÙÙس
اÙÙسرÙØ©".
اÙتÙاضÙÙØ© اÙÙسرÙØ©Ø ÙÙدÙÙ Ùا ؚعض اÙÙ؞رÙات اÙذ٠تساعدÙا Ù٠رÙÙاتÙÙÙ Ùذا اÙØšØØ«Ø Ø£ÙجدÙا Ø٠دÙÙÙ Ù٠عادÙØ©
Ø©.اÙتÙاضÙÙØ© اÙÙسر٠د Ø٠ثاÙ٠عÙد٠ا Ùعط٠ØÙ Ù٠عادÙØ© رÙÙاتÙØ¥Ùجا