A mathematical approach to the theory of glacier sliding.

Previous theories of glacier sliding are subject to the criticism that they are not properly formulated. Here we describe how the basal ice flow may be related to the bulk ice flow by means of the formal mathematical method of matched asymptotic expansions. A complete model of the basal sliding (involving coupled problems in ice, water film, and bedrock) may be rationally reduced by a dimensional analysis to a consideration of the ice flow only, and regelation may be neglected provided roughness is absent on the finest scales. If the viscosity is supposed to be independent of the moisture content, then complementary variational principles exist which allow bounds on the drag to be obtained. -from Author