Parabolic rectifiability of the Brakke flow

Sintesi Tecnica: Rettificabilità Parabolica del Flusso di Brakke

Enunciato del Problema
Il saggio affronta la regolarità e le proprietà strutturali del supporto della misura spazio-temporale canonica associata a un flusso di Brakke. Un flusso di Brakke $k$-dimensionale è definito come una famiglia di misure di Radon $\{\mu(t)\}$ che evolve come una soluzione debole, in senso di misura, del flusso di curvatura media. Mentre il comportamento delle singole fette temporali è ben studiato, la struttura globale del supporto spazio-temporale, indicato con $\text{spt} \|V\|$, rimane un oggetto di indagine centrale. Nello specifico, gli autori cercano di stabilire se tale supporto possieda una struttura rettificabile compatibile con la scalatura parabolica del flusso e di determinare l'unicità e la natura dei flussi tangenti in quasi ogni punto.

Metodologia e Approccio
Gli autori adottano un quadro sviluppato nel loro lavoro precedente [9], trattando il flusso di Brakke non semplicemente come una famiglia di misure parametrizzata nel tempo, ma come una misura di Grassmann spazio-temporale $V$ su $J \times G_k(U)$. Questo spostamento di prospettiva permette agli autori di lavorare esclusivamente con la misura spazio-temporale $\|V\|$ e la sua associata struttura di varifold, piuttosto che fare affidamento sulla famiglia a 1 parametro $\mu(t)$.

Componenti metodologiche chiave includono:

1. Teoria delle Misure Spazio-Temporali: Gli autori utilizzano strumenti classici della teoria della misura adattati all'ambito spazio-temporale, inclusi la continuità approssimata e la teoria della differenziazione per misure di Radon su $J \times U$.
2. Metriche Paraboliche: L'analisi è condotta utilizzando metriche paraboliche ($d$ e $\rho$) e le loro associate misure di Hausdorff ($H^{k+2}_d$ e $H^{k+2}_\rho$), che rispettano la scalatura intrinseca del flusso di curvatura media ($t \sim x^2$).
3. Analisi del Flusso Tangente: La strategia di prova prevede l'analisi dei flussi tangenti (blow-up) nei punti $(t, x)$. Stabilendo che il supporto sia un insieme parabolicamente rettificabile, gli autori vincolano le possibili forme di questi flussi tangenti.
4. Equivalenza della Convergenza: Il saggio stabilisce un'equivalenza tra la nozione standard di convergenza di un flusso di Brakke (definita tramite la convergenza delle fette temporali su un insieme numerabile di tempi) e la convergenza delle sottostanti misure di Grassmann spazio-temporali.

Contributi Chiave e Risultati

1. Rettificabilità Parabolica del Supporto (Teorema A)
Il risultato primario stabilisce che il supporto della misura spazio-temporale canonica, $\text{spt} \|V\|$, è un insieme parabolicamente $(k+2)$-rettificabile (verticale).

• Ciò significa che il supporto può essere coperto, salvo un insieme di misura zero, da un numero numerabile di grafici Lipschitz parabolici.
• Questo risultato si basa sulla disuguaglianza del valore medio per i flussi di Brakke (lemma di pulizia di Brakke) e sulle proprietà della continuità approssimata della mappa del piano tangente $T(s, y) = \text{Tan}_k(\langle V, s \rangle, y)$.
• La prova dimostra che nei punti in cui il piano tangente è approssimativamente continuo, il supporto è localmente contenuto in un cono parabolico di angolo arbitrariamente piccolo, implicando la rettificabilità tramite argomenti classici.

2. Unicità dei Flussi Tangenti e Uguaglianza delle Densità (Teorema B)
Come conseguenza del risultato di rettificabilità, gli autori dimostrano che per $\|V\|$-quasi ogni punto $(t, x)$:

• Esiste un unico, statico, tangente pianoide. Questo flusso tangente è dato da $\{\Theta^k(\mu(t), x) \cdot v(\text{Tan}_k(\mu(t), x)) : s \in \mathbb{R}\}$.
• La molteplicità di questo flusso tangente è costante per tempi negativi ed è uguale alla densità gaussiana $\Theta(V, t, x)$.
• Crucialmente, la rettificabilità del supporto esclude la possibilità che la densità diminuisca per tempi non negativi, garantendo che il flusso tangente rimanga statico e pianoide.
• Uguaglianza delle Densità: Il saggio dimostra che varie nozioni di densità coincidono in questi punti:
  $$\Theta(V, t, x) = \Theta^k(\mu(t), x) = (2\alpha(k))^{-1}\Theta^{k+2}_\rho(\|V\|, t, x) = \beta(k)^{-1}\Theta^{k+2}_d(\|V\|, t, x)$$
  dove $\Theta(V, t, x)$ è la densità gaussiana, e le altre sono densità rispetto alle misure di Hausdorff paraboliche.

3. Convergenza dei Flussi di Brakke (Teorema C)
Gli autori dimostrano che tre distinte nozioni di convergenza per una sequenza di flussi di Brakke di Grassmann spazio-temporale $\{V_i\}$ verso un limite $V$ sono equivalenti:

• C.1: Convergenza delle misure di Grassmann spazio-temporale ($V = \lim V_i$).
• C.2: Convergenza delle misure di peso spazio-temporali canoniche ($\|V\| = \lim \|V_i\|$).
• C.3: Convergenza delle misure delle fette temporali $\mu_i(t)$ per tutti i $t$ al di fuori di un insieme numerabile $D$.
  Questo risultato fornisce una definizione alternativa, di tipo teorico-misurativo, della convergenza di varifold che è equivalente alla definizione standard presente in [5, 7.1].

Significatività e Rivendicazioni
Il saggio afferma che i risultati nel Teorema B erano precedentemente sconosciuti. Sebbene i risultati di stratificazione (ad es. [17]) avessero stabilito l'esistenza di un flusso tangente statico e pianoide per $H^{k+2}_\rho$-quasi tutti i punti, essi non rivendicavano l'unicità di tale flusso. La mancanza di unicità nei risultati precedenti impediva l'instaurazione dell'uguaglianza tra la densità gaussiana e le densità di Hausdorff paraboliche.

Dimostrando che $\text{spt} \|V\|$ è un insieme parabolicamente rettificabile, gli autori dimostrano che la "funzione di molteplicità dipendente dal tempo" dei flussi tangenti non può diminuire per tempi non negativi. Questa rigidità forza il flusso tangente ad essere unico e statico, unificando così le varie nozioni di densità.

Inoltre, il saggio sottolinea come l'approccio tramite le misure di Grassmann spazio-temporali semplifichi la teoria della convergenza dei flussi di Brakke, permettendo l'applicazione della classica teoria della differenziazione nel contesto spazio-temporale. La misura $\|V\|$ risulta essere assolutamente continua rispetto alla misura di Hausdorff parabolica sul suo supporto, permettendo di scriverla esplicitamente come una restrizione della misura di Hausdorff parabolica pesata dalla funzione di densità.