Convergence of a full discretization of quasi-linear parabolic equations in isotropic and anisotropic Orlicz spaces (Q2840393)

This paper is concerned with the approximation of solutions for the initial boundary value problem \(u_t-\nabla\cdot a(\nabla u)=f\) in \(\Omega\times (0,T)\), \(u=0\) on \(\partial \Omega\times (0,T)\), \(u(\cdot, 0)=u_0\) in \(\Omega\). Here \(\Omega\) is a bounded domain in \(\mathbb R^d\) with Lipschitz boundary, \(a:\mathbb R^d\rightarrow \mathbb R^d\) is a monotone and continuous function such that NEWLINE\[NEWLINE a(\xi)\cdot \xi\geq \mu(M(\xi)+M^*(a(\xi)))\quad\text{ for all }\xi\in \mathbb R^d, NEWLINE\]NEWLINE for some \(\mu\in (0,1]\) and some function \(M:\mathbb R^d\rightarrow \mathbb R\) which is continuous, convex, symmetric, superlinear at the origin and at infinity, and vanishes only at zero. The numerical approach relies on the backward Euler method for the time discretization combined with a generalized internal approximation scheme for the space variable. The authors prove the convergence of a subsequence of approximate solutions arising from a full discretization. Furthermore, when the continuous problem has a unique solution (which is the case if \(a\) is strictly monotone) then the whole sequence of approximations is convergent. Finally, the authors obtain an a priori error estimate for the time discretization.