Asymptotic behavior of solutions to a planar Hartree equation with isolated singularities

Resumen Técnico: Comportamiento Asintótico de Soluciones de una Ecuación de Hartree Plana con Singularidades Aisladas

Planteamiento del Problema
Este artículo investiga el comportamiento asintótico de las soluciones singulares de una ecuación de tipo Hartree plana con una singularidad aislada en el origen. La ecuación principal bajo estudio es:
$$-\Delta u(x) = \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) \quad \text{en } B_1 \setminus \{0\} \subset \mathbb{R}^2,$$
donde $\alpha > 0$ y el término de convolución se define como $\frac{1}{|x|^\alpha} * e^u = \int_{B_1 \setminus \{0\}} \frac{e^{u(y)}}{|x-y|^\alpha} dy$. Los autores se centran en soluciones $u \in C^2(B_1 \setminus \{0\})$ que satisfacen la condición de curvatura total finita:
$$\int_{B_1 \setminus \{0\}} \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) dx < +\infty.$$
El estudio está motivado por la necesidad de comprender las soluciones singulares en problemas geométricos (como la curvatura gaussiana prescrita) y modelos físicos que involucran interacciones no locales. Si bien existen resultados significativos para ecuaciones locales (por ejemplo, $-\Delta u = e^u$) y ecuaciones de Yamabe de orden superior, la naturaleza no local del término de Hartree en dos dimensiones presenta desafíos únicos, particularmente respecto a la aplicabilidad de las técnicas basadas en ODE.

Metodología
Los autores emplean un enfoque de Ecuaciones en Derivadas Parciales (PDE), específicamente adaptando métodos utilizados para ecuaciones conformes de orden superior con singularidades aisladas. La metodología central consiste en:

1. Derivación de la Fórmula de Representación: En lugar de depender de técnicas de ODE (que fallan debido al término de convolución) o del principio del máximo (que se ve comprometido por la no localidad), los autores establecen una fórmula de representación integral para las soluciones singulares. Esto se logra caracterizando las singularidades aisladas de la ecuación de Poisson y utilizando la condición de curvatura total finita para controlar el crecimiento de la solución.
2. Descomposición de Soluciones: La solución $u$ se descompone en tres partes: un término logarítmico singular ($b \ln |x|$), una parte armónica (o poliarmónica) regular ($h$), y un término de potencial ($v$) generado por la fuente no local.
3. Análisis de Regularidad: Los autores analizan la regularidad del término de potencial $v$. Al establecer que el término fuente pertenece a $L^{p_0}_{loc}$ para algún $p_0 > 1$ bajo restricciones específicas sobre el exponente $b$ y $\alpha$, aplican la teoría de regularidad elíptica estándar (inmersión de Sobolev y estimaciones $W^{k,p}$) para probar que $v$ es localmente Hölder continuo.
4. Extensión a Dimensiones y Órdenes Superiores: El análisis se extiende a ecuaciones de tipo Hartree de orden superior en dimensiones $n \ge 3$:
   • Dimensiones Pares ($n \ge 4$): Para la ecuación $(-\Delta)^{n/2} u = (\frac{1}{|x|^\alpha} * e^u) e^u$.
   • Dimensiones Impares ($n \ge 3$): Para la misma ecuación interpretada en el sentido de la distribución, ya que $(-\Delta)^{n/2}$ se convierte en un operador integral no local.
   • En dimensiones superiores, se requiere una condición de decaimiento adicional cerca del origen, $\int_{B_r \setminus \{0\}} |u(x)| dx = o(r^{n-2})$, para eliminar los términos de derivadas de orden superior en la fórmula de representación.
5. Generalización: Los resultados se generalizan para incluir un coeficiente no negativo general $K(x) \in L^\infty(B_1)$.

Contribuciones Clave y Resultados

• Representación Asintótica (Teorema 1.1): Para el caso planar ($n=2$), los autores prueban que cualquier solución $u$ que satisfaga la condición de curvatura total finita admite la representación:
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  donde $h$ es una función armónica suave, $v$ es un potencial integral específico, y $b > -2$ es una constante. Además, si $\alpha \in (0, 2)$ y $b > \frac{\alpha-4}{2}$, la solución se comporta como $u(x) = \phi(x) + b \ln |x|$ cerca del origen, donde $\phi$ es una función Hölder continua.

• Dimensiones Pares de Orden Superior (Teorema 1.2): Para $n$ par $\ge 4$, bajo la condición de curvatura total finita y la condición de decaimiento adicional, se cumple una representación similar:
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  con $h$ siendo poliarmónica ($(-\Delta)^{n/2} h = 0$) y $b > -n$. La continuidad de Hölder del término remanente se establece bajo la condición $b > \frac{\alpha-2n}{2}$.

• Dimensiones Impares de Orden Superior (Teorema 1.4): Para $n$ impar $\ge 3$, tratando la ecuación en el sentido de la distribución, se deriva la misma estructura asintótica. Los autores definen las soluciones en el espacio $L^{n/2}(\mathbb{R}^n) \cap C^n(B_1 \setminus \{0\})$ y prueban la existencia de la singularidad logarítmica y el remanente Hölder continuo bajo las mismas restricciones sobre $b$.

• Rango de Validez del Coeficiente de la Singularidad: El artículo establece rigurosamente que la condición $b > \frac{\alpha-2n}{2}$ es necesaria para que se cumpla la condición de curvatura total finita. Si $b \le \frac{\alpha-2n}{2}$, la integral del término no local diverge, contradiciendo la suposición inicial.

• Extensión de Coeficiente General (Observación 1.7): Los autores demuestran que estos resultados se extienden a ecuaciones con un coeficiente no negativo acotado general $K(x)$, modificando la representación integral de $v$ en consecuencia.

Significancia y Reivindicaciones
El artículo afirma llenar un vacío en la literatura respecto a las ecuaciones de tipo Hartree con singularidades aisladas en dos dimensiones. Mientras que existen resultados de clasificación y asintóticos para ecuaciones locales (como la ecuación de curvatura escalar prescrita) y ecuaciones de Yamabe locales de orden superior, la naturaleza no local del término de Hartree en $\mathbb{R}^2$ no había sido abordada suficientemente.

Los autores destacan que su enfoque basado en PDE logra sortear con éxito las limitaciones de los métodos de ODE (que no pueden manejar el término de convolución) y la ruptura del principio del máximo debido a la no localidad. Al establecer una fórmula de representación y probar la continuidad de Hölder del potencial no local, proporcionan una descripción completa del comportamiento asintótico de las soluciones singulares cerca del origen. El trabajo también unifica el tratamiento de las dimensiones pares e impares para las ecuaciones de Hartree de orden superior, extendiendo los resultados conocidos de la geometría conformal local a entornos no locales.