Noether-Theorem

Aus besserwiki.de
Erste Seite von Emmy Noethers Artikel "Invariante Variationsprobleme" (1918), in dem sie ihr Theorem bewies.

Das Noether-Theorem oder Noethers erster Satz besagt, dass jede differenzierbare Symmetrie der Wirkung eines physikalischen Systems mit konservativen Kräften ein entsprechendes Erhaltungsgesetz hat. Das Theorem wurde 1915 von der Mathematikerin Emmy Noether bewiesen und 1918 veröffentlicht. Die Wirkung eines physikalischen Systems ist das Integral einer Lagrangeschen Funktion über die Zeit, aus der das Verhalten des Systems nach dem Prinzip der kleinsten Wirkung bestimmt werden kann. Dieses Theorem gilt nur für kontinuierliche und glatte Symmetrien im physikalischen Raum.

Das Noethersche Theorem wird in der theoretischen Physik und der Variationsrechnung verwendet. Er ist eine Verallgemeinerung der Formulierungen zu den Bewegungskonstanten in der Lagrangeschen und der Hamiltonschen Mechanik (entwickelt 1788 bzw. 1833) und gilt nicht für Systeme, die nicht allein mit einer Lagrangeschen Formel modelliert werden können (z. B. Systeme mit einer Rayleigh-Dissipationsfunktion). Insbesondere brauchen dissipative Systeme mit kontinuierlichen Symmetrien kein entsprechendes Erhaltungsgesetz zu haben.

Eine Erhaltungsgröße eines Systems von Teilchen ist eine Funktion der Zeit , der Orte und der Geschwindigkeiten der Teilchen, deren Wert sich auf jeder von ihnen im Laufe der Zeit durchlaufenen Bahn nicht ändert. So ist die Energie eines nichtrelativistischen Teilchens der Masse , das sich im Potential bewegt, eine Erhaltungsgröße. Das heißt, für jede Bahn , die der Bewegungsgleichung genügt, gilt zu jeder Zeit :

.

Grundlegende Illustrationen und Hintergrund

Zur Veranschaulichung: Wenn sich ein physikalisches System unabhängig von seiner Ausrichtung im Raum gleich verhält, ist seine Lagrange unter kontinuierlichen Rotationen symmetrisch: Aus dieser Symmetrie ergibt sich nach dem Noether-Theorem, dass der Drehimpuls des Systems als Folge seiner Bewegungsgesetze erhalten bleibt. Das physikalische System selbst muss nicht symmetrisch sein; ein zerklüfteter Asteroid, der im Weltraum taumelt, behält trotz seiner Asymmetrie den Drehimpuls bei. Es sind die Gesetze seiner Bewegung, die symmetrisch sind.

Ein weiteres Beispiel: Wenn ein physikalischer Prozess unabhängig von Ort und Zeit zu den gleichen Ergebnissen führt, dann ist seine Lagrange bei kontinuierlichen Translationen im Raum bzw. in der Zeit symmetrisch: Nach dem Satz von Noether erklären diese Symmetrien die Erhaltungssätze für den linearen Impuls und die Energie in diesem System.

Das Noether-Theorem ist sowohl wegen der Einblicke, die es in die Erhaltungssätze gewährt, als auch als praktisches Berechnungsinstrument wichtig. Er ermöglicht es den Forschern, aus den beobachteten Symmetrien eines physikalischen Systems die erhaltenen Größen (Invarianten) zu bestimmen. Umgekehrt können Forscher ganze Klassen hypothetischer Lagrangescher mit gegebenen Invarianten betrachten, um ein physikalisches System zu beschreiben. Zur Veranschaulichung: Nehmen wir an, es wird eine physikalische Theorie vorgeschlagen, in der eine Größe X erhalten bleibt. Ein Forscher kann die Arten von Lagrangeschen berechnen, in denen X durch eine kontinuierliche Symmetrie erhalten bleibt. Aufgrund des Noether-Theorems liefern die Eigenschaften dieser Lagrangeschen weitere Kriterien, um die Auswirkungen zu verstehen und die Eignung der neuen Theorie zu beurteilen.

Es gibt zahlreiche Versionen des Noether-Theorems mit unterschiedlichem Grad an Allgemeinheit. Es gibt natürliche Quantengegenstücke zu diesem Satz, die in den Ward-Takahashi-Identitäten ausgedrückt sind. Es gibt auch Verallgemeinerungen des Noether-Theorems auf Überräume.

Informelle Aussage des Satzes

Abgesehen von den technischen Feinheiten lässt sich der Satz von Noether auch informell formulieren:

Wenn ein System eine kontinuierliche Symmetrieeigenschaft hat, dann gibt es entsprechende Größen, deren Werte in der Zeit erhalten bleiben.

Eine anspruchsvollere Version des Satzes, die Felder einbezieht, besagt Folgendes:

Jeder differenzierbaren Symmetrie, die durch lokale Aktionen erzeugt wird, entspricht ein konservierter Strom.

Das Wort "Symmetrie" in der obigen Aussage bezieht sich genauer gesagt auf die Kovarianz der Form, die ein physikalisches Gesetz in Bezug auf eine eindimensionale Lie-Gruppe von Transformationen annimmt, die bestimmte technische Kriterien erfüllen. Das Erhaltungsgesetz einer physikalischen Größe wird gewöhnlich als Kontinuitätsgleichung ausgedrückt.

Der formale Beweis des Theorems nutzt die Bedingung der Invarianz, um einen Ausdruck für einen Strom abzuleiten, der mit einer erhaltenen physikalischen Größe verbunden ist. In der modernen (seit ca. 1980) Terminologie wird die erhaltene Größe als Noether-Ladung bezeichnet, während der Strom, der diese Ladung trägt, Noether-Strom genannt wird. Der Noether-Strom ist bis zu einem solenoidalen (divergenzfreien) Vektorfeld definiert.

Im Zusammenhang mit der Gravitation gilt Felix Kleins Aussage des Noether-Theorems für die Wirkung I als Voraussetzung für die Invarianten:

Wenn ein Integral I unter einer stetigen Gruppe Gρ mit ρ Parametern invariant ist, dann sind ρ linear unabhängige Kombinationen der Lagrange-Ausdrücke Divergenzen.

Kurze Illustration und Überblick über das Konzept

Diagramm zur Veranschaulichung des Noether-Theorems für eine koordinatenweise Symmetrie.

Die Grundidee des Noether-Theorems lässt sich am einfachsten anhand eines Systems mit einer Koordinate und einer kontinuierlichen Symmetrie (graue Pfeile im Diagramm). Betrachten Sie eine beliebige Trajektorie (im Diagramm fett gedruckt), die die Bewegungsgesetze des Systems erfüllt. Das heißt, die Aktion die dieses System steuert, ist auf dieser Bahn stationär, d. h. sie ändert sich nicht bei einer lokalen Variation der Bahn. Insbesondere ändert sie sich nicht bei einer Variation, die den Symmetriefluss auf ein Zeitsegment [t0, t1] anwendet und außerhalb dieses Segments bewegungslos ist. Um die Flugbahn kontinuierlich zu halten, verwenden wir "Puffer"-Perioden von geringer Dauer um allmählich zwischen den Segmenten zu wechseln.

Die Gesamtänderung der Aktion umfasst nun die Veränderungen, die durch jedes Intervall im Spiel hervorgerufen werden. Teile, in denen die Veränderung selbst verschwindet, bringen keine . Auch der mittlere Teil ändert die Wirkung nicht, da seine Transformation ist eine Symmetrie und erhält somit die Lagrange und die Wirkung . Die einzigen verbleibenden Teile sind die "puffernden" Teile. Grob gesagt, tragen sie vor allem durch ihre "Schrägstellung" bei .

Das ändert die Lagrange um , die sich integriert zu

Diese letzten Terme, ausgewertet um die Endpunkte und ausgewertet werden, sollten sich gegenseitig aufheben, so dass die Gesamtänderung der Wirkung gleich Null ist, wie es zu erwarten wäre, wenn die Trajektorie eine Lösung ist. Das bedeutet

was bedeutet, dass die Größe erhalten bleibt, was die Schlussfolgerung des Noether-Theorems ist. Wenn zum Beispiel reine Translationen von durch eine Konstante die Symmetrie ist, dann wird die erhaltene Größe einfach der kanonische Impuls.

Allgemeinere Fälle folgen der gleichen Idee:

  • Wenn mehrere Koordinaten eine Symmetrietransformation erfahren so addieren sich ihre Wirkungen durch Linearität zu einer Erhaltungsgröße .
  • Wenn es Zeittransformationen gibt bewirken sie, dass die "puffernden" Segmente die beiden folgenden Terme beitragen zu :

    Der erste Term ist auf die Streckung der zeitlichen Dimension des "puffernden" Segments zurückzuführen (wodurch sich die Größe des Integrationsbereichs ändert), der zweite auf seine "Schrägstellung" wie im Beispielsfall. Zusammen fügen sie einen Summanden zur Erhaltungsgröße hinzu.
  • Schließlich, wenn anstelle einer Trajektorie ganze Felder betrachtet werden, ersetzt das Argument
    • das Intervall durch eine begrenzte Region des -Bereichs,
    • die Endpunkte und mit der Begrenzung der Region,
    • und sein Beitrag zu wird als Fluss einer Erhaltungsgröße interpretiert die analog zu der vorherigen Definition einer konservierten Größe aufgebaut ist.
    Nun wird der Nullbeitrag des "puffernden" zu wird als Verschwinden des Gesamtstroms durch den . Das ist der Sinn, in dem er erhalten bleibt: Wie viel hinein "fließt", so viel "fließt" auch heraus.

Historischer Kontext

Ein Erhaltungssatz besagt, dass eine bestimmte Größe X in der mathematischen Beschreibung der Entwicklung eines Systems während seiner gesamten Bewegung konstant bleibt - sie ist eine Invariante. Mathematisch gesehen ist die Änderungsrate von X (seine Ableitung nach der Zeit) gleich Null,

Solche Größen gelten als konserviert; sie werden oft als Bewegungskonstanten bezeichnet (obwohl es sich nicht um Bewegung an sich handeln muss, sondern nur um die zeitliche Entwicklung). Wenn z. B. die Energie eines Systems erhalten bleibt, ist seine Energie zu jedem Zeitpunkt unveränderlich, was eine Beschränkung für die Bewegung des Systems darstellt und bei der Lösung des Problems helfen kann. Abgesehen von den Einblicken, die solche Bewegungskonstanten in die Natur eines Systems geben, sind sie ein nützliches Berechnungsinstrument; beispielsweise kann eine Näherungslösung korrigiert werden, indem der nächstgelegene Zustand gefunden wird, der die geeigneten Erhaltungssätze erfüllt.

Die ersten entdeckten Bewegungskonstanten waren Impuls und kinetische Energie, die im 17. Jahrhundert von René Descartes und Gottfried Leibniz auf der Grundlage von Kollisionsexperimenten vorgeschlagen und von späteren Forschern verfeinert wurden. Isaac Newton war der erste, der den Impulserhaltungssatz in seiner modernen Form formulierte und zeigte, dass er eine Folge des dritten Newtonschen Gesetzes ist. Nach der allgemeinen Relativitätstheorie sind die Erhaltungssätze für den linearen Impuls, die Energie und den Drehimpuls nur dann global korrekt, wenn sie durch die Summe des Spannungs-Energie-Tensors (nichtgravitative Spannungsenergie) und des Landau-Lifshitz-Spannungs-Energie-Impuls-Pseudotensors (gravitative Spannungsenergie) ausgedrückt werden. Die lokale Erhaltung des linearen Impulses und der Energie ohne Gravitation in einem frei fallenden Bezugssystem wird durch das Verschwinden der kovarianten Divergenz des Spannungs-Energie-Tensors ausgedrückt. Eine weitere wichtige konservierte Größe, die bei Studien zur Himmelsmechanik astronomischer Körper entdeckt wurde, ist der Laplace-Runge-Lenz-Vektor.

Im späten 18. und frühen 19. Jahrhundert entwickelten die Physiker systematischere Methoden zur Entdeckung von Invarianten. Ein großer Fortschritt wurde 1788 mit der Entwicklung der Lagrangeschen Mechanik erzielt, die mit dem Prinzip der kleinsten Wirkung zusammenhängt. Bei diesem Ansatz kann der Zustand des Systems durch jede Art von verallgemeinerten Koordinaten q beschrieben werden; die Bewegungsgesetze müssen nicht in einem kartesischen Koordinatensystem ausgedrückt werden, wie es in der Newtonschen Mechanik üblich war. Die Wirkung ist definiert als das Zeitintegral I einer Funktion, die als Lagrangesche L

wobei der Punkt über q die Änderungsrate der Koordinaten q angibt,

Das Hamilton-Prinzip besagt, dass der physikalische Pfad q(t) - derjenige, den das System tatsächlich durchläuft - ein Pfad ist, für den infinitesimale Variationen dieses Pfades keine Änderung von I verursachen, zumindest bis zur ersten Ordnung. Dieser Grundsatz führt zu den Euler-Lagrange-Gleichungen,

Wenn also eine der Koordinaten, z. B. qk, nicht in der Lagrange-Gleichung vorkommt, ist die rechte Seite der Gleichung Null, und die linke Seite erfordert, dass

wobei der Impuls

während der gesamten Bewegung (auf dem physikalischen Weg) erhalten bleibt.

Das Fehlen der ignorierbaren Koordinate qk in der Lagrange bedeutet also, dass die Lagrange von Änderungen oder Transformationen von qk unberührt bleibt; die Lagrange ist invariant und weist unter solchen Transformationen eine Symmetrie auf. Dies ist die Grundidee, die im Noether-Theorem verallgemeinert wird.

Im 19. Jahrhundert wurden mehrere alternative Methoden zur Bestimmung konservierter Größen entwickelt, insbesondere von William Rowan Hamilton. So entwickelte er beispielsweise eine Theorie der kanonischen Transformationen, die es ermöglichte, die Koordinaten so zu verändern, dass einige Koordinaten aus der Lagrange verschwanden, wie oben beschrieben, was zu konservierten kanonischen Momenten führte. Ein anderer Ansatz, und vielleicht der effizienteste, um erhaltene Größen zu finden, ist die Hamilton-Jacobi-Gleichung.

Mathematischer Ausdruck

Einfache Form mit Störung

Der Kern des Noether-Theorems ist die Verallgemeinerung der skizzierten ignorierbaren Koordinaten.

Man kann davon ausgehen, dass die oben definierte Lagrange L unter kleinen Störungen (Warpings) der Zeitvariablen t und der verallgemeinerten Koordinaten q invariant ist.

wobei die Störungen δt und δq beide klein, aber variabel sind. Der Allgemeinheit halber nehmen wir an, dass es (sagen wir) N solcher Symmetrietransformationen der Wirkung gibt, d.h. Transformationen, die die Wirkung unverändert lassen; gekennzeichnet durch einen Index r = 1, 2, 3, ..., N.

Dann kann die resultierende Störung als lineare Summe der einzelnen Störungsarten geschrieben werden,

wobei εr infinitesimale Parameterkoeffizienten sind, die den einzelnen:

  • dem Generator Tr der Zeitentwicklung und
  • Generators Qr der verallgemeinerten Koordinaten.

Für Translationen ist Qr eine Konstante mit Längeneinheiten; für Rotationen ist es ein Ausdruck, der linear in den Komponenten von q ist, und die Parameter bilden einen Winkel.

Anhand dieser Definitionen zeigte Noether, dass die N Größen

konserviert sind (Bewegungskonstanten).

Beispiele

I. Zeitinvarianz

Zur Veranschaulichung betrachten wir eine Lagrange, die nicht von der Zeit abhängt, d. h. die bei Änderungen t → t + δt invariant (symmetrisch) ist, ohne dass sich die Koordinaten q ändern. In diesem Fall ist N = 1, T = 1 und Q = 0; die entsprechende erhaltene Größe ist die Gesamtenergie H

II. Translationsinvarianz

Betrachten wir eine Lagrange, die nicht von einer ("ignorierbaren", wie oben) Koordinate qk abhängt; sie ist also invariant (symmetrisch) unter Änderungen qk → qk + δqk. In diesem Fall ist N = 1, T = 0 und Qk = 1; die erhaltene Größe ist der entsprechende lineare Impuls pk

In der speziellen und allgemeinen Relativitätstheorie sind diese scheinbar getrennten Erhaltungssätze Aspekte eines einzigen Erhaltungssatzes, nämlich des Spannungs-Energie-Tensors, der im nächsten Abschnitt abgeleitet wird.

III. Rotationsinvarianz

Die Erhaltung des Drehimpulses L = r × p ist analog zu seinem linearen Gegenstück, dem Drehimpuls. Es wird angenommen, dass die Lagrange rotationssymmetrisch ist, d. h. dass die Lagrange nicht von der absoluten Orientierung des physikalischen Systems im Raum abhängt. Nehmen wir zur Konkretisierung an, dass sich die Lagrange bei kleinen Drehungen um einen Winkel δθ um eine Achse n nicht ändert; eine solche Drehung transformiert die kartesischen Koordinaten durch die Gleichung

Da die Zeit nicht transformiert wird, ist T = 0, und N = 1. Nimmt man δθ als ε-Parameter und die kartesischen Koordinaten r als verallgemeinerte Koordinaten q, so sind die entsprechenden Q-Variablen gegeben durch

Das Noether-Theorem besagt, dass die folgende Größe erhalten bleibt,

Mit anderen Worten, die Komponente des Drehimpulses L entlang der n-Achse ist konserviert. Und wenn n beliebig ist, d.h. wenn das System unempfindlich gegen jede Drehung ist, dann ist jede Komponente von L erhalten; kurz gesagt, der Drehimpuls ist erhalten.

Version der Feldtheorie

Die soeben dargestellte Version des Noether-Satzes ist ein Spezialfall der 1915 abgeleiteten allgemeinen Version, auch wenn sie für sich genommen nützlich ist. Um den Geschmack des allgemeinen Satzes zu vermitteln, wird nun eine Version des Noether-Satzes für kontinuierliche Felder in einer vierdimensionalen Raumzeit gegeben. Da feldtheoretische Probleme in der modernen Physik häufiger vorkommen als mechanische Probleme, ist diese feldtheoretische Version die am häufigsten verwendete (oder am häufigsten implementierte) Version des Noether-Satzes.

Es sei eine Menge von differenzierbaren Feldern die über den gesamten Raum und die gesamte Zeit definiert sind; zum Beispiel wäre die Temperatur wäre ein solches Feld, da sie eine an jedem Ort und zu jeder Zeit definierte Zahl ist. Das Prinzip der kleinsten Wirkung kann auf solche Felder angewendet werden, aber die Wirkung ist nun ein Integral über Raum und Zeit

(der Satz kann weiter verallgemeinert werden für den Fall, dass die Lagrange bis zur n-ten Ableitung abhängt, und kann auch mit Hilfe von Strahlbündeln formuliert werden).

Eine kontinuierliche Transformation der Felder kann infinitesimal geschrieben werden als

wobei im Allgemeinen eine Funktion ist, die sowohl von und . Die Bedingung für eine physikalische Symmetrie erzeugen kann, ist, dass die Wirkung linksinvariant ist. Dies ist sicherlich der Fall, wenn die Lagrangesche Dichte linksinvariant ist, aber auch, wenn sich die Lagrange durch eine Divergenz ändert,

denn das Integral einer Divergenz wird nach dem Divergenztheorem zu einem Randterm. Ein System, das durch eine bestimmte Aktion beschrieben wird, kann mehrere unabhängige Symmetrien dieser Art aufweisen, die durch so dass die allgemeinste Symmetrietransformation wie folgt geschrieben werden kann

mit der Folge

Für solche Systeme besagt das Noether-Theorem, dass es Folgendes gibt konservierte Stromdichten

(wobei das Punktprodukt so verstanden wird, dass es die Feldindizes kontrahiert, nicht den Index oder Index).

In solchen Fällen wird der Erhaltungssatz auf vierdimensionale Weise ausgedrückt

was zum Ausdruck bringt, dass sich die Menge einer erhaltenen Menge innerhalb einer Kugel nicht ändern kann, wenn nicht etwas davon aus der Kugel herausfließt. Zum Beispiel ist die elektrische Ladung konserviert; die Menge der Ladung innerhalb einer Kugel kann sich nicht ändern, wenn nicht ein Teil der Ladung die Kugel verlässt.

Betrachten wir zur Veranschaulichung ein physikalisches System von Feldern, das sich bei Translationen in Zeit und Raum, wie oben betrachtet, gleich verhält; mit anderen Worten, ist in seinem dritten Argument konstant. In diesem Fall ist N = 4, eine für jede Dimension von Raum und Zeit. Eine infinitesimale Translation im Raum, (wobei bezeichnet das Kronecker-Delta), wirkt sich auf die Felder wie folgt aus Das heißt, die Umbenennung der Koordinaten ist gleichbedeutend mit der Beibehaltung der Koordinaten bei gleichzeitiger Verschiebung des Feldes selbst, was wiederum gleichbedeutend mit einer Transformation des Feldes ist, indem sein Wert in jedem Punkt durch den Wert des Punktes "dahinter" ersetzt wird, der auf durch die betrachtete infinitesimale Verschiebung. Da es sich um eine infinitesimale Verschiebung handelt, können wir diese Transformation wie folgt schreiben

Die Lagrangesche Dichte transformiert sich auf die gleiche Weise, also

und somit entspricht der Satz von Noether dem Erhaltungssatz für den Spannungs-Energie-Tensor Tμν, wobei wir anstelle von . Indem wir also den oben genannten Ausdruck verwenden und die vier erhaltenen Ströme (einen für jeden ) in einen Tensor ergibt sich nach dem Noether-Theorem

mit

(wir umbenannt als in einem Zwischenschritt, um Konflikte zu vermeiden). (Allerdings kann der kann sich jedoch von dem symmetrischen Tensor unterscheiden, der in der allgemeinen Relativitätstheorie als Quellterm verwendet wird; siehe Kanonischer Spannungs-Energie-Tensor.)

Die Erhaltung der elektrischen Ladung kann dagegen abgeleitet werden, indem Ψ als linear in den Feldern φ und nicht in den Ableitungen betrachtet wird. In der Quantenmechanik ist die Wahrscheinlichkeitsamplitude ψ(x), ein Teilchen an einem Punkt x zu finden, ein komplexes Feld φ, weil es jedem Punkt in Raum und Zeit eine komplexe Zahl zuordnet. Die Wahrscheinlichkeitsamplitude selbst ist physikalisch nicht messbar; nur die Wahrscheinlichkeit p = |ψ|2 kann aus einer Reihe von Messungen abgeleitet werden. Daher ist das System invariant gegenüber Transformationen des ψ-Feldes und seines konjugierten komplexen Feldes ψ*, die |ψ|2 unverändert lassen, wie z. B.

eine komplexe Drehung. Im Grenzfall, wenn die Phase θ unendlich klein wird, δθ, kann sie als Parameter ε genommen werden, während die Ψ gleich bzw. -* sind. Ein konkretes Beispiel ist die Klein-Gordon-Gleichung, die relativistisch korrekte Version der Schrödinger-Gleichung für spinlose Teilchen, die die Lagrangedichte

In diesem Fall besagt das Noether-Theorem, dass der konservierte (∂ ⋅ j = 0) Strom gleich ist

was, multipliziert mit der Ladung dieser Teilchenart, die elektrische Stromdichte aufgrund dieser Teilchenart ergibt. Diese "Eichinvarianz" wurde erstmals von Hermann Weyl festgestellt und ist eine der prototypischen Eichsymmetrien der Physik.

Ableitungen

Man sagt, dass eine Differentialgleichung eine Symmetrie besitzt, wenn es eine Transformation des Raumes der Kurven gibt, die die Lösungen der Differentialgleichungen auf Lösungen abbildet. Für variationell selbstadjungierte Differentialgleichungen erhält man eine solche Transformation, wenn die Transformation das Wirkungsfunktional bis auf Randterme invariant lässt. Das Noether-Theorem besagt, dass die Invarianz des Wirkungsfunktionals gegenüber einer einparametrigen stetigen Transformationsgruppe die Existenz einer Erhaltungsgröße zur Folge hat und dass umgekehrt jede Erhaltungsgröße die Existenz einer (mindestens infinitesimalen) Symmetrie der Wirkung zur Folge hat.

Wir beschränken uns hier auf Symmetrien in der klassischen Mechanik.

Sei eine einparametrige, differenzierbare Gruppe von Transformationen, die (genügend differenzierbare) Kurven auf Kurven abbildet, und gehöre der Parameterwert zur identischen Abbildung, .

Beispielsweise bildet mit jede Kurve auf die um früher durchlaufene Kurve ab. Die Transformation mit verschiebt jede Kurve um eine Konstante .

Die Transformationen heißen lokal, wenn sich die Ableitung bei der identischen Abbildung, die infinitesimale Transformation

für alle Kurven als Funktion der Zeit, des Ortes und der Geschwindigkeit , ausgewertet auf der Kurve , schreiben lässt,

.

Beispielsweise sind die Verschiebungen von Zeit und Ort lokal und gehören zur infinitesimalen Transformation beziehungsweise zu .

Sei nun die Lagrangefunktion des mechanischen Systems. Dann heißen die lokalen Transformationen Symmetrien der Wirkung, wenn sich für alle Kurven die Lagrangefunktion bei infinitesimalen Transformationen nur um die Zeitableitung einer Funktion , ausgewertet auf , ändert:

Denn dann ändert sich die Wirkung nur um Randterme

.

Der Zusammenhang dieser Definition der Symmetrie der Wirkung mit der Erhaltungsgröße wird klar, wenn man die partiellen Ableitungen der Lagrangefunktion nach ausführt, und dabei als Kurzschrift die Definition der infinitesimalen Transformation verwendet

Ergänzt man den ersten Term zu einem Vielfachen der Bewegungsgleichung und zieht man die Ergänzung beim zweiten Term ab, entsteht

und die Definitionsgleichung einer infinitesimalen Symmetrie einer Wirkung lautet

.

Da aber das -Fache der Bewegungsgleichungen auf den physikalisch durchlaufenen Bahnen verschwindet, besagt diese Gleichung, dass die Funktion

,

die zur Symmetrie gehörige Noetherladung, sich auf den physikalisch durchlaufenen Bahnen nicht ändert:

Umgekehrt ist jede Erhaltungsgröße definitionsgemäß eine Funktion , deren Zeitableitung auf physikalischen Bahnen verschwindet, also ein Vielfaches (von Ableitungen) der Bewegungsgleichungen ist. Dieses Vielfache definiert die infinitesimale Symmetrie .

Eine unabhängige Variable

Betrachten wir den einfachsten Fall, ein System mit einer unabhängigen Variablen, der Zeit. Angenommen, die abhängigen Variablen q sind so beschaffen, dass das Wirkungsintegral

bei kurzen infinitesimalen Änderungen der abhängigen Variablen invariant ist. Mit anderen Worten, sie erfüllen die Euler-Lagrange-Gleichungen

Und nehmen wir an, dass das Integral unter einer kontinuierlichen Symmetrie invariant ist. Mathematisch wird eine solche Symmetrie als ein Fluss φ dargestellt, der auf die Variablen wie folgt wirkt

wobei ε eine reelle Variable ist, die den Betrag des Flusses angibt, und T eine reelle Konstante ist (die Null sein kann), die angibt, wie sehr der Fluss die Zeit verschiebt.

Das Wirkungsintegral fließt zu

das als eine Funktion von ε betrachtet werden kann. Berechnet man die Ableitung bei ε = 0 und verwendet die Leibnizsche Regel, so erhält man

Beachten Sie, dass die Euler-Lagrange-Gleichungen Folgendes implizieren

Setzt man dies in die vorherige Gleichung ein, erhält man

Wiederum unter Verwendung der Euler-Lagrange-Gleichungen erhalten wir

Setzt man dies in die vorherige Gleichung ein, erhält man

Daraus kann man ersehen, dass

eine Konstante der Bewegung ist, d. h. sie ist eine konservierte Größe. Da φ[q, 0] = q ist, erhalten wir und somit vereinfacht sich die Erhaltungsgröße zu

Um die Formeln nicht zu sehr zu verkomplizieren, wurde bei dieser Herleitung davon ausgegangen, dass sich der Fluss im Laufe der Zeit nicht ändert. Das gleiche Ergebnis kann im allgemeineren Fall erzielt werden.

Feldtheoretische Herleitung

Der Satz von Noether kann auch für Tensorfelder φA abgeleitet werden, wobei der Index A die verschiedenen Komponenten der verschiedenen Tensorfelder umfasst. Diese Feldgrößen sind Funktionen, die über einen vierdimensionalen Raum definiert sind, dessen Punkte durch Koordinaten xμ gekennzeichnet sind, wobei der Index μ für die Zeit (μ = 0) und drei räumliche Dimensionen (μ = 1, 2, 3) gilt. Diese vier Koordinaten sind die unabhängigen Variablen, und die Werte der Felder bei jedem Ereignis sind die abhängigen Variablen. Bei einer infinitesimalen Transformation wird die Veränderung der Koordinaten wie folgt geschrieben

während die Transformation der Feldvariablen wie folgt ausgedrückt wird

Nach dieser Definition ergeben sich die Feldänderungen δφA aus zwei Faktoren: intrinsische Änderungen des Feldes selbst und Änderungen der Koordinaten, da das transformierte Feld αA von den transformierten Koordinaten ξμ abhängt. Um die intrinsischen Änderungen zu isolieren, kann die Feldänderung an einem einzelnen Punkt xμ definiert werden

Werden die Koordinaten geändert, so ändert sich auch die Grenze des Raum-Zeit-Bereichs, über den die Lagrange integriert wird; die ursprüngliche Grenze und ihre transformierte Version werden mit Ω bzw. Ω' bezeichnet.

Der Satz von Noether geht von der Annahme aus, dass eine bestimmte Transformation der Koordinaten und Feldvariablen die Wirkung nicht verändert, die als Integral der Lagrangeschen Dichte über die gegebene Raumzeitregion definiert ist. Mathematisch ausgedrückt kann diese Annahme wie folgt formuliert werden

wobei das tiefgestellte Komma eine partielle Ableitung in Bezug auf die Koordinate(n) nach dem Komma angibt, z. B.

Da ξ eine Dummy-Variable der Integration ist und die Änderung der Grenze Ω per Annahme infinitesimal ist, können die beiden Integrale unter Verwendung der vierdimensionalen Version des Divergenztheorems in der folgenden Form kombiniert werden

Die Differenz der Lagrangeschen kann in den infinitesimalen Variationen erster Ordnung geschrieben werden als

Da die Variationen jedoch, wie oben beschrieben, am selben Punkt definiert sind, können die Variation und die Ableitung in umgekehrter Reihenfolge durchgeführt werden; sie sind kommutativ

Unter Verwendung der Euler-Lagrange-Feldgleichungen

kann die Differenz der Lagrangeschen Gleichungen wie folgt geschrieben werden

Die Änderung der Wirkung kann also wie folgt geschrieben werden

Da dies für jede Region Ω gilt, muss der Integrand gleich Null sein

Für jede Kombination der verschiedenen Symmetrietransformationen kann die Störung wie folgt geschrieben werden

wobei ist die Lie-Ableitung von φA in Xμ-Richtung. Wenn φA ein Skalar ist oder ,

Diese Gleichungen implizieren, dass die Feldvariation in einem Punkt gleich ist

Differenziert man die obige Divergenz nach ε bei ε = 0 und ändert das Vorzeichen, so erhält man den Erhaltungssatz

wobei der Erhaltungsstrom gleich ist

Ableitung der Mannigfaltigkeit/Faserbündel

Angenommen, wir haben eine n-dimensionale orientierte Riemannsche Mannigfaltigkeit M und eine Zielmannigfaltigkeit T. Sei sei der Konfigurationsraum der glatten Funktionen von M nach T. (Allgemeiner ausgedrückt, können wir glatte Abschnitte eines Faserbündels über M haben.)

Beispiele für dieses M in der Physik sind:

  • In der klassischen Mechanik ist M in der Hamilton-Formulierung die eindimensionale Mannigfaltigkeit die die Zeit darstellt, und der Zielraum ist das Kotangensbündel des Raums der verallgemeinerten Positionen.
  • In der Feldtheorie ist M die Mannigfaltigkeit der Raumzeit und der Zielraum ist die Menge der Werte, die die Felder an jedem beliebigen Punkt annehmen können. Wenn es zum Beispiel m reelle Skalarfelder gibt, dann ist die Ziel-Mannigfaltigkeit . Wenn das Feld ein reelles Vektorfeld ist, dann ist die Zielmannigfaltigkeit isomorph zu .

Nehmen wir nun an, es gibt ein Funktional

genannt die Aktion. (Es nimmt Werte in und nicht ein; dies hat physikalische Gründe und ist für diesen Beweis unwichtig.)

Um die übliche Version des Noether-Satzes zu erhalten, brauchen wir zusätzliche Einschränkungen für die Wirkung. Wir nehmen an ist das Integral über M einer Funktion

genannt Lagrangesche Dichte, abhängig von φ, ihrer Ableitung und der Position. Mit anderen Worten, für φ in

Nehmen wir an, es sind Randbedingungen gegeben, d. h. eine Spezifikation des Wertes von φ am Rand, wenn M kompakt ist, oder ein Grenzwert für φ, wenn x sich ∞ nähert. Dann ist der Unterraum von der aus solchen Funktionen φ besteht, dass alle funktionalen Ableitungen von bei φ gleich Null sind, d. h:

und dass φ die gegebenen Randbedingungen erfüllt, ist der Unterraum von on shell solutions. (Siehe Prinzip der stationären Wirkung)

Nehmen wir nun an, wir haben eine infinitesimale Transformation auf , erzeugt durch eine funktionale Ableitung, Q, so dass

für alle kompakten Untermannigfaltigkeiten N oder mit anderen Worten,

für alle x, wobei wir setzen

Wenn dies auf der Schale und außerhalb der Schale gilt, sagen wir, dass Q eine Symmetrie außerhalb der Schale erzeugt. Wenn dies nur auf der Schale gilt, sagen wir, Q erzeugt eine On-Shell-Symmetrie. Dann sagen wir, dass Q ein Generator einer Ein-Parameter-Symmetrie-Lie-Gruppe ist.

Aufgrund des Euler-Lagrange-Theorems gilt nun für jedes N auf der Schale (und nur auf der Schale)

Da dies für jedes N gilt, haben wir

Dies ist jedoch die Kontinuitätsgleichung für den Strom definiert durch:

Diese wird als die mit der Symmetrie verbundene Noether-Strömung" bezeichnet. Die Kontinuitätsgleichung besagt, dass die Integration dieses Stroms über eine raumähnliche Scheibe eine konservierte Größe, die Noether-Ladung, ergibt (vorausgesetzt natürlich, dass die Ströme im Unendlichen hinreichend schnell abfallen, wenn M nicht kompakt ist).

Verallgemeinerung auf Lie-Algebren

Angenommen, wir haben zwei Symmetrieableitungen Q1 und Q2. Dann ist [Q1, Q2] auch eine Symmetrieableitung. Wir wollen dies explizit sehen. Sagen wir

und

dann,

wobei f12 = Q1[f2μ] - Q2[f1μ]. So,

Dies zeigt, dass wir den Satz von Noether auf natürliche Weise auf größere Lie-Algebren erweitern können.

Verallgemeinerung des Beweises

Dies gilt für jede lokale Symmetrieableitung Q, die QS ≈ 0 erfüllt, und auch für allgemeinere lokale funktional differenzierbare Aktionen, einschließlich solcher, bei denen die Lagrange von höheren Ableitungen der Felder abhängt. Sei ε eine beliebige glatte Funktion der Raumzeit- (oder Zeit-) Mannigfaltigkeit, so dass der Abschluss ihres Trägers disjunkt vom Rand ist. ε ist eine Testfunktion. Aufgrund des Variationsprinzips (das übrigens nicht für den Rand gilt) erfüllt die durch q[ε][Φ(x)] = ε(x)Q[Φ(x)] erzeugte Ableitungsverteilung q die Bedingung q[ε][S] ≈ 0 für jedes ε, oder kompakter: q(x)[S] ≈ 0 für alle x, die nicht auf dem Rand liegen (aber denken Sie daran, dass q(x) eine Abkürzung für eine Ableitungs-Verteilung ist, nicht für eine durch x parametrisierte Ableitung im Allgemeinen). Dies ist die Verallgemeinerung des Noetherschen Satzes.

Um zu sehen, wie die Verallgemeinerung mit der obigen Version zusammenhängt, nehmen wir an, dass die Wirkung das Raumzeitintegral einer Lagrange ist, die nur von φ und ihren ersten Ableitungen abhängt. Nehmen Sie außerdem an

dann,

für alle .

Allgemeiner ausgedrückt, wenn die Lagrange von höheren Ableitungen abhängt, dann

Beispiele

Beispiel 1: Energieerhaltung

Betrachten wir den speziellen Fall eines Newtonschen Teilchens der Masse m, Koordinate x, das sich unter dem Einfluss eines Potentials V bewegt, koordiniert durch die Zeit t. Die Wirkung S ist:

Der erste Term in den Klammern ist die kinetische Energie des Teilchens, der zweite ist seine potentielle Energie. Betrachten wir den Generator der Zeitverschiebungen Q = d/dt. Mit anderen Worten, . Die Koordinate x hat eine explizite Abhängigkeit von der Zeit, während V keine hat; folglich:

Wir können also setzen

dann,

Die rechte Seite ist die Energie, und das Noether-Theorem besagt, dass (d.h. der Grundsatz der Energieerhaltung ist eine Folge der Invarianz unter Zeittranslation).

Allgemeiner ausgedrückt: Wenn die Lagrange nicht explizit von der Zeit abhängt, ist die Größe

(der so genannte Hamiltonian) konserviert.

Beispiel 2: Erhaltung des Schwerpunkts des Impulses

Betrachten wir weiterhin die 1-dimensionale Zeit, so sei

oder Newtonsche Teilchen, bei denen das Potenzial nur paarweise von der relativen Verschiebung abhängt.

Für betrachten wir den Generator der Galilei-Transformationen (d. h. eine Änderung des Bezugssystems). Mit anderen Worten,

Und

Dies hat die Form von Wir können also setzen

dann,

wobei ist der Gesamtimpuls, M ist die Gesamtmasse und ist der Massenschwerpunkt. Das Noethersche Theorem besagt:

Beispiel 3: Konforme Transformation

Die beiden Beispiele 1 und 2 beziehen sich auf eine 1-dimensionale Mannigfaltigkeit (Zeit). Ein Beispiel, das die Raumzeit betrifft, ist eine konforme Transformation eines masselosen reellen Skalarfeldes mit einem quartischen Potential in der (3 + 1)-Minkowski-Raumzeit.

Betrachten Sie für Q den Generator einer Raumzeit-Reskalierung. Mit anderen Worten,

Der zweite Term auf der rechten Seite ergibt sich aus dem "konformen Gewicht" von . Und

Dies hat die Form von

(wo wir eine Änderung der Dummy-Indizes vorgenommen haben), also setze

Dann

Noethers Theorem besagt, dass (was man explizit überprüfen kann, indem man die Euler-Lagrange-Gleichungen auf der linken Seite einsetzt).

Versucht man, das Ward-Takahashi-Analogon dieser Gleichung zu finden, stößt man aufgrund von Anomalien auf ein Problem.

Anwendungen

Die Anwendung des Noether-Theorems ermöglicht es Physikern, durch die Analyse der verschiedenen Transformationen, die die Form der beteiligten Gesetze invariant machen würden, tiefgreifende Einblicke in jede allgemeine Theorie der Physik zu gewinnen. Ein Beispiel:

  • Die Invarianz physikalischer Systeme in Bezug auf die räumliche Verschiebung (mit anderen Worten, dass sich die physikalischen Gesetze nicht mit dem Ort im Raum ändern) ergibt den Satz der Erhaltung des linearen Impulses;
  • die Invarianz in Bezug auf die Rotation ergibt das Gesetz der Erhaltung des Drehimpulses;
  • Invarianz in Bezug auf die Zeitverschiebung ergibt den bekannten Energieerhaltungssatz.

In der Quantenfeldtheorie liefert das Analogon zum Noether-Theorem, die Ward-Takahashi-Identität, weitere Erhaltungssätze, wie z. B. die Erhaltung der elektrischen Ladung aufgrund der Invarianz gegenüber einer Änderung des Phasenfaktors des komplexen Feldes des geladenen Teilchens und der zugehörigen Eichung des elektrischen Potentials und des Vektorpotentials.

Die Noether-Ladung wird auch bei der Berechnung der Entropie stationärer Schwarzer Löcher verwendet.