Unconditionally Optimal Error Analysis of Crank-Nicolson Galerkin FEMs for a Strongly Nonlinear Parabolic System

In this paper, we present unconditionally optimal error estimates of linearized Crank-Nicolson Galerkin finite element methods for a strongly nonlinear parabolic system in . However, all previous works required certain time-step conditions that were dependent on the spatial mesh size. In order to overcome several entitative difficulties caused by the strong nonlinearity of the system, the proof takes two steps. First, by using a temporal-spatial error splitting argument and a new technique, optimal error estimates of the numerical schemes can be obtained under the condition , where denotes the time-step size and h is the spatial mesh size. Second, we obtain the boundedness of numerical solutions by mathematical induction and inverse inequality when . Then, optimal and error estimates are proved in a different way for such case. Numerical results are given to illustrate our theoretical analyses.