Parabolic rectifiability of the Brakke flow

Technische Samenvatting: Parabolische Rectifieerbaarheid van de Brakke-flow

Probleemstelling
Het artikel behandelt de regulariteit en de structurele eigenschappen van de ondersteuning van de canonieke ruimte-tijd-maat geassocieerd met een Brakke-flow. Een $k$-dimensionale Brakke-flow wordt gedefinieerd als een familie van Radon-maten $\{\mu(t)\}$ die evolueren als een zwakke, maat-theoretische oplossing voor de gemiddelde kromming-flow (mean curvature flow). Hoewel het gedrag van individuele tijds-sneden goed bestudeerd is, blijft de globale structuur van de ruimte-tijd-ondersteuning, aangeduid als $\text{spt} \|V\|$, een centraal object van onderzoek. Specifiek zoeken de auteurs naar de vraag of deze ondersteuning een rectifieerbare structuur bezit die compatibel is met de parabolische schaling van de flow, en om de uniciteit en de aard van de tangentiële flows te bepalen op bijna elk punt.

Methodologie en Benadering
De auteurs hanteren een raamwerk ontwikkeld in hun eerdere werk [9], waarbij zij de Brakke-flow niet louter behandelen als een door de tijd geparametriseerde familie van maten, maar als een ruimte-tijd-Grassmann-maat $V$ over $J \times G_k(U)$. Deze verschuiving in perspectief stelt de auteurs in staat om uitsluitend te werken met de ruimte-tijd-maat $\|V\|$ en de daarmee geassocieerde varifold-structuur, in plaats van te vertrouwen op de 1-parametrische familie $\mu(t)$.

Belangrijke methodologische componenten zijn:

1. Ruimte-tijd Maattheorie: De auteurs maken gebruik van klassieke maattheoretische instrumenten aangepast aan de ruimte-tijd setting, inclusief benaderende continuïteit en differentiatie-theorie voor Radon-maten op $J \times U$.
2. Parabolische Metrieken: De analyse wordt uitgevoerd met behulp van parabolische metrieken ($d$ en $\rho$) en de bijbehorende Hausdorff-maten ($H^{k+2}_d$ en $H^{k+2}_\rho$), die de intrinsieke schaling van de gemiddelde kromming-flow respecteren ($t \sim x^2$).
3. Tangentiële Flow Analyse: De bewijstrategie behelst het analyseren van tangentiële flows (blow-ups) in punten $(t, x)$. Door vast te stellen dat de ondersteuning een parabolisch rectifieerbare verzameling is, beperken de auteurs de mogelijke vormen van deze tangentiële flows.
4. Convergentie-equivalentie: Het artikel stelt een equivalentie vast tussen de standaardnotie van Brakke-flow convergentie (gedefinieerd via convergentie van tijds-sneden op een aftelbare verzameling tijden) en de convergentie van de onderliggende ruimte-tijd-Grassmann-maten.

Kernbijdragen en Resultaten

1. Parabolische Rectifieerbaarheid van de Ondersteuning (Theorema A)
Het primaire resultaat stelt vast dat de ondersteuning van de canonieke ruimte-tijd-maat, $\text{spt} \|V\|$, een (verticale) parabolische $(k+2)$-rectifieerbare verzameling is.

• Dit betekent dat de ondersteuning, tot op een verzameling van maat nul, bedekt kan worden door aftelbare hoeveelheden parabolische Lipschitz-grafieken.
• Dit resultaat rust op de gemiddelde waarde-ongelijkheid voor Brakke-flows (Brakke's clearing out lemma) en de eigenschappen van de benaderende continuïteit van de tangentiële vlak-afbeelding $T(s, y) = \text{Tan}_k(\langle V, s \rangle, y)$.
• Het bewijs toont aan dat op punten waar het tangentiële vlak benaderend continu is, de ondersteuning lokaal bevat is binnen een parabolische kegel van een willekeurig kleine hoek, wat rectifieerbaarheid impliceert via klassieke argumenten.

2. Uniciteit van Tangentiële Flows en Dichtheidsgelijkheid (Theorema B)
Als gevolg van het rectifieerbaarheidsresultaat bewijzen de auteurs dat voor $\|V\|$-bijna elk punt $(t, x)$:

• Er bestaat een unieke, statische, planaire tangentiële flow. Deze tangentiële flow wordt gegeven door $\{\Theta^k(\mu(t), x) \cdot v(\text{Tan}_k(\mu(t), x)) : s \in \mathbb{R}\}$.
• De multipliciteit van deze tangentiële flow is constant voor negatieve tijden en is gelijk aan de Gaussische dichtheid $\Theta(V, t, x)$.
• Cruciaal is dat de rectifieerbaarheid van de ondersteuning de mogelijkheid uitsluit dat de dichtheid afneemt voor niet-negatieve tijden, waardoor de tangentiële flow statisch en planair blijft.
• Gelijkheid van Dichtheden: Het artikel bewijst dat verschillende begrippen van dichtheid samenvallen op deze punten:
  $$\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)$$
  waarbij $\Theta(V, t, x)$ de Gaussische dichtheid is, en de overige de dichtheden zijn met betrekking tot de parabolische Hausdorff-maten.

3. Convergentie van Brakke-flows (Theorema C)
De auteurs bewijzen dat drie verschillende notions van convergentie voor een sequentie van ruimte-tijd-Grassmann Brakke-flows $\{V_i\}$ naar een limiet $V$ equivalent zijn:

• C.1: Convergentie van de ruimte-tijd-Grassmann-maten ($V = \lim V_i$).
• C.2: Convergentie van de canonieke ruimte-tijd gewichts-maten ($\|V\| = \lim \|V_i\|$).
• C.3: Convergentie van de tijds-snede maten $\mu_i(t)$ voor alle $t$ buiten een aftelbare verzameling $D$.
  Dit resultaat biedt een alternatieve, maat-theoretische definitie van varifold-convergentie die equivalent is aan de standaarddefinitie gevonden in [5, 7.1].

Betekenis en Claims
Het artikel claimt dat de resultaten in Theorema B voorheen onbekend waren. Hoewel stratificatie-resultaten (bijv. [17]) de existentie van een statische, planaire tangentiële flow hadden vastgesteld voor $H^{k+2}_\rho$-bijna alle punten, stelden zij niet de uniciteit van deze flow vast. Het gebrek aan uniciteit in eerdere resultaten verhinderde het vaststellen van de gelijkheid tussen de Gaussische dichtheid en de parabolische Hausdorff-dichtheden.

Door te bewijzen dat $\text{spt} \|V\|$ een parabolische rectifieerbare verzameling is, tonen de auteurs aan dat de "tijd-afhankelijke multipliciteitsfunctie" van tangentiële flows niet kan dalen voor niet-negatieve tijden. Deze rigiditeit dwingt de tangentiële flow uniek en statisch te zijn, waardoor de verschillende dichtheidsconcepten worden verenigd.

Verder benadrukt het artikel dat de benadering via ruimte-tijd-Grassmann-maten de convergentietheorie van Brakke-flows vereenvoudigt, waardoor de toepassing van klassieke differentiatie-theorie in de ruimte-tijd setting mogelijk wordt. De maat $\|V\|$ wordt getoond absoluut continu te zijn ten opzichte van de parabolische Hausdorff-maat op zijn ondersteuning, waardoor deze expliciet geschreven kan worden als een restrictie van de parabolische Hausdorff-maat gewogen door de dichtheidsfunctie.