Radial symmetry of positive solutions of an integral system associated with the reversed Stein-Weiss inequality

Resumen Técnico: Simetría Radial de Soluciones Positivas de un Sistema Integral Asociado con la Desigualdad de Stein-Weiss Inversa

Planteamiento del Problema
Este artículo investiga la simetría radial y la monotonicidad de las soluciones positivas de un sistema específico de ecuaciones integrales que surge como el sistema de Euler-Lagrange para las funciones extremales de la desigualdad de Stein-Weiss inversa. El sistema está dado por:
$$\begin{cases} u(x) = \int_{\mathbb{R}^n} \frac{|x|^\alpha v^{-p_2}(y) |y|^\beta}{|x-y|^\Lambda} dy, \\ v(x) = \int_{\mathbb{R}^n} \frac{|x|^\beta u^{-p_1}(y) |y|^\alpha}{|x-y|^\Lambda} dy, \end{cases}$$
donde $n \ge 1$, $\Lambda > 0$, $p_1, p_2 > 1$, y los pesos satisfacen restricciones específicas que involucran a $\alpha, \beta$. Los autores consideran soluciones $(u, v)$ que son positivas casi en todas partes en $\mathbb{R}^n$ y pertenecen a $L^\infty_{loc}(\mathbb{R}^n) \times L^\infty_{loc}(\mathbb{R}^n)$.

El problema extiende trabajos previos sobre las desigualdades de Hardy-Littlewood-Sobolev (HLS) y Stein-Weiss. Mientras que Chen, Li y Ou establecieron la simetría radial para los sistemas estándar de HLS y Stein-Weiss utilizando el método de planos móviles, y Dou, Zhu y Liu abordaron la desigualdad HLS inversa, la simetría radial para el sistema de Stein-Weiss inverso (que involucra pesos dobles y exponentes negativos en el integrando) permanecía como una pregunta abierta.

Metodología
Los autores emplean el método de planos móviles en forma integral, una técnica desarrollada originalmente por Chen, Li y Ou, y posteriormente refinada por Dou, Guo y Zhu para sistemas con exponentes negativos. La demostración procede a través de los siguientes pasos técnicos:

1. Funciones Auxiliares y Regularidad: Para manejar los pesos dobles ($|x|^\alpha, |y|^\beta$) y la singularidad en el origen, los autores introducen funciones auxiliares:
   $$t(x) = |x|^{-\alpha}u(x), \quad w(x) = |x|^{-\alpha/p_1}u(x), \quad s(x) = |x|^{-\beta}v(x).$$
   Primero establecen el comportamiento asintótico de las soluciones $(u, v)$ en el infinito y cerca del origen (Lema 2.1). Crucialmente, demuestran que las funciones auxiliares $t$ y $s$ son continuas en $\mathbb{R}^n$ y diferenciables en $\mathbb{R}^n \setminus \{0\}$, y derivan estimaciones precisas para sus gradientes (Lemas 2.2 y 2.3). Estas estimaciones son necesarias para gestionar las singularidades cerca del origen durante el proceso de planos móviles.

2. Representación Integral: Los autores derivan representaciones integrales para las diferencias $t(x) - t_\lambda(x)$ y $s(x) - s_\lambda(x)$, donde $x_\lambda$ denota la reflexión de $x$ a través del plano $T_\lambda = \{x_1 = \lambda\}$. Estas representaciones involucran el núcleo $G(x, y) = |x_\lambda - y|^\Lambda - |x - y|^\Lambda$ (Lema 2.4).

3. El Argumento de Planos Móviles:

   • Punto de Partida: Para valores de $\lambda$ suficientemente negativos, los autores muestran que $t(x) \ge t_\lambda(x)$ y $s(x) \ge s_\lambda(x)$ se cumplen en la región $\Sigma_\lambda = \{x \in \mathbb{R}^n \mid x_1 \le \lambda\}$. Esto se basa en el comportamiento asintótico de las soluciones en el infinito y en las tasas de crecimiento específicas de las funciones auxiliares.
   • Movimiento del Plano: El plano $T_\lambda$ se desplaza hacia la derecha mientras las desigualdades se mantengan. Los autores definen $\lambda_0 = \sup \{ \mu < 0 \mid \text{las desigualdades se cumplen para todo } \lambda < \mu \}$.
   • Contradicción: Suponen que $\lambda_0 < 0$ y derivan una contradicción. Al analizar las representaciones integrales y utilizar la positividad estricta del núcleo $G(x, y)$ y la monotonicidad de las funciones de potencia involucradas, demuestran que si las desigualdades se cumplen hasta $\lambda_0$, estas deben cumplirse estrictamente en un entorno más allá de $\lambda_0$, a menos que la solución sea ya simétrica. La prueba maneja cuidadosamente la singularidad en el origen dividiendo los dominios de integración y utilizando las estimaciones de gradiente establecidas.
   • Conclusión de la Simetría: La contradicción implica que $\lambda_0 = 0$. Dado que la dirección del eje $x_1$ es arbitraria, las soluciones $w$ y $s$ (y, por consiguiente, $u$ y $v$) son radialmente simétricas respecto al origen.

Contribuciones Clave y Resultados
El resultado principal es el Teorema 1.1, que establece que bajo las condiciones $n \ge 1$, $\Lambda > 0$, $\min\{p_1, p_2\} > 1$, y límites específicos en los pesos $\alpha$ y $\beta$, cualquier par de soluciones positivas $(u, v)$ del sistema (1.12) es radialmente simétrico y monótonamente creciente respecto al origen.

Las contribuciones técnicas específicas del artículo incluyen:

• Extender el método de planos móviles al sistema de Stein-Weiss inverso, el cual presenta pesos dobles y exponentes negativos ($v^{-p_2}, u^{-p_1}$).
• Introducir y utilizar funciones auxiliares específicas ($t, w, s$) para desacoplar los pesos de los núcleos integrales, permitiendo la aplicación del método de planos móviles a pesar de la falta de una desigualdad de Stein-Weiss inversa directa para el sistema.
• Proporcionar estimaciones rigurosas para los gradientes de las funciones auxiliares cerca del origen y en el infinito para asegurar la validez de las estimaciones integrales requeridas para el argumento de planos móviles.

Significancia y Reivindicaciones
El artículo afirma resolver la cuestión de la simetría radial de las funciones extremales de la desigualdad de Stein-Weiss inversa, un problema motivado por el trabajo de Chen, Liu, Lu y Tao (2018), quienes establecieron la desigualdad pero no clasificaron la simetría de sus extremales.

Los autores posicionan su trabajo como una progresión natural en el estudio de las ecuaciones conformes y los sistemas integrales. Observan que, si bien la desigualdad de Stein-Weiss no se aplica directamente a su sistema de la misma manera que lo hizo para el sistema de Stein-Weiss estándar (como en Jin y Li, 2006), el esquema desarrollado por Dou, Guo y Zhu para la desigualdad HLS inversa puede adaptarse con éxito. El artículo enfatiza que la naturaleza de doble peso del sistema presenta una dificultad que requiere la introducción de las funciones auxiliares para manejar la singularidad en el origen de manera efectiva.

El trabajo no propone nuevas aplicaciones o configuraciones experimentales, sino que contribuye a la comprensión teórica de la estructura de las soluciones de ecuaciones integrales no lineales que surgen en la física matemática y en la teoría de las mejores constantes en desigualdades funcionales.