Code Generation for Generally Mapped Finite Elements

  title={Code Generation for Generally Mapped Finite Elements},
  author={Robert C. Kirby and Lawrence Mitchell},
  journal={ACM Transactions on Mathematical Software (TOMS)},
  pages={1 - 23}
  • R. C. Kirby, L. Mitchell
  • Published 2019
  • Computer Science, Mathematics
  • ACM Transactions on Mathematical Software (TOMS)
Many classical finite elements such as the Argyris and Bell elements have long been absent from high-level PDE software. Building on recent theoretical work, we describe how to implement very general finite-element transformations in FInAT and hence into the Firedrake finite-element system. Numerical results evaluate the new elements, comparing them to existing methods for classical problems. For a second-order model problem, we find that new elements give smooth solutions at a mild increase in… Expand
A new mixed finite-element method for the biharmonic problem
A three-field mixed finite-element formulation for fourth-order problems, with a focus on the effective treatment of the different boundary conditions that arise naturally in a variational formulation, and develops monolithic multigrid solvers for the resulting linear systems. Expand
A note on error analysis for a nonconforming discretisation of the tri-Helmholtz equation with singular data
We apply the nonconforming discretisation of [WX19] to the triHelmholtz equation on the plane where the source term is a functional evaluating the test function on a one-dimensional mesh-alignedExpand
Morley finite element methods for the stationary quasi-geostrophic equation
Abstract In this paper, we propose and analyze a nonconforming Morley finite element method for the stationary quasi-geostrophic equation in the ocean circulation. Stability and the inf–sup conditionExpand
Deflation for semismooth equations
An algorithm for computing distinct solutions of a variational inequality, without varying the initial guess supplied to the solver, is studied, which demonstrates its utility on various finite- and infinite-dimensional examples drawn from constrained optimization, game theory, economics and solid mechanics. Expand
Tools and Techniques for High Performance Computing: Selected Workshops, HUST, SE-HER and WIHPC, Held in Conjunction with SC 2019, Denver, CO, USA, November 17–18, 2019, Revised Selected Papers
HPC support teams are often tasked with installing scientific software for their user community and the complexity of managing a large software stack gets very challenging. Software installationExpand
An Adaptive Savitsky-Golay Filter for Smoothing Finite Element Computation
The smoothing technique of Savitzky and Golay is extended to data defined on multidimensional meshes. A smoothness-increasing accuracy-conserving (SIAC) filter is defined that is suitable for useExpand
Replicated Computational Results (RCR) Report for “Code Generation for Generally Mapped Finite Elements”
  • Neil Lindquist
  • Computer Science, Mathematics
  • ACM Trans. Math. Softw.
  • 2019
“Code Generation for Generally Mapped Finite Elements” includes performance results for the finite element methods discussed in that manuscript, and is deemed replicable by the reviewer. Expand
Role-Oriented Code Generation in an Engine for Solving Hyperbolic PDE Systems
This paper presents how the ExaHyPE engine facilitates the collaboration of interdisciplinary teams by isolating three roles: application, algorithms, and optimization expert, and supports team members in letting them focus on their own area of expertise while integrating their contributions into an HPC production code. Expand


A general approach to transforming finite elements
The use of a reference element on which a finite element basis is constructed once and mapped to each cell in a mesh greatly expedites the structure and efficiency of finite element codes. However,Expand
Nonconforming finite element methods for eigenvalue problems in linear plate theory
The paper deals with nonconforming finite element methods for approximating fourth order eigenvalue problems of typeΔ2w=λΔw. The methods are handled within an abstract Hilbert space framework whichExpand
Exposing and exploiting structure: optimal code generation for high-order finite element methods
The code generation infrastructure in Firedrake was extended with optimisations that can exploit the structure inherent to some finite elements, including sum factorisation on cuboid cells for continuous, discontinuous, H(div) and H(curl) conforming elements. Expand
Simple and extensible plate and shell finite element models through automatic code generation tools
It is shown that by using a high-level mathematical modelling strategy and automatic code generation tools, a wide range of advanced plate and shell finite element models can be generated easily and efficiently, including the linear and non-linear geometrically exact Naghdi shell models, the Marguerre-von Karman shallow shell model, and the Reissner-Mindlin plate model. Expand
A discontinuous Galerkin formulation for a strain gradient-dependent damage model
Abstract The numerical solution of strain gradient-dependent continuum problems has been dogged by continuity demands on the basis functions. For most commonly accepted models, solutions using theExpand
Feel++ : A computational framework for Galerkin Methods and Advanced Numerical Methods
An overview of a unified framework for finite element and spectral element methods in 1D, 2D and 3D in \cpp called \Feel is presented, including examples using the mortar, Schwartz (non)overlapping, three fields and two ficticious domain-like methods. Expand
Multigrid methods for the biharmonic problem discretized by conforming C 1 finite elements on nonnested meshes
We consider multigrid algorithms for the biharmonic problem discretized by conforming C 1 finite elements. Most finite elements for the biharmonic equation are nonnested in the sense that the coarseExpand
Imposing Dirichlet boundary conditions with Nitsche's method and spline‐based finite elements
A key challenge while employing non-interpolatory basis functions in finite-element methods is the robust imposition of Dirichlet boundary conditions. The current work studies the weak enforcement ofExpand
A domain-specific language for the hybridization and static condensation of finite element methods
A domain-specific language (DSL) for concisely expressing localized linear algebra on finite element tensors, and its integration within a code-generation framework is introduced. Expand
Solver Composition Across the PDE/Linear Algebra Barrier
Improvements in the Firedrake finite element library are presented that allow for straightforward development of the building blocks of extensible, composable preconditioners that decouple the solver from the model formulation. Expand