In this work we consider the two dimensional instationary Navier-Stokes equations with homogeneous Dirichlet/no-slip boundary conditions. We show error estimates for the fully discrete problem, where a discontinuous Galerkin method in time and inf-sup stable finite elements in space are used. Recently, best approximation type error estimates for the Stokes problem in the $L^\infty(I;L^2(\Omega))$, $L^2(I;H^1(\Omega))$ and $L^2(I;L^2(\Omega))$ norms have been shown. The main result of the present work extends the error estimate in the $L^\infty(I;L^2(\Omega))$ norm to the Navier-Stokes equations, by pursuing an error splitting approach and an appropriate duality argument. In order to discuss the stability of solutions to the discrete primal and dual equations, a specialized discrete Gronwall lemma is presented. The techniques developed towards showing the $L^\infty(I;L^2(\Omega))$ error estimate, also allow us to show best approximation type error estimates in the $L^2(I;H^1(\Omega))$ and $L^2(I;L^2(\Omega))$ norms, which complement this work.
翻译:本文研究了具有齐次Dirichlet/无滑移边界条件的二维非定常Navier-Stokes方程。针对时间方向采用间断Galerkin方法、空间方向采用inf-sup稳定有限元的全离散问题,我们给出了误差估计。近期已有研究给出了Stokes问题在$L^\infty(I;L^2(\Omega))$、$L^2(I;H^1(\Omega))$和$L^2(I;L^2(\Omega))$范数下的最佳逼近型误差估计。本文的主要结果通过采用误差分裂方法与适当的对偶论证,将$L^\infty(I;L^2(\Omega))$范数下的误差估计推广至Navier-Stokes方程。为讨论离散原方程与对偶方程解的稳定性,我们提出了一种专门的离散Gronwall引理。在证明$L^\infty(I;L^2(\Omega))$范数误差估计过程中所发展的技术,亦使我们能够给出$L^2(I;H^1(\Omega))$和$L^2(I;L^2(\Omega))$范数下的最佳逼近型误差估计,从而完善了本文的工作。