Teorema de Noether

El teorema de Noether, o el primer teorema de Noether,[Nota 1] estableix que tota simetria diferenciable de l'acció d'un sistema físic amb forces conservatives té una llei de conservació corresponent.

El teorema pot expressar de la següent manera:

« A qualsevol simetria diferenciable generada per accions locals li correspon una i només una quantitat conservada. »

En altres paraules, el que afirma aquest teorema és que qualsevol simetria d'un sistema físic està associada a una magnitud física que es conserva en aquest sistema (és a dir, roman igual). El teorema permet derivar la quantitat física conservada a partir de la condició d'invariància que defineix la simetria.

El teorema va ser provat per la matemàtica alemanya Emmy Noether el 1915 i publicat el 1918 a Göttingen,[1] i va ser anomenat per Albert Einstein «monument del pensament matemàtic» en una carta enviada a David Hilbert en suport de la carrera de la matemàtica.[2]

L'acció d'un sistema físic és la integral al llarg del temps d'una funció lagrangiana, a partir de la qual el comportament del sistema es pot determinar pel principi de mínima acció. Aquest teorema només s'aplica a simetries contínues i suaus sobre l'espai físic.

El teorema de Noether s'utilitza en la física teòrica i el càlcul de variacions. Una generalització de les formulacions sobre constants del moviment en mecànica lagrangiana i hamiltoniana (desenvolupada el 1788 i el 1833, respectivament), no s'aplica als sistemes que no es poden modelar només amb un lagrangià (per exemple, sistemes amb una funció de dissipació de Rayleigh). En particular, els sistemes dissipatius amb simetries contínues no necessiten tenir una llei de conservació corresponent.

Il·lustracions bàsiques i rerefonsModifica

A tall d'il·lustració, si un sistema físic es comporta igual independentment de com estigui orientat a l'espai, el seu Lagrangià és simètric en rotacions contínues; a partir d'aquesta simetria, el teorema de Noether dicta que es conserva el moment angular del sistema, com a conseqüència de les seves lleis del moviment.[3] El sistema físic en si no ha de ser simètric; un asteroide irregular que cau a l'espai conserva el moment angular malgrat la seva asimetria. Són les lleis del seu moviment les que són simètriques.

Com a altre exemple, si un procés físic presenta els mateixos resultats independentment del lloc o del temps, aleshores el seu Lagrangià és simètric sota translacions contínues en l'espai i el temps respectivament; segons el teorema de Noether, aquestes simetries expliquen les lleis de conservació del moment lineal i l'energia dins d'aquest sistema, respectivament.[4][5]

El teorema de Noether és important, tant per la visió que ofereix sobre les lleis de conservació, com també com a eina pràctica de càlcul. Permet als investigadors determinar les quantitats conservades (invariants) a partir de les simetries observades d'un sistema físic.[3] Per contra, permet als investigadors considerar classes senceres de Lagrangians hipotètics amb invariants donats, per descriure un sistema físic. Com a il·lustració, suposem que es proposa una teoria física que conserva una quantitat X. Un investigador pot calcular els tipus de lagrangians que conserven X mitjançant una simetria contínua. A causa del teorema de Noether, les propietats d'aquests Lagrangians proporcionen criteris addicionals per entendre les implicacions i jutjar l'adequació de la nova teoria.

Hi ha nombroses versions del teorema de Noether, amb diferents graus de generalitat. Hi ha homòlegs quàntics naturals d'aquest teorema, expressats en les identitats de Ward-Takahashi. També existeixen generalitzacions del teorema de Noether als superespais.[6]

Enunciat informal del teoremaModifica

Deixant de banda tots els punts tècnics, el teorema de Noether es pot afirmar de manera informal:[7]

« Si un sistema té una propietat de simetria contínua, llavors hi ha magnituds corresponents els valors de les quals es conserven en el temps. »

Una versió més sofisticada del teorema que inclou camps afirma que:

« A tota simetria diferenciable generada per accions locals li correspon un corrent conservat. »

La paraula «simetria» de l'enunciat anterior es refereix amb més precisió a la covariància de la forma que pren una llei física respecte a transformacions d'un grup de Lie unidimensional que compleixen certs criteris tècnics. La llei de conservació d'una magnitud física sol expressar-se com una equació de continuïtat.

La demostració formal del teorema utilitza la condició d'invariància per derivar una expressió per a un corrent associat a una magnitud física conservada. En terminologia moderna (des de c. 1980),[Nota 2] la quantitat conservada s'anomena «càrrega de Noether», mentre que el flux que transporta aquesta càrrega s'anomena «corrent de Noether». El corrent de Noether es defineix llevat d'un camp vectorial solenoïdal (sense divergència).

En el context de la gravitació, l'enunciat de Felix Klein del teorema de Noether per a l'acció I estipula per als invariants:[8]

« Si una integral I és invariant sota un grup continu G'ρ amb ρ paràmetres, llavors les ρ combinacions linealment independents de les expressions lagrangianes són divergències. »

Breu il·lustració i visió general del concepteModifica

La idea principal darrere del teorema de Noether s'il·lustra més fàcilment amb un sistema amb una coordenada   i una simetria contínua   (fletxes grises al diagrama). Considerem qualsevol trajectòria   (negreta al diagrama) que compleix les lleis del moviment del sistema. És a dir, l'acció   que governa aquest sistema és estacionari en aquesta trajectòria, és a dir, no canvia sota cap variació local de la trajectòria. En particular, no canviaria sota una variació que aplica el flux de simetria   en un segment temporal   i està immòbil fora d'aquest segment. Per mantenir la trajectòria contínua, fem servir períodes «d'amortització» de poc temps   per a la transició gradual entre els segments.

El canvi total en l'acció   ara inclou els canvis produïts per cada interval en la recreació. Les parts, on la variació mateixa s'esvaeix, no ofereixen cap  . La part mitjana tampoc canvia l'acció, perquè la seva transformació   és una simetria i, per tant, conserva el Lagrangià   i l'acció  . Les úniques parts restants són les peces «d'amortització». A grans trets, contribueixen principalment a través de la seva «inclinació»  .

Això canvia el Lagrangià per  , que s'integra a

 

Aquests últims termes, avaluats al voltant dels punts finals  i  , haurien de cancel·lar-se mútuament per tal de fer el canvi total de l'acció   sigui zero, com s'esperaria si la trajectòria fos una solució. Això és

 

que significa que la quantitat   es conserva, que és la conclusió del teorema de Noether. Per exemple, si les translacions pures de   per una constant són la simetria, llavors la quantitat conservada esdevé just  , l'impuls canònic.

Els casos més generals segueixen la mateixa idea:

  • Quan més coordenades   pateixin una transformació de simetria  , els seus efectes se sumen per linealitat a una quantitat conservada  .
  • Quan hi ha transformacions de temps  , fan que els segments «d'amortització» aportin els dos termes següents a  :

 
el primer terme es deu a l'estirament en la dimensió temporal del segment «d'amortització» (que canvia la mida del domini d'integració), i el segon és a causa de la seva «inclinació» igual que en el cas exemplar. Junts afegeixen un sumand   a la quantitat conservada.
  • Finalment, quan en lloc d'una trajectòria   es consideren camps sencers  , l'argument substitueix
    • l'interval   amb una regió delimitada   del domini  ,
    • els punts finals   i   amb el límit   de la regió,
    • i la seva contribució a   s'interpreta com un flux d'un corrent conservat  , que es construeix d'una manera anàloga a la definició prèvia d'una quantitat conservada.
Ara, la contribució zero de «l'amortització»  a   s'interpreta com la desaparició del flux total del corrent   a través de  . Aquest és el sentit en què es conserva: quant «flueix» cap a dins, igual que «flueix» cap a fora.

Context històricModifica

Una llei de conservació estableix que alguna quantitat X en la descripció matemàtica de l'evolució d'un sistema es manté constant al llarg del seu moviment: és invariant. Matemàticament, la relació de canvi de X (la seva derivada respecte al temps) és zero,

 

Es diu que aquestes quantitats es conserven; sovint s'anomenen constants del moviment (tot i que el moviment per se no ha d'estar implicat, només l'evolució en el temps). Per exemple, si l'energia d'un sistema es conserva, la seva energia és invariant en tot moment, la qual cosa imposa una restricció al moviment del sistema i pot ajudar a resoldre'l. A part de les idees que aquestes constants del moviment donen a la naturalesa d'un sistema, són una eina de càlcul útil; per exemple, una solució aproximada es pot corregir trobant l'estat més proper que compleixi les lleis de conservació adequades.

Les primeres constants del moviment descobertes van ser el momentum i l'energia cinètica, que van ser proposades al segle xvii per René Descartes i Gottfried Leibniz sobre la base d'experiments de col·lisió, i perfeccionades pels investigadors posteriors. Isaac Newton va ser el primer a enunciar la conservació de l'impuls en la seva forma moderna, i va demostrar que era una conseqüència de la tercera llei de Newton. Segons la relativitat general, les lleis de conservació del moment lineal, l'energia i el moment angular només són exactament certes globalment quan s'expressen en termes de la suma del tensor d'energia-moment (tensor d'energia no gravitacional) i el pseudotensor de Landau-Lifshitz (tensor d'energia gravitacional). La conservació local del moment lineal i l'energia no gravitacionals en un marc de referència en caiguda lliure s'expressa mitjançant la desaparició de la divergència covariant del tensor d'energia-moment . Una altra quantitat conservada important, descoberta en estudis de la mecànica celeste dels cossos astronòmics, és el vector de Laplace-Runge-Lenz.

A finals del segle xviii i principis del xix, els físics van desenvolupar mètodes més sistemàtics per descobrir invariants. Un avenç important és va produir el 1788 amb el desenvolupament de la mecànica lagrangiana, que està relacionada amb el principi de mínima acció. En aquest enfocament, l'estat del sistema és pot descriure mitjançant qualsevol tipus de coordenades generalitzades q; les lleis del moviment no cal expressar-se en un sistema de coordenades cartesianes, com era habitual en la mecànica newtoniana. L'acció es defineix com la integral de temps I d'una funció coneguda com a L lagrangiana

 

on el punt sobre q indica la relació de canvi de les coordenades q,

 

El principi de Hamilton estableix que la trajectòria física q(t) (la que realment fa el sistema) és una trajectòria per a la qual les variacions infinitesimals d'aquesta trajectòria no provoquen cap canvi en I, almenys fins al primer ordre. Aquest principi dóna lloc a les equacions d'Euler-Lagrange,

 

Així, si una de les coordenades, per exemple qk, no apareix al Lagrangià, el costat dret de l'equació és zero i el costat esquerre requereix que

 

on el momentum

 

es conserva durant tot el moviment (a la trajectòria física).

Així, l'absència de la coordenada «ignorable» qk del lagrangià implica que el lagrangià no es veu afectat pels canvis o transformacions de qk; el Lagrangià és invariant, i es diu que presenta una simetria sota aquestes transformacions. Aquesta és la idea llavor generalitzada en el teorema de Noether.

Al segle xix es van desenvolupar diversos mètodes alternatius per trobar quantitats conservades, especialment per William Rowan Hamilton. Per exemple, va desenvolupar una teoria de transformacions canòniques que va permetre canviar les coordenades de manera que algunes coordenades van desaparèixer del Lagrangià, donant lloc a moments canònics conservats. Un altre enfocament, i potser el més eficient per trobar quantitats conservades, és l'equació de Hamilton-Jacobi.

Expressió matemàticaModifica

Vegeu també: Teoria de les pertorbacions

Forma simple utilitzant pertorbacionsModifica

L'essència del teorema de Noether és generalitzar la noció de coordenades «ignorables».

Es pot suposar que la L lagrangiana definida anteriorment és invariant sota petites pertorbacions (deformacions) de la variable temporal t i les coordenades generalitzades q. Un pot escriure

 

on les pertorbacions δt i δq són petites, però variables. Per a generalitat, suposem que hi ha (per exemple) N aquestes transformacions de simetria de l'acció, és a dir, transformacions que deixen l'acció sense canvis; etiquetades per un índex r = 1, 2, 3, ..., N.

Aleshores, la pertorbació resultant es pot escriure com una suma lineal dels tipus individuals de pertorbacions,

 

on εr són coeficients de paràmetres infinitesimals corresponents a cadascun:

Per a les translacions, Qr és una constant amb unitats de longitud; per a les rotacions, és una expressió lineal en les components de q, i els paràmetres formen un angle.

Utilitzant aquestes definicions, Emmy Noether va demostrar que les N quantitats

 

es conserven (constants del moviment).

ExemplesModifica

I. Invariància temporal

Per exemple, considerem un Lagrangià que no depèn del temps, és a dir, que és invariant (simètric) sota canvis tt + δt, sense cap canvi en les coordenades q. En aquest cas, N = 1, T = 1 i Q = 0; la quantitat conservada corresponent és l'energia total H,[9]

 

II. Invariància translacional Considerem un lagrangià que no depèn d'una coordenada qk («ignorable», com s'ha explicat més amunt); per tant és invariant (simètric) sota els canvis qkqk + δqk. En aquest cas, N = 1, T = 0 i Qk = 1; la quantitat conservada és el momentum corresponent pk,[10]

 

En la relativitat especial i en la relativitat general, aquestes lleis de conservació aparentment separades són aspectes d'una única llei de conservació, la del tensor de tensió-energia,[11] que es deriva a la secció següent.

III. Invariància rotacional La conservació del moment angular L = r × p és anàloga a la seva contrapart del moment lineal.[12] Se suposa que la simetria del Lagrangià és rotacional, és a dir, que el Lagrangià no depèn de l'orientació absoluta del sistema físic a l'espai. Per a la concreció, suposem que el Lagrangià no canvia amb petites rotacions d'un angle δθ al voltant d'un eix n; aquesta rotació transforma les coordenades cartesianes per l'equació

 

Com que el temps no s'està transformant, T = 0 i N = 1. Prenent δθ com a paràmetre ε i les coordenades cartesianes r com a coordenades generalitzades q, les variables Q corresponents vénen donades per

 

Aleshores el teorema de Noether diu que es conserva la següent quantitat:

 

En altres paraules, es conserva la component del moment angular L al llarg de l'eix n. I si n és arbitrari, és a dir, si el sistema és insensible a qualsevol rotació, aleshores cada component de L es conserva; en resum, es conserva el moment angular.

Versió de la teoria de campsModifica

Encara que és útil per dret propi, la versió del teorema de Noether que s'acaba de donar és un cas especial de la versió general derivada l'any 1915. Per donar el gust del teorema general, actualment es dóna una versió del teorema de Noether per a camps continus en espaitemps de quatre dimensions. Com que els problemes de teoria de camps són més comuns en la física moderna que els problemes de mecànica, aquesta versió de teoria de camps és la versió més utilitzada (o implementada amb més freqüència) del teorema de Noether.

Sigui un conjunt de camps diferenciables   definit en tot l'espai i el temps; per exemple, la temperatura   seria representatiu d'aquest camp, sent un nombre definit en cada lloc i moment. El principi de mínima acció es pot aplicar a aquests camps, però ara l'acció és integral en l'espai i el temps

 

(el teorema es pot generalitzar encara més al cas en què el Lagrangià depèn de fins a la derivada enèsima, i també es pot formular utilitzant feixos de jet).

Una transformació contínua dels camps   es pot escriure infinitesimalment com

 

on   és en general una funció que pot dependre de tots dos (  i  ). La condició per   per generar una simetria física és que l'acció   es deixa invariable. Això serà certament cert si la densitat lagrangiana   es deixa invariant, però també serà cert si el Lagrangià canvia per una divergència,

 

ja que la integral d'una divergència esdevé un terme límit segons el teorema de la divergència. Un sistema descrit per una acció determinada pot tenir múltiples simetries independents d'aquest tipus, indexades per   de manera que la transformació de simetria més general s'escriuria com

 

amb la conseqüència

 

Per a aquests sistemes, el teorema de Noether afirma que n'hi ha   densitats de corrent conservades

 

(on s'entén que el producte escalat contrau els índexs de camp, no l'índex   o l'index  ).

En aquests casos, la llei de conservació s'expressa de manera quadridimensional

 

que expressa la idea que la quantitat d'una quantitat conservada dins d'una esfera no pot canviar a menys que una part d'ella surti fora de l'esfera. Per exemple, es conserva la càrrega elèctrica; la quantitat de càrrega dins d'una esfera no pot canviar tret que part de la càrrega surti de l'esfera.

Com a exemple, considerem un sistema físic de camps que es comporta igual sota les translacions en el temps i l'espai, tal com s'ha considerat anteriorment; en altres paraules,   és constant en el seu tercer argument. En aquest cas, N = 4, un per a cada dimensió d'espai i temps. Una traducció infinitesimal a l'espai,   (amb   que denota la delta de Kronecker), afecta els camps com  ; és a dir, tornar a etiquetar les coordenades equival a deixar les coordenades al seu lloc mentre es tradueix el propi camp, que al seu torn equival a transformar el camp substituint-ne el valor en cada punt   amb el valor al punt   aplicant «darrere» d'ell   que seria mapejat pel desplaçament infinitesimal considerat. Com que això és infinitesimal, podem escriure aquesta transformació com

 

La densitat lagrangiana es transforma de la mateixa manera,  , així

 

i, per tant, el teorema de Noether correspon a la llei de conservació del tensor d'energia-moment Tμν,[11] on hem utilitzat   en lloc de  . És a dir, utilitzant l'expressió donada anteriorment i recollint els quatre corrents conservats (un per a cada  ) en un tensor  , el teorema de Noether dóna

 

amb

 

que vam reanomenar   com   en un pas intermedi per evitar conflictes. No obstant això, el   obtingut d'aquesta manera pot diferir del tensor simètric utilitzat com a terme font en relativitat general (vegeu tensor energia-moment canònic).

Per contra, la conservació de la càrrega elèctrica es pot derivar considerant Ψ lineal en els camps φ més que en les derivades.[13] En mecànica quàntica, l'amplitud de probabilitat ψ(x) de trobar una partícula en un punt x és un camp complex φ, perquè atribueix un nombre complex a cada punt de l'espai i el temps. L'amplitud de probabilitat en si és físicament no mesurable; només la probabilitat p = |ψ|2 es pot inferir d'un conjunt de mesures. Per tant, el sistema és invariant sota transformacions del camp ψ i el seu camp complex conjugat ψ* que deixa |ψ|2 sense canvis, com ara

 

una rotació complexa. En el límit quan la fase θ es torna infinitesimament petita, δθ, es pot prendre com a paràmetre ε, mentre que els Ψ són iguals a i −*, respectivament. Un exemple específic és l'equació de Klein-Gordon, la versió relativistament correcta de l'equació de Schrödinger per a partícules sense espín, que té la densitat lagrangiana.

 

En aquest cas, el teorema de Noether estableix que el corrent conservat (∂ ⋅ j = 0) és igual a

 

que, quan es multiplica per la càrrega d'aquesta espècie de partícula, és igual a la densitat de corrent elèctric deguda a aquest tipus de partícula. Aquesta «invariància de gauge» va ser observada per primera vegada per Hermann Weyl, i és una de les simetries de gauge prototip de la física.

DerivacionsModifica

Una variable independentModifica

Considerem el cas més simple, un sistema amb una variable independent, el temps. Suposem que les variables dependents q són tals que la integral d'acció

 

és invariant sota variacions infinitesimals breus en les variables dependents. En altres paraules, compleixen les equacions d'Euler-Lagrange

 

I suposem que la integral és invariant sota una simetria contínua. Matemàticament, aquesta simetria es representa com un flux, φ, que actua sobre les variables de la següent manera

 

on ε és una variable real que indica la quantitat de flux, i T és una constant real (que podria ser zero) que indica quant es desplaça el flux en el temps.

 

La integral d'acció flueix a

 

que es pot considerar en funció de ε. Calculant la derivada a ε' = 0 i utilitzant la regla de Leibniz, obtenim

 

Es pot observar que les equacions d'Euler-Lagrange impliquen

 

Substituint això a l'equació anterior, s'obté

 

Novament utilitzant les equacions d'Euler-Lagrange obtenim

 

Substituint això a l'equació anterior, s'obté

 

D'on es pot veure això

 

és una constant del moviment, és a dir, és una magnitud conservada. Com que φ[q, 0] = qφ, obtenim  i així la quantitat conservada es simplifica a

 

Per evitar una complicació excessiva de les fórmules, aquesta derivació suposa que el flux no canvia a mesura que passa el temps. El mateix resultat es pot obtenir en el cas més general.

Derivació teòrica de campsModifica

El teorema de Noether també es pot derivar per a camps tensorials φA on l'índex A oscil·la entre els diferents components dels diferents camps tensorials. Aquestes magnituds de camp són funcions definides en un espai de quatre dimensions els punts del qual estan etiquetats per coordenades xμ on l'índex μ oscil·la al llarg del temps (μ = 0) i tres dimensions espacials (μ = 1, 2, 3). Aquestes quatre coordenades són les variables independents; i els valors dels camps a cada esdeveniment són les variables dependents. Sota una transformació infinitesimal, s'escriu la variació de les coordenades

 

mentre que la transformació de les variables de camp s'expressa com

 

Segons aquesta definició, les variacions de camp δφA resulten de dos factors: canvis intrínsecs en el propi camp i canvis de coordenades, ja que el camp transformat αA depèn de les coordenades transformades ξμ. Per aïllar els canvis intrínsecs, es pot definir la variació de camp en un sol punt xμ

 

Si es canvien les coordenades, el límit de la regió de l'espai-temps sobre la qual s'està integrant el Lagrangià també canvia; el límit original i la seva versió transformada es denoten com a Ω i Ω’, respectivament.

El teorema de Noether comença amb el supòsit que una transformació específica de les coordenades i variables de camp no canvia l'acció, que es defineix com la integral de la densitat lagrangiana sobre la regió donada de l'espai-temps. Expressada matemàticament, aquesta suposició es pot escriure com

 

on el subíndex de coma indica una derivada parcial respecte a les coordenades que segueixen la coma, per exemple

 

Com que ξ és una variable simulada d'integració, i com que el canvi en el límit Ω és infinitesimal per suposició, les dues integrals es poden combinar utilitzant la versió en quatre dimensions del teorema de la divergència en la forma següent

 

La diferència en Lagrangians es pot escriure a primer ordre en les variacions infinitesimals com

 

Tanmateix, com que les variacions es defineixen en el mateix punt descrit anteriorment, la variació i la derivada es poden fer en ordre invers; es commuta

 

Utilitzant les equacions de camp d'Euler-Lagrange

 

la diferència en lagrangians es pot escriure ordenadament com

 

Així, el canvi en l'acció es pot escriure com

 

Com que això és vàlid per a qualsevol regió Ω, l'integrand ha de ser zero

 

Per a qualsevol combinació de les diverses transformacions de simetria, es pot escriure la pertorbació

 

on   és la derivada de Lie φA en la direcció Xμ. Llavors φA és un escalar o  ,

 

Aquestes equacions impliquen que la variació de camp presa en un punt és igual

 

Diferenciant la divergència anterior respecte a ε a ε = 0 i canviant el signe s'obté la llei de conservació

 

on el corrent conservat és igual

 

Derivació col·lector/feix de fibresModifica

Suposem que tenim una varietat Riemanniana orientada a n-dimensions, M i una varietat objectiva T. Sigui   sigui l'espai de configuració de funcions suaus de M a T. (Més generalment, podem tenir seccions suaus d'un feix de fibres sobre M.)

Alguns exemples d'aquesta M en física inclouen:

Ara suposem que hi ha un funcional

 

anomenada l'acció (aporta valors  , enlloc de  ; això és per raons físiques i no és important per a aquesta prova).

Per arribar a la versió habitual del teorema de Noether, necessitem restriccions addicionals a l'acció. Suposem que   és la integral sobre M d'una funció

 

anomenada densitat lagrangiana, depenent de φ, la seva derivada i la posició. En altres paraules, per a φ en  

 

Suposem que se'ns donen condicions de frontera, és a dir, una especificació del valor de φ a la frontera si M és compacte, o algun límit de φ quan x s'acosta a ∞. Aleshores el subespai de    format per funcions φ tals que totes les derivades funcionals de   a φ són zero, és a dir:

 

i que φ compleix les condicions de frontera donades, és el subespai de les solucions on shell (Vegeu principi de mínima acció).

Ara, suposem que tenim una transformació infinitesimal activada  , generada per una derivació funcional Q, tal que

 

per a totes les subvarietats compactes N, o en altres paraules,

 

per a tot x, on establim

 

Si això s'aplica on shell i off shell, diem que Q genera una simetria off shell. Si això només s'aplica a on shell, diem que Q genera una simetria on shell. Aleshores, diem que Q és un generador d'un grup de Lie de simetria d'un paràmetre.

Ara, per a qualsevol N, a causa del teorema d'Euler-Lagrange, on shell (i només on shell), tenim

 

Com que això és cert per a qualsevol N, tenim

 

Però aquesta és l'equació de continuïtat del corrent   definit per:[14]

 

que s'anomena «corrent de Noether» associat a la simetria. L'equació de continuïtat ens diu que si integrem aquest corrent sobre una porció semblant a un espai, obtenim una quantitat conservada anomenada «càrrega de Noether» (sempre que, per descomptat, si M no és compacta, els corrents cauen prou ràpid a l'infinit).

ComentarisModifica

El teorema de Noether és un teorema on shell: es basa en l'ús de les equacions de moviment (el camí clàssic). Reflecteix la relació entre les condicions de límit i el principi variacional. Suposant que no hi ha termes de límit en l'acció, el teorema de Noether implica això

 

Els anàlegs quàntics del teorema de Noether que inclouen valors d'expectativa (per exemple,  ) sondejant quantitats off shell així com les identitats de Ward-Takahashi.

Generalització a àlgebres de LieModifica

Suposem que tenim dues derivacions de simetria Q1 i Q₂. Llavors, [Q1, Q₂] també és una derivació de simetria. Vegem-ho explícitament. Sigui

 
i
 

Llavors,

 
on f12 = Q1[fμ] − Q₂[f1μ]. Així,
 

Això mostra que podem estendre el teorema de Noether a àlgebres de Lie més grans d'una manera natural.

Generalització de la provaModifica

Això s'aplica a qualsevol derivació de simetria local Q que compleixi QS ≈ 0, i també a accions diferenciables funcionals locals més generals, incloses aquelles en què el Lagrangià depèn de derivades superiors dels camps. Sigui ε qualsevol funció suau arbitrària de la varietat espai-temps (o temps) de manera que el tancament del seu suport estigui disjunt del límit. ε és una funció de test. Aleshores, a causa del principi variacional (que no s'aplica a la frontera), la distribució de derivació q generada per q[ε][Φ(x)] = ε(x)Q[Φ(x)] satisfà q[ε][S] ≈ 0 per a cada ε, o de manera més compacta, q(x)[S] ≈ 0q per a tot x que no estigui al límit (però s'ha de recordar que q(x) és una abreviatura per a una distribució de derivació, no una derivació parametritzada per x en general). Aquesta és la generalització del teorema de Noether.

Per veure com es relaciona la generalització amb la versió donada anteriorment, suposem que l'acció és la integral espai-temps d'un lagrangià que només depèn de φ i les seves primeres derivades. També, suposem

 

Llavors,

 

per a tot  .

De manera més general, si el lagrangià depèn de derivades superiors, aleshores

 

ExemplesModifica

Exemple 1: Conservació de l'energiaModifica

Observant el cas concret d'una partícula newtoniana de massa m, coordenada x, que es mou sota la influència d'un potencial V, coordinada pel temps t. L'acció, S, és:

 

El primer terme entre parèntesis és l'energia cinètica de la partícula, mentre que el segon és la seva energia potencial. Considerem el generador de translacions temporals Q = d/dt. En altres paraules,  . La coordenada x té una dependència explícita del temps, mentre que V no; en conseqüència:

 

i ho podem posar

 

Llavors,

 

El costat dret és l'energia, i el teorema de Noether diu   (és a dir, el principi de conservació de l'energia és una conseqüència de la invariància sota les translacions temporals).

De manera més general, si el lagrangià no depèn explícitament del temps, la quantitat

 

(anomenat Hamiltonià) es conserva.

Exemple 2: Conservació del centre de la quantitat de movimentModifica

Encara tenint en compte el temps unidimensional, deixem

 

o   partícules newtonianes on el potencial només depèn per parelles del desplaçament relatiu.

Per a  , considerem el generador de transformacions galileanes (és a dir, un canvi en el marc de referència). En altres paraules,

 

I

 

Això té la forma de   i ho podem posar

 

Llavors,

 

on   és el momentum total, M és la massa total i   és el centre de masses. El teorema de Noether diu:

 

Exemple 3: Transformació conformeModifica

Els dos exemples 1 i 2 són sobre una varietat unidimensional (temps). Un exemple que implica l'espai-temps és una transformació conforme d'un camp escalar real sense massa amb un potencial quàrtic en (3 + 1)-espai-temps de Minkowski.

 

Per a Q, considereu el generador d'un reescalat espai-temps. En altres paraules,

 

El segon terme a la dreta es deu al «pes conformat» de  . I

 

Això té la forma de

 

(on hem realitzat un canvi d'índexs ficticis) així s'estableix

 

Llavors

 

El teorema de Noether diu   (com es pot comprovar explícitament substituint les equacions d'Euler-Lagrange al costat esquerre).

Si un intenta trobar l'anàleg Ward-Takahashi d'aquesta equació, es troba amb un problema a causa d'anomalies.

AplicacionsModifica

L'aplicació del teorema de Noether permet als físics obtenir coneixements potents sobre qualsevol teoria general de la física, només analitzant les diverses transformacions que farien invariant la forma de les lleis implicades. Per exemple:

En la teoria quàntica de camps, l'anàleg al teorema de Noether, la identitat de Ward-Takahashi, produeix lleis de conservació addicionals, com ara la conservació de la càrrega elèctrica a partir de la invariància respecte a un canvi en el factor de fase del camp complex de la partícula carregada i el gauge associat del potencial elèctric i del potencial vectorial.

La càrrega de Noether també s'utilitza per calcular l'entropia dels forats negres estacionaris.[15]

NotesModifica

  1. Això de vegades es coneix com el primer teorema de Noether. Vegeu el segon teorema de Noether.
  2. El terme «càrrega Noether» apareix a Seligman, Group theory and its applications in physics, 1980: Latin American School of Physics, Mexico City, American Institute of Physics, 1981. Va entrar en un ús més ampli durant la dècada del 1980, com per exemple en G. Takeda en: Errol Gotsman, Gerald Tauber (eds.) From SU(3) to Gravity: Festschrift in Honor of Yuval Ne'eman, 1985, p. 196.

ReferènciesModifica

  1. Noether, 1918, p. 235-257.
  2. Lederman i Hill, 2008, p. 73.
  3. 3,0 3,1 José i Saletan, 1988, p. 126-127.
  4. Hand i Finch, 1998, p. 23.
  5. Thornton i Marion, 2004, p. 261.
  6. De Azcárraga, J. A.; Lukierski, J.; Vindel, P. «Superfields and canonical methods in superspace» (en anglès). Modern Physics Letters A, 1(4), 01-07-1986, pàg. 293-302. Bibcode: 1986MPLA....1..293D. DOI: 10.1142/S0217732386000385. ISSN: 0217-7323.
  7. Thompson, 1994, p. 5.
  8. Byers, 1998.
  9. Lanczos, 1970, p. 401-403.
  10. Lanczos, 1970, p. 403-404.
  11. 11,0 11,1 Goldstein, 1980, p. 592-593.
  12. Lanczos, 1970, p. 404-405.
  13. Goldstein, 1980, p. 593-594.
  14. Peskin i Schoeder, 1995, p. 18.
  15. Iyer i Wald, 1995, p. 4430-4439.

BibliografiaModifica

Vegeu tambéModifica