Was hat es mit dem Impuls im unendlichen Quadrat gut auf sich?

Hin und wieder taucht eine Frage zum Status des Impulsoperators im unendlichen Quadrat auf, und obwohl wir hier und hier zwei gute Antworten zu diesem Thema haben , bin ich im Allgemeinen nicht zufrieden mit ihrem Detaillierungsgrad und der Einfachheit (nicht sehr) es ist, sie zu finden, wenn Sie sie brauchen. Ich behaupte daher, dass es höchste Zeit ist, die Dinge zu regeln und einen kanonischen Q&A-Thread dafür aufzubauen, also in diesem Sinne:

Was hat es mit dem Impuls im unendlichen Quadrat gut auf sich?

  • Ist der Impulsoperator p ^ = ich d d x symmetrisch , wenn auf das kompakte Intervall des Brunnens beschränkt? Gibt es Feinheiten in seiner Definition, über seine Domäne oder ähnliches, die für die Realline-Version nicht vorhanden sind?
  • Ist der Impulsoperator p ^ = ich d d x unter diesen Bedingungen selbstadjungiert ? Wenn nein, warum nicht, und was sind die Konsequenzen in Bezug auf die Dinge, die uns normalerweise wichtig sind, wenn wir eindimensionales QM machen?
  • Wenn es nicht selbstadjungiert ist, lässt es dann eine selbstadjungierte Erweiterung zu ? Wenn ja, ist diese Erweiterung eindeutig? Wenn die Erweiterung nicht eindeutig ist, welche verschiedenen Möglichkeiten gibt es und worin unterscheiden sie sich? Tragen diese Unterschiede physische Bedeutung / Assoziationen / Konsequenzen? Und was ist überhaupt eine selbstadjungierte Erweiterung und wo kann ich sie nachlesen?
  • Was sind das Spektrum und die Eigenvektoren des Impulsoperators und seiner Erweiterungen? Wie unterscheiden sie sich voneinander? Gibt es in diesem Setting so etwas wie eine Impulsdarstellung? Wenn nein, warum nicht?
  • Welche Beziehung besteht zwischen dem Impulsoperator (und seinen möglichen Erweiterungen) und dem Hamiltonoperator? Pendeln sie? Teilen sie eine Basis? Wenn nein, warum nicht?
  • Haben diese Probleme Entsprechungen oder Erklärungen in der klassischen Mechanik? ( stups, stups )

Und, noch wichtiger: Was sind gute, vollständige und lesbare Referenzen, wo man hingehen kann, um mehr Informationen darüber zu bekommen?

Ich erörtere dies in meinen Vorlesungsunterlagen: course.physics.illinois.edu/phys508/fa2017/amaster.pdf ab Abschnitt 4.2.2
Erwägen Sie, die letzte Unterfrage (v2) als res zu entfernen. empfehlen q kann normalerweise nicht mit einem tatsächlichen phys gemischt werden. q auf Phys.SE.

Antworten (2)

  • Ist der Impulsoperator P = ich d d x symmetrisch , wenn auf das kompakte Intervall des Brunnens beschränkt? Gibt es Feinheiten in seiner Definition, über seine Domäne oder ähnliches, die für die Realline-Version nicht vorhanden sind?

(Ich gehe von nun an davon aus, dass der Hilbert-Raum ist L 2 ( [ 0 , 1 ] , d x ) .)

Es hängt von der genauen Definition der Domäne von ab P . Eine natürliche Wahl ist

(1) D ( P ) = { ψ C 2 ( [ 0 , 1 ] ) | ψ ( 0 ) = ψ ( 1 ) = 0 } .
Mit dieser Definition P ist symmetrisch : (a) das Gebiet ist dicht in L 2 ( [ 0 , 1 ] , d x ) und (b) der Operator hermitesch ist
(2) P ψ | ϕ = ψ | P ϕ zum  ψ , ϕ D ( P ) .
Sie können verschiedene Definitionen der Domäne als mehr oder weniger gleichwertig betrachten. Der Punkt ist, dass die selbstadjungierte Erweiterung mit der Schließung von zusammenhängt P und nicht zu P selbst, und Sie haben möglicherweise mehrere Möglichkeiten, um die gleiche Abschlusserklärung von verschiedenen Domänen zu erhalten. Die Situation ist ähnlich wie auf der realen Leitung. Dort P kann als Differentialoperator auf definiert werden C 0 ( R ) oder S ( R ) (Schwartz' Raum) oder C 0 1 ( R ) und auch die Ableitung im schwachen Sinn interpretieren. In allen Fällen die Schließung von P ist dasselbe.

  • Ist der Impulsoperator P = ich d d x unter diesen Bedingungen selbstadjungiert ? Wenn nein, warum nicht, und was sind die Konsequenzen in Bezug auf die Dinge, die uns normalerweise wichtig sind, wenn wir eindimensionales QM machen?

Es ist nicht selbstadjungiert mit der besagten Wahl seines Bereichs (oder mit jeder trivialen Modifikation dieses Bereichs). Die Konsequenz ist, dass es in seiner jetzigen Form keine spektrale Zerlegung zulässt und daher keine Observable ist, da kein PVM damit verbunden ist.

Definieren P = ich d d x auf der realen Leitung mit einer der oben genannten Domains tritt das gleiche Problem auf.

Die allgemeine Tatsache ist, dass Differentialoperatoren niemals selbstadjungiert sind , weil die Adjungierte eines Differentialoperators kein Differentialoperator ist, da sie nicht zwischen glatten und nicht glatten Funktionen unterscheiden kann, weil Elemente von L 2 sind Funktionen bis zu Nullmaßmengen. Höchstens ein symmetrischer Differentialoperator kann im Wesentlichen selbstadjungiert sein , dh er lässt eine eindeutige selbstadjungierte Erweiterung zu (die mit dem Abschluss des Anfangsoperators zusammenfällt). Dieser einzigartige selbstadjungierte Operator ist die wahre Observable der Theorie.

Ja. Der kanonische Weg prüft, ob Fehlerindizes von P mit Domäne (1) sind gleich und sie sind. Aber der kürzeste Weg besteht in der Berufung auf ein Theorem von von Neumann:

Wenn ein (dicht definierter) symmetrischer Operator mit einem antilinearen Operator kommutiert C definiert auf dem gesamten Hilbert-Raum und so dass C C = ich , dann lässt der Operator selbstadjungierte Erweiterungen zu.

In diesem Fall ( C ψ ) ( x ) := ψ ( 1 x ) ¯ erfüllt die Hypothese.

Wenn ja, ist diese Erweiterung eindeutig?

NEIN ist es nicht, der Operator ist im Wesentlichen nicht selbstadjungiert.

Wenn die Erweiterung nicht eindeutig ist, welche verschiedenen Möglichkeiten gibt es und worin unterscheiden sie sich? Tragen diese Unterschiede physische Bedeutung / Assoziationen / Konsequenzen? Und was ist überhaupt eine selbstadjungierte Erweiterung und wo kann ich sie nachlesen?

Es gibt eine Klasse von selbstadjungierten Erweiterungen, die durch Elemente parametrisiert werden χ von U ( 1 ) . Diese Erweiterungen werden auf der entsprechenden Erweiterung der Domäne definiert

D χ ( P ) := { ψ L 2 ( [ 0 , 1 ] , d x ) | ψ ' im schwachen Sinne existiert in  L 2 ( [ 0 , 1 ] , d x )  und  ψ ( 1 ) = χ ψ ( 0 ) } .
(Es ist möglich, das mit der besagten Definition von zu beweisen D χ Die Definition ist konsistent: ψ ist stetig, so dass ψ ( 0 ) und ψ ( 1 ) macht Sinn.) Als nächstes die selbstadjungierte Erweiterung von P Über D χ ( P ) ist wieder ich d d x wobei die Ableitung im schwachen Sinn interpretiert wird. Der einfachste Fall ist χ = 1 und Sie haben den Standard-Impulsoperator mit periodischen Randbedingungen , der selbstadjungiert ist. Die anderen selbstadjungierten Erweiterungen sind triviale Änderungen dieser Definition. Ich kenne die physikalische Bedeutung dieser verschiedenen Wahlmöglichkeiten (falls vorhanden) nicht: Die Theorie ist zu diesem Zeitpunkt zu elementar, um sich eine physikalische Interpretation vorzustellen. Vielleicht ergibt sich mit einem verbesserten Modell eine physikalische Interpretation.

  • Was sind das Spektrum und die Eigenvektoren des Impulsoperators und seiner Erweiterungen? Wie unterscheiden sie sich voneinander? Gibt es in diesem Setting so etwas wie eine Impulsdarstellung? Wenn nein, warum nicht?

Sie können das Spektrum, das ein reines Punktspektrum ist, leicht berechnen, und die Eigenvektoren sind exponentiell verschoben. Wenn χ = e ich a wo a R , und wir bezeichnen mit P a die zugehörige selbstadjungierte Erweiterung von P eine Menge von Eigenvektoren ist

ψ n ( a ) ( x ) = e ich ( a + 2 π n ) x
mit Eigenwerten
p n ( a ) := ( a + 2 π n ) n Z :
Der Satz der ψ n ( a ) ist eine Hilbert-Basis, weil sie über den Einheitsoperator mit der Standardbasis der Exponentialfunktionen verbunden ist ( U a ψ ) ( x ) = e ich a x ψ ( x ) . Im Wesentlichen beweisen das Nelsons Theorem und das Spectral Decomposition Theorem P a hat ein reines Punktspektrum aus den Realen p n ( a ) . Es existiert also eine Impulsdarstellung , wie Sie sofort beweisen können.

  • Welche Beziehung besteht zwischen dem Impulsoperator (und seinen möglichen Erweiterungen) und dem Hamiltonoperator?

Wie Sie wissen, wenn Sie mit der Form beginnen H := d 2 d x 2 an D ( H ) := { ψ C 2 ( [ 0 , 1 ] ) | ψ ( 0 ) = ψ ( 1 ) = 0 } (Ich nehme an 2 m = 1 ) ist dies im Wesentlichen selbstadjungiert, der entsprechende Impulsoperator mit Domäne (1) jedoch nicht. (Der Beweis ergibt sich unmittelbar aus dem Satz von Nelson, da H ist symmetrisch und erlaubt eine Hilbert-Basis von Eigenfunktionen.)

Es gibt jedoch auch verschiedene Kandidaten für den Hamilton-Operator, die sich ergeben, indem man die zweite Potenz jeder selbstadjungierten Erweiterung von nimmt P mit Domäne (1). Das Spektrum besteht aus den zweiten Potenzen der Elemente des Spektrums der entsprechenden seof-adjungierten Erweiterung 2 ( a + 2 π n ) 2

Pendeln sie? Teilen sie eine Basis?

Momentum und zugehöriger Hamiltonscher Pendelverkehr und eine gemeinsame Basis ist die oben für das Momentum geschriebene.

Unterschiedliche selbstadjungierte Erweiterungen und unterschiedliche Hamiltonoperatoren pendeln nicht, wie Sie leicht durch direkte Betrachtung beweisen können.

  • Haben diese Probleme Entsprechungen oder Erklärungen in der klassischen Mechanik? ( stups, stups )

ich weiß nicht

Und, noch wichtiger: Was sind gute, vollständige und lesbare Referenzen, wo man hingehen kann, um mehr Informationen darüber zu bekommen?

Ich weiß es nicht, viele Ergebnisse sind in der Literatur verbreitet. Es ist schwierig, sie alle zu sammeln. Eine gute Referenz ist das Lehrbuch von Reed und Simon: Band I und II.

NACHTRAG . Ein technischer Punkt verdient eine kleine Diskussion. Manchmal beim Einführen von Selbstadjungiertheitsdomänen wie oben im Raum L 2 ( ich ) , wo ich R ist ein beschränktes Intervall, die Funktionen ψ müssen absolut kontinuierlich sein . Diese Anforderung ist tatsächlich in der Bedingung enthalten, dass die schwache Ableitung ψ ' existiert und ist darin enthalten L 1 (oder L 2 seit ich ist begrenzt). Tatsächlich eine messbare Funktion ψ : ich C ist genau dann absolut stetig, wenn es eine schwache Ableitung in zulässt L 1 ( ich ) . Da die Funktion in diesem Fall absolut stetig ist, existiert ihre Ableitung fast überall und fällt mit zusammen ψ ' .

Kann man aus dieser Diskussion sagen, dass der Impulsoperator analog zur Halblinie nicht in einem endlichen Intervall existiert (es tut mir leid, dass ich hier vage bin, es ist eine vage Idee)? Obwohl dieser Fall selbstadjungierte Erweiterungen zulässt, haben sie alle ziemlich unphysikalische Interpretationen in einem System, in dem die Endpunkte des Intervalls wirklich getrennt sind. Tatsächlich verlangen sie, dass die Wellenfunktion an einem Endpunkt die Wellenfunktion am anderen kennt. Dies ist aus Sicht der impulsgebenden Übersetzungen sinnvoll, da wir in beiden Fällen nicht übersetzen können.
Ich habe auch eine kleine Frage. Das Buch von Reed und Simon fordert, dass die Elemente im Bereich von P auch absolut kontinuierlich sein. Dadurch entfallen Beispiele wie die Cantor-Funktion, bei der die Funktion ψ kann nicht durch Integration wiederhergestellt werden ψ ' . Unterscheidet sich die Domäne in Ihrer Antwort wirklich von der in diesem Buch (haben sie z. B. unterschiedliche Spektren)?
Danke für deine Kommentare. In der Tat ψ ist auch in meinen Definitionen absolut stetig. Ich habe die Definition der selbstadjungierten Erweiterungen präzisiert, weil ich etwas schlampig war. Die Ableitung ψ ' wird hier im schwachen Sinne verstanden und ist eine Funktion in L 2 (daher L 1 da der räumliche Bereich ein endliches Maß hat). Als Folge eines bekannten Satzes existiert die Ableitung im üblichen Sinne fast überall und fällt mit zusammen ψ ' , endlich ψ ist absolut stetig. (Die entscheidende Tatsache ist, dass ψ ist abs. stetig genau dann, wenn es eine schwache Ableitung in hat L 1 .)
Vielen Dank, Herr Professor Moretti. Ich weiß, dass Sie in Ihrem Buch auf die schwachen Ableitungen hingewiesen haben!
Über die physikalische Interpretation frage ich mich, ob sie als Existenz eines möglichen konstanten Vektorpotentials interpretiert werden könnte?

Die Aussage p = ich d / d x ist der Ausdruck für einen Operator p wenn es in einer bestimmten Basis (der Positionsbasis) geschrieben wird. Dieser Operator repräsentiert die physikalische Größe, die wir Impuls nennen. Diese beiden Aussagen stehen in keinem Zusammenhang mit dem Hamilton-Operator und bleiben wahr, egal welchen Hamilton-Operator Sie haben.

Wenn Sie jedoch beabsichtigen, streng unphysikalische Fälle wie eine unendliche potentielle Energie zu betrachten, müssen Sie manchmal vorsichtig vorgehen.

Wenn Sie mit dem unendlichen quadratischen Brunnen im Zweifel sind, kehren Sie zu etwas Physikalischerem zurück, wie einem endlichen quadratischen Brunnen oder einem endlichen Brunnen mit einem flachen Boden und einem glatten Gradienten an den Rändern. Dann ist alles (zumindest konzeptionell) einfach, und Sie können untersuchen, was an der Grenze passiert, wo die Brunnentiefe gegen unendlich geht.

Dies ist richtig, hat aber nichts mit der Frage zu tun, die sich ausschließlich mit den mathematischen Konsequenzen der Domänenkompaktheit befasst. Der Hamiltonian ist von (bestenfalls) tangentialem Interesse.
Die Domänenkompaktheit kann so definiert werden, dass sie der von mir diskutierten Grenze entspricht. Das ist in der Tat eine sinnvolle Definition, gerade weil eine solche Definition sinnvolle Antworten auf solche Fragen liefert.