Jean Garrigues
(version du 1er dcembre 2014)
Avant-propos
Lobjectif de ce cours est de dfinir le comportement des milieux continus solides lastiques.
Llasticit dfinie dans ce cours est gnrale. La temprature tant une variable dtat impose
par le second principe de la thermodynamique, ce cours traite donc de ce que lon appelle
habituellement la thermo-lasticit.
Remarque Llasticit isotherme est un cas particulier. Le lecteur qui souhaiterait nenvisager
que des volutions temprature la fois uniformes dans lespace et constantes dans le temps
(ces approximations sont rarement ralistes dans la pratique industrielle) pourra toujours poser
grad T = 0 et T = 0 ; en outre, dans la rsolution des problmes, il devra aussi ignorer lquation de la
conservation de lnergie (quation de la chaleur) qui, sous ces hypothses, nest quun corollaire de
lquation de mouvement. En faisant ces approximations, il masquera dlibrment les phnomnes
thermiques inhrents toute volution thermomcanique dun milieu continu, mme lastique.
Contrairement aux cours classiques dlasticit lmentaire (lasticit de Hooke), les dformations envisages dans ce cours ne sont lobjet daucune restriction a priori. Llasticit sans restrictions ni sur les dformations ni sur le mouvement est souvent appele (thermo-)hyperlasticit
ou encore (thermo-)lasticit en grandes dformations . Dans ce cours, llasticit classique
de Hooke napparatra donc que comme une dgradation de llasticit gnrale. Par ailleurs,
llasticit envisage dans ce cours nest pas ncessairement isotrope.
En premire lecture, la plupart des remarques ou commentaires qui apparaissent en retrait et en
petits caractres peuvent tre ignors sans nuire la comprhension de lensemble.
La lecture de ce cours suppose une matrise suffisante de lalgbre et de lanalyse tensorielles (1) ,
de la cinmatique des milieux continus (2) et des quations gnrales des milieux continus (3) ,
dont notamment lexpression diffrentielle locale pour un milieu continu des quatre principes
fondamentaux de la physique classique.
Dans la mesure du possible, on respectera les conventions typographiques suivantes :
les nombres rels sont en minuscules italiques (exemple : a, ) ;
les vecteurs sont en minuscules italiques grasses (exemple : v ) ;
les tenseurs sont en majuscules italiques grasses (exemple : T ) ;
les termes dune matrice sont rangs dans un tableau entre crochets, deux indices, lindice
de gauche est lindice de ligne, et lindice de droite est lindice de colonne :
4
la transposition est note avec un > en exposant (exemple : T > ) ;
les ensembles dentits mathmatiques sont en majuscules doubles, en particulier :
R est lespace des rels,
V3 est un espace vectoriel de dimension 3,
p
Vp
3 est lespace vectoriel des tenseurs dordre p construits sur V3 (de dimension 3 ),
2
Q3+ est le groupe des rotations (Q3+ V3 ) ;
le produit vectoriel de deux vecteurs de V3 est not ;
Le tenseur mtrique est not G ;
Le tenseur dorientation est not H ;
La description de Lagrange dun champ matriel est note avec un indice L ;
La description dEuler dun champ matriel est note avec un indice E ;
La drive particulaire dune grandeur physique locale (P,t) est note (P,t).
Les invariants fondamentaux dun tenseur du second ordre X sont nots XI , XII et XIII .
Remerciement
Je tiens remercier trs vivement Mathias L EGRAND (4) , ce grand magicien de LATEX, sans qui
la mise en page de ce texte ne serait que celle par dfaut de la classe book (5) et qui ma aussi
donn de prcieux conseils sur la typographie franaise.
Bonne lecture.
Information Ce texte est rdig en vue dune lecture dynamique lcran : toutes les rfrences internes et
externes sont actives et conduisent la cible rfrence (dans la plupart des visualisateurs de fichiers au format
pdf, on revient ltat prcdent avec la combinaison de touches <alt><page arrire>). Nanmoins, les rfrences
des pages ont t conserves pour la lecture du document imprim.
(4)
(5)
lasticit isotrope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
42
6
3.5 Hypothse simplificatrice supplmentaire facultative . . . . . . . . . . . . . . . . . . . . 47
3.6 Expriences relles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Mouvement isovolume isotherme sans dilatation sphrique pralable (C (4) ), 48 Dformation
sphrique isotherme (C (2) ), 49 Dilatation thermique libre (C (5) ), 50 Essai de traction simple
isotherme (C (6) ), 50.
Pseudo-lasticit de Hooke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Le problme lastique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
Transformations dintgrales
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
1
Milieux continus solides
dformables
Aprs quelques rappels de thermodynamique fondamentale destins prciser les notations
employes dans le cours, on dfinit dans ce chapitre ce que lon appelle solide dformable et
solide dformable lastique.
p
em = T fe T + i fe i i
i=2
2 , ,
n)
s = fs (T,
n
p
sm = T fs T + i fs i i
i=2
= f e (T, I2 , , Im )
n
= T f e T + I j f e Ij
j=2
= f s (T, I2 , , Im )
n
= T f s T + I j f s Ij
j=2
o :
2 (P,t), ,
n (P,t) sont les champs matriels des variables dtat (ventuellement
T (P,t),
tensorielles) indpendantes et objectives du milieu continu considr ;
T (P,t), I2 (P,t), , Im (P,t) sont les champs matriels des variables dtat objectives scalaires.
Cette liste ne peut tre tablie que lorsque lon connat le nombre et lordre de tensorialit des
2 , ,
n }. Elle contient des invariants propres chaque argument
variables tensorielles {
tensoriel et des invariants croiss (1) qui traduisent lorientation relative entre les arguments
tensoriels.
On utilise aussi la fonction dtat nergie libre de Helmholtz dfinie par m = em T sm :
2 , ,
n)
m = f (T,
n
p
m = T f T + i f i i
i=2
(1)
= f (T, I2 , , Im )
n
= T f T + I j f Ij
j=2
10
v
= T sm rext
+ divE q
(1.1)
(1.2)
(ingalit de Clausius-Duhem)
(1.3)
o :
(P,t) est le champ matriel scalaire objectif appel masse volumique actuelle ;
T (P,t) est le champ matriel scalaire objectif appel temprature absolue actuelle (T > 0) et
T est sa drive particulaire ;
v (P,t) est le champ matriel scalaire objectif appel puissance calorifique volumique dori rext
gine extrieure (W.m3 ) actuellement apporte la particule par linteraction dun rayonnement ventuel traversant le domaine de milieu continu (dans beaucoup dapplications ce terme
est nul) ;
q
(P,t) est le champ matriel vectoriel objectif appel courant de chaleur actuel (W.m2 ),
reprsentant la circulation de la chaleur lintrieur du domaine de milieu continu : la
puissance calorifique surfacique actuelle traversant une facette matrielle de normale unitaire
actuelle nt est le scalaire qs = q nnt ;
(P,t) est le champ matriel tensoriel objectif du second ordre symtrique appel tenseur des
contraintes de Cauchy actuel (Pa) ;
D (P,t) est le champ matriel tensoriel objectif du second ordre symtrique appel tenseur des
taux de dformation actuel (s1 ) ;
em (P,t) est le champ matriel scalaire objectif appel nergie interne massique actuelle
(J.kg1 ) et em est sa drive particulaire (W.kg1 ) ;
sm (P,t) est est le champ matriel scalaire objectif appel entropie massique actuelle (J.kg1 )
et sm est sa drive particulaire (W.kg1 ) ;
m (P,t) = em (P,t) T (P,t) sm (P,t) est le champ matriel scalaire objectif appel nergie libre
massique de Helmholtz actuelle (J.kg1 ) et m est sa drive particulaire (W.kg1 ).
Comme tout champ matriel, chacun de ces champs scalaires, vectoriels ou tensoriels peut aussi
bien tre dcrit par la mthode de Lagrange que par celle dEuler :
(P,t) = L (xx0 ,t) = E (xxt ,t)
Lorsque la liste des variables dtat du milieu continu et lexpression des fonctions dtat du
milieu continu sont connues, la dissipation [q. (1.2)] en une particule P est fonction de ltat
actuel, de la vitesse dvolution actuelle dans lespace des tats et du gradient actuel du champ
de temprature.
Le dernier terme de la dissipation Tq gradE T dans les quations (1.1), (1.2) et (1.3) est appel
dissipation thermique actuelle et est not th . Ce terme est non ngatif par principe (2) .
(2)
Le second principe postule que dans une conduction thermique la chaleur va du chaud vers le froid .
11
Enfin, on rappelle que si les variables dtat sont bien des grandeurs indpendantes (on peut
donner chacune dentre-elles une valeur arbitraire (3) pour dfinir un tat), il nen est pas
ncessairement de mme pour leur drive particulaire : il se peut que la cinmatique ou des
principes fondamentaux imposent des relations entre les drives particulaires des variables
dtat. Par consquent, partir dun tat quelconque donn, toutes les directions de vitesse
dvolution dans lespace des tats ne sont pas toujours possibles.
12
Enfin, la descrition de ltat local de certains solides dformables peut ncessiter des variables
dtat supplmentaires : il se peut que la seule description de la temprature actuelle, de la dformation actuellle et des directions actuelles danisotropie soient insuffisantes pour la description
de ltat local actuel de la matire, car le chemin suivi pour atteindre ltat local actuel est important. Cest le cas lorsque des phnomnes microscopiques provoquant un effet macroscopique
notable se sont produits dans lvolution qui a conduit ltat actuel. Ces phnomnes physiques
microscopiques peuvent tre des ruptures ou des rarrangements de liaisons interatomiques, ou
encore des changements chimiques lents. Pour reprsenter macroscopiquement ltat local actuel
dans le cadre dune vision continue de la matire, il faut donc des variables dtat supplmentaires appeles variables dtat internes ou mnsiques qui sont une mmoire partielle du chemin
suivi pour atteindre ltat actuel. Suivant la nature des phnomnes microscopiques que lon
souhaite dcrire macroscopiquement, et aussi suivant la finesse avec laquelle on souhaite les
(4)
On rappelle que lobjectivit des variables dtat est une condition ncessaire lisotropie des fonctions dtat
objectives.
(5) Notamment, sil est ais de supposer que la temprature est uniforme en attendant suffisament longtemps la
stabilisation thermique, il est difficile en revanche de sisoler de la pesanteur.
(6) Toutefois, on envisagera dans les chapitres suivants lutilisation de tenseurs de dformation lagrangiens, donc
non objectifs, pour illustrer leurs inconvnients.
13
reprsenter, les variables dtat mnsiques peuvent tre scalaires, vectorielles ou tensorielles.
Ces phnomnes microscopiques donnent lieu des observations macroscopiques telles que
lendommagement, la plastification, la fatigue, le vieillissement, etc.
P t
(1.4)
2. Il ny a de variable dtat mnsique dans la liste des variables dtat ; les seules variables
dtat sont donc :
la temprature T (sa prsence est impose par le second principe),
un tenseur de dformation actuelle X (le milieu continu est un solide dformable),
(i)
(i)
dventuelles directions actuelles danisotropie nt (ou N t ) ;
3. Le tenseur des contraintes de Cauchy est une fonction dtat :
X ,N
N t(1) , ,N
N t(n) )
= f (T,X
(donc indpendant de D )
(1.5)
Ce modle simple est assurment une idalisation des matriaux rels, mais il est satisfaisant
pour bon nombre de matriaux, tant que lon ne dpasse pas certaines limites (apparition de
phnomnes microscopiques dont leffet est macroscopiquement notable). Ces limites seront
prcises dans la suite.
14
1.4 En bref...
Les variables dtat dun solide dformable contiennent au moins la temprature et un tenseur de
dformation par rapport une forme de rfrence. Pour les solides dformables anisotropes, il
faut y ajouter les directions actuelles danisotropie.
Pour certains solides dformables, on constate que la rponse sthnique (le tenseur des contraintes)
dpend non seulement des variables dtat prcdentes, mais aussi de la vitesse actuelle de dformation ou de lhistoire de lvolution.
Les solides dformables lastiques sont des milieux continus simples tels que :
1. Les variables dtat sont la temprature actuelle, la dformation actuelle et dventuelles
directions actuelles danisotropie ;
2. La dissipation intrinsque est nulle ;
3. Le tenseur des contraintes est une fonction dtat (donc indpendant de la vitesse dvolution
actuelle et de lhistoire de lvolution).
Les chapitres qui suivent dveloppent llasticit isotrope (pas de direction danisotropie dans
les variables dtat), puis des lasticits anisotropes.
(7)
2
lasticit isotrope
Llasticit isotrope est ltude du comportement des milieux continus solides lastiques dont la
matire ne comporte pas de direction matrielle privilgie. La rponse sthnique locale une
dformation est donc indpendante de lorientation actuelle de la dformation par rapport la
position actuelle de la matire.
Dfinition 2.1 Solide lastique isotrope. Un modle de milieu continu est dit solide lastique
isotrope si :
X ) o X est un tenseur de dformation objectif.
1. Les variables dtats indpendantes sont (T,X
2. Le milieu continu est lastique (int = 0 et est une fonction dtat) [df. 1.3 p. 13] ;
Attention Il faut veiller ne pas confondre les deux sens du mot isotropie :
Isotropie mathmatique des fonctions valeur scalaire : la valeur de la fonction est invariante dans
toute rotation densemble de ses arguments tensoriels (2) ;
Isotropie matrielle des milieux continus : la description de ltat local ignore lorientation de la
dformation actuelle par rapport la position actuelle de la matire.
(1)
(2)
Voir le cours Algbre et analyse tensorielle pour ltude des milieux continus, du mme auteur [note 1 p. 3].
Voir le cours Algbre et analyse tensorielle pour ltude des milieux continus, du mme auteur [note 1 p. 3]
16
Lespace des tats dun milieu continu lastique isotrope est donc au plus (3) de dimension 4 : la
temprature et trois invariants du tenseur de dformation.
(2.1)
X gradE T et gradE T X
X 2 gradE T traduisent lorieno les deux invariants croiss gradE T X
tation relative du vecteur gradE T par rapport aux directions propres de la dformation actuelle.
Le choix ne peut tre suggr que par des constatations exprimentales.
Remarques La conductivit thermique dpend assez naturellement de la temprature. Si elle
est fonction de k gradE T k on dit que la loi de comportement thermique est non linaire . Elle
peut aussi dpendre de la dformation ou dune partie de la dformation (5) . Si elle dpend aussi de
lorientation de gradE T par rapport la dformation X (les deux derniers invariants de la liste (2.1)),
on dit que le comportement thermique est rendu anisotrope en raison dune anisotropie induite par la
dformation.
et
o XI , XII et XIII sont les invariants fondamentaux du tenseur de dformation symtrique objectif X .
Ces deux fonctions dtat sont caractristiques de chaque milieu continu solide lastique isotrope
(3) Dans la construction effective dun modle, on peut dcider dignorer dlibrment linfluence dune ou plusieurs
variables dtat scalaire.
(4) Voir le cours quations gnrales des milieux continus, du mme auteur [note 3 p. 3].
(5) Par exemple, la conductivit thermique peut ne dpendre que de la seule partie dformation sphrique.
17
(mtaux, alliages, polymres, verres, etc.). Les drives particulaires de ces fonctions dtat
scrivent donc :
em = T f e T + XI f e XI + XII f e XII + XIII f e XIII
sm = T f s T + XI f s XI + XII f s XII + XIII f s XIII
La nullit de la dissipation intrinsque pour un milieu continu lastique isotrope scrit donc :
:D
0 = (T sm em ) +
= (T T f s T f e ) T +
:D
(T XI f s XI f e ) XI + (T XII f s XII f e ) XII + (T XIII f s XIII f e ) XIII +
:D
= (T T f s T f e ) T XI f XI XII f XII XIII f XIII +
:D
0 = (T f + f s ) T XI f XI XII f XII XIII f XIII +
(2.2)
o, pour condenser les critures dans les deux dernires lignes, on a introduit la fonction dtat
nergie libre massique de Helmholtz m = em T sm .
Remarque Comme on peut le constater, la dissipation intrinsque scrit un peu plus brivement en
utilisant le couple de fonctions dtat ( m , sm ) plutt quavec le couple (em , sm ) qui est naturellement
introduit par les deux principes de la thermodynamique. La substitution du groupement de termes
em T sm par m est sans importance fondamentale. On obtient aussi bien le rsultat (2.2) partir de
lexpression de la dissipation donne en (1.3) [p. 10] (ingalit de Clausius-Duhem).
La nullit de la dissipation intrinsque [q. (2.2)] doit tre vraie pour toute volution, cest--dire
D. Or, les drives particulaires des invariants de dformation et le
T , XI , XII , XIII et D
tenseur des taux de dformation D sont lis par la cinmatique. Pour prciser ces relations, il
faut choisir un tenseur de dformation.
2.2.3 Relation de Helmholtz
Quel que soit le tenseur de dformation choisi, les drives particulaires des invariants de
dformation XI , XII et XIII sexpriment uniquement en fonction de X et de D : ce sont des
relations purement cinmatiques qui ne font pas intervenir T (6) . La nullit de la dissipation
intrinsque [q. (2.2)] peut donc scrire sous la forme condense provisoire suivante :
,D
D)
0 = (T f + f s ) T + g(T, XI , XII , XIII , XI , XII , XIII ,
Cette galit doit tre vraie pour tout tat, cest- dire : T XI XII XIII , et pour toute volution,
D. Le terme (T f + f s ) tant une fonction dtat, donc non
cest--dire : T XI XII XIII D
Thorme 2.2 Relation de Helmholtz. Dans un milieu lastique isotrope, les deux fonctions
dtat f et f s sont lies par la relation de Helmholtz :
T f + f s = 0
T T f s T f e = 0
(2.3)
(6) Les drives particulaires des invariants dun tenseur de dformation sont des rsultats de cinmatique dmontrs
en annexe du cours Cinmatique des milieux continus, du mme auteur [note 2 p. 3]. Dans la suite du cours, on les
rappellera en temps utile [q. (2.5) p. 18], [q. (2.9) p. 20] et [q. (2.12) p. 21].
18
Pour dfinir le comportement dun milieu continu lastique isotrope, il suffit donc de donner
lexpression dune seule fonction dtat fe , fs ou f en fonction des variables dtat. Les autres
fonctions dtat sen dduisent par la relation de Helmholtz et la dfinition de lnergie libre de
Helmholtz.
Remarques Les lecteurs qui ont lu la construction du modle de milieu continu fluide simple
deux variables dtat indpendantes T et , dans le chapitre 6 du cours quations gnrales des
milieux continus du mme auteur [note 3 p. 3], constateront que cette relation entre les deux fonctions
dtat est la mme, bien que les fonctions dtat fe et fs dun fluide simple et celles dun solide
lastique soient des fonctions compltement diffrentes de variables dtat diffrentes.
En lasticit isotrope, la relation de Helmholtz traduit le fait que T et les drives particulaires des
autres variables dtat (XI , XII , XIII ) peuvent prendre indpendamment des valeurs arbitraires. Dans un
modle de comportement lastique isotrope, toutes les directions dvolution dans lespace des tats
sont donc possibles autour dun tat. En particulier, il peut exister une volution telle que seule la
variable dtat T volue (variation de temprature dformation bloque).
Compte tenu de la relation de Helmholtz (2.3) [p. 17], la nullit de la dissipation intrinsque
crite en (2.2) [p. 17] se rduit :
D,
XI XII XIII D
:D
0 = XI f XI XII f XII XIII f XIII +
(2.4)
o XI , XII et XIII sont des fonctions de X et de D . Pour expliciter ces drives particulaires, il faut
choisir un tenseur de dformation.
2.2.4 Loi de comportement lastique avec tenseur de dformation B
Les variables dtat scalaires sont (T, BI , BII , BIII ). Lnergie libre massique de Helmholtz dune
particule, quand on utilise le tenseur B comme tenseur de dformation, scrit donc :
m = fB (T, BI , BII , BIII )
On montre en cinmatique (7) que les drives particulaires des invariants fondamentaux du
tenseur de dformation B scrivent :
B :D
B I = 2B
B2 ) : D ;
B II = 2 (BI B B
B III = 2 BIII G : D
Kv =
BIII
(dilatation volumique)
(2.5)
19
Finalement, la nullit de la dissipation intrinsque dans toute volution dun milieu lastique
isotrope scrit :
BIII
B
B
B
B 2
G
B
B
D
0 = BIII BIII f + (BI f + BI BII f )B BII f
: D, D
(2.6)
2 0
|
{z
}
T symtrique
0 = T : D,
D
D
(2.7)
Le tenseur symtrique T est donc soit une fonction de D , soit nul. Or, en lasticit, le tenseur
des contraintes de Cauchy est une fonction dtat [df. 1.3 p. 13], le tenseur T est donc une
fonction dtat qui ne peut tre fonction du tenseur des taux de dformation D . Il est donc nul.
On en dduit le rsultat suivant :
On vrifie aisment avec lquation (2.8) quen lasticit isotrope, le tenseur des contraintes et
le tenseur de dformation B ont les mmes directions propres. Il en est de mme avec tous les
tenseurs de dformation eulriens car ils ont tous les mmes directions propres.
Autre expression En utilisant lidentit de Cayley-Hamilton :
B 3 BI B 2 + BII B BIII G = 0
B 2 BI B + BII G BIII B 1 = 0
2
B est inversible)
(B
B = BI B BII G + BIII B
on peut prsenter la loi de comportement lastique isotrope (2.8) sous une autre forme :
2 0
=
(BII BII fB + BIII BIII fB ) G + BI fB B BIII BII fB B 1
BIII
Pour complter la modlisation du milieu continu lastique isotrope il suffit donc de donB
ner lexpression de lnergie libre de Helmholtz f en fonction des variables dtat scalaires (T, BI , BII , BIII ). Cette fonction dtat est caractristique du milieu solide lastique envisag
(acier, lastomre, verre, etc.). Cette expression devrait tre physiquement motive.
Remarque Dans la construction de la loi de comportement mcanique prcdente (ainsi que dans
celles donnes la section suivante), on a fait le choix arbitraire de prendre comme variables dtat
rduites les invariants fondamentaux des tenseurs de dformation. Dans la construction effective de
modles de comportement lastique isotrope, ce choix nest en gnral pas pertinent car la signification
physique des invariants fondamentaux des tenseurs de dformation nest pas toujours claire. On sait
de la thorie des fonctions isotropes que lon peut construire diverses listes dinvariants dun tenseur
20
On montre en cinmatique (8) que les drives particulaires des invariants fondamentaux du
tenseur de dformation V scrivent :
VI = V : D ;
V 2) : D
VII = (VI V V
VIII = VIII G : D
(2.9)
Kv = VIII
(dilatation volumique)
En cinmatique, le calcul des drives particulaires des invariants du tenseur de dformation V est un peu plus
compliqu que celui des drives particulaires des invariants du tenseur de dformation B . Voir la note 6 [p. 17].
21
(2.10)
Comme prcdemment, le tenseur T tant une fonction dtat, il ne peut tre fonction de D ; il
est donc nul.
V 2 VI V +VII G VIII V 1 = 0
2
V = VI V VII G +VIII V
V est inversible)
(V
on peut prsenter la loi de comportement mcanique (2.11) sous une forme diffrente :
0
=
(VII VII fV +VIII VIII fV ) G + VI fV V VIII VII fV V 1
VIII
Remarque On peut aussi bien retrouver la loi de comportement mcanique avec le tenseur de
dformation V donne en (2.11) partir de la loi avec le tenseur de dformation B [q. (2.8) p. 19],
en effectuant le changement de tenseur B = V 2 et les changements dinvariants suivants :
BI = VI2 2VII
2
BIII = VIII
On montre en cinmatique (9) que les drives particulaires des invariants fondamentaux du
tenseur de dformation M sont :
M I = G : D
(9)
M) : D
M II = (MI G M
M 2) : D
M III = (MII G MI M +M
(2.12)
Bien que ces rsultats paraissent aussi simples que les drives particulaires des invariants de B et V , leur
dmonstration est nettement plus complique. Voir la note 6 [p. 17].
22
:D
Kv = eMI
(dilatation volumique)
G = F F
F > G
G
v = V G
Comme le tenseur de dformation M , le tenseur de dformation v est nul quand il ny a
pas de dformation. Ses valeurs propres iv = i 1 sont les allongements relatifs (10) dans
les directions matrielles principales actuelles de dformation. Lallongement relatif dans une
1
direction matrielle actuelle ut quelconque est : Kl 1 = k(G
1.
G+ v )1 uut k
Plutt que de refaire le raisonnement partir de la nullit de la dissipation intrinsque, on se
propose ici de chercher lexpression de la loi de comportement lastique isotrope avec le tenseur
de dformation v par transformation algbrique partir de la loi de comportement avec le
tenseur V .
De la dfinition de v , on dduit aisment les relations entre les invariants suivantes :
(10)
VI = 3 + Iv
VII = 3 + 2 Iv + IIv
v
VIII = 1 + Iv + IIv + III
Iv = 3 +VI
v
III
= 1 +VI VII +VIII
`t `0
`0
`t
`0
1 quand `0 0.
23
v
fV (T,VI ,VII ,VIII ) = f (T, Iv , IIv , III
)
v
VI fV = Iv f VI Iv + IIv f VI IIv + IIIv f VI III
v
v
VII fV = Iv f VII Iv + IIv f VII IIv + IIIv f VII III
v
v
VIII fV = Iv f VIII Iv + IIv f VIII IIv + IIIv f VIII III
= Iv f 2 IIv f + IIIv f
v
= 0 + IIv f IIIv f
= 0 + 0 + IIIv f
= 0
v
III
v
f G + 0
v f IIIv f
G + 2 v + ( v )2 )
0 II v
v (G
1 + I + IIv + III
En regroupant les termes, il vient
= K0 G + K1 v + K2 ( v )2
(2.13)
avec :
v
v ) v f
v f + Iv IIv f + (IIv + III
III
K0 = 0 I
v
v
v
1 + I + II + III
v
v f (1 Iv ) IIv f Iv IIIv f
K1 = 0 I
v
1 + Iv + IIv + III
v
(coefficient de G )
(coefficient de v )
v f IIIv f
K2 = 0 II v
v
1 + I + IIv + III
(coefficient de ( v )2 )
Remarque Il convient de bien noter que contrairement au tenseur des petites perturbations (11) ,
lutilisation du tenseur de dformation v nest soumise aucune restriction ni sur les dformations ni
sur les mouvements. Cette loi de comportement est videmment encore valable quand les dformations
sont petites .
2.3.4 Conclusion sur les lois lastiques avec un tenseur de dformation objectif
Bien que dexpressions diffrentes, les formes gnrales de loi de comportement mcanique de
milieux continus lastiques isotropes prsentes prcdemment sont strictement quivalentes :
elles expriment toutes que la loi de comportement mcanique dun solide lastique isotrope est
(11)
Le tenseur des petites perturbations est dfini en cinmatique par = sym gradL u o u est le champ des
dplacements u = xt xx0 . Voir le rappel en 4.1 [p. 55]
24
U R
R>
V = R U
L R
R>
M = R L
1
B G
G) = R E
E R
R>
(B
2
(2.14)
o R Q3+ est un champ de rotations actuelles, non objectif, issu de la dcomposition polaire (
U = V R
R.
gauche ou droite) du gradient de la transformation actuelle F (12) : F = R U
On dduit aisment des relations (2.14) que les invariants et les valeurs propres des tenseurs de
B G
G)
dformation B et C sont identiques. Il en est de mme pour V et U , pour M et L , pour 21 (B
C G
G) et enfin pour u = U G
G et v = V G
G. Les expressions de lnergie libre de
et E = 12 (C
Helmholtz en fonction des invariant fondamentaux de ces tenseurs sont donc les mmes pour ces
couples de tenseurs :
fC fB
fU fV
fL fM
f f
En revanche, les directions propres des tenseurs de dformation lagrangiens sont celles des
tenseurs de dformation eulriens tournes par la rotation R > .
(12)
25
R
C
R
R
C
f
G
+
(
f
+C
f
)C
f
C
(2.15)
=
III
C
C
I
C
C
III
I
II
II
| {z }
CIII
R
R est un tenseur du second ordre symtrique non objectif qui peut ventuellement
o = R >
tre appel tenseur des contraintes tourn par R > .
De mme, le lecteur vrifiera aisment partir de la loi de comportement crite avec le tenseur
de dformation V [q. (2.11) p. 21], que la loi de comportement lastique isotrope avec le tenseur
de dformation U scrit :
= R>
R
R = 0 UIII UIII fU G + (UI fU +UI UII fU )U
U UII fU U 2
(2.16)
UIII
On laisse le soin au lecteur de passer de la mme manire de la loi de comportement mcanique
avec le tenseur de dformation M [th. 2.5 p. 22] celle avec le tenseur de dformation L .
C G
G)
Utilisation du tenseur de dformation E = 12 (C
Lutilisation du tenseur de dformation lagrangien E est encore trs populaire car il est
lorigine du traditionnel et historique tenseur des petites perturbations (13) . On peut dduire
algbriquement la loi de comportement avec le tenseur de dformation E partir de la loi de
comportement avec le tenseur C de la manire suivante :
Les relations entre les invariants fondamentaux de C et E sont :
E CI = 3 + 2 EI
C = G + 2E
CII = 3 + 4 EI + 4 EII
CIII = 1 + 2 EI + 4 EII + 8 EIII
1
1
1
EI = (3 +CI ) EII = (3 2CI +CII ) EIII = (1 +CI CII +CIII )
2
4
8
Puisque m = fC (T,CI ,CII ,CIII ) = fE (T, EI , EII , EIII ), on en dduit :
CI fC = EI fE CI EI + EII fE CI EII + EIII fE CI EIII
CII fC = EI fE CII EI + EII fE CII EII + EIII fE CII EIII
CIII fC = EI fE CIII EI + EII fE CIII EII + EIII fE CIII EIII
1
1
1
EI fE EII fE + EIII fE
2
2
8
1
1
E
= 0 + EII f EIII fE
4
8
1
= 0 + 0 + EIII fE
8
26
il vient :
1
1
1
1
1
G + 2E
E)
EI fE EII fE + EIII fE + (3 + 2 EI ) ( EII fE EIII fE ) (G
2
2
8
4
8
1
1
G + 2E
E )2
EII fE EIII fE (G
4
8
Aprs simplification, il reste :
1 + 2 EI + 4 EII + 8 EIII
= EI fE + EI EII fE + (EII + 2EIII ) EIII fE G +
0
2 EI fE + (2 EI 1) EII fE EI EIII fE E + 2 EII fE + EIII fE E 2 (2.17)
R
R.
o 1 + 2 EI + 4 EII + 8 EIII = Kv est la dilatation volumique actuelle et o = R >
Second tenseur des contraintes de Piola-Kirchhoff
R
R, les auteurs qui utilisent les tenseurs de dforPlutt que dintroduire le tenseur = R >
(14)
mation lagrangiens
introduisent un autre tenseur : le second tenseur des contraintes de
Piola-Kirchhoff (15) , qui est symtrique mais dont linterprtation physique est pour le moins
obscure. Il est dfini par lune des expressions suivantes :
U
U 1 = detF
F U 1 R
R>
R
R U
U 1 = detF
F F 1
F
F T
S = Kv U 1
(2.18)
On obtient alors de nouvelles formes de la loi de comportement mcanique des milieux continus
lastiques isotropes avec les tenseurs de dformation lagrangiens.
Par exemple, en utilisant la dfinition (2.18), la loi de comportement avec le tenseur de
dformation C [q. (2.15) p. 25] devient :
G CII fC C
S = 2 0 CIII CIII fC C 1 + (CI fC +CI CII fC )G
que lon peut encore transformer avec lidentit de Cayley-Hamilton : CIII C 1 = C 2 CI C +CII G .
De mme, partir de la loi de comportement avec le tenseur de dformation E [q. (2.17) p. 26],
il vient :
S = 0 EI fE + EI EII fE + (EII + 2EIII ) EIII fE U 2 +
1 2
U G
G) U
U 1 +
2 EI fE + (2 EI 1) EII fE EI EIII fE U 1 (U
2
1 2
U G )2 U
U 1
2 EII fE + EIII fE U 1 (U
4
Aprs utilisation de lidentit de Cayley-Hamilton et simplification, il reste :
S = 0 (EI fE + EI EII fE + EII EIII fE ) G (EII fE + EI EIII fE ) E + EIII fE E 2
(2.19)
(14)
Et plus particulirement le tenseur F , non symtrique, non objectif et de valeur orthogonale indtermine quand
il ny a pas de dformation.
(15) Dautres tenseurs des contraintes artificiels sont introduits dans dautres contextes : = K (dans lexpression
v
lagrangienne de la conservation de lnergie) et = F > (dans lexpression lagrangienne de lquation de
.
mouvement) [note 3 p. 3]. Le tenseur introduit ici est S = F 1
27
1
EI2 + 2 (EI2 2EII )
2 0
(2.20)
Lnergie libre de Helmholtz est alors appele nergie de dformation souvent note W .
28
E=
k2 1
1
C G
G) =
(C
e 1 ee1
2
2
k2 1
( + 2 )ee1 ee1 + e 2 ee2 + e 3 ee3
2
1
k2 1
F> =
k ( + 2 )ee1 ee1 + e 2 ee2 + e 3 ee3
F SS F
F
detF
2
k
k
On constate que pour de grandes contractions uniaxiales dans la direction e 1 , cest--dire quand
k 0, la contrainte 11 tend vers 0. Le comportement en grande compression uniaxiale de cette loi
de comportement lastique isotrope parat bien peu physique.
(2.21)
En utilisant la loi de comportement avec le tenseur de dformation C [q. (2.15) p. 25], la loi de
comportement mcanique serait :
2 a 0
C R
R>
=
R C
CIII
C = G et CIII = 1), la contrainte de Cauchy vaut 2 a 0 G .
Remarque Sil ny a pas de dformation (C
1
0
k (1
+ 2k + 3k 3)
k=1
Le choix de ce triplet de variables dtat rduites est lgitime car on montre en algbre tensorielle lquivalence
(complique) entre les triplets {VI ,VII ,VIII } et {1 > 2 > 3 } [note 1 p. 3].
29
s 3 o s
Remarque Le terme BI BIII3 a une interprtation cinmatique : BI BIII3 = 3 max
max est la
distorsion strique maximale actuelle dans la dformation. Le premier terme de fB traduit donc une
nergie de distorsion, nulle dans toute dformation sphrique. En revanche, la signification cinmatique du second terme est obscure, il est aussi nul dans toute dformation sphrique. Par consquent,
dans ce modle, les dformations sphriques ne font donc pas varier lnergie de dformation. On
ajoute parfois un terme f pour pallier cet inconvnient.
(2.22)
2.4.5 Conclusion
La liste de modles lastiques isotropes qui prcde nest pas exhaustive ; le lecteur pourra en
trouver quantit dautres dans la littrature spcialise ou dans les codes de calcul. Il est important
(18) Les expressions des valeurs propres classes en fonction des invariants dun tenseur sont donnes en annexe du
cours Algbre et analyse tensorielle pour ltude des milieux continus, du mme auteur [note 1 p. 3].
(19) Certains auteurs remplacent les invariants de B par les invariants (gaux) de C . Dans la loi de comportement
dduite [q. (2.22)], il faut alors remplacer B par C et par
30
de noter que, linstar des quelques modles voqus dans cette section, beaucoup de propositions
dexpressions dnergie libre massique de Helmholtz (appele nergie de dformation quand
la temprature est ignore) en fonction des variables dtat sont des expressions polynomiales
le plus souvent suggres pour des raisons calculatoires et nont pas toujours de motivation
physique claire.
Pour construire des modles de comportement, il est prfrable de construire des expressions
de fonctions dtat physiquement raisonnes (on donne un exemple de construction de modle
lastique isotrope dans le chapitre 3 [p. 39]) plutt que de prendre des fonctions polynomiales
plus ou moins arbitraires des invariants fondamentaux (ou des valeurs propres) des tenseurs
de dformation, qui risquent de conduire des comportements physiquement peu vraisemblables.
Zone de liaisons interatomiques dsordonnes la jonction entre deux monocristaux dorientation cristalline
diffrente.
31
Soit une particule o les dilatations liniques principales actuelles (cest--dire les valeurs
propres des tenseurs de dformation V ou U ) sont 1 > 2 > 3 > 0 ; en cinmatique des milieux
continus [note 2 p. 3], on dfinit deux sortes de distorsions :
1. La distorsion angulaire maximale de deux directions matrielles initialement orthogonales en
une particule est :
a max = Max
1 1 1 3
= ( + )>1
sin t
2 3 1
(2.23)
On montre en cinmatique que dans le cas gnral (1 6= 3 ), ce maximum est atteint pour un
couple unique de directions matrielles initialement orthogonales.
2. La distorsion strique maximale de trois directions matrielles initialement orthogonales en
une particule est :
3
1
3 2
s max = Max
=
(1 + 22 + 32 ) 2 Kv1 > 1
|[uut ,uut0 ,uut00 ]|
9
o Kv = 1 2 3
(2.24)
On montre en cinmatique que le maximum est atteint pour une infinit de triplets de directions
matrielles initialement orthogonales.
32
Puisque dans un milieu continu isotrope on ignore par dfinition les orientations du tenseur
de dformation par rapport la matire, il est naturel de fixer une borne suprieure une
distorsion maximale (angulaire ou strique) de la dformation actuelle pour garantir quaucun
rarrangement de liaison ne se produit. Cette limite devrait tre fonction de la temprature.
33
3
3
3
3
V 2) 2
3 (12 + 22 + 32 ) 2
3 tr(V
3 (VI2 2VII ) 2
3 BI 2
s max =
=
=
=
9
Kv
9
VIII
9
VIII
9 BIII 12
Le critre de limite lastique scrit donc :
s max 6 s lim (T ) o s lim (T ) est caractristique du matriau lastique isotrope.
En revanche, lexpression de la distorsion strique maximale en fonction des invariants du tenseur
de dformation M donne lieu une expression plus complique [note 21 p. 32] :
3
3
3 (12 + 22 + 32 ) 2
3 (e2 m1 + e2 m2 + e2 m3 ) 2
=
s max =
9
Kv
9
eMI
2.5.5 Limitation de lnergie interne de distorsion
Toute dformation peut tre interprte de manire unique comme la composition commutative
dune dformation sphrique et dune dformation isovolume (24) . On peut choisir comme critre
de limite lastique une borne suprieure pour la part dnergie interne due la dformation
isovolume :
m
m
em
isov 6 elim (T ) o elim (T ) est caractristique du matriau lastique isotrope.
Remarque pour les lecteurs initis llasticit de Hooke Cest cette dmarche de dcomposition de lnergie interne (25) qui est utilise en lasticit classique de Hooke pour prsenter le critre
de limite lastique de Von Mises (limitation de lnergie de dformation isovolume).
Ce type de critre en nergie ne peut tre explicit que lorsque lon connat lexpression de
X ) en fonction des variables dtat, cest--dire quand le
lnergie interne massique em = fe (T,X
modle de comportement du matriau est compltement dfini, contrairement aux deux critres
prcdents (section 2.5.3 [p. 32] et section 2.5.4 [p. 33]) qui sont des limitations purement
cinmatiques (elle ne portent que sur les dformations actuelles, cest--dire sur ltat actuel de
la particule), indpendamment de lexpression des fonctions dtat en fonction de la temprature
et de la dformation, et donc de lexpression de la loi de comportement mcanique.
(23)
Le fait quil existe une infinit de tels triplets augmente les chances que lun dentre eux concide ou presque
avec des directions critiques des microstructures.
(24) La dmonstration de cette affirmation est donne dans le cours Cinmatique des milieux continus, du mme
auteur [note 2 p. 3].
(25) Lnergie interne est appele nergie de dformation dans les volutions isothermes.
34
Et mme parfois inventer des concepts mcaniques pour des raisons numriques ! Voir la remarque Drives
objectives p. 36.
35
de sollicitation progressifs qui voluent en fonction dun temps fictif jusqu la sollicitation
dsire. Cette volution idale fictive est appele quasi-statique. Pour la rsolution des problmes
instationnaires (on les appelle aussi transitoires), le temps est rel. Quand on utilise cette mthode
de rsolution numrique, on est amen crire une loi de comportement tangente en chaque
instant (fictif ou rel) dune volution.
Toutes les lois de comportement mcanique tablies en utilisant un tenseur de dformation
objectif X choisi parmi B , V , M , v ou autre scrivent sous la forme suivante :
= K0 G + K1 X + K2 X 2
o K0 , K1 et K2 sont des fonctions dtat connues des variables dtat (T, XI , XII , XIII ).
La drive particulaire (temps fictif ou rel) du tenseur des contraintes scrit donc :
X +X
X X )
= K 0 G + K 1 X + K1 X + K 2 X 2 + K2 (X X
(2.25)
(2.26)
36
(2.28)
X , cette relation ne
Bien que ressemblant la loi de comportement linaire = (T ) XI G + K1 (T )X
peut pas tre prise comme loi de comportement lastique isotrope isotherme. En effet, si une loi de
comportement lastique linaire pour un certain choix de tenseur de dformation implique bien une
relation linaire de la mme forme entre les drives particulaires et X , la rciproque est fausse (29) :
lquation (2.28), drive temporelle de la loi de comportement linaire, ne garantit aucunement
la nullit de la dissipation intrinsque. Cest cette erreur qui a pu conduire, dans le pass, certains
auteurs proposer des lois de comportement isothermes dites hypolastiques de la forme (2.28)
qui ne sont pas thermodynamiquement admissibles (30) . On en trouve encore la trace dans beaucoup
de codes de calcul spcialiss dans la mcanique des solides dformables.
e = (Q
Qt Q
Qt Q
Qt Q
Qt ) : K
K
Les drives particulaires et X sont des grandeurs tensorielles du second ordre non objece on a toujours la relation :
tives (31) , mais pour un observateur R,
2
e : Xe
e = (T K0 G + T K1 Xe + T K2 Xe ) T + K
Cette relation montre au passage que lon peut sans inconvnients considrer dans un calcul des
drives particulaires de tenseurs ( on suit la particule dans son mouvement ) non objectives,
tout en crivant une relation universelle (cest--dire la mme relation pour tous les observateurs)
entre ces drives particulaires non objectives.
Drives objectives Pour tenter dcrire des lois tangentes dexpression plus simple (mais
inexactes) que lquation (2.25) [p. 35] ou lquation (2.26) [p. 35], certains auteurs nomment
drive objective certains groupements de termes apparaissant dans leurs calculs. Par exemple la
drive particulaire du tenseur de dformation B peut scrire (32) :
D +W
W ) B
B +B
B (D
D W
W ) = (D
D B
B +B
B D
D) + (W
W B
B B
B W
W)
B = (D
|
{z
}
J
o D est le tenseur des taux de dformation (objectif) et o W est le tenseur tourbillon (non objectif).
B +B
B D
D = B +B
B W
W W
W B
B est objectif. Le groupement
Il est facile de vrifier que le terme J = D B
(29)
Une relation drive nest pas quivalente la relation dont elle drive.
Pour une preuve, voir par exemple : On the conditions of potentiality in finite elasticity and hypoelasticity, Arkady
I. Leonov, International journal of solids and structures, vol.37 (2000), 2565-2576.
(31) Seules les drives particulaires des grandeurs objectives scalaires sont des grandeurs scalaires objectives. Voir
le cours Cinmatique des milieux continus, du mme auteur [note 2 p. 3].
(32) Voir le cours Cinmatique des milieux continus, du mme auteur [note 2 p. 3].
(30)
2.7 En bref...
37
2.7 En bref...
Les variables dtat dun milieu continu lastique isotrope sont la temprature absolue et un
tenseur de dformation objectif, dfinissant la dformation par rapport une forme de rfrence
considre par dfinition comme non dforme. Le choix de la forme de rfrence est sous
la responsabilit du scientifique ou de lingnieur qui fait ltude. En revanche, le choix dun
tenseur de dformation objectif plutt quun autre pour mesurer les dformations (dilatations,
distorsions, etc.) est sans importance fondamentale. Dans un expos thorique minimal de
llasticit, lutilisation du seul tenseur de dformation B est suffisante et est la plus conomique
en calculs.
La nullit de la dissipation intrinsque en tout point de lespace des tats et tout instant de toute
volution partir de cet tat, conduit la forme gnrale des lois de comportement mcanique
des milieux lastiques isotropes. Son expression change suivant le tenseur choisi pour mesurer
les dformations.
Le comportement lastique isotrope dun matriau est compltement dfini lorsque lon connat
lexpression de lune des fonctions dtat nergie interne massique f e , entropie massique f s ou
nergie libre de Helmholtz massique f en fonction des variables dtat rduites (T, XI , XII , XIII )
ou tout autre ensemble de variables dtat quivalent ayant des significations physiques plus
claires ; les deux autres fonctions dtat sen dduisent avec la dfinition de lnergie libre de
Helmholtz et la relation de Helmholtz.
(33) Voir larticle Drivation temporelle des tenseurs du second ordre symtriques, J. Garrigues (2010), dpos sur
http://hal.archives-ouvertes.fr/hal-00492230, pages 8-9.
(34) Le plus souvent, elles ne sont appliques quau tenseur des contraintes de Cauchy ; curieusement, on nvoque
que rarement des drives objectives de tenseurs de dformation.
(35) On rappelle que le tenseur R nest pas une rotation locale de la matire, de mme que le tenseur W nest pas une
vitesse de rotation locale de la matire. Voir le cours Cinmatique des milieux continus, du mme auteur [note2 p. 3].
(36) Luniversalit des lois est souvent appele principe dindiffrence matrielle .
38
Le comportement lastique isotrope des solides rels est gnralement limit : des distorsions
ou des dilatations liniques trop importantes provoquent des rarrangements ou des ruptures
de liaisons dans la structure microscopique, qui conduisent un comportement inlastique.
On a propos quelques critres macroscopiques pour donner des limites au comportement
lastique.
3
Construction dun modle
lastique isotrope
3.1 Dmarche gnrale
Comme on la vu dans le chapitre prcdent, la modlisation du comportement lastique isotrope
dun matriau est complte lorsque lon connat lexpression de la fonction dtat nergie libre
massique de Helmholtz m = f (T, XI , XII , XIII ), o (XI , XII , XIII ) sont les invariants fondamentaux dun tenseur de dformation. Cette expression est caractristique de chaque matriau et doit
donc se baser sur un minimum dexprimentations.
Ayant choisi un tenseur de dformation, on pourra alors utiliser lune des formes gnrales de
lois de comportement mcanique donnes avec le tenseur de dformation B [q. (2.8) p. 19] ou
dautres tenseurs de dformation [section 2.3 p. 20].
Par ailleurs, on rappelle que le choix du triplet dinvariants (XI , XII , XIII ) reprsentant le tenseur
de dformation actuel nest pas le seul choix possible (1) . On se rserve la possibilit de le
remplacer par un autre ensemble dinvariants de significations physiques plus claires, permettant
de construire ainsi des expressions des fonctions dtat physiquement motives. dfaut de
toute hypothse, lespace des tats dun milieu lastique isotrope est a priori de dimension 4.
Dans ce chapitre, on va construire un modle de comportement lastique isotrope dont le nombre
de variables dtat scalaires est seulement 3, plus facile identifier.
Les variables dtat scalaires dun modle lastique isotrope sont la temprature T et un triplet
dinvariants scalaires associs au tenseur de dformation B . Dans la section 2.2.4 [p. 18], les va(1)
Voir le cours Algbre et analyse tensorielle pour ltude des milieux continus, du mme auteur [note 1 p. 3]
40
riables dtat scalaires utilises taient les invariants fondamentaux du tenseur de dformation B :
BI , BII et BIII . Linterprtation physique du dterminant BIII est claire : BIII = Kv 2 o Kv > 0 est
la dilatation volumique. En revanche, la signification cinmatique des deux autres invariants
nest pas cinmatiquement vidente.
On a montr en cinmatique que toute dformation peut tre vue comme une composition
commutative et unique dune dformation sphrique et dune dformation isovolume (2) . On
rappelle que cette composition scrit :
1
V = (Kv3 G ) (Kv 3 V )
| {z } | {z }
V sph
V isov
B = V 2 = (Kv3 G ) (Kv 3 B )
| {z } | {z }
B sph
(3.1)
B isov
La partie de dformation isovolume B isov est de dterminant unit. Elle est donc a priori reprsente par deux invariants.
Hypothse 3.1 Dans le modle de comportement lastique construit ici, on suppose que
la dformation isovolume nest caractrise que par un seul invariant : la distorsion strique
maximale, dont la dfinition est :
3
3
3 (12 + 22 + 32 ) 2
3 BI 2
s
max =
>1
(3.2)
=
9
1 2 3
9 BIII 21
o les i sont les dilatations liniques principales.
Rappels La distorsion strique maximale dune dformation est le maximum de linverse du produit mixte actuel de trois directions matrielles initialement orthogonales. Elle est toujours suprieure
ou gale 1. Dans une dformation donne, il existe une infinit de directions matrielles initialement
orthogonales dont la distorsion strique est la distorsion strique maximale. La cinmatique garantit
que si, dans une dformation, la distorsion strique maximale vaut 1, alors la dformation est purement
sphrique.
En faisant cette hypothse, on dcide que toutes les dformations isovolumes ayant la mme
s . Autrement dit,
distorsion strique maximale sont reprsentes par la seule variable dtat max
dans ce modle, on ne veut pas distinguer deux tats qui auraient la mme temprature, la mme
dformation sphrique et des dformations isovolumes diffrentes mais de mme distorsion
strique maximale.
s
Notation 3.2 Dans la suite de ce chapitre, la distorsion strique maximale max
dun tenseur
de dformation sera note plus simplement .
La liste des variables dtat indpendantes scalaires choisies pour ce modle de comportement
lastique isotrope est donc (T, Kv , ) et les fonctions dtat sont des fonctions de ces seules trois
variables dtat. Les relations entre les deux systmes dinvariants sont :
3
2
1
2
3 BI 2
Kv = BIII 2 ; =
BIII = Kv2 ; BI = 3 Kv 3 3
1
9 BIII 2
En particulier, lnergie libre massique de Helmholtz scrit :
m = fB (T, BI , BII , BIII ) = f (T, Kv , )
(2)
41
2
1 1
= 0 + 0 + 3 Kv 3 f
2
= 0+0+0
1
1
= 0 + Kv 1 Kv f Kv 2 f
2
2
K1 = 0 3 Kv 3 f
K2 = 0
Remarque Le choix de caractriser la dformation par les deux seules grandeurs scalaires objectives et cinmatiquemant significatives Kv (dilatation volumique) et (distorsion strique maximale),
la place des trois invariants (BI , BII , BIII ) conduit K2 = 0 (on ignore linfluence de linvariant BII ).
La loi de comportement mcanique dun milieu lastique isotrope sous lhypothse 3.1 [p. 40]
est donc :
1
= 0 (Kv f Kv 1 f ) G + 0 3 Kv 3 f B
o m = f (T, Kv , ).
(3.4)
42
un chemin particulier dans lespace des tats qui passe de ltat de rfrence E0 = (T0 , 1, 1) un
tat actuel quelconque Et = (T, Kv , ) de la manire suivante :
C (1)
C (2)
C (3)
(3.5)
Dans chacune des volutions lmentaires C (1) , C (2) et C (3) , une seule variable dtat varie :
1. Lvolution C (1) est une variation de temprature de T0 T sans dformation (Kv = 1, K v = 0,
= 1 et = 0). La seule variable dtat qui volue est la temprature T . La variation de
lnergie libre massique de Helmholtz le long de ce chemin nest donc fonction que de la
temprature :
1m 0 = g(1) (T )
(3.6)
Lnergie libre massique de Helmholtz dun tat quelconque peut donc scrire sous la forme (4) :
m = f (T, Kv , ) = g(1) (T ) + g(2) (T, Kv ) + g(3) (T, Kv , )
(3.7)
g(2) (T, 1) = 0, T
g(3) (T, Kv , 1) = 0, T Kv
(3.8)
(3.9)
(3.10)
Les trois fonctions inconnues g(1) (T ), g(2) (T, Kv ) et g(3) (T, Kv , ) dterminent compltement le
comportement du milieu continu lastique isotrope.
(4) En cherchant directement une expression de lnergie libre massique plutt quune expression de lnergie interne
massique, les calculs sont considrablement simplifis par rapport la version prcdente de ce cours ; les rsultats
finaux sont nanmoins identiques.
43
= 0 (Kv f Kv 1 f ) G + 0 3 Kv 3 f B
|
{z
}
|
{z
}
K0
(3.11)
K1
1
1
(1) G nn = tr
(1) n
tr
3
3
On constate que la contrainte moyenne uniforme dans lprouvette est gale la contrainte normale
uniforme f s = f s n exerce sur la frontire. La contrainte moyenne uniforme est donc aussi la
(5)
44
On mesure la quantit massique de chaleur Qexp (T ) (en J.kg1 ) reue (7) par lprouvette pour
passer de T0 T . La conservation de lnergie entre les tats E0 et E1 scrit (dans lvolution C (1) ,
le travail reu est nul car la dformation est bloque) :
(1)
m
ext
(ecin
ecin ) + (em
+ Qexp (T )
1 e0 ) = W
| 1 {z 0 }
|{z}
|{z}
0
g(1) (T )T (T g(1) (T )+T g(2) (T, 1)+T g(3) (T, 1, 1)) = Qexp (T ) [q. (3.10) p. 42, q. (3.8) p. 42]
dont la solution est :
g(1) (T ) = T
Z T (1)
Qexp (T )
T0
T2
dT T
Z
T0
T g(2) (T, 1)
dT +
T
Z T
T g(3) (T, 1, 1)
T0
dT
Remarque Les fonctions g(2) et g(3) seront dtermines par des mesures dans les chemins suivants.
B = Kv3 G , = 1 et = 0) et
Dans lvolution C (2) , la dformation est purement sphrique (B
temprature constante (T = 0).
Tenseur des contraintes dans lvolution C (2)
Dans cette volution, la loi de comportement [q. (3.11) p. 43] montre que le tenseur des
contraintes est sphrique :
2
G = 0 Kv g(2) (T, Kv ) + Kv g(3) (T, Kv , 1) G
(2) = (K0 + Kv3 K2 )G
(2)
exp (T, Kv ) =
(2)
tr
= 0 Kv g(2) (T, Kv ) + Kv g(3) (T, Kv , 1)
3
Remarque Comme dans le chemin C (1) , la condition aux limites aux frontires dune prou(2)
vette implique que la contrainte moyenne exp (T, Kv ) uniforme dans lprouvette est gale la
contrainte normale uniforme exerce sur la frontire. Pour faire lexprience il suffit donc dexercer
(2)
une contrainte normale uniforme exp sur la frontire et observer les variations de la dilatation vo(2)
lumique Kv temprature constante. Lorsque exp < 0 on peut lassimiler laction sur la frontire
(7)
45
dun fluide non pesant sous pression. Exercer des tractions uniformes notables la frontire dun
solide dformable est exprimentalement plus difficile (8) .
1
0
Z Kv
(2)
(3)
u L = Kv 3 x 0 + Kv 3 x02 e 1
o x 0 = x01 e 1 + x02 e 2 + x03 e 3 est la position de rfrence dune particule et o Kv est la dilatation
volumique pralable issue du chemin C (2) et constante dans le chemin C (3) . Le lecteur en dduira
F > dans la base orthonorme
aisment que les composantes du tenseur de dformation B = F F
{ee1 ,ee2 ,ee3 } pour ce mouvement isovolume (de dilatation volumique initiale Kv ) sont :
[B ] = Kv
2
3
1 + 2 0
1 0
0
0 1
On vrifie bien que dans ce mouvement, lorsque le paramtre exprimental varie, la dilatation
volumique Kv ne varie pas car le dterminant de la matrice [B ] vaut Kv2 quel que soit . Par
ailleurs, dans ce mouvement, le tenseur de dformation est uniforme dans lprouvette car il
est indpendant des positions initiales x 0 . Dans ce mouvement, la distorsion strique maximale
(uniforme) est :
3
3
=
(3 + 2 ) 2 > 1
9
= 3
q
2
3 1
(3.12)
= 3
q
2
3 1
(8) Les thermodynamiciens, qui nenvisagent le plus souvent que des fluides, appellent cette exprience une mesure
de la compressibilit isotherme que lon devrait appeler dformabilit sphrique isotherme sans privilgier la
compression sphrique de lextension sphrique.
46
p 2
2
3p
3 2
3 3 1 0
2
[B ] = Kv 3 3 23 1
1
0
0
0
1
Tenseur des contraintes dans lvolution C (3)
La loi de comportement [q. (3.11) p. 43] montre que la contrainte tangentielle (3)1 2 dans cette
volution est :
1p 2
3 1 g(3)
0 3 3
(3)1 2 =
Kv
(3)
Dans cette exprience, on mesure la contrainte tangentielle exp (T, Kv, ) = (3)1 2 en fonction
de (et donc de ). La rsolution de cette quation diffrentielle en g(3) conduit :
g(3) (T, Kv, ) =
Kv
0 3
Z (3)
exp (T, Kv, )
1
p 2
d
3 1
3.4.4 Synthse
Lidentification complte dun modle de comportement lastique isotrope dont les variables
dtat sont (T, Kv , ) peut se ramener trois mesures exprimentales :
(1)
1. Qexp (T ) : mesure de la quantit de chaleur massique (J.kg1 ) change dans lvolution C (1)
(variation de temprature sans dformation), avec la condition :
(1)
Qexp (T0 ) = 0
(1)
2. exp (T, Kv ) : mesure de la contrainte moyenne dans lvolution C (2) (dformation sphrique
isotherme), avec la condition :
(2)
(1)
T
(1)
Remarque Cette condition dtermine la contrainte moyenne moy (T ), il tait donc inutile de
mesurer la contrainte moyenne dans lvolution C (1) .
(3)
3. exp (T, Kv , ) : mesure de la contrainte tangentielle dans lvolution C (3) , avec la condition :
(3)
T Kv
exp (T, Kv , 1) = 0,
g(1) ,
g(2)
Z T (1)
Qexp (T )
T2
T0
g(2) (T, Kv ) =
Z
1 Kv
dT
= T
Z T
(1)
T Qexp (T )
T0
(2)
Kv
g (T, Kv , ) =
0 3
(3)
Z (3)
exp (T, Kv , )
1
p 2
d
3 1
(1)
dT + Qexp (T ) (intgration par parties)
47
(1)
On en dduit lexpression des fonctions dtat en fonction des trois mesures exprimentales Qexp ,
(2)
(3)
exp et exp avec les formules donnes en (3.7), (3.9) et (3.10) [p. 42]. Aprs simplification on
obtient :
m
= T
Z T
(1)
T Qexp
T2
T0
sm =
Z T
(1)
T Qexp
T0
(1)
em = Qexp +
K0 =
(2)
exp +
1
0
1
0
dT
Z Kv
1
dT +
0
Z Kv
1
(2)
Z Kv
(2)
exp
Kv
dKv +
0 3
(2)
T exp dKv
(2)
Z (3)
(3)
exp + Kv Kv exp
p 2
1
3 3 1
Z
1
(3)
exp
p 2
d
1
3 3 1
(3)
Kv
0 3
Kv
0 3
Z (3)
(3)
exp T T exp
T exp
p 2
d
1
3 3 1
(3.13)
(3.14)
p 2
d
3 1
(3.15)
(3)
3 exp
d p 2
3 3 1
(3.16)
(3)
exp
K1 =
2 p 2
3 Kv3 3 1
(3.17)
tr
1
(2)
= exp (T, Kv ) +
3
3
Z (3)
(3)
exp (T, Kv , ) + Kv Kv exp (T, Kv , )
1
p 2
3 1
On constate que, dans ce modle dlasticit isotrope trois variables dtat (T, Kv , ), la
contrainte moyenne dans un tat quelconque est a priori une fonction de la contrainte tangentielle
(3)
exp mesure durant le chemin C (3) . Autrement dit, mme si on fait lexprience C (3) partir
(2)
de ltat initial (exp (T0 , 1) = 0, pas de dilatation volumique initiale), le tenseur des contraintes
engendr nest pas en gnral un dviateur. On peut construire un modle qui maintient constante
la contrainte moyenne le long du chemin C (3) :
(3)
(3)
exp + Kv Kv exp = 0
(3)
exp (T, Kv , ) =
exp 1 (T, )
Kv
(3.18)
(3)
Ainsi, si lon constate exprimentalement que la fonction exp (T, Kv , ) est de la forme (3.18), la
contribution de la dformation isovolume C (3) au tenseur des contraintes de Cauchy est purement
dviatorique. Sous lhypothse faculative 3.3, les coefficients de la loi de comportement (3.16)
et (3.17) [p. 47] deviennent :
2
K0 =
(2)
exp (T, Kv )
(3)
3 exp 1 (T, )
p 2
3 Kv 3 1
(3)
exp1 (T, )
p 2
K1 =
5
3 Kv 3 3 1
(3.19)
48
Kv
B1 + v Kv K2 K2 B B
B1 +
Kv K0 K0 G B
2
2
2
2
1
1
3
3
K
G
G
+
0
2
2 K2 B G + K2 G G
2 Kv3
2 Kv3
Les drives partielles des fonctions dtat K0 et K1 par rapport aux variables dtat de lquation
(2)
(3)
(3)
(3.19) ne peuvent tre dtermines compltement que quand les mesures exp et exp (ou exp1 ) ont
t effectues ou idalises [section 3.7 p. 51].
(2)
(3)
Les trois mesures Qexp , exp et exp thoriquement faites dans les conditions idales qui ont
t prcises en dbut de section 3.4 [p. 43] peuvent tre raisonnablement approches par des
expriences relles ou bien tre idalises par des expressions mathmatiques arbitraires mais
physiquement raisonnables. Cette dernire option est envisage en section 3.7 [p. 51].
3.6.1 Mouvement isovolume isotherme sans dilatation sphrique pralable (C (4) )
(3)
Dans cette exprience, on dtermine la fonction exp (T, 1, ), qui sera note (4) (T, ). Cette
exprience se ralise aisment avec le montage de la figure 3.1. Avec un tel montage, la cinmatique est trs proche de celle pose en section 3.4.3 [p. 45] (aux effets de bord prs sur les bords
libres (9) ). On peut donc considrer le tenseur de dformation isovolume comme pratiquement
uniforme dans lprouvette.
e2
plaque mobile
x02
plaque fixe
e1
F (4)
S
Ces effets de bord sont mis en vidence plus loin dans une illustration numrique [section 7.6 p. 103].
Pour relever chaque point de mesure, il faut donc attendre luniformisation des tempratures.
49
d (4)
h
(3)
exp (T, Kv , )
exp 1 (T, )
Kv
Lhypothse facultative 3.3 [p. 47] simplifie donc beaucoup lidentification du modle, mais elle
doit tre exprimentalement valide.
Remarques sur le vocabulaire Il naura pas chapp au lecteur averti que lauteur a jusquici
vit demployer le mot cisaillement . En effet, dans la littrature spcialise ce mot est employ
avec des significations diverses :
tantt ce mot a un sens cinmatique : il sagit dun mouvement dont le tenseur de dformation est
de la forme donne en section 3.4.3 [p. 45]. Dans ce sens cinmatique, ce mouvement isovolume
est aussi parfois appel glissement .
tantt ce mot a un sens sthnique : le tenseur des contraintes est un dviateur ou bien a une partie
dviatorique non nulle.
Ces deux notions ne sont pas quivalentes : en gnral, un mouvement de glissement (pas de
dilatation volumique) nengendre pas un tenseur des contraintes de trace nulle (dviatorique), sauf
si on fait lhypothse facultative 3.3 [p. 47]. Cette confusion courante provient dhabitudes prises
en lasticit de Hooke [section 4.2 p. 56] o un mouvement isovolume engendre un tenseur des
contraintes de trace nulle.
Dans ce modle envisag ici, on ne considre que des dformations sphriques et des dformations
isovolumes [q. (3.1) p. 40]. Le mouvement de cisaillement cinmatique (ou de glissement )
qui a t choisi pour faire varier la variable dtat nest quun cas particulier de dformation
isovolume (11) [hypothse 3.1 p. 40] ; en labsence dhypothse simplificatrice, dans un mouvement
isovolume la trace du tenseur des contraintes contraintes nest pas nulle.
Avec un peu de cinmatique, on peut montrer que toute dformation isovolume peut tre vue comme la composition (malheureusement non unique !) de deux glissements .
50
Une mesure directe de la quantit de chaleur massique Qexp dans lvolution C (1) (variation de
temprature sans dformation) est trs difficile raliser exprimentalement : il faut disposer
dune enceinte de confinement indformable et indilatable. On peut remplacer cette exprience
par une exprience de dilatation thermique contrainte nulle, que lon appelle aussi dilatation
libre, suivie dune dformation sphrique isotherme qui ramne la dilatation volumique Kv la
valeur 1.
Dans une dilatation libre (chemin C (5) ), le tenseur des contraintes est nul et reste nul. On mesure
(5)
(5)
la quantit de chaleur massique Qexp (T ) ainsi que la dilatation volumique (12) Kv exp (T ). La
condition de contrainte nulle conduit lquation :
(2)
(5)
T
(2)
(5)
Cette quation montre que les fonctions exp et Kv exp ne sont pas indpendantes. En crivant la conservation de lnergie pour cette volution entre ltat initial (T0 , 1, 1) et ltat di(5)
lat (T, Kv exp , 1), il vient :
(1)
Qexp (T )
(5)
Qexp (T )
1
0
Z Kv(5)
exp
(2)
1
(2)
exp (T, Kv ) T T exp (T, Kv ) dKv
(3.20)
(2)
Le tenseur de dformation B est lui aussi uniforme dans cette zone. Ses composantes dans une
base orthonorme {ee1 ,ee2 ,ee3 } sont de la forme :
2
1 0 0
[B(6) ] = 0 22 0
0 0 22
(12)
(3.21)
On peut aussi bien mesurer une dilatation linique Kl dans une direction. Le milieu tant isotrope, on a Kv = Kl3 .
51
Dans un essai de traction simple isotherme, on relve les deux courbes Fexp (1 ) et 2 (1 ). Les
dilatations liniques longitudinale 1 et transversale 2 sont donnes par des extensomtres. Le
tenseur des contraintes tant uniforme, on en dduit que la contrainte normale actuelle dans la
direction e 1 est :
(6)
exp =
F (6)
F (6)
= 2
St
2 S0
(3.22)
La dilatation volumique et la distorsion strique actuelles dans cet essai sont donc :
3
3 (12 + 2 22 ) 2
2
Kv = 1 2 ; =
9
1 22
(3.23)
On peut alors vrifier si la loi de comportement du modle, compltement identifie par les expriences prcdentes, est bien prdictive pour un essai de traction. Ces relation sont dexpression
complique (13) , mais sous lhypothse simplificatrice facultative 3.3 [p. 47], elles sont :
(3)
3
3 ( 2 +2 2 ) 2
1
2
2 (12 22 ) exp T,
9 1 22
(6)
(2)
2
r
exp = exp (T, 1 2 ) +
5
12 +2 22
3 (1 22 ) 3
2 3
2
(3)
(1 2 ) 3
3
3 (12 +2 22 ) 2
2
9 1 2
(12 22 ) exp T,
(2)
r
0 = exp (T, 1 22 )
5
12 +2 22
2
3 (1 2 ) 3
2 3
2
(contrainte de traction)
(contraintes transversales nulles)
(1 2 ) 3
3
3 ( 2 +2 2 ) 2
1
2
(12 22 ) exp T,
9 1 22
(6)
(2)
2
r
exp = 3 exp (T, 1 2 ) =
5
12 +2 22
(1 22 ) 3
2 3
2
(1 2 ) 3
(2)
(3)
o les fonctions exp et exp sont dtermines par les expriences prcdentes.
La simplicit exprimentale de lessai de traction en fait un essai courant, mais son exploitation
pour lidentification du matriau est complexe car, contrairement aux autres essais, les deux
variables dtat Kv et varient simultanment.
52
construction du modle de ce chapitre montre quil est possible de choisir arbitrairement ces trois
fonctions sans compromettre le caractre lastique isotrope du modle. Elles doivent nanmoins
satisfaire les conditions suivantes :
(1)
Qexp (T0 ) = 0
(3)
exp (T, Kv , 1) = 0,
T Kv
et ressembler des courbes exprimentales (les idalisations devraient tre suggres par
quelques expriences).
(3)
Par exemple, on peut imposer arbitrairement pour la fonction exp une proportionnalit en :
p 2
2
(T
)
2
(T
)
3 3 1
b (1 TT )
(3)
0
=
avec (T ) = 0 e
exp (T, Kv , ) =
Kv
Kv
Remarque Ce choix est de la forme donne dans lquation (3.18) [p. 47]. Il satisfait donc
lhypothse facultative 3.3 [p. 47] : la contribution dun mouvement isovolume au tenseur des
contraintes est de trace nulle.
On peut aussi poser arbitrairement pour la fonction exp (contrainte moyenne en dformation
sphrique isotherme) la forme suivante :
(2)
(1)
a (1 TT )
avec (T ) = 0 e
(1)
g [T, Kv ] =
a (1 TT )
0 e
(1 Kv + Kv ln Kv )
(5)
(5)
Si on remplace le chemin C (1) par une dilatation libre C (5) (on mesure donc Qexp (T ) et Kv exp (T ))
suivie dune compression sphrique isotherme pour ramener Kv la valeur 1, il vient :
(1)
a (1 TT )
(1)
(5)
exp = 0 e
(5)
ln Kv exp
Qexp (T ) = Qexp (T )
1
0
Z Kv(5)
exp
1
(compression isotherme)
(2)
(2)
exp (T, Kv ) T T exp (T, Kv ) dKv
(1)
Qexp (T ) = Qexp (T ) +
0 a (1 TT )
T
(5)
(5)
0
e
(1 + a ) 1 Kv exp (T ) + ln Kv exp (T ) +
0
T0
(5)
(5)
T (Kv exp (T ) 1)
T Kv exp (T )
(5)
Kv exp (T )
(3.24)
3.8 En bref...
53
(5)
Kv exp (T ) = 1 + c3 (T T0 )3
(1)
Enfin, on peut choisir arbitrairement une fonction simple de Qexp (T ) ou de Qexp (T ) (lautre se
trouvant dtermine par lquation de la conservation de lnergie (3.24) [p. 52]).
Le comportement dans un essai de traction simple isotherme se trouve alors compltement
dtermin. Pour justifier les choix arbitraires prcdents, on doit vrifier exprimentalement dans
une traction simple isotherme la temprature T0 les deux relations suivantes :
(6)
exp = 0 ln(1 22 ) +
4 0 12 22
3 (1 2 ) 53
2
et
0 = 0 ln(1 22 ) +
2 0 12 22
3 (1 2 ) 53
2
soit encore :
(6)
exp = 3 0 ln(1 22 ) = 2 0
12 22
5
(1 22 ) 3
Il est important de noter que les idalisations de courbes exprimentales prsentes dans cette
section ne sont que des exemples arbitraires qui nont aucune justification thorique. Elles ne
sont que physiquement vraisemblables et peuvent tre remplaces par dautres.
3.8 En bref...
Le modle lastique isotrope construit dans ce chapitre dcoule du choix des trois variables
dtat indpendantes suivantes :
1. T est la temprature absolue actuelle,
2. Kv est la dilatation volumique actuelle,
3. est la distorsion strique maximale actuelle.
La dimension de lespace des tats de ce modle lastique isotrope est donc 3 au lieu de 4 en
raison de lhypothse 3.1 [p. 40] qui rend nergtiquement quivalentes toutes les dformations
isovolumes des mme distorsion strique maximale. Il est possible de le simplifier encore en
supposant de plus quune dformation isovolume nengendre que des contraintes dviatoriques
(elle ne fait pas varier la contrainte moyenne).
Un tel modle peut tre compltement identifi par un petit nombre dexpriences idales :
(3)
1. un glissement isotherme dont on mesure la contrainte tangentielle exp (T, Kv , ) (ou bien
(3)
seulement exp 1 (T, ) si on fait lhypothse supplmentaire) ;
(2)
2. une dformation sphrique isotherme dont on mesure la contrainte moyenne exp (T, Kv ) ;
3. une variation de temprature dformation nulle dont on mesure la chaleur massique (J.kg1 )
(1)
(5)
change Qexp (T ) (ou bien contrainte nulle et on mesure la chaleur massique Qexp (T ) et la
dilatation thermique).
Ces expriences idales peuvent tre approches par des expriences relles.
Si lon idalise les mesures exprimentales avec des expressions mathmatiques physiquement
vraisemblables, on construit un modle de comportement lastique isotrope physiquement
vraisemblable, thermodynamiquement admissible et facile identifier.
4
Pseudo-lasticit de Hooke
De nos jours (2014), il nest pas encore possible de passer sous silence dans un cours dlasticit
la loi de Hooke en petites perturbations . Cette loi de comportement est prsente dans la
quasi-totalit des ouvrages traitant de llasticit lmentaire. On y consacre donc ce chapitre,
bien que les lois de comportement lastique isotrope prsentes dans les chapitres prcdents,
ntant soumises aucune condition sur les dformations, soient videmment toujours valables
quand les dformations sont petites.
Llasticit classique prsente dans tous les cours lmentaires est l lasticit linaire de
Hooke. Elle utilise comme mesure de dformation le tenseur des petites perturbations et son
application suppose le plus souvent que la temprature est uniforme dans lespace et constante
dans le temps. Dans ces cours, la loi de Hooke est propose a priori comme une relation linaire
entre le tenseur des contraintes de Cauchy et le tenseur des petites perturbations .
Puisque cette loi de comportement mcanique ne fait aucune rfrence lorientation du tenseur
des petites perturbations par rapport la position actuelle de directions matrielles danisotropie,
il sagit donc dun modle de comportement de matriau isotrope.
Dans ce chapitre, on va dune part, rappeler les restrictions cinmatiques impliques par le choix
de comme mesure des petites dformations et dautre part, montrer que cette lasticit nest
pas thermodynamiquement admissible, ce qui justifie le titre de ce chapitre.
Ce tenseur mane dune dgradation du tenseur des dformations lagrangien E , appel tenseur
de Green-Lagrange droit, qui a t tabli sans restrictions cinmatiques, ni sur le mouvement, ni
sur les dformations, et dont une dfinition est (1) :
E=
1
gradL u + gradTL u + gradTL u gradL u
2
(4.1)
o u (P,t) = xt (P) xx0 (P) est le champ de dplacement des particules. Lhypothse faite pour
aboutir la dfinition du tenseur des petites perturbations est la suivante :
Hypothse 4.1 On suppose que k gradL u k est un infiniment petit dordre 1, ce que lon notera
dans la suite k gradL u k 1.
(1)
56
Le terme gradTL u gradL u est alors un infiniment petit du second ordre que lon dcide arbitrairement de ngliger (pseudo-linarisation (2) en gradL u .). Dans ce cas, le tenseur E se rduit
et la norme des ces deux tenseurs est bien un infiniment petit dordre 1. On est donc bien dans le
cadre de petites dformations.
Toutefois, on oublie souvent de souligner que la condition k gradL u k 1 implique une restriction svre sur le mouvement (et pas seulement sur les dformations) du milieu continu
tudi : le mouvement des particules doit tre une quasi-translation de solide car le champ des
dplacements u (P,t) est quasi-uniforme. Si lhypothse k gradL u k 1 implique bien que les
dformations sont petites, la rciproque est fausse : des petites dformations nimpliquent pas
k gradL u k 1 : il faut de plus que le mouvement soit une quasi-translation. Le tenseur nest
une mesure acceptable des petites dformations que sous cette condition.
Cette restriction a deux consquences importantes :
1. Si le mouvement du milieu continu est proche dune rotation de solide indformable, les
dformations sont effectivement petites, mais le tenseur = sym gradL u nest pas apte
traduire correctement ces petites dformations car dans un tel mouvement k gradL u k nest
pas un infiniment petit.
2. Si la restriction du mouvement une quasi-translation de solide est vraie pour un certain
observateur, elle ne lest plus pour un autre observateur en mouvement par rapport au premier.
La dfinition du tenseur des petites perturbations nest donc pas universelle.
La locution, quelque peu vague, de petites perturbations signifie donc de manire prcise que
le mouvement du milieu continu, pour lobservateur utilis, est une quasi-translation (3) .
En dpit de cette restriction cinmatique svre sur les mouvements envisageables, lutilisation
du tenseur pour mesurer des petites dformations reste trs populaire (4) .
(4.2)
Cette relation linaire traduit bien un comportement isotrope (5) puisque lvaluation du tenseur des contraintes de Cauchy se fait sans rfrence lorientation du tenseur des petites
perturbations par rapport des directions matrielles particulires.
En prenant la trace de lquation (4.2), on obtient la relation :
= (2 + 3 ) tr
tr
(2)
Dans un processus correct de linarisation, on nglige les termes du second ordre devant 1. Or ici on nglige
les termes du second ordre en gradL u devant les termes du premier ordre en gradL u , ce qui est mathmatiquement
douteux !
(3) Par ailleurs, il faut noter que k grad u k 1 nimplique aucune restriction sur ku
uk : le mouvement de quasiL
translation peut tre aussi grand que lon veut ; les dplacements de quasi-translation nont pas tre petits .
(4) Cette mesure des petites dformations est mme parfois imprudemment utilise lorsque le champ de dplacement sloigne beaucoup dune quasi-translation, notamment en flexion et en torsion de solides lastiques minces.
Pratiquement, la condition k gradL u k 1 nest correctement satisfaite que dans un essai de traction.
(5) Mais pas ncessairement lastique, voir la section suivante.
57
1
G
tr
2
2 +3
E
E
et =
2 (1 + )
(1 + ) (1 2 )
E=
(3 + 2 )
et =
+
2 ( + )
Le coefficient E est appel module dYoung (en Pa) et le coefficient est appel coefficient de
Poisson (adimensionnel). Ces nouveaux coefficients sont souvent prfrs car ils sont facilement
interprtables dans un essai de traction isotherme :
le module dYoung E est le coefficient de proportionnalit entre la contrainte normale dans la
direction de traction (ee1 ) et lallongement relatif dans cette mme direction (11 = E 11 ) ;
Le coefficient de Poisson est loppos du rapport entre lallongement relatif transversal et
lallongement relatif longitudinal (22 = 33 = 11 ). On a toujours 1 < < 12 .
Avec ces nouveaux coefficients, la loi de Hooke isotherme scrit :
=
E
+
tr G
1+
12
1+
G
tr
E
E
(4.3)
Quand on veut tenir compte partiellement des effets thermiques (il existe une dilatation thermique
isotrope, mais les coefficients E, , et restent constants en fonction de la temprature), on
ajoute un terme de dilatation thermique sphrique la dformation :
=
1+
G + (T T0 )G
G
tr
{z
}
|
E
E
E
1+
dilat. therm.
+
E
G
tr G
(T T0 )G
12
1 2
o est un coefficient constant de dilatation thermique linique (en K1 ). On peut aussi bien
crire cette loi avec les coefficients de Lam :
1
G + (T T0 )G
G
tr
|
{z
}
2
2 +3
dilat. therm.
G
= 2 + tr G (3 + 2 ) (T T0 )G
(4.4)
58
1 + 2 EI + 4 EII + 8 EIII
= EI fE + EI EII fE + (EII + 2EIII ) EIII fE G +
0
2 EI fE + (2 EI 1) EII fE EI EIII fE E + 2 EII fE + EIII fE E 2
o :
1 + 2 I + 4 II + 8 III
= I f + I II f + (II + 2III ) III f G +
0
2 I f + (2 I 1) II f I III f + 2 II f + III f 2 (4.5)
Puisque k gradL u k 1 k k 1, la dilatation volumique Kv , aprs linarisation, scrit :
Kv =
p
p
1 + 2 I + 4 II + 8 III ' 1 + 2 I ' 1 + I
Par ailleurs, puisque le mouvement est restreint une quasi-translation, le champ tensoriel
orthogonal R est un champ de petites rotations que lon peut crire sous la forme (7) :
A
R ' G +A
Ak 1
o A est un tenseur antisymtrique tel que kA
Ak il vient :
En linarisant en kA
G A
A)
(G
G +A
A) = A
A
+
A
A A
A
A
A ' A
A
+
A
A = + 2 sym(
A
A)
' (G
Ak 1 impose par lutilisation du tenseur comme
Compte tenu de la condition cinmatique kA
mesure des dformations, la loi de comportement lastique isotrope [q. 4.5] se rduit :
1 + I
+ 2 sym(
A
A)) = I f + I II f + (II + 2III ) III f G +
(
0
2 I f + (2 I 1) II f I III f + 2 II f + III f 2
(6)
(7)
59
(4.6)
(4.7)
(4.8)
ln Kv + (1 I ) ln(1 + I )
(T T0 ) (3 + 2 ) ln Kv
I ln Kv
+
0 (1 I )
0 (1 I )
0 (1 I )
Le dtail des calculs est donn en annexe F page 146 dans une feuille calcul excutable dans M ATHEMATICAr
dans sa version 5.2.
(8)
60
On peut donc affirmer que, mme au prix de svres restrictions sur le mouvement (pour
lobservateur utilis) pour pouvoir confondre et , la loi de Hooke nest pas une loi de
comportement de solide lastique isotrope thermodynamiquement admissible car il nexiste pas
de fonction dtat nergie libre massique de Helmholtz qui garantisse la nullit de la dissipation
intrinsque (9) .
Une approximation supplmentaire courante mais incohrente Pour tenter de confrer malgr tout un caractre pseudo-lastique la loi de Hooke, on propose souvent lapproximation supplmentaire suivante pour simplifier les quations 4.7 et 4.8 [p. 59] :
' 0
(1 + I ) ' 1
(1 I ) ' 1
Cette approximation est argumente par le fait que les dformations sont petites. Cette approximation est mathmatiquement incompatible avec les approximations faites prcdemment : on ne peut
pas dire la fois que la dformation est un infiniment petit du premier ordre (petites dformations)
et un infiniment petit du second ordre (I nglig devant 1). Autrement dit, on ne peut pas affirmer
dans un mme calcul que la dilatation volumique vaut 1 et nanmoins affirmer ultrieurement que sa
valeur est 1 + I . Lincohrence mathmatique souligne ici a une interprtation physique : affirmer
la fois que = 0 et quil existe nanmoins une dilatation volumique est une violation du principe
de la conservation de masse (10) . Les calculs qui suivent vont donc ncessairement reflter cette
incohrence.
Si, en dpit de cette incohrence, on continue les calculs avec ' 0 , le systme diffrentiel (4.6)
(4.7) (4.8) [p. 59] se simplifie et devient :
0 = 2 II f + III f
2 = 0 2 I f + (2 I 1) II f I III f
I (3 + 2 ) (T T0 ) = 0 I f + I II f + (II + 2III ) III f
(coeff. de 2 )
(coeff. de )
(coeff. de G )
(3 + 2 )
(1 + 2 I 2 ln Kv ) + I ln Kv
(T T0 ) ln Kv
2 0
0
0
(4.9)
En fait, quelles que soient les restrictions de mouvement (valables pour un certain observateur), il tait sans
espoir de chercher tablir une relation linaire universelle entre un tenseur objectif et un tenseur non objectif .
(10) On rappelle que le principe de la conservation conservation de la masse implique la relation 0 = K . Voir le
v
cours Equations gnrales des milieux continus, du mme auteur [note 3 p. 3].
(11) Le dtail des calculs est donn en annexe F page 149 dans une feuille calcul excutable dans M ATHEMATICA r
dans sa version 5.2.
61
G = F F
F T G
G
v = V G
Comme pour le tenseur des petites perturbations , le tenseur de dformation v est nul lorsquil
ny a pas de dformation ; mais son utilisation comme mesure des dformations nimplique
aucune restriction ni sur le mouvement ni sur les dformations. Comme pour le tenseur des
petites perturbations , ses valeurs propres iv = i 1 sont les allongements relatifs dans les
directions principales actuelles de dformation. En revanche, lallongement relatif dans une
direction matrielle actuelle ut quelconque est :
Kl 1 =
1
1
G + v )1 uut k
k(G
Cas des petites dformations Si les dformations sont petites, on pose k v k 1 (noter quici, il
ny a aucune restriction sur le mouvement : k gradL u k nest pas contraint). En linarisant (12) en v ,
on trouve Kv ' 1 + Iv ; la dilatation volumique relative en une particule est donc :
Kv 1 ' Iv = tr v
De mme lallongement relatif linaris dans une direction matrielle actuelle quelconque ut est :
Kl 1 =
1
1 ' ut v uut
G + v )1 uut k
k(G
avec :
v
v ) v f
Iv f + Iv IIv f + (IIv + III
III
K0 = 0
v
1 + Iv + IIv + III
v
v f (1 Iv ) IIv f Iv IIIv f
K1 = 0 I
v
1 + Iv + IIv + III
v
(coefficient de G )
(coefficient de v )
v f IIIv f
K2 = 0 II v
v
1 + I + IIv + III
(12)
(coefficient de v 2 )
Ces linarisations sont faites dans le cours Cinmatique des milieux continus, du mme auteur [note 2 p. 3].
62
On peut chercher sil existe une loi de comportement linaire = f ( v ) semblable la loi de
Hooke donne en (4.4) page 57. Si une telle loi existe, la fonction dtat nergie libre massique
v
de Helmholtz f doit satisfaire le systme diffrentiel suivant :
v
Iv (3
v ) v f
v f + Iv IIv f + (IIv + III
III
+ 2 ) (T T0 ) = K0 = 0 I
v
v
v
1 + I + II + III
v
v f (1 Iv ) IIv f Iv IIIv f
2 = K1 = 0 I
v
1 + Iv + IIv + III
v
IIv f IIIv f
0 = K2 = 0
v
1 + Iv + IIv + III
La solution gnrale de ce systme diffrentiel est (13) :
v
f =
v v
v
v
I (I + 2 (IIv + III
)) + (Iv 2 2 (IIv + III
))
2 0
0
v )
(3 + 2 ) (Iv + IIv + III
+ f (T ) (4.10)
0
Avec cette expression de lnergie libre massique, la loi de comportement en dformations finies
est semblable la loi de Hooke nonce en dbut de chapitre, mais en remplaant par v :
= 2 v + tr v G (3 + 2 ) (T T0 ) G
(4.11)
Cette loi de comportement mcanique est a fortiori encore vraie pour des petites dformations
quand k v k 1. Avec la substitution v , toutes les formules et interprtations de la section
4.2 [p. 56] restent valables (14) .
nergie libre en petites dformations En petites dformations, en ngligeant les infiniment petits
dordre 3 devant les termes dordre 1 dans lexpression de lnergie libre (4.10), on obtient une
expression simplifie de lnergie libre massique de Helmholtz :
m '
v2 v2
v2
I + (I 2 IIv ) + f (T ) =
+
tr( v v ) + f (T )
2 0
0
2 0 I
0
Il est important de noter que la seule motivation qui a conduit lexpression de lnergie libre
massique de Helmholtz (4.10) ntait que dobtenir une loi de comportement linaire en v
[q. (4.11)] ressemblant la traditionnelle loi de Hooke. On peut prfrer des motivations plus
physiques dans la construction des fonctions dtat dun modle lastique isotrope (en particulier,
v nest pas claire).
la signification cinmatique des variables dtat IIv et III
63
avec
2
K0 =
(2)
exp (T, Kv )
(3)
(3)
3 exp 1 (T, )
p 2
3 Kv 3 1
exp1 (T, )
K2 =
5 p 2
3 Kv3 3 1
o :
(2)
exp (T, Kv ) est la contrainte moyenne dans une exprience de dformation sphrique temprature constante T ; cette fonction doit tre croissante en Kv et nulle pour Kv = 1 ;
(3)
exp 1 (T, ) est la contrainte tengentielle dans un essai de cisaillement cinmatique (glissement)
la temprature
p 2 constante T et sans dformation sphrique pralable ; elle doit tre croissante
en = 3 3 1 et nulle pour = 0 (ou = 1).
On rappelle que par construction, quelles que soient ces deux courbes exprimentales, le modle
construit est un modle de comportement lastique isotrope thermodynamiquement admissible.
On rappelle enfin que la dilatation volumique est :
G + v )
Kv = VIII = det(G
et que la distorsion strique maximale est
3
3
V 2) 2
G + v )2 ) 2
3 tr(V
3 tr((G
=
=
G + v )
9
VIII
9 det(G
Puisque lon cherche tablir une loi de comportement restreinte aux petites dformations
(2)
(3)
(k v k 1), on ramne la description des fonctions exprimentales exp (T, Kv ) et exp 1 (T, )
leur linarisation au voisinage dun mouvement rigide : Kv voisin de 1 et voisin de 0. On pose
donc :
(2)
G + v ) 1)
exp (T, Kv ) ' 0 (T ) (Kv 1) = 0 (T ) (det(G
q
2
(3)
exp 1 (T, ) ' 0 (T ) = 0 (T ) 3 3 1
(4.12)
(4.13)
(T ) 3
G + ) 1) 0
K0 = 0 (T ) (det(G
G + v )
det(G
G + v )2 )
(T ) tr((G
G + v ) 1) 0
= 0 (T ) (det(G
5
3 det(G
G + v ) 3
v
K2 =
0 (T )
5
G + v ) 3
det(G
64
En linarisant correctement (on nglige les termes du second ordre devant 1), il vient :
G + v )2 ' (K0 + K2 ) G + 2 K2 v
= K0 G + K2 (G
o :
v
G + ) 1) +
K0 + K2 = 0 (T ) (det(G
G + v )2 )
0 (T ) 3 tr((G
5
G + v ) 3
3 det(G
v
2 0 (T ) Iv
2 0 (T ) I
5
v
'
(T
)
(1 Iv )
' 0 (T ) Iv
0
I
5 v
3
3
3 (1 + 3 I )
2 0 (T )
5
2 0 (T )
' 2 0 (T ) (1 Iv )
2 K2 =
5 '
5
v
3
1 + 3 I
G + v ) 3
det(G
4.6 En bref...
Lutilisation du tenseur des petites perturbations pour mesurer les petites dformations implique
de svres restrictions sur les mouvements envisageables : quasi-translation (k gradL u k 1) et
' ) par lobservateur utilis pour observer le mouvement. De plus, si ces
trs petites rotations (
restrictions sur le mouvement sont acceptables pour un observateur, elles ne le sont gnralement
pas pour un autre. Enfin, la loi de Hooke classiquement prsente en lasticit lmentaire et
utilisant le tenseur des petites perturbations nest pas une loi lastique thermodynamiquement
admissible.
On peut construire un modle de comportement lastique isotrope linaire en v thermodynamiquement admissible ressemblant la loi de Hooke historique et sans restriction ni sur les
dformations ni sur le mouvement. Cette loi est videmment valable pour les petites dformations,
mais la construction des fonctions dtat est physiquement peu justifie.
La particularisation dune loi de comportement lastique isotrope au voisinage dun mouvement
rigide ne conduit pas ncessairement une loi de comportement linaire.
Toutefois, les restrictions cinmatiques inhrentes lutilisation de la loi de Hooke traditionnelle
ninvalident pas ncessairement tous les calculs faits avec cette thorie : les rsultats sont
corrects si les restrictions cinmatiques sont valides pour lobservateur utilis pour observer le
mouvement.
Lauteur reconnat humblement avoir supprim trop vite des termes en (Iv )2 dans les calculs de linarisation
dans la version prcdente du cours.
(15)
4.6 En bref...
65
On peut esprer que si les logiciels venir (16) calculent correctement les problmes dlasticit
isotrope en dformations finies avec des modles de comportement thermodynamiquement
admissibles construits avec des fonctions dtat physiquement motives, il feront a fortiori des
calculs corrects aux endroits o les dformations sont petites sans que lon ait besoin de leur
prciser.
(16)
5
lasticit isotrope transverse
Dans ce chapitre on tablit la forme gnrale de la loi de comportement des solides lastiques
isotropes transverses, cest--dire anisotropes une seule direction danisotropie en chaque
particule. Ce modle convient bien pour modliser macroscopiquement des milieux fibreux
(la direction danisotropie est celle de la fibre) ou bien des milieux lamellaires (la direction
danisotropie est la normale aux lamelles, les lamelles tant isotropes dans leur plan).
B2 :N
Nt
I2B =B
B nnt = B : N t et I2B = nt B
B2 nnt = B 2 : N t traduisent dune certaine
Les invariants croiss I1B = nt B
manire lorientation actuelle de la direction danisotropie N t par rapport aux directions propres
(1)
Ce choix est sans importance fondamentale : la conversion des formules avec dautres tenseurs de dformation
nest quune question dalgbre.
(2) La formule de changement dobservateur des directions matrielles actuelles n est celle des vecteurs objectifs, il
t
en est de mme pour le tenseur N t . Voir le cours Cinmatique des milieux continus, du mme auteur [note 2 p. 3].
(3) Cest une consquence du thorme des fonctions isotropres. Voir le cours Algbre et analyse tensorielle pour les
milieux continus, du mme auteur [note 1 p. 3].
68
actuelles du tenseur de dformation B . La dimension de lespace des tats dun milieu continu
solide isotrope transverse est donc au plus 6.
Les drives particulaires des invariants fondamentaux BI , BII et BIII sont [q. (2.5) p. 18] :
B :D
B I = 2B
B2 ) : D ;
B II = 2 (BI B B
B III = 2 BIII G : D
(5.1)
On montre en annexe [q. (A.5) et (A.6) p. 109] que les drives particulaires des invariants
croiss I1B et I2B scrivent :
N t B
B) : D 2 I1B (N
N t : D)
I1B = 4 sym(N
B
2
B
N t B
B ) : D 2 I2 N t : D + 2 (B
B N
N t B
B) : D
I2 = 4 sym(N
(5.2)
(5.3)
Comme toute drive particulaire dune grandeur scalaire objective, ces drives particulaires
sont des grandeurs scalaires objectives (4) .
(5.4)
+ : D = 0
5.2.1 Relation de Helmholtz
La dissipation intrinsque doit tre nulle en tout tat, cest--dire (T, BI , BII , BIII , I1B , I2B ) et pour
D. La fonction dtat (T f + sm ) ne
toute volution partir de cet tat, cest--dire T D
pouvant tre fonction de T , elle ne peut tre que nulle. On en dduit la relation de Helmholtz
pour les milieux lastiques isotropes transverses (5) :
sm = fsB = T fB
T T fs T fe = 0
(5.5)
(4) Sil lui semble ncessaire, le lecteur pourra vrifier aisment cette objectivit en utilisant les formules de
changement dobservateur des tenseurs objectifs du second ordre B , D et N t .
(5) Voir la remarque p. 18.
69
0 .
BIII
D
0 = T : D D
Le tenseur des contraintes tant une fonction dtat [df. 1.3 p. 13], le tenseur du second
ordre symtrique T est aussi une fonction dtat. Il nest donc pas fonction de D . On en dduit
que T = 0. La loi de comportement dun milieu isotrope transverse est donc :
2 0
=
BIII BIII fB G + (BI fB + BI BII fB ) B BII fB B 2 +
BIII
2 0
B +B
B N
N t I1B N t + I B fB N t B
B N
N t B
B
B2 +B
B2 N
N t I2B N t +B
I1B fB N t B
(5.6)
2
|
{z
}
{z
}
|
BIII
N t B
B)
2 sym(N
N t B
B2 )
2 sym(N
Le premier terme est identique la loi de comportement lastique isotrope (2.8) [p. 19] et le
second terme, qui fait intervenir les drives I1B fB et I2B fB et les quatre tenseurs symtriques
B N
N t ), sym(B
B2 N
N t ), N t et B N
N t B
B, est la correction due lanisotropie.
sym(B
Remarque Si lnergie libre de Helmholtz nest pas fonction des invariants croiss I1B et I2B , on
retrouve la loi de comportement lastique isotrope [q. (2.8) p. 19].
Le comportement dun solide lastique isotrope transverse est donc compltement dtermin
ds lors que lon connat lexpression de lnergie libre massique de Helmholtz en fonction des
variables dtat :
m = fB (T, BI , BII , BIII , I1B , I2B )
o I1B = B : N t
et I B2 = B 2 : N t
Remarque Toute expression de lnergie libre massique de Helmholtz en fonction des variables
dtat T, BI , BII , BIII , I1B , I2B est a priori une expression valide conduisant une loi de comportement
lastique isotrope transverse thermodynamiquement admissible. Toutefois, afin dviter de construire
des comportements exotiques, il est judicieux de changer la liste des variables dtats en une autre
liste (ventuellement plus rduite) dont linterprtation cinmatique des termes est plus claire, afin de
construire une expression des fonctions dtat (nergie libre de Helmholtz, nergie interne ou entropie)
physiquement raisonne. Pour tablir ces expressions en fonction de rsultats exprimentaux, on peut
suivre une mthode similaire celle expose dans lexemple de construction dun modle lastique
isotrope au chapitre 3 [p. 39].
70
F nn0
F nn0 k
kF
n0 =
F 1 nnt
F 1 nnt k
kF
Ces relations devraient tre utiles aux exprimentateurs. Elles leur permettent de dterminer la
direction actuelle danisotropie quand lprouvette est soumise une dformation en fonction de
la direction initiale danisotropie avant dformation.
Remarques Dans beaucoup douvrages traitant danisotropie, les directions danisotropie sont
considres comme fixes quand on soumet des prouvettes une dformation. Cette approximation
peut tre acceptable dans certaines conditions dessais, mais ces conditions sont rarement prcises :
il faut que la dviation des directions matrielles dans le mouvement impos dans lessai puisse tre
considre comme ngligeable.
Notamment, certains milieux continus sont qualifis dorthotropes quand ils possdent deux directions
danisotropie initialement orthogonales. Sauf peut-tre dans certaines dformations particulires
prciser, les directions danisotropie ne restent pas orthogonales en gnral.
V 2 + (VIII VI VII )V
V +VI VIII G (Cayley-Hamilton)
B 2 = V 4 = (VI2 VII )V
I1B = B : N t = V 2 : N t = I2V
2
BIII = VIII
o on a pos : I1V = V : N t et I2V = V 2 : N t . Lnergie libre massique avec les nouvelles variables
dtat rduites scrit :
m = fB (T, BI , BII , BIII , I1B , I2B ) = fV (T,VI ,VII ,VIII , I1V , I2V )
(6)
Ces relations sont dmontres dans le cours Cinmatique des milieux continus, du mme auteur [note 2 p. 3].
71
= T fB + 0 + 0 + 0 + 0 + 0
VI fV = T fB VI T + BI fB VI BI + BII fB VI BII + BIII fB VI BIII + I B fB VI I1B + I B fB VI I2B
1
2
= 0 + 2 VI BI fB 2 VIII BII fB + 0 + 0 + (2 VI I2V VII I1V +VIII ) I B fB
2
VII fV = T fB VII T + BI fB VII BI + BII fB VII BII + BIII fB VII BIII + I B fB VII I1B + I B fB VII I2B
1
VIII fV = T fB VIII T + BI fB VIII BI + BII fB VIII BII + BIII fB VIII BIII + I B fB VIII I1B + I B fB VIII I2B
1
= 0 + 0 + 0 + 0 + 0 + (VIII VI VII ) I B fB
2
= 0 + 0 + 0 + 0 + I B fB + (VI2 VII ) I B fB
1
2
2
VIII
VI VII VIII 1
VIII (VI VII VIII )
On vrifie aisment que si lnergie libre de Helmholtz nest pas fonction des invariants croiss
I1V et I2V (IV fV = 0 et IV fV = 0), alors on retrouve bien la loi de comportement lastique
1
2
isotrope avec le tenseur de dformation V donne en (2.11) [p. 21].
Remarque Le terme VI VII VIII dans les dnominateurs est toujours positif. En effet, son expression en fonction des valeurs propres de V est :
VI VII VIII = (1 + 2 ) (2 + 3 ) (3 + 1 ) > 0
La loi de comportement lastique isotrope transverse avec le tenseur V apparat moins maniable
que celle avec le tenseur B .
5.2.5 Loi lastique isotrope transverse avec le tenseur v
En premire lecture, on peut ignorer cette sous-section et continuer en section 5.3 page 73. Pour
se conformer des habitudes prises dans les cours lmentaires dlasticit, on va changer une
nouvelle fois de tenseur de dformation en utilisant le tenseur de dformation objectif dfini par
v = V G (on rappelle quil est nul pour un mouvement rigide et que son lutilisation nest
72
soumise aucune restriction ni sur les dformations ni sur le mouvement). Les variables dtat
v , v : N , v2 : N ) quon notera (T , v , v , v , I v , I v ) et on
sont maintenant : (T , Iv , IIv , III
t
t
I
II III 1
2
pose :
v
v
m = fB (T , BI , BII , BIII , I1B , I2B ) = f (T , Iv , IIv , III
, I1 , I2 )
v , I , I )
o les Ki sont des fonctions compliques des f et des variables dtat (T , Iv , IIv , III
1
2
quil est inutile de reporter ici [feuille de calcul G p. 157]. Comme prcdemment, on constate
v
v
bien que si I v f = 0 et I v f = 0, on retrouve la loi de comportement lastique isotrope
1
2
avec v donne en (4.11) [p. 62]. Cette loi de comportement (sans restrictions ni sur les dformations ni sur le mouvement) apparat encore moins commode dutilisation que celle avec le
tenseur de dformation V .
Remarque On peut tre tent de chercher sil existe une loi de comportement lastique isotrope
transverse linaire en v , similaire celle que lon a trouv en lasticit isotrope [q. (4.11) p. 62].
v
v , I v , I v ) telle que K = K = K = 0. La
On cherche donc sil existe une fonction f (T, Iv , IIv , III
4
5
6
2
v 1
v
rponse est ngative car ces conditions conduisent I v f = 0 et I v f = 0, ce qui donnerait une
1
2
loi de comportement isotrope [feuille de calcul G p. 157]. Il nexiste donc pas de loi de comportement
v
mcanique lastique isotrope transverse linaire en en dformations finies.
Petites dformations Les lois de comportement lastique isotrope transverse prcdentes (en B ,
V ou v ) sont videmment valables en petites dformations. Certains auteurs prsentent a priori (8)
une loi de comportement lastique isotrope transverse linarise de la manire suivante :
N t +N
N t v )
' K00 G + K10 N t + K20 v + K30 ( v N
o K00 et K10 sont les linarisations au second ordre prs au voisinage dun mouvement rigide des
coefficients K0 , K1 , et o K20 et K30 sont des constantes (valeurs de K2 et K3 pour un mouvement
rigide) :
K00 = (Iv K0 )(T, 0, 0, 0, 0, 0) Iv + (I1 v K0 )(T, 0, 0, 0, 0, 0) I1
|
{z
}
|
{z
}
0 (T )
0 (T )
1 (T )
1 (T )
K20
= K2 (T, 0, 0, 0, 0, 0) = 2 (T )
K30 = K3 (T, 0, 0, 0, 0, 0) = 3 (T )
La loi de comportement lastique isotrope transverse en petites dformations serait donc de la forme :
v
N t +N
N t v )
= (0 Iv + 0 I1 ) G + (1 Iv + 1 I1 ) N t + 2 v + 3 ( v N
(7)
(5.7)
Le dtail des calculs est donn dans la feuille de calcul G [p. 157].
Le plus souvent sans vrifier sil existe une fonction dtat nergie libre de Helmholtz qui conduise une loi de
cette forme, cest--dire sans vrifier si cette loi est thermodynamiquement admissible.
(8)
73
o les coefficients i sont des fonctions de la temprature (ou bien souvent des constantes).
Dans une base orthonorme dont la direction 1 est nt , les composantes de sont (9) :
v
v
v
+ (0 + 1 ) 33
+ (0 + 1 ) 22
11 = 0 + 1 + 2 + 2 3 + 0 + 1 ) 11
v
v
v
+ 0 33
+ (0 + 2 ) 22
22 = (0 + 0 ) 11
v
v
v
+ (0 + 2 ) 33
+ 0 22
33 = (0 + 0 ) 11
v
23 = 2 23
v
31 = (2 + 3 ) 31
v
12 = (2 + 3 ) 12
Dans certains ouvrages, la loi (5.7) [p. 72] est prsente par les 6 relations prcdentes mises sous
une forme matricielle dite de Voigt (10) :
v
11
0 + 1 + 2 + 2 3 + 0 + 1 0 + 1 0 + 1 0
0
0
11
v
22
0
0
0
0
0
0
2
0
22
33
v
0 + 0
0
0 + 2 0
0
0
=
33
23
v
0
0
0
2
0
0
23
v
31
0
0
0
0 2 + 3
0 31
v
12
12
0
0
0
0
0
2 + 3
La prsence de zros dans cette matrice de rigidit nest due quau fait que les composantes
des tenseurs v et sont donnes dans une base orthonorme dont laxe 1 est la direction actuelle
danisotropie, alors que la relation tensorielle (5.7) [p. 72] est valable dans toute base.
Si, de plus, on restreint les mouvements envisageables des quasi-translations pour un certain
Ak 1 [hypothse 4.2 p. 59]), alors on
observateur ( petites perturbations , k gradL u k 1 et kA
vrifie aisment que les dviations des directions matrielles sont nulles au second ordre prs. Sous
ces restrictions, on a n0 ' nt et on peut remplacer v par . Les termes de la matrice de rigidit
sont alors interprtables comme des modules dYoung et des coefficients de Poisson pour des tractions
simples dans la direction danisotropie et dans les directions transverses [q. (4.3) p. 57].
th =
qE
gradE T > 0
TE
gradE T,
q E gradE T 6 0
Il est thermodynamiquement admissible dutiliser la classique loi de Fourier, mais cette loi
de conduction thermique, ne faisant pas rfrence lorientation de gradE T par rapport la
direction danisotropie, est une loi de comportement thermique isotrope. Il est physiquement
plus vraisemblable denvisager une loi de conduction thermique isotrope transverse prvoyant
des conductions thermiques diffrentes dans la direction danisotropie et dans les directions qui
(9)
Dans cette base, les composantes de N t sont Nt11 = 1 et toutes les autres sont nulles.
6
Dans un expos thorique, la notation de Voigt pour reprsenter
les tenseurs symtriques par un vecteur de R
est peu recommandable car il faut multiplier artificiellement par 2 les composantes non diagonales (dans une base
orthonorme) pour que le produit scalaire de deux tenseurs du second ordre symtriques soit reprsent par le produit
scalaire de deux colonnes de R6 . On ne peut lui trouver dintrt quau moment o on crit une implmentation
informatique (conomie de mmoire pour stocker une matrice symtrique, mcanique numrique ).
(11) Voir le cours quations gnrales des milieux continus, du mme auteur [note 1 p. 3].
(10)
74
gtr
o :
g nt = (gradE T nnt )nnt est la partie du vecteur gradE T dans la direction danisotropie nt ;
gtr = gradE T (gradE T nnt )nnt est la partie du vecteur gradE T orthogonale la direction
danisotropie nt ;
1 (. . . ) est la conductivit thermique dans la direction danisotropie nt ; cette fonction peut
B), cest--dire de
tre constante (loi linaire) ou une fonction isotrope (12) positive de (T,ggnt ,B
tout ou partie des 6 invariants scalaires suivants :
B ggnt , g nt B
B2 ggnt )
(T , BI , BII , BIII , kggnt k , g nt B
2 (. . . ) est la conductivit thermique transverse ; cette fonction peut tre constante (loi linaire)
B), cest--dire de tout ou partie des 6 invariants
ou une fonction isotrope positive de (T,ggtr ,B
scalaires suivants :
B ggtr , gtr B
B2 ggtr )
(T , BI , BII , BIII , kggtr k , gtr B
a max =
Kl (nnt ) Ks (nnt )
1
=p
6 a lim
Kv
B : N t ) (B
B1 : N t )
(B
B : Nt
BI Kl (nnt )2
1
(2)
=
6 a lim
a max =
BI 1
2 Ks (nnt )
B : Nt
2 BIII
(2)
(1)
Lisotropie des fonctions 1 et 2 est ncessaire pour garantir luniversalit de la loi de conduction thermique.
5.5 En bref...
75
(critre isotrope)
Cette limitation limite videmment les maximums de distorsion angulaire particuliers prcdents.
6. Limitation de la distorsion strique de trois directions matrielles initialement orthogonales
dont lune est la direction danisotropie. On dmontre en annexe (D.3) [p. 119] que ce critre
conduit :
B K (nn )2 )
B : Nt
1
I
(2)
l t
s max = a max =
BI 1
=
6 s lim
B : Nt
2 Ks (nnt )
2 BIII
7. Limitation de la distorsion strique maximale de trois directions initialement orthogonales
quelle que soit leur orientation par rapport la direction danisotropie :
s
max
3 BI2
=
6 s lim
9
BIII
(critre isotrope)
5.5 En bref...
Llasticit isotrope transverse est le comportement lastique des milieux continus solides
dformables une seule direction danisotropie. Les variables dtat sont la temprature actuelle,
un tenseur de dformation actuelle objectif et une direction actuelle danisotropie. Elles se
ramnent donc au plus 6 variables dtat scalaires.
On peut crire la loi de comportement mcanique avec diffrents tenseurs de dformation. La loi
de comportement mcanique la plus maniable est celle crite avec le tenseur de dformation B.
Le comportement est compltement dtermin par la connaissance de lexpression dune fonction
dtat parmi lnergie libre massique de Helmholtz, lnergie interne massique ou lentropie
massique en fonction des variables dtat rduites. Les deux autres fonctions dtat sen dduisent
par la relation de Helmholtz et la dfinition de lnergie libre de Helmholtz.
La loi de conduction thermique devrait en principe tre aussi isotrope transverse. On en a propos
une forme gnrale identifier exprimentalement.
De mme quen lasticit isotrope, on peut proposer plusieurs critres de limite lastique limitant
des distorsions angulaires ou striques particulires ou non et/ou limitant des dilatations liniques
particulires ou non.
76
Il nest pas interdit denvisager des anisotropies plus complexes avec deux ou plus directions
danisotropie (tissages enrobs). La complexit des modles augmente rapidement avec le
nombre de directions danisotropie car le nombre de variables dtat scalaires objectives devient
de plus en plus grand (13) , ce qui rend leur identification exprimentale plus complexe.
(13)
Voir lannexe B du cours Algbre et analyse tensorielles pour ltude des milieux continus, du mme auteur
[note 1 p. 3].
6
Le problme lastique
6.1 nonc gnral
6.1.1 Solide dformable tudier
Le solide dformable tudier est un domaine matriel dont la forme initiale D0m est donne
une temprature uniforme T0 donne. En cas danisotropies, les champs des directions initiales
(i)
danisotropie N 0 (P) sont connus. Le choix de cette forme de rfrence pour les dformations
est sous la responsabilit de lingnieur qui fait ltude. Dans la suite, pour limiter les critures,
on choisit dcrire les quations en utilisant le tenseur de dformation objectif B .
6.1.2 Modle de comportement
On suppose que le comportement de la matire constituant le solide dformable tudier est
correctement modlis par un certain modle de comportement lastique (isotrope ou non) connu.
On connat donc :
1. La liste des variables dtat scalaires {T, I2 , , Im } retenues pour ce modle de comportement
lastique o les variables scalaires Ik sont des invariants cinmatiques objectifs calculs
partir de la variable dtat tensorielle objective dformation actuelle B et des ventuelles
(i)
directions actuelles danisotropie N t :
(i)
B,N
Nt )
Ik = fk (B
(exemples : I2 = Kv =
B
detB
B) 6 (B
B : N t ) 2 )
I4 = a = (detB
s
(exemple isotrope : em = fe (T, Kv , max
))
em = T em (T, I2 , , Im ) T + Ik em (T, I2 , , Im ) Ik
k=1
+ si anisotropie
78
(6.1)
o en cas danisotropies, les termes tensoriels supplmentaires sont de la forme :
(i)
KN (i) (T, I2 , , Im ) N t
N t(i) B
B
KBN (i)B (T, I2 , , Im ) B N
B N
N t(i) ) ;
KBN (i) (T, I2 , , Im ) sym(B
t
B2 N
N t(i) )
KB 2N (i) (T, I2 , , Im ) sym(B
t
F
F
kF
(i)
nn0
(i)
nn0 k
(i)
Nt =
F
F
kF
(i)
nn0
(i)
nn0 k
F
F
kF
(i)
nn0
(i)
nn0 k
(6.2)
(6.3)
F ) : N (i)
F > F
(F
0
F > F
F ) : N (i)
(F
0
(6.4)
(i)
(6.6)
Ces relations cinmatiques montrent que les valeurs actuelles des champs inconnus des variables
dtat scalaires actuelles I2 (P, T ), , Im (P, T ), de lnergie interne massique em (P, T ), de sa
drive particulaire em (P, T ), du tenseur des contraintes (P, T ) et du vecteur courant de chaleur q (P, T ) sont exprimables en fonction des seuls champs inconnus T (P,t) et xt (P,t) (ou bien
T (P,t) et u (P,t)), de leurs drives particulaires et de leur gradient lagrangien.
6.1.4 quations diffrentielles
Comme tout milieu continu, le domaine matriel dfini en section 6.1.1 [p. 77] doit satisfaire
aux quations diffrentielles issues des quatre principes fondamentaux de la physique classique (2) :
1. Le principe de la conservation de la masse. Localement, il sexprime scrit par lquation
diffrentielle dite quation de continuit :
D,
= trD
0 (P)
(P,t)
(6.7)
Voir le cours Cinmatique des milieux continus, du mme auteur [note 2 p. 3].
Voir le cours quations gnrales des milieux continus, du mme auteur [note 3 p. 3]
79
2. Le principe fondamental de la mcanique. Localement, il sexprime par lquation diffrentielle vectorielle dite quation de mouvement :
= divE + f m
0
K
[q. (6.7)] p. 78]
0 v
o :
B,N
N t(i) , I2 , , Im ) = f (T,uu) [q. (6.2) (6.6) p. 78]
= f (B
= x t = u (cinmatique)
(6.8)
3. Le principe de la conservation de lnergie. Localement, il sexprime par lquation diffrentielle scalaire dite quation de la chaleur :
v
em = : D + rext
divE q
1
[q. (6.7)] p. 78]
= 0 Kv
m
e = g(T, I2 , , Im ) = g(T,uu) [q. (6.2) (6.6) p. 78]
o :
(6.9)
80
thermiques : des tempratures imposes T s (K), ou des densits de flux thermiques imposes qs (W.m2 ), sur tout ou partie de la frontire.
Vocabulaire Une rgion de frontire temprature impose est souvent dite thermostate.
Une rgion de frontire densit de flux thermique impose nulle est appele adiabatique.
Dfinition 6.1 Condition aux limites de Dirichlet. Les conditions aux limites imposant
des valeurs aux frontires aux champs inconnus u (P,t) et T (P,t) (de type (a) et (b) ci-dessus)
sont appeles conditions aux limites de Dirichlet.
Dfinition 6.2 Condition aux limites de Neumann. Les conditions aux limites imposant
des valeurs aux drives normales aux frontires de fonctions des champs inconnus (de type
(c) et (d) ci-dessus) sont appeles conditions aux limites de Neumann.
En principe, il est interdit dimposer en un mme point N de la frontire la fois un dplacement et une contrainte dans la mme direction. De mme, il est interdit dimposer en un
mme point N de la frontire la fois une temprature et un flux thermique. Autrement dit,
on ne peut pas imposer en un point de la frontire la fois une condition de Dirichlet et une
condition de Neumann.
(4)
81
Remarques Bien que ces interdictions soient dorigine mathmatique, on peut les interprter
physiquement : si on exerce une contrainte f s (N,t) la frontire dun solide, il en rsulte un
dplacement qui sera dtermin par la valeur solution u (M,t) la frontire. Inversement, si on
impose un dplacement la frontire u s (N,t), la contrainte la frontire ncessaire pour obtenir ce
dplacement sera dtermine par la valeur de la solution (M,t) la frontire : f s (t) = (N,t) nnt .
On peut faire les mmes interprtations pour les conditions aux limites thermiques : la densit de
flux thermique ncessaire pour maintenir une temprature impose est dtermin par la valeur de
la solution q (M,t) la frontire qs = q (N,t) nnt , et la temprature de surface obtenue sous leffet
dune densit de flux thermique impos est dtermine par la valeur de la solution T (M,t) la
frontire.
Il peut aussi exister des conditions aux limites qui ne sont ni de type Dirichlet ni de type
Neumann, mais qui sexpriment sous la forme de relations :
entre le dplacement la frontire et la contrainte la frontire (appui lastique, contact
avec ou sans frottement, etc.)
entre la temprature la frontire et le flux thermique la frontire (pour modliser des
fuites thermiques aux frontires).
Dfinition 6.3 Conditions aux limites mixte. On appelle condition aux limites mixte une
relation impose la frontire entre la valeur dun champ inconnu et sa drive normale la
frontire.
Toutes les donnes prcdentes (forme initiale, temprature initiale, modle de comportement,
sollicitations extrieures distance et la frontire) dfinissent compltement le problme
lastique.
6.1.6 Synthse
Un problme dlasticit snonce donc ainsi :
Trouver les positions actuelles xt (P,t) (ou bien le champ des dplacements actuels u (P,t)) et le
champ de tempratures actuelles T (P,t) des particules P du solide dformable lastique quand
on le soumet des sollicitations extrieures (a priori fonction du temps).
Remarque La recherche du champ matriel des positions actuelles est quivalente la recherche
du champ matriel des dplacements : u (P,t) = x (P,t) x (P,t0 ). La quasi-totalit des logiciels
spcialiss en mcanique des solides sexpriment en terme de dplacements.
Le problme gnral est donc la fois un problme de dynamique (on cherche lvolution
temporelle des positions, cest- dire un mouvement) et un problme de thermique (on cherche
lvolution temporelle des tempratures). Cest donc un problme de thermodynamique des
solides lastiques (5) et les sollicitations extrieures sont a priori fonction du temps.
Dans certains cas, on ne cherche pas toute lvolution temporelle, mais seulement un tat
final statique (6) sans vouloir connatre lvolution qui y conduit depuis ltat initial. Dans
ce cas, les quations se simplifient : on cherche une solution dans laquelle toutes les drives
particulaires (en particulier les vitesses et les acclrations) sont nulles et la temprature finale y
est uniforme et constante dans le temps. Cest alors un problme de thermostatique des solides
(5)
Lquation de mouvement et lquation de la chaleur montrent que les aspects dynamique et thermique sont
coupls. La sparation artificielle que lon fait parfois entre ces deux disciplines provient de ce que lon fait des
hypothses simplificatrices (parfois abusives) pour dcoupler les quations : la dynamique suppose les tempratures
uniformes et/ou constantes dans le temps, et la thermique suppose labsence de mouvement.
(6) Pour lobservateur utilis dans la description du mouvement.
82
lastiques. Dans ce problme, le temps ne joue aucun rle : il ny a pas de conditions initiales et
la description des sollicitations extrieures se rduit aux sollicitations extrieures finales. Dans
ce cas, les quations diffrentielles se rduisent :
0 = divE + f m
0
v
0 = rext
divE q
0 Kv1
= f (T,uu) ;
o : =
(6.10)
q = f q (T,uu)
Remarque Lvolution temporelle dun problme dlasticit ne conduit jamais une solution
statique finale, car en lasticit, la dissipation intrinsque est nulle et le mouvement ne samortit donc
jamais. Pour quune solution temporelle converge vers une solution statique finale, il faudrait utiliser
un modle de comportement dissipatif (donc non lastique). Pour trouver une solution statique finale,
il est toujours plus conomique de la chercher directement en annulant les drives particulaires dans
les quations de llasticit plutt que dintroduire une dissipation artificielle.
La rsolution dun problme dlasticit est donc la recherche des deux champs matriels u (P,t)
et T (P,t), dont on pourra dduire, avec les dfinitions cinmatiques [q. (6.2) (6.6) p. 78] et
les lois de comportement mcanique et thermique, toutes autres grandeurs utiles (dformations,
contraintes, courants de chaleur, fonctions dtat, etc.).
Le systme dquations diffrentielles de champs inconnus x(P,t) (ou bien u(P,t)) et T (P,t)
obtenu aprs les substitutions, est trs compliqu. Sa solution gnrale est rarement accessible
analytiquement, sauf pour quelques problmes acadmiques dans lesquels on fait des hypothses
simplificatrices fortes sur des solides de forme simple, ce qui te la plupart du temps tout intrt
pratique la solution trouve. En revanche, ces problmes acadmiques sont dun grand intrt
pdagogique, car ils illustrent la manipulation de tous les concepts cinmatiques, sthniques et
thermiques utiliss en mcanique des milieux continus.
Que la solution du systme diffrentiel soit analytiquement accessible ou non, on sait des
mathmatiques que la solution gnrale dun systme dquations diffrentielles nest pas
compltement dtermine. La dtermination complte de la solution du problme se fait laide
des conditions initiales et des conditions aux limites. Si une solution finale ne se trouve pas
compltement dtermine, cest gnralement parce que les conditions initiales ou les conditions
aux limites sont insuffisantes. Sil nexiste aucune solution satisfaisant toutes les conditions
aux limites, cest souvent parce que les conditions aux limites ou initiales sont en surnombre
ou incompatibles. Lintuition physique permet souvent de trouver les conditions manquantes
ou redondantes. Par ailleurs, les conditions aux limites influencent fortement la solution, elles
doivent donc modliser aussi fidlement que possible les actions du milieu extrieur sur le solide
dformable afin que la solution reflte correctement comportement rel.
Enfin, lexception des systmes dquations diffrentielles linaires (7) , aucun thorme ne
garantit lunicit de la solution. Seule lintuition physique (parfois trompeuse) peut faire esprer
une unicit.
Remarque Les solutions dun systme diffrentiel assorti de ses conditions aux limites peuvent
ne pas exister (8) , tre en nombre fini ou infini. De plus, elle peuvent aussi tre infiniment sensibles
aux conditions initiales ou aux limites, ce qui, dans ce cas pathologique, te tout intrt une
solution particulire puisque les conditions initiales ou aux limites sont ncessairement entaches
(7)
83
dincertitudes ; on peut toutefois prouver dans quelques cas lexistence dun ou plusieurs attracteurs
qui sont approchs asymptotiquement par les solutions quand t .
Dans la plupart des problmes industriels, une solution analytique est hors de porte. On ne peut
donc quesprer approcher une solution par des mthodes numriques.
Il est pourtant possible de calculer lincertitude du rsultat de chaque opration lmentaire en fonction de
lincertitude des oprandes. Chaque rsultat doit alors tre stock sous la forme de deux nombres : sa valeur centrale
et son incertitude (ou bien ses valeurs maximale et minimale). Ce calcul dincertitudes nest malheureusement jamais
fait dans les logiciels en raison du cot en calcul et en mmoire et peut-tre aussi par crainte davoir afficher
lissue de certains calculs volumineux des incertitudes importantes.
(10) Par exemple, en lasticit, de fausses concentrations de contraintes peuvent apparatre dans les angles rentrants
ds au maillage et quil convient de considrer avec circonspection.
(11) Un mme algorithme peut se comporter diffremment dun type de machine lautre si la reprsentation interne
des nombres y est diffrente.
84
Si le problme est tel que la solution nest pas unique (12) , un algorithme aboutira probablement lune dentre-elles sans que lon puisse savoir si la solution trouve par lalgorithme
est unique ou non.
Si le problme est tel que la solution est infiniment sensible aux conditions aux limites
ou initiales, un algorithme aboutira probablement une solution, bien que celle-ci nait
aucune valeur prdictive.
La combinaison de ces sources dincertitudes peut parfois conduire des erreurs importantes ou a
des rsultats non significatifs ou aberrants, sans que lon puisse en juger par la seule observation
du rsultat ou du droulement du calcul.
En conclusion, tout rsultat numrique de rsolution de systmes dquations diffrentielles (13)
doit toujours tre considr avec circonspection. Pour les problmes non pathologiques (mais on
sait rarement lavance sils le sont ou non !), ces rsultats entachs dincertitudes inconnues
sont nanmoins prcieux car on nen dispose pas dautres ! Cependant, la confiance que lon
peut leur accorder est rarement prouve.
6.2.2 Aperu sur la mthode des lments finis
Le principe de la mthode est de proposer comme solution approche, des champs matriels
u (P,t) et T (P,t) choisis dans une famille de champs (gnralement polynomiaux) dfinis par
morceaux sur le domaine tudi, sapprochant au mieux de la solution exacte qui, quant elle,
nappartient gnralement pas cette famille. La solution propose par la mthode est donc une
approximation de la solution exacte, mais on sait dmontrer que toute fonction suffisamment
rgulire peut tre approche daussi prs que lon veut par des fonctions rgulires dfinies
par morceaux en diminuant la taille des morceaux (14) . On expose ici le principe de la mthode,
sans dtailler ni les algorithmes utiliss ni leur implmentation informatique.
Formulation intgrale des quations
Dans un problme dlasticit, les quations diffrentielles rsoudre sont lquation de mouvement et lquation de la chaleur [q. (6.8) et (6.9) p. 79] :
v
m
divE + f m
0 = 0 (eq. vectorielle) ; : D + rext divE q e = 0 (eq. scalaire) (6.11)
Rappel Aprs les substitutions, ces quatre quations diffrentielles scalaires ont pour fonctions
inconnues les quatre champs scalaires u1 (P,t), u2 (P,t), u3 (P,t) et T (P,t).
Thorme 6.4 Thorme danalyse fonctionnelle. Si (M) et (M) sont des champs (scalaires, vectoriels ou tensoriels rels de mme ordre de tensorialit) dfinis sur un domaine
volumique D, et de carr intgrable sur ce domaine (15) , alors on a lquivalence suivante :
(M),
(12)
Z
D
(M) (M)dv = 0
(M) = 0
(6.12)
85
On dfinit le champ vectoriel (M) R4 , dfini dans la position actuelle Dt du solide, par les
composantes suivantes :
v
divE q em } R4
(M) = {divE + f m
, : D + rext
{z
}
{z 0
} |
|
R
R3
Le systme dquations diffrentielles (6.11) [p. 84] rsoudre scrit donc : (M) = 0 .
On considre des champs vectoriels arbitraires (M) R4 , dfini dans la position actuelle Dt du
solide, par les composantes :
(M) = {gg(M), h(M)} R4
o g (M) R3 est un champ vectoriel arbitraire et h(M) R est un champ scalaire arbitraire, ces
deux champs arbitraires tant dfinis dans la position actuelle Dt du solide.
Le produit scalaire (M) (M) scrit :
v
g + (
: D + rext
(M) (M) = (divE + f m
divE q em ) h
0 ) g
En utilisant le thorme 6.4 [p. 84], le systme des quatre quations diffrentielles scalaires
(M) = 0 est quivalent lunique quation scalaire suivante :
Z
gE dvt
(gg, h),
divE E + E f m
E E g
0E
Dtm
Z
(6.13)
v
m
+
E : D E + rext
div
q
h
dv
=
0
E
E E
E
t
E
Dtm
Dans lquation (6.13), les intgrales portent sur le domaine matriel actuel Dtm , les champs
actuels sont donc dcrits par la mthode dEuler, ce quindique lindice E .
Remarque On reconnat dans le premier terme de lquation (6.13) lexpression du principe (ou
thorme) des travaux virtuels (ou puissances virtuelles) (18) ; on peut donc tablir ce premier terme
avec des raisonnements mcaniques. Le second terme de cette somme provient de lquation de la
chaleur. Il pourrait aussi bien sinterprter en principe (ou thorme) des chaleurs virtuelles (ou des
puissances calorifiques virtuelles), mais ce nest pas lusage. Quoi quil en soit, une interprtation mcanique ou thermique des champs arbitraires g (M) et h(M) nest pas ncessaire aux dveloppements
qui suivent.
On utilise les deux identits suivantes (19) (dmonstrations en annexe C [p. 113]) :
Z
Dt
Z
Dt
Z
Dt
Z
Dt
E : gradE g dvt +
q E gradE h dvt +
E nnt dst
g E
hE q E nnt dst
Dt
Z
Dt
Si les champs (M) et (M) sont scalaires, lopration est le produit ordinaire des rels.
Dans ces traits, lespace vectoriel de Hilbert des fonctions dfinies et intgrables sur le domaine D est gnralement construit sur le corps
des complexes. Le thorme nonc ici en est la rduction aux rels.
R
i.
Par ailleurs, lintgrale D (M) (M)dv est un produit scalaire de cet espace souvent not h |
(18) Voir le cours quation gnrales de la mcanique des milieux continus, du mme auteur [note 3 p. 3].
(19) On peut les considrer comme des gnralisations de lintgration par parties pour des intgrales de volume.
(16)
(17)
86
Dt
Z
nnt dst +
gE dvt +
g E
E f m
E g
0E
Dt
Dt
Z
(6.14)
v
m
hE q E nnt dst +
E : D E + rext
h
dv
=
0
E E
E
t
E
E : gradE g dvt +
q E gradE h dvt
Z
Dt
Dt
o, dans les intgrales de bord, apparaissent les ventuelles conditions aux limites de Neumann
[df. 6.2 p. 80] portant sur les valeurs aux frontires de E nnt et de q E nnt .
On note :
Dtf la partie de frontire o des contraintes sont imposes E nnt = f s (condition de Neumann
sthnique) ;
Dtf son complment Dt Dtf ;
Dtq la partie de frontire o un flux thermique est impos q E nnt = qs (condition de Neumann
thermique) ;
Dtq son complment Dt Dtq .
Compte tenu des conditions aux limites de Neumann sthniques et thermiques, les intgrales de
frontire de lquation (6.14) scrivent alors :
Z
Dt
E nnt dst =
g E
Z
Dt
=
Z
Dt
hE q E nnt dst =
Dt
Z
q
Dt
Dt
E nnt dst +
g E
Dt
g E f sE dst +
Dt
hE q E nnt dst +
hE qsE dst +
Dt
q
Dt
E nnt dst
g E
E nnt dst
g E
hE q E nnt dst
hE q E nnt dst
gE dvt
(gg, h),
E : gradE g dvt +
E f m
E g
0E
Dt
Dt
g E f sE dst +
E nnt dst
g E
Z
Z
v
m
+
q E gradE h dvt +
E : D E + rext
E
E
E hE dvt
Dt
Dt
Dt
(6.15)
Dt
Z
q
Dt
hE qsE dst
Z
q
Dt
hE q E nnt dst = 0
soumise aux conditions aux limites restantes (cest--dire de type Dirichlet et de type mixte).
Construction dune famille de champs dfinis par morceaux (maillage)
On divise en morceaux (mailles) le domaine occup par le solide dformable dans sa position
initiale (opration de maillage). En pratique, pour les domaines volumiques, les algorithmes dassistance au maillage ne fournissent que des ttradres, des pentadres ou des hexadres (20) .
(20)
87
Pour construire une famille de champs dfinis par morceaux sur le domaine initial D0 , on dfinit
sur chaque maille des polynmes (21) de faible degr (en pratique : 1, 2 ou 3) dtermins par
leurs valeurs en un certain nombre de points de la maille appels nuds (22) . Ces fonctions
polynomiales sont appeles fonctions dinterpolation ou encore fonctions de forme. Une maille
munie de nuds et de fonctions dinterpolations est appele lment. Dans chaque maille, il
faut autant de fonctions dinterpolation que de champs inconnus (en lasticit, quatre champs
scalaires : u1 , u2 , u3 et T ). Le plus souvent, les fonctions dinterpolation et les nuds sont les
mmes pour chaque champ inconnu, seules les valeurs aux nuds sont particulires chaque
champ inconnu.
lments conformes On sarrange souvent pour que les valeurs des interpolations dans chaque
maille se raccordent la frontire commune entre deux lments. De tels lments sont dits conformes.
En fait, la conformit des lments nest pas obligatoire, on peut trs bien approximer daussi prs que
lon veut une solution avec des fonctions discontinues aux frontires des lments : il suffit davoir
beaucoup de petits lments. Si les lments sont conformes, la solution approche ue(M), Te(M)
propose par la mthode sera plus lisse (continuit C0 ). Toutefois, les lments conformes nassurent
pas la continuit des drives, les gradients des champs sont donc discontinus aux frontires des lments. La plupart des logiciels prsentent nanmoins des champs de gradients rendus artificiellement
continus par divers procds de moyennation ou de lissage.
On a ainsi dfini par morceaux une famille de champs sur le domaine initial D0 , chaque champ
de la famille tant dtermin par ses valeurs aux noeuds. La solution approche sera, pour chaque
champ inconnu, un champ choisi dans cette famille, cest--dire un ensemble de valeurs chaque
nud. Le maillage tant effectu sur la position initiale du solide (la seule connue avant la
rsolution), la description de la solution approche sera ncessairement faite par la mthode de
Lagrange.
Changement de variables Euler Lagrange
Il faut donc effectuer un changement de variables (23) sur les intgrales de lquation (6.15)
[p. 86] (intgrales sur le domaine actuel Dt et sa frontire actuelle Dt ) pour les ramener des
intgrales sur le domaine initial D0 et sa frontire initiale D0 .
Dune manire gnrale, pour tout champ matriel (P,t) dfini sur un domaine matriel D, un
tel changement de variable pour les intgrales de volume scrit :
,
Z
Dt
E dvt =
D0
L Kv L dv0
L (xx0 ,t) =
E (xxt ,t) (24) et o Kv = detF
F est la dilatation volumique. Aprs les subo (P,t) =
stitutions cinmatiques, Kv est fonction des champs matriels inconnus u (P,t) et T (P,t).
De mme, pour les intgrales de frontire, le changement de variables scrit :
Z
Dt
(21)
E dst =
D0
L Ks L ds0
En fait, il est possible dutiliser des fonctions non polynomiales, mais la majorit des implmentations de la
mthode des lments finis utilisent des polynmes.
(22) Le nombre de nuds dans la maille dpend du degr choisi pour les polynmes.
(23) Dans certains textes de mcanique des solides dformables, les changements de variables dans les intgrales sont
appels quations de transport .
(24) Comme prcdemment, on omettra dcrire les arguments (x
x0 ,t) des descriptions de Lagrange.
88
o Ks est la dilatation surfacique des facettes matrielles de la frontire actuelle, identifies par
leur normale sortante actuelle nt .
Rappels de Cinmatique On rappelle que (25) :
La relation entre les gradients lagrangiens et eulriens dun champ matriel est :
F 1
gradE = gradL F
La dilatation surfacique actuelle dune facette matrielle identifie par sa normale de rfrence est :
F kF
F T nn0 k
Ks = detF
La relation entre la normale actuelle et la normale de rfrence dune facette matriellle est :
nt =
F T nn0
F T nn0 k
kF
Finalement, aprs les changements de variables (26) pour ramener les intgrales sur le domaine
actuel Dt des intgrales sur le domaine de rfrence D0 , lquation (6.15) [p. 86] devient :
(ggL , hL ),
Z
D0
D0
D0
F 1 ) detF
F dv0 +
L : (gradL g F
F kF
F T nn0 k ds0 +
g L f sL detF
F 1 ) detF
F dv0 +
q L (gradL h F
Z
q
D0
F kF
F T .nn0 k ds0
hL qsL detF
D0
Z
f
D0
Z
D0
Z
q
D0
F dv0
L f m
ggL detF
L
0L
L (F
F T nn0 ) detF
F ds0
g L
(6.16)
v
m
F dv0
L : D L + rext
L
L L hL detF
F T nn0 ) detF
F ds0 = 0
hL q L (F
o les champs g L (vectoriel) et hL (scalaire) sont les descriptions de Lagrange des champs
arbitraires g (P,t) et h(P,t).
Remarques Le lecteur averti reconnatra dans cette quation les expressions lagrangiennes
des quations locales des principes fondamentaux qui ont t signales en remarques dans le cours
quations gnrales des milieux continus, du mme auteur [note 3 p. 3]. De fait, il tait tout
fait inutile de les crire si prmaturment : elles apparaissent naturellement lorsque, pour faire une
rsolution numrique, on fait les changements de variables ncessaires pour ramener les intgrales
sur le domaine actuel inconnu Dt des intgrales sur le domaine de rfrence connu D0 .
Par ailleurs, certains auteurs rcrivent lintgrande de la premire intgrale de lquation (6.16) de la
manire suivante :
F 1 ) detF
F = detF
F (
L F
F T ) : gradL g = : gradL g
L : (gradL g F
Ainsi, quand on crit la formulation intgrale des quations de mouvement, aprs le changement de
variable, on peut faire apparatre le groupement de termes dnomm premier tenseur des contraintes
de Piola-Kirchhoff (27) . Cette rcriture nest pas ncessaire, elle ne donne lieu qu des interprtations
pseudo-mcaniques (28) .
Enfin, il nest pas usuel de tenter dinterprter les termes de (6.16) issus de lquation de la chaleur.
F T nn0 ) detF
F et le nomment transport de q .
Certains auteurs notent q 0 le vecteur q L (F
(25)
Voir le cours Cinmatique des milieux continus, du mme auteur [note 2 p. 3].
Certains auteurs les appellent quations de transport .
(27) Voir le cours quations gnrales des milieux continus, du mme auteur [note 3 p. 3].
(28) Notamment chez les auteurs qui interprtent le champ vectoriel arbitraire g comme un champ de vitesses vituelles,
F = : gradL v qui nest vraie que pour les vitesses relles.
et qui font un parallle avec lgalit : D detF
(26)
89
Lquation (6.16), complte par les conditions aux limites autres que celles de type Neumann,
est rigoureusement quivalente au problme initial.
Traitement des conditions aux limites restantes
Il existe deux techniques pour prendre en compte les conditions aux limites de type Dirichlet :
1. On peut imposer aux champs polynomiaux dfinis dans le maillage, de respecter les conditions
de type Dirichlet (tempratures et dplacements imposs la frontire), ce qui revient
imposer des valeurs aux nuds qui sont sur la partie de frontire o des conditions de
Dirichlet sont poses ;
2. On peut traiter les conditions aux limites restantes (de Dirichlet et/ou les relations) en les
considrant comme des quations supplmentaires du problme dont on crit une formulation
intgrale sur la portion de frontire concerne.
Par exemple, si une condition de Dirichlet sur la portion de frontire DtD scrit :
N DtD ,
Z
DtD
(uuE uusE ) kk E
dst =
D0D
F kF
F T nn0 k ds0
(uuL uusL ) kk L detF
o k L est la description de Lagrange dun champ vectoriel arbitraire dfini sur la portion de
frontire D0D .
Pour prendre en compte cette condition, il suffit donc dajouter cette intgrale de bord
lquation (6.16) qui devra tre vraie (ggL , hL ,kk L ).
On procde de mme avec les ventuelles conditions aux limites de type relation.
Finalement, le problme initial (quations diffrentielles et conditions aux limites) se ramne
lunique quation scalaire (6.16) complte par des termes dus aux conditions aux limites de
Dirichlet (si elles ne sont pas automatiquement respectes par la famille de champs polynomiaux)
et les termes dus aux conditions aux limites de type relation. Cette quation doit tre vraie quels
L (notation
que soient les champs arbitraires introduits, ce que lon notera plus brivement :
du thorme 6.4 [p. 84]).
Solution dun problme stationnaire
Un problme stationnaire est un problme o le temps napparat pas dans les quations. En
lasticit, il sagit de la recherche dune solution statique (toutes les drives temporelles sont
donc nulles). On a donc en particulier = 0 , D = 0 , T = 0 et em = 0. Les conditions initiales ne
jouent aucun rle et les conditions aux limites sont les conditions aux limites finales.
Lapproximation de la mthode des lments finis provient de ce que lon cherche la description
de Lagrange des champs inconnus dans lespace de champs polynomiaux F pol dfinis par
morceaux construits dans lopration de maillage, au lieu de la chercher dans lespace de tous
les champs dfinis sur D0 . On montre (29) que la meilleure solution est obtenue en remplaant la
L dans lquation (6.16) par la condition
L F pol dans la formulation intgrale
condition
du problme sur D0 .
(29)
Car F pol est dense dans lensemble des fonctions dfinies sur D0 .
90
Or lespace F pol peut tre considr comme un espace vectoriel de champs, de dimension finie,
avec un nombre fini de champs de base : les champs de base (30) i F pol choisis sont ceux
qui sont nuls partout sauf en un nud o ils valent 1. On peut ainsi construire tous les champs
de lespace vectoriel F pol par combinaison linaire des i , les coefficients de la combinaison
linaire tants les valeurs aux nuds. Tous les champs L de F pol scrivent donc :
n
L =
vj j
j=1
91
Afin dviter de traiter le temps en diffrences finies, certains numriciens envisagent le problme
transitoire dune manire dphysicise : on cherche les champs solutions {uuL (xx0 ,t), TL (xx0 ,t)}
dans un domaine D(4) = D0 [t0 ;t1 ] de lespace-temps quatre dimensions dont les points sont
(xx0 ,t) D(4) . Cette manire de traiter le temps comme les variables despace reste aujourdhui
confidentielle et nest pas implante dans les logiciels courants actuels.
92
solution numrique est plus pauvre quune solution analytique : linfluence des paramtres
donns (dimensions, matriau, sollicitations extrieures) napparat pas clairement dans la
solution numrique. Pour tester linfluence dun paramtre, on doit recommencer le calcul
avec de nouvelles valeurs pour le paramtre, et supposer quentre les valeurs du paramtre, les
solutions trouves sont interpolables.
7
Illustrations numriques en
lasticit isotrope
Dans ce chapitre, on propose quelques illustrations numriques portant sur des problmes
dlasticit isotrope. Le premier exemple met en vidence les effets thermiques dans la traction
simple dun barreau dacier ; le second montre la rsolution dune forte flexion dun bloc de
caoutchouc ; le troisime met en vidence la non linarit de la relation contrainte/allongement
lors dun essai de forte traction lastique isotherme ; le dernier illustre un essai de glissement
isotherme.
Z Kv
(2)
exp T
{z
(2)
T exp
g2 (T,Kv )
1
dKv +
3 0
} |
2
= K0 G + K2 B
K0 =
(2)
exp
(2)
p 2
1
3
{z
3 1
g3 (T, )
(3)
3 exp 1
p 2
3 Kv 3 1
(1)
Z (3) T (3)
T exp 1
exp 1
d
}
(3)
exp1
K2 =
5 p 2
3 Kv3 3 1
(3)
Dans ce modle, les trois fonctions Qexp (T ), exp (T, Kv ) et exp 1 (T, ) peuvent tre choisies
arbitrairement sans compromettre le caractre lastique isotrope du modle. Elle devraient tre
issues dexpriences. On choisit ici les idalisations des courbes exprimentales, simples mais
physiquement raisonnables, qui ont t tablies dans la dernire section de la feuille de calcul en
annexe E [p. 121] et que lon rappelle ici :
(3)
exp 1 = 0
(2)
exp
(1)
exp + 0
(5)
Qexp
(5)
Kl exp
ln Kv
94
(T
T
))
T +
0
1
2
0
(1 + (T T0 ))
0 3
3 T
Kv
0
K v
+
+ ln
0 1 + (T T0 )
(1 + (T T0 ))3
(7.1)
K0 = 0 ln
Kv
0 3
3
(1 + (T T0 ))
Kv
K1 =
0
5
Kv 3
Z
D0
L (F
F T
n0 ) detF
F L ds0 +
g
L n
f L
Z
f
D0
D0
F 1
F L dv0 +
L : (gradL g F
L ) detF
D0
F 1
F L dv0
q L (gradL h F
L ) detF
F T
n0 ) detF
F L ds0 +
h q (F
L n
q L L
D0
D0
gL detF
F L dv0
L f m
L g
L
Z
q
D0
Z
D0
F L kF
F T
n0 k ds0
g L f sL detF
L n
(7.2)
F L kF
F T
n0 k ds0
hL qsL detF
L .n
L : DL + rLv L em
F L dv0 = 0
L hL detF
3
BL ) 2
3 (trB
T
F L = G + gradL u BL = F L F
FL
F
KvL = detF L
L =
9
KvL
3
BL
BL ) 2
trB
(trB
F 1
D
FL = gradL u t
D L = sym(FL F
)
K
=
K
trD
=
B
:
D
K vL
vL
vL
L
L
L
L
L
3 KvL
3 3 KvL 2
0L
L = uL
L =
KvL
(1)
Les calculs sont dtaills dans la dernire section de la feuille de calcul en annexe E [p. 121].
95
F 1
q L = gradL T F
em
L
(comportement mcanique)
(comportement thermique)
96
axe, avec diffrentes conditions aux limites thermiques et avec diffrentes vitesses de traction,
afin dillustrer les effets thermiques dune sollicitation mcanique.
= 0,
Dans ce calcul, la pesanteur est nglige ( f m
0 = 0 ) et les acclrations sont ngliges (
calcul dit quasi-statique ), mais les volutions en temprature ne sont pas ngliges (T 6= 0).
Les champs inconnus du problme sont donc fonction du temps.
Le problme tant axisymtrique, les deux variables despace sont r et z dun systme de
coordonnes cylindriques. On cherche donc des champs u L (r, z,t) et T L (r, z,t).
Rappel Si v est un champ de vecteurs axisymtrique v = vr (r, z,t)eer + vz (r, z,t)eez , et si f (r, z,t) est
un champ scalaire axisymtrique, les composantes de leur gradient lagrangien dans la base naturelle
orthogonale norme {eer ,ee ,eez } sont :
r vr 0 z vr
vr
0
[(gradL v ) ] = 0
; gradL f = r f e r + z f e z
r
r vz 0 z vz (ee ,ee ,ee )
r
Ces formules sont applicables aux champs vectoriels u L et g L , ainsi quaux champs scalaires TL et hL .
Afin dobtenir des rsultats pdagogiques et lisibles, on choisit de ntudier que la zone centrale
de lprouvette en ignorant dlibrment tout les systmes daccrochage de lprouvette sur la
machine de traction.
7.3.1 Caractristiques du matriau
Les donnes numriques sont les suivantes (4) :
Coefficient de dilatation linique 20 C
Capacit calorifique pression constante 20 C
Masse volumique 20 C
Coefficient de conductivit thermique 20 C
Module dYoung 20 C
Coefficient de Poisson 20 C
Cp
0
12.3 106 K1
475 J.kg1 .K1
7850 kg.m3
44.5 W.m1 .K1
205 109 Pa
0.28
La loi de comportement utilise ici ntant pas celle de Hooke, on considre que les valeurs du
module dYoung et du coefficient de Poisson donnes dans ce tableau sont des valeurs initiales,
cest--dire lorsquil ny a pas de dformation. On en dduit les modules de compressibilit et de
cisaillement initiaux 20 C :
0 =
E0
3 (1 2 0 )
0 =
E0
2 (1 + 0 )
Rappel Dans le modle, les modules 0 et 0 sont supposs invariants avec la temprature.
97
le dplacement final est maintenu pendant 5 secondes. Sur la face infrieure, le dplacement
vertical u z est impos nul (5) .
7.3.3 Conditions aux limites thermiques
La temprature initiale est T0 = 293.15 K = 20 C. On envisage trois cas de conditions aux limites
thermiques :
1. Toutes les frontires sont adiabatiques ; il ny a aucun change de chaleur avec lextrieur
(qs = 0 sur les frontires, cas idal extrme).
2. Toutes les frontires sont la temprature impose T0 (cas idal extrme).
3. Les frontires extrmes sont la temprature T0 et la surface latrale est adiabatique (cas
approchant les conditions dessai relles : la masse des mors de la machine de traction est
considre comme un thermostat et les changes thermiques avec lair ambiant sont ngligs).
7.3.4 Analyse des solutions numriques
Le maillage utilis est celui de la figure 7.1. Les lments sont interpolation quadratique.
Frontires adiabatiques
On constate que les champs de temprature, de dformation et de contrainte de Cauchy sont
uniformes dans toute lprouvette mais variables avec le temps.
Le problme tant asisymtrique, les dplacements radiaux sur laxe r = 0 sont implicitement annuls. Sur la
face infrieure z = 0, les dplacements radiaux pour r > 0 sont libres.
98
On constate une chte de temprature de 0.59 C et une courbe zz (zzv ) quasi-linaire ; le module
dYoung apparent ( SF0 Lu0 ) est :
Eapp = 205.19 GPa au temps t = 2.25 s (fin du mouvement)
Frontires isothermes T0
On constate que les champs de temprature, de dformation et de contrainte de Cauchy ne
sont plus uniformes. La temprature au centre de lprouvette au temps t = 2.25 s (fin du
mouvement) a cht de 0.24 C. La temprature revient pratiquement 20 C aprs 5 s de maintien
du dplacement final [fig. 7.2 p. 98].
L0
u ) varie lgrement pendant le temps de maintien de 5 s :
Remarque Avec des frontires isothermes, la chte de temprature varie avec la vitesse de traction
impose : pour une vitesse de traction de 10 mm.mn1 , la chte de temprature au centre de
lprouvette en fin de mouvement (t = 0.9 s) est de 0.42 C (infrieure au cas adiabatique, 0.59 C).
Cette constatation sexplique par le fait qu une grande vitesse de traction, les tempratures nont
pas le temps de suniformiser.
99
L0
u)
Conclusions
1. Le modle de comportement thermolastique isotrope (T, Kv , ) na t employ ici que dans
le domaine des petites dformations (L(t)/L0 > 1.003). Ce calcul illustre nanmoins le refroidissement qui apparat lors dun essai de traction sur une prouvette dacier. Les variations
de temprature apparaissent comme faibles et difficilement dtectables exprimentalement
sauf pour des vitesses de traction importantes. Les expriences de traction dune prouvette
dacier faites dans les conditions exprimentales habituelles, vitesse lente et sans attendre
luniformisation des tempratures, sont acceptables car la valeur du module dYoung apparent
varie peu pendant luniformisation des tempratures.
2. Le modle de comportement utilis est par essence non linaire, mais cette non linarit
napparat pas numriquement dans les calculs qui prcdent car toute courbe zz = f (zzv ) a
une apparence linaire au voisinage de petites dformations.
Remarque Dans un essai de traction, le mouvement est trs proche dune translation, une interprtation des mesures en utilisant la loi de Hooke classique avec le tenseur des petites perturbations
donnerait donc des rsultats acceptables [hypothse 4.2 p. 59].
Lexemple suivant simule, avec la mme loi de comportement mcanique mais avec des coefficients diffrents, la flexion forte dun bloc de caoutchouc avec des dformations nettement plus
importantes.
100
101
la face suprieure, dont la direction initiale est n 0 = e 3 (verticale), soit dans la direction finale
horizontale nt = e 1 , cest--dire :
nt =
F T ee3
= e1
F T ee3 k
kF
(7.3)
Remarque Cette condition aux limites serait difficile poser dans un logiciel classique de mcanique des solides.
Sur la face infrieure (x3 = 0), on impose u3 = 0, et les translations horizontales u1 et u2 sont
bloques seulement sur les mdianes de la face.
Remarque Le problme ainsi pos na pas de solution unique : il existe une infinit de solutions
avec la face suprieure rendue verticale. On constate que lalgorithme (6) aboutit nanmoins une
solution, sans quon puisse savoir si celle-ci est unique. Il se trouve que la solution propose par
lalgorithme est assez proche du cas de la flexion pure (la dforme est quasi-circulaire), parce que que
la solution initiale introduite pour acclrer les calculs en est assez proche (le champ de dplacement
initial propos transforme le paralllpipde initial en un hexadre avec la face suprieure initiale
x03 = L0 dplace vers la droite et verticale).
Contrairement au problme prcdent, on ne cherche pas ici une volution temporelle, mais
seulement une solution stationnaire de lquation mcanique. De plus, lquation thermique
nest pas prise en compte et on suppose que les tempratures sont uniformes et constantes dans
le temps. Les quations diffrentielles rsoudre se rduisent (on nglige la pesanteur) :
divE = 0
0
0
1805 MPa
43.68 MPa
102
103
Comme on peut le constater, les allongements relatifs longitudinaux sont importants : ils varient
de 24% +28%. La distribution des grandeurs est quasi-identique dans toutes les sections
droites, la solution (choisie par lalgorithme) est proche dune flexion pure et, comme attendu, la
dilatation volumique Kv varie trs peu (1%) en raison de la quasi-incompressibilit.
104
7.7 En bref...
Toutes les illustrations numriques de ce chapitre ont t faites en utilisant le modle lastique
isotrope trois variables dtat (T, Kv , ) qui a t construit au chapitre 3 [p. 39]. Elles ont t
choisies pour illustrer la fois les effets thermiques et les effets mcaniques du comportement
lastique dans de larges domaines de dformation.
8
Conclusion
Le modle de comportement lastique est un modle de comportement pour les solides dformables satisfaisant aux trois conditions suivantes :
1. La dissipation intrinsque est nulle, cest--dire que lon suppose que dans ses volutions
il nexiste aucun processus interne gnrant de la chaleur (pas de frottement interne). La
seule dissipation pouvant sy produire est la dissipation thermique qui rsulte des changes
de chaleur entre particules lorsque le champ de tempratures nest pas uniforme.
2. Le tenseur des contraintes de Cauchy est une fonction dtat.
3. Les variables dtat ne contiennent pas de variables dtat mnsiques.
Les deux dernires conditions impliquent notamment que cette dfinition gnrale de llasticit
contient la dfinition empirique gnralement donne dans les cours classiques dlasticit :
dans un essai de traction lastique isotherme, chaque dformation correspond une et une seule
contrainte .
Les variables dtat dun milieu lastique sont la temprature, un tenseur de dformation objectif
compltes par dventuelles directions actuelles danisotropie. La nullit de la dissipation intrin 2 , ,
n)
sque conduit une forme gnrale des lois de comportement mcanique = f (T,
2 , ,
n ) qui sont compltement dtermines lorque lon connat lune
et thermique q = f q (T,
des fonction dtat caractristique du milieu lastique suivante : lnergie interne massique,
lnergie libre massique de Helmholtz ou lentropie massique. La forme gnrale des lois de
comportement lastique peut sexprimer avec diffrents tenseurs de dformation (objectifs ou
non), sous une forme plus ou moins complique suivant le tenseur de dformation utilis. La
validit de ces lois de comportement nest soumise aucune restriction sur la grandeur des
dformations ni sur le mouvement du milieu continu, lexception notable de la traditionnelle
loi de Hooke qui, par ailleurs, nest pas thermodynamiquement admissible. On a donn un
exemple de construction dune famille de modles de comportement lastique en construisant
leurs fonctions dtat de manire physiquement raisonne afin de conduire des comportements
ralistes. Ntant soumises aucune restriction cinmatique, ces lois de comportement sont a
fortiori encore valables quand les dformations sont petites.
L lasticit classiquement prsente dans les cours lmentaires dlasticit (loi de Hooke
avec le tenseur des petites perturbations ) nest applicable que sous une restriction sur les
dformations (petites dformations) et sur les mouvements envisageables (quasi-translation). Il
est noter que si lhypothse de quasi-translation est valable pour un observateur, elle ne lest
gnralement pas pour un autre.
Un problme de (thermo-)lasticit compltement dfini se ramne la rsolution dun systme
de quatre quations diffrentielles aux drives partielles assorti de conditions initiales et aux
limites, dont les champs inconnus sont les positions actuelles des particules (ou leur champ
106
Chapitre 8. Conclusion
A
Drives particulaires utiles en
anisotropie
A.1 Drive particulaire dune direction matrielle
Dans le mouvement dun milieu continu, les directions danisotropie sont des directions matrielles entraines par le mouvement. On montre en cinmatique que les directions matrielles
peuvent tre identifies par leur direction de rfrence u0 ou par leur direction actuelle ut . La
relation entre ces directions est (1) :
p
F uu0
F 1 uut
ut =
F
u
u0 F
F > F
F uu0
u0 =
o
kF
u
k
=
0
F uu0 k
F 1 uut k
kF
kF
La drive particulaire du vecteur unitaire ut est :
F uu0 k
kF
F uu0
(uu0 indpendant de t)
F uu0 k kF
F uu0 k2
kF
F +F
F > F ) uu0
1 F uu0 u 0 (F > F
F uu0
(uu0 indpendant de t)
=
F uu0 k 2 kF
F uu0 k2
F uu0 k
kF
kF
1 F uu0
F 1 uut
ut F
F > (F > F
F +F
F > F ) F
F 1 uut
= F F
F uu0 k
2 kF
1
F 1 uut ut ut (F
F > F > F
F F
F 1 +F
F > F
F > F F
F 1 ) uut
= F F
2
1
D +W
W ) uut ut ut (D
D W
W ) + (D
D +W
W ) uut
= (D
2
D +W
W ) uut (uut D
D uut )uut
u t = (D
u t =
(A.1)
o
F 1 ) est le tenseur des taux de dformation (objectif),
D = sym(F F
F 1 ) est le tenseur tourbillon (non objectif).
W = asym(F F
La drive particulaire dune direction matrielle unitaire nest pas un vecteur objectif.
En anisotropie, on prfre reprsenter une direction matrielle danisotropie (non oriente) ut
par le tenseur uniaxial U t = ut uut . On en calcule la drive particulaire :
U t = ut u t + u t uut
D +W
W ) uut (uut D
D uut )uut + (D
D +W
W ) uut (uut D
D uut )uut uut
= ut (D
D +W
W )T (U
U t : D ) (uut uut ) + (D
D +W
W ) (uut uut ) (U
U t : D ) (uut uut )
= (uut uut ) (D
U t = U t (D
D W
W ) + (D
D +W
W ) U
U t 2 (U
U t : D)U
Ut
(A.2)
(1)
Voir le cours Cinmatique des milieux continus, du mme auteur [note 2 p. 3].
108
La drive particulaire U t nest pas un tenseur uniaxial et nest pas un tenseur objectif.
Quelle que soit la manire dont on reprsente une direction matrielle actuelle (uut ou U t ), on
constate que sa drive particulaire (non objective) actuelle est dtermine par le mouvement
actuel (le tenseur des taux de dformation D et le tenseur tourbillon W ).
(A.3)
d Qt T
Qt est antisymtrique.
Q
dt
Voir le cours Algbre et analyse tensorielle pour ltude des milieux continus, du mme auteur [note 1 p. ??ALG].
Voir le cours Cinmatique des milieux continus, du mme auteur [note 2 p. 3].
Voir le cours Cinmatique des milieux continus, du mme auteur[note 2 p. 3].
109
(A.5)
B2 : D 2 U t B
B2 : W 2 (U
U t : B 2 )U
Ut : D
I2B = 2 U t B
B U
U t ) : (D
D B
B) + 2 (B
B U
U t ) : (B
B D
D) + 2 (B
B U
U t ) : (W
W B
B) 2 (B
B U
U t ) : (B
B W
W)
+ 2 (B
2
2
2
B : D 2 U t B
B : W 2 (U
U t : B ) (U
U t : D)
= 2 U t B
B U
U t B
B) : D + 2 (B
B2 U
U t ) : D + 2 (B
B U
U t B
B) : W 2 (B
B2 U
Ut) : W
+ 2 (B
2
B
B : D 2 I2 U t : D + 2 (B
B U
U t B
B) : D
= 4 U t B
U t B
B2 ) : D 2 I2B U t : D + 2 (B
B U
U t B
B) : D
I2B = 4 sym(U
(A.6)
Remarque Comme on peut le constater, quand on utilise le tenseur B comme tenseur de dformation, le tenseur non objectif W disparat des expressions de I1B et I2B , ce qui rend vidente lobjectivit
de ces drives particulaires.
U t V
V 2 ) : D 2 I2V (U
U t : D)
I2V = I1B = 4 sym(U
(A.7)
Calcul de I1V
V 3 = VI V 2 VII V +VIII G . On peut alors crire :
On rappelle lidentit de Cayley-Hamilton :V
V V
V 3) : N t
I2B = B 2 : N t = V 4 : N t = (V
= V (VI V 2 VII V +VIII G ) : N t
(Cayley-Hamilton)
(Cayley-Hamilton)
110
(A.8)
o :
U t B
B2 ) : D 2 I2B U t : D + 2 (B
B U
U t B
B) : D
I2B = 4 sym(U
U t V
V 4 ) : D 2 (VI2 VII ) I2V + (VIII VI VII ) I1V +VI VIII U t : D
= 4 sym(U
V 2 U
U t V
V 2) : D
+ 2 (V
U t V
V 2 ) : D 2 I2V (U
U t : D)
I2V = 4 sym(U
Lquation (A.8) est donc une quation algbrique linaire en I1V qui peut tre rsolue. On
trouve :
(VI + I1V )VIII
VI VIII + I1V (VI VII VIII )
VIII I1V (VI2 +VII ) +VI I2V
D2
I1V =
trD
Ut : D +
V :D
VI VII VIII
VI VII VIII
VI VII VIII
V 2 U
U t V
V 2) : D
VI I1V + I2V 2
2 (V
V U
Ut) : D
V : D + 4 sym(V
+
VI VII VIII
VI VII VIII
Il apparat quen anisotropie, lutilisation du tenseur de dformation V est moins commode que
celle du tenseur de dformation B .
Remarque Le terme VI VII VIII dans les dnominateurs est toujours positif. En effet, son expression en fonction des valeurs propres de V est :
VI VII VIII = (1 + 2 ) (2 + 3 ) (3 + 1 ) > 0
B
Calcul dune loi tangente isotrope
Cette annexe nest utile quaux praticiens de la mcanique numrique , qui utilisent une loi
tangente pour la rsolution des problmes non linaires [section 2.6 p. 34].
On se propose de calculer la loi tangente du modle lastique isotrope propos au chapitre 3
[p. 39]. Sous les deux hypothses 3.1 [p. 40] (les variables dtat sont (T, Kv , )) et 3.3 [p. 47]
(un cisaillement cinmatique laisse la contrainte moyenne invariante), la loi de comportement
mcanique de ce modle lastique isotrope est :
2
= K0 G + K2 B
avec
K0 =
(2)
exp (T, Kv )
(3)
3 exp 1 (T, )
p 2
3 Kv 3 1
(3)
exp1 (T, )
K2 =
5 p 2
3 Kv3 3 1
On a donc :
G + (T K2 T + Kv K2 K v + K2 )B
B + K2 B
= (T K0 T + Kv K0 K v + K0 )G
= (T K0 G + T K2 B ) T + (Kv K0 G + Kv K2 B ) K v + ( K0 G + K2 B ) + K2 B
o (1) :
1
1
Kv 1
B :B
B III =
BIII B 1 : B =
K v = ( BIII ) =
2
2 BIII
2 BIII
3
32
1
2
B
B
3
3
B
I
I
I
B 1 : B
=
=
BI 3 BIII =
2 G :B
9
2
BIII
2 3 BIII
6 3B2
2 Kv3
III
On en dduit que :
K
= (T K0 G + T K2 B) T + (Kv K0 G + Kv K2 B) v B1 : B
2
13
1
+ ( K0 G + K2 B )
G
:
B
B : B + K2 B
2
2
3
2K
v
soit encore :
K
K
v
B1 + v Kv K2 B B
B1 +
= (T K0 G + T K2 B ) T +
Kv K0 G B
2
2
1
1
3
3
1
1
G
B
G
B
G
K
G
B
+
K
B
B
+K
G
G
: B
K
G
G
K
B
G
0
2
2
0
2
2
2
2
2
2 K3
2 K3
v
(1)
Les drives temporelles des invariants dun tenseur sont donnes dans le cours Algbre et analyse tensorielle
pour ltude des milieux continus, du mme auteur [note 1 p. 3].
112
v
B1 + v Kv K2 K2 B B
B1
Kv K0 K0 G B
2
2
2
2
1
1
3
3
G
G
G : B
+
2 K0 G G +
2 K2 B G + K2 G G
2 Kv3
2 Kv3
= (T K0 G + T K2 B ) T +
Finalement,
K : B
= (T K0 G + T K2 B ) T +K
o K est le tenseur dordre 4 suivant :
K=
Kv
B1 + v Kv K2 K2 B B
B1
Kv K0 K0 G B
2
2
2
2
1
1
3
3
G
G
G
+
2 K0 G G +
2 K2 B G + K2 G G
2 Kv3
2 Kv3
2
3 Kv 3 1
2
(2)
Kv K0 = Kv exp +
(3)
(3)
(2)
T K0 = T exp
T K2 =
(3)
(3)
3 exp 1
q
2
3 Kv2 3 1
2
(3)
T exp1
q
5
2
3 Kv3 3 1
Kv K2 =
2
(3)
(2 3 ) exp 1
3 exp 1
q
K0 =
1
2
3
2
3 3 Kv 3 ( 3 1) 2
3 Kv 3 1
exp1 (T, )
5
q
8
2
3
3 Kv3 3 1
(3)
(3)
exp 1
exp 1
q
K2 = 5
+
5
1
2
3
2
3 3 Kv3 3 ( 3 1) 2
3 Kv3 3 1
Ces drives partielles ne peuvent tre dtermines compltement que lorsque les mesures
(2)
(3)
exp (T, Kv ) et exp1 (T, ) ont t effectues ou idalises.
C
Transformations dintgrales
Dans les problmes de physique rgis par des quations diffrentielles (1) , on voit apparatre
les oprateurs diffrentiels gradient, divergence, rotationnel et laplacien de champs scalaires,
vectoriels ou tensoriels. Lors de la formulation intgrale de ces quations diffrentielles en vue
de leur rsolution numrique, on crit des intgrales sur un domaine D de produits scalaires de
ces oprateurs avec des champs dfinis sur D de mme tensorialit. On donne dans cette annexe
les formules les plus utiles (2) pour transformer ces intgrales de volume de produits scalaires en
dautres intgrales de volume compltes par des intgrales de bord sur la frontire D.
Remarque On peut considrer les formules qui suivent comme une gnralisation aux intgrales
de volume de produits scalaires de lintgration par partie des intgrales simples de produits de rels.
div v dv =
v nn ds
et
div T dv =
T nn ds
(C.1)
f div v dv =
Z
D
v grad f dv +
Z
D
div( f v ) dv
114
f div v dv =
v grad f dv +
Z
D
f v nn dv
(C.2)
f g dv =
grad g grad f dv +
Z
D
f grad g nn dv
(C.3)
v rot w dv =
Z
D
w rot v dv
Z
D
w) dv
div(vv w
v rot w dv =
Z
D
w rot v dv
Z
D
w) nn ds
(vv w
(C.4)
v div T dv =
grad v : T dv +
T ) dv
div(vv T
v div T dv =
grad v : T dv +
v T
T nn ds
(C.5)
w
C.5 Intgrale dun produit scalaire v
w, il vient :
En appliquant le rsultat (C.5) avec T = gradw
Z
D
w dv =
v
Z
D
grad v : grad w dv +
v grad w nn ds
(C.6)
115
T : div K dv =
Z
D
T 3 K dv +
gradT
Z
D
T : K ) dv
div(T
T : div K dv =
Z
D
3
grad T K dv +
Z
D
T : K nn ds
(C.7)
T : U dv =
Z
D
grad T grad U dv +
Z
D
T : grad U nn ds
(C.8)
D
Distorsions maximales en
anisotropie
Dans cette annexe, on calcule les quelques distorsions maximales voques en isotropie transverse
dans la section 5.4 [p. 74] (critres de limite lastique en isotropie transverse). La recherche
des diffrentes distorsions maximales donnant lieu des calculs algbriques fastidieux, on se
contente de donner la dmarche gnrale et les rsultats. Les calculs algbriques sont dtaills
dans une feuille de calcul donne en annexe H [p. 167] qui est excutable dans le logiciel de
calcul formel M ATHEMATICAr dans sa version 5.2.
U = i u i uui
i=1
o les valeurs propres ordonnes 1 > 2 > 3 > 0 sont les dilatations liniques principales
de cette dformation et o les trois vecteurs {uui } sont une base propre orthonorme directe du
tenseur U .
Rappels Toute direction matrielle u peut tre identifie par sa direction de rfrence u 0 (ou bien
U 0 = u 0 u0 ) ou par sa direction actuelle ut (ou bien U t = ut ut ). De mme, toute facette matrielle
peut tre identifie par sa normale de rfrence n 0 (ou bien N 0 = n 0 uu0 ) ou par sa normale actuelle
nt (ou bien N t = nt nt ).
Kl (uu) Kl (vv)
>1
Ks (nn)
Si a (uu,vv) = 1, il ny a pas de distorsion angulaire actuelle pour les deux directions matrielles
initialement orthogonales u 0 et v 0 ) cest--dire sin(uut ,vvt ) = 1. On rappelle que :
(1)
On choisit dutiliser ici le tenseur de dformation lagrangien U car il identifie les directions matrielles par leur
position initiale ; il est donc facile dcrire que les directions matrielles sont initialement orthogonales. On verra
dans la suite que ce choix est sans importance, car les rsultats sont des fonctions de dilatations liniques, surfaciques
ou volumiques exprimables avec tout tenseur de dformation.
(2) Voir le cours Cinmatique des milieux continus, du mme auteur [note 2 p. 3].
118
U uu0 k kU
U vv0 k kU
U w
w0 k
w) kU
Kl (uu) Kl (vv) Kl (w
=
>1
U
Kv
detU
a () nn0
kaa() nn0 k
n 0 uu0 ()
knn0 uu0 ()k
Le tridre (nn,uu0 (),vv0 ()) forme un tridre orthonorm. La distorsion angulaire du couple de
directions matrielles (nn0 ,uu0 ()) est donc :
a (nn,uu()) =
U nn0 k kU
U uu0 ()k
Kl (nn) Kl (uu()) kU
=
1
U kU
U vv0 ()k
Ks (vv())
detU
a max (nn,uu()) =
Kl (nn) Ks (nn)
Kv
o u () n
(D.1)
119
Ce maximum peut tre valu avec tout tenseur de dformation. Par exemple avec le tenseur de
dformation B :
1
(1)
a max (nn,uu()) = p
1
B : Nt B : Nt
Les directions matrielles sont initialement orthogonales la direction danisotropie
On cherche maintenant la distorsion angulaire maximale du couple de directions matrielles
initialement orthogonales (uu(),vv()) et restant orthogonal la direction danisotropie n . Sa
distorsion angulaire est :
a (uu(),vv()) =
U uu0 ()k kU
U vv0 ()k
Kl (uu()) Kl (v()) kU
=
1
U kU
U nn0 ()k
Ks (nn)
detU
a max (uu(),vv()) =
U 2 Kl (nn)2
trU
2 Ks (nn)
(D.2)
Ce maximum peut tre valu avec tout tenseur de dformation. Par exemple avec le tenseur de
dformation B :
B : N
1
t
(2)
B 1
a max (uu(),vv()) = trB
B : N t 2 detB
B
s max =
K s (nn)
Kl (nn)K
(1)
= a max
Kv
(2)
et s max =
U 2 Kl (nn)2
trU
(2)
= a max
2 Ks (nn)
Ces extrmums sont identiques ceux trouvs dans les distorsions angulaires maximales.
Avec quelques calculs, en comparant leurs carrs, on montre que :
(2)
(1)
(2)
(1)
(D.3)
E
Calculs du chapitre 3
La feuille de calcul reproduite dans les pages qui suivent dcrit le dtail des calculs dans la
construction du modle de comportement lastique isotrope prsent dans le chapitre 3 [p. 39].
Cette feuille de calcul est excutable dans le logiciel de calcul formel M ATHEMATICAr dans sa
version 5.2. Elle utilise, pour les quelques calculs tensoriels, des fonctionnalits de la bibliothque
Tens3D crite par lauteur pour pratiquer lalgbre et lanalyse tensorielle dans le cadre de la
physique classique dans des bases quelconques et des systmes de coordonnes quelconques.
Cette bibliothque (dveloppe dans la version 5.2 de M ATHEMATICAr ) est tlchargeable :
http://jgarrigues.perso.centrale-marseille.fr/tens3d.html
Cette feuille de calcul est largement commente. Les quations diffrentielles sont rsolues
en suivant la mme dmarche que celle que lon aurait suivie en calculant manuellement. Les
commentaires devraient permettre tout praticien dun autre logiciel de calcul formel de traduire
la feuille de calcul dans son propre langage, lexception des quelques oprations tensorielles
utilisant la bibliothque Tens3D, mais qui peuvent tre aisment traduites en oprations matricielles.
122
ModeleTKvDelta.nb
Needs@"Tens3D`"D
Raccourcis de notations :
In[2]:=
G = MetricTensor; B0 = CanonicalBasis;
Vecteurs de base :
In[3]:=
In[6]:=
Off@General::spellD
Une fonction qui change le nom des variables muettes dans une intgrale :
Le premier argument est une expression et le second est le nom dsir pour la variable muette
( Attention, cette fonction ne marche bien que si toutes les variables muettes K$xxx de expr ont le mme nom )
In[7]:=
Out[7]=
Function@8expr, var<,
HIf@ToString@Head@#1DD Integrate && StringMatchQ@ToString@#1P2, 1TD, K$D,
#1 . #1P2, 1T var, #1D &L @ exprD
123
ModeleTKvDelta.nb
Out[8]=
DevelopInt = Function@X,
If@ToString@Head@XDD "Integrate" H test si l' argument est une intgrale L ,
Distribute@Integrate@Expand@ X@@1DD D, X@@2DD DD,
X DH If : inchang sinon L
D
FunctionAX, IfAToString@Head@XDD Integrate, DistributeA Expand@XP1TD XP2TE, XEE
Exemple :
In[9]:=
X=
x2
x1
Out[9]=
x2 i
x1
In[10]:=
i
y1 Hh + b g@yDL y y
j
z
j
z
j
a + x2 +
z
x HIntegrate ne sait pas intgrerL
j
z
j
z
j
z
d + c@xD
k
{
x
y1 Hh + b g@yDL y y
j
z
2
j
j
z
z
j
z
ja + x +
z x
d + c@xD
k
{
x
DevelopInt@XD
x2 Hh + b g@yDL y
x13
x23
y1
a x1 + a x2 + +
x
3
3
d + c@xD
x1
x
Out[10]=
In[11]:=
MapAll@DevelopInt, XD
x2
x2
x2 b g@yD y
hx
x13
x23
h y1
y1
x +
a x1 + a x2 + +
x +
x
3
3
d
+
c@xD
d
+
c@xD
d + c@xD
x1
x1
x1
x
Out[11]=
124
ModeleTKvDelta.nb
SorsConst = Function@X,
If@ToString@Head@XDD "Integrate" && H test si l' argument est une intgrale L
ToString@Head@X@@1DDDD "Times", H et si l' intgrande est un produit L
Apply@Times,
Select@
Apply@List, X@@1DD D, H Apply@List, : transformation de l' intgrande en liste L
FreeQ@#, X@@2, 1DDD &
H FreeQ : test si l' lment ne contient pas la variable d' intgration L
D H Select : slection des lments constants L
D H Apply@Times, : produit des constantes L
H produit des constantes par l' intgrale restante L
Integrate@
Apply@Times,
Select@
Apply@List, X@@1DDD, H transformation de l' intgrande en liste L
! FreeQ@#, X@@2, 1DDD &
H !FreeQ : test si l' lment contient la variable d' intgration L
D H Select : slection des lments non constants L
D H Apply@Times, : produit des lments non constants L
, X@@2DDD H Integrate : intgration des lments non constant L
, XD H If : inchang sinon L
D
Out[12]=
Exemples :
x2
y1 b g@yD y
xE
d + c@xD
y2
In[13]:=
MapAllASorsConst,
Out[13]=
i
y y2
1
j
z g@yD y
b j
xz
k x1 d + c@xD
{ y1
In[14]:=
MapAll@DevelopInt, XD
x1
x2
x2
x2
x2 b g@yD y
x13
x23
hx
h y1
y1
a x1 + a x2 + +
x +
x +
x
3
3
d
+
c@xD
d
+
c@xD
d + c@xD
x1
x1
x1
x
Out[14]=
In[15]:=
Out[15]=
In[16]:=
Out[16]=
125
ModeleTKvDelta.nb
Out[17]=
Exemple :
In[18]:=
ArrangeInt@XD
x2
x2
x2 g@yD y
x13
x23
1
x
y1
a x1 + a x2 + h y1
x + h
x + b
x
3
3
d
+
c@xD
d
+
c@xD
x1
x1
x1 d + c@xD
x
Out[18]=
Out[19]=
x2
x1
f@xD x +
x2
f@xD x
x1
In[20]:=
% ArrangeInt
Out[20]=
$Assumptions = $Assumptions && T > 0 && T0 > 0 && Kv > 0 && > 1 && 0 > 0 ;
In[24]:=
In[25]:=
. EtatInitial . Conditions
Out[25]=
Entropie massique
In[26]:=
Out[26]=
126
ModeleTKvDelta.nb
In[27]:=
cond = 0 == s . EtatInitial
Out[27]=
In[28]:=
Out[28]=
In[29]:=
Out[29]=
Energie interne
In[30]:=
Out[30]=
g1@TD + g2@T, KvD + g3@T, Kv, D + T Hg1 @TD g2H1,0L @T, KvD g3H1,0,0L @T, Kv, DL
In[31]:=
Out[31]=
True
H0,0,1L
Out[32]=
0 g3
@T, Kv, D
0 g2H0,1L @T, KvD
+ 0 g3H0,1,0L @T, Kv, D
Kv
In[33]:=
Out[33]=
Dfinition tensorielle du tenseur des contraintes : (excution retarde (:=) car la valeur de B n'est pas encore dfinie)
In[34]:=
Out[35]=
8Kv 1, 1<
Tenseur de dformation
In[36]:=
B = G;
1 = ;
127
ModeleTKvDelta.nb
In[38]:=
Out[38]=
Out[39]=
In[40]:=
Out[40]=
In[41]:=
Out[41]=
Out[42]=
Rsolution de
eq1
In[43]:=
Out[43]=
In[44]:=
Out[44]=
g11 T T
In[45]:=
In[46]:=
cond = 0 == g1@T0D
Out[46]=
0 g11 T0
In[47]:=
g11 = 0;
RESULTAT :
128
ModeleTKvDelta.nb
In[48]:=
g1@TD
Out[48]=
T0
In[49]:=
Out[49]=
Q1Exp@TxD
g2H1,0L @Tx, 1D
g3H1,0,0L @Tx, 1, 1D
Tx T
Tx T
Tx
Tx
Tx
Tx2
T0
T0
T
X = g1@TD .
T Q1Exp@TxD
T Q1Exp @TxD
T
Tx > T
Tx Q1Exp@TD
Tx
Tx2
T0
T0
Q1Exp @TxD
g2H1,0L @Tx, 1D
g3H1,0,0L @Tx, 1, 1D
Tx T
Tx T
Tx + Q1Exp@TD
Tx
Tx
Tx
T0
T0
T0
Redfinition de g1 :
In[50]:=
g1 = Function@T, Evaluate@XDD
Out[50]=
FunctionAT,
T
T0
Q1Exp @TxD
g2H1,0L @Tx, 1D
g3H1,0,0L @Tx, 1, 1D
Tx T
Tx T
Tx + Q1Exp@TDE
Tx
Tx
Tx
T0
T0
T
Chemin2 = 8 1<
Out[51]=
8 1<
B = Kv ^ H2 3L G;
2 = ;
Out[54]=
Out[55]=
Out[56]=
129
ModeleTKvDelta.nb
g2)
In[57]:=
Out[57]=
Kv
In[58]:=
Out[58]=
In[59]:=
In[60]:=
g2@T, KvD
1 2Exp@T, KvxD Kvx
g21@TD +
0
Kv
Out[60]=
Condition sur g2 :
In[61]:=
cond = 0 == g2@T, 1D
Out[61]=
0 g21@TD
In[62]:=
Out[62]=
In[63]:=
RESULTAT :
In[64]:=
g2@T, KvD
1 2Exp@T, KvxD Kvx
0
Kv
Out[64]=
130
ModeleTKvDelta.nb
Position actuelle des particules (le vecteur OM a t prcdemment dfini dans la section Prparations) :
In[66]:=
xt = OM u;
gradient de la transformation
In[67]:=
Composantes de F :
In[68]:=
F Components MatrixForm
Note: Components in CanonicalBasis
Out[68]//MatrixForm=
i Kv13
j
j
j
j
j
j0
j
k0
Kv13
Kv13
0
0
0
Kv13
y
z
z
z
z
z
z
z
{
Tenseur de dformation
In[69]:=
B = F.F ; H "." et " " sont des oprateurs redfinis dans Tens3D L
Composantes de B :
In[70]:=
B Components MatrixForm
Note: Components in CanonicalBasis
Out[70]//MatrixForm=
Kv23 H1 + 2 L
i
j
j
j
j
j Kv23
j
j
k0
Kv23
Kv23
0
0
0
Kv23
y
z
z
z
z
z
z
z
{
relation entre et
In[71]:=
Out[71]=
HKv23 H3 + 2 LL
!!!!
3 3 Kv
In[72]:=
Solve@eq, D Simplify
Out[72]=
3
!!!! !!!!!!!!!!!!!!!!!!!!
!!!! !!!!!!!!!!!!!!!!!!!!
!!!!
99 3 1 + 23 =, 9 3 1 + 23 =, 9 $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3 H + 3 L 23% =,
2
32
3
3
3
!!!!
!!!!
!!!!
9 $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3 H + 3 L 23% =, 9 $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3 + H + 3 L 23% =, 9 $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3 + H + 3 L 23% ==
2
2
2
Expression de en fonction de la variable d'tat ( on peut toujours choisir e1 tel que > 0 )
In[73]:=
!
!!!! !!!!!!!!!!!!!!!!!!!!
3 1 + 23 ;
131
ModeleTKvDelta.nb
In[74]:=
10
B Components MatrixForm
Note: Components in CanonicalBasis
Out[74]//MatrixForm=
i Kv23 H2 + 3 23 L
j
j
j
!!!!!!!!!!!!!!!!!!!!
!!!!
j
j
j 3 Kv23 1 + 23
j
j
0
k
!!!!!!!!!!!!!!!!!!!!
!!!!
3 Kv23 1 + 23
Kv23
0
0
Kv23
y
z
z
z
z
z
z
z
z
{
3 = ;
In[76]:=
comp3 = 3 Components;
Note: Components in CanonicalBasis
In[78]:=
Out[78]=
Out[79]=
In[80]:=
Out[80]=
In[81]:=
Condition sur g3
In[82]:=
Out[82]=
0 g31@T, KvD
In[83]:=
Out[83]=
132
ModeleTKvDelta.nb
In[84]:=
11
RESULTAT :
In[85]:=
g3@T, Kv, D
3Exp@T,Kv,xD
Kv 1
!!!!!!!!!!!!!!!!!!!!!!!!
! x
1+x23 x13
!!!!
3 0
Out[85]=
Rcapitulation
In[86]:=
Conditions
Out[86]=
2Exp@T0, 1D
9Q1Exp@T0D 0, 0 0, 0 0, 0 0,
0=
0
In[87]:=
Out[87]=
9T
In[88]:=
Q1Exp @TxD
Tx + Q1Exp@TD, 0=
Tx
T0
T
Out[88]=
In[89]:=
Out[89]=
Fonctiond d'tat
Energie libre massique de Helmholtz
In[90]:=
Kv
3Exp@T,Kv,xD
T
Kv 1
!!!!!!!!!!!!!!!!!!!!!!!!
! x
1 2Exp@T, KvxD Kvx
Q1Exp @TxD
1+x23 x13
+
T
Tx + Q1Exp@TD
!!!!
0
Tx
3 0
T0
Out[90]=
Entropie massique
In[91]:=
Out[91]=
Kv
3Exp
@T,Kv,xD
Kv 1
x
!!!!!!!!!!!!!!!!!!!!!!!!
!
1 2ExpH1,0L @T, KvxD Kvx
Q1Exp @TxD
1+x23 x13
Tx
!!!
!
Tx
0
3 0
T0
T
Energie interne
H1,0,0L
133
ModeleTKvDelta.nb
In[92]:=
12
e = e Simplify Expand
Kv
3Exp@T,Kv,xD
Kv 1
!!!!!!!!!!!!!!!!!!!!!!!!
! x
1 2Exp@T, KvxD Kvx
1+x23 x13
+
!!!!
0
3 0
Out[92]=
Kv
3Exp
@T,Kv,xD
Kv T 1
x
!!!!!!!!!!!!!!!!!!!!!!!!
!
T 1 2ExpH1,0L @T, KvxD Kvx
1+x23 x13
+ Q1Exp@TD
!!!
!
0
3 0
H1,0,0L
K0 = K0 Expand
3Exp@T,Kv,xD
3Exp
@T,Kv,xD
Kv 1
x
1
!!!!!!!!!!!!!!!!!!!!!!!!
! x
!!!!!!!!!!!!!!!!!!!!!!!!
!
23 3Exp@T, Kv, D
1+x23 x13
1+x23 x13
+ 2Exp@T, KvD
!!!! +
!!!
!
!!!! !!!!!!!!!!!!!!!!!!!!
3
3
3 1 + 23
Out[93]=
In[94]:=
K1
Out[94]=
3Exp@T, Kv, D
!!!!!!!!!!!!!!!!!!!!
!!!!
3 Kv23 1 + 23
H0,1,0L
Out[95]=
ep = D@e, TD Tp + D@e, KvD Kvp + D@e, D p Simplify Collect@#, 8Tp, Kvp, p<D &
3ExpH2,0,0L @T,Kv,xD
Kv
!!!!
Tp I3 T 1 2ExpH2,0L @T, KvxD Kvx 3 Kv T 1
x + 3 0 Q1Exp @TDM
!!!!!!!!!!!!!!!!!!!!!!!!
!
1+x23 x13
+
3 0
yy
3ExpH1,1,0L @T, Kv, xD
!!!!
zz
z+
3 Kv T
x + 3 2Exp@T, KvD 3 T 2ExpH1,0L @T, KvDz
!!!!!!!!!!!!!!!!!!!!!!!
{{
1 + x23 x13
1
Out[96]=
H0,1,0L
eq = 0 D@moy3, D Simplify
Out[97]=
134
ModeleTKvDelta.nb
In[98]:=
Out[98]=
C@1D@T, D
993Exp FunctionA8T, Kv, <,
E==
Kv
In[99]:=
Out[99]=
3Exp1@T, D
993Exp FunctionA8T, Kv, <,
E==
Kv
In[100]:=
hypothese2 = sol@@1DD
Out[100]=
3Exp1@T, D
93Exp FunctionA8T, Kv, <,
E=
Kv
In[101]:=
3Exp1@T, D
Kv
Sous l'hypothse 2, il suffit de faire l'exprience CH3L sans dilatation sphrique initiale : on mesure 3ExpKv1[T,]
In[102]:=
3Exp1@T,xD
1
!!!!!!!!!!!!!!!!!!!!!!!!
! x
1+x23 x13
!!!!
3 0
In[103]:=
K0 . hypothese2 ArrangeInt
Out[103]=
23 3Exp1@T, D
2Exp@T, KvD
!!!!!!!!!!!!!!!!!!!!
!!!!
3 Kv 1 + 23
In[104]:=
K1 . hypothese2 ArrangeInt
Out[104]=
3Exp1@T, D
!!!!!!!!!!!!!!!!!!!!
!!!!
3 Kv53 1 + 23
In[105]:=
+ Q1Exp @TDz
+
j
z
!!!!
j
z
0
j
z
3 0
k
{
2Exp@T, KvD
T 2ExpH1,0L @T, KvD z
i
3Exp1@T, D
T 3Exp1H1,0L @T, D y
i
Kvp j
y
z
j
z + p j
j
z
!!!! !!!!!!!!!!!!!!!!!!!!
!!!! !!!!!!!!!!!!!!!!!!!!
0
0
3 1 + 23 13 0 {
k
{
k 3 1 + 23 13 0
13
135
ModeleTKvDelta.nb
14
B = H Kv5Exp@TD ^ H2 3LL G;
In[107]:=
5 = ;
In[108]:=
H0,1,0L
3Exp@T,Kv,xD
3Exp
@T,Kv,xD
Kv 1
x
1
!!!!!!!!!!!!!!!!!!!!!!!!
! x
!!!!!!!!!!!!!!!!!!!!!!!!
!
1+x23 x13
1+x23 x13
+
!!!! +
!!!
!
3
3
23
Kv5Exp@TD
H
3Exp@T, Kv, D
23 3Exp@T, Kv, D
Kv L
2Exp@T, KvD
+
!!!! !!!!!!!!!!!!!!!!!!!!
!!!! !!!!!!!!!!!!!!!!!!!!
23
3 1 +
3 1 + 23
0 2Exp@T, Kv5Exp@TDD
quation thermique ( conservation de l'nergie, forme globale, le travail reu est nul )
In[110]:=
Kv5Exp@TD
99Q1Exp
1
2Exp@T, KvxD Kvx + T 1
2ExpH1,0L @T, KvxD Kvx + 0 Q5Exp@TD
FunctionA8T<,
E==
0
Kv5Exp@TD
Kv5Exp@TD
In[112]:=
Kv5Exp@TD
136
ModeleTKvDelta.nb
15
In[113]:=
T > 0 && T0 > 0 && Kv > 0 && > 1 && 0 > 0 && 1 > 0 && 2 > 0
V Components MatrixForm
Note: Components in CanonicalBasis
Out[116]//MatrixForm=
1
i
j
j
j
j
j0
j
k0
0
2
0
0
0
2
y
z
z
z
z
z
z
{
Kv6 = I3@VD
Out[117]=
1 22
H12 + 2 22 L
!!!
!
3 3 1 22
B = V.V;
6 = ;
137
ModeleTKvDelta.nb
16
In[121]:=
80, 0, 0<
True
32
I12 +2 22 M
32
!!!!!
3Exp@T,1 2 ,xD
3Exp
@T,1 2 ,xD
3 1 22
x
1 22 1 3 !!!!!
1 3 3 1 22
!!!!!!!!!!!!!!!!!!!!!!!!
!
!!!!!!!!!!!!!!!!!!!!!!!!
! x
1+x23 x13
1+x23 x13
0
+
+ 2Exp@T, 1 22 D +
!!!!
!!!!
3
3
H0,1,0L
H1 +2 2 L
H1 +2 2 L
H1 +2 2 L
22 3ExpAT, 1 22 ,
I
M
3ExpAT, 1 22 ,
!!!!! E
!!!!! E
1 22
3 3 1 22
3 3 1 22
23
23
23
!!!!
!!!! $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
H12 +2 22 L32
H12 +2 22 L32
1
1
$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3 H1 22 L
1 +
I
M
3
3
1
+
I
M
2
2
3
3
1 2
1 2
2
2 32
2 32
23
2 32
6Exp
I12 +2 22 M
I12 +2 22 M
32
32
!!!!!
3Exp@T,1 2 ,xD
3Exp
@T,1 2 ,xD
3 1 22
x
1 22 1 3 !!!!!
1 3 3 1 22
!!!!!!!!!!!!!!!!!!!!!!!!
!
!!!!!!!!!!!!!!!!!!!!!!!!
! x
1+x23 x13
1+x23 x13
+
+ 2Exp@T, 1 22 D +
!!!!
!!!!
3
3
H0,1,0L
H1 +2 2 L
H1 +2 2 L
H1 +2 2 L
12 3ExpAT, 1 22 ,
I
M
3ExpAT, 1 22 ,
!!!!! E
!!!!! E
1 22
3 3 1 22
3 3 1 22
23
23
32
32
!!!!
!!!! $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2 23 $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
H12 +2 22 L
H12 +2 22 L
1
1
3 H1 2 L
1 +
M
3 3
1 +
M
3 I
3 I
1 22
1 22
2
2 32
2 32
23
2 32
138
ModeleTKvDelta.nb
17
In[126]:=
32
H12 + 2 22 L
sol = SolveAcond1, 3ExpAT, 1 22 ,
EE
!!!!
3 3 1 22
Out[126]=
H12 + 2 22 L
993ExpAT, 1 22 ,
E
!!!
!
3 3 1 22
32
32
I12 +2 22 M
!!!!
!
3ExpAT,1 22 ,xE
3 3 1 22
!!!!!!!!!!!!!!!!!!!!!!!!!!!
!
1+x23 x13
1
32
I12 +2 22 M
!!!!!
3ExpH0,1,0L AT,1 22 ,xE
3 3 1 22
!!!!!!!!!!!!!!!!!!!!!!!!!!!
!
1+x23 x13
1
1 22
+
+ 2Exp@T, 1 22 D
!!!!
!
!!!!!
3
3
==
2
2 32 23
x
H1 +2 2 L
J
N
2
1 22
+
23
!!!!!
1
H12 +2 22 L32
3 H1 22 L23 $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1+
3 J
2 N
1 2
23
!!!!!
1
H12 +2 22 L32
3 3 $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1+
3 J
2 N
1 2
In[127]:=
H12 + 2 22 L
1
93ExpAT, 1 22 ,
E
!!!
!
12 22
3 3 1 22
32
I12 +2 22 M
i
i
!!!!!
j
3 3 1 22
j
j
12 + 2 22 j
3Exp@T, 1 22 , xD
!!!!
2 23 $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
j
j
j
j
H1
2
L
3
+
3
x +
j
j
!!!!!!!!!!!!!!!!!!!!!!!
23
43 j
j
2
1
j
j
1 + x23 x13
1
k
k
32
!!!!
3 1 22
32
I12 +2 22 M
3 3 1 2
!!!!! 2
y
y
z
zz
z
3ExpH0,1,0L @T, 1 22 , xD
2 z
z
z
z
x
+
3
2Exp@T,
1
2
D
z
z=
!!!!!!!!!!!!!!!!!!!!!!!
z
zz
z
1 + x23 x13
{{
6Exp
32
I12 +2 22 M
3 3 1 2
!!!!
3
2
!!!!!
!!!!
3 1 22
32
I12 +2 22 M
3 3 1 2
2
!!!!!
3Exp@T, 1 22 , xD
x +
!!!!!!!!!!!!!!!!!!!!!!!
1 + x23 x13
3ExpH0,1,0L @T, 1 22 , xD
x + 3 2Exp@T, 1 22 D
!!!!!!!!!!!!!!!!!!!!!!!
1 + x23 x13
23 "################################
2
H12 +2 22 L
12 +2 2
3Exp1AT,
!!!!! E
3 H1 22 L
3 +
2Exp@T, 1 22 D
3 3 1 22
123 243
9
=
1 22
12 22
32
In[130]:=
6Exp 3 2Exp@T, 1 22 D
139
ModeleTKvDelta.nb
18
T > 0 && T0 > 0 && Kv > 0 && > 1 && 0 > 0 && 1 > 0 && 2 > 0 && 0 > 0
In[132]:=
T
M
T0
3Exp1 = FunctionA8T, <, 0 b I1
E; H proportionnalit L
In[133]:=
3Exp1@T, D
Out[133]=
T
!!!!!!!!!!!!!!!!!!!!
!!!! b H1
T0 L
3
1 + 23 0
T
!!!!!!!!!!!!!!!!!!!!
!!!! b H1
T0 L
3
1 + 23 0
Kv
T > 0 && T0 > 0 && Kv > 0 && > 1 && 0 > 0 && 1 > 0 && 2 > 0 && 0 > 0 && 0 > 0
In[136]:=
T
M
T0
2Exp = FunctionA8T, Kv<, 1Exp@TD + 0 a I1
Log@KvDE
Out[136]=
T
T0 L Log@KvDE
FunctionA8T, Kv<, 1Exp@TD + 0 a H1
T > 0 && T0 > 0 && Kv > 0 && > 1 && 0 > 0 && 1 > 0 && 2 > 0 && 0 > 0 && 0 > 0 && Cp > 0
140
ModeleTKvDelta.nb
19
T > 0 && T0 > 0 && Kv > 0 && > 1 && 0 > 0 && 1 > 0 &&
2 > 0 && 0 > 0 && 0 > 0 && Cp > 0 && > 0 && 1 + HT T0L > 0
In[140]:=
eq = 2Exp@T, Kv5Exp@TDD 0
Out[142]=
T
a H1
In[144]:=
1Exp@TD
Out[145]=
T
T0 L 0 Log@H1 + HT T0L L3 D
a H1
141
ModeleTKvDelta.nb
20
T0
Ia
0 HHKv + H1 + T T0 L3 L Ha T H1 + T T0 L T0 H1 + 2 T + T0 LL +
aT
Entropie
In[147]:=
T0
T0
T0
I
ICp
T0 H1 T + T0 L 0 Log@TD Cp
T0 H1 T + T0 L 0 Log@T0D
aT
aT
aT
a2 H1 T0 + Tx L2 L + a2 H1 T0 + Tx L2 Log@H1 + T0 Tx L3 DLNNN,
8Tx, T0, T<, Assumptions Cp > 0 && Kv > 0 && T > 0 && T0 > 0 && > 0 && 1 + T > T0 &&
> 1 && 1 > 0 && 2 > 0 && 0 > 0 && 0 > 0 && 0 > 0 && T T0EE +
aT
1
T0
0 Ha Kv H1 + T T0 L Log@KvD +
Ia
T0 H1 T + T0 L 0
H1 + KvL Ha + a T 3 T0 a T0 + 3 a H1 + T T0 L Log@1 + T T0 DLLM
Il semble que Mathematica fasse une discussion inutile sur le signe de T-T0 ...
In[148]:=
T0
T0
T0
I
ICp
T0 H1 T + T0 L 0 Log@TD Cp
T0 H1 T + T0 L 0 Log@T0D
aT
aT
aT
142
ModeleTKvDelta.nb
21
In[149]:=
T0 H1 + 23 L 0
3 b b
+
T0 0
aT
T0 0 Log@1 + T T0 D
3 a a
+
Cp Log@TD Cp Log@T0D
T0 0
aT
1
T0
Ia
0 Ha Kv H1 + T T0 L Log@KvD +
T0 H1 T + T0 L 0
H1 + KvL Ha + a T 3 T0 a T0 + 3 a H1 + T T0 L Log@1 + T T0 DLLM
In[150]:=
0
In[151]:=
T0 H1 + 23 L 0
3 b b
T
1
+ Cp LogA E +
T0 H1 + T T0 L 0
T0 0
T0
aT
T0
Ia
0 HHa + a T 3 T0 a T0 L HKv + H1 + T T0 L3 L +
H1 + 23 L 0
T0
3 b
T
+ Cp IT T0 T LogA EM +
0
T0
aT
1
T0
Ia
0 H1 Kv + 3 T 3 T0 + 3 T2 2 6 T T0 2 + 3 T02 2 +
0
3 3
T 3 T2 T0 3 + 3 T T02 3 T03 3 + Kv Log@KvD 3 Kv Log@1 + T T0 DLM
Loi de comportement
In[153]:=
23 0
aT
T0
b
T0
+ a
0 HLog@KvD 3 Log@1 + T T0 DL
Kv
In[154]:=
K1Id = K1 . hypothese2
Out[154]=
T
T0 L 0
b H1
Kv53
143
ModeleTKvDelta.nb
22
epId =
ep . hypothese2 Collect@#, 8Tp, Kvp, p, Cp, 0, 0, Log@KvD, Log@1 + T T0 D<, SimplifyD &
Out[169]=
a
T
a
a
T
a
T0 Ha T+T0L Log@KvD
3 T0 HT T0 +Ha T+T0L H1+T T0 L Log@1+T T0 DL
bT
Kvp 0 J
+
N
Hb T + T0L p 0
T0
T0
T0 H1T +T0
L
b
+
+
13
0
0
T0
T H1 + 23 L 0
i
T0
1 i 3 b2 b
jCp + j
j
+
Tp j
0 k
2 T02
k
aT
i
1
1
i
i
j a
j
T0
0 j
j
T j9
2 H1 + T T0 L3 2 HHT T0L H3 +
2 j
T0
k
k H1 + T T0 L k
HT T0L H3 + T T0 LL H3 T02 2 + Ha + a HT T0L L2 + 6 a T0 H1 T + T0 LLL +
bT
H1 + KvL H3 T02 2 + a2 H1 + T T0 L2 + 6 a T0 H1 T + T0 LL z
y
yz
T02
{{
aT
aT
Kv T Log@KvD
Kv T Log@1 + T T0 D yyy
T0
T0
a2 a
3 a2 a
zz
z
+
z
zz
T02
T02
{{{
3 H1 + 23 L 0
1
Cp HT T0L +
H1 T + T0 L 0
0
H0 HH1 + 2 T + T0 L HKv + H1 + T T0 L3 L + Kv H1 + T T0 L Log@KvD
3 Kv H1 + T T0 L Log@1 + T T0 DLL
In[171]:=
3 HKv + H1 + T T0 L3 L 0
T
+ Cp LogA E
H1 + T T0 L 0
T0
In[172]:=
Id . a 0 . b 0 Map@Simplify, #D &
Out[172]=
3 H1 + 23 L 0
T
1
Cp IT + T0 + T LogA EM +
0
T0
0
H0 H1 Kv + 3 T 3 T0 + 3 T2 2 6 T T0 2 + 3 T02 2 + T3 3
3 T2 T0 3 + 3 T T02 3 T03 3 + Kv Log@KvD 3 Kv Log@1 + T T0 DLL
In[173]:=
23 0
+ 0 HLog@KvD 3 Log@1 + T T0 DL
Kv
In[174]:=
0
Kv53
144
ModeleTKvDelta.nb
23
Coefficient de Tp
In[182]:=
3 Kv T
I
6 T 2 H1 + T T0 LM 0
H1+T T0 L2
Cp +
0
Coefficient de Kvp
In[177]:=
Coefficient de p
In[178]:=
Coefficient@epId2, pD
Out[178]=
0
13 0
F
Calculs du chapitre 4
Les feuilles de calcul reproduites dans les pages qui suivent dcrivent le dtail des calculs
dintgration des systmes diffrentiels du chapitre 4 [p. 55].
Elles sont excutables dans le logiciel de calcul formel M ATHEMATICAr version 5.2.
Ces feuilles de calcul sont largement commentes. Les quations diffrentielles sont rsolues
en suivant la mme dmarche que celle que lon aurait suivie en calculant manuellement. Les
commentaires devraient permettre tout praticien dun autre logiciel de calcul formel de traduire
les feuilles de calcul dans son propre langage, lexception des quelques oprations tensorielles utilisant la bibliothque Tens3D, mais qui peuvent tre aisment traduites en oprations
matricielles.
146
PsiHooke.nb
Off@General::spellD
In[2]:=
$Assumptions = $Assumptions && T > 0 && 1 Reals && 2 Reals && 3 Reals
Out[2]=
eq1 = 0
H0,0,0,1L
Out[3]=
In[4]:=
eq2 = 2
0 H1 1L
H2 D@@T, 1, 2, 3D, 1D + H 2 1 1L D@@T, 1, 2, 3D, 2D 1 D@@T, 1, 2, 3D, 3DL
Out[4]=
2
H1 1L 0 H1 H0,0,0,1L @T, 1, 2, 3D + H1 + 2 1L H0,0,1,0L @T, 1, 2, 3D + 2 H0,1,0,0L @T, 1, 2, 3DL
In[5]:=
eq3 = 1 H3 + 2 L HT T0L
0 H1 1L
HD@@T, 1, 2, 3D, 1D + 1 D@@T, 1, 2, 3D, 2D + H2 + 2 3L D@@T, 1, 2, 3D, 3DL
Out[5]=
1 HT T0L H3 + 2 L
H1 1L 0 HH2 + 2 3L H0,0,0,1L @T, 1, 2, 3D + 1 H0,0,1,0L @T, 1, 2, 3D + H0,1,0,0L @T, 1, 2, 3DL
Rsolution
Elimination de D[[T,1,2,3],3]
In[6]:=
Out[6]=
In[7]:=
Out[7]=
2 H1 1L 0
H2 1 H0,0,1,0L @T, 1, 2, 3D + H1 + 2 1L H0,0,1,0L @T, 1, 2, 3D + 2 H0,1,0,0L @T, 1, 2, 3DL
In[8]:=
Out[8]=
1 HT T0L H3 + 2 L
H1 1L 0 H1 H0,0,1,0L @T, 1, 2, 3D + 2 H2 + 2 3L H0,0,1,0L @T, 1, 2, 3D + H0,1,0,0L @T, 1, 2, 3DL
Elimination de D[[T,1,2,3],2]
In[9]:=
Out[9]=
99H0,0,1,0L @T, 1, 2, 3D
147
PsiHooke.nb
In[10]:=
Out[10]=
H1 HT T0L H3 + 2 LL
H1 1L H2 H1 + 2 2 + 4 3L + H1 + 1L H1 + 2 1 + 4 2 + 8 3L 0 H0,1,0,0L @T, 1, 2, 3DL
1 + 1
Out[11]=
99 FunctionA8T, 1, 2, 3<,
1
H2 H3 HT + T0L 2 + 2 H1 + 2 2 + 4 3L + H1 2 T + 2 T0 LL Log@1 + 1D +
H6 + 8 2 + 16 3L 0
2
H6 HT T0L + 2 + H1 + 4 2 + 8 3 + 4 T 4 T0 LL
Log@1 + 2 1 + 4 2 + 8 3DL + C@1D@T, 2, 3DE==
Changement de nom
In[12]:=
Out[12]=
99 FunctionA8T, 1, 2, 3<,
1
H2 H3 HT + T0L 2 + 2 H1 + 2 2 + 4 3L + H1 2 T + 2 T0 LL Log@1 + 1D +
H6 + 8 2 + 16 3L 0
2
H6 HT T0L + 2 + H1 + 4 2 + 8 3 + 4 T 4 T0 LL
Log@1 + 2 1 + 4 2 + 8 3DL + f1@T, 2, 3DE==
Assignation de la solution
In[13]:=
Out[13]=
FunctionA8T, 1, 2, 3<,
1
H2 H3 HT + T0L 2 + 2 H1 + 2 2 + 4 3L + H1 2 T + 2 T0 LL Log@1 + 1D +
H6 + 8 2 + 16 3L 0
H6 HT T0L 2 + 2 + H1 + 4 2 + 8 3 + 4 T 4 T0 LL Log@1 + 2 1 + 4 2 + 8 3DL + f1@T, 2, 3DE
In[15]:=
Out[15]=
Changement de nom
In[16]:=
Out[16]=
Assignation de la solution
148
PsiHooke.nb
In[17]:=
Out[17]=
Rsolution de eq1
In[18]:=
Out[18]=
f2H0,1L @T, 3D
In[19]:=
Out[19]=
Changement de nom
In[20]:=
Out[20]=
Assignation de la solution
In[21]:=
Out[21]=
Rsultat
In[22]:=
Out[22]=
@T, 1, 2, 3D Simplify
1
H2 H1 + 1L 0 f3@TD 2 H1 + 1L Log@1 + 1D +
2 H1 + 1L 0
H1 3 T0 2 + 2 T0 + T H3 + 2 LL Log@1 + 2 1 + 4 2 + 8 3DL
Vrifications :
In[23]:=
eq1 Simplify
Out[23]=
True
In[24]:=
eq2 Simplify
Out[24]=
True
In[25]:=
eq3 Simplify
Out[25]=
True
Out[26]=
f3@TD +
HT T0L H3 + 2 L Log@KvD
1 Log@KvD
HLog@KvD H1 + 1L Log@1 + 1DL
+
+
H1 + 1L 0
0 1 0
H1 + 1L 0
149
PsiHookeRho0.nb
Approximation r=r0
In[1]:=
Off@General::spellD
In[2]:=
$Assumptions = $Assumptions && T > 0 && 1 Reals && 2 Reals && 3 Reals
Out[2]=
eq1 = 0
H0,0,0,1L
Out[3]=
In[4]:=
eq2 = 2
0 H2 D@@T, 1, 2, 3D, 1D + H 2 1 1L D@@T, 1, 2, 3D, 2D 1 D@@T, 1, 2, 3D, 3DL
Out[4]=
In[5]:=
eq3 = 1 H3 + 2 L HT T0L
0 HD@@T, 1, 2, 3D, 1D + 1 D@@T, 1, 2, 3D, 2D + H2 + 2 3L D@@T, 1, 2, 3D, 3DL
Out[5]=
1 HT T0L H3 + 2 L
0 HH2 + 2 3L H0,0,0,1L @T, 1, 2, 3D + 1 H0,0,1,0L @T, 1, 2, 3D + H0,1,0,0L @T, 1, 2, 3DL
Rsolution
Elimination de D[[T,1,2,3],3]
In[6]:=
Out[6]=
In[7]:=
Out[7]=
In[8]:=
Out[8]=
1 HT T0L H3 + 2 L
0 H1 H0,0,1,0L @T, 1, 2, 3D + 2 H2 + 2 3L H0,0,1,0L @T, 1, 2, 3D + H0,1,0,0L @T, 1, 2, 3DL
Elimination de D[[T,1,2,3],2]
In[9]:=
Out[9]=
99H0,0,1,0L @T, 1, 2, 3D
In[10]:=
Out[10]=
H1 HT T0L H3 + 2 LL
2 H1 + 2 2 + 4 3L + H1 + 2 1 + 4 2 + 8 3L 0 H0,1,0,0L @T, 1, 2, 3D
150
PsiHookeRho0.nb
Changement de nom
In[12]:=
Out[12]=
Assignation de la solution
In[13]:=
Out[13]=
FunctionA8T, 1, 2, 3<,
J
1
0
1
1
H1 + 2 1 + 4 2 + 8 3L H + 2 L +
H 4 2 8 3 6 T 2 + 6 T0 2 2 4 T + 4 T0 L
4
4
Log@1 + 2 1 + 4 2 + 8 3DN + f1@T, 2, 3DE
Out[14]=
2 + 0 f1H0,1,0L @T, 2, 3D
In[15]:=
Out[15]=
Log@1 + 2 1 + 4 2 + 8 3D
H1 2 1 4 2 8 3L
4 0
2 2
H1 + 2 1 + 4 2 + 8 3L Log@1 + 2 1 + 4 2 + 8 3D
+
+ C@1D@T, 3DE==
0
4 0
Changement de nom
In[16]:=
Out[16]=
+
+ f2@T, 3DE==
4 0
0
4 0
Assignation de la solution
In[17]:=
Out[17]=
FunctionA8T, 2, 3<,
H1 2 1 4 2 8 3L
H1 + 2 1 + 4 2 + 8 3L Log@1 + 2 1 + 4 2 + 8 3D
2 2
+
+ f2@T, 3DE
4 0
0
4 0
151
PsiHookeRho0.nb
Rsolution de eq1
In[18]:=
Out[18]=
In[19]:=
Out[19]=
4 3
+ C@1D@TDE==
0
Changement de nom
In[20]:=
Out[20]=
4 3
+ f3@TDE==
0
Assignation de la solution
In[21]:=
Out[21]=
FunctionA8T, 3<,
4 3
+ f3@TDE
0
Rsultat
In[22]:=
Out[22]=
@T, 1, 2, 3D Simplify
+ 2 1 + 2 0 f3@TD + H1 + 3 T0 2 + 2 T0 T H3 + 2 LL Log@1 + 2 1 + 4 2 + 8 3D
2 0
Vrifications :
In[23]:=
eq1 Simplify
Out[23]=
True
In[24]:=
eq2 Simplify
Out[24]=
True
In[25]:=
eq3 Simplify
Out[25]=
True
Out[26]=
f3@TD +
H1 + 2 1 2 Log@KvDL
1 Log@KvD
HT T0L H3 + 2 L Log@KvD
+
2 0
0
0
152
153
PsiEpsilonV.nb
Off@General::spellD
In[1]:=
$Assumptions =
$Assumptions && T > 0 && 1 Reals && 2 Reals && 3 Reals
Out[1]=
eq1 = 0
H0,0,0,1L
Out[2]=
In[3]:=
eq2 = 2 H1 + 1 + 2 + 3L
0 H D@@T, 1, 2, 3D, 1D
H 1 1 L D@@T, 1, 2, 3D, 2D 1 D@@T, 1, 2, 3D, 3DL
Out[3]=
2 H1 + 1 + 2 + 3L 0 H1 H0,0,0,1L @T, 1, 2, 3D
H1 1L H0,0,1,0L @T, 1, 2, 3D + H0,1,0,0L @T, 1, 2, 3DL
In[4]:=
eq3 = H 1 H3 + 2 L HT T0LL H1 + 1 + 2 + 3L
0 HD@@T, 1, 2, 3D, 1D + 1 D@@T, 1, 2, 3D, 2D +
H2 + 3L D@@T, 1, 2, 3D, 3DL
Out[4]=
H1 + 1 + 2 + 3L H1 HT T0L H3 + 2 LL
0 HH2 + 3L H0,0,0,1L @T, 1, 2, 3D +
1 H0,0,1,0L @T, 1, 2, 3D + H0,1,0,0L @T, 1, 2, 3DL
Rsolution
Elimination de D[[T,1,2,3],3]
In[5]:=
Out[5]=
In[9]:=
Out[9]=
In[10]:=
Out[10]=
H1 + 1 + 2 + 3L H1 HT T0L H3 + 2 LL
0 H1 H0,0,1,0L @T, 1, 2, 3D + H2 + 3L H0,0,1,0L @T, 1, 2, 3D +
H0,1,0,0L @T, 1, 2, 3DL
Elimination de D[[T,1,2,3],2]
In[11]:=
Out[11]=
99H0,0,1,0L @T, 1, 2, 3D
2 2 1 2 2 2 3 + 0 H0,1,0,0L @T, 1, 2, 3D
==
0
In[12]:=
Out[12]=
H1 + 1 + 2 + 3L H1 HT T0L H3 + 2 LL
H1 + 1 + 2 + 3L H2 H1 + 2 + 3L 0 H0,1,0,0L @T, 1, 2, 3DL
154
PsiEpsilonV.nb
Out[13]=
99 FunctionA8T, 1, 2, 3<,
3 T 1
3 T0 1
12
2 T 1
+
+
+
2 0
0
0
0
2 T0 1
12
2 1 2
2 1 3
+
+
+
+ C@1D@T, 2, 3DE==
0
0
0
0
Changement de nom
In[14]:=
Out[14]=
99 FunctionA8T, 1, 2, 3<,
3 T 1
3 T0 1
12
2 T 1
+
+
+
0
0
2 0
0
2 T0 1
12
2 1 2
2 1 3
+
+
+
+ f1@T, 2, 3DE==
0
0
0
0
Assignation de la solution
In[15]:=
Out[15]=
FunctionA8T, 1, 2, 3<,
3 T 1
3 T0 1
12
+
+
0
0
2 0
2 T 1
2 T0 1
12
2 1 2
2 1 3
+
+
+
+
+ f1@T, 2, 3DE
0
0
0
0
0
Out[16]=
1 + T0 H3 + 2 L
In[17]:=
Out[17]=
2 H1 + 1L + T H3 + 2 L + 0 f1H0,1,0L @T, 2, 3D
N+
2 J
0
0
0
0
0
0
0
C@1D@T, 3DE==
Changement de nom
In[18]:=
Out[18]=
N+
0
0
0
0
0
0
0
f2@T, 3DE==
Assignation de la solution
In[19]:=
Out[19]=
FunctionA8T, 2, 3<,
3T
3 T0
1
2
2T
2 T0
2 1
2 J
+
+
N + f2@T, 3DE
0
0
0
0
0
0
0
Rsolution de eq1
In[20]:=
Out[20]=
In[21]:=
Out[21]=
N+
0
0
0
0
0
0
0
C@1D@TDE==
Changement de nom
155
PsiEpsilonV.nb
In[22]:=
Out[22]=
N+
0
0
0
0
0
0
0
f3@TDE==
Assignation de la solution
In[23]:=
Out[23]=
FunctionA8T, 3<,
3T
3 T0
1
2
2T
2 T0
2 1
+
+
N + f3@TDE
3 J
0
0
0
0
0
0
0
Rsultat
In[24]:=
Out[24]=
@T, 1, 2, 3D Simplify
1
H6 T0 1 + 12 + 6 T0 2 + 2 1 2 +
2 0
6 T0 3 + 2 1 3 + 4 T0 1 + 2 12 4 2 + 4 T0 2
4 3 + 4 T0 3 2 T H1 + 2 + 3L H3 + 2 L + 2 0 f3@TDL
Vrifications :
In[25]:=
eq1 Simplify
Out[25]=
True
In[26]:=
eq2 Simplify
Out[26]=
True
In[27]:=
eq3 Simplify
Out[27]=
True
Out[32]=
2 0
0
HT T0L H1 + 2 + 3L H3 + 2 L
+ f3@TD
0
G
Calculs en isotropie transverse
La feuille de calcul reproduite dans les pages qui suivent dcrit le dtail des calculs en isotropie
transverse du chapitre 5 [p. 67].
Elle est excutable dans le logiciel de calcul formel M ATHEMATICAr version 5.2.
Cette feuille de calcul est largement commente. Les quations diffrentielles sont rsolues
en suivant la mme dmarche que celle que lon aurait suivie en calculant manuellement. Les
commentaires devraient permettre tout praticien dun autre logiciel de calcul formel de traduire
la feuille de calcul dans son propre langage, lexception des quelques oprations tensorielles
utilisant la bibliothque Tens3D, mais qui peuvent tre aisment traduites en oprations matricielles.
158
IsoTrans.nb
Off@General::spellD Off@General::spellD;
In[2]:=
Out[3]=
B = 2 0 Sqrt@B3D H
B3 dB3B G + H dB1B + B1 dB2BL B dB2B B.B +
dI1BB HNt.B + B.Nt I1B NtL + dI2BB HNt.B .B + B.B.Nt I2B Nt + B.Nt.BL
L
1
!!!!!!! H2 0 HB HdB1B + B1 dB2BL + B3 dB3B G dB2B B.B +
B3
dI1BB HI1B Nt + B.Nt + Nt.BL + dI2BB HI2B Nt + B.B.Nt + B.Nt.B + Nt.B.BLLL
Passage en V
Relations entre les invariants
In[4]:=
B1 = V1 ^ 2 2 V2;
vrification
In[5]:=
Out[5]=
True
In[6]:=
B2 = V2 ^ 2 2 V1 V3;
vrification :
In[7]:=
v1 ^ 2 v2 ^ 2 + v2 ^ 2 v3 ^ 2 + v3 ^ 2 v1 ^ 2
Hv1 v2 + v2 v3 + v3 v1L ^ 2 2 Hv1 + v2 + v3L v1 v2 v3 Simplify
Out[7]=
True
In[8]:=
B3 = V3 ^ 2;
In[9]:=
I1B = I2V;
In[10]:=
vrification
In[11]:=
8n1, n2, n3<.88v1 ^ 4, 0, 0<, 80, v2 ^ 4, 0<, 80, 0, v3 ^ 4<<.8n1, n2, n3<
HHv1 + v2 + v3L ^ 2 H v1 v2 + v2 v3 + v3 v1LL
8n1, n2, n3<.88v1 ^ 2, 0, 0<, 80, v2 ^ 2, 0<, 80, 0, v3 ^ 2<<.8n1, n2, n3< +
Hv1 v2 v3 Hv1 + v2 + v3L Hv1 v2 + v2 v3 + v3 v1LL
8n1, n2, n3<.88v1, 0, 0<, 80, v2, 0<, 80, 0, v3<<.8n1, n2, n3< +
Hv1 + v2 + v3L v1 v2 v3 .
n3 ^ 2 1 n1 ^ 2 n2 ^ 2 Simplify
Out[11]=
True
159
IsoTrans.nb
eq1 = dTV
dTB D@T, TD + dB1B D@B1, TD +
dB2B D@B2, TD + dB3B D@B3, TD + dI1BB D@I1B, TD + dI2BB D@I2B, TD
Out[12]=
dTV
In[13]:=
eq2 = dV1V
dTB D@T, V1D + dB1B D@B1, V1D +
dB2B D@B2, V1D + dB3B D@B3, V1D + dI1BB D@I1B, V1D + dI2BB D@I2B, V1D
Out[13]=
dV1V
In[14]:=
eq3 = dV2V
dTB D@T, V2D + dB1B D@B1, V2D +
dB2B D@B2, V2D + dB3B D@B3, V2D + dI1BB D@I1B, V2D + dI2BB D@I2B, V2D
Out[14]=
dV2V
In[15]:=
eq4 = dV3V
dTB D@T, V3D + dB1B D@B1, V3D +
dB2B D@B2, V3D + dB3B D@B3, V3D + dI1BB D@I1B, V3D + dI2BB D@I2B, V3D
Out[15]=
dV3V
In[16]:=
eq5 = dI1VV
dTB D@T, I1VD + dB1B D@B1, I1VD +
dB2B D@B2, I1VD + dB3B D@B3, I1VD + dI1BB D@I1B, I1VD + dI2BB D@I2B, I1VD
Out[16]=
dI1VV
In[17]:=
eq6 = dI2VV
dTB D@T, I2VD + dB1B D@B1, I2VD +
dB2B D@B2, I2VD + dB3B D@B3, I2VD + dI1BB D@I1B, I2VD + dI2BB D@I2B, I2VD
Out[17]=
dI2VV
dTB
rsolution
In[18]:=
sol =
Solve@8eq1, eq2, eq3, eq4, eq5, eq6<, 8dTB, dB1B, dB2B, dB3B, dI1BB, dI2BB<D Simplify
Out[18]=
99dB3B
HV1 V2 V3L HdV1V V1 + dV2V V12 + dV3V V1 V2 dV3V V3L + dI1VV HI2V V12 + V12 V2 I1V HV13 + V3LL
,
2 V3 HV1 V2 + V3L2
dI1VV HV12 V2L
,
V1 V2 V3
HV1 V2 V3L HdV1V V2 + dV2V V3L + dI1VV HI2V H2 V1 V2 V3L + V2 V3 I1V HV22 + V1 V3LL
dB1B
,
2 HV1 V2 + V3L2
dTB dTV, dI1BB dI2VV +
dB2B
HdV1V + dV2V V1L HV1 V2 V3L + dI1VV HI2V V1 I1V HV12 + V2L + V3L
dI1VV
, dI2BB
==
V1 V2 V3
2 HV1 V2 + V3L2
160
IsoTrans.nb
remplacements
In[19]:=
Out[19]=
V = B . sol@@1DD .
Nt.B.B HV1 ^ 2 V2L Nt.V.V + HV3 V1 V2L Nt.V + V1 V3 Nt .
B.B. Nt HV1 ^ 2 V2L V.V .Nt + HV3 V1 V2L V.Nt + V1 V3 Nt .
B.Nt.B V.V.Nt.V.V .
Nt.B Nt.V.V .
B.Nt V.V.Nt .
B.B HV1 ^ 2 V2L V.V + HV3 V1 V2L V + V1 V3 G .
B V.V
Collect@#, 8G, V, V.V, Nt, Nt.V, V.Nt, V.V.Nt, Nt.V.V,
V.V.Nt, V.V.Nt.V.V, 0, dV1V, dV2V, dV3V, dI1VV, dI2VV<, SimplifyD &
dI1VV HI1V + V1L
dV2V V1
dI1VV HI2V V1 I1V HV12 + V2L + V3L y
i dV1V
z
N 0 + V j
+
+
j
z 0 +
V1 V2 V3
HV1 V2 V3L V3
V3
V3
k
{
2 dI2VV I2V
2 dI1VV HI1V V1 V2 I1V V3 + V1 V3L
Nt J
+
N 0 +
V3
V3 HV1 V2 + V3L
2 dI1VV 0 Nt.V
2 dI1VV 0 V.Nt
dV2V
dI1VV HI2V + I1V V1L
+
+ J
+
N 0 V.V +
V3
V3
V3
V1 V2 V3 V32
2 dI2VV 0 Nt.V.V
2 dI2VV 0 V.V.Nt
2 dI1VV 0 V.V.Nt.V.V
+
+
V3
V3
V3 HV1 V2 + V3L
G JdV3V +
Passage en ev
Relations entre les invariants
In[20]:=
V1 = 3 + 1;
In[21]:=
V2 = 3 + 2 1 + 2;
Vrification
In[22]:=
Out[22]=
3 + 2 e1 + 2 e2 + e1 e2 + 2 e3 + e1 e3 + e2 e3
In[23]:=
V3 = 1 + 1 + 2 + 3;
vrification
In[24]:=
Out[24]=
1 + e1 + e2 + e1 e2 + e3 + e1 e3 + e2 e3 + e1 e2 e3
In[25]:=
I1V = 1 + I1
Out[25]=
1 + I1
In[26]:=
I2V = 1 + 2 I1 + I2
Out[26]=
1 + 2 I1 + I2
161
IsoTrans.nb
eq1 = dT
dTV D@T, TD + dV1V D@V1, TD +
dV2V D@V2, TD + dV3V D@V3, TD + dI1VV D@I1V, TD + dI2VV D@I2V, TD
Out[27]=
dT
In[28]:=
eq2 = d1
dTV D@T, 1D + dV1V D@V1, 1D +
dV2V D@V2, 1D + dV3V D@V3, 1D + dI1VV D@I1V, 1D + dI2VV D@I2V, 1D
Out[28]=
d1
In[29]:=
eq3 = d2
dTV D@T, 2D + dV1V D@V1, 2D +
dV2V D@V2, 2D + dV3V D@V3, 2D + dI1VV D@I1V, 2D + dI2VV D@I2V, 2D
Out[29]=
d2
In[30]:=
eq4 = d3
dTV D@T, 3D + dV1V D@V1, 3D +
dV2V D@V2, 3D + dV3V D@V3, 3D + dI1VV D@I1V, 3D + dI2VV D@I2V, 3D
Out[30]=
d3
In[31]:=
eq5 = dI1
dTV D@T, I1D + dV1V D@V1, I1D +
dV2V D@V2, I1D + dV3V D@V3, I1D + dI1VV D@I1V, I1D + dI2VV D@I2V, I1D
Out[31]=
dI1
In[32]:=
eq6 = dI2
dTV D@T, I2D + dV1V D@V1, I2D +
dV2V D@V2, I2D + dV3V D@V3, I2D + dI1VV D@I1V, I2D + dI2VV D@I2V, I2D
Out[32]=
dI2
dTV
dV2V + dV3V
dV3V
dI1VV + 2 dI2VV
dI2VV
Rsolution
In[33]:=
sol = Solve@8eq1, eq2, eq3, eq4, eq5, eq6<, 8 dTV, dV1V, dV2V, dV3V, dI1VV, dI2VV<D
Out[33]=
Remplacements
In[34]:=
= V . sol@@1DD .
V.V.Nt.V.V Distribute@HG + L.HG + L.Nt.HG + L.HG + LD .
Nt.V.V Distribute@Nt.HG + L.HG + LD .
V.V.Nt Distribute@HG + L.HG + L.NtD .
V.Nt Distribute@HG + L.NtD .
Nt.V Distribute@Nt.HG + LD .
V.V Distribute@HG + L.HG + LD .
V G + .
Dot@x___, G, y___D Dot@x, yD . Dot@x___, G, y___D Dot@x, yD .
Dot@x___, G, y___D Dot@x, yD . Dot@x___, G, y___D Dot@x, yD
Collect@#, 8G , Nt, , .Nt , Nt. , . , .Nt. , ..Nt , Nt.. , ..Nt. ,
.Nt.. , ..Nt.., 0, d1, d2, d3, dI1, dI2<, FactorD &
162
IsoTrans.nb
Out[34]=
d1
d2 H1 + 1L
d3 1
i
j
+
j
1 + 1 + 2 + 3
1 + 1 + 2 + 3
k 1 + 1 + 2 + 3
dI1 H4 I1 5 I2 + 4 1 + 4 I1 1 I2 1 + 12 + I1 12 + I1 2 3L
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI2 H4 I1 5 I2 + 4 1 + 4 I1 1 I2 1 + 12 + I1 12 + I1 2 3L y
z
z 0 +
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
{
d1
d2 1
d3 H2 + 3L
i
Gj
+
+
j
1 + 1 + 2 + 3
1 + 1 + 2 + 3
k 1 + 1 + 2 + 3
dI1 H4 I2 + 4 I1 1 I2 1 + I1 12 4 2 1 2 5 3 I1 3 1 3L
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI2 H4 I2 + 4 I1 1 I2 1 + I1 12 4 2 1 2 5 3 I1 3 1 3L y
z
z 0 +
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
{
2
i 2 dI2 H8 I2 + 8 I2 1 + 2 I2 1 4 2 + 2 I2 2 1 2 + I2 1 2 7 3 I2 3 2 1 3L
j
Nt j
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
k
2 dI1 H4 + 8 I1 4 1 + 8 I1 1 12 + 2 I1 12 + 2 + 2 I1 2 + I1 1 2 + 4 3 I1 3 + 1 3L z
y
z
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
{
8
dI2
i
j
+
0 + j
2
k H8 + 8 1 + 2 1 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI1 H6 + 8 1 + 2 12 + 2 2 + 1 2 3L
y
z
z 0 Nt. +
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L {
8 dI2
i
j
+
j
2
k H8 + 8 1 + 2 1 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2
2 dI1 H6 + 8 1 + 2 1 + 2 2 + 1 2 3L
y
z
z 0 .Nt +
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L {
d2
d3
dI1 H4 + 5 I1 + I2 + 1 + I1 1L
J
+
+
1 + 1 + 2 + 3
1 + 1 + 2 + 3
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI2 H4 + 5 I1 + I2 + 1 + I1 1L
N 0 . +
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI1
i
j
+
j
2
k H8 + 8 1 + 2 1 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
i
j
j
k
2 dI2 H10 + 8 1 + 2 12 + 2 2 + 1 2 3L
y
z
z 0 Nt.. +
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L {
8 dI1
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
16 dI2
N 0 .Nt. +
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI1
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI2 H10 + 8 1 + 2 12 + 2 2 + 1 2 3L
y
z
z 0 ..Nt +
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L {
4 dI1
J
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
8 dI2
N 0 .Nt.. +
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
4 dI1
J
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
8 dI2
N 0 ..Nt. +
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI1
J
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
4 dI2
N 0 ..Nt..
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
163
IsoTrans.nb
In[35]:=
Out[35]=
K0 = Coefficient@, GD
d1
d2 1
d3 H2 + 3L
i
j
+
+
j
1 + 1 + 2 + 3
1 + 1 + 2 + 3
k 1 + 1 + 2 + 3
dI1 H4 I2 + 4 I1 1 I2 1 + I1 12 4 2 1 2 5 3 I1 3 1 3L
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI2 H4 I2 + 4 I1 1 I2 1 + I1 12 4 2 1 2 5 3 I1 3 1 3L y
z
z 0
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
{
In[36]:=
Out[36]=
In[37]:=
Out[37]=
K1 = Coefficient@, NtD
i 2 dI2 H8 I2 + 8 I2 1 + 2 I2 12 4 2 + 2 I2 2 1 2 + I2 1 2 7 3 I2 3 2 1 3L
j
j
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
k
2
2
2 dI1 H4 + 8 I1 4 1 + 8 I1 1 1 + 2 I1 1 + 2 + 2 I1 2 + I1 1 2 + 4 3 I1 3 + 1 3L z
y
z
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
{
0
K2 = Coefficient@, D
d3 1
d1
d2 H1 + 1L
i
j
+
j
1 + 1 + 2 + 3
1 + 1 + 2 + 3
k 1 + 1 + 2 + 3
dI1 H4 I1 5 I2 + 4 1 + 4 I1 1 I2 1 + 12 + I1 12 + I1 2 3L
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI2 H4 I1 5 I2 + 4 1 + 4 I1 1 I2 1 + 12 + I1 12 + I1 2 3L y
z
z 0
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
{
In[38]:=
Out[38]=
In[39]:=
Out[39]=
K3 = Coefficient@, .NtD
8 dI2
i
j
+
j
2
k H8 + 8 1 + 2 1 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2
2 dI1 H6 + 8 1 + 2 1 + 2 2 + 1 2 3L
y
z
z 0
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L {
K31 = Coefficient@, Nt.D
8 dI2
i
j
+
j
2
k H8 + 8 1 + 2 1 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI1 H6 + 8 1 + 2 12 + 2 2 + 1 2 3L
y
z
z 0
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L {
In[40]:=
K3
Out[40]=
True
In[41]:=
K4 = Coefficient@, .D
Out[41]=
In[42]:=
K5 = Coefficient@, .Nt.D
Out[42]=
In[43]:=
K6 = Coefficient@, ..NtD
Out[43]=
K31
d2
d3
dI1 H4 + 5 I1 + I2 + 1 + I1 1L
+
+
1 + 1 + 2 + 3
1 + 1 + 2 + 3
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI2 H4 + 5 I1 + I2 + 1 + I1 1L
N 0
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
8 dI1
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
16 dI2
N 0
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2 dI1
i
j
+
j
2
k H8 + 8 1 + 2 1 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
2
2 dI2 H10 + 8 1 + 2 1 + 2 2 + 1 2 3L
y
z
z 0
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L {
164
IsoTrans.nb
In[44]:=
Out[44]=
In[45]:=
K6
K61
Out[45]=
True
In[46]:=
K7 = Coefficient@, ..Nt.D
Out[46]=
In[47]:=
Out[47]=
In[48]:=
K7 == K71
Out[48]=
True
In[49]:=
K7
Out[49]=
True
In[50]:=
K8 = Coefficient@, ..Nt..D
Out[50]=
In[51]:=
K8
Out[51]=
True
4 dI1
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
8 dI2
N 0
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
4 dI1
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
8 dI2
N 0
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
K5 2 Simplify
2 dI1
+
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
4 dI2
N 0
H8 + 8 1 + 2 12 + 2 2 + 1 2 3L H1 + 1 + 2 + 3L
K7 2 Simplify
Out[52]=
. dI2 0 . dI1 0 . 1 + 1 + 2 + 3 Kv
Collect@#, 8G, , ., 0, Kv, d1, d2<, FactorD &
Hd1 + d2 H1 + 1L d3 1L 0
+
Kv
G Hd1 + d2 1 + d3 H2 + 3LL 0
Hd2 + d3L 0 .
+
Kv
Kv
eq1 = 0 == K4 Simplify
HdI1 H4 + I2 + 1 + I1 H5 + 1LL
2 dI2 H4 + I2 + 1 + I1 H5 + 1LL Hd2 d3L H8 + 2 12 + 2 2 + 1 H8 + 2L 3LL 0
In[54]:=
eq2 = 0 == K5 Simplify
Out[54]=
dI1 0
2 dI2 0
165
IsoTrans.nb
In[55]:=
eq3 = 0 == K6 Simplify
Out[55]=
In[56]:=
Solve::svars : Equations may not give solutions for all "solve" variables.
Out[56]=
Plus
H
Calculs de distorsions maximales
en anisotropie
La feuille de calcul reproduite dans les pages qui suivent dcrit le dtail des calculs de lannexe
D [p. 117].
Elle est excutable dans le logiciel de calcul formel M ATHEMATICAr version 5.2.
Cette feuille de calcul est largement commente. Les quations diffrentielles sont rsolues
en suivant la mme dmarche que celle que lon aurait suivie en calculant manuellement. Les
commentaires devraient permettre tout praticien dun autre logiciel de calcul formel de traduire
la feuille de calcul dans son propre langage, lexception des quelques oprations tensorielles
utilisant la bibliothque Tens3D, mais qui peuvent tre aisment traduites en oprations matricielles.
168
DistorsionsMaxAnisotropie.nb
Needs@"Tens3D`"D
In[2]:=
In[3]:=
Off@General::spellD
Soit un tenseur de dformation U dfini par ses composantes dans une base propre :
In[4]:=
In[5]:=
Soit n0 la direction initiale d'anisotropie, dfinie par ses composantes dans la base propre du tenseur
de dformation U :
In[6]:=
n0 = DefineTensor@
8n01 Sqrt@n01 ^ 2 + n02 ^ 2 + n03 ^ 2D, n02 Sqrt@n01 ^ 2 + n02 ^ 2 + n03 ^ 2D,
n03 Sqrt@n01 ^ 2 + n02 ^ 2 + n03 ^ 2D<, 81<, B0D;
Soit un vecteur a[] quelconque non colinaire n0, dfini par ses composantes dans une base
propre du tenseur de dformation U :
In[7]:=
In[8]:=
x = a n0;
u0 = H1 EuclidianNorm@xDL x;
v0 = n0 u0;
Vrifications :
169
DistorsionsMaxAnisotropie.nb
In[11]:=
Out[11]=
80, 0, 0, 1, 1, 1<
Klu = EuclidianNorm@U.u0D
,
Klv = EuclidianNorm@U.v0D
Out[13]=
, II32 Hn01 n03 a1@D + n02 n03 a2@D Hn012 + n022 L a3@DL2 +
Kln = EuclidianNorm@U.n0D
Out[14]=
Out[15]=
170
DistorsionsMaxAnisotropie.nb
In[16]:=
Out[16]=
, II12 22 Hn01 n03 a1@D + n02 n03 a2@D Hn012 + n022 L a3@DL2 +
2
Kv = I3@UD
Out[17]=
1 2 3
Out[18]=
I12 22 Hn01 n03 a1@D + n02 n03 a2@D Hn012 + n022 L a3@DL +
2
Out[19]=
171
DistorsionsMaxAnisotropie.nb
In[20]:=
8Head@XD, Length@XD<
Out[20]=
8Times, 5<
In[21]:=
X@@1DD
Out[21]=
In[22]:=
X@@2DD
Out[22]=
In[23]:=
X@@3DD
Out[23]=
In[24]:=
sol1 = Solve@X@@3DD
0, a1@DD
1
Out[24]= 99a1@D
Hn01 n03 12 a2@D
n02 n03 H22 32 L
n01 n03 32 a2@D n01 n02 12 a3@D + n01 n02 22 a3@DL==
a1 . sol1@@1DD Simplify
Out[25]=
In[26]:=
X@@4DD
Out[26]=
In[27]:=
sol = Solve@X@@4DD
Out[27]=
0, a1@DD
88a1@D
Hn02 n032 12 22 a2@D + n012 n02 12 32 a2@D + n02 n032 12 32 a2@D
n012 n02 22 32 a2@D + n012 n03 12 22 a3@D + n022 n03 12 22 a3@D
n022 n03 12 32 a3@D n012 n03 22 32 a3@DL
Hn01 Hn032 12 22 + n022 12 32 n022 22 32 n032 22 32 LL<<
In[28]:=
Out[28]=
Interprtation :
172
DistorsionsMaxAnisotropie.nb
In[29]:=
a1max^ 2
Out[29]=
True
Kln^ 2 Ksn ^ 2 Kv ^ 2
Kln Ksn
Kv
Out[30]=
In[31]:=
Out[31]=
In[32]:=
Out[32]=
In[33]:=
Out[33]=
0
0
0
0
Ces trois quations ne sont jamais nulles car a0 est non colinaire n0
Out[34]=
I32 Hn01 n03 a1@D + n02 n03 a2@D Hn012 + n022 L a3@DL +
2
HHn022 + n032 L a1@D2 + Hn012 + n032 L a2@D2 2 n02 n03 a2@D a3@D +
2
173
DistorsionsMaxAnisotropie.nb
In[35]:=
Out[35]=
Hn01 n02 n03 22 a1@D2 n01 n02 n03 32 a1@D2 + n022 n03 12 a1@D a2@D +
n033 12 a1@D a2@D n012 n03 22 a1@D a2@D n033 22 a1@D a2@D +
n012 n03 32 a1@D a2@D n022 n03 32 a1@D a2@D
n01 n02 n03 12 a2@D2 + n01 n02 n03 32 a2@D2 n023 12 a1@D a3@D
n02 n032 12 a1@D a3@D n012 n02 22 a1@D a3@D +
n02 n032 22 a1@D a3@D + n012 n02 32 a1@D a3@D +
n023 32 a1@D a3@D + n01 n022 12 a2@D a3@D n01 n032 12 a2@D a3@D +
n013 22 a2@D a3@D + n01 n032 22 a2@D a3@D n013 32 a2@D a3@D
n01 n022 32 a2@D a3@D + n01 n02 n03 12 a3@D2 n01 n02 n03 22 a3@D2 L
Hn024 12 a1@D2 + 2 n022 n032 12 a1@D2 + n034 12 a1@D2 +
n012 n022 22 a1@D2 n012 n032 22 a1@D2 n022 n032 22 a1@D2
n034 22 a1@D2 n012 n022 32 a1@D2 n024 32 a1@D2 +
n012 n032 32 a1@D2 n022 n032 32 a1@D2 2 n01 n023 12 a1@D a2@D
2 n01 n02 n032 12 a1@D a2@D 2 n013 n02 22 a1@D a2@D
2 n01 n02 n032 22 a1@D a2@D + 2 n013 n02 32 a1@D a2@D +
2 n01 n023 32 a1@D a2@D + 4 n01 n02 n032 32 a1@D a2@D +
n012 n022 12 a2@D2 n012 n032 12 a2@D2 n022 n032 12 a2@D2
n034 12 a2@D2 + n014 22 a2@D2 + 2 n012 n032 22 a2@D2 + n034 22 a2@D2
n014 32 a2@D2 n012 n022 32 a2@D2 n012 n032 32 a2@D2 +
n022 n032 32 a2@D2 2 n01 n022 n03 12 a1@D a3@D
2 n01 n033 12 a1@D a3@D + 2 n013 n03 22 a1@D a3@D +
4 n01 n022 n03 22 a1@D a3@D + 2 n01 n033 22 a1@D a3@D
2 n013 n03 32 a1@D a3@D 2 n01 n022 n03 32 a1@D a3@D +
4 n012 n02 n03 12 a2@D a3@D + 2 n023 n03 12 a2@D a3@D +
2 n02 n033 12 a2@D a3@D 2 n012 n02 n03 22 a2@D a3@D
2 n02 n033 22 a2@D a3@D 2 n012 n02 n03 32 a2@D a3@D
2 n023 n03 32 a2@D a3@D n012 n022 12 a3@D2 n024 12 a3@D2 +
n012 n032 12 a3@D2 n022 n032 12 a3@D2 n014 22 a3@D2
n012 n022 22 a3@D2 n012 n032 22 a3@D2 + n022 n032 22 a3@D2 +
n014 32 a3@D2 + 2 n012 n022 32 a3@D2 + n024 32 a3@D2 L
Hn03 a2@D a1 @D + n02 a3@D a1 @D + n03 a1@D a2 @D
n01 a3@D a2 @D n02 a1@D a3 @D + n01 a2@D a3 @DL
8Head@YD, Length@YD<
Out[36]=
8Times, 3<
174
DistorsionsMaxAnisotropie.nb
In[37]:=
Y@@1DD
Out[37]=
n01 n02 n03 22 a1@D2 n01 n02 n03 32 a1@D2 + n022 n03 12 a1@D a2@D +
n033 12 a1@D a2@D n012 n03 22 a1@D a2@D n033 22 a1@D a2@D +
n012 n03 32 a1@D a2@D n022 n03 32 a1@D a2@D
n01 n02 n03 12 a2@D2 + n01 n02 n03 32 a2@D2 n023 12 a1@D a3@D
n02 n032 12 a1@D a3@D n012 n02 22 a1@D a3@D +
n02 n032 22 a1@D a3@D + n012 n02 32 a1@D a3@D +
n023 32 a1@D a3@D + n01 n022 12 a2@D a3@D n01 n032 12 a2@D a3@D +
n013 22 a2@D a3@D + n01 n032 22 a2@D a3@D n013 32 a2@D a3@D
n01 n022 32 a2@D a3@D + n01 n02 n03 12 a3@D2 n01 n02 n03 22 a3@D2
In[38]:=
sol = Solve@Y@@1DD
In[39]:=
Length@solD
Out[39]=
0, a1@DD;
a2 ^ 2 . sol@@1DD FullSimplify
Out[40]=
In[41]:=
a2 ^ 2 . sol@@2DD FullSimplify
Out[41]=
175
DistorsionsMaxAnisotropie.nb
In[42]:=
Y@@2DD
Out[42]=
In[43]:=
sol = Solve@Y@@2DD
In[44]:=
Length@solD
Out[44]=
0, a1@DD;
a2 ^ 2 . sol@@1DD FullSimplify
2
Out[45]=
In[46]:=
Out[46]=
Interprtation :
In[47]:=
Out[47]=
True
Tr@CD-Kln2
2 Ksn
176
DistorsionsMaxAnisotropie.nb
Out[48]=
177
DistorsionsMaxAnisotropie.nb
10
In[49]:=
Out[49]=
8Head@ZD, Length@ZD<
Out[50]=
8Times, 5<
In[51]:=
Z@@1DD
Out[51]=
In[52]:=
Z@@2DD
Out[52]=
178
DistorsionsMaxAnisotropie.nb
11
In[53]:=
Z@@3DD
Out[53]=
n01 n02 n03 22 a1@D2 n01 n02 n03 32 a1@D2 + n022 n03 12 a1@D a2@D +
n033 12 a1@D a2@D n012 n03 22 a1@D a2@D n033 22 a1@D a2@D +
n012 n03 32 a1@D a2@D n022 n03 32 a1@D a2@D
n01 n02 n03 12 a2@D2 + n01 n02 n03 32 a2@D2 n023 12 a1@D a3@D
n02 n032 12 a1@D a3@D n012 n02 22 a1@D a3@D +
n02 n032 22 a1@D a3@D + n012 n02 32 a1@D a3@D +
n023 32 a1@D a3@D + n01 n022 12 a2@D a3@D n01 n032 12 a2@D a3@D +
n013 22 a2@D a3@D + n01 n032 22 a2@D a3@D n013 32 a2@D a3@D
n01 n022 32 a2@D a3@D + n01 n02 n03 12 a3@D2 n01 n02 n03 22 a3@D2
In[54]:=
sol = Solve@Z@@3DD
In[55]:=
Length@solD
Out[55]=
0, a1@DD;
In[57]:=
Out[57]=
s ^ 2 . sol@@1DD FullSimplify
Hn012 12 + n022 22 + n032 32 L Hn032 12 22 + Hn022 12 + n012 22 L 32 L
2
Hn012 + n022 + n032 L 12 22 32
smax1carre = s ^ 2 . sol@@2DD FullSimplify
Hn012 12 + n022 22 + n032 32 L Hn032 12 22 + Hn022 12 + n012 22 L 32 L
2
Hn012 + n022 + n032 L 12 22 32
Interprtation :
In[58]:=
smax1carre
Out[58]=
True
Kln ^ 2 Ksn ^ 2 Kv ^ 2
Kln Ksn
=
Kv
179
12
DistorsionsMaxAnisotropie.nb
In[59]:=
Z@@4DD
Out[59]=
In[60]:=
sol = Solve@Z@@4DD
In[61]:=
Length@solD
Out[61]=
0, a1@DD;
s ^ 2 . sol@@1DD Simplify
Out[62]=
In[63]:=
Out[63]=
Interprtation :
180
DistorsionsMaxAnisotropie.nb
13
In[64]:=
Out[64]=
True
2 Kv
In[65]:=
Out[65]=
Out[66]=
XX@@1DD >= 0
Out[67]=
In[68]:=
XX@@2, 1DD 0
Out[68]=
n024 H12 32 L 0
In[69]:=
XX@@2, 2DD 0
Out[69]=
2 n022 H1 3L H1 + 3L
Hn032 H1 2L H1 + 2L + n012 H2 3L H2 + 3LL 0
In[70]:=
XX@@2, 3DD 0
Out[70]=