Aller au contenu

Torseur

Un article de Wikipédia, l'encyclopédie libre.

Un torseur est un objet mathématique utilisé principalement en mécanique du solide indéformable, pour décrire les mouvements des solides et les actions mécaniques qu'ils subissent de la part d'un environnement extérieur.

Son nom fait référence à la forme des lignes de champ du champ de vecteurs correspondant, en forme de torsade.

Approche par la mécanique

[modifier | modifier le code]

Un certain nombre de vecteurs utilisés en mécanique sont des moments : moment d'une force, moment cinétique, moment dynamique. Les champs de moments possèdent des propriétés communes, et peuvent être modélisés par un même objet mathématique appelé « torseur ».

Si l'on s'intéresse au modèle du solide indéformable, le fait que la distance entre deux points ne varie pas fait que le champ des vitesses d'un tel solide est également un torseur.

Parmi ces propriétés communes, les torseurs peuvent être décrits par seulement trois paramètres, un point et deux vecteurs, appelés « éléments de réduction ». Cela permet de « résumer » tout un champ vectoriel par trois paramètres vectoriels, ou, si l'on considère les trois composantes des vecteurs, par neuf paramètres scalaires.

D'un point de vue pratique, le torseur peut être vu comme un formalisme, une manière de décrire un champ vectoriel. Ce formalisme fournit des outils simplifiant la résolution de problèmes, en particulier si l'on utilise le modèle des liaisons cinématiques parfaites.

Définition

[modifier | modifier le code]
Un torseur est une fonction. Il y a le même lien entre le torseur V et V(A) que entre f et f(x).
Définition
Un torseur est un champ de vecteurs équiprojectif défini sur un espace affine euclidien de dimension 3 à valeurs vectorielles.
Un torseur est une fonction : un champ. A tout point A (antécédant) on associe un vecteur (image).
Rappelons qu'un espace affine est un ensemble non vide construit sur un espace vectoriel , également de dimension 3, pour lequel on admet les translations comme automorphismes. En mécanique, l'espace affine est l'espace réel .
Vocabulaire
Soit un point de . La valeur que prend le champ en ce point est appelée « moment du torseur au point  ».
Notation
En mécanique, on note en général .
Applications
En mécanique, l'espace affine correspond à l'espace réel dans lequel le vecteur nul ne joue plus aucun rôle particulier. Chaque vecteur de l'espace vectoriel de départ devient un simple point de l'espace.

Le torseur peut être le champ des moments d'une force, des moments cinétiques ou dynamiques d'un solide quelconque, ou bien le champ des vecteurs vitesse d'un solide indéformable.

Propriétés

[modifier | modifier le code]

Endomorphisme antisymétrique

[modifier | modifier le code]

Le torseur est donc une application de dans .

est une application affine dont la partie linéaire est un endomorphisme antisymétrique de [1].

Équiprojectivité

[modifier | modifier le code]
Exemple de torseur dans un train d'engrenages simples. On définit une fonction par roue dentée.

Par définition, un torseur est un champ équiprojectif. Il possède donc évidemment la propriété d'équiprojectivité :

où ⋅ désigne le produit scalaire.

L'équiprojectivité du champ des vitesses d'un solide indéformable est la propriété fondamentale décrivant le comportement cinématique de ces corps.

Résultante et réduction

[modifier | modifier le code]

Relation de Varignon (règle de transport des moments) (Ram 1987, p. 280) — Soit un torseur sur . Il existe un unique vecteur vérifiant :

On dit que est la « résultante » (ou « le vecteur ») de .

Réciproque : si est une application de dans et qu'il existe un point et un vecteur vérifiant :

alors est un torseur sur et en est la résultante.

Un moyen mnémotechnique de la retenir est la dénomination « formule de BABAR » :

.

Un torseur est donc déterminé par deux vecteurs, constituant sa « réduction » en un point quelconque P de l'espace, à savoir :

  • La résultante  ; ce vecteur est unique et indépendant du point de réduction ;
  • le moment en P du torseur, .

La résultante est un vecteur caractéristique du champ qui permet, à partir du moment en un point particulier, de retrouver les autres moments. De ce fait, les torseurs forment parmi les champs de vecteurs un sous-espace de dimension 6[1].

On écrit alors :

ou, en projetant la résultante et le moment sur une base orthonormée  :

où X, Y, Z sont les coordonnées de la résultante et L, M, N les coordonnées du moment. Ces coordonnées sont appelées « coordonnées plückeriennes » (du mathématicien allemand Julius Plücker).

Axe d'un torseur

[modifier | modifier le code]

Considérons un torseur de résultante non nulle. Alors on montre que les points P tels que soit colinéaire à forment une droite appelée axe central du torseur. Cet axe central existe et est unique pour tout torseur, sauf dans le cas particulier du couple et du torseur nul, où la résultante est nulle. Dans le cas d'un glisseur, les moments sur l'axe central sont nuls.

Pour le torseur cinématique d'un solide (dont les moments sont les vitesses des points du solide), la résultante est le vecteur instantané de rotation. Le mouvement du solide est en général la superposition d'un mouvement de rotation et d'un mouvement de translation parallèlement à l'axe de rotation instantané (vissage). Les points du solide en translation sont précisément les points de l'axe central du torseur cinématique.

Invariant scalaire

[modifier | modifier le code]

L'invariant scalaire, parfois appelé automoment, est le produit scalaire de la résultante et du moment d'un torseur. Il est constant en tout point de l'espace pour un torseur donné.

Vecteurs vrais et pseudovecteurs

[modifier | modifier le code]

Le champ vectoriel (le champ des moments) et la résultante sont liés par un produit vectoriel. Les vecteurs de déplacement — de type avec — étant toujours des vecteurs vrais, alors :

Types de torseurs

[modifier | modifier le code]

Torseur nul

[modifier | modifier le code]

Le champ de vecteurs nuls s'appelle le torseur nul. Il est noté {0} (à ne pas confondre avec le singleton zéro).

Torseur couple

[modifier | modifier le code]
Exemples de torseur couple, glisseur et quelconque

Un couple est un champ vectoriel uniforme, donc représenté par un torseur dont la résultante est nulle.

Un glisseur est un torseur dont le champ des moments s'annule en au moins un point (de manière équivalente, c'est un torseur d'invariance nulle et de résultante non nulle).

.

Dans ce cas, en un autre point quelconque O il vient, du fait de la relation de transport des moments:

,

aussi le point A apparaît comme le "point d'application" de la résultante: ce concept est couramment utilisé pour les forces en physique (e.g. le poids). Il est cependant évident que si est colinéaire à , , donc pour un glisseur tous les points situés sur la droite portant la résultante ont un moment nul. Il est possible de faire "glisser" le point d'application de , d'où le nom.

Exemple: si le champ de pesanteur est supposé uniforme, le torseur des actions lié au poids d'un corps est un glisseur. En effet dans ce cas la résultante s'écrit: , la sommation portant sur l'ensemble des points du corps. Il est alors facile de voir que le moment du poids en un point O quelconque s'écrit , m étant la masse totale du corps et G le centre de masse de celui-ci. Il est évident que le moment est nul en G, qui est donc le point d'application du poids, et il sera nul en tout point de la droite d'action du poids: le torseur correspondant se réduira donc à un glisseur. En revanche si le champ de pesanteur ne peut plus être considéré comme uniforme, par exemple si les dimensions du corps considérés sont assez grandes, il n'y a aucune raison que le moment ne s'annule en un point et que le torseur correspondant se réduise à un glisseur.

Torseur quelconque

[modifier | modifier le code]

Un torseur quelconque est un torseur d'invariant scalaire non nul (produit scalaire de la résultante et du moment). Un torseur quelconque peut se décomposer en une infinité de combinaisons d'un torseur couple et d'un glisseur.

Opérations sur les torseurs

[modifier | modifier le code]

Un torseur étant un champ de vecteurs, on peut définir toutes les opérations sur les champs de vecteurs. La seule opération véritablement utilisée est la somme de deux torseurs.

Notons que la réduction d'une somme de torseurs en un point est la somme des réductions des torseurs en ce point :

soient un torseur de résultante dont le moment au point A est , et un torseur de résultante dont le moment au point A est .
Alors, est le torseur de résultante dont le moment en A est .

Torseurs couramment utilisés en mécanique

[modifier | modifier le code]

Torseur des actions mécaniques

[modifier | modifier le code]

Le champ des moments d'une force par rapport à un point est un torseur, dit torseur des actions mécaniques. La résultante du torseur est la force. On peut par exemple formuler le principe d'Archimède avec les torseurs : « Le torseur des forces de pression est égal et opposé au torseur des forces de gravité dans le fluide considéré. »

Le torseur des actions mécaniques est beaucoup utilisé pour effectuer des calculs de mécanique statique pour un solide indéformable, de mécanique quasi-statique (approximation d'un problème dynamique où les effets dynamiques sont négligés et l'on considère que le système passe par une infinité d'états d'équilibre statique) ou encore des calculs de résistance des matériaux (statique du solide déformable). Il est également utilisé pour effectuer des calculs de dynamique contrairement à ce que son nom pourrait laisser penser, le principe fondamental de la dynamique utilisant ce torseur.

Torseur cinématique

[modifier | modifier le code]

Le champ des vitesses d'un solide indéformable en un instant donné est un torseur, appelé torseur cinématique du solide. La résultante est le vecteur instantané de rotation.

Torseur cinétique

[modifier | modifier le code]

Soit A un point affecté d'une masse m et d'une vitesse par rapport à un référentiel donné. Si l'on choisit un point P quelconque, on peut définir le moment cinétique de A par rapport à P par :

.

Ce champ de vecteurs est un torseur appelé torseur cinétique de A. Sa résultante est la quantité de mouvement de A, ou impulsion, . Le calcul d'un torseur cinétique est souvent une étape intermédiaire pour calculer un torseur dynamique.

Torseur dynamique

[modifier | modifier le code]

On définit de même le champ de moment dynamique

est l'accélération de A. Ce champ est un torseur appelé torseur dynamique. Sa résultante est le vecteur quantité d'accélération .

La notion de moment dynamique permet de généraliser le principe fondamental de la dynamique (PFD) à la mécanique du solide, en prenant en compte la rotation propre du solide. Avec les torseurs, le PFD s'énonce ainsi :

« il existe un repère galiléen tel qu’à tout instant, le torseur dynamique du solide dans son mouvement par rapport à ce repère est égal au torseur des forces extérieures agissant sur le solide. »

Torseur des petits déplacements

[modifier | modifier le code]

Le torseur des petits déplacements est principalement utilisé en métrologie. Sa résultante est une rotation et son moment est un déplacement. Ce torseur n'est valable que lorsque l'hypothèse des petits déplacements est vérifiée, c'est-à-dire lorsque les déplacements et les rotations sont petits. Cela permet notamment de linéariser les formules trigonométriques et ainsi de simplifier les calculs. Ils sont par exemple utilisés pour déterminer un plan des moindres carrés en fonction de plusieurs mesures de points pour vérifier les contraintes géométriques d'une pièce usinée. La vérification de conformité géométrique est un domaine se prêtant bien à l'utilisation de ces torseurs, car les défauts des pièces sont en général négligeables devant les dimensions des pièces étudiées.

Torseur de cohésion

[modifier | modifier le code]

Le torseur de cohésion est un torseur statique utilisé pour modéliser les actions mécaniques internes dans l'étude des solides indéformables.

Exemple d'utilisation

[modifier | modifier le code]

Soit un solide S en équilibre soumis à 2 forces : et .

On fait l'hypothèse de liaisons parfaites, on néglige la pesanteur s’exerçant sur le solide devant les actions de liaison.

On isole S.

On fait le bilan des actions mécaniques extérieurs (BAME) :

On applique le théorème de l'équilibre (TE) :

Puissance générale

[modifier | modifier le code]

De manière générale, tout solide en mouvement et subissant des efforts extérieurs peut être modélisé par 2 torseurs:

  • Le torseur cinématique décrivant le mouvement du solide i par rapport au repère j :
  • Le torseur des actions mécaniques décrivant l'action mécanique des particules i sur les particules j :

Puissance extérieure

Soit un ensemble de solides (notés avec i un indice) qui constitue ce que l'on appelle un système (noté ). La puissance extérieure est la puissance de tous les efforts extérieurs qui s'appliquent sur le système. On se place par rapport au référentiel qui est le référentiel de base c'est-à-dire le référentiel du laboratoire, considéré comme galiléen.

Pour calculer la puissance extérieure instantanée du système en mouvement subissant des efforts extérieurs, on calcule le comoment () des 2 torseurs :

Puissance intérieure
Les puissances intérieures () d'un système sont les puissances entre les divers solides. Il faut utiliser la même méthode de calcul c'est-à-dire effectuer un comoment des 2 torseurs. Seulement il faut faire très attention aux torseurs à utiliser. En effet, ce comoment s'effectue entre le torseur des efforts d'un solide sur un autre et le torseur distributeur des vitesses du solide en question par rapport à l'autre solide.


Remarques :

  • C'est la formule générale. Si on considère un solide en translation ou si on considère un solide en rotation subissant un couple, on retombe sur les formules déjà précédemment énoncées.
  • L'expression de ces 2 types de puissances nous amène au théorème de l'énergie cinétique :

La puissance instantanée calculée de cette manière ne dépend pas du point A du solide mais le comoment doit être calculé avec les 2 torseurs exprimés au même point.

Autre acception

[modifier | modifier le code]

Soit G un groupe. Un G-torseur (traduction littérale de l'anglais G-torsor) désigne un ensemble sur lequel G agit de façon transitive (une seule orbite) et sans fixer aucun point. Cela équivaut à « oublier lequel des éléments de G est l'unité ». Un G-torseur et le groupe G associé sont donc le même ensemble, mais muni de structures différentes.

L'espace affine en est un exemple pour le groupe des translations spatiales: additionner deux points n'a aucun sens, leur différence par contre est un élément du groupe additif des translations, c'est-à-dire un vecteur. De même, les notes de la gamme dodécaphonique (avec identification des octaves) forment un G-torseur pour le groupe additif des entiers modulo 12, les jours de la semaine pour le groupe , etc. La droite réelle et le groupe additif des réels sont un autre exemple: l'énergie d'un système physique n'est définie que modulo une constante arbitraire, mais les variations d'énergie sont des éléments du groupe .

La fibre d'un fibré principal est un G-torseur.

En géométrie algébrique, un torseur généralise la notion de fibré principal.

Notes et références

[modifier | modifier le code]
  1. a et b Ram 1987, p. 279

Bibliographie

[modifier | modifier le code]

Document utilisé pour la rédaction de l’article : document utilisé comme source pour la rédaction de cet article.

  • Document utilisé pour la rédaction de l’article E. Ramis, C. Deschamps et J. Odoux, Algèbre et applications à la géométrie, Paris/New York/Barcelone/1987, Masson, coll. « Cours de mathématiques spéciales » (no 2), , 297 p. (ISBN 2-225-63404-1), chap. 8 (« Les torseurs »), p. 276-294
  • Michel Combarnous, Didier Desjardins et Christophe Bacon, Mécanique des solides et des systèmes solides, Dunod, coll. « Sciences sup, Cours de physique », , 3e éd. (ISBN 978-2-10-048501-7), chap. 2.3 (« Torseur »), p. 18-22
  • Lise Lamoureux, Cinématique et dynamique des solides, Paris, Hermès, (ISBN 2-86601-312-3)

Articles connexes

[modifier | modifier le code]

Liens externes

[modifier | modifier le code]