×

Products of conditional expectation operators: convergence and divergence. (English) Zbl 1469.60010

Summary: In this paper, we investigate the convergence of products of conditional expectation operators. We show that if \((\Omega,\mathcal{F},P)\) is a probability space that is not purely atomic, then divergent sequences of products of conditional expectation operators involving \(3\) or \(4\) sub-\(\sigma\)-fields of \(\mathcal{F}\) can be constructed for a large class of random variables in \(L^2(\Omega,\mathcal{F},P)\). This settles in the negative a long-open conjecture. On the other hand, we show that if \((\Omega ,\mathcal{F},P)\) is a purely atomic probability space, then products of conditional expectation operators involving any finite set of sub-\(\sigma\)-fields of \(\mathcal{F}\) must converge for all random variables in \(L^1(\Omega,\mathcal{F},P)\).

MSC:

60A05 Axioms; other general questions in probability
60F15 Strong limit theorems
60F25 \(L^p\)-limit theorems

References:

[1] Akcoglu, M.; King, JL, An example of pointwise non-convergence of iterated conditional expectation operators, Israel J. Math., 94, 179-188 (1996) · Zbl 0851.60033 · doi:10.1007/BF02762703
[2] Amemiya, I.; Ando, T., Convergence of random pruducts of contractions in Hilberet space, Acta Scientiarum Mathematicarum (Szegeed), 26, 239-244 (1965) · Zbl 0143.16202
[3] Berti, P.; Pratelli, L.; Rigo, P., Atomic intersection of \(\sigma \)-fields and some of its consequences, Probab. Theory Relat. Fields, 148, 269-283 (2010) · Zbl 1200.60008 · doi:10.1007/s00440-009-0230-x
[4] Browder, FE, On some approximation methods for solutions of the Dirichlet problem for linear elliptic equations of arbitrary order, J. Math. Mech., 7, 69-80 (1958) · Zbl 0108.10003
[5] Burkholder, DL, Successive conditional expectations of an integrable function, Ann. Math. Stat., 33, 887-893 (1962) · Zbl 0128.12602 · doi:10.1214/aoms/1177704457
[6] Burkholder, DL; Chow, YS, Iterates of conditional expectation operators, Proc. Am. Math. Soc., 12, 490-495 (1961) · Zbl 0106.33201 · doi:10.1090/S0002-9939-1961-0142144-3
[7] Cohen, G., Iterates of a product of conditional expectation operators, J. Func. Anal., 242, 658-668 (2007) · Zbl 1128.47011 · doi:10.1016/j.jfa.2006.09.008
[8] Delyon, B.; Delyon, F., Generalization of von Neumann’s spectral sets and integral representation of operators, Bull. Soc. Math. France, 127, 25-41 (1999) · Zbl 0937.47004 · doi:10.24033/bsmf.2340
[9] Doob, JL, Stochastic Processes (1953), New York: Wiley, New York · Zbl 0053.26802
[10] Franchetti, C.; Light, W., The alternating algorithm in uniformly convex space, J. Lond. Math. Soc., 29, 545-555 (1984) · Zbl 0561.41030 · doi:10.1112/jlms/s2-29.3.545
[11] Halperin, I., The product of projection operators, Acta Sci. Math. (Szeged), 23, 96-99 (1962) · Zbl 0143.16102
[12] Komisarski, A., Compositions of conditional expectations, Amemiya-Andô conjecture and paradoxes of thermodynamics, J. Func. Anal., 273, 1195-1119 (2017) · Zbl 1379.46024 · doi:10.1016/j.jfa.2017.05.004
[13] Kopecká, A.; Müller, V., A product of three projections, Studia Math., 223, 175-186 (2014) · Zbl 1314.46031 · doi:10.4064/sm223-2-4
[14] Kopecká, A.; Paszkiewicz, A., Strange products of projections, Israel J. Math., 219, 271-286 (2017) · Zbl 1373.46016 · doi:10.1007/s11856-017-1480-4
[15] Lions, PL, On the Schwarz Alternating Method. I, Domain Decomposition Methods for Partial Differential Equations, 1-42 (1988), Philadelphia: SIAM, Philadelphia · Zbl 0658.65090
[16] von Neumann, J., On rings of operators. Reduction theory, Ann. Math., 50, 401-485 (1949) · Zbl 0034.06102 · doi:10.2307/1969463
[17] Ornstein, D., On the pointwise behavior of iterates of a self-adjoint operators, J. Math. Mech., 18, 473-477 (1968) · Zbl 0182.47103
[18] Paszkiewicz, A.: The Amemiya-Ando conjecture falls (2012). arXiv:1203.3354
[19] Práger, M., Über ein Konvergenzprinzip im Hilbertschen Raum, Czechoslovak Math. J., 10, 271-282 (1960) · Zbl 0090.08902 · doi:10.21136/CMJ.1960.100409
[20] Rao, MM, Exploring ramifications of the equation \(E(Y|X)=X\), J. Stat. Theo. Prac., 1, 73-88 (2007) · Zbl 1130.62065 · doi:10.1080/15598608.2007.10411825
[21] Reich, S., Nonlinear Semigroups, Accretive Operators and Applications, Nonlinear Phenomena in Mathematical Sciences, 831-838 (1982), New York: Academic Press, New York · Zbl 0525.47052 · doi:10.1016/B978-0-12-434170-8.50100-X
[22] Rota, GC, An “Alternierende Verfahren” for general positive operators, Bull. Am. Math. Soc., 68, 95-102 (1962) · Zbl 0116.10403 · doi:10.1090/S0002-9904-1962-10737-X
[23] Sakai, M., Strong convergence of infinite products of orthogonal projections in Hilbert space, Appl. Anal., 59, 109-120 (1995) · Zbl 0846.41026 · doi:10.1080/00036819508840393
[24] Smith, KT; Solmon, DC; Wagner, SL, Practical and mathematical aspects of reconstructing objects from radiographs, Bull. Am. Math. Soc., 83, 1227-1270 (1977) · Zbl 0521.65090 · doi:10.1090/S0002-9904-1977-14406-6
[25] Spingarn, JE, A projection method for least-squares solutions to over-determined systems of linear inequalities, Linear Algebra Appl., 86, 211-236 (1987) · Zbl 0616.65064 · doi:10.1016/0024-3795(87)90296-5
[26] Stein, EM, On the maximal ergodic theorem, Proc. Natl. Acad. Sci. USA, 47, 1894-1897 (1961) · Zbl 0182.47102 · doi:10.1073/pnas.47.12.1894
[27] Zaharopol, R., On products of conditional expectation operators, Canad. Math. Bull., 33, 257-260 (1990) · Zbl 0755.47008 · doi:10.4153/CMB-1990-041-3
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.