スペクトル理論
(スペクトル論 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/02/16 13:50 UTC 版)
数学において、スペクトル理論（スペクトルりろん、英語: spectral theory）とは、正方行列の固有ベクトル、固有値に関する理論の無限次元への拡張を指す。
スペクトル理論の名称は、ダフィット・ヒルベルトが自身のヒルベルト空間論の定式化に際して、“無限個の変数を持つ二次形式”に対応する固有値をスペクトルと呼んだことに由来する。スペクトル定理は、楕円体の主軸に関する定理の無限次元への拡張として考えられた。量子力学において、離散スペクトルの特徴をスペクトル理論を用いて説明できることが思いがけず知られるようになるが、それは後の時代の話である。
概説
スペクトル理論の定式化は主に3つの段階に分けられるが、いずれも重要である。ヒルベルトによる最初の定式化の後、物理学の要請に応える形で、主にフォン・ノイマンが抽象ヒルベルト空間とその上での正規作用素のスペクトル理論を発展させた。また、これに基づくさらに進んだ理論には、抽象的に与えられるバナッハ環の概念などが含まれる。このような理論の発展は、可換バナッハ環に関するゲルファント表現の理論を導き、さらにその非可換版としての非可換調和解析を生んだ。
これらの違いはフーリエ解析とのつながりに見ることができる。実数直線上のフーリエ変換は、ある意味では微分作用素としての微分のスペクトルに関する理論である。しかし、物理現象を説明しようとすると、（ゲルファントの三つ組のような）一般化された固有関数を扱う必要が生じる。一方で群環を構成するのは容易であり、微分のスペクトルがフーリエ変換の基本性質を記述していることが、ポントリャーギン双対によって確認できる。
バナッハ空間上の作用素のスペクトル特性についても研究がなされており、例えばバナッハ空間上のコンパクト作用素は、行列と同様のスペクトル特性を多く有することが知られている。
スペクトル理論には以下の内容が含まれる。
- 積分方程式・フレドホルム理論・コンパクト作用素
- スツルム–リウヴィル理論・水素原子におけるシュレーディンガー方程式の解
- スペクトル定理・エルミート作用素・スペクトル分解・汎函数計算
- 等スペクトル理論・ラックス対
- 作用素のスペクトル
- アティヤ＝シンガーの指数定理
- スペクトル幾何学
- スペクトルグラフ理論
参考文献
- Hazewinkel, Michiel, ed. (2001), “Spectral theory of linear operators”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Nelson Dunford; Jacob T Schwartz (1988). Linear Operators, Spectral Theory, Self Adjoint Operators in Hilbert Space (Part 2) (Paperback reprint of 1967 ed.). Wiley. ISBN 0471608475
- Nelson Dunford; Jacob T Schwartz (1988). Linear Operators, Spectral Operators (Part 3) (Paperback reprint of 1971 ed.). Wiley. ISBN 0471608467
- Sadri Hassani (1999). “Chapter 4: Spectral decomposition”. Mathematical physics: a modern introduction to its foundations. Springer. ISBN 0387985794
- Edward Brian Davies (1996). Spectral Theory and Differential Operators; Volume 42 in the Cambridge Studies in Advanced Mathematics. Cambridge University Press. ISBN 0521587107
- Arch W. Naylor, George R. Sell (2000). “Chapter 5, Part B: The Spectrum”. Linear Operator Theory in Engineering and Science; Volume 40 of Applied mathematical sciences. Springer. p. 411. ISBN 038795001X
- Shmuel Kantorovitz (1983). Spectral Theory of Banach Space Operators;. Springer
 |
この項目は、解析学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。 |
|
|
|
|---|---|
| 集合 / 部分集合のタイプ | |
| 線型位相空間のタイプ | |
| 位相 | |
| 線型作用素 | |
| 集合の操作 | |
| バナッハ環 | |
| 定理 |
|
| 解析 | |
| 応用 |
|
| 日本人研究者 | |
| 海外の研究者 | |
 カテゴリ |
|
スペクトル論
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/09/10 01:11 UTC 版)
詳細は「スペクトル論」を参照 複素数体上の単位的バナッハ環は、スペクトル論を構成するための一般的な舞台となる。各元 x ∈ A のスペクトル（spectrum）σ(x) は、x − λ⋅1 が A において可逆とならないようなすべての複素スカラー λ の集合である。任意の元 x のスペクトルは、C 内の 0 を中心とする半径 || x || の閉円板に含まれる閉部分集合であり、したがってコンパクトである。さらに、各元 x のスペクトル σ(x) は空ではなく、スペクトル半径公式 sup { | λ | : λ ∈ σ ( x ) } = lim n → ∞ ‖ x n ‖ 1 / n {\displaystyle \sup\{|\lambda |:\lambda \in \sigma (x)\}=\lim _{n\to \infty }\|x^{n}\|^{1/n}} を満たす。x ∈ A が与えられたとき、正則汎関数計算（英語版）によって、σ(x) の近傍で正則な任意の関数 ƒ に対し、ƒ(x) ∈ A を定義することが出来る。さらに、スペクトル写像定理: σ ( f ( x ) ) = f ( σ ( x ) ) {\displaystyle \sigma (f(x))=f(\sigma (x))} が成り立つ。バナッハ環 A が、複素バナッハ空間 X の有界線型作用素環 L(X)（例えば、正方行列環）ならば、A におけるスペクトルの概念は、作用素論における通常の概念と一致する。コンパクトハウスドルフ空間 X 上で定義された ƒ ∈ C(X) に対して σ ( f ) = { f ( t ) : t ∈ X } {\displaystyle \sigma (f)=\{f(t):t\in X\}} が確かめられる。C*-環の正規元 x のノルムは、そのスペクトル半径と一致する。これは正規作用素に対する同様の事実の一般化である。 A を複素単位的バナッハ環で、すべての非ゼロ元 x は可逆であるとする（すなわち、可除多元環）。どの a ∈ A に対しても、a − λ⋅1 が可逆でないような λ ∈ C が存在する（これは a のスペクトルが空ではないことによる）から、a = λ⋅1 となり、この環 A は C に自然同型である。これはゲルファント＝マズールの定理の複素数の場合である。
※この「スペクトル論」の解説は、「バナッハ環」の解説の一部です。
「スペクトル論」を含む「バナッハ環」の記事については、「バナッハ環」の概要を参照ください。
- スペクトル論のページへのリンク
