Fractional Euler Lagrange Equations for Irregular Lagrangian with Holonomic Constraints ()
1. Introduction
The Euler Lagrange equations and Hamilton’s principle form the basis of Lagrangian or Hamiltonian mechanics. The power of Lagrangian mechanics is that the given equations are characterized with only one scalar function the Lagrangian L, or the Hamiltonian H. In general, these functions only describe conservative systems. There have been some approaches at describing nonconservative systems in such formalism. The method presented by Rayleigh introduces a function R (called Rayleigh’s dissipation function).
The study of holonomic constrained systems is discussed in most references of classical mechanics [1] [2] ; these systems describe dynamic systems with constraints depend only on the generalized coordinates
. The canonical formalism of holonomic systems was treated by Rabei [3] . In this formalism the author has treated the regular Lagrangian with holonomic constraints as singular systems and the Lagrange multipliers as generalized coordinates. The equations of motion are written as total differential equations then, the holonomic systems are quantized using the WKB approximation [4] .
Fractional calculus is a generalization of differentiation and integration to a noninteger order. The interest in fractional calculus has been growing continually during the last few years because of its numerous applications in science and engineering [5] [6] [7] . The traditional calculus of variation cannot be used to obtain the equations of motion for the nonconservative systems.
Riewe has used the fractional calculus to develop a formalism which can be used for both conservative and nonconservative systems [8] [9] . The Hamiltonian and Lagrangian involving fractional derivative is also used to derive the equation of damped harmonic oscillator [10] . Therefore the dynamical systems with fractional order can be dissipative. For this reason, the theory and methods of fractional calculus are extensively used for describing critical phenomena in nonconservative systems of physics and mechanics [11] [12] .
Recently, the classical calculus of variations was extended by Agrawal [13] for systems containing Riemann-Liouville fractional derivatives. The resulting equations are found to be similar to those for variational problems containing integral order derivatives. In other words, the results of fractional calculus of variations reduce to those obtained from traditional fractional calculus of variations when the derivative of fractional order replaced by integral order. More recently, Euler Lagrange equations for holonomic constrained systems with regular Lagrangian have been presented by Hasan [14] using the fractional variationl problems.
In the present paper as a continuation of Jarab’ah work [15] the fractional Euler Lagrange equations are used to obtain the equations of motion for irregular Lagrangian with holonomic constraints, it seems that there are several choices of fractional Lagrangian giving the same classical limit, in other words the same classical Lagrangian.
This paper is organized as follows: In Section 2, Euler Lagrange equations formulation for Irregular Lagrangian with holonomic constraints is reviewed briefly. In Section 3, basic definitions of fractional derivatives are briefly discussed. In Section 4, the fractional Euler Lagrange equations for irregular Lagrangian with holonomic constraints are explained. In Section 5, two illustrative examples are examined. The work closes with some concluding remarks (In Section 6).
2. Euler Lagrange Equations Formulation for Regular Lagrangian with Holonomic Constraints
The Lagrangian formulation for regular Lagrangian is given by
(1)
Here
stands for the Lagrangian of the corresponding conservative systems. The standard method for incorporating the constraint functions to the equations of motion is the use of the so called Lagrange multipliers. The motion of a holonomic system could in principle be determined by making use of the n Euler Lagrange equations and m constraints.
(2)
The constraint equation with m constraints can be written as
,
.
: are the Lagrange multipliers.
3. Basic Definitions of Fractional Derivatives
Now, we will give the basic definition of a fractional derivatives include the left and the right Riemann Liouville fractional derivatives [16] [17] and their properties. The left Riemann Liouville fractional derivative is defined as
(3)
which is denoted as the LRLFD,
and the right Riemann Liouville fractional derivative is defined as
(4)
which is denoted as the RRLFD,
Here
represents the Euler’s gamma function, and
is the order of the derivative such that
and is not equal to zero. If
is an integer, these derivatives are defined as follows:
(5)
(6)
The fractional operator
can be written as [18] .
(7)
and has the following properties:
1)
2)
3)
Theorem: Let f and g be two continuous functions on
. Then, for all
, the following properties hold:
1) For
,
2) For
,
3) For
,
4) For
,
4. Fractional Euler Lagrange Equations for Irregular Lagrangian with Holonomic Constraints
The Lagrangian formulation for irregular Lagrangian without fractional derivatives is given by [19]
(8)
where L is irregular Lagrangian which is a function of n generalized coordinates
and n generalized velocities
and
is defined as damping factor.
The Euler-Lagrange equation for the fractional calculus of variations problems is obtained as
(9)
Here L is a function of the form
.
It is worth to mention that for
, we have
and
and Equation (9) reduces to the standard Euler Lagrange equation for holonomic constraints.
5. Examples
1) As a first model let us consider the following Lagrangian that describes the motion of a bead of mass m is constrained to move on a circular wire of radius R.
The Lagrangian of our problem is given by
In the presence of damping factor the Lagrangian becomes
(10)
Is subject to the holonomic constraint
(11)
The Lagrangian in fractional form can be written as
(12)
Using Equation (9), the corresponding Euler Lagrange equations are
(13)
and
(14)
From Equations (13) and (14), we obtain the classical results if
and
. One can get the angular acceleration
(15)
and the Lagrange multiplier is given by
(16)
2) As a second model let us consider the following Lagrangian that describes the motion of a disk of mass m and radius R that is rolling down an inclined plane without slipping.
The Lagrangian of our problem is given by
In the presence of damping factor the Lagrangian becomes
(17)
where
is the angle of the inline plane.
The holonomic constraint equation is
(18)
The Lagrangian in fractional form can be written as
(19)
Using Equations (9), the corresponding Euler Lagrange equations are
(20)
and
(21)
again, making use of Equations (20) and (21), if
and
. The angular accelerations take the following form
(22)
(23)
and the Lagrange multiplier
(24)
which are in exact agreement with that obtained by classical method.
6. Conclusion
In this work, Euler Lagrange equations have been presented for irregular Lagrangian with holonomic constraints using fractional approach, the fractional Euler Lagrange equations for holonomic constrained systems were derived, and through this approach we have shown that, the fractional results are very similar to those for the classical results. In special cases, when
and
are equal unity only; the results of fractional calculus reduce to those obtained from classical calculus. Given the fact that many systems can be modeled more accurately using fractional derivative models, it is hoped that future research will continue in this area.
Conflicts of Interest
The authors declare no conflicts of interest regarding the publication of this paper.