Higher order differentiability of operator functions in Schatten norms

DOI10.1017/S1474748019000033MaRDI QIDQ6312578arXivFDO

Authors Christian Le Merdy, Anna Skripka

Publication date 16 January 2019

Published in arXiv

Full work available at URL https://doi.org/10.1017/S1474748019000033

Mathematics Subject Classification ID

Noncommutative function spaces (46L52) Linear operators belonging to operator ideals (nuclear, (p)-summing, in the Schatten-von Neumann classes, etc.) (47B10) Transformers, preservers (linear operators on spaces of linear operators) (47B49)

arXiv classification

math.FA

Abstract: We establish the following results on higher order $mathcal{S}^p$-differentiability, $1<p<infty$, of the operator function arising from a continuous scalar function $f$ and self-adjoint operators defined on a fixed separable Hilbert space: (i) $f$ is $n$ times continuously Fr'{e}chet $mathcal{S}^p$-differentiable at every bounded self-adjoint operator if and only if $fin{C}^n(mathbbR)$; (ii) if $f^{\prime },ldots,f^{(n-1)}in{C}_b(mathbbR)$ and $f^{(n)}in{C}_0(mathbbR)$, then $f$ is $n$ times continuously Fr'{e}chet $mathcal{S}^p$-differentiable at every self-adjoint operator; (iii) if $f^{\prime },ldots,f^{(n)}in{C}_b(mathbbR)$, then $f$ is $n-1$ times continuously Fr'{e}chet $mathcal{S}^p$-differentiable and $n$ times G^{a}teaux $mathcal{S}^p$-differentiable at every self-adjoint operator. We also prove that if $fin{B}_{infty1}^n(mathbbR)cap{B}_{infty1}^1(mathbbR)$, then $f$ is $n$ times continuously Fr'{e}chet $mathcal{S}^q$-differentiable, $1leq<infty$, at every self-adjoint operator. These results generalize and extend analogous results of [10] to arbitrary $n$ and unbounded operators as well as substantially extend the results of [2,4,19] on higher order $mathcal{S}^p$-differentiability of $f$ in a certain Wiener class, G^{a}teaux $mathcal{S}^2$-differentiability of $fin{C}^n(mathbbR)$ with $f^{\prime },ldots,f^{(n)}in{C}_b(mathbbR)$, and G^{a}teaux $mathcal{S}^q$-differentiability of $f$ in the intersection of the Besov classes $B_{infty1}^n(mathbbR)cap{B}_{infty1}^1(mathbbR)$. As an application, we extend $mathcal{S}^p$-estimates for operator Taylor remainders to a broad set of symbols. Finally, we establish explicit formulas for Fr'{e}chet differentials and G^{a}teaux derivatives.

This page was built for publication: Higher order differentiability of operator functions in Schatten norms

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