Was ist die tatsächliche Form des Noetherstroms in der Feldtheorie?

Lass uns in Erwägung ziehen N unabhängige Skalarfelder, die die Euler-Lagrange-Bewegungsgleichungen erfüllen und mit bezeichnet werden ϕ ( ich ) ( X )   ( ich = 1 , . . . , N ) , und werden in einer Region erweitert Ω in einem D -dimensionales Modell Raumzeit M D . Betrachten Sie nun die klassische Lagrange-Dichte, L ( ϕ ( ich ) , μ ϕ ( ich ) , X μ ) . Wir wenden die folgende infintesimale Fixed-Boundary-Transformation auf an M D .

(1) X X ~ μ X μ + δ X μ ( X ) , (2) so dass,    δ X μ | Ω = 0 , (3) und die Felder transformieren sich wie folgt:    ϕ ( ich ) ( X ) ϕ ~ ( ich ) ( X ~ ) ϕ ( ich ) ( X ) + δ ϕ ( ich ) ( X ) .

Nach meinen Berechnungen ist die Lagrange-Dichte bis zur ersten Ordnung in der Variation gegeben durch:

(4) δ L = μ ( L ( μ ϕ ( ich ) ) δ ϕ ( ich ) L ( μ ϕ ( ich ) ) v ϕ ( ich ) δ X v + L δ X μ ) L μ ( δ X μ )

Daher ist der erhaltene Strom

(5) J μ = L ( μ ϕ ( ich ) ) δ ϕ ( ich ) L ( μ ϕ ( ich ) ) v ϕ ( ich ) δ X v + L δ X μ F μ
Wo F μ ist ein beliebiges Feld, das verschwindet Ω .

Die meisten Lehrbücher ignorieren jedoch den zweiten und den dritten Begriff im obigen Ausdruck. Vergleiche zum Beispiel mit Peskin und Schroeder (S.18), die Folgendes festlegen:

(6) J μ = L ( μ ϕ ( ich ) ) δ ϕ ( ich ) F μ .

Als weiteres Beispiel ignoriert Schweber (S. 208) alle Terme bis auf den ersten in der Variation der Lagrange-Dichte und schreibt:

(7) δ L = μ ( L ( μ ϕ ( ich ) ) δ ϕ ( ich ) ) .

Also, was ist hier los? Übersehe ich etwas? Wir scheinen die gleichen Annahmen getroffen zu haben, kommen aber zu unterschiedlichen Ergebnissen. Liege ich falsch oder sind sie es?

BEARBEITEN : Bedingung (2) ist unnötig, da sie bei der Ableitung des Stroms nie verwendet wurde. Bitte ignorieren Sie seine Präsenz im obigen Text.

Hier ist eine Ableitung meines Ergebnisses, wenn Sie lesen möchten.

Antworten (4)

  1. Gl. (5) ist (bis auf Faktoren des infinitesimalen Parameters ε ) der Standardausdruck für den vollen Noetherstrom . Hier:

    • δ X μ ist die sogenannte horizontale Komponente der infinitesimalen Variation;
    • δ ϕ ϕ X μ δ X μ ist die sogenannte vertikale Komponente der infinitesimalen Variation;
    • F μ ist ein Verbesserungsterm bei Quasisymmetrie .
  2. Der Hauptpunkt ist, dass Schweber (7), Peskin & Schroeder (6) nur Situationen mit rein vertikalen Transformationen betrachten, dh Situationen, in denen δ X μ = 0 .

  3. Erwähnen wir, dass der letzte Term in Gl. (4) wird durch die jakobinischen Beiträge aus der Integrationsmaßnahme aufgehoben. Daher ist es in Gl. (5).

  4. Schließlich scheint es wichtig zu erwähnen, dass die Randbedingung (2) von OP in wichtigen Anwendungen oft nicht erfüllt ist, wie z . Siehe zB diesen Phys.SE Beitrag. Daher sollte die Randbedingung (2) entsprechend gelockert werden. Ebenso der Verbesserungsterm F μ ist kein beliebiges Feld, das an der Grenze verschwindet, wie OP (v3) unter Gl. (5). Stattdessen der Verbesserungsterm F μ wird durch die Quasisymmetrie diktiert, die festlegt F μ bis zu einer divergenzfreien Laufzeit.

Die Unterscheidung zwischen horizontalen und vertikalen infinitesimalen Variationen scheint darauf hinzudeuten, dass es sich um linear unabhängige Größen handelt, was sie eindeutig nicht sind. Was meinen Sie also, wenn Sie nur die vertikale Transformation betrachten ? Stellst du ein δ X μ = 0 ? Wenn δ ϕ wird induziert durch δ X μ , dann würde das auch das Verschwinden der vertikalen Variation bedeuten. Was vermisse ich?
Nun, das ist ein Missverständnis. Ich habe die Antwort mit einer hoffentlich klareren Formulierung aktualisiert.
Danke schön. Ich verstehe deine Meinung. Ich möchte noch eine letzte Frage zu Ihrer Aussage stellen F μ ist notwendigerweise durch Quasisymmetrie diktiert. Da wir das wissen Ω μ F μ = F μ | Ω , können wir der Variation der Aktion einfach eine willkürliche Divergenz hinzufügen, vorausgesetzt, wir erfüllen sie F μ | Ω = 0 . Ich sehe nicht ein, warum wir die Struktur dieses Feldes noch weiter einschränken sollten. Vielleicht ist es in bestimmten Situationen praktisch, aber es sollte nicht notwendig sein . Könnten Sie bitte Ihren Standpunkt erläutern?
Ich habe die Antwort aktualisiert.

Der Zweck dieser Antwort besteht darin, die Antwort von Knzhou näher zu erläutern. Wir haben folgende Aussage:

Satz: Angenommen, das δ ist eine allgemeine (dh nicht unbedingt vertikale) Quasisymmetrie der Wirkung S . Dann gibt es eine äquivalente vertikale Quasisymmetrie δ , unter denen die Wirkung bei gleichem Noetherstrom ebenfalls quasi-invariant ist.

Diese Aussage hat zwei Vorbehalte:

  • Obwohl die vollen Noetherströme äquivalent sind, sind die Verteilung des „nackten“ Noetherstroms und der „Verbesserungsterm“ in beiden Fällen nicht gleich. Insbesondere wenn δ ist eine exakte Symmetrie, δ wird im Allgemeinen eine Quasisymmetrie sein.
  • Die entsprechende vertikale Symmetrie δ ist eine verallgemeinerte Symmetrie im Allgemeinen, auch wenn δ ist eine gewöhnliche Symmetrie. Der Unterschied zwischen den beiden wird im Hauptteil der Antwort erklärt.

Angenommen, die Aktion ist

S [ ϕ ] = Ω L ( X , ϕ ( X ) , ϕ ( X ) ) D N X ,
Wo Ω ist ein Kompakt N dimensionale Domäne der Integration, das Feld ist ϕ ich ( X ) mit M Komponenten u N unabhängige Variablen X μ . Der Einfachheit halber wird ein Lagrangian erster Ordnung angenommen, aber das Ergebnis ist qualitativ auch für den Fall höherer Ordnung gültig (dh die spezifischen Formeln sind unterschiedlich, aber das Gesamtergebnis ist dasselbe).

Wir betrachten zunächst eine Variante δ gegeben von

X ' μ = X μ + ϵ δ X μ , ϕ ' ich ( X ' ) = ϕ ich ( X ) + ϵ δ ϕ ich ( X ) .
Wir nehmen an, dass diese Variation eine Off-Shell-Quasisymmetrie der Aktion ist, dh
δ S [ ϕ ] = Ω D μ F μ   D N X
für einige Verbesserung Strom F μ . Lassen L = L D N X der Lagrange sein N -Bilden und definieren Sie die Gesamtvariation δ T L der Lagrange-Dichte zu sein
δ L = δ T L   D N X .

Da OP richtig abgeleitet hat, haben wir

δ T L = E ich ( L ) ( δ ϕ ich μ ϕ ich δ X μ ) + D μ [ L ϕ μ ich δ ϕ ich ( L ϕ μ ich ϕ v ich L δ v μ ) δ X v ] = E ich ( L ) ( δ ϕ ich μ ϕ ich δ X μ ) + D μ [ L ϕ μ ich ( δ ϕ ich v ϕ ich δ X v ) + L δ X μ ] = E ich ( L ) δ ϕ ich + D μ [ L ϕ μ ich δ ϕ ich + L δ X μ ] ,
Wo E ich ( L ) ist der Euler-Lagrange-Ausdruck der Lagrange-Funktion, und
δ ϕ ich = δ ϕ ich μ ϕ ich δ X μ
ist der vertikale Teil der Variation.

Der volle Noetherstrom ist dann

J μ = L ϕ μ ich δ ϕ ich + L δ X μ F μ .

Betrachten Sie jetzt nur das Erstellen δ ϕ ich als Variante ohne horizontalen Teil. Die Variation der Aktion ist

δ S = Ω ( E ich ( L ) δ ϕ ich + D μ ( L ϕ μ ich δ ϕ ich ) ) D N X .
Vergleicht man dies mit dem Integral von δ T L , wir finden
δ S = δ S Ω D μ ( L δ X μ ) D N X .

Daraus folgt, wenn δ ist eine Quasisymmetrie von S mit Verbesserungsfrist F μ , Dann δ S ist auch eine Quasisymmetrie von S mit Verbesserungsfrist F ¯ μ = F μ L δ X μ . Aus dieser Symmetrie ergibt sich dann der volle Noetherstrom

J μ = L ϕ μ ich δ ϕ ich F ¯ μ = L ϕ μ ich δ ϕ ich + L δ X μ F μ ,
was mit dem vorherigen Strom übereinstimmt.


Bemerkungen:

Klar, wenn der Verbesserungstermin verschwindet δ , dh F μ = 0 , dann hat die entsprechende vertikale Variation noch einen Verbesserungsterm L δ X μ . Daher kann - wie in der Einleitung gesagt - eine nicht-vertikale exakte Symmetrie nur durch eine vertikale Quasisymmetrie ersetzt werden.

Zweitens sind die Variationen, die in Noethers Theorem auftreten, so, dass sie keine Variationen über ein bestimmtes Gebiet sind ϕ ich , sondern die Variation jedes Feldes kann berechnet werden. Mit anderen Worten, δ ist eher ein "Vektorfeld" als ein einzelner "Tangentenvektor" im Feldraum. Normalerweise haben diese Variationen die funktionale Form

δ X μ = ξ μ ( X ) , δ ϕ ich ( X ) = Ξ ich ( X , ϕ ( X ) ) .
Wenn die Variationen diese funktionale Abhängigkeit haben, dann erzeugen sie projizierbare Flüsse in der N + M -dimensionaler Gesamtraum sowohl abhängiger als auch unabhängiger Variablen ( X μ , j ich ) (Dieser Punkt würde in einer Faserbündelformulierung viel verständlicher gemacht, was ich aus Gründen der Zugänglichkeit nicht mache).

Für vertikale Variationen können wir jedoch auch Variationen der Form in Betracht ziehen

δ ϕ ich ( X ) = Ξ ich ( X , ϕ ( X ) , ϕ ( X ) , . . . , R ϕ ( X ) ) ,
und das nennt man eine verallgemeinerte Variation (und wenn eine Symmetrie, dann eine verallgemeinerte Symmetrie) (weitere Bemerkung: Man könnte im Prinzip jedes Funktional betrachten δ ϕ ich ( X ) = Ξ ich [ ϕ ] ( X ) , jedoch betrachtet man im Sinne der Lokalität meist nur Funktionale endlicher Ordnung).

Verallgemeinerte vertikale Schwankungen erzeugen keine Strömungen in der ( X , j ) -Raum, aber sie erzeugen über die Gleichung Strömungen im Feldraum

ϕ ϵ ich ϵ = Ξ ich ( X , ϕ ϵ ( X ) , . . . , R ϕ ϵ ( X ) ) .

In diesem Sinne, wenn δ ist eine gewöhnliche, nicht vertikale Variation mit

δ X μ = ξ μ ( X ) , δ ϕ ich ( X ) = Ξ ich ( X , ϕ ( X ) ) ,
dann hat die entsprechende vertikale Variation die Form
δ ϕ ich ( X ) = Z ich ( X , ϕ ( X ) , ϕ ( X ) ) = Ξ ich ( X , ϕ ( X ) ) μ ϕ ich ( X ) ξ μ ( X ) ,
was das zeigt δ ist eigentlich verallgemeinert vertikale Symmetrie.

Daher darf – wie in der Einleitung ausgeführt – eine nicht-vertikale gewöhnliche Variante nur durch eine vertikale generalisierte Variante im Allgemeinen ersetzt werden.

Das Problem ist, dass es zwei Möglichkeiten gibt, eine infinitesimale Feldtransformation zu schreiben. Betrachten wir als einfaches Beispiel ein Triplett von Feldern ϕ ich die sich als Vektor im Raum transformieren, und nehmen wir an, wir haben es mit einer Rotationssymmetrie zu tun. Wir können diese Symmetrie auf zwei Arten schreiben:

  • Ihre Methode: Die Drehung verändert die Raumkoordinaten (Ihre δ X μ ) und ändert den Wert des Feldes durch Rotation (Ihre δ ϕ ich ).
  • Die gebräuchlichere Methode: Die Drehung ändert nur den Wert des Feldes, während die räumlichen Koordinaten konstant gehalten werden, dh δ X μ = 0 .

Während es so aussieht, als wäre Ihre Methode allgemeiner, funktioniert die zweite Methode genauso gut wie jede Verschiebung der Koordinaten um eine kleine δ X μ entspricht einer Verschiebung des Feldwertes um μ ϕ ich δ X μ .

Einstellung δ X μ = 0 in Peskin und Schroeders Antwort gibt Ihre, also stimmen sie Ihnen zu, außer dass ihre δ ϕ wird komplizierter. Das Schweber-Buch ist etwas grundlegender und hat wahrscheinlich die Gesamtableitung weggelassen, nur um die Dinge zu vereinfachen.

Sie behaupten, dass bei der gebräuchlicheren Methode δ X μ = 0 , und das auch beibehalten δ ϕ ich μ ϕ ich δ X μ . Würde das nicht heißen δ ϕ ich = 0 überall? Wie erklären Sie sich das?
@Meghana Entschuldigung, ich habe eine schlechte Notation verwendet. In der ersten Gleichung meine ich, dass es keine räumliche Transformation gibt, also die δ X μ Begriffe in Ihrer Version des Noetherstroms tauchen nicht auf. In der zweiten Gleichung meine ich, dass eine zusätzliche Änderung hinzugefügt werden sollte δ ϕ kompensieren. In diesem Kontext, δ X μ ist einfach ein Vierervektor und hat darüber hinaus keine Bedeutung. Es ist gleich, was auch immer die räumliche Transformation gewesen wäre.

Ein Noetherstrom ist immer mit irgendeiner Transformation verbunden. Wenn Sie den zweiten und dritten Term in das zweite Feld fallen lassen, haben Sie den Strom für eine reine Feldtransformation ohne Koordinatentransformation. Beachten Sie, dass die Feldtransformation aus zwei Teilen besteht: Einer stammt von einer gegebenen Feldverschiebung, der andere wird von einer Koordinatentransformation induziert. Würde man zum Beispiel die reine Feldverschiebung auf Null setzen und nur den durch die Koordinatenverschiebung induzierten Anteil behalten, würde man den Energie-Impuls-Tensor der Theorie erhalten.

Korrektur: Den Energie-Impuls-Tensor erhält man nur dann als Noetherstrom, wenn man die Koordinatentransformation auf Raum-Zeit-Translationen setzt.