Abstract
The purpose of this survey article is to give an introduction to double operator integrals and multiple operator integrals and to discuss various applications of such operator integrals in perturbation theory. We start with the Birman–Solomyak approach to define double operator integrals and consider applications in estimating operator differences \(f(A)-f(B)\) for self-adjoint operators A and B. Next, we present the Birman–Solomyak approach to the Lifshits–Krein trace formula that is based on double operator integrals. We study the class of operator Lipschitz functions, operator differentiable functions, operator Hölder functions, obtain Schatten–von Neumann estimates for operator differences. Finally, we consider in Chapter 1 estimates of functions of normal operators and functions of d-tuples of commuting self-adjoint operators under perturbations. In Chapter 2 we define multiple operator integrals in the case when the integrands belong to the integral projective tensor product of \(L^\infty \) spaces. We consider applications of such multiple operator integrals to the problem of the existence of higher operator derivatives and to the problem of estimating higher operator differences. We also consider connections with trace formulae for functions of operators under perturbations of class \({\varvec{S}}_m\), \(m\ge 2\). In the last chapter we define Haagerup-like tensor products of the first kind and of the second kind and we use them to study functions of noncommuting self-adjoint operators under perturbation. We show that for functions f in the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\) and for \(p\in [1,2]\) we have a Lipschitz type estimate in the Schatten–von Neumann norm \({\varvec{S}}_p\) for functions of pairs of noncommuting self-adjoint operators, but there is no such a Lipschitz type estimate in the norm of \({\varvec{S}}_p\) with \(p>2\) as well as in the operator norm. We also use triple operator integrals to estimate the trace norms of commutators of functions of almost commuting self-adjoint operators and extend the Helton–Howe trace formula for arbitrary functions in the Besov space \(B_{\infty ,1}^1({\mathbb R}^2)\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this survey article we study the role of double operator integrals and multiple operator integrals in perturbation theory. Double operator integrals appeared in the paper [24] by Daletskii and Krein. In that paper they considered the problem of differentiating the operator-valued function \(t\mapsto f(A+tK)\), where A and K are self-adjoint operators on Hilbert space. They discovered the following formula that expresses the derivative in terms of double operator integrals:
for sufficiently nice functions f. Here \(E_A\) stands for the spectral measure of A.
That time there was no rigorous theory of double operator integrals. Such a theory was developed later by Birman and Solomyak [17, 18, 20].
In general double operator integrals are expressions of the form
where \(\Phi \) is a measurable function, T is a linear operator, and \(E_1\) and \(E_2\) are spectral measures on Hilbert space.
The Birman–Solomyak approach allows one to define such integrals in the case when T is a Hilbert–Schmidt operator and \(\Phi \) is an arbitrary bounded measurable function. This, in turn, permits us to define double operator integrals for arbitrary bounded linear operators T and for functions \(\Phi \) satisfying certain assumptions (such functions are called Schur multipliers).
It turned out that double operator integrals play a very important role in perturbation theory. They appear naturally when estimating various norms of operator differences \(f(A)-f(B)\), where A is an unperturbed operator and B is a perturbed operator. In particular, double operator integrals are very helpful when studying the class of operator Lipschitz functions, i.e., functions f on \({\mathbb R}\), for which
It turns out that if inequality (1.1) holds for all bounded self-adjoint operators A and B, then the same inequality holds for unbounded A and B once \(A-B\) is bounded.
Roughly speaking, a functions f on \({\mathbb R}\) is operator Lipschitz if and only if the divided difference \((x,y)\mapsto \frac{f(x)-f(y)}{x-y}\) is a Schur multiplier.
It is obvious that operator Lipschitz functions f must be Lipschitz, i.e., the inequality \(|f(x)-f(y)|\le {\text {const}}|x-y|\) must hold for \(x,\,y\in {\mathbb R}\). The question whether the converse is true was resolved in negative by Farforovskaya [25]. Later McIntosh [45] and Kato [35] proved that the function \(x\mapsto |x|\) is not operator Lischitz. Then in [34] it was shown that operator Lipschitz functions must be differentiable everywhere on \({\mathbb R}\) (but not necessarily continuously differentiable, see [38]. Later in [51] necessary conditions for operator Lipschitzness were found in terms of Besov spaces and Carleson measures (see also [54]).
In Chapter 1 we give an introduction to the theory of double operator integrals and define and characterize the class of Schur multipliers. Then we consider various applications of double operator integrals in perturbation theory. Namely, we study operator Lipschitz functions, operator Hölder functions, operator differentiable functions. We obtain sharp estimates for Schatten–von Neumann norms of operator differences \(f(A)-f(B)\) for functions f in the Hölder class \(\Lambda _\alpha ({\mathbb R})\). We present the Birman–Solomyak approach to the Lifshits–Krein trace formula that is based on double operator integrals. We also consider similar problems for functions of normal operators and for functions of m-tuples of commuting self-adjoint operators.
In Chapter 2 we proceed to multiple operator integrals, i.e., expressions of the form
We follow the approach to multiple operator integrals given in [57] and define such multiple operator integrals in the case when the integrand \(\Psi \) belongs to the (integral) projective tensor products of the spaces \(L^\infty (E_j)\), \(1\le j\le m\). We use this approach to study the problem of the existence of higher operator derivatives of the function \(t\mapsto f(A+tK)\) and express higher operator derivatives in terms of multiple operator integrals. We also use multiple operator integrals to obtain sharp estimates of higher operator differences
Finally, in the last section of Chapter 2 we apply multiple operator integrals to trace formulae for functions of self-adjoint operators of class \({\varvec{S}}_m\) with \(m\in {\mathbb Z}\), \(m\ge 2\).
An alternative approach to multiple operator integrals is given in [33]. That approach is based on the Haagerup tensor product of \(L^\infty \) spaces. We define in Chapter 3 triple operator integrals whose integrands belong to the Haaherup tensor product of three \(L^\infty \) spaces. We study Schatten–von Neumann properties of such triple operator integrals and we see that their Schatten–von Neumann properties are not as nice as in the case of triple operator integrals with integrands in the integral projective tensor product.
We are going to use triple operator integrals to estimate functions of pairs of noncommuting self-adjoint operators under perturbation. It turns out that for our purposes none of the approaches based on the integral projective tensor product and on the Haagerup tensor product of \(L^\infty \) spaces works. We define new tensor products and call them Haagerup-like tensor products of the first kind and of the second kind. Then we define triple operator integrals with integrands in such Haagerup-like tensor products and use them to estimate the norms \(\Vert f(A_1,B_1)-f(A_2,B_2)\Vert \), where \((A_2,B_2)\) is a perturbation of \((A_1,B_1)\) and f is a function in the Besov space \(B_{\infty ,1}^1({\mathbb R}^2)\).
Note that functions f(A, B) for not necessarily commuting self-adjoint operators are defined as double operator integrals
We show that for \(p\in [1,2]\), we have a Lipschitz type estimate in the Schatten–von Neumann norm \({\varvec{S}}_p\), but such Lipschitz type estimates do not hold in \({\varvec{S}}_p\) with \(p>2\) as well as in the operator norm. We conclude the chapter with estimating commutators of almost commuting self-adjoint operators (A and B are called almost commuting is \(AB-BA\in {\varvec{S}}_1\)). Such estimates allow us to extend the Helton–Howe trace formula for arbitrary functions in the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\). The results of the last chapter were obtained recently in [1–3, 12].
I am grateful to A. B. Aleksandrov for helpful remarks.
2 Preliminaries
In this section we collect necessary information on function spaces and operator ideals.
2.1 Besov classes of functions on Euclidean spaces and Littlewood–Paley type expansions
The technique of Littlewood–Paley type expansions of functions or distributions on Euclidean spaces is a very important tool in harmonic analysis.
Let w be an infinitely differentiable function on \({\mathbb R}\) such that
We define the functions \(W_n\), \(n\in {\mathbb Z}\), on \({\mathbb R}^d\) by
where \({\mathscr {F}}\) is the Fourier transform defined on \(L^1({\mathbb R}^d)\) by
Clearly,
With each tempered distribution \(f\in {{\mathscr {S}}}^\prime ({\mathbb R}^d)\), we associate the sequence \(\{f_n\}_{n\in {\mathbb Z}}\),
The formal series \( \sum _{n\in {\mathbb Z}}f_n \) is a Littlewood–Paley type expansion of f. This series does not necessarily converge to f. Note that in this paper a significant role is played by the Besov spaces \(B_{\infty ,1}^1({\mathbb R}^d)\) (see the definition below). For functions \(f\in B_{\infty ,1}^1({\mathbb R}^d)\), we have
and the series on the right converges uniformly.
Initially we define the (homogeneous) Besov class \(\dot{B}^s_{p,q}({\mathbb R}^d)\), \(s>0\), \(1\le p,q\le \infty \), as the space of all \(f\in {{\mathscr {S}}}^\prime ({\mathbb R}^n)\) such that
and put
According to this definition, the space \(\dot{B}^s_{p,q}({\mathbb R}^d)\) contains all polynomials and all polynomials f satisfy the equality \(\Vert f\Vert _{B^s_{p,q}}=0\). Moreover, the distribution f is determined by the sequence \(\{f_n\}_{n\in {\mathbb Z}}\) uniquely up to a polynomial. It is easy to see that the series \(\sum _{n\ge 0}f_n\) converges in \({{\mathscr {S}}}^\prime ({\mathbb R}^d)\). However, the series \(\sum _{n<0}f_n\) can diverge in general. It can easily be proved that the series
converges uniformly on \({\mathbb R}^d\) for every nonnegative integer \(r>s-d/p\). Note that in the case \(q=1\) the series (2.4) converges uniformly, whenever \(r\ge s-d/p\).
Now we can define the modified (homogeneous) Besov class \(B^s_{p,q}({\mathbb R}^d)\). We say that a distribution f belongs to \(B^s_{p,q}({\mathbb R}^d)\) if (2.3) holds and
in the space \({{\mathscr {S}}}^\prime ({\mathbb R}^d)\), where r is the minimal nonnegative integer such that \(r>s-d/p\) (\(r\ge s-d/p\) if \(q=1\)). Now the function f is determined uniquely by the sequence \(\{f_n\}_{n\in {\mathbb Z}}\) up to a polynomial of degree less than r, and a polynomial g belongs to \(B^s_{p,q}({\mathbb R}^d)\) if and only if \(\deg g<r\).
In the case when \(p=q\) we use the notation \(B_p^s({\mathbb R}^d)\) for \(B_{p,p}^s({\mathbb R}^d)\).
Consider now the scale \(\Lambda _\alpha ({\mathbb R}^d)\), \(\alpha >0\), of Hölder–Zygmund classes. They can be defined by \(\Lambda _\alpha ({\mathbb R}^d)\mathop {=}\limits ^{\mathrm {def}}B_\infty ^\alpha ({\mathbb R}^d)\). We need a description of \(\Lambda _\alpha \) in terms of convolutions with de la Vallée Poussin type kernel \(V_n\).
To define a de la Vallée Poussin type kernel \(V_n\), we define the \(C^\infty \) function v on \({\mathbb R}\) by
where w is the function defined by (2.1). We define \(V_n\), \(n\in {\mathbb Z}\), by
In the definition of the classes \(\Lambda _\alpha ({\mathbb R}^d)\), \(\alpha >0\), we can replace the condition \(\Vert f_n\Vert _{L^\infty }\le {\text {const}}\,2^{-n\alpha }\), \(n\in {\mathbb Z}\), with the condition
In the case of Besov classes \(B_{\infty ,q}^s({\mathbb R}^d)\) the functions \(f_n\), defined by (2.2) have the following properties: \(f_n\in L^\infty ({\mathbb R}^d)\) and \({\text {supp}}{\mathscr {F}}f\subset \{\xi \in {\mathbb R}^d:\Vert \xi \Vert \le 2^{n+1}\}\). Such functions can be characterized by the following Paley–Wiener–Schwartz type theorem (see [63], Theorem 7.23 and exercise 15 of Chapter 7):
Let f be a continuous function on \({\mathbb R}^d\) and let \(M,\,\sigma >0\). The following statements are equivalent:
-
(i)
\(|f|\le M\) and \({\text {supp}}{\mathscr {F}}f\subset \{\xi \in {\mathbb R}^d:\Vert \xi \Vert \le \sigma \}\);
-
(ii)
f is a restriction to \({\mathbb R}^d\) of an entire function on \({\mathbb C}^d\) such that
$$\begin{aligned} |f(z)|\le Me^{\sigma \Vert {\text {Im}}\, z\Vert } \end{aligned}$$for all \(z\in {\mathbb C}^d\).
Besov classes admit many other descriptions. We give here the definition in terms of finite differences. For \(h\in {\mathbb R}^d\), we define the difference operator \(\Delta _h\),
It is easy to see that \(B_{p,q}^s({\mathbb R}^d)\subset L^1_\mathrm{loc}({\mathbb R}^d)\) for every \(s>0\) and \(B_{p,q}^s({\mathbb R}^d)\subset C({\mathbb R}^d)\) for every \(s>d/p\). Let \(s>0\) and let m be the integer such that \(m-1\le s<m\). The Besov space \(B_{p,q}^s({\mathbb R}^d)\) can be defined as the set of functions \(f\in L^1_\mathrm{loc}({\mathbb R}^d)\) such that
and
However, with this definition the Besov space can contain polynomials of higher degree than in the case of the first definition given above.
We refer the reader to [49, 66] for more detailed information on Besov spaces.
2.2 Besov classes of periodic functions
Studying periodic functions on \({\mathbb R}^d\) is equivalent to studying functions on the d-dimensional torus \({\mathbb T}^d\). To define Besov spaces on \({\mathbb T}^d\), we consider a function w satisfying (2.1) and define the trigonometric polynomials \(W_n\), \(n\ge 0\), by
where
For a distribution f on \({\mathbb T}^d\) we put
and we say that f belongs the Besov class \(B_{p,q}^s({\mathbb T}^d)\), \(s>0\), \(1\le p,\,q\le \infty \), if
Note that locally the Besov space \(B_{p,q}^s({\mathbb R}^d)\) coincides with the Besov space \(B_{p,q}^s\) of periodic functions on \({\mathbb R}^d\).
2.3 Operator ideals
For a bounded linear operator T on Hilbert space, we consider its singular values \(s_j(T)\), \(j\ge 0\),
Let \({\varvec{S}}_p\), \(0<p<\infty \), be the Schatten–von Neumann class of operators T on Hilbert space such that
This is a normed ideal for \(p\ge 1\). The class \({\varvec{S}}_1\) is called trace class. For a linear operators T on a Hilbert space \({\mathscr {H}}\) its trace is defined by
where \(\{e_j\}_{j\ge 0}\) is an orthonormal basis in \({\mathscr {H}}\). The right-hand side does not depend on the choice of a basis.
The class \({\varvec{S}}_2\) is called the Hilbert–Schmidt class. It is a Hilbert space with inner product
For \(p\in (1,\infty )\), the dual space \(({\varvec{S}}_p)^*\) can be isometrically identified with \({\varvec{S}}_{p'}\) with respect to the pairing
The dual space to \({\varvec{S}}_1\) can be identified with the space of bounded linear operators, while the dual space to the space of compact operators can be identified with \({\varvec{S}}_1\) with respect to the same pairing.
We refer the reader to [32] for detailed information on singular values and operator ideals.
Chapter 1
Applications of double operator integrals in perturbation theory
In the first chapter we give an introduction to the theory of double operator integrals that was developed by Birman and Solomyak. We discuss the problem of a representation for operator differences \(f(A)-f(B)\) in terms of double operator integrals. This allows us to obtain necessary conditions and sufficient conditions for a function on the real line to be operator Lipschitz. In particular, we show that if f belongs to the Besov class \(B_{\infty ,1}^1({\mathbb R})\), then f is operator Lipschitz. It turns out that the same condition \(f\in B_{\infty ,1}^1({\mathbb R})\) is also sufficient for operator differentiability. Next, we present the Birman–Solomyak approach to the Lifshits–Krein trace formula. Their approach is based on double operator integrals. We also discuss Hölder type estimates and Schatten–von Neumann estimates for operator differences.
Finally, we consider perturbations of functions of normal operators and perturbations of functions of m-tuples of commuting self-adjoint operators.
1.1 An introduction to double operator integrals
Double operator integrals appeared in the paper [24] by Daletskii and Krein. It was Birman and Solomyak who developed later the beautiful theory of double operator integrals in [17, 18, 20].
Let \(({\mathscr {X}},E_1)\) and \(({\mathscr {Y}},E_2)\) be spaces with spectral measures \(E_1\) and \(E_2\) on a Hilbert space \({\mathscr {H}}\). The idea of Birman and Solomyak is to define first double operator integrals
for bounded measurable functions \(\Phi \) and operators T of Hilbert–Schmidt class \({\varvec{S}}_2\). Consider the spectral measure \({\mathscr {E}}\) whose values are orthogonal projections on the Hilbert space \({\varvec{S}}_2\), which is defined by
\(\Lambda \) and \(\Delta \) being measurable subsets of \({\mathscr {X}}\) and \({\mathscr {Y}}\). Obviously, left multiplication by \(E_1(\Lambda )\) commutes with right multiplication by \(E_2(\Delta )\). It was shown in [22] that \({\mathscr {E}}\) extends to a spectral measure on \({\mathscr {X}}\times {\mathscr {Y}}\) and if \(\Phi \) is a bounded measurable function on \({\mathscr {X}}\times {\mathscr {Y}}\), by definition,
Clearly,
If
for every \(T\in {\varvec{S}}_1\), we say that \(\Phi \) is a Schur multiplier of \({\varvec{S}}_1\) associated with the spectral measures \(E_1\) and \(E_2\).
To define double operator integrals of the form (1.1.1) for bounded linear operators T, we consider the transformer
and assume that the function \((y,x)\mapsto \Phi (y,x)\) is a Schur multiplier of \({\varvec{S}}_1\) associated with \(E_2\) and \(E_1\).
In this case the transformer
extends by duality to a bounded linear transformer on the space of bounded linear operators on \({\mathscr {H}}\) and we say that the function \(\Phi \) is a Schur multiplier (with respect to \(E_1\) and \(E_2\)) of the space of bounded linear operators. We denote the space of such Schur multipliers by \(\mathfrak {M}(E_1,E_2)\). The norm of \(\Phi \) in \(\mathfrak {M}(E_1,E_2)\) is, by definition, the norm of the transformer (1.1.2) on the space of bounded linear operators.
The function \(\Phi \) in (1.1.2) is called the integrand of the double operator integral.
Note that the term Schur multiplier in the context of double operator integrals was introduced in [51]. This is a generalization of the notion of a matrix Schur multiplier. Indeed, consider the very special case when the Hilbert space is the sequence space \(\ell ^2\) and both spectral measures \(E_1\) and \(E_2\) are defined on the \(\sigma \)-algebra of all subsets of \({\mathbb Z}_+\) as follows: \(E_1(\Delta )=E_2(\Delta )\) is the orthogonal projection onto the closed linear span of the vectors \(e_n\), \(n\in \Delta \), where \(\{e_n\}_{n\ge 0}\) is the standard orthonormal basis of \(\ell ^2\). In this case a function \(\Phi \) on \({\mathbb Z}_+\times {\mathbb Z}_+\) is a Schur multiplier if and only if the matrix \(\{\Phi (m,n)\}_{m,n\ge 0}\) (for which we keep the notation \(\Phi \)) is a matrix Schur multiplier, i.e.,
where \(\mathcal {B}\) is the space of matrices that induce bounded linear operators on \(\ell ^2\) and \(\Phi \star T\) is the Hadamard–Schur product of the matrices \(\Phi \) and T. Recall that the Hadamard–Schur product \(A\star B\) of matrices \(A=\{a_{jk}\}_{j,k\ge 0}\) and \(B=\{b_{jk}\}_{j,k\ge 0}\) is defined by
It is easy to see that if a function \(\Phi \) on \({\mathscr {X}}\times {\mathscr {Y}}\) belongs to the projective tensor product \(L^\infty (E_1)\hat{\otimes }L^\infty (E_2)\) of \(L^\infty (E_1)\) and \(L^\infty (E_2)\) (i.e., \(\Phi \) admits a representation
where \(\varphi _n\in L^\infty (E_1)\), \(\psi _n\in L^\infty (E_2)\), and
then \(\Phi \in \mathfrak {M}(E_1,E_2)\). For such function \(\Phi \) we have
More generally, \(\Phi \in \mathfrak {M}(E_1,E_2)\) if \(\Phi \) belongs to the integral projective tensor product \(L^\infty (E_1)\hat{\otimes }_\mathrm{i} L^\infty (E_2)\) of \(L^\infty (E_1)\) and \(L^\infty (E_2)\), i.e., \(\Phi \) admits a representation
where \((\Omega ,\lambda )\) is a \(\sigma \)-finite measure space, \(\varphi \) is a measurable function on \({\mathscr {X}}\times \Omega \), \(\psi \) is a measurable function on \({\mathscr {Y}}\times \Omega \), and
If \(\Phi \in L^\infty (E_1)\hat{\otimes }_\mathrm{i}L^\infty (E_2)\), then
Clearly, the function
is weakly measurable and
It is easy to see that
where \(\Vert \Phi \Vert _{L^\infty \hat{\otimes }_\mathrm{i}L^\infty }\) is, by definition, the infimum of the left-hand side of (1.1.4) over all representations of \(\Phi \) of the form (1.1.3).
It turns out that all Schur multipliers can be obtained in this way (see Theorem 1.1.1 below).
Another sufficient condition for a function to be a Schur multiplier can be stated in terms of the Haagerup tensor products of \(L^\infty \) spaces. The Haagerup tensor product \(L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\) can be defined as the space of functions \(\Phi \) of the form
where \(\varphi _n\in L^\infty (E_1)\), \(\psi _n\in L^\infty (E_2)\) and
The norm of \(\Phi \) in \(L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\) is defined as the infimum of
over all representations of \(\Phi \) of the form (1.1.5). Here
It can easily be verified that if \(\Phi \in L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\), then \(\Phi \in \mathfrak {M}(E_1,E_2)\) and
It is also easy to see that the series on the right converges in the weak operator topology and
As the following theorem says, the condition \(\Phi \in L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\) is not only sufficient, but also necessary.
Theorem 1.1.1
Let \(\Phi \) be a measurable function on \({\mathscr {X}}\times {\mathscr {Y}}\) and let \(\mu \) and \(\nu \) be positive measures on \({\mathscr {X}}\) and \({\mathscr {Y}}\) that are mutually absolutely continuous with respect to \(E_1\) and \(E_2\). The following are equivalent:
-
(i)
\(\Phi \in \mathfrak {M}(E_1,E_2)\);
-
(ii)
\(\Phi \in L^\infty (E_1)\hat{\otimes }_\mathrm{i}L^\infty (E_2)\);
-
(iii)
\(\Phi \in L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\);
-
(iv)
there exist measurable functions \(\varphi \) on \({\mathscr {X}}\times \Omega \) and \(\psi \) on \({\mathscr {Y}}\times \Omega \) such that (1.1.3) holds and
$$\begin{aligned} \left\| \left( \int _\Omega |\varphi (\cdot ,w)|^2\,d\lambda (w)\right) ^{1/2}\right\| _{L^\infty (E_1)} \left\| \left( \int _\Omega |\psi (\cdot ,w)|^2\,d\lambda (w)\right) ^{1/2}\right\| _{L^\infty (E_2)}<\infty ;\nonumber \\ \end{aligned}$$(1.1.6) -
(v)
if the integral operator \(f\mapsto \int k(x,y)f(y)\,d\nu (y)\) from \(L^2(\nu )\) to \(L^2(\mu )\) belongs to \({\varvec{S}}_1\), then the same is true for the integral operator \(f\mapsto \int \Psi (x,y)k(x,y)f(y)\,d\nu (y)\).
The implications (iv) \(\Rightarrow \) (i)\(\Leftrightarrow \) (v) were established in [20]. In the case of matrix Schur multipliers the fact that (i) implies (ii) was proved in [15]. We refer the reader to [51] for the proof of the equivalence of (i), (ii), and (iv) and to [60] for the proof of the fact that (i) is equivalent to (iii).
Suppose that \(\mathfrak {F}_1\) and \(\mathfrak {F}_2\) are closed subsets of \({\mathbb R}\). We denote by \(\mathfrak {M}_{{\mathfrak {F}}_1,{\mathfrak {F}}_2}\) the space of functions that belong to \(\mathfrak {M}(E_1,E_2)\) for arbitrary Borel spectral measures \(E_1\) and \(E_2\) such that \({\text {supp}}\, E_1\subset {\mathfrak {F}}_2\) and \({\text {supp}}\,E_2\subset {\mathfrak {F}}_2\).
It is well known (see [37, 39]) that if \(\Phi \) is a continuous function on \(\mathfrak {F}_1\times \mathfrak {F}_2\) and \(E_1\) and \(E_2\) are Borel spectral measures such that \({\text {supp}}\, E_1={\mathfrak {F}}_2\) and \({\text {supp}}\, E_2={\mathfrak {F}}_2\), then \(\Phi \in \mathfrak {M}_{{\mathfrak {F}}_1,{\mathfrak {F}}_2}\) if and only if \(\Phi \in \mathfrak {M}(E_1,E_2)\). The same conclusion under the weaker assumption that \(\Phi \) is continuous in each variable was established in [8].
It is easy to see that conditions (i)–(iv) are also equivalent to the fact that \(\Phi \) is a Schur multiplier of \({\varvec{S}}_1\). It follows that if \({\mathfrak {I}}\) is an operator ideal that is an interpolation ideal between the space of bounded linear operators and trace class \({\varvec{S}}_1\) and \(\Phi \) satisfies one of the conditions (i)–(iv), then \(\Phi \) is a Schur multiplier of \({\mathfrak {I}}\), i.e.,
In particular, this is true when \({\mathfrak {I}}\) is the Schatten–von Neumann class \({\varvec{S}}_p\), \(1<p<\infty \).
If \({\mathfrak {I}}\) is a separable (symmetrically normed) operator ideal (see [32]) , we say that a function \(\Phi \) is a Schur multiplier of \({\mathfrak {I}}\) if the transformer \(T\mapsto \iint \Phi \,dE_1T\,dE_2\) defined on \({\varvec{S}}_1\) admits an extension to a bounded linear operator on \({\mathfrak {I}}\). In the case when \({\mathfrak {I}}\) is an operator ideal dual to separable, we can define Schur multiplier of \({\mathfrak {I}}\) by duality. We denote the space of Schur multipliers of \({\mathfrak {I}}\) with respect to \(E_1\) and \(E_2\) by \(\mathfrak {M}_{\mathfrak {I}}(E_1,E_2)\).
Consider now the case when \(E_1=E_2=E\) and \(T\in {\varvec{S}}_1\). It follows easily from Theorem 1.1.1 that functions in the space \(\mathfrak {M}(E,E)\) of Schur multipliers have traces on the diagonal
and the traces of functions in \({\mathscr {M}}(E,E)\) belong to \(L^\infty (E)\).
The following useful fact was established in [20].
Theorem 1.1.2
Let E be a spectral measure and \(\Phi \in \mathfrak {M}(E,E)\). Suppose that \(T\in {\varvec{S}}_1\). Then
where \(\mu \) is the complex measure defined by
Proof
It follows easily from Theorem 1.1.1 that it suffices to establish formula (1.1.7) in the case \(\Phi (x,y)=\varphi (x)\psi (y)\), \(\varphi ,\,\psi \in L^\infty (E)\). We have
\(\square \)
1.2 A representation of operator differences in terms of double operator integrals
In the paper [24] by Daletskii and Krein under certain assumptions on a function f on \({\mathbb R}\) the following formula was discovered:
for bounded self-adjoint operators A and B. Here \(E_A\) and \(E_B\) are the spectral measures of A and B. Later in Birman and Solomyak [20] proved formula (1.2.1) in a much more general situation.
Consider first the case when \(A-B\) belongs to the Hilbert–Schmidt class \({\varvec{S}}_2\). Suppose that f is a Lipschitz function on \({\mathbb R}\), i.e.,
Consider the divided difference \(\mathfrak {D}f\) defined by
It was established in [20] that in the case \(A-B\in {\varvec{S}}_2\), formula (1.2.1) holds for arbitrary Lipschitz functions f. To understand the right-hand side of (1.2.1) for Lipschitz functions, we have to define the divided difference \(\mathfrak {D}f\) on the diagonal \(\Delta \mathop {=}\limits ^{\mathrm {def}}\{(x,x):x\in {\mathbb R}\}\). It turns out that no matter how we can define \(\mathfrak {D}f\) on the diagonal, formula (1.2.1) holds. If f is differentiable, it is natural to assume that \((\mathfrak {D}f)(s,s)=f'(s)\). We can also define \(\mathfrak {D}f\) to be zero on the diagonal. Put
Theorem 1.2.1
Suppose that A and B are (not necessarily bounded) self-adjoint operators such that \(A-B\in {\varvec{S}}_2\). Let \(\varvec{\mathfrak {f}}\) be a bounded Borel function on \({\mathbb R}^2\) such that \(\varvec{\mathfrak {f}}\big |_{{\mathbb R}^2{\setminus }\Delta }=\mathfrak {D}f\big |_{{\mathbb R}^2{\setminus }\Delta }\). Then
Corollary 1.2.2
If A and B are self-adjoint operators such that \(A-B\in {\varvec{S}}_2\) and f is a Lipschitz functions on \({\mathbb R}\), then \(f(A)-f(B)\in {\varvec{S}}_2\) and
Proof
It suffices to put \(\varvec{\mathfrak {f}}=\mathfrak {D}_0f\). \(\square \)
We refer the reader to [20] for the proof of Theorem 1.2.1. Here we prove an analog of Theorem 1.2.1 in the case when \(A-B\) is a bounded operator.
Theorem 1.2.3
Suppose that A and B are (not necessarily bounded) self-adjoint operators such that the operator \(A-B\) is bounded. Let \(\varvec{\mathfrak {f}}\) be a function on \({\mathbb R}^2\) such that \(\varvec{\mathfrak {f}}\in \mathfrak {M}(E_A,E_B)\) and \(\varvec{\mathfrak {f}}\big |_{{\mathbb R}^2{\setminus }\Delta }=\mathfrak {D}f\big |_{{\mathbb R}^2{\setminus }\Delta }\). Then formula (1.2.2) holds and
Proof
Consider first the case when A an B are bounded operators. We have
It is easy to see from the definition of double operator integrals in the Hilbert–Schmidt case that
and
Thus
Clearly, \((s-t)\varvec{\mathfrak {f}}(s,t)=f(s)-f(t)\) for all \(s,\,t\in {\mathbb R}\). It follows that
Suppose now that A and B are unbounded self-adjoint operators.
Clearly, f must be a Lipschitz function. It follows easily that the domain of f(A) contains the domain of A and the same is true for the operator B. Hence, \(f(A)-f(B)\) is a densely defined operator. Let us prove that it extends to a bounded operator and its extension (for which we keep the same notion \(f(A)-f(B)\)) satisfies (1.2.2).
Consider the orthogonal projections
and define bounded self-adjoint operators \(A_{[N]}\) and \(B_{[N]}\) by
Obviously,
in the strong operator topology.
On the other hand, it is easy to see that
because equality (1.2.2) holds for bounded self-adjoint operators. It remains to observe that
for all vectors x in the dense subset \(\bigcup _N{\text {Range}}E_B([-N,N])\). \(\square \)
Remark 1
Suppose now that \({\mathfrak {I}}\) is a separable (or dual to separable) operator ideal of \({\mathscr {B}}({\mathscr {H}})\) equipped with a norm that makes it a Banach space. Let A and B be self-adjoint operators such that \(A-B\in {\mathfrak {I}}\) and let f be a Lipschitz function on \({\mathbb R}\). As above one can show that if the divided difference \(\mathfrak {D}f\) can be extended to the diagonal \(\Delta \) and the resulting function \({\mathfrak {f}}\) on \({\mathbb R}^2\) belongs to the space \(\mathfrak {M}_{\mathfrak {I}}(E_A,E_B)\) of Schur multipliers of \({\mathfrak {I}}\), then formula (1.2.2) holds,
We refer the reader to [20] for more detail.
Remark 2
Note also that the significance of formula (1.2.1) is in the fact that it allows us to linearize the nonlinear problem of estimating \(f(A)-f(B)\). Indeed, one can obtain desired estimates of \(f(A)-f(B)\) by studying properties of the linear transformer
Remark 3
Similar results hold for functions of unitary operators, see [20]. Analogs of the above results can also be obtained for analytic functions of contractions and of dissipative operators, see [9, 52, 58]. However, in the case of contractions and in the case of dissipative operators one has to consider double operator integrals with respect to semi-spectral measures.
1.3 Commutators and quasicommutators
In the previous section we have seen that operator differences \(f(A)-f(B)\) can be represented as double operator integrals with integrand equal to the divided difference \(\mathfrak {D}f\). Birman and Solomyak observed (see [23]) that similar formulae hold for commutators \(f(A)Q-Qf(A)\) and quasicommutators \(f(A)Q-Qf(B)\). The proof of the following result is practically the same as the proof of Theorem 1.2.3.
Theorem 1.3.1
Suppose that A and B are (not necessarily bounded) self-adjoint operators and Q is a bounded linear operator such that the operator \(AQ-QB\) is bounded. Let \(\varvec{\mathfrak {f}}\) be a a function in \(\mathfrak {M}_{{\mathbb R},{\mathbb R}}\) such that \(\varvec{\mathfrak {f}}\big |_{{\mathbb R}^2{\setminus }\Delta }=\mathfrak {D}f\big |_{{\mathbb R}^2{\setminus }\Delta }\). Then the quasicommutator \(f(A)Q-Qf(B)\) is bounded,
and
Note that in the special case \(A=B\) we obtain commutators \(f(A)Q-Qf(A)\), while in the special case \(Q=I\) we obtain operator differences \(f(A)-f(B)\).
Similar result holds in the case when \(AQ-QB\) belongs to the Hilbert–Schmidt class or other operator ideals.
In the rest of the paper we discuss in details estimates of \(f(A)-f(B)\). Practically all the results are also valid for commutators and quasicommutators though we are not going to dwell on them.
1.4 Operator Lipschitz functions
In Sect. 1.2 we have observed that if f is a differentiable function on \({\mathbb R}\) such that the divided difference \(\mathfrak {D}f\) belongs to the space of Schur multipliers \(\mathfrak {M}_{{\mathbb R},{\mathbb R}}\), then f is operator Lipschitz. It turns out that the converse is also true. First of all, if f is an operator Lipschitz function on \({\mathbb R}\), then f is differentiable everywhere on \({\mathbb R}\) which was established in [34] (but not necessarily continuously differentiable: the function \(x\mapsto x^2\sin (1/x)\) is operator Lipschitz, see [38]). On the other hand, it was shown in [51] (see also [53]) that if f is a differentiable operator Lipschitz function, then \(\mathfrak {D}f\in \mathfrak {M}_{{\mathbb R},{\mathbb R}}\). Similar results hold for functions on the unit circle.
In this section we discuss some necessary conditions and sufficient conditions for a function to be operator Lipschitz.
We start with necessary conditions for functions on the unit circle. The following result was established in [51].
Theorem 1.4.1
Let f be an operator Lipschitz function on \({\mathbb T}\). Then f belongs to the Besov class \(B_1^1({\mathbb T})\).
Proof
As we have discussed in Sect. 1.2, the divided difference
belongs to the space of Schur multipliers \(\mathfrak {M}_{{\mathbb T},{\mathbb T}}\). Trivially, this implies that the function
belongs to \(\mathfrak {M}_{{\mathbb T},{\mathbb T}}\).
Consider the rank one operator P on \(L^2({\mathbb T})\) defined by
By Theorem 1.1.1, the integral operator \(\mathcal {C}_f\) defined by
belongs to trace class \({\varvec{S}}_1\). An elementary calculation shows that
where \({\mathbb P}_+\) is the orthogonal projection from \(L^2\) onto the Hardy class \(H^2\), \({\mathbb P}_-\) is the orthogonal projection onto \(H^2_-\mathop {=}\limits ^{\mathrm {def}}L^2\ominus H^2\), \(h_+\mathop {=}\limits ^{\mathrm {def}}{\mathbb P}_+ h\), and \(h_-\mathop {=}\limits ^{\mathrm {def}}{\mathbb P}_-h\) (see [55], Ch. 1, § 1). It is easy to see that both Hankel operators \(H_f\) and \(H_{\overline{f}}\) belong to \({\varvec{S}}_1\). Recall that the Hankel operator \(H_f:H^2\rightarrow H^2_-\) is defined by \(H_f\varphi ={\mathbb P}_-f\varphi \).
By the trace class criterion for Hankel operators [50] (see also [55], Ch. 6, § 1), we find that \(f\in B_1^1({\mathbb T})\). \(\square \)
The following stronger necessary condition was also obtained in [51] by using the trace class criterion for Hankel operators.
Theorem 1.4.2
Let f be an operator Lipschitz function on \({\mathbb T}\). Then the Hankel operators \(H_f\) and \(H_{\overline{f}}\) map the Hardy class \(H^1\) into the Besov space \(B_1^1({\mathbb T})\).
Note that Semmes observed (see the proof in [52] that the Hankel operators \(H_f\) and \(H_{\overline{f}}\) map \(H^1\) into \(B_1^1({\mathbb T})\) if and only if the measure \(\mu \) defined by
is a Carleson measure on the unit disk \({\mathbb D}\).
Theorem 1.4.1 implies easily that a continuously differentiable function on \({\mathbb T}\) does not have to be operator Lipschitz. Indeed, it follows from (2.7) that the lacunary Fourier coefficients of the derivative of a function f in \(B_1^1({\mathbb T})\) must satisfy the condition
while it is well known that an arbitrary sequence in \(\ell ^2\) can be the sequence of lacunary coefficients of the derivative of a continuously differentiable function.
The above results can be extended to functions on \({\mathbb R}\). The analog of Theorem 1.4.1 is that if f is an operator Lipschitz function on \({\mathbb R}\), then f belongs to the Besov space \(B_1^1\) locally. An analog of Theorem 1.4.2 also holds as well as the characterization of the last necessary condition in terms of Carleson measures. We refer the reader to [52, 53].
We proceed now to sufficient conditions for operator Lipschitzness. The following result was obtained in [51].
Theorem 1.4.3
Let f be a function on \({\mathbb T}\) of Besov class \(B_{\infty ,1}^1({\mathbb T})\). Then f is operator Lipschitz.
We give here an idea of the proof of Theorem 1.4.3. It is easy to see that it suffices to prove the following inequality: suppose that \(\varphi \) is an analytic polynomial (i.e., a polynomial of z) of degree m, then the norm of \(\mathfrak {D}\varphi \) in the projective tensor product \(C({\mathbb T})\hat{\otimes }C({\mathbb T})\) admits the following estimate:
Note that the projective tensor product \(C({\mathbb T})\hat{\otimes }C({\mathbb T})\) can be defined in the same way as the projective tensor product of \(L^\infty \) spaces.
It can easily be verified that
Clearly,
where
It can be shown that
and
(see [51, 57] for details). This implies easily inequality (1.4.1).
A similar fact holds for functions on \({\mathbb R}\). The following result was obtained in [57].
Theorem 1.4.4
If f belongs to the Besov class \(B_{\infty ,1}^1({\mathbb R})\), then f is an operator Lipschitz function on \({\mathbb R}\).
It follows from the definition of \(B_{\infty ,1}^1({\mathbb R})\) (see (2.3)) that to prove Theorem 1.4.4, it suffices to establish the following fundamental inequality:
for an arbitrary bounded function f on \({\mathbb R}\) with Fourier transform supported in \([-\sigma ,\sigma ]\). Inequality (1.4.2) together with formula (1.2.1) implies that
for arbitrary self-adjoint operators A and B with bounded \(A-B\) and for an arbitrary function f in \(L^\infty ({\mathbb R})\) whose Fourier transform is supported in \([-\sigma ,\sigma ]\). In [7] it was shown that inequality (1.4.3) holds with constant 1 on the right.
To prove inequality (1.4.2) we introduce the functions \(r_u\), \(u>0\), whose Fourier transforms \({\mathscr {F}}r_u\) are defined by
It is easy to show that \(r_u\in L^1({\mathbb R})\) and \(\Vert r_u\Vert _{L^1}\le {\text {const}}\). It follows that the function \(1-r_u\) is the Fourier transform of finite signed measure. We denote this measure by \(\mu _u\). We have
To prove inequality (1.4.2), we establish the following integral representation for the divided difference \(\mathfrak {D}f\):
Lemma 1.4.5
Let f be a bounded function on \({\mathbb R}\) whose Fourier transform has compact support in \([0,\infty )\). Then the following representation holds:
To prove identity (1.4.4), we can first consider the special case when f is the Fourier transform of an \(L^1\) function, in which case this is an elementary exercise, and then consider suitable approximation, see [53, 57] for details.
Corollary 1.4.6
Let f be a bounded function on \({\mathbb R}\) whose Fourier transform is supported in \([0,\sigma ]\). Then inequality (1.4.2) holds.
Proof
Clearly, \(f*\mu _u={\varvec{0}}\) for \(u>\sigma \). Representation (1.4.4) gives us the following estimates:
\(\square \)
To prove inequality (1.4.2) in the general case we represent f as the sum of \(f_n=f*W_n\) (see (2.2)). Consider now the function \((f_n)_+\) whose Fourier transform is equal to \(\chi _{{\mathbb R}_+}{\mathscr {F}}f_n\). It remains to observe that \(\Vert (f_n)_+\Vert _{L^\infty }\le {\text {const}}\Vert f_n\Vert _{L^\infty }\), see [53, 57] for details.
Proof of Theorem 1.4.4
By (1.4.2), we have
where, as usual, \(f_n\mathop {=}\limits ^{\mathrm {def}}f*W_n\). \(\square \)
Note that inequality (1.4.3) and its version for Schatten–von Neumann norms will play a very important role in Hölder type inequalities, in Schatten–von Neumann estimates of operator differences, see Sects. 1.7 and 1.8.
To conclude the section, I would like to mention that similar results also hold for functions of contractions and functions of dissipative operators, see [9, 40, 52].
1.5 Operator differentiable functions
In the previous section we have shown that the condition \(f\in B_{\infty ,1}^1({\mathbb R})\) is sufficient for f to be operator Lipschitz on \({\mathbb R}\). It turns out that the same condition \(f\in B_{\infty ,1}^1({\mathbb R})\) is also sufficient for operator differentiability.
Definition
A function f on \({\mathbb R}\) is called operator differentiable if the limit
exists in the operator norm for an arbitrary self-adjoint operator A and an arbitrary bounded self-adjoint operator K.
The following result can be found in [53, 57].
Theorem 1.5.1
Let f be a function in \(B_{\infty ,1}^1({\mathbb R})\). Then f is operator differentiable and
whenever A is a self-adjoint operator and K is a bounded self-adjoint operator.
Formula (1.5.1) is called the Daletskii–Krein formula. It was established in [24] under considerably stronger assumptions. Later Birman and Solomyak proved in [20] formula (1.5.1) under less restrictive assumptions.
Let me give an idea of the proof of Theorem 1.5.1. Under the hypotheses of the theorem, we have
where \(A_t\mathop {=}\limits ^{\mathrm {def}}A+t K\) (see Sect. 1.2). To establish formula (1.5.1), we can represent the divided difference \(\mathfrak {D}f\) as an element of the integral projective tensor product
where \(\sigma \) is a \(\sigma \)-finite measure and
Moreover, the functions \(\varphi _x\) satisfy the following:
for all x. This can be deduced easily from Lemma 1.4.5, see [53] for details.
We have
Clearly, the above conditions easily imply that
which implies (1.5.1).
Remark 1
The problem of differentiability of the function \(t\mapsto f(A+tK)\) is the problem of the existence of the Gâteaux derivative of the map \(K\mapsto f(A+K)-f(A)\) defined on the real space of bounded self-adjoint operators. We have proved that this map is differentiable in the sense of Gâteaux for functions f in \(B_{\infty ,1}^1({\mathbb R})\). The reasoning given above allows one to prove that under the same assumptions this map is differentiable in the sense of Fréchet and the differential of this map is the double operator integral
Remark 2
The above argument shows that under the hypotheses of Theorem 1.5.1, the function \(t\mapsto f(A_t)\) is actually continuously differentiable in the operator norm.
Finally, I would like to mention that similar results hold for functions of unitary operators, functions of contractions and functions of dissipative operators, see [9, 51, 58]. In particular, in the case of functions of unitary operators we can consider the problem of differentiability of the function \(t\mapsto f\big (e^{\mathrm{i}tA}U)\), \(t\in {\mathbb R}\), where f is a function on the unit circle \({\mathbb T}\), U is a unitary operator and A is a bounded self-adjoint operator. It was proved in [51] that under the assumption \(f\in B_{\infty ,1}^1({\mathbb T})\), the function \(t\mapsto f\big (e^{\mathrm{i}tA}U)\) is differentiable in the operator norm and its derivative is equal to the following double operator integral:
1.6 The Lifshits–Krein trace formula
The notion of the spectral shift function was introduced by Lifshits [43]. He discovered in that paper a trace formula for \(f(A)-f(B)\) where A is the initial operator and B is a perturbed operator that involves the spectral shift function. Later Krein [42] generalized the trace formula to a considerably more general situation when A is an arbitrary self-adjoint operator and B is a trace class perturbation of A.
Let A be a self-adjoint operator on Hilbert space and let B be a perturbed self-adjoint operator with \(A-B\in {\varvec{S}}_1\). It was shown in [42] that there exists a unique real function \(\xi \) in \(L^1({\mathbb R})\) such that
whenever f is a differentiable function on \({\mathbb R}\) whose derivative is the Fourier transform of an \(L^1\) function. The function \(\xi \) is called the spectral shift function associated with the pair (A, B).
Moreover, it was shown in [42] that under the same assumptions
The right-hand side of formula (1.6.1) is well defined for an arbitrary Lipschitz function f. Krein asked in [42] whether formula (1.6.1) holds for an arbitrary Lipschitz function f. It turns out, however, that the Lipschitzness of f does not imply that the operator \(f(A)-f(B)\in {\varvec{S}}_1\) whenever \(A-B\in {\varvec{S}}_1\). This was first observed in [26].
On the other hand, it can be shown that a function f preserves trace class perturbations, i.e.,
if and only if f is operator Lipschitz (the operators A and B do not have to be bounded). This implies that the necessary conditions for operator Lipschitzness mentioned in Sect. 1.4 are also necessary for property (1.6.2).
On the other hand, it was proved in [53] that the condition \(f\in B_{\infty ,1}^1({\mathbb R})\), sufficient for operator Lipschitzness (see Sect. 1.4), is also sufficient for trace formula (1.6.1) to hold.
In this section we use the Birman–Solomyak approach [19] that is based on double operator integrals. Actually, their approach allows to prove the existence of a finite real signed Borel measure \(\nu \) such that
for sufficiently nice functions f. It follows from the results of [42] that \(\nu \) is absolutely continuous with respect to Lebesgue measure and \(d\nu =\xi \,d{\varvec{m}}\), where \(\xi \) is the spectral shift function. Moreover, we combine the Birman–Solomyak approach with the observation that for \(f\in B_{\infty ,1}^1({\mathbb R})\), the function \(t\mapsto f(A+t(B-A))\), \(t\in {\mathbb R}\), is continuously differentiable in the trace norm (this can be proved in the same way as Theorem 1.5.1) and the Daletskii–Krein formula holds for the derivative of this operator function. This allows us to prove the following extension of the Birman–Solomyak result:
Theorem 1.6.1
Let A and B be self-adjoint operators on Hilbert space such that \(B-A\in {\varvec{S}}_1\). Then there exists a real signed Borel measure \(\nu \) on \({\mathbb R}\) such that formula (1.6.3) holds for an arbitrary function f in \(B_{\infty ,1}^1({\mathbb R})\).
Recall that under the hypotheses of the theorem, \(f(A)-f(B)\in {\varvec{S}}_1\).
Proof
Put \(A_t\mathop {=}\limits ^{\mathrm {def}}A+t(B-A)\). Then the function \(t\mapsto f(A_t)\) is differentiable in the trace norm and
This can be proved in exactly the same way as Theorem 1.5.1.
Since \(\mathfrak {D}f\) is a Schur multiplier (see Sect. 1.4), it follows that
By Theorem 1.1.2 , we have
where the signed measure \(\nu _s\) is defined on the Borels sets by
Clearly, \(\Vert \nu _u\Vert \le \Vert T\Vert _{{\varvec{S}}_1}\).
It is easy to verify that
where the signed measure \(\nu \) is defined by
Note that the function \(u\mapsto \nu _u\) is continuous in the space of measures equipped with the weak-\(*\) topology, and so integration makes sense. Clearly, \(\Vert \nu \Vert \le \Vert T\Vert _{{\varvec{S}}_1}\). \(\square \)
We have already mentioned that \(d\nu =\xi \,d{\varvec{m}}\), where \(\xi \) is the spectral shift function. This implies the following extension of the Krein theorem.
Theorem 1.6.2
Let A and B be self-adjoint operators such that \(B-A\in {\varvec{S}}_1\). Suppose that \(f\in B_{\infty ,1}^1({\mathbb R})\). Then trace formula (1.6.1) holds.
The original proof of Theorem 1.6.2 by a different method was obtained in [53].
1.7 Operator Hölder functions: arbitrary moduli of continuity
In this section we obtain norm estimates for \(f(A)-f(B)\), where A and B are self-adjoint operators and f is a Hölder function of order \(\alpha \), \(0<\alpha <1\). Then we consider the more general problem of estimating \(f(A)-f(B)\) in terms of the modulus of continuity of f.
By analogy with the notion of operator Lipschitz functions. We say that a function f on \({\mathbb R}\) is operator Hölder of order \(\alpha \), \(0<\alpha <1\), if
The problem of whether a Hölder function of order \(\alpha \) (recall that the class of such functions is denoted by \(\Lambda _\alpha ({\mathbb R})\), see Sect. 2) is necessarily operator Hölder of order \(\alpha \) remained open for 40 years and it was solved in [4] (see also [5] for a detailed presentation). The solution is given by the following theorem:
Theorem 1.7.1
Let \(\alpha \in (0,1)\). Then
whenever A and B are self-adjoint operators with bounded \(A-B\).
Thus the term “an operator Hölder function of order \(\alpha \)” turns out to be short-lived.
We prove here Theorem 1.7.1 for bounded self-adjoint operators and refer the reader to [7] for details how to treat the case of unbounded operators.
Proof of Theorem 1.7.1
Let N be an integer. Then \(f(A)-f(B)\) admits a representation
and the series converges absolutely in the operator norm. Here \(f_n=f*W_n\) (see (2.2)) and \(V_N\) is the de la Vallée Poussin type kernel defined by (2.5). Suppose that \(M<N\). It is easy to see that
Clearly, the Fourier transform of \(f*V_M\) is is supported in \([-2^{M+1},2^{M+1}]\). Thus it follows from fundamental inequality (1.4.3) that for \(M\le 0\),
Suppose now that N is the integer satisfying
By (2.6), we have
On the other hand, it follows from fundamental inequality (1.4.3) and from (2.3) that
\(\square \)
Suppose now that \(\omega \) is an arbitrary modulus of continuity, i.e., \(\omega \) is a continuous nondecreasing function on \([0,\infty )\) such that \(\omega (s+t)\le \omega (s)+\omega (t)\), \(s,\,t\ge 0\) and \(\omega (0)=0\). We associate with \(\omega \) the function \(\omega _*\) defined by
It is easy to see that if \(\omega _*(x)<\infty \) for some \(x>0\), then \(\omega _*(x)<\infty \) for all \(x>0\) in which case \(\omega _*\) is also a modulus of continuity.
The following result was obtained in [4, 5].
Theorem 1.7.2
Let \(\omega \) be a modulus of continuity. Then
for arbitrary self-adjoint operators A and B with bounded \(A-B\).
The proof of Theorem 1.7.2 is similar to the proof of Theorem 1.7.1.
Slightly weaker results were obtained independently in [30].
Theorem 1.7.2 implies the following result proved in [5]:
Corollary 1.7.3
Suppose that A and B are self-adjoint operators with spectra in an interval [a, b]. Then for a continuous function f on [a, b] the following inequality holds:
Theorem 1.7.3 improves earlier estimates obtained in [27].
We refer the reader to [8] for more detailed information and more sophisticated estimates of \(f(A)-f(B)\).
Note that similar results hold for functions of unitary operators, contractions and dissipative operators, see [5, 9].
1.8 Schatten–von Neumann estimates of operator differences
In this section we list several results on estimates of the norms of \(f(A)-f(B)\) in operator ideals and, in particular, in Schatten–von Neumann classes.
Fundamental inequality (1.4.2) together with formula (1.2.1) allows us to use Mityagin’s interpolation theorem [46] to generalize and generalize inequality (1.4.3) to arbitrary separable (or dual to separable) ideals \({\mathfrak {I}}\):
for arbitrary self-adjoint operators A and B with bounded \(A-B\) and for an arbitrary bounded function f on \({\mathbb R}\) whose Fourier transform is supported in \([-\sigma ,\sigma ]\).
In particular, inequality (1.8.1) holds in the case \({\mathfrak {I}}={\varvec{S}}_p\), \(p\ge 1\).
This implies the following result (see [51, 53]).
Theorem 1.8.1
Let \({\mathfrak {I}}\) be a separable (symmetrically normed) operator ideal or an operator ideal dual to separable and let f be a function in the Besov class \(B_{\infty ,1}^1({\mathbb R})\). Suppose that A and B are self-adjoint operators such that \(A-B\in {\mathfrak {I}}\). Then \(f(A)-f(B)\in {\mathfrak {I}}\) and
In the case when \({\mathfrak {I}}={\varvec{S}}_p\), \(1<p<\infty \), Theorem 1.8.1 was improved significantly in [61]:
Theorem 1.8.2
Let \(1<p<\infty \) and let f be a Lipschitz function on \({\mathbb R}\). Suppose that A and B are self-adjoint operators such that \(A-B\in {\varvec{S}}_p\). Then \(f(A)-f(B)\in {\varvec{S}}_p\) and
where \(c_p\) is a positive number that depends only on p.
We proceed now to estimating Schatten–von Neumann norms of \(f(A)-f(B)\) for functions f in the Hölder class \(\Lambda _\alpha ({\mathbb R})\), \(0<\alpha <1\). For a nonnegative integer l and for \(p\ge 1\), we define the following norm on the space of bounded linear operators on Hilbert space:
where \(s_j(T)\) is the jth singular value of T.
The following result obtained in [6] is crucial.
Theorem 1.8.3
Let \(0<\alpha <1\). Then there exists a positive number \(c>0\) such that for every \(l\ge 0\), \(p\in [1,\infty )\), \(f\in \Lambda _\alpha ({\mathbb R})\), and for arbitrary self-adjoint operators A and B on Hilbert space with bounded \(A-B\), the following inequality holds:
for every \(j\le l\).
Proof
Put \(f_n\mathop {=}\limits ^{\mathrm {def}}f*W_n\), \(n\in {\mathbb Z}\), and fix an integer N. We have by (1.8.1) and (2.3),
On the other hand,
Put
Clearly, for \(j\le l\),
To obtain the desired estimate, it suffices to choose the number N so that
\(\square \)
The following result can be deduced from Theorem 1.8.3. We refer the reader to [6] for details.
Theorem 1.8.4
Let \(0<\alpha <1\) and \(1<p<\infty \) and let \(f\in \Lambda _\alpha ({\mathbb R})\). Supposed that A and B are self-adjoint operators such that \(A-B\in {\varvec{S}}_p\). Then the operator \(f(A)-f(B)\) belongs to \({\varvec{S}}_{p/\alpha }\) and
where \(c_{\alpha ,p}\) depends only on \(\alpha \) and p.
Note that for \(p=1\), the conclusion of Theorem 1.8.4 does not hold, see [6]. The example given in [6] is based on the \(S_p\) criterion for Hankel operators, see [50, 55].
Nevertheless, the conclusion of Theorem 1.8.4 can be obtained under stronger assumptions on f. The following result was obtained in [6].
Theorem 1.8.5
Let \(0<\alpha \le 1\) and let f be a function in the Besov class \(B_{\infty 1}^\alpha ({\mathbb R})\). Supposed that A and B are self-adjoint operators such that \(A-B\in {\varvec{S}}_1\). Then the operator \(f(A)-f(B)\) belongs to \({\varvec{S}}_{1/\alpha }\) and
where \(c_{\alpha }\) depends only on \(\alpha \).
Note that in [6] the above results were generalized to the case of considerably more general operator ideals.
Remark
As before, I would like to mention that similar results hold for functions of unitary operators, contractions and dissipative operators, see [6, 9].
1.9 Functions of normal operators
We proceed now to the study of functions of normal operators under perturbation. The results of this section were obtained in [13]. Earlier weaker results were obtained in [29].
The spectral theorem allows us to define functions of a normal operator as integrals with respect to its spectral measure:
Here N is a normal operator and \(E_N\) is its spectral measure.
We are going to study estimates of \(f(N_1)-f(N_2)\) in terms of \(N_1-N_2\).
As in the case of functions of self-adjoint operators we can consider the divided difference
and prove the formula
whenever \(N_1\) and \(N_2\) are normal operators with \(N_1-N_2\in {\varvec{S}}_2\) and f is a Lipschitz function. Again, it does not matter how we define \(\mathfrak {D}f\) on the diagonal of \({\mathbb C}\times {\mathbb C}\).
If f is a function on \({\mathbb C}\) such that the divided difference \(\mathfrak {D}f\) can be extended to the diagonal and the extension belongs to the space of Schur multipliers \(\mathfrak {M}_{{\mathbb C},{\mathbb C}}\), then formula (1.9.1) as soon as \(N_1\) and \(N_2\) are normal operators with bounded difference. Moreover, such functions are necessarily operator Lipschitz, i.e.,
The trouble is that such functions are necessarily linear which follows from the results of [34].
In [13] we used the following representation for \(f(N_1)-f(N_2)\):
where
and the divided differences \(\mathfrak {D}_xf\) and \(\mathfrak {D}_yf\) are defined by
and
It was established in [13] that for a function f in the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\), both divided differences \(\mathfrak {D}_xf\) and \(\mathfrak {D}_yf\) belong to the space of Schur multipliers \(\mathfrak {M}_{{\mathbb C},{\mathbb C}}\). This follows from the following analog of fundamental inequality (1.4.2).
Theorem 1.9.1
Let f be a bounded function on \({\mathbb R}^2\) whose Fourier transform is supported in \([-\sigma ,\sigma ]\times [-\sigma ,\sigma ]\). Then both \(\mathfrak {D}_xf\) and \(\mathfrak {D}_yf\) are Schur multipliers and
The proof of Theorem 1.9.1 is based on the following lemma whose proof can be found in [13].
Lemma 1.9.2
Let f be a bounded function on \({\mathbb R}\) whose Fourier transform is supported in \([-\sigma ,\sigma ]\). Then
Moreover,
Proof of Theorem 1.9.1
Clearly, it suffices to consider the case \(\sigma =1\). By Lemma 1.9.2, we have
and
By Lemma 1.9.2, we have
and
It remains to observe that (1.9.4) gives us desired estimates of the norms of \(\mathfrak {D}_xf\) and \(\mathfrak {D}_yf\) in the Haagerup tensor product \(L^\infty \otimes _\mathrm{h}L^\infty \). The result follows now from Theorem 1.1.1. \(\square \)
Theorem 1.9.1 implies the following result:
Theorem 1.9.3
Let \(f\in B_{\infty ,1}^1({\mathbb R}^2)\). Then both \(\mathfrak {D}_xf\) and \(\mathfrak {D}_yf\) belong to \(\mathfrak {M}_{{\mathbb C},{\mathbb C}}\) and
Moreover, if \(N_1\) and \(N_2\) are normal operators with bounded \(N_1-N_2\), then formula (1.9.2) holds and
In other words, if \(f\in B_{\infty ,1}^1({\mathbb R}^2)\), then f is an operator Lipschitz function.
To prove that \(\mathfrak {D}_xf,~\mathfrak {D}_yf\in \mathfrak {M}_{{\mathbb C},{\mathbb C}}\), it suffices to apply Theorem 1.9.1 to each function \(f*W_n\) (see (2.3)). Formula (1.9.2) can be proved by analogy with the proof of formula (1.2.1) for functions of self-adjoint operators. The operator Lipschitzness of f follows immediately from formula (1.9.2). We refer the reader to [13] for details.
As in the case of functions of self-adjoint operators, fundamental inequality (1.9.3) allows us to establish for functions of perturbed normal operators analogs of all the results of Sects. 1.4–1.8 except for Theorem 1.8.2. In particular, a Hölder function of order \(\alpha \), \(0<\alpha <1\), on \({\mathbb R}^2\) must be operator Hölder of order \(\alpha \). An analog of Theorem 1.8.2 was obtained in [36].
We refer the reader to [11] for more results on estimates of operator differences and quasicommutators for functions of normal operators.
1.10 Functions of commuting self-adjoint operators
In the previous section we considered the behavior of functions of normal operators under perturbation. This is equivalent to considering functions of pairs of commuting self-adjoint operators. Indeed, if N is a normal operator, then \({\text {Re}}N\) and \({\text {Im}}N\) are commuting self-adjoint operators. On the other hand, if A and B are commuting self-adjoint operators, then \(A+\mathrm{i}B\) is a normal operator.
In this section we are going to study functions of d-tuples of commuting self-adjoint operators. It is natural to try to use the approach for functions of normal operators that has been used in the previous section. However, it turns out that it does not work for \(d\ge 3\).
Indeed, a natural analog of formula 1.9.2 for functions of triple of commuting self-adjoint operators would be the following formula:
where
and \(E_A\) and \(E_B\) are the joint spectral measures of the triples \((A_1,A_2,A_3)\) and \((B_1,B_2,B_3)\) on the Euclidean space \({\mathbb R}^3\).
It can easily be shown that (1.10.1) holds if the functions \(\mathfrak {D}_1f\), \(\mathfrak {D}_2f\), and \(\mathfrak {D}_3f\) belong to the space of Schur multipliers \(\mathfrak {M}_{{\mathbb R}^3,{\mathbb R}^3}\) which would imply that f is an operator Lipschitz function.
The methods of [13] that were outlined in Sect. 1.9 allow us to prove that if f is a bounded function on \({\mathbb R}^3\) with compactly supported Fourier transform, then \(\mathfrak {D}_1f\) and \(\mathfrak {D}_3f\) do belong to the space of Schur multipliers \(\mathfrak {M}_{{\mathbb R}^3,{\mathbb R}^3}\). However, it turns out that the function \(\mathfrak {D}_2f\) does not have to be in \(\mathfrak {M}_{{\mathbb R}^3,{\mathbb R}^3}\), and so formula (1.10.1) cannot be used to prove that bounded functions on \({\mathbb R}^3\) with compactly supported Fourier transform must be operator Lipschitz. This was established in [47] where the following result was proved:
Theorem 1.10.1
Suppose that g is a bounded continuous function on \({\mathbb R}\) such that the Fourier transform of g has compact support and is not a measure. Let f be the function on \({\mathbb R}^3\) defined by
Then f is a bounded function on \({\mathbb R}^3\) whose Fourier transform has compact support, but \(\mathfrak {D}_2f\not \in \mathfrak {M}_{{\mathbb R}^3,{\mathbb R}^3}\).
To construct a function g satisfying the hypothesis of Theorem 1.10.1, one can take, for example, the function g defined by
Obviously, g is bounded and its Fourier transform \({\mathscr {F}}g\) satisfies the equality:
for a nonzero constant c and sufficiently small positive t. It is easy to see that this implies that \({\mathscr {F}}g\) is not a measure.
Nevertheless, it was proved in [47] by a different method that functions in the Besov class \(B_{\infty ,1}^1({\mathbb R}^d)\) are operator Lipschitz in the sense that
The following result proved in [47] plays the same role as fundamental inequality (1.4.2) in the case of functions of one self-adjoint operator.
Lemma 1.10.2
Let f be a bounded function on \({\mathbb R}^d\) whose Fourier transform is supported in \([-\sigma ,\sigma ]^d\). Then there are Schur multipliers \(\Psi _j\), \(1\le j\le d\), such that
and
Lemma 1.10.2 implies the following result (see [47]) that considerably improves earlier estimates obtained in [28].
Theorem 1.10.3
Let f be a function in the Besov class \(B_{\infty ,1}^1({\mathbb R}^d)\). Then there are Schur multipliers \(\Phi _j\), \(1\le j\le d\), such that
and
If \((A_1,\ldots ,A_d)\) and \((B_1,\ldots ,B_d)\) are d-tuples of commuting self-adjoint operators, then
where \(E_A\) and \(E_B\) are the joint spectral measures of the \((A_1,\ldots ,A_d)\) and \((B_1,\ldots ,B_d)\).
Corollary 1.10.4
Let \(f\in B_{\infty ,1}^1({\mathbb R}^d)\). Then f is operator Lipschitz.
Lemma 1.10.2 allows us to obtain analogs of all the results of Sects. 1.4–1.8 except for Theorem 1.8.2. An analog of Theorem 1.8.2 for d-tuples of commuting self-adjoint operators was obtained in [36].
Chapter 2
Multiple operator integrals with integrands in projective tensor products and their applications
Multiple operator integrals were considered by several mathematicians, see [48, 64]. However, those definitions required very strong restrictions on the classes of functions that can be integrated. In [57] multiple operator integrals were defined for functions that belong to the (integral) projective tensor product of \(L^\infty \) spaces. Later in [33] multiple operator integrals were defined for Haagerup tensor products of \(L^\infty \) spaces.
In this chapter we consider applications of multiple operator integrals with integrands in the integral projective tensor product of \(L^\infty \) spaces. Such multiple operator integrals have nice Schatten–von Neumann properties. In Chapter 3 we shall see that multiple operator integrals with integrands in the Haagerup tensor product of \(L^\infty \) spaces do not possess such properties.
We consider in this chapter applications of multiple operator integrals to higher operator derivatives and estimates of higher operator differences. We also consider connections between multiple operator integrals and trace formulae for perturbations of class \({\varvec{S}}_m\), where m is positive integer greater than 1.
2.1 A brief introduction to multiple operator integrals
Multiple operator integrals are expressions of the form
Here \(E_1,\ldots ,E_m\) are spectral measures on Hilbert space, \(\Psi \) is a measurable function, and \(T_1,\ldots ,T_{m-1}\) are bounded linear operators on Hilbert space. The function \(\Psi \) is called the integrand of the multiple operator integral.
For \(m\ge 3\), the Birman–Solomyak approach to double operator integrals does not work. In [57] multiple operator integrals were defined for functions \(\Psi \) that belong to the integral projective tensor product \(L^\infty (E_1)\hat{\otimes }_\mathrm{i}\cdots \hat{\otimes }_\mathrm{i}L^\infty (E_m)\). It consists of functions \(\Psi \) of the form
where \(\varphi _1,\varphi _2,\ldots ,\varphi _m\) are measurable functions such that
If \(\Psi \) belongs to \(L^\infty (E_1)\hat{\otimes }_\mathrm{i}\cdots \hat{\otimes }_\mathrm{i}L^\infty (E_m)\), clearly, a representation of \(\Psi \) in the form (2.1.1) is not unique. The norm \(\Vert \Psi \Vert _{L^\infty \hat{\otimes }_\mathrm{i}\cdots \hat{\otimes }_\mathrm{i}L^\infty }\) is, by definition, the infimum of the expressions on the left-hand side of (2.1.2) over all representations of \(\Psi \) in the form of (2.1.1).
If \(\Psi \in L^\infty (E_1)\hat{\otimes }_\mathrm{i}\ldots \hat{\otimes }_\mathrm{i}L^\infty (E_m)\) and \(\Psi \) is represented as in (2.1.1), the multiple operator integral is defined by
The following result shows that the multiple operator integral is well defined.
Theorem 2.1.1
The expression on the right-hand side of (2.1.3) does not depend on the choice of a representation of the form (2.1.1).
The following proof is based on the approach of [14].
Proof
To simplify the notation, we assume that \(n=3\). In the general case the proof is the same. Consider the right-hand side of (2.1.3). It is easy to see that it suffices to prove its independence on the choice of (2.1.1) for finite rank operators \(T_1\) and \(T_2\). It follows that we may assume that \({\text {rank}}\, T_1={\text {rank}}\, T_2=1\). Let \(T_1=(\cdot ,u_1)v_1\) and \(T_2=(\cdot ,u_2)v_2\), where \(u_1,v_1,u_2\) and \(v_2\) are vectors in our Hilbert space. Suppose that \(w_1\) and \(w_2\) are arbitrary vectors. We are going to use the following notation:
It is easy to verify that
where
Thus
It follows that \(W(T_1,T_2)\) does not depend on the choice of a representation of the form (2.1.1). \(\square \)
The following result is an easy consequence of the above definitions.
Theorem 2.1.2
Let \(\Psi \) be a function in \(L^\infty (E_1)\hat{\otimes }_\mathrm{i}\cdots \hat{\otimes }_\mathrm{i}L^\infty (E_m)\). Suppose that \(T_1,\ldots ,T_{m-1}\) are bounded linear operator. Then
To simplify the notation, by \({\varvec{S}}_\infty \) we mean the space of bounded linear operators on Hilbert space. The proof of the following result is also straightforward.
Theorem 2.1.3
Let \(\Psi \) be a function in \(L^\infty (E_1)\hat{\otimes }_\mathrm{i}\cdots \hat{\otimes }_\mathrm{i}L^\infty (E_m)\). Suppose that \(p_j\ge 1\), \(1\le j\le m\), and \(1/{p_1}+1/{p_2}+\cdots +1/{p_m}\le 1\). If \(T_1,T_2,\ldots ,T_m\) are linear operators on Hilbert space such that \(T_j\in {\varvec{S}}_{p_j}\), \(1\le j\le m\), then
and
where
In particular, all the above facts hold for functions \(\Psi \) in the projective tensor product \(L^\infty (E_1)\hat{\otimes }\cdots \hat{\otimes }L^\infty (E_m)\) which consists of functions of the form
where \(\varphi ^{[k]}_j\in L^\infty (E_j)\), \(1\le j\le m\), and
2.2 Higher operator derivatives
In Sect. 1.4 we studied the problem of differentiability of the function \(t\mapsto f(A+tK)\), \(t\in {\mathbb R}\), for self-adjoint operators A and bounded self-adjoint operators K. In this section we are going to consider the problem of the existence of higher derivatives of this map.
In the paper [24] Daletskii and Krein proved that in the case when the self-adjoint operator A is bounded for nice functions f the map \(t\mapsto f(A+tK)\) has m-th derivative and it can be expressed in terms a multiple operator integral whose integrand is a higher order divided difference of f.
Later in [57] the existence of higher operator differences was proved under much less restrictive assumptions.
Definition
For a k times differentiable function f the divided differences \(\mathfrak {D}^k f\) of order k are defined inductively as follows:
if \(k\ge 1\), then
(the definition does not depend on the order of the variables). Note that \(\mathfrak {D}\varphi =\mathfrak {D}^1\varphi \).
The following result was obtained in [57]. To state it, we denote by \(\mathfrak {B}({\mathbb R})\) the space of bounded Borel functions on \({\mathbb R}\) endowed with the norm
Theorem 2.2.1
Let m be a positive integer and let f be a function in the Besov class \(B_{\infty ,1}^m({\mathbb R})\). Then \(\mathfrak {D}_m f\in \underbrace{\mathfrak {B}({\mathbb R})\hat{\otimes }_\mathrm{i}\cdots \hat{\otimes }_\mathrm{i}\mathfrak {B}({\mathbb R})}_{m+1}\) and
Note that the integral projective tensor product of copies of \(\mathfrak {B}({\mathbb R})\) can be defined in the same way as the integral projective tensor product of \(L^\infty \) spaces.
We sketch the proof of Theorem 2.2.1 in the special case \(m=2\). In the general case the proof is the same. Let f be a bounded functions on \({\mathbb R}\) whose Fouriesr transform is a compact subset of \([0,\infty )\). The following identity is an analog of formula (1.4.5):
This is a simplified version of formula (5.6) in [57].
As in Sect. 1.5, it is easy to deduce from (2.2.1) the following estimate
whenever f is a bounded function on \({\mathbb R}\) whose Fourier transform is supported in \([0,\sigma ]\).
The following theorem about the existence of the mth derivative of the function \(t\mapsto f(A_t)\), where \(A_t\mathop {=}\limits ^{\mathrm {def}}A+tK\), was obtained in [57].
Theorem 2.2.2
Let m be a positive integer. Suppose that A is a self-adjoint operator and K is a bounded self-adjoint operator. If \(f\in B_{\infty 1}^m({\mathbb R})\bigcap B_{\infty 1}^1({\mathbb R})\), then the function \(t\mapsto f(A_t)\) has mth derivative that is a bounded operator and
We refer the reader to [57] for the proof.
Remark
Suppose that \(f\in B_{\infty 1}^m({\mathbb R})\), \(m\ge 2\), but f does not necessarily belong to \(B_{\infty 1}^1({\mathbb R})\). In this case we still can define the mth derivative of the function \(t\mapsto f(A_t)\) in the following way. We put
where \(f_n=f*W_n\), see (2.2). Then the series on the right-hand side of (2.2.3) converges absolutely in the norm. With this (natural) definition it can easily happen that the function \(t\mapsto f(A_t)\) can have mth derivative, but not necessarily the first derivative. We refer the reader to [57] for details.
In a similar way one can consider the problem of taking higher operator derivatives for functions of unitary operators. Note that in [57] the formula for the mth derivative of the function \(t\mapsto f(e^{\mathrm{i}tA})U\) has an error. A correct formula is an easy consequence of the results of Section 5 of [4].
Note also that similar results and similar formulae can be obtained for functions of contractions and for functions of dissipative operators, see [4, 9].
2.3 Higher operator differences
In Chapter 1 we have seen that formula (1.2.1) plays a significant role in estimating various norms of the operator differences \(f(A)-f(B)\). In this section we are going to study higher order operator differences
where A and K are self-adjoint operators on Hilbert space. We consider here only bounded self-adjoint operators A and K and refer the reader to [7] for a detailed study of the case when A is an unbounded self-adjoint operators.
As in the case of operator differences, an essential role is played by integral formulae for higher operator differences. In [5] it was shown that higher operator differences can be represented in terms of multiple operator integrals. This allowed one to obtain analogs of the results discussed in Chapter 1 for higher operator differences.
Recall that for functions f in the Besov class \(B_{\infty ,1}^m({\mathbb R})\), the divided difference \(\mathfrak {D}^m f\) of order m belongs to the integral projective product \(\underbrace{\mathfrak {B}({\mathbb R})\hat{\otimes }_\mathrm{i}\cdots \hat{\otimes }_\mathrm{i}\mathfrak {B}({\mathbb R})}_{m+1}\). The following formula was obtained in [5].
Theorem 2.3.1
Let \(f\in B_{\infty ,1}^m({\mathbb R})\) and let A and K be bounded self-adjoint operators on Hilbert space. Then
Let us prove Theorem 2.3.1 in the special case \(m=2\).
Proof
Let \(f\in B_{\infty ,1}^2({\mathbb R})\). We should prove the following formula:
Put \(T=f(A+K)-2f(A)+f(A-K)\). By (1.2.1),
We have
Similarly,
Thus
\(\square \)
The proof of the following result obtained in [5] is similar to the proof of Theorem 1.7.1.
Theorem 2.3.2
Let \(0<\alpha <m\) and let \(f\in \Lambda _\alpha ({\mathbb R})\). Then there exists a constant \(c>0\) such that for every self-adjoint operators A and K on Hilbert space the following inequality holds:
In particular, in the case \(\alpha =1\), Theorem 2.3.2 means the following: let f be a function in the Zygmund class \(\Lambda _1({\mathbb R})\), i.e., f is a continuos function on \({\mathbb R}\) such that
then
We refer the reader to [5] for an analog of Theorem 1.7.2 for higher order moduli of continuity.
To conclude this section, we also mention that the results of Sect. 1.8 were generalized in [6] to the case higher order operator differences. We state here the following result whose proved can be found in [6].
Theorem 2.3.3
Let \(\alpha >0\), \(m-1\le \alpha <m\), and \(m<p<\infty \). There exists a positive number c such that for every \(f\in \Lambda _\alpha ({\mathbb R})\), for an arbitrary self-adjoint operator A, and an arbitrary self-adjoint operator K of class \({\varvec{S}}_p\), the following inequality holds:
Note also that similar results hold for functions of unitary operators, functions of contractions and functions of dissipative operators, see [5, 6, 9].
2.4 Trace formulae for perturbations of class \(\mathbf{S}_m\), \(m\ge 2\)
In Sect. 1.6 we have considered the Lifshits–Krein trace formula for \(f(A)-f(B)\) in the case when B is a trace class perturbation of A. In [41] Koplienko considered the case of Hilbert–Schmidt perturbations and he found a trace formula for the second order Taylor approximation
Here A is a self-adjoint operator, K is a self-adjoint operator of class \({\varvec{S}}_2\) and \(\eta \) is a function in \(L^1\) that is determined by A and K. It is called the spectral shift function of order 2. In [41] formula (2.4.1) was proved for rational functions with poles off \({\mathbb R}\).
Formula (2.4.1) was generalized in [56] to the case when f is an arbitrary function in the Besov class \(B_{\infty ,1}^2({\mathbb R})\).
In [62] the authors considered the more general problem of perturbation of class \({\varvec{S}}_m\), where m is an arbitrary positive integer and they obtained the following trace formula for the Taylor approximation \({\mathscr {T}}^{(m)}_{A,K}f\) of order m:
They proved in [62] that there is a unique function \(\eta _m\) in \(L^1\) that depends only on A, K and m such that
for functions f on \({\mathbb R}\) such that the derivatives \(f^{(j)}\) are Fourier transforms of \(L^1\) functions for \(1\le j\le m\). The function \(\eta _m\) is called the spectral shift function of order m.
The results of [62] were improved in [10]. First, formula (2.4.2) was extended for arbitrary functions f in the Besov class \(B_{\infty ,1}^m({\mathbb R})\). Secondly, much more general trace formulae for perturbations of class \({\varvec{S}}_m\) we obtained in [10].
It was shown in [10] that the Taylor approximation admits the following representation in terms of the multiple operator integral:
Here A is a self-adjoint operator, K is a self-adjoint operator of class \({\varvec{S}}_1\) and \(f\in B_{\infty ,1}^m({\mathbb R})\). In this formula by \({\mathscr {T}}^{(m)}_{A,K}f\) we mean
where as usual \(f_n=f*W_n\), see (2.2).
To establish formula (2.4.2), the authors of [62] proved the following inequality:
for functions f whose derivatives \(f^{(j)}\), \(1\le j\le m\), are Fourier transforms of \(L^1\) functions. Here \(A_t\mathop {=}\limits ^{\mathrm {def}}A+tK\).
To prove that formula (2.4.2) holds for arbitrary functions f in \(B_{\infty ,1}^m({\mathbb R})\), we have to extend inequality (2.4.3) to the class \(B_{\infty ,1}^m({\mathbb R})\). Recall that for \(f\in B_{\infty ,1}^m({\mathbb R})\), by the mth derivative of the functions \(t\mapsto f(A_t)\), we mean
Theorem 2.4.1
Let \(f\in B_{\infty 1}^m({\mathbb R})\) and \(K\in {\varvec{S}}_m\). Then
Note that the proof of Theorem 2.4.1 given in [10] contains an inaccuracy. We give here a corrected proof.
Proof
As before, it suffices to consider the case when f is a bounded function on \({\mathbb R}\) whose Fourier transform has compact support in \((0,\infty )\). By Theorem 2.2.2, we have
For simplicity we assume that \(m=2\). In the general case the proof is the same. Recall formula (2.2.1):
Thus
Let \(\omega \) be a function in \(C^\infty ({\mathbb R})\) such that \(\omega (0)=1\) and \({\mathscr {F}}\omega \) is a nonnegative infinitely differentiable function with compact support. For \(\varepsilon >0\), we put \(f_\varepsilon (x)\mathop {=}\limits ^{\mathrm {def}}\omega (\varepsilon x)f(x)\). Then \({\text {supp}}{\mathscr {F}}f_\varepsilon \) is a compact and
Hence, by Theorem 2.1 of [62],
It is easy to see that
where C depends only on \(\Phi \). Moreover, \({\text {supp}}{\mathscr {F}}f_\varepsilon \) is a compact subset of \((0,\infty )\) for sufficiently small \(\varepsilon \). It follows that
By the spectral theorem,
in the strong operator topology. Thus
in the norm of \({\varvec{S}}_1\). It follows that
in the norm of \({\varvec{S}}_1\). The same is true about the second and the third integral on the right-hand side of (2.4.5). This proves that
in the norm of \({\varvec{S}}_1\), and so (2.4.4) holds with \(m=2\). \(\square \)
Note that Theorem 2.4.1 was used in [10] to obtain considerably more general trace formulae. In particular trace formulae were found for
Chapter 3
Triple operator integrals, Haagerup(-like) tensor products and functions of noncommuting operators
In this chapter we deal with triple operator integrals and we apply triple operator integrals to estimates of functions of perturbed noncommuting pairs of self-adjoint operators. It turns out that for this purpose it is not enough to consider triple operator integral whose integrands belong to the (integral) projective tensor product of \(L^\infty \) spaces. In [33] multiple operator integrals were defined for functions that belong to the Haagerup tensor product of \(L^\infty \) spaces. We define triple operator integrals for functions in the Haagerup tensor product in Sect. 3.2. However, for our purpose we have to modify the notion of the Haagerup tensor product. We define in Sect. 3.2 Haagerup-like tensor products of the first kind and of the second kind. We are going to use the following representation of \(f(A_1,B_1)-f(A_2,B_2)\) in terms of triple operator integrals:
where the divided differences \(\mathfrak {D}^{[1]}f\) and \(\mathfrak {D}^{[2]}f\) are defined by
Here f is a function in the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\) and \((A_1,B_1)\) and \((A_2,B_2)\) are pairs of (not necessarily commuting) self-adjoint operators.
It turns out that the divided differences do not have to belong to the integral projective tensor product of the \(L^\infty \) spaces. That is why we have to consider triple operator integrals defined for other classes of functions. In Sect. 3.2 we define the Haagerup tensor product of \(L^\infty \) spaces and triple operator integrals for such functions. It turned out, however, that the divided differences do not have to belong to the Haagerup tensor product. To overcome the problems, we introduce in Sect. 3.2 Haagerup-like tensor products of the first kind and of the second kind. We will see in Sect. 3.5 that for functions f in \(B_{\infty ,1}^1({\mathbb R}^2)\), the divided difference \(\mathfrak {D}^{[1]}f\) belongs to the Haagerup-like tensor product of the first kind, while the divided difference \(\mathfrak {D}^{[2]}f\) belongs to the Haagerup-like tensor product of the second kind.
We obtain in Sect. 3.6 Lipschitz type estimates for functions of noncommuting self-adjoint operators in the norm of \({\varvec{S}}_p\) with \(p\in [1,2]\). It turns out that such Lipschitz type estimates in the norm of \({\varvec{S}}_p\) for \(p>2\) and in the operator norm do not hold.
Finally, we use in Sect. 3.8 triple operator integrals with integrands in Haagerup-like tensor products to estimates trace norms of commutators of functions of almost commuting operators.
In the first section of this chapter we define functions of noncommuting self-adjoint operators.
3.1 Functions of noncommuting self-adjoint operators
Let A and B be self-adjoint operators on Hilbert space and let \(E_A\) and \(E_B\) be their spectral measures. Suppose that f is a function of two variables that is defined at least on \(\sigma (A)\times \sigma (B)\), where \(\sigma (A)\) and \(\sigma (B)\) are the spectra of A and B. If f is a Schur multiplier with respect to the pair \((E_A,E_B)\), we define the function f(A, B) of A and B by
Note that the map \(f\mapsto f(A,B)\) is linear, but not multiplicative.
If we consider functions of bounded operators, without loss of generality we may deal with periodic functions with a sufficiently large period. Clearly, we can rescale the problem and assume that our functions are \(2\pi \)-periodic in each variable.
If f is a trigonometric polynomial of degree N, we can represent f in the form
Thus f belongs to the projective tensor product \(L^\infty \hat{\otimes }L^\infty \) and
It follows easily from (2.7) that every periodic function f on \({\mathbb R}^2\) of Besov class \(B_{\infty 1}^1\) of periodic functions belongs to \(L^\infty \hat{\otimes }L^\infty \), and so the operator f(A, B) is well defined by (3.1.1).
Note that the above definitions of functions of noncommuting operators is related to the Maslov theory, see [44]. If A and B are self-adjoint operators, we can consider the transformer \({\mathscr {L}}_A\) of left multiplication by A and the transformer \({\mathscr {R}}_B\) of right multiplication by B:
Clearly, the transformers \({\mathscr {L}}_A\) and \({\mathscr {R}}_B\) commute.
We can consider the transformers \({\mathscr {L}}_A\) and \({\mathscr {R}}_B\) defined on the Hilbert–Schmidt class \({\varvec{S}}_2\). In this case they are commuting self-adjoint operators on \({\varvec{S}}_2\) and the spectral theorem allows us to define functions \(f({\mathscr {L}}_A,{\mathscr {R}}_B)\) for all bounded Borel functions f on \({\mathbb R}^2\).
If our Hilbert space is finite-dimensional, the definition of f(A, B) given by (3.1.1) is equivalent to the following one:
where I is the identity operator, and so the definition of functions of noncommuting operators can be reduced to the functional calculus for the commuting self-adjoint operators on the Hilbert–Schmidt class.
If our Hilbert space \({\mathscr {H}}\) is infinite-dimensional, we cannot apply \(f({\mathscr {L}}_A,{\mathscr {R}}_B)\) to the identity operator, which does not belong to the Hilbert–Schmidt class. In this case we can consider the transformers \({\mathscr {L}}_A\) and \({\mathscr {R}}_B\) as commuting bounded linear operators on the space \(\mathcal {B}({\mathscr {H}})\) of bounded linear operators on \({\mathscr {H}}\). However, since \(\mathcal {B}({\mathscr {H}})\) is not a Hilbert space and we cannot use the spectral theorem to define functions of \({\mathscr {L}}_A\) and \({\mathscr {R}}_B\). Nevertheless, if f is a sufficiently nice function, we can define \(f({\mathscr {L}}_A,{\mathscr {R}}_B)\), in which case the functions f(A, B) defined by (3.1.1) coincide with \(f({\mathscr {L}}_A,{\mathscr {R}}_B)I\).
3.2 Haagerup tensor products and triple operator integrals
We proceed now to the approach to multiple operator integrals based on the Haagerup tensor product of \(L^\infty \) spaces. We refer the reader to the book [60] for detailed information about Haagerup tensor products of operator spaces. The Haagerup tensor product \(L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\otimes _\mathrm{h}L^\infty (E_3)\) of \(L^\infty \) spaces is defined as the space of functions \(\Psi \) of the form
where \(\alpha _j\), \(\beta _{jk}\), and \(\gamma _k\) are measurable functions such that
where \({\mathcal {B}}\) is the space of matrices that induce bounded linear operators on \(\ell ^2\) and this space is equipped with the operator norm. In other words,
and
The norm of \(\Psi \) in \(L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \) is, by definition, the infimum of
over all representations of \(\Psi \) of the form (3.2.1).
It is well known that \(L^\infty \hat{\otimes }L^\infty \hat{\otimes }L^\infty \subset L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \). Indeed, suppose that \(\Psi \) admits a representation
with
Without loss of generality we may assume
We define \(\alpha _j\), \(\beta _{j,k}\) and \(\gamma _k\) by
and
Clearly, (3.2.1) holds,
and
In [33] multiple operator integrals were defined for functions in the Haagerup tensor product of \(L^\infty \) spaces. Suppose that \(\Psi \) has a representation of the form (3.2.1) and (3.2.2) holds and suppose that T and R are bounded linear operators on Hilbert space. Then the triple operator integral
can be defined in the following way.
Consider the spectral measure \(E_2\). It is defined on a \(\sigma \)-algebra \(\Sigma \) of subsets of \({\mathscr {X}}_2\). We can represent our Hilbert space \({\mathscr {H}}\) as the direct integral
associated with \(E_2\). Here \(\mu \) is a finite measure on \({\mathscr {X}}_2\), \(x\mapsto \mathscr {G}(x)\), is a measurable Hilbert family. The Hilbert space \({\mathscr {H}}\) consists of measurable functions f such that \(f(x)\in \mathscr {G}(x)\), \(x\in {\mathscr {X}}_2\), and
Finally, for \(\Delta \in \Sigma \), \(E(\Delta )\) is multiplication by the characteristic function of \(\Delta \). We refer the reader to [21], Ch. 7 for an introduction to direct integrals of Hilbert spaces.
Suppose that \(\Psi \) belongs to the Haagerup tensor product \(L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \) and (3.2.1) holds. The triple operator integral (3.2.3) is defined by
Let us show that the series on the right converges in the weak operator topology. Let f and g be vectors in \({\mathscr {H}}\). Put
We consider the vectors \(v_j\) and \(u_k\) as elements of the direct integral (3.2.4), i.e., vector functions on \({\mathscr {X}}_2\).
We have
Keeping (3.2.6) in mind, we see that the last expression is equal to
By properties of integrals with respect to spectral measures,
Similarly,
This implies that
It follows that the series in (3.2.5) converges absolutely in the weak operator topology.
The above inequalities show that
Note that the triple operator integral is well defined by (3.2.5), i.e., the sum of the series in (3.2.5) does not depend on the choice of a representation (3.2.1), see [3, 33].
It is easy to verify that if \(\Psi \) is a function that belongs to the projective tensor product \(L^\infty (E_1)\hat{\otimes }L^\infty (E_2)\hat{\otimes }L^\infty (E_3)\), then the above definition coincides with the definition of the triple operator integral given in Chapter 2.
It turns out, however, that unlike in the case when the integrand belongs to the projective tensor product \(L^\infty \hat{\otimes }L^\infty \hat{\otimes }L^\infty \) (see Theorem 2.1.3), triple operator integrals with integrands in the Haagerup tensor product \(L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \) do not possess the property
with \(p<2\); this will be established in Sect. 3.8. We will see in Sect. 3.3 that for integrands \(\Psi \) in \(L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \),
We do not know whether this can be true if \(1/p+1/q>1/2\).
3.3 Schatten–von Neumann properties
In this section we study Schatten–von Nemann properties of triple operator integrals with integrands in the Haagerup tensor product \(L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \). First, we consider the case when one of the operators is bounded and the other one belongs to the Hilbert–Schmidt class. Then we use an interpolation theorem for bilinear operators to consider a more general situation.
The following result was established in [1] and its detailed proof was published in [3].
Theorem 3.3.1
Let \(E_1\), \(E_2\), and \(E_3\) be spectral measures on Hilbert space and let \(\Phi \) be a function in the Haagerup tensor product \(L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\otimes _\mathrm{h}L^\infty (E_3)\). Suppose that T is a bounded linear operator and R is an operator that belongs to the Hilbert–Schmidt class \({\varvec{S}}_2\). Then
and
It is easy to see that Theorem 3.3.1 implies the following fact:
Corollary 3.3.2
Let \(E_1\), \(E_2\), \(E_3\), and \(\Psi \) satisfy the hypotheses of Theorem 3.3.1. If T is a Hilbert–Schmidt operator and R is a bounded linear operator, then the operator W defined by (3.3.1) belongs to \({\varvec{S}}_2\) and
Clearly, to deduce Corollary 3.3.2 from Theorem 3.3.1, it suffices to consider the adjoint operator \(W^*\).
Proof of Theorem 3.3.1
For simplicity we consider the case when \(E_3\) is a discrete spectral measure and we refer the reader to [3] for the general case. Under this assumption, there exists an orthonormal basis \(\{e_m\}_{m\ge 0}\), the spectral measure \(E_3\) is defined on the \(\sigma \)-algebra of all subsets of \({\mathbb Z}_+\), and \(E_3(\{m\})\) is the orthogonal projection onto the one-dimensional space spanned by \(e_m\). In this case the function \(\Psi \) has the form
where
and
Then
We have
where
Here \({\mathscr {E}}_m\) is the spectral measure defined on the one point set \(\{m\}\) and the function \(\Psi _m\) is defined on \({\mathscr {X}}_1\times {\mathscr {X}}_2\times \{m\}\) by
It is easy to see that
It follows now from (3.2.7) that
and by (3.3.3), we obtain
It follows that \(W\in {\varvec{S}}_2\) and inequality (3.3.2) holds. \(\square \)
We are going to use Theorem 4.4.1 from [16] on complex interpolation of bilinear operators. Recall that the Schatten–von Neumann classes \({\varvec{S}}_p\), \(p\ge 1\), and the space of bounded linear operators \({\mathcal {B}}({\mathscr {H}})\) form a complex interpolation scale:
This fact is well known. For example, it follows from Theorem 13.1 of Chapter III of [32].
The following result was established in [1] and its proof was published in [3].
Theorem 3.3.3
Let \(\Psi \in L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\otimes _\mathrm{h}L^\infty (E_3)\). Then the following holds:
-
(i)
if \(p\ge 2\), \(T\in {\mathscr {B}}({\mathscr {H}})\), and \(R\in {\varvec{S}}_p\), then the triple operator integral in (3.3.1) belongs to \({\varvec{S}}_p\) and
$$\begin{aligned} \Vert W\Vert _{{\varvec{S}}_p}\le \Vert \Psi \Vert _{L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty } \Vert T\Vert \cdot \Vert R\Vert _{{\varvec{S}}_p}; \end{aligned}$$(3.3.5) -
(ii)
if \(p\ge 2\), \(T\in {\varvec{S}}_p\), and \(R\in {\mathscr {B}}({\mathscr {H}})\), then the triple operator integral in (3.3.1) belongs to \({\varvec{S}}_p\) and
$$\begin{aligned} \Vert W\Vert _{{\varvec{S}}_p}\le \Vert \Psi \Vert _{L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty } \Vert T\Vert _{{\varvec{S}}_p}\Vert R\Vert ; \end{aligned}$$ -
(iii)
if \(1/p+1/q\le 1/2\), \(T\in {\varvec{S}}_p\), and \(R\in {\varvec{S}}_q\), then the triple operator integral in (3.3.1) belongs to \({\varvec{S}}_r\) with \(1/r=1/p+1/q\) and
$$\begin{aligned} \Vert W\Vert _{{\varvec{S}}_r}\le \Vert \Psi \Vert _{L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty } \Vert T\Vert _{{\varvec{S}}_p}\Vert R\Vert _{{\varvec{S}}_q}. \end{aligned}$$
We will see in Sect. 3.8 that neither (i) nor (ii) holds for \(p>2\).
Proof of Theorem 3.3.3
Let us first prove (i). Clearly, to deduce (ii) from (i), it suffices to consider \(W^*\).
Consider the bilinear operator \({\mathscr {W}}\) defined by
By (3.2.7), \({\mathscr {W}}\) maps \(\mathcal {B}({\mathscr {H}})\times \mathcal {B}({\mathscr {H}})\) into \(\mathcal {B}({\mathscr {H}})\) and
On the other hand, by Theorem 3.3.1, \({\mathscr {W}}\) maps \(\mathcal {B}({\mathscr {H}})\times {\varvec{S}}_2\) into \({\varvec{S}}_2\) and
It follows from the complex interpolation theorem for linear operators (see [16], Theorem 4.1.2 that) \({\mathscr {W}}\) maps \(\mathcal {B}({\mathscr {H}})\times {\varvec{S}}_p\), \(p\ge 2\), into \({\varvec{S}}_p\) and
Suppose now that \(1/p+1/q\le 1/2\) and \(1/r=1/p+1/q\). It follows from statements (i) and (ii) (which we have already proved) that \({\mathscr {W}}\) maps \(\mathcal {B}({\mathscr {H}})\times {\varvec{S}}_r\) into \({\varvec{S}}_r\) and \({\varvec{S}}_r\times \mathcal {B}({\mathscr {H}})\) into \({\varvec{S}}_r\), and
It follows from Theorem 4.4.1 of [16] on interpolation of bilinear operators, \({\mathscr {W}}\) maps \((\mathcal {B}({\mathscr {H}}),{\varvec{S}}_r)_{[\theta ]}\times ({\varvec{S}}_r,\mathcal {B}({\mathscr {H}}))_{[\theta ]}\) into \({\varvec{S}}_r\) and
It remains to observe that for \(\theta =r/p\),
which is a consequence of (3.3.4). \(\square \)
3.4 Haagerup-like tensor products and triple operator integrals
As we have mentioned in the introduction to this chapter, we are going to use a representation of \(f(A_1,B_1)-f(A_2,B_2)\) in terms of triple operator integrals that involve the divided differences \(\mathfrak {D}^{[1]}f\) and \(\mathfrak {D}^{[2]}f\). However, we will see in Sect. 3.8 that the divided differences \(\mathfrak {D}^{[1]}f\) and \(\mathfrak {D}^{[2]}f\) do not have to belong to the Haagerup tensor product \(L^\infty \,{\otimes _\mathrm{h}}L^\infty \,{\otimes _\mathrm{h}}L^\infty \) for an arbitrary function f in the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\). In addition to this, representation (3.0.1) involves operators of class \({\varvec{S}}_p\) with \(p\le 2\). However, we will see in Sect. 3.8 that statements (i) and (ii) of Theorem 3.3.3 do not hold for \(p<2\).
This means that we need a new approach to triple operator integrals. In this section we introduce Haagerup-like tensor products and define triple operator integrals whose integrands belong to such Haagerup-like tensor products. Note that the Haagerup-like tensor products were defined in [1, 12], see also [3].
Definition 1
A function \(\Psi \) is said to belong to the Haagerup-like tensor product \(L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\otimes ^\mathrm{h}L^\infty (E_3)\) of the first kind if it admits a representation
with \(\{\alpha _j\}_{j\ge 0},~\{\beta _k\}_{k\ge 0}\in L^\infty (\ell ^2)\) and \(\{\gamma _{jk}\}_{j,k\ge 0}\in L^\infty (\mathcal {B})\). As usual,
the infimum being taken over all representations of the form (3.4.1).
Definition 2
Let \(1\le p\le 2\). For \(\Psi \in L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\otimes ^\mathrm{h}L^\infty (E_3)\), for a bounded linear operator R, and for an operator T of class \({\varvec{S}}_p\), we define the triple operator integral
as the following continuous linear functional on \({\varvec{S}}_{p'}\), \(1/p+1/p'=1\) (on the class of compact operators in the case \(p=1\)):
Clearly, the triple operator integral in (3.4.3) is well defined because the function
belongs to the Haagerup tensor product \(L^\infty (E_2)\otimes _\mathrm{h}L^\infty (E_3)\otimes _\mathrm{h}L^\infty (E_1)\). It follows easily from statement (i) of Theorem 3.3.3 that
(see Theorem 3.4.1).
It is easy to see that in the case when \(\Psi \) belongs to the projective tensor product \(L^\infty (E_1)\hat{\otimes }L^\infty (E_2)\hat{\otimes }L^\infty (E_3)\), the definition of the triple operator integral given above is consistent with the definition of the triple operator integral given in Chapter 2. Indeed, it suffices to verify this for functions \(\Psi \) of the form
in which case the verification is obvious.
We also need triple operator integrals in the case when T is a bounded linear operator and \(R\in {\varvec{S}}_p\), \(1\le p\le 2\).
Definition 3
A function \(\Psi \) is said to belong to the Haagerup-like tensor product \(L^\infty (E_1)\otimes ^\mathrm{h}L^\infty (E_2)\otimes _\mathrm{h}L^\infty (E_3)\) of the second kind if \(\Psi \) admits a representation
where \(\{\beta _j\}_{j\ge 0},~\{\gamma _k\}_{k\ge 0}\in L^\infty (\ell ^2)\), \(\{\alpha _{jk}\}_{j,k\ge 0}\in L^\infty (\mathcal {B})\). The norm of \(\Psi \) in the space \(L^\infty \otimes ^\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \) is defined by
the infimum being taken over all representations of the form (3.4.4).
Definition 4
Suppose now that \(\Psi \in L^\infty (E_1)\otimes ^\mathrm{h}L^\infty (E_2)\otimes _\mathrm{h}L^\infty (E_3)\), T is a bounded linear operator, and \(R\in {\varvec{S}}_p\), \(1\le p\le 2\). The continuous linear functional
on the class \({\varvec{S}}_{p'}\) (on the class of compact operators in the case \(p=1\)) determines an operator W of class \({\varvec{S}}_p\), which we call the triple operator integral
Moreover,
As above, in the case when \(\Psi \in L^\infty (E_1)\hat{\otimes }L^\infty (E_2)\hat{\otimes }L^\infty (E_3)\), the definition of the triple operator integral given above is consistent with the definition of the triple operator integral given in Chapter 2.
The following result can easily be deduced from Theorem 3.3.3, see [3].
Theorem 3.4.1
Let \(\Psi \in L^\infty \otimes _\mathrm{h}L^\infty \otimes ^\mathrm{h}L^\infty \). Suppose that \(T\in {\varvec{S}}_p\) and \(R\in {\varvec{S}}_q\), where \(1\le p\le 2\) and \(1/p+1/q\le 1\). Then the operator W in (3.4.2) belongs to \({\varvec{S}}_r\), \(1/r=1/p+1/q\), and
If \(T\in {\varvec{S}}_p\), \(1\le p\le 2\), and R is a bounded linear operator, then \(W\in {\varvec{S}}_p\) and
In the same way we can prove the following theorem:
Theorem 3.4.2
Let \(\Psi \in L^\infty \otimes ^\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \). Suppose that \(p\ge 1\), \(1\le q\le 2\), and \(1/p+1/q\le 1\). If \(T\in {\varvec{S}}_p\), \(R\in {\varvec{S}}_q\), then the operator W in (3.4.5) belongs to \({\varvec{S}}_r\), \(1/r=1/p+1/q\), and
If T is a bounded linear operator and \(R\in {\varvec{S}}_p\), \(1\le p\le 2\), then \(W\in {\varvec{S}}_p\) and
3.5 Conditions for \({\varvec{\mathfrak {D}^{[1]}f}}\) and \({\varvec{\mathfrak {D}^{[2]}f}}\) to be in Haagerup-like tensor products
As we have already mentioned before, for functions f in \(B_{\infty ,1}^1({\mathbb R}^2)\), the divided differences \(\mathfrak {D}^{[1]}f\) and \(\mathfrak {D}^{[2]}f\),
do not have to belong to the Haagerup tensor product \(L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \). This will be seen in Sect. 3.8.
In this section we will see that for \(f\in B_{\infty ,1}^1({\mathbb R}^2)\), the divided difference \(\mathfrak {D}^{[1]}f\) belongs to the tensor product \(L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\otimes ^\mathrm{h}L^\infty (E_3)\), while the divided difference \(\mathfrak {D}^{[2]}f\) belongs to the tensor product \(L^\infty (E_1)\otimes ^\mathrm{h}L^\infty (E_2)\otimes _\mathrm{h}L^\infty (E_3)\) for arbitrary Borel spectral measures \(E_1\), \(E_2\), and \(E_3\) on \({\mathbb R}\).
This will allow us to prove in the next section that if \((A_1,B_1)\) and \((A_2,B_2)\) are pairs of self-adjoint operators on Hilbert space, \((A_2,B_2)\) is an \({\varvec{S}}_p\) perturbation of \((A_1,B_1)\), \(1\le p\le 2\), and \(f\in B_{\infty ,1}^1({\mathbb R}^2)\), then the following integral formula holds:
The following theorem contains a formula that is crucial for our estimates. It was established in [1, 12], its detailed proof was published in [3].
Theorem 3.5.1
Let f be a bounded function on \({\mathbb R}^2\) whose Fourier transform is supported in the ball \(\{\xi \in {\mathbb R}^2:\Vert \xi \Vert \le 1\}\). Then
where for \(j=k\), we assume that
Moreover,
and
Formula (3.5.1) can be deduced from Lemma 1.9.2, see [3] for details, identities (3.5.2) are well-known, see, e.g., [65], 3.3.2, Example IV.
To estimate the operator norm of the matrix
we represent this matrix as the sum of the matrices \(C_y=\{c_{jk}(y)\}_{j,k\in {\mathbb Z}}\) and \(D_y=\{d_{jk}(y)\}_{j,k\in {\mathbb Z}}\), where
It is easy to see that \(C_y\) is the commutator of the discrete Hilbert transform \({\mathcal H}_\mathrm{d}\) and an operator of multiplication by a bounded sequence on \(\ell ^2\) and \(\Vert C_y\Vert \le {\text {const}}\,\Vert f\Vert _{L^\infty ({\mathbb R}^2)}\).
On the other hand,
by Bernstein’s inequality. This completes the proof of (3.5.3).
We refer the reader to [3] for details.
The following result can be deduced easily from Theorem 3.5.1, see [3].
Corollary 3.5.2
Let f be a bounded function on \({\mathbb R}^2\) such that its Fourier transform is supported in \(\{\xi \in {\mathbb R}^2:\Vert \xi \Vert \le \sigma \}\), \(\sigma >0\). Then the divided differences \(\mathfrak {D}^{[1]}f\) and \(\mathfrak {D}^{[2]}f\) have the following properties:
for arbitrary Borel spectral measures \(E_1\), \(E_2\) and \(E_3\). Moreover,
and
Corollary 3.5.2 implies in turn the following theorem that was established in [6].
Theorem 3.5.3
Let \(f\in B_{\infty ,1}^1({\mathbb R}^2)\). Then
for arbitrary Borel spectral measures \(E_1\), \(E_2\) and \(E_3\). Moreover,
and
3.6 Lipschitz type estimates in the case \(1\le p\le 2\)
In this section we discuss the results announced in [1, 2] whose detailed proofs were given in [3].
We will see in this section that for functions f in the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\), we have a Lipschitz type estimate for functions of noncommuting self-adjoint operators in the norm of \({\varvec{S}}_p\) with \(p\in [1,2]\).
The following integral formula plays an important role.
Theorem 3.6.1
Let \(f\in B_{\infty ,1}^1({\mathbb R}^2)\) and \(1\le p\le 2\). Suppose that \((A_1,B_1)\) and \((A_2,B_2)\) are pairs of self-adjoint operators such that \(A_2-A_1\in {\varvec{S}}_p\) and \(B_2-B_1\in {\varvec{S}}_p\). Then the following identity holds:
Note that by Theorem 3.5.3, the divided differences \(\mathfrak {D}^{[1]}f\) and \(\mathfrak {D}^{[2]}f\) belong to the corresponding Haagerup like tensor products, and so the triple operator integrals on the right make sense.
Proof
It suffices to prove that
and
Let us establish (3.6.2). Formula (3.6.3) can be proved in exactly the same way.
Suppose first that the function \(\mathfrak {D}^{[1]}f\) belongs to the projective tensor product \(L^\infty (E_{A_1})\hat{\otimes }L^\infty (E_{A_2})\hat{\otimes }L^\infty (E_{B_1})\). In this case we can write
Note that the above equality does not make sense if \(\mathfrak {D}^{[1]}f\) does not belong to \(L^\infty \hat{\otimes }L^\infty \hat{\otimes }L^\infty \) because the operators \(A_1\) and \(A_2\) do not have to be compact, while the definition of triple operator integrals with integrands in the Haagerup-like tensor product \(L^\infty \otimes _\mathrm{h}L^\infty \otimes ^\mathrm{h}L^\infty \) assumes that the operators \(A_1\) and \(A_2\) belong to \({\varvec{S}}_2\).
It follows immediately from the definition of triple operator integrals with integrands in \(L^\infty \hat{\otimes }L^\infty \hat{\otimes }L^\infty \) that
and
Thus
Consider the functions \(f_n\) defined by \(f_n=f*W_n\), \(n\in {\mathbb Z}\), see (2.2). It is easy to see from the definition of the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\) that to prove (3.6.2), it suffices to show that
As we have mentioned in Sect. 2, the function \(f_n\) is a restriction of an entire function of two variables to \({\mathbb R}\times {\mathbb R}\). Thus it suffices to establish formula (3.6.2) in the case when f is an entire function. To complete the proof, we show that for entire functions f the divided differences \(\mathfrak {D}^{[1]}f\) must belong to the projective tensor product \(L^\infty (E_{A_1})\hat{\otimes }L^\infty (E_{A_2})\hat{\otimes }L^\infty (E_{B_1})\).
Let \(f(x,y)=\sum \nolimits _{j=0}^\infty \Big (\sum \nolimits _{k=0}^\infty a_{jk}x^jy^k\Big )\) be an entire function and let R be a positive number such that the spectra \(\sigma (A_1)\), \(\sigma (A_2)\), and \(\sigma (B)\) are contained in \([-R/2,R/2]\). Clearly,
and
where in the above expressions \(L^\infty \) means \(L^\infty [-R,R]\). This completes the proof. \(\square \)
Theorem 3.6.2
Let \(p\in [1,2]\). Then there is a positive number C such that
whenever \(f\in B_{\infty ,1}^1({\mathbb R}^2)\), and \(A_1\), \(A_2\), \(B_1\), and \(B_2\) are self-adjoint operators such that \(A_2-A_1\in {\varvec{S}}_p\) and \(B_2-B_1\in {\varvec{S}}_p\).
Proof
This is an immediate consequence of Theorem 3.6.1 and Theorems 3.4.1 and 3.4.2. \(\square \)
Remark
We have defined functions f(A, B) for f in \(B_{\infty ,1}^1({\mathbb R}^2)\) only for bounded self-adjoint operators A and B. However, formula (3.6.1) allows us to define the difference \(f(A_1,B_1)-f(A_2,B_2)\) in the case when \(f\in B_{\infty ,1}^1({\mathbb R}^2)\) and the self-adjoint operators \(A_1,\,A_2,\,B_1,\,B_2\) are possibly unbounded once we know that the pair \((A_2,B_2)\) is an \({\varvec{S}}_p\) perturbation of the pair \((A_1,B_1)\), \(1\le p\le 2\). Moreover, inequality (3.6.4) also holds for such operators.
Note that similar results for functions of unitary operators were obtained in [3] as well.
3.7 Lipschitz type estimates cannot be extended beyond \({p\le 2}\)
It was shown in [2, 3] that there is no Lipschitz type inequality of the form (3.6.2) in the norm of \({\varvec{S}}_p\) with \(p>2\) and in the operator norm for an arbitrary function f in \(B_{\infty ,1}^1({\mathbb R}^2)\). In this section we give the construction of [3].
Theorem 3.7.1
-
(i)
There is no positive number M such that
$$\begin{aligned} \Vert f(A_1,B)-f(A_2,B)\Vert \le M\Vert f\Vert _{L^\infty ({\mathbb R}^2)}\Vert A_1-A_2\Vert \end{aligned}$$for all bounded functions f on \({\mathbb R}^2\) with Fourier transform supported in \([-2\pi ,2\pi ]^2\) and for all finite rank self-adjoint operators \(A_1,\,A_2,\,B\).
-
(ii)
Let \(p>2\). Then there is no positive number M such that
$$\begin{aligned} \Vert f(A_1,B)-f(A_2,B)\Vert _{{\varvec{S}}_p}\le M\Vert f\Vert _{L^\infty ({\mathbb R}^2)}\Vert A_1-A_2\Vert _{{\varvec{S}}_p} \end{aligned}$$for all bounded functions f on \({\mathbb R}^2\) with Fourier transform supported in \([-2\pi ,2\pi ]^2\) and for all finite rank self-adjoint operators \(A_1,\,A_2,\,B\).
Proof
Let us first prove (ii). Let \(\{g_j\}_{1\le j\le N}\) and \(\{h_j\}_{1\le j\le N}\) be orthonormal systems in Hilbert space. Consider the rank one projections \(P_j\) and \(Q_j\) defined by
We define the self-adjoint operators \(A_1\), \(A_2\), and B by
Then \(\Vert A_1-A_2\Vert _{{\varvec{S}}_p}=N^{\frac{1}{p}}\). Put
Clearly, \({\text {supp}}{\mathscr {F}}\varphi \subset [-2\pi ,2\pi ]\), \(\varphi (k)=0\) for all \(k\in {\mathbb Z}\) such that \(k\ne 0\), \(\varphi (0)=1\). Put \(\varphi _k(x)=\varphi (x-k)\). Given a matrix \(\{\tau _{jk}\}_{1\le j,k\le N}\), we define the function f by
It is easy to see that \(\varphi _{2j}(A_1)=P_j\), \(\varphi _{2j}(A_2)=0\), \(\varphi _k(B)=Q_k\) provided \(1\le j,k\le N\), and
Clearly,
Note that
Clearly, for every unitary matrix \(\{u_{jk}\}_{1\le j,k\le N}\), there exist orthonormal systems \(\{g_j\}_{1\le j\le N}\) and \(\{h_j\}_{1\le j\le N}\) such that \((h_k,g_j)=u_{jk}\). Put
Obviously, \(\{u_{jk}\}_{1\le j,k\le N}\) is a unitary matrix. Hence, we may find vectors \(\{g_j\}_{j=1}^N\) and \(\{h_j\}_{j=1}^N\) such that \((h_k,g_j)=u_{jk}\). Put \(\tau _{jk}=\sqrt{N} \,\,\overline{u}_{jk}\). Then
because \({\text {rank}}\{|u_{jk}|\}_{1\le j,k\le N}=1\). So for each positive integer N, we have constructed a function f and operators \(A_1\), \(A_2\), B such that \(|f|\le {\text {const}}\,\), \({\text {supp}}{\mathscr {F}}f\subset [-2\pi ,2\pi ]^2\), \(\Vert A_1-A_2\Vert _{{\varvec{S}}_p}=N^{\frac{1}{p}}\) and \(\Vert f(A_1,B)-f(A_2,B)\Vert _{{\varvec{S}}_p}=\sqrt{N}\). It remains to observe that \(\lim _{N\rightarrow \infty }N^{\frac{1}{2}-\frac{1}{p}}=\infty \) for \(p>2\).
Exactly the same construction works to prove (i). It suffices to replace in the above construction the \({\varvec{S}}_p\) norm with the operator norm and observe that \(\Vert A_1-A_2\Vert =1\) and \(\Vert f(A_1,B)-f(A_2,B)\Vert =\sqrt{N}\). \(\square \)
Theorem 3.7.1 implies that there is no Lipschitz type estimate in the operator norm and in the \(S_p\) norm with \(p>2\). Note that in the construction given in the proof the norms of \(A_1-A_2\) cannot get small. The following result shows that we can easily overcome this problem.
Theorem 3.7.2
There exist a sequence \(\{f_n\}_{n\ge 0}\) of functions in \(B_{\infty ,1}^1({\mathbb R}^2)\) and sequences of self-adjoint finite rank operators \(\big \{A_1^{(n)}\big \}_{n\ge 0}\), \(\big \{A_2^{(n)}\big \}_{n\ge 0}\), and \(\big \{B^{(n)}\big \}_{n\ge 0}\) such that the norms \(\Vert f_n\Vert _{B_{\infty ,1}^1}\) do not depend on n,
The same is true in the norm of \({\varvec{S}}_p\) for \(p>2\).
Proof
The existence of such sequences can be obtained easily from the construction in the proof of Theorem 3.7.1. It suffices to make the following observation. Let f, \(A_1\), \(A_2\) and B be as in the proof of Theorem 3.7.1 and let \(\varepsilon >0\). Put \(f_\varepsilon (x,y)\mathop {=}\limits ^{\mathrm {def}}\varepsilon f\big (\frac{x}{\varepsilon },\frac{y}{\varepsilon }\big )\). Then
If \(p>2\), then
\(\square \)
Remark
The construction given in the proof of Theorem 3.7.1 shows that for every positive number M there exist a function f on \({\mathbb R}^2\) whose Fourier transform is supported in \([-2\pi ,2\pi ]^2\) such that \(\Vert f\Vert _{L^\infty ({\mathbb R})}\le {\text {const}}\,\) and self-adjoint operators of finite rank \(A_1\), \(A_2\), B such that \(\Vert A_1-A_2\Vert =1\), but \(\Vert f(A_1,B)-f(A_2,B)\Vert >M\). It follows that unlike in the case of commuting self-adjoint operators (see [13]), the fact that f is a Hölder function of order \(\alpha \in (0,1)\) on \({\mathbb R}^2\) does not imply the Hölder type estimate
3.8 Counterexamples
We use the results of the previous section to show that statements (i) and (ii) of Theorem 3.3.3 do not hold for \(p\in [1,2)\). We also deduce from the results of Sect. 3.7 that the divided differences \(\mathfrak {D}^{[1]}f\) and \(\mathfrak {D}^{[2]}f\) do not have to belong to the Haagerup tensor product \(L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \) for an arbitrary function f in \(B_{\infty ,1}^1({\mathbb R}^2)\). The results of this sections were obtained in [4–6].
Theorem 3.8.1
Let \(1\le p<2\). There exist an operator Q in \({\varvec{S}}_p\), spectral measures \(E_1\), \(E_2\) and \(E_3\) on Borel subsets of \({\mathbb R}\) and a function \(\Phi \) in the Haagerup tensor product \(L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\otimes _\mathrm{h}L^\infty (E_3)\) and an operator Q in \({\varvec{S}}_p\) such that
Proof
Assume the contrary. Then the linear operator
is bounded on \({\varvec{S}}_p\) for arbitrary Borel spectral measures \(E_1\), \(E_2\), and \(E_3\) and for an arbitrary function \(\Phi \) in \(L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\otimes _\mathrm{h}L^\infty (E_3)\). Suppose now that \(\Psi \) belongs to the Haagerup-like tensor product \(L^\infty (E_1)\otimes _\mathrm{h}L^\infty (E_2)\otimes ^\mathrm{h}L^\infty (E_3)\) of the first kind. For a finite rank operator T consider the triple operator integral
We define the function \(\Phi \) defined by
Let \(Q\in {\varvec{S}}_p\). We have
(see the definition of triple operator integrals with integrands in the Haagerup-like tensor product of the first kind in Sect. 3.2).
Thus
(throughout the proof of this theorem in the case \(p=1\), the norm in \({\varvec{S}}_{p'}\) has to be replaced with the operator norm).
It follows that
By Theorem 3.5.3, \(\mathfrak {D}^{[1]}f\in L^\infty \otimes _\mathrm{h}L^\infty \otimes ^\mathrm{h}L^\infty \) for every f in \(B_{\infty ,1}^1({\mathbb R}^2)\) and by (3.6.2),
for arbitrary finite rank self-adjoint operators \(A_1\), \(A_2\), and B. It remains to observe that by inequality (3.8.1),
which contradicts Theorem 3.7.2. \(\square \)
If we pass to the adjoint operator, we can see that for \(p\in [1,2)\), there exist a function \(\Psi \) in the Haagerup tensor product \(L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \) and an operator Q in \({\varvec{S}}_p\) such that
The following application of Theorem 3.7.2 shows that for functions f in \(B_{\infty ,1}^1({\mathbb R}^2)\), the divided differences \(\mathfrak {D}^{[1]}f\) and \(\mathfrak {D}^{[2]}f\) do not have to belong to the Haagerup tensor product \(L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \). We state the result for \(\mathfrak {D}^{[1]}f\).
Theorem 3.8.2
There exists a function f in the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\) such that the divided difference \(\mathfrak {D}^{[1]}f\) does not belong to \(L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \).
Proof
Assume the contrary. Then the map
is a bounded linear operator from \(B_{\infty ,1}^1({\mathbb R}^2)\) to \(L^\infty \otimes _\mathrm{h}L^\infty \otimes _\mathrm{h}L^\infty \).
By (3.6.2),
for arbitrary finite rank self-adjoint operators \(A_1\), \(A_2\), and B. It follows now from inequality (3.2.7) that
which contradicts Theorem 3.7.2. \(\square \)
3.9 Functions of almost commuting operators, an extension of the Helton–Howe trace formula
Operators A and B are called almost commuting if the commutator
belongs to \({\varvec{S}}_1\). In [31] the following trace formula was discovered:
where A and B are almost commuting self-adjoint operators, \(\varphi \) and \(\psi \) are polynomials and g is the Pincus principal function which is uniquely determined by A and B and which was introduced in [59].
The problem considered in [54] was to extend the Helton–Howe trace formula for a reasonably big class of functions. It was shown in [54] that under natural assumptions it is impossible to extend formula (3.9.1) to the class of all continuously differentiable functions. On the other hand, a sufficiently big class of functions \(\mathcal {C}\) was such that formula (3.9.1) holds for all functions \(\varphi \) and \(\psi \) in \(\mathcal {C}\).
In the paper [12] it was proved that formula (3.9.1) admits an extension to arbitrary functions \(\varphi \) and \(\psi \) in the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\) which considerably improved the sufficient condition \(\varphi ,\,\psi \in \mathcal {C}\) found in [54]. The main tools used in [12] are Haagerup-like tensor products and triple operator integrals.
The following results were obtained in [12].
Theorem 3.9.1
Let A and B be self-adjoint operators and let Q be a bounded linear operator such that \([A,Q]\in {\varvec{S}}_1\) and \([B,Q]\in {\varvec{S}}_1\). Suppose that \(\varphi \in B_{\infty ,1}^1({\mathbb R}^2)\). Then \(\big [\varphi (A,B),Q\big ]\in {\varvec{S}}_1\),
and
If we apply Theorem 3.9.1 to the operator \(Q=\psi (A,B)\), we obtain the following result:
Theorem 3.9.2
Let A and B be almost commuting self-adjoint operators and let \(\varphi \) and \(\psi \) be functions in the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\). Then
and
Theorem 3.9.2 allows us to extend the Helton–Howe trace formula to functions in the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\).
Theorem 3.9.3
Let A and B be almost commuting self-adjoint operators and let \(\varphi \) and \(\psi \) be functions in the Besov class \(B_{\infty ,1}^1({\mathbb R}^2)\). Then the following formula holds:
where g is the Pincus principal function associated with the operators A and B.
We refer the reader to [12] for more detail.
References
Aleksandrov, A.B., Nazarov, F.L., Peller, V.V.: Functions of perturbed noncommuting self-adjoint operators. C.R. Acad. Sci. Paris, Sér. I 353, 209–214 (2015)
Aleksandrov, A.B., Nazarov, F.L., Peller, V.V.: Triple operator integrals in Schatten-von Neumann norms and functions of perturbed noncommuting operators. C.R. Acad. Sci. Paris, Sér. I 353, 723–728 (2015)
Aleksandrov, A.B., Nazarov, F.L. Peller, V.V.: Functions of noncommuting self-adjoint operators under perturbation and estimates of triple operator integrals, to appear
Aleksandrov, A.B., Peller, V.V.: Functions of perturbed operators. C.R. Acad. Sci. Paris, Sér I 347, 483–488 (2009)
Aleksandrov, A.B., Peller, V.V.: Operator Hölder–Zygmund functions. Advances in Math 224, 910–966 (2010)
Aleksandrov, A.B., Peller, V.V.: Functions of operators under perturbations of class \({\varvec {S}}_p\). J. Funct. Anal. 258, 3675–3724 (2010)
Aleksandrov, A.B., Peller, V.V.: Functions of perturbed unbounded self-adjoint operators. Operator Bernstein type inequalities. Indiana Univ. Math. J. 59(4), 1451–1490 (2010)
Aleksandrov, A.B., Peller, V.V.: Estimates of operator moduli of continuity. J. Funct. Anal. 261, 2741–2796 (2011)
Aleksandrov, A.B., Peller, V.V.: Functions of perturbed dissipative operators. St.Petersburg. Math. J. 23(2), 9–51 (2011)
Aleksandrov, A.B., Peller, V.V.: Trace formulae for perturbations of class \(\varvec {S}_m\). J. Spectral Theory 1, 1–26 (2011)
Aleksandrov, A.B., Peller, V.V.: Operator and commutator moduli of continuity for normal operators. Proc. London Math. Soc. (3) 105, 821–851 (2012)
Aleksandrov, A.B., Peller, V.V.: Almost commuting functions of almost commuting self-adjoint operators. C. R. Acad. Sci. Paris, Ser. I 353, 583–588 (2015)
Aleksandrov, A.B., Peller, V.V., Potapov, D., Sukochev, F.: Functions of normal operators under perturbations. Advances in Math 226, 5216–5251 (2011)
Azamov, N.A., Carey, A.L., Dodds, P.G., Sukochev, F.A.: Operator integrals, spectral shift and spectral flow. Canad. J. Math. 61, 241–263 (2009)
Bennett, G.: Schur multipliers. Duke Math. J. 44, 603–639 (1977)
Bergh, J., Löfström, J.: Interpolation spaces. Springer-Verlag, Berlin (1976)
Birman, M.S., Solomyak, M.Z.: Double Stieltjes operator integrals, Problems of Math. Phys., Leningrad. Univ. 1 (1966), 33–67 (Russian). English transl.: Topics Math. Physics 1, : 25–54 . Consultants Bureau Plenum Publishing Corporation, New York (1967)
Birman, M.S., Solomyak, M.Z.: Double Stieltjes operator integrals. II, Problems of Math. Phys., Leningrad. Univ. 2 (1967), 26–60 (Russian). English transl.: Topics Math. Physics 2, : 19–46. Consultants Bureau Plenum Publishing Corporation, New York (1968)
Birman, M.S., Solomyak, M.Z.: Remarks on the spectral shift function, Zapiski Nauchn. Semin. LOMI 27 (1972), 33-46 (Russian). English transl.: J. Soviet Math. 3 (1975), 408-419
Birman, M.S., Solomyak, M.Z.: Double Stieltjes operator integrals. III. Problems of Math. Phys., Leningrad. Univ 6, 27–53 (1973). (Russian)
Birman, M.S., Solomyak, M.Z.: Spectral theory of selfadjoint operators in Hilbert space, Mathematics and its Applications (Soviet Series). D. Reidel Publishing Co., Dordrecht (1987)
Birman, M.S., Solomyak, M.Z.: Tensor product of a finite number of spectral measures is always a spectral measure. Integral Equations Operator Theory 24, 179–187 (1996)
Birman, M.S., Solomyak, M.Z.: Double operator integrals in Hilbert space. Int. Equat. Oper. Theory 47, 131–168 (2003)
Daletskii, Yu.L., Krein, S.G.: Integration and differentiation of functions of Hermitian operators and application to the theory of perturbations (Russian), Trudy Sem. Functsion. Anal., Voronezh. Gos. Univ. 1 (1956), 81-105
Farforovskaya, YuB: The connection of the Kantorovich-Rubinshtein metric for spectral resolutions of selfadjoint operators with functions of operators (Russian). Vestnik Leningrad. Univ. 19, 94–97 (1968)
Farforovskaya, YuB: An example of a Lipschitzian function of selfadjoint operators that yields a nonnuclear increase under a nuclear perturbation. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 30, 146–153 (1972). (Russian)
Farforovskaya, YuB: An estimate of the norm of \(\mid f(B)-f(A)\mid \). Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 56, 143–162 (1976). (Russian)
Farforovskaya, Yu.B.: An estimate of the norm \(\Vert f(A_1,A_2)-f(B_1,B_2)\Vert \) for pairs of selfadjoint commuting operators (Russian), Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 135 (1984), 175-177
Farforovskaya, YuB, Nikolskaya, L.N.: An inequality for commutators of normal operators. Acta Sci. Math. (Szeged) 71, 751–765 (2005)
Farforovskaya, Yu.B., Nikolskaya, L.N.: Operator Hölderness of Hölder functions (Russian), Algebra i Analiz. 22:4 (2010), 198-213. English Transl. in St. Petersburg Math. J. 22 (2011), 657-668
Helton, J.W., Howe, R.: Integral operators: commutators, traces, index, and homology, in “Lecture Notes in Math.”, vol. 345, pp. 141-209, Springer-Verlag, New York, (1973)
Gohberg, I.C., Krein, M.G.: Introduction to the theory of linear nonselfadjoint operators in Hilbert space, Nauka, Moscow, 1965. English transl.: Amer. Math. Soc., Providence, RI, (1969)
Juschenko, K., Todorov, I.G., Turowska, L.: Multidimensional operator multipliers. Trans. Amer. Math. Soc 361, 4683–4720 (2009)
Johnson, B.E., Williams, J.P.: The range of a normal derivation. Pacific J. Math. 58, 105–122 (1975)
Kato, T.: Continuity of the map \(S\mapsto \mid S\mid \) for linear operators. Proc. Japan Acad. 49, 157–160 (1973)
Kissin, E., Potapov, D., Shulman, V.S., Sukochev, F.: Operator smoothness in Schatten norms for functions of several variables: Lipschitz conditions, differentiability and unbounded derivations. Proc. Lond. Math. Soc. (3) 105, 661–702 (2012)
Kissin, E., Shulman, V.S.: Operator-differentiable functions and derivations of operator algebras. Funct. Anal. Appl. 30(4), 75–77 (1996)
Kissin, E., Shulman, V.S.: Classes of operator-smooth functions. I. Proc. Edinb. Math. Soc. (2) 48, 151–173 (2005)
Kissin, E., Shulman, V.S.: Operator multipliers. Pacific J. Math 227, 109–142 (2006)
Kissin, E., Shulman, V.S.: On fully operator Lipschitz functions. J. Funct. Anal. 253, 711–728 (2007)
Koplienko, L.S.: The trace formula for perturbations of nonnuclear type, Sibirsk. Mat. Zh. 25:5 (1984), 62-71 (Russian). English transl.: Sib. Math. J. 25 (1984), 735-743
Krein, M.G.: On a trace formula in perturbation theory. Mat. Sbornik 33, 597–626 (1953). (Russian)
Lifshitz, I.M.: On a problem in perturbation theory connected with quantum statistics. Uspekhi Mat. Nauk 7, 171–180 (1952). (Russian)
Maslov, V.P.: Operator methods (Russian), Nauka, Moscow, (1973). Mir Publishers, Moscow, English Transl. Operational methods (1976)
McIntosh, A.: Counterexample to a question on commutators. Proc. Amer. Math. Soc. 29, 337–340 (1971)
Mityagin, B.S.: Normed ideals of intermediate type. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 28 (1964) 819-832
Nazarov, F.L., Peller, V.V.: Functions of perturbed \(n\)-tuples of commuting self-adjoint operators. J. Funct. Anal. 266, 5398–5428 (2014)
Pavlov, B.S.: On multiple operator integrals, Problems of Math. Anal., No. 2: Linear Operators and Operator Equations (Russian), 99-122. Izdat. Leningrad. Univ., Leningrad, (1969)
Peetre, J.: New thoughts on Besov spaces. Duke Univ. Press, Durham, NC (1976)
Peller, V.V.: Hankel operators of class \({ S}_{p}\) and their applications (rational approximation, Gaussian processes, the problem of majorizing operators), Mat. Sbornik, 113, : 538–581. English Transl. in Math. USSR Sbornik 41(1982), 443–479 (1980)
Peller, V.V.: Hankel operators in the theory of perturbations of unitary and self-adjoint operators, Funktsional. Anal. i Prilozhen. 19:2 (1985), 37-51 (Russian). English transl.: Funct. Anal. Appl. 19 (1985) , 111-123
Peller, V.V.: For which \(f\) does \(A-B\in { S}_{p}\) imply that \(f(A)-f(B)\in { S}_{p}\)? Operator Theory, Birkhäuser 24, 289–294 (1987)
Peller, V.V.: Hankel operators in the perturbation theory of unbounded self-adjoint operators, Analysis and partial differential equations, 529-544, Lecture Notes in Pure and Appl. Math., 122, Marcel Dekker, New York, (1990)
Peller, V.V.: Functional calculus for a pair of almost commuting selfadjoint operators. J. Funct. Anal. 112, 325–245 (1993)
Peller, V.V.: Hankel operators and their applications. Springer-Verlag, New York (2003)
Peller, V.V.: An extension of the Koplienko-Neidhardt trace formulae. J. Funct. Anal. 221, 456–481 (2005)
Peller, V.V.: Multiple operator integrals and higher operator derivatives. J. Funct. Anal. 233, 515–544 (2006)
Peller, V.V.: Differentiability of functions of contractions, In: Linear and complex analysis, AMS Translations, Ser. 2 226 (2009), 109-131, AMS, Providence
Pincus, J.D.: Commutators and systems of singular integral equations. I, Acta Math. 121, 219–249 (1968)
Pisier, G.: Introduction to operator space theory, London Math. Society Lect. Notes series 294, Cambridge University Press, (2003)
Potapov, D., Sukochev, F.: Operator-Lipschitz functions in Schatten-von Neumann classes. Acta Math. 207, 375–389 (2011)
Potapov, D., Skripka, A., Sukochev, F.: Spectral shift function of higher order. Invent. Math. 193, 501–538 (2013)
Rudin, W.: Functional analysis. McGraw Hill, (1991)
Sten’kin, V.V.: Multiple operator integrals. Izv. Vyssh. Uchebn. Zaved. Matematika 4(79), 102–115 (1977). (Russian)
Titchmarsh, E.C.: The theory of functions. Oxford University Press, Oxford (1958)
Triebel, H.: Theory of function spaces, Monographs in Mathematics, 78. Birkhäuser Verlag, Basel (1983)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ari Laptev.
The author is partially supported by NSF Grant DMS 1300924.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Peller, V.V. Multiple operator integrals in perturbation theory. Bull. Math. Sci. 6, 15–88 (2016). https://doi.org/10.1007/s13373-015-0073-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-015-0073-y