1. Introduction
Undulations on the surface of ice sheets with a predominant wavelength of the order of several times the ice thickness have been studied by many authors in the past, notably by Reference BuddBudd (1970[a], Reference Budd[b], Reference Budd1971) who also gives an account of the relevant literature. For steady-state conditions he was able to relate the frequency spectrum of the bedrock topography to that of the surface and could explain, for instance, under what circumstances the basal shear stress fluctuates in sympathy with the surface slope. Budd considered the non-Newtonian viscous flow of a medium down a uniform slope with small harmonic undulations superimposed on it, but resorted to an approximate solution technique. A clear separation of the solution for bedrock undulations and steady-state accumulation-rate was not attempted, nor was there any systematic treatment of the transient response. Moreover, some of his boundary conditions were derived using an integrated mass-balance law, an unnecessary and doubtful procedure.
For these reasons, Hutter and others (in press) re-investigated the entire matter anew, first aiming at a clear and systematic formulation of the governing equations, secondly separating the steady-state and the transient response; and, thirdly, attempting to use a perturbation technique to answer various questions concerning the state of stress and velocity in a nearly parallel-sided slab. In this paper the analysis of Hutter and others is continued insofar as we investigate the time-dependent response. Our interest is, in particular, in the variation of the surface undulations as a result of initial disturbances and/or time-dependent accumulation rate. This must, under certain circumstances produce surface waves travelling down the glacier. Such waves were treated by Reference NyeNye (1960, Reference Nye1963[a], Reference Nye[b]) using kinematic wave theory. In that theory the ice slope is regarded as a whole. Balance of mass forms the only significant field equation, and balance of momentum is virtually abandoned, except, perhaps, as it enters the continuity equation through a phenomenological equation connecting discharge with depth and surface inclination.
Contrary to kinematic wave theory, the present approach makes full use of the momentum equation, in which, however, acceleration terms are discarded. The mathematical complexities introduced thereby are overcome by a stretching of coordinates. This restricts the disturbances to surface waves with wavelengths which are long compared to the mean thickness of the ice sheet, but short compared to its length; however, the method has the advantage that it delivers the wave speeds and the diffusivities as functions of the geometry of the ice slope and the boundary conditions at the ice-bedrock interface in a much more systematic way than is possible with the kinematic wave theory. Two features are new when compared with kinematic wave theory. First, the governing equation for the surface elevation depends on the ratio of ice thickness to a typical wavelength. Secondly, Glen's flow law must be generalized, because otherwise our proposed solution technique fails. The reason for this failure is natural, because in Glen's flow law stress deviators grow infinitely fast at low strain-rates, a singular behaviour that leads to singular integrals in the solutions.
2. Governing equations
Consider slow flow of a viscous medium of uniform thickness down a uniform slope. Let (x, y) be a Cartesian coordinate system; x is down and y normal to the plane. Further, let (u, v) be the components of the velocity vector v in the x- and y-directions respectively, and denote by
the stretching tensor. The governing equations for the two-dimensional motion of a medium are the balance of mass and momentum and the constitutive relationship for stress. For a broad class of non-Newtonian incompressible fluids the latter may be written aswhere t ij ′ is the stress deviator (the stress tensor will be denoted by t ij ) and t II′2 its second invariant, A is temperature dependent in general, but will henceforth be assumed constant; this is only a qualitative limitation which does not affect the essential conclusions of the calculations. B is an as yet unspecified function; for Glen's flow law B(x) ═ x (n − 1)/2.
In what follows it is advantageous to non-dimensionalize lengths, stresses, and time with the mean thickness of the undisturbed, strictly parallel-sided slab, D, σ0 ═ ρg D where ρ is the ice density and g the gravitational constant, and τ = A −1[ρgDB (ρ2 g 2 D 2]−1. Thus
For ice and Glen's flow law τ is in the order of 1 to 3 dFootnote *.
In non-dimensional variables, the governing field equations are:
where γ is The slope angle, and u, v are the dimensionless velocity components in the x and y directions, respectively, and
For ice obeying Glen's flow law,
is smaller than 10−7, for D = 1 000 m, τ = 105 s, Acceleration terms may therefore safely be neglected. (Equations 3) are to be solved subject to the boundary conditions: at the base, i.e. at y = 0,in which ø is a constant whose value may substantially vary from glacier to glacier, and at the surface, i.e. at y = γ(x, t),
In these equations
denotes the non-dimensional accumulation-rate, ; for real glaciers and ice sheets is smaller than 10−2 to 10−4, and thus very small; ρ is the dimensionless atmospheric pressure and — α the inclination to the x-axis,The first of (Equations 5) is a non-linear sliding law accounting for a possible regelation mechanism. For ø = 0 it includes the no-slip condition. As a first approximation we have neglected a thorough treatment of bedrock undulations. Very roughly, they are incorporated in (Equations 5), however, and can be taken into account by adjusting ø accordingly.
A steady solution of (Equations 3), (5), and (6), henceforth denoted by a circumflex and valid for vanishing steady accumulation rate
, isHere a comment regarding the choice
is in order. In actual glaciers this condition is satisfied only at the snow-line, but not throughout the entire glacier. As a consequence the formulae of the parallel-sided slab as expressed by (Equations 8) cannot form a real solution in glaciers. Steady-state solutions of real glaciers must instead lead to nearly parallel-sided slabs with slowly varying top surfaces. The subsequent analysis could indeed be based on such a weaker postulate, but calculations would become unwieldy and transparency in the physical interpretation would probably be lost. (Incidentally, I use this more general approach in an article dealing with the influence of longitudinal strain on basal shear, see Hutter (in press).) The restriction to the case is not a serious drawback, however, as the major conclusions do not depend on it.Consider fluctuations on the motion given by (Equations 8); denote these by tildes so that u = û + ū. The governing equations can now be separated for the two parts. We shall perform this separation under the assumption that the steady-state stresses are large in comparison to the stresses set up by the transient motion. The perturbation equations can then be linearized with respect to the stresses so that the following perturbation equations are obtained:
in which and
In this paper we shall consider long surface waves; in other words, wavelengths of the time-dependent surface undulations will be assumed to be large in comparison to the mean glacier thickness. Needless to say the total length of the glacier is also assumed to be large :compared to these wavelengths. Based on this we introduce the stretchings
where μ may be interpreted as the ratio of the mean thickness to a characteristic wavelength. Incorporating (Equations 11) in (Equations 1) gives (deleting tildes)
In these equations quantities with a circumflex are known from the solution of the steady-state problem, and
is given in (Equations 10). (Equations 12) must be solved subject to the boundary conditions, at the base (y ═ 0)at the top surface (y = γ(ξ, τ))
It is about at this point that we should comment on the introduction of the stretchings, (Equations 11). Time was stretched to balance all members on the left-hand side of the first of (Equations 14). Only in this case does it admit possible wave-like solutions. We shall see corroboration for this in the following section, because the emerging equation for surface elevation will essentially be a forward wave equation. The stretchings were further such that the kinematic boundary condition in (Equations 14) was preserved; this was not so with all other stretchings we tried. Incidentally it is well known in fluid mechanics (see, e.g. Reference StokerStoker, 1957; Reference BenneyBenney, 1966) and may, for instance, be used to derive the shallow-water equations. But what have we gained? The stretching parameter has explicitly entered the governing equations, and since it is small this suggests a perturbation solution technique which carries the advantage that surface-wave and velocity field have been mathematically decoupled: the solution of the former can be used in the determination of the latter. This will become clear below.
Our aim is to develop asymptotic solutions of the non-linear problem for μ small. The physical interest is in waves induced by the accumulation/ablation rate
.We emphasize that (Equations 12)–(1) are for long waves of small amplitudes even though they are formally written for finite amplitudes. Solutions must therefore be sought in the form
These will be restricted to the steady-state results of (Equations 8), which themselves are based on (Equations 5) that neglect bedrock topography. Small undulations of the latter could be introduced by means of a second perturbation parameter. This will not be attempted in this paper.
3. On Glen's flow law
Despite its general acceptance in glaciology, Glen's flow law has its shortcomings. The most serious one is its singular behaviour at small stress deviators and strain-rates: for very small strain-rates the stresses grow infinitely fast. To avoid such pathological behaviour Glen's flow law can, for instance, be altered by introducing a polynomial law instead. This was suggested by Reference LliboutryLliboutry (1969). By simply fitting experimental data he obtained
where a, b, and c are temperature dependent at most. Unlike Glen's law, B(x) = X (n−1)/2, the constitutive relationship for the stress deviator based on Equation (16) no longer shows the singular behaviour at zero stresses.
There have been other proposals to change Glen's flow law. Reference Barnes, Barnes, Tabor and WalkerBarnes and others (1971) and Reference Ramseier and DickinsRamseier and Dickins (1972), for instance, suggest instead of Equation (16) a hyperbolic sine
where n and β are constants, but such a law still leads to infinite viscosities and thus does not remove the mathematical singularities mentioned above. For that purpose a finite-viscosity law must be developed. Reference Colbeck and EvansColbeck and Evans (1973) give a form similar to that of Lliboutry. On the other hand, using a model of statistical mechanics, in which rate-process theory is used, the law
where f (·) is a polynomial, can be derived (a paper on this is in preparation). A power-series expansion for small x reduces this to a polynomial similar to Equation (15).
For most computational purposes the odd behaviour of Glen's law does not matter. This paper is an exception, because the mathematical approach used here will become singular when based on a Glen-type power law. In order to avoid unnecessary complications, we shall, henceforth, use the simplest extension avoiding this singularity, namely
so that in view of the definition of
is, clearly, dimensionless, and for Glen's flow law is obtained. A similar extension is also used by Reference ThompsonThompson (1979).
When introducing Equation (19) three constants, namely A,
, n must be adjusted to the experiments. To this end, denote the numerical values of these constants in Glen's flow law by A G and n G. Requiring agreement of Equation (19) with Glen's law at large stresses givesKnowing these, a or
follows by matching Equation (19) as x → 0 with low-stress experiment as performed, e.g. by Reference Jellinek and BrillJellinek and Brill (1956) or Reference FrankensteinFrankenstein (1968); an order of magnitude isBefore we present the solution technique a warning is in order which puts the mathematical approach into the proper perspectives. It is true that the difficulty with the use of Glen's flow law is a mathematical one connected to the proposed perturbation approach. (It has also arisen in finite-difference and other solution techniques of the respective equations, see Reference Hutter, Hutter, Legerer and SpringHutter and others (1979).) As
the solution technique fails. It would, therefore, be appropriate to search for a mathematical procedure which remains regular as . Such a technique would have to be sought using a multiple-variable expansion procedure (see Reference ColeCole, 1968; Reference Nayfehnayfeh, 1973;Reference Van Dyke Van Dyke, 1975). We are less ambitious here and are satisfied with a solution technique that is valid for a bounded away from zero. The risk in such a procedure is that singularities occur in higher order terms as . This is true and a disadvantage, but we find support for our approach in the experimental literature mentioned above, which seems to prove that is bounded away from zero.4. Long waves on an infinite ice slab
In this section we present the method of solution for the flow of a viscous medium of uniform thickness down a uniform slope. When the perturbation expansions (5) are substituted into (Equations 12)–(14) a hierarchy of initial-boundary-value problems is obtained. The zeroth-order equations are
subject to the boundary conditions
and
When using the generalized Glen's law of Equation (19) straightforward integration yields
where
There remains the determination of the surface topography. It may be derived from the third of (Equations 24) and the resulting (Equations 25). One obtains
with
Equation (27) is the desired result. For
it represents a forward-breaking wave. For any initial disturbance its solution iswhich determines γ(ξ, τ) implicitly. The resulting Equation (29) implies that a given disturbance will deform with progressing time; the solution must eventually fail as the profile steepens and μ becomes finite.Footnote * The above results do not yet give indications on the unsuitably of Glen's flow law. Indeed we may set
= 0 without encountering any formal difficulties. Yet these will arise as soon as terms O(μ 2) are considered.The perturbation procedure outlined above yields a sequence of linear non-homogeneous differential equations subject to boundary conditions some of which are non-linear. The zeroth order approximation resulted in the forward-wave Equation (29). It can be improved by constructing higher-order approximations. To second order one then obtains
The functions
, and are quite complicated expressions and are determined in the Appendix. The corresponding algebra is unwieldy and becomes unjustifiably involved if terms O(μ 3) are also considered.Footnote † But with the adjusted constitutive relationship for the stress deviator none of the integrals occurring becomes singular, so that all coefficient functions in Equation (30) are bounded.Analytical solutions to Equation (30) are probably hard to find, yet some insight can be gained for special cases. To this end let us write γ = 1 + δη) (since η no longer appears we may use this symbol with this new meaning). Then
Here, the parameter δ represents a typical surface elevation above the undisturbed level γ = 1. According to the perturbation procedure it cannot be larger than O(μ) but could be smaller. Furthermore, Equation (31) gives indications on the size of
for which the equation makes sense. Clearly, should not be larger than O(μ δ). For real glaciers and ice sheets this condition is well satisfied. In what follows we shall set with . With such limitations Equation (31) may be expressed in powers of δ. To zeroth order the linear long-wave theory emerges for whichTo first order in δ we find
Nothing can be inferred about the size of the various coefficients involved. In particular they need not be O(1), because they follow from the integrations performed in the Appendix. The remaining simplifications therefore depend on the order of magnitude of the various terms considered.
-
(i) If
and δ = 0(μ) the leading terms are(34) -
(ii) If
and δ = 0(μ 2) then(35) -
(iii) If
the leading terms are(36)
Clarity about which of these equations should apply is obtained if the magnitude of the various coefficient functions is determined. First indications follow, if we assume no slip, ø = 0, and use Glen's flow law,
, for which and are still well defined. The Appendix then shows thatwith
for n = (1, 2, 3). Thus, as long as γ = O(I) and as long as wavelengths are sufficiently large the simple forward-wave Equation (27) is a reasonable approximation. It can be improved by allowing moderately long wavelengths. Dependent on the magnitude af surface elevation, (Equations 32), (34), or (35) apply. For small inclinations, on the other hand, cot γ becomes large and diffusion is no longer negligible. The perturbation procedure still remains valid in this case, because the steady-state solution (8) does not depend on it. In contrast to steep valley glaciers, diffusion is therefore never negligible in ice sheets, because in these γ . A model equation for these is either Equation (32) of the linear long-wave theory or (Equations 34) and (36) if first-order corrections to surface elevations are taken into account.5. Solutions of the governing equations
When compared with the kinematic wave theory as presented by Nye, none of the above equations matches fully with his own which is
Here, C0, C0 ' = dC 0/dξ, D o, and D o' = dD 0/dξ, are known functions of ξ. Differences between (Equations 32) and (37) evolve because Equation (37) is valid for a slope of ice with variable thickness, whereas Equation (32) was derived for a slab of constant thickness, and, clearly, because Equation (32) contains O(μ 2) terms. For steep slopes their neglect is justified. Solutions for this case are of limited interest, but follow most easily if Equation (32) is subject to the Galilean transformation
We then obtain the heat equation,
with the general solution
in which η 0(ξ) is the initial disturbance.
When applying Equation (38) to the non-linear Equation (34) what obtains is the inhomogeneous Burger equation (see, e.g. Reference Leibowich and SeebassLeibowich and Seebass, 1974)
where
Construction of solutions to Equation (41) depends on the magnitude of κ. If κ is large, small perturbation solutions are suggested. If κ = O(1) and, more generally, for all κ, solutions are determined by utilizing the Hopf-Cole transformation
which reduces Equation (41) to the linear equation
For arbitrary accumulation-rate it must be integrated numerically. For impulsive accumulation-rate
it can, however, be treated exactly, because then Equation (43) reduces to the heat equation. Thus we can solve the initial-value problem to find
which provides the detailed structure of the wave for all time; â(X) is identical with the initial disturbance of the surface elevation above its mean.
If κ is small, multiple time scales are suggested, but these are not needed, because when solutions to Equation (41) are constructed by the regular perturbation expansion
no secular terms arise. What obtains is a sequence of heat equations
of which solutions again have the form of Equation (40) and will not be repeated here. If O(μ 2) terms are included in an exploitation of Equation (32) the solution may again be written in convolution form
where the Green's function
is given bywhich for μ = 0 reduces to Equation (40). When
a perturbation solution is suggested. It boundaries are at lnfinity this yields a hierarchy of heat equations, namely, if
of which the solutions have again the form of Equation (40).
For any other more complicated equation, say (Equations 35) or (36) direct numerical methods must be suggested for their solution.
6. Discussion and conclusion
The calculations performed above remain rather theoretical and are of little help for real glaciological problems as long as no numerical values for the various coefficients of the surface-wave equation are available. Since our model treats surface waves on a plane parallel-sided slab, it will be of value for a glacier in the regions for from its head or its snout.
Several effects are built into the model:
-
(i) finite inclination of the ice slab,
-
(ii) sliding of the ice over its bed,
-
(iii) generalization of Glen's flow law.
It is interesting to see how these effects influence the coefficients in the basic governing equations. All these can be summarized in the equation
The first two terms on the left-hand side represent essentially the kinematic wave theory including diffusion. In the original coordinates ξ and τ the corresponding equation contains two constants,
and , which are now incorporated in the variable X. In Figures 1 and 2 these two coefficients are plotted against the inclination angle γ. Curves are shown for two values, namely n = 2 and n = 3, of the exponent in Glen's flow law; they are, furthermore, parameterized for different values of the coefficient in the generalized Glen law introduced in Equation (19). Figures 1a and 2a hold for an ice slope adhering to its bed; in Figures 1b and 2b two sliding velocities have been introduced, namely u b = 0.005 and u b = 0.01. (Notice that this corresponds to a sliding parameter ø = u b/sin m γ; hence, keeping u b fixed means that ø changes with γ. Calculations were performed for m = 2.) It is seen that the generalization of Glen's flow law has little effect on the numerical values of and . This is no surprise, because die expressions for and show no singularity when = 0. The dependence on the inclination angle γ, the exponent n, and the sliding velocity are more important. To find the range of importance of diffusion we write Equation (32) with respect to the variablesand then find to first order in μ
For Glen's flow law and when the ice adheres to the bed it was shown that
. For small angles (in reality for most glaciers) diffusion is therefore important. Whether this persists also when sliding over the bed is allowed for, can easily be inferred from Figures 1b and 2b. Accordingly, grows monotonically with decreasing γ. Numerical calculations indicate that with sufficient accuracy one may set . Hence, even when sliding occurs, diffusion remains significant at all inclination angles which occur.Diffusion being significant we shall henceforth and irrespective of what value the wavelength parameter may have, use X and T as independent variables. With their use a possible extension of kinematic wave theory follows from numerical values of
, , and , see Equation (50).In Figure 3 I have plotted the first of these parameters as a function of γ, parameterized for different values of
. In Figure 3a the no-slip condition has been applied, whereas Figure 3b shows the corresponding results including sliding. Generally, sliding enhances the value of at small inclinations, but has practically no influence on it at larger inclinations γ. In view of the definition of κ and since for most inclinations γ occurring in practice I conclude that the non-linear term η ∂η/∂X in Equation (50) need not be taken into account except, perhaps, in steep and hanging glaciers for which κ may be of the same order as usual diffusion parameters. This result can be strengthened if the steady-state Burgers’ equation is looked at and the corresponding shock thickness is evaluated, see Reference LickLick (1970). One finds that the latter iswhere η O is the thickness behind the shock. Generally it must be expected to be close to unity so that η O –1
. Hence, even with κ = O(1), ξ 0 is large and under usual circumstances greater than the length of the glacier. The non-linear term associated with κ is therefore negligible.The significance of the coefficient ϵ in Equation (50) can be estimated from Figure 4. (Effects due to this term are usually attributed to dispersion.) Unlike the functions of the previous graphs, the value of
strongly depends on the parameter in the generalized Glen law. The reason, clearly, is that . For a glacier adhering to its bed grows with growing γ and is, except for very small angles γ, of the order of 103−100. When sliding takes place increases also as γ → o. Here we may uniformly say that is large. Its value depends also rather critically on the value of the coefficient n. We conclude that under no circumstances is it allowable to neglect in Equation (50) the term involving ϵ, because under usual situations ϵ is of the order of 10° and larger. Furthermore, ϵ may exceed the value 10° by several orders of magnitude. Consequently, dispersion may very well be of greater significance in glaciers than is diffusion.Finally, in order to obtain information about the magnitude of
. I have plotted in Figure 5 this ratio as a function of γ and parameterized for various values of n and . It is seen that, uniformly, so that ξ is small of order 10−2 or smaller.In conclusion we may say that the surface-wave equation appropriate for ice slopes must have the form
where for ice I/ϵ is the dominant coefficient and where |ζ| is generally larger than |κ|, but smaller than unity. The non-linear terms in Equation (50) can safely be regarded as small corrections of the linear reduced equation, in which dispersion and diffusion are taken into account. The non-linear terms can safely be neglected so that the zeroth order equation reads
Of the diffusion and dispersion effects contained in this equation the second is more important than the former but this is a materially dependent property for which dependence on the parameter
is evidenced (see Fig. 4). For materials with a sufficiently pronounced linear behaviour of the stress-strain-rate relationship (that is for n = 3 and > 10−1), ϵ becomes large; in this instance diffusion overrides dispersion and may perhaps, even be negligible. For ice this does not appear to be the case, since for n = 3, a < c. 10−3 Consequently, kinematic wave theory is inappropriate for modelling surface-wave phenomena on ice.Appendix
Here we briefly summarize the derivation of Equation (30). To this end the (Equations 12)–(14) are written for the o(μ) terms. The differential equations for the stresses are
and must satisfy the boundary conditions (see Equation (14))
and y = γ(x, t). Straightforward integration thus reveals
The longitudinal stresses
follow from the fourth of (Equations 12) and Equation (A.3)so that
It is now evident that a non-vanishing coefficient a prevents the first-order longitudinal stresses becoming infinite at η = 1. This demonstrates that the generalization of Glen's flow law is important.
To obtain the first-order velocity field the fifth and third of (Equations 12) must be integrated. From the former and the first of Equations (A.3) we obtain
Integrating this and using the boundary condition
gives as first-order longitudinal velocities
with
The first-order velocities
follow from the continuity equation and a subsequent integration. Using Equation (A.6) and the boundary condition that vanishes at η = 0 yieldswhere
This completes the first-order solution; the results determine the wave Equation (20) as for as O(μ) terms go. To determine also the O(μ 2) terms, second-order shear stresses and velocities must be determined. The former follow from the first of (Equations 12), or
so that after an integration
is obtained, in which
The boundary condition for τ at η = γ implies that
Equations (A.10) and (A.12) together allow the determination of the constant of integration κ 1 (ξ, τ). Once it is determined, τ may be written in the form
in which
Beyond this point calculations are very involved. For this reason we shall restrict ourselves henceforth to the necessary minimum. Substituting (A. 13) and the fifth of (Equations 25) into the differential equation for
and using the boundary condition
it is straightforward to show that
Alternatively, the continuity equation
determines v as follows
with
These results now enable us to corroborate Equation (4.9). Indeed, with Equations (A.6), (A.7), (A.17), and (A. 18) the surface-wave equation, the first of (Equations 14), assumes the form of Equation (30), in which
Evaluation of the above functions hinges on explicit expressions for the functions
and . Since in the main body of this article only and need explicitly be known, it suffices to determine . We leave it to the reader to prove that Equations (A.14)–(A.19.) lead to the following expressions for :where