WAVI.jl uses a Cartesian co-ordinate system , with positive upwards; the corresponding velocity components are . We use bar notation to denote depth averaged quantities, for example:
is the depth average of the quantity . Here, is the denotes time, is the (known) bed elevation (measured positive upwards), and is the surface elevation.
We assume that the ice is in hydrostratic equilibrium, so that regions are with are floating, and regions with are grounded, where and the ice and ocean density, respectively. Where the ice is grounded, we have , while where the ice is floating, the hydrostratic assumption enforces .
WAVI.jl solves equations describing conservation of momentum and conservation of mass for , the depth averaged velocity components in the directions, respectively, and the ice thickness
Conservation of momentum requires that the and satisfy ([1]):
where is the ice density, is the gravitational acceleration, is the basal drag in the directions, and is the ice viscosity, defined implicity in terms of the velocity components (the strain components are themselves functions of , see below):
Here is the exponent in a nonlinear Glen flow law, is a regularization parameter that prevents the viscosity becoming unbounded at small strain rates (for small strain rates, is constant, corresponding to a linear rheology), and is a temperature-dependent coefficient that determines the stiffness of the ice.
The momentum equations are solved alongside boundary conditions at the lateral boundary of the ice sheet,
which impose continuity of depth-integrated momentum there. In –, is the thickness of ice below the water level, where is the sea level with respect to , and is the normal to the lateral boundary.
In addition, a Robin boundary condition at the bed linearly relates the basal stress to the basal velocity via a multiplicative drag coefficient :
(A no-stress condition at the surface is also implicit in the derivation of~–.)
For a given depth-averaged velocity , accumulation rate (positive for ice gain), and basal melt rate (positive for ice loss), conservation of ice mass requires that the ice thickness satisfies