[论文解读] Growth conditions and inverse producing extensions

Cătălin Badea, Veronika Müller|arXiv (Cornell University)|Dec 14, 2005

Holomorphic and Operator Theory参考文献 34被引用 7

一句话总结

本文確立了巴拿赫代數元素與算子在逆算子范數增長受控條件下存在可逆擴張的條件。透過改進阿倫斯（Arens）與道格拉斯（Douglas）的擴張定理，並運用超乘積構造，作者解決了兩個開放問題：利用增長條件刻畫 $\varepsilon(\mathbb{T})$-次標量算子，並證明滿足貝爾林型增長條件的算子具有比爾迪斯性質 $(\beta)$。這些結果可推廣至具有可數譜或卡萊森集譜的希爾伯特空間算子。

ABSTRACT

We study the invertibility of Banach algebras elements in their extensions, and invertible extensions of Banach and Hilbert space operators with prescribed growth conditions for the norm of inverses. As applications, the solutions of two open problems are obtained. In the first one we give a characterization of E(T)-subscalar operators in terms of growth conditions. In the second one we show that operators satisfying a Beurling-type growth condition possess Bishop's property beta. Other applications are also given.

研究动机与目标

• 利用算子的冪的逆算子範數的增長條件，刻畫 $\varepsilon(\mathbb{T})$-次標量算子。
• 證明滿足 $\|T^n\|$ 和 $m(T^n)^{-1}$ 上貝爾林型增長條件的算子具有比爾迪斯性質 $(\beta)$。
• 透過構造 $\|S^{-n}\|$ 的指定增長速率的可逆擴張，推廣阿倫斯與道格拉斯的擴張定理。
• 確立在逆算子範數呈次指數增長的冪有界算子相似於酉算子的條件。
• 證明具有卡萊森集譜與多項式增長逆算子範數的希爾伯特空間收縮算子為等距算子。

提出的方法

• 改進阿倫斯在交換單位巴拿赫代數中構造可逆擴張的方法，使 $\|u^{-k}\|$ 的增長受到控制。
• 採用穆勒（Müller, 2000）的方法，將巴拿赫空間算子提升至更大空間 $Y$ 上的可逆擴張 $S$，並保持 $\|S^n\| \leq \|T^n\|$。
• 將 $Y$ 構造為 $L_p(X)$ 空間族的超乘積的子空間的商空間，確保當 $X$ 為希爾伯特空間時 $Y$ 亦為希爾伯特空間。
• 應用巴蒂-耶特斯方法，透過 $\pi$ 將 $X$ 同構嵌入 $Y$，使得 $T$ 與 $S|_{\pi(X)}$ 相似。
• 利用條件 $\|S^{-n}\| \leq K \exp(n^{s+\varepsilon})$（其中 $s < 1/2$）結合澤曼克（Zemanek, 1980）的結果，推導出對所有 $p \in \mathbb{Z}$ 有 $\|S^p\| \leq M$。
• 利用譜不變性與卡萊森集性質，得出 $S$ 為酉算子，因此 $T$ 為等距算子。

实验结果

研究问题

• RQ1 能否以 $\|T^n\|$ 和 $m(T^n)^{-1}$ 的增長條件來刻畫 $\varepsilon(\mathbb{T})$-次標量算子？
• RQ2 滿足 $\sum_{n=1}^\infty \frac{\log \max(\|T^n\|, m(T^n)^{-1})}{n^2} < \infty$ 的算子是否具有比爾迪斯性質 $(\beta)$？
• RQ3 在什麼條件下，巴拿赫空間上的冪有界算子與酉算子相似？
• RQ4 能否證明具有卡萊森集譜與 $m(T^n)^{-1} \leq Cn^s$ 的希爾伯特空間收縮算子為等距算子？
• RQ5 在算子 $T$ 的可逆擴張 $S$ 中，$\|S^{-n}\|$ 需滿足何種增長條件，才能確保 $T$ 為 $\varepsilon(\mathbb{T})$-次標量算子？

主要发现

• 若巴拿赫空間上的算子 $T$ 滿足 $\|T^n\| \leq M$ 且 $m(T^n)^{-1} \leq C e^{n^s}$（其中 $s < 1/2$），則 $T$ 為 $\varepsilon(\mathbb{T})$-次標量算子。
• 滿足 $\sum_{n=1}^\infty \frac{\log \max(\|T^n\|, m(T^n)^{-1})}{n^2} < \infty$ 的算子具有比爾迪斯性質 $(\beta)$。
• 若 $T$ 為希爾伯特空間上的冪有界算子，且 $m(T^n)^{-1} \leq C e^{n^s}$（其中 $s < 1/2$）且譜可數，則 $T$ 與酉算子相似。
• 若希爾伯特空間上的收縮算子 $T$ 滿足 $\sigma_{\text{ap}}(T)$ 為卡萊森集且 $m(T^n)^{-1} \leq C n^s$，則 $T$ 為等距算子。
• 對此類 $T$，其可逆擴張 $S$ 滿足 $\|S^{-n}\| \leq K n^{s'}$（某 $s' \geq 0$），且 $S$ 為酉算子，因此 $T$ 為等距算子。
• 該構造確保 $\|S^n\| \leq \|T^n\|$ 且 $\|S^{-1}\| \leq \sqrt{2}/m(T)$，並在擴張空間上使用修改的範數以保持等距嵌入。