La descomposición de F. Gundy

La descomposición de F. Gundy

En matemáticas, la descomposición de F. Gundy, en rasgos generales, demuestra que una martingala acotada puede ser escrita (y, por tanto, descomponerse), en suma de tres martingalas diferentes, las cuales, presentan propiedades específicas y cotas concretas. Al igual que la descomposición de Calderon-Zygmund, la descomposición de F.Gundy es considerada una técnica probabilística con relevante aplicación en el campo del análisis matemático.

Contextualización y notación empleada

En los últimos dos siglos, el uso de técnicas probabilísticas se ha convertido en un recurso especialmente útil en diversas ramas del análisis. En particular, la teoría de las martingalas ha sido una herramienta fundamental para obtener estimaciones de tipo débil. La descomposición de F.Gundy es una herramienta del análisis probabilístico utilizada para demostrar resultados de acotación débil-(1,1) para funciones integrables en espacios de probabilidad.

Sea $(\Omega ,\Sigma ,\mu )$ un espacio de probabilidad con una filtración asociada $\{\Sigma _{n}\}_{n}$. Para toda función $f\in L^{1}(\Omega )$, utilizando el operador esperanza condicionada, podemos definir una sucesión de funciones medibles $\{E_{n}(f)\}_{n}$ que satisfacen la propiedad de martingala.

Con abuso de notación, designaremos por $f$ a dicha secuencia de variables aleatorias $f=(f_{1},f_{2},\dots )$ definidas en el mismo espacio de probabilidad $(\Omega ,\Sigma ,\mu )$ con la misma filtración asociada $\{\Sigma _{n}\}_{n}$. La variable aleatoria $f_{n}=E_{n}(f)$ es medible con respecto $\Sigma _{n}\subset \Sigma$ para cada $n\geq 1$.

Además, definimos $D(f)=(df_{1},df_{2},\dots ,df_{k}=f_{k+1}-f_{k},\dots )$ como la secuencia de incrementos $f$ (también conocida como secuencia de diferencias de martingala), de modo que $f_{k}=\sum _{k=1}^{n}df_{k}$.

Denotamos la norma de la martingala $\|f\|_{p}=\sup _{k}\|f_{k}\|_{p}$, donde $\|f_{k}\|_{p}$ es la norma $L_{p}$ habitual de la variable aleatoria $f_{k}$, para $1\leq p\leq \infty$.

Denotaremos $C$ como una constante real positiva, no siempre con el mismo valor de línea en línea.

Las secuencias de variables aleatorias se agregarán de manera natural: consideremos $f,g$ dos secuencias de variables aleatorias, entonces $f+g=(f_{1}+g_{1},f_{2}+g_{2},\dots )$. Por último, $f^{*}=\sup _{n}|f_{n}|$ designará la función maximal aplciada a la martingala.

La descomposición de F-Gundy

Sea $f\in L^{1}(\Omega )$. Para cualquier valor real $\lambda >0$, la martingala asociada a $f$ puede descomponerse en tres martingalas $a,b,d$ de la siguiente manera:

$a=(a_{1},a_{2},\dots )$ es una martingala acotada en $L^{1}$ que cumple:

• $a_{n}=\sum _{k=1}^{n}\alpha _{k}$.
• $\|a\|_{1}\leq C\|f\|_{1}$, donde $C$ es una constante positiva real.
• La secuencia de incrementos $\alpha =(\alpha _{1},\alpha _{2},\dots )$ satisface que $P(\alpha ^{*}\neq 0)\leq {\frac {C\|f\|_{1}}{\lambda }}$.

$b=(b_{1},b_{2},\dots )$ es absolutamente convergente y tiene las siguientes propiedades:

• $b_{n}=\sum _{k=1}^{n}\beta _{k}$.
• $\|\sum _{k=1}^{\infty }|\beta _{k}|\|_{1}\leq \|f\|_{1}$.

$d=(d_{1},d_{2},\dots )$ está uniformemente acotada y satisface las siguientes estimaciones:

• $d_{n}=\sum _{k=1}^{n}\delta _{k}$.
• $\|d\|_{\infty }\leq C\lambda$.
• $\|d\|_{1}\leq C\|f\|_{1}$.
• $\|d\|_{2}^{2}\leq C\lambda \|f\|_{1}$.

Demostración

Primero, podemos asumir que $f$ es una martingala no negativa, ya que toda martingala acotada en $L^{1}(\Omega )$, se puede escribir como la suma de dos martingalas no negativas, $f=f^{+}-f^{-}$, con $\|f^{\pm }\|_{1}\leq \|f\|_{1}$.

Ahora, consideremos los siguientes tiempos de parada:

• Primero, para todo $x\in \Omega$, definimos $r(x)=\inf\{n|f_{n}(x)>\lambda \}$. A partir de este tiempo de parada, consideremos la secuencia de variables aleatorias $\epsilon _{n}(x)=df_{n}\mathbf {1} _{\{r(x)=n\}}(x)$, donde recordamos que $df_{n}$ es la secuencia de diferencias $n$-ésimas de la martingala $f$, que satisface $f_{n}=\sum _{k=1}^{n}df_{k}$.
• Definimos el segundo tiempo de parada, $s$, como $s(x)=\inf \left\{n{\Big |}\sum _{k=0}^{n}E_{k}(\epsilon _{k+1})(x)>\lambda \right\}$.
• Finalmente, consideramos $t=\min(r,s)$.

Observamos en primera instancia que :

$P(t<\infty )=P(r<\infty )+P(s<\infty )={\frac {\|f_{r}\|_{1}}{\lambda }}+{\frac {\|df_{r}\|_{1}}{\lambda }}\leq {\frac {C\|f\|_{1}}{\lambda }}.$

Ahora definimos $f^{t}$ como la martingala truncada en $t$. Esto significa que $f^{t}=(f_{1}^{t},f_{2}^{t},\dots )$, donde $f_{n}^{t}=\sum _{k=1}^{n}df_{k}\mathbf {1} _{\{k\leq t\}}$. Definiendo $a=f-f^{t}$, entonces $a=(a_{1},a_{2},\dots )$, donde $a_{n}=\sum _{k=1}^{n}df_{k}-\sum _{k=1}^{n}df_{k}\mathbf {1} _{\{k\leq t\}}=\sum _{k=1}^{n}df_{k}\mathbf {1} _{\{k>t\}}$.
Claramente, $\|a\|_{1}=\|f-f^{t}\|_{1}\leq \|f\|_{1}+\|f^{t}\|_{1}\leq 2\|f\|_{1},$ y $P(\alpha ^{*}\neq 0)\leq P(t<\infty )={\frac {C\|f\|_{1}}{\lambda }}$.
Por lo tanto, la martingala $a$ cumple los requisitos del teorema.

Veamos ahora el martingala $f^{t}$.

Para cada término $n\geq 1$ se tiene

$f_{n}^{t}=\sum _{k=1}^{n}df_{k}\mathbf {1} _{\{t\geq k\}}=\sum _{k=1}^{n}df_{k}\mathbf {1} _{\{r\geq k\}}\mathbf {1} _{\{s\geq k\}}.$

Podemos dividir la expresión anterior de la siguiente manera:

$df_{k}\mathbf {1} _{\{r\geq k\}}\mathbf {1} _{\{s\geq k\}}=df_{k}\mathbf {1} _{\{r>k\}}\mathbf {1} _{\{s\geq k\}}+df_{k}\mathbf {1} _{\{r=k\}}\mathbf {1} _{\{s\geq k\}}=(\gamma _{k}+\epsilon _{k})\mathbf {1} _{\{s\geq k\}}$

donde las variables aleatorias $\epsilon _{k}$ están definidas como $\epsilon _{n}(x)=df_{n}\mathbf {1} _{\{r(x)=n\}}(x)$ y las variables $\gamma _{k}$ tal que $\gamma _{k}=df_{k}\mathbf {1} _{\{r>k\}}.$

Para $k>1$,

${\begin{aligned}E_{k-1}(\gamma _{k})&=E_{k-1}(\gamma _{k}-df_{k}\mathbf {1} _{\{r\geq k\}})=\\&=E_{k-1}(df_{k}\mathbf {1} _{\{r>k\}}-df_{k}\mathbf {1} _{\{r\geq k\}})=\\&=E_{k-1}(df_{k}\mathbf {1} _{\{r>k\}}-df_{k}\mathbf {1} _{\{r>k\}}-df_{k}\mathbf {1} _{\{r=k\}})=E_{k-1}(df_{k}\mathbf {1} _{\{r=k\}})\\&=-Ep_{k-1}(\epsilon _{k}).\end{aligned}}$

Por lo tanto, para cada $n\geq 1$ podemos expresar

$f_{n}^{t}=\sum _{k=1}^{n}(\gamma _{k}+\epsilon _{k})\mathbf {1} _{\{s\geq k\}}$

como la suma de dos secuencias $f_{n}^{t}=d_{n}+b_{n},$ donde

$d_{n}=\sum _{k=1}^{n}(\gamma _{k}+E_{k-1}(\epsilon _{k}))\mathbf {1} _{\{s\geq k\}},$

y

$b_{n}=\sum _{k=1}^{n}(\epsilon _{k}-E_{k-1}(\epsilon _{k}))\mathbf {1} _{\{s\geq k\}}.$

Procedemos a demostrar que tanto $d$ como $b$ son martingalas. Es claro que ambas son medibles con respecto a la filtración considerada. Debemos verificar que $E_{n-1}(d_{n})=d_{n-1}$ y $E_{n-1}(b_{n})=b_{n-1}$.

Para la secuencia $d_{n}$:

${\begin{aligned}E_{n-1}(d_{n})&=E_{n-1}\left(\sum _{k=1}^{n}(\gamma _{k}+E_{k-1}(\epsilon _{k}))\mathbf {1} _{\{s\geq k\}}\right)\\&=E_{n-1}\left(\sum _{k=1}^{n-1}(\gamma _{k}+E_{k-1}(\epsilon _{k}))\mathbf {1} _{\{s\geq k\}}\right)+E_{n-1}{\big (}(\gamma _{n}+E_{n-1}(\epsilon _{n}))\mathbf {1} _{\{s\geq k\}}{\big )}\\&=d_{n-1}+E_{n-1}{\big (}\gamma _{n}{\big )}\mathbf {1} _{\{s\geq k\}}+E_{n-1}{\big (}E_{n-1}(\epsilon _{n}){\big )}\mathbf {1} _{\{s\geq k\}}\\&=d_{n-1}+-E_{n-1}(\epsilon _{n})\mathbf {1} _{\{s\geq k\}}+E_{n-1}(\epsilon _{n})\mathbf {1} _{\{s\geq k\}}\\&=d_{n-1}.\end{aligned}}$

De manera análoga, se obtiene el resultado para $b$.

A continuación, mostraremos que $d=(d_{1},d_{2},\dots )$ y $b=(b_{1},b_{2},\dots )$ satisfacen las propiedades enunciadas.

Observamos que

$b_{n}=\sum _{k=1}^{n}\beta _{k}=\sum _{k=1}^{n}\left(\epsilon _{k}-E_{k-1}(\epsilon _{k})\right)\mathbf {1} _{\{s\geq k\}}$

es absolutamente convergente, ya que

${\begin{aligned}\int \sum _{k=1}^{\infty }|\beta _{k}|&\leq 2\int \sum _{k=1}^{\infty }\epsilon _{k}=2\int \sum _{k=1}^{\infty }df_{k}\mathbf {1} _{\{t=k\}}=2\int df_{t}\mathbf {1} _{\{t\leq \infty \}}\\&\leq 2\int f_{t}\mathbf {1} _{\{t\leq \infty \}}\leq 2\|f\|_{1}\leq \infty .\end{aligned}}$

Ahora estudiaremos la martingala $d$. Para cada $n\geq 1$,

$d_{n}=\sum _{k=1}^{n}\delta _{k}=\sum _{k=1}^{n}(\gamma _{k}+E_{k-1}(\epsilon _{k}))\mathbf {1} _{\{s\geq k\}}.$

Para todo $n\geq 1$,

$\left|\sum _{k=1}^{n}\gamma _{k}\right|=\left|\sum _{k=1}^{n}df_{k}\mathbf {1} _{\{r>k\}}\right|=\left|\sum _{k=1}^{n}(f_{k}-f_{k-1})\mathbf {1} _{\{r>k\}}\right|\leq \lambda .$

Además,

$0\leq \sum _{k=1}^{n}E_{k-1}(\epsilon _{k})\mathbf {1} _{\{s\geq k\}}\leq \sum _{k=0}^{s-1}E_{k}(\epsilon _{k+1})\leq \lambda .$

Por lo tanto, combinando ambos resultados,

$\|d\|_{\infty }=\sup _{n}\|d_{n}\|_{\infty }=\sup _{n}\left\|\sum _{k=1}^{n}(\gamma _{k}E_{k-1}(\epsilon _{k}))\mathbf {1} _{\{s\geq k\}}\right\|_{\infty }\leq 2\lambda .$

También tenemos que

$\left\|\sum _{k=1}^{\infty }\gamma _{k}\right\|_{1}=\left\|\sum _{k=1}^{\infty }df_{k}\mathbf {1} _{\{r\geq k\}}\right\|_{1}\leq \left\|\sum _{k=1}^{r-1}df_{k}\right\|_{1}\leq \|f\|_{1},$

y

$\left\|\sum _{k=1}^{\infty }E_{k-1}(\epsilon _{k})\right\|_{1}=\left\|\sum _{k=1}^{\infty }E_{k-1}(df_{k})\mathbf {1} _{\{r=k\}}\right\|_{1}\leq \|df_{r}\|_{1}\leq C\|f\|_{1}.$

Entonces, concluimos que para todo $n\geq 1$,

$\left\|\sum _{k=1}^{n}\delta _{k}\right\|_{1}\leq \left\|\sum _{k=1}^{\infty }\left(\gamma _{k}+E_{k-1}(\epsilon _{k})\right)\mathbf {1} _{\{s\geq k\}}\right\|_{1}\leq C\|f\|_{1}.$

Finalmente, combinando las estimaciones anteriores, obtenemos que

$\left\|\sum _{k=1}^{\infty }\delta _{k}\right\|_{2}^{2}\leq \int {\Big |}\sum _{k=1}^{\infty }\delta _{k}{\Big |}^{2}\leq 2\lambda \int {\Big |}\sum _{k=1}^{\infty }\delta _{k}{\Big |}\leq C\lambda \|f\|_{1}.$

Aplicaciones

La descomposición de F. Gundy ha sido empleada en varias ramas del análisis como herramienta fundamental para demostrar teoremas y proposiciones.

Sin embargo, es mayormente conocida en el campo del análisis matemático. En particular, la descomposición de F. Gundy permite estudiar de una manera más simple acotaciones para operadores en espacios de Lebesgue. Además, la idea intuitiva puede ser también escalada para martingalas que toman valores en espacios de Banach separables, convirtiéndola pues en un básico de la teoría moderna del análisis.

Como ejemplo, el teorema de la descomposición de Gundy se utiliza para estudiar la cota de los operadores de clase ${\mathcal {B}}$.

Operadores de clase B

Se define un operador de clase ${\mathcal {B}}$ a toda función $T$ que cumple:

• Su dominio es una colección de secuencias de variables aleatorias cerrada bajo la suma.
• Su rango es una colección de variables aleatorias.

El operador satisface las siguientes inecuaciones:

• $|T(f+g)|\leq C(|Tf|+|Tg|)$.

• $P(|Tf|\neq 0)\leq CP(f^{*}\neq 0)$.

• $\|Tf\|_{2}\leq C\|f\|_{2}$.
• Si $f=(f_{1},f_{2},\dots )$ donde $f_{n}=\sum _{k=1}^{n}df_{n}$, entonces $\|Tf\|_{1}\leq C\|\sum _{k=1}^{n}|df_{k}|\|_{1}$.

El teorema de la descomposición de Gundy pues, es una herramienta fundamental para demostrar que dichos operadores son de tipo débil-(1,1). El resultado formal se enuncia a continuación:

Sea $f$ una martingala acotada en $L^{1}$ y sea $T$ un operador que pertenece a la clase ${\mathcal {B}}$. Entonces, para $\lambda >0$ real, se tiene:

$P(|Tf|>\lambda )\leq {\frac {C|f|_{1}}{\lambda }}.$

Referencias

Burkholder, D. L. (1966). Martingale transforms. The Annals of Mathematical Statistics, 37(6), 1494-1504.1

Gundy, R. (1969). On the class LlogL, martingales, and singular integrals. Studia Mathematica, 1(33), 109-118.2

Burkholder, D. L. (1973). Distribution function inequalities for martingales. the Annals of Probability, 1(1), 19-42.3

Véase también

• Para consultar otro ejemplo de descomposición, en este caso aplicado al caso $\mathbb {R} ^{n}$, leer la descomposición de Calderon-Zygmund

• Teoría de martingalas.

• Tiempo de parada (stopping time)