A delayed interior area-to-height estimate for the Curve Shortening Flow

1. Il Problema

Il lavoro si concentra sul Flusso di Accorciamento delle Curve (CSF - Curve Shortening Flow) nel piano euclideo, specificamente nell'ambito delle curve che possono essere rappresentate come grafici di funzioni (Flusso di Accorciamento delle Curve Grafico o GCSF).

Il problema centrale affrontato è la regolarità e l'esistenza di soluzioni per il CSF partendo da dati iniziali con regolarità molto bassa, in particolare da misure di Radon reali non atomiche (che includono funzioni integrabili $L^1$ e distribuzioni più generali, ma senza masse puntuali).

La letteratura precedente (es. Ecker-Huisken, Angenent, Chou-Zhu) ha stabilito risultati di esistenza e regolarità istantanea (stime che valgono per $t>0$) partendo da dati iniziali in $L^p$ ($p>1$) o funzioni lipschitziane. Tuttavia, per dati iniziali in $L^1$ o misure, le stime di regolarità "istantanee" falliscono: la soluzione può non essere limitata immediatamente. Il lavoro si inserisce nel quadro teorico proposto da Topping e dall'autore in [ST24a], che introduce il concetto di regolarità parabolica ritardata: la regolarità della soluzione non è controllabile istantaneamente, ma solo dopo un "tempo magico" ($t^\star$) determinato dall'area sottesa dal grafico iniziale.

2. Metodologia

L'autore sviluppa una metodologia basata su tre pilastri principali:

1. Quantità di Harnack Locale:
   L'innovazione centrale è la costruzione di una quantità di Harnack locale ($H$) adattata al contesto dei grafici locali. A differenza della quantità globale usata in [ST24a], questa è definita su un dominio spaziale limitato $J_1 = (-1, 1)$.
   La quantità è definita come:
   $$H(y, t) = A(y, t) - 2t \phi(y, t)$$
   dove $A(y, t)$ è l'area parziale sotto il grafico fino a $y$ e $\phi(y, t)$ è l'angolo della tangente rispetto alla verticale.
   L'autore dimostra che questa quantità soddisfa una disuguaglianza differenziale parabolica che permette di applicare il Principio del Massimo.

2. Stima Ritardata Area-Altezza (Delayed Area-to-Height):
   Utilizzando la disuguaglianza di Harnack, l'autore dimostra che la regolarità (in particolare il limite superiore dell'altezza $|u|$) non può essere controllata prima di un tempo critico $t^\star = A/\pi$, dove $A$ è l'area totale del grafico iniziale.
   Dopo questo tempo ritardato ($t > t^\star$), è possibile ottenere una stima dell'altezza in termini dell'area e del tempo trascorso. Questo risolve il problema della mancanza di regolarità istantanea per dati $L^1$.

3. Procedura di Approssimazione e Confronto:
   Per trattare dati iniziali non lisci (misure), l'autore utilizza una procedura di approssimazione:

   • Si approssima la misura iniziale con una successione di funzioni lisce e compatte.
   • Si costruiscono flussi di Ecker-Huisken per queste approssimazioni.
   • Si utilizzano il Principio di Evitamento (Avoidance Principle) e il Principio di Intersezione di Angenent per confrontare le soluzioni approssimate con soluzioni di controllo (come il "Grim Reaper" o soluzioni ovali di Angenent) per ottenere stime uniformi indipendenti dall'approssimazione.
   • Si estrae un limite locale liscio che definisce la soluzione debole.

3. Risultati Chiave

• Teorema 1.8 (Stima Ritardata $L^1_{loc}$-to-$L^\infty_{loc}$):
  Per un flusso grafico $u$ che parte da $u_0 \in L^1(J_1)$, definendo il "tempo magico" $t^\star = \|u_0\|_{L^1}/\pi$, esiste una costante $C$ tale che per ogni $t \ge (1+\delta)t^\star$:
  $$|u(0, t)| \le C + \frac{1}{2}\|u_0\|_{L^1} + \frac{\pi t}{2}$$
  Questo risultato mostra che l'altezza della curva rimane controllata solo dopo che è trascorso un tempo proporzionale all'area iniziale. Il tempo $t^\star$ è dimostrato essere affilato (sharp) tramite un controesempio costruttivo.

• Teorema 1.12 (Stima Istantanea $L^p_{loc}$-to-$L^\infty_{loc}$ per $p>1$):
  Combinando la stima ritardata con tecniche esistenti, l'autore recupera e generalizza le stime istantanee per dati iniziali in $L^p$ con $p>1$, fornendo una dipendenza esplicita delle costanti.

• Teorema 1.14 (Esistenza da Misure di Radon Non Atomiche):
  Il risultato principale di esistenza: dato un misura di Radon reale non atomica $\nu \in M^*(\mathbb{R})$, esiste un flusso grafico $u \in C^\infty_{loc}(\mathbb{R} \times (0, \infty))$ tale che:

  1. $u(t)$ converge debolmente a $\nu$ nello spazio delle misure come $t \searrow 0$.
  2. $u(t)$ converge fortemente a $u_0$ (la parte assolutamente continua di $\nu$) in $L^p_{loc}$ fuori dall'insieme singolare.

• Corrispondenza Parziale (Sezione 6):
  L'autore stabilisce una corrispondenza tra flussi grafici "dominati" (controllati in modulo da un flusso grafico positivo) e le misure di Radon non atomiche, estendendo il lavoro di Chou & Kwong.

4. Significato e Contributi

• Generalizzazione dell'Esistenza: Il lavoro estende la teoria di esistenza del CSF grafico a una classe di dati iniziali molto più ampia, includendo misure che non sono funzioni (es. densità $L^1$ o misure singolari non atomiche), colmando un vuoto nella letteratura esistente che si fermava a $L^p$ ($p>1$) o funzioni lipschitziane.
• Concetto di "Tempo Magico" Ritardato: Conferma e generalizza l'ipotesi che per dati $L^1$ la regolarità non è istantanea ma ritardata. Questo cambia la prospettiva sulla natura parabolica del flusso per dati deboli: la "diffusione" dell'area è necessaria prima che la soluzione diventi limitata.
• Strumenti Analitici: L'introduzione di una quantità di Harnack locale specifica per il contesto grafico fornisce un nuovo strumento potente per l'analisi di regolarità interna, che potrebbe essere applicabile ad altri flussi geometrici o equazioni paraboliche non lineari.
• Connessione con il Flusso di Ricci: Il lavoro evidenzia una profonda analogia strutturale tra il CSF grafico e il Flusso di Ricci in 2D (studiato da Topping & Yin), suggerendo una universalità di certi fenomeni di regolarità ritardata in geometria parabolica.

In sintesi, il paper risolve il problema dell'esistenza e della regolarità per il CSF grafico partendo da dati iniziali molto deboli (misure), introducendo una nuova stima di regolarità ritardata basata sull'area, che è fondamentale per comprendere il comportamento asintotico e la struttura delle soluzioni in presenza di singolarità iniziali.