[論文レビュー] Spectral Sets

Cătălin Badea, Bernhard Beckermann|arXiv (Cornell University)|Feb 3, 2013

Matrix Theory and Algorithms参考文献 45被引用数 7

ひとこと要約

このサーベイは、ジョン・フォン・ノイマンによって導入されたスペクトル集合とK-スペクトル集合を検討する。これらは、関数の上界ノルムを用いて行列関数のノルムを推定することを可能にする。行列解析と複素解析、作用素論、近似論を結びつけることで、数値線形代数、微分方程式、およびGMRESのような反復解法における行列関数の解析に基礎的な道具を提供する。

ABSTRACT

This is a survey about spectral sets, to appear in the second edition of Handbook of Linear Algebra (L. Hogben, ed.). Spectral sets and K-spectral sets, introduced by John von Neumann, offer a possibility to estimate the norm of functions of matrices in terms of the sup-norm of the function. Examples of such spectral sets include the numerical range or the pseudospectrum of a matrix, discussed in Chapters 16 and 18. Estimating the norm of functions of matrices is an essential task in numerous fields of pure and applied mathematics, such as (numerical) linear algebra, functional analysis, and numerical analysis. More specific examples include probability, semi-groups and existence results for operator-valued differential equations, the study of numerical schemes for the time discretization of evolution equations, or the convergence rate of GMRES (Section 41.7). The notion of spectral sets involves many deep connections between linear algebra, operator theory, approximation theory, and complex analysis.

研究の動機と目的

• フォン・ノイマンが導入したスペクトル集合とK-スペクトル集合の包括的概説を提供し、行列関数ノルムの上限を求める。
• スペクトル集合が、数値解析および応用数学における行列関数のノルム推定において果たす役割を明確化する。
• スペクトル集合と、数値範囲や擬スペクトルといった重要な行列領域との関係を強調する。
• 関数解析、近似論、複素解析といったより広範な数学的枠組みの中でスペクトル集合を位置づける。
• スペクトル集合理論の視点から、GMRESのような反復法の収束挙動を理解する支援を行う。

提案手法

• フォン・ノイマンのスペクトル集合の定義を用い、行列Aに対するf(A)のノルムを、Aのスペクトルを含む集合上でのfの上界ノルムに関連付ける。
• K-スペクトル集合の概念を適用し、定数K ≥ 1を用いて作用素ノルムの制御された上限を可能にする。
• 特に正則関数および上調和関数を用いた複素解析の道具を用いて、行列関数の挙動を分析する。
• 関数計算の理論と作用素ノルムに依拠し、スペクトル集合上のfの挙動に基づいてf(A)の推定を導出する。
• 数値範囲（第16章）および擬スペクトル（第18章）を、スペクトル集合の自然な例として結びつける。
• 近似論の結果を統合し、スペクトル集合の性質を用いて行列関数近似の品質を評価する。

実験結果

リサーチクエスチョン

• RQ1 スペクトル集合を用いて、Aのスペクトルを含む集合上でのfの上界ノルムを用いて、行列Aに対するf(A)のノルムをどのように上限づけることができるか？
• RQ2 与えられた行列または作用素に対して、集合がスペクトル集合となるための条件は何か？
• RQ3 正確なスペクトル集合の条件を満たさない場合、K-スペクトル集合は行列関数ノルムの推定をどのように改善するか？
• RQ4 数値範囲と擬スペクトルは、なぜ自然なスペクトル集合の例として機能するのか？
• RQ5 スペクトル集合理論は、GMRESのような反復解法の収束解析にどのような意味を持つのか？

主な発見

• スペクトル集合は、Aのスペクトルを含む集合上でのfの上界ノルムを用いて、f(A)のノルムを推定する強力な枠組みを提供する。
• 行列の数値範囲と擬スペクトルは、数値解析における実用的なノルム推定を可能にする、自然なスペクトル集合の例である。
• K-スペクトル集合は、K ≥ 1の乗数定数を許容することでスペクトル集合を一般化し、正確なスペクトル集合条件を満たさない場合のノルム推定の柔軟性を提供する。
• スペクトル集合の理論は、線形代数、作用素論、複素解析、近似論の間の深い関係を確立する。
• スペクトル集合理論は、特に残差ノルムの減衰を推定することで、GMRESのような反復法の収束解析を支える。
• この枠組みにより、作用素値微分方程式や半群の研究が、行列関数ノルムの境界を提供することによって可能になる。