Free–Surface Flow as a Variational Inequality (<i>evolve_glacier v1.1</i>): Numerical Aspects of a Glaciological Application
Abstract. Like any gravitationally driven flow that is not constrained at the upper surface, glaciers and ice sheets feature a free-surface, which becomes a free boundary problem within simulations. A kinematic boundary condition is often used to describe the evolution of this free-surface. However, in the case of glaciers and ice sheets, the naturally occurring constraint that the ice surface elevation (S) can not fall below the bed topography (B), (S-B > = 0) in combination with a non-zero mass balance rate complicates the matter substantially. We present an open-source numerical simulation framework to simulate the free-surface evolution of glaciers that directly incorporates this natural constraint. It is based on the finite element software package FEniCS solving the Stokes equations for ice flow and a suitable transport equation, i.e. 'kinematic boundary condition', for the free-surface evolution. The evolution of the free--surface is treated as a variational inequality, constrained by the bedrock underlying the glacier or the topography of the surrounding ground. To solve this problem, the 'constrained' non--linear problem solving capabilities of PETSc's SNES interface are used. As the constraint is considered in the solving process, this approach does not require any ad-hoc post-processing steps to enforce no--negativity of ice thickness as well as mass conservation. The simulation framework provides the possibility to partition the computational domain so that individual forms of the relevant equations can be solved for different subdomains all at once. In the presented setup, this is used to distinguish between glacierized and ice-free regions. The option to chose different time discretizations, spatial stabilisation schemes and adaptive mesh refinement make it a versatile tool for glaciological applications. We present a set of benchmark tests that highlight the simulation framework is able to reproduce the free-surface evolution of complex geometries under different conditions for which it is mass conserving and numerically stable. Real--world glacier examples demonstrate high resolution change in glacier geometry due to fully-resolved 3D velocities and spatially variable mass balance rate, whereby realistic glacier recession and advance states can be simulated. Additionally, we provide a thorough analysis of different spatial stabilisation techniques as well as time discretization methods. We discuss their applicability and suitability for different glaciological applications.