A $Tb$ type theorem for suppressed kernels

Resumo Técnico: Um Teorema do tipo $Tb$ para Núcleos Suprimidos

Enunciado do Problema
O artigo aborda a limitação de operadores integrais singulares (OIS) em um cenário não homogêneo. Especificamente, busca estender o clássico teorema $Tb$ para dimensões arbitrárias ($\mathbb{R}^d$) e para operadores definidos por núcleos que não são necessariamente antissimétricos. O trabalho opera dentro do arcabouço da teoria de Calderón-Zygmund não homogênea, onde a medida de Radon subjacente $\mu$ não satisfaz a condição de duplicação ($\mu(B(x, 2r)) \leq c\mu(B(x, r))$). Em vez disso, assume-se que a medida possui crescimento polinomial de grau $n$ ($\mu(B(x, r)) \leq c_0 r^n$), embora até mesmo essa condição possa falhar em uma família controlada de bolas.

A motivação primária decorre da caracterização geométrica de conjuntos removíveis para funções analíticas limitadas (o problema de Painlevé). Enquanto a comparabilidade da capacidade analítica $\gamma$ e da capacidade analítica positiva $\gamma_+$ foi estabelecida no caso planar ($d=2$) por Tolsa através de um teorema $Tb$ para o transformado de Cauchy, uma generalização para dimensões superiores e para funções harmônicas de Lipschitz requer um teorema $Tb$ correspondente para núcleos não antissimétricos em dimensões arbitrárias.

Metodologia
A prova emprega uma combinação sofisticada de técnicas adaptadas do trabalho de Nazarov, Treil e Volberg (NTV), especificamente ajustadas para o contexto não homogêneo e de maior dimensão. A metodologia é estruturada da seguinte forma:

1. Núcleos Suprimidos: Para lidar com a falta de duplicação e as potenciais singularidades da medida, o autor introduz núcleos "suprimidos". Para uma função 1-Lipschitz $\Theta: \mathbb{R}^d \to [0, \infty)$, um núcleo modificado $\tilde{k}_\Theta$ é definido multiplicando o núcleo original $k$ por uma função de corte suave $\tilde{\chi}$. Esta modificação efetivamente suprime o núcleo próximo à diagonal onde a medida pode ser irregular, enquanto preserva as propriedades de Calderón-Zygmund. O operador associado $K_\Theta$ é mostrado como limitado em $L^2(\mu)$ sob condições específicas sobre $\Theta$.

2. Conjuntos Excepcionais e Controle de Crescimento: A prova identifica um "conjunto excepcional" $S$ onde os operadores maximais associados às funções de teste $b_1$ e $b_2$ são grandes. Ao escolher um limite $\alpha$ suficientemente grande, a medida de $S$ pode ser tornada arbitrariamente pequena em relação ao suporte de $\mu$. A análise é então restrita a um subconjunto $G$ onde a medida $\mu$ exibe o crescimento polinomial desejado, e o operador $T$ é mostrado como limitado em $L^2(\mu|_G)$.

3. Lattices Diádicos e Decomposição de Martingala: Em vez de fixar um único lattice diádico, a prova utiliza uma família de lattices diádicos aleatórios $\mathcal{D}(w)$ obtidos através da translação do lattice padrão. Cubos são classificados como "trânsito" ou "terminais" com base em sua relação com os conjuntos excepcionais. Uma decomposição de martingala é estabelecida em $L^2(\mu)$, expressando qualquer função $f$ como uma soma de projeções sobre esses cubos de trânsito e um termo de média global.

4. Cubos Bons e Ruins: Uma distinção crucial é feita entre cubos "bons" e "ruins". Um cubo em um lattice é "ruim" em relação a outro lattice se estiver muito próximo da fronteira de um cubo no segundo lattice ou se interagir com a fronteira de um cubo filho de uma forma que viole as condições de fronteira pequenas. A definição de "ruim" depende dos parâmetros $m$ e $M$.

5. Argumento Probabilístico: O cerne da prova reside em um argumento probabilístico. O autor demonstra que, para uma função "boa" fixa (uma cuja decomposição de martingala envolve apenas cubos bons), a probabilidade de um cubo de trânsito ser "ruim" em relação a um segundo lattice escolhido aleatoriamente pode ser tornada arbitrariamente pequena ao escolher $m$ e $M$ suficientemente grandes. Isso permite que a estimativa da ação do operador sobre a parte "ruim" da função seja controlada via expectativa.

6. Estimativas para Funções Boas: O grosso do trabalho técnico envolve estimar o produto interno $\langle K_\Theta f, g \rangle$ onde $f$ e $g$ são funções boas. A soma de termos é decomposta com base nas posições relativas e tamanhos dos cubos envolvidos (distantes, interceptando, tamanho comparável, etc.).

   • Cubos Distantes: As estimativas dependem da suavidade do núcleo e da separação dos suportes.
   • Cubos Interceptando/Comparáveis: Estes requerem um tratamento cuidadoso dos termos "ruins". O autor utiliza uma decomposição de paraproduto e explora o fato de que, se o operador fosse antissimétrico, certos termos desapareceriam. Como o núcleo não é antissimétrico, esses termos são limitados usando a pequenez probabilística dos cubos ruins e propriedades geométricas específicas do núcleo suprimido.

Principais Contribuições e Resultados
O resultado principal é o Teorema 2.1, um teorema $Tb$ não homogêneo para operadores de Calderón-Zygmund de dimensão arbitrária.

• Hipóteses: O teorema assume a existência de duas funções limitadas $b_1, b_2$ (acretivas em cubos de trânsito) e uma medida de Radon finita $\mu$. Requer que os operadores adjuntos $T^*$ aplicados a $b_1\mu$ e $T^*_*$ aplicados a $b_2\mu$ sejam limitados em um sentido específico fora de um conjunto excepcional.
• Conclusão: Existe um subconjunto $G \subset \text{supp}(\mu)$ tal que:
  1. $\mu(G)$ é comparável a $\mu(\text{supp}(\mu))$.
  2. A medida restrita $\mu|_G$ possui crescimento linear (crescimento polinomial de grau $n$).
  3. O operador integral singular $T$ é limitado em $L^2(\mu|_G)$.

As constantes envolvidas dependem apenas das constantes de Calderón-Zygmund do núcleo, da constante de crescimento $c_0$, das constantes de acreção e dos limites das funções de teste.

Significância e Alegações
O artigo afirma fornecer uma extensão rigorosa do teorema $Tb$ para uma classe mais ampla de operadores e cenários:

• Dimensão: Ele generaliza os resultados planares (especificamente aqueles de Nazarov, Treil e Volberg para o transformado de Cauchy) para dimensão arbitrária $d$.
• Simetria: Ele remove o requisito de que o núcleo seja antissimétrico, o que é um afastamento significativo de aplicações anteriores à capacidade analítica.
• Aplicação à Removibilidade: O autor observa que este resultado é uma ferramenta necessária para estudar a capacidade harmônica de Lipschitz em $\mathbb{R}^d$ ($d \geq 2$). Ao mudar de funções analíticas para funções harmônicas de Lipschitz, o problema da removibilidade pode ser reformulado em dimensões superiores, e este teorema $Tb$ fornece a maquinaria analítica para caracterizar tais conjuntos removíveis.

O artigo reconhece que a prova é altamente técnica, dividindo o argumento em seções que cobrem preliminares, a construção de operadores suprimidos, decomposições de martingala, estimativas para funções boas, uma desigualdade do tipo Cotlar e o argumento probabilístico final. Nota-se também que um teorema $Tb$ local muito geral foi provado de forma independente e simultânea por Merlo, Mourgues e Puliatti, do qual o resultado desta tese pode ser derivado.