Functions of perturbed tuples of self-adjoint operators

We generalize earlier results of Aleksandrov and Peller (2010) [2,3], Aleksandrov et al. (2011) [6], Peller (1985) [13], Peller (1990) [14] to the case of functions of n-tuples of commuting self-adjoint operators. In particular, we prove that if a function f belongs to the Besov space B_∞,1¹ (Rⁿ), then f is operator Lipschitz and we show that if f satisfies a Hölder condition of order α, then ‖ f (A₁ , … ,A_n) - f (B₁ , … ,B_n) ‖ ⩽ const_{max 1 ⩽ j ⩽ n} ‖A_j -B_j‖^α for all n-tuples of commuting self-adjoint operators (A₁ , … ,A_n) and (B₁ , … ,B_n). We also consider the case of arbitrary moduli of continuity and the case when the operators A_j -B_j belong to the Schatten-von Neumann class S_p.