Issue |
A&A
Volume 555, July 2013
|
|
---|---|---|
Article Number | A81 | |
Number of page(s) | 12 | |
Section | Numerical methods and codes | |
DOI | https://doi.org/10.1051/0004-6361/201220725 | |
Published online | 04 July 2013 |
Comparison of different nonlinear solvers for 2D time-implicit stellar hydrodynamics
1
Max-Planck-Institut für Astrophysik, Karl Schwarzschild Strasse 1, 85741
Garching, Germany
e-mail: mviallet@mpa-garching.mpg.de
2
Physics and Astronomy, University of Exeter,
Stocker Road, Exeter, EX4
4QL, UK
3
École Normale Supérieure, Lyon, CRAL (UMR CNRS 5574), Université
de Lyon 1, 69007
Lyon,
France
Received:
12
November
2012
Accepted:
11
May
2013
Time-implicit schemes are attractive since they allow numerical time steps that are much larger than those permitted by the Courant-Friedrich-Lewy criterion characterizing time-explicit methods. This advantage comes, however, at a cost: the solution of a system of nonlinear equations is required at each time step. In this work, the nonlinear system results from the discretization of the hydrodynamical equations with the Crank-Nicholson scheme. We compare the cost of different methods, based on Newton-Raphson iterations, to solve this nonlinear system, and benchmark their performances against time-explicit schemes. Since our general scientific objective is to model stellar interiors, we use as test cases two realistic models for the convective envelope of a red giant and a young Sun. Focusing on 2D simulations, we show that the best performances are obtained with the quasi-Newton method proposed by Broyden. Another important concern is the accuracy of implicit calculations. Based on the study of an idealized problem, namely the advection of a single vortex by a uniform flow, we show that there are two aspects: i) the nonlinear solver has to be accurate enough to resolve the truncation error of the numerical discretization; and ii) the time step has be small enough to resolve the advection of eddies. We show that with these two conditions fulfilled, our implicit methods exhibit similar accuracy to time-explicit schemes, which have lower values for the time step and higher computational costs. Finally, we discuss in the conclusion the applicability of these methods to fully implicit 3D calculations.
Key words: hydrodynamics / methods: numerical / stars: interiors
© ESO, 2013
1. Introduction
The numerical integration of hydrodynamical equations in stellar interiors is characterized by numerical stiffness that can severely restrict the time step if a time-explicit scheme is used. Stiffness is due to sound waves traveling in deep stellar interiors that are usually characterized by low-Mach numbers. The flow is thus essentially frozen during the crossing time of a sound wave over a cell. Overcoming these short time scales imposed by sound waves may thus be of interest. Radiative diffusion also causes stiffness, especially near the surface where diffusivity becomes strong. When using an explicit time-stepping method, numerical stiffness causes a restrictive stability condition on the time step. Therefore, depending on the physical case studied, one may choose to discretize advection and/or diffusion implicitly in order to relax the constraint on the time step. In this work, we consider the fully time-implicit discretization of the compressible hydrodynamical equations as implemented in Viallet et al. (2011), which provides a preliminary description of our time-implicit code MUSIC1.
MUSIC solves the equations describing the evolution of density, momentum, and internal
energy, taking external gravity and radiative diffusion into account:
where
ρ is the density, e the specific internal energy,
u the velocity, p the gas pressure,
T the temperature, g the gravitational
acceleration, and χ the thermal conductivity. For photons, the thermal
conductivity is given by
(4)where
κ is the Rosseland mean opacity, and σ the
Stefan-Boltzmann constant.
![]() |
Fig. 1 Initial models for the two test cases considered in this work. Left panel: red giant model (M = 5 M⊙, R = 60 R⊙). Right panel: young Sun (M = 1 M⊙, R = 3 R⊙). Both panels show the vorticity field. |
We follow the method of lines and perform the spatial discretization independently from the
time discretization (see e.g. LeVeque 2007). The
spatial discretization is based on finite volumes with staggered velocity components. The
numerical fluxes are computed at interfaces with a monotonicity-preserving upwind method. We
refer the reader to Viallet et al. (2011) for
details. After spatial discretization, we get a semi-discrete system (5)where
U = (ρ,ρe,ρu), and
R contains the flux differencing and source terms. At this stage we
introduce the implicit time-stepping method to discretize this system in time. In this work
we consider the second-order Crank-Nicholson method:
(6)We define the
nonlinear residual function
(7)so that
F(Un + 1,Δt) = 0
defines the new time step. For clarity, we drop the explicit dependence
of F on Δt in the notation. Solving
F(Un + 1) = 0, which allows
the solution to evolve over time, is the challenge of implicit solvers. In this work, we
present and compare different methods of solving this system of nonlinear equations. The
nonlinear solvers considered here are all based on the Newton-Raphson method. Other
approaches are possible, see for instance Kifonidis &
Müller (2012) who use a multigrid method to solve the nonlinear system. The present
work focuses on numerical methods to invert the nonlinear residual F and
does not address a comparison between different implicit time-stepping schemes (e.g.
Crank-Nicholson, backward differentiation formulae, implicit Runge-Kutta methods). This is
left for future work. Finally, we only consider 2D calculations, extension to 3D is
currently under progress and is discussed in the conclusion.
The paper is organized as follows. In Sect. 2, we present the test cases that we use to characterize the performances and accuracy of our nonlinear solvers. In Sect. 3, we present in details the solution strategies for solving F(Un + 1) = 0. In Sect. 4, we present two other methods that are conditionally stable, namely the second-order Adam-Bashforth method and the minimum residual approximate implicit (MRAI) method. These methods are much cheaper, in terms of CPU time for a numerical time step, so we use them to benchmark the performances of the fully implicit methods. In Sect. 5, we present and discuss our results regarding the accuracy and the performances of the implicit solvers. In Sect. 6, we conclude and outline future developments.
2. Test cases
We introduce two types of test cases. Since our scientific applications concern stellar hydrodynamics, we consider two realistic models of stellar convection to benchmark the performances of our nonlinear solvers. Flows in stellar interiors are turbulent, so they are no ideal ways to characterize the accuracy of the different methods, because pointwise convergence, for instance, is not meaningful due to the chaotic character of the flow. Therefore, to characterize the accuracy of the different nonlinear methods we consider an idealized problem: the advection of an isentropic vortex, as described in Yee et al. (2000).
2.1. 2D stellar models
Two different stellar models are used to benchmark the performance of our methods. The first one is the red giant model discussed in Viallet et al. (2011). The basic parameters of the stellar model are M = 5 M⊙ and R = 60 R⊙. The numerical setup is the same as in Viallet et al. (2011). The second test case corresponds to a young Sun with M = 1 M⊙, R = 3 R⊙, and an age of a few Myr, when a radiative core appears. The setup is thus similar to that of the red giant test: the computational domain includes both the convective envelope and a fraction of the radiative core. As done for the red giant, a surface cooling term is introduced in the energy equation to mimic radiative cooling at the surface (see Viallet et al. 2011).
As in Viallet et al. (2011), we define three “CFL”
numbers: where
cs is the sound speed, u the flow velocity,
Δx the typical mesh size, and Δt the time step. These
definitions are inspired by the well-known Courant-Friedrich-Lewy stability condition for
explicit schemes. When choosing the value of the time step for numerical integration,
CFLhydro ≲ 1 and CFLrad ≲ 1 usually provide very good guidelines
for the maximum value that can be used if advection and/or radiative diffusion are solved
explicitly. Note that CFLadv ≲ 1 is not a stability limit for compressible
codes, but this number is introduced here as was recognized in Viallet et al. (2011) as a useful quantity to monitor.
CFLadv ≫ 1 implies that eddies are being advected over several cells during a
time step, and this is expected to be prone to strong numerical damping. We investigate
this in more detail in Sect. 5.1.3.
Both test cases use the same equation-of-state and opacity routines, and are discretized with the same resolution of 216 × 256. From the raw numerical cost, the two cases are therefore identical. However, they differ in terms of the typical convective velocity: in the red giant model the convective Mach number is on the order of 0.1, whereas in the young Sun model it is on the order of 0.01. On average, a time step that corresponds to CFLadv ~ 1 translates into CFLhydro ~ 40 (Δt ~ 0.15 d) in the red giant model and into CFLhydro ~ 500 (Δt ~ 1.5 h) in the young Sun model. These test cases are therefore useful for investigating how the performances of the different methods change for different CFL regimes. Finally, radiative diffusion is not a very stiff process in these models. Radiative diffusion becomes stiff close to the surface layers, where the density decreases significantly (see e.g. Fig. 13 in Viallet et al. 2011). These surface layers are not described realistically in our simulations, because they are modeled by an artificial isothermal region. Therefore, in the models discussed here, numerical stiffness stems essentially from the sound waves, and our tests address the efficiency of discretizing advection implicitly.
2.2. Advection of an isentropic vortex in 2D
This test problem was originally described in Yee et al.
(2000). Here we closely follow the setup and parameters of Kifonidis & Müller (2012)2.
The initial state consists of an isentropic vortex (i.e. zero entropy perturbation)
embedded in a uniform flow characterized by
u∞ = 1, v∞ = 0, ρ∞ = 1, T∞ = 1.
The vortex corresponds to the following perturbations in the state variables:
where
T = p/ρ,
γ is the adiabatic index, and
the vortex strength. We use here γ = 1.4 and
.
The initial conditions are The
computations are performed on a 2D Cartesian domain
[−4,4] × [−4,4] . Initially, the vortex is
centered on the origin. The advection of the vortex is computed numerically during
0.4 unit of time. The exact solution of the problem corresponds to the vortex profile
being shifted by 0.4 unit of length in the x direction. In Sect. 5.1, we characterize the accuracy of our nonlinear
methods by comparing the computed density field
ρi,j and the expected analytical solution
, using three
different norms:
Nx,
Ny being the grid dimensions.
Summary of the Newton-Raphson method.
-
1.
Set the initial guess U(0) = Un.
-
2.
At iteration k:
-
i.
Solve a linear system of the form J(k)δU(k) = −F(U(k)) to get the Newton direction δU(k);
-
ii.
Compute U(k + 1) = U(k) + δU(k);
-
iii.
If max ||δU(k)/U(k)|| < ϵ, go to 3;
-
i.
-
3.
Adapt Δt based on the time step strategy (see text);
-
4.
Set Un + 1 = U(k).
3. Implicit method: nonlinear solvers
3.1. Classes of solvers
The general framework for solving F(Un + 1) = 0 is the well-known Newton-Raphson method, as summarized in Table 1. Starting with an initial guess, here the solution at time step n, one starts an iterative process. At each iteration, a linear system is solved to get the Newton correction δU(k) (see step 2. ii. in Table 1), which is used to update the current iteration. Convergence is tested on the relative corrections, which are required to become smaller than a given “nonlinear tolerance” ϵ. The first iteration to fulfill this condition is then the new solution Un + 1. From this general framework, we can distinguish different classes of solvers, described below.
One can first distinguish “direct” from “iterative” methods of solving the linear system. A direct method solves the system in a finite number of steps, using e.g. Gaussian elimination. Without rounding errors, it would deliver the exact solution, therefore these methods are often referred to as “exact”. In practice, however, the numerical accuracy depends on the condition number of the matrix, the concrete exact method, and its numerical implementation. In particular for large systems, the accuracy can become very poor even if elaborate pivoting is used. On the other hand, an iterative method produces a sequence of approximations that converge to the solution and allows the user to tune the accuracy of the result. The motivation for these methods is the counter-productivity of “over-solving” the linear system within Newton-Raphson iterations, given that what is essentially required is an update direction that lowers the norm of the nonlinear residual. Approximate solutions of the linear system can fulfill this requirement and, even if the number of Newton-Raphson iterations increases, an overall gain in performance is observed. For this reason, this type of method is usually referred to as “inexact”.
The most efficient iterative methods for solving sparse linear systems seek a solution in the so-called Krylov space of the matrix, see e.g. Chapter 6 in Saad (2003). For our purpose, an important requirement for these “Krylov solvers” is that they can deal with general nonsymmetric matrices. Here, we use the generalized minimum residual method (GMRES) described in Saad & Schultz (1986). We use the “restarted” variant of GMRES, i.e. we limit the dimension of the Krylov space to 40 and the method is restarted from the last solution when the number of iterations reaches this number. Another popular method, which we plan to test in the future, is the stabilized biconjugate gradient method (BiCGStab, see van der Vorst 1992).
The combination of a Krylov solver with Newton-Raphson iterations is often called a
“Newton-Krylov” method. We define the forcing term, or “linear tolerance”,
η, as the parameter that controls the accuracy of the iterative solver,
based on the following criterion for convergence: (20)We consider linear
tolerances in the range 10-1−10-6. Finally, iterative methods need
“preconditioning” to be efficient, or even to achieve convergence. This is discussed in
Sect. 3.3.
One can also distinguish between “Newton” and “quasi-Newton” methods. In a Newton method,
the matrix J(k) (see Table 1) is the
Jacobian matrix evaluated at U(k):
(21)whereas in a
quasi-Newton method, J(k) is only an
approximation of the Jacobian matrix. Newton methods are characterized by a quadratic
convergence near the solution, which is not the case for quasi-Newton methods. However,
the latter usually performs better (and are designed to), because the quasi-Jacobian
matrix is typically cheaper to compute than the Jacobian matrix. An often suggested choice
for such a “quasi-Jacobian” matrix is the Jacobian of a simplified system of equations,
resulting for instance from a lower-order spatial discretization. Here, we use the method
proposed by Broyden (1965). The Broyden method is a
generalization of the secant method, with
J(k), the so-called “Broyden”
matrix, initialized with the Jacobian matrix at the first Newton-Raphson iteration. It is
then updated during the next nonlinear iterations using the formula proposed by Broyden (1965):
(22)where
δF(k) = F(U(k + 1)) − F(U(k)),
and J(k) is the previous Broyden
matrix. It fulfills the following relation:
(23)which can indeed be
interpreted as an approximation of the Jacobian matrix using the secant method.
![]() |
Fig. 2 Summary of the different classes of Newton-Raphson solvers. The shaded area refers to the approach described in Viallet et al. (2011). |
Viallet et al. (2011) present results obtained with an exact Newton method. The use of a state-of-the-art direct solver, MUMPS3 (see Amestoy et al. 2001, 2006), resulted in a robust, but expensive method that is clearly outperformed by the methods presented here.
MUSIC is interfaced with the Trilinos toolkit (see Heroux et al. 2005), which provides access to state-of-the-art libraries. We use the library Epetra for matrix/vector storage and basic linear algebra operations, AztecOO for Krylov solvers, IFPACK for preconditioners, and NOX for computing the Jacobian matrix and implementing the Broyden method.
Figure 2 summarizes the different strategies for solving the nonlinear system resulting from an implicit discretization. This work focuses on inexact methods. The next two sections describe the method for computing the Jacobian matrix and the preconditioning strategy for the GMRES solver, focusing on the stellar models described in Sect. 2.1.
Costs for computing the Jacobian matrix, ILU preconditioners, and for performing 20 GMRES iterations with preconditioning operation.
3.2. Jacobian matrix computation
We compute the Jacobian matrix elements by finite differencing:
(24)This strategy is
chosen because it provides flexibility to change the code, in terms of both implemented
physics (e.g. source terms, physical equations) and numerical method (e.g. limiters,
reconstruction order). We use a forward formula to compute the Jacobian elements. A
centered formula is two times more expensive, and it is not clear that the improved
accuracy would significantly affect the nonlinear convergence, especially within a
quasi-Newton strategy. As in Viallet et al. (2011),
we use the colored finite differencing algorithm (hereafter CFD, see Curtis et al. 1974; Gebremedhin et al.
2005). Since the main cost is in evaluating F, CFD minimizes the
number of function evaluations by grouping independent columns of the Jacobian in a
“compressed” representation of the matrix. Technically, this is done prior to the
computation using the sparsity graph of the Jacobian, which is known in advance since it
only depends on the physical equations and numerical method. In Viallet et al. (2011), the number of columns of this compressed
representation, also called the number of colors
ng, was found to be roughly 50 for the
discretization of the hydrodynamical equations in 2D. The strategy is then to loop on
colors, to perturb all variables of that color, to recompute F, and to
apply finite differencing to obtain several matrix coefficients at once. In total, the CFD
algorithm needs ng + 1 evaluations of
F to compute the Jacobian matrix. The advantage of the CFD method is
that ng is roughly independent of the problem
size so that the cost of the algorithm scales linearly with the matrix size. Figure 3 (see also Table 2) illustrates the cost of the method for our stellar models at three different
resolutions: 216 × 256, 436 × 512, and 872 × 1024.
Finally, another possibility for computing the Jacobian matrix is to use “automatic differentiation”, see e.g. Griewank & Walther (2008). The goal of automatic differentiation is to compute the Jacobian matrix by achieving the performances, both in time and in accuracy, of an analytically hand-coded Jacobian. We plan to test this in the future.
![]() |
Fig. 3 Cost of the linear algebra elementary operations versus the number of degrees of freedom (d.o.f.): computation of the Jacobian matrix, construction of the ILU preconditioners (down-triangles: ILU(1), right-triangles: ILU(2), up-triangles: ILU(3)), and 20 GMRES iterations without preconditioning. Tests are performed on the stellar models. Single core computations (CPU: Intel Xeon Westmere at 2.80 Ghz). |
3.3. ILU preconditioning
In Fig. 4, the blue dotted lines illustrate how the
number of GMRES iterations needed to achieve convergence with
η = 10-4 increases with the time step, measured here in
terms of CFLhydro, in both the red giant and young Sun models. The iterative
solver eventually fails at converging within the allowed number of iterations, set here to
the rather high value of 1000. The bad performance of the iterative method in this case is
due to the condition number of the Jacobian matrix, which increases with the time step.
This can be qualitatively understood by the following argument. The Jacobian matrix
J corresponding to Eq. (7) can be written as (25)For low values of the
time step,
and it has spectral properties that are very similar to the unity matrix, although
eigenvalues are here clustered around 1/Δt. As a
result the matrix is diagonally dominant and its condition number is close to one, so that
the iterative method performs very well. On the other hand, for high values of the time
step,
which is much more complex and has less favorable spectral properties. For instance,
has
high off-diagonal values that deteriorate the condition number of the matrix. If we denote
by λ the eigenvalues of
, the
eigenvalues of J are
, and the
unity matrix will dominate the spectral properties of J when
(26)for all
λ. For a hyperbolic equation discretized with an upwind method, the
eigenvalues λ are located in the left-hand region of the complex plane,
and the maximum value of the module is close to the velocity of the characteristics (e.g.
sound waves) divided by the mesh size Δx (see LeVeque 2007, Sect. 10.4). As a consequence, the above inequality is
similar to the CFL condition, and indeed Fig. 4 shows
that the number of iterations significantly increases as soon as CFLhydro
becomes larger than one. Since implicit methods target CFLhydro ≫ 1, one will
always face this problem. However, to obtain good performances it is important to keep the
number of GMRES iterations to a moderate value (a few dozen). To achieve that, one has to
use preconditioning. The preconditioned GMRES method solves the following modified system
(27)where
M is the preconditioning matrix. We dropped the Newton-Raphson
index (k) for clarity. If M is a good enough
approximation of J-1, the number of iterations needed
for convergence will be much lower. It is also important to consider the cost for
computing the preconditioning matrix and for the preconditioning operation during GMRES
iterations. There is therefore a trade-off between the quality
of M, in terms of an approximation
of J-1, and the cost involved.
![]() |
Fig. 4 Number of GMRES iterations for different CFLhydro and different preconditioning strategy (including no preconditioning) for the red giant (left panel) and the young Sun (right panel) models. The tolerance of the linear solver is η = 10-4 and the maximum number of iterations is set to 1000. The vertical dashed lines denote the position of CFLhydro = 1 (blue line), CFLadv = 1 (green line), CFLrad = 1 (red line). In the right panel, CFLrad = 1 falls outside of the figure. |
In this work, we use an incomplete LU (ILU) factorization of the Jacobian matrix as a preconditioner, see e.g. Chapter 10 in Saad (2003). The quality of the ILU decomposition can be tuned with the fill-in factor k, for which we test the values k = 1,2,3. Table 2 (see also Fig. 3) shows the cost of building the preconditioning matrix and the cost of GMRES iterations with the preconditioning operation, which both increase with k. Figure 4 shows how ILU preconditioning affects the convergence of the GMRES method. For the red giant models, the figure shows that up to CFLhydro ~ 40, all ILU preconditioners have the same effect: they keep the number of GMRES iterations between 10 and 20. This is a net gain over the unpreconditioned GMRES that needs ~500 iterations to converge for the same time step. For large CFL numbers, the performances of ILU preconditioning clearly deteriorate. Note that ILU(3) does not show any improvement upon ILU(2). The results for the young Sun models show similar behavior. The major difference is that for CFLadv ~ 1, the number of iterations needed for convergence is roughly 200, i.e. significantly high. This suggests that a better preconditioner is needed to perform large CFL number computations, i.e. at CFLhydro ≳ 1000.
Finally, the cost of preconditioning can be amortized by recycling the preconditioning matrix during the computation. Indeed, since the preconditioner is only meant to be an approximation of J-1, we find that it can be reused during Newton-Raphson iterations without losing much of its efficiency. Therefore, we compute the preconditioning matrix only at the first Newton-Raphson, and reuse it during the remaining Newton-Raphson iterations.
4. Explicit methods
For comparison purpose, we also consider two explicit time-stepping schemes, which have a stability limit on the time step. The first scheme is a simple second-order explicit Adam-Bashforth method. The second scheme is the minimum residual approximate implicit scheme from Botchev et al. (1999), which we formulate as a stabilization of the Adam-Bashforth method.
4.1. The explicit Adam-Bashforth method
We use the second-order, explicit Adam-Bashforth method to discretize Eq. (5), see e.g. Sect. 5.9 in LeVeque (2007). This method is a linear multistep method, and it
requires one evaluation of the right-hand side R per time step and the
storage of the previous value
R(Un−1). The update
formula is (28)Because this method
is explicit in time, it is prone to a CFL condition on the time step. We find that in our
case a value of the CFL number as low as ~0.1 has to be used to perform a stable
computation.
4.2. The MRAI method
The MRAI method is described in Botchev et al. (1999). A predictor step is performed with an explicit method, here the Adam-Bashforth method, with a larger time step than allowed for stability. A corrector step stabilizes the scheme by performing a fixed amount of GMRES iterations (here taken to be five) using the implicit nonlinear residual (7). It can be seen as an explicit scheme with an update formula that adapts at each time step, thanks to the different action of the GMRES, to improve stability. It is still conditionally stable and hence limited to moderate values of the time step. In Botchev et al. (1999), an adaptive time step strategy is based on the highest eigenvalue of the Jacobian matrix. Here, we find that limiting the CFL number to a value of 1.5 was enough to maintain stability. This is 15 times more than the Adam-Bashforth method.
The advantage is that for such CFL numbers the use of preconditioning in the GMRES solver
is not necessary (see Fig. 4). This allows taking
advantage of an important property of Krylov methods: they only require the action of the
Jacobian matrix on a vector, and not the Jacobian matrix itself. The action of the
Jacobian can then be approximated by a finite difference:
(29)where
δ is a small perturbation. The method is said to be “Jacobian-free”,
since the Jacobian matrix is never explicitly formed. The complete algorithm is
-
1.
Use the Adam-Bashforth method to perform a full time step, letU ⋆ be the result;
-
2.
Perform five GMRES iterations on the system J(U ⋆ )δU = −F(U ⋆ );
-
3.
Set Un + 1 = Un + δU;
-
4.
Limit the time step such that CFL ≲ 1.5.
In a Jacobian-free method, one GMRES iteration requires one nonlinear residual evaluation. Therefore, one time step of the MRAI solver requires six nonlinear residual evaluations: one to compute F(U ⋆ ), and five for the GMRES iterations.
5. Results
In this section, we first characterize the accuracy of the different nonlinear solvers, and then characterize the performances of the methods.
5.1. Accuracy
In this section we characterize the accuracy of the implicit solvers based on the vortex advection test problem described in Sect. 2.2.
5.1.1. Sources of numerical errors
We solve an initial value problem defined by a set of partial differential equations
(Eqs. (1)−(3)), appropriate boundary conditions, and some specified initial
conditions. Let u(x,t)4 be the exact solution of this problem. Let
be the
numerical solution of the discretized problem, it is an approximation of
u(xi,tn)5. In our case,
is the
solution of the discrete equations resulting from the Crank-Nicholson method and finite
volumes discretization. Let ℋΔt be the formal operator that
corresponds to the exact resolution of the nonlinear system (7):
(30)However, the
system of nonlinear equations is not solved exactly, and the Newton-Raphson solver
introduces an error. Therefore, the numerical solution instead satisfies
(31)with
the error
introduced by the Newton-Raphson solver. The local truncation error of the numerical
scheme is defined as
(32)This
corresponds to the error due to the discretization of the original partial differential
equations. For the numerical scheme to be consistent, one requires that
T(x,t) → 0 as
Δx → 0,Δt → 0. If the temporal
discretization is of order p and the spatial discretization of order
q, then
(33)Depending on the ratio
Δt/Δx, the truncation error can
be either dominated by the temporal error or by the spatial error (see for instance
results and discussion in Appendix A of Viallet et al.
2011).
The pointwise error is defined as
(34)From
Eqs. (31) and (32), we obtain
(35)This equation
illustrates how the new error stem from the old error (cumulative effect), and how the
error created at each time step stem from the truncation error of the scheme and the
error due to the inaccuracy in resolving the discrete equations. It is clear that it is
desirable for ℰ to be smaller than the truncation error.
The truncation error is “controlled” by the user, since it depends on the choice of the temporal and spatial discretization methods and on the spatial/temporal resolutions. As emphasized in the introduction, this paper does not address a comparison of different temporal methods and how their truncation errors affect the accuracy. However, an important issue that we do address here concerns the amplitude of ℰ. As shown by Eq. (35), it will affect the results when it dominates the truncation error, a very undesirable situation. What are the possible contributions to ℰ? First, note that for an explicit scheme, ℰ is near the machine accuracy, so that in practice it is likely to be significantly smaller than truncation errors. For an implicit scheme, ℰ can in principle be related to 1) the stopping criterion of the Newton-Raphson procedure; 2) the details of the nonlinear method itself (use of iterative methods, linear tolerance η, type of preconditioner, approximate Jacobian matrix, etc). The next section aims at elucidating this.
![]() |
Fig. 5 Convergence of the numerical error with resolution for the vortex advection test. The error is measured with the L1-norm (crosses), L2-norm (dots), and L∞-norm (square). Results are obtained with the inexact Newton method (η = 10-6). Three different values of the nonlinear tolerance are investigated: 10-2,10-4,10-6 (from left to right). The labels show the inferred rates of convergence of the different errors. |
5.1.2. Effects of nonlinear tolerance ϵ and nonlinear methods on accuracy
To determine the parameters that affect ℰ, we performed a large number of runs of the isentropic vortex advection test (see Sect. 2.2) and monitored the numerical error. We used a sequence of uniform grids with resolutions ranging from 322 to 10242. Computations were done at constant CFLhydro. We considered the same time step as Kifonidis & Müller (2012), corresponding to CFLhydro ~ 1.85 and CFLadv = 0.8. With the ratio of Δt/Δx fixed, the truncation error behaves as Δx2 (or equivalently Δt2), since our scheme is second order in space and time. In Sect. 5.1.3, we investigate the effect of the time step choice, keeping spatial resolution constant, on the accuracy.
The parameters we vary are
-
the nonlinear tolerance ϵ in the stopping criterion of the Newton-Raphson iterations (see Table 1). We consider ϵ = 10-2, 10-4, 10-6;
-
linear solver: “exact” method (direct solver MUMPS), “inexact” method (GMRES) with linear tolerance η = 10-1, 10-2, 10-4, 10-6;
-
Jacobian matrix strategy: Newton6, Broyden method;
-
preconditioner (iterative methods only): recycled ILU(1) or no preconditioner.
It should be emphasized that we could not use the direct solver MUMPS to perform test runs at resolutions 5122 and 10242, because the memory requirement of the LU decomposition exceeded the available memory on the computer used to run the tests (32 gigabytes).
We first compare the results for all runs at a resolution of 2562. The error is measured by the difference between the computed density field and the analytical solution. The values of the numerical error, measured using the L1-norm, are summarized in Table 3. The “Exact Newton” with ϵ = 10-6 is the method used in Viallet et al. (2011). From the results shown in this table, we can draw important conclusions.
-
1.
For a nonlinear tolerance ϵ = 10-6, all methods show roughly the same numerical error (with three significant digits). In this case, the numerical accuracy does not depend on the details of the nonlinear method. For less strict nonlinear tolerances, however, we find that accuracy deteriorates for some nonlinear methods. In the worst cases, an order of magnitude can be lost in accuracy. We find that such cases often correspond to linear/nonlinear tolerances being lose enough so that only one (or possibly two) linear/nonlinear iterations are needed to reach convergence. Such situations should be avoided.
-
2.
The inexact Newton method with linear tolerance η = 10-6 has roughly the same numerical error (with three significant digits) as the exact Newton method. This shows that the GMRES method with a strict tolerance yields similar results to the direct method MUMPS, which is much more expensive. The small difference in the error observed between the inexact Broyden method and the inexact Newton method, both with η = 10-6, can be attributed to the effect of the approximation of the Jacobian rather than to the inaccuracy of the linear solver. However, as noted above, the difference between both methods disappears when the nonlinear tolerance is strict enough.
We now consider the inexact Newton method with η = 10-6, identified above as the most accurate method because it gives similar results to the direct solver MUMPS, independently of ϵ. The memory requirement for iterative solvers are much less demanding, so we can use this method to study the convergence of the error with resolution for different nonlinear tolerance ϵ. The results are shown in Fig. 5. For ϵ = 10-2, we find that the error saturates for resolutions higher than 642. In this case, the error introduced by the loose nonlinear tolerance of the Newton iterations dominate the truncation error at resolutions higher than 642. Other nonlinear methods lead, at best, to the same result. For nonlinear tolerances of 10-4 and 10-6, we find the expected second-order rate of convergence. In these cases, we conclude that ℰ is smaller than the truncation error. From the results shown in Table 3, it can be expected that at ϵ = 10-4 some methods will not exhibit a similar convergence, and that at ϵ = 10-6all methods will exhibit the same convergence. We checked that this is indeed the case. We can therefore draw the important conclusion that, at least up to a resolution of 10242, a nonlinear tolerance of 10-6 is strict enough to ensure that the numerical error is dominated by the truncation error stemming from the second-order temporal and spatial discretization.
L1-norm of the error for the vortex advection problem for a resolution of 2562.
This highlights that, in general, the nonlinear tolerance has to be tuned to match the expected value of the truncation error. As emphasized earlier, this depends on both the temporal/spatial discretizations (more precisely: their order of accuracy) and on the spatial/temporal resolutions. In principle, the truncation error can be made as small as desired (within the limit of machine accuracy). This means that a given nonlinear tolerance ϵ can limit the merits of high-resolution/high-order computations.
5.1.3. Impact of the time step on accuracy
In this section, we use the isentropic advection test problem to study how the
numerical error depends on the time step. As a measure of the time step, we use the
advective CFL number defined as (36)In the spirit
of Eq. (8), it measures by how many cells
the vortex is advected across the grid during a time step. Viallet et al. (2011) argued that CFLadv ≳ 1 results in
inaccurate advection, because the vortex is moved over several cells during a time step.
To quantify this effect, we consider a constant resolution (2562) and vary
the time step in order to cover the broadest possible range of CFLadv. The
maximum value we can reach is limited by the Newton-Raphson procedure: for too high
values of CFLadv, the Newton-Raphson method does not converge any longer.
![]() |
Fig. 6 Impact of the time step on the numerical accuracy of the vortex advection problem (2562). The results were obtained with the inexact Newton method (η = 10-6), with ϵ = 10-4 (left) and ϵ = 10-6 (right). For comparison, the results obtained with the Adam-Bashforth (triangles down) and the MRAI (triangles up) methods are shown in both panels. |
The test is performed with the inexact Newton method with η = 10-6. We consider ϵ = 10-4 and ϵ = 10-6, to ensure that the numerical error is dominated by the truncation error (see previous section). For ϵ = 10-4, we can reach CFLadv ~ 10, whereas for ϵ = 10-6, the Newton-Raphson method does not converge when CFLadv ≳ 3. The results are presented in Fig. 6. These results show that when increasing the time step there is a transition from a regime where the numerical error is dominated by the spatial error (for CFLadv ≲ 1), which is constant since the resolution is fixed, to a regime where the error is dominated by the temporal error (CFLadv ≳ 1) and behaves as Δt2. For ϵ = 10-6, convergence difficulties act as a “natural limitation” of the time step and effectively prevent the numerical accuracy to deteriorate too significantly. The results obtained with the Adam-Bashforth and MRAI methods are indicated in Fig. 6. They show that our implicit methods are as accurate as these explicit methods when CFLadv ≲ 2. It is worth noting that the L∞ error of the MRAI scheme is larger than the fully implicit scheme at a similar time step, whereas the L1 and L2 norms show that the global convergence is comparable to other schemes. This is due to the fixed number of Krylov iterations in the method, which does not ensure a uniform convergence over the computational domain. This shows that the MRAI scheme sacrifices somewhat pointwise accuracy for improved stability.
Summary of the tests for the red giant.
It should be emphasized that the situation investigated here is very idealized, because the test problem consists of a single vortex being advected by a uniform flow. More realistic flows, such as turbulent flows in stellar interiors, are instead characterized by a large number of eddies interacting in a chaotic way. The study of accuracy in such chaotic flow is complex so deserves further attention. Based on the results presented in this section, we consider that CFLadv ≲ 2 is an acceptable condition on the time step to ensure accurate advection.
5.2. Performances
In the previous section, we showed that a nonlinear tolerance ϵ = 10-6 ensures that the accuracy of the computation is not affected by the details of the nonlinear method. We now set ϵ = 10-6 and benchmark the performances of the different nonlinear methods based on the stellar models presented in Sect. 2.1. The benchmark procedure is the following. We start our runs from 2D initial models that provide a state where convective motions are already well-developed and in a quasi-steady state (i.e., the models were already advanced for some time prior to the benchmark). These initial snapshots are shown in Fig. 1. We perform 100 time steps using the different methods described in Sect. 3. The strategy on the time step is based on a limitation of the advective CFL, with CFLadv,max = 0.5, 1, 1.5, 2. We do not consider larger time steps, for which accuracy deteriorates significantly (see previous section). For the two explicit methods described in Sect. 4, we choose the time step according to stability consideration. As the resulting time step is significantly smaller, we compute more models, typically 1000 for the MRAI method, and 10 000 for the Adam-Bashforth method.
We performed a large set of test runs to study how the performances are affected by 1) the choice between the Newton and the Broyden methods; 2) the tolerance η on the linear solver; 3) the fill-in level of the ILU preconditioner. We also discuss how the choice of the time step affects the performances. The results are summarized in Table 4 for the red giant models and Table 5 for the young Sun models. For the sake of clarity, we do not show the results of all runs but only those which illustrate the main conclusions drawn in the discussion below.
Our results show that the most critical choice in obtaining good performances is to use the Broyden method rather than the Newton method. Although the average number of nonlinear iterations per time step is larger with the Broyden method, computing the Broyden update of the Jacobian matrix is much faster than recomputing the Jacobian matrix. Furthermore, our results show that the average number of nonlinear iterations per time step is not strongly affected by the value of the tolerance η on the linear solver. Therefore, an inexact strategy with a low tolerance (η = 10-1,10-2) leads to better performances than with a more strict tolerance (e.g. η = 10-4). The choice of ILU preconditioner has to be made according to the average value of CFLhydro. For the red giant models, which have rather low CFLhydro, ILU(1) performs the best. For the young Sun models, the ILU(2) preconditioner is the best choice: the CFLhydro is too large for ILU(1) to be efficient (see Fig. 4) and we find that ILU(3) does not decrease the number of GMRES iterations significantly to compensate for its cost. This “saturation” in efficiency of the preconditioner has already been discussed with Fig. 4. With a better preconditioner, it is not excluded that better performances could be achieved for the young Sun models. We come back to the shortcomings of our present preconditioning method in the conclusion. Finally, it is important to recycle the preconditioning matrix to obtain good performances, since building the ILU factorization has a cost similar to that of the Jacobian matrix computation. We tested that recycling the preconditioner during the whole Newton-Raphson procedure has no impact on the number of nonlinear iterations, thus leading to the best performances.
Concerning the time step, the efficiency of the solvers increases with the values of CFLadv. The average number of Newton-Raphson iterations per time step increases with the advective CFL number, since the solution varies more between two time steps, achieving convergence with more Newton-Raphson iterations (see discussion in Viallet et al. 2011). However, this increase in the number of nonlinear iterations is compensated for by the longer time step, leading to the observed gain in efficiency. This shows that an aggressive strategy on the time step is rewarded by the best performances.
Finally, a comparison with the performance of explicit methods shows that our best implicit solvers perform faster, leading to speed-up factors of roughly 2−3 for the red giant calculations and roughly 15−20 for the young Sun calculations. Nevertheless, it should be emphasized that our explicit methods are stable only for quite low values of the time step, but the MUSIC code was not optimized for explicit calculations. For instance, the second-order Adam-Bashforth is computational inexpensive, but it has a very strict stability limit. In the future, we plan to benchmark the performances of the MUSIC code against other, “state-of-the-art”, explicit codes.
6. Conclusion
This paper presented a comparison of different Newton-Raphson solvers for time-implicit hydrodynamical computations. We first elucidated the importance of using a strict tolerance on the convergence criteria of the Newton-Raphson procedure: it ensures that the numerical error is dominated by truncation errors rather than by errors related to the nonlinear method itself. In our case, we found that requiring relative corrections to become smaller than ϵ = 10-6 is optimal given the typical grid resolutions we consider.
Having ascertained that the different nonlinear methods do not affect accuracy, we then benchmarked their performances. We identified the Broyden method as the most efficient nonlinear solver as compared to the standard Newton method. We show that an “inexact” strategy on the linear system leads to better performances. We identify the preconditioner as a crucial component of the method, since preconditioning is inherently required in the large CFL number regime. We used an incomplete LU factorization of the Jacobian matrix. The cost of building the ILU preconditioning matrix is important, but its impact on the performance of the method can be significantly mitigated by recycling the preconditioner. We find that the optimum recycling strategy is to build the ILU factorization only at the first Newton-Raphson iteration.
Concerning the choice of the time step, we showed that advection is resolved accurately when the time step fulfills CFLadv ≲ 2. It should be stressed that this conclusion was drawn from a simplified physical situation, i.e. the advection of a single vortex by a uniform flow. For turbulent flows, a pointwise study of accuracy is undermined by the chaotic nature of the flow. One possibility is to study convergence of meaningful statistical properties of flow, as for instance the mean convective flux. We plan to investigate this in the future, but it can be expected that averaged quantities will be quite robust. Knowing the maximum optimal time step for accuracy is important, because our results show that the best performances are obtained when allowing for a large number of nonlinear iterations resulting from an “aggressive” choice for the time step.
Our results show that an effective implicit solver, at least in 2D, can be built based on already existing software libraries, such as Trilinos. These toolkits provide state-of-the-art implementations of the building blocks needed for an implicit solver: quasi-Newton methods, Krylov solvers, colored finite algorithm to compute the Jacobian matrix, black-box algebraic preconditioners, etc. The methods presented here perform significantly better than the explicit methods implemented in the MUSIC code, but there is room for improvement. We identify two bottlenecks: the computation of the Jacobian matrix, and the ILU preconditioner, which becomes inefficient at large CFL numbers. For the first, the so-called “Jacobian-free” approach is an attractive possibility. Jacobian-free Newton-Krylov solvers are very popular methods of solving large-scale problems; see Knoll & Keyes (2004) for a review. The Jacobian-free GMRES method needs one evaluation of the nonlinear residual at each iteration. Using CFD, a Jacobian matrix in 2D is computed in roughly 50 nonlinear residual evaluations (see Sect. 3.2), which means that a Jacobian-free GMRES becomes interesting if the total number of GMRES iterations can be kept below 50. This naturally leads us to consider the second bottleneck, which is the preconditioning method.
We show here that a simple ILU strategy is only efficient at CFLhydro ≲ 100. The “black-box” nature of ILU factorizations is an advantage both in terms of flexibility and ease of implementation, especially since it is widely implemented in existing scientific libraries. Other possible algebraic preconditioners are variants of incomplete factorization as ILU with threshold (ILUT) or the block incomplete LU preconditioner described in Ploeg et al. (1997); algebraic multigrid (AMG) preconditioners; sparse approximate inverse (SAI) preconditioners (see e.g. Wang & de Sturler 2009), see e.g. Saad (2003) for an introduction to ILUT, AMG, and SAI. It is important to stress that algebraic preconditioners are based on the coefficient matrix and completely ignore the physical processes responsible for the bad conditioning of the Jacobian matrix. On the other hand, physics-based preconditioners (see e.g. Knoll & Keyes 2004) are based on the physical processes responsible for numerical stiffness, i.e. sound waves and/or thermal diffusion, rather than on the structure/elements of the matrix. The implementation of such a preconditioning method is left for a future work.
Finally, the analysis of the implicit solvers presented in this work begs an important question within the context of stellar hydrodynamics applications: Can we use them to perform
3D calculations? In 3D, the Jacobian matrix has a more complex sparsity pattern, with new extra diagonal terms due to the third dimension. As a result, we find that the number of colors of the Jacobian is multiplied by a factor of two in 3D, i.e. ng = 100, which makes Jacobian-free methods even more attractive. Similarly, the incomplete LU factorization is more complex and more expensive to compute. The methods presented in this work would certainly work, but not efficiently. We expect to face the same issues regarding the inefficiency of ILU preconditioning at large CFL numbers. Our efforts are now devoted to the development of a better preconditioner and the use of Jacobian-free Krylov methods, with the aim of achieving efficient implicit computations at large CFL numbers both in 2D and 3D. Furthermore, with the perspective of performing large-scale 3D computations, we will address the challenging question of the parallelization and scalability of our implicit methods in future publications.
There is a sign error in their Eq. (C.2). Our Eq. (11) is correct, see also Yee et al. (2000).
Acknowledgments
M.V. acknowledges support from a Newton International Fellowship and Alumni program from the Royal Society. Part of this work was funded by the Royal Society Wolfson Merit award WM090065, the Consolidated STFC grant ST/J001627/1STFC and by the French “Programme National de Physique Stellaire” (PNPS). Finally, the authors thank an anonymous referee for his/her constructive criticism that lead to a substantial improvement of the paper.
References
- Amestoy, P. R., Duff, I. S., L’Excellent, J.-Y., & Koster, J. 2001, SIAM J. Matrix Anal. Appl., 23, 15 [Google Scholar]
- Amestoy, P. R., Guermouche, A., & Pralet, S. 2006, Parallel Computing, 32, 136 [Google Scholar]
- Botchev, M. A., Sleijpen, G. L., & van der Vorst, H. A. 1999, Appl. Numer. Math., 31, 239 [CrossRef] [Google Scholar]
- Broyden, C. G. 1965, Math. Comp., 19, 577 [Google Scholar]
- Curtis, A. R., Powell, M. J. D., & Reid, J. K. 1974, IMA J. Appl. Math., 13, 117 [Google Scholar]
- Gebremedhin, A. H., Manne, F., & Pothen, A. 2005, SIAM Rev, 47, 629 [Google Scholar]
- Griewank, A., & Walther, A. 2008, Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2nd edn., Other Titles in Applied Mathematics No. 105 (Philadelphia, PA: SIAM) [Google Scholar]
- Heroux, M. A., Bartlett, R. A., Howle, V. E., et al. 2005, ACM Trans. Math. Softw., 31, 397 [CrossRef] [Google Scholar]
- Kifonidis, K., & Müller, E. 2012, A&A, 544, A47 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
- Knoll, D. A., & Keyes, D. E. 2004, JCP, 193, 357 [Google Scholar]
- LeVeque, R. 2007, Finite Difference Methods for Ordinary and Partial Differential Equations: Steady-State and Time-dependent Problems (Society for Industrial and Applied Mathematics) [Google Scholar]
- Ploeg, A., Keppens, R., & Tóth, G. 1997, in High-Performance Computing and Networking, eds. B. Hertzberger, & P. Sloot (Berlin, Heidelberg: Springer), Lect. Notes Comput. Sci., 1225, 421 [Google Scholar]
- Saad, Y. 2003, Iterative Methods for Sparse Linear Systems, 2nd edn. (Philadelphia, PA, USA: Society for Industrial and Applied Mathematics) [Google Scholar]
- Saad, Y., & Schultz, M. H. 1986, SIAM J. Sci. Stat. Comput., 7, 856 [Google Scholar]
- van der Vorst, H. A. 1992, SIAM J. Sci. Stat. Comput., 13, 631 [CrossRef] [MathSciNet] [Google Scholar]
- Viallet, M., Baraffe, I., & Walder, R. 2011, A&A, 531, A86 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
- Wang, S., & de Sturler, E. 2009, Linear Algebra Appl., 431, 409 [CrossRef] [Google Scholar]
- Yee, H., Vinokur, M., & Djomehri, M. 2000, JCP, 162, 33 [Google Scholar]
All Tables
Costs for computing the Jacobian matrix, ILU preconditioners, and for performing 20 GMRES iterations with preconditioning operation.
All Figures
![]() |
Fig. 1 Initial models for the two test cases considered in this work. Left panel: red giant model (M = 5 M⊙, R = 60 R⊙). Right panel: young Sun (M = 1 M⊙, R = 3 R⊙). Both panels show the vorticity field. |
In the text |
![]() |
Fig. 2 Summary of the different classes of Newton-Raphson solvers. The shaded area refers to the approach described in Viallet et al. (2011). |
In the text |
![]() |
Fig. 3 Cost of the linear algebra elementary operations versus the number of degrees of freedom (d.o.f.): computation of the Jacobian matrix, construction of the ILU preconditioners (down-triangles: ILU(1), right-triangles: ILU(2), up-triangles: ILU(3)), and 20 GMRES iterations without preconditioning. Tests are performed on the stellar models. Single core computations (CPU: Intel Xeon Westmere at 2.80 Ghz). |
In the text |
![]() |
Fig. 4 Number of GMRES iterations for different CFLhydro and different preconditioning strategy (including no preconditioning) for the red giant (left panel) and the young Sun (right panel) models. The tolerance of the linear solver is η = 10-4 and the maximum number of iterations is set to 1000. The vertical dashed lines denote the position of CFLhydro = 1 (blue line), CFLadv = 1 (green line), CFLrad = 1 (red line). In the right panel, CFLrad = 1 falls outside of the figure. |
In the text |
![]() |
Fig. 5 Convergence of the numerical error with resolution for the vortex advection test. The error is measured with the L1-norm (crosses), L2-norm (dots), and L∞-norm (square). Results are obtained with the inexact Newton method (η = 10-6). Three different values of the nonlinear tolerance are investigated: 10-2,10-4,10-6 (from left to right). The labels show the inferred rates of convergence of the different errors. |
In the text |
![]() |
Fig. 6 Impact of the time step on the numerical accuracy of the vortex advection problem (2562). The results were obtained with the inexact Newton method (η = 10-6), with ϵ = 10-4 (left) and ϵ = 10-6 (right). For comparison, the results obtained with the Adam-Bashforth (triangles down) and the MRAI (triangles up) methods are shown in both panels. |
In the text |
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.