Euler-Lagrange-Gleichungen aus einer komplexen Lagrange-Funktion

Ich suche nach Verallgemeinerungen der Euler-Lagrange-Gleichungen, die aus einer komplexwertigen Lagrange-Dichte abgeleitet würden. Mir ist klar, dass „Minimum“ und „Maximum“ keine offensichtliche Bedeutung für eine komplexwertige Aktion haben, also suche ich nach EL-Gleichungen, die (a) einer konstanten Amplitude der Aktion, (b) einer konstanten Phase der Aktion entsprechen. oder (c) beides.

Die Papiere, die ich gefunden habe, vermeiden das Problem größtenteils, indem sie Feldvariablen mit komplexen Werten innerhalb der Lagrange-Funktion zulassen, aber sicherstellen, dass die Lagrange-Funktion selbst einen reellen Wert hat.

Dieses Papier könnte relevant sein: Nicht standardmäßige komplexe Lagrange-Dynamik

Jeder Rat ist willkommen.

Es gibt Fälle, in denen, obwohl die Aktion real ist, die komplexen Sattelpunkte (oder Trajektorien) berücksichtigt werden müssen. Siehe zB diese .
@S. McGrew: Haben Sie ein physikalisches System im Sinn? Welche?
Was es wert ist, finden Sie in meiner Antwort unter physical.stackexchange.com/q/438956
@akhmeteli, es ist ein nützlicher Kommentar. Ich mache mir an dieser Stelle keine Sorgen, ob das Ergebnis physisch ist oder nicht; nur wie das Ergebnis aussieht.
@Qmechanic, ja, ich habe ein physikalisches System im Sinn, möchte aber die Frage nicht vernebeln, indem ich an dieser Stelle erwähne, was das System ist. Die Variation des Feynman-Pfadintegrals wäre jedoch (glaube ich) vage analog zur Variation einer komplexen Lagrange-Funktion.
Die Aktion in FPI ist echt.
Verstanden, aber der Integrand ist komplex. Die Variation dieses Integrals wäre meiner Meinung nach vage analog.
@Qmechanic, ich habe einen Link zu einem Artikel hinzugefügt, der relevant erscheint.

Antworten (2)

Wenn Sie eine komplexe Aktion haben, müssen Sie entscheiden, was Sie benötigen, um stationär zu sein. Es kann a) Aktion sein, sofern ihre Amplitude konstant ist; b) Aktion, sofern ihre Phase konstant ist; c) Amplitude der Einwirkung; d) Phase der Handlung; e) Realteil der Aktion usw. In jedem dieser Fälle ist dies gleichbedeutend mit der Forderung, dass eine reale Aktion stationär ist, zum Beispiel im Fall c) können Sie die Aktion gleich der Amplitude der "alten" komplexen Aktion wählen.

Was passiert also, wenn Sie beispielsweise verlangen, dass sowohl die Amplitude als auch die Phase der komplexen Aktion stationär sind? Da jede dieser Anforderungen typischerweise ausreicht, um Bewegungsgleichungen zu erhalten, ergeben diese beiden Anforderungen zusammen typischerweise ein überbestimmtes Gleichungssystem. Es ist jedoch möglich, dass dieses überbestimmte System konsistent und sinnvoll ist, aber ich kann im Moment kein Beispiel bieten.

  1. Ein stationäres Aktionsprinzip für eine komplexe Aktion S C = S 1 + ich S 2 C entspricht 2 reellen stationären Wirkprinzipien für Real- und Imaginärteil, S 1 , S 2 R . Mit anderen Worten, die EL-Gleichungen für S C sind genau die EL-Gleichungen für S 1 und die EL-Gleichungen für S 2 . Es kann möglich sein, die EL-Gleichungen für zu organisieren S C als komplexe Gleichungen, insbesondere wenn die Lagrange-Funktion holomorph ist.

  2. Im Feynman-Pfadintegral Z , die Aktion S ist real, zumindest in der Minkowskischen Formulierung. Wenn man jedoch die semiklassische Näherung über die Methode des steilsten Abstiegs auswertet , verformt man typischerweise die Integrationskontur in die komplexe Ebene, was zu komplexen Beiträgen führen kann Z . Stationäre Punkte in der komplexen Ebene können eine direkte physikalische Interpretation als Lösungen für die (analytisch fortgesetzten) EL-Gleichungen haben oder nicht.

Mit anderen Worten, eine komplexe Lagrange-Funktion ergibt zwei Sätze von EL-Gleichungen in Standardform, eine für den Realteil der Lagrange-Funktion und eine für den Imaginärteil der Lagrange-Funktion? In diesem Fall scheinen die Gleichungen überbestimmt zu sein, es sei denn, die Feldvariablen selbst sind komplex, wie @akhmeteli betonte.
Nicht unbedingt.
Können Sie ein einfaches Beispiel nennen?
OK, ich kann ein Beispiel geben, aber es ist zu einfach: Wenn der Real- und der Imaginärteil der Lagrange-Funktion zu denselben Gleichungen führen; und sie müssen dazu nicht identisch sein.
Ich kann sehen, dass, wenn die beiden Sätze von Gleichungen gleich sind, sie nicht überbestimmt sind. Fallen Ihnen noch andere Fälle ein, in denen die Mengen nicht überbestimmt sind?