In der Quantenmechanik lernte ich beim Studium des harmonischen Oszillators Leiteroperatoren kennen. Und mir wurde klar, dass Sie, wenn Sie in der Lage sind, einen beliebigen Energiezustand des harmonischen Quantenoszillators zu finden oder zu bestimmen, mit den Leiteroperatoren auch die anderen Energiezustände bestimmen können. In keinem der Texte, die ich gelesen habe, habe ich jedoch die folgende Tatsache gefunden:
Die durch das obige Verfahren, dh unter Verwendung des Kettenoperators, bestimmten Energiezustände sind die einzig möglichen Energiezustände des harmonischen Oszillators. Es gibt keinen Energiezustand, der nicht durch den Leiteroperator gegeben ist.
Das ist also meine Frage:
Sind die vom Leiteroperator bestimmten Energiezustände im Falle eines harmonischen Oszillators die einzig möglichen Energiezustände? Ist jeder andere Energiezustand möglich? Und was ist der Beweis?
Es ist allgemein bekannt, dass die oben genannten Zustände die einzig möglichen Energiezustände sind, aber ich möchte einen rigorosen Beweis dafür, dass kein anderer Zustand möglich ist. Das in verschiedenen Büchern erwähnte Analyseverfahren zeigt jedoch eine Näherungslösung der Schrödinger-Gleichung, die in dem Sinne als streng angesehen werden kann, dass sie die Gleichung löst, um die Lösungen abzuleiten, obwohl sie bestimmte Näherungen berücksichtigt.
Ich habe nach dieser Antwort in Büchern über Quantenmechanik gesucht, die von DJ Griffiths, Gasiorowicz, Dirac und Online-Ressourcen wie OCW, den Kursen der University of Columbia, caltech.edu geschrieben wurden, aber ich konnte keine richtige Antwort finden.
Das ist eine fantastische Frage! Lass uns anfangen.
Ich gehe davon aus, dass wir die Ladder-Operatoren bereits definiert haben und und haben einen "Grundzustand" definiert (wir haben immer noch nicht bewiesen, dass es der Grundzustand ist) so dass . Wir gehen auch davon aus, dass wir bereits wissen, dass der Hamiltonoperator des harmonischen Oszillators in der Form geschrieben werden kann
(Beachten Sie, dass der Grundzustand ist trivialerweise ein Eigenzustand mit .) Abschließend nehme ich an, dass wir bereits die Kommutierungsrelationen der Leiteroperatoren gezeigt haben. Nämlich,
Damit haben wir genug für einen Beweis.
Wir können einen Zustand definieren (vergessen wir vorerst die Normalisierung) as
wo ist eine nichtnegative ganze Zahl. Der Staat ist ein Eigenzustand des Hamiltonoperators mit Energie . Wir möchten zeigen, dass das Set sind alle möglichen normierbaren Eigenzustände des Hamiltonoperators.
Erinnern Sie sich an die Positionsdarstellung, wenn wir ein Potenzial haben , dann können wir keinen normierbaren Eigenzustand haben dessen Energie erfüllt . Das heißt, wir können keine Energie haben, die kleiner ist als die minimale potentielle Energie des Systems (dh die kinetische Energie muss positiv sein).
Nun schließen wir mit einem Widerspruchsbeweis ab. Betrachten Sie einen Eigenzustand dessen Energie gegeben ist durch , mit . Ein solcher Zustand würde im Wesentlichen jeden der "anderen" Zustände beschreiben zulassen könnte. Betrachten Sie nun den Staat . Mit der Kommutatoralgebra ist das nicht schwer zu zeigen hat Energie
Nun können wir einen Zustand einführen und definieren . Offensichtlich wird seine Energie durch gegeben
Sofern dieser Prozess also nicht irgendwann beendet wird (d. h. für einige ) können wir eine beliebig niedrige Energie erreichen. Allerdings könnte dieser Prozess nie enden, da der Grundzustand ist eindeutig (er ist in Bezug auf einen Positionsoperator und einen einzelnen Ableitungsoperator definiert, also definiert einfach eine Differentialgleichung erster Ordnung im Ortsraum) und hat Energie , dies kann für niemanden erreicht werden im angegebenen Bereich. Also kein solcher Zustand kann auftreten. Ebenso können wir keinen Zustand mit Energie haben nach der gleichen Logik.
Damit haben wir (sehr rigoros) gezeigt, dass die einzig normierbare von sind diejenigen mit Energie , die ausschließlich durch die Wirkung von Leiteroperatoren auf den Grundzustand erzeugt werden.
Ich hoffe, das hat geholfen!
(TL;DR – Wenn ein anderer Zustand existieren würde, hätte er eine Energie, die nicht der Form entspricht, die von Leiteroperatoren gegeben wird. Allerdings wirkt er viele Male auf diesen Zustand ein eine beliebig niedrige Energie erzeugen würde und somit ein solcher Zustand nicht existieren könnte.)
Um dies zu beweisen, müssen Sie den folgenden Satz kennen: Es gibt keine degenerierten gebundenen Zustände in 1D . Der Beweis ist im Link skizziert. Beim Oszillatorpotential ist jeder Eigenzustand ein gebundener Zustand, es gibt also keine Entartung im Spektrum.
Sobald wir das wissen, ist der Rest des Beweises ziemlich einfach. Im Folgenden ignoriere ich Normalisierung und set um die Notation zu erleichtern. Wir haben einen eindeutigen Grundzustand, gegeben durch , was befriedigt , und . Auf diesem Grundzustand definieren wir einen Turm von Zuständen , die befriedigen . Ich behaupte, dass dies alle Eigenzustände sind. Wir werden es durch Widerspruch beweisen.
Angenommen, es gibt einen anderen Eigenzustand das gehört nicht dazu . Dann . Unter Verwendung der Kommutierungsrelation von und , das kannst du zeigen ist auch ein Eigenzustand des Hamiltonoperators mit Eigenwert . Da wir wissen, dass die Eigenwerte nicht negativ sein können, bedeutet das für einige dieser Prozess muss beendet werden. Mit anderen Worten, für einige k gilt aber . Aber wenn das stimmt, hat zwangsläufig Energie , seit . Aber wir wussten auch, dass dieser Zustand Energie hatte . Daher, , oder .
Aber das ist ein Widerspruch! Das bedeutet, dass und die gleiche Energie haben. Da es also in 1D keine Entartung gibt, müssen sie den gleichen Zustand haben. Dies widerspricht unserer Annahme, dass war nicht in unserer ursprünglichen Liste der Staaten.
EDIT: Als Antwort auf Ihre Verwirrung in den Kommentaren würde vielleicht ein konkretes Beispiel helfen. Nehmen wir an, es gäbe einen Staat . Dann wäre ein Staat , und wäre ein Staat , usw. Dies ist nicht erlaubt, weil wir wissen, dass unser Hamiltonoperator nur nicht-negative Eigenvektoren hat, aber z .
Die einzige Möglichkeit, keine willkürlich negativen Eigenvektoren zu erhalten, besteht darin, irgendwann kein gültiger Zustand Ihres Systems mehr ist. Was ist ein ungültiger Zustand des Systems? Der Nullvektor ist der einzige Vektor im Hilbert-Raum, der kein erlaubter Zustand Ihres Systems ist. Irgendwann muss man also haben . Aber, wie ich oben argumentiert habe, haben impliziert, dass hat zwangsläufig Energie . Das bedeutet, dass Energie hatte , also ist . Das bedeutet es auch ist eigentlich nur , seit ist der einzigartige Vektor mit Energie
Nirgendwo haben wir davon ausgegangen war kein Staat wie . Aber wir haben bewiesen , dass wir, wenn es einen solchen Zustand gäbe, Leiteroperatoren verwenden könnten, um eine ganze Reihe von Zuständen mit beliebig negativen Energien zu erzeugen. Da wir wissen, dass unser Hamiltonoperator keine negativen Energiezustände hat, impliziert dies, dass ein Eigenzustand wie kann nicht existieren.
Hier nehmen wir an, dass der harmonische Quantenoszillator in einer algebraischen (im Gegensatz zu einer geometrischen) Einstellung gegeben ist. Sag, dass wir nur das wissen
In meiner Phys.SE-Antwort hier wurde mit diesen Annahmen dann gezeigt, dass das Punktspektrum der Zahlenoperator ist ist genau alle nicht negativen ganzen Zahlen
Insbesondere ist es möglich, alle (möglicherweise entarteten) Energieniveaus zu erreichen, indem man mit dem Erzeugungsoperator auf einen Vakuumzustand einwirkt .
Bei der algebraischen (im Gegensatz zu einer geometrischen) Einstellung gibt es jedoch eine Einschränkung: Der Vakuumzustand muss nicht eindeutig sein!
Beispiel:
Nehmen wir das an ist ein Eigenzustand von , dh , und das .
Dann seit
mit , für einige wir werden haben
mit
Wir werden jetzt beweisen, dass dies ein Absurdum ist . In der Tat, wenn ein Eigenwert gegeben ist von , wir haben
Wir schließen dann diese Hypothese ab muss falsch sein, und das muss eine nicht negative Ganzzahl sein.
Die von den Leiteroperatoren erzeugten Eigenfunktionen sind die Hermite-Funktionen , die eine vollständige Basis für sind . Es gibt also keine Zustände, die orthogonal zu ihnen sind.
Bob Knighton
Schrödingers Katze
Bob Knighton
Schrödingers Katze
Bob Knighton
Bob Knighton
ACuriousMind
Okazaki