[论文解读] A Bohl-Bohr-Kadets type theorem characterizing Banach spaces not containing c0

Bálint Farkas|arXiv (Cornell University)|Jan 26, 2013

Advanced Banach Space Theory参考文献 5被引用 3

一句话总结

本文建立了不含 $c_0$ 的可分 Banach 空间的一种 Bohl-Bohr-Kadets 型刻画：一个可分 Banach 空间 $E$ 不包含 $c_0$ 的充要条件是，对于 $E$ 上的每个幂有界算子 $T$ 和每个向量 $x \in E$，若差分集合 $\{T^{n+1}x - T^n x\}$ 的相对紧性与轨道 $\{T^n x\}$ 的相对紧性等价，且满足差分 $ (I-P)(T^n x - x) $ 的谱投影条件，则该等价关系成立。该结果推广了关于几乎周期向量的经典结果，并利用了半群的 Jacobs–de Leeuw–Glicksberg 分解。

ABSTRACT

We prove that a separable Banach space $E$ does not contain a copy of the space $\co$ of null-sequences if and only if for every doubly power-bounded operator $T$ on $E$ and for every vector $x\in E$ the relative compactness of the sets $\{T^{n+m}x-T^nx: n\in \NN\}$ (for some/all $m\in\NN$, $m\geq 1$) and $\{T^nx:n\in \NN\}$ are equivalent. With the help of the Jacobs--de Leeuw--Glicksberg decomposition of strongly compact semigroups the case of (not necessarily invertible) power-bounded operators is also handled.

研究动机与目标

• 刻画不包含零序列空间 $c_0$ 的可分 Banach 空间。
• 将经典的 Bohl–Bohr–Kadets 定理（关于几乎周期函数及其积分）推广至 Banach 空间上线性算子的设定。
• 确定在何种条件下，算子差分集合 $\{T^{n+1}x - T^n x\}$ 的相对紧性蕴含整个轨道 $\{T^n x\}$ 的相对紧性，适用于幂有界算子。
• 在无 $c_0$ 的前提下，建立关于 Jacobs–de Leeuw–Glicksberg 分解的必要且充分条件，以实现差分与轨道紧性之间的等价性。

提出的方法

• 利用强紧半群的 Jacobs–de Leeuw–Glicksberg 分解，将空间分解为谱子空间 $E_{\text{r}}$（收缩部分）和稳定子空间 $E_{\text{s}}$（在无穷远处趋于零的部分）。
• 应用关于幂有界算子 $T$ 的渐近几乎周期向量的概念，即其正向轨道 $\{T^n x\}$ 相对紧的向量。
• 使用投影 $P$ 到 $E_{\text{r}}$ 上，并分析当 $n \to \infty$ 时 $ (I-P)(T^n x - x) $ 的收敛性，以分离几乎周期分量与瞬态分量。
• 利用 $T$ 的连续性及恒等式 $T^{n+m}x - T^n x = \sum_{k=0}^{m-1} T^k (T^n x - T^{n-1}x)$，将高阶差分的紧性与一阶差分的紧性联系起来。
• 应用 Basit 与 Ruess–Summers 关于几乎周期函数及其积分的结果，以启发算子理论中的类比。
• 在 $\mathrm{c}$ 和 $\mathrm{c}_0$ 中构造反例，以说明 $c_0$-自由条件与谱投影条件的必要性。

实验结果

研究问题

• RQ1 在何种条件下，对于 Banach 空间 $E$ 和幂有界算子 $T$，集合 $\{T^{n+1}x - T^n x\}$ 的相对紧性与轨道 $\{T^n x\}$ 的相对紧性等价？
• RQ2 可分 Banach 空间 $E$ 中若不包含 $c_0$ 的拷贝，其与算子差分和轨道的紧性之间有何关系？
• RQ3 Jacobs–de Leeuw–Glicksberg 分解在刻画幂有界算子轨道紧性方面起何种作用？
• RQ4 经典的 Bohl–Bohr–Kadets 定理（关于几乎周期函数的积分）能否推广至离散算子理论设定？
• RQ5 条件 $ (I-P)(T^n x - x) \to 0 $ 在无 $c_0$ 的前提下，是否为差分与轨道紧性等价的必要且充分条件？

主要发现

• 一个可分 Banach 空间 $E$ 不包含 $c_0$ 的充要条件是：对 $E$ 上的每个幂有界算子 $T$ 和每个 $x \in E$，若 $ (I-P)(T^n x - x) $ 满足当 $n \to \infty$ 时趋于零，则集合 $\{T^{n+1}x - T^n x\}$ 的相对紧性蕴含集合 $\{T^n x\}$ 的相对紧性。
• 在无 $c_0$ 的 Banach 空间中，$\{T^{n+1}x - T^n x\}$ 与 $\{T^{n+m}x - T^n x\}$（对所有 $m \geq 1$）的紧性等价成立，推广了关于双幂有界算子的结果。
• 在空间 $\mathrm{c}$ 中，存在一个双幂有界算子 $T$，使得对 $m \geq 2$，集合 $\{T^{n+m}x - T^n x\}$ 相对紧，但集合 $\{T^{n+1}x - T^n x\}$ 不相对紧，这表明 $c_0$-自由条件的必要性。
• 投影 $P$ 到几乎周期部分 $E_{\text{r}}$ 至关重要：$ (I-P)(T^n x - x) $ 的收敛性确保瞬态部分趋于零，从而实现紧性条件的等价性。
• 该结果推广了 Kadets 关于 Banach 空间值几乎周期函数可积性的定理：无 $c_0$ 的条件刻画了差分几乎周期性蕴含轨道几乎周期性的充要条件。
• 在 $\mathrm{c}_0$ 和 $\mathrm{c}$ 中的反例确认，$c_0$-自由条件在谱投影条件成立下，对于差分与轨道紧性等价性而言，既是必要也是充分的。