Kann ich den quantenmechanischen Grundzustand gegen eine klassische Trajektorienverteilung austauschen und ihn nach dem Austausch stillstehen lassen?

Angenommen, ich habe ein einzelnes massives quantenmechanisches Teilchen drin d Maße ( 1 d 3 ), unter der Wirkung eines gut erzogenen Potenzials v ( r ) , und dass ich es auf dem Grundzustand absetzen lasse | ψ 0 seines Hamiltonian,

[ p 2 2 m + v ( r ) ] | ψ 0 = E 0 | ψ 0 .
Angenommen, weil ich QM hasse oder aus welchem ​​Grund auch immer, möchte ich diesen Zustand des Systems als ein Ensemble klassischer Trajektorien modellieren. (Realistischer wäre ich vielleicht daran interessiert, klassische Trajektorien-Monte-Carlo-Berechnungen (CTMC) einiger Wechselwirkungen durchzuführen, die mit dem vollständigen TDSE schwer zu modellieren sind.) Daher möchte ich ein klassisches Äquivalent zu meinem Grundzustand finden, das ich dann kann als Startbedingung für jede Simulation verwenden, die ich machen möchte.

Diese Wellenfunktion kann im Phasenraum auf verschiedene Weise untersucht werden, beispielsweise unter Verwendung von Wigner-Funktionen oder des Sudarshan P und Husimi Q Darstellungen, die alle unterschiedliche Sichtweisen auf den Staat und unterschiedliche quasi-klassische Wege bieten, ihn zu verstehen. Meine genaue Frage lautet wie folgt:

  • Gibt es eine Möglichkeit, Wellenfunktionen zu übersetzen? | ψ eines Quantensystems in Wahrscheinlichkeitsverteilungen ρ ( r , p ) über dem klassischen Phasenraum, so dass die Eigenzustände eines gegebenen Quanten-Hamilton-Operators stationäre Zustände der Liouville-Gleichung für das entsprechende klassische System sind?

Um ganz explizit zu sein, möchte ich eine Karte, die eine klassische Dichte mit den richtigen Positions- und Impulsverteilungen erzeugt, dh ρ ( r , p ) d p = | r | ψ | 2 und ρ ( r , p ) d r = | p | ψ | 2 , und idealerweise auch für alle möglichen Quadraturen in jedem beliebigen Winkel. Der Klassiker ρ ( r , p ) sollte unter Liouvilles Gleichung mit einem klassischen Hamiltonian stationär bleiben H ( r , p ) Das ist im allgemeinen Fall über eine klassische Grenze oder eine kanonische Quantisierung mit dem Quanten-Hamilton verbunden, aber ich beschränke dies gerne auf Hamiltons der Form H ( r , p ) = p 2 2 m + v ( r ) , in der die Korrespondenz offensichtlich ist.

Intuitiv weiß ich, dass ich nach der Übersetzung eine Fälschung bekomme ρ ( r , p ) das beschreibt nicht wirklich, was vor sich geht, aber zumindest möchte ich, dass es still sitzt, sobald ich die klassische Mechanik übernehmen lasse.

Ich bin sicher, dass ich hier weit daneben liege, aber ich habe ein Programm entwickelt, um 2D-Schnappschüsse von Schlitzstreifenmustern basierend auf klassischen Trajektorien zu simulieren. Einige meiner Simulatoren finden Sie unter billalsept.com
Entschuldigung, Bill, aber ich sehe überhaupt keine Relevanz Ihrer persönlichen Theorien zu dieser Frage, und ich denke nicht, dass dies der geeignete Ort ist, um sie zu bewerben.
Es ist keine Theorie, es ist ein Simulator und ich habe nur versucht zu helfen. Ich sagte, ich könnte daneben liegen. Es klang, als wollten Sie eine Teilchen- oder klassische Flugbahnlösung ableiten.
Ein paar Ideen: 1) Basierend auf arxiv.org/abs/0810.2394 , siehe dort Gleichung (10), beginnen Sie wie üblich mit einer polaren Zerlegung ψ = ρ e ich S / , identifizieren p S , und definieren Sie eine "Phasenraum-Wahrscheinlichkeitsverteilung" als ρ ( x , t ) δ ( p S ) . Stellen Sie dann den Lagrangian, Hamiltonian usw. ein, wie ausführlich in der Arbeit besprochen. 2) Abschnitt IV.2 in arxiv.org/abs/0712.1984 gibt einen anderen Weg zu Äquiv. Hamilton-Jacobi-Setup, vielleicht ist es einen Blick wert. Sobald HJ Gl. vorhanden sind, sollte die Übersetzung von/nach Schroedinger einfach sein.
Vielleicht sollten Sie mehr Einschränkungen angeben, sonst erledigt die Identität (die eine triviale klassische Beschreibung hat) den Job. Liege ich falsch?
@Bob Was genau meinst du mit der Identität?
Der Identitäts-Hamiltonian, dessen entsprechende Entwicklung offensichtlich klassisch gegossen werden kann. In diesem Fall ist jeder Zustand stationär, einschließlich der Eigenzustände Ihres Hamiltonoperators. Recht ?
@Bob Ich sollte denken, dass es offensichtlich ist, dass die Dynamik des klassischen Systems dem ursprünglichen Quantensystem entsprechen sollte (dh das klassische System ist die klassische Grenze des Quantensystems, oder das Quantensystem entsteht aus der klassischen Hamilton-Via (irgendeine Form von ) kanonische Quantisierung). Was Sie sagen, ist im Wesentlichen ein absichtliches Nichtlesen der Frage.
Kommentar zum Beitrag (v1): Meinst du mit dem Wort Wahrscheinlichkeitsverteilung Quasi-Wahrscheinlichkeitsverteilung?

Antworten (5)

Wenn Sie die Liouville-Gleichung nehmen und festlegen ρ t = 0 , damit die Wahrscheinlichkeitsdichte nicht von der Zeit abhängt, erhält man (in einer Dimension):

ρ r r ˙ + ρ p p ˙ = 0

Nun, wenn Sie Hamilton-Gleichungen verwenden, um es zu wissen r ˙ und p ˙ in Bezug auf die Ableitungen des Hamiltonoperators

ρ r H p ρ p H d r = 0

Welches ist die Poisson-Klammer von ρ und H . Wenn die Wahrscheinlichkeitsdichte nur eine Funktion des Hamilton-Operators ist, verschwindet die Poisson-Klammer.

Das ist auf jeden Fall interessant. Zwei Anmerkungen: (i) Es ist nicht klar, wie restriktiv der Ansatz ist – ich vermute „ziemlich“. Noch wichtiger ist, dass (ii) der Quantenzustand irgendwie verschwunden ist, obwohl er durch seinen Eigenwert as wiederhergestellt werden kann ρ ( r , p ) = δ ( H ( r , p ) E n ) . Welche Garantien gibt es dann, dass die resultierenden Randwerte für Ort und Impuls mit den Quanteneigenzuständen übereinstimmen? Wenn dies fehlschlägt, ist es interessant, aber nicht so nützlich für CTMC-Anwendungen.
Allerdings gibt es einen schnelleren Weg, um dorthin zu gelangen - indem man einfach feststellt, dass die stationäre Liouville-Gleichung die Form hat { ρ , H } = 0 , mit { · , · } die Poisson-Klammer, und dass alle ρ = f ( H ) wird das trivialerweise befriedigen. Es gibt wahrscheinlich tatsächlich eine Umkehrung, die diese Form aus der Gleichung zeigt - aber ob sie für die Verbindung mit den Quanteneigenzuständen nützlich ist oder nicht, ist nicht so trivial.
Als Idee, wenn man die klassische Wahrscheinlichkeitsverteilung nimmt ρ = 1 / r ˙ ( r ) , mit r ˙ = 2 m ( E v ( r ) ) , sieht es aus wie die Quantenverteilung, wenn die Quantenzahlen groß sind. (Siehe zum Beispiel dieses Bild ). Diese Wahrscheinlichkeitsdichte könnte in der klassischen Mechanik stationär oder nahezu stationär sein, und die Wahrscheinlichkeitsdichte der Quanteneigenzustände konvergiert dagegen.

Die Pilotwellentheorie von Bohm-De-Broglie bietet eine Konstruktion eines Quants Ö ( 2 ) Korrektur des ursprünglichen Hamilton-Operators zusammen mit einem klassischen Partikel-Ensemble, das fast genau das tut, wonach Sie fragen. Der korrigierte Hamiltonoperator H B liest

H B = p 2 2 m + v ( x ) 2 2 m Δ ρ ρ ,
wo ρ = f d p . Die Phasenraumverteilung in n Abmessungen wird dann als konstruiert
f ( x , p ) = | ψ | 2 δ ( n ) ( p ( ψ ψ ) ) ,
wo ψ ist die ursprüngliche Wellenfunktion, die wir nachahmen wollen. Es ist offensichtlich, dass wir zumindest für die Anfangsbedingung haben werden ρ = | ψ | 2 und
v p m f d p = m ( ψ ψ ) .
Weniger offensichtlich ist, dass dieses Ensemble mit dem Hamiltonian H B entspricht voll und ganz der Evolution von ψ . Mit anderen Worten, die Formel für f Liouville-entwickelt von H B entspricht dem obigen in Bezug auf ψ entwickelt durch die Schrödinger-Gleichung. Dies gilt nicht nur für Grundzustände, sondern auch für allgemeine instationäre Zustände .

Man kann die Äquivalenz ableiten, indem man die Schrödinger-Gleichung betrachtet, Putt ψ = ρ exp ( ich S / ) , und Dolmetschen S wie die klassische Hamilton-Jacobi-Aktion. (Weitere Einzelheiten finden Sie auf der Wiki-Seite von Bohm-De-Broglie .)

Übrigens scheint etwas Ähnliches wie das, was Sie zu tun versuchen, bei numerischen Berechnungen in der Quantenchemie durchgeführt worden zu sein, siehe das Buch Applied Bohmian Mechanics: From Nanoscale Systems to Cosmology .

Es scheint, dass die angestrebte halbklassische Umsetzung von OP mit Hilfe des Groenewold-Moyal-Star-Produkts möglich ist , dh Liouvilles Gl. wird

(1) 0   =   d ρ d t   =   1 ich [ ρ , H ] + ρ t .

Insbesondere ein Eigenzustand | ψ eines gegebenen Quanten-Hamilton-Operators H ^ (so dass der Dichteoperator ist ρ ^ = | ψ ψ | ) ein stationärer Zustand der Liouville-Gleichung (1) für das entsprechende semiklassische System, dh die Wigner-Quasiwahrscheinlichkeitsverteilung ρ und die Hamilton-Funktion H wird pendeln.

Wir haben die folgende Notation verwendet. Das -Kommutator ist definiert als

(2) [ f , g ]   :=   f g g f .
Die Zuordnung von Operator zu Funktion/Symbol f ^ f ist durch die Wigner-Transformation gegeben . Die inverse Karte f f ^ ist durch die Weyl-Transformation gegeben , vgl. zB dieser Phys.SE Beitrag. Beachten Sie, dass der Dichteoperator ρ ^ und die Wigner-Quasiwahrscheinlichkeitsverteilung ρ ist ein Beispiel für ein Operator-Symbol/Funktions-Paar. Wir betonen, dass die Funktion/Symbol f wird im Allgemeinen von der Planckschen Konstante abhängen . Siehe auch zB meine Phys.SE-Antworten hier und hier . B. der Heisenberg-Operator Gl. der Bewegung

(3) d f ^ d t   =   1 ich [ f ^ , H ^ ] + f ^ t

entspricht

(4) d f d t   =   1 ich [ f , H ] + f t

für Funktionen/Symbole f . Liouvilles Gl. (1) ist ein Spezialfall von Gl. (4) mit f = ρ .

Es ist möglich, die Konstruktion auf andere Quasiwahrscheinlichkeitsverteilungen und Operatorordnungen mit ihren entsprechenden assoziativen Sternprodukten zu verallgemeinern. Wir glauben, dass die Verwendung von Star-Produkten in der generischen Konstruktion erforderlich ist.

Moment mal, ich bin mir nicht sicher, ob ich das verstehe. Wenn ich es richtig verstehe, sagen Sie, dass die Wigner-Verteilung bereits einer Liouville-ähnlichen Gleichung folgt, außer dass sie mit höheren Potenzen von korrigiert werden muss ?
Ja.
Hmmm okay. Um dies auf den Geist der Classical Trajectory Monte Carlo (CTMC) zurückzubringen, können Sie dann kommentieren, ob die modifizierte Liouville-Gleichung eine Lösung nach Merkmalen zulässt und was das Äquivalent der Hamilton-Gleichungen für diese Trajektorien wäre?
Die Methode der Quanteneigenschaften wird auf dieser Wikipedia-Seite diskutiert.

Ich meine, hier ist, wie ich es in einer Dimension angehen würde ...

Betrachten Sie die kohärenten Zustände a   | a = a ^ | a generiert durch x ^ = λ ( a ^ + a ^ ) / 2 , und p ^ = ich   μ ( a ^ a ^ ) / 2. Sie haben daher relativ gut definierte Positionen x = λ ( a ) , und Momente p = μ ( a ) ; Tatsächlich sind sie meiner Meinung nach Gaußsche ( x , p ) Raum nur mit ihrer Nullpunktschwankungsgröße. Noch wichtiger ist, dass sie die Identität mit einem Kernel auflösen, 1 ^ = C d 2 a   κ ( a )   | a a | . Beachten Sie, dass diese zwar für den harmonischen Oszillator Hamiltonian abgeleitet sind ϵ a ^ a ^ , was dazu führt, dass sie schöne Kreise im Phasenraum beschreiben, genau wie ein tatsächlicher harmonischer Oszillator, es ist nicht erforderlich, dass Sie sie tatsächlich nur mit diesem Hamiltonian verwenden .

Es ist also eine Kandidatenverteilung darzustellen | ψ 0 als eine Funktion C C wie ψ 0 ( a ) = a | ψ 0 , woraus wir etwas Dichte gewinnen könnten ρ ( a ) = κ ( a )   ψ 0 ( a )   ψ 0 ( a ) , Verlust der Quantenphase, aber notwendigerweise Erhaltung der   d 2 a   ρ ( a ) = 1. Dann gibt es eine schöne Interpretation von ρ ( x , p ) = ρ ( x / λ + ich p / μ ) / ( λ μ ) , Im Wesentlichen laufen die obigen Erwartungswerte "umgekehrt".

Die Integration d p   ρ ( x , p ) = d x '   d p   δ ( x x ' )   ρ ( x ' , p ) wird dann:

C d 2 a   κ ( a ) ψ 0 | δ ( x a ) | a a | ψ 0 .
Ob wir das ersetzen können, muss ich mir noch überlegen δ ( x a ) mit dem Beobachtbaren | x x | , aber unter der Annahme, dass dies wahr ist, erledigt die Auflösung der Identität den Rest der Arbeit für uns, und wir würden es einfach bekommen ψ 0 | x x | ψ 0 wie gewünscht, und es gibt keinen offensichtlichen Grund dafür, dass dies für eine bestimmte Quadratur spezifisch ist, als für alle Quadraturen zu gelten. Es ist also ein sehr "offensichtlicher" Weg, etwas zu konstruieren, das "größtenteils" richtig ist.

Das Letzte, was zu beweisen ist, ist, dass das Ergebnis ρ ( a ) ist auch unter der Liouville-Gleichung stationär, aber da sie von a stammt | ψ 0 was unter dem Hamilton-Operator stationär ist, scheint es wahrscheinlich, als Spezialfall von Ehrenfests Theorem ... also ist es eine einfältige Konstruktion, aber ich würde es nicht ausschließen.

Sicher, es sieht vernünftig aus, aber es ist für mich überhaupt nicht offensichtlich, dass diese Dichte stationär sein wird. Dasselbe könnte man über die Darstellungen Husimi Q und Sudarshan P sagen (sie sind beide gebacken | ψ kombiniert mit | a ), aber wenn das gleiche Verfahren für alle drei perfekt funktioniert, dann ist da definitiv etwas nicht Triviales im Gange.
Hm. Nach innen schauen und ignorieren λ , μ für eine Sekunde gibt | x + ich p = exp ( ( x 2 + p 2 ) / 2 ) ( x + ich p ) n / n !   | n bei dem die | n sind SHO-Eigenfunktionen; das scheint sich zu beweisen x | x + ich p = x | x + ich p + a a / ( x + ich p ) | x + ich p , und die erste x kann natürlich durch ersetzt werden ( a + a ) / 2 oder was auch immer es ist. Diese wird dann mit multipliziert H / p , aber wenn wir den gleichen Trick gemacht haben H ^ bekommen H ( x , p ) = x + ich p | H ^ | x + ich p Wir hätten eine weitere Reihe von Bedingungen. Darüber werde ich auf jeden Fall noch weiter nachdenken.

Ich bin spät in der Diskussion, und ich habe Feinheiten verpasst; aber ich könnte das Problem mit einfachen Paradigmen angehen: Nun, der Oszillator ist so klassisch wie Quantensysteme. Bei richtiger Normalisierung ist die Trajektorie jedes Systems dafür eine starre Rotation im Phasenraum, sowohl für jede Wigner-Funktion (Groenewold, 1946) als auch für ihre klassische Grenz-Liouville-Dichte: f ( x , p ; t ) = f ( x cos t p Sünde t , p cos t + x Sünde t ; 0 ) ,Geben Sie hier die Bildbeschreibung ein

Ein stationäres Quantensystem ist eine axialsymmetrische Wigner-Funktion, und dasselbe gilt für seine klassische Liouville-Dichte: Was passiert, ist, dass eine stationäre Konfiguration nur das Integral über alle Phasen (nennen Sie sie Startzeiten!) Jeder Konfiguration ist. Da sich alles im Gleichschritt dreht, erscheint (ist) die Konfiguration stationär, sowohl quanten- als auch klassisch-mechanisch.

Dies ist zum Beispiel der 2. angeregte Zustand des Oszillators bei Skalen Ö ( ) ,Geben Sie hier die Bildbeschreibung ein

aber es ist nichts falsch daran, ein riesiges (makroskopisches) kollektives System im Phasenraum zu betrachten ... von der Größe eines Erstsemesterlabors, das axialsymmetrisch ist, ein dicker Schwarm nicht wechselwirkender geladener Teilchen, die in einem Feld im Gleichschritt schwingen, nachdem sie ihre Schwingungen überhaupt gleichmäßig begonnen haben Momente des Schwingungszyklus. (Du hast jetzt nicht "realistisch" gesagt...)

Die Anfangsverteilung kann positiv semidefinit und axialsymmetrisch gewählt werden: Sie muss kein reiner Stern-Eigenzustand sein: Sie dreht sich trotzdem starr und simuliert eine Liouville-Dichte.

Aber auf jeden Fall ist dies der einfachste Weg, das Konzept zu veranschaulichen: Stationarität, zumindest für periodische Bewegung, kann sehr wohl auf ein perfekt phasenverschmiertes Ensemble hinauslaufen.

Der Oszillator ist jedoch insofern etwas Besonderes, als die Wigner-Dichte-Evolute genau dieselbe Funktion der Evolution von x und p ist und eine axialsymmetrische Konfiguration stationär ist. Praktisch einzigartig, mit Ausnahme von Systemen, die darauf abgebildet werden können. Dies ist nur eine konzeptuelle Existenzdemonstration, keine Methode. Ich bin mir nicht sicher, ob G Braunss 2009 nützlich ist, aber da ist es ...

Dies ist etwas problematisch, wenn die Wigner-Funktion negativ ist, aber was noch wichtiger ist, ich vermute, dass sie nur aufgrund der Isoperiodizität des harmonischen Oszillators funktioniert. Dort können Sie einen stationären Zustand herstellen, indem Sie mit einer gewissen Dichte beginnen und dann über eine Periode mitteln, aber wenn Sie ein anharmonisches System haben, über welches Zeitintervall mitteln Sie? Wenn dies andererseits zum Laufen gebracht werden kann, z. B. für einen anharmonischen 1D-Oszillator oder für ein Wasserstoffproblem (mit definit l , sagen) dann wäre es viel stärker.
Wie Sie sagen, ist die Sorge um negative Werte verwerflich: Sie können Ihre positiv-definite anfängliche symmetrische Konfiguration, einen gemischten Zustand, keinen Sternenzustand, manuell auswählen, um axialsymmetrisch zu sein, und es bleibt so. In der Tat veranschauliche/intuiere ich nur ein Prinzip für den Oszillator, der fast klassisch ist, und jedes andere System, das ihm durch Haken oder Gauner zugeordnet werden kann ...
Sicher, aber die Hauptrichtung der Frage besteht darin, ein willkürliches Potenzial zu betrachten, das möglicherweise sehr weit von der Harmonie entfernt ist, und sich mit allem Möglichen zu begnügen, anstatt zu versuchen, die Aufmerksamkeit auf das zu beschränken, was in den einen Fall gesteckt werden kann, der perfekt funktioniert.
Oh, Sie wollen eine Methode ... keine Anleitung zur Existenzdemonstration. Nie gesehen. Aber haben wir nicht genau deshalb QM?
Ja, deshalb haben wir QM ;-), aber manchmal ist die TDSE sehr teuer (wie die Arten von TDSE-Lösungen von A Scrinzi , wegen des Geschmacks), so dass die Leute oft auf klassische Trajektorien-Monte-Carlo-Methoden ( Beispiel ) zurückgreifen, um sie zu bekommen ein bisschen mehr Einblick in dynamische Prozesse, ohne die Bank zu sprengen. Diese Frage lautete, ob Sie für diese Art von Simulation einen vernünftigen Ausgangspunkt für den Grundzustand erhalten können (wobei Ihre Observable zB Ionisation mit Rückstreuung ist).
Ich sehe den Punkt ... ah, "Geld" ... Bei unseren Waldbewohnern Monte-Carlo ist der Weg integral ... halbklassische Methoden erscheinen dagegen widerspenstig ... Braunss hat versucht und sich verirrt ... .
Ja, nun, es ist nicht nur Geld – wenn eine Simulation zwei Jahre dauert, selbst mit unbegrenzter Finanzierung, wie viel kann man dann wirklich damit anfangen? Aber ja, das ist die Art von Sichtweise, aus der diese Frage kam.
Ich hätte nie gedacht, dass ich mal auf YouTube verlinken würde, aber dieser Quartpotential-WF von Cabrera erinnert einen daran, warum Quantenbahnen keine gute Idee sind...