Low regularity potentials in heterogeneous Cahn--Hilliard functionals

1. Il Problema e il Contesto

Il paper si concentra sullo studio asintotico del funzionale di Cahn-Hilliard, il modello prototipico per la separazione di fasi liquido-liquido, in un contesto eterogeneo e con bassa regolarità.

Il funzionale considerato è:
$$F_\varepsilon(u) := \int_\Omega \left[ \frac{1}{\varepsilon} W(x, u(x)) + \varepsilon |\nabla u(x)|^2 \right] dx$$
dove:

• $\Omega \subset \mathbb{R}^N$ è un dominio limitato.
• $u: \Omega \to \mathbb{R}^M$ è il parametro d'ordine (es. densità).
• $W(x, u)$ è la densità di energia libera, che si annulla su due "pozzi" (well) dipendenti dallo spazio, $a(x)$ e $b(x)$.
• $\varepsilon > 0$ è un parametro piccolo che regola la larghezza dell'interfaccia tra le fasi.

L'obiettivo è caratterizzare il comportamento asintotico di $\{F_\varepsilon\}$ quando $\varepsilon \to 0$ tramite la $\Gamma$-convergenza. In questo limite, ci si aspetta che l'energia si concentri sulle interfacce tra le fasi, portando a un funzionale limite di tipo perimetro generalizzato.

La sfida principale: La letteratura esistente (es. Fonseca-Tartar, Bouchitté, Cristoferi-Ganedi-Fonseca) richiede ipotesi di regolarità forti sui pozzi $a(x), b(x)$ (spesso Lipschitz continui) e sulla potenziale $W$ (spesso comportamento quadratico vicino ai pozzi). Questo lavoro mira a indebolire drasticamente queste ipotesi, trattando potenziali con bassa regolarità e pozzi che possono avere salti (discontinuità) su partizioni del dominio.

2. Metodologia e Ipotesi

Gli autori introducono un insieme di ipotesi strutturali (H1-H8) molto più deboli rispetto alla letteratura precedente:

• Regolarità dei pozzi: $a, b \in BV(\Omega; \mathbb{R}^M) \cap L^\infty$. Possono essere discontinui, ma con variazione limitata.
• Regolarità del potenziale: $W$ è una funzione di Carathéodory. Non si assume che sia $C^2$ o quadratica vicino ai pozzi.
• Crescita: Si richiede una crescita lineare all'infinito (H5) e un controllo della crescita vicino ai pozzi tramite una funzione $f$ (H4) che soddisfa una condizione di raddoppio (H8), permettendo anche comportamenti concavi vicino ai pozzi (esclusi in lavori precedenti).
• Condizione di continuità relativa (H7): Per gestire la dipendenza spaziale, si introduce un'applicazione di "aggiustamento" $T(x, u)$ che mappa i pozzi mobili $a(x), b(x)$ in pozzi fissi $\pm e_1$. La condizione (H7) richiede che il potenziale trasformato $W(x, T(x, u))$ sia uniformemente continuo rispetto a $x$, con un errore proporzionale al valore del potenziale stesso.

Strumenti Matematici Chiave:

1. Teoria delle Misure di Young: Utilizzata per dimostrare la compattezza delle successioni a energia limitata, permettendo di gestire la non linearità e la bassa regolarità.
2. Calcolo delle Variazioni su BV: Uso estensivo della regola della catena per funzioni di variazione limitata e della decomposizione della derivata distribuzionale.
3. Geodetiche in Metriche Degenerate: Un risultato tecnico fondamentale è la prova dell'esistenza di geodetiche per una metrica degenere (dove il peso $\sqrt{W}$ si annulla) e la dimostrazione di un limite uniforme superiore sulla lunghezza euclidea di queste geodetiche, anche sotto ipotesi di crescita molto deboli.
4. Approssimazione di Insiemi a Perimetro Finito: Un risultato di approssimazione (Proposizione 4.15) per insiemi a perimetro finito con confini $C^2$ a tratti, che preserva l'intersezione con le discontinuità del potenziale.

3. Risultati Principali

A. Teorema di Compattezza (Teorema 2.16)

Sotto le sole ipotesi strutturali (H1-H5), ogni successione $\{u_n\} \subset H^1(\Omega; \mathbb{R}^M)$ con energia uniformemente limitata ammette una sottosuccessione che converge fortemente in $L^1(\Omega; \mathbb{R}^M)$ a una funzione limite $u \in BV(\Omega; \{a, b\})$.

• Significato: Anche con potenziali molto irregolari, le configurazioni a bassa energia si concentrano su funzioni che assumono solo i valori dei pozzi, con interfacce ben definite.

B. $\Gamma$-Convergenza (Teorema 2.17)

Sotto le ipotesi di regolarità aggiuntive (H6-H8), la famiglia $\{F_\varepsilon\}$ $\Gamma$-converge rispetto alla topologia $L^1$ al funzionale limite:
$$F_\infty(u) = \int_{J_u \cap \Omega} d_W(x; u^-(x), u^+(x)) \, d\mathcal{H}^{N-1}(x)$$
dove:

• $J_u$ è l'insieme di salto di $u$.
• $d_W(x; p, q)$ è la distanza geodetica definita dal potenziale congelato in $x$:
  $$d_W(x; p, q) = \inf \left\{ \int_{-1}^1 2\sqrt{W(x, \gamma(t))} |\gamma'(t)| \, dt : \gamma \in W^{1,1}, \gamma(-1)=p, \gamma(1)=q \right\}$$
• Novità: Il limite è ottenuto anche quando i pozzi $a(x), b(x)$ sono discontinui su una partizione del dominio, a condizione che la discontinuità sia controllata (H6).

C. Vincolo di Massa (Teorema 2.20)

I risultati si estendono al caso in cui è imposto un vincolo di massa $\int_\Omega u = m$. Gli autori dimostrano che la $\Gamma$-convergenza e la compattezza valgono anche in questo caso, richiedendo una leggera modifica nella costruzione della sequenza di recupero per correggere il vincolo di massa senza alterare l'energia asintotica.

4. Contributi Tecnici Chiave

1. Stima Uniforme della Lunghezza delle Geodetiche (Teorema 4.8):
   Uno dei risultati più significativi è la dimostrazione che, sotto le ipotesi di crescita (H4) e (H8), le geodetiche che minimizzano l'energia di transizione tra i pozzi hanno una lunghezza euclidea uniformemente limitata, indipendentemente dalla posizione $x$.

   • Perché è importante: In casi precedenti, senza assunzioni quadratiche forti, le geodetiche potevano avere lunghezza infinita o non essere ben definite. Questo risultato è cruciale per costruire la "sequenza di recupero" (limsup inequality) e dimostrare che l'energia di interfaccia è finita.
   • Controesempio: Gli autori forniscono un esempio (Esempio 4.10) che mostra come, senza le loro ipotesi di crescita, le geodetiche possano avere lunghezza infinita, rendendo il problema mal posto.

2. Gestione della Discontinuità Spaziale:
   L'uso dell'applicazione di aggiustamento $T(x, u)$ permette di "congelare" i pozzi mobili, trasformando il problema in uno con pozzi fissi ma un potenziale che varia spazialmente. Questo semplifica notevolmente l'analisi della disuguaglianza di liminf, permettendo di trattare il caso eterogeneo come un caso omogeneo localmente.

3. Approssimazione Geometrica:
   La Proposizione 4.15 fornisce un modo rigoroso per approssimare insiemi a perimetro finito con confini lisci ($C^2$ a tratti) che rispettano le discontinuità del potenziale, essenziale per la costruzione della sequenza di recupero globale.

5. Significato e Impatto

Questo lavoro rappresenta un avanzamento sostanziale nella teoria della $\Gamma$-convergenza per i modelli di fase:

• Generalità: Rimuove le restrizioni sulla regolarità dei pozzi e sulla forma del potenziale vicino ai minimi, rendendo il modello applicabile a materiali eterogenei reali con microstrutture complesse e discontinue.
• Robustezza: Dimostra che la struttura del limite (energia di interfaccia proporzionale a una densità di superficie) è robusta anche in presenza di bassa regolarità, purché siano soddisfatte condizioni di crescita controllata.
• Fondamento Teorico: Fornisce gli strumenti analitici (stima delle geodetiche, uso delle misure di Young in contesti BV) necessari per studiare problemi di ottimizzazione di forma e transizioni di fase in materiali compositi con proprietà spaziali variabili e irregolari.

In sintesi, il paper estende la validità del modello di Cahn-Hilliard a scenari fisici molto più ampi e realistici, dove le proprietà del materiale non sono lisce o regolari, fornendo al contempo una prova rigorosa della convergenza verso un modello di interfaccia generalizzato.