1. Introduction
A concept of “hydrostatic inconsistency” has been advanced in several previous papers (Rousseau and Pham 1971; see also references in Haney 1991 and MEO) and defined by |(σδxH)/Hδσ)| > 1; we do not believe the concept is particularly meaningful. The error in (1) is actually proportional to (δσ)2 − σ2(δxH/H)2 so that |(σδxH)/Hδσ)| = 1 represents a locus of minimum error. However, the important point is that the error limits to zero as (δσ)2 and (δH)2 → 0 on an error field of (δσ)2 versus (δH)2. For typical applications, (δσ)2 is relatively small so that the gridpoint change in H dominates the error.
The model used to explore these matters in the first part of MEO was a two-dimensional version of the Princeton Ocean Model (POM) (Blumberg and Mellor 1987; Mellor 1996). Even without subtracting the area-averaged density from the initial density field, it was found that the initial velocity error, incurred after the model was spun up from rest diagnostically (density held constant), decayed to zero prognostically. The density field perturbed advectively to a new state that just canceled out the original numerical density error. Note again that this finding was a two-dimensional result, as is the error given by Eq. (1). Thus, the error that has been the focus of much previous discussion and journal exposure is, we believe, quite benign. We will henceforth refer to this as a sigma error of the first kind (SEFK).
In three-dimensional models, we have, in the past, detected an error that does not vanish prognostically. In this paper, we determine that it is a sigma coordinate error; it is a vorticity error; it is smaller than SEFK before decay; and it is nil for two-dimensional flows but not for three-dimensional flows. In the theoretical continuum limit, any initial error should decay advectively, as shown in appendix A. In a finite difference calculation, SEFK also decays; however, the vorticity error, which we will call a sigma error of the second kind (SESK), does not. We illustrate this error for the test seamount problem initiated by Beckman and Haidvogel (1993, henceforth BH).
In sections 2, 3, and 4, we specialize to a numerical model with zero horizontal diffusivity as in BH. Appendix A contains theory that aids qualitative understanding of the numerical results. In appendix B, an analysis and discussion of errors associated with horizontal and isosigma diffusion are provided.
2. The seamount problem with no forcing and zero diffusivity; SPEM results
The BH paper applied the Semi Spectral Primitive Equation Model (SPEM; see Haidvogel et al. 1991; Hedstrom 1990) to the case of the idealized seamount illustrated in Fig. 1. The SPEM model is a sigma coordinate model that has some similarities to the POM model. The major difference, relative to the topic of this paper, is that SPEM represents vertical variations of properties by a series expansion in Chebyshev polynomials, whereas the POM model discretizes vertical variations using finite difference algebra.
Beckman and Haidvogel (1993) ran the SPEM model with no external forcing so that, theoretically, there should be no motion. Motion, attributed to the sigma coordinate error, was obtained, however; the maximum velocity for the case rmax = 0.21 is plotted in Fig. 2 (BH’s Fig. 6) and the 10-day value is tabulated in Table 1 (their Table 2a with intermediate Burger numbers deleted). One sees that, for S ≥ 1, the error is linearly increasing at 10 days and the cases with S ≥ 6 have blown up or are in the process of blowing up. One is tempted to speculate that the other cases would suffer the same fate for long enough integration times. More recently, the error has been reduced by higher-order differencing of the horizontal pressure gradients (McCalpin 1994), and we have learned (D. Haidvogel 1996, personal communication) that SPEM has converted to vertical finite differencing. One supposes that the present paper will apply to the revised SPEM with lowest-order differencing.
3. The linearized POM model
In POM, the first two terms on the right side of (13a), using (13c), are written −gH∂η/∂x − H
The model grid replicated the BH grid. The number of grid points is 64 (x direction) × 48 (y direction) × 10 (sigma direction). The reference calculation used a grid size, δx and δy, that varied from 8 km far from the center of the seamount to 4 km close to the seamount, which yields a value of rmax = 0.21; the grid sizes may be varied in order to vary r. In this paper, POM uses 10 equally spaced sigma layers. The differences in the SPEM and POM were 1) the aforementioned vertical discretization; 2) SPEM has a rigid lid, whereas POM has a free surface; and 3) POM uses a harmonic viscosity, AM = 2000 m2 s−1, instead of a biharmonic viscosity, scaled here to conform approximately to the biharmonic coefficient used by BH at the grid size of 6 km. (Ordinarily, POM uses a nonlinear Smagorinsky diffusivity.) This AM value is, however, quite large for the present grid size and we will shortly consider smaller values.
The result of the POM calculations is shown in Fig. 3 and Table 2. The behavior of the POM model differs significantly from that of Fig. 2 and Table 1. The POM errors are smaller and, more importantly, cease to grow after a short time so long as S ⩽ 8. Also, the POM model is able to deal with large values of rmax. Note that the maximum possible value with the present seamount geometry is 0.82; it is the case where the seamount is represented by a single grid point, where H = 450 m surrounded by grid points, and where H = 4500 m.
For S = 0 and an error in the horizontal pressure gradient, the associated velocity field oscillates and decays in time and finally asymptotes to a constant value; the density field is unchanged. For S > 0 and an error in the horizontal pressure gradient, the associated velocity field oscillates and decays in time and asymptotes to zero; a small compensating density change is created by the model.
In other words, there is a discontinuity in behavior of the system with respect to S. This partially explains the behavior of the solutions in Fig. 3. Of course, the S = 0 case is an artifact of the division of density into a background density and a disturbance density wherein the background density is nil and, relatively, the “disturbance density” is not small.
So long as No ∝ S > 0, the velocity error, according to appendix A, should decay completely. We label this decaying error, that associated with Eq. (1), as an SEFK.
4. A sigma error of the second kind (SESK)
Although the velocity error exhibited in Fig. 3 and Table 2 are generally small, we find that they differ from that detailed in MEO, which disappeared prognostically in two-dimensional problems and which, according to appendix A, should decay. In Fig. 3, the errors do decay but asymptote to a nonzero value.
We now believe that there is another kind of error at play, a vorticity error. Thus, in forming vorticity from (8a), (8b), one uses ∂2p*/∂x*∂y* − ∂2p*/∂y*∂x* = 0; the same cancellation may be obtained analytically from the first two terms on the right sides of (13a), (13b). However, in the finite difference version, we find that cross-differentiation of (13a), (13b) results in a nonzero vorticity error.
A vertically integrated diagnostic evaluation of (17) shows that the SESK is balanced by the viscous term; the Coriolis term, related to water column stretching, is small. This vorticity error is the t → ∞ asymptote displayed in Fig. 3. Except for the S = 0 case, it is independent of S simply because the initial disturbance b′ is independent of S. In Table 3, we give the results of calculations for a horizontal viscosity reduced by a factor of 10. For the smaller values of rmax one obtains a maximum velocity increased by a factor of 8 over that reported in Table 2, so there is near-linearity of error and inverse viscosity. Note that, somewhat surprisingly, the case S = 10 is now stable. Since this is a larger stratification than encountered in the ocean and a viscosity of 200 m2 s−1 is somewhat larger than typical for this resolution, we have not probed further to find the stabilty limits as a function of S and AM.
5. Return to the nonlinear model
A primary finding is that, with the same initial conditions [(3) and (4)], this system of equations, when integrated numerically with AH = 0, behaves almost exactly as did the linear system. The exception is the S = 0 case in Fig. 3, which now also decays to the asymptotic SESK value after about 5 days. Thus, in retrospect, there may have been no compelling need to deal with the linear equations. However, there are the virtues of connecting with the BH paper, the theoretical development of appendix A, and the very fact that we have established the equivalence of the linear and nonlinear sets of equations for the problem of this paper.
In appendix B, we find that horizontal and isosigma diffusion are additional sources of error. Therefore, we end this paper with a demonstration that this diffusion can be set to zero in a nonlinear calculation of the seamount problem with throughflow. We set a uniform velocity of 20 cm s−1 at inflow and radiation conditions for both the external and internal velocities at outflow. The initial density and density inflow, ρ = ρr + ρ′, is given by (3) and (4). The initial density field, after transforming to σ space, is subtracted prior to calculating the integrals in (23a), (23b) since its horizontal gradients in z space are nil. The run time was 30 days and there were no numerical instabilities. In Fig. 6, we show the differences between the instantaneous density at day = 2 and the initial, horizontally homogeneous, density at a depth of 2000 m. The SEFK velocity error is expected to vanish. For this calculation we have used the Smagorinsky diffusivity; in the vicinity of the seamount, it gave values in the range 50–120 m2 s−1. By comparing the difference in calculated density and initial density (the difference being due to throughflow dynamics) with the results of Tables 2 and 3 (or Fig. 7 with AH = 0 in appendix B), and since the error is linearly related to density perturbation and inverse viscosity, it is possible to make a rough estimate of the maximum SESK velocity error; it is less than 0.5 cm s−1.
6. Summary
Two kinds of sigma coordinate errors, which we have labeled SEFK and SESK, have been identified. For the sigma coordinate error frequently discussed in the literature and evaluated in Eq. (1), the prognostic response from quiescent initial conditions is, first creation of a velocity error field, then creation of a compensating density perturbation field, and finally complete decay of the velocity error field. The SEFK velocity error vanishes due to advection of the density field, which causes a cancellation of the velocity error (Mellor et al. 1994), as demonstrated theoretically in appendix A. This SEFK behavior is operative for two- and three-dimensional problems. On the other hand, the SESK velocity error does not vanish but is small and can be made smaller by subtracting a horizontally averaged initial density before computing the baroclinic integrals. Smoothing the topography to reduce the largest value of |δH|/
As discussed in appendix B, addition of horizontal or isosigma diffusion adds other kinds of error. However, POM seems to execute smoothly with zero diffusion.
Acknowledgments
This research was suported by Office of Naval Research Grant N0014-93-0037 and by the computational support and facillities of NOAA’s Geophysical Fluid Dynamics Laboratory. The constructive comments of reviewers resulted in an improved paper.
REFERENCES
Baringer, M. O., and J. F. Price, 1997a: Mixing and spreading of the Mediterranean outflow. J. Phys. Oceanogr.,27, 1654–1677.
——, and ——, 1997b: Momentum and energy balance of the Mediterranean outflow. J. Phys. Oceanogr.,27, 1678–1692.
Beckman, A., and D. Haidvogel, 1993: Numerical simulation of flow around a tall isolated seamount. J. Phys. Oceanogr.,23, 1736–1753.
Blumberg, A. F., and G. L. Mellor, 1987: A description of a three-dimensional coastal ocean circulation model. Three-Dimensional Coastal Ocean Models, N. Heaps, Ed., Coastal Estuarine Science, Vol. 4, Amer. Geophys. Union, 1–16.
Ezer, T., and G. L. Mellor, 1997: Simulations of the Atlantic Ocean with a free surface sigma coordinate model. J. Geophys. Res.,102, 15 647–15 657.
Gary, J. M., 1973: Estimate of truncation error in transformed coordinate, primitive equation atmospheric models. J. Atmos. Sci.,30, 223–233.
Haidvogel, D. B., J. L. Wilkins, and R. E. Young, 1991: A semi-spectral primitive equation ocean circulation model using vertical and orthogonal curvilinear horizontal coordinates. J. Comput. Phys.,94, 151–185.
Haney R. L., 1991: On the pressure gradient force over steep topography in sigma coordinate models. J. Phys. Oceanogr.,21, 610–619.
Hedstom, K. S., 1990: User’s manual for a semi-spectral primitive equation regional ocean-circulation model, version 3.0. Institute for Naval Oceanography Tech. Note FY90-2, 90 pp. [Available from IMCS, 71 Dudley Rd., New Brunswick, NJ 08901.].
Jungclaus, J., and J. O. Backhaus, 1994: Application of a transient reduced gravity plume model to the Denmark Strait overflow. J. Geophys. Res.,99, 12 375–12 396.
McCalpin, J. D., 1994: A comparison of second-order and fourth-order pressure gradient algorithms in a σ-coordinate ocean model. Int. J. Numer. Methods Fluids,18, 361–383.
Mellor, G. L., 1996: User’s guide for a three-dimensional, primitive equation, numerical ocean model. Princeton University Rep. Princeton University, Princeton, NJ, 40 pp. [Available from Princeton University, Princeton, NJ 08540.].
——, and A. F. Blumberg, 1985: Modeling vertical and horizontal diffusivities with the sigma coordinate system. Mon. Wea. Rev.,113, 1379–1383.
——, and X. H. Wang, 1996: Pressure compensation and the bottom boundary layer. J. Phys. Oceanogr.,26, 2214–2222.
——, T. Ezer, and L.-Y. Oey, 1994: The pressure gradient conundrum of sigma coordinate ocean models. J. Atmos. Oceanic Technol.,11, 1126–1134.
Rousseau, D., and H. L. Pham, 1971: Premiers resultat d’un modele de prevision numerique à courte escheance sur l’Europe. Meteorologie,20, 1–12.
Zavatarelli, M., and G. L. Mellor, 1995: A numerical study of the Mediterranean Sea circulation. J. Phys. Oceanogr.,25, 1384–1414.
APPENDIX A
The Oscillatory Decay of SEFK
Here we create an analytical model of the behavior of our numerical model. It will be justified only insofar as it conforms qualitatively to the behavior of our numerical solutions and helps explain their behavior. We will explicitly model the pressure (or density) gradient error due to bottom slope but, to simplify the mathematics, we will deal with a flat bottom. To justify this step, we have performed numerical calculations with the pressure gradient terms and error calculated using the seamount topography but otherwise setting H = constant = 4500 m in Eqs. (12), (13a)–(13c), and (14), thus mimicking the simplified analytical model. As expected, the solutions behave qualitatively the same as before, and, in fact, there are only 20%–30% quantitative differences.
The case of nonzero viscosity and zero diffusivity
However, without expending further effort, we learn from Eq. (A15) that b′ asymptotes to a nonzero field as t → ∞ whereas, from (A16), w, and therefore u and v, first increase and then finally decay to zero. The motions are oscillatory. This behavior corresponds to the SEFK portion of the S > 0 plots of Fig. 3.
The case of nonzero diffussivity
APPENDIX B
The Linear Equations Including Isosigma and Horizontal Diffusivity
In this paper, we have studied the errors labeled SEFK and SESK. Aditional errors due to horizontal or isosigma diffusion exist and for completeness are discussed here.
We have rerun the numerical model for the standard case, S = 4, rmax = 0.21, and, now, AH = AM = 2000 m2 s−1. For large t, we now obtain the SEFK error, a finite difference numerical error, plus additional maximum velocity that we consider an error but that is built into the governing differential equation. It is due to the fact that gradients are reckoned along sigma surfaces so that, in a situation where isopycnals in Cartesian coordinates are horizontal, then there is effective vertical diffusion. This is accordance with the theory at the end of appendix A. We find that the total error has increased from 0.08 to 3.7 cm s−1. Figure 7 presents results in the form of the maximum velocity error as a function of AH and the inverse Prandtl number AH/AM. A lesson is that one might profitably set AH < AM.
How about rotating the diffusion so that it is horizontal? Thus, instead of (B3a), (B3b), we insert qx = AH [∂b′/∂x − σ(∂H/∂x)∂b′/∂σ] together with a similar formula for qy. A calculation reveals that the error reverts to 0.08 cm s−1, the SESK error. The question is, why not reformulate (B3a), (B3b)? The answer is external to this paper. The papers by Mellor and Blumberg (1985) and Mellor and Wang (1996) specifically model bottom boundary layers for which, of course, one needs to explicitly add vertical diffusion to (14). The problems treated in those papers were two-dimensional (x, σ) and the models ran without horizontal diffusion. We have returned to the code used in that paper and found that (B3a), (B3b)—reformulated so that diffusion is rotated to the horizontal and AH = 2000 m2 s−1—interacts unfavorably with the vertical diffusion so that the bottom boundary behavior differs importantly from the realistic boundary layer properties produced by Mellor and Wang with AH = 0. The reason is that horizontal diffusion has a large component normal to a sloping bottom that competes deleteriously with the vertical diffusivity; physically, at the bottom, the normal component of momentum and scalar diffusion should be nil. Most of these findings were discussed in the paper by Mellor and Blumberg (1985), in which the point is made that the unhealthy interaction of horizontal diffusion and vertical diffusion near a sloping bottom is not uniquely a sigma coordinate problem but probably endemic to all models. Furthermore, we have seen that bottom flows like the Western Boundary Undercurrent (Ezer and Mellor 1997) and deep water formation (Zavatarelli and Mellor 1993) are well represented by the POM model even with crude resolution near the bottom since downslope Ekman transport is correctly modeled.
For the problem treated in this paper, POM is numerically tolerant of zero diffusion. We have also seen this to be the case in an Atlantic Ocean basin model. We do not know if zero diffusion will work in cases with, say, very crude resolution in which case one can set AH/AM to a small value; Fig. 7 suggests a value like 0.2. Another way of dealing with nonzero diffusion is to subtract a climatological density (or temperature and salinity) before computing fluxes as in (B3a), (B3b). Furthermore, the climatological density (or temperature and salinity) fields can be made to slowly adjust to the prognostic fields according to dρclim/dt = α(ρ − ρclim), where α is the inverse of a decay time. We have executed the problem of Fig. 6 with AH/AM = 1 and a decay time of 2 days and obtained very nearly the same results as those shown in Fig. 6 for AH/AM = 0.
Maximum velocity (cm s−1) after 10 days of integration of the unforced exponential stratification. The dash denotes the case where the computation could not be continued to day 10. Decimated table from Beckman and Haidvogel (1993).
Maximum velocities (cm s−1) after 100 days of integration of the POM model. The viscosity is AM = 2000 m2 s−1 and the diffusivity is nil. The asterisk indicates cases in which the calculation becomes unstable. For the stable cases, the values at 10 days and 100 days are nearly the same.
Maximum velocities (cm s−1) after 10 days of integration of the POM model. The viscosity is AM = 200 m2 s−1 and the diffusivity is nil.