Exact solutions to the thermomechanically coupled shallow-ice approximation: effective tools for verification
- 1 January 2007
- journal article
- Published by International Glaciological Society in Journal of Glaciology
- Vol. 53 (182), 499-516
- https://doi.org/10.3189/002214307783258396
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.Keywords
This publication has 23 references indexed in Scilit:
- An improved numerical scheme to compute horizontal gradients at the ice-sheet margin: its effect on the simulated ice thickness and temperatureAnnals of Glaciology, 2007
- Exact solutions and verification of numerical models for isothermal ice sheetsJournal of Glaciology, 2005
- Sensitivity of Greenland ice sheet simulation to the numerical procedure employed for ice-sheet dynamicsAnnals of Glaciology, 2005
- Thermoviscous stability of ice-sheet flowsJournal of Fluid Mechanics, 2004
- On estimating length fluctuations of glaciers caused by changes in climatic forcingJournal of Geophysical Research: Earth Surface, 2004
- Analysis of ice-flow instabilities identified in the EISMINT intercomparison exerciseAnnals of Glaciology, 2000
- Self‐organization in the thermomechanical flow of ice sheetsJournal of Geophysical Research, 1997
- A continuum–mechanical formulation for shallow polythermal ice sheetsPhilosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 1997
- Flow parameters for ice sheet modelingCold Regions Science and Technology, 1982
- Flow law for polycrystalline ice in glaciers: Comparison of theoretical predictions, laboratory data, and field measurementsReviews of Geophysics, 1981