In this paper we consider the rôle that numerical computations -- in particular Galerkin approximations -- can play in problems modelled by the 3d Navier-Stokes equations, for which no rigorous proof of the existence of unique solutions is currently available. We prove a robustness theorem for strong solutions, from which we derive an {\it a posteriori} check that can be applied to a numerical solution to guarantee the existence of a strong solution of the corresponding exact problem.
We then consider Galerkin approximations, and show that {\it if} a strong solution exists the Galerkin approximations will converge to it; thus if one is prepared to assume that the Navier-Stokes equations are regular one can justify this particular numerical method rigorously.
Combining these two results we show that if a strong solution of the exact problem exists then this can be verified numerically using an algorithm that can be guaranteed to terminate in a finite time.
We thus introduce the possibility of rigorous computations of the solutions of the 3d Navier-Stokes equations (despite the lack of rigorous existence and uniqueness results), and demonstrate that numerical investigation can be used to rule out the occurrence of possible singularities in particular examples.
In two dimensions, we propose and analyze an a posteriori error estimator for finite element approximations of the stationary Navier Stokes equations with singular sources on Lipschitz, but not necessarily convex, polygonal domains. Under a smallness assumption on the continuous and discrete solutions, we prove that the devised error estimator is reliable and locally efficient. We illustrate the theory with numerical examples.
In this paper we develop an a posteriori error analysis for the stationary Stokes-Darcy coupled problem approximated by conforming finite element method on isotropic meshes in $\mathbb{R}^d$, $d\in\{2,3\}$. The approach utilizes a new robust stabilized fully mixed discretization developed by Jiaping Yu et al. (Advances in Difference Equations, SpringerOpen Journal, 2018). The a posteriori error estimate is based on a suitable evaluation on the residual of the finite element solution plus the stabilization terms. It is proven that the a posteriori error estimate provided in this paper is both r…
In this paper, for the Stokes eigenvalue problem in $d$-dimensional case $(d=2,3)$, we present an a posteriori error estimate of residual type of the mixed discontinuous Galerkin finite element method using $P_{k}-P_{k-1}$ element $(k\geq 1)$. We give the a posteriori error estimators for approximate eigenpairs, prove their reliability and efficiency for eigenfunctions, and also analyze their reliability for eigenvalues. We implement adaptive calculation, and the numerical results confirm our theoretical predictions and show that our method can achieve the optimal convergence order $O(dof^{-2k…
The present paper proposes an inf-sup stable divergence free virtual element method and associated a priori, and a posteriori error analysis to approximate the eigenvalues and eigenfunctions of the Stokes spectral problem in one shot. For the a priori analysis, we take advantage of the compactness of the solution operator to prove convergence of the eigenfunctions and double order convergence of eigenvalues. Additionally we also propose an a posteriori estimator of residual type, which we prove is reliable and efficient, in order to perform adaptive refinements that allow to recover the optima…
A posteriori analysis of Chorin-Temam scheme for Stokes equations
Université Paris Est, Laboratoire d’hydraulique Saint-Venant (Ecole Nationale des Ponts et Chaussées – EDF R&D – CETMEF)（巴黎东大学，圣维南水力学实验室（国立路桥学校-法国电力研发集团-CETMEF））；INRIA（法国国家信息与自动化研究所）
Based on the auxiliary subspace techniques, a hierarchical basis a posteriori error estimator is proposed for the Stokes problem in two and three dimensions. For the error estimator, we need to solve only two global diagonal linear systems corresponding to the degree of freedom of velocity and pressure respectively, which reduces the computational cost sharply. The upper and lower bounds up to an oscillation term of the error estimator are also shown to address the reliability of the adaptive method without saturation assumption. Numerical simulations are performed to demonstrate the effective…
We analyze neural network solutions to partial differential equations obtained with Physics Informed Neural Networks. In particular, we apply tools of classical finite element error analysis to obtain conclusions about the error of the Deep Ritz method applied to the Laplace and the Stokes equations. Further, we develop an a posteriori error estimator for neural network approximations of partial differential equations. The proposed approach is based on the dual weighted residual estimator. It is destined to serve as a stopping criterion that guarantees the accuracy of the solution independentl…
For the Stokes equation over 2D and 3D domains, explicit a posteriori and a priori error estimation are novelly developed for the finite element solution. The difficulty in handling the divergence-free condition of the Stokes equation is solved by utilizing the extended hypercircle method along with the Scott-Vogelius finite element scheme. Since all terms in the error estimation have explicit values, by further applying the interval arithmetic and verified computing algorithms, the computed results provide rigorous estimation for the approximation error. As an application of the proposed erro…
We design and analyze a posteriori error estimators for the Stokes system with singular sources in suitable $\mathbf{W}^{1,p}\times \mathrm{L}^p$ spaces. We consider classical low-order inf-sup stable and stabilized finite element discretizations. We prove, in two and three dimensional Lipschitz, but not necessarily convex polytopal domains, that the devised error estimators are reliable and locally efficient. On the basis of the devised error estimators, we design a simple adaptive strategy that yields optimal experimental rates of convergence for the numerical examples that we perform.
Equal order stabilized finite elements with Nitsche for stationary Navier-Stokes problem with slip boundary conditions : a priori and a posteriori error analysis
We present a residual-based a posteriori error estimator for the hybrid high-order (HHO) method for the Stokes model problem. Both the proposed HHO method and error estimator are valid in two and three dimensions and support arbitrary approximation orders on fairly general meshes. The upper bound and lower bound of the error estimator are proved, in which proof, the key ingredient is a novel stabilizer employed in the discrete scheme. By using the given estimator, adaptive algorithm of HHO method is designed to solve model problem. Finally, the expected theoretical results are numerically demo…
In two and three dimensional Lipschitz, but not necessarily convex, polytopal domains, we propose and analyze a posteriori error estimators for an optimal control problem involving the stationary Navier--Stokes equations; control constraints are also considered. We devise two strategies of discretization: a semi discrete scheme where the control variable is not discretized -- the so-called variational discrezation approach -- and a fully discrete scheme where the control is discretized with piecewise quadratic functions. For each solution solution technique, we design an a posteriori error est…
Residual-based a posteriori error estimates for a conforming finite element discretization of the Navier-Stokes/Darcy coupled problem
Université d’Abomey-Calavi (UAC)（阿波美-卡拉维大学）；African Institute for Mathematical Sciences (AIMS)（非洲数学科学研究所）；Institut de Mathématiques et de Sciences Physiques (IMSP)（数学与物理科学研究所）
We consider the Virtual Element method (VEM) introduced by Beirão da Veiga, Lovadina and Vacca in 2016 for the numerical solution of the steady, incompressible Navier-Stokes equations; the method has arbitrary order $k \geq 2$ and guarantees divergence-free velocities. For such discretization, we develop a residual-based a posteriori error estimator, which is a combination of standard terms in VEM analysis (residual terms, data oscillation, and VEM stabilization), plus some other terms originated by the VEM discretization of the nonlinear convective term. We show that a linear combination of t…
Reduced Basis A Posteriori Error Bounds for the Instationary Stokes Equations
Aachen Institute for Advanced Study in Computational Engineering Science (AICES), RWTH Aachen University（亚琛计算工程科学高等研究院）；Faculty of Civil Engineering, RWTH Aachen University（亚琛工业大学土木工程学院）
In this work, we further develop multigoal-oriented a posteriori error estimation for the nonlinear, stationary, incompressible Navier-Stokes equations. It is an extension of our previous work [B. Endtmayer, U. Langer, T. Wick: Two-side a posteriori error estimates for the DWR method, $SISC$, 2019, accepted]. We now focus on $h$ mesh refinement and $p$ enrichment for the error estimator. These advancements are demonstrated with the help of a numerical example
