Optimal stability of complement value problems for p-Lévy operators

Resumen Técnico: Estabilidad Óptima de Problemas de Valor Complementario para Operadores p-Lévy

Enunciado del Problema
Este trabajo investiga el comportamiento asintótico de las soluciones débiles de ecuaciones integro-diferenciales no locales (IDEs) gobernadas por operadores p-Lévy simétricos a medida que el rango de interacción no local desaparece. Específicamente, el artículo estudia la convergencia de las soluciones del problema de valor complementario no local $(P_{\nu_\varepsilon, \tau})$ hacia las soluciones del correspondiente problema de valor de frontera local p-Laplaciano $(P_\tau)$ cuando el parámetro $\varepsilon \to 0$.

El problema no local se define sobre un conjunto abierto $\Omega \subset \mathbb{R}^d$ con su complemento $\Omega^c$, gobernado por el operador:
$$\mathcal{L}_\varepsilon u(x) = 2 \text{ p.v.} \int_{\mathbb{R}^d} |u(x) - u(y)|^{p-2}(u(x) - u(y)) \nu_\varepsilon(x-y) \, dy$$
sujeto a condiciones de complemento de Dirichlet ($\tau=0$) o Neumann ($\tau=1$) no locales en $\Omega^c$. La sucesión de núcleos $(\nu_\varepsilon)_\varepsilon$ es una familia de núcleos p-Lévy radiales que aproximan la identidad, satisfaciendo condiciones específicas de normalización (por ejemplo, $\int_{\mathbb{R}^d} (1 \wedge |h|^p)\nu_\varepsilon(h) dh = 1$). El objetivo es establecer una convergencia óptima, es decir, convergencia fuerte en los espacios de energía no locales naturales $W^p_{\nu_\varepsilon}(\Omega)$ y $W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)$, en lugar de meramente en $L^p(\Omega)$.

Metodología
El análisis se basa en una combinación de métodos variacionales, análisis asintótico de formas no locales y la teoría de espacios de traza.

1. Análisis de la Forma de Energía: Los autores analizan la convergencia de las formas bilineales no locales $E_\varepsilon(\cdot, \cdot)$ (y sus variantes $E_\varepsilon^\Omega$, $E_\varepsilon^+$, y la forma a través de la frontera $E_\varepsilon^{cr}$) hacia la forma de Dirichlet local $E_0(u, v) = \int_\Omega |\nabla u|^{p-2}\nabla u \cdot \nabla v \, dx$. Un paso crucial es establecer la semi-convergencia asintótica de estas formas, lo cual caracteriza la convergencia de las soluciones incluso cuando la sucesión de funciones depende de $\varepsilon$.
2. Linealización Uniforme: Para manejar la no linealidad de los operadores p-Lévy (para $1 < p < \infty$), el artículo emplea estimaciones de linealización uniforme (Teorema 2.4, 2.6) que relacionan la diferencia de formas con la energía de la diferencia de funciones. Esto permite a los autores controlar la convergencia de los términos no lineales.
3. Robustez de los Espacios de Traza: Una parte significativa del trabajo se dedica a probar la robustez de los espacios de traza no locales $T^p_{\nu_\varepsilon}(\Omega^c)$ a medida que $\varepsilon \to 0$. Los autores demuestran que estos espacios convergen al espacio de traza local $W^{1-1/p, p}(\partial\Omega)$ en un sentido fuerte, incluyendo la convergencia de los operadores de elevación. Esto es esencial para manejar condiciones de frontera de Dirichlet donde los datos están prescritos en $\Omega^c$.
4. $\Gamma$-Convergencia y Compacidad: La convergencia de las soluciones se enmarca a través de la $\Gamma$-convergencia de los funcionales de energía asociados $J_\varepsilon$ hacia el funcional local $J$. Debido a la discrepancia de dominios (las funciones no locales están definidas en $\mathbb{R}^d$, las locales en $\Omega$), los autores utilizan resultados de compacidad asintótica (Teorema 2.18) e desigualdades de Poincaré uniformes para asegurar la existencia de subsucesiones convergentes y la identificación del límite.

Contribuciones y Resultados Clave

• Convergencia Óptima de las Soluciones: El resultado principal (Sección 5) establece que, bajo suposiciones adecuadas de convergencia débil/fuerte asintótica en los datos ($f_\varepsilon, g_\varepsilon$), la sucesión de soluciones débiles $(u_\varepsilon)_\varepsilon$ converge fuertemente a la solución local $u$ en las normas no locales óptimas:
  $$\lim_{\varepsilon \to 0} \|u_\varepsilon - u\|_{W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)} = 0$$
  Esto implica el colapso del término de energía a través de la frontera: $\lim_{\varepsilon \to 0} E_\varepsilon^{cr}(u_\varepsilon, u_\varepsilon) = 0$.
• Robustez de los Espacios de Traza No Locales: El artículo prueba que los espacios de traza no locales $T^p_{\nu_\varepsilon}(\Omega^c)$ convergen al espacio de traza local $W^{1-1/p, p}(\partial\Omega)$. Específicamente, si una sucesión de datos de frontera converge en la norma de traza no local, el límite de las normas coincide con la norma de traza local (Teorema 3.5). Además, existen operadores de elevación derecha robustos que convergen fuertemente al operador de elevación local.
• Semi-Convergencia Asintótica: Los autores establecen una forma generalizada de semi-convergencia para las formas de energía $E_\varepsilon$ hacia $E_0$ (Teorema 2.16, 2.17). Este resultado se mantiene bajo suposiciones de regularidad leves en el dominio (por ejemplo, dominios de extensión $W^{1,p}$) o cuando una de las funciones se anula en la frontera, extendiendo resultados previos sobre la convergencia de formas.
• Caso del p-Laplaciano Fraccional: La teoría general se aplica al p-Laplaciano fraccional $(-\Delta)^s_p$ cuando $s \to 1^-$. El artículo muestra que las soluciones de los problemas de complemento fraccionales convergen fuertemente a las soluciones locales p-Laplacianas (Sección 6). Se señala que este resultado es nuevo incluso para el p-Laplaciano fraccional.
• Convergencia de Espacios Duales: Se demuestra que los espacios duales de los espacios de Sobolev no locales convergen a sus contrapartes locales (Teorema 3.9), asegurando la estabilidad de las formulaciones variacionales.

Significado y Afirmaciones
El artículo afirma proporcionar el resultado de convergencia óptimo para los límites de no local a local de operadores p-Lévy. Trabajos anteriores (incluyendo la investigación previa del autor [24]) establecieron convergencia fuerte solo en $L^p(\Omega)$ bajo suposiciones relajadas. Este trabajo fortalece el resultado a la norma de energía, que es la topología natural para estos problemas variacionales.

Los autores enfatizan que la elección de la sucesión de núcleos $(\nu_\varepsilon)_\varepsilon$ que satisface la condición (1.1) es "esencialmente óptima" porque es intrínseca a la caracterización de la norma del gradiente local mediante diferencias no locales (Ecuación 1.3), extendiendo el trabajo seminal de Brezis, Bourgain y Mironescu.

La robustez de los espacios de traza se destaca como un componente crucial del enfoque, permitiendo un tratamiento riguroso de las condiciones de frontera no locales que convergen a condiciones de frontera locales. El artículo declara explícitamente que no se puede esperar una convergencia más fuerte en general, ya que las soluciones no locales $u_\varepsilon$ pertenecen a $W^p_{\nu_\varepsilon}(\Omega)$ mientras que el límite $u$ pertenece a $W^{1,p}(\Omega)$, y las normas son distintas.

Los resultados unifican el tratamiento de los problemas de complemento de Dirichlet y Neumann y se aplican tanto al operador no local completo como a los operadores regionales (donde las interacciones están restringidas a $\Omega$). Los hallazgos se presentan como una generalización de la literatura existente para $p=2$ y casos fraccionales, proporcionando un marco comprehensivo para $1 < p < \infty$.