deal.II—A general-purpose object-oriented finite element library

ABSTRACT

An overview of the software design and data abstraction decisions chosen for deal.II, a general purpose finite element library written in C++, is given. The library uses advanced object-oriented and data encapsulation techniques to break finite element implementations into smaller blocks that can be arranged to fit users requirements. Through this approach, deal.II supports a large number of different applications covering a wide range of scientific areas, programming methodologies, and application-specific algorithms, without imposing a rigid framework into which they have to fit. A judicious use of programming techniques allows us to avoid the computational costs frequently associated with abstract object-oriented class libraries.

The paper presents a detailed description of the abstractions chosen for defining geometric information of meshes and the handling of degrees of freedom associated with finite element spaces, as well as of linear algebra, input/output capabilities and of interfaces to other software, such as visualization tools. Finally, some results obtained with applications built atop deal.II are shown to demonstrate the powerful capabilities of this toolbox.

REFERENCES

• 1: E. Anderson , Z. Bai , C. Bischof , L. S. Blackford , J. Demmel , Jack J. Dongarra , J. Du Croz , S. Hammarling , A. Greenbaum , A. McKenney , D. Sorensen, LAPACK Users' guide (third ed.), Society for Industrial and Applied Mathematics, Philadelphia, PA, 1999
• 2: Balay, S., Buschelman, K., Eijkhout, V., Gropp, W. D., Kaushik, D., Knepley, M. G., McInnes, L. C., Smith, B. F., and Zhang, H. 2004. PETSc users manual. Tech. rep. ANL-95/11 - Revision 2.1.5, Argonne National Laboratory.
• 3: Bangerth, W. 2000. Using modern features of C++ for adaptive finite element methods: Dimension-independent programming in deal.II. In Proceedings of the 16th IMACS World Congress, Lausanne, Switzerland, M. Deville and R. Owens, Eds. IMACS---Department of Computer Science, Rutgers University, New Brunswick. Document Sessions/118-1.
• 4: Bangerth, W. 2004. A framework for the adaptive finite element solution of large inverse problems. I. Basic techniques. Tech. rep. 04-39, Institute for Computational Engineering and Sciences (ICES), University of Texas at Austin.
• 5: Bangerth, W., Joshi, A., and Sevick-Muraca, E. M. 2005. Adaptive finite element methods for increased resolution in fluorescence optical tomography. Progr. Biomed. Optics Imag. 6, 318--329.
• 6: Bangerth, W. and Kayser-Herold, O. 2007. Data structures and requirements for hp finite element software. In Preparation.
• 7: Bangerth, W. and Rannacher, R. 2003. Adaptive Finite Element Methods for Solving Differential Equations. Birkhäuser, Basel.
• 8: Bank, R. E. 1998. PLTMG: a software package for solving elliptic partial differential equations. Users' Guide 8.0. SIAM, Philadelphia, PA.
• 9: Becker, R. and Rannacher, R. 1998. Weighted a posteriori error control in FE methods. In Proceedings of ENUMATH 95, H. G. Bock et al., Eds. World Scientific.
• 10: Bornemann, F., Erdmann, B., and Kornhuber, R. 1993. Adaptive multilevel methods in three space dimensions. Int. J. Numer. Meth. Engrg. 36, 3187--3203.
• 11: Bramble, J. H. 1993. Multigrid Methods. Longman, Publishing.
• 12: Brenner, S. C. and Scott, R. L. 2002. The Mathematical Theory of Finite Elements, 2nd ed. Springer-Verlag, Berlin, Germany.
• 13: Franco Brezzi , Michel Fortin, Mixed and hybrid finite element methods, Springer-Verlag New York, Inc., New York, NY, 1991
• 14: Paul Castillo , Robert Rieben , Daniel White, FEMSTER: An object-oriented class library of high-order discrete differential forms, ACM Transactions on Mathematical Software (TOMS), v.31 n.4, p.425-457, December 2005 [doi>10.1145/1114268.1114269]
• 15: Philippe G. Ciarlet, Finite Element Method for Elliptic Problems, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2002
• 16: Timothy A. Davis, Algorithm 832: UMFPACK V4.3---an unsymmetric-pattern multifrontal method, ACM Transactions on Mathematical Software (TOMS), v.30 n.2, p.196-199, June 2004 [doi>10.1145/992200.992206]
• 17: Formaggia, L., Gerbeau, J.-F., and Prud'homme, C. 2004. LifeV developer manual. Tech. rep., EPFL/INRIA/Polytecnico Di Milano. http://www.lifev.org/.
• 18: Gopalakrishnan, J. and Kanschat, G. 2003. A multilevel discontinuous Galerkin method. Numer. Math. 95, 3, 527--550.
• 19: Hackbusch, W. 1985. Multi-Grid Methods and Applications. Springer-Verlag, Berlin, Germany.
• 20: Hartmann, R. 2002. Adaptive finite element methods for the compressible euler equations. Ph.D. thesis, University of Heidelberg.
• 21: Hartmann, R. 2006. Adaptive discontinuous Galerkin methods with shock-capturing for the compressible Navier-Stokes equations. Int. J. Numer. Meth. Fluids. To appear.
• 22: Hartmann, R. and Houston, P. 2006a. Symmetric interior penalty DG methods for the compressible Navier--Stokes equations I: Method formulation. Int. J. Num. Anal. Model. 3, 1, 1--20.
• 23: Hartmann, R. and Houston, P. 2006b. Symmetric interior penalty DG methods for the compressible Navier--Stokes equations II: Goal--oriented a posteriori error estimation. Int. J. Num. Anal. Model. 3, 2, 141--162.
• 24: Hecht, F., Pironneau, O., Le Hyaric, A., and Ohtsuka, K. 2006. Freefem++. Tech. rep., Université Pierre et Marie Curie, Paris, France. http://http://www-gmm.insa-toulouse.fr/getfem/.
• 25: HSL 2004. The Harwell Subroutine Library. http://www.cse.clrc.ac.uk/Activity/HSL.
• 26: Joshi, A., Bangerth, W., Hwang, K., Rasmussen, J. C., and Sevick-Muraca, E. M. 2006. Fully adaptive FEM based fluorescence optical tomography from time-dependent measurements with area illumination and detection. Med. Phys. 33, 5, 1299--1310.
• 27: Joshi, A., Bangerth, W., and Sevick-Muraca, E. M. 2004. Adaptive finite element modeling of optical fluorescence-enhanced tomography. Optics Express 12, 5402--5417.
• 28: Kanschat, G. 1996. Parallel and adaptive Galerkin methods for radiative transfer problems. Ph.D. thesis, Universität Heidelberg. Preprint SFB 359, 1996-29.
• 29: Kanschat, G. 2004. Multi-level methods for discontinuous Galerkin FEM on locally refined meshes. Comput. Struct. 82, 28, 2437--2445.
• 30: Guido Kanschat, Block preconditioners for LDG discretizations of linear incompressible flow problems, Journal of Scientific Computing, v.22-23 n.1, p.371-384, June 2005 [doi>10.1007/s10915-004-4144-6]
• 31: Kanschat, G. 2006. Discontinuous Galerkin Methods for Viscous Flow Problems. Teubner. To Appear.
• 32: Karypis, G. 2006. METIS -- Serial graph partitioning and fill-reducing matrix ordering. glaros.dtc.umn.edu/gkhome/views/metis/index.html.
• 33: Kirk, B., Peterson, J. W., Stogner, R., and Petersen, S. 2006. The libmesh finite element library. http://libmesh.sourceforge.net.
• 34: Hans Petter Langtangen, Computational Partial Differential Equations: Numerical Methods and Diffpack Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 2003
• 35: B. Patzák , Z. Bittnar, Design of object oriented finite element code, Advances in Engineering Software, v.32 n.10-11, p.759-767, 10/01/2001 [doi>10.1016/S0965-9978(01)00027-8]
• 36: B. Patzák , Z. Bittnar, Design of object oriented finite element code, Advances in Engineering Software, v.32 n.10-11, p.759-767, 10/01/2001 [doi>10.1016/S0965-9978(01)00027-8]
• 37: P.J. Plauger , Meng Lee , David Musser , Alexander A. Stepanov, C++ Standard Template Library, Prentice Hall PTR, Upper Saddle River, NJ, 2000
• 38: Werner C. Rheinboldt , Charles K. Mesztenyi, On a Data Structure for Adaptive Finite Element Mesh Refinements, ACM Transactions on Mathematical Software (TOMS), v.6 n.2, p.166-187, June 1980 [doi>10.1145/355887.355891]
• 39: Will Schroeder , Kenneth M. Martin , William E. Lorensen, The visualization toolkit (2nd ed.): an object-oriented approach to 3D graphics, Prentice-Hall, Inc., Upper Saddle River, NJ, 1998
• 40: Stepanov, A. A. and Lee, M. 1995. The standard template library. Tech. rep. HPL-95-11, HP Labs.
• 41: Bjarne Stroustrup, The C++ Programming Language, Third Edition, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1997
• 42: Suttmeier, F.-T. 1996. Adaptive finite element approximation of problems in elasto-plasticity theory. Ph.D. thesis, Universität Heidelberg.
• 43: van Heesch, D. 2006. Doxygen. www.doxygen.org.

INDEX TERMS

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

Additional Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.8 Partial Differential Equations
          Subjects: Finite element methods

General Terms:
Algorithms, Design, Documentation

Keywords:
Object-orientation, software design