Stability analysis of the Crank-Nicolson finite element method for the Navier-Stokes equations driven by slip boundary conditions (Q2138341)

Summary: This paper is devoted to the study of numerical approximation for a class of two-dimensional Navier-Stokes equations with slip boundary conditions of friction type. The objective is to establish the well-posedness and stability of the numerical scheme in \(L^2\)-norm and \(H^1\)-norm for all positive time using the Crank-Nicholson scheme in time and the finite element approximation in space. The resulting variational structure dealing with is in the form of inequality, and obtaining \(H^1\)-estimate is more involved because of the presence of the nondifferentiable term appearing at the boundary where slip occurs. We prove that the numerical scheme is stable in \(L^2\) and \(H^1\)-norms with the aid of different versions of discrete Gronwall lemmas, under a CFL-type condition. Finally, some numerical simulations are presented to illustrate our theoretical analysis.