A Pohozaev-type neck proof of a conditional Harnack inequality in the critical $p$-Laplacian setting

Resumo Técnico: Uma Prova de Pescoço do Tipo Pohozaev para uma Desigualdade de Harnack Condicional no Cenário do $p$-Laplaciano Crítico

Enunciado do Problema
O artigo aborda a regularidade e o comportamento quantitativo de soluções fracas positivas para a equação quasilinear crítica:
$$-\Delta_p u = g(u) \quad \text{em } \Omega \subset \mathbb{R}^n,$$
onde $1 < p < n$, $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ é o $p$-Laplaciano, e a não linearidade $g$ satisfaz condições de crescimento de Sobolev crítico (especificamente $g(s) \sim s^{p^*-1}$ quando $s \to \infty$, onde $p^* = \frac{np}{n-p}$).

O objetivo central é estabelecer uma desigualdade de Harnack da forma:
$$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n},$$
que fornece uma descrição pontual de soluções singulares e fundamenta a análise de blow-up (explosão).

Contexto Metodológico e Obstáculos
No caso semilinear ($p=2$), tais desigualdades foram estabelecidas por Schoen e posteriormente estendidas por Li e Zhang utilizando o método da esfera (ou plano) móvel. Este método depende fortemente da transformada de Kelvin, que explora a invariância conformal do Laplaciano.

No entanto, para $p \neq 2$, o $p$-Laplaciano não é conformalmente invariante, tornando a transformada de Kelvin e o método associado de esferas móveis indisponíveis. Essa ausência constitui um obstáculo genuíno para a extensão dos resultados clássicos de classificação e Harnack para o cenário geral do $p$-Laplaciano crítico.

Metodologia: O Argumento Pohozaev-Pescoço (Pohozaev-Neck)
Para superar a falta de invariância conformal, os autores desenvolvem um argumento de Pohozaev-pescoço. Esta abordagem substitui as técnicas de reflexão geométrica do caso $p=2$ por um argumento analítico baseado na identidade de Pohozaev e na estrutura de singularidades isoladas. A metodologia procede através dos seguintes passos:

1. Condição de Sinal Estrutural: Sob a suposição de que $s \mapsto s^{-(p^*-1)}g(s)$ é não crescente, os autores estabelecem que o funcional de Pohozaev é não negativo em bolas para soluções regulares.
2. Análise de Singularidade: Eles utilizam o teorema do polo de Kichenassamy–Véron para analisar o comportamento das soluções próximo a singularidades isoladas. Eles demonstram que, se uma solução possui uma "parte regular" (um termo constante não nulo $\beta$) em sua expansão assintótica $u(x) \sim \kappa|x|^{-\alpha} + \beta$, o funcional de Pohozaev na singularidade torna-se estritamente negativo.
3. O Lema do Pescoço (Lema 3.7): Esta é a principal contribuição técnica. O lema assume uma taxa de decaimento singular "preliminar" (especificamente $|x|^{-(n-p)/p}$) em uma região de pescoço normalizada. Ao reescalar a solução para uma escala de "pescoço", os autores constroem um perfil limite.
   • Se o decaimento fosse mais lento que a taxa nítida, o perfil limite possuiria uma parte regular positiva ($\beta > 0$).
   • Isso implicaria um valor de Pohozev negativo para o limite.
   • Contudo, a condição de sinal de Pohozaev herdada da equação original (via monotonicidade de $g$) exige que o valor seja não negativo.
   • Essa contradição força a parte regular a desaparecer, elevando assim a taxa de decaimento preliminar para a taxa fundamental $p$-harmônica nítida $|x|^{-(n-p)/(p-1)}$.

Principais Suposições (Natureza Condicional)
O resultado principal é condicional, dependendo de duas hipóteses explícitas:

1. Hipótese de Classificação Inteira: Toda solução fraca positiva inteira e limitada da equação limite $-\Delta_p V = g_A(V)$ em $\mathbb{R}^n$ (onde $g_A$ representa o limite de blow-up da não linearidade) deve ser um $p$-bubble de Aubin–Talenti.
2. Controle de Pescoço Preliminar: Existe um limite superior preliminar para as soluções de pescoço normalizadas da forma $v_j(y) \leq C|y|^{-(n-p)/p}$.

Principais Resultados

• Teorema 1.3 (Desigualdade de Harnack): Sob as suposições estruturais de $g$ (Suposição 1.1) e as duas hipóteses acima (Suposição 1.2), a desigualdade de Harnack condicional é válida para qualquer solução fraca positiva em $B_{3R}$.
• Elevação de Decaimento Nítido: O artigo prova que o argumento de Pohozaev-pescoço eleva com sucesso a taxa de decaimento singular preliminar $|x|^{-(n-p)/p}$ para a taxa nítida $|x|^{-(n-p)/(p-1)}$, que é necessária para a estimativa $\sup \times \inf$.
• Casos Incondicionais: Os autores observam que, no caso de potência pura $g(s) = L s^{p^*-1}$, a hipótese de classificação é conhecida para intervalos específicos de $n$ e $p$ (por exemplo, $n \leq 6$ ou $n \geq 7$ com $p > n/3$), tornando o teorema incondicional nesses regimes. Além disso, se um limite de energia crítica invariante de escala for assumido, a classificação e o controle preliminar seguem da teoria de energia finita existente, tornando o resultado incondicional nesse cenário.

Significância e Alegações
O artigo afirma fornecer a primeira prova de uma desigualdade de Harnack condicional para o $p$-Laplaciano crítico ($p \neq 2$) que não depende de invariância conformal.

• Mudança Metodológica: Introduz um "lema de pescoço" baseado em Pohozaev como uma alternativa viável à transformada de Kelvin para analisar fenômenos de bubbling em cenários não conformemente invariantes.
• Preenchimento de Lacuna: O trabalho conecta a análise de blow-up local (comportamento do pescoço) com resultados globais de classificação. Ele enquadra explicitamente a dificuldade do caso geral como a potencial existência de soluções inteiras limitadas que não são bubbles de Aubin–Talenti (limites de energia infinita), um cenário excluído pela hipótese condicional.
• Limitações: Os autores são modestos quanto ao escopo, reconhecendo que, sem a hipótese de classificação (ou um limite de energia), a existência de soluções inteiras que não sejam bubbles permanece um obstáculo aberto. O resultado é apresentado como um passo condicional à frente, dependente da validade da classificação de limites inteiros.

Conclusão
O artigo estabelece um arcabouço robusto para analisar equações do $p$-Laplaciano crítico ao substituir métodos geométricos conformais por identidades de Pohozaev analíticas. Ele deriva com sucesso uma desigualdade de Harnack nítida sob a suposição de que a classificação de soluções inteiras se comporta de maneira semelhante ao caso semilinear, isolando assim o problema da classificação como o único obstáculo restante para um resultado totalmente incondicional.