Conformal Metrics on the Disk with Prescribed Negative Gaussian Curvature and Boundary Geodesic Curvature

1. Il Problema Matematico

Il lavoro si concentra sul problema di prescrivere la curvatura gaussiana $K$ su una superficie riemanniana compatta con bordo (specificamente il disco unitario $D$) e la curvatura geodetica $h$ sul bordo $\partial D$, attraverso una trasformazione conforme della metrica.

Sia $(\Sigma, \tilde{g})$ una superficie con bordo. Una nuova metrica $g = e^u \tilde{g}$ è definita dal fattore conforme $e^u$. Le curvature della nuova metrica sono legate a quelle iniziali dalle seguenti equazioni differenziali:
$$\begin{cases} -\Delta u + 2\tilde{K} = 2K e^u & \text{in } D, \\ \frac{\partial u}{\partial \nu} + 2\tilde{h} = 2h e^{u/2} & \text{su } \partial D. \end{cases}$$
Assumendo che la metrica di partenza sia euclidea ($\tilde{K}=0, \tilde{h}=1$), il problema si riduce a trovare soluzioni per:
$$\begin{cases} -\Delta u = 2K(x)e^u & \text{in } D, \\ \frac{\partial u}{\partial \nu} + 2 = 2h(x)e^{u/2} & \text{su } \partial D. \end{cases}$$
L'obiettivo specifico di questo articolo è trattare il caso in cui la curvatura gaussiana è negativa ($K < 0$), un regime che presenta difficoltà analitiche significative rispetto ai casi con curvatura positiva o nulla.

2. Sfide e Contesto

La letteratura esistente ha affrontato ampiamente il caso in cui almeno una delle curvature è costante o positiva (problema di Nirenberg sul disco). Tuttavia, per $K < 0$:

• Assenza di vincoli automatici: A differenza del caso positivo, l'identità di Gauss-Bonnet non garantisce automaticamente la limitatezza dell'area e della lunghezza (la condizione di massa limitata $\int e^u + \int e^{u/2} < C$ non è scontata).
• Comportamento di "blow-up": Possono esistere soluzioni con area e lunghezza divergenti, rendendo l'analisi di compattezza molto più complessa.
• Inapplicabilità dei flussi parabolici: Le tecniche basate su flussi geometrici (come quelle di Brendle) non si applicano direttamente a curvature negative a causa della struttura variazionale.
• Ostacoli all'esistenza: Esistono condizioni di non-esistenza (es. se $K=-1$ e $h$ è costante piccola), legate al comportamento delle oricicli nel piano iperbolico.

3. Metodologia

Gli autori adottano un approccio variazionale combinato con un'analisi di blow-up raffinata.

A. Perturbazione Variazionale

Poiché il funzionale energetico naturale $I(u)$ non soddisfa la condizione di Palais-Smale (PS) globale a causa della possibilità di blow-up, gli autori introducono una famiglia di funzionali perturbati $I_\varepsilon$:
$$I_\varepsilon(u) = I(u) + \varepsilon \frac{T(u)}{1+\varepsilon}$$
dove $T(u)$ è un termine di regolarizzazione coercitivo.

• Geometria del funzionale: La struttura variazionale cambia drasticamente in base al segno di $\varepsilon$:
  • Per $\varepsilon > 0$: Il funzionale ammette una geometria di Passo Montano (Mountain-Pass).
  • Per $\varepsilon < 0$: Viene costruita una nuova struttura di Linking tridimensionale. Questa è una novità significativa del lavoro, che utilizza un argomento di confronto con il caso a coefficienti costanti.

B. Strumenti Analitici

1. Trick di Monotonia di Struwe: Per superare la mancanza della condizione PS, viene utilizzato il trucco di monotonia per trovare sequenze di Palais-Smale limitate per quasi ogni $\varepsilon$, controllando l'indice di Morse delle soluzioni ottenute.
2. Disuguaglianze di Chen-Li e Lebedev-Milin: Utilizzate per stabilire la limitatezza dal basso del funzionale su certi insiemi vincolati.
3. Identità di Kazdan-Warner: Estese al contesto perturbato per ottenere vincoli sulle soluzioni.

C. Analisi di Blow-up

Il cuore tecnico del paper è l'analisi delle sequenze di soluzioni $u_n$ con indice di Morse limitato.

• Viene dimostrato che, sotto l'ipotesi di indice di Morse limitato, le soluzioni hanno massa limitata (condizione (1.3) è soddisfatta).
• Viene eseguita un'espansione asintotica precisa delle soluzioni vicino al punto di blow-up $p \in \partial D$.
• Si dimostra che il punto di blow-up $p$ deve essere un punto critico di una funzione ausiliaria $\Phi(x) = H(x) + \sqrt{H(x)^2 + K(x)}$, dove $H$ è l'estensione armonica di $h$.
• Risultato chiave: Il segno della derivata normale $\partial_\nu \Phi(p)$ è vincolato dal segno di $\varepsilon_n$:
  • Se $\varepsilon_n > 0 \implies \partial_\nu \Phi(p) \geq 0$.
  • Se $\varepsilon_n < 0 \implies \partial_\nu \Phi(p) \leq 0$.

4. Risultati Principali

Il teorema principale (Teorema 1.1) garantisce l'esistenza di almeno una soluzione sotto ipotesi geometriche naturali che evitano le ostacoli di non-esistenza.

Ipotesi:

• $K \in C^2(D)$, $h \in C^2(\partial D)$ e $K < 0$ in $D$.
• Condizione (a): $\min_{\partial D} h > \max_{\partial D} \sqrt{|K|}$.
• Condizione (b): Una condizione sulla derivata tangenziale e normale della funzione $\Phi$ sui punti critici tangenziali ($\partial_\tau \Phi = 0$).

Teorema:
Se valgono le ipotesi sopra, il problema ammette una soluzione.
In particolare, il Teorema 2.1 e il 2.2 mostrano che:

1. Se $\partial_\nu \Phi < 0$ ovunque su $\partial_\tau \Phi = 0$, la condizione (a) può essere rilassata (basta che esista un punto dove $D(x) > 1$).
2. Se $\partial_\nu \Phi > 0$, è necessaria la condizione (a) forte.

La dimostrazione procede per assurdo: si assume che la sequenza di soluzioni approssimate non sia limitata. L'analisi di blow-up mostra che ciò implicherebbe l'esistenza di un punto $p$ con $\partial_\tau \Phi(p)=0$ e $\varepsilon_n \partial_\nu \Phi(p) \geq 0$. Questo contraddice le ipotesi geometriche (b±) scelte per il problema, garantendo quindi la compattezza e l'esistenza della soluzione limite.

5. Contributi Chiave e Significato

1. Rimozione delle simmetrie: A differenza di lavori precedenti (es. [36]) che richiedevano simmetrie nelle curvature per trattare $K<0$, questo lavoro fornisce risultati di esistenza generali senza assunzioni di simmetria.
2. Nuova struttura di Linking: La costruzione di una struttura di linking tridimensionale per $\varepsilon < 0$ è un contributo metodologico originale, potenzialmente applicabile ad altri problemi geometrici non lineari.
3. Analisi di Blow-up Raffinata: Il paper fornisce una descrizione dettagliata del comportamento delle soluzioni con indice di Morse limitato nel regime di curvatura negativa, dove la massa può divergere. La stima precisa del termine di errore $\psi_n$ e l'uso delle identità di Kazdan-Warner per legare il segno di $\varepsilon$ alla derivata normale di $\Phi$ sono risultati tecnici fondamentali.
4. Superamento delle ostacoli: Il lavoro chiarisce le condizioni necessarie per l'esistenza, mostrando come le condizioni geometriche su $\Phi$ siano essenziali per evitare le situazioni di non-esistenza note (legate all'identità di Kazdan-Warner).

In sintesi, il paper risolve un problema aperto di geometria differenziale non lineare, estendendo la teoria delle metriche conformi a curvature negative sul disco, combinando tecniche variazionali avanzate con un'analisi asintotica di precisione.