You are on page 1of 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.............................

3.

Analyse mathmatique du problme .................................................

4.

Formulation variationnelle pour diverses EDP


monodimensionnelles. ..........................................................................

5.

Extension au cas de problmes dEDP bidimensionnels ..............

6.

Conclusion .................................................................................................

13

Rfrences bibliographiques .........................................................................

13

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


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 vrification des calculs effectus sur machine. Sur le plan mathmatique, la simulation 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 diffrences 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 physique-mathmatique et galement pour la prise en compte de conditions aux limites portant sur les gradients de la fonction calculer. Cette souplesse apparat
galement dans le fait que les domaines o sont dfinies les quations aux drives 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 relativement grossier dans les rgions o cette solution varie peu ; dans le mme
ordre dide, il nest pas ncessaire dutiliser des maillages uniformes pas constant, 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 danalyse 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 rechercher la drivabilit minimale que lon doit imposer afin que les critures mathmatiques 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 symtrie 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 dimension 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 programmation 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
La mthode des lments finis est une mthode dapproximation des solutions dquations aux drives partielles qui est
construite partir dune formulation quivalente du problme
rsoudre ; cette dernire est appele formulation variationnelle
du problme et ncessite le minimum de rgularit de la solution.

Cette phase de transformation du problme est certainement la


plus dlicate et la plus difficile traiter car, en toute rigueur, elle
ncessite lutilisation de notions mathmatiques trs fines et trs
abstraites, comme la thorie des distributions. Dans cet article, nous
nous sommes efforcs daplanir les difficults en considrant pour
commencer dune part la modlisation dun problme simple, ce qui
permet de vrifier lquivalence de la formulation de divers problmes, et dautre part des quations aux drives partielles dfinies
dans un domaine monodimensionnel. La gnralisation des
domaines inclus dans  2 ou  3 seffectue en toute rigueur grce
lutilisation de la thorie des distributions ; pour notre part, nous
avons prfr utiliser la formule de Green, qui gnralise la formule
dintgration par parties utilise dans le cas prcdent simple o
 . Par ailleurs, la formulation variationnelle dune quation aux
drives partielles ncessite lutilisation despaces fonctionnels, les
espaces de Sobolev, que nous dfinissons de la faon la plus simple
possible ; ces espaces sont importants car ils rendent compte en fait
de la rgularit des fonctions approcher au mieux. Enfin on donne
quelques indications sur la formulation du problme dquation aux
drives partielles qui, dans certains cas, peut sexprimer sous
forme dun problme doptimisation, ce qui conduit la mthode de
Ritz, que nous ne dvelopperons pas ici.

AF 503 2

2. Modlisation
dun problme
dlasticit simple
On considre une corde lastique de longueur unit, fixe en ses
extrmits, qui au repos occupe une position qui concide avec laxe
Ox. On soumet cette corde une force de densit par unit de longueur f ( x ) dont la direction est perpendiculaire laxe Ox. Sous
leffet de cette force, la corde subit un dplacement u ( x ) , perpendiculaire laxe Ox. Dans la suite, on supposera que ce dplacement
est petit. Le problme revient dterminer u ( x ) , en tous points
x ]0, 1[ . Soit E ( v ) lnergie totale du systme mcanique considr pour un dplacement v de la corde. On sait que le dplacement
u ( x ) minimise E ( v ) pour tous les dplacements admissibles, cest-dire pour tous les dplacements nuls aux points x = 0 et x = 1 ,
tels que lnergie E ( v ) ait un sens physique, cest--dire que E ( v )
soit finie. Soit V lespace des dplacements admissibles, cest--dire
lespace qui rend compte des contraintes du problme, savoir :
v V v ( 0 ) = v ( 1 ) = 0 et E ( v ) < + (nergie finie)
Lnergie E ( v ) est la somme de lnergie de dformation E D et
de lnergie potentielle E P drivant de la force f ( x ) pour un dplacement v V . crivons en dtail le bilan dnergie : lnergie E D est
lnergie des contraintes intrieures et lon sait quelle est proportionnelle la variation de la longueur de la corde ; par consquent,
cette quantit est donne par la relation :
ED ( v ) = A

v 2
1 + d
------- 1 dx , v V

d
x
0
1

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

__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

avec

coefficient de proportionnalit strictement positif.

Lnergie potentielle E P est donne par :


EP ( v ) =

dv
V W = v L2 ( [ 0, 1 ] ), ------- L2 ( [ 0, 1 ] )
dx

fv dx , v V

le signe ngatif traduisant lantagonisme entre lnergie interne du


systme et lnergie potentielle.
Par consquent, lnergie totale E ( v ) scrit :
E(v) = A

En rsum, lespace V des dplacements admissibles est inclus


dans lespace W dfini par :

dv
1 + ------ 1 dx
dx

cet espace W tant dfini dans la littrature comme lespace de


Sobolev dordre 1 not traditionnellement par H 1 ( [ 0, 1 ] ) , notation
que nous conserverons dsormais dans toute la suite. De plus, le
dplacement de la corde tant nul en les points x = 0 et x = 1,
lespace V des dplacements admissibles est donc :

fv dx , v V

dv
V = v L2 ( [ 0, 1 ] ), ------- L2 ( [ 0, 1 ] ), v ( 0 ) =v ( 1 )= 0
d
x

soit encore, en adoptant des notions plus gnrales :


E(v) = A
avec

1 + v
0

v = grad ( v )

1 dx

fv dx , v V

gradient de la fonction v.

Or, on a fait lhypothse des petits dplacements, cest--dire que


dv
lon a suppos que la fonction v ainsi que ses variations ------- sont
dx
dv 2
petites ; si nous posons = ------- , sous lhypothse prcdente, on
dx
a donc

1 dv 2

1 + 1 --- = --- ------- et, dans ce contexte, E ( v ) est rem2


2 dx

place par la fonctionnelle J ( v ) dfinie par :


A
E ( v ) J ( v ) = ---2

v
d
------- dx

0 dx

fv dx , v V

Notons que, plus gnralement, on peut crire J ( v ) sous la


forme :
A
J ( v ) = ---2

v dx

v ( x ) dx < +

Si lon considre la premire intgrale dfinissant J ( v ) , on


constate que lnergie de dformation sera finie condition que
dv
------- L2 ( [ 0, 1 ] ) ; de plus, en utilisant lingalit de Cauchy-Schwarz,
dx
on peut majorer lexpression de lnergie potentielle par :
EP ( v ) =

1
0

fv dx 

f dx
0

H 01 ( [ 0, 1 ] ) H 1 ( [ 0, 1 ] ) L2 ( [ 0, 1 ] )
Remarque
ce stade de lexpos, on peut effectuer une premire remarque
qui peut tre omise en premire lecture. En effet, sans vouloir insister exagrment sur les notions danalyse fonctionnelle [2], il
convient de noter que les espaces H 1 ( [ 0, 1 ] ) et H 01 ( [ 0, 1 ] ) possdent, comme lespace L2 ( [ 0, 1 ] ) , une structure despace de Hilbert,
cest--dire une structure despace vectoriel norm complet, cette
dernire proprit signifiant simplement que toute suite de Cauchy
admet une limite qui appartient lespace. Il convient de prciser
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,
de la mme norme ; en effet on note par :
v

0, [ 0, 1 ]

v ( x ) dx

la norme dfinie dans lespace L2 ( [ 0, 1 ] ) , et par :

1 2
0

cet espace est galement not H 01 ( [ 0, 1 ] ) dans la littrature et on a


linclusion :

fv dx , v V

Pour terminer la modlisation du problme prcdent dlasticit,


nous allons essayer de prciser au plan mathmatique la dfinition
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
plus simple dentre eux, lespace L2 ( [ 0, 1 ] ) des fonctions de carr
intgrable sur [ 0, 1 ] dont nous rappelons la dfinition :

L2 ( [ 0, 1 ] ) = v

V = v H 1 ( [ 0, 1 ] ) , v ( 0 ) = v ( 1 ) = 0

Soit :

1, [ 0, 1 ]

v 2
v 2(x) + d
------- dx
dx

celle dfinie dans les espaces H 1 ( [ 0, 1 ] ) et H 01 ( [ 0, 1 ] ) .


En fait, lespace L2 ( [ 0, 1 ] ) des fonctions de carr intgrable est
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
un, mais nest pas vraie en gnral quelle que soit la dimension
despace. Ces considrations ne sont pas superflues ; elles donnent
des indications sur la rgularit des fonctions manipules, rgularit qui aura un impact sur la qualit de lapproximation obtenue
lorsque lon discrtise des quations aux drives partielles par la
mthode des lments finis. Le lecteur est renvoy [3] pour un
complment dinformation.
On peut prsent formuler le problme de dtermination du
dplacement de la corde comme le problme doptimisation sans
contraintes suivant :

v dx
0

1
dterminer u H 0 ( [ 0, 1 ] ) tel que :

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

et, par consquent, lnergie potentielle du systme aura un sens si


les fonctions f et v sont des fonctions de carr intgrable sur [ 0, 1 ] .
Remarque
Dans la majoration prcdente, nous avons utilis lingalit de
Cauchy-Schwarz par abus en supposant implicitement que lespace
des dplacements admissibles tait un espace prhilbertien, ce que
lon peut vrifier postriori.

(1)

Posons :
a ( u, v ) = A

1 du

dv
------- ------- dx et L ( v ) =
0 dx dx

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

fv dx
0

AF 503 3

APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

__________________________________________________________________________

o lapplication ( u, v ) a ( u, v ) est une forme bilinaire symtrique


dfinie sur H 01 ( [ 0, 1 ] ) H 01 ( [ 0, 1 ] ) et v L ( v ) est une forme
linaire dfinie sur H 01 ( [ 0, 1 ] ) .

Or, u tant solution du problme (2), le terme a ( u, v u ) L ( v u )


est nul, donc :
1
1
J ( v ) = J ( u ) + --- a ( v u, v u ), v H 0 ( [ 0, 1 ] )
2

Avec ces notations, on a alors :


1
J ( v ) = --- a ( v, v ) L ( v )
2

or :

Il peut tre difficile de travailler directement sur le problme de


minimisation ; cest pourquoi, dans la suite, nous allons donner deux
formes quivalentes de ce mme problme, lune permettant de
caractriser la solution du problme de minimisation et lautre
dinterprter la solution de ce problme comme celle dune quation
aux drives partielles linaire.
Thorme 1. Toute solution du problme doptimisation (1)
est solution du problme suivant :

1
dterminer u H 0 ( [ 0, 1 ] ) tel que :

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

(2)

a ( v u, v u ) = A

(v u) 2
1
d
--------------------- dx  0, v H 0 ( [ 0, 1 ] )
dx

et, par consquent, cette quantit tant positive, on a J ( u )  J ( v ) ,


1

v H 0 ( [ 0, 1 ] ) , et u est bien solution du problme de minimisation (1). Pour terminer, il convient de noter que J ( v ) = J ( u ) si
1
d( v u )
a ( v u, v u ) = 0 , pour v H 0 ( [ 0, 1 ] ) , ce qui entrane --------------------- = 0 ,
dx
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
qui termine la preuve.

Remarque

Preuve
1 Soit u la solution du problme (1) et v = u + w , o  et
w H 01 ( [ 0, 1 ] ) .
La somme de deux fonctions de carr intgrable tant videmment
de carr intgrable, il en rsulte que la fonction v est de carr intgrable ; de mme les drives des fonctions u et w tant de carr intgrable, la drive de v est galement de carr intgrable ; comme de plus
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 doptimisation et v une fonction quelconque de H 01 ( [ 0, 1 ] ) , on a, compte tenu
de la symtrie de la forme bilinaire :

La formulation (2) du problme quivalent au problme doptimisation correspond lapplication du thorme des travaux virtuels
en mcanique, le dplacement virtuel tant ici la fonction test v.
Remarque
ce stade de lexpos, il est important de noter que la norme :
v v

1, [ 0, 1 ]

v
v 2(x) + d
------- dx
dx

introduite dans les espaces H 1 ( [ 0, 1 ] ) et H 01 ( [ 0, 1 ] ) , correspond en


fait, un coefficient de proportionnalits prs, la forme bilinaire
introduite dans la formulation faible associe lquation.

J ( u )  J ( u + w ) J ( u )  J ( u ) + a ( u, w ) L ( w ) + ----- a ( w, w ),

2
w H 01 ( [ 0, 1 ] )
soit encore :
2

1
0  a ( u, w ) L ( w ) + ----- a ( w, w ), w H 0 ( [ 0, 1 ] )

2
Le nombre tant un nombre rel de signe quelconque, de deux
choses lune :
soit est positif et, aprs simplification par et si de plus
0 par valeurs positives, on a :

Corollaire 1. Si la solution du problme (1) existe, elle est


unique.
Preuve Il suffit de raisonner par labsurde et de supposer que u 1
et u 2 , avec u 1 u 2 , sont solutions du problme ; en reprenant la fin
de la preuve du thorme prcdent, on conclut que :
a ( u1 u2 , u1 u2 ) = 0 u1 = u2

On peut caractriser la solution du problme doptimisation (1),


comme la solution dun problme de Poisson avec conditions aux
limites de Dirichlet homognes ; en effet, on a le rsultat suivant :

0  a ( u , w ) L ( w ) , w H 0 ( [ 0, 1 ] )
soit est ngatif et, aprs simplification par et si de plus
0 par valeurs ngatives, on a :

Thorme 2. Soit u H 01 ( [ 0, 1 ] ) , la solution du problme (1)


(ou (2)). On suppose de plus que u est deux fois continment diffrentiable sur [ 0, 1 ] . Alors u est solution du problme suivant :
d 2u
A ----------2- = f ( x ), x ]0, 1[

dx

u(0) = u(1) = 0

0  a ( u , w ) L ( w ) , w H 0 ( [ 0, 1 ] )
On arrive donc une incompatibilit entre ces deux inquations
et la seule possibilit est lgalit, donc u est solution du problme
(2).
2 Rciproquement soit u solution prsent du problme (2) ; v

(3)

tant un lment quelconque de H 01 ( [ 0, 1 ] ) , on peut toujours crire

Preuve En effet u tant solution du problme (1), u est solution


du problme (2) et lon a :

que J ( v ) = J u + ( v u ) , ce qui, compte tenu de la bilinarit de

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

a ( . , . ) et de la linarit de L ( . ) , entrane aprs quelques calculs simples :


1
1
J ( v ) = J ( u ) + a ( u, v u ) L ( v u ) + --- a ( v u, v u ), v H 0 ( [ 0, 1 ] )

AF 503 4

soit :
A

1 du

dv
------- ------- dx =
0 dx dx

1
0

fv dx , v H 0 ( [ 0, 1 ] )

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

__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

On peut calculer la premire intgrale en effectuant une intgration par parties, ce qui conduit :
du ( 1 )
du ( 0 )
A ---------------- v ( 1 ) A ---------------- v ( 0 ) A
dx
dx

1 d 2u
0

----------2- v dx =
dx

1
0

fv dx , v H 0 ( [ 0, 1 ] )

2
d u
1
A ----------2- f v dx = 0, v H 0 ( [ 0, 1 ] )
0

dx

lunicit de la solution du problme de minimisation (1) ; cette question peut cependant ne pas tre aborde en premire lecture, auquel
cas le lecteur est renvoy au paragraphe 4. De plus, les critres que
nous dgagerons seront utiles dans la suite de lexpos. Nous
aurons besoin, pour minimiser une fonctionnelle, de calculer sa
drive ; nous donnons ci-dessous la dfinition de la drive gnralise valable dans des espaces de dimension infinie, ce qui correspond au cas considr dans la mise sous forme variationnelle dune
EDP.

ce qui entrane :
2

d u
A ----------2- = f , x ]0, 1[
dx

(4)

Comme, de plus, u H 0 ( [ 0, 1 ] ) , on a u ( 0 ) = u ( 1 ) = 0 et u est bien


solution du problme (3).
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 intgration par parties, il vient :
du ( 0 )
du ( 1 )
A ---------------- v ( 0 ) A ---------------- v ( 1 ) + A
dx
dx

1 du

dv
------- ------- dx =
0 dx dx

1
0

fv dx , v H 0 ( [ 0, 1 ] )

1
H 0 ( [ 0,

Or v
1 ] ) , ce qui entrane v ( 0 ) = v ( 1 ) = 0 , et u est donc
bien solution du problme (2).

Remarque
Les problmes (1),(2) et (3) sont donc quivalents. Pour la formulation (3), qui ncessite des hypothses de rgularit plus fortes, on
dit que u est solution au sens fort du problme. Dans la formulation
(2) du problme, les drives secondes des fonctions napparaissent
pas ; cette formulation (2) a donc un sens mme si u nest pas deux
fois continment diffrentiable. On a donc affaibli le problme et la
solution du problme (2) est dite solution faible du problme.
Remarque
La formulation (2) du problme sappelle aussi formulation variationnelle du problme. La dmarche suivie au cours de la rciproque du thorme 2, savoir multiplication de lquation aux
drives partielles par une fonction test approprie et intgration
par partie sur tout le domaine o est dfinie lEDP, constitue la
mise sous forme variationnelle du problme. Cette dmarche est
pralable lapproximation par la mthode des lments finis dune
quation aux drives partielles. Nous verrons dans les sous-paragraphes suivants le caractre gnral de la dmarche.
Remarque
Pour construire des schmas aux diffrences finies, on utilise la
formulation forte du problme. Pour construire des schmas aux
lments finis, on utilise la formulation faible du problme.

Dfinition 1. Soient E et F deux espaces vectoriels norms et J


une application dfinie sur un domaine D E et valeurs dans
F. Lapplication J est F-diffrentiable (ou diffrentiable au sens
de Frchet) en tout point u de lintrieur du domaine D, sil existe
un oprateur linaire continu A de E dans F, tel que
J ( u + h ) = J ( u ) + < A, h > + h
avec lim
h

(h)

( h ) , h E

=0

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


au point u et sera not J( u )
Remarque
On montre que si lapplication J est F-diffrentiable au point u,
elle est alors continue en ce point. De plus on montre que la F-drive, si elle existe, est unique (voir [4]).
Dfinition 2. Soit un ouvert de lespace vectoriel E. On dit
que lapplication J : E F est drivable dans , si elle est
F-diffrentiable en tout point u de .
On dfinit de manire analogue les drives dordre suprieur ; en
fait, nous naurons besoin que de la notion de drive seconde :
Dfinition 3. Soit J : E F une application F-drivable sur
louvert . Si lapplication drive J est F-diffrentiable en un
point u , sa drive, note J ( u ) , est appele F-drive
seconde de lapplication J au point u, et on dit que lapplication
J est deux fois F-diffrentiable au point u.
Exemple 1. Soit a(.,.) une forme bilinaire symtrique de E E dans
 et L(.) une forme linaire de E dans  ; soit J une fonctionnelle de E
dans  dfinie par :
1
J ( v ) = --- a ( v ,v ) L ( v )
2
alors on a :

3. Analyse mathmatique
du problme

1
J ( v + h ) = J ( v ) + a ( v ,h ) L ( h ) + --- a ( h ,h )
2
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


et 2, que la solution du problme existait ; on a ensuite montr avec
le rsultat du corollaire 1 que, si elle existait, cette solution tait unique. Cest un aspect important qui est ici soulev, car cela permet
une validation partielle du modle retenu dans la mesure o le physicien 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
dpasse largement le cadre de cet article. Cependant, dans le cas du
problme modle, on peut dduire, relativement simplement, grce
lquivalence des formulations du problme tudi, lexistence et

Ces expressions seront trs utiles pour ltude des problmes


dEDP mis sous forme variationnelle.
Par ailleurs nous dfinissons, galement, des proprits de rgularit de la fonctionnelle minimiser.
Dfinition 4. Un ensemble D 0 est convexe si et seulement si :
x D 0, y D 0, [ 0, 1 ]  ( x + ( 1 )y D 0 )

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

__________________________________________________________________________

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


aisment lun des deux cas prcdents.

Remarque
Autrement dit, dans un domaine convexe, si deux points x et y
appartiennent lensemble D 0 , alors le segment qui joint ces deux
points est galement contenu dans lensemble D 0 .
Dfinition 5. Soit E un espace vectoriel norm. Une fonctionnelle J : D 0 E  est :
convexe sur le domaine convexe D 0 si :

Exemple 2. Soit J une fonctionnelle de E = H 0 ( [ 0 ,1 ] ) dans  dfi1


nie par J ( v ) = --- a ( v ,v ) L ( v ) , o a(.,.) est une forme bilinaire sym2
1

trique de H 0 ( [ 0 ,1 ] ) H 0 ( [ 0 ,1 ] ) dans  dfinie par :


a ( u ,v ) = A

u D 0 , v D 0, ]0, 1[  ,
J ( u + ( 1 )v )  J ( u ) + ( 1 )J ( v )
strictement convexe sur le domaine convexe D 0 si :

1 du
0

dv
------ ------ dx
dx dx

et L(.) une forme linaire de H 0 ( [ 0 ,1 ] ) dans . Un calcul direct simple


permet de constater que pour ] 0 ,1 [ , on obtient :

u D 0 , v D 0, u v, ]0, 1[  ,
J ( u + ( 1 )v ) < J ( u ) + ( 1 )J ( v )

(1 )
J ( u ) + ( 1 )J ( v ) J ( u + ( 1 )v ) = --------------------a ( u v ,u v )
2
1

uniformment convexe sur le domaine convexe D 0 sil


existe une constante c > 0 , telle que :
u D 0 , v D 0, ]0, 1[  ,

J ( u ) + ( 1 )J ( v ) J ( u + ( 1 )v )  c ( 1 ) u v
o

Il est clair que la convexit uniforme entrane la convexit stricte


qui, son tour, entrane la convexit ; la rciproque nest pas vrai.
Nous aurons besoin, dans la suite, dun rsultat technique classique, connu sous le nom dingalit de Poincar :
Lemme 1. Soit v une application continue et drivable, dont la
drive est continue, et dfinie sur lensemble = [ a ,b ]  . Si
v ( a ) = v ( b ) = 0 ou si v ( a ) = 0 ou encore v ( b ) = 0, il existe
une constante note C ( ) telle que :
v
v 0, [ a, b ]  C ( ) d
------dx

dv dt 
------dt

AF 503 6

2
1, [ 0 , 1 ]

= c uv

2
1, [ 0 , 1 ]

Cette proprit est importante car elle garantit lexistence dun


minimum de J (cf. [4]), et nous admettrons le rsultat suivant.
Thorme 3. Soit E un espace vectoriel norm et J : E 
une fonctionnelle continue. Alors si J est infinie linfini, J
admet au moins un minimum sur E.
1

Exemple 3. Soit J une fonctionnelle de E = H 0 ( [ 0 ,1 ] ) dans  dfi-

a ( u ,v ) = A

2
0, [ 0, 1 ]

------- dt
dt

dv dt  b a
------
dt

1 du
0

dv
------ ------ dx
dx dx

x dv

et L(.) une forme linaire de H 0 ( [ 0 ,1 ] )

L(v) =

f v dx , o f L ( [ 0 ,1 ] ) . En appliquant lingalit de Cauchy-

0, [ a, b ]

L(v)  L(v)  f

2
0, [ a, b ]

0 , [ 0 ,1 ]

0, [ 0 , 1 ]

 f

0 , [ 0 ,1 ]

1, [ 0 , 1 ]

car la dfinition des normes dans L ( [ 0 ,1 ] ) et H 0 ( [ 0 ,1 ] ) implique videmment v

2
2 v
v ( x ) dx  ( b a ) d
------dx

dans  donne par

Schwarz, on a avec les notations prcdentes :

1
--2

dv 2 dt = C ( ) dv
------------
dt
dx

En levant au carr et en intgrant par rapport x, il vient :


v

0 , [ 0 ,1 ]

trique de H 0 ( [ 0 ,1 ] ) H 0 ( [ 0 ,1 ] ) dans  dfinie par :

soit encore en appliquant lingalit de Cauchy-Schwarz :

0, [ 0 , 1 ]

1
nie par J ( v ) = --- a ( v ,v ) L ( v ) o a(.,.) est une forme bilinaire sym2

0, [ a, b ]

dsigne la norme dans L ( [ a, b ] ) .

v(x) =

v(x) 

A (u v)
+ ---- d
2 ------------------dx

ce qui implique bien luniforme convexit de la fonctionnelle J ( v ) .

Preuve En effet, dans les deux premiers cas, on a

A d( u v )
= ---- ------------------2
dx

0, [ 0 , 1 ]

Dfinition 6. Une fonctionnelle J : D 0 E  est infinie


linfini si lim J ( v ) = + .

Remarque

0, [ a, b ]

A
A
a ( u v ,u v )  inf ---- , ---------------------- u v
2 2C [ 0 ,1 ]

La notion de convexit correspond une proprit de rgularit


de la fonctionnelle, moins particulire que la notion de linarit.

(u v)
a ( u v ,u v ) = A d
-------------------dx

ce qui implique la minoration suivante :

dsigne la norme sur E.

Remarque

En travaillant dans lespace H 0 ( [ 0 ,1 ] ) , on est dans les hypothses


du lemme 1 et on peut appliquer lingalit de Poincar ; en effet on a :

0, [ 0 , 1 ]

 v

1, [ 0 , 1 ]

. De plus, grce au rsultat dvelopp

dans lexemple 2, on a : a ( v ,v )  c v

2
1, [ 0 , 1 ]

et, par consquent :

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

__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

J(v)  c v

et, lorsque v

1, [ 0 , 1 ]

1, [ 0 , 1 ]

0, [ 0 ,1 ]

1, [ 0 , 1 ]

est une quantit suffisamment grande, la quan-

tit c v 1, [ 0 ,1 ] f 0, [ 0 ,1 ] est positive, ce qui montre que la

fonctionnelle est infinie linfini et, compte tenu du rsultat du thorme 3, assure lexistence dune solution au problme de la minimisa1

tion de la fonctionnelle J ( v ) dans H 0 ( [ 0 ,1 ] )


Le problme de lexistence dun minimum de la fonctionnelle J ( v )
tant rsolu, il reste rgler celui de lunicit, ainsi que celui de la
caractrisation de la solution ; citons le rsultat suivant (cf. [4]) :
Thorme 4. Soit J ( v ) une fonctionnelle strictement convexe ;
alors la solution du problme :

1
dterminer u H 0 ( [ 0, 1 ] ) tel que :

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

est unique. De plus si la fonctionnelle est F-drivable, la solution


u est caractrise par lquation dEuler suivante :
J ( u ) = 0
Lapplication de ce rsultat au problme modle est immdiate
car, J ( v ) tant uniformment convexe grce au rsultat prsent
dans lexemple 2, elle est strictement convexe. De plus, compte
tenu du rsultat tabli dans lexemple 1, lquation dEuler se
rsume ici :
a ( u, v ) = L ( v ), v H 01 ( [ 0, 1 ] )
qui correspond la formulation variationnelle du problme dEDP. Il
convient de noter que les rsultats prcdents impliquaient implicitement que la forme bilinaire a(.,.) soit symtrique. Le thorme de
Lax-Milgram que nous admettrons sans dmonstration (cf. [5]),
donne un rsultat dexistence et dunicit. Ce rsultat ncessite
lintroduction de deux notions nouvelles.
Dfinition 7. Une forme bilinaire a ( u, v ) dfinie sur un
espace de Hilbert E est continue si :
a ( u, v )  M u v , u E, v E
avec

M
.

Thorme 5. Soit E un espace de Hilbert, a(.,.) une forme bilinaire dfinie sur E continue et coercive et L( ) une forme
linaire dfinie sur E continue. Alors le problme variationnel :
dterminer u E tel que :

a ( u, v ) = L ( v ), v E
admet une solution unique.
Ce rsultat sapplique notre problme modle ; en effet, on a
indiqu que H 01 ( [ 0, 1 ] ) , muni de la norme v v 1, [ 0, 1 ] est un
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
dcoule trivialement de lingalit de Cauchy-Schwarz. Enfin on
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.

4. Formulation variationnelle
pour diverses EDP
monodimensionnelles
Lors de la mise sous forme variationnelle du problme modle
dlasticit, on a transform le problme en un problme quivalent,
les deux problmes admettant la mme solution. La formulation
faible ne comporte pas apparemment de conditions aux limites ;
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
indiqu prcdemment, la dmarche est gnrale et comporte, aprs
le choix de lespace E des fonctions tests en fonction du problme
considr, la multiplication de lquation aux drives partielles par
une fonction de E et une intgration par partie. Considrons des situations distinctes de celle du problme de Poisson avec conditions aux
limites de Dirichlet homognes considres au paragraphe 2.
Dans la suite de ce paragraphe, f dsignera une fonction de carr
intgrable.
Soit, prsent le problme de Poisson avec conditions aux limites
de Neumann non homognes suivant :

constante indpendante de u et de v,
d 2u(x)
------------------+ q ( x )u ( x ) = f ( x ), q ( x )  q 0 > 0 , x ]0, 1[
2
dx
du ( 0 )
du ( 1 )
---------------- = g 0 , ---------------- = g 1
dx
dx

norme sur E.

Dfinition 8. Une forme bilinaire a ( u, v ) dfinie sur un


espace de Hilbert E est coercive (ou E-elliptique) si :

(5)

a ( v, v )  v , v E
avec

constante indpendante de v,
norme sur E.

Dfinition 9. Une forme linaire L ( v ) dfinie sur un espace de


Hilbert E est continue si :
L ( v )  c v , v E
avec

c
.

constante indpendante de v,
norme sur E.

On peut prsent, noncer le thorme de Lax-Milgram :

avec

g 0 et g 1

donnes du problme caractrisant lintensit


du flux en chacune des extrmits,

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
conditions aux limites de Dirichlet homognes dans sa dfinition :
dans la situation du problme (5), on va choisir galement comme
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 :

dv ( 0 )
dv ( 1 )
E = v H 1 ( [ 0, 1 ] ), ---------------- = g 0 , ---------------- = g 1
dx
dx

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


des dtails thoriques :
dune part, sauf si g 0 = g 1 = 0, lespace E nest pas un espace
vectoriel, condition rendue ncessaire pour lutilisation du thorme de Lax-Milgram ;
dautre part, si v est une fonction quelconque de H 1 ( [ 0, 1 ] ) , sa
drive est simplement continue par morceaux et sa valeur en un
point prcis (par exemple, x = 0 ou x = 1 ) peut ne pas tre dfinie.
Cest pourquoi, faute de pouvoir introduire explicitement les
conditions aux limites de type Neumann dans lespace du travail on
choisit E = H 1 ( [ 0, 1 ] ) comme espace de fonctions tests. Soit v une
fonction de H 1 ( [ 0, 1 ] ) ; multiplions la premire quation par v et
intgrons par partie ; il vient, compte tenu de la dfinition des
conditions aux limites de Neumann non homognes :

u dv
d
------- ------- + q ( x )uv dx =

0 dx dx

Considrons un problme de type Poisson un peu plus gnral,


dfini dans un domaine = [ 0, 1 ] , coefficients non homognes et
comportant des conditions aux limites de type Fourier (ou de Robin) :
d
d u(x)
------- c ( x ) ----------------- + u ( x ) = f ( x ), x ]0, 1[
dx
dx

d u(1)
d u(0)
c ( 0 ) ----------------- + k u ( 0 ) g 0 = 0, c ( 1 ) ----------------- + k u ( 1 ) g 1 = 0
dx
dx

avec k > 0 , c ( x ) C ( [ 0, 1 ] ) (espace des fonctions continment drivables sur [ 0, 1 ] ) et 0 < c 0  c ( x )  c 1 . On choisit E = H 1 ( [ 0, 1 ] )
comme espace de fonctions tests. Soit v une fonction de H 1 ( [ 0, 1 ] ) ;
multiplions la premire quation par v et intgrons par parties ; il
vient :

fv dx + g 1 v ( 1 ) g 0 v ( 0 ), v H ( [ 0, 1 ] )
1

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

dx
dx

Posons :
a ( u, v ) =

u dv
d
------- ------- + q ( x )uv dx et L ( v ) =

0 dx dx

fv dx + g 1 v ( 1 ) g 0 v ( 0 )

(6)

(7)

E = { v H 1 ( [ 0, 1 ] ) , v ( 0 ) = 0 }
Comme lors de ltude des exemples prcdents, multiplions la
premire quation par v E et intgrons par partie ; il vient,
compte tenu de la dfinition des conditions aux limites mles de
type Dirichlet-Neumann non homognes :
------- ------- dx =

0 dx dx

fv dx + g 1 v ( 1 ) , v E

Posons :
a ( u, v ) =

1 du dv

------- ------- dx et L ( v ) =
0 dx dx

fv dx + k ( g 1 u ( 1 ) )v ( 1 ) k ( g 0 u ( 0 ) )v ( 0 ), v H 1 ( [ 0, 1 ] )

Comme prcdemment, posons :


a ( u, v ) =

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

dx
dx

et
L(v) =

fv dx + kg 1 v ( 1 ) kg 0 v ( 0 )

dterminer u H 1 ( [ 0, 1 ] ) tel que :

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

(10)

et, comme prcdemment, par simple remonte des calculs, les


problmes (9) et (10) sont quivalents.
Pour terminer de passer en revue les diverses conditions aux
bords, considrons un problme aux limites muni de conditions aux
limites de type priodique, ce qui se traduit, dans le cas du problmes de Poisson monodimensionnel, par le problme suivant :

2
u(x)
d
------------------+ qu ( x ) = f ( x ) , x ]0, 1[, ( q > 0 )
2

dx

du ( 0 )
du ( 1 )
---------------- = ---------------
dx
dx

u
(
0
)
=
u
(
1)

(11)

Choisissons comme espace de fonctions tests lespace suivant :

fv dx + g 1 v ( 1 )

E = { v H 1 ( [ 0, 1 ] ) , v ( 0 ) = v ( 1 ) }

le problme (7) scrit :


dterminer u E tel que :

a ( u, v ) = L ( v ), v E

(8)

et, comme prcdemment, par simple remonte des calculs, les


problmes (7) et (8) sont quivalents.

AF 503 8

Le problme (9) scrit alors sous la forme standard :

o la solution est connue au point x = 0 et le flux est impos la


valeur g 1 en x = 1. Soit E lespace des fonctions tests dfini par :

1 du dv

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

dx
dx
=

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


par exemple un problme de Poisson avec conditions aux limites
mles de type Dirichlet-Neumann :

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

et, compte tenu de la dfinition des conditions aux limites :

On peut, partir de la formulation (6), retrouver le problme (5)


par simple remonte des calculs et identification.

d 2u(x)
------------------- = f ( x ), x ]0, 1[
dx 2

du ( 1 )
- = g1
u ( 0 ) = 0, --------------dx

avec ces notations le problme (5) scrit :


dterminer u H 1 ( [ 0, 1 ] ) tel que :

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

(9)

La mise sous forme variationnelle du problme (11) conduit, par


des techniques similaires, la formulation suivante :
dterminer u E tel que :

a ( u, v ) = L ( v ), v E

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

(12)

__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

avec :

la formulation variationnelle du problme (15) scrit alors :


a ( u, v ) =

dv
du
------- ------- + quv dx et L ( v ) =

0 dx dx

dterminer u H 2 ( [ 0, 1 ] ) tel que :


0

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

fv dx
0

les problmes (11) et (12) tant, dans ce cas, encore quivalents.


Par ailleurs, il existe dautres types doprateurs aux drives
partielles que le laplacien. Considrons, par exemple, les cas du problme de convection-diffusion avec conditions aux limites de Dirichlet homognes :
d 2u(x)
du ( x )
+ c ---------------- + bu ( x ) = f ( x ), x ]0, 1[, b  0
------------------2
dx

dx

u(0) = u(1) = 0

(13)

Compte tenu des conditions aux bords, lespace des fonctions


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

1
dterminer u H 0 ( [ 0, 1 ] ) tel que :

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

(14)

avec :
a ( u, v ) =

dv
du
du
------- ------- + c -------v + buv dx et L ( v ) =

dx
0 dx dx

fv dx
0

et lon peut vrifier directement lquivalence des problmes (13) et


(14).
Pour terminer considrons la formulation variationnelle dun
problme de double laplacien suivant :
d 4u(x) d 2u(x)
------------------+ u ( x ) = f ( x ), x ]0, 1[
------------------4
2
dx
dx

u(0) = u(1) = 0

2
2

d u(1)
d u(0)
------------------= , ------------------=

2
2
dx
dx

(15)

On introduit les espaces de Sobolev dordre 2, nots H ( [ 0, 1 ] ) et


H 02 ( [ 0, 1 ] ) et dfinis par :
2

dv
d v
2
2
2
2
H ( [ 0, 1 ] ) = v v L ( [ 0, 1 ] ), ------- L ( [ 0, 1 ] ), ----------2 L ( [ 0, 1 ] )
dx
dx

H 0 ( [ 0, 1 ] ) = { v v H ( [ 0, 1 ] ) , v ( 0 ) = v ( 1 ) = 0 }
2

Multiplions (15) par v H 0 ( [ 0, 1 ] ) et intgrons deux fois par parties le terme du quatrime ordre, une fois par parties le terme du
second ordre ; compte tenu des valeurs aux bords des drives
secondes, il vient :
1 d

u d v du dv
----------2- ----------2 + ------- ------- + uv dx =

dx dx dx dx
2

Remarque
Dans les problmes prcdents, nous avons simplement mis les
problmes forts sous forme variationnelle. Nous navons pas cherch effectuer lanalyse du problme, qui consisterait vrifier
lexistence et lunicit de la solution ; cette dmarche peut se faire en
appliquant le thorme de Lax-Milgram ; la dmarche nest pas toujours simple et ncessite lutilisation de rsultats danalyse fonctionnelle. Nous renvoyons le lecteur [5] pour des renseignements
complmentaires sur ce type de question.

5. Extension au cas
de problmes dEDP
bidimensionnels
Soit m un entier naturel, dfinissant la dimension despace du
problme dquation aux drives partielles considr. On considre la situation o  m (en pratique m = 2 ou m = 3 ) ; on
note de manire gnrale la frontire de , qui correspond
une varit de dimension m 1 ; on supposera dans la suite que
dune part est born, cest--dire quil peut tre inclus dans une
boule de rayon fini et que dautre part est rgulire , par
exemple continue et variation continue et ne comportant pas de
points de rebroussement.
Dans ce paragraphe, nous allons tendre aux quations aux drives
partielles dfinies dans un domaine  m les rsultats obtenus aux
paragraphes prcdents pour des problmes en dimension 1 ; le problme considr sera transform en une formulation faible de manire
pouvoir utiliser le thorme de Lax-Milgram. Cette transformation a
t obtenue en dimension 1 grce lutilisation systmatique de la formule dintgration par parties ; il sera donc ncessaire de gnraliser
cette formule au cas dune dimension suprieure 1. De la mme
faon, il sera ncessaire de dfinir, dans ce cas, les espaces de Sobolev
et, en particulier, les drives dordre lev qui apparaissent dans ces
espaces de fonctions tests dont la dfinition est ncessaire lcriture
de la formulation variationnelle associe lquation aux drives partielles considre. On mesure la difficult thorique laquelle on est
confront et, en toute rigueur, il faudrait utiliser la thorie des distributions, ce qui compliquerait lexpos pour prsenter la mthode des lments finis des ingnieurs non mathmaticiens.
La faon la plus simple de gnraliser la formule dintgration par
parties est dutiliser la formule de Green suivante, qui se dduit de
la formule dOstrogradski :

u(x) v(x)

- --------------- dx
------------- xi xi

i=1

dv ( 1 )
dv ( 0 )
fv dx + ---------------- ----------------,
dx
dx

v ( x )u ( x ) dx +

u(x)
v ( x ) --------------- ds
n

x = ( x 1, , x m )

1
0

(16)

et :
2

v H 0 ( [ 0, 1 ] )

u ( x ) =

Posons :

i=1

a ( u, v ) =

1 d

u d v du dv
----------2- ----------2 + ------- ------- + uv dx et L ( v ) =
dx dx
0 dx dx

fv dx
0

avec

u(x)

----------------2
x

u
normale dirige vers lextrieur, ------ est la drive
n
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

u(x)
--------------- =
n

u(x)

- cos ( Ox i , n )
------------- xi

__________________________________________________________________________

1
dterminer u H 0 ( ) tel que :

a ( u, v ) = L ( v ), v H 01 ( )

= u(x) n

i=1

et :
u(x)
u(x) t
u ( x ) = ---------------, , ---------------
x 1
x m

Remarque
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


suit :

u ( x ) v ( x ) dx =

v ( x )u ( x ) dx +

u(x)
v ( x ) --------------- ds
n

Si, par exemple, m = 3 , la formule de Green scrit :


3

u(x) v(x)

- --------------- dx
------------- xi xi

i=1

vu dx +

u
v ------ ds
n

u(x) v(x)

i=1

vu dx +

Si lon considre le problme analogue au problme de la corde


tudi au paragraphe 2, mais cette fois-ci en dimension m = 2 , correspondant la situation o lon calcule le dplacement u ( x ) dune
membrane lastique occupant au repos un domaine de frontire
, fixe sur sa frontire et soumise une force f ( x ) perpendiculaire au plan x 1 Ox 2 , on est amen rsoudre le problme de
Poisson avec conditions aux limites de Dirichlet homognes
suivant :

i=1

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

(17)

On considre lespace H ( ) , dfini par :

u ( x ) v ( x ) dx

u ( x )
v ( x ) --------------- ds
n

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

H 01 ( )

Or v
et la trace de cette fonction sur le bord est nulle ;
donc lintgrale curviligne disparat. Posons :
a ( u, v ) =

u ( x ) v ( x ) dx et L ( v ) =

f ( x )v ( x ) dx

la relation prcdente scrit alors :


a ( u, v ) = L ( v ), v H 01 ( )
Rciproquement, partant de la relation prcdente, et en remontant les calculs, grce notamment lutilisation de la formule de
Green, on constate que le problme (17) est quivalent au problme
variationnel suivant :

AF 503 10

u ( x )
v ( x ) --------------- ds
n

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

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

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 :

v
1
2
2
H ( ) = v v L ( ), -------- L ( ), i = 1, , m
xi

(18)

soit, compte tenu des conditions aux limites :

intrieur du domaine .

v ( x )u ( x ) dx =

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

o f ( x ) L ( ) et g ( x ) L ( ) ; la mise sous forme variationnelle


seffectue comme prcdemment. On choisit ici E = H 1 ( ) ; on
multiplie lquation dfinie dans le domaine par une fonction test
v de H 1 ( ) et on intgre sur tout le domaine ; lapplication de la
formule de Green conduit la relation :

f(x) L () ,

avec

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

u ( x )
--------------- = g ( x ), sur

sont des espaces prhilbertiens (cf. [3]). De plus ces espaces sont
complets pour la norme associe . 1, au produit scalaire < .,. >,
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
de Lax-Milgram (cf. [3]).

u
v ------ ds
n

u ( x ) = f ( x ), sur

u ( x ) = 0, sur

u ( x )v ( x ) dx +

Considrons, toujours dans un domaine bidimensionnel, le


problme aux limites comportant des conditions aux limites de
Neumann non homognes suivant :

et lorsque m = 2 , on obtient :
- --------------- dx
------------- xi xi

<u, v > =

a ( u, v ) =
et
L(v) =

v ( x )g ( x ) ds +

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

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

v ( x )g ( x ) ds +

f ( x )v ( x ) dx

avec ces notations, le problme (18), est alors transform en un


problme variationnel :
a ( u, v ) = L ( v ), v H 1 ( )
Rciproquement, partant de la relation prcdente, on peut
remonter les calculs et, via lutilisation de la formule de Green, on
obtient la formulation forte (18). Finalement, par ce biais, on vrifie
donc lquivalence du problme (18) avec le problme variationnel
suivant :
1

dterminer u H 0 ( ) tel que :

a ( u , v ) = L ( v ), v H 1 ( )
pour lequel, sous les hypothses prcdentes, le thorme de LaxMilgram est applicable.

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

__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

Soit le domaine born  , de frontire ; on suppose de


plus que = 0  1 ; on considre le problme de Poisson avec
conditions aux limites mles de type Dirichlet-Neumann suivant :
Remarque

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

u ( x ) = 0, sur 0

u ( x )
--------------- = g ( x ), sur 1
n
2

dterminer u E tel que :

a ( u, v ) = L ( v ), v E

(19)

o f ( x ) L ( ) et g ( x ) L ( 1 ) . La mise sous forme variationnelle


du problme (19) ncessite la dfinition dun espace de travail E
adapt la situation, notamment compte tenu des conditions aux
limites considres ; on choisira comme espace E un sous-espace
de H 1 ( ) . La condition aux limites de Dirichlet homogne sur 0
pourra tre introduite dans lespace de travail ; cependant la condition aux limites sur 1 dfinit la valeur de la drive normale sur
cette partie de la frontire et ne peut tre dfinie pour toutes les
fonctions de lespaces H 1 ( ) . On travaillera donc sur lespace :

Compte tenu, dune part, de la dfinition de lespace des fonctions


tests et, dautre part, de celle de la forme bilinaire a(.,.) et de la
forme linaire L(.), le problme variationnel associ au problme de
Poisson avec conditions aux limites mles de type Dirichlet-Neumann rentre, sous les hypothses prcdentes, dans le cadre de
lutilisation du thorme de Lax-Milgram ; cependant la vrification
des hypothses de ce rsultat reste dlicate et ncessite lutilisation
destimations fines danalyse fonctionnelle (cf. [3]).
Le dernier type de conditions aux limites rencontres pour les
quations aux drives partielles elliptiques sont les conditions de
Fourier (ou de Robin) ; considrons donc le problme suivant, dfini
dans un domaine born  2 , de frontire :
0
u ( x ) + u ( x ) = f ( x ), sur

u ( x )
--------------- + b 0 u ( x ) = g ( x ), sur
n

E = { v v H 1 ( ), v ( 0 ) = 0 sur 0 }
Soit v une fonction test appartenant E ; on multiplie lquation
dfinie dans le domaine par une fonction test v de E et on intgre
sur tout le domaine ; lapplication de la formule de Green conduit
la relation suivante :

u ( x ) v ( x ) dx

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

f ( x )v ( x ) dx , v E

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

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

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

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

v ( x )g ( x ) ds, v E

Or, sous le signe

F ( x )v ( x ) dx +

v ( x ) g ( x ) ds , v E

u ( x )
v ( x ) --------------- ds
n

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

u ( x )
, la drive normale --------------- est gale
n

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

f ( x )v ( x ) dx +

v ( x )u ( x ) ds

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

Posons :
a ( u, v ) =

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

v ( x )u ( x ) ds

et
u ( x ) v ( x ) dx

et
L(v) =

Posons
a ( u, v ) =

g ( x ) b 0 u ( x ) ; on a donc :

Finalement, la transformation prcdente du problme (19),


conduit lcriture suivante :
u ( x ) v ( x ) dx =

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

u ( x )
v ( x ) --------------- ds
n

Or v appartenant lespace E, lintgrale curviligne dfinie sur 0


est nulle ; de plus, la drive normale de la fonction u sur 1 est
gale g ( x ) ; donc :

avec b 0 > 0 , f ( x ) L ( ) et g ( x ) L ( ) . Compte tenu des conditions portant sur la drive normale, on choisit, comme espace de
travail, lespace E = H 1 ( ) . On opre de manire analogue ce qui
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
formule de Green, on obtient :

Or, en appliquant les rsultats classiques sur la thorie de lintgration, on peut dcomposer lintgrale curviligne en la somme de
deux intgrales curvilignes dfinies respectivement sur 0 et 1 ,
soit :

(20)

f ( x )v ( x ) dx +

v ( x )g ( x ) ds

on a donc la relation suivante :


a ( u, v ) = L ( v ), v E
Rciproquement, de la mme faon que lors de ltude des problmes prcdents, et grce la formule de Green, on aboutit, en
partant de la relation prcdente et en remontant les calculs, la formulation forte (19) et on vrifie lquivalence de ce problme avec le
problme variationnel suivant :

L(v) =

f ( x )v ( x ) dx +

v ( x )g ( x ) ds

La transformation considre, conduit au problme variationnel


suivant :
a ( u, v ) = L ( v ), v H 1 ( )
Comme lors des tudes prcdentes, on peut partir de la relation
prcdente, et via lutilisation de la formule de Green, remonter les
calculs pour retomber sur le problme (20), ce qui montre lquivalence de ce problme avec le problme variationnel suivant :
dterminer u H 1 ( ) tel que :

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


du thorme de Lax-Milgram.

On considre, prsent les espaces fonctionnels suivants :

Remarque

v
v
2
2
2
2
H ( ) = v v L ( ), ------- L ( ), ---------------- L ( ), i, j = 1, , n
x i
x i x j

Ce contexte dtude peut bien videmment tre tendu des


situations plus gnrales doprateurs elliptiques gnraux du
second ordre, dfinis dans des domaines borns  m ; soit A un
oprateur aux drives partielles du type :
m

u ( x )

- + b 0 ( x )u ( x )
xi bi, j ( x ) -------------x j

Au =

i = 1j = 1

avec

b i, j ( x ) et b 0 ( x )

2
2
v
H 0 ( ) = v v H ( ), v = 0 et ------ = 0 sur

fonctions continues et bornes sur le


domaine .

Soit v une fonction test de H 0 ( ) ; en multipliant lquation


biharmonique (21) dfinie sur , puis en intgrant sur , on
obtient :

On suppose de plus vrifies les hypothses dellipticit suivantes :

b 0 ( x )  0 > 0, x
m

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


2

i=1

i = 1j = 1

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 fonction dfinie sur , frontire du domaine ; soit C un oprateur
diffrentiel linaire dfini sur et dcrivant lune quelconque des
conditions aux limites prcdemment rencontres. On considre le
problme suivant :
0

Au = f , sur

Cu = g , sur

u ( x ) v ( x ) dx =

avec

u(x)
---------------v ( x ) ds
n

u(x)

+ termes de bords
L(v) =

v ( x )
u ( x ) -------------- ds
n

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

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

et
L(v) =

f ( x )v ( x ) dx

Pour terminer, considrons lquation dune plaque encastre,


soumise des charges et dont la dformation u ( x ) est donne par
lquation biharmonique suivante :

AF 503 12

u ( x )v ( x ) dx

on aboutit donc lcriture standard :

f ( x )v ( x ) dx + termes de bords

0
2

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

u ( x )
- = 0, sur
------------- n

u ( x ) v ( x ) dx

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

a ( u, v ) =

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

i
j
i = 1j = 1

u ( x ) v ( x ) dx =

qui correspond la formulation variationnelle associe au problme


de plaque. Posons :

Compte tenu de lexpression de loprateur A, on peut transformer la forme bilinaire a ( u, v ) comme suit :
a ( u, v ) =

et comme v H 0 ( ), v = 0 sur le bord et par consquent lintgrale curviligne sannule. Appliquons de nouveau la formule de
Green au terme prcdent, il vient, v H 02 ( ) :

i = 1j = 1

( Ox i , n ) angle entre laxe Ox i et n .

( u ( x ) )
------------------------ v ( x ) ds,
n

v H 0 ( )

- cos ( Ox i n )
bi, j ( x ) -------------x j

normale , dirige vers lextrieur,

v ( x )
et comme -------------- = 0 sur le bord, par consquent lintgrale curviligne
n
sannule. Finalement lquation aux drives partielles (21) se transforme alors comme suit :

avec :
u(x)
--------------- =
n

u ( x ) v ( x ) dx +

o :
Au ( x )v ( x ) dx +

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

Appliquons une premire fois la formule de Green au premier


terme :

a ( u, v ) = L ( v ), v E

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 formulation variationnelle du type :

a ( u, v ) =

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

(21)

a ( u , v ) = L ( v ), v H 0 ( )
Et, comme prcdemment, en partant de cette criture et en
remontant les calculs, on vrifie lquivalence entre le problme (21)
et le problme suivant :

2
dterminer u H 0 ( ) tel que :

a ( u, v ) = L ( v ), v H 02 ( )

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

__________________________________________________________________________ APPROCHE VARIATIONNELLE POUR LA MTHODE DES LMENTS FINIS

6. Conclusion
Dans cet article, nous avons transform des classes varies de
problmes dEDP, associes divers oprateurs aux drives partielles et aux conditions aux limites classiques, en un problme
quivalent. Cette opration correspond la mise sous forme variationnelle du problme dEDP et est formule comme suit :
dterminer u E tel que :

a ( u, v ) = L ( v ), v E

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


plus gnralement, un espace vectoriel norm), a (.,.) une forme bilinaire continue et coercive, L(.) une forme linaire continue. Dautres
types dEDP peuvent tre mis sous forme variationnelle. partir de
la formulation (22), on construit une mthode dapproximation de la
solution par lments finis en projetant le problme (22) sur un sousespace de E de dimensions finies.
Cette mthode dapproximation est dcrite dans les articles [AF 504]
et [AF 505].

(22)

Rfrences bibliographiques
[1]

[2]

DAUTRAY (R.) et LIONS (J.L.). Analyse


mathmatique et calcul numrique pour les
sciences et les techniques. Tome 1 tome 9,
Masson (1988).
BREZIS (H.). Analyse fonctionnelle. Collection Mathmatiques Appliques, Masson
(1982).

[3]

[4]

RAVIART (P.A.) et THOMAS (J.M.). Introduction lanalyse numrique des quations aux
drives partielles. Collection Mathmatiques
Appliques, Masson (1983).

[5]

Collection Mathmatiques Appliques, Masson (1982).


CIARLET (P.G.). The finite element method
for elliptic problems. North-Holland (1978).

CIARLET (P.G.). Introduction lanalyse


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