The doubling property of the elliptic measure, for elliptic operators with drifts satisfying an average diverging condition

Resumo Técnico: A Propriedade de Duplicação da Medida Elíptica com Drifts Divergentes Médios

Enunciado do Problema
Este artigo investiga a propriedade de duplicação da medida elíptica associada a um operador elíptico linear em forma divergente com um termo de drift, definido em um domínio chord-arc unilateral $\Omega \subset \mathbb{R}^n$ ($n \geq 3$):
$$Lu = -\nabla \cdot (A\nabla u) + B \cdot \nabla u$$
O desafio central abordado é o comportamento da medida elíptica quando o termo de drift $B$ satisfaz uma condição de "pequenez" em um sentido médio sobre cubos de Whitney, em vez da condição de pequenez pontual mais estrita assumida anteriormente na literatura, a qual exige que o drift seja pequeno. Especificamente, o artigo considera drifts que podem divergir como o inverso da distância ao contorno ($\delta(x)^{-1}$), mas que satisfazem um limite médio:
$$\int_{U_Q} |B|^2 \delta(X) \, dV \leq \beta^2 l(Q)^{n-1}$$
onde $U_Q$ é um cubo de Whitney alargado associado a um cubo de contorno $Q$, e $\beta$ é uma constante pequena. Isso generaliza resultados anteriores (por exemplo, Hofmann-Lewis [HL01]) que exigiam a estimativa pontual $|B(x)| \leq \beta/\delta(x)$. O artigo também aborda a existência de soluções para o operador adjunto $L^*$, o que é necessário para estabelecer limites inferiores na função de Green.

Metodologia
A estratégia de prova baseia-se no estabelecimento de dois ingredientes principais: estimativas pontuais para a função de Green e uma estimativa do tipo Bourgain para a medida elíptica.

1. Existência e Regularidade: O autor primeiro delineia a existência de soluções fracas tanto para $L$ quanto para seu adjunto $L^*$ usando o lema de Lax-Milgram. Um passo crucial envolve provar a coercividade das formas bilineares associadas. Para o operador adjunto, uma condição adicional sobre a divergência do drift, $-\frac{M}{\delta(x)^2} \leq (\nabla \cdot B) \leq 0$, é necessária para garantir a coercividade.
2. Desigualdades de Hardy: O artigo prova uma desigualdade de Hardy local e global em domínios chord-arc unilaterais com fronteiras de regularidade Ahlfors-David (ADR). Diferentemente de derivações anteriores que dependiam de versões globais, este trabalho fornece uma prova direta usando um argumento de tempo de parada em cubos diádicos, o que é notado como uma contribção inédita para a literatura.
3. Regularidade de Hölder na Fronteira: Adaptando técnicas de Hofmann-Lewis [HL01], o autor estabelece a continuidade de Hölder na fronteira para soluções que se anulam em uma bola de superfície. Isso requer lidar com o termo de drift $B$ via uma decomposição de cubos de Whitney. A prova divide os cubos em duas categorias baseadas no suporte de uma função de teste e utiliza a condição de pequidez média (Eq. 2) junto com a estimativa pontual (Eq. 4) para controlar o termo $\int |B|^2 u^2 \psi^2$.
4. Estimativas da Função de Green:
   • Limites Inferiores: Seguindo a abordagem de Grüter e Widman [GW82], o artigo deriva limites inferiores pontuais para a função de Green $G(x,y)$, assumindo a existência da função de Green adjunta.
   • Limites Superiores: Derivar limites superiores é mais delicado devido à falta de pequidez pontual. O autor emprega uma decomposição de Calderón-Zygmund do termo de drift $|B|^2$ dentro de um cubo de Whitney. Isso permite isolar um "conjunto ruim" de cubos onde o drift pode ser grande, enquanto garante que o drift permaneça pontualmente pequeno no "conjunto bom". Ao construir uma função de teste suportada no conjunto bom e utilizar a desigualdade de Hardy global, o autor estabelece os limites superiores necessários.
5. Estimativa de Bourgain e Duplicação: Combinando a regularidade de Hölder na fronteira com as estimativas da função de Green, o artigo deriva uma estimativa do tipo Bourgain (um limite inferior uniforme para a medida elíptica de bolas de superfície). Finalmente, seguindo o argumento de Aikawa [Ai06], esses ingredientes são combinados para provar a propriedade de duplicação da medida elíptica.

Contribuições e Resultados Principais

• Generalização das Condições de Drift: O resultado principal (Teorema 3) estabelece a propriedade de duplicação da medida elíptica sob a suposição de que o drift satisfaz uma condição de pequidez média (Eq. 2) em cubos de Whitney, em vez da condição pontual (Eq. 3). Esta é uma relaxação significativa das hipóteses, mesmo para o semi-espaço.
• Nova Prova da Desigualdade de Hardy: O artigo fornece uma prova direta de desigualdades de Hardy locais e globais em domínios chord-arc unilaterais usando um argumento de tempo de parada, distinto de provas indiretas anteriores.
• Limites da Função de Green: O artigo estabelece tanto limites superiores quanto inferiores pontuais para a função de Green sob a condição de drift médio. A prova do limite superior utiliza notavelmente uma decomposição de Calderón-Zygmund para gerenciar a falta de controle pontual sobre o drift.
• Existência do Adjunto: O trabalho esclarece as condições necessárias para a existência de soluções para a equação adjunta, destacando especificamente a necessidade da condição de divergência em $B$ para a forma bilinear do adjunto.

Significância e Alegações
O artigo afirma que estes resultados são novos mesmo para o semi-espaço, estendendo a teoria perturbativa da solubilidade de Dirichlet rugosa. O trabalho conecta-se a desenvolvimentos recentes na solubilidade para operadores com condições de medida de Carleson em termos de ordem inferior (por exemplo, Hofmann-Lewis, Kenig-Pipher, e trabalho recente pelo autor e outros).

O autor posiciona este trabalho como um passo fundamental para estender os resultados de [HP24] (que estabeleceram a solubilidade de Dirichlet $L^p$) para operadores onde a condição de supremo dentro da integral da medida de Carleson é removida. O artigo afirma explicitamente que, embora a propriedade de duplicação seja estabelecida aqui, a adaptação total dos métodos para provar a solubilidade de Dirichlet sob esta condição de medida de Carleson mais geral será o objeto de trabalhos futuros.

A significância reside na capacidade de lidar com drifts que não são pontualmente pequenos, mas que são "pequenos na média", ampliando assim a classe de operadores elípticos para os quais a propriedade de duplicação da medida elíptica — e, consequentemente, a solubilidade de problemas de valor de contorno — pode ser garantida.