Convergence of the fully discrete incremental projection scheme for incompressible flows (Q6134788)

The authors address the convergence of a first-order in time incremental projection scheme for the time-dependent incompressible Navier-Stokes equations to a weak solution. The convergence of the approximate solutions obtained by a semi-discrete scheme and a fully discrete scheme are proved using a staggered finite volume scheme on non uniform rectangular meshes. Some first a priori estimates on the approximate solutions yield their existence. Some compactness arguments, relying on these estimates, together with some estimates on the translates of the discrete time derivatives, are then developed to obtain convergence (up to the extraction of a subsequence), when the time step tends to zero in the semi-discrete scheme and when the space and time steps tend together to zero in the fully discrete scheme. Therefore, the approximate solutions are thus shown to converge to a limit function which is then proved to be a weak solution to the continuous problem by passing to the limit in these schemes.