A preconditioner for generalized saddle point problems: Application to 3D stationary Navier‐Stokes equations

In this article we consider the stationary Navier‐Stokes system discretized by finite element methods which do not satisfy the inf‐sup condition. These discretizations typically take the form of a variational problem with stabilization terms. Such a problem may be transformed by iteration methods into a sequence of linear, Oseen‐type variational problems. On the algebraic level, these problems belong to a certain class of linear systems with nonsymmetric system matrices (“generalized saddle point problems”). We show that if the underlying finite element spaces satisfy a generalized inf‐sup condition, these problems have a unique solution. Moreover, we introduce a block triangular preconditioner and we show how the eigenvalue bounds of the preconditioned system matrix depend on the coercivity constant and continuity bounds of the bilinear forms arising in the variational problem. Finally we prove that the stabilized P1‐P1 finite element method proposed by Rebollo is covered by our theory and we show that the condition number of the preconditioned system matrix is independent of the mesh size. Numerical tests with 3D stationary Navier‐Stokes flows confirm our results. © 2006 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2006     

A stabilized Crouzeix‐Raviart element method for coupling stokes and darcy‐forchheimer flows

In this article, we present a stabilized mixed finite element method for solving the coupled Stokes and Darcy‐Forchheimer flows problem. The approach utilizes the same nonconforming Crouzeix‐Raviart element and piecewise constant on the entire domain for the velocity and pressure respectively. We derive a discrete inf‐sup condition and establish the existence and uniqueness of the problem. Optimal‐order error estimates are obtained based on the monotonicity owned by Forchheimer term. Finally, numerical examples are presented to verify the theoretical results. © 2016 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 33: 1070–1094, 2017     

Stabilized Crouzeix–Raviart element for Darcy–Forchheimer model

In this article, a stabilized mixed finite element method for steady Darcy–Forchheimer flow is introduced, in which the velocity and pressure are approximated by nonconforming Crouzeix–Raviart element and piecewise constant, respectively. A discrete inf‐sup condition and a priori error estimates are derived. An iterative scheme is given for practical computation. Finally, some numerical examples are carried out to verify the theoretical analysis and a comparison between two discretizations is given to demonstrate that one of the discretizations has better properties. © 2015 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 31: 1568–1588, 2015     

A least‐squares finite element approximation for the compressible Stokes equations

This article studies a least‐squares finite element method for the numerical approximation of compressible Stokes equations. Optimal order error estimates for the velocity and pressure in the H¹ are established. The choice of finite element spaces for the velocity and pressure is not subject to the inf‐sup condition. © 2000 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 16: 62–70, 2000     

Inf‐sup stability of Petrov‐Galerkin immersed finite element methods for one‐dimensional elliptic interface problems

In this article, we analyze the Petrov‐Galerkin immersed finite element method (PG‐IFEM) when applied to one‐dimensional elliptic interface problems. In the PG‐IFEM (T. Hou, X. Wu and Y. Zhang, Commun. Math. Sci., 2 (2004), 185‐205, and S. Hou and X. Liu, J. Comput. Phys., 202 (2005), 411‐445), the classic immersed finite element (IFE) space was taken as the trial space while the conforming linear finite element space was taken as the test space. We first prove the inf‐sup condition of the PG‐IFEM and then show the optimal error estimate in the energy norm. We also show the optimal estimate of the condition number of the stiffness matrix. The results are extended to two dimensional problems in a special case.     

A quadratic equal‐order stabilized method for Stokes problem based on two local Gauss integrations

In this article, we analyze a quadratic equal‐order stabilized finite element approximation for the incompressible Stokes equations based on two local Gauss integrations. Our method only offsets the discrete pressure gradient space by the residual of the simple and symmetry term at element level to circumvent the inf‐sup condition. And this method does not require specification of a stabilization parameter, and always leads to a symmetric linear system. Furthermore, this method is unconditionally stable, and can be implemented at the element level with minimal additional cost. Finally, we give some numerical simulations to show good stability and accuracy properties of the method. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2010     

Mixed and hybrid formulations for the three‐dimensional magnetostatic problem

We propose mixed and hybrid formulations for the three‐dimensional magnetostatic problem. Such formulations are obtained by coupling finite element method inside the magnetic materials with a boundary element method. We present a formulation where the magnetic field is the state variable and the boundary approach uses a scalar Dirichlet‐Neumann map to describe the exterior domain. Also, we propose a second formulation where the magnetic induction is the state variable and a vectorial Dirichlet‐Neumann map is used to describe the outer field. Numerical discretizations with “edge” and “face” elements are proposed, and for each discrete problem we study an “inf‐sup” condition. © 2002 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 18: 85–104, 2002     

Stabilized nodal‐based finite element methods for the magnetic induction problem

We consider the time‐dependent magnetic induction model as a step towards the resistive magnetohydrodynamics model in incompressible media. Conforming nodal‐based finite element approximations of the induction model with inf‐sup stable finite elements for the magnetic field and the magnetic pseudo‐pressure are investigated. Based on a residual‐based stabilization technique proposed by Badia and Codina, SIAM J. Numer. Anal. 50 (2012), pp. 398–417, we consider a stabilized nodal‐based finite element method for the numerical solution. Error estimates are given for the semi‐discrete model in space. Finally, we present some examples, for example, for the magnetic flux expulsion problem, Shercliff's test case and singular solutions of the Maxwell problem. Copyright © 2015 John Wiley & Sons, Ltd.     

Local projection FEM stabilization for the time‐dependent incompressible Navier–Stokes problem

We consider conforming finite element (FE) approximations of the time‐dependent, incompressible Navier–Stokes problem with inf‐sup stable approximation of velocity and pressure. In case of high Reynolds numbers, a local projection stabilization method is considered. In particular, the idea of streamline upwinding is combined with stabilization of the divergence‐free constraint. For the arising nonlinear semidiscrete problem, a stability and convergence analysis is given. Our approach improves some results of a recent paper by Matthies and Tobiska (IMA J. Numer. Anal., to appear) for the linearized model and takes partly advantage of the analysis in Burman and Fernández, Numer. Math. 107 (2007), 39–77 for edge‐stabilized FE approximation of the Navier–Stokes problem. Some numerical experiments complement the theoretical results. © 2014 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 31: 1224–1250, 2015     

An adaptive edge element method and its convergence for a Saddle‐Point problem from magnetostatics

Reliable and efficient a posteriori error estimates are derived for the edge element discretization of a saddle‐point Maxwell's system. By means of the error estimates, an adaptive edge element method is proposed and its convergence is rigorously demonstrated. The algorithm uses a marking strategy based only on the error indicators, without the commonly used information on local oscillations and the refinement to meet the standard interior node property. Some new ingredients in the analysis include a novel quasi‐orthogonality and a new inf‐sup inequality associated with an appropriately chosen norm. It is shown that the algorithm is a contraction for the sum of the energy error plus the error indicators after each refinement step. Numerical experiments are presented to show the robustness and effectiveness of the proposed adaptive algorithm. © 2011 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2012     

Boundary element solution of a scattering problem involving a generalized impedance boundary condition

A boundary element method is introduced to approximate the solution of a scattering problem for the Helmholtz equation with a generalized Fourier–Robin‐type boundary condition given by a second‐order elliptic differential operator. The formulation involves three unknown fields, but is free from any hypersingular integral. Existence and uniqueness of the solution are established using a Babuška inf–sup condition. When implementing the method, a lumping process allows to remove two fields from the formulation. The numerical solution has thus the same cost as the one of a problem relative to a usual Neumann boundary condition. Numerical tests confirm the ability of the method for solving this type of non‐standard boundary value problems. Copyright © 1999 John Wiley & Sons, Ltd.     

Weighted extended B-spline method for the approximation of the stationary Stokes problem

A new stabilized, mesh-free method for the approximation of the Stokes problem, using weighted extended B-splines (WEB-splines) as shape functions has been proposed. The web-spline based bilinear velocity–constant pressure element satisfies the so called inf–sup condition or Ladyshenskaya–Babus˘ka–Brezzi (LBB) condition. The main advantage of this method over standard finite element methods is that it uses regular grids instead of irregular partitions of domain, thus eliminating the difficult and time consuming pre-processing step. Convergence and Condition number estimates are derived. Numerical experiments in two space dimensions confirm the theoretical predictions.     

Guaranteed velocity error control for the pseudostress approximation of the Stokes equations

The pseudostress approximation of the Stokes equations rewrites the stationary Stokes equations with pure (but possibly inhomogeneous) Dirichlet boundary conditions as another (equivalent) mixed scheme based on a stress in H(div) and the velocity in L². Any standard mixed finite element function space can be utilized for this mixed formulation, e.g., the Raviart‐Thomas discretization which is related to the Crouzeix‐Raviart nonconforming finite element scheme in the lowest‐order case. The effective and guaranteed a posteriori error control for this nonconforming velocity‐oriented discretization can be generalized to the error control of some piecewise quadratic velocity approximation that is related to the discrete pseudostress. The analysis allows for local inf‐sup constants which can be chosen in a global partition to improve the estimation. Numerical examples provide strong evidence for an effective and guaranteed error control with very small overestimation factors even for domains with large anisotropy.© 2016 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 32: 1411–1432, 2016     

A nonoverlapping domain decomposition method for stabilized finite element approximations of the Oseen equations

A nonoverlapping domain decomposition algorithm of Robin–Robin type is applied to the discretized Oseen equations using stabilized finite element approximations of velocity and pressure thus allowing in particular equal-order interpolation. As a crucial result we have to inspect the proof of a modified inf–sup condition, in particular, the dependence of the stability constant with respect to the Reynolds number (cf. appendix). After proving coercivity and strong convergence of the method, we derive an a posteriori estimate which controls convergence of the discrete subdomain solutions to the global discrete solution provided that jumps of the discrete solution converge at the interface. Furthermore, we obtain information on the design of some free parameters within the Robin-type interface condition which essentially influence the convergence speed. Some numerical results confirm the theoretical ones.     

一般化凸空间上KKM定理的另一种形式及其应用

§1Introductionandpreliminaries In1929,Knaster,Kuratowski,andMazurkiewicz(simply,KKM)[1]deducedthe celebratedKKMtheorem.TheKKMtheory,firstcalledbySehiePark,isthestudyof applicationsofvariousequivalentformulationsoftheclassicalKKMprinciple[2].Atthe beginning,thetheorywasmainlystudiedonconvexsubsetsofHausdorfftopologicalvector spaces[3],butlater,ithasbeenextendedtoconvexspacesbyLassonde[4],andtospaces havingcertainfamiliesofcontractiblesubsets(simply,C-spacesorH-spaces)by Horvath[5].Mor…     

Error estimates for stabilized finite element methods applied to ill-posed problems

We propose an analysis for the stabilized finite element methods proposed in Burman (2013) [2] valid in the case of ill-posed problems for which only weak continuous dependence can be assumed. A priori and a posteriori error estimates are obtained without assuming coercivity or inf–sup stability of the continuous problem.     

Incorporating variable viscosity in vorticity-based formulations for Brinkman equations

In this brief note, we introduce a non-symmetric mixed finite element formulation for Brinkman equations written in terms of velocity, vorticity, and pressure with non-constant viscosity. The analysis is performed by the classical Babu?ka–Brezzi theory, and we state that any inf–sup stable finite element pair for Stokes approximating velocity and pressure can be coupled with a generic discrete space of arbitrary order for the vorticity. We establish optimal a priori error estimates, which are further confirmed through computational examples.     

For the inf‐sup condition on mesh‐dependent norms on a nonconvex polygon

It is shown that the inf‐sup condition, called the Babuska–Brezzi condition, is valid for certain mesh‐dependent norms on a nonconvex polygonal domain. A bilinear form that is derived by inserting the corner singularity expansion into the Laplace equation is considered. A mesh‐dependent fractional norm related to the least order of the corner singularity at a concave vertex is considered. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2008     

Finite-element-based Faedo–Galerkin weak solutions to the Navier–Stokes equations in the three-dimensional torus are suitable

It is shown in this paper that Faedo–Galerkin weak solutions to the Navier–Stokes equations in the three-dimensional torus are suitable provided they are constructed using finite-dimensional spaces having a discrete commutator property and satisfying a proper inf–sup condition. Low order mixed finite element spaces appear to be acceptable for this purpose. This question was open since the notion of suitable solution was introduced.     

Dual‐primal mixed finite elements for elliptic problems

In this article, a novel dual‐primal mixed formulation for second‐order elliptic problems is proposed and analyzed. The Poisson model problem is considered for simplicity. The method is a Petrov—Galerkin mixed formulation, which arises from the one‐element formulation of the problem and uses trial functions less regular than the test functions. Thus, the trial functions need not be continuous while the test functions must satisfy some regularity constraint. Existence and uniqueness of the solution are proved by using the abstract theory of Nicolaides for generalized saddle‐point problems. The Helmholtz Decomposition Principle is used to prove the inf‐sup conditions in both the continuous and the discrete cases. We propose a family of finite elements valid for any order, which employs piecewise polynomials and Raviart—Thomas elements. We show how the method, with this particular choice of the approximation spaces, is linked to the superposition principle, which holds for linear problems and to the standard primal and dual formulations, addressing how this can be employed for the solution of the final linear system. © 2001 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 17: 137–151, 2001