A counterexample for pointwise upper bounds on Green's function with a singular drift at boundary

Resumo Técnico: Um Contraexemplo para Limites Superiores Pontuais da Função de Green com Deriva Singular na Fronteira

Enunciado do Problema
Este artigo aborda o comportamento da função de Green associada a uma sequência de operadores elípticos $L_m = -\nabla \cdot (\nabla u) + B_m \cdot \nabla u$ definidos no balão unitário $\Omega = B(0, 1) \subset \mathbb{R}^n$ ($n \geq 3$). O foco recai sobre operadores onde o termo de deriva $B_m$ diverge como o inverso da distância à fronteira, especificamente comportando-se como $C/(1-|x|)$ próximo a $\partial \Omega$.

Embora limites superiores e inferiores pontuais para funções de Green estejam bem estabelecidos para operadores com derivas limitadas ou derivas limitadas por $\epsilon/\delta(x)$ (onde $\epsilon$ é suficientemente pequeno), o comportamento para derivas com uma constante $C$ maior permanece um ponto de controvérsia. O artigo visa especificamente uma afirmação feita por Hofmann e Lewis a respeito da existência de estimativas superiores uniformes para tais derivas singulares no contexto elíptico.

Metodologia
O autor constrói um contraexemplo específico utilizando uma deriva radial $B_m$ definida como:
$$B_m = \begin{cases} -\frac{C}{1-|r|} \hat{r} & \text{se } |r| \leq 1 - \frac{1}{m} \\ -C_m \hat{r} & \text{se } 1 - \frac{1}{m} < |r| < 1 \end{cases}$$
onde $C \geq 1$ é uma constante arbitrária e $C_m$ é escolhida para garantir continuidade ou um comportamento específico na camada de fronteira. À medida que $m \to \infty$, esta sequência aproxima uma deriva $B(x)$ que satisfaz $|B(x)| \leq C/\delta(x)$.

A metodologia procede em três estágios principais:

1. Redução de Simetria: O autor prova que, para o polo específico na origem, a função de Green $G_m(x, 0)$ depende apenas da variável radial $r = |x|$. Isso reduz a equação diferencial parcial a uma equação diferencial ordinária (EDO) na coordenada radial.
2. Estabelecimento de Limites Inferiores: Utilizando argumentos similares aos de literatura existente (especificamente referenciando [2]), o artigo estabelece um limite inferior uniforme para a função de Green na região interior. Demonstra-se que $G_m(y, z) \geq c_0 |z-y|^{-(n-2)}$ para pontos suficientemente próximos entre si e afastados da fronteira, onde a constante $c_0$ é independente de $m$. Isso baseia-se na desigualdade de Harnack e em estimativas cuidadosas do efeito do termo de deriva dentro de anéis delimitados longe da fronteira.
3. Integração Explícita e Análise de Divergência: Ao resolver a EDO radial explicitamente usando um fator integrante, o autor deriva uma expressão para a derivada da função de Green. A solução é integrada a partir de um ponto próximo à fronteira até o centro (especificamente avaliando em $x = (1/2, 0, \dots, 0)$). A análise distingue a região onde a deriva segue a lei do inverso da distância e a camada de fronteira onde ela é truncada.

Resultos Principais
O resultado central, Teorema 2, demonstra que para o operador definido com $C=1$, o valor da função de Green no ponto $(1/2, 0, \dots, 0)$ com um polo na origem diverge para o infinito quando $m \to \infty$:
$$\lim_{m \to \infty} G_m\left(\frac{1}{2}, 0, \dots, 0; 0\right) = \infty$$
A prova baseia-se no fato de que, embora o limite inferior permaneça uniforme, o limite superior falha. A integração explícita mostra que o termo envolvendo o exponencial da integral da deriva cresce descontroladamente conforme $m$ aumenta, especificamente devido à contribuição da camada de fronteira onde a deriva é truncada em $C_m$.

Consequentemente, o artigo estabelece que estimativas superiores pontuais uniformes para a função de Green não existem para esta classe de derivas singulares quando a constante $C$ não é suficientemente pequena.

Significância e Alegações
O artigo alega fornecer um contraexemplo definitivo para uma afirmação anterior de Hofmann e Lewis (especificamente o Teorema 4.3(a) no Capítulo III de sua obra [4]). O autor argumenta que a suposta prova no trabalho citado falha porque se baseia em uma versão elíptica de um lema que não pode ser provado sem assumir o próprio limite superior da função de Green que se busca. A prova citada tenta generalizar um resultado do caso parabólico para o caso elíptico, um passo que o autor demonstra ser inválido para derivas desta magnitude.

Além disso, o artigo observa que se a constante $C$ na deriva for escolhida para ser suficientemente pequena (especificamente $C < 1$ no contexto do exemplo construído, ou genericamente $\epsilon(\Omega)$ conforme [9]), os limites superiores pontuais esperados são recuperados. Isso destaca um limiar nítido no comportamento das soluções baseado na magnitude da deriva singular.

Finalmente, o autor observa que, no limite $m \to \infty$, a solução para o problema de Poisson-Dirichlet com dados limitados (por exemplo, $f = \mathbf{1}_{B(1/2, \epsilon)}$) deixa de ser bem definida em $W^{1,2}(B(0, 1))$, uma vez que os valores da solução divergem para o infinito em toda uma vizinhança da origem.

Conclusão
O artigo conclui que, para operadores elípticos com derivas que divergem como o inverso da distância à fronteira, limites superiores uniformes na função de Green não podem ser garantidos se o coeficiente da deriva exceder um certo limiar. Este resultado corrige a literatura quanto à validade da extensão de estimativas parabólicas para o cenário elíptico para tais coeficientes singulares.