Kann eine Schrödinger-Gleichung zweiter Ordnung die Norm bewahren?

Angenommen, wir lebten in einem Universum, in dem die Schrödinger-Gleichung Zeitableitungen zweiter Ordnung enthält,

ich T 2 | φ ( T ) = H | φ ( T ) .
Wäre es wahr, dass die Norm von | φ ( T ) ist Zeit unabhängig?

Ihr Hamiltonoperator ist also antihermitesch?
Betrachten Sie den Kern von ( ich T K ) für hermitesch zeitunabhängig K . Es wird auch im Kernel von sein ( ich T 2 K 2 / ich ) . So H = ich K 2 / sollte den Trick machen.
...also zB für K = ω , du hast H = ich ω 2 , so dass Sie oszillierende Lösungen erhalten exp ( ± ich ω T ) Bewahrung der Norm; während ihre trigonometrischen Kombinationen dies natürlich nicht tun.

Antworten (3)

Nein, die Norm würde nicht erhalten bleiben. Nehmen wir der Einfachheit halber an, dass der Hamilton-Operator zeitunabhängig mit diskreten (aber möglicherweise entarteten) Eigenwerten ist E N . Dann haben wir

| ψ ( T ) = N C N ( T ) | E N ich T 2 | ψ ( T ) = H | ψ ( T ) ich N C ¨ N ( T ) | E N = N C N ( T ) E N | E N N ( ich C ¨ N ( T ) C N ( T ) E N ) | E N = 0 C ¨ N ( T ) + ich E N C N ( T ) = 0 C N ( T ) = exp ( ich E N T ) = exp ( E N e ich π 4 T ) | C N ( T ) | 2 = C N ( T ) C N ( T ) = exp ( 2 E N T )

Und | ψ ( T ) | 2 wächst mit der Zeit exponentiell. Das Problem ist, dass e ich E N / entwickelt sich im Laufe der Zeit auf eine normerhaltende Weise, aber die zweite Ableitung bringt eine Quadratwurzel ein, die den reinen imaginären Exponenten in einen realen Teil dreht, was die Dinge durcheinander bringt.

Aber Ihre vorgeschlagene Modifikation ist ohnehin nicht die physikalisch natürliche. Beachten Sie zum einen, dass Ihr " " hat andere Einheiten als die physikalische. Anstatt die zu verlassen ich so wie es ist, aber das ändern T zu einem T 2 , ist die natürlichere Modifikation der Schrödinger-Gleichung, die sie zweiter Ordnung macht, die Operatoren auf beiden Seiten zu "quadrieren", dh zu ändern ich T Zu ( ich T ) 2 = 2 T 2 Und H Zu H 2 , zu bekommen

2 T 2 | ψ ( T ) = H 2 | ψ ( T ) .
Im Falle des Hamiltonian H 2 = ( C P ) 2 + ( M C 2 ) 2 für ein relativistisches Teilchen ist dies als Klein-Gordon-Gleichung bekannt, und obwohl es das gleiche Problem der nicht konstanten Norm hat, stellt es sich heraus, dass es die zeitliche Entwicklung eines skalaren relativistischen Quantenfelds (kein Teilchen, wie man könnte) genau beschreibt erwarten).

"tparker", könnten Sie den Schritt von Reihe 4 zu Reihe 5 beschreiben? Ich habe es nicht verstanden:
| N ( ich C ¨ N ( T ) C N ( T ) E N ) | E N = 0 C ¨ N ( T ) + ich E N C N ( T ) = 0 .
@mike Alles, was tparker getan hat, war gleichzusetzen | E N Koeffizienten.
@mike Richtig - Ich habe die Tatsache verwendet, dass die Eigenzustände linear unabhängig sind. Wenn also eine Linearkombination von ihnen Null ist, muss jeder Koeffizient gleich Null sein.
Ich bin neugierig: In welcher Art von Raum lebt [math]|\psi(t)\rangle[/math] in der "richtig" quadrierten Gleichung, die Sie angeben? Wenn es ein Quantenfeld ist, kann es nicht die übliche Art von Wellenfunktion sein, was ist es also, wenn es explizit konstruiert wird?
@The_Sympathizer Das ist eine großartige Frage, die ich absichtlich beschönigt habe. In der klassischen Feldtheorie ist die Antwort einfach: Es sind nur Skalarfunktionen φ ( T , X ) : R 4 R auf Raumzeit definiert. In der Quantenfeldtheorie fragt man nach der mathematischen Struktur des Hilbert-Raums, und ehrlich gesagt weiß es niemand auf mathematisch strengem Niveau wirklich. Im Lagrange-Formalismus die Felder φ ( X ) sind nur einfache alte pendelnde Skalarfelder wie im klassischen Fall, aber die mathematische Pathologie wird in dieses schrecklich schlecht definierte Pfadintegral gedrängt. ...
@The_Sympathizer ... Im Hamiltonschen Formalismus sind die Felder selbst quantisierte Operatoren und Sie können sie nicht (trivialerweise) aneinander vorbei verschieben. Mathematiker nennen sie „operatorbewertete Verteilungen“, tun sich aber schwer damit, sie rigoros zu machen, und Physiker versuchen nicht einmal, das ganze Thema zu beschönigen. Um es kurz zu machen, dies ist ein sehr aktives Forschungsthema in der mathematischen Physik, aber "physikalische Physiker" versuchen nicht einmal, die mathematische Struktur der Zustände rigoros zu definieren.
@tparker: Ich habe von diesen Problemen gehört, aber ich dachte, sie gelten nur für komplexere Theorien, und wonach ich gefragt habe, war die einzelne spezifische Gleichung oben mit dem spezifischen Hamilton-Operator und keine Wechselwirkungen oder ähnliches. Sollte Ihnen die Struktur der Gleichung nicht sagen, was Sie hineinstecken müssen? Ich glaube, ich verstehe nicht, wie Sie es beschrieben haben, wenn Sie es einfach quadrieren, wird der Raum unverständlich. Ich denke, das muss für einen Fall gelten, in dem es darum geht, mehr als nur das zu tun oder zu erwägen. Aber vielleicht tut es das. Wenn ja warum?
@The_Sympathizer Fairer Punkt. Wenn wir die Operatoren in der nicht-relativistischen Schrödinger-Gleichung buchstäblich quadrieren, wie ich geschrieben habe, dann ist der Hilbert-Raum der resultierenden Gleichung nur der Raum der Ein-Teilchen-Wellenfunktionen ψ ( X ) so dass ψ ( X ) Und 2 ψ ( X ) + M 2 ψ ( X ) sind beide quadratintegrierbar. Aber die Wahrheit ist, dass dies eigentlich keine strenge Ableitung der Klein-Gordon-Gleichung ist – es ist nur eine heuristische Motivation. Die wahre KG-Gleichung wird aus dem postulierten Lagrange- oder Hamilton-Operator eines freien Skalarfelds abgeleitet, die Operatoren wirken also auf ein ...
@The_Sympathizer ... ganz andere Art von Hilbertraum, dessen mathematische Struktur situationsabhängig ist.

Die Antwort auf Ihre Frage lautet, dass die Antwort für generische Anfangsbedingungen nein lautet. Ich werde unten ein explizites Gegenbeispiel geben.

Erstens leben wir in einem Universum, in dem die Schrödinger-Gleichungen als Gleichung zweiter Ordnung geschrieben werden können: Wenden Sie einfach an ich T auf die Schrödinger-Gleichung (erster Ordnung).

ich T ψ ( T ) = H ψ ( T ) , ψ ( 0 ) = ϕ H ,
und erhalte die Wellengleichung zweiter Ordnung
T 2 ψ ( T ) = H 2 ψ ( T ) ,
mit den Anfangsbedingungen
ψ ( 0 ) = ϕ , T ψ ( 0 ) = ich H ψ ( 0 ) = ich H ϕ .
Beachten Sie, dass Sie als Gleichung zweiter Ordnung nicht nur angeben müssen ψ ( 0 ) sondern auch ihre zeitliche Ableitung als Anfangsbedingung. Um sicherzustellen, dass das, was Sie erhalten, tatsächlich der Schrödinger-Gleichung entspricht, müssen Sie außerdem eine \emph{bestimmte} Anfangsbedingung für wählen T ψ ( 0 ) = ich H ϕ . Andere Auswahlmöglichkeiten geben Ihnen andere Gleichungen, aber keine davon ist äquivalent.

Wie Sie sehen können, haben die Lösungen, wenn Sie eine mit der Schrödinger-Gleichung kompatible Anfangsbedingung wählen, die üblichen Eigenschaften, zB die Norm ψ ( T ) = ψ ( 0 ) . Aber für generische Entscheidungen muss dies nicht zutreffen: Pick H = σ 3 so dass H 2 = 1 . Dann ist die Wellengleichung einfach

2 T 2 ( ψ 1 ( T ) ψ 2 ( T ) ) + ( ψ 1 ( T ) ψ 2 ( T ) ) = 0 ,
also zwei Kopien der üblichen Wellengleichung. Die Lösungen sind
ψ ( T ) = C e ich T + C + e + ich T
wo die Koeffizienten C ± C 2 müssen aus den Anfangsbedingungen bestimmt werden. Jetzt wählen ψ ( 0 ) = C + + C = ( 2 , 2 ) Und T ψ ( 0 ) = ( 0 , 0 ) = ich ( C + C ) als Anfangsbedingungen. Das führt zu C = C + = 1 , und somit
ψ ( T ) = 2 cos T ( 1 1 ) ,
und die Norm ψ ( T ) | = 2 2 | cos T | dieses Vektors oszilliert offensichtlich zeitlich und ist daher nicht erhalten. Für die spezielle Anfangsbedingung T ψ ( 0 ) = \ii H ψ ( 0 ) , die Norm bleibt jedoch erhalten.

Lassen Sie mich meine obigen Kommentare zusammenfassen, damit die Botschaft „manchmal, aber nicht immer“ nicht verloren geht.

Das übliche Argument für das konventionelle Schr eqn mit hermitesch, zeitunabhängig K ,

ich T φ | φ = φ | K K | φ = 0 ,
ist vordergründig verloren, da bekommt man nur
ich T ( φ | φ ˙ φ ˙ | φ ) = φ | H + H | φ
auf diese Weise – Integration nach Teilen. Also für Antihermitean H , erhalten Sie eine Erhaltungsgröße, die jedoch nicht die Norm ist.

Trotzdem ist der Kern von ( ich T K ) wird auch im Kernel von sein ( ich T 2 K 2 / ich ) , das heißt, die invarianten Normlösungen der Schr-Gleichung für K wird auch Ihre Gleichung mit lösen H = ich K 2 / , die natürlich auch "schlechte" Lösungen haben wird.

Sie können dies schematisch veranschaulichen (wobei Sie die Definition der Normprobleme beiseite lassen - Sie können Ihre Antwort trivialerweise durch räumliche Gaußsche Filter modulieren), durch das trivialste Beispiel: K = ω , somit H = ich ω 2 , wo Sie oszillierende Lösungen erhalten exp ( ± ich ω T ) Bewahrung der Norm; während ihre trigonometrischen Kombinationen, cos ( ω T ) ,   Sünde ( ω T ) , natürlich nicht.