Volume 2011, Issue 1 375838
Research Article
Open Access

Canonical Quantization of Higher-Order Lagrangians

Khaled I. Nawafleh

Corresponding Author

Khaled I. Nawafleh

Department of Physics, Mu′tah University, Karak 61710, Jordan mutah.edu.jo

Search for more papers by this author
First published: 20 October 2011
Citations: 3
Academic Editor: Nicola Guglielmi

Abstract

After reducing a system of higher-order regular Lagrangian into first-order singular Lagrangian using constrained auxiliary description, the Hamilton-Jacobi function is constructed. Besides, the quantization of the system is investigated using the canonical path integral approximation.

1. Introduction

The efforts to quantize systems with constraints started with the work of Dirac [1, 2], who first set up a formalism for treating singular systems and the constraints involved for the purpose of quantizing his field, with special emphasis on the gravitational field. In Dirac’s canonical quantization method, the Poisson brackets of classical mechanics are replaced with quantum commutators.

A new formalism for investigating first-order singular systems-, the canonical-, was developed by Rabei and Guler [3]. These authors obtained a set of Hamilton-Jacobi partial differential equations (HJPDEs) for singular systems using Caratheodory’s equivalent-Lagrangian method [4]. In this formalism, the equations of motion are obtained as total differential equations and the set of HJPDEs was determined. Recently, the formalism has been extended to second- and higher-order Lagrangians [5, 6]. Depending on this method, the path-integral quantization of first-and higher-order constrained Lagrangian systems has been applied [710].

Moreover, the quantization of constrained systems has been studied for first-order singular Lagrangians using the WKB approximation [11]. The HJPDEs for these systems have been constructed using the canonical method; the Hamilton-Jacobi functions have then been obtained by solving these equations.

The Hamiltonian formulation for systems with higher-order regular Lagrangians was first developed by Ostrogradski [12]. This led to Euler′s and Hamilton′s equations of motion. However, in Ostrogradski′s construction the structure of phase space and in particular of its local simplistic geometry is not immediately transparent which leads to confusion when considering canonical path integral quantization.

In Ostrogradski′s construction, this problem can be resolved within the well-established context of constrained systems [13] described by Lagrangians depending on coordinates and velocities only. Therefore, higher-order systems can be set in the form of ordinary constrained systems [14]. These new systems will be functions only of first-order time derivative of the degrees of freedom and coordinates which can be treated using the theory of constrained systems [111].

The purpose of the present paper is to study the canonical path integral quantization for singular systems with arbitrary higher-order Lagrangian. In fact, this work is a continuation of the previous work [15], where the path integral for certain kinds of higher-order Lagrangian systems has been obtained.

The present work is organized as follows: in Section 2, a review of the canonical method is introduced. In Section 3, Ostrogradski′s formalism of higher-order Lagrangians is discussed. In Section 4, the formulation of the canonical Hamiltonian is reviewed briefly. In Section 5, the canonical path integral quantization of the extended Lagrangian is applied. In Section 6, two illustrative examples are investigated in detail. The work closes with some concluding remarks in Section 7.

2. Review of the Canonical Method

The starting point is a singular Lagrangian , i = 1,2, …, N, with the Hessian matrix of rank N-R,   R < N.

The canonical formulation [3] gives the set of the Hamilton-Jacobi partial differential equations as
(2.1)
where p0 and qμ  are the momenta conjugate to t and  qμ, respectively,
(2.2)
The canonical Hamiltonian H0 is given by
(2.3)
The equations of motion are obtained as total differential equations in many variables as follows:
(2.4)
(2.5)
where z = S(t, qa, qμ). The set of equations (2.4) and (2.5) is integrable if and only if
(2.6)
are identically satisfied. If they are not, one could consider them as new constraints and again should test the consistency conditions. Thus, in repeating this procedure one may obtain a new set of conditions. Equations (2.4) then can be solved to obtain the coordinates qa and momenta pi as functions of qμ and t.

3. Ostrogradski′s Formalism of Higher-Order Lagrangians

Consider a higher-order Lagrangian system of N generalized coordinates qn(t):
(3.1)
where , s = 0,1, …, m and n   =   1, …, N.
The Euler-Lagrange equations of motion are obtained as [12]
(3.2)
Theories with higher derivatives, which have been first developed by Ostrogradski [12], treat the derivatives as independent coordinates. Therefore, we will indicate this by writing them as . In Ostrogradski′s formalism, the momenta conjugated, respectively, to qn,m−1 and qn,s−1, (s = 1, …, m − 1) read as
(3.3)
Therefore, the canonical Hamiltonian is given by
(3.4)
Hamilton′s equations of motion are written using Poisson bracket as [5, 6]
(3.5)
(3.6)
where {  ,   } is the Poisson bracket defined as
(3.7)
The fundamental Poisson brackets are
(3.8)
where n, n = 1, …, N,   and  s, s = 0, …, m − 1.

With this procedure, the phase space, described in terms of the canonical variables qn,s    and    pn,s, is obeying the equations of motion that are given by (3.5) and (3.6), which are first-order differential equations.

4. Formulation of the Canonical Hamiltonian

Recall the higher-order Lagrangian given in (3.1), and let us introduce new independent variables (qn,m−1, qn,i,   i = 0,1, …, m − 2) such that the following recursion relations would hold [13, 14]:
(4.1)
Clearly, the variables (qn,m−1, qn,i), would then correspond to the time derivatives () respectively, that is,
(4.2)
Equation (4.1) represents relations between the new variables. In order to enforce these relations for independent variables (qn,m−1, qn,i), additional Lagrange multipliers λn,i(t) are introduced [14]. The variables (qn,m−1, qn,i, λn,i), thus, determine the set of independent degrees of freedom of the extended Lagrangian system. The extended Lagrangian of this auxiliary description of the system is given by
(4.3)
The new Lagrangian in (4.3) is singular, and one can use the standard methods of singular systems like Dirac′s method or the canonical approach to investigate this Lagrangian.
Upon introducing the canonical momenta:
(4.4)
(4.5)
(4.6)
the canonical Hamiltonian can be obtained as
(4.7)
Equations (4.5) and (4.6) represent primary constraints [1, 2]. Their Hamilton-Jacobi partial differential equations can be obtained as
(4.8)
(4.9)
(4.10)
The equations of motion can be written as total differential equations in many variables as follows:
(4.11)
(4.12)
(4.13)
The total differential equations are integrable if and only if
(4.14)

5. The Canonical Path Integral Quantization

If the coordinates t,   qn,i,   λn,i are denoted by tα, that is,
(5.1)
then the set of primary constraints (4.8), (4.9), and (4.10) can be written in a compact form as
(5.2)
where
(5.3)
Making use of [7], the canonical path integral for the extended Lagrangians can be obtained as
(5.4)
Note that (4.12) gives
(5.5)
Therefore, (5.4) can be written as
(5.6)
However, according to (4.6) and (4.7), we get
(5.7)
so, it can bee found that
(5.8)
Then the transition amplitude can be written in the final form as
(5.9)
Equation (5.9) represents the canonical path integral quantization of higher-order regular Lagrangians as first-order singular Lagrangians.

6. Examples

In this section, the procedure described throughout this paper will be illustrated by the following two examples.

6.1. Example 1

As a first example, let us consider a one-dimensional second-order regular lagrangian of the form:
(6.1)
If (4.2) is used, we can write
(6.2)
Hence, the Lagrangian (6.1) becomes
(6.3)
Upon using (4.1), the recursion relation is . And with the aid of (4.3), the extended Lagrangian is simply
(6.4)
The conjugate momenta can be obtained as
(6.5)
It is obvious that the second and third equations are constraints. Therefore, the coordinates q10 and λ10 represent the restricted coordinates.
Using (4.4), the canonical Hamiltonian takes the form:
(6.6)
Accordingly, the set of HJPDE′s can be written as
(6.7)
From (5.9), the canonical path integral quantization for this system is
(6.8)
where .
(6.9)
Equation (6.9) can be written in a compact form as
(6.10)
Upon changing the integration over dt to summation, we have
(6.11)
The p11j-integration can be performed using the Gaussian integral:
(6.12)

6.2. Example 2

As a second example, consider the three-dimensional second-order regular lagrangian:
(6.13)
If we put
(6.14)
then the above Lagrangian can be written as
(6.15)
Here the recursion relations are
(6.16)
Accordingly, the extended Lagrangian can be given as:
(6.17)
The corresponding momenta are calculated as
(6.18)
Therefore, the canonical Hamiltonian reads
(6.19)
Thus, the set of HJPDE′s can be written as
(6.20)
Then, the canonical path integral quantization for this system is constructed as
(6.21)
where n = 1,2, 3.
(6.22)
Changing the integration over dt to summation and integrating over p11,p21 and p31  k times we get
(6.23)

7. Conclusion

In this work, we have investigated the canonical path integral quantization of higher-order regular Lagrangians. Where the higher-order regular Lagrangians are first treated as first-order singular Lagrangians, this means that each velocity term is replaced by a new function qn,i+1, which is led to a constraint equation, , that is added to the original Lagrangian. The same procedure is repeated for the second and other higher order terms of velocities. Every time, a new constraint is obtained and added to the original Lagrangian. As a result to this procedure, the new constructed Lagrangian is the extended first-order Lagrangian.

Once the extended Lagrangian is obtained, it is treated using the well-known Hamilton-Jacobi method which enables us to obtain the equations of motion. Besides, the action integral can be derived and the quantization of the system may be investigated using the canonical path integral approximation.

In this treatment, we believe that the local structure of phase space and its local simplistic geometry is more transparent than in Ostrogradski′s approach. In Ostrogradski′s approach, the structure of phase space leads to confusion when considering canonical path integral quantization.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.