Reversed inequality of the Herbst-type and the related Euler-Lagrange system

Resumen Técnico: Desigualdad Inversa de tipo Herbst y el Sistema de Euler-Lagrange Relacionado

Planteamiento del Problema
Este artículo aborda el caso crítico de la desigualdad de Stein-Weiss invertida, centrándose específicamente en una "desigualdad de tipo Herbst invertida". Mientras que las desigualdades clásicas de Hardy-Littlewood-Sobolev (HLS) y Stein-Weiss proporcionan cotas superiores para operadores integrales con exponentes positivos, y sus contrapartes invertidas (establecidas por Dou-Zhu y Chen et al.) proporcionan cotas inferiores para operadores con exponentes negativos, la forma crítica específica de la desigualdad de Herbst que involucra núcleos ponderados con restricciones de exponentes específicas no había sido plenamente explorada en el entorno invertido.

Los autores investigan la desigualdad:
$$\left| \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} |x - y|^{\alpha/q' - n} |y|^{\alpha/q'} g(x)h(y) \, dx dy \right| \geq C_{n,\alpha,p,q'} \|g\|_{L^{q'}(\mathbb{R}^n)} \|h\|_{L^p(\mathbb{R}^n)}$$
donde $n \geq 1$, $p, q' \in (0, 1)$, $\alpha > n$, y los parámetros satisfacen la condición de tipo Sobolev $1/p + 1/q' - 2\alpha/(q'n) = 1$. Los autores señalan que esta desigualdad no puede ser cubierta por la desigualdad de Stein-Weiss invertida previamente establecida, ya que esta última requiere restricciones de signo específicas en los pesos que no se cumplen aquí.

Metodología
El artículo emplea una combinación de técnicas de análisis armónico, métodos variacionales y el estudio de sistemas integrales:

1. Demostración de la Desigualdad (Teorema 1.1):

   • Los autores utilizan la desigualdad de Young invertida en grupos localmente compactos (específicamente $\mathbb{R}^n$ con una medida de Haar específica).
   • Emplean técnicas de simetrización (desigualdades de reordenamiento) para reducir el problema a funciones radialmente simétricas y decrecientes.
   • Para el caso $n=1$, la demostración se basa en una aplicación directa de la desigualdad de Young invertida tras un cambio de variable.
   • Para $n \geq 2$, los autores utilizan el Lema 2.3 (una identidad integral sobre la esfera) para manejar la integración angular, reduciendo el problema a una desigualdad de convolución unidimensional que luego se resuelve utilizando la desigualdad de Young invertida.

2. Existencia de Funciones Extremales (Teorema 1.2):

   • Para probar la existencia de una función $h$ que alcance la mejor constante, los autores adoptan el esquema utilizado por Lieb para la desigualdad clásica de HLS.
   • Construyen una sucesión minimizante $\{h_j\}$ y utilizan el reordenamiento para asumir simetría radial y monotonicidad.
   • Se utilizan argumentos de escalamiento para evitar que la sucesión se anule o se concentre en el infinito.
   • Se aplican el teorema de selección de Helly y la desigualdad de Fatou para extraer una subsucesión convergente y probar que la función límite es, de hecho, un minimizador.

3. Análisis del Sistema de Euler-Lagrange:

   • Las funciones extremales satisfacen un sistema acoplado de ecuaciones integrales:
     $$u(x) = \int_{\mathbb{R}^n} |x - y|^{\beta - n} v^{-p_2}(y) |y|^\beta \, dy, \quad v(x) = \int_{\mathbb{R}^n} |x - y|^{\beta - n} u^{-p_1}(y) |x|^\beta \, dy$$
     donde $\beta = \alpha/q'$.
   • Resultados de No Existencia: Los autores utilizan argumentos de integrabilidad local y contradicción (mostrando que las soluciones serían infinitas) para probar que no existen soluciones positivas en $L^\infty_{\text{loc}}(\mathbb{R}^n \setminus \{0\})$ cuando $\beta < n$.
   • Comportamiento Asintótico e Integrabilidad: Para $\beta > n$, los autores derivan tasas asintóticas precisas ($u(x) \sim |x|^{\beta-n}$, $v(x) \sim |x|^{2\beta-n}$ cuando $|x| \to \infty$) utilizando técnicas de estimación iterativa. También establecen condiciones de integrabilidad para los recíprocos de las soluciones.
   • Condiciones Necesarias: Utilizando una identidad de tipo Pohozaev (derivada mediante integración por partes y diferenciación respecto al escalamiento), prueban que la condición de tipo Sobolev es una condición necesaria para la existencia de soluciones enteras positivas diferenciables.

4. Estudio del Sistema de Herbst Clásico (Teoremas 1.5–1.7):

   • El artículo también analiza el sistema asociado a la desigualdad de Herbst estándar (no invertida), que involucra potencias positivas en el integrando.
   • Establecen resultados de no existencia para super-soluciones positivas cuando el producto de los exponentes $q_1 q_2 \neq 1$ o cuando se cumplen desigualdades específicas.
   • Prueban la existencia de super-soluciones radialmente simétricas y soluciones inferiores cuando $q_1 q_2 = 1$ y los exponentes satisfacen ciertos límites.

Contribuciones Clave y Resultados

• Teorema 1.1 (Desigualdad de Herbst Invertida): Establece la validez de la desigualdad de Herbst invertida para $p, q' \in (0, 1)$ y $\alpha > n$, un caso no cubierto por la desigualdad de Stein-Weiss invertida.
• Teorema 1.2 (Existencia de Extremales): Prueba la existencia de funciones extremales no negativas que alcanzan la mejor constante en la desigualdad de Herbst invertida.
• Teorema 1.3 (No Existencia para $\beta < n$): Muestra que el sistema de Euler-Lagrange asociado no tiene soluciones locales acotadas positivas si el exponente del peso $\beta$ es menor que la dimensión $n$.
• Teorema 1.4 (Asintótica e Integrabilidad para $\beta > n$): Caracteriza el comportamiento de las soluciones enteras positivas cuando $\beta > n$, proporcionando tasas asintóticas agudas en cero e infinito, y determinando la integrabilidad de $u^{-1}$ y $v^{-1}$. También confirma la necesidad de la condición de tipo Sobolev para soluciones diferenciables.
• Teoremas 1.5–1.7 (Análisis del Sistema de Herbst): Proporciona una clasificación exhaustiva de la existencia y no existencia de super-soluciones positivas para el sistema relacionado con la desigualdad de Herbst estándar, identificando $q_1 q_2 = 1$ como un umbral crítico.

Significado
El artículo afirma que estos resultados extienden la teoría de las desigualdades agudas y los sistemas integrales a un nuevo régimen crítico que involucra desigualdades invertidas con estructuras de peso específicas. Los autores destacan que, mientras que la desigualdad de Herbst clásica (1.9) puede no admitir funciones extremales, la versión invertida (1.20) sí las admite, ofreciendo una nueva perspectiva sobre la estructura variacional de estos problemas. El análisis del sistema de Euler-Lagrange proporciona condiciones necesarias para la existencia de soluciones y propiedades cualitativas detalladas (simetría, integrabilidad, asintótica) que son cruciales para comprender las formas geométricas de estas funciones extremales. El trabajo contribuye a la comprensión más amplia de los exponentes críticos en ecuaciones elípticas geométricas y ecuaciones integrales, con potencial relevancia para problemas que involucran límites de energía de Coulomb.