# La variación cuadrática

En matemáticas, la descomposición de 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 Calderón-Zygmund, la variación cuadrática es considerada una técnica probabilística con relevante aplicación en el campo del análisis matemático.

## Contextualización y notación del teorema

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 descomposición de Gundy es una herramienta del análisis probabilístico utilizada para demostrar resultados de acotación débil-(1,1) para una función integrable en un espacio 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 en cada una de las líneas.
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 aplicada a la martingala.

## La descomposición de 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 la 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}{\bigE_{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 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 Gundy permite estudiar de una manera más simple acotaciones para operadores en un espacio de Lebesgue (espacios Lp). 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 demostrar una cota de tipo débil (1,1) para 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 la variación cuadrática 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 }}.$