2672 CHAPTER 78. A DIFFERENT APPROACH

A sufficient condition for this condition is that ω → A(u(·,ω) ,ω) has a measurableselection into V ′ for any ω → u(·,ω) measurable into V and if u∗ ∈ A(u(·,ω) ,ω) ,then XIu∗ ∈ A(XIu(·,ω) ,ω) , and this is typical of what we will always consider,in which the values of u∗ are dependent on the earlier values of u only.

Let F be the duality map for r > max(p̂,2). Thus

⟨Fu,u⟩= ||u||r , ||Fu||= ||u||r−1

and is a demicontinuous map. Let X be those u∈Ur such that (Bu)′ ∈U ′r with a convenient

norm given by max(||u||Ur

,∣∣∣∣(Bu)′

∣∣∣∣U ′r

). Then if we let UrI play the role of VI in Theorem

78.2.2, we obtain the following lemma as a corollary of this theorem.

Lemma 78.3.1 Let A satisfy 78.3-78.3 and let f be measurable into V ′ and let u0 bemeasurable into W. Then for ε > 0, there exists a solution to

Lu+ εFu+u∗ = f , Bu(0,ω) = Bu0 (ω) (78.3.25)

such that Lu,u∗,u are all measurable into U ′r ,U

′r , and Ur respectively, u∗ (ω) ∈ A(u,ω).

In other terms, for v ∈ X = {u ∈Ur : Lu ∈U ′r }∫ T

0⟨Lu,v⟩+ ε

∫ T

0⟨Fu,v⟩+

∫ T

0⟨u∗,v⟩+

⟨Bu,v⟩(0) =∫ T

0⟨ f ,v⟩+ ⟨Bv(0) ,u0⟩ (78.3.26)

Proof: Using easy estimates and the definition that r > max(p̂,2) , p̂≥ p, (Recall thatp̂ determined the polynomial growth of ∥u∗∥V ′ where u∗ ∈ A(u,ω)) it is routine to showthat the earlier coercivity condition holds for εF +A(·,ω). Indeed, we have the followingfrom the above assumptions.

inf(∫ t

0⟨u∗,u⟩+λ (ω)⟨Bu,u⟩ds : u∗ ∈ A(u,ω)

)≥ δ (ω)

∫ t

0∥u∥p

V ds−m(ω)

Thus,

inf(∫ t

0⟨u∗,u⟩ : u∗ ∈ A(u,ω)

)≥ δ (ω)

∫ t

0∥u∥p

V ds

−CBλ (ω)∫ t

(1η

)||u||2V −m(ω)

Then the right side is no smaller than

−CBλ (ω)∫ t

0

(1η

)η ||u||2V −m(ω)

≥ −CB,λ (ω)ηr/2∫ t

0||u||rU −CBλ (ω)T

(1η

)r/(r−2)

−m(ω)

2672 CHAPTER 78. A DIFFERENT APPROACHA sufficient condition for this condition is that @ — A (u(-,@),@) has a measurableselection into V’ for any @ > u(-,@) measurable into Y and if u* € A(u(-,@),@),then 27u* € A(.2jzu(-,@),@), and this is typical of what we will always consider,in which the values of u* are dependent on the earlier values of u only.Let F be the duality map for r > max (f,2). Thus“1(Fu,u) = \lul|’, ||Ful| = ||ul|"and is a demicontinuous map. Let X be those u € Y%, such that (Bu)’ € %! with a convenient(Bu)’78.2.2, we obtain the following lemma as a corollary of this theorem.norm given by max ( |u| la, » ») . Then if we let Y,; play the role of % in TheoremLemma 78.3.1 Let A satisfy 78.3-78.3 and let f be measurable into V' and let uo bemeasurable into W. Then for € > 0, there exists a solution toLu+eFu+u* = f, Bu(0, @) = Bug (@) (78.3.25)such that Lu,u*,u are all measurable into W!,%, and %, respectively, u* (@) € A (u, @).In other terms, forv EX ={ue &%,: Lue &}[ (uy) te rur+ (u,v) +(Bu,v) (0) = [ " UF,v) + (Bv(0) ,uo) (78.3.26)Proof: Using easy estimates and the definition that r > max (,2) , 6 > p, (Recall thatPp determined the polynomial growth of ||w*||,, where u* € A (u,@)) it is routine to showthat the earlier coercivity condition holds for eF +A (-,@). Indeed, we have the followingfrom the above assumptions.inf (fw +A (q@) (Bu,u) ds: u" EA (0)t> 5(0) | uli ds—m(a)0Thus,inf (fw iu EC Au, 0)) > d6(@) [ llul|p dscv’ (0) [n (=) ll -m(o)Then the right side is no smaller than-cor(o) | (;) ul | —m(o)1+f /(r—2)> -Grd(o)n'? [ Iully Cod (@yT (=) ma