Characterisation of homogenisation for nonlocal diffusion by local topologies

Resumen Técnico: Caracterización de la Homogeneización para la Difusión No Local mediante Topologías Locales

Planteamiento del Problema
El artículo aborda la homogeneización de problemas de forma de divergencia fraccionaria caracterizados por coeficientes locales altamente oscilatorios y operadores diferenciales no locales. Específicamente, los autores consideran ecuaciones de la forma $-\text{div}_s(A \nabla_s u) = f$, donde $\nabla_s$ y $\text{div}_s$ denotan el gradiente y la divergencia de Riesz de orden fraccionario $s \in (0, 1)$. Un desafío central en este entorno es que, mientras los coeficientes $A$ son locales (funciones de tipo matriz), la naturaleza no local de los operadores requiere que estos coeficientes estén definidos en todo el espacio $\mathbb{R}^d$, no solo en un dominio acotado $\Omega$. El trabajo previo [16] introdujo la convergencia $H^s$ para abordar tales problemas, pero impuso la restricción de que los coeficientes fueran fijos fuera del dominio $\Omega$ (es decir, $A|_{\mathbb{R}^d \setminus \Omega} = A_0$). Este artículo busca caracterizar plenamente la convergencia $H^s$ para secuencias de coeficientes definidas en todo el espacio $\mathbb{R}^d$ sin tales restricciones, y relacionar esta convergencia con las topologías locales clásicas y los marcos teóricos de operadores no locales.

Metodología
Los autores emplean una combinación de cálculo fraccionario, análisis funcional y teoría de la homogeneización. Los componentes metodológicos clave incluyen:

• Operadores Fraccionarios: El análisis se basa en el gradiente y la divergencia de Riesz, definidos mediante integrales singulares o multiplicadores de Fourier, y sus espacios de Sobolev fraccionarios asociados $H^s_0(\Omega)$ y $H^{-s}(\Omega)$.
• Compacidad Compensada: Se establece una versión fraccionaria del lema div-curl (Proposición 2.14) utilizando la regla de Leibniz fraccionaria y la integración por partes. Esta herramienta es crucial para manejar la convergencia débil de productos de secuencias en el entorno no local.
• Compacidad e Inmersiones: La estrategia de prueba utiliza la compacidad del gradiente fraccionario en el complemento del dominio (Teorema 2.11) y la inmersión compacta de $H^s_0(\Omega)$ en $L^2(\Omega)$ (Teorema 2.10).
• Topologías de Schur: El artículo conecta la convergencia $H^s$ con la noción abstracta de convergencia $H$ no local, identificándola como una topología de Schur específica sobre operadores lineales acotados.
• Análisis Unidimensional: Los autores extienden los resultados al caso unidimensional ($d=1$), abordando dificultades específicas relacionadas con el núcleo del operador de derivada fraccionaria, que difiere significativamente del caso local clásico.

Contribuciones Clave y Resultados

1. Caracterización de la Convergencia $H^s$ (Teorema 1.3):
   El resultado principal proporciona una caracterización completa de la convergencia $H^s$ para secuencias $(A_n)_n$ en $M(\alpha, \beta; \mathbb{R}^d)$ (coeficientes de tipo matriz admisibles). El teorema establece que $A_n \xrightarrow{H^s} A$ si y solo si:

   • La restricción de la secuencia al dominio $\Omega$ converge $H$ (en el sentido clásico de Murat-Tartar) a la restricción del límite: $A_n|_\Omega \xrightarrow{H} A|_\Omega$.
   • La restricción de la secuencia al complemento del cierre de $\Omega$ converge débil-$\ast$ en $L^\infty$: $A_n|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega} \xrightarrow{\ast} A|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega}$.
     Este resultado elimina el requisito previo de que los coeficientes fueran fijos fuera de $\Omega$, demostrando que el límite de homogeneización está determinado por la convergencia $H$ local dentro del dominio y la convergencia débil-$\ast$ fuera de este.

2. Extensión a Una Dimensión:
   Los autores generalizan los resultados de compacidad y unicidad de [16] al caso $d=1$. Demuestran que, si bien el límite $H$ en 1D corresponde a la media armónica, la naturaleza no local de la derivada fraccionaria impide la convergencia fuerte en $L^2$ de los flujos que caracteriza al caso clásico. Prueban que el núcleo del operador de derivada fraccionaria en 1D es de dimensión infinita, lo que complica la derivación de la convergencia fuerte de los flujos.

3. Propiedades Métricas y Topológicas:
   El artículo establece que el espacio de coeficientes admisibles, equipado con la convergencia $H^s$, es metrizable y compacto. Se construye una métrica específica que combina la métrica $H$ clásica en $\Omega$ y una métrica débil-$\ast$ en el complemento.

4. Conexión con las Topologías de Schur (Teorema 7.4):
   Los autores muestran que la convergencia $H^s$ puede interpretarse como una topología de Schur sobre el espacio de operadores lineales acotados. Identifican dos topologías de Schur distintas —una derivada del rango del gradiente fraccionario y otra de la descomposición de $L^2(\mathbb{R}^d)$— que inducen la misma estructura de espacio métrico en el conjunto de coeficientes. Esto sitúa el problema de homogeneización fraccionaria dentro del marco más amplio de la convergencia $H$ no local introducida en [45, 46].

5. Coeficientes Simétricos y Convergencia $G^s$ (Sección 8):
   Para coeficientes simétricos, el artículo introduce la convergencia $G^s$ (basada en la convergencia de energía) y demuestra su equivalencia con la convergencia $H^s$. Esto extiende la relación clásica entre la convergencia $G$ y $H$ al entorno fraccionario.

6. Aplicación a Ecuaciones de Calor Fraccionarias (Teorema 1.4):
   Utilizando los resultados de convergencia establecidos y la teoría de ecuaciones evolucionantes, los autores resuelven un problema de homogeneización para una ecuación de tipo calor fraccional $\partial_t u - \text{div}_s(A \nabla_s u) = f$. Demuestran que si los coeficientes $A_n$ convergen $H^s$ a $A$, las soluciones $u_n$ convergen fuertemente en $L^2(0, T; L^2(\Omega))$ a la solución $u$ de la ecuación homogeneizada.

Significación y Reivindicaciones
El artículo afirma proporcionar una caracterización rigurosa y completa de la homogeneización para problemas de difusión no local con coeficientes locales altamente oscilatorios. Al vincular la convergencia $H^s$ con la convergencia $H$ local clásica y la convergencia débil-$\ast$, los autores demuestran que el complejo problema no local puede entenderse a través de las topologías locales bien establecidas, siempre que se tenga en cuenta el comportamiento de los coeficientes en el complemento del dominio.

El trabajo es significativo para:

• Generalización: Elimina la restricción artificial de coeficientes fijos fuera del dominio, permitiendo oscilaciones en todo el espacio $\mathbb{R}^d$.
• Completitud Dimensional: Resuelve el caso unidimensional, que anteriormente estaba restringido en la literatura debido a supuestos técnicos sobre la dimensión.
• Unificación Teórica: Une la homogeneización fraccionaria con la teoría abstracta de la convergencia $H$ no local a través de las topologías de Schur.
• Aplicaciones Dependientes del Tiempo: Aplica con éxito estos resultados de homogeneización estática a ecuaciones de calor fraccionales dependientes del tiempo, respondiendo a una pregunta abierta específica sobre la convergencia de soluciones en este contexto.

Los autores señalan que, si bien los resultados son robustos para la clase definida de operadores, el comportamiento de estas topologías para coefientes no locales generales (elementos de $L(L^2)$ en lugar de $L^\infty$) sigue siendo una cuestión abierta.