Grundlagen der Quantenmechanik: Produktraum

Betrachten Sie einen gekoppelten harmonischen Oszillator, dessen Position durch gegeben ist X 1 Und X 2 . Sagen Sie die normalen Koordinaten X ± = 1 2 ( X 1 ± X 2 ) , bei denen sich die harmonischen Oszillatoren entkoppeln, existieren.

Wenn Sie diese Theorie quantisieren, sind die entsprechenden Operatoren X ^ 1 ,   X ^ 2 ,   X ^ ± . Die Betreiber X ^ 1 ,   X ^ 2 pendelt und

X ^ ± 1 2 ( X ^ 1 1 ^ 2 ± 1 ^ 1 X ^ 2 ) ,
Wo 1 ^ 1 ,   1 ^ 2 sind Identitätsoperatoren. Also dieser Betreiber X ^ ± handelt in einer direkten Produktbasis gegeben durch
| X 1 , X 2 = | X 1 | X 2
Wo | X 1 Und | X 2 sind Eigenzustände von X ^ 1 Und X ^ 2 bzw.

Sondern der Staat | X 1 , X 2 ist Eigenzustand von beiden X ^ ± .

Wie können wir eindeutige Eigenzustände des Operators konstruieren? X ^ ± in der Grundlage | X 1 , X 2 ? Oder ist es so, dass es nicht möglich ist?

Spitzfindigkeit: "direktes Produkt" ( × ) "Tensorprodukt" ( ) für Vektorräume oder allgemeiner Module . Tatsächlich ist das direkte Produkt für eine endliche Anzahl von Räumen, die "(ko)produziert" werden, äquivalent zur "direkten Summe" ( ).

Antworten (2)

Beide X ^ ± pendeln mit beiden X ^ (Produkt mit Identität). Sie teilen sich also (wie Sie überprüft haben) einen gemeinsamen Satz von Eigenvektoren.

In diesem Fall enthält die Menge ein beliebiges Produkt zweier Ortseigenzustände. Deshalb irgendein Staat | X , j ein Eigenvektor aller vier Ihrer Operatoren ist.

Ich denke, die endgültige Antwort lautet: Nein, das ist nicht möglich.

Wie Sie bemerken, die Staaten | X 1 , X 2 sind Eigenzustände von X ± ;

X ^ ± | X 1 , X 2 = 1 2 ( X 1 + X 2 ) | X 1 , X 2
Darüber hinaus bilden diese Zustände eine orthonormale Basis (im Sinne von Dirac) für den Tensorprodukt-Hilbert-Raum. Daraus folgt, dass jeder Eigenvektor eines dieser Operatoren ein skalares Vielfaches eines der Zustände sein muss | X 1 , X 2 .

Um dies zu sehen, nehmen wir an, dass es einen Zustand gibt | ψ das ist kein skalares Vielfaches eines der Vektoren | X 1 , X 2 , dann gibt es noch etwas anderes | X 1 ' , X 2 ' und komplexe Zahlen ungleich Null A Und B wofür

| ψ = A | X 1 , X 2 + B | X 1 ' , X 2 '
und deshalb
X ^ ± | ψ = 1 2 ( A ( X 1 + X 2 ) | X 1 , X 2 + B ( X 1 ' + X 2 ' ) | X 1 ' , X 2 ' )
dieser Zustand ist kein Eigenvektor von X ± es sei denn X 1 ' + X 2 ' = X 1 + X 2 .

Bearbeiten. Als Antwort auf den Kommentar unten ist die folgende Aussage falsch:

in dieser Basis sind beide Eigenzustände von x± gleich. Es impliziert also x^+=x^−

Zwei Operatoren mit gleichzeitiger Eigenbasis sind nicht gleich! Was zählt, ist die Aktion dieser Operatoren auf jedem dieser Basiszustände. Im vorliegenden Fall sind die Eigenwerte von X ^ + Und X ^ sind verschieden, also können wir klar erkennen, dass es sich um verschiedene Operatoren handelt.

Ich stimme Ihnen und der Antwort von Bruce Connor zu.
@ user27470 Cool. Beantwortet diese Antwort die Frage nicht? Vielleicht habe ich es falsch interpretiert?
Ich stimme Ihnen und der Antwort von Bruce Connor zu. Um meine Frage klarer zu machen, betrachten wir das Produkt, das Hilbert-Raum genannt wird H = H 1 H 2 . Deutlich X ^ ± sind Operatoren im Hilbertraum H . Eine der möglichen Grundlagen von H Ist | X 1 , X 2 > . Was mich verwirrt, ist, dass ich dachte, dass jeder Operator einen Eigenzustand hat H kann als lineare Kombination seiner Basiszustände ausgedrückt werden, hier sind die einfachen Zustände eine Wahl | X 1 , X 2 > . Aber in dieser Basis beide Eigenzustände von X ± sind gleich. Also impliziert es X ^ + = X ^ . Aber wir wissen, dass das nicht wahr sein kann!
Die erste Antwort ging aus Versehen. Du hast Recht. Ich stimme Ihnen zu, aber es beantwortet nicht meine Frage
@ user27470 Siehe meine Bearbeitung.
Vielen Dank. Irgendwie habe ich vergessen, dass ein Operator durch seine Eigenwerte und Eigenvektoren definiert ist. Ich stimme zu, dass es falsch ist zu glauben, dass es von einem von ihnen bestimmt wird. Nochmals vielen Dank, da diese dumme Verwirrung mir bei einer anderen Berechnung Schmerzen bereitete.
@ user27470 Sichere Sache. Beifall.