Für eindimensionale Quantenmechanik
Fixiert dies eindeutig die Form der Operator? Meine Wette ist nein, weil 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 ist die Antwort auf die folgende Frage ja?
Für den zweiten
aber ich verstehe nicht, wie ich das sagen soll muss proportional sein . Ich weiß nicht, ob ich versuche, das zu sehen muss die Leibniz-Regel erfüllen und sollte daher proportional zu der sein Derivat könnte helfen. Oder mit der Tatsache, dass und muss hermitesch sein
Jeder Hinweis wird geschätzt.
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 und 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 und auf einem Hilbert-Raum definiert solche, die miteinander konjugiert sind:
(Die rigorose Aussage in dieser Nelson-ähnlichen Version lautet wie folgt
SATZ. Lassen und ein Paar selbstadjungierter Operatoren auf einem komplexen Hilbertraum sein so dass (a) sie (1) auf einem gemeinsamen invarianten dichten Unterraum verifizieren , (b) ist im Wesentlichen selbstadjungiert on und (c) alle Vektoren in sind zyklisch für und . Dann existiert ein unitärer Operator so dass (2) gelten fü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 für den Schwartzraum 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 zu den Standardausdrücken von und 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 , dh bezüglich Teilchen im Raum für . Wegfallen der Irreduzibilitätsforderung hält die These aber trotzdem 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 muss als trennbar sein ist. Außerdem kein Zeitoperator (konjugiert mit dem Hamiltonoperator ) 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 und wie die ganzen realen Achsen in beiden Fällen, so dass das Spektrum von wäre nicht nach unten begrenzt, wenn 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 und werden durch die der Quantenfelder ersetzt. Z.B:,
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.
Nein. Sie können eine beliebige konstante Verschiebung (oder einen beliebigen Operator, der mit pendelt) hinzufügen ) ohne Auswirkungen auf die CCR.
Für 1-dimensionale QM ist die allgemeine Lösung des CCR mit
dargestellt als Multiplikation mit
auf Wellenfunktionen mit Argument
ist
, wo
ist der kanonische Impulsoperator , und
ist eine beliebige Funktion von
.
Nachweisen. Der Unterschied
pendelt mit
, ist also eine Funktion von
.
Im allgemeineren Fall könnte es sein:
wo - willkürliche Funktion.
Sie können aber auch die Wellenfunktion ersetzen was Sie zurück zur traditionellen Form bringt.
Sieht aus wie eine Messgerät-Transformation, nicht wahr?
QMechaniker
Jerry Schirmer