Uniform Calderón-Zygmund estimates in multiscale elliptic homogenization

Resumen Técnico: Estimaciones de Calderón-Zygmund Uniformes en Homogeneización Elíptica Multiescala

Planteamiento del Problema
Este artículo aborda la regularidad uniforme de las soluciones de ecuaciones elípticas lineales en forma divergente dentro de un dominio acotado $C^1$ $\Omega \subset \mathbb{R}^d$:
$$-\text{div}(A_\varepsilon \nabla u_\varepsilon) = \text{div} f,$$
donde la matriz de coeficientes $A_\varepsilon(x)$ exhibe $n$ escalas oscilantes distintas:
$$A_\varepsilon(x) = A\left(\frac{x}{\varepsilon_1}, \frac{x}{\varepsilon_2}, \dots, \frac{x}{\varepsilon_n}\right).$$
Aquí, $A(y_1, \dots, y_n)$ es 1-periódica en cada variable $y_i$, y los parámetros $(\varepsilon_1, \dots, \varepsilon_n) \in (0, 1]^n$ son pequeños. El desafío principal es establecer cotas uniformes $L^p$ para el gradiente $\nabla u_\varepsilon$ (la estimación de Calderón-Zygmund) donde la constante sea independiente de los parámetros pequeños, incluso cuando las escalas no están bien separadas (es decir, cuando las razones $\varepsilon_{i+1}/\varepsilon_i$ no satisfacen necesariamente una condición de separación de ley de potencia).

Trabajos previos establecieron estimaciones de Hölder ($C^\alpha$) uniformes para tales sistemas sin separación de escalas mediante métodos de compacidad. Sin embargo, las estimaciones de gradiente (cotas $L^p$) requieren típicamente tasas de convergencia cuantitativas o propiedades finas de los correctores, las cuales no estaban disponibles anteriormente en ausencia de separación de escalas.

Metodología
Los autores desarrollan una estrategia de prueba novedosa que combina la teoría de números con técnicas de homogeneización para superar la falta de separación de escalas. La metodología central consiste en tres componentes principales:

1. Teorema de Dirichlet y Reperiodización:
   Los autores utilizan el teorema de Dirichlet sobre aproximación diofántica simultánea para separar cuantitativamente la escala más pequeña de las demás. Dada una secuencia de escalas y un parámetro grande $Q$, construyen una nueva matriz 1-periódica $A^\sharp$ mediante una técnica de "reperiodización". Esta transformación reescribe el coeficiente original $A_\varepsilon$ como:
   $$A\left(\frac{x}{\varepsilon_1}, \dots, \frac{x}{\varepsilon_n}\right) = A^\sharp\left(\frac{x}{\varepsilon'_1}, \dots, \frac{x}{\varepsilon'_n}\right),$$
   donde las nuevas escalas satisfacen una condición de separación: la escala más pequeña $\varepsilon'_n$ está $Q$-separada de las $n-1$ escalas restantes (es decir, $\varepsilon'_i \ge Q \varepsilon'_n$). Aunque este proceso puede degradar la regularidad de $A^\sharp$ en la última variable, permite la aplicación de la homogeneización reiterada.

2. Reducción de Escala Cuantitativa:
   Utilizando la propiedad de separación establecida anteriormente, los autores realizan una reducción de escala cuantitativa. Demuestran que la solución al problema de $n$ escalas puede ser aproximada uniformemente por la solución a un problema con al menos $n-1$ escalas. Esta aproximación involucra un término corrector derivado de la teoría de homogeneización reiterada. El error en esta aproximación se controla mediante potencias de $Q^{-1}$ y la razón entre la escala más pequeña y el tamaño del dominio.

3. Argumento de Variable Real con Doble Promedio:
   Para establecer las estimaciones de gradiente $L^p$, los autores emplean un argumento refinado de variable real (basado en el marco de Caffarelli y Peral). Una innovación crítica es el uso de una técnica de "doble promedio":

   • El primer promedio se toma a una escala grande para manejar el error de aproximación de la reducción de escala.
   • El segundo promedio se toma a la escala de la celda periódica (dependiente de $Q$) para explotar la estructura periódica de los correctores.
     Este enfoque dual permite a los autores evitar la necesidad de cotas $L^p$ uniformes sobre los gradientes de los correctores en la matriz reperiodizada (que de otro modo dependerían de $Q$ y explotarían), apoyándose en su lugar en estimaciones de energía $L^2$ y la periodicidad de los correctores.

Resultados Clave

• Teorema 1.1 (Resultado Principal): Para cualquier $p \in (1, \infty)$, el gradiente $\nabla u_\varepsilon$ satisface la estimación uniforme:
  $$\|\nabla u_\varepsilon\|_{L^p(\Omega)} \le C \|f\|_{L^p(\Omega)},$$
  donde la constante $C$ depende únicamente de la dimensión $d$, el número de escalas $n$, la constante de elipticidad $\Lambda$, $p$, los parámetros de continuidad de Hölder $(\tau, L)$ y el dominio $\Omega$. Crucialmente, $C$ es independiente de los parámetros $(\varepsilon_1, \dots, \varepsilon_n)$. Este resultado se sostiene tanto para condiciones de contorno de Dirichlet como para condiciones de Neumann compatibles.

• Corolario 1.2 (Homogeneización Cuasiperiódica): El teorema principal implica estimaciones de Calderón-Zygmund uniformes para coeficientes cuasiperiódicos $A(x/\varepsilon) = B(Mx/\varepsilon)$ sin requerir la condición diofántica sobre la matriz $M$. Esto resuelve un vacío en la literatura donde tales estimaciones solo se conocían bajo estrictas condiciones diofánticas.

• Estimaciones de Lipschitz a Gran Escala: El artículo también deriva estimaciones de Lipschitz uniformes a gran escala o a escala mesoscópica. Para dos escalas ($n=2$), una estimación de Lipschitz se cumple para radios $r \ge \varepsilon_2^{1-\alpha}$. Para $n \ge 3$, se obtienen estimaciones similares cerca de cualquier escala dada, aunque una estimación de Lipschitz uniforme de escala completa sin separación de escalas sigue siendo un problema abierto.

Significado y Reivindicaciones
Los autores afirman que este trabajo proporciona la primera prueba de estimaciones de gradiente $L^p$ uniformes para ecuaciones elípticas con coeficientes multiescala arbitrarios sin ninguna suposición de separación de escalas.

• Novedad: La introducción del teorema de Dirichlet en la teoría de homogeneización se presenta como una nueva herramienta que permite la separación cuantitativa de escalas donde la separación geométrica tradicional falla.
• Superación de Limitaciones: El artículo señala explícamente que los métodos de compacidad "suaves" (suficientes para estimaciones $C^\alpha$) son insuficientes para las estimaciones de gradiente $L^p$. El enfoque cuantitativo propuesto, que calcula explícitamente las constantes y utiliza correctores, es necesario para cerrar esta brecha.
• Generalidad: Los resultados amplían significativamente el alcance de la teoría de homogeneización para incluir medios cuasiperiódicos con celdas periódicas degeneradas y frecuencias de resonancia (por ejemplo, números de Liouville) sin imponer condiciones aritméticas restrictivas sobre las frecuencias.
• Mecanismo: El trabajo sugiere que el "efecto de promedio" en medios multiescala ocurre de manera estable a través de todas las escalas mesoscópicas, incluso en ausencia de un límite homogeneizado determinista con una tasa fija, proporcionando una comprensión más profunda de la regularidad de las soluciones en medios complejos.