Matrixelemente des Impulsoperators in Ortsdarstellung

Ich habe zwei verwandte Fragen zur Darstellung des Impulsoperators in der Ortsbasis.

Die Wirkung des Impulsoperators auf eine Wellenfunktion besteht darin, sie abzuleiten:

P ^ ψ ( X ) = ich ψ ( X ) X

(1) Kann man daraus schließen, dass:

X | P ^ | X ' = ich δ ( X X ' ) X ?

Und was bedeutet dieser Ausdruck?

(2) Verwendung der Gleichungen:

X | X ^ P ^ | X ' X = X | P ^ X ^ | X ' X ' = X | P ^ | X '

Und

X | [ X ^ , P ^ ] | X ' = ich δ ( X X ' )

das kann man ableiten

X | P ^ | X ' = ich δ ( X X ' ) X X '

Ist diese Gleichung ok? Folgt es darauf

δ ( X X ' ) X = δ ( X X ' ) X X ' ?

Seien Sie auch vorsichtig mit der Division durch X X ' da dies nur wann definiert ist X X ' . Beachten Sie in der Tat, dass @Qmechanic darauf achtet, seine Identitäten zu schreiben, ohne jemals durch zu dividieren X X ' .
Danke für alle Antworten. Siehe auch Ron Maimons Antwort hier (in der von @Qmechanic vorgeschlagenen Frage), die meine Frage auch ziemlich genau beantwortet.

Antworten (3)

1) Beachten Sie, dass wir durch Einfügen eines vollständigen Satzes von Positionszuständen schreiben können

P ^ ψ ( X ) = X | P ^ | ψ = D X ' X | P ^ | X ' X ' | ψ = D X ' X | P ^ | X ' ψ ( X ' )
also wenn wir setzen
X | P ^ | X ' = ich X δ ( X X ' ) = ich X ' δ ( X X ' )
dann können wir die partielle Integration verwenden, um zu erhalten
P ^ ψ ( X ) = ich D X ' X ' δ ( X X ' ) ψ ( X ' ) = ich D X ' δ ( X X ' ) D ψ D X ' ( X ' ) = ich D ψ D X ( X )
Dein Ausdruck ist also richtig. Die Ableitung einer Delta-Funktion wird im Wesentlichen durch die Integration durch Teilemanipulation definiert, die ich gerade durchgeführt habe; Tatsächlich werden Ableitungen von Verteilungen im Allgemeinen auf analoge Weise definiert. Siehe zum Beispiel diesen Vortrag .

Hoffentlich hilft das; lasst mich wissen, wenn es Tippfehler gibt!

Beifall!

1) Benutzer joshphysics hat die 1. Frage von OP bereits richtig beantwortet.

2a) In Bezug auf die 2. Frage von OP wird eine abgeleitet

ich δ ( X X ' )   =   ich X | X '   =   X | [ X ^ , P ^ ] | X '   =   X | X ^ P ^ | X ' X | P ^ X ^ | X '
(A)   =   ( X X ' ) X | P ^ | X '   = ( 1 )   ich ( X X ' ) X δ ( X X ' ) .

Mit anderen Worten,

(B) δ ( X X ' )   =   ( X X ' ) X δ ( X X ' ) ,

was auch durch Unterscheidung der Identität folgt

(C) ( X X ' ) δ ( X X ' )   =   0

wrt. X .

2b) Gl. (B) sollte nicht auf beiden Seiten geteilt werden. X X ' . Das Problem ist im Wesentlichen, dass die Verteilung 1 X δ ( X ) ist schlecht definiert.

Ein Argument, warum dies so ist, geht ungefähr so. Erinnern Sie sich an diese eine Möglichkeit, eine Verteilung zu verstehen u ist auf reibungslose Testfunktionen zu evaluieren G : R C . Zum Beispiel, wenn die Verteilung u die Dirac-Delta-Verteilung ist , dann per Definition

(D) u [ G ]   :=   G ( 0 ) ,

oder äquivalent, in einer vielleicht vertrauteren Notation,

(E) R D X   δ ( X ) G ( X )   :=   G ( 0 ) .

Man kann im Allgemeinen nicht multiplizieren 1 zwei Verteilungen, aber man kann eine glatte Funktion multiplizieren F : R C mit einer Verteilung u . Das Produkt F u ist definitionsgemäß

(F) ( F u ) [ G ]   :=   u [ F G ] .

Also wenn u ist die Dirac-Delta-Verteilung, bekommt man

(G) ( F u ) [ G ]   :=   F ( 0 ) G ( 0 ) .

Im Fall von OP, wenn wir versuchen, einzustellen F ( X ) = 1 X , Dann F ( 0 ) wäre schlecht definiert.

Ein weiteres, weniger formelles Argument ist das, wenn wir fälschlicherweise akzeptieren 1 X δ ( X ) als Verteilung, dann neigen wir zu scheinbar bedeutungslosen Widersprüchen a la

X ( 1 X δ ( X ) )   =   X ( 1 X δ ( X ) )   =   ( X 1 X ) δ ( X )
(H)   =   ( 1 X X ) δ ( X )   =   1 X ( X δ ( X ) )   =   1 X 0   =   0 , (Falsch!)

dh wir haben die Assoziativität der Multiplikation verloren.

--

1 Wir ignorieren die Colombeau-Theorie . Siehe auch diesen Mathoverflow-Beitrag.

Dieses zusätzliche Detail war sehr schön; Ich finde alle Ihre Beiträge zu Distributionen hilfreich; danke Qmechaniker.

@joshphysics hat hervorragend illustriert, warum Ihr erster Teil, dh ⟨x|p^|x′⟩=−iℏ∂δ(x−x′)∂x? steht im Einklang mit der Quantenmechanik;

Lassen Sie uns Ihren zweiten Teil eher intuitiv überprüfen.

Denn allgemein gilt:

X G ( X ) F ' ( X ) D X = F ( X ) D D X ( X G ( X ) ) D X = F ( X ) ( X G ' ( X ) + G ( X ) ) D X
Wenn
F ( X ) = δ ( X )
Wir schließen daraus:

F ( X ) ( X G ' ( X ) + G ( X ) ) D X = δ ( X ) G ( X ) D X = X G ( X ) δ ' ( X ) D X

Daher

δ ' ( X ) = 1 X δ ( X )

Gilt in der Mathematik