Automating the solution of PDEs on the sphere and other manifolds in FEniCS 1.2

Geoscientific Model Development

Volumn 6, Issue 6, 2013, Pages 2099-2119

  Rognes, M E ^a   Ham, D A ^b   Cotter, C J ^b   McRae, A T T ^b  

^a SIMULA RESEARCH LABORATORY   (Norway)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84924417848     PISSN: 1991959X     EISSN: 19919603     Source Type: Journal    
DOI: 10.5194/gmd-6-2099-2013     Document Type: Article

References (42)

1. Alnæs, M. S.: UFL: a finite element form language, in: Automated Solution of Differential Equations by the Finite Element Method, Vol. 84 of Lecture Notes in Computational Science and Engineering, edited by: Logg, A., Mardal, K.-A., and Wells, G. N., chap. 17, Springer, 2012.
2. Alnæs, M. S., Logg, A., Mardal, K.-A., Skavhaug, O., and Langtangen, H. P.: Unified Framework for Finite Element Assembly, Int. J. Computat. Sci. Eng., 4, 231-244, doi:10.1504/IJCSE.2009.029160, 2009.
3. Alnæs, M. S., Logg, A., and Mardal, K.-A.: UFC: a finite element code generation interface, in: Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering, edited by: Logg, A., Mardal, K.-A., and Wells, G. N., chap. 16, Springer, 2012.
4. Alnæs, M. S., Logg, A., Ølgaard, K. B., Rognes, M. E., and Wells, G. N.: Unified Form Language: a domain-specific language for weak formulations of partial differential equations, ACM Trans. Mathe. Softw., available at: http://arxiv.org/abs/1211.4047 (last access: 13 December 2013), 2013.
5. Arakawa, A. and Hsu, Y.-J. G.: Energy conserving and potentialenstrophy dissipating schemes for the shallow water equations, Mon. Weather Rev., 118, 1960-1969, 1990.
6. Arakawa, A. and Lamb, V.: Computational design of the basic dynamical processes of the UCLA general circulation model, Meth. Computat. Phys., 17, 174-267, 1977.
7. Auricchio, F., Brezzi, F., and Lovadina, C.: Mixed Finite Element Methods, Encyclopedia of Computational Mechanics, 2004.
8. Barden, D. and Thomas, C.: An Introduction to Differential Manifolds, Imperial College Press, 2003.
9. Bernard, P.-E., Remacle, J.-F., and Legat, V.: High-order Discontinuous Galerkin Methods for Solving Conservation Laws on General 2-D Manifolds, 2008.
10. Brezzi, F. and Fortin, M.: Mixed and Hybrid Finite Element Methods, Vol. 15 of Springer Series in Computational Mathematics, Springer-Verlag, New York, 1991.
11. Brezzi, F., Douglas, J., and Marini, L. D.: Two families of mixed finite elements for second order elliptic problems, Numer. Math., 47, 217-235, 1985.
12. Cockburn, B. and Shu, C.-W.: Runge-Kutta discontinuous Galerkin methods for convection-dominated problems, J. Sci. Comput., 16, 173-261, 2001.
13. Côté, J.: A Lagrange multiplier approach for the metric terms of semi-Lagrangian models on the sphere, Q. J. Roy. Meteorol. Soc., 114, 1347-1352, 1988.
14. Cotter, C. and Shipton, J.: Mixed finite elements for numerical weather prediction, J. Computat. Phys., 231, 7076-7091, doi:10.1016/j.jcp.2012.05.020, 2012.
15. Cotter, C. J., and Ham., D. A., and Pain, C. C.: A mixed discontinuous/continuous finite element pair for shallowwater ocean modelling, Ocean Modell., 26, 86-90, doi:10.1016/j.ocemod.2008.09.002, 2009.
16. Dedner, A., Klöfkorn, R., Nolte, M., and Ohlberger, M.: A generic interface for parallel and adaptive discretization schemes: abstraction principles and the DUNE-FEM module, Computing, 90, 165-196, 2010.
17. DeSimone, A., Heltai, L., and Manigrasso, C.: Tools for the Solution of PDEs Defined on Curved Manifolds with deal.II, International School for Advanced Studies (SISSA), available at: http://hdl.handle.net/1963/3700 (last access: 13 December 2013), 2009.
18. Giraldo, F. X.: High-order triangle-based discontinuous Galerkin methods for hyperbolic equations on a rotating sphere, J. Computat. Phys., 214, 447-465, 2006.
19. Holm, D.: Geometric Mechanics - Part I: Dynamics and Symmetry, Imperial College Press, 2008.
20. Karniadakis, G. E. and Sherwin, S. J.: Spectral/hp Element Methods for CFD, Oxford University Press, 1999.
21. Kirby, R. C.: Algorithm 839: FIAT, a new paradigm for computing finite element basis functions, ACM T. Math. Software, 30, 502-516, doi:10.1145/1039813.1039820, 2004.
22. Kirby, R. C. and Logg, A.: A compiler for variational forms, ACM T. Math. Software, 32, 417-444, doi:10.1145/1163641.1163644, 2006.
23. Kuptsov, L.: Gram Determinant, in: Encyclopedia of Mathematics, Springer, available at: http://www.encyclopediaofmath.org/index.php/Gram-determinant?%oldid=18442 (last access: 2 July 2013), 2011.
24. Leimkuhler, B. and Reich, S.: Simulating Hamiltonian Dynamics, chap. 12, CUP, 2005.
25. Le Roux, D., Sène, A., Rostand, V., and Hanert, E.: On some spurious mode issues in shallow-water models using a linear algebra approach, Ocean Modell., 10, 83-94, 2005.
26. Logg, A. and Wells, G. N.: DOLFIN: automated finite element computing, ACM T. Math. Software, 37, 20: 1-20:28, doi:10.1145/1731022.1731030, 2010.
27. Logg, A., Mardal, K.-A., and Wells, G.: Automated Solution of Differential Equations by the Finite Element Method: the Fenics Book, Vol. 84, Springer, 2012a.
28. Logg, A., Mardal, K.-A., and Wells, G. N. (Eds.): Automated Solution of Differential Equations by the Finite Element Method, Springer, 2012b.
29. Logg, A., Mardal, K.-A., and Wells, G. N.: Finite element assembly, in: Automated Solution of Differential Equations by the Finite Element Method, Springer, 2012c.
30. Logg, A., Ølgaard, K. B., Rognes, M. E., and Wells, G. N.: FFC: the FEniCS Form Compiler, in: Automated Solution of Differential Equations by the Finite Element Method, Vol. 84 of Lecture Notes in Computational Science and Engineering, edited by: Logg, A., Mardal, K.-A., and Wells, G. N., chap. 11, Springer, 2012d.
31. Logg, A., and Wells., G. N., and Hake, J.: DOLFIN: a C++/Python Finite Element Library, in: Automated Solution of Differential Equations by the Finite Element Method, Vol. 84 of Lecture Notes in Computational Science and Engineering, edited by: Logg, A., Mardal, K.-A., and Wells, G. N., chap. 10, Springer, 2012e.
32. McRae, A. T. T and Cotter, C. J.: Energy- and enstrophy-conserving schemes for the shallow-water equations, based on mimetic finite elements, Q. J. R. Meteorol. Soc., http://arxiv.org/abs/1305.4477 (last access: 13 December 2013), 2013.
33. 3, Numer. Math., 35, 315-341, doi:10.1007/BF01396415, 1980.
34. 3, Numer. Math., 50, 57-81, 1986.
35. Penrose, R.: A generalized inverse for matrices, Proc. Cambridge Philos. Soc, 51, 406-413, 1955.
36. Raviart, P.-A. and Thomas, J. M.: A mixed finite element method for 2nd order elliptic problems, in: Mathematical aspects of finite element methods (Proc. Conf., Consiglio Naz. delle Ricerche (C.N.R.), Rome, 1975), 292-315, Lecture Notes in Math., Vol. 606, Springer, Berlin, 1977.
37. Richardson, C. N., and Wells, G. N.: Expressive and scalable finite element simulation beyond 1000 cores, HECToR university distributed CSE project report, available at: http://www.hector.ac.uk/cse/distributedcse/reports/UniDOLFIN/, last access: 23 September 2013.
38. Rognes, M. E., and Kirby., R. C., and Logg, A.: Efficient assembly of H(div) and H(curl) conforming finite elements, SIAM J. Sci. Comput., 31, 4130-4151, 2009.
39. Schmidt, A., and Barth., T. J., and Siebert, K. G.: Design of adaptive finite element software: the finite element toolbox ALBERTA, Vol. 42, Springer, 2005.
40. Sherwin, S., and Kirby., R. M., and the Nektar++ team, available at: http://www.nektar.info, last access: 2 July 2013.
41. Williamson, D. L., and Drake., J. B., Hack, J. J., Jakob, R., and Swarztrauber, P. N.: A standard test set for numerical approximations to the shallow water equations in spherical geometry, J. Computat. Phys., 102, 211-224, 1992.
42. Zienkiewicz, O. C., and Taylor., R. L., and Zhu, J. Z.: The Finite Element Method: Its Basis and Fundamentals, Butterworth-Heinemann, 2005.