Another look at elliptic homogenization

Resumen Técnico de "Another Look at Elliptic Homogenization"

Planteamiento del Problema
El artículo investiga el comportamiento asintótico de una secuencia de funcionales no locales definidos por seminormas de Gagliardo $(s, 2)$ normalizadas con coeficientes oscilantes a medida que el parámetro fraccionario $s$ se acerca a 1 y la escala de oscilación $\varepsilon$ se acerca a 0. Específicamente, los autores analizan el funcional:
$$F_{\varepsilon, s}(u) = (1 - s) \iint_{\Omega \times \Omega} a\left(\frac{x}{\varepsilon}\right) \frac{|u(x) - u(y)|^2}{|x - y|^{d+2s}} \, dx \, dy$$
donde $\Omega \subset \mathbb{R}^d$ es un conjunto abierto acotado, $a$ es una función continua 1-periódica acotada lejos de cero e infinito, y $s = s_\varepsilon \in (0, 1)$.

La cuestión central es determinar el $\Gamma$-límite de $F_{\varepsilon, s}$ cuando $\varepsilon \to 0$ y $s \to 1^-$ simultáneamente. Si bien se sabe que, para un coeficiente constante, el límite cuando $s \to 1$ produce la integral de Dirichlet (Bourgain, Brezis, Mironescu; Ponce), y para un $s=1$ fijo, el límite cuando $\varepsilon \to 0$ produce la integral de Dirichlet homogeneizada, la interacción entre estos dos límites es no trivial. El artículo se centra en el régimen "subcrítico" donde la convergencia de $s$ hacia 1 es suficientemente rápida en relación con la escala de oscilación $\varepsilon$.

Metodología
Los autores emplean la teoría de la $\Gamma$-convergencia con respecto a la convergencia en $L^2(\Omega)$. La demostración se divide en el establecimiento de las desigualdades de $\Gamma$-liminf y $\Gamma$-limsup bajo la suposición:
$$\lim_{\varepsilon \to 0} \frac{1 - s_\varepsilon}{\varepsilon^2} = 0.$$

1. Localización y Discretización (Liminf):

   • Lema 3 (Localización): Los autores demuestran primero que las interacciones entre puntos $x, y$ con $|x-y| > r_\varepsilon$ son despreciables si se elige $r_\varepsilon$ tal que $(1-s_\varepsilon)/r_\varepsilon^2 \to 0$. Esto permite la reducción de la integral no local a un rango de interacción local.
   • Descomposición Geométrica: Para manejar el término no local dentro del pequeño rango de interacción, los autores utilizan un argumento de discretización basado en la descomposición de Kuhn de cubos en simplex. Introducen una parametrización sobre el conjunto de bases ortonormales $V$ en $\mathbb{R}^d$, tomando prestadas técnicas de Solci.
   • Funciones Auxiliares: Construyen funciones auxiliares afines por tramos $u^\rho_\varepsilon$ sobre redes definidas por estas bases. Al promediar estas funciones sobre el conjunto de bases y el radio de interacción, recuperan una función en $W^{1,2}(\Omega)$.
   • Homogeneización: El límite inferior se deriva mostrando que la energía de estas funciones auxiliares converge a la integral de Dirichlet homogeneizada, aprovechando los resultados conocidos de homogeneización para energías elípticas locales.

2. Secuencia de Recuperación (Limsup):

   • Casos Afín y Afín por Tramos: Para funciones afines $u(x) = \langle z, x \rangle$, los autores construyen una secuencia de recuperación de la forma $u_\varepsilon(x) = \langle z, x \rangle + \varepsilon \phi(x/\varepsilon)$, donde $\phi$ es un corrector periódico que resuelve el problema de la celda para la matriz homogeneizada $A_{\text{hom}}$.
   • Expansión de Taylor: La demostración depende de una expansión de Taylor de primer orden del corrector $\phi$. La condición $1-s \ll \varepsilon^2$ es crucial aquí para asegurar que los términos del resto en la expansión, que escalan con $1/\varepsilon^2$, desaparezcan al ser multiplicados por el factor $(1-s)$.
   • Densidad: El resultado se extiende a funciones generales de $W^{1,2}(\Omega)$ mediante un argumento de densidad utilizando funciones afines por tramos y un argumento diagonal.

Resultos Clave
El teorema principal (Teorema 1) establece que si $\lim_{\varepsilon \to 0} (1 - s_\varepsilon)/\varepsilon^2 = 0$, entonces la secuencia de funcionales $\Gamma$-converge a la integral de Dirichlet homogeneizada:
$$\Gamma\text{-}\lim_{\varepsilon \to 0} F_{\varepsilon, s_\varepsilon}(u) = \frac{\sigma_{d-1}}{2d} \int_\Omega \langle A_{\text{hom}} \nabla u, \nabla u \rangle \, dx$$
donde $\sigma_{d-1}$ es la medida de superficie de la esfera unidad, y $A_{\text{hom}}$ es la matriz homogeneizada definida por la fórmula estándar de homogeneización periódica.

El artículo establece que en este régimen subcrítico, los efectos del parámetro fraccionario $s$ y la escala de oscilación $\varepsilon$ se "separan". El límite es equivalente a tomar $s \to 1$ primero (recuperando la energía oscilante local) y luego $\varepsilon \to 0$ (homogeneizando esa energía).

Significación y Alcance
El artículo proporciona una justificación rigurosa para la intuición formal de que separar los límites $s \to 1$ y $\varepsilon \to 0$ es válido cuando el parámetro fraccionario se acerca a 1 suficientemente rápido. Los autores señalan explícitamente que la condición $1-s \ll \varepsilon^2$ es un caso subcrítico. Indican que el caso crítico ($1-s \sim \varepsilon^2$) y los casos supercríticos requieren técnicas diferentes y más complejas que involucran procedimientos de homogeneización de no local a local y no son tratados en este trabajo.

La contribución reside en cerrar la brecha entre las aproximaciones de Sobolev fraccionarias no locales y la homogeneización elíptica clásica, demostando que, bajo relaciones de escala específicas, la naturaleza no local de la seminorma de Gagliardo no altera el límite homogeneizado en comparación con el caso local estándar. El trabajo también ofrece una técnica de prueba novedosa para el límite inferior utilizando la descomposición de Kuhn e integración sobre bases ortogonales, lo cual los autores señalan que proporciona una prueba alternativa para el resultado clásico de Bourgain, Brezis y Mironescu en el caso de coeficientes constantes.