Abstract
We review some of the recent results of the fractional variational calculus. Necessary optimality conditions of Euler–Lagrange type for functionals with a Lagrangian containing left and right Caputo derivatives are given. Several problems are considered: with fixed or free boundary conditions, and in presence of integral constraints that also depend on Caputo derivatives.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
- Caputo Derivative
- Fractional Variational Calculus
- Fractional Euler Lagrange Equations
- Riemann-Liouville Fractional Derivative
- Riemann-Liouville Fractional Integral Operator
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
1 Introduction
Fractional calculus plays an important role in many different areas, and has proven to be a truly multidisciplinary subject [20, 30]. It is a mathematical field as old as the calculus itself. In a letter dated 30th September 1695, Leibniz posed the following question to L’Hopital: “Can the meaning of derivative be generalized to derivatives of non-integer order?” Since then, several mathematicians had investigated Leibniz’s challenge, prominent among them were Liouville, Riemann, Weyl, and Letnikov. There are many applications of fractional calculus, for example, in viscoelasticity, electrochemistry, diffusion processes, control theory, heat conduction, electricity, mechanics, chaos and fractals, and signals and systems [12, 22].
Several methods to solve fractional differential equations are available, using Laplace and Fourier transforms, truncated Taylor series, and numerical approximations. In Almeida and Torres [7] a new direct method to find exact solutions of fractional variational problems is proposed, based on a simple but powerful idea introduced by Leitmann, that does not involve solving (fractional) differential equations [32]. By an appropriate coordinate transformation, we rewrite the initial problem to an equivalent simpler one; knowing the solution for the new equivalent problem, and since there exists an one-to-one correspondence between the minimizers (or maximizers) of the new problem with the ones of the original, we determine the desired solution. For a modern account on Leitmann’s direct method see [25, 26].
The calculus of variations is a field of mathematics that deals with extremizing functionals [33]. The variational functionals are often formed as definite integrals involving unknown functions and their derivatives. The fundamental problem consists to find functions y(x), x ∈ [a, b], that extremize a given functional when subject to boundary conditions y(a) = y a and y(b) = y b . Since this can be a hard task, one wishes to study necessary and sufficient optimality conditions. The simplest example is the following one: what is the shape of the curve y(x), x ∈ [a, b], joining two fixed points y a and y b , that has the minimum possible length? The answer is obviously the straight line joining y a and y b . One can obtain it solving the corresponding Euler–Lagrange necessary optimality condition. If the boundary condition y(b) = y b is not fixed, that is, if we are only interested in the minimum length, the answer is the horizontal straight line y(x) = y a , x ∈ [a, b] (free endpoint problem). In this case we need to complement the Euler–Lagrange equation with an appropriate natural boundary condition. For a general account on Euler–Lagrange equations and natural boundary conditions, we refer the readers to [23, 24] and references therein. Another important family of variational problems is the isoperimetric one [5]. The classical isoperimetric problem consists to find a continuously differentiable function y = y(x), x ∈ [a, b], satisfying given boundary conditions y(a) = y a and y(b) = y b , which minimizes (or maximizes) a functional
subject to the constraint
The most famous isoperimetric problem can be posed as follows. Amongst all closed curves with a given length, which one encloses the largest area? The answer, as we know, is the circle. The general method to solve such problems involves an Euler–Lagrange equation obtained via the concept of Lagrange multiplier (see, e.g., [4]).
The fractional calculus of variations is a recent field, initiated in 1997, where classical variational problems are considered but in presence of some fractional derivative or fractional integral [31]. In the past few years an increasing of interest has been put on finding necessary conditions of optimality for variational problems with Lagrangians involving fractional derivatives [1, 9, 10, 11, 16, 17, 18, 19, 27, 28], fractional derivatives and fractional integrals [3, 6, 15], classical and fractional derivatives [29], as well as fractional difference operators [13, 14]. A good introduction to the subject is given in the monograph of Klimek [21]. Here we consider unconstrained and constrained fractional variational problems via Caputo operators.
2 Preliminaries and Notations
There exist several definitions of fractional derivatives and fractional integrals, for example, Riemann–Liouville, Caputo, Riesz, Riesz–Caputo, Weyl, Grunwald–Letnikov, Hadamard, and Chen. Here we review only some basic features of Caputo’s fractional derivative. For proofs and more on the subject, we refer the readers to [20, 30].
Let f : [a, b] → ℝ be an integrable function, α > 0, and Γ be the Euler gamma function. The left and right Riemann–Liouville fractional integral operators of order α are defined byFootnote 1
and
respectively. The left and right Riemann–Liouville fractional derivative operators of order α are, respectively, defined by
and
where \(n = [\alpha ] + 1\). Interchanging the composition of operators in the definition of Riemann–Liouville fractional derivatives, we obtain the left and right Caputo fractional derivatives of order α:
and
Theorem 9.1.
Assume that f is of class C n on [a,b]. Then its left and right Caputo derivatives are continuous on the closed interval [a,b].
One of the most important results for the proof of necessary optimality conditions, is the integration by parts formula. For Caputo derivatives the following relations hold.
Theorem 9.2.
Let α > 0, and f,g : [a,b] → ℝ be C n functions. Then
and
where \({}_{a}{D}_{x}^{k} {= }_{a}{I}_{x}^{-k}\) and \({}_{x}{D}_{b}^{k} {= }_{x}{I}_{b}^{-k}\) whenever k < 0.
In the particular case when 0 < α < 1, we get from Theorem 9.2 that
and
In addition, if f is such that \(f(a) = f(b) = 0\), then
and
Along the work, we denote by ∂ i L, i = 1, …, m (m ∈ ℕ), the partial derivative of function L : ℝ m → ℝ with respect to its ith argument. For convenience of notation, we introduce the operator α C[ ⋅]β defined by
where α, β ∈ (0, 1).
3 Euler–Lagrange Equations
The fundamental problem of the fractional calculus of variations is addressed in the following way: find functions y ∈ ℰ,
that maximize or minimize the functional
As usual, the Lagrange function L is assumed to be of class C 1 on all its arguments. We also assume that ∂ 3 L ∘ α C[y]β has continuous right Riemann–Liouville fractional derivative of order α and ∂ 4 L ∘ α C[y]β has continuous left Riemann–Liouville fractional derivative of order β for y ∈ ℰ.
In [1] a necessary condition of optimality for such functionals is proved. We remark that although functional (9.1) contains only Caputo fractional derivatives, the fractional Euler–Lagrange equation also contains Riemann–Liouville fractional derivatives.
Theorem 9.3 (Euler–Lagrange equation for (9.1)).
If y is a minimizer or a maximizer of J on ℰ, then y is a solution of the fractional differential equation
for all x ∈ [a,b].
Proof.
Given | ε | ≪ 1, consider h ∈ V where
and a variation of function y of type y + εh. Define the real valued function j(ε) by
Since ε = 0 is a minimizer or a maximizer of j, we have j′(0) = 0. Thus,
We obtain equality (9.2) integrating by parts and applying the classical fundamental lemma of the calculus of variations [33].
We remark that when α → 1, then (9.1) is reduced to a classical functional
and the fractional Euler–Lagrange equation (9.2) gives the standard one:
Solutions to equation (9.2) are said to be extremals of (9.1).
4 The Isoperimetric Problem
The fractional isoperimetric problem is stated in the following way: find the minimizers or maximizers of functional J as in (9.1), over all functions y ∈ ℰ satisfying the fractional integral constraint
Similarly as L, g is assumed to be of class C 1 with respect to all its arguments, function ∂ 3 g ∘ α C[y]β is assumed to have continuous right Riemann–Liouville fractional derivative of order α and ∂ 4 g ∘ α C[y]β continuous left Riemann–Liouville fractional derivative of order β for y ∈ ℰ. A necessary optimality condition for the fractional isoperimetric problem is given in [8].
Theorem 9.4.
Let y be a minimizer or maximizer of J on ℰ, when restricted to the set of functions z ∈ℰ such that I(z) = l. In addition, assume that y is not an extremal of I. Then, there exists a constant λ such that y is a solution of
for all x ∈ [a,b], where \(F = L + \lambda g\).
Proof.
Given h 1, h 2 ∈ V, | ε1 | ≪ 1 and | ε2 | ≪ 1, consider
and
Since y is not an extremal for I, there exists a function h 2 such that
and by the implicit function theorem, there exists a C 1 function ε2( ⋅), defined in some neighborhood of zero, such that
Applying the Lagrange multiplier rule (see, e.g., [33, Theorem 4.1.1]) there exists a constant λ such that
Differentiating j and i at (0, 0), and integrating by parts, we prove the theorem.
Example 9.1.
Let \(\overline{y}(x) = {E}_{\alpha }({x}^{\alpha })\), x ∈ [0, 1], where E α is the Mittag-Leffler function. Then \({}_{0}^{C}{D}_{x}^{\alpha }[\overline{y}] = \overline{y}\). Consider the following fractional variational problem:
with \(l :={ \int \nolimits \nolimits }_{0}^{1}{(\overline{y}(x))}^{2}\mathrm{d}x\) and y 1 : = E α(1). In this case function F of Theorem 9.4 is
and the fractional Euler–Lagrange equation (9.3) is
A solution to this problem is \(\lambda = -2\) and \(y(x) = \overline{y}(x)\), x ∈ [0, 1].
The case when y is an extremal of I is also included in the results of [8].
Theorem 9.5.
If y is a minimizer or a maximizer of J on ℰ, subject to the isoperimetric constraint I(y) = l, then there exist two constants λ 0 and λ, not both zero, such that
for all x ∈ [a,b], where \(K = {\lambda }_{0}L + \lambda g\).
Proof.
The same as the proof of Theorem 9.4, but now using the abnormal Lagrange multiplier rule (see, e.g., [33, Theorem 4.1.3]).
5 Transversality Conditions
We now give the natural boundary conditions (also known as transversality conditions) for problems with the terminal point of integration free as well as y b .
Let
The type of functional we consider now is
where the operator α C[ ⋅] is defined by
These problems are investigated in [1] and more general cases in [2].
Theorem 9.6.
Suppose that (y,T) ∈ℱ minimizes or maximizes J defined by (9.4) on ℱ. Then
for all x ∈ [a,T]. Moreover, the following transversality conditions hold:
Proof.
The result is obtained by considering variations y + εh of function y and variations T + ε △ T of T as well, and then applying the Fermat theorem, integration by parts, Leibniz’s rule, and using the arbitrariness of h and △ T.
Transversality conditions for several other situations can be easily obtained. Some important examples are:
-
If T is fixed but y(T) is free, then besides the Euler–Lagrange equation (9.5) one obtains the transversality condition
$$\begin{array}{rcl} {}_{x}{I}_{T}^{1-\alpha }\left [{\partial }_{ 3}L {\circ }_{\alpha }^{C}[y]\right ](T) = 0.& & \\ \end{array}$$ -
If y(T) is given but T is free, then the transversality condition is
$$\begin{array}{rcl} \left (L {\circ }_{\alpha }^{C}[y]\right )(T) - y'(T) {\cdot }_{ x}{I}_{T}^{1-\alpha }\left [{\partial }_{ 3}L {\circ }_{\alpha }^{C}[y]\right ](T) = 0.& & \\ \end{array}$$ -
If y(T) is not given but is restricted to take values on a certain given curve ψ, that is, y(T) = ψ(T), then
$$\begin{array}{rcl} \left (\psi '(T) - y'(T)\right ) {\cdot }_{x}{I}_{T}^{1-\alpha }\left [{\partial }_{ 3}L {\circ }_{\alpha }^{C}[y]\right ](T) + \left (L {\circ }_{ \alpha }^{C}[y]\right )(T) = 0.& & \\ \end{array}$$
Notes
- 1.
Along the work we use round brackets for the arguments of functions, and square brackets for the arguments of operators. By definition, an operator receives a function and returns another function.
References
Agrawal OP (2007) Generalized Euler-Lagrange equations and transversality conditions for fvps in terms of the Caputo derivative. J Vib Contr 13(9–10):1217–1237
Almeida R, Malinowska AB Generalized transversality conditions in fractional calculus of variations. (Submitted)
Almeida R, Malinowska AB, Torres DFM (2010) A fractional calculus of variations for multiple integrals with application to vibrating string. J Math Phys 51(3):033503, 12 pp
Almeida R, Torres DFM (2009) Hölderian variational problems subject to integral constraints. J Math Anal Appl 359(2):674–681
Almeida R, Torres DFM (2009) Isoperimetric problems on time scales with nabla derivatives. J Vib Contr 15(6):951–958
Almeida R, Torres DFM (2009) Calculus of variations with fractional derivatives and fractional integrals. Appl Math Lett 22(12):1816–1820
Almeida R, Torres DFM (2010) Leitmann’s direct method for fractional optimization problems. Appl Math Comput 217(3):956–962
Almeida R, Torres DFM (2011) Necessary and sufficient conditions for the fractional calculus of variations with Caputo derivatives. Comm Nonlinear Sci Numer Simult 16(3):1490–1500
Atanacković TM, Konjik S, Pilipović S (2007) Variational problems with fractional derivatives: Euler-Lagrange equations. J Phys A 41(9):095201, 12 pp
Baleanu D (2008) Fractional constrained systems and caputo derivatives. J Comput Nonlinear Dynam 3(2):021102
Baleanu D (2008) New applications of fractional variational principles. Rep Math Phys 61(2):199–206
Baleanu D, Güvenç ZB, Tenreiro Machado JA (2010) New trends in nanotechnology and fractional calculus applications. Springer, New York
Bastos NRO, Ferreira RAC, Torres DFM (2011) Necessary optimality conditions for fractional difference problems of the calculus of variations. Discrete Contin Dyn Syst 29(2):417–437
Bastos NRO, Ferreira RAC, Torres DFM (2011) Discrete-time fractional variational problems. Signal Process 91(3):513–524
El-Nabulsi RA, Torres DFM (2007) Necessary optimality conditions for fractional action-like integrals of variational calculus with Riemann-Liouville derivatives of order (α, β). Math Methods Appl Sci 30(15):1931–1939
El-Nabulsi RA, Torres DFM (2008) Fractional actionlike variational problems. J Math Phys 49(5):053521, 7 pp
Frederico GSF, Torres DFM (2007) A formulation of Noether’s theorem for fractional problems of the calculus of variations. J Math Anal Appl 334(2):834–846
Frederico GSF, Torres DFM (2008) Fractional conservation laws in optimal control theory. Nonlinear Dynam 53(3):215–222
Frederico GSF, Torres DFM (2010) Fractional Noether’s theorem in the Riesz-Caputo sense. Appl Math Comput 217(3):1023–1033
Kilbas AA, Srivastava HM, Trujillo JJ (2006) Theory and applications of fractional differential equations. Elsevier, Amsterdam
Klimek M (2009) On solutions of linear fractional differential equations of a variational type. Czestochowa Series Monographs 172, Czestochowa University of Technology, Czestochowa
Magin R, Ortigueira MD, Podlubny I, Trujillo J (2011) On the fractional signals and systems. Signal Process 91(3):350–371
Malinowska AB, Torres DFM (2010) Natural boundary conditions in the calculus of variations. Math Methods Appl Sci 33(14):1712–1722
Malinowska AB, Torres DFM (2010) Generalized natural boundary conditions for fractional variational problems in terms of the Caputo derivative. Comput Math Appl 59(9):3110–3116
Malinowska AB, Torres DFM (2010) Leitmann’s direct method of optimization for absolute extrema of certain problems of the calculus of variations on time scales. Appl Math Comput 217(3):1158–1162
Malinowska AB, Torres DFM (2010) The Hahn quantum variational calculus. J Optim Theory Appl 147(3):419–442
Mozyrska D, Torres DFM (2010) Minimal modified energy control for fractional linear control systems with the Caputo derivative. Carpathian J Math 26(2):210–221
Mozyrska D, Torres DFM (2011) Modified optimal energy and initial memory of fractional continuous-time linear systems. Signal Process 91(3):379–385
Odzijewicz T, Malinowska AB, Torres DFM (2011) Fractional variational calculus with classical and combined Caputo derivatives. Nonlinear Anal (in press) DOI: 10.1016/j.na.2011.01.010
Podlubny I (1999) Fractional differential equations. Academic Press, San Diego, CA
Riewe F (1997) Mechanics with fractional derivatives. Phys Rev E 55(3):3581–3592
Torres DFM, Leitmann G (2008) Contrasting two transformation-based methods for obtaining absolute extrema. J Optim Theory Appl 137(1):53–59
van Brunt B (2004) The calculus of variations. Universitext, Springer, New York
Acknowledgements
Work supported by FEDER funds through COMPETE — Operational Programme Factors of Competitiveness (“Programa Operacional Factores de Competitividade”) and by Portuguese funds through the Center for Research and Development in Mathematics and Applications (University of Aveir) and the Portuguese Foundation for Science and Technology (“FCT — Fundação para a Ciência e a Tecnologia”), within project PEst-C/MAT/Ul4106/2011 with COMPETE number FCOMP-01-0124-FEDER-022690. Agnieszka Malinowska is also supported by Białystok University of Technology grant S/WI/2/2011.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Almeida, R., Malinowska, A.B., Torres, D.F.M. (2012). Fractional Euler–Lagrange Differential Equations via Caputo Derivatives. In: Baleanu, D., Machado, J., Luo, A. (eds) Fractional Dynamics and Control. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-0457-6_9
Download citation
DOI: https://doi.org/10.1007/978-1-4614-0457-6_9
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-0456-9
Online ISBN: 978-1-4614-0457-6
eBook Packages: EngineeringEngineering (R0)