An \(L_p\)-inequality for anticommutators (Q829795)

Let \(0<p,q<\infty\). For any von Neumann algebra \(\mathcal{M}\), the noncommutative Mazur map \(M_{p,q}\) from \(L^p(\mathcal{M})\) to \(L^q(\mathcal{M})\) is defined by \(M_{p,q}(f)=f\lvert f\rvert^\frac{p-q}{q}\). It is known that the Mazur maps are locally uniformly continuous (see Lemma~3.2 in [\textit{Y. Raynaud}, J. Oper. Theory 48, No. 1, 41--68 (2002; Zbl 1029.46102)]). In [\textit{É. Ricard}, Arch. Math. 104, No. 1, 37--45 (2015; Zbl 1331.46050); Adv. Math. 333, 194--211 (2018; Zbl 1401.46044)], the author determined the modulus of continuity of the Mazur maps except for when \(p>q\) and \(q<1\) which is settled in this interesting paper. Theorem. Let \(\mathcal{M}\) be a von Neumann algebra; then for \(q<p<\infty\), the Mazur map \(M_{p,q}\) is Lipschitz on balls: \[ \|M_{p,q}(x)-M_{p,q}(y)\|_q\leq C_{p,q} \max\{\|x\|_p,\|y\|_p\}^{\frac{p-q}{q}}\|x-y\|_p,\qquad (x,y\in L^p(\mathcal{M})). \] The proof is based on the following inequality: Theorem. Fix \(\alpha>0\), \(0<s<\infty\) and \(0<r\leq\infty\). Let \(p\) be so that \(\frac{1}{p}=\frac{1}{s}+\frac{1}{r}\) and \(q\) so that \(\frac{1}{q}=\frac{1+\alpha}{s}+\frac{1}{r}\). Then there is a constant \(C_{\alpha,q}\) so that for any \(d\in L^s(\mathcal{M})^+\) and \(x\in L^r(\mathcal{M})\) \[ \|xd^{1+\alpha}\|_q\leq C_{\alpha,q}\|d\|_s^\alpha\|dx+xd\|_p. \] The short and clear introduction of the paper gives a complete account on the development of the results and a summary of the methods used in determining the modulus of continuity of the Mazur maps.