Eichinvarianz und Feynman-Pfadintegrale

Lassen Sie mich den Hamiltonoperator eines geladenen Teilchens in einer Ebene in einem konstanten Magnetfeld betrachten ( B ) nach oben zeigt - dann ist es in üblicher Notation,

H ^ = 1 2 M ( P ^ + e C A ^ ( R ^ ) ) 2

Um dies in eine Feynman-Pfad-Integral-Sprache umzuwandeln, wähle ich beispielsweise ein Messgerät A = ( B 2 j , B 2 X ) und dann in dieser Spurweite P ^ Und A ^ pendeln und das macht das Umschreiben in der Pfad-Integral-Sprache viel einfacher.

Wenn ich dies durch den üblichen Prozess der "Ableitung" eines Feynman-Pfadintegrals durchführe, würde ich den Ausdruck erhalten,

[ D R ] [ D P ] exp [ ich D T ( P R ˙ 1 2 M ( P + e C A ) 2 ) ]

  • Ist es offensichtlich (oder wahr), dass der obige Ausdruck unabhängig von dem Messgerät ist, das ich für die Berechnung gewählt habe? Gibt es eine Möglichkeit, das System in der Pfad-Integral-Sprache zu schreiben, ohne explizit ein Messgerät auszuwählen? (Ich habe Berechnungen in der Yang-Mills-Theorie im Fadeev-Popov-Messgerät durchgearbeitet, das genau das in diesen Fällen tut, aber ich sehe hier keinen Ausweg ...)

  • Kann ich das obige Pfadintegral nicht aufgeschrieben haben, ohne auch nur den üblichen Prozess durchlaufen zu haben, infinitesimale Übergangsamplituden zu finden und sie dann zusammenzufassen? Ich meine, wie oft kann man das für einen Hamiltonianer sagen H ( P , Q ) die Pfadintegraldarstellung der Übergangsamplitude sein wird [ D P ] [ D Q ] e ich D T ( P Q ˙ H ( Q , P ) ) ?

Nun wird die Bewegungsgleichung von Heisenberg das sagen,

D R D T = 1 M ( P + e C A ) 2

Im Feynman-Pfadintegral werden die Positions- und Impulsvektoren als unabhängige Variablen behandelt, und daher wäre es falsch, den obigen Ausdruck in das Pfadintegral einzusetzen, aber außerhalb kann man diese Substitution vornehmen, und man würde die Aktion erhalten (was auch immer im Exponenten steht),

S = D T ( P 2 2 M e 2 2 M C 2 A 2 )

  • Aber der obige Ausdruck sieht nicht richtig aus!? Der Integrand ist nicht das, was der Lagrange sein sollte. Rechts?

Wenn man nun bei der Herleitung des Feynman-Weg-Integrals den Impuls für jede infinitesimale Übergangsamplitude herausintegriert und dann das Weg-Integral rekonstituiert, dann würde man den Ausdruck erhalten,

[ D R ] exp [ ich D T ( M 2 R ˙ 2 e C R ˙ A ) ]

  • Was nun im Exponenten zu sitzen scheint, ist der "richtige" Lagrange - würde ich denken. Warum unterschied sich die Antwort in den zwei unterschiedlichen Betrachtungsweisen?

  • Ich frage mich, ob bei einem gegebenen Hamilton-Operator der entsprechende Lagrange-Operator als das "definiert" werden kann, was im Exponenten auftaucht, wenn dieses System dieser Feynman-Umschreibung unterzogen wird. In diesem Fall bin ich mir nicht sicher, wie ich das argumentieren soll, wenn ich mich nur an die klassische Physik halte M 2 R ˙ 2 e C R ˙ A ist der Lagrange-Operator für das System mit dem Hamilton-Operator 1 2 M ( P + e C A ( R ) ) 2

Ich glaube, ich habe Beispiele für gekrümmte Raumzeit gesehen, bei denen sich die "klassische" Lagrange-Funktion von dem unterscheidet, was im Exponenten auftaucht, wenn das System pfadintegriert ist.

Antworten (1)

Für die erste Frage, das Momentum P = M X ˙ e A die zur Koordinate konjugiert ist, ist auch genau so eichvariant, um die kanonische Aktion eichinvariant zu machen:

A A + e Λ P P Λ
(Bitte beachten Sie übrigens, dass ich SI-Einheiten verwende. Die ursprüngliche Frage nicht.)

Bei der zweiten Frage ist es in fast allen Fällen möglich, die Übergangsamplitude gleich mitzuschreiben. Es gibt jedoch bestimmte Fälle, zum Beispiel die berühmte Duru-Kleinert-Pfad-Integraldarstellung für das Coulomb-Problem, bei deren Erhalt Sorgfalt erforderlich ist.

Bei der dritten Frage können Sie die Aktion nicht durch eine Bewegungsgleichung ersetzen. Das wäre Unsinn, wie Sie herausgefunden haben. (Eigentlich sieht es so aus, als ob Sie das bereits gewusst hätten, also weiß ich nicht, warum Sie überhaupt danach gefragt haben.)

Vierte Frage: Der Grund, warum sich die Antwort in den zwei unterschiedlichen Betrachtungsweisen unterscheidet, liegt darin, dass eine der Betrachtungsweisen einfach falsch ist (siehe Frage 3).

Fünfte Frage: Wenn Ihnen der Hamilton-Operator gegeben ist, wird der Lagrange-Operator definiert / erhalten, indem die Legendre-Transformation in Bezug auf den Impuls verwendet wird:

L = P Q ˙ H ,
und wo P wird zugunsten der konjugierten Geschwindigkeit eliminiert Q ˙ .