Noether's Theorem in Classical Mechanics Revisited: Rubens M Marinho JR
Noether's Theorem in Classical Mechanics Revisited: Rubens M Marinho JR
Noether's Theorem in Classical Mechanics Revisited: Rubens M Marinho JR
doi:10.1088/0143-0807/28/1/004
1. Introduction
Noethers [1] theorem, presented in 1918, is one of the most beautiful theorems in physics.
It relates symmetries of a theory with its laws of conservation. Many modern textbooks
on quantum field theory present a pedagogical version of the theorem where its power is
demonstrated. The interested reader is referred to the detailed discussion due to Hill [2].
Despite the great generality of this theorem, few authors present its version for classical
mechanics. See for example the work of Desloge and Karch [3] using an approach inspired in
the work of Lovelock and Rund [4]. Several authors demonstrate Noethers theorem starting
from the invariance of the Lagrangian [5, 6], but in this case it is not possible to obtain the
energy conservation law in a natural way.
In this paper, the theorem is proved imposing invariance of the action under infinitesimal
transformation, opening the possibility of extending Noethers theorem in classical mechanics
to include the energy conservation.
In section 2, the EulerLagrange equation is rederived. In section 3, Noethers theorem
is proved, in section 4 several applications are presented and in section 5 Noethers theorem
is extended and energy conservation obtained.
2. The EulerLagrange equations
We rederive the EulerLagrange equations of motion for the sake of completeness and to
introduce notation.
Let us consider a system of particles with n degrees of freedom whose generalized
characterized by the Lagrangian
coordinates and velocities are, respectively, q and q,
t), where q is shorthand for q1 (t), q2 (t), . . . , qn (t), with the dot representing the
L(q, q,
c 2007 IOP Publishing Ltd Printed in the UK
0143-0807/07/010037+07$30.00
37
38
R M Marinho
q
(t2 , q2 )
q(t)
q(t)
q (t)
(t1, q1 )
t
total time derivative. When necessary for clarification, the explicit time dependence will be
displayed. This simple system is used in order to place in evidence the main features of
Noethers theorem.
The most general formulation of mechanics is through the principle of least action or
Hamiltons principle [7, 8]: From among all functions q (t) connecting the fixed end points
(q1 , t1 ) to (q2 , t2 ), see figure 1, the particular trajectory q(t) chosen by the dynamical system
is such that the action integral
t2
S=
L(q, q , t) dt
(2.1)
t1
is a minimum1 for the path q(t) of motion. In other words, the variation of the action S is
zero for this path. Taking the variation of (2.1) imposing the conditions that the variation at
the end points of the path t1 and t2 are zero,
q(t2 ) = q(t1 ) = 0,
(2.2)
= 0.
(2.3)
dt qi
qi
The following should also be considered: as is well known, the action S is invariant if we
replace the Lagrangian, L, of the system by a new Lagrangian, L , differing from the old one
by the total time derivative of a function, G(q, t), dependent only on the coordinates and the
time,
t2
t2
dG(q, t)
dt.
(2.4)
L dt =
L
S =
dt
t1
t1
Its variation can be written as
t2
t2
dG
dF
dt =
dt = S = 0.
(2.5)
S =
L
L
dt
dt
t1
t1
1 Actually, in order to obtain the equations of motion we can relax this restriction imposing only that S be an
extremum.
39
If the action of a given system is invariant under the infinitesimal transformation that changes
q to q + q, then, corresponding to this transformation there exists a law of conservation, and
the conserved quantity, J , can only be obtained from the Lagrangian and the infinitesimal
transformation.
In fact, let us suppose that the infinitesimal transformation q = q + q is a symmetry of
the action; then
L
dF
L
.
(3.1)
qi +
q i =
L =
qi
q i
dt
Rewriting this equation using the EulerLagrange equations of motion yields
d L
L d
dF
qi
= 0,
(3.2)
qi +
dt q i
q i dt
dt
but this equation can be put in the form
d L
qi F = 0.
(3.3)
dt q i
The expression inside the parentheses is a conserved quantity named Noethers current,
L
J =
qi F.
(3.4)
q i
4. Several applications of the theorem
We will examine three important cases of Noethers theorem: the conservation of momentum,
angular momentum and the movement of a particle in a constant gravitational field. In the
next section we will extend Noethers theorem to obtain energy conservation.
4.1. Momentum conservation
Momentum conservation is obtained from the freedom we have to choose the origin of the
system of coordinates. Let us consider the Lagrangian of a free point particle of mass m
moving with velocity x ,
L = 12 mx i x i .
(4.1)
(4.2)
40
R M Marinho
The first term is zero because L does not depend on xi and the second is zero because x i = 0.
In this case the variation of the Lagrangian can be put in the form of (2.6) if we choose F equal
to a constant c. Noethers current then results
L
xi c = mx i ai c = const pi ai = const.
(4.3)
J =
x i
As ai are arbitrary this is constant only if the momentum pi = const.
4.2. Angular momentum conservation
Angular momentum conservation is obtained from the freedom we have to choose the
orientation of the system of coordinates. Let us consider the Lagrangian of a free point
particle of mass m moving with velocity x in a plane,
L = 12 mx 2 + 12 my 2 .
(4.4)
x = x + y x = y,
y = x + y y = x,
= 0.
x +
x +
y +
y = mx
x)
(4.5)
L =
x
x
y
y
Again the variation of the Lagrangian can be put in the form of (2.6) if we choose F = c.
Noethers current then results
L
L
x +
y c = const (xpy ypx ) = const.
J =
(4.6)
x
y
As the infinitesimal angle is arbitrary, the expression inside the parentheses, which is a
constant, can be recognized as the component Lz of the angular momentum.
4.3. A particle in a gravitational field
(4.7)
(4.8)
(4.9)
(4.10)
41
With the formalism of the preceding section it is not possible to obtain the energy conservation.
The reason comes from the fact that we have not yet defined what we mean by the variation,
t, in time, necessary to obtain the energy conservation. In order to define the variation in
time let us use another parametrization for the path described by the particles. If we use a new
parameter , the path q = q(t) can be written as
q = q(t ( )) = Q( ),
(5.1)
t = T ( ),
(5.2)
t = T ( ) T ( ) = T .
The action (2.1) can be written as
2
2
t2
dt
t) dt =
t) d =
L(q, q,
L(q, q,
L(Q, Q, T , T ) d,
S=
d
t1
1
1
(5.3)
(5.4)
(5.5)
L = LT ,
dt
,
T =
d
(5.6)
(5.7)
dq d
Q
q =
= .
d dt
T
(5.8)
(5.9)
L
d L
= 0.
d T
T
(5.10)
If an infinitesimal transformation leaves the action invariant, then the variation of the
Lagrangian can be written as a total derivative:
L =
L L
L dF
L
Q + Q +
T + T =
.
Q
T
d
Q
T
Q
+
Q
+
T +
T =
d Q
d
d
Q
T
T
or
d L
L
= 0.
Q +
T F
d Q
T
(5.11)
(5.12)
(5.13)
42
R M Marinho
Rewriting in terms of the old variables, using (5.6) and (5.7) we have
d (LT )
(LT )
Q +
T F T = 0.
dt
Q
T
(5.14)
= q,
T =
T =
q T
q
q
T
T
L
T =
(5.15)
(5.16)
whose substitution in (5.14), recalling that Q and T are independent variables in the new
Lagrangian L, gives
d L
L
(5.17)
q + q + L t F = 0.
dt q
q
Recognizing the term inside the parentheses as minus the Hamiltonian results for Noethers
current
L
J =
q H t F = const.
(5.18)
q
5.1. Conservation of energy
Energy conservation is based on the freedom we have to choose the origin of the time. Let us
t) not dependent explicitly on time.
consider, as in general is the case, a Lagrangian L(q, q,
Under an infinitesimal time translation
q = q q = 0,
t = t + t = ,
the variation of the Lagrangian,
L
L
L
t = 0,
(5.19)
qi +
q i +
L =
qi
q i
t
so, again, the variation of the Lagrangian can be put in the form of (2.6) if we choose F = c.
The conserved current
L
J =
qi H t c = const H = const.
(5.20)
q i
As is an arbitrary quantity, in order that J be constant, H must be constant and can be
recognized as the energy of the system. In other words, if the Lagrangian is invariant under
time translation, then the energy is conserved.
6. Conclusion
The aim of this work was to present in a didatic way Noethers theorem in the framework of
classical mechanics. This theorem is not so important in classical mechanics as it is in field
theory. This is the reason that its didatic presentation generally comes in textbooks of field
theory. Even in books that treat the theorem in classical mechanics, such as Saletan [5] and
Arnold [6], they do not extend the theorem to include the case of energy conservation.
We hope that this work can bring the main ideas of this theorem to undergraduate students
in a clear way.
43
References
[1]
[2]
[3]
[4]
[5]