Lipschitz solvability of prescribed Jacobian and divergence for singular measures

1. Planteamiento del Problema

El trabajo aborda la ecuación de divergencia prescrita ($\text{div } V = f$) y la ecuación de Jacobiano prescrito ($\det D\Phi = g$) en el contexto de medidas de Radon finitas singulares ($\mu \perp \mathcal{L}^d$) respecto a la medida de Lebesgue en un abierto $\Omega \subset \mathbb{R}^d$.

• Contexto previo: En trabajos anteriores (Alberti, Bate, Marchese), se demostró que para medidas singulares, operadores diferenciales clásicos (gradiente, divergencia, Jacobiano) no son cerrables desde el espacio de funciones Lipschitz hacia $L^p(\mu)$. Es decir, existen secuencias de funciones Lipschitz que convergen uniformemente a cero, pero cuyas derivadas permanecen grandes en conjuntos de medida positiva $\mu$.
• El desafío: A pesar de esta falta de cerrabilidad y de la imposibilidad de estimaciones de tipo "endpoint" (acotado a Lipschitz) punto a punto, los autores se preguntan si es posible encontrar soluciones Lipschitz que satisfagan las ecuaciones de manera exacta en conjuntos de medida $\mu$ arbitrariamente grande, manteniendo cotas Lipschitz uniformes que dependan solo de la norma $L^\infty$ de los datos.

2. Metodología y Herramientas Clave

La estrategia central del artículo es constructiva y se basa en explotar la geometría de las medidas singulares mediante los siguientes componentes:

A. El Haz de Descomponibilidad (Decomposability Bundle)

Se utiliza el haz de descomponibilidad $V(\mu, x)$, un objeto introducido por Alberti, Csörnyei y Preiss.

• Propiedad crucial: Para una medida singular $\mu$, el haz $V(\mu, x)$ no es todo el espacio $\mathbb{R}^d$ en casi todo punto (con respecto a $\mu$). Esto implica que existen direcciones "transversales" a la estructura de la medida en casi todo punto.

B. Lemas de Conos y Conjuntos Nulos

• Se define un cono $C(e, \alpha)$ y se demuestra que, dado un subespacio propio, existen direcciones fijas que son transversales a él.
• Se utiliza el concepto de conjuntos nulos en conos ($C(e, \alpha)$-null): conjuntos que no contienen curvas Lipschitz con vectores tangentes dentro del cono.
• Lema de Concentración: Si el haz de descomponibilidad es transversal a un cono en casi todo punto, existe un conjunto nulo en ese cono que contiene casi toda la masa de la medida.

C. Funciones de Ancho (Width Functions)

Esta es la herramienta técnica fundamental. Se demuestra la existencia de funciones suaves $\phi$ que:

1. Son arbitrariamente pequeñas en norma supremo.
2. Tienen una derivada direccional $\partial_e \phi = 1$ exactamente sobre un conjunto compacto dado (que es nulo en el cono transversal).
3. Mantienen un control estricto sobre el gradiente total ($|\nabla \phi|$ acotado).

D. Lema Escalar Direccional (Proposición 3.1)

Es el núcleo de la demostración. Establece que, bajo condiciones de invisibilidad cónica, cualquier función escalar acotada $\lambda$ puede realizarse como una derivada direccional $\partial_e u$ fuera de un conjunto de medida $\mu$ arbitrariamente pequeña, con una función $u$ que es:

• $C^1$ con soporte compacto.
• Arbitrariamente pequeña en norma supremo.
• Con una cota Lipschitz uniforme controlada por la norma $L^\infty$ de $\lambda$.

3. Resultados Principales

Los autores prueban dos teoremas principales de tipo Lusin (soluciones exactas en conjuntos grandes):

Teorema 1.1: Solubilidad Lusin para la Divergencia

Dada una medida singular $\mu$, una función de datos $f \in L^\infty(\Omega, \mu)$ y $\varepsilon, \delta > 0$:

• Existe un conjunto compacto $K \subset \Omega$ con $\mu(\Omega \setminus K) < \varepsilon$.
• Existe un campo vectorial $V \in C^1_c(\Omega; \mathbb{R}^d)$ tal que:
  1. $\text{div } V(x) = f(x)$ para todo $x \in K$.
  2. $\text{Lip}(V) \leq (1+\delta)\|f\|_{L^\infty(\Omega, \mu)}$.
  3. $\|V\|_{C^0(\Omega)} \leq \varepsilon$ (la solución puede ser arbitrariamente pequeña).
• Corolario: Esto permite perturbar cualquier campo de referencia $W$ para ajustar su divergencia sin alterar significativamente el campo original.

Teorema 1.2: Solubilidad Lusin para el Jacobiano

Dada una medida singular $\mu$, una función de datos $g \in L^\infty(\Omega, \mu)$ y $\varepsilon, \delta > 0$:

• Existe un conjunto compacto $K$ con $\mu(\Omega \setminus K) < \varepsilon$.
• Existe un difeomorfismo $\Phi$ (perturbación de la identidad $\Phi - \text{Id} \in C^1_c$) tal que:
  1. $\det D\Phi(x) = g(x)$ para todo $x \in K$.
  2. $\text{Lip}(\Phi - \text{Id}) \leq (1+\delta)\|g - 1\|_{L^\infty(\Omega, \mu)}$.
  3. Si $(1+\delta)\|g - 1\| < 1$, entonces $\Phi$ es un difeomorfismo global.
• Corolario 1.3: El resultado se extiende a la perturbación de cualquier difeomorfismo dado $F$, ajustando su Jacobiano relativo.

4. Contribuciones Clave y Significado

1. Superación de la No-Cerrabilidad: El trabajo demuestra que, aunque los operadores no son cerrables en el sentido clásico (convergencia uniforme implica convergencia de derivadas), sí existe una solubilidad constructiva si se relaja la condición de "todo el espacio" a "casi todo el espacio según la medida singular".
2. Independencia de la Rectificabilidad: A diferencia de la aproximación $C^1$ de funciones Lipschitz (que requiere que la medida sea rectificable), la prescripción de divergencia y Jacobiano funciona para cualquier medida singular. La rectificabilidad simplifica la geometría (direcciones normales obvias), pero el mecanismo analítico (lema escalar direccional) es general.
3. Conexión con la Conjetura de Cadenas Planas (Flat Chain Conjecture):
   • El artículo vincula sus resultados con la teoría de corrientes métricas de Ambrosio-Kirchheim.
   • La conjetura de cadenas planas pregunta si las corrientes métricas coinciden con las cadenas planas de Federer-Fleming.
   • Se sabe que la conjetura falla en dimensiones intermedias si se exige control punto a punto. Sin embargo, los autores argumentan que una teoría de solubilidad tipo Lusin (como la presentada) es el sustituto natural y correcto para probar la conjetura en dimensiones superiores, ya que las restricciones diferenciales solo necesitan cumplirse en conjuntos de masa casi total.
4. Contraste con Dacorogna-Moser: Mientras que el teorema clásico de Dacorogna-Moser resuelve el problema de transporte entre medidas absolutamente continuas mediante un difeomorfismo global, este trabajo no transporta la medida $\mu$ en sí misma, sino que construye una deformación del espacio ambiente cuyo Jacobiano coincide con un dato prescrito en un conjunto de medida $\mu$ casi total.

5. Conclusión

El artículo establece que, para medidas singulares, es posible resolver ecuaciones de divergencia y Jacobiano con soluciones Lipschitz de alta regularidad ($C^1$) y cotas óptimas, siempre que se acepte que la ecuación se cumpla exactamente en un conjunto de medida $\mu$ arbitrariamente grande (pero no necesariamente en todo $\Omega$). Esto redefine los límites de la solubilidad de ecuaciones diferenciales parciales en contextos de medida singular y ofrece una herramienta fundamental para la teoría de corrientes métricas y la geometría de medidas.