A dimension-free interpolation of Caffarelli's contraction theorem

Riepilogo Tecnico: Un'Interpolazione Indipendente dalla Dimensione del Teorema di Contrazione di Caffarelli

Enunciato del Problema
Il lavoro affronta la regolarità della mappa di Brenier (la mappa di trasporto ottimo per il costo quadratico) tra due misure di probabilità su $\mathbb{R}^n$. Nello specifico, si cercano stime globali di Lipschitz per il gradiente del potenziale di trasporto $\nabla \phi$ quando le densità sorgente e target appartengono a una specifica famiglia di misure che interpolano tra densità di tipo polinomiale e densità log-convesse.

Le densità sono definite come:
$$\rho_{U,p} = Z_{U,p}^{-1} \exp(-\Theta_p(U)), \quad \Theta_p(t) = p \log\left(1 + \frac{t}{p}\right)$$
dove $p \in [n, +\infty]$. Il caso $p = +\infty$ corrisponde alle densità log-convesse ($\Theta_\infty(t) = t$) studiate nel celebre teorema di contrazione di Caffarelli. Gli autori considerano una mappa di trasporto che spinge una misura sorgente $\rho_{V,d}$ in avanti verso una misura target $\rho_{W,D}$, dove i parametri $d$ e $D$ soddisfano $n \le d \le D \le +\infty$.

La sfida centrale è stabilire limiti indipendenti dalla dimensione sull'Hessiano del potenziale di trasporto ($\|D^2\phi\|_{L^\infty}$) che valgano uniformemente rispetto alla dimensione $n$ e ai parametri di interpolazione $d$ e $D$. Lavori precedenti degli autori e di altri (in particolare [5]) avevano fornito stime per il caso polinomiale-su-polinomiale ($d=D < \infty$), ma soffrivano di una dipendenza esponenziale dalla dimensione. Il teorema di Caffarelli ($d=D=\infty$) forniva un limite netto e indipendente dalla dimensione, ma estendere questa nettezza al regime polinomiale intermedio con costanti uniformi rimaneva un problema aperto.

Metodologia
Gli autori combinano due distinti approcci analitici presenti in letteratura:

1. Argomento del Principio del Massimo: Seguendo l'approccio in [5], gli autori utilizzano l'equazione di Monge-Ampère e un principio del massimo applicato alle derivate seconde del potenziale. Ciò implica analizzare l'equazione in un punto in cui la derivata direzionale seconda raggiunge il suo massimo.
2. Stime di Monotonia e Crescita: Seguendo l'approccio in [9] (ispirato da Fathi), gli autori impiegano proprietà di monotonia della mappa di trasporto ottimo e disuguaglianze di concentrazione per derivare limiti quantitativi di crescita sulla mappa di trasporto stessa (cioè limiti su $|\nabla \phi|$).

L'innovazione tecnica centrale è l'integrazione di queste due prospettive. Gli autori derivano dapprima un "principio del massimo a due parametri" (Lemma 2.1) che mette in relazione l'Hessiano del potenziale con gli Hessiani dei potenziali $V$ e $W$ e i gradienti della mappa. Successivamente, inseriscono stime di crescita esplicite e a parametri finiti per $|\nabla \phi|$ (derivate tramite l'argomento di Fathi nelle Proposizioni 2.2 e 2.3) all'interno di questa disuguaglianza del principio del massimo.

Un aspetto critico della metodologia è la gestione attenta dei limiti. Per recuperare il limite netto di Caffarelli nel limite $d, D \to \infty$, gli autori dimostrano che l'ordine dei limiti è cruciale: si deve prima fissare un raggio $R$, far tendere $D \to \infty$ e $d \to \infty$, e poi far tendere $R \to \infty$. Questo ordinamento garantisce che le costanti rimangano stabili e convergano ai valori netti.

Contributi e Risultati Chiave

1. Stima Globale dell'Hessiano Indipendente dalla Dimensione (Teorema 1.2):
   Il lavoro stabilisce un limite globale di Lipschitz per la mappa di Brenier tra $\rho_{V,d}$ e $\rho_{W,D}$ con $d \le D$. Il limite è uniforme rispetto alla dimensione $n$ e ai parametri $d, D$.

   • Miglioramento rispetto a [5]: Nel caso $d=D < \infty$, questo risultato migliora i limiti in [5] rimuovendo la dipendenza esponenziale dalla dimensione $d$.
   • Struttura: La costante $C_{glob}$ dipende da quantità strutturali dei potenziali $V$ e $W$ (in particolare i loro limiti sull'Hessiano $C_V^{(2)}, c_W^{(2)}$ e i limiti sui gradienti) ma è indipendente da $n$.

2. Stima Localizzata dell'Hessiano (Teorema 1.3):
   Gli autori provano una stima raffinata per l'Hessiano del potenziale all'interno di una sfera fissa $B_R(0)$. Questo limite localizzato coinvolge costanti ($R_{d,D}(R)$ e $G_{d,D}(R)$) che controllano la crescita della mappa di trasporto all'interno di tale sfera.

   • Stabilità: Queste costanti localizzate sono stabili sotto i limiti $d, D \to +\infty$.
   • Meccanismo: La prova si basa sulla definizione di un "raggio di Fathi" $R_{d,D}(R)$ che limita l'immagine della sfera $B_R(0)$ sotto la mappa di trasporto, garantendo che il principio del massimo possa essere applicato efficacemente all'interno di un dominio controllato.

3. Recupero del Teorema di Caffarelli (Corollari 1.4 e 1.5):
   Prendendo il limite $D \to +\infty$ (caso polinomiale-su-log-convesso) e successivamente $d \to +\infty$, gli autori recuperano il teorema di contrazione di Caffarelli con costanti nette.

   • Corollario 1.4: Fornisce un limite per il caso $D=+\infty$ e $d$ finito, mostrando che il fattore di crescita scompare.
   • Corollario 1.5: Prendendo i limiti nell'ordine specifico ($D \to \infty$, poi $d \to \infty$, poi $R \to \infty$), gli autori recuperano rigorosamente il risultato classico: se $f=e^{-V}$ e $g=e^{-W}$ con $D^2V \le C_V^{(2)}I$ e $D^2W \ge c_W^{(2)}I$, allora $\|DT\|_{L^\infty} \le \sqrt{C_V^{(2)}/c_W^{(2)}}$.

Significato e Affermazioni
Il lavoro afferma di fornire un quadro unificato che interpola tra densità di tipo polinomiale e densità log-convesse mantenendo al contempo un controllo indipendente dalla dimensione.

• Uniformità: Il significato primario è l'uniformità delle stime. I limiti non peggiorano all'aumentare della dimensione $n$, né dipendono esponenzialmente dai parametri di interpolazione.
• Nettezza: La metodologia permette di recuperare le costanti nette nel teorema di Caffarelli, cosa che le precedenti stime polinomiale-su-polinomiale non potevano raggiungere a causa della loro dipendenza dimensionale.
• Robustezza: L'approccio è descritto come "estremamente robusto", gestendo diversi parametri sorgente e target ($d \le D$) e recuperando risultati noti come casi particolari (ad esempio, il caso polinomiale-su-polinomiale di [5] e il caso log-convesso di Caffarelli).

Gli autori notano che la restrizione $d \le D$ è naturale; se $d > D$, la mappa di trasporto potrebbe esibire una crescita superlineare all'infinito, impedendo un limite globale di Lipschitz. Il lavoro conclude con argomenti di regolarizzazione standard per estendere i risultati del principio del massimo liscio all'ambito generale $C^{1,1}_{loc}$ richiesto dalle ipotesi.