20.07.2013 Views

Ecole doctorale de Physique de la région Parisienne (ED107)

Ecole doctorale de Physique de la région Parisienne (ED107)

Ecole doctorale de Physique de la région Parisienne (ED107)

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

180 Spectral methods and vectorial equations<br />

The new matrix on the LHS is again a pentadiagonal matrix. Boundary conditions are<br />

imposed by adding a homogeneous solution from the Equation (B.4) or from the Equation<br />

(B.5) 1 . The rea<strong>de</strong>r can find in the quoted literature more <strong>de</strong>tails on the spectral methods,<br />

and on how to implement boundary conditions.<br />

To conclu<strong>de</strong>, note that in the present example, we expand the solution in spherical<br />

harmonics. But it turns out that in general it is more convenient to use linear combinations<br />

of Chebyshev polynomials to treat the expansion in ϑ. The philosophy of the spectral<br />

methods then consists of performing simple operations such as computing <strong>de</strong>rivatives,<br />

primitives, integrals, multiplications or divisions by r, r 2 , sin ϑ or cos ϑ in the coefficients<br />

space, and by making multiplications of functions in the configuration space. If necessary,<br />

the passage to a Legendre representation is performed with a matrix multiplication.<br />

B.1.2 Analysis in vectorial case<br />

Stability of numerical vectorial PDE<br />

We have seen how to handle coordinates singu<strong>la</strong>rities appearing in sca<strong>la</strong>r PDE when<br />

spherical coordinates are used. But when treating vectorial PDE, as EE or NSE, the singu<strong>la</strong>rities<br />

are more malicious : a single look at the components of NSE [Equation (4.9)]<br />

should be sufficient to convince the rea<strong>de</strong>r. The singu<strong>la</strong>r terms cannot be handled only<br />

by <strong>la</strong>ying down analytical properties, as it was done in the above sca<strong>la</strong>r equation. In<strong>de</strong>ed,<br />

the <strong>de</strong>pen<strong>de</strong>nce existing among the different spherical components must be taken into<br />

account in or<strong>de</strong>r to make singu<strong>la</strong>r terms compensate each others. A simple example will<br />

illustrate this crucial point.<br />

Consi<strong>de</strong>r the following constant divergence-free vector V of Cartesian components :<br />

Vx = 0, Vy = 0, Vz = 1. Its spherical components are Vr = − cos ϑ; Vϑ = sin ϑ; Vϕ = 0.<br />

Then, we have div V = ∂Vr 2 + ∂r r Vr + 1 ∂Vϑ cos ϑ ( + r ∂ϑ sin ϑ Vϑ) = 0. A small error (for example a<br />

round-off error) in the computation of components will obviously forbid an exact compensation<br />

between the two singu<strong>la</strong>r terms 2Vr/r and 1<br />

r (∂ϑVϑ<br />

cos ϑ + sin ϑ Vϑ). The consequence is<br />

the creation of high or<strong>de</strong>r coefficients and possible instabilities appearing in the iterative<br />

process.<br />

In<strong>de</strong>ed, we found that the hydroco<strong>de</strong> for solving linearized EE was unstable. As expected,<br />

high frequency terms were exploding after few hundred timesteps (few periods<br />

of the r-mo<strong>de</strong>) either in the case of the ane<strong>la</strong>stic approximation or in the case of the<br />

incompressible approximation (div W = 0). As exp<strong>la</strong>ined above, the main reason for this<br />

instability was the nonexact compensation of the singu<strong>la</strong>r terms contained in the different<br />

source terms in the Poisson Equations (B.22) and (B.24) (see below).<br />

1 The case α[1, ϑ, ϕ] = 0 is called <strong>de</strong>generate. In this case no BC are allowed, and a + b must be = 0.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!