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

Resumen Técnico: Clasificación de Soluciones Positivas de un Sistema de Schrödinger Cuasilineal Crítico con $p$-Laplaciano

Planteamiento del Problema
Este artículo investiga las propiedades cualitativas y la clasificación de soluciones débicas positivas $(u, v)$ para el sistema de Schrödinger cuasilineal crítico en $D^{1,p}(\mathbb{R}^N)$ que involucra al operador $p$-Laplaciano:
$$\begin{cases} -\Delta_p u = u^\alpha v^\beta & \text{en } \mathbb{R}^N, \\ -\Delta_p v = u^\beta v^\alpha & \text{en } \mathbb{R}^N, \end{cases}$$
donde $1 < p < N$, $N \ge 2$, y los exponentes satisfacen $0 \le \alpha \le \beta$ con $\alpha + \beta = p^* - 1$. Aquí, $p^* = \frac{Np}{N-p}$ denota el exponente crítico de Sobolev, y las soluciones pertenecen al espacio $D^{1,p}(\mathbb{R}^N)$, definido como la completación de $C_0^\infty(\mathbb{R}^N)$ bajo la norma $\|\nabla u\|_{L^p}$.

El estudio aborda la generalización de los resultados de unicidad y clasificación establecidos previamente para el caso semilineal ($p=2$) por Li y Ma [48] y Quittner y Souplet [58] al régimen totalmente cuasilineal $1 < p < N$.

Metodología y Desafíos Técnicos
Los autores emplean el método de planos móviles para establecer la simetría radial y la monotonicidad. Sin embargo, extender este método de $p=2$ a $1 < p < N$ presenta obstáculos analíticos significativos debido a la naturaleza no lineal del $p$-Laplaciano ($\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$). El artículo identifica cuatro dificultades primarias:

1. No linealidad: Las operaciones lineales no pueden intercambiarse con $\Delta_p$, y los principios de comparación estándar derivados de los principios máximos no son directamente aplicables.
2. Ausencia de Transformadas de Kelvin: La falta de invarianza conforme para $p \neq 2$ impide el uso de transformadas de Kelvin, lo que requiere la derivación de estimaciones asintóticas agudas tanto para las soluciones como para sus gradientes.
3. Falta de Representación de Green: La ausencia de una fórmula de representación integral de Green impide el uso de métodos indirectos basados en ecuaciones integrales equivalentes.
4. Elipticidad Singular/Degenerada: El operador es elíptico singular para $1 < p < 2$ y elíptico degenerado para $p > 2$, lo que requiere un tratamiento separado, ya que no existe un principio de comparación fuerte uniforme.

Para superar esto, los autores:

• Establecen la regularidad y estimaciones asintóticas agudas para $(u, v)$ y $(|\nabla u|, |\nabla v|)$ sin depender de transformadas de Kelvin.
• Utilizan técnicas de iteración de De Giorgi-Moser-Nash para derivar cotas de decaimiento preliminares.
• Aplican argumentos de escalamiento y lemas de duplicación para refinar estas cotas en estimaciones agudas.
• Emplean desigualdades de tipo Poincaré ponderadas y desigualdades de Hardy-Sobolev para manejar el procedimiento de planos móviles en presencia de conjuntos críticos (donde los gradientes se anulan).
• Discuten los casos singular ($1 < p < 2$) y degenerado ($p > 2$) por separado, adaptando la técnica de planos móviles y los principios de comparación según corresponda.

Contribuciones Clave y Resultados

1. Regularidad y Estimaciones Asintóticas Agudas (Teorema 1.3):
   Los autores demuestran que cualquier solución débil positiva $(u, v)$ pertenece a $C^{1,\theta}_{\text{loc}}(\mathbb{R}^N) \cap L^\infty(\mathbb{R}^N)$. Crucialmente, establecen cotas de dos lados agudas para las soluciones y sus 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 estimaciones se derivan sin transformadas de Kelvin, llenando un vacío en la literatura para el $p$ general.

2. Simetría Radial y Monotonicidad (Teorema 1.4):
   Usando el método de planos móviles, el artículo demuestra que todas las soluciones positivas son radialmente simétricas y estrictamente decrecientes respecto a algún punto $x_0 \in \mathbb{R}^N$. Este resultado se sostiene para todo el rango $1 < p < N$. La prueba implica mostrar que las soluciones son simétricas con respecto a un hiperplano en cualquier dirección, convergiendo eventualmente a un centro de simetría único.

3. Unicidad y Clasificación Completa:
   Los autores demuestran que $u \equiv v$. En consecuencia, el sistema se reduce a la ecuación única del $p$-Laplaciano crítico $-\Delta_p u = u^{p^*-1}$. Al aprovechar los resultados de clasificación existentes para la ecuación única (por ejemplo, de Sciunzi [59] y Vetois [71]), el artículo proporciona la clasificación completa de las soluciones 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}},$$
   donde $\lambda > 0$ y $x_0 \in \mathbb{R}^N$ son parámetros arbitrarios.

Significado y Alcance
El artículo afirma extender los resultados de unicidad conocidos para el caso semilineal ($p=2$) al caso cuasilineal general ($1 < p < N$). Específicamente, aborda el vacío técnico dejado por la ausencia de invarianza conforme y transformadas de Kelvin en el entorno del $p$-Laplaciano. Al establecer comportamientos asintóticos agudos y manejar la naturaleza singular/degenerada del operador por separado, el trabajo proporciona una base rigurosa para la clasificación de soluciones de sistemas críticos cuasilineales. Los resultados unifican la comprensión de tales sistemas a través de todo el rango de $p$, confirmando que, a pesar de la mayor complejidad del operador, el comportamiento cualitativo (simetría radial, monotonicidad y unicidad hasta escalamiento y traslación) permanece consistente con el caso semilineal.