Variational principles for nonautonomous dynamical systems

Dit artikel bestudeert de thermodynamische formalismen van discrete niet-autonome dynamische systemen en leidt variatieprincipes voor drukfuncties af met behulp van methoden uit de convexanalyse.

De kern

De Dans van de Verandering: Een Simpele Uitleg van "Variational Principles"

Stel je voor dat je een dansvloer hebt. In de klassieke wereld van de natuurkunde (en wiskunde) is het vaak zo dat de muziek altijd hetzelfde blijft en de dansers (de deeltjes of punten) bewegen volgens één vaste, onwrikbare regel. Dit noemen we een autonoom systeem. De wiskundigen weten al heel lang hoe ze de "chaos" of de "energie" van zo'n dans kunnen meten. Ze hebben daarvoor een soort meetlat, de topologische druk, die hen vertelt hoe druk het is op de dansvloer.

Maar wat als de muziek voortdurend verandert? Wat als de dansleraar elke seconde een nieuwe danspas voorschrijft? Soms is het een snelle wals, dan weer een chaotische breakdance, en de volgende seconde een langzame slow. Dit noemen we een niet-autonoom dynamisch systeem. De dansers moeten zich voortdurend aanpassen aan een veranderende omgeving.

Deze paper, geschreven door Andrzej Biś, gaat over hoe we de "druk" en de "chaos" kunnen meten in zo'n onvoorspelbare, veranderende wereld.

1. Het Probleem: De Vergeleken Met de "Gevangene"

In de oude, stabiele wereld (autonoom) bestaat er een beroemde regel: je kunt de totale chaos van het systeem berekenen door te kijken naar de "beste" manier waarop je de dansers kunt verdelen. Er is altijd een perfecte verdeling (een maatstaf) die de maximale chaos weergeeft.

Maar in onze veranderende wereld (niet-autonoom) is er een groot probleem: er is vaak geen enkele verdeling die voor altijd werkt. Omdat de regels elke seconde veranderen, kan het zijn dat een verdeling die vandaag perfect is, morgen al helemaal niet meer werkt. Er is geen "eeuwig geldende" regel. Dit maakt het heel moeilijk om de chaos te meten.

2. De Oplossing: Een Wiskundige "Rekenmachine"

De auteur gebruikt een slimme truc uit een ander deel van de wiskunde, genaamd Convex Analysis (convexe analyse). Denk hierbij niet aan dansen, maar aan het bouwen van een berg.

Stel je voor dat je een berg hebt die je wilt beklimmen. De top van de berg is de "maximale druk" (de hoeveelheid chaos).

• In de oude wereld wisten we precies waar de top was: recht boven de "beste" verdeling.
• In de nieuwe, veranderende wereld weten we niet direct waar de top is, omdat de berg zelf meebeweegt.

De auteur toont aan dat we toch een wiskundige rekenmachine kunnen bouwen. Deze machine heeft twee knoppen:

1. De Drukknop: Je geeft de machine een situatie (een potentieel, ofwel een specifieke "muziek" of "regels"). De machine berekent de maximale druk.
2. De Entropieknop: De machine kan ook omgekeerd werken. Als je haar een verdeling geeft, vertelt ze je hoeveel "chaos" (entropie) die verdeling heeft.

Het belangrijkste resultaat van dit papier is dat deze twee knoppen perfect op elkaar afgestemd zijn. Het is alsof je een sleutel hebt die altijd past in het slot, zelfs als het slot verandert. De wiskunde zegt: "Er bestaat altijd een verdeling die de maximale druk bereikt, zelfs als die verdeling niet voor altijd vaststaat."

3. De Twee Soorten "Druk"

De auteur introduceert twee manieren om deze druk te meten, alsof je twee verschillende camera's gebruikt om de dansvloer vast te leggen:

• De Topologische Druk (De Brede Lens): Dit is de standaardmanier om te kijken naar de chaos. Het kijkt naar hoe ver de dansers uit elkaar kunnen staan zonder dat ze elkaar raken. De auteur bewijst dat je hier altijd een "ideale" verdeling voor kunt vinden die de chaos maximaliseert.
• De Misiurewicz Druk (De Scherpere Lens): Dit is een iets andere manier van kijken, die is gebaseerd op een idee van een wiskundige uit de jaren '70. Het is alsof je niet alleen kijkt naar hoe ver de dansers uit elkaar staan, maar ook naar hoe ze zich gedragen in kleine groepjes. Ook voor deze methode bewijst de auteur dat er een perfecte balans is tussen de druk en de chaos.

4. Waarom is dit belangrijk? (De "Gevangene" vs. De "Vrijheid")

In het verleden dachten wiskundigen dat als er geen vaste, eeuwige verdeling was (geen "gevangene" die voor altijd in hetzelfde systeem zat), je de chaos niet goed kon meten.

Dit paper zegt: "Nee, dat is niet waar!"
Zelfs als er geen enkele verdeling is die voor altijd werkt, kunnen we toch zeggen: "Op dit specifieke moment, met deze specifieke regels, is er een verdeling die het beste werkt."

De auteur gebruikt creatieve analogieën (zoals de "tangent functional" of raaklijn) om te laten zien dat je de "piek" van de chaos kunt vinden door te kijken naar hoe de druk reageert op kleine veranderingen. Het is alsof je een bal op een helling legt; je kunt precies zien waar hij tot stilstand komt, zelfs als de helling zelf een beetje trilt.

Samenvatting in één zin

Dit papier laat zien dat zelfs in een wereld waar de regels elke seconde veranderen (zoals een dansvloer met wisselende muziek), we met slimme wiskundige trucs toch een perfecte balans kunnen vinden tussen de "druk" van het systeem en de "chaos" van de beweging, zonder dat we een eeuwige, vaste regel nodig hebben.

Het is een bewijs dat zelfs in de grootste onvoorspelbaarheid, de wiskunde een manier vindt om orde te scheppen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Variational Principles for Nonautonomous Dynamical Systems" van Andrzej Biś, geschreven in het Nederlands.

Titel: Variatieprincipes voor Niet-Autonome Dynamische Systemen

Auteur: Andrzej Biś
Taal van het origineel: Engels
Onderwerp: Dynamische systemen, Thermodynamische formalisme, Convex analyse, Variatieprincipes.

---

1. Probleemstelling en Achtergrond

De klassieke thermodynamische formalisme voor dynamische systemen, ontwikkeld door Kolmogorov, Sinai, Adler, Bowen en anderen, richt zich voornamelijk op autonome systemen. Deze worden bepaald door een enkele continue self-map $f: X \to X$ op een compacte metrische ruimte. Voor deze systemen zijn fundamentele resultaten bekend, zoals de relatie tussen topologische entropie ($h_{top}$) en maattheoretische entropie ($h_\mu$), samengevat in het variatieprincipe:
$$h_{top}(f) = \sup_{\mu \in \mathcal{P}_f(X)} h_\mu(f)$$
en de uitbreiding naar topologische druk ($P_{top}$) met een potentiaal $\phi$:
$$P_{top}(f, \phi) = \sup_{\mu \in \mathcal{P}_f(X)} \left( h_\mu(f) + \int_X \phi \, d\mu \right)$$

Het centrale probleem in dit artikel is de uitbreiding van deze theorie naar niet-autonome discrete dynamische systemen (NADDS). Een NADDS wordt gedefinieerd door een rij van continue self-maps $f_{1,\infty} = \{f_n : X \to X\}_{n \in \mathbb{N}}$.
De belangrijkste uitdaging bij NADDS is het ontbreken van een gemeenschappelijke invariante maat. In tegenstelling tot het autonome geval (waar de Krylov-Bogoliubov-stelling garandeert dat er altijd een $f$-invariante maat bestaat), bestaat er geen gegarandeerde maat $\mu$ die voor alle $f_n$ invariante is ($f_n \mu = \mu$). Dit maakt het toepassen van klassieke maattheoretische methoden moeilijk en vereist nieuwe benaderingen voor het definiëren van entropie en druk, en het bewijzen van variatieprincipes.

2. Methodologie

De auteur hanteert een abstracte, functioneel-analytische benadering gebaseerd op Convex Analyse, in plaats van traditionele dynamische methoden. De kern van de methode is het gebruik van resultaten uit eerdere werk van Biś et al. [2], waarbij drukfuncties worden geanalyseerd als convexe, translatie-invariante functies op een Banachruimte.

Stappen in de methodologie:

1. Abstracte Drukfuncties: De auteur definieert een "drukfunctie" $\Gamma$ op een ruimte van potentiaalfuncten (zoals $C(X)$ of $L^\infty(X)$) die voldoet aan drie eigenschappen: monotonie, translatie-invariantie en convexiteit.
2. Toepassing van het Abstracte Variatieprincipe: Door te tonen dat zowel de topologische druk als de Misiurewicz-druk van een NADDS voldoen aan deze axioma's, kan het algemene variatieprincipe uit de convexanalyse worden toegepast. Dit principe garandeert het bestaan van een boven-halfcontinu entropie-achtige map $h: \mathcal{P}(X) \to \mathbb{R}$ die de druk relateert aan de integraal van de potentiaal.
3. Definitie van Invariante Ruimtes: De auteur introduceert de ruimte $\mathcal{P}_{f_{1,\infty}}(X)$ van $f_{1,\infty}$-invariante maten (maten die invariant zijn onder elke $f_n$). Hoewel deze ruimte leeg kan zijn, wordt onderzocht wat er gebeurt als deze niet leeg is.
4. Misiurewicz Constructie: Naast de standaard topologische druk, introduceert de auteur de Misiurewicz-druk en Misiurewicz-entropie, gebaseerd op de werking van $\mathbb{Z}_+^n$-acties, aangepast aan de context van NADDS.

3. Belangrijkste Bijdragen en Resultaten

Het artikel presenteert vier hoofdstellingen (A, B, C, D) die de theorie voor NADDS formaliseren.

Stelling A: Het Abstracte Variatieprincipe voor Topologische Druk

Voor een NADDS $f_{1,\infty}$ met eindige topologische entropie, bestaat er een unieke, boven-halfcontinue functie $h_{f_{1,\infty}}: \mathcal{P}(X) \to \mathbb{R}$ zodanig dat:
$$P_{top}(f_{1,\infty}, \phi) = \max_{\mu \in \mathcal{P}(X)} \left\{ h_{f_{1,\infty}}(\mu) + \int_X \phi \, d\mu \right\}$$
en de duale relatie:
$$h_{f_{1,\infty}}(\mu) = \inf_{\phi \in C(X)} \left\{ P_{top}(f_{1,\infty}, \phi) - \int_X \phi \, d\mu \right\}$$
Corollarium 1: Onder deze voorwaarden is de maat $\mu$ die het maximum bereikt uniek (als de drukfunctie Gateaux-differentieerbaar is).

Stelling B: Relaties met Invariante Maten

Als er een niet-lege ruimte van invariante maten $\mathcal{P}_{f_{1,\infty}}(X)$ bestaat en het klassieke variatieprincipe daarop geldt, dan:

• Elke maat die het maximum bereikt in het variatieprincipe is automatisch een $f_{1,\infty}$-invariante maat.
• Een maat $\mu$ is $f_{1,\infty}$-invariante dan en slechts dan als $h_{f_{1,\infty}}(\mu) \geq 0$.
• Er bestaat een relatie tussen de abstracte entropie $h_{f_{1,\infty}}$, de "star-entropie" $h^*_{f_{1,\infty}}$ en de invariante entropie.

Stelling C: Het Abstracte Variatieprincipe voor Misiurewicz Druk

De auteur definieert de Misiurewicz-druk $P_{Mis}$ en bewijst dat ook hiervoor een analoog variatieprincipe geldt met een bijbehorende entropiefunctie $h^{Mis}_{f_{1,\infty}}$:
$$P_{Mis}(f_{1,\infty}, \phi) = \max_{\mu \in \mathcal{P}(X)} \left\{ h^{Mis}_{f_{1,\infty}}(\mu) + \int_X \phi \, d\mu \right\}$$
Ook hier geldt de uniciteit van de evenwichtstoestand onder geschikte voorwaarden.

Stelling D: Relaties voor Misiurewicz Entropie

Analoog aan Stelling B, worden de relaties tussen de Misiurewicz-entropie en de invariante maten voor het NADDS onderzocht. Het resultaat bevestigt dat de invariante maten precies die maten zijn waarvoor de Misiurewicz-entropie niet-negatief is.

4. Significance en Implicaties

• Unificatie van Theorie: Het artikel slaat een brug tussen de klassieke thermodynamische formalisme voor autonome systemen en de complexere niet-autonome systemen. Het toont aan dat de fundamentele structuur van variatieprincipes behouden blijft, zelfs zonder een enkele genererende map.
• Nieuwe Benadering: Door convexanalyse te gebruiken in plaats van dynamische methoden, omzeilt de auteur het probleem van het ontbreken van een Krylov-Bogoliubov-stelling voor NADDS. De methode is robuust en toepasbaar op verschillende definities van druk (topologisch en Misiurewicz).
• Existentie en Uniciteit: De resultaten garanderen het bestaan van "evenwichtstoestanden" (equilibrium states) voor NADDS, zelfs in gevallen waar geen gemeenschappelijke invariante maat vooraf bekend is. Dit is cruciaal voor het begrijpen van de statistische eigenschappen van deze systemen.
• Toepasbaarheid: De theorie is relevant voor systemen die door tijd-variërende parameters worden gestuurd, wat vaak voorkomt in fysica, biologie en economie, waar systemen zelden perfect autonoom zijn.

Conclusie

Andrzej Biś presenteert in dit artikel een rigoureuze wiskundige onderbouwing voor het thermodynamische formalisme van niet-autonome dynamische systemen. Door gebruik te maken van abstracte convexanalyse, bewijst hij dat variatieprincipes voor zowel topologische als Misiurewicz-druk gelden. De werken definieert nieuwe entropie-maatschappelijke functies en karakteriseert de relatie tussen deze functies en invariante maten, waardoor een solide theoretisch fundament wordt gelegd voor de verdere studie van complexe, tijd-variërende dynamische systemen.