Table of Contents
Fetching ...

The Gundy-Stein decomposition with explicit constants

Mahdi Hormozi, Jie-Xiang Zhu

Abstract

Let $(\mathcal F_n)_{n\ge 1}$ be a filtration and let $f\ge0$ belong to $L^1(\mathcal F_\infty)$. For the martingale $f_n=\mathbb E[f\mid \mathcal F_n]$ and each $λ>0$ we prove a Gundy--Stein decomposition \[ f=g+h+k \] with explicit numerical constants. In the positive closed case the three parts satisfy explicit bounds, and the bounded part is bounded above by $λ$. We also prove a one-parameter form for the bounded part and two-point sharpness results, including a joint sharpness statement for arbitrary decompositions under the condition $0\le k\le λ$. We also obtain an exact four-term refinement of the decomposition, separating the bounded term into a stopped part and a conditional expectation term. As applications we obtain an explicit weak-type $(1,1)$ estimate for truncated martingale multipliers and a John--Nirenberg inequality for martingale $\mathrm{BMO}$ on atomic $α$-regular filtrations.

The Gundy-Stein decomposition with explicit constants

Abstract

Let be a filtration and let belong to . For the martingale and each we prove a Gundy--Stein decomposition with explicit numerical constants. In the positive closed case the three parts satisfy explicit bounds, and the bounded part is bounded above by . We also prove a one-parameter form for the bounded part and two-point sharpness results, including a joint sharpness statement for arbitrary decompositions under the condition . We also obtain an exact four-term refinement of the decomposition, separating the bounded term into a stopped part and a conditional expectation term. As applications we obtain an explicit weak-type estimate for truncated martingale multipliers and a John--Nirenberg inequality for martingale on atomic -regular filtrations.

Paper Structure

This paper contains 5 sections, 15 theorems, 237 equations.

Key Result

Theorem 1.1

Let $f\ge0$ belong to $L^1(\mathcal{F}_\infty)$ and let $\lambda>0$. Then one can write with $g,h,k\in L^1(\mathcal{F}_\infty)$ such that (a) (b) In particular, $\|h\|_1\le2\|f\|_1$. (c)

Theorems & Definitions (40)

  • Theorem 1.1
  • Lemma 2.1
  • proof
  • Lemma 2.7
  • proof
  • Lemma 2.8
  • proof
  • Lemma 2.12
  • proof
  • Corollary 2.13
  • ...and 30 more