The energy of fractional Allen--Cahn layers in dimension one

Resumen Técnico: La Energía de las Capas de Allen–Cahn Fraccionarias en Dimensión Uno

Planteamiento del Problema
Este artículo investiga la energía $E(s)$ de la solución de capa única, impar y monótona creciente $\Phi_s$ para la ecuación de Allen–Cahn fraccionaria unidimensional:
$$(-\Delta)^s \Phi_s = \Phi_s - \Phi_s^3, \quad \Phi_s(\pm\infty) = \pm 1, \quad \Phi_s(0) = 0,$$
para el exponente fraccionario $s \in (1/2, 1]$. El funcional de energía se define como:
$$E(s) := E_s[\Phi_s] = \frac{c_{1,s}}{4} \iint_{\mathbb{R}\times\mathbb{R}} \frac{(\Phi_s(x) - \Phi_s(y))^2}{|x-y|^{1+2s}} \, dx dy + \int_{\mathbb{R}} W(\Phi_s(x)) \, dx,$$
donde $W(t) = \frac{1}{4}(1-t^2)^2$. Si bien la existencia, unicidad y propiedades de decaimiento de $\Phi_s$ fueron establecidas por Cabré y Sire, así como la minimalidad por Palatucci, Savin y Valdinoci, faltaba en la literatura información cuantitativa precisa sobre la dependencia de la energía $E(s)$ respecto al parámetro $s$, más allá del valor explícito en $s=1$.

Metodología
Los autores emplean una estrategia híbrida analítica y asistida por computadora para caracterizar $E(s)$ a través del intervalo $(1/2, 1]$. La demostración de la monotonicidad estricta se divide en tres regímenes basados en la cobertura $(1/2, 1] = (1/2, 53/100] \cup [53/100, 49/50] \cup [49/50, 1]$.

1. Asintóticas Analíticas en los Extremos:

   • Cerca de $s=1$: Los autores realizan un análisis de perturbación alrededor de la solución clásica explícita $\Phi_1(x) = \tanh(x/\sqrt{2})$. Construyen un corrector de primer orden $\psi$ mediante la inversión del operador linealizado $J = -\partial_x^2 + (3\Phi_1^2 - 1)$ en el subespacio impar. Utilizando un argumento de punto fijo en $H^{2s}$, demuestran que la verdadera capa $\Phi_s$ es cercana al perfil aproximado $\Phi_1 + (1-s)\psi$. Esto permite una expansión rigurosa de la energía y su derivada, proporcionando constantes explícitas para el término lineal.
   • Cerca de $s=1/2$: El análisis se basa en una identidad de tipo Pohozaev derivada de la minimalidad de $\Phi_s$, la cual relaciona las partes de energía cinética y potencial. Utilizando un perfil de arcotangente como competidor, establecen una cota superior. Un análisis en el lado de Fourier de la seminorma de Gagliardo aísla la singularidad en las bajas frecuencias, probando que la energía diverge como $(s-1/2)^{-1}$ con un residuo específico.

2. Prueba Asistida por Computadora en el Interior:

   • En el intervalo interior $I_0 = [0.530, 0.980]$, donde no existe una solución de forma cerrada, los autores construyen capas aproximadas numéricas $\Phi_s^{\text{ap}}$.
   • Utilizan un argumento de punto fijo para acotar rigurosamente la distancia entre la verdadera capa $\Phi_s$ y la aproximación numérica en la norma $H^{2s}$.
   • Para probar la disminución estricta ($E'(s) < 0$), evalúan el funcional de la derivada $J(s, \Phi_s)$ en puntos de la malla. Dado que la verdadera capa es desconocida, computan $J(s, \Phi_s^{\text{ap}})$ y transfieren el signo a la verdadera capa utilizando estimaciones de Lipschitz derivadas de la cota de distancia.
   • Semiconcavidad: Un componente crucial es establecer una cota superior de semiconcavidad de la segunda derivada de la energía con respecto a $s$, independiente del perfil. Esto permite que la negatividad estricta de la derivada en puntos discretos de la malla se propague a todo el intervalo, siempre que el espaciamiento de la malla sea suficientemente pequeño en relación con la cota de curvatura.
   • Validación: Todas las cotas numéricas, incluyendo las desigualdades de Schur para la coercitividad del operador y la evaluación de funcionales, son certificadas mediante aritmética de intervalos (librería Arb) con una precisión de 200 bits.

Contribuciones y Resultados Clave

1. Expansiones Asintóticas (Teorema 1.1):

   • En $s=1$: La energía admite la expansión $E(s) = \frac{2\sqrt{2}}{3} + \kappa_1(1-s) + o(1-s)$, donde $\kappa_1$ viene dada por una integral explícita:
     $$\kappa_1 = -2\pi \int_0^\infty \frac{\xi^2 \log \xi}{\sinh^2(\pi\xi/\sqrt{2})} \, d\xi \approx 1.073.$$
   • En $s=1/2$: La energía exhibe un polo simple:
     $$E(s) = \frac{1/\pi}{s - 1/2} + O(1).$$
     Los autores descartan explícitamente términos intermedios logarítmicos en la expansión.

2. Monotonicidad Estricta y Continuidad (Teorema 1.2):

   • El mapa $s \mapsto E(s)$ es continuo y estrictamente decreciente en $(1/2, 1]$.
   • En consecuencia, $E$ se extiende como un homeomorfismo de $[1/2, 1]$ sobre $[2\sqrt{2}/3, +\infty)$.

3. Innovaciones Técnicas:

   • Derivación de una identidad explícita para la derivada $E'(s)$ como una integral espectral que involucra la transformada de Fourier de la derivada de la capa.
   • Desarrollo de un marco riguroso que combina el análisis asintótico con pruebas asistidas por computadora para manejar operadores no locales donde no existen soluciones explícitas.
   • Establecimiento de una cota de semiconcavidad independiente del perfil para la energía, esencial para cerrar la brecha entre las verificaciones numéricas discretas y la monotonicidad continua.

Significado
El artículo proporciona la primera descripción cuantitativa precisa de la energía de las capas de Allen–Cahn fraccionarias en dimensión uno. Resuelve el comportamiento del costo energético de una transición de fase única a medida que varía el orden de no localidad. El resultado de la monotonicidad estricta es significativo porque los argumentos variacionales estándar fallan al determinar el signo de la derivada debido a efectos contrapuestos en el multiplicador de Fourier $|\xi|^{2s-2}$. El trabajo demuestra cómo la combinación de expansiones asintóticas rigurosas con aritmética de intervalos asistida por computadora puede producir resultados definitivos para problemas de EDP no locales donde los métodos analíticos tradicionales son insuficientes. Los autores señalan que la disminución estricta es el resultado más delicado del artículo, apoyándose en un delicado equilibrio entre estimaciones espectrales y verificación numérica.