[論文レビュー] Recent progress and open questions on the numerical index of Banach spaces

Vladimir Kadets, Martin, Miguel+1 more|ArXiv.org|May 31, 2006

Advanced Banach Space Theory参考文献 76被引用数 52

ひとこと要約

この論文は、バナッハ空間の数値的指数の理論における最近の進展と未解決問題をレビューし、双対性、再ノルム化、ダウガヴェト性質、および多項式的数値的指数との関連に焦点を当てる。複素バナッハ空間に対して、数値的指数が $ e^{-1} $ で下から有界であることが確立され、極値を達成する空間の構成がなされ、すべての多項式的数値的指数が同時に理論的上限に等しくなる例が含まれる。

ABSTRACT

The aim of this paper is to review the state-of-the-art of recent research concerning the numerical index of Banach spaces, by presenting some of the results found in the last years and proposing a number of related open problems.

研究の動機と目的

• バナッハ空間の数値的指数理論における最近の発展、特に双対性、再ノルム化、および幾何的構造との関連を調査すること。
• 特に、可能な数値的指数の範囲と多項式的数値的指数との関係に関して、未解決問題を特定・定式化すること。
• 数値的指数とダウガヴェト性質との関係を調査し、特に同次多項式へのダウガヴェト方程式の拡張を検討すること。
• 数値的指数の極値（たとえば $ n(X) = 1 $ または $ n^{(k)}(X) = 1 $）がバナッハ空間幾何に与える構造的影響を調査すること。
• 特に複素および実バナッハ空間における $ k $ 階多項式的数値的指数 $ n^{(k)}(X) $ の可能な値を特定すること。

提案手法

• 数値的指数の定義 $ n(X) = \inf\{v(T) : \|T\| = 1\} $ を用い、$ v(T) $ を $ T \in L(X) $ の数値半径とする。これにより、数値半径と作用素ノルムのノルム同値性を分析する。
• 双対性技術と双対空間内のノルム化集合を用いて、さまざまな再ノルム化および幾何的条件下での数値的指数の振る舞いを研究する。
• $ k $-斉次多項式とその数値域の概念を用い、$ k $ 階多項式的数値的指数 $ n^{(k)}(X) $ を定義することで、線形理論を高次作用素へと拡張する。
• 多項式 $ P $ に対してダウガヴェト方程式 $ \|\mathrm{Id} + P\| = 1 + \|P\| $ を用い、多項式的数値的指数とバナッハ空間の幾何的性質との関連を明らかにする。
• $ M $-空間および $ L $-空間、$ \ell_p $-和、$ c_0 $-和に関する既知の結果を応用し、極値的数値的指数を達成する空間の例を構成する。
• 最近の研究 [14] で確立されたように、複素空間および偶数次実多項式に対して、ダウガヴェト方程式と代替ダウガヴェト方程式が同値であることを活用する。

実験結果

リサーチクエスチョン

• RQ1 実および複素バナッハ空間における $ k $ 階多項式的数値的指数 $ n^{(k)}(X) $ の可能な値の範囲は何か？
• RQ2 実バナッハ空間 $ X $ が $ n^{(2)}(X) = 1 $ を満たすが、$ \mathbb{R} $ に等長同型でない可能性はあるか？
• RQ3 すべての $ k \geq 2 $ に対して $ n^{(k)}(X) = 1 $ を満たす複素バナッハ空間は、無限次元の場合に $ c_0 $ のコピーを含む必要があるか？
• RQ4 $ \lim_{k \to \infty} n^{(k)}(X) \neq 0,1 $ であるようなバナッハ空間 $ X $ が存在するか？ これは非自明な漸近的挙動を示唆する。
• RQ5 $ n^{(k)}(L_1(\mu, X)) $ と $ n^{(k)}(X) $ の関係は何か？ また、同様に $ L_\infty(\mu, X) $ に対しても同様の関係は成り立つか？

主な発見

• すべての複素バナッハ空間 $ X $ に対して、数値的指数は $ n(X) \geq e^{-1} $ を満たし、この下界は鋭い。等号は特定の2次元複素空間で達成される。
• すべての $ k \geq 2 $ に対して $ n^{(k)}(X) = \exp\left(\frac{k \log k}{1 - k}\right) $ を満たす複素バナッハ空間 $ X $ が存在し、すべての既知の上界と同時に等号が成立する。
• すべての $ k \geq 2 $ に対して、$ k $ 階多項式的数値的指数は $ n^{(k)}(X) \leq \exp\left(\frac{k \log k}{1 - k}\right) $ を満たし、この上界は鋭い。
• 複素バナッハ空間および偶数次実斉次多項式に対しては、ダウガヴェト方程式と代替ダウガヴェト方程式が同値であるが、奇数次実多項式に対しては同値でない。
• 複素バナッハ空間の実バージョンの数値的指数は、常にゼロである。これは複素構造が数値半径ゼロの作用素を誘導するためである。
• 各 $ X_k $ が $ n^{(k)}(X_k) $ の極値を達成するとき、空間 $ X = [\bigoplus_{k \geq 2} X_k]_{c_0} $ はすべての $ k \geq 2 $ に対して $ n^{(k)}(X) = \exp\left(\frac{k \log k}{1 - k}\right) $ を満たし、同時に極値性が実現される。