Weinberg sagt, Seite 299, Die Quantentheorie der Felder, Band 1, dass
Der Lagrangian ist im Allgemeinen ein Funktional ], einer Reihe generischer Felder und ihre zeitlichen Ableitungen [...]
Mein Problem betrifft die Verwendung des Wortes funktional.
Beispielsweise ist die Freifeld-Lagrange-Dichte für ein quantenskalares Feld:
Sollte die obige Aussage interpretiert werden: "Der 'Erwartungswert der' Lagrange-Funktion ist im Allgemeinen eine Funktion ...", wobei der Erwartungswert über einen Feldzustand übernommen wird? Dh der Erwartungswert der Lagrange-Funktion führt Vektoren aus dem Fock-Raum von Zuständen zu reellen Zahlen?
Ein "Funktional" kann auch eine Abbildung einer Funktion auf eine andere Funktion sein. Daher in diesem Fall , bildet Funktionen in einem Funktionenraum ab hinein (das setzt voraus gut genug kontrolliert wird, und das ist nicht zu exotisch, damit die Karte im selben Funktionsraum liegt).
Weinberg arbeitet mit dem Pfad-Integral-Formalismus, in dem die Zeitordnung großzügig verwendet wird. Wenn Zeitordnung verwendet wird, pendeln Produkte von Operatoren unter dem Zeitordnungssymbol, sodass wir mit Operatoren unter dem Zeitordnungssymbol arbeiten können, als ob sie Funktionen wären. Meiner Meinung nach ist Weinberg so sehr in diese Denkweise eingetaucht, dass er die Unterscheidung zwischen Funktionsräumen und Räumen von (nicht pendelnden) Operatoren nicht so klar hält, wie er könnte. Genau genommen führt uns die Einführung der Zeitordnung aus dem mathematischen Kontext von heraus -Algebren und Hilberträume in den Kontext von -Algebren, Hilbert-Räume und Zeitordnung (und vielleicht auch Anti-Zeitordnung). Algebraiker haben bis zu einem gewissen Grad damit gekämpft, die Zeitordnung in ein attraktives mathematisches System einzubeziehen.
Der Begriff funktional wird in mindestens zwei verschiedenen Bedeutungen verwendet.
Eine Bedeutung liegt im mathematischen Bereich der Funktionalanalysis , wo man sich insbesondere mit linearen Funktionalen beschäftigt . Diese Bedeutung ist für die Diskussion auf Seite 299 in Lit. nicht relevant. 1.
Eine weitere Bedeutung liegt in den Themen Variationsrechnung und (klassische) Feldtheorie . Dies ist der Sinn, der hier relevant ist.
Da wir nur die klassische Aktion diskutieren und nicht das vollständige Pfadintegral, vergessen wir der Einfachheit halber Quantenaspekte, wie z. , Hilberträume, Erwartungswerte usw.
Nehmen wir der Einfachheit halber an, dass es nur ein Feld gibt (das wir aus semantischen Gründen ein Positionsfeld nennen) und in dem es lebt räumliche Dimensionen und eine zeitliche Dimension. Das Feld ist dann eine Funktion . Es gibt auch ein Geschwindigkeitsfeld . Der Lagrangian ist ein lokales Funktional
Die Lagrange-Dichte ist eine Funktion dieser Variablen. Hier ist eine endliche Ordnung. Darüber hinaus, bezeichnet eine partielle Ableitung bzgl. räumliche Variablen (aber nicht bzgl. der temporalen Variable ).
Zeit spielt die Rolle eines passiven Zuschauerparameters, dh wir können eine bestimmte Cauchy-Fläche betrachten , wobei die Zeit hat einen festen Wert, und wo es sinnvoll ist, anzugeben und unabhängig. (Wenn wir mehr als einen Zeitpunkt betrachten, dann ist die und Profile sind nicht unabhängig. Siehe auch z . B. diesen und diesen Physics.SE-Beitrag.)
Weinberg verwendet das Wort funktional wegen der räumlichen Dimensionen. [Insbesondere wenn Weinberg nur die Punktmechanik betrachtet hätte (entsprechend ohne räumliche Dimensionen), dann hätte er das Lagrange genannt eine Funktion der momentanen Position und die Momentangeschwindigkeit .]
Es ist wichtig zu behandeln (was Weinberg nennt ) und (was Weinberg nennt ) für feste Zeit als zwei unabhängige Funktionen, um die Definition des konjugierten/kanonischen Impulses zu verstehen (was Weinberg nennt ). Die Definition beinhaltet eine funktionale / variierende Ableitung bzgl. zum Geschwindigkeitsfeld, vgl. Gl. (7.2.1) in Lit. 1,
Lassen Sie uns endlich im Laufe der Zeit integrieren . Die Aktion (was Weinberg nennt ) ist
Die entsprechende Euler-Lagrange-Gleichung wird
Verweise:
In der klassischen Feldtheorie sind Felder einfach Abschnitte eines Faserbündels über eine Raumzeit . Jedem solchen Bündel kann man Jet-Bündel zuordnen , Abschnitte davon enthalten Ableitungen der Felder, sie bilden ein inverses System, sodass Sie ein Bündel definieren können . Eine Lagrange-Dichte ist dann einfach eine Karte
Einen Abschnitt gegeben , können Sie die Aktion berechnen:
Es gibt natürlich auch andere Gesichtspunkte, ein anderer ist, dass die Lagrange-Dichte ein Element im Variations-Bikomplex ist.
Anstatt eine Lagrange-Funktion als Funktional zu bezeichnen, sollte man sie Operator nennen.
Wie das Beispiel in der Frage ist die Physikliteratur mit loser Terminologie gefüllt. Normalerweise ist mit "funktional" ein Element eines Raums gemeint, der dual zu einem unendlich dimensionalen Vektorraum ist. Oder eine Karte wo sind einige Abschnitte einer Mannigfaltigkeit, und ist ein Feld.
Thomas
Peter Morgan
Ron Maimon