Sign-changing solutions to the Yamabe problem on manifolds with boundary

1. Il Problema

Il lavoro si concentra sul Problema di Yamabe su varietà Riemanniane compatte $(M, g)$ con bordo $\partial M$ di dimensione $n \ge 3$. L'obiettivo è trovare una metrica conformemente equivalente $\tilde{g} = u^{\frac{4}{n-2}}g$ che abbia:

• Curvatura scalare costante su $M$.
• Curvatura media costante su $\partial M$.

In termini analitici, questo equivale a risolvere il seguente problema ai limiti non lineare con crescita critica:
$$\begin{cases} -\Delta_g u + c_n R_g u = a_n |u|^{\frac{4}{n-2}} u & \text{su } M, \\ \frac{\partial u}{\partial \nu} + d_n h_g u = b |u|^{\frac{2}{n-2}} u & \text{su } \partial M, \end{cases}$$
dove $R_g$ è la curvatura scalare, $h_g$ è la curvatura media del bordo, $\nu$ è il vettore normale uscente, e $a_n, c_n, d_n$ sono costanti dipendenti dalla dimensione. Il parametro $b \in \mathbb{R}$ controlla la curvatura media del bordo nella metrica conforme.

Mentre l'esistenza di soluzioni positive (che generano metriche vere e proprie) è ben consolidata grazie ai lavori di Cherrier, Escobar, Han e Li, l'esistenza di soluzioni nodali (che cambiano segno) rimane un problema aperto e molto più complesso, specialmente nel caso con bordo.

2. Metodologia

Gli autori adottano un approccio variazionale. La strategia si articola nei seguenti punti chiave:

• Funzionale Energetico: Il problema è formulato come la ricerca di punti critici del funzionale energetico $J: H^1(M) \to \mathbb{R}$:
  $$J(u) = \frac{1}{2}Q(u) - \frac{a_n}{p}\int_M |u|^p dv - \frac{b}{q}\int_{\partial M} |u|^q d\sigma$$
  dove $Q(u)$ è la forma quadratica associata all'operatore di Yamabe con bordo.
• Invarianti Conformi: Vengono definiti due livelli energetici critici:
  • $\mu_1(M)$: L'infimo di $J$ sull'insieme delle soluzioni non nulle (Nehari manifold). Corrisponde all'energia delle soluzioni positive.
  • $\mu_2(M)$: L'infimo di $J$ sull'insieme $E$ delle funzioni che cambiano segno, dove sia la parte positiva $u^+$ che quella negativa $u^-$ appartengono al manifold di Nehari.
• Struttura Topologica e Flusso di Gradiente: Per dimostrare l'esistenza di una soluzione nodale, gli autori costruiscono una sequenza di Palais-Smale a un livello energetico superiore a $\mu_1(M)$. La sfida principale è evitare che la sequenza "collassi" in una soluzione positiva o perda compattezza.
  • Viene introdotto un flusso di gradiente negativo per $J$.
  • Si dimostra che, sotto l'ipotesi $b \ge 0$, i coni delle funzioni positive ($P_+$) e negative ($P_-$) sono invarianti strettamente positivi sotto questo flusso.
  • Questo permette di generare una sequenza di Palais-Smale che rimane a una distanza positiva dai coni $P_+$ e $P_-$, garantendo che il limite, se esiste, cambi segno.
• Stime Energetiche Sharp: Per garantire la convergenza della sequenza (cioè che il livello energetico sia inferiore alla soglia di perdita di compattezza), gli autori analizzano il comportamento asintotico di una funzione di test costruita combinando una soluzione positiva esistente con un "bubble" (soluzione fondamentale) centrato in un punto del bordo.

3. Risultati Principali

Teorema 1.1 (Risultato Principale):
Sia $(M, g)$ una varietà Riemanniana compatta con bordo, positiva (il primo autovalore dell'operatore di Yamabe è positivo). Se:

1. $n \ge 7$,
2. $b \ge 0$ (curvatura media del bordo non negativa nella metrica conforme),
3. $M$ possiede almeno un punto non ombelicale $\xi \in \partial M$ (dove il tensore di curvatura secondaria non è un multiplo della metrica),

allora il problema (1.1) ammette una soluzione nodale di minima energia (least-energy sign-changing solution).

Teorema 2.8 e Corollario 2.9:
Vengono forniti criteri generali per l'esistenza di soluzioni nodali. In particolare, se si riesce a costruire una famiglia di funzioni di test tale che l'energia massima lungo un percorso di connessione tra una soluzione positiva e una funzione di test sia strettamente minore di $\mu_1(M) + \mu_1(B_b)$ (dove $B_b$ è un cappuccio sferico modello), allora esiste una soluzione nodale.

4. Dettagli Tecnici e Contributi Chiave

• Ruolo della Dimensione ($n \ge 7$): La condizione $n \ge 7$ è cruciale per le stime asintotiche. Nella stima dell'energia della funzione di test $W_\varepsilon$, i termini di errore devono essere controllati rispetto al termine principale negativo ($-C_0 \varepsilon^2$). Per $n < 7$, i termini di errore legati alla curvatura del bordo o alla geometria locale potrebbero dominare o non essere sufficientemente piccoli per garantire l'ineguaglianza energetica necessaria.
• Punti Non Ombelicali: L'ipotesi che esista un punto non ombelicale sul bordo è essenziale per ottenere un termine di correzione negativo nell'espansione dell'energia della funzione di test. Questo permette di abbassare l'energia totale sotto la soglia critica $\mu_1(M) + \mu_1(B_b)$.
• Caso $b < 0$: Gli autori sottolineano che il loro approccio non funziona per $b < 0$. In questo caso, l'invarianza dei coni $P_+$ e $P_-$ sotto il flusso di gradiente non è garantita, rendendo il problema delle soluzioni nodali per $b < 0$ un problema aperto e molto più difficile.
• Confronto con Risultati Precedenti:
  • Per $b=0$, risultati simili erano stati ottenuti da Ho e Pyo, ma con condizioni diverse (tensore di Weyl non nullo).
  • Questo lavoro estende la teoria ai casi con curvatura media del bordo non nulla ($b \ge 0$) e utilizza una strategia variazionale basata sull'invarianza dei coni, diversa da quella usata in lavori precedenti.

5. Significato e Impatto

Questo lavoro rappresenta un progresso significativo nella geometria conforme e nell'analisi non lineare su varietà con bordo:

1. Estensione del Problema di Yamabe: Colma una lacuna importante fornendo la prima prova rigorosa dell'esistenza di soluzioni che cambiano segno per il problema di Yamabe con bordo in una vasta classe di varietà ($n \ge 7$, $b \ge 0$).
2. Metodologia Robusta: L'uso combinato di invarianti conformi, analisi del flusso di gradiente e stime energetiche precise offre un nuovo strumento potente per studiare problemi con crescita critica su domini con bordo.
3. Geometria del Bordo: Dimostra come la geometria locale del bordo (punti non ombelicali) influenzi direttamente l'esistenza di soluzioni globali complesse (nodali), collegando proprietà locali della curvatura a proprietà globali delle soluzioni delle EDP.

In sintesi, il paper stabilisce che, sotto condizioni geometriche e dimensionali specifiche, la struttura variazionale del problema di Yamabe con bordo ammette soluzioni complesse (cambio di segno) di minima energia, aprendo la strada a ulteriori ricerche sulla molteplicità e la struttura delle soluzioni nodali in geometria conforme.