Critical quasi-linear Schrödinger system with $p$-Laplacian

Resumo Técnico: Classificação de Soluções Positivas para um Sistema de Schrödinger Quasi-linear Crítico com $p$-Laplaciano

Enunciado do Problema
Este artigo investiga as propriedades qualitativas e a classificação de soluções fracas positivas $(u, v)$ para o sistema de Schrödinger quasi-linear $D^{1,p}(\mathbb{R}^N)$-crítico envolvendo o operador $p$-Laplaciano:
$$\begin{cases} -\Delta_p u = u^\alpha v^\beta & \text{em } \mathbb{R}^N, \\ -\Delta_p v = u^\beta v^\alpha & \text{em } \mathbb{R}^N, \end{cases}$$
onde $1 < p < N$, $N \ge 2$, e os expoentes satisfazem $0 \le \alpha \le \beta$ com $\alpha + \beta = p^* - 1$. Aqui, $p^* = \frac{Np}{N-p}$ denota o expoente de Sobolev crítico, e as soluções pertencem ao espaço $D^{1,p}(\mathbb{R}^N)$, definido como a completude de $C_0^\infty(\mathbb{R}^N)$ sob a norma $\|\nabla u\|_{L^p}$.

O estudo aborda a generalização dos resultados de unicidade e classificação previamente estabelecidos para o caso semi-linear ($p=2$) por Li e Ma [48] e Quittner e Souplet [58] para o regime totalmente quasi-linear $1 < p < N$.

Metodologia e Desafios Técnicos
Os autores empregam o método dos planos móveis para estabelecer simetria radial e monotonicidade. No entanto, estender este método de $p=2$ para $1 < p < N$ apresenta obstáculos analíticos significativos devido à natureza não linear do $p$-Laplaciano ($\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$). O artigo identifica quatro dificuldades primárias:

1. Não-linearidade: Operações lineares não podem ser trocadas com $\Delta_p$, e princípios de comparação padrão derivados de princípios máximos não são diretamente aplicáveis.
2. Ausência de Transformadas de Kelvin: A falta de invariância conforme para $p \neq 2$ impede o uso de transformadas de Kelvin, necessitando da derivação de estimativas assintóticas aguçadas tanto para as soluções quanto para seus gradientes.
3. Ausência de Representação de Green: A ausência de uma fórmula de representação integral de Green impede métodos indiretos baseados em equações integrais equivalentes.
4. Elipticidade Singular/Degenerada: O operador é elíptico singular para $1 < p < 2$ e elíptico degenerado para $p > 2$, exigindo tratamento separado, uma vez que não existe um princípio de comparação forte uniforme.

Para superar isso, os autores:

• Estabelecem regularidade e estimativas assintóticas aguçadas para $(u, v)$ e $(|\nabla u|, |\nabla v|)$ sem depender de transformadas de Kelvin.
• Utilizam técnicas de iteração de De Giorgi-Moser-Nash para derivar limites de decaimento preliminares.
• Aplicam argumentos de escala e lemmas de duplicação para refinar esses limites em estimativas aguçadas.
• Empregam desigualdades do tipo Poincaré ponderadas e desigualdades de Hardy-Sobolev para lidar com o procedimento de plano móvel na presença de conjuntos críticos (onde os gradientes se anulam).
• Discutem os casos singular ($1 < p < 2$) e degenerado ($p > 2$) separadamente, adaptando a técnica de plano móvel e os princípios de comparação adequadamente.

Contribuições Principais e Resultados

1. Regularidade e Estimativas Assintóticas Aguçadas (Teorema 1.3):
   Os autores provam que qualquer solução fraca positiva $(u, v)$ pertence a $C^{1,\theta}_{\text{loc}}(\mathbb{R}^N) \cap L^\infty(\mathbb{R}^N)$. Crucialmente, eles estabelecem limites de duas faces aguçados para as soluções e seus gradientes para $|x|$ grande:
   $$\frac{c_0}{1 + |x|^{\frac{N-p}{p-1}}} \le u(x), v(x) \le \frac{C_0}{1 + |x|^{\frac{N-p}{p-1}}},$$
   $$\frac{c'_0}{|x|^{\frac{N-1}{p-1}}} \le |\nabla u(x)|, |\nabla v(x)| \le \frac{C'_0}{|x|^{\frac{N-1}{p-1}}}.$$
   Estas estimativas são derivadas sem transformadas de Kelvin, preenchendo uma lacuna na literatura para o $p$ geral.

2. Simetria Radial e Monotonicidade (Teorema 1.4):
   Usando o método dos planos móveis, o artigo prova que todas as soluções positivas são radialmente simétricas e estritamente decrescentes em relação a algum ponto $x_0 \in \mathbb{R}^N$. Este resultado é válido para todo o intervalo $1 < p < N$. A prova envolve mostrar que as soluções são simétricas em relação a um hiperplano em qualquer direção, eventualmente convergindo para um centro de simetria único.

3. Unicidade e Classificação Completa:
   Os autores demonstram que $u \equiv v$. Consequentemente, o sistema reduz-se à equação única do $p$-Laplaciano crítico $-\Delta_p u = u^{p^*-1}$. Ao aproveitar os resultados de classificação existentes para a equação única (por exemplo, de Sciunzi [59] e Vetois [71]), o artigo fornece a classificação completa das soluções positivas:
   $$u(x) = v(x) = \left[ \lambda^{\frac{1}{p-1}} \left( N^{\frac{1}{p}} \left( \frac{N-p}{p-1} \right)^{\frac{p-1}{p}} \right) \lambda^{\frac{p}{p-1}} + |x-x_0|^{\frac{p}{p-1}} \right]^{-\frac{N-p}{p}},$$
   onde $\lambda > 0$ e $x_0 \in \mathbb{R}^N$ são parâmetros arbitrários.

Significância e Escopo
O artigo afirma estender os resultados de unicidade conhecidos para o caso semi-linear ($p=2$) para o caso quasi-linear geral ($1 < p < N$). Ele aborda especificamente o vazio técnico deixado pela ausência de invariância conforme e transformadas de Kelvin no contexto do $p$-Laplaciano. Ao estabelecer comportamentos assintóticos aguçados e tratar a natureza singular/degenerada do operador separadamente, o trabalho fornece uma base rigorosa para a classificação de soluções de sistemas quasi-lineares críticos. Os resultados unificam a compreensão de tais sistemas em todo o intervalo de $p$, confirmando que, apesar da complexidade aumentada do operador, o comportamento qualitativo (simetria radial, monotonicidade e unicidade até escala e translação) permanece consistente com o caso semi-linear.