Perturbation theory and higher order \mathcal{S}^p-differentiability of operator functions

DOI10.4171/RMI/1276MaRDI QIDQ6320443arXivFDO

Authors Clément Coine

Publication date 13 June 2019

Mathematics Subject Classification ID

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

Abstract: We establish, for $1<p<infty$, higher order $mathcal{S}^p$-differentiability results of the function $varphi:tinmathbbRmapstof(A+tK)-f(A)$ for selfadjoint operators $A$ and $K$ on a separable Hilbert space $mathcalH$ with $K$ element of the Schatten class $mathcal{S}^p(mathcalH)$ and $f$ $n$-times differentiable on $mathbbR$. We prove that if either $A$ and $f^{(n)}$ are bounded or $f^{(i)},1leqileqn$ are bounded, $varphi$ is $n$-times differentiable on $mathbbR$ in the $mathcal{S}^p$-norm with bounded $n$th derivative. If $fin{C}^n(mathbbR)$ with bounded $f^{(n)}$, we prove that $varphi$ is $n$-times continuously differentiable on $mathbbR$. We give explicit formulas for the derivatives of $varphi$, in terms of multiple operator integrals. As for application, we establish a formula and $mathcal{S}^p$-estimates for operator Taylor remainders for a more extensive class of functions. These results are the $n$th order analogue of the results of cite{KPSS}. They also extend the results of cite{CLSS} from $mathcal{S}^2(mathcalH)$ to $mathcal{S}^p(mathcalH)$ and the results of cite{LMS} from $n$-times continuously differentiable functions to $n$-times differentiable functions $f$.

This page was built for publication: Perturbation theory and higher order $\mathcal{S}^p$-differentiability of operator functions

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