[论文解读] Operator Lipschitz functions (English translation)

А. Б. Александров, Vladimir Peller|arXiv (Cornell University)|Nov 5, 2016

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

一句话总结

本文对算子Lipschitz函数进行了全面分析——即定义在 $ \mathbb{R} $ 上的连续实值函数 $ f $，满足对所有自伴算子 $ A, B $，有 $ \|f(A) - f(B)\| \leq C\|A - B\| $。研究证明，算子Lipschitz性等价于差商 $ \mathfrak{D}f(x,y) = \frac{f(x)-f(y)}{x-y} $ 是Schur乘子，且证明了算子Lipschitz函数恰好是那些对所有迹类扰动均满足Lifshits–Krein迹公式之函数。

ABSTRACT

The purpose of this survey is a comprehensive study of operator Lip\-schitz functions. A continuous function $f$ on the real line ${\Bbb R}$ os called operator Lipschitz if $\|f(A)-f(B)\|\le\operatorname{const}\|A-B\|$ for arbitrary self-adjoint operators $A$ and $B$. We give sufficient conditions and necessary conditions for operator Lipschitzness. We also study the class of operator differentiable functions on ${\Bbb R}$ . Next, we consider operator Lipschitz functions on closed subsets of the plane and introduce the class of commutator Lipschitz functions on such subsets. An important role for the study of such classes of functions is played by double operator integrals and Schur multipliers.

研究动机与目标

• 刻画所有满足对所有自伴算子 $ A, B $ 有 $ \|f(A) - f(B)\| \leq C\|A - B\| $ 的连续函数 $ f $ 在 $ \mathbb{R} $ 上的性质，从而定义算子Lipschitz函数类。
• 阐明算子Lipschitz性、算子可微性与差商 $ \mathfrak{D}f $ 的Schur乘子性质之间的关系。
• 以Besov类与Nikolskii–Besov类等函数空间为框架，建立算子Lipschitz性的必要与充分条件。
• 将理论推广至复平面上的子集上的函数，引入交换子Lipschitz函数，并揭示其与双算子积分的联系。
• 阐明算子Lipschitz函数在Lifshits–Krein迹公式对任意自伴算子（其差为迹类）成立中的作用。

提出的方法

• 以双算子积分为核心分析工具，用于定义和估计自伴算子的 $ f(A) - f(B) $。
• 通过差商 $ \mathfrak{D}f(x,y) = \frac{f(x)-f(y)}{x-y} $ 的Schur乘子性质，刻画算子Lipschitz函数。
• 应用插值理论与函数空间嵌入（如 $ B_{\infty,1}^1(\mathbb{R}) \subset \text{OL}(\mathbb{R}) $）推导充分条件。
• 利用Cauchy积分表示，将结果推广至 $ \mathbb{C} $ 的闭子集（包括单位圆盘与上半平面）上的函数。
• 通过迹类估计与谱移函数，将算子Lipschitz性与Lifshits–Krein迹公式的有效性联系起来。
• 改编Schur乘子与Haagerup张量积的技术，以处理非交换算子对及 $ \boldsymbol{S}_p $-范数估计。

实验结果

研究问题

• RQ1 在 $ \mathbb{R} $ 上的连续函数 $ f $ 满足什么条件，可保证对所有自伴算子 $ A, B $ 有 $ \|f(A) - f(B)\| \leq C\|A - B\| $？
• RQ2 算子Lipschitz性与差商 $ \mathfrak{D}f $ 的Schur乘子性质之间有何关系？
• RQ3 在何种条件下，Lifshits–Krein迹公式对所有差为迹类的自伴算子 $ A, B $ 成立？
• RQ4 算子Lipschitz函数理论能否推广至复平面子集（如单位圆盘或上半平面）上的函数？
• RQ5 算子Lipschitz性与Schatten–von Neumann类中交换子有界性之间存在何种关系？

主要发现

• 定义在 $ \mathbb{R} $ 上的连续函数 $ f $ 是算子Lipschitz函数，当且仅当其差商 $ \mathfrak{D}f(x,y) = \frac{f(x)-f(y)}{x-y} $ 是Schur乘子。
• 算子Lipschitz函数必处处可微，但未必连续可微。
• Lifshits–Krein迹公式对所有满足 $ A - B \in \boldsymbol{S}_1 $ 的自伴算子 $ A, B $ 成立，当且仅当 $ f $ 是算子Lipschitz函数。
• 对 $ 0 < \alpha < 1 $，Hölder–Nikolskii空间 $ \Lambda_\alpha(\mathbb{Z}) $ 中的函数是算子Lipschitz函数，其范数受 $ \Lambda_\alpha $-半范数控制。
• 类 $ \text{OL}(\mathbb{R}) $ 严格包含Lipschitz函数类，如Farforovskaya给出的 $ f(x) = |x| $ 非算子Lipschitz函数的例子所示。
• 对非交换自伴算子对的函数 $ f(A_1,B_1) - f(A_2,B_2) $，$ \boldsymbol{S}_p $-范数估计 $ \|f(A_1,B_1) - f(A_2,B_2)\|_{\boldsymbol{S}_p} \leq C\|f\|_{B_{\infty,1}^1} \max\{\|A_1 - A_2\|_{\boldsymbol{S}_p}, \|B_1 - B_2\|_{\boldsymbol{S}_p}\} $ 仅在 $ p \in [1,2] $ 时成立，不适用于 $ p > 2 $。