Vous êtes sur la page 1sur 22

NF04 - Automne - UTC 1

Version 09/2006 (E.L.)


Cours 2

Mthode des diffrences finies
Approche stationnaire
Technique de discrtisation en 1D
Construction du systme
Prise en compte des conditions aux limites
Notion de convergence
Extension au 2D

NF04 - Automne - UTC 2
Version 09/2006 (E.L.)
Mthode des diffrences finies
Mthode : crire sous forme discrte (i-1, i, i+1 ) tous les termes de
drives prsents dans lquation dquilibre applique en i
ainsi que dans les C.L.
Objectif : transformer une quation continue valable sur un domaine
continu en un systme N quations pour N inconnues associes
un domaine discret appel maillage
2
2
( , , ...) 0
u u
L u f
x x
c c
+ =
c c
+ conditions aux limites
11 12 13 1 1
21 22 23 2 2
31 32 33 3 3
k k k u f
k k k u f
k k k u f
(

(
=
` `
(

(
) )
NF04 - Automne - UTC 3
Version 09/2006 (E.L.)
Diffrences finies 1D : mthode gnrale
( )
| |
2
2
0, 0,
d T x
k f x L
dx
+ = e
( 0) 30 T x = =
Reprenons lexemple de thermique 1D rgi par :



1. On discrtise le domaine en N nuds (maillage) :





2. On applique alors cette quation au nud i :

A ce stade, il nous faut donc discrtiser le terme de drive seconde !



2
2
0 1,...,
i
i
d T
k f i N
dx
+ = =
A domaine discret, quation discrte !
( ) ( ) ( )
( )
ext
dT
q L k L h T L T
dx
= =
NF04 - Automne - UTC 4
Version 09/2006 (E.L.)
Discrtisation des termes de drives
Utilisation des dveloppements limits :







On combine ces deux quations. Par exemple, la somme de (1) et de (2) :



permet disoler :




( ) ( )
2
2
2
2
1 2 ( ) 1
...) (
i
T i T i T i d T
dx
x
x
+
+
+
= A
A
( ) ( )
( ) ( )
2 2 3 3
2 3
2 2 3 3
2 3
4
4
1 ( ) ...) (1)
2 6
1 ( ) ...) (2)
2 6
(
(
i
i i
i
i i
dT d T x d T x
T x x T i T i x
dx dx dx
dT d T x d T x
T x x T i T i x
dx dx dx
x
x
A A
+ A = + = + A + + +

A A
A = = A + +
A
A
( ) ( ) ( ) ( )
2 2
2
4
1 1 2 ( ) ...)
2
2 ( 1 2
i
d T x
T i T i T i
dx
x
A
+ = + + + A +
notation indicielle
reprsentatif de lordre de tous les termes tronqus
NF04 - Automne - UTC 5
Version 09/2006 (E.L.)
Principales formes discrtes connatre
En combinant de diffrentes manires, on obtient ainsi les approximations
discrtes suivantes :




( )
( )
( ) ( ) ( )
( ) ( ) ( )
2
2
1
1
2
1 1
2 2
1 1
(1)
(2)
2
1 2
1 2
...
...
...
.
2
..
i i
i
i i
i
i i i
i
i i
i
T T dT
dx x
T T
x
x
x
x
dT
dx x
T T T d T
dx x
T T dT
dx x
+

+
+

~
A

~
A
+
+ ~
A

~
+
A
A
+A
+A
+A
Dcentr droit
Dcentr gauche
Centr
Centr
Termes
tronqus
Type
Prcision du schma
Nouvelle notation : T(i+1)=T
i+1
NF04 - Automne - UTC 6
Version 09/2006 (E.L.)
Interprtation graphique
Discrtisation centre :
relation dans laquelle les contributions des valeurs nodales de part et d'autre du point considr
(noeud i) sont quivalentes.
Discrtisation dcentre :
relation dans laquelle les contributions des valeurs nodales de part et d'autre du point considr
(noeud i) ne sont pas quivalentes.
NF04 - Automne - UTC 7
Version 09/2006 (E.L.)
Construction globale du systme
La relation discrte finalement obtenue scrit :



Elle est applicable seulement aux nuds i=2, , N-1 :


1 1
2
2
0
i i i
i
T T T
k f
x
+
+
+ =
A
ou encore :
2
1 1
2
i i i i
x
T T T f
k
+
A
+ =
2
1 2 3 2
2
2 3 4 3
2
2 1 ( 1)
2: 2
3: 2
1: 2
N N N N
x
i T T T f
k
x
i T T T f
k
x
i N T T T f
k

A
= + =
A
= + =
A
= + =
1
2
2 2
2
3 3
2
1 1
0 0 0 0 ... 0 0 0 0
1 2 1 0 ... 0 0 0
0 1 2 1 ... 0 0 0
0 0 0 0 ... 1 2 1
0 0 0 0 ... 0 0 0 0
N N
N
T
x
T f
k
x
T f
k
x
T f
k
T

(
(
A
(
(
A
(

( =
` `
(

(

A
(


(

(

) )
criture sous forme matricielle
NF04 - Automne - UTC 8
Version 09/2006 (E.L.)
Condition la limite de type DIRICHLET
1
2
2 2
2
3 3
2
1 1
0 0 0 ... 0 0 0
1 2 1 0 ... 0 0 0
0 1 2 1 ... 0 0 0
0 0 0 0 ... 1 2 1
0 0 0 0 ... 0 0 0
3
0
1 0
N N
N
T
x
T f
k
x
T f
k
x
T f
k
T

(
(
A
(
(
A
(

( =
` `
(

(

A
(


(

(

) )
Mthode : on ajoute :
1. un terme unit 1 sur la diagonale du nud concern
2. la valeur connue dans le 2
nd
membre
1
( 0) 30 T x T = = = On a la condition suivante :
NF04 - Automne - UTC 9
Version 09/2006 (E.L.)
Avec noeud fictif : plus long mais prcis !

( ) ( ) ( )
( )
ext
dT
q L k L h T L T
dx
= =
Mthode : on discrtise le terme de drive prsent dans la condition la
limite (aussi appele condition de type flux ).
Condition la limite de type CAUCHY (1/2)
On a la condition suivante :
( )
1 1
2
N N
N ext
T T
k h T T
x
+

=
A
2
1 1
: 2
N N N N
x
i N T T T f
k
+
A
= + =
2
1
2 2 2 2
N N N ext
h x x x
T T f h T
k k k

A A A
| |
+ =
|
\ .
avec noeud fictif !
On applique la relation dquilibre
discrte en N car le nud N+1
existe :

( )
1 1
2
N N N ext
h x
T T T T
k
+
A
=
NF04 - Automne - UTC 10
Version 09/2006 (E.L.)

Sans noeud fictif : rapide mais perte en prcision !

On a recours une formule dcentre pour la CL :

conduisant ainsi :
Condition la limite de type CAUCHY (2/2)
( )
1 N N
N ext
T T
k h T T
x

=
A
1
1
N N ext
x x
T h T h T
k k

A A
| |
+ =
|
\ .
sans noeud fictif !
+ : rapide mettre en oeuvre
- : on diminue la prcision globale du schma
(prcis ordre 1)
NF04 - Automne - UTC 11
Version 09/2006 (E.L.)
Systme final rsoudre
1
2
2
2
2
3
3
2
1
1
2
1 0 0 0 ... 0 0 0
30
1 2 1 0 ... 0 0 0
0 1 2 1 ... 0 0 0
0 0 0 0 ... 1 2 1
0 0 0 0 ... 0 2 2 2 2
N
N
N N ext
T
x
f
k T
x
f
k T
x
f
k T
h x x x
T f h T
k k k

(


(


A
(

(


A
(


(

=
` `
(

(
A (



(

(
A A A | |
+
(
| )
( ) \ .

Rem : ce systme est bas sur le traitement de la CL avec nud fictif


NF04 - Automne - UTC 12
Version 09/2006 (E.L.)
Affichage et post-traitement de la solution
Pour des systmes de tailles suprieures 3-4, on a gnralement
recours des outils informatiques ddis la rsolution et laffichage.











Apprentissage de loutil Matlab lors des sances TP de NF04
NF04 - Automne - UTC 13
Version 09/2006 (E.L.)
Pour rsumer
Mailler le domaine

Discrtiser lquation dquilibre et les conditions aux limites :
En remplaant toutes les drives par leur forme discrte

Construire le systme global
En appliquant les quations discrtes sur les nuds concerns

Rsoudre le systme (voir TP et TD encadrs sous Matlab)

Post-traiter :
Tracer la solution
Calculer les variables drives : flux (thermique), contrainte (mca)

NF04 - Automne - UTC 14
Version 09/2006 (E.L.)
Fiabilit du modle : notion de convergence
Erreur introduite en ngligeant les termes des
dveloppements limits partir dun certain ordre
( )
2
2
0
d T x
k f
dx
+ =
Modle
mathmatique
(continu)
Modle
numrique
(algbrique)
1 1
2
2
0
i i i
i
T T T
k f
x
+
+
+ =
A
Question : comment sassurer que lquation discrte est reprsentative,
en termes de phnomnes physiques, de lquation de dpart ?
Mca. Flu., thermique : transport, diffusion
MMC : traction, flexion, dynamique
Ide : le comportement du modle numrique doit converger vers le
comportement du modle mathmatique (cens tre proche du rel ).
NF04 - Automne - UTC 15
Version 09/2006 (E.L.)
Notion de convergence
Mthode : sassurer de la proprit de CONVERGENCE de lquation discrte.
Convergence = consistance + stabilit
Thorme de LAX :
Comportement numrique
proche du rel Absence doscillations
parasites
NF04 - Automne - UTC 16
Version 09/2006 (E.L.)
Notion de consistance
Dfinition : on appelle erreur de troncature t, lensemble des termes
ngligs dans les dveloppements limits lors de lobtention
dune quation (ou schma) discrte

0
0
x
lim t
A
=
Dfinition : un schma est dit consistant si son erreur de troncature tend
vers 0 lorsque le pas Ax tend vers 0
Il est en effet possible dcrire :

quation continue = quation discrte + t

NF04 - Automne - UTC 17
Version 09/2006 (E.L.)
Exemple de calcul de lerreur de troncature
Considrons les dveloppements limits suivants :





que lon injecte dans lquation discrte.
2 2 3 3 4 4
2 3 4
2 2 3 3 4 4
2 3 4
5
1
5
1
...)
2 6 24
...)
2 6 24
(
(
i
i i i
i
i i i
i i
i i
dT d T x d T x d T x
T T x
dx dx dx dx
dT d T x d T x d T x
T T x
dx dx dx dx
x
x
+

A A A
= + A + + +
A A A
= A +
+ A
+ A
Conclusion : le schma est bien consistant avec lquation de dpart
2
1 1
2
i i i i
x
T T T f
k
+
A
+ =
Remarque : la solution par diffrences finies sera mathmatiquement
exacte dans ce cas prcis. La solution math. est quadratique do t = 0 !
2 4
2 4
2
2
Equation continue en
Erreur de troncature
1
12
... 0
i i
i
i
d T d T
dx dx
x
k f x
k
+
| |
A
+ + A =
|
\ .
2 4 4
2 4
2
2 6
...)
12
(
i i
i
d T d T x
dx dx k
x
x x f
k
A
+
A
A + A =
Ce qui conduit :

soit :

NF04 - Automne - UTC 18
Version 09/2006 (E.L.)
Effets visibles de lerreur de troncature
Le schma est dit DISPERSIF si
des drives impaires apparaissent.
Effets nfastes pouvant entraner
linstabilit des rsultats

Le schma est dit DIFFUSIF si
des drives paires apparaissent.
Effets bnfiques mais pouvant
diminuer la prcision des rsultats

Le comportement graphique de la solution est un indicateur des effets
de lerreur de troncature
NF04 - Automne - UTC 19
Version 09/2006 (E.L.)
Notion sur la stabilit dun schma
Dfinition : la stabilit est la proprit de contrler toute perturbation
(numrique dans notre cas) introduite de manire accidentelle.









Concrtement, apparition doscillations parasites (changement du signe
de la pente dun nud lautre).
(Ltude de la stabilit sera dveloppe ultrieurement.)

Un schma est dit STABLE si la perturbation diminue ou mieux, disparat.
Un schma est dit INSTABLE si la perturbation augmente.









NF04 - Automne - UTC 20
Version 09/2006 (E.L.)
Extension 2 dimensions (2D)
Thermique : exemple dune plaque rectangulaire soumises diffrentes
conditions aux limites.

| |
0
( ) T T K = Dirichlet
( )
2
. / ( )
ext
q n h T T W m ( =

Cauchy
2
. / ( ) q n W m ( =

Neumann
x A
y A
Rem : est le flux normal la paroi (normale vers lextrieur)
. q n
Dfinition du contour du domaine et gnration dun maillage quadrill :
NF04 - Automne - UTC 21
Version 09/2006 (E.L.)
Diffrences finies 2D :
Lquation de la chaleur 2D est la suivante :

La loi de comportement est :

Insertion de q.(2) dans q.(1) :

( )
. 0, , (1)
Divergence
q f x y S V = e
( )
, (2)
Flux thermique
q k gradT k T x y = = V
( ) ( )
| |
2 2
2 2
, ,
0, 0,
T x y T x y
k f x L
x y
| | c c
+ + = e
|
c c
\ .
( )
2
, , , 2
2 2
,
1 1
2
...
i i i j j j
i j
T T T
T
x
x x
+
+
c
~ + A
c A
( )
2
, , , 2
2 2
,
1 1
2
...
i i i
j
j
i
j j
T T T
T
y
y y
+
+
c
~ + A
c A
1, , 1, , 1 , , 1
,
2 2
2 2
0,
2,..., 1, 2,..., 1
i j i j i j i j i j i j
i j
T T T T T T
k f
x y
i N j M
+ +
+ +
| |
+ + =
|
A A
\ .
= =
,
,
i j
T x y T
| |
|
\ .
=
NF04 - Automne - UTC 22
Version 09/2006 (E.L.)
Construction du systme
Balayer les lignes les unes aprs les
autres et appliquer lquation
discrte si possible


Appliquer les conditions aux limites
discrtes


Rsoudre et post-traiter les
solutions
1,1
1,2
1,3
, 1
,
N M
N M
T
T
T
T
T

(
(
(
(
(

( =
` `
(

(

(

(

(

) )
K
F