3D-Lösungen für die 1D-Schrödinger-Gleichung?

Die allgemeine Schrödinger-Gleichung in 3d ist

ich ψ T ( R , T ) = 2 2 M 2 ψ ( R , T ) + v ( R ) ψ ( R , T ) .

Bedenke das jetzt

v ( X , j , z ) = v ( X )
für eine univariate Funktion v . Dann können wir zeigen, dass sich in diesem 1d-Potential die obige Gleichung auf die oft zitierte 1d-Schrödinger-Gleichung reduziert, dh es existiert eine bivariate Funktion ϕ so dass in der obigen Gleichung
ψ ( X , j , z , T ) = ϕ ( X , T )   ?

Um dies zu zeigen, müssen wir nur das zeigen ψ / j Und ψ / z sind null. Aber setzen v ( X , j , z ) = v ( X ) , das ist alles was ich sehe ψ / j Und ψ / z sind auch die Lösungen der obigen Gleichung, was im Allgemeinen nicht bedeutet, dass sie Null sind.

Frage: Bedeutet das, dass man auch für 1d-Potentiale Lösungen haben kann, die nicht 1d sind?

Ich bin mir nicht sicher, warum Sie glauben, dass dies der Fall sein sollte. C 1 e ich k 1 R ich E k 1 T + C 2 e ich k 2 R ich E k 2 T ist eindeutig eine Lösung der Freiteilchen-Schrödinger-Gleichung und keineswegs eine Wellenfunktion, die nur von einer Ortskoordinate abhängig ist.

Antworten (3)

Der allgemeine Ansatz ist der für Schrödinger-Gleichungen, bei denen das Potential trennbar ist (in dem Sinne, dass v ( X , j , z ) = v 1 ( X ) + v 2 ( j ) + v 3 ( z ) ) dann gibt es eine Basis von hamiltonschen Eigenfunktionen, die separabel sind (in dem Sinne, dass ψ ( X , j , z ) = ϕ ( X ) χ ( j ) ξ ( z ) ). Im Allgemeinen gibt es aber auch nicht separierbare Eigenfunktionen der Hamiltonfunktion.

Bei der zeitabhängigen Schrödinger -Gleichung hängen die Details nicht nur vom Potential, sondern auch von der Anfangsbedingung ab. Es gibt viele trennbare Lösungen, und wenn die Anfangsbedingung trennbar ist, bleibt die Lösung trennbar. Wenn Sie umgekehrt mit einer nicht-separablen Anfangsbedingung beginnen, bleibt die Lösung nicht-separierbar.


Die Trennbarkeit der zeitunabhängigen Gleichung wird in jedem Lehrbuch ausführlich behandelt, daher werde ich stattdessen zeigen, wie dies für die zeitabhängige Version funktioniert. Angenommen, wir beginnen mit der Schrödinger-Gleichung in der Form

(1) ich T ψ ( X , j , z , T ) = [ 2 2 M 2 + v 1 ( X ) + v 2 ( j ) + v 3 ( z ) ] ψ ( X , j , z , T ) .
Wenn Sie eine allgemeine Lösung für diese Gleichung wünschen, müssen Sie eine Anfangsbedingung angeben. Lassen Sie uns in Ermangelung dessen einige besondere Lösungen untersuchen, und insbesondere lasst uns trennbare untersuchen, dh Lösungen der Form
(2) ψ ( X , j , z , T ) = ϕ ( X , T ) χ ( j , T ) ξ ( z , T ) .
Wenn Sie diese einstecken ( 1 ) , ist es leicht zu sehen, dass eine hinreichende Bedingung für ( 1 ) zu halten ist, wenn jede der einzelnen 1D-Schrödinger-Gleichungen gilt:
ich T ϕ ( X , T ) = [ 2 2 M 2 X 2 + v 1 ( X ) ] ϕ ( X , T ) (3) ich T χ ( j , T ) = [ 2 2 M 2 j 2 + v 2 ( j ) ] χ ( j , T ) ich T ξ ( z , T ) = [ 2 2 M 2 z 2 + v 3 ( z ) ] ξ ( z , T ) .
(Auch dies stellt sich als notwendige Bedingung heraus. Die vollständige Gleichung ( 1 ) , wenn geteilt durch ψ ( X , j , z , T ) , kommt auf eine Summe von drei Termen hinaus, von denen jeder ausschließlich von abhängt X , j Und z , bzw. bei fest T . Dies ist nur möglich, wenn alle drei Terme einheitlich Null sind.)

Wie hängt das mit deiner Frage zusammen? In deinem Beispiel v 2 ( j ) = 0 = v 3 ( z ) , so finden Sie eine Basis von TDSE-Lösungen des Formulars

χ k ( j , T ) = e ich ( k j ω k T ) , ξ k ( z , T ) = e ich ( k z ω k T ) ,
mit ω k = 2 M k 2 . Das spezifische Beispiel, das Sie gefunden haben, verwendet den Sonderfall von χ k ( j , T ) Und ξ k ( z , T ) mit k = 0 . Dies dient dazu, zu verschleiern, was wirklich passiert: Ihre Lösung sieht aus wie ein 1D-Problem, weil es tatsächlich drei 1D-Lösungen im Tensorprodukt miteinander sind, von denen zwei trivial sind.

Also, mit diesem Hintergrund, um Ihre Frage zu beantworten:

Bedeutet das, dass man auch für 1d-Potentiale Lösungen haben kann, die nicht 1d sind?

ja, absolut . Jede Lösung der j Und z Schrödinger-Gleichungen funktionieren hier.

Nun, es gibt immer noch einen Sinn, in dem diese Lösungen "effektiv 1D" sind, in dem Sinne, dass keine der separaten 1D-Schrödinger-Gleichungen miteinander sprechen und die Wellenfunktion trennbar bleibt. Und das wirft die Frage auf: Gibt es Lösungen, die nicht trennbar sind?

Auch hier lautet die Antwort: Ja, absolut . Aufgrund der Linearität der Schrödinger-Gleichung bei zwei beliebigen trennbaren TDSE-Lösungen ψ 1 ( X , j , z , T ) = ϕ 1 ( X , T ) χ 1 ( j , T ) ξ 1 ( z , T ) Und ψ 2 ( X , j , z , T ) = ϕ 2 ( X , T ) χ 2 ( j , T ) ξ 2 ( z , T ) , ihre Linearkombination

ψ ( X , j , z , T ) = ψ 1 ( X , j , z , T ) + ψ 2 ( X , j , z , T )
ist auch eine TDSE-Lösung. Und wie sich herausstellt, ob die einzelnen Komponenten ψ 1 ( X , j , z , T ) Und ψ 2 ( X , j , z , T ) unterschiedlich genug sind (z. B. als eine mögliche hinreichende Bedingung, χ 1 ( j , T ) Und χ 2 ( j , T ) orthogonal sind) dann kann man beweisen, dass die Linearkombination ψ ( X , j , z , T ) kann nicht als Produkt einzelner 1D-Lösungen ausgeschrieben werden.

Das erwähnst du ( 3 ) ist auch eine notwendige Bedingung für ( 2 ) . Aber das ist alles, was ich daraus schließen kann
ich ϕ T ( X , T ) [ 2 2 M 2 ϕ X 2 ( X , T ) + v 1 ( X ) ] = C 1 ( T ) , ich χ T ( X , T ) [ 2 2 M 2 χ X 2 ( X , T ) + v 2 ( X ) ] = C 2 ( T ) , ich ξ T ( X , T ) [ 2 2 M 2 ξ X 2 ( X , T ) + v 3 ( X ) ] = C 3 ( T ) ,
Wo
C 1 ( T ) + C 2 ( T ) + C 3 ( T ) = 0.
Das ist fast richtig Sie haben Faktoren von verpasst ϕ ( X , T ) (usw.) auf der rechten Seite dieses Systems (und nach dem v ich ; Auch ). Die Integrationskonstanten C ich ( T ) auf der rechten Seite kann dann eliminiert werden, indem die abhängigen Variablen in geändert werden ϕ ~ ( X , T ) = e ich 0 T C 1 ( τ ) D τ ϕ ( X , T ) . Wenn du es brauchst ϕ ( X , T ) um dann normalisiert zu bleiben C ich ( T ) real sein müssen, und die Faktoren der e ich 0 T C ich ( τ ) D τ sind nur einzelne Phasen.
Außerdem seit ich C ich ( T ) = 0 , ihr Produkt muss konstant bleiben, also ist es im Grunde irrelevant (es spiegelt nur die natürliche Mehrdeutigkeit in der Phase wider, wie man trennt ψ ( X , j , z , T ) in ein Produkt von Wellenfunktionen).
Erstens, du bist ein Genie! Wirklich beeindruckt von Ihrer mathematisch präzisen Physik (eine Eigenschaft, die ich selten finde!). Zweitens schäme ich mich für meinen Fehler in meinem Kommentar; Ich wünschte, ich könnte es reparieren. Drittens denke ich, dass zu beseitigen C ich sollten Sie haben 1 / auch in der Exponentialfunktion für Ihren Vorschlag ϕ ~ .
@Atom In der Tat fehlt ein Faktor von 1 / , und die Zeichen müssen doppelt überprüft werden. Aber das sind Details, die Sie klären müssen ;-).
Ich verstehe nicht, warum das Produkt von C ich 's muss konstant sein. Kannst du helfen, das zu sehen?
Es ist nicht das Produkt von C ich ( T ) Das muss konstant sein - es ist das Produkt der relevanten Phasen,
u ( T ) = e ich 0 T C 1 ( τ ) D τ e ich 0 T C 2 ( τ ) D τ e ich 0 T C 3 ( τ ) D τ ,
da seine Ableitung proportional zu ist ( C 1 ( T ) + C 2 ( T ) + C 3 ( T ) ) u ( T ) .
Danke vielmals! Habe es! :)

Die Antwort ist nein. Sie verwechseln Domänen Ihrer Funktionen, weshalb Sie ein solches Ergebnis erhalten. Es gibt einen sehr großen Unterschied zwischen einem dreidimensionalen Potenzial, das nur davon abhängt X und ein richtiges eindimensionales Potential. Denken Sie daran, dass eine Funktion definiert wird, indem Domänen und dann eine Regel angegeben werden. Die Regel mag dieselbe sein, aber die Domänen unterscheiden sich. Zum Beispiel, wenn wir haben F ( X ) = X Und G ( X , j , z ) = X , das sind sehr unterschiedliche Funktionen; man ist eine Funktion aus R Zu R , während der andere eine Funktion von ist R 3 Zu R ( F : R R , G : R 3 R ).

Sagen wir, wir haben zwei Potentiale, v 1 Und v 2 . Diese liefern für alle die gleichen Ergebnisse X , Aber v 1 ist eine Funktion einer Variablen und v 2 eine Funktion von drei. Für das eindimensionale Potential haben wir

v 1 : R R ich T X | ϕ ( T ) = 2 2 M X 2 X | ϕ ( T ) + v 1 ( X ) X | ϕ ( T )
Beachten Sie, dass dies eindimensional ist: Der Laplace-Operator wird X 2 Und | ϕ ( T ) ist eine Funktion von X allein. Kommen wir nun zu drei Dimensionen:
v 2 : R 3 R ich T X , j , z | ψ ( T ) = 2 2 M 2 X , j , z | ψ ( T ) + v 2 ( X ) X , j , z | ψ ( T )
Beachten Sie, dass v ( X ) bleibt in der Form genau gleich, aber es ist jetzt im Kontext des dreidimensionalen Raums; Wir haben die Domain erweitert. Somit sind die Lösungen jetzt von der Form ψ ( X , j , z , T ) , aber die Lösungen im ersten Fall sind in der Form ϕ ( X , T ) . Auch dies sind nicht die gleichen, und v 1 Und v 2 sind nicht das Gleiche; während sie für jeden die gleiche Antwort geben X , ihre Domänen sind unterschiedlich und somit sind sie unterschiedliche Funktionen. Also nein, man kann keine dreidimensionalen Lösungen für ein eindimensionales Problem haben.

Um dies zu zeigen, müssen wir nur das zeigen ψ / j Und ψ / z sind null.

Nein, das ist falsch. Diese müssen nicht Null sein.

Stattdessen können Sie die Schrödinger-Gleichung lösen

ich ψ T ( X , j , z , T ) = 2 2 M 2 ψ ( X , j , z , T ) + v ( X ) ψ ( X , j , z , T ) .
durch Trennung der Variablen mit dem Ansatz
ψ ( X , j , z , T ) = A ( X ) B ( j ) C ( z ) D ( T ) .
Wo A , B , C Und D sind unbekannte Funktionen von nur einer Variablen.
Dann finden Sie ganz einfach die Lösungen für die j -, z - Und T -abhängige Teile
B ( j ) = B 0 e ich k j j C ( z ) = C 0 e ich k z z D ( T ) = D 0 e ich ω T
Wo k X , k j Und ω sind beliebige reelle Konstanten.
Und Sie haben eine gewöhnliche Differentialgleichung für die übrig X -abhängiger Teil:
( ω 2 ( k j 2 + k z 2 ) 2 M ) A ( X ) = 2 2 M D 2 A ( X ) D X 2 + v ( X ) A ( X ) .

Danke! Eine Frage: Sie schränken Ihre ein k j , k z , ω reell sein, da Sie eine reelle Differentialgleichung haben wollen A ( X ) (vorausgesetzt v ist eine reelle Funktion), richtig? Aber warum willst du eine echte Differentialgleichung haben? A ( X ) ?
@Atom Nein, das ist nicht der Grund. Die Konstanten ( k j , k z , ω ) müssen echt sein, weil sonst ψ ( X , j , z , T ) dazu neigen würde an einer Seite. Und es besteht keine Notwendigkeit für eine echte A ( X ) .
Oh, schade, dass ich das nicht sehen konnte!