François Bolley^{
$\text{1}$
}
, Yann Brenier^{
$\text{2}$
}
, Gregoire Loeper^{
$\text{3}$
}
^{
$\text{4}$
}

Abstract

We consider nondecreasing entropy solutions to 1-d scalar conservation laws and show that the spatial derivatives of such solutions satisfy a contraction property with respect to the Wasserstein distance of any order. This result extends the
${L}^{1}$
-contraction property shown by Kru
$\stackrel{\u02c7}{z}$
kov.
Existence and uniqueness of solutions to scalar conservation laws in one space dimension have been established by Kru
$\stackrel{\u02c7}{z}$
kov in the framework of entropy solutions (see [4] for instance), and among the properties satisfied by these solutions it is known that the
${L}^{1}$
norm between any two of them is a non-increasing function of time.

In this work we shall focus on a class of entropy solutions such that a certain distance between the space derivatives of any two such solutions is also nonincreasing in time. On this class of solutions this result extends the
${L}^{1}$
norm contraction property.

More precisely we consider as initial data nondecreasing functions on
$\mathbb{R}$
with limits
$0$
and
$1$
at
$-\infty $
and
$+\infty $
respectively. These properties are preserved by the conservation law, and corresponding solutions have been shown in [2] to arise in some models of pressureless gases, obtained as a continuous limit of systems of sticky particles. Noticing that the distributional space derivative of these functions are probability measures, we may consider the Wasserstein distance between the space derivatives of any two such solutions, and we shall prove in this paper that this distance is a nonincreasing function of time, constant in the case of classical solutions.

1 Introduction to the results

Given a locally Lipschitz real-valued function
$f$
on
$\mathbb{R}$
, called a flux, we consider the scalar conservation law

with unknown
$u=u(t,x)\in \mathbb{R}$
and initial datum
${u}^{0}\in {L}^{\infty}(\mathbb{R})$
, and where the subscripts stand for derivation.

$$\begin{array}{ccc}\{\begin{array}{c}{u}_{t}+f(u{)}_{x}=0,t>0,x\in \mathbb{R},\\ u(0,.)={u}^{0},\end{array}& & \end{array}$$ | (1) |

We shall consider solutions that are called entropy solutions (see [5] for instance) and are defined as follows: a function
$u=u(t,x)\in {L}^{\infty}\left(\right[0,+\infty [\times \mathbb{R})$
is said to be an entropy solution of ( 1 ) on
$[0,+\infty [\times \mathbb{R}$
if the entropy inequality

holds in the sense of distributions for all convex Lipschitz function
$E$
on
$\mathbb{R}$
, and with associated flux
$F$
defined by

This means that
$${\int}_{0}^{+\infty}{\int}_{\mathbb{R}}\left(E\left(u\right){\phi}_{t}+F\left(u\right){\phi}_{x}\right)dtdx+{\int}_{\mathbb{R}}E\left({u}^{0}\right(x\left)\right)\phi (0,x)dx\ge 0$$
for all nonnegative
$\phi $
in the space
${\mathcal{C}}_{c}^{\infty}\left(\right[0,+\infty [\times \mathbb{R})$
of
${\mathcal{C}}^{\infty}$
functions on
$[0,+\infty [\times \mathbb{R}$
with compact support.

$$\begin{array}{ccc}E(u{)}_{t}+F(u{)}_{x}\le 0& & \end{array}$$ | (2) |

$$\begin{array}{c}F\left(u\right)={\int}_{0}^{u}{f}^{\prime}\left(v\right){E}^{\prime}\left(v\right)dv.\end{array}$$ | (3) |

We shall also consider classical solutions, that is, functions
$u=u(t,x)$
in
${\mathcal{C}}^{1}\left(\right]0,+\infty [\times \mathbb{R})\cap \mathcal{C}\left(\right[0,+\infty [\times \mathbb{R})$
satisfying 1 pointwise.

In particular any classical solution to 1 satisfies 2 , i.e. is an entropy solution, and conversely any entropy solution satisfies 1 in the distribution sense.

For entropy solutions, the following result is due to Kru
$\stackrel{\u02c7}{z}$
kov (see [4] ):

Theorem 1.1
For every
${u}^{0}\in {L}^{\infty}(\mathbb{R})$
, there exists a unique entropy solution
$u$
to 1
$\left(\right)$
in
${L}^{\infty}\left(\right[0,+\infty [\times \mathbb{R})\cap \mathcal{C}\left(\right[0,+\infty [,{L}_{loc}^{1}(\mathbb{R}\left)\right)$
.

Moreover for classical solutions, we have (see [5] for instance):
Theorem 1.2
Given a
${\mathcal{C}}^{2}$
flux
$f$
and a
${\mathcal{C}}^{1}$
bounded initial datum
${u}^{0}$
such that
${f}^{\prime}\circ {u}^{0}$
is nondecreasing on
$\mathbb{R}$
, the unique entropy solution
$u$
to 1
$\left(\right)$
is a classical solution.

In this work we shall consider initial data in the subset
$\mathcal{U}$
of
${L}^{\infty}(\mathbb{R})$
defined by
Definition 1.3
A function
$v:\mathbb{R}\to \mathbb{R}$
belongs to
$\mathcal{U}$
if it is nondecreasing, right-continuous, and has limits
$0$
and
$1$
at
$-\infty $
and
$+\infty $
respectively.

The following proposition expresses that this set is preserved by the conservation law 1 :
Proposition 1.4
Given an initial datum
${u}^{0}\in \mathcal{U}$
, the entropy solution
$u$
given by Theorem 1.1 is such that
$u(t,.)$
belongs to
$\mathcal{U}$
for all
$t\ge 0$
.

More precisely, given any
$t\ge 0$
, the
${L}^{\infty}(\mathbb{R})$
function
$u(t,.)$
is
$a.e.$
equal to an element of the set
$\mathcal{U}$
, which on the other hand is characterized by
Proposition 1.5
The distributional derivative
${v}_{x}$
of any
$v\in \mathcal{U}$
is a Borel probability measure on
$\mathbb{R}$
, and for any
$x\in \mathbb{R}$
,
$$v\left(x\right)={v}_{x}\left(\right]-\infty ,x\left]\right).$$
Conversely, if
$\mu $
is a probability measure on
$\mathbb{R}$
, then
$v$
defined on
$\mathbb{R}$
as
$$v\left(x\right)=\mu \left(\right]-\infty ,x\left]\right)$$
belongs to
$\mathcal{U}$
, and
${v}_{x}=\mu $
.

Consequently the map
$v\mapsto {v}_{x}$
is one-to-one from
$\mathcal{U}$
onto the set
$\mathcal{P}$
of probability measures on
$\mathbb{R}$
(and
$\mathcal{U}$
can be seen as the set of repartition functions of real-valued random variables).
Propositions 1.4 and 1.5 allow us to characterize at any time the distance between two solutions (with initial datum in
$\mathcal{U}$
) in terms of their space derivatives, in particular by means of the Wasserstein distances: given any real number
$p\ge 1$
, the Wasserstein distance of order
$p$
is defined on the set of probability measures on
$\mathbb{R}$
by
$${W}_{p}(\mu ,\stackrel{~}{\mu})={inf}_{\pi}{\left({\int}_{{\mathbb{R}}^{2}}|x-y{|}^{p}d\pi (x,y)\right)}^{1/p}$$
where
$\pi $
runs over the set of probability measures on
${\mathbb{R}}^{2}$
with marginals
$\mu $
and
$\stackrel{~}{\mu}$
; these distances are considered here in a broad sense with possibly infinite values.

This paper aims at proving that the Wasserstein distances between the space derivatives of any two such entropy solutions is a nonincreasing function of time:

Theorem 1.6
Given a locally Lipschitz real-valued function
$f$
on
$\mathbb{R}$
and two initial data
${u}^{0}$
and
${\stackrel{~}{u}}^{0}$
in
$\mathcal{U}$
, let
$u$
and
$\stackrel{~}{u}$
be the associated entropy solutions to 1 . Then, for any
$t\ge 0$
and
$p\ge 1$
, we have (with possibly infinite values)
$${W}_{p}\left({u}_{x}\right(t,.),{\stackrel{~}{u}}_{x}(t,.\left)\right)\le {W}_{p}({u}_{x}^{0},{\stackrel{~}{u}}_{x}^{0}).$$

We shall see in Section 2 that for
$p=1$
the distance
${W}_{1}$
satisfies
$${W}_{1}({v}_{x},{\stackrel{~}{v}}_{x})=\parallel v-\stackrel{~}{v}{\parallel}_{{L}^{1}(\mathbb{R})}$$
for all
$v,\stackrel{~}{v}\in \mathcal{U}$
. Hence Theorem 1.6 reads in the case
$p=1$
:
$$\parallel u(t,.)-\stackrel{~}{u}(t,.){\parallel}_{{L}^{1}(\mathbb{R})}\le \parallel {u}^{0}-{\stackrel{~}{u}}^{0}{\parallel}_{{L}^{1}(\mathbb{R})}.$$
Thus, for initial profiles in
$\mathcal{U}$
, we recover the
${L}^{1}$
-contraction property given by Kru
$\stackrel{\u02c7}{z}$
kov.

In the case of classical solutions, the result of Theorem 1.6 is improved, since the Wasserstein distance between two solutions is conserved:

Theorem 1.7
Given a
${\mathcal{C}}^{1}$
real-valued function
$f$
on
$\mathbb{R}$
, let
${u}^{0}$
and
${\stackrel{~}{u}}^{0}$
in
$\mathcal{U}$
be two initial data such that the associated entropy solutions
$u$
and
$\stackrel{~}{u}$
to 1 are classical solutions, increasing in
$x$
for all
$t\ge 0$
. Then for any
$t\ge 0$
and
$p\ge 1$
we have (with possibly infinite values)
$${W}_{p}\left({u}_{x}\right(t,.),{\stackrel{~}{u}}_{x}(t,.\left)\right)={W}_{p}({u}_{x}^{0},{\stackrel{~}{u}}_{x}^{0}).$$

>From these general results can be induced some corollaries in the case of initial data in the subsets
${\mathcal{U}}_{p}$
of
$\mathcal{U}$
defined as:
Definition 1.8
Let
$p\ge 1$
. A function
$v$
in
$\mathcal{U}$
belongs to
${\mathcal{U}}_{p}$
if its distributional derivative
${v}_{x}$
has finite moment of order
$p$
, that is, if
${\int}_{\mathbb{R}}\left|x{|}^{p}d{v}_{x}\right(x)$
is finite.

As in Proposition 1.5 the map
$v\mapsto {v}_{x}$
is one-to-one from
${\mathcal{U}}_{p}$
onto the set
${\mathcal{P}}_{p}$
of probability measures on
$\mathbb{R}$
with finite moment of order
$p$
. But we shall note in Section 2 that the map
${W}_{p}$
on
${\mathcal{P}}_{p}\times {\mathcal{P}}_{p}$
defines a distance on
${\mathcal{P}}_{p}$
. Then the real-valued map
${d}_{p}$
defined on
${\mathcal{U}}_{p}\times {\mathcal{U}}_{p}$
by
$${d}_{p}(v,\stackrel{~}{v})={W}_{p}({v}_{x},{\stackrel{~}{v}}_{x})$$
induces a distance on
${\mathcal{U}}_{p}$
, and for the associated topology we have
Corollary 1.9
Given a locally Lipschitz function
$f$
on
$\mathbb{R}$
,
$p\ge 1$
and
${u}^{0}\in {\mathcal{U}}_{p}$
, the entropy solution
$u$
to 1 belongs to
$\mathcal{C}\left(\right[0,+\infty [,{\mathcal{U}}_{p}).$

In particular for
$p=1$
$${d}_{1}(v,\stackrel{~}{v})={W}_{1}({v}_{x},{\stackrel{~}{v}}_{x})=\parallel v-\stackrel{~}{v}{\parallel}_{{L}^{1}(\mathbb{R})},$$
and the previous result can be precised by
Corollary 1.10
Given a locally Lipschitz function
$f$
on
$\mathbb{R}$
and
${u}^{0}\in {\mathcal{U}}_{1}$
, the entropy solution
$u$
to 1 is such that
$$\parallel u(t,.)-u(s,.){\parallel}_{{L}^{1}(\mathbb{R})}\le |t-s|\parallel {f}^{\prime}{\parallel}_{{L}^{\infty}\left(\right[0,1\left]\right)}.$$

This known result holds under weaker assumptions (for
${u}^{0}$
with bounded variation, see [5] ), but in our case it will be recovered in a straightforward way.
Finally Theorem 1.7 can be precised in the
${\mathcal{U}}_{p}$
framework in the following way:

Corollary 1.11
Given a
${\mathcal{C}}^{2}$
convex flux
$f$
and two
${\mathcal{C}}^{1}$
increasing initial data
${u}^{0}$
and
${\stackrel{~}{u}}^{0}$
in
${\mathcal{U}}_{p}$
for some
$p\ge 1$
, the following three properties hold:

1. the associated entropy solutions
$u$
and
$\stackrel{~}{u}$
are classical solutions; 2.
$u(t,.)$
and
$\stackrel{~}{u}(t,.)$
belong to
${\mathcal{U}}_{p}$
and are increasing for all
$t\ge 0$
; 3. for all
$t\ge 0$
, we have (with finite values)
$${W}_{p}\left({u}_{x}\right(t,.),{\stackrel{~}{u}}_{x}(t,.\left)\right)={W}_{p}({u}_{x}^{0},{\stackrel{~}{u}}_{x}^{0}).$$

The paper is organized as follows. The definition and some properties of Wasserstein distances are discussed in greater detail in Section 2 . In Section 3 we consider the case of classical solutions, proving Theorem 1.7 and Corollary 1.11 . Then the general case of entropy solutions is studied in Sections 4 and 5 : more precisely in Section 4 we introduce a time-discretized scheme, show the
${W}_{p}$
contraction property for this discretized evolution and prove the convergence of the corresponding approximate solution toward the entropy solution; Theorem 1.6 and its corollaries follow from this in Section 5 . In Section 6 we shall finally see how such results extend to viscous conservation laws.
2 Wasserstein distances

In this section
$p$
is a real number with
$p\ge 1$
,
$\mathcal{P}$
(resp.
${\mathcal{P}}_{p}$
) stands for the set of probability measures on
$\mathbb{R}$
(resp. with finite moment of order
$p$
) and
$dx$
for the Lebesgue measure on
$\mathbb{R}$
.

The Wasserstein distance of order
$p$
, valued in
$\mathbb{R}\cup \{+\infty \}$
, is defined on
$\mathcal{P}\times \mathcal{P}$
by

where
$\pi $
runs over the set of probability measures on
${\mathbb{R}}^{2}$
with marginals
$\mu $
and
$\stackrel{~}{\mu}$
. It is equivalently defined by

where the infimum is taken over all random variables
${X}_{\mu}$
and
${X}_{\stackrel{~}{\mu}}$
on the probability space
$\left(\right]0,1[,dw)$
with respective laws
$\mu $
and
$\stackrel{~}{\mu}$
. It takes finite values on
${\mathcal{P}}_{p}\times {\mathcal{P}}_{p}$
and indeed defines a distance on
${\mathcal{P}}_{p}$
.

$$\begin{array}{ccc}{W}_{p}(\mu ,\stackrel{~}{\mu})={inf}_{\pi}{\left({\int}_{{\mathbb{R}}^{2}}|x-y{|}^{p}d\pi (x,y)\right)}^{1/p}& & \end{array}$$ | (4) |

$$\begin{array}{ccc}{W}_{p}(\mu ,\stackrel{~}{\mu})={inf}_{{X}_{\mu},{X}_{\stackrel{~}{\mu}}}{\left({\int}_{0}^{1}{\left|{X}_{\mu}\left(w\right)-{X}_{\stackrel{~}{\mu}}\left(w\right)\right|}^{p}dw\right)}^{1/p}& & \end{array}$$ | (5) |

For complete references about the Wasserstein distances and related topics the reader can refer to [6] . We only mention that both infima in ( 4 ) and ( 5 ) are achieved, and for the second definition we shall precise some random variables that achieve the infimum. For this purpose we introduce the notion of generalized inverse:

for all
$f$
in
${\mathcal{C}}_{c}^{1}(\mathbb{R})$
. In particular its repartition function is
$v$
.

Definition 2.1
Let
$v$
belong to
$\mathcal{U}$
. Then its generalized inverse is the function
${v}^{-1}$
defined on
$]0,1[$
by

Then
${v}^{-1}$
is a nondecreasing random variable on
$\left(\right]0,1[,dw)$
by definition, with law
${v}_{x}$
since
$$\begin{array}{ccc}{v}^{-1}\left(w\right)=inf\{x\in \mathbb{R};v(x)>w\}.& & \end{array}$$ |

$$\begin{array}{ccc}{\int}_{0}^{1}f\left({v}^{-1}\right(w\left)\right)dw& =& {\int}_{0}^{1}\left({\int}_{\mathbb{R}}{f}^{\prime}\left(s\right){1}_{\{s\le {v}^{-1}(w\left)\right\}}ds\right)dw\end{array}$$ |

$$\begin{array}{ccc}& =& {\int}_{\mathbb{R}}\left({\int}_{0}^{1}{f}^{\prime}\left(s\right){1}_{\left\{v\right(s)\le w\}}dw\right)ds\end{array}$$ |

$$\begin{array}{ccc}& =& {\int}_{\mathbb{R}}{f}^{\prime}\left(s\right)(1-v(s\left)\right)ds\end{array}$$ |

$$\begin{array}{ccc}& =& {\int}_{\mathbb{R}}f\left(s\right)d{v}_{x}\left(s\right)\end{array}$$ |

Moreover this generalized inverse achieves the infimum in ( 5 ):

Proposition 2.2
Let
$v$
and
$\stackrel{~}{v}$
in
$\mathcal{U}$
. Then we have (with possibly infinite values)

for all
$p\ge 1$
. In particular for
$p=1$
we also have

Proof. The general result is proved in [6] . The result specific to the case
$p=1$
follows by introducing, for a given
$v\in \mathcal{U}$
, the map defined on
$\mathbb{R}\times ]0,1[$
by
$jv(x,w)=\{\begin{array}{cc}1& \text{if}v\left(x\right)>w\text{}\\ 0& \text{if}v\left(x\right)\le w,\text{}\end{array}$
for which we have
$$|{v}^{-1}-{\stackrel{~}{v}}^{-1}|\left(w\right)={\int}_{\mathbb{R}}|jv-j\stackrel{~}{v}|(x,w)dx$$
for almost every
$w\in ]0,1[$
, and
$${\int}_{0}^{1}|jv-j\stackrel{~}{v}|(x,w)dw=|v-\stackrel{~}{v}|\left(x\right)$$
for almost every
$x\in \mathbb{R}$
. Integrating the first equality on
$w$
in
$]0,1[$
and the second one on
$x$
in
$\mathbb{R}$
, we deduce
$${\int}_{0}^{1}|{v}^{-1}-{\stackrel{~}{v}}^{-1}|\left(w\right)dw={\int}_{\mathbb{R}}|v-\stackrel{~}{v}|\left(x\right)dx.$$
$\square $
Given
$v\in \mathcal{U}$
, its generalized inverse
${v}^{-1}$
is actually the a.e. unique nondecreasing random variable on
$\left(\right]0,1[,dw)$
with law
${v}_{x}$
. Given any other random variable
$X$
on
$\left(\right]0,1[,dw)$
with law
${v}_{x}$
,
${v}^{-1}$
is called the (a.e. unique) nondecreasing rearrangement of
$X$
(see [6] ). $$\begin{array}{ccc}{W}_{p}({v}_{x},{\stackrel{~}{v}}_{x})={\left({\int}_{0}^{1}\left|{v}^{-1}\right(w)-{\stackrel{~}{v}}^{-1}(w){|}^{p}dw\right)}^{1/p}& & \end{array}$$ |

$$\begin{array}{ccc}{W}_{1}({v}_{x},{\stackrel{~}{v}}_{x})=\parallel v-\stackrel{~}{v}{\parallel}_{{L}^{1}(\mathbb{R})}.& & \end{array}$$ |

We conclude this section recalling a result relative to the convergence of probability measures. A sequence
$\left({\mu}_{n}\right)$
of probability measures on
$\mathbb{R}$
is said to converge weakly toward a probability measure
$\mu $
if, as
$n$
goes to
$+\infty $
,
${\int}_{\mathbb{R}}\phi d{\mu}_{n}$
tends to
${\int}_{\mathbb{R}}\phi d\mu $
for all boundedcontinuous real-valued functions
$\phi $
on
$\mathbb{R}$
(or equivalently for all
${\mathcal{C}}^{\infty}$
functions
$\phi $
with compact support, that is, if
${\mu}_{n}$
converges to
$\mu $
in the distribution sense). Given
$p\ge 1$
this convergence is metrized on
${\mathcal{P}}_{p}$
by the distance
${W}_{p}$
as shown by the following proposition (see [6] ):

Proposition 2.3
Let
$p\ge 1$
,
$\left({\mu}_{n}\right)$
a sequence of probability measures in
${\mathcal{P}}_{p}$
and
$\mu \in \mathcal{P}.$
Then the following statements are equivalent:

i)
$\left({W}_{p}\right({\mu}_{n},\mu \left)\right)$
converges to
$0$
; ii)
$\left({\mu}_{n}\right)$
converges weakly to
$\mu $
and
${sup}_{n}{\int}_{\left|x\right|\ge R}\left|x{|}^{p}d{\mu}_{n}\right(x)$
tends to
$0$
as
$R$
goes to infinity.
In this proposition we do not a priori assume that
$\mu $
belongs to
${\mathcal{P}}_{p}$
, but it can be noted that this property is actually induced by any of both hypotheses
$i)$
and
$ii)$
.

For measures in
$\mathcal{P}$
we have the weaker result:

Proposition 2.4
Let
$p\ge 1$
,
$\left({\mu}_{n}\right)$
and
$\left({\nu}_{n}\right)$
two sequences in
$\mathcal{P}$
converging weakly to
$\mu $
and
$\nu $
in
$\mathcal{P}$
respectively. Then (with possibly infinite values)
$${W}_{p}(\mu ,\nu )\le {liminf}_{n\to +\infty}{W}_{p}({\mu}_{n},{\nu}_{n}).$$

3 The case of classical solutions: Theorem 1.7 and corollary

3.1 Proof of Theorem 1.7

We consider two classical solutions
$u$
and
$\stackrel{~}{u}$
to ( 1 ) such that
$u(t,.)$
and
$\stackrel{~}{u}(t,.)$
belong to
$\mathcal{U}$
and are increasing for all
$t\ge 0$
, and we shall prove that
$${W}_{p}\left({u}_{x}\right(t,.),{\stackrel{~}{u}}_{x}(t,.\left)\right)={W}_{p}({u}_{x}^{0},{\stackrel{~}{u}}_{x}^{0})$$
as a consequence of Proposition 2.2 .

The map
${u}^{0}$
is increasing from
$0$
to
$1$
, so has a (true) inverse
$X(0,.)$
defined on
$]0,1[$
by
$${u}^{0}\left(X\right(0,w\left)\right)=w.$$
Then, given
$w\in ]0,1[$
, we consider a characteristic curve
$t\mapsto X(t,w)$
solution of

for
$t\ge 0$
, and taking value
$X(0,w)$
at
$t=0$
. Since
$f$
is
${\mathcal{C}}^{1}$
and
$u$
is bounded there exists a (non necessarily unique) solution
$X(.,w)$
to 6 by Peano Theorem (see [3] for instance); moreover by a classical computation from 1 it is known to satisfy

for all
$t\ge 0$
, from which it follows that
$${X}_{t}(t,w)\left(={f}^{\prime}\left(u\right(t,X(t,w)\left)\right)\right)={f}^{\prime}\left(w\right)$$
and hence

In particular there exists a unique solution
$X(.,w)$
to 6 . Now given
$t\ge 0$
,
$X(t,.)$
is the (true) inverse of the increasing function
$u(t,.)$
(by 7 ), and Proposition 2.2 writes
$${W}_{p}\left({u}_{x}\right(t,.),{\stackrel{~}{u}}_{x}(t,.\left)\right)={\left({\int}_{0}^{1}\left|X\right(t,w)-\stackrel{~}{X}(t,w){|}^{p}dw\right)}^{1/p}.$$
But from 8 we obtain

This result ensures in particular that
${W}_{p}\left({u}_{x}\right(t,.),{\stackrel{~}{u}}_{x}(t,.\left)\right)$
remains constant in time, may its initial value be finite or not; note however that 9 is actually much stronger that Theorem 1.7 .

$$\begin{array}{c}{X}_{t}(t,w)={f}^{\prime}\left(u(t,X(t,w\left)\right)\right)\end{array}$$ | (6) |

$$\begin{array}{c}u(t,X(t,w\left)\right)=w\end{array}$$ | (7) |

$$\begin{array}{c}X(t,w)=X(0,w)+t{f}^{\prime}\left(w\right).\end{array}$$ | (8) |

$$\begin{array}{c}X(t,w)-\stackrel{~}{X}(t,w)=X(0,w)-\stackrel{~}{X}(0,w).\end{array}$$ | (9) |

3.2 Proof of Corollary 1.11

We assume that
$f$
is a
${\mathcal{C}}^{2}$
convex function on
$\mathbb{R}$
, and
${u}^{0}$
is a
${\mathcal{C}}^{1}$
increasing initial profile in
${\mathcal{U}}_{p}$
.

First of all we note that the associated entropy solutions
$u$
is a classical solution in view of Theorem 1.2 : this result is proved in [5] for instance, and its proof also ensures that
$u(t,.)$
is increasing for all
$t\ge 0$
.

Then we check that the moment property is preserved by the conservation law, that is, that
$u(t,.)$
also belongs to
${\mathcal{U}}_{p}$
for any
$t\ge 0$
. Indeed, given
$t\ge 0$
, we have by the change of variable
$w=\left[u\right(t,.\left)\right]\left(x\right)$
:

which is finite since
$${\int}_{0}^{1}\left|X\right(0,w){|}^{p}dw={\int}_{\mathbb{R}}|x{|}^{p}{u}_{x}^{0}\left(x\right)dx$$
is finite by assumption. This ends the proof of Corollary 1.11 .
$\square $

$$\begin{array}{ccc}{\int}_{\mathbb{R}}\left|x{|}^{p}{u}_{x}\right(t,x)dx& =& {\int}_{0}^{1}\left|X\right(t,w){|}^{p}dw\end{array}$$ |

$$\begin{array}{ccc}& =& {\int}_{0}^{1}\left|X\right(0,w)+t{f}^{\prime}(w){|}^{p}dw\end{array}$$ |

$$\begin{array}{ccc}& \le & {2}^{p-1}\left[{\int}_{0}^{1}\left|X\right(0,w){|}^{p}dw+{t}^{p}\parallel {f}^{\prime}{\parallel}_{{L}^{\infty}\left(\right]0,1\left[\right)}^{p}\right]\end{array}$$ |

4 Time discretization of the conservation law

In the previous section we have seen that the classical solutions are obtained through the method of characteristics, that we now summarize in our case: given an initial profile
${u}^{0}$
in
$\mathcal{U}$
such that the corresponding solution
$u$
is
${\mathcal{C}}^{1}$
and increasing in
$x$
for all
$t\ge 0$
, let
$X(0,.)$
be its inverse, defined by
$${u}^{0}\left(X\right(0,w\left)\right)=w$$
for all
$w\in ]0,1[$
. Let then
$X(0,w)$
evolve into

for all
$t\ge 0$
and
$w\in ]0,1[$
(see 8 ). The solution
$u(t,.)$
is then the inverse of the increasing map
$X(t,.)$
, that is, is the unique solution of
$$X(t,u(t,x\left)\right)=x.$$
In the general case, defining
$X(0,.)$
in some similar way, there is no hope for the function
$X(t,.)$
defined by 10 to be increasing for
$t>0$
; inverting it would thus lead to a multivalued function, and no more to the entropy solution of the conservation law, as in the particular case discussed above.

$$\begin{array}{c}X(t,w)=X(0,w)+t{f}^{\prime}\left(w\right)\end{array}$$ | (10) |

However, averaging (or ”collapsing”) this multivalued function into a single-valued function, Y. Brenier showed in [1] how to build an approximate solution to the conservation law.

We now precisely describe this so-called Transport-Collapse method in our case.

4.1 Definition and ${W}_{p}$ contraction property of the discretized solution

Let
${u}^{0}\in \mathcal{U}$
be some fixed initial profile, with generalized inverse
$X(0,.)$
given as in Definition 2.1 by
$$X(0,w)=inf\{x\in \mathbb{R};{u}^{0}(x)>w\}$$
for all
$w\in ]0,1[$
.
$X(0,.)$
can be seen as a random variable on the probability space
$]0,1[$
equipped with the Lebesgue measure
$dw$
; its law is
${u}_{x}^{0}$
, as pointed out after Definition 2.1 .

We let then
$X(0,.)$
evolve according to the method of characteristics, denoting
$$X(h,w)=X(0,w)+h{f}^{\prime}\left(w\right)$$
for all
$h\ge 0$
and almost every
$w\in ]0,1[$
. Again, given
$h\ge 0$
,
$X(h,.)$
can be seen as a random variable on
$]0,1[$
; let then
${T}_{h}{u}^{0}$
be its repartition function, that is, the function belonging to
$\mathcal{U}$
and defined at any
$x\in \mathbb{R}$
as the Lebesgue measure of the set
$\{w\in ]0,1[;X(h,w)\le x\}$
. It is given by
$${T}_{h}{u}^{0}\left(x\right)={\int}_{0}^{1}{1}_{\left\{X\right(h,w)\le x\}}\left(w\right)dw.$$
We summarize this construction in the following definition:

Definition 4.1
Let
$v\in \mathcal{U}$
with generalized inverse
$X(0,.)$
defined on
$]0,1[$
by
$$X(0,w)=inf\{x\in \mathbb{R};v(x)>w\}.$$
Then, given
$h\ge 0$
, and letting
$$X(h,w)=X(0,w)+h{f}^{\prime}\left(w\right)$$
for almost every
$w\in ]0,1[$
, we define the
$\mathcal{U}$
function
${T}_{h}v$
on
$\mathbb{R}$
by
$${T}_{h}v\left(x\right)={\int}_{0}^{1}{1}_{\left\{X\right(h,w)\le x\}}\left(w\right)dw.$$

In the case of Section 3 (see 8 ), it turns out that
$X(h,.)$
is the (true) inverse of
${T}_{h}{u}^{0},$
and
$(h,x)\mapsto {T}_{h}{u}^{0}\left(x\right)$
is exactly the entropy solution to equation 1
$\left(\right)$
with initial datum
${u}^{0}$
in
$\mathcal{U}$
. This does not hold anymore in the general case, but will allow us to build an approximate solution
${S}_{h}{u}^{0}$
by iterating the operator
${T}_{h}$
. Let us first give two important properties of
${T}_{h}$
:
Proposition 4.2
Let
$h\ge 0$
,
${T}_{h}$
defined as above and
$p\ge 1$
. Then i)
${T}_{h}v$
belongs to
${\mathcal{U}}_{p}$
if so does
$v$
.

ii) For any
$v$
and
$\stackrel{~}{v}$
in
$\mathcal{U}$
we have (with possibly infinite values unless
$v$
and
$\stackrel{~}{v}\in {\mathcal{U}}_{p}$
)
$${W}_{p}\left(\right[{T}_{h}v{]}_{x},\left[{T}_{h}\stackrel{~}{v}{]}_{x}\right)\le {W}_{p}({v}_{x},{\stackrel{~}{v}}_{x}).$$

Proof. It is really similar to what has been done in Section 3 as for Corollary 1.11 .
$i)$
${T}_{h}v$
belongs to
$\mathcal{U}$
as a repartition function of a random variable, and we have

which ensures that
$[{T}_{h}v{]}_{x}$
has finite moment of order
$p$
if so does
${v}_{x}$
.

$$\begin{array}{ccc}{\int}_{\mathbb{R}}\left|x{|}^{p}d\right[{T}_{h}v{]}_{x}\left(x\right)& =& {\int}_{0}^{1}\left|X\right(h,w){|}^{p}dw\end{array}$$ |

$$\begin{array}{ccc}& =& {\int}_{0}^{1}\left|X\right(0,w)+h{f}^{\prime}(w){|}^{p}dw\end{array}$$ |

$$\begin{array}{ccc}& \le & {2}^{p-1}{\int}_{0}^{1}\left|X\right(0,w){|}^{p}+|h{f}^{\prime}\left(w\right){|}^{p}dw\end{array}$$ |

$$\begin{array}{ccc}& \le & {2}^{p-1}\left[{\int}_{\mathbb{R}}\left|x{|}^{p}d{v}_{x}\right(x)+{h}^{p}\parallel {f}^{\prime}{\parallel}_{{L}^{\infty}\left(\right]0,1\left[\right)}^{p}\right],\end{array}$$ |

$ii)$
On one hand the generalized inverses
$X(0,.)$
and
$\stackrel{~}{X}(0,.)$
of
$v$
and
$\stackrel{~}{v}$
respectively satisfy

by Proposition 2.2 (with finite values if both
$v$
and
$\stackrel{~}{v}$
belong to
${\mathcal{U}}_{p}$
, and possibly infinite otherwise). On the other hand
$X(h,.)$
and
$\stackrel{~}{X}(h,.)$
have respective law
$[{T}_{h}v{]}_{x}$
and
$[{T}_{h}\stackrel{~}{v}{]}_{x}$
, so

by definition of the Wasserstein distance. But
$$X(h,w)-\stackrel{~}{X}(h,w)=X(0,w)-\stackrel{~}{X}(0,w)$$
for almost every
$w\in ]0,1[$
by definition, which concludes the argument by 11 and 12 .

$$\begin{array}{c}{W}_{p}({v}_{x},{\stackrel{~}{v}}_{x})={\left({\int}_{0}^{1}\left|X\right(0,w)-\stackrel{~}{X}(0,w){|}^{p}dw\right)}^{1/p}\end{array}$$ | (11) |

$$\begin{array}{c}{W}_{p}\left(\right[{T}_{h}{u}^{0}{]}_{x},\left[{T}_{h}{\stackrel{~}{u}}^{0}{]}_{x}\right)\le {\left({\int}_{0}^{1}\left|X\right(h,w)-\stackrel{~}{X}(h,w){|}^{p}dw\right)}^{1/p}\end{array}$$ | (12) |

Note again that 12 holds only as an inequality since
$X(h,.)$
and
$\stackrel{~}{X}(h,.)$
are not necessarily nondecreasing, which was the case in the example discussed in Section 3 .

$\square $
We now use the operator
${T}_{h}$
defined above to build an approximate solution
${S}_{h}{u}^{0}$
to the conservation law 1
$\left(\right)$
:

Definition 4.3
Let
$h$
be some positive number and
$v\in \mathcal{U}$
. For any
$t\ge 0$
decomposed as
$t=(N+s)h$
with
$N\in \mathbb{N}$
and
$0\le s<1$
, we let
$${S}_{h}v(t,.)=(1-s){T}_{h}^{N}v(.)+s{T}_{h}^{N+1}v(.)$$
where
${T}_{h}^{0}v=v$
and
${T}_{h}^{N+1}v={T}_{h}\left({T}_{h}^{N}v\right)$
.

These iterations make sense because
${T}_{h}v\in \mathcal{U}$
if
$v\in \mathcal{U}$
,
${S}_{h}v(t,.)\in \mathcal{U}$
(resp.
${\mathcal{U}}_{p}$
) for any
$h,t\ge 0$
and
$v\in \mathcal{U}$
(resp.
${\mathcal{U}}_{p}$
).
We now prove two contractions properties on these approximate solutions. We first have the
${L}^{1}(\mathbb{R})$
contraction property:

Proposition 4.4
Let
$h$
be some fixed positive number and
${S}_{h}$
defined as above. Then, for any
$v\in \mathcal{U}$
and
$s,t\ge 0$
we have
$$\parallel {S}_{h}v(t,.)-{S}_{h}v(s,.){\parallel}_{{L}^{1}(\mathbb{R})}\le |t-s|\parallel {f}^{\prime}{\parallel}_{{L}^{\infty}\left(\right[0,1\left]\right)}.$$

Proof. As in [1] we first observe that
$\parallel {T}_{h}V-V{\parallel}_{{L}^{1}(\mathbb{R})}\le h\parallel {f}^{\prime}{\parallel}_{{L}^{\infty}\left(\right]0,1\left[\right)}$
for any
$V\in \mathcal{U}$
, then let
$t=(M+\mu )h$
and
$s=(N+\nu )h$
with
$M,N\in \mathbb{N}$
and
$0\le \mu ,\nu <1$
, and, for instance assuming that
$M>N$
, prove the proposition by applying this first bound to
$V={S}_{h}v(kh,.)={T}_{h}^{k}v$
for
$k=N+1,...,M-1$
.
$\square $
Then we have the
${W}_{p}$
contraction property:
Proposition 4.5
Let
$h$
be some fixed positive number and
${S}_{h}$
defined as above. Then, given
$v$
and
$\stackrel{~}{v}$
in
$\mathcal{U}$
, we have for any
$t\ge 0$
:

$${W}_{p}\left(\right[{S}_{h}v{]}_{x}(t,.),\left[{S}_{h}\stackrel{~}{v}{]}_{x}\right(t,.\left)\right)\le {W}_{p}({v}_{x},{\stackrel{~}{v}}_{x}).$$

Proof. It follows from Proposition 4.2 (about
${T}_{h}$
) and to the convexity of the
${W}_{p}$
distance to the power
$p$
, in the sense that
$${W}_{p}^{p}(\alpha {\mu}_{1}+(1-\alpha ){\mu}_{2},\alpha {\nu}_{1}+(1-\alpha \left){\nu}_{2}\right)\le \alpha {W}_{p}^{p}({\mu}_{1},{\nu}_{1})+(1-\alpha ){W}_{p}^{p}({\mu}_{2},{\nu}_{2})$$
for all real number
$\alpha \in [0,1]$
and probability measures
${\mu}_{1},{\mu}_{2},{\nu}_{1}$
and
${\nu}_{2}$
(see [6] for instance).
$\square $
We shall now recall the convergence of the scheme toward the entropy solution of the conservation law.

4.2 Convergence of the scheme in the ${L}_{loc}^{1}(\mathbb{R})$ sense

In this section we consider the space
$\mathcal{C}\left(\right[0,+\infty [,{L}_{loc}^{1}(\mathbb{R}\left)\right)$
equipped with the topology defined by the semi-norms
$${q}_{nm}\left(f\right)={sup}_{t\in [0,n]}{\int}_{-m}^{m}\left|f\right(x\left)\right|dx$$
for any integers
$n$
and
$m$
and
$f\in \mathcal{C}\left(\right[0,+\infty [,{L}_{loc}^{1}(\mathbb{R}\left)\right)$
. Then we have

Proposition 4.6
Let
${u}^{0}\in \mathcal{U}$
. Then, as
$h$
goes to
$0$
, the function
${S}_{h}{u}^{0}$
converges in
$\mathcal{C}\left(\right[0,+\infty [,{L}_{loc}^{1}(\mathbb{R}\left)\right)$
to the entropy solution of ( 1 ) with initial datum
${u}^{0}$
.

We briefly give the steps of the proof, which follows the one of Brenier in [1] , adapted to functions of
$\mathcal{U}$
instead of
${L}^{1}(\mathbb{R})$
.
We first prove that the family
$({S}_{h}{u}^{0}{)}_{h}$
is relatively compact in
$\mathcal{C}\left(\right[0,+\infty [,{L}_{loc}^{1}(\mathbb{R}\left)\right)$
by means of Proposition 4.4 , and Helly and Ascoli-Arzela Theorems. Then we check that the limit of any sequence of
$({S}_{h}{u}^{0}{)}_{h}$
converging in
$\mathcal{C}\left(\right[0,+\infty [,{L}_{loc}^{1}(\mathbb{R}\left)\right)$
is an entropy solution to the conservation law 1 with initial datum
${u}^{0}$
. By the uniqueness of this solution ensured by Theorem 1.1 , this concludes the proof of Proposition 4.6 .

4.3 Convergence of the scheme in ${W}_{p}$ distance sense

We first prove a uniform equiintegrability result on the approximate solutions:

for
$R>hM$
. From this computation we deduce by iteration
$${\int}_{\left|x\right|\ge R}\left|x{|}^{p}d\right[{T}_{h}^{N}v{]}_{x}\left(x\right){\le}^{N}{\prod}_{j=1}{\left(1+\frac{hM}{R-jhM}\right)}^{p}{\int}_{\left|x\right|\ge R-NhM}\left|x{|}^{p}d{v}_{x}\right(x)$$
for
$R>NhM$
, with
$${}^{N}{\prod}_{j=1}\left(1+\frac{hM}{R-jhM}\right)\le {\left(1+\frac{hM}{R-NhM}\right)}^{N}\le exp\left(\frac{NhM}{R-NhM}\right).$$
Thus
$${\int}_{\left|x\right|\ge R}\left|x{|}^{p}d\right[{S}_{h}v{]}_{x}(Nh,x)\le exp\left(\frac{pTM}{R-TM}\right){\int}_{\left|x\right|\ge R-TM}\left|x{|}^{p}d{v}_{x}\right(x)$$
for any
$N$
and
$h$
such that
$Nh\le T$
.

Proposition 4.7
Let
${S}_{h}$
be defined as above,
$v\in {\mathcal{U}}_{p}$
and
$T\ge 0$
. Then

tends to
$0$
as
$R$
goes to infinity.

Proof. We again denote
$M=\parallel {f}^{\prime}{\parallel}_{{L}^{\infty}\left(\right]0,1\left[\right)}$
, and first consider
${T}_{h}$
itself, writing
$$\begin{array}{ccc}{sup}_{0\le h\le T}{sup}_{0\le t\le T}{\int}_{\left|x\right|\ge R}\left|x{|}^{p}d\right[{S}_{h}v{]}_{x}(t,x)& & \end{array}$$ |

$$\begin{array}{ccc}{\int}_{\left|x\right|\ge R}\left|x{|}^{p}d\right[{T}_{h}v{]}_{x}\left(x\right)& =& {\int}_{0}^{1}\left|{v}^{-1}\right(w)+h{f}^{\prime}(w){|}^{p}{1}_{\left\{\right|{v}^{-1}\left(w\right)+h{f}^{\prime}\left(w\right)|\ge R\}}dw\end{array}$$ |

$$\begin{array}{ccc}& \le & {\int}_{\mathbb{R}}\left(\right|x|+hM{)}^{p}{1}_{\left\{\right|x|+hM\ge R\}}d{v}_{x}(x)\end{array}$$ |

$$\begin{array}{ccc}& \le & {\left(1+\frac{hM}{R-hM}\right)}^{p}{\int}_{\left|x\right|\ge R-hM}\left|x{|}^{p}d{v}_{x}\right(x)\end{array}$$ |

>From this we get for instance
$${\int}_{\left|x\right|\ge R}\left|x{|}^{p}d\right[{S}_{h}v{]}_{x}(t,x)\le exp\left(\frac{2pTM}{R-2TM}\right){\int}_{\left|x\right|\ge R-2TM}\left|x{|}^{p}d{v}_{x}\right(x)$$
for any
$t$
and
$h$
smaller than
$T$
. This concludes the argument since the last integral tends to
$0$
as
$R$
goes to infinity.
$\square $
>From this we deduce the convergence of the scheme in
${W}_{p}$
distance sense:

Proposition 4.8
Let
${u}^{0}\in {\mathcal{U}}_{p}$
and
$u$
be the entropy solution to ( 1 ) with initial datum
${u}^{0}$
. Then, for any
$t\ge 0$
,
${W}_{p}\left(\right[{S}_{h}{u}^{0}{]}_{x}(t,.),{u}_{x}(t,.))$
converges to
$0$
as
$h$
goes to
$0$
.

Proof. Given
$t\ge 0$
,
${S}_{h}{u}^{0}(t,.)$
converges to
$u(t,.)$
in
${L}_{loc}^{1}(\mathbb{R})$
as
$h$
goes to
$0$
(by Proposition 4.6 ), so
$\left[{S}_{h}u{]}_{x}\right(t,.)$
converges to the probability measure
${u}_{x}(t,.)$
, first in the distribution sense, then in the weak sense of probability measures, and finally in
${W}_{p}$
distance by Propositions 4.7 and 2.3 .
Note in particular that
${u}_{x}(t,.)$
has finite moment of order
$p$
for any
$t\ge 0$
, that is,
$u(t,.)$
belongs to
${\mathcal{U}}_{p}$
.
$\square $

5 The general case of entropy solutions: Theorem 1.6 and corollaries

5.1 Proof of Theorem 1.6

We let
$p\ge 1$
and consider two initial data
${u}^{0}$
and
${\stackrel{~}{u}}^{0}$
in
$\mathcal{U}$
with associated entropy solutions
$u$
and
$\stackrel{~}{u}$
.

Given
$t\ge 0$
, Proposition 4.6 yields again the convergence of
$\left[{S}_{h}{u}^{0}{]}_{x}\right(t,.)$
to
${u}_{x}(t,.)$
in the weak sense of probability measures. Since this holds also for
${\stackrel{~}{u}}^{0}$
, we obtain
$${W}_{p}\left({u}_{x}\right(t,.),{\stackrel{~}{u}}_{x}(t,.\left)\right)\le {liminf}_{h\to 0}{W}_{p}\left(\right[{S}_{h}{u}^{0}{]}_{x}(t,.),\left[{S}_{h}{\stackrel{~}{u}}^{0}{]}_{x}\right(t,.\left)\right)$$
by Proposition 2.4 . But, for each
$h$
,
$${W}_{p}\left(\right[{S}_{h}{u}^{0}{]}_{x}(t,.),\left[{S}_{h}{\stackrel{~}{u}}^{0}{]}_{x}\right(t,.\left)\right)\le {W}_{p}({u}_{x}^{0},{\stackrel{~}{u}}_{x}^{0})$$
by Proposition 4.5 , so finally
$${W}_{p}\left({u}_{x}\right(t,.),{\stackrel{~}{u}}_{x}(t,.\left)\right)\le {W}_{p}({u}_{x}^{0},{\stackrel{~}{u}}_{x}^{0}).$$
This concludes the argument.

5.2 Proof of Corollary 1.9

We recall that in the introduction we have defined a distance on each
${\mathcal{U}}_{p}$
by letting
$${d}_{p}(u,\stackrel{~}{u})={W}_{p}({u}_{x},{\stackrel{~}{u}}_{x}),$$
and we now prove that, given
$p\ge 1$
and
${u}^{0}\in {\mathcal{U}}_{p}$
, the entropy solution
$u$
to the conservation law 1 belongs to
$\mathcal{C}\left(\right[0,+\infty [,{\mathcal{U}}_{p})$
.

We first note, in view of the proof of Proposition 4.8 , that
$u(t,.)$
indeed belongs to
${\mathcal{U}}_{p}$
for all
$t\ge 0$
.

Then, given
$s\ge 0$
, we need to prove that
${d}_{p}\left(u\right(t,.),u(s,.\left)\right)(={W}_{p}({u}_{x}(t,.),{u}_{x}(s,.)\left)\right)$
tends to
$0$
as
$t$
goes to
$s$
. Indeed, on one hand
$u(t,.)$
tends to
$u(s,.)$
in
${L}_{loc}^{1}(\mathbb{R})$
by Theorem 1.1 , so
${u}_{x}(t,.)$
tends to
${u}_{x}(s,.)$
, first in the distribution sense, then in the weak sense of probability measures.

On the other hand, given
$T>s$
, we now prove that
${sup}_{0\le t\le T}{\int}_{\left|x\right|\ge R}\left|x{|}^{p}d{u}_{x}\right(t,x)$
goes to
$0$
as
$R$
goes to infinity. For this, given
$\varepsilon >0$
, let
$R$
such that
$${sup}_{0\le h\le T}{sup}_{0\le t\le T}{\int}_{\left|x\right|\ge R}\left|x{|}^{p}d\right[{S}_{h}{u}^{0}{]}_{x}(t,x)\le \varepsilon $$
by Proposition 4.7 . Let then
$\phi \in {\mathcal{C}}_{c}^{\infty}(\mathbb{R})$
such that
$0\le \phi \le 1$
and
$\phi \left(x\right)=0$
if
$\left|x\right|\le R$
.

On one hand
$${\int}_{\mathbb{R}}\phi \left(x\right)\left|x{|}^{p}d\right[{S}_{h}{u}^{0}{]}_{x}(t,x)\to {\int}_{\mathbb{R}}\phi \left(x\right)\left|x{|}^{p}d{u}_{x}\right(t,x)$$
as
$h$
goes to
$0$
since
$\phi \left(x\right)|x{|}^{p}\in {\mathcal{C}}_{c}^{\infty}(\mathbb{R})$
and
$\left[{S}_{h}{u}^{0}{]}_{x}\right(t,.)$
tends to
${u}_{x}(t,.)$
in distribution sense. On the other hand
$${\int}_{\mathbb{R}}\phi \left(x\right)\left|x{|}^{p}d\right[{S}_{h}{u}^{0}{]}_{x}(t,x)\le \varepsilon $$
for all
$0\le h,t\le T$
. Hence at the limit
$${\int}_{\mathbb{R}}\phi \left(x\right)\left|x{|}^{p}d{u}_{x}\right(t,x)\le \varepsilon $$
for all
$t\le T$
, from which it follows that
$${sup}_{0\le t\le T}{\int}_{\left|x\right|\ge R}\left|x{|}^{p}d{u}_{x}\right(t,x)\le \varepsilon ,$$
which means that indeed
${sup}_{0\le t\le T}{\int}_{\left|x\right|\ge R}\left|x{|}^{p}d{u}_{x}\right(t,x)$
goes to
$0$
as
$R$
goes to infinity.

From these two results we deduce the continuity result by Proposition 2.3 .

5.3 Proof of Corollary 1.10

Given
$t\ge 0$
,
${S}_{h}{u}^{0}(t,.)$
converges to
$u(t,.)$
in
${L}_{loc}^{1}(\mathbb{R})$
by Proposition 4.6 , so for all
$s,t,n\ge 0$
we have
$$\parallel u(t,.)-u(s,.){\parallel}_{{L}^{1}\left(\right[-n,n\left]\right)}={lim}_{h\to 0}\parallel {S}_{h}{u}^{0}(t,.)-{S}_{h}{u}^{0}(s,.){\parallel}_{{L}^{1}\left(\right[-n,n\left]\right)}.$$
But
$$\parallel {S}_{h}{u}^{0}(t,.)-{S}_{h}{u}^{0}(s,.){\parallel}_{{L}^{1}\left(\right[-n,n\left]\right)}\le \parallel {S}_{h}{u}^{0}(t,.)-{S}_{h}{u}^{0}(s,.){\parallel}_{{L}^{1}(\mathbb{R})}\le |t-s|\parallel {f}^{\prime}{\parallel}_{{L}^{\infty}(\mathbb{R})}$$
for all
$h\ge 0$
by Proposition 4.4 , so letting
$h$
go to
$0$
we get
$$\parallel u(t,.)-u(s,.){\parallel}_{{L}^{1}\left(\right[-n,n\left]\right)}\le |t-s|\parallel {f}^{\prime}{\parallel}_{{L}^{\infty}(\mathbb{R})}.$$
Since this holds for all
$n\ge 0$
, we obtain Corollary 1.10 .

6 Extension to viscous conservation laws

In this section we let
$\nu $
be a positive number and consider the viscous conservation law

with initial datum
${u}^{0}\in {L}^{\infty}(\mathbb{R})$
.

$$\begin{array}{c}{u}_{t}+f(u{)}_{x}=\nu {u}_{xx}t>0,x\in \mathbb{R}\end{array}$$ | (13) |

Assuming that
$f$
is a locally Lipschitz real-valued function on
$\mathbb{R}$
, and calling solution a function
$u$
in
${L}^{\infty}\left(\right[0,+\infty [\times \mathbb{R})$
such that 13 holds in the sense of distributions, it is known that, given
${u}^{0}\in {L}^{\infty}(\mathbb{R})$
, there exists a unique solution
$u$
to 13 . If moreover
${u}^{0}\in \mathcal{U}$
, then
$u(t,.)$
also belongs to
$\mathcal{U}$
for all
$t\ge 0$
, and the
${W}_{p}$
contraction property stated in Theorem 1.6 in the inviscid case
$\nu =0$
still holds:

Theorem 6.1
Given a locally Lipschitz real-valued function
$f$
on
$\mathbb{R}$
and two initial data
${u}^{0}$
and
${\stackrel{~}{u}}^{0}$
in
$\mathcal{U}$
, let
$u$
and
$\stackrel{~}{u}$
be the associated solutions to 13 . Then, for any
$t\ge 0$
and
$p\ge 1$
, we have (with possibly infinite values)
$${W}_{p}\left({u}_{x}\right(t,.),{\stackrel{~}{u}}_{x}(t,.\left)\right)\le {W}_{p}({u}_{x}^{0},{\stackrel{~}{u}}_{x}^{0}).$$

We briefly mention how this contraction property for the viscous conservation law allows to recover the same property for the inviscid equation, given in Theorem 1.6 .
Given some initial datum
${u}^{0}$
in
$\mathcal{U}$
and
$\nu >0$
, let indeed
${u}_{\nu}$
be the corresponding solution to the viscous equation 13 . Then it is known (see [5] for instance) that
${u}_{\nu}(t,.)$
converges in
${L}_{loc}^{1}(\mathbb{R})$
to the solution
$u(t,.)$
to the inviscid conservation law 1 with initial datum
${u}^{0}$
.

From this the argument already used in Section 5.1 (with
${S}_{h}{u}^{0}(t,.)$
intead of
${u}_{\nu}(t,.)$
) enables to recover Theorem 1.6 .

The proof of Theorem 6.1 follows the lines of Sections 4 and 5 and makes use of a time-discretization of equation 13 based on the discretization of the inviscid conservation law previously discussed. More precisely, given a time step
$h>0$
, we first map
${u}^{0}\in \mathcal{U}$
to
${T}_{h}{u}^{0}$
as in section 4.1, and then let
${T}_{h}{u}^{0}$
evolve along the heat equation on a time interval
$h$
, that is, map it to
$${\mathcal{T}}_{h}{u}^{0}={K}_{h}*{T}_{h}{u}^{0}$$
where
${K}_{h}$
is the heat kernel defined on
$\mathbb{R}$
by
$${K}_{h}\left(z\right)=\frac{1}{\sqrt{4\pi h}}{e}^{-\frac{{z}^{2}}{4h}}.$$
Then, defining an approximate solution
${\mathcal{S}}_{h}{u}^{0}$
by iterating the
${\mathcal{T}}_{h}$
operator as in Definition 4.3 , we prove that Propositions 4.2 and 4.5 still hold for the new
${\mathcal{T}}_{h}$
and
${\mathcal{S}}_{h}$
operators (Note that the convolution with the heat kernel is a contraction for the Wasserstein distance of any finite order).

Proposition 4.4 only holds assuming that
$v$
is twice derivable with
${v}^{\prime \prime}$
in
${L}^{1}(\mathbb{R})$
: it more precisely reads
$$\parallel {\mathcal{S}}_{h}v(t,.)-{\mathcal{S}}_{h}v(s,.){\parallel}_{{L}^{1}(\mathbb{R})}\le |t-s|[\parallel {f}^{\prime}{\parallel}_{{L}^{\infty}\left(\right]0,1\left[\right)}+\parallel {v}^{\prime \prime}{\parallel}_{{L}^{1}(\mathbb{R})}].$$
As in Section 4.2 , this enables to prove that, given
${u}^{0}$
in
$\mathcal{U}$
, twice derivable with
$({u}^{0}{)}^{\prime \prime}$
in
${L}^{1}(\mathbb{R})$
, the family
$({\mathcal{S}}_{h}{u}^{0}{)}_{h}$
converges in
$\mathcal{C}\left(\right[0,+\infty [,{L}_{loc}^{1}(\mathbb{R}\left)\right)$
to the solution of 13 with initial datum
${u}^{0}$
.

With this convergence result in hand we follow the lines of Section 5.1 to prove Theorem 6.1 in the case of twice derivable initial data, with
${L}^{1}$
second derivative, while the general case follows by a density argument.

Acknowledgments: This work has been partly supported by the European network Hyke, funded by the EC contract HPRN-CT-2002-00282. References

- Y. Brenier, Resolution d’equations d’evolution quasilineaires en dimension $N$ d’espace a l’aide d’equations lineaires en dimension $N+1$ , J. Diff. Eq. 50, 3, p. 375-390 (1983).
- Y. Brenier and E. Grenier, Sticky particles and scalar conservation laws, SIAM J. Numer. Anal., 35, 6, p. 2317-2328 (1998).
- L. Hormander, Lectures on nonlinear hyperbolic differential equations, Mathematics & Applications (26), Springer, Berlin (1997).
- S. Kru $\stackrel{\u02c7}{z}$ kov, Generalized solutions of the Cauchy problem in the large for first order nonlinear equations, Dokl. Akad. Nauk. SSSR, 187, p. 29-32 (1969).
- D. Serre, Systemes de lois de conservations I, Diderot, Paris (1996).
- C. Villani, Topics in optimal transportation, Grad. Stud. Math (58), American Mathematical Society, Providence (2003).

^{
$\text{1}$
}
Ecole normale supérieure de Lyon, Umpa, 46, allée d’Italie, F-69364 Lyon Cedex 07. fbolley@umpa.ens-lyon.fr

^{
$\text{2}$
}
Laboratoire J.A.Dieudonne, UMR CNRS 6621, Universite de Nice Sophia-Antipolis, Parc Valrose, 06108 Nice Cedex 2. brenier@math.unice.fr

^{
$\text{3}$
}
Fields Institute & University of Toronto

^{
$\text{4}$
}
Ecole Polytechnique Fédérale de Lausanne, SB-IMA, 10015 Lausanne. gregoire.loeper@epfl.ch