2586 CHAPTER 76. IMPLICIT STOCHASTIC EQUATIONS

In particular, this holds for n = 1. Therefore, adjusting the constant, it follows that∫Ω

⟨Bu1 (t) ,u1 (t)⟩+∫

∫ T

0∥u1∥p

V dtds≤C

Consequently, there exists a set of measure zero N such that for ω /∈ N,

⟨Bu1 (t) ,u1 (t)⟩+∫ T

0∥u1∥p

V dt ≤C (ω) (76.7.64)

From the integral equation, it follows that, enlarging N by including countably many setsof measure zero, for ω /∈ N

Bun (t)−Bu1 (t)+∫ t

0A(s,un,ω)−A(s,u1,ω)ds

+∫ t

0h(s,ω)Jn (un)−h(s,ω)J1 (u1)ds = 0

Now it is certainly true that |Jn (un)− J1 (un)| ≤ 2. Thus∫ t

0⟨h(s,ω)Jn (un)−h(s,ω)J1 (u1) ,un−u1⟩ds

=∫ t

0⟨h(s,ω)Jn (un)−h(s,ω)J1 (un) ,un−u1⟩ds

+∫ t

0⟨h(s,ω)(J1 (un)− J1 (u1)) ,un−u1⟩ds

≥−2M∫ t

0|un−u1|ds

Therefore, from the Ito formula and for ω /∈ N,

12⟨Bun (t)−Bu1 (t) ,un (t)−u1 (t)⟩+δ

2∫ t

0∥un−u1∥p

V ds

≤∫ t

02M |un−u1|ds≤

(2+

12

∫ t

0|un−u1|2 ds

)M

≤(

2+12

∫ t

0⟨Bun−Bu1,un−u1⟩ds

)M

where M is an upper bound to h. Then by Gronwall’s inequality

12⟨Bun (t)−Bu1 (t) ,un (t)−u1 (t)⟩ ≤ 2MeMT

Hence

12⟨Bun (t)−Bu1 (t) ,un (t)−u1 (t)⟩+δ

2∫ t

0∥un−u1∥p

V ds≤ 2M+T M2eT M

2586 CHAPTER 76. IMPLICIT STOCHASTIC EQUATIONSIn particular, this holds for n = 1. Therefore, adjusting the constant, it follows thatary iy[Buono ff luiieards <cQ Ja JoConsequently, there exists a set of measure zero N such that for @ ¢ N,T(Buy (t) wn (t)) + [ lui ||? dt <C(o) (76.7.64)From the integral equation, it follows that, enlarging N by including countably many setsof measure zero, for @ ¢ NotBu, (t) — Buy (t) +f A(s,Un,@) —A(s,u1,@) ds0t+f h(s,@) Jn (uy) —h(s,@) Ay (uy) ds =00Now it is certainly true that |J; (un) —J1 (un)| < 2. Thust[ (6s) (un) = (6,0). (11) thy) dst= [ (h(s,@) Jn (Un) —h(s, @) Ji (Un) Un — U1) ds+f (i(s,0) un) — (ur) ta —aa)t> -2m | |upy —uy|ds0Therefore, from the Ito formula and for @ ¢ N,2t 1 t[2M hun wilds < (2+3/ lin mPa) M0 2 Jo1] t(2+5/ (Bun ~ Buty ui) ds)05 (Bun (0) Bur (0) tn (1) =r ()) +8 [an =f dsIAIAwhere M is an upper bound to h. Then by Gronwall’s inequality(Buy (t) — Buy (t) , up (t) — uy (t)) < 2Me”"NileHenceNilet(Buy (t) — Buy (t) Un (t) — uy (t)) + & | ||Un — Uy Il, ds <2M+TM2e!™”