1. Introduction
No completely satisfactory numerical method has yet been developed for solving the equations of atmospheric dynamics and constituent transport in spherical geometry. Some of the major problems associated with methods currently in widespread use include Gibbs ripples (or “spectral ringing”) in spectral models, problems near the poles in gridpoint models using regular latitude–longitude grids, spurious oscillations and unphysical negatives in fields of moisture and chemicals caused by some advection schemes, and lack of conservation with semi-Lagrangian advection schemes. Many methods have been proposed that address one or more of these problems. For example, the use of alternative grids [see Rasch (1994) and Rančić et al. (1996) for recent examples] or the use of semi-Lagrangian advection schemes (e.g., Staniforth and Côté 1991) can reduce pole problems; many advection schemes are available that do not produce spurious oscillations, that is, they are “shape preserving” (e.g., Williamson and Rasch 1989; Smolarkiewicz and Rasch 1991; Lin et al. 1994); and conservative semi-Lagrangian schemes have recently been developed (e.g., Leslie and Purser 1995; Lin and Rood 1996; Leonard et al.1996). Nevertheless, it is worthwhile attempting to develop new numerical models that avoid as many as possible of the problems mentioned above. This paper describes a shallow-water model based on a novel combination of numerical methods. It was designed from the outset to avoid as far as possible the problems mentioned above.
The shallow-water equations describe many of the physical phenomena that are described by the full three-dimensional primitive equations, including slow, balanced vortical motions and fast gravity wave motions. Therefore, developing a model to integrate the shallow-water equations on a sphere presents many of the main challenges of developing a full three-dimensional primitive equation model, including the problem of how to deal with the inevitable singularities that arise (e.g., at the poles) in any particular coordinate system. The shallow-water equations are a useful test bed for any proposed numerical method before moving on to the full complexity of the three-dimensional primitive equations.
The shallow-water model described here uses the following combination of special features: a hexagonal–icosahedral grid; potential vorticity (PV) as a prognostic variable; and a newly developed conservative, shape-preserving, genuinely multidimensional scheme for the advection of mass, PV, and tracers.
Variations on the hexagonal–icosahedral grid have been proposed for modeling atmospheric flows by Williamson (1968), Sadourny et al. (1968), Cullen (1974), and, more recently, Masuda and Ohnishi (1986) and Heikes and Randall (1995a,b). Such grids give nearly uniform coverage of the sphere. In contrast, regular latitude–longitude grids have an accumulation of grid points near the poles. Depending on the time-stepping scheme for the gravity wave terms and on the advection scheme, this can impose excessive restrictions on the allowable time step unless some form of spatial filtering is used. Also, such a distribution of grid boxes is wasteful because a disproportionate amount of computational effort is spent in the polar regions. In addition, the variation in gridbox size could potentially lead to complications in a full global circulation model if parameterization schemes require different tuning for different resolutions. The hexagonal–icosahedral grid avoids all of these problems.
Note, incidentally, that (1)–(3) are written in coordinate-independent form. Directly discretizing this form of the equations, without the introduction of coordinates, sidesteps the problem of coordinate singularities that inevitably occur in any global coordinate system on the sphere. Furthermore, the prognostic variables are scalars, not the components of vectors. The velocity is a vector, but when it is used in the model’s calculations it is expressed as components normal and tangential to a local box edge. Again this avoids introducing any singularities.
Equations (1), (2), and (5) are conservation laws that can be integrated using an advection scheme [although the mass continuity equation must be treated slightly differently from the other two—compare (19) with (20) below]. An advection scheme is required that is conservative and shape preserving. Because of the grid geometry, the scheme must have these properties for arbitrary two-dimensional gridbox shapes. The method described by Thuburn (1996a) is used to construct such a scheme.
One consequence of using this advection scheme is that no explicit scale-selective dissipation (with its concomitant tunable parameters) is necessary to obtain stable, noise-free integrations of the model. [More generally, explicit scale-selective dissipation can often be omitted when using upwind-biased, forward-in-time advection schemes or other dissipative schemes (e.g., Smolarkiewicz and Margolin 1993; Walsteijn 1994).] It has been argued (Thuburn 1995) that for two-dimensionaland quasi-two-dimensional flow, where the cascade to small scales is an advective process and where the strain rate tends to be dominated by the larger-scale (and hence resolved) eddies, the cascade to unresolved scales can be adequately represented by a shape-preserving advection scheme alone, without the need for any additional parameterization.
The numerical schemes used in the model are described in detail in section 2. The model has been systematically tested on the suite of seven test cases proposed by Williamson et al. (1992). Complete results of those tests are documented by Thuburn (1996b) for comparison with the results for other models that have also been applied to the test cases (e.g., Heikes 1993; Jakob et al. 1993; Malcolm 1994). A few key results are presented in section 3 to illustrate the strengths and weaknesses of the model described here. Some issues that arise in extending the numerical schemes to the three-dimensional primitive equations are discussed in section 4. The results are summarized in section 5.
2. Description of the model
The model’s hexagonal–icosahedral grid is described in section 2a. The integration of (1)–(3) involves finding v from h*, Q, and δ (section 2b), advecting h* and Q (section 2c), and evaluating terms on the right-hand side of the divergence equation (section 2d). The time stepping scheme is described in section 2e.
a. The model grid
The grid used here is very similar to the simple twisted icosahedral grid described by Heikes and Randall (1995a) but without the twist. The sphere is covered by pentagonal and hexagonal grid boxes; the number of hexagons depends on the resolution, while there are always exactly 12 pentagons. There is a hierarchy of possible grids of different resolutions, each member of the hierarchy having approximately four times as many grid boxes as the previous member. The first member of the hierarchy is the regular dodecahedron.
The starting point for constructing the grid is the regular icosahedron (Fig. 1a). Given a grid of triangles, a new finer grid of triangles is generated by placing new vertices at the midpoints of the existing edges and then projecting these new vertices onto the surface of the sphere (Fig. 1b). This process may be repeated indefinitely to obtain higher-resolution grids.
The grid actually used by the model is the Voronoi grid associated with the triangular grid just described (Augenbaum and Peskin 1985) (Fig. 2). Each vertex of the triangular grid corresponds to a face, that is, a grid box, of the Voronoi grid; each face of the triangular grid corresponds to a vertex of the Voronoi grid; each edge of the triangular grid corresponds to an edge of the Voronoi grid. The edges of the Voronoi grid are the perpendicular bisectors of the edges of the triangular grid. Note that the hexagonal grid boxes vary somewhat in their exact shape and size. The most distorted hexagons are those immediately adjacent to the pentagons. The pentagons, however, are perfectly regular, and the grid has a fivefold symmetry relative to any one of the 12 pentagons.
All the information about the grid needed by the model, such as the areas of the grid boxes and the lengths of the edges, is computed and tabulated before running themodel. Some of the properties of the grid as functions of resolution are shown in Table 1.
Since this work was begun, an important advance has been made by Heikes and Randall (1995b) in the design of the grid. They noted that with the simple grid described above (or with their twisted version of it), the error obtained in evaluating a Laplacian using the natural finite-difference expression given in section 2b below does not converge to zero uniformly as resolution is increased. The problem is worst near the most distorted hexagons. Heikes and Randall describe an improved grid-generation algorithm that gives a hierarchy of grids on which the error in evaluating the Laplacian does appear to converge to zero uniformly as resolution is increased. Similar improvements to the grid would be highly desirable in future versions of the model described here.
b. Relationship between the winds and the vorticity and divergence
c. The advection scheme
The advection scheme is similar to that described by Thuburn (1995). It is conservative and uses a genuinely multidimensional extension of Leonard’s (1991) “universal limiter” to ensure that there is no spurious amplification of extrema and that there is minimal distortion of advected profiles.
Equations (19) and (20) ensure that the scheme conserves the total mass of fluid ΣkAk
The detailed formulas for computing the preliminary values of
On a plane grid of regular hexagons with an advecting wind that is constant in space and time, this advection scheme would be third-order accurate in space and time. When used on the hexagonal–icosahedral grid, which does not consist solely of regular hexagons, or when the advecting wind varies in space or time, the scheme is formally no more than first-order accurate in space and time. However, in practice it is found to be much more accurate than a simple “donor cell” first-order upwind scheme (see section 3a).
After the preliminary edge values have been calculated using the basic scheme, they are adjusted, if necessary, to ensure that extrema are not amplified and no spurious extrema are generated. This flux-limiting step is exactly as described by Thuburn (1995, 1996a) and will not be described here.
Note that the algorithm for choosing
d. The divergence equation
e. Time-stepping scheme
The use of
In total, five elliptic problems must be solved at each time step to find
In summary, the sequence of operations involved in one time step is as follows. The rotational and divergent wind
3. Results of some test cases
The suite of test cases proposed by Williamson et al. (1992) has been carried out using the model described in this paper. Complete results of these test cases, including all the diagnostics requested by Williamson et al., are presented in the report by Thuburn (1996b). This report is available from the author, or in postscript format on the World Wide Web at http://www.met.rdg.ac.uk/ugamp/publications/jt. Some selected results are presented here to illustrate the strengths and weaknesses of the model. The test cases themselves are described in detail by Williamson et al. (1992); only very brief descriptions are given here.
Some of the test cases do not have analytic solutions so errors must be estimated by comparing the computed solution with a reference solution from a high-resolution (T213) spectral model. These reference solutions, truncated to T63, were obtained in netCDF format from the anonymous ftp account sage.cgd.ucar.edu, along with software to interpolate them to any desired grid.
The time step used in the test cases described below is 3600 s on grid 5 and 1800 s on grid 6, except in the Rossby–Haurwitz wave test case where, because of the stronger winds, a time step of 900 s is used on grid 6.
An indication of the CPU cost of the model when integrating the full shallow-water equations is given in Table 2. In the current implementation all relevant inner loops “vectorize” on machines with pipeline architecture, giving moderately good performance (e.g., about 73 Mflops on one processor of a Cray YMP8). No attempt has been made to optimize the code for use on a distributed memory massively parallel machine. The CPU cost is dominated by the solution of Poisson’s equation and the elliptic problem that arises in taking a semi-implicit time step, which together account for about 70% of the cost. The CPU cost could be reduced, possibly with some loss of accuracy, by taking fewer iterations in the multigrid solver (appendix A). Despite the complexity of the advection scheme, it accounts for only about 15% of the CPU cost.
a. Advection of a cosine bell
This test does not deal with the full shallow-water equations but testsonly the advection scheme. The time stepping of the PV and divergence is switched off and the depth is advected by a specified wind field. The wind field is a solid-body rotation that makes one complete revolution in 12 days. The initial depth field is a compact cosine bell of height 1000 m and radius a/3, where a is the earth’s radius.
Figure 5 shows the computed solutions, true solutions, and errors for two different model resolutions when the axis of the specified wind field passes through the poles (i.e., through two antipodal pentagonal boxes). Generally the advection scheme performs very well. There are no undershoots or overshoots. The phase error is extremely small, and there is little distortion of the advected profile, only a slight elongation in the direction of the flow on grid 5. On grid 5 there is significant erosion of the maximum to about one-half of its original height. On grid 6 the maximum is eroded by about 150 m. Most of this erosion is due to the basic quasi-third-order upwind advection scheme rather than the flux limiter. Additional tests show that the errors are hardly sensitive at all to the orientation of the axis of the flow relative to the grid; in particular, there are no pole problems. Other diagnostics confirm that the scheme is conservative and maintains the minimum value of zero. They also show the errors growing steadily with time; there are no particular places where the errors are suddenly amplified or where there are large oscillations in the errors. The advection scheme used here compares well with other Eulerian advection schemes for which this test case has been documented (e.g., Jakob et al. 1993; Malcolm 1994; Rasch 1994; Heikes and Randall 1995a).
b. Zonal flow over an isolated mountain
The initial state for this test case is solid-body zonal flow, making one complete revolution in 12 days, with a balanced depth field, flowing over a conical hill of height 2000 m and radius 20° centered at (30°N, 90°W). The subsequent evolution of the flow has no analytical solution, so it is compared with a reference solution from a high-resolution spectral model.
Figure 6 shows the surface elevation field at days 5, 10, and 15 of an integration on grid 6, and Fig. 7 shows differences from the reference solution. The elevation errors are generally quite small (compared, for example, with the equator-to-pole elevation difference), with the maximum error less than 30 m on day 15. The large-scale flow features forced by the mountain are well resolved at this resolution and even at lower resolution. A circular pattern of small-scale noise is visible in the error maps at the location of the mountain. This arises because the reference solution is stored in the form of spectral coefficients at T63 truncation and has small oscillations near the edge of the mountain. It does not signify any problem with the computed solution. (Compare Fig. 6 here with Figs. 5.1 and 5.2 of Jakob et al. 1993.)
Figure 8 shows the normalized discrete mass, energy, and potential enstrophy as functions of time for this test case. The steps in the curves indicate the precision of the diagnostics as written out by the model. The mass is accurately conserved. Although the schemes do not formally conserve the resolved energy, it is very nearly constant. (At lower resolution there is a small decrease in the resolved energy with time.) There is some decrease in the resolved potential enstrophy with time. Note that the true solution will involve a cascade of potential enstrophy to small scales, some of which will be unresolved at any given resolution. But it is a far from trivial task to calculate what the correct resolved potential enstrophy should be at any given resolution, even with the aid of a high-resolution reference solution.
c. Rossby–Haurwitz wave
This test case is a zonal wavenumber 4 Rossby–Haurwitz wave. The initial state is an exact steadily propagating solution of the nondivergent shallow-water equations. Although it is not an exact solution of the full shallow-water equations, its use by numerous authors has made it a de facto standard test case. Reference integrations with a high-resolution spectral model show that the solution should remain stable and propagate steadily, maintaining its wavenumber 4 structure with only slight vacillations in shape. However, as discussed by Bates et al. (1995), the true solution to this test case is not known, and the details of the vacillations in high-resolution reference solutions depend on the dissipation used in the calculation. This caveat should be borne in mind when interpreting “error” maps calculated using such reference solutions.
Figures 9 and 10 show the depth field and its difference from the reference solution at days 1, 7, and 14 of a run on grid 6. The phase speed of the wave is well captured throughout the run. The wave’s structure is well simulated at day 1, and even at day 7, but it becomes significantly disrupted by day 14. In particular, the longitudinal and cross-equatorial symmetry of the wave structure has become disrupted. Some symmetry remains, however; the fields in the two hemispheres are related by a reflection across the equator followed by a rotation of 180° in longitude.
These symmetry errors are obviously related to the structure of the model grid. (Repeating the test case for other grid orientations confirms this.) For this very reason, Heikes and Randall (1995a) chose to use a twisted version of the hexagonal–icosahedral grid, so that a solution initially symmetric about the equator would at least remain symmetric about the equator. The zonal wavenumber 1 pattern at high latitudes in the depth error at day 14 (Fig. 10) arises through an interaction between the wavenumber 4 flow pattern and the fivefold symmetry of the grid. (Repeating the test case using the operational time scheme of section 2e gave virtually identical results, showing that the wavenumber 1 pattern is not associated with an instability of the time scheme.) The distortion of the grid boxes degrades the accuracy of at least two parts of the model’s algorithm: the calculation of the Laplacian and its inverse (section 2a), and the advection scheme (section 2c). Repeating the test case with a shorter time step of 300 s (maximum Courant number about 0.17) revealed an interesting relationship between the symmetry errors and the time step. The depth field at day 7 and day 14 (Fig.11) is much more symmetrical than in the case with a 900-s time step (maximum Courant number about 0.5). This suggests that the symmetry errors may arise through an inhomogeneous pattern of time truncation errors related to the grid structure. This probably occurs through the advection scheme, where both the space and time truncation are degraded from quasi-third order to first order by the distortion of the grid boxes.
Figure 12 shows the initial PV for this test case along with the PV at day 7 from the run with the 900-s time step and and PV at day 7 derived from the reference solution depth and vorticity. The most conspicuous difference between the model and the reference solution is that the reference solution PV is rather noisy. (This may be because the reference integration itself is noisy, or it may arise partly through the truncation of the reference solution to T63 and its interpolation to the hexagonal–icosahedral grid.) Apart from this, the behavior in the model is very similar to that in the reference solution. In particular, note the cutting off of the cyclonic centers and the vestiges around 60°–70° latitude of PV streamers that initially connected the cyclonic centers to the polar regions. These vestigial streamers indicate a tendency for a cyclonic wrapping up. However, after day 7 the model solution shows an increasing tendency for cyclonic wrapping up, whereas the reference solution shows a shift in the vestigial PV streamer toward the eastern side of the cyclonic center. In view of this and the discussion by Bates et al. (1995), a less noisy reference solution for PV and, ideally, some consensus among reference solutions from different models are clearly required in order to allow a more detailed assessment of model accuracy on this test case.
Repeating the test case using a variance-conserving centered difference scheme for advection of PV instead of the scheme of section 2c gave height errors at day 14 about one-half of the magnitude of those in the original integration. (The symmetry errors were also reduced, but the PV field was noisy.) Also, both the integration with the 900-s time step and the integration with the 300-s time step using the advection scheme of section 2c show positive depth errors at high latitudes and negative depth errors at low latitudes at day 14, signifying a weakening of the mean westerlies. These results suggest that the dissipative nature of the advection scheme of section 2c may be contributing to the error (see, e.g., Smolarkiewicz and Margolin 1993). An estimate for the strength and scale selectivity of the dissipation associated with an advection scheme very similar to that of section 2c was given by Thuburn (1995) as (0.01–0.06)α3|v|∇4, where α is the gridbox size. For the Rossby–Haurwitz wave test case on grid 6, α ≈ 240 000 m and |v| peaks at about 100 m s−1, implying dissipation strengths up to about 8 × 1016∇4. This is comparable to the scale-selective dissipation typically used in spectral climate models at T42 resolution, whereas the number of degrees of freedom on grid 6 is comparable to a spectral resolution of about T100 (Table 1), suggesting that the dissipation in this case may be stronger than optimal. Certainly this dissipation is far stronger than that in the model used to calculate the reference solution. For example, the dissipation used by Jakob et al. (1993) for the Rossby–Haurwitz wave test at T42 was about 16 times weaker than this, while the dissipation used in calculating theT213 reference solution was a factor of 104 weaker. However, to put things in perspective, the dissipation associated with the advection scheme of section 2c is far weaker than that associated with a first-order upwind scheme (Thuburn 1995).
d. Analyzed 500-mb height and wind field initial conditions
The final test case consists of initial conditions based on observed atmospheric 500-hPa heights and winds giving flow conditions typical of the real atmosphere. Of course, the evolution of the shallow-water equations from this state cannot be expected to match the evolution of the real atmosphere. The computed solution is compared with a reference solution obtained using a high-resolution spectral model. Results shown are for a run on grid 6.
The initial state is based on data for 0000 UTC 21 December 1978 (Fig. 13). The depth fields and depth errors for day 1 and day 5 are shown in Figs. 14 and 15. The model captures most of the features of the evolution of the reference solution, including the formation of a blocklike anticyclone near the Greenwich meridian. In particular, it has no problem coping with the strong flow across the pole. However, it does fail to capture a cyclonic feature to the south of the blocklike anticyclone that appears in the reference solution.
The PV field at day 1 (Fig. 16) shows smooth, coherent cyclones, anticyclones, and connecting streamers typical of those we expect to see in a turbulent two-dimensional fluid. The day 1 PV is certainly much less noisy than the initial PV (Fig. 13) or the day 1 PV calculated from the reference solution. Comparison of the PV with the depth error at day 1 is quite revealing. The depth error consists of a number of compact regions of positive error. These regions coincide with the centers of cyclonic PV. Apparently the PV in the cyclonic centers is smoothed by the advection scheme, weakening the lows and allowing them to fill in. Subsequently the errors cascade upscale. By day 5 the model PV field is much smoother than at day 1 (Fig. 16). The PV calculated from the reference solution at day 5 also has fewer large-scale strong PV features than at day 1 but is rather noisy. Thus, it is difficult to judge to what extent the model PV at day 5 is excessively smoothed and to what extent the reference solution is insufficiently smoothed. The reference solution does have an intense, small-scale cyclonic PV feature at about 60°N, 20°W, which is severely damped in the model and that corresponds to the cyclonic feature that the model failed to capture in the height field mentioned above.
4. Extension to three dimensions
Some basic issues must be addressed in order for the schemes used here for the shallow-water equations to be extended to the three-dimensional primitive equations. One issue concerns the use of PV as a prognostic variable. In most coordinate systems, including terrain-following coordinate systems, recovery of the rotational wind from the PV distribution requires the solution of a three-dimensional elliptic equation, which would be expensive. In isentropic coordinates, on the other hand, only a two-dimensional elliptic equation need be solved at each model level. However, isentropic coordinates introduce problems in treating a solid lower boundary. (Note that the recovery of wind and temperature fields from PV under some balance assumption using “PV invertibility” requires the solution of a three-dimensional elliptic equation in any coordinate system, but that is a distinct problem from the one involved in integrating the full primitive equations without any assumption of balance.)
Anotherissue concerns the use of a semi-implicit time scheme. In three dimensions a semi-implicit time scheme would require the solution of a three-dimensional elliptic equation at each step. Also, a semi-implicit scheme could cause problems in some coordinate systems, for example, in isentropic coordinates, when there is a strong gradient of layer thickness or layer thicknesses close to zero, for example, if massless layers (e.g., Hsu and Arakawa 1990) are used at the lower boundary. In particular, a semi-implicit scheme might undermine the shape-preserving property for advection of mass. One way to sidestep these problems is to use a split-explicit time scheme (e.g., Cullen and Davies 1991), in which several short explicit “adjustment” steps are taken for mass and divergence per single long advection step for PV and tracers.
A model that integrates the three-dimensional primitive equations in isentropic coordinates using extensions of the methods described here has been built by A. Gregory (1996, personal communication). The model is being used to study stratospheric dynamics, for which an isentropic lower boundary at θ = 414 K is adequate, thereby avoiding the problems with a solid lower boundary mentioned above. Also, it uses a split-explicit time step, thereby avoiding the potential problems with a semi-implicit time scheme mentioned above.
5. Summary
A shallow-water model has been presented based on a novel combination of numerical methods, including a hexagonal–icosahedral grid, PV as a prognotic variable, and a conservative, shape-preserving scheme for the advection of mass, PV, and tracers. This combination of schemes avoids Gibbs ripples, pole problems, and spurious oscillations in advected quantities and ensures conservation of advected quantities. The overall accuracy of the model has been assessed on the suite of test cases proposed by Williamson et al. (1992). The model showed no stability problems in any of the test cases when reasonable choices were made for the time step and for the reference depth in the semi-implicit scheme. Nor did the model show any tendency to create small-scale noise in either space or time. On the advection test the scheme performs as well as any other Eulerian scheme for which results of this test have been documented (e.g., Heikes 1993; Jakob et al. 1993; Malcolm 1994; Rasch 1994). On the other Williamson et al. test cases the spectral method performs significantly better than any other scheme yet documented (Jakob et al. 1993). (The limitations of the spectral method, such as Gibbs ripples when tendencies from parameterized processes are calculated on a quadratic Gaussian grid, do not show up in these purely dynamical tests.) On these tests the model presented here is similar in accuracy to the other nonspectral models whose results are available (e.g., Heikes 1993; Malcolm 1994).
Two particular sources of error in the model have been identified. The first is the distortion of the hexagonal grid boxes, particularly near the pentagonal grid boxes, giving rise to error maps that reflect the symmetry of the grid in some test cases. The results of section 3c show that the symmetry errors are sensitive to the size of the time step, suggesting that they are dominated not by the calculation of the Laplacian but, rather, by the advection scheme whose space and time truncation errors depend on the distortion of the grid boxes. Heikes and Randall (1995b) have proposed an improvement to the way the grid is constructed that minimizes the box-distortion-dependent errors in the calculation of the Laplacian. Itremains to be seen whether this improvement, or something similar, can reduce the box-distortion-dependent errors in the advection scheme too.
The second source of error identified in the model is the dissipative nature of the advection scheme. Although the dissipation is far weaker than that of a first-order upwind scheme, the estimate of dissipation given in section 3c, the reduced height errors with variance-conserving advection of PV in the test case of section 3c, and the weakening of the lows in the test case of section 3d are all evidence that dissipation is a source of error. The dissipation associated with upwind biased forward-in-time advection schemes does tend to decrease as the order of accuracy of the schemes increases (e.g., Leonard 1991). However, it is not clear if there is a lower limit (greater than zero) to the strength of dissipation of such a scheme or what that limit might be, particularly if we insist that the scheme be shape preserving. Also, it is a far from trivial exercise to extend the advection scheme used here beyond its current order of accuracy on the hexagonal–icosahedral grid. Whether such dissipation errors are important or not in practice will depend on the proposed application of the model and on the timescales of other dissipative processes, such as radiation (or its shallow-water analog, depth relaxation), included in the model.
Acknowledgments
I am grateful to Piotr Smolarkiewicz and two anonymous reviewers, whose comments led to improvements of this paper, and to Andrew Gregory for many interesting discussions on time schemes and on extensions of the methods presented here. I appreciate the help of John Truesdale in getting hold of the reference solutions for the test cases described in section 3. This work was carried out under the U.K. Universities Global Atmospheric Modelling Programme funded by the U.K. Natural Environment Research Council.
REFERENCES
Augenbaum, J. M., and C. S. Peskin, 1985: On the construction of the Voronoi mesh on a sphere. J. Comput. Phys.,14, 177–192.
Bates, J. R., Y. Li, A. Brandt, S. F. McCormick, and J. Ruge, 1995: A global shallow-water numerical modelbased on the semi-Lagrangian advection of potential vorticity. Quart. J. Roy. Meteor. Soc.,121, 1981–2005.
Cullen, M. J. P., 1974: Integrations of the primitive equations on a sphere using the finite element method. Quart. J. Roy. Meteor. Soc.,100, 555–562.
——, and T. Davies, 1991: A conservative split-explicit integration scheme with fourth-order horizontal advection. Quart. J. Roy. Meteor. Soc.,117, 993–1002.
Haynes, P. H., and M. E. McIntyre, 1990: On the conservation and impermeability theorems for potential vorticity. J. Atmos. Sci.,47, 2021–2031.
Heikes, R., 1993: The shallow water equations on a spherical geodesic grid. Colorado State University, Department of Atmospheric Science Paper 524, 175 pp. [Available from Department of Atmospheric Science, Colorado State University, Fort Collins, CO 80521.].
——, and D. A. Randall, 1995a: Numerical integration of the shallow-water equations on a twisted icosahedral grid. Part I: Basic design and results of tests. Mon. Wea. Rev.,123, 1862–1880.
——, and ——, 1995b: Numerical integration of the shallow-water equations on a twisted icosahedral grid. Part II: A detailed description of the grid and an analysis of numerical accuracy. Mon. Wea. Rev.,123, 1881–1887.
Hoskins, B. J., M. E. McIntyre, and A. W. Robertson, 1985: On the use and significance of isentropic potential vorticity maps. Quart. J. Roy. Meteor. Soc.,111, 877–946.
Hsu, Y.-J. G., and A. Arakawa, 1990: Numerical modeling of the atmosphere with an isentropic vertical coordinate. Mon. Wea. Rev.,118, 1933–1959.
Jakob, R., J. J. Hack, and D. L. Williamson, 1993: Solutions to the shallow water test set using the spectral transform method. NCAR Tech. Note NCAR/TN-388+STR, 82 pp. [Available from National Center for Atmospheric 0Research, Boulder, CO 80303.].
Leonard, B. P., 1991: The ULTIMATE conservative difference scheme applied to unsteady one-dimensional advection. Comput. Methods Appl. Mech. Eng.,88, 17–74.
——, M. K. MacVean, and A. P. Lock, 1993: Positivity preserving schemes for multidimensional advection. NASA Tech. Memo. 106055 ICOMP-93-05, Institute for Computational Mechanics in Propulsion, Lewis Research Center, Cleveland, OH, 62 pp.
——, A. P. Lock, and M. K. MacVean, 1996: Conservative unrestricted-time-step multidimensional constancy-preserving advection schemes. Mon. Wea. Rev.,124, 2588–2606.
Leslie, L. M., and R. J. Purser, 1995: Three-dimensional mass-conserving semi-Lagrangian scheme employing forward trajectories. Mon. Wea. Rev.,123, 2551–2556.
Lin, S.-J., and R. B. Rood, 1996: Multidimensional flux-form semi-Lagrangian transport schemes. Mon. Wea. Rev.,124, 2046–2070.
——, W. C. Chao, Y. C. Sud, and G. K. Walker, 1994: A class of van Leer–type transport schemes and its application to moisture transport in a general circulation model. Mon. Wea. Rev.,122, 1575–1593.
Malcolm, A. J., 1994: Evaluation of a numerical scheme on a test set of problems for the shallow water equations. U.K. Meteorological Office, Forecasting Research Division Tech. Rep. 122, 39 pp. [Available from U.K. Meteorological Office, London Road, Bracknell, RG12 252, United Kingdom.].
Masuda, Y., and H. Ohnishi, 1986: An integration scheme of the primitive equations model with an icosahedral–hexagonal grid system and its application to the shallow water equations. Proc. WMO/IUGG Symp. on Short- and Medium-Range Numerical Weather Prediction, Tokyo, Japan, Japan Meteorological Society, 317–326.
McIntyre, M. E., 1992: Atmospheric dynamics: Some fundamentals with observational implications. Proc. Int. School Physics “Enrico Fermi,” 313–386.
Rančić, M., J. R. Purser, and F. Mesinger, 1996: A global shallow water model using an expanded spherical cube: Gnomonic versus conformal coordinates. Quart. J. Roy. Meteor. Soc.,122, 959–982.
Rasch, P. J., 1994: Conservative shape-preserving two-dimensional transport on a spherical reduced grid. Mon. Wea. Rev.,122, 1337–1350.
Sadourny, R., A. Arakawa, and Y. Mintz, 1968: Integration of the non-divergent barotropic vorticity equation with an icosahedral-hexagonal grid for the sphere. Mon. Wea. Rev.,96, 351–356.
Smolarkiewicz, P. K., and P. J. Rasch, 1991: Monotone advection on the sphere: An Eulerian versus semi-Lagrangian approach. J. Atmos. Sci.,48, 793–810.
——, and L. G. Margolin, 1993: On forward-in-time differencing for fluids: Extension to a curvilinear framework. Mon. Wea. Rev.,121, 1847–1859.
Staniforth, A., and J. Côté, 1991: Semi-Lagrangian integration schemes for atmospheric models—A review. Mon. Wea. Rev.,119, 2206–2223.
Temperton, C., and A. Staniforth, 1987: An efficient two-time-level semi-Lagrangian semi-implicit integration scheme. Quart. J. Roy. Meteor. Soc.,113, 1025–1039.
Thuburn, J., 1995: Dissipation and cascades to small scales in numerical models using a shape-preserving advection scheme. Mon. Wea. Rev.,123, 1888–1903.
——, 1996a: Multidimensional flux-limited advection schemes. J. Comput. Phys.,123, 74–83.
——, 1996b: A PV-based shallow water model on a hexagonal-icosahedral grid. UGAMP Tech. Rep. 40, 93 pp. [Available from Centre for Global Atmospheric Modelling, Department of Meteorology, University of Reading, Reading RG6 6AH, United Kingdom.].
Walsteijn, F. H., 1994: Robust methods for 2D turbulence. J. Comput. Phys.,114, 129–145.
Williamson, D. L., 1968: Integration of the barotropic vorticity equation on a spherical geodesic grid. Tellus,20, 642–653.
——, and P. J. Rasch, 1989: Two-dimensional semi-Lagrangian transport with shape-preserving interpolation. Mon. Wea. Rev.,117, 102–129.
——, J. B. Drake, J. J. Hack, R. Jakob, and P. N. Swarztrauber, 1992: A standard test set for numerical approximations to the shallow water equations in spherical geometry. J. Comput. Phys.,102, 211–224.
APPENDIX A
Multigrid Elliptic Solver
This appendix summarizes the multigrid method used to solve Poisson’s equation and the elliptic equation that arises in taking a semi-implicit time step. The hierarchy of grids for different model resolutions, described in section 2a, is also the natural hierarchy of grids to use in a multigrid solver. Figure A1 illustrates schematically the relationship between grid boxes on one grid and grid boxes on the next coarser grid.
An outline of the algorithm for solving Poisson’s equation (12) is as follows.
The quantity ζk on the right-hand side of the equation is projected onto successively coarser grids by area-weighted averaging.
A solution is calculated by iterated relaxation on the coarsest grid.
This solution is interpolated to the next finer grid; some of the box centers on the finer grid coincide with box centers on the coarser grid and so they simply take the corresponding value of the solution. The remaining box centers take interpolated values of the solution. A linear interpolation between two neighboring boxes is used.
A few relaxation sweeps are performed in which only the interpolated box values are relaxed.
A solution is calculated on this grid by iterated relaxation.
The process of going to finer grids is repeated until the solution is found at the full model resolution.
A Gauss–Seidel iteration, in which updated values
The interpolation of a partial solution to a finer grid is straightforward. If the center of a grid box on grid i + 1 coincides with the center of a grid box on grid i, then the solution is simply copied into the box on the finer grid. Each other grid box on grid i + 1 lies between two grid boxes on grid i, so the value in the box on grid i + 1 is set to the mean of the values in the two boxes on grid i. This linear interpolation from grid i to grid i + 1 causes a weak damping of features in the solution close to the grid scale of grid i, and extra iterations on grid i + 1 are required to restore them to their full amplitude. An efficient way to do this is to perform a few sweeps in which only the interpolated values (not the copied values) are relaxed. In all the tests presented here three such partial sweeps are performed on each grid. [An alternative approach is to use a quadratic interpolation (Heikes and Randall 1995a).]
The quantity R in (35) is projected onto successively coarser grids by area-weighted averaging. The intermediate value of the absolute vorticity,
, is also projected onto successively coarser grids.ζ(+)a Solutions for both δm+1 and χm+1 are calculated by iterated relaxation on the coarsest grid. Term
is regularly recalculated from the latest estimate of χm+1, allowing an improved estimate of the right-hand side of (35) to be calculated. However, this calculation is expensive and so it is only carried out every Nskip iterations. Here Nskip = 4 for all the test results presented.vm+1div These solutions are interpolated to the next finer grid; some of the box centers on the finer grid coincide with box centers on the coarser grid and therefore take the corresponding value of the solution. The remaining box centers take interpolated values of the solution.
A few relaxation sweeps are performed in which only the interpolated values are relaxed.
Solutions are calculated on this grid by iterated relaxation.
The process of going to finer grids is repeated until the solutions are found at the full model resolution.
The number of iterations taken on each grid in the hierarchy is given in Table A1. Tests in which the number of iterations on each grid was doubled showed no discernible difference in the results.
APPENDIX B
Preliminary Box Edge Values for the Advection Scheme
(a) Regular icosahedron. (b) Grid obtained by subdividing each face of the icosahedron into four triangles and then projecting the new vertices onto the surface of the sphere.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Model grids 3 and 4 in the hierarchy.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Schematic showing the quantities used to calculate the finite-difference Laplacian (12). The index i in (12) runs over i1, i2, . . . , i6.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Schematic showing the ψ values used to calculate the normal and tangential components of the rotational wind at the box edge indicated by the heavy line [(13) and (14)]. Here ψ1, . . . , ψ4 are values at the box centers; ψL and ψR are values at vertices.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Results of the advection test case. Upper left: grid 5, computed solution (solid contours) and exact solution (dashed contours), contour interval 100 m. Upper right: grid 5, computed solution minus exact solution, contour interval 100 m. Lower left: grid 6, computed solution (solid contours) and exact solution (dashed contours), contour interval 100 m. Lower right: grid 6, computed solution minus exact solution, contour interval 25 m.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Longitude–latitude maps of surface elevation for the flow over a mountain test case, contour interval 100 m. Top: day 5. Middle: day 10. Bottom: day 15.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
As in Fig. 6 except that the field shown is the computed solution minus the reference solution, contour interval 5 m.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Normalized global invariants as functions of time (in days) for the flow over a mountain test case. Upper left: mass. Upper right: energy. Lower left: potential enstrophy.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Longitude–latitude maps of depth for the Rossby–Haurwitz wave test case, contour interval 200 m. Top: day 1. Middle: day 7. Bottom: day 14.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Longitude–latitude maps of computed depth minus reference solution depth for the Rossby–Haurwitz wave test case. Top: day 1, contour interval 2 m. Middle: day 7, contour interval 10 m. Bottom: day 14, contour interval 100 m.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Longitude–latitude maps of depth for the Rossby–Haurwitz wave test case with 300-s time step, contour interval 200 m. Above: day 7. Below: day 14.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Longitude–latitude maps of PV for the Rossby–Haurwitz wave test case, contour interval 2 × 10−9 m−1 s−1. Top: day 0. Middle: day 7. Bottom: day 7 for the reference solution.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Northern Hemisphere initial conditions for the test case using analyzed height field initial data. Left: depth, contour interval 100 m. Right: PV, contour interval 2 × 10−9 m−1 s−1. The Greenwich meridian is toward the bottom of the figure.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Northern Hemisphere fields at day 1 for the test case using analyzed height field initial data. Left: depth, contour interval 100 m. Right: computed depth minus reference solution depth, contour interval 5m.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Northern Hemisphere fields at day 5 for the test case using analyzed height field initial data. Left: depth, contour interval 100 m. Right: computed depth minus reference solution depth, contour interval 25 m.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Northern Hemisphere PV for the test case using analyzed height field initial data, contour interval 2 × 10−9 m−1 s−1. Left: day 1. Right: day 5.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Fig. A1. Illustration of the relationship between grid boxes on one grid (thin lines) and on the next coarser grid (heavy lines).
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Fig. B1. Schematic showing the values used to calculate the advective flux at an outflow edge of a hexagonal box, indicated by the heavy line.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Fig. B2. Schematic showing the values used to calculate the advective flux at an outflow edge of a pentagonal box, indicated by the heavy line.
Citation: Monthly Weather Review 125, 9; 10.1175/1520-0493(1997)125<2328:APBSWM>2.0.CO;2
Properties of the model grid for different resolutions. Here Ngrid indicates which grid in the hierarchy; Nbox is the number of grid boxes; Neq is the number of grid boxes around the equator; Aave is the average grid box area; Amin is the minimum gridbox area; Amax is the maximum grid box area; dave is the average distance between the centers of neighborings grid boxes; dmin is the minimum distance between the centers of neighboring grid boxes; dmax is the maximum distance between the centers of neighboring grid boxes; and Tequiv is the approximate equivalent spectral truncation based on the number of degrees of freedom.
CPU cost as a function of resolution on one processor of a Cray YMP8 computer. Here Ngrid indicates which grid in the hierarchy; Δt is the time step.
Table A1. Number of iterations taken by the multigrid solver on each grid.