Measure preserving maps with bounded total variation

Resumo Técnico: Mapeamentos Preservadores de Medida com Variação Total Limitada

1. O Problema e o Contexto

O artigo aborda um problema fundamental na teoria do transporte ótimo e na análise de equações diferenciais parciais, relacionado a conjecturas propostas por Liu e Pego (2025).

• Configuração: Seja $\Omega \subset \mathbb{R}^d$ um conjunto aberto. Considera-se um mapa $\phi: \Omega \to \mathbb{R}$ que é Lipschitz e afim por partes. Define-se a família de mapas $T_t(x) = x + t\nabla\phi(x)$.
• Hipótese Principal: Assume-se que o mapa $T_t$ é injetivo para quase todo $t > 0$ em um conjunto de medida plena.
• A Conjectura (Liu-Pego): Liu e Pego conjecturaram que, sob essas condições, $\phi$ deve ser necessariamente localmente convexa.
• O Desafio: Provar essa conjectura para a classe geral de funções é um problema aberto. O caso onde $\nabla\phi$ é apenas contínuo ($C^0$) já foi tratado em trabalhos anteriores, mas o caso onde $\nabla\phi$ não possui regularidade suficiente (fora de $BV$) permanece aberto.

2. Objetivo do Artigo

O objetivo principal dos autores é provar a conjectura de Liu-Pego para uma classe mais geral de mapas preservadores de medida, assumindo uma condição de regularidade adicional: que o gradiente de $\phi$ pertence ao espaço de Variação Total Limitada local ($\nabla\phi \in BV_{loc}(\Omega)$).

Teorema Principal (Teorema 1.2/2.3):
Se $\phi \in W^{1,1}(\Omega)$ satisfaz a condição de preservar medida (MPC) e $\nabla\phi \in BV_{loc}(\Omega; \mathbb{R}^d)$, então $\phi$ é localmente convexa em $\Omega$.

3. Metodologia e Estrutura da Prova

A prova é dividida em duas etapas lógicas distintas, explorando diferentes ferramentas da análise matemática:

Etapa 1: Subharmonicidade (Sem a hipótese BV)

• Os autores primeiro demonstram que, independentemente da condição $BV$, qualquer função $\phi$ que satisfaça a condição de preservar medida (MPC) é sub-harmônica.
• Definição de Mapa Expansivo: Introduzem o conceito de mapas "expansivos" ($T_\# \mathcal{L}^d \leq \mathcal{L}^d$), mostrando que mapas preservadores de medida são um subconjunto destes.
• Prova: Utilizam uma abordagem de cálculo variacional e limites de diferenças finitas para mostrar que $\Delta \phi \geq 0$ no sentido das distribuições. Isso implica que para qualquer função teste não-negativa $\psi$, $\int \nabla\phi \cdot \nabla\psi \leq 0$.
• Limitação: Sabendo-se que a sub-harmonicidade não implica automaticamente convexidade (ex: a solução fundamental da equação de Poisson tem gradiente não-BV), esta etapa por si só não resolve o problema.

Etapa 2: Uso da Hipótese BV para Convexidade

• Com a sub-harmonicidade estabelecida, os autores utilizam a estrutura fina das funções $BV$ para provar a convexidade.
• Decomposição da Derivada: Como $\nabla\phi \in BV_{loc}$, a derivada distribucional $D(\nabla\phi)$ pode ser decomposta em uma parte absolutamente contínua ($D_a$) e uma parte singular ($D_s$) em relação à medida de Lebesgue.
  $$D(\nabla\phi) = D_a(\nabla\phi) + D_s(\nabla\phi)$$
• Análise da Parte Singular ($D_s$):
  • Pelo Teorema de Rank-1 de Alberti, a parte singular é da forma $a \otimes b$.
  • Como a Hessiana distribucional deve ser simétrica (devido à natureza de gradiente), e usando a sub-harmonicidade (que implica traço não-negativo), deduz-se que a parte singular é uma medida de matriz definida positiva (forma $\lambda \vec{n} \otimes \vec{n}$ com $\lambda \geq 0$).
• Análise da Parte Absolutamente Contínua ($D_a$):
  • Os autores utilizam propriedades de Lusin-Lipschitz para funções $BV$. Aproximam $\nabla\phi$ por funções Lipschitz $f_\Lambda$ em conjuntos de medida quase total.
  • Aplicam a Fórmula da Área para os mapas $T_t$ restritos a esses conjuntos. A condição de preservação de medida implica que o determinante do Jacobiano de $T_t$ deve ser 1 quase sempre.
  • Isso leva à equação $\prod (1 + t\lambda_i) = 1$ para todos os $t \geq 0$, onde $\lambda_i$ são os autovalores de $D_a(\nabla\phi)$.
  • A única solução para essa equação para todo $t$ é que todos os autovalores $\lambda_i$ sejam zero. Logo, $D_a(\nabla\phi) = 0$.
• Conclusão: A Hessiana distribucional de $\phi$ é puramente a parte singular $D_s(\nabla\phi)$, que foi provada ser uma medida de matriz definida positiva. Uma Hessiana distribucional definida positiva é equivalente à convexidade local da função.

4. Abordagem Alternativa (Transporte Ótimo)

Na Seção 4, os autores fornecem uma prova alternativa para a sub-harmonicidade (Proposição 2.4) utilizando ferramentas de Transporte Ótimo:

• Utilizam o Teorema de Fatorização Polar de Brenier, decompondo o mapa $T_t$ em um gradiente de função convexa ($\nabla f_t$) e um mapa preservador de medida ($\Phi_t$).
• Analisam o limite quando $t \to 0$ da sequência de mapas, mostrando que o termo de gradiente converge para o gradiente de $\phi$.
• Demonstram que a convexidade de $f_t$ (que é garantida pelo teorema de Brenier) implica, no limite, que $\Delta \phi \geq 0$. Esta abordagem oferece insights adicionais sobre a estrutura do problema mesmo fora da classe $BV$.

5. Contribuições Chave e Resultados

1. Resolução Parcial da Conjectura: Prova-se que a conjectura de Liu-Pego é verdadeira para a classe de funções com gradiente em $BV_{loc}$.
2. Decomposição Estrutural: Estabelece-se que, sob a condição de preservação de medida e regularidade $BV$, a parte absolutamente contínua da Hessiana deve desaparecer, restando apenas uma parte singular definida positiva.
3. Generalização: O resultado é provado para uma classe mais ampla de mapas "preservadores de medida" do que apenas os mapas de gradiente afim por partes originais.
4. Métodos Híbridos: O artigo combina análise geométrica (Teorema de Rank-1 de Alberti), teoria de funções $BV$ (propriedades de Lusin) e teoria de transporte ótimo (Fatorização de Brenier).

6. Significado e Impacto

• Avanço Teórico: Este trabalho fecha uma lacuna importante na compreensão da relação entre a injeção de fluxos de potencial e a convexidade. Mostra que a regularidade $BV$ é suficiente para forçar a convexidade, eliminando a necessidade de regularidade $C^1$ ou $C^2$.
• Limitações e Futuro: O artigo destaca que o caso onde $\nabla\phi \notin BV$ permanece um problema aberto. A dificuldade reside no fato de que, sem a estrutura $BV$, a decomposição da derivada e o controle da parte absolutamente contínua tornam-se muito mais complexos.
• Aplicações: Os resultados têm implicações diretas na teoria de transporte ótimo, dinâmica de fluidos (fluxos rígidos) e na análise de equações de Hamilton-Jacobi, onde a convexidade do potencial é uma propriedade desejada ou necessária para a existência e unicidade de soluções.

Em suma, Bianchini e Talamini demonstram que a combinação de preservação de medida e variação total limitada é uma força motriz poderosa que força a estrutura geométrica do potencial a ser convexa, resolvendo um problema aberto para uma classe significativa de funções.