Riepilogo Tecnico: $\Gamma$-convergenza del funzionale di Massari non locale e applicazioni alle equazioni di Allen-Cahn non omogenee

1. Enunciato del Problema e Contesto

Questo articolo indaga il comportamento asintotico dei problemi variazionali non locali associati a insiemi a curvatura media prescritta, in particolare il Problema di Massari non locale, e la loro connessione con le equazioni di Allen-Cahn frazionarie non omogenee.

Il Problema di Massari classico, formulato da Massari negli anni '70, fornisce una definizione variazionale per insiemi con curvatura media $H \in L^1(\Omega)$, dove $H$ è sommabile ma non necessariamente continua. Il funzionale è definito come:
$$J^H_\Omega(E) := \text{Per}(E, \Omega) + \frac{1}{\omega_{n-1}} \int_{\Omega \cap E} H \, dx$$
dove $\text{Per}$ denota il perimetro variazionale.

Gli autori estendono questo quadro al setting frazionario (parametro $s \in (0,1)$), dove il perimetro è sostituito dal perimetro $s$ (un termine di interazione non locale). Il funzionale di Massari non locale è dato da:
$$J^H_{s,\Omega}(E) := \text{Per}_s(E, \Omega) + \frac{1}{1-2s} \int_{\Omega \cap E} H \, dx$$
L'obiettivo primario è analizzare il limite di questi funzionali quando il parametro frazionario $s \to (1/2)^-$ e studiare il comportamento asintotico delle soluzioni alle equazioni di Allen-Cahn frazionarie perturbate sotto vincoli di massa. Una sfida centrale affrontata è l'emergere di un nuovo oggetto geometrico, la "curvatura media ibrida non locale", che sorge quando vengono imposti vincoli di massa sulle transizioni di fase non locali.

2. Metodologia

L'articolo impiega la teoria della $\Gamma$-convergenza (introdotta da De Giorgi) per stabilire il comportamento limite dei funzionali e la stabilità dei loro minimizzatori. La metodologia coinvolge:

• Riscalamento e Analisi del Limite: Analisi del funzionale di Massari non locale al tendere di $s \to (1/2)^-$. Gli autori utilizzano un fattore di scala specifico $(1-2s)$ per recuperare il funzionale di Massari classico.
• Funzionali di Energia Perturbati: Introduzione di un funzionale di energia di Allen-Cahn non locale "forzato" con un termine forzante altamente oscillatorio $g_\varepsilon(x) = g(x/\varepsilon)$. L'energia viene riscalata a seconda del regime di $s$:
  • $s \in (0, 1/2)$: Scalata con $\varepsilon^{-2s}$.
  • $s = 1/2$: Scalata con $|\varepsilon \log \varepsilon|^{-1}$.
  • $s \in (1/2, 1)$: Scalata con $\varepsilon^{-1}$.
• Vincoli di Massa: Indagine del problema di minimizzazione soggetto a un vincolo di massa fisso $\int_\Omega u \, dx = m$. Ciò richiede la costruzione di specifiche successioni di recupero che soddisfino il vincolo di massa convergendo al funzionale limite, in particolare nel regime $s \in [1/2, 1)$ dove la letteratura esistente (ad es. [29]) non si applica direttamente a causa dell'assenza di condizioni al contorno di Dirichlet.
• Analisi del Comportamento Esterno: Derivazione del comportamento delle soluzioni al di fuori del dominio $\Omega$. A differenza dei problemi classici dove le soluzioni sono spesso assunte essere funzioni caratteristiche globalmente, il vincolo di massa nel setting non locale forza una specifica condizione di Neumann non locale sull'esterno, portando a soluzioni che non sono necessariamente costanti a tratti al di fuori di $\Omega$.
• Raffinamento della Convergenza dei Punti Critici: Adattamento dei risultati da [24] riguardanti la convergenza dei punti critici delle equazioni di Allen-Cahn frazionarie. Gli autori affinano questi risultati per gestire casi in cui la soluzione non è globalmente regolare $C^{0,1}$, il che è una conseguenza del vincolo di massa.

3. Contributi e Risultati Chiave

3.1 $\Gamma$-convergenza del Problema di Massari Non Locale

Teorema 2.3 stabilisce che il funzionale di Massari non locale opportunamente riscalato $\Gamma$-converge al funzionale di Massari classico al tendere di $s \to (1/2)^-$.
Teorema 2.4 prova la stabilità limite dei minimizzatori: se una successione di insiemi $\{E_j\}$ sono minimizzatori locali per i funzionali non locali $J^{H_j}_{s_j, \Omega}$ e convergono a $E$, allora $E$ è un minimizzatore locale per il funzionale classico $J^H_\Omega$. Inoltre, l'energia della successione converge all'energia dell'insieme limite.

3.2 Equazioni di Allen-Cahn Non Omogenee

L'articolo generalizza i risultati di $\Gamma$-convergenza di [29] per includere un termine forzante macroscopico $H$.
Teorema 2.7 prova che il funzionale di energia di Allen-Cahn frazionario perturbato $\Gamma$-converge a un funzionale limite che coinvolge il perimetro (non locale o classico, a seconda di $s$) e il termine forzante.
Teorema 2.8 stabilisce la stabilità dei minimizzatori per questa energia perturbata.

• Per $s \in (0, 1/2)$, il minimizzatore limite soddisfa il problema di Massari non locale con dati esterni determinati dal limite debole* della successione al di fuori di $\Omega$.
• Per $s \in [1/2, 1)$, il minimizzatore limite corrisponde a un insieme con curvatura media classica $H/c_\star$.

3.3 Problemi a Massa Prescritta e Curvatura Media Ibrida Non Locale

Una parte significativa del lavoro affronta il problema di Allen-Cahn a massa prescritta.

• Teorema 2.10 & 2.11: Dimostrano la $\Gamma$-convergenza e i limiti uniformi di energia per i minimizzatori sotto un vincolo di massa. La costruzione della successione di recupero per $s \in [1/2, 1)$ è un contributo originale, poiché richiede di perturbare la successione standard per soddisfare la condizione di massa senza violare i limiti energetici.
• Teorema 2.12: Mostra che le soluzioni al problema con vincolo di massa soddisfano una condizione di Neumann esterna non locale (Equazione 2.19). Ciò implica che la soluzione al di fuori di $\Omega$ è determinata da una media integrale della soluzione all'interno di $\Omega$, e crucialmente, la soluzione non è una funzione caratteristica con segno ($|u| \neq 1$) al di fuori di $\Omega$.
• Teorema 2.14 & 2.15: Analizzano la convergenza dei moltiplicatori di Lagrange associati al vincolo di massa e la convergenza dell'energia totale.
• Teorema 2.18 & 2.20: Introducono e caratterizzano la curvatura media ibrida non locale.
  • Definizione 2.17: Definisce la curvatura media ibrida non locale di una coppia $(E, g)$, dove $E$ è un insieme all'interno di $\Omega$ e $g$ è una funzione al di fuori di $\Omega$.
  • Risultato: La configurazione limite del problema con vincolo di massa consiste in un insieme $E$ all'interno di $\Omega$ e una funzione $u|_{\Omega^c}$ all'esterno. L'interfaccia è caratterizzata dalla costanza della curvatura media ibrida non locale.
  • Regolarità: L'articolo nota che mentre la soluzione limite è continua attraverso $\partial \Omega$ ($C^0$), in generale non è $C^1$ attraverso il confine, distinguendosi dai grafici $s$-minimali che sono o discontinui o $C^1$.

3.4 Raffinamenti Tecnici

• Appendice A: Dimostra che prescrivere sia condizioni al contorno di Dirichlet sia un vincolo di massa porta a un problema sovradeterminato senza soluzioni, giustificando l'uso di condizioni di Neumann non locali.
• Appendice B: Estende i risultati di $\Gamma$-convergenza dallo spazio delle funzioni limitate da 1 allo spazio $X_M$ (funzioni limitate da $M$), assicurando che i risultati valgano per la classe più ampia di funzioni considerata nei teoremi principali.

4. Significato e Affermazioni

L'articolo afferma di fornire un'analisi asintotica rigorosa delle transizioni di fase non locali con curvatura media prescritta e vincoli di massa. Il suo significato risiede in:

1. Collegamento tra Problemi Geometrici Non Locali e Classici: Collega formalmente il problema di Massari frazionario a quello classico al tendere di $s \to 1/2$, preservando i minimizzatori e i limiti energetici.
2. Nuovo Oggetto Geometrico: L'identificazione della "curvatura media ibrida non locale" è presentata come un nuovo oggetto geometrico. A differenza delle transizioni di fase a massa prescritta classiche che convergono a insiemi a curvatura media costante, il setting non locale produce una configurazione limite definita da una coppia (insieme interno, funzione esterna) con curvatura media ibrida costante.
3. Gestione dei Vincoli di Massa nei Setting Non Locali: L'articolo affronta una lacuna nella letteratura riguardante la costruzione di successioni di recupero per problemi con vincolo di massa quando $s \in [1/2, 1)$, dove i contributi non locali si localizzano.
4. Comportamento al Confine: Evidenzia un comportamento al confine distinto per le interfacce non locali con vincolo di massa ($C^0$ ma non $C^1$), in contrasto con i risultati noti per i grafici $s$-minimali.

Gli autori affermano che il miglioramento nei risultati di convergenza per i punti critici (Teorema 2.18) è di interesse indipendente, poiché rilassa le ipotesi sulla regolarità globale che erano precedentemente richieste in contesti simili (ad es. [24]). Il lavoro è presentato come un passo fondamentale nella comprensione dell'interazione tra interazioni non locali, vincoli di massa e problemi variazionali geometrici.