Warum entdimensionalisieren wir die Schrödinger-Gleichung bei der Lösung des harmonischen Quantenoszillators?

Ich habe gelesen, wie man die Schrödinger-Gleichung für den harmonischen Quantenoszillator in einer Dimension löst. Es begann mit der Schrödinger-Gleichung,

p 2 2 m ψ ( x , t ) + 1 2 m ω 2 x 2 ψ ( x , t ) = E ^ ψ ( x , t )
Es ergibt für mich Sinn; das sieht nach Energieeinsparung aus. Aufstellen von Differentialgleichungen für den Impulsoperator,
2 2 m 2 x 2 ψ ( x , t ) + 1 2 m ω 2 x 2 ψ ( x , t ) = E ^ ψ ( x , t )
Dann versuchen sie, die Dimensionen aus der Gleichung zu entfernen, also ersetzen sie E ^ mit einem dimensionslosen ϵ irgendwie, und teilen Sie den gesamten Ausdruck durch . Dann beginnen sie eine Reihe verwirrender Substitutionen, die mathematisch korrekt sind, aber scheinbar keine physikalische Bedeutung haben. Ich verstehe nicht, warum wir so etwas tun. Was ist falsch daran, einfach bei diesen Differentialgleichungen zu bleiben und auf Zahlen zu warten, die Sie einsetzen und lösen/integrieren können?

Diese Quelle sagte, dass sie versuchen, diese Gleichung zu vereinfachen, weil sie sehr chaotisch und schwer zu lösen ist, aber wenn Sie nur Terme ersetzen und streichen, fügen Sie keine neuen Informationen hinzu. Wenn wir also den Gleichungen keine Informationen hinzufügen, wozu dann diese zufällig aussehenden Substitutionen? Ich sehe keine Bedeutung darin, die Energie ohne Dimensionen auszudrücken.

WP Due Diligence.

Antworten (5)

Wenn wir also den Gleichungen keine Informationen hinzufügen, wozu dann diese zufällig aussehenden Substitutionen?

Diese Substitutionen sind sehr hilfreich. Nicht wegen der Hinzufügung neuer Informationen (wie Sie erwähnt haben, lernen wir nichts, was wir vorher nicht wussten), sondern weil sie uns sehen lassen, was wir bereits haben. Sie lassen Sie auch das System beobachten, wie ich es gerne nenne, was im Wesentlichen bedeutet, dass Sie viel mehr erraten können, ohne auf Computerwerkzeuge zurückzugreifen.

Nachdem Sie diese Substitutionen vorgenommen haben,

  1. Sie können sich leicht vorstellen, was passieren würde, wenn Sie die Proportionen zwischen den Eingabewerten ändern (dies ist ein allgemeiner Vorteil der Nichtdimensionalisierung).

  2. Sie können mögliche Lösungen leicht „erraten“.


Hier ist eine Erklärung:

Sie sind die Ersetzungen nicht durchgegangen, daher hier ein kurzer Überblick über den Lösungsprozess. Sie können jede Phase überprüfen, um sicherzustellen, dass Sie sehen, was genau mit den Dimensionen der Gleichung passiert. Beginnen Sie mit der Schrödinger-Gleichung,

( P 2 2 m + 1 2 ω 2 x 2 ) ψ ( x , t ) = E ψ ( x , t )
(Beachten Sie, dass die LHS der Hamilton-Operator ist, H = T + v = ( P 2 2 m + 1 2 ω 2 x 2 ) , und das ist alles eindeutig dimensional korrekt)

Sie kennen das Konzept der Nicht-Dimensionierung, also überfliege ich es: nehmen ϵ = E ω , und erhalten (nachdem Sie Ihren Momentum-Operator und so erweitert haben)

m ω 2 x 2 ψ ( x , t ) 2 m ω 2 x 2 ψ ( x , t ) = ϵ ψ ( x , t )
Im Moment gibt es keinen offensichtlichen Unterschied zwischen dieser Gleichung und dem Original mit E Darin: Obwohl es etwas sauberer aussieht, ist beim Betrachten nichts trivial offensichtlich. Versuchen wir also ein anderes Paar Substitutionen, x = a u und a = m ω . Die meisten Bücher zeigen diese Ersetzungen nacheinander, mit Erweiterungen der Gleichung in jeder Phase, aber da die Frage besagt, dass sie bereits mathematisch selbsterklärend sind, gehe ich direkt zum Ergebnis der Anwendung dieser Ersetzungen und Vereinfachungen . Du bekommst diesen magisch sauberen Ausdruck,
u 2 ψ ( x , t ) 2 u 2 ψ ( x , t ) = 2 ϵ ψ ( x , t )
Oder, wenn ich mit der Notation etwas lockerer sein darf,
ψ + u 2 ψ = 2 ϵ ψ
und
ψ = ( u 2 2 ϵ ) ψ

Dies ist unter bestimmten Bedingungen offensichtlich recht einfach zu lösen. Wir können raten, was passiert, wenn u : der ϵ -verwandte Terme werden vernachlässigbar klein, also lösen wir ψ = u 2 ψ . Und das ist leicht zu erraten; die Ergebnisse liegen in der Richtung von ψ = EIN u k e u 2 / 2 . Das ist natürlich nicht etwas, was Sie erreichen könnten, wenn Sie es nicht hätten u auf dem Bild, und wenn Sie nicht eingeführt hatten ϵ , wäre es schwierig gewesen, genau herauszufinden, welche Terme an Null angenähert wurden. Ein ähnlicher Prozess kann befolgt werden, um Lösungen für anzunähern u 0 .


Der nächste offensichtliche Vorteil des Entfernens der Einheiten ist die Sauberkeit und Allgemeingültigkeit der Berechnungen für verschiedene Größenordnungen. Es ist eine gängige Technik, anzunehmen, dass alle anderen Einheiten in einem System solche Werte annehmen = 1 und c = 1 . Es erleichtert viele Berechnungen. In diesem Fall stellen wir die Energieeinheiten ( E ) als ω (nur um zu prüfen, hat Aktionseinheiten, [ E   T ] (Ich verwende eine nicht standardmäßige [ E ] für Energie) und ω ist Frequenz, [ T 1 ] ). Wir skalieren auch die Länge auf m ω . Durch das Festlegen dieser Werte ist es außerdem einfach, intuitive Vermutungen über das Ausmaß des Problems anzustellen (dies ist ein allgemeinerer Vorteil des Entfernens von Dimensionen und nicht sehr spezifisch für den harmonischen Quantenoszillator). Dies macht es einfach, dieselbe Gleichung für Systeme mit unterschiedlichen Größenordnungen zu verwenden (z. B. Situationen, in denen die Amplitude u ist wirklich winzig und Situationen, in denen es riesig ist), ohne das Verständnis und das "Gefühl" für das zu verlieren, was vor sich geht.

Gibt es einen Fehler in der Mathematik, wo Sie ersetzen u in die Gleichung? Ich weiß nicht, wo die 2 geht. Mein Buch sagt, dass wir nehmen sollten E = 1 2 ϵ ω stattdessen.
@J.Doe Nein, es ist in Ordnung; Ich habe es gerade noch einmal überprüft. Sie werden feststellen, dass die RHS jetzt ist 2 ϵ ψ ( x , t ) . Viele Ressourcen verwenden die Substitution ϵ = 2 E ω , aber wir müssen uns nicht allzu sehr um diese Konstanten kümmern: Es reicht aus, einfach sicherzustellen, dass sie nicht verschwinden und tatsächliche Fehler verursachen. Wenn Sie möchten, können Sie die loswerden 2 s ohne viel zu schaden.
In die Note that the LHS is the HamiltonianGleichung haben Sie einen Fremdkörper eingefügt ψ ( x , t ) .
@Ruslan Das ist umstritten: Ich habe nicht angegeben, dass ich speziell über den Hamilton-Operator spreche. Man trägt normalerweise einen Hut darüber H dafür. Aber da es eine seltsame Diskrepanz zwischen den beiden Seiten der Gleichung zu geben scheint, habe ich das entfernt.

Bei Ihrem spezifischen Problem und angesichts der Allgegenwart des harmonischen Oszillators bedeutet der Wechsel zu dimensionslosen Variablen, dass Sie dieselbe grundlegende Lösung für eine große Anzahl von Problemen verwenden und die spezifische Lösung, die Sie benötigen, durch einfaches Anpassen der verschiedenen Skalen erhalten können.

Ganz allgemein gibt es dafür eine Reihe guter Gründe. Erstens bietet das Auffinden „natürlicher“ Einheiten normalerweise einen Einblick in die verschiedenen Größenordnungen eines Problems. Zweitens bereinigt die Verwendung dieser natürlichen Einheiten normalerweise die resultierenden Gleichungen. Als dritter, aber weniger wichtiger Grund ist die Verwendung eines Systems "natürlicher" Einheiten, bei denen Zahlen nicht klein oder groß sind, rechnerisch vorteilhaft.

Betrachten Sie den radialen Teil χ ( r ) = r R ( r ) der Schrödinger-Gleichung für das Wasserstoffatom. Es ist die Lösung der Differentialgleichung

(1) 2 2 m d 2 d r 2 χ ( r ) + ( e 2 4 π ϵ 0 r + 2 2 m ( + 1 ) r 2 ) χ ( r ) = E χ ( r )
wo m ist die Elektronenmasse, ist die reduzierte Planck-Konstante, E ist die zugehörige Energie zu χ ( r ) , und ist eine ganze Zahl.

Führen Sie den Bohr-Radius als Längeneinheit ein, definiert als

a 0 = 4 π 2 2 ϵ 0 π m e 2 = 4 π 2 ϵ 0 m e 2 ,
und die dimensionslose Größe ρ = r / a 0 .

Schreiben Sie das Coulomb-Potential in Bezug auf die dimensionslose Variable um ρ , wir bekommen

v ( r ) = e 2 4 π ϵ 0 r = e 2 4 π ϵ 0 m e 2 ( 4 π ϵ 0 ) 2 1 ρ = m e 4 ( 4 π ϵ 0 ) 2 4 1 ρ = v ( ρ ) .
Durchführung der Substitution von r zu ρ , wandelt die Differentialgleichung in um
m e 4 2 ( 4 π ϵ Ö ) 2 2 d 2 d ρ 2 χ ( ρ ) + [ m e 4 ( 4 π ϵ Ö ) 2 4 ρ + m e 4 2 ( 4 π ϵ Ö ) 2 2 ( + 1 ) ρ 2 ] χ ( ρ ) = E χ ( ρ ) .
Die Bohr-Energie
E ¯ = m e 4 2 ( 4 π ϵ Ö ) 2 2 13.6 e v   2.2 × 10 18 J
ist eine naheliegende Wahl für eine Energiewaage.

Eine durchgehende Division durch diesen ergibt den viel saubereren Ausdruck

d 2 d ρ 2 χ ( ρ ) + [ 2 ρ + ( + 1 ) ρ 2 ] χ ( ρ ) = E E ¯ χ ( ρ )
vollständig in Bezug auf die dimensionslosen Variablen
v ¯ ( ρ ) = v ( ρ ) E ¯ = 2 ρ , v = E E ¯ .

Dies zeigt, dass wir, indem wir einfach zu dimensionslosen Koordinaten gehen, ein Gefühl für die Energien bekommen, die in der Atomphysik involviert sind: nicht MeV oder GeV, nur eV. Darüber hinaus sind Größen in der Atomphysik normalerweise die Größe des Bohr-Radius, dh 10 11 m . Wir müssen nie kleine Mengen manipulieren, wie z 10 18 J oder 10 11 m .

Diese Form ist nicht nur sauber, sondern auch für Computerlösungen zugänglich: Computer arbeiten nur mit dimensionslosen Größen, in dem Sinne, dass ihnen die Wahl der Einheiten egal ist.

Es gibt zwei Hauptgründe:

  • Es liefert einen wichtigen physikalischen Einblick in die charakteristischen Dimensionen des Systems und wie diese von den Basisparametern abhängen.
  • Es entfernt notationelle Unordnung und macht die Gleichung einfacher zu handhaben.

Wie Sie anmerken, ändert die Entdimensionalisierung einer Differentialgleichung sie nicht grundlegend und macht sie nicht auf magische Weise lösbarer. Alle Änderungen sind kosmetischer Natur, aber kosmetische Änderungen sind immer noch wichtig; Wir sind Menschen mit begrenztem Affengehirn, und eine einfachere Notation erleichtert die Zeit.


Der wichtigste Grund ist jedoch, dass Sie aus dem Prozess wichtige physikalische Erkenntnisse gewinnen. Die zeitunabhängige Schrödinger-Gleichung für das Problem,

2 2 m 2 x 2 ψ ( x ) + 1 2 m ω 2 x 2 ψ ( x ) = E ψ ( x ) ,
hat drei relevante Dimensionsparameter, m , ω und , und wenn Sie dreidimensionale Parameter haben, die einen dreidimensionalen Raum von Mengen abdecken (z [ m ] = [ M ] , [ ω ] = [ T 1 ] und [ ] = [ M L 2 T 1 ] alle algebraisch unabhängig sind), dann haben Sie ein starres System im Sinne des Buckingham-Pi-Theorems : Zwei beliebige Kopien des Problems haben das gleiche Verhalten und sind bis zu einer Neuskalierung identisch.

(Andererseits, wenn Sie einen vierten Parameter innerhalb dieses dreidimensionalen Raums hinzufügen, wie z. B. einen quartischen Term 1 4 a x 4 , dann haben Sie einen verbleibenden 'Form'-Parameter, und nicht alle Kopien des Systems haben ein isomorphes Verhalten. Aber ich schweife ab.)

Auch hier ermöglicht die Tatsache, dass man drei Parameter hat, eindeutig bestimmte Kenngrößen für alle physikalischen Größen zu bilden, insbesondere auch

  • eine charakteristische Länge, / m ω ,
  • eine charakteristische Dynamik, m ω ,
  • eine charakteristische Energie, ω ,

und durch sie jede andere Dimension, die Sie benennen möchten. Das heißt, wenn wir die Variablensubstitutionen machen

x = / m ω   ξ p = m ω   π E = ω   ϵ ,
Was wir tun, ist eine einzige kanonische Kopie des Problems zu identifizieren,
1 2 2 ξ 2 ψ ( ξ ) + 1 2 ξ 2 ψ ( ξ ) = ϵ ψ ( x ) ,
zusammen mit der kanonischen Neuskalierung, die Ihnen sagt, was die relevanten Längen- und Energieskalen für das Problem sind.


Und sobald Sie die Gleichung in einer Form ohne äußere Parameter haben, ist die einzige freie Handhabe die entdimensionalisierte Energie ϵ , wird viel klarer, welche Parameter wichtig sind und welche nicht (oder besser gesagt, die Parameter, die keine Rolle spielen, wurden weggewischt). Die resultierende Differentialgleichung ist mathematisch äquivalent zu dem, womit Sie begonnen haben, aber Sie haben Unordnung entfernt und das macht es einfacher, damit zu arbeiten, besonders wenn Sie dies als Teil eines größeren Systems einbeziehen.

Dies scheint der Antwort des Stuhls zu widersprechen: Das sagt, wir sollten nehmen ξ = m ω , ϵ = E / ω .
Nein – die Antwort des Vorsitzenden ist richtig und stimmt mit dieser überein. Sie interpretieren die Handhabung der Position durch den Vorsitzenden falsch. Sie haben die Energie korrekt angegeben, aber sie stimmt vollständig mit dieser Antwort überein.

Es gibt bereits sehr gute Antworten zu Ihrer konkreten Differentialgleichung. Ich möchte auf die Aussage eingehen

Wenn Sie jedoch nur Begriffe ersetzen und stornieren, fügen Sie keine neuen Informationen hinzu.

Es ist wahr, dass Sie keine "neuen Informationen hinzufügen", aber Sie können Informationen offenlegen, die auf den ersten Blick nicht sichtbar sind. Hier ist ein sehr einfaches Beispiel auf Highschool-Niveau. Betrachten Sie das typische Problem, einen Ball hochzuschießen und die Flugbahn zu beschreiben. Angenommen, wir schießen den Ball aus der Höhe 0 , bei einer Geschwindigkeit von 10 Frau. Dann wird die Höhe des Balls dargestellt, in Metern und mit t in Sekunden, durch

h ( t ) = 1 2 g t 2 + 10 t .
Angenommen, Sie werden gebeten herauszufinden, zu welcher Zeit die Höhe des Balls maximal ist und wie hoch diese maximal ist. Wenn Sie sich mit Analysis auskennen, können Sie nach dem suchen t so dass x ' ( t ) = 0 , und dann auswerten x dabei t . Aber ohne Kalkül zu kennen und ein bisschen "Ersetzen und Aufheben von Termen" zu machen, könnten wir bekommen
h ( t ) = 1 2 g ( t 2 20 g t ) = 1 2 g ( t 2 20 g t + 400 g 2 400 g 2 ) = 1 2 g ( t 20 g ) 2 + 200 g .
Jetzt h wird so ausgedrückt, dass wir sofort sehen können, dass die maximale Höhe positiv ist, da der erste Term niemals positiv ist 200 / g Meter, und das tritt genau auf 20 / g Sekunden.

Wir Physiker arbeiten mit Dimensionen. Mathematiker arbeiten jedoch mit dimensionslosen Parametern, wie z x und j . Für uns, x wären Meter, aber für einen Mathematiker x R .

Es stellt sich also heraus, dass es eine Differentialgleichung namens "Hermitesche Differentialgleichung" gab, die vor QM bekannt war. Da es sich um ein mathematisches Problem handelte, wurde es in Bezug auf angegeben x und j , nicht "dimensionale" Mengen.

Was wir also herausfanden, war, dass nach all diesen Substitutionen der harmonische Quantenoszillator zu dieser HERMITE-Gleichung wurde. Und das war großartig, weil wir die Lösung dafür bereits kannten.

Hätten wir diese Gleichung nicht gekannt, hätten wir kaum die Lösung gefunden. Denken Sie daran, dass es für die meisten QM-Probleme keine analytischen Lösungen gibt.

Also rein historisch? Wäre es nicht einfacher, alle Zahlen einfach in einen Gleichungslöser zu geben? Es wäre sicherlich weniger verwirrend.
eigentlich finde ich das nicht ganz richtig. Es ist durchaus möglich, die ODE zu lösen, ohne den spezifischen "Namen" der Differentialgleichung zu kennen: Die Methode der Potenzreihen wird genau dies tun, und auf diese Weise werden häufig Lösungen für den radialen Teil des SE des 3D HO präsentiert. Es ist einfach so, dass viele ODEs, die üblicherweise beim Lösen des SE für einfache Potentiale auftreten, zuvor untersucht wurden, aber es gibt viele Beispiele - Poeshl-Teller, Morse usw. - wo die Lösung in Form von hypergeometrischen Funktionen ausdrückbar ist, ohne "special Namen" zu den jeweiligen Lösungen.