Vous êtes sur la page 1sur 13

Approche variationnelle pour

la mthode des lments finis


par Pierre SPITERI
Docteur s sciences mathmatiques
Professeur lcole nationale suprieure dlectronique, dlectrotechnique,
dinformatique, dhydraulique et de tlcommunication de Toulouse (ENSEEIHT)

1. Prsentation gnrale............................................................................. AF 503 2


2. Modlisation dun problme dlasticit simple............................. 2
3. Analyse mathmatique du problme ................................................. 5
4. Formulation variationnelle pour diverses EDP
monodimensionnelles. .......................................................................... 7
5. Extension au cas de problmes dEDP bidimensionnels .............. 9
6. Conclusion ................................................................................................. 13
Rfrences bibliographiques ......................................................................... 13

epuis lavnement des ordinateurs il y a maintenant plus dun demi-sicle


D et, compte tenu en particulier de laugmentation de leur puissance de calcul,
la simulation numrique a remplac lexprimentation directe trop coteuse et
longue mettre en uvre ; celle-ci nest plus, de nos jours, quun moyen de vri-
fication des calculs effectus sur machine. Sur le plan mathmatique, la simula-
tion numrique ncessite essentiellement la rsolution numrique dquations
aux drives partielles qui conduisent lobtention de solutions approches. Il
existe de nombreuses mthodes dapproximation qui prsentent toutes des
avantages et des inconvnients ; citons, titre illustratif, la mthode des diff-
rences finies, la mthode des volumes finis, les mthodes spectrales, etc.
Dans les trois articles qui composent cet ensemble, nous nous intressons la
mthode des lments finis qui est trs utilise dans lindustrie, en particulier en
aronautique, dans lindustrie automobile, en mtorologie, etc. Cette mthode
est intressante, compte tenu de sa souplesse dutilisation, en particulier vis--vis
de lapproximation des divers oprateurs modlisant des phnomnes en physi-
que-mathmatique et galement pour la prise en compte de conditions aux limi-
tes portant sur les gradients de la fonction calculer. Cette souplesse apparat
galement dans le fait que les domaines o sont dfinies les quations aux dri-
ves partielles peuvent tre approchs au mieux et, en particulier, il peut tre tenu
compte du caractre courbe des frontires de ces domaines ; de plus, les nuds
de la discrtisation, cest--dire les points o sont approches les fonctions
calculer, peuvent tre rpartis de faon arbitraire, ce qui permet davoir un
maillage serr dans les zones forte variation de la solution et un maillage relati-
vement grossier dans les rgions o cette solution varie peu ; dans le mme
ordre dide, il nest pas ncessaire dutiliser des maillages uniformes pas cons-
tant, la dfinition dlments de dimension variable seffectuant sans difficult ;
cela est particulirement apprciable lors de ltude des phnomnes dfinis
dans des milieux htrognes. Enfin, sur le plan informatique, la mthode des
lments finis conduit lcriture de code de calculs les plus gnraux possible,
ce qui correspond certes un avantage mais aussi un inconvnient, compte
tenu de la difficult pratique de programmation de cet algorithme ; il convient de
noter cependant que le schma de principe du code est relativement simple, la
complexit dcoulant des innombrables possibilits quoffre la mthode. De
plus, le dveloppement dun tel code ncessite de longs mois de programmation.

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 503 1
APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS __________________________________________________________________________

Une autre difficult de comprhension de la mthode des lments finis rside


dans le formalisme mathmatique pralable et sous-jacent la mise en uvre
algorithmique. En effet, compte tenu de la complexit croissante des modles
mathmatiques permettant la comprhension de phnomnes de plus en plus
compliqus expliquer, il a t ncessaire de sappuyer sur des rsultats dana-
lyse fonctionnelle labors [1] pour formuler cette mthode dapproximation.
Paradoxalement, ce cadre conceptuel abstrait permet de ne pas imposer aux
solutions ventuelles dtre indfiniment drivables mais au contraire de recher-
cher la drivabilit minimale que lon doit imposer afin que les critures math-
matiques aient un sens. Cela permet dobtenir une formulation du problme qui
peut sinterprter sur le plan physique soit comme la solution dun problme de
minimisation dnergie, condition toutefois que certaines proprits de sym-
trie soient vrifies (ce qui nest pas toujours le cas), soit grce une analogie
avec le classique thorme des travaux virtuels. Ce second point de vue a t
prfr laspect minimisation du fait de sa plus grande facilit dexposition et
de sa plus grande gnralit. Cette partie thorique sera aborde de manire
progressive, les aspects conceptuels tant essentiellement exposs en dimen-
sion un mais de telle sorte que la gnralisation la dimension deux ou trois
seffectue de manire naturelle.
Il convient de noter pour terminer que la mise en uvre informatique na pas
t volontairement aborde dans la mesure o la prsentation de limplantation
de cette mthode aurait considrablement alourdi lexpos ; cependant les
aspects abords dans cet article facilitent la comprhension des phases de pro-
grammation de la mthode des lments finis.
Cet ensemble se compose de trois articles :
[AF 503] Approche variationnelle pour la mthode des lments finis ;
[AF 504] Introduction la mthode des lments finis ;
[AF 505] Prsentation gnrale de la mthode des lments finis.

1. Prsentation gnrale 2. Modlisation


dun problme
La mthode des lments finis est une mthode dapproxima- dlasticit simple
tion des solutions dquations aux drives partielles qui est
construite partir dune formulation quivalente du problme
rsoudre ; cette dernire est appele formulation variationnelle
On considre une corde lastique de longueur unit, fixe en ses
du problme et ncessite le minimum de rgularit de la solution.
extrmits, qui au repos occupe une position qui concide avec laxe
Ox. On soumet cette corde une force de densit par unit de lon-
gueur f ( x ) dont la direction est perpendiculaire laxe Ox. Sous
Cette phase de transformation du problme est certainement la leffet de cette force, la corde subit un dplacement u ( x ) , perpendi-
plus dlicate et la plus difficile traiter car, en toute rigueur, elle culaire laxe Ox. Dans la suite, on supposera que ce dplacement
ncessite lutilisation de notions mathmatiques trs fines et trs est petit. Le problme revient dterminer u ( x ) , en tous points
abstraites, comme la thorie des distributions. Dans cet article, nous x ]0, 1[ . Soit E ( v ) lnergie totale du systme mcanique consi-
nous sommes efforcs daplanir les difficults en considrant pour dr pour un dplacement v de la corde. On sait que le dplacement
commencer dune part la modlisation dun problme simple, ce qui u ( x ) minimise E ( v ) pour tous les dplacements admissibles, cest-
permet de vrifier lquivalence de la formulation de divers probl- -dire pour tous les dplacements nuls aux points x = 0 et x = 1 ,
mes, et dautre part des quations aux drives partielles dfinies tels que lnergie E ( v ) ait un sens physique, cest--dire que E ( v )
dans un domaine monodimensionnel. La gnralisation des soit finie. Soit V lespace des dplacements admissibles, cest--dire
domaines inclus dans  2 ou  3 seffectue en toute rigueur grce lespace qui rend compte des contraintes du problme, savoir :
lutilisation de la thorie des distributions ; pour notre part, nous
avons prfr utiliser la formule de Green, qui gnralise la formule v V v ( 0 ) = v ( 1 ) = 0 et E ( v ) < + (nergie finie)
dintgration par parties utilise dans le cas prcdent simple o
Lnergie E ( v ) est la somme de lnergie de dformation E D et
 . Par ailleurs, la formulation variationnelle dune quation aux
de lnergie potentielle E P drivant de la force f ( x ) pour un dpla-
drives partielles ncessite lutilisation despaces fonctionnels, les
cement v V . crivons en dtail le bilan dnergie : lnergie E D est
espaces de Sobolev, que nous dfinissons de la faon la plus simple
lnergie des contraintes intrieures et lon sait quelle est propor-
possible ; ces espaces sont importants car ils rendent compte en fait
tionnelle la variation de la longueur de la corde ; par consquent,
de la rgularit des fonctions approcher au mieux. Enfin on donne
cette quantit est donne par la relation :
quelques indications sur la formulation du problme dquation aux
drives partielles qui, dans certains cas, peut sexprimer sous


1
1 + d v 2
forme dun problme doptimisation, ce qui conduit la mthode de ED ( v ) = A ------- 1 dx , v V
Ritz, que nous ne dvelopperons pas ici. 0 d x

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 503 2 Techniques de lIngnieur, trait Sciences fondamentales
__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

avec A coefficient de proportionnalit strictement positif. En rsum, lespace V des dplacements admissibles est inclus
dans lespace W dfini par :
Lnergie potentielle E P est donne par :
dv


1 V W = v L2 ( [ 0, 1 ] ), ------- L2 ( [ 0, 1 ] )
EP ( v ) = fv dx , v V dx
0
cet espace W tant dfini dans la littrature comme lespace de
le signe ngatif traduisant lantagonisme entre lnergie interne du Sobolev dordre 1 not traditionnellement par H 1 ( [ 0, 1 ] ) , notation
systme et lnergie potentielle. que nous conserverons dsormais dans toute la suite. De plus, le
Par consquent, lnergie totale E ( v ) scrit : dplacement de la corde tant nul en les points x = 0 et x = 1,
lespace V des dplacements admissibles est donc :


1 2 1
E(v) = A 1 + ------
dv
- 1 dx fv dx , v V
0 dx dv
0 V = v L2 ( [ 0, 1 ] ), ------- L2 ( [ 0, 1 ] ), v ( 0 ) =v ( 1 )= 0
d x
soit encore, en adoptant des notions plus gnrales :



1 1
E(v) = A 1 + v 2
1 dx fv dx , v V Soit : V = v H 1 ( [ 0, 1 ] ) , v ( 0 ) = v ( 1 ) = 0
0 0

avec v = grad ( v ) gradient de la fonction v. cet espace est galement not H 01 ( [ 0, 1 ] ) dans la littrature et on a
linclusion :
Or, on a fait lhypothse des petits dplacements, cest--dire que
dv H 01 ( [ 0, 1 ] ) H 1 ( [ 0, 1 ] ) L2 ( [ 0, 1 ] )
lon a suppos que la fonction v ainsi que ses variations ------- sont
dx
Remarque
petites ; si nous posons = ------- , sous lhypothse prcdente, on
dv 2
dx ce stade de lexpos, on peut effectuer une premire remarque
qui peut tre omise en premire lecture. En effet, sans vouloir insis-
1 dv 2
a donc 1 + 1 --- = --- ------- et, dans ce contexte, E ( v ) est rem- ter exagrment sur les notions danalyse fonctionnelle [2], il
2 2 dx convient de noter que les espaces H 1 ( [ 0, 1 ] ) et H 01 ( [ 0, 1 ] ) poss-
place par la fonctionnelle J ( v ) dfinie par : dent, comme lespace L2 ( [ 0, 1 ] ) , une structure despace de Hilbert,
cest--dire une structure despace vectoriel norm complet, cette


1
d
2 1 dernire proprit signifiant simplement que toute suite de Cauchy
------- dx
A v
E ( v ) J ( v ) = ---- fv dx , v V
0 dx
2 admet une limite qui appartient lespace. Il convient de prciser
0
que lespace L2 ( [ 0, 1 ] ) dune part et les espaces H 1 ( [ 0, 1 ] ) et
H 01 ( [ 0, 1 ] ) ne sont pas munis, en tant quespaces vectoriels norms,
Notons que, plus gnralement, on peut crire J ( v ) sous la
de la mme norme ; en effet on note par :
forme :


1 2
v ( x ) dx

A 1 2 1 v 0, [ 0, 1 ] =
J ( v ) = ---- v dx fv dx , v V 0
2 0 0
la norme dfinie dans lespace L2 ( [ 0, 1 ] ) , et par :
Pour terminer la modlisation du problme prcdent dlasticit,


1
v 2(x) + d v 2
nous allons essayer de prciser au plan mathmatique la dfinition v = ------- dx
0 dx
1, [ 0, 1 ]
de lespace des dplacements admissibles V, en reliant ce dernier
aux espaces fonctionnels les plus classiques qui prennent en
compte la ralit physique du problme considr, en particulier le celle dfinie dans les espaces H 1 ( [ 0, 1 ] ) et H 01 ( [ 0, 1 ] ) .
plus simple dentre eux, lespace L2 ( [ 0, 1 ] ) des fonctions de carr En fait, lespace L2 ( [ 0, 1 ] ) des fonctions de carr intgrable est
intgrable sur [ 0, 1 ] dont nous rappelons la dfinition : construit, dans les cours de mathmatiques, comme le complt de
lespace C ( [ 0, 1 ] ) des fonctions continues sur lintervalle [ 0, 1 ] ;
par ailleurs, linclusion H 1 ( [ 0, 1 ] ) C ( [ 0, 1 ] ) est vraie en dimension

1 2
L2 ( [ 0, 1 ] ) = v v ( x ) dx < + un, mais nest pas vraie en gnral quelle que soit la dimension
0 despace. Ces considrations ne sont pas superflues ; elles donnent
des indications sur la rgularit des fonctions manipules, rgula-
Si lon considre la premire intgrale dfinissant J ( v ) , on rit qui aura un impact sur la qualit de lapproximation obtenue
constate que lnergie de dformation sera finie condition que lorsque lon discrtise des quations aux drives partielles par la
dv mthode des lments finis. Le lecteur est renvoy [3] pour un
------- L2 ( [ 0, 1 ] ) ; de plus, en utilisant lingalit de Cauchy-Schwarz, complment dinformation.
dx
on peut majorer lexpression de lnergie potentielle par : On peut prsent formuler le problme de dtermination du
dplacement de la corde comme le problme doptimisation sans
contraintes suivant :

1 1 2 1 2
EP ( v ) = fv dx  f dx v dx
0 0 0

dterminer u H 0 ( [ 0, 1 ] ) tel que :
1
et, par consquent, lnergie potentielle du systme aura un sens si (1)
les fonctions f et v sont des fonctions de carr intgrable sur [ 0, 1 ] . J ( u )  J ( v ), v H 01 ( [ 0, 1 ] )

Remarque
Dans la majoration prcdente, nous avons utilis lingalit de Posons :
Cauchy-Schwarz par abus en supposant implicitement que lespace


1 du dv 1
des dplacements admissibles tait un espace prhilbertien, ce que a ( u, v ) = A ------- ------- dx et L ( v ) = fv dx
lon peut vrifier postriori. 0 dx dx 0

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 503 3
APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS __________________________________________________________________________

o lapplication ( u, v ) a ( u, v ) est une forme bilinaire symtrique Or, u tant solution du problme (2), le terme a ( u, v u ) L ( v u )
dfinie sur H 01 ( [ 0, 1 ] ) H 01 ( [ 0, 1 ] ) et v L ( v ) est une forme est nul, donc :
linaire dfinie sur H 01 ( [ 0, 1 ] ) .
1 1
Avec ces notations, on a alors : J ( v ) = J ( u ) + --- a ( v u, v u ), v H 0 ( [ 0, 1 ] )
2
1 or :
J ( v ) = --- a ( v, v ) L ( v )
2

1
d (v u) 2
--------------------- dx  0, v H 0 ( [ 0, 1 ] )
1
a ( v u, v u ) = A
Il peut tre difficile de travailler directement sur le problme de 0 dx
minimisation ; cest pourquoi, dans la suite, nous allons donner deux
formes quivalentes de ce mme problme, lune permettant de et, par consquent, cette quantit tant positive, on a J ( u )  J ( v ) ,
caractriser la solution du problme de minimisation et lautre
1
dinterprter la solution de ce problme comme celle dune quation v H 0 ( [ 0, 1 ] ) , et u est bien solution du problme de minimi-
aux drives partielles linaire.
sation (1). Pour terminer, il convient de noter que J ( v ) = J ( u ) si
1 d( v u )
Thorme 1. Toute solution du problme doptimisation (1) a ( v u, v u ) = 0 , pour v H 0 ( [ 0, 1 ] ) , ce qui entrane --------------------- = 0 ,
dx
est solution du problme suivant :
soit ( v u ) ( x ) = Cte pour tout x [ 0, 1 ] ; or ( v u ) ( 0 ) = ( v u ) ( 1 ) = 0 ,
donc la constante est nulle et on a donc J ( v ) = J ( u ) lorsque v = u , ce
dterminer u H 0 ( [ 0, 1 ] ) tel que :
1

(2) qui termine la preuve.


a ( u, v ) = L ( v ), v H 01 ( [ 0, 1 ] )
Remarque
La formulation (2) du problme quivalent au problme doptimi-
Preuve sation correspond lapplication du thorme des travaux virtuels
en mcanique, le dplacement virtuel tant ici la fonction test v.
1 Soit u la solution du problme (1) et v = u + w , o  et
w H 01 ( [ 0, 1 ] ) . Remarque
La somme de deux fonctions de carr intgrable tant videmment ce stade de lexpos, il est important de noter que la norme :
de carr intgrable, il en rsulte que la fonction v est de carr intgra-


ble ; de mme les drives des fonctions u et w tant de carr intgra- 1 2
v v = v 2(x) + d------- dx
v
ble, la drive de v est galement de carr intgrable ; comme de plus
0 dx
1, [ 0, 1 ]
v ( 0 ) = ( u + w ) ( 0 ) = 0 et que, de mme v ( 1 ) = ( u + w ) ( 1 ) = 0 , il
en rsulte que v H 01 ( [ 0, 1 ] ) ; u tant solution du problme doptimi-
introduite dans les espaces H 1 ( [ 0, 1 ] ) et H 01 ( [ 0, 1 ] ) , correspond en
sation et v une fonction quelconque de H 01 ( [ 0, 1 ] ) , on a, compte tenu
fait, un coefficient de proportionnalits prs, la forme bilinaire
de la symtrie de la forme bilinaire :
introduite dans la formulation faible associe lquation.
2

J ( u )  J ( u + w ) J ( u )  J ( u ) + a ( u, w ) L ( w ) + ----- a ( w, w ),
2 Corollaire 1. Si la solution du problme (1) existe, elle est
unique.
w H 01 ( [ 0, 1 ] )
soit encore :
Preuve Il suffit de raisonner par labsurde et de supposer que u 1

2 et u 2 , avec u 1 u 2 , sont solutions du problme ; en reprenant la fin
0  a ( u, w ) L ( w ) + ----- a ( w, w ), w H 0 ( [ 0, 1 ] )
1
2 de la preuve du thorme prcdent, on conclut que :

Le nombre tant un nombre rel de signe quelconque, de deux a ( u1 u2 , u1 u2 ) = 0 u1 = u2


choses lune :
On peut caractriser la solution du problme doptimisation (1),
soit est positif et, aprs simplification par et si de plus comme la solution dun problme de Poisson avec conditions aux
0 par valeurs positives, on a : limites de Dirichlet homognes ; en effet, on a le rsultat suivant :
1
0  a ( u , w ) L ( w ) , w H 0 ( [ 0, 1 ] )
Thorme 2. Soit u H 01 ( [ 0, 1 ] ) , la solution du problme (1)
soit est ngatif et, aprs simplification par et si de plus (ou (2)). On suppose de plus que u est deux fois continment dif-
0 par valeurs ngatives, on a : frentiable sur [ 0, 1 ] . Alors u est solution du problme suivant :
1
0  a ( u , w ) L ( w ) , w H 0 ( [ 0, 1 ] ) d 2u
A ----------2- = f ( x ), x ]0, 1[
dx (3)
On arrive donc une incompatibilit entre ces deux inquations
et la seule possibilit est lgalit, donc u est solution du problme u(0) = u(1) = 0
(2).
2 Rciproquement soit u solution prsent du problme (2) ; v
Preuve En effet u tant solution du problme (1), u est solution
tant un lment quelconque de H 01 ( [ 0, 1 ] ) , on peut toujours crire du problme (2) et lon a :
que J ( v ) = J u + ( v u ) , ce qui, compte tenu de la bilinarit de
1
a ( u , v ) = L ( v ) , v H 0 ( [ 0, 1 ] )
a ( . , . ) et de la linarit de L ( . ) , entrane aprs quelques calculs sim-
ples : soit :


1 du dv 1
J ( v ) = J ( u ) + a ( u, v u ) L ( v u ) + --- a ( v u, v u ), v H 0 ( [ 0, 1 ] )
1 1
A ------- ------- dx =
1
fv dx , v H 0 ( [ 0, 1 ] )
2 0 dx dx 0

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 503 4 Techniques de lIngnieur, trait Sciences fondamentales
__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

On peut calculer la premire intgrale en effectuant une intgra- lunicit de la solution du problme de minimisation (1) ; cette ques-
tion par parties, ce qui conduit : tion peut cependant ne pas tre aborde en premire lecture, auquel
cas le lecteur est renvoy au paragraphe 4. De plus, les critres que


du ( 1 ) du ( 0 ) 1 d 2u 1 1 nous dgagerons seront utiles dans la suite de lexpos. Nous
A ---------------- v ( 1 ) A ---------------- v ( 0 ) A ----------2- v dx = fv dx , v H 0 ( [ 0, 1 ] ) aurons besoin, pour minimiser une fonctionnelle, de calculer sa
dx dx 0 dx 0
drive ; nous donnons ci-dessous la dfinition de la drive gn-
1 d u ralise valable dans des espaces de dimension infinie, ce qui corres-

2
1
A ----------2- f v dx = 0, v H 0 ( [ 0, 1 ] ) pond au cas considr dans la mise sous forme variationnelle dune
0 dx EDP.

ce qui entrane :
Dfinition 1. Soient E et F deux espaces vectoriels norms et J
d u
2
une application dfinie sur un domaine D E et valeurs dans
A ----------2- = f , x ]0, 1[ (4) F. Lapplication J est F-diffrentiable (ou diffrentiable au sens
dx
de Frchet) en tout point u de lintrieur du domaine D, sil existe
1 un oprateur linaire continu A de E dans F, tel que
Comme, de plus, u H 0 ( [ 0, 1 ] ) , on a u ( 0 ) = u ( 1 ) = 0 et u est bien
solution du problme (3).
J ( u + h ) = J ( u ) + < A, h > + h E ( h ) , h E
Rciproquement considrons lquation (4) ; multiplions cette
relation par v H 10 ( [ 0, 1 ] ) et intgrons par rapport x [ 0, 1 ] ; en
remontant les calculs prcdents, cest--dire en effectuant une int- avec lim (h) F =0
h 0
gration par parties, il vient : E

Loprateur linaire A, not encore J, est appel F-drive de J


du ( 0 ) du ( 1 ) 1 du dv 1 1 au point u et sera not J( u )
A ---------------- v ( 0 ) A ---------------- v ( 1 ) + A ------- ------- dx = fv dx , v H 0 ( [ 0, 1 ] )
dx dx 0 dx dx 0
1 Remarque
Or v H 0 ( [ 0,
1 ] ) , ce qui entrane v ( 0 ) = v ( 1 ) = 0 , et u est donc
bien solution du problme (2). On montre que si lapplication J est F-diffrentiable au point u,
Remarque elle est alors continue en ce point. De plus on montre que la F-dri-
ve, si elle existe, est unique (voir [4]).
Les problmes (1),(2) et (3) sont donc quivalents. Pour la formu-
lation (3), qui ncessite des hypothses de rgularit plus fortes, on
dit que u est solution au sens fort du problme. Dans la formulation Dfinition 2. Soit un ouvert de lespace vectoriel E. On dit
(2) du problme, les drives secondes des fonctions napparaissent que lapplication J : E F est drivable dans , si elle est
pas ; cette formulation (2) a donc un sens mme si u nest pas deux F-diffrentiable en tout point u de .
fois continment diffrentiable. On a donc affaibli le problme et la
solution du problme (2) est dite solution faible du problme.
On dfinit de manire analogue les drives dordre suprieur ; en
Remarque fait, nous naurons besoin que de la notion de drive seconde :
La formulation (2) du problme sappelle aussi formulation varia-
tionnelle du problme. La dmarche suivie au cours de la rcipro-
que du thorme 2, savoir multiplication de lquation aux Dfinition 3. Soit J : E F une application F-drivable sur
drives partielles par une fonction test approprie et intgration louvert . Si lapplication drive J est F-diffrentiable en un
par partie sur tout le domaine o est dfinie lEDP, constitue la point u , sa drive, note J ( u ) , est appele F-drive
mise sous forme variationnelle du problme. Cette dmarche est seconde de lapplication J au point u, et on dit que lapplication
pralable lapproximation par la mthode des lments finis dune J est deux fois F-diffrentiable au point u.
quation aux drives partielles. Nous verrons dans les sous-para-
graphes suivants le caractre gnral de la dmarche. Exemple 1. Soit a(.,.) une forme bilinaire symtrique de E E dans
Remarque  et L(.) une forme linaire de E dans  ; soit J une fonctionnelle de E
dans  dfinie par :
Pour construire des schmas aux diffrences finies, on utilise la
formulation forte du problme. Pour construire des schmas aux 1
lments finis, on utilise la formulation faible du problme. J ( v ) = --- a ( v ,v ) L ( v )
2
alors on a :
1
J ( v + h ) = J ( v ) + a ( v ,h ) L ( h ) + --- a ( h ,h )
3. Analyse mathmatique 2
du problme ce qui implique, par les dfinitions prcdentes, que :
<J ( v ), h > = a ( v ,h ) L ( h ) et <J ( v ) h, h> = a ( h ,h )
On a implicitement suppos, lors de lnonc des thormes 1 Ces expressions seront trs utiles pour ltude des problmes
et 2, que la solution du problme existait ; on a ensuite montr avec dEDP mis sous forme variationnelle.
le rsultat du corollaire 1 que, si elle existait, cette solution tait uni-
que. Cest un aspect important qui est ici soulev, car cela permet Par ailleurs nous dfinissons, galement, des proprits de rgu-
une validation partielle du modle retenu dans la mesure o le phy- larit de la fonctionnelle minimiser.
sicien considre toujours empiriquement que le phnomne quil
tudie a une solution unique. Il est certain que ltude de lexistence
et de lunicit de la solution dun problme dEDP est difficile et Dfinition 4. Un ensemble D 0 est convexe si et seulement si :
dpasse largement le cadre de cet article. Cependant, dans le cas du
problme modle, on peut dduire, relativement simplement, grce x D 0, y D 0, [ 0, 1 ]  ( x + ( 1 )y D 0 )
lquivalence des formulations du problme tudi, lexistence et

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 503 5
APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS __________________________________________________________________________

Remarque qui est lingalit cherche. Dans le cas o v ( b ) = 0 , on se ramne


aisment lun des deux cas prcdents.
Autrement dit, dans un domaine convexe, si deux points x et y
1
appartiennent lensemble D 0 , alors le segment qui joint ces deux Exemple 2. Soit J une fonctionnelle de E = H 0 ( [ 0 ,1 ] ) dans  dfi-
points est galement contenu dans lensemble D 0 .
1
nie par J ( v ) = --- a ( v ,v ) L ( v ) , o a(.,.) est une forme bilinaire sym-
2
Dfinition 5. Soit E un espace vectoriel norm. Une fonction- 1 1
nelle J : D 0 E  est : trique de H 0 ( [ 0 ,1 ] ) H 0 ( [ 0 ,1 ] ) dans  dfinie par :
convexe sur le domaine convexe D 0 si :


1 du dv
a ( u ,v ) = A ------ ------ dx
u D 0 , v D 0, ]0, 1[  , 0 dx dx
J ( u + ( 1 )v )  J ( u ) + ( 1 )J ( v )
1
et L(.) une forme linaire de H 0 ( [ 0 ,1 ] ) dans . Un calcul direct simple
strictement convexe sur le domaine convexe D 0 si :
permet de constater que pour ] 0 ,1 [ , on obtient :
u D 0 , v D 0, u v, ]0, 1[  , (1 )
J ( u ) + ( 1 )J ( v ) J ( u + ( 1 )v ) = --------------------a ( u v ,u v )
J ( u + ( 1 )v ) < J ( u ) + ( 1 )J ( v ) 2
1
uniformment convexe sur le domaine convexe D 0 sil En travaillant dans lespace H 0 ( [ 0 ,1 ] ) , on est dans les hypothses
existe une constante c > 0 , telle que : du lemme 1 et on peut appliquer lingalit de Poincar ; en effet on a :

u D 0 , v D 0, ]0, 1[  , a ( u v ,u v ) = A d (u v) 2 A d( u v )
= ---- -------------------
2 A (u v)
+ ---- d
2
-------------------- 2 - 2 -------------------
-
dx 0, [ 0 , 1 ] dx 0, [ 0 , 1 ] dx 0 , [ 0 ,1 ]
J ( u ) + ( 1 )J ( v ) J ( u + ( 1 )v )  c ( 1 ) u v
ce qui implique la minoration suivante :
o . dsigne la norme sur E.
a ( u v ,u v )  inf ---- , ---------------------- u v
A A 2 2
= c uv
2 2C [ 0 ,1 ] 1, [ 0 , 1 ] 1, [ 0 , 1 ]
Remarque
ce qui implique bien luniforme convexit de la fonctionnelle J ( v ) .
La notion de convexit correspond une proprit de rgularit
de la fonctionnelle, moins particulire que la notion de linarit.
Dfinition 6. Une fonctionnelle J : D 0 E  est infinie
Remarque linfini si lim J ( v ) = + .
v
Il est clair que la convexit uniforme entrane la convexit stricte
qui, son tour, entrane la convexit ; la rciproque nest pas vrai.
Cette proprit est importante car elle garantit lexistence dun
Nous aurons besoin, dans la suite, dun rsultat technique classi- minimum de J (cf. [4]), et nous admettrons le rsultat suivant.
que, connu sous le nom dingalit de Poincar :
Thorme 3. Soit E un espace vectoriel norm et J : E 
Lemme 1. Soit v une application continue et drivable, dont la une fonctionnelle continue. Alors si J est infinie linfini, J
drive est continue, et dfinie sur lensemble = [ a ,b ]  . Si admet au moins un minimum sur E.
v ( a ) = v ( b ) = 0 ou si v ( a ) = 0 ou encore v ( b ) = 0, il existe
une constante note C ( ) telle que :
1
Exemple 3. Soit J une fonctionnelle de E = H 0 ( [ 0 ,1 ] ) dans  dfi-
v 0, [ a, b ]  C ( ) d v
------- 1
dx 0, [ a, b ] nie par J ( v ) = --- a ( v ,v ) L ( v ) o a(.,.) est une forme bilinaire sym-
2
2 1 1
o . 0, [ a, b ] dsigne la norme dans L ( [ a, b ] ) . trique de H 0 ( [ 0 ,1 ] ) H 0 ( [ 0 ,1 ] ) dans  dfinie par :


1 du dv
Preuve En effet, dans les deux premiers cas, on a a ( u ,v ) = A ------ ------ dx
0 dx dx


x dv
v(x) = ------- dt 1
a dt et L(.) une forme linaire de H 0 ( [ 0 ,1 ] ) dans  donne par


1 2
soit encore en appliquant lingalit de Cauchy-Schwarz : L(v) = f v dx , o f L ( [ 0 ,1 ] ) . En appliquant lingalit de Cauchy-
0

1 Schwarz, on a avec les notations prcdentes :


---


x b b 2
v(x)  dv dt  dv dt  b a dv 2 dt = C ( ) dv
------- ------- ------- ------- L(v)  L(v)  f 0 , [ 0 ,1 ] v 0, [ 0 , 1 ]  f 0 , [ 0 ,1 ] v 1, [ 0 , 1 ]
a dt a dt a dt dx 0, [ a, b ]

2 1
En levant au carr et en intgrant par rapport x, il vient : car la dfinition des normes dans L ( [ 0 ,1 ] ) et H 0 ( [ 0 ,1 ] ) implique vi-
demment v 0, [ 0 , 1 ]  v 1, [ 0 , 1 ] . De plus, grce au rsultat dvelopp


2 b 2 2 v 2
v 0, [ 0, 1 ] = v ( x ) dx  ( b a ) d
------- 2
a dx 0, [ a, b ] dans lexemple 2, on a : a ( v ,v )  c v 1, [ 0 , 1 ] et, par consquent :

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 503 6 Techniques de lIngnieur, trait Sciences fondamentales
__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

J(v)  c v f v Thorme 5. Soit E un espace de Hilbert, a(.,.) une forme bili-


1, [ 0 , 1 ] 0, [ 0 ,1 ] 1, [ 0 , 1 ]
naire dfinie sur E continue et coercive et L( ) une forme
et, lorsque v est une quantit suffisamment grande, la quan- linaire dfinie sur E continue. Alors le problme variationnel :
1, [ 0 , 1 ]

tit c v 1, [ 0 ,1 ] f 0, [ 0 ,1 ] est positive, ce qui montre que la dterminer u E tel que :



fonctionnelle est infinie linfini et, compte tenu du rsultat du tho- a ( u, v ) = L ( v ), v E
rme 3, assure lexistence dune solution au problme de la minimisa-
admet une solution unique.
1
tion de la fonctionnelle J ( v ) dans H 0 ( [ 0 ,1 ] )

Le problme de lexistence dun minimum de la fonctionnelle J ( v ) Ce rsultat sapplique notre problme modle ; en effet, on a
tant rsolu, il reste rgler celui de lunicit, ainsi que celui de la indiqu que H 01 ( [ 0, 1 ] ) , muni de la norme v v 1, [ 0, 1 ] est un
caractrisation de la solution ; citons le rsultat suivant (cf. [4]) : espace de Hilbert. Grce lingalit de Poincar, on peut vrifier
que la forme bilinaire a ( u, v ) est coercive par un raisonnement
analogue celui dvelopp dans lexemple 2 ; de plus la continuit
Thorme 4. Soit J ( v ) une fonctionnelle strictement convexe ; dcoule trivialement de lingalit de Cauchy-Schwarz. Enfin on
alors la solution du problme : vrifie que la forme linaire L ( v ) est continue de la mme faon que
celle aborde lors de ltude de lexemple 3. Ce qui permet de
retrouver lexistence et lunicit de la solution du problme modle.
dterminer u H 0 ( [ 0, 1 ] ) tel que :
1


J ( u )  J ( v ), v H 01 ( [ 0, 1 ] )

est unique. De plus si la fonctionnelle est F-drivable, la solution 4. Formulation variationnelle
u est caractrise par lquation dEuler suivante :
pour diverses EDP
J ( u ) = 0
monodimensionnelles
Lapplication de ce rsultat au problme modle est immdiate
car, J ( v ) tant uniformment convexe grce au rsultat prsent
Lors de la mise sous forme variationnelle du problme modle
dans lexemple 2, elle est strictement convexe. De plus, compte
dlasticit, on a transform le problme en un problme quivalent,
tenu du rsultat tabli dans lexemple 1, lquation dEuler se
les deux problmes admettant la mme solution. La formulation
rsume ici :
faible ne comporte pas apparemment de conditions aux limites ;
a ( u, v ) = L ( v ), v H 01 ( [ 0, 1 ] ) celles-ci sont en fait incluses dans le choix de lespace H 01 ( [ 0, 1 ] ) des
fonctions tests associes au problme considr. Comme cela a t
qui correspond la formulation variationnelle du problme dEDP. Il indiqu prcdemment, la dmarche est gnrale et comporte, aprs
convient de noter que les rsultats prcdents impliquaient implici- le choix de lespace E des fonctions tests en fonction du problme
tement que la forme bilinaire a(.,.) soit symtrique. Le thorme de considr, la multiplication de lquation aux drives partielles par
Lax-Milgram que nous admettrons sans dmonstration (cf. [5]), une fonction de E et une intgration par partie. Considrons des situa-
donne un rsultat dexistence et dunicit. Ce rsultat ncessite tions distinctes de celle du problme de Poisson avec conditions aux
lintroduction de deux notions nouvelles. limites de Dirichlet homognes considres au paragraphe 2.
Dans la suite de ce paragraphe, f dsignera une fonction de carr
Dfinition 7. Une forme bilinaire a ( u, v ) dfinie sur un intgrable.
espace de Hilbert E est continue si :
Soit, prsent le problme de Poisson avec conditions aux limites
a ( u, v )  M u v , u E, v E de Neumann non homognes suivant :
avec M constante indpendante de u et de v,
. norme sur E. d 2u(x)
-------------------
2
+ q ( x )u ( x ) = f ( x ), q ( x )  q 0 > 0 , x ]0, 1[
dx (5)
Dfinition 8. Une forme bilinaire a ( u, v ) dfinie sur un du ( 0 ) du ( 1 )
---------------- = g 0 , ---------------- = g 1
espace de Hilbert E est coercive (ou E-elliptique) si : dx dx
2
a ( v, v )  v , v E
avec g 0 et g 1 donnes du problme caractrisant lintensit
avec constante indpendante de v, du flux en chacune des extrmits,
. norme sur E. q0 constante positive donne.
Pour mettre ce problme sous forme variationnelle, on a choisi,
dans lexemple prcdent, lespace H 01 ( [ 0, 1 ] ) , qui incluait les
Dfinition 9. Une forme linaire L ( v ) dfinie sur un espace de conditions aux limites de Dirichlet homognes dans sa dfinition :
Hilbert E est continue si : dans la situation du problme (5), on va choisir galement comme
L ( v )  c v , v E espace de travail un espace E de type H 1 ( [ 0, 1 ] ) . On pourrait penser
dfinir comme espace de fonctions tests un espace du type :
avec c constante indpendante de v,
. norme sur E.
dv ( 0 ) dv ( 1 )
E = v H 1 ( [ 0, 1 ] ), ---------------- = g 0 , ---------------- = g 1
dx dx
On peut prsent, noncer le thorme de Lax-Milgram :

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 503 7
APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS __________________________________________________________________________

Cependant, ce choix nest pas possible. En effet, sans rentrer dans Considrons un problme de type Poisson un peu plus gnral,
des dtails thoriques : dfini dans un domaine = [ 0, 1 ] , coefficients non homognes et
dune part, sauf si g 0 = g 1 = 0, lespace E nest pas un espace comportant des conditions aux limites de type Fourier (ou de Robin) :
vectoriel, condition rendue ncessaire pour lutilisation du tho-
rme de Lax-Milgram ; d d u(x)
dautre part, si v est une fonction quelconque de H 1 ( [ 0, 1 ] ) , sa ------- c ( x ) ----------------- + u ( x ) = f ( x ), x ]0, 1[
dx dx
drive est simplement continue par morceaux et sa valeur en un (9)
point prcis (par exemple, x = 0 ou x = 1 ) peut ne pas tre dfi- d u(0) d u(1)
nie. c ( 0 ) ----------------- + k u ( 0 ) g 0 = 0, c ( 1 ) ----------------- + k u ( 1 ) g 1 = 0
dx dx
Cest pourquoi, faute de pouvoir introduire explicitement les
1
conditions aux limites de type Neumann dans lespace du travail on avec k > 0 , c ( x ) C ( [ 0, 1 ] ) (espace des fonctions continment dri-
choisit E = H 1 ( [ 0, 1 ] ) comme espace de fonctions tests. Soit v une vables sur [ 0, 1 ] ) et 0 < c 0  c ( x )  c 1 . On choisit E = H 1 ( [ 0, 1 ] )
fonction de H 1 ( [ 0, 1 ] ) ; multiplions la premire quation par v et comme espace de fonctions tests. Soit v une fonction de H 1 ( [ 0, 1 ] ) ;
intgrons par partie ; il vient, compte tenu de la dfinition des multiplions la premire quation par v et intgrons par parties ; il
conditions aux limites de Neumann non homognes : vient :


1
c(x) d u(x) d v(x)
----------------- ---------------- + uv dx

1 1
d------- ------- + q ( x )uv dx =
u dv
fv dx + g 1 v ( 1 ) g 0 v ( 0 ), v H ( [ 0, 1 ] )
1
0 dx dx
0 dx dx 0


1 d u(1) d u(0)
= fv dx + c ( 1 ) ----------------- v ( 1 ) c ( 0 ) ----------------- v ( 0 ), v H 1 ( [ 0, 1 ] ) ,
Posons : 0 dx dx


1
d
1 et, compte tenu de la dfinition des conditions aux limites :
------- ------- + q ( x )uv dx et L ( v ) =
u dv
a ( u, v ) = fv dx + g 1 v ( 1 ) g 0 v ( 0 )
0 dx dx

1
c(x) d u(x) d v(x)
----------------- ---------------- + uv dx
0

avec ces notations le problme (5) scrit : 0 dx dx


1
= fv dx + k ( g 1 u ( 1 ) )v ( 1 ) k ( g 0 u ( 0 ) )v ( 0 ), v H 1 ( [ 0, 1 ] )
dterminer u H 1 ( [ 0, 1 ] ) tel que : 0
(6)
a ( u , v ) = L ( v ) , v H 1 ( [ 0, 1 ] ) Comme prcdemment, posons :


1
c(x) d u ( x ) dv ( x )
On peut, partir de la formulation (6), retrouver le problme (5) a ( u, v ) = ---------------- --------------- + uv dx + ku ( 1 )v ( 1 ) ku ( 0 )v ( 0 )
par simple remonte des calculs et identification. 0 dx dx

Considrons, prsent, un autre type de conditions aux limites, et


par exemple un problme de Poisson avec conditions aux limites


1
mles de type Dirichlet-Neumann : L(v) = fv dx + kg 1 v ( 1 ) kg 0 v ( 0 )
0

d 2u(x) Le problme (9) scrit alors sous la forme standard :


------------------- = f ( x ), x ]0, 1[
dx 2
(7)
dterminer u H 1 ( [ 0, 1 ] ) tel que :
du ( 1 ) (10)
u ( 0 ) = 0, ---------------dx
- = g1
a ( u , v ) = L ( v ) , v H 1 ( [ 0, 1 ] )

et, comme prcdemment, par simple remonte des calculs, les
o la solution est connue au point x = 0 et le flux est impos la
problmes (9) et (10) sont quivalents.
valeur g 1 en x = 1. Soit E lespace des fonctions tests dfini par :
Pour terminer de passer en revue les diverses conditions aux
E = { v H 1 ( [ 0, 1 ] ) , v ( 0 ) = 0 } bords, considrons un problme aux limites muni de conditions aux
limites de type priodique, ce qui se traduit, dans le cas du probl-
Comme lors de ltude des exemples prcdents, multiplions la mes de Poisson monodimensionnel, par le problme suivant :
premire quation par v E et intgrons par partie ; il vient,
compte tenu de la dfinition des conditions aux limites mles de 2
d u(x)
type Dirichlet-Neumann non homognes : ------------------- + qu ( x ) = f ( x ) , x ]0, 1[, ( q > 0 )
dx
2


1 du dv 1 du ( 0 ) du ( 1 ) (11)
------- ------- dx = fv dx + g 1 v ( 1 ) , v E ---------------- = ----------------
0 dx dx 0 dx dx
u ( 0 ) = u ( 1)
Posons :


1 du dv 1
Choisissons comme espace de fonctions tests lespace suivant :
a ( u, v ) = ------- ------- dx et L ( v ) = fv dx + g 1 v ( 1 )
0 dx dx 0
E = { v H 1 ( [ 0, 1 ] ) , v ( 0 ) = v ( 1 ) }
le problme (7) scrit :
La mise sous forme variationnelle du problme (11) conduit, par
dterminer u E tel que : des techniques similaires, la formulation suivante :
(8)
a ( u, v ) = L ( v ), v E
dterminer u E tel que :
et, comme prcdemment, par simple remonte des calculs, les (12)
problmes (7) et (8) sont quivalents. a ( u, v ) = L ( v ), v E

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 503 8 Techniques de lIngnieur, trait Sciences fondamentales
__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

avec : la formulation variationnelle du problme (15) scrit alors :


1
du
1 dterminer u H 2 ( [ 0, 1 ] ) tel que :
------- ------- + quv dx et L ( v ) =
dv
a ( u, v ) = fv dx 0
0 dx dx 0 (16)
dv ( 1 ) dv ( 0 ) 2
a ( u, v ) = L ( v ) + ---------------- ----------------, v H 0 ( [ 0, 1 ] )
les problmes (11) et (12) tant, dans ce cas, encore quivalents. dx dx

Par ailleurs, il existe dautres types doprateurs aux drives Remarque


partielles que le laplacien. Considrons, par exemple, les cas du pro- Dans les problmes prcdents, nous avons simplement mis les
blme de convection-diffusion avec conditions aux limites de Diri- problmes forts sous forme variationnelle. Nous navons pas cher-
chlet homognes : ch effectuer lanalyse du problme, qui consisterait vrifier
lexistence et lunicit de la solution ; cette dmarche peut se faire en
d 2u(x) du ( x ) appliquant le thorme de Lax-Milgram ; la dmarche nest pas tou-
------------------- + c ---------------- + bu ( x ) = f ( x ), x ]0, 1[, b  0 jours simple et ncessite lutilisation de rsultats danalyse fonction-
dx
2 dx (13) nelle. Nous renvoyons le lecteur [5] pour des renseignements

u(0) = u(1) = 0 complmentaires sur ce type de question.

Compte tenu des conditions aux bords, lespace des fonctions


tests tant H 01 ( [ 0, 1 ] ) , la formulation variationnelle du problme (13)
scrit alors : 5. Extension au cas

de problmes dEDP
dterminer u H 0 ( [ 0, 1 ] ) tel que : bidimensionnels
1

(14)
a ( u, v ) = L ( v ), v H 01 ( [ 0, 1 ] )

Soit m un entier naturel, dfinissant la dimension despace du
avec : problme dquation aux drives partielles considr. On consi-
dre la situation o  m (en pratique m = 2 ou m = 3 ) ; on


1 1
a ( u, v ) = du
------- ------- + c -------v + buv dx et L ( v ) =
dv du
fv dx note de manire gnrale la frontire de , qui correspond
0 dx dx dx 0 une varit de dimension m 1 ; on supposera dans la suite que
dune part est born, cest--dire quil peut tre inclus dans une
et lon peut vrifier directement lquivalence des problmes (13) et boule de rayon fini et que dautre part est rgulire , par
(14). exemple continue et variation continue et ne comportant pas de
points de rebroussement.
Pour terminer considrons la formulation variationnelle dun
problme de double laplacien suivant : Dans ce paragraphe, nous allons tendre aux quations aux drives
partielles dfinies dans un domaine  m les rsultats obtenus aux
d 4u(x) d 2u(x) paragraphes prcdents pour des problmes en dimension 1 ; le pro-
-------------------
4
-------------------
2
+ u ( x ) = f ( x ), x ]0, 1[ blme considr sera transform en une formulation faible de manire
dx dx pouvoir utiliser le thorme de Lax-Milgram. Cette transformation a

u(0) = u(1) = 0 (15) t obtenue en dimension 1 grce lutilisation systmatique de la for-
2 2
mule dintgration par parties ; il sera donc ncessaire de gnraliser
d u(0) d u(1) cette formule au cas dune dimension suprieure 1. De la mme
-------------------
2
= , -------------------
2
=
dx dx faon, il sera ncessaire de dfinir, dans ce cas, les espaces de Sobolev
et, en particulier, les drives dordre lev qui apparaissent dans ces
2 espaces de fonctions tests dont la dfinition est ncessaire lcriture
On introduit les espaces de Sobolev dordre 2, nots H ( [ 0, 1 ] ) et
H 02 ( [ 0, 1 ] ) et dfinis par : de la formulation variationnelle associe lquation aux drives par-
tielles considre. On mesure la difficult thorique laquelle on est
2
confront et, en toute rigueur, il faudrait utiliser la thorie des distribu-
2 2 dv 2 d v 2
H ( [ 0, 1 ] ) = v v L ( [ 0, 1 ] ), ------- L ( [ 0, 1 ] ), ----------2 L ( [ 0, 1 ] ) tions, ce qui compliquerait lexpos pour prsenter la mthode des l-
dx dx ments finis des ingnieurs non mathmaticiens.
La faon la plus simple de gnraliser la formule dintgration par
2 2
H 0 ( [ 0, 1 ] ) = { v v H ( [ 0, 1 ] ) , v ( 0 ) = v ( 1 ) = 0 } parties est dutiliser la formule de Green suivante, qui se dduit de
2
la formule dOstrogradski :
Multiplions (15) par v H 0 ( [ 0, 1 ] ) et intgrons deux fois par par-
ties le terme du quatrime ordre, une fois par parties le terme du m


u(x) v(x) u(x)
second ordre ; compte tenu des valeurs aux bords des drives
secondes, il vient :
--------------
xi xi
- --------------- dx =

v ( x )u ( x ) dx +

v ( x ) --------------- ds
n
i=1

1 d

2 2
u d v du dv 1 dv ( 1 ) dv ( 0 ) x = ( x 1, , x m )
----------2- ----------2 + ------- ------- + uv dx = fv dx + ---------------- ----------------,
0 dx dx dx dx 0 dx dx
et :
2
v H 0 ( [ 0, 1 ] ) m 2
u(x)
Posons :
u ( x ) = -----------------
2
-
i=1 x i

1 d u

2 2 1
u d v du dv avec n normale dirige vers lextrieur, ------ est la drive
a ( u, v ) = ----------2- ----------2 + ------- ------- + uv dx et L ( v ) = fv dx n
0 dx dx dx dx 0
normale dfinie par :

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 503 9
APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS __________________________________________________________________________

m
u(x) u(x)
--------------
1
--------------- =
n xi
- cos ( Ox i , n ) = u(x) n dterminer u H 0 ( ) tel que :
i=1
a ( u, v ) = L ( v ), v H 01 ( )
et :
u(x) u(x) t
u ( x ) = ---------------, , --------------- Remarque
x 1 x m
On montre que les espaces H 1 ( ) et H 01 ( ) munis du produit
scalaire :
On peut crire la formule de Green, en criture condense comme m


u(x) v(x)
suit : <u, v > =

u ( x )v ( x ) dx +
--------------- --------------- dx
x i x j


i=1
u(x)
u ( x ) v ( x ) dx = v ( x )u ( x ) dx + v ( x ) --------------- ds
n sont des espaces prhilbertiens (cf. [3]). De plus ces espaces sont
complets pour la norme associe . 1, au produit scalaire < .,. >,
Si, par exemple, m = 3 , la formule de Green scrit : donc H 1 ( ) et H 01 ( ) sont des espaces de Hilbert et on vrifie que,
sous les hypothses prcdentes, on est dans le cadre du thorme
3


u(x) v(x) u de Lax-Milgram (cf. [3]).

--------------
xi xi
- --------------- dx =

vu dx +

v ------ ds
n Considrons, toujours dans un domaine bidimensionnel, le
i=1
problme aux limites comportant des conditions aux limites de
et lorsque m = 2 , on obtient : Neumann non homognes suivant :
2


u(x) v(x) u u ( x ) + u ( x ) = f ( x ), sur 0


--------------
xi xi
- --------------- dx =

vu dx +

v ------ ds
n
i=1 u ( x ) (18)
--------------- = g ( x ), sur
n
Si lon considre le problme analogue au problme de la corde
tudi au paragraphe 2, mais cette fois-ci en dimension m = 2 , cor- 2 2
o f ( x ) L ( ) et g ( x ) L ( ) ; la mise sous forme variationnelle
respondant la situation o lon calcule le dplacement u ( x ) dune
seffectue comme prcdemment. On choisit ici E = H 1 ( ) ; on
membrane lastique occupant au repos un domaine de frontire
multiplie lquation dfinie dans le domaine par une fonction test
, fixe sur sa frontire et soumise une force f ( x ) perpendi-
v de H 1 ( ) et on intgre sur tout le domaine ; lapplication de la
culaire au plan x 1 Ox 2 , on est amen rsoudre le problme de
formule de Green conduit la relation :
Poisson avec conditions aux limites de Dirichlet homognes
suivant :

u ( x ) v ( x ) + u ( x )v ( x ) dx u ( x )
v ( x ) --------------- ds
n
0
u ( x ) = f ( x ), sur
(17)


u ( x ) = 0, sur = f ( x )v ( x ) dx , v H 1 ( )
2
avec f(x) L () ,
0 soit, compte tenu des conditions aux limites :
intrieur du domaine .


1
On considre lespace H ( ) , dfini par : u ( x ) v ( x ) + u ( x )v ( x ) dx =

v


1 2 2
H ( ) = v v L ( ), -------- L ( ), i = 1, , m v ( x )g ( x ) ds + f ( x )v ( x ) dx , v H 1 ( )
xi
1 Posons :
et lespace E = H 01 ( ) , sous-espace de H ( ) dont les fonctions
sont nulles sur le bord . Soit v une fonction test lment de
H 01 ( ) ; multiplions le laplacien par v et intgrons sur . Compte
tenu de la formule de Green, il vient, dans le cas m = 2 :
a ( u, v ) =

u ( x ) v ( x ) + u ( x )v ( x ) dx

et


u ( x )
v ( x )u ( x ) dx = u ( x ) v ( x ) dx v ( x ) --------------- ds


n L(v) = v ( x )g ( x ) ds + f ( x )v ( x ) dx

=

f ( x )v ( x ) dx , v H 01 ( )
avec ces notations, le problme (18), est alors transform en un
problme variationnel :
Or v H 01 ( )
et la trace de cette fonction sur le bord est nulle ;
donc lintgrale curviligne disparat. Posons : a ( u, v ) = L ( v ), v H 1 ( )


Rciproquement, partant de la relation prcdente, on peut
a ( u, v ) = u ( x ) v ( x ) dx et L ( v ) = f ( x )v ( x ) dx remonter les calculs et, via lutilisation de la formule de Green, on

obtient la formulation forte (18). Finalement, par ce biais, on vrifie
la relation prcdente scrit alors : donc lquivalence du problme (18) avec le problme variationnel
suivant :
a ( u, v ) = L ( v ), v H 01 ( ) 1
dterminer u H 0 ( ) tel que :

Rciproquement, partant de la relation prcdente, et en remon- a ( u , v ) = L ( v ), v H 1 ( )
tant les calculs, grce notamment lutilisation de la formule de
Green, on constate que le problme (17) est quivalent au problme pour lequel, sous les hypothses prcdentes, le thorme de Lax-
variationnel suivant : Milgram est applicable.

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 503 10 Techniques de lIngnieur, trait Sciences fondamentales
__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

2
Soit le domaine born  , de frontire ; on suppose de
plus que = 0  1 ; on considre le problme de Poisson avec dterminer u E tel que :

conditions aux limites mles de type Dirichlet-Neumann suivant : a ( u, v ) = L ( v ), v E

u ( x ) = f ( x ), sur 0 Remarque
Compte tenu, dune part, de la dfinition de lespace des fonctions
u ( x ) = 0, sur 0
(19) tests et, dautre part, de celle de la forme bilinaire a(.,.) et de la
u ( x ) forme linaire L(.), le problme variationnel associ au problme de
--------------- = g ( x ), sur 1
n
Poisson avec conditions aux limites mles de type Dirichlet-Neu-
mann rentre, sous les hypothses prcdentes, dans le cadre de
2 2 lutilisation du thorme de Lax-Milgram ; cependant la vrification
o f ( x ) L ( ) et g ( x ) L ( 1 ) . La mise sous forme variationnelle des hypothses de ce rsultat reste dlicate et ncessite lutilisation
du problme (19) ncessite la dfinition dun espace de travail E destimations fines danalyse fonctionnelle (cf. [3]).
adapt la situation, notamment compte tenu des conditions aux
limites considres ; on choisira comme espace E un sous-espace Le dernier type de conditions aux limites rencontres pour les
de H 1 ( ) . La condition aux limites de Dirichlet homogne sur 0 quations aux drives partielles elliptiques sont les conditions de
pourra tre introduite dans lespace de travail ; cependant la condi- Fourier (ou de Robin) ; considrons donc le problme suivant, dfini
tion aux limites sur 1 dfinit la valeur de la drive normale sur dans un domaine born  2 , de frontire :
cette partie de la frontire et ne peut tre dfinie pour toutes les
fonctions de lespaces H 1 ( ) . On travaillera donc sur lespace : u ( x ) + u ( x ) = f ( x ), sur 0

u ( x ) (20)
E = { v v H 1 ( ), v ( 0 ) = 0 sur 0 } --------------- + b 0 u ( x ) = g ( x ), sur
n
Soit v une fonction test appartenant E ; on multiplie lquation 2 2
avec b 0 > 0 , f ( x ) L ( ) et g ( x ) L ( ) . Compte tenu des condi-
dfinie dans le domaine par une fonction test v de E et on intgre tions portant sur la drive normale, on choisit, comme espace de
sur tout le domaine ; lapplication de la formule de Green conduit travail, lespace E = H 1 ( ) . On opre de manire analogue ce qui
la relation suivante : a t tabli prcdemment ; soit v une fonction test de lespace
H 1 ( ) ; on multiplie par v et on intgre sur ; compte tenu de la

u ( x )
u ( x ) v ( x ) dx v ( x ) --------------- ds = f ( x )v ( x ) dx , v E formule de Green, on obtient :
n


u ( x ) v ( x ) + u ( x )v ( x ) dx u ( x )
Or, en appliquant les rsultats classiques sur la thorie de lint- v ( x ) --------------- ds
gration, on peut dcomposer lintgrale curviligne en la somme de n
deux intgrales curvilignes dfinies respectivement sur 0 et 1 ,
soit : =

f ( x )v ( x ) dx , v H 1 ( )


u ( x ) u ( x ) u ( x )
v ( x ) --------------- ds = v ( x ) --------------- ds + v ( x ) --------------- ds


n 0 n 1 n u ( x )
Or, sous le signe , la drive normale --------------- est gale
n
Or v appartenant lespace E, lintgrale curviligne dfinie sur 0 g ( x ) b 0 u ( x ) ; on a donc :
est nulle ; de plus, la drive normale de la fonction u sur 1 est
gale g ( x ) ; donc :

u ( x ) v ( x ) + u ( x )v ( x ) dx + b
v ( x )u ( x ) ds


u ( x ) u ( x ) 0
v ( x ) --------------- ds = v ( x ) --------------- ds = v ( x )g ( x ) ds, v E
n 1 n 1

Finalement, la transformation prcdente du problme (19),


conduit lcriture suivante :
=

f ( x )v ( x ) dx +


v ( x )g ( x ) ds, v H 1 ( )

Posons :

u ( x ) v ( x ) dx =
F ( x )v ( x ) dx +
v ( x ) g ( x ) ds , v E

1 a ( u, v ) = u ( x ) v ( x ) + u ( x )v ( x ) dx + b v ( x )u ( x ) ds
0

Posons
et
a ( u, v ) =
u ( x ) v ( x ) dx

L(v) = f ( x )v ( x ) dx +
v ( x )g ( x ) ds


et
La transformation considre, conduit au problme variationnel


suivant :
L(v) = f ( x )v ( x ) dx + v ( x )g ( x ) ds
1
a ( u, v ) = L ( v ), v H 1 ( )
on a donc la relation suivante :
Comme lors des tudes prcdentes, on peut partir de la relation
a ( u, v ) = L ( v ), v E prcdente, et via lutilisation de la formule de Green, remonter les
calculs pour retomber sur le problme (20), ce qui montre lquiva-
Rciproquement, de la mme faon que lors de ltude des pro- lence de ce problme avec le problme variationnel suivant :
blmes prcdents, et grce la formule de Green, on aboutit, en
partant de la relation prcdente et en remontant les calculs, la for- dterminer u H 1 ( ) tel que :
mulation forte (19) et on vrifie lquivalence de ce problme avec le
problme variationnel suivant : a ( u, v ) = L ( v ), v H 1 ( )

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 503 11
APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS __________________________________________________________________________

qui, sous les hypothses prcdentes, rentre dans le cadre formel On considre, prsent les espaces fonctionnels suivants :
du thorme de Lax-Milgram.
Remarque v v
2

2 2 2 2
H ( ) = v v L ( ), ------- L ( ), ---------------- L ( ), i, j = 1, , n
Ce contexte dtude peut bien videmment tre tendu des
x i x i x j
situations plus gnrales doprateurs elliptiques gnraux du
second ordre, dfinis dans des domaines borns  m ; soit A un
oprateur aux drives partielles du type :
2 2 v
H 0 ( ) = v v H ( ), v = 0 et ------ = 0 sur
m m
u ( x ) n
Au = xi bi, j ( x ) --------------
x j
- + b 0 ( x )u ( x )
i = 1j = 1 2
Soit v une fonction test de H 0 ( ) ; en multipliant lquation
avec b i, j ( x ) et b 0 ( x ) fonctions continues et bornes sur le biharmonique (21) dfinie sur , puis en intgrant sur , on
domaine . obtient :
On suppose de plus vrifies les hypothses dellipticit suivantes :


b 0 ( x )  0 > 0, x u ( x ) v ( x ) + u ( x )v ( x ) dx = 2
f ( x )v ( x ) dx , v H 0 ( )
m m m

bi, j ( x ) i j  i , m, ( > 0 )


2

i = 1j = 1 i=1 Appliquons une premire fois la formule de Green au premier


terme :
la dernire relation traduisant le fait que la matrice B = ( b i, j ( x ) ) de
type m m, est dfinie positive. Soit f ( x ) L 2 ( ) et g ( x ) une fonc-


tion dfinie sur , frontire du domaine ; soit C un oprateur ( u ( x ) )
u ( x ) v ( x ) dx = u ( x ) v ( x ) dx + ------------------------ v ( x ) ds,
diffrentiel linaire dfini sur et dcrivant lune quelconque des n
conditions aux limites prcdemment rencontres. On considre le 2
problme suivant : v H 0 ( )
0
Au = f , sur 2
et comme v H 0 ( ), v = 0 sur le bord et par consquent lint-

Cu = g , sur grale curviligne sannule. Appliquons de nouveau la formule de
Green au terme prcdent, il vient, v H 02 ( ) :
et soit E un espace de fonctions tests convenablement choisi,
E H 1 ( ) et muni dune norme identique celle de lespace
H 1 ( ) ; on peut associer au problme diffrentiel prcdent une for-
mulation variationnelle du type :

u ( x ) v ( x ) dx =

u ( x ) v ( x ) dx


v ( x )
a ( u, v ) = L ( v ), v E = u ( x )v ( x ) dx u ( x ) -------------- ds
n
o :
v ( x )

u(x) et comme -------------- = 0 sur le bord, par consquent lintgrale curviligne
a ( u, v ) = Au ( x )v ( x ) dx + ---------------v ( x ) ds n
n sannule. Finalement lquation aux drives partielles (21) se trans-
avec : forme alors comme suit :
m m
u(x) u(x)
bi, j ( x ) --------------
- cos ( Ox i n )
u ( x ) v ( x ) + u ( x )v ( x ) dx =

--------------- = 2
n x j f ( x )v ( x ) dx , v H 0 ( )
i = 1j = 1

avec n normale , dirige vers lextrieur, qui correspond la formulation variationnelle associe au problme
( Ox i , n ) angle entre laxe Ox i et n . de plaque. Posons :
Compte tenu de lexpression de loprateur A, on peut transfor-
mer la forme bilinaire a ( u, v ) comme suit :
m m
a ( u, v ) =

u ( x )v ( x ) + u ( x )v ( x ) dx



u ( x ) v ( x )
a ( u, v ) = b i, j ( x ) --------------- -------------- + b 0 ( x )u ( x )v ( x ) dx et
x x

i j
i = 1j = 1 L(v) = f ( x )v ( x ) dx
+ termes de bords


on aboutit donc lcriture standard :
L(v) = f ( x )v ( x ) dx + termes de bords
2
a ( u , v ) = L ( v ), v H 0 ( )
Pour terminer, considrons lquation dune plaque encastre,
soumise des charges et dont la dformation u ( x ) est donne par Et, comme prcdemment, en partant de cette criture et en
lquation biharmonique suivante : remontant les calculs, on vrifie lquivalence entre le problme (21)
et le problme suivant :
0 2
( u ( x ) ) + u ( x ) = f ( x ), sur 
u ( x ) = 0, sur 2
(21) dterminer u H 0 ( ) tel que :
u ( x )
- = 0, sur
-------------- a ( u, v ) = L ( v ), v H 02 ( )
n

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 503 12 Techniques de lIngnieur, trait Sciences fondamentales
__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

6. Conclusion o E est un espace fonctionnel (en gnral un espace de Hilbert et,


plus gnralement, un espace vectoriel norm), a (.,.) une forme bili-
naire continue et coercive, L(.) une forme linaire continue. Dautres
Dans cet article, nous avons transform des classes varies de types dEDP peuvent tre mis sous forme variationnelle. partir de
problmes dEDP, associes divers oprateurs aux drives par- la formulation (22), on construit une mthode dapproximation de la
tielles et aux conditions aux limites classiques, en un problme solution par lments finis en projetant le problme (22) sur un sous-
espace de E de dimensions finies.
quivalent. Cette opration correspond la mise sous forme varia-
tionnelle du problme dEDP et est formule comme suit :
Cette mthode dapproximation est dcrite dans les articles [AF 504]
et [AF 505].
dterminer u E tel que :
(22)
a ( u, v ) = L ( v ), v E

Rfrences bibliographiques
[1] DAUTRAY (R.) et LIONS (J.L.). Analyse [3] RAVIART (P.A.) et THOMAS (J.M.). Introduc- Collection Mathmatiques Appliques, Mas-
mathmatique et calcul numrique pour les tion lanalyse numrique des quations aux son (1982).
sciences et les techniques. Tome 1 tome 9, drives partielles. Collection Mathmatiques [5] CIARLET (P.G.). The finite element method
Masson (1988). Appliques, Masson (1983). for elliptic problems. North-Holland (1978).
[2] BREZIS (H.). Analyse fonctionnelle. Collec-
tion Mathmatiques Appliques, Masson [4] CIARLET (P.G.). Introduction lanalyse
(1982). numrique matricielle et loptimisation.

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 503 13