--- manual/s_algorithm/text/tracer.tex 2001/10/24 14:19:34 1.5 +++ manual/s_algorithm/text/tracer.tex 2004/04/20 23:32:59 1.16 @@ -1,12 +1,12 @@ -% $Header: /home/ubuntu/mnt/e9_copy/manual/s_algorithm/text/tracer.tex,v 1.5 2001/10/24 14:19:34 cnh Exp $ +% $Header: /home/ubuntu/mnt/e9_copy/manual/s_algorithm/text/tracer.tex,v 1.16 2004/04/20 23:32:59 edhill Exp $ % $Name: $ \section{Tracer equations} -\label{sec:tracer_eqautions} +\label{sect:tracer_equations} The basic discretization used for the tracer equations is the second order piece-wise constant finite volume form of the forced -advection-diussion equations. There are many alternatives to second +advection-diffusion equations. There are many alternatives to second order method for advection and alternative parameterizations for the sub-grid scale processes. The Gent-McWilliams eddy parameterization, KPP mixing scheme and PV flux parameterization are all dealt with in @@ -15,6 +15,7 @@ described here. \subsection{Time-stepping of tracers: ABII} +\label{sect:tracer_equations_abII} The default advection scheme is the centered second order method which requires a second order or quasi-second order time-stepping scheme to @@ -42,18 +43,18 @@ everywhere else. This term is therefore referred to as the surface correction term. Global conservation is not possible using the flux-form (as here) and a linearized free-surface -(\cite{Griffies00,Campin02}). +(\cite{griffies:00,campin:02}). The continuity equation can be recovered by setting $G_{diff}=G_{forc}=0$ and $\tau=1$. -The driver routine that calls the routines to calculate tendancies are +The driver routine that calls the routines to calculate tendencies are {\em S/R CALC\_GT} and {\em S/R CALC\_GS} for temperature and salt (moisture), respectively. These in turn call a generic advection diffusion routine {\em S/R GAD\_CALC\_RHS} that is called with the -flow field and relevent tracer as arguments and returns the collective -tendancy due to advection and diffusion. Forcing is add subsequently -in {\em S/R CALC\_GT} or {\em S/R CALC\_GS} to the same tendancy +flow field and relevant tracer as arguments and returns the collective +tendency due to advection and diffusion. Forcing is add subsequently +in {\em S/R CALC\_GT} or {\em S/R CALC\_GS} to the same tendency array. \fbox{ \begin{minipage}{4.75in} @@ -67,8 +68,8 @@ \end{minipage} } -The space and time discretizations are treated seperately (method of -lines). Tendancies are calculated at time levels $n$ and $n-1$ and +The space and time discretization are treated separately (method of +lines). Tendencies are calculated at time levels $n$ and $n-1$ and extrapolated to $n+1/2$ using the Adams-Bashforth method: \marginpar{$\epsilon$: {\bf AB\_eps}} \begin{equation} @@ -76,8 +77,8 @@ (\frac{3}{2} + \epsilon) G^{(n)} - (\frac{1}{2} + \epsilon) G^{(n-1)} \end{equation} where $G^{(n)} = G_{adv}^\tau + G_{diff}^\tau + G_{src}^\tau$ at time -step $n$. The tendancy at $n-1$ is not re-calculated but rather the -tendancy at $n$ is stored in a global array for later re-use. +step $n$. The tendency at $n-1$ is not re-calculated but rather the +tendency at $n$ is stored in a global array for later re-use. \fbox{ \begin{minipage}{4.75in} {\em S/R ADAMS\_BASHFORTH2} ({\em model/src/adams\_bashforth2.F}) @@ -92,7 +93,7 @@ \end{minipage} } -The tracers are stepped forward in time using the extrapolated tendancy: +The tracers are stepped forward in time using the extrapolated tendency: \begin{equation} \tau^{(n+1)} = \tau^{(n)} + \Delta t G^{(n+1/2)} \end{equation} @@ -112,7 +113,7 @@ \end{minipage} } Strictly speaking the ABII scheme should be applied only to the -advection terms. However, this scheme is only used in conjuction with +advection terms. However, this scheme is only used in conjunction with the standard second, third and fourth order advection schemes. Selection of any other advection scheme disables Adams-Bashforth for tracers so that explicit diffusion and forcing use @@ -122,6 +123,10 @@ \section{Linear advection schemes} +\label{sect:tracer-advection} +\begin{rawhtml} + +\end{rawhtml} \begin{figure} \resizebox{5.5in}{!}{\includegraphics{part2/advect-1d-lo.eps}} @@ -170,10 +175,10 @@ \subsection{Centered second order advection-diffusion} The basic discretization, centered second order, is the default. It is -designed to be consistant with the continuity equation to facilitate +designed to be consistent with the continuity equation to facilitate conservation properties analogous to the continuum. However, centered -second order advection is notoriously noisey and must be used in -conjuction with some finite amount of diffusion to produce a sensible +second order advection is notoriously noisy and must be used in +conjunction with some finite amount of diffusion to produce a sensible solution. The advection operator is discretized: @@ -199,7 +204,7 @@ For non-divergent flow, this discretization can be shown to conserve the tracer both locally and globally and to globally conserve tracer -variance, $\tau^2$. The proof is given in \cite{Adcroft95,Adcroft97}. +variance, $\tau^2$. The proof is given in \cite{adcroft:95,adcroft:97}. \fbox{ \begin{minipage}{4.75in} {\em S/R GAD\_C2\_ADV\_X} ({\em gad\_c2\_adv\_x.F}) @@ -247,7 +252,7 @@ \end{eqnarray} At boundaries, $\delta_{\hat{n}} \tau$ is set to zero allowing -$\delta_{nn}$ to be evaluated. We are currently examing the accuracy +$\delta_{nn}$ to be evaluated. We are currently examine the accuracy of this boundary condition and the effect on the solution. \fbox{ \begin{minipage}{4.75in} @@ -281,8 +286,8 @@ Centered fourth order advection is formally the most accurate scheme we have implemented and can be used to great effect in high resolution -simultation where dynamical scales are well resolved. However, the -scheme is noisey like the centered second order method and so must be +simulation where dynamical scales are well resolved. However, the +scheme is noisy like the centered second order method and so must be used with some finite amount of diffusion. Bi-harmonic is recommended since it is more scale selective and less likely to diffuse away the well resolved gradient the fourth order scheme worked so hard to @@ -296,7 +301,7 @@ \end{eqnarray} As for the third order scheme, the best discretization near boundaries -is under investigation but currenlty $\delta_i \tau=0$ on a boundary. +is under investigation but currently $\delta_i \tau=0$ on a boundary. \fbox{ \begin{minipage}{4.75in} {\em S/R GAD\_C4\_ADV\_X} ({\em gad\_c4\_adv\_x.F}) @@ -348,6 +353,9 @@ \section{Non-linear advection schemes} +\begin{rawhtml} + +\end{rawhtml} Non-linear advection schemes invoke non-linear interpolation and are widely used in computational fluid dynamics (non-linear does not refer @@ -386,7 +394,7 @@ r = \frac{ \tau_{i+1} - \tau_{i} }{ \tau_{i} - \tau_{i-1} } & \forall & u < 0 \end{eqnarray} as it's argument. There are many choices of limiter function but we -only provide the Superbee limiter \cite{Roe85}: +only provide the Superbee limiter \cite{roe:85}: \begin{equation} \psi(r) = \max[0,\min[1,2r],\min[2,r]] \end{equation} @@ -422,7 +430,7 @@ \subsection{Third order direct space time} The direct-space-time method deals with space and time discretization -together (other methods that treat space and time seperately are known +together (other methods that treat space and time separately are known collectively as the ``Method of Lines''). The Lax-Wendroff scheme falls into this category; it adds sufficient diffusion to a second order flux that the forward-in-time method is stable. The upwind @@ -440,7 +448,7 @@ d_1 & = & \frac{1}{6} ( 2 - |c| ) ( 1 - |c| ) \\ d_2 & = & \frac{1}{6} ( 1 - |c| ) ( 1 + |c| ) \end{eqnarray} -The coefficients $d_0$ and $d_1$ approach $1/3$ and $1/6$ repectively +The coefficients $d_0$ and $d_1$ approach $1/3$ and $1/6$ respectively as the Courant number, $c$, vanishes. In this limit, the conventional third order upwind method is recovered. For finite Courant number, the deviations from the linear method are analogous to the diffusion added @@ -448,7 +456,7 @@ The DST3 method described above must be used in a forward-in-time manner and is stable for $0 \le |c| \le 1$. Although the scheme -appears to be forward-in-time, it is in fact second order in time and +appears to be forward-in-time, it is in fact third order in time and the accuracy increases with the Courant number! For low Courant number, DST3 produces very similar results (indistinguishable in Fig.~\ref{fig:advect-1d-lo}) to the linear third order method but for @@ -538,7 +546,7 @@ \resizebox{5.5in}{!}{\includegraphics{part2/advect-2d-lo-diag.eps}} \caption{ Comparison of advection schemes in two dimensions; diagonal advection -of a resolved Guassian feature. Courant number is 0.01 with +of a resolved Gaussian feature. Courant number is 0.01 with 30$\times$30 points and solutions are shown for T=1/2. White lines indicate zero crossing (ie. the presence of false minima). The left column shows the second order schemes; top) centered second order with @@ -549,7 +557,7 @@ right panel shows the centered fourth order scheme with Adams-Bashforth and right middle panel shows a fourth order variant on the DST method. Bottom right panel shows the Superbee flux limiter -(second order) applied independantly in each direction (method of +(second order) applied independently in each direction (method of lines). \label{fig:advect-2d-lo-diag} } @@ -559,7 +567,7 @@ \resizebox{5.5in}{!}{\includegraphics{part2/advect-2d-mid-diag.eps}} \caption{ Comparison of advection schemes in two dimensions; diagonal advection -of a resolved Guassian feature. Courant number is 0.27 with +of a resolved Gaussian feature. Courant number is 0.27 with 30$\times$30 points and solutions are shown for T=1/2. White lines indicate zero crossing (ie. the presence of false minima). The left column shows the second order schemes; top) centered second order with @@ -570,7 +578,7 @@ right panel shows the centered fourth order scheme with Adams-Bashforth and right middle panel shows a fourth order variant on the DST method. Bottom right panel shows the Superbee flux limiter -(second order) applied independantly in each direction (method of +(second order) applied independently in each direction (method of lines). \label{fig:advect-2d-mid-diag} } @@ -580,7 +588,7 @@ \resizebox{5.5in}{!}{\includegraphics{part2/advect-2d-hi-diag.eps}} \caption{ Comparison of advection schemes in two dimensions; diagonal advection -of a resolved Guassian feature. Courant number is 0.47 with +of a resolved Gaussian feature. Courant number is 0.47 with 30$\times$30 points and solutions are shown for T=1/2. White lines indicate zero crossings and initial maximum values (ie. the presence of false extrema). The left column shows the second order schemes; @@ -591,7 +599,7 @@ flux limiting. The top right panel shows the centered fourth order scheme with Adams-Bashforth and right middle panel shows a fourth order variant on the DST method. Bottom right panel shows the Superbee -flux limiter (second order) applied independantly in each direction +flux limiter (second order) applied independently in each direction (method of lines). \label{fig:advect-2d-hi-diag} } @@ -599,9 +607,9 @@ -In many of the aforementioned advection schemes the behaviour in +In many of the aforementioned advection schemes the behavior in multiple dimensions is not necessarily as good as the one dimensional -behaviour. For instance, a shape preserving monotonic scheme in one +behavior. For instance, a shape preserving monotonic scheme in one dimension can have severe shape distortion in two dimensions if the two components of horizontal fluxes are treated independently. There is a large body of literature on the subject dealing with this problem @@ -622,7 +630,7 @@ \end{eqnarray} In order to incorporate this method into the general model algorithm, -we compute the effective tendancy rather than update the tracer so +we compute the effective tendency rather than update the tracer so that other terms such as diffusion are using the $n$ time-level and not the updated $n+3/3$ quantities: \begin{equation} @@ -668,15 +676,15 @@ bottom row (left and middle) shows the limited schemes and most obvious is the absence of false extrema. The accuracy and stability of the unlimited non-linear schemes is retained at high Courant number -but at low Courant number the tendancy is to loose amplitude in sharp +but at low Courant number the tendency is to loose amplitude in sharp peaks due to diffusion. The one dimensional tests shown in Figs.~\ref{fig:advect-1d-lo} and \ref{fig:advect-1d-hi} showed this -phenomenum. +phenomenon. Finally, the bottom left and right panels use the same advection -scheme but the right does not use the mutli-dimensional method. At low +scheme but the right does not use the multi-dimensional method. At low Courant number this appears to not matter but for moderate Courant -number severe distortion of the feature is apparent. Moreoever, the +number severe distortion of the feature is apparent. Moreover, the stability of the multi-dimensional scheme is determined by the maximum Courant number applied of each dimension while the stability of the method of lines is determined by the sum. Hence, in the high Courant @@ -697,12 +705,12 @@ scheme will give a more accurate solution but scale-selective diffusion might need to be employed. The flux limited methods offer similar accuracy in this regime. -\item If your solution has shocks or propagatin fronts then a +\item If your solution has shocks or propagating fronts then a flux limited scheme is almost essential. \item If your time-step is limited by advection, the multi-dimensional -non-linear schemes have the most stablility (upto Courant number 1). -\item If you need to know how much diffusion/dissipation has occured you +non-linear schemes have the most stability (up to Courant number 1). +\item If you need to know how much diffusion/dissipation has occurred you will have a lot of trouble figuring it out with a non-linear method. -\item The presence of false extrema is unphysical and this alone is the +\item The presence of false extrema is non-physical and this alone is the strongest argument for using a positive scheme. \end{itemize}