Riepilogo Tecnico: Stabilità delle Mappe di Trasporto Ottimo e Seconda Variazione della Distanza 2-Monge–Kantorovich

1. Enunciato del Problema

Il lavoro affronta la stabilità quantitativa delle mappe e dei potenziali di trasporto ottimo nel contesto del costo quadratico ($p=2$). Nello specifico, esamina come la mappa di trasporto ottimo $T = \nabla \phi$ e il potenziale di Brenier associato $\phi$ variano quando la densità sorgente $f$ e la densità target $g$ vengono perturbate.

Mentre la stabilità qualitativa (convergenza in misura o convergenza uniforme sotto forti ipotesi) è ben consolidata tramite argomenti di compattezza, gli autori si concentrano sulla derivazione di stime quantitative. Queste stime limitano la distanza tra mappe/potenziali ottimi corrispondenti a densità diverse in termini della distanza tra le densità stesse (misurata in $L^p$, $L^2$ o distanza 2-Monge–Kantorovich). Il lavoro mira specificamente a contesti in cui le densità sono non degeneri (limitate inferiormente da zero) e possiedono regolarità di Hölder, su domini uniformemente convessi.

2. Metodologia

La strategia tecnica centrale consiste nel linearizzare l'equazione di Monge–Ampère lungo interpolazioni lisce dei dati. La metodologia procede come segue:

1. Interpolazione: Date due coppie di densità $(f_0, g_0)$ e $(f_1, g_1)$, gli autori costruiscono una curva liscia di densità $\{(f_t, g_t)\}_{t \in [0,1]}$.
   • Per il Teorema 1.1, utilizzano geodetiche 2-Monge–Kantorovich (formulazione di Benamou–Brenier).
   • Per i Teoremi 1.2 e 1.3, utilizzano interpolazione lineare negli spazi $L^p$.
2. Derivazione dei Potenziali: Definiscono una curva di potenziali di Brenier $\phi_t$ corrispondente a $(f_t, g_t)$. La differenza $\phi_1 - \phi_0$ è espressa come l'integrale della sua derivata temporale: $\phi_1 - \phi_0 = \int_0^1 \partial_t \phi_t \, dt$.
3. Equazione Linearizzata: La derivata $\xi_t = \partial_t \phi_t$ è caratterizzata come l'unica soluzione di un'equazione di Monge–Ampère linearizzata derivata in forma di divergenza:
   $$-\text{div}\left[ f_t (D^2 \phi_t)^{-1} \nabla \xi_t \right] = \left( \frac{\partial_t g_t(\nabla \phi_t)}{g_t(\nabla \phi_t)} - \frac{\partial_t f_t}{f_t} \right) f_t \quad \text{in } \Omega,$$
   soggetta a condizioni al contorno di Neumann.
4. Regolarità ed Ellitticità: Un passaggio cruciale consiste nell'istituire che la matrice dei coefficienti $(D^2 \phi_t)^{-1}$ rimane uniformemente ellittica e che la soluzione $\xi_t$ mantiene una regolarità sufficiente (ad esempio, $C^{1,\alpha}$) lungo il percorso di interpolazione. Ciò si basa su:
   • Lemma 1.7: Un argomento di compattezza che dimostra che se le densità sono $C^{0,\beta}$ e non degeneri, il potenziale di Brenier è $C^{2,\alpha}$ fino al bordo.
   • Teorema della Funzione Implicita: Utilizzato per dimostrare la regolarità della mappa $t \mapsto \phi_t$ in opportuni spazi di Banach (Teorema 1.5).
5. Stima: Stimando $\xi_t$ mediante la teoria della regolarità ellittica (stime di Schauder, limiti $L^\infty$) e integrando rispetto a $t$, gli autori derivano i limiti finali di stabilità.

3. Contributi Chiave e Risultati

A. Stime di Stabilità Quantitativa

Il lavoro stabilisce tre principali teoremi di stabilità sotto l'ipotesi di densità non degeneri e continue secondo Hölder su domini uniformemente convessi con bordi lisci:

• Teorema 1.1 (Stabilità Lipschitziana in $L^2$):
  Per densità continue secondo Hölder, gli autori dimostrano la continuità lipschitziana delle mappe di trasporto ottimo nella norma $L^2$ rispetto alla distanza 2-Monge–Kantorovich ($d_2$) tra le densità:
  $$\|\nabla \phi_1 - \nabla \phi_0\|_{L^2} \leq C [d_2(f_0, f_1) + d_2(g_0, g_1)].$$
  Ciò migliora risultati precedenti (ad esempio, Berman [20]) che spesso coinvolgevano esponenti dipendenti dalla dimensione o richiedevano una regolarità più forte. Gli autori notano che questo comportamento lipschitziano è una caratteristica specifica di misure regolari e non degeneri.

• Teorema 1.2 (Stabilità senza Ipotesi di Continuità):
  Rimuovendo l'ipotesi di continuità secondo Hölder ma mantenendo l'integrabilità in $L^2$ e la non degenerazione, gli autori ottengono una stima di stabilità lipschitziana per i potenziali di Brenier nella norma $L^2$:
  $$\|\phi_0 - \phi_1\|_{L^2} \leq C (\|f_0 - f_1\|_{L^2} + \|g_0 - g_1\|_{L^2}).$$
  Derivano inoltre una stima corrispondente per i gradienti con un esponente di potenza $1/3$. Gli autori ipotizzano che il limite in $L^2$ sui potenziali potrebbe potenzialmente essere migliorato a un limite in $L^\infty$ se fosse possibile dimostrare una specifica disuguaglianza di Sobolev per l'operatore linearizzato.

• Teorema 1.3 (Stabilità Uniforme in $C^{1,\alpha}$):
  In un contesto metrico uniforme, gli autori dimostrano che per densità $C^{0,\beta}$, le mappe ottimali sono stabili nella norma $C^{1,\alpha}$ rispetto alle distanze $L^p$ delle densità (dove $p = d/(1-\alpha)$):
  $$\|\phi_1 - \phi_0\|_{C^{1,\alpha}} \leq C (\|f_1 - f_0\|_{L^p} + \|g_1 - g_0\|_{L^p}).$$
  A differenza delle precedenti stime interne (ad esempio, [28, 29]), questo risultato è globale, si applica a perturbazioni attorno a mappe non identiche e non soffre di esponenti che decadono con la dimensione. Gli autori sottolineano che la condizione di limitazione inferiore ($g_i \geq a > 0$) è fondamentale; senza di essa, anche in 1D, non esiste un esponente di stabilità di Hölder $\eta < 1$.

B. Seconda Variazione della Distanza

• Teorema 1.4: Gli autori derivano una formula esplicita per la seconda variazione del quadrato della distanza 2-Monge–Kantorovich lungo una perturbazione delle densità.
  $$\frac{1}{2} \frac{d^2}{dt^2}\bigg|_{t=0} [d_2(f_t, g_t)^2] = \int_\Omega \langle (D^2 \phi_0)^{-1} \nabla \xi, \nabla \xi \rangle f \, dx,$$
  dove $\xi$ è la soluzione dell'equazione linearizzata. Questa formula quantifica la convessità lineare della distanza e estende calcoli formali precedentemente trovati in [30] (che erano limitati a perturbazioni attorno all'identità) a mappe di trasporto ottimo regolari generali.

C. Strumento Tecnico: Differenziabilità Temporale

• Teorema 1.5 e Corollario 1.6: Una parte significativa del lavoro è dedicata a dimostrare che il potenziale di Brenier $\phi_t$ è differenziabile rispetto al parametro di interpolazione $t$. Gli autori caratterizzano la derivata $\partial_t \phi_t$ come la soluzione debole dell'equazione di Monge–Ampère linearizzata in forma di divergenza. Questo risultato è di interesse indipendente per l'analisi di problemi di trasporto ottimo dipendenti dal tempo.

4. Significato e Affermazioni

Gli autori collocano il loro lavoro come un significativo avanzamento nella stabilità quantitativa del trasporto ottimo, un'area di ricerca attualmente attiva.

• Miglioramento degli Esponenti: Il lavoro afferma di fornire stime di stabilità lipschitziane (esponente 1) in contesti in cui la letteratura precedente spesso produceva esponenti sub-lineari (ad esempio, $1/2$, $1/5$, o esponenti decrescenti dipendenti dalla dimensione).
• Globale vs. Interno: Il Teorema 1.3 è evidenziato come una stima globale, in contrasto con risultati precedenti spesso limitati a stime interne o a contesti geometrici specifici (ad esempio, superfici di codimensione uno).
• Seconda Variazione Esplicita: La derivazione della formula per la seconda variazione è presentata come uno strumento che quantifica esplicitamente la convessità della distanza di Monge–Kantorovich, estendendo la comprensione teorica oltre la mappa identità.
• Limitazioni: Gli autori sono modesti riguardo alla portata, affermando esplicitamente che i loro risultati dipendono da densità non degeneri (limitate inferiormente da zero) e regolarità di Hölder. Riconoscono che per misure discrete o densità nulle, la natura lipschitziana delle stime si rompe e gli esponenti ottimali potrebbero essere inferiori (ipotizzati essere $1/2$ per target discreti). Non affermano di risolvere la stabilità per misure generali irregolari o target singolari.

In sintesi, il lavoro fornisce un quadro rigoroso per la linearizzazione dell'equazione di Monge–Ampère in forma di divergenza al fine di ottenere limiti di stabilità quantitativa netti per mappe e potenziali di trasporto ottimo sotto ipotesi di regolarità e non degenerazione, fornendo inoltre una nuova formula per la seconda variazione della distanza di trasporto.