A characterisation of $\infty$-harmonic maps in terms of $1$-currents

Technische Samenvatting: Een Karakterisering van $\infty$-Harmonische Kaarten in Termen van 1-Stromen

Probleemstelling
Het artikel onderzoekt variationele problemen met betrekking tot de $L^\infty$-norm van de afgeleide voor afbeeldingen $u: M \to N$ tussen twee compacte Riemanniaanse variëteiten. De primaire functionaal die wordt bestudeerd is:
$$E_\infty(u) = \text{ess sup}_{x \in M} \sqrt{F(du(x))}$$
waarbij $F$ een convexe, kwadratisch homogene functie is afgeleid van een orthogonaal invariante norm (bijv. de Hilbert-Schmidt norm of de operatornorm). In tegenstelling tot standaard $p$-harmonische kaartproblemen ($1 < p < \infty$), is de functionaal $E_\infty$ niet differentieerbaar, zelfs niet in de Gâteaux-zin, waardoor klassieke Euler-Lagrange vergelijkingen niet toepasbaar zijn. Het artikel streeft ernaar om een rigoureuze definitie van "kritieke punten" voor deze functionaal te definiëren en geometrische karakterisaties van dergelijke punten af te leiden, waarmee het eerdere werk over scalaire $\infty$-harmonische functies en vectorwaardige afbeeldingen in Euclidische domeinen uitbreidt naar de setting van Riemanniaanse variëteiten.

Methodologie
De auteur maakt gebruik van een combinatie van geometrische meetkunde, convexe analyse en benaderingstechnieken:

1. Definitie van Kritikaliteit: In plaats van te vertrouwen op differentieerbaarheid, hanteert het artikel een Fréchet-subdifferentiaalbenadering. Een afbeelding $u \in C^{0,1}(M; N)$ wordt gedefinieerd als $\infty$-harmonisch indien de onderste limiet van de energie-verschilquotiënt niet-negatief is met betrekking tot de uniforme afstand metriek. Deze definitie wordt getoond een kwadratische ondergrens te impliceren op de energie-discrepantie ten opzichte van de afstand tot $u$.

2. Vectorwaardige 1-stromen: Het kerninstrument van de technische analyse is de introductie van een vectorwaardige 1-stroom $T$ op de domeinvariëteit $M$. In tegenstelling tot standaard stromen, is dit object aangepast aan de afbeelding $u$ via een "$u$-rand"-operator $\partial_u T$. Deze operator wordt geconstrueerd met behulp van de inbedding van $N$ in een Euclidische ruimte en een parallellisatie van $N$, waardoor een covariante afgeleide-achtige structuur op de triviale bundel $M \times \mathbb{R}^n$ kan worden gedefinieerd.

3. Benadering door $p$-harmonische kaarten: Om de afwezigheid van differentieerbaarheid en de singulariteit van de $L^\infty$-limiet te behandelen, benadert de auteur een $\infty$-harmonische kaart $u$ door een sequentie van $p$-harmonische kaarten ($p \to \infty$) geassocieerd met gepenaliseerde functionalen $E_p$. Dit maakt het gebruik van klassieke Euler-Lagrange vergelijkingen voor de benaderende sequentie mogelijk.

4. Maat-sectie paren en Convergentie: De analyse maakt gebruik van het concept van maat-sectie paren (ter uitbreiding van het werk van Hutchinson) om de convergentie van gradiënten en geassocieerde maten te behandelen. De auteur bewijst sterke $L^2$-convergentie van de benaderende gradiënten tegen een limiterende maat, wat cruciaal is voor het overgaan naar de limiet in de Euler-Lagrange vergelijkingen.

5. Gegeneraliseerde Massa-functionalen: Voor algemene normen $F$ wordt de standaard massa-functionaal van stromen vervangen door een gegeneraliseerde massa-functionaal $M_F$, gedefinieerd via de Legendre-transformatie van $F$.

Belangrijkste Bijdragen en Resultaten

• Karakterisering via Stromen: Het artikel stelt vast dat een $\infty$-harmonische kaart $u$ (met $E_\infty(u) > 0$) geassocieerd is met een niet-triviale, eindige-massa, $\mathbb{R}^n$-waardige 1-stroom $T$ die twee hoofdvoorwaarden vervult:

  1. Zwakke $u$-randvoorwaarde: $\partial_u T = 0$ in een zwakke zin. Deze voorwaarde codeert de interactie tussen de stroom en de geometrie van de afbeelding $u$.
  2. Gradiëntrepresentatie: Op de ondersteuning van de stroom wordt de afgeleide $du$ (of de gemollificeerde versie daarvan) bepaald door de richtingvector $\vec{T}$ van de stroom en het energieniveau $e_\infty$. Specifiek, voor een reguliere $F$, is de relatie:
     $$\text{grad } u = e_\infty \frac{\nabla F^*(\vec{T}^\dagger)}{\sqrt{F^*(\vec{T}^\dagger)}}$$
     waarbij $F^*$ de Legendre-transformatie van $F$ is.

• Equivalentiestellingen:

  • Stelling 12: Indien $u$ $\infty$-harmonisch is, bestaat een dergelijke stroom $T$ die de bovenstaande voorwaarden vervult.
  • Stelling 14: Omgekeerd, indien een afbeelding $u$ en een stroom $T$ aan de randvoorwaarde en de gradiëntrepresentatie voldoen, dan is $u$ $\infty$-harmonisch en komt het energieniveau overeen. Dit biedt een noodzakelijke en voldoende voorwaarde voor kritikaliteit, analoog aan een Euler-Lagrange vergelijking.

• Kritikaliteit van de Stroom: De stroom $T$ zelf wordt getoond een kritiek punt te zijn van de gegeneraliseerde massa-functionaal $M_F$ onder variaties geïnduceerd door diffeomorfismen van het domein. Dit wordt uitgedrukt als het verdwijnen van de eerste variatie van $M_F$ met betrekking tot vectorvelden op $M$.

• Afhandeling van Niet-Reguliere Normen: Voor gevallen waarin de norm niet "regulier" is (geen sterke convexiteit bezit, zoals de operatornorm $|\cdot|_\infty$), biedt het artikel een zwakkere karakterisering (Stelling 15). Hier wordt de stroom ontleed in een familie van curven (via de decompositie van Smirnov), en de karakterisering betreft integrale identiteiten langs deze curven in plaats van een puntvormige gradiëntformule.

• Compactheid: Het artikel bewijst dat de verzameling $\infty$-harmonische kaarten met begrensde energie compact is in de uniforme topologie, een eigenschap die voortvloeit uit de kwadratische energie-ondergrens die in Proposition 2 is vastgesteld.

Betekenis en Claims
Het artikel claimt de theorie van $\infty$-harmonische kaarten van scalaire functies en Euclidische domeinen uit te breiden naar afbeeldingen tussen algemene Riemanniaanse variëteiten. Het adresseert de specifieke moeilijkheden die voortvloeien uit de niet-differentieerbaarheid van de $L^\infty$-functionaal en de geometrische beperkingen van de doelvariëteit $N$.

De betekenis ligt in het bieden van een geometrische karakterisering van kritieke punten die niet afhankelijk is van de existentie van een klassieke PDE. In plaats daarvan identificeert het een geometrisch object (de 1-stroom) dat de essentiële variationele eigenschappen van de afbeelding inkapselt. De auteur merkt op dat terwijl eerder werk (bijv. van Katzourakis en Moser) zich richtte op globale minimizers in Euclidische settings, dit werk het kader uitbreidt naar kritieke punten in een bredere geometrische context, inclusief diverse keuzes voor de functionaal $F$ (zoals Schatten-normen. De resultaten worden gepresenteerd als een verfijning en uitbreiding van bestaande maattheoretische benaderingen van $L^\infty$ variationele problemen, waarbij een verenigd kader wordt geboden voor het begrijpen van de structuur van $\infty$-harmonische kaarten.