Operator-Lipschitz functions in Schatten-von Neumann classes

From MaRDI portal
Publication:416850



Abstract: This paper resolves a number of conjectures in the perturbation theory of linear operators. Namely, we prove that every Lipschitz function is operator Lipschitz in the Schatten-von Neumann ideals Salpha, 1<alpha<infty. The negative result for Salpha, alpha=1,infty was earlier established by Yu. Farforovskaya in 1972.


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.NEWLINENEWLINEThe 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.




Cited in
(79)








This page was built for publication: Operator-Lipschitz functions in Schatten-von Neumann classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q416850)