[论文解读] 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

一句话总结

本文综述了巴拿赫空间数值指标理论的最新进展与开放问题，重点关注对偶性、等距范数化、Daugavet性质以及多项式数值指标之间的联系。研究证明，对于复巴拿赫空间，其数值指标下界为 $ 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.

研究动机与目标

• 综述巴拿赫空间数值指标理论的最新发展，特别是与对偶性、等距范数化以及几何结构的关系。
• 识别并提出该领域中的开放问题，尤其是可能的数值指标取值范围及其与多项式数值指标的关系。
• 探讨数值指标与Daugavet性质之间的联系，包括将Daugavet方程推广至齐次多项式。
• 研究数值指标取极值（如 $ 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) $，将线性理论推广至高阶算子。
• 利用Daugavet方程 $ \|\mathrm{Id} + P\| = 1 + \|P\| $ 对多项式 $ P $ 的关系，将多项式数值指标与巴拿赫空间的几何性质联系起来。
• 应用关于 $ M $-空间与 $ L $-空间、$ \ell_p $-和空间以及 $ c_0 $-和空间的已知结果，构造出具有极值数值指标的空间示例。
• 利用近期研究 [14] 中建立的复空间与偶次实多项式下，Daugavet方程与替代Daugavet方程等价性的结果。

实验结果

研究问题

• RQ1 在实与复巴拿赫空间中，$ k $ 阶多项式数值指标 $ n^{(k)}(X) $ 的完整取值范围是什么？
• RQ2 是否存在一个实巴拿赫空间 $ X $，使得 $ n^{(2)}(X) = 1 $，但 $ X $ 不与 $ \mathbb{R} $ 等距同构？
• RQ3 在无限维情况下，是否所有满足 $ n^{(k)}(X) = 1 $（对所有 $ k \geq 2 $）的复巴拿赫空间必然包含 $ c_0 $ 的同构子空间？
• RQ4 是否存在一个巴拿赫空间 $ X $，使得 $ \lim_{k \to \infty} n^{(k)}(X) \neq 0,1 $，即表现出非平凡的渐近行为？
• RQ5 $ n^{(k)}(L_1(\mu, X)) $ 与 $ n^{(k)}(X) $ 之间存在何种关系？类似地，$ L_\infty(\mu, X) $ 的情况如何？

主要发现

• 对每个复巴拿赫空间 $ X $，其数值指标满足 $ n(X) \geq e^{-1} $，且该下界是紧的，等号在某些二维复空间中成立。
• 存在一个复巴拿赫空间 $ X $，使得对所有 $ k \geq 2 $，有 $ n^{(k)}(X) = \exp\left(\frac{k \log k}{1 - k}\right) $，并同时达到所有已知上界的等号。
• 对所有 $ k \geq 2 $，$ k $ 阶多项式数值指标满足 $ n^{(k)}(X) \leq \exp\left(\frac{k \log k}{1 - k}\right) $，且该上界是紧的。
• 对于复巴拿赫空间与偶次实齐次多项式，Daugavet方程与替代Daugavet方程等价，但对于奇次实多项式则不成立。
• 实化复巴拿赫空间的数值指标恒为零，因为复结构会诱导出数值半径为零的算子。
• 空间 $ X = [\bigoplus_{k \geq 2} X_k]_{c_0} $，其中每个 $ X_k $ 实现 $ n^{(k)}(X_k) $ 的极值，满足对所有 $ k \geq 2 $，有 $ n^{(k)}(X) = \exp\left(\frac{k \log k}{1 - k}\right) $，从而证明了极值的同步性。