Vous êtes sur la page 1sur 36

METHODE DES VOLUMES FINIS

F. Benkhaldoun
LAGA Universit Paris 13

13 avril 2010

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

VOLUMES FINIS POUR SYSTEMES HYPERBOLIQUES

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Systmes physiques considrs On sintresse des problmes dcoulements de uides, reprsents gnralement par des systmes dEDP du type : W F (W ) G (W ) H(W ) + + + =0 t x y z Exemples : (1)

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Equations dEuler en une dimension despace t (u) t E t + (u) x u 2 + P x [u (E + P)] x =0 (2)

+ +

=0 =0

1 avec la loi dtat pour les gaz parfaits : p = ( 1) E u 2 , 2 o est la densit du uide, u la vitesse, E lEnergie, et p : la pression.
F. Benkhaldoun METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Ecoulement deau peu profonde - Modle De Saint-Venant On considre un coulement deau o la profondeur est ngligeable devant ltendue (Modle Shallow Water [1]). Si le fond du canal est plat (pente nulle), et les frottements ngligeables, le problme est rgi par le systme simpli : h t (hu) x + + (hu) x x 1 hu 2 + gh2 2 =0 (3) =0

h tant la hauteur de leau, u : la vitesse, et g la constante de gravit.

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Prsentation de la mthode pour problmes scalaires monodimensionnels Introduction Considrons le problme suivant : u f (u) I t + x = 0 dans R]0, T [ I u = u(x, t) R u(x, 0) = u (x) 0 Dans la suite, on notera X = R [0, T [. I Exemple, quation de Burger : u + t x u2 2 =0

(4)

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Solution au sens des distributions et relations de saut Rsolution dans le cas o u est C 1 (u) u + f (u) = 0 u est alors Si u C 1 (X ), on a : (4) = t x constante sur la courbe caratristique dans le plan (x, t) donne par dx(t) = f [u (x(t), t)] dt x(t = 0) = x0 On en dduit la solution u : u (x(t), t) = u (x(0), 0) = u (x0 , 0) = u0 (x0 )

(5)

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Solution au sens des distributions et relations de saut Rsolution dans le cas o u est C 1 (u) u + f (u) = 0 u est alors Si u C 1 (X ), on a : (4) = t x constante sur la courbe caratristique dans le plan (x, t) donne par dx(t) = f [u (x(t), t)] dt x(t = 0) = x0 On en dduit la solution u : u (x(t), t) = u (x(0), 0) = u (x0 , 0) = u0 (x0 )

(5)

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Solution au sens des distributions et relations de saut Rsolution dans le cas o u est C 1 (u) u + f (u) = 0 u est alors Si u C 1 (X ), on a : (4) = t x constante sur la courbe caratristique dans le plan (x, t) donne par dx(t) = f [u (x(t), t)] dt x(t = 0) = x0 On en dduit la solution u : u (x(t), t) = u (x(0), 0) = u (x0 , 0) = u0 (x0 )

(5)

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

En notant f (u) = a(u), le systme caractristique considr est alors : dx = a (u0 (x0 )) dt u(x, t) = u0 (x0 ) ce qui donne : x0 = x ta (u0 (x0 )) Applications : u(x, t) = u0 (x0 )

(6)

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

En notant f (u) = a(u), le systme caractristique considr est alors : dx = a (u0 (x0 )) dt u(x, t) = u0 (x0 ) ce qui donne : x0 = x ta (u0 (x0 )) Applications : u(x, t) = u0 (x0 )

(6)

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

1. Cas linaire u u +c = 0 = a(u) = c t x caractristique : x = x0 + tc x0 = x ct f (u) = cu : Solution : u(x, t) = u0 (x ct)

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

2. Equations de Burger On considre lquation non linaire suivante u u2 + = 0, t x 2 u2 Ici on a f (u) = , donc a(u) = f (u) = u 2 La caractristique est donne par : x = x0 + tu0 (x0 )

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Soient les direntes conditions initiales : cas 1 0 si x < 0 u0 (x) = x si x 0 cas x0 < 0, x = x0 , u1 (x, t) = u0 (x) cas x0 0, x = x0 + tx0 , u1 (x, t) = u0 (x0 ) = u0 cas 2 u0 (x) = 1 si x < 0 0 si x 0 x 1+t = x 1+t

cas x0 < 0, x = x0 + t, u2 (x, t) = u0 (x t) = u0 (x0 ) = 1 cas x0 0, x = x0 , u2 (x, t) = u0 (x) = 0 Solutions discontinues et relations de saut :
F. Benkhaldoun METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Theorem Les 3 noncs suivants sont quivalents : i) u est une solution au sens des distributions, ou solution faible de (4) , i.e

u
0

+ f (u) t x

dxdt +

u0 (x)(x, 0)dx = 0,

R I R I D (I [0, +[) R ii) R = [x1 , x2 ] [t1 , t2 ] = R [0, T ] , I [u.nt + f (u).nx ] d = 0


R

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Theorem u + f (u) = 0 au sens classique, et sur t x dx (ul , ur ) dquation = s, courbe de discontinuit entre les tats dt ul et ur , on a la relation de saut : [f (u)] = s [u] , o [u] = ur ul . iii) l o u est C 1 , La relation de saut est appele relation de Rankime-Hugoniot en dynamique des gaz.

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Exemple : Soit lquation de Burger : u u2 + =0 t x 2 0 si x < 0 1 si x 0 Premire solution faible : On cherche une solution avec le choc (0, 1), on utilise alors les relations de saut : u2 u2 1 [f (u)] = s [u] = r l = s [ur ul ] = s = 2 = 2 2 0 si x < 1 t 2 u(x, t) = 1 si x 1 t 2 et la condition initiale : u0 (x) =
F. Benkhaldoun METHODE DES VOLUMES FINIS

(7)

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Exemple : Soit lquation de Burger : u u2 + =0 t x 2 0 si x < 0 1 si x 0 Premire solution faible : On cherche une solution avec le choc (0, 1), on utilise alors les relations de saut : u2 u2 [f (u)] = s [u] = r l = s [ur ul ] = s = 1 = 2 2 2 0 si x < 1 t 2 u(x, t) = 1 si x 1 t 2 et la condition initiale : u0 (x) =
F. Benkhaldoun METHODE DES VOLUMES FINIS

(7)

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

0 x Deuxime solution faible : u(x, t) = t 1

x <0 t x si 0 < 1 x t si 1 t Il conviendrait donc davoir un critre de selection entre ces deux solutions au sens des distributions. Ceci fera lobjet de la section suivante. si

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

x <0 t x si 0 < 1 x t si 1 t Il conviendrait donc davoir un critre de selection entre ces deux solutions au sens des distributions. Ceci fera lobjet de la section suivante. 0 x Deuxime solution faible : u(x, t) = t 1 si

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Validit physique de la solution : condition dentropie Solution entropique Denition Une fonction convexe U, assez rgulire, est dite entropie du problme, sil existe une fonction F appele ux dentropie vriant : U (u)f (u) = F (u). Denition u solution faible du problme (4) est dite entropique si
T

D (I R]0, T ]) :
0

U(u)

+ F (u) t x

dxdt 0, o U

R I est une entropie du problme, et F le ux dentropie.


F. Benkhaldoun METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Remarque 1 : On montre quune solution entropique vrie la condition dentropie avec la fonction convexe (mais non drivable au sens classique), U(u) =| u k |, et le ux dentropie associ F (u) = sgn(u k)(f (u) f (k)), o k R I Remarque 2 : Rciproquement, comme toute fonction convexe appartient lenveloppe convexe de lensemble des fonctions anes, et des fonctions de la forme x | x k |, une solution qui vrie la condition dentropie avec la fonction convexe U(u) =| u k |, est une solution entropique. Theorem (Kruzkov 1970) Sous certaines hypothses de rgularit de u0 , il existe une unique solution entropique du problme (4).

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Remarque 1 : On montre quune solution entropique vrie la condition dentropie avec la fonction convexe (mais non drivable au sens classique), U(u) =| u k |, et le ux dentropie associ F (u) = sgn(u k)(f (u) f (k)), o k R I Remarque 2 : Rciproquement, comme toute fonction convexe appartient lenveloppe convexe de lensemble des fonctions anes, et des fonctions de la forme x | x k |, une solution qui vrie la condition dentropie avec la fonction convexe U(u) =| u k |, est une solution entropique. Theorem (Kruzkov 1970) Sous certaines hypothses de rgularit de u0 , il existe une unique solution entropique du problme (4).

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Remarque 1 : On montre quune solution entropique vrie la condition dentropie avec la fonction convexe (mais non drivable au sens classique), U(u) =| u k |, et le ux dentropie associ F (u) = sgn(u k)(f (u) f (k)), o k R I Remarque 2 : Rciproquement, comme toute fonction convexe appartient lenveloppe convexe de lensemble des fonctions anes, et des fonctions de la forme x | x k |, une solution qui vrie la condition dentropie avec la fonction convexe U(u) =| u k |, est une solution entropique. Theorem (Kruzkov 1970) Sous certaines hypothses de rgularit de u0 , il existe une unique solution entropique du problme (4).

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Notion dentropie Lemme : Il existe une quantit U qui est convecte partout o u est U(u) + F (u) = 0 C 1 i.e. t x u u preuve : l o u est C 1 : U (u) + f (u) = 0, sil existe F t x U(u) + F (u) = 0 tel que U (u)f (u) = F (u), alors t x

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Notion dentropie Lemme : Il existe une quantit U qui est convecte partout o u est U(u) + F (u) = 0 C 1 i.e. t x u u preuve : l o u est C 1 : U (u) + f (u) = 0, sil existe F t x U(u) + F (u) = 0 tel que U (u)f (u) = F (u), alors t x

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Considrons le problme rgularis du problme (4) 2u u f (u) + = 2 t x x u(x, 0) = u0 (x) Proposition Il existe une unique solution rgulire u du problme (8) Proposition La solution du problme (4) est limite au sens des distributions quand tend vers 0 de la solution du problme (8)

(8)

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Considrons le problme rgularis du problme (4) 2u u f (u) + = 2 t x x u(x, 0) = u0 (x) Proposition Il existe une unique solution rgulire u du problme (8) Proposition La solution du problme (4) est limite au sens des distributions quand tend vers 0 de la solution du problme (8)

(8)

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Considrons le problme rgularis du problme (4) 2u u f (u) + = 2 t x x u(x, 0) = u0 (x) Proposition Il existe une unique solution rgulire u du problme (8) Proposition La solution du problme (4) est limite au sens des distributions quand tend vers 0 de la solution du problme (8)

(8)

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Proposition Une fonction u, C 1 par morceaux, est solution faible entropique de (4) si et seulement si : i) u est solution classique l o u est C 1 ii) Sur une courbe de choc , u satisfait [F (u)] s [U(u)] , (U, F ) couple dentropie et de ux dentropie. Corollaire 1) Si f est strictement convexe, alors un choc est entropique si et seulement si : f (ur ) < s < f (ul ) Corollaire : 2) Si f est convexe, alors un choc est entropique si et seulement si : ur < ul
F. Benkhaldoun METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Proposition Une fonction u, C 1 par morceaux, est solution faible entropique de (4) si et seulement si : i) u est solution classique l o u est C 1 ii) Sur une courbe de choc , u satisfait [F (u)] s [U(u)] , (U, F ) couple dentropie et de ux dentropie. Corollaire 1) Si f est strictement convexe, alors un choc est entropique si et seulement si : f (ur ) < s < f (ul ) Corollaire : 2) Si f est convexe, alors un choc est entropique si et seulement si : ur < ul
F. Benkhaldoun METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Proposition Une fonction u, C 1 par morceaux, est solution faible entropique de (4) si et seulement si : i) u est solution classique l o u est C 1 ii) Sur une courbe de choc , u satisfait [F (u)] s [U(u)] , (U, F ) couple dentropie et de ux dentropie. Corollaire 1) Si f est strictement convexe, alors un choc est entropique si et seulement si : f (ur ) < s < f (ul ) Corollaire : 2) Si f est convexe, alors un choc est entropique si et seulement si : ur < ul
F. Benkhaldoun METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Proposition Une fonction u, C 1 par morceaux, est solution faible entropique de (4) si et seulement si : i) u est solution classique l o u est C 1 ii) Sur une courbe de choc , u satisfait [F (u)] s [U(u)] , (U, F ) couple dentropie et de ux dentropie. Corollaire 1) Si f est strictement convexe, alors un choc est entropique si et seulement si : f (ur ) < s < f (ul ) Corollaire : 2) Si f est convexe, alors un choc est entropique si et seulement si : ur < ul
F. Benkhaldoun METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

Application : la premire solution de lexemple (7) nest pas entropique, donc non admissible.

F. Benkhaldoun

METHODE DES VOLUMES FINIS

Systmes physiques considrs Prsentation de la mthode pour problmes scalaires monodimensionnels Validit physique de la solution : condition dentropie Bibliography

J. J. Stoker : Water waves , Interscience Publishers, New york, (1957),

F. Benkhaldoun

METHODE DES VOLUMES FINIS