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

1. Enunciato del Problema

Il lavoro indaga il comportamento a lungo termine delle soluzioni dei sistemi di Giochi a Campo Medio (MFG) e dei problemi di Controllo a Campo Medio (MFC) con un Hamiltoniana quadratica allorché l'orizzonte temporale $T \to +\infty$.

Il sistema specifico studiato è:
$$\begin{cases} -\partial_t u - \Delta u + \frac{|Du|^2}{2} - f(x, m) + \delta u = 0 & \text{su } (0, T) \times \Omega \\ \partial_t m - \Delta m - \text{div}(m Du) = 0 & \text{su } (0, T) \times \Omega \\ m(0, x) = m_0(x), \quad u(T, x) = u_T(x) & \text{su } \Omega \end{cases}$$
dove $\Omega$ è o il toro piatto $\mathbb{T}^n$ o $\mathbb{R}^n$, e $\delta \geq 0$ è un fattore di sconto.

La Domanda Centrale:
Dato un equilibrio stazionario $(\bar{u}, \bar{m})$ che risolve il sistema stazionario associato, sotto quali condizioni questo equilibrio attrae le soluzioni dinamiche $(u, m)$ al tendere di $T \to \infty$? Nello specifico, gli autori mirano a stabilire una proprietà di turnpike locale: se i dati iniziali e terminali sono sufficientemente vicini allo stato stazionario, la soluzione trascorre la maggior parte del tempo esponenzialmente vicina a $(\bar{u}, \bar{m})$?

La Sfida:
I risultati standard di turnpike nella letteratura MFG si basano tipicamente sulla condizione di monotonia Lasry-Lions ($f_m \geq c > 0$), che garantisce l'unicità globale dello stato stazionario e la stabilità globale. Questo lavoro affronta il caso più difficile in cui la monotonia è assente, permettendo la presenza di stati stazionari multipli e potenziale non-unicità. L'obiettivo è dimostrare la stabilità per specifiche soluzioni stazionarie senza assumere l'unicità globale.

2. Metodologia

Gli autori impiegano un approccio perturbativo combinato con stime energetiche e un argomento di punto fisso.

A. Linearizzazione e Simmetria

L'analisi ruota attorno alle perturbazioni $\mu = m - \bar{m}$ e $v = u - \bar{u}$. Gli autori linearizzano il sistema attorno allo stato stazionario. Un'osservazione cruciale è che per l'Hamiltoniana quadratica, il sistema linearizzato possiede una specifica proprietà di simmetria dovuta all'identità $D\bar{m} = -\bar{m} D\bar{u}$.

Essi riformulano il sistema linearizzato come un sistema hamiltoniano che coinvolge gli operatori $A$ e $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}$$
dove $Q$ rappresenta il termine di accoppiamento $f_m$. Nei casi monotoni standard, $Q$ è definita positiva. Qui, $Q$ potrebbe non essere positiva.

B. L'Ipotesi Chiave (S)

Per sostituire la condizione globale di monotonia, gli autori introducono un'ipotesi di stabilità locale (S) sulla soluzione stazionaria $(\bar{u}, \bar{m})$. Questa ipotesi consta di tre parti:

1. Identità: $D\bar{m} = -\bar{m} D\bar{u}$ (vale per le soluzioni stazionarie di Fokker-Planck).
2. Disuguaglianza di Poincaré: $\bar{m}$ soddisfa una disuguaglianza di Poincaré pesata.
3. Positività Stretta del Secondo Ordine: Esiste $\eta \in (0, 1)$ tale che per ogni $\mu$ a media nulla:
   $$\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$$
   Questa condizione è interpretata come la positività dell'autovalore principale dell'operatore stazionario linearizzato. È più debole della monotonia globale ma sufficientemente forte da garantire la non-degenerazione locale.

C. Costruzione della Funzione di Lyapunov

Invece di affidarsi alla monotonia dell'accoppiamento, gli autori costruiscono un funzionale di Lyapunov modificato (denotato $\Phi$ o $\tilde{\Phi}$):
$$\tilde{\Phi}(t) = \int_\Omega e^{-\delta t} \left( \mu v + \frac{\mu^2}{\bar{m}} \right) dx$$
Differenziando $\tilde{\Phi}$ e sfruttando la simmetria degli operatori e l'ipotesi (S), essi derivano una disuguaglianza differenziale della forma:
$$-\dot{\tilde{\Phi}}(t) \geq c \tilde{\Phi}(t)$$
Questa disuguaglianza implica il decadimento esponenziale del funzionale, che guida il comportamento di turnpike. La prova richiede un'attenta gestione dei termini non lineari di ordine inferiore e del fattore di sconto $\delta$.

D. Stime A Priori e Punto Fisso

1. Stime $L^2$: Essi stabiliscono prima stime di decadimento esponenziale pesate in $L^2$ per $\mu$ e $Dv$ utilizzando il funzionale di Lyapunov.
2. Stime $L^\infty$: Utilizzando la teoria della regolarità parabolica (stime di Schauder, trasformazione di Cole-Hopf per l'equazione di Hamilton-Jacobi), essi elevano il decadimento $L^2$ a decadimento $L^\infty$.
3. Argomento di Punto Fisso: Essi definiscono una mappa $F$ su uno spazio di funzioni vicine alla soluzione stazionaria. Utilizzando il teorema del punto fisso di Leray-Schauder, dimostrano l'esistenza di una soluzione al sistema non lineare che soddisfa le stime a priori derivate, a condizione che i dati iniziali/terminali siano sufficientemente piccoli.

3. Contributi Chiave

1. Rilassamento della Monotonia: Il lavoro stabilisce con successo una proprietà di turnpike locale senza la condizione globale di monotonia Lasry-Lions. Ciò permette lo studio di sistemi con equilibri stazionari multipli.
2. Stabilità Locale tramite Condizioni Spettrali: Gli autori identificano che la positività stretta dell'autovalore principale del sistema stazionario linearizzato (Ipotesi S) è sufficiente a garantire la stabilità esponenziale locale. Ciò collega la teoria spettrale del problema stazionario alla dinamica a lungo termine del problema dipendente dal tempo.
3. Sfruttamento della Simmetria: Il lavoro evidenzia come la struttura specifica dell'Hamiltoniana quadratica permetta una simmetria negli operatori linearizzati che è essenziale per costruire il funzionale di Lyapunov in contesti non monotoni.
4. Esistenza di Traiettorie Stabili: Il lavoro dimostra che per ogni soluzione stazionaria che soddisfa (S), esiste almeno una traiettoria dinamica (per orizzonti finiti e infiniti) che rimane esponenzialmente vicina ad essa, a condizione che le condizioni al contorno siano sufficientemente vicine.

4. Risultati Principali

• Teorema 1.1 (Stime A Priori): Sotto l'ipotesi (S), se una soluzione $(u, m)$ è inizialmente vicina a $(\bar{u}, \bar{m})$, soddisfa una proprietà di contrattività: la distanza dallo stato stazionario decade esponenzialmente nel tempo (con tassi dipendenti da $\delta$ e dalla dimensione).
• Teorema 1.2 (Esistenza Orizzonte Finito): Sul toro $\mathbb{T}^n$, se la distribuzione iniziale $m_0$ e il costo terminale $u_T$ sono sufficientemente vicini a $\bar{m}$ e $\bar{u}$, esiste una soluzione classica $(u_T, m_T)$ al sistema MFG che soddisfa la proprietà di turnpike esponenziale locale:
  $$\|m_T(t, \cdot) - \bar{m}(\cdot)\|_{L^\infty} \leq C (e^{-\sigma_1 t} + e^{-\sigma_2 (T-t)})$$
• Teorema 4.3 (Orizzonte Infinito): Passando al limite $T \to \infty$, gli autori stabiliscono l'esistenza di un equilibrio dinamico su $[0, \infty)$ che converge esponenzialmente allo stato stazionario $(\bar{u}, \bar{m})$.

5. Significato e Implicazioni

• Avanzamento Teorico: Questo lavoro colma il divario tra la teoria del controllo ottimo (dove le proprietà di turnpike sono ben studiate) e i Giochi a Campo Medio, affrontando specificamente il regime non monotono che è prevalente in molti modelli fisici ed economici (ad es. modelli con congestione o attrazione-repulsione).
• Gestione della Non-Unicità: Fornisce un quadro rigoroso per analizzare la stabilità in sistemi dove coesistono equilibri multipli. Chiarisce che anche se un sistema ha stati stazionari multipli, specifici possono essere localmente stabili e attrattivi, a condizione che soddisfino una condizione di non-degenerazione (S).
• Applicazioni: I risultati si applicano a modelli in cui l'accoppiamento $f(x, m)$ non è monotono (ad es. $f_m$ può essere negativo in alcune regioni), il che è comune nei modelli di dinamica delle folle con attrazione o di sciame biologico.
• Direzioni Future: Gli autori notano che, sebbene l'Hamiltoniana quadratica sia cruciale per la simmetria utilizzata qui, l'approccio potrebbe estendersi ad Hamiltoniane più generali. Evidenziano inoltre la questione aperta se una proprietà di turnpike globale possa esistere in presenza di stati stazionari multipli.

In sintesi, Cirant e De Bernardi forniscono un quadro analitico robusto per comprendere la stabilità a lungo termine dei Giochi a Campo Medio vicino a stati stazionari, superando l'assunzione restrittiva della monotonia globale sfruttando le proprietà spettrali locali e la geometria specifica delle Hamiltoniane quadratiche.