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

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

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

-revision 1.3 by adcroft,
Tue Sep 25 20:13:42 2001 UTC
+revision 1.5 by cnh,
Wed Oct 24 14:19:34 2001 UTC
 Line 2
  % $Name$
  \section{Tracer equations}
+ \label{sec:tracer_eqautions}
  The basic discretization used for the tracer equations is the second
  order piece-wise constant finite volume form of the forced
-Line 66 
 $F_r$: {\bf fVerT} (argument)
+Line 67 
 $F_r$: {\bf fVerT} (argument)
  \end{minipage} }
  The space and time discretizations are treated seperately (method of
- lines). The Adams-Bashforth time discretization reads:
+ lines). Tendancies 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}}
- \marginpar{$\Delta t$: {\bf deltaTtracer}}
  \begin{equation}
- \tau^{(n+1)} = \tau^{(n)} + \Delta t \left(
+ G^{(n+1/2)} =
  (\frac{3}{2} + \epsilon) G^{(n)} - (\frac{1}{2} + \epsilon) G^{(n-1)}
- \right)
  \end{equation}
  where $G^{(n)} = G_{adv}^\tau + G_{diff}^\tau + G_{src}^\tau$ at time
- step $n$.
+ 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.
- Strictly speaking the ABII scheme should be applied only to the
+ \fbox{ \begin{minipage}{4.75in}
- advection terms. However, this scheme is only used in conjuction with
+ {\em S/R ADAMS\_BASHFORTH2} ({\em model/src/adams\_bashforth2.F})
- the standard second, third and fourth order advection
- schemes. Selection of any other advection scheme disables
+ $G^{(n+1/2)}$: {\bf gTracer} (argument on exit)
- Adams-Bashforth for tracers so that explicit diffusion and forcing use
- the forward method.
+ $G^{(n)}$: {\bf gTracer} (argument on entry)
+ $G^{(n-1)}$: {\bf gTrNm1} (argument)
+ $\epsilon$: {\bf ABeps} (PARAMS.h)
+ \end{minipage} }
+ The tracers are stepped forward in time using the extrapolated tendancy:
+ \begin{equation}
+ \tau^{(n+1)} = \tau^{(n)} + \Delta t G^{(n+1/2)}
+ \end{equation}
+ \marginpar{$\Delta t$: {\bf deltaTtracer}}
  \fbox{ \begin{minipage}{4.75in}
  {\em S/R TIMESTEP\_TRACER} ({\em model/src/timestep\_tracer.F})
- $\tau$: {\bf tracer} (argument)
+ $\tau^{(n+1)}$: {\bf gTracer} (argument on exit)
- $G^{(n)}$: {\bf gTracer} (argument)
+ $\tau^{(n)}$: {\bf tracer} (argument on entry)
- $G^{(n-1)}$: {\bf gTrNm1} (argument)
+ $G^{(n+1/2)}$: {\bf gTracer} (argument)
  $\Delta t$: {\bf deltaTtracer} (PARAMS.h)
  \end{minipage} }
+ Strictly speaking the ABII scheme should be applied only to the
+ advection terms. However, this scheme is only used in conjuction 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
+ the forward method.
+ \section{Linear advection schemes}
  \begin{figure}
  \resizebox{5.5in}{!}{\includegraphics{part2/advect-1d-lo.eps}}
  \caption{
-Line 136 
 $\mu=c/(1-c)$.
+Line 160 
 $\mu=c/(1-c)$.
  }
  \end{figure}
- \section{Linear advection schemes}
  The advection schemes known as centered second order, centered fourth
  order, first order upwind and upwind biased third order are known as
  linear advection schemes because the coefficient for interpolation of
-Line 228 
 At boundaries, $\delta_{\hat{n}} \tau$ i
+Line 250 
 At boundaries, $\delta_{\hat{n}} \tau$ i
  $\delta_{nn}$ to be evaluated. We are currently examing the accuracy
  of this boundary condition and the effect on the solution.
+ \fbox{ \begin{minipage}{4.75in}
+ {\em S/R GAD\_U3\_ADV\_X} ({\em gad\_u3\_adv\_x.F})
+ $F_x$: {\bf uT} (argument)
+ $U$: {\bf uTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ {\em S/R GAD\_U3\_ADV\_Y} ({\em gad\_u3\_adv\_y.F})
+ $F_y$: {\bf vT} (argument)
+ $V$: {\bf vTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ {\em S/R GAD\_U3\_ADV\_R} ({\em gad\_u3\_adv\_r.F})
+ $F_r$: {\bf wT} (argument)
+ $W$: {\bf rTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ \end{minipage} }
  \subsection{Centered fourth order advection}
-Line 250 
 F_r & = & W \overline{\tau - \frac{1}{6}
+Line 298 
 F_r & = & W \overline{\tau - \frac{1}{6}
  As for the third order scheme, the best discretization near boundaries
  is under investigation but currenlty $\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})
+ $F_x$: {\bf uT} (argument)
+ $U$: {\bf uTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ {\em S/R GAD\_C4\_ADV\_Y} ({\em gad\_c4\_adv\_y.F})
+ $F_y$: {\bf vT} (argument)
+ $V$: {\bf vTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ {\em S/R GAD\_C4\_ADV\_R} ({\em gad\_c4\_adv\_r.F})
+ $F_r$: {\bf wT} (argument)
+ $W$: {\bf rTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ \end{minipage} }
  \subsection{First order upwind advection}
  Although the upwind scheme is the underlying scheme for the robust or
-Line 315 
 only provide the Superbee limiter \cite{
+Line 391 
 only provide the Superbee limiter \cite{
  \psi(r) = \max[0,\min[1,2r],\min[2,r]]
  \end{equation}
+ \fbox{ \begin{minipage}{4.75in}
+ {\em S/R GAD\_FLUXLIMIT\_ADV\_X} ({\em gad\_fluxlimit\_adv\_x.F})
+ $F_x$: {\bf uT} (argument)
+ $U$: {\bf uTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ {\em S/R GAD\_FLUXLIMIT\_ADV\_Y} ({\em gad\_fluxlimit\_adv\_y.F})
+ $F_y$: {\bf vT} (argument)
+ $V$: {\bf vTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ {\em S/R GAD\_FLUXLIMIT\_ADV\_R} ({\em gad\_fluxlimit\_adv\_r.F})
+ $F_r$: {\bf wT} (argument)
+ $W$: {\bf rTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ \end{minipage} }
  \subsection{Third order direct space time}
-Line 353 
 large Courant number, where the linear u
+Line 456 
 large Courant number, where the linear u
  unstable, the scheme is extremely accurate
  (Fig.~\ref{fig:advect-1d-hi}) with only minor overshoots.
+ \fbox{ \begin{minipage}{4.75in}
+ {\em S/R GAD\_DST3\_ADV\_X} ({\em gad\_dst3\_adv\_x.F})
+ $F_x$: {\bf uT} (argument)
+ $U$: {\bf uTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ {\em S/R GAD\_DST3\_ADV\_Y} ({\em gad\_dst3\_adv\_y.F})
+ $F_y$: {\bf vT} (argument)
+ $V$: {\bf vTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ {\em S/R GAD\_DST3\_ADV\_R} ({\em gad\_dst3\_adv\_r.F})
+ $F_r$: {\bf wT} (argument)
+ $W$: {\bf rTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ \end{minipage} }
  \subsection{Third order direct space time with flux limiting}
  The overshoots in the DST3 method can be controlled with a flux limiter.
-Line 373 
 and the limiter is the Sweby limiter:
+Line 504 
 and the limiter is the Sweby limiter:
  \psi(r) = \max[0, \min[\min(1,d_0+d_1r],\frac{1-c}{c}r ]]
  \end{equation}
+ \fbox{ \begin{minipage}{4.75in}
+ {\em S/R GAD\_DST3FL\_ADV\_X} ({\em gad\_dst3\_adv\_x.F})
+ $F_x$: {\bf uT} (argument)
+ $U$: {\bf uTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ {\em S/R GAD\_DST3FL\_ADV\_Y} ({\em gad\_dst3\_adv\_y.F})
+ $F_y$: {\bf vT} (argument)
+ $V$: {\bf vTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ {\em S/R GAD\_DST3FL\_ADV\_R} ({\em gad\_dst3\_adv\_r.F})
+ $F_r$: {\bf wT} (argument)
+ $W$: {\bf rTrans} (argument)
+ $\tau$: {\bf tracer} (argument)
+ \end{minipage} }
  \subsection{Multi-dimensional advection}
+ \begin{figure}
+ \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
+$\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
+ Adams-Bashforth, middle) Lax-Wendroff and bottom) Superbee flux
+ limited. The middle column shows the third order schemes; top) upwind
+ biased third order with Adams-Bashforth, middle) third order direct
+ space-time method and bottom) the same with 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 (method of
+ lines).
+ \label{fig:advect-2d-lo-diag}
+ }
+ \end{figure}
+ \begin{figure}
+ \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
+$\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
+ Adams-Bashforth, middle) Lax-Wendroff and bottom) Superbee flux
+ limited. The middle column shows the third order schemes; top) upwind
+ biased third order with Adams-Bashforth, middle) third order direct
+ space-time method and bottom) the same with 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 (method of
+ lines).
+ \label{fig:advect-2d-mid-diag}
+ }
+ \end{figure}
+ \begin{figure}
+ \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
+$\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;
+ top) centered second order with Adams-Bashforth, middle) Lax-Wendroff
+ and bottom) Superbee flux limited. The middle column shows the third
+ order schemes; top) upwind biased third order with Adams-Bashforth,
+ middle) third order direct space-time method and bottom) the same with
+ 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
+ (method of lines).
+ \label{fig:advect-2d-hi-diag}
+ }
+ \end{figure}
  In many of the aforementioned advection schemes the behaviour in
  multiple dimensions is not necessarily as good as the one dimensional
  behaviour. For instance, a shape preserving monotonic scheme in one
-Line 408 
 So that the over all time-stepping looks
+Line 632 
 So that the over all time-stepping looks
  \begin{equation}
  \tau^{n+1} = \tau^{n} + \Delta t \left( G^{n+1/2}_{adv} + G_{diff}(\tau^{n}) + G^{n}_{forcing} \right)
  \end{equation}
+ \fbox{ \begin{minipage}{4.75in}
+ {\em S/R GAD\_ADVECTION} ({\em gad\_advection.F})
+ $\tau$: {\bf Tracer} (argument)
+ $G^{n+1/2}_{adv}$: {\bf Gtracer} (argument)
+ $F_x, F_y, F_r$: {\bf af} (local)
+ $U$: {\bf uTrans} (local)
+ $V$: {\bf vTrans} (local)
+ $W$: {\bf rTrans} (local)
+ \end{minipage} }
+ \section{Comparison of advection schemes}
+ Figs.~\ref{fig:advect-2d-lo-diag}, \ref{fig:advect-2d-mid-diag} and
+ \ref{fig:advect-2d-hi-diag} show solutions to a simple diagonal
+ advection problem using a selection of schemes for low, moderate and
+ high Courant numbers, respectively. The top row shows the linear
+ schemes, integrated with the Adams-Bashforth method. Theses schemes
+ are clearly unstable for the high Courant number and weakly unstable
+ for the moderate Courant number. The presence of false extrema is very
+ apparent for all Courant numbers. The middle row shows solutions
+ obtained with the unlimited but multi-dimensional schemes. These
+ solutions also exhibit false extrema though the pattern now shows
+ symmetry due to the multi-dimensional scheme. Also, the schemes are
+ stable at high Courant number where the linear schemes weren't. The
+ 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
+ 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.
+ Finally, the bottom left and right panels use the same advection
+ scheme but the right does not use the mutli-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
+ 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
+ number plot, the scheme is unstable.
+ With many advection schemes implemented in the code two questions
+ arise: ``Which scheme is best?'' and ``Why don't you just offer the
+ best advection scheme?''. Unfortunately, no one advection scheme is
+ ``the best'' for all particular applications and for new applications
+ it is often a matter of trial to determine which is most
+ suitable. Here are some guidelines but these are not the rule;
+ \begin{itemize}
+ \item If you have a coarsely resolved model, using a
+ positive or upwind biased scheme will introduce significant diffusion
+ to the solution and using a centered higher order scheme will
+ introduce more noise. In this case, simplest may be best.
+ \item If you have a high resolution model, using a higher order
+ 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
+ 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
+ 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
+ strongest argument for using a positive scheme.
+ \end{itemize}

 Legend:



Removed from v.1.3
 


changed lines


 
Added in v.1.5
 Legend:



Removed from v.1.3
 


changed lines


 
Added in v.1.5
-Removed from v.1.3
+Added in v.1.5

	ViewVC Help
Powered by ViewVC 1.1.22