Lipschitz regularity of harmonic map heat flows into $CAT(0)$ spaces

Technische Samenvatting: Lipschitz-regulariteit van harmonische kaart-warmtestromen naar CAT(0)-ruimten

Probleemstelling
Het artikel behandelt de langlopende open vraag over de regulariteit van zwakke oplossingen van de harmonische kaart-warmtestroom naar CAT(0)-ruimten. Terwijl de existentie, uniciteit en langetermijnconvergentie van dergelijke zwakke oplossingen in de jaren 1990 door Mayer en Jost werden vastgesteld via gradiëntstroomtheorie in metriekruimten, bleef de vraag of deze oplossingen Lipschitz-continuïteit bezitten in zowel de ruimte als de tijd onopgelost. Voorgaand werk door Lin, Segatti, Sire en Wang (2026) bood een gedeeltelijk antwoord door Lipschitz-continuïteit in de ruimtelijke variabele te estabeleceren voor een specifieke klasse van CAT(0)-ruimten (die inbedbaar zijn in de Euclidische ruimte met specifieke asymptotische eigenschappen) en 1/2-Hölder-continuïteit in de tijd. De auteurs beogen een volledig antwoord te bieden voor willekeurige CAT(0)-ruimten, waarbij zij Lipschitz-regulariteit in beide variabelen bewijzen en een parabolische Bochner-type ongelijkheid vaststellen.

Methodologie
De auteurs maken gebruik van een combinatie van intrinsieke geometrische analyse, viscositeitsoplossingstheorie en nietlineaire stroomtechnieken aangepast van hun eerdere werk op harmonische kaarten. De bewijsstrategie is verdeeld in drie hoofdfasen:

1. Lokale Hölder-continuïteit:
   De auteurs stellen eerst lokale Hölder-continuïteit vast voor de zwakke oplossingen. Zij passen de De Giorgi-Nash-Moser-theorie aan voor de parabolische setting. Een belangrijke moeilijkheid is dat de standaard parabolische Poincaré-ongelijkheid faalt voor algemene functies in $W^{1,2}$ vanwege het gebrek aan tijdsafgeleiden aan de rechterzijde. Door echter gebruik te maken van de regulariteit van de gradiëntstroom (specifiek de Lipschitz-continuïteit van de stroom in de $L^2$-metriek voor $t > 0$), bewijzen zij een gemodificeerde lokale Poincaré-ongelijkheid. Dit maakt het mogelijk om een subsolution-eigenschap af te leiden voor de afstandfunctie $d_Y(P, u(x,t))$, wat leidt tot lokale Hölder-continuïteit via iteratie-argumenten.

2. Lipschitz-continuïteit in de tijd:
   Om Lipschitz-continuïteit in de tijdsvariabele te bewijzen, stellen de auteurs een cruciale "subsolution-eigenschap" vast voor de gekwadrateerde afstand tussen twee zwakke oplossingen, $w(x,t) = d_Y^2(u(x,t), v(x,t))$. Zij bewijzen dat $(\Delta - \partial_t)w \geq 2R_{u,v}$ geldt in de zin van distributies, waarbij $R_{u,v}$ een niet-negatieve term is gerelateerd aan het verschil in energiedichtheden. Door $v(x,t) = u(x, t+s)$ te kiezen en het maximumprincipe toe te passen op deze subsolution, leiden zij een uniforme grens af op het tijdsverschil, waarmee zij bewijzen dat $t \mapsto u(x, \cdot)$ lokaal Lipschitz-continu is.

3. Lipschitz-continuïteit in de ruimte:
   De ruimtelijke regulariteit wordt vastgesteld door de constructie van een nietlineaire "Hamilton-Jacobi"-stroom. In tegenstelling tot het elliptische geval waar de stroom betrokken is bij twee ruimtelijke variabelen, suggereerde het parabolische geval aanvankelijk een afhankelijkheid van twee tijdsvariabelen ($t$ en $s$), wat de afleiding van een parabolische PDE bemoeilijkde. Door gebruik te maken van de eerder vastgestelde tijd-Lipschitz-continuïteit, definiëren de auteurs een "herziene" stroom die slechts afhangt van één tijdsvariabele:
   $$f_\epsilon(x, t) := \inf_{y \in \Omega} \left( \frac{e^{-2Kt} d^2(x, y)}{2\epsilon} - d_Y(u(x, t), u(y, t)) \right)$$
   Zij bewijzen dat deze functie een viscositeit-supersolution is van de warmtevergelijking. Door deze stroom te verbinden met de ruimtelijke gradiëntnorm (via een asymptotische gemiddelde waarde-ongelijkheid en eigenschappen van de Hardy-Littlewood maximalfunctie), begrenzen zij de ruimtelijke Lipschitz-constante, waarmee zij lokale Lipschitz-continuïteit in de ruimte vaststellen.

4. Bochner-ongelijkheid:
   Ten slotte verfijnen de auteurs de Hamilton-Jacobi-aanpak door de macht van de afstandfunctie te verhogen van index 2 naar een hogere integer $p$. Door de limiet te analyseren wanneer $p \to \infty$, leiden zij een Eells-Sampson-type Bochner-ongelijkheid af voor de ruimtelijke Lipschitz-constante.

Belangrijkste Resultaten
Het artikel stelt de volgende hoofdstellingen vast:

• Stelling 1.3 (Hoofdresultaat betreffende regulariteit): Laat $M$ een volledige Riemanniaanse variëteit zijn met een Ricci-kromming die onderaan begrensd is door $K$, en laat $(Y, d_Y)$ een willekeurige CAT(0)-ruimte zijn. Voor elke zwakke oplossing $u(x,t)$ van de harmonische kaart-warmtestroom met begindata die begrensd is, is $u$ lokaal Lipschitz-continu op $\Omega \times (0, +\infty)$ in zowel de ruimte als de tijd.
• Stelling 1.3 (ii) (Bochner-ongelijkheid): De puntvormige ruimtelijke Lipschitz-constante, gedefinieerd als $\text{lip}_x u(x,t) := \limsup_{y \to x} \frac{d_Y(u(x,t), u(y,t))}{d(y,x)}$, behoort tot $V_{2,loc} \cap L^\infty_{loc}$ en voldoet aan de distributieve ongelijkheid:
  $$(\Delta - \partial_t)(\text{lip}_x u)^2 \geq 2|\nabla \text{lip}_x u|^2 + 2K(\text{lip}_x u)^2$$
  Dit is een parabolische analogon van de Bochner-ongelijkheid voor harmonische kaarten.

Betekenis en Claims
De auteurs claimen een "volledig antwoord" te bieden op de vraag naar Lipschitz-regulariteit voor harmonische kaart-warmtestromen naar singuliere metriekruimten, waarbij de restrictieve inbeddingsaannames die vereist waren in eerdere gedeeltelijke resultaten (Lin et al.) worden verwijderd. De resultaten gelden voor elke CAT(0)-ruimte, ongeacht de lokale compactheid.

Het artikel benadrukt dat de afgeleide Bochner-ongelijkheid (Stelling 1.3(ii)) een belangrijk instrument is, analoog aan de klassieke Eells-Sampson-ongelijkheid, die centraal staat in rigiditeitsstellingen in de geometrische groepentheorie. De auteurs merken op dat hun argumenten in Secties 3, 4 en 5 kunnen worden aangepast aan afbeeldingen van RCD-ruimten naar CAT(0)-ruimten, hoewel het bewijs voor de ruimtelijke Lipschitz-continuïteit (Sectie 7) momenteel steunt op viscositeitsoplossingstheorie, die nog niet volledig is ontwikkeld voor parabolische vergelijkingen op RCD-ruimten.

Het werk bouwt direct voort op de fundamentele gradiëntstroomtheorie van Mayer en Jost en de recente elliptische benaderingsmethoden van Lin, Segatti, Sire en Wang, waarbij deze kaders worden uitgebreid om volledige ruimte-tijd regulariteit te bereiken.