[論文レビュー] The Spectral Mapping Theorem

Narinder Claire|arXiv (Cornell University)|Jan 3, 2010

Advanced Algorithms and Applications参考文献 5被引用数 7

ひとこと要約

本稿では、Daviesの手法にインspiredされた明示的構成を用いて、実スペクトルをもつバナッハ空間上のHelffer-Sjöstrand関数計算に対して、抽象的でない直接的証明を提示する。Seeleyの拡張定理を用いて半有界作用素の関数計算を確立し、バナッハ代数スペクトル理論に依存せずにヒルベルト空間上の自己共役作用素に対するスペクトル写像定理の新たな証明を提示する。

ABSTRACT

We give a direct non-abstract proof of the Spectral Mapping Theorem for the Helffer-Sjöstrand functional calculus for linear operators on Banach spaces with real spectra and consequently give a new non-abstract direct proof for the Spectral Mapping Theorem for self-adjoint operators on Hilbert spaces. Our exposition is closer in spirit to the proof by explicit construction of the existence of the Functional Calculus given by Davies. We apply an extension theorem of Seeley to derive a functional calculus for semi-bounded operators.

研究の動機と目的

• 実スペクトルをもつバナッハ空間上におけるHelffer-Sjöstrand関数計算のスペクトル写像定理に対する、抽象的でない直接的証明を提供すること。
• Seeleyの拡張作用素を用いて、半有界作用素（スペクトルが[0, ∞) に含まれる）の関数計算を確立すること。
• バナッハ代数スペクトル理論を用いずに、ヒルベルト空間上の自己共役作用素に対するスペクトル写像定理の、新たな構成的証明を導出すること。
• 関数が[0, ∞) で一致する場合の重要な推論により、関数計算が拡張の選択に依存しないこと、かつ適切に定義されることを示すこと。

提案手法

• Helffer-Sjöstrandの公式を用いて、積分表現 $ f(H) = -\frac{1}{\pi} \iint_{\mathbb{C}} \frac{\partial \tilde{f}}{\partial \bar{z}} (z - H)^{-1} \, dxdy $ を通じて関数計算を定義する。
• Daviesの仮定を適用して、正則化子の減衰を仮定する：$ \| (z - H)^{-1} \| \leq c |\operatorname{Im} z|^{-1} \left( \frac{\langle z \rangle}{|\operatorname{Im} z|} \right)^\alpha $ が $ z \notin \mathbb{R} $ に対して成り立つ。
• 関数 $[0,\infty)$ から $\mathbb{R}$ への拡張を可能にするために、Seeleyの拡張作用素 $ \mathcal{E}: C^\infty[0,\infty) \to C^\infty(\mathbb{R}) $ を用いる。
• 滑らかなカットオフ関数 $ \psi_{a,\epsilon} $ と近似特性関数 $ \Psi_{[a,b],\epsilon} $ を用いて、スペクトル射影を局所化する。
• 導関数と重み関数 $ \langle x \rangle^{r-1} $ を含むノルム推定を用いて、各 $ \mathcal{A}_n^+ $ 上での拡張作用素の有界性を確立する。
• 関数 $ f $ と $ g $ が $[0,\infty) $ で一致するならば $ f(H) - g(H) = 0 $ であるという重要な補題を用いて、関数計算が拡張の選択に依存しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 抽象的バナッハ代数理論に依存せずに、Helffer-Sjöstrand関数計算のスペクトル写像定理を直接的に証明できるか？
• RQ2 拡張定理を用いて、スペクトルが $ \sigma(H) \subseteq [0,\infty) $ である作用素の関数計算をどのように構成できるか？
• RQ3 ほとんど解析的拡張を用いて定義された関数計算が、拡張の選択に依存しない条件は何か？
• RQ4 Helffer-Sjöstrandの公式が、Daviesの正則化子減衰仮定を満たす作用素に対して、適切に定義されかつ有界な関数計算をもたらすか？
• RQ5 関数計算から、$ t \leq 1 $ に対して $ e^{-H^n(t_1 + t_2)} = e^{-H^n t_1} e^{-H^n t_2} $ という半群性質を厳密に導出できるか？

主な発見

• Helffer-Sjöstrandの公式による明示的関数計算の構成を通じて、バナッハ代数スペクトル理論に依存しない、抽象的でない直接的証明が得られた。
• Seeleyの拡張作用素を用いた半有界作用素の関数計算は、関数が $[-a,0]$ に台を持つ場合に $ f(H) $ が消えることにより、拡張の選択に依存せず、適切に定義される。
• $ \mathcal{E} $ が各 $ \mathcal{A}_n^+ $ 上で有界であることが示され、関数計算が必要な解析的および有界性の性質を継承することが保証された。
• 関数 $ f \in \mathcal{A}^+ $ に対して、作用素 $ \gamma_H(f) $ は積分公式 $ \gamma_H(f) = -\frac{1}{\pi} \iint_{\mathbb{C}} \frac{\partial \tilde{f}}{\partial \bar{z}} (z - H)^{-1} \, dxdy $ で与えられ、一貫性のある関数計算を定義する。
• すべての $ n \geq 1 $ および $ 0 < t \leq 1 $ に対して、半群性質 $ e^{-H^n(t_1 + t_2)} = e^{-H^n t_1} e^{-H^n t_2} $ が成り立ち、関数計算が強い連続半群を生成することが確認された。
• 主な技術的結果は、$ \mathcal{A} $ 内の2つの関数が $[0,\infty) $ で一致するならば、$ \sigma(H) \subseteq [0,\infty) $ を満たす作用素 $ H $ に対してそれらの関数計算値が同一であるということであり、一貫性が保証される。