A Taylor-like Expansion of a Commutator with a Function of Self-Adjoint, Pairwise Commuting Operators

Let $A$ be a $\nu$-vector of self-adjoint, pairwise commuting operators and $B$ a bounded operator of class $C^{n_0}(A)$. We prove a Taylor-like expansion of the commutator $[B,f(A)]$ for a large class of functions $f\text{\hspace{0.17em}⁣}:\text{mathbm}{R}^{\nu }\to \text{mathbm}R$, generalising the one-dimensional result where $A$ is just a self-adjoint operator. This is done using almost analytic extensions and the higher-dimensional Helffer-Sj"ostrand formula.