Critical $p$-Laplace equations with monotone coefficients: Liouville classification and a Schoen-type Harnack inequality

Resumo Técnico: Equações p-Laplacianas Críticas com Coeficientes Monótonos

Enunciado do Problema
Este artigo investiga soluções fracas positivas para a equação $p$-Laplaciana crítica com uma não linearidade não autônoma:
$$-\Delta_p u = u^{p^*-1}h(u), \quad \text{em } \mathbb{R}^n,$$
onde $1 < p < n$, $p^* = \frac{np}{n-p}$, e $h$ é uma função positiva, limitada, contínua e não crescente. O estudo foca em dois objetivos interconectados:

1. Classificação de Liouville: Determinar a forma precisa de soluções inteiras positivas sem impor suposições a priori de decaimento (ex: energia finita ou taxas de crescimento específicas).
2. Desigualdade de Harnack Invariante de Escala: Estabelecer uma estimativa local da forma $\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}$ para soluções fracas não negativas definidas em $B_{3R}$.

O trabalho aborda uma lacuna significativa na teoria das equações quasilineares. Diferente do caso semilinear ($p=2$), o $p$-Laplaciano ($p \neq 2$) carece de uma transformada de Kelvin que preserve a equação, tornando os métodos clássicos de planos/esferas móveis inaplicáveis em sua forma padrão. Além disso, resultados de classificação existentes para a equação puramente crítica ($h \equiv \text{constante}$) frequentemente dependem de suposições restritivas (energia finita, limitação ou taxas de crescimento específicas) ou intervalos específicos de $p$. Este artigo visa fornecer uma teoria de classificação-para-Harnack para todo o intervalo $1 < p < n$ sob uma suposição de monotonicidade em $h$.

Metodologia
O autor desenvolve um arcabouço que serve como um contraparte quasilinear da transformada de Kelvin e do método das esferas móveis, adaptado para o $p$-Laplaciano com coeficientes monótonos contínuos. A metodologia procede em duas etapas principais:

1. Classificação Global via Tensores Invariantes e Identidades de Bochner Fracas:

   • Transformação: A solução $V$ é transformada via $w = V^{-1/a}$ (onde $a = \frac{n-p}{p}$), convertendo a equação em uma forma passível de análise de tensor de tensão.
   • Tensor de Tensão e Função P: O autor define um campo de tensão não linear $X_w = |\nabla w|^{p-2}\nabla w$ e uma função P modificada $Q_w$.
   • Tratamento da Monotonicidade: Uma inovação técnica fundamental é a decomposição do coeficiente transformado $c_\tau(t)$ em uma parte absolutamente contínua e um defeito singular (de Stieltjes) $e_\tau(t)$. Isso permite ao autor lidar com o fato de que $h$ é apenas contínua e monótona, podendo conter uma parte de Cantor em sua derivada.
   • Identidade de Bochner Fraca: Uma nova identidade de tipo Bochner fraca é derivada para $Q_w$. Ao contrário de abordagens anteriores que dependiam de estimativas integrais globais (ex: Ou [34]), este trabalho utiliza um termo coercivo pontual local.
   • Construção de Multiplicador: Para controlar o crescimento de $Q_w$ e evitar que máximos positivos escapem para o infinito, o autor constrói uma função de peso específica $\phi_{\ell,m}$ resolvendo uma equação diferencial ordinária reversa adaptada à desigualdade da PDE alvo. Isso substitui os pesos de potência fixa usados no caso de potência pura.
   • Argumento de Rigidez: Ao estabelecer um limite global agudo $Q_w \leq c_{\tau,0}$ e analisar o comportamento nos pontos de mínimo (usando análise de tangente e barreiras de bola perfurada), o autor prova que a solução deve coincidir com um perfil de Aubin–Talenti. Crucialmente, eles mostram que a existência de tal perfil força o coeficiente $h$ a ser constante no intervalo de valores atingidos pelo perfil.

2. Desigualdade de Harnack via Desconcentração e Teoria do Potencial:

   • Argumento de Contradição: A prova da desigualdade de Harnack procede por contradição, assumindo uma sequência de soluções que viola a estimativa.
   • Análise de Blow-up: Um procedimento de reescalonamento identifica uma solução inteira limite. O resultado de classificação (Teorema 1.1) é então aplicado a esse limite.
   • Mecanismo de Primeiro Contato: Em vez de depender de uma estimativa preliminar de "pescoço" (como em Qin–Zhang [35]), o autor emprega um argumento de "primeiro contato" combinado com desconcentração da teoria do potencial.
   • Estimativas de Kilpeläinen–Malý: Usando a teoria dos potenciais não lineares (especificamente potenciais de Wolff), o autor deriva um limite uniforme para o termo de fonte próximo ao ponto de contato. Isso estabelece o controle de coeficiente necessário para aplicar a desigualdade de Harnack, removendo efetivamente a necessidade de estimativas de pescoço a priori.

Principais Contribuições e Resultados

• Teorema 1.1 (Classificação de Perfis Normalizados): Para qualquer $\tau \in [0, \infty]$, qualquer solução inteira positiva, limitada e normalizada para a equação com a não linearidade escalonada $g_\tau$ deve ser um perfil de Aubin–Talenti:
  $$V(x) = \left(1 + \gamma_\tau |x|^{p'}\right)^{-a}.$$
  Além disso, se $0 < \tau < \infty$, a existência de tal solução implica que $h(s) = h(\tau)$ para todo $0 < s \leq \tau$. Isso estabelece um teorema de rigidez tanto para a solução quanto para o coeficiente.

• Teorema 1.2 (Desigualdade de Harnack Invariante de Escala): Para soluções fracas não negativas em $B_{3R}$, a seguinte estimativa é válida:
  $$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}.$$
  Este resultado é estabelecido sem assumir energia finita ou comportamento assintótico específico no infinito.

• Corolário 1.4 (Teorema de Liouville Irrestrito): Toda solução inteira positiva para a equação original é um perfil de Aubin–Talenti (salvo escalonamento e translação), e o coeficiente $h$ é constante no intervalo da solução.

• Equivalência de Propriedades: O artigo demonstra que, para a equação puramente crítica, a classificação de Liouville irrestrita é equivalente à desigualdade de Harnack do tipo Schoen.

Significância e Alegações
O autor alega que seus argumentos constituem as primeiras contrapartes quasilineares da transformada de Kelvin e do método das esferas móveis disponíveis para o caso geral $1 < p < n$ com coeficientes monótonos meramente contínuos.

• Avanço Metodológico: O trabalho fornece provas alternativas para resultados clássicos no caso semilinear ($p=2$) e os estende para o cenário quasilinear onde ferramentas de invariância conforme padrão falham. A introdução da identidade de Bochner fraca com um multiplicador adaptado e o tratamento de medidas de Stieltjes singulares no coeficiente são apresentados como ferramentas analíticas inovadoras.
• Remoção de Suposições: Os resultados fornecem um teorema de Liouville "totalmente irrestrito", removendo a necessidade de energia finita, limitação ou condições de crescimento prescritas que caracterizaram resultados anteriores para $p \neq 2$.
• Visão Estrutural: O artigo destaca que a interação entre teoremas de Liouville e desigualdades de Harnack é fundamental. A classificação dos perfis de blow-up mostra-se indispensável para estabelecer a estimativa de Harnack quando a não linearidade não é do tipo puramente potência.

O artigo não propõe novas aplicações ou propostas experimentais, mas posiciona-se como uma contribuição fundamental para a teoria de compacidade de equações elípticas críticas, preenchendo a lacuna entre o caso semilinear bem compreendido e o cenário mais rígido do quasilinear.