🔢 mathematics

Lipschitz solvability of prescribed Jacobian and divergence for singular measures

This paper establishes Lusin-type solvability results for the prescribed divergence and Jacobian equations with Lipschitz solutions, demonstrating that for any singular finite Radon measure, one can construct smooth vector fields or maps that satisfy the equations on a set of arbitrarily large measure while maintaining near-optimal Lipschitz bounds.

Original authors: Luigi De Masi, Andrea Marchese

Published 2026-04-01

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Luigi De Masi, Andrea Marchese

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: Fixing a "Ghost" Map

Imagine you have a map of a city, but the map is weird. Instead of showing the whole city, the "ink" of the map only exists on a few specific, invisible lines or dots. In math terms, this is a singular measure. It's like a drawing where the ink is so sparse it doesn't cover any area, yet it still has "weight" or importance.

Usually, if you want to change the shape of a city (like stretching a rubber sheet) or move traffic (divergence), you need the map to be solid and continuous. If the map is just a few ghostly lines, standard math says you can't do it smoothly. You'd expect the math to break, or the "stretching" to tear the fabric of space.

This paper proves that you can do it.

The authors, Luigi De Masi and Andrea Marchese, show that even on these "ghostly" maps, you can construct a perfect, smooth transformation that does exactly what you want, as long as you are willing to ignore a tiny, tiny fraction of the map.

The Two Main Problems

The paper solves two specific puzzles:

1. The Traffic Problem (Prescribed Divergence)

The Goal: Imagine you are a city planner. You have a list of instructions for every street corner: "Send 5 cars out here," "Pull 3 cars in there." This list is your function $f$ .
The Challenge: You need to design a traffic flow (a vector field $V$ ) that follows these instructions perfectly.
The Catch: The instructions only exist on the "ghost lines" (the singular measure).
The Solution: The authors show you can create a traffic flow that is perfectly smooth and follows your instructions on 99.9% of the ghost lines. The only place it fails is on a tiny, invisible speck of the map.

The Magic: The traffic flow can be made to be almost zero everywhere else. It's like whispering a command that is heard clearly only by the people standing on the ghost lines, while everyone else hears nothing.

2. The Shapeshifter Problem (Prescribed Jacobian)

The Goal: Imagine you have a piece of rubber (space). You want to stretch or squish it so that at specific points, it expands by exactly 20% or shrinks by 10%. This expansion rate is your function $g$ .
The Challenge: Again, these expansion rules only apply to the "ghost lines."
The Solution: You can create a shapeshifter (a map $\Phi$ ) that is almost identical to the original shape (the Identity map). It stretches and squishes exactly as you commanded on 99.9% of the ghost lines.

The Magic: If the stretching isn't too extreme, this shapeshifter is a perfect "diffeomorphism." That means it's a reversible, smooth transformation. You can stretch the ghost lines without tearing the fabric of the universe.

How They Did It: The "Cone" Trick

How do you solve a problem on a map that has no area? You have to look at it from a different angle.

The Analogy of the Needle and the Sheet:
Imagine the "ghost lines" are a sheet of paper lying flat on a table.

If you try to paint on the paper by moving your brush along the paper, you might get stuck or mess up because the paper is weirdly shaped.
But, if you hold a needle (a specific direction) and poke it straight down through the paper, you can hit every point on the paper without getting stuck on the wrinkles.

The "Cone" Strategy:
The authors use a mathematical tool called a Decomposability Bundle. Think of this as a compass that tells you which directions are "safe" to move in for a specific ghost line.

They find a direction (a needle) that is perpendicular to the ghost lines.
They use a "Cone" (a flashlight beam) to ensure they are moving in a direction that doesn't get tangled up with the weird geometry of the lines.
They build a "Width Function." Imagine a very thin, smooth ramp that goes up and down. They design this ramp so that if you walk along the "needle" direction, the ramp rises exactly as fast as your instructions demand.

By stacking many of these tiny, smooth ramps together (like building a staircase out of invisible steps), they create a smooth surface that matches the instructions perfectly on the ghost lines.

Why This Matters (The "Flat Chain" Connection)

The paper mentions a big open question in math called the Flat Chain Conjecture.

The Problem: Mathematicians want to know if "metric currents" (generalized surfaces in weird spaces) behave like the standard "flat chains" (standard surfaces) we learn in school.
The Hurdle: Usually, to prove things about these surfaces, you need to check the math at every single point (pointwise). But on these ghostly singular measures, pointwise math often fails (it's like trying to measure the temperature of a single atom; it's too chaotic).
The Breakthrough: This paper says, "We don't need to check every point. We just need to check almost all of them."
- It's like saying, "We don't need to know the weather in every single house in the city to predict the storm; we just need to know the weather in 99% of the houses."

This result provides the "Lusin-type" (almost everywhere) proof needed to finally settle the Flat Chain Conjecture for the most difficult cases. It shows that even though the math breaks down if you look too closely at a single point, the "big picture" geometry still holds together perfectly.

Summary in One Sentence

The authors proved that even on mathematical maps that are "invisible" to standard area-measuring tools, you can still construct smooth, perfect transformations that follow your rules, provided you are willing to ignore a microscopic speck of the map.

1. Problem Statement

The paper addresses the solvability of two fundamental partial differential equations (PDEs) when the data is defined with respect to a singular Radon measure $\mu$ (i.e., $\mu \perp \mathcal{L}^d$ , where $\mathcal{L}^d$ is the Lebesgue measure):

Prescribed Divergence: $\text{div } V = f$
Prescribed Jacobian: $\det D\Phi = g$

The Challenge:
Classical results (e.g., Dacorogna-Moser) guarantee smooth solutions for these equations when the measure is absolutely continuous with respect to Lebesgue measure. However, for singular measures, previous work (Alberti, Bate, Marchese) established that these differential operators are not closable from Lipschitz functions to $L^p(\mu)$ . Specifically, one can find sequences of equi-Lipschitz functions converging uniformly to zero whose derivatives diverge on sets of positive $\mu$ -measure.

The Goal:
The authors aim to prove Lusin-type solvability. Instead of requiring the equation to hold everywhere, they seek solutions that satisfy the equation exactly on a compact set $K$ with $\mu(\Omega \setminus K) < \varepsilon$ (arbitrarily close to full measure). Crucially, the solutions must be Lipschitz continuous with a constant controlled by the $L^\infty$ norm of the datum, and the solutions themselves must be arbitrarily small in the supremum norm.

2. Methodology

The proof relies on a constructive geometric approach that exploits the structure of singular measures, specifically the decomposability bundle.

A. The Decomposability Bundle

The authors utilize the theory of the decomposability bundle $V(\mu, x)$ , a measurable map assigning a linear subspace to almost every point $x$ .

Key Property: If $\mu \perp \mathcal{L}^d$ , then $V(\mu, x) \neq \mathbb{R}^d$ for $\mu$ -a.e. $x$ . This implies there exist directions "transverse" to the measure's support almost everywhere.

B. Cone-Null Sets and Directional Selection

The authors use Lemma 2.2 to select a finite set of fixed directions $\{v_1, \dots, v_N\}$ such that for any proper subspace $L$ , at least one direction $v_j$ is transverse to $L$ (i.e., $L \cap C(v_j, \alpha) = \{0\}$ ).
Lemma 2.5 (Concentration): If the decomposability bundle is transverse to a cone $C(v_j, \alpha)$ almost everywhere on a set $B$ , then $B$ can be covered (up to measure zero) by a cone-null set $F$ . A set is cone-null if it has zero 1-dimensional Hausdorff measure along any Lipschitz curve moving within that cone.

C. Width Functions (The Core Construction)

The central technical tool is Lemma 2.6 (Width Function).

For a compact cone-null set $E$ $E$ and a transverse direction $e$ $e$ , there exists a smooth function $\phi$ $ϕ$ such that:
1. $\phi$ is arbitrarily small in $C^0$ .
2. The directional derivative $\partial_e \phi = 1$ on $E$ .
3. The gradient is bounded by a constant depending only on the cone angle $\alpha$ .
This allows the construction of a function with a prescribed directional derivative on a set of full measure while keeping the function and its gradient small.

D. Iterative Construction (Proposition 3.1)

The authors prove a local scalar lemma: Given a bounded continuous function $\lambda$ and a cone-null set, one can construct a $C^1_c$ function $u$ such that $\partial_e u = \lambda$ on a large compact subset, with $\|u\|_{C^0}$ and $\|Du\|_{C^0}$ controlled.

This is achieved via an inductive series construction. The function is built as a sum of localized "width functions" scaled to correct the residual error at each step, ensuring the series converges in $C^1$ .

3. Key Contributions and Results

Theorem 1.1: Lusin Solvability for Divergence

Statement: For any bounded Borel function $f$ $f$ and $\varepsilon > 0$ $ε > 0$ , there exists a vector field $V \in C^1_c(\Omega; \mathbb{R}^d)$ $V \in C_{c}^{1} (Ω; R^{d})$ such that:
- $\text{div } V = f$ on a compact set $K$ with $\mu(\Omega \setminus K) < \varepsilon$ .
- $\text{Lip}(V) \leq (1+\delta)\|f\|_{L^\infty(\mu)}$ .
- $\|V\|_{C^0} \leq \varepsilon$ (The solution can be made arbitrarily small).
Significance: This provides a constructive way to solve the divergence equation on singular measures with optimal Lipschitz bounds, bypassing the non-closability obstruction by working on sets of almost full measure.

Theorem 1.2: Lusin Solvability for Jacobian

Statement: For any bounded Borel function $g$ $g$ , there exists a map $\Phi = \text{Id} + \Psi$ $Φ = Id + Ψ$ (where $\Psi \in C^1_c$ $Ψ \in C_{c}^{1}$ ) such that:
- $\det D\Phi = g$ on a compact set $K$ with $\mu(\Omega \setminus K) < \varepsilon$ .
- $\text{Lip}(\Phi - \text{Id}) \leq (1+\delta)\|g-1\|_{L^\infty(\mu)}$ .
- $\|\Phi - \text{Id}\|_{C^0} \leq \varepsilon$ .
Corollary 1.3: This result extends to perturbing any given diffeomorphism $F$ , allowing the construction of a new diffeomorphism $\Phi$ with a prescribed Jacobian relative to $F$ on sets of large $\mu$ -measure.

4. Significance and Implications

A. Resolution of Endpoint Estimates

The paper addresses the failure of "endpoint" estimates (bounded-to-Lipschitz) for first-order equations on singular measures (related to Ornstein's non-inequality). While pointwise estimates fail, the authors show that Lusin-type estimates (holding on sets of almost full measure) are valid. This clarifies the boundary between what is possible and impossible in singular settings.

B. Connection to the Flat Chain Conjecture

The results have profound implications for the Ambrosio-Kirchheim flat chain conjecture in geometric measure theory.

The conjecture asks whether metric currents coincide with Federer-Fleming flat chains.
Previous work suggested that a Lusin-type solvability theory for differential forms is a necessary condition for the conjecture in intermediate dimensions.
The divergence equation is the top-dimensional case of the differential form equation $d\phi = \omega$ .
By proving the Lusin solvability for the prescribed divergence on singular measures, the authors provide the crucial "test" that validates the mechanism required for the flat chain conjecture in the top dimension, explaining why the conjecture holds there despite the failure of pointwise estimates.

C. Geometric Insight

The paper demonstrates that the geometric mechanism used for rectifiable measures (solving scalar problems in transverse directions) can be generalized to arbitrary singular measures. The decomposability bundle acts as a "measurable tangent structure," and the cone-null argument allows the exploitation of transverse directions even without a globally defined normal vector field.

Summary

De Masi and Marchese successfully construct Lipschitz solutions to the prescribed divergence and Jacobian equations for singular measures. By leveraging the decomposability bundle and width functions, they prove that while pointwise control is impossible, Lusin-type control (exact on sets of arbitrarily large measure) is achievable with uniform Lipschitz bounds. This bridges a gap in geometric measure theory and provides a foundational step toward resolving the flat chain conjecture for metric currents.