/[MITgcm]/manual/s_algorithm/text/tracer.tex
ViewVC logotype

Diff of /manual/s_algorithm/text/tracer.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Revision Graph Revision Graph | View Patch Patch

revision 1.5 by cnh, Wed Oct 24 14:19:34 2001 UTC revision 1.12 by adcroft, Tue Nov 13 20:13:54 2001 UTC
# Line 2  Line 2 
2  % $Name$  % $Name$
3    
4  \section{Tracer equations}  \section{Tracer equations}
5  \label{sec:tracer_eqautions}  \label{sect:tracer_equations}
6    
7  The basic discretization used for the tracer equations is the second  The basic discretization used for the tracer equations is the second
8  order piece-wise constant finite volume form of the forced  order piece-wise constant finite volume form of the forced
9  advection-diussion equations. There are many alternatives to second  advection-diffusion equations. There are many alternatives to second
10  order method for advection and alternative parameterizations for the  order method for advection and alternative parameterizations for the
11  sub-grid scale processes. The Gent-McWilliams eddy parameterization,  sub-grid scale processes. The Gent-McWilliams eddy parameterization,
12  KPP mixing scheme and PV flux parameterization are all dealt with in  KPP mixing scheme and PV flux parameterization are all dealt with in
# Line 15  part of the tracer equations and the var Line 15  part of the tracer equations and the var
15  described here.  described here.
16    
17  \subsection{Time-stepping of tracers: ABII}  \subsection{Time-stepping of tracers: ABII}
18    \label{sect:tracer_equations_abII}
19    
20  The default advection scheme is the centered second order method which  The default advection scheme is the centered second order method which
21  requires a second order or quasi-second order time-stepping scheme to  requires a second order or quasi-second order time-stepping scheme to
# Line 42  only affects the surface layer since the Line 43  only affects the surface layer since the
43  everywhere else. This term is therefore referred to as the surface  everywhere else. This term is therefore referred to as the surface
44  correction term. Global conservation is not possible using the  correction term. Global conservation is not possible using the
45  flux-form (as here) and a linearized free-surface  flux-form (as here) and a linearized free-surface
46  (\cite{Griffies00,Campin02}).  (\cite{griffies:00,campin:02}).
47    
48  The continuity equation can be recovered by setting  The continuity equation can be recovered by setting
49  $G_{diff}=G_{forc}=0$ and $\tau=1$.  $G_{diff}=G_{forc}=0$ and $\tau=1$.
50    
51  The driver routine that calls the routines to calculate tendancies are  The driver routine that calls the routines to calculate tendencies are
52  {\em S/R CALC\_GT} and {\em S/R CALC\_GS} for temperature and salt  {\em S/R CALC\_GT} and {\em S/R CALC\_GS} for temperature and salt
53  (moisture), respectively. These in turn call a generic advection  (moisture), respectively. These in turn call a generic advection
54  diffusion routine {\em S/R GAD\_CALC\_RHS} that is called with the  diffusion routine {\em S/R GAD\_CALC\_RHS} that is called with the
55  flow field and relevent tracer as arguments and returns the collective  flow field and relevant tracer as arguments and returns the collective
56  tendancy due to advection and diffusion. Forcing is add subsequently  tendency due to advection and diffusion. Forcing is add subsequently
57  in {\em S/R CALC\_GT} or {\em S/R CALC\_GS} to the same tendancy  in {\em S/R CALC\_GT} or {\em S/R CALC\_GS} to the same tendency
58  array.  array.
59    
60  \fbox{ \begin{minipage}{4.75in}  \fbox{ \begin{minipage}{4.75in}
# Line 67  $F_r$: {\bf fVerT} (argument) Line 68  $F_r$: {\bf fVerT} (argument)
68    
69  \end{minipage} }  \end{minipage} }
70    
71  The space and time discretizations are treated seperately (method of  The space and time discretization are treated separately (method of
72  lines). Tendancies are calculated at time levels $n$ and $n-1$ and  lines). Tendencies are calculated at time levels $n$ and $n-1$ and
73  extrapolated to $n+1/2$ using the Adams-Bashforth method:  extrapolated to $n+1/2$ using the Adams-Bashforth method:
74  \marginpar{$\epsilon$: {\bf AB\_eps}}  \marginpar{$\epsilon$: {\bf AB\_eps}}
75  \begin{equation}  \begin{equation}
# Line 76  G^{(n+1/2)} = Line 77  G^{(n+1/2)} =
77  (\frac{3}{2} + \epsilon) G^{(n)} - (\frac{1}{2} + \epsilon) G^{(n-1)}  (\frac{3}{2} + \epsilon) G^{(n)} - (\frac{1}{2} + \epsilon) G^{(n-1)}
78  \end{equation}  \end{equation}
79  where $G^{(n)} = G_{adv}^\tau + G_{diff}^\tau + G_{src}^\tau$ at time  where $G^{(n)} = G_{adv}^\tau + G_{diff}^\tau + G_{src}^\tau$ at time
80  step $n$. The tendancy at $n-1$ is not re-calculated but rather the  step $n$. The tendency at $n-1$ is not re-calculated but rather the
81  tendancy at $n$ is stored in a global array for later re-use.  tendency at $n$ is stored in a global array for later re-use.
82    
83  \fbox{ \begin{minipage}{4.75in}  \fbox{ \begin{minipage}{4.75in}
84  {\em S/R ADAMS\_BASHFORTH2} ({\em model/src/adams\_bashforth2.F})  {\em S/R ADAMS\_BASHFORTH2} ({\em model/src/adams\_bashforth2.F})
# Line 92  $\epsilon$: {\bf ABeps} (PARAMS.h) Line 93  $\epsilon$: {\bf ABeps} (PARAMS.h)
93    
94  \end{minipage} }  \end{minipage} }
95    
96  The tracers are stepped forward in time using the extrapolated tendancy:  The tracers are stepped forward in time using the extrapolated tendency:
97  \begin{equation}  \begin{equation}
98  \tau^{(n+1)} = \tau^{(n)} + \Delta t G^{(n+1/2)}  \tau^{(n+1)} = \tau^{(n)} + \Delta t G^{(n+1/2)}
99  \end{equation}  \end{equation}
# Line 112  $\Delta t$: {\bf deltaTtracer} (PARAMS.h Line 113  $\Delta t$: {\bf deltaTtracer} (PARAMS.h
113  \end{minipage} }  \end{minipage} }
114    
115  Strictly speaking the ABII scheme should be applied only to the  Strictly speaking the ABII scheme should be applied only to the
116  advection terms. However, this scheme is only used in conjuction with  advection terms. However, this scheme is only used in conjunction with
117  the standard second, third and fourth order advection  the standard second, third and fourth order advection
118  schemes. Selection of any other advection scheme disables  schemes. Selection of any other advection scheme disables
119  Adams-Bashforth for tracers so that explicit diffusion and forcing use  Adams-Bashforth for tracers so that explicit diffusion and forcing use
# Line 122  the forward method. Line 123  the forward method.
123    
124    
125  \section{Linear advection schemes}  \section{Linear advection schemes}
126    \label{sect:tracer-advection}
127    
128  \begin{figure}  \begin{figure}
129  \resizebox{5.5in}{!}{\includegraphics{part2/advect-1d-lo.eps}}  \resizebox{5.5in}{!}{\includegraphics{part2/advect-1d-lo.eps}}
# Line 170  commonly used in the field and most fami Line 172  commonly used in the field and most fami
172  \subsection{Centered second order advection-diffusion}  \subsection{Centered second order advection-diffusion}
173    
174  The basic discretization, centered second order, is the default. It is  The basic discretization, centered second order, is the default. It is
175  designed to be consistant with the continuity equation to facilitate  designed to be consistent with the continuity equation to facilitate
176  conservation properties analogous to the continuum. However, centered  conservation properties analogous to the continuum. However, centered
177  second order advection is notoriously noisey and must be used in  second order advection is notoriously noisy and must be used in
178  conjuction with some finite amount of diffusion to produce a sensible  conjunction with some finite amount of diffusion to produce a sensible
179  solution.  solution.
180    
181  The advection operator is discretized:  The advection operator is discretized:
# Line 199  W & = & {\cal A}_c w Line 201  W & = & {\cal A}_c w
201    
202  For non-divergent flow, this discretization can be shown to conserve  For non-divergent flow, this discretization can be shown to conserve
203  the tracer both locally and globally and to globally conserve tracer  the tracer both locally and globally and to globally conserve tracer
204  variance, $\tau^2$. The proof is given in \cite{Adcroft95,Adcroft97}.  variance, $\tau^2$. The proof is given in \cite{adcroft:95,adcroft:97}.
205    
206  \fbox{ \begin{minipage}{4.75in}  \fbox{ \begin{minipage}{4.75in}
207  {\em S/R GAD\_C2\_ADV\_X} ({\em gad\_c2\_adv\_x.F})  {\em S/R GAD\_C2\_ADV\_X} ({\em gad\_c2\_adv\_x.F})
# Line 247  F_r & = & W \overline{\tau - \frac{1}{6} Line 249  F_r & = & W \overline{\tau - \frac{1}{6}
249  \end{eqnarray}  \end{eqnarray}
250    
251  At boundaries, $\delta_{\hat{n}} \tau$ is set to zero allowing  At boundaries, $\delta_{\hat{n}} \tau$ is set to zero allowing
252  $\delta_{nn}$ to be evaluated. We are currently examing the accuracy  $\delta_{nn}$ to be evaluated. We are currently examine the accuracy
253  of this boundary condition and the effect on the solution.  of this boundary condition and the effect on the solution.
254    
255  \fbox{ \begin{minipage}{4.75in}  \fbox{ \begin{minipage}{4.75in}
# Line 281  $\tau$: {\bf tracer} (argument) Line 283  $\tau$: {\bf tracer} (argument)
283    
284  Centered fourth order advection is formally the most accurate scheme  Centered fourth order advection is formally the most accurate scheme
285  we have implemented and can be used to great effect in high resolution  we have implemented and can be used to great effect in high resolution
286  simultation where dynamical scales are well resolved. However, the  simulation where dynamical scales are well resolved. However, the
287  scheme is noisey like the centered second order method and so must be  scheme is noisy like the centered second order method and so must be
288  used with some finite amount of diffusion. Bi-harmonic is recommended  used with some finite amount of diffusion. Bi-harmonic is recommended
289  since it is more scale selective and less likely to diffuse away the  since it is more scale selective and less likely to diffuse away the
290  well resolved gradient the fourth order scheme worked so hard to  well resolved gradient the fourth order scheme worked so hard to
# Line 296  F_r & = & W \overline{\tau - \frac{1}{6} Line 298  F_r & = & W \overline{\tau - \frac{1}{6}
298  \end{eqnarray}  \end{eqnarray}
299    
300  As for the third order scheme, the best discretization near boundaries  As for the third order scheme, the best discretization near boundaries
301  is under investigation but currenlty $\delta_i \tau=0$ on a boundary.  is under investigation but currently $\delta_i \tau=0$ on a boundary.
302    
303  \fbox{ \begin{minipage}{4.75in}  \fbox{ \begin{minipage}{4.75in}
304  {\em S/R GAD\_C4\_ADV\_X} ({\em gad\_c4\_adv\_x.F})  {\em S/R GAD\_C4\_ADV\_X} ({\em gad\_c4\_adv\_x.F})
# Line 386  r = \frac{ \tau_{i-1} - \tau_{i-2} }{ \t Line 388  r = \frac{ \tau_{i-1} - \tau_{i-2} }{ \t
388  r = \frac{ \tau_{i+1} - \tau_{i} }{ \tau_{i} - \tau_{i-1} } & \forall & u < 0  r = \frac{ \tau_{i+1} - \tau_{i} }{ \tau_{i} - \tau_{i-1} } & \forall & u < 0
389  \end{eqnarray}  \end{eqnarray}
390  as it's argument. There are many choices of limiter function but we  as it's argument. There are many choices of limiter function but we
391  only provide the Superbee limiter \cite{Roe85}:  only provide the Superbee limiter \cite{roe:85}:
392  \begin{equation}  \begin{equation}
393  \psi(r) = \max[0,\min[1,2r],\min[2,r]]  \psi(r) = \max[0,\min[1,2r],\min[2,r]]
394  \end{equation}  \end{equation}
# Line 422  $\tau$: {\bf tracer} (argument) Line 424  $\tau$: {\bf tracer} (argument)
424  \subsection{Third order direct space time}  \subsection{Third order direct space time}
425    
426  The direct-space-time method deals with space and time discretization  The direct-space-time method deals with space and time discretization
427  together (other methods that treat space and time seperately are known  together (other methods that treat space and time separately are known
428  collectively as the ``Method of Lines''). The Lax-Wendroff scheme  collectively as the ``Method of Lines''). The Lax-Wendroff scheme
429  falls into this category; it adds sufficient diffusion to a second  falls into this category; it adds sufficient diffusion to a second
430  order flux that the forward-in-time method is stable. The upwind  order flux that the forward-in-time method is stable. The upwind
# Line 440  where Line 442  where
442  d_1 & = & \frac{1}{6} ( 2 - |c| ) ( 1 - |c| ) \\  d_1 & = & \frac{1}{6} ( 2 - |c| ) ( 1 - |c| ) \\
443  d_2 & = & \frac{1}{6} ( 1 - |c| ) ( 1 + |c| )  d_2 & = & \frac{1}{6} ( 1 - |c| ) ( 1 + |c| )
444  \end{eqnarray}  \end{eqnarray}
445  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
446  as the Courant number, $c$, vanishes. In this limit, the conventional  as the Courant number, $c$, vanishes. In this limit, the conventional
447  third order upwind method is recovered. For finite Courant number, the  third order upwind method is recovered. For finite Courant number, the
448  deviations from the linear method are analogous to the diffusion added  deviations from the linear method are analogous to the diffusion added
# Line 538  $\tau$: {\bf tracer} (argument) Line 540  $\tau$: {\bf tracer} (argument)
540  \resizebox{5.5in}{!}{\includegraphics{part2/advect-2d-lo-diag.eps}}  \resizebox{5.5in}{!}{\includegraphics{part2/advect-2d-lo-diag.eps}}
541  \caption{  \caption{
542  Comparison of advection schemes in two dimensions; diagonal advection  Comparison of advection schemes in two dimensions; diagonal advection
543  of a resolved Guassian feature. Courant number is 0.01 with  of a resolved Gaussian feature. Courant number is 0.01 with
544  30$\times$30 points and solutions are shown for T=1/2. White lines  30$\times$30 points and solutions are shown for T=1/2. White lines
545  indicate zero crossing (ie. the presence of false minima).  The left  indicate zero crossing (ie. the presence of false minima).  The left
546  column shows the second order schemes; top) centered second order with  column shows the second order schemes; top) centered second order with
# Line 549  space-time method and bottom) the same w Line 551  space-time method and bottom) the same w
551  right panel shows the centered fourth order scheme with  right panel shows the centered fourth order scheme with
552  Adams-Bashforth and right middle panel shows a fourth order variant on  Adams-Bashforth and right middle panel shows a fourth order variant on
553  the DST method. Bottom right panel shows the Superbee flux limiter  the DST method. Bottom right panel shows the Superbee flux limiter
554  (second order) applied independantly in each direction (method of  (second order) applied independently in each direction (method of
555  lines).  lines).
556  \label{fig:advect-2d-lo-diag}  \label{fig:advect-2d-lo-diag}
557  }  }
# Line 559  lines). Line 561  lines).
561  \resizebox{5.5in}{!}{\includegraphics{part2/advect-2d-mid-diag.eps}}  \resizebox{5.5in}{!}{\includegraphics{part2/advect-2d-mid-diag.eps}}
562  \caption{  \caption{
563  Comparison of advection schemes in two dimensions; diagonal advection  Comparison of advection schemes in two dimensions; diagonal advection
564  of a resolved Guassian feature. Courant number is 0.27 with  of a resolved Gaussian feature. Courant number is 0.27 with
565  30$\times$30 points and solutions are shown for T=1/2. White lines  30$\times$30 points and solutions are shown for T=1/2. White lines
566  indicate zero crossing (ie. the presence of false minima).  The left  indicate zero crossing (ie. the presence of false minima).  The left
567  column shows the second order schemes; top) centered second order with  column shows the second order schemes; top) centered second order with
# Line 570  space-time method and bottom) the same w Line 572  space-time method and bottom) the same w
572  right panel shows the centered fourth order scheme with  right panel shows the centered fourth order scheme with
573  Adams-Bashforth and right middle panel shows a fourth order variant on  Adams-Bashforth and right middle panel shows a fourth order variant on
574  the DST method. Bottom right panel shows the Superbee flux limiter  the DST method. Bottom right panel shows the Superbee flux limiter
575  (second order) applied independantly in each direction (method of  (second order) applied independently in each direction (method of
576  lines).  lines).
577  \label{fig:advect-2d-mid-diag}  \label{fig:advect-2d-mid-diag}
578  }  }
# Line 580  lines). Line 582  lines).
582  \resizebox{5.5in}{!}{\includegraphics{part2/advect-2d-hi-diag.eps}}  \resizebox{5.5in}{!}{\includegraphics{part2/advect-2d-hi-diag.eps}}
583  \caption{  \caption{
584  Comparison of advection schemes in two dimensions; diagonal advection  Comparison of advection schemes in two dimensions; diagonal advection
585  of a resolved Guassian feature. Courant number is 0.47 with  of a resolved Gaussian feature. Courant number is 0.47 with
586  30$\times$30 points and solutions are shown for T=1/2. White lines  30$\times$30 points and solutions are shown for T=1/2. White lines
587  indicate zero crossings and initial maximum values (ie. the presence  indicate zero crossings and initial maximum values (ie. the presence
588  of false extrema).  The left column shows the second order schemes;  of false extrema).  The left column shows the second order schemes;
# Line 591  middle) third order direct space-time me Line 593  middle) third order direct space-time me
593  flux limiting. The top right panel shows the centered fourth order  flux limiting. The top right panel shows the centered fourth order
594  scheme with Adams-Bashforth and right middle panel shows a fourth  scheme with Adams-Bashforth and right middle panel shows a fourth
595  order variant on the DST method. Bottom right panel shows the Superbee  order variant on the DST method. Bottom right panel shows the Superbee
596  flux limiter (second order) applied independantly in each direction  flux limiter (second order) applied independently in each direction
597  (method of lines).  (method of lines).
598  \label{fig:advect-2d-hi-diag}  \label{fig:advect-2d-hi-diag}
599  }  }
# Line 599  flux limiter (second order) applied inde Line 601  flux limiter (second order) applied inde
601    
602    
603    
604  In many of the aforementioned advection schemes the behaviour in  In many of the aforementioned advection schemes the behavior in
605  multiple dimensions is not necessarily as good as the one dimensional  multiple dimensions is not necessarily as good as the one dimensional
606  behaviour. For instance, a shape preserving monotonic scheme in one  behavior. For instance, a shape preserving monotonic scheme in one
607  dimension can have severe shape distortion in two dimensions if the  dimension can have severe shape distortion in two dimensions if the
608  two components of horizontal fluxes are treated independently. There  two components of horizontal fluxes are treated independently. There
609  is a large body of literature on the subject dealing with this problem  is a large body of literature on the subject dealing with this problem
# Line 622  as if in one dimension: Line 624  as if in one dimension:
624  \end{eqnarray}  \end{eqnarray}
625    
626  In order to incorporate this method into the general model algorithm,  In order to incorporate this method into the general model algorithm,
627  we compute the effective tendancy rather than update the tracer so  we compute the effective tendency rather than update the tracer so
628  that other terms such as diffusion are using the $n$ time-level and  that other terms such as diffusion are using the $n$ time-level and
629  not the updated $n+3/3$ quantities:  not the updated $n+3/3$ quantities:
630  \begin{equation}  \begin{equation}
# Line 668  stable at high Courant number where the Line 670  stable at high Courant number where the
670  bottom row (left and middle) shows the limited schemes and most  bottom row (left and middle) shows the limited schemes and most
671  obvious is the absence of false extrema. The accuracy and stability of  obvious is the absence of false extrema. The accuracy and stability of
672  the unlimited non-linear schemes is retained at high Courant number  the unlimited non-linear schemes is retained at high Courant number
673  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
674  peaks due to diffusion. The one dimensional tests shown in  peaks due to diffusion. The one dimensional tests shown in
675  Figs.~\ref{fig:advect-1d-lo} and \ref{fig:advect-1d-hi} showed this  Figs.~\ref{fig:advect-1d-lo} and \ref{fig:advect-1d-hi} showed this
676  phenomenum.  phenomenon.
677    
678  Finally, the bottom left and right panels use the same advection  Finally, the bottom left and right panels use the same advection
679  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
680  Courant number this appears to not matter but for moderate Courant  Courant number this appears to not matter but for moderate Courant
681  number severe distortion of the feature is apparent. Moreoever, the  number severe distortion of the feature is apparent. Moreover, the
682  stability of the multi-dimensional scheme is determined by the maximum  stability of the multi-dimensional scheme is determined by the maximum
683  Courant number applied of each dimension while the stability of the  Courant number applied of each dimension while the stability of the
684  method of lines is determined by the sum. Hence, in the high Courant  method of lines is determined by the sum. Hence, in the high Courant
# Line 697  introduce more noise. In this case, simp Line 699  introduce more noise. In this case, simp
699  scheme will give a more accurate solution but scale-selective  scheme will give a more accurate solution but scale-selective
700  diffusion might need to be employed. The flux limited methods  diffusion might need to be employed. The flux limited methods
701  offer similar accuracy in this regime.  offer similar accuracy in this regime.
702  \item If your solution has shocks or propagatin fronts then a  \item If your solution has shocks or propagating fronts then a
703  flux limited scheme is almost essential.  flux limited scheme is almost essential.
704  \item If your time-step is limited by advection, the multi-dimensional  \item If your time-step is limited by advection, the multi-dimensional
705  non-linear schemes have the most stablility (upto Courant number 1).  non-linear schemes have the most stability (up to Courant number 1).
706  \item If you need to know how much diffusion/dissipation has occured you  \item If you need to know how much diffusion/dissipation has occurred you
707  will have a lot of trouble figuring it out with a non-linear method.  will have a lot of trouble figuring it out with a non-linear method.
708  \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
709  strongest argument for using a positive scheme.  strongest argument for using a positive scheme.
710  \end{itemize}  \end{itemize}

Legend:
Removed from v.1.5  
changed lines
  Added in v.1.12

  ViewVC Help
Powered by ViewVC 1.1.22