[论文解读] A polynomially bounded operator on Hilbert space which is not similar to a contraction

Gilles Pisier|arXiv (Cornell University)|Feb 27, 1996

Spectral Theory in Mathematical Physics被引用 13

一句话总结

该论文构建了一个在希尔伯特空间上的多项式有界算子，该算子不与压缩算子相似，从而解决了长久以来归因于哈姆斯的问题。通过在特定加权移位算子上使用扰动论证，作者证明：对于任意 ε > 0，存在一个算子 T_ε，使得对所有多项式 P，有 ‖P(T_ε)‖ ≤ (1+ε)‖P‖_∞，但不存在可逆算子 S，使得 ‖S⁻¹T_εS‖ ≤ 1。

ABSTRACT

Let $\eps >0$. We prove that there exists an operator $T_\eps:\ell_2 o\ell_2$, such that for any polynomial $P$ we have $\|{P(T)}\| \leq(1+\eps)\|{P}\|_\infty$, but which is not similar to a contraction, {\it i.e.} there does not exist an invertible operator $S:\ \ell_2 o\ell_2$ such that $\|{S^{-1}T_\eps S}\|\leq 1$. This answers negatively a question attributed to Halmos after his well known 1970 paper (``Ten problems in Hilbert space").

研究动机与目标

• 解决哈姆斯提出的问题：是否每个希尔伯特空间上的多项式有界算子都与压缩算子相似？
• 构造一个反例，以反驳多项式有界性意味着与压缩算子相似的猜想。
• 证明在 ℓ² 上存在一个算子 T_ε，满足对所有多项式 P 的统一多项式算子范数有界，且存在一个微小的超额 ε > 0。
• 证明不存在可逆相似变换可将 T_ε 的范数降低至 1 以内，尽管其满足多项式有界性。

提出的方法

• 在 ℓ² 上构造一个加权移位算子 T_ε，其权重以 ε > 0 为参数精心选择。
• 通过证明对任意多项式 P，有 ‖P(T_ε)‖ ≤ (1+ε)‖P‖_∞，建立其多项式有界性。
• 使用扰动论证，确保算子保持多项式有界性，同时避免与压缩算子相似。
• 应用泛函分析与算子理论中的技术，特别是冯·诺依曼不等式及多项式有界算子的冯·诺依曼不等式。
• 利用加权移位算子的谱性质以及 Hardy 空间 H^∞ 的结构，分析 P(T_ε) 的范数行为。
• 通过反证法证明：不存在可逆算子 S，使得 S⁻¹T_εS 成为压缩算子，依赖于 T_ε 的谱与范数结构。

实验结果

研究问题

• RQ1 每个希尔伯特空间上的多项式有界算子是否都与压缩算子相似？
• RQ2 是否存在一个多项式有界算子，其多项式算子范数满足统一有界性，却无法与任何压缩算子相似？
• RQ3 算子的何种结构性质会阻止其与压缩算子相似，即使其满足多项式有界性？
• RQ4 在多项式范数有界性中存在一个微小超额 ε > 0 时，是否可构造出此类反例？
• RQ5 加权移位算子能否用于在希尔伯特空间中构造相似性猜想的反例？

主要发现

• 对每个 ε > 0，存在一个 ℓ² 上的有界线性算子 T_ε，使得对所有多项式 P，有 ‖P(T_ε)‖ ≤ (1+ε)‖P‖_∞。
• 算子 T_ε 的多项式有界常数为 1+ε，但其不与压缩算子相似。
• 不存在可逆算子 S: ℓ² → ℓ²，使得 ‖S⁻¹T_εS‖ ≤ 1，从而证明 T_ε 不与压缩算子相似。
• 该构造对哈姆斯关于多项式有界算子是否与压缩算子相似的问题给出了否定回答。
• 结果表明，在希尔伯特空间算子的语境下，多项式有界性严格弱于与压缩算子的相似性。
• 该反例通过加权移位的扰动显式构造，展示了相似性条件的紧致性。