[論文レビュー] The essential numerical range for unbounded linear operators

Sabine Bögli, Marco Marletta+1 more|arXiv (Cornell University)|Jul 22, 2019

Numerical methods in inverse problems被引用数 1

ひとこと要約

本稿は、ヒルバート空間上の非有界線形作用素に対して、必須数値範囲 We(T) を導入し、その基本的性質を確立するとともに、射影法や定義域截断法による近似において、スペクトル汚染を一様的かつ最小限に捉える役割を示している。主な貢献は、限界的必須数値範囲の概念であり、これは非自己共役偏微分方程式および微分作用素における偽の固有値を統一的かつ特徴づけるものである。

ABSTRACT

We introduce the concept of essential numerical range $W_{\!e}(T)$ for unbounded Hilbert space operators $T$ and study its fundamental properties including possible equivalent characterizations and perturbation results. Many of the properties known for the bounded case do \emph{not} carry over to the unbounded case, and new interesting phenomena arise which we illustrate by some striking examples. A key feature of the essential numerical range $W_{\!e}(T)$ is that it captures spectral pollution in a unified and minimal way when approximating $T$ by projection methods or domain truncation methods for PDEs.

研究の動機と目的

• 非有界ヒルバート空間作用素 T に対する必須数値範囲 We(T) を定義し、その分析を行う。
• We(T) の同値な特徴づけを確立し、非有界の場合におけるそれらの違いを明確にする。
• We(T) が射影法および定義域截断法の両方において、スペクトル汚染を最小かつ統一的に捉えることの証明を行う。
• 非自己共役かつ強楕円型偏微分方程式および微分作用素に適用可能な枠組みを提供する。
• 非有界性のため有界作用素の手法が失敗する長年のスペクトル解析の課題を解決する。

提案手法

• 弱極限による数値範囲の極限に基づく、非有界作用素に対する必須数値範囲 We(T) の新しい定義を提案する。
• 近似作用素列 (T_n) のための限界的必須数値範囲の概念を導入し、有界の場合の一般化を図る。
• コンパクト摂動が必須数値範囲を保存することを示す摂動定理を導出する。
• 実部と虚部への分解を用いて、特定の条件下で We(T) を計算する。
• 解の差分とコンパクト性基準を用いて、発散型形式の微分作用素に理論を適用する。
• 極限作用素のスペクトル解析と係数の漸近的挙動を用いて、対流拡散型作用素の σ_e(A) および We(A) を導出する。

実験結果

リサーチクエスチョン

• RQ1 標準的な有界作用素の特徴づけが失敗する非有界作用素に対して、必須数値範囲を一貫して定義する方法は何か？
• RQ2 非有界設定において、複数の候補となる We(T) の定義が一致する条件は何か？
• RQ3 非自己共役設定において、We(T) は本質的スペクトルおよびスペクトル集合の凸包とどのように関係するか？
• RQ4 We(T) が異なる近似法において、スペクトル汚染の捕捉をどのように統一的かつ最小限に抑えるか？
• RQ5 変数係数をもつ微分作用素に対して、We(T) を明示的に計算できるか？また、数値近似とどう関係するか？

主な発見

• 射影法および定義域截断法の両方において、We(T) はスペクトル汚染を統一的かつ最小限に捉えることができ、限界的必須数値範囲が明確な特徴づけを提供する。
• Q1(x) → −2 および Q0(x) → 0 である対流拡散作用素 A に対して、We(A) = {λ ∈ C : Re λ ≥ (Im λ)^2 / 2} であり、これは本質的スペクトルを含む放物型領域である。
• 実係数の場合、偽の固有値は We(A) ∩ [ess inf(eQ0), ∞) に閉じ込められ、例 Q1 ≡ −2, Q0 ≡ 0 によりこの包含関係が鋭いことが示された。
• 截断作用素 An の固有値は [1, ∞) に集積し、これは We(A) 内に完全に含まれており、すべてが偽の固有値である。このことから、この場合に σ_poll((An)) = [1, ∞) であることが確認された。
• Q1 ≡ −2, Q0(x) = 20 sin(x)e^{-x^2} の場合、限界的必須数値範囲は σ_poll((An)) ⊂ [0, ∞) を予測し、数値結果により We(A) の外側にある固有値のみが真の固有値であることが確認された。
• Re λ < 0 のとき、(A − λ)^{-1} − (A∞ − λ)^{-1} はコンパクトであり、σ_e(A) = σ_e(A∞) が成り立つ。これは摂動 A0 に対して本質的スペクトルが保存されることを確認する。