Large-scale harmonic measures and nontangential maximal functions in periodic homogenization

1. Planteamiento del Problema

El artículo aborda el estudio de operadores elípticos con coeficientes periódicos en un dominio acotado $\Omega \subset \mathbb{R}^d$:
$$L_\varepsilon = -\nabla \cdot \left( A\left(\frac{X}{\varepsilon}\right) \nabla \right)$$
donde $\varepsilon \ll \text{diam}(\Omega)$ es una escala microscópica pequeña y $A(Y)$ es una matriz de coeficientes real, simétrica, acotada y medible que satisface condiciones de elipticidad uniforme y periodicidad ($A(\cdot + Z) = A(\cdot)$ para $Z \in \mathbb{Z}^d$).

El desafío principal:
En la teoría clásica de homogeneización, se han establecido estimaciones uniformes en $\varepsilon$ para problemas de Dirichlet, Neumann y de regularidad en dominios Lipschitz o $C^1$, pero generalmente bajo la suposición de que los coeficientes $A$ tienen cierta suavidad local (por ejemplo, continuidad de Hölder).
El objetivo de este trabajo es responder a la siguiente pregunta fundamental: ¿Es posible establecer estimaciones uniformes en $\varepsilon$ para las funciones maximales no tangenciales de las soluciones, sin asumir ninguna condición de suavidad local sobre los coeficientes $A$, solo basándose en la periodicidad?

La dificultad radica en que, a la escala $\varepsilon$, los coeficientes pueden ser extremadamente irregulares (solo medibles), lo que impide el uso directo de técnicas clásicas de regularidad local.

2. Metodología y Enfoque

Los autores desarrollan un enfoque que separa el análisis en dos escalas: gran escala (dominada por la estructura periódica) y pequeña escala (dominada por la suavidad local, si existe).

A. Nuevas Definiciones de Funciones Maximales

Dado que la regularidad clásica falla a escala $\varepsilon$, introducen versiones "a gran escala" de las funciones maximales no tangenciales:

• Función Maximal No Tangencial a Gran Escala ($N_\varepsilon$): Se define restringiendo la región no tangencial $\Gamma(Q)$ a puntos $X$ tales que la distancia al borde $\delta(X) \geq 10\varepsilon$. Esto evita la singularidad de los coeficientes en la capa de borde de espesor $\varepsilon$.
• Función Maximal Modificada ($\widetilde{N}_\varepsilon$): Incluye promedios locales sobre bolas de radio $\delta(X)/2$.
• Operador de Promedio ($M_\varepsilon$): Se utiliza un operador de promedio sobre bolas de radio $\varepsilon$ para suavizar las soluciones y sus gradientes, permitiendo manejar la falta de regularidad de los coeficientes.

B. Medidas Armónicas $L_\varepsilon$ a Gran Escala

Introducen el concepto de medida armónica $L_\varepsilon$ a gran escala, denotada como $\omega^X_\varepsilon$. Esta medida se define promediando la medida armónica clásica sobre bolas de radio $\varepsilon$ en el borde.

• Demuestran que esta medida satisface una desigualdad de Hölder inversa (es decir, pertenece a la clase $B_2$ o $B_{2+\delta}$) uniformemente en $\varepsilon$. Este es un resultado clave que permite controlar la solución en términos de sus datos de frontera a gran escala.

C. Estimaciones de Rellich a Gran Escala

Utilizan y extienden las estimaciones de Rellich a gran escala (que relacionan la norma $L^2$ del gradiente en una capa de borde con los datos de frontera).

• Para dominios Lipschitz, utilizan el operador de diferencias ($Q_\varepsilon$) que explota la periodicidad en la dirección transversal al borde para obtener estimaciones $L^2$.
• Para dominios $C^1$, combinan las estimaciones de Rellich con las tasas de convergencia cuantitativa de la homogeneización, trabajando con el gradiente promediado $M_\varepsilon(\nabla u_\varepsilon)$ en lugar del gradiente puntual.

D. Argumento de Variable Real

Para extender los resultados de $L^2$ a $L^p$ (para $p \neq 2$), emplean un argumento de variable real adaptado a la escala grande. Este método permite "mejorar" la integrabilidad de las funciones maximales basándose en las estimaciones locales y la estructura de las medidas armónicas.

3. Contribuciones Clave y Resultados Principales

El artículo establece los siguientes teoremas principales, donde las constantes $C$ son independientes de $\varepsilon$:

Teorema 1.1 (Problema de Dirichlet)

Para un dominio Lipschitz y coeficientes periódicos medibles:

• Existe un $\delta > 0$ tal que para $2-\delta < p \leq \infty$:
  $$\|N_\varepsilon(u_\varepsilon)\|_{L^p(\partial\Omega)} \leq C \|S_\varepsilon(f)\|_{L^p(\partial\Omega)}$$
  donde $S_\varepsilon(f)$ es un promedio local de los datos de frontera.
• Si el dominio es $C^1$, la estimación se cumple para todo $1 < p \leq \infty$.

Teorema 1.2 (Problema de Regularidad)

Para el problema de regularidad ($u_\varepsilon = f \in W^{1,p}(\partial\Omega)$):

• En dominios Lipschitz, para $1 < p < 2+\delta$:
  $$\|\widetilde{N}_\varepsilon(\nabla u_\varepsilon)\|_{L^p(\partial\Omega)} \leq C \|f\|_{W^{1,p}(\partial\Omega)}$$
• En dominios $C^1$, la estimación es válida para todo $1 < p < \infty$.

Teorema 1.3 (Problema de Neumann)

Para el problema de Neumann ($\partial u_\varepsilon / \partial \nu_\varepsilon = g$):

• Resultados análogos a los de regularidad se establecen para $1 < p < 2+\delta$ en Lipschitz y $1 < p < \infty$ en $C^1$.

Corolario 1.4 (Estimaciones de Escala Completa)

Si se añade la hipótesis de que los coeficientes $A$ son Hölder continuos (suavidad local), las estimaciones a gran escala se combinan con las estimaciones clásicas a pequeña escala para recuperar las estimaciones de escala completa (donde $N_\varepsilon \to N$ y $\widetilde{N}_\varepsilon \to \widetilde{N}$).

• Esto recupera resultados conocidos en dominios Lipschitz y proporciona nuevos resultados para el rango completo $p \in (1, \infty)$ en dominios $C^1$ con coeficientes periódicos.

4. Significado e Impacto

1. Eliminación de suposiciones de suavidad: El trabajo demuestra que la estructura periódica es suficiente para garantizar la regularidad uniforme a gran escala, incluso si los coeficientes son meramente medibles. Esto es crucial para aplicaciones en materiales compuestos donde la microestructura puede ser irregular.
2. Nuevas herramientas analíticas: La introducción de las medidas armónicas a gran escala y su propiedad de ser pesos $B_p$ uniformes es una contribución teórica significativa que abre nuevas vías para el análisis de EDPs con coeficientes oscilantes.
3. Unificación de escalas: El método de separar el análisis en "gran escala" (donde domina la homogeneización) y "pequeña escala" (donde domina la suavidad local) ofrece un marco robusto y generalizable para futuros estudios de homogeneización.
4. Dominios Convexos: Los autores también notan que sus resultados se extienden a dominios convexos, ampliando el alcance de la teoría de homogeneización más allá de los dominios lisos o Lipschitz estándar.

En resumen, este artículo resuelve un problema abierto en la teoría de homogeneización al establecer estimaciones óptimas uniformes para funciones maximales no tangenciales sin requerir suavidad en los coeficientes, utilizando una combinación ingeniosa de teoría de homogeneización, análisis armónico y técnicas de regularidad a gran escala.