Documente Academic
Documente Profesional
Documente Cultură
()()
.
On peut aussi montrer de la mme faon que :
()()
Et
()()()
.
b. Maillage :
Un maillage est un ensemble de points du domaine de dfinition sur lequel on va appliquer
la mthode des diffrences finies. Pour une application dfinie sur un segment de , on
ajoutera en gnral les deux extrmits du segment ; pour un maillage en dimension
suprieure, on sera amen choisir, ventuellement, des points des contours du domaine de
dfinition.
On appelle le pas du maillage la distance entre deux points successifs du maillage voisins.
En dimension 1, cela se simplifie en diffrence des abscisses. Ce pas n'est pas ncessairement
constant, il peut mme tre judicieux de ne pas le fixer comme tel. Le pas (global) de
l'approximation peut tre dfini comme le plus grand pas du maillage. Ainsi, si ce pas global
tend vers 0, cela veut dire que la rpartition des points du maillage dans l'intervalle choisi tend
se faire sur tout le domaine d'tude par densit.
6
Exemple :
Un intervalle de validit [0,1] on utilisera (N + 1) points, par exemple {0, h, 2h,...,
N*h=1} pour un pas constante
c. schema numrique :
crire un schma numrique de rsolution de l'quation diffrentielle initiale signifie :
substituer les formulations des drives/diffrentielles obtenues par approximation
aux oprateurs eux-mmes sur tous les points du maillage.
rorganiser les quations pour faire apparatre un schma explicite (ex : les valeurs
la date t+1 donnes en fonction des valeurs des dates 0 t) ou implicite (une
quation lie les valeurs passes, prsentes et futures sans qu'on arrive exprimer ces
dernires seules).
Dans un cadre de modlisation classique d'oprateurs linaires dans des quations
diffrentielles linaires, on aboutit un systme d'quations linaires de dimension gale au
nombre de nuds du maillage (en fait un peu moins, du fait des donnes initiales, par
exemple).
Rsoudre le schma numrique signifie simplement trouver les valeurs discrtes de la
fonction en chaque nud.
Un systme issu d'une quation linaire peut souvent tre algbriquement simple rsoudre.
Pour simplifier, on peut dire que les schmas explicites engendrent des systmes d'quation
matrice triangulaire ou trigonalisables, ce qui n'est pas le cas des schmas implicites.
d. Condition aux limites et conditions initiales :
Un problme aux limites est une quation aux drives partielles munie de conditions aux
limites sur la totalit de la frontire du domaine.
Un problme de Cauchy est une quation aux drives partielles ou, pour la variable de
temps, les conditions au bord sont des conditions initiales (et pas finales).
On dit que le problme A(u) = f est bien pos si pour toute donne f ; il admet une solution
unique u, et si cette solution u dpend continument de la donne f conditions ncessaire pour
faire du calcul numrique.
Les quations de type (I1) sont reprsentatives de problme de type potentiel qui
apparaissent dans des tudes de rgime permanent en lectricit (lectrostatique ou
magntostatique), mcanique (dformation dun solide, coulement) et thermique (rpartition
des tempratures), les conditions aux limites associes sont de type :
7
(a) Dirichlet : u(s)=u0
(b) Neumann :
()
()
(c) Mixte : ()
()
()
III. Application :
Voici lquation rsoudre
(E ) :
{
( )
( ) ( ) [ ]
( ) ( )
( ) () [ ]
[ ]
[ ]
Avec donnes.
Il sagit l des conditions de Dirichlet ;
Voici lorganigramme correspondant notre rsolution :
Discrtisation du domaine de
la dfinition de lquation.
Conditions initiales
Dbut
8
On note :
[ ] ( ) ( )
.
Avec
; et
Maintenant on passe tablir schma par schma.
a. Schma Explicite :
En se basant sur ce qui precde, exprimons les 2 drives prsentes dans (E ) au
point (ih, (j-1) k) :
{
[ ]
)
Expression de la solution par
chaque schma des MDF.
Valorisation de lerreur.
Itration Max ?
Fin
9
b. Schma Implicite :
En se basant sur ce qui precde, exprimons la premire drive (i h, j k) et la
deuxime (i h, (j+1) k) :
{
[ ]
[ ]
)
c. SchmadeCrank Nicolson :
Le schma de crank Nicolson est un cas spcifique de la -Mthode o .
En effet pour ce schma =
.
En se basant sur ce qui precde, exprimons la premire drive (i h, j k) ;
Pour la deuxime cela diffre :
(approximation (i h, j k)) + (1-) (approximation (i h, (j+1) k)).
{
( )
[ ]
)
Aprs le calcul:
( )
Avec :
(
)
et [ ] 1
IV. programmation
Et avec les programme suivant on resoud le probleme numeriquement :
1.1 Programme du schma Explicite :
10
11
12
1.2 Programme du schma Implicite :
On a
Donc
()
En
Posant
()
On a alors
( )
( )
13
14
En posant :
(1 2 )
(1 2 )
0
0
a a
a a
a a
]
(1 2 )
(1 2 )
0
0
a a
a a
a a
]
B =
[
1 0
0 0
0 1
0
0
2 1
1 1
1 2
0
0
= -I + aT
On utilise alors la mthode indirecte de rsolution des systmes linaire : JACOBI, GAUSS SEIDEL,
RELAXATION) Ax=b
( )
Schma implicite laide de Jacobi
15
16
1.3 Programme du (
)
On a
Et
()
)+
()
( )
( )
( )
( )
( )
17
18
[
(1 )
2
2 2
(1 )
2
0
0
a
a
a a
a
a
(1 )
2
2 2
(1 )
2
0
0
a
a
a a
a
a
19
[
(1 )
2
2 2
(1 )
2
0
0
a
a
a a
a
a
(1 )
2
2 2
(1 )
2
0
0
a
a
a a
a
a
On utilise alors la mthode indirecte de rsolution des systmes linaire : JACOBI, GAUSS
SEIDEL, RELAXATION) .
20
V. Cas de calcul :
a. Solution Exacte :
Notre quation : (E )
{
( )
( ) ( ) [ ]
( ) ( )
( ) () [ ]
[ ]
[ ]
Avec maintenant pour application :
21
{
( )
( ) (
) ( (
))
Pour ce faire, on utilise le cour des quations aux drives partielles de 1
re
anne :
Faire de sorte de simplifier lexpression de la forme solution en lexprimant
comme tant le produit de deux fonctions indpendantes :
Nous posons : u(x, t) v(x).w(x), nous obtenons alors
()
()
(E) v.w=
v .w
= k k une constante.
Ceci car les expressions dans chaque membre de droite et de gauche ne peuvent tre en tout
temps gales que si elles sont gales un constante.
Do :
{
()
()
Dterminer une solution v(x) qui satisfasse les conditions aux frontires.
Lquation (1) a pour solution :
Ou bien v(x)=ax+b, si k=0.
v(x)=C
1
.
+ C
2.
si k>0.
v(x)=A.cos()+B.( ). k<0
Pour ne pas tomber sur des solutions triviales, on suppose que k<0.
On a selon les conditions initiales : u(0,t)=v(0).w(t)=0,
U(4,t)=v(4).w(t)=0, .
Do A= 0, et (B=0 ou( ) ),
22
Pour ne pas tomber sur une solution triviale on prend le cas A=0 et ( ) .
Ceci dit : =n.
Do v
n
(x)=(
) , n=1,2,3
Dterminer la forme solution w(t) en consquence des imposes sur v(x).
Avec la contrainte k=-(
n=1,2,3,4
Exprimer la solution u(x, t) sous forme de srie de Fourrier pour quelle
satisfasse prsent la condition initiale sur t.
On a alors la famille des solutions :
( )
()
()
)
(
n=1,2,3..
La solution gnrale u
g
(x, t) est la combinaison linaire de toutes ces u
n
(x, t) :
( )
( )
)
(
Fixons les coefficients C
n
: u(x,0)=
)
Avec : () (
)( (
))
Formules dEuler pour les fonctions p=24 priodique :
()
) =>
()
)
avec w* est la fonction de prolongement impair fictif entre -4< x <0, de sorte que
() (
()
)
C--d :
23
)( (
))
)
Aprs un calcul avec des formules trigonomtriques et vrification des conditions, on arrive
la solution exacte :
( )
)
***********************************
Pour des raisons de facilit dutilisation, on a regroup toutes les scripts des mthodes
numriques dj cites dans un seul programme, permettant lutilisateur de choisir la
mthode quil veut.
Voici le M-file utilis :programmefinale.m
On prend : , pour visualiser la solution du cas de calcul propos.
On trouve : N =19 et a= 0,4053.
Dont le code est :
24
25
26
b. Solution approche par le schma explicite :
Choix : 1 dans le programme prog.m
Analyse des figures ci-dessous :
Nous pouvons constater que la solution approche suit en gros lallure de la
solution exacte mais reste, en dtails, un peu loin de lasolution exacte ; la
courbe derreur nouspermet de voir cela : en effet lerreur est nulle sur des
points en particuliers ce quipermet lacourbe de lasolution approche de
suivre celui dela solution exacte.
27
Fig. courbe solution exacte et approche et Erreur.
A laide du mesh :
c. Solution approche par le schma implicite :
Choix : 2 dans le programme prog.m
Analyse des figures ci-dessous :
La meme chose que la solution approche par le schma explicite, la solution
approche par le schma implicite suit lallure de la solution exacte.
28
Comme avant avec mesh :
Fig. Courbe de la solution approche et exacte et Courbe dErreur.
Fig. Courbe de la solution approche schma implicite par la mthode de Jacobi .
29
Lutilisation de Jacobi montre une courbe derreur plus importante, la courbe
scarte de la courbe de la solution exacte. Alors la double boucle se montre
simple et efficace :
d. Solution approche par la mthode de Crank Nicolson :
Choix : 3 dans le programme prog.m
Analyse des figures ci-dessous :
A lencontre du schma implicite et explicite, la mthode de CrankNicolson se dvie
clairement de la solution exacte.
En appliquant CrankNicolson par la mthode de Jacobi, la solution malgr quelle soit
loin de la solution exacte, elle reste meilleure que CrankNicolson seul.
A laide de mesh :
Fig. Courbe de la solution approche et exacte et Courbe dErreur.
30
Fig. Courbe de la solution approche Crank Nicolson par la mthode de Jacobi.
e. Conclusion sur la convergence et la stabilit de ces mthodes :
Convergence :
E lerreur de convergence sexprime comme suivant :
.
Pour le schma explicite :
lerreur prsente un maximum aprs tend vers 0 dune faon remarquable .
Pour le schma implicite :
31
lerreur prsente un maximum aprs tend vers 0 dune faon remarquable mais
lente par rapport au schma explicite.
Pour le schma de Crank Nicolson :
Lerreur est nulle jusqu un certain rang,aprs il augmente dune faon
importante.
Stabilit :
L on puise directement du cours de notre cher prof.
Ltude de la stabilit se rsume dans lvaluation du facteur tel que :
()
.=d.
.
Pour le schma explicite :
Il faut avoir :
32
On a:
()
.
Schma stable donc.
Pour le schma implicite :
Il faut avoir :
et on a :
.
Schma stable donc.
Pour le schma de CrankNicolson :
On a