This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
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 =
u(i,x)
max{px —p2 /2—tI pER
More clearly, we have
u(t,x) = max {max{px — p2/2}, max{px — p2/2 — tp}, or
rnax{px
—
p2/2 —
t}},
2
if (t,x)ED1, if (t,x)EV2,
0
u(t, x) =
(x
—
t)2
(t,x)ED3,
2
if
(t,x)ED4.
Here,
x
zER}\(D1UV2UV3). This
solution is continuously differentiable in {t > 0, x E R}\(C), where the
"singularity" curve (C)
is
given by
(C)
.
—
5 x2/2,
x
2,
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
13. MISHMASH
208
if (t,x)
(C). (Direct computation shows that L(t,x) = {x} for (t,x)
L(t,x) = {0} for (t,x)
V2\(C), L(t,x) = {z
V1,
i} for (t,x) E D3\(C), and
—
L(i, x) = {x} for (t, x) E V4\(C).)
Example 2. We consider the Cauchy problem
=0 in {t>0,x€R}, on
{t=0, x€R}.
A global solution of this problem is:
u = u(i,x)
—
pER
2
+t(1 +p2)112}.
By computing and relying on Theorem 13.4 we recognize that u = u(t,.x) is continuously differentiable in {t> 0, z R)\{(t,0) t 1). Using the method of characteristics, we see that when i > 1, characteristic curves intersect. Concretely, the two curves {(t,x(t, 1)) t 0} and {(t,x(t,2)) t O}, where :
:
:
x(i,y)=y—
ty + 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 neighborhood of this point.
§13.3. Relationship between minimax and viscosity solutions As we have mentioned, 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 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 differential 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 I10]-[20], [281, 135]-[39], [47]-[50], [67]-[72], [79], [991-1101], [122J-[123), [131], and
209
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 principle 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 Hamiltonians, 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 definition 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
—
We introduce the following notation:
inf
sup
—
inf
—
Dt/'(e(°)) The mapping Rm A
—
—
—
Rm :
0},
{-y E Rm :
0}.
{i'
=
—
(13.19)
tf
i.e.,
—
(13 20)
6 [—co, oc] is of course positive-homogeneous,
e '—' (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 it is lower semicontinuous and satisfies the relations
=
A
e '—p
E {O, —oo} and
(A > 0).
.
The sets
are called the superdifferential and the subat the point The elements of these sets = are called supergradients and subgradients, respectively. These sets are also called the upper and lower Dini semidifferentials. If = is differentiable at then in this case, = =
and
differential, respectively, of
= where
—
+ -4 0 as
—
+ o(e
—
According to (13.19)-(13.20),
—+
—
+ for any supergradient -y E one-sided but opposite estimate:
—
+ o(e
—
A subgradient y E
+
—
also
satisfies a
—
+ o(e
We can verify that
(y,e) Ve
= {y E Rm : Rm : ={
In fact, let + as
ej
0
eI/2.
1321 )
Rm}.
Ve
e E Rm\{0}. Consider the function
-y
for
(,e)
0 and
E Rm. Of course,
= =
—
Consequently, (13.18)-(13.20) imply
inf sup
+
e>0 O<S(e Ii—eI<e 3
[mi sup
—
+
i—el<e
=
—
—
mi sup =
—
—
—
—
—
—
§13.3. RELATIONSHIP BETWEEN MINIMAX ANT) VISCOSITY SOLUTIONS
211
Ye E Rm\{O}. This still holds even fore = 0, one would have
from which we get since otherwise,
inf sup
+
S>OO<6<e
=
—
0,
= oc;
hence,
inf sup
+
e>O
=
—
It follows that
0
inf sup
+
—
inf e>O
+
—
e>O O<ö(e
= 00
sup
—
il = 00,
—
a contradiction. In the converse direction, suppose we can choose a sequence C Rm, 0 urn
—
We
(y,e) Ye E Rm. Using (13.19), -4 0 as k
—
—
—
k-+oo
— h1
=
—
(e(k) — may assume without loss of generality that e(k) = e Rm (lel = 1) as k —+ oo. Since -4 0, (13.22) together with (13.18) implies —
= lim
+
= lim
+
k-+oo k—+oo —
(i',e)
—
co,
such that (13.22)
+
k)e(k), with
—
e)
0,
by (13.20). So the first equality in (13.21) has been completely proved. The proof of the second is similar. i.e., -y E
We are now in a position to give the definition of viscosity solutions to the Cauchy problem of the form
=0 in
(13.23)
13. MISHMASH
212
u(T,z)=c(x)
on
{t=T, xER'1}.
(13.24)
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:
Definition. A viscosity solution of (13.23)-(13.24) is defined to be a function u = u(t,x) continuous on QT satisfying the terminal condition (13.24) and the pair of inequalities
a + f(t,x,u(t,x),b)
0 V(a,b) a +f(t,x,u(t,x),b) <0 V(a,b) Du(t,x)
(13.25) (13.26)
for almost all t E (0,T) and for all x
If the Hamiltonian f = f(t,x,u,p) satisfies the conditions a)-e) indicated in Part 10 of § 12.2, then it is known (Theorems 12.5-12.6) that a solution of (13.23)-(13.24) exists and is unique. For almost all t (O,T), the niinimax solution satisfies (13.23) at each point (t, x) where it is differentiable. Further, if a classical solution of (13.23)-(13.24) exists, then it coincides with the minimax solution. In this section, the main result on the relationship between minimax and viscosity solutions (in the case of equations with time-measurable Hamiltonians) is as follows.
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, (0, T)\A C Leb(t), with £ = £(t) the function p. 158], we may assume that AC mentioned in Condition c) (Part 10 of §12.2), and Leb(i) the set of all t E (0,T) satisfying lim
Let u =
1
J
£(r)dr
—
£(t) = 0.
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
Let us first prove (13.26) for t Ac,
Ac, x
R", (a,b) E Du(t(°),x(°)).
213
this end, suppose R so that S and 0 s
To
a
Choose
E
b=s•cx. x8(.) with
+
+ 5)) —
Because =f and the function family {xö(.)}ö C
+ 5) —
Let yo
(13.27)
0.
j(°)
E AC is a
1(0)
point of £ = £(t)
x(°)) is uniformly
bounded, (12.14) yields 1
sup
sup
—IyoI
5
£(r)(1 + x6(r)I)dr < oo.
I
Consequently, 1
=y
urn
5
for some y E R" and now see that
> 5(e) > ... > 5(k)
= hence,
0. But, by (12.16) and (12.14), we
f
a)dr
(13.28)
f(r,xo(r), u(i(°>, x(°)),cx)dr,
by (12.13), that
1
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
0 sup mf { e>00(J<1
[u(t(°) +
+
—
u(t(°),x(°))]/5}
1•a + (y,b) a +
The inequality (13.26) has been proved for almost all t E Similarly
(0,
T) and for all x E
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. = {(i,x,p) Let f = f(t,x,p) be a C2-function defined on t E R, x E :
pE
Consider the Cauchy problem:
=
(1
= 1,2,... ,n),
(All)
1
(i=1,2
I x(0) =
(AI.2)
p(O) = p°.
Assume the following conditions: I p = 0(11), I
Op'
= 0(1 + IpI')
'
C'! I'
'Of Op —
for
Ii'I
Of 'Op
(AI.3)
with C = C(s) a certain continuous function defined on [0,oo), and rk 1. In (AI.3), all 0-estimations are uniform with respect to t and x. That is to say, p = 0(11) for -÷ 00 if and only if there exist positive constants R and K independent of (t, x) such that [p1
for
p[ R.
B. Doubnov [43] proved that, if (AI.3) is satisfied, the Cauchy problem (AI.1)x (AI.2) has uniquely a global solution on {t 0} for all (x°,p°) E 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 =
Since rk 1 in (AI.3), we get the estimate
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
(d/dt)x(t) = x(t)k,
with
x(O) = y,
is globally solvable for any y E R if and only if k 1. Now we consider the Cauchy problem (2.15)-(2.16). By almost the same reasoning as in [43), we assume the following conditions for (2.15).
(C.1) There exists a constant N > 0 such that Of
I
01
NIfI.
For any constant L > 0, if we put DL def = {(t,x,u,p) then there exists a constant M > 0 such that (C.2)
•
:
If(t,x,u,p)I < L},
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.
We leave the proof to the readers.
216
APPENDIX I
We conclude this appendix with another remark on [43]. B. Doubnov wrote that, if I = f(t, x, p) was an algebraic function of p such that lim f(t, x, p) = 00, 1,1—Poe
Condition (AI.3) would be satisfied. However, when S. Ouchi, A. Kaneko, and M Murata translated [43] into Japanese, they already pointed out that this is not true. Their counter example is as follows: 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 l}, and that a(x) C = constant > 0 on {IxI 1}. Put f(x,p) a(x)p2. {(xI 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].
§AII.1. Convex functions The Throughout, is the usual vector space of real n-tuples x = (x1,. . , Eucidean norm and inner product in it are denoted by .[ and (., .). A subset D of is called affine (respectively, convex) if (1 — A)x + Ay E D for any x E D, y E D and A E R (respectively, A (0,1)). Obviously, the intersection of an arbitrary collection of affine sets is again aifine. there exists a unique smallest affine set containing Therefore, given any D C .
D, namely, the intersection of the collection of alfine sets M such that M J D. This set is called the affine hull of D and is denoted by affD. The relative interior of a convex set D in which we denote by riD, is defined as the interior which results when D is regarded as a subset of its affine hull affD. In other words,
(x+eB)fl(affD)CDforsomee>0}, where B stands for the unit ball (centered at the origin) in
Theorem AII.1. [117, Theorem 6.11 Let D be a convex set in
andyED. Then (1—A)x+AyEriDforoA<1.
Let x
riD
APPENDIX II
218
Let 4 = 4(x) be a function whose values are real or ±00 and whose domain is a subset D of IR". The set deC epi4,={(x,p):xED,pER,p4,(x)}
is called the epigraph of 4, = 4,(x). We define 4, = 4,(x) to be a convex function (on A concave function is a function whose D) if epi 4, is convex as a subset of
negative is convex. An affine function is a function which is finite, convex, and concave.
The effective domain of a convex function 4, = 4,(x) on D, which we denote by dom 4,, is the projection on R" of the epigraph of 4, = dom4,
def
= {x
:
(x,p) E epi4, for some p E IR} = {x
4,(x) < +m}.
:
This is a convex set in IR", since it is the image of the convex set epi 4, under a and dom4, 0, linear transformation. if im4, {4,(x) x E D} C (—co, 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.2. [117, Theorem 4.1] Let 4, = where
4,(x) be
D is a convex set (for example D =
a function from D to
JRtt).
Then
4, = 4,(x) is
convex on D if and only if —
A)x + Ày) < (1 — A)4,(x) +
whenever
A4,(y)
0
< A <
1
for any x and y in D.
Theorem AII.3. [117, Theorem 4.2] Let 4i = [—co, +oo]. Then 4, = 4,(x) —
is
çb(x)
be a function from R" to
convex if and only if
A)x + Ày) < (1 — A)a + Afi
for any A E (0,1)
§AII.1. CONVEX FUNCTIONS
219
whenever 4,(x)
Theorem AII.4. [117, Theorem 5.7] Let 3 x i—+ Ax E Rm be a linear transformation. Then, for each convex function 4, = 4,(x) on the function a = a(y) defined by
a(y) def. = inf{4,(x)
:
Ax = y}
is convex on
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 cb(y)
= lirn4,((1
—
\)x + .\y)
for every x E dom4, and every y.
Theorem AII.6. [117, Corollary 10.1.1] A convex function finite on all of
is
necessarily continuous.
which we denote The (Fenchel) conjugate of a convex function 4, = 4,(x) on defined by the formula by qS = 4,(p), is another convex function on
4,*
4, = 4,(x) from to [—00, +ool can be defined by the same formula as above. It is actually a lower semicontinuous
APPENDIX II
220
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].
Theorem AII.T. (i) Let
= be a convex function. The conjugate function is then a lower sernicontinuous convex function, proper if and only if
= = q5(x) is proper. (ii) The conjugacy operation induces a symmetric one-to-one correspondence in the class of all lower semicontinuous proper convex functions on For any = in this class, the supremum in (AH.1) is attained (maximum) in domq' zfpEri(domqS*). (iii) For any convex function = on one actually has :
pER's.
x
Further, we have:
Theorem AII.8. [117, Corollary 13.3.3] Let = be a proper convex function. In order that dom be bounded, it is necessary and sufficient that = be finite everywhere and that there exist a real number j.z 0 such that —
—
yj
Vx,y.
= 4(x) be a proper convex function that is (finite and) differentiable at some y E Then [117, Theorems 23.5 and 25.1] implies Let
=
—
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. be any lower seznicontinuoiz.s Theorem AII.9. [117, Theorem 26.4] Let = proper convex function such that D is mt (dom non-empty and = is differentiable on D. The Legendre conjugate (B, i) of (D, gS) is then well-defined. Moreover, B is a subset of domq5 (namely, the range of the gradient mapping x i—÷ and a = a(p) is the restriction to B. =
§AII.1. CONVEX FUNCTIONS
221
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 welldefined. 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.
In general, the Legendre conjugate of a differentiable convex function need not
be differentiable or convex, and we cannot speak of the Legendre conjugate of the Legendre conjugate. As will be shown in the theorem below, the Legendre transformation does, however, yield a symmetric one-to-one correspondence in the class of all pairs (D, 4,) such that D is a non-empty open convex set and 4, = 4,(x) is a strictly convex function on D satisfying: (1) 4, = 4,(x) is differentiable throughout D. x(2),... is a sequence in D converging to (ii) lim 4,t(x(k))I = +00 whenever
a boundary point of D. For convenience, a pair (D, 4,) in the class just described will be called a convex function of Legendre type. By [117, Corollary 26.3.1], a lower semicontinuous proper convex function 4, = 4,(x) has x '—+ 4/(x) one-to-one if and only if the restriction of 4, = 4,(x) to D
mt (dom4,) is a convex function of Legendre type.
Theorem AII.11. [117, Theorem 26.5) Let 4, =
4,(x) be a lower semicontinuous def. •def. convex functwn. Let D = int(dom4,) and D = int(dom4, ). Then (D,cb) a convex function of Legendre type if and only if (DC, 4,) is a convex function of Legendre type. When these conditions hold, (D,4,') is the Legendre conjugate of (D,4,), and (D,cti) is in turn the Legendre conjugate of (D,çb). The gradient 4,'(x) is then one-to-one from the open convex set D onto the open mapping x convex set D, continuous in both directions, and cb' = (4,S)_1.
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
lim [4,(\x)/A] = +oo for all
x E RTh\{O},
APPENDIX II
222
or (by [117, Corollary 13.3.1]), to the condition that 4, = q5(p) is finite everywhere.
Theorem AII.12. [117, Theorem 26.61 Let 4, =
be a (finite) differentiable In order that x '— 4,'(x) be a one-to-one mapping from convex function on onto itself, it is necessary and sufficient that 4, = çb(x) be strictly convex and co-finite. When these conditions hold, j = çh(p) is likewise a differentiable convex which is strictly convex and co-finite, and = 4,'(p) is the same function on as the Legendre conjugate of 4, = 4i(x), i.e., 4,(x)
= (p, (4,')1(p)) — 4, =
4,
the following fact about differentiability of convex functions.
Theorem AII.13. [117, Theorem 25.2] Let 4' =
4,(x)
be a convex function on
4'(x) is finite. A necessary and sufficient
and let y be a point at which 4' = 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.
§AII.2. Multifunctions and differential inclusions is the family of all subsets of X. Given another 0 be a set. Then i-+ will be called a multifunction 0, a correspondence 0 E (a set-valued map, or a multivalued function). Sometimes, we permit ourselves to C X are the values of the multifunction; write briefly L = The sets allowing = 0 is (very seldornly) convenient for purely formalistic reasons only. on 0. A function p = Talk of "the single-valued case" means = We refer to with on 0 will be called a selection of L = Let X
set 0
L(0)
and
graph(L)
:
0, p
as the range and the graph of L = Rm; both R" and Rm being Throughout the book, X R" and 0 0 C Y endowed with the corresponding Euclidean metrics. Let P be a property of a subset of a metric space (for instance, closed, measurable). We shall say as a general rule
SAIL2. MULTIPUNCTIONS AND DIFFERENTIAL INCLUSIONS
223
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
is bounded for any bounded subset fl of
called locally bounded if
0. We shall consider only nonempty-valued multifunctions. Ftirther, as a rule, multifunctions investigated in this book are always compact-valued. For such miiitifunctions, we can use:
Definition 1. A multifunction L =
is said to be upper semicontinuous if :
is (relatively) closed in 0 whenever A C W is closed.
Definition 2. A multifunction L =
is said to be lower semicontinuous if L1(V) is (relatively) open in 0 whenever V C R't is open.
Definition 3. A multifunction L =
is said to be continuous if it is simulta-
neously upper and lower semicontinuous.
Evidently, upper (respectively, lower) semicontinuity is nothing else than continuity if L = is single-valued. Here are useful tests for upper semicontinuity:
Proposition AII.14 L= L
(ci. [40, Propositions 1.1-1.2]) Let L =
is upper semicontinuous and 0 is closed, then L = is upper semicontinuis closed L=
otis.
have compact convex Proposition AII.15. (cf. [29, Theorem 11.20]) Let L = values. Then it is upper semicontinuous if and only if the function
sup(p,x)
,EL(t)
APPENDIX II
224
is upper semicontinuous for every x
Proposition AII.16. (cf. [29, Theorem 11.251) Let L = be an upper semi continuous multifunction with compact values. Then L(Q) is compact for any compact subset Q of 0.
Let L = be given. We associate with any real-valued function w = w(e,p) defined on 0 x R" the following marginal function: =
sup
0.
for
(AII.2)
The maximum sets will be denoted by {p
for
0.
(AII.3)
Berge's maximum theorem concerning the above marginal function can be formulated (see [22, p. 123], or [8, Theorem 1.4.161) as follows.
Theorem AII.1T. (Maximum Theorem) Let L = L = and u = are lower semicontinuous, so is the marginal function; (ii)
if L =
and w =
are upper semicontinuoua, so is the marginal
function; (iii) if L = and w = w(e,p) are continuous, so is the marginal function; moreover, defined by (AII.3) is then an upper semicontinuous (nonempty= valued) multifunction. We are now concerned with calculus of measurable multifunctions. As we have mentioned earlier in this section, a multifunction is measurable if and only if its graph is measurable. Notice that measurable multifunctions with closed values can also be defined in the following way:
on a non-empty Lebesgue measurable set 0 C Rm is said to be measurable if L—1(V) is (Lebesgue) measurable
Definition 4. A closed-valued multifunction L = whenever V C
is open.
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.18. (cf. [8, Theorem 8.2.8]) Let 0 E Rk be a measurable single-valued map, and let G = z) be a multifunction measurable in E 0 and continuous in z E IRk (with compact values in IRA). Then the multifunction
0
is measurable.
Theorem AII.19.
[8, Theorem 8.2.11]) Let be a real-valued = E 0 and continuous in p E and let L = be a measurable multifunction on 0 with closed (non-empty) values in Then the margmal function defined by (AI1.2) is measurable. Furthermore, the = (cf.
functson measurable in
multifunction L° =
defined by (AII.3) is also measurable.
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.
In the remainder of this appendix, given J
Jx
[0, T] C R, a multifunction
(t, x) i-+ G(t, x) C R", we are looking for absolutely continuous solutions
of the differential inclusion
E G(t,x(i)) almost everywhere on J.
(AII.4)
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 investigated 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 nonempty closed convex values and be measurable in t E J, upper semicontinuous in x 6 R" such that G(t,x)I
(cf.
:
z E G(t,x)} < c(t)• (1 + ri) for t 6 J, x E
APPENDIX II
226
with c = c(t) a function in L'(J). Then Xcg(t.,x.) is a non-empty compact subset
of C(J,R") for each Further, the multifunctzon EJx Xo(0,x) C C(J, is upper semtcontinuous.
3x
We conclude this appendix with Filippov's theorem for differential inclusions, which is as important as Gronwall's lemma for ordinary differential equations.
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(t)
exp(j
—
£(r)dr)
p E G(t, y(t))} is integrable on J. (8
and
+f
If i7(T) < r, then for every E y(0) + SB, there exists a solution x = x(t) in of(AII.4) such that
VtEJ Ix'(t)
—
y'(t)I < £(i)zj(t) + -y(t)
almost everywhere on
.J.
References
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 [1]
(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 convexity conditions, Trans. Amer. Math. Soc. 152 (1970), 441-460. [10] Barbu, V. and Da Prato, G., Hamilton-Jacobi equations in Hubert spaces, Research 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), 1373138 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), 10671086.
[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.
REFERENCES
228
[18] Barles, G. and Perthame, B., Exit time problems in optimal control and vanishing viscosity method, SIAM J. Control Optim. 26 (1988), 1133-1148. [19] Barron, EN. and Jensen, R., Generalized viscosity solutions for HamiltonJacobi 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), 317339.
[25] Brandi, P. and Marcelli, C., Haar inequality in hereditary setting and applications, 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 functional 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 equations, 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éralisé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 differential 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, Indiana 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 formulas 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 Wiley — 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., Anniversary 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.
REFERENCES
230
[58] Gordon, W.B., On the diffeomorphism of Euclidean space, The American Mathematical 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.
Commun. Pure [63] Hopf, E., The partial differential equation Ut + = 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, Springer, 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 equations, Indiana Univ. Math. .J. 33 (1984), 721-748. [68] —, Existence and uniqueness of solutions of Hamilton-Jacobi equations, Funkcialaj 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. 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. Studies in Pure Math. 22 (1993), 89-100. [74[ —, Characteristic vector fields for first-order partial differential equations, Preprint. [72]
[75] Izuiniya, S. and Kossioris, G.T., Semi-local classification of geometric singularities 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 [791
231
R. and Souganidis, P.E., Regularity results for viscosity solutions of Hamilton-Jacobi equations in one space dimension, Trans. Amer. Math. Soc. Jensen,
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 differential equations, AMS Translations of Math. Monograph, Vol. 19, 1968. [84] Krasovskii, N.N. and Subbotin, A.I., An alternative for game problem of convergence, 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 firstorder equations, Soviet Math. Dokl. 1 (1960), 474-477. [88] —, Generalized solutions of nonlinear first-order equations with several independent variables, Math. USSR Sb. 1 (1967), 93-116. [89] —, Generalized solutions of the Cauchy problem in the large for nonlinear equations of first order, Soviet Math. DokI. 10 (1969), 785-788. [90] —, On the mm-max representation of solutions of first-order nonlinear equations, 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.
REFERENCES
232
1100] Lions, P.-L., Generalized solutions of Hamilton-Jacobi equatwns, Research Notes in Math., Vol. 69, Pitman, Boston, MA, 1982.
1101] Lions, P.-L. and Rochet, J.-C., Hopf formula and multitime Hamilton-Jacobi equations, Proc. Amer. Math. Soc. 96 (1986), 79-84. [102] Li Ta-tsien and Chen Shu-xing, Regularity and singularity of solutions for nonlinear hyperbolic equations, to appear. [103] Li Ta-tsien and Shi Jia-hong, Globally smooth solutions in the whole space for first-order quasi-linear equations, Fadan J. 21 (1982), 36 1-366. [104] Majda, A., Compressible fluid flows and systems of conservation laws in several space variables, Springer — Verlag, Berlin, 1984.
[1051 Maslov, V.P. and Samborskii, S.N., Existence and uniqueness of solutions of time-independent Hamilton-Jacobi-Bellman equations: a new approach, Doki. Acad. Nauk 324 (1992), 1143-1148. (in Russian) [106] Mirica, S., Extending Cauchy's method of characteristics for Hamilton-Jacobi equations, Stud. Cert. Mat. 37 (1958), 555-565. [107] Nagumo, M., Uber die Ungleichung Ou/Ox > f(x,y,u,ôu/Oy), Jap. J. Math. 15 (1938), 51-56.
[108] Nagumo, M. and Simoda, S., Note sur l'inégalité différentielle concernant les equations du type parabolique, Proc. Japan Aced. 27 (1951), 536-539. [109] Nakane, S., Formation of shocks for a single conservation law, SIAM J. Math. Anal. 19 (1988), 1391-1408. [110] —, Formation of singularities for Hamilton-Jacobi equations in several space variables, J. Math. Soc. Japan 43 (1991), 89-100. [111] Ngoan, H .T., Hopf's formula for Lipschitz solutions of Hamilton-Jacobi equations with concave-convex Harniltonian, Acta Math. Vietnam. 23 (1998), 269294.
[112] Oleinik, O.A., Discontinuous solutions of non-linear differential equations, Uspekhi Mat. Nauk 12 (1957), 3-73 (in Russian). English transi. in Amer. Math. Soc. Transl. 26 (1963), 95-172. [113] A., Characteristics of non-linear partial differential equations, Bull. Aced. Polon. Sci. 2 (1954), 419-422. [1141 Qin Tie-hu, On the existence of global smooth solutions for Cauchy problems
to first order quasi-linear partial differential equations, J. of Fudan Univ. 22 (1983), 41-48. 1115] Quinn, BK., Solutions with shocks, an example of an L1-contractive semi-group, Commun. Pure Appl. Math. 24 (1971), 125-132. [116] Robert, R.P., Convex functions, monotone operators and differentiability, Springer, Berlin, 1989. [117] Rockafellar, R.T., Convex analysis, Princeton Univ. Press, 1970. [118] Rozdestvenskii, B.L., Discontinuous solutions of hyperbolic systems of quasilinear equations, Russian Math. Surveys 15 (1960), 53-111. [119] Rudin, W., Real and complex analysis, McGraw—Hill, New York, 1966. [120] Schaeffer, D.C., A regularity theorem for conservation laws, Adv. in Math. 11 (1973), 358-386.
REFERENCES
233
[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 perspective, 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., R.P., Ed.) Vol. 4, World Sci. Publishing, River Edge, NJ, 1995. [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.
REFERENCES
234
[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), 357372.
[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 solutions 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 solutions 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 systems 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. Uniqueness of global semiclassical solutions to the Cauchy problem for firstorder nonlinear partial differential equations, Differential Equations 30 (1994),
[150] _,
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
[155] —, Sur l'unicité et la limitation des intégrales de certains systèmes d'équations
aux dérivées partielles du premier ordre, Annali di Matematica pura ed applicata 15 (1936-37), 155-158. [156] -__, Uber die Bedingungen der Existenz der Integrale partieller Differentialgieichungen erster Ordnung, Math. Z. 43 (1938), 522-532. [1571 —, Systèmes des equations et des inégalités différentielles ordinaires aux deuxi-
èmes membres monotones et leurs applications, Ann. Soc. Polon. Math. 23 (1950), 112-166.
[158] Westphal, H., Zur Abschätzung der Lösungen nichtlinearer parabolischer Differentialgleichungen, Math. Z. 51 (1949), 690-695. [159] Whitney, H., On singularities of mappings of Euclidean spaces I, Ann. Math. 62 (1955), 374-410.
Index
equation of the conservation law, 12, 45 Cantor function (ladder), 86 Cantor set, 86 Filippov's theorem, 180, 226 Carathéodory differential equation, 98 Carathéodory's conditions, 97, 166, 191 fold point, 57 characteristic generalized solution, 32, 55 curves, 1 general PDE of first-order, 4 equations, 2, 4 global C'-solution, 92 strips, 4 global semiclassical solution, 147, 154 system of differential equations, 4 1 global solution, 104 C"-solution, 7 collision Haar's differential inequality, 85 of characteristic curves, 26, 28 Haar's theorem, 7 Hadamard's lemma, 19 of singularities, 41, 63 Hopf's formulas, 104 comparision equation, 98 concave-convex function, 128 conjugate (Fenchel) concave-convex, 131
Jacobian, 2 Jacobi matrix, 2
(Fenchel) convex, 105, 219-222
cusp point, 58
Lebesgue's theorem, 170 Legendre transformation, 128, 220-222 life span of classical solutions, 12
function, 113 d.c. representation, 117 differential inclusion, 225 differential inequality of Haar type, 85 Dini serniderivative, 108, 209
marginal function, 224 maximum theorem, 224 minimax solution, 168, 179, 194, 196 monotonicity condition, 192 rnultifunction, 222
Legendre, 128, 220-222 contact discontinuity, 70
d.c.
Dini semidlifferential, 210 directional derivative, 108
closed, 223 closed-valued, 223 continuous, 223
effective domain, 105, 218 entropy condition, 52 epigraph, 218 equation of Hamilton-Jacobi type, 34
locally bounded, 223 lower semicontinuous, 223 measurable, 223-224 upper semicontinuous, 223
INDEX
non-degenerate singularity, 58 proper, 123, 218
quasi-linear PDE of first-order, 1 quasi-monotonicity condition, 192 Rankine-Hugoniot's condition, 41 rarefaction wave, 68 relative interior, 217 semi-concavity, 32, 39, 56 shock wave, 53
strict convexity, 118, 122, 219 subdifferential, 210 subgradient, 210 subsolution, 168, 179, 194, 196 superdifferential, 210 supergradient, 210 supersolution, 167, 179, 193, 196 viscosity solution, 212
Wniewski's theorem, 9 weakly-coupled system, 97 weak solution, 45
237
classical solutions lhc ch.tracteristic meihod s tekls the local theory to lirst-ordcr nonlinear partial ditfereniial equations. The global theory has principally depended on the vanishing s iscosity method. ftc authors between the local and global theories bridge the ol this by using the characteristic method as a basis for settiliC a theoretical framework for the studs of global generaltied solutions. That is. they extend the smooth solutions obtained by the characteristic method. Within ork. they oIler material on the life span of classical such a solutions, the construction of simzularities of generali,ed solutions, new existence and uniqueness theorems on minimax solutions. inequalities of' Haar pe and their application to the uniqueness t global explicit iornnilas tor global semi—classical solutions, and iiopi solutions.
i'liis soltirne represents a comprehensixe exposition 01 the authors' works ox'er the last decade. concentrating on sonle basic liicts and ideas of the general lied characteristic methods br study tug global si lutions. Suitable as a text. the book is sell-contained and assumes as prerequisites only . and ordinary differential equations. lhe basic iileasurc I het . tt appendices pros ide necessary material, primarily on nonsmooth analysis and the t he ry of di fb'ere it ial inclusions.
Reiu/ers/iij,: \latheniaticians.
sicists. and engineers: in n in I near partial di I Icrent al equations, ill terent ,il inequalities. multix aiucd
analysis. diltcrential gatnes. and related topics in applied analysis: upper- les ci undergraduate and graduate students in these disciplines.
irait l)uc
is l)iicctor of the Ilaititi Institute of \latliciii:ities and
I 'rol'essor. I )epait ilicilt of Partial 1)1 fferential
I
ions
\Iikio l'suji is a Professor ol' \lathcitiatics at the laLtilty of Sciences ol ot crslty Ky oto Ihai Son is .in Associate i'rolcssor of \Ijthcnuttcs. College \gti%tiI ol Sciences, line tnixersity.
CHAPMAN & HALL/CRC
:
:1