Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Daniel Cho 1
LMNO
Groupe Mecanique Modelisation Mathematique et Numerique
Universite de Caen, Bld Marechal Juin, 14032 Caen Cedex, France
1. daniel.choi@unicaen.fr
c
Daniel
Cho
2010--
Universit
e de Caen
`
Table des matieres
Introduction
1.1 Probl`eme aux limite et formulation variationnelle, quelques exemples
1.1.1 Probl`eme mod`ele 1d . . . . . . . . . . . . . . . . . . . . . .
1.1.2 Probl`eme mod`ele 2d : probl`eme de Dirichlet . . . . . . . . .
1.1.3 Probl`eme 2d : e lasticite plane lineaire . . . . . . . . . . . . .
1.1.4 Probl`eme 2d/3d : probl`eme de Stokes . . . . . . . . . . . . .
1.1.5 Probl`emes non-lineaires . . . . . . . . . . . . . . . . . . . .
1.1.6 Probl`emes dynamiques . . . . . . . . . . . . . . . . . . . . .
Cadre theorique : espaces de Hilbert et espaces de Sobolev
2.1 Espaces de Hilbert . . . . . . . . . . . . . . . . . . . .
2.2 Exemples : 2 et les espaces de Sobolev . . . . . . . . .
2.2.1 Espace des fonctions de carre integrable 2 . . .
2.2.2 Espaces de Sobolev H m . . . . . . . . . . . . .
2.2.3 Trace dans un espace de sobolev . . . . . . . . .
2.3 Representation de Riesz . . . . . . . . . . . . . . . . . .
2.4 Theor`emes de projection dans un Hilbert . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
11
11
12
12
13
14
14
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
16
17
17
17
18
19
20
Formulation variationnelle
3.1 Probl`eme variationnel abstrait : theor`eme de Lax-Milgram
3.2 Methode de Galerkin . . . . . . . . . . . . . . . . . . . .
3.3 Methode de Galerkin en dimension finie . . . . . . . . . .
3.3.1 Premier exemple et exercices . . . . . . . . . . . .
3.3.2 Element-finis et methode de Galerkin . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
23
25
27
27
28
29
30
.
.
.
.
.
.
.
c
Daniel
Cho
2010--
Universit
e de Caen
4.2
4.3
5
:
.
.
.
.
.
.
.
.
.
.
.
.
.
e lement P 1 de
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
30
31
32
34
35
38
38
39
39
40
40
42
43
47
47
48
50
52
52
.
.
.
.
63
63
64
66
69
.
.
.
.
.
71
71
71
72
73
73
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
c
Daniel
Cho
2010--
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
53
54
55
56
59
Universit
e de Caen
c
Daniel
Cho
2010--
73
74
Universit
e de Caen
c
Daniel
Cho
2010--
Universit
e de Caen
CHAPITRE 1
Introduction
La methode des e lements-finis (MEF) est une methode dapproximation numerique de solutions de probl`emes aux limites statiques ou dynamiques tels que
diffusion thermique
mecanique des milieux continus (solides et fluides)
e lectromagnetisme
mais en fait, absolument tous les probl`emes dequations aux derivees partielles (EDP) aux limites.
Il sagit, comme dans toutes les methodes numeriques, de trouver une approximation discr`ete.
Pour faire bref, dun probl`eme differentiels aux limites lineaire, on trouve une formulation variationnelle associee e quivalente, dont on calcule une approximation de la solution en projetant sur
un espace de dimension finie, ce qui revient a` resoudre au final un syst`eme lineaire.
Lappellation e lements finis vient de la decomposition du domaine detude en e lements : ils
sont souvent representes par un maillage, voir figure 1.1
Historiquement, lorigine de la methode peut se trouver dans les travaux de Fermat et Bernouilli
(1743) avec le calcul des variations, puis il faut attendre le debut du XX`eme si`ecle avec les progr`es
en analyse avec la methode de Galerkin se basant sur des theor`emes de projection dans les espaces
de Hilbert.
En 1943 Robert Courant introduit le principe variationnel avec des fonctions de base a` support locaux ouvrant la voie a` une division dun domaine considere en elements. Cependant ce
nest quavec le developpement des ordinateurs que ces travaux trouve leurs applications avec les
travaux pionniers de Zienckiewiz et Argyris qui definiront la methode en 1960.
c
Daniel
Cho
2010--
Universit
e de Caen
Notation et conventions
Dans ce document, nous serons parfois amene a` utiliser quelques conventions de notations
propres a` la mecanique. En particulier nous utiliserons la convention de sommation par rapport
aux indices repetes (on lit e galement convention dEinstein) et nous noterons souvent les derivees
partielles a` laide dun indice precede dune virgule.
Nous commencons toutefois par quelques notations utilises dans ce document qui sont du
reste tout a` fait usuel.
Notations
Nous navons pas cherche a` faire dans loriginalite, ainsi dans tout le document
lespace des nombres reels tandis que sera lespace des nombres complexes.
R designe
Universit
e de Caen
i=1
o`u lon remarque lindice i qui apparat repete, sera note plus simplement :
x.y = xi yi .
De meme pour un produit de matrices C = BA :
ckj =
m
X
bki aij
i=1
n
X
xi e i
x = xi ei
i=1
Si on note, dans
3 X
3 X
3
X
ijk ai bj ck
(a, b, c) = ijk ai bj ck ,
Universit
e de Caen
Si on consid`ere une fonction scalaire f defini sur n (`a valeur dans ) alors pour toute
direction h = [h1 , h2 , . . . , hn ]> , on e crit la derivee de f dans la direction h :
f (x)(h) =
n
X
f
(x)hi
x
i
i=1
10
Universit
e de Caen
1.1
Dans cette section nous presentons sans les resoudre quelques probl`emes typiques pouvant
e tre resolus par la MEF. Il sagit systematiquement de probl`emes aux limites dont on peut trouver une formulation variationnelle e quivalente. Les probl`emes de Cauchy ne sont a priori pas
resoluble par la MEF, du moins pas de facon directe.
1.1.1
Probl`eme mod`ele 1d
Soit le probl`eme aux limites pour une fonction scalaire definie sur [0, 1] :
ku00 + u = f
[0, 1]
(1.1)
u(0) = 0
u(1) = 0
que lon ree crit sous sa forme variationnelle e quivalente :
ku
u
+
uu
=
f u
[0,1]
(1.2)
[0,1]
On precisera plus tard cette e quivalence et lespace de Sobolev H01 ([0, 1]), qui correspond a` un espace de fonctions pour lesquelles les integrales de (1.2) ont un sens et qui satisfont aux conditions
aux limites u(0) = u(1) = 0, voir la section 2.2 et plus precisement la proposition 2.2.7.
Ce probl`eme peut modeliser lequilibre thermique dune barre chauffee a` ses extremites et
plongee dans une pi`ece maintenue a` une temperature donnee, k designant alors le coefficient de
diffusion thermique de la barre et est un coefficient de perte de chaleur due a` la convection de
lair.
Pour k = 1, = 1 et f = 1, nous tracons sur la figure 1.2 la solution e lements-finis avec une
interpolation polynomiale de degre 1 sur une subdivision de [0, 1] en 3 intervalles (elements) en
comparaison de la solution exacte uexact du probl`eme (1.1) :
uexact = 1 +
c
Daniel
Cho
2010--
1 x
e x
e +
e .
e1
e+1
11
Universit
e de Caen
0.1
exact
MEF
0.0
0.0
0.5
1.1.2
Soit le probl`eme aux limites pour une fonction scalaire definie sur
u = f
u = 0
R2 :
(1.3)
uu =
f u u H01 ()
(1.4)
Ce probl`eme peut modeliser par exemple lequation dune membrane dune membrane soumise
a` une pression f et des conditions dencastrement au bord de la membrane. Ce probl`eme peut
e galement modeliser un probl`eme thermique sans convection, un probl`eme delectrostatique, ou
meme un probl`eme decoulement dun fluide irrotationel incompressible.
1.1.3
On consid`ere le principe des puissances virtuelles dun solide e lastique en e quilibre statique,
dont lune des dimensions e tant petite permet une approximation en contrainte approximativement plane, reduisant le probl`eme 3D en un probl`eme 2D. Le solide represente par un domaine
2 est soumis a` une densite surfacique deffort f , est encastre sur une partie du bord,
c
Daniel
Cho
2010--
12
Universit
e de Caen
(u) : (u ) =
f .u
(1.5)
u Vadm
o`u on reconnat dans le terme de gauche la puissance virtuelles des efforts interieurs. u designe
un deplacement sur , il se decompose en deux composantes.
Le tenseur des contraintes est defini par la loi de comportement e lastique qui le relie au
tenseur des deformations (linearises) :
(u) =
1
(u) + (u)T .
2
Dans le cas dun materiau isotrope la loi de comportement est la loi de Hooke et secrit :
=
E
E
tr((u))I +
(u),
1 2
1+
u=0
n = 0
Pour des raisons de simplicite nous avons presente le cas de contrainte plane, mais il est clair
que ce nest en aucun cas une hypoth`ese necessaire pour la MEF.
1.1.4
c
Daniel
Cho
2010--
13
Universit
e de Caen
div v = 0
v = v0
Z
Z
v : v +
v .p = 0 (v , p ) Vadm
p div v = 0
(1.6)
o`u
n
Vadm = v [H 1 ]n , p
1.1.5
L2 () / v|
o
= v0 .
Probl`emes non-lineaires
Tous les probl`emes precedents sont des probl`emes lineaires et en effet la MEF est definie a`
partir des probl`emes lineaires puisquen pratique, il revient a` resoudre un syst`eme lineaire.
Naturellement, il est tout a` fait possible dutiliser la MEF pour des probl`emes non-lineaires
(Navier-Stokes, grandes deformations, e lasto-plasticite, contacts) mais ces derniers passeront
systematiquement par un processus de linearisation et la resolution se fera de facon iterative et
non plus directe.
1.1.6
Probl`emes dynamiques
Les probl`emes precedemment presentes sont tous statiques. Cest parce que la methode des
e lements finis est definie a` partir dun probl`eme aux limites, different dun probl`eme de valeurs
initiales (probl`eme de Cauchy). Neanmoins, dans un cadre dynamique, la MEF peut encore mise
a` contribution soit de facon directe avec des calculs de modes propres, soit de facon indirecte et
iterative avec un increment de temps avec un algorithme de difference-finie comme lalgorithme
de Newmark qui resout un probl`eme au limite a` chaque pas de temps.
c
Daniel
Cho
2010--
14
Universit
e de Caen
CHAPITRE 2
Cadre theorique
: espaces de Hilbert et
espaces de Sobolev
Nous rappelons ici quelques e lements danalyse fonctionnelle permettant de definir la methode
de Galerkin qui est la base theorique incontournable de la methode des e lements-finis.
Ces connaissances sont necessaires pour matriser la base mathematique mais il est tout a`
fait possible de nen retenir que les principaux resultats de projections et en omettant la partie
analyse des espaces de Sobolev pour une pratique e lementaire des e lements-finis. Les e l`eves nonmathematiciens pourront alors passer directement aux chapitre suivant, ne retenant que la section
sur la methode de Galerkin.
Cependant, il est impossible de comprendre lessence de la methode et surtout ses limitations
sans une connaissance profonde de ces questions, notamment en ce qui concerne les theor`emes
de traces et sans lesquelles il est tout a` fait possible dans la pratique dessayer de resoudre par la
MEF des probl`emes qui nont pas de sens mathematiques (et donc potentiellement pas de sens du
tout).
Nous nous bornerons aux resultats principaux e ventuellement sous une forme simplifie et
generalement sans demonstration pour lesquelles nous renvoyons a` un cours vrai danalyse fonctionnelle tel que [Bre80, LM68].
c
Daniel
Cho
2010--
15
Universit
e de Caen
2.1
Espaces de Hilbert
Definition 2.1.1. Un espace de Hilbert est un espace vectoriel muni dun produit scalaire (., .)H
et qui est complet pour la norme induite, k.kH .
Dans toute la suite de ce chapitre, H designe un espace de Hilbert muni de son produit scalaire
(., )H et sa norme k.kH :
2
kukH = (u, u)H .
Pour simplifier lexpose, nous nous bornerons aux espaces de Hilbert reels.
Les espaces de Hilbert sont donc un cas particulier despace de Banach. Ce qui est remarquable avec les espaces de Hilbert est quon y retrouve la plupart proprietes des espaces de dimensions finies : theor`eme de decomposition, projection orthogonale, base orthonormee et surtout
identification de lespace dual. Cela permet de transposer naturellement un probl`eme continu a` sa
discretisation a` partir de ces espaces.
Commencons par quelques definitions et proprietes triviales.
Definition 2.1.2. Soient u, v H, on dit que u et v sont orthogonaux dans H si
(u, v)H = 0.
Theor`eme 2.1.3. (theor`eme de decomposition) Soit V un sous-espace vectoriel ferme de H.
on note lespace orthogonal a` V :
V > = {u H/(u, u ) = 0 u V }.
On a alors
H = V V >.
Exercice : Montrez le theor`eme de decomposition a` partir du theor`eme 2.4.1 de projection sur
un convexe ferme
Proposition 2.1.4. (Identite du parallelogramme) u, v H,
2
16
Universit
e de Caen
2.2
2.2.1
|f | < .
f mesurable sur /
Z
uv.
Le produit scalaire induit bien une norme si on quotiente les fonctions de L 2 () par les fonctions
nulles presque partout dans :
2
() = L 2 ()/
o`u on identifie
u=v
dans
L2
Theor`eme 2.2.1. Soit n , un domaine ouvert, muni de son produit scalaire naturel, lespace
2
() est un espace de Hilbert.
2.2.2
Espaces de Sobolev H m
A partir de
Definition 2.2.3.
H 1 () = v
17
Universit
e de Caen
(u, v)H 1 =
uv +
u,i v,i
|u| + |u |
un u
un,i vi
L2 ()
L2 ().
Ces convergences ont e galement lieu dans lespace des distributions D 0 (), puisque les e lements
de 2 () sy injecte continument. Comme la derivation est une operation continue dans D 0 (),
on a
un,i u,i D 0 (),
si bien que vi = u,i par unicite de la derivee, qui prouve que u,i
On a donc montre
un u H 1 ().
2.2.3
Un sous espace tr`es important est ladherence de D() dans H 1 (). on note :
H01 () = D 0 ().
Remarque 2.2.5. Dans le cas o`u =
Cette definition nest pas du tout pratique, il est temps dintroduire les operateurs traces sans
lesquelles on ne pourrait definir mathematiquement les conditions aux limites.
Posons = [0, 1]2 et definissons pour toute fonction uc de classe C 1 sur , loperateur trace
par la restriction de uc sur le bord = {(x1 , x2 ) / x1 = 0} :
(uc ) = uc| .
c
Daniel
Cho
2010--
18
Universit
e de Caen
Z
uc (0, x2 ) = uc (x1 , x2 )
do`u
2
k(uc )kL2 () =
x1
Z
uc (x1 , x2 )
2
uc,1 (s, x2 )ds dx2
Z
k(uc )kL2 ()
|uc | +
|uc,1 |
kuc kH 1 ()
si bien que loperateur trace peut e tre prolonge par continuite dans H 1 . On generalise sans
demonstration :
Theor`eme 2.2.6. Soit un domaine ouvert borne de n a` bord regulier (C par morceaux) et
soient et lapplication trace, , definie pour les fonctions de classe C 1 sur .
(u) = u| .
Alors loperateur trace se prolonge continument dans tout lespace H 1 () et il existe c > 0,
u H 1 () :
k(u)kL2 () ckukH 1 () .
Loperateur trace nous permet alors de caracteriser facilement lespace H01 :
Proposition 2.2.7. Soit un domaine ouvert borne de
H01 () = {u H 1 () / u| = 0}.
2.3
Representation de Riesz
19
Universit
e de Caen
v H.
V , H H 0 , V 0 .
2.4
On consid`ere dans cette section les theor`emes de projection dans un espace de Hilbert qui
forment la base theorique de la MEF, dont on verra quelle est essentiellement une methode
dapproximation par projection.
Theor`eme 2.4.1. (Projection sur un convexe) Soit H un espace de Hilbert et K un convexe
ferme de H, alors u H, !uk K tel que
ku u kH ku uk kH
u K.
De plus, on a
(u uk , u uk ) 0
c
Daniel
Cho
2010--
20
u K.
Universit
e de Caen
u K.
a(u uk , u uk ) 0
u K.
De plus, on a
o`u on a note
2
c
Daniel
Cho
2010--
21
Universit
e de Caen
c
Daniel
Cho
2010--
22
Universit
e de Caen
CHAPITRE 3
Formulation variationnelle
On a vu dans les exemples de lintroduction, que les probl`emes aux limites poss`edent une
formulation variationnelle e quivalente. Ce sont sur ces formulations quon se base pour e tablir
non seulement les resultats dexistence et dunicite (pour les probl`emes lineaires) mais aussi ce
sont ces formulations qui sont a` la base de la MEF.
3.1
On consid`ere dans cette section un espace de Hilbert V et un sous-espace affine ferme Vadm
V . On note Vadmh lespace vectoriel associe a` Vadm , i.e.
u, u Vadm ,
(u u) Vadmh .
On a naturellement Vadmh V .
Remarque 3.1.1. Travailler dans un espace affine signifie que le probl`eme aux limites nest pas
homog`ene. Nous allons voir que via une translation il est facile de se ramener a` un probl`eme
aux limites homog`enes. Neanmoins il est important en pratique de considerer les probl`emes nonhomog`enes.
Theor`eme 3.1.2. (Lax-Milgram) Soit a(., .) une forme bilineaire continue sur V et soit L une
c
Daniel
Cho
2010--
23
Universit
e de Caen
(3.1)
v Vadmh ,
Demonstration. Remarquons que lorsque u parcourt tout Vadm , (u u) parcourt tout Vadmh .
La formulation variationnelle (3.1) entrane :
(
Soit u0 Vadm arbitraire, posons v = u u0 Vadmh . Le probl`eme (3.1) se ree crit donc
(
avec
) = L(v ) a(u0 , v ).
L(v
La coercivite dans Vadmh signifie simplement que la forme bilineaire a(., .) definit un produit
scalaire induisant une norme e quivalente a` la norme de V dans Vadmh . Le theor`eme 2.3.1 de
0
representation de Riesz indique simplement que puisque L V 0 Vadmh
, il existe un unique
representant v Vadmh tel que
a(v, u ) = L(u ) u Vadmh .
On en deduit simplement u = v + u0 , lunique solution de (3.1).
c
Daniel
Cho
2010--
24
Universit
e de Caen
=0
J(u).
On remarque au passage que
1
[a(u, v) + a(v, u)] L(v)
2
(2 J(u), v 2 ) = a(v, v)
(J(u), v) =
do`u on deduit notamment que la coercivite de a entrane que J est strictement convexe sur Vadm .
Reciproquement, si u Vadm minimise J dans Vadm , alors les conditions doptimalite (sur
un ensemble convexe), voir le theor`eme 7.2.1, secrivent :
J(u)(u u) 0
u Vadm
Comme Vadm est affine, on a aussi linegalite inverse, do`u on tire que u est solution de (3.1).
3.2
Methode de Galerkin
dans le cadre du theor`eme de Lax-Milgram 3.1.2, i.e. la forme bilineaire a(., .) est continue et
coercive.
Soit un sous-espace ferme V h V , on definit e galement
h
Vadm
= V h Vadm .
h
h
Alors si a(., .) est e galement coercive sur Vadm
, ce qui est trivial si Vadm
Vadm , alors le
c
Daniel
Cho
2010--
25
Universit
e de Caen
h
Trouver uh Vadm
tel que
h
a(uh , u uh ) = L(u uh ) u Vadm
(3.2)
et il existe une unique solution uh au probl`eme (3.2), cest la solution de Galerkin dans le soush
espace Vadm
.
Ce qui est naturellement interessant, cest la relation liant les solutions u et uh . Cest le resultat
a` la base des theor`emes de convergence de la MEF :
h
Theor`eme 3.2.1. La solution uh du probl`eme de Galerkin (3.2) dans Vadm
est la meilleure aph
proximation de la solution u de (3.1) dans V au sens de la norme induite par a(., .), i.e. ,
ku uh ka ku u ka
h
u Vadm
.
h
La solution de Galerkin sinterpr`ete aussi comme la projection orthogonale de u sur Vadm
au
sens produit scalaire a(., .).
h
Demonstration. On e value pour tout u Vadm
:
a(u u, u u) = a(u uh + uh u, u uh + uh u)
= a(u uh , u uh ) + 2a(u uh , uh u) + a(uh u, uh u),
or
do`u
a(uh u, uh u).
Exercice : Montrer, sous les hypoth`ese du theor`eme 3.1.2, une generalisation pour tout convexe ferme K Vadm : la solution du probl`eme
(
(3.3)
26
Universit
e de Caen
3.3
Dans le cadre du theor`eme 3.2.1, si le sous-espace V h est de dimension finie, alors nous allons
voir que la solution de Galerkin peut e tre obtenue en resolvant un syst`eme lineaire discret :
Placons nous tout dabord dans le cas o`u Vadm est un sous-espace vectoriel, de dimension n,
h
h
il existe alors une base i de Vadm
. Comme tout e lement de Vadm
se decompose de facon unique
dans cette base, le probl`eme de Galerkin 3.2 revient a` trouver les composantes de uh , represente
par le vecteur u
h = [uh1 , uh2 , . . . , uhn ]T , dans cette base :
(
Trouver u
h
Rn tel que
h
a(uh , u ) = L(u ) u Vadm
ou encore
Trouver u
h
Rn tel que
o`u K est une matrice carree symetrique de dimension n n et L un vecteur de dimension n dont
les composantes sont :
Kij = a(i , j ), et Lj = L(j )
Le probl`eme continu est ainsi approche par un probl`eme discret. La discretisation se fait dans
h
le choix de lespace : plus Vadm
sera proche de Vadm et meilleure sera lapproximation.
n
Supposons quon ait une suite despaces Vadm
Vadm tels que quel que soit v Vadm , il
n
n
existe une suite v Vadm telle que
v n v V
alors le theor`eme 3.2.1 garantit que la suite des solutions un des solutions des probl`emes de
Galerkin 3.2 converge vers la solution du probl`eme continu.
3.3.1
c
Daniel
Cho
2010--
27
(3.4)
Universit
e de Caen
ku0 u0 + uu
a(u, u ) =
[0,1]
f u
L(u ) =
[0,1]
1. Montrer quune solution du probl`emes au limites (1.1) est necessairement une solution du
probl`eme variationnel (4.2) (la reciproque, plus difficile est renvoyee en annexe).
2. Montrer que si k et sont de meme signe , alors le probl`eme (3.4) est bien pose.
3. Quen est il lorsque k et sont de signes opposes ?
4. Fixons k = 1, = 1 et posons
1
Vadm
= V ect {sin(x)} .
3.3.2
h
La methode des e lements finis derive de la methode de Galerkin en choisissant Vadm
sur la
base dune decomposition du domaine sur lequel un probl`eme aux limites est pose. Ainsi, un
intervalle de est divise en segments, une geometrie simple de 2 est decompose en triangle,
en quadrangles,...
c
Daniel
Cho
2010--
28
Universit
e de Caen
CHAPITRE 4
ements-finis
El
par lexemple :
`
Problemes
1D
29
Universit
e de Caen
4.1
Reprenons le probl`eme le probl`eme aux limites (1.2), presente en introduction, pour une fonction scalaire definie sur [0, 1] , f 2 , mais dans un cadre plus general avec des conditions aux
limites non-homog`enes a priori :
u00 + u = f
[0, 1]
u(0) = u0
(4.1)
u(1) = u1
que lon ree crit sous sa forme variationnelle e quivalente, voir la preuve de lequivalence en annexe :
(
Trouver u Vadm telle que
(4.2)
a(u, u u) = L(u u) u Vadm
o`u
Vadm = {v H 1 ([0, 1]) / u(0) = u0 , et u(1) = u1 }
avec
v 0 v 0 + vv
a(v, v ) =
[0,1]
f u
L(v ) =
[0,1]
4.1.1
Pour un intervalle la seule subdivision raisonnable est une decomposition en segments successifs : nous subdivisons lintervalle [0, 1] en n 1 segments :
[0, 1] =
n1
[
Ei ,
Ei = [xi , xi+1 ]
30
Universit
e de Caen
i = 1, . . . , n 1}.
dont on definit une base avec une famille de fonctions polynomiales de degre 1 sur chaque
e lements Ei et quon definit par :
i (xj ) = i,j .
x i1
x i x i+1
F IGURE 4.1 Fonction i polynomial par morceaux, valant 1 en xi et 0 sur les autres nuds.
n
Dans cette base, pour chaque v Vadm
, on a la decomposition
v(x) = vi i (x).
Le choix de cette base est vraiment naturel car une composante vi represente la valeur de v
au nuds xi . Cest ce qui rend ce choix pratique dans linterpretation de la solution e lementsfinis quon obtient. Ainsi, dans le probl`eme (4.2), les inconnues a` determiner, quon nomme
generalement ddl, pour degre de liberte, sont les valeurs de u aux nuds du maillage considere.
4.1.2
Matrices de lelement P 1
On note e galement,
h
v(x) = 1
|
v1
i
v2
n
.
} ..
vn
| {z }
...
{z
bT
v
b
02
...
{z
B
31
i
0n vb
}
Universit
e de Caen
v 0 v 0 + vv
[0,1]
Z
=
[0,1]
[Bb
v ]T [B vb ] + [bT vb]T [bT vb ]
bbT vb
= vbT
BT B +
[0,1]
[0,1]
| {z } | {z }
K
M
Z
L(v ) =
f v
[0,1]
fbT vb
=
[0,1]
| {z }
LT
Rn / v1 = u0 et vn = u1 }
{b
v = [v1 , v2 , . . . , vn ]T Rn / Cb
v = g}
{b
v = [v1 , v2 , . . . , vn ]T
o`u
"
1 0 ...
C=
0 0 ...
" #
u0
g=
.
u1
c
Daniel
Cho
2010--
32
#
0
1
Universit
e de Caen
Si bien que nous ree crivons la formulation variationnelle (4.2) en remplacant u par sa representation
n
dans Vadm
(
n
Trouver u
b Vadm
telle que
n
b [b
b = L([b
b b
a(b
uT ,
u u
b]T )
u u
b]T )
u Vadm
qui devient
(
n
Trouver u
b Vadm
telle que
n
u
bT [K + M ][b
u u
b] = LT [b
u u
b] b
u Vadm
ou encore
Trouver u
b V n telle que
n
u
bT [K + M ][b
u ] = LT [b
u ] b
u Vadmh
Cu
b=g
Trouver u
b V n , q 2 tels que
"
#" # " #
(4.3)
K + M CT u
b
L
C
O
q
g
c
Daniel
Cho
2010--
33
Universit
e de Caen
KM = K + M,
il vient :
"
#T "
#"
# "
#T "
#
u
b(L1 )
KM (L1 , L1 ) KM (L1 , L2 )
0
L(L1 )
0
=
u
b(L2 )
KM (L2 , L1 ) KM (L2 , L2 ) u
b (L2 )
L(L2 )
u
b (L2 )
Comme u
b (L2 ) parcourt
KM (L2 , L2 )b
u(L2 ) + KM (L2 , L1 )b
u(L1 ) = L(L2 )
soit finalement :
KM (L2 , L2 )b
u(L2 ) = L(L2 ) KM (L2 , L1 )g.
(4.4)
Le syst`eme (4.4) est de Crammer avec une matrice symetrique definie positive, il suffit alors
de linverser avec un solveur tel que la methode du gradient conjugue ou par une factorisation de
Choleski.
4.1.4
Il ne nous reste plus qu`a decrire la construction pratique des matrices K et M . Pour cela
on utilise une technique dite dassemblage qui calcule les matrices element par e lement : on
tire avantage du fait que les fonctions dinterpolations de V n sont a` support nul sauf sur deux
e lements.
On decompose le calcul des matrices K et M sur tous les e lements :
K=
n1
XZ
i=1
n1
X
B T B + bbT
Ei
Ki
i=1
BT B
Ei
Z
Mi =
bbT
Ei
Considerons un e lement isole Ei = [xi , xi+1 ], dapr`es leur definition, seuls les fonctions i et
i+1 sont non-nuls, si bien quil est pratique de reduire les expressions, en faisant un abus de
c
Daniel
Cho
2010--
34
Universit
e de Caen
...
"
#
"
#
x
1
i
i
i+1
=
b =
b =
i+1
hi x xi
i+1
...
0
de meme,
...
"
#
" #
0
0i
1 1
i
=
B = 0 = 0
i+1
hi +1
i+1
...
0
o`u hi = |Ei |. Ainsi, le calcul effectifs des matrices e lementaires est reduit au calcul des composantes non-nulles :
Z
Ki ([xi , xi+1 ], [xi , xi+1 ]) Ki =
Ei
Z
Mi ([xi , xi+1 ], [xi , xi+1 ]) Mi =
Ei
" #
i 1
1 h
dx,
1, +1
h2i
+1
"
#
i 0
1 h 0
i
dx.
i 0i+1
h2i
0i+1
4.1.5
et
"
hi 2
Mi =
6 1
#
1
.
2
Application numerique
E1
0
x1
c
Daniel
Cho
2010--
E2
x2
E3
x3
35
1
x4
Universit
e de Caen
0
1/3
noeud =
2/3
1
correspondant a`
x1 = 0,
x2 = 1/3,
x3 = 2/3,
x4 = 1.
1 2
element = 2 3 ,
3 4
ce qui correspond bien a`
E1 = [x1 , x2 ],
E2 = [x2 , x3 ],
E3 = [x3 , x4 ].
1
K1 = K2 = K3 = 3
1
#
1
.
1
do`u lassemblage
K1
1
1
K = 3
0
0
1
1
= 3
0
0
c
Daniel
Cho
2010--
K2
}|
{ z
1 0 0
0
1 0 0
0
+3
0
0 0 0
0 0 0
0
1
0
0
2 1
0
.
1
2 1
0 1
}|
{ z
0
0 0
0
1 1 0
0
+3
0
1
1 0
0
0 0
0
K3
}|
0
0
0
0
0
0
0
0
1 1
1
1
36
Universit
e de Caen
1 1
M=
18 0
0
1
4
1
0
0
1
4
1
0
0
.
1
2
Do`u
53
112
53
0
56
53
1
KM = K + M =
18 0
0
0
0
53
0
.
112 53
53
56
f 2
L = ,
6 2
1
si bien que le syst`eme lineaire du probl`eme e lements-finis (4.4) devient :
"
#" # " #
"
#" #
2
u0
1 112 53 u2
1 56 0
=
18 53 112 u3
18 0 56 u1
2
0.1
exact
MEF
0.0
0.0
0.5
c
Daniel
Cho
2010--
37
Universit
e de Caen
4.1.6
Estimation derreur
ements-finis par interpolation P 1 de LaSur la figure 4.2, nous voyons quune solution El
grange donne dej`a dassez bon resultats meme pour 3 e lements seulement. Nous le voyons bien
car une solution exacte est disponible, il est alors facile de comparer. En general cependant (sinon
a` quoi bon se fatiguer) les solutions exactes sont inaccessibles. Lorsquon fait un calcul par
e lements-finis, il faut sassurer de la validite du calcul (cela est vrai pour nimporte quel methode)
4.1.7
Programme Scilab
Voici un programme scilab (compatible version 4.2 5.2) resolvant le probl`eme (4.2) par la
methode des e lements finis pour f = 1, u0 = 0, u1 = 0 :
clear(); clf();
// Premi`
ere partie : Pr
eprocesseur
// D
efinition du maillage et
// Tableau Element/Noeuds
n = 4 ;
noeud = linspace(0,1,n) ; // num
erotation des noeuds implicite
// noeud contient les abscisses des noeuds
element = [1:n-1 ; 2:n] ; // Les
el
ements sont constitu
es de noeuds successifs
nombre_element = size(element,1) ;
// Deuxieme partie construction de la matrice de rigidit
e
// Boucle sur les
el
ements = assemblage
K = zeros(n,n);
// Initialisation
for i=1:nombre_element
N
= element(i,1:2) ;
x
= noeud(N)
;
xa = x(1) ; xb = x(2);
h
= abs(xb -xa)
;
B
= [ -1. 1.]
;
Kel = h*[2 1
1 2]/6
;
Kel = Kel + B*B /h ;
K(N,N) = K(N,N) + Kel ;
end
// Troisi`
eme partie : Second membre
L = zeros(n,1);
// Initialisation
for i=1:nombre_element
N
= element(i,:)
;
x
= noeud(N)
;
xa
= x(1) ; xb = x(2);
h
= abs(xb -xa)
;
Lel = [ 1 ; 1 ] * h /2;
L(N) = L(N) + Lel
;
end
// Quatri`
eme partie : Prise en compte des CL par substitution
L1 = [ 1 n]
; // Liste des noeuds sur lesquels
// la solution est impos
ee
c
Daniel
Cho
2010--
38
Universit
e de Caen
L2 = [ 2:(n-1)] ;
U = zeros(n,1) ;
// Liste compl
ementaire `
a L1
// Initialisation de la solution
// Les conditions aux limites sont implicites
// Cinqui`
eme partie R
esolution par factorisation de Choleski
KM
= sparse(K(L2,L2))
;
spcho = chfact((KM))
;
U(L2) = chsolve(spcho,L(L2)) ;
Exercice : Modifier le programme precedent pour prendre en compte les cas non-homog`enes, puis
pour f une fonction non-constante arbitraire.
4.2
On consid`ere le probl`eme des poutre en flexion, sous laction normale dune densite lineique
f , encastree a` une extremite, libre a` lautre.
fy
a
a
l
F IGURE 4.3 Poutre encastre a` une extremite soumise a` une force normale.
4.2.1
Le mod`ele de Bernouilli
w0 =
w(0) = 0
39
Universit
e de Caen
M (l) = 0.
Il est possible de ree crire tout le probl`eme sous la forme dun probl`eme differentiel aux limites
dordre 4 en v :
(EIv 00 )00 = f [0, l]
v(0) = 0
v 0 (0) = 0
(4.5)
00
v (l) = 0
v 000 (l) = 0
4.2.2
Exercice :
1. Montrer quune solution du probl`eme au limite (4.5) est e galement une solution de la formulation variationnelle (4.6), Cette formulation sinterpr`ete e galement comme le principe
des travaux virtuels.
2. Montrer que (4.6) poss`ede une solution unique.
(
(4.6)
af (v, v ) =
00 00
EIv v ,
et
L(v ) =
[0,l]
4.2.3
f v .
[0,l]
Comme dans dans lexemple 4.1, nous considerons un maillage SEG2 de lintervalle [0, l],
i.e. une subdivision en n 1 segments :
[0, l] =
n1
[
Ei ,
Ei = [xi , xi+1 ]
40
Universit
e de Caen
i = 1, . . . , n 1}.
dont on definit une base avec deux familles de fonctions polynomiales de degre 3 sur chaque
e lements Ei et quon definit par :
i (xj ) = i,j ,
0i (xj ) = 0,
i (xj ) = 0,
i0 (xj ) = i,j .
i, j {1, 2, . . . , n 1}
(4.7)
i+1
0 x
i
x i+1
i+1
1
(x xi )(x xi+1 )2
h2
1
(x xi )2 (x xi+1 ).
h2
41
Universit
e de Caen
v1
w
1
i
.
.
n .
,
vn
h
v(x) = 1
...
wn
| {z }
v
alors on a
h
v 00 = 001
|
100
...
{z
B
00n
v1
w
1
i
00 .. .
n .
}
vn
wn
| {z }
v
Remarque 4.2.1. Si nous avions choisi une interpolation P 1 , alors le probl`eme de Galerkin
associe donne simplement un probl`eme nul, puisque la derivee seconde dune fonction lineaire
par morceaux est nulle sur chaque morceaux. Dun point de vue plus theorique, les fonctions
polynomiale de degre 1 par morceaux nappartiennent pas en general a` lespace H 2 , qui contient
lespace des fonctions de classe C 1 .
4.2.4
On proc`ede toujours par assemblage, puisque sur un e lement Ei toutes les fonctions dinterpolations sont nulles sauf quatre : i , i+1 , i et i+1 .
On calcule donc les matrices e lementaires de facon exacte :
12 6h 12
Z
6h
EI 6h 4h2
Ki =
EIB 0 B = 3
h
12
6h
12
Ei
2
6h 2h
6h
6h
2h2
6h
4h2
Exercice : Calculer par assemblage la matrice de rigidite dune poutre discretisee en 3 e lements
de longueurs e gales. Appliquer au cas dune densite de force lineique uniforme.
c
Daniel
Cho
2010--
42
Universit
e de Caen
4.3
Un treillis est une structure mecanique constitue de nb barres e lastiques relies en leurs extremites
par des liaisons rotules parfait (sans frottements), voir figure 4.5. Cest un exemple o`u la methode
des e lements finis est confondue avec une resolution exacte du probl`eme par la methode matricielle : les barres constituant naturellement les e lements de discretisation de la structure.
Pour nous fixer les idees considerons le treillis constitue de 7 barres e lastiques definies a` partir
de 6 nuds, soumis a` une charge ponctuelle au nud 2, Fig 4.5 :
F
2
6
3
dut
ds
(4.8)
o`u E est le module dYoung et S la section des barres, s designe une abscisse curviligne et
ut est le deplacement tangentiel, s, autrement dit le deplacement dans la direction de la barre
(deformation uniquement en traction compression).
c
Daniel
Cho
2010--
43
Universit
e de Caen
1
2
Z
Bk
1
N2
ES k
Lenergie de deformation e lastique structure treillis est simplement la somme des e nergies de
toutes les barres :
X
W (u) =
Wk .
k
En theorie des treillis les seules forces non-negligees sont les forces ponctuelles sappliquant
aux nuds de la structures, cest a` dire aux extremites des barres. En consequence, les tensions
dans les barres sont toutes constantes, si bien que dapr`es la loi de Hooke (4.8), on obtient, en
notant x = xj xi , et y = yj yi :
" #
i
x
y
"
#
i ux ux
ES h
j
i
=
x y
lk
uyj uyi
x
ui
y
h
i
ES
u
=
x y x y xi
l
|k
{z
} ujy
uj
B
ES h x
Nk =
uj uxi
lk
uyj
uyi
1 0
B B
ES
Bk
2
x x y
2y
ES
=
lk
Kk =
2y
x y
2x
x y
2y
x y
2y
On construit la matrice de rigidite par assemblage, en sommant sur toutes les barres :
1+8 1
1
ES
K=
l 8
c
Daniel
Cho
2010--
1
1
4+ 8
1 8
0
0
1
0
0
0
0
0
0
4+ 8
0 8
0
2+ 8
1
1
1+ 8 1
4+ 8
44
0
0
0
0
0
0
0
0
0
0
0
1
1
0
0
0
1
0
0
1
1 8
0
0
0
1
0
0
0
0
0
0
1
1
0
4+ 8
0 8
1 1
2+ 8 1
0
8
1+ 8
0
0
1+ 8 1
1
Universit
e de Caen
4+ 8
ES
l 8
4+
4+ 8
4+
c
Daniel
Cho
2010--
45
0
0
0
x
fx
u2
uy f
2 y
x =
u4 0
8
uy4
Universit
e de Caen
c
Daniel
Cho
2010--
46
Universit
e de Caen
CHAPITRE 5
ements-finis
El
par lexemple :
`
Problemes
2D
5.1
(5.1)
u = 0
que lon ree crit sous sa forme variationnelle e quivalente :
uu =
f u u H01 ()
(5.2)
Theor`eme 5.1.1. Le probl`eme (5.2) poss`ede une unique solution dans H01 (). De plus la solution
minimise, dans H01 (), la fonctionnelle J(v) :
J(v) =
1
2
Z
v.(v)
f v.
Interpretation physique : Ce probl`eme peut mod`eliser plusieurs probl`emes, modulo des coefc
Daniel
Cho
2010--
47
Universit
e de Caen
5.1.1
La discretisation se base sur une subdivision du domaine en triangles. Cette subdivision est
appele maillage, quon qualifie ici de triangulaire.
48
Universit
e de Caen
Il suffit donc de connaitre sa valeurs en trois points pour le determiner. On proc`ede comme en
dimension 1 : si le maillage est constitue de n nuds sommets, notes Nj et de coordonnees
Nj = (xj , yj ), on definit n fonctions i polynomiales de degre 1 sur chaque e lement par les
relations :
i (xj , yj ) = ij .
Ainsi definies, les fonctions i sont continues le maillage tout entier et sont des polynomes de
degre 1 sur chaque e lement ; elles sont donc incluses dans lespace H 1 ().
V = vect{i , i = 1, . . . n} H 1 ().
Pour toute fonction u V , nous avons la decomposition :
u(x, y) = uj j (x, y),
c
Daniel
Cho
2010--
49
Universit
e de Caen
h
u = ui i = 1
...
u1
i
u2
n .
.
..
un
| {z }
u
5.1.2
Comme dans le cas 1D, sur un e lements seuls trois fonctions de base sont non-nuls, ainsi la
matrice de rigidite se construit par assemblage des matrices de rigidite e lementaire :
yk
yi
i
j
xi
xj
50
Universit
e de Caen
u = i
i ui
k uj .
uk
| {z }
do`u
" #
u,1
u =
u,2
"
i,1 j,1 . . .
=
i,2 j,2 . . .
|
{z
B
#
k,1
u
k,2
}
yk yi
xi xk
#
yi yj
.
xj xi
avec
A = (xi xk )(yj yi ) (xj xi )(yi yk ).
Remarquons quon a |A| = 2 |El | et que la matrice B est constante.
On a alors la matrice de rigidite e lementaire
Z
Kl =
B 0 B. = |El | B 0 B
El
Afin dillustrer plus en detail cet exemple, considerons un maillage du domaine carre = [0, 1]2
defini dans la figure 5.5
4
ement
El
1
2
3
4
3
3
1
1
nuds
1,2,5
2,3,5
3,4,5
1,4,5
Exercice : Montrer que pour le maillage decrit en Fig 5.5, on a avec les abus decriture
c
Daniel
Cho
2010--
51
Universit
e de Caen
1
1
K1 = K2 = K3 = K4 =
2
0
1
1
2
K = K1 + K2 + K3 + K4 =
5.1.3
0 0 0 1
1 0 0 1
1 0 1
1 1
4
Supposons pour simplifier et pour nous e pargner pour le moment le tracas du calcul par
quadrature des integrales que f est uniforme sur dans le probl`eme (4.2).
Le second membre se calcule e galement par assemblage sur tout les e lements du maillage.
Sur un e lement El , on a
i
Z
Ll =
f j
El
k
En se rappelant que la premi`ere colonne (resp. ligne) correspond au ddl associe au nud i Dans
le cas particulier du maillage decrit dans la figure 5.5, avec labus decriture habituel :
1/3
L1 = L2 = L3 = l4 = |El | 1/3
1/3
Soit au final, par assemblage
2/3
2/3
1
L=
2/3
.
4
2/3
4/3
5.1.4
Dans le probl`eme (4.2) lespace des solutions admissibles Vadm = H01 (), cest a` dire que
les solutions doivent e tre nul sur le bord de . Dans le maillage considere, voir Fig. 5.5, seul le
nud 5 nappartient pas au bord. Si que bien le probl`eme e lement-finis se reduit dans ce cas a`
c
Daniel
Cho
2010--
52
Universit
e de Caen
F IGURE 5.6 Isovaleurs de la solution e lement-finis par interpolation P 1 du probl`eme (4.2) avec
un maillage triangulaire regulier de 200 e lements definis sur 121 nuds.
une e quation lineaire a` une inconnue :
[4] [u5 ] = [1/3]
Cela donne bien entendu une approximation grossi`ere de la solution exacte. Pour avoir de
meilleurs resultats, il faut raffiner le maillage, voici un resultat avec un maillage plus fin o`u nous
avons trace les isovaleurs de la solution e lements-finis :
5.2
Nous reprenons le meme probl`eme que precedemment, mais avec des conditions de Dirichlet non-homog`ene sur une partie 1 du bord une condition de type Neumann sur la partie
complementaire 2 :
u = f
u = u1
u,n = F
(5.3)
1
2
u.(u u) =
f (u u) +
F (u u) u Vadm
(5.4)
o`u
Vadm = {u H 1 () telles que u |1 = u1 }
c
Daniel
Cho
2010--
53
Universit
e de Caen
u.(u
)
=
f
(u
)
+
F (u ) u Vadmh ()
Theor`eme 5.2.1. Le probl`eme (5.4) poss`ede une unique solution dans Vadm . De plus la solution
minimise dans Vadm la fonctionnelle J(v) :
J(v) =
1
2
Z
v.(v)
Z
fv +
F v.
2
5.2.1
54
Universit
e de Caen
5.2.2
On choisit de chercher une approximation de la solution de (5.4) par la methode des e lementsfinis avec une interpolation lineaire, engendre par 1, x, y, xy, sur un maillage quadrangulaire.
S
Soit une decomposition ou maillage quadrangulaire de = k Ek o`u les e lements Ek sont
tous des quadrangles, ne designe le nombre delements du maillage et n le nombre de noeuds. On
dit inteprolation lineaire, bien que quilsagisse de polynomes de degre 2, car nous verrons que
les fonctions de bases sont choisies lineaires aux aretes.
On designe les noeuds du maillage par Nj , avec j = 1, 2, . . . , n, ou plus simplement par leur
numero. Soit i la fonction P 2 definie sur , combinaison lineaire de 1, x, y, xy sur chacun des
e lements Ek et telle que
i (Nj ) = ij ,
(5.5)
o`u ij designe le symbole de Kronecker. Il est clair que sur chaque e lement Ek , les fonctions j
sont uniquement definies par (5.5).
On remarque plusieurs proprietes importantes :
Une fonction i est nulle sur chaque e lement de la decomposition (ou maillage) sauf sur
les e lements dont le noeud Nj est un des quatres sommets.
Les fonctions i sont des fonctions affines le long des aretes des e lements.
Les fonctions i sont continues sur tout , mais leur derivees sont discontinues aux aretes.
les fonctions i forment une partition de lunite :
i=n
X
i = 1
sur .
i=1
On designe par V h lespace vectoriel engendre par les fonctions i . Il est clair que V h
H 1 () et que V h est de dimension n.
Toute fonction v Vh se decompose alors de facon unique dans la base des i :
v = vi i ,
On note de facon vectorielle :
> v ,
[v ] =
c
Daniel
Cho
2010--
55
Universit
e de Caen
i>
h
v = v1 . . . vi . . . vn ,
h
i>
= 1 . . . i . . . n .
On note e galement
h
Vadm
= Vadm V h ,
autrement dit :
h
Vadmh
= Vadmh V h ,
h
Vadm
= {v V h tel que vi = u1 (Ni )}
= {v V h tel que C v = u
1 }.
5.2.3
Contrairement au cas des e lements trianglulaires a` trois noeuds, les fonctions i sont determines
a` partir de leur definition, notee , sur un e lement de reference, ce qui refl`ete la pratique habituelle
avec la methode des e lements finis
1
s
3
r
1
1
(1 r)(1 s)
4
1
2 = (1 + r)(1 s)
4
1
(1 + r)(1 + s)
4
1
4 = (1 r)(1 + s)
4
1 =
3 =
c
Daniel
Cho
2010--
56
Universit
e de Caen
m
yk
r
1
yi
xj
i xi
Z
f (r, s) |det JT | drds
f (r, s)dxdy =
E=T (Er )
Er
x,r
JT =
x,s
y,r
y,s
On remarque que
#
>
>
,r y
,r x
,
JT = >
>
,s x
,s y
"
o`u on a designe
xi
x
j
x
= ,
xk
xl
yi
y
j
y = ,
yk
1
2
= ,
3
yl
u,1
[(u)] =
u,2
Sur un e lement quadrangulaire El dont les sommets sont les noeuds Ni , Nj , Nk , Nm seuls les
quatres fonctions i , j , k , m de V h sont non nuls, si bien que dans El :
c
Daniel
Cho
2010--
57
Universit
e de Caen
h
[u] = i
h
= 1
m u
i
4 u
ui
uj
u
= k
u
um
On a
[r,s (u)] = Br u
avec
"
Brs
1,r
=
1,s
2,r
2,s
3,r
3,s
4,r
4,s
h i1
Br .
B = JT
(u).(u ) = u
0 Kl u
El
B 0 B |det JT | .
ER
i
1 s 1 + s (1 + s) ,
i
(1 + r) 1 + r
1r .
58
Universit
e de Caen
f u = L0l u
El
5.3
ement
El
1
2
nuds
1,2,5,6
2,3,4,5
Soit un probl`eme de plaque en flexion dont les deplacements sont donnes par
zx
u = zy
w
les deformations en flexions sont caracterises par le tenseur
11
x,x
22 = z y,x
212
x,y + y,x
et le cisaillement est defini par
" # "
#
13
w,x x
=
23
w,y y
Pour un materiau homog`ene et isotrope cela correspond a` des contraintes
11
1
zE
22 =
(1 2 )
12
0
c
Daniel
Cho
2010--
1
0
59
0
x,x
0 y,x
1
x,y + y,x
2
Universit
e de Caen
"
#
"
#
13
w,x x
E
=
2(1 + ) w,y y
23
s
3
r
1
F IGURE 5.10
Nous definissons la famille de fonctions dinterpolation polynomiale de degre 2 telle que
i (j) = ij
soit
i, j = 1, 2, 3, 4.
1
(r 1)(s 1)
4
1
2 = (r + 1)(1 s)
4
1
3 = (r + 1)(s + 1)
4
1
1 = (1 r)(s + 1)
4
1 =
(5.6)
si bien quon peut definir un point de la plaque sur la base de ce quadrangle par
i (r, s)xi
x = i (r, s)yi
z
Sur un quadrangle quelconque, definissons la base covariante
gr = x,r
gs = x,s
g3 = x,z
c
Daniel
Cho
2010--
60
Universit
e de Caen
i, j = r, s, 3.
A
r3
=
B
s3
C
r3
D
s3
1 3
( + x4 )(x3 x4 ) +
2 x
1 1
( + x4 )(x4 x1 ) +
2 x
1 1
( + x1 )(x2 x1 ) +
2 x
1 2
( + x3 )(x3 x2 ) +
2 x
1 3
( + y4 )(y3 y4 )
2 y
1 1
( + y4 )(y4 y1 )
2 y
1 1
( + y2 )(y2 y1 )
2 y
1 2
( + y3 )(y3 y2 )
2 y
autrement dit on a
w1
1
x
y1
2
w
.
..
w 4
}
4
x
y4
r3
0
B
1
s3
1
C=
r3
2 1
D
s3
0
|
0
x4 x1
x2 x1
0
0
y4 y1
y2 y1
0
0
0
1
1
0
0
x2 x1
x3 x2
0
0
y2 y1
y3 y2
{z
1
0
0
1
x3 x4
0
0
x3 x2
y3 y4
0
0
y2 y2
1
1
0
0
x3 x4
x4 x1
0
0
Bc
Soit au final
c
Daniel
Cho
2010--
61
Universit
e de Caen
y3 y4
y4 y1
0
0
"
"
#
x3
1 gr .ex
=
2 gr .ey
y3
|
c
Daniel
Cho
2010--
gs .ex
gs .ey
#"
s+1
0
0
r1
{z
Bs
62
s1
0
w1
1
x
1
y
#
2
w
0
BC
..
r+1
.
}
w4
4
x
y4
Universit
e de Caen
CHAPITRE 6
ements-finis
El
par lexemple :
`
Problemes
3D
6.1
On consid`ere un probl`eme general de la mecanique des milieux continus sous sa forme variationnelle :
: (u u) =
f .(u u) u Vadm
o`u
Vadm = {u [H 1 ()]3 /u| = u0
et est le tenseur des contrainte lie au tenseur des deformations par la loi de comportement
quon e crit sous forme matricielle pour des raisons informatiques :
11
1
22
33
E
=
(1 + )(1 2)
12
23
31
c
Daniel
Cho
2010--
1
1
2 (1
2)
1
2 (1
63
2)
e11
e22
e33
2e
12
2e23
1
2e31
2 (1 2)
Universit
e de Caen
1
3
2
r
i (r, s, t)xi
x(r, s, t)
y(r, s, t) = i (r, s, t)yi = T (r, s, t)
z(r, s, t)
i (r, s, t)zi
T est le diffeomorphisme qui envoie lelement de reference a` lelement considere. Nous avons la
formule de Jacobi (changement de variable) :
Z
Z
f (x, y, z) |det JT | drdsdt
f (x, y, z)dxdydz =
Ereel
Eref
x,r
JT = x,s
x,t
y,r
y,s
y,t
z,r
z,s
z,t
En notant
h
> = 1
c
Daniel
Cho
2010--
2
64
i
4 ,
Universit
e de Caen
x
> h
>
JT = y ,r
z>
,s
,t
soit
1
x
>
1
JT = y>
0
z>
0
1 1
x2 x1
0
0
= y2 y1
1
0
z2 z1
0
1
x4 x1
y4 y1
z4 z1
x3 x1
y3 y1
z3 z1
Par ailleurs on a
f,r = x,r f,x + y,r f,y + z,r f,z
f,s = x,s f,x + y,s f,y + z,s f,z
f,t = x,t f,x + y,t f,y + z,t f,z
cest a` dire :
r,s,t f = JT> x,y,z f,
ou encore
x,y,z f = JT> r,s,t f =,
Notons
ux,r
ux,x
u
u
x,s
x,y
ux,t
ux,z
uy,r
uy,x
b
x,y,z u = uy,y et r,s,t u = uy,s = Br u
uy,t
uy,z
u
u
z,r
z,x
uz,y
uz,s
uz,z
uz,t
avec
1
1
Br = 0
0
0
c
Daniel
Cho
2010--
0
0
0
1
1
1
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
65
0
0
0
0
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
1
Universit
e de Caen
x,y,z u = 0
0
0 r,s,t u
0
JT1
0
JT1
ux,x
uy,y
uz,z
=
u + u = BE x,y,z u
y,x
x,y
uy,z + uz,y
ux,z + uz,x
x,y,z
with
0
BE =
0
0
0
0
0
0
1
0
0
0
0
0
0
0
1
0
0
0
1
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
1
0
1
.
0
0
0
1
JT
B = BE 0
0
0
JT1
0
0 Br
JT1
on a
JT1 =] [
66
Universit
e de Caen
i (r, s, t)xi
x(r, s, t)
Z
f (x, y, z) |det JT | drdsdt
f (x, y, z)dxdydz =
Ereel
Eref
x,r
JT = x,s
x,t
z,r
z,s
z,t
y,r
y,s
y,t
En notant
h
> = 1
on a
x
> h
>
JT = y ,r
z>
i
6 ,
,s
,t
soit
1
>
x
> 1
JT = y
0
z>
0
1 1
x2 x1
0
0
= y2 y1
1
0
z2 z1
0
1
x3 x1
y3 y1
z3 z1
x4 x1
y4 y1
z4 z1
Par ailleurs on a
f,r = x,r f,x + y,r f,y + z,r f,z
f,s = x,s f,x + y,s f,y + z,s f,z
f,t = x,t f,x + y,t f,y + z,t f,z
cest a` dire :
r,s,t f = JT> x,y,z f,
ou encore
x,y,z f = JT> r,s,t f =,
c
Daniel
Cho
2010--
67
Universit
e de Caen
ux,r
ux,x
u
u
x,s
x,y
ux,t
ux,z
uy,r
uy,x
b
x,y,z u = uy,y et r,s,t u = uy,s = Br u
uy,t
uy,z
u
u
z,r
z,x
uz,s
uz,y
uz,t
uz,z
On a donc,
1
JT
x,y,z u = 0
0
0
JT1
0
0 r,s,t u
JT1
x,y,z
ux,x
uy,y
uz,z
=
u + u = BE x,y,z u
y,x
x,y
uy,z + uz,y
ux,z + uz,x
1
JT
B = BE 0
0
0
JT1
0
0 Br
JT1
on a
JT1 =] [
c
Daniel
Cho
2010--
68
Universit
e de Caen
c
Daniel
Cho
2010--
69
Universit
e de Caen
c
Daniel
Cho
2010--
70
Universit
e de Caen
CHAPITRE 7
Dans cette annexe, nous presentons les outils de calculs de variation et doptimisation omnipresent dans la pratique des e lements finis.
7.1
Theor`eme 7.1.1. Soit A n n une matrice carree symetrique, n n, alors il existe une
matrice orthogonale U et une matrice diagonale D telles que
A = U 0 DU.
Autrement dit, les matrices symetriques sont toujours diagonalisables dans une base de vecteurs
propres orthonormee.
7.2
Theor`eme 7.2.1. (Condition doptimalite sur un convexe) Soit J une fonctionnelle deux fois
differentiable sur un espace de Banach E. Soit K E un sous-ensemble convexe et ferme sur
lequel J est strictement convexe.
c
Daniel
Cho
2010--
71
Universit
e de Caen
7.3
u K.
Theor`emes de projection
u K.
De plus, on a
(u uk , u uk ) 0 u K.
Demonstration. Commencons par montrer lexistence.
Soit
2
d = inf
ku u kH ,
u K
ku un kH d +
1
.
n
un + um 2
k .
2
H
un + um 2
k d.
2
H
Ainsi,
1
1
1
1
) + 2(d + ) 4d 2( + ),
n
m
n m
ce qui prouve que la suite un est de Cauchy. On en deduit quil existe une limite uk K puisque
2
kun um kH 2(d +
c
Daniel
Cho
2010--
72
Universit
e de Caen
ku uk kH = ku ul kH = d,
alors en faisant le meme calcul que precedemment, on aurait
2
kuk ul kH 2d + 2d 4d = 0.
7.4
wi f (xi )
7.4.1
r1 = 1/6
r2 = 2/3
r3 = 1/6
7.4.2
s1 = 1/6
s2 = 1/6
s3 = 2/3
w1 = 1/3
w2 = 1/3
w3 = 1/3
c
Daniel
Cho
2010--
73
Universit
e de Caen
7.4.3
= 0.1012865073235
= 0.7974269863531
= r1
= 0.4701420641051
= r4
= 0.0597158717898
= 1/3
s1
s2
s3
s4
s5
s6
s7
= r1
= r1
= r2
= r6
= r4
= r4
= r7
w1
w2
w3
w4
w5
w6
w7
= 0.1259391605448
= w1
= w1
= 0.1323941527885
= w4
= w4
= 0.225
r1
r2
r3
r4
c
Daniel
Cho
2010--
= 0.577350296189626
= r1
= 0.577350296189626
= r3
74
s1
s2
s3
s4
= r1
= r3
= r1
= r3
w1
w2
w3
w4
= 1/4
= 1/4
= 1/4
= 1/4
Universit
e de Caen
Bibliographie
c
Daniel
Cho
2010--
75
Universit
e de Caen