Journal of Inequalities in Pure and Applied Mathematics JENSEN’S INEQUALITY FOR CONDITIONAL EXPECTATIONS FRANK HANSEN Institute of Economics Copenhagen University Studiestraede 6 1455 Copenhagen K, Denmark. volume 6, issue 5, article 133, 2005. Received 23 March, 2005; accepted 23 September, 2005. Communicated by: S.S. Dragomir EMail: Frank.Hansen@econ.ku.dk Abstract Contents JJ J II I Home Page Go Back Close c 2000 Victoria University ISSN (electronic): 1443-5756 088-05 Quit Abstract We study conditional expectations generated by an abelian C ∗ -subalgebra in the centralizer of a positive functional. We formulate and prove Jensen’s inequality for functions of several variables with respect to this type of conditional expectations, and we obtain as a corollary Jensen’s inequality for expectation values. Jensen’s Inequality for Conditional Expectations 2000 Mathematics Subject Classification: 47A63, 26A51. Key words: Trace function, Jensen’s inequality, Conditional expectation. Frank Hansen This paper is based on the talk given by the author within the “International Conference of Mathematical Inequalities and their Applications, I”, December 0608, 2004, Victoria University, Melbourne, Australia [http://rgmia.vu.edu.au/ conference] Title Page Contents JJ J Contents 1 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Conditional Expectations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Jensen’s inequality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . References 3 4 6 II I Go Back Close Quit Page 2 of 12 J. Ineq. Pure and Appl. Math. 6(5) Art. 133, 2005 http://jipam.vu.edu.au 1. Preliminaries An n-tuple x = (x1 , . . . , xn ) of elements in a C ∗ -algebra A is said to be abelian if the elements x1 , . . . , xn are mutually commuting. We say that an abelian ntuple x of self-adjoint elements is in the domain of a real continuous function f of n variables defined on a cube of real intervals I = I1 × · · · × In if the spectrum σ(xi ) of xi is contained in Ii for each i = 1, . . . , n. In this situation f (x) is naturally defined as an element in A in the following way. We may assume that A is realized as operators on a Hilbert space and let Z xi = λ dEi (λ) i = 1, . . . , n denote the spectral resolutions of the operators x1 , . . . , xn . Since the n-tuple x = (x1 , . . . , xn ) is abelian, the spectral measures E1 , . . . , En are mutually commuting. We may thus set E(S1 × · · · × Sn ) = E1 (S1 ) · · · En (Sn ) for Borel sets S1 , . . . , Sn in R and extend E to a spectral measure on Rn with support in I. Setting Z f (x) = f (λ1 , . . . , λn ) dE(λ1 , . . . , λn ) Jensen’s Inequality for Conditional Expectations Frank Hansen Title Page Contents JJ J II I Go Back Close Quit Page 3 of 12 and since f is continuous, we finally realize that f (x) is an element in A. J. Ineq. Pure and Appl. Math. 6(5) Art. 133, 2005 http://jipam.vu.edu.au 2. Conditional Expectations Let C be a separable abelian C ∗ -subalgebra of a C ∗ -algebra A, and let ϕ be a positive functional on A such that C is contained in the centralizer Aϕ = {y ∈ A | ϕ(xy) = ϕ(yx) ∀x ∈ A}. The subalgebra is of the form C = C0 (S) for some locally compact metric space S. Jensen’s Inequality for Conditional Expectations Theorem 2.1. There exists a positive linear mapping Φ : M (A) → L∞ (S, µϕ ) (2.1) Frank Hansen on the multiplier algebra M (A) such that Φ(xy) = Φ(yx) = Φ(x)y, x ∈ M (A), y ∈ C Title Page Contents almost everywhere, and a finite Radon measure µϕ on S such that Z z(s)Φ(x)(s) dµϕ (s) = ϕ(zx), z ∈ C, x ∈ M (A). JJ J II I S Proof. By the Riesz representation theorem there is a finite Radon measure µϕ on S such that Z ϕ(y) = y(s) dµϕ (s), y ∈ C = C0 (S). Go Back Close Quit Page 4 of 12 S For each positive element x in the multiplier algebra M (A) we have J. Ineq. Pure and Appl. Math. 6(5) Art. 133, 2005 0 ≤ ϕ(yx) = ϕ(y 1/2 xy 1/2 ) ≤ kxkϕ(y), y ∈ C+ . http://jipam.vu.edu.au The functional y → ϕ(yx) on C consequently defines a Radon measure on S which is dominated by a multiple of µϕ , and it is therefore given by a unique element Φ(x) in L∞ (S, µϕ ). By linearization this defines a positive linear mapping defined on the multiplier algebra Φ : M (A) → L∞ (S, µϕ ) (2.2) such that Z z ∈ C, x ∈ M (A). z(s)Φ(x)(s) dµϕ (s) = ϕ(zx), Jensen’s Inequality for Conditional Expectations S Frank Hansen Furthermore, since Z Z z(s)Φ(yx)(s) dµϕ (s) = ϕ(zyx) = z(s)y(s)Φ(x)(s) dµϕ (s) S S for x ∈ M (A) and z, y ∈ C we derive Φ(yx) = yΦ(x) = Φ(x)y almost everywhere. Since C is contained in the centralizer Aϕ and thus ϕ(zxy) = ϕ(yzx), we similarly obtain Φ(xy) = Φ(x)y almost everywhere. Note that Φ(z)(s) = z(s) almost everywhere in S for each z ∈ C, cf. [6, 4, 5]. With a slight abuse of language we call Φ a conditional expectation even though its range is not a subalgebra of M (A). Title Page Contents JJ J II I Go Back Close Quit Page 5 of 12 J. Ineq. Pure and Appl. Math. 6(5) Art. 133, 2005 http://jipam.vu.edu.au 3. Jensen’s inequality Following the notation in [5] we consider a separable C ∗ -algebra A of operators on a (separable) Hilbert space H, and a field (at )t∈T of operators in the multiplier algebra M (A) = {a ∈ B(H) | aA + Aa ⊆ A} defined on a locally compact metric space T equipped with a Radon measure ν. We say that the field (at )t∈T is weak*-measurable if the function t → ϕ(at ) is ν-measurable on T for each ϕ ∈ A∗ ; and we say that the field is continuous if the function t → at is continuous [4]. As noted in [5] the field (at )t∈T is weak*-measurable, if and only if for each vector ξ ∈ H the function t → at ξ is weakly (equivalently strongly) measurable. In particular, the composed field (a∗t bt )t∈T is weak*-measurable if both (at )t∈T and (bt )t∈T are weak*-measurable fields. If for a weak*-measurable field (at )t∈T the function t → |ϕ(at )| is integrable for every state ϕ ∈ S(A) and the integrals Z |ϕ(at )| dν(t) ≤ K, ∀ϕ ∈ S(A) T are uniformly bounded by some constant K, then there is a unique element (a C ∗ -integral in Pedersen’s terminology [8, 2.5.15]) in the multiplier algebra M (A), designated by Z at dν(t), Jensen’s Inequality for Conditional Expectations Frank Hansen Title Page Contents JJ J II I Go Back Close Quit Page 6 of 12 T such that J. Ineq. Pure and Appl. Math. 6(5) Art. 133, 2005 http://jipam.vu.edu.au Z ϕ Z at dν(t) = ϕ(at ) dν(t), T ∀ϕ ∈ A∗ . T We say in this case that the field (at )t∈T is integrable. Finally we say that a field (at )t∈T is a unital column field [1, 4, 5], if it is weak*-measurable and Z a∗t at dν(t) = 1. T We note that a C ∗ -subalgebra of a separable C ∗ -algebra is automatically separable. Theorem 3.1. Let C be an abelian C ∗ -subalgebra of a separable C ∗ -algebra A, ϕ be a positive functional on A such that C is contained in the centralizer Aϕ and let Φ : M (A) → L∞ (S, µϕ ) be the conditional expectation defined in (2.1). Let furthermore f : I → R be a continuous convex function of n variables defined on a cube, and let t → at ∈ M (A) be a unital column field on a locally compact Hausdorff space T with a Radon measure ν. If t → xt is an essentially bounded, weak*-measurable field on T of abelian n-tuples of self-adjoint elements in A in the domain of f, then Z ∗ (3.1) at f (xt )at dν(t) f (Φ(y1 ), . . . , Φ(yn )) ≤ Φ T almost everywhere, where the n-tuple y in M (A) is defined by setting Z y = (y1 , . . . , yn ) = a∗t xt at dν(t). T Jensen’s Inequality for Conditional Expectations Frank Hansen Title Page Contents JJ J II I Go Back Close Quit Page 7 of 12 J. Ineq. Pure and Appl. Math. 6(5) Art. 133, 2005 http://jipam.vu.edu.au Proof. The subalgebra C is as noted above of the form C = C0 (S) for some locally compact metric space S, and since the C ∗ -algebra C0 (I) is separable we may for almost every s in S define a Radon measure µs on I by setting Z Z ∗ µs (g) = g(λ) dµs (λ) = Φ at g(xt )at dµ(t) (s), g ∈ C0 (I). T I Since Z µs (1) = Φ a∗t at dµ(t) = Φ(1) = 1 T we observe that µs is a probability measure. If we put gi (λ) = λi then Z Z ∗ gi (λ) dµs (λ) = Φ at xit at dµ(t) (s) = Φ(yi )(s) I T Jensen’s Inequality for Conditional Expectations Frank Hansen Title Page for i = 1, . . . , n and since f is convex we obtain Z Z f (Φ(y1 )(s), . . . , Φ(yn )(s)) = f g1 (λ) dµs (λ), . . . , gn (λ) dµs (λ) I I Z ≤ f (g1 (λ), . . . , gn (λ)) dµs (λ) ZI = f (λ) dµs (λ) I Z ∗ =Φ at f (xt )at dµ(t) (s) Contents JJ J II I Go Back Close Quit Page 8 of 12 T for almost all s in S. J. Ineq. Pure and Appl. Math. 6(5) Art. 133, 2005 http://jipam.vu.edu.au The following corollary is known as “Jensen’s inequality for expectation values”. It was formulated (for continuous fields) in the reference [3], where a more direct proof is given. Corollary 3.2. Let f : I → R be a continuous convex function of n variables defined on a cube, and let t → at ∈ B(H) be a unital column field on a locally compact Hausdorff space T with a Radon measure ν. If t → xt is a bounded weak*-measurable field on T of abelian n-tuples of self-adjoint operators on H in the domain of f, then Z ∗ (3.2) f (y1 ξ | ξ), . . . , (yn ξ | ξ) ≤ at f (xt )at dν(t)ξ | ξ T for any unit vector ξ ∈ H, where the n-tuple y is defined by setting Z y = (y1 , . . . , yn ) = a∗t xt at dν(t). T Proof. The statement follows from Theorem 3.1 by choosing ϕ as the trace and letting C be the C ∗ -algebra generated by the orthogonal projection P on the vector ξ. Then C = C0 (S) where S = {0, 1}, and an element z ∈ C has the representation z = z(0)P + z(1)(1 − P ). The measure dµϕ gives unit weight in each of the two points, and the conditional expectation Φ is given by ( (xξ | ξ) s=0 Φ(x)(s) = Tr(x − P x) s = 1. Jensen’s Inequality for Conditional Expectations Frank Hansen Title Page Contents JJ J II I Go Back Close Quit Page 9 of 12 J. Ineq. Pure and Appl. Math. 6(5) Art. 133, 2005 http://jipam.vu.edu.au Indeed, ϕ(zx) = Tr z(0)P + z(1)(1 − P ) x = z(0)Φ(x)(0) + z(1)Φ(x)(0) Z = z(s)Φ(x)(s) ds S as required. The statement follows by evaluating the functions appearing on each side of the inequality (3.1) at the point s = 0. Remark 1. If we choose ν as a probability measure on T, then the trivial field at = 1 for t ∈ T is unital and (3.2) takes the form Z Z Z f x1t dν(t)ξ | ξ , . . . , xnt dν(t)ξ | ξ ≤ f (xt ) dν(t)ξ | ξ T T T for bounded weak*-measurable fields of abelian n-tuples xt = (x1t , . . . , xnt ) of self-adjoint operators in the domain of f and unit vectors ξ. By choosing ν as an atomic measure with one atom we get a version (3.3) f (x1 ξ | ξ) , . . . , (xn ξ | ξ) ≤ f (x)ξ | ξ of the Jensen inequality by Mond and Pečarić [7]. By further considering a direct sum ξ= m M j=1 ξj and x = (x1 , . . . , xn ) = m M j=1 (x1j , . . . , xnj ) Jensen’s Inequality for Conditional Expectations Frank Hansen Title Page Contents JJ J II I Go Back Close Quit Page 10 of 12 J. Ineq. Pure and Appl. Math. 6(5) Art. 133, 2005 http://jipam.vu.edu.au we obtain the familiar version f m X j=1 (x1j ξj | ξj ), . . . , m X j=1 ! (xnj ξj | ξj ) ≤ m X f (x1j , . . . , xnj )ξj | ξj j=1 valid for abelian n-tuples (x1j , . . . , xnj ), j = 1, . . . , m of self-adjoint operators in the domain of f and vectors ξ1 , . . . , ξm with kξ1 k2 + · · · + kξm k2 = 1. Jensen’s Inequality for Conditional Expectations Frank Hansen Title Page Contents JJ J II I Go Back Close Quit Page 11 of 12 J. Ineq. Pure and Appl. Math. 6(5) Art. 133, 2005 http://jipam.vu.edu.au References [1] H. ARAKI AND F. HANSEN, Jensen’s operator inequality for functions of several variables, Proc. Amer. Math. Soc., 128 (2000), 2075–2084. [2] L.G. BROWN AND H. KOSAKI, Jensen’s inequality in semi-finite von Neumann algebras, J. Operator Theory, 23 (1990), 3–19. [3] F. HANSEN, Monotone trace functons of several variables, International Journal of Mathematics, 16 (2005), 777–785. [4] F. HANSEN AND G.K. PEDERSEN, Jensen’s operator inequality, Bull. London Math. Soc., 35 (2003), 553–564. [5] F. HANSEN AND G.K. PEDERSEN, Jensen’s trace inequality in several variables, International Journal of Mathematics, 14 (2003), 667–681. [6] E. LIEB AND G.K. PEDERSEN, Convex multivariable trace functions, Reviews in Mathematical Physics, 14 (2002), 631–648. [7] B. MOND AND J.E. PEČARIĆ, On some operator inequalities, Indian Journal of Mathematics, 35 (1993), 221–232. [8] G.K. PEDERSEN, Analysis Now, Graduate Texts in Mathematics, Vol. 118, Springer Verlag, Heidelberg, 1989, reprinted 1995. ∗ [9] G.K. PEDERSEN, Convex trace functions of several variables on C algebras, J. Operator Theory, 50 (2003), 157–167. Jensen’s Inequality for Conditional Expectations Frank Hansen Title Page Contents JJ J II I Go Back Close Quit Page 12 of 12 J. Ineq. Pure and Appl. Math. 6(5) Art. 133, 2005 http://jipam.vu.edu.au