FEMSTER: An object-oriented class library of high-order discrete differential forms

ABSTRACT

FEMSTER is a modular finite element class library for solving three-dimensional problems arising in electromagnetism. The library was designed using a modern geometrical approach based on differential forms (or p-forms) and can be used for high-order spatial discretizations of well-known H(div)- and H(curl)-conforming finite element methods. The software consists of a set of abstract interfaces and concrete classes, providing a framework in which the user is able to add new schemes by reusing the existing classes or by incorporating new user-defined data types.

REFERENCES

• 1: R. Abraham , J. E. Marsden , R. Ratiu, Manifolds, tensor analysis, and applications: 2nd edition, Springer-Verlag New York, Inc., New York, NY, 1988
• 2: Mark Ainsworth, Discrete Dispersion Relation for hp-Version Finite Element Approximation at High Wave Number, SIAM Journal on Numerical Analysis, v.42 n.2, p.553-575, 2004 [doi>10.1137/S0036142903423460]
• 3: Ainsworth, M. and Coyle, J. 2001a. Conditioning of hierarchic p-version Nédélec elements on meshes of curvilinear quadrilaterals and hexahedra. Tech. rep., Department of Mathematics, University of Strathclyde, Glasgow, U.K.
• 4: Ainsworth, M. and Coyle, J. 2001b. Hierarchic hp-edge element families for Maxwell's equations on hybrid quadrilateral/triangular meshes. Comput. Methods Appl. Mech. Eng. 190, 6709--6733.
• 5: Ainsworth, M. and Coyle, J. 2002. Hierarchic finite element bases on unstructured tetrahedral meshes. Tech. rep., Department of Mathematics, University of Strathclyde, Glasgow, U.K.
• 6: Ainsworth, M. and Coyle, J. 2003. Computation of Maxwell eingenvalues on curvilinear domains using hp-version of Nédélec elements. Tech. rep., Department of Mathematics, University of Strathclyde, Glasgow, U.K.
• 7: Babuska, I., Ihlenburg, F., Strouboulis, T., and Gangaraj, S. K. 1997. A posteriori error estimation for finite element solution of Helmholtz. Internat. J. Numer. Methods Eng. 40, 21, 3883--3900.
• 8: Babuska, I., Strouboulis, T., Upadhyay, C., and Gangaraj, S. K. 1995. A posteriori estimation and adaptive control of the pollution error in the h-version of the finite element method for finite element solution of Helmholtz. Internat. J. Numer. Methods Eng. 38, 24, 4207--4235.
• 9: Baldomir, D. 1986. Differential forms and electromagnetism in 3-dimensional Euclidean space R3. IEEE Proc. 133, 3, 139--143.
• 10: Bossavit, A. 1998. Computational Electromagnetism: Variational Formulation, Complementarity, Edge Elements. Academic Press (currently part of Elsevier, Burlington, MA).
• 11: Franco Brezzi , Michel Fortin, Mixed and hybrid finite element methods, Springer-Verlag New York, Inc., New York, NY, 1991
• 12: Burke, W. 1985. Applied Differential Geometry: Variational Formulation. Cambridge University Press, Cambridge, U.K.
• 13: Philippe G. Ciarlet, Finite Element Method for Elliptic Problems, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2002
• 14: Clemens, M. and Weiland, T. 2001. Discrete electromagnetism with the finite integration technique. In Geometric Methods for Computational Electromagnetics, F. Texeira, ed. Vol. 32 of PIER. EMW Publishing, Cambridge, MA, 189--206.
• 15: Deschamps, G. 1981. Electromagnetics and differential forms. IEEE Proc. 69, 6, 676--687.
• 16: Graglia, R., Wilton, P., and Peterson, A. 1997. Higher order interpolatory vector bases for computational electromagnetics. IEEE Trans. Ant. Prop. 45, 3, 329--342.
• 17: Graglia, R., Wilton, P., Peterson, A., and Gheorma, I.-L. 1998. Higher order interpolatory vector bases on prism elements. IEEE Trans. Ant. Prop. 46, 3, 442--450.
• 18: R. Hiptmair, Canonical construction of finite elements, Mathematics of Computation, v.68 n.228, p.1325-1346, Oct. 1999 [doi>10.1090/S0025-5718-99-01166-7]
• 19: Hiptmair, R. 2001. Discrete Hodge operators: An algebraic perspective. J. Electromag. Waves Appl. 15, 3, 343--344.
• 20: Hiptmair, R. 2002. Finite elements in computational electromagnetism. Acta Numerica, 11, Jan., 237--339.
• 21: James M. Hyman , Mikhail Shashkov, Mimetic discretizations for Maxwell's equations, Journal of Computational Physics, v.151 n.2, p.881-909, May 20, 1999 [doi>10.1006/jcph.1999.6225]
• 22: Nédélec, J. C. 1980. mixed finite elements in r3. Numer. Math. 35, 315--341.
• 23: J C Nédélec, A new family of mixed finite elements in IR3, Numerische Mathematik, v.50 n.1, p.57-81, 1986 [doi>10.1007/BF01389668]
• 24: Raviart, P. and Thomas, J. 1977. A mixed finite element method for 2nd order elliptic problems. In Mathematical Aspects of the Finite Element Method, I. Galligani and E. Mayera, eds. Lecture Notes. in Mathematics, vol. 606. Springer Verlag, Berlin, Germany, 293--315.
• 25: R. N. Rieben , G. H. Rodrigue , D. A. White, A high order mixed vector finite element method for solving the time dependent Maxwell equations on unstructured grids, Journal of Computational Physics, v.204 n.2, p.490-519, 10 April 2005 [doi>10.1016/j.jcp.2004.10.030]
• 26: Garry Rodrigue , Daniel White, A Vector Finite Element Time-Domain Method for Solving Maxwell's Equations on Unstructured Hexahedral Grids, SIAM Journal on Scientific Computing, v.23 n.3, p.683-706, 2001 [doi>10.1137/S1064827598343826]
• 27: Bjarne Stroustrup, The C++ programming language (2nd ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1991
• 28: Tarhasaari, T. and Kettunen, L. 2001. Topological approach to computational electromagnetism. In Geometric Methods for Computational Electromagnetics, F. Texeira, ed. Vol. 32 of PIER. EMW Publishing, Cambridge, MA, 189--206.
• 29: Teixeira, F. L. 2001. Geometric Methods in Computational Electromagnetics. Vol. 32 of PIER. EMW Publishing, Cambridge, MA.
• 30: Tonti, E. 2001. A direct formulation of field laws: The cell method. Comput. Mod. Eng. Sci. 2, 2, 237--258.
• 31: Warren, S. and Scott, W. 1994. An investigation of numerical dispersion in the vector finite element method using quadrilateral elements. IEEE Trans. Ant. Prop. 42, 11, 1502--1508.
• 32: Warren, S. and Scott, W. 1995. Numerical dispersion in the finite element method using triangular edge elements. Opt. Tech. Lett. 9, 6, 315--319.
• 33: Weiland, T. 1996. Time domain electromagnetic field computation with finite difference methods. Int. J. Numer. Modelling 9, 295--319.
• 34: White, D. 2000. Numerical dispersion of a vector finite element method on skewed hexahedral grids. Commun. Numer. Meth. Eng. 16, 47--55.
• 35: Whitney, H. 1957. Geometric Integration Theory. Princeton University Press, Princeton, NJ.
• 36: Yee, K. S. 1966. Numerical solution of initial boundary value problems involving Maxwell's equations in isotropic media. IEEE Trans. Ant. Prop. 14, 3, 302--307.

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.8 Partial Differential Equations

Additional Classification:
  G. Mathematics of Computing
  G.4 MATHEMATICAL SOFTWARE

General Terms:
Algorithms

Keywords:
H(div)- and H(curl)-conforming finite element methods, computational electromagnetism, high-order finite element, object-oriented programming