Basal boundary conditions, stability and verification in glaciological numerical models

To increase our understanding of how ice sheets and glaciers interact with the climate system, numerical models have become an indispensable tool. However, the complexity of these systems and the natural limitation in computational power is reflected in the simplifications of the represented processes and the spatial and temporal resolution of the models. Whether the effect of these limitations is acceptable or not, can be assessed by theoretical considerations and by validating the output of the models against real world data. Equally important is to verify if the numerical implementation and computational method accurately represent the mathematical description of the processes intended to be simulated. This thesis concerns a set of numerical models used in the field of glaciology, how these are applied and how they relate to other study areas in the same field. The dynamical flow of glaciers, which can be described by a set of non-linear partial differential equations called the Full Stokes equations, is simulated using the finite element method. To reduce the computational cost of the method significantly, it is common to lower the order of the used elements. This results in a loss of stability of the method, but can be remedied by the use of stabilization methods. By numerically studying different stabilization methods and evaluating their suitability, this work contributes to constraining the values of stabilization parameters to be used in ice sheet simulations. Erroneous choices of parameters can lead to oscillations of surface velocities, which affects the long term behavior of the free-surface ice and as a result can have a negative impact on the accuracy of the simulated mass balance of ice sheets. The amount of basal sliding is an important component that affects the overall dynamics of the ice. A part of this thesis considers different implementations of the basal impenetrability condition that accompanies basal sliding, and shows that methods used in literature can lead to a difference in velocity of 1% to 5% between the considered methods. The subglacial hydrological system directly influences the glacier's ability to slide and therefore affects the velocity distribution of the ice. The topology and dominant mode of the hydrological system on the ice sheet scale is, however, ill constrained. A third contribution of this thesis is, using the theory of R-channels to implement a simple numerical model of subglacial water flow, to show the sensi