Partial differential equations II
Radim Cajzl Dalibor Pražák
MFF UK, 2016 Introduction
These lecture notes are a transcript of the course “PDE2”, given by the second author at MFF UK during spring 2016. All the material presented here is well-known. Precise wording of theorems and their proofs were inspired by various sources we list in the bibliography. An up-to-date version of these notes, along with supplementary material, can be found at the webpage of the course: http://www.karlin.mff.cuni.cz/ prazak/vyuka/Pdr2/. Feel free to write an e-mail to the authors in∼ the case you would like to share some ideas or report found errors in the text. The authors’ email adresses are [email protected] and [email protected]. Special thanks go to Zdenek Mihula for providing detailed solutions to selected exercises.
2 Contents
Introduction 2 Chapter 1. Vector–valued functions 5 1.1. Vector–valued integrable functions (Bochner Integral) 5 1.2. AC functions and weak time derivative 8 1.3. Geometry and duality in Lp (I; X) spaces 10 1.4. More on weakly differentiable functions: extensions, approximations, embeddings 13 Chapter 2. Parabolic second order equations 18 Definition of weak solution 19 Uniqueness of weak solution 20 Compactness of weak solutions 22 Existence of weak solutions 24 Maximum principle for weak solutions 27 Existence of strong solution to the heat equation 28
Chapter 3. Hyperbolic second order equations 30 Definition of weak solution 30 Uniqueness of weak solution 31 Time derivative as a test function 32 Existence of weak solution 33 Existence of strong solution 35 Finite speed of propagation 36 Chapter 4. Semigroup theory 38 4.1. Homogeneous equation 38 c0 semigroup 38 Generator of semigroup, properties 39 Uniqueness of the semigroup 41 Definintion: resolvent, resolvent set, spectrum 41 Resolvent and Laplace transform 41 Hille–Yosida theorem for contractions 42 4.2. Nonhomogeneous equation 44 Hille’s characterization of L1(I; D(A)) 44 Definition: mild solution 44 Properties of semigroup convolutions 45 Equivalent definition of mild solution 45 Regularity of mild solution 47 Remarks on exponential formulas 47 Applications of semigroup theory to heat and wave equation 48
3 CONTENTS 4
Excercises 51 Hints 55 Solutions 57 Bochner integral, convolution 57 Relation of Lp (I; Lp(Ω)) and Lp(I Ω) 60 Integral formulation of weak derivative× with initial condition 60 Gelfand triple and embedding L2 in W −1,2 62 Continuity of projection to laplacian eigenvalues 63 Characterization of semigroups with bounded generators 65 Semigroup generated by the heat equation 65 Semigroup of shift operators 66 Uniqueness of semigroup w.r.t. generator 72 Bibliography 74
Appendices 75 Properties of weak convergence 76
Time derivative of integral over time-dependent domain 77 Regularity of the heat equation 78 CHAPTER 1
Vector–valued functions
Vector–valued . . . values in infinite–dimensional Banach space.
Notation: we consider: u (t): I X, I = [0,T ] is time interval, X is Banach space, • → u X is norm in X • k ∗k ∗ ∗ X is dual space X , x , x ∗ is notation of duality • h iX ,X scalar case: X = R • 1.1. Vector–valued integrable functions (Bochner Integral) Def.: [Simple, weakly and strongly measurable function]. Function u (t): I X is called → PN simple: if u (t) = χAj (t) xj, where Aj I are (Lebesgue in R) measurable and xj X j=1 ⊂ ∈ (strongly) measurable: if there exist simple functions un (t) such that un (t) u (t), n for a. e. t I. → → ∞ weakly∈ measurable: if the (scalar) function t x∗, u (t) is measurable in I for x∗ X∗. 7→ h i ∀ ∈ Remark: (1) Strongly meas. = weakly meas. (2) u (t) simple ⇒u (t) is measurable and u (I) X is finite. ⇐⇒ ⊂ Theorem 1.1 [Pettis characterization of measurability]. Function u (t): I X is measurable iff u (t) is weakly measurable and moreover N I such that λ (N) = 0 and u (I N) is separable→ (i. e., u (t) is “essentially separably–valued”). ∃ ⊂ \
Corollary. (1) For X separable: weakly measurable strongly measurable. ⇐⇒ (2) un (t) is measurable, un (t) u (t) a. e. = u (t) is measurable. (3) u (t) continuous = u (t) measurable→ ⇒ ⇒ th.1.1 Proof: un (t) measurable = Nn I, λ (Nn) = 0. Set u (I Nn) = Mn X is separable, also N0 I, ⇒ ∃ ⊂ \ ⊂ ∃ ⊂ ∞ nX λ (N0) such that un (t) u (t) for t I N0. Set N = j=0Nj, then λ (N) = 0 and moreover u (I N) nM . . . separability is preserved→ under∀ countable∈ \ unions and∪ closures = u (t) is essentially separably–valued.\ ⊆ ∪ ∗ ∗ ⇒ ∗ Is u (t) weakly measurable? Consider x X fixed, then the mapping t x , un (t) is measurable and ∗ ∗ ∈ ∗ 7→ h i x , un (t) x , u (t) as n for a. e. t I, the mapping t x , u (t) is measurable by scalar (Lebesgue) htheory. i → h i → ∞ ∈ 7→ h i (3) HW1
Def.: [Bochner integral]. function u (t): I X is called Bochner integrable, if there exists un (t) simple R → such that u (t) un (t) dt 0, n . The integral (Bochner integral) is defined as follows I k − k → → ∞ R PN (1) u (t) dt = j=1 λ (Aj) xj, if u (t) is simple RI R (2) I u (t) dt = limn→∞ I un (t) dt, if u (t) is integrable with un (t) simple from the definition above.
Remark: It is possible to show that the definiton is correct, i. e., independent on the choice of Aj, xj, un (t). R R Also it is possible to prove that u (t) dt u (t) dt. I X ≤ k kX 5 1.1. VECTOR–VALUED INTEGRABLE FUNCTIONS (BOCHNER INTEGRAL) 6
ψ (t) 0 1
1 0 1 t − Figure 1.1.1. Regularization kernel
Theorem 1.2 [Bochner characterization of measurability]. Function u (t): I X is Bochner inte- grable iff u (t) is measurable and R u (t) dt < . → I k k ∞
Theorem 1.3 [Lebesgue]. Let un (t): I X be measurable, un (t) u (t) as n for a. e. t I, let → → →R ∞ R ∈ there g (t): I R integrable and such that un (t) g (t) for n and a. e. t I. Then un (t) dt u (t) dt, ∃ R → k k ≤ ∀ ∈ I → I moreover un (t) u (t) dt 0 for n and u is integrable. I k − k → → ∞
1 R h Recall: for scalar u (t): I R we say that t I is a Lebesgue point if limh→0 u (t + s) u (t) ds = 0. → ∈ 2h −h | − | Lebesgue theorem: u (t): I R is integrable = a. e. t I is a Lebesgue point. → ⇒ ∈ Def.: [Lebesgue point of function]. We say that t I is a Lebesgue point of u (t): I X if ∈ → 1 Z h u (t + s) u (t) ds 0 as h 0 . 2h −h k − k → →
Theorem 1.4 [On Lebesgue points a. e.] If u (t): I X is integrable, then a. e. t I is a Lebesgue point. → ∈
Remark. Let u (t): I X be integrable. → R t HW1 0 (1) Set U (x) = u (t) dt, t0 I fixed = U (t) = u (t) for every Lebesgue point of u (t), in particular a. t0 e. ∈ ⇒ (2) (regularization kernels) Let ψ0 (t): R R be bounded, zero outside interval [ 1, 1] and such that R 1 → − −1 ψ0 (s) ds = 1 (& possibly other regularizations). R 1 1 ψn (t) = nψ0 (nt), u ψn (t) = u (t s) ψn (s) ds for t ,T or set u (t) = 0 outside I. ∗ R − ∈ n − n Claim: u ψn (t) u (t) if t I is Lebesgue point of u. Proof: ∗ → ∈ Z u ψn (t) u (t) = u (t s) ψn (s) ds u (t) ∗ − R − − 1 Z n = [u (t s) u (t)] ψn (s) ds 1 − − − n
1 Z n (∗) = uψn (t) u (t) c n u (t s) u (t) ds 0, n ⇒ k − k ≤ |{z} − 1 k − k → → ∞ −1 n h |{z} −h where ( ) holds by definition of Lebesgue points. ∗ X Proof of th. 1.4: By th. 1.1 there N0 I, λ (N0) = 0 such that u (I N0) x1, x2, . . . , xk,... . Set ∃ ⊂ \ ⊆ { } ϕk = u (t) xk . . . scalar, integrable. By scalar version of the theorem Nk I, λ (Nk) = 0 such that ϕk (t) k − k ∞ ∃ ⊂ has Lebesgue point at every t I Nk. Set N = Nk, then λ (N) = 0 and t I N is Lebesgue point ∈ \ ∪k=0 ∀ ∈ \ of u (t), i. e., 1 R h u (t + s) u (t) ds 0, h 0. Fix t I N, ε > 0 arbitrary. Observe: k such that 2h −h k − k → → ∈ \ ∃ 1.1. VECTOR–VALUED INTEGRABLE FUNCTIONS (BOCHNER INTEGRAL) 7
u (t) xk ε. Then k − k ≤ 1 Z h u (t + s) u (t) xk ds 2h −h k − ± k ≤ 1 Z h 1 Z h u (t + s) xk ds + u (t) xk ds 2h −h k| {z − k} 2h −h |k {z− k} ϕ(t+s) ≤ε | {z } | {z } I(h) ≤ε (∗)
1 Z h I (h) = ϕk (t + s) ds ϕk (t), h 0 2h −h → | {z } → <ε by choice of k since t is L. point of ϕ (t). ( ) < 2ε for h small enough. ∗ Def.: [Spaces Lp (I; X)]. for p [1, ) we set ∈ ∞ Z p p L (I; X) = u (t): I X measurable, u (t) X dt < → I k k ∞ L∞ (I; X) = u (t): I X measurable, essentially bounded, → i. e., c < s. t. u (t) < c a. e. ∃ ∞ k kX
Remark: These are Banach spaces with the usual norm and the convention that u (t), ue (t) are identified if u (t) = u (t) a. e. in I. If X is Hilbert with scalar product ( , ) , then L2 (I; X) is Hilbert with scalar product e R · · X (u, v)L2(I;X) = I (u (t) , v (t))X dt. Note: L1 (I; X) is space of Bochner integrable functions, Lp (I; X) Lq (I; X) for p q (since I is bounded). ⊂ ≥ Lemma 1.1 [Approximation and density in Lp (I; X)]. Let p [1, ). Then ∈ ∞ (1) Simple functions are dense in Lp (I; X). PN ∞ p (2) Functions of the form u (t) = j=1 ϕj (t) xj, ϕj (t) Cc (I, R) are dense in L (I; X) ∞ ∈ p (3) If the space Y is dense in X, then Cc (I,Y ) are dense in L (I; X). p (4) Let ψn (t) be regularizing kernels, let u (t) L (I; X) be extended by 0 outside of I. Then u ψn (t) u (t) in Lp (I; X) for n . ∈ ∗ → → ∞ Remark: C (I,X) = u (t): I X continuous { → } C1 (I,X) = C (I,X) u0 (t) C (I,X) ∩ { ∈ } Cc (I,X) = C (I,X) u (t) = 0 on [0, δ] [T δ, T ] for some δ ∩ { ∪ − } Proof: p ? R p (1) u (t) L (I; X) given = un (t) simple such that un (t) u (t) dt 0. ∈ ⇒ ∃ I k − kX → We know u (t) is measurable, hence un (t) simple such that un (t) u (t) a. e. in I. Set un = ( ∃e e → uen (t) if uen (t) 1 + u (t) k k ≤ k k. Clearly un (t) u (t), but un (t) 1 + u (t) for a. e. 0 otherwise → k k ≤ k k p p un (t) u (t) (1 + 2 u (t) ) k| {z− k} ≤ k k →0 s. v. p cp (1 + u (t) ) = g (t) . . . integrable ≤ k k By scalar Lebesgue theorem we are done. 1.2. AC FUNCTIONS AND WEAK TIME DERIVATIVE 8
PN p (2) by (1) we know: u (t) = j=1 χAj (t) xj are dense in L (I; X). Scalar theory: χAj (t) can be approxi- p ∞ mated in L (I; R) by ϕj (t) Cc (I, R). PN ∈ ∞ p (3) Functions u (t) = ϕj (t) xj, ϕj (t) Cc (I, R), xj X can be approximated in L (I; X) by j=1 ∈ ∈ PN ∞ functions u (t) = j=1 ϕj (t) yj, where ϕj Cc (I, R), yj Y . | {z } ∈ ∈ ∞ Cc (I; Y ) , obviously ∈ ∞ (4) ε 0 given, arbitrary. Find v (t) C (I,X) such that u (t) v (t) p < ε. Then ≥ ∈ c k − kL (I;X) u ψn (t) v (t) = [u v] ψn (t) + v ψn (t) = fn (t) + gn (t) ∗ ± − ∗ ∗ fn (t): use Young inequality: ϕ1 ϕ2 r ϕ1 p ϕ2 q , in particular for p = r, q = 1: • k ∗ kL ≤ k kL k kL ϕ1 ϕ2 p ϕ1 p ϕ2 1 . Set ϕ1 = u v, then u v p < ε, ϕ2 = ψn, ψn 1 = 1. k ∗ kL ≤ k kL · k kL − k − kL (I;X) k kL = fn (t) Lp(I;X) < ε. ⇒ k k p gn (t) = v ψn (t) ⇒ v (t) in I, hence v ψ (t) v (t) in L (I; X), hence gn (t) v (t) Lp(I;X) < ε • for n large∗ enough. ∗ → k − k
u ψn (t) u (t) = fn (t) + gn (t) v (t) + v (t) u (t), ∗ − | {z } | {z− } | {z− } →0 <ε <ε for nk·klarge k·k therefore u ψn (t) u (t) < 3ε for n large. k ∗ − k Remark. (1) Corollary: X separable = Lp (I; X) is separable for p [1, ). (2) None of these is true for p⇒= . ∈ ∞ (3) More about Lp (...) can be found∞ below (dual space, geometry).
1.2. AC functions and weak time derivative Def.: u (t): I X is absolutely continuous (AC (I,X)) for ε > 0 δ > 0: disjoint finite system → P P ⇐⇒ ∀ ∃ ∀ (αj, βj) I it holds that if αj βj < δ then u (αj) u (βj) < ε. ⊂ j | − | j k − k Theorem 1.5 [Derivative of AC function]. Let u (t) AC (I,X), let X be reflexive and separable. 0 1 0 ∈ 1 R t2 0 Then u (t) = limh→0 (u (t + h) u (t)) for a. e. t I, u (t) L (I; X) and u (t2) u (t1) = u (s) ds for h − ∈ ∈ − t1 t1, t2 I. ∀ ∈ Recall: We assume scalar version (X = R) is already proven. I = [0,T ] • X is Banach space. • Recall: (Eberlein–Šmulian theorem). X is reflexive, un is bounded = weakly convergent subse- ∗ k ∗k ∗ ⇒∗ ∃ quence un, i. e., u X such that un * u meaning x , un x , u for x X fixed. e ∃ ∈ e h e i → h i ∀ ∈ Recall: norm is weakly lower-semicontinuous:
un * u = u lim inf un ⇒ k k ≤ n→∞ k k Proof of th. 1.5: Step 1: set N by def. X V (t) = var (u (t) , 0, t) = sup u (τj) u (τj−1) k − k D j=1 where the supremum is taken over all partitions D of the interval [0, t], i. e., D : 0 = τ0 < τ1 < . . . < τn = t. observe: V (t) 0, V (t) is non-decreasing, even AC. ≥ u (t + h) u (t) V (t + h) V (t) 0 − − V (t) R for a. e. t I N0, h ≤ h → ∈ ∈ \ u(t+h)−u(t) where λ (N0) = 0. Hence is bounded as h 0, for a. e. t I. h → ∈ 1.2. AC FUNCTIONS AND WEAK TIME DERIVATIVE 9
∗ ∗ ∗ ∗ Step 2: X is separable, let x1, x2,... be some countable dense set in X . Define auxiliary functions ϕk (t) = ∗ { } 0 xk, u (t) : I R, ϕk are AC. Therefore by scalar case ϕ (t) R, for t I Nk, λ (Nk) = 0 and ϕk (t2) h i R t2 →0 S ∈ ∃ ∀ ∈ \ − ϕk (t1) = ϕ (s) ds t1, t2. For t I Nk define v (t) X as follows: take some hn 0 such that t1 ∀ ∈ \ k>0 ∈ → u(t+hn)−u(t) * v (t) (by Step 1 & Eberlein–Šmulian). hn u(t+h)−u(t) observe: v (t) is independent of the sequence hn, hence * v (t), h 0. h → u(t+ehn)−u(t) Assume: * v (t) X. But then ehn e ∈ ∗ u (t + hn) u (t) ∗ xk, − xk, v (t) hn → h i
k k 1 0 (ϕk (t + hn) ϕk (t)) ϕk (t) , hn − → ∗ 0 ∗ ∗ ∗ the same holds with ehn: x , v (t) = ϕ (t) = x , v (t) , therefore x , v (t) v (t) = 0 for k, by density of x h k e i k h i h k e − i ∀ k in X we have ve(t) = v (t). Step 3: v (t) L1 (I,X), i. e., ∈ (1) measurable . . . see excercises, HW1 (2) R v (t) dt < . . . weak lower semicontinuity I k k ∞ Z Z 1 v (t) dt lim inf (v (t + hn) v (t)) dt I k k ≤ I n→∞ hn − Z 1 lim inf (V (t + hn) V (t)) dt ≤ I n→∞ hn − Z 1 we know = lim (V (t + hn) V ) dt I n→∞ hn − Z = V 0 (t) dt < I ∞ since V (t) is AC. R t2 Step 4: u (t2) u (t1) = v (s) ds for t1, t2 I. t1 We have: − ∀ ∈ Z t2 Z t2 ∗ ∗ ∗ ∗ xk, u (t2) xk, u (t1) = xk, v (s) ds = xk, v (s) ds h i − h i t1 h i t1 | 0{z } ϕk(s) ∗ ∗ We conclude by density of xk in X . Step 5: u(t+h)−u(t) v (t) strongly for a. e. t I . . . consequence of Th. 1.4 and step 4. h → ∈ ∞ Notation: D (I) = Cc (I, R) . . . scalar test-functions. Lemma 1.2 [Weak characterization of constant and zero function]. Let u (t) L1 (I; X). R ∈ (1) If I u (t) ϕ (t) dt = 0 for ϕ (t) D (I) then u (t) = 0 a. e. in I. R 0 ∀ ∈ (2) If u (t) ϕ (t) dt = 0 for ϕ (t) D (I) then x0 X such that u (t) = x0 a. e. in I. I ∀ ∈ ∃ ∈ Proof: (1): Set un (t) = u ψn (t), where ψn (t) = nψ0 (nt), ψ0 (t) is convolution kernel such that ψ0 D ([ 1, 1]). ∗ ∈ − R PS = u (s) ψn (t s) ds = 0 by assumptions. R | {z− } D (I) for n large enough and t [0,T ] fixed ∈ ∈ On the other hand: LS = un (t) u (t) a. e. (by th. 1.4) 0 d R→ ex.R 0 (2) un (t) as above: un (t) = dt u (s) ψn (t s) ds = u (s) ψn (t s) ds = 0, t (0,T ) fixed, n large enough, R − R | {z− } ∈ −ϕ0(s) 0 where ϕ (s) = ψn (t s) D (I). Hence un (t) is smooth, u (t) = 0, therefore un (t) = xn everywhere. But − ∈ n un (t) u (t) a. e. in I, which concludes the proof. → 1.3. GEOMETRY AND DUALITY IN Lp (I; X) SPACES 10
ψ (t s) n −
0 t T
Figure 1.2.1. Regularization function ψn (t s) −
Lemma 1.3 [Equivalent definition of weak derivative]. Let u (t), g (t) L1 (I; X). Then the following are equivalent: ∈ R t (1) x0 X such that u (t) = x0 + 0 g (s) ds for a. e. t I. (2) R∃ u (∈t) ϕ0 (t) dt = R g (t) ϕ (t) dt for ϕ (t) D (I).∈ I − I ∀ ∈ (3) d x∗, u (t) = x∗, g (t) in the sense of distributions in (0,T ) for x∗ X∗ fixed. dt h i h i ∀ ∈ Proof: R ∗ 0 R ∗ (2) (3) recall: (3) means I x , u (t) ϕ (t) dt = I x , g (t) ϕ (t) dt for ϕ D (t). ⇐⇒ ∗ Rh 0i − ∗ hR i ∀∗ ∈ ∗ It follows that x , I u (t) ϕ (t) dt = x , g (t) ϕ (t) dt for x X and ϕ D (I). Therefore R 0 R − ∀ ∈ ∀ ∈ I u (t) ϕ (t) dt = g (t) ϕ (t) dt (2) holds. (1) = (3) take x∗ X∗ arbitrary, apply to⇐⇒(1): ⇒ ∈ Z t ∗ ∗ ∗ x , u (t) = x , x0 + x , g (s) ds = ξe(t) |h {z }i h i 0 h| {z }i = ξ (t) η (s)
clearly ξe(t) AC, ξe(t) = ξ (t) a. e. Take ϕ (t) D (I): one easily verifies that ξe(t) ϕ (t) AC ∈ 0 ∈ ∈ and ξe(t) ϕ (t) = ξe(t) ϕ (t) + ξe(t) ϕ0 (t) a. e. Integrate over [0,T ], note that ϕ (0) = ϕ (T ) = 0: R 0 0 = I ξe(t) ϕ (t) + ξe(t) ϕ (t) dt. Therefore (3) holds. |{z} |{z} = η (t) a. e.=ξ (t) a. e. (2) = (1) set u (t) = R t g (s) ds ... u (t) AC (I,X), u0 (t) = g (t) a. e. e 0 e e ⇒ Take ϕ (t) D (I) arbitrary . .∈ . u (t) ϕ (t) AC (I,X), by remark below Th. 1.4 it holds that ∈ e ∈ , Z 0 0 0 (ue (t) ϕ (t)) = ue (t) ϕ (t) + ue (t) ϕ (t) dt I Z Z 0 = 0 = g (t) ϕ (t) dt + ue (t) ϕ (t) dt, ⇒ I I R R 0 by (2) we have: I g (t) ϕ (t) dt + I u (t) ϕ (t) dt = 0. R 0 L. 1.2, 2 Subtract: [u (t) u (t)] ϕ (t) = 0 ϕ (t) D (I) = x0 X s. t. u (t) u (t) = x0 a. e. in I. I − e ∀ ∈ ⇒ ∃ ∈ − e But u (t) = R t g (s) ds, hence (1) holds. e 0 Def.: [Weak derivative of u (I): X]. Let u (t), g (t) L1 (I; X). We say that g (t) is weak time → ∈ d derivative of u (t), if one (and hence any) of the assertions of L. 1.3 holds. We write dt u (t) = g (t). We then define W 1,p (I; X) = u (t) Lp (I; X) , d u (t) Lp (I; X) . ∈ dt ∈ 1.3. Geometry and duality in Lp (I; X) spaces Recall: [Reflexive space, canonical embedding X X∗∗]. mapping J : X (X∗)∗ is isometric into. For X reflexive, J is onto. → → ∗ x Jx, where Jx, y X∗∗,X∗ = y, x X∗,X for y X . Eberlein–Šmulian: X reflexive, un X bounded = 7→ h i h i ∀ ∈ { }∗ ⊂ ⇒ subseq. un: u X s. t. un * u (weak convergence, meaning y, un y, u for y X ). ∃ e ∃ ∈ e h e i → h i ∀ ∈ 1.3. GEOMETRY AND DUALITY IN Lp (I; X) SPACES 11
Def.: [Strictly and uniformly convex space]. X is: x+y strictly convex: x , y 1, x = y = 2 < 1. k k k k ≤ 6 ⇒ x+y uniformly convex: ε > 0 δ > 0 s. t. x , y 1, x y ε = < 1 δ. ∀ ∃ k k k k ≤ k − k ≥ ⇒ 2 − Theorem 1.6 [Relationship between weak and strong convergence in UC spaces]. Let X be uni- formly convex, let xn * x and let xn x . Then xn x. k xkn → k k x → Proof: WLOG: x = 0, set yn = , y = , clearly yn * y, yn y = 1. Assume for contradiction 6 kxnk kxk k k → k k y+y yn+y yn 9 y, hence ε > 0, subseq yen such that yen y ε for n. But yen * y = 2 ( 2 and since the ∃ ∃ k − k ≥ ∀ X unif. conv. yn+y norm is weakly lower semicontinuous, we have y lim infn 2 1 δ < 1, by which we have obtained a contradiction. k k ≤ ≤ −
Remark: general principle: xn * x, A (xn) *A (x) for suitable A = xn x. ⇒ → Remark: X Hilbert = X uniformly convex, • X uniformly⇒ convex = X reflexive, • Lp (Ω) is uniformly convex⇒ for p (1, + ). • ∈ ∞ Theorem 1.7. Let X be uniformly convex, p (1, + ). Then Lp (I; X) is uniformly convex. ∈ ∞ Recall: 0 1 1 p, p [1, ) are Hölder conjugate p + p0 = 1 • ∈ ∞ ⇐⇒ 1 1 0 0 Hölder inequality: R u (x) v (x) dx R u (x) p dx p R v (x) p p • Ω | | ≤ Ω | | Ω | | p0 p ∗ R p consequence: v (x) L (Ω) ... Fv (L (Ω)) : u ( ) u (x) v (x) dx for u L (Ω). • ∈ ∈ · 7→ Ω ∀ ∈ 0 Theorem 1.8 [Hölder inequality]. Let u (t) Lp (I; X), v (t) Lp (I; X∗), p, p0 Hölder conjugate. Then ∈ ∈ the mapping t v (t) , u (t) ∗ is measurable and 7→ h iX ,X 1 1 Z Z p Z p0 p p0 v (t) , u (t) dt u (t) X v (t) X∗ . I |h i| ≤ I k k I k k
Proof: u (t), v (t) are strongly measurable, P S < . Then un (t): I X simple such that un (t) u (t) and ∞ ∗ ∃ → → vn (t): I X simple such that vn (t) v (t) a. e. in X,X . Therefore the mapping t vn (t) , un (t) is simple ∃ → → 7→ h i and measurable. Since vn (t) , un (t) v (t) , u (t) a. e. ( , is continuous), the mapping t v (t) , u (t) is h i → h i h· ·i 7→ h i measurable. Finally: v (t) , u (t) v (t) ∗ u (t) and by scalar Hölder inequality we are done. |h i| ≤ k kX k kX p0 ∗ R p Corollary: v (t) L (I; X ) = Fv : u v (t) , u (t) ∗ is well defined for u (t) L (I; X). ∈ ⇒ 7→ I h iX ,X ∀ ∈ Theorem 1.9 [Characterization of Lp (I,X) dual]. Let X be reflexive, separable, let p [1, + ). Denote 0 ∈ ∞ X = Lp (I; X). Then for any F X ∗ there is v (t) Lp (I,X∗) such that ∈ ∈ Z F, u (t) X ∗,X = v (t) , u (t) X∗,X dx u (t) X . h i I h i ∀ ∈
Moreover, v (t) is uniquely defined and v (t) p0 = F ∗ . k kL (I;X) k kX Proof. Step 1: For τ I and x X denote uτ,x(t) = χ[0,τ](t)x. Clearly uτ,x(t) X and x F, u ( ) is linear continuous.∈ Hence∈ there is g(τ) X∗ such that F, u ( ) ∈= g(τ), x 7→ τ,x X ∗,X τ,x X ∗,X X∗,X hfor all x· iX. ∈ h · i h i 0 We will show∈ there is v(t) Lp (I; X∗) such that ∈ Z τ g(τ) = v(t) dt (1) 0
v(t) p0 ∗ F ∗ (2) k kL (I;X ) ≤ k kX 1.3. GEOMETRY AND DUALITY IN Lp (I; X) SPACES 12
Observe that with this we are done: (1) implies that Z τ Z F, u ( ) = v(t) dt, x = v(t), u (t) dt τ,x X ∗,X τ,x X∗,X h · i 0 X∗,X I h i By linearity we have Z F, u( ) X ∗,X = v(t), u(t) dt (3) h · i I h i P for any u(t) = j χ(αj ,βj ](t)xj. But such functions are dense in X , to which (3) extends, using continuity of F on the left, and Hölder inequality on the right. Furthermore, it now follows from (3) that Z F ∗ = sup F, u( ) ∗ = sup v(t), u(t) ∗ dt v(t) p0 ∗ k kX h · iX ,X h iX ,X ≤ k kL (I;X ) ku(t)kX =1 ku(t)kX =1 I
0 by Hölder inequality again. Together with (2) we obtain F X ∗ = v(t) Lp (I;X∗); this also implies that v(t) is uniquely defined. k k k k
∗ Step 2: Towards proving (1), we first show that g(t): I X is absolutely continuous. Let (αj, βj) I be dis- → ⊂ joint. It follows from reflexivity of X that there exist xj X with xj = 1 such that g(βj) g(αj) X∗ g(βj) g(αj), xj X∗,X . On the other hand ∈ k k k − k h − i
g(βj) g(αj), xj ∗ = F, uβ ,x ( ) uα ,x ( ) = F, χ ( )xj h − iX ,X j j · − j j · X ∗,X (αj ,βj ] · X ∗,X Hence * + X X g(βj) g(αj) ∗ = F, χ ( )xj k − kX (αj ,βj ] · j j X ∗,X 1 (4) p
X X ∗ FX χ(αj ,βj ](t)xj = F ∗ (βj αj) ≤ k kX − j j X Obviously, this implies g(t) AC(I; X∗). ∈ Step 3: By previous step and the fact that g(0) = 0, we see that (1) holds with some v(t) L1(I; X∗). It remains to establish (2). ∈ If p = 1, observe that (4) implies g(t) is lipschitz, and in particular v(t) = g0(t) a. e. is essentially bounded by 0 F ∗ . In other words, (2) holds with p = as required. k kX ∞ P If p (1, ), one can proceed as follows. As in Step 1 we use linearity to deduce (3) for all u(t) = χ (t)xj. ∈ ∞ j (αj ,βj ] We now just have v(t) L1(I; X∗), so the density argument only extends to u(t) L∞(I; X). We need one more limiting∈ argument: set ∈ ( v(t), if v(t) X∗ n vn(t) = k k ≤ 0, otherwise
p0−1 and un(t) = z(t) vn(t) X∗ , where z(t) X are such that z(t) X = 1 and v(t), z(t) X∗,X = v(t) X∗ . Now k k ∈p k k p0 h i k k un(t) are essentially bounded, and un(t) X = v(t), un(t) X∗,X = vn(t) X∗ . Plugging un(t) into (3) gives, after a simple manipulation, that k k h i k k 1 Z p0 p0 vn(t) X∗ dt F X ∗ I k k ≤ k k
Since vn(t) ∗ v(t) ∗ , estimate (2) follows by Levi theorem. k kX % k kX Corollary: X reflective, separable, p (1, + ) = Lp (I; X) is reflexive and separable. Hence any sequence bounded in Lp (I; X) has a weakly∈ convergent∞ subsequence.⇒ 1.4. MORE ON WEAKLY DIFFERENTIABLE FUNCTIONS 13
1.4. More on weakly differentiable functions: extensions, approximations, embeddings 1 d Recall: u (t) , g (t) L (I; X) ... g (t) is a weak derivative of u (t) dt u (t) = g (t) iff (by L. 1.3) x0 X ∈R t R 0 R ∃ ∈ such that u (t) = x0 + 0 g (s) ds for a. e. t I = [0,T ] or I u (t) ϕ (t) dt = I g (t) ϕ (t) dt for ∞ ∈ ⇐⇒ − ϕ (t) D (I) = Cc (I, R). ∀ ∈ Remark: 0 by the above results: u (t) is weakly differentiable ue (t) AC such that ue (t) = u (t), ue (t) = • d ⇐⇒ ∃ ∈ dt u (t) a. e. p d q in applications we will often have u (t) L (I; Y ), dt u (t) L (I; Z). This means: X such that • ∈d ∈1 ∃ p Y,Z X (often Y Z = X). Then dt u (t) = g (t) in L (I; X) and moreover u (t) L (I; Y ), g (t) ⊂Lq (I; Z). ⊂ ∈ ∈ Lemma 1.4 [Weak derivative of product and convolution]. Let u (t): I X be weakly differentiable. Then: → ∞ 1 d (1) If η (t): I R is C , then u (t) η (t): I X is weakly differentiable and dt (u (t) η (t)) = d → 0 → dt u (t) η (t) + u (t) η (t). 0 d (2) If ψ (t) D (I), then u ψ (t): I X is smooth and moreover (u ψ) (t) = dt u ψ (t), whenever t supp∈ψ (0,T ). ∗ → ∗ ∗ − ⊂ Proof: (1) ϕ (t) D (I) given: ∈ Z Z [u (t) η (t)] ϕ0 (t) dt = u (t) η (t) ϕ0 (t) dt I I | {z } (smooth) (η (t) ϕ (t))0k η0 (t) ϕ (t) Z − Z = u (t)(η (t) ϕ (t))0 dt u (t) η0 (t) ϕ (t) dt I | {z } − I D (I) | {z ∈ } = R g (t) η (t) ϕ (t) dt, g (t) = d u (t) − I dt Z d = u (t) η (t) + u (t) η0 (t) ϕ (t) dt − I dt (2) extend u (s) = 0 for s / I (not neccessary if t supp ψ I). Let t I be fixed. ∈ − ⊂ ∈ Z subst. Z u ψ (t) = u (t s) ψ (s) ds = u (s) ψ (t s) ds ∗ − − ZR R = u (s) ψ (t s) ds I − Z we know: (u ψ)0 (t) = u (s) ψ0 (t s) ds ∗ I | {z− } = ϕ0 (s), where ϕ (s) = ψ (t s) − − Z Z d = g (s) ϕ (s) ds = u (s) ψ (t s) = PS I I dt − p d q Theorem 1.10 [Extension operator for weak derivative]. Let u (t) L (I,Y ), dt u (t) L (I; Z), ∈ p d ∈ q where I = [0,T ]. Denote I∆ = [ ∆, T + ∆] with ∆ > 0. Then there is Eu (t) L (I∆; Y ), dt Eu L (I∆,Z) d − d ∈ ∈ and such that Eu (t) = u (t), Eu (t) = u for a. a. t I. Moreover, Eu (t) p C u (t) p and dt dt L (I∆,Y ) L (I∆,Y ) d d ∈ k k ≤ k k Eu (t) q C u (t) q for suitable C > 0. dt L (I∆,Y ) ≤ dt L (I∆,Y )
1Holds for lipschitz, proven for C∞. 1.4. MORE ON WEAKLY DIFFERENTIABLE FUNCTIONS 14
T 0 T 2T − Figure 1.4.1. Even extension
( u (t) t [0,T ] Proof: Trick: use even extension as on Fig. 1.4.1: u (t) = ∈ . e u ( t) t [ T, 0) − ∈ − Claim: u (t) is weakly differentiable and d u (t) = g (t) in [ T,T ], e ( dt e e − g (t) t [0,T ] where g (t) = ∈ with g (t) = d u (t). e g ( t) t [ T, 0) dt − − ∈ − Note: t [ T, 0] = ∈ − ⇒ L. 1.3, 1 Z −t Z T Z T ue (t) = x0 + g (s) ds = x0 + g (s) ds g (s) ds 0 0 − −t | {z } | {z } xe0∈X subst. s = τ Z t Z t − = xe0 ge( τ) dτ = xe0 + ge(s) ds, − −T − −T hence we have shown: u (t) = x + R t g (s) ds, t [ T, 0), but also u (t) = x + R t g (s) ds, therefore u (t) = e e0 −T e 0 0 e t ∈ − R due d x0 + g (s) ds, t [ T,T ]. Clearly u (t) p = 3 u p , q = 3 u q . e −T e ∈ − ke kL ([−T,2T ];Y ) k kL (I;Y ) dt L ([−T,2T ],Z) dt L (I;Z) Remarks: extension operator u Eu is linear, • we can have Eu (t) =7→ 0 for t outside I (multiply by cutoff function η (t): L. 1.4,1). • ∆/2 Theorem 1.11 [Smooth approximation of weakly differentiable functions]. Let u (t) Lp (I; Y ), d q 1 p ∈ 0 dt u (t) L (I; Z). Then there exist functions un (t) C (I; Y ) such that un (t) u (t) in L (I; Y ), un (t) d ∈ q ∈ → → dt u (t) in L (I; Z). ∞ R Proof: Set un (t) = Eu ψn (t), where ψn (t) = nψ0 (nt), ψ0 (t) C ( , ), ψ0 (t) dt = 1, ψ0 (t) = 0 c R R R outside [ 1, 1]. Eu (t) is defined∗ for t [ ∆, T + ∆] . . . from Th. 1.10,∈ set Eu (t) = 0 elsewhere. − 1 ∈ − p Observe: un (t) C (I,Y ) . . . ex. 1.3.1, un (t) Eu (t), n in L (I∆,Y ) . . . L 1.1,4 and Eu (t) = u (t) in ∈ p → 0 →d ∞ d q [0,T ], hence un (t) u (t) in L (I; Y ). Moreover, u (t) = Eu ψn (t) Eu (t) ψn in L (I; Z) by L. → n dt ∗ → dt ∗ 1.1,4 and d Eu (t) = d u (t) in I, hence u0 (t) d u (t) in Lq (I; Z). dt dt n → dt Def.: [Gelfand triple]. Let X be separable, reflexive, densely embedded into a Hilbert space H. Then, by Gelfand triple we mean X H = H∗ X∗. ⊂ ∗ ⊂ ∗ Commentary: Riesz: H = H (identification): y H !ye H such that y, x H∗,H = (y,e x)H x H, ∀∗ ∈ ∗ ∃ ∈ ∗h i ∀ ∈ ∗ where ( , )H is scalar product in H. X H = H X , in particular X X via the embedding: x0 x0, · ∗· ⊂ ⇒ ⊂ ⊂ 7→ where x , x ∗ = (x0, x) x X. Can be shown: injective and on the dense set, see ex. 3.3. h 0 iX ,X H ∀ ∈ Application: we will often work with u (t) Lp (I; X), d u (t) Lq (I; X∗). ∈ dt ∈ Lemma 1.5 [Weak representative for W 1,p (I; X)]. W 1,p (I; X) C (I,X) in the sense of representa- tive: for any u (t) W 1,p (I,X) there is u (t) C (I,X) such that u (⊂t) = u (t) a. e. and u (t) ∈ e ∈ e ke kC(I,X) ≤ c u (t) 1,p . k kW (I;X) Remark: One even has W 1,p (I; X) , C0,α (I,X), where α = 1 1 (HW 2). → − p 1.4. MORE ON WEAKLY DIFFERENTIABLE FUNCTIONS 15
Proof: Step 1: u (t) C1 (I,X) . . . fix t I, WLOG let t T ,T , where I = [0,T ]. Then u (t) = ∈ ∈ ∈ 2 u (τ) + R t d u (s) ds for τ 0, t . Therefore τ ds ∈ 2 Z Z T/2 d u (t) u (τ) + u (s) ds / dτ k k ≤ k k I dt 0 T Z 2 Z T T d u (t) u (τ) dτ + u (s) ds 2 k k ≤ 0 k k 2 I dt
c u (t) 1,1 c u 1,p ≤ k kW (I;X) ≤ ek kW (I;X)
= u (t) c u (t) 1,p (#) ⇒ k kC(I;X) ≤ k kW (I;X) c = c (T ) for any u (t) C1 (I,X) 1,p ∈ 1 1,p Step 2: u (t) W (I; X) arbitrary. Th. 1.11 = un (t) C (I; X), un (t) u (t) in W (I; X). Hence ∈ 1,p ⇒ ∃ ∈ → un (t) is cauchy in W (I; X) and we apply (#) to un (t) um (t) = un (t) is cauchy in C (I,X), hence { } − ⇒ { } un (t) u (t), where u (t) C (I,X) is the continuous representative. ⇒ e e ∈ 0 Theorem 1.12 [Continuous representative for Lp (I; X) with Lp (I,X∗) derivative]. Let X H = 0 ⊂ H∗ X∗ be Gelfand triple. Let u (t) Lp (I; X), d u (t) Lp (I; X∗), where p, p0 are Hölder conjugate. Then ⊂ ∈ dt ∈ (1) u (t) C (I,H) in the sense of representative: ∈ d u (t) C (I,H) such that u c u p + u p0 ∗ and u (t) = u (t) a. e. in I. ∃e ∈ kekC(I,H) ≤ k kL (I;X) dt L (I;X ) e (2) t u (t) 2 is weakly differentiable with d u (t) 2 = 2 d u (t) , u (t) a. e. in I, in particular, 7→ k kH dt k kH dt X∗,X 2 2 R t2 d u (t2) = u (t1) + 2 u (s) , u (s) ∗ ds where u (t) is the continuous representative. ke kH ke kX t1 dt X ,X e Proof: (1) Step 1: u (t) C1 (I,X). Trick: u (t) = u (t) θ (t) + u (t) (1 θ (t)), θ (t): I R is smooth, θ (0) = 0, ∈ | {z } | {z− } → u1(t) u2(t) t θ (T ) = 1, e. g. θ (t) = T . 2 u1 (t) H = (u1 (t) , u1 (t))H (u1 (0) , u1 (0))H k k − | {z } 0 Z t d = (u1 (s) , u1 (s)) ds 0 ds Z t 0 = 2 u1 (s), u1 (s) ds 0 | {z } | {z } u0 (s) θ (s) + u (s) θ0 (s) u (s) θ (s) Z t 0 2 0 = 2 (u (s) , u (s))H θ (s) + (u (s) , u (s))H θ (s) θ (s) ds 0 Z t Gelfand emb. 0 0 ∗ = 2 ιu (s) , u (s) X∗,X θ (s) + ιu (s) , u (s) X∗,X θ (s) θ (s) ds ι : X X 0 h i h i → Z C ιu0 (s) , u (s) + ιu (s) , u (s) ds ≤ I |h i| |h i|
"generalized scalar product": Gelfand: ιu, v ∗ = (u, v) . . . use Hölder h iX ,X H
0 C ιu p0 u p + ιu ∞ ∗ u 1 ≤ k kL (I;X) k kL (I;X) k kL (I;X ) k kL (I;X) | {z } L. 1.1 C u 1,1 ∗ ≤ k kW (I;X ) !2 d C u Lp(I;X) + ιu ≤ k k dt Lp0 (I;X) 1.4. MORE ON WEAKLY DIFFERENTIABLE FUNCTIONS 16
And therefore part 1 holds for u (t) C1 (I,X), namely we have: ∈ d ( ) sup u (t) c u p + u p ∗ . t∈[0,T ] k kH ≤ k kL (I;X) dt L (I;X ) ☼ p d p0 ∗ 1 Step 2: let u (t) L (I; X) with dt u (t) L (I; X ) be given. By Th. 1.11 there exists un C (I; X) ∈ p ∈ 0 d p0 ∗ ∈ such that un (t) u (t) in L (I; X) and ιun (t) dt u (t) in L (I; X ). Apply ( ) to un (t) um (t) 1 → → − ∈ C (I,X), hence RHS is small for m, n n0 for n0 large enough. Therefore LHS☼is small = (B.C.) ≥ ⇒ for un (t): I H = u (t) C (I,H) such that un (t) u (t) in I. Also: un (t) u (t) a. e. in X, → ⇒ ∃e ∈ ⇒ e → hence u (t) = ue (t) a. e., where ue (t) is the representative. (2) Let un (t) be smooth approximations:
d 2 d 0 un (t) = (un (t) , un (t)) = 2 (u (t) , un (t)) dt k kH dt n 0 = 2 ιu (t) , un (t) ∗ h n iX ,X
For t1, t2 I we have ∀ ∈ Z t1 2 2 0 un (t2) H = un (t1) H + 2 ιun (s) , un (s) X∗,X ds k k k k t2 h i n ↓ → ∞ Z t1 2 2 0 ue (t2) H = ue (t1) H + 2 ιu (s) , u (s) X∗,X ds k k k k t2 h i
p p0 ∗ by Hölder inequality (ex.: un (t) u (t) in L (I; X), vn (t) v (t) in L (I; X ) which implies the R →R → convergence vn (s) , un (s) ds v (s) , u (s) ds, see ex. 2.5. I h i → I h i Notation: embedding: X, Y : X Y , c > 0 such that u c u → ⊂ ∃ k kY ≤ k kX compact embedding: X, , Y : X, Y and for any un X bounded there is a strongly convergent (in Y ) subsequence. →→ → { } ⊂
Remarks: n 0 o Th. 1.12: u (t) Lp (I; X) , d u (t) Lp (I; X) , C (I,H) in the sense of representative. • ∈ dt ∈ → Gelfand triple: X, H =∼ H∗ , X∗, also X, X∗, more precisely: the embedding of X into X∗ is given • ∗ → → → d R 0 by ιX X , where ιu, v ∗ = (u, v) , u, v X, because: u (t) = g (t) ιu (t) ϕ (t) dt = → h iX ,X H ∈ dt ⇐⇒ I R g (t) ϕ (t) dt ϕ (t) D (I). − ∀ ∈ Lemma 1.6 [Ehrling lemma]. Let Y, , X, Z. Then for any a > 0 there is C > 0 such that u α u + C u . →→ → k kX ≤ k kY k kZ Proof: for contradiction assume that n un such that un > a un + n un , WLOG un = 1, ∀ ∃ k kX k kY k kZ k kX hence 1 > a un Y + n un Z . Therefore un is bounded in Y = subsequence uen u X, u X = 1. But: 1 k k k k { } ⇒ ∃ → ∈ k k n > un Z , un 0 in Z. Therefore u = 0 in Z and thus we have obtained a contradiction: u = 0 in Z = u = 0kin kX since→X, Z ⇒ → Theorem 1.13 [Aubin–Lions lemma]. Let Y, , X, Z, where X, Z are reflexive and separable. Let →p→ → d q p, q (1, ). Then for any sequence un (t) bounded in L (I; Y ) such that dt un (t) are bounded in L (I; Z) there is a∈ subsequence∞ converging strongly in Lp (I; X). p d q p (Briefly: u (t) L (I,Y ) , dt u (t) L (I; Z) , , L (I; X).) ∈ p q ∈ →→ Proof: Step 1: L (I; Y ), L (I; Z) are reflexive, by Eberlein–Šmulian subsequence such that un (t) * u (t) p d q d ∃ p in L (I; Y ) and dt un (t) * g (t) in L (I; Z) and dt u (t) = g (t). We will show: un (t) u (t) in L (I; X). WLOG u (t) = 0 . . . otherwise subtract the limit (see ex. 2.1). → p d q p Subproblem: un (t) * 0 in L (I; Y ) and un (t) * 0 in L (I; Z) = un (t) 0 in L (I; X). dt ⇒ → 1.4. MORE ON WEAKLY DIFFERENTIABLE FUNCTIONS 17
R t+s d Step 2: un 0 (strongly) in Z for any t I fixed. Trick: un (t) = un (t + s) un (σ) dσ, s (t, t + δ). → ∈ − t dt ∈ Integrate R δ ds, multiply by 1 : 0 · δ 1 Z δ 1 Z δ Z t+s un (t) = un (t + s) ds un (σ) dσds δ 0 − δ 0 t | {z } | {z } I1n I2n
I1n: recall: xn * 0 in X, L : X Y linear continuous = Lxn * 0 in Y (see “Properties of weak convergence” 1→R δ ⇒ p in appendices). Observe: u u (t + s) ds is linear continuous L (I; Y ) Y, , Z. Recall: xn * 0 in Y , 7→ δ 0 → →→ Y, , Z = xn 0 in Z. Hence I1n 0 in Z. →→ ⇒ → → I2n: Z δ Z t+s d Fub. Z t+δ Z σ d un (σ) dσ ds = un (σ) ds dσ 0 t dt t σ−t dt Z t+δ d = (σ σ + t) un (σ) dσ t − dt Z t+δ d = I2n Z un (σ) dσ ⇒ k k ≤ t dt Z 1 1 Z t+δ q ! q Z t+δ ! q0 d q0 (Hölder) un (σ) dσ 1 dσ ≤ t dt Z t
d 1− 1 1− 1 un δ δ Kδ δ ≤ dt Lq (I;Z) ≤ 1 where 1 q > 0 since q > 1. − ε ε Therefore for ε > 0 given choose δ > 0 small such that I2n for n. Then choose n0 such that I1n < k kZ ≤ 2 ∀ k kZ 2 if n > n0 = un (t) Z < ε for n > n0. ⇒ k k p Step 3: un (t) 0 in L (I; X), ε > 0 given. Use L. 1.6: un (t) X a un (t) Y + C un (t) Z . ∆- → k k ε ≤ k k k k inequality: un Lp(I;X) a un Lp(I;Y ) + c un Lp(I;Z). Choose a = 2k , where un Lp(I;Y ) K. But: k k ≤ k k1 k k k k ≤ R p p un (t) Lp(I;Z) = I un (t) Z dt 0 by Lebesgue. Since un (t) Z 0 by step 2 and un (t) Z C by k k 1,1 k k → 1,1 k k → ε k k ≤ embedding W (I; Z) , C (I,Z) is un is bounded in W (I; Z), hence second term < for n large, therefore → 2 un p ε for n large. k kL (I;X) ≤ CHAPTER 2
Parabolic second order equations
(P 1) ∂tu div a ( u) + f (u) = h (t, x) , (t, x) I Ω − ∇ ∈ × (P 2) u = u0, t = 0, x Ω ∈ (P 3) u = 0, x ∂Ω ∈ where u = ∂u ,..., ∂u ; operators ∆ and div are defined as usual. u = u (t, x) is unknown solution, ∇ ∂x1 ∂x2 h = h (t, x) is right–hand side, u0 = u0 (x) is initial condition. h and u0 define the data of the equation. Assumptions. (A1) Ω Rn is bounded domain (i. e., open, connected) with regular (Lipschitz) boundary. ∈ n n 2 (A2) a (ξ): R R , a (0) = 0, a (ξ1) a (ξ2) α1 ξ1 ξ2 , (a (ξ1) a (ξ2)) (ξ1 ξ2) α0 ξ1 ξ2 n→ | − | ≤ | − | − · − ≥ | − | ξ1, ξ1 R . ∀ ∈ (A3) f (z): R R, f (z1) f (z2) ` z1 z2 , z1, z2 R. → | − | ≤ | − | ∀ ∈ Remark:
special case: a (ξ) = ξ, f = 0 . . . heat equation ∂tu ∆u = h (t, x). • − Plan: (1) well–posedness ( ! weak solution) (2) regularity (strong∃ solution for smooth data) (3) further properties
t I ∈ u = 0
x Ω ∈
u = u0
Figure 2.0.1. Initial and boundary condition in spacetime cylinder.
18 2. PARABOLIC SECOND ORDER EQUATIONS 19
Recall: 1,2 2 2 R ∂ϕ Sobolev spaces W = u L (Ω) : u = v L (Ω) , where u is weak derivative, i. e., Ω u ∂x dx = • R ∈ ∇ ∈ ∇ − j vjϕ dx ϕ D (Ω) , j. Ω ∀ ∈ ∀ u 1,2 = u 2 + u 2 k kW (Ω) k kL (Ω) k∇ kL (Ω) W 1,2(Ω) 1,2 1,2 ∞ W0 (Ω) = u W (Ω) , u = 0 on ∂Ω in the sense of traces = Cc (Ω) • ∈ ∗ W −1,2 (Ω) = W 1,2 (Ω) • 0 Facts: compact embedding: W 1,2 (Ω) , , L2 (Ω) • →→ 1,2 Poincaré inequality: u L2(Ω) cp u L2(Ω) for u W0 (Ω). • k k ≤ k∇ k ∀ ∈ 1,2 Corollary: norms u W 1,2(Ω) and u L2(Ω) are equivalent on W0 (Ω). 1,2 k k k∇1,2 k 1,2 W (Ω) is reflexive, separable, W0 (Ω) is a closed subspace of W (Ω) hence also reflexive, separable. • 1,2 W (Ω), W 1,2 (Ω) are dense in L2 (Ω). • 0 2 1,2 1,2 2 Notation: we will write L , W , W0 instead of L (Ω), u 2, u 1,2, u −1,2 instead of u L2(Ω) etc. 2 R k k k k k k −1,2 1k,2k ( , ) is scalar product in L (Ω), i. e., (f, g) = Ω f (x) g (x) dx, , is duality of W and W0 . · · | {z } · |{z} h· ·i both functions in n or ∗ R R Gelfand triple: W 1,2 , L2 =∼ L2 , W −1,2 with the embedding ι : L2 , L2 : ιu, v = (u, v), v L2. 0 → → → h i ∀ ∈ Recall: stationary problem: diva ( u) = h, x Ω, h W −1,2 − ∇ ∈ ∈ u = 0, x ∂Ω ∈ weak solution: u W 1,2 such that: R a ( u (x)) v (x) dx = h, v for v W 1,2 ∈ 0 Ω ∇ · ∇ h i ∀ ∈ 0 −1,2 1,2 by nonlinear Lax–Milgram theorem: h W !u W0 weak solution • 1,2 ∀−1∈,2 ∃ ∈ 1,2 we introduce operator A : W0 W by A (u) , v = (a ( u) , v). By Lax–Milgram: A : W0 • W −1,2 is continuous, 1-to-1. → h i ∇ →
Remark: if a (ξ) = ξ, then A (u) , v = ( u, v), i. e., A (u) = ∆u (weak laplacian). h i ∇ ∇ − Assumption: h (t) L2 I; W −1,2, where h (t) = h (t, x) is the RHS in (P 1). ∈ 2 1,2 Def.: [Weak solution of parabolic equation]. function u (t) L I; W0 is called a weak solution to (P 1)–(P 3) provided that: ∈ d (u (t) , v) + (a ( u (t)) , v) + (f (u (t)) , v) = h (t) , v dt ∇ ∇ h i in the sense of distributions in (0,T ) for v W 1,2. (“Infinite system of ODEs.”) ∀ ∈ 0 d Remark: Expanding the definition of dt we get d Z Z y (t) = g (t) y (t) ϕ0 (t) = g (t) ϕ (t) dt ϕ (t) D (I) dt ⇐⇒ I − I ∀ ∈ Z Z = ( ) (u (t) , v) ϕ0 (t) dt + (a ( u (t)) , v) ϕdt ⇒ ∗ − I I ∇ ∇ Z Z + (f (u (t)) , v) ϕ (t) dt = h (t) , v ϕ (t) dt I I h i for v W 1,2, ϕ (t) D (I) ∀ ∈ 0 ∀ ∈ 2. PARABOLIC SECOND ORDER EQUATIONS 20 by expanding further ( , ) we get · · u (t, x) v (x) ϕ0 (t) dt dx + a ( u (t, x)) v (x) ϕ (t) dt dx − x x ∇ · ∇ I×Ω I×Ω Z + f (u (t, x)) v (x) ϕ (t) dt dx = h (t) , v ϕ (t) dt x h i I×Ω I for v W 1,2 ∀ ∈ 0 Note: multiply (P 1) by v (x) ϕ (t), integrate by parts . . . formally we obtain the equation above. • definiton makes sense: all integrals are finite (Hölder & (A1), (A2) . . . see ex. 3) • Lemma 2.1 [Properties of weak solution of parabolic equation]. Let u (t) L2 I; W 1,2 be weak ∈ 0 solution. Then (1) u (t) is weakly differentiable as a function I W −1,2 with → d ( ) u (t) + Au (t) + ιf (u (t)) = h (t) , ∗∗ dt in particular d u (t) L2 I,W −1,2, dt ∈ (2) u (t) C I,L2 in the sense of representative, ∈ (3) t u (t) 2 is weakly differentiable with 7→ k k2 d ( ) u (t) 2 + A (u (t)) , u (t) + (f (u (t)) , u (t)) = h (t) , u (t) a. e. in I ∗ ∗ ∗ dt k k2 h i h i Proof: 1,2 −1,2 (1) with embedding ι : W0 W from Gelfand triple: (u (t) , v) = ιu (t) , v , (f (u (t)) , v) = ιf (u (t)) , v , by definition: (a ( u (t))→, v) = A (u (t)) , v . But then ( ) is rewrittenh asi h i ∇ ∇ h i ∗ *Z + ιu (t) ϕ0 (t) + A (u (t)) ϕ (t) + ιf (u (t)) ϕ (t) h (t) ϕ (t) dt, v = 0. I − − | {z } 1,2 k since eq. holds ϕ (t) D (I), v W0 0 ∀ ∈ ∀ ∈ Therefore ( ) is proven. d 2∗∗ −1,2 dt u (t) L I,W follows from ( ) and the fact that A (u (t)), f (u (t)), h (t) belong to this space. ∈ 1,2 ∗∗∗ −1,2 2 0 (2) Apply Th. 1.12,1 with X = W0 , X = W , H = L , p = p = 2. (3) Apply Th. 1.12,2 with X = W 1,2, X = W 1,2, X∗ = W −1,2, H = L2, p = p0 = 2 ... d u (t) 2 = 0 0 dt k k2 d use (∗∗) 2 dt u (t) , u (t) = ...
Remark: we will always work with continuous representative, hence u (t) is well-defined for all t I, in particular • ∈ initial condition u (0) = u0 makes sense, also, t u (t) 2 is AC (Th. 1.12). • → k k2 Theorem 2.1 [Uniqueness of weak solution of parabolic equation]. Weak solution is unique. Proof: Let u (t) , v (t) L2 I; W 1,2 be weak solutions and assume u (0) = v (0). Set w (t) = u (t) v (t). ∈ 0 − Goal: w (t) = 0 t I. ∀ ∈ d −1,2 By L. 2.1: w (t) is weakly differentiable with dt w (t) + A (u (t)) A (v (t)) + f (u (t)) f (v (t)) = 0 in W for a. a. t I. Apply , w (t) , by Th. 1.12: − − ∈ h· i 2. PARABOLIC SECOND ORDER EQUATIONS 21
d w (t) , w (t) + A (u (t)) A (v (t)) , w + (f (u (t)) f (v (t)) , w (t)) = 0 dt |h −{z }i | − {z } | {z } (t2) (t3) Th. 1.12 k 2 1 d w (t) 2 dt k k2 Z (t2): (a ( u (t)) a ( v (t))) ( u (t) v (t)) dx 0 Ω | ∇ − ∇ {z ∇ − ∇ } ≥ 0 by (A1) ≥
Z
(t3): (f (u (t)) f (v (t))) (u (t) v (t)) dx Ω | {z− } − ≤ ` u (t) v (t) by (A2) Z | − | 2 2 ` w (t) dx = ` w (t) 2 ≤ Ω | | k k Therefore
1 d 2 w (t) 2 = (t2) + ( (t3)) 2 dt k k |−{z } |−{z } 0 (t3) ≤ ≤ | | 0 + ` w (t) 2 ≤ k k2 L. 2.2 = d w (t) 2 2` w (t) 2 for a. a. t I = w (t) 2 w (0) 2 e2`t for t, therefore w (t) = 0 in I. ⇒ dt k k2 ≤ k k2 ∈ ⇒ k k2 ≤ k k2 ∀ Lemma 2.2 [Gronwall lemma]. Let y (g), g (t) be nonnegative (scalar) functions, y (t) continuous, g (t) integrable. Let y (t) K + R t g (s) y (s) ds for t I. Then y (t) K exp R t g (s) ds for t I. ≤ 0 ∀ ∈ ≤ 0 ∀ ∈ Proof: see ex. 3.
2 2 −1,2 2 1,2 Goal: for u0 L , h (t) L I; W u L I; W weak solution such that u (0) = u0. ∀ ∈ ∈ ∃ ∈ 0 Def: [Monotone and hemi-continuous operator]. X is Banach space, let A : X X ∗ be (nonlinear) operator, A is → monotone: A (u) A (v) , u v 0 u, v X . h − − i ≥ ∀ ∈ hemicontinuous: t A (u + tv) is continuous (R X ) for u, v X fixed. 7→ → ∀ ∈
∗ Lemma 2.3 [Minty’s trick]. Let A : X X be monotone, hemicontinuous. Let un * u in X , ∗ → A (un) * α in X . Let lim supn→∞ A (un) , un α, u . Then α = A (u), i. e., A (un) *A (u). Proof: h i ≤ h i
A (un) A (v) , un v 0 v X to be specified later. h − − i ≥ ∈ , A (un) , un A (un) , v + A (v) , un v lim sup h i ≥ h i h − i n→∞
lim sup A (un) , un α, v + A (v) , u v n→∞ h i ≥ h i h − i using last assumptions:
α, u α, v + A (v) , u v h i ≥ h i h − i α A (v) , u v 0 trick: v = u λw, λ > 0, w X h − − i ≥ ± ∈ 2. PARABOLIC SECOND ORDER EQUATIONS 22
= α A (u λv) , λw 0 ⇒ h − ± ∓ i ≥ = α A (u λv), w = 0 ⇒ − | {z± } by hemicontinuity A ↓(u) = α A (u) , w = 0 for w X ⇒ h − i ∀ ∈ = α A (u) = 0 ⇒ − 2 1,2 Theorem 2.2 [Compactness of weak solutions of parabolic equation]. Let un (t) L I; W be ∈ 0 2 2 1,2 weak solutions such that un (0) u0 in L . Then there is a subsequence un (t) * u L I; W such that → e ∈ 0 u (t) is a weak solution with u (0) = u0. Proof: Step 1: a priori estimates , d un (t) + A (un (t)) + f (un (t)) = h (t) a. e. in I, , un (t) dt | {z } | {z } |{z} h· i | {z } (t2) (t3) (t4) (t1) d 1 d 2 (t1) un (t) , un (t) = un (t) by Th. 1.12, L. 2.1. dt 2 dt k k2 (t2) below we omit (t) (argument of functions). Z A (un) , un = a ( un) un dx h i Ω ∇ · ∇ Z = a ( un) a ( 0) ( un 0) dx Ω ∇ − | {z∇ } ∇ − ∇ =0 (A1) Z 2 α un 0 dx ≥ Ω |∇ − ∇ |
2 Poincaré 2 = α un c1 un k∇ k2 ≥ k k1,2 (t3) Z (f (un) , un) = f (un) un dx Ω Z Z = (f (un) f (0)) (un 0) dx + f (0) un dx Ω | − {z − } Ω <` un by (A2) |·| | | (∗) = (t3) un + f (0) un ⇒ | | ≤ k k1 · k k1 ≤ Ω bounded 1 2 1 but un c un . Young: un = un 1 un + k k1 ≤ k k2 k k2 k k2 · ≤ 2 k k2 2 (∗) 2 c3 1 + un where c3 = c3 (Ω, `, . . .) ≤ k k2
(t4) Young c1 2 1 2 (t4) = h (t) , un h −1,2 un 1,2 un 1,2 + h −1,2 | | |h i| ≤ k k k k ≤ 2 k k 2c1 k k Then: d un (t) , un (t) + A (un (t)) , un (t) + f (un (t)) , un (t) = h (t) , un (t) dt h| {z }i h| {z }i h| {z }i | {z } 2 2 c1 2 1 2 2 c1 un un + h 1 d 1,2 c3 1 + un 2 2 1,2 2c1 −1,2 = un (t) 2 ≥ k k ≤ k k ≤ k k k k 2 dt k k 2. PARABOLIC SECOND ORDER EQUATIONS 23
1 d 2 2 un (t) + c1 un (t) 2 dt k k2 k k1,2 ≤ , Z t 2 c1 2 1 2 c3 1 + un (t) 2 + un (t) 1,2 + h (t) −1,2 2 ds k k 2 k k 2c1 k k 0
Z t 2 2 2 = un (t) 2 + c1 un (s) 1,2 ds un (0) 2 + 2c3t + ⇒ k k 0 k k ≤ k k Z t Z t 1 2 2 h (s) −1,2 ds + 2c3 un (s) 2 ds for t I. c1 0 k k 0 k k ∀ ∈ 2 R t 2 2 1 R t 2 Set Y (t) = un (t) +c1 un (s) ds, let K > 0 be such that un (0) +2c3t+ h (s) ds 2 0 1,2 2 c1 0 1,2 k k k k R t k k k k ≤ K for t I, n. Hence we obtain Y (t) K + 0 2c3Y (s) ds for t I. By L. 2.2 (Gronwall): ∀ ∈2c3t ∀ ≤ ∀ ∈ Y (t) Ke for t I = [0,T ]. Therefore Y (t) is bounded in I (independently of n) and so Y un (t) ≤ ∞ ∀ ∈2 2 1,2 d 2 −1,2 is bounded in L I; L and L I; W0 . Moreover dt un (t) are bounded in L I; W . . . follows from the equation (ex. 3).
2 1,2 Step 2: convergent subsequences: subsequence (denote by un (t)) such that un * u (t) in L I; W by ∃ 0 d 2 −1,2 d Eberlein–Šmulian and dt un (t) * g (t) in L I; W . By HW2 we know g (t) = dt u (t). By Th. 1.13 (with 1,2 2 −1,2 2 2 Y = W , X = L , Z = W , p = q = 2) it holds that un (t) u (t) in L I; L . 0 → 2 Moreover: un (t) * u (t) in L for t I fixed (representatives). ∀ ∈ n 2 1,2 d −1,2o Proof: un (t) * u (t) in W = u (t) L I; W , u (t) L I; W , but the mapping u ( ) • ∈ 0 dt ∈ · 7→ u (t), is continuous and linear for t I fixed as W L2 by Th. 1.12. The proof is completed since the weak convergence is preserved by∈ continuous mappings,→ see “Properties of weak convergence” in appendices. Step 3: passage to the limit.
d u (t) + A (u (t)) + f (u (t)) = h (t) in L2 I; W −1,2 dt n n n d u (t) + α (t) + f (u (t)) = h (t) dt 2 2 2 −1,2 easy to show: f (un (t)) f (u (t)) in L I; L , hence also * in L I; W (ex. 3). • → 2 −1,2 2 −1,2 observe: A (un (t)) is bounded in L I; W , hence A (un) * α (t) in L I; W for some α (t) • after taking a subsequence. It remains to show that A (u (t)) = α (t) for a. a. t I. ∈ Apply L. 2.3 (Minty’s trick): , X = L2 I,W 1,2 ,X∗ = L2 I,W −1,2, A˜ : X X : u (t) A (u (t)). easy to 0 → ∗ 7→ see: A˜ monotone and hemicontinuous (in fact continuous, HW3). Need to show: (This completes the proof.) Z Z lim sup A (un)t) , un (t) W −1,2,W 1,2 dt α (t) , u (t) W −1,2,W 1, dt ( ) n→∞ I h i 0 ≤ I h i 0 ∗ | {z } A˜(un),un h iX∗,X d 2 R T By step 1: un + A (un (t)) , un (t) + (f (un (t)) , un (t)) = h (t) , un (t) / dt, rearange: dt k k2 h i h i 0 Z Z Z 1 2 1 2 A (un (t)) , un (t) dt = h (t) , un (t) dt (f (un (t)) , un (t)) dt + un (0) un (T ) I h i I h i − I 2 k k − 2 k k 2. PARABOLIC SECOND ORDER EQUATIONS 24
4 Z X lim sup A (un (t)) , un (t) dt = lim sup (J1n + J2n + J3n + J4n) lim sup Jkn n→∞ h i n→∞ ≤ n→∞ I k=1 Z Z 2 1,2 lim sup J1n = lim h (t) , un (t) dt = h (t) , u (t) dt as un * u, in L I,W0 n→∞ n→∞ I h i I h i
Z Z 2 2 lim sup J2n = lim (f (un (t)) , un (t)) dt = ιf (u (t)) , u (t) dt as un u, in L I,L n→∞ n→∞ I I h i →
1 2 2 lim sup J3n = lim un (0) 2 = u (0) 2 n→∞ n→∞ 2 k k k k 1 2 1 2 1 2 lim sup J4n = lim sup un (T ) 2 = lim inf un (T ) 2 u (T ) 2 n→∞ n→∞ −2 k k − n→∞ 2 k k ≤ −2 k k 2 because un (T ) * u (T ) in L and the norm is weakly lower-semicontinuous, i. e. u (T ) 2 lim infn→∞ un (T ) 2. R R R k k ≤1 2 1k k2 Finally: lim supn→∞ I A (un (t)) , un (t) dt I h (t) , u (t) dt + I (f (u (t)) , u (t)) dt + 2 u (0) 2 2 u (T ) 2. But test eq. for u (t) (threeh underbracesi above),≤ applyh , u (ti) : k k − k k h· i 1 d u (t) 2 + α (t) , u (t) + (f (t) , u (t)) = h (t) , u (t) / R dt 2 dt k k2 h i h i I obtain: Z Z Z 1 2 1 2 α (t) , u (t) dt = h (t) , u (t) dt (f (u (t)) , u (t)) dt + u (0) 2 u (T ) 2 I h i I h i − I 2 k k − 2 k k by comparing the RHS we get the ( ), which completes the proof. ∗
Remark: u (t) is w. s. d ιu (t) = (t, u (t)) , where (t, u): I W 1,2 W −1,2, where ⇐⇒ dt F F × 0 → (t, u) = (u) ιf (u) + h (t) F −A − ⇐⇒ d (u (t) , v) = t, u (t) for v W 1,2 fixed dt F h i ∀ ∈ 0 d 1,2 easy to show (u (t) , wj) = (t, u (t)) , wj , where w1, w2,... are dense in W . . . infinite (countable) ⇐⇒ dt hF i 0 system of ODEs. Good choice of basis wj is useful, it makes things nice.
1,2 Recall [Weak formulation of laplacian in W0 ”]: Eigenvalue problem for Dirichlet laplacian: ∆u = λu in Ω − u = 0 on ∂Ω
1,2 1,2 1,2 weak formulation: find u W0 s. t. ( u, v) = λ (u, v) for v W0 . We know: λj > 0, λj , wj W0 ∈ ∇ ∇ ∀ ∈ 2 ∃ → ∞ ∈1,2 pairs of eigenvalue/eigenfunction s t. wj are complete ON basis of L and also complete ON basis of W ... { } 0 Hilbert space with scalar product (( , )) = ( u, v) . . . (due to Poincaré it gives an equivalent norm on W 1,2) · · ∇ ∇ 0
2 Notation: Pn . . . projection L span w1, . . . , wn . Clearly Pn = 1, but also Pn = 1 with respect to 1,2 → { } k k k k W0 norm, see ex. 4.2.
2 2 −1,2 Theorem 2.3 [Existence of weak solutions of parabolic equation]. Let u0 L , h (t) L I,W . ∈ ∈ 2 1,2 Then there is u (t) L I,W a weak solution such that u (0) = u0. ∈ 0 2. PARABOLIC SECOND ORDER EQUATIONS 25
N PN N N Proof: Step 0: approximating solutions u (t) = j=1 cj (t) wj.( is index), wj laplace eigenfunctions, N cj (t): I R are AC s. t. →
d N N (PN ) c (t) = t, u (t) , wj j = 1,...,N dt j F
. . . system of N ODEs. N N 2 d N N Note: cj (t) = u (t) , wj . . . since wj are ON in L . Hence (PN ) dt u (t) , wj = t, u (t) , wj , j = d N N ⇐⇒ FN 1 ...N PN dt u (t) (t, u (t)) = 0. cj (t) solves (PN ) with init. cond. cj = (u0, wj) , j = ⇐⇒ N − F N 2 ∀ 1,...,N u (0) = PN u0 by ON of wj, hence u (0) u0 = u (0) in L . ⇐⇒ → N N Easy to see: (HW3): RHS of (PN ) satisfies Carathéodory conditions = cj (t) AC (I). Hence u (t) are well-defined in I. ⇒ ∃ ∈ Step 1: a priori estimates (independent of N fixed)
, N d N N N N X (PN ) c (t) + u (t) , wj + f u (t) , wj = h (t, wj) c (t) , dt j A h i · j j=1
PN d N N 1 d PN N 2 1 d N 2 2 first term: j=1 dt cj cj = 2 dt j=1 cj = 2 dt u 2, since wj L are ON, the sum is finite • | {z } ∈ N 2 = u 2 N and cj AC. ∈ (A1) N N R N N N 2 N 2 second term: u , u = a u u α0 u c1 u as in Th. 2.2. • A Ω ∇ ∇ ≥ ∇ 2 ≥ 1,2 N N N 2 third term: f u (t) , u (t) ... c2 1 + u (t) as in Th. 2.2 • ≤ ≤ 2 2 N c1 N 1 2 fourth (last) term: h (t) , u (t) ... u (t) + h (t) . • ≤ ≤ 2 1,2 2c1 k k1,2 d N 2 N 2 N 2 Finally: u (t) + c1 u (t) c3 + c2 u (t) . dt 2 1,2 ≤ 2 N 2 1,2 ∞ 2 By Gronwall: u (t) bounded in L I,W0 and L I,L . d N 2 −1,2 We now need: dt ιu (t) bounded in L I,W . . . use dual characterization of norm:
d N d N ιu (t) = sup ιu (t) , v dt 1,2 dt −1,2 1,2 −1,2 v∈W0 ,kvk=1 W ,W0 but for v fixed we have:
d P uN = uN due to the previous equality ιuN (t) , v N= dt d d d d ιP uN (t) , v = P uN (t) , v = uN (t) ,P v = ι uN (t) ,P v N dt N dt dt N dt N N = t, u (t) ,PN v F N N t, u (t) −1,2 PN v 1,2 t, u (t) −1,2 ≤ F |k {zk } ≤ F ≤ 1 because v 1,2 = 1 and PN L W 1,2 = 1 k k k k ( 0 ) N C u (t) + h (t) by (HW 3) ≤ 1,2 k k−1,2
d N taking sup: u (t) 2 −1,2 C independent of N. dt L (I,W ) ≤ 2. PARABOLIC SECOND ORDER EQUATIONS 26
Step 2: convergent subsequences (as in Thm. 2. 2) s. t. ∃ N 2 1,2 u (t) * u (t) in L I,W0 d d uN (t) * u (t) in L2 I,W −1,2 dt dt uN (t) u (t) in L2 I,L2 → uN (t) * α (t) in L2 I,W −1,2 A uN * u (t) in L2 for any t I fixed ∈ Step 3: limit passage (PN ) (PI ) → d N N (PN ) u , wj = t, u (t) , wj for j N dt F ≤ Z Z N 0 N u (t) , wj ϕ (t) dt + u (t) , wj ϕ (t) dt ⇐⇒ − I I A Z Z N + f u (t) , wj ϕ (t) dt = h (t) , wj ϕ (t) dt I I h i for ϕ (t) D (I). Fix j, let N . ∀ ∈ → ∞ Z Z 0 = (u (t) , wj) ϕ (t) dt + (α (t)) , wj ϕ (t) dt ⇒ − I I h i Z Z + (f (u (t)) , wj) ϕ (t) dt = h (t) , wj ϕ (t) dt I I h i 1,2 1,2 This holds for j, by density of wj in W we can replace wj by v W arbitrary. ∀ 0 ∈ 0 d = ιu (t) + α (t) + ιf (u (t)) = h (t) in L2 I,W −1,2 ⇒ dt It remains to show, that (u (t)) = α (t), same argument as in Th. 2.2. This finishes the proof. A
Remark: If is linear (e. g. heat equation), then (un (t)) * (u (t)) is automatic. A A A
Recall: maximum principle: ∂tu ∆u = h (t), u (0) 0, h (t) 0 then u (t) 0 for t 0. Classical − ≤ ≤∂2 ≤ ∀ ≥ argument: let (t0, x0) be the point of maximum, then ∂tu (t) = 0, 2 u 0 at (t0, x0), then contradiction: ∂x ≤ ∂tu ∆u 0 up to some details. − ≥ Problem: it requires u (t) C I Ω¯ C1 C2. Therefore this is not available for weak solution. ∈ × ∩ t ∩ x „weak argument“: d R u+ (t) dx 0. (Then u+ = 0 = u+ (t) = 0 t 0. How to prove d R u+ (t) dx 0?) dt Ω ≤ ( ⇒ ∀ ≥ dt Ω ≤ z ; z 0 Observe u+ = ψ (u) where ψ (z) = ≥ . Key point: ψ is convex. Convex funcions have nice behaviour 0 ; z < 0 with respect to diffusion. Z Z Z Z d 0 0 PP 00 ψ (u) dx = ψ (u) ∂tu dx = ψ (u) ∆u dx = ψ (u) ( u u) dx dt Ω Ω |{z} Ω Ω −| {z } ∇ · ∇ ∆u... infinite but with good sign This is the basic idea, now let us do it rigorously.
Lemma 2.4 [Weak derivative of compound functions]. Let ψ (z): R R, with ψ0, ψ00 bounded. → 1,2 1,2 0 (1) if u W0 , then ψ (u) W0 , ψ (u) = ψ (u) u in the weak sense and moreover u ψ (u) is ∈ 1,2 1,2 ∈ ∇ ∇ 7→ continuous W W . 0 → 0 (2) if u (t) L2 I,W 1,2 , d u (t) L2 I,W −1,2 then d R ψ (u (t)) dx = d u (t) , ψ0 (u (t)) for a. e. ∈ 0 dt ∈ dt I dt t I. ∈ 2. PARABOLIC SECOND ORDER EQUATIONS 27
Proof: 1,2 ∞ 1,2 ∞ (1) given u W there un C , un u in W , let ϕ C be fixed. ∈ 0 ∃ ∈ c → ∈ c Z Z dϕ 0 ψ (un) dx = ψ (un) unϕdx by parts, all is smooth, zero boundary Ω dxj − Ω ∇ Take limit n : → ∞ Z ∂ϕ Z ψ (u) dx = ψ0 (u) uϕdx Ω ∂xj − Ω ∇ hence ψ (u) = ψ0 (u) u weakly. ∇ ∇ 1,2 1,2 1,2 Continuity: mapping u ψ (u) is continous W0 W0 ? We want to show, that if un u in W , 2 7→ 2 → 1,2 → 2 i. e., un u in L and un u in L , then ψ (un) ψ (u) in W , i. e., ψ (un) ψ (u) in L and 0 → 0 ∇ → ∇ → 0 00 → ψ (un) un ψ (u) u. Routine argument (Lebesgue): ψ , ψ bounded, hence ψ (z) C (1 + z ). ∇ → ∇ 1 2 2 | | ≤ | | (2) Let first u (t) be smooth, say u (t) C I,L , ψ C Take t1, t2 I fixed. ∈ ∈ ∈ Z t2 d 2 u (t1) u (t2) = u (t) dx in L − t1 dt
R t2 d hence u (t2, x) u (t1, x) = u (t, x) dx for a. e. x Ω. − t1 dt ∈ We know: d u (t, x) C I,L2 , L1 I,L1 = L1 (I Ω) = L1 (Ω I), Fubini . . . see ex. 2.2. dt ∈ → × × Hence for a. e. x Ω the following is true: d u (t, x) L1 (I) = t u (t) AC = t ∈ dt ∈ ⇒ 7→ ∈ ⇒ 7→ ψ (u (t, x)) AC and d ψ (u (t, x)) = ψ0 (u (t, x)) d u (t, x). Finally: ∈ dt dt Z t2 d ψ (u (t2, x)) ψ (u (t1, x)) = ψ (u (t, x)) u (t, x) dt for a. e. x Ω − t1 dt ∈ R Integrate Ω dx:
Z Z Z t2 Z Z t2 0 d d 0 ψ (u (t2)) dx ψ (u (t1)) dx = ψ (u (t)) u (t) dx dt = ι u (t) , ψ (u (t)) dt Ω − Ω t1 Ω dt t1 dt | {z } d 0 ( dt u(t),ψ (u(t)))
2 1,2 d 2 −1,2 1 1,2 If u (t) L I,W is arbitrary, u (t) L I,W ... un C I,W s. t. un u (t) ∈ 0 dt ∈ ∃ ∈ 0 → 2 1,2 d d 2 −1,2 2 in L I,W , ι un (t) u (t) in L I,W and un u (t) in L for all t I (continuous 0 dt → dt → ∈ representative). By the above:
Z Z Z t2 d 0 ψ (un (t2)) dx ψ (un (t1)) dx = ι un (t) , ψ (un (t)) dt Ω − Ω t1 dt let n (by Lebesgue: routine limit passage (ex. 4)): → ∞ Z Z Z t2 d 0 ψ (u (t2)) dx ψ (u (t1)) dx = u (t) , ψ (u (t)) dt Ω − Ω t1 dt
p 1,2 −1,2 2 1,2 Def.: [Nonnegative functions in spaces L , W0 , W ]. If v L or W0 , then v 0 (or v 0) means v (x) 0 (or v (x) 0) for a. e. x Ω. ∈ ≥ ≤ ≥ ≤ ∈ 1,2 If h W −1,2 then h 0 (or h 0) means h, v 0 (or h, v 0) for all v W , v 0. ∈ ≥ ≤ h i ≥ h i ≤ ∈ 0 ≥ Theorem 2.4 [Maximum principle for weak solution of parabolic equation]. Let u (t) L2 I,W 1,2 ∈ 0 be w. s., let u (0) 0, h (t) 0 for a. e. t I, f ( ) 0. Then u (t) 0 for a. e. t I. ≤ ≤ ∈ · ≥ ≤ ∈ 2. PARABOLIC SECOND ORDER EQUATIONS 28 z+
ψε
+ Figure 2.0.2. Graph of z and ψε.
+ + + 0 00 Proof: take ψε : R R s. t. 0 ψε z , ψε (z) z , ε 0 , ψε, ψε 0 bounded. → ≤ ≤ % → ≥
d 1,2 D 0 E ιu (t) + (u (t)) + ιf (u (t)) = h (t) in W , take , ψε (u (t)) dt A · | {z } 1,2 in W0 by L. 2.4 d 0 d R first term: dt ιu (t) , ψε (u (t)) = dt Ω ψε (u (t)) dt by L2.4 0 0 L2.4 00 R 00 second term: (u (t)) , ψε (u (t)) = a ( u, ψε (u)) = (a ( u) , ψε (u) u) = Ω a ( u) u ψε dx 0. hA i ∇ ∇ ∇ ∇ | ∇ {z · ∇} |{z} ≥ ≥0 by (A1) ≥0 0 R 0 third term ιf (u) , ψε (u) = Ω f (u) ψε (u) 0 h 0 i ≥ fourth term: h (t) , ψε (u) 0 d Rh i ≤ R τ R R + R + together: dt Ω ψε (u (t)) dx 0, take 0 dt, τ I: Ω ψε (u (τ)) dx Ω ψε (u (0)) dx, take ε 0 : Ω u (τ) dx R + + ≤ + ∈ ≤ → ≤ Ω u (0) dx, hence u (0) = 0 hence u (τ) = 0 for all τ. Theorem 2.5 [Strong solution of heat equation]. Let u (t) L2 I,W 1,2 be w. s. to the heat equation: ∈ 0 d u ∆u + f (u) = h (t) dt − Let u (0) W 1,2, h (t) L2 I,L2. Then u (t) L∞ I,W 1,2 L2 I,W 2,2, d u (t) L2 I,L2. ∈ 0 ∈ ∈ 0 ∩ dt ∈ Remark: usually for w. s. u (0) L2, h (t) L2 I,W −1,2 and u (t) L∞ I,L2 L2 I,W 1,2 , d u (t) ∈ ∈ ∈ ∩ 0 dt ∈ 2 −1,2 L I,W0 . Strong solution: one derivative better in spatial derivative d R Proof: Step 1: (formal) . . . multiply by dt u, Ω dx: R d d d 2 first term: Ω dt u dt u dx= dt u 2 • R · d R d 1 d 2 second term: Ω ∆u dt u dx = Ω u dt u dx = 2 dt u 2 • − ∇ · ∇ Young k∇ k d d 1 d 2 ε 2 1 2 third term: f (u) , dt u f (u) 2 dt u 2 f (u) 2 + 4 dt u 2 (Young: ab 2 a + 2ε b , here • ε = 2) ≤ k k · ≤ k k ≤ d d 2 1 d 2 fourth term: h (t) , u (t) h (t) u h (t) + u . • dt ≤ k k2 · dt ≤ k k2 4 dt 2 1 d 2 1 d 2 2 2 R t All together: u + u h (t) + f (u) integrate 2 dt: 2 dt 2 2 dt k∇ k2 ≤ k k2 k k2 0 1,2 ok, u (0) W0 Z t 2 Z t z }|∈ { d 2 2 2 2 u (s) ds + u (t) 2 2 h (s) 2 + f (u (s)) 2ds + u (0) 2 t I 0 dt 2 k∇ k ≤ 0 k k k k k∇ k ∀ ∈ | {z } ≤ K 2. PARABOLIC SECOND ORDER EQUATIONS 29
2 2 2 2 where K is independent of t I because h (t) L I; L , u (t) L I; L and f is lipschitz. Take supt∈I : ∈ ∈ ∈ d u (t) L2 I,L2, u (t) L∞ (I), by Poincaré ( u u in W 1,2): u L∞ I,W 1,2 . dt ∈ k∇ k2 ∈ k∇ k ≈ k k1,2 0 ∈ 0 N PN N d N Step 2: rigorous proof: let u (t) = j=1 cj (t) wj be approximations from Thm. 2.3., i. e., dt cj + N N N d N u (t) , wj + f u (t) , wj = (h (t) , wj) in I, j = 1,...,N, cj (0) = (u (0) , wj). Multiply by dt cj , P∇N ∇ j=1: d N PN d N PN d N 2 d N 2 2 first term: note that dt u (t) = j=1 dt cj (t) wj, hence j=1 dt cj = dt u 2, since wj L are • ON, ∈ N PN d N N d N 1 d N 2 second term: u , j=1 dt cj wj = u , dt u = 2 dt u 2, • ∇ ∇ | {z } ∇ ∇ ∇ d N dt u C.S. Young N d N N d N N 2 1 d N 2 third term: f u , u f u u f u + u , • dt ≤ 2 · dt 2 ≤ 2 4 dt 2 d N 2 1 d N 2 fourth term: h (t) , u ... h (t) + u . • dt ≤ ≤ k k2 4 dt 2 1 d N 2 1 d N 2 2 N 2 R Together as before: u + u h (t) + f u , take ds: 2 dt 2 2 dt ∇ 2 ≤ k k2 2 I Z t 2 Z t d N N 2 2 N 2 N 2 u (s) + u (t) 2 2 h (s) 2 + f u (s) 2 ds + u (0) 2 0 dt 2 ∇ ≤ 0 k k ∇ Observe: RHS K independent of t I and N: beacuse h (t) L2 I,L2, uN (t) is bounded in L∞ I,L2, ≤ N ∈ 2 ∈ f ( ) lipschitz and u (0) = PN u (0), where PN : L span w1, . . . , wN but we also know PN u 1,2 u 1,2. · N → { } k k ≤ k k Hence u (0) 1,2 is bounded. N ∞ 1,2 d N 2 2 By argument of step 1: u (t) bounded in L I,W0 and dt u (t) is bounded in L I,L . Therefore w. s. u (t) constructed in Thm 2.3 belongs to these spaces. But we have uniqueness (Th. 2.1), therefore every solution has this regularity. Step 3: u (t) L2 I,W 2,2: ∈ 1,2 2 Recall elliptic regularity for laplacian: if ∆u = F weakly (i. e. ( u, v) = (F, v) for v W0 ), where F L , 2,2 − ∇ ∇ ∀ ∈ ∈ then u W and u CR F , CR depends only on Ω. ∈ k k2,2 ≤ k k2 Z Z Z (u (t) , v) ϕ0 (t) dt + ( u (t) , v) ϕ (t) dt + (f (u (t)) , v) ϕ (t) dt − I I ∇ ∇ I Z 1,2 = (h (t) , v) ϕ (t) dt v W0 ϕ (t) D (I) I ∀ ∈ ∀ ∈ but d u (t) = g (t) L2 I,L2 by step 2, hence first term= R (g (t) , v) ϕ (t) dt. Therefore: dt ∈ I Z Z ( u (t) , v) ϕ (t) dt = (F (t) , v) ϕ (t) dt v, ϕ (t) I ∇ ∇ I ∀ 1,2 where F (t) = h (t) f (u (t)) g (t). By standard argument: ( u (t) , v) = (F (t) , v) v W0 and for a. e. t I. − − ∇ ∇ ∀ ∈ ∈ 2 2 2 2,2 Now use elliptic regularity: u (t) CR F (t) . But F (t) L I,L hence u (t) L I,W . k k1,2 ≤ k k2 ∈ ∈ Remarks: 2 2 2 2 1,2 1,2 (1) local regularity if u (t) is w. s., u (0) L , h (t) L I,L , but u (t) L I,W0 = u (τ) W0 ∈ ∈ ∈ ⇒ ∈ for a. e. τ (0,T ) = u (t) L∞ τ, T ; W 1,2 L2 τ, T, W 1,2 , d u (t) L2 τ, T, L2 for arbitrarily ∈ ⇒ ∈ 0 ∩ 0 dt ∈ small τ > 0., (2) even better data imply even better solutions. CHAPTER 3
Hyperbolic second order equations
(H1) ∂ttu ∆u + α∂tu + f (u) = h (t) , t I, x Ω − ∈ ∈ (H2) u = u0, t = 0, x Ω ∈ (H3) ∂tu = u1,, t = 0, x Ω ∈ (H4) u = 0, t I, x ∂Ω ∈ ∈ n Assumptions: (A)Ω R bounded domain, ∂Ω regular (lipschitz), f (z): R R, f (z1) f (z2) ⊂ → | − | ≤ l z1 z2 , z1, z2 R, α R. | − | ∀ ∈ ∈ Def.: [Weak solution of hyperbolic equation]. Function u (t) L∞ I,W 1,2 with d u L∞ I,L2 is ∈ 0 dt ∈ called weak solution of the problem (H1), iff d2 d (u (t) , v) + ( u (t) , v) + α u (t) , v + (f (u (t)) , v) = (h (t) , v) dt2 ∇ ∇ dt in the sense of distributions in (0,T ), for any v W 1,2 fixed. ∈ 0 Remarks: 1,2 −1,2 1,2 as in L2.1 (1) define A : W0 W by Au, v = ( u, u) v W0 ,(A = ∆), u (t) is w. s. d2 → d h i ∇ ∇ ∀ −1∈,2 − d ⇐⇒2 dt2 ιu (t) + Au (t) + αι dt u (t) + ιf (u (t)) = ιh (t) in W or by d’Alambert: dt u (t) = v (t) in L , d ιv (t) + Au (t) + αv (t) + ιf (u (t)) = ιh (t) in W −1,2 dt 0 (2) continuous representatives: clearly u (t) W 1,2 I,L2 , C I,L2, d u (t) = v (t) W 1,2 I,W −1,2 , ∈ → dt ∈ → C I,W −1,2. We will show better continuity later. ∞ 1,2 2 2 d 2 2 0, 1 2 I. e.: u (t) L I,W , L I,L , u (t) L I,L = u (t) C 2 I,L by L. 1.5 ex. 2.1, ∈ 0 → dt ∈ ⇒ ∈ d 2 2 ι 2 −1,2 d2 d 2 −1,2 dt u L I,L , L I,W , dt2 u (t) = Au (t) α dt u (t) ιf (u (t)) + h (t) L I,W , ∈ → 1 − − − ∈ d 0, 2 −1,2 therefore dt u (t) C I,W . ∈ However (see ex. 4.1): if X, Z, and u (t) L∞ (I,X) C (I,Z) = u (t) C I,Xweak . Using this ! → ∈ ∩ ⇒ ∈ weak weak u (t) C I, W 1,2 , d u (t) C I, L2 . ∈ 0 dt ∈ We even have have u (t) C I,W 1,2 and d u (t) C I,L2 for u (t) weak solution. See the last remark of this ∈ 0 dt ∈ chapter. Def.: u (t) C I,Xweak t f, u (t) is continuous for f X∗ fixed. ∈ ⇐⇒ 7→ h i ∀ ∈
Remark: proving uniqueness the same way as for solution of parabolic equation: let u1, u2 be weak solutions, u1 (0) = u2 (0), ∂tu1 (0) = ∂tu2 (0), set u (t) = u1 u2 . . . is u (t) = 0 t I? − ∀ ∈ Subtract equations for u1, u2: Z ∂ttu ∆u + α∂tu + f (u1) f (u2) = 0/formally ∂tu, dx − − Ω
30 3. HYPERBOLIC SECOND ORDER EQUATIONS 31
R 1 d 2 first term: Ω ∂ttu∂tud x = 2 dt ∂tu 2, • | {z } k k 1 2 2 ∂t(∂tu) R 1 d 2 second term: Ω u (∂tu) dx = 2 dt u 2, • ∇ 2· ∇ k∇ k third term: α ∂tu , • k k2 fourth term: (f (u1) f (u2) , ∂tu) l u ∂tu ... • | − | ≤ k k2 k k2 ≤ d 1 2 1 2 2 2 Together: ∂tu + u c ∂tu + u , use Gronwall lemma. dt 2 k k2 2 k∇ k2 ≤ k k2 k k2 2 −1,2 2 2 Problem: we can not do this for w. s., since ∂ttu L I,W , ∂tu L I,L , and that is not enough for first and second term above. ∈ ∈ Remark: Goal: existence and (more precisely “or”) uniqueness of solution. The solution could be weak, strong, • classical or on the other hand very weak, in measures, in distributions. The uniqueness is easy to prove for stronger solutions, whereas the existence is easier for weaker ones. Parabolic equation: • d Z u + (u) + .../ u, dx dt A · Ω Z τ 1 d 2 = u 2 + (u) , u + .../ dt ⇒ 2 dt k k |hA {z }i 0 2 ≥c1kuk1,2 Z τ 2 2 u (τ) 2 + u (t) 1,2 dt C = C (u0, h (t) , Ω) k k 0 k k ≤ ∞ 2 2 1,2 d 2 −1,2 = a priori estimates: u (t) L I,L L I,W , dt u (t) L I,W (formal) ⇒ ∈ ∩ N PN N ∈ a priori estimates + approximation (Galerkin: u (t) = c (t) wj) = existence of a solution in j=1 j ⇒ the class of solutions above. A priori estimates are valid (u (t) is admissible test function) = easy proof of uniquenes: (a priori estimates for difference of solutions w = u v, Gronwall). ⇒ hyperbolic equation: − • d2 d u + Au + α u + f (u) = h (t, x) dt2 dt u (0) = u0 d u (0) = u dt 1 2 2 1,2 2 assumptions: A = ∆ (weak), f ( ) globally lipschitz, α R, h (t, x) L I,L , u0 W0 , u1 L . − d · ∈ ∈ ∈ d ∈ Formal a priori estimates: use dt u as a test functions, the first and second term yield: dt E [u], where 1 d 2 2 R τ E [u] = u + u is energy (sensible defined for physicists). Integrate dt = E [u (τ)] 2 dt 2 k∇ k2 0 ⇒ ≤ ∞ 1,2 d ∞ 2 C = C (data) = u L I,W0 , dt u (t) L I,L . Problem: this can not be done, since 2 ⇒ ∈ ∈ d u (t) L∞ I,W −1,2 is not admissible test function. dt2 ∈ Theorem 3.1 [Uniqueness of weak solution of hyperbolic equation]. The weak solution is uniquely defined by the initial conditions. d d Proof: let u (t), v (t) be weak solutions, u (0) = v (0), dt u (0) = dt v (0), denote w (t) = u (t) v (t). w (t) satisfies: − d2 d ιw + Aw (t) + αι w + ι (f (u) f (v)) = 0 dt2 dt − −1,2 d (weakly in I: equation in W , w (0) = 0, dt w (0) = 0)
R t Trick: 0 ds: four terms: R t d2 d t d (1) 0 dt2 ιwds = dt ιw 0 = dt ιw (t) 3. HYPERBOLIC SECOND ORDER EQUATIONS 32
R t R t −1,2 (2) 0 Aw (s) ds = A 0 w (s) ds = AW (t) W | {z } ∈ 1,2 denote W(t) W0 R t d ∈ t (3) α 0 dt ιw (s) ds = α [ιw (s)]0 (4) ι R t f (u (s)) f (v (s)) ds 0 − Together:
d Z t ιw + AW + αW + ι f (u (s)) f (v (s)) ds = 0 weakly in I with values in W −1,2, , w dt 0 − · |{z} 1,2 ∈W0
(1) d ιw, w = d w, w = 1 d w 2 dt dt 2 dt k k2 Remark: special case of Th. 1.12: u (t) L2 (I,H), d u L2 (I,H) = d u (t) 2 = 2 d u (t) , u (t) ∈ dt ∈ ⇒ dt k kH dt H weakly. Apply for H = L2. 1,2 (2) Apply previous remark for H = W0 :
= d W dt 1 d 1 d AW, w = ( W, w) = W, z}|{w remark= W 2 = W 2 h i ∇ ∇ 2 dt k k1,2 2 dt k∇ k2 | {z } | {z } 1,2 norm induced by (( , )) scalar product in W0 · ·
2 (3) α ιw, w = α (w, w) α w 2 (4) | h i| | | ≤ | | k k
Z t Z t
ι f (u (s)) f (v (s)) ds, w (t) = (f (u (s)) f (v (s)) ds, w (t)) 0 − 0 − Z t f (u (s)) f (v (s)) 2 w (t) ds ≤ 0 k| −{z k} · k k ≤`kw(s)k2 f lipsch. Z t ` w (s) 2 w (t) ds ≤ 0 k k k k Young Z t 2 ` t 2 w (s) ds + w (t) 2 ≤ 0 2 k k 2 k k
1 d 2 2 t 2 l2 R t 2 R τ Together: 2 dt w (t) 2 + W (t) 2 α + 2 w (t) 2 + 2 0 w (s) 2 ds, / 0 dt, we know: Y (0) = 0 due |k k {zk∇ k} ≤ || |{z } k| {z k} k k denote by Y (t) ≤c1 ≤Y (t) to the initial conditions: Z τ 2 Z τ Z t l 2 Y (τ) c1 Y (t) ds + w (s) 2 dsdt ≤ 0 2 0 0 k k | {z } c R τ w (s) 2 ds . . . Fubini ≤ 0 k k2 R τ So Y (τ) c3 0 Y (s) ds for τ I, Gronwall: Y (τ) 0 pro τ I, i. e. w (t) = 0 a. e. in I. The proof is done. The trick≤ works due to linearity∀ ∈ of all problematic terms≤ and∀ the∈ integration which increases regularity.
2 1,2 d Lemma 3.1 [Testing hyperbolic equation by the derivative]. Let u (t) L I,W0 , dt u (t) 2 ∈ ∈ L2 I,L2, let d ιu+Au = ιH (t) weakly in I, where H (t) L2 I,L2. Then t E [u (t)] is weakly differentiable dt2 ∈ 7→ and d E [u (t)] = H (t) , d u (t) for a. e. t I. dt dt ∈ 3. HYPERBOLIC SECOND ORDER EQUATIONS 33
Proof: molifying by convolution: ψn (t) = nψ0 (nt), ψ0 (t) . . . convolution (smooth) molifier. Define un (t) = ∞ 1,2 1 R u ψn (t) C J, W0 , where J = (δ, T δ), δ > 0 fixed, n < δ, here u ψn (t) = u (s) ψn (t s) ds = R ∗ ∈ − ∗ R − u (t s) ψn (t) ds makes sense. R We know:− u00 (t) = u ψ00 (t) = R u (s) ψ00 (t s) ds. n n R n The equation (weakly):∗ R ιu (s) ϕ00 (s) ds +−R Au (s) ϕ (s) ds = R ιH (s) ϕ (s) ds for ϕ (s) C∞ (I) choose I I I ∀ ∈ c ϕ (s) = ψn (t s), t J fixed, i. e..: − ∈ 0 00 , u (t) / ιu (t) + Aun (t) = ιHn (t) in J h· n i n (holds classically)
where Hn (t) = H (t) ψn (t). Thus we get: ∗ , d d d Z τ E [un (t)] = ιHn (t) , un (t) = Hn (t) , un (t) dt dt dt dt 0 Z τ d E [un (τ)] = E [un (0)] + Hn (t) , un (t) dt ; n 0 dt → ∞ Z τ d E [u (τ)] = E [u (0)] + H (t) , u (t) dt 0 dt 1,2 d d 2 2 2 since un (t) u (t) in W0 , dt un (t) dt un (t) v L for a. e. t I; Hn (t) H (t) v L I,L , by which the proof is done.→ → ∈ →
Corollary: uniqueness of weak solution (other proof): apply L. 3.1 to w (t) = u (t) v (t), where u (t) and v (t) d2 d − d are solutions. I. e. dt2 ιw + Aw = ι ( αw + f (v) f (u)) , we get: dt E [u (t)] = w + (f (u) f (v)) , dt w |− {z − } − − ≤ denote by H(t)∈L2(I,L2) cE [w] (Young, routine estimates). Gronwall: E [w (τ)] E [w (0)] ecτ for τ I. Uniqueness, moreover, contin- uous dependence on initial condition. ≤ ∀ ∈
1,2 2 Theorem 3.2: [Existence of weak solution for hyperbolic equation]. Let u0 W , u1 L , ∈ 0 ∈ h (t) L2 I,L2. Then there exists u (t) L∞ I,W 1,2 such that d u (t) L∞ I,L2 is weak solution of (H1) ∈ ∈ 0 dt ∈ d with initial conditions u (0) = u0, dt u (0) = u1 in the sense of continuous representatives. N PN N 1,2 Proof: Step 1: Galerkin approximation: u (t) = j=1 cj (t) wj, wj W0 are laplace eigenfunctions, N ∈ cj (t): I R, solve the system of equations → d2 d (H ) ιuN (t) , w + AuN (t) , w + α uN (t) , w N dt2 j j dt j
+ (f (un (t)) , wj) = (h (t) , wj) v I, j = 1,...,N ∀ N d N Initial conditions: u (0) = PN u0, dt u (0) = PN u1. N N N N Observe: u (t) , wj = cj (t), AuN (t) , wj = u (t) , wj = λj u (t) , wj . Therefore h i ∇ ∇ | {z } N cj (t)
N N d N N N (HN ) ∂ttc + λjc + α c + j t, c , . . . , c = 0 j j dt j F 1 N N cj (0) = (u0, wj) d cN (0) = (u , w ) dt j 1 j N N PN N where j t, c , . . . , c = f c wl , wj (h (t) , wj). I. e., we have a system of nonlinear equations. The F 1 N l=1 l − N nonlinearity of satisfies Carathéodory conditions (lipschitz with respect to ck , integrable in t) = therefore there exists exactlyF one solution cN (t) , d cN AC (I). ⇒ j dt j ∈ 3. HYPERBOLIC SECOND ORDER EQUATIONS 34
d N PN Step 2: estimates independent of N. (HN ) dt cj , j=1 (formally analogous to multiplication of equation by R · time derivative and integration Ω dx). We get five terms: d2 N d N 1 d d N 2 (1) dt2 u , dt u = 2 dt dt u 2 N d N N d N 1 d N 2 d N (2) Au , u = u , u = u . Together with the first term gives E u dt ∇ ∇ dt 2 dt ∇ 2 dt d N d N d N 2 (3) α dt u , dt u α dt u 2 (4) ≤ | | · Ex. 3.2 N d N N d N N d N f u , u f u 2 u c 1 + u 2 u dt ≤ dt 2 ≤ · dt 2 Poincaré N d N c1 1 + u 2 u ≤ ∇ · dt 2 Young 2 ! N 2 d N c3 1 + u 2 + u ≤ ∇ dt 2 | {z } 2E[uN ]