The best bound in the $L \textrm {log} L$ inequality of Hardy and Littlewood and its martingale counterpart
HTML articles powered by AMS MathViewer
- by David Gilat PDF
- Proc. Amer. Math. Soc. 97 (1986), 429-436 Request permission
Abstract:
The smallest positive constant $c$ for which the Hardy and Littlewood [8] $L\log L$ inequality (1) \[ M(f) \equiv \int \frac {{dx}}{x}\int _0^x {|f| \leq c(1 + \int |f|{{\log }^ + }|f|)} \quad \equiv c(1 + L(f))\] is valid is proved to be the unique positive solution ${c_0}$ of the equation ${e^{ - c}} = {(c - 1)^2}$. This settles a question raised by Dubins and Gilat (1978) [6] and, again, more recently, by D. Cox (1984) [3]. Numerically, ${c_0} \doteq 1.478$. This should be compared with $c = e{(e - 1)^{ - 1}} \doteq 1.582$, obtained by Doob (1953) [5] in the context of martingale theory and, since then, widely used in the probability literature. Curiously enough, Doob’s coefficient is the best upper bound, but for a slightly different inequality. If only the plus sign is removed from $\log ^ + \left | f \right |$ in (1), then $c$ must be at least $e{(e - 1)^{ - 1}}$ for (1), so modified, to be valid. The original inequality (1) is a normalized form of the two-parameter inequality (2) \[ M(f) \leq cL(f) + d,\quad {\text {for all integrable}}\quad f.\] The set of all ordered pairs $(c,d)$ for which (2) holds is identified as \[ \{ (c,d):c > 1,d \geq 1 + {e^{ - c}}/(c - 1)\} .\] Furthermore, for each point on the lower boundary of this set, there is a unique $f$ (up to null sets) which attains equality in (2).References
- David Blackwell and Lester E. Dubins, A converse to the dominated convergence theorem, Illinois J. Math. 7 (1963), 508–514. MR 151572
- D. L. Burkholder, Successive conditional expectations of an integrable function, Ann. Math. Statist. 33 (1962), 887–893. MR 143246, DOI 10.1214/aoms/1177704457
- David C. Cox, Some sharp martingale inequalities related to Doob’s inequality, Inequalities in statistics and probability (Lincoln, Neb., 1982) IMS Lecture Notes Monogr. Ser., vol. 5, Inst. Math. Statist., Hayward, CA, 1984, pp. 78–83. MR 789237, DOI 10.1214/lnms/1215465632
- David C. Cox and Robert P. Kertz, Prophet regions and sharp inequalities for $p$th absolute moments of martingales, J. Multivariate Anal. 18 (1986), no. 2, 242–273. MR 832998, DOI 10.1016/0047-259X(86)90072-2
- J. L. Doob, Stochastic processes, John Wiley & Sons, Inc., New York; Chapman & Hall, Ltd., London, 1953. MR 0058896
- Lester E. Dubins and David Gilat, On the distribution of maxima of martingales, Proc. Amer. Math. Soc. 68 (1978), no. 3, 337–338. MR 494473, DOI 10.1090/S0002-9939-1978-0494473-4
- Richard F. Gundy, On the class $L\,\textrm {log}\,L$, martingales, and singular integrals, Studia Math. 33 (1969), 109–118. MR 243588, DOI 10.4064/sm-33-1-109-118
- G. H. Hardy and J. E. Littlewood, A maximal theorem with function-theoretic applications, Acta Math. 54 (1930), no. 1, 81–116. MR 1555303, DOI 10.1007/BF02547518
- G. H. Hardy, J. E. Littlewood, and G. Pólya, Inequalities, Cambridge, at the University Press, 1952. 2d ed. MR 0046395
- Isaac Meilijson and Arthur Nádas, Convex majorization with an application to the length of critical paths, J. Appl. Probab. 16 (1979), no. 3, 671–677. MR 540805, DOI 10.2307/3213097
Additional Information
- © Copyright 1986 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 97 (1986), 429-436
- MSC: Primary 26D15; Secondary 60G46
- DOI: https://doi.org/10.1090/S0002-9939-1986-0840624-3
- MathSciNet review: 840624