Resumen Técnico: $\Gamma$-convergencia del funcional de Massari no local y aplicaciones a ecuaciones de Allen-Cahn inhomogéneas

1. Planteamiento del Problema y Contexto

Este artículo investiga el comportamiento asintótico de problemas variacionales no locales asociados a conjuntos de curvatura media prescrita, específicamente el Problema de Massari no local, y su conexión con ecuaciones de Allen-Cahn fraccionarias inhomogéneas.

El Problema de Massari clásico, formulado por Massari en la década de 1970, proporciona una definición variacional para conjuntos con curvatura media $H \in L^1(\Omega)$, donde $H$ es sumable pero no necesariamente continua. El funcional se define como:
$$J^H_\Omega(E) := \text{Per}(E, \Omega) + \frac{1}{\omega_{n-1}} \int_{\Omega \cap E} H \, dx$$
donde $\text{Per}$ denota el perímetro variacional.

Los autores extienden este marco al contexto fraccionario (parámetro $s \in (0,1)$), donde el perímetro es reemplazado por el perímetro $s$ (un término de interacción no local). El funcional de Massari no local viene dado por:
$$J^H_{s,\Omega}(E) := \text{Per}_s(E, \Omega) + \frac{1}{1-2s} \int_{\Omega \cap E} H \, dx$$
El objetivo principal es analizar el límite de estos functionales cuando el parámetro fraccionario $s \to (1/2)^-$ y estudiar el comportamiento asintótico de las soluciones a ecuaciones de Allen-Cahn fraccionarias perturbadas bajo restricciones de masa. Un desafío central abordado es la emergencia de un nuevo objeto geométrico, la "curvatura media híbrida no local", que surge cuando se imponen restricciones de masa en transiciones de fase no locales.

2. Metodología

El artículo emplea la teoría de la $\Gamma$-convergencia (introducida por De Giorgi) para establecer el comportamiento límite de los functionales y la estabilidad de sus minimizadores. La metodología implica:

• Reescalado y Análisis de Límite: Analizar el funcional de Massari no local cuando $s \to (1/2)^-$. Los autores utilizan un factor de escala específico $(1-2s)$ para recuperar el funcional de Massari clásico.
• Functionales de Energía Perturbados: Introducir un funcional de energía de Allen-Cahn no local "forzado" con un término de forzamiento altamente oscilatorio $g_\varepsilon(x) = g(x/\varepsilon)$. La energía se reescala dependiendo del régimen de $s$:
  • $s \in (0, 1/2)$: Escalado por $\varepsilon^{-2s}$.
  • $s = 1/2$: Escalado por $|\varepsilon \log \varepsilon|^{-1}$.
  • $s \in (1/2, 1)$: Escalado por $\varepsilon^{-1}$.
• Restricciones de Masa: Investigar el problema de minimización sujeto a una restricción de masa fija $\int_\Omega u \, dx = m$. Esto requiere construir secuencias de recuperación específicas que satisfagan la restricción de masa mientras convergen al funcional límite, particularmente en el régimen $s \in [1/2, 1)$ donde la literatura existente (por ejemplo, [29]) no se aplica directamente debido a la falta de condiciones de frontera de Dirichlet.
• Análisis del Comportamiento Externo: Derivar el comportamiento de las soluciones fuera del dominio $\Omega$. A diferencia de los problemas clásicos donde las soluciones a menudo se asumen como funciones características globalmente, la restricción de masa en el contexto no local fuerza una condición de Neumann no local específica en el exterior, conduciendo a soluciones que no son necesariamente constantes por partes fuera de $\Omega$.
• Refinamiento de la Convergencia de Puntos Críticos: Adaptar resultados de [24] sobre la convergencia de puntos críticos de ecuaciones de Allen-Cahn fraccionarias. Los autores refinan estos resultados para manejar casos donde la solución no es globalmente regular $C^{0,1}$, lo cual es una consecuencia de la restricción de masa.

3. Contribuciones y Resultados Clave

3.1 $\Gamma$-convergencia del Problema de Massari No Local

El Teorema 2.3 establece que el funcional de Massari no local adecuadamente reescalado $\Gamma$-converge al funcional de Massari clásico cuando $s \to (1/2)^-$.
El Teorema 2.4 prueba la estabilidad límite de los minimizadores: si una secuencia de conjuntos $\{E_j\}$ son minimizadores locales para los functionales no locales $J^{H_j}_{s_j, \Omega}$ y convergen a $E$, entonces $E$ es un minimizador local para el funcional clásico $J^H_\Omega$. Además, la energía de la secuencia converge a la energía del conjunto límite.

3.2 Ecuaciones de Allen-Cahn Inhomogéneas

El artículo generaliza los resultados de $\Gamma$-convergencia de [29] para incluir un término de forzamiento macroscópico $H$.
El Teorema 2.7 prueba que el funcional de energía de Allen-Cahn fraccionario perturbado $\Gamma$-converge a un funcional límite que involucra el perímetro no local (o clásico, dependiendo de $s$) y el término de forzamiento.
El Teorema 2.8 establece la estabilidad de los minimizadores para esta energía perturbada.

• Para $s \in (0, 1/2)$, el minimizador límite satisface el problema de Massari no local con datos externos determinados por el límite débil* de la secuencia fuera de $\Omega$.
• Para $s \in [1/2, 1)$, el minimizador límite corresponde a un conjunto con curvatura media clásica $H/c_\star$.

3.3 Problemas de Masa Prescrita y Curvatura Media Híbrida No Local

Una parte significativa del trabajo aborda el problema de Allen-Cahn con masa prescrita.

• Teoremas 2.10 y 2.11: Prueban la $\Gamma$-convergencia y cotas de energía uniformes para minimizadores bajo una restricción de masa. La construcción de la secuencia de recuperación para $s \in [1/2, 1)$ es una contribución novedosa, ya que requiere perturbar la secuencia estándar para satisfacer la condición de masa sin violar las cotas de energía.
• Teorema 2.12: Muestra que las soluciones al problema con restricción de masa satisfacen una condición de Neumann externa no local (Ecuación 2.19). Esto implica que la solución fuera de $\Omega$ está determinada por un promedio integral de la solución dentro de $\Omega$, y crucialmente, la solución no es una función característica con signo ($|u| \neq 1$) fuera de $\Omega$.
• Teoremas 2.14 y 2.15: Analizan la convergencia de los multiplicadores de Lagrange asociados a la restricción de masa y la convergencia de la energía total.
• Teoremas 2.18 y 2.20: Introducen y caracterizan la curvatura media híbrida no local.
  • Definición 2.17: Define la curvatura media híbrida no local de un par $(E, g)$, donde $E$ es un conjunto dentro de $\Omega$ y $g$ es una función fuera de $\Omega$.
  • Resultado: La configuración límite del problema con restricción de masa consiste en un conjunto $E$ dentro de $\Omega$ y una función $u|_{\Omega^c}$ fuera. La interfaz se caracteriza por la constancia de la curvatura media híbrida no local.
  • Regularidad: El artículo señala que, aunque la solución límite es continua a través de $\partial \Omega$ ($C^0$), generalmente no es $C^1$ a través de la frontera, distinguiéndola de los gráficos $s$-mínimos que son o bien discontinuos o bien $C^1$.

3.4 Refinamientos Técnicos

• Apéndice A: Demuestra que prescribir tanto condiciones de frontera de Dirichlet como una restricción de masa conduce a un problema sobredeterminado sin soluciones, justificando el uso de condiciones de Neumann no locales.
• Apéndice B: Extiende los resultados de $\Gamma$-convergencia desde el espacio de funciones acotadas por 1 al espacio $X_M$ (funciones acotadas por $M$), asegurando que los resultados se mantengan para la clase más amplia de funciones considerada en los teoremas principales.

4. Significado y Afirmaciones

El artículo afirma proporcionar un análisis asintótico riguroso de transiciones de fase no locales con curvatura media prescrita y restricciones de masa. Su significado radica en:

1. Puente entre Problemas Geométricos No Locales y Clásicos: Conecta formalmente el problema de Massari fraccionario con el clásico cuando $s \to 1/2$, preservando minimizadores y cotas de energía.
2. Nuevo Objeto Geométrico: La identificación de la "curvatura media híbrida no local" se presenta como un objeto geométrico novedoso. A diferencia de las transiciones de fase con restricción de masa clásicas que convergen a conjuntos de curvatura media constante, el contexto no local produce una configuración límite definida por un par (conjunto dentro, función fuera) con curvatura media híbrida constante.
3. Manejo de Restricciones de Masa en Contextos No Locales: El artículo aborda una brecha en la literatura sobre la construcción de secuencias de recuperación para problemas con restricción de masa cuando $s \in [1/2, 1)$, donde las contribuciones no locales se localizan.
4. Comportamiento de Frontera: Destaca un comportamiento de frontera distinto para interfaces no locales con restricción de masa ($C^0$ pero no $C^1$), contrastando con resultados conocidos para gráficos $s$-mínimos.

Los autores declaran que la mejora en los resultados de convergencia para puntos críticos (Teorema 2.18) es de interés independiente, ya que relaja las suposiciones sobre regularidad global que previamente se requerían en contextos similares (por ejemplo, [24]). El trabajo se presenta como un paso fundamental para comprender la interacción entre interacciones no locales, restricciones de masa y problemas variacionales geométricos.