Documente Academic
Documente Profesional
Documente Cultură
Encadr par : Prof. Hamid Elouardi Prpar par : Elboutaybi Sara Bourras Ismail
Gnie Informatique.
a.Etude Numrique ......................................................................................................................... b.SchmaExplicite....................................................................................................................................... c. Schma Implicite ................................................................................................................................. d.Schma de CranckNicolson ................................................................................................................. IV. Programmation ........................................................................................................10
a.Script pour le Schma Explicite .................................................................................................... b.Script pour le Schma Implicite .................................................................................................... c.Script pour le Schma de CranckNicolson ..................................................................................... V. Cas de Calcul .............................................................................................................20 a.Solution exacte .................................................................................................................... b.Solution approche par le schma explicite ........................................................................ c.Solution approche par le schma implicite ........................................................................ d.Solution approche par le schma de CranckNicolson ....................................................... e.Conclusion sur la stabilit et la convergence de ces mthodes .........................................
VI. VII.
Remarque : Nous avons choisi loutil matlab pour la programmation et la visualisation des solutions.
Remerciements
Avant dentamer ce rapport, nous profitons de loccasion pour remercier chaleureusement notre cher professeur M.El Ouardi pour avoir cre cette occasion (le mini-projet) et nous permettre ainsi de voir nos acquis purement thoriques rencontrer le monde rel par le biais de la programmation. Ce travail est le fruit de vos efforts et de votre gnrosit qui nous a surveills partout et presque chaque semaine via ladresse lectronique.
I.
Introduction :
Lanalyse numrique est une discipline des mathmatiques. Elle sintresse tant aux fondements thoriques qu la mise en pratique des mthodes permettant de rsoudre, par des calculs purement numriques, des problmes danalyse mathmatique. Plus formellement, lanalyse numrique est ltude des algorithmes permettant de rsoudre les problmes de mathmatiques continues (distingues des mathmatiques discrtes). Cela
signifie quelle soccupe principalement de rpondre numriquement des questions variable relle ou complexe comme lalgbre linaire numrique sur les champs rels ou complexes, la recherche de solution numrique dquations diffrentielles et dautres problmes lis survenant dans les sciences physiques et lingnierie. Dans le domaine de l'analyse numrique, on peut tre amen rechercher la solution d'une quation aux drives partielles. Parmi les mthodes de rsolutions couramment pratiques, la mthode des diffrences finies est la plus facile d'accs, puisqu'elle repose sur deux notions : la discrtisation des oprateurs de drivation/diffrentiation (assez intuitive) d'une part, et la convergence du schma numrique ainsi obtenu d'autre part. En mathmatiques et en physique thorique, l'quation de la chaleur est une quation aux drives partielles parabolique, introduite initialement en 1811 par Fourier pour dcrire le phnomne physique de conduction thermique.
II.
Parmi les mthodes de rsolution, la mthode des diffrences finies, qui repose sur deux notions : la discrtisation des oprateurs de drivation/diffrentiation par diffrences finies d'une part, et la convergence du schma numrique ainsi obtenu d'autre part. En effet Un problme aux drives partielles ncessite la donne de : Dun domaine Dune quation aux drives partielles De conditions aux limites De conditions initiales a. Approximation des drives par la formule de Taylor : Grce aux formules de Taylor, on dfinit la discrtisation des oprateurs diffrentiels (drives premires, secondes, etc. partielles ou non). La formulation de Taylor-Young est prfrable dans son utilisation simple, la formulation de Taylor avec reste intgral de Laplace permet de mesurer les erreurs
Et :
Alors on a :
( )
(
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.
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 :
(a) (b)
Dirichlet : Neumann : :
u(s)=u0
( )
( )
( )
(c) Mixte
( )
( )
III.
Application :
( (E ) : { ) ( ( ) ( ) [ ] ) ( ( ) ( ) ) [ [ [ ] ] ]
Avec
donnes. Il sagit l des conditions de Dirichlet ; Voici lorganigramme correspondant notre rsolution :
Dbut
Itration Max ?
Fin
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) :
[ {
] ( )
8
[ [ {
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 :
] ( )
[ [ { ( )
( ]
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
En
12
13
En posant :
(1 2a ) a
a a
0
a (1 2a ) ] a a
(1 2a ) a
0
a (1 2a ) ]
B=
1 0
0 0
0
0 1 ]
2 1
1 1
0
1 2 ]
= -I + aT
[0
0
)
On utilise alors la mthode indirecte de rsolution des systmes linaire : JACOBI, GAUSS SEIDEL, RELAXATION) Ax=b
14
15
1.3 Programme du On a
*
( )
+
) ( )+
Et
* (
( ( ( ) ) ( )
16
17
(1 a ) a 2
a 2
0
a 2
(1 a ) a 2
a 2
0
a 2
a 2
(1 a )
a 2
(1 a )
18
(1 a ) a 2
a 2
0
a 2
(1 a ) a 2
a 2
0
a 2
a 2
(1 a )
a 2
(1 a )
On utilise alors la mthode indirecte de rsolution des systmes linaire : JACOBI, GAUSS SEIDEL, RELAXATION)
19
V. Cas de calcul :
a. Solution Exacte : Notre quation : (E ) ( ) ( ( { [ ] ) ) ( ) ( ) ( ) [ ( ) [ ] ] [ ]
20
( ( ) (
) )( ( ))
{ Pour ce faire, on utilise le cour des quations aux drives partielles de 1re anne : Faire de sorte de simplifier lexpression de la forme solution en lexprimant comme tant le produit de deux fonctions indpendantes :
Nous posons :
(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.
+ C2. )+B.
si k>0. ( ). k<0
v(x)=A.cos(
Pour ne pas tomber sur des solutions triviales, on suppose que k<0. On a selon les conditions initiales : U(4,t)=v(4).w(t)=0, Do A= 0, et (B=0 ou ( . ) ), u(0,t)=v(0).w(t)=0,
21
Pour ne pas tomber sur une solution triviale on prend le cas A=0 et Ceci dit : Do =n. vn(x)= ( ) , n=1,2,3
Dterminer la forme solution w(t) en consquence des imposes sur v(x). ), et avec lquation (2), on trouve : n=1,2,3,4
Wn(t)= Cn
Exprimer la solution u(x, t) sous forme de srie de Fourrier pour quelle satisfasse prsent la condition initiale sur t.
n=1,2,3..
u(x,0)= ( ) (
( )(
) ( ))
avec w* est la fonction de prolongement impair fictif entre -4< x <0, de sorte que ( ) ( ) constitue une fonction paire.
( ) C--d :
22
)(
))
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 : On trouve : N =19 Dont le code est : et , pour visualiser la solution du cas de calcul propos. a= 0,4053.
23
24
25
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.
26
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.
27
28
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 :
29
30
lerreur prsente un maximum aprs tend vers 0 dune faon remarquable mais lente par rapport au schma explicite.
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 : Pour le schma explicite : Il faut avoir :
( )
.=d. .
31
On a:
Synthse :
Le schma explicite se montre fort avec la rapidit de convergence de lerreur vers 0. Tandis que le schma de CrankNicolson semble clairement diverger de la solution exacte. Le schma implicite reste acceptable par rapport au schma de Crank.
VI.
Conclusion :
Ce projet illustre bien limportance des mthodes numriques pour la rsolution des problmes mathmatique, leur varits, et permet de constater le peu de diffrences concernant les solutions proposes par chaque mthode, do leur efficacit. Dautre part, il nous a t trs utile de travailler sur ce projet, sachant que dune part on a pu mieux concevoir lide de devoir rsoudre un tel problme mathmatique, et dun autre ct se familiariser davantage avec un outil important pour un lve ingnieur quest le Matlab, et ainsi reconnaitre son utilit.
32
VII.
Rfrence :
WIKIPEDIA
ENCARTA
33