$s$-harmonic functions in the small order limit

Resumen Técnico: FUNCIONES s-HARMÓNICAS EN EL LÍMITE DE ORDEN PEQUEÑO

Enunciado del Problema
Este artículo investiga el comportamiento asintótico y las propiedades de diferenciabilidad de familias de funciones $u_s$ que satisfacen la ecuación del Laplaciano fraccionario $(-\Delta)^s u_s = 0$ en un dominio acotado y suave $\Omega \subset \mathbb{R}^N$ cuando el parámetro de orden $s$ tiende a cero ($s \to 0^+$). Mientras que el límite $s \to 1^-$ corresponde a la convergencia hacia funciones armónicas clásicas, el límite $s \to 0^+$ es distinto porque el Laplaciano fraccionario $(-\Delta)^s$ tiende formalmente al operador identidad. Los autores se centran en el problema de Dirichlet no homogéneo donde $u_s = g$ en $\mathbb{R}^N \setminus \Omega$ para un dato exterior fijo $g \in L^\infty(\mathbb{R}^N \setminus \Omega)$. Las preguntas centrales abordadas son:

1. ¿Bajo qué condiciones sobre $g$ converge la familia $(u_s)_s$ cuando $s \to 0^+$?
2. ¿Es diferenciable el mapa solución $s \mapsto u_s$ en $s=0$, y de ser así, puede expresarse la derivada mediante el Laplaciano logarítmico?
3. ¿Cuáles son las propiedades de monotonía de $u_s$ con respecto a $s$ para $s \in (0, 1)$ general?

Metodología
El análisis se basa en una combinación de representaciones integrales explícitas, expansiones asintóticas de núcleos y técnicas de análisis funcional que involucran espacios ponderados.

• Representación de Poisson: Los autores utilizan la representación explícita del núcleo de Poisson para funciones $s$-armónicas en bolas y dominios generales. Esto permite la obtención de estimaciones uniformes y el análisis de la "planitud" de las soluciones cuando $s \to 0$.
• Expansión Asintótica: La herramienta analítica central es la expansión del Laplaciano fraccionario cerca de $s=0$: $(-\Delta)^s u = u + s L_\Delta u + o(s)$, donde $L_\Delta$ es el Laplaciano logarítmico. Los autores justifican rigurosamente esta expansión para los problemas de valores en la frontera específicos considerados.
• Análisis de Núcleos: Se proporcionan estimaciones detalladas para el núcleo de Poisson fraccionario $P_s(x, y)$ y el núcleo de Poisson complementario $P^c_s$. Específicamente, el artículo establece el límite $\lim_{s \to 0} P_s(x, y)/s = c_N |x-y|^{-N}$ y analiza la convergencia de integrales que involucran estos núcleos frente al dato exterior $g$.
• Diferenciabilidad: Para estudiar la diferenciabilidad del mapa $s \mapsto u_s$ para $s > 0$ fijo, los autores emplean el operador de Green $G_s$ y el operador de Riesz. Descomponen el dato exterior $g$ en componentes de soporte compacto y componentes que se anulan para manejar la regularidad y la decaimiento por separado, utilizando localmente la propiedad de semigrupo de los Laplacianos fraccionarios.

Contribuciones y Resultados Clave

1. Planitud de Soluciones Acotadas (Teorema 1.1):
   Los autores demuestran que cualquier familia uniformemente acotada de funciones $s$-armónicas $u_s$ en $\Omega$ se vuelve asintóticamente plana cuando $s \to 0^+$. Específicamente, $\inf_{c \in \mathbb{R}} \|u_s - c\|_{L^\infty(K)} \to 0$ para cualquier compacto $K \subset \Omega$. Esto se establece mediante una representación de Poisson local y un argumento de cadena de bolas, extendiendo las desigualdades de Harnack conocidas al límite de orden pequeño.

2. Convergencia y Expansión de Primer Orden (Teorema 1.3):
   Para el problema de Dirichlet con dato exterior $g$, el artículo establece condiciones para la convergencia.

   • Si los promedios esféricos de $g$ en el infinito convergen a una constante $c_g$, entonces $u_s \to c_g$ casi uniformemente en $\Omega$.
   • Si, además, el decaimiento de $g - c_g$ satisface una condición de integrabilidad ($\int_1^\infty |\tilde{g}(r) - c_g|/r \, dr < \infty$), se deriva una expansión de primer orden:
     $$u_s = c_g + s L_g + o(1) \quad \text{en } \Omega,$$
     donde $L_g$ está dado explícitamente por una integral de valor principal que involucra a $g - c_g$. Este término $L_g$ se identifica como la restricción de $-L_\Delta(g \mathbf{1}_{\mathbb{R}^N \setminus \Omega} - c_g)$ a $\Omega$.
   • El artículo también proporciona una desigualdad de Harnack límite para las soluciones reescaladas $u_s/s$ cuando $c_g = 0$.

3. Contrajemplo de No Convergencia (Teorema 1.6):
   Los autores construyen un contrajemplo que muestra que si los promedios esféricos de $g$ no convergen en el infinito, la familia $u_s$ puede dejar de converger cuando $s \to 0^+$. Específicamente, para la bola unidad, existe un $g$ acotado tal que $\limsup_{s \to 0^+} u_s(x) = 1$ y $\liminf_{s \to 0^+} u_s(x) = 0$ para algún $x \in \Omega$.

4. Diferenciabilidad del Mapa Solución (Teorema 1.7):
   Para $g \in L^\infty(\mathbb{R}^N) \cap C^\alpha(U)$, se demuestra que el mapa $s \mapsto u_s$ es de clase $C^1$ en $(0, \alpha/2)$. La derivada $\partial_s u_s$ se caracteriza como la única solución a un problema de Dirichlet fraccionario que involucra el Laplaciano logarítmico $L_\Delta$ y el operador fraccionario-logarítmico $(-\Delta)^{s+\log}$. La fórmula explícita para la derivada es:
   $$(-\Delta)^s (\partial_s u_s) = P^c_s ((-\Delta)^s g|_\Omega) + L_\Delta(\mathbf{1}_\Omega (-\Delta)^s g) - (-\Delta)^{s+\log} g \quad \text{en } \Omega.$$

5. Monotonía (Corolario 1.9):
   Se deriva un criterio suficiente para la monotonía puntual de $u_s(x)$ con respecto a $s$. Si $(-\Delta)^s g \geq 0$ (o $\leq 0$) en $\mathbb{R}^N$ para todo $s$ en un rango, entonces $s \mapsto u_s(x)$ es creciente (o decreciente) para cada $x \in \Omega$. El artículo señala que esto se aplica a potenciales newtonianos de funciones no negativas, donde el signo de $(-\Delta)^s g$ se preserva debido a la propiedad de semigrupo de los núcleos de Riesz.

Significado
El artículo proporciona una base matemática rigurosa para comprender el "límite de orden cero" de los problemas del Laplaciano fraccionario. Su significado principal radica en identificar el Laplaciano logarítmico como el operador natural que gobierna la corrección de primer orden de las funciones $s$-armónicas cuando $s \to 0$. Esto cierra la brecha entre el Laplaciano fraccionario y el operador identidad, ofreciendo una descripción precisa del régimen de transición. Además, los resultados sobre diferenciabilidad y monotonía proporcionan nuevas herramientas para analizar la dependencia de las soluciones no locales del parámetro de orden, lo cual es crucial para problemas inversos y optimización que involucran operadores fraccionarios. El trabajo extiende estudios previos sobre problemas de Dirichlet homogéneos al caso no homogéneo más general con datos exteriores, aclarando el papel del comportamiento de los datos en el infinito en la convergencia de las soluciones.