Académique Documents
Professionnel Documents
Culture Documents
MATHEMATIQUES
l'Universit
Co~rs et exercices corrigs
E quations aux
D rives partielles
ET LEURS
A pproximations
Brigitte LUCQUIN
Matre de confrences lUniversit Pierre et Marie Curie (Paris VI)
Dans la mme collection Mathmatiques l'Universit
ISBN 2-7298-1866-9
Ellipses dition Marketing S.A., 2004
32, rue Bargue 75740 Paris cedex 15
Le Code de la proprit intellectuelle nautorisant, aux termes de larticle L. 122-5.2 et 3a), d une
part, que les copies ou reproductions strictement rserves lusage priv du copiste et non desti
nes une utilisation collective , et d'autre part, que les analyses et les courtes citations dans un
but dexemple et d illustration, toute reprsentation ou reproduction intgrale ou partielle faite
sans le consentement de lauteur ou de ses ayants droit ou ayants cause est illicite (Art. L. 122-4).
Cette reprsentation ou reproduction, par quelque procd que ce soit constituerait une contrefaon
sanctionne par les articles L. 33S-2 et suivants du Code de la proprit intellectuelle.
www.editions-ellipses.fr
Prsentation de la Collection
Mathmatiques lUniversit
Depuis 1997, cette collection (alors appele Mathmatiques pour le deuxime cycle) se
propose de mettre la disposition des tudiants de troisime, quatrime et cinquime
annes dtudes suprieures en mathmatiques des ouvrages couvrant lessentiel des
programmes actuels des universits franaises. Certains de ces ouvrages pourront tre
utiles aussi aux tudiants qui prparent le CAPES ou lAgrgation, ainsi quaux lves
des Grandes coles et aux ingnieurs dsirant actualiser leurs connaissances.
Nous avons voulu rendre ces livres accessibles tous : les sujets traits sont prsents
de manire simple et progressive, tout en respectant scrupuleusement la rigueur
mathmatique. Chaque volume comporte un expos du cours avec des dmonstrations
dtailles de tous les rsultats essentiels, des noncs dexercices et leurs solutions.
Ltude mathmatique de nombreux problmes rencontrs dans divers domaines de la
Science (Physique, Chimie, Biologie, Sciences de lUnivers,...), ainsi que dans diverses
techniques (aronautique et astronautique, construction automobile, gnie chimique,
exploitation des nappes aquifres et des gisements dhydrocarbures, gnie civil, ...)
utilise de manire essentielle la thorie des quations aux drives partielles. Louvrage
de Madame Brigitte Lucquin donne de cette thorie une prsentation particulirement
claire, comportant le rappel de toutes les notions indispensables de Topologie, de Calcul
diffrentiel et dAnalyse.
Cet ouvrage prsente aussi les mthodes les plus importantes (lments finis et diffrences
finies) utilises pour la rsolution numrique approche de ces quations, et montre, sur
des exemples prcis, comment les mettre en uvre. Nous sommes heureux de laccueillir
dans notre collection, et certains quil rendra de grands services, tant aux tudiants quaux
praticiens de la modlisation mathmatique.
Ce livre est consacr ltude thorique et numrique de certaines quations aux dri
ves partielles. Celles-ci interviennent dans de trs nombreux domaines appliqus, voire
industriels, principalement en ingnierie, en mcanique et en physique (aronautique, nu
claire, industrie ptrolire, automobile,...), mais aussi en finance, en conomie, en chi
mie, en biologie, en mdecine .... A une poque o les simulations numriques tendent
progressivement remplacer lexprience, il parat donc essentiel de bien comprendre les
proprits de ces quations, ainsi que celles des schmas dapproximation utiliss pour
les rsoudre numriquement.
Dans cet esprit, laccent a t volontairement port sur les nombreux exemples dap
plication et sur les aspects varis de discrtisation (voire parfois dalgorithmique et de
programmation, sans entrer dans les dtails, qui font lobjet dun prcdent ouvrage [21]).
Egalement, certains rsultats thoriques utiliss sont dmontrs sur des exemples ; dautres
sont cits avec des rfrences prcises permettant den retrouver la dmonstration.
Le contenu de cet ouvrage est celui dun cours de quatrime anne actuellement enseign
luniversit Pierre et Marie Curie. Mais ce livre sadresse aussi aux lves de troisime
anne dcoles dingnieurs et aux tudiants de DESS de mathmatiques appliques. Il
est ncessaire pour laborder davoir de bonnes connaissances danalyse de niveau licence
(espaces de Lebesgue, espaces vectoriels norms, analyse hilbertienne) et aussi quelques
connaissances danalyse numrique matricielle (bien que les rsultats principaux nces
saires soient rappels).
Cet ouvrage est divis en quatre parties. La premire est une introduction dans laquelle
sont prsents diffrents exemples de problmes modles linaires tudis par la suite :
problmes aux limites elliptiques (oprateur de Laplace, bilaplacien), problmes parabo
liques (du type quation de la chaleur), problmes hyperboliques (quation des ondes,
quation de transport). La bote outils ncessaire ltude thorique de ces modles
est mise en place (distributions, espaces de Sobolev, traces, formules de Green).
La deuxime partie est consacre ltude thorique des problmes aux limites ellip
tiques, via une formulation variationnelle et lutilisation du thorme de Lax-Milgram.
Un chapitre entier est consacr divers exemples dapplication de ce thorme, pour des
problmes avec des conditions aux limites varies, ou des oprateurs elliptiques trs g
nraux, non ncessairement symtriques.
Vient ensuite, dans la troisime partie, lapproximation de ces problmes par la mthode
des lments finis. Celle-ci est dabord prsente en dimension un despace, puis en di
mension deux, les lments pouvant tre de forme triangulaire ou rectangulaire. Une ana
lyse de convergence de la mthode est prsente pour diffrentes approximations. Enfin,
nous montrons sur un exemple simple en lasticit comment gnraliser la mthode aux
systmes.
Les problmes dvolution en temps (chaleur, ondes) font lobjet de la dernire partie.
Les quations sont discrtises prfrentiellement par la mthode des diffrences finies.
Plusieurs schmas dapproximation sont alors proposs et analyss en dtail, par diff
rentes mthodes (mthode matricielle, utilisation de la transforme de Fourier, mthode
de lnergie). Une approximation mixte, couplant des diffrences finies en temps des
lments finis en espace, est galement propose.
Chaque partie se termine par un chapitre dexercices, avec, pour la plupart dentre eux,
des corrections dtailles (ou des indications de corrections, selon la difficult).
Je tiens tout dabord remercier mes tudiants de matrise, pour leurs questions et re
marques pertinentes, mais aussi mes collgues du laboratoire, avec qui j ai eu le plaisir
denseigner ce cours, et plus particulirement Cristinel Mardar et Grard Tronel, pour
leur relecture minutieuse du manuscrit. Je les en remercie tous deux trs chaleureuse
ment.
Avec une pense toute particulire pour Grard, et pour nos trs nombreuses discussions
sur le sujet.
Table des matires
I In tro d u c tio n 1
I Motivation et rappels 3
1 Exemples de problmes m o d le s............................................................................................... 3
2 Quelques rappels et notations..................................................................................................... 8
2.1. Rappels danalyse ........................................................................................................ 9
2.2. La gomtrie du dom aine............................................................................................... 10
2.3. Formules de G re e n ........................................................................................................ 11
3 Classification des quations........................................................................................................ 12
3.1. Equations elliptiques, paraboliqueset h y perbo liq u es................................................. 12
3.2. Conditions aux lim ite s .................................................................................................. 13
VI Exercices de la partie II 65
1 E n o n c s........................................................................................................................................ 65
2 C o rrig s........................................................................................................................................ 68
III A p p r o x i m a t io n p a r la m th o d e d e s l m e n ts fin is 73
Bibliographie 223
Index 225
Premire partie
Introduction
Chapitre premier
Motivation et rappels
Exemple 1.1 Nous nous proposons dtudier la dformation dans un plan dun fil las
tique maintenu ses deux extrmits matrialises par les points x = 0 et x = 1 (cf.
Figure 1). Le fil est dform sous laction de charges. On suppose le problme statique,
Le. le fil est immobile dans une position dquilibre. On note u(x) la dformation du fil au
point x, x [0,1] (cette dformation est, par hypothse, indpendante du temps). Le mo
dle mathmatique consiste dterminer la fonction u : [0,1] >R solution du problme
suivant :
o c et / sont deux fonctions donnes, dfinies sur [0,1], lies aux caractristiques mca
niques du matriau constituant le fil et aux efforts. Ce problme est gnralement qualifi
de problme aux limites : il se compose dune quation (ici EDO, car la variable x est
mono-dimensionnelle) lintrieur du domaine (ici, sur lintervalle ]0,1[) et de condi
tions au bord de ce domaine (ici, en 0 et en 1) qui sont les conditions aux limites du
problme.
4 Chapitre premier. Motivation et rappels
U (xy k
0 X
avec :
G(x, y) = (l - y) si y > x, y( 1 - x) si y < x, (1.3)
est lunique solution de (I.l)-(1.2). La fonction G est appele le noyau de Green (ou solu
tion lmentaire ) de lquation. Mais en dehors de quelques cas particuliers, il est rare
ment possible de dterminer explicitement la solution du problme. On va donc tenter une
autre stratgie qui pourra sappliquer de manire gnrale, par exemple des problmes
qui ne sont pas mono-dimensionnels, pour des oprateurs plus gnraux que celui figurant
dans lquation (1.1) ou pour des conditions aux limites diffrentes de celles de (1.2). Pour
cela, nous allons essayer :
1) de trouver un cadre abstrait assurant rapidement lexistence et lunicit dune solution
au problme ;
2) de donner une mthode dapproximation de la solution (la mthode des lments finis,
par exemple) ;
3) de procder un calcul numrique de la solution approche et destimer lerreur com
mise par rapport la solution exacte du problme continu (I.l)-(1.2), suppose exister
daprs le premier point.
J d?u f^
+ J c(x)u(x)v (x) dx J f(x)v(x)dx.
Utilisons ensuite une intgration par parties pour transformer le premier terme ; avec les
conditions u(0) = u(l) = 0, nous obtenons une forme variationnelle du problme qui
scrit :
V = tfo'GO, 1[) = {v :]0 ,1 [- R , v e L 2(]0 ,1[), v' G L2(]0, l[),u(0) = v (l) = 0},
en remarquant quil faut aussi donner un sens u(0) (et u(l)), car v est a priori unique
ment dfinie presque partout (en fait, nous verrons dans le prochain chapitre que, dans la
classe dquivalence de v, au sens de lgalit presque partout, il existe un reprsentant
continu sur [0,1], quon identifiera ensuite v lui-mme, ce qui permet de donner un sens
aux valeurs ponctuelles u(0) et (1)). On montrera galement que cet espace V est un
Hilbert pour le produit scalaire dfini par :
Posons J
L{v) = [ f(x)v (x)d x;
Jo
L est une forme linaire continue sur V. Daprs le Thorme de Riesz (que nous rappel
lerons ultrieurement), V sidentifie son dual topologique V', ce qui signifie quil existe
un unique u G U tel que, pour toute fonction v dans V on ait :
(u ,v)v = L{v).
On a ainsi rsolu le problme dit variationnel dans le cas o la fonction c est constante
gale 1 ! En fait, comme nous le verrons plus loin, cette mthode se gnralise sans
difficults dautres valeurs de c.
6 Chapitre premier. Motivation et rappels
Exemple 1.2 Reprenons lexemple prcdent, mais supposons cette fois que le fil las
tique est remplac par un fil mtallique, ayant une certaine rigidit. La gomtrie du pro
blme est la mme, mais le modle mathmatique est modifi ; celui-ci conduit trouver
u : [0,1] K telle que
o c et / sont encore deux fonctions donnes, dfinies sur [0,1] , lies aux caractristiques
physiques du problme et aux forces. Les conditions aux limites (I.5)-(I.6) traduisent
lencastrement du fil. On utilisera exactement la mme dmarche que prcdemment,
mme si la solution recherche le sera dans un espace de fonctions a priori plus rgulires
(la fonction u ainsi que ses deux premires drives seront de carr intgrables). En fait,
les exemples 1.1 et 1.2 sont tous deux de mme nature : ils correspondent des problmes
qualifis delliptiques (lorsque c prend des valeurs positives, en particulier).
Aux conditions aux limites (1.8) sajoutent maintenant des conditions initiales (1.9), u0 et
u\ prcisant la position et la vitesse du fil linstant t = 0. Dans lquation (1.7), c est la
vitesse de propagation du son dans le fil.
Ce problme est de nature trs diffrente des prcdents : il sagit dun problme hyper
bolique.
1. Exemples de problmes modles 7
Exemple 1.4 Considrons un pot de confiture cylindrique quon referme, encore chaud,
laide dun film plastique souple (cellophane) maintenu fix par un lastique au bord
du pot. Au fur et mesure que la confiture se refroidit, le film se dforme, prenant une
forme de plus en plus concave. Une fois la temprature lintrieur du pot stabilise
la temprature ambiante, le film lui aussi se stabilise dans une position dquilibre. On
se propose de dterminer la forme finale de cette surface. Celle-ci est dfinie par une
inconnue u, fonction de deux variables x\ et x2 dun disque, pour fixer les ides le disque
unit dfini par fi = {x = (xi, x 2), x\ + x\ < 1}. Le bord T de ce disque matrialise
le bord du pot de confiture. Le modle mathmatique pour ce problme scrit : trouver
u : fi >R telle que
la condition la limite (1.11) traduit le fait que le film lastique est maintenu fix au
bord du pot. Ici, c et / sont des fonctions donnes lies aux proprits physiques de la
membrane et la diffrence de pressions (de part et dautre du film plastique) engendrant
les dformations et A est loprateur de Laplace dfini par :
fP'l d^u
X = (xu x 2).
A<*> = Sf<*> + M (I)'
II sagit dun problme analogue celui de lexemple 1.1, mais dans un contexte bi
dimensionnel. La forme variationnelle de ce problme scrit (cf. Chapitre IV) :
dv
V = ffoHfi) = {v : fi - f R, u G L2(]0,1[), L2(]0,1[), i G {1,2}, % = 0}.
du du du
UX1
vl + dflx2 ^2)
dv
Il sagit ici dun problme analogue celui de lexemple 1.2, mais dans un contexte bi
dimensionnel.
. , . d2u . . d2u , .
A u (x ,t) = + fa s M .
du cPrii
~ 5x2(x ,i> = /(M ) zekH , *e]o,T[, (i.i7)
u (a ,t) = Ua(t), u(b,t) = Ub(t), t e]0,T[, (1-18)
u(x, 0) = uo(x), x e]a, 6[, (L19)
Soit / une fonction scalaire dfinie sur Rn, i.e. / : Rn > R. Nous notons V f( x ) le
gradient de / en x ; cest le vecteur de Rn de composantes :
V /(x ) =
Enfin C(Cl) = HfceN Ck(Cl) est lensemble des fonctions infiniment drivables sur fi.
Pour k G N, nous notons Ck(Cl) lespace des fonctions / G Cfc(fi) qui sont prolongeables
de manire continues Cl, ainsi que tous les D af dordre |a| < k ; nous noterons aussi :
C(f) = HfceN Ck(). Soit a g ]0, 1] ; on dfinit lespace suivant :
On appelle support dune fonction / le complmentaire du plus grand ouvert sur lequel
/ est nulle ; cest aussi la fermeture de lensemble des points x G R pour lesquels :
/(x ) 0. On note Cq(fi) lensemble des fonctions de Ck{C) support compact inclus
dans fi et V(Cl) = C (fi) lensemble des fonctions infiniment drivables sur fi et
support compact inclus dans fi (nous reviendrons sur cet espace dans le Chapitre II).
Enfin, on dsigne par T>(C) lensemble des restrictions fi de fonctions de V {R") ; ces
fonctions sont support compact inclus dans Cl.
On note LP {Cl) (1 < p < oo) lensemble des fonctions (ou plus exactement des classes
dquivalence de fonctions, au sens de lgalit presque partout) / mesurables sur fi telles
que | / | p soit intgrable sur fi, i.e. telles que f Q |/( x ) |p dx soit finie. Cet espace est un
espace de Banach, i.e. un espace vectoriel norm complet, muni de la norme :
||/IU p( ) = (^Jjf{x)\pdx^j
10 Chapitre premier. Motivation et rappels
Pour le cas particulier de p = 2, lespace L 2(Cl) est un espace de Hilbert pour le produit
scalaire dfini par :
Nous notons L(Cl) lensemble des fonctions / (ou plus exactement des classes dquiva
lence de fonctions, au sens de lgalit presque partout) mesurables sur Cl pour lesquelles
il existe une constante positive C telle que \f(x)\ < C presque partout sur fl. On note
ll/IL(n) la borne infrieure de lensemble de ces constantes C. On dfinit ainsi une
norme sur lespace L(Cl) qui en fait un espace de Banach . Nous utiliserons aussi les
pace L}oc(Cl) des fonctions / mesurables sur Cl et qui sont intgrables sur tout compact
inclus dans Cl, Le. f G L l (K ), pour tout K compact inclus dans Cl.
Nous.rappelons lingalit de Hlder :
||/^IU(n) < ||/|| lp( )||s ||l()) 1 < P < + oo, - + - = 1. (1.21)
p q
Cette ingalit permet en particulier de montrer que si Cl est born, alors Lq{C) c LP{Cl)
pour q > p. Pour p = 2, cette ingalit sappelle aussi ingalit de Cauchy-Schwarz.
Cette hypothse permet en particulier de dfinir en presque tout point a; de T une normale
unitaire v(x) oriente vers lextrieur de Cl (cf. Figure 2).
Plus prcisment, nous adopterons la dfinition suivante (cf. [13],[12]) :
Dfinition 2.1 Soit Cl un ouvert de Mn. Nous disons que le bord Y est continu (resp.
lipschitzien, de classe Ck, de classe Ck>1, pour un entier k > 0) si pour chaque a; G T, il
existe un voisinage O de x dans R et un nouveau systme de coordonnes y = (y', y)
avec y' = (yu .... y_i) tel que
1. O est un hypercube dans ce nouveau systme de coordonnes, i.e. :
2. il existe une fonction ip continue (resp. lipschitzienne, de classe Cf, de classe Ck'1)
dfinie sur O' = ( y ' , ai < yi < ai, i G { 1 , . . . . n 1 } } , vrifiant :
a/ m - S m
i=1
d
du i=1
Enfin, la notation V /(x ) Vg(x) dsigne le produit scalaire dans Rn des vecteurs
V /(x ) et V g(x)f Le.
V /( x ) .V S(x) = w ^ - ( x ) .
Z=1
3. Si f G C2{) et g G C2{), on a :
[ A f(x )g (x )d x =
Ji Ji
ff(x )A g (x ) dx (1.24)
+l ^(x )g (x ) - dT(x).
m
DivU = V.U,
=1
dxi
Dans les exemples introduits au dbut du chapitre, nous avons considr diffrents types
dquations : quations elliptiques, paraboliques et hyperboliques. Nous avons galement
rencontr des conditions aux limites diffrentes. Nous nous proposons dans ce paragraphe
de prciser cette terminologie courante.
o / est une fonction donne dfinie sur . Louvert c 1 " sappelle le domaine de
lEDP. Lindice de plus haut degr des drives dans (1.26), ici m, est son degr. Si F et
n sont des fonctions valeurs vectorielles, alors lEDP est en fait un systme dEDP. Si
F est linaire par rapport ses arguments, alors lEDP est dite linaire. Sauf indication
contraire, nous envisagerons dans ce livre essentiellement des EDP linaires valeurs
scalaires.
La forme gnrale dune EDP linaire scalaire dordre deux est (V(Vu) dsigne la ma-
^u
trice dlments - et la notation A : B, o A et B sont deux matrices dlments
OXi OXj
respectifs A ^ et B l}, dsigne le produit contract dfini par : A : B J27j=i AijBij) :
o, pour tout x Cl, a(x) M, b(x) R", C(x) Rnxn sont les coefficients de lEDP.
Si ces coefficients sont indpendants de x, lEDP est dite coefficients constants.
Si on remplace dans (1.27) u par 1, d u/dxi par z et d2u /d xid xj par ZiZj o z est un
vecteur de Rn , on obtient la relation suivante :
zTC z + b- z + a = /, (1.28)
A u(x) =
( c^ ul d^u
^2 ^ J\ (X) = f ( X)< X ^ ^ C (1-29)
est parabolique dans Q = Ox]0, T [c Mn+1. Lquation des ondes (1.14) est hyperbolique
dans le mme domaine Q. Lquation biharmonique ci-dessous est elliptique :
A(Au)(x) = f ( x ), x G Cl.
associe lEDP (1.29) sappelle condition de Neumann. Dans le cas plus gnral de
lEDP (1.27), cette condition scrit (cf. paragraphe 6 du Chapitre V) :
Nous rencontrerons dautres types de conditions aux limites : conditions mixtes (Le. de
type Dirichlet sur une partie du bord T et de type Neumann sur lautre partie), conditions
de Robin (i.e. une combinaison linaire entre une condition de Dirichlet et une condition
de Neumann) ; nous renvoyons le lecteur au Chapitre V pour des exemples concrets.
Les quations paraboliques et hyperboliques ne demandent jamais de conditions sur lin
tgralit du bord du domaine espace-temps. Par exemple, lquation de la chaleur (1.17)
est bien pose avec u donn en t = 0 (ce qui correspond la condition initiale (1.19))
14 Chapitre premier. Motivation et rappels
et u donn sur T (ce qui correspond la condition la limite (1.18)) ; mais on pourrait
du
aussi remplacer cette condition par une condition du type donn sur I\ L quation
du
des ondes (1.14) est bien pose avec u et donns en t = 0 (Le. (1.16)) et une condition
du
du type u (ou bien ) donn sur T. Nous renvoyons aux Chapitres XI et XII pour ltude
dtaille de ces quations.
Chapitre II
Introduction aux distributions
et aux espaces de Sobolev
Le but de ce chapitre est de fabriquer une bote outils ncessaire ltude des qua
tions aux drives partielles . Nous prsentons dabord quelques notions sur les distribu
tions puis sur les espaces de Sobolev.
1 Les distributions
1
(p{x) = exp si a; B(a, R/2), ip{x) = 0 sinon ;
ll a ||2 {R/2)2
est de classe C sur fi (toutes les drives partielles de <psont continues sur fi, y compris
sur la sphre de centre a et de rayon R /2 o elles sannulent) ; elle est par construction
support dans la boule ferme de centre a et de rayon R /2 qui est un compact de fi.
2) Bien que trs rgulires, les fonctions de >(fi) ne sont pas pour autant ncessairement
analytiques ! Pour fixer les ides, prenons le cas de louvert ] 1 ,1[ en dimension 1 et
considrons la fonction <p de lexemple prcdent avec ici : a = 0 et R = 1. Toutes les
drives partielles de <p au point 1/2 tant nulles, la srie de Taylor de p en ce point est
identiquement nulle. Si la fonction tait analytique, elle conciderait par dfinition avec
sa srie de Taylor dans un voisinage de 1/2 et serait donc en particulier nulle dans un
voisinage gauche de ce point, ce qui est clairement faux.
3) Enfin, si p est une fonction de D(fi), chacune de ses drives est galement une fonc
tion de >(fi).
Nous pouvons munir cet espace dune pseudo-topologie en dfinissant la convergence
des suites.
Dfinition 1.1 On dit quune suite (</?P)PeN de T>(Q) converge vers une fonction <p de
Z?(fi) si :
16 Chapitre IL Introduction aux distributions et aux espaces de Sobolev
Remarque 1.1 Les fonctions de V(C) sont a fortiori dans tous les espaces de Lebesgue
L/(Cl), pour tout p tel que 1 < p < +oo (ainsi que toutes leurs drives). Par ailleurs,
la convergence dans V(C) entrane la convergence dans tous les espaces 1 /(0 ) (pour la
fonction et pour ses drives de tout ordre).
Nous admettons les rsultats de densit suivants [1], [15] :
Lemme 1.2 Pour tout p tel que 1 < p < +oo, l'espace V(C) est dense dans 1/(0,).
Lemme 1.3 Soit f une fonction de L}oc(C) telle que pour toute fonction p G V(C) on
ait : f l(fp )(x ) dx = 0. Alors, f est nulle presque partout sur Cl.
Cet espace V(C) va nous permettre de dfinir, par dualit, la notion de distribution.
Remarque 1.4 Contrairement aux exemples qui suivent, on peut montrer que la distribu
tion de Dirac nappartient aucun espace de Lebesgue de type 1/(0,) (cf Exercice III.2).
En revanche, cest une mesure de Radon positive.
Exemple 1.5 : Une fonction de carr intgrable (en fait, plus prcisment une classe
dquivalence de fonctions de carrs intgrables au sens de lgalit presque partout).
Soit / un lment de lespace L2(fi) et Tf lapplication dfinie sur V ( ) par :
\{Tf,v)\ < ( f
\J k
\f(x )\d x ) sup \p(x)\ < +oo.
) xei<
Cette ingalit montre aussi que Tf est une distribution.
Grce au Lemme 1.3, lapplication qui une fonction / de L\oc() associe la distribution
Tf est injective, de sorte quon identifiera galement la fonction f sa distribution Tf. Par
cette identification, L}0C() devient un sous-espace de lespace V'(Q).
Une proprit fondamentale des distributions est quil est possible de les driver, mais
dans un sens (faible) que nous allons maintenant dfinir.
puisque ip est nulle sur T. Comme / et sont localement intgrables sur Q, ce sont des
distributions (daprs lidentification voque dans le paragraphe prcdent), de sorte que
lgalit ci-dessus peut sinterprter au sens des distributions de la manire suivante :
/ L m\ = - i f a.\
Cest prcisment cette criture quon va gnraliser toutes les distributions et galement
aux drives de tous ordres, le principe tant de faire oprer la drivation sur la fonction
test, qui elle est trs rgulire (cest--dire infiniment drivable), et ceci au sens classique.
Lemme 1.6 Soit f une fonction de classe C1(2). Alors, pour tout i G { l,...,n }, la
qr
drive partielle de f concide avec la drive a-ime de la distribution Tf, o
OXi
a = (ai, ...,a) G Nn est le multi-indice de drivation dfini par a, = 1 et aj = 0
pour j f i.
Cette proprit se gnralise aux drives dordre suprieur. Mais attention ! Si une fonc
tion est drivable presque partout, cette drive ne concide pas ncessairement avec sa
drive au sens des distributions (on renvoie lExemple 1.7 ci-dessous).
Donnons maintenant un exemple simple de drivation dune fonction qui nest pas dri
vable au sens usuel : la fonction de Heaviside.
Exemple 1.7 Considrons la fonction de Heaviside dfinie sur R par : H (x) = 1 pour
x > 0 et H{x) = 0 pour x < 0. Cette fonction est discontinue en 0 donc a fortiori
non drivable en ce point. Mais cest une distribution, car cest une fonction localement
intgrable sur R. Nous pouvons donc la driver au sens des distributions. Notons H 1cette
drive. Par dfinition, pour tout fonction test <p G >(R), nous avons :
On vrifie que cette dfinition a bien un sens car ftp est de classe C et support compact
dans fl. On laisse au lecteur le soin de vrifier que le produit f T ainsi dfini est bien une
distribution.
On a le rsultat suivant [14] (voir aussi lExercice III.3) :
Lemme 1.10 Soit T une distribution sur Cl telle que pour chacun cls indices i G N}
dT
on ait : = 0. Alors, T est constante sur chacune des composantes connexes de Cl.
Bien dautres oprations sont possibles sur les distributions. Nous nous sommes ici li
mits celles que nous utiliserons par la suite. Pour dautres dveloppements, on pourra
consulter les livres de Laurent Schwartz [27] ou [28], mais aussi [14],[15],[29], par
exemple.
Dans cette formule, on rappelle que Vu(x) est le gradient de u valu au point
x = (xi, ...,xn), i.e. le vecteur de composantes (d u /d xi)(x), ...,(d u /d xn)(x) et
Vti(x) Vv(x) dsigne le produit scalaire dans Rn des vecteurs Vu(x) et Vv(x), i.e.
H \ f l ) = { v e L 2( f ) / ' i i e { i , . . . , n } , e L 2(f)}.
OXi
On munit cet espace du produit scalaire suivant :
dv
= = a M l| 2(fi) + ^ Il Qx , Hl2(0 )
i= 1
On a le rsultat suivant :
Thorme 2.2 L espace H 1 (i) est un espace de Hilbert.
Dmonstration II suffit de montrer que lespace H 1(fl) est complet. Soit (vm)TOeN une
suite de Cauchy dans lespace H l (f) ; alors :
1) la suite (wm)mN est de Cauchy dans lespace L 2(f),
dv
2) pour chaque indice i {1,..., n}, la suite est de Cauchy dans L 2(f).
Lespace L 2(i) tant complet, on en dduit quil existe une fonction w G L 2(fi) et n
fonctions Wi, i G { 1 , n} telles que :
1) converge vers w dans lespace L 2(i),
dv
2) pour chaque indice i { 1 , n}, la suite (-~-^-)meN converge vers wt dans L 2(fl).
OXi
dw
Montrons dabord que pour chacun des indices i on a : wt = .
OXi
Soit i lun quelconque de ces indices. Daprs la Proposition 1.9, on dduit du point 1)
dv m
ci-dessus que converge vers w dans V'() et aussi que ( )mN converge vers
dxu dv
dans V( f ) . De mme, on dduit du point 2) ci-dessus que (-^ ) meN converge vers
C/tC^
dvj
Wi dans V ( f ) . Par unicit de la limite dans cet espace, on a alors que = w^.
dw
Ce rsultat tant tabli, on dduit que chacune des drives partielles premires est
dans L 2(fl), donc w est dans lespace H 1(fl). De plus, vm converge vers w au sens de la
norme ||.||j/i(fi), ce qui termine la dmonstration.
(u , v ) h ^( ) = Y . {Dau , D av)mti)-
\ot\<m
iu = (\We-m n^iiiw')/
Enfin, il est possible de gnraliser ces dfinitions dans un cadre autre que celui des es
paces de Hilbert. On a alors :
Proposition 2.4 Soit m un entier positif et p G [1, +oo]. L'espace de Sobolev W Tn,p(Q)
dfini par :
= {v, Va G Nn, |a| < m D av G Lp(i)}
est un espace de Banach pour la norme :
1!v
H l{i) = {v G H 1(il), 3(n)nGN C V(Q) telle que lim \\vn - <u ||//i(i2) = 0}.
n ++oo
Cet espace est un sous-espace ferm de lespace H 1(fl) : cest donc un espace de Hilbert
pour le produit scalaire (., .)h '(q). En fait, si louvert fl est born (ou born dans au moins
une des directions de lespace), on peut dfinir un autre produit scalaire plus simple sur
cet espace : cest une consquence du rsultat suivant.
Thorme 2.6 (Ingalit de Poincar) Soit fl un ouvert born de Mn (ou born dans au
moins une des directions de l espace). Alors il existe une constante positive Cp(fl) telle
que
pour toute fonction v e |||| 2(q) < Cp(fl) Hi,n.
2. Notions sur les espaces de Sobolev 23
Dmonstration II suffit de dmontrer lingalit pour des fonctions de V(f). Soit v une
fonction de cet espace et dsignons par v son prolongement par 0 en dehors de fi, i.e. v
est la fonction dfinie sur tout lespace R " par : v(x) = v(x) si x G O , v(x) = 0 sinon.
Alors on vrifie aisment que v G V ( R n). Par ailleurs, le support de v est inclus dans fi
qui lui mme est suppos tre born dans au moins une direction, pour fixer les ides la
direction x n. On a donc :
f Xn dv
v(x',xn) = / - (x',t)dt, a < x n <b.
Ja 9xn
Lingalit de Cauchy-Schwarz nous donne alors :
Xn I dt 2 t b I dv
/ dt < (b - a ) J dt.
Intgrons maintenant par rapport la variable x n entre a et b ; compte tenu du fait que
dv dv
IH U 2(R") = l k | | L2( f i ) e t | | | | L2(Rn) = II ||i2(i}), nous avons:
dv
Mlh() < ( b - a Y < (b-aYlvlln,
dxn L 2 (fi)
(u,v)Hi{n) = (Vu,Vt)[La(n)]
et quon notera parfois : (., (ou tout simplement (., .)i s il n y a pas d ambigut sur
l ouvert).
24 Chapitre IL Introduction aux distributions et aux espaces de Sobolev
Dmonstration On a tout dabord : ||.||i/i(o) > |.|i,n ; maintenant, si v est dans lespace
H q( ), lingalit de Poincar nous donne en plus :
do on dduit :
Mi.fi ^ IM M l(fi) - \A + C'p(i)2 Hi,fi-
Cette double ingalit montre que la semi-norme |.|i,n est en fait une norme sur lespace
Hq(CI) (grce lingalit de droite, si Mi.fi = 0 , alors |M li/(fi) = 0 , et donc v = 0) ;
elle montre aussi quelle est quivalente celle induite par H 1 (fl).
Ce corollaire est utile pour ltude des problmes aux limites du type (II. 1)-(II.2) : cest
en effet dans lespace H q(Cl) quon recherchera la solution u et on disposera alors sur cet
espace dune norme rduite plus simple.
H(Rn) = H m(Rn).
Remarque 2.3 Dans le cas de lespace tout entier, bien queTon ait H q(Ru) = H 1(Rn),
lingalit de Poincar nest pas valable et la semi-norme |.|i,En nest pas une norme sur
lespace H m(Rn).
Remarque 2.4 On peut montrer une ingalit du type de lingalit de Poincar valable
cette fois sur tout lespace H 1(Cl) ; le prix payer est la prsence dun terme suppl
mentaire dans le membre de droite de lingalit. Nous renvoyons le lecteur lExercice
III. 1 1 , dont les rsultats se gnralisent au cas dun ouvert Cl born et connexe de Rn.
Nous allons prsent dfinir la notion de trace sur le bord de louvert Cl dune fonction
de lespace H 1(Cl).
pour toute fonction v G H 1(]a, 6[), onait sup \v(x)\ < C |M|#i(]a>6[).
x G [a ,6 J
En d autres termes, l application identit de l espace b[) dans l espace C([a, 6])
est continue.
Remarque 3.1 Le rsultat ci-dessus est comprendre dans le sens suivant : soit v une
fonction de H^-Qa, b[), a fortiori v G L2(]a, b[) ; v reprsente donc une classe dquiva
lence de fonctions, au sens de la relation dquivalence qui est lgalit presque partout.
La proposition affirme que, dans la classe dquivalence de v, il existe un lment, not
pour le moment v, qui est continu sur [a, b] ; on identifiera ensuite naturellement v et v.
Remarque 3.2 Attention ! Ce rsultat est faux en dimension plus grande. Par exemple,
en dimension deux, considrons la boule unit /3(0, R = 1) et soit v le fonction
dfinie par : v(x) = |Log(| |rc| |)|fc, o la notation |||| dsigne la norme euclidienne dans
R2. On vrifie que pour k G]0, l/2[, la fonction v est dans H l () et pourtant elle nest
pas borne en 0 (puisque limI_o v (x ) +oo) ! Nous renvoyons par ailleurs lExercice
III.5 pour la construction dun autre exemple en dimension trois.
Dmonstration de la Proposition 3.1. Soit v G b[) et posons v(x) = f * v'(t)dt.
Cette expression a bien un sens et dfinit une fonction continue sur [a, b] ; en effet, ceci
rsulte de lingalit de Cauchy-Schwarz :
py 1/2
\v(x) - v(y)\ = \ v \t)d t\ < V \ x - y \ / K(i)]!dt (II.3)
JX Jx
Soit (p G V(]a, b[) quelconque ; on a :
( S = -(, y/) - - f
Ja
J v'(t)dtj ip'(x)dx.
X 1V
car ip(b) = 0. On a donc, pour tout fonction test ip, (v i p ) = {v<p), ce qui entrane :
v' = v' dans lespace V(Cl). D aprs le Lemme 1.10 (ou lExercice III.3), on en dduit
que v diffre de v dune constante additive C (au sens des distributions). En dautres
termes, on a au sens des distributions : v = v o v = v + C est une fonction continue
sur [a, b] (au sens des fonctions, v est presque partout gale la fonction continue v).
Remarquons que la constante C est donne par C = v(a). On a donc lcriture suivante :
v(x) = v(a) +
26 Chapitre IL Introduction aux distributions et aux espaces de Sobolev
et ceci pour tout x G [a, 6]. On a aussi la mme relation en remplaant x par un lment y
quelconque de [a, 6] ; pour tous (x, y) G [a, b]2, on a donc :
px
v(x) = v(y) + / v'(t)dt.
Jy
Utilisant lingalit de Cauchy-Schwarz, on obtient :
et ceci pour tout x G [a, 6]. Utilisant lingalit de Cauchy-Schwarz dans M2 (afin de
minimiser la constante), on en dduit :
o C 2 = - --------- b b a.
b a
Remarque 3.3 Lestimation (II.3) montre quen fait on a mieux : la fonction v est dans
lespace de Hlder C0,1/ 2 ([o, 6]).
Le bord T de cet ouvert est lhyperplan form des points x de la forme x (x\ 0), avec
x1quelconque dans R n_1 : cet espace est trivialement isomorphe M71 1.
Les fonctions v de P (R " ) tant rgulires jusquau bord T, on peut naturellement dfinir
leur restriction U|r sur T ; nous allons montrer que celle-ci est de carr intgrable sur T
et quelle dpend continment de la norme dans lespace H 1 de v : nous pourrons alors
dfinir une trace gnralise pour toute fonction v de lespace ) par densit.
Proposition 3.2 Pour toute fonction v de >(R!J.), on a : v(.,0) G L 2 (M"_1) et
IM->0)||i,2(Kn
1) <
Dmonstration Soit v dans >(R ) ; cette fonction tant trs rgulire et de limite nulle
linfini, on a :
/*+00 O /+oo
dv
v2(x\0) = - j o Q^(v2)(x',y)dy = - 2 J ' v ^~ (x', y) dy.
oy
montre que la suite (Tvp)pen est de Cauchy dans L 2 (Rn_1). Cet espace tant complet,
elle converge vers une limite. Montrons que cette limite ne dpend pas de la suite choisie.
Soit donc (u>p)peN une autre suite de 2?(Si ) convergeant vers v dans .if1 (R") ; on a :
\\Tvp T t > p | | L 2 ( R n - l ) < ||U p W p | | / / l ( R n )
quand p > + 00, ce qui montre que les suites (Tvp)perc et (Twp)p^ ont bien mme limite.
On note celle-ci 70w. On a ainsi dfini une application 70 sur lespace .if1 (R ) valeurs
dans lespace L2 (R-1) qui gnralise lapplication T dans le sens o pour toute fonction
v G D(R ), on a trivialement : 70W = T (v). On vrifie aisment que cette application
est linaire. Par ailleurs, pour tout entier p on a : ||Tup||x,a(Rn-i) < ||up||ifi(R"), de sorte
quen passant la limite, quand p tend vers + 00, on obtient : || 7 o^| |i,a(Rn-i) <
ingalit qui montre que 70 est continue.
o u = (ui,..., vn) dsigne le vecteur normal T orient vers lextrieur de Cl (cf. Figure
2 du Chapitre I). Si louvert Cl est de frontire de classe C1,1, on peut montrer que lap
plication (70 , 7 1 ) ainsi dfinie sur lespace H 2(Cl) et valeurs dans L 2(T) x L2 (T) est
linaire et continue et que son noyau est prcisment lespace H q(C).
2) De manire plus gnrale encore, supposons la frontire de louvert Cl suffisamment
rgulire et soit m un entier suprieur ou gal 1. Pour chaque multi-indice a 6 N"
vrifiant |a| < m 1 , il existe une application linaire et continue de lespace H m(C)
valeurs dans lespace L 2(F) : lapplication (v > 7 0(Dav)). On a par ailleurs :
3) En dimension deux ou trois (qui sont les cas les plus courants), on a le rsultat suivant
[3] : toute fonction v de lespace H 2(Cl) est continue sur et lapplication identit ainsi
dfinie de lespace H 2() valeurs dans lespace C(f2) est continue.
1 Enoncs
Exercice III.l Montrer quil nexiste pas de distribution T G Z>'(R) telle que pour tout
fonction tp G V (R { 0}) on ait :
Exercice III.3 Soit Cl = ]a, b[ (a < b). Montrer que si une distribution u G D'(]a, b[) est
drive nulle (au sens des distributions), alors u est constante.
Exercice III.4 Soit Cl =]a, b[ (a < b). Soit u G V'(Cl) telle que u' G L 2(Cl). Montrer que
u G L 2(ft).
Exercice III.6 Soit O =]a, b[ (a < b). Montrer, en utilisant le thorme dAscoli, que
linjection canonique de dans C() est compacte. En dduire quil en est de
mme pour linjection canonique de H 1(Cl) dans L 2(Cl).
Exercice III.7 : Solution lmentaire pour les ondes.
Dans le plan de variables (a;, t ), on considre la fonction Y dfinie par :
d2p> d2ip
^ ( x , t) d x d t
d t2 dx2
d2Y d2Y
dt2 dx2
30 Chapitre III. Exercices de la partie I
1 x2
k(x, t) = 0, si t < 0, k(x,t) = . exp{ ), si t > 0.
V 47t 4r
1) Montrer que :
/ -oo
k{x,t)dx = 1, pour tout t > 0.
/ +
k(x,t)dx = 1.
s
2) Calculer, au sens des distributions,
__
k.
dt dx2
V =
Montrer que si k est une constante vrifiant k < 1/p, alors le problme (P) suivant :
1) Montrer quil existe une constante C > 0 telle que, pour toute fonction ip de classe C 1
sur fi dont la restriction laxe T_i dfini par T_i = {x = (xi, x2), = 1, x2 G K}
soit nulle, on ait :
1/ = { v e H \ ) , v = 0 surTo}.
Montrer que V est un Hilbert pour le produit scalaire induit par celui de H 1 (fi). Montrer
que, sur V, la norme l-l^n est quivalente la norme ||.||i,o.
2 Corrigs
Corrig de lexercice III.1 Considrer une fonction ip G D(M{0}), valeurs dans [0,1],
dont le support est inclus dans lintervalle [1 , 2 ] et telle quil existe un intervalle non vide
[a, b] C [1,2] sur lequel <pest minore par une constante strictement positive (ex. prendre
ip(x) exp(4)exp[l/(|x 1,5 |2 0.25)], si \x 1 ,5j < 0,5 et 0 sinon). Considrer
alors la suite de fonctions <pn de V ( R {0}) dfinie par : ipn{x) = exp(- n) (p(nx) ; le
support de <pn est contenu dans { < |x| < |} . Cette suite converge vers 0 dans >(R)
alors que (T, <pn) tend vers +oo quand n tend vers -l-oo.
Corrig de lexercice III.2 Supposons quil existe une fonction / G Z/1 (fi) telle que,
pour toute fonction <p G T>(fi), on ait : (80, y?) = f(x)<p(x) dx. Soit ip une fonction
32 Chapitre III. Exercices de la partie I
Corrig de lexercice III.3 Soit u G V(]a, 6[) telle que v! = 0. Alors pour toute fonction
tp T>(]a, 6[) pour laquelle il existe tp G V(]a, 6[), telle que tp = tp', on a : (u , tp) = 0.
Une telle fonction tp est de la forme : tp(x) = f f tp(t)dt et tp(b) = 0 entrane :
Inversement, on vrifie aisment que si tp G T>Qa, 6[) est dintgrale nulle sur [a, 6], alors
la primitive de tp qui sannule en a est dans lespace X>(]a, b[).
La forme linaire qui toute fonction <p G VQa, 6[) associe son intgrale sur [a, 6] ayant
un noyau de codimension 1 , il existe une fonction ipo dintgrale 1 , telle que toute fonction
tp G X>(]a, 6[) se dcompose sous la forme : tp = \tpo + tp, avec G 1Ket tp dintgrale
nulle sur [a, 6] ; on a alors = tp(x)dx. Comme (u , tp) = 0, on a par ailleurs :
v(x) = f u'(t)dt;
Ja
cette fonction est continue sur [a, b}. On vrifie aisment que sa drive au sens des dis
tributions sur ]a, b[ est gale u' (cf. dmonstration de la Proposition 3.1 du Chapitre II) ;
daprs lexercice prcdent, elle diffre de u par une constante additive. On en dduit
que u G C([a, 6]) et donc a fortiori u G 2 (]o,6[).
Corrig de lexercice III.5 : Prendre u(x) = l/||a ;|| , avec 0 < a < 1 /2 (et ||.|| la
norme euclidienne).
Corrig de lexercice III.6 Soit B un born de H l (). Par hypothse, il existe une
constante M > 0 telle que pour toute fonction / de B on ait : ||/||i,n < M. Or,
daprs la Proposition 3.1 du Chapitre II, il existe C > 0 telle que 11. | |co() < C \|. 11i,n ;
B est donc aussi un born de C(). Par ailleurs, pour tout x, y G [o,6], on a aussi :
f(y) f ( x ) = f l do on dduit, pour toute fonction / G B (grce lingalit
de Cauchy-Schwarz) : \f(x) f(y)\ < MyJ\x y\. Les fonctions de B sont donc qui-
continues. Par le thorme dAscoli, on en dduit que B est relativement compact dans
C(Q). Linjection de C(fi) dans L2() tant continue, H 1(il) sinjecte aussi de manire
compacte dans lespace L 2 (i).
h(<p) = f [ Y {x,t)^{x,t)d xd t,
Jr Jr ot
h{tp) = [ [ Y (x,t)^{x,t)d xd t.
dx2
2. Corrigs 33
dx
l t 11' 11
x) + ^ { - x ,x)
- f [*-
De mme, par intgration relativement la variable a:, on a :
r+oo / r +t 32 ^ +oo |- dtp
d tp .
dt.
i 2 M = { (x' t ) i x) j ^ l i s <M)" i ("i',)
En dfinitive,
/+00 d
[x i-> (p(x, x) + tp(x, x)] dx = 2<p(0,0),
- - L s
car tp est support compact. On en dduit quon a, au sens des distributions :
d2Y d2Y
= 2S,( 0 ,0 ) -
dt2 dx2
Par intgration par parties dans chacune des deux intgrales figurant dans I(tp), on ob
tient :
Pour t > e > 0, on a : ( | | - |^ |)(., f) = 0, de sorte que la deuxime intgrale est nulle.
Par le changement de variable x = 2y/s u dans la premire intgrale, on obtient alors :
Corrig de lexercice III.9 1) On part de lgalit (cf Proposition 3.1 du Chapitre II) :
v(x) = t>(0 ) +
Jo
f v'(t)dt,
complte de : v(0) = 0. Par lingalit de Cauchy-Schwarz, on obtient la majoration
uniforme suivante, sur [0 , 1 ] :
2) Par symtrie, on crit, pour tout x [0,1/2], v{x) = f * v'(t) dt, mais aussi pour
x [1/2,1], 'u(x) = J / v'(t) dt. Par lingalit de Cauchy-Schwarz, on obtient dabord
les estimations uniformes suivantes :
x [0 , 1 / 2 ], |v(a:)|2 < x
Jo
f \v'(x)\2dx,
a: [1 / 2 , 1 ], |v(a:)|2 < (1 - x) f
Jo
\v'(x)\2dx.
/*1/2 1 r1 f1 1 P1
/ \v(x)\2dx < - / \v'(x)\2dx, / \v(x)\2dx < - / |v'(x)|2dx,
Jo 8 Jo J 1 /2 8 Jo
ce qui donne le rsultat.
3) Considrons deux solutions u\ et 2 au problme (P) et notons u = u\ u2. Alors
u est solution dun problme analogue, mais o le second membre / est nul. Multipliant
lquation par u(x), et intgrant sur [0 , 1 ], on obtient :
! u"(x)u(x)dx k u2(x)dx = 0.
Jo Jo
Par intgration par parties dans la premire intgrale, et tenant compte des conditions aux
limites, on a :
f [u'(x)]2dx = k Jof u2(x)dx.
Jo
Or, par dfinition de p, on a ncessairement :
4) Daprs la deuxime question, p < 1/8. Les solutions non triviales de (P) avec / = 0
sont de la forme u(x) = sin(\/k:x), avec k = l2ir2, l entier. En particulier, pour k = 7r2,
le problme (P) admet plusieurs solutions (0 et sin(irx)), ce qui ne peut avoir lieu que si :
k > l/p, et on obtient : 7t2 > 1/p.
tp(x\,x2)=Jfxi
d-ip(t,x2)dt,
on a, grce lingalit de Cauchy-Schwarz :
\'tp(xux2)\<(xi+1)J \^-(t,x2)\2dt,
puis par intgration relativement chacune des variables, on obtient lingalit demande
avec C = f _ 1(xi + l)dx\ = 2 . On peut amliorer cette constante en symtrisant le
raisonnement ci-dessus, i.e. en crivant lidentit prcdente pour xi [1 , 0] et pour
Xi [0 , 1 ], en partant de :
[1 ,, ,
tp{xu x2) dt,
puis en majorant sparment sur chacun des intervalles x\ e [1,0] et x\ G [0,1] comme
en dimension un (cf lexercice prcdent). On obtient alors : C = 1/2. Le rsultat se
gnralise aux fonctions de H 1(Cl) nulles sur lune des deux droites T_i ou Ti par densit
des fonctions rgulires.
Jn
I = / u(x)dxy dx.
On a :
u(x) = u(y) + f u'(t)dt.
Jy
2) Lapplication qui toute fonction de H 1(Cl) associe son intgrale sur Cl est une forme
linaire continue (utiliser lingalit de Cauchy-Schwarz et le fait que Cl est born) ; les
pace V est donc un Hilbert (comme sous espace ferm dun Hilbert). Par ailleurs, pour
toute fonction u de cet espace V, on a :
de sorte que la semi-norme |. | est une norme sur V quivalente la norme ||.||i,n et
lespace V est donc un Hilbert pour cette norme rduite.
Formulation variationnelle de
problmes aux limites
Chapitre IV
Formulation variationnelle
et thorme de Lax-Milgram
Dans ce chapitre, nous montrons dabord comment transformer un problme aux limites
elliptique en problme variationnel, puis nous dmontrons un thorme permettant dassu
rer lexistence et lunicit dune solution au problme variationnel ainsi obtenu. Lquiva
lence entre les deux formulations {le. le problme aux limites et sa forme variationnelle)
est galement aborde.
1 Un problme modle
(c.f. u
On se propose de rsoudre le problme suivant : trouver
Exemple 1.4 du chapitre I pour le cas n = 2) :
: Cl C K * R solution de
Nous supposons que louvert Cl est born de frontire lipschitzienne et que c L(Cl) et
/ G L 2(Cl).
La condition la limite sappelle condition de Dirichlet homogne, le qualificatif homo
gne tant d au fait que le second membre de (IV.2) est la fonction nulle.
Comme pour lExemple 1.1 du mme chapitre, on souhaite dabord rpondre aux ques
tions thoriques suivantes (les aspects numriques seront vus ultrieurement, dans la par
tie III) :
Q l : Ce problme admet-il une solution ? Si oui, dans quel espace ?
Q2 : Si une telle solution existe, est-elle unique ?
Q3 : Si oui, dpend-elle continment de la donne / ?
Sil est possible de rpondre de manire positive toutes ces questions, on dit que le
problme est bien pos au sens dHadamard. Pour rpondre ces questions, nous allons
utiliser la mme stratgie que celle introduite pour lExemple 1.1 du Chapitre I, stratgie
qui consiste dabord transformer le problme en lcrivant sous forme variationnelle.
Supposons que u soit une solution du problme (IV.1)-(IV.2) ayant la rgularit suivante :
u H 2(C). Soit v G H 1(Cl) quelconque. Multiplions lquation (IV.l) par v(x) et int
grons sur Cl ; on vrifie que cette intgration est possible, compte tenu des hypothses qui
40 Chapitre IV. Formulation variationnelle et thorme de Lax-Milgram
entranent que les produits Auv, cuv et f v sont intgrables sur i l On a donc :
Supposons maintenant que 'jov = 0 (i.e. que v G H q(Q) ; remarquons que cette proprit
est satisfaite par la solution u) ; il reste alors :
V = H^(fl), (IV.4)
A(u, v) = / Vu(x) SJv(x)dx + / c(x)u(x)v(x)dx, (IV.5)
J l J l
L(v) = fJnf(x)v{x)dx. (IV.6)
Le problme : trouver u G V tel que (IV.3)-(IV.6) ait lieu est appel formulation varia
tionnelle du problme aux limites (IV.1)-(IV.2).
Dans cette formulation, on remarque que lespace V est un Hilbert (on lappelera souvent
lespace variationnel), que la forme A est bilinaire (i.e. linaire par rapport chacun de
ses deux arguments) et que la forme L est linaire : ces premires proprits sont impor
tantes, comme nous le verrons ultrieurement, pour ltude du problme variationnel.
Supposons dans un premier temps avoir rsolu ce problme (la rsolution rsultera du
Thorme de Lax-Milgram que nous dmontrerons un peu plus loin dans ce chapitre) ;
la question naturelle que lon se pose alors est la suivante : a-t-on pour autant rsolu le
problme de dpart ? Pour cela, nous devons interprter le problme variationnel : cest
ce qui fait lobjet du paragraphe suivant.
Proposition 1.1 Soit u G H 2(fl). Alors u est solution du problme aux limites (IV. 1)-
(IV.2) si et seulement si elle est solution du problme variationnel (IV.3)-(IV.6).
Dmonstration Nous avons dj montr que si u G H 2(fl) est solution du problme aux
limites, elle est solution du problme variationnel. Reste donc tablir la rciproque. Soit
u G V solution de (IV.3)-(IV.6). Comme (IV.3) a lieu pour toute fonction v G H q( ), elle
est en particulier vraie pour toute fonction test v G T>(f), ce qui nous permet dinterprter
(IV.3) au sens des distributions. En effet nous avons, pour toute fonction v G V(f) :
53 f J&
+ [ c(x)u(x)v(x)dx
J fl
= [ f(x)v(x)dx,
J fl
2. Autres exemples classiques 41
'
de sorte que lon a :
Utilisant ensuite la dfinition de la drive au sens des distributions, cette galit devient :
(IV. 15)
3. Le thorme de Lax-Milgram 43
On a encore les proprits suivantes : lespace V est un Hilbert, la forme A est bilinaire et
L est linaire. La formulation variationnelle du problme (IV.l 1)-(IV.12) scrit : trouver
u G V solution de (IV.3), (IV.13)-(IV.15).
Remarque 2.1 On remarque que la condition la limite de Neumann (IV. 12) apparat
sous forme dun terme intgral (sur T) dans la forme linaire L. Elle napparat pas dans
lespace variationnel V, contrairement au cas Dirichlet. Pourquoi ? Il y a plusieurs re
marques faire ce propos :
1) Dans lespace V, on ne peut pas imposer de condition portant sur la trace dordre un ;
en effet, u V ayant uniquement une rgularit de type H 1 (et non H 2), 71 u nest pas
a priori bien dfini, dans le sens o 71 u nest pas dans lespace L 2(T) (notons quon
pourrait affaiblir ces hypothses en travaillant dans des espaces de Sobolev coefficients
ngatifs, ce que nous ne ferons pas dans cet ouvrage).
2) Pour le problme de Dirichlet, la condition la limite tait impose sur la fonction test
v (et non sur u) et si on ne lavait pas impose, le terme intgral f r yiu(x)7 ov(x)dT(x)
naurait pas t dfini pour un u ayant seulement une rgularit de type H 1 (puisque
7 i L 2 (r)) ; on navait donc pas le choix : il fallait annuler ce terme ! Ici, une telle
annulation nest pas ncessaire, car tant donne la condition la limite 7 1 = g et
lhypothse g G L 2 (T), le terme intgral qui en rsulte f r g(x) j0v(x)dr(x) est alors
parfaitement dfini !
3) Par ailleurs, il est hors de question dimposer ici une condition du type v = 0 sur T
dans lespace V, car noublions pas que nous recherchons u dans ce mme espace V :
cela reviendrait alors imposer une condition la limite supplmentaire u, ce qui dune
part na pas lieu dtre, et dautre part aboutit un problme mal pos (dans le sens o
il nadmet pas ncessairement de solution). De manire gnrale, retenons quil ne faut
pas introduire dans lespace variationnel V des conditions aux limites supplmentaires
par rapport celles vrifies par la solution u du problme aux limites de dpart.
3 Le thorme de Lax-Milgram
Nous nous proposons de rsoudre les problmes variationnels introduits plus haut, cest--
dire de montrer quils admettent effectivement une solution et une seule. Pour cela, nous
allons utiliser un thorme abstrait dans des espaces de Hilbert. Auparavant, rappelons
quelques rsultats danalyse dans de tels espaces.
De plus on a :
pour tout y e C , (x - Pc{x),y - pc(x)) < 0,
et P c ( x ) est l unique lment de C vrifiant cette ingalit.
(ii) Si C est un sous-espace vectoriel de H, alors :
pour tout y C, (x P c ( x ) , y ) = 0,
H = CC\
Dmonstration Lunicit est immdiate, car si u\ et tt2 sont deux solutions, alors, daprs
(IV.16), ui U2 H x = {0}. Reste montrer lexistence dun tel u. Si L = 0, alors
u = 0 convient. Supposons L ^ 0 et introduisons le noyau A = KerL de L. Cet espace
vectoriel A est un sous-espace ferm de A (car L est continue) et H ^ A, car L ^ 0.
D aprs le Thorme des projections, on a la dcompostion H = A A x et lespace A 1
nest pas rduit {0} ; il contient donc un lment v0 non nul. Quitte le diviser par sa
norme, on peut supposer quil est unitaire, i.e. de norme 1 .
Soit v quelconque dans H ; on peut le dcomposer de la manire suivante :
L{v)
v v0 + w,
L ( v 0)
L (v ) L{v)
(wo.w) = IN I2 =
L{v o ) L{v o )
puisque IKH = 1. On a ainsi construit un lment u de H, u = v0L(v0), tel que pour tout
v 6 H on ait L(v) = (u, v ), ce qui termine la dmonstration.
trouver u . V tel que pour tout v G V on ait : A(u, v) = L(v). (IV. 17)
3. A est coercive (on dit aussi F-elliptique, ou tout simplement elliptique, sil ny a
pas dambigut sur lespace), Le. il existe une constante a > 0 telle que
Lexemple le plus simple est celui o A est le produit scalaire sur F : on a en effet toutes
les proprits prcdentes avec M a = 1. Dans le cas gnral, notons que a < M.
Par abus de langage, nous conviendrons de dire que C (resp. M, a) est la constante de
continuit de L (resp. de continuit de A, dellipticit de A), mme si ces constantes ne
sont pas dfinies de manire unique !
Il suffit pour cela de montrer que limage de loprateur linaire A est lespace V tout
entier. Nous remarquons dabord que A est continu, car nous avons, daprs (IV. 19),
v = limp_ +0o A(up). La suite {A(up))pe^ est en particulier une suite de Cauchy ; il en est
galement de mme pour la suite (up)peN, en raison de (IV.20) qui donne :
a\\up -Uq\\v < A(up - u q,Up-Uq) < \\A(up) - A(uq)\\v \\up - uq\\v ,
Prenons A > 0. Divisons (IV.25) par A, puis faisons tendre A vers zro ; nous obtenons :
Cette solution u est aussi l unique lment de C qui minimise dans C la fonctionnelle E
dfinie par :
E(v) = ^-A(v , v) L(v).
La dmonstration est immdiate : elle repose dabord sur le Thorme de Riesz sur les
pace V muni du produit scalaire dfini par A (puisque cette forme est symtrique et que
la norme associe est quivalente la norme usuelle de V), et ensuite sur le Thorme des
projections sur un convexe ferm. Enfin, lquivalence avec le problme de minimisation
se dmontre de la mme faon que dans la Proposition 3.4 (en crivant (IV.23) sous la
forme E(u) < E(u + X(v u)), pour tout A G [0,1] et pour tout v G C).
trouver u G C tel que pour tout v e C, on ait : A(u, v u) > L(v u), (IV.28)
avec A donne par (IV. 14) et L par (IV. 15) avec ici : g = 0. Lespace variationnel est
V = H 1(O) et C est dfini par :
On suppose de plus quil existe une constante cq > 0 telle que c > co presque partout
dans fl, si bien que A est V -elliptique. Lensemble C est convexe non vide et on peut
aisment vrifier quil est ferm. Le Thorme 3.5 sapplique donc, et il existe une unique
solution u C sa problme (IV.28),(IV.14)-(IV.15) avec V = H 1(fl) et g = 0. Cette
solution u est caractrise par :
On remarque en particulier que soit 70u soit 7 1 est nul sur T, mais la partie du bord T
sur laquelle 70 = 0 est inconnue. Ce problme entre dans la catgorie des problmes
de Signorini, Le. des problmes o certaines conditions aux limites prennent la forme
dingalits.
Nous rfrons par exemple [6], [9], [19] pour des dtails et des commentaires concernant
ce problme (appel aussi problme des parois permables), et pour dautres exemples
dinquations variationnelles.
Chapitre V
Exemples dapplication du thorme de Lax-Milgram
du
dxi (x ) ^ ( x ) dx\ <
do:
|X (u,u)| < M \u\i>a\v\ha,
avec : M = 1 + [ap(D)] 2 ||c||Loo(n).
Etudions maintenant la coercivit de A. Nous avons :
Nous remarquons que si c > 0 presque partout, A est elliptique car : A(v, v) > M?*.
Y a til dautres cas pour lesquels lellipticit est encore vraie ? En dautres termes, peut
on admettre des valeurs ngatives pour c? Notons c~ la partie ngative de c (Le. c~ est
la fonction dfinie par : c~(x) = c(x) si c(x) < 0 et c~(x) = 0 sinon). On a en effet la
minoration suivante :
qui montre que si 1 [Cp(ii)]2 ||c ||//(fi) > 0 , alors la forme A est elliptique et le
thorme de Lax-Milgram peut donc sappliquer. En conclusion, nous avons le rsultat
suivant :
Thorme 1.1 Supposons que : f L 2(C), c L(C). Alors, si l une des deux condi
tions suivantes est satisfaite :
le problme variationnel (IV.3)-(IV6) a une unique solution u dans Vespace //(fi)- Cette
solution vrifie le rsultat de rgularit suivant : A u G L 2 (fi). De plus, u vrifie Vqua
tion (IV. 1) presque partout dans fi et la condition la limite (IV.2) presque partout sur T.
Par ailleurs, il existe une constante positive Cq telle que
Corollaire 1.2 Les hypothses sont celles du Thorme 1.1, de sorte que le problme
variationnel (IV.3)-(IV.6) admet une solution unique u dans //(fi). Alors, si u G H 2(Cl),
le problme aux limites (IV.1)-(IV.2) admet une unique solution dans H q(Q) fl H 2(fi).
Remarque 1.1 Pour conclure lexistence dune solution du problme aux limites de
dpart, dans Z/(fi) H Z/2 (fi), il reste donc une seule question : quand peut-on dire que la
solution u de (IV.3)-(IV.6) est dans lespace Z/2(fi) ? Nous y avons partiellement rpondu
(positivement) dans le cas mono-dimensionnel (c.f. Remarque 1.1 du Chapitre IV). La
rponse dans le cas gnral est plus dlicate ; nous laborderons la fin de ce chapitre.
2. Le problme de Dirichlet non homogne 51
trouver U G H q(C) tel que pour tout v G H q(CI), A(U, v ) = L(v), (V.5)
avec A et L respectivement dfinis par (IV.5) et (IV.6), a une unique solution. Par ailleurs,
il existe une constante C'0 > 0 telle que
L ingalit (V.8) montre que lapplication ( (/,(?) G L 2(Cl) x H 2(Cl) > u G H 1(Cl) ),
o u est la solution du problme (V.7), (IV.5), (IV.6) est continue, traduisant ainsi le fait
que ce problme dpend continment des donnes / et G : il est donc bien pos.
3 Le problme de Neumann
Thorme 3.1 Supposons que f G L 2(C), g G L 2(T). Alors, sous l hypothse suivante,
il existe cq > 0, telle que c{x) > cq pour presque tout x G Cl, (V.9)
le problme variationnel (IV.3), (IV.13)-(IV.15) admet une unique solution. Par ailleurs, il
existe une constante positive Cq telle que
Ensuite, lapplication trace 70 tant continue (c.f. Thorme 3.4 du Chapitre II), il existe
une constante positive, note C10, telle quon ait :
On a donc :
do on dduit finalement :
avec : M = Max(l, ||c||x,c(n)), ce qui montre que A est continue. Maintenant, sous
lhypothse (V.9), on a (IV.20) avec a = Min(l, C o ) , et la forme A est aussi elliptique.
Toutes les hypothses du Thorme de Lax-Milgram tant remplies, on en dduit que le
problme variationnel (IV.3), (IV.13)-(IV.15) admet une unique solution u. De (IV.26),
nous en dduisons aussi (V.10 ) avec ici : C0 Max(l, C10)/a.
Reste montrer lquivalence avec le problme aux limites. Dans le paragraphe 2.2.,
nous avons dj montr que si u G H 2(Cl) est solution du problme (IV.11)-(IV.12), alors
u vrifie (IV.3), (IV.13)-(IV.15). Il reste tablir la rciproque.
Soit u G H 1(Cl) solution du problme variationnel (IV.3), (IV.13)-(IV.15). Nous pouvons
interprter (IV.3) au sens des distributions. Si (IV.3) a lieu pour toute fonction v G H 1(Cl),
elle est en particulier vraie pour toute fonction v G V(Cl) ; on a donc, pour toute fonc
tion v G D(C) : (A u + eu f , v ) = 0, do on dduit : A u + eu f dans
4. Un problme avec conditions aux limites mixtes 53
D'(Cl). Comme / G L 2(C), cette galit nous donne aussi le rsultat de rgularit sui
vant : Au = eu f G L 2(Cl), et lquation (IV. 11) est satisfaite presque partout sur i l
Reste la condition la limite. Pour cela, supposons que u G H 2(Q,), multiplions lqua
tion (IV. 11) par v(x), avec v G H 1(Cl), intgrons sur Cl et utilisons la formule de Green
(II.4) ; nous obtenons :
ce qui donne : 71 u = g dans L 2(r), lespace H 1/2{T) = 7 0[ 1 (i))] tant dense dans
L 2 (r) (c.f Thorme 3.4 du Chapitre II). On retrouve ainsi la condition la limite (IV.12),
au sens presque partout sur T, ce qui est optimal car g est seulement dfinie presque
partout sur T.
f f ( x ) d x + f g(x)dr(x) = 0;
Jn JT
(V.ll)
Nous allons considrer un problme o les conditions aux limites sont de type Dirichlet
sur une partie du bord, et de type Neumann sur lautre partie : cest ce que nous appelons
des conditions mixtes. Pour simplifier ltude, nous nous plaons en dimension un.
Soit le problme aux limites suivant (c G L(]a, 6[) et ua et (3 sont deux constantes
donnes) : trouver u solution de
pour / G L 2(]a, b[). Nous commenons par rendre la condition la limite homogne en
a, en introduisant la fonction : U = u ua. On est ainsi amen rsoudre le problme
quivalent dinconnue U :
Supposons maintenant v(a) = 0 (cette condition est satisfaite par U ; par ailleurs, sans
cette hypothse sur v, nous aurions un terme U'(a)v(a) mal dfini pour un U ayant seule
ment une rgularit de type H 1 - ce qui sera le cas dans la forme variationnelle - ), il
reste :
pb pb
/ U'(x)v'(x)dx = / F(x)v(x)dx + (3v(b),
Ja Ja
En dautres termes, U est solution de :
avec :
lapplication (v G 7f 1 (]a, 6[) i> v(a)) est donc continue. Lespace V, qui est le noyau de
cette application est alors un sous-espace ferm de lespace de Hilbert rl(]a, b[) : cest
donc lui aussi un espace de Hilbert, pour le produit scalaire induit par lespace H 1(]a, 6[).
Peut-on rduire la norme ? On a en effet, puisque v(a) = 0 (c.f la dmonstration de la
Proposition 3.1 du Chapitre II) :
px
pour tout x G [a, 6], v(x) = / v'(t)dt,
Ja
ingalit analogue celle de Poincar. Comme dans le Corollaire 2.7 du Chapitre II, on
en dduit que la semi-norme |.|i,]a,6[ est une norme sur lespace V quivalente la norme
1111i,]a,6[ et lespace V est un espace de Hilbert pour cette norme rduite.
La forme A tant la mme que pour le problme de Dirichlet, on a les mmes conclu
sions : elle est continue et y-elliptique sous lune des deux conditions (V.2) ou (V.3). La
constante a de ^-ellipticit est galement la mme.
Etudions la continuit de L. Nous avons dune part :
F(x)v(x) dx
/
\J a
< 11-^1 |L2(]a,6[) 11^| |i/2(]a,6[) < (b ~
avec
f(x)v(x)dx + fiv(b),
A e t V dfinis respectivement par (V.18) et (V17), a une unique solution. De plus, il existe
une constante Cqpositive telle que
Il est possible de rduire la norme sur cet espace, grce au thorme suivant, dont on
trouvera la dmonstration par exemple dans [25] (ou dans lExercice III. 12) :
Thorme 4.2 L espace (F\ c T)
g = 0, le problme est dit homogne. Les conditions sur les donnes sont : / G L 2(Cl) et
g G L 2(T).
Recherchons la formulation variationnelle de ce problme. Soit u G H 2(Cl) solution de
(V.27)-(V.28). Multiplions lquation (V.27) par v(x), avec v G H 1(Cl), intgrons sur Cl
et utilisons la formule de Green (II.4). Nous obtenons (IV.3) avec V = H 1(Cl) et
(An + eu f , v ) = 0,
Maintenant, si lhypothse (V.9) est satisfaite, et si lune des deux conditions suivantes est
remplie :
la forme A satisfait lingalit de coercivit (IV.20) avec a = M in(l, co) > 0 dans le
premier cas et a = M in(l,co) C70||a _ ||x, (r) > 0 dans le second cas. La continuit
de A et de L sont immdiates, grce la continuit de lapplication 70 . Nous avons ainsi
montr le :
58 Chapitre V. Exemples dapplication du thorme de Lax-Milgram
Thorme 5.1 Supposons : f G L 2(), g g L 2(T) et a G L(r). Alors, sous les hypo
thses (V.9) et (V.32), le problme variationnel (IV.3),(V.29),(V.30) a une unique solution
u G H 1(fi) et A u G L 2(fi). De plus, il existe une constante Co > 0 telle que
Nous pouvons envisager des oprateurs elliptiques plus gnraux dans le membre de
gauche de (V.27), du type : ( u - V.(M Vu) + eu), o :
ici M (x) est une matrice de taille n x n symtrique, dont les coefficients sont dans lespace
C1 (). Nous supposons quil existe une constante ocm > 0 telle que
ingalit qui montre en particulier que pour presque tout x G fi, la matrice M(x) est
dfinie positive.
Les problmes que nous pouvons aborder scrivent : trouver u solution du problme aux
limites suivant (c G L(fi) et a G L00^ ) ) :
Remarquons que la condition la limite sur P 2 a une expression nouvelle, qui trouvera
toute sa signification, comme nous le verrons ci-dessous, en utilisant la formule de Green
suivante (U reprsente ici un champ de vecteurs de composantes [/, i G {1,..., n}) :
Remarque 6.1 (1) Dun point de vue thorique, si c et a sont positifs presque partout (par
exemple), et si Fi est de mesure non nulle, le problme variationnel (V.37)-(V.26) admet
une unique solution. Ceci rsulte de lellipticit de la forme bilinaire A qui elle-mme
60 Chapitre V. Exemples dapplication du thorme de Lax-Milgram
est une consquence des hypothses faites sur M . Si Ti est de mesure nulle, la conclusion
reste valable si soit c soit a est presque partout born infrieurement par une constante
strictement positive, et lautre reste positive (ce sont naturellement des conditions suffi
santes).
(2) Selon la Proposition 3.4 du Chapitre IV, nous pouvons exprimer le problme varia
tionnel sous forme dun problme de minimisation, car la matrice M est symtrique. Dans
le paragraphe qui suit, nous allons gnraliser cette tude au cas de problmes elliptiques
du second ordre qui ne sont plus ncessairement symtriques. Il ny a alors plus dqui
valence avec un problme de minimisation.
o M est une matrice coefficients dans C1 () , b = (b\, ...,bn)T G [iy 1,00(fi)]n est
un champ de vecteurs, c L(0 ) une fonction scalaire, et la donne / est suppose
tre de carr intgrable dans Cl ; enfin, a et g sont des fonctions dfinies sur T vrifiant :
a G L(r) et g L 2(T). Ici, la matrice M nest plus ncessairement symtrique; par
trouver u G H 1(Cl) telle que pour tout v G H 1(Cl), A(u,v) = L(v) (V.43)
avec :
(V.44)
(V.45)
Il existe ocm > 0 tel que pour presque tout a: O et pour tout = (i, n) G Kn,
n n n
J 2 11, ?,
i= 1 j =1 i= 1
/ [ ( M V u + (b Vu) u + eu2] + / a ^ o u )2
Jn Jv
> a M\u\\<l + J J e - b) u2 + J^(a + h )- v) (70)2,
o, pour simplifier les notations, nous avons supprim les variables dintgration.
o fl est un ouvert born rgulier de R et c G L(fl). Les hypothses sur les donnes
sont : / G L 2(fl) et il existe une fonction G G H 4(Cl) telle que 70 (G) = g et 71 (G) = h.
Posons U = u G. Le problme (V.46)-(V.48) est alors quivalent : trouver U solution
du problme homogne suivant :
avec V = H 2(Cl) et :
Grce lingalit de Poincar (c.f. Thorme 2.6 du Chapitre II), utilise n + 1 fois
(pour la fonction, puis pour chacune de ses drives du premier ordre), lespace V est un
espace de Hilbert pour la norme rduite |.|2,r2- On peut galement aisment vrifier que
lapplication (v i-> ||At>||o,n) est une norme sur H q(H) quivalente la norme |.| 2,o- En
effet, pour tous u, v G D(i), nous avons par intgration par parties :
et cette galit se gnralise par densit a u , v H q(H). Sommant alors sur les indices i
e t j on obtient : \v\\fl < ||A w|| oq < 2\v\\, ce qui montre le rsultat.
Si c > 0 presque partout dans H, la forme bilinaire est elliptique. Le Thorme de Lax-
Milgram sapplique et il existe une unique solution U G H q( ) au problme variationnel
(IV.3),(V.53). Interprtant ce problme variationnel, on obtient le rsultat suivant :
Thorme 8.1 Supposons que f G L 2(il), G G H 4(il). Alors le problme variationnel :
trouver u G G + H q(il) tel que pour tout v H q(il), A(u,v) = L(v), (V.54)
avec
admet une unique solution u. De plus, il existe une constante positive Co telle que
ingalit qui montre que u dpend continment des donnes f et G. Par ailleurs, u vrifie
l quation (V.46) presque partout dans il et les quations (V.47)-(V.48) presque partout
sur T, avec : g = 70 (G), h = 70 (G). Si u G H 4(il), alors le problme aux limites
(V.46)-(V.48) admet une unique solution dans [G + H$(il)] fl H 4(il).
Remarque 8.1 Si il =]a, &[, la solution U du problme variationnel (V.52), (V.53) avec
V = H$(il) est dans lespace H 4(\a, 6[). En effet, on a le rsultat suivant (cf. Exercice
III.4) : si v G V(]a,b[) est telle que v' G L 2(]a,b[), alors v G L 2(]a,b[). Lappliquant
v = (puisque G L 2(]a,b[)), on en dduit G L 2(]a,b[), de sorte que :
U G H 4(]a,b[). Si par ailleurs, F est continue sur [a, 6], alors cette solution U est de
classe C4 sur [a, 6].
9 Conclusion et remarques
o
H tM = {/ G D'(fi), tel que pour tout ip G D(Cl), f<p G H k(fi)}.
(2) Un rsultat de rgularit globale, i.e. jusquau bord T de fi. Pour ce type de rsultat,
la rgularit du bord T du domaine est essentielle, tout comme le type de condition la
limite. Nous rfrons par exemple [8] pour un contre-exemple, quand le domaine nest
pas suffisamment rgulier. Toujours concernant le problme de Dirichlet, nous avons par
exemple le rsultat suivant [13] :
Proposition 9.1 Soit u la solution du problme variationnel (IV.3)-(IV.6), avec f G L 2(fi),
donne par le Thorme 1.1. Si le bord T est de classe C 11, alors : u G 112(fl).
64 Chapitre V. Exemples dapplication du thorme de Lax-Milgram
Ce rsultat est galement vrai pour le problme de Neumann (IV.3), (IV.13)-(IV.15) (avec
g G H ' I \ T ) ) [13].
Le bord T tant suppos de classe C1,1, nous savons daprs le rsultat de rgularit pr
cdent, que u G H 2(fl). Mais u satisfait Au = / , ce qui montre que limage de A est
lespace V tout entier : A est alors une bijection de L 2(fl) dans L 2(f). Comme A est
continu (puisque nous avons : ||A u|| 2(n) < \ / 2 ||w|I2.fi), nous dduisons du thorme de
Banach [3],[14] que son inverse est continu, i.e. quil existe une constante C > 0 telle que
Les deux normes 11.112.fi et (v > ||Au||i, 2(n)) sont donc quivalentes.
Si nous interprtons formellement ce problme variationnel, nous trouvons le problme
aux limites suivant :
A 2U + cU = F dans i, (V.57)
U = 0 sur T, (V.58)
AU = 0 surT. (V.59)
Chapitre VI
Exercices de la partie II
1 Enoncs
Exercice VI. 1 Soit Cl =]a, b[c E (a < b). Soit c une fonction positive, dfinie et continue
sur [a, b\ et / G L 2(]a, &[). On se donne galement deux nombres rels a et 3 avec : a > 0.
On se propose dtudier le problme aux limites (P) suivant : trouver u solution de :
V = {v G v(a) = 0}
est un espace de Hilbert pour le produit scalaire dfini par : (u, v)v = Jau'(x ) v'{x ) dx.
2) crire la formulation variationnelle du problme (P) et montrer que le problme varia
tionnel ainsi dfini admet une solution et une seule dans V. Peut-on affaiblir lhypothse
c > 0?
3) Interprter ce problme variationnel, i.e. montrer que la solution du problme varia
tionnel est solution de (P) en un sens dfinir.
4) On suppose c = 0 et ]a, 6[ = ]0,1[ pour simplifier. Montrer que pour a = 1, le
problme est mal pos, ce qui justifie donc lhypothse a > 0 de dpart.
Conclure.
Suite de Vexercice dans le Chapitre IX (Exercice IX. 1)
Exercice VI.4 Soit Cl =]a, b[c R. On rappelle que (cf. Exercice III. 11) lespace
V = j v G H 1(SI), v(x) dx = 0
est un espace de Hilbert pour le produit scalaire dfini par : (u, v)v J* u'(x) v!{x) dx.
Soient / G L 2(Cl) et c G L(Cl) deux fonctions donnes. On considre le problme aux
limites (P) suivant : trouver u solution de
u" + e u f dans Cl
u() = a, u'(b) = P,
b
u(t) dt = 0 ,
" + c = f dans Cl
(a) = 0, '(b) = P
U(t) dt = 0 ,
avec
x a. 2a
f(x) = f( x ) -c ( x ) [ a -2 a - -----], P = P +
b a b a
(on pourra chercher u sous la forme u = + g, o g est une fonction affine).
2) Montrer que le problme (P) peut scrire sous la forme variationnelle suivante : trou
ver v, G V tel que Vv G V , A(, v) = l(v), o
Exercice VI.5 Soit fi =]0,1[. Etant donnes deux fonctions / G L2 (fi) et c G C(fi), on
se propose de rsoudre le problme (P) suivant :
Cf i TL
= 0 surT 2 = {1 } x] 0, 1 [,
2 Corrigs
Corrig de lexercice VI.1 Pour a = 0, on retrouve lexemple tudi dans le paragraphe
4 du Chapitre V ; nous nindiquons donc ici que les points nouveaux. La formulation
variationnelle de (P) scrit
avec :
et :
L(v) = f f(x)v(x)dx + (3v(b).
ce qui ne nous permet pas a priori dinterprter le problme variationnel pour des fonc
tions v G ifKJO, 1[) (car u H 2(}0, 1 [) et on ne peut pas utiliser la formule de Green
usuelle).
Si maintenant on considre des fonctions v i f 1 (]0, l/2[), on obtient, aprs intgration
par parties :
1/2
/ (u'v'+ u v ) ( x ) d x + ( u ' v ) ( 0 ) u'(l/2 )v(l/2 )
J0
de mme, en considrant des fonctions v G f / 1 (]l/2,1[), on a :
Par diffrence avec le problme variationnel, on obtient alors, pour toute fonction
^ ( ] 0 , 1 [) :
continue et son noyau V est ferm dans i^QO, 1 [) ; lespace V est donc un Hilbert pour
la norme usuelle 11.11i,o.
2) Le problme variationnel (PV) scrit :
o a = Min(l,C) > 0 est la constante de -ellipticit. Utilisant le fait que (cfi Pro
position 3.1 du Chapitre II) : |it(0)| < v^2| |t| |i,n> on en dduit lingalit souhaite
avec : C = Max(l,(3y/2)/a. Cette ingalit traduit la continuit par rapport aux don
nes ( / G L 2(Cl) et 0 G R) de la solution u G U du problme variationnel.
Mi,fi - IM'Ilo,fi.
En dfinitive, la semi-norme |.|2,fi est une norme sur V quivalente la norme usuelle
et lespace V est un Hilbert pour cette norme rduite. Le problme variationnel (PV)
scrit :
2) Pour c > 0 ou 11c | |r, (fi) < 1, ce problme variationnel admet une unique solution
u dans V. Si on interprte ce problme pour des fonctions v G D(fi), on trouve, au sens
des distributions : + eu = / , do on dduit que : G L 2(Q). Daprs lExercice
III.4, on a : G L 2(Cl), ce qui donne en dfinitive : u G H 4(d). On peut alors continuer
linterprtation du problme variationnel, cette fois pour des v G V, comme expliqu dans
le cours, ce qui permet de retrouver les conditions la limite u"( 0 ) = ii"(l) = 0, qui ne
sont pas dans lespace V. On en dduit que le problme (P) admet une unique solution
dans lespace H 4(Cl) fi Hq( ).
3) Du fait que u G H 4( ) , on a dj : u G C3(). Si maintenant / G C(0), alors
u<4> = f - e u e C(), et n e C4().
4) Pour V = H q( ), seules les conditions aux limites changent; elles deviennent alors :
u(Q) = u (l) = 0 et u'(0) = u '(l) = 0. Le problme correspondant admet une unique
solution u G H 4(Q,) fl H q(Q).
70 Chapitre VI. Exercices de la partie II
du du
= 0, s u rriU r2 u r 3 et = au s u r r 4.
dv du
Le problme variationnel (PV) scrit :
f xx dv
v ( x i , x 2) = v ( 0 , x 2) + J (t,x2)dt.
Par lingalit de Cauchy-Schwarz et le fait que (a + b)2 < 2(a 2 + b2), on obtient :
Intgrant relativement aux variables xi et x 2, on obtient le rsultat dans T>() (avec pour
constante Co = 2 ), puis par densit dans lespace H 1^ ) . De lingalit prcdente, on
dduit que :
IMItrHft) (Co + 1 ) [ Mi,2(r4) +
Or, par continuit de la trace, il existe une constante C > 0 telle que
M i2(r4) + I ^ I ! 2( ) ^
2. Corrigs 71
est donc une norme sur lespace H 1(Cl) quivalente la norme usuelle. Muni de cette
nouvelle norme, lespace H 1(Cl) est encore un Hilbert.
3) Compte tenu des hypothses faites sur a, la forme bilinaire dans (PV) est elliptique,
avec pour constante dellipticit a = Min(l, oo). Les hypothses dapplication du Tho
rme de Lax-Milgram sont remplies et le problme (PV) admet une unique solution. La
condition ao > 0 est primordiale pour lellipticit du problme. On constate en particulier
que, dans le cas a = 0, ce problme (de type Neumann) nadmet pas de solution dans
lespace H 2(C). En effet, sil en admettait une, note u, on aurait par intgration sur Cl,
puis utilisation de la formule de Green :
ce qui aboutit une contradiction. Il sagit donc dun problme mal pos.
Troisime partie
Dans ce chapitre, nous prsentons le principe de la mthode des lments finis : chercher
la solution dun problme variationnel approch rsolu dans un espace de dimension finie.
Puis, nous dcrivons la mthode en dimension un et estimons lerreur entre la solution du
problme de dpart et celle du problme discret.
1 Principe de la mthode
1.1. Le but
Dans les chapitres prcdents, nous avons expliqu comment transformer un problme
aux limites concret en un problme variationnel. Moyennant certaines hypothses sur
lEDP, nous avons ensuite montr lexistence et lunicit dune solution de ce problme
variationnel, via un thorme abstrait : le Thorme de Lax-Milgram. Mais il sagit l
dun rsultat purement thorique, ne permettant pas de calculer cette solution de manire
explicite.
Une question naturelle se pose alors : comment dterminer explicitement une solution
approche, qui soit facilement calculable, tout en ayant une ide assez prcise de lerreur
commise par rapport la solution exacte ?
Dfinition 1.1 On dit que les espaces Vh, h > 0, forment une approximation interne (on
parle aussi d approximation conforme) de V si :
1. pour tout h > 0, 14 C V
2. pour tout v G V, il existe Vh G 14 tel que
Dun point de vue pratique, il est galement souhaitable que cet espace 14 soit facile
construire : on pourra choisir un espace form de fonctions propres de loprateur associ
la forme A (dans ce cas, le systme linaire est particulirement simple rsoudre car la
matrice est diagonale), ou de polynmes, ou de fonctions polynomiales par morceaux, etc.
Un autre souci important dans le choix de cet espace est celui du stockage sur ordinateur
de la matrice du systme linaire : plus la matrice est creuse (le. comporte beaucoup
dlments nuis), moins elle occupe de place mmoire.
Notons que nous pourrions aussi envisager le cas de formes Ah et Lh approchant respec
tivement A et L dans ce problme discret.
Nous avons dabord le rsultat suivant :
Proposition 1.2 Soit V un espace de Hilbert et Vh un sous-espace de dimension finie
de V. On suppose la forme linaire L continue sur V, la forme bilinaire A continue et
V-elliptique, le. vrifiant (IV.19) et (IV.20), de sorte que le problme variationnel (VII.l)
admette une unique solution u G V. Le problme variationnel approch (VII.2) admet
aussi une unique solution Uh dans Vh et on a par ailleurs une premire estimation de
l ferreur entre u et Uh sous la forme :
o 3 est un nombre rel donn. Ce problme a dj t tudi dun point de vue thorique
dans le paragraphe 4 du Chapitre V ; nous rappelons rapidement les rsultats obtenus.
Le problme variationnel est de la forme (VII. 1) avec ici :
Nous rappelons que, sur lespace V, la semi-norme | |i,]0,6[ est une norme quivalente la
norme 11j|it]a,6[*
Nous avons le rsultat suivant (cfi Thorme 4.1 du Chapitre V) :
Proposition 2.1 Si l une des deux conditions (V.2) ou (V.3) (avec ici Cp(VL) = (b a))
est satisfaite, alors le problme variationnel (VII. 1) (VII. 10)-(VII. 12) admet une unique
solution u V. Par ailleurs u G H 2(]a, i>[) et c est l unique solution dans l espace
H 2(]a, >[) n V du problme aux limites (VII.8)-(VII.9).
On a :
Proposition 2.2 1. Les fonctions de Vh sont entirement dtemines par les valeurs
quelles prennent en chacun des points x,, i G { 0 , N + 1}.
2. La dimension de l espace Vh est N + 2 et une base est forme des fonctions w ^ \
i G { 0 , N + 1} suivantes :
Ces fonctions sont appeles fonctions chapeaux (en raison de leur graphe; c f
Figure 2), et on a :
N+l
pour tout V h ^ V h , Vh ' ^ 2 , V h { X i ) w (t\ (VII. 16)
i=0
Les scalaires Vh{xi), pour i G {0,..., iV+1}, sont les degrs de libert de la fonction
vh e h.
3. Vh CH\]a,b[).
Dmonstration Le premier point est immdiat, puisque Vhl{x. ^ tant affine, elle d
pend de deux paramtres a et (3 (pour tout x G [a, 6], Vh(x) = a(x x,) -1- (3) qui
sont entirement dtermins par les valeurs Vh{xi) et Vh(xi+x) prises par la fonction
aux deux extrmits de lintervalle [a^Xj+i] (comme h ^ 0, on a : 3 = Vhix,) et
a = (vh(xi+1 ) - vk{xi))/h).
Daprs ce qui prcde, (VII. 15) dfinit les fonctions w ^ \ i G {0,..., N + 1 } de manire
unique. Montrons que ces fonctions forment une famille libre de Vh- En effet, supposons
quil existe N + 2 scalaires o,..., Aw+i tels que la fonction Vh = S j )1 soit nulle.
On en dduit a fortiori quelle est nulle en chacun des N + 2 points x , i.e. que, pour tout
i G {0,..., N + 1} on a :
N+l
0 = vh(xi) = AjWM (xi) = A,.
i=o
(comme combinaison linaire de fonctions de Vh) et elle concide par ailleurs avec Vh en
chacun des points x, puisque lon a :
N+1
Sur chacun des intervalles [rr, x i+i], un calcul simple montre que :
r x i+ 1 r x i+ l
o la notation {v'h} dsigne la drive usuelle de Vh l o elle existe, i.e. sur chacun des
intervalles ]x,a;+i[, o elle est constante gale (^(x+ i ) Vh{xi))/h \ on a donc en
particulier : {v'h\ G L 2(]a, 6[). Sommant sur les indices i, on obtient :
comme cp(a) = <p(b) = 0 , les distributions v'h et {v'h} sont gales et on en dduit que
v'h G L2{]a) 6[), ce qui termine la dmonstration.
On dduit de ce rsultat le corollaire suivant :
Corollaire 2.3 1, Les fonctions de Vh sont entirement dtemines par les valeurs
qu'elles prennent en chacun des points internes du maillage, i.e. les points xi}
i G {1, + 1}.
2. La dimension de l'espace Vh est N + 1, une base est forme des fonctions
i G { l,...)iV + 1} et on a :
n +i
pour tout Vh G Vh, Vh = 5 2 v h(Xi)w . (VII. 17)
=1
Les scalaires Vh(xi), pouri G {1,..., N + l} , sont les degrs de libert de la fonction
Vh Vh.
3. Vh c v.
Dmonstration Soit Vh un lment quelconque de V/,. A fortiori, Vh 4 , de sorte quon
&' Vh = S i l o 1 Vh(xi)wM. Comme par ailleurs Vh(a) = 0, on en dduit (VII.17). Cette
relation montre que la famille forme par les fonctions w, pour i G {1, N + 1} est
une famille gnratrice de lespace Vh ; comme elle est aussi libre, cest une base de Vh et
cet espace est donc de dimension N + 1. Le reste est immdiat.
2. Mise en uvre de la mthode en dimension un 81
Pour connatre Uh, il suffit donc de calculer la matrice A (qui est symtrique, puisque A
lest) et le second membre B de ce systme, puis de le rsoudre.
Commenons par calculer la matrice A, et pour cela explicitons les fonctions de base.
Pour i G {1,..., N}, la fonction w est support dans lintervalle [*_i , x i+i](cf. Figure
2 ) ; sur son support, elle vaut :
= Wo (X , Xl) , x G [aJi,xi+1],
et pour i = N + 1, w (-N+1^(x) = wi((x x n )/K). Cette remarque peut tre utile pour
les calculs.
Calculons les coefficients de la matrice A donns par (VII.18). On remarque que, pour un
indice i donn, il existe au plus trois valeurs de j pour lesquelles le coefficient A itj est a
priori non nul, qui sont : j = i l , i e t i + l s i z < i V e t j = i 1 et z si z = TV + 1 ;
pour ces valeurs en effet, les fonctions et ont des supports dont lintersection
nest pas de mesure nulle. La matrice est donc tridiagonale : lexception des coefficients
de la diagonale principale ( i.e. celle forme par les lments et de ceux des deux
82 Chapitre VIL Prsentation de la mthode des lments finis
diagonales situes de part et dautre de la diagonale principale, tous les coefficients sont
nuis. On a de plus, pour i ^ N + 1 :
Pxi+ 1 / ,
A {ti = / ( > W ]2 + c[w^]2 j (x) dx,
Jxi- 1 X
N + 1:
Pour fixer les ides, poursuivons les calculs pour une fonction c constante (c(x) = c0,
pour tout x G [a, 6]). Pour simplifier le calcul des termes contenant c, on pourra utiliser
les fonctions wo et W\ introduites plus haut, puis faire un changement de variable ; on crit
par exemple :
(*>;( ^](rv)dx dx
v)\(y)wo(y) dy,
^](x)dx = h
(1 - y)ydy
h
6'
, 2 2h A 1 h
Aiti + Co , Ai'i- 1 A,t+i + cog i (VII.24)
et pour i = N + 1 :
1 h 1 h
A n +i ,n +i = jj' + co-, A n ,n + i = ^ + c o -, (VII.25)
o ... \ /1 vx 0
^
h 0 1 v2
L = 0 h dz ! , u = 0 (VII.26)
0 1 vN
U In drt+i ) \o 0 1 J
Les lments non nuis de ces deux matrices sont donns par :
A i' = L i^ U j , = i -h d , (VII.27)
A i,i1 = ^-Ji,ilUiltil = lil, (VII.28)
A i,i+1 = LiiUii-^i = diVi, (VII.29)
V i = A i ti + \ / d i
Zi = (6 j li-iZ i-i) /d i
Ainsi, les lignes de programmation en Fortran de cet algorithme scrivent (les expres
sions crites entre crochets doivent tre naturellement remplaces par leur valeur relle,
en fonction du stockage choisi pour la matrice A) :
\w/ MlL2()X
2
i]Xi+1[) <
^ h3 sup |lt//(i)|
te[o,i]
Reportant cette estimation dans (VII.30), il vient :
Considrons le problme aux limites (I.4)-(I.6) dont la forme variationnelle est de la forme
(IV.3) (cfi Chapitre V) avec V = H$(]0,1 [) et :
On a :
N+l N+ 1
pour tout vh G 14, vh = ^ Vh(xi)u^ + '^2 v'^x^v^K (VII.37)
=0 i=0
Les scalaires Vh(xi), v'h(xi), pour i G {0,..., TV + 1}, sont les degrs de libert de
la fonction Vh G Vh.
3. h C H 2([a,b}).
Dmonstration Montrons dabord le premier point. Soit Vh G 14 ; v/,]XiiX.+l[ tant un
polynme de degr trois, il existe quatre coefficients a, b, c et d tels que :
pour tout x Gjx*, Xi+1 [, Vh(x) = a(x x,)3 + b(x x)2 + c(x x) + d.
Montrons que ces quatre coefficients sont entirement dtermins par les valeurs de Vh(x{),
Vh(%i+1 )> v'h(x i) et vh(x i+1)- On a dabord : d = Vh(xi) et c = v'h{xi). Puis les coefficients
a et 6 sont solution du systme linaire :
dont le dterminant est h4 ^ 0 : il admet donc une unique solution, ce qui montre le
rsultat.
Montrons que la famille forme par les TV+ 2 fonctions et les TV+ 2 fonctions v est
libre. Supposons quil existe TV+ 2 scalaires ; et TV + 2 scalaires Pi tels que la fonction
Vh Y2j=o soit nulle ; elle est a fortiori nulle en chacun des points
Xi ainsi que sa drive. On obtient donc, pour chaque indice i G {0,..., TV+ 1} :
JV+l n +i
0 = vh(xi) = AjU{j\ x i ) + ^ 2 lijV(r>{xi) = Au
3. Exemple dun problme dordre 4 en dimension un 87
et aussi :
JV+l N+ 1
0 = v'h(xi) = = IM,
j= 0 j= 0
de sorte que tous les coefficients -, et pj sont nuis : la famille est libre. Les autres points
se montrent comme dans la Proposition 2.2, ce qui termine la dmonstration.
De la dcomposition (VII.37), on dduit le corollaire suivant :
Corollaire 3.2 1. Les fonctions de Vh sont entirement dtemines par les valeurs
qu'elles prennentf ainsi que leur drive premire, en chacun des points internes du
maillage, Le. les points pouri G {1,..., N } .
2. La dimension de l'espace Vh est 2N , une base est forme des fonctions et
i G {1,..., N } et on a :
N N
POUT tOUt Vh V h> vh = + ^ 2 v h (x i ) vi%) (VII.38)
=1 =1
4*>(x) = h v x e f e - ! ,* ,] , (VII.42)
h
x x
= hv\ ( - ), x G
h
soit :
N N
^ A , v l ( u )y o) + 2 A ^ ( \ u (i)) = L{u(i)) (VII.43)
i=1 i=1
N N
^ v^) + = L (v ^ ). (VII.44)
=i
Introduisons les deux vecteurs X \ et X 2 de Mw de composantes respectives Aj et fij et les
quatre matrices A ^ de taille N x N suivantes :
A ihl)X i + A ^ X 2 = B u
A {2'l)X 1 + A(2-2)X2 = B 2, (VII.45)
Comme dans le paragraphe prcdent (le support des fonctions u ^ et tant lintervalle
[x_i, rci+i]), on montre que chacune des sous-matrices A ^ est tridiagonale.
On pourrait dailleurs amliorer la structure bande de la matrice en numrotant diff
remment les fonctions de base. On peut en effet montrer que si on alterne les fonctions
UM et iiW en prenant pour base de 14 la famille suivante :
alors la matrice est forme de sept diagonales non nuiles : la diagonale principale, les trois
situes au-dessus de cette diagonale principale ainsi que les trois situes en dessous ; et
en dehors de ces sept diagonales, tous les coefficients sont nuis. Sur chaque ligne de la
matrice, il y a toujours six coefficients non nuis, comme ci-dessus (pour les lignes dindice
impair, il y en a trois droite de la diagonale principale et deux gauche, pour les lignes
dindice pair, il y en a trois gauche de la diagonale principale et deux droite).
Dun point de vue pratique, cette structure en bande permet un stockage plus ais de la
matrice . On peut en effet se contenter de ne stocker dans un tableau monodimensionnel
tabA que les valeurs de la matrice A situes dans une bande autour de la diagonale prin
cipale, bande dont la largeur est ici gale 7 ; le tableau tabA ne comporte donc que 14N
termes. Alors quun tel stockage pour la premire numrotation des fonctions de base
donnerait une largeur de bande plus grande, gale N + 3 (quon peut rduire N + 2 en
3. Exemple dun problme dordre 4 en dimension un 89
\ \ u - u h \ \ v < C h 2. (VII.46)
w"(x) =
de sorte que : \w"(x)\ < h supt6[01) |u /3H0l- r>sur lintervalle ]x, x1+i[, on a :
ce qui donne :
(VII.48)
Dans ce chapitre, nous prsentons de manire dtaille la mthode des lments finis en
dimension deux ; ces lments sont ici supposs de forme rectangulaire ou triangulaire.
La notion dunisolvance est introduite. La convergence de la mthode est examine sur
un exemple. Enfin, un exemple de gnralisation aux systmes dordre deux est propos.
1 Introduction
h= max h(Tk),
k{lt...tNT}
o h(Tk) dsigne la diamtre de Tk {le. la distance maximale entre deux points quel
conques de Tk) ; Th sappelle une triangulation (on utilise cette terminologie, mme si
les lments sont des rectangles). On considre une famille de triangulations indexe par
h et note (Th)h. La condition h -> 0 signifie que tous les lments Tk ont un diamtre
qui tend vers 0.
Ces lments doivent satisfaire un certain nombre de contraintes nonces ci-dessous.
Dfinition 1.1 Nous dirons que la triangulation est admissible si :
1. Vintersection entre deux lments quelconques Tk et Ty est soit vide, soit rduite
un point, soit un ct tout entier (de Tk et de T y) (cf. Figure 1 pour des lments
triangulaires) ;
2. tous les coins de T = dfl sont des sommets d lments de Th ;
3. inversement, soit il h = Uk l i ^ k tous les coins de P/, = dCli, sont des points de T
(cf Figure 1 pour des lments triangulaires) ;
4. les lments ne sont pas dgnrs, i.e. ils sont d aire non nulle.
Pour simplifier, nous supposerons que Cl = Clh\ cette condition signifie en particulier que
Cl est un domaine de frontire polygonale (cf. Figure 2).
Le but de la proposition qui suit est de dfinir une base de lespace 14 et de donner les
degrs de libert des fonctions de cet espace.
Proposition 2.1 1. Les fonctions de 14 sont entirement dtemines par les valeurs
quelles prennent en chacun des N s sommets du maillage.
2. La dimension de l espace 14 est N s = (Ni + 2)(N2 + 2) et une base est forme des
Ns fonctions w('1'1 suivantes :
G 14, w ^ ( q ^ ) = 6ij(= 1 si i = j, 0 sinon). (VIII.4)
Ces fonctions sont appeles fonctions chapeaux (en raison de leur graphe; cf.
Figure 3), et on a :
NS
o ",
x,3
dvh d_
E x Rk dxi (Vh\ ), (VIII.6)
dxi k=l Hfc
O
o% dsigne la fonction indicatrice de l'intrieur, not Rk, du rectangle Rk (i-c.
Rk O
la fonction qui vaut 1 sur Rk et 0 ailleurs).
94 Chapitre VIII. La mthode des lments finis en dimension deux
a = vh(Aw ),
a + Phi =
a + 7/12 = Vh(A^),
a + (3hi + -yh2 + 6hih2 = Vh(A( 3 ) ) .
v k
_ vk
OC
L
R k
Montrons que les fonctions chapeaux , i { 1 , N s} forment une famille libre. Pour
cela, supposons quil existe N s scalaires A i , Xms tels que la fonction Vh = Y f= i
soit nulle. On en dduit a fortiori quelle est nulle en chacun des N s points q ^ \ i.e. que,
pour tout i { 1 ,..., N s} on a :
Ns
0 = % (# ) = g ^ % (i)) = V
j =1
Chacun des coefficients * est donc nul, et la famille est libre. Comme elle comporte Ns
lments, cest une base de Vh et tout lment Vh de cet espace peut scrire comme une
combinaison linaire dlments de cette base, i.e. est de la forme : Vh =
Mais pour chaque indice i, on a : V h { q = Y ^ h A,ty^(gW) = Aj, ce qui donne lcri
ture (VIII.5).
Montrons maintenant le troisime point. On a tout dabord clairement Vh C L 2 (fi) (car
Vh C L() et fi est born). Soit Vh Vh ; il suffit donc de montrer que chacune des
drives (au sens des distributions) de Vh est de carr intgrable sur fi. Soit <p une
fonction de Z>(fi) ; nous avons :
OU
Nt
S = y2 [vhWi,k]{x ) d7(*).
fc=i Jo*"
i\k dsignant la composante dindice i de la normale vk dR k oriente vers lextrieur de
Rk (c.fi Figure 5). Dans cette expression, S se dcompose en somme dintgrales sur des
artes de rectangles. En fait on a : S = 0, car de deux choses lune : soit larte considre
est situe sur le bord T de fi, auquel cas tant nulle sur T, lintgrale sur cette arte est
nulle, soit cette arte est intrieure (i.e. non situe sur T) ; dans ce dernier cas, larte,
note [AB], est commune deux rectangles Rk et R y pour lesquels les normales et vy
sont opposes (cf Figure 5) et la fonction intgrer tant continue linterface entre les
deux rectangles (cest ce que nous venons de dmontrer plus haut), on a alors :
ce qui donne (VIII.6) et montre que la distribution est de carr intgrable sur i.
Les scalaires Vh(q(*)) (pour les indices i tels que ql Y) sont les degrs de libert
de la fonction Vh G 14.
3. v h C h ) .
Dmonstration Soit Vh un lment quelconque de 14. A fortiori, Vh G 14, de sorte quon
a, daprs (VIII.5) : Vh = Vh(q)w. Comme par ailleurs Vh(q^) = 0 si q G T,
on en dduit (VIII.7). Cette relation montre que la famille forme par les fonctions u /),
pour i tel que ql T, est une famille gnratrice de lespace 14 ; comme elle est aussi
libre, cest une base de 14 et cet espace est donc de dimension = N s N f = AAA4
Le reste de la dmonstration est immdiat.
r 1
Bi = / [/w w ](x)dx = Y \ B i { R k ) y
Jii k=i
avec B i { R k ) = f [fw ^](x)d x. (VIII.9)
JRk
Cette criture montre que le calcul des coefficients de la matrice et du second membre se
ramne une somme de contributions lmentaires (Aij(Rk) et B fR k )) sur chacun des
rectangles formant la triangulation. On remarque par ailleurs que le support de la fonction
est inclus dans la runion des quatre rectangles entourant le sommet W {i.e. Figure
3). En consquence, pour un rectangle Rk donn, ninterviennent dans le calcul effectif
de A ij(R k) que les indices i et j associs des sommets q ^ et q du rectangle Rk (la
contribution sur Rk tant nulle dans le cas contraire, i.e. si lun au moins des points q
ou qW nest pas sommet du rectangle Rk considr). Cette constatation vaut aussi pour
le calcul du second membre. On est donc ramen un calcul local, i.e. sur chacun des
rectangles de la triangulation ; cest ce que nous allons faire dans le paragraphe suivant.
Ce calcul tant fait, il suffit ensuite de sommer les contributions lmentaires sur chacun
des rectangles pour en dduire lexpression de la matrice A (et du second membre B ) ;
cette dernire tape sappelle usuellement tape d assemblage . Prcisons maintenant le
calcul sur un rectangle lmentaire et pour cela explicitons le calcul des fonctions de base
sur un rectangle donn.
On a dfini ce que lon appelle un lment fini unisolvant, cest--dire essentiellement une
bijection entre un espace des polynmes (ici Q1) et un ensemble de degrs de libert (ici
les valeurs en chacun des quatre sommets du rectangle). Pour tre plus prcis dun point
de vue mathmatique, nous adopterons la dfinition suivante :
Dfinition 2.3 Considrons un lment fini, c'est--dire un triplet (T, P(T), S (T)), o :
1. T est une partie compacte connexe et d'intrieur non vide du plan ;
2. P (T) est un espace vectoriel de dimension finie form de polynmes dfinis sur T
et valeurs relles ;
98 Chapitre VIII. La mthode des lments finis en dimension deux
3. E(T) est un espace vectoriel de dimension finie d form dforms linaires dfinies
sur P (T) ; notons (<pi, ..., p f) une base de E(T).
Nous dirons que cet lment fini est unisolvant si, tant donns d nombres rels a\,...,aci, il
existe un unique polynme p de l espace P (T ) tel que, pour chaque indice i G { 1 , d},
on ait : ipi(p) = au. L espace E(T) dfinit alors ce quon appelle les degrs de libert
des fonctions de P{T).
Bien entendu, pour quun lment fini soit unisolvant, il est ncessaire que les espaces
P(T) et E(T) soient de mme dimension. Cette vrification tant faite, Funisolvance
revient alors exhiber une famille de polynmes pz (i G {1, ...ci}) de lespace P{T) tels
que, pour tout i, j on ait : pfipf) = 5i,j = 1 si i = j et 0 sinon (puisqualors le polynme
p dfini par p = otjPj vrifie : pi{p) = au et ceci pour tout i). On vrifie alors
aisment que cette famille de polynmes pi (i G { 1 , d}) est libre, de sorte quelle
constitue une base de P (T ) : on dit que cest la base associe aux degrs de libert dfinis
dans E(T). Lapplication linaire L dfinie par : L(pi) = ipit pour tout i G { 1 , d}, est
alors une bijection linaire entre les espaces P(T) et E(T).
Inversement, pour montrer que llment fini (T, P (T), E(T)) nest pas unisolvant, il
suffit dexhiber un polynme p non nul de P (T) tel que pour tout i G { 1 , .... d}, on ait :
<Pi(p) = o.
Illustrons cette dfinition sur lexemple tudi. Dans notre cas, T est le rectangle Rk et
P (T ) est lespace des polynmes Q 1 dfinis sur Rk ; il est de dimension quatre et une base
particulire est celle forme des quatre polynmes pW construits plus haut (cf. les expres
sions (VIII. 10)). Lespace E(T) est lespace engendr par les quatre formes linaires,
notes (pW)*, dfinies de la manire suivante : (p^)*(p) = p (A ^ ). Par construction,
nous avons : (pW)*(p^) = p ^ ( A ^ ) = : les polynmes pW sont donc les polynmes
de P (T ) associs aux degrs de libert dfinis dans E(T) (les formes (pW)* sont en fait
duales des pW). Llment fini ainsi construit est donc unisolvant.
Remarque 2.2 Pour simplifier lcriture, nous noterons par la suite
S (Rk) = { p ( A ^ ) ,p ( A ^ ) ,p ( A ^ ) ,p ( A ^ ) } ,
tant entendu que cette notation ensembliste abusive dsigne en fait un espace vectoriel
de formes linaires. Nous adopterons dornavant cette convention dcriture beaucoup
plus simple manipuler.
Avec cette convention, nous avons dmontr la :
Proposition 2.4 L lment fini (T, P(T), E(T)), o :
1. T = Rk
2. P (T ) = Q1
3. E (T) = {p(A W ),p(A W ),p(A W ),p(A W )}
est unisolvant.
Exemple 2.3 Un exemple dlment fini qui nest pas unisolvant : sans changer lespace
de polynmes, considrons pour lment T le carr o les sommets ont
pour coordonnes : B W = (1,0), B = (0,1), B ^ = (-1 ,0 ) et B ^ = (0, 1). Le
polynme p {xi,xf) = x\X 2 sannule en chacun des quatre sommets de ce carr sans tre
le polynme nul : cet lment fini nest donc pas unisolvant.
2. lments finis rectangulaires 99
Quel est le lien entre cette construction locale des fonctions de base et la fonction chapeau
iyW associe au point du maillage ? Cela permet de calculer la restriction de w
chacun des rectangles lmentaires R k. En effet, de deux choses lune :
1 . soit q ^ Rk et = 0,
2 . soit gW . R k ; pour fixer les ides supposons par exemple que concide avec le
point sur Rk (cf. Figure 4), alors : wf^ est le polynme p ^ dfini par (VIII. 10),
i.e. sur le rectangle Rk, on a :
et limage par cette application du carr C est le rectangle R k{cf Figure 6).
F
Il J *1 A1,(Rk) /(R ,)
Par ailleurs, un calcul simple montre que sur le carr C les fonctions de base de lapproxi
mation par lments finis Q 1 associes aux degrs de libert p ( A ^ ) , p ( A ^ ) , p ( A ^ ) et
p { A ^ ) sont donnes par :
100 Chapitre VIII. La mthode des lments finis en dimension deux
( x i - x {i \ R k ) ________ x 2 - x { 2\ . R k ) \
V x ^ iR k ) - x \R k ) x 2 \R k ) - x 2 \R k ) J
Supposons dans un premier temps (pour fixer les ides) que sur Rk, le point q concide
avec le sommet (Rk). Alors, en utilisant les notations prcdentes, nous avons : pour
tout point x de Rk, tu ^ (x ) = p ^ ( x ) = p3(y) = yiy3, avec :
y= f-M = (* - f ) ) , i z l M ) c,
Ail Ai2
de sorte que le gradient de la fonction w sur Rk vaut :
xeR k, Vtu(i)(s) = .
f
JRk
[w{l)f{ x ) d x =
JRk
f
[p(3) ( x ) ] 2 cte = h ih 2
Je
f \p3{y)]2dy
= h ih 2 y\y\d yxdy2 = y p ,
Nous remarquons en particulier que le rsultat est indpendant de k. Pour calculer Ai:i,
il suffit de reproduire ce type de calculs dans chacun des quatre rectangles R,['\ R%\
R et R composant le support de la fonction w (c.fi Figure 7 ci aprs). Le point q
reprsente successivement le point dindice local 3 dans le rectangle R (Le. le point not
usuellement dindice local 4 dans R%\ dindice local 1 dans R et dindice
local 2 dans R. Sur le rectangle R, la fonction w concide donc ( une translation
prs) avec la fonction p ^ \ sur R ^ avec pW et enfin sur R avec p(2\ On remarque alors
aisment que le calcul de la contribution lmentaire sur chacun de ces quatre rectangles
est le mme, ce qui donne en dfinitive :
4hrh2 4/ii1112
h
Au = <r>2 + Cq
rll + <r>2
il2
On remarque que les fonctions de base pi (i { 1 , 4 } ) dfinies par (VIII. 11) sont
exactement les produits tensoriels des fonctions de base wo et w\ de lapproximation par
lments finis F 1 en dimension un sur le segment unit [0,1] (cfi (VII.22)). On a en effet :
Le support de cette fonction est la runion des quatre rectangles lmentaires entourant
le point q ( Figure 3). Dsignons par R, R, R et R ces rectangles (cfi Figure
7) ; on a :
(i) _(i)
CE
r4
CO
r5
y
i
12 h2
(i) 0)
R1 r2
iihi
La matrice A a alors une structure en N 2 blocs, chacun des blocs tant de taille Ni x Ni
(cette structure est propre la numrotation choisie ; pour une numrotation des fonctions
de base obtenue en balayant le maillage colonne par colonne, on obtient le mme type de
rsultat mais en inversant le rle de Ni et de N 2). Par ailleurs, la matrice A est tridiago-
nale par blocs et chacun des sous blocs (de taille Ni x N i) la composant est lui-mme
tridiagonal : ceci est d au support des fonctions de base. On a en effet, en notant A^k,V) le
Ni x Ni bloc dindice k ,l de A et par llment de la i me ligne et de la j me
colonne de ce bloc :
(A(k'l^)ij A ( w ^ w, <S>
0 0 0
A ( n 2 ,n 2 - i ) 4 ( w 2,jv2) y
o 0 0 0
2. lments finis rectangulaires 103
Am Am A (k,l)
0 0 0
A (k.l) A (k,l)
0 0 0 0 ^N uN i
a (4) a<34> aW
Nous avons la :
Proposition 2.5 L lment fini (T, P (T), (T)) suivant est unisolvant :
1. T = R
2 . P(T) = Q2 = Vect (P 2 P 2)
3. (T ) = {p(AM ),p(A{ii+]) e 4},p(G)}
104 Chapitre VIII. La mthode des lments finis en dimension deux
o C est une constante (puisque le polynme du membre de droite est dj dans Q2),
constante quon dtermine par le fait q u e p ^ doit valoir 1 en A ^ ; on trouve : C = 1 .
On peut de cette manire construire effectivement les neuf polynmes et on trouve :
p(^(x) ( 1 - x 1) ( 1 - 2 x 1) ( 1 - x 2) ( 1 - 2 x 2),
p (x) Xi (1 - 2xi)(l - x2)(l - 2x2),
p ^ (x) Xi (1 2xi)x2(l - 2x 2),
p ^ (x) -(1 - xi)(l - 2xi)x2(1 - 2x2),
P (1 '2 ) ( z ) 4xi(1 - i)(l - x2)(l - 2x2),
p(2,3) (x) - 4 xi(1 - 2xi)a:2(l - x 2),
p(3,4) (x) 4xi(l - xi)x2(l - 2x2),
p(4>1)(x) 4(1 - 2xi)(l - xi)x2(l - x2),
p ^ (x) 16xi(l - xi)x2(l - x2).
La suite est alors immdiate. En effet, par construction, la famille forme de ces neuf
polynmes est libre car si on suppose que lon a :
4 4
et 0 = p(G) = cto, de sorte que tous les coefficients a,-, a^l+ (i g { 1 , ...,4}) et cto
sont nuis. Par ailleurs, pour tout 9-uplet ( c t i , c t 4, 1,2 , ..., 0:4,1 , cto) de nombres rels, il
existe un (unique) polynme p G P (T) tel que
Vh = {vh C(), t.q. pour tout k G {1,..., NT} on ait : vh^Rk G Q2}\ (VIII.13)
nous avons la :
Proposition 2.6 1. Les fonctions de 14 sont entirement dtemines par les valeurs
quelles prennent en chacun cls sommets, des milieux d artes et des centres des
rectangles Rk, k G {1,..., N t }, formant la triangulation.
2. Vh C H 'i ).
Dmonstration Montrons le premier point. Pour cela, considrons une fonction Vh quel
conque de Vh et montrons que sa restriction nimporte quel rectangle Rk de la triangu
lation, qui est un polynme de Q2, est entirement dtermine par les valeurs que prend
la fonction Vh aux sommets, aux milieux dartes et au centre de Rk- Or la dmonstra
tion de ce point est immdiate daprs la construction prcdente, puisque, en utilisant les
notations de la Proposition 2.5 (et de la Figure 8), on a trivialement :
4 4
( ^ ) K = ^ V h i A ^ p ^ + ^ v fc(A(7J+))p(w+) + vh{G)p{-0).
3 =1 J=i
Inversement, montrons que les fonctions Q2 par morceaux ainsi construites, sur chaque
petit rectangle (en se donnant les valeurs aux quatre sommets, aux quatre milieux dartes
et au centre) sont continues sur . Cette proprit est essentielle pour montrer le deuxime
point.
Comme dans la Proposition 2.1, il suffit de montrer que le raccord linterface entre deux
rectangles Rk et Rk> est continu. Pour fixer les ides, considrons le cas o linterface
[A, B] entre les deux rectangles est parallle laxe des ordonnes (cf Figure 5) et no
tons C le milieu de [AB]. On note encore pour simplifier v vh\Rk et v' Vh\Rk, . Par
construction, on a : {v v'){A) = 0, (v v')(C) 0 et (v v')(B) = 0. La restric
tion de v v' au segment [AB] est un polynme de degr deux qui ne dpend que dune
seule variable x-i et qui sannule en trois points distincts : cest donc le polynme nul et la
fonction Vh se raccorde donc de manire continue linterface entre les deux rectangles.
Cette vrification tant faite, la dmonstration du deuxime point se droule exactement
comme dans la Proposition 2.1.
Comme nous le verrons plus loin, lutilisation de cet lment fini de degr plus lev
permet damliorer la prcision de lapproximation numrique en diminuant lerreur entre
la solution u du problme continu et la solution Uh du problme discret. Mais elle ne
permet pas a priori de traiter des problmes dordre plus lev que le laplacien (dans le
cadre dapproximations internes).
Dans le paragraphe qui suit, nous allons introduire un lment fini qui permettra de r
soudre un problme du quatrime ordre, du type bilaplacien.
106 Chapitre VIII. La mthode des lments finis en dimension deux
2. P ( T ) = Q 3 = Vect(P 3 P 3),
3. (T) - {p(A>), ( A < >), g(A < 0), < e {1..... 4}},
est unisolvant.
Dmonstration On remarque dabord que lespace Q 3 est de dimension : dim(Q3) =
[dim(P 3)]2 = 4 x 4 = 16, ce qui correspond au nombre de degrs de libert ; on peut donc
avoir unisolvance. Ensuite, comme dans la Proposition 2.5, nous remarquons que, quitte
utiliser la transformation affine F dfinie au paragraphe 2.1.5., il suffit de dmontrer le
rsultat pour llment de rfrence, i.e. la carr unit. Nous supposons donc maintenant
que R est le carr unit.
Pour dmontrer cette unisolvance, nous allons construire seize polynmes de Q 3 associs
aux seize degrs de libert dfinis dans E(T), i.e.
1. quatre polynmes p $ (i G { 1 , 4 } ) tels que, pour tout indice j G {1, ...,4}, on
ait :
2. quatre polynmes p ^ (i G {1, ...,4}) tels que, pour tout indice j {1, ...,4}, on
ait :
Pi dx\ dxidx2
3. quatre polynmes p ^ (i {1, ...,4}) tels que, pour tout indice j G {1, ...,4}, on
ait :
i>3 ) (i G {1,..., 4}) tels que, pour tout indice j G {1,..., 4}, on
2. lments finis rectangulaires 107
Or cette construction est aise, car il suffit dutiliser les produits tensoriels des fonctions
de base uo,Ui,vo, v \ de lapproximation par lments finis P 3 en dimension un, fonctions
que nous avions dtermines dans le chapitre prcdent (cf formules (VII.39)-(VII.40)) !
Considrons par exemple la fonction p dfinie par : p ( x ) = u o ( x \ ) u q ( x 2 ) (avec la notation
x = ( x i , x 2 ) ) ; on a : p G Q3, p sannule aux points A ^ 2\ A ^ et et p ( A ^ ) = 1 . Par
ailleurs, on a :
et ces drives sannulent toutes en chacun des quatre sommets A ^ : le polynme p est
donc exactement le polynme p ^ recherch. On procde de mme pour les diffrents
produits tensoriels et on construit ainsi les seize polynmes recherchs, comme indiqu
dans le tableau suivant (x = ( x i,x 2)) :
P o \ x ) = U o i x ^ U o i x ^ t P ^ i x ) = Uo(Xi)ui(x2), ....
On a ainsi montr que llment fini (T, P (T ), S (T)) de lnonc est unisolvant.
A partir de cet lment fini, nous pouvons construire lespace discret Vh suivant :
Vh = {vh C^), t.q. pour tout k G {1,.... NT} on ait : vh^ k G Q3}; (VIII.14)
nous avons la :
Proposition 2.8 1. Les fonctions Vh de t\ sont entirement dtemines par les valeurs
(VIII. 15)
N1+1 n 2+i
d2Vh
+E E
1=0 2 = 0
dxfdx2
(qW)v(il) v (i2).
108 Chapitre VIII. La mthode des lments finis en dimension deux
3. v h c H 2{).
Dmonstration Le point essentiel consiste ici montrer que les fonctions Vh, Q3 par
morceaux ainsi construites, sur chaque rectangle lmentaire A ^ A ^ A ^ A ^ , partir
des seize degrs de libert
i 6 {1, ...,4}
se raccordent de manire continue, ainsi que chacune de leurs drives partielles pre
mires, linterface entre deux rectangles lmentaires Rk et R y. Le reste de la d
monstration se droule alors de manire analogue celle des approximations Q 1 et Q2
prcdemment tudies (y compris pour le troisime point qui rsulte de la continuit des
drives premires) ; on renvoie aux dmonstrations des Propositions 2.1 et 2.6 pour les
dtails.
Pour fixer les ides, considrons le cas o linterface [ A B ] entre les deux rectangles R k et
Rk> est parallle laxe des ordonnes, ce qui correspond au cas de la Figure 5. On note
pour simplifier v = Vh\Rk et v' = vh\Rkl Par construction, on a :
( - V')(A) = 0, ( - v - m = 0, ( - g j x A ) - 0, < - ) ( S ) = 0.
trouver u H q(.) tel que pour tout v G H q(Q) : A (u ,v) L(v), (VIII.16)
On se propose den calculer une solution approche en utilisant la mthode des lments
finis.
On commence par recouvrir par NT = (Ni + 1)(N2 + 1) petits rectangles R k (avec
k G ( 1 , N t }) de taille h\ = 1/(N i + 1) dans la direction Xi et h2 = l/ ( N 2 + 1) dans
la direction x 2 et on dsigne par Vk (h = M a x (h i,h 2)) lespace discret dfini par :
Vh = {vu G h, = 0, 0}-
du
Noter que la deuxime condition = 0 est une galit au sens presque partout sur
T (puisque la normale v nest pas dfinie aux quatre coins de il) et que les conditions
Vh\r = 0, = 0 scrivent de manire quivalente : en tout point W du bord T,
(,)- U &
i8x.
d v h ,j^ dvh/ d2vh ((i)) = 0
u ^ u ^ 2\ v ^ u ^ 2\ u ^ v ^ e t v ^ v ^ 2\ %\ G { 1 , 7Vi } , 2 G { 1 , Af2},
Vh = V h (q ^ )u ^ 0 r/*2^ + (q W )v ^ u {i2)(VIII.20 )
1=1 2=1 1=1 2=1 ^
N 1 N2 o IVN1 1 iv2
n 2 ^2
<7J )
+ + f f r - (g(*))i(ll/ 0
J. 14 C
Cette description prcise de lespace 14 permet donc de rsoudre compltement le pro
blme variationnel discret associ au problme continu (VIII. 16); ce problme discret
scrit :
trouver un G 14 tel que pour tout Uh G 14 : A(uh,Vh) = L(vh), (VIII.21)
et il est quivalent la rsolution dun systme linaire dont les inconnues sont les com
posantes de Uh dans une base de lespace 1 4 .
Par curiosit, on peut se demander quelle est alors la structure de la matrice A de ce
systme linaire. Tout dpend, bien videmment, de la numrotation des fonctions de
base. Si on choisit de les numroter comme suggr implicitement dans le Corollaire
2.9, Le. en classant ces fonctions en quatre familles selon lordre suivant 0 u (l2\
u^i) ig) u ^2\ u 0 v ^ 2\ puis 0 v ^ (ii G {1,..., iVj} et i2 G {1,..., N2}), on aura
une structure bloc diffrents niveaux :
110 Chapitre VIII. La mthode des lments finis en dimension deux
Nous nous proposons de dcrire la mthode pour des lments de forme triangulaire,
lintrt tant que ces triangles tant a priori de forme quelconque (il faut juste vrifier
que la triangulation est admissible et que la condition (VIII. 1) est satisfaite), cela permet
de mieux pouser la gomtrie du domaine, et donc de considrer des domaines fi de
formes plus gnrales que rectangulaires par morceaux.
Nous commenons par dcrire une approximation par lments finis P 1, puis nous mon
terons en degr dapproximation (P 2, etc.). Bien videmment, nous ne dtaillerons que
les diffrences essentielles avec ce qui prcde.
Nous supposons que le domaine fl est de frontire polygonale par morceaux, de sorte quil
est entirement recouvert par N? petits triangles Tk (k G {1,..., N t }) de taille maximale
h (o la taille dun triangle est le diamtre du cercle inscrit ce triangle). On note q ^ ,
%G {1,..., N s} les points du maillage ainsi form, cest--dire les N s sommets de tous les
triangles de la triangulation. Parmi ces sommets, N f sont sur la frontire T du domaine et
Ni N s N f sont internes (i.e. non situs sur T). On note x = (xi, X2 ) les coordonnes
du plan et P 1 dsigne les polynmes qui sont de degr infrieur ou gal un par rapport
lensemble des variables x i ,x 2 ; cet espace est de dimension trois et il est engendr par
les polynmes 1 , x\ et x 2.
Vh = {vh G C(f2), t.q. pour tout k G {1,..., N t ) on ait : VhiTk G P 1}. (VIII.23)
Proposition 3.1 1. Les fonctions de Vh sont entirement dtemines par les valeurs
qu elles prennent en chacun des N s sommets ) du maillage.
3. lments finis triangulaires 111
Ces fonctions sont appeles fonctions chapeaux (en raison de leur graphe ; cf.
Figure 9), et on a :
Ns
pour tout Vh G 14, Vh = (VIII.25)
i=1
Montrons que la restriction de Vh ce triangle est entirement dtermine par les valeurs
que prend Vh aux trois sommets A ^ \ i g { 1 , 3 } . Notons ( x ^ , ) les coordonnes
112 Chapitre VIII. La mthode des lments finis en dimension deux
de Par dfinition de lespace 14, il existe trois scalaires a, [3, et 7 tels que, pour tout
point x = (27 , x<i) G Tk, on ait :
vh{x) = a + (3x 1 + 7 X2.
Le problme revient identifier les trois coefficients a, (3 et 7 en fonction des valeurs
prises par Vh aux trois sommets du triangle, soit inverser le systme linaire suivant :
Corollaire 3.2 1. Les fonctions de Vh sont entirement dtemines par les valeurs
qu elles prennent en chacun des Ni sommets internes du maillage.
2. La dimension de Vespace Vh est Ni ; une base est forme des fonctions chapeaux
associes aux sommets internes et on a :
Les scalaires Vh(q^) (pour les indices i tels que ql Y) sont les degrs de libert
de la fonction Vh G Vh.
3. Vh c h ).
M = J ^ A iA 1 = 5^ ; (VIII.28)
=1 2=1
ces scalaires sont appels coordonnes barycentriques du point M ; ils dpendent natu
rellement du point M y ce que nous notons sous la forme : \ Xf M) . On a par ailleurs
les proprits suivantes :
1. Ai( A ^ ) = Sij (= 1 si i = j f = 0 sinon) ;
2. les coordonnes barycentriques sont des fonctions affines des coordonnes cart
siennes (X\,X 2 ) et inversement, les coordonnes cartsiennes sont des fonctions
linaires des coordonnes barycentriques ;
114 Chapitre VIII. La mthode des lments finis en dimension deux
1 = Ai + A2 + A3 ,
xi = Aixf^ + A2Xi2^ + A3Xi3\
x2 = Aix?} + A2x2) + X34 \ (VIII.29)
Ces expressions montrent que les coordonnes barycentriques sont des fonctions affines
des coordonnes cartsiennes, ce qui achve la dmonstration du point (2 ).
Montrons le point (3). Daprs ce qui prcde, on remarque que lquation gnrale dune
droite en coordonnes barycentriques scrit : a i Ai + a 2A2 + 3A3 = 0 , o a i, a 2 et a2
sont trois nombres rels quelconques, non simultanment nuis. Calculons lquation de la
droite ( A ^ A ^ ) ; elle est de la forme prcdente, soit : aiAi -(- a 2A2 + a 3A3 = 0. Mais
lappartenance de A ^ et de A ^ cette droite nous donne successivement : ai = 0 et
a ,+ = 0, do on dduit que lquation de la droite est Ai++ = 0. Cette droite partage
le plan en deux demi-plans : lun (qui contient en particulier le point A^++^) dquation
Ai++ > 0, lautre dquation Ai++ < 0 (cf Figure 13).
3. lments finis triangulaires 115
Un point M du plan est donc dans le triangle si et seulement si chacun des trois coeffi
cients Aj(M) est positif (comme le montre la zone reste blanche dans la Figure VI. 13) ;
comme par ailleurs X)i=i A, (Ai) = 1 , on en dduit alors que chacun des A(M) est inf
rieur ou gal 1 , ce qui termine la dmonstration.
Remarque 3.1 Les coordonnes barycentriques ont aussi une interprtation gomtrique.
On a en effet (le symbole A dsigne le produit vectoriel) :
1. T = triangle A ^ A ^ A ^ \
2 . P (T ) = P 1
est unisolvant.
Remarque 3.2 Donnons un exemple dlment fini unisolvant mais pour lequel il nest
pas possible daffirmer que lespace variationnel discret construit partir de cet lment
est une approximation interne de H l {). Considrons llment fini (T, P(T), (T)) o
T est le triangle A ^ A ^ A ^ , P (T ) lespace P 1, mais o (P ) vaut maintenant
(T) = { p ( A ^ ) , p ( A ^ ) , p ( A ^ ) } ,
A^'lP dsignant le milieu du segment A ^ A ^ P . Considrons une fonction vk, affine par
triangle, construite sur chacun des triangles partir de ses valeurs prises en chacun des
milieux des cts des triangles. La fonction ainsi construite na alors aucune raison dtre
continue linterface entre deux triangles, car il ny a quun seul degr de libert sur une
telle interface, alors que la fonction y dpend de deux paramtres.
Nous nous proposons de faire le calcul des fonctions de base sur le triangle unit U, de
sommets nots A ^ , A^2\ A ^ \ puis de transposer les calculs, par transformation affine,
tous les triangles de la triangulation.
Soit Tk un triangle quelconque de sommets nots A^^Tfc), A ^ (T k ) et A^(Tfc). Il existe
une transformation affine G telle que pour chaque indice i, on ait : G (A ^ ) = A ^(T k) ;
cette transformation est dfinie en chaque point x du plan de coordonnes (x i, xf) par :
2 Aire(Tfc) J ^ X f \ y ) X f \ y ) d y .
J
U
[ ^\y)^3r>{y)dy=Jf 2/2 [ yidyxdyz =z\J[ yil-yifdyi
0 ^0 0
1_
24
on trouve le rsultat suivant :
2 Aire(Tfc)
24
On peut montrer de manire plus gnrale le rsultat suivant (i ^ j ^ l *) :
TabA = 0
boucle sur k = 1,..., N t
boucle sur ilocal = 1,2,3
calcul de lindice global i correspondant au point dindice ilocal sur Tk
boucle sur jlocal = 1,2,3
calcul de lindice global j correspondant au point dindice jlocal sur Tk
calcul de la contribution lmentaire AijijTk) donne par :
AATk) = f Tk [ v a L v a L + A ^ A g L ] (*)<**
calcul de lindice ind de stockage du coefficient A hJ dans le tableau TabA
TabA(ind) = TabA(ind) + A itj(Tk)
Fin de la boucle sur jlocal
Fin de la boucle sur ilocal
Fin de la boucle sur k
Pour de plus amples explications concernant la programmation de la mthode (et diff
rentes techniques de stockage de la matrice), on renvoie par exemple [21].
Nous allons maintenant dcrire des lments finis de degrs plus levs, en commenant
par des lments de type P 2.
Nous avons la :
Proposition 3.5 L lment fini (T, P(T), E(T)), o :
1. T = triangle A ^ A ^ A ^
2. P ( T ) = P 2
3. E(T) = { p ( A W ) , p ( A W + > ) , t 6 {1,...,3}}
est unisolvant.
Dmonstration Nous remarquons dabord que la dimension de P 2 concide avec le nombre
de degrs de libert, de sorte que llment fini propos peut tre unisolvant.
p = A(2A - 1) = A*(Aj - A+ - Ai + + ) ,
o nous avons rendu la deuxime expression homogne, grce au fait que les coordonnes
barycentriques ont pour somme 1. On peut de cette manire construire effectivement les
six polynmes et on trouve :
p W (x ) = A i(A i - Ai+ - Ai+ + ), * {1 ,2 ,3 },
Pw+)(s) = 4AiAi+,
ce qui montre lunisolvance.
120 Chapitre VIII. La mthode des lments finis en dimension deux
Remarque 3.5 On pourra montrer en exercice que lespace discret 4 construit partir
de cet lment fini est une approximation interne de lespace H 1(il) (on montrera que les
fonctions de 14 ainsi construites, sur chaque petit triangle, en se donnant les six degrs
de libert dfinis plus haut, se raccordent de manire continue linterface entre deux
triangles).
Remarque 3.6 Nous renvoyons le lecteur lExercice IX.4 pour un exemple dlment
fini non ncessairement unisolvant.
_ 2A + A (iti+M _ AM + 2 A M
A 3 A ~ 3
et le centre de gravit G = -4(1)+ ^ 2>+a(3)
On a la :
Proposition 3.6 L lment fini (T, P(T), (T)), avec :
1. T = triangle A ^ A ^ A ^
2. P(T) = P 3
3. E (T) = { p ( A ^ ) , p ( A ^ ) , p ( A ^ ^ ) , i {l,...,3},p(G )}
est unisolvant.
Pour la dmonstration, nous renvoyons le lecteur lExercice IX.5. On montre que les
dix polynmes suivants forment une base de polynmes de P 3 associs (dans lordre) aux
degrs de libert dfinis dans E(T) :
p (w +) = | A i Ai + ( 2 A i - A i + - A i + + ) ,
p (M + ,+ ) = ^ A i ^ A ^ - A i - A ^ J ,
= 27 A1 A2A3.
On vrifiera aussi en exercice que lespace discret t4 construit partir de cet lment fini
est une approximation interne de lespace H l ().
4. Un exemple destimation derreur 121
(0
A
Par ailleurs, on a :
(VIII.32)
V; G { 1 ,2 ,3 } , V x\ j ( x y ) = Xj(x) - A { y ) G [-1 ,1 ],
|VxAj - { x - y ) | < 1.
Thorme 4,2 Soit Q un ouvert born du plan de frontire polygonale par morceaux,
entirement recouvert par une famille de triangles formant une triangulation admissible.
Sur cet ouvert, on considre la solution u du problme modle (IV.3)-(IV.6), suppose
suffisamment rgulire, et Uh la solution calcule par approximation par lments finis
triangulaires P 1, Le. la solution du problme discret (VII.2) avec Vh dfini par (VIII.22)-
(VIH.23). Alors, si la triangulation satisfait la condition (VIII.l), il existe une constante
positive C (dpendant des drives secondes de u ) telle que
ll-fc||jsri(n) < C h.
l l - ^ l l i i 0>(fi) < C h,
pour un choix particulier de fonction vh de lespace 14. Le bon choix est linterpole
P 1 de u , Le. la fonction, note irhU, affine par triangle et qui concide avec u en chacun des
sommets internes du maillage. Rappelons que la norme dans lespace H q(Q) est dfinie
par :
IM 1/^(0) = ||V i u ||(L2(Q)|2,
de sorte quil suffit destimer le gradient de u nhU. On a donc :
Nt n
= | | V * ( u - 7 r hu)||jjr,2( n ) ]2 = ^2 / | | V x ( u - T r hu ) | | 2 (a ; ) c ix . (V III.3 3 )
fc=1
Nous sommes ainsi amens valuer Vx(u -r^ u) sur chacun des triangles Tk formant
la triangulation.
4. Un exemple destimation derreur 123
S7xnhu(x)
VjAj (x )u (A ^ ).
=1
Par un dveloppement de Taylor de la fonction u au point x T k, il existe un point & du
segment [x , A ^] tel que
Par ailleurs, sur le triangle Tk, on a (si x G Tk, chacune des coordonnes barycentriques
de x relativement ce triangle est positive, et la somme de ces coordonnes vaut 1) :
3 3
et termine la dmonstration.
Comme nous lavons observ ci-dessus, le calcul derreur entre la solution exacte u du
problme variationnel de dpart (dfini dans lespace variationnel V) et la solution un
du problme variationnel discret (dfini sur lespace discret 14 C V) rsulte dun calcul
local (le. sur chaque triangle de la triangulation) derreur entre u et son interpole, note
7rhU, dfinie comme tant la fonction de lespace discret 14 dont les degrs de libert
concident avec ceux de u. On a alors de manire plus gnrale le rsultat derreur locale
suivant (cf. [25]) :
Thorme 4.3 Supposons k > 1. Soit T un triangle quelconque de la triangulation,
suppose admissible. Il existe une constante positive C, indpendante de T, telle que,
pour tout entier m e [0, k -b 1], on ait :
du\ du 2
V u = Div(u) =
dxi d%2
On a donc un systme dquations aux drives partielles
Diffrentes conditions aux limites sont envisageables pour ce type de problme ; nous
considrons le cas de conditions aux limites de Dirichlet homognes, i.e.
u = 0 sur T,
ce qui correspond physiquement des structures encastres.
Ce problme scrit sous la forme variationnelle suivante :
trouver u G [/'(fl)]2, tel que pour tout u G [.Hq()]2 on ait :
/ [AVu : Vu + /x(V u)(V v)](x)dx / ( / v)(x)dx,
Jn Jn
en notant Vu : Vu le produit contract des deux matrices Vu et Vu, soit :
2
Vu : Vu = ^ Vuj Vu*.
*=i
Aprs avoir recouvert le domaine O (suppos de frontire polygonale) par des triangles,
la discrtisation par lments finis P 1 de ce problme consiste approcher lespace fonc
tionnel [io(i)]2 par lespace 14 des fonctions dfinies et continues sur , valeurs dans
IR2, qui sont nulles sur le bord T de O et affines sur chaque triangle. Une base de cet espace
est forme de toutes les fonctions (w, 0) et (0, tyW), o u/W est la fonction chapeau
usuelle, associe au sommet interne q du maillage (cfi Proposition 3.1).
Nous cherchons la solution approche sous la forme dun vecteur Uh de composantes
Uhi, i = 1,2 dfinies par
Ni
uhi{x) = ^ U i j W ^ i x ) , i = 1,2,
=1
o Ni est le nombre de sommets internes du maillage (en convenant, pour simplifier lcri
ture, que ceux-ci sont numrots de 1 Ni). Injectant cette dcomposition dans la forme
variationnelle approche qui scrit :
et faisant parcourir vu tous les lments de la base de 14, nous obtenons le systme
linaire suivant
(U ) (1.2) ul
A X = B, avec A = (1,2)T (2.2) X =
U2
Le vecteur ut (i G {1> 2}) est form par les inconnues Uij, j G {1,..., Ni} et le second
membre B est un vecteur 2Ni composantes, quon peut crire sous la forme :
B = . h = k i = J ^ { f i W U))(x)dx.
Chapitre IX
Exercices de la partie III
1 Enoncs
Exercice IX.1 On reprend lExercice VI.3 du Chapitre VI. On pose h = ^--, N entier
positif, Xi = ih, 0 < i < N + 1. On note 14 lespace des fonctions Vh affines sur chaque
intervalle [xi, z t+i], 0 < i < N , continues sur [0,1] et vrifiant Vh(0) = Vh(l).
a) Donner la base canonique de 14.
b) Ecrire le systme linaire qui permet de dterminer une solution approche du pro
blme rsolu dans la deuxime question de lExercice VI.3 du Chapitre VI. Dtailler les
calculs dans le cas o c et / sont des fonctions constantes.
Exercice IX .2 On reprend le problme ( P) de lExercice VI.5 du Chapitre VI. On se
propose den donner une approximation par lments finis. Pour cela, on dcompose lin
tervalle [ 0 , 1 ] en N intervalles [xi, x + 1 ] comme dans lexercice prcdent, et on cherche
un espace discret H h C C([0,1]), tel que la restriction de v Hh &chaque intervalle
[xi, x i+i] soit un polynme de degr minimal.
Montrer que ce degr est gal 3. Prciser lespace H h, donner sa dimension et en
construire une base. Donner la structure de la matrice A du systme linaire quivalent au
problme variationnel discret.
Exercice IX.3 On reprend lExercice VI.7 du Chapitre VI. Proposer une approximation
par lments finis carrs (de taille h x h avec h = 1 / ( N + 1 ) , N entier) du problme
(P). Prciser lespace discret (dfinition, dimension, base) et dtailler la structure de la
matrice du systme discrtis. Les lments diagonaux sont-ils tous identiques ?
Exercice IX .4 Soit ai a2 a3 un triangle T de M2 et soit V un vecteur donn de R2. On se
propose dtudier lunisolvance de llment fini suivant :
T = triangle ai a2a3, PT = V 2
Et
S/r = |p(a),
OViA > # = 1 ,2 ,3 , i#
Montrer que cet lment fini est unisolvant et construire une base de Pk associe aux
degrs de libert dfinis dans E k -
Exercice IX.7 Soit 2 =]0,1 [2 et Ti = ([0,1] x {0}) U ([0,1] x {1}) U ({0} x [0,1]),
r 2 = { l} x ]0 , 1 [. On se donne une fonction / G L2().
On se propose dtudier le problme aux limites suivant
( -A u = f
(F>
l 9nir, '
puis den dfinir une approximation.
1) Montrer que le problme (P) est bien pos.
2) On se propose den donner une approximation par lments finis P 1, le maillage tant
celui dfini ci-dessous.
ri
1. Enoncs 129
La numrotation des sommets et des triangles est celle dfinie par la figure.
a) Prciser lespace 14 dapproximation et dfinir le problme approch. Montrer quil
admet une solution et une seule Uh.
b) Montrer que les composantes de uh dans une base de 14 sont solutions dun systme
linaire. On note A la matrice de ce systme.
3) En notant Ai, 2, A3 les coordonnes barycentriques dans le triangle Tk, montrer que
lon a, pour tous entiers m ,n ,p :
(P)
W Jr
a) Montrer quil existe Uh G Vh tel que
et
a h ( u - u h , u - u h) = a h( u - u h, u - v h) + (vh - u h) ]() d ^ x ) .
130 Chapitre IX. Exercices de la partie III
4) Si la triangulation % est rgulire, montrer quil existe une constante C > 0 telle que
2 Corrigs
Corrig de lexercice IX.1 Avec les notations du Chapitre VII du cours (cf. paragraphe
2), une base de lespace discret 14 est forme des fonctions w (l\ pour i G { 1 , N + 1}
dfinies par : pour i G { 1 , N } et + w (-N+l\ La solu
tion discrte Uh est de la forme : Uh = o les coefficients Uj sont solu
tions du systme linaire suivant : A X = b, avec les notations : X = i w+i},
A = ((4,j )) i < j <v+ i . B = et :
La matrice A est symtrique ; elle a trois diagonales non nuiles (la diagonale principale
et les deux diagonales situes de part et dautre) ainsi que deux lments non nuis : les
lments dindice i = l , j = N + l e t j = l , i = N + l.
Plus prcisment, supposons quil existe deux constantes co et /o telles que pour tout
x G [0,1], on ait : c(x) = c0 et f( x ) = f 0. Alors les lments non nuis de A sont donns
par (VII.24)-(VII.25) avec en plus :
. . 1 h
A i ,jv+i = A n+ i (i = - - + c0- .
Corrig de lexercice IX.2 Sur chaque intervalle [a:*, xi+\\ ( 1 < i < N), on cherche un
polynme soumis quatre contraintes, puisque ce polynme doit se raccorder de manire
C1 au point Xi avec le polynme analogue dfini sur lintervalle [xt_i, Xi} et de mme au
point xi+i avec celui dfini sur lintervalle de droite [xi+i , x i+2j. Le degr minimal est
donc trois. Lespace discret TIh est alors dfini par :
Corrig de lexercice IX.3 La dmarche est analogue celle dveloppe dans le para
graphe 2 du Chapitre VIII. Lespace discret est lespace 4 dfini par (VIII.3) (avec ici :
Ni = N 2 = N et NT = (N + l) 2) ; sa dimension est N s = (N + 2)2 et une base est
forme des produits tensoriels (i , j G {0,..., AT+ 1}) des fonctions "chapeaux"
usuelles de lapproximation par lments finis P 1 en dimension un. La matrice est struc
ture en (N + 2)2 blocs, chacun de taille (N + 2) x (N + 2) ; elle est tridiagonale par
blocs, chaque bloc tant lui-mme tridiagonal. Les bloc diagonaux sont donns par :
( 4/3 + aj x 0
0 ^
x 8/3
=
0 0 .>3J e { 1 , , N },
*. 8/3 X
0 0 X 4 /3 /
( 2/3 + ao X 0
0 ^
x 4/3
Am = .^
0 0 )
4/3 x
0 0 x 2 /3 /
/2 /3 + a;\M-i x 0 0 \
X 4/3
A (N+1,N+1) =
0 0
4/3 x
\ 0 0 2 /3 /
Corrig de lexercice IX.4 Pour montrer lunisolvance, il suffit de construire trois poly
nmes pi G Pk et trois polynmes <&, i G {1,2,3} tels que :
a i= 2 Aire (T)
o le symbole A dsigne le produit vectoriel. On remarque en particulier que a est nul si
et seulement si V est parallle au ct oppos au point ai.
Cherchons pi sous la forme : Pi = )T^ =1 Pk^l + Z)fc=i lk^k^k+, de sorte que :
Corrig de lexercice IX .51) Une base de P k associe aux degrs de libert dfinis dans
E k est donne par les dix polynmes suivants (i, j G { 1 , 2 ,3}, i 7^ j ) :
2) Il suffit de vrifier que lapplication linaire ip sannule sur une base (?, AiAi+, pour
i G {1,2,3}) de P 2. On a donc P 2 C P 3 C P 3 et la dimension de P 3 est 9 (comme noyau
dune forme linaire non nulle dfinie sur P 3). Cherchons une base de cet espace. Pour
tout polynme P de P k , on a :
P = ^ P ( a i) p + Y , P (ai)Pm + P M p (123)-
= 1 j'e{i,2,3},^j
p =E
=1
( p (l) - p ( m ) +
' '
E
*{1,2,3},#
p^ ) ( p {iij) -
'
Une base de P'z est donc forme des neuf polynmes suivants :
Corrig de lexercice IX.6 On utilise encore les coordonnes barycentriques. Par dfini
tion des normales, on a : VA* = 2 Aire(r) vk+,k++ (o on utilise la convention usuelle sur
les indices). On pose pour simplifier :
(fc) v7 \ 1
ij VA/. 2 Aire(T) ak+CLk++ *ai aU m
Pi(aj ) = Pji
~ li + 7i+ + 7i++
La dimension de cet espace est gale deux et une base est form des fonctions chapeaux
ii/W usuelles (cf. Proposition 3.1 du Chapitre VIII) associes aux sommets Si et 2. Le
problme variationnel approch ( P V h ) scrit :
Il admet une unique solution u/, G VJ,, car lespace VJ, est un sous espace ferm de V (car
de dimension finie) et les hypothses dapplication du Thorme de Riesz sont inchan
ges par rapport au problme ( P V ) . Cette solution scrit : uk = x \ w ^ + x 2w^2\ o
le vecteur X de R2 de composantes x i ,x 2 vrifie : A X = B, avec : A = (A j)i< < 2,
B = ( - 5 ) i < < 2> e t :
8 r
Ai = Y , A iA T k l AiJ (Tk) = / (V w W -V w V )(x )d x ,
k=l JTu
8 t
Bi = > ( 2 1 ) , Bi(Tk) = / (fw V ) ( x ) d x ,
. 1 JTu
en remarquant que sur un triangle 71 donn, ninterviennent dans le calcul des coefficients
de la matrice et du second membre que les fonctions de base associes lun des sommets
de ce triangle.
3) Posons :
J f AAA dx JTk
JTk
f (1 Aa A )mAA%dx.
= 3
= 2 Aire(Tfc) f X iI(l~Xl){p,m)dxi,
J0
o on a pos, pour a et b entiers avec a > 0 , b > 0 :
/W (o ,6 )=
JO
f ta( a - t ) bdt.
Compte tenu des hypothses faites sur / et uo, cette forme est continue et le Thorme de
Lax-Milgram (voire de Riesz) sapplique.
2b) On a, pour tout Vh S Vh :
[ ( u -u h)(vh-Uh)](x) dj(x)
3) Majorons le membre de droite de cette galit. Nous avons dabord, grce lingalit
de Cauchy-Schwarz et le fait que ab < (a2 + b2)/2 :
136 Chapitre IX. Exercices de la partie III
Par ailleurs, utilisant la majoration ab < | a 2 + b'1 (pour tout T) > 0), on a :
2
du
( ^ ( v h - u ) ) ( x )d'r(x) < (h)
- 2 du LHH
Et de mme :
2
du
|y ( (u - uh) )(z) dy(x) < (h)
~ 2 du LHr) + 2^ ) l|u - ^ l l W ) -
du
< e(/i)
du LHr)
1
+ 2e{h) u Wlht) + l^ -^ lli^ r)
Injectant ces majorations dans lexpression de a,h(u Uh, u Uh) trouve dans la question
prcdente, on obtient, aprs simplification :
1 1 du
< 2 \u ~ vh\ 21,0 +
2 1 Uh\\,l 2e(h) Il^/i ^1 lz-2(r) + W d LHr)
Dans ce chapitre, nous prsentons le principe de la mthode des diffrences finies. Nous
lillustrons ensuite sur la rsolution numrique dun problme modle, avec conditions
aux limites de Dirichlet, en dimension un. Nous donnons ensuite quelques indications de
prolongements possibles (prise en compte de conditions aux limites de Neumann, cas de
domaines bidimensionnels)
1 Introduction
1.1. Motivation
Dans les chapitres prcdents, nous avons prsent la mthode des lments finis, qui
est bien adapte aux problmes aux limites associs certains oprateurs dordres pairs
([i.e. o les drives dordre maximal sont paires), comme le laplacien. Que faire pour un
oprateur de transport, ie. de type + , o t et x sont des variables monodimension-
ot ox
nelles ?
Par ailleurs, la mthode des lments finis utilise un concept variationnel abstrait qui nest
absolument pas lmentaire ; pour lappliquer, on doit dabord transformer le problme
aux limites en un problme variationnel, et cest ce dernier qui est ensuite discrtis.
A linverse, la mthode des diffrences finies repose sur un concept trs lmentaire li
la dfinition mme de la drive : approcher la drive par un quotient diffrentiel !
Inutile par ailleurs de transformer le problme aux limites : cest lui qui sera directement
trait. Cette facilit conceptuelle explique la popularit et lantriorit de cette mthode,
en particulier dans des milieux de non mathmaticiens.
h?"
u(x + h) = u(x) + hu'(x) + -u"(),
o est un point de lintervalle ]x, x + h[. On en dduit quil existe une constante positive
C telle que, pour tout h > 0 suffisamment petit, h < h0 (h0 > 0 donn), on ait, en notant
C = supy6[stiI+ko| \u"(y) |/2 :
u(x + h) u(x)
- u'(x) < C h ;
h
en dautres termes, lerreur commise en remplaant la drive u'(x) par le quotient dif
frentiel [u{x + h) u(x)]/h est dordre h : on dit quon a dfini une approximation
consistante dordre un de u' au point x. On dit de manire gnrale quon a une approxi
mation consistante dordre p (p > 0) sil existe une constante C positive, indpendante de
h, telle que cette erreur soit majore par Chp.
Dautres approximations consistantes sont possibles ; par exemple, le quotient diffrentiel
[u(x) u(x h)}/h dfinit encore une approximation consistante dordre un de la drive
premire.
Une faon damliorer la prcision consiste centrer lapproximation, en faisant in
tervenir les points x + h et x h, Le. en considrant le quotient diffrentiel suivant
[u(x + h) u(x h)\/(2h). On a en effet, en supposant u de classe C3 au voisinage
de x :
o + }x, x + h[, e)x h, x[. Par diffrence on obtient, grce au thorme des valeurs
intermdiaires :
u(x + h) u(x h)
= u(x) + y (3)(),
2h
o est un point de lintervalle ]xh, x+h[. On en dduit lestimation suivante de lerreur
commise en remplaant u'(x) par [u(x + h) u(x h)]/(2h) : pour tout h e]0, /io[, on
a:
u(x + h) u(x h) l^(3)(y)l
- u'(x) < Ch2, C = sup
2h y e [x ho,x+ho] 6
On a dfini ainsi une approximation consistante dordre deux de u1. Remarquer que cette
approximation est uniquement dordre un si u nest que de classe C2 : la prcision de
lapproximation dpend donc de la rgularit de u.
o c et / sont deux fonctions donnes, dfinies sur [0,1], avec de plus c > 0. La thorie va
riationnelle nous dit quune telle solution existe (en supposant par exemple c L(]0, 1[)
et / 6 L 2(]0 ,1[)). Dans le cas c = 0, on a mme une criture explicite de u sous la forme :
I I I I I I I I I I I i
Xo O Xi Xi X i - X j \ f -|_i U
o est un point de lintervalle ]x h, x + h[. On en dduit que, pour tout h GJO, ho[, on
a (X.3) avec :
|u(4)(y)|
C--= sup ,
y(z[xho,x+ho\
ce qui termine la dmonstration.
Remarque 2.1 (1) Encore une fois, cette estimation derreur dpend de la rgularit de
u : si u ntait par exemple que de classe C3, on aurait une erreur dordre h et pas mieux.
(2) On remarque que :
D tu {x) = J ; ) D - u(x) = ^ l z ^ i z R .
ib fo
il sagit des oprateurs discrets dcentrs dordre un utiliss dans le paragraphe 1.2. pour
lapproximation de la drive premire.
On dit usuellement quon a discrtis le problme par une mthode de diffrences finies
utilisant le schma trois points de la drive seconde. Il sagit dun schma dit cen
tr : pour valuer la valeur de u au point a+, on utilise les valeurs en trois points centrs
autour de xu le point Xi lui-mme et les points x,+i et 2+i, comme schmatis sur la
Figure 2.
Matriciellement, le problme scrit :
avec :
c(xi) 0 0 \
0 c(x2)
Ah + ) (X.8)
0
l 0 0 c(xN) /
/2 -1 0 ........... 0 \
1 2 -1
A h( 0) (X.9)
h? 0
-1 2 -1 ,
\ 0 ... 0 - 1 2 /
f(xO + B \
/(* 2 )
bh (X. 10)
f(X N -1)
\/(* w ) + f /
On dit quon a discrtis le problme par un schma de diffrences finies ; le schma
est dfini par les relations (X.5)-(X.6).
Pour dterminer la solution discrte Uh, il suffit donc de rsoudre le systme linaire (X.7).
La premire question naturelle qui se pose est alors : ce systme admet il une solution ? En
dautres termes, la matrice Ah est elle inversible ? En fait, on a beaucoup mieux, comme
le montre la proposition suivante.
Proposition 2.2 Supposons c > 0. La matrice Ah est symtrique dfinie positive.
Dmonstration La matrice Ah est clairement symtrique ; montrons quelle est dfinie
positive. Soit X un vecteur de R N de composantes X i , i G {1,..., N }. Calculons X T A h X .
Tout dabord, lhypothse c > 0 entrane :
de sorte quil suffit de montrer que ^4^ est dfinie positive. Un calcul simple montre que
lon a :
Dfinition 2.3 On appelle erreur de consistance du schma (X.7) AhUh = bh, le vecteur
de Rn, not h{u), dfini par :
O
u (xi) \
1th(u) = u (x2)
\ u { x N)
est le vecteur de lRiV qui reprsente la projection de la solution exacte u du problme
continu (X.1)-(X.2) sur le maillage. On dit que le schma est consistant au sens de la
norme 11.11 de R N, si lim/l_o ||/i(t)|| = 0. Si par ailleurs, il existe une constante positive
C indpendante de h telle que, pour tout h e]0, h0] (h0 > 0 donn) on ait :
avec p > 0, on dit que le schma est d ordre p pour la norme \\. 11.
Usuellement, nous utilisons les normes suivantes dans R N : ||.||oo, || ||i et ||.||2. Soit X
un vecteur de R N de composantes X iy i e { 1 , N } ; ces normes sont dfinies par :
On a ainsi montr la :
Proposition 2.4 Supposons la solution u du problme (X.l)-(X.2) de classe C4 sur [0,1].
Alors le schma (X.5)-(X.6) est consistant d ordre deux pour la norme 11| |oo-
Remarque 2.2 (1) Du fait que la dimension N de lespace est lie h par la relation
h(N + l) = l.o n a : |M ) ||i = 0 (h ) et\\eh(u)\\2 = 0 {h 3/2)
(2) On remarque aussi que, si u est de drive quatrime nulle, alors lerreur de consis
tance k{u) est nulle, de sorte quon a : Ah(uk ith(u)) = 0. La matrice Ah tant in
versible, on en dduit que Uh = ith{u), ce qui donne en dfinitive : pour tout indice
i G {0, ...,N + 1}, Ui = u(xi). La solution discrte concide donc avec la solution exacte
en chacun des sommets (internes ou non) du maillage !
2. Application la rsolution du problme modle en dimension un 145
Cette erreur de consistance ne constitue quune premire tape dans lvaluation de ler
reur de convergence de la mthode, erreur quon peut quantifier, par exemple, en calculant
la quantit : \\uh ^ ^ )||o o - Rappelons que, par dfinition, on a :
Par diffrence, on en dduit donc que : Ah{uh 7r^(u)) = /,(u). En dautres termes,
on a :
un ~ 7rh ( u ) = - ( .4 A)_1efc(u). (X.12)
On montre alors le rsultat suivant :
Thorme 2.5 On suppose c > 0. Si la solution u du problme (X.l)-(X.2) est de classe
C4 sur [0,1], alors le schma (X.5)-(X.6) d approximation par diffrences finies est conver
gent d ordre deux pour la norme 11. | |oo- Plus prcisment, on a :
Pour montrer ce rsultat, nous avons besoin de faire appel quelques notions danalyse
matricielle (en particulier de dfinir la norme dune matrice), notions que nous allons
rappeler brivement.
||Ax||
P II = sup sup ||A r||.
rcGEN,||x||=l
Lapplication ||.|| ainsi dfinie vrifie les proprits usuelles des normes, savoir :
1. ||A|| > 0 et : = 0 si et seulement si A = 0 ;
2. pour tout rel , || . || = |A| |||| ;
1 ||< 1 | ||.
Enfin, par dfinition, on a : pour toute matrice A et pour tout vecteur x de R ^,
Pl11 = = ij & } E i ^ - i
i=l j= l
et
M k = V W ),
o la notation p(B) dsigne le rayon spectral de la matrice B , Le. le module de la valeur
propre de B de plus grand module. Dans le cas d'une matrice A qui commute avec sa
matrice adjointe A T (une telle matrice est dite normale), on a :
U2 = P(A).
IK ^ n io o < (X.16)
IK ^V lU = IMfr'elU,
o e est le vecteur de dont toutes les composantes valent 1. Par ailleurs, ( A ^ ) _1e
nest autre que la solution Uh du systme (X.7) dans le cas c = 0 et pour bh = e ; en
dautres termes, cest la solution discrte correspondant au problme aux limites suivant :
Or la solution de ce problme est : u{x) = x(x l)/2 . Elle est de drive quatrime
nulle. Daprs le deuxime point de la Remarque 2.2, on sait que la solution discrte
concide alors avec la solution exacte en chacun des sommets du maillage. En dsignant
par ((A ^ )_1e)j la composante dindice i de ( A ^ )_1e, on a donc : ((A ^ ) _1e)i = u(xi).
On en dduit que :
I P l 0))~lell < sup K * )l =
e[o,i]
ce qui termine la dmonstration.
3 Prolongements
Sans rentrer dans les dtails, nous nous proposons de dcrire brivement la mthode dans
le cas de conditions aux limites de type Neumann, et dindiquer la gnralisation en di
mension deux (ou plus, si ncessaire...).
ce qui donne le schma suivant pour le traitement des conditions aux limites :
Uo = U i~ hgo, un + i = un + hg\.
On a en dfinitive le systme suivant rsoudre :
avec :
/0 ..................................... \
0 c(x 1 ) 0 ............. 0
B, : c{x2) :
+ (X.20)
o / est une fonction donne, continue sur [0,1]. Par la thorie variationnelle, ce problme
admet une solution dont nous nous proposons de calculer une valeur approche, laide
dune mthode de diffrences finies. Pour cela, on recouvre fl de petits rectangles lmen
taires de taille h\ = 1/(N i + 1) dans la direction x\ et h2 = l/( N 2 + 1) dans la direction
x 2. On cherche, pour chaque indice G { 0 , N\ + 1}, i2 G { 0 , N 2 + 1}, une approxi
mation, note de u (iih i,i2h2). Comment? En approchant chacune des drives
d^u
secondes par le schma trois points dcrit plus haut, Le. en approchant j ( z i,.) par
, . , u(xi + h i , .) - 2 u (x i,.) + u(xi - h i , .) ,
le quotient diffrentiel -------------------- 4 ------ -------------- (noter que la variable x 2
h\
ne joue aucun rle dans cette approximation) ; de mme, on approche la drive seconde
d2u , u (.,x 2 + h2) - 2 u ( . , x 2) + u ( .,x 2 - h 2)
2 (> XV par le quotient diffrentiel -------------------- - 2 -------------------Cela donne
73/2 #2-2
le schma suivant :
hi 2 h2
= f ( i i h u i2h2), i 1 { l , . . . , N 1} , i 2 e { l , . . . , N 2} (X.27)
uh,i2 = Pour i {0, Ni + 1} ou pour %2 G {0, N 2 + 1}. (X.28)
ChUh = bh (.X.29)
3. Prolongements 151
( a bi 0 ............. 0 \
l-b 2 0 ........... 0 \
b\ a b\
o . ;
A = 0
, D = :
0
~b\ a b\)
V o 0 b\ a ) l0 - 0 b2 J
o on a pos :
h = h = et a = 2{bi + b2).
Comme en dimension un, on montre que la matrice Ah est symtrique dfinie positive,
monotone et quil existe une constante C > 0 indpendante de h telle que (cf. Exercice
XIII.2) ||( A ) - 1||0O < C. La mthode est convergente dordre deux (pour u de classe
C4).
Au(x) = f( x ) , x i,
u(x) = g(x), x T,
Une deuxime stratgie consiste appliquer la condition la limite aux points dintersec
tion du rseau avec la vraie frontire physique du domaine T. Inutile alors de prolonger
g lintrieur de il ! En revanche, pour les points voisins du bord, il est ncessaire de
modifier le schma cinq points usuel, car la distance au bord peut tre infrieure h.
Comment procder ? Pour fixer les ides, considrons le cas envisag dans la Figure 4.
Le point q, de composantes (iih, i^h), est tel que les points cardinaux q ^ \ q et qff
(situs la distance h de qW) sont tous trois dans il, tandis que q^1 est situ en dehors
de il. On introduit alors le point q$ \ point dintersection du rseau et de T, situ une
distance h' < h du point q ^ \ comme indiqu sur la figure.
1 Le problme continu
On se propose de rsoudre le problme : trouver u : [0,1] x [0, T] * R solution de :
Cjqj Cf'l]
d i {x,t) ~ = /( x ,i) cxu)
u(0,t) = u (l,t) = 0, t ]0 ,T [, (XI.2)
u(a:,0) = uo{x), x]0,1[, (XI.3)
uq tant la donne initiale du problme et / un terme source donn. Montrons dabord
que ce problme ne peut admettre quau plus une solution rgulire et que celle ci dpend
de manire continue des donnes.
1.1. Unicit et continuit par rapport aux donnes des solutions rgulires
Dans ce paragraphe, nous nous proposons de dvelopper des arguments simples permet
tant de montrer rapidement lunicit et la continuit par rapport aux donnes des solutions
rgulires (sans prciser en dtail la rgularit ncessaire ; celle-ci sera examine ultrieu
rement). Nous avons dabord lestimation suivante, qui traduit la continuit, par rapport
aux donnes uq et / , de la solution u du problme (XI.1)-(XI.3).
Proposition 1.1 Supposons uq L 2(]0,1[) et f <E L 2 (]0, TfxJO, 1[). Soit u une solution
suffisamment rgulire du problme (XI.1)-(XL3), on a :
( 0 , i ) = v ( l,t) = 0, t g ]0 ,T [, (XI.6)
v(z,0) = uo(x), xG]0,1[, (XI.7)
et w solution de :
~ x G ]0 ,1 [, t G ]0 ,T[ , (XI.8)
w (0,t) = w (l,t) = 0 , g ]0 ,T[, (XI.9)
w(x, 0 ) = 0, x G ]0 ,1 [, (XI. 10)
de sorte quil suffit destimer sparment v et w. Commenons par v. Pour cela, multi
plions lquation (XI.5) par v(x, t) et intgrons relativement la variable x g ]0, 1[. N o u s
obtenons, aprs intgration par parties, et en tenant compte de la condition la limite
homogne (XI.6) :
r1 f 1 v, ,
IA / v2(x)t)d x
2 dt .J 0 + l
Le deuxime terme tant positif, on en dduit que :
IA [ (fw)(x,t)dx
2 dt JO
II /O >*) IU 2(]o,i[) IM - , t) || ,2()o,io
Par lingalit de Poincar, on a par ailleurs :
I H - , )I|l2(]o,i [) < ( t)
L2(]0,1[)
1 d dw dw
2 dt Hw (-i )lli 2(]o,it) + dx 0 ,0 2(]0,1[) < ||/ 0 i )IU 2(]o,iD dx c ,t) 2(]0,1[)
^ i) I!/(>*)! ll,2(jo,i[) + 7)
L2(]0,1[)
Transposons le dernier terme dans le membre de gauche, on en dduit que :
dw
HU ;(-> 0 lli2 (]O )l[) ^ ^ II u '( - ^ ) I I l 2(]o , i [) + dx (-.0 2(]0.1[) ^ I I/O 0 1 12(10,10
1. Le problme continu 155
Intgrant sur ]0, s[ (avec s G [0, T] quelconque) et tenant compte de la condition initiale
nulle (XI. 10), on obtient, pour tout s G [0, T) :
En dautres termes, u est solution dun problme analogue au problme de dpart (XI. 1)-
(XI.3), mais o la donne initiale u0 et le terme source / sont ici tous deux nuis. Appli
quant lestimation (XI.4) ce problme, on en dduit donc :
sappelle usuellement lnergie du systme. La Proposition 1.1 montre par exemple que,
en labsence de terme source (Le. pour / = 0), cette nergie dcrot au cours du temps
(cest lingalit (XI. 11) tablie ci-dessus), de sorte qu tout instant t, elle est contrle
par lnergie linstant initial, qui est une donne du problme (cf. lingalit (XI.12)). On
remarque par ailleurs que cette proprit reste vraie mme si la variable de temps dcrit
un intervalle non born, Le. pour t g [0, +oo[. Comme nous le verrons plus loin, il sera
important de prserver cette proprit lors de la discrtisation. Enfin, remarquons que la
proposition 1.1 peut facilement stendre au cas dun domaine non born en temps, de la
manire suivante : supposons uo G L 2(]0,1[) et / G L 2 (]0, +oo[x]0,1[) et soit u solution
de (XI.1)-(XI.3) (avec T = -t-oo) ; alors on a :
sup ||u (.,i) ||i 2(]0)1[) < || U o||l *(]0,1[) + | | / | U 2(]0,+ oo[x)0,l[)- (XI.16)
i[0,+oo[
Remarque 1.2 Lingalit (XI.4) traduit la notion de stabilit de la solution par rapport
aux donnes uq et / dans le sens usuel suivant : une petite perturbation, dordre e (o e
dsigne un nombre trs petit), des donnes va induire une petite perturbation (du mme
156 Chapitre XI. Lquation de la chaleur. Approximation par diffrences finies
| | u ( . , f ) - u (e)( . , f ) | | i , 2 (]0,i[) < I K - t i o )| U 2 (]o,i[) + 11/ - / ()||i, 2 (]0 ,r[x] 0 ,i[) < 2e,
ce qui montre que : supig[0Tj ||u(., t) it^ (.i) | |z,2(]o,i[) = O (s). Ainsi, une petite pertur
bation, dordre e , sur les donnes induit une perturbation du mme ordre de grandeur sur
la solution.
Etudions maintenant lexistence de telles solutions.
B\ + B 2 0,
B\ exp (VC) + f ?2 e x p ( VC ) = 0 .
Ce systme homogne admet une solution non triviale si et seulement si son dterminant
est nul, soit : e x p ( 2 V C ) = 1 . Les valeurs possibles de C sont donc tous les nombres de
1. Le problme continu 157
la forme Ck = k2w2, o k est un entier relatif (non nul) quelconque. Pour k donn, X
et T sont alors de la forme : Xk(x) = 2iBi k s'm(knx) (avec i2 = 1 par dfinition) et
Tk(t) = A k exp(-/c 27r2t), de sorte que u scrit sous la forme :
et c est l unique solution du problme (XI. 1)- (XI.3) ayant cette rgularit.
Dmonstration Considrons dabord le prolongement Uo par imparit (sur [1,0]), puis
priodicit (sur R) de la donne initiale o ; la fonction Uo ainsi dfinie est impaire sur R.
Il est clair galement que si uo G (^([ 0 , 1 ]), alors Uo est drivable sur tout R et sa drive
est paire. En revanche, lhypothse uq g C2 ([0 , 1 ]) nentrane pas que Uo soit drivable
deux fois aux points entiers relatifs ; Uo est alors seulement de classe C2 par morceaux sur
R. Par le thorme de Dirichlet (Uo est continue sur R et admet en tout point une drive
droite et gauche), on dduit que Uo est dveloppable en srie de Fourier sur R ; par
ailleurs, comme Uo est impaire, sa srie de Fourier ne comprend que des fonctions sinus.
Plus prcisment, on a :
avec :
h = / : Uq( x ) sm(k7rx)dx J = 2 uq(x ) sm(k7rx)dx.
Montrons (XI. 18). Par intgration par parties, et en tenant compte des conditions aux
limites (XI.2), on a en effet :
2 f1
bk = -r~ u'0(x)cos(k7rx)dx.
kir J o
Intgrant une deuxime fois par parties sur tout intervalle [a, b] c]0,1[, on obtient :
bk =
2
Jf1uo(x ) sm(kirx)dx,
do on dduit la majoration suivante :
N < sup K ( ) |.
(Awr)2 eKi]
Comme pour tout t > 0, on a : exp(k 2n2t) < 1, la srie (XI. 19) est normalement
convergente ; sa somme, cest--dire u, est donc continue sur [0,1] x [0, T], et ceci pour
tout T > 0. La srie obtenue en drivant terme terme relativement la variable t a pour
terme gnral : k2w2bk sm(kTrx) e x p ( - k 2ir2t) ; elle est donc normalement convergente
sur tout intervalle du type [0,1] x [a, T\, avec a > 0. On en dduit que u est drivable par
rapport la variable t, pour tout i > 0 , et que sa drive est donne par :
t
De mme, on montre que
> 0, et que lon a :
u est drivable deux fois relativement la variable x,
pour tout
d2u
- ^ ( .f) = -
fc>i
k2n2bk sin(fc7T) e x p (-fe 27r2t),
ce qui, coupl au calcul prcdent, nous donne lquation (XI. 1). Par continuit de u
sur [0,1] x [O,!1], on dduit (XI.2) et (XI.3). Lunicit rsulte de ltude faite dans le
paragraphe 1 . 1 ..
xt)
les fonctions en jeu, du type ( , > /(x ,
temps ((t
t),
faibles, cest--dire moins rgulires. Pour cela, nous allons essentiellement considrer
comme tant des fonctions de la variable
/(.,f)), quon note parfois en abrg /()), valeurs dans un espace de
1. Le problme continu 159
II /I| lp (0,T;K) = ^ m tW v d t^ j
Par intgration par parties relativement la variable x, nous avons, compte tenu du fait
que u( 0) - u(l) = 0 :
ce que nous pouvons crire formellement sous la forme suivante : pour tout v G #o (]0 , 1 [),
on a :
d
-{u(;t),v)L2Q0>1[) + A (u (.,t),v ) = ( f( .,t) ,v ) L2(]0,1 [), (XI.20)
(u(.,0),v)x,2(|0)i[) = (iio,v)L2(]o,i[) (XI.21)
On trouve :
Ces fonctions forment une base orthogonale de lespace -f^o (]0,1[). Elles forment gale
ment une base hilbertienne de lespace L 2(]0 ,1[) (cest--dire une famille orthonormale
telle que lespace des combinaisons linaires finies dlments de cette famille soit dense
dans L 2 (]0,1[)). On renvoie par exemple [3] et [14] pour une justification de ces rsultats
qui sont admis ici.
A tout instant t, on cherche donc u(., t) sous la forme :
u (x,t) = (XI.25)
i>
Les espaces C([0, T]; L2 (]0, 1 [)) et L 2(0, T; H^QO, 1[)) tant complets, il suffit pour ta
blir la convergence de la suite ( u ( n ) ) n e N de montrer que cette suite est de Cauchy dans
chacun de ces espaces. Soient n et m deux entiers tels que n > m > 1. Nous avons :
(tt(n) - w(m))(x, t) = E L m + i Uk(t)wk(x), de sorte que :
-I 1/2
(rt(") u ( m ) ) ( - , f ) | U 2(]0,l[) = E m o i1
/c= m + l
Comme t > 0 et A* > 0 (pour tout k), on a dabord la majoration uniforme en temps
suivante :
n 1
La suite ( u ^ ) n6N est donc de Cauchy dans lespace C([0, T]; L 2 (]0 ,1[)). Montrons quil
en est de mme dans lespace L 2(0, T; H q(]0,1[)). Rappelons que la semi norme | |ijo,i[
est une norme sur lespace i?o(]0,1[). Par ailleurs, par dfinition de la forme A (lellipti
cit suffirait en fait), on a :
2
k=771+1
= 2 V Xk ( [ ( f ( . , s ) , W k ) m m ) e x p ( - X k( t - s ) ) d s
fc=m+ 1 ^0
quil convient maintenant dvaluer en norme L 1 (]0, T[). On a dabord la majoration sui
vante :
< 1 2 (o.,*)iaao.io
/c= m + l
on a donc aussi, daprs ce qui prcde : ||>,m|Ui(]o,T[) -> 0, quand n, m -> +oo, et la
suite (ti(n))N est de Cauchy dans lespace L 2(0, T; tfJQO,1 [)).
La suite (u(n))nN tant de Cauchy dans chacun des espaces C([0 ,T ];L 2 (]0 , 1 [)) et
L 2(0, T; H l (]0,1 [) ), elle converge vers une limite (qui est ncessairement commune puis
que la convergence a lieu a fortiori au sens des distributions sur ]0, l[x]0, T[) u vrifiant :
u G C([0,T]; L 2(]0,1[)) H L2 (0,T; ffiQO, 1[)).
Reste montrer que u est solution de (XI.20)-(XI.21). Soit <p G D(]0, T[) quelconque et
m, n deux entiers arbitraires avec n > m > 1. D aprs (XI.29) on a, pour tout v G :
- j \ u(n\ . , t ) , v ) L H m )^ { t ) d t +
J0
Passant la limite n > + 00, on obtient alors, pour tout v G C :
rT p\ pT
-J (u (->t),v)L2i]0il[)- ^ ( t) d t + J A(u(.,t),v)<p(t)dt
= (/(>*) v) i 2(]0,H)<p{t)dt.
J0
Comme Um>i est dense dans lespace V = #o(]0,1[) (puisque la famille (wn)n>i est
une base de lespace H q(]0 ,1 [)), on en dduit que lgalit ci-dessus a aussi lieu pour tout
v G #o(]0> 1[) ! en dautres termes, lquation (XI.20) est satisfaite au sens des distribu
tions sur ]0, T[. La condition initiale est satisfaite du fait que dune part r k (. >0) u(., 0)
quand n - +0 0 (daprs la convergence dans C([0 ,T ];L 2 (]0 , 1 [))) et dautre part que
<")(., 0) = J2k=i(uo>wk)LH]o,i[)Wk -> u0 quand n >+ 00, ce qui termine la dmonstra
tion. n
On a par ailleurs le rsultat de stabilit suivant (qui est un peu plus prcis que (XI.4)) :
Proposition 1.5 Supposons que uq G L 2(]0 ,1[) et que f G L2(]0,T[x]0,1[) et soit u la
solution du problme (Xl.20)-(X1.21) donne par le Thorme 1.4 ; alors on a l ingalit
de stabilit suivante :
pourtoutt G [0,T], | | i a ( - , i ) | | i , 2 (]0 , i ( ) ^ IMU*(]o,i[)exP( 7I2*) (XI.36)
ce qui donne finalement (XI.36), compte tenu du fait que : A* > 7r2.
Remarque 1.3 Ces rsultats dexistence et de stabilit se gnralisent sans difficult sup
plmentaire des problmes paraboliques plus gnraux que lquation de la chaleur ; on
renvoie par exemple [25].
Terminons par une remarque concernant la rsolution de lquation de la chaleur sur les
pace R tout entier.
Le problme consiste ici trouver u : R x]0, T[ > R solution de :
f ) lj , cftlL
= /( x ,t) , x g R, t ] 0, U (XI.37)
u(x, 0) = Uo(x), x G R, (XI.38)
+ oo /4-oo pt
/ oo
E{x y, t)uo(y)dy + /
J oo
/ E (x y ,t s ) f (y, s)dyds,
J 0
e x p ( - ), pour t > 0 ,
E (x yt)
0, pour t < 0 .
De cette sorte, tout instant t j , les seules inconnues du problme sont les valeurs cor
respondant aux sommets internes du maillage en espace (i.e. les points X{ correspondant
i G {1,..., N }) ; on notera le vecteur de form par ces N inconnues u~p, pour
i G { 1 , N }.
De mme, linstant initial fo = 0, il suffit de prendre pour solution approche la valeur
de la donne initiale en chacun des points Xi, i.e. dimposer :
Il reste donc maintenant dcrire un procd de calcul des pour j > 1. La mthode
consiste, comme dans le Chapitre X, approcher lquation (XI. 1) en chacun des points
(x i,tj),i G { 1 , N } yj G { 1 , M }. Pour cela, on commence par approcher les op-
d d2
rateurs de drivation et par des quotients diffrentiels. Plusieurs choix sont alors
possibles ; nous commenons par dcrire le schma le plus simple.
et, pour la variable despace, dutiliser le schma centr trois points dfini dans le Cha
pitre X :
4. \ u (x i + l > t j ) - 2 u ( X i , t j ) + u ( X i - 1, t j )
d xl [xi j) - fi2
166 Chapitre XI. Lquation de la chaleur. Approximation par diffrences finies
coupl aux conditions aux limites et initiales discrtes (XI.39)-(XI.40). Ce systme peut
scrire vectoriellement sous la forme suivante :
1/U+1) _ jj U)
+ A hU{j) = C ij), pour j 6 {0 ,..., M }, (XI.42)
At
avec la donne initiale :
( ito(a:i) \
c/() = (XI.43)
;
U0{XN) / 1
o on a pos :
/2 -1 0 ............
^
-1 2 -1 :
1 o ;
Ah = To (XI.44)
w ; **. 0
-1 2 - 1,
l o ... ... 0 -1 2 J
t \
C ij) = (XI.45)
u{xu t)
irhu(t)
Ku (xN, t ) t
Pour valuer cette erreur, on commence par se donner une vectorielle, note ||, sur les-
pace Kw. Les normes que nous envisageons sont essentiellement la norme | |oo dfinie
par :
V = (vi)i<i<N> | | V | | o o = sup H ,
e{i,...,Af}
2. Approximation par diffrences finies 167
V = (Vi)l<i<N,
Pourquoi cette norme ? Parce quelle est lanalogue, au niveau discret, de la norme dans
lespace L 2(]0 ,1[). En effet, on a, pour N suffisamment grand :
IM Ii2(]o,i[)
''1/N
f K z )|2<fo = ] r /
i=1
\v(x)\2d x ~ h ^ 2 v ( x i ) 2.
=1
Par ailleurs, on a lingalit suivante :
V = (V i)l< i< N , ||F |U < {hN )1/2 IIVIloo < \\V \U
du fait que : h = 1 /(N + 1). Une estimation en norme ||.||oo de lerreur de consistance
entrane donc une estimation analogue pour la norme \\.\\h- Nous avons la :
Proposition 2.1 Supposons la solution u du problme (XL1)-(XL3) de classe C2 relative
ment la variable t et de classe C4 par rapport x ; alors, il existe une constante C > 0,
indpendante de A t et h, telle quon ait :
sup IKtO^lloo < C ( A t + h2). (XI.46)
Le schma (XI.41), (XI.39)-(XI.40) est consistant (pour la norme || II. et pour la norme
11.11h en variable d espace) ; il est plus prcisment d ordre deux en espace et un en temps.
Dmonstration La dmonstration utilise des dveloppements de Taylor. Notons e(ti)P
la composante dindice i du vecteur e (u)G> ; on a :
/ \(j) u(Xi)tj+1) uixiitj) u{xi+ \ , tj) 2u(xi)tj ) u(Xi\)tj) . .
\u)i ~~ ^ ^2
o on a pos :
u(xi, tj+i) u^Xi) tj) du ( N
Al =
----------- i---------------
u(xi+i}tj) 2u(x{)tj') + u(xi\ , tj) d^u ( ^
Bi = ------------P -------------
Par un dveloppement de Taylor relativement la variable de temps {xt tant fix), on
obtient :
dix A t 2 d 2ix
u(Xi,tj+1 ) = u(Xi,tj) + A t {xu tj) + 0 r(Xi,r),
2 d t2
(avec r \tj,tj+1 [), de sorte que :
A t d 2u . .
Ai =
T w {XhT)
Concernant Bu on a (cf dmonstration du Lemme 2.1 du Chapitre X) :
d h2diu . f ,
i 12
o est un point de lintervalle ]xlt xi+1[. Compte tenu des hypothses de rgularit faites
sur u, on dduit finalement la majoration (XI.46).
168 Chapitre XI. Lquation de la chaleur. Approximation par diffrences finies
coupl aux mmes conditions aux limites et initiales discrtes (XI.39)-(XI.40). Vectoriel-
lement, ce schma peut scrire sous la forme suivante :
jj U) _ [/O-i)
+ A hU = C, pour j G {1,.... M + 1}, (XI.48)
At
avec donn par (XI.43). Par des dveloppements de Taylor, on montre de manire
analogue que ce schma est consistant dordre deux en espace et un en temps. En re
vanche, il est clair que pour calculer partir de (pour j > 1 ), il est ncessaire
dinverser un systme linaire dont la matrice est non diagonale : cette inversion nest
donc pas immdiate, et on dit alors quil sagit dun schma implicite.
Peut on amliorer la prcision en temps ? Oui, en centrant par exemple le schma de
discrtisation en temps, cest--dire en crivant :
du u(Xj,tj+i) - u(Xj,tj- 1 )
dt 2At
Le schma global qui en rsulte scrit :
u.O + i ) - U -O - i-) ,0 ) . ., 0 )
/(z*,
2 Af h? ~
pour i G {1,.... N } ,j G { 2 , M }, (XI.49)
coupl aux conditions aux limites (XI.39) et deux conditions initiales : (XI.40) pour
dterminer U ^ , mais il est aussi ncessaire de se donner (pour pouvoir crire (XI.49)
ds j = 1). De manire gnrale, il est en effet ncessaire de connatre et pour
pouvoir calculer i/b+i) par lquation (XI.49) : on dit quil sagit dun schma deux
niveaux. Ce schma scrit vectoriellement :
UO + i ) _ [/O -i)
+ A hU = C P \ pour j G M }, (XI.50)
2 f
et donns ; (XI.51)
Nous nous proposons maintenant de prciser toutes ces notions, en remarquant que de
manire gnrale, les schmas prcdents peuvent scrire sous la forme vectorielle g
nrique suivante (U ^ R N, Bk x Rw) :
Un tel schma est l + m niveaux. Il est dit explicite si la matrice Bi est diagonale et
implicite sinon.
Le schma explicite (XL42)-(XL43) rentre dans cette catgorie avec / = 1 et m = 0 ;
le schma saute-mouton (XI.50)- (XI.51) correspond ( = m = 1. Pour montrer que
le schma implicite (XI.48)-(XI.43) rentre galement dans cette catgorie (avec l = 0 et
m = 1), il reste montrer que la matrice Bo = jjj + A k est inversible. Pour cela, nous
allons calculer les valeurs propres de A k. Nous avons en fait le rsultat un peu plus gnral
suivant :
(a b 0 0\
b a b
o
A -
0
b a b
\0 0 b aJ
est un vecteur propre associ la valeur propre Xk ; il ne dpend pas des coefficients a et
b de la matrice A.
170 Chapitre XI. Lquation de la chaleur. Approximation par diffrences finies
Corollaire 2.3 Les valeurs propres de A h sont les nombres Xk, k G { 1 , TV} dfinis
par :
\ 4 . 2/ kn \
A = / ? Sm ( , 2 ( j 7 T ) j '
elles sont toutes strictement positives. Le vecteur V*. de composantes (14 )j (j G {1,..., N } )
donns par :
{Vk)i =
est un vecteur propre associ la valeur propre Xk. La matrice Bo = j + A k est sym
trique dfinie positive donc inversible.
Si par ailleurs, il existe une constante C > 0 et deux nombres p > 0 et q > 0, tous trois
indpendants de At et h, tels qu'on ait :
On dit alors que ce schma est convergent (pour la norme 11.11 en espace) si :
Remarque 2.1 Attention ! Il se peut que la convergence ci-dessus ait lieu pour A t et h
tendant vers zro, mais pas ncessairement indpendamment lun de lautre. Nous don
nons un exemple ci-dessous.
Etudions la convergence, en norme U-Hoo, du schma explicite. Nous avons la :
172 Chapitre XI. Lquation de la chaleur. Approximation par diffrences finies
Remarque 2.2 Cet exemple illustre le fait quil est possible quune condition lie les pas
de temps et despace entre eux et que la convergence dun schma ne soit pas nces
sairement assure quelle que soit la faon dont ces paramtres tendent vers zro. Notons
cependant que la condition (XI.53) apparat ici comme une condition suffisante de conver
gence.
Une telle condition peut paratre fort pnalisante dun point de vue pratique, car elle im
pose au pas de temps dtre trs petit. Par exemple, pour un pas despace de lordre de
2. Approximation par diffrences finies 173
10~3, cela impose un pas de temps de lordre de 10-6 ! Pour fixer les ides, si on veut me
ner des calculs numriques jusqu T = 1 , cette condition induit 1 000 fois plus de calculs
quun schma pour lequel on aurait pu prendre At = 10~3 ! Sous ce type de condition,
appele usuellement condition de stabilit (nous verrons pourquoi ultrieurement), les
calculs peuvent trs rapidement devenir fort coteux. D o lide dessayer de trouver des
schmas pour lesquels il soit possible de saffranchir dune telle condition. On les appe-
lera schmas inconditionnellement stables, cest--dire stables sans aucune condition
liant les pas de temps et despace.
Nous allons maintenant prciser cette notion de stabilit.
max ||C/W|| < C\(T) max \\U ^ \\ + C2(T) max ||C ||, (XI.55)
3tj A t < T i7 o{0,...,Z+m -l} j,jA t< T
et ceci quelles que soient les donnes initiales U^'>et les termes sources C (j\
Remarque 2.3 Si on suppose / e L(0, T; L 2 (]0 , 1 [)), et si on prend ||.|| = ||.||/,, alors
cette ingalit de stabilit (XI.55) est exactement lanalogue au niveau discret de linga
lit (XI.4) dmontre au niveau continu (avec : Ci (T) = 1 et C iiT ) = \/T ).
Cette notion de stabilit est particulirement importante, comme le montre le thorme
suivant :
Thorme 2.8 (Thorme de Lax) : Le schma (XI. 52) est convergent si et seulement
s il est consistant et stable.
Dmonstration Nous nous contenterons de montrer limplication dans le sens suivant :
stabilit + consistance ==> convergence. Nous renvoyons [26] pour la rciproque.
Le schma scrit :
Par hypothse, m a x joe{o,...,/+m-i} | |eC) 11 > 0, quand Ai, h > 0. De plus, le schma
tant consistant, on a : maXjjAt<T ||e (u )^ || > 0 quand A t, h * 0, ce qui termine la
dmonstration. d
174 Chapitre XI. Lquation de la chaleur. Approximation par diffrences finies
Dmonstration Dans un premier temps, supposons le schma stable pour la norme ||.||^.
Alors, par dfinition, il existe deux constantes Ci (T) > 0 et C 2(T) > 0 telles que pour
tout h e] 0 , ho], A t G]0, fco], on ait :
.maxT ||C || < C 1 (T)||(/()|| + C 2 (T) .maxT ||C ||,
et ceci quels que soient les termes sources C ^ (et les donnes initiales U ^ ) , donc, en
particulier, pour des termes sources nuis. Prenons C = 0 pour tout j ; par rcurrence
immdiate dans (XI.56), on a alors : = B 3 U<
-') de sorte que :
et ceci quelle que soit la donne initiale On en dduit donc, en notant ||.|| la norme
matricielle subordonne la norme vectorielle II.Il :
\\B3UM\\
I ll'll = < Ci (T),
u w - i o> ll^ (0)ll
et ceci, pour tout j tel que j A t < T, ce qui montre (XI.57), avec C(T) = Ci (T).
Rciproquement, supposons (XI.57) satisfaite ; on se propose de montrer que le schma
(XI.56) est stable. Or par rcurrence, on a :
u(i) = B 3 u{0) + A t [ c -1) + B C {3~2) + + B 3~lC (0) ] .
On en dduit :
*T \\u U )~ - C (T ) tA i + fc2]>
o, chaque instant tj, (irh,u)(tj) reprsente l erreur entre la solution approche
obtenue par ce schma et la solution exacte u.
Remarque 2.6 II y a une certaine moralit dans ce rsultat : le schma implicite est
moins simple implmenter numriquement que le schma explicite, puisqu chaque
itration en temps, il est ncessaire dinverser un systme linaire (non trivial) pour cal
culer la solution discrte (alors que le calcul est immdiat pour le schma explicite). La
contrepartie est quon a gagn en stabilit ! Ce qui permet, en pratique, un choix beaucoup
moins restrictif sur les pas de temps et donc un gain en temps calcul fort apprciable.
On a enfin le rsultat de convergence suivant (toujours en supposant u suffisamment r
gulire) :
Proposition 2.13 Le schma implicite (XI.48),(XI.43) est convergent en norme j. 11/j ; on
a plus prcisment :
UU) \
yO ) =
[/0-1) J >
- 2 A tAh Id \
B = (XI.61)
Id 0 )
chacune des quatre sous-matrices ci-dessus tant de taille TV x TV, le terme source
tant le vecteur 2 TVcomposantes dfini par :
> 0) =
C U)
0
On est donc ainsi ramen ltude de la stabilit dun schma un seul niveau de la forme
(XI.56) (il est en effet immdiat de montrer que la stabilit en norme 11. | (/,. dans du
schma (XI.50)- (XI.51) est quivalente la stabilit du schma (XI.60), pour la mme
norme, mais cette fois dans lespace M2Ar).
On a le rsultat prliminaire suivant :
178 Chapitre XI. Lquation de la chaleur. Approximation par diffrences finies
soit :
(s ?)(:)-(:)
Cyi +2/2 = Ayx, 2/i = Ay2- (XI.62)
Si A = 0, on obtient : yi = 2/2 = 0, ce qui est contraire lhypothse. On en dduit donc
que les valeurs propres de B sont toutes non nulles. Par ailleurs, liminant y2 entre les
deux quations ci-dessus, on obtient :
C yi = Xyi - j y u
et 2/i 7^ 0 (sinon 2/i = 2/2 = 0 , ce qui nest pas possible), do on dduit que 2/1 est un
vecteur propre de C associ la valeur propre A 1 /A.
Rciproquement, soit p une valeur propre quelconque de C et 2 R N {0} un vec
teur propre associ. Dsignons par A lune quelconque des deux racines de lquation :
A 1/A = p e t posons : 2/1 = z et 2/2 = z/A. On a alors (XI.62), et le vecteur de com
posantes ^ e M.2N {0} est un vecteur propre de B associ la valeur propre A, ce
qui termine la dmonstration.
Appliquons ce rsultat ltude des valeurs propres de la matrice B donne par (XI.61).
Daprs ce qui prcde, ces valeurs propres sont de la forme :
- p k y / p l + 4t 8At . 9 / kn \ r Ar1
Ak(B) =
= - W s,n { W T T ) ) k e { 1 ..... " }
En particulier, pour k = N , on a :
8At . o Nn 4Af
W = -jp sm >
2 (N + 1 ) J - h2
2At
o(B)) >
P\ - IJ'N + 2 + 4 -> 2+ 2 > 1 + h 2 '
On en dduit que :
pour tout h ]0, /10], de sorte que, daprs le deuxime point du Corollaire 2.10, le schma
est instable pour la norme ||.|k (on a mme p(B M+l) > + 00, quand h >0 !). On a ainsi
montr la :
2. Approximation par diffrences finies 179
Proposition 2.15 Le schma (XI.50)- (XI.51) est instable pour le norme UHfc.
Remarque 2.8 Le schma saute-mouton paraissait a priori fort sympathique, car expli
cite (donc facile mettre en uvre) et du second ordre en temps et en espace. Mais il est
totalement instable ! Un tel schma est donc rejeter, car il nest pas convergent.
u p +1^ - u(j)
ui+1 2
0,tZ,j{0,...,M}, (XI.63)
At h2
uj0) = UQ(Xi), pour tout i G Z. (XI.64)
u ^ +1Hx) u ^ ( x ) u ^ ( x + h) 2 vP \x) + u ^ ( x h)
---- St----------------P--------- = <XL65)
u (\x) = uo(x). (XI. 66)
En dautres termes, la stabilit signifie que, pour tout indice j tel que j A t < T , lop
rateur Gj est born (indpendamment de j , A t et h) dans lespace (L 2 (R), L2(R)) des
applications linaires continues de L2(R) dans L2 (R). Reste donc valuer la norme de
cet oprateur.
Pour faciliter les calculs, nous utilisons la transforme de Fourier relativement la va
riable despace (ce qui est possible puisque celle-ci dcrit maintenant lespace R tout
180 Chapitre XI. Lquation de la chaleur. Approximation par diffrences finies
Par ailleurs, on a le rsultat suivant (dont la dmonstration, lmentaire, est diffre en fin
de paragraphe) :
Lemme 2.17 Soit b une fonction borne sur R et L l application linaire dfinie pour
toute fonction v L 2 (R) par : L(v) = bv, i.e. L est la multiplication par la fonction
b. Alors L est une application linaire continue de D2 (R) dans L 2 (R) et sa norme, note
11-^1 |c(l2(K),l2(R))> est donne par :
llu)|U2(R)
||Gj IU(i ,2(R),l 2(R)) = SUP II (0)|| -
I M ;lk2(R
(I/o IR > |k 2(K))
I|(j )|| l2(R)
= sup W
( ) / o W u MU2(R) o' " =
On obtient finalement :
13
II&7||,C(2(R),I,2(K)) SUP |a()|
UeR
En consquence, nous venons de montrer le rsultat suivant :
2. Approximation par diffrences finies 181
Proposition 2.18 Le schma (XL65)-(XL66) est stable pour la norme dans Vespace L 2(M)
si et seulement si il existe une constante positive C(T), indpendante de At et h, telle que :
13
pour tout j , j A t < T ) sup |a()| < C(T).
UeK
On pourrait alors montrer, comme pour la mthode matricielle (cfi Corollaire 2.10), quune
condition ncessaire et suffisante de stabilit (pour la norme dans lespace L 2(R)) du
schma explicite (XI.65)-(XI.66) est quil existe une constante C'a > 0, indpendante de
Ai et h, telle que
pour tout R, |o(0l < 1 + CoAi. (XI.71)
Cette ingalit permettant alors une croissance exponentielle en temps de la solution dis
crte. Mais, avec les mmes arguments que ceux dvelopps dans la Remarque 2.4, nous
prfrons adopter la condition plus restrictive suivante : sup6R |a() | < 1 (qui est en
fait une condition suffisante de stabilit pour la norme L 2 (R)), condition qui permet alors
une stabilit uniforme pour tout temps. Plus prcisment, nous adoptons la dfinition sui
vante :
Dfinition 2.19 Soit un schma qui par transforme de Fourier (tel que dcrit ci-dessus)
s crit sous la forme :
(i+i) () _ donn.
Remarque 2.9 On retrouve donc exactement la mme condition de stabilit que celle
rencontre dans la Proposition 2.11 ! Et le calcul est beaucoup plus simple (puisquil nest
pas ncessaire de calculer des valeurs propres de matrices).
Remarque 2.10 Le schma totalement implicite dfini par (XI.72), (XI.64), avec :
0 +1)
u ^ - u ^ u:+1 - 2u\j+1) + u-i
t+1)
0 pour i e z , j e {0,..., M}, (XI.72)
At h?
est inconditionnellement stable au sens de Von Neumann (la preuve est laisse en exercice
au lecteur).
Dmonstration du Lemme 2.17. On suppose b non nulle, sinon L est nulle et lgalit
(XI.70) est immdiatement satisfaite. Notons pour simplifier : M - supieR |6()| > 0.
On a clairement, pour toute fonction v L 2() : ||L( u)|| ,2(R) < -/W|| w|| l2(r)> de sorte
que :
II^IU(L2(IR),2(K)) < M.
182 Chapitre XI. Lquation de la chaleur. Approximation par diffrences finies
Inversement, il suffit, pour conclure, de montrer que pour tout e > 0 (e < M ) , on a :
a() =
40A i . 2 .h L
i +
- W sin (T }
On remarque que pour tout ( e 1 , on a : a(() < 1 . Et a() > - 1 si et seulement
2 (1 20)Ai . n n n
si 1 ------ -j------ sm ( ) > 0. On voit en particulier que pour 0 > 1/2 (ce qui
concrtement signifie que la partie implicite du schma est au moins gale la partie
explicite), alors cette condition est satisfaite pour tout G M, et le schma est donc
inconditionnnellement stable au sens de Von Neumann. Si maintenant 0 < 1 / 2 , le schma
est stable au sens de Von Neumann si et seulement si
1
(XI.75)
2 (1 -2 0 )'
De plus, pour 6 = 1/2, le schma est d'ordre deux, la fois en temps et en espace (pour
la norme ||.||oo w espace et en supposant la solution exacte u suffisamment rgulire),
alors que les autres schmas ne sont que du premier ordre en temps (et d'ordre deux en
espace). Le schma correspondant 6 = 1/2 s'appelle schma de Crank-Nicolson.
Dmonstration II reste valuer, tout instant t j , lerreur de consistance e (u )^ \ Notons
e(u ) la composante dindice i de cette erreur ; on a, pour tout 9 G [ 0 , 1 ] :
Lerreur de consistance au point dindice i est la somme de deux erreurs : lune (A ) lie
d
la discrtisation de loprateur , et lautre (Bi) lie la discrtisation de loprateur
82
dx2'
Commenons par valuer la premire. Soit w une fonction dpendant du temps quel
conque ; on a, en supposant w suffisamment rgulire :
. . , . A td w . , A i 2 d 2w ,
w (tj+ 1 ) = w ( t j +1 /2 ) + Y ~ d t ^ +l/2) + J ^ f e + 1/ 2) + 0 (A t3) (XI.78)
i , tJ_ . At dw A t2 d?w, , ,
w(tj) = w(tj+1/2) - (tj+1/i) + ^ r f e + 1/ 2) + 0 ( A t 3) (XI.79)
^ +l)A t - f V w ) + 0 (U \ (XI.80)
A = 0 ( A t2).
Pour Xi fix, on utilise les deux dveloppements de Taylor (XI.78) et (XI.79) pour la
fonction Xi,.) value en tj+u et en t, ; les termes de drives secondes en espace
sliminent et il reste :
soit
N N
E
i= 1
( ? +1)2 E< >
=1
2-
Compte tenu des conditions aux limites nulles (XI.39), cela implique :
prenant sa source dans la formulation (de type variationnelle) (XI.20)-(XI.21) dcrite dans
le paragraphe 1.3..
Par analogie avec lanalyse mene dans le cas continu (cf (XI.25)-(XI.27)), on va cher
cher, tout instant t, une solution approche, note uh(., t), en utilisant une approxima
tion par lments finis P 1 en espace. Pour cela, on procde comme dans le paragraphe
2 du Chapitre VII : on partitionne le segment [0,1] en N + 1 intervalles de longueur
h = 1 /(N + 1) et on dsigne par Xi = ih, i G (0 , N + 1} les points du maillage en
espace ainsi dfini. Puis on introduit lespace variationnel discret Vh c #o(]0,1[) dfini
par :
Vh = {vh G Vh, vh(0) = vh(l) = 0}, (XI.86)
o
Vh = {vh G C([0,1]), vh][xi>Xi+i) affine pour tout i G (0,..., N } }. (XI.87)
Le problme discret associ au problme (XI.20)-(XI.21) consiste alors trouver une
fonction Uh vrifiant, tout instant t et pour toute fonction Vh G 14 :
M ^ ( , ) + . ( ( ) = (XI.94)
at
(XI.95)
u h{0) =
3. Approximation mixte et prolongements 187
le terme source Fh{t) tant, tout instant t, le vecteur de taille N donn par :
/ ( f ( ; t ) , W W )L2Q0 , i [ ) \
Fh(t) = : . (XI.98)
V (/(,<), ty(W))z,2(]0,1[) /
La matrice M sappelle usuellement matrice de masse, la matrice A matrice de rigi
dit ; toutes deux sont indpendantes de la variable temps.
Nous avons de ce fait procd une semi-discrtisation du problme, en utilisant une
mthode dlments finis P 1 en espace. Pour une discrtisation complte, nous pouvons
utiliser une mthode de diffrences finies standard pour la variable de temps : on pose
Ai = T /(M + 1 ), tj = j A t et on approche par exemple ~ { t j ) par le quotient diffren-
du
tiel : [Uh(tj+1 ) Uh(tj)]/At. Avec les notations usuelles {le. ujf* Uh{tj)), cela donne
le schma explicite suivant, appel schma dEuler :
rr'+l) TT)
M ___ ~ h
At
+ Auij) Fhif-j)> (XI.99)
(XI. 100)
3.2. Prolongements
Bien entendu, les mthodes exposes dans ce chapitre stendent des dimensions en
espace plus grandes que un. Par exemple, pour un problme en dimension deux (en es
pace), il est possible de coupler une discrtisation en temps par diffrences finies du type
prcdent avec une formulation lments finis triangulaires de type P 1 pour la variable
despace, ce qui permet de traiter le cas de domaines frontire polygonale par mor
ceaux.
Il est galement possible de traiter des oprateurs plus gnraux que celui de la chaleur, en
d
rajoutant par exemple des termes de convection du type (au), o a = a (x, t ) est une
fonction donne, correspondant une vitesse, dans le membre de gauche de lquation
(XI. 1). Une formulation mixte alliant des diffrences finies en temps et des lments finis
en espace donnerait alors (par exemple) le schma implicite suivant :
rrO+ l) _ rr)
M h At h +{ A~ U* +1) = Fh{tj+l) (XL101)
Fi Qu)
avec B{t) = {Bitj{t))i<ij<N, B id{t) = J a { x ,t)w j{ x )-^ { x )d x ,
coupl la condition initiale (XI. 100). On vrifie que si a est telle que, pour tout x, t on
ait 1 + {At/2) -{x, t) > 0, alors la matrice du systme linaire rsoudre est dfinie
OX
positive (bien que non symtrique a priori) donc inversible. On pourrait aussi utiliser un
schma de type Crank-Nicolson [21], [24].
188 Chapitre XI. Lquation de la chaleur. Approximation par diffrences finies
Comme nous venons de le voir, il est possible dutiliser diffrentes mthodes dapproxi
mation pour la variable despace. On peut par exemple utiliser une discrtisation par vo
lumes finis. Nous ne dtaillerons pas ce point ici. Nous renvoyons par exemple [21] pour
une prsentation rapide de la mthode et des rfrences plus dtailles. Dautres mthodes
sont galement possibles (mthodes spectrales ...).
Chapitre XII
Lquation des ondes
Approximation par diffrences finies
Dans ce chapitre, nous prsentons une tude formelle de lquation des ondes en dimen
sion un despace. Puis nous en proposons une approximation par la mthode des diff
rences finies. A la fois concernant les aspects thoriques et numriques, nous mettrons
essentiellement laccent sur les diffrences de comportement avec le cas prcdent, cest-
-dire avec lquation de la chaleur. Lquation de transport (autre exemple de problme
hyperbolique) fait lobjet des Exercices XIII.8 et XIII.9 du Chapitre XIII.
1 Le problme continu
On se propose de trouver u : [0,1] x [0, T] > K solution de :
cP'vl d^u
(x , t ) - (x ,t) = f( x ,t) , z e ] 0 ,l[ , t ]0,T[, (XII. 1)
u(0,t) u (l,t) = 0, t e]0, T[, (XII.2)
du
u(x, 0) = u0(x), -r^(z>0) = Ui(x), x ]0,1[, (XII.3)
(x) dx.
Or daprs (XII.2), on a pour tout temps t : u(0,t) = u ( l,t) 0, de sorte que, par
drivation, on obtient formellement :
d u ,n . du. .
Il reste en dfinitive :
_ 1 I" du . d2u d2u
E \ t) (x, t) dx
Jo L dt dt2 dx2
f 2(x ,t)d x +
de sorte que :
1 f1
E \ t ) < E{t) + - / f 2(x ,t)d x. (XII.6)
2 Jo
Utilisant le Lemme de Gronwall 1.3 ci-dessous, on en dduit que, pour tout temps t, on
a: t
E(t) < E(0) exp(t) + f 2(x, s) exp(t s) dx ds,
.J 0 /
ce qui donne lestimation uniforme (XII.5) sur lintervalle [0, T).
Remarque 1.1 Lestimation (XII.5) est une ingalit de stabilit de la solution par rap
port aux donnes uo, u\ et / . On voit que, contrairement au cas de lquation de la chaleur,
le majorant situ dans le membre de droite de cette ingalit est exponentiellement crois
sant en fonction du temps, interdisant donc, a priori, de passer la limite T > +oo. On
remarque galement que, dans le cas / = 0, cette nergie est conserve au cours du temps
(alors que pour lquation de la chaleur, lnergie est une fonction dcroissante du temps).
De cette proposition, nous dduisons immdiatement le rsultat dunicit suivant :
Corollaire 1.2 Le problme (XIL1)-(XI1.3) admet au plus une solution rgulire.
1. Le problme continu 191
su p \E(t)\ < 0.
te[o,T]
On a donc, pour tout (x,t) : ^ ( x , t ) = |^(x,) = 0, de sorte que u est constante (en
temps et en espace) ; tenant compte des conditions aux limites nulles, on dduit que cette
constante est nulle, ce qui donne : u = 0 et termine la dmonstration.
Reste tablir lingalit de Gronwall.
Lemme 1.3 (ingalit de Gronwall) Soient et rj trois fonctions telles que, pour tout
t e ]0, T[, on ait :
rf(t) < + ^(i). (XII.7)
Alors, pour tout t E [0, T\, on en dduit :
vit) < exp( f ip(s) d s ) 77(0) + f exp( f <p(u) du) (s ) ds. (XII.8)
J0 J0 Js
Dmonstration Posons
m = vit) e x p (- [ ipis)ds).
J0
On a :
Cit) = f
exp( ) ds) [v'it) - T]it)ipit)\
J0
< exp( / ip(s) ds)'ip(t)y
J0
daprs (XII.7). Par intgration sur lintervalle [0,], on a, compte tenu du fait que
C (0) = t?(0) :
CW = C (0 ) +
X (x )T " (t) X "(x)T {t) = 0, pour tout (x , t ) e]0, l[x]0,T[. Formellement, cela peut
T "(t) X "(x)
s crire -, de sorte que ce rapport est constant (puisque indpendant de
T (t) X (x)
t et de x) ; on note C cette constante. Si C = 0, X est une fonction affine qui sannule
en 0 et en 1 ( cause des conditions aux limites (XII.2) qui entranent, puisque T ^ 0 :
A*(0) = X ( l) = 0) : cest donc la fonction nulle, ce qui est exclu. La constante C est
donc non nulle. Par intgration, on dduit :
T (t) = A i exp(VC t) + A i exp(V C t), X (x) = B i exp(y/Cx) + B 2 exp{y/Cx),
o A i, A 2, B \ et B 2 sont des constantes arbitraires et o on convient de noter y/C une
racine complexe de C. Tenant compte des conditions aux limites (XII.2), on dduit
X(0) = X (l) = 0, ce qui donne :
Bi + B 2 0,
B i exp(y/C) + B 2 exp(y/C) = 0.
Ce systme homogne admet une solution non triviale si et seulement si son dterminant
est nul, soit : exp(2y/C) = 1. Les valeurs possibles de C sont donc tous les nombres de
la forme Ck = k2ir2, o k est un entier relatif (non nul) quelconque. Pour k donn, X
et T sont alors de la forme : Xk(x) = 2iB \^ sin(fc7ra;) (avec i2 = - 1 par dfinition) et
T k ( t ) = A i tk c o s ( k T T t ) + A 2tk s m ( k i r t ) , de sorte que u scrit :
U k(x,t) = [dk c o s ( k i r t ) H- bk s i n ( A ; 7 r i ) ] s in ( ;7 r a ;) .
avec :
est alors continue sur [0,1] x [0,T] et cest une solution formelle du problme (XII. 1)-
(XII.3), dans le sens o les drives de u (par rapport lune ou lautre des deux variables)
sont considrer au sens des distributions (et non au sens classique, comme on pouvait le
faire pour lquation de la chaleur).
1. Le problme continu 193
Terminons par une remarque concernant la rsolution de lquation des ondes sur lespace
R tout entier.
Le problme consiste ici trouver u : I x ( 0 , T ) > R solution de :
2 fftii
**(**) = G 1-T [> (m i2 )
du
u(x,0) = (), (x, 0) = (), i R, (XII.13)
uZ
avec et donnes.
On a en fait une criture explicite de qui sobtient en faisant le changement de variables :
(x, t) (y, t ) avec : y = x + 1, = x t. Posons v(y, r) = u(x, t) ; un calcul simple
montre qualors lquation (XII. 12) est quivalente :
d2v
= 0,
do on dduit :
1 1 fx
F(x) = Ci + - u 0(x) + 2 / n i (y )dV
1 1 fx
G(x) = Ci + -tto(x) ~ 2 J0 u i( y ) dy>
ce qui donne :
/ x + t
u (x,t) = C + - ( + t) +Uo(x t) + u i(y)d y .
Jx-t
Remarque 1.2 On remarque que la solution au point (x> t) ne dpend que de la valeur
des donnes initiales sur lintervalle [x t,x + t\ (et pas ailleurs). Si, par exemple, les
donnes initiales sont support compact inclus dans un intervalle [a, b] de M, alors,
linstant i, la solution u(., t) aura son support inclus dans lintervalle [a - i, b + i], On dit
que les donnes initiales se propagent vitesse finie (ici 1). Ceci est trs diffrent du cas
de lquation de la chaleur. En effet, pour cette dernire, mme si la donne initiale est
support compact, instantanment (Le. ds t > 0), la solution u (.yt) nest plus support
compact : les donnes initiales sont propages en tout point de lespace. Pour lquation
de la chaleur, on dit alors que la vitesse de propagation est infinie.
De manire plus gnrale, pour c donne, la solution u du problme
A tout instant tj, les inconnues du problme sont alors les valeurs correspondant aux
sommets internes du maillage en espace (i.e. les points Xj avec i G {1,..., N }) ; on note
le vecteur de R N form par ces N inconnues u f \ i G {1,..., N }.
De mme, linstant initial fo = 0, on impose la condition initiale exacte (suppose
compatible avec la condition la limite), i.e. :
U q (X i )
Mais comme il sagit dun problme du second ordre en temps, il est aussi ncessaire de
se donner C/O). Par exemple, en crivant que :
u{x) A t) u (x , 0)
i0*0 = ^ ( >) - t
ce qui donne la valeur suivante pour U^ :
/ Ul{Xl) \
Uw = [/() + Ai : , (XII.20)
\ u i ( x N) J
mais dautres choix sont possibles. Par la suite, nous supposons et t/O) donns. Il
reste prciser le calcul de C/O) pour j > 1. Commenons par dcrire le schma explicite
le plus naturel qui soit.
coupl aux conditions aux limites (XII. 18) et initiales (XII.19)-(XII.20) discrtes dcrites
prcdemment. Vectoriellement, ce systme peut scrire comme un schma deux ni
veaux de la forme :
C/'+i) _ 2 [/ + [/O -1)
+ A hUU) C (j\ pour j (0,..., M }, (XII.22)
t2
avec CTO) dfini par (XI.45) et /() et C/0) donns. La matrice Ah est encore dfinie par
(XI.44). On vrifie aisment que ce schma est explicite du second ordre en temps et en
espace.
On pourrait tudier la stabilit de ce schma pour la norme 11.| |a, en introduisant le vecteur
2N composantes suivant :
I/O) = /0+i) \
I/O ) )
de sorte que :
I/O + i) = B V O ) + (A i)2>0), I/() donn, (XII.23)
o B est la matrice, de taille 2N x 2N donne par :
( 2 I d - ( A t ) 2A h -Id \
(XII.24)
V Id o r
chacune des quatre sous-matrices ci-dessus tant de taille N x N , le terme source 1 )0 )
tant le vecteur 2N composantes dfini par :
Z)0) : C70)
0
196 Chapitre XII. Lquation des ondes. Approximation par diffrences finies
On serait ainsi ramen ltude de la stabilit dun schma un seul niveau de la forme
(XI.56).
La difficult essentielle ici provient du fait que la matrice B enjeu nest pas normale, de
sorte quon a seulement : p(B) < ||5 ||^ . La condition p(B) < 1 devient alors unique
ment une condition ncessaire de stabilit (avec la convention adopte dans la remarque
2.4 du Chapitre XI).
Afin de simplifier ltude de ce schma, nous nous proposons den tudier la stabilit en
utilisant la mthode utilisant la transforme de Fourier. Nous avons vu en effet, dans le
cas de lquation de la chaleur, que cette technique fournissait des critres de stabilit en
tous points analogues ceux de la mthode matricielle, tout en tant beaucoup plus rapide
(car ne ncessitant pas de calcul de valeurs propres)...
Dans toute la suite, on suppose / = 0 pour simplifier (ce terme ne joue en effet aucun rle
dans ltude de la stabilit). On se donne h g ]0, 1], Ai e]0, T] et on considre lquation
(XII.12) quon approche en chaque point (x,, tj) dfini par : rr, = ih,i Z et tj = jAt,
par le schma explicite suivant :
,0) -L..W
u+i ~ 2u ' + u-v
= 0, i e Z ,j e M ), (XII.25)
At 2 h2
coupl aux conditions initiales
u f] = u0(xi), i e Z, (XII.26)
= u0(xi) + A tu i(x i), i e Z. (XII.27)
En fait, pour des raisons que nous expliquerons plus loin, nous nous proposons dans un
premier temps dtudier un autre schma explicite crit de manire lgrement diffrente.
, n ) - u ^ _1) n co - U]
UT' ,co
On remarque dabord que si on identifie ----- et ^ 'i- 1, on
obtient alors exactement le schma de dpart (XII.25) : il sagit donc dune autre criture
de ce schma, qui prend en compte ici les drives premires (discrtes) en temps et en
espace de la solution u. Notons galement que ce schma est effectivement explicite :
pour chaque indice j , on commence par calculer les nouvelles valeurs de v y (i G Z)
par (XII.29), puis on ractualise celles de w, i.e. les ^ (i G Z) via (XII.30), sans avoir
inverser de systmes linaires.
Etudions la stabilit de ce schma par la mthode de Fourier . On transforme dabord ce
schma pour le rendre continu relativement la variable x G R ; on obtient, pour tout
x eR:
i,0'+1)(x) _ v U)(x) _ w ^ \ x + h/2) vj(j\ x h /2)
, (XII.31)
At h
w ^ +l\ x h /2 ) - h/2) _ v ^ +l\ x ) v ^ +l\ x h)
(XII.32)
At = h
avec les donnes initiales :
- ( :t))
on a par transforme de Fourier
x(0 =
W(iW '
et le schma suivant :
XU)(0 = A(0XU-1](0> (xn.36)
o A() est une matrice, de taille 2 x 2 , appele matrice damplification du schma et
dfinie par :
On a dabord le lemme suivant ([16], [26]), qui est une simple gnralisation du Lemme
2.17 du Chapitre XI au cas bidimensionnel (et dont la dmonstration est de ce fait omise) :
Lemme 2.1 Soit B une fonction valeurs dans les matrices carres d ordre deux, d
finie et borne sur K et L l application linaire dfinie pour toute fonction valeurs
vectorielles X G L2(M) x L2(R) par : L (X ) = B X , i.e. L est la multiplication par B.
Alors L est une application linaire continue de L2(M) x L2(R) dans L2(R) x L2(R) et
sa norme, note ||L|U( l2(r)xL2(R), ,2(R)xz,2(R)). est donne par :
gup ll^~(j)|U2(R)xL2(R)
11L IU(2(R)xL2(R),L2(R)xZ,2(R)) s u p ||A ( ^ ||2.
X<)#0 ||^ ^ |U 2(R)xL2(R) 6R
l l ^ WIU2(R) xL2(R)
s u p H A ^ 'l b -
X()^0 ||-X(0)IU2(R)xL2(R) eR
Gnralisant sans difficult la Dfinition 2.16 du Chapitre XI, nous venons de montrer la :
Proposition 2.2 Le schma (XII.31 )-(XIL33) est stable pour la norme dans l espace pro
duit L2(R) x L2(R) si et seulement si il existe une constante positive C(T), indpendante
de h et de Ai, telle que
Compte tenu du fait que [p(A(^))p = p(A()j ) < ||A(^)J||, une condition ncessaire
de stabilit est quil existe une constante Co > 0, indpendante de h et de Ai, telle que
Avec la mme convention que celle adopte dans la Remarque 2.4 du Chapitre XI, nous
conviendrons quune condition ncessaire de stabilit au sens de Von Neumann est :
Est ce une condition suffisante de stabilit ? La rponse nest pas immdiate, du fait que la
matrice A() nest pas normale, ce qui empche, a priori, dutiliser le Corollaire 2.10 du
Chapitre XI. Toute matrice pouvant tre rduite sous forme triangulaire, on a cependant
le rsultat un peu plus restrictif suivant :
2. Approximation par diffrences finies 199
Lemme 2.3 Soit B un matrice carre d ordre deux ; on se propose d tudier la stabilit
en norme ||.||2 du schma :
o yO) est un vecteur de K2. La matrice B est triangularisable, i.e. elle peut s crire sous
la forme :
B = P T P -\
avec T triangulaire, dont les lments diagonaux sont les valeurs propres de B, et P
inversible; on a naturellement : p(B) = p(T). On suppose quil existe une constante
positive C(T) telle que
IIPIWIP-1^ < C{T). (XII.41)
Alors,
1. si T est diagonale, ||T ||2 = p(T) = p(B) < 1 est une condition suffisante de
stabilit;
2. dans le cas gnral, la condition plus restrictive p(B) < 1 est une condition suffi
sante de stabilit.
Dmonstration La dmonstration rsulte du fait que, pour tout indice j > 1, on a :
B j = P T ^P 1, et donc :
Compte tenu de lhypothse (XII.41), il suffit donc de majorer ||T':,j | 2 uniformment par
rapport j. Si T est diagonale, le rsultat est immdiat, car T est alors normale. Dans le
cas contraire, on peut supposer que T scrit sous la forme dune matrice de Jordan, i.e.
sous la forme :
A 0'
T =
1 A
o A est lunique valeur propre de B. Par rcurrence immdiate, on a :
j'j _ X3 0
jX j ~l
Si |A| < 1, alors quel que soit lindice j > 1, le terme j AJ_1 reste born (et mme tend
vers 0 quand j tend vers +oo). De manire plus prcise, un calcul lmentaire montre que
les valeurs propres de la matrice T j (Tj )T sont gales :
-2
(M 2 + ) i \ J w + j
de sorte que, pour |A| < 1, elles restent bornes uniformment par rapport j > 1 : il en
est donc de mme pour | \T3\\2 = y/p(T 3(T3)T) et le schma est stable en norme 11.112.
Modulo ce lemme, ltude de la stabilit du schma se ramne au calcul des valeurs
propres A de la matrice A(). Celles ci vrifient lquation :
A2 - A (2 - a ( 0 2) + 1 = 0, (XII.42)
dont le discrimant scrit : A() = a()2 [a()2 4]. Rappelons quune condition nces
saire de stabilit est que pour tout on ait p(A()) < 1 (cf. (XII.39)), ce qui entrane que,
200 Chapitre XII. Lquation des ondes. Approximation par diffrences finies
pour tout G R, A() < 0. Dans le cas contraire, il existerait en effet une valeur de
pour laquelle lquation (XII.42) admettrait deux racines relles distinctes dont le produit
vaut 1 : lune dentre elles au moins serait de valeur absolue strictement plus grande que
1, ce qui contredirait (XII.39).
Deux cas peuvent alors se produire :
1. pour tout R, A() < 0; lquation (X3I.42) admet alors deux racines complexes
conjugues distinctes de module 1, de sorte que la matrice A() est diagonalisable
pour tout et son rayon spectral est gal 1 : le schma est stable, modulo la
vrification de (XII.41).
2. il existe G R tel que A() = 0 : lquation admet une racine double (qui est 1 ou
-1 ) et la matrice A() nest pas diagonalisable a priori (sauf dans le cas particulier
o a() = 0 pour lequel la matrice A() est la matrice Identit). On ne peut donc
pas conclure dans le cas gnral.
Avant de prciser ces rsultats, regardons pour quelles valeurs de At et h la condition
(XII.39) est remplie. Daprs ce qui prcde, cette condition est quivalente : pour tout
f g m < 0. Maintenant, A() < 0 si et seulement si |a()| < 2, et cette condition
a lieu pour tout G R si et seulement si :
Ai
< 1. (XII.43)
T
On se propose de discuter des valeurs possibles du rapport A t/h < 1. Considrons
dabord le cas plus restrictif :
At
il existe g ]0, 1[ indpendant de Ai et h tel quon ait : <<$. (XII.44)
Eliminons tout dabord le cas particulier a() = 0, pour lequel la matrice A() est la ma
trice Identit Id, donc trivialement diagonalisable, et P() = Id, de sorte que la condi
tion (XII.41) est galement trivialement satisfaite. Supposons a() ^ 0, pour tout ; on
a alors : pour tout G R A() < 0, et la matrice A() admet deux valeurs propres dis
tinctes conjugues Ai() et 2() de module 1. Daprs ce qui prcde, il suffit de vrifier
(XII.41) pour conclure. La matrice de passage P() scrit
*() ia () ^
m = Ai()-1 A2( ) - i J
et les valeurs propres de la matrice P()P*() (o P* dsigne la matrice adjointe de la
matrice P , cest--dire, le coefficient dindice i, j de cette matrice vaut P,,, en notant Pitj
le coefficient dindice i , j de P) scrivent : /i -- a()2[2 a()], de sorte que, comme
|o()| < 2, on a : ||P ( )||2 = ^/p(P()P*()) < 2|o()|. Par ailleurs, on a :
1 ( A2() - 1 -*o() ^
P - 1 () dt(P()) Ai() + 1 *a() )
avec dt(P()) = a()2 \/4 a()2.
Sous la condition (XII.44), on obtient la majoration uniforme suivante : pour tout G R
et pour tous A t g ]0, ko], h G]0, h0],
1 *a(0 \
MO = MO 1 J
Cette matrice est normale et ses valeurs propres sont gales : 1 ia(0- Elles sont donc
toutes deux de module strictement plus grand que 1 (pour a (0 ^ 0), et le schma est
instable au sens de Von Neumann.
on a :
v {j)( 0 = (XII.46)
o B ( 0 est la matrice, de taille 2 x 2 dfinie par :
m = -o1) .
avec la mme dfinition du coefficient a() que prcdemment. Les valeurs propres A de
cette matrice (qui nest pas normale) satisfont la mme quation (XII.42), de sorte que la
discussion semble tre analogue. Une diffrence apparat cependant dans le cas particulier
o a (0 = 0, car la matrice B() nest pas normale, elle nest pas non plus diagonalisable
et elle a une valeur propre double gale 1, ce qui rend totalement caduque lutilisation
202 Chapitre XII. Lquation des ondes. Approximation par diffrences finies
= {0)(o +
notons que cette solution discrte est par ailleurs en parfait accord avec la solution au
. . . . , , . d2 ,
niveau continu, puisque 1 analogue au niveau continu s ecnt : = 0, quation qui
admet des solutions croissance linaire en temps. En revanche, ces solutions sont
drives bornes en temps, ce qui, au niveau discret, aurait pu tre pris en compte par un
choix judicieux de norme associe : cest prcisment ce qui a t fait dans le paragraphe
prcdent. Remarquons aussi que le cas particulier a() = 0 nest pas si pathologique
que cela, dans la mesure o il correspond aussi au cas limite o At tend vers zro, et quil
ne faut pas oublier que la condition de stabilit que lon cherche doit rester effectivement
valable dans ce cas limite Ai >0 !
Cet exemple simple montre limportance du choix de la norme de la solution discrte dans
ltude de la stabilit. On renvoie galement [11] pour une discussion sur ce sujet. En
pratique, on retiendra que si on rencontre une difficult dans cette tude de stabilit (du
type prcdent), cest peut-tre que le choix de la norme ntait pas le plus judicieux et
quil convient, pour amliorer ce choix, de revenir aux proprits de stabilit du problme
continu...
^ + 1 /2 Wi - 1 / 2
(XII.48)
At
i - * o (0 V 1
(0 =
-* (0 1 J
Cest une matrice normale dont les valeurs propres sont 1/(1 ia()) : elles sont donc
toutes deux de module infrieur ou gal 1 et le schma est stable, sans condition, au sens
de Von Neumann.
On a ainsi montr la :
2. Approximation par diffrences finies 203
/ _ J _______ L _
B (0 = l + o (0 2 l + a (0 2
V 1 0
Cette matrice B() nest pas normale et ses valeurs propres sont les mmes que ci-dessus
(cest--dire 1/(1 a())) : en particulier, pour q() = 0, elles valent toutes deux 1,
et la matrice nest pas diagonalisable, ce qui ne permet pas de conclure : on retrouve ici
la mme petite difficult que celle rencontre pour ltude du schma explicite crit sous
forme naturelle.
- m - i = (l-2fl)q(02 - 2
B (0 =
1 0 ^ l + 0a()2
Les valeurs propres A de cette matrice, qui nest pas normale, sont les racines de lqua
tion :
A2 + b(0 A + 1 = 0, (XII.50)
dont le discrimant scrit :
a ()2[4 + (1 4fl)a()2]
A (0 = K 0 2 - 4 = (XII.51)
(1 + M O 2)2
On remarque que pour 9 > 1/4, ce discrimant est ngatif (et non nul pour q() ^ 0) : les
valeurs propres sont alors distinctes, de module 1, et le schma est stable au sens de Von
Neumann (modulo la vrification de (XII.41) !).
En fait, comme dhabitude (maintenant) le cas gnant q() = 0 peut tre limin en
crivant de manire lgrement diffrente le schma, cest--dire sous la forme du systme
(XII.52),(XII.30), o (XII.52) est dfini par :
_ ,,>+1) ?i,W _ w d)
9 1+1/2 *~1/2 + (1 - 29) i+1/2 , >-1/2 (XII.52)
Ai h h
A i - 1) _ A 3 - 1)
Wi+1/2 ^-1/2
+ 9
h
204 Chapitre XII. Lquation des ondes. Approximation par diffrences finies
Cette matrice nest pas normale et concide naturellement avec celle du schma explicite
avec 0 = 0. Les valeurs propres A de cette matrice satisfont la mme quation (XII.50) ;
la discussion est donc la mme, mis part le cas a() = 0, qui ne pose pas de problme
ici, puisquil correspond la matrice Identit.
A la vrification prs de la condition (XII.41), on obtient alors le rsultat suivant :
Proposition 2.6 Le 6 schma est inconditionnellement stable au sens de Von Neumann
pour 6 > 1/4.
Sigalons enfin quil est possible, comme pour lquation de la chaleur, dtudier la stabi
lit de schmas numriques par la mthode de lnergie ; nous renvoyons par exemple
du du
[10] pour une tude dans ce type, utilisant les fonctions v = et w = .
Chapitre XIII
Exercices de la partie IV
1 Enoncs
d2u u '(x)
(*) + /(* ). % ]0, 1[,
dx2 1 + X
u(0) -= ti(l) = 0,
1 <P
{i_i - 2Ui + ui+1 } ~ u(xi), Xi = ih
{ l+1 = f (*,)
Montrer que 6 est solution dun problme aux limites de mme type que (P).
4) On dfinit le vecteur 6h de composantes 6(xi) ; montrer quil existe une constante C
indpendante de h - on prcisera la valeur de C - telle que
5) Dduire de ce qui prcde quil existe une constante M indpendante de h telle que
6) En prcisant les hypothses sur u solution de (P) montrer que le schma adopt
converge et prciser lordre de convergence.
206 Chapitre XIII. Exercices de la partie IV
Exercice XIII.2 Dans le rectangle fi = |( x , y), 0 < x < a, 0 < y < b j, on considre
le problme (E ) suivant : trouver u tel que
Au = f lintrieur de fi,
u\r = 9>
o / et g sont des fonctions donnes. On admettra que ce problme admet une solution
unique.
On choisit un maillage rgulier de pas h dans chaque direction (on suppose a/b rationnel)
et on appelle Dh lensemble des points du maillage situs dans fi et Ch les points du
maillage sur T.
1) En utilisant la mthode dapproximation par diffrences finies construite partir du
schma cinq points, montrer en posant
D V i,j = "h +
V i - I tj +1^-1 j
que lon a :
m ax \vij\ < m ax + -(a 2+ b2) m a x \Lvij\.
Dh Ch ' 4 Dh
eitj = u(ih, j h ) - v j ,
o les Vitj sont calculs par le schma de la question prcdente, i.e. : DohJ = f itj dans
Dh et Vij = g(ih, jh ) sur Ch.
Montrer que lon a :
maxILe*,'! < - M h 2,
Dh 6
o
d4u
M = max max_ (x, y) max
( x,y) dx4 ( x,y)ei
Exercice XIII.3 1) On veut construire des schmas aux diffrences finies pour dtermi
ner les solutions approches du problme (Pi) suivant :
d ^2 \
( dt ~ doc2 ) u(x ,t = 0 e M x (0, T), T > 0 donn,
u (x , 0) = uq (x ), uq donn.
1. Enoncs 207
+ (1 ~ 0 ) (U if1 - 2 U ^ + U t \ ) = 0.
a) On utilise le schma ci-dessus pour construire une solution approche de (P 2). Pour la
condition la limite de Neumann au point 1, on propose dutiliser un schma centr.
linstant tm = m A t, on note le vecteur form des inconnues Uim^ ~ u(nh, m A t)
(on prcisera quels sont les indices n en jeu). Montrer que ces vecteurs vrifient la rela
tion :
A{0) = A ( - ( l - 0)) /("*),
o A (a) est une matrice prciser.
b) Calculer les valeurs propres et les vecteurs propres de la matrice A (a).
c) En dduire la stabilit du schma utilis dans cette question. Comparer les rsultats
avec ceux obtenus dans la question 1 c).
Exercice XIII.4 On considre le problme aux limites (P) suivant sur fi x (0, T), fi =
]0, 1[, T > 0 ; trouver u tel que
du d2u
sur Cl x (0, T),
dt d x2
u (x , 0) = u0 (x), uo donn,
u(0, t) = u ( l, t) = 0, Vi [0, T\.
1) Si on pose E(t) = I u2 (x, t) dx, montrer que la fonction t >> E(t) est une fonction
Jo
dcroissante ; en dduire que E(t.) < / u l(x)d x.
Jo
2) On veut donner une solution approche de (P) ; on utilise les notations suivantes :
pour h et k ( A t) positifs, on pose ci u(mh, nk) 0 < m < M , et on remplace
lquation aux drives partielles par :
( n + l) rr(n) _ o r /( n) i 7-;(n )
U, - U {n) u m- 1 ZUm + u m+1 = 0
(S)
h2
208 Chapitre XIII. Exercices de la partie IV
M -1 M -1
E K-1 - U ^ )
m 1
=E m =l
( V 1 - V ) avec Un> = VM =0,
M -l Af-1
E ( ^ i - U ) Kln) = E (Kln) - Vnh) - Un) Vln) avec = 0.
m =l m =l
En dduire que
M l
||[ / ( " + i ) ||2 _ ||f/( n ) ||2 = _rh^ { ( u ^ l - u ^ y + f u ^ - u ^ ) (u^-U)}.
m=0
c) On dfinit la quantit :
1 M_1 ->2
E. = { t/J , - *> } .
m=0
Montrer en utilisant b) que lon a :
1 M _1 2
+i - En = - rfc
Z
E
m=0 V
- U%+1) + uiS
\
- U i) ;
^ E ^ i-^ O ^ 4 iif/(n)n2-
771=0
e) Conclure.
1. Enoncs 209
Exercice XIII.5 Avec les notations de lexercice prcdent, on veut calculer une solution
approche du problme (P) en utilisant le schma (53) suivant, appel schma de Gear
(pour les indices m G {1, M 1}) :
- t 4 n_1)\
2\ k ) 2 \ k J
1) Ecrire le systme linaire dapproximation sous forme matricielle. Le systme est-il
explicite ou implicite ?
2) Dterminer lerreur de consistance ; comparer le rsultat obtenu avec celui du schma
classique usuel.
k
3) Montrer que si on pose, avec r = ,
/ 3 + 4r 2 r 0 0 \
2 r 3 + 4r 2 r 0
A m-
0 2 r 3 -f 4 r J
le systme linaire peut se mettre sous la forme :
La matrice B ntant pas normale, on convient pour simplifier de dire que le schma (53)
est stable si les valeurs propres de B sont toutes de module strictement infrieur 1.
Identifier les valeurs propres de B en fonction de celles de la matrice A m - 1 et montrer
que le schma (53) est inconditionnellement stable.
Exercice XIII.6 On considre le problme (P) suivant : trouver u tel que
du d2u 1 du
x ]0, l[, t s]0, TJ
dt d x2 x dx
| ( 0 , t ) = 0, u(l, t) 1,
u (x, 0) = u 0 (x)
Exercice XIII.7 On considre le problme (P) sur E x (0, T), T > 0 : trouver u telle
que
a i (U^+1- 2 U ^ + U^_1) _ -2 U % - 1) + u t P ) \ n
k\ h2 h2 J
a) Dterminer lerreur de consistance de la mthode.
b) Etudier la stabilit de ce schma.
Pour cela, on montrera quaprs transformation de Fourier, le schma peut scrire sous
la forme dun systme 2 x 2 du type : j o n+1) = A X ^ . On admettra pour simplifier
que le schma (55) est stable si les valeurs propres de A sont, soit de module strictement
infrieur 1, soit distinctes et de module infrieur 1.
Exercice XIII.8 Dans toute la suite c est une constante relle strictement positive. On se
propose de dterminer quelques proprits des solutions exactes et approches du pro
blme de transport (P) suivant : trouver u tel que
U ^ = f ( x n), Vn.
k
On pose A = . Montrer que :
h
im+) - im) f A m) f r i m)
+ c - T Un~l = 0- te )
k
a) Calculer comme ci-dessus n"'1 en fonction de h, k, A, / .
b) Montrer que sous certaines conditions portant sur A et c, le schma (S 2 ) est stable.
c) On suppose la solution u du problme (P) de classe C 2. Montrer que pour tout x, on
a:
|u(x, t + k) (1 Ac)u(x, t ) Xcu(x h ,t)\ < A h2,
o
A = ^ ( c2A2 + Ac) sup |/,,()|.
xeR
Dduire de ce rsultat lestimation (T > 0 donn) :
KT
pour tout m, tel que m k < T, sup | u(nhymk) \ < rh.
nez *
Exercice XIII.9 On se propose dtudier des schmas aux diffrences finies pour dter
miner des solutions approches du problme (P) suivant : trouver u tel que
du , v d j v,
~dt ^ + ~dx ^ = x G *>
(x,0) = u0 (x ),
o to est une fonction donne sur E valeurs dans E, et a une constante donne.
1) Montrer que lon a, en posant <p au:
rc rc ptn+l ftn + l
/ u {x ,tn+\)dx I u (x ,tn)dx + / (p(c,t)dt / <p(b,t)dt = 0,
Jb Jb J tn J tn
pour tous rels b, c.
2) On se propose dtudier le schma dfini pour h et k fixs par :
I (U{n+1) - U{n]) + y m /2 ~ ^ - V 2 = o,
k Xi+1/2 Xi1/2
212 Chapitre XIII. Exercices de la partie IV
I D _ /(>) + { A U (m))i = 0,
o /(TO) est ie vecteur de composantes ( U ^ ) iei et A une matrice que lon dfinira
partir des relations :
c) En utilisant cette ingalit, montrer que (*) conduit la stabilit pour vh < a .
d) Conclure en comparant le rsultat obtenu dans la question 4) celui obtenu en c).
2. Corrigs 213
Exercice XIII.10 Soit e un nombre positif donn, on considre le problme (P) suivant :
trouver u solution de :
d2u du
S dx 2 + ^ = -
u,(0) = l, Ue (1) = 0.
1) Dterminer explicitement la solution u de (Pe). Montrer que lorsque e tend vers zro,
la fonction u converge vers une fonction uo discontinue.
2) On pose h = l / ( N + 1), et on considre le problme discrtis sous la forme
Calculer explicitement (i6i)i<i<w et montrer que pour certaines valeurs du couple (e, h)
la suite est oscillante.
3) Pour viter les oscillations mises en vidence la question prcdente, on considre
pour a > 0 donn, le problme discrtis sous la forme :
Oi 1 OL
~fa2 1 + ^*+l) "b l) + (^+1 l) = 0)
UQ = 1 , U at + i = 0 .
Calculer explicitement la suite ()i<j<jv et montrer quil existe une valeur minimale a i
de a pour laquelle cette suite na pas doscillations.
4) Montrer quon peut trouver une valeur de a, note ao, que lon dterminera en fonction
de e et de h, telle que lon ait u(ih) = Uj. On suppose : e < h/2 ; comparer a0 et ai et
conclure.
2 Corrigs
1 + a i 0
2 \
-1 - a2 2 1 + a2
0
0
1 aiv_i 2 1 + aiv-i,
0 0 1 otff 2 /
o , e]xh , x i+i [. Compte tenu de lexpression de 0, on a : |0(3) | < 1, |0(4)| < 1, ce qui
donne :
|( A k ) i - l |< 1 < i< N .
5) Notant e le veteur de R N dont toutes les composantes valent 1, on a :
A h 0h > { 1 - j ) e > ^ e ,
compte tenu du fait que : h < 1/2 (car N > 1). Comme Ah est monotone, on obtient :
0h > (15/16) A ^ le, do on dduit :
qui entrane : via>j = vio+hjo = vio- ltjo = vi0,n+i = vi0tjo-i. En dautres termes, le
maximum est atteint aux quatres points adjacents du point de coordonnes (ioh,joh).
De proche en proche, on montre que ce maximum est atteint sur tous les points de Dh,
mais aussi pour les points adjacents aux points de Dh, i.e. les points de Ch, ce qui d
montre le rsultat.
b) On constate que L $ i j = 1. Par ailleurs, < (a 2 + b2) / 4. De plus, par dfinition de
M l , Lwe = eLv + M l > 0 sur Dh. De la question prcdente, on dduit :
max Wi, < max wf- ,.
Dh ^ ~ ch
On obtient donc, puisque $ > 0 :
a2 + b2
max evi , < max w, , < max evi , + M l ;
Dh J Dh ~ Ch J 4
soit en dfinitive :
I | ^- I | , fl2 + b2 m a x \LVi
m a x \Vi, < m a x m, , H------- -
| r , ,.
Dh '3 ~ ch 1 Jl 4 Dh 1
2) Par dveloppements de Taylor, on a, sur Dh :
h2 d4u . . d4u ,
Lu(ih,jh) - f ( i h , j h ) = Titj =
^ ^ u3K) + d ^ ^ h ' ^ \
o & g ] ( - 1 )h, (i + 1 )h[ et ' G ](j - 1 )h, (j + l)/i[. Comme Leitj = ThJ, on obtient,
avec les notations de lnonc :
M h2
m ax |Le, ,1= m ax |Tt , I <
Dh ,3' Dh 1 ,JI 6
2. Corrigs 215
a2 + b2 . . a2 -\r b2 2
max e* , < 4 m axILe^l < 24 .
Dh 1 l3' ~
-1 0 ......... 0 \
2
-1 2 -1 . ;
0
A(a) = Id + a A t h, h = -^
0
-1 2 - i,
l 0 ......... 0 - 2 2 /
A =
0
b a b
U ... 0 2b aJ
On procde comme dans la dmonstration du Lemme 2.2 du Chapitre XI, sauf quon
impose ici (en raison des conditions aux limites) : Vo = 0 et V^+i = V/v_i, de sorte que
pour chaque indice i G {1,..., N }, on a encore :
(k + l/2)7r
Ak(a) = 1 + a A t sin2 pour k G { 0 , N },
2(N + 1 )
/ (fc + l/2)7T\
(Yk)i = sin
V N + i J
est un vecteur propre de A(a) associ la valeur propre A* ; remarquons quil ne dpend
pas de a (les matrices A{9) et A (l 6) ont en particulier les mmes vecteurs propres).
On dduit de ce rsultat que la matrice A(9) est inversible (ses valeurs propres sont toutes
strictement positives) et que les valeurs propres de la matrice ditration B du schma
(dfinie par : B = [A(^)]- 1A((1 6))) sont donnes par :
1 - (1 e)A t sin2 ( )
Ak(B) = k e { 0 ,...,N } .
On remarque que pour tout k, on a : Ak(B) < 1. Par ailleurs, A*,(5) > 1 si et seulement
2 (1 26)At . 2,(k + l/2)TT.
si 1 - - ^ sin ( 2 (]v + l ) ' remar<ue alors, que si 6 > 1 / 2 , ces
conditions sont remplies et le schma est inconditionnellement stable. Pour 0 < 1 / 2 , il
est stable si et seulement si la condition (XI.75) est satisfaite. On retrouve donc les mmes
rsultats que ceux de la premire question.
3 ( u (x , t + k) u (x, t ) \ 1 ( u (x, t) u (x ,t k ) \
2V k / 2\ k /
|u ( x + h, t + k) 2u(x, t + k) + u(x h, t + k)^j
( du d2u \ . . f d ( du d2u
(x, t) + 0 ( k 2 + h2).
Utilisant le fait que u est solution de (P), on en dduit que le schma est du second ordre
en temps et en espace.
3) D aprs le Corollaire 2.3 du Chapitre XI, les valeurs propres de la matrice A m - i sont
donnes par :
j,j = 3 + 8rsin 2( | ^ ) , j G {1,...,M 1}.
Pour chaque indice j G {1,...,M 1}, le discriminant rduit de cette quation du second
degr dinconnue Aj vaut Aj = 1 8r 2 sin2 (j 7r /( 2 M)). Un calcul simple montre que,
quel que soit le signe de A.,, les racines de cette quation sont de module strictement
infrieur 1 , et le schma est stable sans condition (avec la convention adopte dans cet
exercice).
du. . d2ii
x - ^ ( x ,t) + 0 { x 2),
& (M )
( 1 du\ . . d2u . .
( ; s ) (0',) - & (0'f)
LEDP prolonge en x = 0 scrit alors :
du, , d2u ,
T t m ) = 2 ^ ( o , (),
1 4r 4r 0 0 \
A= r l-2 r lr 0
V 0 i1 5(]57=y)r 1 ~ 2 r J
3) Ltude de la stabilit au sens usuel ncessite une valuation des valeurs propres de la
matrice A, ce qui nest pas facile ici car les coefficients de la matrice varient dune ligne
lautre. Evaluons HAHoo pour : r < 1/4. Les coefficients de la matrice A sont dans ce
cas tous positifs, et un calcul simple montre que pour tout i, on a : 0 < E j A ,j < 1 , de
sorte que H^Hco < 1. Le schma est stable pour la norme ||.||oo-
218 Chapitre XIII. Exercices de la partie IV
dv dw d dw\
= c2 - CT = 0.
dt dx dt dx J
+ "k l h )
(n+1) (n) (n+l) (n+1)
< - 1/2 - < - 1/2 Vm_____vm-l
At h
yj(n+l) = A
yjin)
avec
1 - ab() ic2a()
(0 1 c2a()2
ou on a pose :
({) = M i) =
Les valeurs propres A de A sont donnes par P (A) = 0, avec :
On retrouve ainsi une condition de stabilit identique celle trouve pour le problme de
la chaleur.
Supposons maintenant c ^ 0. Deux cas peuvent alors se produire :
1. pour tout G R , A() < 0 ; lquation P (\) 0 admet alors deux racines com
plexes conjugues distinctes de module i / l <r6() < 1 , de sorte que la matrice
A() est diagonalisable pour tout et son rayon spectral est infrieur ou gal 1 .
2. il existe G M tel que A() > 0 : lquation P (A) = 0 admet deux racines
relles (non ncessairement distinctes) et la matrice >4 () nest pas diagonalisable a
priori. Un calcul prcis des valeurs propres montre que, si la condition suivante est
satisfaite :
n h 2^2 i
2 v + c h < 1 -
ces valeurs propres sont toutes deux dans lintervalle ] 1 , 1 [.
En conclusion, modulo la condition (XII.41) du cours (quon ne demande pas de vrifier
ici), le schma (55) est stable si lune des deux conditions suivantes est satisfaite :
. n k nk2 ,
c = et < r^ < OU c ^ 0 et 2 < 1
Remarquons que si nous avions tudi directement le schma sous sa forme naturelle,
on aurait eu, aprs tranforme de Fourier, le systme suivant :
/ (j(n+1) \ ^ / j)()
1 #() J B 1 c/ " - 1)
b ({)= ( 2- A ( ^ OK O - l ) ,
Les valeurs propres de B vrifient encore lquation P{A) = 0, de sorte que la discus
sion semble tre inchange. Une diffrence apparat cependant ici dans le cas particulier
sin (^ ) = 0 (qui entrane a() = 6() = 0), pour lequel la matrice ?() a une va
leur propre double gale 1, tout en ntant pas diagonalisable (et non normale). On
retrouve ainsi la mme difficult que celle rencontre en cours pour ltude du schma
naturelpour lquation des ondes (cf paragraphe 2.1.3. du Chapitre XII).
Soit u une solution de classe C1 de (P), alors v'(t) = (x'(t) c ) |j (x(t), t ), de sorte que
v'(t) = 0 sur les courbes dquation x'(t) = c, cest--dire sur les droites x(t) = x(0)+ct.
On a alors sur ces droites : u(x(t),t) = f ( x ( 0)) = f{x(t) et). Plus gnralement, pour
220 Chapitre XIII. Exercices de la partie IV
tout point x, on a : u(x, t) = /( x et) : la solution linstant t du problme (P) est donc
ainsi dfinie de manire unique en fonction de la donne initiale / .
2) Lexpression de en fonction de / stablit par rcurrence. On remarque alors
qu linstant tm, la solution approche au point dabscisse xn ne fait intervenir que des
valeurs de / prises en des points dabscisse plus grande, ce qui est en total dsaccord avec
la solution exacte : = f ( x n ctm). Ce schma ne peut donc pas tre convergent.
3) On dmontre par rcurrence que lon a :
m
m) = J 2 CL ( 1 - AcY (\c)m~j f ( n h - (m - j)h).
j=0
Si A < 1/c, les coefficients dans lexpression ci-dessus sont positifs et on a la majoration :
m
\im)\ < l l / I U ^ ^ a - A c j ^ A c r ^ ' = \ \ f \ u i - c \ + c \ r = ll/lloo;
3=0
Par rcurrence immdiate, et compte tenu du fait que = 0, on a, pour tout indice m
tel que m k < T :
AT
s u p |e ^ | < m A h 2 < r-h,
n A
f f xi+l/2
/ ip(x)dx = 2_^ / '4>{x)dx ci h ^ fp{xi),
=1 ^*-1/2 =i
2. Corrigs 221
On en dduit que si vk < a, |{/(m+1)| < | t / ^ | et le schma est stable. On vrifie quon
retrouve la mme condition de stabilit que dans la question 4).
1 - exp(f)
us(x) = 1
1 - exp(i) '
Quand e >0, ue >uo, o uq est la fonction discontinue dfinie par : uo(x) = 1 pour
x [0, 1 [, ettio(l) = 0.
2) Deux cas se produisent. Si h = 2e, on trouve : Ui = 1, pour 0 < %< N et ujv+ i = 0.
Si h 7^ 2e, on trouve :
r* 1 2e + h
Ui = 1 r ^ - l f = 2T ^ h '
On a : |r| > 1. Maintenant, si e < h/2, r < 0 et rl change de signe selon la parit de
lindice i : les valeurs de Ui oscillent alors autour de 1 .
3) Si h( 1 a) ^ 2e, on trouve cette fois :
r* 1 _ 2 e + h{ 1 + a)
ui = l ~ r N+! _ ! > r = 2 e -h (l-a )'
Le rapport e/h tant donn, on peut choisir une valeur de a pour laquelle la suite nos
cille pas. On remarque que nimporte quelle valeur strictement positive de a convient si
e/h > 1 / 2 ; dans le cas contraire, il suffit de choisir a > i = 1 2 e/h > 0 .
4) Il suffit que : r = exp(h/e). On trouve alors :
^ 1 q i 2
0 /i (exp(V e)-l)'
Si e < h/2, on a : i > a 0. Par ailleurs, quand e/h tend vers 0, cto et a i tendent tous
deux vers 1 , ce qui correspond un schma de discrtisation de la drive premire qui
est alors totalement dcentr gauche.
Bibliographie
[25] Raviart R-A., Thomas J.-M., Introduction V analyse numrique des quations aux drives
partielles , Masson (1983).
[26] Richtmyer R.B.-Morton K.W., Difference methods fo r initial-value problems. Collection In
terscience tracts in pure and applied mathematics, Number 4, Interscience publishers, John
Wiley and Sons (1967).
[27] Schwartz L., Mthodes mathmatiques pour les sciences physiques , Ed. Hermann, Paris
(1965)
[28] Schwartz L., Thorie des distributions, Hermann (1966).
[29] Vo Khac Khoan, Distributions, analyse de Fourier, oprateurs aux drives partielles tomes
1 et 2, Vuibert (1972).
Index
A D
algorithme degrs de libert. 75,79, 80, 86, 87,93,98,111,
de Gauss..................................................... 83 113
de minimisation........................................ 47 demi-espace R + ................................................. 26
du gradient conjugu..........................47, 83 densit
application trace de V(Q) dans Lp( ) ................................. 16
70 ..........................................27,42,52,57 de H 1/ 2{T) dans L 2( T ) ............. 27,53,57
71 ...................................................... 27,42 de V (R n) dans H m{R " ) ......................... 24
approximation de V (il ) dans ..............................24
conform e................................................... 76 diffusion................................................................ 8
consistante.....................................140,141 distributions.......................................15,16,21
de la drive premire............................. 140 au sens des - . . . 5,25, 3 3 ,4 1 ,5 2 ,6 3 ,7 0 ,9 3
de la drive seconde...............................141 convergence des - .......................................19
du laplacien................................... 150,152 dfinition.................................................... 16
interne............................... 76,78,103, 106 drivation des - ............................ 17,19
assemblage dune matrice.........................97,118 de D irac........................................16,19
divergence (oprateur).......................................12
B
base associe aux degrs de libert.98, 104,106, E
116, 119,132 lment de rfrence.......................... 81,99, 116
biharmonique, bilaplacien (oprateur). 7,13, 61, lment fini unisolvant. .. 92,97,103,106,116,
105, 121 119-121
lments finis
C courbes......................................................117
chaleur (quation de la - ) __ 8, 13,30,153, 164 rectangulaires............................................ 92
coefficient damplification...............................181 Q1 ...........................................................92
coercivit............................................... 45,49,57 Q2 ......................................................... 103
compatibilit entre les donnes__ 53, 157, 165, Q3 ......................................................... 106
192, 194 triangulaires............................... 110,187
condition de stabilit . .. 173, 175, 196, 199, 201 P 1 ......................................................... 110
conditions aux lim ites............................3, 13, 63 P 2 ......................................................... 118
de Dirichlet................................................13 P 3 ......................................................... 120
homogne..............................................39 P 5 ......................................................... 121
de Neumann.......................................13,148 ellipticit........................................... 45,63,70
de Robin............................................... 13,56 elliptique (problme).................6, 12, 39,49, 62
mixtes................................................... 13,53 nergie....................................................155, 189
consistance (dun schma)...............................171 quations aux drives partielles........... 3, 12,15
constante quation dEuler.................................................47
dellipticit...................... 45,47,50, 69,77 erreur (estimation de 1-) . . . 76, 84, 89, 121, 176
de continuit........................................45,47 erreur de consistance . .. 144, 147, 149, 152, 166
continuit par rapport aux donnes47,50-52,56, espace
58, 62, 153, 189 H 1(O) ........................................................ 21
contributions lmentaires................................ 97 H(Cl)........................................................ 22
convection-diffusion.......................................... 13 H m(Q ) .......................................................22
convention +, + + ............................................103 H ? (O ) .......................................................24
convergence L L ( n ) ....................................................... 10
de la mthode des lments finis ... 85, 124 LP() ...........................................................9
de la mthode des diffrences finies . .. 143, W m* ( ) ................................................... 22
145,176,177 V ( n ) .......................................................9,15
coordonnes barycentriques......... 113,131,132 V { ) .............................................................9
corde vibrante (problme de la - ) ...................... 6 de Banach................................... 9,1 0 ,2 2
226 INDEX
de Hlder Ck,a(Q )... ........................... 9,26 de stabilit............. 147, 155, 163, 184,190
de H ilbert................. ...................2 1,22,44 intgration par parties discrte.......................184
de Sobolev............... ...................15, 20, 22 interpol de u ................................77, 84, 89,122
espace de polynmes
P 1 .............................. ............................110 L
P 2 .............................. ............................118 Lam (quations de -)...................................... 124
P 3 .............................. ............................120 Laplace (oprateur de - ) ...................................... 7
p s .............................. ............................121 laplacien (oprateur)............................11,13,20
Q1........................ ..............................93 Lemme de Gronwall.................................. 190
Q2 ........................ ............................103
Q3 ........................ ............................106 M
espace variationnel........... ........... 40,43,48,56 maillage.............................................................. 92
espace variationnel discret ......... 78,86,93, 186 espace-temps................................. 165, 194
matrice
F assemblage................................................97,118
factorisation de Gauss, de Cholesky......... 83, 89 bande...........................................................88
fonction creuse......................................... 76, 83, 151
support com pact... ..........................9, 15 damplification dun schma...........174, 197
continue.................... ................................. 9 ditration dun schm a.................... 174
drivable.................... .................................9 dfinie positive.................... 77, 83,96, 143
de Heaviside............. ........................18,21 de m asse..............................................187
intgrable................... ..........................9, 17 de rigidit............................................ 187
lipschitzienne.............................................. 9 monotone................................................ 146,151
localement intgrable,.................. 10, 16, 17 normale....................................... 146,175
support dune - ......... ............................... 9 positive................................................146
test.............................. ........................ 15,25 stockage bande.......................................... 88
fonctions chapeaux........... 79, 93, 111, 113, 186 stockage dune - ........................ 76, 84, 102
support...................... ......... 81,93,97, 111 stockage M orse..........................................89
fonctions propres du problme variationnel. 159 triangularisable................................... 199
forme tridiagonale.........................................81, 88
bilinaire.................... ..............................40 tridiagonale par blo cs........................ 102
bilinaire continue . .. ..............................45 membrane vibrante (quation d une - ) .............. 8
bilinaire symtrique. ........................ 46,47 mesure superficielle sur T ................................. 11
elliptique, coercive. .. ........... 45,50, 52,57 mthode
linaire continue........ ..............................44 de Fourier (stabilit)............................... 179,197
formulation variationnelle. ..3 9 ,4 2 , 66,68, 186 de Galerkin.................................................75
formule de Stokes............. ........................ 11,58 de lnergie (stabilit par la - ) ___ 184,204
formules de Green 11,20,28,4 0 ,4 2 ,5 3 ,5 7 ,5 8 , des lments finis......................... 4,75, 185
62 de sparation des variables........ 156,191
frontire T lipschitzienne.. ..............................10 des diffrences finies. 8,164,185,189, 194
minimisation d une fonctionnelle quadratique46,
G
60
gradient (oprateur)........... ..........................9,20
gradient conjugu............. ..............................47
N
H normale unitaire................................................... 8
hyperbolique (problme).. .................6,12, 189 norme
dans H * ( 0 ) ............................................... 21
dans H q{ I ) ............................................... 24
inquations variationnelles......................... 43,48 dans Mn ....................................... 9, 144,166
ingalit dans i / m( f i ) ..............................................22
dnergie.........................................155, 189 dans i/o 1( H ) ..............................................24
dnergie discrte.....................................184 dans Lp(Cl)...................................................9
de Cauchy Schwarz dans L (0 )............................................... 10
dans Rn ........................................9,26,49 dans W m'P (n ) .......................................... 22
dans L 2( ) ........................ 10,17,25,49 matricielle subordonne..........................145
de Gronwall..............................................191 notation i+, + + .............................................. 113
de H lder....................................................10 noyau de Green.................................................... 4
de Poincar.................... 22,30, 62, 69, 154 noyau de la chaleur.......................................... 164
de Poincar gnralise.............................31 numrotation des fonctionsde base................. 102
INDEX 227
Q U
quotient diffrentiel............... 139,140, 150, 165 unisolvance91,98, 103, 105, 106,119,127,131,
133
R
rgularit V
rsultats de - ......... 41,50,5 3 ,6 3 ,7 0 V-ellipticit.................................................. 45,68
rayon spectral................................................... 146 valeurs propres du problme variationnel. .. 159
relvement (de conditions aux limites)............ 42 vecteur transpos...................; ........................... 9
Von Neumann (stable au sens de -) 182, 198,202
S
schma
0 - .................................................... 182,203
cinq points du laplacien............. 150,206
deux niveaux............................... 168, 195
trois points de la drive seconde 142,
150,165,195,205
centr.................... 142, 149, 150, 165, 205
Achev dimprimer en janvier 2004
sur les presses de Normandie Roto Impression s.a.s.
Lonrai (Orne)
dimprimeur : 033196
Dpt lgal : janvier 2004
Imprim en France
La collection Mathmatiques l'Universit se propose de mettre la disposi-
tion des tudiants de troisime, quatrime et cinquime annes d'tudes sup-
rieures en mathmatiques des ouvrages couvrant l'essentiel des programmes
actuels des universits franaises. Ce1tains de ces ouvrages pourront tre utiles
aussi aux tudiants qui prparent le CAPES ou l'agrgation, ainsi qu'aux lves
des grandes coles.
Nous avons voulu rendre ces livres accessibles tous : les sujets traits sont
prsents de manire simple et progressive, tout en respectant scmpuleuse-
ment la rigueur mathmatique. Chaque volume compo1te un expos du cours
avec des dmonstrations dtailles de tous les rsultats essentiels et de
nombreux exercices. Les auteurs de ces ouvrages ont tous une grande exp-
rience de l'enseignement des mathmatiques au niveau suprieur.