The semilinear heat inequality with Morrey initial data on Riemannian manifolds

Sintesi Tecnica: La disuguaglianza del calore semilineare con dati iniziali di Morrey su varietà riemanniane

Enunciato del problema
Il documento affronta il comportamento a lungo termine e la regolarità delle soluzioni non negative della disuguaglianza differenziale del calore semilineare:
$$\left( \frac{\partial}{\partial t} - \Delta \right) u \leq A u^p + B u$$
su una varietà riemanniana connessa e completa $M$ di dimensione $n \geq 3$ con geometria limitata. Qui $A$ e $B$ sono costanti non negative, e $p > 1 + 2/n$. L'obiettivo primario è stabilire stime $L^\infty$ per soluzioni dove i dati iniziali $u(0)$ sono piccoli nelle norme di Morrey "al limite" (borderline). Nello specifico, il lavoro indaga casi in cui i dati iniziali appartengono allo spazio di Morrey invariante per scala $M^{q, \lambda}$ con $\lambda = 2q/(p-1)$ e $1 < q \leq q_c := n(p-1)/2$, nonché scenari che coinvolgono vincoli aggiuntivi in altri spazi di Morrey $M^{q', \lambda'}$.

La motivazione deriva dai flussi geometrici, come il flusso delle mappe armoniche e il flusso di Yang-Mills, dove le funzioni di densità di energia soddisfano disuguaglianze di questo tipo. Sebbene l'esistenza globale e il decadimento siano ben compresi per l'equazione del calore lineare e per certe equazioni semilineari con dati iniziali $L^q$ in spazi euclidei (dove $q > q_c$), il comportamento al valore critico ($q = q_c$) e negli spazi di Morrey su varietà richiede l'adattamento delle tecniche euclidee esistenti.

Metodologia
L'autore adatta ed estende i metodi sviluppati da Souplet, Blatt e Struwe per i domini euclidei all'impostazione delle varietà riemanniane. La metodologia centrale prevede:

1. Stime del nucleo del calore (Heat Kernel): Utilizzare le proprietà del nucleo del calore $H(x,y,t)$ su varietà con geometria limitata. Il documento si basa su stime superiori e inferiori gaussiane (Lemma 3.1) e sulla completezza stocastica della varietà per controllare il termine di diffusione.
2. Stime degli spazi di Morrey per il semigruppo del calore: Un contributo tecnico centrale è la Proposizione 3.2, che stabilisce che il semigruppo del calore $H_t$ mappa gli spazi di Morrey $M^{s_1, \lambda}$ in $M^{s_2, \lambda}$ con specifici tassi di decadimento temporale. Questo generalizza i noti risultati euclidei all'impostazione delle varietà, tenendo conto dei teoremi di confronto del volume (Bishop-Gromov) e della geometria delle coordinate locali.
3. Argomenti di bootstrap iterativi: Le prove dei teoremi principali impiegano un argomento di continuità. Assumendo che una soluzione esista su un intervallo $[0, T)$ e soddisfi determinati vincoli di piccolezza, l'autore deriva disuguaglianze integrali per le norme $L^\infty$ e di Morrey. Attraverso una attenta stima del termine non lineare $u^p$ utilizzando i tassi di decadimento del semigruppo, l'autore dimostra che se i dati iniziali sono sufficientemente piccoli (controllati da una costante $\delta_0$), le norme della soluzione rimangono limitate e decadono polinomialmente, impedendo l'esplosione (blow-up).
4. Rimozione dei termini lineari: Il termine lineare $Bu$ nella disuguaglianza viene gestito tramite una trasformazione esponenziale $v(t) = e^{-tB}u(t)$, riducendo il problema a una disuguaglianza puramente superlineare.

Risultati Chiave

• Teorema 1.2 (Stime Globali $L^\infty$): Il documento dimostra che se i dati iniziali sono sufficientemente piccoli nella norma di Morrey $\| \cdot \|_{M^{q, \lambda}}$ (dove $1 < q \leq q_c$) e la soluzione soddisfa un limite locale uniforme $L^s$, allora la soluzione esiste globalmente nel tempo ($T = \infty$). Inoltre, la soluzione decade polinomialmente:
  $$\|u(t)\|_{L^\infty} \leq C \delta (t^{-\frac{1}{p-1}} + 1)$$
  per $t > 0$.
• Stime del tempo iniziale migliorate: Se i dati iniziali soddisfano anche un limite in un diverso spazio di Morrey $M^{q', \lambda'}$ con $\lambda'/(2q') < 1/(p-1)$, il documento stabilisce un tasso di decadimento migliorato vicino a $t=0$:
  $$\|u(t)\|_{L^\infty} \leq C t^{-\alpha} \wedge (C' \delta t^{-\frac{1}{p-1}} + C' \delta)$$
  dove $\alpha = \lambda'/(2q')$.
• Applicazione al Flusso delle Mappe Armoniche (Teorema 1.3): L'autore applica queste stime al flusso delle mappe armoniche tra varietà riemanniane chiuse. Dimostrando che la densità di energia $|\nabla w|$ di una soluzione con dati iniziali in $W^{1,n}$ soddisfa le condizioni della Definizione 1.1, il documento prova un risultato di regolarità per piccoli dati. Nello specifico, se la densità di energia iniziale è piccola nella norma $M^{2,2}$, il flusso esiste per tutto il tempo e converge esponenzialmente a una mappa costante.
• Applicazione Topologica (Corollario 1.4): Utilizzando il risultato di regolarità, il documento fornisce una caratterizzazione delle classi di omotopia triviali. Una classe di omotopia $\gamma$ di mappe tra varietà chiuse è triviale se e solo se l'infimo della norma $M^{2,2}$ della derivata sulla classe è zero.

Significatività e Rivendicazioni
Il documento sostiene di estendere la teoria delle equazioni del calore semilineari dai domini euclidei alle varietà riemanniane con geometria limitata, affrontando specificamente il caso critico dei dati iniziali di Morrey. La significatività risiede nel:

1. Applicazioni ai Flussi Geometrici: Fornire un quadro robusto per analizzare i flussi geometrici (come il flusso delle mappe armoniche) dove la densità di energia soddisfa disuguaglianze differenziali piuttosto che equazioni esatte. Ciò è notato come essenziale per il flusso di Yang-Mills su varietà con oloconomia speciale, dove le formule di monotonicità per i singoli componenti della curvatura potrebbero non valere.
2. Generalizzazione di Risultati Noti: Adattare il lavoro di Souplet e Blatt-Struwe all'impostazione delle varietà, dimostrando che i risultati di esistenza globale per piccoli dati e di decadimento polinomiale valgono sotto le ipotesi più deboli sui dati iniziali (piccolezza nelle norme di Morrey al limite).
3. Intuizione Topologica: Offrire un nuovo criterio per la trivialità delle classi di omotopia basato sull'infimo delle norme di Morrey, collegando la piccolezza analitica alla trivialità topologica.

L'autore afferma esplicitamente che questi risultati sono derivati dal quadro delle disuguaglianze differenziali e non si affidano a formule di monotonicità che potrebbero fallire in specifici contesti geometrici, colmando così una lacuna nell'analisi dei flussi geometrici di dimensione superiore.