Searcharxiv⌕ Search

arXiv subjects

Colin J. Cotter

Publications and source records attributed to Colin J. Cotter.

At least 37 records · Page 2Linked to original sources

A Compatible Finite Element Discretisation for the Moist Compressible Euler Equations

We present new discretisation of the moist compressible Euler equations, using the compatible finite element framework identified in Cotter and Shipton (2012). The discretisation strategy is described and details of the parametrisations of moist processes are presented. A procedure for establishing hydrostatic balance for moist atmospheres is introduced, and the model's performance is demonstrated through several test cases, two of which are new.

math.NA↗

The Recovered Space Advection Scheme for Lowest-Order Compatible Finite Element Methods

We present a new compatible finite element advection scheme for the compressible Euler equations. Unlike the discretisations described in Cotter and Kuzmin (2016) and Shipton et al (2018), the discretisation uses the lowest-order family of compatible finite element spaces, but still retains second-order numerical accuracy. This scheme obtains this second-order accuracy by first `recovering' the function in higher-order spaces, before using the discontinuous Galerkin advection schemes of Cotter and Kuzmin (2016). As well as describing the scheme, we also present its stability properties and a strategy for ensuring boundedness. We then demonstrate its properties through some numerical tests, before presenting its use within a model solving the compressible Euler equations.

math.NA↗

Slate: extending Firedrake's domain-specific abstraction to hybridized solvers for geoscience and beyond

Within the finite element community, discontinuous Galerkin (DG) and mixed finite element methods have become increasingly popular in simulating geophysical flows. However, robust and efficient solvers for the resulting saddle-point and elliptic systems arising from these discretizations continue to be an on-going challenge. One possible approach for addressing this issue is to employ a method known as hybridization, where the discrete equations are transformed such that classic static condensation and local post-processing methods can be employed. However, it is challenging to implement hybridization as performant parallel code within complex models, whilst maintaining separation of concerns between applications scientists and software experts. In this paper, we introduce a domain-specific abstraction within the Firedrake finite element library that permits the rapid execution of these hybridization techniques within a code-generating framework. The resulting framework composes naturally with Firedrake's solver environment, allowing for the implementation of hybridization and static condensation as runtime-configurable preconditioners via the Python interface to PETSc, petsc4py. We provide examples derived from second order elliptic problems and geophysical fluid dynamics. In addition, we demonstrate that hybridization shows great promise for improving the performance of solvers for mixed finite element discretizations of equations related to large-scale geophysical flows.

cs.MS↗

Statistical properties of an enstrophy conserving discretisation for the stochastic quasi-geostrophic equation

A framework of variational principles for stochastic fluid dynamics was presented by Holm (2015), and these stochastic equations were also derived by Cotter et al. (2017). We present a conforming finite element discretisation for the stochastic quasi-geostrophic equation that was derived from this framework. The discretisation preserves the first two moments of potential vorticity, i.e. the mean potential vorticity and the enstrophy. Following the work of Dubinkina and Frank (2007), who investigated the statistical mechanics of discretisations of the deterministic quasi-geostrophic equation, we investigate the statistical mechanics of our discretisation of the stochastic quasi-geostrophic equation. We compare the statistical properties of our discretisation with the Gibbs distribution under assumption of these conserved quantities, finding that there is agreement between the statistics under a wide range of set-ups.

math.NA↗

On Noether's theorem for the Euler-Poincaré equation on the diffeomorphism group with advected quantities

We show how Noether conservation laws can be obtained from the particle relabelling symmetries in the Euler-Poincaré theory of ideal fluids with advected quantities. All calculations can be performed without Lagrangian variables, by using the Eulerian vector fields that generate the symmetries, and we identify the time-evolution equation that these vector fields satisfy. When advected quantities (such as advected scalars or densities) are present, there is an additional constraint that the vector fields must leave the advected quantities invariant. We show that if this constraint is satisfied initially then it will be satisfied for all times. We then show how to solve these constraint equations in various examples to obtain evolution equations from the conservation laws. We also discuss some fluid conservation laws in the Euler-Poincaré theory that do not arise from Noether symmetries, and explain the relationship between the conservation laws obtained here, and the Kelvin-Noether theorem given in Section 4 of Holm, Marsden and Ratiu, {\it Adv. in Math.}, 1998.

nlin.CD↗

Numerically Modelling Stochastic Lie Transport in Fluid Dynamics

We present a numerical investigation of stochastic transport in ideal fluids. According to Holm (Proc Roy Soc, 2015) and Cotter et al. (2017), the principles of transformation theory and multi-time homogenisation, respectively, imply a physically meaningful, data-driven approach for decomposing the fluid transport velocity into its drift and stochastic parts, for a certain class of fluid flows. In the current paper, we develop new methodology to implement this velocity decomposition and then numerically integrate the resulting stochastic partial differential equation using a finite element discretisation for incompressible 2D Euler fluid flows. The new methodology tested here is found to be suitable for coarse graining in this case. Specifically, we perform uncertainty quantification tests of the velocity decomposition of Cotter et al. (2017), by comparing ensembles of coarse-grid realisations of solutions of the resulting stochastic partial differential equation with the "true solutions" of the deterministic fluid partial differential equation, computed on a refined grid. The time discretization used for approximating the solution of the stochastic partial differential equation is shown to be consistent. We include comprehensive numerical tests that confirm the non-Gaussianity of the stream function, velocity and vorticity fields in the case of incompressible 2D Euler fluid flows.

physics.flu-dyn↗

The scaling and skewness of optimally transported meshes on the sphere

In the context of numerical solution of PDEs, dynamic mesh redistribution methods (r-adaptive methods) are an important procedure for increasing the resolution in regions of interest, without modifying the connectivity of the mesh. Key to the success of these methods is that the mesh should be sufficiently refined (locally) and flexible in order to resolve evolving solution features, but at the same time not introduce errors through skewness and lack of regularity. Some state-of-the-art methods are bottom-up in that they attempt to prescribe both the local cell size and the alignment to features of the solution. However, the resulting problem is overdetermined, necessitating a compromise between these conflicting requirements. An alternative approach, described in this paper, is to prescribe only the local cell size and augment this an optimal transport condition to provide global regularity. This leads to a robust and flexible algorithm for generating meshes fitted to an evolving solution, with minimal need for tuning parameters. Of particular interest for geophysical modelling are meshes constructed on the surface of the sphere. The purpose of this paper is to demonstrate that meshes generated on the sphere using this optimal transport approach have good a-priori regularity and that the meshes produced are naturally aligned to various simple features. It is further shown that the sphere's intrinsic curvature leads to more regular meshes than the plane. In addition to these general results, we provide a wide range of examples relevant to practical applications, to showcase the behaviour of optimally transported meshes on the sphere. These range from axisymmetric cases that can be solved analytically to more general examples that are tackled numerically. Evaluation of the singular values and singular vectors of the mesh transformation provides a quantitative measure of the mesh aniso...

math.NA↗

Particle relabelling symmetries and Noether's theorem for vertical slice models

We consider the variational formulation for vertical slice models introduced in Cotter and Holm (Proc Roy Soc, 2013). These models have a Kelvin circulation theorem that holds on all materially-transported closed loops, not just those loops on isosurfaces of potential temperature. Potential vorticity conservation can be derived directly from this circulation theorem. In this paper, we show that this property is due to these models having a relabelling symmetry for every single diffeomorphism of the vertical slice that preserves the density, not just those diffeomorphisms that preserve the potential temperature. This is developed using the methodology of Cotter and Holm (Foundations of Computational Mathematics, 2012).

math-ph↗

Optimal-transport-based mesh adaptivity on the plane and sphere using finite elements

In moving mesh methods, the underlying mesh is dynamically adapted without changing the connectivity of the mesh. We specifically consider the generation of meshes which are adapted to a scalar monitor function through equidistribution. Together with an optimal transport condition, this leads to a Monge-Ampère equation for a scalar mesh potential. We adapt an existing finite element scheme for the standard Monge-Ampère equation to this mesh generation problem; this is a mixed finite element scheme, in which an extra discrete variable is introduced to represent the Hessian matrix of second derivatives. The problem we consider has additional nonlinearities over the basic Monge-Ampère equation due to the implicit dependence of the monitor function on the resulting mesh. We also derive the equivalent Monge-Ampère-like equation for generating meshes on the sphere. The finite element scheme is extended to the sphere, and we provide numerical examples. All numerical experiments are performed using the open-source finite element framework Firedrake.

math.NA↗

Compatible finite element spaces for geophysical fluid dynamics

Compatible finite elements provide a framework for preserving important structures in equations of geophysical fluid dynamics, and are becoming important in their use for building atmosphere and ocean models. We survey the application of compatible finite element spaces to geophysical fluid dynamics, including the application to the nonlinear rotating shallow water equations, and the three-dimensional compressible Euler equations. We summarise analytic results about dispersion relations and conservation properties, and present new results on approximation properties in three dimensions on the sphere, and on hydrostatic balance properties.

math.NA↗

A variational H(div) finite element discretisation approach for perfect incompressible fluids

We propose a finite element discretisation approach for the incompressible Euler equations which mimics their geometric structure and their variational derivation. In particular, we derive a finite element method that arises from a nonholonomic variational principle and an appropriately defined Lagrangian, where finite element H(div) vector fields are identified with advection operators; this is the first successful extension of the structure-preserving discretisation of Pavlov et al. (2009) to the finite element setting. The resulting algorithm coincides with the energy-conserving scheme presented in Guzmán et al. (2016). Through the variational derivation, we discover that it also satisfies a discrete analogous of Kelvin's circulation theorem. Further, we propose an upwind-stabilised version of the scheme which dissipates enstrophy whilst preserving energy conservation and the discrete Kelvin's theorem. We prove error estimates for this version of the scheme, and we study its behaviour through numerical tests.

math.NA↗

Mixed finite elements for global tide models with nonlinear damping

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 damping 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 damping and convergence rates.

math.NA↗

Scale-selective dissipation in energy-conserving finite element schemes for two-dimensional turbulence

We analyse the multiscale properties of energy-conserving upwind-stabilised finite element discretisations of the two-dimensional incompressible Euler equations. We focus our attention on two particular methods: the Lie derivative discretisation introduced in Natale and Cotter (2016a) and the Streamline Upwind/Petrov-Galerkin (SUPG) discretisation of the vorticity advection equation. Such discretisations provide control on enstrophy by modelling different types of scale interactions. We quantify the performance of the schemes in reproducing the non-local energy backscatter that characterises two-dimensional turbulent flows.

math.NA↗

Vertical slice modelling of nonlinear Eady waves using a compatible finite element method

A vertical slice model is developed for the Euler-Boussinesq equations with a constant temperature gradient in the direction normal to the slice (the Eady-Boussinesq model). The model is a solution of the full three-dimensional equations with no variation normal to the slice, which is an idealized problem used to study the formation and subsequent evolution of weather fronts. A compatible finite element method is used to discretise the governing equations. To extend the Charney-Phillips grid staggering in the compatible finite element framework, we use the same node locations for buoyancy as the vertical part of velocity and apply a transport scheme for a partially continuous finite element space. For the time discretisation, we solve the semi-implicit equations together with an explicit strong-stability-preserving Runge-Kutta scheme to all of the advection terms. The model reproduces several quasi-periodic lifecycles of fronts despite the presence of strong discontinuities. An asymptotic limit analysis based on the semi-geostrophic theory shows that the model solutions are converging to a solution in cross-front geostrophic balance. The results are consistent with the previous results using finite difference methods, indicating that the compatible finite element method is performing as well as finite difference methods for this test problem. We observe dissipation of kinetic energy of the cross-front velocity in the model due to the lack of resolution at the fronts, even though the energy loss is not likely to account for the large gap on the strength of the fronts between the model result and the semi-geostrophic limit solution.

math.NA↗

Automated generation and symbolic manipulation of tensor product finite elements

We describe and implement a symbolic algebra for scalar and vector-valued finite elements, enabling the computer generation of elements with tensor product structure on quadrilateral, hexahedral and triangular prismatic cells. The algebra is implemented as an extension to the domain-specific language UFL, the Unified Form Language. This allows users to construct many finite element spaces beyond those supported by existing software packages. We have made corresponding extensions to FIAT, the FInite element Automatic Tabulator, to enable numerical tabulation of such spaces. This tabulation is consequently used during the automatic generation of low-level code that carries out local assembly operations, within the wider context of solving finite element problems posed over such function spaces. We have done this work within the code-generation pipeline of the software package Firedrake; we make use of the full Firedrake package to present numerical examples.

math.NA↗

An adaptive selective frequency damping method

The selective frequency damping (SFD) method is an alternative to classical Newton's method to obtain unstable steady-state solutions of dynamical systems. However this method has two main limitations: it does not converge for arbitrary control parameters; and when it does converge, the time necessary to reach the steady-state solution may be very long. In this paper we present an adaptive algorithm to address these two issues. We show that by evaluating the dominant eigenvalue of a "partially converged" steady flow, we can select a control coefficient and a filter width that ensure an optimum convergence of the SFD method. We apply this adaptive method to several classical test cases of computational fluid dynamics and we show that a steady-state solution can be obtained without any a priori knowledge of the flow stability properties.

physics.flu-dyn↗

Mixed finite elements for global tide models

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 damping and convergence rates.

math.NA↗

A primal-dual mimetic finite element scheme for the rotating shallow water equations on polygonal spherical meshes

A new numerical method is presented for solving the rotating shallow water equations on a rotating sphere using quasi-uniform polygonal meshes. The method uses special families of finite element function spaces to mimic key mathematical properties of the continuous equations and thereby capture several desirable physical properties related to balance and conservation. The method relies on two novel features. The first is the use of compound finite elements to provide suitable finite element spaces on general polygonal meshes. The second is the use of dual finite element spaces on the dual of the original mesh, along with suitably defined discrete Hodge star operators to map between the primal and dual meshes, enabling the use of a finite volume scheme on the dual mesh to compute potential vorticity fluxes. The resulting method has the same mimetic properties as a finite volume method presented previously, but is more accurate on a number of standard test cases.

math.NA↗