Nonconforming finite element discretization for semilinear problems with trilinear nonlinearity

Abstract

The Morley finite element method (FEM) is attractive for semilinear problems with the biharmonic operator as a leading term in the stream function vorticity formulation of two-dimensional Navier–Stokes problem and in the von Kármán equations. This paper establishes a best-approximation a priori error analysis and an a posteriori error analysis of discrete solutions close to an arbitrary regular solution on the continuous level to semilinear problems with a trilinear nonlinearity. The analysis avoids any smallness assumptions on the data, and so has to provide discrete stability by a perturbation analysis before the Newton–Kantorovich theorem can provide the existence of discrete solutions. An abstract framework for the stability analysis in terms of discrete operators from the medius analysis leads to new results on the nonconforming Crouzeix–Raviart FEM for second-order linear nonselfadjoint and indefinite elliptic problems with L^∞ coefficients. The paper identifies six parameters and sufficient conditions for the local a priori and a posteriori error control of conforming and nonconforming discretizations of a class of semilinear elliptic problems first in an abstract framework and then in the two semilinear applications. This leads to new best-approximation error estimates and to a posteriori error estimates in terms of explicit residual-based error control for the conforming and Morley FEM.