- Research Article
- Open access
- Published:
Fractional-Order Variational Calculus with Generalized Boundary Conditions
Advances in Difference Equations volume 2011, Article number: 357580 (2011)
Abstract
This paper presents the necessary and sufficient optimality conditions for fractional variational problems involving the right and the left fractional integrals and fractional derivatives defined in the sense of Riemman-Liouville with a Lagrangian depending on the free end-points. To illustrate our approach, two examples are discussed in detail.
1. Introduction
Fractional calculus is one of the generalizations of the classical calculus. Several fields of application of fractional differentiation and fractional integration are already well established, some others have just started. Many applications of fractional calculus can be found in turbulence and fluid dynamics, stochastic dynamical system, plasma physics and controlled thermonuclear fusion, nonlinear control theory, image processing, nonlinear biological systems, astrophysics, and so forth (see [1–11] and the references therein).
Real integer variational calculus plays a significant role in many areas of science, engineering, and applied mathematics. In recent years, there has been a growing interest in the area of fractional variational calculus and its applications which include classical and quantum mechanics, field theory, and optimal control (see [10, 12–20]).
In the papers cited above, the problems have been formulated mostly in terms of two types of fractional derivative, namely, Riemann-Liouville (RL) and Caputo derivatives.
The natural boundary conditions for fractional variational problems, in terms of the RL and the Caputo derivatives, are presented in [13, 14].
The necessary optimality conditions for problems of the fractional calculus of variations with a Lagrangian that may also depend on the unspecified end-points ,
is proven in [19].
In [18] the two authors discussed the fractional variational problems with fractional integral and fractional derivative in the sense of Riemann-Liouville and the Caputo derivatives and give the fractional Euler-Lagrange equations with the natural boundary conditions.
Here we develop the theory of fractional variational calculus further by proving the necessary optimality conditions for more general problems of the fractional calculus of variations with a fractional integral and a Lagrangian that may also depend on the unspecified end-points or
. The novelty is the dependence of the integrand
on the free end-points
,
with replacing the ordinary integral by fractional integral in the functional.
We consider two types of fractional variational calculus


The paper is organized as follows.
In Section 2, we present the principal definitions used in this paper. In Section 3, the necessary optimality conditions are proved for problems (1.1) and (1.2) by giving some special cases which prove the generalization of our problems. Sufficient conditions are shown in Section 4, and two examples are depicted in Section 5.
2. Preliminaries
Here we give the standard definitions of left and right Riemann-Liouville fractional integral, Riemann-Liouville fractional derivatives, and Caputo fractional derivatives (see [1, 2, 4, 21]).
Definition 2.1.
If , the set of all integrable functions, and
, then the left and right Riemann-Liouville fractional integrals of order α, denoted, respectively, by
and
, are defined by

Definition 2.2.
For , the left and right Riemann-Liouville fractional derivatives of order α, denoted, respectively, by
and
, are defined by

where is such that
and
If α is an integer, these derivatives are defined in the usual sense

Definition 2.3.
For , the left and right Caputo fractional derivatives of order α, denoted, respectively, by
and
, are defined by

where is such that
and
.
If α is an integer, then these derivatives take the ordinary derivatives

3. Necessary Optimality Conditions
3.1. Necessary Optimality Conditions for Problem (1.1)
To develop the necessary conditions for the extremum for (1.1), assume that is the desired function, let
, and define a family of curves
since
is a linear operator; then we get (1.1) in the form

and where is extremum at
, we get by differentiating both sides with respect to
and set
, for all admissible
,

But we have (by integration by parts in classic and fractional calculus)

Substituting in (3.2), we get

Since is arbitrary, we get
and
which gives the fractional Euler-Lagrange equation in the form

with the natural boundary condition (transversality conditions)

If is specified, then we have
, but if it is not specified, then we get the boundary condition

Remark 3.1.
These conditions are only necessary for an extremum. The question of sufficient conditions for the existence of an extremum is considered in the next section.
Special Cases
Case 1.
If is a local extremizer to

by putting and
in (3.5), (3.6), and (3.7), we get the fractional Euler-Lagrange equation in the form

for all , with the boundary condition

Case 2.
If is a local extremizer to

we get similar results as in [18].
3.2. Necessary Optimality Conditions for Problem (1.2)
To develop the necessary conditions for the extremum for (1.2), assume that is the desired function, let
, and define a family of curves
since
is a linear operator; then we get (1.2) in the form

and where is extremum at
, we get by differentiating both sides with respect to
and set
, for all admissible
,

But we have (by integration by parts) that

Substituting in (3.13), we get

Since is arbitrary, we get
and
which gives the fractional Euler-Lagrange equation in the form

with the natural boundary condition (transversality conditions)

If is specified, then we have
, but if it is not specified, then we get the boundary condition

4. Sufficient Conditions
In this section, we prove the sufficient conditions that ensure the existence of a minimum (maximum). Some conditions of convexity (concavity) are in order.
Given a function , we say that
is jointly convex (concave) in
if
exist and are continuous and verify the following condition:

for all .
Theorem 4.1.
Let be jointly convex (concave) in
. If
satisfies conditions (3.5) (3.7), then
is a global minimizer (maximizer) to problem (1.1).
Proof.
We will give the proof for only the convex case (and similarly we can prove it for the concave case). Since is jointly convex in
for any admissible function
, we have

By using integration by parts ( as in proving (3.5)–(3.7)), we get

Since satisfies conditions (3.5)–(3.7), thus we obtain
which completes the proof.
Similar to proving the previous theorem, we can prove the following theorem.
Theorem 4.2.
Let be jointly convex (concave) in (y,z,u ). If
satisfies conditions (3.16)–(3.18), then
is a global minimizer (maximizer) to problem (1.2).
5. Examples
We will provide in this section two examples in order to illustrate our main results.
Example 5.1.
Consider the following problem:

For this problem, we get the generalized fractional Euler-Lagrange equational and the natural boundary conditions, respectively, in the following form:

Note that it is difficult to solve the above fractional equations; for , a numerical method should be used, and where
is a jointly convex then the obtained solution is a global minimizer to problem (5.1).
Example 5.2.
Consider the following problem:

For this problem, we get the generalized fractional Euler-Lagrange equational and the natural boundary conditions, respectively, in the following form:

Using a numerical method, we get the solution which is a global minimizer to problem (5.3) where is a jointly convex.
References
Miller KS, Ross B: An Introduction to the Fractional Calculus and Fractional Differential Equations, A Wiley-Interscience Publication. John Wiley & Sons, New York, NY, USA; 1993:xvi+366.
Podlubny I: Fractional Differential Equations. Volume 198. Academic Press, San Diego, Calif, USA; 1999:xxiv+340.
Hilfe R: Applications of Fractional Calculus in Physics. World Scientific Publishing, River Edge, NJ, USA; 2000:viii+463.
Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations, North-Holland Mathematical Studies. Volume 204. Elsevier, Amsterdam, the Netherlands; 2006.
Magin RL: Fractional calculus in bioengineering, part 1. Critical Reviews in Biomedical Engineering 2004,32(1):1-104. 10.1615/CritRevBiomedEng.v32.10
Magin RL: Fractional calculus in bioengineering, part 2. Critical Reviews in Biomedical Engineering 2004,32(2):105-193. 10.1615/CritRevBiomedEng.v32.i2.10
Magin RL: Fractional calculus in bioengineering, part3. Critical Reviews in Biomedical Engineering 2004,32(3-4):195-377. 10.1615/CritRevBiomedEng.v32.i34.10
Debnath L: Recent applications of fractional calculus to science and engineering. International Journal of Mathematics and Mathematical Sciences 2003, (54):3413-3442.
Fonseca Ferreira NM, Duarte FB, Lima MFM, Marcos MG, Tenreiro Machado JA: Application of fractional calculus in the dynamical analysis and control of mechanical manipulators. Fractional Calculus & Applied Analysis 2008,11(1):91-113.
Frederico GSF, Torres DFM: Fractional conservation laws in optimal control theory. Nonlinear Dynamics 2008,53(3):215-222. 10.1007/s11071-007-9309-z
Kulish VV, Lage JL: Application of fractional calculus to fluid mechanics. Journal of Fluids Engineering 2002,124(3):803-806. 10.1115/1.1478062
Agrawal OP: Formulation of Euler-Lagrange equations for fractional variational problems. Journal of Mathematical Analysis and Applications 2002,272(1):368-379. 10.1016/S0022-247X(02)00180-4
Agrawal OP: Fractional variational calculus and the transversality conditions. Journal of Physics A 2006,39(33):10375-10384. 10.1088/0305-4470/39/33/008
Agrawal OP: Generalized Euler-Lagrange equations and transversality conditions for FVPs in terms of the Caputo derivative. Journal of Vibration and Control 2007,13(9-10):1217-1237. 10.1177/1077546307077472
Almeida R, Malinowska AB, Torres DFM: A fractional calculus of variations for multiple integrals with application to vibrating string. Journal of Mathematical Physics 2010.,51(3):
Baleanu D, Agrawal OP: Fractional Hamilton formalism within Caputo's derivative. Czechoslovak Journal of Physics 2006,56(10-11):1087-1092. 10.1007/s10582-006-0406-x
Baleanu D, Muslih SI, Rabei EM: On fractional Euler-Lagrange and Hamilton equations and the fractional generalization of total time derivative. Nonlinear Dynamics 2008,53(1-2):67-74. 10.1007/s11071-007-9296-0
Herzallah MAE, Baleanu D: Fractional-order Euler-Lagrange equations and formulation of Hamiltonian equations. Nonlinear Dynamics 2009,58(1-2):385-391. 10.1007/s11071-009-9486-z
Malinowska A, Torres DFM: Generalized natural boundary conditions for fractional variational problems in terms of the Caputo derivative. Computers & Mathematics with Applications 2010,59(9):3110-3116. 10.1016/j.camwa.2010.02.032
Muslih SI, Baleanu D: Fractional Euler-Lagrange equations of motion in fractional space. Journal of Vibration and Control 2007,13(9-10):1209-1216. 10.1177/1077546307077473
Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives: Theory and Applcations. Gordon and Breach, New York, NY ,USA; 1987:xxxvi+976. Translated from the Russian
Acknowledgment
The first author would like to thank Majmaah University in Saudi Arabia for financial support and for providing the necessary facilities.
Author information
Authors and Affiliations
Corresponding author
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.
About this article
Cite this article
Herzallah, M., Baleanu, D. Fractional-Order Variational Calculus with Generalized Boundary Conditions. Adv Differ Equ 2011, 357580 (2011). https://doi.org/10.1155/2011/357580
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/357580