Convergence and optimality of adaptive mixed finite element methods

The convergence and optimality of adaptive mixed finite element methods for the Poisson equation are established in this paper. The main difficulty for mixed finite element methods is the lack of minimization principle and thus the failure of orthogonality. A quasi-orthogonality property is proved using the fact that the error is orthogonal to the divergence free subspace, while the part of the error that is not divergence free can be bounded by the data oscillation using a discrete stability result. This discrete stability result is also used to get a localized discrete upper bound which is crucial for the proof of the optimality of the adaptive approximation.

[1]  Rüdiger Verfürth,et al.  A posteriori error estimation and adaptive mesh-refinement techniques , 1994 .

[2]  D. Arnold,et al.  Finite element exterior calculus, homological techniques, and applications , 2006, Acta Numerica.

[3]  Jinchao Xu,et al.  Regularity estimates for elliptic boundary value problems with smooth data on polygonal domains , 2003, J. Num. Math..

[4]  Gabriel N. Gatica,et al.  A posteriori error estimates for the mixed finite element method with Lagrange multipliers , 2005 .

[5]  Michael Vogelius,et al.  Feedback and adaptive finite element solution of one-dimensional boundary value problems , 1984 .

[6]  Carsten Carstensen,et al.  A posteriori error estimate for the mixed finite element method , 1997, Math. Comput..

[7]  Stephan Dahlke,et al.  Besov regularity for elliptic boundary value problems in polygonal domains , 1999 .

[8]  P. Raviart,et al.  A mixed finite element method for 2-nd order elliptic problems , 1977 .

[9]  Wolfgang Dahmen,et al.  Adaptive Finite Element Methods with convergence rates , 2004, Numerische Mathematik.

[10]  Philippe G. Ciarlet,et al.  The finite element method for elliptic problems , 2002, Classics in applied mathematics.

[11]  Douglas N. Arnold,et al.  Multigrid in H (div) and H (curl) , 2000, Numerische Mathematik.

[12]  Ricardo H. Nochetto,et al.  DESIGN AND CONVERGENCE OF AFEM IN H(DIV) , 2007 .

[13]  María Cecilia Rivara,et al.  Design and data structure of fully adaptive, multigrid, finite-element software , 1984, ACM Trans. Math. Softw..

[14]  Long Chen,et al.  SHORT IMPLEMENTATION OF BISECTION IN MATLAB , 2008 .

[15]  J. H. Brandts.  Superconvergence phenomena in finite element methods , 1995 .

[16]  Max Gunzburger,et al.  On mixed finite element methods for first order elliptic systems , 1981 .

[17]  Susanne C. Brenner.  A multigrid algorithm for the lowest-order Raviart-Thomas mixed triangular finite element method , 1992 .

[18]  Jinchao Xu,et al.  The analysis of multigrid algorithms for nonsymmetric and indefinite elliptic problems , 1988 .

[19]  R. Bank,et al.  Some Refinement Algorithms And Data Structures For Regular Local Mesh Refinement , 1983 .

[20]  A. Bossavit.  Whitney forms: a class of finite elements for three-dimensional computations in electromagnetism , 1988 .

[21]  L. D. Marini,et al.  Two families of mixed finite elements for second order elliptic problems , 1985 .

[22]  Ronald A. DeVore,et al.  Fast computation in adaptive tree approximation , 2004, Numerische Mathematik.

[23]  Douglas N. Arnold,et al.  Regular Inversion of the Divergence Operator with Dirichlet Boundary Conditions on a Polygon. , 1987 .

[24]  L. R. Scott,et al.  The Mathematical Theory of Finite Element Methods , 1994 .

[25]  Carsten Carstensen,et al.  Convergence analysis of an adaptive nonconforming finite element method , 2006, Numerische Mathematik.

[26]  Mats G. Larson,et al.  A posteriori error estimates for mixed finite element approximations of elliptic problems , 2007, Numerische Mathematik.

[27]  Jinchao Xu,et al.  Regularity estimates for elliptic boundary value problems in Besov spaces , 2003, Math. Comput..

[28]  M. Rivara.  Mesh Refinement Processes Based on the Generalized Bisection of Simplices , 1984 .

[29]  Douglas N. Arnold,et al.  Multigrid inH(div) andH(curl ) , 2000 .

[30]  Bernardo Cockburn,et al.  A Characterization of Hybridized Mixed Methods for Second Order Elliptic Problems , 2004, SIAM J. Numer. Anal..

[31]  Jay Gopalakrishnan,et al.  A Schwarz Preconditioner for a Hybridized Mixed Method , 2003 .

[32]  Bernardo Cockburn,et al.  New hybridization techniques , 2005 .

[33]  D. Arnold.  Differential complexes and numerical stability , 2002, math/0212391.

[34]  ROB STEVENSON,et al.  The completion of locally refined simplicial partitions created by bisection , 2008, Math. Comput..

[35]  W. Dörfler.  A convergent adaptive algorithm for Poisson's equation , 1996 .

[36]  M. Shashkov,et al.  Compatible spatial discretizations , 2006 .

[37]  Bernardo Cockburn,et al.  Error analysis of variable degree mixed methods for elliptic problems via hybridization , 2005, Math. Comput..

[38]  Kunibert G. Siebert,et al.  A BASIC CONVERGENCE RESULT FOR CONFORMING ADAPTIVE FINITE ELEMENTS , 2008 .

[39]  L. R. Scott,et al.  Finite element interpolation of nonsmooth functions satisfying boundary conditions , 1990 .

[40]  D. Arnold.  Differential complexes and stability of finite element methods. I. The de Rham complex , 2006 .

[41]  Susanne C. Brenner,et al.  Two-level additive Schwarz preconditioners for nonconforming finite element methods , 1996, Math. Comput..

[42]  Michel Fortin,et al.  Mixed and Hybrid Finite Element Methods , 2011, Springer Series in Computational Mathematics.

[43]  D. Braess,et al.  Multigrid methods for nonconforming finite element methods , 1990 .

[44]  Rolf Stenberg,et al.  Energy norm a posteriori error estimates for mixed finite element methods , 2006, Math. Comput..

[45]  William F. Mitchell,et al.  A comparison of adaptive refinement techniques for elliptic problems , 1989, TOMS.

[46]  R. Durán,et al.  An explicit right inverse of the divergence operator which is continuous in weighted norms , 2001 .

[47]  Ricardo H. Nochetto,et al.  Convergence of Adaptive Finite Element Methods , 2002, SIAM Rev..

[48]  William F. Mitchell,et al.  Optimal Multilevel Iterative Methods for Adaptive Grids , 1992, SIAM J. Sci. Comput..

[49]  Panayot S. Vassilevski,et al.  Interior penalty preconditioners for mixed finite element approximations of elliptic problems , 1996, Math. Comput..

[50]  Carsten Carstensen,et al.  Error reduction and convergence for an adaptive mixed finite element method , 2006, Math. Comput..

[51]  E. G. Sewell,et al.  Automatic generation of triangulations for piecewise polynomial approximation , 1972 .

[52]  Ricardo H. Nochetto,et al.  Local problems on stars: A posteriori error estimators, convergence, and performance , 2003, Math. Comput..

[53]  Pavel B. Bochev,et al.  On Least-Squares Finite Element Methods for the Poisson Equation and Their Connection to the Dirichlet and Kelvin Principles , 2005, SIAM J. Numer. Anal..

[54]  A. Alonso.  Error estimators for a mixed method , 1996 .

[55]  R. DeVore,et al.  Besov regularity for elliptic boundary value problems , 1997 .

[56]  Jinchao Xu,et al.  Nodal Auxiliary Space Preconditioning in H(curl) and H(div) Spaces , 2007, SIAM J. Numer. Anal..

[57]  Ricardo H. Nochetto,et al.  Data Oscillation and Convergence of Adaptive FEM , 2000, SIAM J. Numer. Anal..

[58]  Ronald H. W. Hoppe,et al.  Adaptive Multilevel Techniques for Mixed Finite Element Discretizations of Elliptic Boundary Value Problems , 1997 .

[59]  Barbara I. Wohlmuth,et al.  A comparison of a posteriori error estimators for mixed finite element discretizations by Raviart-Thomas elements , 1999, Math. Comput..

[60]  Peter Oswald.  Intergrid transfer operators and multilevel preconditioners for nonconforming discretizations , 1997 .

[61]  Rob P. Stevenson,et al.  Optimality of a Standard Adaptive Finite Element Method , 2007, Found. Comput. Math..

[62]  Christian Kreuzer,et al.  Quasi-Optimal Convergence Rate for an Adaptive Finite Element Method , 2008, SIAM J. Numer. Anal..

[63]  Wolfgang Dahmen,et al.  Approximation Classes for Adaptive Methods , 2002 .

[64]  L. D. Marini.  An Inexpensive Method for the Evaluation of the Solution of the Lowest Order Raviart–Thomas Mixed Method , 1985 .

[65]  D. Arnold,et al.  Mixed and nonconforming finite element methods : implementation, postprocessing and error estimates , 1985 .

[66]  Ralf Hiptmair,et al.  Canonical construction of finite elements , 1999, Math. Comput..