Wie leitet man ab [xi,F(p⃗ )]=iℏ∂F(p⃗ )∂pi[xi,F(p→)]=iℏ∂F(p→)∂pi[x_i, F(\vec p)] = ich \hbar \frac {\partial F(\vec p)}{\partial p_i}

Wikipedia gibt an, dass die folgende Beziehung "leicht gezeigt" wird: [ X ich , F ( P ) ] = ich F ( P ) P ich , aber ich habe einige Probleme, es anzuzeigen. Ich glaube, ich vermassele nur die multivariable Taylor-Entwicklung (von F ( P ) ). Kann mich einer von euch durchgehen oder mich auf eine Website verlinken, die das tut? Danke.


Bearbeiten: Folgendes bekomme ich (ohne Verwendung von X = ich P was ich noch nicht bewiesen habe):

F ( P ) = F ( 0 ) + J = 1 3 F ( 0 ) P J P J + 1 2 k = 1 3 J = 1 3 2 F ( 0 ) P k P J P J P k +
So
( X ich F ( P ) F ( P ) X ich ) ψ
= X ich [ F ( 0 ) ψ ich J = 1 3 F ( 0 ) P J ( ψ ) J + 2 1 2 k = 1 3 J = 1 3 2 F ( 0 ) P k P J ( ψ ) J ( ψ ) k + ]
[ F ( 0 ) X ich ψ ich J = 1 3 F ( 0 ) P J ( X ich ψ ) J + 2 1 2 k = 1 3 J = 1 3 2 F ( 0 ) P k P J ( X ich ψ ) J ( X ich ψ ) k + ]

Wo

( X ich ψ ) J = X ich X J ψ + X ich ψ X J = δ ich J ψ + X ich ψ X J
Und
( X ich ψ ) J ( X ich ψ ) k = ( δ ich J ψ + X ich ψ X J ) ( δ ich k ψ + X ich ψ X k ) = δ J k ψ 2 + X J ψ ψ X k + X k ψ X J ψ + X ich 2 2 ψ X J X k

Daher:

( X ich F ( P ) F ( P ) X ich ) ψ
= X ich [ F ( 0 ) ψ ich J = 1 3 F ( 0 ) P J ψ X J + 2 1 2 k = 1 3 J = 1 3 2 F ( 0 ) P k P J ψ X J ψ X k + ]
[ F ( 0 ) X ich ψ ich J = 1 3 F ( 0 ) P J ( δ ich J ψ + X ich ψ X J ) + 2 1 2 k = 1 3 J = 1 3 2 F ( 0 ) P k P J ( δ J k ψ 2 + X J ψ ψ X k + X k ψ X J ψ + X ich 2 2 ψ X J X k ) + ]

Von hier aus sieht es nicht so aus, als würden sich diese Bedingungen höherer Ordnung alle aufheben.

Es ist im Grunde analog zu diesem physical.stackexchange.com/q/87038
@Bubble Das ist (für mich) viel einfacher, weil F ( X ) ist nur eine Funktion, während F ( P ) ist ein Operator und muss daher Taylor-entwickelt werden (glaube ich?).
In diesem Fall bin ich mir nicht einmal sicher P ich macht Sinn. Weil P ist nicht wirklich ein Vektor, oder? Es ist ich .
F für eine Funktion F ist ein Vektor. selbst ist kein Vektor, aber Sie können davonkommen, so zu tun, als ob es einer wäre. Wenn Menschen schreiben P ich = ich ich sie meinen wirklich P ich F = ich ( F ) ich , was durchaus Sinn macht. Solange du dich daran erinnerst wirkt schließlich auf etwas, und das erzeugt einen Vektor, man kann damit durchkommen, das vorzutäuschen ist ein Vektor.
Hallo @Bob Dylan. Kommentare: 1. Beachten Sie, dass der Positionsoperator X ^ ich und Impulsoperator P ^ J (bis auf ein Minuszeichen) treten gleichberechtigt in die CCR ein , vgl. obiger Kommentar von Bubble. 2. Beachten Sie auch, dass die gesuchte Formel unabhängig von der Operatordarstellung ist. Man kann zB in der Fourier-transformierten Impulsdarstellung arbeiten, oder man kann in einem Formalismus arbeiten, der offensichtlich unabhängig von der Darstellung ist.
@RobinEkman Es ist sinnvoller, Positions- und Impulsoperatoren als Matrizen mit Einträgen auf der Diagonale zu betrachten, insbesondere beim Übergang zum Dirac-Formalismus.
Ich bin mir nicht sicher, warum Sie das sagen würden F ( P ) ist ein Operator - es ist eine Funktion des Impulses, der äquivalent dargestellt werden kann als F ( X ) . Die Hälfte davon, wirklich gut im QM zu sein, besteht darin, die Basis nach Bedarf ändern zu können. In der QM sind Position und Impuls Fourier-Transformationen voneinander, was eine erstaunliche Symmetrie darstellt.

Antworten (3)

Wie @Qmechanic in einem Kommentar betonte, steht es uns frei, jede Operatordarstellung zu verwenden. Im Impulsraum, X ^ = + ich   / P Und P ^ = P , So

[ X ^ ich , F ( P ^ ) ] = [ ich P ich , F ( P ) ] = ich F [ P ich , F ( P ) ] F = ich F ( P ich [ F ( P ) F ] F ( P ) F P ich ) = ich F ( P ) P ich

Wählen Sie die Impulsdarstellung,

X ich = ich P ich

verteilen ich und wirken den Kommutator auf Vektor ψ ,

[ X ich , F ( P ) ] ψ = ich ( P ich ( F ( P )   ψ ) F ( P ) P ich ψ )

und wende die Produktregel an:

= ich ( F ( P ) P ich ψ + F ( P ) ψ P ich F ( P ) ψ P ich )

= ich F ( P ) P ich ψ .

Wir sind gegangen ψ unbestimmt, also:

[ X ich , F ( P ) ] = ich F ( P ) P ich

Die Kommutierung zweier Variablen kann in einigen Fällen mit der Poisson-Klammer über verknüpft werden

[ A ^ , B ^ ] = ich { A ^ , B ^ }
Daher,
(1) [ A ^ , B ^ ] = ich ich ( A Q ich B P ich A P ich B Q ich )
Formal A ^ = A ( Q ^ , P ^ ) Und B ^ = B ( Q ^ , P ^ ) . Sie sollten in der Lage sein, (1) zu verwenden, um Ihr Problem zu lösen. Beachten Sie jedoch, dass dies keine Lösung ist, die in allen Fällen funktioniert (vgl. this und this , auf die Qmechanic hingewiesen hat), da es sich um eine Annäherung handelt, die nur in bestimmten Fällen gilt.

Eine allgemeine Lösung beinhaltet die Moyal-Klammer ,

[ A ^ , B ^ ] { { A ^ , B ^ } } A ^ B ^ B ^ A ^
Wo bezeichnet das Moyal-Star-Produkt ( weitere Informationen zum Moyal-Produkt finden Sie in den Antworten in diesem Beitrag oder in diesem Beitrag ). Das obige kann dann geschrieben werden als
{ { A ^ , B ^ } } = { A ^ , B ^ } + Ö ( 2 )
Wo { , } hier ist die obige Poisson-Klammer und Ö ( 2 ) sind Korrekturen (bei der Poisson-Klammer als Deformationen bezeichnet ).

Somit wird Gleichung (1).

(2) [ A ^ , B ^ ] = ich ich ( A Q ich B P ich A P ich B Q ich ) + Ö ( 2 )

Kommentar zur Antwort (v1): Die Methode zum Ersetzen von Quantenkommutatoren [ F ^ , G ^ ] mit klassischen Poisson-Klammern { F , G } P B kann höhere Quantenkorrekturen verpassen, vgl. zB this , this und this Phys.SE posts. Auf die Frage von OP gibt die Poisson-Klammer zufällig die genaue Antwort.