Lipschitz regularity of harmonic map heat flows into $CAT(0)$ spaces

Sintesi Tecnica: Regolarità Lipschitz del Flusso del Calore delle Mappe Armoniche in Spazi CAT(0)

Definizione del Problema
Il saggio affronta la questione aperta da tempo riguardante la regolarità delle soluzioni deboli del flusso del calore delle mappe armoniche in spazi CAT(0). Mentre l'esistenza, l'unicità e la convergenza a lungo termine di tali soluzioni deboli sono state stabilite da Mayer e Jost negli anni '90 tramite la teoria del gradiente in spazi metrici, la questione se tali soluzioni possiedano una regolarità Lipschitz sia nello spazio che nel tempo rimaneva irrisolta. Lavori precedenti di Lin, Segatti, Sire e Wang (2026) hanno fornito una risposta parziale, stabilendo la continuità Lipschitz nella variabile spaziale per una specifica classe di spazi CAT(0) (quelli immersibili in uno spazio euclideo con specifiche proprietà asintotiche) e la continuità Hölder di ordine 1/2 nel tempo. Gli autori mirano a fornire una risposta completa per arbitrarie varietà CAT(0), dimostrando la regolarità Lipschitz in entrambe le variabili e stabilendo una disuguaglianza di tipo Bochner parabolico.

Metodologia
Gli autori impiegano una combinazione di analisi geometrica intrinseca, teoria delle soluzioni di viscosità e tecniche di flusso non lineare adattate dal loro precedente lavoro sulle mappe armoniche. La strategia di prova è divisa in tre fasi principali:

1. Continuità Hölder Locale:
   Gli autori stabiliscono innanzitutto la continuità Hölder locale per le soluzioni deboli. Essi adattano la teoria di De Giorgi-Nash-Moser al contesto parabolico. Una difficoltà chiave è che la standard disuguaglianza di Poincaré parabolica fallisce per funzioni generiche in $W^{1,2}$ a causa della mancanza di derivate temporali sul lato destro. Tuttavia, utilizzando la regolarità del gradiente del flusso (specificamente la continuità Lipschitz del flusso nella metrica $L^2$ per $t > 0$), dimostrano una disuguaglianza di Poincaré locale modificata. Ciò consente di derivare una proprietà di sottosoluzione per la funzione distanza $d_Y(P, u(x,t))$, portando alla continuità Hölder locale tramite argomenti di iterazione.

2. Continuità Lipschitz nel Tempo:
   Per dimostrare la continuità Lipschitz nella variabile temporale, gli autori stabiliscono una cruciale "proprietà di sottosoluzione" per il quadrato della distanza tra due soluzioni deboli, $w(x,t) = d_Y^2(u(x,t), v(x,t))$. Essi dimostrano che $(\Delta - \partial_t)w \geq 2R_{u,v}$ in senso distributivo, dove $R_{u,v}$ è un termine non negativo legato alla differenza nelle densità di energia. Scegliendo $v(x,t) = u(x, t+s)$ e applicando il principio del massimo a questa sottosoluzione, derivano un limite superiore uniforme sulla differenza temporale, dimostrando che $t \mapsto u(x, \cdot)$ è localmente Lipschitz continua.

3. Continuità Lipschitz nello Spazio:
   La regolarità spaziale è stabilita costruendo un flusso "Hamilton-Jacobi" non lineare. A differenza del caso ellittico in cui il flusso coinvolge due variabili spaziali, il caso parabolico suggeriva inizialmente una dipendenza da due variabili temporali ($t$ e $s$), il che complicava la derivazione di un'equazione differenziale parziale parabolica. Sfruttando la precedentemente stabilita continuità Lipschitz nel tempo, gli autori definiscono un flusso "rivisto" dipendente da una sola variabile temporale:
   $$f_\epsilon(x, t) := \inf_{y \in \Omega} \left( \frac{e^{-2Kt} d^2(x, y)}{2\epsilon} - d_Y(u(x, t), u(y, t)) \right)$$
   Essi dimostrano che questa funzione è una sovrasoluzione di viscosità dell'equazione del calore. Collegando questo flusso alla norma del gradiente spaziale (tramite una disuguaglianza di valore medio asintotica e le proprietà della funzione massimale di Hardy-Littlewood), vincolano la costante Lipschitz spaziale, stabilendo così la continuità Lipschitz locale nello spazio.

4. Disuguaglianza di Bochner:
   Infine, gli autori raffinano l'approccio Hamilton-Jacobi elevando la potenza della funzione distanza dall'indice 2 a un intero superiore $p$. Analizzando il limite per $p \to \infty$, derivano una disuguaglianza di Bochner di tipo Eells-Sampson per la costante Lipschitz spaziale.

Risultati Chiave
Il saggio stabilisce i seguenti teoremi principali:

• Teorema 1.3 (Risultato di Regolarità Principale): Sia $M$ una varietà riemanniana completa con curvatura di Ricci limitata inferiormente da $K$, e sia $(Y, d_Y)$ uno spazio CAT(0) arbitrario. Per ogni soluzione debole $u(x,t)$ del flusso del calore delle mappe armoniche con dati iniziali limitati, $u$ è localmente Lipschitz continua su $\Omega \times (0, +\infty)$ sia nello spazio che nel tempo.
• Teorema 1.3 (ii) (Disuguaglianza di Bochner): La costante Lipschitz spaziale puntuale, definita come $\text{lip}_x u(x,t) := \limsup_{y \to x} \frac{d_Y(u(x,t), u(y,t))}{d(y,x)}$, appartiene a $V_{2,loc} \cap L^\infty_{loc}$ e soddisfa la disuguaglianza distributiva:
  $$(\Delta - \partial_t)(\text{lip}_x u)^2 \geq 2|\nabla \text{lip}_x u|^2 + 2K(\text{lip}_x u)^2$$
  Questa è un'analoga parabolica della disuguaglianza di Bochner per le mappe armoniche.

Significato e Rivendicazioni
Gli autori rivendicano di fornire una "risposta completa" alla questione della regolarità Lipschitz per i flussi del calore delle mappe armoniche in spazi metrici singolari, rimuovendo le restrittive assunzioni di immersione richieste dai risultati parziali precedenti (Lin et al.). I risultati valgono per qualsiasi spazio CAT(0), indipendentemente dalla compattezza locale.

Il saggio sottolinea che la disuguaglianza di Bochner derivata (Teorema 1.3(ii)) è uno strumento significativo, analogo alla classica disuguaglianza di Eells-Sampson, centrale per i teoremi di rigidità nella teoria dei gruppi geometrici. Gli autori notano che i loro argomenti nelle Sezioni 3, 4 e 5 possono essere adattati a mappe da spazi RCD verso spazi CAT(0), sebbene la prova della Lipschitzianità spaziale (Sezione 7) si basi attualmente sulla teoria delle soluzioni di viscosità, che non è ancora pienamente sviluppata per equazioni paraboliche su spazi RCD.

Il lavoro si basa direttamente sulla fondamentale teoria del gradiente di Mayer e Jost e sui recenti metodi di approssimazione ellittica di Lin, Segatti, Sire e Wang, estendendo tali framework per ottenere la piena regolarità spazio-temporale.