Liftings of Sobolev maps into closed Riemannian manifolds via double coverings and minimal connections relative to planar sets, with an application to ferronematics

Titolo:

Sollevamenti (Liftings) di applicazioni Sobolev in varietà Riemanniane chiuse tramite doppi ricoprimenti e connessioni minime relative a insiemi piani, con un'applicazione ai ferronematici.

Autori: Giacomo Canevari, Federico Luigi Dipasquale, Bianca Stroffolini.

---

1. Il Problema e il Contesto

Il lavoro si concentra sul problema del sollevamento (lifting) per applicazioni definite su un dominio piano $\Omega \subseteq \mathbb{R}^2$ a valori in una varietà Riemanniana chiusa $N$.
Sia $\Pi: E \to N$ un doppio ricoprimento (double covering) tra due varietà Riemanniane chiuse e lisce. Il problema chiede se una data applicazione $u: \Omega \to N$ possa essere fattorizzata come $u = \Pi \circ v$ per una qualche applicazione "sollevata" $v: \Omega \to E$ con regolarità comparabile.

Mentre per applicazioni continue su domini semplicemente connessi il problema è classico, diventa estremamente delicato negli spazi di regolarità debole (Sobolev $W^{1,p}$ o BV).
Il caso prototipico considerato è il sollevamento di mappe a valori in $N$ (diffeomorfa a $S^1$, come nel caso dei cristalli liquidi nematici) tramite il ricoprimento $\Pi(z) = z^2$. In questo contesto, una "sollevata" corrisponde alla scelta di un vettore di orientamento (un campo vettoriale $n$) che genera l'autospazio del tensore $Q$ del cristallo liquido.

Il focus specifico della ricerca è:

1. Stabilire un limite inferiore sharp (ottimale) per la lunghezza dell'insieme di salto ($J_v$) di un sollevamento $v \in SBV$ (Special Functions of Bounded Variation).
2. Applicare questo risultato teorico allo studio asintotico di un modello variazionale per i ferronematici (materiali composti da cristalli liquidi nematici con nanoparticelle magnetiche sospese) in regime di "condizioni al contorno miste".

---

2. Metodologia e Strumenti Matematici

Gli autori combinano tecniche di analisi geometrica, teoria delle funzioni a variazione limitata (BV) e analisi asintotica di funzionali di Ginzburg-Landau.

A. Connessioni Minime Relative (Minimal Connections)

Definiscono il concetto di connessione per un insieme di punti singolari $\{a_1, \dots, a_p\} \subset \Omega$:

• Una collezione finita di segmenti rettilinei chiusi $\{L_1, \dots, L_q\} \subset \Omega$.
• Ogni segmento connette due punti singolari o un punto singolare al bordo $\partial\Omega$.
• Ogni punto singolare $a_i$ è un'estremità di un numero dispari di segmenti.

La lunghezza della connessione minima $L_\Omega(a_1, \dots, a_p)$ è l'infimo della somma delle lunghezze di tali segmenti. A differenza della connessione minima classica (orientata, come in Brezis-Coron-Lieb), qui la connessione è non orientata (modulo 2), permettendo connessioni tra punti dello stesso "tipo" topologico.

B. Struttura delle Singolarità e Sollevamenti

• Le singolarità di $u$ sono classificate come orientabili o non orientabili. Solo le singolarità non orientabili (dove il sollevamento non può essere definito localmente in modo continuo) contribuiscono al limite inferiore della lunghezza del salto.
• Utilizzano la teoria degli insiemi di perimetro finito (Ambrosio, Caselles, Masnou, Morel) e la struttura degli insiemi di salto delle funzioni $SBV$.
• Sfruttano la proprietà che il bordo dell'insieme di salto di un sollevamento, inteso come corrente modulo 2, deve coincidere con le singolarità non orientabili e il bordo del dominio.

C. Modello dei Ferronematici

Analizzano il funzionale di energia libera:
$$F_\varepsilon(Q, M) = \int_\Omega \left( \frac{1}{2}|\nabla Q|^2 + \frac{\varepsilon}{2}|\nabla M|^2 + \frac{1}{\varepsilon^2}f_\varepsilon(Q, M) \right) dx$$
dove $Q$ è il tensore di ordine nematico e $M$ è il vettore di magnetizzazione.

• Condizioni al contorno: Dirichlet per $Q$ (fissato dal grado topologico $d$) e Neumann omogeneo per $M$.
• Accoppiamento: Il termine di potenziale $f_\varepsilon$ favorisce l'allineamento tra $M$ e gli autovettori di $Q$.

---

3. Risultati Principali

Teorema 1: Limite Inferiore per la Lunghezza del Salto

Sia $u \in W^{1,1}(\Omega, N)$ con singolarità non orientabili in $\{a_1, \dots, a_p\}$ e orientabili in $\{b_1, \dots, b_r\}$. Se $v \in SBV(\Omega, E)$ è un sollevamento di $u$ tramite $\Pi$, allora:
$$\mathcal{H}^1(J_v) \ge L_\Omega(a_1, \dots, a_p)$$
dove $\mathcal{H}^1$ è la misura di Hausdorff 1-dimensionale (lunghezza).

• Uguaglianza: Vale se e solo se l'insieme di salto $J_v$ coincide (modulo $\mathcal{H}^1$) con una connessione minima per i punti $\{a_i\}$.
• Significato: Questo generalizza risultati precedenti (es. [23]) rimuovendo l'ipotesi di convessità del dominio e permettendo condizioni al contorno miste. Dimostra che le "linee di difetto" (jump set) necessarie per sollevare la mappa sono esattamente le connessioni minime tra le singolarità topologiche.

Teorema 2: Analisi Asintotica dei Ferronematici

Considerando il limite $\varepsilon \to 0$ per i minimizzatori $(Q_\varepsilon, M_\varepsilon)$ con condizioni al contorno miste:

1. Convergenza: $Q_\varepsilon$ converge fortemente a una mappa armonica canonica $Q_\star$ con singolarità non orientabili in un insieme finito di punti $\{a^\star_1, \dots, a^\star_{2|d|}\}$.
2. Struttura di $M_\star$: La magnetizzazione limite $M_\star$ appartiene a $SBV$, ha norma costante e, opportunamente normalizzata, è un sollevamento di $Q_\star$.
3. Geometria dei Difetti: L'insieme di salto $J_{M_\star}$ è una connessione minima relativa ai punti singolari di $Q_\star$.
4. Energia Minimizzata: I punti singolari $\{a^\star_i\}$ minimizzano un'energia rinormalizzata modificata:
   $$W^\Omega_\beta(a_1, \dots, a_{2|d|}) = W(a_1, \dots, a_{2|d|}) + c_\beta L_\Omega(a_1, \dots, a_{2|d|})$$
   dove $W$ è l'energia rinormalizzata di Ginzburg-Landau classica e il secondo termine rappresenta il costo energetico delle linee di salto (difetti lineari) nella magnetizzazione, pesato dalla costante $c_\beta$ derivante dal profilo di transizione Allen-Cahn.

---

4. Contributi Chiave e Innovazioni

1. Generalizzazione del Teorema di Sollevamento: Estendono i risultati sulla lunghezza minima del salto a domini non convessi e a condizioni al contorno miste, utilizzando una definizione di connessione minima non orientata che si adatta naturalmente alla topologia dei doppi ricoprimenti.
2. Caratterizzazione dei Difetti nei Ferronematici: Forniscono una descrizione rigorosa di come i difetti lineari (linee di disclinazione) emergono nell'accoppiamento tra ordine nematico e magnetizzazione. A differenza di modelli precedenti dove i difetti lineari sono imposti o derivano da vincoli topologici liberi, qui emergono dinamicamente dall'accoppiamento non banale tra due parametri d'ordine.
3. Nuova Energia Rinormalizzata: Introducono un funzionale di energia che combina l'energia puntuale (Ginzburg-Landau) e l'energia lineare (lunghezza della connessione minima), spiegando come la competizione tra questi due termini determini la configurazione finale dei difetti.
4. Metodologia Ibrida: Uniscono l'analisi topologica delle singolarità (teoria dell'omotopia e sollevamenti) con l'analisi variazionale asintotica ($\Gamma$-convergenza) e la teoria degli insiemi di perimetro finito.

---

5. Significato e Implicazioni

• Fisica della Materia Condensata: Il lavoro offre una base matematica rigorosa per comprendere il comportamento dei ferronematici, materiali promettenti per dispositivi optoelettronici e di memorizzazione magnetica. Spiega perché e come si formano le "linee di difetto" nella magnetizzazione quando il cristallo liquido presenta singolarità topologiche.
• Matematica Pura: Risolve problemi aperti riguardanti la regolarità e la struttura degli insiemi di salto per sollevamenti in spazi BV su varietà generali. La caratterizzazione dell'insieme di salto come connessione minima è un risultato geometrico di per sé significativo.
• Applicabilità: La metodologia sviluppata può essere estesa ad altri modelli di accoppiamento tra parametri d'ordine in sistemi complessi, offrendo un quadro unificato per lo studio di difetti puntuali e lineari.

In sintesi, il paper stabilisce un ponte fondamentale tra la topologia delle singolarità in spazi di Sobolev e la fisica dei materiali complessi, dimostrando che la geometria ottimale dei difetti è governata da un problema di connessione minima non orientata.