A geometric approximation to the Euler equations : the Vlasov-Monge-Ampere system, , November 27, 2006

1 Introduction

The classical Vlasov-Poisson (

V P

) system describes the evolution of an electronic cloud in a neutralizing uniform background through the following equations

\begin{matrix} \frac{\partial f}{\partial t} + ξ \cdot \nabla_{x} f + \nabla_{x} φ \cdot \nabla_{ξ} f = 0 \end{matrix}

(1)

\begin{matrix} ε^{2} Δ φ = ρ - 1, \end{matrix}

(2)

where

f (t, x, ξ) \geq 0

denotes the electronic density at time

t \geq 0

, point

x \in R^{d}

, velocity

ξ \in R^{d}

(usually

d = 3

ρ (t, x) \geq 0

denotes the ’macroscopic’ density

\begin{matrix} ρ (t, x) = \int_{R^{d}} f (t, x, ξ) d ξ, \end{matrix}

(3)

and

φ (t, x)

denotes the electric potential at time

t

and point

x

generated, through the Poisson equation ( 2 ), where

ε

is a coupling constant, by the difference between the electronic density

ρ (t, x)

and the neutralizing background density, which is supposed to be uniform and normalized to unity. Standard notations

\nabla = (\partial_{1}, . . ., \partial_{d})

and

Δ = \partial_{1}^{2} + . . . + \partial_{d}^{2}

have been used and

\cdot

stands for the inner product in

R^{d}

. The mathematical theory of the

V P

system is now well understood. In particular, existence of global smooth solutions in three space dimensions has been proved in [?] (see also [?] , [?] ). In the present paper, a fully nonlinear version of the

V P

system is addressed :

\begin{matrix} \frac{\partial f}{\partial t} + ξ \cdot \nabla_{x} f + \nabla_{x} φ \cdot \nabla_{ξ} f = 0 \end{matrix}

(4)

\begin{matrix} det (I + ε^{2} D^{2} φ) = ρ, \end{matrix}

(5)

where the (real) Monge-Ampere equation ( 5 ) substitutes for the Poisson equation ( 2 ). Here,

D^{2} φ (t, x)

stands for the

d \times d

symmetric matrix made of all second order

x -

partial derivatives of

φ

I

stands for the

d \times d

identity matrix and

det

for the determinant of a square matrix. The occurrence of the Monge-Ampere equation in mathematical modeling is not very common.

Notice, however, that a very similar system can be found in meteorology with Hoskins’ semi-geostrophic equations (cf. [?] , [?] and the included references).

In a simplified two dimensional setting, the semi-geostrophic equations read

\begin{matrix} \frac{\partial ρ}{\partial t} + {φ, ρ} = 0 \end{matrix}

(6)

\begin{matrix} det (I + ε^{2} D^{2} φ) = ρ, \end{matrix}

(7)

where

{\cdot, \cdot}

denotes the usual Poisson bracket.

Formally, as the coupling constant

ε

is small, the

V P

and

V M A

equations asymptotically approach each other up to order

O (ε^{4})

. Indeed, linearizing the determinant about the identity matrix leads to

\begin{matrix} det (I + ε^{2} D^{2} φ) = 1 + ε^{2} Δ φ + O (ε^{4}) . \end{matrix}

(8)

The formal limit, as

ε = 0

, reads

\begin{matrix} \frac{\partial f}{\partial t} + ξ \cdot \nabla_{x} f + \nabla_{x} φ \cdot \nabla_{ξ} f = 0 \end{matrix}

(9)

\begin{matrix} ρ = 1, \end{matrix}

(10)

where constraint ( 10 ) substitutes for both the Poisson and the Monge-Ampere equations. The limit system ( 9 , 10 ), that we call constrained Vlasov system, can be seen as a ’kinetic’ extension of the Euler equations of classical incompressible fluid mechanics,

\begin{matrix} \partial_{t} v + (v \cdot \nabla) v = - \nabla p \end{matrix}

(11)

\begin{matrix} \nabla \cdot v = 0, \end{matrix}

(12)

where

v (t, x) \in R^{d}

and

p (t, x) \in R

respectively are the velocity and the pressure of the fluid at time

t

and position

x

. Indeed, any smooth solution

(v, p)

provides a ’monokinetic’ solution to the constrained Vlasov system ( 9 , 10 ), defined by

f (t, x, ξ) = δ (ξ - v (t, x)), φ = - p .

Here a monokinetic solution means a delta-valued solution in the

ξ

variable.

In addition, the constrained Vlasov system ( 9 , 10 ) turns out to be a natural extension (or

Γ

limit) of the Euler equations from both geometrical and variational reasons, as explained in section 2 In a similar way, there is a monokinetic version of the

V P

system, the so-called (pressureless) Euler-Poisson (

E P

) system, which reads

\begin{matrix} \partial_{t} v + (v \cdot \nabla) v = \nabla φ \end{matrix}

(13)

\begin{matrix} \partial_{t} ρ + \nabla \cdot (ρ v) = 0 \end{matrix}

(14)

\begin{matrix} ε^{2} Δ φ = ρ - 1 . \end{matrix}

(15)

A rigorous asymptotic analysis of the

V M A

system as

ε \to 0

will be provided (sections 5.1 and 5.2 ), in the case when the initial electronic density

\begin{matrix} f (t = 0, x, ξ) = f^{0} (x, ξ) \end{matrix}

(16)

is asymptotically monokinetic, namely approaching

δ (ξ - v_{0} (x)),

for some smooth divergence free velocity field

v_{0}

, as

ε

tends to zero. Before this asymptotic analysis, we want to explain the geometric origin of the

V M A

system. It has been known, since Arnold’s celebrated work (cf. [?] ), that the Euler equations (formally) describe geodesics curves along a suitable group of volume preserving maps, lengths being measured in the

L^{2}

sense.

We will show (section 2 ) that the

V M A

system just describes approximate geodesics obtained through a very natural penalty method, where

ε

stands for the penalty parameter. For this geometric interpretation to be valid, the Monge-Ampere equation ( 5 ) must be understood in the following weak sense:

for each fixed

t

φ (t, \cdot)

is the unique (up to an additive constant) function such that

Ψ (x) = x^{2} / 2 + ε^{2} φ (t, x)

is convex in

x

and

\begin{matrix} \forall g \in C^{0} (R^{d}), \int_{R^{d}} g (\nabla Ψ (x)) ρ (t, x) d x = \int_{Ω} g (y) d y, \end{matrix}

(17)

where

Ω

is a fixed bounded open convex set where the neutralizing background of the electrons is assumed to be located. (This definition is made precise in section 2.3 .) Notice that, by construction,

\nabla Ψ

must be valued in the closure of

Ω

and, therefore, the potential

φ

enjoys the following property

| x + ε^{2} \nabla_{x} φ (t, x) | \leq {sup}_{y \in Ω} | y | < + \infty .

There is no similar bound for the electrostatic potential of the classical

V P

system. Thus, in some sense, the

V M A

system can be seen as a nonlinearly saturated version of the

V P

system.

Beyond the geometric derivation of the

V M A

system, our main analytic results are as follows:

∙ The $V M A$ system admits global energy preserving weak solutions.
∙ The $V M A$ system admits local strong solutions in periodic domains.
∙ For well prepared, nearly monokinetic initial data, the solutions of the $V M A$ system converge when $ε$ goes to 0 to those of the Euler equations.
∙ In this asymptotic, the $E P$ system is a higher order approximation of the $V M A$ system.

The paper is organized as follows: in section 2, we first recall the geometric nature of the Euler equations, then we explain why the constrained Vlasov system ( 9 , 10 ) is a natural extension of the Euler equations from a variational point of view, finally we introduce the concept of approximate geodesics for volume preserving maps, and derive the

V M A

system. Section 3 is devoted to the proof of existence of global energy preserving weak solutions. In section 4, we prove existence of local strong solutions, in the case of a periodic domain.

Finally, in section 5, we study the asymptotic behavior of the

V M A

system as

ε

goes to 0.

2 The geometric origin of the Vlasov-Monge-Ampere system

2.1 The Euler equations

The motion of an incompressible fluid in a domain

Ω \subset R^{d}

is classically described by the Euler equations

(E)

\begin{matrix} \partial_{t} v + (v \cdot \nabla) v = - \nabla p \end{matrix}

(18)

\begin{matrix} \nabla \cdot v = 0, \end{matrix}

(19)

with

t \in R

x \in Ω

, where

v = v (t, x)

stands for the velocity field and

p = p (t, x)

for the scalar pressure field. These equations have a nice geometrical interpretation going back to Arnold (see [?] ). Introducing

G (Ω)

the group of all volume preserving diffeomorphisms of

Ω

with jacobian determinant equal to 1, and measuring lengths in the

L^{2}

sense, we may define (at least formally) geodesic curves along

G (Ω)

. It turns out that the Euler equations just describe these curves. For the same reasons, the Euler equations can be seen as the optimality equations for the corresponding minimization problem:

given two maps chosen in

G (Ω)

, find an

L^{2} -

shortest path between them along

G (Ω)

. It was shown by Shnirelman [?] (see also [?] and [?] ) that, in the case when

Ω

is the unit cube in

R^{3}

, there are many maps for which there are no such shortest paths. Beyond this negative result, [?] established that minimizing paths are more appropriately described by doubly stochastic measures. These measures (also called polymorphisms) generalize volume preserving maps in the following way: a doubly stochastic measure

μ (d x, d y)

is a (Borel) probability measure on

Ω \times Ω

with two projections on each copy of

Ω

both equal to the (normalized) Lebesgue measure. It is known -see [?] , for instancethat any such

μ

can be weakly approximated by a sequence

μ_{n} (d x, d y) = δ (x - g_{n} (y)) d y

where each

g_{n}

is a volume preserving map of

Ω

In [?] it was shown that, in the case considered by Shnirelman for which there is no classical shortest path, minimizing paths along

G (Ω)

converge to paths of doubly stochastic measures

t \to μ (t; d x, d y)

governed by the following extension of the Euler equations

\begin{matrix} \partial_{t} μ + \nabla_{x} \cdot (μ v) = 0, \end{matrix}

(20)

\begin{matrix} \partial_{t} (v μ) + \nabla_{x} \cdot (μ v \otimes v) + μ \nabla_{x} p = 0, \end{matrix}

(21)

where

v = v (t; x, y)

and

p = p (t, x)

can be respectively seen as the velocity field and the pressure field attached to

μ

. (Notice that the velocity field

v

generally depends on the extra variable

y

and is not a classical but rather a multivalued velocity field.) These equations are just a reformulation of the constrained Vlasov system ( 9 , 10 ). Indeed, it can be checked, under appropriate regularity assumptions, that the kinetic measure

f

defined by

\begin{matrix} f (t; d x, d ξ) = \int_{y \in Ω} δ (ξ - v (t; x, y)) μ (t; d x, d y) \end{matrix}

(22)

solves ( 9 , 10 ) when

(μ, v, p)

solves ( 20 , 21 ). Thus we conclude that the constrained Vlasov system ( 9 , 10 ) is a natural variational extension of the Euler equations.

2.2 Approximate geodesics

A general strategy to define approximate geodesics along a manifold

M

(in our case

M = G (Ω)

) embedded in a Hilbert space

H

(here

H = L^{2} (Ω, R^{d})

) is to introduce a penalty parameter

ε > 0

and the following

u n c o n s t r a i n e d

dynamical system in

H

\begin{matrix} \partial_{t t} X + \frac{1}{2 ε^{2}} \nabla_{X} (d^{2} (X, M))) = 0 . \end{matrix}

(23)

In this equation, the unknown

t \to X (t)

is a curve in

H

d (X, M)

is the distance (in

H

) of

X

to the manifold

M

, i.e. in our case as

M = G (Ω)

\begin{matrix} d (X, G (Ω)) = {inf}_{g \in G (Ω)} ∥ X - g ∥_{H}, \end{matrix}

(24)

and, finally,

\nabla_{X}

denotes the gradient operator in

H

. This penalty approach has been used for the Euler equations by the first author in [?] . It is similar-but not identicalto Ebin’s slightly compressible flow theory [?] , and is a natural extension of the theory of constrained finite dimensional mechanical systems [?] . The penalized system is formally hamiltonian in variables

(X, \partial_{t} X)

with Hamiltonian (or energy) given by:

\begin{matrix} E = \frac{1}{2} ∥ \partial_{t} X ∥_{H}^{2} + \frac{1}{2 ε^{2}} d^{2} (X, G (Ω)) . \end{matrix}

(Multiplying equation ( 23 ) by

\partial_{t} X

, we formally get that the energy is conserved.) Therefore it is plausible that the map

X (t)

will remain close to

G (Ω)

if properly initialized at

t = 0

. A formal computation shows that, given a point

X

for which there is a unique closest point

π_{X}

X

in the

H

closure of

G (Ω)

, we have:

\begin{matrix} \nabla_{X} (d (X, G)) = \frac{1}{d (X, G)} (X - π_{X}) . \end{matrix}

(25)

Thus the equation ( 23 ) formally becomes:

\begin{matrix} \partial_{t t} X + \frac{1}{ε^{2}} (X - π_{X}) = 0 . \end{matrix}

(26)

To understand why solutions to such a system may approach geodesics along

G (Ω)

ε

goes to 0, just recall that, in the simple framework of a surface

S

embedded in the 3 dimensional Euclidean space, a geodesic

t \to s (t)

along

S

is characterized by the fact that for every

t

, the plane defined by

{\dot{s} (t), \ddot{s} (t)}

is orthogonal to

S

. In our case,

\partial_{t t} X (t)

is nearly orthogonal to

G (Ω)

thanks to ( 26 ), meanwhile

X (t)

remains close to

G (Ω)

The approximate geodesic equation was introduced in [?] in order to allow a spatial approximation of

G (Ω)

by the group of permutations of

N

points

A_{j}

chosen to form a discrete grid on

Ω

. On such a discrete group, the concept of geodesics becomes unclear meanwhile approximate geodesics still make sense.

They can be interpreted as trajectories of a cloud of

N

particles

X_{i}

moving in the Euclidean space

R^{d N}

, which substitutes for

H

. These particles solve the following coupled system of harmonic oscillators

ε^{2} \frac{d^{2} X_{i}}{d t^{2}} + X_{i} - A_{σ_{i}} = 0,

where

σ

is a time dependent permutation minimizing, at each fixed time

t

Σ {| X_{i} - A_{σ (i)} |}^{2}

among all other permutations of the first

N

integers. The convergence of this discrete model to the incompressible Euler equations for well prepared initial data was proved in [?] . In order to study the continuous version ( 26 ), a specific study of the projection problem ( 24 ) is needed.

2.3 The polar decomposition Theorem

Let us first recall a general measure theoretic definition:

Definition 2.1 Let

A

and

B

be two topological spaces, let

ρ

be a Borel finite measure of

A

and

X

a Borel map

A \to B

, we call the push-forward of

ρ

X

and note

X # d ρ

the Borel measure

η

B

defined by

\begin{matrix} \forall f \in C^{0} (B), \int_{B} f (y) d η (y) = \int_{A} f (X (x)) d ρ (x) . \end{matrix}

Let us now consider the case of a bounded open subset

Ω

of the Euclidean space

R^{d}

equipped with the Lebesgue measure that we denote

d x

. We say that a Borel map

s : \bar{Ω} \to \bar{Ω}

is volume (or Lebesgue measure) preserving if

s # d x = d x

, i.e. if for all

g \in C^{0} (\bar{Ω})

one has

\int_{Ω} g (x) d x = \int_{Ω} g (s (x)) d x,

or equivalently, for any Borel subset

B

\bar{Ω}

one has

| s^{- 1} (B) | = | B |

. The set of all measure preserving maps of

Ω

is a closed subset of the Hilbert space

H = L^{2} (Ω, R^{d})

and will be denoted by

S (Ω)

. Notice that

S (Ω)

is only a semi-group for the composition rule and contains the group of volume preserving diffeomorphisms

G (Ω)

. It is known [?] that, at least in the case when

Ω

is convex and

d \geq 2

S (Ω)

is exactly the closure of

G (Ω)

L^{2} (Ω, R^{d})

, which implies

d (., G (Ω)) = d (., S (Ω)) .

The polar decomposition Theorem for maps [?] (extended to Riemannian manifolds in [?] ) will be crucial for our analysis of the

V M A

system:

Theorem 2.2 Let

Ω

be a bounded convex open subset of

R^{d}

, let

X \in L^{2} (Ω; R^{d})

and

ρ_{X} = X # d x,

where

d x

is the Lebesgue measure on

Ω .

Assume

ρ_{X}

to be a Lebesgue integrable function, or, equivalently,

X

to satisfy the non-degeneracy condition:

\begin{matrix} \forall E \subset R^{d} Borel, | E | = 0 \Rightarrow | X^{- 1} (E) | = 0 . \end{matrix}

(27)

Then there exists a unique pair

(\nabla Φ_{X}, π_{X})

where

Φ_{X}

is a convex function and

π_{X} \in S (Ω)

, such that

\begin{matrix} X = \nabla Φ_{X} \circ π_{X} . \end{matrix}

(28)

In this ’polar decomposition’,

π_{X}

is also characterized as the unique closest point to

X

S (Ω)

in the

L^{2}

sense and

Φ_{X}

is characterized to be (up to an additive constant) the unique convex function on

Ω

satisfying

\begin{matrix} \int_{R^{d}} g (x) d ρ_{X} = \int_{Ω} g (X (y)) d y = \int_{Ω} g (\nabla Φ_{X} (y)) d y, \end{matrix}

(29)

for any

g \in C^{0} (R^{d})

such that

| g (x) | \leq C (1 + | x |^{2})

In addition, the Legendre-Fenchel transform

Ψ_{X}

Φ_{X}

defined by

\begin{matrix} Ψ_{X} (x) = {sup}_{y \in Ω} {x \cdot y - Φ_{X} (y)} \end{matrix}

(30)

is Lipschitz continuous on

R^{d}

, with Lipschitz constant bounded by

{sup}_{x \in Ω} | x |

and has the following properties :

\nabla Ψ_{X} (x) \in Ω

holds true for

ρ_{X}

a.e.

x

\begin{matrix} \int_{R^{d}} g (\nabla Ψ_{X}) ρ_{X} (x) d x = \int_{Ω} g (\nabla Ψ_{X} (X (x))) d x = \int_{Ω} g (x) d x \end{matrix}

(31)

for any

g \in C^{0} (\bar{Ω})

, and

\begin{matrix} \nabla Φ_{X} (\nabla Ψ_{X} (x)) = x ρ_{X} (x) d x a . e, \end{matrix}

(32)

\begin{matrix} \nabla Ψ_{X} (\nabla Φ_{X} (y)) = y d y a . e, \end{matrix}

(33)

\begin{matrix} π_{X} (y) = \nabla Ψ_{X} (X (y)) d y a . e . \end{matrix}

(34)

We make here several remarks on Theorem 2.2 :

Link with the Monge-Ampere equation We can interpret ( 29 ) as a weak version of the Monge-Ampere equation:

\begin{matrix} ρ_{X} (\nabla Φ) det D^{2} Φ = 1 \end{matrix}

and ( 31 ) can be seen as a weak version of another Monge-Ampere equation:

\begin{matrix} det D^{2} Ψ = ρ_{X} \end{matrix}

\begin{matrix} \nabla Ψ maps supp (ρ_{X}) in Ω . \end{matrix}

The pair

(Φ_{X}, Ψ_{X})

depends in fact only of

Ω

and the measure

ρ_{X} = X # d x,

and if condition ( 27 ) fails, then existence and uniqueness of the projection

π_{X}

may fail, but existence and uniqueness of

\nabla Φ_{X}

remain true.

Theorem 2.2 and the subsequent remarks allow us to introduce the following notation that will be used throughout the paper:

Definition 2.3 Let

Ω

be a fixed bounded convex open set of

R^{d}

, let

ρ

be a positive measure on

R^{d}

of total mass

| Ω |

, absolutely continuous w.r.t the Lebesgue measure and such that

\int (1 + | x |^{2}) d ρ (x) < + \infty

. We call

Φ [Ω, ρ]

, or, in short,

Φ [ρ]

, the unique up to a constant convex function on

Ω

satisfying

\begin{matrix} \forall g \in C^{0} (R^{d}) \cap L^{1} (d ρ), \int_{R^{d}} g (x) d ρ (x) = \int_{Ω} g (\nabla Φ [Ω, ρ] (y)) d y . \end{matrix}

(35)

We call

Ψ [Ω, ρ]

its Legendre-Fenchel transform satisfying

\begin{matrix} \forall g \in C^{0} (R^{d}) \cap L^{1} (Ω, d y), \int_{R^{d}} g (\nabla Ψ [Ω, ρ] (x)) d ρ (x) = \int_{Ω} g (y) d y . \end{matrix}

(36)

If no confusion is possible we may write

Φ

(resp.

Ψ

) instead of

Φ [Ω, ρ]

(resp.

Ψ [Ω, ρ]) .

We will use some additional results from [?] . The first one establishes the continuity of the polar decomposition:

Theorem 2.4 Let

ρ

be a Lebesgue integrable positive measure on

R^{d}

, with total mass

Ω

, such that

\int (1 + | x |^{2}) d ρ < + \infty

. Let

ρ_{n}

be a sequence of Lebesgue integrable positive measures on

R^{d}

, with total mass

Ω

, such that

\forall n

\int (1 + | x |^{2}) d ρ_{n} < + \infty

. Let

Φ_{n} = Φ [Ω, ρ_{n}]

and

Ψ_{n} = Ψ [Ω, ρ_{n}]

be as in Definition 2.3 . If for any

f \in C^{0} (R^{d})

such that

| f (x) | \leq C (1 + | x |^{2}),

\int f d ρ_{n}

converges to

\int f d ρ

, then

∙ $Φ_{n}$ converges to $Φ [Ω, ρ]$ uniformly on each compact set of $Ω$ and strongly in $W^{1, 1} (Ω),$
∙ $Ψ_{n}$ converges to $Ψ [Ω, ρ]$ uniformly on each compact set of $R^{d}$ and strongly in $W^{1, 1} (K)$ for every $K$ compact in $R^{d}$ .

The second one provides a ’dual’ definition of the distance between a map

X

and the semi-group

S (Ω)

Theorem 2.5 Let

X \in L^{2} (Ω; R^{d})

and

ρ = X # d x,

where

d x

is the Lebesgue measure on

Ω .

Assume

ρ

to be a Lebesgue integrable function. Then

\frac{1}{2} d^{2} (X, S (Ω)) = \int (| x |^{2} / 2 - Ψ [Ω, ρ] (x)) ρ (x) d x + \int_{Ω} (| y |^{2} / 2 - Φ [Ω, ρ] (y)) d y

= {sup}_{u, v} \int (| x |^{2} / 2 - u (x)) ρ (x) d x + \int_{Ω} (| y |^{2} / 2 - v (y)) d y,

where the supremum if performed over all pairs

(u, v)

of continuous functions on

R^{d}

such that

u (x) + v (y) \geq x \cdot y

pointwise.

2.4 The Vlasov-Monge-Ampere system

Let us now derive the

V M A

system as the kinetic formulation of the approximate geodesic equation ( 26 ). First, from the polar decomposition Theorem 2.2 , equation ( 26 ) reads

\begin{matrix} \partial_{t t} X (t, x) = \nabla φ (t, X (t, x)), \end{matrix}

(37)

where

\begin{matrix} \nabla φ (t, x) = \frac{\nabla Ψ [Ω, ρ (t, \cdot)] (x) - x}{ε^{2}} \end{matrix}

(38)

and

Ψ [Ω, ρ]

is as in Definition ( 2.3 ). This means that

\nabla φ

satisfies ( 5 ) in a weak form with the additional condition that the range of

x \to x + ε^{2} \nabla φ (t, x)

is contained in

\bar{Ω}

Next, let

f^{0} \geq 0

be a given initial density function, that we assume to be in

L^{\infty} (R^{d} \times R^{d})

, compactly supported and satisfying the compatibility condition

\begin{matrix} \int f^{0} (x, ξ) d x d ξ = | Ω | . \end{matrix}

(39)

For each

t \geq 0

, let us define

(x, ξ) \to f (t, x, ξ)

to be

f^{0}

pushed forward by the following ODE

\begin{matrix} \partial_{t} X (t, x, ξ) = Ξ (t, x, ξ) \end{matrix}

(40)

\begin{matrix} \partial_{t} Ξ (t, x, ξ) = (\nabla φ) (X (t, x, ξ)) \end{matrix}

(41)

\begin{matrix} (X, Ξ) (t = 0, x, ξ) = (x, ξ) . \end{matrix}

(42)

Then

f

satisfies the following kinetic (or Liouville) equation

\begin{matrix} \frac{\partial f}{\partial t} + \nabla_{x} \cdot (ξ f) + \nabla_{ξ} \cdot (\nabla φ f) = 0 \end{matrix}

(43)

\begin{matrix} f (0, \cdot, \cdot) = f^{0}, \end{matrix}

(44)

which must be understood in the following weak sense

\begin{matrix} \forall g \in C_{c}^{\infty} ([0, + \infty) \times R^{d} \times R^{d}), \end{matrix}

\begin{matrix} \int_{0}^{\infty} d t \int_{R^{d} \times R^{d}} (\frac{\partial g}{\partial t} + ξ \cdot \nabla_{x} g + \nabla φ \cdot \nabla_{ξ} g) f d x d ξ \end{matrix}

\begin{matrix} = - \int_{R^{d} \times R^{d}} f_{0} (x, ξ) g (t = 0, x, ξ) d x d ξ . \end{matrix}

(45)

This linear Liouville equation is nonlinearly coupled to equation ( 38 ), where

ρ

is linked to

f

by equation ( ?? ). Finally, we have defined, through ( 38 , 43 , 44 ), the weak formulation of the

V M A

initial value problem.

The energy of the system is defined by

\begin{matrix} E (t) = & \frac{1}{2} \int_{R^{d} \times R^{d}} f (t, x, ξ) | ξ |^{2} d x d ξ \end{matrix}

\begin{matrix} + & \frac{1}{2 ε^{2}} \int_{R^{d}} ρ (t, x) {| \nabla Ψ [Ω, ρ] (t, x) - x |}^{2} d x . \end{matrix}

(46)

3 Existence of global renormalized weak solutions

The main result of this section is as follows:

Theorem 3.1 Let

(x, ξ) \to f^{0} (x, ξ) \geq 0

be in

L^{\infty} (R^{d} \times R^{d})

, with compact support in both

x

and

ξ

, satisfying condition ( 39 ).

Then the

V M A

system ( 38 , 43 , 44 ) admits a global weak solution

(f, ρ, Ψ)

, with

f \in L^{\infty} (R^{+} \times R^{d} \times R^{d})

and

(ρ, \nabla ψ) \in L^{\infty} ([0, T] \times R^{d})

for all

T > 0

. In addition, each such weak solution enjoys the following properties:

∙ $f$ is a continuous function of $t$ , valued in $L^{p} (R^{d} \times R^{d})$ , for every $1 \leq p < \infty$
∙ the density $ρ$ is a continuous function of $t$ , valued in $L^{p} (R^{d})$ , for every $1 \leq p < \infty$ ,
∙ the support of $f (t, \cdot, \cdot)$ in $(x, ξ)$ is compact, with a diameter growing no more than linearly in $t$ .
∙ the total energy defined by ( 46 ) is conserved,
∙ the ’renormalization’ property (in the sense of [?] ) $\frac{\partial g (f)}{\partial t} + \nabla_{x} \cdot (ξ g (f)) + \nabla_{ξ} \cdot (\nabla φ g (f)) = 0$ holds true for all $g \in C^{1} (R)$ ,
∙ the trajectories of ( 41 , 42 ) are uniquely defined for almost every initial condition $(x, ξ)$ ,
∙ $t \to f (t, \cdot, \cdot)$ is just $f^{0}$ pushed forward along the trajectories of ( 41 , 42 ).

Proof of Theorem 3.1 :

We build a sequence of approximate solutions

(f_{h}, Ψ_{h})_{h > 0}

by time discretization and let the time step

h

go to zero. To handle the limiting process, the non-linear terms will be treated with the help of Theorem 2.4 . More precisely if one can extract a subsequence such that, for every

t

f_{h} (t, \cdot, \cdot)

converges weakly, then we can deduce from Theorem 2.4 that the corresponding sequence

\nabla Ψ_{h} (t, \cdot)

will converge strongly, and this will allow us pass to the limit in the nonlinear term.

3.1 Construction of a sequence of approximate solutions

We consider

η \in C_{c}^{\infty} (R^{d})

such that

η \geq 0

\int_{R^{d}} η = 1

and

η_{h} = \frac{1}{h^{d}} η (\frac{\cdot}{h})

We then seek approximate solutions as solutions of the approximate problem

\begin{matrix} \frac{\partial f_{h}}{\partial t} + ξ \cdot \nabla_{x} f_{h} + \frac{\nabla Ψ_{h} (x) - x}{ε^{2}} \cdot \nabla_{ξ} f_{h} = 0 \end{matrix}

(47)

\begin{matrix} f_{h} (0, x, ξ) = f_{h}^{0} (x, ξ) = f_{0} *_{x, ξ} η_{h} \otimes η_{h} \end{matrix}

(48)

\begin{matrix} Ψ_{h} (t) = η_{h} * Ψ [Ω, ρ (t = n h)] for t \in [n h, (n + 1) h [. \end{matrix}

(49)

\nabla Ψ_{h}

being a smooth function of space this regularized equation admits a unique solution that one builds by the method of characteristics. Since the flow is divergence-free in the phase space, the solution

f_{h}

satisfies

\begin{matrix} \forall p \in [1, + \infty], ∥ f_{h} (t) ∥_{L^{p} (R^{d} \times R^{d})} = ∥ f_{h} (0) ∥_{L^{p} (R^{d} \times R^{d})} . \end{matrix}

(50)

By construction (through Theorem 2.2 ),

\nabla Ψ_{h}

is valued in the convex bounded set

\bar{Ω}

. Suppose that

f^{0} (x, ξ)

vanishes outside of the set

{x^{2} + ε^{2} ξ^{2} \leq C^{2}}

for some constant

C > 0

fixed and denote

R = {sup}_{y \in Ω} | y |

. Then we have

Lemma 3.2

\forall t \geq 0, f_{h} (t, \cdot, \cdot)

is supported in

{\sqrt{x^{2} + ε^{2} ξ^{2}} \leq C + R t / ε}

Proof : We just write

ε^{2} \partial_{t t} X + X = \nabla Ψ_{h} (X)

in complex notation

- i ε \partial_{t} Z + Z = F

, where

Z = X + i ε \partial_{t} X

and

F = \nabla Ψ_{h} (X)

, which is bounded by

R

. This leads to

Z (t) = Z (0) exp (- i t / ε) + i ε^{- 1} \int_{0}^{t} exp (- i (t - s) / ε) F (s) d s

ant the desired bound easily follows. Notice here a sharp contrast with the classical

V P

system, for which the

ξ -

support of the solutions cannot be controlled so easily (except in the one dimensional case).

□

Convergence of the sequence of approximate solutions Using ( 50 ) and Lemma 3.2 there exists, for any

1 < p < \infty

, up to the extraction of a subsequence,

f \in L^{p} ([0, T] \times R^{d} \times R^{d})

such that

f_{h}

converges weakly to

f

h \to 0

It remains to show that the product

f_{h} \nabla Ψ_{h}

converges to the good limit.

For this we need strong convergence of

\nabla Ψ_{h} .

We already know that

\nabla Ψ_{h} \in L^{\infty} ([0, T] \times R^{d}) .

We claim that for all

t > 0

\nabla Ψ_{h} (t, \cdot)

converges strongly to

\nabla Ψ (t, \cdot)

L_{l o c}^{q} (R^{d})

\forall q \in [1, + \infty [

. Indeed, such a strong convergence of

\nabla Ψ_{h}

follows from Theorem 2.4 provided that we have for all

t > 0

\begin{matrix} \int_{R^{d}} g (x) ρ_{h} (t, x) d x \to \int_{R^{d}} g (x) ρ (t, x) d x, \end{matrix}

(51)

for any

g \in C^{0} (R^{d})

such that

\int (1 + | x |^{2}) g (x) d x < + \infty

. Note first that from Lemma 3.2 , we can restrict ourselves here to test functions

g

that are compactly supported. Then we show that the sequence

ρ_{h}

is relatively compact in

C ([0, T], L^{p} (R^{d}) - w) .

This is done by the following lemma:

Lemma 3.3 For all

T > 0

, for all

p

with

1 \leq p < \infty

the sequence

f_{h}

(resp.

ρ_{h}

) satisfies

∙ $f_{h}$ (resp. $ρ_{h}$ ) is a bounded sequence in $L^{\infty} ([0, T]; L^{p} (R^{d} \times R^{d}))$ (resp.
in $L^{\infty} ([0, T]; L^{p} (R^{d}))$ ,
∙ $\partial_{t} f_{h}$ (resp. $\partial_{t} ρ_{h}$ ) is a bounded sequence in $L^{\infty} ([0, T]; W^{- 1, p} (R^{d} \times R^{d})))$ , (resp. in $L^{\infty} ([0, T]; W^{- 1, p} (R^{d}))$ ,

and one can extract from

f_{h}

(resp. from

ρ_{h}

) a subsequence converging in

C ([0, T], L^{p} (R^{d} \times R^{d}) - w)

(resp. in

C ([0, T], L^{p} (R^{d}) - w)

Proof: the first point uses equation ( 50 ) and Lemma 3.2 . The second point uses equation ( 43 ) and the identity:

\partial_{t} ρ_{h} = - \nabla_{x} \cdot \int_{R^{d}} ξ f_{h} d ξ,

with the fact that the

f_{h}

are uniformly compactly supported in

x

and

ξ

(Lemma 3.2 ); the last point is a classical result of functional analysis (see [?] for example).

□

This lemma and Lemma 3.2 yield ( 51 ). Then using Theorem 2.4 , with

ρ

the limit of a subsequence of

ρ_{h}

, we have convergence of the sequence

\nabla Ψ_{h}

\nabla Ψ [Ω, ρ]

C ([0, T], L^{p} (R^{d}))

. We have extracted a subsequence

f_{h}

such that

∙ $f_{h}$ converges in $C ([0, T], L^{p} (R^{d} \times R^{d}) - w)$ for every $1 \leq p < \infty$ .
∙ $ρ_{h}$ converges in $C ([0, T], L^{p} (R^{d}) - w)$ for every $1 \leq p < \infty$ .
∙ $\nabla Ψ_{h} (t, \cdot)$ converges in $L^{p} (R^{d})$ for every $t$ and for every $1 \leq p < \infty$ .

Thus the limit

(f, \nabla Ψ)

satisfies equations ( 43 - 44 ) and the first part of Theorem 3.1 is proved.

3.2 Conservation of energy

We now give a rigorous proof of the conservation of energy following an argument going back to F. Otto (in an unpublished work on the semi-geostrophic equations). We recall the definition of the energy as

\begin{matrix} E (t) = \frac{1}{2} \int_{R^{d} \times R^{d}} f (t, x, ξ) | ξ |^{2} d x d ξ + \frac{1}{2 ε^{2}} \int_{R^{d}} ρ (t, x) | \nabla Ψ (t, x) - x |^{2} d x . \end{matrix}

We call the first term the kinetic energy

E_{c}

and the second term, multiplied by

ε^{2}

, the (normalized) potential energy

E_{p} .

We have

Proposition 3.4 Let

f

be any solution of ( 43 ) such that on every interval

[0, T]

f (t, \cdot, \cdot)

is uniformly compactly supported in

| x |, | ξ | \leq R (T)

for some function

R (T)

. Then the energy of the solution

f

is conserved.

Proof: From Theorem 2.5 , we know that

E_{p} (t) = \int (| x |^{2} / 2 - Ψ (t, x)) ρ (t, x) d x + \int_{Ω} (| y |^{2} / 2 - Φ (t, y)) d y

= {sup}_{u, v} \int (| x |^{2} / 2 - u (x)) ρ (t, x) d x + \int_{Ω} (| y |^{2} / 2 - v (y)) d y,

where the supremum if performed over all pairs

(u, v)

of continuous functions on

R^{d}

such that

u (x) + v (y) \geq x \cdot y

pointwise. Thus for each

t, t_{0} \in R +

, we have

\begin{matrix} E_{p} (t) & \geq \int (| x |^{2} / 2 - Ψ (t_{0}, x)) ρ (t, x) d x + \int_{Ω} (| y |^{2} / 2 - Φ (t_{0}, y)) d y, \end{matrix}

and this implies

\begin{matrix} E_{p} (t) - E_{p} (t_{0}) & \geq \int_{R^{d}} (| x |^{2} / 2 - Ψ (t_{0}, x)) (ρ (t, x) - ρ (t_{0}, x)) d x \end{matrix}

\begin{matrix} = \int_{t_{0}}^{t} \int_{R^{d}} \partial_{t} ρ (s, x) (| x |^{2} / 2 - Ψ (t_{0}, x)) d x d s \end{matrix}

\begin{matrix} = \int_{t_{0}}^{t} \int_{R^{d} \times R^{d}} ξ f (s, x, ξ) (x - \nabla Ψ (t_{0}, x)) d x d ξ d s . \end{matrix}

Notice that the product in the second line is licit since

\partial_{t} ρ

is in

W^{- 1, p}

for any

1 \leq p < \infty

f (t, \cdot, \cdot)

and therefore

ρ (t, \cdot)

are compactly supported in space uniformly on

[0, T]

, and

Ψ - | x |^{2} / 2

is in

W_{l o c}^{1, \infty}

. Exchanging

t_{0}

and

t

we would have found

\begin{matrix} E_{p} (t_{0}) - E_{p} (t) \geq \int_{t}^{t_{0}} \int_{R^{d} \times R^{d}} ξ f (s, x, ξ) (x - \nabla Ψ (t, x)) d x d ξ d s, \end{matrix}

moreover we have for the kinetic energy

\begin{matrix} ε^{2} (E_{c} (t) - E_{c} (t_{0})) = \int_{t_{0}}^{t} \int_{R^{d} \times R^{d}} ξ f (t, x, ξ) \cdot (\nabla Ψ (s, x) - x) d x d ξ d s . \end{matrix}

Dividing by

t - t_{0}, t > t_{0}

we find

\begin{matrix} ε^{2} \frac{E (t) - E (t_{0})}{t - t_{0}} \end{matrix}

\begin{matrix} \geq \frac{1}{t - t_{0}} \int_{t_{0}}^{t} \int_{R^{d} \times R^{d}} ξ f (s, x, ξ) \cdot (\nabla Ψ (s, x) - \nabla Ψ (t_{0}, x)) d x d ξ d s \end{matrix}

and

\begin{matrix} ε^{2} \frac{E (t) - E (t_{0})}{t - t_{0}} \end{matrix}

\begin{matrix} \leq \frac{1}{t - t_{0}} \int_{t_{0}}^{t} \int_{R^{d} \times R^{d}} ξ f (s, x, ξ) \cdot (\nabla Ψ (t, x) - \nabla Ψ (s, x)) d x d ξ d s . \end{matrix}

We know from 3.1 that

\nabla Ψ (t, .)

converges strongly in

L_{l o c}^{p} (R^{d}), 1 \leq p < \infty

\nabla Ψ (t_{0}, .)

t

goes to

t_{0}

, and so the right hand sides of the above inequalities converges to 0 and we conclude that

{lim}_{t > t_{0}} \frac{E (t) - E (t_{0})}{t - t_{0}} = 0 .

We could take

t < t_{0}

and find the same result. Finally we conclude that

\begin{matrix} \frac{d E}{d t} \equiv 0 . \end{matrix}

□

3.3 Renormalized solutions and existence of characteristics

The study of renormalized solutions for transport equations has been introduced in [?] for vector fields in

W^{1, 1}

with bounded divergence. These results have been extended by Bouchut [?] to the case of Vlasov-type equations with acceleration field in

B V

(A recent result of L. Ambrosio, [?] , has extended the existence of renormalized solutions to transport equations with vector fields in

B V

and with bounded divergence). The fact that solutions of ( 43 , 44 ) are renormalized solutions is an immediate consequence of the following theorem:

Theorem 3.5

(

F. Bouchut

)

Let

f \in L^{\infty} (] 0, T [, L_{l o c}^{\infty} (R^{d} \times R^{d}))

satisfy

\begin{matrix} \frac{\partial f}{\partial t} + \nabla_{x} \cdot (ξ f) + \nabla_{ξ} \cdot (E (t, x) f) = 0, \end{matrix}

with

E (t, x) \in L^{1} (] 0, T [; L_{l o c}^{1} (R^{d})) \cap L^{1} (] 0, T [; B V_{l o c} (R^{d}))

, then, for any

g \in C^{1} (R)

\frac{\partial g (f)}{\partial t} + \nabla_{x} \cdot (ξ g (f)) + \nabla_{ξ} \cdot (E (t, x) g (f)) = 0,

and for every

1 \leq p < \infty

f

belongs to

C (] 0, T [, L_{l o c}^{p} (R^{d} \times R^{d}))

In our case the BV bound on the acceleration

\nabla Ψ

is a direct consequence of the fact that

Ψ

is a globally Lipschitz convex function. This result implies the strong time continuity results for

f

and

ρ

in Theorem 3.1 . Finally, as in [?] , it can be deduced from the renormalization property that 1) for almost every initial condition

(x, ξ)

, there is a unique trajectory solving ( 41 , 42 ), 2)

t \to f (t)

is just

f^{0}

pushed forward along these trajectories.

A complete proof is given in appendix.

Remark: From the renormalization property it follows that, once the potential

Ψ (t, x)

is known, there exists a unique solution to ( 43 ) in

L_{t, x, ξ}^{\infty}

Of course, this does not imply at all the uniqueness of weak solutions to the Vlasov-Monge-Ampere system! This paragraph ends the proof of Theorem 3.1 .

4 Strong solutions

In this section we show existence of strong solutions over a finite time intervall. To do so, we need regularity estimates for solutions of Monge-Ampere equation. We will get rid of the difficulties that may arise at the free boundary of the set

{ρ > 0}

by considering the periodic case. Note that for the Vlasov-Poisson system, existence of global smooth solutions has been proved (see [?] ); in the present case, due to the non-linearity of the Monge-Ampere equation, we were only able to obtain a result for finite time.

4.1 The periodic Vlasov-Monge-Ampere system

Polar factorization of maps in a periodic domain The polar decomposition Theorem has been generalized in [?] to general Riemannian manifolds, while the particular case of the flat torus

T^{d} = R^{d} / Z^{d}

had been addressed in [?] .

Definition 4.1 We say that a mapping

Y : R^{d} \to R^{d}

Z^{d}

additive if the mapping

x \to Y (x) - x

Z^{d}

periodic. The set of all measurable

Z^{d}

additive mappings is denoted by

P

. For each

x \in R^{d}

we call

\hat{x}

the class of

x

R^{d} / Z^{d}

, and for any

X \in P

\hat{X}

the mapping of

T^{d}

into itself defined by

\forall x \in R^{d}, \hat{X} (\hat{x}) = \hat{X} (x) .

We may say if no confusion is possible additive instead of

Z^{d}

additive. Then the following theorem can be deduced from the results of [?] and [?] :

Theorem 4.2 Let

X : R^{d} \to R^{d}

be additive and assume that

ρ_{X} = X # d x

has a density in

L^{1} ([0, 1]^{d})

. Then there exists a unique pair

(\nabla Φ_{X}, π_{X})

such that

X = \nabla Φ_{X} \circ π_{X}

where

Φ_{X}

is a convex function and

Φ_{X} (x) - | x |^{2} / 2

Z^{d}

periodic,

π_{X} : R^{d} \to R^{d}

is additive and

{\hat{π}}_{X}

is Lebesgue measure preserving in

T^{d}

. Moreover we have

∥ X - π_{X} ∥_{L^{2} ([0, 1]^{d})} = ∥ \hat{X} - {\hat{π}}_{X} ∥_{L^{2} (T^{d})}

and,

Ψ_{X}

denoting the Legendre transform of

Φ_{X}

, we have

π_{X} = \nabla Ψ_{X} \circ X .

Remark : The pair

(Φ_{X}, Ψ_{X})

is uniquely defined by the density

ρ_{X} = X # d x

Notice that the periodicity of

Φ_{X} (x) - | x |^{2} / 2

implies that

\nabla Φ_{X}

and

\nabla Ψ_{X}

are

Z^{d}

additive, and that

Ψ_{X} - | x |^{2} / 2

is also

Z^{d}

periodic. As in the previous case, we introduce the following notation:

Definition 4.3 Let

ρ

be a probability measure on

T^{d}

, with density in

L^{1} (T^{d})

. We denote

Φ [ρ]

(resp.

Ψ [ρ]

) the unique up to a constant convex function such that

\begin{matrix} Φ [ρ] - | x |^{2} / 2 is Z^{d} periodic, \end{matrix}

(52)

\begin{matrix} \forall f \in C^{0} (T^{d}), \int_{T^{d}} f (\hat{\nabla} Φ [ρ] (x)) d x = \int f d ρ \end{matrix}

(53)

(resp. its Legendre fenchel transform).

Ψ [ρ]

will thus be a generalized solution of the Monge-Ampere equation

det D^{2} Ψ = ρ .

Next the results of Caffarelli ([?] , [?] , [?] ) on the regularity of solutions of the Monge-Ampere equation yield the following theorem:

Theorem 4.4 Let

ρ > 0

be a

C^{α} (T^{d})

probability density on

T^{d}

, for some

α \in] 0, 1 [

Then

Ψ = Ψ [ρ]

(see Definition 4.3 ) is a classical solution of

\begin{matrix} det D^{2} Ψ = ρ \end{matrix}

and satisfies:

\begin{matrix} ∥ \nabla Ψ (x) - x ∥_{L^{\infty}} \leq C (d) = \sqrt{d} / 2 \end{matrix}

\begin{matrix} ∥ D^{2} Ψ ∥_{C^{α}} \leq K (m, M, ∥ ρ ∥_{C^{α}}) \end{matrix}

where

m = inf ρ

and

M = sup ρ

This theorem is an adaptation of the regularity results stated above, whose complete proof is given in appendix.

The periodic Vlasov-Monge-Ampere system We now seek

f : (t, x, ξ) \in (T^{d} \times R^{d} \times [0, T]) \to f (t, x, ξ) \in R^{+}

, for some

T > 0

, solution of the initial value problem for the periodic Vlasov-Monge-Ampere

(V M A_{p})

system

\begin{matrix} \frac{\partial f}{\partial t} + \nabla_{x} \cdot (ξ f) + \frac{1}{ε^{2}} \nabla_{ξ} \cdot ((\nabla Ψ [ρ] (x) - x) f) = 0 \end{matrix}

(54)

\begin{matrix} f (0, \cdot, \cdot) = f^{0}, \end{matrix}

(55)

for a given

f^{0}

satisfying the compatibility condition

\begin{matrix} \int f^{0} (x, ξ) d x d ξ = 1 . \end{matrix}

(56)

The macroscopic density

ρ

is still related to

f

by equation ( 3 ), and

Ψ [ρ]

is as in Definition 4.3 .

4.2 Existence of local strong solutions

We mention first that the proof of existence of global weak solutions adapts with minor changes to the periodic case, and that the obtain for the periodic

(V M A_{p})

system the same result as Theorem 3.1 .

Our result in this section is the following:

Theorem 4.5 Let

f_{0} \in W^{1, \infty} (T^{d} \times R^{d}),

be such that:

\begin{matrix} \exists C_{0} > 0 : f_{0} \equiv 0 for | ξ | \geq C_{0}, \end{matrix}

(57)

\begin{matrix} \exists m > 0 : ρ_{0} (x) = \int_{R^{d}} f_{0} (x, ξ) d ξ \geq m \forall x \in T^{d}, \end{matrix}

(58)

then there exists

T > 0

and a solution

f

to the

V M A_{p}

system ( 54 , 55 ), in the space

W^{1, \infty} ([0, T] \times T^{d} \times R^{d})

Proof of Theorem 4.5 : First we deduce from Theorem 4.4 :

Corollary 4.6 Let

ρ, Ψ = Ψ [ρ]

be as in Theorem 4.4 . Then, we have

∥ D^{2} Ψ ∥_{L^{\infty} (T^{d})} \leq C (m, M, ∥ \nabla ρ ∥_{L^{\infty} (T^{d})}),

and we can define

K (m, M, l) = sup {∥ D^{2} Ψ [ρ] ∥_{L^{\infty} (T^{d})}; ∥ \nabla ρ ∥_{L^{\infty} (T^{d})} \leq l, m \leq ρ \leq M} < \infty .

We see that in order to use Theorem 4.4 we need

ρ

to be bounded away from 0. In the following lemma, we show that under suitable assumptions on the initial data, it is possible to enforce locally in time the condition

0 < m \leq ρ \leq M .

Lemma 4.7 Let

f \in L^{\infty} ([0, T] \times T^{d} \times R^{d})

satisfy

\begin{matrix} \frac{\partial f}{\partial t} + \nabla_{x} \cdot (ξ f) + \nabla_{ξ} \cdot (E (t, x) f) = 0 \end{matrix}

\begin{matrix} f (0, ., .) = f^{0}, \end{matrix}

with

E \in L^{1} ([0, T], B V (T^{d}))

and

\begin{matrix} ∥ E ∥_{L^{\infty} ([0, T] \times T^{d})} \leq F, \end{matrix}

let the initial condition

f_{0}

be such that

a (x, ξ) \leq f (0, x, ξ) \leq b (x, ξ),

with

ρ_{a} (x) = \int a (x, ξ) d ξ \geq m > 0

and

ρ_{b} (x) = \int b (x, ξ) d ξ \leq M < \infty

and

a, b

satisfying

\begin{matrix} | \nabla_{x, ξ} (a, b) | \leq \frac{c}{1 + | ξ |^{d + 2}} . \end{matrix}

Then there exists a constant

R > 0

depending on

m, M, c, F

, such that

\begin{matrix} (ρ_{a} (x) - R t) \leq ρ (t, x) \leq (ρ_{b} (x) + R t) . \end{matrix}

The proof of the lemma is given in appendix.

4.2.1 Construction of approximate solutions

Let us consider

(t, x) \to E (t, x)

a smooth vector-field on

T^{d}

, and write

\begin{matrix} T_{E} (f) = \frac{\partial f}{\partial t} + \nabla_{x} \cdot (ξ f) + \nabla_{ξ} \cdot (E f) . \end{matrix}

f

satisfies

T_{E} (f) = 0

, we have

\begin{matrix} T_{E} \nabla_{x} f = - (\nabla_{x} E) \cdot \nabla_{ξ} f \end{matrix}

\begin{matrix} T_{E} \nabla_{ξ} f = - \nabla_{x} f \end{matrix}

\begin{matrix} T_{E} \partial_{t} f = - \partial_{t} E \cdot \nabla_{ξ} f, \end{matrix}

and therefore

\begin{matrix} \frac{d}{d t} ∥ \nabla_{x, ξ} f ∥_{L^{\infty}} \leq ∥ \nabla_{x, ξ} f ∥_{L^{\infty}} (1 + ∥ \nabla_{x} E ∥_{L^{\infty}}) \end{matrix}

(59)

which implies

\begin{matrix} ∥ \nabla_{x, ξ} f (t) ∥_{L^{\infty}} \leq ∥ \nabla_{x, ξ} f (t = 0) ∥_{L^{\infty}} exp (\int_{0}^{t} (1 + ∥ \nabla_{x} E (s) ∥_{L^{\infty}}) d s) . \end{matrix}

Now let

f_{0}

be given as in Theorem 4.5 , satisfying ( 57 , 58 ). Thanks to Lemma 4.7 it is possible to find

t_{1}, m, M

such that for any

f

satisfying

\begin{matrix} T_{E} (f) = 0 \end{matrix}

\begin{matrix} f (t = 0) = f_{0}, \end{matrix}

for any field

E \in L^{1} ([0, t_{1}], B V (T^{d}))

satisfying

∥ E ∥_{L^{\infty} ([0, t_{1}] \times T^{d})} \leq \sqrt{d} / (2 ε^{2})

, we have

\begin{matrix} m \leq ρ (t, \cdot) \leq M, \forall t \in [0, t_{1}] \end{matrix}

(60)

\begin{matrix} | ξ |_{m a x} \leq C_{1} = 10 C_{0}, \end{matrix}

(61)

with

f

supported in

{| ξ | \leq | ξ |_{m a x}}

and with

C_{0}

as in Theorem 4.5 , so that we have for

0 \leq t \leq t_{1}

\begin{matrix} ∥ \nabla ρ ∥_{L^{\infty}} \leq ω_{d} C_{1}^{d} ∥ \nabla_{x} f ∥_{L^{\infty}}, \end{matrix}

(62)

ω_{d}

being the volume of the unit ball of

R^{d}

. Then we construct a family of approximate solutions

(f_{h}, Ψ_{h})

to ( 54 ), in the same spirit as we did for weak solutions, by solving

\begin{matrix} \frac{\partial f_{h}}{\partial t} + ξ \cdot \nabla_{x} f_{h} + \frac{\nabla Ψ_{h} (x) - x}{ε^{2}} \cdot \nabla_{ξ} f_{h} = 0 \end{matrix}

\begin{matrix} f_{h} (t = 0) = f_{0} \end{matrix}

\begin{matrix} Ψ_{h} (t) = Ψ [ρ (t = n h)] for t \in [n h, (n + 1) h [. \end{matrix}

Note that we have neither mollified the term

\nabla Ψ

nor the initial condition and that

∥ \nabla Ψ_{h} - x ∥_{L^{\infty}} \leq C (d) = \sqrt{d} / 2

. Now choose

l = 10 ∥ \nabla_{x, ξ} f_{0} ∥_{L^{\infty}} ω_{d} C_{1}^{d}

, if for some

t = n h \leq t_{1} - h

we have

\begin{matrix} ∥ \nabla_{x, ξ} f^{h} (t = n h) ∥_{L^{\infty}} \leq \frac{l}{ω_{d} C_{1}^{d}} \end{matrix}

this implies, thanks to ( 62 ), that

\begin{matrix} ∥ \nabla_{x} ρ^{h} (t = n h) ∥_{L^{\infty}} \leq l, \end{matrix}

and conditions ( 60 , 61 ) are satisfied because

t \leq t_{1}

. Then if we denote

K = K (m, M, l)

as in Corollary 4.6 , we have for

n h \leq t < n h + h,

\begin{matrix} \frac{d}{d t} ∥ \nabla_{x, ξ} f^{h} ∥_{L^{\infty}} \leq (K + 1) ∥ \nabla_{x, ξ} f^{h} ∥_{L^{\infty}}, \end{matrix}

and then

\begin{matrix} ∥ \nabla_{x, ξ} f^{h} (t = n h + h) ∥_{L^{\infty}} \leq ∥ \nabla_{x, ξ} f^{h} (t = n h + h) ∥_{L^{\infty}} exp (K + 1) h . \end{matrix}

So if we define

T

\begin{matrix} T = min {t_{1}, t_{2}}, \end{matrix}

with

exp ((K + 1) t_{2}) = 10

, we have for

0 \leq t \leq T

\begin{matrix} ∥ \nabla_{x, ξ} f^{h} ∥_{L^{\infty}} \leq 10 ∥ \nabla_{x, ξ} f_{0} ∥_{L^{\infty}} \end{matrix}

\begin{matrix} ∥ \nabla ρ^{h} ∥_{L^{\infty}} \leq l \end{matrix}

\begin{matrix} m \leq ρ \leq M \end{matrix}

\begin{matrix} ∥ D^{2} Ψ^{h} ∥_{L^{\infty}} \leq K . \end{matrix}

Thus we can extract a subsequence converging to a strong solution of ( 54 , 55 ). Then we argue as in section 2 to show that all terms converge to the correct limit. This ends the proof of Theorem 4.5 .

□

5 Asymptotic analysis

5.1 Convergence to the Euler equation

In this section we justify that the Vlasov-Monge-Ampere system describes approximate geodesics on volume preserving transformations: indeed we will show that weak solutions of this system converge to a solution of the incompressible Euler equations

(E)

as the parameter

ε

goes to 0, at least for well prepared initial data. We restrict ourselves to the space periodic case, the macroscopic density

ρ

is still defined by ( 3 ) and the convex potentials

Φ [ρ], Ψ [ρ]

are still as in Definition 4.3 .

For sake of simplicity, we slightly modify our notations and introduce the following rescaled potentials

\begin{matrix} \tilde{φ} [ρ] = \frac{| x |^{2} / 2 - Ψ [ρ]}{ε}, \end{matrix}

\begin{matrix} φ [ρ] = \frac{Φ [ρ] - | x |^{2} / 2}{ε}, \end{matrix}

so that

\begin{matrix} \nabla φ [ρ] = \nabla \tilde{φ} [ρ] \circ \nabla Φ [ρ], \end{matrix}

and the

V M A_{p}

system takes the following form:

\begin{matrix} \frac{\partial f}{\partial t} + ξ \cdot \nabla_{x} f - \frac{\nabla \tilde{φ} [ρ]}{ε} \cdot \nabla_{ξ} f = 0 \end{matrix}

(63)

\begin{matrix} f (0, \cdot, \cdot) = f_{0} . \end{matrix}

(64)

The energy is given by

\begin{matrix} E (t) & = \frac{1}{2} \int f (t, x, ξ) | ξ |^{2} d x d ξ + \frac{1}{2} \int | \nabla φ |^{2} d x \end{matrix}

(65)

\begin{matrix} = \frac{1}{2} \int f (t, x, ξ) | ξ |^{2} d x d ξ + \frac{1}{2} \int ρ | \nabla \tilde{φ} |^{2} d x . \end{matrix}

It has been shown in section 3.2 that the energy is conserved. The Euler equations for incompressible fluids

(E)

reads:

\begin{matrix} \partial_{t} v + v \cdot \nabla v = - \nabla p \end{matrix}

(66)

\begin{matrix} \nabla \cdot v = 0 . \end{matrix}

(67)

We shall here consider a smooth solution of

E

and a weak solution of

V M A_{p}

, with ‘well prepared initial data’, meaning that the initial data of both systems are close a time 0. Then we will show that as time evolves, both solutions stay close to each other.

Theorem 5.1 Let

f

be a weak solution of ( 63 , 64 ) with finite energy, let

(t, x) \to v (t, x)

be a smooth

C^{2} ([0, T] \times T^{d})

solution of ( 66 , 67 ) for

t \in [0, T],

and

p (t, x)

the corresponding pressure, let

\begin{matrix} H_{ε} (t) = \frac{1}{2} \int f (t, x, ξ) | ξ - v (t, x) |^{2} d x d ξ + \frac{1}{2} \int | \nabla φ (t, x) |^{2} d x, \end{matrix}

then

\begin{matrix} H_{ε} (t) \leq C exp (C t) (H_{ε} (0) + ε^{2}), \forall t \in [0, T] . \end{matrix}

C

depends only on

T, {sup}_{0 \leq s \leq T} {∥ v (s, .), p (s, .), \partial_{t} p (s, .), \nabla p (s, .) ∥_{W^{1, \infty} (T^{d})}}

Remark 1: This estimate is enough to compare the weak solutions

f

to the

V M A_{p}

system (for well prepared initial data) and the smooth solutions

v

of the Euler equations. For instance,

\int f (t = 0, x, ξ) d ξ \equiv 1

implies

φ (t = 0, x) \equiv 0

and therefore,

\int | ξ - v (t = 0, x) |^{2} f (t = 0, x, ξ) d x d ξ \leq C_{0} ε^{2}

implies

{sup}_{t \in [0, T]} \int | ξ - v (t, x) |^{2} f (t, x, ξ) d x d ξ \leq C_{T} ε^{2},

where

C_{T}

depends only on

C_{0}

T

and

v

Remark 2: We see that we consider nearly monokinetic initial data for the

V M A_{p}

system.

Proof of Theorem 5.1 We shall show that

\begin{matrix} \frac{d}{d t} H_{ε} = & - \int f (t, x, ξ) (ξ - v) \nabla v (ξ - v) \end{matrix}

\begin{matrix} + \int f (t, x, ξ) \frac{1}{ε} v \cdot \nabla \tilde{φ} \end{matrix}

\begin{matrix} - \int f (t, x, ξ) (v - ξ) \cdot \nabla p, \end{matrix}

(68)

where we will use the notation

\begin{matrix} u \nabla v w = \sum_{i, j = 1}^{d} u^{i} \partial_{i} v^{j} w^{j} . \end{matrix}

The proof of this identity is postponed to the end of the section.

Now we look at all terms of the right hand side. All the constants that we denote by

C

are controlled as in Theorem 5.1 . We set

\begin{matrix} T_{1} = - \int f (t, x, ξ) (ξ - v) \nabla v (ξ - v), \end{matrix}

\begin{matrix} T_{2} = \int f (t, x, ξ) \frac{1}{ε} v \cdot \nabla \tilde{φ}, \end{matrix}

\begin{matrix} T_{3} = - \int f (t, x, ξ) (v - ξ) \cdot \nabla p . \end{matrix}

First we have

T_{1} \leq C H_{ε} .

For

T_{2}

we have

\begin{matrix} T_{2} = \frac{1}{ε} \int ρ v \cdot \nabla \tilde{φ} = & \frac{1}{ε} \int v (\nabla Φ [ρ]) \cdot \nabla \tilde{φ} (\nabla Φ [ρ]) \end{matrix}

\begin{matrix} = & \frac{1}{ε} \int v (x + ε \nabla φ) \cdot \nabla φ \end{matrix}

\begin{matrix} = & \frac{1}{ε} \int v \cdot \nabla φ + (v (x + ε \nabla φ) - v (x)) \cdot \nabla φ \end{matrix}

\begin{matrix} \leq & 0 + C \int {| \nabla φ |}^{2} \leq C H_{ε}, \end{matrix}

we have used that

v

is divergence-free thus its integral against any gradient is zero. Next we have the following lemma:

Lemma 5.2 Let

G : T^{d} \to R

be Lipschitz continuous such that

\int_{T^{d}} G = 0

, then for all

R > 0

, one has

| \int ρ G | \leq \frac{1}{2} ∥ \nabla G ∥_{L^{\infty}} (\frac{1}{R} ε^{2} + R H_{ε}) .

Proof: We just write a Taylor expansion of

G

\begin{matrix} | \int (ρ - 1) G | = | \int (G (x + ε \nabla φ) - G (x) | \end{matrix}

\begin{matrix} \leq & ε ∥ \nabla G ∥_{L^{\infty}} ∥ \nabla φ ∥_{L^{1}} \leq ε ∥ \nabla G ∥_{L^{\infty}} H_{ε}^{1 / 2} \leq \frac{1}{2} ∥ \nabla G ∥_{L^{\infty}} (\frac{1}{R} ε^{2} + R H_{ε}) . \end{matrix}

□

Again, since

v

is divergence-free,

\int v \cdot \nabla p = 0,

thus from Lemma 5.2 we have

\begin{matrix} - \int ρ v \cdot \nabla p \leq C (ε^{2} + H_{ε}) . \end{matrix}

We remind that

\partial_{t} ρ (t, x) = - \nabla_{x} \cdot \int f (t, x, ξ) ξ d ξ .

Since it costs no generality to suppose that for all

t \in [0, T]

\int p (t, x) d x \equiv 0

, we obtain that

\begin{matrix} \int f (t, x, ξ) ξ \cdot \nabla p & = & \int \frac{\partial ρ}{\partial t} p \end{matrix}

\begin{matrix} = & \frac{d}{d t} \int ρ p - \int ρ \frac{\partial p}{\partial t} \end{matrix}

\begin{matrix} \leq & C (ε^{2} + H_{ε}) - \frac{d Q}{d t} \end{matrix}

\begin{matrix}  \end{matrix}

again using Lemma 5.2 , where

Q (t) = - \int ρ p .

Thus

\begin{matrix} T_{3} \leq C (H_{ε} + ε^{2}) - \frac{d Q}{d t} \end{matrix}

and we have the following inequality:

\begin{matrix} \frac{d}{d t} (H_{ε} + Q) \leq C H_{ε} + O (ε^{2}) . \end{matrix}

(69)

Moreover, using Lemma 5.2 ,

\begin{matrix} | Q (t) | \leq C ε^{2} + H_{ε} (t) / 2, \end{matrix}

(70)

thus

\begin{matrix} H_{ε} + Q \geq H_{ε} / 2 - C ε^{2}, \end{matrix}

(71)

and we can transform ( 69 ) in

\begin{matrix} \frac{d}{d t} (H_{ε} + Q) \leq C (H_{ε} + Q) + C ε^{2} . \end{matrix}

(72)

Gronwall’s lemma then yields

H_{ε} (t) + Q (t) \leq (H_{ε} (0) + Q (0) + C t ε^{2}) exp (C t) .

Using again ( 70 ) we obtain

\begin{matrix} H_{ε} (t) \leq C (H_{ε} (0) + ε^{2}) exp (C t), \end{matrix}

(73)

which achieves the proof of Theorem 5.1 .

□

Proof of identity ( 68 ):

We first notice that, for all

g \in C^{1} (R \times T^{d})

, we have:

\frac{d}{d t} \int ρ (t, x) g (t, x) d x = \int \int f (t, x, ξ) (\partial_{t} g (t, x) + ξ \cdot \nabla g (t, x)) d ξ d x .

We also use the conservation of energy defined by ( 65 ). Then we get

\begin{matrix} \frac{d}{d t} H_{ε} = & \frac{d}{d t} \frac{1}{2} \int f (t, x, ξ) (| v |^{2} - 2 ξ \cdot v) d x d ξ \end{matrix}

\begin{matrix} = & \int f (t, x, ξ) (\partial_{t} v \cdot v - \partial_{t} v \cdot ξ) - \frac{1}{2} \int \nabla_{x} \cdot (f (t, x, ξ) ξ) (| v |^{2} - 2 ξ \cdot v) \end{matrix}

\begin{matrix} + \frac{1}{2} \int \nabla_{ξ} \cdot (\frac{1}{ε} \nabla \tilde{φ} f (t, x, ξ)) (| v |^{2} - 2 ξ \cdot v) . \end{matrix}

Integrating by part, we get

\begin{matrix} \frac{d}{d t} H_{ε} = & \int f (t, x, ξ) (\partial_{t} v \cdot v - \partial_{t} v \cdot ξ) + \int f (t, x, ξ) ξ \nabla v (v - ξ) \end{matrix}

\begin{matrix} + \int f (t, x, ξ) \frac{1}{ε} \nabla \tilde{φ} \cdot v . \end{matrix}

The first two terms can be rewritten as

\begin{matrix} \int f (t, x, ξ) (\partial_{t} v \cdot v - \partial_{t} v \cdot ξ) + \int f (t, x, ξ) ξ \nabla v (v - ξ) \end{matrix}

\begin{matrix} = & - \int f (t, x, ξ) (v - ξ) \nabla v (v - ξ) + \int f (t, x, ξ) \partial_{t} v \cdot (v - ξ) \end{matrix}

\begin{matrix} + \int f (t, x, ξ) v \nabla v (v - ξ) \end{matrix}

\begin{matrix} = & - \int f (t, x, ξ) (v - ξ) \nabla v (v - ξ) + \int f (t, x, ξ) (v - ξ) \cdot (\partial_{t} v + v \cdot \nabla v), \end{matrix}

and finally using equation ( 66 ) we conclude.

□

5.2 Comparison with the Euler-Poisson system

Here we show that, as mentioned in the introduction, the Euler-Poisson (

E P

) system is a more accurate approximation to the Vlasov Monge-Ampere system than the Euler equations, as

ε

goes to zero.

The

E P

system Let us recall that the (pressureless) Euler-Poisson system describes the motion of a continuum of electrons on a neutralizing background of ions through electrostatic interaction. Let

\bar{v}

and

\bar{ρ}

be the velocity and density of electrons. Let

\bar{φ}

be the (rescaled) electric potential. Under proper scaling, these functions of

x \in R^{d}

and

t > 0

satisfy the Euler-Poisson system:

\begin{matrix} \partial_{t} \bar{v} + \bar{v} \cdot \nabla \bar{v} = - \frac{1}{ε} \nabla \bar{φ} \end{matrix}

(74)

\begin{matrix} \partial_{t} \bar{ρ} + \nabla \cdot (\bar{ρ} \bar{v}) = 0 \end{matrix}

(75)

\begin{matrix} 1 - ε Δ \bar{φ} = \bar{ρ} . \end{matrix}

(76)

The so-called ’quasi-neutral’ limit

ε \to 0

of similar systems has been studied for example in [?] and [?] , and convergence results have been established using pseudo-differentials energy estimates. For well-prepared initial data, solutions of

E P

are expected to behave as solutions of Euler incompressible equations.

This fact is proved by the second author in his PhD thesis ([?] , Chap 2), see also [?] . We give here the complete result that we will use herafter. We will denote by

{\bar{v}}^{ε}

(resp.

f^{ε})

the solutions of the

E P

(resp.

V M A_{p}

) system with parameter

ε

Theorem 5.3 Let

v

be a solution of ( 66 , 67 ) on

[0, T] \times T^{d}

, with initial data

v_{0}

, and satisfying

v \in L^{\infty} ([0, T], H^{s} (T^{d}))

for some

s \geq s_{0} (d)

There for some

s^{'} > 0

s^{'} < s

, if

({\bar{v}}_{0}^{ε}, {\bar{ρ}}_{0}^{ε})

is such that the sequences

\begin{matrix} \frac{{\bar{v}}_{0}^{ε} - v_{0}}{ε}, \frac{{\bar{ρ}}_{0}^{ε} - 1}{ε^{2}} \end{matrix}

are bounded in

H^{s^{'}} (T^{d})

, then there exists

T_{ε} > 0

with

{liminf}_{ε \to 0} T_{ε} \geq T

and a sequence

({\bar{v}}^{ε}, {\bar{ρ}}^{ε})

of solutions to the

E P

system on

[0, T_{ε} [

with initial data

({\bar{v}}_{0}^{ε}, {\bar{ρ}}_{0}^{ε})

, belonging to

L^{\infty} ([0, T_{ε}], H^{s^{'}} (T^{d}))

. Moreover, for

ε

small enough, the sequences

\begin{matrix} \frac{{\bar{v}}^{ε} - v}{ε}, \frac{{\bar{ρ}}^{ε} - 1}{ε^{2}} \end{matrix}

are bounded in

L^{\infty} ([0, T], H^{s^{'}} (T^{d}))

. Finally,

s^{'}

goes to

+ \infty

s

goes to

+ \infty

Assumptions Here we consider

v

a solution to

E

( 66 , 67 ) with initial data

v_{0}

, a sequence

f^{ε}

of solutions of

V M A_{p}

( 63 , 64 ) with initial data

f_{0}^{ε}

, and a sequence

({\bar{v}}^{ε}, {\bar{ρ}}^{ε})

solutions of

E P

( 74 , 75 , 76 ) with initial data

({\bar{v}}_{0}^{ε}, {\bar{ρ}}_{0}^{ε})

. We still define

H_{ε}

as in Theorem 5.1 :

\begin{matrix} H_{ε} (t) = \frac{1}{2} \int f^{ε} (t, x, ξ) | ξ - v (t, x) |^{2} d x d ξ + \frac{1}{2} \int | \nabla φ^{ε} |^{2} d x . \end{matrix}

We introduce the following assumptions:

H0 $v$ solution of $E$ satisfies, for some $C_{0} > 0$ , $∥ v ∥_{L^{\infty} ([0, T] H^{s} (T^{d}))} \leq C_{0}$ , and $s$ is large enough so that $s^{'}$ in Theorem 5.3 satisfies $s \geq s^{'} > [\frac{d}{2}] + 2$ .

H1 The sequence

({\bar{v}}_{0}^{ε}, {\bar{ρ}}_{0}^{ε})

of initial data of

E P

is such that, for some

C_{1} > 0

\begin{matrix} {sup}_{ε > 0} {\frac{1}{ε} ∥ {\bar{v}}_{0}^{ε} - v ∥_{H^{s^{'}} (T^{d})}, \frac{1}{ε^{2}} ∥ {\bar{ρ}}^{ε} - 1 ∥_{H^{s^{'}} (T^{d})}} \leq C_{1} . \end{matrix}

H2 The sequence $f_{0}^{ε}$ satisfies $H_{ε} (0) \leq C_{2} ε^{2}$ for some $C_{2} > 0$ .

H0, H1, H2 imply that

1. There exists

{\tilde{C}}_{0}

such that

\begin{matrix} ∥ v ∥_{L^{\infty} ([0, T], W^{2, \infty} (T^{d}))} \leq {\tilde{C}}_{0} . \end{matrix}

(77)

2. From Theorem 5.1 , there exists

{\tilde{C}}_{1}

such that

\begin{matrix} H_{ε} (t) \leq {\tilde{C}}_{1} ε^{2} for t \in [0, T] . \end{matrix}

(78)

3. From Theorem 5.4 and Sobolev imbeddings, there exists

{\tilde{C}}_{2}

such that

\begin{matrix} {sup}_{ε < ε_{0}} {{‖ \frac{{\bar{v}}^{ε} - v}{ε}, \frac{{\bar{ρ}}^{ε} - 1}{ε^{2}} ‖}_{L^{\infty} ([0, T], W^{2, \infty} (T^{d}))}} \leq {\tilde{C}}_{2} . \end{matrix}

(79)

We are now ready to prove the following result:

Theorem 5.4 Let

f_{0}^{ε}, {\bar{v}}_{0}^{ε}, {\bar{ρ}}_{0}^{ε}, v, T

be as above, satisfying assumptions H0, H1, H2. Define

\begin{matrix} G_{ε} (t) = \frac{1}{2} \int f^{ε} (t, x, ξ) | ξ - {\bar{v}}^{ε} (x) |^{2} d x d ξ + \frac{1}{2} \int | \nabla φ^{ε} - \nabla {\bar{φ}}^{ε} |^{2} d x . \end{matrix}

Then there exists

C > 0

such that

\begin{matrix} G_{ε} (t) \leq C exp (C t) (G_{ε} (0) + ε^{3}), \forall t \in [0, T] \end{matrix}

where C depends on

s^{'}, C_{0}, C_{1}, C_{2}, T

Remark: the theorem shows that the distance between solutions of the

(E P)

system and the

V M A_{p}

system measured with

G_{ε}

is like

O (ε^{3})

whereas Theorem 5.1 showed that the distance between the solution of the Euler equation and the

V M A_{p}

system was like

O (ε^{2})

. Note also that

G_{ε}

and

H_{ε}

can both be interpreted as the square of a distance.

Proof of Theorem 5.4 : For notational simplicity, we drop most

ε

’s. Proceeding as in ( 68 ) and noticing that:

\begin{matrix} \frac{d}{d t} \int_{T^{d}} | \nabla \bar{φ} |^{2} = \frac{1}{ε} \int_{T^{d}} \bar{ρ} \bar{v} \cdot \nabla \bar{φ} \end{matrix}

we obtain the following identity:

\begin{matrix} \frac{d}{d t} G_{ε} = & - \int f (t, x, ξ) (ξ - \bar{v}) \nabla \bar{v} (ξ - \bar{v}) \end{matrix}

\begin{matrix} + \int f (t, x, ξ) \frac{1}{ε} \bar{v} \cdot \nabla \tilde{φ} - \int f (t, x, ξ) \frac{1}{ε} \bar{v} \cdot \nabla \bar{φ} \end{matrix}

\begin{matrix} + \int f (t, x, ξ) \frac{1}{ε} ξ \cdot \nabla \bar{φ} + \int \frac{1}{ε} \bar{ρ} \bar{v} \cdot \nabla \bar{φ} \end{matrix}

\begin{matrix} - \frac{d}{d t} \int \nabla \bar{φ} \cdot \nabla φ . \end{matrix}

(80)

Then we notice

\begin{matrix} \int f (t, x, ξ) \frac{1}{ε} ξ \cdot \nabla \bar{φ} = \frac{d}{d t} (\int \frac{1}{ε} ρ \bar{φ}) - \frac{1}{ε} \int ρ \partial_{t} \bar{φ} . \end{matrix}

Next, we have the following lemma:

Lemma 5.5 Define for any

θ \in C^{2} (T^{d})

\begin{matrix} < \nabla θ > (x) = \int_{0}^{1} \nabla θ (x + s ε \nabla φ (x)) d s, \end{matrix}

\begin{matrix} < \nabla^{2} θ > (x) = \int_{0}^{1} (1 - s) \nabla^{2} θ (x + s ε \nabla φ (x)) d s . \end{matrix}

Then

\begin{matrix} \int ρ θ & = & \int θ + ε \int < \nabla θ > \cdot \nabla φ \end{matrix}

\begin{matrix} = & \int θ + ε \int \nabla θ \cdot \nabla φ + ε^{2} \int < \nabla^{2} θ > \nabla φ \nabla φ . \end{matrix}

Proof: The proof just uses the Taylor expansion and the identity

\int ρ θ = \int θ (x + ε \nabla φ)

□

Using Lemma 5.5 , we get

\begin{matrix} \frac{1}{ε} \int ρ \partial_{t} \bar{φ} \end{matrix}

\begin{matrix} = & \frac{1}{ε} \int \partial_{t} \bar{φ} + \int \partial_{t} \nabla \bar{φ} \cdot \nabla φ + ε \int < \partial_{t} \nabla^{2} \bar{φ} > \nabla φ \nabla φ . \end{matrix}

We claim that, under our assumptions, we have

∥ \partial_{t} \nabla^{2} \bar{φ} ∥_{L^{\infty} ([0, T^{'}] \times T^{d})} \leq C .

Proof: from ( 75 ), we have

\begin{matrix} \partial_{t} \bar{ρ} = - \bar{ρ} \nabla \cdot \bar{v} - \bar{v} \cdot \nabla \bar{ρ} . \end{matrix}

Using ( 79 ), we obtain that

∥ \partial_{t} \bar{ρ} ∥_{H^{s^{'} - 1}} \leq C ε

. Since

H^{s^{'}} (T^{d})

is continuously embedded in

W^{2, \infty} (T^{d})

H^{s^{'} - 1} (T^{d})

is continuously embedded in

L^{\infty} (T^{d})

Then, using ( 76 ) and classical elliptic regularity, we have

ε ∥ \partial_{t} \nabla^{2} \bar{φ} ∥_{H^{s^{'} - 1}} \leq C ∥ \partial_{t} \bar{ρ} ∥_{H^{s^{'} - 1}},

and the desired result follows.

□

This implies, using ( 78 ), that

\begin{matrix} | ε \int < \partial_{t} \nabla^{2} \bar{φ} > \nabla φ \nabla φ | \leq C ε^{3} . \end{matrix}

Next,

\begin{matrix} \int \partial_{t} \nabla \bar{φ} \cdot \nabla φ = - \int \partial_{t} Δ \bar{φ} φ \end{matrix}

\begin{matrix} = \frac{1}{ε} \int \partial_{t} \bar{ρ} φ = \frac{1}{ε} \int \bar{ρ} \bar{v} \cdot \nabla φ . \end{matrix}

Using again Lemma 5.5 , we get

\begin{matrix} \frac{d}{d t} \int \nabla \bar{φ} \cdot \nabla φ \end{matrix}

\begin{matrix} = & \frac{1}{ε} \frac{d}{d t} (\int ρ \bar{φ} - ε^{2} \int < \nabla^{2} \bar{φ} > \nabla φ \nabla φ) \end{matrix}

and for the same reasons we have

∥ \nabla^{2} \bar{φ} ∥_{L^{\infty} ([0, T] \times T^{d}))} \leq C ε

. This yields

Q (t) = ε \int < \nabla^{2} \bar{φ} > \nabla φ \nabla φ = O (ε^{4}) .

Moreover, it does not cost to set

\int \bar{φ} \equiv 0

and deduce

\begin{matrix} \int f (t, x, ξ) \frac{1}{ε} ξ \cdot \nabla \bar{φ} - \frac{d}{d t} \int \nabla \bar{φ} \cdot \nabla φ = - \frac{1}{ε} \int \bar{ρ} \bar{v} \cdot \nabla φ + O (ε^{3}) + \frac{d}{d t} Q . \end{matrix}

Thus the remaining terms are

\begin{matrix} R = \frac{1}{ε} \int [ρ \nabla \tilde{φ} - ρ \nabla \bar{φ} + \bar{ρ} \nabla \bar{φ} - \bar{ρ} \nabla φ] \cdot \bar{v} . \end{matrix}

Calculations that we postpone to the end of the proof show that

\begin{matrix} R \leq & \int (\nabla φ - \nabla \bar{φ}) \nabla \bar{v} (\nabla φ - \nabla \bar{φ}) + C \int | \nabla φ - \nabla \bar{φ} |^{2} \end{matrix}

\begin{matrix} - \frac{1}{2} \int \nabla \cdot \bar{v} (| \nabla \bar{φ} |^{2} - 2 \nabla φ \cdot \nabla \bar{φ}) + C ε^{3} . \end{matrix}

(81)

with

C

depending on

∥ \nabla^{2} \bar{v} ∥_{L^{\infty} ([0, T] \times T^{d})}

and

ε^{- 1} ∥ \nabla^{3} \bar{φ} ∥_{L^{\infty} ([0, T] \times T^{d})}

, therefore uniformly bounded thanks to ( 79 ). Finally we obtain

\begin{matrix} \frac{d}{d t} G_{ε} \leq & - \int f (t, x, ξ) (ξ - \bar{v}) \nabla \bar{v} (ξ - \bar{v}) + (\nabla φ - \nabla \bar{φ}) \nabla \bar{v} (\nabla φ - \nabla \bar{φ}) \end{matrix}

\begin{matrix} - \frac{1}{2} \int (\nabla \cdot \bar{v}) (| \nabla \bar{φ} |^{2} - 2 \nabla \bar{φ} \cdot \nabla φ) + C \int | \nabla φ - \nabla \bar{φ} |^{2} \end{matrix}

\begin{matrix} + C ε^{3} + \frac{d}{d t} Q \end{matrix}

with

| Q (t) | \leq C ε^{4}

for

t \in [0, T]

. From ( 79 ) we have

∥ \nabla \cdot v ∥_{L^{\infty} ([0, T] \times T^{d})} \leq C ε

and

∥ \nabla \bar{φ} ∥_{L^{\infty} ([0, T] \times T^{d})} \leq C ε

, whereas ( 78 ) yields

\int {| \nabla φ |}^{2} \leq C ε^{2}

. Note that we also have

\begin{matrix} - \int f (t, x, ξ) (ξ - \bar{v}) \nabla \bar{v} (ξ - \bar{v}) + (\nabla φ - \nabla \bar{φ}) \nabla \bar{v} (\nabla φ - \nabla \bar{φ}) \end{matrix}

\begin{matrix} + C \int | \nabla φ - \nabla \bar{φ} |^{2} \leq C G_{ε} . \end{matrix}

We conclude that

\begin{matrix} \frac{d}{d t} (G_{ε} - Q) \leq C ((G_{ε} - Q) + ε^{3}), \end{matrix}

and the conclusion of Theorem 5.4 follows by Gronwall’s lemma.

□

Proof of identity ( 81 ): Here we have to compute:

\begin{matrix} R = \frac{1}{ε} \int \bar{v} (x + ε \nabla φ) \cdot \nabla φ - (\bar{v} \nabla \bar{φ}) (x + ε \nabla φ) + (1 - ε Δ \bar{φ}) (\bar{v} \cdot \nabla \bar{φ} - \bar{v} \cdot \nabla φ) \end{matrix}

Using Lemma 5.5 we have:

\begin{matrix} R = & \frac{1}{ε} \int \bar{v} \cdot \nabla φ - \bar{v} \cdot \nabla \bar{φ} + \bar{v} \cdot \nabla \bar{φ} - \bar{v} \cdot \nabla φ \end{matrix}

\begin{matrix} + \int \nabla \bar{v} \cdot \nabla φ \nabla φ - \nabla (\bar{v} \nabla \bar{φ}) \nabla φ - \bar{v} \nabla \bar{φ} Δ \bar{φ} + \bar{v} \nabla φ Δ \bar{φ} \end{matrix}

\begin{matrix} + \int (< \nabla \bar{v} > - \nabla \bar{v}) \nabla φ \nabla φ - ε < \nabla^{2} (\bar{v} \nabla \bar{φ}) > \nabla φ \nabla φ . \end{matrix}

We see that the first line cancels. Then we show that the last line is bounded by

C ε^{3}

This is obvious for the last term since from ( 77 , 78 ) we have

∥ \bar{v} ∥_{W^{2, \infty}} \leq C

, and

∥ \nabla \bar{φ} ∥_{W^{2, \infty}} \leq C ε

Then for the first term we have the following lemma:

Lemma 5.6 We define

Δ = \int (< \nabla \bar{v} > (x) - \nabla \bar{v} (x)) \nabla φ \nabla φ d x,

then one has:

| Δ | \leq C ε^{10 / 3} + C \int | \nabla φ - \nabla \bar{φ} |^{2} d x .

Proof: First we show that if

Θ (R) = \int_{{| \nabla φ | \geq R}} {| \nabla φ |}^{2}

Θ (R) \leq C \int {| \nabla φ - \nabla \bar{φ} |}^{2} + \frac{C ε^{4}}{R^{2}} .

Proof:

\int {| \nabla φ |}^{2} \leq C ε^{2}

, implies that

meas {| \nabla φ | \geq R} \leq C (\frac{ε}{R})^{2} .

Since

| \nabla \bar{φ} (t, x) | \leq ε

for

(t, x) \in [0, T^{'} x] \times T^{d}

\begin{matrix} Θ (R) \leq \int_{{| \nabla φ | \geq R}} {| \nabla \bar{φ} |}^{2} + \int_{{| \nabla φ | \geq R}} {| \nabla φ - \nabla \bar{φ} |}^{2} \end{matrix}

\begin{matrix} \leq \frac{C ε^{4}}{R^{2}} + \int {| \nabla φ - \nabla \bar{φ} |}^{2} . \end{matrix}

Then we have

\begin{matrix} Δ \leq C Θ (R) + \int_{| \nabla φ | \leq R} | < \nabla \bar{v} > (x) - \nabla \bar{v} (x) | \nabla φ \nabla φ \end{matrix}

\begin{matrix} with & | < \nabla \bar{v} > (x) - \nabla \bar{v} (x) | \leq C ε | \nabla φ | \end{matrix}

\begin{matrix} thus & Δ \leq C ε \int_{| \nabla φ | \leq R} {| \nabla φ |}^{3} + C Θ (R) \end{matrix}

\begin{matrix} \leq C (ε R \int {| \nabla φ |}^{2} + \frac{ε^{4}}{R^{2}} + \int {| \nabla φ - \nabla \bar{φ} |}^{2}) \end{matrix}

\begin{matrix} \leq C (ε^{3} R + + \frac{ε^{4}}{R^{2}} + \int {| \nabla φ - \nabla \bar{φ} |}^{2}) \end{matrix}

for all R, so for

R = ε^{(1 / 3)}

one obtains:

\begin{matrix} Δ \leq C ε^{10 / 3} + C \int {| \nabla φ - \nabla \bar{φ} |}^{2} . \end{matrix}

□

Thus we have shown that

R = S + O (ε^{3})

, and

S = Σ_{k = 1}^{6} T_{k}

where each

T_{k}

is given by:

\begin{matrix} T_{1} = \partial_{j} {\bar{v}}_{i} \partial_{j} φ \partial_{i} φ \end{matrix}

\begin{matrix} T_{2} = - \partial_{j} {\bar{v}}_{i} \partial_{j} φ \partial_{i} \bar{φ} \end{matrix}

\begin{matrix} T_{3} = - {\bar{v}}_{i} \partial_{i j} \bar{φ} \partial_{j} φ \end{matrix}

\begin{matrix} T_{4} = \partial_{j} {\bar{v}}_{i} \partial_{j} \bar{φ} \partial_{i} \bar{φ} \end{matrix}

\begin{matrix} T_{5} = {\bar{v}}_{i} \partial_{i j} \bar{φ} \partial_{j} \bar{φ} \end{matrix}

\begin{matrix} T_{6} = {\bar{v}}_{i} \partial_{j j} \bar{φ} \partial_{i} φ \end{matrix}

\begin{matrix}  \end{matrix}

where we have used Einstein’s convention for repeated indices. First we have

\begin{matrix} T_{5} = - \frac{1}{2} \int (\nabla \cdot \bar{v}) {| \nabla \bar{φ} |}^{2} \end{matrix}

\begin{matrix} T_{1} + T_{2} + T_{4} = \int \partial_{j} {\bar{v}}_{i} (\partial_{j} φ - \partial_{j} \bar{φ}) (\partial_{i} φ - \partial_{i} \bar{φ}) + T_{7} \end{matrix}

with

T_{7} = \int \partial_{j} {\bar{v}}_{i} \partial_{j} \bar{φ} \partial_{i} φ

\begin{matrix} T_{6} = - \int \partial_{i} {\bar{v}}_{i} \partial_{j j} \bar{φ} φ + {\bar{v}}_{i} \partial_{i j j} \bar{φ} φ \end{matrix}

and

\begin{matrix} - \int {\bar{v}}_{i} \partial_{i j j} \bar{φ} φ = \int \partial_{j} {\bar{v}}_{i} \partial_{i j} \bar{φ} φ + {\bar{v}}_{i} \partial_{i j} \bar{φ} \partial_{j} φ \end{matrix}

thus

\begin{matrix} T_{6} = \int - (\nabla \cdot \bar{v}) Δ \bar{φ} φ + T_{8} - T_{3} \end{matrix}

with

T_{8} = \int \partial_{j} {\bar{v}}_{i} \partial_{i j} \bar{φ} φ

. Then

\begin{matrix} T_{8} = & - \int \partial_{j} {\bar{v}}_{i} \partial_{j} \bar{φ} \partial_{i} φ + \partial_{i j} {\bar{v}}_{i} \partial_{j} \bar{φ} φ \end{matrix}

\begin{matrix} = - T_{7} + \int \nabla \cdot \bar{v} (Δ \bar{φ} φ + \nabla \bar{φ} \nabla φ) \end{matrix}

and finally we obtain

\begin{matrix} S (t) = & \int \nabla \bar{v} (\nabla \bar{φ} - \nabla φ) (\nabla \bar{φ} - \nabla φ) - \frac{1}{2} (\nabla \cdot \bar{v}) {| \nabla \bar{φ} - \nabla φ |}^{2} \end{matrix}

\begin{matrix} + \frac{1}{2} \int (\nabla \cdot \bar{v}) {| \nabla φ |}^{2} \end{matrix}

and the identity ( 81 ) is proved.

□

6 Appendix

Existence and uniqueness of solutions to second order ODE’s with BV field In this section we prove existence and a.e. uniqueness for ordinary differential equations of the form:

\begin{matrix} \frac{d}{d t} (\begin{matrix} X \\ V \end{matrix}) = (\begin{matrix} V \\ E (t, X) \end{matrix}) \end{matrix}

(82)

for

X \in T^{d}, Y \in T^{d}

, and where the field

E

belongs to

L^{\infty} (] 0, T [\times T^{d}) \cap L^{1} (] 0, T [, B V (T^{d}))

. We work in the flat torus for simplicity, but our results are still valid in an open subset of

R^{d}

. This result is an adaptation of the proof of [?] that uses the result of [?] on renormalized solutions of transport equations.

Remark: After this proof was written, the authors learned of a result by L. Ambrosio ([?] ) that extends the results of [?] to transport equations when the vector field is in

B V

with bounded divergence.

Renormalized solutions for Vlasov equations with BV field Theorem 3.4 in [?] adapted to the periodic case sates that if

f \in L^{\infty} (] 0, T [\times T^{d} \times R^{d})

satisfies:

\begin{matrix} \frac{\partial f}{\partial t} + \nabla_{x} \cdot (ξ f) + \nabla_{ξ} \cdot (E (t, x) f) = 0, \end{matrix}

(83)

with

E (t, x) \in L^{1} (] 0, T [\times T^{d}) \cap L^{1} (] 0, T [, B V (T^{d}))

, then for all

g

Lipschitz continuous we have

\begin{matrix} \frac{\partial g (f)}{\partial t} + \nabla_{x} \cdot (ξ g (f)) + \nabla_{ξ} \cdot (E (t, x) g (f)) = 0 . \end{matrix}

The property of renormalization implies that

∙ solutions to ( 83 ) with initial data in $L_{l o c}^{\infty} (T^{d} \times R^{d})$ belong to $C (] 0, T [, L_{l o c}^{p} (T^{d} \times R^{d}))$ for any $1 \leq p < \infty$ ,
∙ solutions to ( 83 ) with prescribed initial data in $L^{\infty} (T^{d} \times R^{d})$ are a.e.
unique,
∙ if $E_{n}$ converges to $E$ in $L^{1} (] 0, T [\times T^{d})$ then the solutions of ( 83 ) with $E_{n}$ instead of $E$ converge to the solution of ( 83 ).

We notice that equation ( 54 ) satisfies the assumptions of the Theorem, and thus will have the renormalization property. This renormalization property was used in [?] to obtain a.e. uniqueness for solutions of the corresponding ODE’s. Indeed, the ODE

\begin{matrix} \partial_{t} X (t, s, x) = b (t, X) \end{matrix}

\begin{matrix} X (s, s, x) = x \end{matrix}

is associated to the transport equation:

\begin{matrix} \partial_{t} u + b (t, x) . \nabla u = 0 \end{matrix}

whose solutions satisfy for all

(t, s) \in] 0, T [

\begin{matrix} u (t, X (t, s, x)) = u (s, x) . \end{matrix}

We extend this consequence to the case of second order equations, with

B V

acceleration field. To the kinetic equation

\begin{matrix} \partial_{t} f + ξ \cdot \nabla_{x} f + E (t, x) \cdot \nabla_{ξ} f = 0 \end{matrix}

(84)

we associate the second order ODE ( 82 ) which can rewritten as

\partial_{t t} X = E (t, X)

. The result is then the following:

Theorem 6.1 Let

E (t, x) \in L^{\infty} (] 0, T [\times T^{d}) \cap L^{1} (] 0, T [, B V (T^{d}))

, then the ODE

\begin{matrix} \partial_{t t} X (t, s, x, ξ) = E (t, X) \end{matrix}

(85)

\begin{matrix} (X (s, s, x, ξ), \partial_{t} X (s, s, x, ξ)) = (x, ξ) \end{matrix}

(86)

admits an a.e. unique solution.

Remark: Here almost everywhere must be understood for the Lebesgue measure of

R^{6}

Proof of Theorem 6.1 : We know that through equation ( 82 ) equation ( 85 ) can be considered as a first order differential equation. Let us first consider the case where

E

is smooth. Note

Y \in T^{d} \times R^{d}

(resp.

y

) for

(X, V)

(resp.

for

(x, ξ)

) and

B \in R^{d} \times R^{d}

for

(ξ, E)

. Then for all

s \in] 0, T [

Y

solves:

\begin{matrix} \partial_{t} Y (t, s, y) = B (t, Y (t, s, y)) \end{matrix}

(87)

\begin{matrix} Y (s, s, y) = y \end{matrix}

(88)

Then for all

t, t_{1}, t_{2}, t_{3} \in] 0, T [

we have the following:

\begin{matrix} Y (t_{3}, t_{2}, Y (t_{2}, t_{1}, y)) = Y (t_{3}, t_{1}, y) \end{matrix}

\begin{matrix} Y (t, t, y) = y \end{matrix}

\begin{matrix} Y (t_{1}, t_{2}, Y (t_{2}, t_{1}, y)) = y . \end{matrix}

Differentiating the last equation with respect to

t_{2}

yields:

\begin{matrix} \partial_{s} Y (t, s, y) + \nabla_{y} Y (t, s, y) \cdot B (s, y) = 0 \end{matrix}

(89)

\begin{matrix} Y (t, t, y) = y . \end{matrix}

(90)

Y_{t} (s, y) = Y (t, s, y)

thus solves a transport equation which is nothing but equation ( 84 ). Using Theorem 3.5 we know that for all

g : R^{2 d} \to R

Lipschitz continuous,

g (t, s, y) = g_{0} (Y (t, s, y))

is the unique solution of

\begin{matrix} \partial_{s} g (t, s, y) + \nabla_{y} g (t, s, y) \cdot B (s, y) = 0 \end{matrix}

(91)

\begin{matrix} g (t, t, y) = g_{0} (y) . \end{matrix}

(92)

Now we show existence and uniqueness for solutions of ( 87 , 88 ). Let

t

and

s

be fixed. Let us consider a regularization

E_{n}

of the the field

E

and set

B_{n} = (ξ, E_{n})

. We have

∙ $t \to Y_{1, n} (t, s, y)$ that satisfies ( 87 , 88 )
∙ $s \to Y_{2, n} (t, s, y)$ that satisfies ( 89 , 90 ).

From the stability Theorem 2.4 in [?] we know that the whole sequence

t \to Y_{2, n} (t, s, .)

converges in

C (] 0, T [, L_{l o c}^{p} (R^{d} \times T^{d}))

t \to Y_{2} (t, s, .)

, the unique renormalized solution of ( 89 , 90 ). Thus for fixed

t

the whole sequence

Y_{2, n} (t, s, .)

converges strongly in

L_{l o c}^{p} (R^{d} \times T^{d})

. Now since for every

n

we have

Y_{1, n} (t, s, y) = Y_{2, n} (t, s, y)

the same property holds for

Y_{1, n} (s, t, .) .

Now we can pass to the limit in the term

B_{n} (t, Y_{1, n} (t, s, y))

. Indeed, by density of

C_{c}^{\infty}

functions in

L^{1},

if we have

E_{s} \in C_{c}^{\infty}

approximating

E

then

\begin{matrix} ∥ B (t, Y_{n} (t, s, y)) - B (t, Y (t, s, y)) ∥_{L^{1}} \end{matrix}

\begin{matrix} \leq & ∥ B (t, Y_{n} (t, s, y)) - B_{s} (t, Y_{n} (t, s, y)) ∥_{L^{1}} \end{matrix}

\begin{matrix} + & ∥ B_{s} (t, Y_{n} (t, s, y)) - B_{s} (t, Y (t, s, y)) ∥_{L^{1}} \end{matrix}

\begin{matrix} + & ∥ B (t, Y (t, s, y)) - B_{s} (t, Y (t, s, y)) ∥_{L^{1}} \end{matrix}

The second term goes to 0 because of the strong convergence of

Y_{n}

, the first and the third go to 0 because

Y

and

Y_{n}

are measure preserving mappings, and so for example

∥ B (t, Y (t, s, y)) - B_{s} (t, Y (t, s, y)) ∥_{L^{1}} = ∥ B (t, y) - B_{s} (t, y) ∥_{L^{1}}

So finally we have

\begin{matrix} ∥ B_{n} (t, Y_{n} (t, s, y)) - B (t, Y (t, s, y)) ∥_{L^{1}} \end{matrix}

\begin{matrix} \leq & ∥ B_{n} (t, Y_{n} (t, s, y)) - B (t, Y_{n} (t, s, y)) ∥_{L^{1}} \end{matrix}

\begin{matrix} + ∥ B (t, Y_{n} (t, s, y)) - B (t, Y (t, s, y)) ∥_{L^{1}} \end{matrix}

that goes to 0 and we can pass to the limit in the equation ( 87 , 88 ) and the existence of a solution to ( 87 , 88 ) is proved.

To obtain uniqueness, we argue as in [?] . Any function of the form

g_{0} (Y (t, s, y))

is a solution of ( 91 , 92 ), thus by uniqueness of the solution of the transport equation we obtain uniqueness of the ODE.

□

A remark on ODE’s of second order In this section, we want to solve the Cauchy problem for:

\begin{matrix} \partial_{t t} X (t, x) = E (t, X) \end{matrix}

\begin{matrix} (X (0, x), \partial_{t} X (0, x)) = (x, v (x)) \end{matrix}

with

E

as above. We are thus interested in monokinetic initial data.

Theorem 6.2 for all

v^{0} (x)

vector field on

T^{d}

, and for Lebesgue almost every

δ v \in R^{d}

, there exists an a.e. unique solution to

\begin{matrix} \partial_{t t} X (t, x) = E (t, X (t, x)) \end{matrix}

\begin{matrix} (X (0, x), \partial_{t} X (0, x)) = (x, v^{0} (x) + δ v) \end{matrix}

Proof: Let

g (x, ξ)

be the indicator function of the set of those

(x; ξ)

such that the trajectory coming from x is not well defined. We just have to prove that for a.e.

δ v \in R^{d}

we have

\int g (x, v^{0} (x) + δ v) d x = 0,

which is true because

\int g (x, v^{0} (x) + ξ) d x d ξ = \int g (x, ξ) d x d ξ = 0 .

Stability

Using the fact that for

E_{n}

converging to

E

L^{1}

with

E \in L^{1} (] 0, T [, B V (T^{d}))

, we have

X_{n} (t, x, v) \to X (t, x, v)

C ([0, T], L^{p})

, we have then, for all t, for almost every

δ v,

X_{n} (t, x, v^{0} (x) + δ v) \to X (t, x, v^{0} (x) + δ v)

L^{p}

. Thus we have

Theorem 6.3 If

E_{n}

converges to

E

L^{1}

let

X_{n}

be solution of

\begin{matrix} \partial_{t t} X_{n} (t, x) = E_{n} (t, X_{n} (t, x)) \end{matrix}

\begin{matrix} (X_{n} (0, x), \partial_{t} X_{n} (0, x)) = (x, v^{0} (x) + δ v) \end{matrix}

then for all t, for almost every

δ v,

X_{n}

converges in

L^{p} (R^{3}) - s

to a solution (unique for almost every

δ v

) of

\begin{matrix} \partial_{t t} X (t, x) = E (t, X) \end{matrix}

\begin{matrix} (X (0, x), \partial_{t} X (0, x)) = (x, v^{0} (x) + δ v) . \end{matrix}

Control of macroscopic density in kinetic equations We prove here Lemma 4.7 :

Lemma 6.4 Let

f \in L^{\infty} ([0, T] \times T^{d} \times R^{d})

satisfy

\begin{matrix} \frac{\partial f}{\partial t} + \nabla_{x} \cdot (ξ f) + \nabla_{ξ} \cdot (E (t, x) f) = 0 \end{matrix}

(93)

\begin{matrix} f (0, ., .) = f^{0} \end{matrix}

(94)

with

E \in L^{1} ([0, T]; B V (T^{d}))

and

\begin{matrix} ∥ E ∥_{L^{\infty} ([0, T] \times T^{d})} \leq F . \end{matrix}

(95)

Let the initial condition

f_{0}

be such that:

a (x, ξ) \leq f (0, x, ξ) \leq b (x, ξ),

with

ρ_{a} (x) = \int a (x, ξ) d ξ \geq m > 0

and

ρ_{b} (x) = \int b (x, ξ) d ξ \leq M < \infty

and

a, b

satisfying

\begin{matrix} | \nabla_{x, ξ} a, b | \leq \frac{c}{1 + | ξ |^{d + 2}} . \end{matrix}

(96)

Then there exists a constant

R > 0

such that

\begin{matrix} (ρ_{a} (x) - R t) \leq ρ (t, x) \leq (ρ_{b} (x) + R t) . \end{matrix}

Proof: First suppose that the force field and the initial data are smooth.

For equation ( 93 , 94 ) we can exhibit characteristics

(x, ξ) (t; t_{0}, x_{0}, ξ_{0}),

giving the evolution of the particles in the phase space. We have

f (t, x, ξ) = f (t_{0}, x_{0}, ξ_{0}) .

Since the initial data is compactly supported and the force field is bounded in the

L^{\infty}

norm, we have

| ξ - ξ_{0} | \leq F | t - t_{0} |,

| x - x_{0} | \leq (| ξ_{0} | + \frac{F}{2} | t - t_{0} |) | t - t_{0} | .

If for

t = 0

we have

a (x, ξ) \leq f (0, x, ξ) \leq b (x, ξ)

then

\begin{matrix} \underset{̲}{A} (t, x, ξ) \leq f (t, x, ξ) \leq \bar{B} (t, x, ξ) \end{matrix}

\begin{matrix} \underset{̲}{A} (t, x, ξ) = {inf}_{| σ_{1} |, | σ_{2} | \leq 1} a (x + | t - t_{0} | (ξ + \frac{F}{2} | t - t_{0} |) σ_{1}, ξ + F | t - t_{0} | σ_{2}) \end{matrix}

\begin{matrix} \bar{B} (t, x, ξ) = {sup}_{| σ_{1} |, | σ_{2} | \leq 1} b (x + | t - t_{0} | (ξ + \frac{F}{2} | t - t_{0} |) σ_{1}, ξ + F | t - t_{0} | σ_{2}) . \end{matrix}

Using ( 96 ) and integrating in

ξ

we find thus a constant

R = R (F, C, d)

such that for

t - t_{0} \leq 1

we have:

\begin{matrix} ρ_{a} (x) - R | t - t_{0} | \leq ρ (t, x) \leq ρ_{b} (x) + R | t - t_{0} | . \end{matrix}

Next we need to show that the solution of the regularized equation converges to the solution we are studying: this result comes from the uniqueness of the solution to ( 93 , 94 ) which is a consequence of the renormalization property. Indeed since

E

is bounded in

B V

the system ( 93 , 94 ) admits a unique renormalized solution and the sequence of approximate solutions converge in

C ([0, T], L_{x, ξ}^{p})

for

1 \leq p < \infty

thus the bounds obtained above are preserved.

□

Regularity of the polar factorization on the flat torus Here we deduce from [?] , [?] and [?] , [?] , [?] the Theorem 4.4 .

Theorem 6.5 If

ρ \in C^{α} (T^{d})

with

0 < m \leq ρ \leq M

is a probability measure on

T^{d}

then

Ψ = Ψ [ρ]

(see Definition 4.3 ) is a classical solution of

\begin{matrix} det D^{2} Ψ = ρ \end{matrix}

(97)

and satisfies:

\begin{matrix} ∥ \nabla Ψ (x) - x ∥_{L^{\infty}} \leq C (d) = \sqrt{d} / 2 \end{matrix}

(98)

\begin{matrix} ∥ D^{2} Ψ ∥_{C^{α}} \leq K (m, M, ∥ ρ ∥_{C^{α}}) \end{matrix}

(99)

Proof of Theorem 6.5 : Consider

ρ

Z^{d}

periodic probability measure, satisfying

\begin{matrix} 0 < m \leq ρ \leq M, \end{matrix}

(100)

and

Φ [ρ]

as in Definition 4.3 . First it is shown in [?] that

\begin{matrix} | \nabla Φ [ρ] (x) - x | \leq C (d) . \end{matrix}

(101)

It follows that the strict convexity argument of [?] applies: indeed if

Φ = Φ [ρ]

is not strictly convex its graph contains a line and this contradicts ( 101 ).

Moreover since

Φ - | x |^{2} / 2

is globally Lipschitz and periodic there exists

N (d)

such that

∥ Φ - | x |^{2} / 2 ∥_{L^{\infty}} \leq N (d)

. It follows then that there exists

0 < r (d) \leq R (d)

and

M (d)

such that

\begin{matrix} B (r (d)) \subset {Φ - Φ (0) \leq M (d)} \subset B (R (d)) \end{matrix}

(102)

It remains to show that our solution is a solution in the Aleksandrov sense of the Monge-Ampere equation

\begin{matrix} m \leq det D^{2} Φ \leq M . \end{matrix}

This is a direct consequence with minor changes (to adapt to the periodic case) of Lemma 2 of [?] . Then, normalizing

Φ

\tilde{Φ} = Φ - Φ (0) - M (d)

it follows that

\tilde{Φ}

is a solution of

\begin{matrix} ρ (\nabla \tilde{Φ}) det D^{2} \tilde{Φ} = 1 \end{matrix}

\begin{matrix} \tilde{Φ} = 0 on \partial Ω \end{matrix}

\begin{matrix} B (r (d)) \subset Ω \subset B (R (d)) \end{matrix}

Thus the interior regularity results of [?] apply uniformly to all

Φ [ρ]

with

ρ

satisfying ( 100 ) and

∥ ρ ∥_{C^{α} (T^{d})}

bounded and Theorem 4.4 follows.

□

Acknowledgments The authors acknowledge the support of the European IHP network ”HYKE” HPRN-CT-2002-00282 and the LRC CEA-Cadarache/UNSA.

A geometric approximation to the Euler equations : the Vlasov-Monge-Ampere system

Yann Brenier, Gregoire Loeper, UMR 6621, Parc Valrose, 06108 Nice, France

November 27, 2006