Vous êtes sur la page 1sur 14

10/01/05 8:37

Table des matires


Techniques Avances en Calcul des Structures
Cours doption
La mthode des lments finis
et
le contrle des calculs
J.-P. Pelle
ENS-Cachan
Master MIS Parcours TACS Anne universitaire 20042005
2 La mthode des lments finis et le contrle des calculs
DEA TACS JPP
Prambule
Ce document, destin exclusivement aux tudiants du DEA TACS, correspond au contenu
du cours optionnel "La mthode des lments finis et le contrle des calculs". Une
prsentaton plus complte peut tre trouve dans le livre "La matrise du calcul en
mcanique linaire et non linaire - Erreurs a posteriori et contrle adaptatif des
paramtres" de Pierre Ladevze et Jean-Pierre Pelle publi en 2001 aux ditions
HERMES (ou dans sa traduction en anglais : Mastering calculations in linear and non
linear mechanics, 2005, SPRINGER)
9/01/05 16:12
1. Qualit dune solution lments finis
Chapitre1
Qualit dune solution lments finis
1. Qualit dune solution lments finis 7
1.1 Introduction 7
1.2 Modle de rfrence 8
1.2.1 Elasticit linaire 10
1.2.2 Problmes quasi-statiques 10
1.3 Problme approch et erreurs de discrtisation 11
1.3.1 Problmes linaires 11
1.3.2 Problmes non linaires 13
1.4 Estimation des erreurs de discrtisation 15
1.4.1 Les estimations a priori 15
1.4.2 Les estimations a posteriori 15
1.4.3 Qualits d'un estimateur 16
1.5 Bibliographie du chapitre 1 17
1.1 Introduction
A partir d'un problme physique, la dmarche qui, conduit effectuer un calcul lments
finis est gnralement complexe. Entre le problme "rel" et le modle de calcul par
lments finis, plusieurs tapes de modlisation sont effectues (Figure 1-1).
Par exemple, pour dimensionner une structure mcanique, on utilise :
une modlisation de la gomtrie,
une modlisation des charges (ou des diffrents cas de charges) utiles au
dimensionnement,
une modlisation des liaisons avec l'extrieur,
une modlisation du type de comportement du matriau (ou des matriaux).
Suivant les choix faits pour ces diffrentes modlisations, on est conduit diffrents
modles mcaniques. Les modles mcaniques ainsi construits relvent de la mcanique
des milieux continus.
8 La mthode des lments finis et le contrle des calculs
Master MIS - Parcours TACS JPP
Problme physique
Modle de rfrence
solution exacte
Modle numrique
solution approche
(U
ex
,
ex
)
(U
h
,
h
)
Figure 1-1 : Du problme physique au modle numrique
Comme, except dans des situations trs simples, il est impossible de dterminer
explicitement la solution exacte (U
ex
,
ex
) d'un tel modle mcanique continu, l'utilisateur
doit se contenter de dterminer des approximations de (U
ex
,
ex
) . En pratique, cela revient
remplacer le modle mcanique continu par un modle approch plus simple dont on sai t
dterminer la solution, solution qui est considre comme une approximation de (U
ex
,
ex
) .
La mthode des lments finis consiste remplacer le modle mcanique continu par un
modle approch discret dont la solution (U
h
,
h
) constitue une approximation de
(U
ex
,
ex
) .
Le contrle de la qualit du calcul lments finis consiste considrer le modle
mcanique continu comme modle de rfrence et valuer la qualit de la solution
calcule (U
h
,
h
) en tant qu'approximation de la solution exacte (U
ex
,
ex
) de ce modle de
rfrence.
1.2 Modle de rfrence
Le milieu tudi occupe l'instant initial

un domaine de frontire . On se pl ace
en petites dformations et l'volution du milieu est tudie sur .

efforts surfaciques
donns
efforts volumiques
donns
dplacement impos
f
d
F
d

U
d
Figure 1-2 : Problme de rfrence
1. Qualit d'une solution lments finis 9
JPP Master MIS - Parcours TACS
Le milieu est soumis un environnement qui, chaque instant t, est schmatis par
(Figure 1-2) :
un champ surfacique de dplacement sur une partie de la frontire ,
une densit surfacique d'effort sur la partie : ,
une densit volumique d'effort sur le domaine .
A l'instant , on donne la position et la vitesse initiale en tout point M de :

Le problme qui traduit l'volution sur

du milieu peut tre formul de la faon
suivante :
Trouver

et

dfinis sur tels que :
quations de liaison et conditions initiales
quations d'quilibre

relation de comportement
Dans cette formulation :


, dformation associe

en petites perturbations, est dfinie par :
dsigne la masse volumique qui, ici, est constante par rapport t,
dsigne l'espace o est cherch le champ de dplacement,
dsigne l'espace o est cherch le champ de contrainte,
dsigne l'espace des champs virtuels choisis ; il est de la forme :
est un oprateur qui caractrise le comportement ; la valeur l'instant t de l a
contrainte est une fonction de l'histoire de la vitesse de dformation jusqu' l'instant t.
Remarques
1. La rgularit impose dpend des problmes tudis. Elle se traduit dans le choi x
des espaces , et .
On pourra, par exemple, se reporter aux ouvrages [DUVAUT - LIONS, 1972], [BREZIS, 1973],
[EKELAND - TEMAM, 1974], [NECAS - HLAVACEK, 1981], [DAUTRAY - LIONS, 1984], [POGU - TOURNEMINE, 1992].
(1.1)
(1.2)
(1.3)
(1.4)
10 La mthode des lments finis et le contrle des calculs
Master MIS - Parcours TACS JPP
2. Les quations d'quilibre (1.3) sont quivalentes aux quations locales :
o dsigne le vecteur unit normal et extrieur la frontire .
1.2.1 Elasticit linaire
Une forme trs simple du problme prcdent, est celle de la statique linaire o l es
donnes et les champs inconnus et sont indpendants du temps et o l a
relation de comportement est une relation linaire entre la contrainte et la dformation
(lasticit linaire). Bien sr, dans ce cas, il n'y a plus lieu d'crire les conditions
initiales (1.2) et on s'intresse la configuration finale l'instant T. Le problme de
rfrence devient :
Trouver

et dfinis sur tels que :
quations de liaison

quations d'quilibre

relation de comportement
Dans cette formulation :
dsigne l'oprateur de HOOKE du matriau.
Par exemple, pour un matriau lastique isotrope, on a : , o I
est l'oprateur identit et et sont les deux coefficients de LAME.
Les espaces U

et S sont les analogues des espaces et pour des
champs indpendants du temps.
1.2.2 Problmes quasi-statiques
Une autre version simplifie correspond au cas o l'on peut considrer que les termes
d'acclration sont ngligeables. On obtient le problme :
Trouver

et

dfinis sur tels que :
quations de liaison et conditions initiales
quations d'quilibre
(1.5)
(1.6)
(1.7)
(1.8)
(1.9)
(1.10)
(1.11)
1. Qualit d'une solution lments finis 11
JPP Master MIS - Parcours TACS
relation de comportement
Il s'agit alors d'un problme dit de "quasistatique".
1.3 Problme approch et erreurs de discrtisation
1.3.1 Problmes linaires
Actuellement, la mthode la plus utilise pour obtenir des approximations des quations
[(1.6) - (1.8)] est la mthode des lments finis en dplacement.
La mthode des lments finis en dplacement
Cette mthode consiste formuler le problme [(1.6) - (1.8)] en utilisant l'nergie
potentielle :
En effet, le dplacement est solution du problme de minimisation :
o les champs " " sont les champs de dplacement Cinmatiquement Admi ssi bl es
c'est--dire les champs qui vrifient les quations de liaison (1.6).
est alors obtenu par :
La mthode des lments finis en dplacement consiste rechercher le minimum de
l'nergie potentielle, non plus sur l'ensemble de tous les champs CA, mais uniquement sur
un sous-espace de dimension finie de champs CA. Le champ approch est donc
solution du problme :
ou, sous forme de conditions d'extrmalit :
Trouver un champ de dplacement dfini sur tel que :
o est le sous-espace affine de dimension finie de U choisi et

le sous-espace
vectoriel associ qui est un sous-espace vectoriel de .
Le champ de contrainte est obtenu, lment par lment, par la relation de
comportement :
En pratique, le problme (1.15) se traduit par le systme linaire :
(1.12)
(1.13)
(1.14)
(1.15)
(1.16)
12 La mthode des lments finis et le contrle des calculs
Master MIS - Parcours TACS JPP
o :
dsigne le vecteur des dplacements nodaux (degrs de libert),
la matrice de rigidit,
le vecteur des charges gnralises.
Par exemple, pour , on a :
avec :
o N est la matrice des fonctions de forme.
Pour la mthode des lments finis, on pourra consulter, par exemple [BATHE, 1982], [IMBERT,
1984], [HUGHES, 1987], [BATOZ - DHATT, 1990], [ZIENKIEWICZ - TAYLOR, 1988].
Origine des erreurs dapproximation
Le non respect des quations d'quilibre
Si l'on compare le problme de rfrence et le problme approch, on constate que
vrifie, comme , les quations de liaison et la relation de comportement.
Par contre, le champ ne vrifie pas les quations d'quilibre :
dans la mthode des lments finis de type dplacement, l'approximation principale
porte sur les quations d'quilibre
De faon prcise, la contrainte prsente trois types de dfauts d'quilibre :
l'quation d'quilibre intrieure n'est pas vrifie :

le vecteur contrainte n'quilibre pas les charges donnes

le vecteur contrainte est discontinu l'interface entre deux lments :

o les notations sont prcises sur la Figure 1-3.
Figure 1-3 : Notations l'interface entre deux lments
(1.17)
(1.18)
(1.19)
(1.20)
(1.21)
(1.22)
1. Qualit d'une solution lments finis 13
JPP Master MIS - Parcours TACS
Les autres sources d'erreurs de discrtisation
Selon le modle mcanique continu qui a t retenu d'autres sources d'erreurs existent :
erreurs dues au non respect de la gomtrie
erreurs dues l'approximation des conditions aux limites en dplacement :
erreurs dues l'approximation des charges appliques :
erreurs dues au traitement numrique du problme approch :
Les trois premiers types d'erreurs peuvent, dans un premier temps, tre laisss de ct,
ce qui revient supposer que les approximations correspondantes ont t effectues au
niveau du modle mcanique continu de rfrence. Pour plus de dtails sur ces types
d'erreur, le lecteur pourra consulter par exemple [STRANG - FIX, 1976], [CIARLET, 1978].
Le dernier type est de nature diffrente et il ne peut tre vit. Nanmoins, compte tenu de
la prcision actuelle des ordinateurs, dans de nombreuses situations courantes c e s
erreurs sont tout fait ngligeables devant les erreurs de discrtisation proprement di tes
dues au non respect des quations d'quilibre du modle de rfrence.
Toutefois, des mthodes d'valuation, ou tout au moins de dtection, de ce type d'erreurs
existent, par exemple la mthode de [LA PORTE -VI GNE, 1974] qui est stochastique.
Pratiquement, il est donc ncessaire d'effectuer plusieurs calculs en propageant
diffremment les erreurs d'arrondis [DAUMAS - MULLER, 1997].
1.3.2 Problmes non linaires
Nous considrons ici, titre d'exemple, un problme non linaire en quasistatique
[quations (1.9) - (1.12)]. Le traitement classique de ce type de problme par la mthode
incrmentale ncessite la fois une discrtisation spatiale et une discrtisation
temporelle.
Discrtisation du problme
Pour simplifier, nous supposons que les dplacements imposs sont nuls : .
Discrtisation en espace
Le champ de dplacement est recherch sous la forme :
o N est la matrice des fonctions de forme (donnes) correspondant une discrtisation
de type lments finis et q un vecteur de fonctions du temps (inconnues) qui reprsentent
les dplacements nodaux chaque instant. On obtient ainsi le problme approch :
Trouver de type lments finis et tels que :


qui est un problme discrtis en espace mais continu en temps.
(1.23)
(1.24)
(1.25)
(1.26)
14 La mthode des lments finis et le contrle des calculs
Master MIS - Parcours TACS JPP
Discrtisation en temps
Pour rsoudre les quations [(1.24) - (1.26)] de faon approche, on effectue une
discrtisation de en le subdivisant en p sous-intervalles :
La solution est dtermine pas pas. En supposant la solution approche connue
jusqu'au temps , il s'agit de dterminer le dplacement et la contrainte sur l'incrment
. Chaque incrment tant choisi "petit", on fait gnralement l'hypothse d'une
variation linaire de

sur :
c'est--dire, en notation lments finis :
La seule inconnue est alors le dplacement . Pour dterminer , on cri t
l'quilibre (1.25) . On obtient ainsi le problme :
Trouver : et : tels que :

avec :
Comme l'histoire de la vitesse de dformation jusqu' ne dpend que de , il en est
de mme de la contrainte . (1.28) est donc une quation non linaire dont l'inconnue
est et o le temps n'intervient plus.
Cette quation est rsolue, de faon approche, par une mthode itrative, gnralement
par une mthode de type NEWTON.
Origine des erreurs de discrtisation
La discrtisation en espace entraine que les champs de contrainte calculs ne vrifient
pas les quations d'quilibre du modle de rfrence mais, au mieux, uniquement l es
quations affaiblies au sens des lments finis. La discrtisation en temps introduit de
nouvelles approximations :
l'hypothse sur la variation en temps du champ de dplacement sur l'incrment
constitue une premire approximation qui, si les pas de temps sont choisis trop
grands, peut tre une source d'erreur importante ;
la rsolution sur chaque incrment du problme non linaire (1.28) par une
mthode itrative introduit aussi des approximations ;
au cours des itrations prcdentes, on est amen intgrer, par un schma
numrique, la relation de comportement pour une histoire de dformation donne ;
(1.27)
(1.28)
1. Qualit d'une solution lments finis 15
JPP Master MIS - Parcours TACS
cette intgration numrique introduit des approximations qui peuvent tre
importantes ;
le champ de contrainte cherch la fin d'un incrment n'est connu que
par ses valeurs en un certain nombre de points de GAUSS de chaque lment.
1.4 Estimation des erreurs de discrtisation
1.4.1 Les estimations a priori
Dans de nombreuses situations, l'analyse fonctionnelle et l'analyse numrique permettent
d'obtenir, sous certaines hypothses de rgularit, des rsultats d'estimation a priori de l a
forme :
o est une norme sur les champs de dplacement et E une fonction de la taille h des
lments, des donnes D du problme et de la solution exacte .
Si la fonction E est telle que :
alors on obtient la convergence de la mthode d'lments finis utilise. Si l'on peut
montrer qu'il existe un rel q > 0 tel que :
on a aussi des informations sur la vitesse de convergence en fonction de la taille.
Nanmoins, comme ces estimations font intervenir la solution exacte, elles ne peuvent
tre explicitement calcules et elles ne fournissent donc aucune information sur la valeur
de l'erreur.
1.4.2 Les estimations a posteriori
Le principe des estimateurs d'erreur classiques
L'ide de base est d'utiliser la solution approche pour valuer l'erreur de discrtisation.
Contrairement aux estimations a priori, ces estimations ne peuvent tre utilises qu'une
fois la solution approche calcule et sont donc appeles des estimations a posteriori.
Les trs nombreuses propositions qui ont t, et sont encore, faites dans ce domaine
peuvent tre schmatiquement classes en trois catgories :
les mesures d'erreurs fondes sur le concept d'erreur en relation de comportement et
sur des techniques adaptes de construction de champs admissibles [LADEVEZE, 1975] ;
les estimateurs d'erreurs fonds sur les dfauts d'quilibre de la solution lments finis
[BABUSKA - RHEINBOLDT, 1978] ; ces estimateurs, ont fait l'objet de nombreux travaux en
analyse numrique ;
les indicateurs d'erreurs construits sur les dfauts de rgularit de la solution lments
finis [ZIENKIEWICZ - ZHU, 1987].
(1.29)
(1.30)
16 La mthode des lments finis et le contrle des calculs
Master MIS - Parcours TACS JPP
Toutes ces dmarches fournissent l'utilisateur une valuation de l'erreur globale de
discrtisation et une estimation de la contribution l'erreur globale de chaque lment
E du maillage utilis. Gnralement, ces deux estimations sont relies par :
A ces erreurs "absolues", on associe classiquement des erreurs "relatives" et
o est une quantit choisie pour normaliser ces diffrentes estimations.
1.4.3 Qualits d'un estimateur
Les diffrentes mthodes dveloppes pour construire des estimations d'erreur a
posteriori se distinguent bien sr par les techniques employes mais aussi par la qualit
des rsultats obtenus. Pour comparer ces diffrentes mthodes, plusieurs critres
peuvent tre utiliss :
critres de qualit intrinsque permettant de comparer l'erreur mesure avec
l'erreur "vraie" rellement commise,
critre de fiabilit : l'erreur estime majore-t-elle l'erreur "vraie" ?
sensibilit des situations particulires de maillages : maillages grossiers,
lments aplatis, lments distordus
sensibilit des comportements particuliers : anisotropie des matriaux
critres conomiques : simplicit de mise en uvre, cot d'utilisation
tendue du domaine d'application.
Nous allons donner ici quelques critres intrinsques de qualit aujourd'hui communment
admis. Des tudes trs compltes sur la qualit des estimateurs d'erreurs et sur leur
comportement peuvent tre trouves dans les rfrences [ODEN - DEMKOWICZ -RACHOWICZ -
WESTERMANN, 1989], [BECKERS - ZHONG, 1991], [STROUBOULIS - HAQUE, 1992], [BABUSKA - STROUBOULIS -
UPADHYAY - GANGARAJ, 1994], [BABUSKA - STROUBOULIS - UPADHYAY - GANGARAJ - COPPS, 1994].
Indice d'efficacit
L'indice d'efficacit est dfini par :

En pratique, pour un bon estimateur, l'indice d'efficacit global doit tre proche de 1. Pour
valuer , la mthode la plus sre consiste utiliser des problmes tests pour lesquels l a
solution exacte est connue analytiquement.
Une autre technique, largement rpandue, consiste prendre comme solution "exacte"
une solution lments finis obtenue sur un maillage trs fin. Pour obtenir des rsultats
fiables, il est indispensable que ce maillage soit nettement plus fin que le maillage sur
lequel l'erreur est estime et il faut prendre quelques prcautions pour transfrer l es
champs d'un maillage l'autre.
De manire analogue, on dfinit un indice local d'efficacit par lment (ou sur un paquet
d'lments) par :

(1.31)
(1.32)
(1.33)
1. Qualit d'une solution lments finis 17
JPP Master MIS - Parcours TACS
Comportement asymptotique
Pour certains estimateurs d'erreurs, il existe deux constantes positives et ,
indpendantes de la taille des lments, telles que :
Ces ingalits montrent que l'erreur "vraie" et l'estimation d'erreur utilise tendent vers
zro simultanment.
De plus, si l'on dispose d'une ingalit du type
(1.30), on obtient :
Cette ingalit, qui renseigne sur la vitesse de convergence de l'estimateur d'erreur en
fonction de la taille, est trs utile pour adapter les maillages.
Remarque
Il est souhaitable que les constantes et

soient proches de 1. Du point
de vue de la fiabilit, il est videmment intressant d'utiliser des estimateurs tels que :
1.5 Bibliographie du chapitre 1
BABUSKA - RHEINBOLDT, 1978
"Error estimates for adaptive finite element computation", SIAM J. Num. Anal., 15, 4, 736-754
BABUSKA - STROUBOULIS - UPADHYAY - GANGARAJ - COPPS, 1994
"Validation of a posteriori error estimators by numerical approach", Int. J. Num. Meth. Eng., 37, 1073-
1123
BABUSKA - SROUBOULIS - UPADHYAY - GANGARAJ, 1994
"A model study of the quality of a posteriori estimators for linear elliptic problems : error estimation in the
interior of patchwise uniform grids of triangles", Comput. Methods Appl. Mech. Eng., 114, 307-378
BATHE, 1982
Finite element procedure in engineering analysis, Prentice-Hall, Englewood-Cliffs
BATOZ - DHATT, 1990
Modlisation des structures par lments finis, vol I, II et III, Herms, Paris
BECKERS - ZHONG, 1991
"Influence of element distorsions on the reliability of some a posteriori error estimators", Proc. of the
European conference on new advances in computational structural mechanics, LADEVEZE and ZIENKIEWICZ
Editors, Giens (France), 9-16
BREZIS, 1973
Oprateurs maximaux monotones et semi-groupes de contraction, North-Holland, Matematics Studies
CIARLET, 1978
The finite element method for elliptic problems, North-Holland
DAUMAS - MULLER, 1997
Qualit des calculs sur ordinateurs, Masson, Paris
DAUTRAY - LIONS, 1984
Analyse mathmatique et calculs numriques pour les sciences et les techniques, tomes 1 9, Masson,
Paris
DUVAUT - LIONS, 1972
(1.34)
(1.35)
18 La mthode des lments finis et le contrle des calculs
Master MIS - Parcours TACS JPP
Les inquations en mcanique et en physique, Dunod, Paris
EKELAND - TEMAM, 1974
Analyse convexe et problmes variationnels, Dunod, Paris
HUGUES, 1987
The finite element method : linear static and dynamic finite element analysis, Prentice Hall, Englewood
Cliffs
IMBERT, 1984
Analyse des structures par Elments Finis, CEPADUES Editions, Toulouse
LA PORTE - VIGNE, 1974
Error analysis in computing, Information Processing, North-Holland
LADEVEZE, 1975
Comparaison de modles de milieux continus, Thse d'Etat, Universit P et M. Curie, Paris (France)
NECAS - HLAVACEK, 1981
Mathematical theory of elastic and elasto-plastic bodies : an introduction, Elsevier
ODEN - DEMKOWICZ - RACHOWICZ - WESTERMANN, 1989
"Toward a universel h-p adaptive finite element strategy - Part 2. A posteriori error estimation", Comput.
Methods Appl. Mech. Eng., 113-180
POGU - TOURNEMINE, 1992
Modlisation et rsolution d'quations de la mcanique des milieux continus, Ellipse, Paris
STRANG - FIX, 1976
An analysis of the finite element method, Prentice Hall
STROUBOULIS - HAQUE, 1992
"Recent experiences with error estimation and adaptivity. Part I : review of error estimators for scalar
elliptic problems", Comput. Methods Appl. Mech. Eng., 97, 339-436
ZIENKIEWICZ - TAYLOR, 1988
The finite element method : basic formulation and linear problems, Mc Graw-Hill, Londres (Traduction
franaise, 1991, AFNOR Techniques)
ZIENKIEWICZ - ZHU, 1987
"A simple error estimator and adaptative procedure for practical engineering analysis", Int. J. Num. Meth.
Eng., 24, 337-357

Vous aimerez peut-être aussi