Documente Academic
Documente Profesional
Documente Cultură
Christian Wielgosz
Bernard Peseux
Yves Lecointe
28/09/2004
Ce document est sous licence Creative Commons Paternit Pas dUtilisation Commerciale Partage des Conditions Initiales lIdentique 3.0 France http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr
INTRODUCTION GNRALE
3
5 5 6 7 9 10 13 13 14 14 16 17 19 19 19 20 20 22 24 25 25 26 26
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
2 Mthode des rsidus pondrs 2.1 Formulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2.1 Barreau bi-encastr soumis une charge linique . . . . . . . . . 2.2.2 Poutre console soumise une charge linique . . . . . . . . . . . . 2.2.3 Problmes de potentiel ou de thermique en deux dimensions 3 Mthode des lments nis de type dplacements 3.1 Construction de llment ni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1.1 lment ni barre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1.2 lment ni poutre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1.3 lment ni pour laplacien en deux dimensions . . . . . . . . . . 3.1.4 lastostatique tridimensionnelle . . . . . . . . . . . . . . . . . . . . . 3.2 Quelques rsultats thoriques complmentaires . . . . . . . . . . . . . . . 3.3 Rappels sur lassemblage des lments nis . . . . . . . . . . . . . . . . . . . 3.3.1 Barreau bi-encastr soumis une charge linique constante . 3.3.2 Poutre bi-encastre soumise une charge linique constante 3.3.3 Problme de thermique stationnaire . . . . . . . . . . . . . . . . . . .
II - QUATIONS INTGRALES
4 Principe et champs dapplication 4.1 Principe . . . . . . . . . . . . . . . . . . . . 4.1.1 quilibre global . . . . . . . . . 4.1.2 Principe de la mthode . . . . 4.2 Formulations directes et indirectes 4.3 Domaines dapplications . . . . . . . 4.3.1 Conduction de la chaleur . . 4.3.2 coulement de uide . . . . .
29
31 31 32 32 33 33 33 34
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
4.3.3 4.3.4
35 35 37 37 37 37 38 38 38 39 39 40 40 41 42 42 43
5 quation de poisson 5.1 quations intgrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.1.1 Prob. intrieur et fonction harmonique dans un domaine born . . 5.1.2 Prob. extrieur et fonction harmonique dans un domaine non born 5.2 Solutions lmentaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3 Formulation directe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.1 Discrtisation gomtrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.2 Discrtisation des inconnues . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.3 Construction du systme discrtis et rsolution numrique . . . . . 5.4 Formulation indirecte : mthode des singularits . . . . . . . . . . . . . . . . . . . 5.4.1 Solutions de lquation de Laplace . . . . . . . . . . . . . . . . . . . . . . . . 5.4.2 Applications : distribution mixte de Green . . . . . . . . . . . . . . . . . . . 5.5 Discrtisation et rsolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.5.1 Problme intrieur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.5.2 Problme extrieur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6 Problmes dlastostatique 45 6.1 Thorme de rciprocit de Maxwell-Betti . . . . . . . . . . . . . . . . . . . . . . . . 45 6.2 Solutions lmentaires de llasticit linaire . . . . . . . . . . . . . . . . . . . . . . 45
47
49 49 49 50 51 55 56 57 57 58 58 58 58 58 58 64 64 65 66 68 68 69 70 70 70 71 71
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
7.6.2
Conditions limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
72 75 75 75 75 75 79 79 79 80 81 83 83 83 83 83 85 85 85 87 87 89 89 89 90 92 95 95 96 96 96 97 97 99 100 100 105 105 106 106 108 108 108 109 110 112 112 113 113
8 Mthodes mehrstellen 8.1 Construction du schma . . . . . . . . . . . . . 8.1.1 Problme . . . . . . . . . . . . . . . . . . . 8.1.2 Principe . . . . . . . . . . . . . . . . . . . . 8.1.3 Coefcients constants . . . . . . . . . 8.1.4 Coefcients variables . . . . . . . . . . 8.2 Proprits du schma . . . . . . . . . . . . . . . 8.2.1 Application : formule de Numerov 8.2.2 Admissibilit . . . . . . . . . . . . . . . . 8.2.3 Rsultats . . . . . . . . . . . . . . . . . . .
9 Mthodes hermitiennes 9.1 Principe gnral . . . . . . . . . . . . . . . . . . . . . . . . 9.1.1 Problme . . . . . . . . . . . . . . . . . . . . . . . . 9.1.2 quation . . . . . . . . . . . . . . . . . . . . . . . . 9.1.3 Construction des formules hermitiennes . 9.2 Rsolution dun problme . . . . . . . . . . . . . . . . . 9.2.1 Systme tridiagonal par blocs . . . . . . . . . 9.2.2 Systme tridiagonal . . . . . . . . . . . . . . . .
10 Rsolution de systmes tridiagonal ou pentadiagonal 10.1 Mthode de double balayage . . . . . . . . . . . . . . . . 10.2 Factorisation LU . . . . . . . . . . . . . . . . . . . . . . . . . 10.3 Rduction cyclique . . . . . . . . . . . . . . . . . . . . . . . 10.3.1 Principe . . . . . . . . . . . . . . . . . . . . . . . . . . 10.3.2 Calculs . . . . . . . . . . . . . . . . . . . . . . . . . . 10.4 Systme pentadiagonal . . . . . . . . . . . . . . . . . . . .
11 quations aux drives partielles paraboliques 11.1 Problme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Schmas explicites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2.1 Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2.2 Schma FTCS . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2.3 Dnitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2.4 Consistance du schma FTCS . . . . . . . . . . . . . . . . 11.2.5 Mthodes directions alternes explicites ADE . . . 11.3 Stabilit dun schma explicite . . . . . . . . . . . . . . . . . . . . 11.3.1 Mthode de Von Neumann . . . . . . . . . . . . . . . . . . 11.3.2 Application au schma FTCS . . . . . . . . . . . . . . . . 11.3.3 Mthode danalyse matricielle . . . . . . . . . . . . . . . 11.4 Schmas explicites dcentrs . . . . . . . . . . . . . . . . . . . . . 11.4.1 Dcentration . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.5 Schmas implicites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.5.1 Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.5.2 Schma de Crank-Nicolson . . . . . . . . . . . . . . . . . . 11.5.3 Stabilit du schma de Crank-Nicolson . . . . . . . . . 11.5.4 Erreur de troncature du schma de Crank-Nicolson 11.5.5 Schma implicite pur . . . . . . . . . . . . . . . . . . . . . . 11.5.6 Schma explicite ADE . . . . . . . . . . . . . . . . . . . . . . 11.6 Schmas deux pas de temps . . . . . . . . . . . . . . . . . . . . . 11.6.1 Problme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11.6.2 Schma de Richardson . . . . . . . . . . . . . . 11.6.3 Stabilit du schma de Richardson . . . . . 11.6.4 Schma de Dufort et Frankel . . . . . . . . . . 11.7 Problmes deux dimensions despace . . . . . . . 11.7.1 Formulation . . . . . . . . . . . . . . . . . . . . . . 11.7.2 Schma explicite FTCS . . . . . . . . . . . . . . 11.7.3 Mthodes directions alternes ADI . . . . 11.8 Dispersion et dissipation numriques . . . . . . . . 11.8.1 Problme . . . . . . . . . . . . . . . . . . . . . . . . 11.8.2 Dispersion - dissipation . . . . . . . . . . . . . 11.8.3 Dissipation numrique et stabilit de Hirt 11.8.4 quation dadvection . . . . . . . . . . . . . . . 11.9 Coordonnes cylindriques ou sphriques . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
113 114 115 116 116 117 118 120 120 121 121 122 126
RFRENCES
127
INTRODUCTION GNRALE
La modlisation dun grand nombre de situations dintrt pratique pour lingnieur ou chercheur, conduit la recherche de solutions dquations aux drives partielles, assorties de conditions aux limites et de conditions initiales, notamment en Mcanique du Solide, en Mcanique des uides, en Acoustique, en Thermique ou en lectromagntisme. Ces quations sont poses en gnral sur des domaines gomtriques, qui ne permettent pas lemploi des techniques classiques de recherche de solutions exactes et elles doivent tre rsolues par des mthodes numriques et en particulier par la mthode des lments nis, des quations intgrales (lments de frontire, mthode des singularits) ou des diffrences nies. Ltude des quations intgrales a commenc il y a plus dun sicle sous la forme de la thorie du potentiel ou de lidentit de Somigliana par exemple, mais les dveloppements concernant la rsolution numrique ne datent que des annes 1960.
Premire partie
cel-00370502, version 1 - 24 Mar 2009
Les dveloppements des mthodes numriques reposent en fait sur des procdures dautomatisation du calcul des structures derrire lesquelles se cachent quelques oprations algbriques. Le but de la premire partie du cours est de mettre en vidence la structure algbrique des problmes dquilibre de milieux continus. Aprs quelques rappels de dualit et des proprits des espaces intervenant en mcanique, nous montrerons que les mthodes dapproximation peuvent se dcomposer en deux groupes : approximation des quations aux dplacements (rsidus pondrs, quations intgrales) et approximation des quations aux dformations ou aux contraintes (mthodes dlments nis de type dplacements ou forces). Nous dtaillons dans cette premire partie la mthode des rsidus pondrs et la mthode des lments nis de type dplacements.
1
Thorie algbrique des milieux continus
pour une forme bilinaire , 1 qui reprsente le travail des efforts extrieurs. Notons
u f d +
u t dS
(1.1)
On note E lespace vectoriel des champs de dformations gnralises et celui des champs de contraintes gnralises. Ce nouveau couple despaces vectoriels est en duadformations, qui est loppos du travail des efforts intrieurs, et est dni comme suit : (, ) E , 2 = : d
lit pour une forme bilinaire , 2 qui reprsente le travail des contraintes dans les
(1.2)
vecteurs et que la forme bilinaire 2 reprsente le produit doublement contract (:) entre deux tenseurs. Loprateur dformation en HPP est loprateur gradient symtrique : u V = grads u E
(1.3)
et loprateur dquilibre, transpos de loprateur dformation est tel que : ( f , t ) = ( div ; n ) (1.4)
1. On considre un problme de Neumann o les tensions sont imposes sur toute la frontire.
o div est loprateur divergence dun tenseur. On peut rsumer la situation laide du schma quatre espaces suivant : E , 2 ( div, n ) (1.5)
grads
V , 1
et remarquer que lexpression du principe des travaux virtuels ne fait que transcrire la dnition de loprateur transpos (ou encore adjoint) qui consiste crire lgalit des deux formes bilinaires : v V soit encore : v V v , g T ()
1
v,
= , 2
(1.6)
= g (v ),
(1.7)
o lon a not g , loprateur dformation, autrement dit le gradient et g T , loprateur dquilibre, cest--dire la divergence au signe prs.
Loprateur dquilibre contient les conditions aux limites sur les forces par lintermdiaire de la formule de Cauchy. Le sev des autocontraintes J, comme celui des dformations compatibles I, dpendra donc essentiellement des conditions aux limites (CL) sthniques et cinmatiques (par dualit). Dnissons maintenant lorthogonalit entre ces deux sev remarquables I et J. Rappelons tout dabord ce quon appelle polaire dun sev dun espace vectoriel en dualit avec un autre : si F et G sont deux espaces vectoriels en dualit pour une forme bilinaire note , , et si M est un sev de F, on appelle polaire de M dans G, et on le note Mo , la partie de G dnie par : Mo = {y G \ x M, x , y = 0} le petit schma suivant : MG x,y G Mo (1.11) (1.10)
Cest en fait lorthogonal de M dans G. Pour bien le rappeler, rsumons la situation par
On dit que le sev des autocontraintes est le polaire (ou encore lorthogonal) du sev des dformations compatibles et on rsume la situation par : IE x,y
2
J = Io
(1.13)
o le symbole barre signie adhrence de . On admettra, sans entrer dans des considrations topologiques quen gnral, en mcanique on a : Ioo = Jo = I (1.15)
Loprateur dlasticit d , tenseur du quatrime ordre reliant et , est un oprateur symtrique et dni positif. On a donc : 1 , 2 1 , d : 2 2 = 2 , d : 1 2 , d : 2 > 0 (1.17)
gT
(1.18)
V , 1
Il est alors possible de construire loprateur qui rsume les problmes dlasticit linaire et de physique linaire stationnaire ( dsigne la composition des applications) :
= gTd g
(1.19)
Illustrons ce schma pour quelques problmes de mcanique et de physique (et pour des problmes de Neumann). Pour une barre en traction o u reprsente le dplacement longitudinal, on a : ESu ,xx = p g ,x +CL g T (,x ; e.n.) (1.20)
d ES
et poutre en exion, o u reprsente la che : EIu ,xxxx = p g ,xx + CL g T (,xx ; e.n.) (1.21)
d EI
et loprateur dformation est loprateur drive premire (ou drive seconde), cest-dire le gradient en une dimension (ou le gradient du gradient) ; loprateur dquilibre est au signe prs loprateur drive premire, cest--dire la divergence en une dimension (ou la divergence de la divergence), et labrviation e.n. signie quilibre des nuds ; loprateur de comportement est rduit au scalaire ES (ou EI) et reprsente la rigidit la traction (ou la exion). Nous sommes donc dans le cas o les espaces V, , E et sont des espaces de fonctions scalaires. En deux dimensions (problmes de potentiel ou de thermique o est le laplacien scalaire et o u est le potentiel ou la temprature), on a : u = f + CL g T ( div ; n ) (1.22)
g grad d i
Loprateur dformation est le gradient, loprateur dquilibre est compos de la divergence (au signe prs) ainsi que du produit scalaire avec la normale extrieure n , et loprateur de comportement est lidentit. Nous sommes cette fois dans le cas o les espaces V et sont des espaces de fonctions scalaires et les espaces E et sont des espaces de fonctions vectorielles. Pour un milieu continu en deux ou trois dimensions, o u est le vecteur dplacement, les oprateurs sont : u = f g grads + CL d d i jkl g T ( div ; n ) (1.23)
o reprsente loprateur de Navier. Loprateur dformation est loprateur gradient symtrique (cest en fait la partie linaire du tenseur de Green-Lagrange), loprateur dquilibre est compos de la divergence (au signe prs) dun tenseur et du produit scalaire de ce tenseur avec la normale extrieure, et loprateur de comportement d i j k l est le tenseur lasticit du quatrime ordre. Nous sommes cette fois dans le cas o les espaces V et sont des espaces de fonctions vectorielles et les espaces E et sont des espaces de fonctions tensorielles. Enn pour des plaques en exion, o u est la che, nous avons : D(u ,xxxx +2u ,xx y y +u ,y y y y ) = p g grad grad d dp
T
+ CL
g (div div ; n )
(1.24)
o D est le module de rigidit la exion des plaques, loprateur dlasticit d p est celui des plaques (contraintes planes intgres dans lpaisseur). Les proprits de linarit de d , et lorthogonalit de I et de J permettent ensuite de montrer que les structures de E et de sont telles que : E = I d 1 (J) = J d (I) (1.25)
(u ) =
(1.26) et
Prcisons ce problme en distinguant loprateur dquilibre local qui sera not loprateur des conditions aux limites qui sera not
des conditions aux limites de type Neumann (quilibre de nuds ou produit scalaire avec la normale extrieure) qui apparaissent dans loprateur dquilibre. Il existe deux autres types de conditions aux limites : conditions de Dirichlet o le dplacement u est impos sur toute la frontire du milieu, et conditions mixtes ou de Cauchy o le dplacement u est impos sur une partie 1 de la frontire et les tensions sont imposes sur lautre partie 2 de la frontire. Par exemple, un problme de Neumann scrit : (u ) = f (u ) = t dans sur (1.27)
Donnons maintenant quelques exemples de problmes mixtes : 1. quilibre dun barreau en traction encastr - libre de longueur l ESu ,xx = f u (0) = 0 ESu ,x (l ) = 0 sur x ]0, l [ (1.28)
2. quilibre dune poutre console en exion de longueur l EIu ,xxxx = f sur x ]0, l [ u (0) = u ,x (0) = 0 EIu ,xx (l ) = EIu ,xxx (l ) = 0 3. problme de potentiel u = f u = uo u ,n = t o dans sur 1 sur 2 (1.30) (1.29)
(1.31)
En pratique, pour des problmes en une dimension despace (barres, poutres), on sait construire cette inverse car il suft de rsoudre des quations diffrentielles (voir exemples 1 et 2). Pour des problmes en deux ou trois dimensions, on ne sait pas trouver cette inverse car il faut alors rsoudre un systme dquations aux drives partielles. Les approximations de ce problme se font par la mthode des rsidus pondrs ou par la mthode des quations intgrales.
10
(1.33)
= , 2
(1.34)
crivons ce problme sous une forme plus condense. Pour ce faire, supposons quil existe toujours un champ de contraintes particulier qui vrie les quations dquilibre. On peut donc crire le PTV avec ce champ : v V v,
1
= ,
(1.36)
=0
(1.37)
Lorsque cette galit est crite avec des champs de dplacements cinmatiquement admissibles, appartient I et lorthogonalit entre I et J prouve que est une autocontrainte. Donc, lquilibre scrit : + J groupons maintenant les trois groupes dquations sous la forme condense : I + J =d La solution du problme en contraintes est : d (I) ( + J) et celle en dformations est : I d 1 ( + J) (1.41) (1.40) (1.39) (1.38)
On peut montrer que la solution de chacun de ces problmes existe et est unique. On trouvera une interprtation gomtrique simple dans le plan des contraintes dans [Wielgosz 99]. La solution en contraintes est la projection de sur d (I) paralllement J : = projd (I) (1.42)
11
On a bien entendu une situation analogue dans lespace des dformations : la solution en dformations est la projection de d 1 ( ) sur I paralllement d 1 (J) : = projI d 1 ( ) (1.43)
Les approximations de la solution en contraintes conduisent la mthode des lments nis de type forces, celles de la solution en dformations la mthode des lments nis de type dplacements.
2
Mthode des rsidus pondrs
2.1 Formulation
Notons u la solution exacte (mme si on ne la connat pas) de lquation dquilibre en dplacements :
(u ) =
(2.1)
On dnit le rsidu comme tant lerreur que lon commet en remplaant la solution exacte u par une approximation w du champ exact des dplacements u :
(w ) =
(w )
(2.2)
(u ) =
(u )
(2.3)
(u )
=0
(2.4)
et v est appele fonction de pondration ou encore fonction test. Si on est capable dcrire cette formulation pour toute fonction test, alors les deux quations prcdentes sont quivalentes. Soit maintenant w une approximation de u satisfaisant toutes les conditions aux limites, donc telle que (pour un problme de Neumann) : (w ) = t La mthode des rsidus pondrs consiste annuler le rsidu (w ) = (2.5) (w ) f en cri: (2.6)
Supposons que lon soit capable de trouver n fonctions w i (vriant toutes les conditions aux limites) et crivons w sous la forme : w =WX (2.7)
o W est un vecteur ligne contenant n fonctions w i et X un vecteur colonne contenant les inconnues a i du problme et choisissons n fonctions test v i de manire ce que lon puisse crire v sous une forme analogue : v =VP (2.8)
14
o V est un vecteur ligne contenant les fonctions v i et P un vecteur colonne contenant des paramtres p i . On a alors : v T = PT VT La forme intgrale prcdente, avec la dnition de la forme , 1 , scrit : PT PT VT
(2.9)
(W X) f d = 0
(2.10)
o la matrice K est non symtrique, et F est un vecteur forces gnralises, tels que : K=
VT
(W)d
F=
VT f d
(2.12)
On peut envisager dutiliser plus de fonctions test m que de fonctions w i (m > n ) ; dans ce cas le systme matriciel est surdtermin, et on peut le rsoudre par approximation avec une mthode de moindres carrs. Si lon veut symtriser la matrice, on peut choisir les fonctions test v i sur la mme base que les fonctions w i en crivant : v =WP Dans ce cas la matrice K et le vecteur F deviennent : K=
(2.13)
WT
(W)d
F=
(2.14) = gTd g, d
est symtrique, et toutes les conditions aux limites sont vries par les w i ).
2.2 Exemples
2.2.1 Barreau bi-encastr soumis une charge linique
Avec une charge linique f quelconque, le problme prend la forme : ESu ,xx = f u (0) = 0 u (l ) = 0
(2.15)
et on peut en trouver la solution exacte u quel que soit le chargement f . Rsolvons ce problme de manire approche par rsidus pondrs.
2.2 Exemples
15
Approximation un paramtre
Choisissons une approximation w du problme rel qui ne satisfasse que les conditions aux limites, cest--dire : w (0) = w (l ) = 0 (2.16)
On peut choisir nimporte quelle fonction satisfaisant ces conditions aux limites ; par exemple : w (x ) = a x (l x ) scrit : (w ) = ESw ,xx f = 2ESa f
l
(2.17)
O a est une constante arbitraire que nous allons calculer par la mthode. Le rsidu
(2.18)
v V
v (x )(2ESa f )dx = 0
(2.19)
Il reste choisir la fonction test v . Comme tout est possible (), choisissons la fonction la plus simple : v gale la constante unit. On en dduit : a= f 2ES f x (l x ) 2ES (2.20)
On remarquera que cest la solution exacte du problme du barreau lorsque la charge linique f est constante, cest--dire que la valeur de la constante a est proportionnelle la valeur moyenne du chargement. Reprenons les calculs en conservant la mme approximation w et en changeant de fonction test v . Pour viter lintgration, choisissons pour v une fonction de Dirac en milieu de barre, note (l /2). La valeur de la constante est cette fois telle que :
l
(l /2)(2ESa f )dx = 0
(2.22)
Elle est donc relie la valeur du chargement en milieu de barre. On appelle cette mthode la collocation par points, le point de collocation tant celui o on a plac la fonction de Dirac.
16
v V
v (x )ES 2a 1 + a 2
0
x2 x f sin l2 l
dx = 0
(2.24)
Pour pouvoir dterminer les constantes inconnues a 1 et a 2 , il nous faut utiliser (au moins) deux fonctions test v . Choisissons deux fonctions linairement indpendantes, par exemple une constante (comme dans lexemple 1) et une fonction linaire : v 1 (x ) = 1 On obtient alors :
l
v 2 (x ) = x
(2.25)
ES 2a 1 + a 2
0 l
x2 x f sin 2 l l
dx = 0 (2.26)
x3 x ES 2x a 1 + a 2 2 sin f x dx = 0 l l
qui conduit un systme matriciel de deux quations deux inconnues a 1 et a 2 . Une fois rsolu (si la solution existe), lapproximation de la solution en dplacements est donne par le choix de w (x ). On peut galement choisir deux points de collocation, le premier au tiers et le second aux deux tiers de la barre, cest--dire : v 1 (x ) = (l /3) v 2 (x ) = (2l /3) (2.27)
2l 2 3 ES a1 +a2 2 3 l 6
(2.28)
Mais on saperoit immdiatement cette fois que ce systme ne possde pas de solution (ou une innit de solutions si le chargement est symtrique), car le dterminant est nul. La mthode de collocation peut donc conduire une impossibilit. Reprenons toujours le mme exemple en choisissant comme fonctions test celles qui ont servi lapproximation : v 1 (x ) = x (l x ) trique. v 2 (x ) = sin x l (2.29)
Dans ce cas, la formulation rsidus pondrs conduit une quation matricielle sym-
(2.30)
2.2 Exemples
17
et on peut encore en trouver la solution exacte u quel que soit le chargement f car on sait rsoudre cette quation diffrentielle du quatrime ordre quelque soit le chargement. Recherchons une solution approche par rsidus pondrs. Choisissons une approximation w du problme rel qui ne satisfasse une fois de plus que les conditions aux limites, cest--dire : w (0) = 0; w ,x (0) = 0; EIw ,xx (l ) = 0; EIw ,xxx (l ) = 0 (2.31)
Recherchons cette approximation sur une base polynomiale (au moins quatre fois drivable) en lcrivant sous la forme : w (x ) = a x 4 + bx 3 + c x 2 + d x + e On obtient : w (x ) = a x 2 (x 2 4l x + 6l 2 ) (2.33) (2.32)
La constante arbitraire a va encore tre calcule par la mthode. Le rsidu scrit : (w ) = EIw ,xxxx f = 24ESa f (2.34)
v V
v (x ) 24EIa f dx = 0
(2.35)
Comme dans le cas prcdent, il reste choisir une fonction test v . La technique est la mme. Si on prend une fonction constante, alors la constante a vaut : 1 a= 24EIl
l
f dx
0
(2.36)
On obtient la bonne solution lorsque le chargement f est constant ; dans ce cas, la che de la poutre est donne par : w (x ) = f x2 (x 2 4l x + 6l 2 ) 24EIl (2.37)
Si le chargement nest pas constant, cette solution est celle dune poutre quivalente ayant pour chargement la valeur moyenne de f . On pourrait bien sr choisir dautres fonctions test et ainsi obtenir dautres solutions approches de ce type de problme.
sant ces conditions aux limites ; par exemple (a est une constante arbitraire) : w (x , y ) = a (x 2 1)(y 2 1)
18
Si on choisit v (x , y ) = 1, la constante a est relie la valeur moyenne de la charge f (x , y ) sur le domaine et deux de ses co-moments : f (x , y )d ;
x 2 f (x , y )d ;
y 2 f (x , y )d
(2.41)
Dans le cas particulier o le chargement f est constant, avec ce choix de fonction test constante sur le domaine, on obtient une expression simple de la constante a qui reprsente le potentiel lorigine : a= 3f 10 (2.42)
Si on choisit v (x ) = (0) (distribution de Dirac au point 0 de coordonnes (0,0)), alors la constante a est reli la valeur de la charge lorigine f(0,0) et si le chargement est constant : a= f 4 (2.43)
ce qui reprsente une valeur voisine de la solution prcdente. On pourrait choisir dautres approximations w satisfaisant les conditions aux limites ; par exemple : w (x , y ) = a (1 + cos x )(1 + cos y ) (2.44)
et recommencer les calculs, ou encore utiliser une combinaison linaire des deux fonctions prcdentes, pour obtenir une meilleure approximation de la solution du problme rel. Suivant le choix des fonctions test v , la mthode des rsidus pondrs porte plusieurs dnominations rappeles sur la gure 2.1.
rsidus pondrs
v w Petrov Galerkin
v w Galerkin
3
Mthode des lments nis de type dplacements
v V
v ,
(w )1 = 0
(3.1)
= g (v ),
(3.2)
quon crit pour quelques v (et non pas pour tout) construits sur la mme base que w et on ne satisfait les conditions aux limites quaprs avoir crit lquilibre ; il ny a donc pas a priori de condition du type (w ) = t , ce qui permet un choix plus ais pour w . Reprenons les quatre premiers exemples du paragraphe 1.3.
(3.3)
v V
v (x ) ESw (x ),xx f (x ) dx = 0
(3.4)
v V
v (x ) f (x )dx = 0
0
(3.5)
(3.6)
o le vecteur des variables nodales X contient les dplacements aux extrmits de llment. Tous calculs faits, lquilibre scrit : KX = F + (3.7)
20
o la matrice raideur et les vecteurs forces gnralises sont donns par : l ES 1 1 F1 NT (x ) f (x )dx K= F= = l 1 1 F2 0
(3.8)
On reconnat la matrice raideur classique de llment barre ; le vecteur F reprsente les efforts effectivement appliqus aux nuds, et le vecteur est le vecteur des charges associes au chargement rparti f (x ).
(3.9)
v V
v (x ) EIw (x ),xxxx f (x ) dx = 0
(3.10)
v V
l 0 l
(3.11) v (x ) f (x )dx = 0
EIv (x ),x w (x ),xx Construisons v et w sur la mme base de fonctions : v (x ) = N(x ) P w (x ) = N(x ) X N(x ) = 1
3x 2 l2
l 0
(3.12) +
2x 3 l3
2x 2 l
x3 l2
3x 2 l2
2x 3 l3
2 xl
x3 l2
o le vecteur des variables nodales X contient cette fois les ches et les rotations aux extrmits de llment. Tous calculs faits, lquilibre scrit encore : KX = F + o la matrice raideur et les vecteurs forces gnralises sont donns par : 12 6 l 12 6 l F1 l 2 2 4l 6 l 2 l EI 6l 1 K= 3 F= = NT (x ) f (x )dx F2 l 12 6l 12 6l 0 6l 2 l 2 6 l 4 l 2 2 vecteur est le vecteur des charges associes au chargement rparti f (x ). (3.13)
(3.14)
21
Lintgration par parties en deux dimensions se fait laide de la formule de Green : si a est une fonction scalaire et si b est une fonction vectorielle, on a : div a b = a div b + grad a b soit, en utilisant de plus le thorme dOstrogradski : v V grad v grad w d v w ,n dS v f d = 0
(3.17)
(3.18)
Le choix de linterpolation dpend de la forme du domaine ; nous y reviendrons dans quelques lignes. La formulation variationnelle devient : PT PT grad NT grad NXd PT NT w ,n dS PT NT f d = 0
(3.20)
et elle conduit une nouvelle fois un quilibre de la mme forme : KX = F + o la matrice raideur est donne par : K=
(3.21)
grad NT grad Nd
(3.22)
Lexpression de cette matrice dpend de llment ni choisi. Par exemple choisissons un lment ni T3 de cts unit illustr sur la gure 3.1(a). Le vecteur des inconnues
C y C y D
x A B A
(b) quadrangle quatre nuds
nodales contient les valeurs de lapproximation w (x , y ) aux nuds A, B et D : XT = w (0, 0) w (1, 0) w (0, 1) (3.23)
22
(3.25)
Soit un lment ni Q4 dni sur un domaine carr de cts gaux deux units comme Le vecteur des inconnues nodales contient les valeurs de lapproximation w(x,y) aux nuds A, B, C et D : XT = w (1, 1) w (1, 1) w (1, 1) w (1, 1) (3.26)
N(x )T =
(3.27)
Le principe du calcul est le mme que pour llment triangulaire avec la diffrence quil nest plus possible deffectuer lintgration analytique mais quil faut faire appel lintgration numrique pour calculer la matrice raideur et le vecteur forces gnralises.
Cette fois, u est un vecteur, grads est la partie symtrique du tenseur gradient de ce vecteur, et div est loprateur divergence dun tenseur. La formulation rsidus pondrs scrit : v V v ( w f )d = 0 (3.30)
Lintgration par parties se fait toujours laide de la formule de Green ; si a est une fonction vectorielle et si b est une fonction tensorielle, on a : div a b = div b a + b : gradT a points (:) la double contraction entre deux tenseurs. Identions a au vecteur u et b au tenseur des contraintes dni par : = c i j k l grads w (3.31) o le point () reprsente la simple contraction entre un tenseur et un vecteur et les deux
23
En utilisant le fait que le produit doublement contract entre le tenseur symtrique et le tenseur antisymtrique est nul, et aprs utilisation du thorme dOstrogradski, on obtient : v V : d v n dS = v f d (3.34)
(3.35)
Utilisons les notations vectorielles (au lieu de tensorielles) pour les dformations et les
(3.36)
12
23
(3.39)
et elle conduit une nouvelle fois une quation dquilibre de la mme forme : KX = F + o la matrice raideur est donne par : K=
(3.40)
BT DBd
(3.41)
Cette fois encore nous ne dtaillerons pas les calculs : ils sont effectus numriquement et dpendent de llment ni et de linterpolation.
24
Ceci revient en fait choisir un sous-espace vectoriel V1 de V, une interpolation N(x ) et un vecteur de variables nodales X. Rsumons cette opration par le nouveau schma quatre espaces suivant : V , 1 , 1 1 NT
N V1
o V1 et 1 reprsentent les espaces de dimension nie de llment ni qui reprsente le domaine continu. Il est ensuite ais den dduire la matrice des dformations
note B telle que = BX ; pour chacun des cinq exemples choisis pour illustrer la structure algbrique, on a : B = N,x B = N,xx B = grad N B = grads N B = grad grad N que lon peut rsumer par : B= g N (3.43)
Ceci signie que dans chaque cas, on crit la restriction du principe des travaux virtuels un sous-espace (on lespre !) vectoriel V1 de lespace vectoriel des dplacements V : v V1 N(v ),
1
= g N(v ),
(3.44)
Et on peut rsumer la construction dun lment ni de type dplacement laide dun nouveau schma quatre espaces : D E , 2 , 1
1 BT
B V1
Le problme continu est ensuite remplac par le problme discret suivant : KX = F + o la matrice raideur est donne par : K=
(3.45)
BT DBd
(3.46)
25
et loprateur D est un scalaire pour les barres ou les poutres (rigidit la traction ou la exion), la matrice identit pour les problmes de potentiel, et la matrice lasticit (ou celle des plaques) pour des problmes en deux ou trois dimensions. Dans le cas o on sait construire les fonctions de Green entre nuds du problme, on obtient des informations nodales exactes [Wielgosz 82] pour les problmes dquilibre ou de dynamique de barres et de poutres. En gnral, on ne sait pas construire ces fonctions de Green, et on obtient une approximation. La mthode des lments nis de type dplacements est donc une approximation de la solution thorique en dformations du problme de lquilibre : I ( + J) (3.47)
Tout ce qui vient dtre fait en dplacements peut tre repris en forces : on part dans ce cas dun sev de dimension nie de lespace des charges , on interpole le champ des contraintes, et on construit la mthode des lments nis de type forces qui est une approximation de la solution thorique en contraintes du problme de lquilibre :
d (I) ( + J) On remarquera que dans les deux cas, on travaille au niveau des espaces E et .
(3.48)
Fi Fi +1
fl 2
1 1
(3.49)
o Fi et Fi +1 reprsentent les efforts appliqus aux nuds de llment i . Aprs assemblage 1 , on obtient : 1 1 0 0 F1 1 2ES 1 2 1 u 2 = 0 + f l 2 4 l 0 1 1 0 F3 1 Le dplacement u 2 en x = l /2 2 est donn par la deuxime ligne : fl2 8ES et les efforts aux nuds 1 et 3 (exacts) sont obtenus par les deux autres lignes : u2 = F1 = F3 = fl 2 (3.51)
(3.50)
(3.52)
1. Lassemblage consiste crire les quations de liaison entre les lments et liminer des efforts correspondants. 2. Nous rappelons que dans ce cas prcis, le dplacement calcul est exact.
26
=
0
NT p dx
(3.53)
pl 2 12
(3.54)
Lassemblage se fait de la mme manire que pour le barreau mais en travaillant avec
deux degrs de libert par nuds au lieu dun seul. crivons lquilibre des deux lments assembls : 12 6l 6l 4l 2 EI 12 6l l 3 6l 2l 2 0 0 0 0
12 6 l 24 0
6l 2l 2 0 8l 2
12 6l 6l 2l 2
pl 0 R1 2 2 0 0 0 1 p l 12 12 6l v 0 2 p l = + 6 l 2 l 2 2 0 0 pl 0 R3 2 12 6l pl 2 6 l 4 l 2 0 3 12 0 0
(3.55)
Le systme est rsolu par la mthode des sous-matrices ; les quations 3 et 4 donnent les valeurs de la che et de la rotation au nud 2 : v2 = pl 4 ; 24EI 2 = 0 (3.56)
Les quatre autres quations du systme donnent ensuite les valeurs des ractions : R1 = p l ; 1 = pl 2 ; 3 R3 = p l ; 3 = pl 2 3 (3.57)
chaleur internes f sont constantes et on suppose des conditions aux limites de Dirichlet. 2
y 2
x 2
y 2
(3.58)
27
Mais la matrice raideur lmentaire est identique celle tablie au paragraphe 3.1 : 2 1 1 1 (3.59) K= 1 1 0 2 1 0 1 Le vecteur force gnralise associ au chargement f est : 1 f T = N f dx = 1 3 T 1
(3.60)
La matrice raideur est invariante par rotation autour dun axe perpendiculaire au plan du domaine ; elle peut donc tre utilise pour chacun des triangles. Aprs assemblage des quatre matrices lmentaires, des vecteurs forces gnralises, on crit lquilibre du domaine en tenant compte des conditions aux limites : 4 4 1 1 1 1 w1 0 1 1 0 0 0 0 F2 2 f 1 0 0 0 = F3 + 2 1 0 3 2 1 0 0 1 0 0 F4 2 0 F5 1 0 0 0 1 rsultat est trs voisin de ceux que nous avions obtenus par rsidus pondrs.
(3.61)
Deuxime partie
cel-00370502, version 1 - 24 Mar 2009
QUATIONS INTGRALES
Bernard Peseux
La modlisation dun grand nombre de situations dintrt pratique pour lingnieur ou chercheur, conduit la recherche de solutions dquations aux drives partielles, assorties de conditions aux limites et de conditions initiales, notamment en Mcanique du Solide, en Mcanique des uides, en Acoustique, en Thermique ou en lectromagntisme. Ces quations sont poses en gnral sur des domaines gomtriques, qui ne permettent pas lemploi des techniques classiques de recherche de solutions exactes et elles doivent tre rsolues par des mthodes numriques et en particulier par la mthode des lments nis, des quations intgrales (lments de frontire, mthode des singularits) ou des diffrences nies. Ltude des quations intgrales a commenc il y a plus dun sicle (Thorie du potentiel, identit de Somigliana), mais les dveloppements concernant la rsolution numrique ne datent que des annes 1960.
4
Principe et champs dapplication
4.1 Principe
Un problme aux limites, dinconnues u , pos sur un domaine Rn , (n = 1, 2, 3) et associ un oprateur aux drives partielles dordre pair (2m ), auto-adjoint typiquement, comme cela a t vu dans la partie I la structure suivante : , prsente
(u ) + f = 0 dans u = ud sur u (u ) + q = 0 sur avec u = et u = et o doprateurs) dordre au plus 2m 1. et , loprateur drive normale,
cas particulier, soit u une approximation de u exact et v une fonction de pondration. La mthode des rsidus pondrs, donne la forme intgrale : W(v ) =
v (u + f )d =
v u d +
v f d
(4.2)
Une premire intgration par parties gnralises (application de la formule de Green) applique la premire intgrale donne : v u d +
gradv gradu d =
u d n
(4.3)
Une seconde intgration par parties sur le second terme donne : gradv gradu d + u v d =
v d n
(4.4)
et en retranchant cette dernire expression (4.4) la prcdente (4.3), on obtient la seconde formule de Green : (v u u v )d = v
u v u n n
(u ) u
(v ) d =
(u ) u
(v ) d
(4.6)
32
Remplaons v par une solution particulire dite lmentaire qui vrie lquation locale, pour une source ponctuelle f (y ) = (y x ) applique en un point x x / . Notons scrit : G(x , y ) + (y x ) = 0 La mesure de Dirac (y x ) est dnie par la proprit :
G(x , y ) cette solution lmentaire, fonction du point courant y . Lquation locale de (4.1)
(4.7)
(y x )u (y )dVy = u (x )
avec
= 1 si x = 0 si x /
(4.8)
G(x , y )
G(x , y ) u (y ) u (y ) d + n n
G(x , y ) f (y )d
(4.9)
Cette formule de reprsentation intgrale donne explicitement la valeur de u en tout point x intrieur comme somme :
dune intgrale de domaine contenant la source f , solution particulire de lquation locale de (4.1) ne vriant pas en gnral les conditions aux limites ;
u n
pour moiti
prescrites par les conditions aux limites et pour moiti inconnues. Le calcul de
u ) sur restes inconnues aprs u dans est ramen celui des valeurs de (u , n
prise en compte des conditions aux limites. On a gagn une dimension despace.
H(x , y )dSy = 0
avec
= 1 si x = 0 si x /
(4.10)
qui exprime lquilibre entre le ux H travers et la source ponctuelle unitaire exerce en x . Le ux H est donn par : H(x , y ) = G, j (x , y )n j (y ) = G(x , y ) n (4.11)
nest a priori valable que pour x / . Il reste donc formuler une quation intgrale de
u n
tgrable. Lobtention dune quation intgrale de frontire impose donc un passage la rgularise qui scrit : G(x , y )
limite. Ce passage la limite que nous naborderons pas ici conduit la forme intgrale u (y ) G(x , y ) [u (y ) u (x )] d + n n
G(x , y ) f (y )d = 0
(4.12)
33
ou bien : u (x ) =
G(x , y )
G(x , y ) u (y ) u (y ) d + n n
G(x , y ) f (y )d
(4.13)
G(x , y ) dSy n
(4.14)
qui donne =
1 2
grale (4.9), elle couvre donc toutes les positions de x . Lquation intgrale (4.12) (ou gularits pour y = x , intgrables.
bien (4.13)) ne fait intervenir que des intgrales convergentes qui prsentent des sinUne fois ce passage la limite accompli, la mthode des quations intgrales procde en deux temps :
en tout point de ; 2. application de la formule de reprsentation intgrale (4.9) permettant le calcul explicite de la valeur de u (x ) en tout point x intrieur .
34
qui dans le cas dune conductivit isotrope se rduit lquation de Poisson : k T + f = 0 (4.17)
En rgime transitoire, la temprature dpend galement du temps et vrie lquation locale de la diffusion : c T + div(k gradT) + f = 0 t (4.18)
o f est la source volumique de chaleur, c , la chaleur massique - masse volumique et q , le ux thermique. Les conditions aux limites sont des conditions de ux impos et de temprature impose : T = Td T + qs = 0 n sur sur u (4.19)
Cette quation locale est complte par des conditions cinmatiques aux interfaces uidesolide f s , qui traduisent les conditions dimpermabilit des parois solides : galit des vitesses normales des particules uides et solides : = Vs n n sur f s (4.21)
Acoustique
Le potentiel des vitesses (x , t ) dun uide parfait compressible, avec lhypothse de petits mouvements, satisfait lquation de Helmoltz (quation des ondes) : 1 2 =0 c2 t 2 (4.22)
coulement souterrain
Lcoulement souterrain dun uide parfait incompressible et suivant la loi de Darcy : U = k grad o =
p
(4.23)
35
4.3.3 lectromagntisme
Les champs lectrique E et magntique B ainsi que la densit de charge lectrique dans un milieu linaire, isotrope, homogne et stationnaire, avec la conductivit lectrique, vrient les quations de Maxwell : div E = 0 (1 + e ) rot E + B =0 t 1 E = 0 (1 + m )E rot B 2 c t
(4.26)
div B = 0
c est la clrit des ondes magntiques dans le milieu considre et 0 et 0 sont les constantes du vide. En combinant les quations ci-dessus, les champs E et B vrient deux quations aux drives partielles faisant intervenir loprateur de Laplace. Ces quations dans le cas de llectrostatique, se simplient. Le champ lectrique E drive dun potentiel scalaire V qui vrie lquation de Poisson : V = 0 (1 + e ) (4.27)
Tout triplet (u , , f ) sera quali dtat lastostatique sur . Les relations prcdentes combines, conduisent lquation de Navier (ou Lam-Navier) gouvernant les dplacements : u + f = 0 avec u = Ci j k l u k ,l j e i . Les conditions aux limites sur la frontire sont : u = ud n = Td sur u sur (4.30) (4.29)
36
En lasticit isotrope, le tenseur dlasticit C ne dpend que de deux constantes lastiques et constantes de Lam ou E et (module dYoung et coefcient de Poisson) et lquation locale prcdente donne les quations dites de Lam-Navier : ( + ) u k ,k
,i
+ u i , k k + f i = 0
(4.31)
On pourra aussi utiliser ces quations sous la forme : + grad (div u ) + u + f = 0 ou encore : + 2 grad (div u ) rot rot u + f = 0 Si le champ de dplacement est irrotationnel, les quations se rduisent : + 2 grad (div u ) + f = 0 (4.34) (4.33) (4.32)
ce qui implique que rot f = 0 et que f est de la forme f = grad. Il sensuit quon obtient aprs intgration : + 2 div u + = cste (4.35)
5
quation de poisson
G(x , y )
u (y ) G(x , y ) u (y ) u (x ) d + n n
G(x , y ) f (y )d = 0
(5.1)
ou bien (4.13) qui dans le cas dune frontire rgulire donne : u (x ) u (x ) G(x , y ) f (y ) = 2 0 si x i si x (5.2) sinon
G(x , y ) u (y ) u (y ) G(x , y ) dS n n
G(x , y ) u (y ) G(x , y ) dS n n
G(x , y ) f (y ) +
u (x ) u (x ) = 2 G(x , y ) u (y ) u (y ) G(x , y ) dS 0 n n
si x e si x (5.3) sinon
Si G(x , y ), fonction de Green du problme, satisfait les conditions de dcroissance linni alors : u (x ) u (x ) G(x , y ) f (y ) = 2 0 si x i si x (5.4) sinon
G(x , y ) u (y ) u (y ) G(x , y ) dS n n
38
quation de poisson
et la fonction de Green associe est la fonction : 1 1 G(x , y ) = ou bien G(x , y ) = 4 r r le ux correspondant est : H(x , y ) =
(5.6)
1 1 r,n ou bien H(x , y ) = 2 r,n (5.7) 2 4 r r Dans le cas du demi-espace x 3 0, les solutions lmentaires peuvent tre construites par la mthode des images. Soit M le point de coordonnes x = (x 1 , x 2 , x 3 ) et M le point la distance M P, la fonction de Green vriant une condition de Dirichlet 1 En notant r = (x 1 , x 2 , x 3 ). symtrique de M par rapport au plan x 3 = 0, les coordonnes de M sont x
(5.9)
solution de : (5.10)
u (y ) G(x , y ) u (y ) u (x ) d = 0 n n
le point x appartenant la frontire . La mthode mise en uvre ici tant une mthode de collocation.
x=
i =1
Mi ()x i = M()x
(5.11)
Lintgrale (5.10) est alors crite comme une somme dintgrales lmentaires calcules sur chaque lment frontire :
N
G(x , y )
e =1 Ee
u (y ) G(x , y ) u (y ) u (x ) d = 0 n n
(5.12)
1. G(M, P) = 0 en x 3 = 0 2. H(M, P) = 0 en x 3 = 0
39
q=
(5.13)
Comme pour la mthode des lments nis, on parlera dinterpolation conforme, non conforme ou isoparamtrique.
G(x c , y )
e =1 Ee
u (y ) G(x c , y ) u (y ) u (x c ) d = 0 n n
(5.14)
Dans (5.14) 3 , il apparat des intgrales lmentaires rgulires lorsque x c / Ee et des intgrales singulires lorsque x c Ee . Pour un point x , posons : I(x ) = {e [1, N] , x Ee } prcdente scrit :
N e I(x ) p =1
et
(5.15)
(5.16) (e ) H
e I(x )
+ avec : AS(e , p ) =
Ee
Np () Np ( ) H(x c , y )dSy
B(e , p ) = (e ) = H
AR(e , p ) =
Np ()H(x c , y )dSy
Aprs assemblage les quations (5.16) crites pour tous les points de collocation (les nuds du maillage par exemple) conduisent au systme matriciel : Au + Bq = 0 (5.18)
Les conditions aux limites sont prises en compte en remplaant les coordonnes de u et q correspondant par leurs valeurs dans le systme (5.18).
3. dans cette expression, u (y ) et (y ) =
u (y ) n
40
quation de poisson
G d n n
(5.19)
Les fonctions qui satisfont lquation locale cest--dire lquation de Laplace sont dtermines en utilisant la mthode des singularits.
M+
n M+
(5.21)
=0
M
avec les trois points M+ , M, M inniment voisins, M la frontire S et M+ et M situs de part et dautre de celle-ci comme illustr sur la gure 5.1.
41
n e
(M) ; 2 1 = 2 M
M+
=0
M
n M+
1 = 2 M
(5.23)
n M n
i (P)
SF
nP
(5.24)
Le potentiel en Mi (M) apparat comme la superposition des potentiels crs par : une densit surfacique de sources : (P) =
i n P
42
quation de poisson
(5.25)
SF
e (P) i (P) nP nP
Donc les densits surfaciques de singularit sur SF : e i n n (P) = e + i (P) = intgrale (5.26) scrit : (P)
SF
(5.27)
nP
(5.28)
En crivant lquation (5.24) pour un point M appartenant la frontire SF il vient : (P) 1 2 4 (P)
SF
nP
1 1 dS = r 4
(P)
SF
dS r
(5.30)
Pour rsoudre cette quation intgrale, la mthode de discrtisation adopte est une mthode de collocation par sous-domaines. La surface SF est discrtise en N facettes planes quadrilatres ou triangulaires daire S j supportant des densits surfaciques de singularits constantes. Donc sur chaque facette j , (P) et (P) restent gales leur valeur moyenne j et j .
43
Dans ces conditions lquation intgrale sur la surface complte prcdente est transforme en une somme dintgrales calcules sur la surface de chaque facette i qui scrit : i j 2 j =1
N
1 4
Sj
1 dS = j r j =1
1 4
Sj
1 dS r
(5.31)
avec r = |Mi P|, et Mi centre de la facette i et le problme uide discrtis se ramne la rsolution dun systme dquations linaires : Di = Si avec Di , matrice des coefcients dinuence de doublets normaux, telle que : (d i j )i = i 2
j
(5.32)
1 4
Sj
1 dS r
(s i j )i =
1 4
Sj
dS r
Lquation intgrale (5.28) crite pour un point M appartenant la frontire SF est : (P) 1 2 4 (P)
SF
nP
1 r
dS =
1 4
(P)
SF
1 dS r
(5.34)
1 4
Sj
1 dS = j r j =1
1 4
Sj
1 dS r
(5.35)
(5.36)
1 4
Sj
1 dS r
(s i j )e =
1 4
Sj
dS r
44
quation de poisson
et (P) au potentiel des vitesses. La connaissance de lune ou lautre de ces grandeurs ou une combinaison linaire des deux, suft pour rsoudre compltement le problme. Les rsultats prcdents sont gnralisables la recherche de fonctions scalaires satisfaisant lquation de Helmoltz dune part lorsque lhypothse de uide compressible est retenue ou lquation de Laplace dautre part lorsque le uide incompressible est limit par une surface libre dformable (ondes de gravit). Dans lquation intgrale prcdente, la fonction 1/r est remplace par la fonction de Green G(M, P) du problme correspondant. La forme intgrale W() devient une intgrale de Fredholm de deuxime espce dont lexpression gnrale est : (P) 1 2 4 (P)
SF
G(M, P) 1 dS = nP 4
(P)G(M, P)dS
SF
(5.38)
6
Problmes dlastostatique
6.1 Thorme de rciprocit de Maxwell-Betti
Lidentit de rciprocit pour llasticit est une consquence du principe des travaux virtuels. Quel que soit le champ de contrainte en quilibre statique avec f , quel que soit le dplacement virtuel u (u ) sur :
: (u )dV
( n ) u dS
f u dV = 0
(6.1)
En crivant le principe des travaux virtuels pour deux tats lastostatique (u 1 , 1 , f 1 ) et (u 2 , 2 , f 2 ), et compte tenu de la symtrie de la loi de comportement, il en rsulte que tout couple (u 1 , 1 , f 1 ), (u 2 , 2 , f 2 ) vrie lidentit de Maxwell-Betti : (1 n ) u 2 (2 n ) u 1 dS = f 2 u 1 f 1 u 2 dV(3 2) (6.2)
pour lespace inni, la solution lmentaire est donne par la solution de Kelvin : Uk (x , y ) = i 1 [r ,i r ,k +(3 4)i k ] 16(1 )r 1 k (x , y ) = 3r ,i r ,k r , j +(1 2)(i k r , j + j k r ,i i j r ,k ) ij 8(1 )r 2 (6.5)
o r = |r | = y x pour le demi espace avec surface libre, la solution lmentaire est donne par la solution de Mindlin correspondant une force ponctuelle applique en un point pondant une force ponctuelle applique normalement la surface libre. intrieur. Elle contient comme cas particulier la solution de Boussinesq corres-
46
Problmes dlastostatique
Le traitement se fait suivant la dmarche gnrale donne au chapitre prcdent dans le cas de lquation de Poisson, les difcults tant toutefois augmentes.
Troisime partie
DIFFRENCES FINIES
Yves Lecointe
7
Principes gnraux
Le but de ce chapitre est de prsenter les bases ncessaires lutilisation des mthodes de diffrences nies ; cest pourquoi nous nous limitons aux problmes unidirectionnels, donc des problmes une seule variable. Les problmes diffrentiels traits sont des problmes du second ordre appels souvent laplacien unidirectionnel. Physiquement, un laplacien unidirectionnel correspond des phnomnes stationnaires (indpendants du temps), de type diffusion. On retrouve ainsi lquation de la chaleur sta-
tionnaire.
7.1 Introduction
7.1.1 Principe
On considre un problme diffrentiel dordre 2 dune fonction une variable x . Soit une fonction u suppose continue et drivable sur un intervalle [x a , x b ] et un oprateur diffrentiel dni par : (7.1)
(u ) = a u + b u + c u autrement dit : =a d d2 +b +c 2 dx dx
(7.2)
o les coefcients a , b et c sont des fonctions donnes de la variable x . Cet oprateur est appel aussi oprateur elliptique en dimension 1. Dun point de vue physique, ce type dquation diffrentielle correspond la modlisation dun problme de diffusion a u o a est le coefcient de diffusion de la quantit u , combine avec de ladvection b u , o b est une vitesse de transport de la quantit u . Lorsque b est nul, nous avons affaire un problme de diffusion pure. Le terme c u est appel terme source car il correspond la production (ou la destruction) de la quantit u . On pose le problme suivant (problme de Dirichlet-Dirichlet) : (u ) = f u (x a ) = u a u (x b ) = u b sur ]x a , x b [ (7.3)
50
Principes gnraux
On cherche rsoudre ces problmes de faon approche, en remplaant dans ces quations, les drives par des formules approches qui feront intervenir des diffrences valeur discrte approche de la fonction u au point dabscisse x j , u (x j ) tant la valeur exacte de la solution du problme. entre des valeurs approches discrtes de la fonction u (x ). On notera U j u (x j ), la
7.1.2 Exemples
Barre verticale
Soit une barre verticale de longueur encastre et soumise son poids propre. Lquation diffrentielle rgissant les variations du dplacement u (x ) scrit : ES d2 u +p =0 dx 2 (7.5)
o E est le module dYoung du matriau, S, la section de la barre et p , la charge linique. Si on ne considre que la charge due au poids propre, p = g S. lencastrement, la
condition limite est u (0) = 0, et lautre extrmit x = , on peut crire une condition sur leffort normal : N() = ES du dx =F
(7.6)
o la force de traction F peut tre nulle. Dans le cas o la barre est soumise son poids propre, lquation : d2 u g + =0 dx 2 E a pour solution : u (x ) = g x (x 2) 2E g F x x 2 + 2E g (7.8) (7.7)
Si en plus, cette barre est en traction sous effort extrieur, la solution est : u (x ) = (7.9)
o a est le coefcient de diffusion de la chaleur du matriau. lextrmit x = 0, la condition limite est T(0) = T0 , et lautre extrmit (x = ), on peut crire soit une condition
dT de Dirichlet u () = T , soit une condition de ux (de type Neumann) F() = k d , qui est x
Advection diusion
On considre un tube de rayon R et de longueur L, dans lequel circule un uide. La vitesse et la temprature du uide sont supposes uniformes dans la section, ce qui permet de considrer que le phnomne est rgi par une quation monodimensionnelle. Le
7.1 Introduction
51
transfert de chaleur convectif entre le uide et la paroi du tube se fait avec un coefcient de transfert gal h c : h c p R2 r Cp V dT d2 T + 2p Rh c (T T0 ) = p R2 k 2 dx dx (7.11)
On suppose que la temprature lentre du tube x = x 0 est gale T0 , alors quelle est gale TL , la sortie x = x L . An de trouver la solution analytique de ce problme, on travaillera avec des variables rduites, T = (T T0 )/(TL T0 ) et x = x /R. Lquation transforme est : d2 T Rr Cp V dT 2Rh c T =0 dx 2 k dx k On pose L = 5R et Rr Cp V/k = Rh c /k = 1 ; le problme prcdent scrit : d2 T dT 2T = 0 sur ]0, 10[ dx 2 dx T (0) = 0 T (10) = 1
(7.12)
(7.13)
La solution analytique est de la forme T (x ) = e x + e 2x , avec et dtermins partir des conditions limites, soit : T (x ) = e x e 2x e 5 e 10
(7.14)
Drive premire
Si f est une fonction continue, la dnition classique de la drive droite au point x j est : u (x j ) = lim
x j +1 x j
u (x j +1 ) u (x j ) x j +1 x j
(7.15)
x j 1 x j
Si maintenant on considre les valeurs discrtes, nous aurons les formules approches suivantes : u (x j ) u (x j ) U j +1 U j x j +1 x j U j U j 1 x j x j 1 = = U j +1 U j h j +1 U j U j 1 hj drive avant (forward) (7.17) drive arrire (backward)
52
Principes gnraux
u (x j )
(7.18)
h j U j +1 + [ h j +1 h j ] U j h j +1 U j 1 2 h j +1 h j
(7.20)
u (x j )
= 1 : drive dcentre droite ; = 0 : drive dcentre gauche ; = 1/2, la formule (7.22) scrit : u (x j ) U j +1 U j 1 2h (7.23)
drive premire centre et le point j nintervient plus ; cette formule est appele formule centre par opposition aux formules prcdentes qui sont des formules dcentres gauche ou droite. La gure 7.1 donne une interprtation gomtrique de ces trois formules de drivation.
drive centre drive dcentre droite
x j 1
xj
x j +1
7.1 Introduction
53
Drive seconde
Soient x j +1/2 et x j 1/2 , les milieux respectifs des segments [x j +1 ; x j ] et [x j ; x j 1 ], pour calculer la drive seconde de u (x ) au point j , nous crivons : u (x j ) u (x j +1/2 ) u (x j 1/2 ) x j +1/2 x j 1/2
(7.24)
soit en remplaant u (x j +1/2 ) et u (x j 1/2 ) par les formules approches suivantes : u (x j +1/2 ) = nous obtenons : u (x j ) 2(h j U j +1 (h j +1 + h j )U j + h j +1 U j 1 ) h j +1 h j (h j +1 + h j ) (7.26) U j +1 U j h j +1 et u (x j 1/2 ) = U j U j 1 hj (7.25)
u (x j )
U j +1 2U j + U j 1 h2
(7.27)
qui est la formule de la drive seconde centre. Les deux formules (7.25) sont des formules dapproximation de la drive premire, centres au point x j +1/2 ou au point x j 1/2 .
(7.28)
Pour valuer lerreur dune formule dapproximation, il suft de remplacer les valeurs discrtes par les valeurs continues et deffectuer les dveloppements en srie de Taylor. Si la formule de discrtisation en trois points a pour forme gnrale : Tj = r + U j +1 + r c U j + r U j 1 le dveloppement en srie de Taylor peut se calculer et nous aurons : Tj = 0 u (x j ) +
i =1
(7.29)
i h i u (k ) (x j )
(7.30)
la somme est appele erreur de troncature et lordre de cette erreur est donn par le premier coefcient i non nul de la srie.
54
Principes gnraux
Lordre de lerreur de troncature correspond lexposant i du pas h . lordre de la drive k nest donc pas celui de lerreur.
h u (x j +1 ) + (1 2 )u (x j ) (1 )u (x j 1 )
(7.31)
Si = 1/2, le premier terme de lerreur de troncature sera du second ordre et donc une formule centre sera plus prcise quune formule dcentre, du premier ordre. Ainsi on peut crire : h u (x j ) h 2 U j U j 1 h u (x j ) u (x j ) h 2 U j +1 U j 1 h2 u (x j ) + u (x j ) 2h 6 u (x j ) + dappui pour approximer les drives, par exemple 4 ou 5 points. U j +1 U j
(7.33)
Pour rduire lerreur dapproximation, la seule solution consiste utiliser plus de points
Pas variable
La formule gnrale dune drive premire en trois points est : u (x j ) h j U j +1 + (1 )h j +1 h j U j (1 )h j +1 U j 1 h j +1 h j (7.34)
u (x j )
(7.35)
7.1 Introduction
55
soit encore : 1 h j +1 h j h j U j +1 + (1 )h j +1 h j U j (1 )h j +1 U j 1 = u (x j ) +
u (x j ) 2
h j +1 (1 )h j +
u (x j ) 6
(7.36)
h 2 j +1
+ (1 )h 2 j
(h j +1 h j )
hj h j + 1 +h j
(h ), avec h = max[h j +1 , h j ].
Il est cependant possible de trouver autrement la formule centre en pas variable ayant la prcision la plus leve, en partant de la forme :
u (x j ) U j +1 + U j + U j 1 Les coefcients , et sont dtermins par les trois relations : h j +1 = h j (h j +1 + h j ) + + = 0 h j +1 h j h j + h j +1 = 1 = h j h j +1 2 h 2 j + h j +1 = 0 hj = h j +1 (h j +1 + h j ) et la formule rsultante scrit : u (x j )
2 2 2 h 2 j +1 U j 1 + h j +1 h j U j + h j U j +1
(7.37)
(7.38)
h j +1 h j (h j +1 + h j )
(7.39) , soit u (x j )
h j +1 h j 6
et lerreur de troncature est gale u (x j ) est dordre coefcient de la drive seconde tait nul.
3 h 3 j + h j + 1
3!
. Cette formule
Tj =
i =i 1
i U j +i =
i =1
i U j i +
i U j +i =
i =0
1 i =i 1
i2
i U j +i +
i =0
i U j +i
(7.40)
Tj =
i =0
i u (i ) (x j )
(7.41)
56
Principes gnraux
u (x j )1 =
i =i 1
i u (x j ) =
1
1 i =i 1
i2
i i h = h
i ih +
i =1 i2
1 i =i 1
i2
i i
i i +
i =1 i2
1 u (x j )k = (i h )2 + (i h )2 = i2+ i i 2 i 2 i =i i k ! i =1 i =i 1 i =1 1 i2 i2 1 1 hk 1 (k ) k k k k u (x j )k = (i h ) + i + (i h ) = i i k ! i =i i k ! i =i i i =1 i =1 h2
1
1 1
(7.42)
Pour dterminer la drive dordre m , il suft de calculer les coefcients i correspondant i = i m pour i = i 1 , i 2 . Il faut bien rsoudre un systme de (i 1 + i 2 + 1) quations (i 1 + i 2 + 1) inconnues.
Si on cherche la formule donnant, en pas constant, la drive premire au point j en de u et de u et en prenant celui de u gal 1, nous avons 3 quations 3 inconnues et nous avons la formule suivante : u (x j ) 3U j 4U j 1 + U j 2 2h (7.43) fonction des points j 1 et j 2, il nous faut trois quations ; en annulant les coefcients
et x j +1 , cette fonction peut tre approxime par le polynme du second degr (approxi-
(7.45)
(7.46)
7.2 Formulaire
57
La drive premire sera donc U (x ) = 2a x + b et la drive seconde U (x ) = 2a . Les coefcients a , b et c sont : a= b= c= 2h 2 (2 j 1)U j +1 + 4 j U j (2 j + 1)U j 1 2 U j +1 2U j + U j 1
(7.47)
2h U j 1 4U j + 3U j +1 U (x j +1 ) = 2a ( j + 1)h + b = 2h
U j +1 U j 1
Il est clair que si on utilise seulement deux points (approximation linaire) le polynme sera de la forme U(x ) = a x + b et la drive premire sera U (x ) = a et la drive seconde sera nulle.
7.2 Formulaire
7.2.1 Drives premires dcentres
Formules deux points
u (x j ) u (x j ) U j +1 U j h h U j U j 1 + (h ) (7.50) + (h )
(7.52)
58
Principes gnraux
Formules 5 points
u (x j ) U j +2 + 8U j +1 8U j 1 + U j 1 12h + (h 4 ) (7.54)
U j +2 2U j +1 + U j h2
h2 U j 2U j 1 + U j 2
+ (h ) (7.55) + (h )
U j +3 + 4U j +2 5U j +1 + 2U j h2 2U j 5U j 1 + 4U j 2 U j 3 h2
+ (h 2 ) (7.56)
2
+ (h )
est dni dans la section 7.2. Ce problme est appel problme continu et la solu-
59
la rsolution dun systme linaire dont la structure dpendra du nombre de points choisis pour discrtiser les drives. Le nombre minimal est de trois points (pour avoir une approximation de la drive seconde) et nous obtiendrons alors une matrice tridiagonale. Elle prsente lavantage de pouvoir tre stocke en mmoire laide de trois vecteurs de taille N (au lieu dune matrice N N) et quil existe des mthodes de rsolution tenant compte de cette structure, diminuant ainsi considrablement le temps de calcul.
Maillage
Soit N le nombre de points que lon se donne a priori sur lintervalle [x a ; x b ]. On dnit le pas h suppos constant. Tout point i de cet intervalle, sera dni par son abscisse
b x a x i = x a + (i 1)h , avec h = xN comme indiqu sur la gure 7.2. 1
2 j 1 j j +1
N1
Nous allons crire cette quation discrte pour chacun des N 2 points intrieurs, soit
60
Principes gnraux
Pour fermer le systme, il faut utiliser les conditions limites et crire les deux quations discrtes correspondantes. Le systme dquations linaires rsoudre scrit : CL
c r2 r3 + r2 c r3 + r3 .. .
U1
d1
r 2
r j
r jc
r j+ .. .
rN 1 c rN 1
U2 d 2 U3 d 3 . . . . . . = Uj d j . . . . . . + d rN 1 UN1 N 1 UN dN CL
(7.64)
On remarque que le systme ainsi obtenu est un systme tridiagonal ; pour conserver ces proprits, il convient dcrire les conditions limites sur deux points au plus de discrtisation.
(7.65)
au dernier point N :
c rN UN1 + rN UN = d N c soit rN = 0, rN = 1 et d N = u (x b ) = u b
(7.66)
+ c Au point 1, par identication avec la formule gnrale r1 U1 + r1 U2 = d 1 , nous obte+ c . Le point N nous conduit r c = 1/h , nons r1 = 1/h , r1 = 1/h et d 1 = u (x a ) = u a N + r1 = 1/h et d N = u (x b ) = u b .
Approximation en trois points : si on veut avoir plus de prcision sur lexpression de la drive premire, il est possible dcrire une formule en trois points (1, 2 et 3) ou (N 2, N 1 et N), dans ce cas, la matrice N N nest plus tridiagonale et pour retrouver cette structure, il faut rduire lordre de ce systme de 2(N 2) (N 2). Pour
61
nires. Dune faon gnrale, si on considre les deux premires quations, nous aurons :
c + ++ r1 U1 + r1 U2 + r1 U3 = d 1 c + r2 U1 + r2 U2 + r2 U3 = d 2
cela, il faut liminer U1 entre les 2 premires quations et UN1 entre les deux der-
(7.68)
(7.70)
c + U2 + r2 U3 = d 2 r2
(7.71)
avec :
c c = r2 r2 + r1 r2 c r1 + + r2 = r2 ++ r1 r2 c r3 d2 = d2 r2 d1 c r1
Approximation en trois points avec un point ctif : an de prserver le caractre tridiagonal de la matrice et dviter une premire limination de U1 entre les quations au point 2 et lcriture de la condition limite, on peut introduire un point ctif not U0 et introduire la condition limite dans lquation diffrentielle discrte crite au point 1. Le calcul de u (x ) au point 1 en utilisant les points 2 et 0 donne : u (x 1 ) = U2 U0 2h (7.72)
+ c lquation au point 1 scrit r1 U0 + r1 U1 + r1 U2 = d 1 et en remplaant U0 par son , soit : expression tire de lquation prcdente U0 = U2 2hu a c + U1 + (r1 + r1 )U2 = d 1 + 2hr1 ua r1
(7.73)
U1
d1
r 2
r j
r jc
r j+ .. .
rN 1 c rN 1 rN
U2 d 2 U3 d 3 . . . . . . = Uj d j . . . . . . + d N1 rN 1 UN1 c rN UN dN
(7.74)
62
Principes gnraux
Rsolution
Pour rsoudre le problme discrtis suivant : r j+ U j +1 + r jc U j + r j U j 1 = d j (7.75)
qui correspond un systme de N quations linaires N inconnues, on utilise souvent lalgorithme de Thomas ou dit de double balayage. Cet algorithme correspond en fait une limination de Gauss applique un systme tridiagonal. On pose la relation de rcurrence : U j = E j U j +1 + Fj , j = N 1, 1 (7.76)
ce qui permet, connaissant la valeur de UN , les valeurs des E j et des Fj , de calculer la solution. Au point N, nous avons :
c UN + rN UN1 = d N rN
(7.77)
+ avec rN = 0, quel que soit le type de la condition limite. Nous obtenons les relations de
ces deux relations permettent de calculer, par rcurrence, les valeurs des coefcients E j et Fj , connaissant les valeurs de E1 et de F1 qui sont obtenues par identication, partir
+ + c c c de la premire quation r1 U1 + r1 U2 = d 1 soit U1 = r1 r1 U2 + d 1 r1 ce qui donne : + r1 c r1
E1 =
et
F1 =
d1 c r1
(7.79)
Algorithme de Thomas
Lalgorithme est alors le suivant, et ce quel que soit le type de conditions limites utilises : Premier balayage : j =1 E1 =
+ r1 c r1
F1 = r j+ Fj =
d1 c r1 d j r j Fj 1 r j E j 1 + r jc
(7.80)
j = 2, N E j = Deuxime balayage : j =N
r j E j 1 + r jc
UN = FN
j = N 1, 1 U j = E j U j +1 + Fj
(7.81)
En fait, si on prend soin de dnir les vecteurs E j et Fj de 0 N et le vecteur solution U j de 0 N + 1, lalgorithme prcdent est beaucoup plus simple car on peut supprimer les formules de bord. Premier balayage : E0 = F0 = 0, j = 1, N E j = r j+ r j E j 1 + r jc
r1 = 0, + rN =0
Fj =
d j r j Fj 1 r j E j 1 + r jc
(7.82)
63
Deuxime balayage :
+ UN+1 = 0 (EN est nul car rN = 0)
j = N, 1 U j = E j U j +1 + Fj
(7.83)
Erreur de troncature
Considrons le problme discrtis suivant : r j+ U j +1 + r jc U j + r j U j 1 = d j (7.84)
Si on remplace les valeurs discrtes U j par les valeurs continues correspondantes u (x j ), et si nous effectuons le dveloppement en sries de Taylor de lexpression ainsi obtenue, nous devons retrouver le problme continu plus des termes du premier ordre en h (ou (h )) au moins. Dans ce cas, le schma global sera consistant. Si dautres termes (1) apparaissent, le schma ne sera pas consistant, cest dire que lon traitera en fait un autre problme continu. En remplaant les valeurs discrtes par les valeurs continues, nous aurons : r j+ u (x j +1 ) + r jc u (x j ) + r j u (x j 1 ) d j = 0 et en utilisant le dveloppement en sries de Taylor, nous obtenons : 1 u (x j ) u (x j ) u (x j ) u (3) (x j ) u (p ) (x j ) soit : u (x j )(r j+ + r jc + r j ) + hu (x j )(r j+ r j ) + h 2 u (x j )(r j+ + r j ) 2! dj = fj r j+ + r jc + r j (7.85)
h (r j+ r j ) h2 + (r + r j ) 2! j h3 + (r r j ) 3! j hp + (r + (1)p r j ) p! j
(7.86)
(7.87)
hb j 2!
u (x j )+ h 2a j 4! (7.88) u
(4)
u (x j ) +
(x j ) =
(h )
On remarque que le terme entre crochets est nul car cest le problme diffrentiel initial et que le premier terme de lerreur de troncature est : (1 2 ) hb j 2! u (x j ) (7.89)
64
Principes gnraux
Si = 1/2, ce premier terme de lerreur de troncature est nul et lerreur est bien alors en (h 2 ) ; le schma est dordre 2, sinon, elle est (h ) seulement et le schma sera du premier ordre.
(7.90)
on remarque que le coefcient c (terme c u ) est nul ; le terme (c u ) est un terme source, dont linuence sera traite plus loin. Ce problme admet une solution analytique de la forme : u (x ) = e bx /a + (7.91)
o et sont des coefcients dtermins de faon vrier les conditions limites. En effet, dune faon gnrale, si loprateur (u ) est dni par (u ) = a u + b u + c u et si les coefcients a , b et c sont constants, la solution analytique est u (x ) = Ae q1 x + Be q2 x , o q1 et q2 sont les deux racines du polynme caractristique a q 2 + bq + c = 0 et o A et B sont des coefcients dtermins de faon vrier les deux conditions limites du problme. Ici, les deux racines sont respectivement q1 = b /a et q2 = 0. La solution du problme scrit alors (si b = 0) : u (x ) = e bx /a e b /a 1 e b /a
(7.92)
solution exacte du problme continu. Dans le cas o b = 0, la solution du problme est la droite dquation : u (x ) = 1 x (7.93)
Lorsque b /a prend des valeurs leves (en valeur absolue), nous avons des solutions de type couche limite. Mathmatiquement parlant, si a est petit, le problme est de type perturbation singulire. Plus simplement, si a et b sont positifs, on constate sur la gure 7.5, que la solution u (x ) dcrot trs fortement pour des valeurs de x infrieures 0,1 et qu partir des valeurs suprieures 0, 4, la solution varie faiblement.
65
1,0
0,8
b /a < 0 u( x)
0,6 u (x )
0,4
0,2
b /a > 0
0,2
0,4 x
0,6
0,8
1,0
Dans ce cas particulier (coefcients r constants), le problme discret admet lui aussi une solution analytique qui se met sous la forme : U j = q1
j 1
+ q2
j 1
(7.96)
o q1 et q2 sont les 2 racines du polynme caractristique r +q 2 + r c q + r = 0. On utilise pour ce faire le thorme dit des suites rcurrentes. On peut vrier facilement que r + + r c + r = 0 (car c = 0) et que lune des racines est donc gale 1 et que lautre est gale r /r + ; on notera q1 = r /r + et q2 = 1. Si la racine est double (q1 = q2 = 1) ; nous aurons une solution particulire de la solution correspondant au cas o b = 0. Dans cet exemple, nous avons donc la fois la solution analytique du problme continu et celle du problme discret ; cela va donc nous permettre de comparer ces solutions de faon dtaille. Avant de dterminer la valeur des coefcients et on peut tout de suite voir que si q1 est ngatif, alors q1
j 1
que cette partie de la solution ne peut pas reprsenter une solution monotone, si |q1 | < 1, ces oscillations seront attnues, mais elles seront amplies si |q1 | > 1. Si on calcule les
66
Principes gnraux
coefcients et de faon satisfaire les conditions limites, la solution exacte du problme discret scrit : Uj = q1
j 1 N 1 q1 j 1 r N 1 r+ N 1
N 1 1 q1
r r+
r r+
(7.97)
problme discret
r +q 2 + r c q + r = 0 Uj = q1
j 1
+ q2
j 1
c = r /r +
0
e cx e c u (x ) = 1ec
1
c j 1 c N1 Uj = 1 c N1
solution du problme
(7.98)
An de simplier lanalyse, on supposera que a > 0 : 1. si b > 0 alors e b /a < 1, la fonction e bx /a sera dcroissante et u (x ) sera aussi dcroissante ; 2. si b < 0 alors e b /a > 1, la fonction e bx /a sera croissante et u (x ) sera donc dcroissante. Pour avoir des solutions discrtes qui ont le mme comportement que les solutions continues nous devrons donc avoir 1. si b > 0 alors 0 < q1 < 1 ; 2. si b < 0 alors q1 > 1. En utilisant les rsultats du paragraphe prcdent, nous pouvons crire : r 1 + ( 1)b h /a = r+ 1 + b h /a nous avons q1 = r 1 + ( 1) = r+ 1 + (7.100) (7.99)
Nous allons donc examiner les diverses valeurs de , savoir 0, 1/2 ou 1 et crire les conditions que doit vrier pour que la solution discrte soit admissible. Le nombre
67
sans dimension , est appel nombre de Reynolds de maille, ou nombre de Pclet de maille. Par analogie avec la mcanique des uides, le nombre sans dimension b h /a est souvent appel nombre de Reynolds de maille car il est de la mme forme que le nombre de Reynolds classique dni par Re = UL/ o U est une vitesse, L une longueur et la viscosit. De mme, si on fait rfrence aux problmes thermiques, on dnira le nombre de Pclet de maille Pe = UL/ o U est une vitesse, L une longueur et la diffusivit thermique.
1 1. = 1 : q1 = 1+
Dans ce cas, on voit que le choix = 1 est intressant si b > 0 car il ny a pas de
limite sur la valeur de , donc du pas h . 2. = 0 : q1 = 1 la condition q1 > 0 implique ] , 1[ : si b > 0 alors > 0 et q1 < 1, do ]0, 1[ ;
Dans ce cas, on voit que le choix = 0 est intressant si b < 0 car il ny a pas de limite sur la valeur de , donc du pas h . 3. = 1/2 : q1 = 1+ /2 et la condition q1 > 0 implique ] 2, 2[ : si b > 0 alors > 0 et q1 < 1, ce qui implique ]0, 2[ ; si b < 0 alors < 0 et q1 > 1, ce qui implique ] 2, 0[.
1 /2
Le tableau 7.2 rcapitule les conditions satisfaire pour que le schma discret soit admissible.
=0 b <0 b <0 ] , 0[ ]0, 1[ = 1/2 ] 2, 0[ ]0, 2[ =1 ] 1, 0[ ]0, [
Finalement, rappelons les rsultats principaux : (i) pour un schma centr ( = 1/2), le pas de discrtisation doit vrier |b h /a | < 2, tion dune condition pour obtenir une solution numrique admissible ; (ii) pour un schma dcentr ( = 0 ou = 1), la prcision est
soit encore h < 2|a /b |. Par consquent, un schma dordre 2 ncessite la vrica(h ) et paramtre de
dcentration, peut tre choisi de faon ce que les solutions discrtes soient admissibles. Dans ce cas, le pas de discrtisation sera dtermin uniquement sur un critre de prcision de la solution.
68
Principes gnraux
o V est une vitesse (de convection ou advection) et k un coefcient de diffusion. Cette quation peut se mettre sous la forme de T, soit : dT Tj Tj 1 dx h (7.102) si V > 0 alors b < 0 et on a intrt choisir = 0 pour calculer la drive premire
(7.103)
donc on choisit le point j + 1 pour calculer la drive, comme V est ngatif, la encore, le point choisi est un point au vent, cest--dire en remontant la vitesse. Cette notion de dcentration upwind est utilise dans de nombreux domaines de la physique, mme si la notion de vitesse est absente.
V>0 j 1 j j +1 j 1 V<0 j j +1
gure 7.4 - Notion de dcentration upwind : points utiliss pour le calcul de la drive premire
en j , point non utilis
Nous avons choisi comme exemple lquation de la chaleur o linconnue est la temprature car cest un scalaire. En mcanique des uides, on a aussi des quations de transport qui traduisent la conservation de la quantit de mouvement, mais celles-ci sont couples et non-linaires, ainsi dans le cas dun coulement bidimensionnel, nous avons : U U 1 P 2U 2U +V = + + x y x x2 x2 2 V V 1 P U 2U U +V = + + x y y x2 x2 U
(7.104)
69
stipule :
N
|a i i | =
j =1, j =i
|a i j | i = 1, N
(7.105)
(7.107)
Nous sommes donc ramens tudier en fonction de et les expressions (1 + ) puis 1 + ( 1) et enn 2 + (1 2 ) : (i) = 1 : dans ces conditions, r j+ = 1 + , r j = 1 et r jc = (2 + ) et la condition de dominance diagonale impose ] 1, [ ; dominance diagonale impose ] , 1[ ; (ii) = 0 : dans ces conditions, r j+ = 1, r j = 1 et r jc = (2 + ) et la condition de (iii) = 1/2 pour ce schma centr, r j+ = 1 + /2, r j = 1 /2 et r jc = 2 et la condition de dominance diagonale impose ] 2, 2[. On constate donc, que lorsquil ny a pas dominance diagonale, nous avons des solutions oscillantes, donc non admissibles ; par contre, il faut vrier que la solution discrte a mme sens de variation que la solution continue.
(7.108)
c ngatif). Par rapport au modle propos, on remarque que le coefcient b (terme b u ) est nul, donc il ny a pas dadvection. Par contre, le terme source (c u ) nest pas nul. Ce problme modle correspond ltude de la rpartition de temprature dans une ailette de largeur unit et de section A constante. Lquation (7.109) reprsente ce phnomne : d2 T h S + (T T) = 0 (7.109) dx 2 A o T est la temprature de lailette, T la temprature extrieure, , le coefcient de
70
Principes gnraux
son aire et h , le coefcient dchange avec lextrieur. On appelle T0 la temprature de lailette en x = 0. En absence dchange avec lextrieur, si lextrmit droite est isole, la temprature dans lailette est constante est gale T0 . Si h = 0, la solution analytique du problme physique est : T(x ) = T + (T0 T ) avec 2 =
hS . A
ch[(L x )] ch(L)
(7.110)
r + U j +1 + r c U j + r U j 1 = d
(7.112)
avec : r + = a /h 2 , r c = 2a /h 2 + c , r = a /h 2 et d = 0. Compte tenu des valeurs des coefcients a et c , on constate que les deux coefcients r + et r sont positifs, alors que le coefcient r c est lui ngatif ; dans ce cas, on vrie aisment que la matrice du systme linaire discret est dominance diagonale. Comme dans lexemple prcdent, les coefcients r sont constants et le problme discret admet lui aussi une solution analytique qui se met sous la forme : U j = q1
j 1
+ q2
j 1
(7.113)
o q1 et q2 sont les 2 racines du polynme caractristique r +q 2 + r c q + r = 0. Ces racines deux racines sont relles et on vrie que le produit de ces racines est gal 1 (r + = r ).
1 La somme de ces racines tant positive les deux racines sont positives et = . ac se calculent classiquement et = (r c )2 4r + r = c 2 + 4h 2 . Comme c est ici ngatif, les
7.5 Applications
7.5.1 tude de ladmissibilit
On considre le problme dadvection diffusion sur lintervalle [0 10], avec comme valeurs des paramtres du problme a = 1 et b = 10. On tudie linuence du paramtre de dcentration sur ladmissibilit du schma. Le tableau 7.3 donne les caractristiques des valeurs intervenant dans cette tude. Nous sommes dans le cas o b est positif, donc q1 doit tre positif et infrieur 1. Les calculs ont t effectus en simple prcision et la gure 7.5 reprsente les solutions obtenues avec h = 0,125, pour chaque type de drive choisie, savoir dcentres (avant ou arrire) ou centres. La notion avant ou arrire fait rfrence la droite ou la gauche par rapport au point considr.
71
nb de points
11
10
21
0,5
41
0,25
2,5
81
0,125
1,25
0,6 0,4 0,2 0 0,2 0,4 0 0,3 0,6 0,9 1,2 1,5 x 1,8 2,1 2,4 2,7 3,0
gure 7.5 - Solutions exacte ( ) et approches (7.98), b h /a = 1,25 ; = 0 ( ), b h /a = 1,25 ; = 0,5 ( ) et b h /a = 1,25 ; = 1 ( ) du problme continu (7.90)
remarque que lerreur maximale obtenue laide des deux schmas dcentrs ( (h )) varie linairement en fonction du pas ; la pente de cette droite est bien 1. Pour le schma remarque que pour de petites valeurs du pas, il y a de fortes oscillations de lerreur maximale ; cela indique que la prcision de la machine est incompatible avec la prcision thorique. La gure 7.6 donne les volutions des erreurs maximales en fonction du pas h . centr, la pente est gale 2, ce qui indique que le schma est en (h 2 ). Par contre, on
u (x )
72
Principes gnraux
104
103
102
101
100
), = 0,5 (
) et = 0 (
considrons que des problmes monodimensionnels. Les quations correspondantes scrivent : d2 T m dT + =0 dr 2 r dr (7.114)
avec m = 1 en coordonnes cylindriques et m = 2 en coordonnes sphriques. Ces quations ne sont pas valables en r = 0, car il y a une singularit apparente en (1/r ) ; il faut lever lindtermination, en effet, en r = 0, pour des raisons de symtrie, sant en r = 0 la rgle de Lhospital, on obtient alors lquation suivante : pas h d2 T (m + 1) 2 = 0 dr avec m = 1 en coordonnes cylindriques m = 2 en coordonnes sphriques Rappel de la rgle de Lhospital en r = 0 : 1 dT = r dr
d dr d dr dT dr dT dr
= 0. En utili-
(7.115)
(r )
d2 T dr 2
(7.116)
une hypothse du calcul. On peut imposer une condition supplmentaire sous rserve davoir unicit de la solution du problme. En effet, si on impose en r = rb une condition de Neumann, le problme (Neumann Neumann) admet une innit de solutions et on peut xer alors la temprature au centre du domaine. Par contre, en utilisant la condition de Neumann r = 0, par : d2 T 2(T2 T1 ) dr 2 r 2 (7.117)
dT dr
73
o r est le pas despace. En effet, nous avons : d2 T T2 2T1 + T0 dr 2 r 2 et : dT T2 T0 =0 dr 2r prcdents subsistent. (7.119) (7.118)
Dans le cas o ra = 0, les mmes problmes que ceux exposs dans les paragraphes
8
Mthodes mehrstellen
(8.1)
8.1.2 Principe
Au lieu de se donner des formules de discrtisation permettant de remplacer chaque drive dans lquation (u ) = f , on va se donner priori une quation aux diffrences et dterminer les coefcients de telle sorte que le problme discret approche le problme continu avec la meilleure prcision possible. On pose : r j+ U j +1 + r jc U j + r j U j 1 = h 2 q j+ f j +1 + q jc f j + q j f j 1 (8.2)
o f j +1 , f j et f j 1 , sont les valeurs du second membre aux points j + 1, j et j 1. Par rapport ce qui a t vu prcdemment, la valeur du second membre apparat en trois points au lieu dun seul ; on peut donc prvoir que la formule ainsi obtenue sera plus prcise. Il y a donc 6 coefcients dterminer r j+ , r jc , r j , q j+ , q jc et q j , en fait, ces coefcients ne sont pas indpendants et il ne faudra quen dterminer cinq. Pour dterminer ces coefcients, nous allons crire le dveloppement en sries de Taylor de la formule (8.2) et le mettre sous la forme E = par le dveloppement de (u ) au point x j +1 , soit : (8.3)
(k ) k =0 Tk u
f j +1 = a (x j +1 )u (x j +1 ) + b (x j +1 )u (x j +1 ) + c (x j +1 )
76
Mthodes mehrstellen
sont utiliss, o h est le pas de discrtisation suppos constant : h 2 h k (k ) u (x j ) + . . . + (1)k u (x j ) + O(h k +1 ) 2! k! h2 h k (k ) u (x j 1 ) = u (x j ) + hu (x j ) + u (x j ) + . . . + u (x j ) + O(h k +1 ) 2! k! u (x j 1 ) = u (x j ) hu (x j ) + de mme, nous aurons, pour les drives premire et seconde : h 2 h k (k +1) u (x j ) + . . . + (1)k u (x j ) + O(h k +1 ) 2! k! (8.5) k h 2 (4) kh (k +2) k +1 u (x j 1 ) = u (x j ) hu (x j ) + u (x j ) + . . . + (1) u (x j ) + O(h ) 2! k! u (x j 1 ) = u (x j ) hu (x j ) + et : h 2 h k (k +1) (x j ) + O(h k +1 ) u (x j ) + . . . + u 2! k! h 2 (4) h k (k +2) u (x j +1 ) = u (x j ) + hu (x j ) + u (x j ) + . . . + u (x j ) + O(h k +1 ) 2! k! u (x j +1 ) = u (x j ) + hu (x j ) +
(8.4)
(8.6)
Calculons les coefcients Tk . Tout dabord : T0 = r j+ + r jc + r j c h 2 q j+ + q jc + q j aux diffrences et les coefcients q j du second membre. T1 = h r j+ r j c h 3 q j+ q j + b h 2 q j+ + q jc + q j T2 = h2 + h4 r j + r j c q j+ q j + b h 3 q j+ q j + a h 2 q j+ + q jc + q j 2! 2! h3 + h5 h4 h3 T3 = r j r j c q j+ q j + b q j+ + q j + q j+ q j 3! 3! 2! 3! (8.8) (8.7)
de faon gnrale, on peut obtenir : Tk = hk h k +2 h k +1 r j+ + (1)k r j c q j+ + (1)k q j + b q + + (1)k +1 q j k! k! (k 1)! j hk +a q + + (1)k q j (k 2)! j
(8.9)
crivons que les trois premiers coefcients T0 , T1 et T2 sont nuls ; ce faisant, le schma de discrtisation obtenu sera consistant avec lquation diffrentielle rsoudre. Nous pouvons ainsi exprimer les coefcients r j en fonction des coefcients q j : r j+ + r jc + r j = c h 2 (q j+ + q jc + q j ) r j+ + r j = 2a (q j+ + q jc r j+ r j = b h (q j+ + q jc + q j ) + c h 2 (q j+ q j ) + q j ) + 2b h (q j+
(8.10)
q j ) + c h 2 (q j+ + q j )
Ces relations permettent de calculer les coefcients r j+ , r jc et r j en fonction des coefcients q j+ , q jc et q j , soit : r j+ = a (q j+ + q jc + q j ) + b h 2 (3q j+ + q jc q j ) + c h 2 q j+ r j = a (q j+ + q jc + q j ) + b h 2 (q j+ q jc 3q j ) + c h 2 q j+ r jc = ch
2
(8.11) q j )
(q j+ + q jc
+ q j r j+ r j ) = c h 2 q jc
2a (q j+ + q jc q j ) 2b h (q j+
77
(8.12)
Si on choisit q j+ = q j = 0 et q jc = 1, on peut calculer les coefcients r j , et on obtient : r j+ + r jc + r j = c h 2 ; soit encore : r j+ = a + bh ; 2 r j = a bh ; 2 r jc = 2a + c h 2 (8.14) r j+ r j = b h ; r j+ + r j = 2a (8.13)
ce qui correspond la formule obtenue avec la mthode des diffrences nies classiques en utilisant une formule centre pour la drive premire. ce stade, on constate que seule la formulation centre est obtenue, en effet, si on discrtise la drive premire laide dune formule dcentre, lerreur est en O(h ) et en u , terme qui a t suppos nul dans la construction prcdente. Pour obtenir les formulations dcentres, il ne faut plus annuler le terme contenant la drive seconde mais crire quil est en O(h ), soit : r j+ + r jc + r j = c h 2 ; r j+ r j = b h ; r j+ + r j = 2a + 2h (8.18)
78
Mthodes mehrstellen
Le terme en facteur de b est bien lexpression dune drive premire dcentre, en effet, si = 0, on retrouve lexpression de la drive centre, si = 1/2, on retrouve lexpression de la drive dcentre gauche et enn si = 1/2 lexpression de la drive droite. Dans un prcdent chapitre, la formule gnrale de la drive premire en trois points est donne sous la forme : u (x j ) U j +1 + (1 2 )U j (1 )U j 1 h (8.22)
aux diffrences est homogne, nous pourrons dterminer deux coefcients indpendants. crivons que T3 et T4 sont nuls. Il vient : q j+ (6a + 2b h ) + q j (6a + 2b h ) = b hq jc q j+ (5a + b h ) + q j (5a b h ) = a q jc Le dterminant de ce systme est Det = 60a 2 4b 2 h 2 et les deux solutions sont : q j+ q j = = q jc Det q jc Det (6a 2 + 3a b h b 2 h 2 ) (6a 3a b h b h )
2 2 2
(8.23)
(8.24)
On a considr le cas o le dterminant est non nul ; celui-ci sannule pour la valeur dterminant Det (suppos non nul), nous aurons alors : q j+ = 6a 2 + 3a b h b 2 h 2 q jc = 60a 2 4b 2 h 2 q j = 6a 2 3a b h b 2 h 2 (8.25) particulire h = 15a /b o encore b h /a = 15. En choisissant la valeur de q jc gale au
On remarque que les deux coefcients q j+ et q j sont symtriques et que lon passe de lun lautre en changeant h en h . Dans le cas o le dterminant est nul, nous allons vrier que le problme a une q j+ (6a + 2b h ) b hq jc = q j (6a + 2b h ) q j+ (5a + b h ) a q jc = q j (5a b h )
solution, pour cela, il suft de rcrire les quations sous la forme : (8.26)
non nul pour toute valeur de h . On peut remarquer que Det = q j et que lon retrouve les mmes valeurs que dans le cas prcdent. Calculons les coefcients T5 et T6 : h5 + h7 h6 h5 r j r j c q j+ q j + b q j+ + q j + a q j+ q j 5! 5! 4! 3! h6 + h8 h7 h6 T6 = r j + r j c q j+ + q j + b q j+ q j + a q j+ + q j 6! 6! 5! 4! T5 =
(8.27)
79
on peut vrier facilement que r j+ r j est en O(h ), tout comme q j+ q j . Le terme r j+ + r j O(h 6 ) la fois pour T5 et T6 ; lerreur de troncature de ce schma sera donc en O(h 4 ). Explicitons lerreur de troncature :
N
est en O(1) de mme que le terme q j+ + q j et par consquent les termes ngligs sont en
E=
k =0
Tk u (k ) (8.28)
= r j+ U j +1 + r jc U j + r j U j 1 c h 2 q j+ + q jc + q j =h
2
q j+ + q jc
+ q j
au +bu + cu f + h
2a (6) b u (5) u 5! 6!
= h 2 q j+ + q jc + q j
a u + b u + c u f + O(h 4 )
(8.29)
r j = r jc
q j c j 1
+ q jc c j
+ q j+ c j +1
On vrie que : r jc = q j (2a j 1 2hb j 1 ) q jc (2a j h 2 c j ) q j+ (2a j +1 + 2hb j +1 ) r j+ + r j = q j (2a j 1 2hb j 1 + h 2 c j 1 ) + q j+ (2a j +1 + 2hb j +1 + h 2 c j +1 ) (8.30)
80
Mthodes mehrstellen
U j 1 dans lquation gnrale, nous obtenons une relation entre les valeurs discrtes en trois points dune fonction et de sa drive seconde. Avec une telle formule, connaissant les valeurs discrtes dune fonction en tout point avec sufsamment de prcision, si on connat deux conditions limites portant sur la drive seconde, on pourra calculer avec une prcision O(h 4 ) les valeurs discrtes de la drive seconde :
72U j +1 144U j + 72U j 1 = h 2 6U j +1 + 60U j + 6U j 1
(8.32)
soit encore : U j +1 2U j + U j 1 h2 =
U j +1 + 10U j + U j 1
12
(8.33)
Il nest pas possible dutiliser le mme raisonnement pour obtenir une formule similaire reliant les valeurs de la drive premire et de la fonction en trois points ; pour cela, il faut utiliser des dveloppements en srie de Taylor directement. La formule de Numerov
et en dveloppant U et U en sries de Taylor, on obtient : u (x j ) + 2h 2 (4) 2h 4 (6) u (x j ) + u (x j ) = (a + b + c )u (x j ) + (a c )hu (x j ) 4! 6! h2 h3 h4 + (a + c ) u (4) (x j ) + (a c ) u (5) (x j ) + (a + c ) u (6) (x j ) 2! 3! 4!
(8.35)
nous pouvons donc choisir a , b et c de telle sorte que les termes en O(1) et en O(h 2 ) soient gaux dans cette quation, soit : a + b + c = 1; a c = 0; a + c = 1/6 (8.36)
ce qui donne a = c = 1/12 et b = 10/12 ; on retrouve ainsi la formule de Numerov et on vrie bien que cette formule est en O(h 4 ). La formule reliant les valeurs de la fonction et de sa drive premire sobtient en crivant : U j +1 U j 1 2h = a Uj +1 + b Uj + c Uj 1 (8.37)
8.2.2 Admissibilit
Reprenons lexemple prcdent o loprateur diffrentiel tait de la forme b u avec a et b constants ; le problme tait (u ) = a u + (u ) = a et on avait trouv les conditions
81
dadmissibilit correspondant aux schmas centr et dcentrs. Dterminons les conditions sur ; en posant = b h /a , nous avons q1 = r j+ = 72a 3 + 36a 2b h 3b 3 h 3 r j r jc = 144a 3
3 r r+
(8.40)
= 72a 36a b h + 3b h
on vrie que la somme de ces coefcients est bien nulle et donc : q1 = r 24 12 + 3 = r + 24 + 12 3 (8.41)
1. si b > 0, > 0 et nous devons avoir q1 ]0, 1[ soit, [24 12 + 3 < 24 + 12 3 autrement dit (12 2 ) > 0 do la condition : ]0, 2 3[ (8.42)
2. si b < 0, < 0 et nous devons avoir q1 ]1, [ soit, 24 12 + 3 > 24 + 12 3 autrement dit (12 2 ) < 0 do la condition : ] 2 3, 0[ (8.43)
En conclusion, on constate que, par rapport un schma centr dordre 2, non seulement la prcision est augmente (ordre 4), mais les conditions portant sur ladmissibilit sont moins strictes. (2 3 au lieu de 2).
8.2.3 Rsultats
Le graphe 8.1 indique que lerreur maximale entre solution numrique et solution exacte est bien dordre 4 du fait, dans le graphe log/log, de la prsence dune pente de 4. Par contre, trs rapidement (h > 0,001) la prcision de la machine est insufsante et lerreur augmente lorsque le pas diminue. Il est donc important de choisir un pas de discrtisation et une mthode compatibles avec la prcision de la machine.
82
Mthodes mehrstellen
104
103
pas h
102
101
100
), = 0,5 (
), = 0 (
) et mehr. (
9
Mthodes hermitiennes
9.1 Principe gnral
9.1.1 Problme
Les mthodes hermitiennes sont des mthodes numriques utilises pour rsoudre des quations diffrentielles en prenant comme inconnues non seulement la valeur de la fonction en un point mais aussi celles de ses drives premire et seconde. Ainsi, par
point, nous aurons trois inconnues au lieu dune et il faudra donc des quations supplmentaires pour fermer le systme. Les inconnues tant au nombre de trois, au lieu matrice est dnie comme tant une matrice par blocs. Le problme rsoudre est : (u ) = a u + b u + c u = f u (x a ) = u a u (x b ) = u b sur ]x a x b [ (9.1) davoir une matrice simple, nous aurons une matrice compose de blocs 3 3 ; une telle
9.1.2 quation
Si on crit loprateur au point x , dabscisse x = x i , nous aurons : (9.2)
a (x i )U i + b (x i )Ui + c (x i )Ui = f (x i )
et u (x ) en ce point i .
On crira : Pi ( , ) = 0 (9.4)
84
Mthodes hermitiennes
Si on effectue un dveloppement en sries de Taylor de cette formule, on montre que lerreur de troncature est sous la forme : h3 h4 u (4) + u (5) + (h 5 ) 6 30 nul, nous aurons la formule :
Pi ( , 0) = U i +1 + 4 Ui + Ui 1
(9.5)
dont les deux premiers termes ne peuvent pas tre nuls simultanment. Ainsi, si est 3 Ui +1 3 Ui 1 =0 h
(9.6)
ce qui conduit :
U i +1 + 4Ui + Ui 1
Ui +1 Ui 1 2h
(9.7)
U U i +1 i 1 soit :
U i +1 Ui 1
2 Ui +1 4 Ui + 2 Ui 1 =0 h
(9.8)
Ui +1 2Ui + Ui 1 h
(9.9)
(9.10)
De mme, on crira : Di (, , ) = 0 Lerreur de troncature de cette formule est : h4 h5 (3 2)u (6) u (7) + (h 6 ) 90 315 de Numerov :
U i +1 + 10Ui + Ui 1
(9.11)
(9.12)
12
Ui +1 2Ui + Ui 1 h2
(9.13)
et la prcision de cette formule est bien dordre 4. Dautres formules peuvent tre construites en utilisant dautres points, par exemple i , i + 1 et i + 2, ou i , i 1 et i 2, et nous aurons des formules dcentres qui seront moins prcises. Pour garder la mme prcision, il faut prendre en compte plusieurs points.
85
6 U i +1 + 10Ui + Ui 1 12
Ui +1 Ui 1 =0 2h Ui +1 2Ui + Ui 1 =0 h2
(9.14)
0
1 2h 1 h 2
0
1 6
0 0
1 12
ci 0
2 h2
bi
4 6
ai 0
10 12
0 21 h 1 h 2
0
1 6
U i 1 U i 1 0 Ui f i 0 Ui = 0 1 U 0 12 i Ui +1 U i +1 U i +1
Ui 1
(9.15)
En faisant de mme pour les N 2 points intrieurs (i = 2, . . . , N 1), on trouve une malimites, or on ne connat que les valeurs de la fonction aux deux extrmits. En utilisant des formules hermitiennes, on pourra trouver les quatre quations manquantes. Les mthodes de rsolution de systmes tridiagonaux par blocs sont analogues celles utilises pour la rsolution de systme tridiagonaux simples. trice tridiagonale par blocs 3 3. Pour fermer le systme, il faut utiliser les conditions
une seule quation 3 inconnues Ui 1 , Ui et Ui +1 . Cette mthode, propose par Krause et Al.[1976] est en fait la mthode Mehrstellen qui peut tre btie de faon diffrente. On considre les sept quations suivantes : a i 1 U + b i 1 U + c i 1 Ui 1 = f i 1 i 1 i 1 a i U i + b i U i + c i Ui = f i a i +1 Ui +1 + b i +1 U i +1 + c i +1 Ui +1 = f i +1 (9.16a) (9.16b) (9.16c)
86
Mthodes hermitiennes
Di (0, , ) = 0 Di (, 0, ) = 0 Di (0, , ) = 0 Pi ( , 0) = 0
Les quations (9.16d), (9.16e) et (9.16f) permettent de calculer explicitement les drives secondes aux points i 1, i et i + 1 en fonction des valeurs de la fonction et de la drive premire. forme : ri+ Ui +1 + ric Ui + ri Ui 1 = d i U i 1 = En liminant les 6 drives dans ces quations, on est conduit une quation de la
7Ui +1 16Ui + 23Ui 1 U i +1 + 8Ui + 6Ui 1 2h 2 h U U 2U 2U i +1 i 1 i +1 i 1 U + i = h2 2h 23Ui +1 + 16Ui 7Ui 1 6U i +1 + 8Ui Ui 1 U = + i +1 2h 2 2h Ui +1 + 4Ui + Ui 1 Ui +1 Ui 1 = 6 2h
(9.17)
Aprs calculs, nous avons, dans le cas ou a , b et c constants : 72a 3 + 36a 2b h 3b 3 h 3 + c (6a 2 h 2 + 3a b h 3 b 2 h 4) h2 3 2 2 2 144a + c (60a h 2b h 4) ric = h2 3 2 72a 36a b h + 3b 3 h 3 + c (6a 2 h 2 3a b h 3 b 2 h 4 ) ri = h2 ri+ = d i = qi+ f i +1 + qic f i + qi f i 1 avec : qi+ = 6a 2 3a b h b 2 h 2 qic = 60a 2 3b 2 h 2 qi = 6a 2 3a b h b 2 h 2 (9.19)
(9.18)
10
Rsolution de systmes tridiagonal ou pentadiagonal
b n 1 an
xi = si . . . . . . c n 1 x n 1 s n 1 bn xn sn
x1 x2 . . .
s1 s2 . . .
(10.1)
On pose la relation de rcurrence suivante : x i = Ei x i +1 + Fi En reportant lquation (10.2) crite pour i 1 dans (10.1), il vient : (a i Ei 1 + b i )x i + c i x i +1 = s i a i Fi 1 en crivant que les quations (10.2) et (10.3) sont compatibles, nous avons : 1 Fi Ei = = ci a i E i 1 + b i s i a i Fi 1 soit encore : E i = c i a i E i 1 + b i Fi = s i a i Fi 1 a i Ei 1 + b i (10.5) (10.4) (10.3) (10.2)
laide des formules (10.5). Connaissant x n , la formule (10.2) permet de calculer les x i , pour i = n 1, 1. Les coefcients E1 et F1 sobtiennent par identication entre x 1 = E1 x 2 + F1 et b 1 x 1 + c 1 x 2 = s 1 , soit E1 = c 1 /b 1 et F1 = s 1 /b 1 , et la valeur x n , par identication s n a n Fn 1 a n E n 1 + b n
entre x n = En x n +1 + Fn , x n 1 = En 1 x n + Fn 1 et a n x n 1 + b n x n = s n cest--dire : xn =
(10.6)
88
On remarque que cela correspond x n = Fn ou encore En = 0, do les formules gnrales de cet algorithme : c1 s1 , F1 b1 b1 ci Ei a i E i 1 + b i s i a i Fi 1 Fi a i E i 1 + b i s n a n Fn 1 x n = Fn a n E n 1 + b n E1 x i Ei x i +1 + Fi ou encore : c1 s1 , F1 b1 b1 ci Ei a i E i 1 + b i s i a i Fi 1 Fi a i E i 1 + b i E1 En 0 x i Ei x i +1 + Fi i = n,1 Il est alors possible de noter que : 1. en prenant 0 comme valeur des coefcients E0 et F0 , les formules (10.5) sappliquent aussi en i = 1, de mme, en prenant c n = 0, ces formules sappliquent pour i = n ; 2. dans la pratique, il nest pas utile de crer des tableaux E et F, sauf si on a rsoudre la matrice pour plusieurs seconds membres et on a : c1 d1 , d1 b1 b1 ci ci a i E i 1 + b i s i a i Fi 1 di a i E i 1 + b i s n a n Fn 1 x n Fn = a n E n 1 + b n c1 x i Ei x i +1 + Fi tme initial comme suit : 1 E1 1 E2 .. . 1 Ei .. . 1
i = 2, n 1 i = 2, n (10.7)
i = n 1, 1
i = 2, n 1 i = 2, n (10.8)
i = 2, n 1 i = 2, n (10.9)
i = n 1, 1
x i = Fi . . . . . . En 1 x n 1 Fn 1 1 xn Fn
(10.10)
10.2 Factorisation LU
89
10.2 Factorisation LU
Un systme tridiagonal peut se rsoudre de faon trs rapide en utilisant la factorisation LU, en effet une matrice tridiagonale se factorise en deux matrices bidiagonales et la factorisation naugmente donc pas le nombre de coefcients stocker. Le systme rsoudre est le systme (10.1). En appelant l i le terme de la diagonale infrieure de la matrice L, d i le terme de la diagonale principale et u i le terme de la diagonale suprieure de la matrice U, la mthode scrit : (a) factorisation : d 1 = b 1 ; u 1 = c 1 l i = a i /d i 1 u i = ci d i = b i l i c i 1
i = 2, n
(10.11)
Le compte dopration est le suivant : rsolution : 2(n 1)(1 addition +1 multiplication)+ n divisions dcomposition : (n 1)(1 addition +1 division +1 multiplication)
a 2 0 0 0 0
(10.14)
90
En renumrotant les termes selon la rgle suivante : 1, 3, 5, 7, 9, . . . . . . . . . . . . . , 2k + 1 2, 6, 10, 14, . . . . . . . . . . . . . , 22 k + 2 4, 12, 20, . . . . . . . . . . . . . . . , 23 k + 4 8, 24, . . . . . . . . . . . . . . . . . . . , 24 k + 8 16, 48, . . . . . . . . . . . . . . . . . . , 25 k + 16 les inconnues seront donc ranges dans lordre (x 1 x 3 x 5 x 2 x 6 x 4 ) et le systme initial sera alors transform sous la forme : b1 0 x s 0 c1 0 0 1 1 0 b 3 0 a 3 0 c 3 x 3 s 3 0 b 5 0 c 5 a 5 x 5 s 5 0 = a 2 c 2 0 b 2 0 0 x 2 s 2 0 x s 0 b 0 0 a 6 6 6 6 0 a 4 c4 0 0 b4 x4 s4
(10.15)
Si on considre les trois premires lignes, les variables (x 1 x 3 x 5 ) sont dcouples et il est facile de les exprimer en fonctions des variables (x 2 x 4 x 6 ) ; on peut ainsi les liminer dans les trois dernires lignes et obtenir un systme de la forme : c1 0 b1 x s 2 1 a b c x 4 = s 2 2 2 2 0 a b x s3 6 3 3
(10.16)
qui est en tout point analogue au systme initial avec deux fois moins de variable. Si le systme tait quelconque, les trois variables x 1 , x 3 et x 5 seraient couples et il faudrait donc liminer ces variables par des mthodes classiques. En rordonnant ce systme en prenant la mme rgle que prcdemment, nous aurons : 0 c3 x s b1 2 1 0 b c x 6 = s 3 1 3 a c b x s2 4 2 2 2
(10.17)
les deux premires lignes permettent dexprimer x 2 et x 6 en fonction de x 4 et donc en reportant dans la dernire quation de dterminer la valeur de x 4 . Connaissant cette valeur, on peut donc calculer celles de x 2 et x 6 puis celles de x 1 , x 3 et x 5 .
10.3.2 Calculs
Reprenons en dtail les calculs ncessaires lcriture de lalgorithme de rduction cyclique : 1. limination des variables x 1 , x 3 et x 5 ; nous pouvons crire : s 1 c 1x 2 b1 s 3 a 3x 2 c 3x 4 x3 = b3 s 5 a 5x 4 c 5x 6 x5 = b5 x1 =
(10.18)
91
En reportant dans les trois autres quations, nous aurons : a 2x 1 + b 2x 2 + c 2x 3 = s 2 soit : a 2 (s 1 c 1 x 2 ) c 2 (s 3 a 3 x 2 c 3 x 4 ) + b 2x 2 + = s2 b1 b3 a 2c 1 a 3c 2 x 4c 3c 2 s 1a 2 s 3c 2 x2 b2 = s2 b1 b3 b3 b1 b3 puis : a 4x 3 + b 4x 4 + c 4 x 5 = s 4 x 2a 2a 3 a 4c 3 a 5c 5 + x4 b4 b1 b3 b5 + x 6 c 5c 4 s 3a 4 s 5c 4 = s4 b5 b3 b5 (10.20) (10.19)
et enn :
a 6x 5 + b 6x 6 = s 6 x 4a 5a 6 c 5b 6 + x6 b6 b5 b5 = s6 s 5a 6 b5 (10.21)
(10.22)
(10.23)
soit b 1 x4 = s1 avec b 1 = b2 a 2 c 1 /b 1 a 3 c 2 /b 3 et s 1 = s 2 a 2 s 1 /b 1 s 3 c 2 /b 3 .
x4 =
(10.24)
et : x1 = x3 =
s1 c 1 x 2 b3 s3 a 3x 2 c 3 x 4
b3 s a 5x 4 c 5 x 6 x5 = 5 b3
(10.25)
92
a 2 e 3
a n 1
b n 1
x2 s2 x s 3 3 . . . . . . xi = si . . . . . . f n 2 x n 1 s n 2 c n 1 x n 1 s n 1 bn xn sn
(10.26)
La premire tape consiste liminer les coefcients e i , ce qui revient en fait liminer linconnue correspondante x i 2 dans lquation i . Le systme transform scrit :
b1 c1 b2 f1 c2 b3 f2 c3 .. . f3
x1
s1
a 2
a 3
a i
b i
c i .. . a n 2
f i
bn 2 cn 2
a n 1
bn 1
a n
x2 s2 x s 3 3 . . . . . . x i = s i . . . . . . s fn 2 x n 1 n 2 s cn n 1 1 x n 1 bn xn sn
(10.27)
avec :
b1 = b1, c1 = c1 f 1 = f 1, s 1 = s1 a = a 2, b 2 = b2, c2 = c2, f 2 = f 2, s 2 = s2 2
a i = ai b i = b i c i = c i f i = f i s i = s i
e i b i 1 e i c i 1 a i 1
e i f i1 a i 1 e i s i 1 a i 1
a i 1
(10.28)
93
x1
s1
c i
f i .. . 1
cn 2
x2 s2 x s 3 3 . . . . . . x i = s i . . . . . . s fn 2 x n 1 n 2 s cn n 1 1 x n 1 1 xn sn
(10.29)
c i = f i
f i
(10.30)
s i =
a i d i 1 s i a i c i 1 b i
a i c i 1 b i
Une fois ce calcul effectu, connaissant la valeur de x N , la solution sobtient par la formule : x i = s i c i x i +1 f i x i +2 (10.31)
11
quations aux drives partielles paraboliques - quation dadvection-diusion instationnaire
11.1 Problme
On se propose dtudier une quation aux drives partielles du second ordre de type parabolique o les deux variables seront le temps t et une dimension despace x (co-
qui est
(11.1)
o on suppose que V et a sont soit des constantes, soit des fonctions du temps t et de la variable despace x . Dans de nombreux problmes, V est une fonction de u ; mais dans ce cas, lquation aux drives partielles devient non linaire et doit tre traite dans un processus global itratif. La connaissance de la classication des quations aux drives partielles et du monde des coniques est un pr requis. Soit rsoudre le problme suivant : quation locale : (u ) = 0 pour t > 0 condition initiale donne : u (0, x ) conditions limites donnes : u (t , x a ) u (t , x a ) x ou u (t , x ) b u (t , x )
b
x ]x a x b [
(11.2)
(11.3)
ou u (t , x a ) u (t , x b ) x x (11.4)
ment et on appelle x le pas despace et J le nombre de points de discrtisation en x . Les conditions limites peuvent tre de type Dirichlet, Neumann ou de Robbin. Dans un premier temps, nous considrerons des conditions limites de type Dirichlet ; le traitement des conditions limites faisant apparatre les drives spatiales fera lobjet dun paragraphe particulier. et au point dabscisse x j ; lindice n dsigne donc le temps et j lespace.
n n On notera Un j u (t , x j ) la valeur discrte approche de la fonction u au temps t
96
(11.5)
Plus gnralement ; un schma sera dit explicite si la valeur de linconnue en un point ne sexprime quen fonction des tapes connues des temps antrieurs ; cest dire que nous aurons :
+1 = F(Uk ) Un j l
(11.6) J.
avec k
n et 1
, scrit :
n j
u t
+1 Un Un j j
(11.7)
n j
n Un j +1 U j 1
2x
(11.8)
n n Un j +1 2U j + U j 1
x 2
(11.9)
V a n n n Un Un j +1 U j 1 = j +1 2U j + U j 1 2x x 2
(11.10)
soit encore :
+1 Un = Un j j
Vt a t n n n Un Un j +1 U j 1 + j +1 2U j + U j 1 2x x 2
(11.11)
On fait ainsi apparatre deux nombres caractristiques sans dimension qui sont : nombre de Courant : C = Vt x nombre de diffusion : D = a t x 2
Le schma ci-dessous prsente la structure de la maille de discrtisation en quatre points : Le schma explicite ainsi dni peut se mettre sous la forme gnrale :
+1 n c n n Un = a+ j j U j +1 + a j U j + a j U j 1
(11.12)
97
n +1 n j 1
+ j j +1
gure 11.1 - Maille de discrtisation du schma FTCS avec point inconnu ; + point dapplication de la discrtisation, point connu
c avec a + j = D C/2, a j = 1 2D et a j = D + C/2. Au pas de temps n + 1, les points sont
n + 2. Comme le schma est explicite, des points voisins sont indpendants et peuvent donc tre calculs dans un ordre quelconque, ce qui permet de vectoriser lalgorithme de rsolution sur des machines vectorielles.
11.2.3 Dnitions
Consistance
Un schma sera dit consistant sil approxime lquation aux drives partielles, autrement dit, que si le pas despace et le pas de temps tendent vers zro, alors, le schma discret tend vers la solution du problme continu. Pour vrier la consistance dun schma numrique, on utilise les dveloppements en sries de Taylor et on remplace chaque valeur discrte en un point par le dveloppement de la fonction continue associe. Lanalyse de la consistance conduit en fait dterminer lerreur de troncature du schma ainsi que lordre de la prcision.
Stabilit
Un schma sera dit stable si les erreurs ne sont pas amplies. Les conditions de stabilit portent sur le schma numrique lui-mme et signient que la solution numrique (obtenue sur une machine) doit rester proche de la solution exacte du problme discret.
Convergence
Un schma sera dit convergent si la solution numrique tend vers la solution exacte du problme continu lorsque les pas de discrtisation tendent vers zro.
Thorme de Lax
Intuitivement ; on conoit bien que les trois proprits prcdentes soient lies entre elles et il existe un thorme dit Thorme dquivalence de Lax qui traduit ce fait : Pour un problme aux valeurs initiales bien pos et pour un schma de discrtisation consistant, une condition ncessaire et sufsante pour quil y ait convergence est que le schma de discrtisation soit stable.
(11.13)
98
soit :
+1 Un u (t n +1 , x j ) j
u (t n , x j ) + t u t (t n , x j ) +
n Un j +1 u (t , x j +1 )
(11.14) t 2 t 3 u t t (t n , x j ) + u t t t (t n , x j ) + (t 4 ) 2! 3!
u (t n , x j ) + x u x (t n , x j ) + +
n Un j 1 u (t , x j 1 )
x 2 x 3 u xx (t n , x j ) + u xxx (t n , x j ) 2! 3!
(11.15)
x 4 4!
u xxxx (t n , x j ) + (x 5 )
u (t n , x j ) x u x (t n , x j ) + +
x 2 x 3 u xx (t n , x j ) u xxx (t n , x j ) 2! 3!
(11.16)
c n n + u (t n , x j )(1 a + j a j a j ) + t u t (t , x j ) x u x (t , x j )(a j a j )
(11.17)
(11.18)
(11.20)
On retrouve ainsi lquation diffrentielle initiale u t (t n , x j ) + Vu x (t n , x j ) a u xx (t n , x j ) t x 2 x 2 u t t (t n , x j ) + V u xxx (t n , x j ) a u xxxx (t n , x j ) (11.21) 2! 3! 12 Le schma FTCS est donc bien consistant et son ordre est 1 en temps et 2 en espace car les termes signicatifs de lerreur de troncature sont ment. (t ) et (x 2 ) respectivement et lerreur de troncature tend bien vers zro lorsque t et x tendent vers zro simultan-
99
Premire solution
Elle scrit comme suit :
n +1 n = Pj Pj
Vt a t n n +1 n n +1 n n +1 Pj + Pj Pj Pj +1 Pj 1 + +1 Pj 1 2x x 2 Vt a t + 2x x 2 a t x 2 Vt a t + 2x x 2
(11.22)
soit encore : 1+ a t x 2
n +1 Pj = n +1 Pj 1 + 1 n Pj + n Pj +1
qui est calcule pour des valeurs de j croissantes. Ainsi lorsque le point (n + 1, j ) est cal-
cul, la valeur (n + 1, j 1) est connue et est donc utilise. En reprenant les deux nombres sans dimension C et D, lquation (11.22) devient :
n +1 = (1 + D) Pj
C C n +1 n n + D Pj + D Pj 1 + (1 D) Pj + +1 2 2
(11.23)
Deuxime solution
Elle scrit comme suit :
+1 Qn = Qn j j
a t Vt +1 n +1 n +1 n Qn Qn Qn j +1 Q j 1 + j +1 Q j j + Q j 1 2x x 2 Vt a t + 2x x 2 a t x 2 Vt a t + 2x x 2
(11.24)
soit encore : 1+ a t x 2
+1 Qn = j +1 Qn j +1 + 1
Qn j +
Qn j 1
Cette solution est calcule pour des valeurs de j dcroissantes. De mme, en utilisant C et D, lquation (11.24) devient :
+1 (1 + D) Qn = j
C C +1 n + D Qn + D Qn j +1 + (1 D) Q j + j 1 2 2
(11.25)
Solution rsultante
+1 La solution du problme Un est dnie par : j +1 Un = j n +1 +1 Pj + Qn j
(11.26)
n +1 +1 Il est donc important de choisir des conditions initiales pour Pj et Qn qui satisfont j
cette dernire relation. On peut montrer, dans le cas de lquation de la chaleur que la prcision de ce schma est bien en des solution est prcise en (x 2 ), (x 2 ), mais est aussi en (t 2 ) et (t 2 ), alors que chacune
t ( ). En effet ; si on calcule lerreur de x2
1. La dmonstration gnrale du calcul de lerreur de troncature sera effectue dans le cas des schmas implicites.
100
+ (x 2 ) + (t 2 ) . . . (11.28)
(11.29)
est intressant de noter quici, on a obtenu un schma consistant partir de deux tapes qui sont individuellement non consistantes.
Forme gnrale
Les deux schmas prcdents peuvent se mettre sous la forme gnrale suivante :
n +1 c n +1 n +1 + n c n n + + j U j +1 + j U j j U j 1 = a j U j +1 + a j U j + a j U j 1
(11.30)
C C n +1 n n + D Pj + D Pj 1 = (1 D) Pj + +1 2 2
(11.31)
la solution Q, on trouve :
C C +1 n +1 D Qn = (1 D)Qn + D Qn j +1 + (1 + D)Q j j + j 1 2 2
+ c c avec + j = C/2 D, j = 1 + D, j = 0, a j = 0, a j = 1 D et a j = D + C/2.
(11.32)
tion exacte de ce problme discret. On ne considre ici que les solutions du problme discret et on ne compare pas ces solutions avec la solution exacte du problme continu n +e n u (t n , x j ). On peut donc dnir une quation introduisant lerreur, on pose Un = U
j j j +1 n en tout point et on reporte ces valeurs dans lquation aux diffrences Un = a+ j j U j +1 + n n ac j U j + a j U j 1 , soit :
(11.33)
qui est solution exacte du problme discret ; nous avons une quaPar dnition de U,
(11.34)
101
et on peut constater que les volutions de cette erreur sont analogues celles de la solution. Si loprateur de discrtisation est linaire, on peut crire les diffrents rsultats sous forme vectorielle, en posant : n , vecteur solution exacte au temps n ; U Un , vecteur solution numrique au temps n ; en , vecteur erreur entre solution exacte et solution numrique au temps n . n = Un + en et on suppose que lquation aux diffrences se Par dnition, nous aurons U met sous forme matricielle Un +1 = AUn o A est une matrice carre. Nous aurons donc : n +1 en +1 = AU n Aen U donc du mme oprateur linaire A. (11.35)
pace en sries de Fourier lerreur en introduisant un nombre donde k = 2/ o est une longueur donde caractristique. Le signal sur lintervalle [x a x b ] est ramen sur lintervalle [0 L] o L = x b x a et prolong par symtrie sur lintervalle [L L]. Si x est le pas de discrtisation ; la plus petite longueur donde admissible est min = 2x et la plus grande longueur donde sera max = 2L. Si maintenant on raisonne sur les nombres donde, nous aurons k max = /x et k min = /L. Dans la dcomposition de Fourier, si j dsigne lindice du point les harmoniques seront donns par la formule pour j = 0, J 1 : k j = j k min = j j = L (J 1)x j = 0, J 1 (11.36)
On a suppos que le maillage contenait J points en x et que x = L/(J 1). Dans ces conditions, nous aurons comme expression de lerreur : e jn =
J 1 l =J +1 J 1 l =J +1
En ei k l j x = l
En ei j l /(J1) l
(11.37)
avec i2 = 1 et En l dsigne lamplitude au temps n de la composante l de la srie. Lharmonique correspondant l = 0 est une fonction constante dans lespace et correspond la valeur moyenne du signal. Le terme k l x est appel angle de phase et not : = que pour voisin de , les frquences seront leves.
n n c n a+ j e j +1 + a j e j + a j e j 1 , nous avons : J 1 l =J +1 +1 i k l j x En e l
k l x = l (J 1) ; pour voisin de zro, les frquences concernes seront faibles, alors En reportant cette expression dans lquation aux diffrences rgissant lerreur, e jn +1 =
J 1 l =J +1
En a+ ei k l ( j +1)x + a c ei k l j x + a ei k l ( j 1)x l j j j
(11.38)
(11.39)
102
Module damplication
En isolant une composante l :
+1 n i c n n i En = a+ l j El e + a j El + a j El e
(11.40)
que lon peut mettre sous la forme En +1 = g En , o g est le facteur damplication de lerreur en fonction du temps pour la composant l de la transforme de Fourier. En crivant que le module de g est infrieur ou gal 1 pour toutes les composantes et quelle que soit la valeur de l on dira que le schma est stable. |g | = E n +1 En 1 (11.41)
(11.42)
(11.43)
do la valeur de g :
+ + g = ac j + (a j + a j ) cos + i(a j a j ) sin
(11.44)
g est un nombre complexe dont il faut tudier le module. Ce nombre complexe dpend des deux pas de discrtisation temporelle t et spatiale x qui sont choisis par lutilisateur du schma numrique et des constantes physiques du problme (V et a dans lexemple).
(11.45)
+ + Cette ellipse est centre au point (a c j , 0), et a pour axes |a j + a j | et |a j a j |. Dans le cas
+ ac j = 1 (a j + a j ) = 1 2D a+ j + a j = 2D
(11.46)
a+ a j j
= C
Par consquent, lellipse est centre au point (1 2D, 0) et a pour axes 2D et C. Les -
103
C>1
r =1 C 2D x
r =1
D > 1/2
(a) 1 2D
0 et |C|
(b) 1 2D
0 et |C|
Ces conditions ne sont pas sufsantes, en effet, pour tre complet, il faut aussi imposer que lellipse est inclue dans le cercle de rayon unit. Il faut donc calculer les intersections de lellipse et du cercle et crire que la seule solution est le point (1, 0). Lquation de cette ellipse est :
2 (x (1 a + j a j )) 2 (a + j +aj )
y2
2 (a + j aj )
=1
(11.48)
(11.49)
(11.50)
et cette valeur doit tre telle que |x | < 1 pour quil y ait stabilit. On trouve alors la condition : a )2 (a + j j a+ +a j j (11.51)
soit, dans le cas prcis du schma FTCS : C2 2D (11.52) 1/2. Finalement, on obtient les conditions suivant : (11.53) 1 est bien retrouve.
104
nme de degr 2 en cos et calculer les variations de cette fonction. Le calcul est souvent
fastidieux et il est prfrable, sauf cas particulier dutiliser une autre mthode danalyse.
(11.54)
et dveloppons cette expression ; il vient : g 2 = (a c )2 + (a + +a )2 cos 2 + 2a c (a + +a ) cos + (a + a )2 sin 2 j j j j j j j j Effectuons la transformation : z= 1 cos 2 (11.56) (11.55)
o z varie de faon monotone entre 0 et 1 lorsque varie sur un intervalle de 2. Nous avons donc cos = 1 2z , cos 2 = (2z 1)2 et sin 2 = 4z (1 z ) ; en remplaant dans lexpression de g 2 , il vient :
2 + 2 c + + 2 + 2 g 2 = (a c j ) + (a j + a j ) + 2a j (a j + a j ) + 4z (a j + a j ) + (a j a j )
ac (a + +a ) + 4z 2 (a + +a )2 + (a + a )2 j j j j j j j
(11.57)
(11.58)
(11.59)
et crire que | g |
4z (a + a )2 (a + +a ) + 16z 2 a + a j j j j j j
or comme z est compris entre 0 et 1, pour satisfaire la condition ; il suft dcrire que :
2 + + (a + j a j ) (a j a j ) + 4z a j a j 2 + do les conditions (a + j a j ) (a j + a j )
(11.61)
2 + + 0 en z = 0 et (a + j a j ) (a j a j )+ 4a j a j
en z = 1. Finalement :
(a + +a )2 (a + +a ) j j j j ou encore :
2 + (a + j a j ) (a j + a j )
(a + a )2 (a + +a ) j j j j
0 0
(11.62)
0 0
(a + +a )(a + j j j
+a 1 ) = a c (a + +a ) j j j j
(11.63)
105
(11.64)
La condition C2 vitesse.
de CFL. Cette condition ne porte que sur le terme de convection car il fait intervenir la Examinons ce qui se passe pour t et x : (i) D (ii) C2 (iii) C2 1/2,
a t x 2
1/2 so t
a V2 x . |V|
x 2 2a
2D, t 1, t
Ces trois conditions sont de nature diffrente ; en effet, la premire condition ne fait intervenir que le pas de temps et le coefcient de diffusion ; la seconde condition ne fait pas intervenir le pas despace. Si on calcule le rapport |C| |V|x = D a
|C| , D
sans dimension appel par analogie nombre de Reynolds de maille, soit : Rex = (11.67)
2D
(11.68)
et
1 2
j = 2, J 1
(11.70)
106
(11.71)
e jn +1 +1 e jn 1
n c n + n = a j e j 1 + a j e j + a j e j +1 n c n = a j 1 e j 2 + a j 1 e j 1
Et on peut trouver une forme matricielle en +1 = Aen , o A est une matrice carre dordre cas dune quation de diffusion pure, la matrice associe a la forme suivante : 1 2D D D 1 2D D .. . A= D 1 2D D .. . D 1 2D D D 1 2D J 2. Lerreur en +1 est borne si le rayon spectral de la matrice A est infrieur 1. Dans le
(11.72)
Les J 2 valeurs propres de cette matrice sont calculables analytiquement et nous avons : j j = 0, J 3 (11.73) 2(J 3) Le rayon spectral de la matrice A, not (A) est le maximum sur j de la valeur absolue de j = 1 4D sin2 j , soit : (A) = max | j | La condition 1 1 4D 1, se traduit par D (11.74)
en effet ; les deux valeurs extrmes des valeurs propres sont respectivement 1 et 1 4D. 1/2. Pour que (A) soit infrieur ou gal 1 quelque soit j , il faut donc que D soit infrieur 1/2.
c Dans le cas o les coefcients a + j , a j et a j ne sont pas constants, il faut calculer
numriquement la valeur propre de plus grand module et vrier que son module est infrieur 1.
(11.75)
107
V<0: u x
n j
n Un j +1 U j
(11.76)
do la forme gnrale : u x
n j
n n Un j +1 + (1 2)U j (1 )U j 1
(11.77)
avec = 0 si V > 0 (C > 0) et = 1 si V < 0 (C < 0). Dans ces conditions, le schma dcentr scrit :
+1 Un = a+ Un +ac Un + a Un j j j +1 j j j j 1
(11.78)
avec : Vt a t + = D C x x 2 Vt a t = 1 (1 2) 2 = 1 (1 2)C 2D ac j x x 2 Vt a t a = (1 ) + = D + (1 )C j x x 2 a+ = j
En utilisant les rsultats prcdents concernant la stabilit, on montre que a + j +aj = 2D + (1 2)C et a + j a j = C, do les deux conditions :
C2 2D (1 2)C
et
(11.79)
Examinons la premire condition : si = 0, nous avons C2 C < 2D ; si = 1, nous avons C2 + C < 2D. Ces deux cas peuvent se mettre sous la mme forme, soit : C2 |C| < 2D La deuxime condition scrira : si = 0, (2D + C)(1 2D C) soit la forme gnrale : 0; 0. si = 1, (2D C)(1 2D + C) (2D + |C|)(1 2D |C|) 0 (11.80)
(11.81)
comme le premier terme est ncessairement positif, la condition scrit : 1 2D |C| 0 (11.82)
Ces conditions sont plus difciles interprter directement ; aussi il est pratique dintroduire le nombre de Reynolds de maille Rex , soit : D 2 + Rex Rex
2
1 2 + Rex
(11.83)
108
La premire constatation (paradoxale) est que, pour de faibles valeurs du nombre de Reynolds de maille, la dcentration upwind a un effet pnalisant sur les conditions de stabilit, par contre pour les fortes valeurs, le fait de dcentrer impose des conditions de restriction moindres. Si on compare les deux schmas (centr et dcentr), la valeur critique du nombre de Reynolds de maille pour laquelle le schma dcentr est moins pnalisant sobtient par lquation : 1 1 = 2 + Rex Rex 2 Rex = 1 + 5 (11.84)
(11.85)
Un schma sera dit implicite si la valeur de linconnue en un point sexprime en fonction de celles de points voisins cette tape inconnue et des temps antrieurs. Il nest donc pas possible de calculer un point (n + 1, j ) de faon isole. Le fait dintroduire des schmas implicites doit permettre damliorer les proprits des schmas explicites et ce de deux faons, soit en augmentant la prcision, soit en augmentant le domaine de stabilit.
(11.86)
et les drives spatiales seront des pondrations entre les temps n et n + 1 ; soit : u x
n +1/2
=
j
u x
n +1 j
+ (1 )
u x
0
j
(11.87)
Plus gnralement ; on peut crire lquation aux drives partielles initiale sous la forme : u = x (u ) t x est loprateur diffrentiel spatial dni par :
x (u ) = V
(11.88)
u 2u +a x x2
(11.89)
=
j
n +1/2 x (u )| j
n +1 x (u )| j
+ (1 )
n x (u )| j
(11.90)
109
Le schma de Crank Nicolson proprement dit correspond = 1/2 et si = 0, on retrouve un schma explicite. Si = 1, nous aurons un schma implicite pur. Les drives spatiales scrivent (avec un pas constant en x ) : u x 2u x2
n j n Un j +1 U j 1
n j
2x
n n Un j +1 2U j + U j 1
x 2
En reportant ces expressions, nous pouvons crire ce schma sous la forme gnrale
n +1 c n +1 n +1 + n c n n + + j U j +1 + j U j j U j 1 = a j U j +1 + a j U j + a j U j 1
(11.92)
12(1 )D et a j = (1 )(D+C/2). Ceci conduit la rsolution dun systme dquations linaires qui est tridiagonal, soit : CL c 2 + 2 .. . j c j + j .. . N 1 c N 1
U1
d1
U d 2 2 . . . . . . Uj = d j . . . . . . d N 1 + N1 UN1 CL UN dN
(11.93)
En toute rigueur, il faut maintenant tudier la consistance et les conditions de stabilit. La dmarche est analogue celle effectue dans les paragraphes prcdents. Le schma 11.3 prsente la structure de la maille de discrtisation.
n +1 n + 1/2 n j 1 + j j +1
gure 11.3 - Maille de discrtisation du schma avec point inconnu ; + point dapplication de
la discrtisation (point ctif ), point connu
(11.94)
2. Du fait de la nouvelle dnition du paramtre dans lquation (11.87), le paramtre de lquation (11.44) est momentanment remplac par
110
4z 4a + a +ac (a + +a ) + 16z 2 a + a j j j j j j j
(11.95)
En utilisant le fait que, dans le cas de lquation dadvection diffusion sans terme source,
+ c c les coefcients vrient les relations a + j + a j + a j = a j + a j + a j = 1, le module g scrit : + 1 (a + j + a j )(1 cos ) + i(a j a j ) sin + 1 (a + j + a j )(1 cos ) + i(a j a j ) sin 1cos , 2
g=
(11.96)
Dans ces conditions, en effectuant la mme transformation que celle effectue dans ltude des schmas explicites, z = les conditions de stabilit scrivent : 0 0 (11.97)
+a )2 (a + +a )2 (a + j j j j
2 + 2 + + (a + j a j ) (a j a j ) (a j + a j ) + (a j + a j )
(a + +a ) + (a + +a ) j j j j
Ces formules sont tout fait gnrales et peuvent tre appliques tout schma implicite ou explicite faisant intervenir deux niveaux de temps. Dans le cas du schma de Crank-Nicolson pondr, nous avons les deux conditions : (2 1)C2 + 2D 0 2D(1 2D(1 2 )) 0 (11.98)
(11.99)
et remplaons les valeurs discrtes par les valeurs continues puis effectuons le dveloppement en sries de Taylor dune fonction de deux variables au point (n + 1/2, j ) : u j +e 1 + 2 + + 1 3! 1 4!
n +1/2+e /2
= u +
2
e t u t + e x u x 2
e t 2 e t 2 e t 2 +6
u tt + e t e x u tx + (e x )2 u xx 3
u tt t + 3
4
e t 2 e t 2
e x u tt x + 3
3
e t (e x )2 u txx + (e x )3 u xxx 2
(11.100)
u tt t t + 4 e t 2
2
e x u tt t x e t 2
2 (e x )2 u txxx + (e x )4 u xxx
(e x )2 u tt xx 4
Les six points du maillage auront les valeurs de (e , e ) donnes dans le tableau 11.1, ce
111
(e = 1, e = 0)
1 2
t u x u x 2 t t 2 u t t + t x u tx + x 2 u xx 2 t 2 t 2
4 3
1 + 3! + 1 4!
u tt t
t 3 2 t 2
3
x u tt x 3 x u tt x + 6
t x 2 u txx x 3 u xxx 2 t 2
2
(11.101)
u tt t t + 4
x 2 u tt xx
et des formes analogues pour les autres points. La forme gnrale de cette quation est alors : +ac +a (a + +ac +a )] u [ + j j j j j j +
t + + c + + u [a + a c j + a j + a j + a j + a j ] + x u t [a j a j a j + a j ] 2 t j t 2 + x + u t t [a j + a c +a (a + +ac +a )] + u [a + a +a+ a ] j j j j j j j j 8 t 2 t x j x 2 t 3 + + c u xx [a + u [a + + a c + + a a + a ] + j j j j j +aj +aj +aj +aj ] 2 48 t t t j (11.102) t 2 x 2 + + + + x u t t x [a + a ( a a )] + t u [ a + a + a + a ] j j j j j j j 8 4 t xx j 3 4 x t + + c + u [a + a u [a + + a c j (a j + a j )] + j + a j (a j + a j + a j )] 6 xxx j 384 t t t t j 2 t 3 + 2 t + + x u t t t x [a + u [a + a j a j + a j a j ] + x j aj aj ] 48 16 t t xx j x 3 x 4 + + t u t xxx [a + a + a a ] + u [a + + a (a + +a )] j j j j j j j 48 24 xxxx j
Dans le cas du schma de Crank-Nicolson, les coefcients du schma sont : + + = C / 4 D / 2 j a j = D/2 C/4 c j =1+D j et = C/4 D/2 ac j =1D a j = D/2 + C/4
(11.103)
et
= D
+ j j = C/2 a+ +a j =D j + a j a j = C/2
(11.104)
112
x 2 t 3 x 3 ut t t + u xxx Dt 2 u 24 6 8 t t xx
(11.105)
(11.106)
dans laquelle = 1 ; nous obtenons alors le schma implicite pur qui relient trois valeurs
ltape inconnue (n + 1) une seule valeur ltape connue (n ) ; il est facile de vrier
c que a + j = a j = 0 et que a j = 1. Nous obtenons alors lquation du schma implicite pur : n +1 c n +1 n +1 n + + j U j +1 + j U j j U j 1 = U j
(11.107)
(11.108)
conditions qui sont toujours vries pour toutes les valeurs de C et de D. En conclusion, le schma implicite pur ou fully implicit est stable inconditionnellement ; on peut vrier cependant que lerreur de troncature est en (t ), donc du premier ordre en temps. Au niveau des calculs, il est clair que lavantage est faible car lconomie par rapport au schma de Crank-Nicolson ne rside que dans le calcul du second membre du systme tridiagonal, la prcision temporelle tant moindre. Une erreur courante est de dire que ce schma est plus stable que le schma de Crank-Nicolson : en fait, comme on la vu dans les rsultats prcdents, la stabilit est binaire, soit un schma est stable, soit il ne lest pas.
(11.109) z 1: (11.110)
c 2 + c + 2 + (a + j + a j + a j ) 4z 4a j a j + a j (a j + a j ) + 16z a j a j
c 2 + c + 2 + < (+ j + j + j ) 4z 4 j j + j ( j + j ) + 16z j j
113
+ c Dans le cas de la solution P, nous avons + j = 0, j = 1 + D, j = (D + C/2), a j = D C/2, + 2 + 2 c c ac j = 1 D et a j = 0. On vrie que (a j + a j + a j ) = ( j + j + j ) et lingalit se + c 2 2 simplie. a c j a j > j j , soit D C/2 D + DC/2 > D C/2 D DC/2, ce qui conduit
la condition :
D(2 + C) > 0
(11.111)
(11.112)
Comme le nombre de diffusion est positif, les deux conditions se traduisent par : |C| = |V|t <2 x (11.113)
Si le pas despace x est x, le pas de temps t devra vrier la condition : t < 2x |V| (11.114)
On voit que dans le cas dun problme diffusif pur, la mthode ADE est inconditionnellement stable. Par contre, dans le cas o il y a de la convection, la limitation du pas de temps est deux fois plus grande que dans le cas dun schma explicite FTCS. Par contre, la prcision temporelle est en (t 2 ).
scrit : (11.115)
+1 1 Un Un j j
2x
et les drives spatiales sont values au temps n , soit (avec un pas constant x en x ) : u x 2u x2
n j
n j
n Un j +1 U j 1
2x
(11.116)
n n Un j +1 2U j + U j 1
x 2
(11.117)
114
En reportant ces expressions, nous pouvons crire le schma sous la forme suivante
+1 1 Un Un j j
2t
n VUn j +1 U j 1
2x
n n a Un j +1 2U j + U j 1
x 2
(11.118)
(11.119)
Vt x
et D =
a t x 2
maille de discrtisation. On peut montrer facilement que ce schma est du second ordre
n +1 n j 1
+ j j +1
n 1
gure 11.4 - Maille de discrtisation du schma avec point inconnu ; + point dapplication de
la discrtisation (point ctif ), point connu
(11.120)
Dans ces conditions, si on appelle g le facteur damplication de lerreur entre deux pas de temps conscutifs, nous aurons En = g En 1 et En +1 = g En = g 2 En 1 . En remplaant dans lexpression ci-dessus, il vient :
i c i g 2 g (a + )1=0 j e +aj +aj e
(11.121)
et il faut dterminer les conditions pour que g , racine de cette quation ; soit de module infrieur ou gal 1. Pour rsoudre ce problme on utilise le thorme de Miller (1971). Une autre possibilit est de travailler sur la matrice damplication G dnie par : a+ e i + a c +a e i 1 j j j G= (11.122) 1 0 et la condition est que le rayon spectral de cette matrice soit infrieur 1.
Matrice damplication
Si on crit la matrice damplication G sous la forme : r 1 G= 1 0
(11.123)
115
le polynme caractristique est P() = 2 r 1. Le discriminant est = r 2 + 4 et les deux racines sont =
r 1/2 . 2
Pour le schma de Richardson, r = 4D(cos 1) 4iC sin ; si on ne considre que le cas diffusif pur, r = 4D(cos 1) et D = 1 + 4D2 (cos 1)2 tant positif, r tant ngatif, la racine de plus grand module est = r 1/2 = 4D(1 cos ) + (1 + 4D2 (cos 1)2 )1/2 nellement instable.
qui est de module suprieur ou gal 1 ; donc le schma de Richardson est incondition-
f () =
i =0
a i i
(11.124)
f () =
i =0
a n i i
(11.125)
est de degr infrieur n . Les racines du polynme f (?) sont de module infrieur ou gal 1 si et seulement si : (i) si | f (0)| > | f (0)| les racines de f 1 () = 0 sont de module infrieur ou gal 1 ; (ii) si f 1 est nul les racines de d f /d = 0 sont de module infrieur ou gal 1.
(11.127)
116
et par suite ses valeurs propres ; le but tant de trouver un schma stable. La drive temporelle u t
u t n j
scrit :
+1 1 Un Un j j
2t
(11.129)
et les drives spatiales sont values au temps n , soit (avec un pas constant x en x ) : u x 2u x2
n j
n j
n Un j +1 U j 1
2x
n +1 1 Un + (1 )Un + Un j +1 2 U j j j 1
2x 2
Le schma de Dufort et Frankel scrit alors sous la forme : = + (11.131) 2t 2x x 2 et on peut remarquer que, contrairement au schma de Richardson, le schma de Dufort
+1 1 Un Un j j n VUn j +1 + U j 1 n +1 1 a Un + (1 )Un + Un j j +1 2 U j j 1
et Frankel ne fait pas intervenir la valeur centrale Un j mais une pondration entre les deux valeurs aux temps (n 1)t et (n + 1)t . Le schma 11.5 prsente la structure de la maille. On peut monter que si ce schma
gure 11.5 - Maille de discrtisation du schma avec point inconnu ; + point dapplication de
la discrtisation (point ctif ), point connu
que lon peut mettre sous la forme : u + x (u ) + y (u ) (11.133) t x (u ) et y (u ) sont deux oprateurs diffrentiels unidirectionnels dans les deux di(u ) =
rections x et y . Loprateur diffrentiel prcdent correspond une quation dadvection diffusion dans laquelle les coefcients de diffusion sont constants :
x
= Vx
2 ax x x2
et
= Vy
2 ay y y2
(11.134)
117
a x et a y sont des coefcients de diffusion constants dans chacune des deux directions x et y respectivement ; si la diffusion est isotrope, a x = a y = a . Lorsque les coefcients de diffusion sont variables, loprateur diffrentiel est : (u ) = u u u + Vx + Vy t x y x ax u x y ay u y (11.135)
= Vx
x x
ax
et
= Vy
y y
ay
(11.136)
x b , ya
+1 n 1 Un i , j Ui , j
(11.138)
n j
n Un i +1, j Ui 1, j
2x
drive premire par rapport x centre en espace drive seconde par rapport x centre en espace
(11.139)
n n Un i +1, j 2Ui , j + Ui 1, j
x 2
(11.140)
n j
n j
n Un i , j +1 Ui , j 1
2y
drive premire par rapport y centre en espace drive seconde par rapport y centre en espace
(11.141)
n n Un i , j +1 2Ui , j + Ui , j 1
y 2
(11.142)
En remplaant ces expressions dans lquation aux drives partielles rsoudre, il vient : 1 t
+1 n Un i , j Ui , j =
(11.143)
118
soit, en explicitant :
+1 n Un i , j = Ui +1, j
a t Vx t a t a t + Un 2 i ,j 1 2 2 2 x 2x x y 2 a t Vx t a t Vy t + Un + + Un i 1, j i , j +1 2 x 2x y 2 2y V t a t y + + Un i , j 1 y 2 2y
(11.144)
Si les valeurs des deux pas de discrtisation en espace ne sont pas identiques, nous aurons deux nombres de Courant et deux nombres de diffusion dnis respectivement par Cx =
t Vx x
, Cy =
t Vy y
, Dx =
a t x 2
et Dy =
a t y 2
(11.145)
t Vy 2y
) et
an S et
t V t = (a + 2yy ) ou a n E y 2 an = D + C / 2. y y S
= Dx Cx /2, a n C
= 1 2Dx 2Dy , a n W
= Dx + Cx /2,
an N
= Dy Cy /2
(11.146)
n +1/2 (u ) x
n y (u )
(11.147)
n +1/2 (u ) = x
n y (u )
(11.148)
n +1/2 (u ) x
n +1 (u ) y
(11.149)
n +1 (u ) = y
n +1/2 (u ) x
(11.150)
au premier demi pas, les drives par rapport y sont values au temps t n donc une tape connue ; de mme au deuxime demi pas, les drives par rapport x sont values au temps t n +1/2 tape qui vient dtre calcule. Explicitons ces deux tapes :
119
+ Vx
a 2x x 2 n n n n n Ui , j Ui , j +1 Ui , j 1 Ui , j +1 2Un i , j + Ui , j 1 = Vy +a t 2y y 2
Ui +1, j Ui 1, j
n +1/2
n +1/2
Ui +1, j 2Ui , j
n +1/2
n +1/2
+ Ui 1, j
n +1/2
(11.151)
On obtient donc, j x, un systme tridiagonal reliant les inconnues (en i ) au temps t n +1/2 : Ui +1, j
n +1/2
+1 Un i ,j
+ Vy =
+1 n +1 Un i , j +1 Ui , j 1
2y
+1 n +1 n +1 Un i , j +1 2Ui , j + Ui , j 1
y 2
Ui , j
n +1/2
Vx
Ui +1, j Ui 1, j 2x
n +1/2
n +1/2
+a
Ui +1, j 2Ui , j
n +1/2
n +1/2
x 2
+ Ui 1, j
n +1/2
(11.153)
i x, nous obtenons aussi un systme tridiagonal qui relient les inconnues en j au temps t n +1 . En faisant le bilan des oprations, si M est le nombre de points dans la direction i et N, le nombre dans la direction j , sont rsoudre au premier demi pas N 2 systmes tridiagonaux (de M quations M inconnues) et au deuxime, M 2 systmes de N quations N inconnues, soit au total M + N 4 systmes.
(11.154)
n +1/2 (u ) x
n n +1/2 y (u ) S
(11.155)
n +1/2 (u ) x
n +1 (u ) Sn +1/2 y
(11.156)
+ Vx
Ui +1, j Ui 1, j
n +1/2
n +1/2
Ui +1, j 2Ui , j
n +1/2
n +1/2
+ Ui 1, j
n +1/2
120
Il sagit encore j x, dun systme tridiagonal reliant les inconnues (en i ) au temps t n +1/2 . (ii) deuxime demi pas :
+1 Un i ,j +1 n +1 Un i , j +1 Ui , j 1 +1 n +1 n +1 Un i , j +1 2Ui , j + Ui , j 1
+ Vy Vx
2y
y 2
Ui , j
n +1/2
t Sn +1/2
n +1/2 Ui +1, j
2x
n +1/2 Ui 1, j
+a
(11.158)
Dans de nombreux cas, il est utile de caractriser certains effets particuliers du schma numrique qui est utilis. Dans les paragraphes prcdents, on a montr les phnomnes doscillations des solutions et mis en vidence des conditions de stabilit. On considre une quation aux drives partielles dordre 1 deux variables (x , t ) qui correspond la convection linaire dune solution initiale. Considrons le problme suivant : u u +V =0 t x u (x , 0) = sin(a x ) 0
u (0, t ) = u (1, t ) = 0
1 La solution analytique du problme pour t = aa est : V
La solution analytique se propage donc sans que son amplitude soit modie. Dans la pratique, de nombreux schmas vont propager la condition initiale mais en diminuant la valeur de lamplitude et la vitesse de propagation obtenue numriquement sera plus faible que la valeur relle V ; de plus, le signal obtenu numriquement fait apparatre des longueurs donde diffrentes de la longueur donde thorique. On obtient ainsi une solution amortie (dissipation) avec des longueurs donde diffrentes (dispersion). Dans lexemple choisi, la condition initiale comprenait une seule longueur donde, on peut imaginer que si la condition initiale est dveloppe en sries de Fourier, chaque composante sera modie comme londe tudie. On peut tendre ce concept au cas dune quation aux drives partielles dordre 2.
121
(11.161)
la premire est lquation dadvection diffusion tudie dans ce chapitre et la seconde est lquation linaire de Korteweg de Vries. Lquation gnrale de la propagation dune onde plane amortie est de la forme : u (x , t ) = Ue p t e im (x q t ) (11.162)
o p et q sont des fonctions du nombre donde m associ la longueur donde = 2p /m caractrise lattnuation de lamplitude U et q est la vitesse de propagation de
londe. Pour trouver les valeurs de p et q , il faut satisfaire une des deux quations aux drives partielles, ainsi, pour la premire, nous avons p = a m 2 et q = V alors que pour la seconde, nous avons p = 0 et q = V b m 2 . On peut vrier facilement que pour lquation de convection pure, nous avons p = 0 et q = V. Ainsi, si on considre lquation dadvection diffusion ; on constate que lamplitude
u des ondes est attnue par la prsence des termes de diffusion (a ) et que p varie x2
2
quadratiquement avec m , mais que la vitesse de propagation est conserve. On peut remarquer que les longueurs donde courtes (nombre donde m associ lev) seront plus amorties que les longueurs dondes leves (nombre donde m associ faible). Par contre, avec lquation de Korteweg de Vries, lamplitude est conserve, mais la vitesse de propagation de londe est modie et ce en fonction de sa propre longueur donde ; ainsi, au lieu davoir une vitesse de propagation constante et gale V, chaque longueur donde sera propage sa propre vitesse q . Il y aura donc dispersion. Lorsque lon discrtise une quation de convection pure, il faut regarder quels sont les termes ngligs et lerreur de troncature fournit les renseignements sur le comportement du schma. Ainsi, si les termes prpondrants sont en u , alors le schma sera diffusif alors que si les termes sont en u , alors le schma sera dispersif.
122
ou encore : t 2 u 1 u V u 2u + + =0 2a t 2 a t a x x2
2
(11.165)
tait parabolique, change et devient hyperbolique. Les conditions de stabilit (Courant Friedrich Lewy) imposent : t x t 2a x 2 2a (11.166)
et on retrouve une des conditions du paragraphe 3. Pour retrouver lautre condition, drivons lquation initiale par rapport au temps, soit : t u u 2u +V a t x x2 2u 2u 3u + V a t2 x t x 2 t 2 u u 2 = + V a t2 x t x2 =
u u : par V +a x x2
2
u t
(11.168) =0
u t
2 4 2u 3u 2 u 2 u = V 2 a V + a t2 x2 x3 x4
(11.169)
ce qui permet dexpliciter la drive temporelle dordre 2 en fonction des drives spatiales. En reportant cette expression dans lquation avec les termes de troncature, nous avons : u u V2 t +V a t x 2 u u V2 t +V a t x 2 3 u a 2 t 4 u 2u = a V t x2 x3 2 x4 2u =0 x2 (11.170)
qui est une quation dadvection diffusion dont le coefcient de diffusion a est dni par a = a V2 t /2. Ce coefcient ne peut tre ngatif, ce qui serait physiquement impossible ; cette considration impose donc la condition : t 2a V2 (11.172)
Classiquement ; le coefcient a est appel coefcient de diffusion numrique et fait donc intervenir la valeur du pas de temps t et la vitesse.
123
Schma FTCS
Si on applique le schma FTCS vu au dbut de ce chapitre, nous aurons :
+1 Un Un j j
+V
n Un j +1 U j 1
2x
=0
(11.174)
soit encore :
+1 = Un Un j j
C n (U Un j 1 ) 2 j +1
(11.175)
(t , x 2 ) :
+V
n Un j +1 U j 1
2x
u u +V + E.T. t x
(11.176)
avec
E.T. =
t 2 u x 2 3 u + + (t 2 , x 3 ) 2 t2 2 x3
(11.177)
que ce schma est instable car g > 1. Or pour lquation dadvection diffusion, on avait
vu que le schma FTCS tait stable sous conditions. On peut donc en dduire que ce sont les termes de diffusion qui permettent, sous conditions, dassurer la stabilit. Pour obtenir un schma stable, lide est donc dintroduire articiellement dans le schma numrique un peu de diffusion.
Mthode de Lax
n n Si on remplace, dans le schma prcdent ; Un j par (U j +1 + U j 1 )/2, on obtient le schma
+1 n n Un j 1 (U j +1 + U j 1 )/2
+V
n Un j +1 U j 1
2x
=0
(11.178)
soit encore :
+1 Un = j
1C n 1+C n U j +1 + U j 1 2 2
(11.179)
(11.180)
dont le module est g 2 = cos2 + C2 sin2 Pour que g soit infrieur 1, il faut que C2 soit
(11.181)
+V
n Un j +1 U j 1
2x
u u +V + E.T. t x
(11.182)
124
et on voit apparatre un terme en x 2 /2t et on doit donc assurer la convergence. Si on utilise lquation initiale : u u +V =0 t x en drivant par rapport au temps, nous aurons : 2u 2u + V =0 t2 x t soit :
2 2u 2u 2 u = V = V t2 x t x2
(11.184)
(11.185)
(11.186)
et on peut interprter cette quation sous la forme : u u 2u +V a =0 t x x2 qui est une quation dadvection diffusion discrtise avec une erreur en avec une valeur de la diffusion a dnie par : a = x 2 (1 C2 ) 2t 1. (11.189) (11.188) (t 2 ; x 2 )
Schmas dcentrs
Au lieu dutiliser une drive centre pour les termes de convection ; on utilise une drive dcentre, en supposant que V est positif, soit :
+1 Un Un j j
+V
n Un j U j 1
2x
=0
(11.190)
soit encore :
+1 n Un = (1 C)Un j j + CU j 1 c avec a + j = 0, a j = 1 C et a j = C. Dans ces conditions :
(11.191)
et
(11.192)
soit g 2 < 1 si C < 1. En effet, si on applique les conditions de stabilit vues prcdem-
et
2 + (a + j + a j ) (a j + a j )
(11.193)
125
il vient C(C 1)
0, soit C
j 1, on dit que la drive spatiale est prise au vent ou upwind. Si on avait choisi de
n Un j +1 U j
+V
=0
(11.194)
et :
+1 Un = CUn + (1 + C)Un j j +1 j
(11.195)
et par consquent le module damplication : g = 1 + C(1 + cos ) + iC sin est toujours de module suprieur 1. Si V est ngatif, on choisira la discrtisation suivante :
+1 Un Un j j n Un j +1 U j
(11.196)
+V
=0
et
+1 n Un = CUn j j +1 + (1 + C)U j
(11.197)
o C est ngatif. On montre facilement que dans ce cas, le schma est stable si |C| < 1.
+1 Un Un j j n Un j U j 1
Calculons lerreur de troncature dans le cas o V est positif avec un schma upwind : +V = u u +V + E.T. t x (11.198)
et on montre que le schma est consistant et dordre (t , x ). Comme dans le paragraphe prcdent ; on peut remplacer u t t par V2 u xx et crire le rsultat prcdent sous la forme : E.T = V2 t Vx t 2 x 2 u xx + ut t t + V u xxx 2 2 3! 3! Vx t 2 x 2 = (C 1)u xx + ut t t + V u xxx 2 3! 3!
(11.200)
Schma de Lax-Wendro
Dans ce schma, on se xe la valeur de la diffusion numrique de faon ce que le coefcient de la drive seconde en espace soit identiquement nul dans lerreur de troncature, un fois la drive seconde en temps remplace par son expression en fonction de la drive spatiale. Ce schma scrit sous la forme suivante :
+1 Un Un j j n Un j +1 U j 1 n n n V2 t U j +1 2U j + U j 1 =0 2 x 2
+V
2x
(11.201)
(11.202)
126
scrit :
g = 1 C2 (1 cos ) iC sin ce qui conduit la condition C 1. On vrie que lerreur de troncature est de la forme : E.T. = t 2 u V2 t 2 u t 2 3 u Vx 2 3 u + + + (t 3 , x 3 ) 2 t2 2 x2 6 t3 6 x3
2u t2 u par V2 et x2
2
(11.203)
(11.204)
en remplaant E.T. =
3u t3
u par V3 , il vient : x3
Vx 2 V3 t 2 6 6
3u Vx 2 3u + (t 3 , x 3 ) = (1C2 ) + (t 3 , x 3 ) (11.205) 3 x 6 x3
Soit rsoudre le problme suivant : (u ) = 0 pour t > 0 et r [ra , rb ] u (0, r ) donn : condition initiale r = ra et r = rb en fonction du temps : conditions limites
(11.208)
RFRENCES
[Bettess 92] Bettess P ., Innite elements, Penshaw Press, 1992. [Bonnet 95] Bonnet M., quations intgrales et lments de frontire. Applications en mcanique des solides et des uides, CNRS ditions/Eyrolles, 1995. [Brebbia 78] Brebbia C.A., Recent advances in boundary elemnt methods, Pentech Press, 1978. [Euvrard 90] Euvrard D., Rsolution numrique des quations aux drives partielles. Diffrences nies, lments nis, mthode des singularits, Masson ditions, 1990. [ Wielgosz 82] Wielgosz C., Informations exactes donnes par des mthodes dl-
ments nis en mcanique, vol. 1(2), 1982, pp. 323329. 25 [ Wielgosz 99] Wielgosz C., Cours et exercices de rsistance des matriaux. lasticit, plasticit, lments nis, ditions Ellipses - Marketing, Paris, 320 pages, 1999. 5, 10, 25