Wie wirkt der Impulsoperator auf Zustands-Kets?

Ich habe einige Probleme in Sakurais Modern QM durchgemacht und musste irgendwann rechnen a | p ^ | a wo alles, was wir über den Staat wissen | a ist das

x | a = f ( x )
für eine bekannte Funktion f . ( | a ist ein Gaußsches Wellenpaket.) Sakurai sagt, dass dies gegeben ist durch:

p = + a | x ( ich x ) x | a d x .

Ich frage mich, wie wir zu diesem Ausdruck kommen. Ich weiß, dass wir uns ausdrücken können

| a = d x | x x | a

und

a | = d x a | x x | ,

Also meine Überlegung ist, dass wir haben:

a | p ^ | a = d x d x ' a | x x | p ^ | x ' x ' | a ,

und wenn wir 'pendeln' können | x und p ^ das würde werden:

d x d x ' a | x p ^ x | x ' x ' | a ,
das ist das gewünschte Ergebnis als
x | x ' = δ ( x x ' ) .
Ist dieser Ansatz valide?

Ich denke, meine Frage läuft darauf hinaus: Tut der Betreiber p ^ Handeln Sie auf der Basis von Kets | x oder auf ihre Koeffizienten? Im letzteren Fall, wenn wir einen gewissen Zustand hätten | ψ = | x 0 für irgendeine Stelle x 0 , dann würden wir das für diesen Staat sagen

p = x 0 | ( ich x ) | x 0 = 0
wie der einzelne Koeffizient ist 1 und die Ableitung von 1 ist 0 ?

Antworten (7)

Meiner Meinung nach, Manipulationen mit p ^ und Positions-BHs und Kets werden am einfachsten gemacht, indem man die Wirkung von berücksichtigt p ^ auf die Position BHs , die einfach ist

(1) m a k e t h e b Ö x t a l l e r x | p ^ = ich d d x x | .

Sie können dies leicht erhalten, indem Sie das für jeden Staat sehen | ψ mit Ortsdarstellung Wellenfunktion ψ ( x ) = x | ψ ergibt die Wirkung des Impulsoperators auf den Zustand eine Ableitung der Wellenfunktion. Das ist,

x | p ^ | ψ = ich d d x x | ψ .
Da diese Gleichung für alle Zustände gilt | ψ H , können Sie "abbrechen | ψ out". (Eher technisch, da die Wirkung der BHs x | p ^ und ich d d x x | für alle Vektoren gleich ist, müssen sie als lineare Funktionale gleich sein.)

Es gibt schon viele gute Antworten. Diese Antwort ist im Grunde eine erweiterte Version der Antwort von Emilio Pisanty.

  1. Beginnen wir mit der Erinnerung an die Standardkonvention zum Schreiben der Positionswellenfunktion

    (1) ψ ( x )   =   x | ψ
    als Überlappung mit einem Positions-BH-Zustand x | .

  2. Das CCR

    (2) [ x ^ , p ^ ]   =   ich 1
    ist das erste Prinzip der kanonischen Quantisierung.

  3. Die Position Schrödinger Vertretung

    (3) x ^   =   x , p ^   =   ich x ,
    ist die häufigste Darstellung des CCR (2), obwohl sie bei weitem nicht einzigartig ist, vgl. zB dieser Phys.SE Beitrag. Siehe jedoch auch das Stone-von-Neumann-Theorem .

  4. Es ist wichtig zu erkennen, dass implizit verstanden wird, dass die Operatoren (3) auf BHs wirken (im Gegensatz zu Kets ). (Siehe jedoch Gleichung (6) unten.) Daher ist es richtiger, (3) zu schreiben als

    (4) x | x ^   =   x x | , x | p ^   =   ich x | x   =   lim ε 0 ich x + ε | x | ε .

  5. Beachten Sie, dass die Position Schrödinger-Darstellung (4) auf BHs die CCR (2) realisiert.

    x | [ x ^ , p ^ ]   =   lim ε 0 ich { x x + ε | x | ε ( x + ε ) x + ε | x x | ε } (5)   =   ich x |   ,
    mit dem richtigen Vorzeichen, wie es sein sollte.

  6. Beachten Sie, dass die Position Schrödinger-Darstellung (4) auf BHs und die Konvention (1) die Standardformeln impliziert

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

  1. Beachten Sie insbesondere, dass, wenn man darauf besteht, auf Kets (im Gegensatz zu BHs ) zu wirken, die Position Schrödinger-Darstellung mit dem entgegengesetzten Vorzeichen kommt:
    (7) x ^ | x   =   | x x , p ^ | x   =   ich | x x   =   lim ε 0 ich | x + ε | x ε .

Blick auf die Frage

Ich denke, meine Frage läuft darauf hinaus: tut es p ^ Handeln Sie auf der Basis von Kets | x oder auf ihre Koeffizienten?

man kann sicher erkennen, dass man über etwas verwirrt ist, aber es ist schwieriger herauszufinden, was die Frage wirklich ist. Lassen Sie mich hier einige grundlegende Dinge wiederholen – ich bin zuversichtlich, dass Sie trotz ihres grundlegenden Charakters über eines davon verwirrt sein müssen.

Das Symbol p ^ ist ein Operator. Es bedeutet ein Objekt, das auf einen beliebigen Ket-Vektor einwirkt und Ihnen einen anderen (oder denselben) Ket-Vektor gibt. Die Karte muss linear sein und so weiter. So p ^ wirkt sicherlich auf Vektoren, nicht auf "Koeffizienten".

Wenn es andererseits auf einem Basisvektor wie z | x , kann das Ergebnis als lineare Kombination der Basisvektoren in derselben Basis ausgedrückt werden,

p ^ | x = d x ' f x ( x ' ) | x '
mit einigen Koeffizienten f x ( x ' ) . Jeder Ket-Vektor und p ^ | x ein Ket-Vektor ist, kann in gewisser Weise unter Verwendung einer Basis ausgedrückt werden.

Also, während Sie sich identifizieren können | x mit der "Wellenfunktion" gleich ψ ( x ) = δ ( x x ) wo x ein fester Wert der Position ist, der eingewirkte Ket-Vektor p ^ | x ist über die Funktion gegeben f x ( x ' ) die die Koeffizienten vor kodiert | x ' . Diese Funktion (Speichern der Koeffizienten) ist vollständig durch die Bedeutung des Operators gegeben p ^ und durch den Wert von x und es ersetzt die Delta-Funktionscodierung | x selbst, also wirken Operatoren in diesem Sinne auch auf Koeffizienten. Man muss nur die Grundregeln kennen, wie sie sich verhalten etc. und dann weiß man alles!

Eine andere Sache, die Sie möglicherweise verwirrt, ist noch elementarer, was ein Derivat ist. Eine Ableitung ist kein Operator, der auf den Hilbertraum wirkt. Eine Ableitung ist eine Operation, die eine Funktion einer reellen Variablen nimmt und sie auf eine andere Funktion der reellen Variablen abbildet

x : f ( x ) f ' ( x ) = lim ε 0 f ( x + ε ) f ( x ) ϵ
Sie müssen sich über diese Definition eines Derivats wundern, sonst würden Sie die bedeutungslosen Ableitungen nicht in den letzten Satz schreiben. Etwas sollte im Allgemeinen von der Variablen abhängen, in Bezug auf die wir differenzieren, und dann differenzieren wir es als Funktion unter Verwendung der obigen allgemeinen Definition.

Der Kernel (oder "Matrixelemente") von p ^ ist

x | p ^ | x ' = ich δ ' ( x x ' ) = f x ' ( x )
was die Ableitung der Delta-Funktion ist. Es ist eine Delta-Funktion, deren Argument die Differenz der beiden Werte ist x , x ' die den bra-Vektor und den ket-Vektor zwischen denen spezifizieren p ^ wurde eingeklemmt. Die Delta-Funktion ist gleich dem Skalarprodukt des Bra-Vektors x | und der Vektor p ^ | x die sich aus der Aktion ergibt p ^ an | x .

Der Kernel reicht aus, um alles Mögliche zu berechnen p ^ und BH- und Ket-Vektoren in den x -Basis. Zum Beispiel können Sie meine Gleichung für den obigen Kernel mit multiplizieren | x von links und über integrieren x . Dann bekommt man (nachdem man das bemerkt hat 1 wurde auf LHS über die Vollständigkeitsrelation konstruiert)

p ^ | x ' = d x ( ich ) δ ( x x ' ) | x = ich x | x x = x '
Tut mir leid, wenn irgendwo ein Vorzeichenfehler ist. Es ist sinnvoll, bzgl. zu differenzieren x weil das Objekt eigentlich eine Funktion von ist x . Wenn eine allgemeine Wellenfunktion als Kombination solcher umgeschrieben wird | x ' Vektoren aus der LHS der obigen Gleichung über ein Integral und mit den genannten Koeffizienten ψ ( x ' ) , wird die obige Gleichung zur üblichen
p ^ : ψ ( x ' ) ich ψ ' ( x ' )
in Bezug auf die Koeffizienten. Dies bedeutet nicht, dass ein linearer Operator dasselbe ist wie eine Ableitung von Funktionen. Das steht nur in der x -Basis, wenn auf eine allgemeine Kombination dieser Basisvektoren eingewirkt wird, transformieren sich die Koeffizienten auf diese ableitungsähnliche Weise. Aber das ist eine besondere Eigenschaft dieses speziellen Operators. Andere Betreiber, wie x ^ , anders handeln.

Betrachten Sie die Kommutierungsrelation [ x ^ , p ^ x ] = ich . Sein Matrixelement zwischen Zuständen x | und | x ' ,

x | x ^ p ^ x p ^ x x ^ | x ' = ich x | x ' ,
gibt
( x x ' ) x | p ^ x | x ' = ich δ ( x x ' ) ,
damit
x | p ^ x | x ' = ich δ ( x x ' ) x x ' .
Ersetzen Sie dies durch x | p ^ x | ψ , wo | ψ ist ein beliebiger Ket-Zustand mit der Wellenfunktion ψ ( x ) x | ψ , wir haben
x | p ^ x | ψ = x | p ^ x | x ' x ' | ψ d x ' = ich δ ( x x ' ) x x ' ψ ( x ' ) d x ' .
Der einzige Beitrag zum Integral kommt von x ' Sehr nah bei x , also können wir die Wellenfunktion in Taylors Reihe auf erste Ordnung erweitern, ψ ( x ' ) ψ ( x ) + ψ ' ( x ) ( x ' x ) . Das gibt
x | p ^ x | ψ = ich δ ( x x ' ) x x ' ψ ( x ) d x ' ich δ ( x x ' ) ψ ' ( x ) d x ' = ich ψ ( x ) x ,
wobei das erste Integral verschwindet, weil δ ( x x ' ) ist eine gerade Funktion und 1 / ( x x ' ) ist ungerade.

Zustände sind Vektoren, | a und die Grundlage | x sind Vektoren.

Die Notation x | a ist äquivalent zu a ( x ) , das ist die Koordinate des Staates | a auf der Basis | x , a ( x ) ist die Wahrscheinlichkeitsamplitude oder Wellenfunktion .

Der Betreiber p ^ , Anwendung auf einen Zustand oder eine Funktion abhängig von x , hat die Vertretung ich x (wir wählen hier die Einheit = 1 der Einfachheit halber).

So haben wir zum Beispiel: (1) x | p ^ | x ' = ich x | x ' | x ' == ich x ' x | x ' = + ich ( x ' δ ) ( x x ' )

Du hast :

a | p ^ | a = d x d x ' a | x x | p ^ | x ' x ' | a

= d x d x '     a ( x )     ich ( x ' δ ) ( x x ' )     a ( x ' )

(2) = d x d x '     a ( x )     ich δ ( x x ' )     x ' a ( x ' )

= d x     a ( x )     ( ich x )     a ( x )
In ( 2 ) , haben wir eine partielle Integration verwendet, unter der Annahme, dass die Wellenfunktion an der Grenze ausreichend schnell abnimmt.

Die gleichung p ^ | x = ( ich x ) | x , ist richtig, aber nicht sinnvoll, weil wir keinen Ausdruck für haben x | x . Eine nützlichere Gleichung bezieht sich auf Übersetzungsoperationen und lautet: e ich p ^ . a | x = | x + a oder x | e ich p ^ . a = x + a |

Abschließend Blick auf den Staat | ψ = | x 0 , die zugehörige Wellenfunktion ist x | x 0 = δ ( x x 0 ) , also ist der Mittelwert des Impulses in diesem Zustand:

(3) ψ | p ^ | ψ = d x δ ( x x 0 ) ( ich x ) δ ( x x 0 ) = ich δ ' ( 0 ) = 0

Dies ist leicht verständlich, denn wenn Sie die Position fixieren ( x = x 0 ), ist die Unsicherheit des Impulses unendlich, daher sind alle Impulse mit der gleichen Wahrscheinlichkeit autorisiert, sodass der Impulsmittelwert Null ist.

Ich würde sagen, dass ein Teil der Frage noch unbeantwortet ist. Das wäre, wie der Betreiber p ^ wirkt auf einen Zustand, der keine triviale Linearkombination der Ortseigenzustände ist.

Nehmen wir an, wir versuchen zu berechnen

x ^ | n = x ^ d x ' x ' | n | x ' ,
wo | n ist ein Zustand, der als lineare Kombination von Zuständen dargestellt werden kann | x . Um die Intuition zu erfassen, können wir den Fall überprüfen
x ^ | n = x ^ d x ' x ' | n | x ' ,
wo die Antwort sehr einfach ist, wie die | x ist Eigenzustand der x ^ Operator mit Eigenwert x
x ^ | n = d x ' x ' | n x ^ | x ' = d x ' x ' | n x ' | x ' .
Wenden wir die gleiche Argumentation auf den Ausgangsfall an, erhalten wir
x ^ d x ' x ' | n | x ' = d x ' x ' | n x ^ | x ' = d x ' x ' | n lim h 0 1 h ( | x ' + h | x ' ) ,
wobei ich einfach die Definition der Ableitung eines Vektors verwendet habe. Dann trennen wir einfach das Integral in zwei Teile und definieren die Integrationsvariablen neu, damit wir den Zustand extrahieren können
= lim h 0 1 h ( d x ' x ' | n | x ' + h d x ' x ' | n | x ' ) ,
= lim h 0 1 h ( d x x h | n | x d x ' x ' | n | x ' ) ,
= lim h 0 1 h d x ' ( x ' h | n x ' | n ) | x ' ,
aber dies ist die Ableitung der Koeffizienten
= d x ' ( x | n x ) | x = x ' | x ' ,
oder in einer vertrauteren Form mit der Wellenfunktion definiert als x | n = ψ n ( x )
x ^ | n = x ^ d x ' ψ n ( x ' ) | x ' = d x ' ψ n ' ( x ' ) | x ' .
Wenn Sie also mit der räumlichen Ableitung auf einen Zustand reagieren, erhalten Sie die Ableitung einer Wellenfunktion oder mit anderen Worten die Ableitung des Koeffizienten, der Ihnen die Abbildung von einem Zustand, den Sie differenzieren, auf die Positionsbasis liefert.

Beachten Sie, dass p ^ = ich x .

Setzen Sie dies in die angegebene Formel ein:

p = + a | x ( ich x ) x | a d x ,

was ergibt:

p = + a | x p ^ x | a d x .

Nun ist es ein bekanntes Ergebnis in der Quantenmechanik (Vollständigkeitsrelation), dass:

+ | x x | d x = 1 ,

Wenn wir dies also in den Ausdruck for setzen p wir bekommen:

p = a | p ^ | a ,

was wir beweisen mussten.

Sie können auch mit beginnen

p = a | p ^ | a ,

Stelle die Vollständigkeitsrelation

+ | x x | d x = 1

hinein und ersetzen p ^ von ich x .