Um die Erhaltung der Normalisierung der Wellenfunktion (vorerst in einer Dimension) zu zeigen, zeigt man, dass die Zeitdifferenz Null ist, was den folgenden Schritt nach sich zieht:
Ich habe einen Beweis dafür gesehen , mit der Bedingung, dass ist analytisch auf einem einfach verbundenen komplexen Bereich, der die Grenzen der Integration enthält. Bedeutet dies dann, dass eine gültige Wellenfunktion eine analytische Fortsetzung zu einem Bereich haben muss, der die reelle Gerade enthält, oder gibt es einen alternativen Satz für reelle Funktionen reeller Variablen ( , in diesem Fall) mit schwächeren Bedingungen?
Lassen sei ein separabler Hilbertraum. Angenommen, der Hamiltonian ist ein dicht definierter selbstadjungierter Operator mit Definitionsbereich . Dann für alle , , Wo ist die eindeutige Lösung der Schrödinger-Gleichung.
Jetzt, ist ein einheitlicher Operator für alle . Also lass , und überlegen
PS Es ist ungewöhnlich, einen Wellenfunktionsraum komplexer Variablen zu betrachten, aber es ist in der Bargmann-Segal-Darstellung möglich. Wie auch immer, Sie können die Ableitungs- und Integrationszeichen vertauschen, wenn Sie den Satz der dominierten Konvergenz anwenden können (die Ableitung als Grenzwert schreiben), zB wenn die Wellenfunktion mit beschränkter Ableitung differenzierbar ist. Auch in dem Beweis, den ich oben geschrieben habe, ist ein Grenzwertverfahren implizit und gerechtfertigt durch die Differenzierbarkeit in von (im Sinne starker/schwacher Operatoren im Bereich von / ).
yuggib