The continuity equation and Benamour Brenier formula

From Optimal Transport Wiki
Jump to navigation Jump to search

Introduction

The continuity equation is an important equation in many fields of science, for example, electromagnetism, computer vision, fluid dynamics etc. However, in the field of optimal transport, the formulation from fluid dynamics is of a large significance. This form helps to explain the dynamic formulation of special cases of Wasserstein metric, and we will focus in this direction. For more general information about the continuity equation, look at the article Continuity equation.

Continuity equation in fluid dynamics

First, because of the intuition, we will introduce the definition of the continuity equation in fluid mechanics. The exposition in this section will follow the book by Chorin and Marsden[1].

Suppose that mass of our fluid is conserved, through time. Denote as a density function, representing the mass-density of fluid, and as a velocity of particle at position , at time . Then, for any subspace of we have:

In this section, we assume both density function and particle velocity are smooth enough. Hence, after differentiating under the integral and applying the Divergence Theorem, we get:

Finally, we conclude that:

which implies, since is arbitrary, that:

The last equation is the continuity equation in fluid dynamics, written in the differential form. We use the equation in this form in optimal transport.

Continuity equation in optimal transport

The previous discussion assumed that the density function was smooth, which is not true of the general measures we consider in optimal transport. Even when a measure is absolutely continuous with respect to Lebesgue measure, which we write with a mild abuse of notation as , does not have to be smooth. So, we need to state a proper weak formulation of the continuity equation. Smooth functions satisfy all the cases below.

Sometimes in the literature, authors use continuity equation, and transport equation as synonyms. On the other hand, in the optimal transport we differentiate these two and the standard Cauchy problem. Here, we will present definitions and reasoning from book by F.Santambrogio[2].

From this point, we are looking at the following equation:

,

and various notions of its solutions.

  • Distributional solution. All the measures we are interested in satisfy , and solve continuity equation in a distributional sense, namely
for all Lipschitz functions , where is a compact set or the whole space , and . We assume no-flux condition in this case, namely on the boundary The main goal of the classical optimal transport theory is how to find the least expensive way to move one measure to the another one. For more information, look at Monge Problem.So, we have to impose initial and terminal conditions on measures, for example , and Then, our equation becomes
for all This notion of solution is called a distributional solution.
  • Weak solution. Another way to interpret solutions to the continuity equation is to assume that function is absolutely continuous, and for a.e. it holds:

This kind of solution is called a weak solution.

Proposition 4.2., on the page 124., in the book by Santambrogio[2] states that these solutions are basically equivalent.

  • Lipschitz solution. There is also a third way to think about this solutions, using the Lipschitz functions, and it is contained in the following:
Proposition.[2] Let be the Lipschitz function in and be the Lipschitz function in Suppose that the continuity equation is satisfied in the weak sense. Then it is satisfied in a.e. sense.

Previous three definitions and connections help us to conclude this section by referencing to Theorem of Cauchy-Lipschitz([3], p. 184). It is the analogue of the Picard-Lindelof Theorem in ODE theory, and it provides us with the unique solution, which is crucial for finding a proper geodesics in the applications.

Applications

The following theorem can be found at the book by L.Ambrosio, E.Brué, and D.Semola[3].

Theorem (Benamou-Brenier Formula).[2] Let . Then

This formula is important for defining Riemannian structure. You can see more at Formal Riemannian Structure of the Wasserstein metric.

In addition, using the continuity equation we can describe geodesics in the Wasserstein space. For more details look at Geodesics and generalized geodesics.

References