Teorema de Noether

Teorema de Noether

El teorema de Noether es un resultado central en física teórica. Expresa que la existencia de ciertas simetrías abstractas en un sistema físico comporta la existencia de las leyes de conservación. El teorema se denomina así por la matemática Emmy Noether, quien lo formuló. Además de permitir aplicaciones físicas prácticas, este teorema constituye una explicación de por qué existen leyes de conservación y magnitudes físicas que no cambian a lo largo de la evolución temporal de un sistema físico.

Contenido

Explicación

El teorema de Noether relaciona pares de ideas básicas de la física: (1) una es la invariancia de la forma que una ley física toma con respecto a cualquier transformación (generalizada) que preserve el sistema de coordenadas (aspectos espaciales y temporales tomados en consideración), y la otra es (2) la ley de conservación de una cantidad física.

Informalmente, el teorema de Noether se puede establecer como: A cada simetría (continua) le corresponde una ley de conservación y viceversa. El enunciado formal del teorema deriva una expresión para la cantidad física que se conserva (y, por lo tanto, también la define) de la condición de invariancia solamente. Por ejemplo:

  • la invariancia con respecto a la (dirección del eje de) rotación da la ley de conservación del momento angular.
  • la invariancia de sistemas físicos con respecto a la traslación (dicho simplemente, las leyes de la física no varían con la localización en el espacio) da la ley de conservación del momento lineal.
  • la invariancia con respecto a (la traslación en) el tiempo da la ley de conservación de la energía.

Al subir a la teoría cuántica de campos, la invariancia con respecto a la transformación general de gauge da la ley de la conservación de la carga eléctrica, etcétera. Así, el resultado es una contribución muy importante a la física en general, pues ayuda a proporcionar intuiciones de gran alcance en cualquier teoría general en física, con sólo analizar las diversas transformaciones que harían invariantes la forma de las leyes implicadas.

Rotaciones y momento angular

Cuando el lagrangiano de un sistema físico presenta simetría rotacional, es decir, existe un grupo de transformaciones isomorfo a un subgrupo unidimensional del grupo de rotaciones o grupo especial ortogonal entonces existe una magnitud física conservada llamada momento angular que tiene un valor constante a lo largo de la evolución temporal. Es decir, dicha magnitud no cambia de valor a medida que el sistema evoluciona, razón por la cual dicha magnitud se llama constante del movimiento o magnitud conservada.

Traslaciones y momento lineal

Análogamente si el lagrangiano de un sistema físico es invariante bajo cierto grupo uniparamétrico de traslaciones entonces existe una componente del momento lineal paralela a dichas traslaciones que no varía con el tiempo, a medida que el sistema evoluciona. Es decir, a pesar de que el estado de movimiento de una partícula o el estado físico del sistema varíe, dicha magnitud física siempre mantiene el mismo valor, por complicada que sea la evolución del sistema.

Invariancia temporal y energía

De modo similar al caso anterior, la independencia del tiempo del lagrangiano, puede ser vista como una invariancia frente a "traslaciones temporales". En este caso la magnitud conservada es el Hamiltoniano o la integral de Jacobi-Painlevé. En un sistema natural si el lagrangiano no depende explícitamente del tiempo se tiene que la energía se conserva. Es decir, en cualquier en la evolución temporal del sistema la energía no cambia de valor.

Invariancia gauge y carga

En el contexto de la teoría cuántica de campos la existencia de una simetría gauge abstracta del lagrangiano que describe la interacción electromagnética implica que existe una magnitud conservada que puede identificarse con la carga eléctrica, dado que el grupo de simetría gauge del campo electromagnético es el grupo unitario U(1) la magnitud conservada es un escalar.

Análogamente, aunque ligeramente más complicado, es el caso de la interacción débil y la interacción fuerte, cuyos grupos de simetría gauge son SU(2) y SU(3), que no son conmutativos y llevan a la conservación de la carga de sabor y la carga de color.

Tratamiento formal en física clásica

Supóngase que se tiene un conjunto cerrado R de dimensión d y una variedad blanco o codominio \Gamma\; . Sea \mathcal{C}_\Gamma el espacio de todas las funciones diferenciables de R a \Gamma\;. Para aclarar ideas particularicemos estas ideas en dos ámbitos diferentes:

Para probar el teorema consideraremos el segundo de estos casos (el resultado para sistemas de partículas clásicas se puede probar particularizando la demostración esbozada aquí).

Paso 1: funcional de acción

Para ello, al estar tratando un sistema físico existirá un funcional de acción que describe el sistema. Matemáticamente este funcional resulta ser una aplicación del tipo:

S:\mathcal{C}_\Gamma \longrightarrow \mathbb{R},

Para conseguir la versión usual del teorema de Noether, se necesitan restricciones adicionales en la acción física. Se asume que S[φK] es la integral sobre R del lagrangiano del sistema físico:

\mathcal{L}(\phi^K,\part_\mu\phi^K,x)

Este lagrangiano depende de las variables del campo φK (siendo K un conjunto de índices tensoriales o de otro tipo, según el tipo de campo), sus derivadas \part_mu \phi^K y la posición en R. Es decir \phi^K \in \mathcal{C}_\Gamma:

S[\phi] \equiv \int_R \mathcal{L}(\phi^K(x),\partial_\mu\phi^K(x),x)\ d^nx

Suponiendo dadas condiciones de contorno, que son básicamente una especificación del valor de φK en el borde de R si es compacta, o un cierto límite en φK cuando x se acerca a ∞, que permitirá hacer la integración por partes). Podemos denotar por \mathcal{R}_\Gamma el subconjunto de \mathcal{C}_\Gamma que consiste en las funciones φK tales que todas las derivadas funcionales de S en φK son cero y φK satisface las condiciones de contorno dadas.

Paso 2: funcional de acción

Ahora, suponga que tenemos una transformación infinitesimal sobre \mathcal{C}, dada por la derivada funcional, δ tal que:

\delta\int_R d^nx\mathcal{L} = \int_{\part R} dS_\mu f^\mu(\phi^K(x),\part\phi^K,\part\part\phi^K,...)

para todas las subvariedades compactas R. Entonces, decimos que δ es un generador de un grupo de Lie uniparamétrico. Ahora, para cualquier N, debido al teorema de Euler-Lagrange, tenemos:

\delta\int_R d^nx\mathcal{L}= \int_R d^nx(\frac{\partial\mathcal{L}}{\partial\phi}- \part_\mu \frac{\part \mathcal{L}}{\part (\part_\mu\phi^K)}) \delta\phi^K+ \int_{\partial R}dS_\mu\frac{\part \mathcal{L}}{\part (\part_\mu\phi^K)}= \int_{\partial_R}dS_\mu\frac{\partial\mathcal{L}}{\part (\part_\mu\phi^K)}.

Paso 3: Corriente conservada

Puesto que la última expresión es cierta para cualquier R, tenemos:

\part_\mu(\frac{\part \mathcal{L}}{\part (\part_\mu\phi^K)}-f^\mu)=0.

Se puede reconocer inmediatamente esto como la ecuación de continuidad para la corriente

J^\mu\equiv\frac{\partial\mathcal{L}}{\partial(\partial_\mu\phi)}-f^\mu

que se llama la corriente de Noether asociada a la simetría. La ecuación de continuidad dice que si se integra esta corriente sobre una "rebanada" (hipersuperficie) de tipo espacio, se consegue una cantidad conservada llamada la carga de Noether (asumiendo, por supuesto, que si R es no compacto, las corrientes decaen suficientemente rápido en el infinito).

Tratamiento formal en física cuántica

En física cuántica la descripción de un sistema se realiza mediante el lagrangiano cuántico que es un funcional definido sobre el espacio de Hilbert relevante para el sistema. Cuando dicho lagrangiano es invariante respecto a un grupo uniparamétrico de aplicaciones unitarias de dicho espacio de Hilbert, entonces cada uno de los generadores \hat{G}_i del álgebra de Lie de dicho grupo es un observable que es una constante del movimiento en el sentido de que:

\frac{d\hat{G}_i}{dt} = \frac{\part \hat{G}_i}{\part t} + [\hat{G}_i,\hat{H}] = 0

Podemos exponer una transformación que sea mezcla de diferentes campos:

\phi_{\alpha}(x)\rightarrow\phi^{\prime}_{\alpha}(x)=e^{-\dot{\imath}\epsilon q_{\alpha\beta}}\phi_{\beta}\qquad ;\qquad \delta\phi_{\alpha}(x)=-\dot{\imath}\epsilon q_{\alpha\beta}\phi_{\beta}(x)

donde \epsilon es un parámetro infinitesimal y los qαβ están fijados.

Si \mathcal{L} es invariante bajo la transformación, entonces \delta\mathcal{L}=\epsilon\partial_{\mu}j^{\mu}(x)=0, donde

j^{\mu}(x)=\frac{1}{\epsilon}\frac{\partial\mathcal{L}}{\partial\left(\partial_{\mu}\phi_{\alpha}\right)}\delta\phi_{\alpha}(x)= -\dot{\imath}\frac{\partial\mathcal{L}}{\partial\left(\partial_{\mu}\phi_{\alpha}\right)}q_{\alpha\beta} \phi_{\beta}.

Todo esto significa que la carga del sistema se conservará:

\mathcal{Q}=\int_{\chi}{j^0(x)dx}=-\dot{\imath}\int_{\chi}{\frac{\partial\mathcal{L}}{\partial\left(\partial_{0}\phi_{\alpha}\right)}q_{\alpha\beta} \phi_{\beta}dx}

La naturaleza física de la corriente jμ(x) y de la carga \mathcal{Q} vendrá dada por una forma específica de la transformación.

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Teorema de Noether — El teorema de Noether es un resultado central en física teórica que expresa la equivalencia de dos diversas propiedades de las leyes físicas. Es así nombrado por la matemática Emmy Noether. El teorema de Noether relaciona pares de ideas básicas… …   Enciclopedia Universal

  • Teorema de Skolem–Noether — En matemáticas, el teorema de Skolem–Noether, nombrado así en honor a Thoralf Skolem y Emmy Noether, es un resultado importante en teoría de anillos que caracteriza los automorfismos de los anillos simples. El teorema fue publicado por primera… …   Wikipedia Español

  • Teorema fundamental de homomorfismos — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Emmy Noether — Amalie Emmy Noether Nacimiento 23 de marzo de 1882 Erlangen, Baviera, Alemania Fallecimiento …   Wikipedia Español

  • Anexo:Matemáticos importantes — En esta lista de matemáticos importantes se presenta una selección de matemáticos desde la antigüedad hasta el presente. La selección se orienta por los aportes científicos, utilizando como criterio para definir el grado de notoriedad la atención …   Wikipedia Español

  • Grupo uniparamétrico — En matemáticas, un grupo uniparamétrico o subgrupo uniparamétrico es un subconjunto de un grupo de Lie de dimensión uno. De hecho un grupo uniparamétrico puede ser representado por una colección de operadores o elementos de un grupo , que vienen… …   Wikipedia Español

  • Ley de conservación — Las leyes de conservación se refieren a las leyes físicas que postulan que durante la evolución temporal de un sistema aislado ciertas magnitudes tienen un valor constante. Puesto que el universo entero constituye un sistema aislado pueden… …   Wikipedia Español

  • Conservación de la energía — Sistema mecánico en el cual se conserva la energía, para choque perfectamente elástico y ausencia de rozamiento. La ley de la conservación de la energía constituye el primer principio de la termodinámica y afirma que la cantidad total de energía… …   Wikipedia Español

  • Dinámica — Saltar a navegación, búsqueda Para la acepción musical, véase Dinámica (música). La dinámica es la parte de la física que describe la evolución en el tiempo de un sistema físico en relación a las causas que provocan los cambios de (estado físico) …   Wikipedia Español

  • Teoría de Einstein-Cartan — En 1922 Élie Cartan conjeturó que la relatividad general debe ser extendida incluyendo la torsión afín, que permite un tensor de Ricci asimétrico. La extensión de la geometría de Riemann para incluir torsión afín ahora se conoce como geometría de …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”