Shift-generated classes of jointly measurable random fields

Resumo Técnico: Classes de Campos Aleatórios Conjuntamente Mensuráveis Geradas por Deslocamentos

Enunciado do Problema
Este artigo investiga as propriedades estruturais de classes geradas por deslocamentos de campos aleatórios (RFs) de valores em $\mathbb{R}^d$ conjuntamente mensuráveis e separáveis, indexados por $\mathbb{R}^l$. Estas classes, denotadas por $C[Z]$, são definidas via uma identidade funcional envolvendo mapas $\alpha$-homogêneos ($\alpha > 0$) e um campo aleatório gerador $Z$.

A literatura anterior (ex: [1]) estabeleceu resultados fundamentais para estas classes sob suposições restritivas: especificamente, que o gerador $Z$ é estocasticamente contínuo e que o campo aleatório max-estável associado possui trajetórias localmente limitadas. O principal problema abordado neste trabalho é estender a teoria das classes geradas por deslocamentos para um cenário mais geral onde:

1. $Z$ é assumido apenas como conjuntamente mensurável e separável (abandonando a continuidade estocástica).
2. Nenhuma condição de limitação local (momentos finitos do supremo sobre conjuntos compactos) é imposta.

Os autores visam determinar se os principais resultados de regularização — como a existência de representantes $L^\alpha$-contínuos e a positividade estrita de funcionais integrais — sustentam-se neste contexto mais amplo e menos regular.

Metodologia
O artigo emprega uma abordagem de análise funcional combinada com técnicas probabilísticas adaptadas a processos de cauda pesada. Os principais componentes metodológicos incluem:

• Extensão de Identidades Funcionais: Os autores definem uma classe mais ampla de funcionais, $\mathcal{H}_\beta$, que inclui não apenas mapas mensuráveis padrão, mas também funcionais integrais (como o integral da norma $\alpha$, $S_\gamma$). Eles provam que a identidade de invariância por deslocamento que define a classe $C[Z]$ se mantém para esta classe estendida $\mathcal{H}_\alpha$.
• Regularização via Processos Max-Estáveis: Para estabelecer a existência de elementos $L^\alpha$-contínuos sem assumir a continuidade estocástica do gerador original, os autores constroem um RF max-estável bidimensional a partir das partes positiva e negativa do gerador. Eles utilizam resultados existentes sobre a continuidade estocástica de processos max-estáveis para derivar um representador $L^\alpha$-contínuo.
• Mudança de Medida (Tilting): A análise utiliza "RFs locais" (denotados por $\Theta$), definidos via uma mudança de medida (tilting) em relação à norma do campo na origem. Isso permite que os autores trabalhem com campos normalizados onde $\|\Theta(0)\|=1$ quase certamente.
• Deslocamentos Aleatorizados: A construção de elementos canônicos dentro de uma classe $C[Z]$ é alcançada usando deslocamentos aleatorizados $N$ com uma função de densidade de probabilidade positiva $\gamma$.

Principais Contribuições e Resultados

1. Extensão de Identidades Funcionais (Teorema 2.2):
   O artigo prova que a identidade definidora $E\{F(Z)\} = E\{F(B_h \tilde{Z})\}$, originalmente exigida para mapas $\alpha$-homogêneos mensuráveis limitados, estende-se para a classe maior $\mathcal{H}_\alpha$. Crucialmente, esta classe inclui funcionais integrais como $S_\gamma(f) = \int_T \|f(t)\|^\alpha \gamma(t) \lambda(dt)$. Esta extensão é necessária para definir e analisar rigorosamente as construções de deslocamento aleatorizado $Z_N$ e $Z'_N$.

2. Existência de Representantes $L^\alpha$-Contínuos (Teorema 2.4):
   O resultado central é a prova de que toda classe $C[Z]$ não vazia contém um elemento $Z^*$ que é $L^\alpha$-contínuo (ou seja, $t \mapsto Z^*(t)$ é contínuo na norma $L^\alpha$). Este resultado é alcançado sem assumir a continuidade estocástica do gerador inicial.

• Consequência: Esta regularização implica a positividade estrita do funcional integral para todos os elementos da classe: $P\{S(\tilde{Z}) > 0\} = 1$ para todo $\tilde{Z} \in C[Z]$. Isso resolve uma lacuna técnica em trabalhos anteriores onde esta positividade dependia da continuidade estocástica.

3. Geradores Canônicos e RFs Locais (Corolário 2.6):
   Os autores fornecem construções explícitas para elementos canônicos de uma classe $C[Z]$ usando deslocamentos aleatorizados. Eles definem três variantes ($Z_N, Z'_N, Z''_N$) que pertencem a $C[Z]$. Notavelmente, $Z''_N$ é construído puramente a partir do RF local $\Theta$ e não depende da escalação específica do gerador original $Z$.

4. Campo de Cauda Espectral e Campos Aleatórios de Cauda (Teoremas 3.2 & 3.5):
   O artigo estabelece uma correspondência rigorosa entre classes geradas por deslocamento e campos aleatórios de cauda espectral (STRFs).

• É mostrado que qualquer RF local $\Theta$ de uma classe gerada por deslocamento é um RF de cauda espectral.
• Inversamente, qualquer RF de cauda espectral $\Theta$ gera uma classe $C[Z]$ não vazia.
• Crucialmente, os autores provam que todo RF de cauda espectral possui um representante $L^\alpha$-contínuo com as mesmas distribuições de dimensão finita.

5. Medidas de Cauda Homogêneas (Seção D3):
   O artigo identifica a medida de cauda $-\alpha$-homogênea $\nu_Z$ associada a uma classe gerada por deslocamento. Ele demonstra que esta medida depende apenas da classe $C[Z]$ e não do representador específico escolhido. Além disso, o resultado de regularização garante que $\nu_Z$ sempre admite um representador $L^\alpha$-contínuo, estabelecendo a $L^\alpha$-regularidade como uma propriedade intrínseca das medidas de cauda.

6. Campos Aleatórios de Agrupamento (Seção D5):
   Os autores discutem a construção de classes não vazias geradas por deslocamento via campos aleatórios de agrupamento (cluster random fields), particularmente no contexto onde o funcional integral é finito quase certamente. Eles observam que, embora os campos de agrupamento não sejam únicos, eles fornecem fórmulas alternativas para índices extremais.

Significância e Alegações
O artigo afirma generalizar a teoria dos campos aleatórios gerados por deslocamento ao remover a dependência de suposições de continuidade estocástica e limitação local. A principal significância reside no resultado de regularização: a demonstração de que a $L^\alpha$-continuidade é uma propriedade intrínseca da classe $C[Z]$ e de suas medidas de cauda associadas, mesmo quando os campos geradores são meramente mensuráveis.

Ao provar que toda classe gerada por deslocamento contém um elemento $L^\alpha$-contínuo, os autores garantem que a positividade estrita dos funcionais integrais (essencial para definir campos normalizados e medidas de cauda) ocorra universalmente dentro da classe. Isso permite a construção rigorosa de elementos canônicos e a extensão de identidades funcionais para funcionais integrais, unificando assim o tratamento de casos estocasticamente contínuos e não contínuos no estudo de campos max-estáveis e de cauda pesada. O trabalho conecta essas descobertas à teoria de campos aleatórios de cauda espectral e de cauda, mostrando que o comportamento limite de campos estacionários de cauda pesada pode ser analisado sem suposições de continuidade sobre os processos subjacentes.