[论文解读] A Remark on Hypercontractive Semigroups and Operator Ideals

Gilles Pisier|arXiv (Cornell University)|Aug 25, 2007

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

一句话总结

该论文通过证明：对于 $1 < p < 2$，任意满足弱超收缩性条件（即存在某个 $s > 0$ 使得 $T(s)$ 将 $L_p$ 映射到 $L_2$）的 $L_p$ 上的全纯半群 $T(t)$，其所有算子 $T(t)$ 都位于通过希尔伯特空间分解的算子集合的算子范数闭包中，从而解决了 Johnson 和 Schechtman 关于超收缩半群的问题。该结果基于复插值与复平面上三角形轮廓上的调和测度论证，表明 $T(t)$ 可以通过 $L_p \to L_2$ 范数较小的算子在算子范数下逼近。

ABSTRACT

In this note, we answer a question raised by Johnson and Schechtman \cite{JS}, about the hypercontractive semigroup on $\{-1,1\}^{\NN}$. More generally, we prove the folllowing theorem. Let $10}$ be a holomorphic semigroup on $L_p$ (relative to a probability space). Assume the following mild form of hypercontractivity: for some large enough number $s&gt;0$, $T(s)$ is bounded from $L_p$ to $L_2$. Then for any $t&gt;0$, $T(t)$ is in the norm closure in $B(L_p)$ (denoted by $\bar{Γ_2}$) of the subset (denoted by ${Γ_2}$) formed by the operators mapping $L_p$ to $L_2$ (a fortiori these operators factor through a Hilbert space).

研究动机与目标

• 解决 Johnson 与 Schechtman 提出的关于 $\{-1,1\}^{\mathbb{N}}$ 上超收缩半群结构的问题。
• 建立 $L_p$ 上超收缩半群的算子属于通过希尔伯特空间分解的算子集合的算子范数闭包。
• 将结果推广至具有相容范数的任意巴拿赫空间与左理想，超越 $L_p$ 空间。
• 提供一个适用于其他超收缩情形（如费米子半群或 $H^p$ 空间）的一般性原理。

提出的方法

• 在复平面上使用三角形轮廓 $K$ 的全纯半群 $L_p$ 空间，利用解析性。
• 通过在域 $V$（由 $K$ 平移 $s$ 得到）的边界上应用复插值与调和测度 $\mu$。
• 将 $T(t)$ 分解为积分形式 $T(t) = \int_{\partial V} \psi(z)T(z)\mu(dz)$，其中 $\psi$ 为有界全纯函数，且在 $V_0$ 与 $V_1$ 上的上确界受控。
• 构造函数 $\psi$，使得 $\sup_{V_0}|\psi| \leq \varepsilon$ 且 $\sup_{V_1}|\psi| \leq \varepsilon^{(\theta-1)/\theta}$，从而实现在算子范数下的逼近。
• 利用域 $V$ 与标准竖直条带之间的共形等价性，将问题约化为复分析与插值理论中的已知结果。
• 通过证明 $\|T(t) - T_1\| \leq C_0\varepsilon$ 且 $\|T_1: L_p \to L_2\| \leq C_1\varepsilon^{(\theta-1)/\theta}$，表明 $T(t)$ 属于算子 $L_p \to L_2$ 的范数闭包 $\overline{\Gamma_2}$。

实验结果

研究问题

• RQ1 $L_p$ 上的超收缩半群（$1<p<2$）能否在算子范数下被通过希尔伯特空间分解的算子逼近？
• RQ2 若存在某个 $T(s)$ 将 $L_p$ 映射到 $L_2$，是否意味着所有 $t>0$ 的 $T(t)$ 都位于此类算子的范数闭包中？
• RQ3 该结果能否推广至具有相容范数的任意巴拿赫空间与算子理想？
• RQ4 若半群的全纯性足以保证：当 $T(s) \in \Gamma$ 对某个 $s>0$ 成立时，$T(t)$ 位于左理想 $\Gamma$ 的闭包中？

主要发现

• 对任意 $t>0$，$T(t)$ 属于算子 $L_p \to L_2$ 的范数闭包 $\overline{\Gamma_2}$，即 $T(t)$ 可在算子范数下被此类算子逼近。
• 对任意 $\varepsilon > 0$，存在算子 $T' \in B(L_p)$，使得 $\|T(t) - T'\| \leq \varepsilon$ 且 $\|T': L_p \to L_2\| \leq c\varepsilon^d$，其中 $c,d > 0$ 为常数。
• 该结果对所有 $1 < p < 2$ 成立，并可推广至 $H^p$ 空间（$0 < p < 2$），此时半群由紧算子构成，且同构于希尔伯特空间的子空间必为有限维。
• 相同论证适用于 Carlen-Lieb 的超收缩费米子半群及其他具有全纯半群与相容算子理想的设定。
• 即使仅假设半群为全纯的，结论仍成立，因为由解析性与无穷远处衰减性，商算子 $QT(t)$ 恒为零。
• 若 $T(t)$ 限制在 $L_p$ 的子空间 $X \subset L_p$ 上为同构，则 $X$ 同构于希尔伯特空间且在 $L_p$ 中是可补的，这是由于逼近构造提供了有界投影。