New characterizations of BLO spaces by heat semigroups and applications

Resumo Técnico: Novas Caracterizações de Espaços BLO por Semigrupos de Calor e Aplicações

Enunciado do Problema
O artigo aborda a caracterização do espaço de funções com oscilação inferior limitada (BLO) no espaço euclidiano $\mathbb{R}^n$. Enquanto a teoria dos espaços de Hardy ($H^1$) e de Oscilação Média Limitada (BMO) é bem estabelecida, os espaços BLO — introduzidos por Coifman e Rochberg como um subconjunto de BMO — têm recebido atenção crescente em relação ao seu relacionamento com pesos de Muckenhoupt $A_1$ e operadores integrais singulares. As caracterizações existentes incluem o resultado clássico que vincula BLO a pesos $A_1$ (via $e^{\epsilon f} \in A_1$) e uma caracterização por C. Bennett utilizando uma variante da função maximal de Hardy-Littlewood. Os autores visam fornecer novas caracterizações dos espaços BLO utilizando o semigrupo de calor gaussiano e explorar as propriedades de regularidade de soluções da equação do calor com dados de contorno BLO.

Metodologia
A metodologia principal envolve o uso do semigrupo de calor clássico $W_t$ e seu núcleo associado $W_t(x, y) = (4\pi t)^{-n/2} e^{-|x-y|^2/4t}$. Os autores empregam técnicas de semigrupo para estabelecer equivalências entre a norma BLO e quantidades derivadas da evolução térmica de uma função.

As principais ferramentas técnicas incluem:

1. Caracterização pelo Semigrupo de Calor: Estabelecer que uma função $f$ pertence a BLO se, e somente se, a oscilação de sua evolução térmica $W_t f$ sobre bolas de raio $\sqrt{t}$ é uniformemente limitada em $L^\infty$.
2. Caracterização de Peso: Utilizar a relação entre o semigrupo de calor e o operador maximal de Hardy-Littlewood para derivar uma nova condição envolvendo a desigualdade $W_t(e^{\epsilon f}) \leq C e^{\epsilon f}$.
3. Decomposição e Estimativas de Núcleo: Para provar a limitação da função $g$ de Littlewood-Paley, os autores decompõem funções em partes "próximas" e "distantes" em relação a uma bola, utilizando a desigualdade de John-Nirenberg para funções BMO e estimativas precisas de gradiente do núcleo de calor.
4. Contraexemplos e Estabilidade: O artigo constrói exemplos específicos para demonstrar a não-linearidade do espaço BLO e prova a estabilidade sob perturbações $L^\infty$.

Principais Contribuições e Resultados

1. Nova Caracterização pelo Semigrupo de Calor (Teorema 1.2):
   Os autores provam que uma função localmente integrável $f$ pertence a $BLO(\mathbb{R}^n)$ se, e somente se:
   $$\sup_{t>0} \left\| W_t f(\cdot) - \inf_{z \in B(\cdot, \sqrt{t})} W_t f(z) \right\|_{L^\infty(\mathbb{R}^n)} < \infty.$$
   Além disso, a norma BLO é equivalente a esse supremo. Isso fornece um elo direto entre a oscilação geométrica do fluxo de calor e a propriedade BLO.

2. Regularidade de Soluções da Equação do Calor (Teoremas 2.1 & 2.2):
   Aplicando a nova caracterização, o artigo estabelece estimativas de regularidade para soluções $u(x, t)$ da equação do calor $\partial_t u = \Delta u$ com dados iniciais $f \in BLO(\mathbb{R}^n)$. Especificamente, a solução satisfaz:
   $$u(x, t) \leq \inf_{z \in B(x, \sqrt{t})} u(z, t) + C\|f\|_{BLO}.$$
   Isso implica uma oscilação local controlada da solução, limitada pela norma BLO dos dados iniciais. Os autores observam que esses resultados se estendem a equações parabólicas gerais com coeficientes uniformemente elípticos.

3. Caracterização de Calor via Pesos $A_1$ (Teorema 1.5):
   O artigo reestabelece a equivalência entre $f \in BLO$ e $e^{\epsilon f} \in A_1$ introduzindo uma condição baseada no semigrupo de calor:
   $$W_t(e^{\epsilon f})(x) \leq C e^{\epsilon f}(x) \quad \text{para todo } t > 0 \text{ e quase todo } x.$$
   Isso oferece uma versão quantitativa do teorema de Coifman-Rochberg, fornecendo uma equivalência de norma envolvendo o ínfimo das constantes $\epsilon$ e $C_0$ que satisfazem a desigualdade de calor.

4. Limitação BMO-BLO da Função $g$ de Littlewood-Paley (Teorema 2.4):
   Os autores comprovam o resultado de que o quadrado da função $g$ de Littlewood-Paley, $[g(f)]^2$, mapeia $BMO(\mathbb{R}^n)$ limitadamente em $BLO(\mathbb{R}^n)$. A prova utiliza a caracterização de BLO pelo semigrupo de calor e estimativas de núcleo, evitando métodos anteriores. Consequentemente, $g(f) \in BLO$ com uma estimativa de norma correspondente.

5. Não-linearidade e Estabilidade (Seção 4):
   O artigo fornece um exemplo concreto ($f(x) = -\ln|x|$) para demonstrar que BLO não é um espaço linear (especificamente, se $f \in BLO$, $-f$ pode não estar em $BLO$). No entanto, prova que o espaço é estável sob perturbações $L^\infty$: se $f \in BLO$ e $g \in L^\infty$, então $f-g \in BLO$.

Significância
O artigo afirma sua significância ao fornecer um arcabouço unificado para analisar espaços BLO através da lente do semigrupo de calor. Ao caracterizar BLO via o fluxo de calor, os autores facilitam o estudo da regularidade de equações de difusão com valores de contorno BLO. Adicionalmente, a abordagem do semigrupo de calor oferece uma prova alternativa e simplificada para a limitação da função $g$ de Littlewood-Paley de BMO para BLO, reforçando a utilidade dos métodos de semigrupo na análise harmônica. A relação quantitativa estabelecida entre a norma BLO e as constantes de peso $A_1$ via o semigrupo de calor aprofunda ainda mais a compreensão das propriedades estruturais desses espaços de funções.