[論文レビュー] The numerical range as a spectral set

Michel Crouzeix, César Palencia|arXiv (Cornell University)|Feb 2, 2017

Algebraic and Geometric Analysis参考文献 11被引用数 4

ひとこと要約

本稿では、ヒルベルト空間上の有界線形作用素の数値範囲が、最適定数の上界を改善する完全な $(1 + \sqrt{2})$-スペクトル集合であることを確立している。証明はドレープ理論を避けて、共役正則関数のコーシー変換と二重層ポテンシャルによる境界積分表現に依拠し、正則関数関数計算の作用素ノルムに対する鋭い評価をもたらす。

ABSTRACT

It is shown that the numerical range of a linear operator operator in a Hilbert space is a (complete) $(1{+}\sqrt2)$-spectral set. The proof relies, among other things, in the behavior of the Cauchy transform of the conjugates of holomorphic functions.

研究の動機と目的

• 凸領域 $ \Omega $ 上の正則関数 $ f $ に対して、関数計算推定式 $ \|f(A)\| \leq C_\Omega \|f\|_\infty $ の最適定数 $ C_\Omega $ の上界を改善すること。
• 任意のヒルベルト空間上の有界線形作用素 $ A $ に対して、数値範囲 $ W(A) $ が完全な $ (1 + \sqrt{2}) $-スペクトル集合であることの証明。
• ドレープ理論を避けて、コーシー変換と境界積分技術を用いた新たな初等的証明の提供。
• 適切な条件下で結果を非有界作用素へ拡張し、行列値関数に対しても定数を変更せずに適用可能であることの示唆。
• 関数 $ f $ が原点を中心に $ \pi/2 $ の角度をもつ領域に写像される場合、$ \|f(A)\| \leq 2\|f\|_\infty $ という鋭い推定式の確立。

提案手法

• 関数 $ f \in \mathcal{A}(\Omega) $ の共役 $ \overline{f} $ のコーシー変換 $ C(\overline{f}, \cdot) $ を、$ \partial\Omega $ における輪郭積分によって定義する。
• 二重層ポテンシャル $ \mu(\sigma, z) $ を用いて、正則関数およびその共役の境界挙動を分析する。
• $ z \in \Omega $ に対して $ \int_{\partial\Omega} \mu(\sigma, z) \, ds = 2 $ という恒等式を導出し、幾何学的性質と積分表現を結びつける。
• $ g = C(\overline{f}, \cdot) $ とおくとき、作用素 $ S = C(f, A) + C(g, A)^* $ を構成し、関数計算により $ f(A) $ とその随伴を関連付ける。
• $ \lambda^2 + f g $ の可逆性と不等式 $ \|S^* h(A)\| \geq 1 $ を用いて、$ \lambda = \|f(A)\| $ に対する二次的評価を導出する。
• 最大モジュラス原理とノルム推定を適用し、$ C_\Omega \leq 1 + \sqrt{2} $ を結論づけ、極限において等号が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての $ f \in \mathcal{A}(\Omega) $ および $ \overline{W(A)} \subset \Omega $ を満たす作用素 $ A $ に対して、$ \|f(A)\| \leq C_\Omega \|f\|_\infty $ が成り立つような最良の定数 $ C_\Omega $ は何か？
• RQ2 コーシー変換と積分表現のみを用いて、数値範囲 $ W(A) $ が最適定数をもつスペクトル集合であることを示せるか？
• RQ3 適切な条件下で、$ (1 + \sqrt{2}) \|f\|_\infty $ の推定式が、有界でも非有界でも凸領域に対して一様に成り立つか？
• RQ4 $ W(A) $ のスペクトル集合性に対する定数 $ 1 + \sqrt{2} $ は鋭いか？さらに関数クラスに追加制約を課した場合、改善可能か？
• RQ5 定数を増加させずに、行列値関数や完全有界作用素ノルムへ拡張可能か？

主な発見

• 任意のヒルベルト空間上の有界線形作用素 $ A $ に対して、数値範囲 $ W(A) $ は完全な $ (1 + \sqrt{2}) $-スペクトル集合である。
• 最適定数 $ \mathcal{Q} = \sup_\Omega C_\Omega $ は $ 2 \leq \mathcal{Q} \leq 1 + \sqrt{2} $ を満たし、以前の上界 11.08 よりも改善されている。
• $ f \in \mathcal{A}(W(A)) $ に対して、$ \|f(A)\| \leq (1 + \sqrt{2}) \sup_{z \in W(A)} |f(z)| $ が成り立ち、極値関数の極限で等号が成立する。
• 標準的な仮定の下で、非有界作用素に対しても結果が拡張可能であり、行列値関数に対しても同じ定数 $ 1 + \sqrt{2} $ が適用可能である。
• 関数 $ f $ が原点を中心に $ \pi/2 $ の角度をもつ領域に写像される場合、$ \|f(A)\| \leq 2 \|f\|_\infty $ が成り立ち、これは鋭い推定である。
• 証明はドレープ理論を避け、コーシー変換と境界積分恒等式（特に二重層ポテンシャルとその正規化性質）にのみ依拠している。