source: trunk/DOC/TexFiles/Chapters/Chap_MISC.tex @ 2541

Last change on this file since 2541 was 2541, checked in by gm, 10 years ago

v3.3beta: #658 hopefully the final update, including MPP sum, SIGN, IOM, fldread documentation

  • Property svn:executable set to *
File size: 30.9 KB
1% ================================================================
2% Chapter Ñ Miscellaneous Topics
3% ================================================================
4\chapter{Miscellaneous Topics}
9$\ $\newline    % force a new ligne
11% ================================================================
12% Representation of Unresolved Straits
13% ================================================================
14\section{Representation of Unresolved Straits}
17In climate modeling, it often occurs that a crucial connections between water masses
18is broken as the grid mesh is too coarse to resolve narrow straits. For example, coarse
19grid spacing typically closes off the Mediterranean from the Atlantic at the Strait of
20Gibraltar. In this case, it is important for climate models to include the effects of salty
21water entering the Atlantic from the Mediterranean. Likewise, it is important for the
22Mediterranean to replenish its supply of water from the Atlantic to balance the net
23evaporation occurring over the Mediterranean region. This problem occurs even in
24eddy permitting simulations. For example, in ORCA 1/4\deg several straits of the Indonesian
25archipelago (Ombai, Lombok...) are much narrow than even a single ocean grid-point.
27We describe briefly here the three methods that can be used in \NEMO to handle
28such improperly resolved straits. The first two consist of opening the strait by hand
29while ensuring that the mass exchanges through the strait are not too large by
30either artificially reducing the surface of the strait grid-cells or, locally increasing
31the lateral friction. In the third one, the strait is closed but exchanges of mass,
32heat and salt across the land are allowed.
33Note that such modifications are so specific to a given configuration that no attempt
34has been made to set them in a generic way. However, examples of how
35they can be set up is given in the ORCA 2\deg and 0.5\deg configurations (search for
36\key{orca\_r2} or \key{orca\_r05} in the code).
38% -------------------------------------------------------------------------------------------------------------
39%       Hand made geometry changes
40% -------------------------------------------------------------------------------------------------------------
41\subsection{Hand made geometry changes}
44$\bullet$ reduced scale factor in the cross-strait direction to a value in better agreement
45with the true mean width of the strait. (Fig.~\ref{Fig_MISC_strait_hand}).
46This technique is sometime called "partially open face" or "partially closed cells".
47The key issue here is only to reduce the faces of $T$-cell ($i.e.$ change the value
48of the horizontal scale factors at $u$- or $v$-point) but not the volume of the $T$-cell.
49Indeed, reducing the volume of strait $T$-cell can easily produce a numerical
50instability at that grid point that would require a reduction of the model time step.
51The changes associated with strait management are done in \mdl{domhgr},
52just after the definition or reading of the horizontal scale factors.
54$\bullet$ increase of the viscous boundary layer thickness by local increase of the
55fmask value at the coast (Fig.~\ref{Fig_MISC_strait_hand}). This is done in
56\mdl{dommsk} together with the setting of the coastal value of fmask
57(see Section \ref{LBC_coast})
60\begin{figure}[!tbp]     \begin{center}
63\caption{   \label{Fig_MISC_strait_hand} 
64Example of the Gibraltar strait defined in a $1\deg \times 1\deg$ mesh.
65\textit{Top}: using partially open cells. The meridional scale factor at $v$-point
66is reduced on both sides of the strait to account for the real width of the strait
67(about 20 km). Note that the scale factors of the strait $T$-point remains unchanged.
68\textit{Bottom}: using viscous boundary layers. The four fmask parameters
69along the strait coastlines are set to a value larger than 4, $i.e.$ "strong" no-slip
70case (see Fig.\ref{Fig_LBC_shlat}) creating a large viscous boundary layer
71that allows a reduced transport through the strait.}
72\end{center}   \end{figure}
75% -------------------------------------------------------------------------------------------------------------
76% Cross Land Advection
77% -------------------------------------------------------------------------------------------------------------
78\subsection{Cross Land Advection (\mdl{tracla})}
84\colorbox{yellow}{Add a short description of CLA staff here or in lateral boundary condition chapter?}
86%The problem is resolved here by allowing the mixing of tracers and mass/volume between non-adjacent water columns at nominated regions within the model. Momentum is not mixed. The scheme conserves total tracer content, and total volume (the latter in $z*$- or $s*$-coordinate), and maintains compatibility between the tracer and mass/volume budgets. 
88% ================================================================
89% Closed seas
90% ================================================================
91\section{Closed seas (\mdl{closea})}
94\colorbox{yellow}{Add here a short description of the way closed seas are managed}
97% ================================================================
98% Sub-Domain Functionality (\textit{nizoom, njzoom}, namelist parameters)
99% ================================================================
100\section{Sub-Domain Functionality (\jp{jpizoom}, \jp{jpjzoom})}
103The sub-domain functionality, also improperly called the zoom option
104(improperly because it is not associated with a change in model resolution)
105is a quite simple function that allows a simulation over a sub-domain of an
106already defined configuration ($i.e.$ without defining a new mesh, initial
107state and forcings). This option can be useful for testing the user settings
108of surface boundary conditions, or the initial ocean state of a huge ocean
109model configuration while having a small computer memory requirement.
110It can also be used to easily test specific physics in a sub-domain (for example,
111see \citep{Madec_al_JPO96} for a test of the coupling used in the global ocean
112version of OPA between sea-ice and ocean model over the Arctic or Antarctic
113ocean, using a sub-domain). In the standard model, this option does not
114include any specific treatment for the ocean boundaries of the sub-domain:
115they are considered as artificial vertical walls. Nevertheless, it is quite easy
116to add a restoring term toward a climatology in the vicinity of such boundaries
117(see \S\ref{TRA_dmp}).
119In order to easily define a sub-domain over which the computation can be
120performed, the dimension of all input arrays (ocean mesh, bathymetry,
121forcing, initial state, ...) are defined as \jp{jpidta}, \jp{jpjdta} and \jp{jpkdta} 
122(\mdl{par\_oce} module), while the computational domain is defined through
123\jp{jpiglo}, \jp{jpjglo} and \jp{jpk} (\mdl{par\_oce} module). When running the
124model over the whole domain, the user sets \jp{jpiglo}=\jp{jpidta} \jp{jpjglo}=\jp{jpjdta} 
125and \jp{jpk}=\jp{jpkdta}. When running the model over a sub-domain, the user
126has to provide the size of the sub-domain, (\jp{jpiglo}, \jp{jpjglo}, \jp{jpkglo}),
127and the indices of the south western corner as \jp{jpizoom} and \jp{jpjzoom} in
128the \mdl{par\_oce} module (Fig.~\ref{Fig_LBC_zoom}).
130Note that a third set of dimensions exist, \jp{jpi}, \jp{jpj} and \jp{jpk} which is
131actually used to perform the computation. It is set by default to \jp{jpi}=\jp{jpjglo} 
132and \jp{jpj}=\jp{jpjglo}, except for massively parallel computing where the
133computational domain is laid out on local processor memories following a 2D
134horizontal splitting. % (see {\S}IV.2-c) ref to the section to be updated
137\begin{figure}[!ht]    \begin{center}
139\caption{   \label{Fig_LBC_zoom}
140Position of a model domain compared to the data input domain when the zoom functionality is used.}
141\end{center}   \end{figure}
145% ================================================================
146% Accelerating the Convergence
147% ================================================================
148\section{Accelerating the Convergence (\np{nn\_acc} = 1)}
154Searching an equilibrium state with an global ocean model requires a very long time
155integration period (a few thousand years for a global model). Due to the size of
156the time step required for numerical stability (less than a few hours),
157this usually requires a large elapsed time. In order to overcome this problem,
158\citet{Bryan1984} introduces a technique that is intended to accelerate
159the spin up to equilibrium. It uses a larger time step in
160the tracer evolution equations than in the momentum evolution
161equations. It does not affect the equilibrium solution but modifies the
162trajectory to reach it.
164The acceleration of convergence option is used when \np{nn\_acc}=1. In that case,
165$\rdt=rn\_rdt$ is the time step of dynamics while $\widetilde{\rdt}=rdttra$ is the
166tracer time-step. the former is set from the \np{rn\_rdt} namelist parameter while the latter
167is computed using a hyperbolic tangent profile and the following namelist parameters :
168\np{rn\_rdtmin}, \np{rn\_rdtmax} and \np{rn\_rdth}. Those three parameters correspond
169to the surface value the deep ocean value and the depth at which the transition occurs, respectively.
170The set of prognostic equations to solve becomes:
171\begin{equation} \label{Eq_acc}
173\frac{\partial \textbf{U}_h }{\partial t} 
174   &\equiv \frac{\textbf{U}_h ^{t+1}-\textbf{U}_h^{t-1} }{2\rdt} = \ldots \\ 
175\frac{\partial T}{\partial t} &\equiv \frac{T^{t+1}-T^{t-1}}{2 \widetilde{\rdt}} = \ldots \\ 
176\frac{\partial S}{\partial t} &\equiv \frac{S^{t+1} -S^{t-1}}{2 \widetilde{\rdt}} = \ldots \\ 
180\citet{Bryan1984} has examined the consequences of this distorted physics.
181Free waves have a slower phase speed, their meridional structure is slightly
182modified, and the growth rate of baroclinically unstable waves is reduced
183but with a wider range of instability. This technique is efficient for
184searching for an equilibrium state in coarse resolution models. However its
185application is not suitable for many oceanic problems: it cannot be used for
186transient or time evolving problems (in particular, it is very questionable
187to use this technique when there is a seasonal cycle in the forcing fields),
188and it cannot be used in high-resolution models where baroclinically
189unstable processes are important. Moreover, the vertical variation of
190$\widetilde{ \rdt}$ implies that the heat and salt contents are no longer
191conserved due to the vertical coupling of the ocean level through both
192advection and diffusion. Therefore \np{rn\_rdtmin} = \np{rn\_rdtmax} should be
193a more clever choice.
196% ================================================================
197% Accuracy and Reproducibility
198% ================================================================
199\section{Accuracy and Reproducibility (\mdl{lib\_fortran})}
202\subsection{Issues with intrinsinc SIGN function (\key{nosignedzero})}
205The SIGN(A, B) is the \textsc {Fortran} intrinsic function delivers the magnitude
206of A with the sign of B. For example, SIGN(-3.0,2.0) has the value 3.0.
207The problematic case is when the second argument is zero, because, on platforms
208that support IEEE arithmetic, zero is actually a signed number.
209There is a positive zero and a negative zero.
211In \textsc{Fortran}~90, the processor was required always to deliver a positive result for SIGN(A, B)
212if B was zero. Nevertheless, in \textsc{Fortran}~95, the processor is allowed to do the correct thing
213and deliver ABS(A) when B is a positive zero and -ABS(A) when B is a negative zero.
214This change in the specification becomes apparent only when B is of type real, and is zero,
215and the processor is capable of distinguishing between positive and negative zero,
216and B is negative real zero. Then SIGN delivers a negative result where, under \textsc{Fortran}~90
217rules,  it used to return a positive result.
218This change may be especially sensitive for the ice model, so we overwrite the intrinsinc
219function with our own function simply performing :   \\
220\verb?   IF( B >= 0.e0 ) THEN   ;   SIGN(A,B) = ABS(A)  ?    \\
221\verb?   ELSE                   ;   SIGN(A,B) =-ABS(A)     ?  \\
222\verb?   ENDIF    ? \\
223This feature can be found in \mdl{lib\_fortran} module and is effective when \key{nosignedzero}
224is defined. We use a CPP key as the overwritting of a intrinsic function can present
225performance issues with some computers/compilers.
228\subsection{MPP reproducibility}
231The numerical reproducibility of simulations on distributed memory parallel computers
232is a critical issue. In particular, within NEMO global summation of distributed arrays
233is most susceptible to rounding errors, and their propagation and accumulation cause
234uncertainty in final simulation reproducibility on different numbers of processors.
235To avoid so, based on \citet{He_Ding_JSC01} review of different technics,
236we use a so called self-compensated summation method. The idea is to estimate
237the roundoff error, store it in a buffer, and then add it back in the next addition.
239Suppose we need to calculate $b = a_1 + a_2 + a_3$. The following algorithm
240will allow to split the sum in two ($sum_1 = a_{1} + a_{2}$ and $b = sum_2 = sum_1 + a_3$)
241with exactly the same rounding errors as the sum performed all at once.
243   sum_1 \ \  &= a_1 + a_2 \\
244   error_1     &= a_2 + ( a_1 - sum_1 ) \\
245   sum_2 \ \  &= sum_1 + a_3 + error_1 \\
246   error_2     &= a_3 + error_1 + ( sum_1 - sum_2 ) \\
247   b \qquad \ &= sum_2 \\
249This feature can be found in \mdl{lib\_fortran} module and is effective when \key{mpp\_rep}.
250In that case, all calls to glob\_sum function (summation over the entire basin excluding
251duplicated rows and columns due to cyclic or north fold boundary condition as well as
252overlap MPP areas).
253Note this implementation may be sensitive to the optimization level.
256% ================================================================
257% Model optimisation, Control Print and Benchmark
258% ================================================================
259\section{Model Optimisation, Control Print and Benchmark}
265 \gmcomment{why not make these bullets into subsections?}
268$\bullet$ Vector optimisation:
270\key{vectopt\_loop} enables the internal loops to collapse. This is very
271a very efficient way to increase the length of vector calculations and thus
272to speed up the model on vector computers.
274% Add here also one word on NPROMA technique that has been found useless, since compiler have made significant progress during the last decade.
276% Add also one word on NEC specific optimisation (Novercheck option for example)
278$\bullet$ Control print %: describe here 4 things:
2801- \np{ln\_ctl} : compute and print the trends averaged over the interior domain
281in all TRA, DYN, LDF and ZDF modules. This option is very helpful when
282diagnosing the origin of an undesired change in model results.
2842- also \np{ln\_ctl} but using the nictl and njctl namelist parameters to check
285the source of differences between mono and multi processor runs.
2873- \key{esopa} (to be rename key\_nemo) : which is another option for model
288management. When defined, this key forces the activation of all options and
289CPP keys. For example, all tracer and momentum advection schemes are called!
290Therefore the model results have no physical meaning.
291However, this option forces both the compiler and the model to run through
292all the \textsc{Fortran} lines of the model. This allows the user to check for obvious
293compilation or execution errors with all CPP options, and errors in namelist options.
2954- last digit comparison (\np{nn\_bit\_cmp}). In an MPP simulation, the computation of
296a sum over the whole domain is performed as the summation over all processors of
297each of their sums over their interior domains. This double sum never gives exactly
298the same result as a single sum over the whole domain, due to truncation differences.
299The "bit comparison" option has been introduced in order to be able to check that
300mono-processor and multi-processor runs give exactly the same results.
301%THIS is to be updated with the mpp_sum_glo  introduced in v3.3
302% nn_bit_cmp  today only check that the nn_cla = 0 (no cross land advection)
304$\bullet$  Benchmark (\np{nn\_bench}). This option defines a benchmark run based on
305a GYRE configuration (see \S\ref{CFG_gyre}) in which the resolution remains the same
306whatever the domain size. This allows a very large model domain to be used, just by
307changing the domain size (\jp{jpiglo}, \jp{jpjglo}) and without adjusting either the time-step
308or the physical parameterisations.
311% ================================================================
312% Elliptic solvers (SOL)
313% ================================================================
314\section{Elliptic solvers (SOL)}
320When the filtered sea surface height option is used, the surface pressure gradient is
321computed in \mdl{dynspg\_flt}. The force added in the momentum equation is solved implicitely.
322It is thus solution of an elliptic equation \eqref{Eq_PE_flt} for which two solvers are available:
323a Successive-Over-Relaxation scheme (SOR) and a preconditioned conjugate gradient
324scheme(PCG) \citep{Madec_al_OM88, Madec_PhD90}. The solver is selected trough the
325the value of \np{nn\_solv} (namelist parameter).
327The PCG is a very efficient method for solving elliptic equations on vector computers.
328It is a fast and rather easy method to use; which are attractive features for a large
329number of ocean situations (variable bottom topography, complex coastal geometry,
330variable grid spacing, open or cyclic boundaries, etc ...). It does not require
331a search for an optimal parameter as in the SOR method. However, the SOR has
332been retained because it is a linear solver, which is a very useful property when
333using the adjoint model of \NEMO.
335At each time step, the time derivative of the sea surface height at time step $t+1$ 
336(or equivalently the divergence of the \textit{after} barotropic transport) that appears
337in the filtering forced is the solution of the elliptic equation obtained from the horizontal
338divergence of the vertical summation of \eqref{Eq_PE_flt}.
339Introducing the following coefficients:
340\begin{equation}  \label{Eq_sol_matrix}
342&c_{i,j}^{NS}  &&= {2 \rdt }^2 \; \frac{H_v (i,j) \; e_{1v} (i,j)}{e_{2v}(i,j)}              \\
343&c_{i,j}^{EW} &&= {2 \rdt }^2 \; \frac{H_u (i,j) \; e_{2u} (i,j)}{e_{1u}(i,j)}            \\
344&b_{i,j} &&= \delta_i \left[ e_{2u}M_u \right] - \delta_j \left[ e_{1v}M_v \right]\ ,   \\
347the resulting five-point finite difference equation is given by:
348\begin{equation}  \label{Eq_solmat}
350       c_{i+1,j}^{NS} D_{i+1,j}  + \;  c_{i,j+1}^{EW} D_{i,j+1}   
351  +   c_{i,j}    ^{NS} D_{i-1,j}   + \;  c_{i,j}    ^{EW} D_{i,j-1}                                          &    \\
352  -    \left(c_{i+1,j}^{NS} + c_{i,j+1}^{EW} + c_{i,j}^{NS} + c_{i,j}^{EW} \right)   D_{i,j}  &=  b_{i,j}
355\eqref{Eq_solmat} is a linear symmetric system of equations. All the elements of
356the corresponding matrix \textbf{A} vanish except those of five diagonals. With
357the natural ordering of the grid points (i.e. from west to east and from
358south to north), the structure of \textbf{A} is block-tridiagonal with
359tridiagonal or diagonal blocks. \textbf{A} is a positive-definite symmetric
360matrix of size $(jpi \cdot jpj)^2$, and \textbf{B}, the right hand side of
361\eqref{Eq_solmat}, is a vector.
363Note that in the linear free surface case, the depth that appears in \eqref{Eq_sol_matrix}
364does not vary with time, and thus the matrix can be computed once for all. In non-linear free surface
365(\key{vvl} defined) the matrix have to be updated at each time step.
367% -------------------------------------------------------------------------------------------------------------
368%       Successive Over Relaxation
369% -------------------------------------------------------------------------------------------------------------
370\subsection{Successive Over Relaxation (\np{nn\_solv}=2, \mdl{solsor})}
373Let us introduce the four cardinal coefficients:
375a_{i,j}^S &= c_{i,j    }^{NS}/d_{i,j}     &\qquad  a_{i,j}^W &= c_{i,j}^{EW}/d_{i,j}       \\
376a_{i,j}^E &= c_{i,j+1}^{EW}/d_{i,j}    &\qquad   a_{i,j}^N &= c_{i+1,j}^{NS}/d_{i,j}   
378where $d_{i,j} = c_{i,j}^{NS}+ c_{i+1,j}^{NS} + c_{i,j}^{EW} + c_{i,j+1}^{EW}$ 
379(i.e. the diagonal of the matrix). \eqref{Eq_solmat} can be rewritten as:
380\begin{equation}  \label{Eq_solmat_p}
382a_{i,j}^{N}  D_{i+1,j} +\,a_{i,j}^{E}  D_{i,j+1} +\, a_{i,j}^{S}  D_{i-1,j} +\,a_{i,j}^{W} D_{i,j-1}  -  D_{i,j} = \tilde{b}_{i,j}
385with $\tilde b_{i,j} = b_{i,j}/d_{i,j}$. \eqref{Eq_solmat_p} is the equation actually solved
386with the SOR method. This method used is an iterative one. Its algorithm can be
387summarised as follows (see \citet{Haltiner1980} for a further discussion):
389initialisation (evaluate a first guess from previous time step computations)
391D_{i,j}^0 = 2 \, D_{i,j}^t - D_{i,j}^{t-1}
393iteration $n$, from $n=0$ until convergence, do :
394\begin{equation} \label{Eq_sor_algo}
396R_{i,j}^n  = &a_{i,j}^{N} D_{i+1,j}^n       +\,a_{i,j}^{E}  D_{i,j+1} ^n         
397         +\, a_{i,j}^{S}  D_{i-1,j} ^{n+1}+\,a_{i,j}^{W} D_{i,j-1} ^{n+1}
398                 -  D_{i,j}^n - \tilde{b}_{i,j}                                           \\
399D_{i,j} ^{n+1}  = &D_{i,j} ^{n}   + \omega \;R_{i,j}^n     
402where \textit{$\omega $ }satisfies $1\leq \omega \leq 2$. An optimal value exists for
403\textit{$\omega$} which significantly accelerates the convergence, but it has to be
404adjusted empirically for each model domain (except for a uniform grid where an
405analytical expression for \textit{$\omega$} can be found \citep{Richtmyer1967}).
406The value of $\omega$ is set using \np{rn\_sor}, a \textbf{namelist} parameter.
407The convergence test is of the form:
409\delta = \frac{\sum\limits_{i,j}{R_{i,j}^n}{R_{i,j}^n}}
410                    {\sum\limits_{i,j}{ \tilde{b}_{i,j}^n}{\tilde{b}_{i,j}^n}} \leq \epsilon
412where $\epsilon$ is the absolute precision that is required. It is recommended
413that a value smaller or equal to $10^{-6}$ is used for $\epsilon$ since larger
414values may lead to numerically induced basin scale barotropic oscillations.
415The precision is specified by setting \np{rn\_eps} (\textbf{namelist} parameter).
416In addition, two other tests are used to halt the iterative algorithm. They involve
417the number of iterations and the modulus of the right hand side. If the former
418exceeds a specified value, \np{nn\_max} (\textbf{namelist} parameter),
419or the latter is greater than $10^{15}$, the whole model computation is stopped
420and the last computed time step fields are saved in a NetCDF file.
421In both cases, this usually indicates that there is something wrong in the model
422configuration (an error in the mesh, the initial state, the input forcing,
423or the magnitude of the time step or of the mixing coefficients). A typical value of
424$nn\_max$ is a few hundred when $\epsilon = 10^{-6}$, increasing to a few
425thousand when $\epsilon = 10^{-12}$.
426The vectorization of the SOR algorithm is not straightforward. The scheme
427contains two linear recurrences on $i$ and $j$. This inhibits the vectorisation.
428\eqref{Eq_sor_algo} can be been rewritten as:
432= &a_{i,j}^{N}  D_{i+1,j}^n +\,a_{i,j}^{E}  D_{i,j+1} ^n
433 +\,a_{i,j}^{S}  D_{i-1,j} ^{n}+\,_{i,j}^{W} D_{i,j-1} ^{n} -  D_{i,j}^n - \tilde{b}_{i,j}      \\
434R_{i,j}^n = &R_{i,j}^n - \omega \;a_{i,j}^{S}\; R_{i,j-1}^n                                             \\
435R_{i,j}^n = &R_{i,j}^n - \omega \;a_{i,j}^{W}\; R_{i-1,j}^n
438This technique slightly increases the number of iteration required to reach the convergence,
439but this is largely compensated by the gain obtained by the suppression of the recurrences.
441Another technique have been chosen, the so-called red-black SOR. It consist in solving successively
442\eqref{Eq_sor_algo} for odd and even grid points. It also slightly reduced the convergence rate
443but allows the vectorisation. In addition, and this is the reason why it has been chosen, it is able to handle the north fold boundary condition used in ORCA configuration ($i.e.$ tri-polar global ocean mesh).
445The SOR method is very flexible and can be used under a wide range of conditions,
446including irregular boundaries, interior boundary points, etc. Proofs of convergence, etc.
447may be found in the standard numerical methods texts for partial differential equations.
449% -------------------------------------------------------------------------------------------------------------
450%       Preconditioned Conjugate Gradient
451% -------------------------------------------------------------------------------------------------------------
452\subsection{Preconditioned Conjugate Gradient  (\np{nn\_solv}=1, \mdl{solpcg}) }
455\textbf{A} is a definite positive symmetric matrix, thus solving the linear
456system \eqref{Eq_solmat} is equivalent to the minimisation of a quadratic
459\textbf{Ax} = \textbf{b} \leftrightarrow \textbf{x} =\text{inf}_{y} \,\phi (\textbf{y})
460\quad , \qquad
461\phi (\textbf{y}) = 1/2 \langle \textbf{Ay},\textbf{y}\rangle - \langle \textbf{b},\textbf{y} \rangle 
463where $\langle , \rangle$ is the canonical dot product. The idea of the
464conjugate gradient method is to search for the solution in the following
465iterative way: assuming that $\textbf{x}^n$ has been obtained, $\textbf{x}^{n+1}$ 
466is found from $\textbf {x}^{n+1}={\textbf {x}}^n+\alpha^n{\textbf {d}}^n$ which satisfies:
468{\textbf{ x}}^{n+1}=\text{inf} _{{\textbf{ y}}={\textbf{ x}}^n+\alpha^n \,{\textbf{ d}}^n} \,\phi ({\textbf{ y}})\;\;\Leftrightarrow \;\;\frac{d\phi }{d\alpha}=0
470and expressing $\phi (\textbf{y})$ as a function of \textit{$\alpha $}, we obtain the
471value that minimises the functional:
473\alpha ^n = \langle{ \textbf{r}^n , \textbf{r}^n} \rangle  / \langle {\textbf{ A d}^n, \textbf{d}^n} \rangle
475where $\textbf{r}^n = \textbf{b}-\textbf{A x}^n = \textbf{A} (\textbf{x}-\textbf{x}^n)$ 
476is the error at rank $n$. The descent vector $\textbf{d}^n$ s chosen to be dependent
477on the error: $\textbf{d}^n = \textbf{r}^n + \beta^n \,\textbf{d}^{n-1}$. $\beta ^n$ 
478is searched such that the descent vectors form an orthogonal basis for the dot
479product linked to \textbf{A}. Expressing the condition
480$\langle \textbf{A d}^n, \textbf{d}^{n-1} \rangle = 0$ the value of $\beta ^n$ is found:
481 $\beta ^n = \langle{ \textbf{r}^n , \textbf{r}^n} \rangle  / \langle {\textbf{r}^{n-1}, \textbf{r}^{n-1}} \rangle$.
482 As a result, the errors $ \textbf{r}^n$ form an orthogonal
483base for the canonic dot product while the descent vectors $\textbf{d}^n$ form
484an orthogonal base for the dot product linked to \textbf{A}. The resulting
485algorithm is thus the following one:
487initialisation :
490\textbf{x}^0 &= D_{i,j}^0   = 2 D_{i,j}^t - D_{i,j}^{t-1}       \quad, \text{the initial guess }     \\
491\textbf{r}^0 &= \textbf{d}^0 = \textbf{b} - \textbf{A x}^0       \\
492\gamma_0 &= \langle{ \textbf{r}^0 , \textbf{r}^0} \rangle
496iteration $n,$ from $n=0$ until convergence, do :
499\text{z}^n& = \textbf{A d}^n \\
500\alpha_n &= \gamma_n /  \langle{ \textbf{z}^n , \textbf{d}^n} \rangle \\
501\textbf{x}^{n+1} &= \textbf{x}^n + \alpha_n \,\textbf{d}^n \\
502\textbf{r}^{n+1} &= \textbf{r}^n - \alpha_n \,\textbf{z}^n \\
503\gamma_{n+1} &= \langle{ \textbf{r}^{n+1} , \textbf{r}^{n+1}} \rangle \\
504\beta_{n+1} &= \gamma_{n+1}/\gamma_{n}  \\
505\textbf{d}^{n+1} &= \textbf{r}^{n+1} + \beta_{n+1}\; \textbf{d}^{n}\\
510The convergence test is:
512\delta = \gamma_{n}\; / \langle{ \textbf{b} , \textbf{b}} \rangle \leq \epsilon
514where $\epsilon $ is the absolute precision that is required. As for the SOR algorithm,
515the whole model computation is stopped when the number of iterations, \np{nn\_max}, or
516the modulus of the right hand side of the convergence equation exceeds a
517specified value (see \S\ref{MISC_solsor} for a further discussion). The required
518precision and the maximum number of iterations allowed are specified by setting
519\np{rn\_eps} and \np{nn\_max} (\textbf{namelist} parameters).
521It can be demonstrated that the above algorithm is optimal, provides the exact
522solution in a number of iterations equal to the size of the matrix, and that
523the convergence rate is faster as the matrix is closer to the identity matrix,
524$i.e.$ its eigenvalues are closer to 1. Therefore, it is more efficient to solve
525a better conditioned system which has the same solution. For that purpose,
526we introduce a preconditioning matrix \textbf{Q} which is an approximation
527of \textbf{A} but much easier to invert than \textbf{A}, and solve the system:
528\begin{equation} \label{Eq_pmat}
529\textbf{Q}^{-1} \textbf{A x} = \textbf{Q}^{-1} \textbf{b}
532The same algorithm can be used to solve \eqref{Eq_pmat} if instead of the
533canonical dot product the following one is used:
534${\langle{ \textbf{a} , \textbf{b}} \rangle}_Q = \langle{ \textbf{a} , \textbf{Q b}} \rangle$, and
535if $\textbf{\~{b}} = \textbf{Q}^{-1}\;\textbf{b}$ and $\textbf{\~{A}} = \textbf{Q}^{-1}\;\textbf{A}$ 
536are substituted to \textbf{b} and \textbf{A} \citep{Madec_al_OM88}.
537In \NEMO, \textbf{Q} is chosen as the diagonal of \textbf{ A}, i.e. the simplest form for
538\textbf{Q} so that it can be easily inverted. In this case, the discrete formulation of
539\eqref{Eq_pmat} is in fact given by \eqref{Eq_solmat_p} and thus the matrix and
540right hand side are computed independently from the solver used.
542% ================================================================
Note: See TracBrowser for help on using the repository browser.