34.5. THE IMPLICIT CASE, B = B(t) 1205

Hence {Bu(t (k))}∞

k=1 is a convergent sequence in W ′ because

|⟨B(u(t (k))−u(t (m))) ,y⟩|≤ ⟨B(u(t (k))−u(t (m))) ,u(t (k))−u(t (m))⟩1/2 ⟨By,y⟩1/2

≤ ⟨B(u(t (k))−u(t (m))) ,u(t (k))−u(t (m))⟩1/2 ∥B∥1/2 ∥y∥W

Does it converge to Bu(t)? Let ξ (t) ∈W ′ be what it does converge to. Let v ∈V. Then

⟨ξ (t) ,v⟩= limk→∞

⟨Bu(t (k)) ,v⟩= limk→∞

⟨Bu(t (k)) ,v⟩= ⟨Bu(t) ,v⟩

because it is known that t → Bu(t) is continuous into V ′. It is also known that for t ∈ NC,Bu(t) ∈W ′ ⊆ V ′ and that the Bu(t) for t ∈ NC are uniformly bounded in W ′. Therefore,since V is dense in W, it follows that ξ (t) = Bu(t).

Now for every t ∈ D, it was shown above that

⟨Bu(t) ,u(t)⟩+∫ t

0

⟨B′u,u

⟩dr = ⟨Bu0,u0⟩+2

∫ t

0⟨Y (r) ,u(r)⟩dr

Also it was just shown that Bu(t (k))→ Bu(t) for t /∈ N. Then for t /∈ N

|⟨Bu(t (k)) ,u(t (k))⟩−⟨Bu(t) ,u(t)⟩|

≤ |⟨B(t (k))u(t (k)) ,u(t (k))−u(t)⟩|+ |⟨Bu(t (k))−Bu(t) ,u(t)⟩|

Then the second term converges to 0. The first equals

|⟨B(t (k))u(t (k))−B(t (k))u(t) ,u(t (k))⟩|≤ ⟨B(t (k))(u(t (k))−u(t)) ,u(t (k))−u(t)⟩1/2 ⟨Bu(t (k)) ,u(t (k))⟩1/2

From the above, this is dominated by an expression of the form

⟨B(t (k))(u(t (k))−u(t)) ,u(t (k))−u(t)⟩1/2 C

Then from the choice of N and the pointwise convergence of urn to u off N the above

converges to 0 for each t /∈ N. It follows that

limk→∞

|⟨Bu(t (k)) ,u(t (k))⟩−⟨Bu(t) ,u(t)⟩|= 0

Then from the formula,

⟨Bu(t) ,u(t)⟩= ⟨Bu0,u0⟩+2∫ t

0⟨Y (r) ,u(r)⟩dr−

∫ t

0

⟨B′u,u

⟩dr

valid for t ∈ D, it follows that the same formula holds for all t /∈ N. Then define ⟨Bu,u⟩(t)to equal ⟨Bu(t) ,u(t)⟩ off N and the right side for t ∈ N. Thus t→ ⟨Bu,u⟩(t) is continuousand for all t ∈ [0,T ] ,

⟨Bu,u⟩(t) = ⟨Bu0,u0⟩+2∫ t

0⟨Y (r) ,u(r)⟩dr−

∫ t

0

⟨B′u,u

⟩dr

34.5. THE IMPLICIT CASE, B = B(t) 1205Hence {Bu (t(k))}¢_, is a convergent sequence in W’ because|(B (u(t (k)) —u(t(m))) .y)|<_ (B(u((k)) —u(t(m))) w(t (k)) — u(t (m)))"? (By, 9)?<_(B(u(t(K)) —u(e(om))) (0 ()) =m)" BI UwDoes it converge to Bu (t)? Let (t) € W’ be what it does converge to. Let v € V. Then(& (t),v) = lim (Bu (t (k)) ,v) = lim (Bu (t (k)) ,v) = (Bu(t),v)k—-00 k-00because it is known that f > Bu(t) is continuous into V’. It is also known that for t € N©,Bu(t) © W' CV’ and that the Bu(t) for t € N© are uniformly bounded in W’. Therefore,since V is dense in W, it follows that € (t) = Bu(t).Now for every ¢t € D, it was shown above that(Bu(s).u(o)+ [ (Blu,u) dr = (Buo,uo) +2 [ (V(r) u(r) drAlso it was just shown that Bu (t(k)) + Bu(t) fort ¢ N. Then fort ¢ N| (Bu (t (k)) ,w(t(k))) — (Bu(t) ,u(t))|< |(B(t (k)) u(t (k)) w(t (k)) —u(t))| + | (Bu (t (k)) — Bu (t) w(t)Then the second term converges to 0. The first equals|(B(¢(k)) u(t (k)) — B(t (k)) u(t) ,w(¢()))|< (B(t(k)) (u(t (K)) —u()) w(t (K)) —u())"? (But (&)) su (e(4)))"From the above, this is dominated by an expression of the form(B(t(k)) (w(e(k)) — u(t) we) —u())'?CThen from the choice of N and the pointwise convergence of uj, to u off N the aboveconverges to 0 for each t ¢ N. It follows thatjim |(Bu (1 (k)) ,u(t(k))) — (Bu() ,w(t))| =0~Then from the formula,(Bu(t),u(t)) = (Buo,uo) +2 | (Y (r) su(r)dr— [ (Blu,u) drvalid for t € D, it follows that the same formula holds for all t ¢ N. Then define (Bu, u) (1)to equal (Bu (t) ,u(t)) off N and the right side for t € N. Thus t > (Bu, u) (t) is continuousand for all t € [0,7],t(Bu,u) (t) = (Buo,uo) +2 0).u(r))dr— [ (Bun) ar0