Computer Algebra Meets Finite Elements: An Efficient Implementation for Maxwell’s Equations

  • Christoph Koutschan
  • Christoph Lehrenfeld
  • Joachim Schöberl
Part of the Texts & Monographs in Symbolic Computation book series (TEXTSMONOGR)


We consider the numerical discretization of the time-domain Maxwell’s equations with an energy-conserving discontinuous Galerkin finite element formulation. This particular formulation allows for higher order approximations of the electric and magnetic field. Special emphasis is placed on an efficient implementation which is achieved by taking advantage of recurrence properties and the tensor-product structure of the chosen shape functions. These recurrences have been derived symbolically with computer algebra methods reminiscent of the holonomic systems approach.


Shape Function Discontinuous Galerkin Jacobi Polynomial Reference Element Central Flux 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



We would like to thank Veronika Pillwein for making contact between the first- and the last-named author and for kindly supporting our work by interpreting between the languages of symbolics and numerics. Christoph Koutschan was supported by the Austrian Science Fund (FWF): SFB F013 and P20162-N18, and partially by NFS-DMS 0070567 as a postdoctoral fellow.


  1. 1.
    Arnold, D.N., Brezzi, F., Cockburn, B., Marini, D.: Unified analysis of discontinuous Galerkin methods for elliptic problems. SIAM J. Numer. Anal. 39(5), 1749–1779 (2002)Google Scholar
  2. 2.
    Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. Ph.D. thesis, University of Innsbruck, Innsbruck, Austria (1965)Google Scholar
  3. 3.
    Chyzak, F.: An extension of Zeilberger’s fast algorithm to general holonomic functions. Discrete Math. 217(1–3), 115–134 (2000)Google Scholar
  4. 4.
    Cohen, G., Ferries, X., Pernet, S.: A spatial high-order hexahedral discontinuous Galerkin method to solve Maxwell’s equations in time domain. J. Comput. Phys. 217, 340–363 (2006)Google Scholar
  5. 5.
    Dubiner, M.: Spectral methods on triangles and other domains. J. Sci. Comput. 6(4), 345–390 (1991)Google Scholar
  6. 6.
    Hesthaven, J.S., Warburton, T.: Nodal Discontinuous Galerkin Methods–Algorithms, Analysis and Applications. Text in Applied Mathematics. Springer, Berlin (2007)Google Scholar
  7. 7.
    Hesthaven, J.S., Warburton, T.: On the constants in hp-finite element trace inverse inequalities. Comput. Methods Appl. Mech. Eng. 192, 2765–2773 (2003)Google Scholar
  8. 8.
    Houston, P., Perugia, I., Schötzau, D.: Mixed discontinuous Galerkin approximation of the Maxwell operator. SIAM J. Numer. Anal. 42(1), 434–459 (2004)Google Scholar
  9. 9.
    Karniadakis, G.E., Sherwin, S.J.: Spectral/hp Element Methods for Computational Fluid Dynamics. Oxford Science Publications, Oxford (2005)Google Scholar
  10. 10.
    Koutschan, C. Advanced Applications of the Holonomic Systems Approach. Ph.D. thesis, RISC, Johannes Kepler University, Linz, Austria (2009)Google Scholar
  11. 11.
    Perugia, I., Schötzau, D., Monk, P.: Stabilized interior penalty methods for the time-harmonic Maxwell equations. Comput. Methods Appl. Mech. Eng. 191, 4675–4697 (2002)Google Scholar
  12. 12.
    Pillwein, V.: Computer Algebra Tools for Special Functions in High Order Finite Element Methods. Ph.D. thesis, Johannes Kepler University, Linz, Austria (2008)Google Scholar
  13. 13.
    Zeilberger, D.: A holonomic systems approach to special functions identities. J. Comput. Appl. Math. 32(3), 321–368 (1990)Google Scholar

Copyright information

© Springer-Verlag/Wien 2012

Authors and Affiliations

  • Christoph Koutschan
    • 1
  • Christoph Lehrenfeld
    • 2
  • Joachim Schöberl
    • 3
  1. 1.Research Institute for Symbolic ComputationJohannes Kepler UniversityLinzAustria
  2. 2.Institut für Geometrie und Praktische MathematikRWTH AachenAachenGermany
  3. 3.Center for Computational Engineering ScienceRWTH AachenAachenGermany

Personalised recommendations