-
Sharp two-weight inequality for fractional maximal operators
Authors:
Rodrigo Bañuelos,
Adam Osękowski
Abstract:
The paper is devoted to two-weight estimates for the fractional maximal operators $\mathcal{M}^α$ on general probability spaces equipped with a tree-like structure. For given $1<p\leq q<\infty$, we study the sharp universal upper bound for the norm $ \|\mathcal{M}^α\|_{L^p(v)\to L^q(u)}$, where $(u,v)$ is an arbitrary pair of weights satisfying the Sawyer testing condition. The proof is based on t…
▽ More
The paper is devoted to two-weight estimates for the fractional maximal operators $\mathcal{M}^α$ on general probability spaces equipped with a tree-like structure. For given $1<p\leq q<\infty$, we study the sharp universal upper bound for the norm $ \|\mathcal{M}^α\|_{L^p(v)\to L^q(u)}$, where $(u,v)$ is an arbitrary pair of weights satisfying the Sawyer testing condition. The proof is based on the abstract Bellman function method, which reveals an unexpected connection of the above problem with the sharp version of the classical Sobolev imbedding theorem.
△ Less
Submitted 6 January, 2025;
originally announced January 2025.
-
On the existence of extreme coherent distributions with no atoms
Authors:
Stanisław Cichomski,
Adam Osękowski
Abstract:
The paper is devoted to the study of extremal points of $\mathcal{C}$, the family of all two-variate coherent distributions on $[0,1]^2$. It is well-known that the set $\mathcal{C}$ is convex and weak$^*$ compact, and all extreme points of $\mathcal{C}$ must be supported on sets of Lebesgue measure zero. Conversely, examples of extreme coherent measures, with a finite or countable infinite number…
▽ More
The paper is devoted to the study of extremal points of $\mathcal{C}$, the family of all two-variate coherent distributions on $[0,1]^2$. It is well-known that the set $\mathcal{C}$ is convex and weak$^*$ compact, and all extreme points of $\mathcal{C}$ must be supported on sets of Lebesgue measure zero. Conversely, examples of extreme coherent measures, with a finite or countable infinite number of atoms, have been successfully constructed in the literature.
The main purpose of this article is to bridge the natural gap between those two results: we provide an example of extreme coherent distribution with an uncountable support and with no atoms. Our argument is based on classical tools and ideas from the dynamical systems theory. This unexpected connection can be regarded as an independent contribution of the paper.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
Coherent distributions on the square $\unicode{x2013}$ extreme points and asymptotics
Authors:
Stanisław Cichomski,
Adam Osękowski
Abstract:
Let $\mathcal{C}$ denote the family of all coherent distributions on the unit square $[0,1]^2$, i.e. all those probability measures $μ$ for which there exists a random vector $(X,Y)\sim μ$, a pair $(\mathcal{G},\mathcal{H})$ of $σ$-fields and an event $E$ such that $X=\mathbb{P}(E|\mathcal{G})$, $Y=\mathbb{P}(E|\mathcal{H})$ almost surely. In this paper we examine the set…
▽ More
Let $\mathcal{C}$ denote the family of all coherent distributions on the unit square $[0,1]^2$, i.e. all those probability measures $μ$ for which there exists a random vector $(X,Y)\sim μ$, a pair $(\mathcal{G},\mathcal{H})$ of $σ$-fields and an event $E$ such that $X=\mathbb{P}(E|\mathcal{G})$, $Y=\mathbb{P}(E|\mathcal{H})$ almost surely. In this paper we examine the set $\mathrm{ext}(\mathcal{C})$ of extreme points of $\mathcal{C}$ and provide its general characterisation. Moreover, we establish several structural properties of finitely-supported elements of $\mathrm{ext}(\mathcal{C})$. We apply these results to obtain the asymptotic sharp bound $$\lim_{α\to \infty} α\cdot \Big(\sup_{(X,Y)\in \mathcal{C}}\mathbb{E}|X-Y|^α\Big) = \frac{2}{e}.$$
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
The sharp weighted maximal inequalities for noncommutative martingales
Authors:
Tomasz Gałązka,
Yong Jiao,
Adam Osękowski,
Lian Wu
Abstract:
The purpose of the paper is to establish weighted maximal $L_p$-inequalities in the context of operator-valued martingales on semifinite von Neumann algebras. The main emphasis is put on the optimal dependence of the $L_p$ constants on the characteristic of the weight involved. As applications, we establish weighted estimates for the noncommutative version of Hardy-Littlewood maximal operator and…
▽ More
The purpose of the paper is to establish weighted maximal $L_p$-inequalities in the context of operator-valued martingales on semifinite von Neumann algebras. The main emphasis is put on the optimal dependence of the $L_p$ constants on the characteristic of the weight involved. As applications, we establish weighted estimates for the noncommutative version of Hardy-Littlewood maximal operator and weighted bounds for noncommutative maximal truncations of a wide class of singular integrals.
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Contradictory predictions with multiple agents
Authors:
Stanisław Cichomski,
Adam Osękowski
Abstract:
Let $X_1$, $X_2$, $\ldots$, $X_n$ be a sequence of coherent random variables, i.e., satisfying the equalities $$ X_j=\mathbb{P}(A|\mathcal{G}_j),\qquad j=1,\,2,\,\ldots,\,n,$$ almost surely for some event $A$. The paper contains the proof of the estimate $$\mathbb{P}\Big(\max_{1\le i < j\le n}|X_i-X_j|\ge δ\Big) \leq \frac{n(1-δ)}{2-δ} \wedge 1,$$ where $δ\in (\frac{1}{2},1]$ is a given parameter.…
▽ More
Let $X_1$, $X_2$, $\ldots$, $X_n$ be a sequence of coherent random variables, i.e., satisfying the equalities $$ X_j=\mathbb{P}(A|\mathcal{G}_j),\qquad j=1,\,2,\,\ldots,\,n,$$ almost surely for some event $A$. The paper contains the proof of the estimate $$\mathbb{P}\Big(\max_{1\le i < j\le n}|X_i-X_j|\ge δ\Big) \leq \frac{n(1-δ)}{2-δ} \wedge 1,$$ where $δ\in (\frac{1}{2},1]$ is a given parameter. The inequality is sharp: for any $δ$, the constant on the right cannot be replaced by any smaller number. The argument rests on several novel combinatorial and symmetrization arguments, combined with dynamic programming. Our result generalizes the two-variate inequality of K. Burdzy and S. Pal and in particular provides its alternative derivation.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
Doob's estimate for coherent random variables and maximal operators on trees
Authors:
Stanisław Cichomski,
Adam Osękowski
Abstract:
Let $ξ$ be an integrable random variable defined on $(Ω, \mathcal{F}, \mathbb{P})$. Fix $k\in \mathbb{Z}_+$ and let $\{\mathcal{G}_{i}^{j}\}_{1\le i \le n, 1\le j \le k}$ be a reference family of sub-$σ$-fields of $\mathcal{F}$, such that $\{\mathcal{G}_{i}^{j}\}_{1\le i \le n}$ is a filtration for each $j\in \{1,2,\dots,k\}$.
In this article we explain the underlying connection between the anal…
▽ More
Let $ξ$ be an integrable random variable defined on $(Ω, \mathcal{F}, \mathbb{P})$. Fix $k\in \mathbb{Z}_+$ and let $\{\mathcal{G}_{i}^{j}\}_{1\le i \le n, 1\le j \le k}$ be a reference family of sub-$σ$-fields of $\mathcal{F}$, such that $\{\mathcal{G}_{i}^{j}\}_{1\le i \le n}$ is a filtration for each $j\in \{1,2,\dots,k\}$.
In this article we explain the underlying connection between the analysis of the maximal functions of the corresponding coherent vector and basic combinatorial properties of the uncentered Hardy-Littlewood maximal operator. Following a classical approach of Grafakos, Kinnunen and Montgomery-Smith, we establish an appropriate version of the celebrated Doob's maximal estimate.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
On the diameter of the stopped spider process
Authors:
Ewelina Bednarz,
Philip A. Ernst,
Adam Osekowski
Abstract:
We consider the Brownian ``spider process'', also known as Walsh Brownian motion, first introduced in the epilogue of Walsh 1978. The paper provides the best constant $C_n$ for the inequality $$ E D_τ\leq C_n \sqrt{E τ},$$ where $τ$ is the class of all adapted and integrable stopping times and $D$ denotes the diameter of the spider process measured in terms of the British rail metric. The proof re…
▽ More
We consider the Brownian ``spider process'', also known as Walsh Brownian motion, first introduced in the epilogue of Walsh 1978. The paper provides the best constant $C_n$ for the inequality $$ E D_τ\leq C_n \sqrt{E τ},$$ where $τ$ is the class of all adapted and integrable stopping times and $D$ denotes the diameter of the spider process measured in terms of the British rail metric. The proof relies on the explicit identification of the value function for the associated optimal stopping problem.
△ Less
Submitted 11 June, 2021; v1 submitted 31 May, 2021;
originally announced May 2021.
-
A dual approach to Burkholder's $L^p$ estimates
Authors:
Rodrigo Bañuelos,
Tomasz Gałązka,
Adam Osękowski
Abstract:
The paper contains an alternative proof of the celebrated $L^p$ estimates for differentially subordinate martingales established by Burkholder and Wang in the eighties and nineties. The approach links the validity of the estimate to the existence of a lower solution to a novel boundary value problem.
The paper contains an alternative proof of the celebrated $L^p$ estimates for differentially subordinate martingales established by Burkholder and Wang in the eighties and nineties. The approach links the validity of the estimate to the existence of a lower solution to a novel boundary value problem.
△ Less
Submitted 14 June, 2020;
originally announced June 2020.
-
Burkholder's function and a weighted $L^2$ bound for stochastic integrals
Authors:
Rodrigo Banuelos,
Michal Brzozowski,
Adam Osekowski
Abstract:
Let $X$ be a continuous-path martingale and let $Y$ be a stochastic integral, with respect to $X$, of some predictable process with values in $[-1,1]$. We provide an explicit formula for Burkholder's function associated with the weighted $L^2$ bound $$ \|Y\|_{L^2(W)}\lesssim [w]_{A_2}\|X\|_{L^2(W)}.$$
Let $X$ be a continuous-path martingale and let $Y$ be a stochastic integral, with respect to $X$, of some predictable process with values in $[-1,1]$. We provide an explicit formula for Burkholder's function associated with the weighted $L^2$ bound $$ \|Y\|_{L^2(W)}\lesssim [w]_{A_2}\|X\|_{L^2(W)}.$$
△ Less
Submitted 7 March, 2020;
originally announced March 2020.
-
The ${\rm BMO}\to{\rm BLO}$ action of the maximal operator on $α$-trees
Authors:
Adam Osȩkowski,
Leonid Slavin,
Vasily Vasyunin
Abstract:
We obtain the explicit upper Bellman function for the natural dyadic maximal operator acting from ${\rm BMO}(\mathbb{R}^n)$ into ${\rm BLO}(\mathbb{R}^n).$ As a consequence, we show that the ${\rm BMO}\to{\rm BLO}$ norm of the natural operator equals 1 for all $n,$ and so does the norm of the classical dyadic maximal operator. The main result is a partial corollary of a theorem for the so-called…
▽ More
We obtain the explicit upper Bellman function for the natural dyadic maximal operator acting from ${\rm BMO}(\mathbb{R}^n)$ into ${\rm BLO}(\mathbb{R}^n).$ As a consequence, we show that the ${\rm BMO}\to{\rm BLO}$ norm of the natural operator equals 1 for all $n,$ and so does the norm of the classical dyadic maximal operator. The main result is a partial corollary of a theorem for the so-called $α$-trees, which generalize dyadic lattices. The Bellman function in this setting exhibits an interesting quasi-periodic structure depending on $α,$ but also allows a majorant independent of $α,$ hence the dimension-free norm constant. We also describe the decay of the norm with respect to the difference between the average of a function on a cube and the infimum of its maximal function on that cube. An explicit norm-optimizing sequence is constructed.
△ Less
Submitted 12 August, 2019;
originally announced August 2019.
-
Noncommutative Good-$λ$ Inequalities
Authors:
Yong Jiao,
Adam Osekowski,
Lian Wu
Abstract:
We propose a novel approach in noncommutative probability, which can be regarded as an analogue of good-$λ$ inequalities from the classical case due to Burkholder and Gundy (Acta Math {\bf124}: 249-304,1970). This resolves a longstanding open problem in noncommutative realm. Using this technique, we present new proofs of noncommutative Burkholder-Gundy inequalities, Stein's inequality, Doob's ineq…
▽ More
We propose a novel approach in noncommutative probability, which can be regarded as an analogue of good-$λ$ inequalities from the classical case due to Burkholder and Gundy (Acta Math {\bf124}: 249-304,1970). This resolves a longstanding open problem in noncommutative realm. Using this technique, we present new proofs of noncommutative Burkholder-Gundy inequalities, Stein's inequality, Doob's inequality and $L^p$-bounds for martingale transforms; all the constants obtained are of optimal orders. The approach also allows us to investigate the noncommutative analogues of decoupling techniques and, in particular, to obtain new estimates for noncommutative martingales with tangent difference sequences and sums of tangent positive operators. These in turn yield an enhanced version of Doob's maximal inequality for adapted sequences and a sharp estimate for a certain class of Schur multipliers. We also present fully new applications of good-$λ$ approach to noncommutative harmonic analysis, including inequalities for differentially subordinate operators motivated by the classical $L^p$-bound for the Hilbert transform and the estimate for the $j$-th Riesz transform on group von Neumann algebras with constants of optimal orders as $p\to\infty.$
△ Less
Submitted 19 November, 2018; v1 submitted 18 May, 2018;
originally announced May 2018.
-
The Hilbert transform and orthogonal martingales in Banach spaces
Authors:
Adam Osękowski,
Ivan Yaroslavtsev
Abstract:
Let $X$ be a given Banach space and let $M$, $N$ be two orthogonal $X$-valued local martingales such that $N$ is weakly differentially subordinate to $M$. The paper contains the proof of the estimate $$ \mathbb E Ψ(N_t) \leq C_{Φ,Ψ,X} \mathbb E Φ(M_t),\;\;\; t\geq 0, $$ where $Φ, Ψ:X \to \mathbb R_+$ are convex continuous functions and the least admissible constant $C_{Φ,Ψ,X}$ coincides with the…
▽ More
Let $X$ be a given Banach space and let $M$, $N$ be two orthogonal $X$-valued local martingales such that $N$ is weakly differentially subordinate to $M$. The paper contains the proof of the estimate $$ \mathbb E Ψ(N_t) \leq C_{Φ,Ψ,X} \mathbb E Φ(M_t),\;\;\; t\geq 0, $$ where $Φ, Ψ:X \to \mathbb R_+$ are convex continuous functions and the least admissible constant $C_{Φ,Ψ,X}$ coincides with the $Φ,Ψ$-norm of the periodic Hilbert transform. As a corollary, it is shown that the $Φ,Ψ$-norms of the periodic Hilbert transform, the Hilbert transform on the real line, and the discrete Hilbert transform are the same if $Φ$ is symmetric. We also prove that under certain natural assumptions on $Φ$ and $Ψ$, the condition $C_{Φ,Ψ,X}<\infty$ yields the UMD property of the space $X$. As an application, we provide comparison of $L^p$-norms of the periodic Hilbert transform to Wiener and Paley-Walsh decoupling constants. We also study the norms of the periodic, nonperiodic and discrete Hilbert transforms, present the corresponding estimates in the context of differentially subordinate harmonic functions and more general singular integral operators.
△ Less
Submitted 2 July, 2019; v1 submitted 10 May, 2018;
originally announced May 2018.
-
Weighted square function estimates
Authors:
Rodrigo Banuelos,
Adam Osekowski
Abstract:
The paper contains the proof of $L^p$-weighted norm inequalities for both, martingales square functions and the classical square functions in harmonic analysis of Littlewood-Paley and Lusin. Furthermore, the bounds are completely explicit and are optimal not only on the dependence of the characteristics of the weight but also on the dependance on $p$, as $p\to\infty$. The proof rests on Bellman fu…
▽ More
The paper contains the proof of $L^p$-weighted norm inequalities for both, martingales square functions and the classical square functions in harmonic analysis of Littlewood-Paley and Lusin. Furthermore, the bounds are completely explicit and are optimal not only on the dependence of the characteristics of the weight but also on the dependance on $p$, as $p\to\infty$. The proof rests on Bellman function method: the estimates are deduced from the existence of an appropriate and rather complicated function of four variables.
△ Less
Submitted 23 November, 2017;
originally announced November 2017.
-
Various sharp estimates for semi-discrete Riesz transforms of the second order
Authors:
Komla Domelevo,
Adam Osekowski,
Stefanie Petermichl
Abstract:
We give several sharp estimates for a class of combinations of second order Riesz transforms on Lie groups ${G}={G}_{x} \times {G}_{y}$ that are multiply connected, composed of a discrete abelian component ${G}_{x}$ and a connected component ${G}_{y}$ endowed with a biinvariant measure. These estimates include new sharp $L^p$ estimates via Choi type constants, depending upon the multipliers of the…
▽ More
We give several sharp estimates for a class of combinations of second order Riesz transforms on Lie groups ${G}={G}_{x} \times {G}_{y}$ that are multiply connected, composed of a discrete abelian component ${G}_{x}$ and a connected component ${G}_{y}$ endowed with a biinvariant measure. These estimates include new sharp $L^p$ estimates via Choi type constants, depending upon the multipliers of the operator. They also include weak-type, logarithmic and exponential estimates. We give an optimal $L^q \to L^p$ estimate as well.
It was shown recently by Arcozzi, Domelevo and Petermichl that such second order Riesz transforms applied to a function may be written as conditional expectation of a simple transformation of a stochastic integral associated with the function.
The proofs of our theorems combine this stochastic integral representation with a number of deep estimates for pairs of martingales under strong differential subordination by Choi, Banuelos and Osekowski.
When two continuous directions are available, sharpness is shown via the laminates technique. We show that sharpness is preserved in the discrete case using Lax-Richtmyer theorem.
△ Less
Submitted 15 January, 2017;
originally announced January 2017.
-
Stability in Burkholder's differentially subordinate martingales inequalities and applications to Fourier multipliers
Authors:
Rodrigo Banuelos,
Adam Osekowski
Abstract:
We study stability estimates for the almost extremal functions associated with the $L^p$-bound for the real and imaginary parts of the Beurling-Ahlfors operator. The proof exploits probabilistic methods and rests on analogous results for differentially subordinate martingales which are of independent interest. This allows us to obtain stability inequalities for a larger class of Fourier multiplier…
▽ More
We study stability estimates for the almost extremal functions associated with the $L^p$-bound for the real and imaginary parts of the Beurling-Ahlfors operator. The proof exploits probabilistic methods and rests on analogous results for differentially subordinate martingales which are of independent interest. This allows us to obtain stability inequalities for a larger class of Fourier multipliers.
△ Less
Submitted 27 September, 2016;
originally announced September 2016.
-
Sharp Weighted $L^2$ inequalities for square functions
Authors:
Rodrigo Banuelos,
Adam Osekowski
Abstract:
Using Bellman function approach, we present new proofs of weighted $L^2$ inequalities for square functions, with the optimal dependence on the $A_2$ characteristics of the weight and further explicit constants. We study the estimates both in the analytic and probabilistic context, and, as application, obtain related estimates for the classical Lusin and Littlewood-Paley square functions.
Using Bellman function approach, we present new proofs of weighted $L^2$ inequalities for square functions, with the optimal dependence on the $A_2$ characteristics of the weight and further explicit constants. We study the estimates both in the analytic and probabilistic context, and, as application, obtain related estimates for the classical Lusin and Littlewood-Paley square functions.
△ Less
Submitted 16 March, 2016;
originally announced March 2016.
-
On the Bellman function of Nazarov, Treil and Volberg
Authors:
Rodrigo Banuelos,
Adam Osekowski
Abstract:
We give an explicit formula for the Bellman function associated with the dual bound related to the unconditional constant of the Haar system.
We give an explicit formula for the Bellman function associated with the dual bound related to the unconditional constant of the Haar system.
△ Less
Submitted 28 January, 2014;
originally announced January 2014.
-
Sharp maximal $L^p$-estimates for martingales
Authors:
Rodrigo Bañuelos,
Adam Osekowski
Abstract:
Let $X$ be a supermartingale starting from $0$ which has only nonnegative jumps. For each $0<p<1$ we determine the best constants $c_p$, $C_p$ and $\mathfrak{c}_p$ such that $$ \,\,\,\,\sup_{t\geq 0}\left|\left|X_t\right|\right|_p\leq C_p\left|\left|-\inf_{t\geq 0}X_t\right|\right|_p,$$ $$ \,\,||\sup_{t\geq 0}X_t||_p\leq c_p\left|\left|-\inf_{t\geq 0}X_t\right|\right|_p$$ and…
▽ More
Let $X$ be a supermartingale starting from $0$ which has only nonnegative jumps. For each $0<p<1$ we determine the best constants $c_p$, $C_p$ and $\mathfrak{c}_p$ such that $$ \,\,\,\,\sup_{t\geq 0}\left|\left|X_t\right|\right|_p\leq C_p\left|\left|-\inf_{t\geq 0}X_t\right|\right|_p,$$ $$ \,\,||\sup_{t\geq 0}X_t||_p\leq c_p\left|\left|-\inf_{t\geq 0}X_t\right|\right|_p$$ and $$ ||\sup_{t\geq 0}|X_t|\;||_p\leq \mathfrak{c}_p\left|\left|-\inf_{t\geq 0}X_t\right|\right|_p.$$ The estimates are shown to be sharp if $X$ is assumed to be a stopped one-dimensional Brownian motion. The inequalities are deduced from the existence of special functions, enjoying certain majorization and convexity-type properties. Some applications concerning harmonic functions on Euclidean domains are indicated.
△ Less
Submitted 17 December, 2013;
originally announced December 2013.
-
Weighted norm inequalities for fractional maximal operators--a Bellman function approach
Authors:
Rodrigo Banuelos,
Adam Osekowski
Abstract:
We study classical weighted $L^p\to L^q$ inequalities for the fractional maximal operators on $\R^d$, proved originally by Muckenhoupt and Wheeden in the 70's. We establish a slightly stronger version of this inequality with the use of a novel extension of Bellman function method.
More precisely, the estimate is deduced from the existence of a certain special function which enjoys appropriate ma…
▽ More
We study classical weighted $L^p\to L^q$ inequalities for the fractional maximal operators on $\R^d$, proved originally by Muckenhoupt and Wheeden in the 70's. We establish a slightly stronger version of this inequality with the use of a novel extension of Bellman function method.
More precisely, the estimate is deduced from the existence of a certain special function which enjoys appropriate majorization and concavity. From this result and an explicit version of the ``$A_{p-\varepsilon}$ theorem," derived also with Bellman functions, we obtain the sharp inequality of Lacey, Moen, Pérez and Torres.
△ Less
Submitted 23 November, 2013;
originally announced November 2013.
-
On Astala's theorem for martingales and Fourier multipliers
Authors:
Rodrigo Banuelos,
Adam Osekowski
Abstract:
We exhibit a large class of symbols $m$ on $\R^d$, $d\geq 2$, for which the corresponding Fourier multipliers $T_m$ satisfy the following inequality. If $D$, $E$ are measurable subsets of $\R^d$ with $E\subseteq D$ and $|D|<\infty$, then…
▽ More
We exhibit a large class of symbols $m$ on $\R^d$, $d\geq 2$, for which the corresponding Fourier multipliers $T_m$ satisfy the following inequality. If $D$, $E$ are measurable subsets of $\R^d$ with $E\subseteq D$ and $|D|<\infty$, then $$ \int_{D\setminus E} |T_{m}χ_E(x)|\mbox{d}x\leq \begin{cases} |E|+|E|\ln\left(\frac{|D|}{2|E|}\right), & \mbox{if}|E|<|D|/2, |D\setminus E|+\frac{1}{2}|D \setminus E|\ln \left(\frac{|E|}{|D\setminus E|}\right), & \mbox{if}|E|\geq |D|/2. \end{cases}. $$ Here $|\cdot|$ denotes the Lebesgue measure on $\bR^d$. When $d=2$, these multipliers include the real and imaginary parts of the Beurling-Ahlfors operator $B$ and hence the inequality is also valid for $B$ with the right-hand side multiplied by $\sqrt{2}$. The inequality is sharp for the real and imaginary parts of $B$. This work is motivated by K. Astala's celebrated results on the Gehring-Reich conjecture concerning the distortion of area by quasiconformal maps. The proof rests on probabilistic methods and exploits a family of appropriate novel sharp inequalities for differentially subordinate martingales. These martingale bounds are of interest on their own right.
△ Less
Submitted 16 June, 2013;
originally announced June 2013.
-
Sharp martingale inequalities and applications to Riesz transforms on manifolds, Lie groups and Gauss space
Authors:
Rodrigo Banuelos,
Adam Osekowski
Abstract:
We prove new sharp $L^p$, logarithmic, and weak-type inequalities for martingales under the assumption of differentially subordination. The $L^p$ estimates are "Fyenman-Kac" type versions of Burkholder's celebrated martingale transform inequalities. From the martingale $L^p$ inequalities we obtain that Riesz transforms on manifolds of nonnegative Bakry-Emery Ricci curvature have exactly the same…
▽ More
We prove new sharp $L^p$, logarithmic, and weak-type inequalities for martingales under the assumption of differentially subordination. The $L^p$ estimates are "Fyenman-Kac" type versions of Burkholder's celebrated martingale transform inequalities. From the martingale $L^p$ inequalities we obtain that Riesz transforms on manifolds of nonnegative Bakry-Emery Ricci curvature have exactly the same $L^p$ bounds as those known for Riesz transforms in the flat case of $\R^n$. From the martingale logarithmic and weak-type inequalities we obtain similar inequalities for Riesz transforms on compact Lie groups and spheres. Combining the estimates for spheres with Poincaré's limiting argument, we deduce the corresponding results for Riesz transforms associated with the Ornstein-Uhlenbeck semigroup, thus providing some extensions of P.A. Meyer's $L^p$ inequalities.
△ Less
Submitted 14 May, 2013; v1 submitted 7 May, 2013;
originally announced May 2013.
-
Sharp maximal inequalities for the moments of martingales and non-negative submartingales
Authors:
Adam Osȩkowski
Abstract:
In the paper we study sharp maximal inequalities for martingales and non-negative submartingales: if $f$, $g$ are martingales satisfying \[|\mathrm{d}g_n|\leq|\mathrm{d}f_n|,\qquad n=0,1,2,...,\] almost surely, then \[\Bigl\|\sup_{n\geq0}|g_n|\Bigr\|_p\leq p\|f\|_p,\qquad p\geq2,\] and the inequality is sharp. Furthermore, if $α\in[0,1]$, $f$ is a non-negative submartingale and $g$ satisfies \[|\m…
▽ More
In the paper we study sharp maximal inequalities for martingales and non-negative submartingales: if $f$, $g$ are martingales satisfying \[|\mathrm{d}g_n|\leq|\mathrm{d}f_n|,\qquad n=0,1,2,...,\] almost surely, then \[\Bigl\|\sup_{n\geq0}|g_n|\Bigr\|_p\leq p\|f\|_p,\qquad p\geq2,\] and the inequality is sharp. Furthermore, if $α\in[0,1]$, $f$ is a non-negative submartingale and $g$ satisfies \[|\mathrm{d}g_n|\leq|\mathrm{d}f_n|\quad and\quad |\mathbb{E}(\mathrm{d}g_{n+1}|\mathcal {F}_n)|\leqα\mathbb{E}(\mathrm{d}f_{n+1}|\mathcal{F}_n),\qquad n=0,1,2,...,\] almost surely, then \[\Bigl\|\sup_{n\geq0}|g_n|\Bigr\|_p\leq(α+1)p\|f\|_p,\qquad p\geq2,\] and the inequality is sharp. As an application, we establish related estimates for stochastic integrals and Itô processes. The inequalities strengthen the earlier classical results of Burkholder and Choi.
△ Less
Submitted 5 January, 2012;
originally announced January 2012.
-
Noncommutative maximal inequalities associated with convex functions
Authors:
Turdebek N. Bekjan,
Zeqian Chen,
Adam Osȩkowski
Abstract:
We prove several noncommutative maximal inequalities associated with convex functions, including a Doob type inequality for a convex function of maximal operators on noncommutative martingales, noncommutative Dunford-Schwartz and Stein maximal ergodic inequalities for a convex function of positive and symmetric positive contractions. The key ingredient in our proofs is a Marcinkiewicz type interpo…
▽ More
We prove several noncommutative maximal inequalities associated with convex functions, including a Doob type inequality for a convex function of maximal operators on noncommutative martingales, noncommutative Dunford-Schwartz and Stein maximal ergodic inequalities for a convex function of positive and symmetric positive contractions. The key ingredient in our proofs is a Marcinkiewicz type interpolation theorem for a convex function of maximal operators in the noncommutative setting, which we establish in this paper. These generalize the results of Junge and Xu in the $L^p$ case to the case of convex functions.
△ Less
Submitted 29 December, 2014; v1 submitted 13 August, 2011;
originally announced August 2011.
-
Sharp weak-type inequalities for differentially subordinated martingales
Authors:
Adam Osȩkowski
Abstract:
Let $M,N$ be real-valued martingales such that $N$ is differentially subordinate to $M$. The paper contains the proofs of the following weak-type inequalities: (i) If $M\geq0$ and $0<p\leq1$, then \[\Vert N\Vert_{p,\infty}\leq2\Vert M\Vert_p\] and the constant is the best possible. (ii) If $M\geq0$ and $p\geq2$, then \[\Vert N\Vert_{p,\infty}\leq\frac{p}{2}(p-1)^{-1/p}\Vert M\Vert_p\] and the co…
▽ More
Let $M,N$ be real-valued martingales such that $N$ is differentially subordinate to $M$. The paper contains the proofs of the following weak-type inequalities: (i) If $M\geq0$ and $0<p\leq1$, then \[\Vert N\Vert_{p,\infty}\leq2\Vert M\Vert_p\] and the constant is the best possible. (ii) If $M\geq0$ and $p\geq2$, then \[\Vert N\Vert_{p,\infty}\leq\frac{p}{2}(p-1)^{-1/p}\Vert M\Vert_p\] and the constant is the best possible. (iii) If $1\leq p\leq2$ and $M$ and $N$ are orthogonal, then \[\Vert N\Vert_{p,\infty}\leq K_p\Vert M\Vert_p,\] where \[K_p^p=\frac{1}{Γ(p+1)}\cdot\biggl(\fracπ{2}\biggr)^{p-1}\cdot\frac{1+1/3^2+1/5^2+1/7^2+...}{1-1/3^{p+1}+1/5^ {p+1}-1/7^{p+1}+...}.\] The constant is the best possible. We also provide related estimates for harmonic functions on Euclidean domains.
△ Less
Submitted 4 September, 2009;
originally announced September 2009.
