Exact solutions to the thermomechanically coupled shallow-ice approximation: effective tools for verification
Authors: Bueler, Ed; Brown, Jed; Lingle, Craig
Source: Journal of Glaciology, Volume 53, Number 182, July 2007 , pp. 499-516(18)
Publisher: International Glaciological Society
Key:
- Free Content
- New Content
- Subscribed Content
- Free Trial Content
Abstract:
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) II 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 II experiment F 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.Document Type: Research article
DOI: 10.3189/002214307783258396
Key:
- Free Content
- New Content
- Subscribed Content
- Free Trial Content

Click here for Page Help