Lassen Sie uns zunächst sehen, was der Satz von Noether über Ihren speziellen Fall aussagt (Klein-Gordon unter globaler Neuskalierung der Felder). Das besagt der Satz von Noether
Jeder differenzierbaren Symmetrie der Wirkung eines Systems entspricht ein erhaltener Strom.
Der Strom im Objekt ist gegeben durch
Jμ= −Tμv δxv+∂L∂ϕa, μ δϕa
bei dem die
ϕa
sind die Felder, deren Dynamik durch die Handlung beschrieben wird,
Tμv
ist der kanonische Energie-Impuls-Tensor der Theorie und
δxv
und
δϕa
sind die infinitesimalen Generatoren der Symmetrie. In Ihrem Fall,
ϕ →eϵϕ ≈ ( 1 + ϵ ) ϕ
so dass
δϕ = ϵ ϕ
. (Wenn dein
a
negativ ist, dann ist die Symmetrie im noetherschen Sinne nicht differenzierbar, da es keinen infinitesimalen Generator gibt. In der Tat, Neuskalierung um einen Faktor von
− 1
ist Teil der diskreten, nicht differenzierbaren, multiplikativen Gruppe
{ + 1 , − 1 }
). Dann
Jμ= ϵϕ _ ∂μϕ
Aber es gibt keinen Grund, warum dieser noetherianische Strom erhalten bleiben sollte. In der Tat, das Entfernen der
ϵ
Aus dem obigen Ausdruck sehen wir, dass die Divergenz proportional zum Lagrange ist,
∂μ(Jμ/ ϵ)=∂μ( ϕ∂μϕ ) = ϕ ∂μ∂μϕ +∂μϕ∂μϕ =∂μϕ∂μϕ −m2ϕ2= 2 L
wobei ich in der dritten Identität die Bewegungsgleichungen verwendet habe
∂2ϕ = −m2ϕ
. Die allgemeinste Lösung der Klein-Gordon-Gleichung ist gegeben durch
ϕ ( x ) = ∫d3k( 2π _)3 {e− ichkμxμ Ein (k⃗ ) +e+ ichkμxμ B (k⃗ ) }
mit
kμkμ=m2
, aber nicht einmal im Fall einer ebenen Welle (sagen wir,
ϕ ( x ) =e− ichkμxμ
) ist der Lagrange-Operator Null:
2 l [e− ichkμxμ] = −kμkμ e− 2 ichkμxμ−m2 e− 2 ichkμxμ= − 2m2 e− 2 ichkμxμ≠ 0
zum
m ≠ 0
. Die Tatsache, dass es die Masse ist, die darüber entscheidet, ob
Jμ
konserviert ist oder nicht, ist kein Zufall, wie wir später sehen werden.
Nun fragen Sie, ob es einen Satz analog zum Satz von Noether gibt, der es Ihnen erlaubt, erhaltene Ströme aus einem verallgemeinerten Konzept der "Symmetrie unter einer gewissen Transformation" abzuleiten. Insbesondere fragen Sie nach einem Satz, der dies mit Symmetrien der Euler-Lagrange-Gleichungen anstelle der Aktion tut (tatsächlich lässt Ihre Transformation die Aktion nicht invariant, sondern multipliziert sie mit einem Faktor vona
). Ich kann nicht wirklich sagen, dass es ein solches Theorem nicht gibt, aber ich kann mit Sicherheit sagen, dass ich keins kenne und dass ich bezweifle, dass ein solches Theorem im Allgemeinen wahr sein kann. Hier ist der Grund. Die Intuition hinter Noethers Theorem ist, dass die Werte der Felder, die das Minimierungsproblem lösen, definitionsgemäß um einen infinitesimalen Betrag verschoben werden können, ohne den Wert der Aktion zu ändern (was bedeutet, dass die funktionale Ableitung der Aktion in Bezug auf das "Variationsfeld " ist null). Dann können Sie fragen, was mit der Aktion passiert, wenn eine solche Transformation auf extremalen Feldern durchgeführt wird, und Sie finden, dass der Verschiebung der Felder eine Verschiebung der durch gegebenen Aktion entspricht
δS=∫Ωddx ∂μJμ( ⋆ )
(die Bewegungsgleichungen werden durch Hypothese erfüllt) wobei
Jμ
ist wieder Noethers Strom und
Ω
ist ein beliebiger Integrationsbereich. Dann schließen Sie, dass Sie haben sollten, wenn die Aktion in Bezug auf die Transformation unveränderlich ist
δS= 0
, so dass
∂μJμ= 0
. Beachten Sie, dass die Hypothese der Invarianz der Aktion erst am Ende auftaucht: Sie ist eine zusätzliche Hypothese, unabhängig vom Ergebnis
( ⋆ )
. Letzteres ist eine Identität, die unter der einzigen Hypothese zustande kommt, dass die Felder (1) zur Lösung der Euler-Lagrange-Gleichungen (2) um einen infinitesimalen Betrag verschoben sind. Es wird keine Annahme über die Art der Transformationen oder ihre Zugehörigkeit zu einer Gruppe gemacht, die die Aktion invariant lässt. So
( ⋆ )
gilt auch dann, wenn die Transformation die Aktion mit einem Faktor von multipliziert
a > 0
, und wir können daraus das folgende Ergebnis ableiten. Wie
S→ αS _=eϵS≈ ( 1 + ϵ ) S⟹δS= ϵS _
wir haben das unter einer solchen Transformation
∫Ωddx ∂μJμ= ϵS _
daher können wir schlussfolgern, dass
Noethers Strom im Allgemeinen unter einer solchen Transformation zur Aktionsneuskalierung nicht divergenzfrei ist (wie wir am Beispiel der Klein-Gordon-Aktion gesehen haben). Ich habe "Noethers" betont, weil es natürlich einen anderen Strom geben kann, der divergenzfrei ist, anstelle des Standard-Noethers. Aber wenn man die Hypothese der Invarianz der Wirkung unter einer gewissen Symmetrie aufhebt, bleibt über die Symmetrien der Lösungen der Euler-Lagrange-Gleichungen wenig zu sagen: Die Verbindung zwischen Symmetrien und Erhaltung liegt gerade in der Tatsache, dass die
Lösungenselbst (bevor überhaupt an Symmetrien gedacht wird) so sind, dass eine infinitesimale Variation der Lösungswerte die Aktion invariant lässt. Dann ist die Hypothese, dass unter der gegebenen Transformation die Wirkung neu skaliert wird, etwas unvereinbar mit der wesentlichen Eigenschaft der Lösungen, dh mit den Euler-Lagrange-Gleichungen selbst. Aus diesem Grund fällt es mir schwer zu glauben, dass ein solches Theorem im Allgemeinen wahr wäre.
Um diese Antwort zu beenden, möchte ich noch zwei Dinge erwähnen. Dass im Fall von Klein-Gordon die Euler-Lagrange-Gleichungen unter einer ständigen Neuskalierung der Felder invariant sind, folgt zunächst aus der Tatsache, dass die Lagrange-Funktion in den Feldern quadratisch ist. Jeder solche Lagrange führt immer zu einer linearen Euler-Lagrange-Gleichung, die wiederum unter konstanten Neuskalierungen immer symmetrisch ist. Dasselbe gilt für Diracs Lagrange und für Yang-Mills' Lagrange (für freie Eichbosonen). Zweitens gibt es tatsächlich eine Skalierungstransformation, die die Aktion im Sinne von Noether invariant lässt. Erwägen Sie, die Transformation vorzunehmen
xμ→eϵ xμϕ →eϵ ϕ
dann
∂μ→e− ϵ ∂μ
und wir sehen das, gegeben
m = 0
, Klein-Gordons Aktion ist unter einer solchen Transformation invariant. Letzteres wird als "(konstante) konforme Transformation" und der entsprechende Noetherstrom bezeichnet
jμ=Jμ/ ϵ=−Tμv xv+ ϕ ∂μϕ
ist, wie der Satz beweist, divergenzfrei. Eine analoge Aussage kann für die masselosen Lagrangianer von Dirac und Yang-Mills gemacht werden. Jetzt haben wir
∂μjμ= −∂μ(Tμv xv) +∂μ( ϕ ∂μ) _
Wie wir aus der Translationsinvarianz wissen, ist das
∂μTμv= 0
, und angesichts der Berechnung, die wir zuvor gemacht haben,
∂μjμ= −Tμv δvμ+ 2 L
Lassen Sie uns rechnen
Tμv δvμ=Tμμ
für den masselosen Klein-Gordon-Lagrangian. Wir haben
Tμμ=∂L∂ϕ, μ ∂μϕ − L δμμ=∂μϕ∂μϕ − dL =(2−d) L
wo
d
ist die Dimension der Raumzeit (
d= 4
in der Standardtheorie). Dann
∂μjμ= D L
Also diese Abweichung (
∂μjμ
) ist
d/ 2
mal die Divergenz (nennen wir es
∂μj'μ
) erhalten Sie aus der Transformation, die Sie in Ihrer Frage vorgeschlagen haben. Dies erklärt, warum wir letzteres gefunden haben
∂μj'μ∝m2
Wenn
m = 0
, dann kann Ihre Transformation zu einer konformen Transformation erweitert werden, die eine echte Symmetrie von Klein-Gordons Aktion ist, so dass der damit verbundene Noetherstrom erhalten bleibt.
Giorgio Comitini
R. Rankin