Funktionale Ableitung für dieselbe Funktion, ausgedrückt vor und nach der Wick-Rotation

Diese Frage stellt sich, wenn ich Abschnitt „3.3.1 Minkowski-Raum“ auf Seite 16-17 des folgenden Dokuments lese: http://www-thphys.physics.ox.ac.uk/people/JohnCardy/qft/qftcomplete. pdf

Auf Seite 17 nahmen sie eine funktionale Ableitung von Z [ J ] gegenüber ich J um einen Ausdruck für zu erhalten G ( 0 ) ( X 1 , X 2 ) . Wir sollen Ableitungen nehmen in Bezug auf J ( X ) , aber auf Seite 17 nahm das Dokument Ableitungen in Bezug auf J ( X ' ) , Wo X 0 = ich X 0 ' (Der Index 0 gibt das erste Element von an X ; die anderen Elemente bleiben äquivalent).

Sind die Ergebnisse gleich oder hat das Dokument einen Fehler gemacht?

Hinweis: Die Definition der funktionalen Ableitung, die das Dokument verwendet, ist eine Delta-Funktion als Testfunktion, wie in Abschnitt 4 des folgenden Wikipedia-Artikels erläutert: https://en.wikipedia.org/wiki/Functional_derivative#Using_the_delta_function_as_a_test_function

Antworten (2)

Letztendlich ist es eine Sache der Konventionen, aber hier ist eine Argumentation:

  1. Es gibt zwei Arten von echten Integrationsmaßnahmen D N X : ein unsigned (signed), der sich bei Koordinatenänderung mit (ohne) einem absoluten Wert transformiert | | des Jacobi-Faktors bzw. Wir betrachten letzteres, da dies natürlich auf komplexe Koordinaten fortgeführt werden kann, wie es für eine Wick-Rotation benötigt wird .

  2. Das Produkt D N X   δ δ ϕ ( X ) bleibt unter Koordinatentransformationen invariant X X ' . Also seit dem ganzzahligen Maßfaktor D N X transformiert mit einem Jacobi-Faktor (ohne Betrag) die funktionale Ableitung δ δ ϕ ( X ) mit einem inversen Jacobi-Faktor transformiert.

  3. Die obige Argumentation legt nahe, dass man zuweisen sollte 1

    X E 0   =   ich X M 0 , D N X E   =   ich D N X M , δ M δ ϕ ( X )   =   ich δ E δ ϕ ( X ) .

--

1 Beachten Sie, dass zusätzlich ich -Faktoren können für Objekte auftreten, die sich unter Wick-Rotation nicht trivial transformieren. Beispielsweise transformiert sich die Lagrange-Dichte als doppelte Zeitableitung: L M   =   ich 2 L E .

Die Antwort bleibt eigentlich unverändert. Sie nehmen immer noch eine funktionale Ableitung in Bezug auf denselben Punkt. Wenn Sie auf die Definition der funktionalen Ableitung zurückgreifen, wie z. B. die in Wikipedia, werden Sie sehen, dass es auf den Koeffizienten ankommt.