Академический Документы
Профессиональный Документы
Культура Документы
THE CHARACTERISTIC
GENERALIZATIONS FOR
FIRST-ORDER NONLINEAR
PARTIAL DIFFERENTIAL
EQUATIONS
Main Editors
H. Brezis, Universitéde Paris
R.G. Douglas, Texas A&M University
A. Jeffrey, University of Newcastle upon Tyne (Founding Editor)
Editorial Board
H. Amann, University of ZUrich
R. Aris, University of Minnesota
G.I. Barenblatt, University of
H. Begehr, Freie Universitat Berlin
P. Bullen, University of British Columbia
R.J. Elliott, University of Alberta
R.P. Gilbert, University of Delaware
R. Glowinski, University of Houston
D. Jerison, Massachusetts Institute of Technology
K. Kirchgassner, Universitat Stuttgart
B. Lawson, State University of New York
B. Moodie, University of Alberta
S. Mon. Kyoto University
L.E. Payne, Cornell University
D.B. Pearson, University of Hull
I. Raeburn, University of Newcastle
G.F. Roach, University of Strathclyde
1. Stakgold, University of Delaware
WA. Strauss, Brown University
J. van der Hock, University of Adelaide
CHAPMAN & HALUCRC
THE CHARACTERISTIC
GENERALIZATIONS FOR
FIRST-ORDER NONLINEAR
PARTIAL DIFFERENTIAL
EQUATIONS
TRAN DUCVAN
MIKIOTSUJI
NGUYEN DUY THAI SON
This book contains information obtained from authentic and highly regarded
sources. Reprinted material is quoted with permission, and sources are indicated.
A wide variety of references are listed. Reasonable efforts have been made to
publish reliable data and information, but the author and the publisher cannot
assume responsibility for the validity of all materials or for the consequences of
their use.
Neither this book nor any part may be reproduced or transmitted in any form
or by any means, electronic or mechanical, including photocopying, microfilming.
and recording, or by any information storage or retrieval system, without prior
permission in writing from the publisher.
The consent of CRC Press LLC does not extend to copying for general distri-
bution, for promotion, for creating new works, or for resale. Specific permission
must be obtained in writing from CRC Press LLC for such copying.
Direct all inquiries to CRC Press LLC. 2000 N.W. Corporate Blvd., Boca Raton,
Florida 33431.
Contents
Preface
Chapter 1. Local Theory on Partial Differential
Equations of First-Order 1
1.1. Characteristic method and existence of solutions 1
1.2. AtheoremofA.Haar 7
1.3. A theorem of T. 8
Chapter 2. Life Spans of Classical Solutions of Partial
Differential Equations of First-Order 12
2.1. Introduction 12
2.2. Life spans of classical solutions 13
2.3. Global existence of classical solutions 18
Chapter 3. Behavior of Characteristic Curves and
Prolongation of Classical Solutions 22
3.1. Introduction 22
3.2. Examples 23
3.3. Prolongation of classical solutions 24
3.4. Sufficient conditions for collision of characteristic curves I 26
3.5. Sufficient conditions for collision of characteristic curves II 28
Chapter 4. Equations of Hamilton-Jacobi Type in One
Space Dimension 30
4.1. Nonexistence of classical solutions and historical remarks 30
4.2. Construction of generalized solutions 34
4.3. Semi-concavity of generalized solutions 38
4.4. Collision of singularities 41
Chapter 5. Quasi-linear Partial Differential Equations of
First-Order 44
5.1. Introduction and problems 44
5.2. Difference between equations of the conservation law and
equations of Hamilton-Jacobi type 47
5.3. Construction of singularities of weak solutions 48
5.4. Entropy condition 52
Chapter 6. Construction of Singularities for Hamilton-
Jacobi Equations in Two Space Dimensions 55
6.1. Introduction 55
CONTENTS
One of the main results of the classical theory of first-order partial differential
equations (PDEs) is the characteristic method which asserts that under certain
assumptions the Cauchy problem can be reduced to the corresponding characteristic
system of ordinary differential equations (ODEs). To illustrate this, let us consider
the Cauchy problem for the nonviscid Burger equation:
,3u Ou
—+u----=O,
Ot Ox
t>O,XER,
u(O,x)=h(x), XER.
We try to reduce the problem (1)-(2) to an ODE along some curve x = x(t). More
precisely, let us find x = x(t) such that
By the chain rule, we may simply require dx/dt = u, and so the characterist2cs
x = x(t) can be defined by
dx
= u(t,x).
Along each characteristic x = x(t) we have du/dt = 0, i.e., ti = u(i,x(t)) takes a
constant value and then the characteristic must be a straight line with slope given
by(3).
Thus, by the initial data (2), the characteristic passing through any given point
(0,s) on the x-axis is
x = a + h(s)t,
on which u has the constant value:
u = h(s).
S = .s(t,x)
PREFACE
for small values of t. Substituting (6) into (5) gives the classical solution (C1-
solution)
u = h(s(t, z)) (7)
to our Cauchy problem (1 )-(2). However, in general, this solution exists only locally
in time. In fact, if h = h(s) is not a nondecreasing function of s, there exist two
points and (0,52) on the x-axis such that
Then the characteristic curves beginning from (0, Si) and (0, s2) will intersect at
time
—
Since the solution u = u(t, x) is constant along each of the two curves but has
different values h(si) and h(s2), respectively, at the intersection point, the value
of the classical solution cannot be uniquely determined. Hence, in this case the
Cauchy problem (1)-(2) never admits a global classical solution on {t O}; in fact,
the classical solution will blow up in a finite time no matter how smooth and small
the initial data h = h(s) are.
On the other hand, if h = h(s) is a nondecreasing function of s, then the
characteristics emanating from distinct points (0, and (0,82) on the s-axis wiU
not intersect, and thus the solution u = u(t, x) will exist globally for t 0.
The previous example shows, generally speaking, that for (first-order) nonlinear
partial differential equations or systems, classical solutions to the Cauchy problem
exist only locally in time, while singularities may occur in a finite time, even if the
initial data are sufficiently smooth and small. Therefore, the notions of generalized
solutions or weak solutions have been introduced. In fact, the global existence and
uniqueness of generalized solutions have been well studied from various kinds of
viewpoints.
In the 1950s — 1970s, the theory and methods for constructing generalized so-
lutions of first-order PDEs were discovered by Aizawa, S. [2]-[4], Bakhvalov, Ben-
ton, S.H. 121], Conway, E.D. 1321-1331, Douglis, A. [44]-[45], Evan, C., Fleming, W.H.
[511-1521, Friedman, A. [541, Celfand, I.M., Codunov, S.K., Hopf, E. [63]-[64j,
Kuznetsov, N.N. [95], Lax, P.D. [97]-[98], Oleinik, O.A. [112), Rozdestvenskii, B.L.
[118], and other mathematicians. Among the investigations of this period we should
mention the results of Kruzhkov, S.N. ([87)-[92], [94)), which were obtained for
Hamilton-Jacobi equations with convex Hamiltonian. The global existence and
uniqueness of generalized solutions for convex Hamilton-Jacobi equations were well
studied by several methods: variational method, method of envelopes, vanishing
viscosity method, nonlinear semi-group method, etc.
Since the early 1980s, the concept of viscosity solutions introduced by Crandall
and Lions has been used in a large portion of research in a nonclassical theory of
first-order nonlinear PDEs as well as in other types of PDEs. The primary virtues
of this theory are that it allows merely nonsmooth functions to be solutions of
nonlinear PDEs, it provides very general existence and uniqueness theorems, and it
PREFACE
yields precise formulations of general boundary conditions. Let us mention here the
names: Crandall, M.G., Lions, P.-L., Aizawa, S., Barbu, V., Bardi, M., Barles, G.,
Barron, E.N., Cappuzzo-Dolcetta, I., Dupuis, P., Evans, L.C., Ishii, H., Jensen, R.,
Lenhart, S., Osher, S., Perthame, B., Soravia, P., Souganidis, P.E., Tataru, D.,
Toinita, Y., Yamada, N., and many others (see [51, [10]-[20], [28], [351-139], [471-1501,
[67]-[72], [79], [99]-[1O1], [122]-[123J, [1311, and the references therein), whose con-
tributions make great progress in nonlinear PDEs, and where the global existence
and uniqueness of viscosity solutions have been established almost completely. The
concept of viscosity solutions is motivated by the classical maximum principle which
distinguishes it from other definitions of generalized solutions.
Another direction in the theory of generalized solutions is motivated by dif-
ferential game theory as suggested by A.!. Subbotin. This leads to the notion of
minimax solutions of first-order nonlinear PDEs. As the terminology "minimax
solutions" indicates, the definition of such global solutions is closely connected with
the minimax operations. This definition is based, to some extent, on the so-called
"characteristic inclusions" (a generalization of the classical characteristic system in
this situation). Subbotin and his coworkers (11], [124]-[127], [1291-11301) developed
an effective theory of minimax solutions to first-order single PDEs and gave nice
applications to control problems and differential games. The research of rninimax
solutions employs methods of nonsmooth analysis, Lyapunov functions, dynamical
optimization, and the theory of differential games. At the same time, the research
contributes to the development of these branches of mathematics. A review of
the results on minimax solutions and their applications to control problems and
differential games is given in [124]-[125].
We also want to mention the investigations on PDEs based on the idempotent
analysis and Cole-Hopf transformation, which have been discovered by V.P. Maslov
and his coworkers. Indeed, V.P. Maslov, V.N. Kolokol'tsov, S.N. Sainborskii, and
others developed a nonclassical approach to define the weak global solutions to first-
order nonlinear PDEs, in which by a suitable structure of new function semimodules,
nonlinear operators become "linear" ones. In this direction, based on the methods
and results of the well-developed linear mathematical physics, investigations of
first-order nonlinear PDEs with convex Hasniltonian have been considered (see [82],
[105]).
Concerning the theory of differential inequalities, let us mention that the theory
of ordinary differential inequalities was originated by Chaplygin [30] and Kaznke
181], and then developed by [157]. Its main applications to the Cauchy
problem for (ordinary) differential equations concern questions such as: estimates
of solutions and of their existence intervals, estimates of the difference between two
solutions, criteria of uniqueness and of continuous dependence on initial data and
right sides of equations for solutions, Chaplygin's method and approximation of so-
lutions, etc. Results in this direction were also extended to (absolutely continuous)
solutions of the Cauchy problem for countable systems of differential equations sat-
isfying Carathéodory's conditions. We refer to Szarski [128] for a systematic study
of such subjects.
PREFACE
As for the theory of partial differential inequalities, the first achievements were
obtained by Haar [611, Nagumo [107], and then by [154]. Up to now the
theory has attracted a great deal of attention. (The reader is referred to Deim-
ling [40], Lakshniikanthain and Leela [96], Szarski [1281, and Walter [153), for the
complete bibliography.)
It must be pointed out that the characteristic method gives us the local existence
and uniqueness of classical solutions to first-order nonlinear PDEs. We would like
to use this method as an important basis for setting the global generalized solutions.
This book is devoted to some developments of the characteristic method and mainly
represents our results on first-order nonlinear PDEs.
Our aim in the first seven chapters is to fill a gap between the local theory
obtained by the characteristic method and the global theory which principally de-
pends on vanishing viscosity method. This is to say, we try to extend the smooth
solutions obtained by the characteristic method. Our first problem then is to deter-
mine the life spans of the smooth solutions. Next, we want to obtain the generalized
solutions or weak solutions by explicitly constructing their singularities.
In Chapter 1, we present the classical results which are necessary for our follow-
ing discussions: the characteristic method, existence of local solutions, and Theo-
rems of Haar and on the uniqueness of solutions to the Cauchy problem
in C1 -space.
Chapter 2 is devoted to the life spans of classical solutions of the noncharacter-
istic Cauchy problem. Our method depends on the analysis of the smooth mapping
obtained by the family of characteristic curves. Even if the Jacobian of the mapping
may vanish at some point, we can sometimes extend the classical solution beyond
the point where the Jacobian vanishes. Therefore, we are obliged to consider very
often some properties of the inverse of the mapping in a neighborhood of a singular
point. This is the subject of Chapter 3.
In Chapters 4 and 5, we consider the extension of solutions beyond the singu-
larities of solutions in the case where the dimension of space is equal to one. Then
our principal problem is to construct the singularities of generalized solutions or of
weak solutions.
The theme of constructing the singularities of solutions is picked up again in
Chapter 6 for convex Hamilton-Jacobi equations in two space dimensions. The
difference between Chapters 4-5 and this one is the dimension of space. But the
problem caused by this difference would become much more complicated.
In Chapter 7, we treat the case where equations are not convex and not concave.
We will give only typical phenomena appearing in these cases without developing
a general theory.
In the last six chapters, the first-order PDEs under consideration are always
assumed to satisfy Carathéodory's conditions (or something like them). Chapter
8 introduces the so-called differential ineqtzalities of Haar type. Here we use some
new techniques based on the theory of multifunctions and differential inclusions to
investigate the uniqueness problem. The idea originates from the generalized char-
acteristic method. Roughly speaking, "characteristic differential inclusions" and
PREFACE
Partial differential equations of first-order have been studied from various points of
view: for example, classical mechanics, variational method, geometrical optics, etc.
In this chapter we will always suppose that the equations and solutions are real-
valued. The classical method to solve the equations is the characteristic method.
As this is the fundamental tool in our following discussions, we will give here a brief
explanation of the method. For more detailed results and geometrical meanings,
refer to, for example, R. Courant and D. Hilbert [34] and F. John [80].
First we consider a quasi-linear partial differential equation of first-order as
follows:
+ = ao(t,x,u) in U,
tz(0,x)=4)(x) on
U is an open neighborhood of (i, x) = (0,0). Let V be an open neighborhood
of {(0,x,4)(x)) : x U0} in Assume that a1 = a,(t,x,u) (1 = 0,1,... ,n)
and 4) = 4)(x) are of class C1 in V and U0, respectively. A function is said to be
of class Gil if it is k-times continuously differentiable, and Ck(U) is the family of
functions being of class C" in U. A C"-function means that it is a function of class
Ck.
Characteristic curves of (1.1)-(1.2) are defined by solution curves of the following
system of ordinary differential equations:
!.a1(i,r,v)
J
= ao(t,x,v).
1. LOCAL THEORY
The ordinary differential equations in (1.3) are called the "characteristic equations"
for (1.1), where we use v = v(t,y) instead of u =u(t,x) to avoid confusion. In the
Theorem 1.1. The Cauchy problem (1.1)-(1.2) has uniquely a solution of class C1
in a neighborhood of the origin.
§1.1. CHARACTERISTIC METHOD AND EXISTENCE OF SOLUTIONS 3
Proof. We use the notations introduced in the above. The following discussions are
true only in the definition domain of = y(t, x). This domain is a neighborhood of
the origin, where the Jacobian (Dx/Dy)(t,y) does not vanish. As x = x(t,y(t,x)),
we have
Ox Oy —
i,j=1,2 n
As u(t,x) = v(t,y(t,x)), we have
Ou Ov OvOy
= + (1.7)
Ou Ov Ox
= ao(t,x,u(t,x)) — —
\
Ou Ox
= ao(i,x,u(t,x)) —
= ao(t,x,u) —
= (a,(t,x,v) — + — ao(i,x,v))
J
L. w(O,y) = 0.
Next we consider the Cauchy problem for general partial differential equations
of first-order as follows:
in U (1.8)
on
= (i = 1,2,... ,n),
dv " Of
= (1.10)
at
dp1 Of Of
= (z = 1,2,... ,n),
with
where the Jacobian (Dx/Dy)(t, y) does not vanish and the equation x = x(t, y) can
be uniquely solved with respect to y. Denote the solution by y = y(t, x), and put
u(t,x) def .
= v(t,y(t,x)). We will prove that u = u(t,x) is of class C 2
,and that it
satisfies the Cauchy problem (1.8)-(1.9). For this aim, we prepare some lemmas.
Lemma 1.2. For all (t,y) in the existence domain of solutions to (1.10)-(1.11),
we have
§1.1. CHARACTERISTIC METHOD ANI) EXISTENCE OF SOLUTIONS 5
OX1
81/i 01/2
oxn
0Y18Y28Yn
where p(t, y) = (pi(t, y), p2(t, y),... , y)).
Proof. We put
On Ox1
OYi 0112 01/n
deC t9V
z(t,y) = —p(t,y)
01/2 01/n
y) =
(
z(0,y)=0.
As this is a linear ordinary differential equation concerning z = z(t,y), we get
z(t,y)wO. 0
Remark. Fix any y E Uo, and let J C R be an interval around 0 on which the
solutions x = x(t,y),v = v(t,y) and p = p(t,y) of the characteristic equations
(1.10)-(1.11) exist. Then (1.12) is true for each t E J even if the Jacobian may
vanish at (i,y).
Recall that in W we have (Dx/Dy)(t, y)0, and we can uniquely solve the
equation x = x(t, y) with respect to y. The solution has been denoted by y = y(t, x)
deC
and used to define u(t,x) = v(t,y(t,x)).
= (i = 1,2,... ,n).
Theorem 1.4. Suppose f 6 C2 and 6 C2. Then the Cauchy problem (1.8)-(1.9)
has uniquely a solution of class C2 in a neighborhood of the origin.
Proof. We first prove the existence of solutions. Let u(t,x) v(t,y(t,x)) as in
the above notations. By Lemma 1.2 and Corollary 1.3, using (1.10), we have
Ou i9v Oy
x) = y(t, x)) + y(t, x)) . x)
= — f(t,x,v,p)—p(t,y(t,x))
$ 1<i,j<n
1$
= — f(i,x,v,p) —p(t,y).
= —f(t,x,v(t,y(t,x)),p(t,y(t,x)))
Ou
= —f(t, x, u(t, x), x)).
I. z1(0) =
def def
We put w(t, y) = u(t, z(t, y)) and q(t, y) = (Ou/Ox)(t, z(t, y)), then we get
= —f(t,z,w,q) +
= — (z = 1,2,...
We have seen by Theorem 1.4 that the Cauchy problem (1.8)-(1.9) has a solution of
class C2 in a neighborhood of the origin. But, as the equation (1.8) is of first-order,
we would like to discuss the existence and uniqueness of solutions in C1-space. In
the following, we write a solution of class as a C's-solution. C'-solutions will be
sometimes called "classical solutions."
One of our aims is to consider what kinds of phenomena may appear when we
extend the classical solutions of (1.8)-(1.9). In this procedure, we need the unique-
ness of solutions in C1-space. This subject had been well studied by A. Haar [611
and T. Walewski [154]-[155]. Moreover, their results are indispensable to develop
our discussions. But, as it seems to us that they are not well-known, we would
like to introduce them. In this section, we report a theorem of A. Haar [61]. We
consider the Cauchy problem (1.8)-(1.9) in one space dimension, that is x R'.
Let be a triangle defined by
Theorem 1.5. (A. Haar [61]) Suppose that the function I = f(t,x,u,p) satisfies
a Lipschitz condition as follows:
— <0, — <0.
Hence it holds that
9w 8w
As z(P) > 0 and a > M, this contradicts (1.14). Therefore z(t,x) < 0 for
all (t,x) Since we can similarly prove that z(t,x) 0, we obtain ui(t,x)
0
Theorem 1.6. (T. Waiewski [154J) Suppose that I = f(t,x,u,p) satisfies the
following Lipschitz condition:
if(t,x,u,p) — — + MItz — vi
Lemma 1.7. Let be the pyramid defined in the above, and {x E R"
(t,x) E Let u = u(t,x) be in and put xE :
for each t E [0,a]. Then w = w(t) is differentiable from the right on [0,a), and
n
= —
{ — — (i = 1,2,... ,n).
1,2,... , n)}. Combining the result obtained in the first step and the above trans-
form of coordinates, we complete the proof of the lemma. 0
§1.3. A THEOREM OF T. WAZEWSKI 11
= —
+ MIu(t, (1.16)
1. w(O) = 0,
from which it may be concluded that w(t) 0, i.e., u1(t,x) < u2(t,x), for all
(t, x) Since we can similarly prove uz(t, x) u1(t, x), we finally get ui(t, x)
u2(t,x) on 0
We will rewrite Theorem 1.6 in a general form. A function f = f(t,x,u,p) is
said to be locally Lipschitz continuous with respect to (u,p) if, for any compact set
in R x Rx there exist constants L1,L2,... and M such that
—vi
Theorem 1.8. Suppose that f = f(t, x, u,p) is locally Lipschitz continuous with
respect to (u,p). If u = u(t,x) and v = v(i,x) are C1 -solutions of (1.8) in a
neighborhood of the origin satisfying u(0,r) v(O,x), then there exists an open
neighborhood of the origin, such that u(t,x) v(t,x) in
u(O,x) = on {t = 0, x (2.2)
x= y + v(t, y) = (2.3)
wherea(u) def
= (ai(u),az(u),... Then the Jacobian of the mappmgx =
x(t,y) is given by (Dx/Dy)(t,y) = 1 + tA(y) with A(y)
Obviously, the Jacobian (Dx/Dy)(t, y) does not vanish in a neighborhood of (t, y) =
§2.2. LIFE SPANS OF CLASSICAL SOLUTIONS 13
(0,0). Therefore, as we have shown in §1.1, the Cauchy problem (2.l)-(2.2) has a
unique C1-solution u = u(t,r) in a neighborhood of the origin. Since u(t,x) =
x)) where y = y(t, z) is the solution of the equation x = x(t, y), we have
f'Ou 1
24
' 1 + '
We write the solutions of (2.7)-(2.8) by r = x(t, y) and v = v(t, y). Then v = v(t, y)
means the value of a solution of (2.5) restricted on the curve x = x(t, y). Here we
assume the following condition:
(A.I) The Cauchy problem (2.7)-(2.8) has uniquely a global solution x = x(t,y),
v = v(t,y) on {t O} for any y E
It is not easy to write down sufficient conditions which guarantee the assump-
tion (A.I). Concerning this subject, see for example B. Doubnov [43J and M.S.
Krasnosel'skii [83J. We will consider this in Appendix I. When we assume (A.!), we
get a smooth mapping x = x(t,y) from R" to RTh for each t 0. The life span of
classical solutions of (2.5)-(2.6) is determined by the following:
. U
on —
Ov
,n V. (2.9)
On the other hand, from (2.7), and (i,j = 1,2,... ,n) satisfy
the following system of linear equations:
d —
Osk Ov
+
dt — Lank 12 10
Oa0Ov
dt Oy,) — Oy. + Ov Oyj
§2.2. LIFE SPANS OF CLASSICAL SOLUTIONS 15
0
oy.
such that
1) lim t'Th = j0, and
2) lim =c.
Ox
From (2.9'), we get
= (2.12)
u(0,x) = on {t = 0, x E (2.14)
= (i = 1,2,... ,n),
— = —f(t,x,v,p), (2.15)
di j1 VP,
dp1 Of Of
= — (z = 1,2,... ,n),
with
Our aim is to show that, when t goes to t0 —0 along the curve x = x(t, y°), at least
one of {Ou/0x1, 02u/Ox1Ox, : i,j = 1,2,... ,n} tends to infinity.
Differentiating (2.15) with respect to y, (j = 1,2,... ,n), we get a system of
linear ordinary differential equations of first-order concerning {0x1/0y1, .3v/Oy,,
i,j = 1,2,... ,n} like (2.10). As this system of equations is linear, we
have
(0z1/Oy)(t) (Oxi/Oy)(O)
(Ox,1/Ôy)(t) (ôXm/Oy)(O)
rank = rank (Ov/äy)(0) = n for any t 0. (2.17)
(0p1/Oy)(t) (Opl/Oy)(O)
(Opfl/Oy)(0)
b1(t, y) is one of {xk(t, y), v(t, y), pk(t, y) : k = 1,2,... , n}. As (Dx/Dy)(t°, y°) =
0, we can find v(t,y) or some pk(t,y) in Here we recall
Corollary 1.2:
ai(t, y)
r o 1
a2(t,y)
= ... -(t,x)
1
=
y)
remain bounded (though the Jacobian vanishes); therefore, some pa(t, y) must be
contained in {bi(t,y),b2(t,y),... Hence we get Theorem 2.2. 0
Theorem 2.2 says that, if the Jacobian vanishes at a point (t°, y°), then the
second derivatives of classical solutions blow up at time t = t°. But this does
not prevent the existence of C1-solutions even if the Jacobian may vanish. To
understand this situation, we need to know the behavior of characteristic curves in
a neighborhood of the point where the Jacobian vanishes. After having studied this
subject, we will again consider the extension of classical solutions in Chapter 3.
As we have shown in §1.1, the Cauchy problem for a partial differential equation
of first-order has locally a classical solution. We have also seen in §2.2 that the
solution may generally have singularities in finite time even for smooth initial data.
But in some cases the Cauchy problem admits a global classical solution. In this
section, following Tsuji-Li [1391, we will give necessary and sufficient conditions
which guarantee the global existence of classical solutions. First we give some
comments on this subject.
For the Cauchy problem (2.1)-(2.2), E.D. Conway (32] gave a necessary and
sufficient condition for the global existence of C1-solutions on the half space {t O},
using Hadamard's lemma on the diffeomorphism of Euclidean spaces. Another proof
was given by Li Ta-tsien and Chen Shu-xing [102J. Qin Tie-hu [1141 treated the
case where the functions a (z = 1,2,... ,n) depend on t and x. Li Ta-tsien and
Shi Jia-hong [103] gave certain relations between the global existence of nontrivial
smooth solutions in the whole (t, x)-space and the linear dependence of the functions
aj = aj(u) =
Now we review the results on the diffeomorphism of the Eucidean space
Concerning this subject, we must go back to J. Hadamard, but here we follow W.B.
Gordon's note [58]. Let H be a C1-mapping from R" to R" defined on the whole
§2.3. GLOBAL EXISTENCE OF CLASSICAL SOLUTIONS
First we consider the Cauchy problem for a quasi-linear equation, say Prob-
lem (2.5)-(2.6). We assume the following conditions. (Here and subsequently, ri
denotes the Euclidean norm of x E
(A.I) For any y E the Cauchy problem (2.7)-(2.8) has always a unique global
C'-solution x = x(t,y), v = v(t,y) on {t O}.
(A.II) On the solution curves of (2.7)-(2.8), it holds that
for any t [O,T], y E and i = 1,2,... ,n where the constant M depends only
on T.
When Conditions (A.1) and (A.Il) are satisfied, we can define, for any t 0, a
C -mapping
1
from R to R by x = x(t,y) def = Ht(y). Then we get:
Lemma 2.4. Under the assumptions (A.I) and (A.!!), the mapping is proper
for any t 0.
Proof. As we have
Theorem 2.6. Under the assumptions (A.I) and (A.!!), the Cauchy problem (2.5)-
(2.6) has a global C' -solution uniquely on the domain D {t 0, x E if and
only if the Jacobian (Dx/Dy)(t,y) of the mopping does not vanish for any t 0
and y E RTh.
thatO<t°<t.) 0
Next we consider the Cauchy problem (2. 13)-(2. 14) for general partial differen-
tial equations of first order. We assume the following hypotheses:
(A.I)' For any y E the Cauchy problem (2.15)-(2.16) has always a unique global
C1-solution x = x(t,y), v = v(t,y), p = p(t,y) on the halfspace {t 0}.
(A.II)' On the solution curves of(2.15)-(2.16), it holds that
for any t e [0,TI, y E andi = 1,2,... ,n where the constant M depends only
on T.
Theorem 2.7. Under the assumptions (A.!)' and (A.!!)', the Cauchy problem
(2. 13)-(2. 14) has uniquely a global C2-solutzon on the domain D {t 0, x E
§2.3. GLOBAL EXISTENCE OF CLASSICAL SOLUTIONS 21
if and only if the Jacobian of the mapping x = Hg(y) does not vanish for any t 0
and y E
v(t,y(t,x)). The uniqueness of this C2-solution follows from Theorem 1.6. (It can
also be deduced from the method of proof used in Theorem 1.4.) The necessity of
the above condition comes from Theorem 2.2. 0
Chapter 3
of Characterjstic
Lurves and Prolongation
of Classical Solutions
§3.1. Introduction
This chapter is continued from Theorem 2.2 in §2.2. Let us rewrite the equation
which we will again consider here:
=0 in {t >0, rE (3.1)
§3.2. Examples
(Ou Ou
=u in {t >0, xE R }, 1
(33)
I. u(0,x)=x on {t=0, xER'},
But we can also see from (3.4) that the characteristic curves x = x(t, y) do not
meet for all t 0. In this case the solution u = u(t, s) is represented as
u(t, x) = for t K.
(3.5)
on {t=O,xER'},
where
f(i,u,p) + f3'(t)e3tp4 — u
and the functions a = a(t), = are the same functions that we introduced
in Example 1. This example is not of quasi-linear type, and it satisfies Conditions
(A.!)' and (A.!!)' given in §2.3. The characteristic curves for (3.5) are written as
As we have shown in §3.2, there exists the case where the characteristic curves do
not meet in a neighborhood of points where the Jacobian vanishes. In this case we
can uniquely extend classical solutions even if the Jacobian may vanish. This is the
problem which we would like to prove in this section. Now let us make clear the
situation under which we consider the Cauchy problem (3.1)-(3.2).
We always assume Condition (A.!)' (Chapter 2) which assures the global ex-
istence of characteristic curves. Let x = x(t,y), v = v(t,y) and p = p(t,y) be
the solutions of (2.15)-(2.16), and define a mapping H from to by
H(t,y) del
= (i,x(t,y)). Suppose:
(I) (Dx/Dy)(i°,y°) = 0,
§3.3. PROLONGATION OF CLASSICAL SOLUTIONS 25
and
(B) The mapping H is bijective from a neighborhood of (t°, y°) to another one of
(t°,z°) where
By Condition (B), we can uniquely solve the equation x = z(t,y) with respect
toy, and denote it by y = y(t,x) (for (t,x) in a neighborhood of (t°,x°), (t,y) in a
neighborhood of (t°, y°)). The function y = y(t, x) is obviously continuous, though
it may not be differentiable. Then we get the following.
Theorem 3.1. Under the hypothesis (A.I)', suppose (I)-(II) and (B). Then the
solution u = u(t,x) remains a C'-solution of(3.1) in a neighborhood
of(t°,x°), though it is not of class C2.
Proof. Let V and U be open neighborhoods of (t°, y°) and (t°, x°), respectively,
such that the mapping H is bijective from V to U. Consider S dcf
= {(t, y) V
(Dz/Dy)(t,y) = 0) and H(S) = {H(t,y) : (t,y) E S}. By Sard's theorem,
the Lebesgue measure of H(S) is zero. Therefore U\H(S) is dense in U. We see
that u = u(t,x) is of class C2 in the domain U\H(S). The reason is as follows.
For any E U\H(S), there exists uniquely a point E V satisfying
0 and = The inverse function y = y(t,x) is of class C1
in a neighborhood of which is contained in U\H(S). Here we recall Lemma
1.2 and Corollary 1.3 in §1.1, and we see that u = u(t,x) is a function of class
C2 satisfying the equation (3.1) in the neighborhood of (t , Next we show that
u = u(t,x) is continuously differentiable in the domain U. We pick up arbitrarily
_o
a point (t , ) in H(S). Then we can choose a sequence {(tm,xm)}m of points in
U\H(S) such that, when m tends to infinity, (tm,xm) is convergent to (t ). As
the mapping H is bijective from V to U, there exists a unique point (t, ym) E V\S
satisfying H(tm,ym) = (tm,xm) for each in. Since y = y(t,x) is continuous in U,
26 3. PROLONGATION OF CLASSICAL SOLUTIONS
0 o
it follows that ym = y(tm,xm) is convergent to y(t , ) when in tends to
infinity. As u = u(t,x) is continuously differentiable at (tm,xm), we have by (1.13)
p(t,y) =
Because p = p(t,y) is continuous on the whole half space {t 0, y E R"}, we get
ôu
lim —(t,x) =
m-.oo Ox
lim p(t,y) =p(i ).
The derivative On/Or of u = u(t, x) can thereby be continuously extended (in such
a way that (Ou/Ox)(t, x) = p(t, y(t, x))) over U. That is to say, u = u(t, r) is of class
C' in the domain U. Moreover, notice that the uniqueness of the above (extended)
C'-solution is assured by Theorem 1.6. 0
Remark. In Theorem 3.1, the assumption (A.I)' is a crucial point. It will be
proved in Chapter 5 that, for quasi-linear equations of first-order, the assumption
(A.!)' is not compatible with the property that the Jacobian vanishes somewhere.
For quasi-linear equations of first-order, Theorem 2.1 says that, if the Jacobian
vanishes somewhere, the classical solutions blow up there. Therefore we cannot
extend the classical solutions beyond the time t° when the Jacobian vanishes. This
obliges us to treat weak solutions for t > t°. The typical singularity of weak
solutions is "shock." As it will be shown in Chapter 5, the shock appears by the
collision of characteristic curves. Therefore we try here to give sufficient conditions
so that the characteristic curves meet after the Jacobian vanishes.
In this section we consider quasi-linear equations of first-order in one space
dimension as follows:
On On .
= ao(t,x,u) in {t >0, XE R }, (3.6)
Therefore we get (Ox/Oy)(i, y°) < 0 for t > with t — t° small. That is to say,
(Ox/Oy)(t,y°) changes its sign at I = t°. We now define a function h = h(y) by
setting h(y) inf{t : (OxfOy)(t, y) = 0) for each y. Then h = h(y) is of class
C1 in a neighborhood of y = y0 In fact, as we have (Ox/Oy)(t°,y°) = 0 and
(82x/OtOy)(t°,y°) <0, we can uniquely solve the equation (Ox/Oy)(i,y) = 0 with
respect to y in a neighborhood of (t°, y°). Let us restrict our following discussions
into a small neighborhood of (t°, x0, v°) only. We see by the same reasoning as in
the above that, as a function oft, (Ox/Oy)(t, y) changes its sign at t = h(y) for each
y.
Next, we will show that x = r(t,y) is not monotone with respect to y. Pick up
a point y°. If <t°, then we get
Ox-.. <0 and Ox
>0
)
28 3. PROLONGATION OP CLASSICAL SOLUTIONS
In this section we consider the same problem as in §3.4 for general partial differential
equations of first-order in one space dimension as follows:
Proof. As in the proof of Theorem 3.2, we will show that x = r(t,y) is not
monotone with respect to y. We repeat the same discussions in §1.1. When the
Jacobian (ôx/Oy)(t,y) 0, we can solve the equation z = x(t,y) with respect to
§3.5. COLLISION OF CHARACTERISTIC CURVES II 29
y, and denote the solution by y = y(i,x). Then the solution of (3.8)-(3.9) is given
by u(i,x) def
= v(t,y(t,x)) and
p(t, y(t, x)) = x) = x)
= —(t,y(t,x)) . (_(t,y))
When a point (t,x) goes to (t°,x°) along the curve {(i,x) : x=
(Ox/Oy)(i,y(i,x)) tends to zero and p(i,y(t,x)) remains bounded. Therefore it
must be true that (Ov/Oy)(t°,y°) = 0. Differentiating the system (2.15) with re-
spect toy, we get a system of linear ordinary differential equations for Ox/Oy, Ov/Oy
and Op/Oy just like (2.10). As the initial data
(Ox/Oy, Ov/Oy, Op/Oy)(O, y) = (1,
(Ox/Oy)(t, y) = :
0) for each y. We consider the problem in a small neighborhood of (t°, x0, v°,p°)
yO)•
where 82f/Op2 0. We pick up a point By the same reasoning as in
the above, we see that (Ox/Oy)(t, changes its sign at I = If > we
have
Ox
and
for I E (t,h(j)). As this means that x = x(t,y) is not monotone with respect to
y, the characteristic curves meet in a neighborhood of (10, x°). In the case where
h = h(y) is constant, we can similarly prove that the characteristic
curves meet in a neighborhood of (t0, x°). 0
Chapter 4
Equations
of Hamilton-Jacobi Type
in One Space Dimension
§4.1.Nonexistence of classical solutions
and historical remarks
In this chapter we will treat general partial differential equations of first-order (3.1)-
(3.2) which satisfy Condition (A.!)' (Chapter 2); that is to say, the characteristic
equations (2.15)-(2.16) have uniquely global solutions x = x(t,y), v = v(t,y) and
p = p(t,y) for all y E The crucial point of Condition (A.!)' is the global
existence of p = p(t, y). Let us sum up the principal results proved in Chapters 1,
2, and 3:
(I) (Dx/Dy)(t°,y°) = 0.
(II!) The characteristic curves x = x(t, y) meet in a neighborhood of (t°, x°) where
x0
§4.1. NONEXISTENCE OP CLASSICAL SOLUTIONS 31
In this section, the space dimension is always equal to one, though some subjects
are similarly discussed even in the case of several space variables. Now let us
consider the case (III).
Proposition 4.1. Suppose the above conditions (I), (II), and (III). Then the
Cauchy problem (3.1)-(3.2) cannot admit a solution of class C1 in the whole space.
Proof. Let x = x(t,y), v = v(t,y), and p = p(t,y) be the solutions of (2. 15)-(2.16)
for n = 1. By the assumption (III), there exist two points (a,a) and (a,/3) such
that x(a, a) = x(a, /3) (a j9). As f = f(t, x, u, p) is of class C2, a Cauchy problem
for (2.15) can not have more than one solution. Therefore we have
When there do not exist classical solutions, we must introduce generalized solu-
tions which contain singularities. As the solutions are not of class Ci, the solutions
as regular as possible are required to be continuous. We recall by Condition (Al)'
that p = p(t,y) remains bounded. Since p = p(t,y) is corresponding to the first
derivatives of solutions, the generalized solutions should be Lipschitz continuous.
This suggests to us that, if the equations satisfy (A.I)', we would be able to construct
generalized solutions which are Lipschitz continuous. This is the aim of the present
4. EQUATIONS OF HAMILTON-JACOBI TYPE
chapter. Before advancing further, we had better give briefly a historical survey on
the global existence of generalized solutions for Hamilton-Jacobi equations.
The global existence and uniqueness of such generalized solutions for convex
Hamilton-Jacobi equations have been well studied by several methods: for example,
by variational method (E.D. Conway and E. Hopf [331), by methods of envelopes
(E. Hopf 1641, S. Aizawa and N. Kikuch.i 141), by difference-differential method
(A. Douglis [44]), especially by vanishing viscosity method (W.H. Fleming [51],
A. Friedman [54], S.N. Kruzhkov [881, [92]). Non-linear semi-group approach has
also been well developed by S. Aizawa [2], Y. Tomita [135]. The global theory for
non-convex Hamilton-Jacobi equations has recently been considered by M.G. Cran-
dall, L.C. Evans, P.-L. Lions ([35], [381, [100]). They have introduced the notion of
"viscosity solutions" to define generalized solutions and characterized their proper-
ties. There are also many interesting works related to the viscosity solutions, for
example, C. Barles [14], H. Ishii [67], P.E. Souganidis [123). By these contribu-
tions, the global existence and uniqueness of generalized solutions were established
almost completely. Concerning more detailed references, refer to P.-L. Lions [100]
and S.H. Benton [211. Historical remarks for equations of the conservation law will
be given in Chapter 5.
§4.1. NONEXISTENCE OF CLASSICAL SOLUTIONS 33
From the results in this chapter, we will see that the equations with proper-
ty (A.I)' have properties similar to that of classical Hamilton-Jacobi equations.
Therefore we would like to call the equations with property (Al)' "equations of
Hamilton-Jacobi type." Notice that S. Lzumiya [74J considers the differences be-
tween Hamilton-Jacobi equations and first-order quasi-linear partial differential e-
quations from the geometrical point of view.
M. Bony [23] has considered the propagation of weak singularities for non-linear
partial differential equations. His method depends on some techniques elaborated to
study linear problems. We think that the singularities which will be discussed here
could not be treated by his method, because, for the definition of paradifferential
operators which are the approximations of nonlinear equations, solutions must be
at least classical solutions.
To make clear our problem, we write it again. Consider the Cauchy problem in one
space dimension as follows:
Ou .
in {t>O, rER }, (4.3)
0 (4.5)
From now on, we will construct the singularities of generalized solutions for 2>
where t—t0 is small. First we solve the equation (ôx/ôy)(t,y) = 0 with respect to
2. As (Ox/Oy)(t, y) > 0 for t < t° and y E I (cf. (H)), it holds that (Ox/Oy)(t°, y)
0 for y E I. Moreover, as = 0, we get (02x/8y2)(t°,y°) = 0. We
assume here (83x/0y3)(t°, y°) 0. This assumption is natural from the generic
point of view. In this case, we see that
>0. (4.6)
In fact, if (4.6) were false, we would have (82x/8y2)(i°,y) < 0 for y > y°, i.e.,
(Oz/Oy)(t°,y) < 0 for y > y°. As (ôs/Oy)(0,y) = 1, there exists 2 < 20 such that
(Ox/Oy)(t,y) = 0. This contradicts (I).
Let us draw a figure for the curve x = s(t,y) (2> t°) (see Figure 4.1).
xl
ya yl y
Figure 4.1
We explain the reason why the curve x = x(t,y) is drawn as in Figure 4.1.
Taking the derivative of (2.15) with respect to y, we get a system of ordinary
4. EQUATIONS OP HAMILTON-JACOBI TYPE
differential equations concerning Ox/Oy, Ov/Oy, and Op/Oy just like (2.10). For
example, the equation for Ox/Oy is written by
dOx =
02f Ox 621 02f
+ + (4.7)
This system of equations is linear with respect to Ox/Oy, Ov/Oy and Op/Oy. Since
((Ox/Oy)(O, y), (Ov/Oy)(O, y), (Op/Oy)(O, y)) = (1, 4'(y), 4/'(y)) (0,0,0), we see
that ((Ox/Oy)(t,y),(Ov/Oy)(t,y),(Op/Oy)(t,y)) (0,0,0) for any (t,y) R2. We
recall here Lemma 1.2:
= (t,y) R2.
0.
On the other hand, as (Ox/Oy)(t°,y°) = 0 and (Ox/Oy)(t,y°) > 0 for t < t°, the
left-hand side of (4.7) must be non-positive at the point (t°, y°). Using (4.5) and
the above results, we get
= <0. (4.8)
Therefore we can uniquely solve the equation (Ox/ay)(t, y) = 0 with respect to tin
a neighborhood of (t°,y°), and write the solution as a C°°-function t = p(y) of y.
Then we have
d Ox 02x , 02x
= (y) + = 0.
d2 Ox 02x 03x
= o
,y o )pu(yo ) + o
,yo) = 0,
using (4.6) we get p"(y°) > 0. As p'(y°) = 0, it follows that p'(y) > 0 for y > y°
and that p'(y) <0 for y <y°. Thus the function t = p(y) is strictly increasing for
y > y° and strictly decreasing for y < y°, so the equation t = p(y) has two solutions
§4.2. CONSTRUCTION OP SOLUTIONS 37
y = yi(t) andy = y2(t) (y2(t) < y° < y'(t)) fort > = p(y°) where i—ta is small.
Summing up these results, we get the following.
The proof is obvious by the above discussions. Here we put x(t, y1(t)) (i =
1,2). Then ri(t) <52(2) fort> t° (with +0) = = x(t°,y°) = x°).
Next we solve the equations = x(t,y) with respect toy for x E (x1(t),52(t)), 2 > 2°
(t—t° small). Then we get three solutions y = g,(t,x) (i = 1,2,3) with g1(t,x) <
g2(t,x) < gs(t,x). Define u1(t,x) 1! v(t,g,(t,x)) (i = 1,2,3). This means that
the "solution" constructed by the characteristic method takes three values for x
(xj(t),x2(t)) (2 > t° with 2— t° small). By the assumption (4.5), we treat here the
case where
> 0.
Lemma 4.3. i) For any 2 > 20 with 2—2° small and for any x E (xl(t),x2(t)), we
have
ui(t,7(t)) =
Proof. i) By (4.8) and (4.9), we have (Op/Oy)(t°,y°) <0, i.e., (Op/Oy)(t,y) <0 in
p(t, (2, x)) > p(t, g2(t, x)) > p(t, gs(t, x)). (4.10)
with
(ui(t,z) — = 0.
Hence it holds that ui(t,x) — u2(i,x) < 0 for x E Exi(t),x2(t)). In the same way,
we obtain the inequality u2(t,x) — us(t,x) >0 for x E (xi(i),x2(t)j.
ii) Using the results of i, we have
(t, x) — us(t, x)) = p(i, gj (t, x)) — p(t, g3(t, x)) > 0,
with
(ui(t,x) — = (u3(i,x) — >0
z=za(t)
and
(u1(i, x) — = (uj(t, x) — u2(t, < 0.
(t) (t)
J u1(t,z) if x
u( ,x)
— u3(t,x) if x>
This extended solution is obviously Lipschitz continuous. It satisfies the equation
(4.3) except on the curve {(t,x) t t°, r =
: The next problem is to prove
the uniqueness of generalized solutions. This is the subject of the following section.
=0 in
deC
Then it has a trivial solution u = uo(t,x) = 0, and also
deC10
u=ui(t,x)=ç if 0<t<IrI,
I. if
On On
+0) — — 0)}y,
To estimate the first and second terms, we must calculate the second derivative
of u = u(t,x):
= -(Ou/Oz)(t,x) = _p(t,y(t,x))
iOp lOx
=
p=y(t,r)
Summing up the above results, we see that there exists a constant K satisfying
'y(t)) — y(t)) —
{
where x def
= -y(t), u
def
= u(t,-y(t)). The equality (4.14) is correspondmg to the
Rankine-Hugoniot jump condition for equations of conservation law.
Remark. We can extend the singularity of the solution for large t by the same
method. But, if (02f/0p2)(t, x, u,p) changes its sign, the solution may generafly
lose the above supplementary condition. Then we must introduce other types of
singularities. This is the reason why the above construction of singularities is local.
This is the subject which will be discussed in Chapter 7.
= (4.15)
Figure 4.2
First, see Figure 4.2 which expresses the behavior of the curve x = x(t, y) for i>
T. We use the notations indicated in Figure 4.2. Each part (i = 1,2,3) of the
curve x = x(t,y) can be uniquely solved with respect toy, and we write y = g;(t,x)
(1 = 1,2,3). Put x) v(t,91(t, x)) (i = 1,2,3). As > for t > T,
the solution u = u(t, x) defined by (4.11) takes two values for x E We
def
define I(t,x) = ui(i,x) — us(t,x). By Lemma 4.3, we get
I(t,y1(t)) = u1(i,'71(t)) —
= u2(t,y1(t)) — u,(i,yi(t)) > u2(t,y2(t)) — u3(t,72(t)) = 0.
a'
—(t,x) =p(t,gi(t,x)) —p(t,gs(t,x)) > 0.
ax
§4.4. COLLISION OF SINGULARITIES 43
I u3(t,x) if x
u(t,x)
= 1 uj(t,x) if a,
Then we can similarly show that u = u(t, a,) is Lipschitz continuous and semi-
concave. Taking the derivative of I(t, = 0 with respect to i, we also get the
same jump condition (4.14).
The collision of a finite number of singularities can be treated by the above
method. For example, let {x = -y,(t), t > t} (i = 1,2,... ,k) be singularities of
the solution u =u(t,x). Suppose (I) <72(t) < ... for i <T, and
(II) 11(T) = 12(T) = ... = 7k(T). Then we have
dt'' >
In this chapter we consider the Cauchy problem for quasi-linear equations of first-
order in one space dimension as follows:
must introduce weak solutions for equation (5.1). To define it, we rewrite equation
(5.1) as follows:
+ = g(t,x,u) (5.1')
weak solution of (5.1) which has jump discontinuity along a curve z = 1(t). Then,
by the definition of weak solutions, we get the following Rankine-Hugoniot jump
condition:
dy — f(t, x, u+(t)) — f(t,z,u_(t))
54
dt —
(I) (Dz/Dy)(t°,y°) = 0.
(II) (Dx/Dy)(t,y) 0 for t < t° and y I where I is an open neighbourhood of
y = y°.
Our problem is to see what kinds of phenomena may appear for t > t°. As
Example 1 in §3.2 shows, we have to consider two cases as follows:
(III) Though the Jacobian of x = x(t,y) vanishes at a point (t°,y°), the char-
acteristic curves x = x(t,y) do not meet in a neighborhood of (t°,x°), where
x(t°, y°).
(IV) Fort > t°, where (Dx/Dy)(t°,y°) = 0, the characteristic curves x = x(t,y)
meet in a neighborhood of (t°, x°).
46 5. QUASI-LINEAR EQUATIONS OF FIRST-ORDER
In the case (III), we can uniquely solve the equation x = x(t, y) with respect to
y and denote it by y = y(t,x) which becomes a continuous function. Put u(i,x)
v(i,y(t,x)). Then Theorem 2.1 means that u = u(t,x) is not a classical solution of
(5.1), however, we can see that it is a continuous weak solution. The proof is as
follows. The continuity of u = u(t, x) comes from the continuity of v = v(t, y) and
y = y(i,x). Put S {(i,y) (Dx/Dy)(i,y) = 0) and H(S) {(t,x) r=
z(t,y) for (t,y) E S}. Then, by Sard's theorem, the Lebesgue measure of H(S)
is zero. As a corollary of Theorem 2.1, we can see that u = u(t,x) satisfies the
equation (5.1) outside H(S). Hence u = u(t,x) is a continuous weak solution of
(5.1 )-(5.2).
The important problem remaining is to consider the case (IV). Suppose that the
characteristic curves meet, that is to say, x(t,yj) = x(t,y2) where Yl By the
uniqueness of solutions of (2.7)-(2.8), we have (x(t, yi), v(i, yi)) (r(t, Y2), v(t, y2)).
As x(t,yi) = x(t,y2), it follows v(t,yj) v(t,y2). This means that we will not be
able to get continuous weak solutions. Therefore we will look for piecewise smooth
weak solutions. As we will see a little later, the solution u = u(t, x) v(t, y(i, z)) in
the case (IV) takes several values after the Jacobian vanishes. As we are looking for
a single-valued solution, our problem is how to choose one appropriate value from
these so that the solution becomes a single-valued weak solution of (5.1). if one
may jump from a branch of solution to another one, the jump discontinuity must
satisfy Rankine-Hugoniot's equation (5.4). Solving the Cauchy problem for (5.4),
we can get a curve of jump discontinuity. J. Guckenheimer [59] and G. Jennings
[78] took this approach. But they forgot to pay attention on the uniqueness of
solutions for the Cauchy problem to (5.4). In fact, the right-hand side of (5.4) is
not Lipschitz continuous at an initial point (see Lemma 5.3). The aim of §5.3 is to
prove the uniqueness of solutions for the Cauchy problem to (5.4).
The generic property of singularities was studied in D.G. Schaeffer 1120] and
T. Debeneix [41j by applying Thom's "Catastrophe theory." The construction of
singularities in two space dimensions for Hamilton-Jacobi equations was studied
by M. Tsuji [137]. By a similar method, S. Nakane [109]-[11O] constructed the
singularities of shock type in several space dimensions. But, as he treated the
singularities of fold and cusp types only, his results are essentially those in the
case of two space dimensions. Recently S. Izumiya and G.T. Kossioris (see for
§5.2. EQUATIONS OF HAMILTON-JACOBI TYPE AND CONSERVATION LAW 47
example, 1741-1761) give the generic classifications for the bifurcations of singularities
of geometric solutions.
In this section we will give some property of equation (5.1). This will characterize
a difference between Equation (5.1) and equations satisfying (A.!)'.
A difference between characteristic Equations (2.7) and (2.15) is that (2.7) does
not contain an equation concerning p = p(t,y). Let r = x(t,y) and v = v(t,y)
be the solutions of (2.7)-(2.8) for n = 1. As p = p(t,y) is corresponding to
(ôu/Ox)(t,x(t,y)), an ordinary differential equation for p = p(t,y) is written as
follows:
p(O) = (5.6)
The equation (5.5) corresponds to the last one of (2.15). More concretely, we
see by Corollary 1.3 that, if u = u(t,z) is of class C2, p = p(t,y) is equal to
(ôu/&c)(t, y(t, x)).
= (t,y) E R2.
This proposition means that, if the Jacobian vanishes somewhere, (A.I)' cannot
be satisfied for quasi-linear equations of first-order.
48 5. QUASI-LINEAR EQUATIONS OF FIRST-ORDER
In this section we will consider the case (IV) and construct the singularities of weak
solutions which are called "shock" or "shock wave." A sufficient condition which
guarantees the situation (N) is
(5.7)
where v0 v(t°, y°). This is the result of Theorem 3.2. If (5.7) is violated, we
can construct an example in which characteristic curves do not meet though the
Jacobian vanishes (see Example 1 in §3.2). Therefore, the solution of this case
remains to be continuous, though it is not differentiable.
First we solve the equation x = x(t, y) with respect toy for t > t0 in a neighbor-
hood of (t°, y°). This procedure is almost the same as in §4.2. By the assumptions
(I) and (II), we have (02x/0y2)(t°, y°) = 0. We assume (03x/8y3)(t°, y°) 0. This
assumption is natural from the generic point of view. In this case also, we get, by
the same way as the proof of (4.6),
> 0. (5.8)
Then the graph of the curve x = x(t,y) for t > t0 is drawn just as in Figure 4.1
(see §4.2). Therefore we use the same notations given in Figure 4.1. Here the
functions y = y1(t) and y = y3(t) > are the solutions of (Ox/Oy)(t,y) = 0
def
and z1(t) = x(t,y1(t)) (z = 1,2). Then Lemma 4.2 is also true for these y =
y1(t) (i = 1,2). When we solve the equation x = x(t,y) with respect to y for
z E (x1(t),xz(t)), we get three solutions y = g3(t,z) (g1(t,z) < g2(i,x) < gs(t,x))
and define x) x)) (i = 1,2,3). As we are looking for a single valued
solution, we must choose only one value from {u1(t,x) :i = 1,2,3} so that we can
get a weak solution of (5.1). As we have written in §5.1, we can not get continuous
weak solutions under the condition (N). Therefore we look for a weak solution
which is piecewise smooth. If u = u(t, x) is a weak solution of (5.1) which has jump
discontinuity along a curve x = -y(t), it must satisfy the R.ankine-Hugoniot jump
condition (5.4). This suggests us that a nice weak solution jumps from a branch
{ (t,x,u) : u = uj(t,x)} to the other {(t,x,u) u = u3(t,x)} along a curve
:
§5.3. CONSTRUCTION OF SINGULARITIES OF WEAK SOLUTIONS 49
x = -y(t) on which condition (5.4) is satisfied. Therefore our problem is to solve the
Cauchy problem for Rankine-Hugoniot's equation as follows:
where xi(t) < x(t) < x3(t) for I > t°. The function j = j(t,x) is obviously
differentiable in a domain U {(t,x) I > to and xj(t) < x < x2(t)} and
:
>0. (5.10)
= °G1(jO
0>— di '..OyI Ox ' ' Oy
(Ov/Oy)(t°,y°) 0.
50 5. QUASI-LINEAR EQUATIONS OF FIRST-ORDER
Proof. i) Since the functions y = y1(t) and y2(t) (y1(t) > y2(t)) are the solutions
of (Ox/Oy)(t,y) = 0 for t > we see that
= +
= = a1(t,x(t,y1(t)),v(t,y1(t))).
j(t, x1(t)) = ai(t, xj(t), u3(t, xj(t)) + O(ui(t, x1) — u3(t, x1 ))), 0 < 0 < 1.
Proposition 5.5. The Cauchy problem (5.9) has a unique solution in the domain
U {(t,x) : t > x2(t) > r > xj(t)}.
Proof. We extend the definition domain of j = j(t, x) to the whole space keeping
the following two properties: (I) j = j(t,x) is continuous on R2; and (II) j(t,x) is
decreasing with respect to x for t > t°. Then it is obvious that the Cauchy problem
(5.9) has a solution x = -y(t). From ii of Lemma 5.4 and Lemma 5.3, we get easily
x1(t) <y(t) <x2(t) for t > t°. Next we will prove the uniqueness of solutions. Let
x = -11(t) and x = 'V2(t) be two solutions of (5.9). As j = j(t,x) is decreasing with
respect to x, we have
11(t°) — y2(t°) = 0.
Now we define the weak solution of(5.1) in the interval (xj(t),x2(t)) fort > t°
by
ui(t,x) if x <
u(t x) = 1 (5.12)
I u3(t,x) if x > y(t).
We first give an example which shows the non-uniqueness of weak solutions of (5.1)-
(5.2) in the space is the space of measurable functions which are
integrable on any compact set in R2.
Then this problem has a trivial solution w(t, x) = 0 and a weak solution as follows:
0 on {(t,x) : ri t 0},
w(t,x) = 1 on {(t,x) : t > x > 0},
—1 on {(t,x) : t> —x > 0}.
We would like to show that our solution (5.12) is reasonable in the above sense.
That is to say:
Theorem 5.7. The solution defined by (5.12) satisfies the entropy condition (5.13)
in a neighborhood of the point (t°,x°).
Proof. We consider the case where (5.10) is satisfied. By Lemma 5.2, we have
u_(t) > As the inequality (5.10) means the convexity off = f(t,x,u) with
respect to u in a neighborhood of (t0, v°), we get
Remark 1. the above discussions, we can say that the essential difference
between equations of conservation law and Hamilton-Jacobi equations is the global
solvability of ordinary differential equation (5.5)-(5.6) with respect to p = p(t,y).
54 5. QUASI-LINEAR EQUATIONS OF FIRST-ORDER
+ = 0. (5.15)
+ f(t,x, = 0. (5.16)
Consider the Cauchy problem for a Hamilton-Jacobi equation in two space dimen-
sions as follows:
in {t>O,xER2}, (6.1)
where f = f(p) is of class C°° and 4i = is in S(R2). Here, S(R2) is the space of
rapidly decreasing functions defined in R2. We assume that f = f(p) is uniformly
ffl() de=f 8
C. I > 0. (6.3)
[ api p, J
This chapter is continued from Chapter 4. Our aim is to construct the singular-
ities of generalized solutions of (6.1)-(6.2) in two space dimensions. The difference
between Chapter 4 and this one is the dimension of spaces. The crucial part in our
analysis is to solve the equation x = z(i, y) in a neighborhood of a singular point.
To do so, we must see the canonical forms of singularities of smooth mappings in a
neighborhood of a singular point. Though the singularities of smooth mappings are
simple in the case of one space dimension, this subject is difficult and complicated
in the case of higher space dimensions. Here we apply the well-known results of
H. Whitney [159] to get the canonical forms of singular points of the smooth map-
pings. This is the reason why we restrict our discussions to the case of two space
dimensions. First, let us repeat the definition of generalized solutions of (6.1).
I) u = u(t,x) satisfies the equation (6.1) almost everywhere in R' x R2 and the
initial condition (6.2) on {t = 0, x E R3}
ii) U = u(t, x) is semi-concave, i.e., there exists a constant K such that
a a
+ = 0 (z = 1,2). (6.5)
The inequality (6.4) turns into the entropy condition for (6.5). See a remark in
§6.3.
Characteristic curves for (6.1)-(6.2) are defined as solution curves of ordinary dif-
ferential equations as follows:
x =p+ (6.6)
= det[I +
forany yER2,
we can uniquely solve the equation (6.6) with respect to y and write y = y(t,x).
Thenu = u(t,x) def= v(t,y(t,x))asauniqueclassicalsolutionof(6.1)-(6.2)fort <t o
. . .
.
{y(s°) E : = 0 at a = s°}.
= = 0. (6.8)
=0 for y(s) E
Proof. Put
Then a1(t,y) and a2(t,y) are linearly dependent on As they are smooth in
the interior of they can not take every direction of R2. That is to say, when
(t, y) moves in a small neighborhood of (t°, y°), a small
neighborhood of a1(t°,y°) (s = 1,2) where ai(t°,y°) and a2(t°,y°) are linearly
dependent.
Contrarily, when the point y = y(s) makes a round of (dy/ds)(s) takes all
the directions. Therefore (d/ds)x(t, y(s)) vanishes at least at two points. But we
see by (6.8) that the points where it vanishes are contained in Hence we get
this lemma. 0
Assume here the following condition:
(S.2) E = {Y1,Y2}, i.e., the number of element.s of is two; andY1 (z = 1,2) are
cusp points of H1, i.e.,
0 at y(s) = (i = 1,2).
Remark. Assume:
Then, for t > t° where t — t0 is small, becomes a simple closed curve and the
number of elements of is two.
This means that the mapping can be regarded as the mappings of (6.9k) and
(6.92) in a neighborhood of a fold point and a cusp point, respectively. Moreover he
proved that any smooth mapping from R2 to R2 can be approximated by smooth
mappings whose singularities are only fold and cusp points. We see by his result
that the curve has the cusps at X1 and X3 where (i = 1,2).
When we solve the equation x = with respect toy for x E the expressions
(6.9i) and (6.92) say that the solution y = y(t,x) takes three values. Write them
by y = (i = 1,2,3). Here we choose y = g2(t,z) as g2(t,x) E for x E
When we write u1(t,x) v(t,g1(t,z)) (1 = 1,2,3), the solution of (6.1)-(6.2) has
three values {u1(t,x) i = 1,2,3)) for x E
: (see Figure 6.1 which shows these
situations).
V Ct. y)
H;
x = 91(t,x) + xE
We are looking for a continuous solution. The iii of Lemma 6.2 means that we
cannot attain our aim by jumping from the first branch {(i,x,u) ii = uj(t,x)} :
to the second one {(t,x,u) u = uz(t,x)} and also from the second branch to the
:
third one {(t,x,u) : u = us(t,x)}. The last choice is to advance from the first
branch to the third one.
is a smooth curve contained in and it joins two cusp points X1 and X2.
Proof. In this case we introduce the family of curves defined by
dx
T = gi(t,x) — gs(t,x).
These curves also start from C1 and end at Cz, and the family of the curves covers
the domain if we change the index "i" of g1(i,x) (i = 1,2,3), the above solution
curves may start from C2 and end at C1. On each solution curve, it holds that
d Ous\
= (91 —ge) <0. (6.10)
—
§6.3. SEMI-CONCAVITY OP THE SOLUTION u = u(t,z) 61
U (t )
I if x E
— us(t,x) if x
This means that, though the first derivative of the solution u = u(t, x) has jump
discontinuity along the curve it is continuous with respect to the tangential
direction of rg.
—(t,x±0) def.
Ou OU
= hm —(t,x±en). e-4+O8X
Any C2-function satisfies the semi-convexity condition (6.4). Therefore, for the
proof of (6.4), it suffices to treat the case where x and y = en (e > 0). Then
we have
The first and second terms are easily estimated by K1y12. To get the inequality
(6.4), it must be
Contrarily, if (6.11) is true, then we can get (6.4). Hence (6.11) is equivalent to the
semi-concavity property.
On the other hand, we have, by the definition of
and
u3(t,x) — uj(t,x) < if xE
+ sn) — ui(t,x + 0.
That is to say,
— . n 0, x E 1's. (6.12)
Substituting these relations into (6.12), we get (6.11). Thus u = u(t,x) is semi-
concave. Summing up the above results, we get the following.
Theorem 6.4. After the time t0 where the Jacobian of the mapping vanishes
for the first time, the solution takes many values. But we can uniquely pick up only
one value from them so that the solution becomes single valued and continuous.
Then the condition of semi-concavity is automatically satisfied.
(v(t,x+O)—v(t,x—O)).n<0, XE
This is the entropy condition for the system of conservation law (6.5) given in the
remark of §6.1.
§6.4. COLLISION OF SINGULARITIES 63
Case (i): Consider the case where and collide as in (i) of Figure 6.2. Then
the solution becomes two-valued on a domain encircled by and By almost
the same discussions as in §6.2, we can uniquely pick up one value from two so that
the solution is single valued and continuous. Then we can prove that the solution
is semi-concave. In this case the new singularity appears as a smooth curve joining
two points where and intersect each other. It is described as a dotted curve
in Figure 6.2.
r.
t
(1) (iii)
Case (ii): Consider the collision of the type (ii) drawn in Figure 6.2. We put
deC
= and
Yl,'
1A2
v(t,.) restricted on
As does not take an extremurn at y = A, we get
(Ov/äy)(i,y) Oat p = A; i.e., the curve CA (p E R2 v(t,y) = v(t,.)I.i} is
:
Case (iii): When and meet at a time t = as shown in (iii) of Figure 6.2,
drawn as in (i) of Figure 6.4. But, as the interior domain of the
U E3,to is
curve = {y E R2 1 + tAi(y) = O} is monotonously increasing, U is
§6.4. COLLISION OF SINGULARITIES 65
described as in (ii) of Figure 6.4 for t > t°. When it satisfies the condition (S.l)
and (S.2), we can construct the singularity of solution by just the same way as in
§6.2.
Therefore (i = 1,2) have singularities at y = y°. But, for t > t°, the curve
{y R2 1 + tX1 (y) = 0} is smooth in a neighborhood of y = y°.
>2. t0
(ii)
Theorem 6.5. Assume that the assumptions (S.1) and (S.2) are always satisfied.
Then, even if two s;ngularities collide with each other, we can uniquely pick up one
value from two values of solution so that the solution becomes single-valued and
continuous. In this case also, the condition of semi-concavity is satisfied.
66 6. CONSTRUCTION OF SINGULARITIES IN TWO SPACE DIMENSIONS
Remark. What we have done until this point is the local construction of singular-
ities of generalized solutions or weak solutions. The next problem is to consider the
global behavior of singularities. This subject has been considered in several cases.
For single conservation laws, see D.G. Schaeffer [1201 for n = 1 and B. Gaveau 156)
for n = 2 where n is the space dimension.
Chapter 7
Equations of Conservation Law
without Convexity Condition
in One Space Dimension
§7.1. Introduction
We consider the Cauchy problem for an equation of the conservation law in one
space dimension as follows:
in {t>O,xER'}, (7.1)
In the Cauchy problem (7.1)-(7.2), we assume in this section that the initial data
= is given by
=
(a x<0 (7.3)
(b, x>O,
where a and b are constants with a b. The Cauchy problem (7.1)-(7.2) with the
initial data (7.3) is called "R.iemann problem." In this case, characteristic curves
are written as
x=x(t (y+tf'(a), y<O, (7.4)
I y+tf'(b), y>O,
a, y<O,
v =v(t,y)={ (7.5)
b, >0.
Assume that f'(b) — f'(a) > 0. Then the domain D {(t,x) tf'(a) <x <
:
tf'(b)} is not covered by the family of characteristic curves (7.4). In the domain D,
we look for a solution u = u(i,x) of the form u(t,x) = r(x/t). Then the function
r = r(p) (p = x/t) satisfies
Ou
+
8 x , 1,x = 0.
= + I (r)]—r
a, x < tf'(a),
u(t,x) r(x/t), (t,x) E D, (7.7)
1
b, x <tf'(b).
The solution defined by u = r(x/i) in the domain D is called "rarefaction
wave." The solution (7.7) is continuous in {i > 0}, but it has jump discontinuity
at (t,x) = (0,0).
Next we consider the case where f'(a) — f'(b) > 0. Then the domain R
{(t, x) tf'(b) < x < tf'(a)} is covered two times by the family of characteristic
§7.2. RAREFACTION WAVES AND CONTACT DISCONTINUITY 69
curves (7.4). As we look for a single-valued solution, we repeat the same discussions
as in §5.3. Let x = -y(t) be the solution of the following differential equation:
— f(b)—f(a)
dt — b—a ' (7.8)
{ = 0.
Then we get easily -y(t) = {f(b) — f(a)}t/(b — a). Here we define a weak solution
u = u(t,x) of (7.1)-(7.2) in the domain R by
Ia,
x = -y(t) satisfies the entropy condition (5.13), then this singularity is just
"shock." But, if f = 1(u) is not convex, the inequality (5.13) is sometimes vio-
lated. In this case we use "contact discontinuity" which we will explain from now.
0 b C Li
Figure 7.1
Assume that a > b, and that the entropy condition (5.13) is not satisfied. Sup-
pose that the graph off = f(u) is drawn as in Figure 7.1. We draw tangent lines
L passing the points (b,f(b)) and (a,f(a)), respectively. Let L and
be tangent to the curve f = 1(u) at (c,f(c)) and (d,f(d)), respectively. See Figure
7.1. Then the slopes of L and are equal to f'(c) and f'(d), respectively. We
denote {(t,x) x = f'(d)i, t 0} and C'
: {(t,x) : x = f'(c)t, t 0}.
70 7. CONSERVATION LAW WITHOUT CONVEXITY CONDITION
Put ci {(t,x) f'(c)t < x < f'(d)t, t > O} which is contained in R. The bound-
:
ary äf is equal to U C—. The shock curve x = comes into the domain ci.
We assume here that f'(u) is monotonously decreasing on [d, ci. For any (t, x) E ci,
we can pick up a value v E [d,c] f'(v) = s/t. If we use the function
r = r(p) introduced in the definition of rarefaction wave, we have v = r(x/t). We
define a weak solution u = u(i,z) of (7.1) in the domain R as follows:
Though the solution u = u(t, x) has jump discontinuity along the curves
and C, it satisfies the entropy condition (5.13). As in the above example, a
shock whose speed equals the characteristic speed of one side is called a "contact
discontinuity."
Before giving an example, we explain the reason why we consider "contact discon-
tinuity." The propagation of singularities for equations of conservation law without
convexity condition has been studied, for example, by D.P. Ballou [9], J. Gucken-
heimer [59], and G. Jennings [78]. Their method is to construct locally the singular-
ities of weak solutions for the Cauchy problem (7.1)-(7.2) where the initial data are
"piecewise smooth." That is to say, though they started from the "smooth" initial
data (especially in [59] and [78]), they solved essentially the Riemann problem for
(7.1)-(7.2). Though the initial data are smooth in their discussion, a
rarefaction wave appears in the solution of the Cauchy problem (7.1)-(7.2). Let us
recall that the rarefaction wave has been introduced to construct a solution in a
region which is not covered by the family of characteristic curves. Therefore our
first question is whether or not we need to use rarefaction waves for solving the
Cauchy problem (7.1)-(7.2) with the smooth initial data. A typical phenomenon
which does not appear for convex equations is "contact discontinuity" introduced in
§7.2. See Figure 7.1 which explains the situation. Our second question is whether
or not the situation in Figure 7.1 would surely happen even for the Cauchy prob-
lem (7.1)-(7.2) with the smooth initial data. In answer to the above two questions,
§7.3. AN EXAMPLE OF AN EQUATION OF THE CONSEftVATION LAW
we will consider the following example: Assume that the graphs of f = 1(u) and
= are drawn as in Figure 7.2 (i) and Figure 7.3 (i), respectively. The graphs
of their derivatives appear in Figure 7.2 (ii)-(iii) and Figure (ii).
a1 0
U
F,
b2
/71 b1
U
F"
F'' =
45
> b2,
x = x(t, y) = y + v = v(i, y) =
We = f
set h(y) def (y), and assume that the graph of h = h(y) is drawn as
in Figure 7.4. Next, take A1 = (y1,h(y1)) (i = 1,2) where h(y1) <0 and h'(y1) = 0.
Then we have at A1
> 0 and <0,
74 7. CONSERVATION LAW WITHOUT CONVEXITY CONDITION
and at A2
<0 and f"(4'(y2)) > 0.
A2
A
Figure 7.4
In this section we will extend the shock S1 for large t. To explain the situation, we
repeat briefly how we have constructed the shock Si. As the graph of x =
for t > t1 is drawn as in Figure 4.1, we use the same notations appeared there.
Solving the equation x = x(t,y) with respect to y for x E (x1(t),x2(t)), we get
three solutions y = g(t,x) (i = 1,2,3) with gj(t,x) < < g3(t,x). As
v(t,y) = for all (t,y) ER2, we define u1(t,x) (i = 1,2,3). Then
we have by Lemma 5.2
Here we must pay attention to the order of this inequality which is contrary to the
one given in Lemma 5.2. This is caused by the property that is negative,
while it is positive in Lemma 5.2.
As in §5.2, we consider the Rankine-Hugoniot jump condition as follows:
( dx — f(ui(t,x)) — f(u3(t,x))
dt — u1(t,z) — u3(t,x) ' (7.12)
I. x(ti)=Xj.
Proposition 5.5 says that the Cauchy problem (7.12) has a unique solution x =
which is the shock curve of S1. To extend the shock Sj, we must see the behavior
of = (i = 1,3). We put uj(t) u(t,-y1(t) ± 0). Then
= us(t, yj(t)) and u_(t) = uj(t,71(t)).
Lemma 7.1. As long as the entropy condition for S1 is satisfied, the function
t gj(t,-y1(t)) is decreasing and t gs(t,-y1(t)) is increasing.
x= x) + x))) (i = 1,2,3).
0= + f'(çi(g1)) ÷
and
1 = 0g1{1 +
x) = x) (i = 1,2,3) (7.13)
which leads us to
Here we recall
= > u1(i, -11(t)) = u_(t).
= f'(u_(t))
76 7. CONSERVATION LAW WITHOUT CONVEXITY CONDITION
and
f'(us(t,1'j(t))) =
Since > 0 for i = 1 and i = 3, we get
and
dll(T) = (7.14)
d
—u÷(t)
di t=T
i—+ Ous&yi
= FOILs
101 OrOl
=
— = 0. (7.15)
§7.5. BEHAVIOR OF THE SHOCK S2 77
= —
This leads us to
— fl(u_(T))J
= — u_(T)
Here we recall that the starting point of the shock S1 is the point (t1, X1). Therefore
it follows that qS'(Yj) >0, u4.(t) —u_(t) >0 and (Ogi/ôx)(t,x) >0. Hence we get
(&yi/dt2)(T) > 0.
Part ii is easily obtained by (7.15). 0
By Lemma 7.2, we have
> t > T.
This implies that the entropy condition is satisfied. Summing up the above results,
we have the following.
Proposition 7.3. The shock S1 starting from the point (t1, X1) always satisfies
the entropy condition.
In this section we extend the shock S2 which has appeared at the point (t2,X2).
The graph of x = x(t,y) for t > t2 can be drawn as in Figure 4.1. Though
x = x(t,y) in this section is different from x = x(t,y) in §4.2 and §7.4, we use
the same notations introduced there. As in §7.4, we solve the Cauchy problem
(7.12) with the initial condition x(t2) = X2, and denote the solution by r = '72(t).
We write here also = u(t,72(t) ± 0); that is to say, =
and u_(t) = Put = The shock S2 satisfies
the entropy condition (5.13) for t > t2 where t — t2 is small. In this case, as
78 7. CONSERVATION LAW WITHOUT CONVEXITY CONDITION
> 0, (5.13) says that the graph of f = f(u) lies entirely in the lower side
of the chord
The proof is almost the same as that of Lemma 7.2. By this lemma, we get the
following:
This proposition means that the entropy condition is violated for t > T. To
overcome this point, we use "contact discontinuity" explained in
F.
V Li Li
Figure 7.5
§7.5. BEHAVIOR OF THE SHOCK S2
u>v. (7.16)
We solve the equation (7.16) with respect to v, and denote the solution by v =
h(u). See Figure 7.5. To construct a contact discontinuity starting at the point
(t,x) = (T,-yz(T)), we solve the Cauchy problem as follows:
( dx
=
(7.17)
x(T) = 72(T).
t
x 72(t)
Figure 7.6
points are on the initial line {t = O}, we introduce a family of characteristic lines
which start from the curve i.e., we construct the "contact discontinuity." For
any point E we first define by where Next
— ..- — deC .
we determine u.k. = u+(t,x) by = h(u_) and draw a characteristic line which
passes through the point (t , as follows:
On the characteristic line, we define the value of the solution u = u(t, s) by u(t, x) =
As the family of the above characteristic lines covers the domain W, the weak
solution u = u(t, x) is completely defined on the domain W. It would be obvious
that the entropy condition is satisfied (see Figure 7.7).
T))
(T.y (T))
Figure 7.7
Repeating the above discussions, we can extend further the weak solution of
non-convex conservation law (7.1). What we would like to insist in the above
construction is that we did not use "rarefaction waves."
Example. For the Cauchy problem (7.1)-(7.2), we assume that the initial function
= 4S(x) is of a form as shown in Figure 7.8, and that it satisfies max > b2
§7.5. BEHAVIOR OF THE SHOCK 52
and mm 4'(x) < Then, after the collision of two shocks, we will arrive at the
situation in Figure 7.1 (see §7.2).
Figure 7.8
Remark. Recently, S. Izumiya [73] and S. Izumiya & G.T. Kossioris [75]-[761 are s-
tudying geometric singularities of generalized solutions of general partial differential
equations of first-order in the framework of "Legendrian unfoldings." Concerning
the propagation of singularities for non-convex first-order partial differential equa-
tions, the results of [76] would be the best at today's point.
Chapter 8
Differential Inequalities
of Haar Type
§8.1. Introduction
The theory of ordinary differential inequalities was originated by Chaplygin [30]
and Kainke 181] and then developed by [1571. Its main applications to
the Cauchy problem for (ordinary) differential equations concern questions such as:
estimates of solutions and of their existence intervals, estimates of the difference
between two solutions, criteria of uniqueness and of continuous dependence on
initial data and right sides of equations for solutions, Chaplygin's method and
approximation of solutions, etc. Results in this direction were also extended to
(absolutely continuous) solutions of the Cauchy problem for countable systems of
differential equations satisfying Carathéodory's conditions. We refer to Szarski [128]
for a systematic study of such subjects.
As for the theory of partial differential inequalities, first achievements were
obtained by Haar [61], Nagumo [107], and then by Wniewski [154]. Up to now the
theory has attracted a great deal of attention. (The reader is referred to Deimling
[40], Lakshmikantham and Leela 196], Szarski (128), and Walter [153]. In particular,
he is referred to [24]-[27] and the references therein for recent results in functional
setting.) We emphasize here that one of its applications to the Cauchy problem
for first-order partial differential equations, videlicet the uniqueness
criterion formulated in Theorem 1.8, is just for classical solutions and may only be
used locally. (For more details, see the introductory comments in the next section.)
The present chapter provides a new method, based on the theory of multifunctions
and differential inclusions, to investigate the uniqueness problem. This method
allows us to deal with global solutions, the condition on whose smoothness is relaxed
significantly. As we shall show more concretely in Chapter 11, the equations to be
considered satisfy certain conditions somewhat like Carathéodory's, and their global
semiclassical solutions need only be absolutely continuous in time variable.
§8.1. INTRODUCTION 83
ciT
The notation 0/Ox will denote the gradient (0/On... Let .j and (.,.)
be the Eucidean norm and scalar product in R", respectively.
Denote by Lip(ciT) the set of all locally Lipschitz continuous functions u =
u(t,x) defined on QT. F'ürther, set Lip([0,T) x x R").
For every function u = u(t, x) defined on cii', we put
First, several comments are called for in connection with the classical uniqueness
Theorem 1.8, whose proof is essentially based on Theorem 1.6 or Haar's
Theorem 1.5. Our comments will concern the Cauchy problem in the large for a
general first-order partial differential equation as follows:
If(t,x,u,p) — — qd + — UI (8.3)
where
0<ai<a2<T, (i=1,2,...,n),
so that Theorem 1.6 can simultaneously work therein. The reason is that the re-
lat ions between L1,. . , and. are bilateral and somehow awkward. In fact,
L1,. . , . are to some extent overdetermined by Specifically, for each applica-
tion of the theorem in such a procedure, must be ready-given. Thus, by (8.4), a
§8.2. A DIFFERENTIAL INEQUALITY OF HAAR TYPE 85
Therefore, L1,. . . are necessarily Lipschitz constants with respect to ps,... , Pvi
,
of the function f = f(i, x, u,p) restricted to x K. But these constants might un-
fortunately become large, say, substantially greater than the above-predetermined
values L1 So we would reduce and hence possibly fail to touch the by-
perplane {t = 0, x E in such a procedure emanating from a point (t°, x°) E
All the preceding remarks suggest that we should make an attempt to develop
the theory of first-order partial differential equations. The aim of this section is to
prove the following, which is in fact a generalization of Theorems 1.5 and 1.6. (We
put off discussing its applications to the uniqueness problem to §8.3 and Chapter
11.)
where
T
C(x) (Ip(y)I : (1 + xI)exPf £(r)dr — i}. (8.7)
Remark 1. Inequalities (1.14) and (1.16) are usually referred to as Haar's dif-
ferential ones (see [128, Corollary 37.1]). Therefore, we would like to call (8.5) "a
differential inequality of Haar type."
Let J C [0, 1J be the Cantor set, i.e., the set of all numbers of the form
(8.8)
where each ek is either 0 or 2. The set J is complete, nowhere dense on R1, and is
of Lebesgue measure 0 (see [42J).
We define a function w = w(t), which is called the Cantor ladder, or the Cantor
function [53, p. 381, in the following way. For t E J given by (8.8), we take
+00
def
w(t) def
= k
where =
0 V(t,x) ((0,1)\J) x
The function u = u(t, x) thereby satisfies all the conditions of Theorem 8.1 except
for the Lipschitz continuity. This explains why (8.6) does not hold: u(t,x) 0.
Proof of Theorem 8.1. For an arbitrary point (t°,x°) E we must prove that
Iu(t°,x°)I exp
[C(x0)ft £(t)dt] sup u(0,y)[. (8.9)
o
Ivt(1+Ie°I)exp
xI<r},r 0. DenotebyE,(t°,x°)thesetof
all absolutely continuous functions x = x(t) from I [0, into which satisfy
almost everywhere in I the differential inclusion subject to
the constraint x(t°) = x0.
From [29, Theorem VI-13], it follows that Ej(t°, x°) is a nonempty compact set
in The sets Z(t,t°,x°) {x(t) x(.) E Ej(t°,x°)} and I'(t°,x°)
:
Then according to the maximum theorem (see [8, Theorem 1.4.16]), the fact that
u = u(t,x) is continuous on r(t°,x°) implies that g = g(t) is continuous on I. In
addition, we have:
Lemma 8.2. For an arbitrarij number 9 E (0, t°), the function g = g(t) is absolutely
Contznuou3 on [9,t0].
Z(t,t°,s°) C . (8.10)
The function rn,7 = rn,7(t) is absolutely continuous, positive on I with the derivative
dm,7(t)/dt = —i(t). (i + rn,,(t)). To prove (8.10) we have only to show that
Ix(t)I <m,,(t) Vt E I
and
drn,7(t)/dt = . (1 + m,7(t)) . (i + Ix(t)I)
<dlx(t)I/dt
almost everywhere in (t',t°). On the other hand,
[0
>
88 8. IMFPERENTIAL INEQUALITIES OP HAAR TYPE
if and only if
By the absolute continuity of the Lebesgue integral, Lemma 8.2 will be proved
if we can show that
Vt',t2 E [8,t°].
Now let
g(t') g(t2) and g(t') = Iu(i', x(t1))I
for some x = x(t) in Ei(t°,z°). Since x(t2) E Z(t2,t°,x°), we have
Therefore, (8.12) follows from Lemma 8.3. The proof is then complete. 0
Going back to the proof of Theorem 8.1, we set now
for t€(0,Tj.
By Lemma 8.3 and the definition of g = g(t), the inequality (8.9) will be obtained
if we show that
mes(w(Gn(9,t0j)) =0 VO€(o,t°),
def
where C = C1 U C2. So
Let
:
for some E Z(t.,t°,x°). Then one may find a function x = x(t) in Ej(t°,x°)
so that x(t.) = Choose a unit vector e E with
(e,e = — . (8.16)
x(t) E Z(t,t°,x°) Vt E
This implies
[C(x°)+q] .
§8.3. UNIQUENESS OF GLOBAL CLASSICAL SOLUTIONS
[e u(t, x(t))]
Consequently,
Ou /dx i9u
e
[C(x°)+v7] .g,1(i.).
Hence,
Ou
x.) + £(t.)(1 + Ix.I)
/ •
Ou
x.)
•
Because 0 and A > 0, the last inequality together with (8.16) implies
Therefore, the formula (8.7) gives C(x°) lp(x.)l, which shows that (8.19) con-
tradicts (8.5). It follows that there exists no t' E [0,t°] with w(t') < w(0). Thus,
w(O) > 0 for all t [0,t°]; the inequality (8.14) is thereby proved. This
completes the proof of Theorem 8.1. 0
partial differential equations of first-order, namely the problem (8.1 )-(8.2). Even
in this "classical case," using the a priori estimate (8.6)-(8.7) of Theorem 8.1, we
find some new uniqueness criteria (posed on the Hamiltonian I = f(t,x,u,p)) for
global C' -solutions of (8.1)-(8.2). Let us first repeat the definition of solutions to
be considered.
As was shown in the introductory comments of §8.2, for the uniqueness of global
C'-solutions, the following result may be invoked instead of Theorem 1.8.
for all (i,x) E Now it follows from Theorem 8.1 that u(t,x) 0 in This
proves the theorem. 0
The next sharpening (and its corollary) of Theorem 8.4 will give some useful
uniqueness criteria for global C' -solutions with bounded derivatives.
: 0<t<T', xEXb}.
Obviously, P1 C P2 C ... c ... and = Next, take
def I
if xE X',
p(x) (8.24)
if xE Xk+1\Xk (fork = 1,2...).
=
It follows that p = p(x) is locally bounded on Moreover, (8.21)-(8.24) together
with the hypothesis of the theorem imply
x) x) x) — u2(t, x)l
(We may check this inequality first for (t,x) in P1, and then for (t,x) in each
Theorem 8.1 therefore shows that u(t,x) 0 in IZT.. Since T' (0,T)
is arbitrarily chosen, the conclusion follows. 0
94 8. DIFFERENTIAL INEQUALITIES OF HAAR TYPE
zsfinite and continuous on (0, TJ x I/ui = ui(t, x) and u2 = u2(t, x) are global
C'-solutzons to the Cauchy problem (8.1)-(8.2) with
°uj
sup —(t,x) < +oo (j = 1,2),
(t,z)EUT
is continuous, and hence locally bounded on RTh. It is easy to check that (8.20)
with LK3 and K2(x) in place of L and M, respectively, holds for any (t,x,u,p),
(t, x, v, q) E 11r x K1 x 1C2. The corollary thereby follows from Theorem 8.5. 0
We conclude this section with the following result of continuous dependence
on initial data for global C1-solutions. (Here the continuity is with respect to the
topology of uniform convergence on compact sets.)
u,(0,x)=cb1(x) on {t=0,
where = = 1,2) are given functions of class C° on Then
We now examine how the case of systems of first-order partial differential inequal-
ities or equations can be treated by the preceding method. Let m be a positive
integer. Consider the class
x x V(I1T).
,n time,
from 11r C into Rm such that u5 = u'(t, x) belongs to V(flT) for every
jE{1,...,m}.
First, the following result may be proved in much the same way as Theorem 8.1.
max
for t E I, where
It follows from Lemma 8.2 that for any number 6 E (0, t°) each function g" =
is absolutely continuous on [6, t°] and so is the function g = g(t). Moreover, they
are all continuous on the whole I. Still as in the proof of Theorem 8.1, we see
that (8.26) will be obtained if we can show that (8.13) holds. To this end, setting
def
w(t) = g,,(t) — g(t), with q > 0 temporarily fixed and
we need only claim that c1i(t) w(0) (= rj > 0) for t E I. On the contrary, suppose
that there exists t' E (O,t°] with w(t') <w(O).
By the hypothesis of the theorem, one finds a set G2 C (0, T) of Lebesgue
measure 0 such that
fZT\(G2 x C (8.29)
and that (8.25) is satisfied for any t E (0, T)\G2, x E From the above, it follows
that (8.15) still holds where G G1 U G2; hence, there is a number A with
Now take
(0,T)\G 3 {t E (0,t'] w(t) = A}
= — (8.31)
u,(t, x(t)) Iu,(t, z(t))I < g(t) = g,1(t) — w(t) < g,,(t) — A
S8.4. GENERALIZATIONS TO WEAKLY-COUPLED SYSTEMS 97
Consequently,
[e u,(t,x(t))}
This would give
Remark. Theorem 8.8 can be used to investigate the stability of global solutions
to the Cauchy problem for weakly-coupled systems, i.e., systems of first-order partial
differential equations of the form
thz,/Ot+f5(t,x,u,Ou,/ox) =0 (j = l,...,rn)
in aT. These systems are of special hyperbolic type because each equation contains
first-order derivatives of only one unknown function. Since (classical) solutions of
elliptic equations do not depend continuously (with respect to the topology of uni-
form convergence on compact sets) on initial data, theorems of the non-stationary
type that we have studied in this chapter cannot be expected to apply to partial
differential equations or inequalities of effiptic type. [First results on second-order
partial differential inequalities of parabolic and hyperbolic types were obtained by
Naguino and Simoda [108] and Westphal 1158].]
For our next discussions, we need to extend the notion of comparison equations
given in Szarski 11281 to the Carathéodory case. Consider an ordinary differential
equation
= p(t,w), (8.32)
where the function p = p(t, w) is defined on (0, +oc) x [0, +oo) = {(t, w)
2 > 0, u' 0}. The following Carathhodory conditions are always assumed.
(1) For almost every t E (0, +oo) the function [0, -I-cc) u' p(t, w) is continuous.
(2) For each w E [0, +oo) the function (0, +cc) 2 p(t, w) is measurable.
98 8. DIFFERENTIAL INEQUALITIES OF HAAR TYPE
(3) For any r E (0, +oo) there exists a function m,. = mr(t) in +oo) with
m,.(t) Vw E I0,r]
is a comparison equation. In fact, assume the contrary that (8.33) admits a nonzero
solution w = w(t) on some interval (0,7) with limw(t) = 0. Letting w(0) 0,
from this we easily find a nonempty subinterval (t1 , t2) of (0, such that w(t') = 0
and w(t) > 0 for all t E (t1,t2]. It follows that
dv
I
a(v)
=I o(w(t))
dt = I £(t)dt < +m,
Jo
Proposition 8.9. Let c = c(w) be of cla8s C[O, +oo), and £ = 1(t) 0 be Lebesgue
+00
integrable on each bounded interval (O,i') C R with f0 £(t)dt = +00.
(i) If (8.33) is a comparison equation, then so is the equation
= a(w). (8.34)
(ii) Conversely, under the condition essinf 1(t) > 0, if moreover (8.34) is a corn-
IE (0.+oo)
parison equation, then so is (8.33).
Proof. (i) Let w1 = w'(t) be a solution of (8.34) on some interval (O,.y1) with
urn w1 (t) = 0. Find a number .72 > 0 such that
1-30
72
Now take
I p(t,max{0,g(t)}) if t2 < t < t°, w max{0,g(t)},
p(t,w) def
= (8.37)
if t2 <t <to, 0 w <max{0,g(t)}.
Assume (8.38) is false. Then one would find a nonempty interval (t4, t5) C (t3, t1)
such that
w(t) > g(t) Vt E (t4,t5), (8.39)
with
w(t5) = g(t5). (8.40)
It follows from (8.36)-(8.37) and (8.39) that g'(t) < p(t,g(t)) = j5(t,w(t)) = w'(t)
almost everywhere in (t4,t5). Thus (8.40) implies that g(t) w(t) for all t E (t4,t5),
which contradicts (8.39). So (8.38) must hold.
We proceed to show that t3 = i2. In fact, if (0 <)t2 < t3, then (8.37) together
with Carathéodory's condition (3), where r max{g(t) t E It3, t']}, proves that
:
the limit lim w(t) exists and is finite. Hence, w = w(t) could be extended (as a
solution of (8.32) with /3 in place of p) over an interval (t6,t'J J [t5,t'], which is
impossible.
Finally, (8.37)-(8.38) shows that w = w(t) is indeed a solution through (t1,w1)
of (8.32) on (t2,t1] with lim w(t) = g(t2) = 0. Setting w(t) fort E [0,i2}, we
obtain a nonzero solution of (8.32) on (0,t') which tends to 0 as t goes to 0. Thus
we arrive at a contradiction. This completes the proof. 0
We can now combine the method of §8.2 with the technique of Carathéodory
comparison equations and prove the following.
Ou,(t, x)/OtI £(t)(1 + IxI) . Ou,(t, x)/OzI +p(t, Iuk(t, x)I) (j = 1,..., m)
(8.41)
§8.4. GENERALIZATIONS TO WEAKLY-COUPLED SYSTEMS 101
Proof. For an arbitrary point (t°, x°) E 11T, it suffices to prove that
Moreover,
x(t) Z(t,t°,x°) Vt E [0,t.].
This together with (8.27)-(8.28) implies
e u'(t, x(t)) Iuj(t, x(i))I < g1(t) < g(i) for all t (0, t.). (8.45)
g'(t.) (Ou,(t.,x,)/Ot) +
— £(t,)(1 + ix.l) lOu,(t.,x.)/OxI
Iuk(ts,x.)I) = p(t., u,(t.,x.)I) = p(t,,g(t.)).
(j = 1,...,m) for almost every t E (O,T) and for alix E then u,(t,x) 0 in
QT (j =
Proof. For an arbitrary point (t°, x°) E it suffices to prove (8.42). Let us
continue using the method (and notations) introduced in the proof of Theorem
8.11. We may extend the function £ = 1(t) over the whole (0, +oo) and assume
essinf 1(t) > 0. Then by (8.47) [instead of (8.41)1 we get
[instead of (8.43)1 for some positive constant C. By Proposition 8.9(ü), the Carathé-
odory differential equation
WI = C1(t)c(w)
The aim of this chapter is to present some formulas for explicit global solutions of
the Cauchy problem for Hamilton-Jacobi equations of the form
u(0,x) = on {i = 0, x (9.2)
According to Theorem 1.4, the Cauchy problem (9.l)-(9.2) has locally a unique
C2-solution if the Hamiltonian f = f(t,p) and initial function = are of class
C2. However, there is generally no hope to find a global classical solution; there-
fore, one needs to introduce a notion of generalized solutions and to develop theory
and methods for constructing these solutions. (For this, cf. Chapters 4-7.) During
the past five decades, many mathematicians have obtained various global results
by relaxing the smoothness conditions on the solutions. In particular, the glob-
al existence and uniqueness of (generalized) solutions for convex Hamilton-Jacobi
equations were well-studied by several approaches (see §4.3 for the uniqueness of
such a solution).
if the Hanultonian I = 1(p) is continuous and if the initial function =
is globally Lipschitz continuous and convex with the Fenchel conjugate =
E. Hopf [64] proved in 1965 that the formula
If the Haniiltonian f = f(p) is strictly convex with lim f(p)/)p) = +oo and
if the initial function = çb(x) is globally Lipschitz continuous, E. Hopf [64] also
established the following formula for a (generalized) solution of (9.1)-(9.2):
The above formulas are often associated with the name of Hopf, although (9.4)
was actually first discovered for n = 1 by P.D. Lax [971 in 1957.
Step by step, certain more general cases of Hopf's formula (9.3) will thoroughly
be dealt with in this chapter under a standing hypothesis like (but somewhat more
strict than) Carathéodory's condition on the Hamiltonian I = f(t,p). Section
§9.2 concerns the case of convex (but not necessarily globally Lipschitz continuous)
initial data. In Section §9.3 we consider the Cauchy problem with nonconvex initial
data: first for the case where qS = can be represented as the minimum of a
family of convex functions, and second for the case where = 4(x) is a d.c. function
(i.e., it can be represented as the difference of two convex functions). Finally,
Section §9.4 discusses Hopf's formula (9.4) in case = is just continuous.
Most of the results presented here were originally published in [1421-[145] and
[1521. (For other results in the field, see for example [l1]-[12], [21], [33], [52], [100),
and [124).) Our method is based on some techniques of multifunctions and convex
functions. The relevant material on these subjects from [8] and [117] (without
proofs) can be found in Appendix II given at the end of the book. This makes our
exposition self-contained.
We shall continue using the notation of Chapter 8. Moreover, in accordance with
Chapter 2, when T = +00, we use both V and to denote the set {0 < t <
+00, x Further, for any G C R, put Va ((0,+oo)\G) x = {(t,x)
V t
: G}. Consequently, V = V0. Let us recall that Lip([0, T) x
fl CoO, T) x R"); accordingly, = Lip(D) fl C(D), where Lip(V) is
the set of all locally Lipschitz continuous functions u = u(t, x) defined on V =
In this section we consider the Cauchy problem (9.1)-(9.2), with = ti(x) a finite
convex function on Denote by = the Fenchel conjugate function of
for pER",
(E.II) For every bounded subset V of there exists a positive number N(V) so
that
(p,x) —
— j I (r,p)dr <
—
— f f(r,q)dr} (9.5)
(E.II)' For every (t°,x°) there exist positive numbers r(t°,x°) and N(t°,x°)
so that
in {t>O, xER},
= u(t, s) (9.8)
— 2(t— 1)
in {O <t < 1, x R}. This solution can not be extended continuously beyond
the time t = 1. We should note that in this case the set of all (j0, x°) E V such
that (9.5') holds for some r(t°,x°) > 0 and N(t°,x°) > 0 is precisely the domain
(0 2 < 1, x E R}. Moreover, if we try to apply Hopf's formula (9.3), ignoring the
fact that the initial function here, = x2/2, is not globally Lipschitz continuous,
then we also obtain the same solution as (9.8) in (0 2 < 1, x E R}.
§9.2. THE CAUCHY PROBLEM WITH CONVEX INITIAL DATA
(E.II)" For any E R and any bounded subset V of there exists a positive
number N(A, V) so that (t, x) V, > N(A, V).
deC o
= rnf
.
)> —00
p(t,x,p) <Ay
f(t,p) def
7) deC
and = x
= ]t — 1p1/2
u=u(t,x) def
= x—2—21t—1l 1/2 sign(t-. 1),
108 9. HOPF'S FORMULAS FOR GLOBAL SOLUTIONS
inf sup + —
e>0 O<ö(t
inf + — }.
e>O O<6<e
Ii—.I<.
The quantities and are called, respectively, the upper and lower
Dliii semiderivatives of (' = at the point in the direction e. if +oo >
= > —oo for all e E Rm, then (' = is said to be directionally
differentiable at and will be called its derivative
at in the direction e. It can be shown that, when = is Lipschitz continuous
near its upper and lower Dim semiderivatives may also be defined equivalently
by
—
5,1.0
and
lii + 5e) — },
respectively.
= max 0, e E R)
pEL(t)
where
{p E : = C E. (9.9)
Lemma 9.3. Let Condition (i) in Lemma 9.2 hold for a given function w =
which we assume to be continuous in 0 (whenever p E E) and upper
semicont,nuotzs with respect to the whole on 0 x R". Then (9.9) determines
a nonempty-valued, closed and locally bounded multifunction L = of E 0.
— — A. —
+ ake) —
= lim
and
lim
sup
Now choose an element E for each k = 1,2 Since the multifunc-
tion L = is closed and locally bounded (Lemma 9.3), by taking a subsequence
if necessary, we can assume that p° Therefore, a passage to the
limit (similar to the above) in the inequality
= = max
pEL(C )
L(i,x) d.f
= {p E E : = u(t,z)}
at any point (t,x) V\Q. Hence, (9.14)-(9.15) show that the equalities (for 1
From what has already been proved, we conclude that u u(t, x) is a global
solution of (9.1)-(9.2). 0
Remark. By the proof of Theorem 9.1, all partial derivatives of the global solution
u = u(t, x) exist [(9.1) is then satisfied though the solution may fail to be differ-
entiable] at a given point (t°, x°) E D0 if L(t°, x°) is just a singleton. We shall
investigate the smoothness of u = u(i, x) in greater detail in
del
Proof. Only (E.II) needs verifying. Given any r (O,+oo), denote V,. = {(t,x) E
f(r,p)dr
(9.16)
— 4*(p) — ts,.(1 + lVI) < r(l + 21s,.l) max{1, —
for all (t,x) E V,., p On the other hand, it being known (cf. Remark 2 of
Lemma 9.13 later) that urn = +00, there exists a number N,. 1 such
that r(1 + 2ls,.I) + 1 whenever N,.. Thus, (9.16) implies
In this section we consider the Cauchy problem (9.1)-(9.2) under the more general
assumptions that I = f(t, p) is still t-measurable and p-continuous as in §9.2, while
= 4(x) is now a d.c. function, i.e., the difference of two finite convex functions
on R". The class of d.c. functions plays an important role in the theory
of global optimization. This class is rather large: It contains all the semiconvex
9. HOPP'S FORMULAS FOR GLOBAL SOLUTIONS
Theorem 9.6. Let I be an arbitrary nonempty set and let Ua = ua(t, x) be a global
solution of the Cauchy problem for the same Hamilton-Jacobi equation
u(O,x) = on {t = 0, x E (9.2a)
for each a E I. Suppose that to each bounded subset V of 1) there correspond a set
W(V) C V of Lebesgue measure 0, a nonnegative number M(V), and a subset J(V)
of I such that all the functions Ua = ua(t, x) for a E J(V) are Lipschitz continuous
in V unth a common Lzpschitz constant M(V) and satisfy (9.1) at every point of
V\W(V) and that infua(t,z) = mm for (t,x) E V. Then the function
aEI aEJ(V)
u = u(t,x) infua(t,x) is a global solution of the Cauchy problem (9.1)-(9.2)
aEJ
where
aEI
Proof. By assumption, u(t, x) = mm ua(t, r) on each bounded subset V of
aEJ( V)
Moreover, Iua(t',Z1) — Ua(t2,X2)I < M(V) .(It' — + Ix' — x2[) for any a E J(V)
and any fixed (t',x'), (t2,x2) V. Assume u(t',x1) 2 u(t2,z2) = u0o(t2,x2) for
some a° E J(V). Then
Indeed, given any (t°, x°) V\Q, we choose a positive integer k > t° + x°l and
some index a0 E Jk so that u(t°,r°) = Obviously,
for all (t,x) close enough to (t°,x°). Since u = u(t,x) and UaO = Uao(t,X) are both
differentiable at (t°, x°), (9.17) implies
of those problems. Then u = u(t, x) in! ua(t, r) is a global solution of the Cauchy
aEI
problem (9.1)-(9.2) where 4, = 4,(x) is defined by (9.18).
u(t,x) 1iE k}
{(p,z) — g5(p) — jf(r,p)dr} for (t,x) €
116 9. HOPF'S FORMULAS FOR GLOBAL SOLUTIONS
We now consider the Cauchy problem (9.1)-(9.2) in the main case of this section
where 4, = 4i(x) belongs to the class DC(RTh); i.e., it has a representation of the
form
4,(x)woi(x)—o2(x) on (9.19)
for some finite convex functions = oi(x) and 02 = 02(X). We call (9.19) a d.c.
representation of 4, = 4,(x). (Of course, there are always an infinite number of
such representations for each d.c. function 4, = cb(x).) The notations =
o(p) will signify the Fenchel conjugate functions of = 01(x) and
02 = a3(z). The effective domains of these conjugates are denoted by E1 and B2,
respectively.
Besides Hypothesis (E.I), we shall also assume the following ones.
Here,
'pa(t,X,p) (p,x) —
j f(r,p)dr. (9.20)
—
La(t,Z) {p E : = (9.21)
are actually single-valued in D\Q where Q is a certain closed set of ((n + 1)-
dimensional) Lebesgue measure 0 and is independent of a E
For strictly convex functions on R", see the proof of Lemma 9.13. The detailed
notion of the strict convexity of a function on a convex set may be found in Appendix
u(t,x) def
= . *
on —
D, (9.22)
aCE2 pER
u0(t',x') — u6(t2,x2) —
_x2)+f f(r,p6)dr
— + —
= o(a) + — a) (9.24)
pER'
aEE2 oEE2
= Ui(X) — max{(x,a) —
We first note that neither the formula (9.3) of Hopf nor the formula (9.7) of Theorem
9.1 works in this case since the initial function here is not convex. Though the
present Hasniltonian I = f(p) is in fact convex we should also mention that Hopf's
formula (9.4) could not be applied directly to the problem, because
lim =1 +00.
In this case, however, it is easy to check the validity of d.c. representation (9.19)
where
10 if x<0,
x3/3 if rE [0,1],
tx—2/3 if x>1
and a2 = a2(x) cr1(—x) are globally Lipschitz continuous on R. Further, we
may invoke either (E.IV)" or (E.IV)' to deduce that (E.IV) holds. Therefore, by
Corollary 9.10, a global solution u = u(t, x) of the problem can be found in the
form
we have seen, Theorem 9.9 and its Corollary concern the Cauchy problem
As
(9.1).(9.2) in case the initial function 4 = has a d.c. representation
— o2(x) such that is bounded in R't. The following will be devoted to
the case where dom o = R".
We shall continue using the notation Ua (t, z) introduced in the proof of Theorem
9.9. Let r E (0,+oo), v,. {(t,x) E V : t + ri < r}, sup
IzI<r
and .1.; g(r)Idr. Since lim = +00, to any M E (0,+oo) there
corresponds a number N,.,M 1 so that
a(a)+max{(p,x)
pElt
—o(p)} —rIal —8,.
—s,.
Hence (cf. Remark 2 after the formulation of Theorem 9.1), we may find a positive
number N,. for each r E (0, +oo) such that
(It should be noted that Ua(t, x) is lower semicontinuous in a on the whole IR't.)
Moreover, analysis similar to that in the proof of Theorem 9.9 shows that the
solutions = Ua(t, a,) satisfy a Lipschitz condition on V,. with constants depending
on r but independent of a for al N,.; and that they satisfy (9.1) except on a
common set of Lebesgue measure 0. The proof is thus complete in view of Theorem
9.6.
u(O,.r) = on {t = 0, xE (9.27)
(F.I) The initial function = cb(x) is of class C° and the Hamiltonian f = f(p) is
that
whenever (t,x) E V, > N(V). Here, f = f(z) denotes the Fenchel conjugate
function off = f(p).
Proof of Lemma 9.13. The strict convexity on of the function I = f(p) says
that this function is everywhere finite and that
for any p', p2 E RTh, .\ [0, 1]; the sign of equality holding if and only if p1 =
E p2 or
E {0, 1}. Accordingly, f = f(p) is continuous.
§9.4. EQUATIONS WITH CONVEX HAMILTONIANS f = f(p) 123
It will now take a simple matter to check that w = w(z,p) (z,p) — f(p)
def def def
satisfies all the conditions of Lemmas 9.2-9.3 where we put E = R , in = Ii, =
z, Rm = and shall deal with the function
def
i,b=i,b(z)=sup{w(z,p) : pER }=f(z).
•
Indeed, since lim = +00, Condition (i) of these Lemmas holds while the
IpI-'+oo
others are almost ready.
As f = f(p) is strictly convex, it can be verified that the snultifunction L = L(z)
defined by
: w(z,p)=f(z)}
is actually single-valued on the whole Therefore, by Part b of Lemma 9.2, all
the partial derivatives Of (z)/Oz, exist, and L(z) = {Of'(z)/Oz}. Property (9.30)
I
is thus coming from the definitions of f = (z) and L = L(z). Further, Lemma
9.3 and its Remark imply the continuity of Of */Oz = Of (z)/Oz. 0
Remark 1. Consider a convex and lower semicontinuous function I = 1(p) on
Assume domf 0 and imf C (—oo,+oo] (the function I = f(p) is then called
proper). It will be shown that
is essentially taken over all elements p of just a compact set C and hence
finite. Conversely, let there exist an M E R and nonzero points p1, p2,... in such
that f(p") MIp"I fork = 1,2,... and that -+ +00 ask —* +00. Since is
locally compact, we may suppose that z0 E Putting z (M + 1)z°,
we thus get
> lim
—
124 9. HOPF'S FORMULAS FOR GLOBAL SOLUTIONS
exist and are continuous on the whole V x moreover, one may apply Lemma
9.2 to the function =
•
= —((t,x,y) where p del
def del
= y, E = R and m =
def
and
urn (9.34)
for each fixed x0 E Indeed, on the one hand, the definition (9.29) clearly forces
u(t, z) + t . f'(O), hence
liinsup (9.35)
would yield
a contradiction. This shows that lim = x0. But the continuous function
k-H-co
= is bounded from below since again lim f(z)/IzI = +oo. Therefore,
IzI-4+oo
a passage to the limit as k -+ +00 also in (9.36) implies
Finally, combining (9.35) and (9.37) gives (9.34), which says that u = u(i,x)
has a (unique) continuous extension over the whole satisfying (9.27). The proof
is thus complete. 0
Remark. Assume (F.I). Then (Fl!) is satisfied if lim ((t,z, y) = +oo uniformly
Ivi-H-oo
in (t, x) on each bounded subset of V.
126 9. FORMULAS FOR GLOBAL SOLUTIONS
2 —AIyI whenever 2 N.
But we certainly find a positive number j with the property that
f(z)/jz[ 2(M + A) as IzI 2 ii.
Ill
.
Consider the Cauchy problem for the simplest Hamilton-Jacobi equation, namely,
Ou/Ot+f(Ou/Oz)=0 in {t>0,
In the previous chapter, a global solution of this problem was given by explicit
formulas in some cases a little more general than the following two of Hopf: (a) I =
f(p) convex (or concave) and 4> = 4>(x) largely arbitrary; and (b) 4> = 4(x) convex
(or concave) and f = 1(p) largely arbitrary. It is unlikely that such restrictions,
either on f = f(p) or on 4> = 4>(x), are really vital. A relevant solution is expected
to exist under much wider assumptions. According to Hopf [64], that he has been
unable to get further is doubtless due to a limitation in his approach: he uses the
Legendre transformation globally, and this global theory has been carried through
only in the case of convex (or concave) functions [Fenchel's theory of conjugate
convex (or concave) functions].
In the present chapter, we propose to examine a class of concave-convex func-
tions as a more general framework where the discussion of the global Legendre
transformation still makes sense. Hopf-type formulas for non-concave, non-convex
Hamilton-Jacobi equations can thereby be considered. The method here is a devel-
opment of that in Chapter 9, which involves the use of Lemmas 9.2-9.3 (and their
generalizations). It is essentially different from the methods in [64] and [111]. Also,
the class of concave-convex functions under our consideration is larger than that in
[111] since we do not assume the twice continuous differentiability condition on its
functions.
128 10. HOFF-TYPE FORMULAS FOR GLOBAL SOLUTIONS
Let us continue using the notation of Chapters 8-9. We shall often suppose
that n n1 + n3 and that the variables x, p R" are separated into two as
(x',x"), p (pS,ph?) with x', p' Rn', x", p" Accordingly, the zero-
vector in will be 0 = (0', 0"), where 0' and 0" stand for the zero-vectors in
and Rn2, respectively.
g(z) —
the interior of its effective domain, if this extended I = f(p) is proper, then
the Legendre conjugate (B, g) of (A, is well-defined. Moreover, B is a subset
of domf (namely the range of Of/öp), and g = g(z) is the restriction of the
Fenchel conjugate f = f(z) to B. (See 1117, Theorem 26.41; cf. also Lemma 9.13
in the previous chapter.) Chapter 9 has thereby proved an important role of the
global Legendre transformation in the global theory of first-order partial differential
equations.
For a class of C2-concave-convex functions, H.T. Ngoan [1111 has studied the
global Legendre transformation and used it to give an explicit global solution to
the Cauchy problem (1O.1)-(1O.2) with I = 1(p) = f(p',p") in this class. He
shows that in his class the (Fenchel-type) upper and lower conjugates (117, p. 389],
in symbols f = T(z',z") and f = f(z',z"), are the same as the Legendre
conjugate g = g(z',z") off = f(p',p").
Motivated by the above facts, we introduce in this section a wider class of
concave-convex functions and investigate regularity properties of their conjugates.
(Applications will be taken up in § 10.3.) All concave-convex functions f = f(p',p")
under our consideration are assumed to be finite and to satisfy the following two
"growth conditions."
Let f*2 = 1s2(ps,zu) [reap. f*i = f'(z',p")] be, for each fixed p' [resp.
p" R'2], the Fenchel conjugate of a given p"-convex [resp. p'-concavel function
I = f(p',p"). In other words,
the finiteness of f = f(p',p") clearly yields that of f2 = f2(pI, z") (reap. 1' =
I '(z',p")] (cf. Remark 1 of Lemma 9.13) with
f•2(p', z") f'(z',p") =
lim = +00 (resp. lim —00] (10.7)
z"I-4+oo Iz"I Iz'I—l+oo z'(
locally uniformly in p' (resp. p" E Rh'2]. To see this, fix any 0 < r2 <+00.
As a finite concave-convex function, I = f(p',p") is continuous on x 1117,
Theorem 35.1]; hence,
def
= sup f(p',p")l < +00. (10.8)
Ip'Iri
IP"I'2
def
So, with p = r2z ,, Liz"] (reap. p, =def—r1z'/]z']], (10.5) [reap. (10.6)] together with
(10.8) implies
f2(p', z")
inf 4 as z"] —* +co
Ip'Iri z"i ]z"]
sup
f'(z',p") as +oo].
(resp. + —r1 z']
Ip"Ir2 z'
Since r1, r2 are arbitrary, (10.7) must hold locally uniformly in p' [reap.
p" as required.
Remark. If (10.4) Ireap. (10.3)] is satisfied, then (10.5) (reap (10.6)] gives
IZ(p',zh') 1,011)
> -+ —p +00 (10.9)
li/i - li/i
fhl(z',p") I,)
(resp. < —+ —oo as (p"] —+ +001
— li"] (10.10)
for each (z', z") E x The second, = f(z', z"), is defined as the Fenchel
conjugate of the convex function _f*1(zI,pSl); i.e.,
is convex. Thus (10.11) shows that T = T(z',z") as a function of z" is the image
of h = h(p', z") under the (linear) projection 3 (p', z") A(p', z")
x z".
It follows that f = f(z',z") is convex in z" [117, Theorem 5.7]. On
the other hand, by definition, T = is necessarily concave in z' E
This upper conjugate is hence a concave-convex function on x Rn2. The same
conclusion may dually be drawn for the lower conjugate f = I (z', z").
We have previously seen that if the concave-convex function f = f(p',p") is
finite on the whole x and satisfies (10.3)-(10.4), its partial conjugates
f*2 = f*2(p',zI') and f*i = f'(z',p") must both be finite with (10.9)-(10.10)
holding. Therefore, Remarks 1-2 of Lemma 9.13 show that f = f(z, z") and
f = f(z',z") are then also finite, and hence coincide by [117, Corollary 37.1.2].
In this situation, the conjugate
urn
f(z',z") = —oo for each z" E (10.4)
Iz'I—*+oo Iz'I
For the next discussions, the following technical preparations will be needed.
Proof. First, assume (10.3). According to the above discussions, (10.5) determines
a finite convex function = f*2(pI,zhl). Further, [117, Corollaries 10.1.1 and
12.2.11 shows that
for any (p',p") E x Let 0 < r,M < +co be arbitrarily fixed. As a finite
convex function, f2 = f2(p',z") is continuous [117, Corollary 10.1.1], and hence
locally bounded. It follows that
>M— M
Ip'Ir Ip"I — Ip"I
lim =
Ip"l
§10.2. CONJUGATE CONCAVE-CONVEX FUNCTIONS 133
for any r E (0, +oo). Thus (10.16) holds. Analogously, (10.17) can be deduced from
(10.4). 0
Definition 2. A finite concave-convex function I = f(p', p") on x Rn2 is said
to be strict if its concavity in p' RTh' and convexity in p" E are both strict.
It will then also be called a strictly concave-convex function on x
Proof. For any finite concave-convex function f = f(p',p") satisfying the property
(10.3) [resp. (10.4)], the partial conjugate f'2 = f*2(pS, z") [resp. 1" =
is finite and convex [resp. concave] as has previously been proved.
Now, assume that f = f(p', PS') i5 a strictly concave-convex function on x
Rn2 with (10.3) holding. Then Lemma 9.13 shows that f'3 = f'3(p',z") must
be differentiable in z" and satisfy (10.20). To obtain the continuity of
the gradient mapping R'hl x (p', z") i-+ 0f2(p', z")/Oz", let us go back to
Lemmas 9.2-9.3 and introduce the temporary notations: n n2, E m
+n2, and It follows from (10.16) that the
continuous function
meets Condition (i) of Lemma 9.2. Therefore, by Lemma 9.3 and its Remark, the
nonempty-valued multifunction
L= = L(p',z") {p" € : =
10. HOPP-TYPE FORMULAS FOR GLOBAL SOLUTIONS
<
= + (1— A)f2(q',zh').
if all the equalities simultaneously occur, then there must exist a point
p" E L(Ap' + (1 — A)q', z") fl L(p', z") fl L(q', z")
with
w(Ap' + (1 — A)q', z",p") = Aw(p', z",p") + (1 — A)w(q', z",p");
hence (10.21) implies
Proof. For reasons explained just prior to Lemma 10.1, we see that 7(z',z")
(z',z"), hence that (10.11)-(10.15) compatibly determine the conjugate f =
I (z', z"), which is a (finite) concave-convex function on x with (10.3)-
(10.4) holding.
We now claim that f = I (z',z") = I (z',z") is continuously differentiable
everywhere. For this, let us again go back to Lemmas 9.2-9.3 and introduce the
def def def def def
temporary notations: n = n2, E = R m = ni+n2, 0 = Rn' +n 2, = (z ,z ),
g
and
pt-f p". Since (10.10) has previously been deduced from (10.3), we can verify
that the function
meets Condition (i) of Lemma 9.2, while the other conditions are almost ready. In
fact, as a finite concave function, f*a = f*1(z',p") is continuous (cf. [117, Corollary
10.1.1]) and so is w = w(z',z",p") (cf. (10.23)); moreover, Condition (ii) follows
from (10.23) and Lemma 10.2. Therefore, by (10.2) and (10.15), this Lemma shows
that f = f'(z', z") = f(z', z") should be directionally differentiable in x
with
z
— ôf' ( ,
(z , , z ,, )
0' )
= ôz' ' ôz"
Thus, (10.23) and (10.25) combined give
' ( 0f '\ Of
Oz' ' Oz"' '
The identity (10.22) has thereby been proved. This completes the proof. 0
(G.I) The initial function = j(x) = r") is of class C° and the Hamiltonian
f= f(p) = f(p',p") is strictly concave-convex on IR"' x with (10.3)-(10.4)
holding.
is satisfied in D, where
((t,x,y) +t. — y)/t) (10.28)
for(t,x) = (t,x',z") ED, E Here, f = f(z) = f(z',z")
denote, the conjugate defined by (10.11)-(10.15) of I = f(p',p").
(G.III) To each bounded subset V of V there corresponds a positive number N(V)
so that
mm
ER
sup ((t,x,w',w") < sup ç(txw'y")
%D
w'ER°l w'ER''
max inf C(t, X, w', w") > inf ((t, x, y', w")
*D"ER"3
w'I<N(V)
For the proof of Theorem 10.4, we need further generalizations of Lemmas 9.2-
9.3 to the mixed sup-inf cases.
*0
mm sup < sup
Iw"IN(V)
and
max mi > mi
w'ER"l w"ER"2 w"ER"2
Iw'IN(V)
whenever V, y = (y',y") E x > N(V).
(iii) The function x = is differentiable in E 0 with continuous gradient
mapping 0 x x 3
138 10. HOFF-TYPE FORMULAS FOR GLOBAL SOLUTIONS
y', e)
=
= miii max 0, e Rm)
v'EL'tt)
where
{y' unf =
1, ER 2
(10.30)
{y" E : sup =
Lemma 10.6. Let Conditions (i)-(ii) in Lemma 10.5 hold for a continuous function
= x x Then (10.30) gives a nonempty-valued, closed
x
and locally bounded multifunction L = x of E 0.
Proof of Lemma 10.6. For any bounded subset V of 0, denote Nv N(V)
(see (ii)). The function
0x ? '-÷ inf
ER'2
y
= sup ml
y'ER'
should essentially be taken over all y' of just the compact set and
hence be attained. This means 0 L'(e) C (0', Nv) when V. Analogously,
0 L= is nonempty-valued and locally
bounded.
To complete the proof, we need only check the closedness of L = For
this, let be a sequence convergent to a point in
0x x Rn2 such that x as k = 1,2,3,...
§10.3. HOPF-TYPE FORMULAS 139
,0 ,k ,,k
= hm ,y, ,y
0 . k . k
,y ,y ) x(e ,y ,y )
.
liminf sup )
k-4+oo y'ER"
0 1,0
sup ,y'y I
).
y'ER"I
sup
V'ER"l
0 , ItO
)
inf sup =
V ER 3y'ER"'
0 ,0 1,0 0
Remark. The above proof also shows that ,y ,y ) = ). Since E 0
is arbitrary, we have lI's y") = whenever (y', y") E L(e). By the way, the
function = takes finite values only.
(0', N), y"2 E L"(e2) C N) [cf. the proof of Lemma 10.6]. Then
—
= inf — sup
v ER 2 y'ER"l
,,2 2 gi
,y ,y
= —
—
+ a'e) —
k-4+øo
and
+ /3be) —
= urn
k-4+Oo
—
sup inf
+ abe) pER" p ER"2
ak
+
= + y'°, e)
for any y E L, o
), hence that
sup
inf sup = =
= sup inf
§10.3. HOFF-TYPE FORMULAS 141
for any 0, e Rm. AU "inf" and "sup" are actually attained because the
nonempty set L(e°) = x is compact (Lemma 10.6) and the mapping
x (y', y") y', e) is continuous. The proof is thereby
complete.
exist and are continuous on the whole V x IRS' x moreover, one may apply Lem-
def
ma 10.5 to the function x = x(e,y) = where m def
= def
+fl2, e = (t,x),
and 0 V. Thus u = u(t, x) defined by (10.29) is locally Lipschitz continuous
and directionally differentiable in V, with x) equal to either of the following
two quantities:
((i — (ii,
—
for (t,z) E V\Q. This would imply the existence of an element L"(t,z) so
that
— /S'—Y'
t
t ' t t t
t oak. t ' t
142 10. HOFF-TYPE FORMULAS FOR GLOBAL SOLUTIONS
for all y' E L'(i,x). Analogously, it can be deduced from (10.34) that
Ott
—(t x)= . I •ix—y\
<f i—i
/x—y Ofix—y
Ot
max mm
p'EL'(t,z) p'EL"(t,x) \ t —(-———,—i————
/ \ i Oz \ t
I /z—y Of*,x_y
= ruin max <1 I—J-(———,——I—--—
p"EL"(t,z) I \ t / \ t Oz \ t
for (t,x) D\Q, and that there exists L'(t,x) with
Ou • — — y"\ / x' — Of — — y"
'
/z"—y"
\ t ' Oz" " t t
"(10.36)
limsup (10.39)
for each fixed x0 (x'°,x"°) Rn1 x Indeed, let us first take a sequence
{ C V converging to (0,x'°,x"°) such that limsup u(t,x) =
d
generality that y" y0 x Rn2 with y0 z°. It is clear
from (10.28)-(10.29) and the above definition of L = L(i,x) that
u(ik,rik,xutk) = inf
y" ER"3
.
risk) + tk , o") (10.40)
u(tk,xuhl,xIilh)
*
((x ,k ,k k
,0 ii )
Jim Jim I.
=
k-4+oo I(r' — y' )/t"I
—
So, (10.41) implies lirn tnhf*(Ot,(xhlk = —oo, a contradiction with
(10.3*).
,k risk)
lim u(tk, = +00,
hence that Jim i'f((z" — ysk)/tk 0") = +00, which contradicts (10.4).
l,-++oo
The contradictions, which we have got in both Cases 1 and 2, prove that
urn = x0. Therefore, a passage to the limit as k -+ +00 in (10.40)-(10.41)
would give (10.39). It may dually be concluded that
liminf
then we can use the "index of non-convexity" and a classical minimax theorem [7]
to give sufficient conditions for (G.II) to hold. (See [12] concerning this question.)
Remark 2. If nj = 0, (10.29) gives the Hopf formula (9.4) and the formula (9.29).
If n2 = 0, the Hopf formula for concave Hamiltonians [64] will also be obtained.
Of course,
max
w'EIR'i w"EIU'3
inf ((t,x,w',w") >
—
inf
w"ER"2
((t,x,x',w") + 1 (10.44)
1w' I
as (t, x) E V. Further, in view of (10.43), there exist numbers A, N E (0, +m) such
that
< whenever Ix°I r, Iy'I N.
§10.3. HOPF-TYPE FORMULAS 145
Finally, by (10.4), we certainly find a positive number with the property that
c*(z'
/ 2(q — A) as ii.
'
Putting + v))1 we therefore conclude from (10.28) that,
if(t,x) V and Iy'I N(V), then
. —
inf C(t,x,y',w") <((t,x,y',x") =
w€R2 t
+ f*((xlyS)/t,0h1) lx'—y'l]
[A y'I (10.45)
[A + - A). Iy'I
because I(x' — y')/tI [r(1 + ii) — r]/r = ii, — y'I/Iy'I (Iy'I — r)/ly'I 1/2.
Now, (10.44)-(10.45) show that the second condition in (G.III) holds. Analo-
gously for the first one. Thus the corollary follows from Theorem 10.4. 0
Chapter 11
Global Semiclassical Solutions
of First-Order
Partial Differential Equations
§11.1. Introduction
on {i=0, rER1}.
Then it is easy to show (cf. Haar's Theorem 1.5) that w(t, x) 0 in Hr. Therefore,
the Cauchy problem for the first-order nonlinear equation
f = f(p) is of class C1(R1), cannot have more than one solution in 11T,
say, in the class of smooth functions with bounded derivatives. As Kruzhkov al-
ready remarked, the same conclusion may be drawn without appeal to the dif-
ferentiability of w = w(t,x) (reap. of the solution u = u(t,x)) or the validity of
(11.1) (resp. of the equation) at the points in any given finite union of straight
lines {t = const., x E R} C Hi'. The following question arises naturally: to
what extent can the condition on the smoothness of w = w(t, x) and on the va-
lidity of inequality (11.1) in the entire strip 11T be weakened? For example, the
Cauchy problem for the equation Ou/Ot + (Ou/Ox)2 = 0 with the zero initial con-
dition u(0, z) 0 has a continuum of piecewise smooth global solutions, such as
u = ua(i,x) min{O,alsI — a2t}, = const. 0. Note that each function
§11.1. INTRODUCTION 147
C Lip([0,T) x
ôu/ôt+f(t,x,u,Ou/Ox) =0 in (11.3)
on {t=0, (11.4)
The above definition allows us to deal with the case of time-measurable Hamil-
tonians f = f(t, x, u,p). The next section is devoted to the uniqueness of global
semiclassical solutions in this case. Further, an answer to Kruzhkov's problem will
be given. Section §11.3 discusses the existence theorems, whose proofs are much
based on the results of Chapter 9.
148 11. GLOBAL SEMICLASSICAL SOLUTIONS
Most of the material presented here was published in [1411-11431 and 11501-1151].
The reader is referred to §2.3 and the references therein for the global existence of
classical solutions.
The present section deals with stability questions concerning global semiclassical
solutions of the Cauchy problem (11.3)-(11.4). Here, the initial data = is
a given continuous function on The Hamiltonian I = 1(1, x, u, p) is always
assumed to be measurable in t E (0,T) and continuous in (x,u,p) E x x
The proof of the following uniqueness criterion is immediate from Theorem 8.1.
f(t, x,u,p) — f(t, x, < £(t) [(1 + xI)Ip — qi + p(x)]u — vi] (11.5)
Remark. Condition (11.5) is satisfied if and only if for some positive function
= £(t) in L1(0,T), the function
Theorem 11.2. Suppose that I = f(t, z, u,p) satisfies the following condition: for
any compact sets K1 C R1, K2 C there exist a nonnegative function 42 =
42(t) in L'(0,T) and a nonnegative function PK1K2 = PK1K2(X) locally bounded
§11.2. UNIQUENESS OF GLOBAL SEMICLASSICAL SOLUTIONS 149
<+00 (j = 1,2),
(t,z)Eflr
Remark. 1ff = f(t,p) depends only on t,p and is of class C1 on [0, T] x R't, then
the condition of Theorem 11.2 is satisfied. In this case, Theorem 11.2 solves the
problem of Kruzhkov (see Corollaxy 11.4 later).
Proof of Lemma 11.3. Fix any i E {1,...,n}. It suffices to treat the case when
def Oil,
= esssup
UXj
<+m.
Let us write x = (x',z1) instead of x = where
, def
x =
Then for almost all [with respect to the (n — 1)-dimensional Lebesgue measurel
x' we have:
—(x,.) Ox1
<s1.
L°'(R') —
Since the function il'(x',.) is absolutely continuous on each bounded segment, it
follows that
—
I
for almost all [with respect to the (n — 1)-dimensional Lebesgue measurej x'
and for all E R1. From the continuity of il' = il'(x) and from (11.6), we
conclude that
— —
150 11. GLOBAL SEMICLASSICAL SOLUTIONS
OtI,
<sj
for almost all t (0, T). Taking the essential supremum over t E (0, T), we find
that
ouj auj
esssup sup = esssup
zER (t,z)Eflr
Consequently, by assumption,
r def j
= rnaxesssup sup —(t,x) <+00. (11.7)
X
t€(0,T)
Continue using (8.23). Then the function = p(x) given by (8.24) is locally
bounded on
We now consider the function u = u(t,x) ui(t,x) — u2(t,x). Of course,
u(O,x) 0. Moreover, in view of (11.7), the hypothesis of the theorem implies
= £(t) . [(1 +
£K =€K(t)1+ sup
xK '-'P
deC 1
1'K = i/K(x,u) = esssupsup
*€(O,T) pEK
for any convex compact sets K1 c R1, K2 C R'. Then it is easy to check that
(11.5) with 42 and PK,,K2 in place of€ and p, respectively, holds for almost every
t E (O,T) and for all (x,u,p), (x,v,q) E JR" x K1 x K2. The corollary thereby
follows from Theorem 11.2. 0
We leave it to the reader to prove the following criterion of continuous depen-
dence on initial data for global seiniclassica.l solutions.
on {t=0,
Remark 1. The example in Remark 2 following Theorem 8.1 shows that the
Lipschitz continuity of functions in the class V(Qr) also plays an essential role in
the definition of global semiclassical solutions. The zero solution aside, this example
gave no other global semiclassical solution to the Cauchy problem
Ou/Ot=O in Q1,
u(O,x)=O on {t=O,
Remark 2. Consider the Cauchy problem
Figure 11.1
(1 1.8)-( 11.9) has a continuum of piecewise smooth global solutions, such as (see
Figure 11.1)
def 10 if
UA,e = =
— A2(t — T+e)} if T— e t <T,
where A 0, 0 <e <
T. For A > 0 the differentiability of the function UA,g(i,.)
fails somewhere [at x = ±A(t — T + e) and at x = 0] if and only if belongs to the t
(11.5) with £(i) But we can easily check that the present problem admits the
following two global (semi)classica.l solutions:
u=uj(t,x) def
= t and u=u2(t,x) def
= i(l+e ).
The explanation for this event is that the function £ = £(i) in this case is not
Lebesgue integrable on any (0, T). (We could not choose a Lebesgue integrable
£ = £(t) for (11.5) to hold.)
By the use of Theorems 8.8, 8.11, and 8.12, the results in this section can be
generalized to the case of the Cauchy problem for weakly-coupled systems:
u(0,x) = on {t = 0, x (11.11)
We can now formulate some stability results for global semiclassical solutions of
the problem (l1.l0)-(1l.11) and leave the proofs to the reader.
for almost every t E (0,T) and for all (x,u,p), (x,v,q) E x Rm < (i =
m). Let u = n(t, x), ii = x) be global semiclass*cal solutions to (11.10)
with the following corresponding initial conditions:
— <exp[C(x)f e(r)dr} x
x sup max
.=1 m
for almost every t (O,T) and for all (x,u,p), (x,v,q) x x R" (z =
1, . , m).
. . If u = u(t, x) and v = v(t, x) are global semiclassical solutions to the
Cauchy problem (11.lO)-(11.11), then u(t,x) v(t,x) in
there ex;st a nonnegative function £K2 = (t) in L' (0, T) and a nonnegative
function PK1.K2 = PKI,K3(x) locally bounded on such that (11.13) with and
in place of€ and p, respectively, hold for almost every t (0,T) and for all
(x,u,p), (x,v,q) x K1 x K2 (i = 1,... ,m). If u' = u1(t,z) and u2 = u2(t,x)
are global semiclassical solutsons to the problem (11.10)-(11.11) with
def
esssup sup Ii
= vK(x,u) = k;max 1 m *E(O,T) pEK
(E.H) For every compact subset V of [0,T) x there exists a positive number
N(V) so that
We shall use the notation E dom 4' 0 and deal with the function u = u(t, z)
and multifunction L = L(t,x) of (t,x) [O,T) x determined by the formulas:
pEE
Theorem 11.12. Let 4' = 4'(x) be a finite convez function on R". Assume (E.I)-
(E.II). Suppose that the multifunction L = L(t,x) given by (11.18) is continuous in
G being as in (E.I). Then (11.17) determines a global semiclassical solution to
the problem (11.14)-(11.15).
Proof. According to the maximum theorem [8, Theorem 1.4.16), the formulas
(9.13)-(9.14) show that the derivatives ôu/Ot, Ou/Oxi,..., exist and are
continuous in (see also [128, Corollary 2.2)). Hence, the global solution u =
u(t, x) is continuously differentiable in Since C is of Lebesgue measure 0, we
conclude that u = u(t,x) belongs to An argument similar to that in the
proof of Theorem 9.1 now gives us the validity of (11.14) in C]
158 II. GLOBAL SEMICLASSICAL SOLUTIONS
Remark. It can he proved that in all partial derivatives of the global solution
u = u(t, x) exist [(11.14) is then satisfied though the solution may fail to he dif-
ferentiable] if and only if the multifunction L = L(t,x) is single-valued. See §13.2
later for the smoothness of v = u(t, x).
esssuplf(t,p°)[ <+00
iE(O,T)
for some p° E E and some closed set C C IR of Lebesgue measure 0; it is, moreover,
twice continuously differentiable in p E mt E with
E(0, +oo).
(ii) To each compact subset V of [0, T) x IR there corresponds a positive number N(V)
so that x, p) < max x, q) whenever (t, x) E V, p E p1 > N(V). Here
pEE
qIN(V)
is defined by (11.16) withn=1, (p,x)=px.
(iii) For every (t,p) E ((0,T)\G) x intE, it holds that
d24
(11.19)
§11.3. EXISTENCE THEOREMS
= z
d4 ('ôf
— 7—(p)
—
=
— f (r,p)dr. (11.20)
Under Hypothesis (ii), the method of Lemma 9.3 proves that the multifunction
L = L(t,x) defined by (11.18) is nonempty-valued and upper semicontinuous on
[0, T) x R. It may be shown that
for all p intE and almost all t (0,T). Then (11.17) determines a global
semiclasszcal solution to the problem (ll.14)-(11.15) with a = 1.
Proof. Since (11.21) implies (11.19), the conclusion follows.
Example. Let J c [0,1) be the Cantor set and w = w(t) be the Cantor ladder
(see Remark 2 after the formulation of Theorem 8.1). Define
def
g(t) = min{It—sI s€J}.
Clearly, g = g(t) is Lipschitz continuous on (0, 1) (with Lipschitz constant 1), and
hence differentiable almost everywhere in (0,1); its derivative dg/dt = dg(t)/di
being Lebesgue measurable. Next, consider the Cauchy problem
On dg . Ou
+ = 0
.
in {0 < t <1, XE R },
1
on {t=0,rER1}.
Then we may invoke Theorem 11.1 to deduce that the function u = u(t,x)
—g(t) + is the only global semiclassical solution to tius problem. Further, this
problem has no classical solution even in the small [i.e., even in the local sense].
We have seen in the previous chapters that the main theorems in the classical
theory of first-order nonlinear partial differential equations are valid only local-
ly, in sufficiently restricted domains. The example in the preface shows that the
Cauchy problem might fail to possess a global C'-solution even if the Hamilton-
ian and initial data are analytic. Therefore, the need for introducing generalized
or weak solutions has arisen in the theory of first-order nonlinear equations and
its applications. Such solutions have been investigated by many mathematician-
s in the past 50-70 years ([21-14], [21], [32]-[33j, 1441-145], [51]-(521, [54J, [63]-[64], [87]-
The notion of global solutions in Chapter 9,
[92], [94], [951, [97]-[98], 1112], [1181).
which was probably first used by Hopf [64], affords the existence but not unique-
ness question. Some other supplementary condition like the semi-concavity or
semi-convexity condition (see Chapter 4) must be introduced for the uniqueness
of a global solution (in the case of convex or concave Hamilton-Jacobi equations).
In a similar situation, entropy condition (see §5.4) is needed for the uniqueness
question of weak solutions. In recent years the development of the theory of gen-
eralized solutions has been based to a significant degree on the concept of viscos-
ity solutions, which was introduced by Crandall and Lions. Within this theory,
uniqueness and existence theorems have been developed for various types of equa-
tions and boundary-value problems, and also some applications to control problems
and differential games have been studied ([51,1101-120], [28], [35]-[391, [47]-[50], 167]-
1721, [79], [991-11011, [122]-[i231, [131]). The concept of viscosity solutions is motivat-
ed by the classical maximum principle which distinguishes it from other definitions
of generalized solutions.
In the present chapter, we develop another approach that can be considered
as a nonclassical characteristic method, according to which a generalized solution
162 12. MINIMAX SOLUTIONS
Ou/Ot+f(t,x,Ou/Ox)=O in
u(T,x) = on {t = T, x (12.2)
for some constant L E (0, -4-no). The characteristic system (1 .3)-( 1.4) of the Cauchy
problem (12.1)-( 12.2) in this homogeneous linearity case is reduced to the system
( dx
I
dv — (12.5)
0,
Ldt
with the condition
x(T) = y, v(T) = o(y). (12.6)
(x,v) = (x(t,y),c(y))
§12.1. INTRODUCTION 163
on some interval (T — e,T1 for each y E R". Under the hypothesis (12.4), the
characteristic curves x = x(t, y) can be extended over the whole segment 0 t T
(cf. Appendix I). Moreover, an easy argument (adapted from [62, Chapter V,
Peano's Theorem 3.1, Corollary 3.1 and its Remark]) shows that the Jacobian
Dr/Dy of the C1-mapping RTh 3 y i-+ H1(y) does not vanish for any y
RTh and 0 < t < T. Hence Lemmas 2.3-2.5 imply that x = is a diffeomorphism
from R" to itself for any t [0,T). Therefore, the inverse function y = y(t,x) is
of class C on
1 —
and u = u(t,z) def
= v(t,y(t,x)) = o(y(t,x)) is the only global
C1-solution of (12.1)-(12.2) in the homogeneous linearity case (12.3).
The above definition of the solution u = u(t, x) is based on the structure of
characteristics. In such a homogeneous linearity case, the family {(t, x(t, y)) : 0
< of characteristic curves covers all of fZT and no two of them could
intersect in c17; in other words, there exists one unique characteristic curve passing
a given point (t, x) E For a nonhomogeneous linear Hamilton-Jacobi equation
with g = g(t, z) a function in C1 (fir), we can continue using the above family,
{(t,x(t,y)) : 0 t
of characteristic curves and prove that
def I
u = u(t,x) = a(y(t,x)) + j g(r,x(r,y(t,x)))dr
is a unique global C1-solution of (12.7) and (12.2).
Now, turn to the general case. Consider the nonlinear equation (12.1), with
I = f(t, x, p) and = some twice continuously differentiable functions. In
this case, the characteristic system (1.10) may be reduced to
81
I
(z=1,...,n),
I (128
Of
(z=1 n).
Moreover, suppose that the family {(t, x(t, y)) : 0 < t < of characteristic
curves covers and that no two of them could intersect in QT. Assume, further,
that the inverse y = y(t, x) is of class C2 on Qr. Then it can be claimed that
u = u(t,x) +
is the only global C1-solution of the Cauchy problem (12.1)-(12.2) [cf. Theorem
2.71.
Wemust note here that for a general nonlinear equation (12.1) the above as-
sumptions are not always automatically satisfied as they are in the linearity case
(12.3). Sufficient conditions for them to hold could also hardly be given explicitly
because the structure of characteristic curves is then via a projection (z, p) '—i x
from x into R". Without these assumptions the preceding method of finding
a global C1-solution breaks down. A relevant solution, which is expected to exist,
should be understood in some generalized sense; say, one needs to relax the smooth-
ness condition on it as usual. Subbotin's method of defining a minimax solution is
based on a construction in the theory of positional differential games. According to
this theory, the value function of a differential game is characterized by the prop-
erties of being u-stable and v-stable simultaneously (see (84]-[86]). It is also known
that at the points of differentiability the value function satisfies a first-order partial
differential equation (called the Isaacs-Belhnan equation). The u- and v-stability
properties can be expressed in various ways and used to introduce the notion of mm-
imax solutions. We shall see more concretely in the next section that one of these
ways is, to some extent, a relaxation of the classical characteristic method: The
ordinary differential equations (12.8) to determine the characteristics x = x(t, y)
can be slightly separated into two characteristic differential inclusions (see (12.14)
and (12.16) later). The first-integral condition, which means that u = u(t,x) is
constant along each characteristic curve x = x(t, y), is accordingly separated into
two inequalities (see (12.17) and (12.19) in the definition of a minimax solution).
§12.2. DEFINITION OF MINIMAX SOLUTIONS 165
Our aim here is to extend Subbotin's notion (given in [11 and (124]) of minimax
solutions of first-order partial differential equations with continuous Hamiltonians to
the case of time-measurable Hainiltonians and present the uniqueness and existence
theorems for such solutions. The results in this chapter are new even when restricted
to the case of continuous Hamiltonians. Almost of them were published in [132]-
[1331 and 1146].
The outline of the chapter is as follows. In Section §12.2 we give the definition of
minimax solutions to the (terminal) Cauchy problem for a general nonlinear evolu-
tion partial differential equation with time-measurable Hamiltonian. We investigate
some properties of multivalued mappings which play a decisive role in the definition
of minimax solutions. Section §12.3 is devoted to the relations between minimax
solutions and global (semi)classical ones. We prove that a global semiclassical so-
lution is also a minimax solution, and conversely, a minimax solution satisfies the
equation in the classical sense at the points of differentiability. Further, in Sec-
tion § 12.4 we discuss the invariance of the definition with respect to the choice of
concrete multivalued mappings. In Section §12.5 we establish the main theorem of
this chapter on the uniqueness and existence of minimax solutions. Finally, Section
§ 12.6 concerns some generalizations to the case of monotone systems of first-order
partial differential equations. Our method is based on the theory of multifunctions
and differential inclusions, and on a sharpening of a well-known theorem on the
Lebesgue sets for functions with parameters. We also use an implicit version of
Gronwall's inequality. Throughout, 0 < T < +00, S {p E : = 1},
def
B,. = {p E R : <r} (r > 0), B def
= B1.
Assume that the terminal data c = o(z) is of class C0 on and that the Hamil-
tonian f = f(t,x,u,p) depends on (t,x,u,p) E xRx with the following
properties.
166 12. MINIMAX SOLUTIONS
a) Conditions:
a!) For almost every (in the sense of Lebesgue measure) fixed t E (O,T), the
function Rx 3 (x,u,p) i—+ f(t,x,u,p) is continuous.
a2) For each (x,u,p) E R" x R x S, the function (O,T) 3 t '—* f(t,x,u,p) is
measurable.
b) For any bounded sets D c R" and E C R, there exists a function A1,,8 = AD,E(i)
in L1(O,T) with
A1,,e(t)ix—x'i (12.11)
F(t,x) . (1 + lxi) . B,
F,j(t, x, u, a) {z E F(t,x) : (z, a) f(t, x, u, a)}, (12.14)
IG(t, x)l sup {IzI : z E G(t, x)} < c(t) . (1 + rI) (12.15)
on with c = c(t) a function in L'(O,T). From [29, Theorems 11.20, 111.15, and
VI.13j (see also [40, Theorems 5.2 and 7.1]), it follows that XG(i,,x.) is then a
nonempty compact subset of C([0,T],lfr). Now let U XQ(t,x), 0
C 11T• If C [0, TI x is compact, then by Lemma 8.3, C Xo({0} x
Br) with r (r° + 1)ffc(f)di — 1. The compactness of x B,.), which
follows from the upper semicontinuity of the compact valued multifunction R"
r Xo(0,x) c (see [40, Theorem 7.1] or [29, Theorems 11.25 and
VI.13]), therefore implies that of
(1,x) F(t,x) C
x IR x S (t,x,u,a) '-+ C
R xS (i,z,u,8) '-4 FL(t,x,u,(3) C
VxERTh. (12.18)
for all 0 < t < r <T, x E R", and also the condition
The sets of all supersolutions and subsolutions of (12.9)-( 12.10) will be denoted
by Solu and SOIL, respectively.
In fact, it follows from (12.13) that f(t,x,u,0) = 0, hence from (12.12) that
that z E F(t,x). On the other hand, (12.23) implies (z,a) = f(t,x,u,a), thus
DEFINITION OF MINIMAX SOLUTIONS 169
for almost all t E (0,T) and for all (x,u,p) R x R". Indeed, let p €5. By
(12.14), we easily see that
sup mm (z,p) mm
aES
for any a E S. Thus, in view of (12.13), the first equality in (12.24) is satisfied, no
matter whether p E S or not. Similarly for the second one.
From the monotonicity and continuity in u off = f(i,x,u,p), it may also be
deduced that
1)
U>,,
= Fu(i,s,v,a), fl = FL(t,s,v,/3) (12.25)
for almost all t (0,T) and for all a,j3 E S, V E R, 5 E Another property
of the multifunctions = and FL = FL(t,s,u,/3) is given in the
following.
12. MINIMAX SOLUTIONS
1
supliminf inf — I mm (z,p)dr>f(t,x,u,p),
aES ft :EFu(r,z(r),u,a) —
(12.26)
1
inflimsup sup — I max (z,p)dr<f(t,x,u,p)
ö\O Jt ZEPL(r,z(r),u,.8)
The proof of Proposition 12.1 will be based on the next two lemmas, which are
sharpenings of a well-known theorem on the Lebesgue sets (see [119, p. 158]) for
functions with parameters.
Lemma 12.2. For any r E (0, +oo), there exists a set A(r) C (0, T) of Lebesgue
measure 0 such that
1
f(r,x,u,p)dr—f(t,x,u,p)=0 (12.27)
1
g(r)dr—g(t)=0
is of measure 7'. Let Q be the countable set of all rational real numbers and take
[cf. a3) and c)]. Then mes(A(r)) = 0. The only point remaining is to prove
(12.27) for any fixed t Ac(r), x Br, u p RTh. To this end, let e > 0 be
an arbitrary number. Since t Ac(r) C Leb(A) fl we have
t+S
1 i 1 )
sup — I £(r)dr, sup — I A(r)dT + 1 <+oo. (12.29)
ft J
1
t+6
1
t+o
f(r,x,u,p)dr — f(i,x,u,p) <e
f (12.33)
t+6
1
f(r,x,u,p)dr — f(t,x,u,p)
f t+a
1
[f(r,z,u,p)—f(r,x',u,p')]dr
=
+
1
j [f(r,x',u,p') — (12.34)
+
f —
f(t, u, p)].
12. MINIMAX SOLUTIONS
Let (5E The first summand in the right-hand side of (12.34) is estimated
as
(+6 (+6
1
1 C
because the second suminand in the right-hand side of (12.34) is then nonpositive
by Condition d). Analogously, letting k = 2 implies
1 C
f(r,x,u,p)dr—f(t,x,u,p)> —3. = —e, (12.36)
since the second summand in the right-hand side of (12.34) is then nonnegative.
Combining (12.35) and (12.36) gives (12.33), which completes the proof. 0
Lemma 12.3. There exists a set A C (0, T) of Lebesgue measure 0 such that
1
(+6
f(r,x(r),u,p)dr = f(t,x,u,p) uniformly in x(.) E Xp(t,x) (12.37)
(12.26) for almost all i (O,T) and for all x E U E R, p E S. Indeed, according
to (12.14), one then obtains
fj
1
supliminf ml — I mm (z,p)dr>
aES J\O zEFrj(r,g(r),u,a) —
1
> liminf in! — I mm (z,p)dr
— i\O z(.)EX,(i,z)S ft zEF0(r,zfr),u,p)
1
t4J
= liminf
6\O
in! — I f(r,x(r),u,p)dr,
ft
in! lim sup sup — I max (z,p)dr <
PES ft ZEFL(r,xfr),u.P) —
1
limsup sup — / max (z,p)dr
.\O Jt ZEFL(r,r(r),u,p)
1
=limsup sup — /
f(r,x(r),u,p)dr.
ö\O z(.)EXp(t,z)'5 Jt
1 d
supliminf in! f(i,x,u,p),
aES ö\Ü
—
ft/ dt
in! limsup
,SES
sup
di
f(t,x,u,p)
The following result says that the notion of minimax solutions indeed generalizes
"correctly" that of classical ones.
ii) there ezists a null set A C (0, T) such that, at each point (t, x) E ((0, T)\A) x
where a certain minimax solution of (12.9)-(12.1O) is differentiable, the equation
(12.9) must be satisfied.
Proof. i) Let u = u(i,z) be a global semiclassical solution of Problem (12.9)-
(12.10) such that z Ou(t,z)/Ox is a continuous function for almost every
t E (0,T). Based on (12.14), for (t,z,ci) E x S, we define
= +
+ = 0
z(.) E
XS(.)
such that
+ + 5)) — 0. (12.39)
Let
def
= dxö
(0
= + 5) —
+oo>C def
1
= sup £(r)(1+Ixo(r)I)dr sup —IyoI. (12.40)
.SE(o,T_g(°)) 1(°)
/ 1
=
1 1
— I f(r,xo(r),u(t(°),x(°)),a)dr,
hence, by (12.13),
(1
S Ox
I
Jt(O) Ox
+ f(t(°),x'°),u(t(°),x(°)), < a.
Ox
176 12. MINIMAX SOLUTIONS
Analogously, we have
+ f(t(°),x(°),u(t(°),x(°)), 0,
provided that u = u(t,x) is in SOiL. The equation (12.9) must therefore be satisfied
at (t(°),x(°)). Theorem 12.5 is completely proved. 0
for almost all t E (0, T) and for all x E where c = c(t) in L' (0, T) is independent
of a, (3, u.
(ii) For almost alit (0,T) and for dlx a P, Q, V ER one has
(iii) For almost all t (0,T) and for all (x,u,p) E R x R" the following
inequalitzes hold:
{s.a cEP,sO}={s./3
and then use (12.14) to define a concrete pair of multifunctions =
and FL = FL(t, x, u, This pair would satisfy (i)-(iii). (See Part 30 of §12.2 for
the case where Pdot
= 5, Q def
= S.)
Remark 1. By the Hahn-Banach theorem, it follows from (i) and (12.42) that
1
p4+6
supliminf in! — I mm (z,p)dr>f(t,x,u,p),
aEP fg
(12.45)
1
in! limsup sup — / max (z,p)dT<f(t,x,u,p)
flEQ 6\o
(independently of the choice of x(.) E Xp(t, x) because the function family Xp(t, x)
is eqwcontinuous at i). In other words, the first inequality of (12.45) must be true.
Dual arguments give the second one. Therefore, by Remark 2, (12.43) holds.
(0,T) 3 1. Fu(r,z(r),u,a),
(0,T) 3 r FL(r,x(T),u,[3)
(which follows from (8, Theorem 8.2.8]) implies that of the functions
1
,t+ö
inflimsup sup — I max (z,p)dr
LNo zEFt(r,x(r),u,$)
p*+6
1
lim sup sup — I inf max (z,p)dr
S\O
1
limsup sup — / f(r,x(r),u,p)dr=f(t,x,u,p)
Jt
for almost all t E (0,T) and for all x E u E R, p R".
for any0<t<r<T,xER".
Definition 5. The set SO1L(FL) of subsolutions (relative to FL) of the Cauchy
problem (12.9)-(12.10) is defined to be the set of all finite upper semicontinuous
functions u = u(t,x) on which satisfy (12.20) and the condition
inf
flEQ
max [u(r,x(r)) — 0 (12.47)
For the proof of Theorem 12.6 we need to make some preparations. Given any
locally bounded function n = u(t,x) on clT, we define:
def
ii
—
(t,x) def
= — limiuf
.
.
u(r,y) and u + (t,x) = limsup u(r,y)
(t,x) : yE D(t,x,T)},
124
(t,x) i-+ : yE D(t,x,T)}.
Proof of Lemma 12.8. Let x e > > ... > e(h) 0. Then there
exists a sequence C converging to (t,r) so that u(T,x) =
urn u(t(k),x(k)). By (12.49), for any fixed a E P one can find functions
k-+-foo
E + e(k),a)
with
def
Since = {(T, x), (t , x ),... , (t ,x ), . . . } is compact and since
we may (by the remark in Part 20 of §12.2) assume that x(k)(.) x(.) Xp(T, x)
in Letting Ic -+ +00 in (12.50), we get a(x) < u(T,x). Thus,
= u(t,x) satisfies (12.18) [with u replaced by u].
Fix now 0 < t < r ( T, x E R", a P. Then there exists a sequence
C [0,r) x
again by (ii) and the Remark in Part 20 of §12.2, we may assume that x(")(.) —*
x(.) E flXu(t,x,u(t,x) +e,a) = Xu(t,x,u(t,x),&). Letting k +00 in
(12.51), we get u(r,x(r)) <iC(t,x). Hence,
u in place of uJ; i.e., by definition, it is a supersolution (relative to F0) of the
Cauchy problem (12.9)-(12.10). The proof is then complete. 0
Now let us define a function A = A(t, r) on 11T by the following formula:
on Moreover, we have:
Since urn uUI)(tUo),z(")) = A(t,x), we may assume, in the same way as at the
b-÷+oo
end of the proof of Lemma 12.8, that the sequence converges to some
s(.) E flXü(t,x,)C(i,r) + e,Q) = Xu(t,x,A(t,x),Q). Letting k -9 +00 in
(12.54)-( 12.55), one gets
k-++oo
A(t,x);
i.e., = X(t,x) satisfies (12.46) [with in place of ul. Lemma 12.9 is proved.
0
For any GE [O,T] and E Q, let us now consider a function =
which is given on x R by:
: yE — (12.56)
z(.) E +e,cx)flXL(t,x,/Ja,p(t,x)
Of course, DL(T, x(r), x)+E, 0, j3) C DL(i, x, pep(t, x)+e, 0, f3) and therefore,
by (12.56), it may be seen that
+ e) + e) < 0,
(0,81
—
— (0,8)
and —
Yl (8,T( —
x(.) Xu(i,x,,.te,,9(t,x)
for all e > 0, (t,s) E 8 [t,T}. Therefore, by arguments dual to the ones in
the proof of Lemma 12.8, we conclude that A+ = A+(i, x) is a subsolution (relative
to FL) of the Cauchy problem (12.9)-(12.10). 0
The next lemma will play a crucial role in proving our main theorem. Adiatullina
and Subbotin's method of proof ([1] and 1124]), based rather directly on Gronwall's
inequality, seems to break down in the case of time-measurable Hamiltonians. Our
road to this result here is devious (by some "perturbation technique" on sets of
Lebesgue measure 0), and proceeds via an implicit version of Cronwall's inequality.
< (12.63)
< m(i) = —
def def
nun u(t,x) <rn = max < +oo. (12.64)
(i,x)E(O,TIXD (,z)E(O,TIXD
There exists a set A of measure 0 such that (12.13) and (12.43) hold for all
U E R, p E R't, x R", t E AC. We may assume that AC C Leb(c) fl Leb(A), that
the function R u f(t, x, u, p) is decreasing for all p E xE t E AC, and
that (12.11) is true whenever u E, p S, x, y D, i AC.
For every e > 0, the set A can be contained in an open set U1 C (0, T) with
if t U1,
I18r(1+r)c(i)+e if tEll1.
(12.66)
E x
.
—
J A(1)(r)dr),
g(O)
- Case 1: i(') E Ue. Take S > 0 small enough so that + 5) C 14. By defini-
tion, for any fixed o P, /3 Q there exist E
with
< (12.69)
Let
= — + — —
< . exp(J +J
J
f \
( / / j .exp(/
\Ji(O)
J
.exp(J
J g(O)
(12.71)
(Here, the first inequality follows also from the Bunhiakovskii-Schwartz inequality
and the fact that Idx(t)/dtl < c(t)(1 + Ix(t)I) < (1 + r)c(t) a.e. in (0,T) for all
x(.) E Thus, since again E we see, by (12.67)-
(12.71), that 0 N(e)(t(e) + 5) a contradiction.
— Case 2: j(o) Eu:. Let us use (12.69) and — Since j(c) Leb(c),
def
one has in = sup c(t)dt < +oo, and hence
d
sup
1
—/ dt
dt sup
1
—/ c(t)(1+Ix(t)I)dt
öE(O,T—t())
z(.)EXF(t(°) ,z(°))
<(1+r)m.
(12.72)
188 12. MINIMAX SOLUTIONS
Moreover, because E Leb(A), there exists 6(1) > 0 so that, for all 6 E (0,6(')],
we have
1
exp(_ 2A(t)dt) > —
6 J
On the other hand, the compactness of Xp(t(°),z(°)) implies the existence of 6(2)
with the property that
— E/8,
6
— J dt
(12.76)
f f(t +
dt
< f(t(e),x(O),u(O),p(O)) — f(t
6
(12.77)
Combining (12.72), (12.74), and (12.77) gives
6 f di
<I — + e/2,
§12.5. UNIQUENESS AND EXISTENCE OF MINIMAX SOLUTIONS 189
and therefore,
+ 8)12 —
—
+ e/2
A(t(e)) +e/2 = . +e/2
+ 8)12 [1 + . + e6
. exp(J A1(i)dt) +
(j .exp(f
t(O)
A(M(t)dt)) •exp(f A'(t)dt)+
+1
<J A(o)(t)dt).
(12.78)
Again, by (12.67)-(12.70) and (12.78), we get 0 N(s)(t(e) + 6)
a contradiction.
The contradiction8 we have got in both Cases 1 and 2 show that = T, i.e.,
that for any e > 0 there exists at least one E It then
follows from (12.67) that
. exp(JT
— A(*)(t)dt). (12.79)
<Jt(o)
Since Xp(t(°), x(°)) is compact, one can find a sequence > > ... > —* 0
< <
A(t,x) A(t,x).
1
for
f(t,x,y,u,p,q) deC
—
= lim(q. f(i,x,u — y,p/q)) for q= 0.
q\0
Here, y R and q R are two supplementary variables, and the limit is assumed
to exist. It should be noted that the auxiliary Hamiltonian I = f(t,x,y,u,p,q) is
positively homogeneous with respect to the variable (p, q) We also assume
that the Haxniltonian f = f(t, x, u, p) satisfies conditions under which the positively
homogeneous auxiliary Hamiltonian 7 = 7(t, x, y, u,p, q) has the properties indicat-
ed in Part 10 of Section §12.2. Then it can be shown that the minimax solution of
the auxiliary Cauchy problem
011- in {O<t<T, x€R ,
on {t=T, yER}
§12.6. TEE CASE OP MONOTONE SYSTEMS 191
In this section, we extend the notion of minimax solutions to the case of systems of
first-order nonlinear partial differential equations with time-measurable Hamiltoni-
ans. We will only formulate the main results on the existence and uniqueness of
such solutions for those systems satisfying a certain monotonicity condition (under
which our systems are called monotone) and their relations with the (semi)classicai
solutions. The detailed proofs can be found in Thai Son, N.D., Liem, N.D., and
Van, T.D. [133]. Our method here is to combine that of the previous four sections
with some other techniques of monotonicity.
Inthesequel,misapositiveinteger. Givenu = (Ui,... ,um), v = (Vj,...,Vm) E
1,...,m. Moreover,ifu
u3 = v3 for some index 1 <j <rn, then we write u v. An Rm-valued function
= = iscalledlower(resp. upper) semicontinuousif
its components = x) (1 <i <m) are all lower (resp. upper) semicontinuous.
Similarly, it is differentiable if its components are all differentiable.
(dl) Quasi-monotonicity Condition (ci. [72, Definition 2.2, Lemma 4.81): For
almost all t (O,T) and for allj E (1,... ,m}, (z,p) x S, u,v E if
u v, then f1(t,x,u,p) f1(t,z,v,p).
(d2) The functions R 3 u1 '.4 . . . . ,u,,.,,p) are de-
creasing for almost all t E (0, T) and for all (u1,. . . urn)
F(t, x) . (1 + lxi) . B,
{z E F(t,x) : (z,a) f5(t,x,u,ci)}, (12.82)
{z F(t,x) : f1(t,x,u,$)).
§12.6. THE CASE OF MONOTONE SYSTEMS 193
x) (t, x), . . . , (t, x), (t, x), . , Prn(t, r)) E Rm. (12.84)
are nonempty convex compact valued, measurable in t and continuous in (x, u). On
the other hand, it follows from (dl)-(d2) that
(Fu),(t,x,u,a) C if u > v,
if u v,
x, u, a) C x, u1, . . . , + e, . . . a) if 0,
forallO<t<r<T,
u(T,x) a(s) Vs E (12.86)
mm mi
i<s<m$ES
max Ius(r,x(r)) — 0
forall0<t<r<T,
u(T,x)c(x) (12.87)
The sets of all supersolutions and subsolutions of ( 12.80)-( 12.81) will be denoted
by Solu and SoiL, respectively.
3° Invariance of definitions
Just as the invariance of definitions that has already been discussed in §12.4 for
the case of single equations, instead of (12.82), we can now use any tuple Fu =
[resp. FL =((FL)1,...,(FL)m)] in the following common fam-
ilies of tuples of multifunctions.
Let P and Q be arbitrary nonempty sets. We consider any muitifunctions
x xP (t,x,u,a) '— C
x Rm x Q (t,x,u,8) (FL),(t,z,u,$) C
for almost alit E (O,T) and for aU(x,u) E R' x Rm, where c = c(t) in L'(O,T) is
independent of i,a,
ii) For almost alit €(O,T) andforollx ER', a E P, /3 E Q, u =(ui,...,um),v =
(vi,...,vm) E one has
(Fu)1(t,x,tL,a) C if > v,
J if u > v,
1 d
sup liminf mi — I p'dr > f,(t,x,u p)
aEP J\O \ di I —
1 \
mf limsup sup —
ç—(r),p1dr <
$EQ di
where
x, u, a)def
= X(F,J ), x),
clef
(XL)$(i, x, u, /9) = X(pL ).(.,.,',fl)(t, x).
Definition 10. The set Solu(Fu) of supersolutions (relative to Fu) of the Cauchy
problem (12.80)-(12.81) is defined to be the set of all lower semicontinuous Rm-
valued functions u = u(t,x) = (ui(t,x),.. . on which satisfy (12.86)
and the condition
for
Definition 11. The set SOIL (FL) of subsolut:ons (relatzve to FL) of the Cauchy
problem (12.80)-(12.81) is defined to be the set of all upper semicontinuous Rm-
valued functions u = u(t,x) = (ui(t,x),. . . on 11T which satisfy (12.87)
and the condition
for any0<t<r_<
It can be proved that, for any FL) E .Tu(f) x the intersection
Solu(FrJ)flSolL(FL) consists of a unique (Rm-valued) function, which is independent
of FL). Therefore, in complete concord with the previous definitions, we may
also give the following.
4° Main results
In this part, we formulate the main results on the existence and uniqueness of
minimax solutions for monotone systems of first-order nonlinear partial differen-
tial equations with time-measurable Hamiltonians and their relations with the (se-
mi)classical solutions (see Definition 2 in Chapter 11).
(ii) there exists a null set A C (0, T) such that, at each point (t, x) E ((0, T)\A) x R'
where a certain minimax solution of(12.80)-(12.81) is differentiable, the equations
(12.80) must be satisfied.
Theorem 12.14. Let the initial data a = a(x) be continuous on and the
Hamiltonians = f,(t,x,u,p), 1 < j < m, satisfy all Conditions (a)-(e). Then
there exists one unique minimax solution of the Cauchy problem (12.80)-( 12.81).
(1 + 3x1) . +
In this final chapter we present various things, more or less "for completeness."
Ou/*3t+f(Ou/Ox)=O in (13.1)
u(O,x) = on {t = 0, x E (13.2)
(F.II) For every bounded subset V of D, there exists a positive number N(V) so
that
+ t f((x — w)/t)} + t . f((x — y)/t)
whenever (t,x) V, > N(V). Here, f = f(z) denotes the Fenchel conjugate
function of f = 1(p).
x = x(t,y) = y+i
v = v(t,y) = +t. — (13.4)
I. p=p(t,y)=4'(y).
df , dq5
Here and subsequently, we write x, y, p, f = — and 4) = — as horizontal vectors
dp dx
in and (.,.) denotes the (Euclidean) inner product in As was mentioned
in the above, in general, we could not completely eliminate y from (13.4) to get
a single-valued function v = u(t,x) (i.e., in this form, u = u(t,x) might become
multi-valued). Anyway, if we try to do so, we may rewrite v = v(t,y) in (13.4) as
v = ((t,x(t,y),y)
where
((t,x,y) +t. f((x — y)/t). (13.5)
200 13. MISHMASH
Then the hypersurface (13.4) projects upon the entire half {t 0) of tx-space, and
the global solution (9.29) of (13.1)-(13.2) equals, at each point (t, x) of {t >0), the
smallest v-coordinate of the hypersurface in the following sense.
Theorem 13.1. Let = be of class C' in R", and let I = f(p) be str*ctly
convex and of class C1 in with lim = +00. Assume (F.lI). Then the
value u(t(°), x(°)) at each (t(°), x(°)), > 0, of the global solution u = u(t, x) given
by Hopf's formula (9.29) of the Cauchy problem (13.1)-(13.2) can be determined as
the smallest values of v(t(°),y) = ((t(°) ,x(t(°),y),y); the minimum being taken over
all y such that the characteristic curves {(t,x(t,y)) : t 0} starting from (O,y)
meet each other at (t(°),x(°)).
Proof. By hypotheses, f = I (z) is the same as the Legendre conjugate of
I= .f(p) (see Lemma 9.13 and [117, Theorem 26.61); moreover, both 1' and f' are
one-to-one mappings from onto itself with I = (f') Therefore, it follows
from (13.5) that ( = ((t,x,y) is differentiable in y with
= — (13.6)
It has been shown in the proof of Theorem 9.12 that (9.29) determines a global
solution u = u(t, x) of (13.1)-(13.2), and that the infimum
= inf (13.7)
pER
= 0.
Thus (13.6) implies 4,'(y(O)) = f'((x(°) — y(°))/t(°)). Since f' = (f')1, we have
= or, = + =
(
for every such stationary point So, the characteristic curve {(t,x(t,y(°)))
0}, which is starting from must pass through (t(°),x(°)). Because the
minimum in (13.7) is not affected if it is taken not for all y but only for those
stationary y, the proof is then complete. 0
§13.1. CONSTRUCTION OF GLOBAL SOLUTIONS VIA CHARACTERISTICS 201
u(0,x) = on {t = 0, x (13.9)
(E.II) For every bounded subset V of D, there ezzsts a positive number N(V) so
that
x =x(t,y) =v+f
(13.10)
v = v(t,y) = + — f(r,cb'(y)))dr,
p = p(t,y) =
In general, we can not completely eliminate y from (13.10) to get a single-valued
function v = u(t,x). Anyway, if we try to do so, we may rewrite v = v(t,y) in
(13.10) as
v= + (4'(y),x(t,y) — y) j f(r,qS'(y))dr.
—
202 13. MISHMASH
v=
where
It will be proved in Theorem 13.3 that the hypersurface (13.10) projects upon the
entire half {t 0) of tx-space, and the global solution (9.7) of (13.8)-(13.9) equals,
at each point (t, x) of {t 0}, the largest v-coordinate of the hypersurface.
First, let
u(t,x) dcf
= sup (y)), (13.13)
u(t,x) def
= sup (13.14)
pEdom #
ri(domq5) c E c (13.15)
where ri (dom q5') is the relative interior of dom Therefore, (13. 13)-( 13.14) yield
ü(i,x) < u(t,x). We now prove u(t,x) ü(t,x). Fix any e > 0,
and choose q E dom such that
u(t, x) x, q) + €.
u(i,x) +e
= lim co(t,x,p(m))+e
<ropp(t,x,p)+e
pEE
= ü(i,x)+ e.
§13.1. CONSTRUCTION OF GLOBAL SOLUTIONS VIA CHARACTERISTICS 203
(1, p>l,
def I
1(P) = p—plnp, pE[O,1],
ISO, p<O,
and
def I eZ, x<0,
cb(r) =
Lx+1, x>0.
Then
I plnp—p, pE[O,11,
+co,
and
ü(t,x) = sup{x — 4)(e') — tf(e")}.
It is easily seen that the value ü(1, —2) = sup = 0 can not be attained in
(13.13) at any point yE R1.
(E.V) For each (t,z) 1.), the supremum in (13.13) is attained at some point
yE
Remark. Let 4) = 4)(x) be convex and of class C' on R". Assume (E.I)-(E.II).
Then (E.V) is fulfilled, for example, if is an open set (cf. (13.15) and the
Remark above). In particular, this appears when 4) = 4)(x) is a co-finite strictly
convex function, i.e. when it is strictly convex with lim [4)(.Xx)/AJ = +co for all
A-+-4-oo
See [117, Theorems 26.5-26.6].
V of the global solution u = u(t,x) given by Hopf's for,nula (9.7) of the Cauchy
problem (13.8)-(13.9) can be determined as the largest values of
the maximum being taken over ally such that the characteristic curves {(t, x(t, y))
0} starting from (O,y) meet each other at (t(°), x(°)).
Proof. Since 4" is positive-definite, 4' = 4'(x) is convex on RTh. Notice that
(El) is satisfied trivially. From Proposition 13.2 and its Remark, we also see that
u(t,x) ü(t,x) on Moreover, it has been known (cf. (13.11)-(13.12)) that
= 4'(y) ÷ (4,'(y),x — y)
— f f(r,4"(y))dr;
hence,
—cp(t,x,4"(y)) = (x — y
— f (13.16)
—
— j = 0;
(essentially Theorem 13.1) was in the former case considered by Hopf [64] himself
while he had no answer in the latter.
As we have seen (for example, by Theorems 2.1-2.2, Proposition 4.1 ... ), in general,
classical solutions to the Cauchy problem for nonlinear partial differential equations
exist only locally in time, and global (generalized) solutions contain singularities.
In the definition of most kinds of generalized solutions, such as weak, minimax,
or viscosity solutions, the regularity condition is relaxed significantly. (A mimmax
or viscosity solution needs only be continuous.) To get further information about
the solution, it is therefore very important to investigate its smoothness. Theorems
2.6-2.7 and 3.1 can be considered, to some degree, as investigations in this direction.
In particular, the theme of constructing the singularities of generalized solutions,
or of weak solutions, is thoroughly studied in Chapters 4-7.
In this section, we investigate the smoothness of the global solutions that are
given by Hopf's formulas. Consider the Cauchy problem (13.8)-(13.9), =
being a convex function on Let (E.I)-(E.II) hold. It has been shown in Chapter
9 that (9.7), or equivalently (13.14), yields a global solution u = u(t, x) of this
problem. Recall that the definition
L(i,x) def
= {pE R : = u(t,x)} C
= :pE = min{p1 : pE
206 13. MISHMASH
Hence, according to the maximum theorem [8, Theorem 1.4.161, (9.13)-(9.14) show
that the derivatives Ou/Ot, Ou/Oxi,..., Ou/Ox,, exist and are continuous in U (see
also [128, Corollary 2.21); i.e., the global solution u = u(t, x) is continuously differ-
entiable in U. 0
Remark. A special case of Theorem 13.4, when n equals 1, 4, = 4,(x) is globally
Lipschitz continuous, was considered by Kruzhkov, S.N. and Petrosyan, N.S. [94,
Lemmas 1 and 3]. There, instead of the multi-valued function L = L(t, x), they
used the single-valuedp =p(t,x)diinf sup L(t,x),
and established some interesting properties of these single-valued functions. In
particular, we have:
Corollary 13.6. Under the hypotheses of Proposition 13.5, suppose the global
soluhon u = u(t,x) def *
= max{px —4, (p) — tf(p)} of(13.8)-(13.9) ss at
pER
(t(°),x(°)). Then it is also differentiable at (t,x) E C for all t E (0,t(°)).
Proof. Since u = u(t,x) is differentiable at (t(°),x(°)),the proof of Theorem
13.4 shows that L(t(°),x(°)) is a singleton. By Proposition 13.5, L(t,x) is also a
u(0,x)=x2/2 on xER},
where
(0, p0,
def I
s
p, O<p<l,
1, p>1.
Note that 4) = x2/2 is convex, but not globally Lipschitz continuous; and we can
not use Hopf's formula (9.3) for n = 1. In this case, however, (E.I) and (E.II)"
hold trivially. (See Remark 2 following the formulation of Theorem 9.1.) Hence, by
(9.7), a global solution of this problem is
u(t,x) = max {max{px — p2/2}, max{px — p2/2 — tp}, rnax{px — p2/2 — t}},
or 2
if (t,x)ED1,
0 if (t,x)EV2,
u(t, x) = (x — t)2
(t,x)ED3,
2
if (t,x)ED4.
Here,
zER}\(D1UV2UV3).
5 x2/2, x 2,
(C) .
—
12(x—1)
This fact can be foreseen by noticing that L(t,x) = {0,x} if t = x2/2, x 2,
and L(t,x) = {x — t,x} if t = 2(x — 1), 1 < x < 2, while L(t,x) is a singleton
208 13. MISHMASH
if (t,x) (C). (Direct computation shows that L(t,x) = {x} for (t,x) V1,
L(t,x) = {0} for (t,x) V2\(C), L(t,x) = {z — i} for (t,x) E D3\(C), and
L(i, x) = {x} for (t, x) E V4\(C).)
=0 in {t>0,x€R},
on {t=0, x€R}.
A global solution of this problem is:
ty
x(i,y)=y—
+ y2
starting from (0,1) and (0,2), respectively, meet each other at the point
Nevertheless, the differentiability of the solution is not broken down in some neigh-
borhood of this point.
As we have mentioned, since the early 1980s, the concept of viscosity solutions in-
troduced by Crandall and Lions has been used in a large portion of research in a
nonclassical theory of first-order nonlinear partial differential equations as well as in
other types of partial differential equations. The primary virtues of this theory are
that it allows merely nonsmooth functions to be solutions of nonlinear partial differ-
ential equations, that it provides very general existence and uniqueness theorems,
and that it yields precise formulations of general boundary conditions. (See 151,
§13.3. RELATIONSHIP BETWEEN MINIMAX ANT) VISCOSITY SOLUTIONS 209
I10]-[20], [281, 135]-[39], [47]-[50], [67]-[72], [79], [991-1101], [122J-[123), [131], and the
references therein.) These contributions make great progress in nonlinear partial
differential equations, where the global existence, uniqueness, and well-posedness
of generalized solutions have been established almost completely.
The concept of viscosity solutions is motivated by the classical maximum prin-
ciple which distinguishes it from other definitions of generalized solutions, and it is
based on replacing the equations by pairs of differential inequalities. In the research
of both minimax and viscosity solutions, much attention is given to the construction
of subgradients, subdifferentials, generalized derivatives, and so on, all of which are
used in work with nonsmooth functions. For equations with continuous Hamiltoni-
ans, Subbotin and his coworkers ([1], [124]) have shown that minimax solutions can
be defined by the use of inequalities for directional derivatives that are equivalent
in essence to inequalities for subgradients and supergradients used in the defini-
tion of viscosity solutions. We now examine the relationship between minimax and
viscosity solutions in the case of equations with time-measurable Hamiltonians. In
our approach, the definition of minimax solutions needs not be via inequalities for
directional derivatives. It is enough to use only those given in Chapter 12.
Let = be a finite-valued function of near a point E Rm and let
e 6 Rm, -y 6 Rm. Recall that the upper and lower Dini semiderivatives of =
at the point e are defined as:
—
inf sup +
e>O O<J(e
(13.18)
—
inf +
e>O O<6(e
—
inf sup — —
(13.19)
tf inf —
— — —
{i' Rm : 0},
(13 20)
Dt/'(e(°)) {-y E Rm : 0}.
The mapping Rm e '—' 6 [—co, oc] is of course positive-homogeneous,
i.e., = A (A >0). Fore = 0, the relation O(°)) {0,oo}
210 13. MISHMASH
holds. It also follows directly from (13.18) that this mapping is upper semicon-
tinuous. Analogous properties are enjoyed by the mapping Rm e '—p
—
= + — + o(e
— —
+ + o(e
— —
+ + o(e
= {y E Rm : (y,e) Ve
1321 )
={ Rm : (,e) Ve Rm}.
0 inf sup — —
—
—
mi sup +
—
—
e>0 O<S(e
Ii—eI<e
= [mi sup +
—
—
3
i—el<e
= —
§13.3. RELATIONSHIP BETWEEN MINIMAX ANT) VISCOSITY SOLUTIONS 211
hence,
inf sup + — =
e>O
It follows that
0 inf sup +
—
—
e>O O<ö(e
inf
e>O
sup + — — h1
= 00 — il = 00,
a contradiction.
In the converse direction, suppose (y,e) Ye E Rm. Using (13.19),
we can choose a sequence C Rm, 0 — -4 0 as k co, such that
urn —
— —
= (13.22)
—
k-+oo
= lim + — —
k-+oo
= lim + e)
k—+oo
— (i',e) 0,
=0 in (13.23)
212 13. MISHMASH
Here, 0 < T < oc. Assume that the terminal data = u(x) is of class C° on
and that the Hamiltonian f = f(t,x,u,p) is measurable in t E (0,T) and
continuous in (x,u,p) E Rx In accordance with [35] and [39], we propose
the following:
Theorem 13.7. Under the hypotheses of Theorem 12.6, the m;nimaz solution of
(13.23)-(13.24) is also a viscosity solution.
Proof. Take A C (0, T) to be a null set satisfying (12.37) of Lemma 12.3. By [119,
p. 158], we may assume that AC (0, T)\A C Leb(t), with £ = £(t) the function
mentioned in Condition c) (Part 10 of §12.2), and Leb(i) the set of all t E (0,T)
1
satisfying lim £(r)dr — £(t) = 0.
J
Let u = be the minimax solution of (13.23)-(13.24) that exists and is
unique by Theorem 12.6. Actually, we have shown more, namely that u = u(t, x)
does not depend on the choice of the multivalued mappings = x, u, cs)
and FL = FL(t,x,u,/3) (in Fu(f) and FL(f), respectively). From now on, we
shall particularly use (12.14) for a concrete pair of such multivalued mappings and,
accordingly, use Definitions 1-3 in Chapter 12.
§13.3. RELATIONSHIP BETWEEN MINIMAX AND VISCOSITY SOLUTIONS 213
x8(.)
with
+ + 5)) — 0. (13.27)
+ 5) — Because E AC is a
=f
Let yo j(°)
1(0)
point of £ = £(t) and the function family {xö(.)}ö C x(°)) is uniformly
bounded, (12.14) yields
1
sup —IyoI sup I £(r)(1 + x6(r)I)dr < oo.
5
Consequently,
1
urn =y (13.28)
5
for some y E R" and > 5(e) > ... > 5(k) 0. But, by (12.16) and (12.14), we
now see that
= a)dr
f f(r,xo(r), u(i(°>, x(°)),cx)dr,
J
This together with (12.37) and (13.28) implies (y,b) f(t(°),x(°),u(t(°),x(°)),b).
Therefore, it follows from (13.27)-(13.28) and (13.18)-(13.21) that
The inequality (13.26) has been proved for almost all t E (0, T) and for all x E
Similarly for the inequality (13.25). The proof is thus complete. 0
Appendix I
Giobal Existence
of Lharacteristic Curves
In this appendix, we will give sufficient conditions which guarantee the global solv-
ability of the Cauchy problem (2.7)-(2.8) and (215)-(2.16). In [43], B. Doubnov
gave sufficient conditions for the global solvability of Hamilton's equation. First,
we report his problem and results.
Let f = f(t,x,p) be a C2-function defined on = {(i,x,p) t E R, x E
:
= (1 = 1,2,... ,n),
1 (All)
I (i=1,2
x(0) = p(O) = p°. (AI.2)
[p1 for p[ R.
B. Doubnov [43] proved that, if (AI.3) is satisfied, the Cauchy problem (AI.1)-
(AI.2) has uniquely a global solution on {t 0} for all (x°,p°) E x We
give here a brief explanation for this result. As it is well-known that there exists
a local solution of (AL1)-(AI.2), we show that the solution does not blow up in a
GLOBAL EXISTENCE OF CHARACTERISTIC CURVES 215
finite time. Let x = x(t) and p = p(t) be solutions of (AI.1)-(AI.2). Then it holds
that
=
If(t,x(t),p(t))I <
where L and M are constants. As p = o(fk), p = p(t) does not blow up in a finite
time. Using the third inequality in (AI.3), we see that x = x(t) does not blow up
in a finite time. Therefore, we can say that the seminal idea of B. Doubnov 143)
comes from the following example: The Cauchy problem
Of 01
I NIfI.
and
+
on DL.
Proposition AI.1. Suppose (C.1) and (C.2). Then the Cauchy problem (2.15)-
(2.16) has a global solution x = x(t,y), v = v(t,y), p = p(t,y) for any initial
data.
for n=2.
Though this example does not satisfy (AI.3), the Cauchy problem (AI.1)-(AI.2) has
a global solution for any initial data. Therefore, we would like to give an example
where the Hamiltonian I = f(x,p) is a polynomial of p with lim f(x,p) = 00,
but the corresponding Cauchy problem (AI.1)-(AI.2) cannot be solved globally with
respect to t.
Example. Let n = 1, and let a = a(x) be of class C°° on R such that a(x) = on
{(xI l}, and that a(x) C = constant > 0 on {IxI 1}. Put f(x,p) a(x)p2.
Then the Cauchy problem (AI.1)-(AI.2) cannot have a global solution for some
initial data. For example, if x° > 1 and p° > 0, then it does not admit a global
solution.
Appendix II
Convex Functions,
Mu Itifu nctions,
and Differential Inclusions
In this appendix, for the convenience of the reader, we summarize without proofs
the relevant material on convex functions, multifunctions, and differential inclusions
that we have used in an essential way since Chapter 8. For the proofs we refer the
reader to [8], [22], [29], [40], [64], and [117].
(x+eB)fl(affD)CDforsomee>0},
Theorem AII.1. [117, Theorem 6.11 Let D be a convex set in Let x riD
andyED. Then (1—A)x+AyEriDforoA<1.
218 APPENDIX II
Let 4 = 4(x) be a function whose values are real or ±00 and whose domain is
a subset D of IR". The set
epi4,={(x,p):xED,pER,p4,(x)}
deC
This is a convex set in IR", since it is the image of the convex set epi 4, under a
linear transformation. if im4, {4,(x) x E D} C (—co,
: and dom4, 0,
then 4, = 4,(z) is called proper. Trivially, the convexity of 4, = 4,(x) is equivalent
to that of the restriction of 4, = 4,(x) to dom 4,. All the interest really centers on
this restriction, and D itself has little role of its own. Moreover, one could limit
attention to functions given on all of R", since a convex function 4, = 4,(x) on D
can always be extended to a convex function on all of R" by setting 4,(x) +00
for x D. Therefore, by a "convex function," we shall henceforth always mean
a "convex function with possibly infinite values which is defined throughout the
space IR"," unless otherwise specified. The convexity condition can be expressed in
several different ways. For example, we have:
Theorem AII.3. [117, Theorem 4.2] Let 4i = çb(x) be a function from R" to
[—co, +oo]. Then 4, = 4,(x) is convex if and only if
The function a = a(y) in Theorem AII.4 is called the image of 4, = 4,(x) under
A, in symbols, a = A4,. The inequality in Theorem AH.2 is often taken as the
definition of the convexity of a function 4, = 4,(x) from a convex set D to (—oo, +00].
(This approach causes difficulties, however, when 4, = 4,(z) can have both +00 and
—oo among its values, since the expression oo — oo could arise.) In this approach,
furthermore, if 4, = 4,(x) is finite and if the inequality is strict for any two different
points x and y in D, then the function 4, = 4,(x) is called strictly convex on D. Of
course, the condition in Theorem AII.3 could be used as the definition of convexity
in the general case, but the definition given via epigraph seems preferable because
it emphasizes the geometry which is fundamental to the theory of convex functions.
Here are some elementary topological properties of convex functions.
Theorem AII.5. [117, Corollary 7.5.1] For a lower semi continuous proper convex
function 4, = 4,(x), one has
4,*
4, = 4,(x) from to [—00, +ool
can be defined by the same formula as above. It is actually a lower semicontinuous
220 APPENDIX II
convex function.) The following main facts about conjugate convex functions are
from [117, Theorem 12.2, Corollaries 12.2.1-12.2.2, Theorems 23.4-23.5], or partly
from (64, Theorem 4.1 and the addition].
: x pER's.
Further, we have:
— — yj Vx,y.
= —
This equality suggests that the conjugacy operation is closely related to the
classical Legendre transformation in the case of differentiable convex functions. (See
§ 10.2 for the definition of the Legendre transformation.) In fact, this relationship
is in detail as follows.
Corollary AII.1O. (cf. [117, Corollary 26.4.1]) Let 4, = 4,(x) be any differentiable
convex function on R". Then the Legendre conjugate (B, a) of 4,) is well-
defined. One has
: xER't}Cdom4,.
Furthermore, a = a(p) is the restriction of 4, = 4,(p) to B, and a = a(p) is
strictly convex on every convex subset of B.
We now describe the case where the Legendre transformation and the Fenchel
conjugacy correspondence coincide completely. A finite convex function 4, 4,(x)
on R" is said to be co-finite if epi 4, contains no non-vertical half-lines, and this is
equivalent (by [117, Corollary 8.5.2)) to the condition that
or (by [117, Corollary 13.3.1]), to the condition that 4, = q5(p) is finite everywhere.
= (p, (4,')1(p)) —
4, 4, =
Theorem AII.13. [117, Theorem 25.2] Let 4' = 4,(x) be a convex function on
and let y be a point at which 4' = 4'(x) is finite. A necessary and sufficient
condition for 4' = cb(x) to be differentiable at y is that the n two-sided partial
derivatives 84i/0x1 exist at y and are finite.
that a inultifunction satisfies P if and only if its graph satisfies P. For instance, a
multifunction is said to be closed (respectively, measurable) if and only if its graph
is closed (respectively, measurable) in the product metric space Y x X. (Whenever
we deal with measurability, we consider on Y = Rm the cr-algebra of all Lebesgue
measurable subsets and on X = R?i the cr-algebra of Borel subsets.) if the values
of a multifunction are closed, bounded, compact, and so on (in X), we say that it
is closed-valued, bounded-valued, compact-valued, and so on. Of course, L = is
called locally bounded if is bounded for any bounded subset fl of
0.
We shall consider only nonempty-valued multifunctions. Ftirther, as a rule,
multifunctions investigated in this book are always compact-valued. For such miii-
tifunctions, we can use:
Proposition AII.15. (cf. [29, Theorem 11.20]) Let L = have compact convex
values. Then it is upper semicontinuous if and only if the function
sup(p,x)
,EL(t)
224 APPENDIX II
Proposition AII.16. (cf. [29, Theorem 11.251) Let L = be an upper semi con-
tinuous multifunction with compact values. Then L(Q) is compact for any compact
subset Q of 0.
{p for 0. (AII.3)
Berge's maximum theorem concerning the above marginal function can be formu-
lated (see [22, p. 123], or [8, Theorem 1.4.161) as follows.
Especially, the above definition agrees with the classical one for measurable
functions if L = is single-valued.
§AIL2. MTJLTIFUNCTIONS AND DIFFERENTIAL INCLUSIONS 225
Theorem AII.20. (cf. [8, Theorem 8.2.14] and [29, Theorem 111.15]) Let 0 be a
Lebesgue measurable subset of If L = is a measurable inultif unction on
O with closed (non-empty) values in then the function
sup(p,x)
is measurable for every x E The converse statement holds true if the values of
L= are convex and bounded.
For any E J x RTh, denote by Xo(t.,x.) the set of all absolutely continuous
functions x = x(t) from J into which satisfy (AII.4) subject to the constraint
x(t.) = Topological properties of the solution sets will be investi-
gated in the Banach space C(J, of continuous functions given on J with values
in R". (The norm in C(J, is the usual "max" one.) We have:
Theorem AII.21. [40, Theorems 5.2 and 7.1]) Let G = G(t, x) have non-
(cf.
empty closed convex values and be measurable in t E J, upper semicontinuous in
x 6 R" such that
Theorem A1L22. (Filippov) [8, Theorem 10.4.1] (cf. [40, Lemma 8.3]) Let
G = G(t, x) have closed non-empty values and y = y(t) be an function
absolutely continuous on J, and let 8 > 0. Assume:
(i) G = G(t,x) is measurable in t E J;
(ii) there exist an r > 0 and a nonnegative function £ = £(i) integrable on J such
that
G(t, r1) C G(t, x2) + £(t)Ix' — x2JB Vx', x2 E y(t) + rB
for almost all t E J;
(iii) the function t f—* 1(t) — p E G(t, y(t))} is integrable on J.
VtEJ
[1] Adiatullina, R.A. and Subbotin, A.I., Generalized solutions of equations of the
type Oço/Ot + = 0, Differential Equatwns 28 (1992), 643-649.
[2] Aizawa, S., Global solutions of partial differential equations of first order, Sugaku
(Mathematics) 21 (1968), 11-23. (in Japanese)
[3] —, A semi-group treatment of the Hamilton-Jacobi equation in several space
variables, Hiroshima Math. J. 6 (1976), 15-30.
[4] Aizawa, S. and Kikuchi, N., A mixed initial and boundary value problem for
the Hamilton-Jacobi equation in several space variables, Funkcialaj Ekvacioj 9
(1966), 139-150.
[5] Aizawa, S. and Tomita, Y., On unbounded viscosity solutions of a semilinear
second-order elliptic equation, Funkcialaj Ekvacioj 31 (1988), 141-160.
[6] Alexandrov, A.D., On surfaces which may be represented by the difference of
convex functions, Dokl. Akad. Nauk SSSR 72 (1950), 613-616. (in Russian)
[7] Aubin, J.-P. and Ekeland, I., Applied nonlinear analysis, A Wiley — Interscience
publication, John Wiley & Sons, New York, 1984.
[8] Aubin, J.-P. and Frankowska, H., Set-valued analysis, Birklsi.user, Base!, 1990.
[9] Ballou, D.P., Solutions to nonlinear hyperbolic Cauchy problems without con-
vexity conditions, Trans. Amer. Math. Soc. 152 (1970), 441-460.
[10] Barbu, V. and Da Prato, G., Hamilton-Jacobi equations in Hubert spaces, Re-
search Notes in Math., Vol. 86, Pitman, Boston, MA, 1983.
[11] Bardi, M. and Evans, L.C., On Hopf's formulas for solutions of Hamilton-Jacobi
equations, Nonlinear Analysis, Theory, Methods elApplications 8 (1984), 1373-
138 1.
[12] Bard, M. and Faggian, S., Hopf-type estimates and formulas for non-convex
non-concave Hamilton-Jacobi equations, SIAM J. Math. Anal. 29 (1998), 1067-
1086.
[13] Bardi, M. and Osher, S., The non-convex multidimensional Riemaim problem
for Hamilton-Jacobi equations, SIAM J. Math. Anal. 22 (1991), 344-351.
[14] Barles, G., Existence results for first-order Hamilton-Jacobi equations, Ann.
Inst. H. Poincaré - Analyse non-linéaire 1 (1984), 325-340.
[15] —, Uniqueness and regularity results for first-order Hamilton-Jacobi equations,
Indiana Univ. Math. J. 39 (1990), 443-466.
[16] —, Regularity results for first-order Hamilton-Jacobi equations, Differential &
Integral Equations 3 (1990), 103-125.
[17] —, Solutions de viscosité des equations de Hamilton-Jacobi, Springer — Verlag,
Berlin — Heidelberg, 1994.
228 REFERENCES
[18] Barles, G. and Perthame, B., Exit time problems in optimal control and van-
ishing viscosity method, SIAM J. Control Optim. 26 (1988), 1133-1148.
[19] Barron, EN. and Jensen, R., Generalized viscosity solutions for Hamilton-
Jacobi equations with time-measurable Hamiltonians, J. Differential Equations
68 (1987), 10-21.
[20] —, Optimal control and semicontinuous viscosity solutions, Proc. Amer. Math.
Soc. 133 (1991), 397-402.
[21] Benton, S.H., The Hamilton-Jacobi equation: a global approach, Academic Press,
New York, 1977.
[22] Berge, C., Espaces topologiques. Fonctions multivoques, Dunod, Paris, 1966.
[23] Bony, M., Calcul symbolique et propagation des singularités pour les equations
aux dérivées partielles non-linéaires, Ann. Sci. Ecole Normale Sup. série 14
(1981), 209-246.
[24] Brancli, P. and Ceppitelli, R., Existence, uniqueness and continuous dependence
for hereditary differential equations, J. Differential Equations 81 (1989), 317-
339.
[25] Brandi, P. and Marcelli, C., Haar inequality in hereditary setting and applica-
tions, Rend. Sem. Mat. Univ. Padova 96 (1996), 177-194.
[261 —, Extremal solutions and Gronwall inequality in functional setting, Boll. Un.
Mat. It. (7) 10-B (1996), 233-254.
[27] —, Uniqueness and continuous dependence for Carathéodory solutions of func-
tional Cauchy problem, Atti Sem. Mat. Fis. Univ. Modena XLIV (1996),
379-391.
[28] Cappuzzo-Dolcetta, I. and Lions, P.-L., Viscosity solutions of Hamilton-Jacobi
equations and state constraints, Trans. Amer. Math. Soc. 318 (1990), 643-683.
[29] Castaing, Ch. and Valadier, M., Convex analysis and measurable multifunctions,
Lecture Notes in Math., Vol. 580, Springer—Verlag, New York, 1977.
[30] Chaplygin, S.A., Collected papers on mechanics and mathematics, Moscow,
1954. (in Russian)
[31] Coddington, E.A. and Levinson, N., Theory of ordinary dzfferentzal equations,
McGraw-Hill, New York, 1955.
[32] Conway, ED., The formation and decay of shocks for a conservation law in
several dimensions, Arch. Rational Mech. Anal. 64 (1977), 47-57.
[33] Conway, E.D. and Hopf, E., Hamilton's theory and generalized solutions of the
Hamilton-Jacobi equation, J. Math. Mech. 13 (1964), 939-986.
[34] Coura.nt, R. and Hilbert, D., Methods of mathematical phys;cs I-Il, Interscience
Publishers (1953, 1962).
[35] Crandall, M.G., Evans, L.C., and Lions, P.-L., Some properties of viscosity
solutions of Hamilton-Jacobi equations, Trans. Amer. Math. Soc. 282 (1984),
487-502.
[36] Crandall, M.G., Ishii, H., and Lions, P.-L., Uniqueness of viscosity solutions of
Hamilton-Jacobi equations revisited, J. Math. Soc. Japan 39 (1987), 581-596.
[37] —, User's guide to viscosity solutions of second-order partial differential equa-
tions, Bull. Amer. Math. Soc. 27 (1992), 1-67.
REFERENCES 229
[38] Crandall, M.G. and Lions, P.-L., Condition d'unicité pour les solutions gdnéral-
isées des equations de Hamilton-Jacobi du premier ordre, C.R. Acad. Sci. Paris
SCr. I Math. 292 (1981), 183-186.
[39) —, Viscosity solutions of Hamilton-Jacobi equations, Thins. Amer. Math. Soc.
277 (1983), 1-42.
[40] Deimling, K., Multivalued differential equations, De Gruyter, 1992.
[41) Debeneix, T., Certains systèmes hyperboliques quasi-linéaires, Universite' de
Paris VII, Preprint, 1980.
[42] Dieudonné, J., Foundations of modern analysis, Academic Press, New York,
1960.
[43] Doubnov, B., Sur l'existence globale des solutions des equations d'Hamilton,
Supplement dans Théorie des perturbations et inéthodes asymptotiques (par
Maslov, V.P.), Dunod, Paris, 1972 (in French). Japanese transl. by Ouchi,
S., Kaneko, A., and Murata, M., Iwanami Shoten, Tokyo, 1976.
[44] Douglis, A., Solutions in the large for multi-dimensional nonlinear partial d-
ifferential equations of first order, Ann. Inst. Fourier, Grenoble 15 (1965),
1-35.
[45] —, Layering methods for nonlinear partial differential equations of first order,
Ann. Inst. Fourier, Grenoble 22 (1972), 141-227.
[46] Duff, G.F.D., Hyperbolic differential equations and waves, in Boundary value
problems for linear evolution partial differential equations, pp. 27-155, D. Reidel,
1977. (Garnir, H.G., Ed.)
[47] Engler, H. and Lenhart, S., Viscosity solutions for weakly-coupled systems of
Hamilton-Jacobi equations, Proc. London Math. Soc. 83 (1991), 212-240.
[48] Evans, L.C., Some mm-max methods for the Hamilton-Jacobi equations, Indi-
ana Univ. Math. .J. 33 (1984), 31-50.
[49] —, Partial differential equations, Berkeley Mathematics Lecture Notes Series,
Vol. 3, 1993.
[50] Evans, L.C. and Souganidis, P.E., Differential games and representation formu-
las for solutions of Hamilton-Jacobi-Isaacs equations, Indiana Univ. Math. J.
33 (1984), 773-797.
[51] Fleming, W.H., The Cauchy problem for degenerate parabolic equations, J.
Math. Mech. 13 (1964), 987-1008.
[52] —, The Cauchy problem for a nonlinear first-order partial differential equation,
J. Differential Equations 5 (1969), 515-530.
[53] Folland, G.B., Real analysis: modern techniques and their applications, A Wi-
ley — lnterscience publication, John Wiley & Sons, New York, 1984.
[54) Friedman, A., The Cauchy problem for first-order partial differential equations,
Indiana Univ. Math. J. 23 (1973), 27-40.
[55] Gb.rding, L., Hyperbolic differential operators, in Perspectives in Math., An-
niversary of Oberwolfach 1984, pp. 215-247, Birkhãuser Verlag, Basel.
[56] Gaveau, B., Evolution of a shock for a single conservation law in 2+1 dimensions,
Bull. Sc. math. 113 (1989), 407-442.
[57) Golubitsky, M. and Schaeffer, D.G., Stability of shock waves for single
vation laws, Adv. in Math. 15 (1975), 65-71.
230 REFERENCES
[58] Gordon, W.B., On the diffeomorphism of Euclidean space, The American Math-
ematical Monthly 29 (1972), 755-759.
[59] Guckenheimer, J., Solving a single conservation law, Lecture Notes in Math.,
Vol. 468, 1975, PP. 108-134 (Springer - Verlag).
[60] —, Shocks and rarefactions in two space dimensions, Arch. Rational Mech.
Anal. 59 (1975), 281-291.
[61] Haar, A., Sur l'unicité des solutions des equations aux dérivées partielles, C.R.
Acad. Sci. Paris 187 (1928), 23-26.
[62] Hartman, P., Ordinary differential equations, John Wiley & Sons, New York -
London — Sydney, 1964.
[63] Hopf, E., The partial differential equation Ut + = Commun. Pure
AppI. Math. 3 (1950), 201-230.
[64] -__, Generalized solutions of nonlinear equations of first order, J. Math. Mech.
14 (1965), 951-973.
1651 Hórmander, L., The analysis of linear partial differential operators I-IV, Sprin-
ger, Berlin, 1983.
[66] Horst, R. and Tuy, H., Global optimization: deterministic approaches, Springer,
Berlin, 1996. (3., rev, and enl. ed.)
[67] Ishii, H., Uniqueness of unbounded viscosity solutions of Hamilton-Jacobi equa-
tions, Indiana Univ. Math. .J. 33 (1984), 721-748.
[68] —, Existence and uniqueness of solutions of Hamilton-Jacobi equations, Funk-
cialaj Ekvacioj 29 (1986), 167-188.
[69] —, Perron's method for Hamilton-Jacobi equations, Duke Math. J. 55 (1987),
369-384.
[70J —, A simple direct proof for uniqueness for solutions of the Hamilton-Jacobi
equations of eikonal type, Proc. Amer. Math. Soc. 100 (1987), 247-251.
[71J —, Representation of solutions of Hamilton-Jacobi equations, Nonlinear Anal-
ysis, Theory, Methods &Applications 12 (1988), 121-146.
[72] Ishii, H. and Koike, S., Viscosity solutions for monotone systems of second-order
elliptic PDEs, Commun. in PDEs 16 (1991), 1095-1128.
1731 Izumiya, S., Geometric singularities for Hamilton-Jacobi equations, Ado. Stud-
ies in Pure Math. 22 (1993), 89-100.
[74[ —, Characteristic vector fields for first-order partial differential equations, Pre-
print.
[75] Izuiniya, S. and Kossioris, G.T., Semi-local classification of geometric singu-
larities for Hamilton-Jacobi equations, J. Differential Equations 118 (1995),
166-193.
[76J —, Bifurcations of shock waves for viscosity solutions of Hamilton-Jacobi equa-
tions of one space variable, Bull. Sc. math. 121 (1997), 619-667.
[77] Jeffrey, A., Quasilinear hyperbolic systems and waves, Research Notes in Math.,
Vol. 5, Pitman, 1976.
[78] Jennings, G., Piecewise smooth solutions of single conservation laws exist, Adv.
in Math. 33 (1979), 192-205.
REFERENCES 231
[791 Jensen,R. and Souganidis, P.E., Regularity results for viscosity solutions of
Hamilton-Jacobi equations in one space dimension, Trans. Amer. Math. Soc.
301 (1987), 137-147.
[80] John, F., Partial differential equations, Springer, Berlin, 1975.
[81] Kainke, E., Zur Theorie gewohnlicher Differentialgleichungen II, Acta Math. 58
(1932), 57-85.
[82] Kolokol'tsov, V.N. and Maslov, V.P., The Cauchy problem for a homogeneous
Bellman equation, Doki. Acad. Nauk SSSR 296 (1987), 796-800. (in Russian)
[83] Krasnosel'skii, M.S., The operators of translation along the trajectories of dif-
ferential equations, AMS Translations of Math. Monograph, Vol. 19, 1968.
[84] Krasovskii, N.N. and Subbotin, A.I., An alternative for game problem of con-
vergence, Prild. Mat. Mekh. 34 (1970), 1005-1022 (in Russian). English transi.
in J. App!. Math. Mech. 34 (1971), 948-965.
[85] —, On the structure of game-theoretical problems of dynamics, Prikl. Mat.
Mekh. 35 (1971), 110-122. (in Russian)
[86] —, Positional differential games, Nauka, Moscow, 1974. (in Russian)
[871 Krushkov, S.N., The Cauchy problem in the large for certain nonlinear first-
order equations, Soviet Math. Dokl. 1 (1960), 474-477.
[88] —, Generalized solutions of nonlinear first-order equations with several inde-
pendent variables, Math. USSR Sb. 1 (1967), 93-116.
[89] —, Generalized solutions of the Cauchy problem in the large for nonlinear e-
quations of first order, Soviet Math. DokI. 10 (1969), 785-788.
[90] —, On the mm-max representation of solutions of first-order nonlinear equa-
tions, Functional Anal. Applic. 2 (1969), 128-136.
[91] —, First-order nonlinear equations and the differential games connected with
them, Uspekhi Mat. Nauk 24 (1969), 227-228. (in Russian)
[92] —, First-order quasilinear equations in several independent variables, Math.
USSR Sb. 10 (1970), 217-243.
[93] —, F\xnction theory and differential equations, Moscow Univ. Math. Bull. 46
(1991), 30-35.
[94] Kruzhkov, S.N. and Petrosyan, N.S., Asymptotic behaviour of solutions of the
Cauchy problem for first-order nonlinear equations, Uspekhi Mat. Nauk 42
(1987), 3-40. (in Russian)
[95] Kuznetsov, N.N., Precision of certain approximate methods of calculation of
weak solutions for quasi-linear first-order equations, Zhurn. Vychisl. Mat. i
Mat. Fiz. 1 (1975), 1489-1502.
[96] Lakshmikantham, V. and Leela, S., Differential and integral inequalities I-If,
Academic Press, New York, 1969.
[97] Lax, P.D., Hyperbolic systems of conservation laws II, Commun. Pure App!.
Math. 10 (1957), 537-566.
[98] —, Hyperbolic systems of conservation laws and the mathematical theory of
shock waves, SIAM Regional Conference Series in AppI. Math., Vol. 11, 1973.
[99] Lenhart, S., Viscosity solutions for weakly-coupled systems of first-order PDEs,
J. Math. Anal. AppI. 131 (1988), 180-193.
232 REFERENCES
[1211 Smoller, J., Shock waves and reactzon-diffusion equations, Springer— Verlag,
Berlin, 1983.
[122] Souganidis, P.E., Existence of viscosity solutions of Hamilton-Jacobi equations,
J. Differential Equations 56 (1985), 345-390.
[123] —, Approximation schemes for viscosity solutions of Hamilton-Jacobi equations,
J. Differential Equations 59 (1985), 1-43.
[124] Subbotixi, A.I., Minimax inequalities and Hamilton-Jacobi equations, Nauka,
Moscow, 1991. (in Russian)
[1251 —, Generalized solutions of first-order PDEs: the dynamical optimization per-
spective, Birkkauser, Boston, 1995.
[126] Subbotin, A.I. and Shagalova, L.G., A piecewise linear solution of the Cauchy
problem for the Hamilton-Jacobi equation, Russian Acad. Sci. DokI. Math. 46
(1993), 144-148.
[127] Subbotina, N.N., Cauchy's method of characteristics and generalized solutions
of Hamilton-Jacobi-Bellman equations, Doki. Acad. Nauk SSSR 320 (1991),
556-561. (in Russian)
[1281 Szarski, J., Differential inequalities, Monografle Matematyczne, Warszawa, 1967.
(2., rev. ed.)
[129] Tarasyev, A.M., Approximation schemes for the construction of the generalized
solution of the Hamilton-Jacobi (Bellman-Isaacs) equation, Prikl. Mat. Mekh.
58 (1994), 22-36. (in Russian)
[1301 Tarasyev, A.M., Uspenskii, A.A., and Ushakov, V.N., Approximation operators
and finite-difference schemes for the construction of generalized solutions of
Hamilton-Jacobi equations, Izv. RAN Tekhn. Kibernet. 3 (1994), 173-185. (in
Russian)
[131] Tataru, D., Viscosity solutions of Hamilton-Jacobi equations with unbounded
nonlinear terms, J. Math. Anal. AppI. 163 (1992), 345-392.
[132] Thai Son, N.D., Liem, N.D., and Van, T.D., Minimax solutions of first-order
nonlinear partial differential equations with time-measurable Haxniltonians, in
Dynamical systems and applications, pp. 647-668, World Sci. Ser. Appl. Anal.,
Vol. 4, World Sci. Publishing, River Edge, NJ, 1995. R.P., Ed.)
[133] —, Minimax solutions for monotone systems of first-order nonlinear partial
differential equations with time-measurable Hamiltonians, Funkcialaj Ekvacioj
40 (1997), 185-214.
[134] Thom, R., The two-fold way of catastrophe theory, Lecture Notes in Math., Vol.
525, 1976, pp. 235-252 (Springer—Verlag).
[135] Tomita, Y., On a mixed problem for the multi-dimensional Hamilton-Jacobi
equation in a cylindrical domain, Hiroshima Math. J. 8 (1978), 439-468.
[136] Tsuji, M., Solution globale et propagation des singularités pour l'équation de
Hamilton-Jacobi, C.R. Acad. Sci. Paris 289 (1979), 397-400.
[137] —, Formation of singularities for Hamilton-Jacobi equation II, J. Math. Kyoto
Univ. 26 (1986), 299-308.
[138] —, Prolongation of classical solutions and singularities of generalized solutions,
Ann. Inst. H. Poincard-Analyse non-linéaire 7 (1990), 505-523.
234 REFERENCES
[139] Tsuji, M. and Li Ta-tsien, Globally classical solutions for nonlinear equations of
first order, Coinmun. zn PDEs 10 (1985), 1451-1463.
[140] —, Remarks on characteristics of partial differential equations of first order,
Funkctalaj Ekvacioj 32 (1989), 157-162.
(141] Van, T.D., Hap, L.V., and Thai Son, N.D., On some differential inequalities
and the uniqueness of global semiclassical solutions to the Cauchy problem for
weakly-coupled systems, Journal of Inequalzties and Applzcatwns 2 (1998), 357-
372.
[142] Van, T.D. and Hoang, N., On the existence of global solutions of the Cauchy
problem for Hamilton-Jacobi equations, SEA Bull. Math. 20 (1996), 81-88.
[143] Van, T.D., Hoang, N., and Gorenflo, R., Existence of global quasi-classical so-
lutions of the Cauchy problem for Hamilton-Jacobi equations, Dzfferentsial 'nyc
Uravneniya 31 (1995), 672-676. (in Russian)
[144] Van, T.D., Hoang, N., and Thai Son, N.D., On the explicit representation of
global solutions of the Cauchy problem for Hamilton-Jacobi equations, Acta
Math. Vietnam. 19 (1994), 111-120.
[145] Van, T.D., Hoang, N., and Tsuji. M., On Hopf's formula for Lipschitz solution-
s of the Cauchy problem for Hamilton-Jacobi equations, Nonlinear Analysis,
Theory, Methods & Applications 29 (1997), 1145-1159.
[146] Van, T.D., Liem. N.D., and Thai Son, N.D., Minimax solutions for some sys-
tems of first-order nonlinear partial differential equations with time-measurable
Hamiltonians, in Structure of solutions of differential equatsons (Katata/Kyoto,
1995), pp. 499-511, World Sci. Publishing, River Edge, NJ, 1996. (Morimoto,
M. and Kawai, T., Eds.)
[147] Van, T.D. and Thai Son, N.D., On the uniqueness of global classical solutions
of the Cauchy problem for Hamilton-Jacobi equations, Acta Math. Vietnam.
17 (1992), 161-167.
[148] _-, On the uniqueness of global classical solutions of the Cauchy problems for
nonlinear partial differential equations of first order, Acta Math. Vietnam. 18
(1993), 127-136.
[149] —, On a class of Lipschitz continuous functions of several variables, Proc. Amer.
Math. Soc. 121 (1994), 865-870.
[150] _, Uniqueness of global semiclassical solutions to the Cauchy problem for first-
order nonlinear partial differential equations, Differential Equations 30 (1994),
659-666.
(151] Van, T.D., Thai Son, N.D., and Hap, LV., Partial differential inequalities of
Haar type and their applications to the uniqueness problem, Vietnam J. Math.
26 (1998), 1-28.
[152] Van, T.D., Thanh, M.D., and Hoang, N., On the representation of Lipschitz
global solutions of the Cauchy problem for Hamilton-Jacobi equations, in Proc.
of Intl. Conference on Appl. Anal. ei Mech. of Cont. Media, Ho Chi Minh City
(12/1995), pp. 428-436.
[153] Walter, W., Differential and integral inequalzties, Springer, Berlin, 1970.
[154] T., Sur l'unicité et Ia limitation des intégrales des equations
dérivées partielles du premier ordre, Rend. Acc. Lsncei 17 (1933), 372-376.
REFERENCES 235
: :1
CHAPMAN & HALL/CRC