Professional Documents
Culture Documents
Evans
Chapter 3 Nonlinear First-Order PDE∗
Yung-Hsiang Huang†
2. Proof.
3
− u2 (x)x · Du(x) + u(x)3 = 0,
2
u2 (|Du|2 + 1) − 1 = 0,
4. Proof.
5. Proof.
∗
Last Modified: 2017/03/25.
†
Department of Math., National Taiwan University. Email: d04221001@ntu.edu.tw
1
6. Proof. (a) First, we note the following Jacobi’s identity:
d dA
detA(s) = tr((cofA(s)) (s)).
ds ds
Let A(s) = (Xxi j (s, x, t)) and B(s) = (bixj (s)). Then, by the equation,
dA
(s) = B(X)A(s).
ds
Therefore
According to the hypothesis on b, the definition of X and J, and the Jacobi identity in (a),
we know (1) these ODEs are uniquenely solvable, (2) y = X(−t, x, 0), X(s, X(−t, x, 0), 0)) =
g(y)
X(s − t, x, 0), 0)) for each s, t ∈ R, (3) J(−t, x, 0) = J(0, x, t) and (4) z(t) = J(t,y,0)
.
R −t
= e− 0 divb(X(τ,x,0)) dτ
= J(−t, x, 0)−1 = J(0, x, t)−1 .
7. Proof.
8. Proof.
9. Proof.
2
Proof. (a) For each v ∈ Rn , by the superlinearity of H, we know the only critical point of the
map p 7→ v · p − H(p) is the maximum point. So (a) is proved.
(b) By the ellipticity, we know H is superlinear. For each v ∈ Rn , we also see the critical
point p∗ satisfies v = 21 Ap∗ + b. Since A is invertible, there is only one critical point and hence
p∗ = A−1 (v − b) is the maxima and
1 1
L(v) = v T A−1 (v − b) − (v − b)T A−T AA−1 (v − b) − bT A−1 (v − b) = (v − b)T A−1 (v − b)
2 2
Next, we prove (1) ⇒ (2) ⇒ (3) ⇒ (1). If (1) is true, then for all r ∈ Rn ,
L(v) + p · (r0 − v) = sup {v · r − H(r) + p · (r0 − v)} ≤ sup {v · r − H(p) − v · (r − p) + p · (r0 − v)}
r∈Rn r∈Rn
= p · r0 − H(p) ≤ L(r0 ).
On the other hand, for each r ∈ Rn , L(r) ≥ L(v) + p · (r − v), that is, p · v ≥ L(v) + p · r − L(r).
Hence,
p · v ≥ L(v) + sup {p · r − L(r)} ≥ L(v) + sup p · r − sup {r · q − H(q)}
r∈Rn r∈Rn q∈Rn
Since H is convex, we can pick −∞ < D− H(q) ≤ s ≤ D+ H(q) < ∞ at p such that H(q) ≥
H(p) + (q − p) · s for all q ∈ Rn . Hence inf q∈Rn H(q) + (p − q) · s ≥ H(p). So p · v ≥ L(v) + H(p).
If (3) is true, then (1) is true since for each r ∈ Rn , p·v = L(v)+H(p) ≥ v ·r −H(r)+H(p).
3
Remark 1. Related to convex duality, the Fenchel-Moreau Theorem characterize when is a
extended real-valued function on a Hausdorff locally convex space equals to its biconjugate
(that is, the double Legendre transformation.)
Use the same way, we can prove the converse inequality as follows:
maxn (−H1 (p)−H2 (−p)) = − minn (H1 (p)+H2 (−p)) ≥ − maxn (−L1 (v)−L2 (v)) = minn L1 (v)+L2 (v)).
p∈R p∈R v∈R v∈R
13. Let H be the smooth convex Hamiltonian and g be the smooth Lipschitz initial data. Prove
that the Hopf-Lax formula reads
n x−y o n x−y o
u(x, t) = minn tL( ) + g(y) = min tL( ) + g(y) ,
y∈R t y∈B(x,Rt) t
for R = supRn |DH(Dg)|, H = L∗ . (This proves finite propagation speed for a Hamilton-Jacobi
PDE with convex Hamiltonian and Lipschitz continuous initial data g.)
Proof. Part of the proof is based on the same idea as exercise 11 (suggested by the first edition).
Since
x−y x−y
tL( ) + g(y) ≥ tL( ) − [g]C 0,1 |x − y| − |g(x)|
t t
L( x−y ) |g(x)|
t
= |x − y| |x−y| − [g]C 0,1 − → ∞ as |y| → ∞,
|x − y|
t
4
where the existence of maximizer p∗ is proved similar as y ∗ . Note that 0 = x − y ∗ − tDH(p∗ ).
x − y∗ x−y
tL( ) = p∗ · (x − y ∗ ) − tH(p∗ ) ≤ p∗ · (x − y ∗ ) − p∗ · (x − y) + tL( ),
t t
that is,
x−y x − y∗
ϕ1 (y) := tL( ) + g(y) ≥ tL( ) + p∗ · (y − y ∗ ) + g(y) =: ϕ2 (y).
t t
14. Let E be a closed subset of Rn . Show that if the Hopf-Lax formula could be applied to the
initial-value problem
ut + |Du|2 = 0 in Rn × (0, ∞)
∞ if x ∈
/E
u = on Rn × {t = 0},
0 if x ∈ E
Proof. Let H(p) = |p|2 , then H is smooth, convex and superlinear. Note that L(v) = H ∗ (v) =
|v|2
4
by computing the critial point. So
1 x−y 2
u(x, t) = minn | | + g(y).
y∈R 4 t
1 x−y 2 1
u(x, t) = min | | = dist(x, E)2 .
y∈E 4 t 4t
15. Proof.
5
given by the Hopf-Lax formula. Prove the L∞ -contraction inequality
Proof. Given t > 0 and x ∈ Rn , then for some y1 , y2 ∈ Rn , u1 (x, t) = tL( x−y
t
1
) + g 1 (y1 ) and
u2 (x, t) = tL( x−y
t
2
) + g 2 (y2 ). We are almost done since
x − y2 x − y2
u1 (x, t) − u2 (x, t) ≤ tL( ) + g 1 (y2 ) − tL( ) + g 2 (y2 ) ≤ sup |g 1 − g 2 |
t t Rn
and
x − y1 x − y1
u2 (x, t) − u1 (x, t) ≤ tL( ) + g 2 (y1 ) − tL( ) + g 1 (y1 ) ≤ sup |g 1 − g 2 |.
t t Rn
Remark 2. See Exercise 10.4 for an analogy result for viscosity solution.
Proof.
and u has compact support in R × [0, T ] for each time T > 0. Prove for all t > 0,
Z ∞ Z ∞
u(x, t) dx = g(x) dx.
−∞ −∞
20. Proof.