Lass uns in Erwägung ziehen unabhängige Skalarfelder, die die Euler-Lagrange-Bewegungsgleichungen erfüllen und mit bezeichnet werden , und werden in einer Region erweitert in einem -dimensionales Modell Raumzeit . Betrachten Sie nun die klassische Lagrange-Dichte, . Wir wenden die folgende infintesimale Fixed-Boundary-Transformation auf an .
Nach meinen Berechnungen ist die Lagrange-Dichte bis zur ersten Ordnung in der Variation gegeben durch:
Daher ist der erhaltene Strom
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:
Als weiteres Beispiel ignoriert Schweber (S. 208) alle Terme bis auf den ersten in der Variation der Lagrange-Dichte und schreibt:
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.
Gl. (5) ist (bis auf Faktoren des infinitesimalen Parameters ) der Standardausdruck für den vollen Noetherstrom . Hier:
Der Hauptpunkt ist, dass Schweber (7), Peskin & Schroeder (6) nur Situationen mit rein vertikalen Transformationen betrachten, dh Situationen, in denen .
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).
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 ist kein beliebiges Feld, das an der Grenze verschwindet, wie OP (v3) unter Gl. (5). Stattdessen der Verbesserungsterm wird durch die Quasisymmetrie diktiert, die festlegt bis zu einer divergenzfreien Laufzeit.
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 . Dann gibt es eine äquivalente vertikale Quasisymmetrie , unter denen die Wirkung bei gleichem Noetherstrom ebenfalls quasi-invariant ist.
Diese Aussage hat zwei Vorbehalte:
Angenommen, die Aktion ist
Wir betrachten zunächst eine Variante gegeben von
Da OP richtig abgeleitet hat, haben wir
Der volle Noetherstrom ist dann
Betrachten Sie jetzt nur das Erstellen als Variante ohne horizontalen Teil. Die Variation der Aktion ist
Daraus folgt, wenn ist eine Quasisymmetrie von mit Verbesserungsfrist , Dann ist auch eine Quasisymmetrie von mit Verbesserungsfrist . Aus dieser Symmetrie ergibt sich dann der volle Noetherstrom
Bemerkungen:
Klar, wenn der Verbesserungstermin verschwindet , dh , dann hat die entsprechende vertikale Variation noch einen Verbesserungsterm . 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 , 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
Für vertikale Variationen können wir jedoch auch Variationen der Form in Betracht ziehen
Verallgemeinerte vertikale Schwankungen erzeugen keine Strömungen in der -Raum, aber sie erzeugen über die Gleichung Strömungen im Feldraum
In diesem Sinne, wenn ist eine gewöhnliche, nicht vertikale Variation mit
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 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:
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 entspricht einer Verschiebung des Feldwertes um .
Einstellung 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.
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.
Foshiba