D (X^ich) : = { ψ ∈L2( K,DNx )∣∣∣∫KX2ich| ψ(x)|2DNx <+ ∞ } =L2( K,DNx )
wobei die letzte Identität gilt, wenn
K
ist beschränkt (insbesondere kompakt), weil
X2ich
ist darauf beschränkt (in diesem Fall ist auch der Operator beschränkt). Darüber hinaus
D (J^2) : = { ψ ∈L2(S2, dΩ )∣∣∣∣∑l = 0, − ℓ ≤ m ≤ ℓ+ ∞ℓ4∣∣∣∫S2ψ ( 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∞(S2)
,
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.
yuggib
Xin Wang