28.01.2014 Views

Méthodes numériques pour des systèmes hyperboliques avec terme ...

Méthodes numériques pour des systèmes hyperboliques avec terme ...

Méthodes numériques pour des systèmes hyperboliques avec terme ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

2.3. Méthode de projection GRP espace-temps transport 1D<br />

Théorème 2.1. Le schéma est conservatif <strong>pour</strong> le premier momentα n,0 . Si la donnée initialeu 0 (x)<br />

<strong>pour</strong>x ∈ R est un polynôme de degréketu L (t) = u 0 (−at), alors le schéma préserve exactement<br />

les polynômes de degré k.<br />

Remarquons que ce schéma est conservatif uniquement <strong>pour</strong> le premier moment. En conséquence,<br />

s’il est utilisé dans un contexte de volumes finis, les moments d’ordre plus élevé doivent<br />

être interprétés comme <strong>des</strong> <strong>terme</strong>s correctifs.<br />

Démonstration. Par définition du schéma, il vient :<br />

∑<br />

∫<br />

α n+1,0<br />

i<br />

= u h (x,t n+1 )dx,<br />

i<br />

R<br />

∫<br />

=<br />

Ru h (x−a∆t,t n )dx = ∑ i<br />

α n,0<br />

i<br />

.<br />

Le schéma est donc conservatif <strong>pour</strong> le premier momentα n,0 .<br />

tel-00814182, version 1 - 16 Apr 2013<br />

À présent, on établit la précision de la méthode. Pour simplifier les calculs, la vitesse a est<br />

supposée positive. La preuve sera faite par récurrence.<br />

Tout d’abord, on considère le schéma explicite (λ < 1). Au temps t = 0, on suppose que la<br />

solution initiale est polynomiale : u 0 (x) ∈ R k [X].<br />

Au temps t = t n , la solution donnée par le schéma est supposée exacte : u n (x) = u 0 (x−at n ) si<br />

x−at n > 0, u n (x) = u L (t− x a ) sinon. Donc en particulier, un (x) ∈ R k [X].<br />

Pour que le schéma soit d’ordre k + 1, il faut donc montrer que la solution exacte est préservée<br />

par le schéma au temps t = t n +∆t.<br />

Dans chaque cellule C i du domaine au temps t = t n , on a u n i (x) = un (x) Ci<br />

∈ R k [X]. Ainsi,<br />

la projection de u n (x) dans l’espace d’approximation P k C<br />

conserve cette solution polynomiale<br />

u n (x).<br />

Étape d’évolution : Cette étape consiste à faire évoluer de manière exacte la solution. Sur le volume<br />

Ki n , en remontant les courbes caractéristiques, on remarque que la solution temporelle exacte sur<br />

le bord gauche I n+1 2 ×x i−<br />

1 est :<br />

2<br />

v n+1 2<br />

h<br />

(t,x i−<br />

1 = u<br />

2) n i−1 (x i− 1 −a(t−t n )) ∈ R k [X],<br />

2<br />

et sur le bord droit I n+1 2 ×x i+<br />

1 :<br />

2<br />

v n+1 2<br />

h<br />

(t,x i+<br />

1<br />

2<br />

) = u n i (x i+<br />

1 −a(t−t n )) ∈ R k [X].<br />

2<br />

La solution exacte dans la cellule C i est :<br />

⎧ ( )<br />

⎨<br />

u h v n+1 2<br />

t n+1 − x−x i−<br />

i (x,tn +∆t) = i− 1 2<br />

1<br />

a<br />

, si (x−x i−<br />

1) < a∆t,<br />

2<br />

2<br />

⎩<br />

u n i (x−a∆t),<br />

sinon.<br />

Étape de projection : Les solutions exactes sont projetées dans les espaces correspondants P k . Sur<br />

le bord gauche, commev n+1 2<br />

h<br />

(x i−<br />

1<br />

2<br />

temporelle sur l’interface I n+1 2 ×x i−<br />

1<br />

2<br />

v n+1 2(t) = v n+1 i− 1 2<br />

2<br />

) ∈ R k [X], la projection sur l’espaceP k I<br />

est exacte. La solution<br />

est donc la solution exacte :<br />

h<br />

(t,x i−<br />

1<br />

2<br />

) = u n i−1(x i−<br />

1 −a(t−t n )).<br />

2<br />

41

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

Saved successfully!

Ooh no, something went wrong!