Recent progress in generalized Hamiltonian gradient flow: Singularities

Technische Samenvatting: Recente Vooruitgang in Generalized Hamiltonian Gradient Flow: Singulariteiten

Probleemstelling
Het artikel behandelt de voortplanting van singulariteiten in Hamilton-Jacobi (HJ)-vergelijkingen, met name gericht op de evolutionaire vergelijking $\partial_t u + H(x, D_x u) = 0$ en de stationaire vergelijking $H(x, D\phi) = c[H]$. Hoewel viscositeitoplossingen een goed gesteld kader bieden voor deze vergelijkingen, zijn ze over het algemeen slechts semiconcaaf, wat leidt tot de vorming van singulariteiten (punten van niet-differentieerbaarheid). Een centrale uitdaging op dit gebied is het begrijpen van de dynamica van deze singulariteiten, met name het bestaan, de uniciteit en de globale voortplanting van "generalized characteristics" en "strict singular characteristics" die uitgaan van singuliere punten. Verder onderzoekt het artikel de connectie tussen deze singuliere dynamica en de invarianten maatstaven van de bijbehorende stroming, specifiek door deze te relateren aan Mather-maatstaven en de kritische waarde van Ma˜n´e.

Methodologie
De auteurs maken gebruik van een synthese van variatierekening, zwakke KAM-theorie, optimale transport en de theorie van gradiëntstromen in metrische ruimten. Belangrijke methodologische componenten zijn:

1. Variatieve Constructie via Minimizing Movements: Het artikel maakt gebruik van een minimizing movement-schema (analoog aan het Jordan-Kinderlehrer-Otto-schema in optimale transport) om generalized characteristics te construeren. Door de zwakke limiet te nemen van benaderende oplossingen gegenereerd door iteratieve maximalisatieproblemen die de Lax-Oleinik-halfgroep betrekken, maken de auteurs gebruik van Young-maatstaf-compactheid om te bewijzen dat de limietkromme voldoet aan de differentiaalopsluiting voor generalized characteristics.
2. Formalisme van de Energie-Dissipatie Ongelijkheid (EDI): De auteurs adopteren het EDI-kader uit de gradiëntstroomtheorie om "maximal slope curves" te definiëren. Door het minimale energie-element $p^\#_{\phi,H}(x)$ te selecteren uit de superdifferentiaal $D^+\phi(x)$, definiëren ze "strict singular characteristics" die voldoen aan een specifieke gewone differentiaalvergelijking (ODE) in plaats van een differentiaalopsluiting met een convexe omhulling.
3. Liften naar de Ruimte van Trajecten: Om het gebrek aan uniciteit in de voorwaartse dynamica van strict singular characteristics aan te pakken (een bekend probleem voor algemene Tonelli-Hamiltonianen), liften de auteurs de dynamica naar de ruimte van trajecten $C_0^+ = C_0([0, +\infty), M)$. Ze definiëren een semi-stroming op deze ruimte van trajecten en bestuderen hun invariante waarschijnlijkheidsmaatstaven.
4. Euleriaans Standpunt: Het kader wordt uitgebreid naar de ruimte van waarschijnlijkheidsmaatstaven $\mathcal{P}_c(\mathbb{R}^m)$ (Wasserstein-ruimte). De auteurs definiëren stochastische Lax-Oleinik-operatoren en analyseren de voortplanting van singulariteiten voor Hamilton-Jacobi-vergelijkingen gedefinieerd op de ruimte van maatstaven.

Belangrijkste Bijdragen en Resultaten

1. Variatieve Constructie van Generalized Characteristics:
   Het artikel biedt een rigoureuze variatieve constructie van generalized characteristics. Door de zwakke convergentie van minimizing movements te analyseren, tonen de auteurs aan dat de limietkrommen voldoen aan de differentiaalopsluiting $\dot{\gamma}(s) \in \text{co } H_p(\gamma(s), D^+\phi(\gamma(s)))$. Dit vestigt een directe link tussen de intrinsieke geometrische constructie van singulariteiten en de abstracte theorie van gradiëntstromen.

2. Equivalentie van Strict Singular en Gebroken Characteristics:
   De auteurs bewijzen dat strict singular characteristics (gedefinieerd via de selectie van minimale energie $p^\#_{\phi,H}$) samenvallen met "broken characteristics" (oplossingen van de ODE zonder de convexe omhulling). Dit resultaat, afgeleid uit de stabiliteit van de variatieve constructie, verduidelijkt de relatie tussen verschillende noties van singuliere trajecten die in de literatuur worden aangetroffen.

3. Karakterisering van Mather-maatstaven via GHGF:
   Een primaire nieuwe bijdrage is de dynamische karakterisering van Mather-maatstaven. De auteurs bewijzen dat voor de semi-stroming $(S^+_{\phi,H}, P_t)$ op de ruimte van strict singular characteristics, de enige invariante waarschijnlijkheidsmaatstaven die de kritische waarde van Ma˜n´e $c[H]$ bereiken, de geprojecteerde Mather-maatstaven zijn. Specifiek stellen ze de identiteit vast:
   $$c[H] = \max_{\phi \in SCL(M)} \sup_{\mu \in \mathcal{I}_M(\phi,H)} \int_{S^+_{\phi,H}} H(\gamma(0), p^\#_{\phi,H}(\gamma(0))) \, d\mu.$$
   Dit biedt een puur dynamische karakterisering van de minimale maatstaven van Mather binnen het kader van strict singular characteristics.

4. Massatransport en Continuïteitsvergelijkingen:
   Het artikel leidt de continuïteitsvergelijking af die geassocieerd is met de onregelmatige Lagrangiaanse semi-stroming van strict singular characteristics:
   $$\frac{d}{dt}\mu_t + \text{div}(H_p(x, p^\#_{\phi,H}(x)) \cdot \mu_t) = 0.$$
   Er wordt aangetoond dat de massa geconcentreerd op de snijlocus en de $C^{1,1}$-singuliere steun niet-afnemend is in de tijd, wat de onomkeerbaarheid van de voortplanting van singulariteiten weerspiegelt.

5. Uitbreiding naar de Wasserstein-ruimte:
   De auteurs breiden de theorie uit naar Hamilton-Jacobi-vergelijkingen op de ruimte van waarschijnlijkheidsmaatstaven $\mathcal{P}_c(\mathbb{R}^m)$. Ze definiëren potentie-energiefunctionalen en stochastische Lax-Oleinik-operatoren, en bewijzen dat de waardenfunctie een viscositeitoplossing is voor een Hamilton-Jacobi-vergelijking op de Wasserstein-ruimte. Ze karakteriseren verder de voortplanting van singulariteiten (snijpunten) in deze oneindig-dimensionale setting.

Betekenis en Open Problemen
Het artikel stelt dat het Generalized Hamiltonian Gradient Flow (GHGF)-kader een natuurlijke variatieve en dynamische taal biedt om de studie van singuliere dynamica, ergodische theorie, optimale transport en geometrische analyse te verenigen. Door de dynamica te liften naar ruimtes van trajecten en het EDI-formalisme te gebruiken, bieden de auteurs nieuwe tools om de niet-uniciteit en onomkeerbaarheid die inherent zijn aan singuliere HJ-stromingen aan te pakken.

Het artikel sluit af met een schets van verschillende open problemen, waarbij wordt benadrukt dat het veld zeer actief blijft. Deze omvatten:

• Uniciteit: Bepalen of strikte convexiteit van de Hamiltoniaan voldoende is om de uniciteit van strict singular characteristics te garanderen voor algemene Tonelli-systemen.
• Rectificeerbaarheid: Onderzoeken van de $H^{n-1}$-rectificeerbaarheid van de snijlocus en de implicaties daarvan voor de metrische structuur van Aubry-sets.
• Stabiliteit: Analyseren van de stabiliteit van de snijlocus onder verstoringen van de potentie of Hamiltoniaan, met name in de context van Hausdorff-convergentie.
• Uitbreidingen: Generaliseren van de GHGF naar contact-Hamiltoniaanse systemen, niet-convexe Hamiltonianen en systemen met lage regulariteit.
• Verdwijnende Limieten: Bestuderen van het asymptotische gedrag van stochastische maximal slope curves naarmate ruis verdwijnt en de convergentie van snijloci in problemen met verdwijnende korting.

De auteurs positioneren deze open problemen als kritieke richtingen voor toekomstig onderzoek, waarbij de diepe connecties tussen het GHGF-kader en bredere vragen in dynamische systemen en geometrische analyse worden benadrukt.