The thickness of ice masses is often determined by radio echo-sounding, by using both surface-based and airborne systems. The development of this technology, for cold ice beginning in the 1960s and for temperate ice beginning in the 1970s, has been summarized briefly by Reference Brown, Brown, Rasmussen and MeierBrown and others (in press). In the published analyses, however, little account has been taken of the smaller value of the refractive index in the lower-density firn overlying the ice in accumulation zones, although Reference HarrisonHarrison (1970) supplied an approximate correction for the effect of firn for one special case. That correction, which assumed a homogeneous firn layer, is transformed here from an approximate to an exact formulation. Also given here is the exact formulation for an arbitrary vertical profile of refractive index, including explicit solutions for linear and quadratic profiles.
A ray with incident vertical angle θ in air is refracted at the air–ice boundary into a ray with vertical angle ϕ (Fig. 1) according to Snell’s law,
in which the refractive index is n i for ice and unity for air. Although the development is expressed here in terms of a horizontal air–firn boundary, it can readily be applied to the case in which that boundary is inclined. In either case, the firn–ice boundary is assumed to be parallel to the air–firn boundary, and the z-axis is defined to be normal to them.
If the signal makes the round trip from (0,0) to the reflecting point (x, z) at the ice–rock boundary and back again in time 2t, then
in which c is the signal speed in air, and the factor ct/n i equals the distance R between (X, Z) and (0,0). For a specular reflection of the ray back to (0,0), the reflecting surface at (X, Z) must be sufficiently smooth and its slope must be dz/dx = –tan ϕi.
When the ice is overlain by firn, determining the ray path is more complicated. For an arbitrary vertical profile n(z/f) in the firn of thickness f, the horizontal distance at any depth z ⩽ f is
and the time consumed in traveling there from (0,0) is
Because n is a function of z/f, the integrals through the total firn thickness f are proportional to f. This is significant because the magnitude of the effect of the firn is also proportional to f. This property of the integrals is revealed by introducing the simple change of variable z = z/f:
and
It is easily shown that the angle ϕi eventually attained in the ice is the same as if the firn were not present. Thus, the reflecting point for the ray traveling through the firn and then through the ice is
in which r i = (t – tf )c/n i is the distance traveled below the firn. Both the point (X, Z) and the point (x i, z i), given by Equations (2) and (7), are functions through Equation (1) of θ. As θ is varied, (X, Z) generates the locus of the reflecting point if the effect of the firn is neglected, and (x i, z i) generates the locus of the reflecting point if the effect of the firn is taken into account.
From Equations (1), (2), and (7) may then be obtained expressions for the firn corrections ∆X and ∆Z to be applied to the coordinates of the reflecting point (X, Z) that would have been calculated by neglecting the firn
For airborne soundings, the critical ice angle ϕ = 34.2° cannot be exceeded. It corresponds to the limiting air angle θ = 90° when n i = 1.78 is used in Equation (1). Thus, airborne soundings are capable of detecting points on the bed only where the bedrock slope is less than dz/dx = tan 34.2° = 0.679. For surface soundings, with antennae in dielectric contact with the firn, steeper bedrock slopes can be detected.
The vertical profile n(z/f) may be taken to vary quad-ratically (Fig. 1) from n o at the air–firn boundary to n i at the firn–ice boundary, where it has the derivative dn/dz = 0. If the quadratic is a section of an ellipse,
and the integrals may be directly evaluated, giving
and
Were the quadratic form without the exponent ½ used, the profile would be a section of a parabola, but direct evaluation of the integrals would not be possible here. For all 0 < z < f, the elliptical profile gives a slightly higher n than does the parabolic; for 1.20 ⩽ n o⩽ n i = 1.78, the maximum difference is ∆n ≈N 2/13 at z/f ≈ (5–N)/17, in which N = 1.78 – n o . The two profiles are indistinguishable at the scale of Figure 1, and the difference between them is probably small compared with the discrepancy between either of them and the actual profile in any particular firn layer. That the elliptical profile for no = 1.37 and f = 120 m is not inappropriate is evidenced by the fact that when it is transformed to density, it agreed reasonably well (Fig. 2) with the density profile obtained at Site 2 in Greenland (Reference LangwayLangway, 1967). The transformation was effected by a slight modification (from 0.851 to 0.867) of the constant of proportionality between n – 1 and density used by Reference RobinRobin (1975, equation (1)), so that it would give n = 1.78 at 0.9Mg/m3.
A mathematical function with more than the one degree of freedom (n o) that the quadratics possess might more accurately represent an actual firn profile, but direct evaluation of the integrals of Equations (5) and (6) would likely not be possible. For an actual profile that cannot adequately be represented by an ellipse, it may be necessary to evaluate the integrals numerically, perhaps by using a piece-wise approximation of the n-profile.
The corrections ∆X and ∆Z obtained from the elliptical profile are shown in the form of ∆X/f and ∆Z/f in Figure 3 as functions of n o and s. The corrections are an order of magnitude smaller than f and are both positive, except that ∆X = 0 when s = 0. Depending on the accuracy of the radio echo-sounding results, and on the thickness and density of the firn layer, the correction may or may not be significant. Direct measurement of glacier thickness by electrical resistivity soundings (Reference Haeberli and FischHaeberli and Fisch, 1984) reveals an accuracy of within 5% in the radio echo-sounding of Grubengletscher, Switzerland.
When s is not known for an echo received from a surface sounding, the reflecting point on the ice–rock boundary is known only to lie somewhere on a curve; on the circle with radius R = ct/n i and center at (0,0) if there is no firn, on a higher-order curve if firn is present. For use with data-analysis procedures that may assume a circular locus, because the effect of the firn was not taken into account, a correction in the four, of an adjustment to the radius would be appropriate. The corrections ∆X and ∆Z do not depend on R, but the distance r between (x i, z i) and (0,0) does. Therefore, the difference r – R > 0 is not a function of only ∆X and ∆Z. However, because the corrections are small compared with f and because f is usually small compared with r, the distance ∆R is considered (Fig. 1). It is given by
The distance ∆R does not depend on R but it does depend on s, Because it depends on s, the locus of the reflecting point is not circular. However, if the true locus is approximated_by a circle with center at (0,0) and with radius R + ΔR , then the error depends on the value of ΔR used. It may be shown that ∆R(s) increases monotonically from ∆ R(0) to ∆R(l). Setting ΔR = 0.5[ΔR(1) + ΔR(0)] minimizes the maximum error |ΔR − ΔR(s)| over 0 ⩽ s ⩽ 1, which is 0.5[∆ R(1) –∆ R (0)]. The effect of the firi. is proportional to f and is roughly proportional (Fig. 4) to N = n i –n o. Thus, N/5 approximates Δ R/f with an accuracy of 0.001, which is small compared with 0.5[∆ R (l) – ∆ R(0)]/f.
If n(z/f) is taken to vary linearly from n o at the air-firn boundary to n i at the firn–ice boundary,
and the integrals become
and
which may be used with Equation (8) to obtain ∆X and ∆Z or with Equation (7) to obtain (x i, z i). For the special case of firn with constant refractive index n o, simple triangulation shows the reflecting point to be given by Equation (7) using r i = (ct–n 2 o Xf /S)/n i for the distance traveled in the ice and X f = sf (n 2 o–S 2)-½., this formulation is consistent with that of Reference HarrisonHarrison (1970, equation (8)) based on the approximation of unit cosine for a small angle. For an actual firn profile that cannot be adequately represented by an ellipse, these results may be used incrementally to construct the ray path associated with either a piece-wise linear or a piece-wise constant approximation of the profile.
The firn correction is usually small compared with the firn thickness, which may justify neglecting the effect of the firn in some analyses. For other analyses the effect of the firn may be significant. Calculating the firn correction requires estimating the firn thickness and the vertical profile of the index of refraction in it. The errors in these estimates will affect the results but probably not as much as would neglecting the effect of the firn.