Variational problems related to self-similar solutions of Hardy-Sobolev heat equation in RN

Resumen Técnico: Problemas Variacionales Relacionados con Soluciones Autosimilares de la Ecuación del Calor de Hardy-Sobolev en $\mathbb{R}^N$

Planteamiento del Problema
Este artículo investiga la existencia, multiplicidad y no existencia de soluciones autosimilares para la ecuación parabólica semilineal con un potencial singular de Hardy-Sobolev en $\mathbb{R}^N$:
$$u_t - \Delta u = \frac{|u|^{q-2}u}{|x|^s}, \quad \text{en } \mathbb{R}^N \times (0, \infty),$$
donde $2 < q \leq 2^*(s) \equiv \frac{2N-2s}{N-2}$ y $0 \leq s < 2$. El estudio se centra en convertir este problema parabólico en un problema elíptico equivalente mediante una transformación autosimilar. La ecuación transformada es:
$$-\Delta v - \frac{1}{2}y \cdot \nabla v = \alpha v + \frac{|v|^{q-2}v}{|y|^s}, \quad \text{en } \mathbb{R}^N,$$
donde $\alpha = \frac{2-s}{2q-4}$. El objetivo principal es analizar la estructura variacional de esta ecuación elíptica, abordando específicamente los casos subcrítico ($q < 2^*(s)$) y crítico ($q = 2^*(s)$) bajo la influencia del término singular $|y|^{-s}$ y el peso gaussiano $K(y) = e^{|y|^2/4}$.

Metodología
Los autores emplean una combinación de análisis funcional, desigualdades ponderadas y métodos variacionales dentro de un marco específico de espacios de Hilbert.

1. Marco Funcional: El problema se formula en un espacio de Hilbert $X$, definido como la completación de $C_c^\infty(\mathbb{R}^N)$ con respecto a la norma inducida por el producto interno $(v_1, v_2)_K = \int_{\mathbb{R}^N} (\nabla v_1 \cdot \nabla v_2) K(y) dy$. Las soluciones débiles corresponden a puntos críticos del funcional de energía $E_K(v)$.
2. Desigualdades Ponderadas: Un paso fundamental consiste en establecer la desigualdad de Hardy ponderada y la desigualdad de Sobolev-Hardy ponderada. Estas desigualdades son cruciales para probar la continuidad y compacidad de las inmersiones relevantes $X \hookrightarrow L^q_K(\mathbb{R}^N, |y|^{-s})$.
3. Técnicas Variacionales:
   • Caso Subcrítico: Se utiliza el Teorema de la Fuente para establecer la existencia de infinitas soluciones. Esto requiere verificar las condiciones geométricas del teorema y la condición de Palais-Smale (PS).
   • Caso Crítico: La existencia de soluciones depende del principio de concentración-compacidad y del análisis de la mejor constante $S_{K,\alpha}$ asociada a la desigualdad de Sobolev-Hardy ponderada. Los autores comparan $S_{K,\alpha}$ con la mejor constante estándar $S^0$ (y $S_{K,0}$) para asegurar que el ínfimo se alcanza.
   • No Existencia: Se aplica la identidad de Pohozaev para derivar condiciones bajo las cuales no existen soluciones no triviales.
4. Prueba Alternativa: Para el caso crítico, se proporciona una prueba alternativa utilizando el Teorema del Paso de la Montaña, basándose en un umbral específico de nivel de energía para verificar la condición (PS).

Contribuciones y Resultados Clave

• Desigualdades: El artículo demuestra rigurosamente la desigualdad de Hardy-K y la desigualdad de Sobolev-Hardy-K, estableciendo las propiedades de compacidad necesarias para la inmersión del espacio ponderado $X$ en espacios de Lebesgue ponderados.
• Caso Subcrítico ($2 < q < 2^*(s)$):
  • Teorema 3.1: Para cualquier $\alpha \in \mathbb{R}$, el problema admite infinitas soluciones $\{\pm v_k\}_{k=1}^\infty$ tales que la energía $E_K(\pm v_k) \to +\infty$ cuando $k \to \infty$. Esto implica la existencia de infinitas soluciones autosimilares para la ecuación del calor original.
• Caso Crítico ($q = 2^*(s)$):
  • No Existencia: El Teorema 4.1 establece que si $\alpha \leq N/4$ (para $N \geq 3$), la única solución al problema es la solución trivial $v \equiv 0$. Esto se demuestra mediante la identidad de Pohozaev.
  • Existencia:
    • Para $N \geq 4$ y $\alpha \in (N/4, N/2)$, existe al menos una solución no trivial (Teorema 4.2).
    • Para $N = 3$ y $\alpha \in (1, 3/2)$, existe al menos una solución no trivial.
    • El artículo también caracteriza rangos donde no existen soluciones positivas (por ejemplo, $\alpha \leq N/4$ o $\alpha \geq N/2$ para $N \geq 4$).
  • Optimalidad de las Constantes: Los autores demuestran que para rangos específicos de $\alpha$, el ínfimo del funcional cociente $Q_{K,\alpha}$ es estrictamente menor que la mejor constante estándar $S^0$, asegurando la obtención del mínimo y, por tanto, la existencia de una solución.
• Enfoque Alternativo: La Sección 5 proporciona una segunda prueba para los resultados de existencia en el caso crítico utilizando la geometría del Paso de la Montaña, confirmando la robustez de las afirmaciones de existencia bajo las restricciones de energía derivadas.

Significado y Afirmaciones
El artículo afirma extender la literatura existente sobre soluciones autosimilares de ecuaciones del calor (específicamente el trabajo de Escobedo, Kavian y Tan respecto al caso $s=0$) al escenario más complejo que involucra términos singulares de Hardy-Sobolev ($s > 0$).

El significado radica en:

1. Completar la Dicotomía: Al establecer resultados tanto de existencia como de no existencia basados en el parámetro $\alpha$ y la dimensión $N$, el trabajo clarifica el panorama de resolubilidad para la ecuación elíptica transformada.
2. Manejo de Singularidades: La derivación de desigualdades ponderadas y la aplicación de métodos variacionales en presencia del término singular $|y|^{-s}$ y el peso gaussiano $K(y)$ proporcionan un marco riguroso para analizar tales problemas de evolución singulares.
3. Multiplicidad: La prueba de infinitas soluciones en el caso subcrítico destaca la rica estructura del conjunto de soluciones para este tipo de ecuaciones parabólicas.

Los autores mantienen un tono modesto, centrándose estrictamente en la derivación matemática de teoremas de existencia, multiplicidad y no existencia, sin extrapolar a aplicaciones físicas específicas más allá de la caracterización general de fenómenos de difusión y evolución singular mencionada en la introducción. Los resultados se presentan como extensiones rigurosas de teorías clásicas al contexto de Hardy-Sobolev.