A Bourgain-Brezis-Mironescu result for fractional thin films

1. Il Problema e il Contesto

Il paper si occupa dello studio asintotico di film sottili in un contesto non locale, analizzando il comportamento di energie frazionarie su domini di tipo "film sottile" $\Omega_\varepsilon = \omega \times (0, \varepsilon) \subset \mathbb{R}^d$, dove $\omega \subset \mathbb{R}^{d-1}$ è un dominio limitato e connesso.

L'obiettivo principale è determinare il limite $\Gamma$-convergente (e la relativa scala di energia critica) quando due parametri tendono simultaneamente ai loro limiti critici:

• Lo spessore del film $\varepsilon \to 0$ (riduzione dimensionale).
• L'esponente frazionario $s \to 1^-$ (transizione verso il caso locale).

Il funzionale di partenza è la seminorma di Gagliardo quadratica scalata:
$$F_{\varepsilon,s}(u) = (1-s) \int_{\Omega_\varepsilon \times \Omega_\varepsilon} \frac{|u(x) - u(y)|^2}{|x-y|^{d+2s}} \, dx \, dy$$
definita sullo spazio $H^s(\Omega_\varepsilon)$.

Nel caso locale classico ($s=1$), è noto che dividendo l'energia per $\varepsilon$ e facendo $\varepsilon \to 0$, si ottiene un'energia di Dirichlet ridotta dimensionalmente su $\omega$. Nel caso frazionario, il teorema di Bourgain-Brezis-Mironescu (BBM) stabilisce che, per $\varepsilon$ fisso, moltiplicando per $(1-s)$ e facendo $s \to 1$, si recupera l'energia di Dirichlet classica. La domanda aperta è: cosa succede se $\varepsilon \to 0$ e $s \to 1$ simultaneamente?

2. Metodologia

Gli autori adottano un approccio basato sulla $\Gamma$-convergenza e sulla convergenza per riduzione dimensionale.

• Convergenza per riduzione dimensionale: Viene definita una nozione di convergenza per funzioni $u_\varepsilon \in L^1(\Omega_\varepsilon)$ verso una funzione limite $u \in L^1(\omega)$. Questo avviene riscalando il dominio $\Omega_\varepsilon$ in $\Omega = \omega \times (0,1)$ tramite $v_\varepsilon(x', x_d) = u_\varepsilon(x', \varepsilon x_d)$ e richiedendo che $v_\varepsilon$ converga a una funzione indipendente dalla variabile verticale $x_d$.
• Discretizzazione e Stime: Una delle difficoltà principali è che la natura non locale della seminorma di Gagliardo impedisce il semplice decoupling delle derivate orizzontali e verticali tipico del caso locale (dove si usa l'ineguaglianza di Poincaré). Per superare questo ostacolo, gli autori utilizzano una tecnica di discretizzazione basata su reticoli ortogonali (varietà di Stiefel) e approssimazioni affini, permettendo di collegare la seminorma frazionaria all'energia di Dirichlet locale tramite disuguaglianze di tipo Poincaré-Wirtinger.
• Analisi Asintotica: Vengono analizzati diversi regimi di scaling (fattori moltiplicativi $\lambda_{\varepsilon,s}$) per determinare quale scala rende le energie equi-coercive e non banali.

3. Risultati Chiave

A. La Scala Critica Simultanea

Il risultato principale (Teorema 10 e Proposizione 5) stabilisce che se $\varepsilon \to 0$ e $s \to 1$ simultaneamente, la scala corretta per ottenere un limite finito e non banale è:
$$\lambda_{\varepsilon,s} = \varepsilon^{2s-3}$$
In altre parole, il limite $\Gamma$-convergente è:
$$\Gamma\text{-}\lim_{\varepsilon \to 0} \varepsilon^{2s-3} F_{\varepsilon,s}(u) = c_d \int_{\omega} |\nabla' u|^2 \, dx'$$
dove $c_d$ è la costante di Bourgain-Brezis-Mironescu e $\nabla'$ è il gradiente sulle variabili orizzontali.

Interpretazione fisica/geometrica:
Il fattore $\varepsilon^{2s-3}$ combina:

1. Il fattore geometrico $\varepsilon^{-1}$ tipico della riduzione dimensionale (volume $\sim \varepsilon$).
2. Un fattore aggiuntivo $\varepsilon^{2(1-s)}$ dovuto al fatto che, per le seminorme di Gagliardo, le interazioni rilevanti avvengono su scale dell'ordine di $\varepsilon$.
   Il risultato è sorprendente perché, anche per film "molto sottili", il limite è un funzionale di Dirichlet $d$-dimensionale ridotto, non un comportamento puramente $(d-1)$-dimensionale. Questo è dovuto all'incompatibilità tra l'omogeneità del nucleo della seminorma frazionaria (dipendente da $d$) e la riduzione dimensionale.

B. Regime della "Membrana" (Membrane Scaling)

Gli autori studiano anche la scala classica $\lambda = \varepsilon^{-1}$ (tipica dei film sottili locali). In questo caso, il comportamento dipende criticamente dal rapporto tra $1-s$ e $|\log \varepsilon|^{-1}$ (Teorema 11):

• Se $1-s \ll |\log \varepsilon|^{-1}$ (ovvero $\varepsilon^{1-s} \to 1$): Il limite è l'energia di Dirichlet ridotta moltiplicata per $c_d$.
• Se $1-s \sim \kappa |\log \varepsilon|^{-1}$ (ovvero $\varepsilon^{1-s} \to \kappa \in (0,1)$): Il limite è l'energia di Dirichlet ridotta moltiplicata per $\kappa^2 c_d$.
• Se $1-s \gg |\log \varepsilon|^{-1}$ (ovvero $\varepsilon^{1-s} \to 0$): Il limite è 0 (triviale).

Questo identifica $1-s \sim |\log \varepsilon|^{-1}$ come un regime critico di transizione.

C. Caso a $s$ Fissato

Nel caso in cui $s$ sia fissato in $(1/2, 1)$ e si faccia solo $\varepsilon \to 0$, la scala critica è $\varepsilon^{-(3-2s)}$.

• Se la scala è inferiore a questa ($\alpha < 3-2s$), il limite è 0.
• Se la scala è superiore ($\alpha > 3-2s$), il limite è $+\infty$ per funzioni non costanti.
  Questo conferma che $3-2s$ è l'esponente critico per la convergenza per $s$ fissato.

4. Contributi e Significato

• Generalizzazione del Teorema BBM: Estende il celebre risultato di Bourgain-Brezis-Mironescu al contesto di domini che subiscono una riduzione dimensionale simultanea alla transizione frazionario-locale.
• Indipendenza dalla velocità di convergenza: Un risultato fondamentale è che il limite finale è lo stesso indipendentemente dalla velocità relativa con cui $\varepsilon$ tende a 0 e $s$ tende a 1, purché si utilizzi la scala corretta $\varepsilon^{2s-3}$.
• Nuovi Regimi Critici: L'analisi del regime "membrana" rivela una transizione di fase logaritmica ($1-s \sim |\log \varepsilon|^{-1}$) che non appare nel caso locale, offrendo nuovi spunti per la modellazione di materiali con proprietà non locali su scale multiple.
• Metodologia Robusta: Lo sviluppo di tecniche di discretizzazione per gestire la non-località in domini sottili fornisce un nuovo strumento analitico per lo studio di problemi di riduzione dimensionale in spazi di Sobolev frazionari.

In sintesi, il lavoro chiarisce come le interazioni non locali su scale microscopiche influenzino la macro-struttura di film sottili quando il parametro di non-località scompare, fornendo una teoria coerente che unifica la riduzione dimensionale classica e il limite frazionario.