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

Resumo Técnico: A Energia das Camadas de Allen–Cahn Fracionárias em Dimensão Um

Enunciado do Problema
Este artigo investiga a energia $E(s)$ da solução de camada única, ímpar e monotonicamente crescente $\Phi_s$ para a equação de Allen–Cahn fracionária unidimensional:
$$(-\Delta)^s \Phi_s = \Phi_s - \Phi_s^3, \quad \Phi_s(\pm\infty) = \pm 1, \quad \Phi_s(0) = 0,$$
para o expoente fracionário $s \in (1/2, 1]$. A funcional de energia é definida 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,$$
onde $W(t) = \frac{1}{4}(1-t^2)^2$. Embora a existência, unicidade e propriedades de decaimento de $\Phi_s$ tenham sido estabelecidas por Cabré e Sire, e a minimalidade por Palatucci, Savin e Valdinoci, informações quantitativas aguçadas sobre a dependência da energia $E(s)$ em relação ao parâmetro $s$ estavam ausentes da literatura além do valor explícito em $s=1$.

Metodologia
Os autores empregam uma estratégia híbrida analítica e assistida por computador para caracterizar $E(s)$ ao longo do intervalo $(1/2, 1]$. A prova da monotonicidade estrita é dividida em três regimes baseados na cobertura $(1/2, 1] = (1/2, 53/100] \cup [53/100, 49/50] \cup [49/50, 1]$.

1. Assintóticas Analíticas nos Extremos:

   • Próximo a $s=1$: Os autores realizam uma análise de perturbação em torno da solução clássica explícita $\Phi_1(x) = \tanh(x/\sqrt{2})$. Eles constroem um corretor de primeira ordem $\psi$ invertendo o operador linearizado $J = -\partial_x^2 + (3\Phi_1^2 - 1)$ no subespaço ímpar. Usando um argumento de ponto fixo em $H^{2s}$, eles provam que a verdadeira camada $\Phi_s$ está próxima do perfil aproximado $\Phi_1 + (1-s)\psi$. Isso permite uma expansão rigorosa da energia e de sua derivada, fornecendo constantes explícitas para o termo linear.
   • Próximo a $s=1/2$: A análise baseia-se em uma identidade do tipo Pohozaev derivada da minimalidade de $\Phi_s$, que relaciona as partes de energia cinética e potencial. Usando um perfil de arco tangente como competidor, eles estabelecem um limite superior. Uma análise no lado de Fourier da semínorma de Gagliardo isola a singularidade em baixas frequências, provando que a energia diverge como $(s-1/2)^{-1}$ com um resíduo específico.

2. Prova Assistida por Computador no Interior:

   • No intervalo interior $I_0 = [0.530, 0.980]$, onde não existe solução de forma fechada, os autores constroem camadas aproximadas numéricas $\Phi_s^{\text{ap}}$.
   • Eles utilizam um argumento de ponto fixo para limitar rigorosamente a distância entre a verdadeira camada $\Phi_s$ e a aproximação numérica na norma $H^{2s}$.
   • Para provar a diminuição estrita ($E'(s) < 0$), eles avaliam o funcional da derivada $J(s, \Phi_s)$ em pontos de grade. Como a verdadeira camada é desconhecida, eles computam $J(s, \Phi_s^{\text{ap}})$ e transferem o sinal para a verdadeira camada usando estimativas de Lipschitz derivadas do limite de distância.
   • Semiconcavidade: Um componente crucial é estabelecer um limite superior de semiconcavidade da segunda derivada da energia em relação a $s$, independente do perfil. Isso permite que a negatividade estrita da derivada em pontos discretos de grade se propague para todo o intervalo, desde que o espaçamento da grade seja suficientemente pequeno em relação ao limite de curvatura.
   • Validação: Todos os limites numéricos, incluindo desigualdades de Schur para coercividade de operador e a avaliação de funcionais, são certificados usando aritmética de intervalo (biblioteca Arb) com precisão de 200 bits.

Contribuições Principais e Resultados

1. Expansões Assintóticas (Teorema 1.1):

   • Em $s=1$: A energia admite a expansão $E(s) = \frac{2\sqrt{2}}{3} + \kappa_1(1-s) + o(1-s)$, onde $\kappa_1$ é dado por uma 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.$$
   • Em $s=1/2$: A energia exibe um polo simples:
     $$E(s) = \frac{1/\pi}{s - 1/2} + O(1).$$
     Os autores explicitamente descartam termos intermediários logarítmicos na expansão.

2. Monotonicidade Estrita e Continuidade (Teorema 1.2):

   • O mapa $s \mapsto E(s)$ é contínuo e estritamente decrescente em $(1/2, 1]$.
   • Consequentemente, $E$ estende-se como um homeomorfismo de $[1/2, 1]$ sobre $[2\sqrt{2}/3, +\infty)$.

3. Inovações Técnicas:

   • Derivação de uma identidade explícita para a derivada $E'(s)$ como uma integral espectral envolvendo a transformada de Fourier da derivada da camada.
   • Desenvolvimento de um arcabouço rigoroso combinando análise assintótica com provas assistidas por computador para lidar com operadores não locais onde soluções explícitas não estão disponíveis.
   • Estabelecimento de um limite de semiconcavidade independente do perfil para a energia, que é essencial para unir a lacuna entre verificações numéricas discretas e a monotonicidade contínua.

Significância
O artigo fornece a primeira descrição quantitativa aguda da energia das camadas de Allen–Cahn fracionárias em uma dimensão. Ele resolve o comportamento do custo de energia de uma transição de fase única conforme a ordem da não localidade varia. O resultado da monotonicidade estrita é significativo porque argumentos variacionais padrão falham em determinar o sinal da derivada devido a efeitos conflitantes no multiplicador de Fourier $|\xi|^{2s-2}$. O trabalho demonstra que combinar expansões assintóticas rigorosas com aritmética de intervalo assistida por computador pode produzir resultados definitivos para problemas de EDPs não locais onde métodos analíticos tradicionais são insuficientes. Os autores observam que a diminuição estrita é o resultado mais delicado do artigo, dependendo de um equilíbrio delicado de estimativas espectrais e verificação numérica.