A dimension-free interpolation of Caffarelli's contraction theorem

Resumo Técnico: Uma Interpolação Livre de Dimensão do Teorema de Contração de Caffarelli

Enunciado do Problema
O artigo aborda a regularidade do mapa de Brenier (o mapa de transporte ótimo para custo quadrático) entre duas medidas de probabilidade em $\mathbb{R}^n$. Especificamente, busca estimativas globais de Lipschitz para o gradiente do potencial de transporte $\nabla \phi$ quando as densidades de origem e destino pertencem a uma família específica de medidas que interpola entre densidades do tipo polinomial e densidades log-côncavas.

As densidades são definidas como:
$$\rho_{U,p} = Z_{U,p}^{-1} \exp(-\Theta_p(U)), \quad \Theta_p(t) = p \log\left(1 + \frac{t}{p}\right)$$
onde $p \in [n, +\infty]$. O caso $p = +\infty$ corresponde às densidades log-côncavas ($\Theta_\infty(t) = t$) estudadas no célebre teorema de contração de Caffarelli. Os autores consideram um mapa de transporte que empurra uma medida de origem $\rho_{V,d}$ para uma medida de destino $\rho_{W,D}$, onde os parâmetros $d$ e $D$ satisfazem $n \le d \le D \le +\infty$.

O desafio central é estabelecer limites livres de dimensão para o Hessiano do potencial de transporte ($\|D^2\phi\|_{L^\infty}$) que se mantenham uniformemente em relação à dimensão $n$ e aos parâmetros de interpolação $d$ e $D$. Trabalhos anteriores dos autores e de outros (especificamente [5]) forneceram estimativas para o caso polinomial-a-polinomial ($d=D < \infty$), mas sofriam de uma dependência exponencial em relação à dimensão. O teorema de Caffarelli ($d=D=\infty$) forneceu um limite agudo e livre de dimensão, mas estender essa agudeza ao regime polinomial intermediário com constantes uniformes permanecia um problema em aberto.

Metodologia
Os autores combinam duas abordagens analíticas distintas encontradas na literatura:

1. Argumento do Princípio do Máximo: Seguindo a abordagem em [5], os autores utilizam a equação de Monge-Ampère e um princípio do máximo aplicado às segundas derivadas do potencial. Isso envolve analisar a equação em um ponto onde a segunda derivada direcional atinge seu máximo.
2. Estimativas de Monotonicidade e Crescimento: Seguindo a abordagem em [9] (inspirada por Fathi), os autores empregam propriedades de monotonicidade do mapa de transporte ótimo e desigualdades de concentração para derivar limites quantitativos de crescimento no próprio mapa de transporte (ou seja, limites sobre $|\nabla \phi|$).

A inovação técnica central é a integração dessas duas perspectivas. Os autores primeiro derivam um "princípio do máximo de dois parâmetros" (Lema 2.1) que relaciona o Hessiano do potencial aos Hessianos dos potenciais $V$ e $W$ e aos gradientes do mapa. Em seguida, inserem estimativas de crescimento explícitas e de parâmetro finito para $|\nabla \phi|$ (derivadas via argumento de Fathi nas Proposições 2.2 e 2.3) nesta desigualdade do princípio do máximo.

Um aspecto crítico da metodologia é o tratamento cuidadoso dos limites. Para recuperar o limite agudo de Caffarelli no limite $d, D \to \infty$, os autores demonstram que a ordem dos limites é crucial: deve-se primeiro fixar um raio $R$, deixar $D \to \infty$ e $d \to \infty$, e depois deixar $R \to \infty$. Esta ordenação garante que as constantes permaneçam estáveis e convirjam para os valores agudos.

Principais Contribuições e Resultados

1. Estimativa Global de Hessiano Livre de Dimensão (Teorema 1.2):
   O artigo estabelece um limite global de Lipschitz para o mapa de Brenier entre $\rho_{V,d}$ e $\rho_{W,D}$ onde $d \le D$. O limite é uniforme na dimensão $n$ e nos parâmetros $d, D$.

   • Melhoria sobre [5]: No caso $d=D < \infty$, este resultado melhora os limites em [5] removendo a dependência exponencial da dimensão $d$.
   • Estrutura: A constante $C_{glob}$ depende de quantidades estruturais dos potenciais $V$ e $W$ (especificamente seus limites de Hessiano $C_V^{(2)}, c_W^{(2)}$ e limites de gradiente), mas é independente de $n$.

2. Estimativa Localizada de Hessiano (Teorema 1.3):
   Os autores provam uma estimativa refinada para o Hessiano do potencial dentro de uma bola fixa $B_R(0)$. Este limite localizado envolve constantes ($R_{d,D}(R)$ e $G_{d,D}(R)$) que controlam o crescimento do mapa de transporte dentro dessa bola.

   • Estabilidade: Estas constantes localizadas são estáveis sob os limites $d, D \to +\infty$.
   • Mecanismo: A prova baseia-se na definição de um "raio de Fathi" $R_{d,D}(R)$ que limita a imagem da bola $B_R(0)$ sob o mapa de transporte, garantindo que o princípio do máximo possa ser aplicado efetivamente dentro de um domínio controlado.

3. Recuperação do Teorema de Caffarelli (Corolários 1.4 e 1.5):
   Ao tomar o limite $D \to +\infty$ (caso polinomial-a-log-côncavo) e subsequentemente $d \to +\infty$, os autores recuperam o teorema de contração de Caffarelli com constantes agudas.

   • Corolário 1.4: Fornece um limite para o caso $D=+\infty$ e $d$ finito, mostrando que o fator de crescimento desaparece.
   • Corolário 1.5: Ao tomar os limites na ordem específica ($D \to \infty$, depois $d \to \infty$, depois $R \to \infty$), os autores recuperam rigorosamente o resultado clássico: se $f=e^{-V}$ e $g=e^{-W}$ com $D^2V \le C_V^{(2)}I$ e $D^2W \ge c_W^{(2)}I$, então $\|DT\|_{L^\infty} \le \sqrt{C_V^{(2)}/c_W^{(2)}}$.

Significado e Alegações
O artigo alega fornecer um quadro unificado que interpola entre densidades do tipo polinomial e densidades log-côncavas, mantendo o controle livre de dimensão.

• Uniformidade: O significado primário é a uniformidade das estimativas. Os limites não se deterioram à medida que a dimensão $n$ aumenta, nem dependem exponencialmente dos parâmetros de interpolação.
• Agudeza: A metodologia permite a recuperação das constantes agudas no teorema de Caffarelli, o que estimativas anteriores de polinomial-a-polinomial não conseguiam alcançar devido à sua dependência dimensional.
• Robustez: A abordagem é descrita como "extremamente robusta", lidando com diferentes parâmetros de origem e destino ($d \le D$) e recuperando resultados conhecidos como casos especiais (por exemplo, o caso polinomial-a-polinomial de [5] e o caso log-côncavo de Caffarelli).

Os autores observam que a restrição $d \le D$ é natural; se $d > D$, o mapa de transporte pode exibir crescimento superlinear no infinito, impedindo um limite global de Lipschitz. O artigo conclui com argumentos de regularização padrão para estender os resultados do princípio do máximo suave para o cenário geral $C^{1,1}_{loc}$ exigido pelas hipóteses.