MN I Ver01 Part01

METHODES NUMERIQUES APPLIQUEES AUX CALCULS
DES ECOULEMENTS ET DU TRANSFERT DE CHALEUR

(Version 1, Juin 2011)

Par : Pr. Abbs AZZI

Facult de Gnie-Mcanique
USTO MB

BP.1505, El-Mnaouar, 31000, Oran, Algrie.
Tel-fax:+213 (0) 41 416121

e-mail: azzi.abbes@yahoo.fr
url : www.abbesazzi.com

T
30
28
26
24
22
20
18
16
14
12
10
21x21
METHODES NUMERIQUES APPLIQUEES AUX CALCULS DES ECOULEMENTS ET DU TRANSFERT DE CHALEUR

www.abbesazzi.com Page 2

AVANT PROPOS
La pierre angulaire de la mthode des diffrences finies, est bel est bien le dveloppement
en srie de Taylor. Brook Taylor, cet lve qui devint plus clbre que ces professeurs,
dcouvrit les sries appeles dveloppement de Taylor. Par sa dcouverte, Taylor a mis
entre nos mains le moyen de prdire la valeur dune fonction en un point donn en fonction
de sa valeur et la valeur de ces drives en un autre point tout proche du premier.
Cest bien partir de cette srie, quon peut obtenir les schmas algbriques pour remplacer
les drives dans une quation de type EDP (Equation aux Drives Partielles). Cest la base
mme de la mthode des diffrences finies et des autres mthodes dduites de celle-ci. Tout
le reste nest quannexes servant parler de stabilit, consistance, erreurs de troncature et
autres.
Vous laurez compris, toute la philosophie de cette mthode est dessayer de prdire ce qui
se passerait dans un laps de temps sur la base de ce qui se passe linstant (valeur
instantane) et les tendances de changement actuelles (les drives successives). Ceci est
vrai pour le temps mais aussi pour lespace. Cette prdiction est dautant plus juste que
lincrmentation est petite et/ou que les lois de changement et dvolution sont connues.
Mon cours de diffrences finies, je le divise habituellement en trois grands chapitres classs
par ordre de complexit. Jaime aussi construire mon cours autour dexemples rsoudre ce
qui permettra dapprendre tout en appliquant.
Il est aussi important de dire que les quations de transport dont il est question en MDF,
comportent essentiellement un terme non stationnaire, un terme de transport par
convection, un terme de transport par diffusion et enfin un terme source.
La partie diffusion est la plus simple traiter, puisquen gnrale le coefficient de diffusion
est assimil une constante, do une quation linaire plus simple traiter. Lquation de
Fourier, relative au transfert de chaleur par conduction et en rgime non stationnaire sera
lexemple rsoudre durant toute la premire partie du cours. Dans cette partie il est
question dintroduire ltudiant aux schmas numriques de base aussi bien pour lespace
que pour le temps. Les notions de prcision (erreurs de troncature), de stabilit et de
consistance complteront cette premire partie.
Dans un deuxime temps, la partie diffusion sera retraite par lapproche des volumes finis.
Les mmes exemples seront repris et discuts sur la base de cette mthode. Tout comme
pour les diffrences finies, la mthode des volumes finis repose sur un principe de base qui
est le thorme de la divergence. Ce principe permet de substituer une intgrale de volume
par une intgrale de surface. Cette partie du cours correspond ce que je donne
habituellement aux tudiants de graduation.


Les termes de convection sont non linaires et par consquent plus compliqus traiter. Il
sagit l, dun mouvement macroscopique de fluide, qui on doit adapter les schmas de
convection en fonction de la direction de lcoulement. Cette partie sera traite directement
par la mthode des volumes finis et portera sur la dualit prcision-stabilit. Les diffrents
types de schma et leurs proprits seront tudis travers des exemples dapplications. En
gnrale, je rserve cette partie pour les tudiants de post-graduation, mais nempche que
des fois avec des tudiants studieux en graduation, on peut aborder une partie de ce
chapitre.
La troisime partie du cours, concerne la rsolution des systmes dquation (Navier-
Stokes). A travers ce systme dquations quasi-non linaires et couples jintroduis les
algorithmes de correction de pression utiliss pour les quations de fluides incompressibles.
La partie compressible ne fait pas encore partie de ce cours.



SOMMAIRE
Les quations aux drives partielles, classification
PARTIE I :
1. Prsentation de la mthode des diffrences finies
1. Lquation de conduction de la chaleur (Joseph Fourier)
2. Le problme stationnaire
3. Le problme non stationnaire
4. Schmas explicite et implicites
5. Le concept de stabilit (transformation de Fourier)
6. Schma de Crank-Nicholson
7. Schma de Duffort-Frankel
8. Le concept de consistance
9. Mini-projet (conduction thermique en 2D)
2. Prsentation de la mthode des volumes finis
1. Application la partie diffusion (1D)
2. Diffusion en 2D et 3D
3. Mini-projets (conduction thermique en 2D)
PARTIE II :
1. Application de la mthode des volumes finis pour un problme de convection-
diffusion
1. Les proprits dun schma de convection
2. Schma avant dordre un
3. Schma centr dordre deux
4. Schma hybride
5. Schmas haute prcision avec et sans limiteurs
PARTIE III :
1. Algorithme de couplage pression-vitesse
1. Relaxation
2. Maillage dcal
3. Interpolation de Rhie & Show (maillage colocatif)
4. Algorithmes : SIMPLE, SIMPLEC, SIMPLER et PISO



LES EQUATIONS AUX DERIVEES PARTIELLES (EDP)
Dans cette premire partie il est question de proposer un classement des quations aux
drives partielles de la mcanique des fluides et des conditions aux limites qui vont avec.
Classification :
Considrons la forme gnrale dune Equation aux Drives Partielles (EDP) de second ordre
suivant les deux variables indpendantes (x et y) :
0
2
2 2
2
2
= + +
c
c
+
c
c
+
c
c
+
c c
c
+
c
c
G F
y
E
x
D
y
C
y x
B
x
A |
| | | | |
(1)
Une classification assez simple de cette quation peut tre faite sur la base des coefficients
associs aux drives dordre le plus lev A, B et C. On calcule le dterminant dfinit par :

C A B 4
2
= A
Lquation est dite de type
- elliptique si 0 < A ,
- parabolique si 0 = A ,
- hyperbolique si 0 > A .

Dans le cas dun systme dEDP, il faut crire lquation caractristique du systme pour
trouver sa nature. La marche suivre est illustre par lexemple suivant :

1 1 1 1 1
E
y
V
D
x
V
C
y
U
B
x
U
A =
c
c
+
c
c
+
c
c
+
c
c
(2)
2 2 2 2 2
E
y
V
D
x
V
C
y
U
B
x
U
A =
c
c
+
c
c
+
c
c
+
c
c
(3)
on crit les dplacement :

dy
y
U
dx
x
U
dU
c
c
+
c
c
= (4)
dy
y
V
dx
x
V
dV
c
c
+
c
c
= (5)

Les quations prcdentes scrivent sous la forme compacte suivante :



(
(
(
(
(
(
(
(
(
(
=
(
(
(
(
(
(
(
(
(
c
c
c
c
c
c
c
c
(
(
(
(
(
(
(
(
(
(
dV
dU
E
E
y
V
x
V
y
U
x
U
dy dx
dy dx
D C B A
D C B A
2
1
2 2 2 2
1 1 1 1
0 0
0 0
(6)

Le dterminant :

( ) ( ) ( ) 0
2
1 2 2 1 1 2 2 1 1 2 2 1
2
1 2 2 1
= + + dx D B D B dy dx C B C B D A D A dy C A C A (7)
On divise lquation prcdente par
2
dx , et on dfinit
dx
dy
f =
'

0
' 2 '
= + c f b f a (8)
c a b 4
2
= A (9)
Lquation est dite de type elliptique si 0 < A , elle est parabolique si 0 = A , et hyperbolique
si 0 > A .

Une des utilits de cette classification est de prvoir le comportement de lquation vis vis
des conditions aux limites. Si nous imaginons un coulement de fluide de gauche vers la
droite, une perturbation en un point donn na pas dinfluence amont si lquation est de
type parabolique. Si par contre lquation est de type elliptique une perturbation
quelconque en un point quelconque aura une influence dans toutes les directions de
lespace. Une consquence directe de cette caractristique est quun problme de type
parabolique peut tre rsolu par une marche avant, alors quune quation de type elliptique
ncessite la prise en considration des conditions aux limites imposes sur toutes les
frontires du domaine de calcul.

Par exemple :
Lquation de Laplace 0
2
2
2
2
=
c
c
+
c
c
y x
| |
elliptique
Lquation de diffusion 0
2
2
=
c
c
c
c
x t
| |
parabolique
Lquation 0
2
2
2
2
=
c
c
c
c
y x
| |
hyperbolique

LEDP de nature parabolique :

Cest le cas dun problme de propagation associ un mcanisme de dissipation tel que la
conduction thermique non stationnaire.


Lquation
2
2
x t c
c
=
c
c | |
lie aux conditions initiales : ( ) x t | sin = et aux conditions aux
limites : ( ) ( ) 0 , 1 , 0 = = t t | | accepte la solution exacte suivante ( ) ( ) ( ) t x t x
2
exp sin , t t | =

Cest une quation linaire dordre 2, parabolique par rapport la variable du temps t.
La propagation en avant dans le temps et la diffusion dans lespace, font que la solution en
un point P peut influencer nimporte quelle point pour
i
t t > . Cependant les points se situant
dans la zone
i
t t < ne sont pas influencs par la solution au point P. En dautres termes on
dira que le pass influe sur le futur alors que linverse nest pas vrai.

La dissipation dans lespace, fait que mme si la distribution initiale pour 0 = t est
discontinue, la solution devient continue pour 0 > t .

LEDP de nature elliptique :

Cette catgorie dEDP est associe aux problmes de nature stationnaire ou dquilibre tels
que lcoulement stationnaire dun fluide visqueux, la rpartition stationnaire du champ de
temprature ou la distribution dun potentiel.

Lquation de Laplace du type 0
2
2
2
2
=
c
c
+
c
c
y x
| |
, associe aux conditions aux limites suivantes
( ) ( ) x x t | sin 0 , = , ( ) ( ) ( ) t t | = exp sin 1 , x x et ( ) ( ) 0 , 1 , 0 = = y y | | accepte la solution exacte
suivante : ( ) ( ) ( ) y x y x t t | = exp sin ,

La principale caractristique de ce type dquation elliptique est quune perturbation
introduite en un point quelconque lintrieur du domaine de calcul influe sur la totalit du
domaine. Ceci implique que pour rsoudre un problme de type elliptique il est impratif de
poser les conditions aux limites sur toutes les frontires du domaine. Ici aussi une
discontinuit dans les conditions aux limites est rapidement effacer (lisser) lintrieur du
domaine de calcul.

LEDP de nature hyperbolique :

Cette catgorie dEDP peut tre considre comme extension des quations elliptiques pour
lesquels certaines valeurs critiques des paramtres doivent tre dtermines en mme
temps que la distribution dquilibre correspondante. La rsonance de circuit lectrique ou
denceintes acoustiques ainsi que la dtermination des frquences propres des structures
lastiques constituent des exemples de ce type dquations.
Lquation de propagation dune onde suivante
2
2
2
2
x t c
c
=
c
c | |
reprsente un trs bon exemple
pour lquation de type hyperbolique. Cette quation associe aux conditions initiales
( ) ( ) x x t | sin 0 , = , ( ) 0 0 , = c c x t | et aux conditions aux limites ( ) ( ) 0 , 1 , 0 = = t t | | accepte la
solution suivante : ( ) ( ) ( ) t x t x t t | cos sin , =



Enfin, la figure 1 reprsente schmatiquement linfluence dune perturbation au point P sur
lensemble du domaine de calcul pour les trois types dquations.

Figure 1 : Nature des quations et conditions aux limites,
(a) Hyperbolique, (b) Parabolique et (c) Elliptique.

Les conditions aux limites

Soit un problme dfinit dans un domaine R, limit par la frontire R c . Les conditions aux
limites peuvent tre de trois natures :

Dirichlet : Dans ce type de conditions la valeur de la variable dpendante est impose sur la
frontire du domaine de calcul
R sur f c = | (10)
Newman : La variable dpendante nest pas connue sur la frontire mais sa drive est bien
dfinit
R sur q
s
ou f
n
c =
c
c
=
c
c | |
(11)
Mixte : Une combinaison linaire des deux premires conditions est impose sur la frontire
R sur k f k
n
c > = +
c
c
0 , |
|
(12)

Un problme de transfert de chaleur ou dcoulement est dit bien pos si en rsolvant les
quations du problme lies aux conditions aux limites et initiales

- La solution numrique existe.
- La solution numrique est unique.
- La solution numrique dpend de faon continue de la variation des conditions
aux limites.



PRESENTATION DE LA METHODE DES DIFFERENCES FINIES
TAYLOR BROOK (1685-1731)

Sir Brook Taylor est un homme de sciences anglais, n le 18 aot 1685 Edmonton
(Angleterre). Il est mort lge de 46 ans, le 29 dcembre 1731 Londres. Son
domaine dintrt inclus les mathmatiques, la musique, la peinture et la philosophie.
Son amour pour les mathmatiques, lui a t transmis par ces professeurs John
Machin et John Keill. Il complta ses tudes l'universit de Cambridge et devint
clbre pour ses contributions au dveloppement du calcul infinitsimal.
Le 3 avril 1712 ( lge de 27 ans), Taylor fut admis la Royal Society de Londres
(l'quivalent de l'Acadmie des sciences de Paris), non sur la base de ces publications
scientifiques mais sur recommandation et expertise de Machin, Keill et autres.
Environ deux annes aprs il fut lu secrtaire de la Royal Society, et il y resta du 14
janvier 1714 au 21 octobre 1718, lorsqu'il dut se rsigner pour raisons de sant d'une
part, d'autre part par manque de motivation. La priode o il fut secrtaire de la Royal
Society de Londres fut celle de sa vie o il fut le plus productif en mathmatiques. Il publia deux ouvrages en 1715, qui sont
extrmement important pour l'histoire des mathmatiques.
Dans son ouvrage, Methodus incrementorum directa et inversa, Taylor ajouta aux mathmatiques suprieures une nouvelle
branche appele calcul de diffrences finies, inventa l'intgration par parties, et dcouvrit les sries appeles
dveloppement de Taylor.
En fait, la premire mention par Taylor de ce qui est appel aujourd'hui thorme de Taylor apparat dans une lettre que ce
dernier crivit Machin le 26 juillet 1712. L'importance du thorme de Taylor ne fut pas perue avant 1772 quand
Lagrange proclama que c'tait le principe de base du calcul diffrentiel. Le terme srie de Taylor semble avoir t utilis
pour la premire fois par L'Huilier en 1786.
Taylor prsenta aussi les principes de base de la perspective dans Linear Prospect (1715). La seconde dition fut appele
New principles of linear perspective.
Enfin, Taylor fit de nombreux sjours en France. C'tait d'une part suite des problmes de sant et d'autre part pour
garder le contact avec ces amis mathmaticiens.
Actuellement, la pierre angulaire de la mthode des diffrences finies nest autre que le dveloppement des sries de
Taylor. (Wikipdia Encyclopdie)

La mthode des diffrences finies : Cette mthode est base sur la technique du
dveloppement en sries de Taylor qui permet dapproximer la valeur dune fonction en un
point donn si on connat la valeur de la dite fonction ainsi que toute ces drives en un
point voisin en espace ou en temps. Cette technique permet de dvelopper des schmas
pour remplacer les drives premires et secondes des EDP pour pouvoir envisager une
solution numrique par calculateur.
Pour obtenir une solution numrique il faut tout dabord dfinir un domaine numrique
constitu par un ensemble de points discrets appel grille de calcul. Les valeurs instantanes
et locales des variables dpendantes du problme sont dfinit sur lensemble des points de
la grille de calcul. La diffrence entre cette vue numrique travers un certain nombre de
points et la distribution continue exacte reprsente lerreur commise par la mthode
numrique. Il est tout fait logique de penser que plus le nombre de points est important
plus la visualisation est claire, un peu comme les pixels dune photo numrique. La Figure 1
reprsente des exemples de grilles de calcul.


Figure 1. Exemples de grilles de calcul

Ltape suivante consiste approximer ou remplacer toutes les drives partielles par des
schmas discrets (diffrence finies). LEDP sera transforme en quation algbrique. Cette
quation algbrique est ensuite applique sur lensemble des nuds de la grille de calcul. Le
rsultat sera un systme dquation comportant autant dquations que dinconnues
(nuds). Ce systme sera ensuite rsolu par une mthode approprie. Le rsultat sera une
distribution discrte de la solution sur lensemble des points du domaine de calcul.



Grille de calcul :

Figure 2 ; Grille de calcul structure 2D.

Avant de commencer, il faut trouver un moyen qui nous permettra de localiser spatialement
et temporellement tous les points de la solution numrique. Cest ce quon va appeler
cration de la grille de calcul. Dans la suite, on va rsonner sur un espace plan (2D) et
lextension pour le 3D sera faite de manire intuitive. La Figure 2 reprsente la manire la
plus directe pour reprer les points suivant la procdure structure. Cest un peu comme
une matrice, chaque point sera affect de deux indexes (i,j) qui le positionneront par rapport
ces voisins. Soit U, la variable calculer. Sa valeur aux diffrents points de la grille scrit de
la manire suivante :
) , (
0 0 , 1
y x x U U
j i
A + =
+
(1)
) , (
0 0 , 1
y x x U U
j i
A =
(2)
) , (
0 0 1 ,
y y x U U
j i
A + =
+
(3)
) , (
0 0 1 ,
y y x U U
j i
A =
(4)
Maillage non-structur : Lautre faon de mailler un domaine de calcul est de dfinir un
nuage de points, pas ncessairement structur. Dans ce cas-l, il faudra numroter les points
de calcul un par un. Chaque point aura ces coordonnes x et y. En plus il faudra relier ces
points entre eux de faon crer des lments (gnralement des triangles, voir Figure 1).
Le fichier de la grille de calcul sera complter par une liste des lments (eux-mmes
numroter) et les points composants chaque lment.


Le dveloppement en srie de Taylor ;
( ) ( )
n
n
n
n
R
n
x
x
U x
x
U
x
x
U
y x U y x x U +
A
|
|
.
|
c
c
+ +
A
|
|
.
|
c
c
+ A
|
|
.
|
c
c
+ = A +
!
...
! 2
, ,
0
2
0
2
2
0
0 0 0 0
(5)
( ) ( )
n
n
n
n
R
n
x
x
U x
x
U
x
x
U
y x U y x x U +
A
|
|
.
|
c
c
+
A
|
|
.
|
c
c
+ A
|
|
.
|
c
c
= A
!
...
! 2
, ,
0
2
0
2
2
0
0 0 0 0
(6)
Une autre criture de lquation (5), on oubli temporairement la deuxime dimension.
( ) ( ) ( )( )
( )
( )
( )
( )
n
n
i i
i
n
i i
i
i i i i i
R x x
n
x U
x x
x U
x x x U x U x U + + + + + =
+ + + + 1
2
1
' '
1
'
1
!
...
! 2

Le terme R
n
, reprsente les termes omis dordre (n+1 linfini). Thoriquement, on aura
besoin dun nombre infini de termes pour pouvoir calculer la valeur de U(x
i+1
). En pratique,
on se limite un nombre fini de terme et tout le reste sera considr en tant que lerreur de
lapproximation (erreur de troncature).
Construction des schmas pour la drive dordre un et deux :
En arrangeant lquation (5), on obtient le schma aux diffrences avant:
( ) ( )
( ) x
x
y x U y x x U
x
U
A c +
A
A +
=
|
|
.
|
c
c
0 0 0 0
0
, ,
(7)
Lquation (6), donne le schma aux diffrences arrire :
( ) ( )
( ) x
x
y x x U y x U
x
U
A c +
A
A
=
|
|
.
|
c
c
0 0 0 0
0
, ,
(8)
Le schma aux diffrences centres sobtient en soustrayant lquation (6) de lquation (5) :
( ) ( )
( )
2 0 0 0 0
0
2
, ,
x
x
y x x U y x x U
x
U
A c +
A
A A +
=
|
|
.
|
c
c
(9)
La drive seconde est obtenue en additionnant lquation (5) lquation (6) :
( ) ( ) ( )
( )
2
2
0 0 0 0 0 0
0
2
2
, , 2 ,
x
x
y x x U y x U y x x U
x
U
A c +
A
A + A +
=
|
|
.
|
c
c
(10)
Les schmas ci-dessus scrivent sous forme indicielle :
( ) x
x
U U
x
U
j i j i
j i
A c +
A
=
|
|
.
|
c
c
+ , , 1
,
(11)


( ) x
x
U U
x
U
j i j i
j i
A c +
A
=
|
|
.
|
c
c
, 1 ,
,
(12)
( )
2 , 1 , 1
,
2
x
x
U U
x
U
j i j i
j i
A c +
A
=
|
|
.
|
c
c
+
(13)
( )
2
2
, 1 , , 1
,
2
2
2
x
x
U U U
x
U
j i j i j i
j i
A c +
A
+
=
|
|
.
|
c
c
+
(14)
Application 1: A titre dexercice, construire un schma pour approximer la drive croise.
Application 2 : En utilisant un schma dordre un, calculer la premire drive de la fonction
suivante pour x=0.5 et pour deux incrmentations h=0.5 et h=0.25
( ) 2 . 2 35 . 0 15 . 0 25 . 0
2 3
+ = x x x x f
Rpter lopration avec un schma dordre deux. Comparez avec la solution exacte.
Le fait de dire quun schma est dordre deux veut dire quil est plus prcis que celui dordre un.
Lerreur de troncature est proportionnelle h
2
au lieu de h (pour le schma dordre 1). De ce fait un
schma dordre deux est toujours prfr en CFD. Pour la drive par rapport au temps, il est
dusage dutiliser un schma avant dordre un. Cest un peu par rapport la nature de la variable
temps.

Erreur de troncature : Cest lerreur qui rsulte de lutilisation dune approximation
(schma) la place de la solution exacte (drive).

Erreur darrondi : Cest lerreur engendre lorsquon se limite le nombre de dcimales pris
en compte aprs la virgule.



La principale remarque est que le schma centr est dordre 2 est plus prcis que les deux
autres. Malheureusement ce schma ne peut tre utilis pour les nuds de frontires o le
domaine de calcul est dfinit seulement dun seul ct du nud de calcul.
La formule dun schma dordre 2 applicable aux nuds des frontires peut tre construite
en utilisant trois points au lieu de deux. La procdure est la suivante :

( )
2 , 2 , 1 ,
,
x
x
U c U b U a
x
U
j i j i j i
j i
A c +
A
+ +
=
|
|
.
|
c
c

(15)
...
6 ! 2
3
,
3
3 2
,
2
2
,
, , 1
+
A
|
|
.
|
c
c
A
|
|
.
|
c
c
+ A
|
|
.
|
c
c
=
x
x
U x
x
U
x
x
U
U U
j i j i j i
j i j i
(16)
( )
( ) ( )
...
6
2
! 2
2
2
3
,
3
3 2
,
2
2
,
, , 2
+
A
|
|
.
|
c
c
A
|
|
.
|
c
c
+ A
|
|
.
|
c
c
=
x
x
U x
x
U
x
x
U
U U
j i j i j i
j i j i
(17)
En multiplie lquation (16) par b et lquation (17) par c ;
( ) ( ) ( ) ( )
3
,
2
2 2
,
,
, 2 , 1 ,
4
2
2 x
x
U
b c
x
x
U
b c x U c b a
U c U b U a
j i j i
j i
j i j i j i
A c +
|
|
.
|
c
c
+
A
+
|
|
.
|
c
c
+ A + +
= + +

(18)
Lidentification de lquation (18) lquation (15), donne :

0 4
1 2
0
= +
= +
= + +
b c
b c
c b a
(19)
La rsolution de ce systme dquation, donne lexpression suivante pour un schma de
second ordre utilisant trois points pour la drive premire.
( )
2 , 2 , 1 ,
,
2
4 3
x
x
U U U
x
U
j i j i j i
j i
A c +
A
+
=
|
|
.
|
c
c

(20)

Application 3: Construire un schma dordre 2 utilisant les points, i, i+1 et i+2 pour
approximer la premire drive.



1. Lquation de conduction de la chaleur (Joseph Fourier)
Lquation de Fourrier traduisant le transfert de chaleur par conduction sera utilise dans la
suite du cours comme exemple de base pour illustrer lapplication de la mthode des
diffrences finies.

Q T
t
T
c + V =
c
c
(21)
o : ( ) t y x T , , : La temprature, fonction de lespace et du temps.
c : La chaleur spcifique.
: La masse volumique.
Q : Source de chaleur par unit de temps et de volume.
: Le coefficient de conductivit thermique.
t : Le temps.

Bien que la conductivit thermique, la chaleur spcifique et la masse volumique peuvent
varier en fonction de la temprature, elles seront considres constantes dans la suite du
cours.
Notre premire approche du problme sera dappliquer cette quation pour un cas assez
simple tel que le transfert de chaleur en 1D. Soit un fil mtallique de section droite trs
petite par rapport sa longueur de faon ce que le flux de chaleur existe seulement
suivant la longueur du fil. Si en plus la source de chaleur est absente, lquation prcdente
prend la forme suivante :
2
2
x
T
a
t
T
c
c
=
c
c
(22)
O
c
a = , reprsente la diffusivit thermique.
Si les tempratures maximale et minimale du processus sont connues, la temprature sera
adimensionalise comme suit :
min max
min
T T
T T
= u (23)
et en introduisant la variable despace adimensionnelle, L x x / '= , o L est la longueur du fil,
lquation prcdente scrit :


2
2
x
a
t c
c
=
c
c u u
(24)
o x a t remplace par x pour simplifier lcriture.

LE PROBLEME STATIONNAIRE
Si en plus le problme est stationnaire, lquation devient :
0
2
2
=
c
c
x
u
(25)
Le problme sera complt par la pose des conditions aux limites.

L Longueur du fil.
NI =6 Nombre de nuds du maillage.
Les conditions aux limites seront du type Dirichlet :
( ) 1 1 = u , ( ) 0 = NI u (26)
On calcul Ax par lexpression suivante : ( ) 1 1 = A NI x (27)
et on gnre la grille de calcul par la portion de programme :
x(1) =0.0
Do I=2,NI
x(i) =x(i-1)+x
enddo
Lquation (25) sera discrtise par un schma centr de second ordre :
0
2
2
1 1
=
A
+
+
x
i i i
u u u
(28)
Ax
L
I =1 I =2 I =3 I =4 I =5 I =6


Le nombre de nuds global tant 6 dont deux sont rservs pour les conditions aux limites
et quatre sont calculs par la mthode des diffrences finies.
Lapplication de lquation algbrique (28) aux quatre nuds donne le systme suivant :
I=2 0 2
3 2 1
= + u u u soit 1 2
3 2
= + u u (29)
I=3 0 2
4 3 2
= + u u u soit 0 2
4 3 2
= + u u u (30)
I=4 0 2
5 4 3
= + u u u soit 0 2
5 4 3
= + u u u (31)
I=5 0 2
6 5 4
= + u u u soit 0 2
5 4
= u u (32)
Mathmatiquement parlant, on dispose dun systme de quatre quations quatre
inconnus :
(
(
(
(
=
(
(
(
(
(
(
(
(
0
0
0
1
2 1 0 0
1 2 1 0
0 1 2 1
0 0 1 2
5
4
3
2
u
u
u
u
(33)
Ce type de matrice est appele, matrice tri diagonal et elle est facilement rsolu par la
mthode du pivot (triangulation).
Solution :
(
(
(
(
=
(
(
(
(
(
(
(
(
0
0
1
1
2 1 0 0
1 2 1 0
0 2 3 0
0 0 1 2
5
4
3
2
u
u
u
u

(
(
(
(
=
(
(
(
(
(
(
(
(
0
1
1
1
2 1 0 0
3 4 0 0
0 2 3 0
0 0 1 2
5
4
3
2
u
u
u
u

(
(
(
(
=
(
(
(
(
(
(
(
(
1
1
1
1
5 0 0 0
3 4 0 0
0 2 3 0
0 0 1 2
5
4
3
2
u
u
u
u

1 5
5
= u 2 . 0
5
= u
1 3 4
5 4
= + u u 4 . 0
4
= u
1 2 3
4 3
= + u u 6 . 0
3
= u
1 2
3 2
= + u u 8 . 0
2
= u


On a aussi : 1
1
= u et 0
6
= u
Il est clair que la solution est une droite en parfaite concordance avec la conduction
thermique uni directionnelle qui possde un caractre linaire.
Remarque : La solution de ce type de problme est possible analytiquement (deux
intgrations successives) et la solution et celle dune ligne droite.

LE PROBLEME NON-STATIONNAIRE

On reprend lquation (24)
2
2
x
u
a
t
u
c
c
=
c
c

Dans ce genre de problme, en plus des conditions aux limites on a besoin des conditions
initiales. Cest dire une distribution initiale de la solution pour le temps zro. Les variables
auront deux indices : le premier se rapportant au temps et le deuxime lespace.
( ) ( ) x i t n U x t U A A , . , sera reprsente par
n
i
U .

Ax
L
I =1 I =2 I =3 I =4 I =5 I =6
n =1
n =2
n =3
A t


Schma explicit

Lquation prcdente sera approximer par le schma suivant :
( ) ( )
2
2
1 1
1
2
x
x
U U U
a t
t
U U
n
i
n
i
n
i
n
i
n
i
A c +
A
+
= A c +
A
+
+
(34)
On remarque quon a utilis un schma avant dordre un pour la drive par rapport au
temps et un schma centr dordre deux pour la drive par rapport lespace.
Lors de cette discrtisation nous avons choisi de prendre les termes de droites au temps n.
ce schma sappelle un schma explicite, puisquil permet de formuler lexpression de la
variable au point i et linstant n+1 explicitement en fonction de la solution dj calcule au
temps n. Ce schma est reprsent par la molcule suivante.
Lquation (34) sera arrange comme suit :
( )
n
i
n
i
n
i
n
i
U U U U
1 1
1
2 1
+
+
+ + = (35)
avec
2
x
t
a
A
A
= (36)
Lquation (35) sera appliqu aux nuds dune mme rang (c.a.d. n =cste).
Reprenons le problme de conduction de la temprature prcdent
2
2
x t c
c
=
c
c u u
et posons
les conditions aux limites suivantes ( ( ) 0 . 1 0 , = t u , ( ) 0 . 0 1 , = t u ) et les conditions initiales (
( ) 0 . 0 , 0 = x u pour 1 0 < < x )
Si on reprend le mme nombre de nuds que prcdemment (NI=6) le pas despace sera
2 . 0 = Ax
Cas 1 : 1 . 0 = At ( 5 . 2 = )
x .0000 .2000 .4000 .6000 .8000 1.0000

1 1.0000 .0000 .0000 .0000 .0000 .0000
2 1.0000 2.5000 .0000 .0000 .0000 .0000


3 1.0000 -7.5000 6.2500 .0000 .0000 .0000

A ce niveau, on peut arrter les calculs puisquon remarque que les rsultats numriques de
la prdiction ne peuvent tre accepts physiquement. En labsence de source de chaleur les
valeurs de la temprature doivent tre bornes par les conditions aux limites, pire encore on
voit apparatre des valeurs ngatives de la temprature adimensionnelle. On conclue que le
schma numrique nest pas stable puisquil amplifie les erreurs introduites par les
conditions initiales.
Cas 2 : 01 . 0 = At ( 25 . 0 = )
x .0000 .2000 .4000 .6000 .8000 1.0000

1 1.0000 .0000 .0000 .0000 .0000 .0000
2 1.0000 .2500 .0000 .0000 .0000 .0000
3 1.0000 .3750 .0625 .0000 .0000 .0000
4 1.0000 .4531 .1250 .0156 .0000 .0000
5 1.0000 .5078 .1797 .0391 .0039 .0000
6 1.0000 .5488 .2266 .0654 .0117 .0000
7 1.0000 .5811 .2668 .0923 .0222 .0000
8 1.0000 .6072 .3018 .1184 .0342 .0000
9 1.0000 .6291 .3323 .1432 .0467 .0000
10 1.0000 .6476 .3592 .1663 .0591 .0000

Daprs les rsultats ci-dessus, on remarque que la premire variante avec 1 . 0 = At est
instable. Elle ne peut pas aboutir une solution raisonnable. Alors quavec 01 . 0 = At le
processus est stable. Conclusion : la stabilit dun schma explicite nest pas toujours
assure.
Concept de stabilit dun schma :
Un schma est dit stable sil amorti les erreurs provenant des C.I., des C.L. et de
lapproximation utilise. Sil amplifie les erreurs, le schma sera instable et ne pourra pas
converger vers une solution raliste.
Pour introduire le concept de stabilit nous allons utiliser le schma de lquation (35)
( )
n
i
n
i
n
i
n
i
U U U U
1 1
1
2 1
+
+
+ + =
Soit
n
u la solution exacte (en minuscule) et
n
U la solution numrique linstant n. ces deux
quantits seront lies par :
n
i
n
i
n
i
u u U o + = (37)


O
n
i
u o est lerreur introduite dans le calcul par lapproximation du schma (erreur de
troncature).
Remplaons lquation (37) dans (34), nous obtenons :

( )
2
2
1 1
1
,
2
x t
x
u u u
t
u u
n
i
n
i
n
i
n
i
n
i
A A c =
A
+
+
+
o o o o o
(38)
Ou
( ) ( )
2
1 1
1
, 2 1 x t t u u u u
n
i
n
i
n
i
n
i
A A c A + + + =
+
+
o o o o (39)
Cette dernire quation dcrit lvolution de lerreur en fonction du temps. Comme il est dit
prcdemment, un schma numrique stable ne doit pas amplifier les erreurs. Cette
conditions est bien vrifie si ( ) 0 2 1 > , puisque
2
x t A A = est toujours positif.
( ) ( )
2
1 1
1
2 1 x t t u u u u
n
i
n
i
n
i
n
i
A + A c A + + + s
+
+
o o o o (40)
( ) ( ) ( )
2
max max
1
x t t u u
n
i
n
i
A + A c A + s
+
o o
En dautres termes lerreur introduite par un pas de temps t A ne peut tre suprieur
( )
2
x t t A + A c A
ANALYSE DE LA STABILITE PAR LA TRANSFORMATION DE FOURIER
Contrairement lerreur de troncature qui peut tre estimer pour nimporte quel problme
(aussi complexe soit-il), il est pratiquement trs difficile danalyser la stabilit dun schma
donne. Il est mme impossible dtudier la stabilit dun algorithme pour des quations
non linaires. Une mthode danalyse de la stabilit base sur la transformation de Fourier
peut tre applique au schma prcdent (35) :
( )
n
i
n
i
n
i
n
i
U U U U
1 1
1
2 1
+
+
+ + =
La solution d'un tel problme peut scrire sous la forme suivante :
( )
x i j n
i
e t n U
A
A =

(41)
Linjection de cette solution dans lquation (35) donne :
( ) ( ) ( )
( )
( )
( )
| |
x i j x i j x i j x i j
e e e t n e t n
A + A A A
+ + A = A +
1 1
2 1 1

(42)
Qui peut aussi scrire :


( ) ( ) ( ) t n G t n A = A + 1
(43)
O :
( ) | |
x j x j
e e G
A A
+ + =

2 1
(44)
est appel facteur d'amplification.
Pour quun schma soit stable il faut que 1 s G .
Si on applique les galits trigonomtriques suivantes
o o
o
j j
e e + =

cos 2 ; ( )
2
sin 2 cos 1
2
o
o = (45)
lexpression de G, nous obtenons :
( ) x G A + = cos 2 2 1 (46)
2
sin 4 1
2
x
G
A
=

(47)
Enfin : 1 s G sera vrifier si
1
2
sin 4 1 1
2
s
A
s
x
(48)
2
1
2
sin
2
s
Ax
(49)
Cette conditions est vrifi si :
2
1
0 s s (50)
En conclusion nous dirons que le schma explicite tudi prcdemment est stable pour la
condition (50).
En analysant lexemple cit prcdemment nous constatons que lalgorithme est instable
pour un 1 . 0 = At qui correspond 5 . 2 = , et que nous avons stabilis le calcul en
adoptant une valeur plus petite du pas du temps ; 01 . 0 = At ( 25 . 0 = ).
Les conclusions seront :
- Pour un 2 . 0 = Ax la valeur maximale du pas du temps pour un calcul stable sera
08 . 0 = At .


- Si nous voulons augmenter la prcision du schma en adoptant par exemple un 1 . 0 = Ax ,
on doit aussi vrifier 02 . 0 s At

Cest dire, plus la prcision spatiale est grande plus le calcul sera plus long, puisque le pas
du temps exig pour la stabilit du schma explicit sera plus petit. Du point de vue capacit
de stockage en mmoire, ce schma exige un espace double pour la distribution de la
solution numrique ( n et n+1).
Schma implicite

Reprenons le problme de la conduction thermique non stationnaire et re crivons
lquation discrte (34) comme suit (les termes de droite sont au temps n+1)
( ) ( )
2
2
1
1
1 1
1
1
2
x
x
U U U
a t
t
U U
n
i
n
i
n
i
n
i
n
i
A c +
A
+
= A c +
A
+
+
+ +
+
(51)
Aprs groupement et arrangement :
( )
n
i
n
i
n
i
n
i
U U U U = + +
+
+
+ +
1
1
1 1
1
2 1 (52)
Cette quation prsente trois inconnus en mme temps, ce qui ne permet pas de la rsoudre
directement comme ctait le cas pour le schma explicite. Cette forme de discrtisation est
appele schma implicite. Pour trouver la solution il faut crire lensemble des quations
issues de lapplication de (52) sur tous les nuds de la mme ligne et ensuite rsoudre le
systme tout entier.
Si nous reprenons lexemple prcdent compos de six nuds, le systme scrira :
( )
1 2
1
3
1
2
2 1 2 U U U U i
n n n
= + + =
+ +

( )
n n n n
U U U U i
3
1
4
1
3
1
2
2 1 3 = + + =
+ + +

( )
n n n n
U U U U i
4
1
5
1
4
1
3
2 1 4 = + + =
+ + +

( )
6 5
1
5
1
4
2 1 5 U U U U i
n n n
= + =
+ +

1
U et
6
U sont connues et reprsentent les conditions aux limites.


On dispose maintenant dun systme de quatre quations quatre inconnus.
( )
( )
( )
( ) (
(
(
(
(

=
(
(
(
(
(
(
(
(
+
+
+
+
*
5
*
4
*
3
*
2
5
4
3
2
2 1 0 0
2 1 0
0 2 1
0 0 2 1
U
U
U
U
U
U
U
U

Les variables de type
*
i
U reprsentent la solution numrique litration prcdente. La
solution de ce systme donne directement la solution de lquation. On constate que
ladoption de nimporte quelle valeur du paramtre aboutit une solution numrique
stable. On conclue que le schma implicite est inconditionnellement stable.
Application 3: Utiliser lanalyse de fourrier comme prcdemment pour montrer que le
schma implicite est inconditionnellement stable.
Schma de Crank-Nickolson :

Suivant ce schma lquation (24) scrira de la manire suivante :
|
|
.
|
\
|
A
+
+
A
+
+
+
+
+ +
+
2
1 1
2
1
1
1 1
1
1
2
2
1 2
2
1
x
U U U
x
U U U
a
t
U U
n
i
n
i
n
i
n
i
n
i
n
i
n
i
n
i
(53)
Un tel schma prend une moiti en explicite et lautre moiti en implicite. Une faon plus
gnralise de discrtiser lquation (24) est :
( )
|
|
.
|
\
|
A
+
+
A
+
+
+
+
+ +
+
2
1 1
2
1
1
1 1
1
1
2
1
2
x
U U U
x
U U U
a
t
U U
n
i
n
i
n
i
n
i
n
i
n
i
n
i
n
i
o o (54)
Pour 0 = o le schma est explicite, pour 1 = o il est implicite et pour 5 . 0 = o il devient Crank-
Nicholson.


Schma de Duffort Frankel

Cest un schma explicite et inconditionnellement stable
2
1
1 1
1
1 1
2 x
U U U U
a
t
U U
n
i
n
i
n
i
n
i
n
i
n
i
A
+
+
+
+
(55)
Concept de consistance dun schma

Un schma est dit consistant si et seulement si lerreur de troncature tend vers zro quand
tous les pas
i
x A et t A tendent vers zro. En dautres termes : plus on raffine le maillage de
calcul plus le rsultat doit tre prcis. Le schma implicite et explicit introduits
prcdemment sont consistants puisque lerreur de troncature ( )
2
, x t A A tend vers zro
quand x A et t A tendent vers zro.
Examinons le schma de Duffort Frankel de lquation (55).
( )
n
i
n
i
n
i
n
i
n
i
n
i
U U U U
x
a
t
U U
1
1 1
1
2
1 1
2

+
+
+
+
A
=
A

Lerreur de troncature a la forme suivante :
( ) ( ) ...
6
1
12
2
,
3
3
2
,
2
2
2
,
4
4
+ A
|
|
.
|
c
c
|
.
|
\
|
A
A
|
|
.
|
c
c
A
|
|
.
|
c
c
t
t
U
x
t
t
U
x
x
U
j n j n j n
o
o
(56)
Tout va pour le mieux si 0 lim = |
.
|
\
|
A
A
x
t
quand 0 At et 0 Ax .
Par contre si t A et x A tendent vers zro avec le mme taux telle que | =
A
A
x
t
, alors ce
schma ne sera plus consistant.
Mini-Projets : (Lnonc des applications ci-dessous est inspir du cours de Lars Davidson,
Chalmers Tekniska Hogskola, Termo- och Fluiddynamik, thanks to Dr. Lars Davidson)
Le projet consiste rsoudre le problme de conduction thermique (diffusion) dans un
domaine rectangulaire (2D) en appliquant des conditions aux limites de type Dirichlet et
Newman.
Lquation de Fourrier :
( ) 0 = +S T Grad Div


0
2
2
2
2
= +
|
|
.
|
\
|
c
c
+
c
c
S
y
T
x
T

Figure 1 : Domaine de calcul et conditions aux limites.
L =1 et H =0.5 ( ) L x 100 1 5 + =
cas Sud Est Nord Ouest S
1 10 ( ) H y t sin 20 10+ 10 0 = c c x T -1.5
2 15 ( ) ( ) H y H y t sin 15 1 5 10 + + 10 0 = c c x T -1.5
3 15 ( ) H y t 2 cos 15 15 0 = c c x T -1.5
4 10 ( ) H y H y t sin 10 5 10 + + 15 0 = c c x T -1.5
5 15 ( ) H y H y t 2 cos 15 5 + 10 0 = c c x T -1.5
Tableau 1 : Les conditions aux limites du groupe 1
L =1.5 et H =0.5 autrement y et x pour 20 4 . 0 3 . 0 1 . 1 7 . 0 01 . 0 = s s s s =
1 10 ( ) H y t sin 20 10+ 0 = c c y T 10 0
2 10 ( ) H y t sin 20 10+ 0 = c c y T 30 0
3 10 ( ) ( ) H y H y t cos 15 1 5 + 0 = c c y T 15 0
y =0
y =H
x =0 x =L Sud
Nord
Ouest Est


4 10 ( ) ( ) H y H y t cos 15 1 5 + 0 = c c y T 30 0
5 10 ( ) H y t sin 20 10+ 0 = c c y T 10 0

L =1 et H =1 20 =
1 10 20 L x 20 0 = c c x T 0
2 10 20 ( ) L x 2 1 10 + 0 = c c x T 0
3 10 20 L x 5 15+ 0 = c c x T 0
4 10 20 L x 15 5+ 0 = c c x T 0
5 10 20 ( ) L x 5 1 3 5 + +

0 = c c x T 0

Sinspirer de lexemple du cas 1 ci-dessous pour adapter le programme votre cas et
prsenter le rapport de votre mini-projet. Le rapport doit comporter la formulation du
problme, les conditions aux limites, la discrtisation, la mthodologie utilise, ltude de
sensibilit de la solution par rapport la taille de la grille de calcul, les figures des rsultats
(isothermes et le vecteur flux de chaleur dfinis par
x
T
q
x
c
c
=
et
y
T
q
y
c
c
=
) et les
discutions.

Solution par la mthode des diffrences finies
S
y
T
x
T
t
T
+
|
|
.
|
\
|
c
c
+
c
c
=
c
c
2
2
2
2

On utilise un schma explicit, avant pour le temps et centr pour lespace. Lquation
prcdente prend la forme suivante :
n
j i
n
j i
n
j i
n
j i
n
j i
n
j i
aT f T e T d cT bT T
, 1 , 1 , , 1 , 1
1
,
+ + + + + =
+ +
+



avec
( ) 2 * * x t k c b A A = = , ( ) 2 * * y t k e d A A = = , t S f A = * et
( ) ( ) ( ) 2 * * * 2 2 * * * 2 1 y t k x t k a A A A A =
Appliquer cette quation aux nuds de la grille de calcul et obtenir un systme dquations
quil faut rsoudre par la mthode de Gauss-Seidel.
Programme Fortran tlcharger ici, Diffusion 2D en diffrences finies
http://www.abbesazzi.com/wp-content/uploads/2011/06/Diffusion-2D-DF.rar
Cas 1 :
Sensibilit de la solution la taille de la grille de calcul : les calculs ont t conduits pour
trois grilles ayants 10 x 10, 20 x 20 et 40 x 40 points et nommes G1, G2 et G3
respectivement. La distribution de la temprature pour (y =H / 2) et le long du rectangle est
reprsent sur la figure 2. Pour assurer la stabilit du schma explicit il faut que le pas du
temps vrifie la condition suivante :
( )
2 2
2
1

A + A
s A
y x
t

Figure 2: Sensibilit de la solution numrique vis--vis de la taille de la grille de calcul.
La distribution de la temprature sous forme de lignes isothermes est reprsente
sur la figure 3:
Pour illustrer le flux de chaleur, On trace les vecteurs du flux dfinis
par
x
T
q
x
c
c
=
et
y
T
q
y
c
c
=

0,0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1,0
5
10
15
20
25
30
35
5
10
15
20
25
30
35

T
X
11x11
21x21
41x41


Figure 3: Isothermes, cas 1, 21x21 nuds.

Figure 4: Distribution du flux thermique.
La figure 4 illustre la direction du flux thermique de conduction lintrieur du domaine de
calcul.
Variante : Reprendre les mmes cas en utilisant la mthode ADI pour rsoudre lquation
stationnaire.
T
30
28
26
24
22
20
18
16
14
12
10
21x21
T
30
28
26
24
22
20
18
16
14
12
10
21x21


MN I Ver01 Part01

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

MN I Ver01 Part01

Загружено:

Авторское право:

Доступные форматы

METHODES NUMERIQUES APPLIQUEES AUX CALCULS

DES ECOULEMENTS ET DU TRANSFERT DE CHALEUR

Вам также может понравиться