FORWARD UNTANGLING AND APPLICATIONS TO THE UNIQUENESS PROBLEM FOR THE CONTINUITY EQUATION

We introduce the notion of forward untangled Lagrangian representation of a measure-divergence vector-measure rho(1, b), where rho is an element of M+(Rd+1) and b : Rd+1 -> R-d is a rho-integrable vector field with div(t,x)(rho(1, b)) = mu is an element of M(R x R-d): forward untangling formalizes the notion of forward uniqueness in the language of Lagrangian representations. We identify local conditions for a Lagrangian representation to be forward untangled, and we show how to derive global forward untangling from such local assumptions. We then show how to reduce the PDE div(t,x)(rho(1, b)) = mu on a partition of R+ x R-d obtained concatenating the curves seen by the Lagrangian representation. As an application, we recover known well posedeness results for the flow of monotone vector fields and for the associated continuity equation.