Kommutator von Ort und Impuls

Ich lese Quantenmechanik von Sakurai. Eines der Probleme in dem Buch fragt nach der Verwendung der Relation

X | P = 1 2 π e ich P X
zu bewerten X | [ X , P ] | a = X | X P | a X | P X | a bezüglich ψ a ( X ) = X | a ohne die Tatsache zu nutzen, dass in der X Darstellung, P verhält sich wie ich D D X .

Ich bin mir nicht sicher, wie ich damit fortfahren soll. Hier mein Versuch:

Die Eigenwertgleichungen für den Positionsoperator X und der Impulsoperator P sind bzw

X | X ' = X ' | X '  Und  P | P ' = P ' | P '
Also lasst uns zum Beispiel evaluieren X | P X | a :
X | P X | a = X | P X | | X ' X ' | a D X ' = X | P | X ' | X ' ψ a ( X ' ) D X ' = X | P | X ' ( | P ' P ' | X ' D P ' ) ψ a ( X ' ) D X ' = X | P | X ' ( | P ' 1 2 π e ich P ' X ' D P ' ) ψ a ( X ' ) D X ' = X | X ' ( P ' | P ' 1 2 π e ich P ' X ' D P ' ) ψ a ( X ' ) D X ' = X ' ( P ' X | P ' 1 2 π e ich P ' X ' D P ' ) ψ a ( X ' ) D X ' = X ' ( P ' 1 2 π e ich P ' X 1 2 π e ich P ' X ' D P ' ) ψ a ( X ' ) D X ' = 1 2 π X ' ( P ' e ich P ' ( X X ' ) D P ' ) ψ a ( X ' ) D X '

aber dann blieb ich hängen, weil das mittlere Integral nicht konvergent ist. Ich habe auch gespürt, dass ich etwas falsch gemacht habe.

Antworten (2)

Zwei Hauptpunkte sind....

  1. Allgemein X | [ X , P ] | a X | X P | a X | P X | a

Wenn [ X , P ] = X P P X ein wohldefinierter Operator in einem Hilbertraum ist, H = L 2 ( [ A , B ] ) , Raum der quadratintegrierbaren Funktionen in [ A , B ] , der Definitionsbereich von [ X , P ] ist eine Menge von Funktionen | a befriedigend

| a liegt im Bereich des Betreibers X

| a liegt im Bereich des Betreibers P

P | a liegt im Bereich des Betreibers X

X | a liegt im Bereich des Betreibers P

Allerdings ist der Definitionsbereich von X P ist eine Menge von Funktionen | a befriedigend

| a liegt im Bereich des Betreibers P

X | a liegt im Bereich des Betreibers P

In ähnlicher Weise können Sie die Form der Domäne von erwarten P X .

Also wenn du das behaupten willst X | [ X , P ] | a = X | X P | a X | P X | a , sollten Sie zusätzliche Bedingung haben, | a ist eine Funktion im Definitionsbereich von [ X , P ] . Versuchen Sie es zu beweisen X | [ X , P ] | a = X | X P | a X | P X | a verwenden | a = | P und Hermitianität von X Und P . Vielleicht finden Sie einen Widerspruch.

  1. Deltafunktional

Aus dem letzten Segment, ( P ' e ich P ' ( X X ' ) D P ' ) ist die Form der Fourier-Transformation von P ' und kann beschrieben werden durch (Dirac) funktional-abgeleitet, δ ' ( X X ' ) .

P ' e ich P ' ( X X ' ) D P ' = ich D D X e ich P ' ( X X ' ) D P ' = ich 2 π 2 D D X δ ( X X ' ) .

Ich widerspreche deinem Punkt #1. Die Vertauschungsrelation garantiert, dass die Ungleichheit gleich sein sollte. Das einzige wirkliche Problem ist, dass einige Autoren und Berechnungen Zustände verwenden , die nicht besonders gut definiert sind.
@DanielSank Ich stimme dir zu und möchte nur die Bedeutung der Staatsform betonen | a . Zum Beispiel ... ein (unangemessenes) Paradoxon von Gleichung 2.6 in p. 7 von arxiv.org/pdf/quant-ph/9907069.pdf

Ich denke, Sie müssten diesen Begriff wahrscheinlich in Teilen integrieren und senken k = P ' / Zu 1 beim Anheben exp [ ich   k   ( X X ' ) ]   D k hinein [ ich / ( X X ' ) ]   exp [ ich   k   ( X X ' ) ] .

Das Ergebnis, das Sie für das mittlere Integral erhalten, ist dann

2 π ich   δ ( X X ' ) X X ' .
Wenn Sie das Integral nicht weiter auswerten, wird das andere Integral ähnlich sein, aber mit X kostenlos ersetzen X ' , so erhalten Sie einen Wert X X ' was den Nenner aufhebt.

Mit anderen Worten: Wenn ich nur die Art und Weise verwende, wie Sie dieses Problem lösen, können Sie effektiv ersetzen

P ^   D P   P   | P P | , X ^   D X   X   | X X | ,  Und ICH ^   D X   | X X | ,
dann kann ich einfach den Begriff ausschreiben X P P X = X P ICH ICH P X die ein Matrixelement hat | X X ' | durch die Verwendung der X Index für den ersten Operator und die X ' Index für den letzten und haben einfach:
[ X , P ] = 1 2 π   D X   D X '   D P   ( X X ' )   P   e ich P ( X X ' ) /   | X X ' | .
So kündigen Sie die ( X X ' ) 1 um das Problem zu beenden.