Analytical Solutions for Testing of Baroclinic and Wind-Driven Three-Dimensional Hydrodynamic Models ()
1. Introduction
Various numerical methods for the solution of the Navier-Stokes equations have been applied to the complex issues of flood routing, tidal circulation, storm surges and contaminant transport in coastal areas. Proof of the utility of such methods is often demonstrated by comparison of the computed variables with field observations. However, this type of comparison is often incapable of adequately and accurately verifying the dynamics simulated by the numerical model in the study region [1]. The limitations of this approach are largely due to inadequate data and an incomplete understanding of the behavior of the numerical procedure. Observations of three-dimensional components of flow are rarely available throughout the temporal and spatial domains of interest. Thus, in general, databases are inadequate tools for establishing that an existing numerical model is correctly solving the governing equations. This is particularly true for the vertical velocity component which is usually too small to be measured but is of practical importance to such phenomena as coastal upwelling.
The precision with which a numerical scheme solves the full governing equations should also be established, but because of the nonlinearities in the equations, this is difficult to ascertain precisely. Furthermore, the effect of an irregularly shaped boundary on the accuracy of the numerical solution is generally not completely known, although it is acknowledged to be important.
Due to the lack of suitable analytical solutions for testing the output of three-dimensional numerical models, authors [2]-[5] may often resort to comparing various models with one another. The difficulty with this approach is that it is hard to determine which model is correct. The various sources of error and uncertainty in verification can sometimes be obscured in the numerical solution by the adjustment of parameters such as bathymetry, the eddy coefficient, and the bottom drag coefficients.
Several modelers have developed analytical solutions to aid in the development and verification of various models. Zamani and Bombardelli [6] developed four one-dimensional analytical solutions designed to help code verification; these solutions are able to handle the challenges of the scalar transport equation including nonlinearity and spatiotemporal variability of the velocity and dispersion coefficient, and of the source term. Then, a solution of Burgers’ equation in a novel setup was presented. In order to assist in verifying different terms of one- or two-dimensional Shallow Water equations, Delestre et al. [7] collected a number of analytic solutions scattered throughout the literature of various scientific disciplines. By facing similar challenges in different flow study fields, researchers [8]-[10] developed a wide range of analytical solutions or methods to verify different flow simulations. For an open flow field, it is difficult to properly resolve the boundary condition for an analytical solution. In general, they can be divided into “open basin” solutions with an offshore boundary condition and “closed basin” solutions without an offshore boundary condition. By far the most widely used analytical solutions for the purposes of verification of coastal numerical models are the solutions for quarter-annular geometry. This geometry is particularly useful as a test of a model’s ability to accurately simulate a curved boundary. The analytical solution for the depth-averaged case was developed by Lynch and Gray [11] for constant, linear, and quadratic bathymetry for both steady-state wind setup and periodic tidal response. Their analytical solution was extended to three dimensions and rotation by Lynch and Officer [12]. Lynch and Werner [13] calculated and displayed this analytical solution for tidal oscillations near a circular island where the tidal amplitude at the open ocean boundary varies with position. Muccino et al. [14], who recognized the importance of vertical velocity, gave an expression for the vertical velocity associated with the Lynch and Officer case but with a spatially constant tidal amplitude forcing at the open boundary. Hannah and Wright [15] tested a three-dimensional finite element model with an analytical solution for linear depth-dependent wind-driven flows along a rotating coastline. All of these analytical solutions deal with unstratified water bodies. Once stratification over a sharp variable bathymetry is added, numerical models have considerable difficulty resolving the baroclinic terms, especially in the coordinate system [16], such that analytical solutions are needed in the stratified case as well.
Farrow and Patterson [17] [18] developed analytical solutions for two thermally driven flows for a two-dimensional linearly sloping bottom, neglecting advection but allowing for vertical diffusion. In closed basins, several modelers have exploited wind-driven, flat-bottomed analytical solutions. However, Mass and Lam [19] presented some free modes of oscillation over variable topography, uniform rate of stratification, no friction or diffusion, but linearized advection in a two-dimensional closed basin. Their solutions are interesting as there is a two-way coupling between the mass and velocity fields through advection, unlike the solutions of Farell and Patterson [17] [18] and Fortatuno and Baptista [20] where the density field was prescribed. As forcing and friction are neglected in the solutions of Mass and Lam [19], it is not clear how they can be used in coastal model validation.
In this paper, the analytical solutions were developed aimed at verifying three-dimensional hydrodynamic models, especially for improving the numerical schemes used when calculating the baroclinic terms. The solution starts with solving the vertical temperature diffusion equation in a quarter annulus. This produces a variable density field which, in turn, drives the circulation. Wind forcing is also included in the solution. For simplicity, advection, horizontal diffusion, free surface and rotation terms are neglected. However, heat flux through water surface, bottom and internal friction, wind stress, and variable bathymetry have been incorporated into the equations. A solution for the dynamic steady state with a periodic forcing function is obtained. The vertical velocity is computed from the continuity equation. A general power law dependence of depth with offshore distance allows for the testing of numerical schemes for various degrees of bottom slope. In line with the philosophy that these solutions are useful primarily as tools for model verification rather than solutions to actual field problems, emphasis is placed on periodic solutions and other departures from geophysical realistic flows.
2. Analytical Solution in σ-Coordinate System
A similar quarter annular bathymetry and radial coordinate system as used by Lynch and Officer [11] was adopted in this study and is shown in plan and section views in Figure 1(a) and Figure 1(b), respectively. Because the governing equations, boundary conditions and domain geometry do not depend on the azimuthal direction, variation occurs only in the radial and vertical directions.
Figure 1. A vertical cross-section of the simulation domain grids. In the top panel, the grid is shown in radial coordinates, with the Y-axis representing the water depth and the X-axis representing the radial coordinate. The bottom panel shows the grid in the σ-coordinate after transformation. The Y-axis represents the normalized water depth range from 0 to −1 and the grid becomes uniform as a result.
The stratification is generated by a periodic heat flux applied to the water surface. Here we seek periodic solutions of the form
for temperature and velocity. The governing equation of temperature in linearized and harmonic form, with the horizontal diffusion and advection terms neglected is:
(1)
at the surface
(2)
and at the bottom
(3)
in which
is the complex amplitude of the temperature,
is the diffusivity of temperature, ω is the radian frequency,
is the amplitude of the heat flux at the water surface,
(
and m are constants) is the bathymetric relation, r is the radial coordinate, and
is the amplitude of the temperature specified at the bottom.
is a constant and its reciprocal may be interpreted as the thermal spin-up time.
A spatially varying water depth can be transformed into uniform depth using the σ-coordinate, as shown in Figure 1, which will simplify the numerical formulation.
(4)
In a general σ-coordinate system (where σ = 0 at the free surface and
at the bottom), the governing equation of heat diffusion and its boundary conditions become:
(5)
(6)
(7)
The solution of Equation (5) with boundary conditions (6) and (7) is:
(8)
with
(9)
(10)
(11)
Next, the density field can be calculated from the temperature solution. Here, we assume that density is linearly related to temperature as:
(12)
where aT is constant and b is a reference density, so the complex amplitude of the density difference, Δρ, with respect to the reference density at any point, is:
(13)
The complex amplitude of baroclinic pressure, P0, as a function of depth associated with the density variation is:
(14)
where g is gravity and
is water reference density. The baroclinic term in the radial direction can be computed in σ coordinates:
(15)
After the expression for the baroclinic term has been obtained, the three-dimensional velocity field, driven by baroclinic forcing and wind stress can be computed from the momentum equation. In order to solve the equation analytically, it assumes that the free surface elevation would be zero everywhere at all times. It also assumes that the wind stress has the same frequency as the heat flux through the free surface, and although this solution may not represent any realistic physical flows, it can provide an alternative solution for the purpose of testing numerical schemes and program errors.
The momentum equation, without any advection, rotation, free surface pressure and horizontal diffusion terms is:
(16)
where
is the vertical eddy viscosity, and
is a constant. The horizontal velocity is decomposed by separation of variables with the form
, where
is the unknown complex amplitude of the horizontal velocity, depending only on the vertical coordinate, z, and
. By substituting for u and for the solution to the baroclinic term Equation (15), Equation (16) becomes (in the σ-coordinate system):
(17)
with the boundary conditions,
(18)
and
(19)
where
and
are the wind stress and the bottom slip coefficients, respectively. The general solution to Equation (17) is:
(20)
where
(21)
and Q is the particular solution which has two forms depending on the Prandtl number (
and
), and A and B are constants to be determined. The details of the particular solutions are given in Appendix A.
In the following calculations, we concentrate on the solution of A and B for case
which represents more general applications. The final result of A and B for the case
is given in Appendix B.
As an aid to understanding the steps followed in the solution procedure, the expression for
is given here by differentiating Equation (20) and from Q in Appendix A:
(22)
where
(23)
(24)
Substituting (22) into the boundary conditions (18) and (19) yields;
(25)
(26)
From (25) and (26), the constants A and B can be obtained:
(27)
(28)
in which

(29)
and
(30)
To obtain the complete three-dimensional velocity field, the Cartesian vertical velocity, w0, may be determined from the continuity equation. In three-dimensional cylindrical coordinates, with variation in the azimuthal direction neglected and σ coordinates in the vertical direction, the continuity equation is:
(31)
Integration of Equation (31) vertically over σ from σ to 0 and from σ to −1, and incorporation of the surface boundary conditions,
and the
bottom boundary conditions
, yields:
(32)
and
(33)
Multiplying Equation (32) with (σ + 1) and subtracting Equation (33) multiplied with σ yields:
(34)
In which
,
,
,
,
are:
(35)
(36)
(37)
(38)
and
(39)
3. Test Cases
The solution presented herein incorporates several features which should be of interest to those working with numerical models. The inclusion of wind stress, baroclinic forcing, vertical mixing, bottom friction, nonlinear bottom slope, and horizontal and vertical velocity gives a broad spectrum of conditions against which model features can be tested. The availability of complete solutions for velocity provides the means for verification of the computed flow field, which is in many practical cases the most important aspect of a problem. The solutions for two-dimensional polar geometry are especially interesting, since they can be used to compare with three-dimensional numerical model outputs in a Cartesian coordinate system.
Here, two analytical evaluations have been given to compare with the output of a three-dimensional finite element numerical model output, in order to show the utility of the analytical solution. At the same time, they also show a sensitivity to vertical viscosity which is of considerable practical importance. The detailed description of the three-dimensional finite element model, LACOM3D, (Lake and Coastal Model in Three-Dimensions), and an extensive comparison with different analytical solutions are left to a future study.
We solve this problem on the mesh depicted in Figure 2(a), with 825 nodes and 1536 triangular elements in the horizontal and 16 evenly spaced levels in the vertical. The bottom slope, as shown in Figure 2(b), is quadratic in r (radius) such that
with
. At the surface, the heat flux,
, and the wind stress,
, are applied with
corresponding to a forcing period of 24 hours. The temperature at the bottom,
, and the bottom friction are specified in the examples. The unforced open boundary is applied at both the inner and outer boundaries. The temperature volume expansion coefficient, aT, is determined by a linear least square fit of the general relationship between density and temperature for freshwater, which is −0.169695 kg·m−3 ˚C−1. The diffusivity coefficient,
corresponding to a spin-up time of approximately 1 day, is used during the test period. The numerical model was run from rest. The baroclinic term is computed in the σ coordinate system in LACOM3D as opposed to the z-level coordinate system. The time step is 10 seconds.
![]()
(a)
(b)
Figure 2. (a) Plan view of the quarter annulus with inner and outer boundaries. (b) Cross-sectional view of the quarter annulus with quadratic bottom dependence.
Figure 3(a) and Figure 3(b) display the results for Pr = 1. Since the strongest wind stress and maximum heat flux at the surface are at t = 0 and at 24-hour intervals, and also because the spin-up time is about 24 hours, in Figure 3(a) the comparison of currents and temperatures along a radial cross-section between the analytical and the numerical model outputs at t = 24 hours is given. It can be seen that after a 24-hour spin-up time, the numerical model output matches the analytical result very well. It also shows that the upper portion is dominated by the wind and the lower portion is driven by the broclinic forcing. Figure 3(b) shows that after 102 hours when the external forces are minimal, the baroclinic term controls most of the water body except near the surface due to inertia. Moreover, after four cycles the numerical model does not show any evidence of error accumulation.
(a)
(b)
Figure 3. (a) Comparison of currents and temperature along a radial cross-section between the analytical and the numerical model output for viscosity equal to temperature diffusivity after 24 hours (when external forces are at their maxima). (b) The same comparison as (a) after 102 hours (as external forces are minimal)
The second test uses the same parameters as the first one except that vertical eddy viscosity is 10 times larger than the temperature diffusivity. The results are shown in Figure 4(a) and Figure 4(b). It is obvious that not only the velocity profile is much weaker, but also they are more uniform due to the higher viscosity. These solutions show sensitivity to vertical viscosity, which is of considerable practical importance, and as a result, they constitute a useful test case.
(a)
(b)
Figure 4. (a) The same comparison as Figure 2(a) except for a viscosity 10 times larger than the temperature diffusivity. (b) The same comparison as Figure 3(a) after 102 hours of the simulated real-time.
4. Conclusions
Analytical solutions for baroclinic and wind forcing with internal and bottom friction and varying depth have been given. The solutions differ depending on whether or not the temperature diffusivity is equal to the vertical viscosity. All terms included in the analytical solution are important factors for any three-dimensional numerical models, so it should be a useful tool for verifying three-dimensional models and evaluating different numerical schemes. Though the analytical solution represents a two-dimensional domain in the radial coordinate system, it does not reduce its usefulness for verifying three-dimensional numerical models as most models are constructed using a Cartesian coordinate system.
An obvious improvement to the analytical solutions obtained in this paper would be to include the free surface term. Moreover, the inclusion of advection and rotation would be valuable. Continual research into the development of analytical solutions for wider ranges of numerical model testing will be pursued in the future.
Acknowledgements
The support received from the National Water Research Institute, Environment Canada is greatly appreciated.
Appendix
Appendix A: Details of the Particular Solution
For ease of presentation, we rewrite Equation (17) as:
(A1)
The right-hand side can be rearranged in exponential function form as:
(A2)
The expression (A2) can be classified as three different forms which are:
(A3)
(A4)
(A5)
The left-hand side of (A1) can be written as:
(A6)
where
and
. The solution for RH1 term is:
(A7)
In order to solve RH2 term the following formulas have to be used depending on weather
or
. For the
case,
(A8)
therefore
(A9)
For the
case, due to
, the formula (A8) is unsuitable. In this case
(A10)
has to be used. So
(A11)
By applying the formula
(A12)
the RH3 term can be solved as:
(A13)
In order to solve u3, the conditions for
and
have to be considered separately. For the case
, let:
(A14)
represents the D terms of higher than the first Power. Multiplying two sides of (A14) by
and only keeping the D terms of less than the second power, the constants c0 and c1 can be computed by comparing the terms of the same power in D on the two sides of (A15),
(A15)
(A16)
(A17)
(A18)
So u3 can be obtained as
(A19)
When
, the above method is unable to resolve c0 and c1. However, by rearranging
in (A13) as:
(A20)
and applying the following formula:
(A21)
and as before, expand
as a polynomial of D: the solution (A13) becomes:
(A22)
Combining solutions for RH1, RH2 and RH3 with corresponding factors, the particular solution for Equation (A1) can be obtained. When
(A23)
and when
(A24)
Appendix B: Vertical Velocity for the Case
Due to the fact that the particular solution to Equation (17) is different for the cases
and
, the constants A and B in solution (20) and the solution for the vertical velocity will be different in the two different cases. Here, the final results for the case
are given, which can be obtained by a similar method in the case
as mentioned before
(B1)
(B2)
(B3)
(B4)
(B5)
(B6)
(B7)
(B8)
(B9)
(B10)
(B11)