Noncommutative $L_p$-differentiability and trace formulae

Abstract

Let $\mathcal{M}$ be a semifinite von Neumann algebra equipped with a normal faithful semifinite trace $\ddot{I}„$, and let $L_p(\mathcal{M})$ denote the associated noncommutative $L_p$-space for $1<p<\infty$. Let $n\in \mathbb{N}$ and let $a,b$ be $\ddot{I}„$-measurable self-adjoint operators such that $b\in L_p(\mathcal{M})\cap L_{np}(\mathcal{M})$. For a function $f\in C^n(\mathbb{R})$ whose derivatives $f^{(k)}$ are bounded for $1\le k\le n$, we prove that the map $\ddot{I}•:t\in \mathbb{R}\mapsto f(a+tb)-f(a)$ is $n$-times differentiable in the $\Vert \cdot {\Vert }_{L_p}$-norm. This strengthens the corresponding result of de Pagter and Sukochev for $p\ne 2$ and extends it to higher-order derivatives. In addition, if $f^{(n)}\in C_0(\mathbb{R})$ or $b\in \mathcal{M}$, then $\ddot{I}{•}^{(n)}$ is continuous on $\mathbb{R}$. Consequently, we extend the Potapov--Skripka--Sukochev higher-order trace formula from bounded $L_n$-perturbations to not necessarily bounded perturbations in $L_n(\mathcal{M})\cap L_{n^2}(\mathcal{M})$. Moreover, we show that this trace formula holds for a broader class of admissible functions than the classes previously considered in the literature.

We have corrected several typographical errors; for example, the $\ddot{I}„$-measurability of $a$ and $b$ was previously omitted in some places. In addition, we have relaxed the assumptions on the perturbation when proving the continuity of the $n$-th derivative of $f(a+tb)$ and when establishing the trace formula