Framing Noether ’ s Theorem

We discuss Noether’s theorem from a new perspective and show that the spatial continuous symmetries of a system are on one hand symmetries of the space and on the other hand are dictated by the system’s potential energy. The Noether’s charges arising from an infinitesimal motion, or a Killing vector field, of the space, are conserved if the Lie derivative of the potential energy by this vector field vanishes. The possible spatial symmetries of a mechanical system are listed according to the potential energy of the external forces.


Introduction
The Noether's theorem [1]- [6], proved by Emmy Noether in 1915, relates conserved physical quantities of a system to its corresponding symmetries and vice versa.The theorem is utilized in quantum field theory, quantum mechanics, and classical mechanics.In what follows -We give a brief account of necessary background to Noether's theorem, namely, the Lagrange and Hamilton formulation of mechanics [7] [8] [9].
-Derive the theorem in its simplest form which describes discrete mechanical systems.
-Brief the concepts of space's symmetries and its connection to the Lie algebra spanned by the set of infinitesimal generators of the group of symmetries [10] [11] [12] [13].We shall consider only continuous spatial symmetries.
-Show that the system's continuous symmetries occur when its kinetic and potential energies are invariant under the corresponding transformations; and as a consequence, the systems' symmetries are already symmetries of the space.
-Link conserved momenta to the system's potential energy and show that a system is invariant under a group of transformations if the Lie derivative of the potential energy by the infinitesimal generator of the group is identically zero.
-Apply the new theorem to examples of mechanical systems and specify the possible conserved momenta according to the form of potential energy.
The current work forms a new insight in Noether's theorem by which the continuous spatial symmetries of all systems are limited to a few types, which are determined by the potential energy out of the symmetries of the space.Noether's theorem links systems' symmetry to the invariance of the corresponding Lagrangian.Because different systems have in general different Lagrangians, one may expect that systems may possess symmetries that are not included in the symmetries of the space.However, the current work dismisses utterly such expectations and it sets clear the method by which systems' symmetries, when exist, are determined.It is shown that only systems, that have one of a few specific forms of potential energy, do exhibit symmetries.

Essentials of Analytic Mechanics
The Lagrangian function ℒ of a system of N particles is the difference between its kinetic and potential energies: , , , , , , ; It is a function in the generalized coordinates i x , generalized velocities d d , and possibly time t.The index s is the number of the system's degrees of freedom.
The Hamilton principle states that: Out of the curves connecting the initial position ( ) and the final position ( ) x t , the system follows the path ( ) is stationary.This implies that the action does not change if the actual path ( ) x t is replaced by an infinitesimally adjacent curve where the summation convention is used.We appeal here to a basic rule in the calculus of variation: and integrate the second term in the integrand by parts: The first term on the right hand-side vanishes on the account of ( ) ( ) . Focusing now on the integral which vanishes for arbitrary i x δ and taking all i x δ , except one at a time, equal to zero, yields Lagrange's equations ( ) The solution of Lagrange's Equations (2.6) gives the path of motion ( ) The generalized momenta are defined by

( ) ( )
, , 1, 2, , , where x and x  stand collectively for the generalized coordinates and genera- lized velocities respectively.In terms of the generalized momenta we write (2.6) in the form ( ) The quantities Equating the coefficients of the differentials on both sides yields ( ) , The first two equations in (2.10) are Hamilton's equations of motion.We shall assume throughout this work that the potential energy is a function of the generalized coordinates and possibly of time, ( ) , and that the kinetic energy is a quadratic form in the generalized velocities, 1 2 x is the covariant space's metric tensor.The first term on the right hand-side of (2.9) is .11)Substituting in (2.9) yields

H T T V
To obtain H as function in x and p we express the kinetic energy in terms of the generalized momenta i p through expressing the generalized velocities i x  in terms of i p : Substituting in the expression of the kinetic energy we get where rk g is the contravariant metric tensor.A physical observable is any function (differentiable) of the form ( ) The rate of change of F, or its equation of motion, is . Taking in particular F H = , we have by (2.15) It follows that the total energy H T V = + is a constant of motion if and only if the potential energy does not depend on time explicitly.

Noether's Theorem
A coordinate i x that does not appear in ℒ is called ignorable (or cyclic); it sig- nifies the absence of the generalized force [9], and by Lagrange equation (2.6), the conjugate momentum i p is conserved.
The absence of a coordinate i x from ℒ indicates symmetry in the system with respect to this coordinate.Noether's theorem generalizes the latter observation to include a broader type of symmetries.In Noether theorem, a symmetry means a transformation of the generalized coordinates, generalized velocities, and possibly of the time, that leaves the Lagrangian unchanged.
Noether's theorem states that [1]- [6]: If the transformations where  is a small number, is a symmetry transformations for some functions is a constant of motion, i.e., it is conserved.
Proof: We will not assume here that i x δ vanishes at the extremes, and hence 0 S δ ≠ in (2.5).However, the change of the action resulting from the variation Applied Mathematics (3.1) is still given by the right-hand side of (2.5).Since the motion obeys Lagrange Equation (2.6), the second term in (2.5) vanishes, giving ( ) where we took the end point at an arbitrary instant of time t.If however, the transformation (3.1) is a symmetry transformation then ℒ does not change by the transformation and 0 S δ = , which combined with ( ) Noether theorem.
Noether's theorem is often stated as follows: Whenever we have a continuous symmetry of the Lagrangian ℒ there will be an associated conservation law.

Continuous Space's Symmetries
We view the physical space E 3 as possessing a Euclidean geometry structure, which allows for erecting a rectangular Cartesian frame S oxyz ≡ whose origin o can be chosen at any point of space, and whose axes' directions are at our disposal.The distance between each two points in E 3 is the Euclidean norm of the displacement vector, and the angle between two vectors is determined through the inner product as naturally defined in E 3 .The freedom in choosing the origin and the directions of the coordinate axes, which manifests space's homogeneity and isotropy, is equivalent to say that the hypothetical process of translating the space by an arbitrary vector as well as the process of rotating it about an arbitrary axis by an arbitrary angle preserve the length of the displacement vector between each two points and the angle between two vectors.The latter two facts are expressed by the equivalent statement: lengths and angles ("lengths" is sufficient) are invariant under translations and rotations.Because the space looks geometrically equivalent to itself after a translation or a rotation, the latter imaginary processes are symmetry transformations of the space.A symmetry transformation, or a motion, of a space (or manifold) is a coordinate transformation that preserves the metric of the space (manifold); it maps the space isometrically on itself [10] [11] [12] [13] with the distance between each two points is unchanged.The most general continuous symmetry transformations of the Euclidean space E 3 , ( ) ( ) , , ; , , , with ( ) , , R α α ∈  , forms a 6-parameter Lie group.The Lie group of isometries of the space (4.1), also called the group of motions of E 3 [12] [13], gives rise to 6 linearly independent metric preserving vector fields, or Killing fields, ( ) , which are its infinitesimal generators [12].The set { } X µ is a basis for the Lie algebra LA associated with the Lie group (4.1).Every element of LA can be expressed as a linear combination of the elements of { } X µ , and LA is closed under taking linear combinations of any number of elements, as well as, taking the commutator of any two elements.On fixing five parameters in (4.1) one obtains a one-parameter group (1-PG for short) of symmetries of the space.
In rectangular Cartesian coordinates Equation (4.1) becomes the orthogonal transformations ( ) ( ) where ( ) , , α is an arbitrary or- thogonal matrix with determinant +1.In this case it is straight forward to list six "independent" 1-PGs of symmetries, or motions, whose generators (apart from multiplicative constants) are the components of a free particle's momentum on the three coordinate axes and angular momentum about them.A convenient way to determine the symmetries of a space or a manifold, especially when it is not Euclidean, is to specify the corresponding Lie algebra.A basis of the latter is composed of the infinitesimal generators of motion, or Killing vector fields ( ) where ij g are the covariant components of the metric tensor, comma denotes differentiation with respect to the variable following it, and sum is implied on the repeated index k.
Space's symmetries are specified solely through geometry and do not involve time, whereas, physical quantities pertaining to physical systems embody, in general, time in their very definitions.Homogeneity of time implies that physical laws under the same conditions are the same regardless of the starting instant of time.Combining the last statement with the homogeneity of space we conclude that the outcomes of any experiment and their probabilities depend neither on the experiment's location in space nor on the chosen zero of time.Under the same conditions, all exactly similar experiments have the same results regardless of where or when they are performed.The predictive physical laws cannot therefore involve location in space or initial instant of time but they may, of course, involve distances and periods of time.

Continuous System's Symmetry
A coordinate transformation , , ; or , where α is a real parameter, induces a unitary transformation Hilbert space [14] [15] of absolutely square-integrable functions, ( ) , If the family of coordinate transformations (5.1) with α ∈  forms an one-parameter group then so does the corresponding family of unitary transformations The generator of the latter group [16] [17] is the complete vector field, ( ) where ( ) C E is the set of continuously differentiable functions on the space.
We shall confine our attention to spatial symmetries of a physical system, which can be an electron, a hydrogen atom, a pendulum, a planet, a solar system, etc.We may imagine moving the system (a body) with respect to a coordinate frame S and in no time changing its position and orientation.The new hypothetical configuration can be achieved through a rotation by an angle φ about some axis ∆ followed by a translation by some vector b, and a particle of the body with coordinate . As opposed to the "active view" in which r and r are the coordinates of the same particle in one frame of reference S, the "passive view" considers r and r the coordinate of the same particle in two frames S and S , where S is defined by the latter relation, or equivalently by A physical observable, or an operator A in ( ) L E , is transformed under the coordinate transformation (5.1) to the operator ( ) ( ) ( ) [22].The observable A is said to be invariant under the transformation (5.1) if

( ) ( )
A physical system possesses a symmetry transformation,

( )
,α = r f r , if the system and its effective environment are indistinguishable from themselves before and after the transformation.This implies that the transformation must preserve the metric as well as the system's potential energy, which means that, the geometry of the surroundings and the prevailing forces are invariant under the transformation.The latter statements lead to an important conclusion: the transformation (5.1) is a symmetry transformation of a physical system if and only if its kinetic energy T and potential energy V are separately invariant under the transformation.Equivalently , 0, , 0 This does not mean of course that either T or V is conserved.In general neither T nor V is a constant of motion although their sum is, provided V does not depend on time.The invariance of the kinetic and potential energies follows from the invariance of the metric and the effective field of force respectively.The requirements (5.6) are more stringent than the commonly accepted fact that the transformation (5.1) is a symmetry transformation of the physical system if , 0 The latter equation results of course by summing the Equations (5.6).
Combining the result (5.6) with the fact that translations and rotations are the only continuous transformations under which the Laplace operator is invariant, and confining our consideration to unconstrained motion, we conclude that: the set of spatial continuous symmetries of any physical system is a subset of the symmetries of the space; it consists therefore of translations, rotations, and their compositions.
Orthogonal transformations preserve the norm of a vector [21] [22], and hence the invariance of the kinetic energy T under such transformations follows from the fact that, apart from a multiplicative constant, T is the square of the velocity vector.Explicitly, by (4.3) . The invariance of the quantum operator of kinetic energy under rotation and translation follows from the invariance of Laplace operator under orthogonal transformation.Indeed, , which prove our assertion.
The generator ( ) , when the latter is a symmetry transformation, preserves the metric, and the volume element in particular, yielding 0 div X = .The vanishing of the divergence of a Killing field can also be derived through multiplying Equations (4.3) by ij g to Here g is the determinant of the covariant metric tensor ij g .
There corresponds to the Killing field X, the classical momentum ( ) which is essentially self-adjoint on the domain (5.5).
The one-parameter unitary group f U acting in 2 L can be expressed as an exponential function in its infinitesimal generator X [17] [23], ( ) In vicinity of the identity, where S I X  The kinetic energy is invariant under rotations and translation, and hence commute with X.The transformation (5.1) is therefore a symmetry transformation of a physical system if and only if its generator X commutes with the system potential energy.Noting that [ ] ( ) = , we state: Theorem: The quantum (classical) momentum observable ( ) ) is a constant of the motion if and only if the Lie derivative of the potential energy by the vector field X vanishes: When Cartesian coordinates are employed the latter relation can be written as ( ) ( ) , , , , 0 , which is abbreviated by 0 X V ⋅∇ = .This signifies that the vector field X is orthogonal to gradient V (i.e. to the force field), and hence, is tangent to the level surfaces of V.
Noting that the system mechanical energy E T V = + is conserved if V is in- dependent of time, we may adjoin to (5.12a) the energy conservation relation On the account of (5.12a) and (5.12b), a closed system of particles is invariant under translation, rotation, and translation in time.There follows that the system's total linear momentum, total angular momentum, internal energy (and of course translational kinetic energy) are conserved.

Examples
Example 1.Consider a particle with the Lagrangian where ( ) , , x x x are rectangular Cartesian coordinates.Here the potential is constant on a plane Π, given by 1 1 2 2 3 3 a x a x a x c + + = , and changes its value from a plane c to another c′ .The symmetries consist of: 1) The group of translations ( ) in the plane Π.The components of the displacement vector ( ) are not independent because it is in the plane Π.Indeed, in order V remains unchanged by the transformation, i.e., is an invariant, we should have ( ) , which yields  ) , , a a a = n to Π and passing through any point.When checking formula (5.12a)  P a p a p = − .We may replace 2 X by ( ) 2) The generator of the group of rotations is 3 , which is the component of the angular momentum vector ( ) Example 2. We apply (5.12a) to the following example which is given in [6].
Consider a one particle system with the Lagrangian given in cylindrical coordinates by

Symmetries and Potentials
The symmetries of a free particle are the symmetries of the space E 3 .The generators of these symmetries can be chosen the following six linearly independent Killing vector fields:  And the three 1-PGs of rotations about coordinate axes (no sum on repeated induces in the rest of this section) determined by Killing equations[12] [13] momentum[14] [16][18] [19]

U
in vicinity of the identity operator, I, shows that the potential energy commutes with f U if and only if it commutes with f U generator, X:

. 2 )
Rotations in the plane Π about an axis defined by the normal

(
clear that the Lie derivative of V by the vector field X , X is an infinitesimal motion of the space because it is a linear combination of the infinitesimal motions ∂

2 ) 1 -
ijk  is the permutation (Levi-Civita) symbol.Any other infinitesimal generator of symmetry is a linear combination of the Killing vectors (7.1).The constants of motions corresponding to (7.1) are the components of the momentum and angular momentum: It is easy to check that these momenta commute (have a vanishing Poisson bracket) with the Hamiltonian PGs of symmetry transformations whose generators are the Killing fields (7.1) are: The three 1-PGs of translations along the coordinate axes:

3 i = , and 2 1 i 1 U β in which we drop the index 1
+ = for 2 i = .Any other symmetry transformation is a compo- site of the these six independent symmetry transformations.The 1-PGs of unitary transformations of ( ) called the generalized forces in the directions of the generalized coordinates ix .
we should remember that a generator of symmetry can only be a linear combinations of i ∂ and