Isolated Singularities and Measure Data Problems for Semilinear Equations Driven by Stable Lévy Operators

Resumen Técnico: Singularidades Aisladas y Problemas de Datos de Medida para Ecuaciones Semilineales Impulsadas por Operadores de Lévy Estables

Planteamiento del Problema
El artículo investiga soluciones positivas a ecuaciones semilineales impulsadas por operadores de Lévy estrictamente $2s$-estables y uniformemente elípticos ($s \in (0, 1)$) en un dominio acotado $D \subset \mathbb{R}^d$ ($d \ge 1$). El estudio se centra en dos problemas interconectados:

1. El Problema de la Singularidad Aislada: Analizar soluciones distributivas positivas a $-Lu = u^p$ en el dominio perforado $D \setminus \{0\}$, donde $L$ es el generador de un proceso de Lévy estrictamente $2s$-estable. El operador $L$ se define mediante una medida de Lévy $\nu$ que no es necesariamente simétrica y satisface una condición de no degeneración uniforme.
2. El Probleque de Dirichlet con Datos de Medida: Estudiar el problema de Dirichlet exterior $-Lu = u^p + k\mu$ en $D$ con $u=0$ en $D^c$, donde $\mu$ es una medida de Borel positiva acotada y $k > 0$ es un parámetro.

El objetivo principal es establecer la existencia, las propiedades cualitativas y la removibilidad de las singularidades, así como la existencia de un parámetro crítico $k_\mu$ que gobierna la solvabilidad, bajo supuestos estructurales generales que incluyen generadores estables anisotrópicos y no simétricos.

Metodología y Novedad
Los autores distinguen explícitamente su enfoque de la literatura existente sobre el Laplaciano fraccionario $(-\Delta)^s$. Las técnicas estándar para el Laplaciano fraccionario dependen fuertemente de:

• La extensión de Caffarelli–Silvestre (localización del operador no local).
• Fórmulas explícitas y estimaciones puntuales agudas para la función de Green (p. ej., $G_D(x,y) \asymp G(x,y)(\delta_D(x)/|x-y|)^s (\delta_D(y)/|x-y|)^s$).
• La suavidad de la densidad de la medida de salto y desigualdades de Harnack específicas.

El artículo señala que estas propiedades específicas no están disponibles para operadores de Lévy estables generales, anisotrópicos y no simétricos. Por consiguiente, los autores desarrollan una metodología basada en la teoría del potencial probabilístico y técnicas de la teoría de operadores, evitando el método de extensión y las estimaciones puntuales de la función de Green.

Características metodológicas clave:

• Espacios de Cola ($T_\nu(V)$): Para manejar la naturaleza no local de $L$, los autores introducen un espacio de funciones $T_\nu(V)$ que asegura que $Lu$ esté bien definido como una distribución. Este espacio tiene en cuenta la integrabilidad de la solución fuera del soporte de la función de prueba.
• Descomposición de Riesz y Fórmula de Dynkin: El análisis de las singularidades aisladas se basa en la fórmula de Dynkin y el teorema de descomposición de Riesz para funciones excesivas, en lugar de los argumentos clásicos de regularidad de EDP.
• Compacidad vía Teorema de Deny: Para construir soluciones para el problema de datos de medida sin supersoluciones explícitas (las cuales no están disponibles debido a la falta de cotas puntuales de Green), los autores combinan el teorema de Deny con argumentos probabilísticos para establecer la compacidad del operador de Green no lineal.
• Métodos de Punto Fijo y Variacionales: La existencia para parámetros pequeños se deriva mediante el teorema del punto fijo de Schauder. La multiplicidad y los resultados de estabilidad en el caso simétrico utilizan métodos variacionales, específicamente el teorema de Montaña (Mountain Pass) y funcionales de energía que involucran divergencias de Bregman.

Resultos Clave

1. Removibilidad y Estructura de la Singularidad:

   • Toda solución distributiva positiva $u$ de $-Lu = u^p$ en $D \setminus \{0\}$ pertenece al espacio de cola $T_\nu(D)$ y satisface $-Lu = u^p + k\delta_0$ en $D$ para algún $k \ge 0$.
   • Umbral de Removibilidad: Si $p \ge d/(d-2s)$, entonces necesariamente $k=0$. La singularidad es removible.
   • Comportamiento Asintótico: Si $p < d/(d-2s)$ y $k > 0$, la solución se comporta asintóticamente como la función de Green $G_D(x, 0)$ cerca del origen ($k G_D(x, 0) \le u(x) \le c k G_D(x, 0)$). Los autores señalan que, a diferencia del caso del Laplaciano isotrópico, el perfil singular no es necesariamente isotrópico ($|x|^{2s-d}$), sino que depende de la medida espectral y de la dirección de aproximación.

2. Parámetro Crítico y Solvabilidad:

   • Para el problema $-Lu = u^p + k\mu$, existe un parámetro crítico $k_\mu \in (0, \infty)$.
   • Subcrítico ($k < k_\mu$): Existe una solución mínima positiva $u_k$.
   • Supercrítico ($k > k_\mu$): No existe solución positiva.
   • Crítico ($k = k_\mu$): Existe a lo sumo una solución positiva.

3. Caso Simétrico (Multiplicidad y Estabilidad):

   • Asumiendo que $L$ es simétrico, la solución mínima $u_k$ para $k < k_\mu$ es estable.
   • Multiplicidad: Para cada $k < k_\mu$, existe una segunda solución positiva $v_k > u_k$.
   • Existencia en el Umbral: Existe una solución en $k = k_\mu$, lo que implica unicidad en el parámetro crítico.

Significancia y Reivindicaciones
El artículo afirma que su principal contribución no reside solo en los resultados en sí, sino en los métodos desarrollados para establecerlos bajo supuestos estructurales amplios. Los autores sostienen que su análisis demuestra que los fenómenos principales de removibilidad y umbrales críticos persisten incluso cuando el operador carece de las propiedades analíticas específicas (funciones de Green explícitas, suavidad de densidades) requeridas típicamente en la literatura del Laplaciano fraccionario.

Al utilizar el resolvente matado y la teoría del potencial probabilístico, los autores proporcionan un marco sistemático para ecuaciones semilineales no locales impulsadas por operadores de Lévy estables generales. El trabajo extiende la teoría clásica de singularidades aisladas (desarrollada para el Laplaciano y el Laplaciano fraccionario por autores como Lions, Brezis, Véron y Chen-Quaas) al entorno anisotrópico y no simétrico, superando la falta de estimaciones puntuales mediante argumentos de compacidad funcional y probabilística.

El artículo concluye que los "principales fenómenos de removibilidad y umbral persisten bajo estos amplios supuestos estructurales", validando el uso de herramientas probabilísticas como una alternativa robusta a los métodos de extensión y las estimaciones puntuales en el análisis no local.