Dcomposition de flux et discontinuit de contact stationnaire e e Franois DUBOIS c Applications Scientiques du Calcul Intensif, btiment 506, BP 167, F-91403

a Orsay Cedex, Conservatoire National des Arts et Mtiers, 15 rue Marat, F-78 e 210 Saint Cyr lEcole. (5 janvier 2000) Rsum. e e Pour approcher de faon prcise et stable une couche limite avec c e un schma de volumes nis, lanalyse numrique du probl`me de e e e la discontinuit de contact stationnaire montre quune dcomposie e xtion de ux gn`re en gnral une viscosit numrique propore e e e e e tionnelle ` la dirence de densit alors quil nen est rien avec a e e une rsolution approche du probl`me de Riemann. e e e

Flux vector splitting and stationary contact discontinuity Abstract. In order to capture in a stable and accurate way a boundary layer with an upwind nite volume scheme, the numerical analysis of stationary contact discontinuity problem shows that under natural symmetry hypotheses, a ux splitting generates a numerical viscosity proportional to the dierence of densities whereas the numerical viscosity is null for a ux dierence splitting approximating all the waves of the Riemann problem. 1. Introduction. Nous tudions les quations dEuler de la dynamique des gaz ` une dimension e e a despace. Elles prennent la forme dun syst`me de lois de conservation liant e W e ltat W et le ux f (W ) : e t + x f (W ) = 0. Ltat W = W (t, x) 3 IR reprsente une densit volumique de masse, dimpulsion et dnergie : e e e 1 2 3 W = , u , E e + 2 u . Le ux f (W ) IR a une expression algbrique qui utilise la pression, laquelle est pour un gaz parfait polytropique e une fonction de la densit (>0) et de lnergie interne e (e>0) paramtre e e e e C.R. Acad. Sci. Paris, Srie 1, Analyse Numrique / Numerical Anae e lysis, volume 330, numro 9, p. 847-850, mai 2000. Note prsente par Olivier e e e Pironneau. Edition du 11 septembre 2005.

Francois Dubois

par le rapport >1 des chaleurs spciques du gaz : p = ( 1) e . On a e lexpression classique : (1) f (W ) = u , u2 + p , uE + pu . Pour approcher numriquement les solutions du syst`me dquations de la e e e dynamique des gaz, on introduit la mthode des volumes nis ; lespace est e discrtis par une grille j x (j Z et le temps par des multiples entiers e e Z) n t (n IN) du pas de temps t. On cherche une valeur approche Wjn e du champ W (, ) au point j x et au temps n t grce ` la famille de ux a a n+1/2 n+1/2 n+1 1 1 numriques fj+1/2 (j Z n IN) : t Wj e Z, Wjn + x fj+1/2
n+1/2

fj1/2 = 0 (voir par exemple Harten, Lax et Van Leer [7]). On se borne dans cette note ` un ux explicite ` deux points du premier ordre en espace a a n+1/2 n et en temps, cest ` dire de la forme fj+1/2 = (Wjn , Wj+1 ) . a

Nous distinguons deux types de ux ` deux points explicites : dune part les a solveurs exacts ou approchs du probl`me de Riemann (dcomposition de e e e n n discontinuit, ou ux dierence splitting) entre les tats Wj et Wj+1 (voir e e par exemple Godlewski-Raviart [5] pour lensemble du contexte mathmatique e et numrique), avec les ux de Godunov [4], Osher [8] et Roe [10] et dautre e part les dcompositions de ux ou schmas de ux vector splitting. Une e e dcomposition de ux, avec Sanders-Prendergast [11], Van Leer [12], Bourdel e et al [1] ou Perthame [9], suppose quon a pu crire le ux IR3 e W 3 f (W ) IR explicit en (1) sous la forme e (2) f (W ) f + (W ) + f (W ) avec diverses contraintes sur les fonctions f + () et f () dtailles par exe e emple dans [5]. Rappelons que si le nombre de Mach M u/c, c = p/, est plus petit que 1 en valeur absolue, le ux de Van Leer est dni par la e relation 2 ( 1)u 2c ( 1)u 2c M 1 2 f (W ) = c 1, , . 2 2( 2 1) Pour un schma de Boltzmann, on introduit une fonction positive () qui e permet ` la fois de dcomposer ltat W sous la forme a e e + |vu| 1 1 , v , | v |2 dv W = 2 e et le ux f (W ) ` laide de la relation a
+

f (W ) =

|vu| e

v , | v |2 ,

v | v |2 dv. 2

Dcomposition de flux et discontinuit de contact stationnaire e e

Le ux f + () reprsente laction de toutes les particules allant de la gauche e vers la droite et le ux f () celle des particules allant de la droite vers la gauche ; on pose ensuite |vu| v v , | v |2 , | v |2 dv. e 2 0 On donne enn au ux numrique lexpression suivante e f (W ) = (3) (Wg , Wd ) = f + (Wg ) + f (Wd ) . Dans leur article [13], Van Leer et al comparent pour un mme probl`me e e darodynamique supersonique stationnaire la dcomposition de ux de Van e e Leer [12] et le schma de Roe [10] qui linarise le probl`me de Riemann. Ils e e e montrent quune prdiction correcte du coecient de frottement et du ux e de chaleur ` la paroi avec une grille relativement grossi`re est possible avec a e le ux de Roe alors quil nen est rien si on utilise le ux de Van Leer pour discrtiser la partie convective du uide. Leur conclusion conduit donc ` e a rejeter la dcomposition de ux si on cherche ` obtenir plus dinformations e a que le simple champ de pression paritale. e En fait, le probl`me se pose dans la couche limite. Le long dune direction x e normale ` la paroi, la vitesse (normale) u est tr`s faible. Il est donc naturel a e dtudier le comportement dune dcomposition de ux (3) pour une dise e continuit de contact stationnaire, cest ` dire une couche limite dpaisseur e a e innitsimale. Cest un probl`me de Riemann particulier o` les tats donns e e u e e Wg et Wd dnissent dune part un champ de vitesse identiquement nul come pos de ug = 0 pour x < 0 et de ud = 0 pour x > 0 et dautre part dun e champ de pression not respectivement pg pour x < 0 et pd pour x > 0 qui e ne prsente pas de discontinuit : pg = pd = p. e e La solution dune telle discontinuit de contact stationnaire ne dpend pas e e du temps : le saut de densit se maintient sur linterface x = 0 au cours e du temps (voir par exemple [5]) et seul lajout dun ux visqueux ou de perturbations gomtriques comme dans linstabilit de Kelvin-Helmholtz pilote e e e la dynamique de linterface, ce qui est crucial pour une capture correcte des couches limites et des instabilits de cisaillement. e Dans un travail indpendant, Gressier et al [6] montrent que sous une hye poth`se supplmentaire de stabilit (ux positivement conservatif au sens de e e e [6]), aucune dcomposition de ux satisfaisant linvariance gauche-droite ne e laisse invariante une discontinuit de contact. Dans cette note, nous montrons e que de faon gnrale si une dcomposition de ux vrie des conditions tr`s c e e e e e naturelles dont linvariance gauche-droite, alors le schma obtenu pour la e

Francois Dubois

dynamique des gaz dans le cas de lapproximation dune discontinuit de cone tact stationnaire contient en son sein une viscosit numrique essentiellement e e proportionnelle au saut de densit, donc dordre zro par rapport au pas du e e maillage. 2. Invariance gauche-droite. Considrons la transformation de ltat W obtenue en changeant le signe e e e de sa vitesse : (4) , u , E = , u , E . Compte tenu de la forme algbrique particuli`re (2) des quations de la dye e e namique des gaz, on observe que (5) f (W ) + f (W ) = 0 ; quand on change le signe de la vitesse, on change le signe des ux de masse et dnergie, mais on ne change pas celui du ux dimpulsion. e Changer le signe de la vitesse revient ` changer le sens de la direction x, il est a donc commode dintroduire la normale n ` cette direction (n {1, 1}) a et de poser n = n . Lextension naturelle de cette proprit dinvariance ee gauche-droite au ux numrique consiste ` dire que si lon change ` la fois les e a a tats gauche et droite, le signe de leur vitesse et la direction normale, on ne e change que le signe du ux dimpulsion dans la direction normale, avec une relation analogue ` (5). On introduit donc lexpression du ux numrique a e dans la direction normale : (Wg , Wd ) si n = +1 (6) (Wg , n, Wd ) = (Wg , Wd ) si n = 1 . Dnition 1. e Invariance gauche-droite. Le ux numrique (Wg , Wd ) (Wg , Wd ) vrie linvariance gauchee e droite si la fonction (, , ) dnie en (6) et loprateur dni par (4) et e e e n = n satisfont la condition (Wd , n, Wg ) (Wg , n, Wd ) = 0. Proposition 1. Invariance gauche-droite dune dcomposition de ux. e Une dcomposition de ux (2) conduit ` un ux numrique (3) qui vrie e a e e + linvariance gauche-droite si et seulement si lon a f (W ) + f (W ) = 0 pour tout tat W. e Proposition 2. Dcomposition de ux classiques. e Le ux de Van Leer, le ux de Sanders Prendergast et les schmas de Boltze mann vrient linvariance gauche-droite. e

Dcomposition de flux et discontinuit de contact stationnaire e e

3. Viscosit numrique sur un contact stationnaire. e e Dnition 2. e Viscosit numrique. e e n+1/2 n Etant donn un schma ` deux points de type fj+1/2 = (Wjn , Wj+1 ) , la e e a viscosit numrique V (Wg , Wd ) entre les tats Wg et Wd est dnie par la e e e e 1 1 relation (Wg , Wd ) 2 f (Wg ) + f (Wd ) 2 V (Wg , W d). Proposition 3. Viscosit numrique dune dcomposition de ux. e e e Soit un schma de dcomposition de ux (, ) de la forme (3). Alors la e e viscosit numrique V (Wg , Wd ) satisfait ` e e a + V (Wg , Wd ) = f (Wd ) f (Wd ) f + (Wg ) f (Wg ) . Proposition 4. Discontinuit de contact stationnaire. e Si la dcomposition de ux (, ) dnie en (2)-(3) vrie la proprit e e e ee 2 dinvariance gauche-droite, il existe deux fonctions ]0, +[ (, p) 2 (, p) IR et ]0, +[ (, p) (, p) IR de sorte que pour tout tat e 1 W de vitesse nulle (W = W ), on a f (W ) = 2 (, p) , p , (, p) . De plus, pour une discontinuit de contact stationnaire, la viscosit numrique e e e V (Wg , Wd ) a pour expression V (Wg , Wd ) = (d , p) (g , p) , 0 , (d , p) (g , p) . Dans le cas de la dcomposition de ux de Van Leer, on montre facilement e [3] les relations algbriques e p p 1 p , V L (, p) = 2 V L (, p) = 2 1 et pour un ux de Boltzmann, on a : + + |v| |v| 3 B B v dv , (, p) = v dv . (, p) = 2 e e 0 0 Proposition 5. Viscosit numrique rsiduelle. e e e Si lune des fonctions (, ) et (, ) dpend explicitement de la densit, e e cest ` dire si (, p) = 0 ou (, p) = 0 , alors la viscosit numrique a e e dun schma de ux splitting est non nulle pour une discontinuit de contact e e stationnaire, quel que soit le pas du maillage. Proposition 6. Rsolution du probl`me de Riemann. e e Soit (, ) lun des trois solveurs exact de Godunov [4] ou approch de e Osher [8] ou Roe [10]. Alors la viscosit numrique V (Wg , Wd ) dun tel e e schma est nulle si les tats Wg et Wd satisfont les conditions de saut dune e e discontinuit de contact stationnaire. e

Francois Dubois

4. Conclusion. Pour capturer une couche limite avec un schma de volumes nis, lanalyse e numrique du probl`me de la discontinuit de contact stationnaire montre que e e e pour les ux dits de ux splitting les plus classiques, une viscosit numrique e e dordre un par rapport au saut de la densit est prsente en gnral, alors quil e e e e nen est rien lorsquon emploie un solveur approch du probl`me de Riee e mann. Cette remarque nous a conduit, pour le dveloppement de logiciels de e rsolution des quations de Navier Stokes des uides compressibles, ` adjoine e a dre le ux dOsher au choix initial de la dcomposition de ux de Van Leer e ou de Sanders et Prendergast (Chaput et al [2]). Rfrences bibliographiques. ee Bourdel F., Delorme P., Mazet P., Convexity in Hyperbolic Problems. Application to a Discontinuous Galerkin Method for the Resolution of the Polydimensional Euler Equations, Notes on Numerical Fluid Mechanics no 24 (1989), 31-42. Chaput E., Dubois F., Lemaire D., Moul`s G., Vaudescal J.L., FLU3PNS : e A Three Dimensional Thin Layer and Parabolized Navier-Stokes Solver Using the MUSCL Upwind Scheme, AIAA Paper no 91-0728, 1991. Dubois F., Flux vector splitting and stationary contact discontinuity, Second international symposium on nite volumes for complex applications, Duisburg, July 19-22, 1999 (F. Benkhaldoun, R. Vilsmaier, D. Hnel a Eds), Hermes, Paris, 1999, 133-140. Godunov S.K., A Finite Dierence Method for the Numerical Computation of Discontinuous Solutions for the Equations of Fluid Dynamics, Mat. Sbornik 47 (1959), 271-290. Godlewski E., Raviart P.A., Numerical Approximation of Hyperbolic Systems of Conservation Laws, Applied Mathematical Sciences, vol. 118, Springer, New York, 1996. Gressier J., Villedieu P., Moschetta J.M., Positivity of Flux Vector Splitting Schemes, Journal of Computational Physics, volume 155, numro 1, e p. 199-220, 1999. Harten A., Lax P.D., Van Leer B., On Upstream Dierencing and Godunov-type Schemes for Hyperbolic Conservation Laws, SIAM Review 25, no 1 (1983), 35-61. Osher S., Numerical Solution of Singular Perturbation Problems and Hyperbolic Systems of Conservation Laws, in Mathematical Studies no 47 (Axelsson-Franck-Van der Sluis Eds.), 1981, 179-205.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

Dcomposition de flux et discontinuit de contact stationnaire e e

Perthame B., Second Order Boltzmann Schemes for Compressible Euler Equations in One and Two Space Variables, SIAM Journal of Numerical Analysis 29 (1991), 1-19. [10] Roe P., Riemann Solvers, Parameter Vectors, and Dierence Schemes, Journal of Computational Physics 43 (1981), 357-372. [10] Sanders R.H., Prendergast K.H., The Possible Relation of the 3-kiloparsec Arm to Explosions in the Galactic Nucleus, The Astrophysical Journal 188 (1974) 489-500. [12] Van Leer B., Flux-Vector Splitting for the Euler Equations, Lectures Notes in Physics no 170 (1982), 507-512. [13] Van Leer B., Thomas J.L., Roe P., Newsome R.W., A Comparison of Numerical Flux Formulas for the Euler and Navier Stokes Equations, AIAA Paper no 87-1104, 1987.

[9]