The local Turnpike Property in Mean Field Control and Games with quadratic Hamiltonian

1. Probleemstelling

Het artikel onderzoekt het langetermijngedrag van oplossingen van Mean Field Games (MFG)-systemen en Mean Field Control (MFC)-problemen met een kwadratische Hamiltoniaan wanneer de tijdshorizon $T \to +\infty$.

Het specifieke bestudeerde systeem is:
$$\begin{cases} -\partial_t u - \Delta u + \frac{|Du|^2}{2} - f(x, m) + \delta u = 0 & \text{op } (0, T) \times \Omega \\ \partial_t m - \Delta m - \text{div}(m Du) = 0 & \text{op } (0, T) \times \Omega \\ m(0, x) = m_0(x), \quad u(T, x) = u_T(x) & \text{op } \Omega \end{cases}$$
waarbij $\Omega$ óf de platte torus $\mathbb{T}^n$ óf $\mathbb{R}^n$ is, en $\delta \geq 0$ een disconteringsfactor is.

De Kernvraag:
Gegeven een stationair evenwicht $(\bar{u}, \bar{m})$ dat het bijbehorende stationaire systeem oplost, onder welke voorwaarden trekt dit evenwicht dynamische oplossingen $(u, m)$ aan als $T \to \infty$? Specifiek streven de auteurs ernaar een lokaal turnpike-eigenschap te vestigen: als de begin- en einddata voldoende dicht bij de stationaire toestand liggen, brengt de oplossing dan het grootste deel van de tijd exponentieel dicht bij $(\bar{u}, \bar{m})$ door?

De Uitdaging:
Standaard turnpike-resultaten in de MFG-literatuur vertrouwen doorgaans op de Lasry-Lions-monotonievoorwaarde ($f_m \geq c > 0$), die globale uniciteit van de stationaire toestand en globale stabiliteit garandeert. Dit artikel adresseert het moeilijkere geval waarbij monotonie afwezig is, wat ruimte laat voor meerdere stationaire toestanden en potentiële non-uniciteit. Het doel is stabiliteit te bewijzen voor specifieke stationaire oplossingen zonder globale uniciteit aan te nemen.

2. Methodologie

De auteurs hanteren een perturbatieve aanpak gecombineerd met energie-schattingen en een vastpuntargument.

A. Linearisatie en Symmetrie

De analyse draait om de perturbaties $\mu = m - \bar{m}$ en $v = u - \bar{u}$. De auteurs lineariseren het systeem rond de stationaire toestand. Een cruciale observatie is dat voor de kwadratische Hamiltoniaan het gelineariseerde systeem een specifieke symmetrie-eigenschap bezit vanwege de identiteit $D\bar{m} = -\bar{m} D\bar{u}$.

Zij herschrijven het gelineariseerde systeem als een Hamiltoniaans systeem met operatoren $A$ en $BB^*$:
$$\begin{pmatrix} \dot{\tilde{\mu}} \\ \dot{\tilde{v}} \end{pmatrix} = \begin{pmatrix} A - \frac{\delta}{2}I & -BB^* \\ -Q & -A^* + \frac{\delta}{2}I \end{pmatrix} \begin{pmatrix} \tilde{\mu} \\ \tilde{v} \end{pmatrix}$$
waarbij $Q$ de koppelterm $f_m$ voorstelt. In standaard monotoon gevallen is $Q$ positief definiet. Hier kan $Q$ negatief zijn.

B. De Belangrijke Aanneming (S)

Om de globale monotonievoorwaarde te vervangen, introduceren de auteurs een lokale stabiliteitsaanneming (S) voor de stationaire oplossing $(\bar{u}, \bar{m})$. Deze aanneming bestaat uit drie delen:

1. Identiteit: $D\bar{m} = -\bar{m} D\bar{u}$ (geldt voor stationaire Fokker-Planck-oplossingen).
2. Poincaré-ongelijkheid: $\bar{m}$ voldoet aan een gewogen Poincaré-ongelijkheid.
3. Strenge tweede-orde positiviteit: Er bestaat $\eta \in (0, 1)$ zodat voor alle $\mu$ met gemiddelde nul:
   $$\int_\Omega \left( f_m(x, \bar{m})\mu^2 + \bar{m} \left| D\left(\frac{\mu}{\bar{m}}\right) \right|^2 + \delta \frac{\mu^2}{\bar{m}} \right) dx \geq \eta \int_\Omega \bar{m} \left| D\left(\frac{\mu}{\bar{m}}\right) \right|^2 dx$$
   Deze voorwaarde wordt geïnterpreteerd als de positiviteit van de hoofd-eigenwaarde van de gelineariseerde stationaire operator. Het is zwakker dan globale monotonie, maar sterk genoeg om lokale niet-degeneratie te garanderen.

C. Constructie van een Lyapunov-functie

In plaats van te vertrouwen op de monotonie van de koppeling, construeren de auteurs een gewijzigde Lyapunov-functionaal (aangeduid als $\Phi$ of $\tilde{\Phi}$):
$$\tilde{\Phi}(t) = \int_\Omega e^{-\delta t} \left( \mu v + \frac{\mu^2}{\bar{m}} \right) dx$$
Door $\tilde{\Phi}$ te differentiëren en gebruik te maken van de symmetrie van de operatoren en aanneming (S), leiden zij een differentiaalongelijkheid af van de vorm:
$$-\dot{\tilde{\Phi}}(t) \geq c \tilde{\Phi}(t)$$
Deze ongelijkheid impliceert exponentiële afname van de functionaal, wat het turnpike-gedrag drijft. Het bewijs vereist zorgvuldige behandeling van niet-lineaire termen van lagere orde en de disconteringsfactor $\delta$.

D. A priori-schattingen en Vastpunt

1. $L^2$-schattingen: Zij stellen eerst gewogen $L^2$-exponentiële afname-schattingen vast voor $\mu$ en $Dv$ met behulp van de Lyapunov-functionaal.
2. $L^\infty$-schattingen: Met behulp van parabolische regulariteitstheorie (Schauder-schattingen, Cole-Hopf-transformatie voor de Hamilton-Jacobi-vergelijking) "bootstrappen" zij de $L^2$-afname naar $L^\infty$-afname.
3. Vastpuntargument: Zij definiëren een afbeelding $F$ op een ruimte van functies die dicht bij de stationaire oplossing liggen. Met behulp van de Leray-Schauder-vastpuntsstelling bewijzen zij het bestaan van een oplossing voor het niet-lineaire systeem die voldoet aan de afgeleide a priori-schattingen, mits de begin-/einddata voldoende klein zijn.

3. Belangrijkste Bijdragen

1. Verzwakking van Monotonie: Het artikel vestigt succesvol een lokaal turnpike-eigenschap zonder de globale Lasry-Lions-monotonievoorwaarde. Dit maakt het bestuderen van systemen met meerdere stationaire evenwichten mogelijk.
2. Lokale Stabiliteit via Spectrale Voorwaarden: De auteurs identificeren dat de strenge positiviteit van de hoofd-eigenwaarde van het gelineariseerde stationaire systeem (Aanneming S) voldoende is om lokale exponentiële stabiliteit te garanderen. Dit verbindt spectrale theorie van het stationaire probleem met de langetijddynamica van het tijdsafhankelijke probleem.
3. Uitbuiting van Symmetrie: Het werk benadrukt hoe de specifieke structuur van de kwadratische Hamiltoniaan een symmetrie in de gelineariseerde operatoren mogelijk maakt die essentieel is voor het construeren van de Lyapunov-functionaal in niet-monotoon settings.
4. Bestaan van Stabiele Trajectoria: Het artikel bewijst dat voor elke stationaire oplossing die (S) voldoet, er ten minste één dynamisch traject bestaat (voor eindige en oneindige horizons) dat exponentieel dicht bij deze toestand blijft, mits de randvoorwaarden dicht genoeg liggen.

4. Hoofdresultaten

• Stelling 1.1 (A priori-schattingen): Onder aanneming (S), als een oplossing $(u, m)$ aanvankelijk dicht bij $(\bar{u}, \bar{m})$ ligt, voldoet deze aan een contractiviteitseigenschap: de afstand tot de stationaire toestand neemt exponentieel af in de tijd (met snelheden afhankelijk van $\delta$ en de dimensie).
• Stelling 1.2 (Bestaan eindige horizon): Op de torus $\mathbb{T}^n$, als de beginverdeling $m_0$ en de eindkosten $u_T$ voldoende dicht bij $\bar{m}$ en $\bar{u}$ liggen, bestaat er een klassieke oplossing $(u_T, m_T)$ voor het MFG-systeem die voldoet aan de lokale exponentiële turnpike-eigenschap:
  $$\|m_T(t, \cdot) - \bar{m}(\cdot)\|_{L^\infty} \leq C (e^{-\sigma_1 t} + e^{-\sigma_2 (T-t)})$$
• Stelling 4.3 (Oneindige horizon): Door de limiet $T \to \infty$ te nemen, vestigen de auteurs het bestaan van een dynamisch evenwicht op $[0, \infty)$ dat exponentieel convergeert naar de stationaire toestand $(\bar{u}, \bar{m})$.

5. Betekenis en Implicaties

• Theoretische Vooruitgang: Dit werk overbrugt de kloof tussen optimal control-theorie (waar turnpike-eigenschappen goed bestudeerd zijn) en Mean Field Games, specifiek het niet-monotone regime dat voorkomt in veel fysieke en economische modellen (bijv. modellen met congestie of aantrekking-afstoting).
• Omgaan met Non-uniciteit: Het biedt een rigoureus kader om stabiliteit te analyseren in systemen waar meerdere evenwichten coëxisteren. Het verduidelijkt dat zelfs als een systeem meerdere stationaire toestanden heeft, specifieke toestanden lokaal stabiel en aantrekkelijk kunnen zijn, mits ze voldoen aan een niet-degeneratievoorwaarde (S).
• Toepassingen: De resultaten zijn van toepassing op modellen waarbij de koppeling $f(x, m)$ niet monotoon is (bijv. $f_m$ kan negatief zijn in sommige gebieden), wat gebruikelijk is in modellen voor menigtedynamica met aantrekking of biologisch zwermen.
• Toekomstige Richtingen: De auteurs merken op dat hoewel de kwadratische Hamiltoniaan cruciaal is voor de hier gebruikte symmetrie, de aanpak mogelijk uit te breiden is naar meer algemene Hamiltonianen. Zij benadrukken ook de open vraag of een globaal turnpike-eigenschap kan bestaan in aanwezigheid van meerdere stationaire toestanden.

Samenvattend bieden Cirant en De Bernardi een robuust analytisch kader voor het begrijpen van de langetermijnstabiliteit van Mean Field Games in de buurt van stationaire toestanden, waarbij zij voorbij de restrictieve aanname van globale monotonie gaan door gebruik te maken van lokale spectrale eigenschappen en de specifieke geometrie van kwadratische Hamiltonianen.