Low regularity potentials in heterogeneous Cahn--Hilliard functionals

1. Planteamiento del Problema

El artículo aborda el estudio asintótico del funcional de Cahn-Hilliard en un entorno altamente irregular y heterogéneo. Este funcional es el modelo prototípico para la separación de fases líquido-líquido.

• Funcional Original: Se considera el funcional $F_\varepsilon(u)$ definido en un dominio $\Omega \subset \mathbb{R}^N$:
  $$F_\varepsilon(u) := \int_\Omega \left[ \frac{1}{\varepsilon} W(x, u(x)) + \varepsilon |\nabla u(x)|^2 \right] dx$$
  donde $u: \Omega \to \mathbb{R}^M$ es el parámetro de fase, $\varepsilon > 0$ es un parámetro pequeño relacionado con el grosor de la interfaz, y $W(x, u)$ es la densidad de energía libre.
• Desafío Principal: A diferencia de la literatura clásica que asume pozos de potencial fijos y regulares (a menudo Lipschitz o $C^2$) y comportamientos cuadráticos cerca de los pozos, este trabajo considera:
  1. Pozos dependientes del espacio: Los valores donde $W$ se anula, denotados como $\{a(x), b(x)\}$, varían con la posición $x$.
  2. Baja regularidad: Los pozos $a(x)$ y $b(x)$ pertenecen al espacio de funciones de variación acotada ($BV$), permitiendo discontinuidades (saltos). El potencial $W$ es una función de Carathéodory con regularidad mínima.
  3. Crecimiento no cuadrático: Se relajan las suposiciones de crecimiento cuadrático cerca de los pozos, permitiendo comportamientos más generales (incluso cóncavos) controlados por una función $f$.

El objetivo es establecer resultados de compacidad y $\Gamma$-convergencia bajo estas hipótesis extremadamente débiles, caracterizando el límite $\varepsilon \to 0$ como un funcional de energía superficial dependiente del espacio.

2. Metodología y Herramientas Técnicas

Los autores emplean una combinación sofisticada de análisis variacional, teoría de funciones de variación acotada ($BV$) y medidas de Young.

• Transformación de Pozos (Ajuste): Dado que los pozos $a(x)$ y $b(x)$ son variables, el problema se vuelve no autónomo. Los autores introducen una transformación $T(x, \cdot)$ que mapea los pozos móviles $\{a(x), b(x)\}$ a pozos fijos $\{-e_1, e_1\}$. Esto permite "congelar" la dependencia espacial en la estructura del potencial, facilitando el análisis.
• Medidas de Young: Se utiliza la teoría de medidas de Young para manejar la compacidad de las secuencias de minimizadores. Esto es crucial para demostrar que, en el límite, la función $u$ toma valores exclusivamente en los pozos $\{a(x), b(x)\}$ casi por todas partes.
• Geodésicas Degeneradas: Un resultado técnico central es el estudio de la distancia geodésica asociada a una métrica degenerada (donde el peso $\sqrt{W}$ se anula en los pozos).
  • Se prueba la existencia de geodésicas para potenciales con baja regularidad (Borel, semicontinuos inferiormente).
  • Se establece una cota uniforme para la longitud euclidiana de estas geodésicas bajo condiciones de crecimiento débiles (hipótesis H8), lo cual es esencial para construir la secuencia de recuperación.
• Aproximación de Conjuntos de Perímetro Finito: Se utiliza un teorema de aproximación (Proposición 4.15) para aproximar conjuntos de perímetro finito con conjuntos de frontera $C^2$ a trozos, preservando la intersección con las fronteras de la partición del dominio donde ocurren los saltos de los pozos.
• Desigualdad de Cadena en BV: Se aplica la regla de la cadena para funciones de $BV$ para manejar la composición de la transformación de ajuste con las funciones de fase.

3. Hipótesis Principales

El trabajo se basa en un conjunto de hipótesis estructurales y de regularidad:

• (H1)-(H5) (Estructurales): $W$ es de Carathéodory, los pozos $a, b \in BV \cap L^\infty$, están separados ($|a-b| \ge \delta$), y el potencial tiene crecimiento controlado por una función $f$ (no degenerado) y crecimiento lineal en el infinito.
• (H6) (Regularidad de Pozos): Los pozos son continuos ($C^0$) y $H^1$ dentro de una partición del dominio en conjuntos con fronteras $C^2$ a trozos, permitiendo saltos en las fronteras de esta partición.
• (H7) (Continuidad Relativa): Condición de continuidad del potencial ajustado respecto a la variable espacial.
• (H8) (Crecimiento): Condición de "duplicación" ($f(2t) \le C f(t)$) para asegurar cotas en la longitud de las geodésicas.

4. Resultados Principales

A. Teorema de Compacidad (Teorema 2.16)

Bajo las hipótesis (H1)-(H5), cualquier secuencia $\{u_n\}$ con energía uniformemente acotada es compacta en la topología fuerte de $L^1(\Omega; \mathbb{R}^M)$. El límite $u$ pertenece a $BV(\Omega; \{a, b\})$, es decir, toma valores casi por todas partes en los pozos móviles.

B. Teorema de $\Gamma$-Convergencia (Teorema 2.17)

Bajo las hipótesis completas (H1)-(H8), la familia de funcionales $\{F_\varepsilon\}$ $\Gamma$-converge a un funcional límite $F_\infty$ en la topología $L^1$.
El funcional límite es puramente de energía superficial:
$$F_\infty(u) = \int_{J_u \cap \Omega} d_W(x; u^-(x), u^+(x)) \, d\mathcal{H}^{N-1}(x)$$
donde:

• $J_u$ es el conjunto de saltos de $u$.
• $u^-, u^+$ son los trazos laterales.
• $d_W(x; p, q)$ es la distancia geodésica en $\mathbb{R}^M$ entre $p$ y $q$ con respecto a la métrica degenerada definida por $W(x, \cdot)$ en el punto fijo $x$.

C. Caso con Restricción de Masa (Teorema 2.20)

Los autores demuestran que sus resultados se extienden al caso donde se impone una restricción de masa $\int_\Omega u \, dx = m$. Esto requiere una modificación técnica en la construcción de la secuencia de recuperación para ajustar el volumen de los conjuntos de fase sin alterar significativamente la energía.

5. Contribuciones Clave y Significado

1. Relajación de Regularidad: El trabajo rompe con la tradición de exigir pozos Lipschitz o $C^2$ y potenciales cuadráticos. Demuestra que la teoría de Cahn-Hilliard es robusta incluso cuando los pozos tienen saltos (discontinuidades) y el potencial tiene comportamientos no estándar cerca de los mínimos.
2. Tratamiento de Pozos Móviles: Proporciona un marco riguroso para manejar pozos que dependen del espacio, un escenario común en materiales heterogéneos pero difícil de tratar analíticamente debido a la falta de invariancia traslacional.
3. Resultados Técnicos sobre Geodésicas: La demostración de la existencia de geodésicas y la cota uniforme de su longitud euclidiana para métricas degeneradas con potenciales de baja regularidad es un resultado independiente de gran valor para el análisis geométrico.
4. Aplicabilidad: Los resultados son fundamentales para modelar la separación de fases en materiales compuestos o heterogéneos donde las propiedades de las fases cambian abruptamente en el espacio, permitiendo modelos más realistas que los anteriores.

En resumen, el artículo establece un marco teórico sólido y general para el análisis asintótico de la separación de fases en entornos complejos, extendiendo significativamente el alcance de la teoría de $\Gamma$-convergencia aplicada a funcionales de Cahn-Hilliard.