Wiener-type Criterion for the Removability of the Fundamental Singularity for the Heat Equation and its Consequences

Resumo Técnico: Critério do Tipo Wiener para a Removibilidade da Singularidade Fundamental para a Equação do Calor

Enunciado do Problema
O artigo aborda o problema fundamental de determinar a removibilidade da singularidade fundamental para a equação do calor em conjuntos abertos arbitrários $\Omega \subset \mathbb{R}^{N+1}$. Especificamente, investiga a solvabilidade única do problema de Dirichlet parabólico singular (PDP) onde os dados de contorno são prescritos em $\partial \Omega \setminus \{O\}$ (ou no infinito), mas o comportamento da solução em relação à solução fundamental $h$ (ou $\tilde{h}$) no ponto de singularidade $O$ (ou $\infty$) não é prescrito.

A questão central é se a singularidade fundamental é "removível", o que significa que a solução do PDP é única sem a necessidade de fixar explicitamente o limite da razão $u/h$ na singularidade. Se a singularidade não for removível, o problema admite infinitas soluções. Este problema é formulado como uma generalização do clássico problema de Kolmogorov relativo ao comportamento assintótico de trajetórias de Brownian e estende a teoria de regularidade de Wiener de pontos de contorno finitos para pontos singulares e o infinito.

Metodologia
O autor utiliza uma síntese de potencial teórica parabólica, topologia fina e métodos probabilísticos. A metodologia baseia-se nos seguintes componentes principais:

1. Transformação de Appell: O artigo utiliza a transformação de Appell para estabelecer um homeomorfismo entre a equação do calor no domínio do tempo progressivo $\mathbb{R}^{N+1}_+$ (com uma singularidade em um ponto finito $O$) e o domínio do tempo regressivo $\mathbb{R}^{N+1}_-$ (com uma singularidade no infinito). Isso permite a redução de problemas no infinito para problemas em pontos finitos e vice-versa, unificando o tratamento das singularidades.
2. Teoria do Potencial $h$-Parabólica: Uma teoria do potencial especializada é desenvolvida com base na solução fundamental $h(x,t) = F(x-\gamma, t)$. O autor introduz o conceito de capacidade $h$ e medida $h$-parabólica. A removibilidade da singularidade é caracterizada por saber se o ponto de singularidade constitui um conjunto nulo de medida $h$-parabólica.
3. Topologia Fina: A análise é conduzida dentro do framework da topologia minimal-fina parabólica. A removibilidade da singularidade é mostrada ser equivalente ao fato de o complemento do domínio $\Omega^c$ não ser "minimalmente fino parabolicamente" no ponto de singularidade.
4. Testes de Logaritmo Iterado Geométrico: Para fornecer critérios geométricos concretos, o artigo deriva testes baseados na taxa de crescimento da variedade de contorno próximo à singularidade. Estes testes envolvem logaritmos iterados e classes específicas de funções ($\mathcal{R}$ e $\mathcal{R}'$) que definem taxas de crescimento ótimas para o contorno garantir a regularidade.

Principais Contribuições e Resultados

1. Critério do Tipo Wiener Necessário e Suficiente:
   O principal resultado é a prova de um critério do tipo Wiener para a removibilidade da singularidade fundamental para conjuntos abertos arbitrários. O Teorema 3.3 e o Teorema 3.6 estabelecem que a singularidade fundamental é removível (e o singular PDP possui uma solução única) se, e somente se, uma série específica envolvendo a capacidade $h$ do complemento do domínio convergir ou divergir.

   • Para uma singularidade finita $O$, a série é $\sum_n 2^{-nN/2} C_h(E_n)$, onde $E_n$ são interseções do complemento com cascas de calor $h$.
   • Para a singularidade no infinito, é estabelecida uma série análoga envolvendo a capacidade $\tilde{h}$.
   • A divergência desta série corresponde à singularidade sendo removível (regular), enquanto a convergência implica não-removibilidade (irregularidade).

2. Equivalência de Quatro Perspectivas:
   Os Teoremas 5.1 e 5.2 estabelecem a equivalência de quatro condições distintas para a removibilidade da singularidade:

   • Teórico-Medida: A medida $h$-parabólica do ponto de singularidade é nula.
   • Analítica: O problema de Dirichlet parabólico singular possui uma solução única.
   • Topológica: O ponto de singularidade é um ponto de acumulação do domínio na topologia minimal-fina parabólica (ou seja, o complemento não é minimalmente fino).
   • Probabilística: Uma lei assintótica para o movimento Browniano condicional $h$ (a probabilidade de as trajetórias se agruparem na singularidade é 0 ou 1).

3. Caracterização Geométrica (Teste do Logaritmo Iterado):
   Na Seção 6, o artigo fornece critérios geométricos aguçados para domínios onde o contorno é localmente um gráfico.

   • Teorema 6.3: Para uma singularidade finita, se a função de contorno $\phi$ satisfizer uma condição de crescimento unilateral limitada por um quociente Lipschitz parabólico envolvendo logaritmos iterados (especificamente, $p(\bar{x}, t) \leq 2[\log \rho(4t^2/\xi)]^{1/2}$ com $\rho \in \mathcal{R}$), a singularidade é removível.
   • Teorema 6.10: Um resultado correspondente é provado para a singularidade no infinito usando quocientes parabólicos cisalhados por $S_\gamma$ e uma classe de funções $\mathcal{R}'$.
   • Nitidez (Sharpness): Os Corolários 6.4 e 6.11 demonstram que estas condições são aguçadas; se a taxa de crescimento exceder o limite do logaritmo iterado (por exemplo, usando $\log^2$), a singularidade torna-se não-removível.

4. Condição do Paraboloide Hiperbólico Exterior:
   O artigo identifica a "condição do paraboloide hiperbólico exterior" como uma condição geométrica suficiente para a regularidade, análoga à condição do cone exterior na teoria elíptica. Esta condição mostra-se ótima em termos do espaço de Hölder unilateral $Lip(1, 1/2)$.

Significância e Alegações
O artigo afirma fornecer uma caracterização completa da removibilidade da singularidade fundamental para a equação do calor em conjuntos abertos arbitrários, resolvendo a lacuna de longa data entre a teoria de regularidade para pontos de contorno finitos e pontos singulares (incluindo o infinito).

• Unificação: Unifica o teste de Kolmogorov-Petrovsky (originalmente para domínios específicos de revolução) com a teoria geral de regularidade de Wiener para domínios arbitrários.
• Interpretação Probabilística: Estabelece uma lei assintótica rigorosa para o movimento Browniano condicional, ligando a finura geométrica do complemento do domínio ao comportamento probabilístico das trajetórias ao aproximarem-se da singularidade.
• Otimalidade: As condições geométricas fornecidas são alegadas como aguçadas, identificando o limiar preciso (envolvendo logaritmos iterados) entre a removibilidade e a não-removibilidade.
• Generalização: Os resultados estendem o trabalho anterior sobre a equação de Laplace e a equação do calor com $\gamma=0$ para o caso geral de funções $h$-parabólicas com polos $\gamma$ arbitrários, cobrindo tanto singularidades finitas quanto singularidades no infinito.

O autor enfatiza que estes resultados são derivados através de argumentos rigorosos de potencial teórica e não dependem de propostas experimentais ou implicações futuras não verificadas, mas sim das propriedades estruturais da equação do calor e seus processos estocásticos associados.