The space-time-Grassmann measure of the Brakke flow

Sintesi Tecnica: La Misura Spazio-Tempo-Grassmann del Flusso di Brakke

Enunciato del Problema
Il documento affronta la caratterizzazione strutturale del flusso di Brakke $k$-dimensionale, una soluzione debole e measure-teoretica del flusso di curvatura media definita su un sottoinsieme aperto $U \subset \mathbb{R}^n$ su un intervallo temporale $J$. Mentre la definizione classica (Brakke [4]) descrive il flusso come una famiglia di misure di Radon $\{\mu(t)\}_{t \in J}$ che soddisfa una specifica disuguaglianza differenziale, gli autori cercano di riformulare questo concetto utilizzando una misura canonica spazio-temporale. La sfida principale risiede nel definire rigorosamente una misura sullo spazio prodotto $J \times G_k(U)$ (tempo $\times$ Grassmanniana) che catturi l'evoluzione del flusso, gestisca le discontinuità di salto inerenti al flusso e fornisca un quadro unificato equivalente alle definizioni classiche esistenti.

Metodologia
Gli autori impiegano tecniche della geometria integrale, specificamente la teoria delle varifold e delle derivate distribuzionali. Il loro approccio procede attraverso i seguenti passaggi logici:

1. Misurabilità della Mappa della Varifold: Gli autori stabiliscono innanzitutto che per un flusso di Brakke $\{\mu(t)\}$, la mappa associata $t \mapsto V(t)$, dove $V(t)$ è l'unica varifold integrale tale che $\|V(t)\| = \mu(t)$ (che esiste per $L^1$-quasi ogni $t$), è $L^1$-misurabile. Ciò si basa sulla semicontinuità superiore del funzionale di variazione di Brakke $B(\mu, \phi)$.
2. Costruzione della Misura Spazio-Temporale: Utilizzando la misurabilità di $t \mapsto V(t)$, gli autori definiscono una misura di Radon canonica $\lambda$ su $J \times G_k(U)$ tramite integrazione:
   $$\lambda(f) = \int_J \int_{G_k(U)} f(t, x, S) \, dV(t)(x, S) \, dL^1_t$$
   per funzioni di test $f$. La misura di peso spazio-temporale associata è indicata con $\|\lambda\|$.
3. Caratterizzazione tramite Disuguaglianza Distribuzionale: Gli autori definiscono un "flusso di Brakke spazio-tempo-Grassmann" come una misura di Radon $V$ su $J \times G_k(U)$ che soddisfa una disuguaglianza di Brakke distribuzionale coinvolgendo la derivata temporale e il funzionale $B$.
4. Analisi delle Discontinuità: Riconoscendo che i flussi di Brakke si comportano come funzioni unidimensionali di variazione limitata (BV), gli autori analizzano i limiti sinistro e destro del flusso. Definiscono le misure $\langle V^-, t \rangle$ e $\langle V^+, t \rangle$ che rappresentano i rappresentanti sinistro-continui e destro-continui del flusso al tempo $t$, derivati dalla misura spazio-temporale.
5. Misurabilità delle Grandezze Geometriche: Il documento utilizza argomenti di regolarità di Borel (citando Federer [6]) per dimostrare che la mappa tangente, il vettore curvatura media e la densità sono misurabili rispetto alla misura di peso spazio-temporale $\|\lambda\|$.

Contributi Chiave e Risultati

• Teorema A (Esistenza della Misura Canonica): Dimostra che per ogni flusso di Brakke esiste una misura di Radon unica $\lambda$ su $J \times G_k(U)$ tale che il flusso possa essere recuperato integrando $\lambda$ rispetto al tempo. Questa misura è definita dall'integrale delle funzioni di test contro la famiglia di varifold $V(t)$.
• Teorema B (Caratterizzazione ed Equivalenza): Stabilisce che una misura di Radon $V$ su $J \times G_k(U)$ che soddisfa la disuguaglianza di Brakke distribuzionale corrisponde a una classe di flussi di Brakke classici equivalenti. Nello specifico:
  • Le misure $\|\langle V^-, \cdot \rangle\|$ e $\|\langle V^+, \cdot \rangle\|$ sono esse stesse flussi di Brakke.
  • Qualsiasi flusso di Brakke classico $\nu(t)$ associato a $V$ deve soddisfare $\|\langle V^-, t \rangle\| \geq \nu(t) \geq \|\langle V^+, t \rangle\|$ per ogni $t$.
  • Ciò fornisce una nuova definizione di flusso di Brakke come misura spazio-temporale, che si mostra equivalente alla definizione classica (Definizione 3.4) e alla definizione alternativa trovata in Lahiri [9].
• Teorema C (Misurabilità dei Dati Geometrici): Dimostra che la mappa del piano tangente $Tan(V(t), x)$, il vettore curvatura media generalizzato $h(V(t), x)$ e la densità $\Theta_k(\|V(t)\|, x)$ sono tutti misurabili rispetto alla misura di peso spazio-temporale $\|\lambda\|$. Ciò viene ottenuto mostrando che tali mappe sono funzioni di Borel sullo spazio delle varifold e componendole con la mappa misurabile $(t, x) \mapsto (V(t), x)$.
• Risoluzione dei Problemi di Approssimazione: Nella Sezione 3.6, gli autori forniscono una prova alternativa per la semicontinuità superiore della variazione di Brakke $B(\|V_i\|, \phi)$. Essi affrontano esplicitamente una lacuna nella letteratura precedente (Ilmanen [8]) in cui si assumeva l'esistenza di un'approssimazione interiore della funzione di test $\phi$ per funzioni $C^2$. Gli autori dimostrano, tramite l'Esempio 3.8, che tali approssimazioni non esistono generalmente per funzioni $C^2$ e forniscono una prova che evita tale assunzione.

Significato e Rivendicazioni
Il documento rivendica di fornire una "nuova definizione" del flusso di Brakke che unifica l'evoluzione classica basata sulle misure con un quadro di misura spazio-temporale statica. La significatività di questa formulazione è triplice:

1. Equivalenza: Stabilisce rigorosamente l'equivalenza tra la definizione classica (una famiglia di misure che evolve nel tempo) e una definizione basata su una singola misura spazio-temporale che soddisfa una disuguaglianza distribuzionale.
2. Gestione delle Discontinuità: Il quadro accoglie naturalmente le discontinuità di salto inerenti ai flussi di Brakke, distinguendo tra rappresentanti sinistro-continui e destro-continui, caratterizzando così il comportamento del flusso ai tempi singolari.
3. Base Fondamentale: Gli autori affermano che la formulazione di queste misure e le proprietà dimostrate (specificamente la misurabilità delle grandezze geometriche) pongono le basi per adattare i risultati riguardanti le varifold integrali con variazione prima localmente limitata al contesto parabolico del flusso di curvatura media.

Il documento non propone nuove applicazioni sperimentali o congetture future oltre alle immediate implicazioni matematiche dell'equivalenza e dei risultati di misurabilità. Si pone come un raffinamento tecnico e un'unificazione di definizioni esistenti, citando il lavoro di Hensel e Laux [7] e Buet et al. [5] come esplorazioni correlate delle misure spazio-tempo-Grassmann nelle concetti di soluzioni deboli.