Professional Documents
Culture Documents
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.
3.
4.
5.
6.
Conclusion .................................................................................................
13
13
Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales
AF 503 1
__________________________________________________________________________
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.
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
avec
dv
V W = v L2 ( [ 0, 1 ] ), ------- L2 ( [ 0, 1 ] )
dx
fv dx , v V
dv
1 + ------ 1 dx
dx
fv dx , v V
dv
V = v L2 ( [ 0, 1 ] ), ------- L2 ( [ 0, 1 ] ), v ( 0 ) =v ( 1 )= 0
d
x
1 + v
0
v = grad ( v )
1 dx
fv dx , v V
gradient de la fonction v.
1 dv 2
v
d
------- dx
0 dx
fv dx , v V
v dx
v ( x ) dx < +
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
1 2
0
fv dx , v V
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
v dx
0
1
dterminer u H 0 ( [ 0, 1 ] ) tel que :
J ( u ) J ( v ), v H 01 ( [ 0, 1 ] )
(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
__________________________________________________________________________
or :
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
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
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 :
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 :
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)
a ( u , v ) = L ( v ) , 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
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)
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.
(h)
( h ) , h E
=0
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 )
Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales
AF 503 5
__________________________________________________________________________
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 :
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
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
J ( u ) + ( 1 )J ( v ) J ( u + ( 1 )v ) c ( 1 ) u v
o
dv dt
------dt
AF 503 6
2
1, [ 0 , 1 ]
= c uv
2
1, [ 0 , 1 ]
a ( u ,v ) = A
2
0, [ 0, 1 ]
------- dt
dt
dv dt b a
------
dt
1 du
0
dv
------ ------ dx
dx dx
x dv
L(v) =
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 ]
2
2 v
v ( x ) dx ( b a ) d
------dx
1
--2
dv 2 dt = C ( ) dv
------------
dt
dx
0 , [ 0 ,1 ]
0, [ 0 , 1 ]
1
nie par J ( v ) = --- a ( v ,v ) L ( v ) o a(.,.) est une forme bilinaire sym2
0, [ a, b ]
v(x) =
v(x)
A (u v)
+ ---- d
2 ------------------dx
A d( u v )
= ---- ------------------2
dx
0, [ 0 , 1 ]
Remarque
0, [ a, b ]
A
A
a ( u v ,u v ) inf ---- , ---------------------- u v
2 2C [ 0 ,1 ]
(u v)
a ( u v ,u v ) = A d
-------------------dx
Remarque
0, [ 0 , 1 ]
v
1, [ 0 , 1 ]
dans lexemple 2, on a : a ( v ,v ) c v
2
1, [ 0 , 1 ]
Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales
J(v) c v
et, lorsque v
1, [ 0 , 1 ]
1, [ 0 , 1 ]
0, [ 0 ,1 ]
1, [ 0 , 1 ]
fonctionnelle est infinie linfini et, compte tenu du rsultat du thorme 3, assure lexistence dune solution au problme de la minimisa1
1
dterminer u H 0 ( [ 0, 1 ] ) tel que :
J ( u ) J ( v ), v H 01 ( [ 0, 1 ] )
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.
(5)
a ( v, v ) v , v E
avec
constante indpendante de v,
norme sur E.
c
.
constante indpendante de v,
norme sur E.
avec
g 0 et g 1
q0
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
__________________________________________________________________________
u dv
d
------- ------- + q ( x )uv dx =
0 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 ] )
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 )
a ( u , v ) = L ( v ) , v H 1 ( [ 0, 1 ] )
(10)
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)
fv dx + g 1 v ( 1 )
E = { v H 1 ( [ 0, 1 ] ) , v ( 0 ) = v ( 1 ) }
a ( u, v ) = L ( v ), v E
(8)
AF 503 8
1 du dv
u(x) d v(x)
c(x) d
----------------- ---------------- + uv dx
dx
dx
=
d u(0)
d u(1)
fv dx + c ( 1 ) ----------------- v ( 1 ) c ( 0 ) ----------------- v ( 0 ), v H 1 ( [ 0, 1 ] ) ,
dx
dx
d 2u(x)
------------------- = f ( x ), x ]0, 1[
dx 2
du ( 1 )
- = g1
u ( 0 ) = 0, --------------dx
a ( u , v ) = L ( v ) , v H 1 ( [ 0, 1 ] )
(9)
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)
avec :
dv
du
------- ------- + quv dx et L ( v ) =
0 dx dx
dv ( 1 )
dv ( 0 )
2
a ( u, v ) = L ( v ) + ---------------- ----------------, v H 0 ( [ 0, 1 ] )
dx
dx
fv dx
0
dx
u(0) = u(1) = 0
(13)
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
u(0) = u(1) = 0
2
2
d u(1)
d u(0)
------------------= , ------------------=
2
2
dx
dx
(15)
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
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 :
u ( x ) v ( x ) dx =
v ( x )u ( x ) dx +
u(x)
v ( x ) --------------- ds
n
u(x) v(x)
- --------------- dx
------------- xi xi
i=1
vu dx +
u
v ------ ds
n
u(x) v(x)
i=1
vu dx +
i=1
u ( x ) v ( x ) + u ( x )v ( x ) dx
(17)
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
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 :
v
1
2
2
H ( ) = v v L ( ), -------- L ( ), i = 1, , m
xi
(18)
intrieur du domaine .
v ( x )u ( x ) dx =
u(x) v(x)
--------------- --------------- dx
x i x j
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 +
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
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
0
u ( x ) = f ( x ), sur
u ( x ) = 0, sur 0
u ( x )
--------------- = g ( x ), sur 1
n
2
a ( u, v ) = L ( v ), v E
(19)
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
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 :
u ( x ) v ( x ) + u ( x )v ( x ) dx
u ( x )
v ( x ) --------------- ds
n
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
L(v) =
f ( x )v ( x ) dx +
v ( x )g ( x ) ds
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
__________________________________________________________________________
Remarque
v
v
2
2
2
2
H ( ) = v v L ( ), ------- L ( ), ---------------- L ( ), i, j = 1, , n
x i
x i x j
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
b 0 ( x ) 0 > 0, x
m
i=1
i = 1j = 1
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
AF 503 12
u ( x )v ( x ) dx
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 =
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
( u ( x ) )
------------------------ v ( x ) ds,
n
v H 0 ( )
- cos ( Ox i n )
bi, j ( x ) -------------x j
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 ( )
a ( u, v ) = L ( v ), v E
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
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
(22)
Rfrences bibliographiques
[1]
[2]
[3]
[4]
RAVIART (P.A.) et THOMAS (J.M.). Introduction lanalyse numrique des quations aux
drives partielles. Collection Mathmatiques
Appliques, Masson (1983).
[5]
Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales
AF 503 13