Showing 1–30 of 30 results for author: Kirby, R C

Extending Irksome: improvements in automated Runge--Kutta time step** for finite element methods

Authors: Robert C. Kirby, Scott P. MacLachlan

Abstract: Irksome is a library based on the Unified Form Language (UFL) that enables automated generation of Runge--Kutta methods for time-step** finite element spatial discretizations of partial differential equations (PDE). Allowing users to express semidiscrete forms of PDE, it generates UFL representations for the stage-coupled variational problems to be solved at each time step. The Firedrake package… ▽ More Irksome is a library based on the Unified Form Language (UFL) that enables automated generation of Runge--Kutta methods for time-step** finite element spatial discretizations of partial differential equations (PDE). Allowing users to express semidiscrete forms of PDE, it generates UFL representations for the stage-coupled variational problems to be solved at each time step. The Firedrake package then generates efficient code for evaluating these variational problems and allows users a wide range of options to deploy efficient algebraic solvers in PETSc. In this paper, we describe several recent advances in Irksome. These include alternate formulations of the Runge--Kutta time-step** methods and optimized support for diagonally implicit (DIRK) methods. Additionally, we present new and improved tools for building preconditioners for the resulting linear and linearized systems, demonstrating that these can lead to efficient approaches for solving fully implicit Runge-Kutta discretizations. The new features are demonstrated through a sequence of computational examples demonstrating the high-level interface and obtained solver performance. △ Less

Submitted 12 March, 2024; originally announced March 2024.

MSC Class: 65-04; 65M60; 65M22; 65L06

High-order bounds-satisfying approximation of partial differential equations via finite element variational inequalities

Authors: Robert C. Kirby, Daniel Shapero

Abstract: Solutions to many important partial differential equations satisfy bounds constraints, but approximations computed by finite element or finite difference methods typically fail to respect the same conditions. Chang and Nakshatrala enforce such bounds in finite element methods through the solution of variational inequalities rather than linear variational problems. Here, we provide a theoretical ju… ▽ More Solutions to many important partial differential equations satisfy bounds constraints, but approximations computed by finite element or finite difference methods typically fail to respect the same conditions. Chang and Nakshatrala enforce such bounds in finite element methods through the solution of variational inequalities rather than linear variational problems. Here, we provide a theoretical justification for this method, including higher-order discretizations. We prove an abstract best approximation result for the linear variational inequality and estimates showing that bounds-constrained polynomials provide comparable approximation power to standard spaces. For any unconstrained approximation to a function, there exists a constrained approximation which is comparable in the $W^{1,p}$ norm. In practice, one cannot efficiently represent and manipulate the entire family of bounds-constrained polynomials, but applying bounds constraints to the coefficients of a polynomial in the Bernstein basis guarantees those constraints on the polynomial. Although our theoretical results do not guaruntee high accuracy for this subset of bounds-constrained polynomials, numerical results indicate optimal orders of accuracy for smooth solutions and sharp resolution of features in convection-diffusion problems, all subject to bounds constraints. △ Less

Submitted 12 March, 2024; v1 submitted 10 November, 2023; originally announced November 2023.

MSC Class: 65N30; 49J30; 65M60

Planar Curve Registration using Bayesian Inversion

Authors: Andreas Bock, Colin J. Cotter, Robert C. Kirby

Abstract: We study parameterisation-independent closed planar curve matching as a Bayesian inverse problem. The motion of the curve is modelled via a curve on the diffeomorphism group acting on the ambient space, leading to a large deformation diffeomorphic metric map** (LDDMM) functional penalising the kinetic energy of the deformation. We solve Hamilton's equations for the curve matching problem using t… ▽ More We study parameterisation-independent closed planar curve matching as a Bayesian inverse problem. The motion of the curve is modelled via a curve on the diffeomorphism group acting on the ambient space, leading to a large deformation diffeomorphic metric map** (LDDMM) functional penalising the kinetic energy of the deformation. We solve Hamilton's equations for the curve matching problem using the Wu-Xu element [S. Wu, J. Xu, Nonconforming finite element spaces for $2m^\text{th}$ order partial differential equations on $\mathbb{R}^n$ simplicial grids when $m=n+1$, Mathematics of Computation 88 (316) (2019) 531-551] which provides mesh-independent Lipschitz constants for the forward motion of the curve, and solve the inverse problem for the momentum using Bayesian inversion. Since this element is not affine-equivalent we provide a pullback theory which expedites the implementation and efficiency of the forward map. We adopt ensemble Kalman inversion using a negative Sobolev norm mismatch penalty to measure the discrepancy between the target and the ensemble mean shape. We provide several numerical examples to validate the approach. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Comments: 45 pages, 9 figures

On the convergence of monolithic multigrid for implicit Runge-Kutta time step** of finite element problems

Authors: Robert C. Kirby

Abstract: Finite element discretization of time dependent problems also require effective time-step** schemes. While implicit Runge-Kutta methods provide favorable accuracy and stability problems, they give rise to large and complicated systems of equations to solve for each time step. These algebraic systems couple all Runge-Kutta stages together, giving a much larger system than for single-stage methods… ▽ More Finite element discretization of time dependent problems also require effective time-step** schemes. While implicit Runge-Kutta methods provide favorable accuracy and stability problems, they give rise to large and complicated systems of equations to solve for each time step. These algebraic systems couple all Runge-Kutta stages together, giving a much larger system than for single-stage methods. We consider an approach to these systems based on monolithic smoothing. If stage-coupled smoothers possess a certain kind of structure, then the question of convergence of a two-grid or multi-grid iteration reduces to convergence of a related strategy for a single-stage system with a complex-valued time step. In addition to providing a general theoretical approach to the convergence of monolithic multigrid methods, several numerical examples are given to illustrate the theory show how higher-order Runge-Kutta methods can be made effective in practice. △ Less

Submitted 28 April, 2023; originally announced April 2023.

MSC Class: 65F08; 65M22; 65M55

Exact domain truncation for the Morse-Ingard equations

Authors: Robert C. Kirby, Xiaoyu Wei, Andreas Kloeckner

Abstract: Morse and Ingard give a coupled system of time-harmonic equations for the temperature and pressure of an excited gas. These equations form a critical aspect of modeling trace gas sensors. Like other wave propagation problems, the computational problem must be closed with suitable far-field boundary conditions. Working in a scattered-field formulation, we adapt a nonlocal boundary condition propose… ▽ More Morse and Ingard give a coupled system of time-harmonic equations for the temperature and pressure of an excited gas. These equations form a critical aspect of modeling trace gas sensors. Like other wave propagation problems, the computational problem must be closed with suitable far-field boundary conditions. Working in a scattered-field formulation, we adapt a nonlocal boundary condition proposed earlier for the Helmholtz equation to this coupled system. This boundary condition uses a Green's formula for the true solution on the boundary, giving rise to a nonlocal perturbation of standard transmission boundary conditions. However, the boundary condition is exact and so Galerkin discretization of the resulting problem converges to the restriction of the exact solution to the computational domain. Numerical results demonstrate that accuracy can be obtained on relatively coarse meshes on small computational domains, and the resulting algebraic systems may be solved by GMRES using the local part of the operator as an effective preconditioner. △ Less

Submitted 25 October, 2022; originally announced October 2022.

MSC Class: 65N30; 65F08

Integral Equation Methods for the Morse-Ingard Equations

Authors: Xiaoyu Wei, Andreas Klöckner, Robert C. Kirby

Abstract: We present two (a decoupled and a coupled) integral-equation-based methods for the Morse-Ingard equations subject to Neumann boundary conditions on the exterior domain. Both methods are based on second-kind integral equation (SKIE) formulations. The coupled method is well-conditioned and can achieve high accuracy. The decoupled method has lower computational cost and more flexibility in dealing wi… ▽ More We present two (a decoupled and a coupled) integral-equation-based methods for the Morse-Ingard equations subject to Neumann boundary conditions on the exterior domain. Both methods are based on second-kind integral equation (SKIE) formulations. The coupled method is well-conditioned and can achieve high accuracy. The decoupled method has lower computational cost and more flexibility in dealing with the boundary layer; however, it is prone to the ill-conditioning of the decoupling transform and cannot achieve as high accuracy as the coupled method. We show numerical examples using a Nyström method based on quadrature-by-expansion (QBX) with fast-multipole acceleration. We demonstrate the accuracy and efficiency of the solvers in both two and three dimensions with complex geometry. △ Less

Submitted 21 April, 2023; v1 submitted 22 October, 2022; originally announced October 2022.

MSC Class: 65M99; 65R20 ACM Class: G.1

Weighted-norm preconditioners for a multi-layer tide model

Authors: Colin J. Cotter, Robert C. Kirby, Hunter Morris

Abstract: We derive a linearized rotating shallow water system modeling tides, which can be discretized by mixed finite elements. Unlike previous models, this model allows for multiple layers stratified by density. Like the single-layer case~\cite{kirby2021preconditioning} a weighted-norm preconditioner gives a (nearly) parameter-robust method for solving the resulting linear system at each time step, but t… ▽ More We derive a linearized rotating shallow water system modeling tides, which can be discretized by mixed finite elements. Unlike previous models, this model allows for multiple layers stratified by density. Like the single-layer case~\cite{kirby2021preconditioning} a weighted-norm preconditioner gives a (nearly) parameter-robust method for solving the resulting linear system at each time step, but the all-to-all coupling between the layers in the model poses a significant challenge to efficiency. Neglecting the inter-layer coupling gives a preconditioner that degrades rapidly as the number of layers increases. By a careful analysis of the matrix that couples the layers, we derive a robust method that requires solving a reformulated system that only involves coupling between adjacent layers. Numerical results obtained using Firedrake confirm the theory. △ Less

Submitted 5 July, 2022; originally announced July 2022.

Comments: 23 pages, 7 figures

MSC Class: 65F08; 65N30 ACM Class: G.1.8; G.1.3

Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake

Authors: Justin Crum, Cyrus Cheng, David A. Ham, Lawrence Mitchell, Robert C. Kirby, Joshua A. Levine, Andrew Gillette

Abstract: We present an implementation of the trimmed serendipity finite element family, using the open source finite element package Firedrake. The new elements can be used seamlessly within the software suite for problems requiring $H^1$, \hcurl, or \hdiv-conforming elements on meshes of squares or cubes. To test how well trimmed serendipity elements perform in comparison to traditional tensor product ele… ▽ More We present an implementation of the trimmed serendipity finite element family, using the open source finite element package Firedrake. The new elements can be used seamlessly within the software suite for problems requiring $H^1$, \hcurl, or \hdiv-conforming elements on meshes of squares or cubes. To test how well trimmed serendipity elements perform in comparison to traditional tensor product elements, we perform a sequence of numerical experiments including the primal Poisson, mixed Poisson, and Maxwell cavity eigenvalue problems. Overall, we find that the trimmed serendipity elements converge, as expected, at the same rate as the respective tensor product elements while being able to offer significant savings in the time or memory required to solve certain problems. △ Less

Submitted 8 October, 2021; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: 19 pages, 7 figures, 3 tables, 2 listings

Journal ref: ACM Transactions on Mathematical Software 48(1):8:1-8:19 (2022)

Additive Schwarz methods for serendipity elements

Authors: Jorge Marchena-Menendez, Robert C. Kirby

Abstract: While solving Partial Differential Equations (PDEs) with finite element methods (FEM), serendipity elements allow us to obtain the same order of accuracy as rectangular tensor-product elements with many fewer degrees of freedom (DOFs). To realize the possible computational savings, we develop some additive Schwarz methods (ASM) based on solving local patch problems. Adapting arguments from Pavarin… ▽ More While solving Partial Differential Equations (PDEs) with finite element methods (FEM), serendipity elements allow us to obtain the same order of accuracy as rectangular tensor-product elements with many fewer degrees of freedom (DOFs). To realize the possible computational savings, we develop some additive Schwarz methods (ASM) based on solving local patch problems. Adapting arguments from Pavarino for the tensor-product case, we prove that patch smoothers give conditioning estimates independent of the polynomial degree for a model problem. We also combine this with a low-order global operator to give an optimal two-grid method, with conditioning estimates independent of the mesh size and polynomial degree. The theory holds for serendipity elements in two and three dimensions, and can be extended to full multigrid algorithms. Numerical experiments using Firedrake and PETSc confirm this theory and demonstrate efficiency relative to standard elements. △ Less

Submitted 20 September, 2022; v1 submitted 23 April, 2021; originally announced April 2021.

MSC Class: 65M30; 65N55; 65F08 ACM Class: G.1.8; J.2

Bounds-constrained polynomial approximation using the Bernstein basis

Authors: Larry Allen, Robert C. Kirby

Abstract: A fundamental problem in numerical analysis and approximation theory is approximating smooth functions by polynomials. A much harder version under recent consideration is to enforce bounds constraints on the approximating polynomial. In this paper, we consider the problem of approximating functions by polynomials whose Bernstein coefficients with respect to a given degree satisfy such bounds, whic… ▽ More A fundamental problem in numerical analysis and approximation theory is approximating smooth functions by polynomials. A much harder version under recent consideration is to enforce bounds constraints on the approximating polynomial. In this paper, we consider the problem of approximating functions by polynomials whose Bernstein coefficients with respect to a given degree satisfy such bounds, which implies such bounds on the approximant. We frame the problem as an inequality-constrained optimization problem and give an algorithm for finding the Bernstein coefficients of the exact solution. Additionally, our method can be modified slightly to include equality constraints such as mass preservation. It also extends naturally to multivariate polynomials over a simplex. △ Less

Submitted 23 December, 2021; v1 submitted 23 April, 2021; originally announced April 2021.

Comments: 20 pages, 3 figures

MSC Class: 41A20; 41A29; 65D15; 65K05; 90C20

Finite elements for Helmholtz equations with a nonlocal boundary condition

Authors: Robert C. Kirby, Andreas Klöckner, Ben Sepanski

Abstract: Numerical resolution of exterior Helmholtz problems requires some approach to domain truncation. As an alternative to approximate nonreflecting boundary conditions and invocation of the Dirichlet-to-Neumann map, we introduce a new, nonlocal boundary condition. This condition is exact and requires the evaluation of layer potentials involving the free space Green's function. However, it seems to wor… ▽ More Numerical resolution of exterior Helmholtz problems requires some approach to domain truncation. As an alternative to approximate nonreflecting boundary conditions and invocation of the Dirichlet-to-Neumann map, we introduce a new, nonlocal boundary condition. This condition is exact and requires the evaluation of layer potentials involving the free space Green's function. However, it seems to work in general unstructured geometry, and Galerkin finite element discretization leads to convergence under the usual mesh constraints imposed by Gårding-type inequalities. The nonlocal boundary conditions are readily approximated by fast multipole methods, and the resulting linear system can be preconditioned by the purely local operator involving transmission boundary conditions. △ Less

Submitted 2 March, 2021; v1 submitted 17 September, 2020; originally announced September 2020.

MSC Class: 65N30; 65N80; 65F08

Irksome: Automating Runge--Kutta time-step** for finite element methods

Authors: Patrick E. Farrell, Robert C. Kirby, Jorge Marchena-Menendez

Abstract: While implicit Runge--Kutta methods possess high order accuracy and important stability properties, implementation difficulties and the high expense of solving the coupled algebraic system at each time step are frequently cited as impediments. We present IIrksome, a high-level library for manipulating UFL (Unified Form Language) expressions of semidiscrete variational forms to obtain UFL expressio… ▽ More While implicit Runge--Kutta methods possess high order accuracy and important stability properties, implementation difficulties and the high expense of solving the coupled algebraic system at each time step are frequently cited as impediments. We present IIrksome, a high-level library for manipulating UFL (Unified Form Language) expressions of semidiscrete variational forms to obtain UFL expressions for the coupled Runge--Kutta stage equations at each time step. Irksome works with the Firedrake package to enable the efficient solution of the resulting coupled algebraic systems. Numerical examples confirm the efficacy of the software and our solver techniques for various problems. △ Less

Submitted 29 June, 2020; originally announced June 2020.

MSC Class: 65-04; 65M60 ACM Class: G.1.8; J.2

Structured inversion of the Bernstein-Vandermonde Matrix

Authors: Larry Allen, Robert C. Kirby

Abstract: Bernstein polynomials, long a staple of approximation theory and computational geometry, have also increasingly become of interest in finite element methods. Many fundamental problems in interpolation and approximation give rise to interesting linear algebra questions. When attempting to find a polynomial approximation of boundary or initial data, one encounters the Bernstein-Vandermonde matrix, w… ▽ More Bernstein polynomials, long a staple of approximation theory and computational geometry, have also increasingly become of interest in finite element methods. Many fundamental problems in interpolation and approximation give rise to interesting linear algebra questions. When attempting to find a polynomial approximation of boundary or initial data, one encounters the Bernstein-Vandermonde matrix, which is found to be highly ill-conditioned. Previously, we used the relationship between monomial Bezout matrices and the inverse of Hankel matrices to obtain a decomposition of the inverse of the Bernstein mass matrix in terms of Hankel, Toeplitz, and diagonal matrices. In this paper, we use properties of the Bernstein-Bezout matrix to factor the inverse of the Bernstein-Vandermonde matrix into a difference of products of Hankel, Toeplitz, and diagonal matrices. We also use a nonstandard matrix norm to study the conditioning of the Bernstein-Vandermonde matrix, showing that the conditioning in this case is better than in the standard 2-norm. Additionally, we use properties of multivariate Bernstein polynomials to derive a block $LU$ decomposition of the Bernstein-Vandermonde matrix corresponding to equispaced nodes on the $d$-simplex. △ Less

Submitted 7 May, 2020; originally announced May 2020.

Comments: 21 pages, 4 figures

MSC Class: 65F05; 65F15; 65F35

Preconditioning mixed finite elements for tide models

Authors: Tate Kernell, Robert C. Kirby

Abstract: We describe a fully discrete mixed finite element method for the linearized rotating shallow water model, possibly with dam**. While Crank-Nicolson time-step** conserves energy in the absence of drag or forcing terms and is not subject to a CFL-like stability condition, it requires the inversion of a linear system at each step. We develop weighted-norm preconditioners for this algebraic system… ▽ More We describe a fully discrete mixed finite element method for the linearized rotating shallow water model, possibly with dam**. While Crank-Nicolson time-step** conserves energy in the absence of drag or forcing terms and is not subject to a CFL-like stability condition, it requires the inversion of a linear system at each step. We develop weighted-norm preconditioners for this algebraic system that are nearly robust with respect to the physical and discretization parameters in the system. Numerical experiments using Firedrake support the theoretical results. △ Less

Submitted 3 March, 2020; originally announced March 2020.

MSC Class: 65N30; 65F08

Optimal-order preconditioners for the Morse-Ingard equations

Authors: Peter Coogan, Robert C. Kirby

Abstract: The Morse-Ingard equations of thermoacoustics are a system of coupled time-harmonic equations for the temperature and pressure of an excited gas. They form a critical aspect of modeling trace gas sensors. In this paper, we analyze a reformulation of the system that has a weaker coupling between the equations than the original form. We give a Gårding-type inequality for the system that leads to opt… ▽ More The Morse-Ingard equations of thermoacoustics are a system of coupled time-harmonic equations for the temperature and pressure of an excited gas. They form a critical aspect of modeling trace gas sensors. In this paper, we analyze a reformulation of the system that has a weaker coupling between the equations than the original form. We give a Gårding-type inequality for the system that leads to optimal-order asymptotic finite element error estimates. We also develop preconditioners for the coupled system. These are derived by writing the system as a 2x2 block system with pressure and temperature unknowns segregated into separate blocks and then using either the block diagonal or block lower triangular part of this matrix as a preconditioner. Consequently, the preconditioner requires inverting smaller, Helmholtz-like systems individually for the pressure and temperature. Rigorous eigenvalue bounds are given for the preconditioned system, and these are supported by numerical experiments. △ Less

Submitted 22 November, 2019; originally announced November 2019.

MSC Class: 65N30 65F08

Structured inversion of the Bernstein mass matrix

Authors: Larray Allen, Robert C. Kirby

Abstract: Bernstein polynomials, long a staple of approximation theory and computational geometry, have also increasingly become of interest in finite element methods. Many fundamental problems in interpolation and approximation give rise to interesting linear algebra questions. Previously, we gave block-structured algorithms for inverting the Bernstein mass matrix on simplicial cells, but did not study fas… ▽ More Bernstein polynomials, long a staple of approximation theory and computational geometry, have also increasingly become of interest in finite element methods. Many fundamental problems in interpolation and approximation give rise to interesting linear algebra questions. Previously, we gave block-structured algorithms for inverting the Bernstein mass matrix on simplicial cells, but did not study fast alorithms for the univariate case. Here, we give several approaches to inverting the univariate mass matrix based on exact formulae for the inverse; decompositions of the inverse in terms of Hankel, Toeplitz, and diagonal matrices; and a spectral decomposition. In particular, the eigendecomposition can be explicitly constructed in $\mathcal{O}(n^2)$ operations, while its accuracy for solving linear systems is comparable to that of the Cholesky decomposition. Moreover, we study conditioning and accuracy of these methods from the standpoint of the effect of roundoff error in the $L^2$ norm on polynomials, showing that the conditioning in this case is far less extreme than in the standard 2-norm. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: 19 pages, 5 figures

MSC Class: 65F35; 65D15; 15B05

Code generation for generally mapped finite elements

Authors: Robert C. Kirby, Lawrence Mitchell

Abstract: 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… ▽ More 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 cost over standard Lagrange elements. For fourth-order problems, however, the newly-enabled methods significantly outperform interior penalty formulations. We also give some advanced use cases, solving the nonlinear Cahn-Hilliard equation and some biharmonic eigenvalue problems (including Chladni plates) using $C^1$ discretizations. △ Less

Submitted 6 September, 2019; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: 23 pages

Journal ref: ACM Transactions on Mathematical Software 45(41):1-23 (2019)

Exposing and exploiting structure: optimal code generation for high-order finite element methods

Authors: Miklós Homolya, Robert C. Kirby, David A. Ham

Abstract: Code generation based software platforms, such as Firedrake, have become popular tools for develo** complicated finite element discretisations of partial differential equations. We extended the code generation infrastructure in Firedrake with optimisations that can exploit the structure inherent to some finite elements. This includes sum factorisation on cuboid cells for continuous, discontinuou… ▽ More Code generation based software platforms, such as Firedrake, have become popular tools for develo** complicated finite element discretisations of partial differential equations. We extended the code generation infrastructure in Firedrake with optimisations that can exploit the structure inherent to some finite elements. This includes sum factorisation on cuboid cells for continuous, discontinuous, H(div) and H(curl) conforming elements. Our experiments confirm optimal algorithmic complexity for high-order finite element assembly. This is achieved through several novel contributions: the introduction of a more powerful interface between the form compiler and the library providing the finite elements; a more abstract, smarter library of finite elements called FInAT that explicitly communicates the structure of elements; and form compiler algorithms to automatically exploit this exposed structure. △ Less

Submitted 7 November, 2017; originally announced November 2017.

Comments: Submitted to ACM Transactions on Mathematical Software

A general approach to transforming finite elements

Authors: Robert C. Kirby

Abstract: 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, many famous finite elements such as Hermite, Morley, Argyris, and Bell, do not possess the kind of equivalence needed to work with a reference element in the standard way. This paper gives a generalizat… ▽ More 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, many famous finite elements such as Hermite, Morley, Argyris, and Bell, do not possess the kind of equivalence needed to work with a reference element in the standard way. This paper gives a generalizated approach to map** bases for such finite elements by means of studying relationships between the finite element nodes under push-forward. △ Less

Submitted 27 June, 2017; originally announced June 2017.

Comments: 28 pages

MSC Class: 65N30

Mixed finite elements for global tide models with nonlinear dam**

Authors: Colin J. Cotter, P. Jameson Graber, Robert C. Kirby

Abstract: We study mixed finite element methods for the rotating shallow water equations with linearized momentum terms but nonlinear drag. By means of an equivalent second-order formulation, we prove long-time stability of the system without energy accumulation. We also give rates of dam** in unforced systems and various continuous dependence results on initial conditions and forcing terms. \emph{A prior… ▽ More We study mixed finite element methods for the rotating shallow water equations with linearized momentum terms but nonlinear drag. By means of an equivalent second-order formulation, we prove long-time stability of the system without energy accumulation. We also give rates of dam** in unforced systems and various continuous dependence results on initial conditions and forcing terms. \emph{A priori} error estimates for the momentum and free surface elevation are given in $L^2$ as well as for the time derivative and divergence of the momentum. Numerical results confirm the theoretical results regarding both energy dam** and convergence rates. △ Less

Submitted 5 June, 2017; originally announced June 2017.

MSC Class: 65M12; 65M60; 35Q86

Solver composition across the PDE/linear algebra barrier

Authors: Robert C. Kirby, Lawrence Mitchell

Abstract: The efficient solution of discretisations of coupled systems of partial differential equations (PDEs) is at the core of much of numerical simulation. Significant effort has been expended on scalable algorithms to precondition Krylov iterations for the linear systems that arise. With few exceptions, the reported numerical implementation of such solution strategies is specific to a particular model… ▽ More The efficient solution of discretisations of coupled systems of partial differential equations (PDEs) is at the core of much of numerical simulation. Significant effort has been expended on scalable algorithms to precondition Krylov iterations for the linear systems that arise. With few exceptions, the reported numerical implementation of such solution strategies is specific to a particular model setup, and intimately ties the solver strategy to the discretisation and PDE, especially when the preconditioner requires auxiliary operators. In this paper, we present recent improvements in the Firedrake finite element library that allow for straightforward development of the building blocks of extensible, composable preconditioners that decouple the solver from the model formulation. Our implementation extends the algebraic composability of linear solvers offered by the PETSc library by augmenting operators, and hence preconditioners, with the ability to provide any necessary auxiliary operators. Rather than specifying up front the full solver configuration, tied to the model, solvers can be developed independently of model formulation and configured at runtime. We illustrate with examples from incompressible fluids and temperature-driven convection. △ Less

Submitted 8 November, 2017; v1 submitted 5 June, 2017; originally announced June 2017.

Comments: 23 pages. Fixed axis labelling in Fig 3

MSC Class: 65N22; 65F08; 65F10

Journal ref: SIAM Journal on Scientific Computing 40(1):C76-C98 (2018)

Efficient discontinuous Galerkin finite element methods via Bernstein polynomials

Authors: Robert C. Kirby

Abstract: We consider the discontinuous Galerkin method for hyperbolic conservation laws, with some particular attention to the linear acoustic equation, using Bernstein polynomials as local bases. Adapting existing techniques leads to optimal-complexity computation of the element and boundary flux terms. The element mass matrix, however, requires special care. In particular, we give an explicit formula for… ▽ More We consider the discontinuous Galerkin method for hyperbolic conservation laws, with some particular attention to the linear acoustic equation, using Bernstein polynomials as local bases. Adapting existing techniques leads to optimal-complexity computation of the element and boundary flux terms. The element mass matrix, however, requires special care. In particular, we give an explicit formula for its eigenvalues and exact characterization of the eigenspaces in terms of the Bernstein representation of orthogonal polynomials. We also show a fast algorithm for solving linear systems involving the element mass matrix to preserve the overall complexity of the DG method. Finally, we present numerical results investigating the accuracy of the mass inversion algorithms and the scaling of total run-time for the function evaluation needed in DG time-step**. △ Less

Submitted 15 April, 2015; originally announced April 2015.

Comments: 20 pages

MSC Class: 65M60; 65Y20

Mixed finite elements for global tide models

Authors: Colin J. Cotter, Robert C. Kirby

Abstract: We study mixed finite element methods for the linearized rotating shallow water equations with linear drag and forcing terms. By means of a strong energy estimate for an equivalent second-order formulation for the linearized momentum, we prove long-time stability of the system without energy accumulation -- the geotryptic state. A priori error estimates for the linearized momentum and free surface… ▽ More We study mixed finite element methods for the linearized rotating shallow water equations with linear drag and forcing terms. By means of a strong energy estimate for an equivalent second-order formulation for the linearized momentum, we prove long-time stability of the system without energy accumulation -- the geotryptic state. A priori error estimates for the linearized momentum and free surface elevation are given in $L^2$ as well as for the time derivative and divergence of the linearized momentum. Numerical results confirm the theoretical results regarding both energy dam** and convergence rates. △ Less

Submitted 30 September, 2014; originally announced October 2014.

Efficient Assembly of H(div) and H(curl) Conforming Finite Elements

Authors: Marie Rognes, Robert C. Kirby, Anders Logg

Abstract: In this paper, we discuss how to efficiently evaluate and assemble general finite element variational forms on H(div) and H(curl). The proposed strategy relies on a decomposition of the element tensor into a precomputable reference tensor and a mesh-dependent geometry tensor. Two key points must then be considered: the appropriate map** of basis functions from a reference element, and the orient… ▽ More In this paper, we discuss how to efficiently evaluate and assemble general finite element variational forms on H(div) and H(curl). The proposed strategy relies on a decomposition of the element tensor into a precomputable reference tensor and a mesh-dependent geometry tensor. Two key points must then be considered: the appropriate map** of basis functions from a reference element, and the orientation of geometrical entities. To address these issues, we extend here a previously presented representation theorem for affinely mapped elements to Piola-mapped elements. We also discuss a simple numbering strategy that removes the need to contend with directions of facet normals and tangents. The result is an automated, efficient, and easy-to-use implementation that allows a user to specify finite element variational forms on H(div) and H(curl) in close to mathematical notation. △ Less

Submitted 14 May, 2012; originally announced May 2012.

MSC Class: 65N30; 68N20

Journal ref: SIAM Journal on Scientific Computing 31(6), pp. 4130-4151 (2009)

Benchmarking Domain-Specific Compiler Optimizations for Variational Forms

Authors: Robert C. Kirby, Anders Logg

Abstract: We examine the effect of using complexity-reducing relations to generate optimized code for the evaluation of finite element variational forms. The optimizations are implemented in a prototype code named FErari, which has been integrated as an optimizing backend to the FEniCS Form Compiler, FFC. In some cases, FErari provides very little speedup, while in other cases, we obtain reduced local opera… ▽ More We examine the effect of using complexity-reducing relations to generate optimized code for the evaluation of finite element variational forms. The optimizations are implemented in a prototype code named FErari, which has been integrated as an optimizing backend to the FEniCS Form Compiler, FFC. In some cases, FErari provides very little speedup, while in other cases, we obtain reduced local operation counts of a factor of as much as 7.9 and speedups for the assembly of the global sparse matrix of as much as a factor of 2.8. △ Less

Submitted 14 May, 2012; originally announced May 2012.

Comments: ACM Transactions on Mathematical Software 35(2), 18 pages (2008)

ACM Class: G.4; G.1.8

Efficient Compilation of a Class of Variational Forms

Authors: Robert C. Kirby, Anders Logg

Abstract: We investigate the compilation of general multilinear variational forms over affines simplices and prove a representation theorem for the representation of the element tensor (element stiffness matrix) as the contraction of a constant reference tensor and a geometry tensor that accounts for geometry and variable coefficients. Based on this representation theorem, we design an algorithm for efficie… ▽ More We investigate the compilation of general multilinear variational forms over affines simplices and prove a representation theorem for the representation of the element tensor (element stiffness matrix) as the contraction of a constant reference tensor and a geometry tensor that accounts for geometry and variable coefficients. Based on this representation theorem, we design an algorithm for efficient pretabulation of the reference tensor. The new algorithm has been implemented in the FEniCS Form Compiler (FFC) and improves on a previous loop-based implementation by several orders of magnitude, thus shortening compile-times and development cycles for users of FFC. △ Less

Submitted 14 May, 2012; originally announced May 2012.

Comments: ACM Transactions on Mathematical Software 33(3), 20 pages (2007)

ACM Class: G.4; G.1.8

Topological Optimization of the Evaluation of Finite Element Matrices

Authors: Robert C. Kirby, Anders Logg, L. Ridgway Scott, Andy R. Terrel

Abstract: We present a topological framework for finding low-flop algorithms for evaluating element stiffness matrices associated with multilinear forms for finite element methods posed over straight-sided affine domains. This framework relies on phrasing the computation on each element as the contraction of each collection of reference element tensors with an element-specific geometric tensor. We then pres… ▽ More We present a topological framework for finding low-flop algorithms for evaluating element stiffness matrices associated with multilinear forms for finite element methods posed over straight-sided affine domains. This framework relies on phrasing the computation on each element as the contraction of each collection of reference element tensors with an element-specific geometric tensor. We then present a new concept of complexity-reducing relations that serve as distance relations between these reference element tensors. This notion sets up a graph-theoretic context in which we may find an optimized algorithm by computing a minimum spanning tree. We present experimental results for some common multilinear forms showing significant reductions in operation count and also discuss some efficient algorithms for building the graph we use for the optimization. △ Less

Submitted 14 May, 2012; originally announced May 2012.

MSC Class: 65N30; 05C90; 68R10

Journal ref: SIAM Journal on Scientific Computing 28(1), pp. 224-240 (2006)

Optimizing the Evaluation of Finite Element Matrices

Authors: Robert C. Kirby, Matthew Knepley, Anders Logg, L. Ridgway Scott

Abstract: Assembling stiffness matrices represents a significant cost in many finite element computations. We address the question of optimizing the evaluation of these matrices. By finding redundant computations, we are able to significantly reduce the cost of building local stiffness matrices for the Laplace operator and for the trilinear form for Navier-Stokes. For the Laplace operator in two space dimen… ▽ More Assembling stiffness matrices represents a significant cost in many finite element computations. We address the question of optimizing the evaluation of these matrices. By finding redundant computations, we are able to significantly reduce the cost of building local stiffness matrices for the Laplace operator and for the trilinear form for Navier-Stokes. For the Laplace operator in two space dimensions, we have developed a heuristic graph algorithm that searches for such redundancies and generates code for computing the local stiffness matrices. Up to cubics, we are able to build the stiffness matrix on any triangle in less than one multiply-add pair per entry. Up to sixth degree, we can do it in less than about two. Preliminary low-degree results for Poisson and Navier-Stokes operators in three dimensions are also promising. △ Less

Submitted 14 May, 2012; originally announced May 2012.

MSC Class: 65D05; 65N15; 65N30

Journal ref: SIAM Journal on Scientific Computing 27(3), pp. 741-758 (2005)

A compiler for variational forms

Authors: Robert C. Kirby, Anders Logg

Abstract: As a key step towards a complete automation of the finite element method, we present a new algorithm for automatic and efficient evaluation of multilinear variational forms. The algorithm has been implemented in the form of a compiler, the FEniCS Form Compiler FFC. We present benchmark results for a series of standard variational forms, including the incompressible Navier-Stokes equations and line… ▽ More As a key step towards a complete automation of the finite element method, we present a new algorithm for automatic and efficient evaluation of multilinear variational forms. The algorithm has been implemented in the form of a compiler, the FEniCS Form Compiler FFC. We present benchmark results for a series of standard variational forms, including the incompressible Navier-Stokes equations and linear elasticity. The speedup compared to the standard quadrature-based approach is impressive; in some cases the speedup is as large as a factor 1000. △ Less

Submitted 2 December, 2011; originally announced December 2011.

Comments: 27 pages, 10 figures

Journal ref: ACM Trans. Math. Software 32(3), 2006, pp. 417-444

A survey of 4-manifolds through the eyes of surgery

Authors: Robion C. Kirby, Laurence R. Taylor

Abstract: The title says it all. The title says it all. △ Less

Submitted 22 March, 1998; originally announced March 1998.

Comments: 25 pages. To appear in Wall's 60th birthday volume

MSC Class: 57M