Parabolic rectifiability of the Brakke flow

Résumé Technique : Rectifiabilité Parabolique du Flux de Brakke

Énoncé du Problème
L'article traite de la régularité et des propriétés structurelles du support de la mesure espace-temps canonique associée à un flux de Brakke. Un flux de Brakke de dimension $k$ est défini comme une famille de mesures de Radon $\{\mu(t)\}$ évoluant comme une solution faible, au sens de la mesure, du flot de courbure moyenne. Bien que le comportement des tranches temporelles individuelles soit bien étudié, la structure globale du support espace-temps, noté $\text{spt} \|V\|$, demeure un objet d'investigation central. Plus précisément, les auteurs cherchent à établir si ce support possède une structure rectifiable compatible avec l'échelle parabolique du flux et à déterminer l'unicité et la nature des flux tangents en presque tout point.

Méthodologie et Approche
Les auteurs adoptent un cadre développé dans leur travail précédent [9], traitant le flux de Brakke non pas simplement comme une famille paramétrée par le temps de mesures $\mu(t)$, mais comme une mesure de Grassmann espace-temps $V$ sur $J \times G_k(U)$. Ce changement de perspective permet aux auteurs de travailler exclusivement avec la mesure espace-temps $\|V\|$ et sa structure de variole associée, plutôt que de s'appuyer sur la famille à un paramètre $\mu(t)$.

Composantes méthodologiques clés :

1. Théorie de la Mesure Espace-Temps : Les auteurs utilisent les outils classiques de la théorie de la mesure adaptés au cadre espace-temps, incluant la continuité approchée et la théorie de la différenciation pour les mesures de Radon sur $J \times U$.
2. Métriques Paraboliques : L'analyse est conduite en utilisant des métriques paraboliques ($d$ et $\rho$) et leurs mesures de Hausdorff associées ($H^{k+2}_d$ et $H^{k+2}_\rho$), qui respectent l'échelle intrinsèque du flot de courbure moyenne ($t \sim x^2$).
3. Analyse du Flux Tangent : La stratégie de preuve implique l'analyse des flux tangents (blow-ups) aux points $(t, x)$. En établissant que le support est un ensemble paraboliquement rectifiable, les auteurs contraignent les formes possibles de ces flux tangents.
4. Équivalence de Convergence : L'article établit une équivalence entre la notion standard de convergence de Brakke (définie via la convergence des tranches temporelles sur un ensemble dénombrable de temps) et la convergence des mesures de Grassmann espace-temps sous-jacentes.

Contributions Clés et Résultats

1. Rectifiabilité Parabolique du Support (Théorème A)
Le résultat principal établit que le support de la mesure espace-temps canonique, $\text{spt} \|V\|$, est un ensemble parabolique $(k+2)$-rectifiable (vertical).

• Cela signifie que le support peut être recouvert, à une mesure nulle près, par un nombre dénombrable de graphes lipschitiens paraboliques.
• Ce résultat repose sur l'inégalité de la moyenne pour les flux de Brakke (lemme de nettoyage de Brakke) et sur les propriétés de la continuité approchée de l'application du plan tangent $T(s, y) = \text{Tan}_k(\langle V, s \rangle, y)$.
• La preuve démontre qu'aux points où le plan tangent est approximativement continu, le support est localement contenu dans un cône parabolique de petit angle arbitraire, impliquant la rectifiabilité via des arguments classiques.

2. Unicité des Flux Tangents et Égalité des Densités (Théorème B)
En conséquence du résultat de rectifiabilité, les auteurs prouvent que pour $\|V\|$-presque tout point $(t, x)$ :

• Il existe un flux tangent statique, planaire et unique. Ce flux tangent est donné par $\{\Theta^k(\mu(t), x) \cdot v(\text{Tan}_k(\mu(t), x)) : s \in \mathbb{R}\}$.
• La multiplicité de ce flux tangent est constante pour les temps négatifs et égale à la densité gaussienne $\Theta(V, t, x)$.
• Crucialement, la rectifiabilité du support exclut la possibilité que la densité chute pour les temps non négatifs, garantissant que le flux tangent reste statique et planaire.
• Égalité des Densités : L'article prouve que diverses notions de densité coïncident en ces points :
  $$\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)$$
  où $\Theta(V, t, x)$ est la densité gaussienne, et les autres sont les densités par rapport aux mesures de Hausdorff paraboliques.

3. Convergence des Flux de Brakke (Théorème C)
Les auteurs prouvent que trois notions distinctes de convergence pour une séquence de flux de Brakke espace-temps-Grassmann $\{V_i\}$ vers un $V$ sont équivalentes :

• C.1 : Convergence des mesures de Grassmann espace-temps ($V = \lim V_i$).
• C.2 : Convergence des mesures de poids espace-temps canoniques ($\|V\| = \lim \|V_i\|$).
• C.3 : Convergence des mesures de tranches temporelles $\mu_i(t)$ pour tout $t$ en dehors d'un ensemble dénombrable $D$.
  Ce résultat fournit une définition alternative, de nature de la mesure, de la convergence des variolets qui est équivalente à la définition standard trouvée dans [5, 7.1].

Signification et Revendications
L'article affirme que les résultats du Théorème B étaient auparavant inconnus. Bien que les résultats de stratification (par exemple, [17]) aient établi l'existence d'un flux tangent statique et planaire pour $H^{k+2}_\rho$-presque tout point, ils n'affirmaient pas l'unicité de ce flux. L'absence d'unicité dans les résultats antérieurs empêchait l'établissement de l'égalité entre la densité gaussienne et les densités de Hausdorff paraboliques.

En prouvant que $\text{spt} \|V\|$ est un ensemble paraboliquement rectifiable, les auteurs démontrent que la « fonction de multiplicité dépendant du temps » des flux tangents ne peut pas chuter pour les temps non négatifs. Cette rigidité force le flux tangent à être unique et statique, unifiant ainsi les divers concepts de densité.

De plus, l'article souligne que l'approche via les mesures de Grassmann espace-temps simplifie la théorie de la convergence des flux de Brakke, permettant l'application de la théorie classique de la différenciation dans le cadre espace-temps. La mesure $\|V\|$ est montrée comme étant absolument continue par rapport à la mesure de Hausdorff parabolique sur son support, permettant de l'écrire explicitement comme une restriction de la mesure de Hausdorff parabolique pondérée par la fonction de densité.