Optimal regularity at the free boundary in one-dimensional first-order mean field games

Sintesi Tecnica: Regolarità Ottimale al Confine Libero in Giochi a Campo Medio del Primo Ordine Unidimensionali

Enunciato del Problema
Questo articolo affronta la regolarità delle soluzioni per Giochi a Campo Medio (MFG) del primo ordine unidimensionali con densità a supporto compatto e accoppiamento di potenza. Il sistema è governato dalle equazioni di Hamilton–Jacobi e di continuità:
$$\begin{cases} -u_t + \frac{1}{2}u_x^2 = m^\theta & \text{in } \mathbb{R} \times (0, T), \\ m_t - (m u_x)_x = 0 & \text{in } \mathbb{R} \times (0, T), \end{cases}$$
dove $\theta > 0$, $m$ è la densità degli agenti e $u$ è la funzione valore. Lo studio si concentra sul regime in cui la densità $m$ ha supporto compatto, creando un confine libero tra la fase positiva ($m>0$) e la fase nulla. La questione centrale è determinare la regolarità precisa della funzione valore $u$, della pressione $p = m^\theta$ e delle curve del confine libero stesse, in particolare all'interfaccia dove la densità si annulla.

Lavori precedenti hanno stabilito che le soluzioni hanno velocità di propagazione finita e che il confine libero è $C^{1,1}$. Tuttavia, la regolarità precisa della pressione e della funzione valore attraverso il confine libero rimaneva aperta. L'articolo nota che per la soluzione esplicita autosimilare di tipo Barenblatt, la pressione è Lipschitziana ma non $C^1$ attraverso il confine, e la funzione valore è $C^{1,1/2}$ ma non più regolare. L'obiettivo è dimostrare che questi limiti sono ottimali e generalmente raggiunti sotto ipotesi standard di non degenerazione sui dati iniziali.

Metodologia
La dimostrazione procede in coordinate lagrangiane, utilizzando un cambiamento di variabile singolare per trasformare il problema al confine libero in un problema di regolarità interna per un'equazione ellittica degenerata.

1. Formulazione Lagrangiana: Il sistema è riformulato utilizzando la mappa caratteristica $\gamma(y,t)$, dove $y$ è la coordinata iniziale. Il confine libero corrisponde agli estremi fissi $y=0$ e $y=b$ nello spazio lagrangiano. Il flusso $\gamma$ soddisfa un'equazione ellittica degenerata nello spazio-tempo:
   $$\gamma_{tt} + \theta p_0 \gamma_y^{-(2+\theta)} \gamma_{yy} = p_0' \gamma_y^{-(1+\theta)}.$$
   Qui, la degenerazione deriva dall'annullamento lineare della pressione iniziale $p_0(y) \sim y$ agli estremi.

2. Cambiamento di Variabile Singolare: Per gestire la degenerazione, l'autore introduce una coordinata di distanza radice quadrata $y = r^2/4$. Questa trasformazione converte l'annullamento lineare di $p_0$ in un comportamento quadratico in $r$. Di conseguenza, la degenerazione è ricastata come un peso radiale $W(r) \sim r^{N-1}$ in una dimensione effettiva $N = 4 + 2/\theta$. L'equazione diventa un'equazione in forma di divergenza con un peso che mima lo jacobiano radiale in dimensione $N$.

3. Rimuovibilità dell'Asse: Un passaggio cruciale è stabilire che l'"asse radiale" ($r=0$) è rimovibile nello spazio di Sobolev pesato poiché la dimensione effettiva $N > 2$. Ciò permette di estendere la soluzione per riflessione pari attraverso l'asse senza imporre condizioni al contorno aggiuntive. Il problema è così ridotto allo studio della regolarità interna di una soluzione pari di un'equazione ellittica pesata.

4. Bootstrap di Regolarità:

   • Regolarità Tangenziale: Utilizzando recenti stime di Schauder pesate per soluzioni pari (Sire–Terracini–Vita), l'autore stabilisce che la traccia della soluzione sull'asse è regolare nel tempo ($C^\infty$). Ciò implica che le curve del confine libero $\gamma_L(t)$ e $\gamma_R(t)$ sono regolari.
   • Regolarità Normale: Per recuperare la regolarità nella variabile spaziale, l'autore impiega una "discesa regolare-singolare". Analizzando l'equazione nella variabile lagrangiana originale $y$, il problema è ridotto a una struttura di equazione differenziale ordinaria (ODE) regolare-singolare. La non integrabilità della soluzione omogenea singolare garantisce che la soluzione erediti la regolarità del termine sorgente, permettendo la derivazione di derivate normali di ordine superiore.

Contributi e Risultati Chiave
L'articolo stabilisce i seguenti risultati di regolarità ottimali (Teorema 1.1) sotto ipotesi standard di non degenerazione sulla pressione iniziale $p_0$ (in particolare, $p_0$ si annulla linearmente al bordo ed è $C^{1,\sigma}$):

• Regolarità del Confine Libero: Le curve del confine libero $\gamma_L(t)$ e $\gamma_R(t)$ sono $C^\infty$ nel tempo.
• Regolarità della Pressione: La pressione $p = m^\theta$ è globalmente Lipschitziana ($W^{1,\infty}$) attraverso il confine libero. All'interno della fase positiva, se la pressione iniziale $p_0$ è $C^{\ell,\sigma}$, allora $p$ è $C^{\ell,\sigma}$ fino al confine libero.
• Regolarità della Funzione Valore: La funzione valore $u$ è $C^{1,1/2}$ globalmente. All'interno della fase positiva, se $p_0$ è $C^{\ell,\sigma}$, allora $u$ è $C^{\ell+1,\sigma}$ fino al confine libero.
• Ottimalità: Questi risultati confermano che il limite Lipschitziano per $p$ e il limite $C^{1,1/2}$ per $u$ sono ottimali e non possono essere migliorati, corrispondendo al comportamento delle soluzioni esplicite autosimili.

Significato
L'articolo risolve questioni aperte riguardanti la regolarità degli MFG del primo ordine a supporto compatto, precedentemente lasciate irrisolte in [4]. Dimostra una profonda analogia strutturale tra questi MFG e l'Equazione dei Mezzi Porosi (PME), dove l'annullamento lineare della pressione e le ipotesi di non degenerazione guidano similmente la regolarità del confine libero. Tuttavia, l'articolo evidenzia che il contesto MFG sostituisce la dissipazione parabolica della PME con una struttura Hamilton–Jacobi/continuità.

Il contributo metodologico primario è l'applicazione riuscita delle stime di Schauder pesate per soluzioni pari a un problema ellittico degenerato derivante dagli MFG. Interpretando la degenerazione del confine libero come un asse radiale rimovibile in una dimensione effettiva superiore, l'autore colma il divario tra problemi al confine libero e la teoria della regolarità interna per equazioni degeneri. Ciò fornisce un quadro rigoroso per stabilire la regolarità ottimale in sistemi dove la densità si annulla al bordo.