Operator-Lipschitz functions in Schatten-von Neumann classes (Q416850): Difference between revisions

For \(1\leq \alpha<\infty\), let \(S^{\alpha}\) be the Schatten-von Neumann ideal and \(\| \cdot \|_{\alpha}\) be the corresponding norm. Denote by \(F_{\alpha}\) the class of functions \(f: {\mathbb R} \to {\mathbb C}\) such that \(f(a)-f(b)\in S^{\alpha}\) for any self-adjoint \(a\) and \(b\) with the difference \(a-b\) in \(S^{\alpha}\). \textit{M. G. Kreĭn} conjectured that the condition \(f'\in L^{\infty}\) is sufficient for \(f\in F_1\) [in: First Math. Summer School, Part I (Russian), 103--187, Izdat. ``Naukova Dumka'', Kiev (1964), translation in: Oper. Theory, Adv. Appl. 7, 107--172 (1983; Zbl 0512.45002)]. In [Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 30, 146--153 (1972; Zbl 0333.47009)], \textit{Yu. B. Farfarovskaya} has proved that the conjecture does not hold. However, in the present paper, it is shown that Kreĭn's conjecture holds for \(1<\alpha<\infty\), i.e., \(f'\in L^{\infty}\) implies that \(\sup_{a,b}\| f(a)-f(b)\|_{\alpha}/\| a-b\|_{\alpha}<\infty\), or, equivalently, \(F_{\alpha} \) \((1<\alpha <\infty)\) coincides with the class of all Lipschitz functions. The key result of the paper is the following theorem, which is proved in a slightly more general form in the paper. Let \(\{ e_k\}_{k\in {\mathbb Z}}\) be a sequence of mutually orthogonal projections on \(\ell^2\). Let \(f: {\mathbb R} \to {\mathbb C}\) be a Lipschitz function and let a double sequence \(\{ \phi_{kj}\}_{k, j\in {\mathbb Z}}\) be given by \(\phi_{kj}=\tfrac{f(k)-f(j)}{k-j}\) if \(k\neq j\) and \(\phi_{kk}=0\). Define a linear map \(T\) on \(S^{\alpha}\) by \(Tx=\sum\limits_{k,j}\phi_{kj} e_k xe_j\). Then, for every \(1<\alpha<\infty\), the mapping \(T\) is a bounded operator.