1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de...

24
1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application à l’élasticité des cristaux métalliques ICD LASMIS Club Zebulon Emmanuelle ROUHAUD, Benoît PANICAUD, Arjen ROOS

Transcript of 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de...

Page 1: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

1

Le formalisme quadridimensionnel de la géométrie différentielle

pour des modèles de comportement anisotropes et indépendants

du référentiel - Application à l’élasticité des cristaux métalliques

ICD LASMIS Club Zebulon

Emmanuelle ROUHAUD, Benoît PANICAUD, Arjen ROOS

5 juin 2012

Page 2: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

2

Plan

Approche 3D : les possibilités Approche 3D : les problèmes Approche ND : les maths Approche 4D : la physique Approche 4D : les possibilités Approche 4D : application Zébulon Approche 4D : conclusions et perspectives

Page 3: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

3

3DApproche 3D : les possibilités

Hypothèses générales:

- Transformations finies- Elasticité isotherme avec des rigidités- Approche 3D sécante (pas de dérivation)

- Géométrie = VER- Matériau = agrégat de constituants élémentaires (grains)Typiquement un polycristal, macroscopiquement isotrope

- Exemple- Sollicitation = glissement simple (on pilote en déformation)

OCICJCC 04412 23

Page 4: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

4

3DApproche 3D : les possibilités

• Modèle 1 = macroscopique + départ LagrangienTT FEµIEIFJFSFECS )2):((/:

• Modèle 2 = macroscopique + départ Eulérien

eµIeIeC 2):(:

• Modèle 3 = micromécanique + départ LagrangienN grains à symétrie cubique, désorientés par une FDO(Q)2X méthodes de transitions d’échelles possibles (Voigt, Reuss…)

T

T

TT

FEAQOCECIEICF

FEAQOCAICAJCF

FEAQOCICJCFJFSF

EAQCSSECS

::)(2):(

::)(:2:3

::)(23/

::)(:

04412

04412

04412

Page 5: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

5

3DApproche 3D : les problèmes

- Le choix Euler/Lagrange

- Le choix de la variable cinématique un faux problème

- Le choix du modèle de comportement dépend du matériau

- Le choix de la méthode de transition d’échelles quel ?

- Le problème de l’évolution de la texture FDO(Q(t)) ?

- Le problème de l’invariance des grandeurs et des relations

- La dépendance ou non au mouvement rigide

- Le problème de l’isotropie des modèles en Euler

Aréglé

OBJECTIVITE

Page 6: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

6

OBJECTIVITE ?Une nécessité

Repère avec mouvement rigide :e1

e2

e3

xO

F

A

F’x

Ae’ 1

e’ 2

e’ 3

Q(t)

3D

Repère fixe Dans le repère « ’ » lié au chariot :

V(A) = 0

La force est objectiveLa vitesse n’est pas objective

Soit Q la matrice de passage entre fixe et « ’ ».

Alors

F’ = QF V’≠QV

Page 7: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

Changement de coordonnées (ou de référentiels)Pour un tenseur d’ordre 2 (3x3) :

7

Les maths

Les composantes d’une densité géométrique, d’ordre deux (NXN) par exemple, obéissent toujours à :

par un changement de coordonnées dans un repère à N dimensions tel que :

Invariance de tout objet + toute relation par n’importe quel changement de coordonnées = covariance

3DNDLes indices

varient de 1 à N

Page 8: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

8

4D

Approche 4D : la physique1) Quatre dimensions :

trois d’espace : x1, x2, x3 : xi

une de temps : x4 = ct où c est une vitesse de référenceMouvement non-relativiste : c ∞

2) Une métrique dans le repère inertiel : de signature (- - - +)Dans un repère curviligne les compo-santes de la métrique sont g.

Les indices grecques varient de 1 à 4

Les indices latins varient de 1 à 3

Pour un changement de coordonnées les matrices Jacobiennes sont 4 x 4

Page 9: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

9

La physique

Changement de coordonnées 4D:

Jacobiennes 3D:

Jacobiennes 4D:

Changement de repères 3D Changement de référentiels⟺

Mouvement relatif rigide

Un changement de référentiels est un changement de coordonnées 4D

4D

Changement de référentiels⟺

Mouvement relatif avec déformation

Page 10: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

10

4DL’objectivité ?

Le  « principe » d’objectivité 3D n’est pas un principe

Objectivité 3D, si

Vecteur 4D

Changement de référentiel (= observateur)

Sinon…(F’ = QF)

Page 11: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

11

Le cas de la vitesse

4D

La vitesse 4D est indépendante du référentiel d’observation (la force aussi) ET dépend du mouvement rigide

x'B

Ae’1

e’2

e’3

xA

e1

e2

e3 Q

U

Repère fixe Repère « ’ » en translation (U=cte)

Dans le repère lié au chariot : V(A) = 0

Soit la matrice Jacobienne entre fixe et « ’ »:

Transformation de la vitesse:

(x4=ct)

Page 12: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

12

La physique

Changement de coordonnées 4D:

Jacobiennes 3D:

Jacobiennes 4D:

Changement de repères 3D Changement de référentiels⟺

Mouvement relatif rigide

Un changement de référentiels est un changement de coordonnées 4D

4D

Changement de référentiels⟺

Mouvement relatif avec déformation

Page 13: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

Convectif: description en fonction de la position actuelle, exprimée dans le repère Eg qui suit la déformation de la matière (repère convectif curviligne) et tel que :

Interlude

Description des milieux continus

Lagrange: description en fonction de la position initiale (de référence) exprimée dans le repère E0

Configuration initiale Configuration actuelle

),( 0 tXT E

),( 0 txT E

MEX 0

MEx 0MEgx

),( txT Eg

Une formulation lagrangienne est la projection d’une relation tensorielle dans le repère convectif

Le passage d’une formulation eulérienne à une formulation lagrangienne est un changement de coordonnées 4D (relations anisotropes comprises)

Euler: description en fonction de la position actuelle, exprimée dans le même repère E0

Page 14: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

14

4DApproche 4D : les possibilités

- Toute relation 4 tensorielle est invariante par rapport à tout changement de référentiels.

- Un changement de référentiels est un changement de coordonnées curvilignes 4D (attention à la variance).

- La formulation de Lagrange est une projection dans le système de coordonnées 4D convectif.

- La dépendance au mouvement rigide est un choix physique.- L’(an)isotropie est un choix physique.

- La méthode 3D 4D = CONSTRUIRE DESTENSEURS 4D !!! (attention à la signature de la métrique età la dimension du temps).

Page 15: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

15

4DLes possibilités

dans le cas de l’élasticité

Modèle 4D

tensoriel

Inertiel ON

Convectif

Coordonnées 4D

: PK2CauchyE : Déformation Lagrangee : Déformation EulerC : FTFc : (FFT)-1

Inertiel ON

Convectif

Inertiel ON

Convectif

Inertiel ON

Convectif

Page 16: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

16

4DApproche 4D : les possibilitésHypothèses générales:

- Transformations finies- Elasticité isotherme avec des rigidités- Approche 4D (non-relativiste) sécante (pas de dérivation)

- Géométrie = VER- Matériau = agrégat de constituants élémentaires (grains)Typiquement un polycristal, macroscopiquement isotrope

Exemple:- Sollicitation = glissement simple (on pilote en déformation)

OCICJCC 023231122 23

Page 17: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

17

4DApproche 4D : les possibilités

• Modèle 4 = macroscopique + départ Obs Lagrangien

• Modèle 6 = macroscopique + départ Obs Eulérien = Modèle 4

SymggCggCC ˆˆ2ˆˆ 23231122 • Modèle 5 = macroscopique + départ Obs Lagrangien 3D Lagrange

SymCCC 23231122 2

SymCCC 23231122 2

• Modèle 7 = micromécanique + départ Obs Eulérien

• Modèle 8 = micromécanique + départ Obs Lagrangien 2 versions comme en macro avec ou g

)(2 023231122 QOCCCC Sym

Page 18: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

18

4DApplication Zébulon

Programmation des lois élastiques linéaires isotropes

Euler et Lagrange

Page 19: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

19

4DApplication Zébulon

Programmation des lois élastiques linéaires

Anisotrope Euler et Lagrange

Page 20: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

20

4D

Application ZébulonCalculs 9 grainsOrientations initiales« aléatoires »

Page 21: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

21

4DApplication ZébulonCalculs 9 grainsLagrange / Euler

Moyenne 9 grains

Moyenne 1 grain

Page 22: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

22

4DApproche 4D : conclusions…

- L’invariance des grandeurs et des relations est acquise par l’utilisation de tenseurs 4D (principe de covariance).

- Un modèle 4 tensoriel peut dépendre (ou pas !) du mouvement rigide : ceci correspond à un choix physique.

-Une relation peut décrire un phénomène anisotrope et être exprimée avec une approche Eulérienne.

- Les expressions Lagrangiennes correspondent à une projection de l’expression tensorielle dans le repère convectif 4D.

- On peut « passer » d’une description Eulérienne à une description Lagrangienne par un changement de repère 4D.

Page 23: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

23

FINApproche 4D : … et perspectives

- Développer un formalisme 4D pour décrire les effets dissipatifs dans le cadre thermodynamique :

- viscosité- plasticité

- Le principe de covariance a des conséquences importantes pour l’expression des variations dans le temps des grandeurs :

- Invariance par changement de référentiels assurée

- Programmer les taux covariants dans Zebulon.

- Programmer les modèles de comportement avec dissipations dans Zebulon.

Page 24: 1 Le formalisme quadridimensionnel de la géométrie différentielle pour des modèles de comportement anisotropes et indépendants du référentiel - Application.

24

Ref.

- Rougée, P.: Kinematics of finite deformations. Arch. Mech. 44, 527-556 (1992)- Garrigues, J.: Fondements de la Mécanique des Milieux Continus. Hermes, Science Publications (2007)- Lamoureux-Brousse, L.: Infinitesimal deformations of finite conjugacies in nonlinear classical or general relativistic theory of elasticity. Physica D. 35, 203-219 (1989)- Murdoch, A.I.: Objectivity in classical continuum physics: a rationale for discarding the `principle of invariance under superposed rigid body motions' in favour of purely objective considerations. Continuum Mech. Thermodyn. 15, 309-320 (2003)- Bressan, A.: Relativistic Theories of Materials. Springer-Verlag, Berlin (1978)-Schouten, J.: Ricci-calculus: An Introduction to Tensor Analysis and Its Geometrical Applications. Springer-Verlag (1954)