Stelling van Noether

De stelling van Noether (vaak ook theorema van Noether genoemd) is een belangrijke uitkomst van de theoretische natuurkunde en de infinitesimaalrekening waarin wordt aangetoond dat een behoudswet afgeleid kan worden door differentiatie toe te passen op aanwezige symmetrie in natuurkundige systemen. De wet van behoud van energie blijkt bijvoorbeeld het gevolg te zijn van het feit dat alle natuurkundige wetten, inclusief de waarden van natuurkundige constanten, invariant zijn voor een translatie langs de tijd-as; ze veranderen niet in de tijd.

Emmy Noether

De stelling houdt dus in dat elke differentieerbare symmetrie van de actie van een natuurkundig systeem een corresponderende behoudswet heeft. Deze baanbrekende stelling werd in 1915 door de Duitse wiskundige Emmy Noether bewezen en in 1918 gepubliceerd.[1] De actie van een natuurkundig systeem is de integraal over de tijd van een lagrangiaanse-functie (die al of niet een integraal over de ruimte van een lagrangiaanse dichtheidsfunctie is), met behulp waarvan het gedrag van het systeem kan worden bepaald door gebruik te maken van het principe van de kleinste werking.

De stelling van Noether is een fundamenteel instrument van de moderne theoretische natuurkunde en de variatierekening geworden. De stelling van Noether staat een verregaande veralgemening toe van eerder werk over bewegingsconstanten in de lagrangiaanse- en de hamiltoniaanse mechanica. De stelling van Noether is niet van toepassing op systemen die niet met behulp van een Lagrangiaan kunnen worden gemodelleerd; dissipatieve systemen met continue symmetrieën hoeven bijvoorbeeld geen corresponderende behoudswet te hebben.

De stelling van Noether geldt voor alle natuurkundige wetten die zich met verandering bezighouden. De stelling speelt een belangrijke rol in de kwantummechanica bij het onzekerheidsprincipe van Heisenberg, bij het koppelen van positie en impuls, tijd en energie, hoek en impulsmoment, etc.

Informele uitleg van de stelling

bewerken

Alle verfijnde technische punten terzijde, kan de stelling van Noether als volgt informeel worden geponeerd

Als een systeem een continue symmetrie-eigenschap heeft, dan zijn er corresponderende grootheden waarvan de waarden in de tijd behouden blijven.[2]

Een meer geavanceerde versie van de stelling luidt:

Met iedere differentieerbare symmetrie, die door lokale acties wordt gegenereerd, correspondeert een behouden lading.

Het woord "symmetrie" in de bovenstaande stelling verwijst meer bepaald naar de covariantie van de vorm, die een natuurkundige wet neemt met betrekking tot een eendimensionale Lie-groep van transformaties, die aan zekere technische criteria voldoen. De behoudswet van een natuurkundige grootheid wordt meestal uitgedrukt als een continuïteitsvergelijking.

Het formele bewijs van de stelling maakt alleen gebruik van de voorwaarde van invariantie om een uitdrukking af te leiden voor een stroom, die geassocieerd wordt met een behouden natuurkundige grootheid. De behouden grootheid wordt de noether-lading genoemd en de stroom die deze 'lading' draagt noemt men de noether-stroom. De noether-lading is uniek gedefinieerd op een divergentievrij vectorveld na.

Toepassing

bewerken

Toepassing van de stelling van Noether stelt natuurkundigen in staat om in elke algemene theorie inzicht te krijgen welke vorm een wet moet hebben om invariant, constant te zijn. Bijvoorbeeld:

Historische context

bewerken
  Zie Bewegingsconstante en behoudswet voor de hoofdartikelen over dit onderwerp.

Een behoudswet stelt dat een bepaalde kwantiteit  , die een natuurkundig systeem beschrijft, gedurende haar gehele beweging constant blijft; wiskundig uitgedrukt is de mate van verandering van   (de afgeleide met betrekking tot de tijd) gelijk aan nul:

 

Men zegt dat deze grootheden behouden blijven; zij worden vaak bewegingsconstanten genoemd, hoewel er niet per se beweging bij hoeft te zijn betrokken, maar evolutie in de tijd ook volstaat. Als de energie van een natuurkundig systeem bijvoorbeeld wordt behouden, blijft haar energie te allen tijde constant, wat een restrictie op de beweging van het systeem oplegt, wat weer kan helpen om het systeem op te lossen. Naast het inzicht dat deze bewegingsconstanten geven in de aard van een natuurkundig systeem, zijn zij een nuttig instrument voor hulp bij berekeningen; een benadering van een oplossing kan bijvoorbeeld worden verfijnd door de dichtstbijzijnde toestand te vinden, die voldoet aan de behoudswetten.

De eerste bewegingsconstanten die werden ontdekt zijn impuls en energie, die in de 17e eeuw door René Descartes en Gottfried Leibniz werden voorgesteld op basis van botsing experimenten, en werden door latere onderzoekers verfijnd. Isaac Newton was de eerste die de wet van behoud van impuls in zijn moderne vorm verkondigde, en toonde aan dat de wet van behoud van impuls een gevolg was van derde wet van Newton; interessant genoeg geldt de wet van behoud van impuls ook in situaties waar de derde wet van Newton niet opgaat. De moderne natuurkunde heeft onthuld dat de behoudswetten van impuls en energie slechts bij benadering waar zijn, maar hun moderne verfijningen - het behoud van vier-impuls in de speciale relativiteitstheorie en de nul divergentie van de energie-momentum-tensor in de algemene relativiteitstheorie - zijn strikt genomen waar binnen de begrenzingen van die theorieën. Het behoud van impulsmoment, een veralgemening van roterende starre lichamen, is op soortgelijke manier waar binnen de moderne natuurkunde. Een ander belangrijke te behouden grootheid, die werd ontdekt in studie van de hemelmechanica van astronomische lichamen was de Laplace-Runge-Lenz-vector.

In de late 18e en vroege 19e eeuw, ontwikkelden natuurkundigen meer systematische methoden voor het ontdekken van behouden grootheden. Een grote stap kwam in 1788 met de ontwikkeling van de aan het principe van de kleinste werking gerelateerde Lagrangiaanse mechanica. In deze aanpak kan de toestand van het systeem worden beschreven door een soort van gegeneraliseerde coördinaten  ; de bewegingswetten hoeven niet te worden uitgedrukt in een Cartesisch coördinatensysteem, zoals gebruikelijk was in de Newtoniaanse mechanica. De actie wordt gedefinieerd als de tijdsintegraal I van een functie die bekendstaat als de Lagrangiaan L

 

waar de stip boven de   de mate van verandering van de coördinaten   betekent

 

Het principe van Hamilton stelt dat het natuurkundige pad  ; het pad dat echt door het systeem wordt genomen - een pad is waarvoor infinitesimale variaties in dat pad geen verandering veroorzaken in I, ten minste tot op eerste orde. Dit principe resulteert in de Euler-Lagrange-vergelijkingen

 

Dus als een van de coördinaten, zeg  , niet voorkomt in de Lagrangiaan, is de rechterkant van de vergelijking gelijk aan nul, en laat de linker kant zien dat

 

waar de behouden impuls   als de hoeveelheid aan de linkerkant tussen haakjes wordt gedefinieerd. De afwezigheid van de coördinaat   in de Lagrangiaan impliceert dat de Lagrangiaan niet wordt beïnvloed door veranderingen of transformaties van  ; de Lagrangiaan is invariant en men zegt dat de Lagrangiaan een soort van symmetrie vertoont. Dit is het basisidee van waaruit de stelling van Noether is voortgekomen.

Verschillende alternatieve methoden voor het vinden van behouden grootheden werden in de 19e eeuw ontwikkeld, vooral door William Rowan Hamilton. Zo ontwikkelde hij bijvoorbeeld een theorie van kanonieke transformaties, die onderzoekers toestond de coördinaten zo te veranderen, dat deze coördinaten uit de Lagrangiaan verdwenen, wat resulteert in behouden grootheden. Een andere aanpak en misschien wel de meest efficiënte manier voor het vinden van de behouden grootheden is de Hamilton-Jacobi-vergelijking.

Wiskundige uitdrukking

bewerken

De essentie van de stelling van Noether is de volgende: Stel je voor dat de actie  , zoals hierboven gedefinieerd, invariant is onder kleine verstoringen (perturbaties) van de variabele tijd   en de gegeneraliseerde coördinaten  ; wij schrijven (in een notatie die vaak gebruikt wordt door natuurkundigen)

 
 

waar de verstoringen   en   zowel klein als variabel zijn. Veronderstel in zijn algemeenheid dat er misschien meerdere van dergelijke symmetrie transformaties van de actie zijn, zeg,  ; we kunnen een index gebruiken   om de transformaties bij te houden. Dan kan een generieke verstoring worden geschreven als een lineaire som van de afzonderlijke types verstoringen

 
 

Door gebruik te maken van deze definities, toonde Emmy Noether aan dat de N grootheden

 

behouden worden, dat wil zeggen, bewegingsconstanten zijn;, dit is een eenvoudige versie van de stelling van Noether

Voorbeelden

bewerken

Beschouw ter illustratie een Lagrangiaan, die niet afhangt van de tijd, dat wil zeggen dat deze invariant (symmetrisch) is onder veranderingen  , zonder enige verandering in de coördinaten  . In dit geval,   en  ; de overeenkomstige behouden grootheid is de totale energie  [3]

 

Wiskundige uitdrukking in veldentheorie

bewerken

Stel dat onder de transformatie  , met   een constante, de Lagrangiaan invariant is op totale afgeleide na

 

Als je de stroom definieert als

 ,

geldt   als   voldoet aan de bewegingsvergelijkingen.

Voetnoten

bewerken
  1. (de) Emmy Noether, 1918, Invariante Variationsprobleme, Nachr. D. König. Gesellsch. D. Wiss. Zu Göttingen, Math-Phys. Klasse, 1918, pag. 235-257 zie hier
  2. (en) Thompson, W.J., (1994) Angular Momentum. Wiley, pag.5.
  3. Lanczos, blz. 401-403.