Another look at elliptic homogenization

Sintesi Tecnica di "Another Look at Elliptic Homogenization"

Enunciato del Problema
Il saggio investiga il comportamento asintotico di una sequenza di funzionali non locali definiti da seminormi di Gagliardo $(s, 2)$ normalizzati con coefficienti oscillanti, al tendere il parametro frazionario $s$ a 1 e la scala di oscillazione $\varepsilon$ a 0. Nello specifico, gli autori analizzano il funzionale:
$$F_{\varepsilon, s}(u) = (1 - s) \iint_{\Omega \times \Omega} a\left(\frac{x}{\varepsilon}\right) \frac{|u(x) - u(y)|^2}{|x - y|^{d+2s}} \, dx \, dy$$
dove $\Omega \subset \mathbb{R}^d$ è un insieme aperto limitato, $a$ è una funzione continua 1-periodica limitata lontano da zero e dall'infinito, e $s = s_\varepsilon \in (0, 1)$.

La questione centrale è determinare il $\Gamma$-limite di $F_{\varepsilon, s}$ quando $\varepsilon \to 0$ e $s \to 1^-$ simultaneamente. Mentre è noto che, per un coefficiente costante, il limite per $s \to 1$ produce l'integrale di Dirichlet (Bourgain, Brezis, Mironescu; Ponce), e che per un $s=1$ fisso, il limite per $\varepsilon \to 0$ produce l'integrale di Dirichlet omogeneizzato, l'interazione tra questi due limiti è non banale. Il saggio si concentra sul regime "subcritico" dove la convergenza di $s$ verso 1 è sufficientemente rapida rispetto alla scala di oscillazione $\varepsilon$.

Metodologia
Gli autori utilizzano la teoria della $\Gamma$-convergenza rispetto alla convergenza in $L^2(\Omega)$. La dimostrazione è divisa nell'instaurazione delle disuguaglianze $\Gamma$-liminf e $\Gamma$-limsup sotto l'assunzione:
$$\lim_{\varepsilon \to 0} \frac{1 - s_\varepsilon}{\varepsilon^2} = 0.$$

1. Localizzazione e Discretizzazione (Liminf):

   • Lemma 3 (Localizzazione): Gli autori dimostrano innanzitutto che le interazioni tra punti $x, y$ con $|x-y| > r_\varepsilon$ sono trascurabili se $r_\varepsilon$ è scelto tale che $(1-s_\varepsilon)/r_\varepsilon^2 \to 0$. Ciò permette la riduzione dell'integrale non locale a un intervallo di interazione locale.
   • Decomposizione Geometrica: Per gestire il termine non locale all'interno del piccolo intervallo di interazione, gli autori utilizzano un argomento di discretizzazione basato sulla decomposizione di Kuhn di cubi in simplessi. Introducono una parametrizzazione sull'insieme delle basi ortonormali $V$ in $\mathbb{R}^d$, mutuando tecniche da Solci.
   • Funzioni Ausiliarie: Costruiscono funzioni ausiliarie piecewise-affine $u^\rho_\varepsilon$ su reticoli definiti da queste basi. Mediante l'integrazione di queste funzioni sulle basi e sul raggio di interazione, recuperano una funzione in $W^{1,2}(\Omega)$.
   • Omogeneizzazione: Il limite inferiore è derivato mostrando che l'energia di queste funzioni ausiliarie converge all'integrale di Dirichlet omogeneizzato, sfruttando i noti risultati di omogeneizzazione per le energie ellittiche locali.

2. Sequenza di Recupero (Limsup):

   • Casi Affini e Piecewise-Affine: Per funzioni affini $u(x) = \langle z, x \rangle$, gli autori costruiscono una sequenza di recupero della forma $u_\varepsilon(x) = \langle z, x \rangle + \varepsilon \phi(x/\varepsilon)$, dove $\phi$ è un correttore periodico che risolve il problema della cella per la matrice omogeneizzata $A_{\text{hom}}$.
   • Espansione di Taylor: La dimostrazione si basa su un'espansione di Taylor del primo ordine del correttore $\phi$. La condizione $1-s \ll \varepsilon^2$ è cruciale qui per garantire che i termini del resto nell'espansione, che scalano con $1/\varepsilon^2$, svaniscano quando moltiplicati per il fattore $(1-s)$.
   • Densità: Il risultato viene esteso a funzioni generiche in $W^{1,2}(\Omega)$ tramite un argomento di densità utilizzando funzioni piecewise-affine e un argomento diagonale.

Risultati Chiave
Il teorema principale (Teorema 1) afferma che se $\lim_{\varepsilon \to 0} (1 - s_\varepsilon)/\varepsilon^2 = 0$, allora la sequenza dei funzionali $\Gamma$-converge all'integrale di Dirichlet omogeneizzato:
$$\Gamma\text{-}\lim_{\varepsilon \to 0} F_{\varepsilon, s_\varepsilon}(u) = \frac{\sigma_{d-1}}{2d} \int_\Omega \langle A_{\text{hom}} \nabla u, \nabla u \rangle \, dx$$
dove $\sigma_{d-1}$ è la misura di superficie della sfera unitaria e $A_{\text{hom}}$ è la matrice omogeneizzata definita dalla standard formula di omogeneizzazione periodica.

Il saggio stabilisce che in questo regime subcritico, gli effetti del parametro frazionario $s$ e della scala di oscillazione $\varepsilon$ si "separano". Il limite è equivalente a prendere $s \to 1$ per primo (recuperando l'energia oscillante locale) e poi $\varepsilon \to 0$ (omogeneizzando tale energia).

Significato e Ambito
Il saggio fornisce una giustificazione rigorosa per l'intuizione formale che separare i limiti $s \to 1$ e $\varepsilon \to 0$ sia valido quando il parametro frazionario si avvicina a 1 sufficientemente velocemente. Gli autori notano esplicitamente che la condizione $1-s \ll \varepsilon^2$ è un caso subcritico. Essi dichiarano che il caso critico ($1-s \sim \varepsilon^2$) e i casi supercritici richiedono tecniche diverse e più complesse che coinvolgono procedure di omogeneizzazione non-locale-a-locale e non sono trattati in questo lavoro.

Il contributo risiede nel colmare il divario tra le approssimazioni di Sobolev frazionarie non locali e la classica omogeneizzazione ellittica, dimostrando che, sotto specifiche relazioni di scala, la natura non locale della seminorma di Gagliardo non altera il limite omogeneizzato rispetto al caso standard locale. Il lavoro offre anche una tecnica di prova originale per il limite inferiore utilizzando la decomposizione di Kuhn e l'integrazione sulle basi ortogonali, che gli autori osservano fornire una prova alternativa per il risultato classico di Bourgain, Brezis e Mironescu nel caso a coefficienti costanti.