[论文解读] Operator Hölder--Zygmund functions

А. Б. Александров, Vladimir Peller|ArXiv.org|Jul 17, 2009

Advanced Harmonic Analysis Research参考文献 2被引用 6

一句话总结

本文为自伴、酉和压缩算子上的 Hölder–Zygmund 类函数建立了精确的算子范数估计。证明了对于 $ f \in \Lambda_\alpha(\mathbb{R}) $ 且 $ 0 < \alpha < 1 $，有算子差估计 $ \|f(A) - f(B)\| \leq \text{const} \cdot \|A - B\|^\alpha $，并通过 $ \omega_{*,m} $ 函数将该结果推广至高阶有限差分和任意连续模，解决了关于算子 Hölder 和 Zygmund 连续性的长期悬而未决问题。

ABSTRACT

It is well known that a Lipschitz function on the real line does not have to be operator Lipschitz. We show that the situation changes dramatically if we pass to Hölder classes. Namely, we prove that if $f$ belongs to the Hölder class $Ł_\a(\R)$ with $00$. Then we find a sharp estimate for $\|f(A)-f(B)\|$ for functions $f$ of class $Ł_ø\df\{f: ø_f(\d)\le\constø(\d)\}$ for an arbitrary modulus of continuity $ø$. In particular, we study moduly of continuity, for which $\|f(A)-f(B)\|\le\constø(\|A-B\|)$ for self-adjoint $A$ and $B$, and for an arbitrary function $f$ in $Ł_ø$. We obtain similar estimates for commutators $f(A)Q-Qf(A)$ and quasicommutators $f(A)Q-Qf(B)$. Finally, we estimate the norms of finite differences $\sum\limits_{j=0}^m(-1)^{m-j}(m j)f\big(A+jK\big)$ for $f$ in the class $Ł_{ø,m}$ that is defined in terms of finite differences and a modulus continuity $ø$ of order $m$. We also obtaine similar results for unitary operators and for contractions.

研究动机与目标

• 解决长期悬而未决的问题：Hölder–Zygmund 函数是否必然为算子 Hölder 或算子 Zygmund。
• 基于连续模，为广义 Hölder–Zygmund 类中函数的 $ \|f(A) - f(B)\| $ 建立关于 $ \|A - B\| $ 的精确估计。
• 将这些结果推广至高阶有限差分、交换子、准交换子，以及超越自伴算子的算子，包括酉算子和压缩算子。
• 刻画最优连续模 $ \omega $，使得对所有 $ f \in \Lambda_\omega $，有 $ \|f(A) - f(B)\| \leq \text{const} \cdot \omega(\|A - B\|) $。

提出的方法

• 利用多重算子积分微积分，将 $ f(A) - f(B) $ 及相关表达式表示为涉及谱测度的积分。
• 引入函数 $ \omega_{*,m}(x) = x^m \int_x^\infty \frac{\omega(t)}{t^{m+1}} dt $ 作为控制算子函数高阶有限差分的关键工具。
• 通过光滑截断函数 $ W_n $ 和 $ W_n^\sharp $ 的卷积对函数进行 dyadic 分解，以局部化频率成分。
• 利用范数等价关系 $ \|f\|_{\Lambda_{\omega,m}} \asymp \sup_{t>0} \frac{\|\Delta^m_t f\|_{L^\infty}}{\omega(t)} $ 来定义广义 Hölder–Zygmund 类。
• 应用插值和极大函数估计，以 $ \|K\| $ 控制 $ \Delta_K^m f(A) $ 的算子范数。
• 通过 $ f(e^{i\theta}U) $ 将该框架适配至酉算子，通过 $ T + (-1)^k \frac{k}{n}(T - R) $ 的扰动理论处理压缩算子。

实验结果

研究问题

• RQ1 对于所有自伴算子 $ A, B $，每个属于 Hölder 类 $ \Lambda_\alpha(\mathbb{R}) $ 且满足 $ 0 < \alpha < 1 $ 的函数是否都满足 $ \|f(A) - f(B)\| \leq \text{const} \cdot \|A - B\|^\alpha $？
• RQ2 每个属于 Zygmund 类 $ \Lambda_1(\mathbb{R}) $ 的函数是否都是算子 Zygmund，即是否对所有自伴算子 $ A, K $，有 $ \|f(A+K) - 2f(A) + f(A-K)\| \leq \text{const} \cdot \|K\| $ 成立？
• RQ3 对于任意连续模 $ \omega $，是否存在最优函数 $ \omega_{*,m} $，使得 $ \|\Delta_K^m f(A)\| \leq \text{const} \cdot \|f\|_{\Lambda_{\omega,m}} \cdot \omega_{*,m}(\|K\|) $？
• RQ4 能否对交换子 $ f(A)Q - Qf(A) $ 和准交换子 $ f(A)Q - Qf(B) $ 获得类似的算子范数估计？
• RQ5 对于酉算子和压缩算子（而不仅限于自伴算子），是否存在类似结果？

主要发现

• 对于 $ f \in \Lambda_\alpha(\mathbb{R}) $ 且 $ 0 < \alpha < 1 $，算子范数满足 $ \|f(A) - f(B)\| \leq \text{const} \cdot \|A - B\|^\alpha $，其中常数依赖于 $ \alpha $ 和 $ f $ 的 Hölder 半范数。
• 对于 $ f \in \Lambda_1(\mathbb{R}) $，Zygmund 条件蕴含 $ \|f(A+K) - 2f(A) + f(A-K)\| \leq \text{const} \cdot \|K\| $，证实 Zygmund 函数是算子 Zygmund。
• 对于一般连续模 $ \omega $，$ m $ 阶差分的估计 $ \|f(A) - f(B)\| \leq \text{const} \cdot \|f\|_{\Lambda_{\omega}} \cdot \omega_{*,m}(\|A - B\|) $ 成立，其中 $ \omega_{*,m}(x) = x^m \int_x^\infty \frac{\omega(t)}{t^{m+1}} dt $。
• $ \omega_{*,m} $ 是最优的：若 $ \omega $ 满足 $ \omega(2x) \leq \kappa \omega(x) $ 且 $ \kappa < 2^m $，则 $ \omega_{*,m}(x) \leq \text{const} \cdot \omega(x) $，因此该界在常数意义下是紧的。
• 结果可推广至酉算子：$ \left\| \sum_{k=0}^m (-1)^k \binom{m}{k} f(e^{ikA}U) \right\| \leq \text{const} \cdot \|f\|_{\Lambda_{\omega,m}} \cdot \omega_{*,m}(\|A\|) $。
• 对于压缩算子 $ T, R $，不等式 $ \left\| \sum_{k=0}^m (-1)^k \binom{m}{k} f\left(T + (-1)^k \frac{k}{n}(T-R)\right) \right\| \leq \text{const} \cdot \|f\|_{\Lambda_{\omega,m}} \cdot \omega_{*,m}(\|T-R\|) $ 成立，将框架扩展至非自伴算子。