On Brezis Open Problem 3.1

Sintesi Tecnica: Unicità delle Mappe Armoniche Deboli con Traccia di Cerchio di Latitudine

Enunciato del Problema
Questo articolo affronta una questione aperta di lunga data riguardante l'unicità delle mappe armoniche deboli dal disco unitario $B_1 \subset \mathbb{R}^2$ alla sfera unitaria $S^2$. Nello specifico, considera il problema di Dirichlet per l'equazione della mappa armonica:
$$-\Delta u = |\nabla u|^2 u \quad \text{in } B_1, \quad u|_{\partial B_1} = g_R,$$
dove la traccia al bordo $g_R(e^{i\theta}) = (R \cos \theta, R \sin \theta, \sqrt{1-R^2})$ descrive un cerchio di latitudine attraversato una sola volta a velocità costante, con $0 < R < 1$.

Nel 1983, Brézis e Coron hanno stabilito l'esistenza di due soluzioni esplicite, $u_+$ e $u_-$, corrispondenti ai riempimenti conformi e anti-conformi dei cappi sferici definiti dalla traccia al bordo. Essi hanno dimostrato che queste mappe sono gli unici minimizzatori di energia nelle rispettive classi di omotopia relativa (gradi $\pm 1$). Tuttavia, rimaneva il dubbio se potessero esistere punti critici non minimizzanti (punti di sella) per gli stessi dati al bordo. Questo era stato formalmente posto come Problema Aperto 3.1 nella lista di "Problemi Aperti Preferiti" di Brézis. L'articolo mira a determinare se le due mappe di Brézis–Coron esauriscano l'insieme di tutte le mappe armoniche deboli con questa specifica traccia.

Metodologia
Gli autori utilizzano un argomento di "rigidità al bordo" che combina analisi geometrica, analisi complessa e disuguaglianze variazionali. La dimostrazione procede in due fasi primarie:

1. Rigidità al Bordo tramite Potenziali Ausiliari e Disuguaglianze Isoperimetriche:

   • Potenziale Ausiliario: Associato alla mappa armonica $u$, gli autori definiscono un potenziale globale $X: B_1 \to \mathbb{R}^3$ soddisfacendo $X_x = -u \times u_y$ e $X_y = u \times u_x$. Questa costruzione è radicata nella corrispondenza mappa di Gauss/curvatura media costante (CMC).
   • Curva Proiettata e Area Algebrica: Analizzano la curva al bordo $\Gamma = X|_{\partial B_1}$ e la sua proiezione ortogonale $\gamma$ sul piano orizzontale $x_3=0$. Utilizzando un'identità giacobiana di proiezione, dimostrano che l'area congiunta (algebrica) racchiusa da $\gamma$ è esattamente $\pi R^2$.
   • Identità di Pohozaev e Limiti di Lunghezza: L'identità di Pohozaev per il differenziale di Hopf fornisce un limite integrale esatto sulla lunghezza di $\Gamma$. Nello specifico, $\int_0^{2\pi} |u_r(1, \theta)|^2 d\theta = 2\pi R^2$.
   • Saturazione Isoperimetrica: Applicando la disuguaglianza isoperimetrica planare alla curva proiettata $\gamma$ (relazionando la sua lunghezza all'area algebrica) e confrontandola con la lunghezza di $\Gamma$, gli autori stabiliscono una catena di disuguaglianze:
     $$4\pi^2 R^2 \leq L_h^2 \leq L^2 \leq 4\pi^2 R^2.$$
     Poiché il limite inferiore (derivante dall'area algebrica esatta) e il limite superiore (dal limite di Pohozaev) coincidono, tutte le disuguaglianze devono essere uguaglianze. Questa "saturazione" impone identità puntuali sul bordo: $|u_r| \equiv R$ e $u_r \cdot u_\theta \equiv 0$.

2. Classificazione Conforme:

   • Vanimento del Differenziale di Hopf: Le identità al bordo derivate sopra implicano che il differenziale di Hopf $q(z) = u_z \cdot u_z$ svanisce su $\partial B_1$. Poiché $q$ è oloforma in $B_1$, il principio del modulo massimo impone che $q \equiv 0$ in tutto il disco. Pertanto, la mappa è debolmente conforme.
   • Proiezione Stereografica e Serie di Laurent: Utilizzando la proiezione stereografica dal polo sud, la mappa è rappresentata da una funzione a valori complessi $w$ su un collar del bordo. Il vanimento del differenziale di Hopf implica che $w$ sia o oloforma o anti-oloforma.
   • Unicità sul Collar: Dato il derivata non nulla al bordo e la specifica traccia $w(e^{i\theta}) = \rho e^{i\theta}$, una espansione in serie di Laurent mostra che $w$ deve essere o $\rho z$ (oloforma) o $\rho/\bar{z}$ (anti-oloforma).
   • Estensione Globale: Grazie all'analiticità reale delle soluzioni del sistema ellittico, l'identificazione sul collar si estende a tutto il disco, fornendo esattamente le due soluzioni di Brézis–Coron.

Contributi Chiave e Risultati

• Risoluzione del Problema Aperto 3.1: L'articolo dimostra il Teorema 1.1, il quale afferma che per $0 < R < 1$, le uniche mappe armoniche deboli in $H^1(B_1; S^2)$ con traccia $g_R$ sono le due esplicite mappe di Brézis–Coron $u_+$ e $u_-$. Ciò risponde definitivamente alla domanda escludendo l'esistenza di eventuali punti critici non minimizzanti.
• Meccanismo di Rigidità al Bordo: Gli autori introducono un nuovo argomento di rigidità che converte l'area algebrica esatta di una curva di potenziale proiettata nel vanimento del differenziale di Hopf. Questo meccanismo isola una caratteristica geometrica della traccia di latitudine "un solo giro" che è invisibile ai metodi di classificazione variazionale standard.
• Applicazione agli H-Sistemi: L'articolo deriva il Corollario 1.2, applicando il risultato di unicità a sistemi-$H$ bidimensionali (immersioni conformi con curvatura media costante), classificando le immersioni conformi $Y: B_1 \to \mathbb{R}^3$ con tracce di norma unitaria, mostrando che devono essere traslazioni rigide dei dischi modello $Z_+$ o $Z_-$.
• Analisi degli Endpoint: Gli autori analizzano i limiti $R \to 1$ (equatore) e $R \to 0$ (polo). Mostrano che il risultato vale per $R=1$ (non degenere), mentre $R=0$ rappresenta un caso degenero dove il bordo collassa in un punto, producendo solo la mappa costante.

Significato
Il lavoro fornisce una risposta affermativa definitiva al Problema Aperto 3.1 di Brézis. La sua importanza risiede nel dimostrare che, per il caso specifico di un cerchio di latitudine con un solo giro, il fenomeno della "molteplicità" osservato in dati al bordo con numero di avvolgimento superiore o più generali non si verifica. La dimostrazione stabilisce che le due naturali riempimenti conformi e anti-conformi esauriscono tutti i punti critici, non solo i minimizzatori.

Il lavoro evidenzia una speciale rigidità geometrica inerente alla traccia a un solo giro, guidata dall'interazione tra l'identità di Pohozaev, il differenziale di Hopf e la netta disuguaglianza isoperimetrica planare. Questo approccio offre una nuova prospettiva sui problemi di unicità nella teoria delle mappe armoniche, distinguendo i casi in cui i metodi variazionali da soli sono insufficienti da quelli in cui la rigidità geometrica impone l'unicità. Gli autori notano che questo meccanismo collassa per numeri di avvolgimento superiori ($m \geq 2$), dove sono attesi molteplici punti critici, chiarendo così i confini topologici e geometrici dell'unicità in questo campo.