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

Sintesi Tecnica: L'Energia degli Strati di Allen–Cahn Frazionale in Dimensione Uno

Enunciato del Problema
Questo articolo investiga l'energia $E(s)$ dell'unica soluzione a strato dispari, monotona crescente $\Phi_s$ dell'equazione di Allen–Cahn frazionaria monodimensionale:
$$(-\Delta)^s \Phi_s = \Phi_s - \Phi_s^3, \quad \Phi_s(\pm\infty) = \pm 1, \quad \Phi_s(0) = 0,$$
per l'esponente frazionario $s \in (1/2, 1]$. Il funzionale dell'energia è definito come:
$$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,$$
dove $W(t) = \frac{1}{4}(1-t^2)^2$. Sebbene l'esistenza, l'unicità e le proprietà di decadimento di $\Phi_s$ siano state stabilite da Cabr'e e Sire, e la minimità da Palatucci, Savin e Valdinoci, informazioni quantitative precise sulla dipendenza dell'energia $E(s)$ dal parametro $s$ mancavano nella letteratura oltre il valore esplicito per $s=1$.

Metodologia
Gli autori impiegano una strategia ibrida analitico-computazionale per caratterizzare $E(s)$ nell'intervallo $(1/2, 1]$. La dimostrazione della stretta monotonia è suddivisa in tre regimi basati sulla copertura $(1/2, 1] = (1/2, 53/100] \cup [53/100, 49/50] \cup [49/50, 1]$.

1. Asintotica Analitica agli Estremi:

   • Vicino a $s=1$: Gli autori eseguono un'analisi perturbativa attorno alla soluzione classica esplicita $\Phi_1(x) = \tanh(x/\sqrt{2})$. Costruiscono un correttore del primo ordine $\psi$ invertendo l'operatore linearizzato $J = -\partial_x^2 + (3\Phi_1^2 - 1)$ nello spazio dispari. Utilizzando un argomento di punto fisso in $H^{2s}$, dimostrano che il vero strato $\Phi_s$ è vicino al profilo approssimato $\Phi_1 + (1-s)\psi$. Ciò consente una rigorosa espansione dell'energia e della sua derivata, fornendo costanti esplicite per il termine lineare.
   • Vicino a $s=1/2$: L'analisi si basa su un'identità di tipo Pohozaev derivata dalla minimità di $\Phi_s$, che mette in relazione le parti dell'energia cinetica e potenziale. Utilizzando un profilo arcotangente come competitore, stabiliscono un limite superiore. Un'analisi sul lato di Fourier della seminorma di Gagliardo isola la singolarità alle basse frequenze, provando che l'energia diverge come $(s-1/2)^{-1}$ con un residuo specifico.

2. Dimostrazione Assistita dal Computer sull'Intervallo Centrale:

   • Sull'intervallo centrale $I_0 = [0.530, 0.980]$, dove non esiste una soluzione in forma chiusa, gli autori costruiscono strati approssimati numerici $\Phi_s^{\text{ap}}$.
   • Utilizzano un argomento di punto fisso per limitare rigorosamente la distanza tra il vero strato $\Phi_s$ e l'approssimazione numerica nella norma $H^{2s}$.
   • Per dimostrare la stretta decrescenza ($E'(s) < 0$), valutano il funzionale della derivata $J(s, \Phi_s)$ in punti di griglia. Poiché il vero strato è ignoto, calcolano $J(s, \Phi_s^{\text{ap}})$ e trasferiscono il segno al vero strato utilizzando stime di Lipschitz derivate dal limite di distanza.
   • Semiconcavità: Un componente cruciale è l'instaurazione di un limite superiore della derivata seconda dell'energia rispetto a $s$ indipendente dal profilo (semiconcavità). Ciò permette alla stretta negatività della derivata nei punti discreti di griglia di propagarsi all'intero intervallo, a condizione che la spaziatura della griglia sia sufficientemente piccola rispetto al limite di curvatura.
   • Validazione: Tutti i limiti numerici, incluse le disuguaglianze di Schur per la coercitività dell'operatore e la valutazione dei funzionali, sono certificati utilizzando l'aritmetica degli intervalli (libreria Arb) a una precisione di 200 bit.

Contributi Chiave e Risultati

1. Espansioni Asintotiche (Teorema 1.1):

   • A $s=1$: L'energia ammette l'espansione $E(s) = \frac{2\sqrt{2}}{3} + \kappa_1(1-s) + o(1-s)$, dove $\kappa_1$ è dato da un integrale esplicito:
     $$\kappa_1 = -2\pi \int_0^\infty \frac{\xi^2 \log \xi}{\sinh^2(\pi\xi/\sqrt{2})} \, d\xi \approx 1.073.$$
   • A $s=1/2$: L'energia presenta un polo semplice:
     $$E(s) = \frac{1/\pi}{s - 1/2} + O(1).$$
     Gli autori escludono esplicitamente termini intermedi logaritmici nell'espansione.

2. Stretta Monotonia e Continuità (Teorema 1.2):

   • La mappa $s \mapsto E(s)$ è continua e strettamente decrescente su $(1/2, 1]$.
   • Di conseguenza, $E$ si estende come un omeomorfismo da $[1/2, 1]$ su $[2\sqrt{2}/3, +\infty)$.

3. Innovazioni Tecniche:

   • Derivazione di un'identità esplicita per la derivata $E'(s)$ come integrale spettrale coinvolgente la trasformata di Fourier della derivata dello strato.
   • Sviluppo di un quadro rigoroso che combina l'analisi asintotica con le dimostrazioni assistite dal computer per gestire operatori non locali dove non esistono soluzioni esplicite.
   • Stabilimento di un limite di semiconcavità dell'energia indipendente dal profilo, essenziale per colmare il divario tra i controlli numerici discreti e la monotonia continua.

Significato
Il lavoro fornisce la prima descrizione quantitativa precisa dell'energia degli strati di Allen–Cahn frazionari in una dimensione. Risolve il comportamento del costo energetico di una singola transizione di fase al variare dell'ordine di non località. Il risultato della stretta monotonia è significativo perché gli argomenti variazionali standard falliscono nel determinare il segno della derivata a causa degli effetti contrastanti nel moltiplicatore di Fourier $|\xi|^{2s-2}$. Il lavoro dimostra come combinare espansioni asintotiche rigorose con l'aritmetica degli intervalli assistita dal computer possa fornire risultati definitivi per problemi di PDE non locali dove i metodi analitici tradizionali sono insufficienti. Gli autori notano che la stretta decrescenza è il risultato più delicato del saggio, basandosi su un delicato equilibrio di stime spettrali e verifica numerica.