arxiv: v1 [math.fa] 15 Mar 2016

Transcription

1 MULTIPLE OPERATOR INTEGRALS, HAAGERUP AND HAAGERUP-LIKE TENSOR PRODUCTS, AND OPERATOR IDEALS arxiv: v1 [math.fa] 15 Mar 2016 A.B. ALEKSANDROV AND V.V. PELLER Abstract. We study Schatten von Neumann properties of multiple operator integrals with integrands in the Haagerup tensor product of L spaces. We obtain sharp, best possible estimates. This allowed us to obtain sharp Schatten von Neumann estimates in the case of Haagerup-like tensor products. Contents 1. Introduction 1 2. An introduction to multiple operator integrals 2 3. Boundedness and Schatten von Neumann properties of multiple operator integrals 6 4. The converse: Theorem 3.1 cannot be improved 9 5. Haagerup-like tensor products and multiple operator integrals 13 References Introduction Double operator integrals have been used in perturbation theory for 60 years. They were introduced by Yu.L. Daletskii and S.G. Krein in [DK], where the authors studied the problem of differentiability of operator functions and found a formula for operator derivatives in terms of double operator integrals. Later Birman and Solomyak developed in [BS1], [BS2], and [BS3] the beautiful theory of double operator integrals and applied their theory to a variety of problems. Since that time double operator integrals were successfully applied in perturbation theory on many occasions (see, e.g., [Pe1], [Pe2], [AP2], [AP3], [APPS], [NP] and [PoS]). It turned out that various problems of perturbation theory lead to multiple operator integrals. Several mathematicians tried to give initions of multiple operator integrals, see [Pa], [St]. However, those initions required very strong restrictions on the classes of functions that can be integrated. In [Pe3] multiple operator integrals were ined for functions that belong to the (integral) projective tensor product of L spaces. Such The first author is partially supported by RFBR grant ; the second author is partially supported by NSF grant DMS Corresponding author: V.V. Peller; peller@math.msu.edu. 1

2 multiple operator integrals were used in the problem of evaluating higher operator derivatives (see [Pe2] and [Pe3]), in estimating higher order operator differences (see [AP1] and [AP2]). They also appeared in a natural way when studying various trace formulae for functions of self-adjoint operators (see [AP3]). Later in [JTT] multiple operator integrals were ined for Haagerup tensor products of L spaces, which is broader that the projective tensor product of L spaces. Nevertheless, it turns out that multiple operator integrals ined for the Haagerup tensor products of L spaces do not possess such natural Schatten von Neumann classes as in the case of projective tensor products. Triple operator integrals played an important role recently in problems of estimating functions of noncommuting self-adjoint and unitary operators, see [ANP1], [ANP2], [ANP3], [AP4] and [AP5]. In those papers new tensor products of L spaces were introduced (so-called Haagerup-like tensor products of the first kind and and Haageruplike tensor products of the second kind) and triple operator integrals were ined for integrands that belong to such Haagerup-like tensor products. Note that in [ANP1], [ANP2], [ANP3], [AP4] and [AP5] it was important to obtain Schatten von Neumann estimates of triple operator integrals with integrands belonging to Haagerup and Haagerup-like tensor products of L spaces. We also mention here the recent survey article [Pe4] on multiple operator integrals in perturbation theory. Note that the anonymous referee of [ANP3] observed that the proof of the theorem on Schatten von Neumann properties of triple operator integrals with integrands in the HaageruptensorproductofL spacescanbesimplifiedandthesimplificationalsoallows one to extend the result of [ANP3] to a broader range of Schatten von Neumann ideals. In this paper we obtain most general results on Schatten von Neuman properties of arbitrary multiple operator integrals with integrands belonging to Haagerup(-like) tensor products of L spaces and prove that these results are best possible. 2. An introduction to multiple operator integrals In this section we recall the inition of triple operator integrals in the case when the integrand belongs to the projective (or integral projective) tensor product of L spaces. Then we proceed to multiple operator integrals with integrands in the Haagerup tensor product of L. Let us first consider, for simplicity, the case of triple operator integrals. Let E 1, E 2, and E 3 be spectral measures on Hilbert space and let T and R bebounded linear operators on Hilbert space. Triple operator integrals are expressions of the following form: Ψ(x 1,x 2,x 3 )de 1 (x 1 )T de 2 (x 2 )RdE 3 (x 3 ). (2.1) X 3 X 1 X 2 Such integrals make sense under certain assumptions on Ψ, T, and R. The function Ψ is called the integrand of the triple operator integral. 2

3 Recall that the projective tensor product L (E 1 )ˆ L (E 2 )ˆ L (E 3 ) can be ined as the class of function Ψ of the form such that Ψ(x 1,x 2,x 3 ) = n ϕ n (x 1 )ψ n (x 2 )χ n (x 3 ) (2.2) ϕ n L (E 1 ) ψ n L (E 2 ) χ n L (E 3 ) <. (2.3) n The norm Ψ L ˆ L ˆ L of Ψ is, by inition, the infimum of the left-hand side of (2.3) over all representations of the form (2.2). For Ψ L (E 1 )ˆ L (E 2 )ˆ L (E 3 ) of the form (2.2) the triple operator integral (2.1) was ined in [Pe3] by Ψ(x 1,x 2,x 3 )de 1 (x 1 )T de 2 (x 2 )RdE 3 (x 3 ) = ( ( ( ) ϕ n de 1 )T ψ n de 2 )R χ n de 3. (2.4) n Clearly, (2.3) implies that the series on the right converges absolutely in the norm. The right-hand side of (2.4) does not depend on the choice of a representation of the form (2.2), see, e.g., [ACDS] and [Pe4]. Clearly, Ψ(x 1,x 2,x 3 )de 1 (x 1 )T de 2 (x 2 )RdE 3 (x 3 ) Ψ L ˆ L ˆ L T R. (2.5) Note that for Ψ L (E 1 )ˆ L (E 2 )ˆ L (E 3 ), triple operator integrals have the following Schatten von Neumann properties: T B(H ), R S p, 1 p <, = ΨdE 1 T de 2 RdE 3 S p (2.6) and T S p, R S q, 1 p + 1 q 1, = ΨdE 1 TdE 2 RdE 3 S r, 1 r = 1 p + 1 q.(2.7) Here S p, p > 0, stands for the Schatten von Neumann ideal of operators on Hilbert space. We refer the reader to [GK] for initions and properties of such ideals. Let us also mention that the inition of multiple operator integrals was extended in [Pe3] for functions Ψ that belong to the so-called integral projective tensor product of the corresponding L spaces. We refer the reader to [Pe3] for more detail. Practically the same inition can be given for multiple operator integrals of the form Ψ(x 1,,x m )de 1 (x 1 )T 1 de 2 (x 2 )T 2 T m 1 de m (x m ). }{{} m Such multiple operator integrals can be ined for functions Ψ in the projective tensor product L (E 1 )ˆ L (E 2 )ˆ ˆ L (E m ) as well as for Ψ in the integral projective tensor (see [Pe3]). 3

4 Moreover, with such multiple operators integrals analogs of (2.5), (2.6) and (2.7) hold. In particular, Ψ(x 1,,x m )de 1 (x 1 )T 1 de 2 (x 2 )T 2 T m 1 de m (x m ) S r, }{{} m whenever Ψ L (E 1 )ˆ L (E 2 )ˆ ˆ L (E m ), T 1 S p1, T 2 S p2,, T m 1 S pm 1 and 1 = r p 1 p 2 p m 1 We proceed now to the approach to multiple operator integrals based on the Haagerup tensorproductofl spaces. Wereferthereadertothebook[Pi]fordetailed information about Haagerup tensor products. Let us first ine the Haagerup tensor product L (E 1 ) h L (E 2 ) of two L spaces as the space of functions Ψ of the form Ψ = j α j (x 1 )β j (x 2 ), where {α j } j 0 L E 1 (l 2 ) and {β j } j 0 L E 2 (l 2 ), (2.8) i.e., and {α j } j 0 L (l 2 ) {β j } j 0 L (l 2 ) = E 1 -esssup α j (x 1 ) 2 j 0 = E 2 -esssup β j (x 1 ) 2 j 0 1/2 1/2 < <. The norm Ψ L h L is, by inition the infimum of the products {α j } j 0 L (l 2 ) {β j } j 0 L (l 2 ) over all representations of Ψ in the form of (2.8). Note that the space L (E 1 ) h L (E 2 ) coincides with the space M(E 1,E 2 ) of Schur multipliers with respect to E 1 and E 2 (see [Pe1] and [AP6]). For Ψ L (E 1 ) h L (E 2 ) the double operator integral ΨdE 1 T de 2 can be ined by Ψ(x 1,x 2 )de 1 (x 1 )T de 2 (x 2 ) = ( ( ) α j de 1 )T β j de 2, j the series on the right converges in the weak operator topology, its sum does not depend on the choice of a representation of Ψ the form (2.8) and determines a bounded linear transformer on the space B(H ) of bounded linear operators on H (see [BS1], [Pe1] and [AP6]). Let us proceed now to triple operator integrals with integrands in the Haagerup tensor product of L spaces. We ine the Haagerup tensor product L (E 1 ) h L (E 2 ) h 4

5 L (E 3 ) as the space of function Ψ of the form Ψ(x 1,x 2,x 3 ) = α j (x 1 )β jk (x 2 )γ k (x 3 ), (2.9) j,k 0 where α j, β jk, and γ k are measurable functions such that {α j } j 0 L E 1 (l 2 ), {β jk } j,k 0 L E 2 (B), and {γ k } k 0 L E 3 (l 2 ), (2.10) where B is the space of matrices that induce bounded linear operators on l 2 and this space is equipped with the operator norm. In other words, {β jk } j,k 0 L (B) By the sum on the right-hand side of (2.9) we mean lim M,N = E 2 -esssup {β jk (x 2 )} j,k 0 B <. N j=0 k=0 M α j (x 1 )β jk (x 2 )γ k (x 3 ). Clearly, the limit exists almost everywhere. The norm of Ψ in L h L h L is, by inition, the infimum of {α j } j 0 L (l 2 ) {β jk } j,k 0 L (B) {γ k } k 0 L (l 2 ) over all representations of Ψ of the form (2.9). It is well known that L ˆ L ˆ L L h L h L, see e.g., [ANP3] and [Pe4]. In [JTT] multiple operator integrals were ined for functions in the Haagerup tensor product of L spaces. Let Ψ L h L h L and suppose that (2.9) and (2.10) hold. The triple operator integral (2.1) is ined by Ψ(x 1,x 2,x 3 )de 1 (x 1 )T de 2 (x 2 )RdE 3 (x 3 ) = j,k 0 ( = lim M,N ( α j de 1 )T N M ( j=0 k=0 ( β jk de 2 )R ( α j de 1 )T γ k de 3 ) ( β jk de 2 )R γ k de 3 ). (2.11) Then the series in (2.11) converges in the weak operator topology, the sum of the series does not depend on the choice of a representation (2.9), it determines a bounded linear operator and Ψ(x 1,x 2,x 3 )de 1 (x 1 )T de 2 (x 2 )RdE 3 (x 3 ) Ψ L h L h L T R (2.12) (see e.g., [ANP3]). For completeness, we prove (2.12) in the next section. ToineHaagerup tensor productsof L spaces andcorrespondingmultiple operator integrals in the general case, to simplify the notation, we consider quadruple operator 5

6 integrals. It will be clear how to generalize the construction to the general case of multiple operator integrals. Let E 1, E 2, E 3 and E 4 be spectral measures on a Hilbert space H. The Haagerup tensor product L (E 1 ) h L (E 2 ) h L (E 3 ) h L (E 4 ) is the class of functions Ψ of the form where Ψ(x 1,x 2,x 3,x 4 ) = j,k,lα j (x 1 )β jk (x 2 )γ kl (x 3 )δ l (x 4 ), (2.13) {α j } j 0 L E 1 (l 2 ), {β jk } j,k 0 L E 2 (B), {γ kl } k,l 0 L E 3 (B), and {δ l } l 0 L E 4 (l 2 ). The norm of Ψ in L (E 1 ) h L (E 2 ) h L (E 3 ) h L (E 4 ) is ined in the same way as in the case of three variables. Quadruple operator integrals with integrands in the Haagerup tensor products of L spaces are ined by Ψ(x 1,x 2,x 3,x 4 )de 1 (x 1 )T 1 de 2 (x 2 )T 2 de 3 (x 3 )T 3 de 4 (x 4 )= j,k,la j T 1 B jk T 2 Γ kl T 3 l, where A j = α j de 1, B jk = β jk de 2, Γ kl = γ kl de 3 and l = δ l de 4. The fact that the inition does not depend on the choice of a representation (2.13) can be proved in the same way as in the case of triple operator integrals. In the next section we prove the boundedness property for multiple operator integrals and study their Schatten von Neumann properties. 3. Boundedness and Schatten von Neumann properties of multiple operator integrals In [ANP2] and [ANP3] it was proved that if T 1 S p, T 2 S q, 1/r = 1/p+1/q 1/2, and Ψ L (E 1 ) h L (E 2 ) h L (E 3 ), then ΨdE 1 T 1 de 2 T 2 de 3 S r and ΨdE 1 T 1 de 2 T 2 de 3 Sr Ψ L ˆ L ˆ L T S p R Sq. The anonymous referee of [ANP3] observed that the original proof in [ANP3] can be simplified and the same conclusion holds under the weaker assumption max{p, q} 2. In this section we obtain an analog of this result for arbitrary multiple operator integrals. In the next section we show that our results are best possible. In what follows by the expression T S p in the case p = we mean that T is a bounded linear operator. 6

7 Theorem 3.1. Let m 3, let E 1, E 2,, E m be spectral measures on Hilbert space and let Ψ L (E 1 ) h L (E 2 ) h h L (E m ). Suppose that T 2,, T m 2 are bounded linear operators, T 1 S p, T m S q with p,q [2, ]. Then Ψ(x 1,,x m )de 1 (x 1 )T 1 de 2 (x 2 )T 2 T m 1 de m (x m ) S r, }{{} m where 1/r = 1/p+1/q and ΨdE 1 T 1 de 2 T 2 T m 1 de m }{{} m Sr Ψ L h h L }{{ T 1 Sp T 2 T m 2 T m 1 Sq. } m In the next section we show that if we impose assumptions that T 2, T 3,T m 2 belong to any operator ideals, this will not improve Schatten von Neumann properties of multiple operator integrals. Also, we learn in the next section that the statement of the theorem is false if min{p,q} < 2. Proof. To simplify the notation, we assume that m = 4. It will be clear that the same reasoning will work for all other values of m. Suppose that Ψ is given by (2.13), where {α j } j 0 L E 1 (l 2 ), {β jk } j,k 0 L E 2 (B), {γ kl } k,l 0 L E 3 (B), and {δ l } l 0 L E 4 (l 2 ). Then ΨdE 1 T 1 de 2 T 2 de 3 T 3 de 4 = j,k,la j T 1 B jk T 2 Γ kl T 3 l, where A j = α j de 1, B jk = β jk de 2, Γ kl = γ kl de 3 and l = δ l de 4. Let A(T 1 ) be the infinite row matrix ined by A(T 1 ) = ( A 0 T 1 A 1 T 1 A 2 T 1 ), let (T 3 ) be the infinite column matrix ined by T 3 0 (T 3 ) T 3 1 = T 3 2,. let B = {B jk } j,k 0, Γ = {Γ jk } j,k 0 be operator matrices, and let T be the diagonal operator matrix T = diag(t 2,T 2,T 2, ). Then it follows from the assumptions on α j, 7

8 β jk, γ kl and δ l that A j 2 {αj } j 0 2 L (l 2 ), j 2 {δl } l 0 2 L (l 2 ), Clearly, j 0 l 0 B = {β jk } j,k 0 L (B), Γ = {γ kl } k,l 0 L (B) and T = T. ΨdE 1 T 1 de 2 T 2 de 3 T 3 de 4 = A(T 1 )BTΓ (T 3 ). (3.1) We need the following lemma. It was the anonymous referee of [ANP3] who suggested to use this fact. Lemma 3.2. Suppose that p [2, ], T S p, and let {A j } j 0 be a sequence of bounded linear operators such that A ja j 1. Then the row matrix belongs to S p and j 0 A(T) = ( A 0 T A 1 T A 2 T ), A(T) Sp T Sp. Let us first finish the proof of Theorem 3.1 and then prove the lemma. By the lemma, A(T 1 ) Sp {α j } j 0 2 L (l 2 ) T 1 Sp. Passing to the adjoint operator, we see that It follows now from (3.1) that ΨdE 1 T 1 de 2 T 2 de 3 T 3 de 4 D(T 3 ) Sq {δ l } l 0 2 L (l 2 ) T 3 Sq. which completes the proof. {α j } j 0 2 L (l 2 ) T 1 Sp B T 2 Γ T 3 Sq {δ l } l 0 2 L (l 2 ) Proof of Lemma 3.2. It suffices to prove the result for p = 2 and p =, and use interpolation (see [BL]). Suppose that p =. The result follows from the following obvious identity: T T 0 A(T) = (A 0 A 1 A 2 ) 0 0 T

9 Suppose now that p = 2. We have A(T) 2 S 2 = A j T 2 S 2 = trace(t A ja j T) j 0 j 0 = trace T ( A ja j )T trace(t T) = T 2 S 2 which completes the proof. j 0 4. The converse: Theorem 3.1 cannot be improved In this section we prove that Theorem 3.1 is a best possible result. For p > 0, we introduce the notation p = max{p,2}. Theorem 4.1. Let m 3 and let p 1, p 2, p m 1 (0, ]. Define the number r by 1 r = 1 p p. m 1 Let S be a symmetrically quasinormed ideal of operators on Hilbert space. Suppose that Ψ(x 1,,x m )de 1 (x 1 )T 1 de 2 (x 2 )T 2 T m 1 de m (x m ) S, }{{} m whenever E 1, E 2,, E m are spectral measures on Hilbert space, Ψ belongs to the Haagerup tensor product L (E 1 ) h L (E 2 ) h h L (E m ), and T 1, T 2, T m 1 are linear operators such that T j in S pj for j = 1, 2,, m 1. Then S S r. Proof. The proof is practically the same for all m 4. It is slightly different in the case m = 3. Therefore we give the proof for m = 3 and for m = 4. Suppose that m = 3. Let Ψ be a function of the form Ψ(x 1,x 2,x 3 ) = α j (x 1 )β jk (x 2 )γ k (x 3 ), (4.1) j,k Z where {α j } j Z L (l 2 Z ), {β jk} j,k Z L (B) and {γ k } k Z L (l 2 Z ). It is easy to see that Ψ belongs to the Haagerup tensor product L h L h L. Assume first that p 1 2 and p 2 2. Then p 1 = p 1 and p 2 = p 2. Put and Clearly, α 0 (x 1 ) = 1, α j (x 1 ) = 0, j 0, a.e., β 00 (x 2 ) = 1, β jk (x 2 ) = 0 if j 0 or k 0, a.e., γ 0 (x 3 ) = 1, γ k (x 3 ) = 0, k 0, a.e. ΨdE 1 T 1 de 2 T 2 de 3 = T 1 T 2. 9

10 The result follows from the obvious fact that an arbitrary operator in S r can be represented as the product of two operators in S p and S q. If p 1 < 2 or p 2 < 2, we consider functions Ψ of the form (4.1) such that the matrix function {β jk } is diagonal, i.e., β jk = 0 for j k. Put β j = β jj. Let H = L 2 (T) with respect to normalized Lebesgue measure on T. We ine the orthonormal basis {e j } j Z by e j = z j, j Z. Consider the orthogonal projections P j, j Z, ined by P j f = (f,e j )e j, f H. The spectral measures E 1 and E 3 are ined on the σ-algebra of all subsets of Z by E 1 ( ) = E 3 ( ) = j P j. The spectral measure E 2 is ined on the σ-algebra of Lebesgue measurable subsets of T by E 2 ( )f = χ f, f L 2 (T). Consider first the case p 1 2 and p 2 2. Assume that S 1 S. Then there exists a sequence of real numbers {d j } j Z such that {d j } l 2 Z and d 2 j P j S. Define the vector v by v = j Zd j e j and the rank one operators T 1 and T 2 on H by Clearly, Put Clearly, T T 1 f = (f,e 0 )v and T 2 f = (f,v)e 0, f H. T 1 = T 2 = v. β j (ζ) = 1, ζ T, and α j (m) = γ j (m) = β j (ζ)de 2 (ζ) = I and α j de 1 = Let Ψ be ined by (4.1). We have ΨdE 1 T 1 de 2 T 2 de 3 = j ZP j T 1 T 2 P j. { 1, j = m, 0, j m. γ j de 1 = P j, j Z. It is easy to verify that Hence, P j T 1 T 2 P j e j = d 2 je j. ΨdE 1 T 1 de 2 T 2 de 3 = j Zd 2 jp j S. It remains to consider the case p 1 2 and p 2 2 (the case p 2 2 and p 1 2 can be settled by taking the adjoint of the triple operator integral). Assume that S r S. The 10

11 spectral measures E 1, E 2, and E 3 as well as the functions α j and γ j are ined as in the previous case. Then there exist two sequences {c j } l p Z and {d j} l 2 Z such that c j d j P j S. (4.2) j Z We ine the operators T 1 and T 2 by T 1 = c j P j, T 2 e j = d j e 0. j Z Clearly, T 1 S p1 and rankt 2 = 1. Thus T 2 S p2. Put β j (ζ) = ζ j, j Z, ζ T, and B j = β j de 2. Clearly, B j e 0 = e j, j Z. We have ΨdE 1 T 1 de 2 T 2 de 3 = j ZP j T 1 B j T 2 P j. Obviously, P j T 1 B j T 2 P j e j = P j T 1 B j T 2 e j = d j P j T 1 B j e 0 = d j P j T 1 e j = c j d j e j, and it follows from (4.2) that ΨdE 1 T 1 de 2 T 2 de 3 S. Suppose now that m = 4. Consider a function Ψ of the form Ψ(x 1,x 2,x 3,x 4 ) = α j (x 1 )β jk (x 2 )α j (x 1 )β jk (x 2 )γ kl (x 3 )α j (x 4 ), j,k,l Z where {α j } j Z L (l 2 Z ), {β jk} j,k Z L (B) and {γ kl } k,k Z L (B). Then Ψ belongs to the Haagerup tensor product L h L h L h L. As in the case m = 3, we put H = L 2 (T) and consider the orthonormal basis {e j } j Z by e j = z j, j Z. The orthogonal projections P j, j Z, are ined by P j f = (f,e j )e j, f H. The spectral measures E 1 and E 4 are ined on the σ-algebra of all subsets of Z by E 1 ( ) = E 4 ( ) = j P j, while the spectral measures E 2 and E 3 are ined on the σ-algebra of Lebesgue measurable subsets of T by E 2 ( )f = E 3 ( )f = χ f, f L 2 (T). As before, the vector-valued function α is ined by { 1, j = m, α j (m) = 0, j m. 11

12 We assume that the matrix-valued functions {β jk } and {γ kl } are diagonal, i.e., there are sequences {β j } and {γ k } of measurable functions such that { { βj, j = k, γk, k = l, β jk = and γ kl = 0, j k, 0, k l. Put B j = β j de 2 and Γ j = γ j de 3. We have ΨdE 1 T 1 de 2 T 2 de 3 T 3 de 4 = j ZP j T 1 B j T 2 Γ j T 3 P j. Define now the operator T 2 by T 2 = P 0. Clearly, T 2 has rank one, and so it belongs to all Schatten von Neumann classes. Consider first the case p 1 2 and p 3 2. Assume that S r S. We can select sequences {c j } l p 1 Z and {d j} l p 3 Z such that c j d j P j S. (4.3) j Z Define the operators T 1 and T 3 by T 1 = j Z c j P j and T 3 = j Zd j P j. Clearly, T 1 S p1 and T 3 S p3. It remains to ine the functions β j and γ j. Put Then β j (ζ) = ζ j and γ j (ζ) = ζ j, j Z, ζ T. B j e k = e j+k and Γ j e k = e j k, j, k Z. Clearly, the operators B j and Γ j are unitary. We have Thus P j T 1 B j T 2 Γ j T 3 P j e j = P j T 1 B j T 2 Γ j T 3 e j = d j P j T 1 B j T 2 Γ j e j = d j P j T 1 B j T 2 e 0 = d j P j T 1 B j e 0 = d j P j T 1 e j = c j d j P j. j ZP j T 1 B j T 2 Γ j T 3 P j = j Z c j d j P j S. Supposenow that p 1 2 and p 3 2. Then p 1 = p 1 and p 3 = 2. Assume that S r S. We can select sequences {c j } l p 1 Z and {d j} l 2 Z such that (4.3) holds. We ine the operators T 1 and T 3 by T 1 = j Zc j P j and T 3 e j = d j e 0, j Z. Clearly, T 1 S p1, T 3 has rank one, and so T 3 S 2. 12

13 Finally, we put β j (ζ) = ζ j and γ j (ζ) = 1, j Z, ζ T. Then B j e k = e j+k, j, k Z, and Γ j is the identity operator for all j Z. We have P j T 1 B j T 2 Γ j T 3 P j e j = P j T 1 B j T 2 Γ j T 3 e j = d j P j T 1 B j T 2 Γ j e 0 and so = d j P j T 1 B j T 2 e 0 = d j P j T 1 B j e 0 = d j P j T 1 e j = c j d j P j e j = c j d j e j, j ZP j T 1 B j T 2 Γ j T 3 P j = j Z c j d j P j S. The case p 1 2 and p 3 2 can be reduced to the case p 1 2 and p 3 2 by taking the adjoint operator. To complete the proof, it remains to consider the case p 1 2 and p 3 2. Then p 1 = p 3 = 2. In this case r = 1. Assume that S 1 S. Again, we can select a sequence {d j } of real numbers in l 2 Z such that j Z d2 j P j S. We ine the operators T 1 and T 3 by Tf = (f,e 0 )v and Rf = (f,v)e 0, f H, where v = j Zd j e j. The functions β j and γ j are ined by β j (ζ) = 1 and γ j (ζ) = 1, j Z, ζ T. In other words, B j and Γ j are equal to the identity operator on H for j Z. We have P j T 1 B j T 2 Γ j T 3 P j e j = P j T 1 B j T 2 Γ j T 3 e j = d j P j T 1 B j T 2 Γ j e 0 = d j P j T 1 B j T 2 e 0 = d j P j T 1 B j e 0 = d j P j T 1 e 0 = c j d j P j e j = c j d j e j, and so j ZP j T 1 B j T 2 Γ j T 3 P j = j Z c j d j P j S Haagerup-like tensor products and multiple operator integrals In [ANP3] we realized that to obtain Lipschitz type estimates for functions of noncommuting self-adjoint operators under perturbation, we need triple operator integrals with integrands that do not belong to the Haagerup tensor product of three L spaces. In [AP5] we encountered the same problem to obtain almost commuting functional calculus for almost commuting operators. It turned out that the problems can be overcome if instead of the Haagerup tensor product we use Haagerup-like tensor products that were introduced in [ANP1], [ANP2], [ANP3], [AP4] and [AP5]. 13

14 We obtained in [ANP3] Shatten von Neumann estimates for triple operator integrals with integrands that belong to Haagerup-like tensor products of L spaces. In this section we improve the estimates obtained in [ANP3] and obtain best possible results. We also introduce Haagerup-like tensor products of L spaces for an arbitrary number of spaces and obtain sharp Shatten von Neumann estimates for the corresponding multiple operator integrals. Let us start with the case of three L spaces. Definition 1. A function Ψ is said to belong to the Haagerup-like tensor product L (E 1 ) h L (E 2 ) h L (E 3 ) of the first kind if it admits a representation Ψ(x 1,x 2,x 3 ) = α j (x 1 )β k (x 2 )γ jk (x 3 ), x j X j, (5.1) j,k 0 with {α j } j 0, {β k } k 0 L (l 2 ) and {γ jk } j,k 0 L (B). As usual, Ψ L h L h L = inf {αj } L j 0 {βk } L (l 2 ) k 0 {γjk } L (l 2 ) j,k 0 (B), the infimum being taken over all representations of the form (5.1). Let us now ine triple operator integrals whose integrand belong to the tensor product L (E 1 ) h L (E 2 ) h L (E 3 ). Let 1 p 2. For Ψ L (E 1 ) h L (E 2 ) h L (E 3 ), for a bounded linear operator R, and for an operator T of class S p, we ine the triple operator integral W = Ψ(x 1,x 2,x 3 )de 1 (x 1 )T de 2 (x 2 )RdE 3 (x 3 ) (5.2) as the following continuous linear functional on S p, 1/p + 1/p = 1 (on the class of compact operators in the case p = 1): (( ) ) Q trace Ψ(x 1,x 2,x 3 )de 2 (x 2 )RdE 3 (x 3 )QdE 1 (x 1 ) T. (5.3) Clearly, the triple operator integral in (5.3) is well ined because the function (x 2,x 3,x 1 ) Ψ(x 1,x 2,x 3 ) belongs to the Haagerup tensor product L (E 2 ) h L (E 3 ) h L (E 1 ). It follows easily from Theorem 3.1 that W Sp Ψ L h L h L T S p R, 1 p 2. It is easy to see that in the case when Ψ belongs to the projective tensor product L (E 1 )ˆ L (E 2 )ˆ L (E 3 ), the inition of the triple operator integral given above is consistent with the inition of the triple operator integral given in (2.4). Indeed, it suffices to verify this for functions Ψ of the form Ψ(x 1,x 2,x 3 ) = ϕ(x 1 )ψ(x 2 )χ(x 3 ), ϕ L (E 1 ), ψ L (E 2 ), χ L (E 3 ), 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 S p, 1 p 2. 14

15 Definition 2. A function Ψ is said to belong to the Haagerup-like tensor product L (E 1 ) h L (E 2 ) h L (E 3 ) of the second kind if Ψ admits a representation Ψ(x 1,x 2,x 3 ) = α jk (x 1 )β j (x 2 )γ k (x 3 ) (5.4) j,k 0 where {β j } j 0, {γ k } k 0 L (l 2 ), {α jk } j,k 0 L (B). The norm of Ψ in the space L h L h L is ined by Ψ L h L h L = inf {αj } L j 0 {βk } L (l 2 ) k 0 {γjk } L (l 2 ) j,k 0 (B), the infimum being taken over all representations of the form (5.4). Suppose now that Ψ L (E 1 ) h L (E 2 ) h L (E 3 ), T is a bounded linear operator, and R S p, 1 p 2. The continuous linear functional (( ) ) Q trace Ψ(x 1,x 2,x 3 )de 3 (x 3 )QdE 1 (x 1 )T de 2 (x 2 ) R on the class S p (on the class of compact operators in the case p = 1) determines an operator W of class S p, which we call the triple operator integral W = Ψ(x 1,x 2,x 3 )de 1 (x 1 )T de 2 (x 2 )RdE 3 (x 3 ). (5.5) Moreover, W Sp Ψ L h L h L T R S p. As above, in the case when Ψ L (E 1 )ˆ L (E 2 )ˆ L (E 3 ), the inition of the triple operator integral given above is consistent with the inition of the triple operator integral given in (2.4). We deduce from Theorem 3.1 the following Schatten von Nemann properties of the triple operator integrals introduced above. The following result improves Theorem 5.1 of [ANP3]. Theorem 5.1. Let Ψ L h L h L. Suppose that T S p and R S q, where q 2 and 1/r = 1/p+1/q [1/2,1]. Then the operator W in (5.2) belongs to S r and W Sr Ψ L h L h L T S p R Sq. (5.6) Proof. Let Φ be the function ined by Φ(x 2,x 3,x 1 ) = Ψ(x 1,x 2,x 3 ). Clearly, the norm of W in S r is the norm of the linear functional (5.3) on S r (on the class of compact operators if r = 1). We have (( )T) trace ΨdE 2 RdE 3 QdE 1 T Sp ΨdE 2 RdE 3 QdE 1 Sp (in the case when p = 1 we have to replace the norm in S p on the right-hand side of the inequality with the operator norm). Since q 2 and r 2, it follows from Theorem

16 that ΨdE 2 RdE 3 QdE 1 Sp = Φ(x 2,x 3,x 1 )de 2 (x 2 )RdE 3 (x 2 )QdE 1 (x 1 ) Sp Φ L h L h L R S q Q Sr = Ψ L h L h L R S q Q Sr, which implies (5.6). In the same way we can prove the following theorem, which improves Theorem 5.2 of [ANP3]: Theorem 5.2. Let Ψ L h L h L. Suppose that p 2 and 1/r = 1/p+1/q [1/2,1]. If T S p, R S q, then the operator W in (5.5) belongs to S r, 1/r = 1/p+1/q, and W Sr Ψ L h L h L T S p R Sq. We are going to introduce now Haagerup-like tensor products of L spaces for m spaces, where m 3. To avoid complicated notation, consider the case m = 4. Definition 3. A function Ψ is said to belong to the Haagerup-like tensor product L (E 1 ) h L (E 2 ) h L (E 3 ) h L (E 4 ) of the first kind if it admits a representation Ψ(x 1,x 2,x 3,x 4 ) = α l (x 1 )β j (x 2 )γ jk (x 3 )δ kl (x 4 ), x j X j, (5.7) j,k,l 0 with {α l } l 0 L (l 2 ), {β j } j 0 L (l 2 ), {γ jk } j,k 0 L (B) and {δ kl } k,l 0 L (B). As usual, Ψ L h L h L = inf {αl } {βj L } {γjk (l 2 ) L } {δkl (l 2 ) L } (B) L (B), the infimum being taken over all representations of the form (5.7). Let us now ine triple operator integrals whose integrands belong to the tensor product L (E 1 ) h L (E 2 ) h L (E 3 ) h L (E 4 ). Let 1 p 2. For Ψ L (E 1 ) h L (E 2 ) h L (E 3 ) h L (E 4 ), for a bounded linear operators T 2 and T 3, and for an operator T 1 of class S p1, we ine the quadruple operator integral W = Ψ(x 1,x 2,x 3,x 4 )de 1 (x 1 )T 1 de 2 (x 2 )T 2 de 3 (x 3 )T 3 de 4 (x 4 ) (5.8) as the following continuous linear functional on S p 1, 1/p 1 + 1/p 1 = 1 (on the class of compact operators in the case p 1 = 1): (( ) Q trace Ψ(x 1,x 2,x 3,x 4 )de 2 (x 2 )T 2 de 3 (x 3 )T 3 de 4 (x 4 )QdE 1 (x 1 ) )T 1.(5.9) Clearly, the quadruple operator integral in (5.9) is well ined because the function (x 2,x 3,x 4,x 1 ) Ψ(x 1,x 2,x 3,x 4 ) 16

17 belongs to the Haagerup tensor product L (E 2 ) h L (E 3 ) h L (E 4 ) h L (E 1 ). It follows easily from Theorem 3.1 that W Sp Ψ L h L h L h L T 1 Sp1 T 2 T 3, 1 p 2. It is easy to see that the inition of the triple operator integral given above is consistent with the inition of the triple operator integral given in (2.4). Similarly we can ine the Haagerup like tensor product of the second kind. The Haagerup-like tensor product L (E 1 ) h L (E 2 ) h L (E 3 ) h L (E 4 ) of the second kind is ined as the space of functions Ψ that admit a representation of the form Ψ(x 1,x 2,x 3,x 4 ) = α jk (x 1 )β kl (x 2 )γ l (x 3 )δ j (x 4 ), j,k,l 0 where {γ l } l 0 L (l 2 ), {δ j } j 0 L (l 2 ), {α jk } j,k 0 L (B) and {β kl } k,l 0 L (B). In this case the quadruple operator integral W = Ψ(x 1,x 2,x 3,x 4 )de 1 (x 1 )T 1 de 2 (x 2 )T 2 de 3 (x 3 )T 3 de 4 (x 4 ) (5.10) is ined as the following linear functional: ( )) Q trace (T 3 Ψ(x 1,x 2,x 3,x 4 )de 4 (x 4 )QdE 1 (x 1 )T 1 de 2 (x 2 )T 2 de 3 (x 3 ). The following results hold: Theorem ). Let Ψ L (E 1 ) h L (E 2 ) h L (E 3 ) h L (E 4 ). Suppose that T 1 S p1, T 2 S p2, where p 2 2 and 1/r = 1/p 1 +1/p 2 [1/2,1]. Then the quadruple operator integral (5.8) belongs to S r and W Sr Ψ L h L h L h L T 1 Sp1 T 2 Sp2. 2). Let Ψ L (E 1 ) h L (E 2 ) h L (E 3 ) h L (E 4 ). Suppose that T 1 S p1 and T 3 S p3, where p 1 2 and 1/r = 1/p 1 +1/p 2 [1/2,1]. Then the quadruple operator integral (5.10) belongs to S r and W Sr Ψ L h L h L h L T 1 Sp1 T 3 Sp3. The proof of the theorem is practically the same as the proofs of Theorem 5.1 and Theorem 5.2. References [ANP1] A.B. Aleksandrov, F.L. Nazarov and V.V. Peller, Functions of perturbed noncommuting self-adjoint operators, C.R. Acad. Sci. Paris, Sér. I 353 (2015), [ANP2] A.B. Aleksandrov, F.L. Nazarov and V.V. Peller, Triple operator integrals in Schatten von Neumann norms and functions of perturbed noncommuting operators, C.R. Acad. Sci. Paris, Sér. I 353 (2015), [ANP3] A.B. Aleksandrov, F.L. Nazarov and V.V. Peller, Functions of noncommuting self-adjoint operators under perturbation and estimates of triple operator integrals, Advances in Math. 17

18 [AP1] A.B. Aleksandrov and V.V. Peller, Operator Hölder Zygmund functions, Advances in Math. 224 (2010), [AP2] A.B. Aleksandrov and V.V. Peller, Functions of operators under perturbations of class S p, J. Funct. Anal. 258 (2010), [AP3] A.B. Aleksandrov and V.V. Peller, Trace formulae for perturbations of class S m, J. Spectral Theory, 1 (2011), [AP4] A.B. Aleksandrov and V.V. Peller, Almost commuting functions of almost commuting selfadjoint operators, C. R. Acad. Sci. Paris, Ser. I 353 (2015), [AP5] A.B. Aleksandrov and V.V. Peller, Functions of almost commuting operators and an extension of the Helton Howe trace formula, to appear. [AP6] A.B. Aleksandrov and V.V. Peller, Operator Lipschitz functions, to appear. [APPS] A.B. Aleksandrov, V.V. Peller, D. Potapov, and F. Sukochev, Functions of normal operators under perturbations, Advances in Math. 226 (2011), [ACDS] N.A. Azamov, A.L. Carey, P.G. Dodds, and F.A. Sukochev, Operator integrals, spectral shift and spectral flow, Canad. J. Math. 61 (2009), [BL] J. Bergh and J. Löfström, Interpolation spaces, Springer Verlag, Berlin, [BS1] M.S. Birman and M.Z. Solomyak, Double Stieltjes operator integrals, Problems of Math. Phys., Leningrad. Univ. 1 (1966), (Russian). English transl.: Topics Math. Physics 1 (1967), 25 54, Consultants Bureau Plenum Publishing Corporation, New York. [BS2] M.S. Birman and M.Z. Solomyak, Double Stieltjes operator integrals. II, Problems of Math. Phys., Leningrad. Univ. 2 (1967), (Russian). English transl.: Topics Math. Physics 2 (1968), 19 46, Consultants Bureau Plenum Publishing Corporation, New York. [BS3] M.S. Birman and M.Z. Solomyak, Double Stieltjes operator integrals. III, Problems of Math. Phys., Leningrad. Univ. 6 (1973), (Russian). [BS4] M.S. Birman and M.Z. Solomyak, Spectral theory of selfadjoint operators in Hilbert space, Mathematics and its Applications (Soviet Series), D. Reidel Publishing Co., Dordrecht, [BS5] M.S. Birman and M.Z. Solomyak, Tensor product of a finite number of spectral measures is always a spectral measure, Integral Equations Operator Theory 24 (1996), [DK] Yu.L. Daletskii and S.G. Krein, 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), [GK] I.C. Gohberg and M.G. Krein, Introduction to the theory of linear nonselfadjoint operators in Hilbert space, Nauka, Moscow, [JTT] K. Juschenko, I.G. Todorov and L. Turowska, Multidimensional operator multipliers, Trans. Amer. Math. Soc. 361 (2009), [NP] F.L. Nazarov and V.V. Peller, Functions of perturbed n-tuples of commuting self-adjoint operators, J. Funct. Anal. 266 (2014), [Pa] B.S. Pavlov, On multiple operator integrals, Problems of Math. Anal., No. 2: Linear Operators and Operator Equations (Russian), Izdat. Leningrad. Univ., Leningrad, [Pe1] V.V. Peller, Hankel operators in the theory of perturbations of unitary and self-adjoint operators, Funktsional. Anal. i Prilozhen. 19:2 (1985), (Russian). English transl.: Funct. Anal. Appl. 19 (1985), [Pe2] V.V. Peller, Hankel operators in the perturbation theory of unbounded self-adjoint operators, Analysis and partial differential equations, , Lecture Notes in Pure and Appl. Math., 122, Marcel Dekker, New York, [Pe3] V.V. Peller, Multiple operator integrals and higher operator derivatives, J. Funct. Anal. 233 (2006), [Pe4] V.V. Peller, Multiple operator integrals in perturbation theory, Bulletin Math. Sci. [Pi] G. Pisier, Introduction to operator space theory, London Math. Society Lect. Notes series 294, Cambridge University Press,

19 [PoS] D. Potapov and F. Sukochev, Operator-Lipschitz functions in Schatten von Neumann classes, Acta Math. 207 (2011), [St] V.V. Sten kin, Multiple operator integrals, Izv. Vyssh. Uchebn. Zaved. Matematika 4 (79) (1977), (Russian). A.B. Aleksandrov V.V. Peller St.Petersburg Branch Department of Mathematics Steklov Institute of Mathematics Michigan State University Fontanka 27 East Lansing, Michigan St-Petersburg, Russia USA 19