Weak (1,1) estimates for multiple operator integrals and generalized absolute value functions

DOI10.1007/S11856-021-2179-0MaRDI QIDQ6338075arXivWikidataFDO

Authors M. Caspers, Fedor Sukochev, Dmitriy Zanin

Publication date 5 April 2020

Published in arXiv

Full work available at URL https://doi.org/10.1007/S11856-021-2179-0

Mathematics Subject Classification ID

Linear operators belonging to operator ideals (nuclear, (p)-summing, in the Schatten-von Neumann classes, etc.) (47B10) Multilinear and polynomial operators (47H60) Operator ideals (47L20)

arXiv classification

math.FAmath.OA

Abstract: Consider the generalized absolute value function defined by [ a(t) = vert t vert t^{n-1}, qquad t in mathbb{R}, n in mathbb{N}_{geq 1}. ] Further, consider the $n$-th order divided difference function $a^{[n]}:mathbb{R}^{n+1}ightarrowmathbbC$ and let $1<p_1,ldots,p_n<infty$ be such that $su{m}_{l=1}^n{p}_l^{-1}=1$. Let $mathcal{S}_{p_l}$ denote the Schatten-von Neumann ideals and let $mathcal{S}_{1,infty}$ denote the weak trace class ideal. We show that for any $(n+1)$-tuple $$ of bounded self-adjoint operators the multiple operator integral $$ maps $mathcal{S}_{p_1}imesldotsimesmathcal{S}_{p_n}$ to $mathcal{S}_{1,infty}$ boundedly with uniform bound in $$. The same is true for the class of $C^{n+1}$-functions that outside the interval $[-1,1]$ equal $a$. In [CLPST16] it was proved that for a function $f$ in this class such boundedness of $$ from $mathcal{S}_{p_1}imesldotsimesmathcal{S}_{p_n}$ to $mathcal{S}_1$ may fail, resolving a problem by V. Peller. This shows that the estimates in the current paper are optimal. The proof is based on a new reduction method for arbitrary multiple operator integrals of divided differences.

This page was built for publication: Weak $(1,1)$ estimates for multiple operator integrals and generalized absolute value functions

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