“…Go back to approximate equations (16) and use w j χ (0,τ ) , for every τ ∈ [0, T ](which belongs to W 1,x 0 L ϕ (Q)) as a test function one has ∂u n ∂t , w j Qτ + Qτ a(x, t, u n , ∇u n )∇w j dxdt + Qτ g n (x, t, u n , ∇u n )w j dxdt = f, w j Qτ , which implies that …”