Resumen Teorema Noether

Claudia Quintanilla Chocano

Agosto 2022

1. Teorema de Noether
Los teoremas de Noether proporcionan una explicación formal del origen de
muchas de las constantes del movimiento que admite un sistema y proporciona
un método para calcular las simetrı́as como las constantes del movimiento de
un sistema con un número arbitrario de grados de libertad.
1. Si la integral de acción I es invariante bajo un grupo de transformacio-
nes Gr dependiente de r parámetros continuos, entonces pueden deducirse r
identidades entre las ecuaciones de Lagrange de tipo II que pueden expresarse
mediante divergencias.
2. Si la integral de acción I es invariante bajo un grupo de transformaciones
Gr;s que depende de r parámetros funcionales y sus derivadas hasta orden s,
entonces pueden deducirse identidades entre las ecuaciones de Lagrange de tipo
II y sus derivadas hasta orden s.
El primer teorema es el que se emplea usualmente en el marco de la mecánica
de sistemas discretos.
Se tiene una función lagrangiana L(t, q, q̇) y se considera una transformación
Ψε definida como:

t̂ = Ξ0 (t, q; ε), q̂i = Ξi (t, q, ε), 1 ≤ i ≤ n (1)

Esta transformación se considera que es puntual y para ε = 0 la transforma-

ción de Ψε es la identidad:

1
 t = Ξ0 (t, q; 0), qi = Ξi (t, q, 0), 1 ≤ i ≤ n (2)

Se debe tener en cuenta que la composición de transformaciones es una

operación transitiva. Es ası́ que se define un grupo local de transformaciones:
Gr = Ψε (t, q), como se tratan de transformaciones continuas se deduce la si-
guiente expresión en un entorno de ε = 0:

r
X r
X
t̂ = t + ξl (t, q)εl + O(ε); qˆi = qi + ηli (t, q)εl + O(ε) (3)
l=1 l=1

Donde ξl (t, q) y ηli (t, q) son generadores infinitesimales.

Definiendo para cada ı́ndice 1 ≤ l ≤ r el campo de vectores XL :

dt dqi
= i = dεl (4)
ξl (t, q) ηl (t, q)
por lo tanto ξl puede considerarse como el generador infinitesimal de la trans-
formación (1).
Para poder aplicar transformaciones al lagrangiano, generalmente es suficien-
[1]
te con obtener la primera prolongación XL para cada generador infinitesimal
XL :

[1] dξ dVk
XL (L(t, q)) + L(t, q) = (5)
dt dt
Comprobar la identidad de esta prolongación, es condición suficiente para
que una transformación deje invariante la integral de acción, lo que permite
tener un método directo para analizar o determinar simetrı́as de Noether.
Adicionalmente, para que una transformación del grupo Gr se le considere
como una simetrı́a de Noether del lagrangiano L, debe cumplir la siguiente
condición:

Z tˆ2 Z t2 Z t2 r
ˆ t̂ −
X dVk
L(t̂, q̂, q̇)d L(t, q, q̇)dt = εk dt + O(ε) (6)
tˆ1 t1 t1 dt
k=1

2
 Una de las consecuencias del Teorema del Noether es que a cada transfor-
mación Ψεk con generador infinitesimal que satisfaga la condición anterior, le
corresponde una constante de movimiento definida por:

n
X ∂L i
φx = ξk (t, q)L(t, q) + (η (t, q) − q̇i ξk (t, q)) − Vk (t, q) (7)
i=1
∂ q̇i k

2. Condición de simetrı́a en términos de X [1]

Las simetrı́as de Noether de un sistema lagrangiano pueden reformularse
en términos del generador infinitesimal de simetrı́a, en lugar de la integral de
acción.
Considerando un campo de vectores A, su conmutador con X[1] esta definido,
respecto a las coordenadas (t, q, q̇):

n
∂ ∂ ∂
+ (X[1] (Λi ) − A(η˙i ))
X
X[1] , A] = −A(ξ) + (η̇ i − A(η i )) (8)
∂t i=1 ∂qi ∂ q̇i

En virtud de la expresión anterior, debe verificarse:

dξ
X[1] , A] = − A (9)
dt
Al emplear dicho conmutador, vemos que la expresión de la prolongación
infinitesimal η j es inmediata. Donde la condición de simetrı́a puntal, esta dada
por:

X[1] (Λj ) − A(η̇ j ) + A(ξ)Λj = 0, 1 ≤ j ≤ n (10)

Por otro lado, una simetrı́a puntual no significa que sea una simetrı́a de
Noether, por lo que debe satisfacer adicionalmente la condición (5). Ası́, expre-
sado en términos de A y X[1] se tiene:

X[1] L + (Aξ)L = A(V (t, q)) (11)

3
3. Álgebra de Lie de simetrı́as puntuales y de
Noether
Otra propieda a tener en cuenta es que si X e Y son generadores infini-
tesimales de dos simetrı́as puntuales, entonces [X,Y] es también el generador
infinitesimal de una simetrı́a puntual.
Se tiene comprobado que:

dξˆ
   
dξ2 d1
= X[1] − Y[1] (12)
dt dt dt
lo que demuestra que [X,Y] es una simetrı́a puntual.
Si además se evalúa la función [X[1] , Y[1] ](L) obtenemos la expresión:

dξˆ
   1
h i dV2 dV dV2 dξ1 dV1 dξ2
X[1] , Y[1] (L) + L = X[1] − Y[1] + − (13)
dt dt dt dt dt dt dt

Concluyendo que el conmutador [X[1] , Y[1] ] es una siemtrı́a de Noether del

lagrangiano L. Ası́mismo, se demuestra que:

∂2L ∂2L
  X
ik jl ∂φX ∂φY ∂φX ∂φY il ∂φY ∂φX
X
Φ= −g g − + −g il −g
∂ q̇k ∂ q̇l ∂ q̇i ∂qj ∂ q̇j ∂qi ∂qi ∂ q̇l ∂qi ∂ q̇l
i,j,k,l i,l
(14)
es también una constante de movimiento.
La conclusión es que las simetrı́as de Noether de L forman un álgebra de Lie
LN S

3.1. Simetrı́as de Noether y el grupo de Galileo

Las simetrı́as y constantes del movimiento resultantes deben, como conse-

cuencia de la primera ley de Newton, estar relacionadas con el grupo de Galileo,
ya que las transformaciones de éste no varı́an el carácter inercial de una refe-
rencia.

4
 Indica que las diez leyes de conservación canónicas de la mecánica clási-
ca newtoniana se derivan del teorema de Noether. Los tres primeros tipos: la
traslación temporal, las rotaciones y las traslaciones espaciales son simetrı́as
respecto de las cuales la integral de acción es absolutamente invariante, luego
corresponden a simetrı́as variacionales.
A pesar que el álgebra de simetrı́as tiene dimensión doce, existe un número
menor de constantes del movimiento independientes, y todas derivables de G†+ .
Este hecho es otro argumento que determina que el grupo relevante para la
mecánica clásica sea el grupo de Galileo G†+ , y no el grupo total de las simetrı́as
de Noether.

4. Ambigüedades del formalismo lagrangiano

La importancia del método de simetrı́as para el estudio de las leyes de conser-
vación no se limita al caso clásico, sino que involucra también efectos relativistas.
Es un ingrediente esencial en la comprensión y jerarquización de las partı́culas
elementales.
Es común encontrar literatura con interpretaciones o afirmaciones erróneas
referente a los grupos de simetrı́a un sistema y la existencia de las leyes de
conservación. Esto se debe a que no se consideran las ambigüedades que aparecen
en el formalismo lagrangiano.
A continuación se menciona cada una de ellas:

1. Constantes del movimiento de sistemas dinámicos y existencia de simetrı́as:

Nos indica que las constantes de movimiento no están asociadas a ningún
tipo de simetrı́a.

2. Invariancia por traslaciones espaciales y temporales y conservación del

momento y la energı́a: las ecuaciones no varı́an por traslaciones en las di-
recciones espaciales ni la temporal, y no obstante, la energı́a y el momento
(en sus acepciones usuales) no se conservan, al tratarse de un sistema di-
sipativo, por lo que las constantes del movimiento que se derivan de la

5
 simetrı́a tienen un significado distinto.

3. Invariancia por el grupo de Galileo G†+ y las leyes de conservación canóni-

cas: el que un sistema pueda ser invariante por todas las transformaciones
del grupo de Galileo, no implica, que las leyes de conservación usuales lo
sean del sistema en particular.

4. Simetrı́as independientes y leyes de conservación independientes: el teore-

ma de Noether estipula que a cada simetrı́a de este tipo se le puede asociar
una cantidad conservada, el resultado no ofrece información alguna acerca
de la independencia de éstas. Por ejemplo, un oscilador armónico en dos
dimensiones, presenta cuatro constantes de movimiento y sin embargo,
admite ocho simetrı́as de Noether.

5. Sistemas dinámicos y principios variacionales: No todo sistema mecánico

puede describirse mediante un principio variacional. En caso existiera, se
aplicarı́a el llamado problema inverso del lagrangiano, donde Helmholtz,
define condiciones necesarias para que un sistema admita una función
lagrangiana.

6. Leyes de conservación y simetrı́as no puntuales: no toda ley de conserva-

ción deducida de una simetrı́a implica que esta deba ser una simetrı́a de
Noether. Se debe destacar que si el lagrangiano L de un sistema es de or-
den cuadrático en las velocidades, entonces las constantes del movimiento
que se deduzcan de una simetrı́a de Noether son a lo sumo cuadráticas en
las velocidades.

5. Las ecuaciones de Killing

Considerando el siguiente lagrangiano:

n
X 1
L(q, q̇) = gjk q̇j q̇k (15)
2
j,k=1

6
 donde gjk (q) son funciones de la posición que satisfacen la condición de
simetrı́a gjk .
Se considera un caso especial de simetrı́as X, cuya forma prolongada es:

n  
X ∂ ∂
X[1] = η i (q) + η̇ i (q, q̇) (16)
i=1
∂qi ∂ q̇i

Al suponer que no depende del tiempo y que V (t, q) = 0, la condición de

simetrı́a corresponde a una simetrı́a variacional:

X[1] L = 0 (17)

De la independencia de las aceleraciones se deducen las llamadas ecuaciones

de Killing:

∂gjk ∂η i ∂η i
η i (q) + gij + gij = 0, 1 ≤ i, j, k ≤ n (18)
∂qi ∂qj ∂qk
Si se observa 15, podemos notar que es un tensor de Killing, llamado gene-
ralmente tensor de Killing trivial.