CIFMA01 - IFCAM01, 02-04 mai/May 2006 1 Géométrie et mécanique Michel MIZONY Université Lyon1, France, Institut Camille Jordan UMR CNRS 5208 [email protected] Ahmad AL MAJID Université d’Alep - Syrie Faculté de Génie Mécanique Département de Mécanique Appliqué [email protected] Résumé : Pour modéliser des systèmes mécaniques nous partirons de l’introduction naturelle du concept de métrique d’espace pour calculer les géodésiques d’une surface (le chemin le plus court entre deux points) dans l’espace ; nous montrerons l’intérêt de l’utilisation de ce concept, et du calcul tensoriel associé, d’une part pour présenter simplement des résultats classiques et d’autre part pour étudier et interpréter des phénomènes dissipatifs. De fait c’est l’étude de tels systèmes qui nous a poussé à utiliser ce concept ; on donnera une traduction en terme de facteur conforme de lagrangien. L’idée essentielle à retenir par derrière est le fait qu’un système dissipatif peut être considéré comme fermé (non dissipatif) via un facteur conforme dans une interprétation lagrangienne ou via l’adjonction d’une dimension supplémentaire dans une interprétation métrique. Concrètement, tout se passe comme si le temps, dans le repère d’un système dissipatif, ne s’écoule pas de la même manière que dans le repère de l’observateur. Keywords : métrique, Lagrangien, systèmes dissipatifs, géodésiques. 1. Introduction Il s’agit de présenter le plus simplement possible des outils équivalents pour résoudre des problèmes de mécanique. Suivants les problèmes, l’un ou l’autre des outils est plus commode, pratique, signifiant. Ce sont des outils de géométrie et de géométrie différentielle. Un certain nombre de résultats ne seront pas rappelés, dans la mesure où ils sont classiques, dans le sens où on peut les trouver dans de nombreux ouvrages. Notre but est plus d’ouvrir certaines portes ou perspectives qui s’avèrent fructueuses dans un certain nombre d’exemples (Al Majid 2002, Al Majid et Dufour 2003, Allezy 2006). Cependant une difficulté se présente celle de notation de concepts qui sont très différentes parfois entre mécaniciens et mathématiciens. Le but essentiel sera d’éclairer le concept de mouvement, soit du point de vue de la compréhension des équations d’un mouvement, soit du point de vue du mouvement lui-même. Pour cela, nous partirons d’exemples simples (fermés) de mécanique, dont on connaît bien le lagrangien, puis ouverts (il y a dissipation d’énergie) et nous présenterons deux manières très différentes et mathématiquement équivalentes pour tenir compte de cette dissipation d’énergie. L’exemple emblématique sera celui le plus simple de l’oscillateur. Nous développerons la méthode dite du lagrangien conforme et celle de la métrique. L’idée physique est la suivante : Lorsqu’il n’y a pas de dissipation d’énergie (système fermé) le lagrangien est une constante du mouvement, ce qui n’est plus lors de frottements, source extérieure d’énergie variable, etc. ; le système est ouvert. Construire un nouveau lagrangien à partir du lagrangien associé au système fermé pour le rendre invariant dans une situation de dissipation d’énergie, revient à "fermer" ce système ouvert. C’est le sens du facteur conforme, ou de l’ajout d’une dimension supplémentaire (définie en fonction d’un paramètre pertinent) et d’une métrique associée qui donnera lieu, via le tenseur de courbure associé, à une équation de conservation. Ces méthodes peuvent paraître, a priori, abstraites voir rebutantes, mais nous espérons que leur mise en oeuvre à travers des situations classiques montrera, au delà de leur pertinence, l’aspect "naturel" de ces méthodes. Les deux approches différentes s’éclairent l’une l’autre, et permettrons à terme de mieux saisir la physique sous jacente. Autrement dit, il n’est pas encore question de tout bien comprendre ce qui se passe en cas de dissipation d’énergie, mais de proposer d’une part des outils et d’autre part des voies qui pourraient s’avérer pertinentes. CIFMA01 - IFCAM01, 02-04 mai/May 2006 2 Ce travail est issu de la rencontre de mécaniciens travaillant sur des systèmes dissipatifs à l’INSA de Lyon, et de physiciens et mathématiciens ayant une pratique du calcul tensoriel et des métriques. 2. Chemin le plus court sur une surface Beaucoup de domaines de la physiques et de la mécanique sont confrontés au problème de connaître puis calculer des trajectoires qui minimisent des contraintes ; il est question souvent de trajectoire la plus courte, de géodésique. 2.1 Sur le théorème d’Euler Examinons le cas le plus simple, bien qu’abstrait. Soit l’espace de fonctions continues, différentiables par morceaux définies sur un intervalle I=[t1, t2] et à valeurs réelles. Nous noterons E=C1,0(I,R). Pour f C1,0(I,R), nous noterons f sa dérivée qui existe presque partout. Lorsque cela sera nécessaire nous supposerons les fonctions deux fois dérivables. Soit maintenant une fonction (un lagrangien par exemple) Sur le sous espace des fonctions de E qui vérifient t2 L L f , f , t définie sur E E I et à valeurs dans R. f t1 x1 et f t2 x2 , considérons l’application J : f J f L f , f , t dt (1) t1 et cherchons les fonctions f qui soient un minimum relatif pour J ; si un tel minimum existe nous le nommerons chemin le plus court sous la contrainte L . La réponse est donnée par le théorème d’Euler-Lagrange : si f est un minimum local alors L d L f , f ,t f , f ,t f dt f (2) Réciproquement si f vérifie l’équation d’Euler-Lagrange alors on a un extremum. 2.2 Sur une surface dans R3 Soit R3 muni d’une base orthonormée e1, e2 , e3 ; tout vecteur par une équation de la forme x , s’écrit x xk ek . Une surface dans R3 est définie f x1, x2 , x3 0 . Par exemple l’hyperboloïde à une nappe est définie par x12 x22 x32 R 2 0 , la sphère par x12 x22 x32 R2 0 et le cylindre, d’axe e3 et de rayon R , par x12 x22 R2 0 . Etant donné que l’on peut paramétrer (au moins localement) une surface par deux variables une surface peut être définie par un ensemble de trois équations de ces deux variables : u, v , xk fk u, v . Par exemple pour la sphère on peut prendre les variables angulaires usuelles , et pour l’hyperboloïde un angle sphérique et un angle hyperbolique. CIFMA01 - IFCAM01, 02-04 mai/May 2006 3 Problème : Soit deux points A et B d’une surface de R3, comment trouver le chemin t t le plus court, tracé sur cette surface, joignant des points A et B donnés? Nous avons trois méthodes à notre disposition ; la première purement géométrique (et souvent heuristique), la méthode Lagrangienne et enfin la méthode métrique. La méthode géométrique est intuitive, utilisant la visualisation de la figure et les symétries de cette surface. Si pour la sphère le chemin le plus court est toujours porté par un arc de grand cercle, i.e. par l’intersection de la sphère avec le plan passant par A, B et le centre de la sphère (si les points A et B ne sont pas antipodaux), qu’en est-il pour un cylindre, un hyperboloïde? On peut penser que l’on obtient ces chemins via l’intersection du cylindre, de l’hyperboloïde avec un plan, mais quel plan? Et pour une surface quelconque ? t t k t ek , une courbe, tracée sur la surface et joignant les points A et B. La méthode Lagrangienne : Soit ds de la courbe s’écrit ds k k et le point t étant sur la surface, on a la L’élément de longueur usuel f 1 t , 2 t , 3 t 0 contrainte Pour (3) t0 A et t1 B , la longueur S AB du chemin définie par t entre les points A et B est : t1 S AB ds dt dt t1 t0 t0 Or la contrainte relie les k k dt k , pour (k = 1, 2, 3) par : (4) f k 0 k (5) t1 S AB L dt et donc (6) t0 où L 12 22 f f 1 2 2 f 3 2 1 1 2 (7) On est ramené à un problème similaire au précédent de minimisation de équations d’Euler-Lagrange qui pour i =1, 2 s’écrivent : S AB qui s’obtient au moyen des d L L 0 dt i i (8) Application : pour la sphère, le cylindre et l’hyperboloïde, L 12 22 avec 11 2 2 2 12 22 R 2 1 pour la sphère, 1 pour l’hyperboloïde. Pour le cylindre vertical de rayon R, on a : (9) CIFMA01 - IFCAM01, 02-04 mai/May 2006 4 2 L 1 2 1 2 12 32 R 1 (10) Les équations d’Euler-Lagrange nécessitent des calculs précautionneux (mais très rapides si on le fait avec un logiciel de calcul formel), et l’on vérifie facilement que par exemple 1 t 0 fournit une solution pour chacun des trois exemples ce qui signifie que pour la sphère tout arc de grand cercle est géodésique (en utilisant les symétries de la sphère). Pour le cylindre ou l’hyperboloïde cela signifie que toute intersection avec un plan vertical passant par l’origine est géodésique. Mais trouver toutes les géodésiques de l’hyperboloïde est beaucoup plus compliqué. Mais ici une remarque s’impose : si l’on prend l’élément de distance invariant par les rotations hyperboliques dans les plan e1, e2 et e2 , e3 , alors ds est la distance pseudo-euclidienne définie par ds 2 dx12 dx22 dx32 , et L a la même expression que ci-dessus avec 1 . Les équations d’Euler-Lagrange correspondantes sont plus simples et il est alors facile de montrer que les géodésiques sont intersections de certains plans et de la surface, comme pour la sphère et le cylindre. La méthode métrique : considérons maintenant notre surface définie par f x1, x2 , x3 0 comme paramétrée (localement) par un ensemble de trois équations de deux variables u et v : xk fk u, v . Dans l’exemple de la sphère on peut prendre : x1 R cos u cos v , x2 R cos u sin v , x3 R sin u . L’élément de longueur euclidien ds sur cette surface va pouvoir s’exprimer avec les éléments du , dv : x x x x ds 2 dxk dxk k du k dv k du k dv v v u u Dans l’exemple du cylindre on peut prendre : x1 R cos v , (11) x2 R sin v , x3 u . On prendra le même élément de longueur. Dans l’exemple de l’hyperboloïde on peut prendre : x1 R ch L’élément de longueur pseudo-euclidien u cos v , x2 R ch u sin v , x3 R sh u . ds sur cette surface va pouvoir s’exprimer avec les éléments du , dv : 2 2 x x x x x x ds 2 dx12 dx22 dx32 1 du 1 dv 2 du 2 dv 3 du 3 dv v u v v u u 2 (12) Ainsi, en regroupant les termes (aussi bien dans les trois exemples que pour une surface quelconque) et en nommant gij les coefficients on a : ds 2 g11du 2 g12 du dv g21 dv du g22dv 2 gij dui du j (13) CIFMA01 - IFCAM01, 02-04 mai/May 2006 5 Le dernier membre de droite utilise ce que l’on appelle les conventions d’Einstein ; plus précisément, u1 u, u 2 v et l’on somme sur les indices inférieurs qui apparaissent également en indices supérieurs. Nous obtenons ainsi ce que l’on appelle une métrique, notée g, sur la surface paramétrée, ici la métrique induite sur cette surface par la métrique euclidienne sur R3 pour la sphère et le cylindre et par la métrique pseudo-euclidienne pour l’hyperboloïde. Il nous reste plus qu’à utiliser le calcul tensoriel usuel pour obtenir les équations des géodésiques sur cette surface. On commence par calculer ce que les mathématiciens appelle la connexion ijk de Christoffel) : où les associée à cette métrique (les symboles 1 kn gin g jn gij g j 2 ui u n u (14) g kn sont les éléments de la matrice inverse de la matrice gij , et ou la sommation se fait sur les indices répétés. Soit maintenant une courbe t t k t ek tracée sur cette surface paramétrée, on a i t fi u t , v t pour i = 1, 2, 3 (et où les fonctions fi u, v paramètrent la surface). Alors pour que cette courbe soit sur une géodésique il faut qu’elle vérifie les équations des géodésiques : u k ijk uiu j 0 (15) Mais la métrique elle-même donne une intégrale première de ces équations : L gij uiu j (16) que l’on nomme le Lagrangien de la métrique. Ce Lagrangien exprime une constante du mouvement sur une géodésique. Et les équations d’Euler-Lagrange associées à L sont les équations des géodésiques. Ainsi une formulation métrique nous donne un Lagrangien. Nous avons donc à notre disposition deux formulations équivalentes pour trouver les géodésiques, et ces formulations s’éclairent l’une l’autre. Application à la sphère, au cylindre et à l’hyperboloïde. Nous donnons ici la métrique, l’intégrale première et les équations des géodésiques. R2 Pour la sphère : la matrice de la métrique est 0 et la métrique s’écrit R 2 cos 2 u 0 ds 2 R 2 du 2 R 2 cos2 u dv 2 Donc la constante du mouvement est et les équations des géodésiques sont : Pour le cylindre : la métrique s’écrit la constante du mouvement est et les équations des géodésiques sont : (17) L R 2 u 2 R 2 cos 2 u v 2 u cos u sin u v2 0, v tan u uv 0 ds 2 du 2 R2 dv2 L u 2 R2 v2 u 0, v 0 (18) (19) (20) (21) (22) CIFMA01 - IFCAM01, 02-04 mai/May 2006 6 ds 2 R 2 du 2 R 2 ch 2 u dv 2 Pour l’hyperboloïde : la métrique s’écrit (23) L R 2 u 2 R 2 ch 2 u v 2 la constante du mouvement est (24) u ch u sh u v2 0, v th u uv 0 et les équations des géodésiques sont : (25) 2.3 Dans un espace de dimension n Les résultats sont qualitativement les mêmes, nous allons les préciser pour fixer des notations. Soit donc une "surface généralisée" S (une sous-variété) de dimension m dans Rn de base vecteur s’écrit x e1, e2 , , en . Tout xk ek . Cette surface est définie par d n m équations fi x1, x2 , , xn 0, pour i 1 d . Localement on la considérera paramétrée par n équations des m paramètres u1, u 2 , x1 h1 u1, u 2 , , um : , u m , x2 h2 u1, u 2 , , u m , …, xn hn u1, u 2 , , u m ; mathématiquement, on dit que l’on a une carte de cette variété S. Considérons S munie de la métrique induite par une métrique (euclidienne, pseudoeuclidienne ou plus générale) choisie a priori sur Rn. Cette métrique définit un élément de longueur ds sur cette u1, u2 , surface ; et dans le paramétrage par ds 2 k 1 n , u m on a, pour la métrique euclidienne sur Rn : j du u j j 1 m 2 xk (26) n Pour une métrique pseudo-euclidienne dx k k R, sur Rn on a 2 k , où k 1 ds 2 k k 1 n xk j du u j j 1 m 2 Notons (27) gij le coefficient de du i du j alors le carré de l’élément de longueur s’écrit : m ds 2 m g du du ij i j gij du i du j (28) i 1 j 1 avec les conventions d’Einstein. Nous appellerons g gij la matrice de la métrique dans les coordonnées ui . Cette formule générale sur une "surface" de dimension m dans Rn, s’écrit ainsi de la même manière que dans le cas d’une surface dans l’espace usuel, il en est de même pour la connexion (les symboles de Christoffel) : ijk 1 kn gin g jn gij g j 2 ui u n u (29) CIFMA01 - IFCAM01, 02-04 mai/May 2006 où les 7 g kn sont les éléments de la matrice inverse de la matrice gij , la sommation se faisant suivant la convention usuelle sur les indices répétés. Soit maintenant t t n k 1 k t ek , une courbe, tracée sur la surface paramétrée au moyen des n fonctions hk des m variables ui ; on a k t hk ui t pour k 1, 2, géodésique il faut qu’elle vérifie les équations des géodésiques : , n . Alors pour que cette courbe soit sur une u k ijk uiu j 0 (30) Et la métrique elle-même donne une intégrale première de ces équations, un Lagrangien : L gij uiu j d L dt u i dont les équations d’Euler-Lagrange L i 0 u (31) (32) nous donnent des trajectoires qui sont les géodésiques de la métrique g. Il est important de signaler des objets géométriques qui sont des invariants associés à la métrique et donc à la surface ce sont les tenseurs de Riemann et de Ricci et la courbure scalaire. Nous les introduirons plus loin. Un exemple : l’espace la relativité restreinte. On prend n = m = 4, avec sur la base e1, e2 , e3 , e4 la métrique pseudo-euclidienne (métrique de Minkowki) définie par k 1, 1, 1, 1 . On paramètre cette surface (qui est l’espace tout entier) au moyen des coordonnées polaires usuelles. On a x 4 k 1 hk t , r , , ek avec h1 ct , h2 r cos , h3 r sin , h4 r sin cos On calcule les coefficients gij et la métrique ds 2 c 2 dt 2 dr 2 r 2 d 2 r 2 cos 2 d 2 (33) (34) est associée à la matrice : c2 0 0 0 0 1 0 0 0 r 2 0 0 0 r 2 cos 2 0 0 (35) 2.4 Premières applications en mécanique Nous allons donner deux exemples mécaniques dans l'espace-temps de Minkowski qui permettront de saisir l'intérêt du calcul métrique. 2.4.1 Système tournant Considérons une pièce tournant autour de l'axe e4 à la vitesse angulaire . On paramètre R4 au moyen des coordonnées cylindriques : 4 x hk (t , r , , z )ek k 1 h1 ct , h2 r cos , h3 r sin , h4 z (36) CIFMA01 - IFCAM01, 02-04 mai/May 2006 gij nous donne la métrique Le calcul des coefficients 8 ds 2 c2dt 2 dr 2 r 2 d 2 dz 2 2 33 r , 323 332 Les éléments non nuls de la connexion sont : 1 r (37) (38) On en déduit alors les équations des géodésiques : 2 d d2 d2 2 d d d2 d 2 t p 0, 2 r p r p 0, 2 p r p p 0, 2 z p 0 dp r dp dp dp dp dp dp (39) 2 La variable p de paramétrage des géodésiques est temporelle du fait de la première équation d t p 0 ; les deux 2 dp équations suivantes nous donnent les forces centrifuge et de Coriolis. On aurait retrouvé ces résultats en prenant les équations d'Euler-Lagrange du Lagrangien L c2t 2 r 2 r 22 z 2 (40) Plaçons nous maintenant du point de vue de l'observateur lié à la pièce tournante, ce qui revient à poser t . La métrique s'écrit alors : ds 2 c2dt 2 dr 2 r 2 d dt dz 2 2 (41) et on retrouve exactement les mêmes équations du mouvement. En clair, cet exemple montre que les concepts de forces centrifuge et de Coriolis sont les mêmes tant du point de vue mécanique classique (Newtonienne) que relativiste (dans un univers vide). Au vu des résultats ci-dessus, on se convaincra sans peine que l'on obtient les forces centrifuges et de Coriolis en se restreignant à l'espace R3 avec la métrique euclidienne exprimée dans les coordonnées cylindriques. Remarque : si l'on considère maintenant un système tournant à vitesse variable t t , les résultats sont qualitativement les mêmes : la métrique (qui donne une intégrale première ds 2 c2dt 2 dr 2 r 2 d dt dz 2 2 du mouvement) s'écrit : (42) et les équations des géodésiques 2 d2 2 d d d d r t r t 2r t t r t 0, 2 dt dt dt dt dt (43) pour la force centrifuge et pour la force de Coriolis on a : d2 dt t 2 d2 2 d d d 2 d t t r t r t t 0 r dt dt dt r dt dt 2 (44) 2.4.2 Corps en chute libre Considérons maintenant, toujours dans l’espace de Minkowski, le mouvement radial d’un corps en chute libre attiré par une masse m, (on notera M mG c2 sa "masse" relativiste qui a une dimension de longueur), que l’on prendra au centre du système de coordonnées sphériques. On supposera connue la vitesse v0 à la distance r0 (données initiales). On sait, d’après la mécanique newtonienne classique, que ce corps en chute libre est soumis à une accélération CIFMA01 - IFCAM01, 02-04 mai/May 2006 9 r mG r 2 Mc 2 r 2 , qui dérive du potentiel v mG . Donc sa vitesse de chute est r 2mG 2Mc2 2 K K , où la constante K v0 2 mG r0 , est donnée par les conditions initiales r r v0 , r0 . Le signe est celui de v0 ; en effet le mobile soit se rapproche de la masse m si v0 0 , soit s’éloigne avec une vitesse initiale positive v0 . Dans les deux cas la vitesse newtonienne en r est donnée par 1 1 v r sgn v0 2mG v02 r r0 (45) La constante K est reliée à l’énergie du mobile (énergie cinétique - énergie potentielle) car : v 2 r 2 r v02 2 r0 K (46) Procédons comme dans l’exemple précédent de la pièce qui tourne, il est alors immédiat de remarquer que si l’on prend les métriques obtenues par déformation de la métrique de Minkowski qui utilisent le fait que dr v r dt pour le mobile en chute libre, donc de la forme ds 2 c 2dt 2 dr v r dt r 2d 2 r 2 cos2 d 2 2 (47) où est une constante, ces métriques admettent les trajectoires du mobile comme solutions des équations des géodésiques. On a, de manière équivalente, les Lagrangiens L c 2t 2 r v r t r 22 r 2 cos2 2 2 (48) et leurs équations d’Euler-Lagrange qui rendent compte du mouvement radial. Il reste à déterminer la constante , ce qui peut être fait en minimisant la courbure de cette surface. A chaque métrique on associe des invariants géométriques de courbure, et parmi ceux-ci la courbure scalaire notée R qui généralise la courbure de Gauss. Cette courbure mesure l’écart entre l’aire euclidienne d’une sphère et l’aire associée à la métrique de cette sphère. Le calcul de R (immédiat avec un logiciel de calcul formel) nous dit que : R 0 1 K Ainsi la métrique "la plus simple" (car la plus plate) s’écrit ds c dt 2 où 2 2 2 dr v r dt r 2 d 2 r 2 cos2 1 K d 2 (49) v r est la vitesse newtonienne v r sgn v0 2mG r K et K 2mG r0 v02 , la constante du mouvement. Remarque : cette métrique, facile à obtenir, est solution des équations d’Einstein dans le vide, fait qui est ignoré dans la littérature, et pourtant établie en 1921 par Paul Painlevé et également par A. Gullstrand. Il est trop souvent utilisé la métrique dite de Schwarzschild pour ce problème (Painlevé 1921, Mizony 2005). Mais surtout nous l’avons obtenu uniquement à partir des principes newtoniens! d’équivalence entre la théorie de Newton et de celle d’Einstein. C’est le premier exemple CIFMA01 - IFCAM01, 02-04 mai/May 2006 10 2.5 Sur calcul tensoriel Nous avons vu dans un premier temps qu’une surface dans R3 présentait de la courbure et que naturellement on avait un élément de longueur, le ds qui s’exprime, dans un paramétrage, par une métrique. Pour les mathématiciens se donner un paramétrage d’une surface c’est se donner ce qu’ils appellent une carte de la variété (surface). Puis nous avons considéré des surfaces de dimension m (paramétrées par m variables uj) dans un espace pseudo-euclidien de dimension n. Cette métrique pseudo-euclidienne induit, sur la surface paramétrée, un élément de longueur ds qui permet de calculer la longueur d’une trajectoire tracée sur cette surface. Le calcul tensoriel permet de mettre en oeuvre un moyen de calculer les géodésiques, les chemins les plus courts entre deux points d’une surface. Les mécaniciens savent, depuis Euler et Lagrange, calculer les géodésiques à partir d’un Lagrangien. C’est une méthode analytique qui a largement fait ses preuves ; mais la difficulté réside souvent dans la recherche d’un "bon" Lagrangien pour traduire un problème mécanique, l’idée reposant sur le fait que ce Lagrangien doit exprimer une "bonne" conservation de l’énergie. Quand se manifeste des phénomènes de dissipation d’énergie, la difficulté redouble. Un mouvement mécanique pouvant être décrit par une trajectoire sur une surface, aussi bien au sens restreint du terme (une surface dans R3), que dans un sens plus général (associé aux degrés de liberté) traduit par une surface de dimension m, nous pouvons utiliser alors l’outil géométrique des métriques et du calcul tensoriel pour soutenir notre intuition et "trouver un bon Lagrangien". Les premiers exemples donnés ci-dessus en sont, nous l’espérons, une bonne illustration. Une métrique sur une surface de dimension m doit être vue comme une déformation d’une distance dans Rn, déformation provenant de la forme de cette surface ; cette déformation se traduit donc par des "courbures" dans toutes les directions. La géométrie étudie donc des objets abstraits pour nommer ces "courbures" et en donner des propriétés. Le résultat principal de cette théorie mathématique associée à une surface munie d’une métrique est l’existence d’invariants géométriques, appelés courbures, le premier d’entre eux étant le tenseur de Riemann, noté l . Deux autres invariants obtenus par "moyennisation" de ce tenseur de Riemann est le tenseur de traditionnellement Rijk Ricci, noté Rij, et la courbure scalaire, notée R. L’idée intuitive repose sur le fait que plus ces courbures s’annulent, plus la surface est plate. Par exemple si le tenseur de Riemann est identiquement nul on dit que cette surface est plate (c’est le cas de l’espace de Minkowski). Dans l’exemple du corps en chute libre, nous avons utilisé la nullité de la courbure scalaire pour déterminer un paramètre inconnu ; et dans cet exemple, le tenseur de Ricci est également identiquement nul. Il y a aussi par derrière le principe de simplicité, cher à Einstein : plus les courbures s’annulent, plus les calculs sont aisés et l’interprétation des résultats facilitée. Evidemment il nous faut rappeler qu’à toute métrique est associé un Lagrangien dont les équations d’Euler-Lagrange nous donnent les mêmes trajectoires que les équations des géodésiques associées à la métrique, et réciproquement. Mais suivant les problèmes les calculs sont plus faciles (plutôt moins difficiles) dans un des deux cadres. En fait on a à notre disposition deux approches théoriquement équivalentes qui s’éclairent mutuellement : l’une basée sur la "conservation de l’énergie", l’autre sur la "simplicité des courbures géométriques". A nous de jouer sur ces deux tableaux pour mieux saisir des problèmes de mécanique. De nombreux ouvrages présentent des propriétés (et démonstrations) de ces courbures (Fock 1964, Einstein 1971, Weinberg 1972, Chilov 1975, Doubrovine et autres 1982, Mizony 2003) ; il n’est pas question ici de les présenter. On signalera cependant l’importance du tenseur de Riemann. Si culturellement il permet d’entrevoir que la connaissance d’une surface est résumée dans ce tenseur, il est important pour définir le tenseur de Ricci et la courbure scalaire, puis le tenseur d’Einstein qui tisse des liens entre "courbures" et "énergies". CIFMA01 - IFCAM01, 02-04 mai/May 2006 11 3 Sur la problématique de l’oscillateur harmonique 3.1 Présentation Plaçons-nous dans le contexte d’un des plus simples des systèmes mécaniques : celui du système masse-ressort idéal, à petites oscillations, soumis à une force extérieure F(t). L’équation du mouvement de la masse m est traditionnellement mx Kx F t 0 écrite sous la forme (50) où K est une constante associée au ressort. Expérimentalement les mécaniciens savent qu’il existe un terme complémentaire en x , appelé force de "frottement" plus précisément force de dissipation, du fait qu’il est proportionnel à la vitesse, et ce parfois bien qu’il n’existe aucune source de frottement identifiée. On a donc l’équation mx 2 Km x Kx F t 0 (51) où , le coefficient dit de dissipation (ou de viscosité) est bien mesuré. Il est donc présupposé un espace-temps symbolisé par le couple (x, t). Dans toute la suite, x désignera le déplacement observé par un observateur fixe du laboratoire où l’oscillateur se meut et t le temps qui s’écoule à la montre de cet observateur rivé au laboratoire. Se donner l’équation simple du pendule (de l’oscillateur harmonique) c’est se donner un certain nombre d’objets : une masse m et donc deux écritures de l’énergie associées E mc 2 h , où h est la constante de Planck, c la vitesse de la lumière et la fréquence relativiste ; une rigidité K et la fréquence de résonance K m associée à la solution générale de l’équation homogène associée à une force extérieure F(t) agissant sur la masse m. Cette équation différentielle est établie dans le cadre de la mécanique newtonienne et provient de l’équation d’Euler- d L L 0 dt x x Lagrange associée au Lagrangien classique où Lc (52) 1 2 1 2 mx Kx F t x 2 2 (53) 1 2 1 mx désigne l’énergie cinétique de la masse m et Kx 2 F t x le potentiel attaché à la rigidité (ou 2 2 force de rappel) K et à la force extérieure F. Pour ne pas compliquer le problème nous avons supposé que la force de rappel K ne dépend ni de x ni de t, et nous le supposerons par la suite, car là ne se situe pas l’essentiel du propos (autrement dit, le fait que K soit constant ou non est annexe par rapport aux problèmes de fond posés par la modélisation de l’oscillateur harmonique). 3.2 Facteurs conformes et corrections 3.2.1 Facteur conforme et dissipation Problème : Quel Lagrangien faut-il prendre pour obtenir l’équation du mouvement de l’oscillateur amorti ? Il est bien connu qu’en multipliant le Lagrangien classique par un facteur conforme de la forme 1 1 L e At mx 2 Kx 2 F t x 2 2 e At , i.e. (54) CIFMA01 - IFCAM01, 02-04 mai/May 2006 12 alors le phénomène d’amortissement est pris en compte car une des équations d’Euler-Lagrange du mouvement est de la forme cherchée. Remarque : Mais des expériences plus fines, lors d’études sur l’amortissement en régime transitoire rapide, montrent qu’il faut remplacer le coefficient Soit 2 Km de l’équation par une fonction du temps; le problème est donc le suivant : mx m t x Kx F t 0 cette équation du mouvement, comment obtenir théoriquement cette fonction (t)? Question ouverte, mais importante, il est une expérience que l’on fait souvent, celle de constater que la plupart des pannes mécaniques interviennent pendant la mise en route ou lors de l’arrêt d’un système. Peut-on limiter les sources de ces pannes qui proviennent lors d’un changement de régime brutal. En régime normal, on sait qu’il suffit d’éviter des plages de résonances, mais le problème reste incompris en régime transitoire (démarrage, arrêt, ou ... panne secondaire qui perturbe soudainement le régime normal). Un régime transitoire rapide, correspond à une force F t F0 sin où t dt passe rapidement d’une valeur w1 à une valeur w2. Ce régime transitoire peut simuler la mise en marche ou l’arrêt d’un régime dit permanent ( F t F0 sin t ) pour lequel l’équation du mouvement est valable semble-t-il. Le recours à un facteur conforme est-t-il anecdotique ou signifie-t-il quelque chose de profond ? 3.2.2 Facteur conforme et correction relativiste Même si la première correction relativiste, liée à la vitesse x t , est tout à fait négligeable dans le cas de l’oscillateur harmonique, l’étude de cette correction relativiste dans un cadre Lagrangien, va nous permettre de mettre en évidence le rôle joué par la présence d’un facteur conforme. Cette correction relativiste s’obtient usuellement en remplaçant dans l’équation du mouvement d’une part x t par x 1 x c , et d’autre part m par m 2 principaux de l’équation du mouvement : 1 x c , la masse relativiste. Ainsi on obtient comme termes 2 3 x 2 mx Kx F 1 2 c Une autre manière d’obtenir cette première correction relativiste, est de remplacer 0 (55) 2 1 2 mx par 1 mx 2 1 1 x 4 c 2 2 dans le Lagrangien classique. Ces deux obtentions possèdent des inconvénients ; elles ne donnent pas les mêmes points de suspension et font apparaître des termes en Lr on a : 3 t , x 2 e mc x n , avec n > 2. Il est facile de remarquer que si l’on pose 1 2 1 2 2 mx 2 Kx F t x 3 x 2 Kx F t 1 Kx2 F t x 0 Fx mx Kx F 1 3 2 x 3 2 2 c 2 c mc (56) (57) Nous obtenons ainsi une formulation simple de la correction relativiste dans les coordonnées (t, x) du laboratoire. CIFMA01 - IFCAM01, 02-04 mai/May 2006 13 3.2.3 Résumé sur la formulation Lagrangienne conforme Nous venons de voir que pour obtenir le terme d’amortissement ou la correction relativiste pour l’oscillateur harmonique dans le cadre Lagrangien nous avons multiplié le Lagrangien classique par un facteur (dit conforme). Dans un cadre plus général, écrivons la formulation Lagrangienne du problème, en partant du Lagrangien classique associé à un champ (t , x ) que nous noterons L : c Lc 1 2 mx (t , x) 2 (58) L e H ( t , x ) Lc Introduisons un facteur conforme en prenant : (59) dont l’équation du mouvement s’écrit alors 1 mx mH x 2 mH x H 0 2 x Pour (60) 1 2 Kx F t x cette formule redonne aussi bien la correction relativiste (avec H 3 ) que le 2 mc 2 régime permanent (avec H 2t ) ; de plus ces deux corrections sont indépendantes. Dans ce cadre Lagrangien, comment trouver ce facteur conforme H(t, x), pour un régime transitoire rapide par exemple ? Il manque des équations. Mais revenons sur le rapport entre les équations du mouvement associées aux Lagrangiens classique et conforme. L d L L d L L H Lc H e H c c Lc x c t x x x dt x x dt x x (61) Ainsi l’équation du mouvement associé au Lagrangien conforme s’obtient par la modification de l’équation du mouvement associé au Lagrangien classique d’une part par la correction dissipative (le deuxième terme) et d’autre part par une correction complémentaire (le troisième terme qui est négligeable pour les vitesses non relativistes). 3.3 Formulations métriques Sachant qu’une formulation lagrangienne est équivalente à une formulation métrique, il existe cependant plusieurs moyens de l’exprimer : la première est de l’écrire à l’aide d’une métrique 2x2 sur l’espace-temps des (t, x) (une dimension d’espace) et d’essayer de considérer ce qu’amène ce point de vue géométrique ; la deuxième est d’utiliser une métrique 3x3 sur un espace des (t, x, ), où la troisième variable est choisie en fonction de sa pertinence (mécanique) et en utilisant le fait (mathématique) que toute surface non plate peut être plongée dans un espace plat ayant des dimensions supplémentaires. 3.3.1 Avec une métrique 2x2 Soit donc les variables (t, x) paramétrant l’espace-temps de l’observateur qui regarde les oscillations du système. Pour cet observateur la métrique est la métrique canonique de Lorentz. Soit g la métrique associée à la masse qui oscille. t, x f t, x . f t , x h t , x Prenons son écriture dans la carte associée à l’observateur ; sa matrice est de la forme générale Mais pour obtenir c2 t, x f t, x forme h t , x des équations “simples”, il est f t, x . On a donc la métrique : 1 ds 2 h t , x c 2 t , x dt 2 2 f t , x dtdx dx 2 pratique de la prendre sous (62) la CIFMA01 - IFCAM01, 02-04 mai/May 2006 14 Or une intégrale première des équations des géodésiques est donnée par le Lagrangien associé à la métrique : L h t , x c 2 t , x t 2 2 f t , x tx x 2 (63) dont l’équation du mouvement, dans le temps t du laboratoire, s’écrit via l’équation d’Euler-Lagrange, x h 2 h h hf x x 2h h 2h 2 h (64) où h h x , h h t etc. Par identification avec l’expression conforme associée au potentiel , on obtient : h eH t ,x t, x 2 m f k x e H t , x (65) où k(x) est une fonction quelconque. Nous avons donc de nombreuses formulations métriques 2x2 équivalentes à la formulation Lagrangienne conforme. Evidemment les "plus simples" sont données par k(x) = 0 et, si l’on ne veut pas de termes en H t,x x 2 , par h e x =0, comme par exemple pour obtenir l’équation du mouvement de l’oscillateur amorti. Mais dans cette formulation métrique l’on peut faire appel aux courbures (en calculant la courbure scalaire par exemple), et choisir les solutions dont les courbures seront les plus simples, voire nulles. En effet, pour les métriques 2x2, si la courbure scalaire est nulle, toutes le sont. Pour l’oscillateur amorti, sans force extérieure (F = 0), pour k(x) = 0 et nullité (à 1 c 2 h 0 , écrivons h sous la forme h e At ; la près) de la courbure scalaire (géométrique) implique que le facteur conforme soit de la forme e a t+b . Ce at résultat, de type géométrique, confirme le bien-fondé du choix du facteur conforme (e ) pour traduire la dissipation d’énergie. Examinons maintenant le cas de l’oscillateur forcé. Pour t, x K 2 x F t x , ds 2 e At c 2 2 dt 2 dx 2 , la courbure scalaire s’écrit : 2 m R 2e et se réduit à t 2mc 2 K 4 F 2 mFx 2 mc 2 2 Kx 2 4 Fx (66) 2mc 2 K R 4et mc 2 2 Kx 2 2 (67) pour F = 0, c’est à dire est nulle à 1 près. c2 On a les mêmes résultats pour un potentiel quelconque et en particulier pour A(t)= t la courbure scalaire vaut : CIFMA01 - IFCAM01, 02-04 mai/May 2006 15 2 2 2 2m 2 c 2 4 2 2 m x t t x x e 2 mc 2 2 (68) Ainsi, les courbures associées à l’interprétation métrique d’un Lagrangien nous fournissent des équations supplémentaires. Passons maintenant à une deuxième interprétation métrique 2x2, cette fois ci dans le temps propre de la pièce mobile (et non plus dans le temps propre de l’observateur fixe du laboratoire). Pour cela, reprenons l’idée développée auparavant, dans les exemples de la pièce tournante et du corps en chute libre, pour l’oscillateur libre mais dissipatif d’équation du mouvement 1 mx Cx Kx provenant du Lagrangien conforme L eC mx 2 Kx . Les solutions des équations 2 du mouvement sont de la forme : x Ae Ct 2m 1 C 2 4 Km cos t b 2 m (69) où A et b sont des constantes définies par les conditions initiales. Notons v(t) la vitesse, v t A e Ct 2m 2 2 C cos 1 C 4 Km t b C 2 4 Km sin 1 C 4 Km t b 2m 2 m 2 m et donc à cette vitesse est associée la forme de métrique (70) ds 2 dt 2 dx v dt dans le temps propre t de la 2 pièce mobile. Les équations des géodésiques se réduisent 2 d 2 d d2 t p 0, x p v t , x t p 0 2 , 2 t dp dp dp (71) ce qui n’a rien de surprenant. Il nous reste à calculer les différentes courbures ..., elles sont toutes nulles. Evidemment c’est une situation d’école car cette métrique est établie à partir de la connaissance de la vitesse, c’est-à-dire du mouvement cherché d’une pièce mobile. Cependant cet exemple montre que ces courbures métriques que l’on peut associer, d’une manière ou d’une autre, à un système ont un sens mécanique. Cet exemple montre que tout se passe comme si le temps propre de la pièce mobile t est différent du temps du laboratoire (obtenu en faisant dx 0 dans la métrique). En résumé, nous avons exploré deux pistes d’interprétation géométrique d’un lagrangien, chacune des pistes fournissant des éclairages, en fait des équations supplémentaires liées aux courbures. La première piste étant de souligner l’importance d’un facteur conforme qui traduit la "dissipation d’énergie", la deuxième montrant que cette "dissipation d’énergie" peut être vue comme un écoulement non linéaire du temps, i.e. le temps propre d’une pièce mobile est différent du temps propre de l’observateur fixe. 3.3.1 Avec une métrique 3x3 Mais la géométrie nous apprend que toute surface avec courbure(s) peut être plongée dans un espace de dimension plus grande, mais sans courbure ; c’est cette voie que nous voudrions présenter, d’autant plus qu’elle s’avère efficace. Il faut introduire, pour cela une (des variables) supplémentaire(s). Reprenons cet exemple de l’oscillateur forcé qui symbolise la mise en route d’un système (avant un régime permanent) ou l’arrêt de ce système (après ce même régime permanent). Comment prendre en compte ce qui se passe ? Si ce régime CIFMA01 - IFCAM01, 02-04 mai/May 2006 16 transitoire est représentée par une force F t F0 sin t par exemple, une évidence : la variable supplémentaire à introduire pour plonger l’espace des (t, x) dans un espace plus grand aura un lien avec cette fonction . Plutôt que de reprendre des développements théoriques sur les métriques, présentons un résultat. 3.3.2 Confrontation aux observations Système à un degré de liberté. Dans le système de coordonnées q 1 , q 0 , q1 soit la métrique abstraite g donnée par la matrice g q1 11 g 0 0 0 g 00 q 1 2U q 0 , q1 c 0 g11 q 1 0 2 g11 q 1 0 (72) où U est un potentiel. Soit un système à un degré dont les paramètres sont présentés dans le tableau 1. Le repère de travail a pour axes q1 u le déplacement, et q 1 , q 0 désignent d’une part la variable supplémentaire (la pulsation ) et d’autre part le temps t. Par hypothèse les raideur et masse totales rapportées à l’axe u sont respectivement k et m. La pulsation référence est alors : k m La force extérieure f(t) agit suivant u. L’énergie potentielle totale par unité de masse U s’écrit : 1 1 2 k u f u . m2 (73) Soit le facteur d’amortissement mesuré en régime stationnaire par la méthode de la largeur de bande. Des calculs montrent que pour obtenir une des équations des géodésiques de la forme souhaitée, il faut prendre les coefficients g ii -1 de la matrice g sous la forme ef(q ) avec q-1= et alors les équations couplées des géodésiques pour les axes q 1 , q1 deviennent: 1 1 m 2 2 k u 2 f t u m u 2 0 , 2 2 m u 2 m u k u f t , et (74) (75) qui sont soumises aux conditions aux limites t 0, u0 u0 , u0 u0 , 0 0, tn , (76) tn étant le temps où la pulsation correspond à la pulsation propre. La dernière condition (76) nécessite l’utilisation de méthodes d’intégration numérique type méthode de tir, méthode des différence finies, méthode des éléments finis,… Dans l’équation (74), la constante demeure inconnue. Pour avoir une valeur approximative l’équation (74) peut s’écrire sous la forme L u, u, t dt 2 t . m 2 (77) En vertu du principe de moindre d'action le deuxième membre de l’équation (77) doit être nul. Ceci implique 0 ou ( ) . La première solution, en considérant l’équation (75), signifie que l’amortissement est constant, contrairement aux résultats expérimentaux. La dernière solution est ainsi retenue. La constante doit être très petite. CIFMA01 - IFCAM01, 02-04 mai/May 2006 Dans l'application suivante elle est comprise dans 17 4.10 6 , 6.106 . Validation expérimentale du modèle La Figure 1 présente le dispositif expérimental utilisé pour l'application. Il s’agit d’un système masse-ressort à 1ddl basé sur le principe d’un pendule composé plan soumis à la gravité et à un moment de rappel introduit par un ressort. La force d’excitation est fournie par un pot électrodynamique positionné en lf et mesurée par un capteur d’effort piézoélectrique. Un capteur à courant de Foucault mesure le déplacement à l’abscisse l d Fig. 1. Dispositif expérimental La force extérieure a une fréquence variable qui croit de 0 à 150 Hz et est tracée sur la Figure 2. Fig. 2. Force d’excitation (0-150 Hz) ld (m) 0.055 lf (m) 0.167 lm (m) 0.235 m (kg) 23.28 k (N/m) 528840 0.002 CIFMA01 - IFCAM01, 02-04 mai/May 2006 18 Cd (N.s/m) 14.04 24.00 n (Hz) Tableau 1. Paramètres du système Dans le cas de modèle classique où (avec modèle classique d'amortissement ), la Figure 3 compare les réponses calculée (Runge-Kutta 4) et expérimentale et montre un écart après le phénomène de résonance. Fig. 3. Réponses calculée (modèle classique) et mesurée Dans le cas du modèle proposé décrit par les équations (74) et (75), la méthode de tir (méthode Runge-Kutta d'ordre 4, et correction par méthode de Newton–Raphson) est utilisée avec un pas de temps de 0.4ms correspondant à 1/16 de la plus grande fréquence. La réponse calculée est comparée sur les Figures 4 et 5 à la réponse expérimentale. Fig. 4. Réponses calculée (modèle proposé) et mesurée Fig. 5. Zoom de la Figure 4 L’écart observé est faible et rend le modèle très satisfaisant. À chaque pas du temps il est facile de tracer tout l'amortissement associé, qui est comparé, sur la Figure 6, à l'amortissement classique 2 m 0 . CIFMA01 - IFCAM01, 02-04 mai/May 2006 19 Fig. 6. Amortissement variable (modèle proposé) et constant (modèle classique 2 m 0 ) La Figure 7 décrit l'évolution dans le temps de la variable , qui est très petite à l'instant du phénomène de résonance et à l'évolution linéaire 0t qui correspond à l'amortissement classique Fig. 7. Evolution de (t) 2 m . Fig. 8. Evolution du Lagrangien L(t) La Figure 8 présente l’évolution de la valeur du Lagrangien au cours de temps qui est importante autour de la résonance. Compte tenu des équations couplées (74) et (75), il s’ensuit une variation d’amortissement importante autour de la résonance. 4. Conclusion : Lagrangien et, ou métrique ? Nous avons proposé des pistes de traductions métriques de problèmes mécaniques. Ces interprétations que nous avons essayé de présenter comme "naturelles", ont chacune leur intérêt et leurs limites, elles s’éclairent l’une l’autre, c’est non seulement une conviction mais aussi un fait. Il suffit de revoir le problème le plus simple de l’oscillateur harmonique que trop considèrent comme depuis longtemps réglé! Nous avons voulu aussi montrer que la magnifique réalisation Lagrangienne de la mécanique pouvait s’interpréter en termes géométriques (avec ses inconvénients, l’aspect abstrait, et ses avantages, des équations supplémentaires). Il est temps maintenant de réaliser l’apport fondamental d’Henri Poincaré, en vue de prendre du recul vis à vis de l’élaboration de la connaissance scientifique. CIFMA01 - IFCAM01, 02-04 mai/May 2006 20 Oui pour le mathématicien géomètre, une métrique "parle" ; mais quel forme de métrique parmi toutes les métriques possibles ? Pour l’un de nous, il "voyait mieux" avec une métrique 2x2, pour l’autre avec une métrique 3x3 (pour le problème de l’oscillateur). C’est le sens du mot "commode" de H. Poincaré. Mais allons plus loin, pour le mécanicien, un Lagrangien "parle", son flair et son savoir faire expérimental est là et efficace. Alors faut-il géométriser la mécanique ou rester avec ses méthodes classiques? Question qui n’a aucun sens, dirait H. Poincaré. En effet il n’y a pas unicité de modélisation d’un phénomène (c’est parfaitement établi du point de vue mathématique et c’est l’apport fondamental de Poincaré, et aussi de Kant). Alors, si l’une ou l’autre des méthodes géométriques proposées peut aider à aiguiser l’intuition du mécanicien pour affronter des problèmes délicats, notre but sera atteint. Mais "commode" est de fait le maître mot qui doit être utilisé par le chercheur dans le choix des outils mathématiques qu’il se sent à même d’utiliser dans toute leur pertinence. C’est une manière de dire que les splendides équations d’Euler-Lagrange (et plus généralement celles d’Ostrogradsky) peuvent s’interpréter en termes géométriques (avec le calcul tensoriel et les courbures). Plus profondément les deux interprétations formelles se complètent et s’éclairent l’une l’autre théoriquement, et aussi intuitivement dans l’élaboration, en équipe, de nouveaux résultats pertinents. References [1] Al Majid A., Dufour R., 2003, ASME Journal of Vibration and Acoustics, 125, 223-227, Damping in high transient motion. [2] Al Majid A., Allezy A., Dufour., 2005, ASME, Journal of Vibration and Acoustics, 128, 50-55, Metric damping of MDOF systems in high transient motion. [3] Chilov G. Analyse mathématique fonctions de plusieurs variables réelles 1éme et 2éme parties. Moscou : Mir, 1975, 542p. . [4] Brillouin L. Les tenseurs en mécanique et en élasticité. Paris : Masson 1936, 370p. [5] Einstein A. Four conferences on the theory of the relativity made to the University of Princeton. Paris: Gauthier-Villars, 1971, 96p. [6] Al Majid A., dissipation de l’énergie en mécanique vibratoire (opérateurs d’hystérésis, phénomène métrique). Thèse de doctorat. INSA de Lyon, 2002, 163p [6] Allezy A., contribution a l’analyse du comportement dynamique de machines tournantes en régime transitoire [8] approches métrique et expérimentale. Thèse de doctorat. INSA de Lyon, 2006, 220p Mizony M. 2003 : La relativité générale aujourd’hui. Aléas, Lyon. 276 pages [9] Mizony M. 2005 : Le temps du recul, le principe de précaution. Rencontres de Cargèse sur l’espace-temps. http://math.univ-lyon1.fr/~mizony/cargese1_Newton.pdf [10] Painlevé P. ; La mécanique classique el la théorie de la relativité, C. R. Acad. Sci. (Paris) 1921, 173: 677-680. [11] Poincaré H. ; 1902 : La science et l'hypothèse. Flammarion, édition 1968. [12] Doubrovine B., Novikov S. , Fomenko A. 1982 : Géométrie contemporaine (méthodes et applications). Mir. [13] Weinberg S. 1972 : Gravitation and cosmology. John Wiley, New-York. [14] Fock V. 1964 : The theory of space, time and gravitation. Pergamon Press, London.