スペクトル分解 (関数解析学)

数学の関数解析学の分野において、あるバナッハ空間 X（関数解析学における基本概念の一つ）上の線型作用素 T のスペクトルは、作用素 T-\lambda が X 上に有界な逆作用素を持たないようなすべてのスカラー \lambda で構成される。そのようなスペクトルは、通常以下の三つの部分に**分解**（ぶんかい、）される：
* **点スペクトル**（point spectrum）：T の固有値で構成される。
* **連続スペクトル**（continuous spectrum）：固有値ではないが、T-\lambda の値域を空間内の稠密な真部分集合にするようなスカラーで構成される。
* **剰余スペクトル**（residual spectrum）：固有値ではないが、T-\lambda の値域が空間内で稠密でないようなスカラーで構成される。

この分解は微分方程式の研究や、理学・工学の多分野において応用される。例えば量子力学では、励起状態にある水素原子によって放射される光のと連続帯を説明するために、この概念が用いられる。

## 有限次元の場合との対比
線型代数学において扱われる有限次元ベクトル空間（行列など）上の作用素においては、スペクトル分解の概念は非常に単純である。有限次元空間上の線型作用素 T について、T - \lambda が可逆でないことと、\lambda が固有値であること（すなわち Tx = \lambda x を満たす非ゼロベクトル x が存在すること）は同値である。したがって、有限次元ではスペクトルはすべて**点スペクトル**であり、連続スペクトルと剰余スペクトルは常に空集合である。

しかし、関数空間などの無限次元空間においては、T - \lambda が単射（固有値を持たない）であっても全射ではない（逆写像が定義できない、あるいは有界でない）という状況が発生しうる。そのため、固有値の概念だけでは作用素の特異性を完全に記述できず、連続スペクトルや剰余スペクトルといった分類が必要となる。

## 定義
### バナッハ空間上の有界作用素に対して

*X* をバナッハ空間とし、*L*(*X*) を *X* 上の有界作用素の族とし、*T*&nbsp;∈&nbsp;*L*(*X*) とする。スペクトルの定義に従うと、ある複素数 *λ* が *T* の**スペクトル** *σ*(*T*) に含まれるとは、*T*&nbsp;&minus;&nbsp;*λ* が *L*(*X*) 内に逆作用素を持たないことを言う。

*T*&nbsp;&minus;&nbsp;*λ* が全単射であるなら、その逆作用素は有界である。この事実は、関数解析学の開写像定理より直接的に導かれる。
*T* のスペクトルに含まれない複素数 *λ* の集合を、*T* の**レゾルベント集合**（resolvent set）と呼び、*ρ*(*T*) で表す。すなわち、*ρ*(*T*) = **C** \ *σ*(*T*) である。*λ* ∈ *ρ*(*T*) に対し、有界線型作用素 *R*(*λ*, *T*) = (*T*&nbsp;&minus;&nbsp;*λ*)&minus;1 を、*T* の**レゾルベント**（resolvent）と呼ぶ。

したがって、*λ* が *T* のスペクトルに含まれるための必要十分条件は、*T*&nbsp;&minus;&nbsp;*λ* が全単射でない（単射あるいは全射のいずれかでない）こととなる。逆作用素が存在しない理由により、スペクトルは次の三つのケースに分類される：

# *T*&nbsp;&minus;&nbsp;*λ* が単射でない場合。すなわち、*X* 内の二つの異なる元 *x*、*y* で (*T*&nbsp;&minus;&nbsp;*λ*)(*x*) = (*T*&nbsp;&minus;&nbsp;*λ*)(*y*) を満たすようなものが存在する場合。このとき、*z* = *x*&nbsp;&minus;&nbsp;*y* は *T*(*z*) = *λz* を満たす非ゼロのベクトルとなる。言い換えると、*λ* は線型代数学の文脈における *T* の固有値となる。この場合、*λ* は *T* の**点スペクトル**と呼ばれ、*σ*p(*T*) と表される。
# *T*&nbsp;&minus;&nbsp;*λ* が単射で、その値域 * R* が *X* の稠密な部分集合であるが、*X* 全体ではない場合。すなわち、*X* 内のある元 *x* で、それに (*T*&nbsp;&minus;&nbsp;*λ*)(*y*) を *X* 内の *y* を選ぶことでいくらでも近付けることが出来るが、一致させることは出来ない場合。この場合、*T*&nbsp;&minus;&nbsp;*λ* は下に有界でない（すなわち、 ||*y*||=1 なる *y* で ||(*T*&nbsp;&minus;&nbsp;*λ*)(*y*)|| がいくらでも小さいものが存在する）ことが証明される。また同様に、稠密な部分集合 *R* 上で定義される線型逆作用素 (*T*&nbsp;&minus;&nbsp;*λ*)&minus;1 は有界作用素でなく、したがって *X* 全体に拡張することが出来ない。このとき、*λ* は *T* の**連続スペクトル** *σ<sub>c</sub>*(*T*) に含まれると言われる。
# *T*&nbsp;&minus;&nbsp;*λ* が単射であるが、稠密な値域を持たない場合。すなわち、*X* 内のある元 *x* とその近傍 *N* で (*T*&nbsp;&minus;&nbsp;*λ*)(*y*) が *N* に含まれないようなものが存在する場合。このとき、作用素 (*T*&nbsp;&minus;&nbsp;*λ*) *x* → *x* は有界あるいは非有界であるが、どのような場合でも *X* 全体の上への有界線型写像への一意的な拡張は存在しない。この場合の *λ* は *T* の**剰余スペクトル** *σ<sub>r</sub>*(*T*) に含まれると言われる。

以上より、*σ*(*T*) は三つの集合の直和

:\sigma(T) = \sigma_p (T) \cup \sigma_c (T) \cup \sigma_r (T) 

で与えられることが分かる。

### スペクトルの基本的性質
バナッハ空間上の有界線型作用素 *T* のスペクトル *σ*(*T*) について、以下の性質が成り立つ。

* *σ*(*T*) は、複素平面 **C** におけるコンパクトな（閉かつ有界な）部分集合である。
* *σ*(*T*) は、空集合ではない（非空性）。
* *σ*(*T*) の要素の絶対値の最大値 r(T) = \sup \{ |\lambda| : \lambda \in \sigma(T) \} を、*T* の**スペクトル半径**（spectral radius）と呼ぶ。スペクトル半径は、以下の極限（ゲルファントの公式）によって与えられる：
:r(T) = \lim_{n \to \infty} \| T^n \|^{1/n}.

#### コンパクト作用素

有界作用素の中でも、コンパクト作用素は有限次元の行列に近い性質を持ち、そのスペクトル分解は単純な形になる。無限次元バナッハ空間上のコンパクト作用素 T について、以下が成立する。
* 非ゼロのスペクトルは、すべて点スペクトル（固有値）である。すなわち、\sigma(T) \setminus \{0\} \subset \sigma_p(T)。
* 連続スペクトル \sigma_c(T) および剰余スペクトル \sigma_r(T) に含まれる可能性があるのは 0 のみである。
* スペクトル（固有値）の集積点は 0 のみである。

したがって、コンパクト作用素の研究においては、複雑な連続・剰余スペクトルの解析を必要とせず、固有値解析が中心となる。

### その他の分類
上述の三つの分類（点・連続・剰余）に加え、作用素の性質をより詳細に記述するために以下の概念も用いられる。

***近似点スペクトル**（approximate point spectrum）：*T*&nbsp;&minus;&nbsp;*λ* が下に有界でないような *λ* の集合。記号 *σ*ap(*T*) で表される。これは、||(*T*&nbsp;&minus;&nbsp;*λ*)*x<sub>n</sub>*|| → 0 かつ ||*x<sub>n</sub>*|| = 1 を満たすようなベクトル列 {*x<sub>n</sub>*}（ワイル列と呼ばれる）が存在することを意味する。点スペクトルと連続スペクトルは近似点スペクトルに含まれる。
***圧縮スペクトル**（compression spectrum）：*T*&nbsp;&minus;&nbsp;*λ* の値域が *X* において稠密でないような *λ* の集合。記号 *σ*cp(*T*) で表される。定義より、剰余スペクトルは圧縮スペクトルに含まれる。

#### 双対作用素のスペクトル

*X** を *X* の双対空間とし、*T** : *X** → *X** を *T* の共役作用素とするとき、*σ*(*T*) = *σ*(*T**) が成立する。

**定理** 有界作用素 *T* に対して、*T* の圧縮スペクトルは *T** の点スペクトルに一致する。すなわち、*σ*cp(*T*) = *σ*p(*T**) が成立する。

したがって、スペクトルの分解との関係においては、*σ*r(*T*) ⊂ *σ*p(*T**) および *σ*p(*T**) ⊂ *σ*r(*T*) ∪ *σ*p(*T*) が成り立つ。

**証明** 
*X** 内の元（有界線型汎函数）*φ* の *x* ∈ *X* に対する作用を  と表す。
ある *λ* が *σ*cp(*T*) に含まれるとする。定義により *Ran*(*T*&nbsp;&minus;&nbsp;*λ*) は *X* で稠密ではない。ハーン-バナッハの定理より、*Ran*(*T*&nbsp;&minus;&nbsp;*λ*) 上で消失する（すなわち 0 になる）ような非ゼロの汎函数 *φ* ∈ *X** が存在する。このとき、すべての *x* ∈ *X* に対して、

:\langle (T - \lambda)x, \varphi \rangle = \langle x, (T^* - {\lambda}) \varphi \rangle = 0 

が成立する。これは (*T** - *λ*)*φ* = 0 を意味し、*φ* ≠ 0 であるから *λ* は *T** の固有値である（*λ* ∈ *σ*p(*T**)）。

逆に、*λ* ∈ *σ*p(*T**) とする。このとき、(*T** - *λ*)*φ* = 0 を満たす非ゼロの *φ* ∈ *X** が存在する。すべての *x* ∈ *X* に対して、

:\langle x, (T^* - \lambda) \varphi \rangle = \langle (T - \lambda) x, \varphi \rangle = 0 

となるため、*φ* は *Ran*(*T*&nbsp;&minus;&nbsp;*λ*) 上で消失する。もし *Ran*(*T*&nbsp;&minus;&nbsp;*λ*) が稠密であるなら、連続性により *φ* は *X* 全体で 0 でなければならず、矛盾する。したがって値域は稠密ではなく、*λ* ∈ *σ*cp(*T*) である。

特に、*X* が回帰的バナッハ空間であるときは、*σ<sub>r</sub>*(*T**) ⊂ *σ<sub>p</sub>*(*T***) = *σ<sub>p</sub>*(*T*) が成立する。

### 非有界作用素に対して
有界の場合と全く同様の方法で、非有界作用素のスペクトルは三つの部分に分けることが出来る。

### 例

#### 乗算作用素

ある σ-有限測度空間 (*S*, *Σ*, *μ*) が与えられたとき、バナッハ空間''L<sup>p</sup>''(''&mu;'')を考える。ある関数 *h*: *S* → **C** が本質的に有界であるとは、*h* が *μ* に関してほとんど至る所で有界であることを言う。本質的に有界な *h* は、*L<sup>p</sup>*(*μ*) 上の次の有界な乗算作用素 *T<sub>h</sub>* を導く：

:(T_h f)(s) = h(s) \cdot f(s).

*T* の作用素ノルムは *h* の本質的上限である。*h* の本質的値域は、次の方法で定義される：ある複素数 *λ* が *h* の本質的値域に含まれるとは、すべての *ε* > 0 に対して開球 *B<sub>ε</sub>*(*λ*) の *h* の下での原像が、厳密に正の測度を持つときを言う。はじめに *σ*(*T<sub>h</sub>*) が *h* の本質的値域に一致することを示し、その後その様々な部分について調べる。

*λ* が *h* の本質的値域に含まれないなら、*h*&minus;1(*B<sub>ε</sub>*(*λ*)) が測度ゼロを持つように *ε* > 0 を選ぶことが出来る。このとき函数 *g*(*s*) = 1/(*h*(*s*)&nbsp;&minus;&nbsp;*λ*) はほとんど至る所で 1/*ε* によって評価されている。このとき乗算作用素 *T<sub>g</sub>* は *T**g* · *T**h*&nbsp;&minus;&nbsp;*λ* = *T**h*&nbsp;&minus;&nbsp;*λ* · *T**g* = *I* を満たす。したがって、*λ* は *T<sub>h</sub>* のスペクトルには含まれない。一方、*λ* が *h* の本質的値域に含まれるなら、集合の列 {*S<sub>n</sub>* = 
*h*−1(*B*1/n(*λ*))} を考える。この各 *S<sub>n</sub>* は正の測度を持つ。*f<sub>n</sub>* を *S<sub>n</sub>* の特性函数とすれば、直接的な計算により

:
\| (T_h - \lambda) f_n \|_p ^p = \| (h - \lambda) f_n \|_p ^p = \int_{S_n} | h - \lambda \; |^p d \mu 
\leq \frac{1}{n^p} \; \mu(S_n) = \frac{1}{n^p} \| f_n \|_p ^p


が得られる。このことから、*T<sub>h</sub>*&nbsp;&minus;&nbsp;*λ* は下に有界ではなく、したがって可逆でないことが分かる。

*λ* を *μ*( *h*&minus;1({*λ*})) > 0 が成立するようなものとするなら、*λ* は *T<sub>h</sub>* の点スペクトルに含まれる。すなわち、その本質的値域から *λ* だけを含むようなある開球 *B<sub>ε</sub>*(*λ*) を選ぶことが出来る。*f* を *h*&minus;1(*B<sub>ε</sub>*(*λ*)) の特性函数とすると、

:\forall s \in S, \; (T_h f)(s) = \lambda f(s) 

が成立する。正の測度の原像を持たないような *h* の本質的値域に含まれる任意の *λ* は、*T<sub>h</sub>* の連続スペクトルに含まれる。このことを示すことは、*T<sub>h</sub>*&nbsp;&minus;&nbsp;*λ* がそのような全ての *λ* に対して稠密な値域を持つことを示すことに等しい。与えられた *f* ∈ *L<sup>p</sup>*(*μ*) に対して、再び集合の列 {*S<sub>n</sub>* = *h*&minus;1(*B*1/n(*λ*))} を考える。*g<sub>n</sub>* を *S*&nbsp;&minus;&nbsp;*S<sub>n</sub>* の特性函数とする。次を定義する。

:f_n(s) = \frac{1}{ h(s) - \lambda} \cdot g_n(s) \cdot f(s).

直接的な計算により *f<sub>n</sub>* ∈ *L<sup>p</sup>*(*μ*) が分かり、優収束定理から、

:(T_h - \lambda) f_n \rightarrow f

が *L<sup>p</sup>*(*μ*) ノルムにおいて成立することが分かる。

したがって、乗算作用素は剰余スペクトルを持たないことが示された。スペクトル定理によれば、ヒルベルト空間上の任意の正規作用素は乗算作用素とユニタリ同値である。このことから、正規作用素もまた剰余スペクトルを持たないことが結論付けられる。

#### シフト作用素
自然数の集合上の数え上げ測度に対する *L<sup>p</sup>* 空間、すなわち数列空間 *l**p* (1 &le; *p* *p* → *l**p* を次で定義する：

:T(x_1, x_2, x_3, \dots) = (x_2, x_3, x_4, \dots). 

|*λ*| x_{\lambda} = (1, \lambda, \lambda^2, \dots) は *l**p* に属し、*T x<sub>λ</sub>* = *λ x<sub>λ</sub>* を満たす。したがって、開単位円板 {*λ* : |*λ*| p(*T*) に含まれる。
有界作用素のスペクトルは閉集合であるため、単位円周 {*λ* : |*λ*| = 1} も *σ*(*T*) に含まれる。
|*λ*| = 1 の場合、*Tx* = *λx* を満たす非ゼロベクトルは x = c(1, \lambda, \lambda^2, \dots) の形に限られるが、これは *l**p* に属さない。したがって単位円周上の点は固有値ではない。
後述の双対作用素との関係を用いると、*T* の剰余スペクトル *σ*r(*T*) は空集合であり、単位円周は連続スペクトル *σ*c(*T*) となることが示される。

**右シフト作用素**
*T* の共役作用素 *T** は、双対空間 *l**q* (1/*p* + 1/*q* = 1) 上の右シフト作用素となる：

:T^*(x_1, x_2, x_3, \dots) = (0, x_1, x_2, \dots). 

*T** は等長作用素（||*T*x*|| = ||*x*||）であるため、固有値を持たない。すなわち *σ*p(*T**) は空集合である。
前節の定理（*σ*cp(*T*) = *σ*p(*T**)）より、*T* の圧縮スペクトルは空集合である。剰余スペクトルは圧縮スペクトルに含まれるため、これにより *σ*r(*T*) = ∅ が確認される。

一方、*T** のスペクトル分類については以下のように導かれる。
* *σ*p(*T*)（開単位円板）は *σ*cp(*T**) = *σ*p(*T**) = *σ*<sub>p</sub>(*T*) に一致する（*p* > 1 で空間が回帰的な場合）。*T** には固有値がないため、開単位円板はすべて *T** の剰余スペクトル *σ*<sub>r</sub>(*T**) に分類される。
* 単位円周上の点は、*T* と同様に連続スペクトル *σ*<sub>c</sub>(*T**) となる。

まとめると以下のようになる（1 < *p* < ∞ の場合）。

*p* = 1 の場合も同様の解析が可能だが、回帰性が成立しないため双対性の議論には注意を要する。

== ヒルベルト空間上の自己共役作用素 ==

[[ヒルベルト空間]]はバナッハ空間であり、したがって上述の定理はヒルベルト空間上の有界作用素に対しても同様に適用することが出来る。しかし各作用素の共役作用素に関して、差異が生じる可能性がある。例えば、*H* をヒルベルト空間とし、*T* ∈ *L*(*H*) とすれば、*σ*(*T**) は *σ*(*T*) と一致はしないが、その像は複素共役の下にある。

自己共役作用素 *T* ∈ *L*(*H*) に対して、は、スペクトルを自然に分解する方法を提供するものである。

=== ボレル汎函数計算 ===


この小節ではこの種の計算の発展について簡単に説明する。初めに連続汎函数計算を構築し、[[リースの表現定理|リース＝マルコフの表現定理]]を介して可測函数へと移すということが、アイデアである。連続汎函数計算に対し、キーとなる事実を次に述べる。

:1. *T* が自己共役であるなら、任意の多項式 *P* の作用素ノルムは

::<math>\| P(T) \| = \sup_{\lambda \in \sigma(T)} |P(\lambda)|</math>

:で与えられる。

:2. [[ストーン＝ワイエルシュトラスの定理]]により、複素数を係数に持つ多項式の族は *C*(*&sigma;*(*T*)) において稠密で、*&sigma;*(*T*) 上の連続函数であることが分かる。

族 *C*(*σ*(*T*)) は、一様ノルムが与えられたとき、[[バナッハ環]]となる。したがって写像

:<math>P \rightarrow P(T)</math>

は *C*(*σ*(*T*)) の稠密な部分集合から *L*(*H*) への等長準同型である。その写像を連続性により拡張することで *f* ∈ C(*σ*(*T*)) に対して *f*(*T*) が与えられる。すなわち、*Pn* を *Pn* → *f* が一様に成立するような多項式とし、*f*(*T*) = lim  *Pn*(*T*) を定義する。これが連続汎函数計算である。

ある固定された *h* ∈ *H* に対して、

:<math>f \rightarrow \langle h, f(T) h \rangle</math>

が *C*(*σ*(*T*)) 上の正の線型汎函数であることに注意されたい。リース＝マルコフの表現定理によれば、*σ*(*T*) 上の測度 *μh* で

:<math>\int_{\sigma(T)} f \, d \mu_h = \langle h, f(T) h \rangle </math>

を満たすようなものが唯一つ存在する。この測度はしばしば、*'h に関するスペクトル測度**（spectral measure associated to h）と呼ばれる。このスペクトル測度は、連続汎函数計算を有界ボレル函数へ拡張するために用いることが出来る。ボレル可測であるような有界函数 ''g'' と、''g''(''T'') に対して

:<math>\int_{\sigma(T)} g \, d \mu_h = \langle h, g(T) h \rangle </math>

を定義する。[[偏極恒等式]]を介して（''H'' が複素と仮定されているので）、

:<math>\langle k, g(T) h \rangle </math>

を求めることが出来、したがって任意の ''h'' に対して ''g''(''T'') ''h'' が得られる。

この文脈において、測度論の結果と結び付けられるスペクトル測度が、''σ''(''T'') の分解を与えることが分かる。

=== スペクトルの分解 ===

''h'' ∈ ''H'' とし、それに対応する ''σ''(''T'') ⊂ **R** 上のスペクトル測度を ''μ<sub>h</sub>'' とする。[[ルベーグの分解定理]]を応用することで、''μ<sub>h</sub>'' は以下の三つの互いに特異的な部分に分解される：

:<math>\, \mu = \mu_{\mathrm{ac}} + \mu_{\mathrm{sc}} + \mu_{\mathrm{pp}}.</math>

ここで ''μ''<sub>ac</sub> は[[ルベーグ測度]]に関して絶対連続であり、''μ''<sub>sc</sub> はルベーグ測度に関して特異的であり、''μ''<sub>pp</sub> は純粋な点測度である。

これら三種類の測度はすべて線型作用の下で不変である。''H''<sub>ac</sub> を、スペクトル測度がルベーグ測度に関して絶対連続であるようなベクトルからなる部分空間とする。同様に ''H''<sub>pp</sub> と ''H''<sub>sc</sub> も定義する。これらの部分空間は ''T'' の下で不変である。例えば、''h'' ∈ ''H''<sub>ac</sub> および ''k'' = ''T h'' であるなら、''χ'' を ''σ''(''T'') 内のある[[ボレル集合]]の特性関数とすれば、

:<math>
\langle k, \chi(T) k \rangle = \int_{\sigma(T)} \chi(\lambda) \cdot \lambda^2 d \mu_{h}(\lambda) = \int_{\sigma(T)} \chi(\lambda) \; d \mu_k(\lambda)
</math>

が成立する。したがって

:<math>\lambda^2  d \mu_{h} = d \mu_{k}\,</math>

であり、''k'' ∈ ''H''<sub>ac</sub> が成立する。さらに、スペクトル定理を適用することで

:<math>H = H_{\mathrm{ac}} \oplus H_{\mathrm{sc}} \oplus H_{\mathrm{pp}}</math>

が得られる。これは次の定義につながる：

# ''H''<sub>ac</sub> に制限された ''T'' のスペクトルは、''T'' の**絶対連続スペクトル**（absolutely continuous spectrum）と呼ばれ、''σ''<sub>ac</sub>(''T'') と表記される。
# ''H''<sub>sc</sub> に制限された ''T'' のスペクトルは、''T'' の**特異スペクトル**（singular spectrum）と呼ばれ、''σ''<sub>sc</sub>(''T'') と表記される。
# ''T'' の固有値の集合は ''T'' の**純点スペクトル**（pure point spectrum）と呼ばれ、''σ''<sub>pp</sub>(''T'') と表記される。

''T'' の固有値の閉包は、''H''<sub>pp</sub> に制限された ''T'' のスペクトルである。したがって

:<math>\sigma(T) = \sigma_{\mathrm{ac}}(T) \cup \sigma_{\mathrm{sc}}(T) \cup {\bar \sigma_{\mathrm{pp}}(T)} </math>

が成立する。

=== 二つの「連続スペクトル」の比較 ===

本記事では、バナッハ空間上の一般的な作用素に対するスペクトル分解（点・連続・剰余）と、ヒルベルト空間上の自己共役作用素に対する測度論的なスペクトル分解（純点・絶対連続・特異）の二つを扱った。これらは異なる観点からの分類であり、「連続スペクトル」という用語が異なる意味で用いられるため注意が必要である。

* バナッハ空間論的な分類における**連続スペクトル** <math>\sigma_c(T)</math> は、<math>T-\lambda</math> が単射かつ値域が稠密（だが全射でない）となる <math>\lambda</math> の集合である。
* 測度論的な分類における**絶対連続スペクトル** <math>\sigma_{\mathrm{ac}}(T)</math> と**特異スペクトル** <math>\sigma_{\mathrm{sc}}(T)</math> は、どちらもバナッハ空間論的な意味では（固有値を含まない限り）連続スペクトル <math>\sigma_c(T)</math> に含まれる。

自己共役作用素の場合、剰余スペクトル <math>\sigma_r(T)</math> は常に空集合である。したがって、スペクトルは点スペクトル（固有値）と連続スペクトル（それ以外）の和集合となる。測度論的分解は、この「連続スペクトル」の部分を、さらにスペクトル測度の性質（ルベーグ測度に対して絶対連続か特異か）によって細分化したものと解釈できる。

なお、<math>\lambda \in \sigma_{\mathrm{ac}}(T) \cap \sigma_{\mathrm{pp}}(T)</math> のように、ある点が測度論的な意味で複数の成分に属することはあり得る。このような <math>\lambda</math> は、連続スペクトルの中に「埋め込まれた固有値 (embedded eigenvalue)」と呼ばれる。

=== 物理学 ===

上述の議論は、非有界な自己共役作用素に対しても拡張できる。なぜならば、[[局所コンパクト空間|局所コンパクト]][[ハウスドルフ空間]]に対してもリース＝マルコフの表現定理は成立するからである。

[[量子力学の数学的基礎|量子力学]]において、[[オブサーバブル]]は必ずしも有界ではない[[自己共役作用素]]で、それらのスペクトルは得られうる測定値である。物理学的なオブザーバブルの絶対連続スペクトルは、系の自由状態（散乱状態）に対応し、純点スペクトルは[[束縛状態]]に対応する。純連続スペクトルを持つような量子力学的オブザーバブルの例に、直線上を動く自由粒子の[[位置演算子]]が挙げられる。そのスペクトルは、実数直線全体である。また、[[運動量演算子]]は[[フーリエ変換]]を介して位置演算子とユニタリ同値であるため、それらのスペクトルは等しい。

スペクトルの離散性（純点スペクトル）は、波動関数の空間的な局在と関連して論じられる。数学的には、<math>L^2(\mathbb{R})</math> に属する関数であっても、無限遠方で 0 に収束するとは限らない（例えば、幅が急速に狭くなる高いスパイクを持つ関数などは <math>L^2</math> ノルムが有限でも局所的に発散しうる）。しかし、多くの物理系においては、固有関数は[[アンダーソン局在]]に見られるように、遠方で[[指数関数的減衰|指数関数的に減衰]]することが示される。

物理学の量子力学的計算を行う際、''L''<sup>2</sup>(**R*') に属さない「固有ベクトル」に遭遇することがしばしばある。すなわち、局在化されない波動函数である。それらは系の自由状態である。上述のように、数学的定式化においては、自由状態は絶対連続スペクトルに対応する。もし固有ベクトルと固有関数の概念が厳密に保たれるものであると主張するのであれば、上の作用素を考えることが出来る。

かつて特異連続スペクトルは、物理的な意味を持たない数学上の例外的な事例と見なされることもあった。しかしその後、[[概マシュー作用素]]（ハーパー作用素）や[[ランダムシュレディンガー作用素]]によって記述される系など、準周期ポテンシャルを持つ物理モデルにおいて特異連続スペクトルが自然に現れることが明らかになっている。

== 関連項目 ==

* [[本質的スペクトル]]：コンパクトな摂動を法とする作用素のスペクトル

== 参考文献 ==

* N. Dunford and J.T. Schwartz, *Linear Operators, Part I: General Theory*, Interscience, 1958.

* M. Reed and B. Simon, *Methods of Modern Mathematical Physics I: Functional Analysis'', Academic Press, 1972.