Wie kann ich beweisen, dass die Wellenfunktion im Laufe der Zeit normalisiert bleibt?

Unter Ausnutzung der Schrödinger-Gleichung und ihrer Konjugierten können wir das zeigen

Ψ ˙ = ich 2 M 2 Ψ ich U Ψ
Ψ ˙ = ich 2 M 2 Ψ + ich U Ψ
So
| Ψ | 2 T = ich 2 M ( Ψ 2 Ψ Ψ 2 Ψ )
Ausnutzung der Vektoridentität F 2 G = ( F G ) G F (mit F Und G Skalarfelder) und dem Divergenzsatz (wir integrieren über v ), können wir auf diese Weise neu anordnen
D D T v | Ψ | 2 D v = ich 2 M S [ Ψ Ψ ( Ψ ) Ψ ] D S
Sie finden diesen Ausdruck in Bransden & Joachains "Physics of Atoms and Molecules" (Seite 69 der 2. Auflage). Nun, um das zu zeigen Ψ im Laufe der Zeit normal bleiben, das sollten wir zeigen
S [ Ψ Ψ ( Ψ ) Ψ ] D S 0
wenn die Oberfläche S umfasst sozusagen den gesamten 3-dimensionalen Raum (und ggf v | Ψ | 2 D v ist endlich). In Kapitel eins zeigt Griffiths dies im eindimensionalen Fall (und nicht ganz zufriedenstellend), aber was ist mit dem realistischeren dreidimensionalen Fall?

Antworten (3)

Für alle praktischen Zwecke in der Physik ist die Existenz von v | Ψ | 2 D v kommt mit Ψ ( X , T ) geht auf 0 als X geht zu + während die räumlichen Ableitungen begrenzt bleiben. Somit geht dein letztes Integral gegen 0.

Wie Valter Moretti in den Kommentaren betonte, ist es einfach, eine zu bauen Ψ so dass R 3 | Ψ | 2 D v ist endlich aber Ψ geht ins Unendliche als X geht zu + . Das ist bereits in 1D möglich. Sehen Sie sich diese Frage zu Fragen und Antworten zu Mathematik und die Handvoll Antworten an, um die Idee zu bekommen, und mischen Sie das dann mit diesem Trick , um reibungslose Funktionen zu erhalten. Erschütterung und Verzweiflung bei Mathematik … Glücklicherweise stellt sich heraus, dass wir Physiker es geschafft haben, solche Probleme ohne nennenswerte Gegenreaktion sicher zu ignorieren.

Nun, eigentlich die Tatsache, dass wenn | F | 2 hat dann endliches Integral F Das Argument verschwindet im Großen und Ganzen ist selbst unter Berücksichtigung glatter Funktionen falsch. Ich denke, dass der Beweis der Erhaltung der Norm nicht auf diese Weise erbracht werden kann, da dies streng davon abhängt, dass der Hamilton-Operator selbstadjungiert (nicht einfach hermitesch) ist. Selbstadjungierte Operatoren sind nicht auf Räumen glatter Funktionen definiert. Dieser Weg könnte höchstens einige Anregungen geben ...
@ValterMoretti: Das Ergebnis und der Beweis der Erhaltung der Norm eines reinen Zustandsrepräsentanten unter der als "Zeitentwicklung" bezeichneten Transformation ist eigentlich das umgekehrte Theorem von Stone. Dies ist bekanntermaßen wahr.
Ja, sicher, treiben Sie die Konvergenz voran, indem Sie die Funktion auf Null setzen, wenn Mengen von Maßen gegen 0 gehen, während die Funktion für den Rest gegen unendlich geht, und mit dem üblichen Trick von Testfunktionen mit kompakter Unterstützung, der in der Verteilungstheorie verwendet wird, können wir dies tatsächlich tun eine solche Funktion glatt.
Aber gut, das ist Physik!
Tatsächlich bezog ich mich nur auf Stones Theorem. Der Hamiltonian H der S.-Gleichung betrachtet ist eine PDE normalerweise nur auf einem Raum glatter Funktionen im Wesentlichen selbstadjungiert. Um zum einheitlichen zeitlichen Evolutor zu gelangen, muss man den Bereich bis zum Abschluss erweitern H ¯ von H . Der Operator, der die Norm bewahrt, ist e ich T H ¯ .
Dieser Operator wandelt normalerweise glatte Funktionen in nicht glatte Funktionen um.
@ Luc J. Bourhis Ideed, es ist Physik. Aber Sie haben sich auf eine mathematische Eigenschaft bezogen. Meine Ansicht ist folgende. Es gibt zwei Möglichkeiten. Oder man beweist Behauptungen mit Mathematik oder man geht von plausiblen physikalischen Hypothesen aus. Die Aussage des OP ist physikalisch plausibel ( ψ verschwindet im Unendlichen) und man könnte dort aufhören. Der Versuch, heikle Details zu reparieren, erfordert eine heikle Mathematik.
@ValterMoretti (seufz) Ich glaube, ich bin schizophren…
Keine Sorge, das passiert mir sehr oft :)
@ValterMoretti Ich sehe, dass das Problem subtil ist, zumindest mehr als es scheint. Ich frage mich, ob wir eine Begründung finden können, die beweist, dass diese pathologischen Funktionen physikalisch nicht akzeptabel sind. Es scheint, dass sie nicht als falsch zurückgewiesen werden können, wie es manchmal in der Physik zu Recht geschieht. Zumindest verstehe ich nicht warum. Ähnlich verhält es sich mit der Forderung, dass Psi endlich ist: Es ist leicht einzusehen, dass dies für die Normierung nicht notwendig ist, und es ist nicht selbstverständlich, warum in einem unendlichen sphärischen Loch die Unendlichkeit von Psi abgelehnt wird (siehe Griffiths Kapitel 4 ).
@Fausto Vezzano Der Punkt ist, dass das Problem nicht von Grund auf gut gestellt ist. Die Schrödinger-Gleichung ist keine Standard-PDE, weil die T -Ableitung wird in Bezug auf die Topologie des Hilbert-Raums berechnet, während die anderen Ableitungen nur in einem geeigneten Bereich Standard sind. Erhaltung der L 2 -Norm wird innerhalb dieser Formulierung durch das Stone-Theorem garantiert. Versuche, das gleiche Ergebnis in einer reinen PDE-Interpretation zu erhalten, sind sehr schwierig.
Zunächst sollte man beweisen, dass die Lösungen, die einer bestimmten Klasse von Anfangsbedingungen zugeordnet sind, zu jeder festen Zeit schnell im Raum verschwinden (einschließlich räumlicher Ableitungen), und dass die Existenz dieser Klasse stark von der Art von abhängt U . Wenn einfach U = 0 die oben erwähnte Klasse ist der Schwartz-Raum: Anfangsbedingung darin erzeugt Lösungen darin. Es ist plausibel, dass lokalisierte glatte Funktionen funktionieren U haben analoge Eigenschaften bezüglich Lösungen mit Anfangsdaten im Schwartz-Raum, aber ich kenne keine Ergebnisse dieser Art: Ich interpretiere die Schrödinger-Gleichung in L 2 Sinn.
Denn das ist die richtige Quanteninterpretation. Als Standard-PDE hat die Schrödinger-Gleichung mehrere nicht-physikalische Merkmale, die denen der Heide-Gleichung ähnlich sind, angesichts der unendlichen Geschwindigkeitsausbreitung von Störungen (die Gleichung ist nicht hyperbolisch), aber anders als die Wärmegleichung reguliert die Schrödinger-Gleichung nicht (z die Wärmegleichungslösungen sind viel glatter als die Anfangsbedingung).
Danke schön. Das sieht mir zu hart aus, aber ich werfe nicht das Handtuch.

Die Antwort von @LucJ.Bourhis liefert die erforderlichen Informationen zum Warum S 0 als die Größe von S . Genauer gesagt, untersuchen Sie das Normierungsintegral in Kugelkoordinaten:

N | Ψ | 2 R 2 Sünde θ D R D θ D ϕ .
Damit N endlich sein, lim R R 3 + ϵ | Ψ | 2 = 0 für einige ϵ > 0 (dh das Argument des radialen Integrals muss schneller verschwinden als 1 / R ). Untersucht man die Komponenten des Gradienten von | Ψ | 2 (gleich dem Argument von S nach der Produktregel) werden Sie feststellen, dass sie wie zumindest die Ableitung der Obergrenze verschwindet | Ψ | 2 . Mit der oberen Grenze an | Ψ | 2 Sein R 3 ϵ , dann die Obergrenze an | R | Ψ | 2 | Ist R 4 ϵ . Diese Frage zu math.stackexchange ist relevant, ob dieser Beweis stichhaltig ist.

Das Erklären, warum die Winkelkomponenten irrelevant sind, bleibt als Übung.

warum muss ich mitteln? | Ψ | 2 T = Ψ ˙ Ψ + Ψ Ψ ˙ , wo ist der Faktor 2?
@FaustoVezzaro Kritik entfernt - es ist falsch.

Für ein System mit Hamiltonoperator H ^ , die zeitliche Entwicklung eines beliebigen Zustands | Ψ ( R , T ) regiert wird

(1) ich T | Ψ ( R , T ) = H ^ | Ψ ( R , T ) .

Wir können den Adjoint von Gl. (1) und es liest

(2) ich T Ψ ( R , T ) | = Ψ ( R , T ) | H ^ .

Beachten Sie, dass wir annehmen, dass der Hamiltonoperator hermitesch ist, daher auf der rechten Seite von Gl. (2) , H ^ wurde ersetzt durch H ^ .

Nun kommen wir zur ursprünglichen Frage, nämlich der zeitlichen Entwicklung der Normalisierung N ( T ) := Ψ ( R , T ) | Ψ ( R , T ) der Wellenfunktion. Daher möchten wir folgende Größe auswerten --

N ˙ ( T ) = T Ψ ( R , T ) | Ψ ( R , T ) .

Wir gehen vor wie

N ˙ ( T ) = T Ψ ( R , T ) | Ψ ( R , T ) , = ( T Ψ ( R , T ) | ) | Ψ ( R , T ) + Ψ ( R , T ) | ( T | Ψ ( R , T ) ) , = 1 ich ( ich T Ψ ( R , T ) | ) | Ψ ( R , T ) + Ψ ( R , T ) |   1 ich   ( ich T | Ψ ( R , T ) ) , = 1 ich   ( Ψ ( R , T ) | H ^ ) | Ψ ( R , T ) + Ψ ( R , T ) |   1 ich   ( H ^ | Ψ ( R , T ) ) , U S ich N G   E Q S . (1) & (2) = 1 ich   Ψ ( R , T ) | H ^ | Ψ ( R , T ) + 1 ich   Ψ ( R , T ) | H ^ | Ψ ( R , T ) , = 0.

Da die zeitliche Ableitung der Normierung Null ist , bleibt die Normierung zeitlich konstant.

Dinge zu beachten:

  • Damit die Normierung zeitunabhängig ist, benötigt man eine einheitliche Zeitentwicklung der Zustände | Ψ ( R , T ) , nämlich
    | Ψ ( R , T ) = U ( T , T ' ) | Ψ ( R , T ' ) .
  • Für U ( T , T ' ) unitärer Operator der Form sein
    U ( T , T ' ) = exp ( ich H ^ ( T T ' ) / ) ,
    man verlangt H ^ Hermitesch sein.
  • Der grundlegende Grund dafür, dass die Zustände in einer Zeitentwicklung vom Schrödinger-Typ normalisiert bleiben, ist die Hermitizität des Hamilton-Operators. Es gibt jedoch Situationen, in denen die Zustände unter der Zeitentwicklung für Hamiltonian normalisiert bleiben können, die nicht hermitesch sind. Allerdings ist die Zeitunabhängigkeit der Normierung für eine unitäre Zeitentwicklung, nämlich für einen hermiteschen Hamiltonoperator, unter der Gleichung vom Schrödinger-Typ garantiert.