-
A mixed finite-element, finite-volume, semi-implicit discretisation for atmospheric dynamics: Spherical geometry
Authors:
Thomas Melvin,
Ben Shipway,
Nigel Wood,
Tommaso Benacchio,
Thomas Bendall,
Ian Boutle,
Alex Brown,
Christine Johnson,
James Kent,
Stephen Pring,
Chris Smith,
Mohamed Zerroukat,
Colin Cotter,
John Thuburn
Abstract:
The reformulation of the Met Office's dynamical core for weather and climate prediction previously described by the authors is extended to spherical domains using a cubed-sphere mesh. This paper updates the semi-implicit mixed finite-element formulation to be suitable for spherical domains. In particular the finite-volume transport scheme is extended to take account of non-uniform, non-orthogonal…
▽ More
The reformulation of the Met Office's dynamical core for weather and climate prediction previously described by the authors is extended to spherical domains using a cubed-sphere mesh. This paper updates the semi-implicit mixed finite-element formulation to be suitable for spherical domains. In particular the finite-volume transport scheme is extended to take account of non-uniform, non-orthogonal meshes and uses an advective-then-flux formulation so that increment from the transport scheme is linear in the divergence. The resulting model is then applied to a standard set of dry dynamical core tests and compared to the existing semi-implicit semi-Lagrangian dynamical core currently used in the Met Office's operational model.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
New limiter regions for multidimensional flows
Authors:
James Woodfield,
Hilary Weller,
Colin J Cotter
Abstract:
Accurate transport algorithms are crucial for computational fluid dynamics and more accurate and efficient schemes are always in development. One dimensional limiting is commonly employed to suppress nonphysical oscillations. However, the application of such limiters can reduce accuracy. It is important to identify the weakest set of sufficient conditions required on the limiter as to allow the de…
▽ More
Accurate transport algorithms are crucial for computational fluid dynamics and more accurate and efficient schemes are always in development. One dimensional limiting is commonly employed to suppress nonphysical oscillations. However, the application of such limiters can reduce accuracy. It is important to identify the weakest set of sufficient conditions required on the limiter as to allow the development of successful numerical algorithms.
The main goal of this paper is to identify new less restrictive sufficient conditions for flux form in-compressible advection to remain monotonic. We identify additional necessary conditions for incompressible flux form advection to be monotonic, demonstrating that the Spekreijse limiter region is not sufficient for incompressible flux form advection to remain monotonic. Then a convex combination argument is used to derive new sufficient conditions that are less restrictive than the Sweby region for a discrete maximum principle. This allows the introduction of two new more general limiter regions suitable for flux form incompressible advection.
△ Less
Submitted 11 July, 2024; v1 submitted 13 February, 2024;
originally announced February 2024.
-
Data assimilation for the stochastic Camassa-Holm equation using particle filtering: a numerical investigation
Authors:
Colin John Cotter,
Dan Crisan,
Maneesh Kumar Singh
Abstract:
In this study, we explore data assimilation for the Stochastic Camassa-Holm equation through the application of the particle filtering framework. Specifically, our approach integrates adaptive tempering, jittering, and nudging techniques to construct an advanced particle filtering system. All filtering processes are executed utilizing ensemble parallelism. We conduct extensive numerical experiment…
▽ More
In this study, we explore data assimilation for the Stochastic Camassa-Holm equation through the application of the particle filtering framework. Specifically, our approach integrates adaptive tempering, jittering, and nudging techniques to construct an advanced particle filtering system. All filtering processes are executed utilizing ensemble parallelism. We conduct extensive numerical experiments across various scenarios of the Stochastic Camassa-Holm model with transport noise and viscosity to examine the impact of different filtering procedures on the performance of the data assimilation process. Our analysis focuses on how observational data and the data assimilation step influence the accuracy and uncertainty of the obtained results.
△ Less
Submitted 10 February, 2024;
originally announced February 2024.
-
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.
-
Consistent Point Data Assimilation in Firedrake and Icepack
Authors:
Reuben W. Nixon-Hill,
Daniel Shapero,
Colin J. Cotter,
David A. Ham
Abstract:
When estimating quantities and fields that are difficult to measure directly, such as the fluidity of ice, from point data sources, such as satellite altimetry, it is important to solve a numerical inverse problem that is formulated with Bayesian consistency. Otherwise, the resultant probability density function for the difficult to measure quantity or field will not be appropriately clustered aro…
▽ More
When estimating quantities and fields that are difficult to measure directly, such as the fluidity of ice, from point data sources, such as satellite altimetry, it is important to solve a numerical inverse problem that is formulated with Bayesian consistency. Otherwise, the resultant probability density function for the difficult to measure quantity or field will not be appropriately clustered around the truth. In particular, the inverse problem should be formulated by evaluating the numerical solution at the true point locations for direct comparison with the point data source. If the data are first fitted to a gridded or meshed field on the computational grid or mesh, and the inverse problem formulated by comparing the numerical solution to the fitted field, the benefits of additional point data values below the grid density will be lost. We demonstrate, with examples in the fields of groundwater hydrology and glaciology, that a consistent formulation can increase the accuracy of results and aid discourse between modellers and observationalists.
To do this, we bring point data into the finite element method ecosystem as discontinuous fields on meshes of disconnected vertices. Point evaluation can then be formulated as a finite element interpolation operation (dual-evaluation). This new abstraction is well-suited to automation, including automatic differentiation. We demonstrate this through implementation in Firedrake, which generates highly optimised code for solving Partial Differential Equations (PDEs) with the finite element method. Our solution integrates with dolfin-adjoint/pyadjoint, allowing PDE-constrained optimisation problems, such as data assimilation, to be solved through forward and adjoint mode automatic differentiation.
△ Less
Submitted 9 August, 2023; v1 submitted 12 April, 2023;
originally announced April 2023.
-
Fabrication Development for SPT-SLIM, a Superconducting Spectrometer for Line Intensity Map**
Authors:
T. Cecil,
C. Albert,
A. J. Anderson,
P. S. Barry,
B. Benson,
C. Cotter,
C. Chang,
M. Dobbs,
K. Dibert,
R. Gualtieri,
K. S. Karkare,
M. Lisovenko,
D. P. Marrone,
J. Montgomery,
Z. Pan,
G. Robson,
M. Rouble,
E. Shirokoff,
G. Smecher,
G. Wang,
V. Yefremenko
Abstract:
Line Intensity Map** (LIM) is a new observational technique that uses low-resolution observations of line emission to efficiently trace the large-scale structure of the Universe out to high redshift. Common mm/sub-mm emission lines are accessible from ground-based observatories, and the requirements on the detectors for LIM at mm-wavelengths are well matched to the capabilities of large-format a…
▽ More
Line Intensity Map** (LIM) is a new observational technique that uses low-resolution observations of line emission to efficiently trace the large-scale structure of the Universe out to high redshift. Common mm/sub-mm emission lines are accessible from ground-based observatories, and the requirements on the detectors for LIM at mm-wavelengths are well matched to the capabilities of large-format arrays of superconducting sensors. We describe the development of an R = 300 on-chip superconducting filter-bank spectrometer covering the 120--180 GHz band optimized for future mm-LIM experiments, focusing on SPT-SLIM, a pathfinder LIM instrument for the South Pole Telescope. Radiation is coupled from the telescope optical system to the spectrometer chip via an array of feedhorn-coupled orthomode transducers. Superconducting microstrip transmission lines then carry the signal to an array of channelizing half-wavelength resonators, and the output of each spectral channel is sensed by a lumped element kinetic inductance detector (leKID). Key areas of development include incorporating new low-loss dielectrics to improve both the achievable spectral resolution and optical efficiency and development of a robust fabrication process to create a galvanic connection between ultra-pure superconducting thin-films to realize multi-material (hybrid) leKIDs. We provide an overview of the spectrometer design, fabrication process, and prototype devices.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
Compatible finite element methods for geophysical fluid dynamics
Authors:
Colin J. Cotter
Abstract:
This article surveys research on the application of compatible finite element methods to large scale atmosphere and ocean simulation. Compatible finite element methods extend Arakawa's C-grid finite difference scheme to the finite element world. They are constructed from a discrete de Rham complex, which is a sequence of finite element spaces which are linked by the operators of differential calcu…
▽ More
This article surveys research on the application of compatible finite element methods to large scale atmosphere and ocean simulation. Compatible finite element methods extend Arakawa's C-grid finite difference scheme to the finite element world. They are constructed from a discrete de Rham complex, which is a sequence of finite element spaces which are linked by the operators of differential calculus. The use of discrete de Rham complexes to solve partial differential equations is well established, but in this article we focus on the specifics of dynamical cores for simulating weather, oceans and climate. The most important consequence of the discrete de Rham complex is the Hodge-Helmholtz decomposition, which has been used to exclude the possibility of several types of spurious oscillations from linear equations of geophysical flow. This means that compatible finite element spaces provide a useful framework for building dynamical cores. In this article we introduce the main concepts of compatible finite element spaces, and discuss their wave propagation properties. We survey some methods for discretising the transport terms that arise in dynamical core equation systems, and provide some example discretisations, briefly discussing their iterative solution. Then we focus on the recent use of compatible finite element spaces in designing structure preserving methods, surveying variational discretisations, Poisson bracket discretisations, and consistent vorticity transport.
△ Less
Submitted 11 March, 2023; v1 submitted 26 February, 2023;
originally announced February 2023.
-
Hybridised multigrid preconditioners for a compatible finite element dynamical core
Authors:
Jack D. Betteridge,
Colin J. Cotter,
Thomas H. Gibson,
Matthew J. Griffith,
Thomas Melvin,
Eike H. Müller
Abstract:
Compatible finite element discretisations for the atmospheric equations of motion have recently attracted considerable interest. Semi-implicit timestep** methods require the repeated solution of a large saddle-point system of linear equations. Preconditioning this system is challenging since the velocity mass matrix is non-diagonal, leading to a dense Schur complement. Hybridisable discretisatio…
▽ More
Compatible finite element discretisations for the atmospheric equations of motion have recently attracted considerable interest. Semi-implicit timestep** methods require the repeated solution of a large saddle-point system of linear equations. Preconditioning this system is challenging since the velocity mass matrix is non-diagonal, leading to a dense Schur complement. Hybridisable discretisations overcome this issue: weakly enforcing continuity of the velocity field with Lagrange multipliers leads to a sparse system of equations, which has a similar structure to the pressure Schur complement in traditional approaches. We describe how the hybridised sparse system can be preconditioned with a non-nested two-level preconditioner. To solve the coarse system, we use the multigrid pressure solver that is employed in the approximate Schur complement method previously proposed by the some of the authors. Our approach significantly reduces the number of solver iterations. The method shows excellent performance and scales to large numbers of cores in the Met Office next-generation climate- and weather prediction model LFRic.
△ Less
Submitted 19 June, 2023; v1 submitted 21 October, 2022;
originally announced October 2022.
-
A compatible finite element discretisation for the nonhydrostatic vertical slice equations
Authors:
C. J. Cotter,
J. Shipton
Abstract:
We present a compatible finite element discretisation for the vertical slice compressible Euler equations, at next-to-lowest order (i.e., the pressure space is bilinear discontinuous functions). The equations are numerically integrated in time using a fully implicit timestep** scheme which is solved using monolithic GMRES preconditioned by a linesmoother. The linesmoother only involves local ope…
▽ More
We present a compatible finite element discretisation for the vertical slice compressible Euler equations, at next-to-lowest order (i.e., the pressure space is bilinear discontinuous functions). The equations are numerically integrated in time using a fully implicit timestep** scheme which is solved using monolithic GMRES preconditioned by a linesmoother. The linesmoother only involves local operations and is thus suitable for domain decomposition in parallel. It allows for arbitrarily large timesteps but with iteration counts scaling linearly with Courant number in the limit of large Courant number. This solver approach is implemented using Firedrake, and the additive Schwarz preconditioner framework of PETSc. We demonstrate the robustness of the scheme using a standard set of testcases that may be compared with other approaches.
△ Less
Submitted 23 June, 2023; v1 submitted 14 October, 2022;
originally announced October 2022.
-
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.
-
A new implementation of the geometric method for solving the Eady slice equations
Authors:
Charlie P. Egan,
David P. Bourne,
Colin J. Cotter,
Mike J. P. Cullen,
Beatrice Pelloni,
Steven M. Roper,
Mark Wilkinson
Abstract:
We present a new implementation of the geometric method of Cullen & Purser (1984) for solving the semi-geostrophic Eady slice equations which model large scale atmospheric flows and frontogenesis. The geometric method is a Lagrangian discretisation, where the PDE is approximated by a particle system. An important property of the discretisation is that it is energy conserving. We restate the geomet…
▽ More
We present a new implementation of the geometric method of Cullen & Purser (1984) for solving the semi-geostrophic Eady slice equations which model large scale atmospheric flows and frontogenesis. The geometric method is a Lagrangian discretisation, where the PDE is approximated by a particle system. An important property of the discretisation is that it is energy conserving. We restate the geometric method in the language of semi-discrete optimal transport theory and exploit this to develop a fast implementation that combines the latest results from numerical optimal transport theory with a novel adaptive time-step** scheme. Our results enable a controlled comparison between the Eady-Boussinesq vertical slice equations and their semi-geostrophic approximation. We provide further evidence that weak solutions of the Eady-Boussinesq vertical slice equations converge to weak solutions of the semi-geostrophic Eady slice equations as the Rossby number tends to zero.
△ Less
Submitted 10 November, 2022; v1 submitted 9 March, 2022;
originally announced March 2022.
-
The r-Camassa-Holm equation: smooth and singular solutions
Authors:
C. J. Cotter,
D. D. Holm,
T. Pryer
Abstract:
This paper introduces the r-Camassa-Holm (r-CH) equation, which describes a geodesic flow on the manifold of diffeomorphisms acting on the real line induced by the W1,r metric. The conserved energy is for the problem is given by the full W1,r norm and the for r = 2, we recover the Camassa-Holm equation. We compute the Lie symmetries for r-CH and study various symmetry reductions. We introduce sing…
▽ More
This paper introduces the r-Camassa-Holm (r-CH) equation, which describes a geodesic flow on the manifold of diffeomorphisms acting on the real line induced by the W1,r metric. The conserved energy is for the problem is given by the full W1,r norm and the for r = 2, we recover the Camassa-Holm equation. We compute the Lie symmetries for r-CH and study various symmetry reductions. We introduce singular weak solutions of the r-CH equation for r >= 2 and demonstrates their robustness in numerical simulations of their nonlinear interactions in both overtaking and head-on collisions. Several open questions are formulated about the unexplored properties of the r-CH weak singular solutions, including the question of whether they would emerge from smooth initial conditions.
△ Less
Submitted 18 July, 2023; v1 submitted 28 February, 2022;
originally announced March 2022.
-
Conservation with moving meshes over orography
Authors:
Hiroe Yamazaki,
Hilary Weller,
Colin J. Cotter,
Philip A. Browne
Abstract:
Adaptive meshes have the potential to improve the accuracy and efficiency of atmospheric modelling by increasing resolution where it is most needed. Mesh re-distribution, or r-adaptivity, adapts by moving the mesh without changing the connectivity. This avoids some of the challenges with h-adaptivity (adding and removing points): the solution does not need to be mapped between meshes, which can be…
▽ More
Adaptive meshes have the potential to improve the accuracy and efficiency of atmospheric modelling by increasing resolution where it is most needed. Mesh re-distribution, or r-adaptivity, adapts by moving the mesh without changing the connectivity. This avoids some of the challenges with h-adaptivity (adding and removing points): the solution does not need to be mapped between meshes, which can be expensive and introduces errors, and there are no load balancing problems on parallel computers. A long standing problem with both forms of adaptivity has been changes in volume of the domain as resolution changes at an uneven boundary. We propose a solution to exact local conservation and maintenance of uniform fields while the mesh changes volume as it moves over orography. This is solved by introducing a volume adjustment parameter which tracks the true cell volumes without using expensive conservative map**.
A finite volume solution of the advection equation over orography on moving meshes is described and results are presented demonstrating improved accuracy for cost using moving meshes. Exact local conservation and maintenance of uniform fields is demonstrated and the corrected mesh volume is preserved.
We use optimal transport to generate meshes which are guaranteed not to tangle and are equidistributed with respect to a monitor function. This leads to a Monge-Ampère equation which is solved with a Newton solver. The superiority of the Newton solver over other techniques is demonstrated in the appendix. However the Newton solver is only efficient if it is applied to the left hand side of the Monge-Ampère equation with fixed point iterations for the right hand side.
△ Less
Submitted 2 August, 2021;
originally announced August 2021.
-
Learning landmark geodesics using Kalman ensembles
Authors:
Andreas Bock,
Colin J. Cotter
Abstract:
We study the problem of diffeomorphometric geodesic landmark matching where the objective is to find a diffeomorphism that via its group action maps between two sets of landmarks. It is well-known that the motion of the landmarks, and thereby the diffeomorphism, can be encoded by an initial momentum leading to a formulation where the landmark matching problem can be solved as an optimisation probl…
▽ More
We study the problem of diffeomorphometric geodesic landmark matching where the objective is to find a diffeomorphism that via its group action maps between two sets of landmarks. It is well-known that the motion of the landmarks, and thereby the diffeomorphism, can be encoded by an initial momentum leading to a formulation where the landmark matching problem can be solved as an optimisation problem over such momenta. The novelty of our work lies in the application of a derivative-free Bayesian inverse method for learning the optimal momentum encoding the diffeomorphic map** between the template and the target. The method we apply is the ensemble Kalman filter, an extension of the Kalman filter to nonlinear observation operators. We describe an efficient implementation of the algorithm and show several numerical results for various target shapes.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
Time parallel integration and phase averaging for the nonlinear shallow water equations on the sphere
Authors:
Hiroe Yamazaki,
Colin J Cotter,
Beth Wingate
Abstract:
We describe a proof-of-concept development and application of a phase averaging technique to the nonlinear rotating shallow water equations on the sphere, discretised using compatible finite element methods. Phase averaging consists of averaging the nonlinearity over phase shifts in the exponential of the linear wave operator. Phase averaging aims to capture the slow dynamics in a solution that is…
▽ More
We describe a proof-of-concept development and application of a phase averaging technique to the nonlinear rotating shallow water equations on the sphere, discretised using compatible finite element methods. Phase averaging consists of averaging the nonlinearity over phase shifts in the exponential of the linear wave operator. Phase averaging aims to capture the slow dynamics in a solution that is smoother in time (in transformed variables) so that larger timesteps may be taken. We overcome the two key technical challenges that stand in the way of studying the phase averaging and advancing its implementation: 1) we have developed a stable matrix exponential specific to finite elements and 2) we have developed a parallel finite averaging proceedure. Following Peddle et al (2019), we consider finite width phase averaging windows, since the equations have a finite timescale separation. In our numerical implementation, the averaging integral is replaced by a Riemann sum, where each term can be evaluated in parallel. This creates an opportunity for parallelism in the timestep** method, which we use here to compute our solutions. Here, we focus on the stability and accuracy of the numerical solution. We confirm there is an optimal averaging window, in agreement with theory. Critically, we observe that the combined time discretisation and averaging error is much smaller than the time discretisation error in a semi-implicit method applied to the same spatial discretisation. An evaluation of the parallel aspects will follow in later work.
△ Less
Submitted 12 May, 2023; v1 submitted 13 March, 2021;
originally announced March 2021.
-
Higher order phase averaging for highly oscillatory systems
Authors:
Werner Bauer,
Colin J. Cotter,
Beth Wingate
Abstract:
We introduce a higher order phase averaging method for nonlinear oscillatory systems. Phase averaging is a technique to filter fast motions from the dynamics whilst still accounting for their effect on the slow dynamics. Phase averaging is useful for deriving reduced models that can be solved numerically with more efficiency, since larger timesteps can be taken. Recently, Haut and Wingate (2014) i…
▽ More
We introduce a higher order phase averaging method for nonlinear oscillatory systems. Phase averaging is a technique to filter fast motions from the dynamics whilst still accounting for their effect on the slow dynamics. Phase averaging is useful for deriving reduced models that can be solved numerically with more efficiency, since larger timesteps can be taken. Recently, Haut and Wingate (2014) introduced the idea of computing finite window numerical phase averages in parallel as the basis for a coarse propagator for a parallel-in-time algorithm. In this contribution, we provide a framework for higher order phase averages that aims to better approximate the unaveraged system whilst still filtering fast motions. Whilst the basic phase average assumes that the solution independent of changes of phase, the higher order method expands the phase dependency in a basis which the equations are projected onto. In this new framework, the original numerical phase averaging formulation arises as the lowest order version of this expansion. Our new projection onto functions that are $k$th degree polynomials in the phase gives rise to higher order corrections to the phase averaging formulation. We illustrate the properties of this method on an ODE that describes the dynamics of a swinging spring due to Lynch (2002). Although idealized, this model shows an interesting analogy to geophysical flows as it exhibits a slow dynamics that arises through the resonance between fast oscillations. On this example, we show convergence to the non-averaged (exact) solution with increasing approximation order also for finite averaging windows. At zeroth order, our method coincides with a standard phase average, but at higher order it is more accurate in the sense that solutions of the phase averaged model track the solutions of the unaveraged equations more accurately.
△ Less
Submitted 8 March, 2022; v1 submitted 23 February, 2021;
originally announced February 2021.
-
A note on error analysis for a nonconforming discretisation of the tri-Helmholtz equation with singular data
Authors:
Andreas Bock,
Colin Cotter
Abstract:
We apply the nonconforming discretisation of Wu and Xu (2019) to the tri-Helmholtz equation on the plane where the source term is a functional evaluating the test function on a one-dimensional mesh-aligned embedded curve. We present error analysis for the convergence of the discretisation and linear convergence as a function of mesh size is recovered almost everywhere away from the embedded curve…
▽ More
We apply the nonconforming discretisation of Wu and Xu (2019) to the tri-Helmholtz equation on the plane where the source term is a functional evaluating the test function on a one-dimensional mesh-aligned embedded curve. We present error analysis for the convergence of the discretisation and linear convergence as a function of mesh size is recovered almost everywhere away from the embedded curve which aligns with classic regularity theory.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Space-time metamorphosis
Authors:
Andreas Bock,
Colin Cotter
Abstract:
We study the problem of registering images. The framework we use is metamorphosis and we construct a variational Eulerian space-time setting and pose the registration problem as an infinite-dimensional optimisation problem. The geodesic equations correspond to a system of advection and continuity equations and are solved analytically. Well-posedness of a primal conforming finite element method is…
▽ More
We study the problem of registering images. The framework we use is metamorphosis and we construct a variational Eulerian space-time setting and pose the registration problem as an infinite-dimensional optimisation problem. The geodesic equations correspond to a system of advection and continuity equations and are solved analytically. Well-posedness of a primal conforming finite element method is established and its convergence is investigated numerically. This provides a discrete forward operator for the matching parameterized by a space-time velocity field. We propose a gradient descent method on this control variable and show several promising numerical results for this approach.
△ Less
Submitted 19 May, 2020; v1 submitted 18 May, 2020;
originally announced May 2020.
-
Energy conserving SUPG methods for compatible finite element schemes in numerical weather prediction
Authors:
Golo A. Wimmer,
Colin J. Cotter,
Werner Bauer
Abstract:
We present an energy conserving space discretisation based on a Poisson bracket that can be used to derive the dry compressible Euler as well as thermal shallow water equations. It is formulated using the compatible finite element method, and extends the incorporation of upwinding for the shallow water equations as described in Wimmer, Cotter, and Bauer (2019). While the former is restricted to DG…
▽ More
We present an energy conserving space discretisation based on a Poisson bracket that can be used to derive the dry compressible Euler as well as thermal shallow water equations. It is formulated using the compatible finite element method, and extends the incorporation of upwinding for the shallow water equations as described in Wimmer, Cotter, and Bauer (2019). While the former is restricted to DG upwinding, an energy conserving SUPG scheme for the (partially) continuous Galerkin thermal field space is newly introduced here. The energy conserving property is validated by coupling the Poisson bracket based spatial discretisation to an energy conserving time discretisation. Further, the discretisation is demonstrated to lead to an improved temperature field development with respect to stability when upwinding is included. An approximately energy conserving full discretisation with a smaller computational cost is also presented.
△ Less
Submitted 21 June, 2021; v1 submitted 27 January, 2020;
originally announced January 2020.
-
A structure-preserving approximation of the discrete split rotating shallow water equations
Authors:
Werner Bauer,
Jörn Behrens,
Colin J. Cotter
Abstract:
We introduce an efficient split finite element (FE) discretization of a y-independent (slice) model of the rotating shallow water equations. The study of this slice model provides insight towards develo** schemes for the full 2D case. Using the split Hamiltonian FE framework (Bauer, Behrens and Cotter, 2019), we result in structure-preserving discretizations that are split into topological progn…
▽ More
We introduce an efficient split finite element (FE) discretization of a y-independent (slice) model of the rotating shallow water equations. The study of this slice model provides insight towards develo** schemes for the full 2D case. Using the split Hamiltonian FE framework (Bauer, Behrens and Cotter, 2019), we result in structure-preserving discretizations that are split into topological prognostic and metric-dependent closure equations. This splitting also accounts for the schemes' properties: the Poisson bracket is responsible for conserving energy (Hamiltonian) as well as mass, potential vorticity and enstrophy (Casimirs), independently from the realizations of the metric closure equations. The latter, in turn, determine accuracy, stability, convergence and discrete dispersion properties. We exploit this splitting to introduce structure-preserving approximations of the mass matrices in the metric equations avoiding to solve linear systems. We obtain a fully structure-preserving scheme with increased efficiency by a factor of two.
△ Less
Submitted 21 December, 2019;
originally announced December 2019.
-
The r-Hunter-Saxton equation, smooth and singular solutions and their approximation
Authors:
Colin Cotter,
Jacob Deasy,
Tristan Pryer
Abstract:
In this work we introduce the r-Hunter-Saxton equation, a generalisation of the Hunter-Saxton equation arising as extremals of an action principle posed in L_r. We characterise solutions to the Cauchy problem, quantifying the blow-up time and studying various symmetry reductions. We construct piecewise linear functions and show that they are weak solutions to the r-Hunter-Saxton equation.
In this work we introduce the r-Hunter-Saxton equation, a generalisation of the Hunter-Saxton equation arising as extremals of an action principle posed in L_r. We characterise solutions to the Cauchy problem, quantifying the blow-up time and studying various symmetry reductions. We construct piecewise linear functions and show that they are weak solutions to the r-Hunter-Saxton equation.
△ Less
Submitted 19 April, 2020; v1 submitted 21 November, 2019;
originally announced November 2019.
-
Data assimilation for a quasi-geostrophic model with circulation-preserving stochastic transport noise
Authors:
Colin Cotter,
Dan Crisan,
Darryl Holm,
Wei Pan,
Igor Shevchenko
Abstract:
This paper contains the latest installment of the authors' project on develo** ensemble based data assimilation methodology for high dimensional fluid dynamics models. The algorithm presented here is a particle filter that combines model reduction, tempering, jittering, and nudging. The methodology is tested on a two-layer quasi-geostrophic model for a $β$-plane channel flow with $O(10^6)$ degre…
▽ More
This paper contains the latest installment of the authors' project on develo** ensemble based data assimilation methodology for high dimensional fluid dynamics models. The algorithm presented here is a particle filter that combines model reduction, tempering, jittering, and nudging. The methodology is tested on a two-layer quasi-geostrophic model for a $β$-plane channel flow with $O(10^6)$ degrees of freedom out of which only a minute fraction are noisily observed. The model is reduced by following the stochastic variational approach for geophysical fluid dynamics introduced in Holm (Proc Roy Soc A, 2015) as a framework for deriving stochastic parametrisations for unresolved scales. The reduction is substantial: the computations are done only for $O(10^4)$ degrees of freedom. We introduce a stochastic time-step** scheme for the two-layer model and prove its consistency in time. Then, we analyze the effect of the different procedures (tempering combined with jittering and nudging) on the performance of the data assimilation procedure using the reduced model, as well as how the dimension of the observational data (the number of "weather stations") and the data assimilation step affect the accuracy and uncertainty of the results.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
Perspectives on the Formation of Peakons in the Stochastic Camassa-Holm Equation
Authors:
Thomas M. Bendall,
Colin J. Cotter,
Darryl D. Holm
Abstract:
A famous feature of the Camassa-Holm equation is its admission of peaked soliton solutions known as peakons. We investigate this equation under the influence of stochastic transport. Noting that peakons are weak solutions of the equation, we present a finite element discretisation for it, which we use to explore the formation of peakons.
Our simulations using this discretisation reveal that peak…
▽ More
A famous feature of the Camassa-Holm equation is its admission of peaked soliton solutions known as peakons. We investigate this equation under the influence of stochastic transport. Noting that peakons are weak solutions of the equation, we present a finite element discretisation for it, which we use to explore the formation of peakons.
Our simulations using this discretisation reveal that peakons can still form in the presence of stochastic perturbations. Peakons can emerge both through wave breaking, as the slope turns vertical, and without wave breaking as the inflection points of the velocity profile rise to reach the summit.
△ Less
Submitted 11 March, 2021; v1 submitted 4 October, 2019;
originally announced October 2019.
-
A Compatible Finite Element Discretisation for the Moist Compressible Euler Equations
Authors:
Thomas M. Bendall,
Thomas H. Gibson,
Jemma Shipton,
Colin J. Cotter,
Ben Shipway
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
A Particle Filter for Stochastic Advection by Lie Transport (SALT): A case study for the damped and forced incompressible 2D Euler equation
Authors:
Colin Cotter,
Dan Crisan,
Darryl D. Holm,
Wei Pan,
Igor Shevchenko
Abstract:
In this work, we combine a stochastic model reduction with a particle filter augmented with tempering and jittering, and apply the combined algorithm to a damped and forced incompressible 2D Euler dynamics defined on a simply connected bounded domain.
We show that using the combined algorithm, we are able to assimilate data from a reference system state (the ``truth") modelled by a highly resolv…
▽ More
In this work, we combine a stochastic model reduction with a particle filter augmented with tempering and jittering, and apply the combined algorithm to a damped and forced incompressible 2D Euler dynamics defined on a simply connected bounded domain.
We show that using the combined algorithm, we are able to assimilate data from a reference system state (the ``truth") modelled by a highly resolved numerical solution of the flow that has roughly $3.1\times10^6$ degrees of freedom, into a stochastic system having two orders of magnitude less degrees of freedom, which is able to approximate the true state reasonably accurately for $5$ large scale eddy turnover times, using modest computational hardware.
The model reduction is performed through the introduction of a stochastic advection by Lie transport (SALT) model as the signal on a coarser resolution. The SALT approach was introduced as a general theory using a geometric mechanics framework from Holm, Proc. Roy. Soc. A (2015). This work follows on the numerical implementation for SALT presented by Cotter et al, SIAM Multiscale Model. Sim. (2019) for the flow in consideration. The model reduction is substantial: The reduced SALT model has $4.9\times 10^4$ degrees of freedom.
Results from reliability tests on the assimilated system are also presented.
△ Less
Submitted 24 August, 2020; v1 submitted 27 July, 2019;
originally announced July 2019.
-
Energy conserving upwinded compatible finite element schemes for the rotating shallow water equations
Authors:
Golo Wimmer,
Colin Cotter,
Werner Bauer
Abstract:
We present an energy conserving space discretisation of the rotating shallow water equations using compatible finite elements. It is based on an energy and enstrophy conserving Hamiltonian formulation as described in McRae and Cotter (2014), and extends it to include upwinding in the velocity and depth advection to increase stability. Upwinding for velocity in an energy conserving context was intr…
▽ More
We present an energy conserving space discretisation of the rotating shallow water equations using compatible finite elements. It is based on an energy and enstrophy conserving Hamiltonian formulation as described in McRae and Cotter (2014), and extends it to include upwinding in the velocity and depth advection to increase stability. Upwinding for velocity in an energy conserving context was introduced for the incompressible Euler equations in Natale and Cotter (2017), while upwinding in the depth field in a Hamiltonian finite element context is newly described here. The energy conserving property is validated by coupling the spatial discretisation to an energy conserving time discretisation. Further, the discretisation is demonstrated to lead to an improved field development with respect to stability when upwinding in the depth field is included.
△ Less
Submitted 23 January, 2019; v1 submitted 18 January, 2019;
originally announced January 2019.
-
Selective metamorphosis for growth modelling with applications to landmarks
Authors:
Andreas Bock,
Alexis Arnaudon,
Colin Cotter
Abstract:
We present a framework for shape matching in computational anatomy allowing users control of the degree to which the matching is diffeomorphic. This control is given as a function defined over the image and parameterises the template deformation. By modelling localised template deformation we have a mathematical description of growth only in specified parts of an image. The location can either be…
▽ More
We present a framework for shape matching in computational anatomy allowing users control of the degree to which the matching is diffeomorphic. This control is given as a function defined over the image and parameterises the template deformation. By modelling localised template deformation we have a mathematical description of growth only in specified parts of an image. The location can either be specified from prior knowledge of the growth location or learned from data. For simplicity, we consider landmark matching and infer the distribution of a finite dimensional parameterisation of the control via Markov chain Monte Carlo. Preliminary numerical results are shown and future paths of investigation are laid out. Well-posedness of this new problem is studied together with an analysis of the associated geodesic equations.
△ Less
Submitted 22 May, 2019; v1 submitted 8 January, 2019;
originally announced January 2019.
-
The Recovered Space Advection Scheme for Lowest-Order Compatible Finite Element Methods
Authors:
Thomas M. Bendall,
Colin J. Cotter,
Jemma Shipton
Abstract:
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 fu…
▽ More
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.
△ Less
Submitted 4 April, 2019; v1 submitted 16 November, 2018;
originally announced November 2018.
-
Particle relabelling symmetries and Noether's theorem for vertical slice models
Authors:
Colin J. Cotter,
Michael J. P. Cullen
Abstract:
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 th…
▽ More
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).
△ Less
Submitted 15 August, 2018;
originally announced August 2018.
-
Modelling uncertainty using stochastic transport noise in a 2-layer quasi-geostrophic model
Authors:
Colin Cotter,
Dan Crisan,
Darryl D. Holm,
Wei Pan,
Igor Shevchenko
Abstract:
The stochastic variational approach for geophysical fluid dynamics was introduced by Holm (Proc Roy Soc A, 2015) as a framework for deriving stochastic parameterisations for unresolved scales. This paper applies the variational stochastic parameterisation in a two-layer quasi-geostrophic model for a beta-plane channel flow configuration. We present a new method for estimating the stochastic forcin…
▽ More
The stochastic variational approach for geophysical fluid dynamics was introduced by Holm (Proc Roy Soc A, 2015) as a framework for deriving stochastic parameterisations for unresolved scales. This paper applies the variational stochastic parameterisation in a two-layer quasi-geostrophic model for a beta-plane channel flow configuration. We present a new method for estimating the stochastic forcing (used in the parameterisation) to approximate unresolved components using data from the high resolution deterministic simulation, and describe a procedure for computing physically-consistent initial conditions for the stochastic model. We also quantify uncertainty of coarse grid simulations relative to the fine grid ones in homogeneous (teamed with small-scale vortices) and heterogeneous (featuring horizontally elongated large-scale jets) flows, and analyse how the spread of stochastic solutions depends on different parameters of the model. The parameterisation is tested by comparing it with the true eddy-resolving solution that has reached some statistical equilibrium and the deterministic solution modelled on a low-resolution grid. The results show that the proposed parameterisation significantly depends on the resolution of the stochastic model and gives good ensemble performance for both homogeneous and heterogeneous flows, and the parameterisation lays solid foundations for data assimilation.
△ Less
Submitted 13 July, 2020; v1 submitted 15 February, 2018;
originally announced February 2018.
-
Slate: extending Firedrake's domain-specific abstraction to hybridized solvers for geoscience and beyond
Authors:
Thomas H. Gibson,
Lawrence Mitchell,
David A. Ham,
Colin J. Cotter
Abstract:
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 kno…
▽ More
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.
△ Less
Submitted 1 April, 2019; v1 submitted 1 February, 2018;
originally announced February 2018.
-
Numerically Modelling Stochastic Lie Transport in Fluid Dynamics
Authors:
Colin J. Cotter,
Dan Crisan,
Darryl D. Holm,
Wei Pan,
Igor Shevchenko
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 September, 2018; v1 submitted 29 January, 2018;
originally announced January 2018.
-
Energy-enstrophy conserving compatible finite element schemes for the rotating shallow water equations with slip boundary conditions
Authors:
Werner Bauer,
Colin J Cotter
Abstract:
We describe an energy-enstrophy conserving discretisation for the rotating shallow water equations with slip boundary conditions. This relaxes the assumption of boundary-free domains (periodic solutions or the surface of a sphere, for example) in the energy-enstrophy conserving formulation of McRae and Cotter (2014). This discretisation requires extra prognostic vorticity variables on the boundary…
▽ More
We describe an energy-enstrophy conserving discretisation for the rotating shallow water equations with slip boundary conditions. This relaxes the assumption of boundary-free domains (periodic solutions or the surface of a sphere, for example) in the energy-enstrophy conserving formulation of McRae and Cotter (2014). This discretisation requires extra prognostic vorticity variables on the boundary in addition to the prognostic velocity and layer depth variables. The energy-enstrophy conservation properties hold for any appropriate set of compatible finite element spaces defined on arbitrary meshes with arbitrary boundaries. We demonstrate the conservation properties of the scheme with numerical solutions on a rotating hemisphere.
△ Less
Submitted 25 June, 2018; v1 submitted 2 January, 2018;
originally announced January 2018.
-
The scaling and skewness of optimally transported meshes on the sphere
Authors:
Chris J. Budd,
Andrew T. T. McRae,
Colin J. Cotter
Abstract:
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 sa…
▽ More
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...
△ Less
Submitted 17 August, 2018; v1 submitted 1 November, 2017;
originally announced November 2017.
-
Statistical properties of an enstrophy conserving discretisation for the stochastic quasi-geostrophic equation
Authors:
Thomas M. Bendall,
Colin J. Cotter
Abstract:
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 p…
▽ More
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.
△ Less
Submitted 30 October, 2018; v1 submitted 13 October, 2017;
originally announced October 2017.
-
Higher-order compatible finite element schemes for the nonlinear rotating shallow water equations on the sphere
Authors:
J. Shipton,
T. H. Gibson,
C. J. Cotter
Abstract:
We describe a compatible finite element discretisation for the shallow water equations on the rotating sphere, concentrating on integrating consistent upwind stabilisation into the framework. Although the prognostic variables are velocity and layer depth, the discretisation has a diagnostic potential vorticity that satisfies a stable upwinded advection equation through a Taylor-Galerkin scheme; th…
▽ More
We describe a compatible finite element discretisation for the shallow water equations on the rotating sphere, concentrating on integrating consistent upwind stabilisation into the framework. Although the prognostic variables are velocity and layer depth, the discretisation has a diagnostic potential vorticity that satisfies a stable upwinded advection equation through a Taylor-Galerkin scheme; this provides a mechanism for dissipating enstrophy at the gridscale whilst retaining optimal order consistency. We also use upwind discontinuous Galerkin schemes for the transport of layer depth. These transport schemes are incorporated into a semi-implicit formulation that is facilitated by a hybridisation method for solving the resulting mixed Helmholtz equation. We illustrate our discretisation with some standard rotating sphere test problems.
△ Less
Submitted 17 August, 2018; v1 submitted 4 July, 2017;
originally announced July 2017.
-
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.
-
Stochastic partial differential fluid equations as a diffusive limit of deterministic Lagrangian multi-time dynamics
Authors:
Colin J Cotter,
Georg A Gottwald,
Darryl D Holm
Abstract:
In {\em{Holm}, Proc. Roy. Soc. A 471 (2015)} stochastic fluid equations were derived by employing a variational principle with an assumed stochastic Lagrangian particle dynamics. Here we show that the same stochastic Lagrangian dynamics naturally arises in a multi-scale decomposition of the deterministic Lagrangian flow map into a slow large-scale mean and a rapidly fluctuating small scale map. We…
▽ More
In {\em{Holm}, Proc. Roy. Soc. A 471 (2015)} stochastic fluid equations were derived by employing a variational principle with an assumed stochastic Lagrangian particle dynamics. Here we show that the same stochastic Lagrangian dynamics naturally arises in a multi-scale decomposition of the deterministic Lagrangian flow map into a slow large-scale mean and a rapidly fluctuating small scale map. We employ homogenization theory to derive effective slow stochastic particle dynamics for the resolved mean part, thereby justifying stochastic fluid partial equations in the Eulerian formulation. To justify the application of rigorous homogenization theory, we assume mildly chaotic fast small-scale dynamics, as well as a centering condition. The latter requires that the mean of the fluctuating deviations is small, when pulled back to the mean flow.
△ Less
Submitted 1 June, 2017;
originally announced June 2017.
-
Optimal-transport-based mesh adaptivity on the plane and sphere using finite elements
Authors:
Andrew T. T. McRae,
Colin J. Cotter,
Chris J. Budd
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 November, 2017; v1 submitted 23 December, 2016;
originally announced December 2016.
-
Vertical slice modelling of nonlinear Eady waves using a compatible finite element method
Authors:
Hiroe Yamazaki,
Jemma Shipton,
Michael J. P. Cullen,
Lawrence Mitchell,
Colin J. Cotter
Abstract:
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 e…
▽ More
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.
△ Less
Submitted 4 April, 2017; v1 submitted 15 November, 2016;
originally announced November 2016.
-
Scale-selective dissipation in energy-conserving finite element schemes for two-dimensional turbulence
Authors:
Andrea Natale,
Colin J. Cotter
Abstract:
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 discreti…
▽ More
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.
△ Less
Submitted 11 April, 2017; v1 submitted 8 November, 2016;
originally announced November 2016.
-
A Seamless Multilevel Ensemble Transform Particle Filter
Authors:
Alastair Gregory,
Colin Cotter
Abstract:
This paper presents a seamless algorithm for the application of the multilevel Monte Carlo (MLMC) method to the ensemble transform particle filter (ETPF). The algorithm uses a combination of optimal coupling transformations between coarse and fine ensembles in difference estimators within a multilevel framework, to minimise estimator variance. It differs from that of Gregory et al. (2016) in that…
▽ More
This paper presents a seamless algorithm for the application of the multilevel Monte Carlo (MLMC) method to the ensemble transform particle filter (ETPF). The algorithm uses a combination of optimal coupling transformations between coarse and fine ensembles in difference estimators within a multilevel framework, to minimise estimator variance. It differs from that of Gregory et al. (2016) in that strong coupling between the coarse and fine ensembles is seamlessly maintained during all stages of the assimilation algorithm, instead of using independent transformations to equal weights followed by recoupling with an assignment problem. This modification is found to lead to an increased rate in variance decay between coarse and fine ensembles with level in the hierarchy, a key component of MLMC. This offers the potential for greater computational cost reductions. This is shown, alongside evidence of asymptotic consistency, in numerical examples.
△ Less
Submitted 14 June, 2017; v1 submitted 1 November, 2016;
originally announced November 2016.
-
Cosmic Ray Acceleration by a Versatile Family of Galactic Wind Termination Shocks
Authors:
Chad Bustard,
Ellen G. Zweibel,
Cory Cotter
Abstract:
There are two distinct breaks in the cosmic ray (CR) spectrum: the so-called "knee" around $3 \times 10^{15}$ eV and the so-called "ankle" around $10^{18}$ eV. Diffusive shock acceleration (DSA) at supernova remnant (SNR) shock fronts is thought to accelerate galactic CRs to energies below the knee, while an extragalactic origin is presumed for CRs with energies beyond the ankle. CRs with energies…
▽ More
There are two distinct breaks in the cosmic ray (CR) spectrum: the so-called "knee" around $3 \times 10^{15}$ eV and the so-called "ankle" around $10^{18}$ eV. Diffusive shock acceleration (DSA) at supernova remnant (SNR) shock fronts is thought to accelerate galactic CRs to energies below the knee, while an extragalactic origin is presumed for CRs with energies beyond the ankle. CRs with energies between $3 \times 10^{15}$ and $10^{18}$ eV, which we dub the "shin," have an unknown origin. It has been proposed that DSA at galactic wind termination shocks, rather than at SNR shocks, may accelerate CRs to these energies. This paper uses the galactic wind model of Bustard et al. (2016) to analyze whether galactic wind termination shocks may accelerate CRs to shin energies within a reasonable acceleration time and whether such CRs can subsequently diffuse back to the galaxy. We argue for acceleration times on the order of 100 Myrs rather than a few billion years, as assumed in some previous works, and we discuss prospects for magnetic field amplification at the shock front. Ultimately, we generously assume that the magnetic field is amplified to equipartition. This formalism allows us to obtain analytic formulae, applicable to any wind model, for CR acceleration. Even with generous assumptions, we find that very high wind velocities are required to set up the necessary conditions for acceleration beyond $10^{17}$ eV. We also estimate the luminosities of CRs accelerated by outflow termination shocks, including estimates for the Milky Way wind.
△ Less
Submitted 9 December, 2016; v1 submitted 20 October, 2016;
originally announced October 2016.
-
A variational H(div) finite element discretisation approach for perfect incompressible fluids
Authors:
Andrea Natale,
Colin J. Cotter
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 13 October, 2017; v1 submitted 20 June, 2016;
originally announced June 2016.
-
On the Calibration of Multilevel Monte Carlo Ensemble Forecasts
Authors:
Alastair Gregory,
Colin Cotter
Abstract:
Multilevel Monte Carlo can efficiently compute statistical estimates of discretized random variables, for a given error tolerance. Traditionally, only a certain statistic is computed from a particular implementation of multilevel Monte Carlo. This paper considers the multilevel case when one wants to verify and evaluate a single ensemble that forms an empirical approximation to many different stat…
▽ More
Multilevel Monte Carlo can efficiently compute statistical estimates of discretized random variables, for a given error tolerance. Traditionally, only a certain statistic is computed from a particular implementation of multilevel Monte Carlo. This paper considers the multilevel case when one wants to verify and evaluate a single ensemble that forms an empirical approximation to many different statistics, namely an ensemble forecast. We propose a simple algorithm that, in the univariate case, allows one to derive a statistically consistent single ensemble forecast from the hierarchy of ensembles that are formed during an implementation of multilevel Monte Carlo. This ensemble forecast then allows the entire multilevel hierarchy of ensembles to be evaluated using standard ensemble forecast verification techniques. We demonstrate the case of evaluating the calibration of the forecast in this paper.
△ Less
Submitted 29 March, 2017; v1 submitted 27 May, 2016;
originally announced May 2016.
-
Compatible finite element spaces for geophysical fluid dynamics
Authors:
Andrea Natale,
Jemma Shipton,
Colin J. Cotter
Abstract:
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-dimensi…
▽ More
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.
△ Less
Submitted 13 October, 2017; v1 submitted 2 May, 2016;
originally announced May 2016.
-
Embedded discontinuous Galerkin transport schemes with localised limiters
Authors:
C. J. Cotter,
D. Kuzmin
Abstract:
Motivated by finite element spaces used for representation of temperature in the compatible finite element approach for numerical weather prediction, we introduce locally bounded transport schemes for (partially-)continuous finite element spaces. The underlying high-order transport scheme is constructed by injecting the partially-continuous field into an embedding discontinuous finite element spac…
▽ More
Motivated by finite element spaces used for representation of temperature in the compatible finite element approach for numerical weather prediction, we introduce locally bounded transport schemes for (partially-)continuous finite element spaces. The underlying high-order transport scheme is constructed by injecting the partially-continuous field into an embedding discontinuous finite element space, applying a stable upwind discontinuous Galerkin (DG) scheme, and projecting back into the partially-continuous space; we call this an embedded DG scheme. We prove that this scheme is stable in L2 provided that the underlying upwind DG scheme is. We then provide a framework for applying limiters for embedded DG transport schemes. Standard DG limiters are applied during the underlying DG scheme. We introduce a new localised form of element-based flux-correction which we apply to limiting the projection back into the partially-continuous space, so that the whole transport scheme is bounded. We provide details in the specific case of tensor-product finite element spaces on wedge elements that are discontinuous P1/Q1 in the horizontal and continuous P2 in the vertical. The framework is illustrated with numerical tests.
△ Less
Submitted 1 February, 2016; v1 submitted 15 September, 2015;
originally announced September 2015.
-
Multilevel Ensemble Transform Particle Filtering
Authors:
Alastair Gregory,
Colin Cotter,
Sebastian Reich
Abstract:
This paper extends the Multilevel Monte Carlo variance reduction technique to nonlinear filtering. In particular, Multilevel Monte Carlo is applied to a certain variant of the particle filter, the Ensemble Transform Particle Filter. A key aspect is the use of optimal transport methods to re-establish correlation between coarse and fine ensembles after resampling; this controls the variance of the…
▽ More
This paper extends the Multilevel Monte Carlo variance reduction technique to nonlinear filtering. In particular, Multilevel Monte Carlo is applied to a certain variant of the particle filter, the Ensemble Transform Particle Filter. A key aspect is the use of optimal transport methods to re-establish correlation between coarse and fine ensembles after resampling; this controls the variance of the estimator. Numerical examples present a proof of concept of the effectiveness of the proposed method, demonstrating significant computational cost reductions (relative to the single-level ETPF counterpart) in the propagation of ensembles.
△ Less
Submitted 23 February, 2016; v1 submitted 1 September, 2015;
originally announced September 2015.
-
Ensemble Transport Adaptive Importance Sampling
Authors:
Colin Cotter,
Simon Cotter,
Paul Russell
Abstract:
Markov chain Monte Carlo methods are a powerful and commonly used family of numerical methods for sampling from complex probability distributions. As applications of these methods increase in size and complexity, the need for efficient methods increases. In this paper, we present a particle ensemble algorithm. At each iteration, an importance sampling proposal distribution is formed using an ensem…
▽ More
Markov chain Monte Carlo methods are a powerful and commonly used family of numerical methods for sampling from complex probability distributions. As applications of these methods increase in size and complexity, the need for efficient methods increases. In this paper, we present a particle ensemble algorithm. At each iteration, an importance sampling proposal distribution is formed using an ensemble of particles. A stratified sample is taken from this distribution and weighted under the posterior, a state-of-the-art ensemble transport resampling method is then used to create an evenly weighted sample ready for the next iteration. We demonstrate that this ensemble transport adaptive importance sampling (ETAIS) method outperforms MCMC methods with equivalent proposal distributions for low dimensional problems, and in fact shows better than linear improvements in convergence rates with respect to the number of ensemble members. We also introduce a new resampling strategy, multinomial transformation (MT), which while not as accurate as the ensemble transport resampler, is substantially less costly for large ensemble sizes, and can then be used in conjunction with ETAIS for complex problems. We also focus on how algorithmic parameters regarding the mixture proposal can be quickly tuned to optimise performance. In particular, we demonstrate this methodology's superior sampling for multimodal problems, such as those arising from inference for mixture models, and for problems with expensive likelihoods requiring the solution of a differential equation, for which speed-ups of orders of magnitude are demonstrated. Likelihood evaluations of the ensemble could be computed in a distributed manner, suggesting that this methodology is a good candidate for parallel Bayesian computations.
△ Less
Submitted 30 January, 2019; v1 submitted 5 August, 2015;
originally announced August 2015.
-
Weak dual pairs and jetlet methods for ideal incompressible fluid models in $n\geq 2$ dimensions
Authors:
C. J. Cotter,
J. Eldering,
D. D. Holm,
H. O. Jacobs,
D. M. Meier
Abstract:
We review the role of dual pairs in mechanics and use them to derive particle-like solutions to regularized incompressible fluid systems. In our case we have a dual pair resulting from the action of diffeomorphisms on point particles (essentially by moving the points). We then augment our dual pair by considering the action of diffeomorphisms on Taylor series, also known as jets. The augmented wea…
▽ More
We review the role of dual pairs in mechanics and use them to derive particle-like solutions to regularized incompressible fluid systems. In our case we have a dual pair resulting from the action of diffeomorphisms on point particles (essentially by moving the points). We then augment our dual pair by considering the action of diffeomorphisms on Taylor series, also known as jets. The augmented weak dual pairs induce a hierarchy of particle-like solutions and conservation laws with particles carrying a copy of a jet group. We call these augmented particles jetlets. The jet groups serve as finite-dimensional models of the diffeomorphism group itself, and so the jetlet particles serve as a finite-dimensional model of the self-similarity exhibited by ideal incompressible fluids. The conservation law associated to jetlet solutions is shown to be a shadow of Kelvin's circulation theorem. Finally, we study the dynamics of infinite time particle mergers. We prove that two merging particles at the zeroth level in the hierarchy yield dynamics which asymptotically approach that of a single particle in the first level in the hierarchy. This merging behavior is then verified numerically as well as the exchange of angular momentum which must occur during a near collision of two particles. The resulting particle-like solutions suggest a new class of meshless methods which work in dimensions $n \geq 2$ and which exhibit a shadow of Kelvin's circulation theorem. More broadly, this provides one of the first finite-dimensional models of self-similarity in ideal fluids.
△ Less
Submitted 12 July, 2016; v1 submitted 26 March, 2015;
originally announced March 2015.