Exact solutions to the thermomechanically coupled shallow-ice approximation: effective tools for verification

We describe exact solutions to the thermomechanically coupled shallow-ice approximation in three spatial dimensions. Although artificially constructed, these solutions are very useful for testing numerical methods. In fact, they allow us to verify a finite-difference scheme, that is, to show that the results of our numerical scheme converge to the correct continuum values as the grid is refined in three dimensions. Comparison of numerical results with exact solutions has helped us to precisely quantify and understand some of the numerical errors we are making. Our verified numerical scheme shows the basal temperature spokes which arose in the EISMINT (European Ice Sheet Modelling INiTiative) 11 intercomparison (Payne and others, 2000). A careful analysis describes these warm spokes as numerical errors which occur when the derivative of the strain-heating term with respect to the temperature is large. On the other hand, the appearance of basal temperature spokes in a verified numerical scheme strongly suggests that they are a feature of the EISMINT 11 experiment IF continuum problem. In fact, they are clear evidence of an unstable equilibrium point of the continuum problem. This paper is a sequel to Bueler and others (2005), which addresses exact solutions and verification in the isothermal case.