Extrapolation and interpolation of quasi-linear operators on martingales.

*(English)*Zbl 0223.60021Let \((\Sigma_n)_{n>0}\) be an increasing sequence of \(\sigma\)-algebras in a probability space. A sequence \(x =(x_n)_{n\geq 1}\) of integrable random variables (r.v.) forms a martingale difference sequence if \(E(x_n\!\mid\! \Sigma_{n-1})=0\) for \(\geq 2\). A sequence \(f = (f_n)_{n\geq 1}\) is a martingale transform of \(x = (x_n)\) if \(f_n = \sum_{k=1}^n d_k\) where \(d_k = v_kx_k\), \(v_k\) being a \(\Sigma_{k-1}\) measurable r.v. If the \(v_k\)’s are such that \(v_kx_k\)’s are integrable then \(f=(f_n)\) forms a martingale sequence. The generality and utility of martingale transforms lie in the fact that with practically no direct integrability assumptions on \(v_k\), surprisingly general and profound inequalities can be established for norms of various types for \(f_n\) or functionals of \(f_n\). These inequalities in their turn lead to convergence statements concerning \(f_n\). For \(f_n\)’s which are linear combinations with constant coefficients of a sequence of independent r.v. \(x_n\)’s, the theory was initiated by Marcinkiewicz and Zygmund in the late 1930’s. The inspiration for that work was evidently the inequalities of Paley concerning Walsh and Haar series and the inequalities of Hardy and Littlewood. Indeed the recent rejuvenation of the theory by Burkholder, E. Stein and others (specially in ergodic theory, harmonic analysis and probability theory) still bear deep imprints of the techniques used by the pioneers.

However, the results obtained in this paper attain a degree of generality and precision that would seem to indicate that one important chapter in this theory is complete. Instead of enumerating in detail the theorems of this paper, let us indicate the nature of the results obtained.

Given \(f =(f_n)\) a martingale transform of \(x=(x_n)\), form \(f^*= \sup_n | f_n |\) and \(S (f) =(\sum_{k=1}^\infty d_k^2)^{1/2}\) where \(f_n = \sum_{k=1}^n d_k\). If \(f =(f_n)\) itself is a martingale, it is known that the inequality \[ \alpha_p\| S(f)\|_p\leq \| f^*\|_p\leq \beta_p \| S(f)\|_p \tag{\text{I}} \] is valid for \(1 < p <\infty\). Indeed this is an important consequence of the results of D. L. Burkholder [Ann. Math. Stat. 37, 1494–1504 (1966; Zbl 0306.60030)]. The results of the present paper form a considerable extension of (I). Inequalities of type (I) are shown to be true with (1) \(f\) martingale transforms of \(x\) where \(x\) satisfies certain conditions on \(E(| x_k|^\rho \!\mid\! \Sigma_{k-1})\), (2) \(S\) replaced by \(T\), a very general class of quasilinear operators defined an sequences of r.v.’s with values as positive r.v.’s and (3) \(L^p\) norms replaced by general Orlicz space type norms which include \(L^p\), \(0 < p < \infty\). Specialisation of \(T\) to matrix type operators yields more precise results. Several applications to random walks, Haar and Walsh series, convergence of martingale transforms and to Brownian motion are included. The nature of the conditions imposed on \(x\) and \(T\) are elucidated by examples and comments. It is to be noted that the inequality (I) itself (for \(f\) a martingale) has been shown to be true for \(p=1\) [B. Davis, Isr. J. Math. 8, 187–190 (1970; Zbl 0211.21902)] and that (I) is false for \(0 < p < 1\) without some restrictions on \(x\). The techniques used in the paper combine classical analysis and probability theory. From the former are taken the ideas of interpolation theory and the Rademacher series while the consistent use of stopping and starting times indicates the influence of probabilistic intuition. It is to be hoped that the essential results of this paper would be given easier proofs in the near future.

However, the results obtained in this paper attain a degree of generality and precision that would seem to indicate that one important chapter in this theory is complete. Instead of enumerating in detail the theorems of this paper, let us indicate the nature of the results obtained.

Given \(f =(f_n)\) a martingale transform of \(x=(x_n)\), form \(f^*= \sup_n | f_n |\) and \(S (f) =(\sum_{k=1}^\infty d_k^2)^{1/2}\) where \(f_n = \sum_{k=1}^n d_k\). If \(f =(f_n)\) itself is a martingale, it is known that the inequality \[ \alpha_p\| S(f)\|_p\leq \| f^*\|_p\leq \beta_p \| S(f)\|_p \tag{\text{I}} \] is valid for \(1 < p <\infty\). Indeed this is an important consequence of the results of D. L. Burkholder [Ann. Math. Stat. 37, 1494–1504 (1966; Zbl 0306.60030)]. The results of the present paper form a considerable extension of (I). Inequalities of type (I) are shown to be true with (1) \(f\) martingale transforms of \(x\) where \(x\) satisfies certain conditions on \(E(| x_k|^\rho \!\mid\! \Sigma_{k-1})\), (2) \(S\) replaced by \(T\), a very general class of quasilinear operators defined an sequences of r.v.’s with values as positive r.v.’s and (3) \(L^p\) norms replaced by general Orlicz space type norms which include \(L^p\), \(0 < p < \infty\). Specialisation of \(T\) to matrix type operators yields more precise results. Several applications to random walks, Haar and Walsh series, convergence of martingale transforms and to Brownian motion are included. The nature of the conditions imposed on \(x\) and \(T\) are elucidated by examples and comments. It is to be noted that the inequality (I) itself (for \(f\) a martingale) has been shown to be true for \(p=1\) [B. Davis, Isr. J. Math. 8, 187–190 (1970; Zbl 0211.21902)] and that (I) is false for \(0 < p < 1\) without some restrictions on \(x\). The techniques used in the paper combine classical analysis and probability theory. From the former are taken the ideas of interpolation theory and the Rademacher series while the consistent use of stopping and starting times indicates the influence of probabilistic intuition. It is to be hoped that the essential results of this paper would be given easier proofs in the near future.

Reviewer: S. D. Chatterji (Lausanne)

##### MSC:

60G46 | Martingales and classical analysis |

60G44 | Martingales with continuous parameter |

60G42 | Martingales with discrete parameter |

##### Keywords:

martingale sequence; martingale transforms; norm inequalities; quasilinear operators; extrapolation; interpolation
PDF
BibTeX
XML
Cite

\textit{D. L. Burkholder} and \textit{R. F. Gundy}, Acta Math. 124, 249--304 (1970; Zbl 0223.60021)

Full Text:
DOI

##### References:

[1] | Burkholder, D. L., Martingale transforms.Ann. Math. Statist., 37 (1966), 1494–1504. · Zbl 0306.60030 · doi:10.1214/aoms/1177699141 |

[2] | Calderón, A. P. &Zygmund, A., A note on the interpolation of sublinear operations.Amer. J. Math., 78 (1956), 282–288. · Zbl 0071.33601 · doi:10.2307/2372516 |

[3] | Chow, Y. S., Convergence of sums of squares of martingale differences.Ann. Math. Statist., 39 (1968), 123–133. · Zbl 0196.19502 · doi:10.1214/aoms/1177698509 |

[4] | Davis, B., Divergence properties of some martingale transforms.Ann. Math. Statist., 40 (1969), 1852–1854. · Zbl 0185.45101 · doi:10.1214/aoms/1177697402 |

[5] | Doob, J. L.,Stochastic processes. New York, 1953. · Zbl 0053.26802 |

[6] | Dvoretzky, A., Personal communication. |

[7] | Gundy, R. F., The martingale version of a theorem of Marcinkiewicz and Zygmund.Ann. Math. Statist., 38 (1967), 725–734. · Zbl 0153.20901 · doi:10.1214/aoms/1177698865 |

[8] | –, A decomposition forL 1-bounded martingales.Ann. Math. Statist., 39 (1968), 134–138. · Zbl 0185.45102 · doi:10.1214/aoms/1177698510 |

[9] | –, On the classL logL, martingales, and singular integrals.Studia Math., 33 (1969), 109–118. |

[10] | Hardy, G. H., andLittlewood, J. E., A maximal theorem with function-theoretic applications.Acta Math., 54 (1930), 81–116. · JFM 56.0264.02 · doi:10.1007/BF02547518 |

[11] | Marcinkiewicz, J., Quelques théorèmes sur les séries orthogonales.Ann. Soc. Polon. Math., 16 (1937), 84–96 (pages 307–318 of theCollected Papers.) |

[12] | Marcinkiewicz, J. &Zygmund, A., Quelques théorèmes sur les fonctions indépendantes.Studia Math., 7 (1938), 104–120 (pages 374–388 of theCollected Papers of Marcinkiewicz). · JFM 64.0214.01 |

[13] | Millar, P. W., Martingale integrals.Trans. Amer. Math. Soc., 133 (1968), 145–166. · doi:10.1090/S0002-9947-1968-0226721-8 |

[14] | Paley, R. E. A. C., A remarkable series of orthogonal functions.Proc. London Math. Soc., 34 (1932), 241–279. · Zbl 0005.24806 · doi:10.1112/plms/s2-34.1.241 |

[15] | Stein, E. M.,Topics in harmonic analysis related to the Littlewood-Paley theory. Ann. Math. Studies 63. Princeton, 1970. · Zbl 0193.10502 |

[16] | Tsuchikura, T., Sample properties of martingales and their arithmetic means.Tôhoku Math. J., 20 (1968), 400–415. · Zbl 0234.60063 · doi:10.2748/tmj/1178243146 |

[17] | Zygmund, A.,Trigonometric series, 2nd edition. Cambridge, 1959. · Zbl 0085.05601 |

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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.