スペクトル分解 (関数解析学)
数学の関数解析学の分野において、あるバナッハ空間 formula_1（関数解析学における基本概念の一つ）上の線型作用素 formula_2 のスペクトルは、作用素 formula_3 が formula_1 上に有界な逆作用素を持たないようなすべてのスカラー formula_5 で構成される。そのようなスペクトルは、通常以下の三つの部分に分解（ぶんかい、）される：
この分解は微分方程式の研究において意義深いものであり、理学や工学の多分野に亘って応用されているものである。量子力学における有名な例では、励起状態にある水素原子によって放射される光のと連続帯の説明に、この概念が用いられる。
"X" をバナッハ空間とし、"L"("X") を "X" 上の有界作用素の族とし、"T" ∈ "L"("X") とする。スペクトルの定義に従うと、ある複素数 "λ" が "T" のスペクトル "σ"("T") に含まれるとは、"T" − "λ" が "L"("X") 内に逆作用素を持たないことを言う。
"T" − "λ" が全単射であるなら、その逆作用素は有界である。この事実は、関数解析学の開写像定理より直接的に導かれる。したがって、"λ" が "T" のスペクトルに含まれるための必要十分条件は、"T" − "λ" が単射あるいは全射のいずれかでないこととなる。したがって次の三つのケースが考えられる：以上より、"σ"("T") は三つの集合の直和
で与えられることが分かる。
"X*" を "X" の双対空間とし、"T*" : "X*" → "X*" を "T" の共役作用素とするとき、"σ"("T") = "σ"("T*") が成立する。
定理 有界作用素 "T" に対して、"σ"("T") ⊂ "σ"("T*") ⊂ "σ"("T") ∪ "σ"("T") が成立する。
証明 
記号  で、"X*"内のある元を表すことにする。すなわち、"x" →  はある有界線型汎函数 "φ" の作用を表すものとする。λ ∈ "σ"("T") とする。このとき、"Ran"("T" - "λ") は "X" において稠密とならない。するとハーン-バナッハの定理より、"Ran"("T" - "λ") 上で消失するようなある非ゼロの "φ" ∈ "X*" が存在する。すべての "x" ∈ "X" に対して、
が成立する。したがって ("T*" - "λ")"φ" = 0 ∈ "X*" であり、"λ" は "T*" の固有値となる。このことから、定理の前半の包含関係が示される。続いて ("T*" - "λ")"φ" = 0, "φ" ≠ 0 を仮定する。すなわち、
を仮定する。"Ran"("T" − "λ") が稠密であるなら、"φ" はゼロ汎函数でなければならず、これは矛盾である。以上より、主張は示される。
特に、"X" が回帰的バナッハ空間であるときは、"σ"("T*") ⊂ "σ"("T**") = "σ"("T") が成立する。
有界の場合と全く同様の方法で、非有界作用素のスペクトルは三つの部分に分けることが出来る。
ある σ-有限測度空間 ("S", "Σ", "μ") が与えられたとき、バナッハ空間"L"("μ")を考える。ある関数 "h": "S" → C が本質的に有界であるとは、"h" が "μ" に関してほとんど至る所で有界であることを言う。本質的に有界な "h" は、"L"("μ") 上の次の有界な乗算作用素 "T" を導く：
"T" の作用素ノルムは "h" の本質的上限である。"h" の本質的値域は、次の方法で定義される：ある複素数 "λ" が "h" の本質的値域に含まれるとは、すべての "ε" > 0 に対して開球 "B"("λ") の "h" の下での原像が、厳密に正の測度を持つときを言う。はじめに "σ"("T") が "h" の本質的値域に一致することを示し、その後その様々な部分について調べる。
"λ" が "h" の本質的値域に含まれないなら、"h"("B"("λ")) が測度ゼロを持つように "ε" > 0 を選ぶことが出来る。このとき函数 "g"("s") = 1/("h"("s") − "λ") はほとんど至る所で 1/"ε" によって評価されている。このとき乗算作用素 "T" は "T" · "T" = "T" · "T" = "I" を満たす。したがって、"λ" は "T" のスペクトルには含まれない。一方、"λ" が "h" の本質的値域に含まれるなら、集合の列 {"S" = 
"h"("B"("λ"))} を考える。この各 "S" は正の測度を持つ。"f" を "S" の特性函数とすれば、直接的な計算により
が得られる。このことから、"T" − "λ" は下に有界ではなく、したがって可逆でないことが分かる。
"λ" を "μ"( "h"({"λ"})) > 0 が成立するようなものとするなら、"λ" は "T" の点スペクトルに含まれる。すなわち、その本質的値域から "λ" だけを含むようなある開球 "B"("λ") を選ぶことが出来る。"f" を "h"("B"("λ")) の特性函数とすると、
が成立する。正の測度の原像を持たないような "h" の本質的値域に含まれる任意の "λ" は、"T" の連続スペクトルかレゾルベントに含まれる。このことを示すことは、"T" − "λ" がそのような全ての "λ" に対して稠密な値域を持つことを示すことに等しい。与えられた "f" ∈ "L"("μ") に対して、再び集合の列 {"S" = "h"("B"("λ"))} を考える。"g" を "S" − "S" の特性函数とする。次を定義する。
直接的な計算により "f" ∈ "L"("μ") が分かり、優収束定理から、
が "L"("μ") ノルムにおいて成立することが分かる。
したがって、乗算作用素は剰余スペクトルを持たない。特に、スペクトル定理より、ヒルベルト空間上の正規作用素は剰余スペクトルを持たないことが分かる。
特別な場合として "S" が自然数の集合であり "μ" が数え上げ測度であるような場合を考える。このとき対応する "L"("μ") は l と表記される。この空間は、
を満たすような複素数の列 {"x"} より構成される。1 < "p" < ∞ に対して、空間 "l " は回帰的となる。左シフト作用素 "T" : "l " → "l " を
で定義する。この "T" は、作用素ノルムが 1 であるような部分等長作用素である。したがってスペクトル "σ"("T") は複素平面の閉単位円板に含まれる。
このとき "T*" は、1/"p" + 1/"q" = 1 を満たすような "q" に対する空間 "l " 上の右シフト（あるいは片側シフト）で、次のように与えられる：
これは等長作用素である。|"λ"| < 1 を満たすような "λ" ∈ C に対して、
であり、"T x" = "λ x" が成り立つ。したがって、"T" の点スペクトルは開単位円板を含むこととなる。回帰性と上述の定理を思い起こせば、開単位円板は "T*" の剰余スペクトルに含まれると結論付けることが出来る。
有界作用素のスペクトルは閉である。このことは、単位円 { |"λ"| = 1 } ⊂ C が "σ"("T") 内にあることを意味する。また、"T*" は固有値を持たない。すなわち、"σ"("T*") は空集合である。ふたたび "l " の回帰性と上述の定理により、"σ"("T")
も空集合であることが分かる。したがって、単位ノルム長の複素数 "λ" に対し、"λ" ∈ "σ"("T") あるいは "λ" ∈ "σ"("T") が成立する。今、もし |"λ"| = 1 で
が成立するなら、
となるが、これは "l " には含まれず、矛盾である。したがってこのことは、単位円は "T" の連続スペクトルでなければならないことを意味する。
右シフト作用素 "T*" に対し、"σ"("T*") は開単位円板となり、"σ"("T*") は単位円となる。
"p" = 1 に対しても、同様の解析を行うことが出来る。得られる結果はしかし、回帰性が成立しないために、全く同一ということにはならない。
ヒルベルト空間はバナッハ空間であり、したがって上述の定理はヒルベルト空間上の有界作用素に対しても同様に適用することが出来る。しかし各作用素の共役作用素に関して、差異が生じる可能性がある。例えば、"H" をヒルベルト空間とし、"T" ∈ "L"("H") とすれば、"σ"("T*") は "σ"("T") と一致はしないが、その像は複素共役の下にある。
自己共役作用素 "T" ∈ "L"("H") に対して、は、スペクトルを自然に分解する方法を提供するものである。
この小節ではこの種の計算の発展について簡単に説明する。初めに連続汎函数計算を構築し、リース＝マルコフの表現定理を介して可測函数へと移すということが、アイデアである。連続汎函数計算に対し、キーとなる事実を次に述べる。
族 "C"("σ"("T")) は、一様ノルムが与えられたとき、バナッハ環となる。したがって写像
は "C"("σ"("T")) の稠密な部分集合から "L"("H") への等長準同型である。その写像を連続性により拡張することで "f" ∈ C("σ"("T")) に対して "f"("T") が与えられる。すなわち、"P" を "P" → "f" が一様に成立するような多項式とし、"f"("T") = lim "P"("T") を定義する。これが連続汎函数計算である。
ある固定された "h" ∈ "H" に対して、
が "C"("σ"("T")) 上の正の線型汎函数であることに注意されたい。リース＝マルコフの表現定理によれば、"σ"("T") 上の測度 "μ" で
を満たすようなものが唯一つ存在する。この測度はしばしば、h に関するスペクトル測度（spectral measure associated to h）と呼ばれる。このスペクトル測度は、連続汎函数計算を有界ボレル函数へ拡張するために用いることが出来る。ボレル可測であるような有界函数 "g" と、"g"("T") に対して
を定義する。を介して（"H" が複素と仮定されているので）、
を求めることが出来、したがって任意の "h" に対して "g"("T") "h" が得られる。
この文脈において、測度論の結果と結び付けられるスペクトル測度が、"σ"("T") の分解を与えることが分かる。
"h" ∈ "H" とし、それに対応する "σ"("T") ⊂ R 上のスペクトル測度を "μ" とする。ルベーグの分解定理を応用することで、"μ" は以下の三つの互いに特異的な部分に分解される：
ここで "μ" はルベーグ測度に関して絶対連続であり、"μ" はルベーグ測度に関して特異的であり、"μ" は純粋な点測度である。
これら三種類の測度はすべて線型作用の下で不変である。"H" を、スペクトル測度がルベーグ測度に関して絶対連続であるようなベクトルからなる部分空間とする。同様に "H" と "H" も定義する。これらの部分空間は "T" の下で不変である。例えば、"h" ∈ "H" および "k" = "T h" であるなら、"χ" を "σ"("T") 内のあるボレル集合の特性関数とすれば、
が成立する。したがって
であり、"k" ∈ "H" が成立する。さらに、スペクトル定理を適用することで
が得られる。これは次の定義につながる："T" の固有値の閉包は、"H" に制限された "T" のスペクトルである。したがって
が成立する。
ヒルベルト空間上の有界な自己共役作用素は、バナッハ空間上の有界作用素である。
バナッハ空間の構成とは異なり、合併
は必ずしも非交和（disjoint）でなくてもよい。これが非交和となるのは、作用素 "T" の重複度（multiplicity）が一様に "m" であるとき、すなわち、あるボレル測度 formula_34 に対して、直和
上での "λ" 倍と "T" がユニタリ同値であるときである。上述の式に 1 より多い測度があらわれるとき、それら三種類のスペクトルの合併は非交和でないことがあり得ることが分かる。
"λ" ∈ "σ"("T") ∩ "σ"("T") であるとき、"λ" はしばしば絶対連続スペクトルに「埋め込まれた（embedded）」固有値と呼ばれる。
"T" が
の "λ" 倍とユニタリ同値であるとき、ボレル汎函数計算による "σ"("T") の分解は、バナッハ空間の場合を改善したものである。
上述の議論は、非有界な自己共役作用素に対しても拡張できる。なぜならば、局所コンパクトハウスドルフ空間に対してもリース＝マルコフの表現定理は成立するからである。
量子力学において、オブサーバブルは必ずしも有界ではない自己共役作用素で、それらのスペクトルは得られうる測定値である。物理学的なオブザーバブルの絶対連続スペクトルは、系の自由状態に対応し、純点スペクトルは束縛状態に対応する。特異スペクトルは、物理的に不可能な結果に対応する。純連続スペクトルを持つような量子力学的オブザーバブルの例に、直線上を動く自由粒子の位置演算子が挙げられる。そのスペクトルは、実数直線全体である。また、運動量演算子はフーリエ変換を介して位置演算子とユニタリ同値であるため、それらのスペクトルは等しい。
直感的には、スペクトルの離散性は対応する「局在化された」状態と密接な関係があるように思われるかも知れない。しかし、数学的解析を注意深く行えば、これは真でないことが分かる。次に定める formula_37 は formula_38 の元で、formula_39 に対して増加する：
しかし、アンダーソン局在やの現象は、物理学的な意味でいつ固有関数が局在化するかを示すものである。アンダーソン局在は、固有関数が formula_41 に対して指数関数的に減衰することを意味する。動的局在を定義するためにはより繊細な議論が必要となる。
物理学の量子力学的計算を行う際、"L"(R) に属さない「固有ベクトル」に遭遇することがしばしばある。すなわち、局在化されない波動函数である。それらは系の自由状態である。上述のように、数学的定式化においては、自由状態は絶対連続スペクトルに対応する。もし固有ベクトルと固有関数の概念が厳密に保たれるものであると主張するのであれば、上の作用素を考えることが出来る。
しばらくの間、特異スペクトルは技巧的なものであると信じられてきた。しかし、やランダムシュレディンガー作用素によって示されるように、それらは他のスペクトルと同様、物理学において自然に生じるものなのである。