Repère de Frenet
563617
30344152
2008-06-05T12:43:53Z
JAnDbot
127921
robot Modifie: [[en:Frenet–Serret formulas]]
En [[cinématique]] ou en [[géométrie différentielle classique|géométrie différentielle]], le '''repère de Frenet''' ou '''repère de Serret-Frenet''' est un outil d'étude du comportement local des [[courbe]]s. Il s'agit d'un repère local associé à un point P, décrivant une courbe (C). Son mode de construction est différent selon si l'espace ambiant est de dimension 2 (courbe plane) ou 3 (courbe gauche) ; il est possible également de définir un repère de Frenet en toute dimension, pourvu que la courbe vérifie des conditions différentielles simples.
Le repère de Frenet, et les formules de Frenet donnant les dérivées des vecteurs de ce repère, permettent de mener de façon systématique des calculs de [[courbure]], de [[torsion]] pour les courbes gauches et d'introduire des concepts géométriques associés aux courbes : [[cercle osculateur]], plan osculateur, [[parallélisme des courbes]]...
== Arc paramétré plan ==
Le cadre est le plan euclidien orienté rapporté à un repère orthonormal, les coordonnées étant notées ''x'' et ''y'' et l'origine ''O''. L'arc est supposé défini par des fonctions de classe <math>{\mathcal C}^2</math>, et [[point régulier|régulier]]. Pour simplifier l'étude, il faut utiliser un [[abscisse curviligne|paramétrage normal]] ''M(s)=(x(s),y(s))''.
On se place en un point ''s'' particulier. Comme l'arc est paramétré par l'abscisse curviligne, le vecteur dérivé en ''s'' est unitaire et tangent à la courbe, il est dirigé dans le sens du mouvement. Il porte le nom de '''vecteur tangent unitaire''' à la courbe et est noté traditionnellement '''T(s)'''.
:<math>T(s)=\frac{df}{ds}</math>
Le '''vecteur normal unitaire N(s)''' complète '''T(s)''' en une [[base orthonormale]] [[orientation (mathématiques)|directe]], appelée '''base de Frenet'''. Il s'obtient en effectuant une rotation de <math>\frac\pi{2}</math> (quart de tour dans le sens direct) du vecteur '''T(s)'''. Le '''repère de Frenet''' est constitué en prenant en outre pour origine le point ''M(s)''. Très souvent on abrège les notations en omettant le paramètre.
Le trièdre de Frenet est un repère mobile puisque les éléments de ce repère changent selon le point considéré. En physique, il ne faut pas confondre cette notion avec celle de [[référentiel]] : puisque les vecteurs de Frenet se déplacent avec le point, s'il s'agissait d'un référentiel alors le vecteur position serait le vecteur nul, et la vitesse serait également nulle.
''Remarque'' : il arrive qu'on introduise le vecteur '''N''' comme <math>\overrightarrow{N}= \overrightarrow{k} \wedge \overrightarrow{T}</math>, en plongeant le plan euclidien dans un espace de dimension trois, et en notant ''k'' un vecteur complétant la base ''(i,j)'' du plan en une base orthonormale directe. Les deux façons de procéder sont équivalentes.
=== La courbure et les formules de Frenet ===
{{Article détaillé|courbure d'un arc}}
[[Image:Osculating circle.svg|right|frame|[[Tangente (géométrie)|Tangente]] et [[cercle osculateur|cercle de courbure]] en un point ''P'' de la courbe ''C'']]
Comme les vecteurs de la base de Frenet forment en permanence une base orthonormale, leurs dérivées vérifient un certain nombre de relations. Notamment le vecteur dérivé de '''T''' est orthogonal à '''T''' ; il existe donc pour le point de paramètre ''s'' un coefficient γ(''s'') tel que
:<math>\frac{dT}{ds}(s)=\gamma(s) N(s)</math>
On donne à γ(''s'') le nom de '''courbure''' (algébrique) de la courbe. Son inverse est souvent utilisé en cinématique et porte le nom de '''rayon de courbure algébrique''' ''R''.
On peut également interpréter la courbure comme la vitesse de rotation de la base de Frenet par rapport à une direction fixe (encore une fois, en paramétrage normal) : voir à ce sujet l'article [[courbure d'un arc]].
On appelle '''centre de courbure''' Ω de la courbe au point ''P'' le point de coordonnées ''(0,R)'' dans le repère de Frenet. Vectoriellement, il est obtenu de la façon suivante (exceptionnellement, on utilise ici les flèches pour noter les vecteurs)
:<math>\overrightarrow{P\Omega}=R \vec{N}</math>
Le cercle de centre Ω et de rayon ''|R|'' est appelé '''cercle de courbure''' ou '''[[cercle osculateur]]''' à la courbe en ''P''. Il approche en général la courbe mieux que ne le fait la tangente. Courbure et cercle de courbure donnent non seulement une idée de la direction dans laquelle la courbe avance (direction de la tangente), mais aussi de sa tendance à tourner de part ou d'autre de cette tangente.
Les '''formules de Frenet''' donnant les dérivées des vecteurs de la base de Frenet s'écrivent à l'aide de la courbure
:<math>\frac {d T}{d s} =\gamma N \qquad
\frac {d N}{d s} =-\gamma T</math>
=== Cas d'un paramétrage euclidien quelconque ===
Reprenant un arc paramétré ''f(t)=(x(t),y(t))'' birégulier, sans le supposer donné en paramétrage normal, il suffit pour exploiter les formules de Frenet de faire le lien entre la dérivation par rapport à ''t'' ou à ''s'', ce qui se fait au moyen de la '''vitesse scalaire'''
:<math>v=\frac{d s}{dt} = \left\|\frac{d f}{dt}\right\|</math>
Il est alors possible d'expliciter les vecteurs [[vitesse]] et [[accélération]] dans la base de Frenet
:<math>V=\frac{d f}{dt} = v T</math>
:<math>A=\frac{d^2 f}{dt^2} = \frac{d v}{dt} .T + \frac{v^2}{R} . N</math>
On retrouve que le vecteur vitesse est tangentiel, allant dans le sens du mouvement. La première composante du vecteur accélération dans la base de Frenet est appelée '''accélération tangentielle''' <math>\gamma_T = \frac{dv}{dt} \cdot T</math> ; elle rend compte de la variation de la vitesse scalaire. L'autre composante, '''accélération normale''' <math>\gamma_N = \frac{v^2}{R} \cdot N</math>, est influencée par la géométrie de la courbe : γ<sub>N</sub> est d'autant plus forte que le virage effectué est plus serré, et aussi que la vitesse est élevée.
:''Démonstration de la formule donnant l'accélération''
::<math>A = \frac{d (vT)}{dt} = v \frac{dT}{dt} + \frac{dv}{dt} T = v \frac{ds}{dt}\frac{dT}{ds} + \frac{dv}{dt} T=v^2\gamma N + \frac{d v}{dt} .T</math>
Il est donc possible d'évaluer le rayon de courbure algébrique '''R''' en formant le [[déterminant (mathématiques)|déterminant]] de ces deux vecteurs
:<math>R = \frac{v^3}{det(V,A)}</math>
On retrouve la proposition VI des [[Philosophiae Naturalis Principia Mathematica|Principia]] de [[Isaac Newton|Newton]].
=== Propriétés d'invariance ===
Il est important de réaliser que le repère de Frenet a été défini à partir d'un paramétrage normal de la courbe. Tous les [[paramétrage|reparamétrages]] préservant l'orientation donneront la même base de Frenet, et la même valeur de la courbure. Il y a également invariance par changement du repère fixe de référence.
En revanche les changements d'orientation de la courbe ou de l'espace ambiant renversent certains signes. Précisément
* si on renverse l'orientation de la courbe, l'abscisse curviligne est changée en son opposé, le vecteur '''T''', le vecteur '''N''' également. La courbure algébrique est elle aussi renversée, de sorte que le cercle osculateur reste, lui, inchangé.
* si on renverse l'orientation de l'espace ambiant, l'abscisse curviligne et le vecteur '''T''' sont inchangés, mais le vecteur '''N''' est changé en son opposé, ainsi que la courbure.
=== Exemples ===
''Mouvement circulaire accéléré''
:<math>\begin{cases}x(t)=\cos t^2 \\y(t)= \sin t^2 \end{cases}, \qquad t\in \R_+^*</math>
Le vecteur dérivé s'écrit sous la forme '''vT''' avec
:<math>v=\left\|\frac{df}{dt}\right\|=2|t|=2t\qquad T = \frac1v \frac{df}{dt}=
\begin{pmatrix} -\sin t^2 \\ \cos t^2 \end{pmatrix}</math>
Le vecteur normal unitaire est donc
:<math>N =
\begin{pmatrix} -\cos t^2 \\ -\sin t^2 \end{pmatrix}</math>
Et la courbure vaut γ=1. Le rayon de courbure est constant, égal à 1. Le cercle osculateur coïncide en permanence avec le cercle sur lequel la trajectoire est inscrite. On aurait pu éviter tous ces calculs en utilisant le [[paramétrage|reparamétrage]] ''u=t<sup>2</sup>''.
''Courbe en coordonnées polaires''
Si la courbe est donnée en [[équation polaire|coordonnées polaires paramétriques]] ''r(t),θ(t)'', les vecteurs vitesse et accélération peuvent être calculés dans la base mobile. On note par un point la dérivation par rapport au paramètre ''t''
: <math>\vec V = \dot{r} \vec u+ r\dot{\theta}\vec v</math>
: <math>\vec A = ( \ddot{r} -r \dot{\theta}^2)\vec u+ ( r \ddot{\theta} +2\dot{r}\dot{\theta}) \vec v</math>
La courbure est donnée par
:<math>\gamma=\frac{r\dot r \ddot \theta + 2\dot r ^2\dot \theta - r \ddot r \dot \theta + r^2\dot \theta^3}{\left( \dot{r}^2+ r^2\dot{\theta}^2\right)^{3/2}}</math>
== Courbe gauche ==
===Introduction du repère de Frenet ===
On considère cette fois une courbe de l'espace euclidien orienté à trois dimensions, paramétrée par l'[[abscisse curviligne]] ''f(s)=(x(s),y(s),z(s))''. Le repère de Frenet au point de paramètre ''s'', souvent appelé aussi '''trièdre de Frenet''' est défini par trois vecteurs unitaires '''T, N, B''' formant une base orthonormale directe, et en prenant encore comme origine le point de paramètre ''s''.
Le vecteur '''T''', vecteur tangent unitaire, est introduit comme dans le plan.
:<math>T=\frac{df}{ds}</math>
On suppose de nouveau l'arc [[point d'inflexion|birégulier]]. Alors le vecteur <math>\frac{d^2f}{ds^2}=\frac{dT}{ds}</math> est orthogonal au vecteur tangent unitaire, et non nul. On définit cette fois le '''vecteur normal unitaire''' et la '''courbure''' simultanément en posant
:<math>\frac{dT}{ds}=\gamma . N \qquad \hbox{avec } \gamma >0</math>
On complète enfin en une base orthonormale directe en prenant pour troisième vecteur de base, appelé '''vecteur binormal'''
:<math>B= T\wedge N</math>
Cette fois la description géométrique est la suivante : le vecteur '''T''' dirige la tangente à la courbe. Le couple '''(T,N)''' engendre un plan appelé '''[[plan osculateur]]''' à la courbe. Ce plan contient la [[tangente (géométrie)|tangente]] et le [[cercle osculateur]] à la courbe. Par la convention de positivité de la courbure, le vecteur '''N''' est cette fois dirigé vers le centre de courbure. Les formules donnant vitesse et accélération dans la base de Frenet sont identiques à celles obtenues pour une courbe plane.
===Formules de Frenet ===
Le vecteur normal unitaire, le vecteur binormal sont par construction des fonctions dérivables de ''s''. En outre, comme '''T, N, B''' constituent une base orthonormale pour toute valeur de ''s'' les vecteurs dérivés vérifient un certain nombre de relations. Finalement, il existe un coefficient appelé '''torsion''' au point de paramètre ''s'' tel que les relations suivantes soient vérifiées
:<math>\frac{dN}{ds}=-\gamma T - \tau B \qquad \frac{dB}{ds}= \tau N</math>
En ajoutant la formule de dérivation de '''T''' indiquée au-dessus, on obtient un ensemble de trois formules appelées formules de Frenet pour les courbes gauches. On peut les résumer symboliquement en utilisant une matrice
:<math> \frac{d}{ds}\begin{pmatrix} T\\N\\B \end{pmatrix} = \begin{pmatrix} 0 & \gamma & 0 \\ -\gamma & 0 & -\tau \\ 0 & \tau & 0 \end{pmatrix} \begin{pmatrix} T\\N\\B \end{pmatrix}</math>
L'orthonormalité des vecteurs de la base de Frenet se traduit par l'[[matrice antisymétrique|antisymétrie]] de la matrice : il s'agit en fait ici d'un résultat général sur les [[base mobile|bases mobiles]].
=== La torsion ===
Le facteur τ a néanmoins une interprétation géométrique : il s'agit de la tendance à s'écarter du plan osculateur (de même que la courbure mesure la tendance à s'écarter de la tangente). La torsion est donc ce qui fait que la courbe est non plane. Il convient de voir dans ces « corrections successives » du comportement de la courbe, courbure et torsion, les termes successifs d'un [[développement limité]] au point de paramètre ''s''.
On peut donner l'expression de la courbure et de la torsion, pour un paramétrage quelconque ''f(t)''
:<math>\gamma =\frac{\|f'\wedge f''\|}{\|f'\|^3}\qquad \tau = -\frac{[f',f'',f''']}{\|f'\wedge f''\|^2}</math>
où le crochet désigne le [[géométrie vectorielle|produit mixte]].
== Voir aussi ==
*[[Repère de Darboux]]
* [[Centre instantané de rotation]]
{{Portail|mathématiques|physique}}
[[Catégorie:Mécanique]]
[[Catégorie:Géométrie différentielle classique]]
[[cs:Frenetovy vzorce]]
[[de:Frenetsche Formeln]]
[[en:Frenet–Serret formulas]]
[[ko:프레네-세레 공식]]
[[ru:Трёхгранник Френе]]