Noether-Theorem

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Das Noether-Theorem verknüpft elementare physikalische Begriffe wie Ladung, Energie und Impuls mit geometrischen Eigenschaften, den Invarianzen unter Symmetrien. Es wurde 1918 von Emmy Noether formuliert:

Zu jeder kontinuierlichen Symmetrie eines physikalischen Systems gehört eine Erhaltungsgröße und umgekehrt.

Dabei ist eine Symmetrie eine Transformation (zum Beispiel eine Drehung oder Verschiebung), die das Verhalten des physikalischen Systems nicht ändert.

Eine Erhaltungsgröße $E$ eines Systems von Teilchen ist eine Funktion der Zeit $t$ , des Ortes $x$ der Teilchen und ihrer Geschwindigkeit $v$ , zum Beispiel die Energie $E(t,x,v)=\frac{1}{2}\, m\, v^2 + V(x)$ eines Teilchens der Masse $m$ in einem Potential $V$ , deren Wert sich auf jeder physikalisch durchlaufenen Bahn $x (t)$ nicht mit der Zeit ändert,

$E \left(t,x(t), \frac{\mathrm{d}x}{\mathrm{d}t}(t) \right) = E \left(0,x(0), \frac{\mathrm{d}x}{\mathrm{d}t}(0) \right)\,$ .

[Bearbeiten] Beispiele aus der klassischen Mechanik

Aus der Homogenität der Zeit (Zeitursprung spielt keine Rolle) folgt die Erhaltung der Energie (Energieerhaltungssatz). So bleibt die Energie eines Pendels bei Vernachlässigung von Reibung erhalten, nicht aber die Energie einer Schaukel, auf der ein Kind durch Heben und Senken seines Körpers die Länge von der Aufhängung bis zum Schwerpunkt zeitlich verändert.

Aus der Translationsinvarianz des Raums (Ortsursprung spielt keine Rolle) ergibt sich die Erhaltung des Impulses (Impulserhaltungssatz). So ist der Impuls eines freien Teilchens erhalten, nicht aber der Impuls eines Teilchens im Gravitationsfeld der Sonne. Ihr Ort ist nicht unter Verschiebung invariant, sondern ändert sich.

Aus der Drehinvarianz des Raums (Richtung im Raum spielt keine Rolle) ergibt sich die Erhaltung des Drehimpulses (Drehimpulserhaltungssatz). So ist der Drehimpuls eines Teilchens im Gravitationsfeld der Sonne erhalten, denn das Gravitationspotential $G\,m\,M \frac{1}{r}$ ist in allen Richtungen gleich.

Weil sich ein freies Teilchen der Masse $m$ unverändert mit gleichförmiger Geschwindigkeit bewegt, wenn es ein gleichförmig bewegter Beobachter betrachtet, ist der gewichtete Startort, $S(t,x,v)=m \,(x - t\,v)$ , eine Erhaltungsgröße, $S (t, x (t), v (t)) = m x (0)$ . Auf mehrere Teilchen verallgemeinert folgt, dass sich der Schwerpunkt mit gleichförmiger Geschwindigkeit bewegt, wenn die Gesamtkraft verschwindet.

Umgekehrt gehört in der Lagrangeschen Mechanik zu jeder Erhaltungsgröße eine Symmetrie der Wirkung.

Die Symmetrien, die zur Erhaltung der elektrischen Ladung und anderer Ladungen von Elementarteilchen gehören, betreffen mehrkomponentige Wellenfunktionen von Elektronen, Quarks und Neutrinos. Jede solche Ladung ist ein lorentzinvarianter Skalar, das heißt, sie hat, anders als beispielsweise der Drehimpuls, die Energie oder der Impuls, in allen Bezugssystemen denselben Wert.

[Bearbeiten] Mathematische Formulierung

[Bearbeiten] Wirkung

Der im Noether-Theorem formulierte Zusammenhang von Symmetrien und Erhaltungsgrößen gilt für solche physikalischen Systeme, deren Bewegungs- oder Feldgleichungen aus einem Variationsprinzip abgeleitet werden können. Die Differentialgleichungen, denen solche Systeme genügen, besagen, dass die Variation eines Wirkungsfunktionals verschwindet.

Bei der Bewegung von Massepunkten ist dieses Wirkungsfunktional durch eine Lagrangefunktion der Zeit $t$ , des Ortes $x$ und der Geschwindigkeit $v$

$\mathcal{L}(t,x,v)$

charakterisiert und ordnet jeder differenzierbaren Bahnkurve $\Gamma: t\mapsto x(t)$ das Zeitintegral

$W[\Gamma]=\int_{t_1}^{t_2}\!\mathcal{L} \left( t,x(t), \frac{\mathrm{d}x}{\mathrm{d}t} \right)\,\mathrm{d}t$

zu. Beispielsweise ist in Newtonscher Physik die Lagrangefunktion eines Teilchens im Potential $V$ die Differenz von kinetischer und potentieller Energie

$\mathcal{L}(t,x,v)=\frac{1}{2}\,m\,v^2- V(x)$ .

Die physikalisch tatsächlich durchlaufene Bahn, die zur Anfangszeit $t 1$ durch den Startpunkt $\underline{x}=x(t_1)$ und zur Endzeit $t 2$ durch das Ziel $\overline{x}=x(t_2)$ geht, macht den Wert der Wirkung im Vergleich mit allen anderen differenzierbaren Bahnen, die ebenfalls anfänglich durch $\underline{x}$ und schließlich durch $\overline{x}$ gehen, stationär. Die physikalisch tatsächlich durchlaufene Bahn erfüllt daher die Bewegungsgleichung

$\frac{\partial}{\partial x}\mathcal{L} - \frac{\mathrm{d}}{\mathrm{d} t}\frac{\partial}{\partial v}\mathcal{L} = 0$ .

Bei Bewegung eines Teilchens im Potential ist dies die Newtonsche Bewegungsgleichung

$0 = -\frac{\partial}{\partial x}V - \frac{\mathrm{d}}{\mathrm{d} t}m v \ ,\quad 0 = F - m \ddot{x}\ .$

Differentialgleichungen, die sich derart aus einem Wirkungsfunktional durch Variation ableiten lassen, nennt man variationell selbstadjungiert. Alle elementaren Feld- und Bewegungsgleichungen der Physik sind variationell selbstadjungiert.

[Bearbeiten] Symmetrie

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ößen 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. Für den feldtheoretischen Beweis verweisen wir auf die englische Version des Artikels.

Sei $Φ s$ eine einparametrige, differenzierbare Gruppe von Transformationen, die (genügend differenzierbare) Kurven $\Gamma: t \mapsto x(t)$ auf Kurven $\Gamma_s:t\mapsto x(s,t,\Gamma)$ abbildet und gehöre der Parameterwert $s = 0$ zur identischen Abbildung, $\Phi_0 \Gamma: t \mapsto x(t)$ .

Bespielsweise bildet $Φ s Γ = Γ s$ mit $\Gamma_s:t\mapsto x(t+s)$ jede Kurve $Γ$ auf die um $s$ früher durchlaufene Kurve ab. Die Transformation $Φ s Γ = Γ s$ mit $\Gamma_s:t\mapsto x(t) + s\,c$ verschiebt jede Kurve um eine Konstante $s\,c$ .

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

$\frac{\partial }{\partial s}_{|_{s=0}}x(s,t,\Gamma)\ ,$

für alle Kurven $Γ$ als Funktion $δ x (t, x, v)$ der Zeit, des Ortes $x$ und der Geschwindigkeit $v$ , ausgewertet auf der Kurve $Γ$ , schreiben lässt,

$\delta x \left(t,x(t), \frac{\mathrm{d}x}{\mathrm{d}t} \right) = \frac{\partial }{\partial s}_{|_{s=0}}x(s,t,\Gamma)\ .$

Beispielsweise sind die Verschiebungen von Zeit und Ort lokal und gehören zur infinitesimalen Transformation $δ x = v$ beziehungsweise zu $\delta x = c\,$ .

Ist nun $\mathcal{L}(t,x,v)$ die Lagrangefunktion des mechanischen Systems. Dann heißen die lokalen Transformationen $Φ s$ Symmetrien der Wirkung, wenn sich für alle Kurven $Γ$ die Lagrangefunktion bei infinitesimalen Transformationen nur um die Zeitableitung einer Funktion $K (t, x, v)$ , ausgewertet auf $Γ$ , ändert,

$\frac{\partial}{\partial s}_{|_{s=0}} \mathcal{L} \left(t, x(t,s), \frac{\partial x}{\partial t}(s,t) \right) = \frac{\mathrm{d}}{\mathrm{d}t} K \left(t,x(t),\frac{\mathrm{d}x}{\mathrm{d}t} \right)$ .

Denn dann ändert sich die Wirkung nur um Randterme

$\frac{\mathrm{d}}{\mathrm{d}s}W[\Gamma_s]_{|_{s=0}}= \int_{t_1}^{t_2}\!\mathrm{d}t\, \frac{\partial}{\partial s}_{|_{s=0}} \mathcal{L} \left(t, x(t,s), \frac{\partial x}{\partial t}(s,t) \right)$

$= \int_{t_1}^{t_2}\!\mathrm{d}t\, \frac{\mathrm{d}}{\mathrm{d}t} K \left( t,x(t),\frac{\mathrm{d}x}{\mathrm{d}t} \right)= K \left( t_2,x(t_2),\frac{\mathrm{d}x}{\mathrm{d}t}(t_2) \right)- K \left( t_1,x(t_1),\frac{\mathrm{d}x}{\mathrm{d}t}(t_1) \right)$ .

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

$\frac{\partial}{\partial s}_{|_{s=0}} \mathcal{L}(t, x(t,s), \frac{\partial x}{\partial t}(s,t)) = \frac{\partial x(s,t)}{\partial s}_{|_{s=0}} \frac{\partial}{\partial x}\mathcal{L}(t, x, v)+ \frac{\partial^2 x(s,t)}{\partial s \partial t }_{|_{s=0}} \frac{\partial}{\partial v}\mathcal{L}(t, x, v)$

$=\delta x \frac{\partial}{\partial x}\mathcal{L}(t, x, v)+ \frac{\mathrm{d}\delta x}{\mathrm{d}t} \frac{\partial}{\partial v}\mathcal{L}(t, x, v)$

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

$\frac{\partial}{\partial s}_{|_{s=0}} \mathcal{L} \left( t, x(t,s), \frac{\partial x}{\partial t}(s,t) \right) =\delta x \left( \frac{\partial}{\partial x}\mathcal{L}- \frac{\mathrm{d}}{\mathrm{d}t}\frac{\partial}{\partial v}\mathcal{L} \right) + \frac{\mathrm{d}}{\mathrm{d}t} \left( \delta x \frac{\partial}{\partial v}\mathcal{L}\right)$

und die Definitionsgleichung einer infinitesimalen Symmetrie einer Wirkung lautet

$\delta x \left( \frac{\partial}{\partial x}\mathcal{L}- \frac{\mathrm{d}}{\mathrm{d}t}\frac{\partial}{\partial v}\mathcal{L} \right) + \frac{\mathrm{d}}{\mathrm{d}t} \left( \delta x \frac{\partial}{\partial v}\mathcal{L} - K \right) = 0$ .

Da aber das $δ x$ -fache der Bewegungsgleichungen auf den physikalisch durchlaufenen Bahnen verschwindet, besagt diese Gleichung, dass die Funktion

$Q= \delta x \frac{\partial}{\partial v}\mathcal{L} - K\ ,$

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

$\frac{\mathrm{d}}{\mathrm{d}t} Q \left(t,x_{\mathrm{phys}}(t), \frac{\mathrm{d}x_\mathrm{phys}(t)}{\mathrm{d}t} \right) = 0$ .

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

[Bearbeiten] Anmerkungen

Symmetrien der Bewegungsgleichungen sind nicht immer Symmetrien der Wirkung. Beispielsweise ist die Streckung $x(t)\mapsto \mathrm{e}^\lambda x(t)$ eine Symmetrie der Bewegungsgleichung $m \ddot{x}=0$ des freien Teilchens, nicht aber eine Symmetrie seiner Wirkung mit Lagrangefunktion $\mathcal{L}=\frac{1}{2}\,m\,v^2$ . Zu solch einer Symmetrie der Bewegungsgleichungen gehört keine Erhaltungsgröße.

Ohne Beweis sei vermerkt, dass die zu einer Symmetrie gehörige Erhaltungsgröße als Funktion der Zeit, des Ortes und der Geschwindigkeiten genau dann verschwindet, wenn es sich um eine Eichsymmetrie handelt. In dem Fall sind die Bewegunggleichungen nicht unabhängig, sondern eine Bewegungsgleichung gilt als Folge der anderen. Dies besagt das zweite Noethertheorem.

Das Noethertheorems erklärt, warum man bei Multiplikation der Newtonschen Bewegungsgleichungen mit den Geschwindigkeiten bei zeitunabhänigem Potential den Energieerhaltungssatz erhält: die Geschwindigkeit ist die infinitesimale Änderung des Ortes bei zeitlicher Verschiebung. Ebenso erklärt das Noethertheorem, warum bei drehinvariantem Potential das Produkt der Bewegungsgleichungen mit dem Kreuzprodukt $\vec{n}\times\vec{x}$ auf die Erhaltung des Drehimpulses in Richtung $\vec{n}$ führt: das Kreuzprodukt $\vec{n}\times\vec{x}$ ist die infinitesimale Änderung von $x$ bei Drehung um die Achse $\vec{n}$ .

Bei Verschiebungen und Drehungen des Ortes ist die Lagrangefunktion strikt invariant, das heißt, die Funktion $K$ verschwindet. Das gilt aber nicht für zeitliche Verschiebung und bei Transformation auf ein gleichmäßig bewegtes Bezugssystem. Unter zeitlichen Verschiebungen ist die Wirkung invariant, wenn die Lagrangefunktion nur vom Ort $x$ und der Geschwindigkeit $v$ , nicht aber von der Zeit abhängt. Dann ändert sich die Lagrangefunktion unter zeitlichen Verschiebungen um $\frac{\mathrm{d}}{\mathrm{d}t}K$ mit $K=\mathcal{L}$ . Die zugehörige Erhaltungsgröße ist definitionsgemäß die Energie

$E = v \frac{\partial \mathcal{L}}{\partial v} - \mathcal{L}$ .

Ist bekannt, wie die Energie von der Geschwindigkeit abhängt, so legt diese Gleichung die Lagrangefunktion bis auf einen Anteil fest, der linear in den Geschwindigkeiten ist und nicht zur Energie beiträgt. Denn zerlegt man die Lagrangefunktion beispielsweise in Anteile $\mathcal{L}_n v^n$ , die homogen vom Grad $n$ in der Geschwindigkeit sind, dann tragen sie mit $v \frac{\partial }{\partial v}\mathcal{L}_n v^n - \mathcal{L}_nv^n = (n-1) \mathcal{L}_n v^n$ zur Energie bei. Ist also $E=\sum_n E_n(x) v^n\,$ , so ist die Lagrangefunktion

$\mathcal{L}=\sum_n \frac{1}{n-1}E_n v^n$ .

Insbesondere besteht in Newtonscher Physik die Energie aus der kinetischen Energie, die quadratisch in der Geschwindigkeit ist, $n = 2$ , und der geschwindigkeitsunabhängigen potentiellen Energie, $n = 0$ . Daher ist die Lagrangefunktion $1 / (2 - 1)$ -mal die kinetische Energie plus $1 / (0 - 1)$ -mal potentielle Energie. In der relativistischen Physik sind in Maßsystemen mit $c = 1$ die Lagrangefunktion und die Energie eines freien Teilchens der Masse $m$

$\mathcal{L}= - m \sqrt{1-v^2}\ ,\quad E = \frac{m}{\sqrt{1-v^2}}$ .