Generic non-uniqueness of minimizing harmonic maps from a ball to a sphere

Titolo: Non-Unicità Generica delle Mappe Armoniche Minimizzanti da una Sfera a una Sfera

1. Il Problema

Il lavoro si concentra sullo studio delle mappe armoniche minimizzanti $u: B^3 \to S^2$, dove $B^3$ è la palla unitaria in $\mathbb{R}^3$ e $S^2$ è la sfera unitaria. Queste mappe sono definite come minimizzatori dell'energia di Dirichlet:
$$E(u) = \int_{B^3} |\nabla u|^2 \, dx$$
tra tutte le mappe nello spazio di Sobolev $W^{1,2}(B^3, S^2)$ con un dato al bordo fissato $\phi \in W^{1/2,2}(\partial B^3, S^2)$.

Il problema centrale è la non-unicità dei minimizzanti per un dato al bordo $\phi$. Sebbene sia noto che per certi dati al bordo esistono più minimizzanti (spesso con un diverso numero di singolarità), la domanda aperta riguardava la densità di tali dati al bordo. In particolare, mentre è noto che per la topologia $W^{1,2}$ l'unicità è generica (piccole perturbazioni non cambiano il numero di singolarità), gli autori investigano se la non-unicità diventi generica se si considera una topologia più debole, ovvero $W^{1,p}$ con $p < 2$.

2. Metodologia

Gli autori combinano tecniche di teoria dell'omotopia, analisi variazionale e regolarità delle mappe armoniche. La strategia si articola in tre fasi principali:

1. Costruzione di Omotopie Controllate (Sezione 2):
   Il cuore tecnico del lavoro è la costruzione di un'omotopia tra due mappe lisce $\phi$ e $\psi$ che coincidono fuori da una piccola palla $B_r(x)$.

   • Sfida: Dimostrare che esiste un'omotopia $H_t$ tale che la distanza $W^{1,p}$ tra $\phi$ e $H_t$ rimanga piccola per ogni $t \in [0,1]$, anche se la distanza tra $\phi$ e $\psi$ è piccola.
   • Soluzione: Gli autori non riescono a dimostrare una stima lineare diretta (dove la distanza dell'omotopia è controllata solo dalla distanza tra gli estremi), ma costruiscono un'omotopia in cui il controllo dipende dalla somma delle norme di $\phi$ e $\psi$ su un intorno della regione di differenza.
   • Tecnica chiave: Utilizzano una tecnica di ridimensionamento (rescaling). Costruiscono un'omotopia che "comprime" la regione di differenza in una palla più piccola di raggio $\tau$, sfruttando il fatto che $p < n$ (dove $n=2$ per la sfera). Questo permette di rendere l'energia $W^{1,p}$ arbitrariamente piccola scegliendo $\tau$ sufficientemente piccolo, indipendentemente dalla complessità della mappa di partenza.

2. Utilizzo del Fenomeno di Lavrentiev:
   Si fa riferimento a risultati precedenti (Hardt-Lin, Mazowiecka-Strzelecki) che mostrano l'esistenza di un dato al bordo per il quale si verifica un "gap di Lavrentiev" e dove il numero di singolarità dei minimizzanti può cambiare. In particolare, si parte da un dato al bordo $\phi_0$ che ammette un unico minimizzatore con $M$ singolarità.

3. Dimostrazione di Densità (Sezione 3):
   Si costruisce una famiglia di dati al bordo $\phi_t$ (tramite l'omotopia controllata) che collega $\phi_0$ a un nuovo dato $\phi_1$.

   • $\phi_1$ è costruito (basandosi su [9]) in modo tale che ammetta un minimizzatore con almeno $M+1$ singolarità.
   • Si definisce $\tau$ come il tempo critico in cui il numero di singolarità dei minimizzanti cambia da $\le M$ a $> M$.
   • Utilizzando teoremi di stabilità e convergenza forte dei minimizzanti (Schoen-Uhlenbeck, Hardt-Lin), si dimostra che al tempo critico $\tau$, il dato al bordo $H_\tau$ ammette almeno due minimizzanti distinti: uno con $\le M$ singolarità e uno con $> M$ singolarità.

3. Risultati Chiave

• Teorema 1.2 (Risultato Principale):
  Per ogni dato al bordo liscio $\phi \in C^\infty(S^2, S^2)$ e per ogni $\varepsilon > 0$, esiste un dato al bordo $\psi \in C^\infty(S^2, S^2)$ tale che:

  1. $\|\phi - \psi\|_{W^{1,p}(S^2)} < \varepsilon$ (con $p < 2$).
  2. $\psi$ ammette almeno due mappe armoniche minimizzanti da $B^3$ a $S^2$.
  3. Questi minimizzanti hanno un diverso numero di singolarità.

• Densità:
  Il teorema implica che l'insieme dei dati al bordo per i quali la non-unicità si verifica è denso nello spazio $W^{1,p}(S^2, S^2)$ per $p < 2$. Questo rafforza notevolmente i risultati precedenti che garantivano solo l'esistenza di un singolo esempio di non-unicità.

• Costruzione di Omotopia (Teorema 2.1 e Corollario 2.2):
  Viene dimostrato che, per $p < n$, è possibile connettere due mappe lisce che coincidono fuori da una piccola palla tramite un'omotopia che rimane arbitrariamente vicina alle mappe originali nella norma $W^{1,p}$, purché il raggio della palla di differenza sia scelto sufficientemente piccolo in funzione della precisione desiderata.

4. Contributi e Significato

• Risposta a una domanda aperta: Il lavoro risolve parzialmente una questione sollevata da Mazowiecka e Strzelecki riguardo al controllo delle omotopie in spazi $W^{1,p}$ con $p < 2$. Sebbene non risolvano la versione più forte del problema (controllo uniforme indipendente dal raggio), forniscono una costruzione sufficiente per dimostrare la densità.
• Stabilità vs. Instabilità: Il risultato evidenzia una distinzione fondamentale tra le topologie $W^{1,2}$ e $W^{1,p}$ ($p<2$).
  • In $W^{1,2}$, piccole perturbazioni preservano il numero di singolarità (stabilità).
  • In $W^{1,p}$ con $p<2$, anche perturbazioni piccole possono alterare drasticamente la struttura dei minimizzanti, rendendo la non-unicità un fenomeno generico e ubiquitario.
• Impatto sulla Teoria delle Mappe Armoniche: Dimostra che l'unicità dei minimizzanti è una proprietà fragile quando si considera la topologia naturale più debole per certi problemi variazionali su varietà. Questo ha implicazioni per la comprensione della struttura degli spazi di Sobolev a valori in varietà e per la stabilità numerica e analitica di tali problemi.

In sintesi, il paper stabilisce che la non-unicità dei minimizzanti per le mappe armoniche da una palla a una sfera non è un'eccezione isolata, ma una proprietà genericamente presente nello spazio dei dati al bordo, se misurata nella topologia $W^{1,p}$ per $p < 2$.