Legt die kanonische Kommutierungsrelation die Form des Impulsoperators fest?

Für eindimensionale Quantenmechanik

[ x ^ , p ^ ] = ich .

Fixiert dies eindeutig die Form der p ^ Operator? Meine Wette ist nein, weil p ^ hängt tatsächlich davon ab, ob wir uns auf einer Koordinaten- oder Impulsdarstellung befinden, aber ich weiß nicht, ob diese Aussage einen Beweis darstellt. Außerdem, wenn wir wählen x ^ ψ = x ψ ist die Antwort auf die folgende Frage ja?

Für den zweiten

( x ^ p ^ p ^ x ^ ) ψ = x p ^ ψ p ^ x ψ = ich ψ ,

aber ich verstehe nicht, wie ich das sagen soll p ^ muss proportional sein x . Ich weiß nicht, ob ich versuche, das zu sehen p ^ muss die Leibniz-Regel erfüllen und sollte daher proportional zu der sein x Derivat könnte helfen. Oder mit der Tatsache, dass x ^ und p ^ muss hermitesch sein

Jeder Hinweis wird geschätzt.

Siehe zB Stone-von-Neumann-Theorem auf Wikipedia .
Es kann nicht, weil wir unter anderem haben [ x ^ , j ^ ] = [ j ^ , p ^ x ] = 0 , also wenn wir definieren P ^ p ^ + j ^ , dann haben wir auch [ x ^ , P ^ ] = [ x ^ , p ^ x ] = ich

Antworten (3)

Sie haben bereits "praktische" Antworten erhalten, daher beabsichtige ich, aus einem anderen Blickwinkel zu antworten.

Es gibt einen ziemlich berühmten Satz von Stone und von Neumann, der später von Mackay und schließlich von Dixmier und Nelson verbessert wurde und ungefähr das folgende Ergebnis in der elementarsten Version festlegt. (Eine andere Version des Theorems konzentriert sich auf die einheitlichen Gruppen, die von erzeugt werden X und P Um Probleme mit Domains zu vermeiden, bleibe ich hier jedoch bei der selbstadjungierten Operatorversion.)

SATZ. (grobe Aussage "für Physiker") Wenn Sie ein paar selbstadjungierte Operatoren haben X und P auf einem Hilbert-Raum definiert H solche, die miteinander konjugiert sind:

[ X , P ] = ich ich ( 1 )
und es gibt einen zyklischen Vektor für X und P , dann existiert ein unitärer Operator U : L 2 ( R , d x ) H so dass:

( U 1 X U ) ψ ( x ) = x ψ ( x ) und ( U 1 P U ) ψ ( x ) = ich d ψ ( x ) d x . ( 2 )

(Die rigorose Aussage in dieser Nelson-ähnlichen Version lautet wie folgt

SATZ. Lassen X und P ein Paar selbstadjungierter Operatoren auf einem komplexen Hilbertraum sein H so dass (a) sie (1) auf einem gemeinsamen invarianten dichten Unterraum verifizieren S H , (b) X 2 + P 2 ist im Wesentlichen selbstadjungiert on S und (c) alle Vektoren in S sind zyklisch für X und P . Dann existiert ein unitärer Operator U : L 2 ( R , d x ) H so dass (2) gelten für ψ C 0 ( R ) .

Beachten Sie, dass die auf der rechten Seite von (2) definierten Operatoren eindeutige selbstadjungierte Erweiterungen zulassen, sodass sie die Operatoren, die die jeweiligen Observablen darstellen, vollständig festlegen. Wir können gleichermaßen ersetzen C 0 ( R ) für den Schwartzraum S ( R ) in der letzten Aussage.)

Abgesehen von technischen Details bedeutet dies, dass Kommutierungsbeziehungen tatsächlich Positions- und Impulsobservable sowie den Hilbert-Raum festlegen. Zum Beispiel unter Bezugnahme auf die Antwort von Murod Abdukhakimov, wenn die Hinzufügung von f zu den Standardausdrücken von X und P führt zu wirklich selbstadjungierten Operatoren, dann zu einer einheitlichen Transformation (nur das Verbinden ψ zu ψ ' in der Antwort von Murod Abdukhakimov) beseitigt die Deformation und stellt den Standardausdruck wieder her. Denken Sie daran, dass einheitliche Transformationen nicht alle physischen Objekte der QM verändern.

Das Ergebnis erstreckt sich auf R n , dh bezüglich Teilchen im Raum für n = 3 . Wegfallen der Irreduzibilitätsforderung hält die These aber trotzdem H in eine direkte Summe (nicht direktes Integral!) abgeschlossener Teilräume zerlegen, in denen die starke Aussage gilt.

Aus diesem fundamentalen Theorem ergeben sich wichtige Konsequenzen. Zunächst H muss als trennbar sein L 2 ( R , d x ) ist. Außerdem kein Zeitoperator T (konjugiert mit dem Hamiltonoperator H ) existiert, wenn der Hamilton-Operator nach unten beschränkt ist, wie es die Physik erfordert. Die letztere Aussage ist darauf zurückzuführen, dass der Satz die Spektren von festlegt X und P wie die ganzen realen Achsen in beiden Fällen, so dass das Spektrum von H wäre nicht nach unten begrenzt, wenn T , H waren ein konjugiertes Paar von Operatoren. Ein ähnliches No-Go-Theorem ergibt sich bezüglich der Quantisierung eines Teilchens auf einem Kreis, wenn man versucht, selbstadjungierte Positions- und Impulsoperatoren zu definieren. Der Versuch, diese No-Go-Ergebnisse zu lösen, führte zu einer allgemeineren Formulierung der Quantenmechanik auf der Grundlage des Begriffs POVM und erwies sich schließlich als sehr nützlich in anderen Kontexten wie der Quanteninformationstheorie.

Eine wichtige Beobachtung ist, dass das Ergebnis von Stone-von Neumann - MacKay - Dixmier -Nelson versagt, wenn es um unendlich dimensionale Systeme geht. Das heißt, grob gesagt, der Übergang vom (symplektischen Raum) einer endlichen Anzahl von Teilchen zum (symplektischen Raum) eines Feldes. In diesem Fall gelten die kanonischen Vertauschungsrelationen von X ich und P j werden durch die der Quantenfelder ersetzt. Z.B:,

[ ϕ ( t , x ) , π ( t , j ) ] = ich δ ( x , j ) ich

oder anspruchsvollere Versionen davon. An dieser Stelle gibt es unendlich viele Darstellungen der Algebra von Observablen, die nicht durch einheitliche Operatoren verbunden werden können. Dies ist ein bekanntes Phänomen in der QFT oder der statistischen Quantenmechanik (im thermodynamischen Limit). Zum Beispiel können die freie Theorie und die Wechselwirkungstheorie eines gegebenen Quantenfelds nicht im selben Hilbert-Raum dargestellt werden, sobald man Standardanforderungen an Zustände und Observablen annimmt (das sogenannte Haagsche Theorem, und dies ist der Hauptgrund, warum der LSZ-Formalismus die schwache Topologie verwendet statt der starken wie in der Standard-Quantentheorie der Streuung).

Wenn man Superselektionsladungen in die Algebra der Observablen einbezieht, entstehen automatisch nicht einheitlich äquivalente Darstellungen der Algebra, die zu Sektoren führen.

In der QFT in gekrümmter Raumzeit ist das Auftreten inäquivalenter Darstellungen der Algebra von Observablen ein recht häufiges Phänomen aufgrund der Anwesenheit von Krümmung der Raumzeit.

+1. Ich bin neugierig, wie LSZ eine schwache statt einer starken Topologie verwendet. Wissen Sie, Physikbücher interessieren sich normalerweise nicht dafür. Irgendeine gute Referenz?
Vielleicht finden Sie diesen Kommentar in Haags Lehrbuch. Ich glaube, ich habe diese Bemerkung vor vielen, vielen Jahren in einem Buch von Hepp gefunden. Das Problem ist jedoch das sogenannte Haagsche Theorem, die formalen Möller-Operatoren können keine unitäre Transformation vom Hilbert-Raum der freien Theorie zum wechselwirkenden Raum definieren, ohne das Haagsche Theorem zu verletzen. Also muss der Grenzwert für Matrixelemente berechnet werden, wie es tatsächlich im LSZ-Formalismus gemacht wird.
Ich bin mit den Bedingungen (b) und (c) der obigen rigorosen Satzaussage nicht allzu vertraut. Können Sie überhaupt sagen, warum dies natürliche Bedingungen sind, die man auferlegen muss? X und P ? (Ich bin auch bei der Definition von "zyklisch" eingerostet.)

Nein. Sie können eine beliebige konstante Verschiebung (oder einen beliebigen Operator, der mit pendelt) hinzufügen x ) ohne Auswirkungen auf die CCR.

Für 1-dimensionale QM ist die allgemeine Lösung des CCR mit x ^ dargestellt als Multiplikation mit x auf Wellenfunktionen mit Argument x ist p ^ = p ^ 0 EIN ( x ^ )     , wo p ^ 0 ist der kanonische Impulsoperator , und EIN ( x ) ist eine beliebige Funktion von x .
Nachweisen. Der Unterschied EIN ^ := p ^ 0 p ^   pendelt mit x ^ , ist also eine Funktion von x ^ .

Im allgemeineren Fall könnte es sein:

p x = ich h x + f x

p j = ich h j + f j

p z = ich h z + f z

wo f ( x , j , z ) - willkürliche Funktion.

Sie können aber auch die Wellenfunktion ersetzen ψ ' = e ich h f ( x , j , z ) ψ was Sie zurück zur traditionellen Form bringt.

Sieht aus wie eine Messgerät-Transformation, nicht wahr?

Direkter entspricht es einer kanonischen Transformation mit f entsprechend der erzeugenden Funktion des Typs 1 Ich würde sagen.