Poisson-Klammern und Drehimpulskomponenten

Verwandte: Poisson-Klammern des Drehimpulses

Wenn Poisson-Klammern im Rahmen von Analytical Mechanics-Kursen gelehrt werden, werden häufig Beispiele gezeigt, die analoge Ergebnisse in QM vorwegnehmen. Ein solches Beispiel, das das von mir verwendete Buch ([1]) zeigt, ist, dass seit den Komponenten des Drehimpulsvektors L der Beziehung gehorchen

(1) [ L ich , L J ] = ϵ ich J k L k ,

sie gehorchen offensichtlich nicht den kanonischen Variablenbeziehungen [ P ich , P J ] = 0 und daher keine zwei Komponenten von L können gleichzeitig als kanonische Variablen dienen. Das wird dann weiter gezeigt L 2 pendelt mit L ich , sodass dieses Paar als kanonische Variablen verwendet werden kann. Ein analoges Ergebnis ist Standard-QM-Tarif über Vertauschungsbeziehungen und Beobachtung.

Ich habe anscheinend ein Gegenbeispiel gefunden. Wenn wir den Hamiltonian für ein freies Teilchen schreiben, indem wir mit dem Lagrangian in sphärischen Koordinaten beginnen ( R , θ , ϕ ) , landen wir bei

H = P R 2 2 M + P θ 2 2 M R 2 + P ϕ 2 2 M R 2 Sünde 2 ( θ )

mit verallgemeinerten Impulsen

P R = M R ˙ , P θ = M R 2 θ ˙ , P ϕ = M ( R Sünde ( θ ) ) 2 ϕ ˙

An der Definition ist das leicht zu erkennen

P ϕ = L z Und P θ = L X .
Das sieht nach einem Gegenbeispiel aus. Ich bin nicht durch eine kanonische Transformation zu diesem Hamiltonian gekommen, aber es ist ein "legaler" Hamiltonian und zwei der kanonischen Variablen / Impulse sind zwei Komponenten von L , was der obigen Behauptung widerspricht.

Als zusätzliches Dilemma zeigt das Buch, dass Poisson-Klammern kanonische Invarianten sind, dh unter kanonischen Transformationen erhalten bleiben, aber wenn ich berechnet habe [ L X , L z ] In kartesischen Koordinaten habe ich das Ergebnis erhalten [ L X , L z ] L j wie (1) vorschlägt, und wenn ich berechnet habe [ L X , L z ] im Phasenraum der Kugelkoordinaten bekam ich das Ergebnis [ P θ , P ϕ ] = 0 wie ich es von einem Paar kanonischer Variablen erwarten würde.

Diese Ergebnisse scheinen einander zu widersprechen. Was ist die Erklärung?

[1] Hamill, Patrick. "Student's Guide to Lagrangeians and Hamiltonians", p.130.

Hinweis: Die korrekte Bezeichnung lautet P ϕ = L z Und P θ 2 = L 2 L z 2 Sünde 2 θ .

Antworten (1)

Danke @Qmechanics, der Hinweis war alles was es brauchte.

Der Fehler in OP rührt von einer Fehlberechnung des Drehimpulsvektors her.

Wenn die Bewegung auf eine Ebene beschränkt ist, die senkrecht zu einer der kartesischen Koordinatenachsen steht (z z ) hat der Drehimpulsvektor nur in der Richtung senkrecht zur Ebene ( z ). Seine Größenordnung ist L z = M R 2 θ ˙ .

Wenn wir uns jedoch in den 3D-Raum bewegen, ist es falsch, jede Komponente von zu berechnen L individuell, als ob die Bewegung "auf einmal" auf eine Ebene beschränkt wäre. Stattdessen müssen Sie die allgemeine Berechnung durchführen:

R = ( R Sünde ( θ ) cos ( φ ) , R Sünde ( θ ) Sünde ( φ ) , R cos ( θ ) ) R ˙ = ( R φ ˙ Sünde ( θ ) Sünde ( φ ) + θ ˙ R cos ( θ ) cos ( φ ) + R ˙ Sünde ( θ ) cos ( φ ) , R ˙ Sünde ( θ ) Sünde ( φ ) + R φ ˙ Sünde ( θ ) cos ( φ ) + θ ˙ R cos ( θ ) Sünde ( φ ) , R ˙ cos ( θ ) θ ˙ R Sünde ( θ ) ) L = R × ( M R ˙ )
Das Ergebnis ist etwas haarig, aber das merkt man L X M R 2 θ ˙ und deshalb OP Aussage, dass L X = P θ ist falsch.

Glücklicherweise, L 2 (ein Skalar) hat eine freundliche Form:

L 2 = M 2 R 4 ( φ . 2 Sünde 2 ( θ ) + θ . 2 )
Die von @Qmechanic aufgezeigte Identität ist also leicht zu beweisen:

( P θ ) 2 = L 2 L z 2 Sünde 2 ( θ )

Daher sind in dem in OP angegebenen Hamilton-Operator die beiden konjugierten Impulse keine Komponenten von L (nur p_\phi ist), also die Kommutierungsrelationen für Komponenten von L wird nicht verletzt. Die zwei Impulse P θ , P ϕ sind jedoch kanonische Variablen und gehorchen daher den kanonischen Vertauschungsbeziehungen:

[ P θ , P ϕ ] = 0
wie sie sollten.