SLIDE 128 120
Appendix
For v, r ∈ R, p ∈ RN and X, Y ∈ S(N) such that r ≥ 0, Y ≥ 0 and r > 0, since ˜ G is still monotone in X, ˜ Gk+1(t, x, v, p, X) − ˜ Gk+1(t, x, v − r, p, X + Y ) ≤ ˜ Gk+1(t, x, v, p, X) − ˜ Gk+1(t, x, v − r, p, X) ≤ c( ˆ C + C1)r, where the constant C1 does not depend on (t, x, v, p, X). We then apply the above theorem by choosing βi = 1, i = 1, · · · , k + 1. Thus k+1
i=1 ˜
ui|t=0 ≤ 0. Moreover for each vi ∈ R, pi ∈ RN and Xi ∈ S(N) such that ˆ v = k+1
i=1 vi ≥ 0,
k+1
i=1 pi = 0 and ˆ
X = k+1
i=1 Xi ≤ 0 we have
−λ
k+1
vi +
k+1
˜ Gi(t, x, vi, pi, Xi) = −λˆ v +
k
˜ Gi(t, x, vi, pi, Xi) + ˜ Gk+1(t, x, vk+1 − ˆ v, pk+1, Xk+1 − ˆ X) + ˜ Gk+1(t, x, vk+1, pk+1, Xk+1) − ˜ Gk+1(t, x, vk+1 − ˆ v, pk+1, Xk+1 − ˆ X) ≤ −λˆ v + ˜ Gk+1(t, x, vk+1, pk+1, Xk+1) − ˜ Gk+1(t, x, vk+1 − ˆ v, pk+1, Xk+1) ≤ −λˆ v + c( ¯ C + C)ˆ v ≤ 0 It follows that all conditions in Theorem 2.2 are satisfied. Thus we have k+1
i=1 ˜
ui ≤ 0, or equivalently, k+1
i=1 ui(t, x) ≤ u(t, x) for (t, x) ∈ [0, T ) × RN.
The following comparison theorem is a direct consequence of the above domi- nation theorem. Theorem 2.4 (Comparison Theorem) We are given two functions G = G(t, x, v, p, X) and G1 = G1(t, x, v, p, X) satisfying condition (G). We also assume that, for each (t, x, v, p, X) ∈ [0, ∞) × RN × R × RN and Y ∈ S(N) such that X ≥ Y , G(t, x, v, p, X) ≥ G1(t, x, v, p, X), (2.11) G(t, x, v, p, Y ) ≥ G(t, x, v, p, X). (2.12) We also assume that G is a uniform Lipschitz function in v and X, namely, for each (t, x) ∈ [0, ∞) × RN and (v, p, X), (v′, p, X′) ∈ R × RN × S(N), |G(t, x, v, p, X) − G(t, x, v′, p′, X′)| ≤ ¯ C(|v − v′| + |X − X′|). Let u1 ∈USC([0, T ] × RN) be a G1-subsolution and u ∈LSC([0, T ] × RN) be a G-supersolution on (0, T ) × RN satisfying the polynomial growth condition. Then u ≥ u1 on [0, T ) × RN provided that u|t=0 ≥ u1|t=0. In particular this comparison holds for the case where G ≡ G1, which is a Lipschitz function in (v, X) and satisfies the elliptic condition (2.12). The following special case of the above domination theorem is also very useful.