El teorema de Noether se utiliza en física teórica y cálculo de variaciones . Revela la relación fundamental entre las simetrías de un sistema físico y las leyes de conservación. También hizo que los físicos teóricos modernos se centraran mucho más en las simetrías de los sistemas físicos. Una generalización de las formulaciones sobre constantes de movimiento en la mecánica lagrangiana y hamiltoniana (desarrolladas en 1788 y 1833, respectivamente), no se aplica a sistemas que no pueden modelarse solo con un lagrangiano (por ejemplo, sistemas con una función de disipación de Rayleigh ). En particular, los sistemas disipativos con simetrías continuas no necesitan tener una ley de conservación correspondiente. [ cita necesaria ]
Ilustraciones básicas y antecedentes.
A modo de ilustración, si un sistema físico se comporta igual independientemente de cómo esté orientado en el espacio (es decir, es invariante ), su Lagrangiano es simétrico bajo rotación continua: a partir de esta simetría, el teorema de Noether dicta que el momento angular del sistema sea conservado, como consecuencia de sus leyes de movimiento. [2] : 126 El sistema físico en sí no tiene por qué ser simétrico; un asteroide irregular que cae en el espacio conserva el momento angular a pesar de su asimetría. Son las leyes de su movimiento las que son simétricas.
Como otro ejemplo, si un proceso físico exhibe los mismos resultados independientemente del lugar o el tiempo, entonces su lagrangiano es simétrico bajo traslaciones continuas en el espacio y el tiempo respectivamente: según el teorema de Noether, estas simetrías explican las leyes de conservación del momento lineal y la energía dentro de este proceso. sistema, respectivamente. [3] : 23 [4] : 261
El teorema de Noether es importante, tanto por la comprensión que proporciona sobre las leyes de conservación como por su práctica herramienta de cálculo. Permite a los investigadores determinar las cantidades conservadas (invariantes) a partir de las simetrías observadas de un sistema físico. Por el contrario, permite a los investigadores considerar clases enteras de lagrangianos hipotéticos con invariantes dadas para describir un sistema físico. [2] : 127 A modo de ilustración, supongamos que se propone una teoría física que conserva una cantidad X . Un investigador puede calcular los tipos de lagrangianos que conservan X mediante una simetría continua. Debido al teorema de Noether, las propiedades de estos lagrangianos proporcionan criterios adicionales para comprender las implicaciones y juzgar la idoneidad de la nueva teoría.
Existen numerosas versiones del teorema de Noether, con distintos grados de generalidad. Existen contrapartes cuánticas naturales de este teorema, expresadas en las identidades Ward-Takahashi . También existen generalizaciones del teorema de Noether a superespacios . [5]
Declaración informal del teorema.
Dejando a un lado todos los finos puntos técnicos, el teorema de Noether se puede enunciar de manera informal:
Si un sistema tiene una propiedad de simetría continua, entonces existen cantidades correspondientes cuyos valores se conservan en el tiempo. [6]
Una versión más sofisticada del teorema de campos establece que:
La prueba formal del teorema utiliza la condición de invariancia para derivar una expresión para una corriente asociada con una cantidad física conservada. En terminología moderna, la cantidad conservada se llama carga de Noether , mientras que el flujo que transporta esa carga se llama corriente de Noether . La corriente de Noether se define como un campo vectorial solenoidal (sin divergencia).
Si una integral I es invariante bajo un grupo continuo G ρ con ρ parámetros, entonces ρ combinaciones linealmente independientes de las expresiones lagrangianas son divergencias.
Breve ilustración y descripción general del concepto.
Gráfico que ilustra el teorema de Noether para una simetría de coordenadas.
La idea principal detrás del teorema de Noether se ilustra más fácilmente mediante un sistema con una coordenada y una simetría continua (flechas grises en el diagrama).
Considere cualquier trayectoria (en negrita en el diagrama) que satisfaga las leyes de movimiento del sistema . Es decir, la acción que gobierna este sistema es estacionaria en esta trayectoria, es decir, no cambia bajo ninguna variación local de la trayectoria. En particular, no cambiaría bajo una variación que aplica el flujo de simetría en un segmento de tiempo [ t 0 , t 1 ] y está inmóvil fuera de ese segmento. Para mantener la trayectoria continua, utilizamos períodos de "amortiguación" de poco tiempo para realizar la transición entre los segmentos de forma gradual.
El cambio total en la acción ahora comprende los cambios provocados por cada intervalo en juego. Partes donde la variación misma desaparece, es decir, afuera no trae . La parte media tampoco cambia la acción, porque su transformación es una simetría y así conserva el lagrangiano y la acción . Las únicas partes que quedan son las piezas "amortiguadoras". En estas regiones, tanto la coordenada como la velocidad cambian, pero cambian en , y el cambio en la coordenada es insignificante en comparación, ya que el lapso de tiempo del almacenamiento en búfer es pequeño (llevado al límite de 0), por lo que . Así pues, las regiones contribuyen principalmente a través de su "inclinación" .
Eso cambia el lagrangiano por , que se integra a
Estos últimos términos, evaluados alrededor de los puntos finales y , deberían cancelarse entre sí para que el cambio total en la acción sea cero, como se esperaría si la trayectoria fuera una solución. Eso es
Casos más generales siguen la misma idea:
Cuando más coordenadas sufren una transformación de simetría , sus efectos se suman por linealidad a una cantidad conservada .
Cuando hay transformaciones de tiempo , hacen que los segmentos de "almacenamiento en búfer" contribuyan con los dos términos siguientes a :
El primer término se debe al estiramiento en la dimensión temporal del segmento "amortiguador" (que cambia el tamaño del dominio de integración), y el segundo se debe a su "inclinación" tal como en el caso ejemplar. Juntos suman un sumando a la cantidad conservada.
Finalmente, cuando en lugar de una trayectoria se consideran campos completos , el argumento reemplaza
el intervalo con una región acotada del dominio -,
los extremos y con el límite de la región,
y su contribución a se interpreta como un flujo de una corriente conservada , que se construye de forma análoga a la definición anterior de cantidad conservada.
Ahora, la contribución nula del "amortiguamiento" se interpreta como la desaparición del flujo total de corriente a través del . Éste es el sentido en el que se conserva: cuanto "fluye" hacia adentro, tanto "fluye" hacia afuera.
Contexto histórico
Una ley de conservación establece que alguna cantidad X en la descripción matemática de la evolución de un sistema permanece constante durante todo su movimiento: es una invariante . Matemáticamente, la tasa de cambio de X (su derivada con respecto al tiempo ) es cero,
Se dice que tales cantidades se conservan; a menudo se les llama constantes de movimiento (aunque no es necesario que esté involucrado el movimiento per se , solo la evolución en el tiempo). Por ejemplo, si la energía de un sistema se conserva, su energía es invariante en todo momento, lo que impone una restricción al movimiento del sistema y puede ayudar a resolverlo. Aparte de la información que tales constantes de movimiento brindan sobre la naturaleza de un sistema, son una herramienta de cálculo útil; por ejemplo, una solución aproximada se puede corregir encontrando el estado más cercano que satisfaga las leyes de conservación adecuadas.
A finales del siglo XVIII y principios del XIX, los físicos desarrollaron métodos más sistemáticos para descubrir invariantes. Un avance importante se produjo en 1788 con el desarrollo de la mecánica lagrangiana , que está relacionada con el principio de mínima acción . En este enfoque, el estado del sistema puede describirse mediante cualquier tipo de coordenadas generalizadas q ; Las leyes del movimiento no necesitan expresarse en un sistema de coordenadas cartesiano , como era habitual en la mecánica newtoniana. La acción se define como la integral de tiempo I de una función conocida como Lagrangiana L
donde el punto sobre q significa la tasa de cambio de las coordenadas q ,
El principio de Hamilton establece que el camino físico q ( t ), el que realmente toma el sistema, es un camino para el cual variaciones infinitesimales en ese camino no causan cambios en I , al menos hasta el primer orden. Este principio da como resultado las ecuaciones de Euler-Lagrange ,
Por lo tanto, si una de las coordenadas, digamos q k , no aparece en el lagrangiano, el lado derecho de la ecuación es cero y el lado izquierdo requiere que
donde el impulso
se conserva durante todo el movimiento (en el camino físico).
Así, la ausencia de la coordenada ignorable q k del lagrangiano implica que el lagrangiano no se ve afectado por cambios o transformaciones de q k ; el lagrangiano es invariante y se dice que exhibe simetría bajo tales transformaciones. Ésta es la idea semilla generalizada en el teorema de Noether.
En el siglo XIX se desarrollaron varios métodos alternativos para encontrar cantidades conservadas, especialmente por William Rowan Hamilton . Por ejemplo, desarrolló una teoría de transformaciones canónicas que permitía cambiar las coordenadas de modo que algunas coordenadas desaparecieran del lagrangiano, como se indicó anteriormente, lo que resultaba en momentos canónicos conservados. Otro enfoque, y quizás el más eficaz para encontrar cantidades conservadas, es la ecuación de Hamilton-Jacobi .
expresión matemática
Forma simple usando perturbaciones.
La esencia del teorema de Noether es generalizar la noción de coordenadas ignorables.
Se puede suponer que el Lagrangiano L definido anteriormente es invariante bajo pequeñas perturbaciones (deformaciones) de la variable de tiempo t y las coordenadas generalizadas q . uno puede escribir
donde las perturbaciones δt y δ q son pequeñas, pero variables. Para mayor generalidad, supongamos que hay (digamos) N tales transformaciones de simetría de la acción, es decir, transformaciones que dejan la acción sin cambios; etiquetado por un índice r = 1, 2, 3, ..., N .
Entonces la perturbación resultante se puede escribir como una suma lineal de los tipos individuales de perturbaciones,
donde ε r son coeficientes de parámetros infinitesimales correspondientes a cada uno:
Para traslaciones, Q r es una constante con unidades de longitud ; para rotaciones, es una expresión lineal en las componentes de q , y los parámetros forman un ángulo .
Usando estas definiciones, Noether demostró que las N cantidades
A modo de ilustración, consideremos un lagrangiano que no depende del tiempo, es decir, que es invariante (simétrico) ante cambios t → t + δ t , sin ningún cambio en las coordenadas q . En este caso, N = 1, T = 1 y Q = 0; la cantidad conservada correspondiente es la energía total H [8] : 401
II. Invariancia traslacional
Considere un lagrangiano que no depende de una coordenada q k ("ignorable", como arriba) ; por lo que es invariante (simétrico) ante cambios q k → q k + δq k . En ese caso, N = 1, T = 0 y Q k = 1; la cantidad conservada es el momento lineal correspondiente p k [8] : 403–404
En la relatividad especial y general , estas dos leyes de conservación se pueden expresar globalmente (como se hizo anteriormente) o localmente como una ecuación de continuidad. Las versiones globales se pueden unir en una única ley de conservación global: la conservación del 4-vector energía-momento. Las versiones locales de conservación de energía y momento (en cualquier punto del espacio-tiempo) también pueden unirse en la conservación de una cantidad definida localmente en el punto espacio-temporal: el tensor tensión-energía [9] : 592 (esto se derivará en la siguiente sección).
III. Invariancia rotacional
La conservación del momento angular L = r × p es análoga a su contraparte del momento lineal. [8] : 404–405 Se supone que la simetría del Lagrangiano es rotacional, es decir, que el Lagrangiano no depende de la orientación absoluta del sistema físico en el espacio. Para ser más concretos, supongamos que el lagrangiano no cambia bajo pequeñas rotaciones de un ángulo δθ alrededor de un eje n ; tal rotación transforma las coordenadas cartesianas mediante la ecuación
Dado que el tiempo no se transforma, T = 0 y N = 1. Tomando δθ como parámetro ε y las coordenadas cartesianas r como coordenadas generalizadas q , las variables Q correspondientes están dadas por
Entonces el teorema de Noether establece que se conserva la siguiente cantidad,
En otras palabras, se conserva la componente del momento angular L a lo largo del eje n . Y si n es arbitrario, es decir, si el sistema es insensible a cualquier rotación, entonces cada componente de L se conserva; en resumen, se conserva el momento angular .
Versión de la teoría de campo.
Aunque útil por derecho propio, la versión del teorema de Noether que acabamos de presentar es un caso especial de la versión general obtenida en 1915. Para dar una idea del teorema general, se presenta una versión del teorema de Noether para campos continuos en el espacio- tiempo de cuatro dimensiones. ahora está dado. Dado que los problemas de teoría de campos son más comunes en la física moderna que los problemas de mecánica , esta versión de la teoría de campos es la versión más comúnmente utilizada (o implementada con mayor frecuencia) del teorema de Noether.
Sea un conjunto de campos diferenciables definidos en todo el espacio y el tiempo; por ejemplo, la temperatura sería representativa de dicho campo, siendo un número definido en cada lugar y momento. El principio de acción mínima se puede aplicar a tales campos, pero la acción ahora es integral en el espacio y el tiempo.
(El teorema se puede generalizar aún más al caso en el que el lagrangiano depende hasta de la enésima derivada , y también se puede formular utilizando haces de chorros ).
Una transformación continua de los campos se puede escribir infinitamente como
donde es en general una función que puede depender tanto de como de . La condición para generar una simetría física es que la acción se deje invariante. Esto ciertamente será cierto si la densidad lagrangiana se deja invariante, pero también será cierto si la densidad lagrangiana cambia por una divergencia,
ya que la integral de una divergencia se convierte en un término límite según el teorema de la divergencia . Un sistema descrito por una acción dada podría tener múltiples simetrías independientes de este tipo, indexadas por lo que la transformación de simetría más general se escribiría como
con la consecuencia
Para tales sistemas, el teorema de Noether establece que existen densidades de corriente conservadas
(donde se entiende que el producto escalar contrae los índices de campo , no el índice o índice).
En tales casos, la ley de conservación se expresa en forma cuatridimensional.
que expresa la idea de que la cantidad de una cantidad conservada dentro de una esfera no puede cambiar a menos que parte de ella fluya fuera de la esfera. Por ejemplo, se conserva la carga eléctrica ; la cantidad de carga dentro de una esfera no puede cambiar a menos que parte de la carga abandone la esfera.
A modo de ilustración, consideremos un sistema físico de campos que se comporta igual bajo traslaciones en el tiempo y el espacio, como se consideró anteriormente; es decir, es constante en su tercer argumento. En ese caso, N = 4, uno para cada dimensión de espacio y tiempo. Una traslación infinitesimal en el espacio (que denota el delta de Kronecker ), afecta a los campos como : es decir, volver a etiquetar las coordenadas equivale a dejar las coordenadas en su lugar mientras se traduce el campo mismo, lo que a su vez equivale a transformar el campo reemplazando su valor en cada punto con el valor en el punto "detrás" de él que sería mapeado por el desplazamiento infinitesimal bajo consideración. Como esto es infinitesimal, podemos escribir esta transformación como
La densidad lagrangiana se transforma de la misma manera, por lo que
y por tanto el teorema de Noether corresponde [9] : 592 a la ley de conservación del tensor tensión-energía T μ ν , donde hemos utilizado en lugar de . A saber, al usar la expresión dada anteriormente y reunir las cuatro corrientes conservadas (una para cada una ) en un tensor , el teorema de Noether da
con
(lo reetiquetamos como en un paso intermedio para evitar conflictos). (Sin embargo, lo obtenido de esta manera puede diferir del tensor simétrico utilizado como término fuente en la relatividad general; consulte Tensor canónico de tensión-energía ).
La conservación de la carga eléctrica , por el contrario, se puede derivar considerando Ψ lineal en los campos φ en lugar de en las derivadas. [9] : 593–594 En mecánica cuántica , la amplitud de probabilidad ψ ( x ) de encontrar una partícula en un punto x es un campo complejo φ , porque atribuye un número complejo a cada punto en el espacio y el tiempo. La amplitud de la probabilidad en sí misma es físicamente inmedible; sólo la probabilidad p = | ψ | 2 se puede inferir a partir de un conjunto de medidas. Por tanto, el sistema es invariante ante transformaciones del campo ψ y su campo conjugado complejo ψ * que dejan | ψ | 2 sin cambios, como
una rotación compleja. En el límite cuando la fase θ se vuelve infinitamente pequeña, δθ , se puede tomar como parámetro ε , mientras que los Ψ son iguales a iψ y −iψ * , respectivamente. Un ejemplo específico es la ecuación de Klein-Gordon , la versión relativista correcta de la ecuación de Schrödinger para partículas sin espín , que tiene la densidad lagrangiana.
En este caso, el teorema de Noether establece que la corriente conservada (∂ ⋅ j = 0) es igual
que, cuando se multiplica por la carga de esa especie de partícula, es igual a la densidad de corriente eléctrica debida a ese tipo de partícula. Esta "invariancia de calibre" fue notada por primera vez por Hermann Weyl y es uno de los prototipos de simetrías de calibre de la física.
Derivaciones
Una variable independiente
Consideremos el caso más simple, un sistema con una variable independiente, el tiempo. Supongamos que las variables dependientes q son tales que la integral de acción
es invariante ante breves variaciones infinitesimales en las variables dependientes. En otras palabras, satisfacen las ecuaciones de Euler-Lagrange.
Y supongamos que la integral es invariante bajo una simetría continua. Matemáticamente dicha simetría se representa como un flujo , φ , que actúa sobre las variables de la siguiente manera
donde ε es una variable real que indica la cantidad de flujo y T es una constante real (que podría ser cero) que indica cuánto se desplaza el flujo en el tiempo.
La integral de acción fluye hacia
que puede considerarse como una función de ε . Calculando la derivada en ε' = 0 y usando la regla de Leibniz , obtenemos
Observe que las ecuaciones de Euler-Lagrange implican
Sustituyendo esto en la ecuación anterior, se obtiene
Nuevamente usando las ecuaciones de Euler-Lagrange obtenemos
Sustituyendo esto en la ecuación anterior, se obtiene
De donde se puede ver que
es una constante del movimiento, es decir, es una cantidad conservada. Dado que φ[ q , 0] = q , obtenemos y entonces la cantidad conservada se simplifica a
Para evitar una complicación excesiva de las fórmulas, esta derivación asumió que el flujo no cambia con el paso del tiempo. Se puede obtener el mismo resultado en el caso más general.
Derivación de la teoría de campos
El teorema de Noether también se puede derivar para campos tensoriales donde el índice A varía entre los distintos componentes de los distintos campos tensoriales. Estas cantidades de campo son funciones definidas en un espacio de cuatro dimensiones cuyos puntos están etiquetados por coordenadas x μ donde el índice μ varía en el tiempo ( μ = 0) y tres dimensiones espaciales ( μ = 1, 2, 3). Estas cuatro coordenadas son las variables independientes; y los valores de los campos en cada evento son las variables dependientes. Bajo una transformación infinitesimal, la variación en las coordenadas se escribe
mientras que la transformación de las variables de campo se expresa como
Según esta definición, las variaciones del campo resultan de dos factores: cambios intrínsecos en el propio campo y cambios en las coordenadas, ya que el campo transformado α A depende de las coordenadas transformadas ξ μ . Para aislar los cambios intrínsecos, se puede definir la variación del campo en un solo punto x μ
Si se cambian las coordenadas, también cambia el límite de la región del espacio-tiempo sobre la que se integra el lagrangiano; el límite original y su versión transformada se denotan como Ω y Ω', respectivamente.
El teorema de Noether comienza con el supuesto de que una transformación específica de las coordenadas y las variables de campo no cambia la acción , que se define como la integral de la densidad lagrangiana sobre una región dada del espacio-tiempo. Expresado matemáticamente, este supuesto puede escribirse como
donde el subíndice de la coma indica una derivada parcial con respecto a las coordenadas que siguen a la coma, por ejemplo
Dado que ξ es una variable ficticia de integración, y dado que el cambio en la frontera Ω es infinitesimal por supuesto, las dos integrales se pueden combinar usando la versión de cuatro dimensiones del teorema de la divergencia en la siguiente forma
La diferencia en lagrangianos se puede escribir en primer orden en las variaciones infinitesimales como
Sin embargo, debido a que las variaciones se definen en el mismo punto descrito anteriormente, la variación y la derivada se pueden realizar en orden inverso; ellos viajan
Usando las ecuaciones de campo de Euler-Lagrange
la diferencia en lagrangianos se puede escribir claramente como
Por tanto, el cambio en la acción se puede escribir como
Como esto es válido para cualquier región Ω, el integrando debe ser cero
Para cualquier combinación de las diversas transformaciones de simetría , la perturbación se puede escribir
¿Dónde está la derivada de Lie en la dirección X μ ? ¿ Cuándo es un escalar o ?
Estas ecuaciones implican que la variación del campo tomada en un punto es igual
Al diferenciar la divergencia anterior con respecto a ε en ε = 0 y cambiar el signo se obtiene la ley de conservación
donde la corriente conservada es igual
Derivación del colector/haz de fibras
Supongamos que tenemos una variedad Riemanniana orientada de n dimensiones , M , y una variedad objetivo T. Sea el espacio de configuración de funciones suaves de M a T. (De manera más general, podemos tener secciones suaves de un haz de fibras sobre M ).
En teoría de campos , M es la variedad del espacio-tiempo y el espacio objetivo es el conjunto de valores que los campos pueden tomar en cualquier punto dado. Por ejemplo, si hay m campos escalares de valor real , entonces la variedad objetivo es . Si el campo es un campo vectorial real, entonces la variedad objetivo es isomorfa a .
llamó a la acción . (Toma valores en , en lugar de ; esto se debe a razones físicas y no es importante para esta prueba).
Para llegar a la versión habitual del teorema de Noether, necesitamos restricciones adicionales a la acción . Suponemos que es la integral sobre M de una función.
que se llama corriente de Noether asociada a la simetría . La ecuación de continuidad nos dice que si integramos esta corriente en una porción similar al espacio , obtenemos una cantidad conservada llamada carga de Noether (siempre, por supuesto, que si M no es compacto, las corrientes disminuyen lo suficientemente rápido en el infinito).
Comentarios
El teorema de Noether es un teorema de capa : se basa en el uso de las ecuaciones de movimiento: el camino clásico. Refleja la relación entre las condiciones de contorno y el principio variacional. Suponiendo que no haya términos límite en la acción, el teorema de Noether implica que
Supongamos que tenemos dos derivaciones de simetría Q 1 y Q 2 . Entonces, [ Q 1 , Q 2 ] también es una derivación de simetría. Veamos esto explícitamente. Déjanos decir
Entonces,
f 12Q 1f 2 μQ 2f 1 μ
Esto muestra que podemos extender el teorema de Noether a álgebras de Lie más grandes de forma natural.
Generalización de la prueba.
Esto se aplica a cualquier derivación de simetría local Q que satisfaga QS ≈ 0, y también a acciones diferenciables funcionales locales más generales, incluidas aquellas en las que el lagrangiano depende de derivadas superiores de los campos. Sea ε cualquier función suave y arbitraria de la variedad espacio-temporal (o temporal) tal que el cierre de su soporte sea disjunto de la frontera. ε es una función de prueba . Entonces, debido al principio variacional (que, por cierto, no se aplica a la frontera), la distribución de derivación q generada por q [ ε ][Φ( x )] = ε ( x ) Q [Φ( x )] satisface q [ ε ][ S ] ≈ 0 para cada ε , o más compactamente, q ( x )[ S ] ≈ 0 para todo x que no esté en el límite (pero recuerde que q ( x ) es una abreviatura de una distribución de derivación , no una derivación parametrizada por x en general). Ésta es la generalización del teorema de Noether.
Para ver cómo se relaciona la generalización con la versión dada anteriormente, supongamos que la acción es la integral espacio-temporal de un lagrangiano que solo depende de y sus primeras derivadas. Además, suponga
Entonces,
para todos .
De manera más general, si el lagrangiano depende de derivadas superiores, entonces
Ejemplos
Ejemplo 1: Conservación de energía
Observando el caso específico de una partícula newtoniana de masa m , coordenada x , que se mueve bajo la influencia de un potencial V , coordinado por el tiempo t . La acción , S , es:
El primer término entre paréntesis es la energía cinética de la partícula, mientras que el segundo es su energía potencial . Considere el generador de traslaciones de tiempo Q = d / dt . En otras palabras, . La coordenada x tiene una dependencia explícita del tiempo, mientras que V no; como consecuencia:
para que podamos establecer
Entonces,
El lado derecho es la energía, y el teorema de Noether establece que (es decir, el principio de conservación de la energía es una consecuencia de la invariancia bajo traslaciones de tiempo).
De manera más general, si el lagrangiano no depende explícitamente del tiempo, la cantidad
Para Q , considere el generador de un reescalado del espacio-tiempo. En otras palabras,
El segundo término del lado derecho se debe al "peso conforme" de . Y
Este tiene la forma de
(donde hemos realizado un cambio de índices ficticios) así que establezca
Entonces
El teorema de Noether establece que (como se puede comprobar explícitamente sustituyendo las ecuaciones de Euler-Lagrange en el lado izquierdo).
Si uno intenta encontrar el análogo de Ward-Takahashi de esta ecuación, se encuentra con un problema debido a anomalías .
Aplicaciones
La aplicación del teorema de Noether permite a los físicos obtener importantes conocimientos sobre cualquier teoría general de la física, simplemente analizando las diversas transformaciones que harían invariante la forma de las leyes involucradas. Por ejemplo:
La invariancia de un sistema aislado con respecto a la traslación espacial (en otras palabras, que las leyes de la física son las mismas en todos los lugares del espacio) da la ley de conservación del momento lineal (que establece que el momento lineal total de un sistema aislado es constante)
La invariancia de un sistema aislado con respecto a la traslación del tiempo (es decir, que las leyes de la física son las mismas en todos los momentos) da la ley de conservación de la energía (que establece que la energía total de un sistema aislado es constante)
La invariancia de un sistema aislado con respecto a la rotación (es decir, que las leyes de la física son las mismas con respecto a todas las orientaciones angulares en el espacio) da la ley de conservación del momento angular (que establece que el momento angular total de un sistema aislado es constante)
La invariancia de un sistema aislado con respecto a los impulsos de Lorentz (es decir, que las leyes de la física son las mismas con respecto a todos los sistemas de referencia inerciales) da el teorema del centro de masa (que establece que el centro de masa de un sistema aislado el sistema se mueve a velocidad constante).
^ Noether, E. (1918). "Problema de variaciones invariantes". Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen . Clase matemática-física. 1918 : 235–257.
^ ab José, Jorge V.; Saletán, Eugene J. (1998). Dinámica clásica: un enfoque contemporáneo. Cambridge [Inglaterra]: Cambridge University Press. ISBN978-1-139-64890-5. OCLC 857769535.
^ Mano, Louis N.; Pinzón, Janet D. (1998). Mecánica Analítica. Cambridge: Prensa de la Universidad de Cambridge. ISBN0-521-57327-0. OCLC 37903527.
^ Thornton, Stephen T.; Marion, Jerry B. (2004). Dinámica clásica de partículas y sistemas (5ª ed.). Boston, MA: Brooks/Cole, Cengage Learning. ISBN978-0-534-40896-1. OCLC 759172774.
^ De Azcárraga, Ja; Lukierski, J.; Vindel, P. (1 de julio de 1986). "Supercampos y métodos canónicos en el superespacio". Letras de Física Moderna A. 01 (4): 293–302. Código bibliográfico : 1986MPLA....1..293D. doi :10.1142/S0217732386000385. ISSN 0217-7323.
^ Thompson, WJ (1994). Momento angular: una guía ilustrada sobre simetrías rotacionales para sistemas físicos. vol. 1. Wiley. pag. 5.ISBN0-471-55264-X.
^ Nina Byers (1998) "El descubrimiento de E. Noether de la profunda conexión entre las simetrías y las leyes de conservación". En Actas de un Simposio sobre la herencia de Emmy Noether, celebrado del 2 al 4 de diciembre de 1996 en la Universidad Bar-Ilan, Israel, Apéndice B.
^ abc Lanczos, C. (1970). Los principios variacionales de la mecánica (4ª ed.). Nueva York: Publicaciones de Dover. ISBN0-486-65067-7.
^ Michael E. Peskin; Daniel V. Schroeder (1995). Una introducción a la teoría cuántica de campos. Libros básicos. pag. 18.ISBN0-201-50397-2.
^ Iyer, Vivek; Wald, Robert M. (15 de octubre de 1995). "Una comparación de la carga de Noether y los métodos euclidianos para calcular la entropía de agujeros negros estacionarios". Revisión física D. 52 (8): 4430–4439. arXiv : gr-qc/9503052 . Código bibliográfico : 1995PhRvD..52.4430I. doi : 10.1103/PhysRevD.52.4430. PMID 10019667. S2CID 2588285.{{cite journal}}: CS1 maint: date and year (link)
Otras lecturas
Badín, Gualtiero; Crisciani, Fulvio (2018). Formulación variacional de la dinámica de fluidos y geofísica - Mecánica, simetrías y leyes de conservación - . Saltador. pag. 218. Código Bib : 2018vffg.book.....B. doi :10.1007/978-3-319-59695-2. ISBN 978-3-319-59694-5. S2CID 125902566.
Johnson, Tristán (2016). "Teorema de Noether: simetría y conservación". Tesis de Honores . Colegio Unión . Consultado el 28 de agosto de 2020 .
Kosmann-Schwarzbach, Yvette (2010). Los teoremas de Noether: leyes de invariancia y conservación en el siglo XX . Fuentes y Estudios en Historia de las Matemáticas y las Ciencias Físicas. Springer-Verlag . ISBN 978-0-387-87867-6.Copia en línea.
Moser, Seth (21 de abril de 2020). "Comprensión del teorema de Noether visualizando el lagrangiano". Proyectos finales de física : 1–12 . Consultado el 28 de agosto de 2020 .
Emmy Noether (1918). "Problema de variaciones invariantes" (en alemán).
Emmy Noether (1971). Traducido por Mort Tavel. "Problemas de variación invariante". Teoría del Transporte y Física Estadística . 1 (3): 186–207. arXiv : física/0503066 . Código bibliográfico : 1971TTSP....1..186N. doi :10.1080/00411457108231446. S2CID 119019843.(Original en Gott. Nachr. 1918:235–257)
Byers, Nina (1998). "El descubrimiento de E. Noether de la profunda conexión entre simetrías y leyes de conservación". arXiv : física/9807044 .
Báez, John (2002). "El teorema de Noether en pocas palabras". matemáticas.ucr.edu . Consultado el 28 de agosto de 2020 .
Vladimir Cuesta; Merced Montesinos; José David Vergara (2007). "Invariancia de calibre del principio de acción para sistemas de calibre con estructuras simplécticas no canónicas". Revisión física D. 76 (2): 025025. Código bibliográfico : 2007PhRvD..76b5025C. doi : 10.1103/PhysRevD.76.025025.
Hanca, J.; Tulejab, S.; Hancova, M. (2004). "Simetrías y leyes de conservación: consecuencias del teorema de Noether". Revista Estadounidense de Física . 72 (4): 428–35. Código Bib : 2004AmJPh..72..428H. doi :10.1119/1.1591764.
Leona, Raphaël (11 de abril de 2018). "Sobre la maravilla de los teoremas de Noether, 100 años después, y la reducción de Routh". arXiv : 1804.01714 [física.hist-ph].
Teorema de Noether en MathPages.
Merced Montesinos; Ernesto Flores (2006). "Tensor simétrico de energía-momento en las teorías de Maxwell, Yang-Mills y Proca obtenidos utilizando únicamente el teorema de Noether" (PDF) . Revista Mexicana de Física . 52 (1): 29–36. arXiv : hep-th/0602190 . Código Bib : 2006RMxF...52...29M. Archivado desde el original (PDF) el 4 de marzo de 2016 . Consultado el 12 de noviembre de 2014 .
Neuenschwander, Dwight E. (2010). El maravilloso teorema de Emmy Noether . Prensa de la Universidad Johns Hopkins. ISBN 978-0-8018-9694-1.
Quigg, Chris (9 de julio de 2019). "Coloquio: Un siglo del teorema de Noether". arXiv : 1902.01989 [física.hist-ph].