Convergence and quasi-optimality of adaptive finite element methods for harmonic forms

Numerical computation of harmonic forms (typically called harmonic fields in three space dimensions) arises in various areas, including computer graphics and computational electromagnetics. The finite element exterior calculus framework also relies extensively on accurate computation of harmonic forms. In this work we study the convergence properties of adaptive finite element methods (AFEM) for computing harmonic forms. We show that a properly defined AFEM is contractive and achieves optimal convergence rate beginning from any initial conforming mesh. This result is contrasted with related AFEM convergence results for elliptic eigenvalue problems, where the initial mesh must be sufficiently fine in order for AFEM to achieve any provable convergence rate.

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

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

[3]  Joachim Sch Oberl.  COMMUTING QUASI INTERPOLATION OPERATORS FOR MIXED FINITE ELEMENTS , 2004 .

[4]  Long Chen,et al.  Convergence and optimality of adaptive edge finite element methods for time-harmonic Maxwell equations , 2011, Math. Comput..

[5]  F. Tröltzsch,et al.  Optimal control of low-frequency electromagnetic fields in multiply connected conductors , 2016 .

[6]  Ryan Szypowski,et al.  Convergence and Optimality of Adaptive Methods for Poisson's Equation in the FEEC Framework , 2013, 1306.1886.

[7]  R. Hiptmair.  Finite elements in computational electromagnetism , 2002, Acta Numerica.

[8]  Ralf Hiptmair,et al.  Generators of $H_1(\Gamma_{h}, \mathbbZ)$ for Triangulated Surfaces: Construction and Classification , 2002, SIAM J. Comput..

[9]  Xiaoying Dai,et al.  Convergence and quasi-optimal complexity of adaptive finite element computations for multiple eigenvalues , 2012, 1210.1846.

[10]  Enrico Bertolazzi,et al.  Construction of a Finite Element Basis of the First de Rham Cohomology Group and Numerical Solution of 3D Magnetostatic Problems , 2013, SIAM J. Numer. Anal..

[11]  Dorina Mitrea,et al.  The Poisson problem for the exterior derivative operator with Dirichlet boundary condition in nonsmooth domains , 2008 .

[12]  Eduardo M. Garau,et al.  Convergence of adaptive finite element methods for eigenvalue problems , 2008, 0803.0365.

[13]  Jinchao Xu,et al.  Convergence and optimal complexity of adaptive finite element eigenvalue computations , 2008, Numerische Mathematik.

[14]  Alan Demlow,et al.  Convergence and Optimality of Higher-Order Adaptive Finite Element Methods for Eigenvalue Clusters , 2015, SIAM J. Numer. Anal..

[15]  Snorre H. Christiansen,et al.  Smoothed projections in finite element exterior calculus , 2007, Math. Comput..

[16]  Hugues Hoppe,et al.  Design of tangent vector fields , 2007, SIGGRAPH 2007.

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

[18]  Dietmar Gallistl,et al.  An optimal adaptive FEM for eigenvalue clusters , 2015, Numerische Mathematik.

[19]  Ana Alonso Rodríguez,et al.  Eddy Current Approximation of Maxwell Equations , 2010 .

[20]  M. Costabel,et al.  Singularities of Electromagnetic Fields¶in Polyhedral Domains , 2000 .

[21]  Anil N. Hirani,et al.  Cohomologous Harmonic Cochains , 2010, 1012.2835.

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

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

[24]  Joachim Schöberl,et al.  A posteriori error estimates for Maxwell equations , 2007, Math. Comput..

[25]  Ricardo H. Nochetto,et al.  Convergence Rates of AFEM with H−1 Data , 2012, Found. Comput. Math..

[26]  P. Dlotko,et al.  Automatic generation of cuts on large-sized meshes for the T–Ω geometric eddy-current formulation , 2009 .

[27]  Ana Alonso Rodríguez,et al.  Eddy Current Approximation of Maxwell Equations: Theory, Algorithms and Applications , 2010 .

[28]  Alan Demlow,et al.  A Posteriori Error Estimates for Finite Element Exterior Calculus: The de Rham Complex , 2012, Foundations of Computational Mathematics.

[29]  Fredi Tröltzsch,et al.  Modeling and Control of Low-Frequency Electromagnetic Fields in Multiply Connected Conductors , 2016, System Modelling and Optimization.

[30]  Paolo Bettini,et al.  A Boundary Integral Method for Computing Eddy Currents in Thin Conductors of Arbitrary Topology , 2015, IEEE Transactions on Magnetics.

[31]  D. Arnold,et al.  Finite element exterior calculus: From hodge theory to numerical stability , 2009, 0906.4325.

[32]  Riccardo Ghiloni,et al.  The topology of Helmholtz domains , 2010, 1001.4418.

[33]  Stefano Giani,et al.  A Convergent Adaptive Method for Elliptic Eigenvalue Problems , 2009, SIAM J. Numer. Anal..

[34]  Richard S. Falk,et al.  Local bounded cochain projections , 2014, Math. Comput..

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

[36]  Daniel Cohen-Or,et al.  Dynamic harmonic fields for surface processing , 2009, Comput. Graph..