量子力学の数学的定式化

本項では相対論的効果を考えない量子力学の数学的定式化（りょうしりきがくのすうがくてきていしきか）を厳密に述べる。本項では量子力学に対する最低限の知識を仮定する。

量子力学
${\displaystyle \Delta x\,\Delta p\geq {\frac {\hbar }{2}}}$
不確定性原理
序論（英語版） · 数学的定式化
背景 古典力学 前期量子論 基本概念 量子状態 · 波動関数 重ね合わせ · 可観測量 相補性 · 二重性 · 不確定性 トンネル効果 · 排他原理 エーレンフェストの定理 量子もつれ · デコヒーレンス 定式化 シュレーディンガー描像 ハイゼンベルク描像 相互作用描像 波動力学 行列力学 ファインマン経路積分 方程式 シュレーディンガー方程式 ハイゼンベルク方程式 パウリ方程式 クライン＝ゴルドン方程式 ディラック方程式 実験 二重スリット実験 シュテルン＝ゲルラッハの実験 デイヴィソン＝ガーマーの実験 ベル不等式のテスト（英語版） ポッパーの実験（英語版） シュレーディンガーの猫 爆弾検査問題（英語版） 量子消しゴム実験（英語版） 解釈（英語版） 観測問題 · ボーム解釈 · 無矛盾歴史 · コペンハーゲン解釈 · アンサンブル解釈（英語版） · 隠れた変数理論 · 多世界解釈 · 客観的崩壊（英語版） · 量子論理 · 関係性量子力学 (RQM)（英語版） · 統計解釈（英語版） · 交流解釈（英語版） 関連項目 散乱理論 相対論的量子力学 場の量子論 量子情報 量子カオス（英語版） 科学者 ベル • ボーム • ボーア • ボルン • ボース • ド・ブロイ • ディラック • エーレンフェスト • エヴェレット • ファインマン • ハイゼンベルク • ヨルダン • クラマース • フォン・ノイマン • パウリ • プランク • シュレーディンガー • ゾンマーフェルト • ヴィーン • ウィグナー
表・話・編・歴

状態空間のヒルベルト空間による定式化[編集]

量子力学において系 の（純粋）量子状態は、状態ベクトルと呼ばれる単位ベクトルによって表現され、状態ベクトルとその定数倍のなすベクトル空間を状態空間という。状態空間はヒルベルト空間という数学的概念によって定式化される。そこで本節ではヒルベルト空間の定義を述べる。

ヒルベルト空間[編集]

定義[編集]

${\displaystyle {\mathcal {H}}}$を複素ベクトル空間とする。任意の${\displaystyle \varphi ,\psi ,\chi \in {\mathcal {H}}}$に対して以下の性質を満たす二項演算子${\displaystyle \langle \cdot ,\cdot \rangle ~:~{\mathcal {H}}\times {\mathcal {H}}\to \mathbf {C} }$を${\displaystyle {\mathcal {H}}}$上の内積もしくは計量という：

• (共役対称性) ${\displaystyle \langle \varphi ,\psi \rangle ={\overline {\langle \psi ,\varphi \rangle }}.}$
• (線形性)${\displaystyle \forall a,b\in \mathbf {C} }$に対し、 ${\displaystyle \langle \chi ,a\psi +b\varphi \rangle =a\langle \chi ,\psi \rangle +b\langle \chi ,\varphi \rangle }$
• (正定値性) ${\displaystyle \langle \psi ,\psi \rangle \geq 0}$であり、しかも${\displaystyle \quad \langle \psi ,\psi \rangle =0\implies \psi =0}$である。

複素ベクトル空間上に内積を一つ指定してできる組${\displaystyle ({\mathcal {H}},\langle \cdot ,\cdot \rangle )}$を複素計量ベクトル空間という。

複素計量ベクトルの元${\displaystyle \psi \in {\mathcal {H}}}$に対し、内積${\displaystyle \langle \cdot ,\cdot \rangle }$に対応する${\displaystyle \psi }$のノルム${\displaystyle \|\psi \|}$を

${\displaystyle \|\psi \|={\sqrt {\langle \psi ,\psi \rangle }}}$

により定義し、${\displaystyle \psi ,\chi \in {\mathcal {H}}}$の間の距離を

${\displaystyle \|\psi -\chi \|}$

により定義すると${\displaystyle {\mathcal {H}}}$はこの距離に関して距離空間の公理を満たす。この距離空間が完備であるとき、複素計量ベクトル空間${\displaystyle ({\mathcal {H}},\langle \cdot ,\cdot \rangle )}$を複素ヒルベルト空間、あるいは単にヒルベルト空間という。紛れがなければ以下内積${\displaystyle \langle \cdot ,\cdot \rangle }$を省略し、記号${\displaystyle {\mathcal {H}}}$だけでヒルベルト空間を表すものとする。特に断りがない限り、本項ではヒルベルト空間として可分なもののみを考える。

上述の定義より、内積${\displaystyle \langle \cdot ,\cdot \rangle }$は、第二成分に関しては線形であるが、第一成分に対しては反線形性

• ${\displaystyle \forall a,b\in \mathbf {C} }$に対し、 ${\displaystyle \langle a\psi +b\varphi ,\chi \rangle ={\bar {a}}\langle \psi ,\chi \rangle +{\bar {b}}\langle \varphi ,\chi \rangle }$

が成立する。なお、ここで提示した内積の定義は量子力学では一般的なものだが、数学の文献では、ここに載せたのとは逆に、第一成分に対して線形、第二成分に対して反線形であるものを用いる事が多い。

ヒルベルト空間の一意性[編集]

ヒルベルト空間${\displaystyle {\mathcal {H}}_{1}}$、${\displaystyle {\mathcal {H}}_{2}}$に対し、全単射線形写像${\displaystyle \Phi ~:~{\mathcal {H}}_{1}\to {\mathcal {H}}_{2}}$で

${\displaystyle \langle \Phi (\psi ),\Phi (\chi )\rangle =\langle \psi ,\chi \rangle }$

が全ての${\displaystyle \psi ,\chi \in {\mathcal {H}}_{1}}$に対して成立するものが存在するとき、${\displaystyle {\mathcal {H}}_{1}}$と${\displaystyle {\mathcal {H}}_{2}}$は同型であるという。

可分な無限次元ヒルベルト空間は同型を除いて１つしか存在しない。すなわち以下が成立する：

${\displaystyle {\mathcal {H}}_{1}}$、${\displaystyle {\mathcal {H}}_{2}}$を任意の可分な無限次元ヒルベルト空間とするとき、${\displaystyle {\mathcal {H}}_{1}}$と${\displaystyle {\mathcal {H}}_{2}}$は同型である。

本項ではヒルベルト空間として可分なもののみを取り扱う。よって本項で登場するヒルベルト空間で次元が無限のものは全て同型である。

状態空間[編集]

量子力学では以下の仮定を課す：

状態空間に関する仮定：量子力学において状態空間は複素ヒルベルト空間である^新井(p210)。状態空間の単位ベクトルを状態ベクトルと呼び、各状態ベクトルは何らかの量子状態に対応している。また２つの状態ベクトルψ、φが|a|=1を満たす何らかの複素数aでφ=aψという関係を満たすとき、ψとφは同一の量子状態を表す^新井(p210)。

本節では以降、こうした量子力学の仮定を幾つか述べるが、新井の本やHallの本など多くの本ではこうした仮定の事を公理(axiom)と呼んでいる。しかしこうした仮定は数学的な意味での公理ではない^H13(p64)ので、本項ではその事を明確化するため、F15に従い、「公理」と呼ばず「仮定 (postulate)」と呼ぶものとする。

L²空間[編集]

すでに述べたように(可分な)無限次元ヒルベルト空間は全て同型なので、任意に一つ無限次元ヒルベルト空間を持って来れば、原理的にはそのヒルベルト空間を状態空間とみなした量子力学を定式化できる。しかし通常の量子力学では、物理的な解釈をわかりやすくするため、L²空間というヒルベルト空間を用いて量子力学を展開する事が多い。そこで本節ではL²空間の定義を述べる。

定義[編集]

${\displaystyle d}$を自然数とし、${\displaystyle X=\mathbf {R} ^{d}}$とする。${\displaystyle X}$から${\displaystyle \mathbf {C} }$への関数

${\displaystyle \psi ~:~X\to \mathbf {C} }$

で積分概念が定義可能な関数を可測関数という（厳密な定義は可測関数の項目を参照）。さらに可測関数ψで

${\displaystyle \int _{X}|\psi (x)|^{2}\mathrm {d} x<\infty }$

となるものをX上のL²関数という。そして

${\displaystyle L^{2}(X):=\{\psi ~:~X\to \mathbf {C} \mid \psi }$はL²関数${\displaystyle \}}$

と定義し、L²(X)上の内積を

${\displaystyle \langle \psi ,\chi \rangle :=\int _{X}{\overline {\psi (x)}}\chi (x)\mathrm {d} x}$

により定義すると、組${\displaystyle (L^{2}(X),\langle \cdot ,\cdot \rangle )}$はヒルベルト空間をなすことが知られている。このヒルベルト空間をX上のL²空間という。粒子がk個からなる系の場合、各粒子が3次元分の自由度を持つので、d=3kの場合のL²空間を利用すれば量子力学を自然に展開できる。

上ではX=R^dの場合にL²空間を定義したが、一般にXが可測空間であればL²空間を定義できることが知られている。特にXがR^dの開集合や閉集合であれば、X上のL²空間を定義できる。したがって例えば（ポテンシャルの壁に遮られるなどして）粒子が有限の区間Iの内部しか動けないようなケースに対しても、X=I^dの場合のL²空間を利用できる。

注意[編集]

以上で述べたように、量子力学の数学的定式化にはヒルベルト空間、特にL²空間の概念が有効である。しかしこれは、物理学者が量子力学で用いている議論の全てをヒルベルト空間上で数学的に正当化できる事を意味しているわけではない。

例えば物理学者が量子力学の記述に通常用いるデルタ関数は、そもそも通常の意味での関数ではないので、L²空間には属さない。後の章でL²空間にさらに元を添加する事でデルタ関数をも取り扱う数学的手法についても述べるが、この手法は万能ではなく、例えばデルタ関数同士の積が定義できないという欠点を抱える。よって特にデルタ関数同士の内積を定義できず、デルタ関数を添加した空間はヒルベルト空間にはならない。

こうした数学的な困難を避けるため、以降の議論は、基本的にデルタ関数のような「関数もどき」は慎重に排除した上で展開するものとする。

有界作用素[編集]

ヒルベルト空間上で定義可能な関数のクラスとして最も自然なものの一つに有界作用素があり、量子力学における主要概念の一つであるユニタリ作用素は有界作用素の一つである。そこで本節では有界作用素の概念とユニタリ作用素の概念を定式化する。

有界作用素[編集]

定義[編集]

${\displaystyle {\mathcal {H}}_{1}}$、${\displaystyle {\mathcal {H}}_{2}}$をヒルベルト空間とする。線形作用素${\displaystyle T~:~{\mathcal {H}}_{1}\to {\mathcal {H}}_{2}}$が有界作用素であるとは、実定数C≧0が存在し、任意の${\displaystyle \psi \in {\mathcal {H}}_{1}}$に対し、

${\displaystyle \|T(\psi )\|_{{\mathcal {H}}_{2}}\leq C\|\psi \|_{{\mathcal {H}}_{1}}}$　

が成立する事を言う。ここで${\displaystyle \|\cdot \|_{{\mathcal {H}}_{k}}}$は${\displaystyle {\mathcal {H}}_{k}}$の内積に対応するノルムである。Tが有界とは限らないとき、Tを非有界作用素という^H13(p56)。

線形作用素Tが有界である必要十分条件は、Tが連続であることである^新井(p65)。したがって有界線形作用素とは、連続線形作用素と言い換えても良い。

ユニタリ作用素[編集]

定義[編集]

${\displaystyle {\mathcal {H}}}$をヒルベルト空間とする。全射線形作用素${\displaystyle U~:~{\mathcal {H}}\to {\mathcal {H}}}$が任意の${\displaystyle \varphi ,\psi \in {\mathcal {H}}}$に対し、

${\displaystyle \langle U(\psi ),U(\varphi )\rangle =\langle \psi ,\varphi \rangle }$

を満たすとき、Uをユニタリ作用素という。

上記の条件をみたすときは、明らかにUは単射なので、Uは全単射である事になる。したがってユニタリ作用素とは${\displaystyle {\mathcal {H}}}$から自分自身への同型写像（自己同型写像）である。

なお、${\displaystyle {\mathcal {H}}}$が有限次元の場合には、単射性から全射性が従うため、ユニタリ作用素の定義において全射という条件は必要ない。しかし${\displaystyle {\mathcal {H}}}$が無限次元の場合には、全射ではない単射線形作用素も存在するため、全射の条件は必須となる。

性質[編集]

定義から明らかに次が成立する：

ユニタリ作用素は有界作用素である

ブラベクトルとケットベクトル[編集]

本節では共役ベクトル空間の概念を定義することでディラックのブラベクトル、ケットベクトルの概念を数学的に定式化し、さらにリースの表現定理を導入することで、ブラベクトルの概念を別の角度から眺める。

共役ベクトル空間[編集]

ヒルベルト空間${\displaystyle {\mathcal {H}}}$で使われている足し算「＋」、（スカラーとの）掛け算「・」、および内積${\displaystyle \langle \cdot ,\cdot \rangle }$を明示して、${\displaystyle {\mathcal {H}}}$を${\displaystyle ({\mathcal {H}},+,\cdot ,\langle \cdot ,\cdot \rangle )}$と書くことにし、a∈C、${\displaystyle \psi \in {\mathcal {H}}}$に対し、

${\displaystyle a\times \psi :={\bar {a}}\psi }$

と定義すると、${\displaystyle ({\mathcal {H}},+,\times ,\langle \cdot ,\cdot \rangle )}$もヒルベルト空間になる。ここで${\displaystyle {\bar {a}}}$はaの複素共役である。${\displaystyle ({\mathcal {H}},+,\times ,\langle \cdot ,\cdot \rangle )}$を${\displaystyle ({\mathcal {H}},+,\cdot ,\langle \cdot ,\cdot \rangle )}$の共役ベクトル空間（英語版）という。定義より、共役ベクトル空間は掛け算以外は元の空間と同一である。以下、掛け算を明示しなくても共役ベクトル空間を区別できるようにするため、${\displaystyle {\mathcal {H}}}$の共役ベクトル空間を${\displaystyle {\mathcal {H}}^{*}}$と表記する。また${\displaystyle \psi }$が${\displaystyle {\mathcal {H}}^{*}}$の元である事が文脈から明らかな場合は、${\displaystyle a\times \psi }$を略記して単に${\displaystyle a\psi }$と表記する。

ブラベクトルとケットベクトル[編集]

ヒルベルト空間${\displaystyle {\mathcal {H}}}$上の内積${\displaystyle \langle \cdot ,\cdot \rangle }$は、第一成分に対して反線形、第二成分に対して線形であった。しかし内積の第一成分を共役ベクトル空間を${\displaystyle {\mathcal {H}}^{*}}$とみなして

${\displaystyle (\chi ,\phi )\in {\mathcal {H}}^{*}\times {\mathcal {H}}\to \langle \chi ,\phi \rangle \in \mathbf {C} }$

だとすれば、内積${\displaystyle \langle \cdot ,\cdot \rangle }$は、第一成分、第二成分双方に関して線形である事になるので便利である。そこで量子力学では${\displaystyle {\mathcal {H}}}$の元と${\displaystyle {\mathcal {H}}^{*}}$の元とを区別して考え、${\displaystyle {\mathcal {H}}^{*}}$の元をブラベクトル、${\displaystyle {\mathcal {H}}}$の元をケットベクトルと呼ぶ^{F15(p23)[注 1]}。

リースの表現定理[編集]

ブラベクトル${\displaystyle \psi \in {\mathcal {H}}^{*}}$に対し、線形作用素

${\displaystyle \chi \in {\mathcal {H}}\mapsto \langle \psi ,\chi \rangle \in \mathbf {C} }$

を考えると、コーシー＝シュワルツの不等式

${\displaystyle \langle \psi ,\chi \rangle \leq \|\psi \|\|\chi \|}$

より、この作用素は有界作用素である。実は複素数値の有界作用素はこの形のものに限られる事が知られている：

（リースの表現定理）${\displaystyle \alpha ~:~{\mathcal {H}}\to \mathbb {C} }$を有界線形作用素とすると、以下の性質を満たす${\displaystyle \psi \in {\mathcal {H}}^{*}}$が一意に存在する：任意の${\displaystyle \chi \in {\mathcal {H}}}$に対し、${\displaystyle \alpha (\chi )=\langle \psi ,\chi \rangle }$

なお${\displaystyle {\mathcal {H}}}$が有限次元であれば上に述べた事実は自明であるが、無限次元であってもこの事実が成り立つ所にこの定理の主眼がある。以上の事実から、ブラベクトルと複素数値の有界作用素は１対１に対応する。

オブザーバブル[編集]

既に述べたように作用素が有界である事はその作用素が連続である事を意味している為、有界性はヒルベルト空間上の作用素の最も自然な概念の一つである。しかし量子力学で用いられる作用素の多くは有界ではないし、しかも${\displaystyle {\mathcal {H}}}$の部分領域でしか定義できない。この原因は、量子力学で用いられる作用素の多くが微分を用いて定義されており、微分作用素が有界でもなければ${\displaystyle {\mathcal {H}}}$全域で定義できるわけでもない事にある。

幸運な事に、これら量子力学で用いる作用素は「稠密に定義された可閉作用素」という、比較的扱いやすいクラスに属している事が知られている。そこで本節では、まず「稠密に定義された」という概念と「可閉」という概念を定式化する。

次に本節では、この「稠密に定義された可閉作用素」の概念をベースとして、量子力学におけるオブザーバブルの概念を定式化する。すなわち、稠密に定義された可閉作用素の共役作用素の概念を定式化し、共役作用素の概念を用いて自己共役作用素の概念を定式化し、最後に量子力学におけるオブザーバブルの概念を自己共役作用素により定式化する。

稠密に定義された作用素[編集]

定義[編集]

オブザーバブルは状態空間の全域で定義されているとは限らないが、状態空間の稠密部分集合上では定義が可能である。そこでまず、稠密に定義された作用素の概念を導入する。${\displaystyle {\mathcal {H}}_{1}}$、${\displaystyle {\mathcal {H}}_{2}}$をヒルベルト空間とする。${\displaystyle {\mathcal {H}}_{1}}$の部分集合Dom(T)で定義された線形作用素${\displaystyle T~:~\mathrm {Dom} (T)\to {\mathcal {H}}_{2}}$が${\displaystyle {\mathcal {H}}_{1}}$で稠密に定義されているとは、Dom(T)が${\displaystyle {\mathcal {H}}_{1}}$の稠密部分集合である事を言う^新井(p71)。とくに${\displaystyle \mathrm {Dom} (T)={\mathcal {H}}_{1}}$が成立しているとき、Tは${\displaystyle {\mathcal {H}}_{1}}$の全域で定義されているという。

記法[編集]

本項では参考文献新井、H13と同様、以下、線形作用素${\displaystyle T~:~\mathrm {Dom} (T)\to {\mathcal {H}}_{2}}$が${\displaystyle {\mathcal {H}}_{1}}$で稠密に定義されている場合は、これを略記して、

${\displaystyle T~:~{\mathcal {H}}_{1}\to {\mathcal {H}}_{2}}$　（稠密に定義されている）

と書き表す。

稠密に定義された線形作用素の拡大[編集]

稠密に定義された２つの線形作用素${\displaystyle S,T~:~{\mathcal {H}}_{1}\to {\mathcal {H}}_{2}}$が、　Dom(S) ⊂ Dom(T) かつT|_Dom(S) = Sを満たすとき、TはSの拡大であるといい、

S ⊂ T

と書き表す。

稠密に定義された有界作用素[編集]

有界作用素に関しては、次の重用な性質が知られている：

• （BLT定理）稠密に定義された作用素 Tがその定義域において有界な線形作用素であれば、Tを全域に一意に拡張可能である。すなわち、全域で定義された${\displaystyle {\bar {T}}~:~{\mathcal {H}}_{1}\to {\mathcal {H}}_{2}}$が一意に存在し、${\displaystyle {\bar {T}}|_{\mathrm {Dom} (T)}=T}$である^新井(p71)

したがって有界作用素に限定すれば、稠密に定義されている事は全域で定義されている事と実質的な差がない。しかし量子力学で用いる作用その多くは有界ではないので、この定理を用いる事ができない。

可閉作用素[編集]

稠密に定義された線形作用素${\displaystyle T~:~{\mathcal {H}}_{1}\to {\mathcal {H}}_{2}}$が以下を満たすとき、Tは閉作用素であるという：

点列${\displaystyle \{\psi \}_{n}\subset {\mathcal {H}}_{1}}$が${\displaystyle (\psi _{n},S(\psi _{n}))\to (\varphi ,\chi )\in {\mathcal {H}}_{1}\times {\mathcal {H}}_{2}}$となる(φ,χ)を持てば、${\displaystyle \varphi \in \mathrm {Dom} (T)}$であり、しかもχ=T(φ)が成立する^{新井(p86-87)}。　

また稠密に定義された線形作用素${\displaystyle T~:~{\mathcal {H}}_{1}\to {\mathcal {H}}_{2}}$が、拡大${\displaystyle S\supset T}$でSが閉作用素であるものを持つとき、Tは可閉作用素であるという^{新井(p86-87)}。Tが可閉作用素であるとき、Tの拡大線形作用素${\displaystyle S\supset T}$で上記の性質を満たす（包含関係に関する）最小のもの${\displaystyle {\bar {T}}}$が必ず存在することが知られており、${\displaystyle {\bar {T}}}$をTの閉包作用素という^{新井(p86-87)}。Tが可閉作用素である必要十分条件は、任意の点列ψ_n∈Dom(T)に対し、n→∞のときψ_n→0かつT(ψ_n)→χであればχ=0が成立する事である^新井(p87)。

共役作用素[編集]

${\displaystyle T~:~{\mathcal {H}}_{1}\to {\mathcal {H}}_{2}}$を稠密に定義された線形作用素とする。ベクトル${\displaystyle \psi \in {\mathcal {H}}_{2}}$に対し、以下の性質を満たす${\displaystyle \psi '\in {\mathcal {H}}_{1}}$を考える：

任意の${\displaystyle \phi \in \mathrm {Dom} (T)}$に対し、${\displaystyle \langle \psi ',\phi \rangle =\langle \psi ,T(\phi )\rangle }$　

このような${\displaystyle \psi '}$は常に存在するとは限らないが、存在すれば一意である事を示せる^{新井(p82-83)[注 2]}。そこで

${\displaystyle \mathrm {Dom} (T^{*})=\{~\psi \in {\mathcal {H}}_{2}~:~}$上述の性質を満たす${\displaystyle \psi '}$が存在する${\displaystyle \}}$

とし、線形写像T^*を

${\displaystyle T^{*}~:~\mathrm {Dom} (T^{*})\to {\mathcal {H}}_{1},\quad \psi \mapsto \psi '}$

により定義し、T^*をTの共役作用素という^{新井(p82-83)}。

Tが有界とは限らない時、Tが稠密に定義されていたとしてもT^*が稠密に定義されることもT^**=Tが成り立つ事も保証されない^{新井(p83-84)}。これらを保証するには、Tが可閉である事が必要である：

• T^*が稠密に定義される⇔Tが可閉作用素^新井(p90)

自己共役作用素[編集]

${\displaystyle {\mathcal {H}}}$をヒルベルト空間とし、${\displaystyle T~:~\mathrm {Dom} (T)\subset {\mathcal {H}}\to {\mathcal {H}}}$を稠密に定義されているとは限らない線形作用素とする。

• 任意のφ, ψ∈Dom(T)に対し、${\displaystyle \langle \varphi ,T(\psi )\rangle =\langle T(\varphi ),\psi \rangle }$が成立するとき、Tをエルミート作用素という^新井(p102)。
• Tが稠密に定義されたエルミート作用素であるとき、Tを対称作用素であるという^H13(p56)
• Dom(T) = Dom(T^*)を満たす対称作用素Tを自己共役作用素という^新井(p102)。
• Tが可閉作用素で、その閉包が自己共役であるとき、Tは本質的に自己共役であるという^新井(p165)。

明らかに次が成立する：

Tは自己共役作用素⇒Tは対称作用素⇒Tはエルミート作用素

しかし逆向きは一般には成り立たない。与えられた作用素が自己共役かどうかを決定する問題を自己共役性の問題といい、それだけで一冊の本が書けるほど難しい問題である^新井(p228)。

次が知られている：

Tは本質的に自己共役作用素なら、Tの閉包${\displaystyle {\bar {T}}}$は自己共役であり、しかもTの拡大で自己共役なものは${\displaystyle {\bar {T}}}$に限る^H13(p173)

したがって以下、Tが本質的に自己共役な場合には、紛れがなければTと${\displaystyle {\bar {T}}}$を混用する。

共役作用素の定義より、

Tがエルミート作用素なら、共役作用素T^*をDom(T)上で定義でき、しかもをDom(T)上でT^*=Tである。　　　　　　…(B1)

すでに述べたように、Tが可閉作用素である必要十分条件はT^*が稠密に定義されることであった^新井(p90)。よって上述した事実より特に以下が成立する：

Tが対称作用素⇒Tは可閉作用素　　　　　　…(B2)

対称作用素Tの閉包は以下のように具体的に書き表す事ができることが知られている^{新井(p90,101)}：

Tが対称作用素⇒${\displaystyle {\bar {T}}=T^{**}}$かつ${\displaystyle {\bar {T}}^{*}={\overline {T^{*}}}}$

さらに、

Tが自己共役作用素⇒Tは閉作用素

自己共役作用素は必ず掛け算作用素として表現できる事が知られている（掛け算作用素によるスペクトル定理）^H13(p207)：

${\displaystyle T~:~{\mathcal {H}}\to {\mathcal {H}}}$を自己共役作用素とする。このときσ-有限（英語版）な可測空間(X,μ)とユニタリ作用素${\displaystyle U~:~{\mathcal {H}}{\tilde {\to }}L^{2}(X,\mu )}$と可測な実数値関数${\displaystyle h~:~L^{2}(X,\mu )\to \mathbf {R} }$が存在し、T_U:=UTU^-1とすると以下が成立する：

${\displaystyle T_{U}(\psi )=h(x)\psi (x)~~\forall \psi \in \mathrm {Dom} (T_{U})}$

量子力学では以下の仮定を課す：

オブザーバブルに関する仮定：量子力学におけるオブザーバブルは自己共役作用素として表現される。

オブザーバブルの具体例[編集]

本節では

${\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{d})}$　

の場合に対して、オブザーバブルの具体例を述べる。

微分作用素[編集]

量子力学で登場する代表的なオブザーバブルは、いずれも偏微分を用いて表現できるので、まず本節では微分作用素の定義と性質を述べる。まず記法を導入する。非負整数α₁、…、α_d≧0からなるベクトル(α₁、…、α_d)に対し、

${\displaystyle |\alpha |:=\alpha _{1}+\cdots +\alpha _{d}}$

${\displaystyle \partial ^{\alpha }:={\frac {\partial ^{|\alpha |}}{\partial ^{\alpha _{1}}x_{1}\cdots \partial ^{\alpha _{d}}x_{d}}}}$

とする。

非負整数α₁、…、α_d≧0に対し、

${\displaystyle D=\sum _{\alpha ~:~|\alpha |\leq m}\psi _{\alpha }(x)\partial ^{\alpha }}$　

の形で書ける作用素を微分作用素という。ここでψ_α(x)は局所自乗可積分な関数である。なおDの定義において、α₁=…=α_d=0の項${\displaystyle \psi _{0}(x)\partial ^{0}}$はψ₀(x)倍する演算子とみなす。

本節の目標は、微分作用素Dのうち性質の良いものを${\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{d})}$上定義されたオブザーバブルとみなす事である。しかしそもそも偏微分${\displaystyle {\partial \over \partial x_{j}}\psi (x)}$は${\displaystyle \psi (x)\in L^{2}(\mathbf {R} ^{d})}$が可微分でなければそもそも定義できないので、単純にDを${\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{d})}$の元に作用させることはできない。そこで${\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{d})}$の部分集合C∞
0(R^d)を

${\displaystyle C_{0}^{\infty }(\mathbf {R} ^{d})=\{\psi (x):\mathbf {R} ^{d}\to \mathbf {C} ~,}$C^∞級関数 s.t. ある有界閉集合Kが存在し、ψはR^d＼K上で恒等的に0である${\displaystyle \}}$ 　

と定義すると次が成立する：

C∞
0(R^d)は${\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{d})}$の稠密部分集合である^新井(p43)　

微分作用素DはC∞
0(R^d)上で明らかに定義可能であり、しかもC∞
0(R^d)の元をL²(R^d)に写すので、微分作用素Dを${\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{d})}$上稠密に定義された線形作用素とみなす事ができる。

位置作用素[編集]

実数値可測関数

${\displaystyle f~:~\mathbf {R} ^{d}\to \mathbf {R} }$

に対して線形作用素M_fを

${\displaystyle M_{f}~:~\mathrm {Dom} (M_{f})\to L^{2}(\mathbf {R} ^{3}),\quad }$${\displaystyle \psi (x)\mapsto f(x)\psi (x)}$　

と定義し、M_fの閉包を掛け算作用素という。ここで

${\displaystyle \mathrm {Dom} (M_{f}):={\bigg \{}\psi (x)\in L^{2}(\mathbf {R} ^{d})~:~}$${\displaystyle \int _{\mathbf {R} ^{d}}|f(x)\psi (x)|^{2}\operatorname {d} x<\infty {\bigg \}}}$　

である。

特にj = 1,...,dでf(x)=x_jという形の掛け算作用素を第j位置作用素という。

掛け算作用素は自己共役作用素である。実際可測性から

${\displaystyle C_{0}^{\infty }(\mathbf {R} ^{d})\subset \mathrm {Dom} (M_{f})}$　

なのでM_fは稠密に定義された作用素であり、しかも明らかにM_fは対称作用素である。さらに${\displaystyle \phi \in \mathrm {Dom} (M_{f}{}^{*})}$とすれば、任意の${\displaystyle \psi \in \mathrm {Dom} (M_{f})}$に対し、${\displaystyle \langle \chi ,\psi \rangle =\langle \phi ,M_{f}(\psi )\rangle }$をみたすので、

${\displaystyle \int _{\mathbf {R} ^{d}}\chi (x)\psi (x)\mathrm {d} x=\langle \chi ,\psi \rangle }$${\displaystyle =\langle \phi ,M_{f}(\psi )\rangle =\int _{\mathbf {R} ^{d}}f(x)\phi (x)\psi (x)\mathrm {d} x}$　

である。${\displaystyle \psi \in \mathrm {Dom} (M_{f})}$の任意性より、これは${\displaystyle \chi (x)=f(x)\phi (x)}$ a.eを意味する。χの自乗可積分性とDom(M_f)の定義より、${\displaystyle \phi \in \mathrm {Dom} (M_{f})}$である。よってDom(M_f^*)=Dom(M_f)であり、掛け算作用素M_jは自己共役作用素である。

運動量作用素、軌道角運動量作用素[編集]

線形作用素

${\displaystyle P_{j}~:~C_{0}^{\infty }(\mathbf {R} ^{d})\to L^{2}(\mathbf {R} ^{d}),\quad }$${\displaystyle \psi (x)\mapsto -i\hbar {\partial \over \partial x_{j}}\psi (x)}$ 　

の閉包を第j運動量作用素という。

P_jは本質的に自己共役である事が知られている。より一般に

${\displaystyle D=\sum _{\alpha ~:~|\alpha |\leq m}(-i)^{|\alpha |}a_{\alpha }{\frac {\partial ^{\alpha }}{\partial ^{\alpha _{1}}x_{1}\cdots \partial ^{\alpha _{d}}x_{d}}},}$ ${\displaystyle \forall \alpha ~:~a_{\alpha }\in \mathbf {R} }$　　　…(A1)　

という形で書ける微分作用素は本質的に自己共役である^新井(p198)。特に

${\displaystyle C_{0}^{\infty }(\mathbf {R} ^{d})\to L^{2}(\mathbf {R} ^{d}),\quad }$${\displaystyle \psi (x)\mapsto -i\hbar \left(x_{k}{\partial \over \partial x_{j}}-x_{j}{\partial \over \partial x_{k}}\right)\psi (x)}$ 　

の閉包として書ける軌道角運動量作用素も自己共役である。

(A1)の形の微分作用素Dが自己共役である事の証明は本項の範囲を超えるため省略するが、Dが対称作用素である事は以下のように示すことができる。φ, ψ ∈C∞
0(R^d)に対し、部分積分の公式から

${\displaystyle \langle -i{\partial _{j}}\phi ,\psi \rangle =\int _{\mathbf {R} ^{d}}(-i{\partial _{j}}\phi (x))^{*}\psi (x)\mathrm {d} x}$${\displaystyle =i\partial _{j}\int _{\mathbf {R} ^{d}}\phi (x)\psi (x)\mathrm {d} x-\int _{\mathbf {R} ^{d}}\phi ^{*}(x)(-i{\partial _{j}}\psi (x))\mathrm {d} x=\langle \phi ,-i\partial _{j}\psi \rangle }$　

である。(A1)の形の微分作用素は${\displaystyle -i\partial _{j}}$の実数係数多項式であるので、

${\displaystyle \langle D(\phi ),\psi \rangle =\langle \phi ,D(\psi )\rangle }$　

が成立する。Dの定義域C∞
0(R^d)は${\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{d})}$で稠密だったので、これはDが対称作用素である事を意味する。

シュレディンガー作用素[編集]

量子力学では時刻tに依存するかもしれないポテンシャルと呼ばれる実数値局所可積分関数V(x,t)を固定し、シュレディンガー作用素と呼ばれる作用素

${\displaystyle H=-\sum _{j=1}^{n}{\hbar \over 2m_{j}}\left({\partial ^{2} \over \partial x_{j,1}{}^{2}}+\cdot +{\partial ^{2} \over \partial x_{j,\ell }{}^{2}}\right)+V(x,t)}$　

を考える。ここでm_jは何らかの定数で、物理的にはj番目の粒子の質量を表す。またlは次元であり、物理学的なセッティングでは3である。各時刻tに対しシュレディンガー作用素は常に対称作用素であるが^新井(p227)、本質的に自己共役であるか否かはポテンシャルによる。

時間非依存かつ一粒子のシュレディンガー作用素

${\displaystyle H=-{\hbar \over 2m}\left({\partial ^{2} \over \partial x_{1}{}^{2}}+\cdots +{\partial ^{2} \over \partial x_{\ell }{}^{2}}\right)+V(x)}$　

に関しては、以下の条件をみたすときには本質的に自己共役である事が知られている^P01(p82)：

${\displaystyle V(x)>-Q(|x|)}$を満たす非負かつ非減少な連続関数Q(r)で${\displaystyle \int _{0}^{\infty }{\mathrm {d} r \over {\sqrt {Q(2r)}}}=\infty }$となるものが存在する。　

また時間非依存かつ一粒子のハミルトニアンが以下の条件を場合もハミルトニアンは本質的に自己共役である^{P01(p88)H13(p192)}：

${\displaystyle V(x)\in L^{p}(\mathbb {R} ^{\ell })+L^{\infty }(\mathbb {R} ^{\ell })}$で、しかも${\displaystyle {\begin{cases}p=2&{\text{if }}\ell \leq 3\\p>2&{\text{if }}\ell =4\\p>n/2&{\text{if }}\ell \geq 5\end{cases}}}$　

超関数によるデルタ関数の定式化[編集]

量子力学を定式化するため、ディラックはデルタ関数

${\displaystyle \delta (x)={\begin{cases}\infty &{\text{if }}x=0\\0&{\text{otherwise}}\end{cases}}}$　

を導入した。数学的に見た場合、このような「関数」は存在しないものの関数概念を一般化した「超関数」の概念を使う事でデルタ関数を数学的に定式化でき、これによりディラックの議論をある程度の部分まで数学的に正当化ができる（全ての議論を正当化できるわけではない。詳細後述）。そこで本稿では超関数の概念を導入し、デルタ関数を超関数の概念を使って定式化し、超関数の性質を調べる。

準備[編集]

本節では超関数の概念を定式化するのに必要な概念を導入する。

C∞
0(R^d)と${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の定義[編集]

${\displaystyle C_{0}^{\infty }(\mathbf {R} ^{d})=\{\psi (x):\mathbf {R} ^{d}\to \mathbf {C} ~,}$C^∞級関数 s.t. ある有界閉集合Kが存在し、ψはR^d＼K上で恒等的に0である${\displaystyle \}}$ 　

とする。 さらにα=(α₁,...,α_d)、β=(β₁,...,β_d)に対し、及びC^∞級関数ψ : R^d → Cに対し、

${\displaystyle \|\psi \|_{\alpha ,\beta }:=\sup _{x\in \mathbf {R} ^{d}}\left|x_{1}{}^{\alpha }\partial ^{\beta }\psi (x)\right|}$　、ここで${\displaystyle x^{\alpha }:=x_{1}{}^{\alpha _{1}}\cdots x_{1}{}^{\alpha _{d}}}$

と定義する。C^∞級関数ψ : R^d → Cが

任意のα=(α₁,...,α_d)、β=(β₁,...,β_d)に対し、${\displaystyle \|\psi \|_{\alpha ,\beta }<\infty }$　

という性質を満たすとき、ψを急減少関数といい、Rⁿ上の急減少関数全体の集合${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$と書き、${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$をシュワルツ空間という^F15(p109)。

性質[編集]

明らかに

${\displaystyle C_{0}^{\infty }(\mathbf {R} ^{d})\subset {\mathcal {S}}(\mathbf {R} ^{d})}$

である。また前述したようにC∞
0(R^d)はL²(R^d)の稠密部分空間なので、次の事実が成り立つ：

${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$はL²(R^d)の稠密部分空間である^{新井(p190-191)}。

定義から明らかなように${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$は次を満たす

ψ(x₁,...,x_n)∈${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$なら、任意のα=(α₁,...,α_d)、β=(β₁,...,β_d)に対し、${\displaystyle x{}^{\alpha }\partial ^{\beta }\psi (x)\in {\mathcal {S}}(\mathbf {R} ^{d})}$

よって特に、位置作用素や運動量作用素は${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の元を${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の元に写す。

収束[編集]

C∞
0(Ω)の元の列および${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の元の列の収束性を定義する。

以下の2条件を満たす時、C∞
0(Ω)の元の列{φ_n}はC∞
0(R^d)の元φに収束するという^F15(p103)：

• nに依存しない有界閉集合K⊂Ωで、supp φ_n⊂Kが任意のnに対して成立するものが存在する。
• 任意のβ=(β₁,…,β_n)に対し、${\displaystyle \mathrm {sup} \{|\partial ^{\beta }\phi _{n}(x)-\partial ^{\beta }\phi (x)|~:~x\in K\}\to 0}$が成立する。

また以下の性質が満たされているとき、${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の元の列{ψ_n}は${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の元ψに収束するという：

任意のα=(α₁,...,α_d)、β=(β₁,...,β_d)に対し、${\displaystyle \|\psi _{n}-\psi \|_{\alpha ,\beta }\to 0}$　

超関数の定義[編集]

シュワルツ超関数の定義[編集]

ΩをR^dの開集合とし、ψ : Ω → Cを局所可積分関数とするとき、C∞
0(Ω)上の線形汎関数T_ψを

${\displaystyle T_{\psi }~:~C_{0}^{\infty }(\Omega )\to \mathbf {C} }$、　${\displaystyle \phi \mapsto \int _{\mathbf {R} ^{d}}\phi (x)\psi (x)\mathrm {d} x}$

により定義することで、局所可積分関数ψにC∞
0(Ω)上の線形汎関数T_ψを対応させる事ができる。この対応関係が単射な事は容易に確かめられるので、ψとT_ψを自然に同一視することにすると、C∞
0(Ω)上の線形汎関数の集合は局所可積分関数の集合を部分集合として含むことになるので、C∞
0(Ω)上の線形汎関数を局所可積分関数よりも広いクラスの「関数」であるとみなせる。そこでC∞
0(Ω)上の線形汎関数で「連続」なものの事をシュワルツ超関数、あるいは単に超関数と呼ぶことにする。ここでC∞
0(Ω)上の線形汎関数Tが連続であるとは、C∞
0(Ω)の元の列{φ_n}がC∞
0(R^d)の元φに収束するときは常に

${\displaystyle \lim _{n\to \infty }T(\phi _{n})=T(\phi )}$

が成立する事を言う^F15(p103)。２つの超関数に対してその線形和を自然に定義できるため、超関数全体の集合はベクトル空間をなす。

同様に、線型汎関数

${\displaystyle T~:~{\mathcal {S}}(\mathbf {R} ^{d})\to \mathbf {C} }$

で、${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の元の列{ψ_n}が${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の元ψに収束するなら

${\displaystyle \lim _{n\to \infty }T(\psi _{n})=T(\psi )}$

を満たすものを連続であるといい、${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$からCへの連続な線型汎関数を緩増加超関数といい、緩増加超関数全体の集合を${\displaystyle {\mathcal {S}}'(\mathbf {R} ^{d})}$と書き表す。

以下、超関数Tと局所可積分関数ψに対し、

${\displaystyle \langle T,\psi \rangle :=T(\psi )}$

と表記する。緩増加超関数に対しても同様の表記を用いる。なお上述の表記は内積に似ているが、内積の定義では複素共役を取っている事が原因で、

${\displaystyle \langle T_{\phi },\psi \rangle =\langle \phi ^{*},\psi \rangle }$

となることに注意されたい。

超関数と緩増加超関数の関係[編集]

Tを緩増加超関数とするとき、Tの定義域を${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の部分集合C∞
0(R^d)に制限した

${\displaystyle T|_{C_{0}^{\infty }(\mathbf {R} ^{d})}~:~C_{0}^{\infty }(\mathbf {R} ^{d})\to \mathbf {C} }$

は超関数になる。よって制限写像により緩増加超関数全体の集合${\displaystyle {\mathcal {S}}'(\mathbf {R} ^{d})}$から超関数全体の集合${\displaystyle {\mathcal {D}}'(\mathbf {R} ^{d})}$への写像

${\displaystyle {\mathcal {S}}'(\mathbf {R} ^{d})\to {\mathcal {D}}'(\mathbf {R} ^{d})}$、${\displaystyle T\mapsto T|_{C_{0}^{\infty }(\mathbf {R} ^{d})}}$

を考える事ができる。この写像は単射である事が知られているので、この写像により自然に${\displaystyle {\mathcal {S}}'(\mathbf {R} ^{d})}$を${\displaystyle {\mathcal {D}}'(\mathbf {R} ^{d})}$の部分集合とみなすことができる。

デルタ超関数[編集]

ディラックのデルタ関数の概念は、緩増加超関数の概念を用いて定式化する事ができる。ΩをR^dの開集合とするとき、以下のように定義される超関数をデルタ超関数という：

${\displaystyle \delta ~:~C_{0}^{\infty }(\Omega )\to \mathbf {C} }$、　${\displaystyle \phi \mapsto \phi (0)}$

内積の定義より、これは

${\displaystyle \langle \delta ,\phi \rangle =\phi (0)}$

を意味する。上式をL²空間における内積の定義と照らし合わせると、上式はディラックの議論における

${\displaystyle \int _{\Omega }\delta (x)\phi (x)\mathrm {d} x=\phi (0)}$

を数学的に正当化したものとみなせる。

超関数の偏微分[編集]

超関数に対する偏微分の概念を定義する為、まずはC∞
0(Ω)の元の偏微分に関して簡単な考察をする。φ、ψをC∞
0(Ω)の２つの元とするとき、C∞
0(Ω)の定義よりφ(x)、ψ(x)が0でないxの集合は有界閉集合であるのに対し、ΩをR^dの開集合であるので、Ωの境界上ではφ(x)、ψ(x)は0になる。よって微分積分学の基本定理から、

${\displaystyle \int _{\Omega }\partial _{x_{i}}(\psi (x)\phi (x))\mathrm {d} x=0}$

が成立する。よってライプニッツルールにより

${\displaystyle \langle \partial _{x_{i}}\psi ,\phi \rangle =\int _{\Omega }\partial _{x_{i}}(\psi (x))\phi (x)\mathrm {d} x}$${\displaystyle =-\int _{\Omega }\psi (x)\partial _{x_{i}}(\phi (x))\mathrm {d} x=-\langle \psi ,\partial _{x_{i}}\phi \rangle }$

が成立する。そこで上式を参考にして、超関数Tの偏微分を

${\displaystyle \partial _{x_{i}}T(\phi )=\langle \partial _{x_{i}}T,\phi \rangle :=-\langle T,\partial _{x_{i}}\phi \rangle }$

により定義する。C∞
0(Ω)の元は無限回微分可能なので、上記の定義は常に意味を持つ。より一般に微分作用素を

${\displaystyle \left(\sum {}_{\alpha ~:~|\alpha |\leq m}\psi _{\alpha }(x)\partial _{x_{1}}^{\alpha _{1}}\cdots \partial _{x_{d}}^{\alpha _{d}}\right)T:=\sum {}_{\alpha ~:~|\alpha |\leq m}\psi _{\alpha }(x)\partial _{x_{1}}^{\alpha _{1}}\cdots \partial _{x_{d}}^{\alpha _{d}}T}$

も定義可能である。

ここで注意すべきことは、局所可積分関数ψそれ自身が偏微分不能な関数であっても、${\displaystyle \partial _{x_{i}}T_{\psi }}$は定義可能な事である。これはψの偏微分は通常の関数としては存在しなくとも、超関数の中にはψ（と同一視されるT_ψ）の偏微分が存在する事が原因である。紛れがなければ以下${\displaystyle \partial _{x_{i}}T_{\psi }}$の事を単に${\displaystyle \partial _{x_{i}}\psi }$と書き、${\displaystyle \partial _{x_{i}}\psi }$をψの超関数としての偏微分と呼ぶ。

また通常の関数の場合、仮に二階偏微分可能であっても${\displaystyle \partial _{x_{i}}\partial _{x_{j}}\psi }$と${\displaystyle \partial _{x_{j}}\partial _{x_{i}}\psi }$が異なる関数になる場合があるが、超関数としての微分を考えた場合、${\displaystyle \partial _{x_{i}}\partial _{x_{j}}T_{\psi }}$と${\displaystyle \partial _{x_{j}}\partial _{x_{i}}T_{\psi }}$は必ず同一の超関数になる事を簡単に確認できる。

限界[編集]

以上で示したように、超関数の概念を用いる事でディラックによるデルタ関数の議論の一部を数学的に正当化できるが、超関数を用いても全ての議論を正当化できるわけではない。例えば以下の議論は超関数では正当化されない：

• 公式${\displaystyle \langle \delta (x-\lambda ),\delta (x-\tau )\rangle =\delta (\lambda -\tau )}$：そもそも超関数同士の積は定義不可能である。（詳細はシュワルツ超関数の項目を参照されたい）
• C∞
  0(Ω)以外のL²空間の元とデルタ関数との内積を取ること：前述した内積の定義は超関数とC∞
  0(R^d)の元との間にのみ定義されているので、C∞
  0(Ω)に属していない元とは内積を取れない。
• デルタ関数は超関数であり、L²空間の元ではないので、デルタ関数をあたかも通常の状態ベクトルであるかのように扱う議論は必ずしも正当化できない。

弱微分[編集]

ΩをR^dの開集合とする。局所可積分関数ψ、χ : Ω → Cに対応する超関数T_ψ、T_χが

${\displaystyle T_{\chi }=\partial _{i}T_{\psi }}$

を満たす時、χはψの弱微分であるとい、

${\displaystyle \chi =w{\text{-}}\partial _{i}\psi }$

と表記する。

運動量作用素（の閉包作用素）P_jの定義域は以下のように書くことができる事が知られている：

${\displaystyle \mathrm {Dom} (P_{j})=\{\psi \in {\mathcal {H}}\mid \exists w{\text{-}}\partial _{j}\psi _{j},~\|w{\text{-}}\partial _{j}\psi _{j}\|^{2}<\infty \}}$

フーリエ変換[編集]

本節では、関数 f: R → C のフーリエ変換

${\displaystyle {\mathcal {F}}(f)(\xi ):={1 \over (2\pi )^{d/2}}\int _{-\infty }^{\infty }f(x)\ e^{-ix\xi }\,\mathrm {d} x}$

とその逆変換に当たるフーリエ逆変換

${\displaystyle {\mathcal {F}}^{*}(g)(x):={1 \over (2\pi )^{d/2}}\int _{-\infty }^{\infty }g(\xi )\ e^{ix\xi }\,\mathrm {d} x}$

の厳密な定義を述べ、その性質を調べ、そして最後に位置作用素と運動量作用素が（換算プランク定数を除いて）フーリエ変換で移り合う関係にある事を見る。

フーリエ変換とその逆変換を定義する上で問題になるのは、fやgがどのようなクラスに属すればこれらの変換が定義でき、変換によってできあがる関数${\displaystyle {\mathcal {F}}(f)}$、${\displaystyle {\mathcal {F}}^{*}(g)}$がどのようなクラスに属するか、という事である。本節ではまずシュワルツ空間という関数空間のクラスを定義し、フーリエ変換がシュワルツ空間上の全単射になっている事を示す。次に本節では、シュワルツ空間上の線型汎函数である「緩増加超関数」に対してもフーリエ変換が定義可能なことを見る。そして最後にフーリエ変換がL²空間上の全単射になっている事を見る。

${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$と${\displaystyle {\mathcal {S}}'(\mathbf {R} ^{d})}$の上のフーリエ変換[編集]

${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$上のフーリエ変換[編集]

次が成立する事を簡単な計算で確かめることができる：

フーリエ変換とフーリエ逆変換を${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$上で定義する事ができる。しかもこれらの変換は${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$上の全単射であり、フーリエ変換とフーリエ逆変換は逆写像の関係にある^F15(p112)

またこれらの変換は連続である：

${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の元の列{ψ_n}が${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の元ψに収束するなら、${\displaystyle {\mathcal {F}}(\psi _{n})\to {\mathcal {F}}(\psi )}$と${\displaystyle {\mathcal {F}}^{*}(\psi _{n})\to {\mathcal {F}}^{*}(\psi )}$が成立する^F15(p112)。

シュワルツ関数の埋め込み[編集]

${\displaystyle \psi ,\chi \in {\mathcal {S}}(\mathbf {R} ^{d})}$に対し、超関数の時と同様

${\displaystyle T_{\psi }(\chi ):=\int _{\mathbf {R} ^{d}}\psi (x)\chi (x)\mathrm {d} x}$

と定義する事で、シュワルツ関数${\displaystyle \psi \in {\mathcal {S}}(\mathbf {R} ^{d})}$に緩増加超関数T_ψを対応させることができる。この対応

${\displaystyle \psi \in {\mathcal {S}}(\mathbf {R} ^{d})\mapsto T_{\psi }\in {\mathcal {S}}'(\mathbf {R} ^{d})}$

は単射かつ連続で、しかもその像は値域において稠密である事が知られている^M07(p17)。

${\displaystyle {\mathcal {S}}'(\mathbf {R} ^{d})}$上のフーリエ変換[編集]

${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$の元ψ、χに対し、プランシュレルの定理

${\displaystyle \int _{\mathbf {R} ^{d}}{\mathcal {F}}(\psi )(\xi ){\mathcal {F}}^{*}(\chi )(\xi )\mathrm {d} \xi }$${\displaystyle =\int _{\mathbf {R} ^{d}}\psi (x)\chi (x)^{*}\mathrm {d} x}$

が成り立つので、${\displaystyle \varphi (x)={\mathcal {F}}(\chi )(x)}$とする事で、

${\displaystyle \int _{\mathbf {R} ^{d}}{\mathcal {F}}(\psi )(\xi )\varphi (\xi )\mathrm {d} \xi }$${\displaystyle =\int _{\mathbf {R} ^{d}}\psi (x){\mathcal {F}}(\varphi )(x)\mathrm {d} x}$

となる事が分かる。これを参考にして緩増加超関数Tのフーリエ変換を

${\displaystyle {\mathcal {F}}(T)(\psi ):=\langle T,{\mathcal {F}}(\psi )\rangle }$

により定義し、同様にフーリエ逆変換を

${\displaystyle {\mathcal {F}}^{*}(T)(\psi ):=T({\mathcal {F}}^{*}(\psi ))}$

により定義する。これらの変換は緩増加超関数全体の集合${\displaystyle {\mathcal {S}}'(\mathbf {R} ^{d})}$で逆写像の関係にある事を以下のように簡単に示すことができる：

${\displaystyle {\mathcal {F}}({\mathcal {F}}^{*}(T))(\psi ):=T({\mathcal {F}}({\mathcal {F}}^{*}(\psi )))}$${\displaystyle =T(\psi )}$

${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$上のフーリエ変換が連続であることから、上に定義した${\displaystyle {\mathcal {S}}'(\mathbf {R} ^{d})}$上のフーリエ変換も連続である事が従う。

L²空間上のフーリエ変換[編集]

定義[編集]

L²関数ψに緩増加超関数

${\displaystyle T_{\psi }(\chi ):=\int _{\mathbf {R} ^{d}}\psi (x)\chi (x)\mathrm {d} x}$

を自然に対応させることで、L²空間を${\displaystyle {\mathcal {S}}'(\mathbf {R} ^{d})}$の部分集合とみなせる。よって${\displaystyle {\mathcal {S}}'(\mathbf {R} ^{d})}$上でフーリエ変換の定義域をL²空間に制限する事でL²空間にもフーリエ変換が定義できる。次の事実が成り立つことが知られている：

L²関数のフーリエ変換はL²関数であり、しかもフーリエ変換は${\displaystyle L^{2}(\mathbf {R} ^{d})}$上の内積を保つ^{新井(p197)M07(p17)}

すなわち、

L²関数のフーリエ変換${\displaystyle L^{2}(\mathbf {R} ^{d})}$上ユニタリ変換である^新井(p197)

実はこのような性質を満たすフーリエ変換の拡張は一意である：

${\displaystyle L^{2}(\mathbf {R} ^{d})}$上ユニタリ変換で、${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$への制限が${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$上のフーリエ変換と一致するものはただ一つである^新井(p197)。

性質[編集]

L²関数ψのフーリエ変換は

${\displaystyle {1 \over (2\pi )^{d/2}}\int _{-\infty }^{\infty }\psi (x)\ e^{-ix\xi }\,\mathrm {d} x}$

という形式で書くことができない。なぜならψがL²関数の場合は上述の積分は一般には定義できるとは限らないからである。しかし

${\displaystyle F_{R}(\psi ):={1 \over (2\pi )^{d/2}}\int _{|x|\leq R}\psi (x)\ e^{-ix\xi }\,\mathrm {d} x}$

は定義でき^新井(p197)、L²関数のフーリエ変換は以下を満たすことが知られている：

R→∞のとき、${\displaystyle \int _{\mathbf {R} ^{d}}|F_{R}(\psi )-{\mathcal {F}}(\psi )|^{2}\mathrm {d} x\to 0}$

すなわちF_R(ψ)は${\displaystyle {\mathcal {F}}(\psi )}$にL²収束する^新井(p197)。

運動量作用素のフーリエ変換[編集]

最後に、位置作用素と運動量作用素とがフーリエ変換で移り合う関係にある事を見る。

そのためにより一般に微分作用素

${\displaystyle D=\sum _{\alpha ~:~|\alpha |\leq m}(-i)^{|\alpha |}a_{\alpha }{\frac {\partial ^{\alpha }}{\partial ^{\alpha _{1}}x_{1}\cdots \partial ^{\alpha _{d}}x_{d}}},}$ ${\displaystyle \forall \alpha ~:~a_{\alpha }\in \mathbf {R} }$　　

(の閉包作用素)を考え、多項式Fを

${\displaystyle F(x_{1},\ldots ,x_{d})=\sum _{\alpha ~:~|\alpha |\leq m}a_{\alpha }x_{1}{}^{\alpha _{1}}\cdots x_{d}{}^{\alpha _{d}}}$

と定義すると、以下が成立することが知られている^新井(p198)：

${\displaystyle D={\mathcal {F}}^{-1}\circ M_{F}\circ {\mathcal {F}}}$

ここでM_FはFを乗じる掛け算作用素である。よって特に運動量作用素

${\displaystyle P_{j}=-i\hbar {\partial \over \partial x_{j}}}$

（の閉包作用素）は

${\displaystyle P_{j}=\hbar {\mathcal {F}}^{-1}\circ M_{x_{j}}\circ {\mathcal {F}}}$

を満たす。x_j倍する掛け算作用素は位置作用素であったことから、上式は換算プランク定数を除いて位置作用素と運動量作用素が移り合うことを意味する。

スペクトル[編集]

スペクトルとは、有限次元における固有値・固有ベクトルの理論の「無限次元版」であり、量子力学では物理量を観測する時に得られる値の集合となる。本節の目標は、ヒルベルト空間上定義された自己共役作用素のスペクトルの概略を述べる。

有限次元における固有値[編集]

無限次元におけるスペクトル理論について述べる前に、まず有限次元の固有値の性質を調べる。λが${\displaystyle A~:~{\mathcal {H}}\to {\mathcal {H}}}$の固有値である事は明らかに

${\displaystyle \ker(A-\lambda I)\neq \{0\}}$

を意味し、これはA-λIは単射ではない事を意味する。${\displaystyle {\mathcal {H}}}$が有限次元であれば線形写像が単射である事は全射である事と同値なので、λがAの固有値である事はA-λIが全単射でない事と同値である。したがってλがAの固有値ではない場合、A-λIは全単射である為、

${\displaystyle R_{\lambda }:=(A-\lambda I)^{-1}}$

が存在し、逆にR_λが存在すればλはAの固有値ではない。

しかし無限次元の場合には

• 単射ではない全射線形作用素
• 全射ではない単射線形作用素

が存在するため、このような単純な関係は存在しない。スペクトル理論は、上述のような作用素の存在を考慮した上で、固有値・固有ベクトルの理論を適切に「無限次元化」したものである。

スペクトルの定義[編集]

これまで同様${\displaystyle {\mathcal {H}}}$をヒルベルト空間とし、${\displaystyle A~:~{\mathcal {H}}\to {\mathcal {H}}}$を稠密に定義された（有界とは限らない）閉作用素とし、λを複素数とする。恒等写像Iは全域で定義されているので、A-λIもAと同一の定義域を持つ作用素として定義できる。

${\displaystyle A-\lambda I~:~\mathrm {Dom} (A)\to {\mathcal {H}}}$

が全単射である複素数λ全体の集合をρ(A)と書き、Aのレゾルベント集合といい^S12(p7)、その補集合${\displaystyle \sigma (A):=\mathbf {C} \setminus \rho (A)}$をAのスペクトルという^{S12(p7)K12(p30)}。さらにスペクトルσ(A)に属するλをAのスペクトル点であるという^H13(p177)。なお、本稿で述べているレゾルベント集合を狭義のレゾルベント集合と呼び、「レゾルベント集合」という語には別の意味を与えているテキストも存在するので注意されたい。

レゾルベント[編集]

λがレゾルベント集合ρ(A)に属していれば${\displaystyle A-\lambda I~:~\mathrm {Dom} (A)\to {\mathcal {H}}}$は全単射なので、A-λIの逆写像

${\displaystyle R_{\lambda }:=(A-\lambda I)^{-1}~:~{\mathcal {H}}\to \mathrm {Dom} (A)\subset {\mathcal {H}}}$

が定義できる。R_λをAのλにおけるレゾルベントという。Aが閉作用素の場合、R_λは必ず有界である事が知られている^L04(p38)。なお本稿ではAが閉作用素の場合に限定してレゾルベント集合を定義したが、Aが閉作用素でない場合にレゾルベント集合の定義を拡張する際は、A-λIが全単射になり、しかもR_λが有界になるλの全体をレゾルベント集合と定義する^新井(p125)。

点スペクトル[編集]

スペクトルσ(A)の定義より、λがσ(A)に属する場合、A-λIは全単射でない。すなわちA-λIは「全射でない」かもしくは「単射でない」事を意味する。σ(A)の元のうち、A-λIが単射でない複素数λ全体の集合をσ_P(A)と書き、σ_P(A)をAの点スペクトルという^{K12(p30)新井(p92)}。λがσ_P(A)の元であれば明らかに

${\displaystyle \ker(A-\lambda I)\neq \{0\}}$

であるので、

${\displaystyle A\psi =\lambda \psi }$

となる0でない${\displaystyle \psi \in \mathrm {Dom} (A)}$が存在する。すなわち点スペクトルσ_P(A)の元はAの固有値である^K12(p30)。σ_P(A)の元λに対し、${\displaystyle \ker(A-\lambda I)}$の0でない元をAのλに対応する固有ベクトルといい、${\displaystyle \dim \ker(A-\lambda I)}$をλの多重度という^K12(p30)。

有限次元の場合と違い、A-λIが単射であるにも関わらず、全射ではない事が起こりうる。よって${\displaystyle \sigma (A)\setminus \sigma _{P}(A)}$は一般には空集合ではない。${\displaystyle \sigma (A)\setminus \sigma _{P}(A)}$の詳細については後述する。

剰余スペクトル、連続スペクトル[編集]

スペクトルσ(A)に属するλのうち、A-λIが単射でないもの全体が点スペクトルσ_P(A)であった。それ以外のσ(A)の元、すなわちA-λIが単射ではあるが全射でないものは２つのタイプに分類できる。A-λIが単射であるが全射でなく、しかもその像

${\displaystyle (A-\lambda I)(\mathrm {Dom} (A))}$

が値域${\displaystyle {\mathcal {H}}}$で稠密になるλ全体の集合をσ_c(A)と書き、Aの連続スペクトルという。一方A-λIが単射であるが全射でなく、しかも${\displaystyle (A-\lambda I)(\mathrm {Dom} (A))}$が${\displaystyle {\mathcal {H}}}$で稠密ではないもの全体の集合をσ_r(A)と書き、Aの剰余スペクトルという^S12(p12)。

λがAの剰余スペクトルもしくは連続スペクトルに属していれば、A-λIは単射であるので、A-λIの像${\displaystyle (A-\lambda I)(\mathrm {Dom} (A))}$の上定義された逆写像${\displaystyle (A-\lambda I)^{-1}}$を定義できる。この意味において、レゾルベント集合においてもA-λIの逆写像が定義できるので、この意味で剰余スペクトルや連続スペクトルはレゾルベント集合に類似しているが、違いは逆写像の定義域にある。レゾルベント集合においては${\displaystyle (A-\lambda I)^{-1}}$は${\displaystyle {\mathcal {H}}}$の全域で定義され、しかも（Aが閉作用素であれば）${\displaystyle (A-\lambda I)^{-1}}$は必ず有界である。それに対し連続スペクトルの場合は${\displaystyle (A-\lambda I)^{-1}}$の${\displaystyle {\mathcal {H}}}$の稠密部分空間で定義されているに過ぎず、しかも${\displaystyle (A-\lambda I)^{-1}}$は有界ではない^新井(p125)。さらに剰余スペクトルにおいては${\displaystyle (A-\lambda I)^{-1}}$の定義域は${\displaystyle {\mathcal {H}}}$で稠密ですらない。

以上で定義した概念をまとめると次のようになる。まず全空間Cはレゾルベント集合ρ(A)とスペクトルσ(A)により、

${\displaystyle \mathbf {C} =\rho (A)\sqcup \sigma (A)}$

と互いに交わらない和として書き表す事ができ、さらにスペクトルσ(A)は点スペクトルσ_P(A)と連続スペクトルσ_c(A)と剰余スペクトルσ_r(A)により、

${\displaystyle \sigma (A)=\sigma _{P}(A)\sqcup \sigma _{c}(A)\sqcup \sigma _{r}(A)}$

と互いに交わらない和として書き表せる。なお連続スペクトルは本稿で述べたのとは別の定義があり、その定義を採用した場合には連続スペクトルと剰余スペクトルは排他的になるとは限らない^K12(p30)。

点スペクトルσ_P(A)以外ではA-λIが単射になるので、A-λIの像の上で逆写像${\displaystyle (A-\lambda I)^{-1}}$が定義できるが、剰余スペクトルでは${\displaystyle (A-\lambda I)^{-1}}$の定義域は有界ではなく、連続スペクトルでは稠密に定義されているが有界ではなく、レゾルベント集合では全域で定義されていてしかも有界である。

自己共役作用素のスペクトル[編集]

本節では以下、${\displaystyle A~:~{\mathcal {H}}\to {\mathcal {H}}}$を（稠密に定義された有界とは限らない）自己共役作用素とする。このときσ(A)は実数体Rの閉部分集合である事が知られている^{H13(p177-178)}。またσ(A)の元は必ずしも点スペクトルではないため、${\displaystyle (A-\lambda I)\psi }$が0となるψ≠0が存在するとは限らないが、${\displaystyle (A-\lambda I)\psi }$をいくらでも0に近く取る事ができる^{H13(p177-178)}：

${\displaystyle \lambda \in \sigma (A)}$である必要十分条件は、Dom(A)に属する単位ベクトルの列{ψ_n}_n∈Nが存在して${\displaystyle \lim _{n\to \infty }\|(A-\lambda I)\psi _{n}\|=0}$となる事である。

なお上の後半の性質を満たすλ全体の集合をσ_app(A)と書き、近似スペクトルという^S12(p12)。したがって上述の事実は、自己共役作用素のスペクトルは近似スペクトルと一致する事を意味する。さらに次が成立する事が知られている：

自己共役作用素の剰余スペクトルσ_r(A)は必ず空集合である^K12(p30)。

以上をまとめると、

${\displaystyle \sigma (A)=\sigma _{app}(A)=\sigma _{P}(A)\sqcup \sigma _{c}(A)}$

が成立する。

スペクトル分解と観測[編集]

スペクトル分解とは、有限次元ベクトル空間における線形作用素の固有値分解を無限次元に拡張したものであるが、単純に有限次元の固有値分解を無限次元に拡張することはできない。これは無限次元の場合、有限次元と違って連続スペクトルが存在し、連続スペクトルには点スペクトル（＝固有値）と違い、対応する固有ベクトルが存在しないことに起因する。

本稿では自己共役作用素をスペクトル分解する方法として、以下の３種類を紹介する：

• 直積分によるスペクトル分解
• スペクトル測度によるスペクトル分解
• ゲルファントの３つ組によるスペクトル分解

これら３つのスペクトル分解のうちで、量子力学において通常用いられるスペクトル分解の定式化、すなわちデルタ関数を用いたスペクトル分解に最も近いのは最後にあげたゲルファントの三つ組によるものである。しかしこのゲルファントの三つ組によるスペクトル分解は、すべての自己共役作用素に対して適応できるわけではないという欠点を持つ上、この手法でスペクトル分解するには数学的な準備が必要となる。そこでこの手法によるスペクトル分解は後の節にまわし、本節では残り２つのスペクトル分解を紹介する。

直積分によるスペクトル分解[編集]

${\displaystyle {\mathcal {H}}}$が有限次元の場合、${\displaystyle {\mathcal {H}}}$を

${\displaystyle {\mathcal {H}}=\bigoplus _{\lambda \in \sigma (A)}{\mathcal {H}}_{\lambda }}$　

のように直和として表記可能である。ここでAは${\displaystyle {\mathcal {H}}}$上の自己共役作用素であり、${\displaystyle {\mathcal {H}}_{\lambda }}$は固有値λに対応する固有空間である。さらに任意の${\displaystyle \psi \in {\mathcal {H}}_{\lambda }}$に対し、

${\displaystyle A(\psi )=\lambda \psi }$　

である。

一方${\displaystyle {\mathcal {H}}}$が無限次元の場合には、Aは非可算無限個のスペクトル点を持ちうるので、単純に上式を無限次元に拡張する事はできない。しかしベクトル空間の「直和」の代わりに「直積分」という概念を用いる事で無限次元の場合も同種の公式が成立する事が知られており、これをAの直積分によるスペクトル分解と呼ぶ。本節では直積分の概念を数学的に定式化し、直積分を用いて上式を無限次元の場合に拡張する。

直積分の定義[編集]

まず直積分の概念を定式化する。X⊂Rを可測な集合とし、${\displaystyle ({\mathcal {H}}_{\lambda })_{\lambda \in X}}$を（有限次元または無限次元の可分な）ヒルベルト空間の族とし、${\displaystyle {\mathcal {H}}_{\lambda }}$上の内積を${\displaystyle \langle \cdot ,\cdot \rangle _{\lambda }}$と書き表す。さらにμをσ-有限（英語版）なX上の測度とする。${\displaystyle s=(s(\lambda ))_{\lambda \in X}}$で

${\displaystyle \forall \lambda \in X~:~s(\lambda )\in {\mathcal {H}}_{\lambda }}$　

を満たすもので、「可測」（詳細後述）なものを${\displaystyle ({\mathcal {H}}_{\lambda })_{\lambda \in X}}$の切断(section)と呼ぶ。さらに２つの切断${\displaystyle s=(s(\lambda ))_{\lambda \in X}}$、${\displaystyle t=(t(\lambda ))_{\lambda \in X}}$に対し、sとtの内積を

${\displaystyle \langle s,t\rangle :=\int _{X}\langle s(\lambda ),t(\lambda )\rangle \mathrm {d} \mu }$　

により定義することができる。自分自身との内積${\displaystyle \langle s,s\rangle }$が有限になる切断全体のなすベクトル空間を考え、このベクトル空間を測度μに関してほとんど至る所等しい切断を同一視する事で得られるベクトル空間を

${\displaystyle \int _{X}^{\oplus }{\mathcal {H}}_{\lambda }\mathrm {d} \mu }$　

と表記し、${\displaystyle ({\mathcal {H}}_{\lambda })_{\lambda \in X}}$のμによる直積分（英語版）と呼ぶ^{H13(p144-147)}。直積分は前述した内積に関して完備であることが知られており、よって直積分はヒルベルト空間になる^{H13(p144-147)}。

可測性の定義[編集]

前節でペンディングしていた${\displaystyle s=(s(\lambda ))_{\lambda \in X}}$の可測性の定義を述べる。${\displaystyle s=(s(\lambda ))_{\lambda \in X}}$可測性を定義するには、${\displaystyle ({\mathcal {H}}_{\lambda })_{\lambda \in X}}$に技術的な付加構造を加える必要がある（よって直積分は${\displaystyle ({\mathcal {H}}_{\lambda })_{\lambda \in X}}$にこの付加構造を付け加えた場合のみ定義可能である）。以下の3条件を満たす可算個の切断の組${\displaystyle (e_{j})_{j=1}^{\infty }}$が存在するとき、${\displaystyle (e_{j})_{j=1}^{\infty }}$を${\displaystyle ({\mathcal {H}}_{\lambda })_{\lambda \in X}}$の同時正規直交基底(simultaneous orthonormal basis)といい^{H13(p144-147)}、${\displaystyle ({\mathcal {H}}_{\lambda })_{\lambda \in X}}$と同時正規直交基底${\displaystyle (e_{j})_{j=1}^{\infty }}$の組を可測構造(measurability structure)つきのヒルベルト空間族という^{H13(p144-147)}：

• 任意のλ∈Xと任意の相異なるj, k ∈ Nに対し、${\displaystyle \langle e_{j}(\lambda ),e_{k}(\lambda )\rangle _{\lambda }=0}$

• 任意のλ∈Xと任意のj ∈ Nに対し、${\displaystyle \langle e_{j}(\lambda ),e_{j}(\lambda )\rangle _{\lambda }}$は0もしくは1である。

• 任意のλ∈Xに対し、${\displaystyle {\mathcal {H}}_{\lambda }=\mathrm {Span} ((e_{j}(\lambda ))_{j=1}^{\infty })}$

なお、写像${\displaystyle \lambda \in X\mapsto \mathrm {dim} {\mathcal {H}}_{\lambda }\in [0,\infty ]}$が可測であるときは、${\displaystyle ({\mathcal {H}}_{\lambda })_{\lambda \in X}}$は必ず同時正規直交基底を持つことが知られている。

${\displaystyle ({\mathcal {H}}_{\lambda })_{\lambda \in X}}$上の可測構造を一つ固定したとき、以下の性質を満たす切断${\displaystyle s=(s(\lambda ))_{\lambda \in X}}$は可測であるという^{H13(p144-147)}：

任意のj∈Nに対し、${\displaystyle \lambda \in X\mapsto \langle s(\lambda ),e_{j}(\lambda )\rangle _{\lambda }}$は可測。

スペクトル分解[編集]

${\displaystyle {\mathcal {H}}}$をヒルベルト空間とし、Aを${\displaystyle {\mathcal {H}}}$上の自己共役作用素とする。このときAのスペクトルσ(A)上のσ-有限測度μ_Aと可測構造つきヒルベルト空間族${\displaystyle ({\mathcal {H}}_{\lambda })_{\lambda \in \sigma (A)}}$が存在し、次の事実が成り立つことが知られている（直積分によるスペクトル定理）^{H13(p206-207)}

ヒルベルト空間としての同型写像

${\displaystyle U~:~{\mathcal {H}}{\tilde {\to }}\int _{\sigma (A)}^{\oplus }{\mathcal {H}}_{\lambda }\mathrm {d} \mu _{A}}$　 が存在する。さらにA_U := UAU^-1とするとき、任意の${\displaystyle s\in \mathrm {Dom} (A_{U})}$に対し、

${\displaystyle (A_{U}(s))(\lambda )=\lambda s(\lambda )}$

である。ここで、

${\displaystyle \mathrm {Dom} (A_{U})=\left\{s\in \int _{\sigma (A)}^{\oplus }{\mathcal {H}}_{\lambda }\mathrm {d} \mu _{A}~:~\int \|\lambda s(\lambda )\|^{2}\mathrm {d} \mu _{A}<0\right\}}$。

上述の定理は${\displaystyle {\mathcal {H}}}$が無限次元の場合も、${\displaystyle {\mathcal {H}}}$をAの「固有空間」${\displaystyle {\mathcal {H}}_{\lambda }}$の直積分に分解でき、しかも直積分の元sのA_Uによる像A_U(s)の「${\displaystyle {\mathcal {H}}_{\lambda }}$成分」である(A_U(s))(λ)はsの「${\displaystyle {\mathcal {H}}_{\lambda }}$成分」s(λ)を「固有値」λ倍したものになっている事を意味するように見えるので、${\displaystyle {\mathcal {H}}_{\lambda }}$をλに対応するAの一般化した固有空間、${\displaystyle {\mathcal {H}}_{\lambda }}$の元をλに対応するAの一般化した固有ベクトルであるとみなし得る^{H13(p147-148)}。実際、スペクトル点τ∈σ(A)においてμ({τ})>0であれば、s_τ∈${\displaystyle {\mathcal {H}}_{\tau }}$に対し切断を

${\displaystyle s(\tau )={\begin{cases}s_{\lambda }&{\text{if }}\tau =\lambda \\0&{\text{otherwise}}\end{cases}}}$　

により定義すると、写像

${\displaystyle m_{\tau }~:~s_{\tau }\in {\mathcal {H}}_{\tau }\mapsto s(\tau )\in \int _{\sigma (A)}^{\oplus }{\mathcal {H}}_{\lambda }\mathrm {d} \mu _{A}}$

は

${\displaystyle \langle s,s\rangle =\int _{\sigma (A)}\langle s(\lambda ),s(\lambda )\rangle _{\lambda }\mathrm {d} \mu _{A}}$${\displaystyle \geq \langle s_{\tau }s_{\tau }\rangle \mu _{A}(\{\tau \})\gvertneqq 0\quad {\text{if }}s_{\tau }\neq 0}$

を満たすので、${\displaystyle m_{\tau }({\mathcal {H}}_{\tau })}$の元はA_Uの0でない固有ベクトルになる。しかしμ({τ})=0の場合にはm_τが恒等的に0である為、${\displaystyle {\mathcal {H}}_{\tau }}$は通常の意味での固有空間にはならない。

直積分によるスペクトル定理は、掛け算作用素によるスペクトル定理から容易に従う^{[注 3]}。実際、掛け算作用素によるスペクトル定理より、${\displaystyle {\mathcal {H}}}$は何らかのL²空間${\displaystyle L^{2}(X,\mu )}$と同型で、Aは${\displaystyle L^{2}(X,\mu )}$上で実数値関数${\displaystyle h(x)}$を乗じる作用素として表現できるので、hの像である実数直線R上に測度h_*(μ)を入れれば、

${\displaystyle L^{2}(X,\mu )\simeq \int _{\mathbf {R} }{\mathcal {H}}_{\lambda }\mathrm {d} h_{*}(\mu )}$、　　　ここで${\displaystyle {\mathcal {H}}_{\lambda }=h^{-1}(\lambda )}$

と表記できる。${\displaystyle {\mathcal {H}}_{\lambda }=h^{-1}(\lambda )}$が{0}でないλの集合がσ(A)と一致する事を容易に確認できるので、上記の積分をσ(A)に制限すれば、直積分によるスペクトル定理が従う。

スペクトル測度によるスペクトル分解[編集]

本節では、非有界作用素のスペクトル分解に必要となるスペクトル測度という概念を定式化する。まず、スペクトル測度の概念を定式化する動機を与える為に、有限次元における固有値分解を復習する。

${\displaystyle {\mathcal {H}}}$を有限次元のヒルベルト空間とし、Aを${\displaystyle {\mathcal {H}}}$上の自己共役作用素とする。有限次元の場合、自己共役作用素は必ず固有値分解可能な事が知られている。すなわちAの固有値をλ₁、…、λ_nとし、これらの固有値に対応する固有空間をV₁、…、V_nとすると、${\displaystyle {\mathcal {H}}}$の元ψは必ず

ψ=ψ₁＋…＋ψ_n、　　ψ₁∈V₁、…、ψ_n∈V_n　

と表現でき、

Aψ=λ₁ψ₁＋…＋λ_nψ_n　

が成立する。そこで${\displaystyle {\mathcal {H}}}$の元のV_jへの射影変換をP_jとすると、明らかに

${\displaystyle A=\sum _{j=1}^{n}\lambda _{j}P_{j}}$　

が成立する。

スペクトル測度μは、以上の考察を無限次元に拡張する事を可能にする概念であり、Rのボレル可測部分集合Bに対し、${\displaystyle {\mathcal {H}}}$の閉部分線形空間への正射影変換μ(B)を対応させる。スペクトル測度μの概念を直観的に説明するため、再び有限次元の場合を考えると、Bとスペクトルσ(A)={λ₁,…,λ_n}の共通部分が${\displaystyle \{\lambda _{j_{1}},\ldots ,\lambda _{j_{m}}\}}$であるとき、スペクトル測度μによるBの像μ(B)は、${\displaystyle {\mathcal {H}}}$の元を${\displaystyle {\mathcal {H}}}$の部分空間

${\displaystyle V_{\lambda _{j_{1}}}\oplus \cdots \oplus V_{\lambda _{j_{m}}}}$　

に射影する射影変換である。

スペクトル測度[編集]

スペクトル測度の概念を厳密に定式化する。なお、スペクトル測度の概念それ自身は、Aのスペクトルとは無関係に定義する。スペクトル測度の概念がAのスペクトルと結びつくのは、後述するスペクトル定理においてである。${\displaystyle {\mathcal {P}}({\mathcal {H}})}$を${\displaystyle {\mathcal {H}}}$の元を${\displaystyle {\mathcal {H}}}$の閉部分線形空間に対応させる正射影作用素全体の集合とする。すなわち

${\displaystyle P\in {\mathcal {P}}({\mathcal {H}})\iff \exists V\subset {\mathcal {H}}}$（閉部分線形空間） s.t. ${\displaystyle P~:~\phi =\phi _{V}+\phi _{V}^{\bot }\in V\oplus V^{\bot }={\mathcal {H}}\mapsto \phi _{V}\in V\subset {\mathcal {H}}}$　

さらに${\displaystyle {\mathcal {B}}(\mathbf {R} )}$をR上のボレル加法族とする。直観的にはこのRは、自己共役作用素のスペクトルやレゾルベントの取りうる値の集合である。

写像${\displaystyle \mu ~:~{\mathcal {B}}(\mathbf {R} )\to {\mathcal {P}}({\mathcal {H}})}$が以下の３性質を満たすとき、μをスペクトル測度、正射影作用素値測度、もしくは単位の分解という^{H13(p138)新井(p136)}：

• ${\displaystyle \mu (\emptyset )=0,~\mu (\mathbf {R} )=I}$
• ${\displaystyle B_{1},B_{2}\ldots \in {\mathcal {B}}(\mathbf {R} )}$が互いに素であれば、${\displaystyle \mu \left(\bigcup _{j=1}^{\infty }B_{j}\right)=\sum _{j=1}^{\infty }\mu (B_{j})}$である。ここで収束は作用素ノルムの意味でのもの（すなわち強収束）である。
• ${\displaystyle B_{1},B_{2}\in {\mathcal {B}}(\mathbf {R} )}$であれば、${\displaystyle \mu (B_{1}\cap B_{2})=\mu (B_{1})\mu (B_{2})}$

スペクトル分解[編集]

${\displaystyle \mu ~:~{\mathcal {B}}(\mathbf {R} ^{d})\to {\mathcal {P}}({\mathcal {H}})}$をスペクトル測度とするとき、次の事実が成り立つことが知られている^{H13(p139)新井(p138)}。ここで${\displaystyle \langle \cdot ,\cdot \rangle }$は${\displaystyle {\mathcal {H}}}$の内積である：

ψを${\displaystyle {\mathcal {H}}}$の元とする。この時、写像${\displaystyle B\in {\mathcal {B}}(\mathbf {R} ^{d})\mapsto \langle \psi ,\mu (B)\psi \rangle }$はR^d上の複素数値の測度である　

上述のように定義される測度をμ_ψと書くとき、μ_ψによる（有界とは限らない）可測関数fのルベーグ積分は何らかの非有界線形作用素F_fを用いて、

${\displaystyle \int _{\mathbf {R} }f(\lambda )\mathrm {d} \mu _{\psi }=\langle \psi ,F_{f}\psi \rangle }$　　　for ${\displaystyle \forall \psi \in \mathrm {Dom} (F_{f})}$、　

${\displaystyle \mathrm {Dom} (F_{f})=\{\psi \in {\mathcal {H}}~:~\int _{\mathbf {R} }|f(\lambda )|^{2}\mathrm {d} \mu _{\psi }<\infty \}}$　

と書ける事が知られている^H13(p202)。この線形作用素F_fを

${\displaystyle F_{f}=\int _{\mathbf {R} }f(\lambda )\mathrm {d} \mu }$　

と表記し、スペクトル測度μによるfの作用素値積分(operator-valued integral)という^H13(p139)。

なお任意の可測関数fに対しDom(F_f)は${\displaystyle {\mathcal {H}}}$で稠密であることが知られているので^H13(p203)、作用素値積分は${\displaystyle {\mathcal {H}}}$上稠密に定義された線形作用素である。またfが実数値可測関数の場合は作用素値積分は必ず自己共役作用素になる事も知られている^H13(p204)。

${\displaystyle {\mathcal {H}}}$をヒルベルト空間するとき次の事実（スペクトル測度によるスペクトル分解定理）が成り立つ事が知られている^H13(p141)：

稠密に定義された非有界な任意の線形作用素${\displaystyle A~:~{\mathcal {H}}\to {\mathcal {H}}}$に対し、スペクトル測度μが一意に存在し、${\displaystyle A=\int _{\mathbf {R} }\lambda \mathrm {d} \mu }$　

なお、μはAのレゾルベント集合上で0になる事が知られているので^H13(p141)、上述の積分を${\displaystyle A=\int _{\sigma (A)}\lambda \mathrm {d} \mu }$と書き表す事もできる。

スペクトル分解定理は前述した有限次元の場合の固有値分解

${\displaystyle A=\sum _{j=1}^{n}\lambda _{j}P_{j}}$　

の無限次元版である。実際、ディラック測度δ_x(B)を

${\displaystyle \delta _{x}(B)={\begin{cases}0,&x\not \in B;\\1,&x\in B\end{cases}}}$　

により定義し、スペクトル測度μを

${\displaystyle \mu (B)=\sum _{j=1}^{n}\delta _{\lambda _{j}}(B)P_{j}}$　

とすれば、両者が一致する事を確認できる。

直積分によるスペクトル分解との関係[編集]

スペクトル測度によるスペクトル分解定理は直積分によるスペクトル定理から容易に従う。実際、直積分によるスペクトル定理から${\displaystyle {\mathcal {H}}}$は直積分${\displaystyle \int _{\sigma (A)}^{\oplus }{\mathcal {H}}_{\lambda }\mathrm {d} \mu _{A}}$として表現できるので、B⊂σ(A)に対してμ(B)を${\displaystyle \int _{\sigma (A)}^{\oplus }{\mathcal {H}}_{\lambda }\mathrm {d} \mu _{A}\to \int _{B}^{\oplus }{\mathcal {H}}_{\lambda }\mathrm {d} \mu _{A},~~s(\lambda )\mapsto \chi _{B}(\lambda )s(\lambda )}$とすればよい。ここでχ_BはBの特性関数である。

観測[編集]

観測確率[編集]

Aを何らかの物理量を表す自己共役作用素とし、μをAのスペクトル測度とする。量子力学では以下を仮定する：

物理量の観測確率に関する仮定：${\displaystyle \psi \in {\mathcal {H}}}$を単位ベクトルとするとき、状態ψにある系でAを観測した観測値λがボレル集合${\displaystyle B\subset \mathbf {R} }$に属している確率は${\displaystyle \|\mu (B)\psi \|^{2}}$である^新井(p212)。

直積分を使うと、上の仮定をより直観的に表現できる。状態空間${\displaystyle {\mathcal {H}}}$をAのスペクトルでスペクトル分解して

${\displaystyle {\mathcal {H}}\simeq \int _{\sigma (A)}^{\oplus }{\mathcal {H}}_{\lambda }\mathrm {d} \mu _{A}}$　

と直積分で書き表し、ψを直積分の切断として

${\displaystyle \psi \simeq \{\psi (\lambda )\}_{\lambda \in \sigma (A)}}$　

と書き表すと、直積分とスペクトル測度の関係により、状態ψにある系でAを観測した観測値λがボレル集合${\displaystyle B\subset \mathbf {R} }$に属している確率は

${\displaystyle \int _{\sigma (A)\cap B}\|\psi (\lambda )\|^{2}\mathrm {d} \mu _{A}}$　

に一致する。

また簡単な計算により、Aを観測した観測値の期待値が

${\displaystyle \langle \psi ,A(\psi )\rangle }$　

となる事を確かめられる^新井(p213)。

波束の収縮[編集]

量子力学では以下を仮定する：

波束の収縮に関する仮定：物理量Aを観測した観測値λがAの固有値であれば、観測直後の状態ベクトルはAのλに対する固有ベクトルになる^新井(p212)。

上述の仮定では観測値が固有値、すなわち点スペクトルに属していた場合の事を述べているが、観測値が連続スペクトルに属していた場合については何も規定していない事に注意されたい。

ゲルファントの３つ組によるスペクトル分解[編集]

前節までで見たように、状態空間${\displaystyle {\mathcal {H}}}$が無限次元である場合のスペクトル分解においては連続スペクトルが生じるため、全てのスペクトル点に対して対応する「固有関数」が存在するわけではないという困難を抱える。そこでディラックは、状態空間${\displaystyle {\mathcal {H}}}$にデルタ関数のような超関数を添加し、これら超関数を一種の固有関数だとみなす事でこの困難を解消する道筋を建てた。

本節では、このディラックのアイデアを拡張することで得られるゲルファントの三つ組の概念を用いて、自己共役作用素をスペクトル分解する方法を説明する。

ゲルファントの三つ組[編集]

ゲルファントの三つ組の定義の基本的な雛形は、（緩増加）超関数の概念である。そこで、まず、緩増加超関数の定義を振り返る。今シュワルツ空間${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$からヒルベルト空間${\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{d})}$へは自然な単射

${\displaystyle \iota ~:~{\mathcal {S}}(\mathbf {R} ^{d})\hookrightarrow {\mathcal {H}}}$

が存在する。${\displaystyle \psi \in {\mathcal {H}}}$に対し、写像ι^†(ψ)を

${\displaystyle \iota ^{\dagger }(\psi )~:~{\mathcal {S}}(\mathbf {R} ^{d})\to \mathbf {C} ,~~}$${\displaystyle \varphi \mapsto \langle \psi ,\iota (\varphi )\rangle }$

と定義すると、

${\displaystyle \iota ^{\dagger }(\psi )\in {\mathcal {S}}'(\mathbf {R} ^{d})}$

なので、写像

${\displaystyle \iota ^{\dagger }~:~{\mathcal {H}}\hookrightarrow {\mathcal {S}}'(\mathbf {R} ^{d}),~~}$${\displaystyle \psi \mapsto \iota ^{\dagger }(\psi )}$

を定義する事ができ、ι^†は反線形写像となる。

定義[編集]

以上の議論を踏まえ、より一般に位相の定義されたベクトル空間${\displaystyle {\mathcal {G}}}$からヒルベルト空間${\displaystyle {\mathcal {H}}}$への連続な単射

${\displaystyle \iota ~:~{\mathcal {G}}\hookrightarrow {\mathcal {H}}}$

があるとき、${\displaystyle {\mathcal {G}}}$の双対空間${\displaystyle {\mathcal {G}}'}$を

${\displaystyle {\mathcal {G}}':=\{T~:~{\mathcal {G}}\to \mathbf {C} }$、連続かつ線形${\displaystyle \}}$

と定義すると、シュワルツ空間${\displaystyle {\mathcal {S}}(\mathbf {R} ^{d})}$のときと同様の方法により、反線形写像

${\displaystyle \iota ^{\dagger }~:~{\mathcal {H}}\hookrightarrow {\mathcal {G}}'}$、

を定義できる。${\displaystyle \iota ({\mathcal {G}})}$が${\displaystyle {\mathcal {H}}}$で稠密なとき、このようにしてできた三つ組

${\displaystyle {\mathcal {G}}{\overset {\iota }{\hookrightarrow }}{\mathcal {H}}{\overset {\iota ^{\dagger }}{\hookrightarrow }}{\mathcal {G}}'}$

を、${\displaystyle ({\mathcal {H}},{\mathcal {G}},\iota )}$を${\displaystyle {\mathcal {G}}}$に付随するゲルファントの三つ組（英語版）もしくはrigged Hilbert spaceという^{M66(p1)BG(p8)F15(p117)}。

ブラ-ケットベクトルによる解釈[編集]

写像

${\displaystyle \iota ^{\dagger }~:~{\mathcal {H}}\hookrightarrow {\mathcal {G}}'}$

は反線形な埋め込み写像なので、${\displaystyle {\mathcal {H}}}$、${\displaystyle {\mathcal {G}}'}$の共役線形空間をそれぞれ${\displaystyle {\mathcal {H}}^{*}}$、${\displaystyle {\mathcal {G}}'^{*}}$とすると、

${\displaystyle \iota ^{\dagger }~:~{\mathcal {H}}^{*}\hookrightarrow {\mathcal {G}}'}$

${\displaystyle \iota ^{\dagger }~:~{\mathcal {H}}\hookrightarrow {\mathcal {G}}'^{*}}$

はいずれも線形な埋め込みとなる。

物理学的に見た場合、${\displaystyle {\mathcal {H}}}$、${\displaystyle {\mathcal {H}}^{*}}$はそれぞれブラベクトル、ケットベクトルの空間であったので、それを含んでいる${\displaystyle {\mathcal {G}}'}$、${\displaystyle {\mathcal {G}}'^{*}}$もやはり（一般化された意味での）ブラベクトル、ケットベクトルの空間とみなすことにする。

既に述べたように、連続スペクトルに対応する「固有ベクトル」は${\displaystyle {\mathcal {H}}}$や${\displaystyle {\mathcal {H}}^{*}}$の中には存在しなかった。そこでブラベクトル、ケットベクトルの空間を${\displaystyle {\mathcal {H}}}$や${\displaystyle {\mathcal {H}}^{*}}$より広い空間である${\displaystyle {\mathcal {G}}'}$や${\displaystyle {\mathcal {G}}'^{*}}$へと拡張し、${\displaystyle {\mathcal {G}}'}$や${\displaystyle {\mathcal {G}}'^{*}}$から連続スペクトルに対応する「固有ベクトル」を探す、というのがゲルファントの三つ組の基本的なアイデアである。

とくに${\displaystyle {\mathcal {G}}={\mathcal {S}}(\mathbf {R} ^{d})}$である場合は、${\displaystyle {\mathcal {G}}'}$は緩増加超関数の空間${\displaystyle {\mathcal {S}}'(\mathbf {R} ^{d})}$に一致するので、「固有ベクトル」として${\displaystyle {\mathcal {G}}'}$からデルタ超関数を選ぶ事ができる。したがってこの場合は、ゲルファントの三つ組のアイデアはディラックの元々のアイデアと合致する。

ゲルファントの三つ組に関する諸概念[編集]

先に進む前にゲルファントの三つ組に関する諸概念を定義する。

内積[編集]

${\displaystyle {\mathcal {G}}'}$の元は${\displaystyle {\mathcal {G}}}$の線形写像なので、${\displaystyle {\mathcal {G}}'}$の元Tと${\displaystyle {\mathcal {G}}}$の元ψの内積を

${\displaystyle \langle T,\psi \rangle :=T(\psi )}$

によって定義する。φを${\displaystyle {\mathcal {H}}}$の元とするとき、

${\displaystyle \langle \iota ^{\dagger }(\varphi ),\psi \rangle =\iota ^{\dagger }(\varphi )(\psi )=\langle \varphi ,\iota (\psi )\rangle =\langle \varphi ,\iota (\psi )\rangle }$

となるので、上述した内積は${\displaystyle {\mathcal {H}}}$上の内積と両立する。

収束性[編集]

以下、${\displaystyle {\mathcal {G}}'}$にはweak-*位相を入れたものを考える。すなわち${\displaystyle {\mathcal {G}}'}$の点列{φ_n}_nと${\displaystyle {\mathcal {G}}'}$の元φが全ての${\displaystyle g\in {\mathcal {G}}}$に対し

${\displaystyle \phi _{n}(g)\to \phi (g)}$

を満たすとき、{φ_n}_nはφに収束するという^F15(p117)。

一般化固有ベクトル[編集]

ディラックがデルタ関数を量子力学に導入したそもそもの動機は、デルタ関数を位置作用素に対する「固有ベクトル」とみなすというものであった。すなわち、第j方向の位置作用素

${\displaystyle M_{x_{j}}(\psi )=x_{j}\psi (x)}$

に形式的に

${\displaystyle \delta _{a}(x)=\delta (x-a)}$

を代入すると、この関数はa以外で0になる事から、

${\displaystyle M_{x_{j}}(\delta _{a})=x_{j}\delta (x-a)=a_{j}\delta (x-a)}$

であり、したがってδ_aは${\displaystyle M_{x_{j}}}$の「固有値」a_jに対応する「固有ベクトル」であるとみなせるのである。数学的に見た場合、ヒルベルト空間${\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{d})}$において自己共役作用素${\displaystyle M_{x_{j}}}$はそもそも固有値を持たないし、当然それに対応する固有ベクトルも存在しない。しかしこれはそもそもデルタ関数が${\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{d})}$に属さない事に起因しており、ゲルファントの三つ組の概念を用いれば、こうしたデルタ関数による固有値・固有ベクトルの概念を正当化できる。本節ではまず、固有値概念の一般化であるスペクトルの概念を定式化し、ゲルファントの三つ組においてスペクトルに対応する固有ベクトル概念に相当する一般化固有ベクトルの概念を定式化する。

定義[編集]

${\displaystyle ({\mathcal {H}},{\mathcal {G}},\iota )}$をゲルファントの三つ組とし、Aを${\displaystyle {\mathcal {H}}}$上の自己共役作用素とする。本節の目標は${\displaystyle {\mathcal {H}}}$よりも広い空間である${\displaystyle {\mathcal {G}}'}$からAの固有ベクトルを探す事にあるが、そもそもAは${\displaystyle {\mathcal {H}}}$上でしか定義されていないので、${\displaystyle {\mathcal {G}}'}$の元をAの固有ベクトルとみなすには、まずAの定義域を${\displaystyle {\mathcal {G}}'}$上に拡張する必要がある。

そこでAとして以下の２性質を満たすものを考える^F15(p118)。なおこの２性質を満たすとき、Aは${\displaystyle ({\mathcal {H}},{\mathcal {G}},\iota )}$に付随するゲルファントの三つ組と両立するという：

• ${\displaystyle {\mathcal {G}}\subset \mathrm {Dom} (A)}$
• ${\displaystyle A({\mathcal {G}})\subset {\mathcal {G}}}$

Aが上述の性質を満たす時、${\displaystyle T\in {\mathcal {G}}'}$に対し、写像A'(T)を

${\displaystyle A'(T)~:~\psi \in {\mathcal {G}}\mapsto \langle T,A(\psi )\rangle \in \mathbf {C} }$

により定義すると、前述の２性質からこの定義はwell-definedであり、${\displaystyle A'(T)\in {\mathcal {G}}'}$となる事を確かめられる。よって${\displaystyle {\mathcal {G}}'}$上の線形写像

${\displaystyle A'~:~T\in {\mathcal {G}}'\mapsto A'(T)\in {\mathcal {G}}'}$

が定義できる。

上述のように定義したA'は埋め込み写像ι^†と

${\displaystyle A=A'\circ \iota ^{\dagger }}$

という関係を満たすという意味でAの拡張になっている。実際、任意の${\displaystyle \varphi \in {\mathcal {H}},\psi \in {\mathcal {G}}}$に対し、Aの対称性から

${\displaystyle \langle A'\circ \iota ^{\dagger }(\varphi ),\psi \rangle =\langle \varphi ,\iota (A(\psi ))\rangle =\langle \varphi ,A(\psi )\rangle =\langle A(\varphi ),\psi \rangle }$

であるので、φ、ψの任意性から上述の事実が従う。

そこで

${\displaystyle A'(T)=\lambda T}$

を満たす${\displaystyle T\in {\mathcal {G}}'}$を、Aの一般化固有値λ∈Cに対する一般化固有ベクトルという^F15(p118)。なお、${\displaystyle T\in {\mathcal {G}}'}$なので、ここでいう「一般化固有ベクトル」はブラベクトルであるが、共役線形空間を考えることで、ケットベクトルの空間${\displaystyle {\mathcal {G}}'^{*}}$上にも同様に一般化固有ベクトルの概念を考える事ができる。${\displaystyle A=A'\circ \iota ^{\dagger }}$であったので、Aの通常の意味での固有ベクトルは一般化固有ベクトルでもある。

定義から明らかなように、一般化固有ベクトルの定義は${\displaystyle ({\mathcal {H}},{\mathcal {G}},\iota )}$に依存している。Aと両立する${\displaystyle ({\mathcal {H}},{\mathcal {G}},\iota )}$は複数考えられるので、${\displaystyle ({\mathcal {H}},{\mathcal {G}},\iota )}$の取り方に依存して異なる一般化固有ベクトルの概念が存在する事になる。

完全性[編集]

有限次元のベクトル空間の場合、自己共役作用素の固有値分解を行うと、ベクトル空間上の任意のベクトルは、固有ベクトルの線形和として書き表す事ができる事が知られている。この性質を満たす時、自己共役作用素は固有ベクトルの完全系を持つというが、一般化固有ベクトルの場合も類似した完全系の概念を考える事ができる。

実数λ∈Rに対し、一般化固有値λに属する一般化固有ベクトル全体の集合(すなわちλの（一般化）固有空間)

${\textstyle E(\lambda ):=\mathrm {Ker} (\lambda \mathrm {id} -A')\subset {\mathcal {G}}'}$

を考える。${\displaystyle \psi \in {\mathcal {G}}}$に対し、ψとの内積

${\textstyle T\in {\mathcal {G}}'\mapsto \langle T,\psi \rangle \in \mathbf {C} }$

のE(λ)への制限写像

${\textstyle {\hat {\psi }}_{\lambda }~:~T\in E(\lambda )\mapsto \langle T,\psi \rangle \in \mathbf {C} }$

はE(λ)の双対空間E(λ)'の元である：

${\textstyle {\hat {\psi }}_{\lambda }\in E(\lambda )'}$

有限次元空間の場合であれば${\textstyle {\hat {\psi }}_{\lambda }}$は「ψのE(λ)方向成分」に相当するものであるので、${\displaystyle \psi \in {\mathcal {G}}}$に${\textstyle {\hat {\psi }}_{\lambda }}$の族

${\textstyle {\hat {\psi }}=\{{\hat {\psi }}_{\lambda }\}_{\lambda \in \mathbf {R} }}$

を対応させる写像

${\textstyle {\hat {~}}~:~{\mathcal {G}}\to \prod _{\lambda \in \mathbf {R} }E(\lambda )',~~~}$${\textstyle \psi \mapsto {\hat {\psi }}}$

が単射になる時、Aは${\displaystyle ({\mathcal {H}},{\mathcal {G}},\iota )}$に関して一般化固有ベクトルの完全系を持つという^F15(p119)。

なお、Aが運動量作用素である場合は、上述した写像${\textstyle \psi \mapsto {\hat {\psi }}}$は、フーリエ変換と自然に同一視できる事が知られている（詳細後述）。そこで上述した写像のことを一般化フーリエ変換という^F15(p119)。

完全形の概念はweak-*位相の言葉を用いても定式化できることが知られている：

Aが${\displaystyle ({\mathcal {H}},{\mathcal {G}},\iota )}$に関して一般化固有ベクトルの完全系を持つ必要十分条件は、${\textstyle \mathrm {Span} \left(\bigcup _{\lambda \in \mathbf {R} }E(\lambda )\right)}$がweak-*位相に関して${\displaystyle {\mathcal {G}}'}$で稠密である事である^F15(p119)

具体例[編集]

${\displaystyle {\mathcal {G}}={\mathcal {S}}(\mathbf {R} )}$の場合に対し、運動量作用素と位置作用素の一般化固有ベクトルを調べる。

運動量作用素[編集]

運動量作用素

${\displaystyle P=-i\hbar {\mathrm {d} \over \mathrm {d} x}}$

が${\displaystyle {\mathcal {S}}(\mathbf {R} )}$と両立する事は既に述べた。${\displaystyle T\in {\mathcal {S}}'(\mathbf {R} )}$に対し、

${\displaystyle P{}'(T)~:~\psi \in {\mathcal {S}}(\mathbf {R} )\mapsto \langle T,P(\psi )\rangle \in \mathbf {C} }$

とすると、一般化固有値λ対する${\displaystyle P'}$の一般化固有ベクトル${\displaystyle T_{\lambda }}$は

${\displaystyle P'(T_{\lambda })=\lambda T_{\lambda }}$

を満たすので、任意の${\displaystyle \psi \in {\mathcal {S}}(\mathbf {R} )}$に対し、

${\displaystyle \lambda \langle T_{\lambda },\psi \rangle =\langle P'(T_{\lambda }),\psi \rangle =\langle T_{\lambda },P(\psi )\rangle =-i\hbar \langle T_{\lambda },{\mathrm {d} \over \mathrm {d} x}(\psi )\rangle =i\hbar \langle {\mathrm {d} \over \mathrm {d} x}T_{\lambda },\psi \rangle }$

となる。よって

${\displaystyle \lambda T_{\lambda }=i\hbar {\mathrm {d} \over \mathrm {d} x}T_{\lambda }}$

という微分方程式の解が${\displaystyle T_{\lambda }}$となる。したがって

${\displaystyle T_{\lambda }=c\mathrm {e} ^{-i\lambda x_{j}/\hbar }}$ for some ${\displaystyle c\in \mathbf {C} }$

という形のものは全て解となる。ここで上式右辺は${\displaystyle c\mathrm {e} ^{-i\lambda x_{j}/\hbar }}$を乗じて積分する超関数を表す。またこれ以外に解がない事も知られている^F15(p120)。

以上の議論から${\displaystyle P}$の一般化固有値λに対応する一般化固有空間E(λ)は

${\displaystyle E(\lambda )=\{c\mathrm {e} ^{-i\lambda x/\hbar }\mid c\in \mathbf {C} \}}$

である。これは一次元空間なので、${\displaystyle E(\lambda )\simeq \mathbf {C} }$である。したがって${\displaystyle \psi \in {\mathcal {S}}(\mathbf {R} )}$に対し、

${\textstyle {\hat {\psi }}_{\lambda }~:~T\in E(\lambda )\mapsto \langle T,\psi \rangle \in \mathbf {C} }$

は、

${\displaystyle {\hat {\psi }}_{\lambda }(c\mathrm {e} ^{-i\lambda x/\hbar })=\int _{\mathbf {R} }c\mathrm {e} ^{-i\lambda x_{/}\hbar }\psi (x)\mathrm {d} x}$

である。すなわち${\displaystyle c\in \mathbf {C} {\overset {\sim }{\to }}c\mathrm {e} ^{-i\lambda x/\hbar }}$を${\displaystyle \int _{\mathbf {R} }\mathrm {e} ^{-i\lambda x/\hbar }\psi (x)\mathrm {d} x}$倍する写像である。したがって${\displaystyle P}$に関する${\displaystyle \psi \in {\mathcal {S}}(\mathbf {R} )}$の一般化フーリエ変換

${\textstyle {\hat {\psi }}=\{{\hat {\psi }}_{\lambda }\}_{\lambda \in \mathbf {R} }}$

は自然に

${\displaystyle {\{{\int <!--\; \int \; -->}_{\mathbf{R}}{\mathrm{e}}^{-<!--\; -\; -->i\mathrm{\lambda <!--\; \lambda \; -->}x/}}_{}}$