Lipschitz solvability of prescribed Jacobian and divergence for singular measures

1. O Problema e o Contexto

O trabalho aborda a solubilidade de duas equações diferenciais parciais fundamentais em análise geométrica e teoria das medidas:

1. Equação da Divergência Prescrita: $\text{div } V = f$
2. Equação do Jacobiano Prescrito: $\det D\Phi = g$

O cenário central é o de medidas singulares. Seja $\mu$ uma medida de Radon finita em um conjunto aberto $\Omega \subset \mathbb{R}^d$ que é singular em relação à medida de Lebesgue ($\mu \perp \mathcal{L}^d$). O problema surge no contexto de operadores diferenciais clássicos (gradiente, divergência, determinante jacobiano) atuando sobre funções Lipschitz.

O Desafio Teórico:
Resultados anteriores (Alberti, Bate, Marchese) demonstraram que, para medidas singulares, esses operadores não são "fecháveis" do espaço de funções Lipschitz para $L^p(\mu)$. Isso significa que existem sequências de funções Lipschitz que convergem uniformemente para zero, mas cujas derivadas permanecem grandes em conjuntos de medida positiva $\mu$. Em outras palavras, não é possível obter soluções exatas e regulares para dados arbitrários em todo o suporte da medida singular com controle Lipschitz uniforme.

A Questão:
É possível encontrar soluções que satisfaçam as equações exatamente em um conjunto de medida $\mu$ arbitrariamente próxima de 1 (ou seja, falhando apenas em um conjunto de medida $\mu$ muito pequena), mantendo ao mesmo tempo limites Lipschitz uniformes que dependam apenas da norma $L^\infty$ do dado?

2. Metodologia e Ferramentas Principais

A abordagem dos autores é construtiva e baseia-se em uma "mecânica geométrica" que explora a singularidade da medida. Os pilares metodológicos são:

A. O Fibrado de Decomposibilidade (Decomposability Bundle)

Utilizam o conceito introduzido por Alberti, Csörnyei e Preiss. Para uma medida $\mu$, o fibrado de decomposibilidade $V(\mu, x)$ é um subespaço linear que descreve as direções em que a medida pode ser "decomposta" ou "suavizada".

• Fato Crucial: Se $\mu \perp \mathcal{L}^d$, então $V(\mu, x) \neq \mathbb{R}^d$ para $\mu$-quase todo $x$. Isso implica que existem sempre direções transversais (fora do fibrado) em quase todo ponto do suporte da medida.

B. Conjuntos Nulos em Cones (Cone-Null Sets)

Definem conjuntos que são "invisíveis" para curvas Lipschitz que se movem dentro de certos cones. O Lema 2.2 garante que, dada qualquer subespaço próprio, existe uma família finita de direções constantes $\{v_1, \dots, v_N\}$ tais que, para quase todo ponto, pelo menos uma dessas direções é transversal ao fibrado de decomposibilidade local.

C. Funções de Largura (Width Functions)

Baseado em um lema de Alberti et al., eles constroem funções suaves $\phi$ que possuem uma derivada direcional específica (na direção transversal $e$) igual a 1 em um conjunto compacto $E$ (que é nulo no cone), enquanto a função e suas outras derivadas são arbitrariamente pequenas. Isso permite "injetar" uma derivada desejada sem perturbar significativamente o valor da função ou suas outras derivadas.

D. O Lema Escalar Direcional (Proposição 3.1)

Este é o coração da prova. O teorema afirma que, sob condições de invisibilidade em cone, qualquer função escalar limitada $\lambda$ pode ser realizada como uma derivada direcional $\partial_e u$ em um conjunto de medida quase total, com uma função $u$ que é:

1. Lipschitz com constante controlada.
2. Arbitrariamente pequena na norma do supremo ($C^0$).
3. Exata em um conjunto compacto $K$ com $\mu(\Omega \setminus K) < \epsilon$.

3. Resultados Principais

Os autores provam dois teoremas principais de solubilidade do tipo Lusin:

Teorema 1.1 (Divergência Prescrita)

Para qualquer medida singular $\mu$, função Borel $f$ e $\epsilon, \delta > 0$, existe um campo vetorial $V \in C^1_c(\Omega; \mathbb{R}^d)$ tal que:

• Existe um conjunto compacto $K$ com $\mu(\Omega \setminus K) < \epsilon$.
• $\text{div } V(x) = f(x)$ para todo $x \in K$.
• Controle Lipschitz: $\text{Lip}(V) \leq (1+\delta)\|f\|_{L^\infty(\Omega, \mu)}$.
• Pequenez: $\|V\|_{C^0} \leq \epsilon$.
• Nota: A solução pode ser escolhida arbitrariamente pequena, permitindo perturbar qualquer campo vetorial de referência.

Teorema 1.2 (Jacobiano Prescrito)

Para qualquer medida singular $\mu$, função Borel $g$ e $\epsilon, \delta > 0$, existe um mapa $\Phi$ com $\Phi - \text{Id} \in C^1_c(\Omega; \mathbb{R}^d)$ tal que:

• Existe um conjunto compacto $K$ com $\mu(\Omega \setminus K) < \epsilon$.
• $\det D\Phi(x) = g(x)$ para todo $x \in K$.
• Controle Lipschitz: $\text{Lip}(\Phi - \text{Id}) \leq (1+\delta)\|g-1\|_{L^\infty(\Omega, \mu)}$.
• Pequenez: $\|\Phi - \text{Id}\|_{C^0} \leq \epsilon$.
• Se $(1+\delta)\|g-1\| < 1$, então $\Phi$ é um difeomorfismo global.

Corolário 1.3 (Perturbação de Difeomorfismos)

O resultado se estende para perturbar um difeomorfismo dado $F$, ajustando o Jacobiano de $F$ para um valor prescrito $g$ em quase todo o suporte de $\mu$, mantendo o controle Lipschitz proporcional a $\text{Lip}(F)$.

4. Significado e Contribuições

1. Superação de Limitações de Estimativas de Borda

O trabalho fornece uma alternativa robusta às estimativas clássicas de "bounded-to-Lipschitz" (que falham para medidas singulares, conforme mostrado por Preiss e McMullen). Em vez de exigir que a equação valha ponto a ponto em todo o domínio, eles estabelecem uma solubilidade do tipo Lusin: a equação é satisfeita exatamente em um conjunto que carrega quase toda a massa da medida singular, com controle uniforme de Lipschitz.

2. Conexão com a Conjectura das Cadeias Planas (Flat Chain Conjecture)

O artigo tem implicações profundas na teoria de correntes métricas de Ambrosio-Kirchheim. A conjectura de que correntes métricas coincidem com cadeias planas de Federer-Fleming em dimensões intermediárias depende da solubilidade de equações diferenciais em conjuntos de grande medida.

• O caso de dimensão máxima ($k=d$) reduz-se à equação de divergência prescrita.
• Este trabalho prova que tal solubilidade é possível para medidas singulares, validando a estratégia de substituir estimativas pontuais por estimativas do tipo Lusin para a conjectura das cadeias planas.

3. Generalização do Teorema de Dacorogna-Moser

O teorema clássico de Dacorogna-Moser lida com transporte de medidas absolutamente contínuas via difeomorfismos suaves. Este trabalho sugere uma análogo para medidas singulares: embora não garanta o transporte direto $\Phi_\# \mu = g\mu$ de forma global, ele constrói uma deformação ambiental regular cujo Jacobiano é prescrito em quase todo o suporte de $\mu$.

4. Robustez Geométrica

Diferente de resultados anteriores que exigiam suporte retificável (como superfícies lisas), esta prova funciona para medidas singulares arbitrárias. O uso do fibrado de decomposibilidade permite extrair direções transversais mesmo na ausência de uma estrutura geométrica global definida, generalizando a intuição geométrica de casos retificáveis para o cenário geral.

Conclusão

O artigo estabelece que, para medidas singulares, a impossibilidade de soluções globais suaves não impede a existência de soluções "quase globais" (no sentido de Lusin) com excelente controle de regularidade (Lipschitz). Isso é alcançado através de uma construção geométrica inteligente que utiliza direções transversais ao fibrado de decomposibilidade, permitindo resolver equações de divergência e Jacobiano com precisão arbitrária em conjuntos de medida quase total.