Shift-generated classes of jointly measurable random fields

Resumen Técnico: Clases de Campos Aleatorios Conjuntamente Medibles Generadas por Desplazamientos

Planteamiento del Probleza
Este artículo investiga las propiedades estructurales de las clases generadas por desplazamientos de campos aleatorios (RF, por sus siglas en inglés) de valores en $\mathbb{R}^d$ que son conjuntamente medibles y separables, indexados por $\mathbb{R}^l$. Estas clases, denotadas como $C[Z]$, se definen mediante una identidad funcional que involucra mapas $\alpha$-homogéneos ($\alpha > 0$) y un campo aleatorio generador $Z$.

La literatura previa (p. ej., [1]) estableció resultados fundamentales para estas clases bajo supuestos restrictivos: específicamente, que el generador $Z$ es estocásticamente continuo y que el campo aleatorio max-estable asociado tiene trayectorias localmente acotadas. El problema principal abordado en este trabajo es extender la teoría de las clases generadas por desplazamientos a un entorno más general donde:

1. $Z$ solo se asume como conjuntamente medible y separable (prescindiendo de la continuidad estocástica).
2. No se impone una condición de acotación local (momentos finitos del supremo sobre conjuntos compactos).

Los autores pretenden determinar si los resultados clave de regularización —como la existencia de representantes $L^\alpha$-continuos y la positividad estricta de los funcionales integrales— se mantienen en este contexto más amplio y menos regular.

Metodología
El artículo emplea un enfoque de análisis funcional combinado con técnicas probabilísticas adaptadas a procesos de cola pesada. Los componentes metodológicos clave incluyen:

• Extensión de Identidades Funcionales: Los autores definen una clase más amplia de funcionales, $\mathcal{H}_\beta$, que incluye no solo mapas medibles estándar, sino también funcionales integrales (como la integral de la norma $\alpha$, $S_\gamma$). Demuestran que la identidad de invarianza por desplazamiento que define a la clase $C[Z]$ se cumple para esta clase extendida $\mathcal{H}_\alpha$.
• Regularización mediante Procesos Max-Estables: Para establecer la existencia de elementos $L^\alpha$-continuos sin asumir la continuidad estocástica del generador original, los autores construyen un campo aleatorio max-estable bidimensional a partir de las partes positiva y negativa del generador. Aprovechan resultados existentes sobre la continuidad estocástica de los procesos max-estables para derivar un representador $L^\alpha$-continuo.
• Cambio de Medida (Tilting): El análisis utiliza "campos aleatorios locales" (denotados $\Theta$), definidos mediante un cambio de medida (tilting) con respecto a la norma del campo en el origen. Esto permite trabajar con campos normalizados donde $\|\Theta(0)\|=1$ casi seguramente.
• Desplazamientos Aleatorizados: La construcción de los elementos canónicos dentro de una clase $C[Z]$ se logra mediante desplazamientos aleatorizados $N$ con una función de densidad de probabilidad positiva $\gamma$.

Contribuciones Clave y Resultados

1. Extensión de Identidades Funcionales (Teorema 2.2):
   El artículo demuestra que la identidad definitoria $E\{F(Z)\} = E\{F(B_h \tilde{Z})\}$, originalmente requerida para mapas $\alpha$-homogéneos acotados y medibles, se extiende a la clase más amplia $\mathcal{H}_\alpha$. Crucialmente, esta clase incluye funcionales integrales tales como $S_\gamma(f) = \int_T \|f(t)\|^\alpha \gamma(t) \lambda(dt)$. Esta extensión es necesaria para definir y analizar rigurosamente las construcciones de desplazamientos aleatorizados $Z_N$ y $Z'_N$.

2. Existencia de Representantes $L^\alpha$-Continuos (Teorema 2.4):
   El resultado central es la demostración de que toda clase $C[Z]$ no vacía contiene un elemento $Z^*$ que es $L^\alpha$-continuo (es decir, $t \mapsto Z^*(t)$ es continuo en la norma $L^\alpha$). Este resultado se logra sin asumir la continuidad estocástica del generador inicial.

   • Consecuencia: Esta regularización implica la positividad estricta del funcional integral para todos los elementos de la clase: $P\{S(\tilde{Z}) > 0\} = 1$ para todo $\tilde{Z} \in C[Z]$. Esto resuelve una laguna técnica en trabajos previos donde esta positividad dependía de la continuidad estocástica.

3. Generadores Canónicos y Campos Aleatorios Locales (Corolario 2.6):
   Los autores proporcionan construcciones explícitas para los elementos canónicos de una clase $C[Z]$ utilizando desplazamientos aleatorizados. Definen tres variantes ($Z_N, Z'_N, Z''_N$) que pertenecen a $C[Z]$. Notablemente, $Z''_N$ se construye puramente a partir del campo aleatorio local $\Theta$ y no depende de la escala específica del generador original $Z$.

4. Cola Espectral y Campos Aleatorios de Cola (Teoremas 3.2 y 3.5):
   El artículo establece una correspondencia rigurosa entre las clases generadas por desplazamientos y los campos aleatorios de cola espectral (STRF).

   • Se demuestra que cualquier campo aleatorio local $\Theta$ de una clase generada por desplazamientos es un campo aleatorio de cola espectral.
   • Inversamente, cualquier campo aleatorio de cola espectral $\Theta$ genera una clase no vacía generada por desplazamientos $C[Z]$.
   • Crucialmente, los autores prueban que todo campo aleatorio de cola espectral posee un representante $L^\alpha$-continuo con las mismas distribuciones de dimensión finita.

5. Medidas de Cola Homogéneas (Sección D3):
   El artículo identifica la medida de cola $-\alpha$-homogénea $\nu_Z$ asociada a una clase generada por desplazamientos. Demuestra que esta medida depende únicamente de la clase $C[Z]$ y no del representador específico elegido. Además, el resultado de regularización asegura que $\nu_Z$ siempre admite un representador $L^\alpha$-continuo, estableciendo la $L^\alpha$-regularidad como una propiedad intrínseca de las medidas de cola.

6. Campos Aleatorios de Clúster (Sección D5):
   Los autores discuten la construcción de clases no vacías generadas por desplazamientos mediante campos aleatorios de clúster (cluster random fields), particularmente en el contexto donde el funcional integral es finito casi seguramente. Señalan que, aunque los campos de clúster no son únicos, proporcionan fórmulas alternativas para los índices extremales.

Significancia y Reivindicaciones
El artículo afirma generalizar la teoría de los campos aleatorios generados por desplazamientos eliminando la dependencia de los supuestos de continuidad estocástica y acotación local. La principal significancia reside en el resultado de regularización: la demostración de que la $L^\alpha$-continuidad es una propiedad intrínseca de la clase $C[Z]$ y de sus medidas de cola asociadas, incluso cuando los campos generadores son meramente medibles.

Al probar que toda clase generada por desplazamientos contiene un elemento $L^\alpha$-continuo, los autores aseguran que la positividad estricta de los funcionales integrales (esencial para definir campos normalizados y medidas de cola) se cumple universalmente dentro de la clase. Esto permite la construcción rigurosa de elementos canónicos y la extensión de las identidades funcionales a los funcionales integrales, unificando así el tratamiento de los casos estocásticamente continuos y no continuos en el estudio de los campos max-estables y de cola pesada. El trabajo conecta estos hallazgos con la teoría de los campos aleatorios de cola espectral y de cola, mostrando que el comportamiento límite de los campos estacionarios de cola pesada puede analizarse sin supuestos de continuidad sobre los procesos subyacentes.