Optimal stability of Dirichlet problem for the regional fractional $p$-Laplacian

Resumen Técnico: Estabilidad Óptima del Problema de Dirichlet para el $p$-Laplaciano Fraccionario Regional

Planteamiento del Problema
Este artículo investiga el comportamiento asintótico del problema de valores en la frontera de Dirichlet asociado al $p$-laplaciano fraccionario regional, denotado como $(-\Delta)^s_{p,\Omega}$, cuando el parámetro fraccionario $s$ tiende a 1 desde abajo ($s \to 1^-$). El problema se define en un dominio de Lipschitz acotado $\Omega \subset \mathbb{R}^d$ con $1 < p < \infty$ y $sp > 1$. La ecuación viene dada por:
$$\begin{cases} (-\Delta)^s_{p,\Omega} u_s = f_s & \text{en } \Omega, \\ \gamma^s_0(u_s) = g_s & \text{en } \partial\Omega, \end{cases}$$
donde $\gamma^s_0$ es el operador de traza que mapea $W^{s,p}(\Omega)$ al espacio de traza fraccionario $W^{s-1/p,p}(\partial\Omega)$. El operador está normalizado por una constante $C_{d,p,s}$ para asegurar un comportamiento asintótico consistente cuando $s \to 1^-$ (recuperando el $p$-laplaciano clásico $-\Delta_p$) y cuando $s \to 0^+$.

El objetivo principal es establecer la estabilidad óptima (convergencia fuerte en el espacio de energía natural) de las soluciones débiles $u_s$ hacia la solución límite $u_1$ cuando $s \to 1^-$. Un objetivo secundario es analizar la estabilidad asintótica de los pares de autovalores y autofunciones de Dirichlet asociados $(\lambda_s, \phi_s)$.

Metodología y Marco de Trabajo
El análisis se basa en varios componentes técnicos clave:

1. Definiciones de Convergencia Asintótica: Dado que los espacios subyacentes $W^{s,p}_0(\Omega)$ y los espacios de traza varían con $s$, la convergencia débil estándar es insuficiente. El autor introduce:

   • Convergencia Débil Asintótica: Una secuencia de funcionales $(f_s)$ converge débilmente asintóticamente a $f_1$ si permanece acotada y satisface una propiedad de convergencia débil-fuerte contra secuencias que convergen fuertemente en $L^p$.
   • Convergencia Fuerte Asintótica: Los datos de frontera $(g_s)$ convergen fuertemente a $g_1$ en las normas de traza apropiadas.

2. Interpolación Robusta y Compacidad: La demostración utiliza desigualdades de interpolación robustas (tomadas de Foghem [19]) para establecer la compacidad de la secuencia de soluciones $(u_s)$ en $W^{\eta,p}(\Omega)$ para $1/p < \eta < 1$. Esta compacidad es crucial para manejar el comportamiento en la frontera, lo cual se señala como una dificultad significativa.

3. Asintótica de los Espacios de Traza: Una parte sustancial del trabajo se dedica a las propiedades asintóticas de los espacios de traza $W^{s-1/p,p}(\partial\Omega)$. El autor demuestra que estos espacios convergen al espacio de traza clásico $W^{1-1/p,p}(\partial\Omega)$ cuando $s \to 1^-$. Esto incluye el establecimiento de la compacidad asintótica de familias acotadas en estos espacios de traza y la provisión de una caracterización de $W^{1-1/p,p}(\partial\Omega)$ mediante el ínfimo de las normas.

4. Desigualdades de Poincaré-Friedrichs Robustas: El artículo establece varias variantes de desigualdades de tipo Poincaré que se mantienen uniformemente para $s$ cercano a 1. Estas desigualdades son esenciales para probar la coercitividad de los funcionales de energía y la buena adecuación (well-posedness) del problema.

5. $\Gamma$-Convergencia: Se muestra que los funcionales de energía asociados al problema de Dirichlet convergen en $\Gamma$ en la topología fuerte de $W^{\eta,p}(\Omega)$. Esto proporciona un marco variacional para la convergencia de los minimizadores.

Contribuciones Clave y Resultados

• Teorema 1.1 (Estabilidad Óptima de las Soluciones): Bajo los supuestos de convergencia débil asintótica para el término fuente $f_s$ y convergencia fuerte asintótica para los datos de frontera $g_s$, la secuencia de soluciones débiles $u_s$ converge fuertemente a la única solución débil $u_1$ del problema límite en el sentido óptimo:
  $$\lim_{s \to 1^-} \|u_s - u_1\|_{W^{s,p}(\Omega)} = 0.$$
  Este resultado mejora los hallazgos previos (por ejemplo, Foghem [19]) que solo establecían la convergencia en $W^{\eta,p}(\Omega)$ para $\eta < 1$.

• Teorema 1.2 (Estabilidad de los Pares de Autovalores y Autofunciones): Para los pares de autovalores y autofunciones de Dirichlet normalizados $(\lambda_s, \phi_s)$ del $p$-laplaciano fraccionario regional, existe una subsucesión $s_n \to 1^-$ tal que los autovalores convergen ($\lambda_{s_n} \to \lambda_1$) y las autofunciones convergen fuertemente en la norma de energía:
  $$\lim_{n \to \infty} \|\phi_{s_n} - \phi_1\|_{W^{s_n,p}(\Omega)} = 0.$$

• Caracterización del Espacio de Traza (Teoremas 3.3 y 3.4): El artículo establece la compacidad asintótica de los espacios de traza $W^{s-1/p,p}(\partial\Omega)$ y caracteriza el espacio límite $W^{1-1/p,p}(\partial\Omega)$ mediante la acotación del ínfimo de las normas fraccionales.

• Desigualdades Robustas (Sección 4): El autor deriva desigualdades de Poincaré y de Friedrich robustas que se mantienen uniformemente para $s \in (s_0, 1)$, incluyendo casos con condiciones de frontera parciales en un subconjunto $\Gamma_0 \subset \partial\Omega$ con medida de Hausdorff positiva.

Significado y Reivindicaciones
El artículo afirma que la convergencia de las soluciones débiles para el problema de Dirichlet asociado al $p$-laplaciano fraccionario regional es un resultado nuevo. La importancia radica en lograr una convergencia óptima (convergencia fuerte en la norma $W^{s,p}$) en lugar de la convergencia más débil en $W^{\eta,p}$ para $\eta < 1$ establecida en la literatura previa.

El autor enfatiza que la principal dificultad en este análisis proviene del comportamiento de las soluciones débiles cerca de la frontera $\partial\Omega$. Al establecer la robustez del operador de traza y las propiedades asintóticas de los espacios de traza, el artículo supera este obstáculo. Los resultados sirven como un puente entre los problemas variacionales no locales y los problemas locales clásicos, proporcionando una base rigurosa para el límite $s \to 1^-$ en el contexto de operadores regionales con condiciones de frontera no homogéneas. El trabajo también contribuye a la literatura sobre la asintótica no local-a-local extendiendo los resultados del $p$-laplaciano fraccionario completo (definido en $\mathbb{R}^d$) al caso regional (definido en un dominio acotado).