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

DOI10.4171/RMI/1276arXiv1906.05585MaRDI QIDQ6320443FDOQ6320443

Authors: Clément Coine 

Publication date: 13 June 2019

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

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)

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)