前回関数解析におけるスペクトルを紹介しました。今回は少し例を挙げてみます。
※本記事もこちらで紹介した本を参考にしてます。
1)掛け算作用素
ヒルベルト空間\(\mathcal{H}=L^2(X,\mathcal{F},\mu)\)上の線型作用素\(M_{\psi}:L^2(X)\ni f \rightarrow M_{\psi}(f)\in L^2(X)\)を
\[
M_{\psi}(f)\equiv \psi(x)f(x),\ \int_X \left| M_{\psi}\right|^2 \mu(dx) < \infty
\]
を掛け算作用素といいました。(こちらも参考にしてください。)
掛け算作用素のスペクトルですが、\(I\)を恒等作用素として、\(\ker(M_{\psi}-\lambda I)=\{ 0\}\)かつ\(\overline{\mathrm{ran}\ (M_{\psi}-\lambda I)}=L^2(X)=\mathcal{H}\)であることから、連続スペクトルであることがわかります。(DEF.14参照)
一般に掛け算作用素のスペクトルは
\[
\sigma\left(M_{\psi}\right)=\left\{\overline{\psi(x)}\mid x\in X\right\}
\]
であることが示せます。証明は省略しますが、新井さん本(量子力学の数学的構造Ⅰ)に詳しい証明があります。
上記から、例えば\(\psi(x) = x^n\)であれば
\[
\sigma(M_{\psi}) = \left\{\begin{matrix}
\mathbb{R} & n \mathrm{\ is\ odd} \\
[0,\infty)& n \mathrm{\ is\ even}
\end{matrix}\right.
\]
であることがわかります。
ここで
\[
\psi^{-1}((-\infty,\lambda])=\left\{ x\in X\mid \psi(x)\in (-\infty,\lambda] \right\}
\]
とし、こちらで定義したように指標関数を\(\chi_A(x)\)とします。これらを用いて、スペクトル測度を
\[
E_{\psi}(\lambda) \equiv M_{\chi_{\psi^{-1}((-\infty,\lambda])}}
\]
で定義すると\(M_{\psi}\)のスペクトル分解は
\[
M_{\psi} = \int_X\lambda E_{\psi}(d\lambda)
\]
であたえられます。例えば\(M_{\psi}=M_x=x\)とした場合、\(M_x =\int \lambda dM_{\chi_{(-\infty,\lambda]}} \)となります。
2)微分作用素
\(L^2(X)\)上の線型作用素\(p:L^2(X)\ni f \rightarrow pf\in L^2(X)\)、
\[
pf\equiv -i\frac{\partial f}{\partial x}
\]
となる微分作用素について考えます。この作用素の定義域が
\[
\mathrm{dom}\ p = \{f \in W_2^1([0,1])\subset L^2([0.1])\mid f(1)=f(0) \}
\]
となるとき自己共役になるのでした。(こちらも参照ください。)このスペクトル分解について考えてみます。
まず\(p\)のスペクトルですが、\(\ker(p-\lambda I)=\{0\}\)かつ\(\overline{\mathrm{ran}\ (p-\lambda I)}=L^2(X)=\mathcal{H}\)より、連続スペクトルとなります。
これは経験則ではありますが、微分を扱う場合フーリエ変換すると扱いやすくなることが多々あります。そこで今回もフーリエ変換\(\mathcal{F}\)を以下のように定義します。\(f\in L^2(X)\)に対して、
\[
\tilde{f}(k)\equiv\mathcal{F}f(x)= \frac{1}{\sqrt{2\pi}}\int_X \exp\left\{-ik x\right\}f(x)dx \\
f(x)=\mathcal{F}^{-1}\tilde{f}(k)= \frac{1}{\sqrt{2\pi}}\int_{k\in K}\exp\left\{ikx \right\}\tilde{f}(k) dk
\]
を満たす線型作用素\(\mathcal{F}\)をフーリエ変換といいます。
このとき、\(p\)のスペクトル測度を
\[E_k=\mathcal{F}^{-1}E_x(\lambda)\mathcal{F}\]
で定義すると、\(p\)のスペクトル分解は
\[
p=\int \lambda E_k(d\lambda)
\]
で与えられます。
3)作用素解析
最後に少し作用素解析について触れておきます。作用素解析という言葉ですが、これは関数の代数的構造(和や差、積など)が作用素に写ったときどのように表現されるか、を調べることを指します。つまり写像\(\mathcal{T}:C(X)\ni f \rightarrow \mathcal{T}(f)\in\mathcal{B}(\mathcal{H})\)が関数\(f\)の代数構造に対して、どのような代数構造になるかを解析することを作用素解析というイメージです。
こちらのTHM.4にて、連続関数\(f\in C(\sigma(A))\)に対して、
\[
f(A)=\int f(\lambda)E(d\lambda)
\]
が成り立ちます。これは例えば、\(f(A)=|A|\)であれば、
\[
|A|=\int |\lambda | E(d\lambda)
\]
とスペクトル分解できることを意味し、\(f(A)=A^r,r\in\mathbb{R}\)であれば、
\[
A^r =\int \lambda^r E(d\lambda)
\]
となることを意味します。
これは量子力学などのスペクトル分解でよく応用される式で、とても便利な定理です。
スペクトル分解の例を少しあげてみました。今回もかなり端折って説明してますので、詳細については書評であげた本を参照してみてください。
最後まで読んでいただきありがとうございます。
質問等はコメント欄かお問い合わせにてよろしくおねがいいたします。