Was sind die Eigendomänen des Orts- und Quadratdrehimpulsoperators?

Ich betrachte den Positionsoperator auf einem kompakten Satz K R N und der quadratische Drehimpulsoperator (also im Wesentlichen der Laplace-Beltrami-Operator, bei dem ich nur die Winkelteile betrachte, damit dieser Operator wirkt S 2 ). Meine Frage ist: Was sind die kanonischen Domänen, die wir an diese beiden Operatoren anpassen?

An L 2 ( K ) , Multiplikation mit X J ist ein beschränkter Operator, vermute ich ... der quadratische Drehimpuls hat einen vollständigen Satz von Eigenfunktionen in den sphärischen Harmonischen, aber ich kenne seinen genauen Bereich der Selbstadjunganz nicht. Eine normale Domain wie z C ( S 2 ) sollte eine Domäne der wesentlichen Selbstadjungiertheit sein (aber ich bin mir nicht sicher).
ja, zumindest für K R wir könnten die nehmen X K mit maximalem Absolutwert und dann definiert dies unsere Konstante für | | X F | | 2 C | | F | | 2 , also sollten Sie mit der Begrenztheit richtig liegen.

Antworten (1)

D ( X ^ ich ) := { ψ L 2 ( K , D N X ) | K X ich 2 | ψ ( X ) | 2 D N X < + } = L 2 ( K , D N X )
wobei die letzte Identität gilt, wenn K ist beschränkt (insbesondere kompakt), weil X ich 2 ist darauf beschränkt (in diesem Fall ist auch der Operator beschränkt). Darüber hinaus
D ( J ^ 2 ) := { ψ L 2 ( S 2 , D Ω ) | = 0 , M + 4 | S 2 ψ ( S ) Y M ( S ) D Ω ( S ) | 2 < + }
Mit diesen Domänen sind sie automatisch selbstadjungiert (nicht nur im Wesentlichen selbstadjungiert). Wenn Sie die Domäne einschränken auf C ( S 2 ) , J ^ 2 stellt sich aufgrund eines bekannten Theorems von Nelson als im Wesentlichen selbstadjungiert heraus, da es symmetrisch ist (mit dichtem Definitionsbereich) und einen Satz analytischer Vektoren zulässt (die Y M s), dessen Spannweite im gesamten Hilbertraum dicht ist.