“…In particular, we avoid using a maximum norm bound for V</>/,, which would be difficult to obtain. We also consider a completely discrete scheme based on the backward Euler method with semi-implicit linearization: find Un £ Sh , ®n € Sh with <!>" -nhg(tn) £ Sh such that (BnUn , X) + (Vt/", V*) = (o(Un-X)\V<!>n-X\2, X), (1)(2)(3)(4)(5)(6)(7)(8) Vxe$k, tn€(0,T], Uo = Uho , and (1.9) (cr(c7n)V<D",Vy) = 0, V* £ Sh, tn £ [0, T).…”