Existence of curvature flow with forcing in a critical Sobolev space

Technische Samenvatting: Bestaan van Curvatuurflow met Forcing in een Kritische Sobolev-ruimte

Probleemstelling
Het artikel behandelt de globale existentie in de tijd van een curve-flow $\Gamma(t) \subset \mathbb{R}^2$ die evolueert volgens de bewegingswet:
$$v(x, t) = h(x, t) + u(x, t)^\perp$$
waarbij $v$ de normale snelheid is, $h$ de gemiddelde curvatuurvector is, en $u^\perp$ de projectie is van een gegeven vectorveld $u$ op de normale ruimte van de curve. De initiële datum $\Gamma_0$ is een gesloten 1-rectifieerbare verzameling met eindige 1-dimensionale Hausdorff-maat.

De centrale uitdaging ligt in de regulariteit van de forcing-term $u$. De auteurs beschouwen het geval waarbij $u$ behoort tot een "dimensionaal kritische" Sobolev-ruimte:
$$u \in L^\infty_{\text{loc}}([0, \infty); L^2(\mathbb{R}^2)) \cap L^2_{\text{loc}}([0, \infty); W^{1,2}(\mathbb{R}^2)).$$
Dit komt overeen met het schaling-invariante geval waarbij het effect van de forcing-term analytisch vergelijkbaar is met de curvatuurterm onder parabolische schaling. Dit staat in contrast met "subkritische" gevallen (waarbij $u$ een hogere regulariteit of andere integrabiliteitsexponenten heeft), waar de forcing een verwaarloosbare perturbatie is op kleine schalen, en "superkritische" gevallen (waar de forcing te turbulent is voor standaard existentietheorieën kan worden toegepast). Het artikel behandelt specifiek het geval $n=1$ (curves in $\mathbb{R}^2$), gemotiveerd door gekoppelde twee-fase stromingsproblemen (Navier-Stokes/Allen-Cahn limieten) waarbij het grensvlak volgens deze wet beweegt.

Methodologie
Het bewijs maakt gebruik van een variationele benadering via Brakke's formulering van de gemiddelde curvatuurflow middels integrale varifolds. De methodologie verloopt via de volgende stappen:

1. Approximatie: Het ruwe vectorveld $u$ wordt benaderd door een sequentie van gladde, compact ondersteunde vectorvelden $u^{(m)}$ via mollificatie.
2. Existentie voor Gladde Forcing: Gebruikmakend van aangepaste resultaten uit eerdere werken (specifiek [9, 10, 19]), vestigen de auteurs de existentie van benaderde flows $\{V_t^{(m)}\}$ voor de gladde forcing-termen $u^{(m)}$. Deze benaderde flows voldoen aan de bewegingswet in de zin van Brakke en behouden specifieke structurele eigenschappen (bijv. drievoudige juncties met 120-graden hoeken).
3. A Priori Schattingen (De Kerninnovatie): De auteurs leiden uniforme schattingen af voor de benaderde flows die enkel afhangen van de initiële lengte $H^1(\Gamma_0)$ en de norm van $u$ gedefinieerd door $c_1(u, T)$.
   • In tegen tegenstelling tot het subkritische geval, waarbij Huisken's monotoniciteitsformule een uniforme $L^\infty$-grens biedt op de bovenste dichtheidsratio $D(t)$, voorkomt het kritische geval een dergelijke grens omdat de forcing-term $u$ niet gecontroleerd kan worden in de berekening van de monotoniciteitsformule.
   • In plaats daarvan maken de auteurs gebruik van een monotoniciteitsformule specifiek voor één-dimensionale algemene varifolds (Propositie 3.1) om de dichtheidsratio $D(t)$ te begrenzen door de $L^2$-norm van de curvatuur: $D(t) \lesssim \int |h| d\|V_t\|$.
   • Vervolgens passen zij de Meyers-Ziemer ongelijkheid (Stelling 3.2) toe, die de integraal van een Sobolev-functie over een rectifieerbare verzameling relateert aan de gradiënt in de omgeving, mits de dichtheidsratio begrensd is.
   • Door deze te combineren, sluiten zij de energie-schattingen om bounds te verkrijgen op de lengte van de curve en de $L^2$-normen van de curvatuur en de forcing-term op de curve, wat leidt tot de exponentiële grens op de totale lengte (Vergelijking 1.6).
4. Compactheid en Limietproces: Gebruikmakend van de uniforme bounds, extraheren de auteurs een sub-sequentie van varifolds die convergeren naar een limiet-varifold $\{V_t\}$. Zij bewijzen dat de limiet voldoet aan de Brakke-ongelijkheid met de oorspronkelijke ruwe vectorveld $u$.
5. Structuur van de Limiet: De auteurs analyseren de geometrische structuur van de limiet-flow en bewijzen dat deze bestaat uit een eindig aantal $W^{2,2}$ curves die samenkomen bij juncties met hoeken van 0, 60 of 120 graden.

Belangrijkste Resultaten
De hoofdstelling (Stelling 2.3) vestigt de existentie van een familie van integrale 1-varifolds $\{V_t\}_{t \geq 0}$ en een familie van verzamelingen van eindige perimeter $\{E_i(t)\}$ die voldoen aan:

• Initiële Conditie: $\|V_0\| = H^1 \lfloor \Gamma_0$.
• Bewegingswet: De flow voldoet aan de Brakke-ongelijkheid met normale snelheid $h + u^\perp$ (Vergelijking 2.14).
• Regulariteit: Voor bijna elke $t$ bestaat de drager van $V_t$ uit een eindig aantal ingebedde $W^{2,2}$ curves. Als $N=2$ (twee fasen), zijn dit gesloten lussen; als $N \geq 3$, vormen ze een netwerk met drievoudige juncties bij 120-graden hoeken.
• Globale Bounds: De 1-dimensionale Hausdorff-maat (lengte) van de flow voldoet aan:
  $$H^1(\Gamma(T)) \leq H^1(\Gamma_0) \exp(c_2 c_1(u, T))$$
  waarbij $c_1(u, T)$ de $L^2$-norm van $u$ en de $L^2$-norm van $\nabla u$ bevat.
• Fase Evolutie: De verzamelingen $E_i(t)$ evolueren continu in de $L^1$-zin (Hölder-continu in de tijd), en hun gereduceerde grenzen worden gecontroleerd door de varifold-maat.

Betekenis en Claims
Het artikel claimt het eerste globale existentie-resultaat te bieden voor de curvatuurflow met een forcing-term in de kritische Sobolev-schaling voor $n=1$.

• Kritisch vs. Subkritisch: De auteurs benadrukken dat het kritische geval fundamenteel verschilt van het subkritische geval (waarin $u$ regelmatiger is). In het subkritische geval staat Huisken's monotoniciteitsformule een uniforme controle op de dichtheidsratio toe, waardoor de flow zich gedraagt als een perturbatie van de standaard gemiddelde curvatuurflow. In het kritische geval gaat deze controle verloren; het effect van de forcing is op alle schalen vergelijkbaar met de curvatuur.
• Technische Noodzaak van Dimensie 1: De strategie steunt zwaar op de specifieke monotoniciteitsformule voor één-dimensionale varifolds (Vergelijking 1.13) die de dichtheidsratio begrenst door de $L^2$-curvatuur. De auteurs merken in de "Final Remarks" op dat deze strategie niet eenvoudig te generaliseren is naar $n > 1$ in het kritische geval, aangezien de corresponderende dichtheidsratio-bound daar niet beschikbaar is.
• Niet-trivialiteit: Er wordt een oplossing gegarandeerd voor een positief tijdsinterval, en deze kan singulariteiten passeren (zoals het botsen van curves of de vorming van juncties) terwijl de eindigheid van de oppervlaktemaat behouden blijft.
• Motivatie: Het werk wordt gemotiveerd door de theoretische studie van gekoppelde twee-fase stromingsproblemen (Navier-Stokes/Allen-Cahn limieten), waarbij de beweging van het grensvlak wordt gedreven door zowel de curvatuur als de vloeistofsnelheid, een scenario waarin het vectorveld zich natuurlijk in de overwogen kritische ruimte bevindt.

De auteurs blijven bescheiden over het "superkritische" geval; zij stellen dat er geen algemene existentietheorema bekend is en suggereren dat oplossingen van dit type waarschijnlijk niet bestaan omdat het forcing-veld te turbulent is om een eindige oppervlaktemaat te handhaven.