Repère de Frenet

Tangente et cercle osculateur en un point ${\displaystyle P}$ de la courbe ${\displaystyle C}$

Repère de Frenet en deux points de la courbe. Le vecteur δT indique l'évolution du vecteur tangent.

Si on suppose de plus que l'arc régulier de classe ${\displaystyle {\mathcal {C}}^{1}}$ est de classe ${\displaystyle {\mathcal {D}}^{2}}$, on peut définir la courbure algébrique[5]. 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 ${\displaystyle {\overrightarrow {T}}}$ est orthogonal à ${\displaystyle {\overrightarrow {T}}}$ ; il existe donc pour le point de paramètre ${\displaystyle s}$ un coefficient ${\displaystyle \gamma (s)}$ tel que

${\displaystyle {\frac {\mathrm {d} {\overrightarrow {T}}}{\mathrm {d} s}}(s)=\gamma (s){\overrightarrow {N}}(s)}$

On donne à ${\displaystyle \gamma (s)}$ le nom de courbure (algébrique) de la courbe, elle est homogène à l'inverse d'une longueur. Pour une courbe bi-régulière, son inverse est souvent utilisé en cinématique et porte le nom de rayon de courbure algébrique ${\displaystyle 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 ${\displaystyle c}$ de la courbe au point ${\displaystyle P}$ le point de coordonnées ${\displaystyle (0,R)}$ dans le repère de Frenet. Vectoriellement, il est obtenu de la façon suivante :

${\displaystyle {\overrightarrow {Pc}}=R{\overrightarrow {N}}}$

Le cercle de centre ${\displaystyle c}$ et de rayon ${\displaystyle |R|}$ est appelé cercle de courbure ou cercle osculateur à la courbe en ${\displaystyle 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 et 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[6]

${\displaystyle {\frac {\mathrm {d} {\overrightarrow {T}}}{\mathrm {d} s}}=\gamma {\overrightarrow {N}}\qquad {\frac {\mathrm {d} {\overrightarrow {N}}}{\mathrm {d} s}}=-\gamma {\overrightarrow {T}}}$

Reprenant un arc paramétré ${\displaystyle 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 à ${\displaystyle t}$ ou à ${\displaystyle s}$, ce qui se fait au moyen de la vitesse scalaire

${\displaystyle v={\frac {ds}{dt}}=\left\|{\frac {df}{dt}}\right\|}$

Il est alors possible d'expliciter les vecteurs vitesse et accélération dans la base de Frenet[7]

${\displaystyle {\overrightarrow {V}}={\frac {\mathrm {d} f}{\mathrm {d} t}}=v{\overrightarrow {T}}}$

${\displaystyle {\overrightarrow {A}}={\frac {\mathrm {d} ^{2}f}{\mathrm {d} t^{2}}}={\frac {\mathrm {d} v}{\mathrm {d} t}}{\overrightarrow {T}}+{\frac {v^{2}}{R}}{\overrightarrow {N}}}$

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 ${\displaystyle {\overrightarrow {\gamma _{T}}}={\frac {\mathrm {d} v}{dt}}{\overrightarrow {T}}}$ ; elle rend compte de la variation de la vitesse scalaire. L'autre composante, appelée accélération normale ${\displaystyle {\overrightarrow {\gamma _{N}}}={\frac {v^{2}}{R}}{\overrightarrow {N}}}$, est influencée par la géométrie de la courbe : ${\displaystyle {\overrightarrow {\gamma _{N}}}}$ est d'autant plus forte que le virage effectué est plus serré, et aussi que la vitesse est plus élevée.

Il est donc possible d'évaluer le rayon de courbure algébrique ${\displaystyle R}$ en formant le déterminant de ces deux vecteurs[7]

${\displaystyle R={\frac {v^{3}}{\mathrm {det} ({\overrightarrow {V}},{\overrightarrow {A}})}}}$

On retrouve la proposition VI des Principia de Newton.

On vérifie l'homogénéité des dimensions :

${\displaystyle [R]=[L]}$

${\displaystyle \left[{\frac {v^{3}}{\mathrm {det} ({\overrightarrow {V}},{\overrightarrow {A}})}}\right]={\frac {[L^{3}T^{-3}]}{[LT^{-2}LT^{-1}]}}=[L]}$

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 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 ${\displaystyle {\overrightarrow {T}}}$, le vecteur ${\displaystyle {\overrightarrow {N}}}$ également[2].. La courbure algébrique est elle aussi renversée[5], de sorte que le cercle osculateur reste, lui, inchangé.
• si on renverse l'orientation de l'espace ambiant, l'abscisse curviligne et le vecteur ${\displaystyle {\overrightarrow {T}}}$ sont inchangés, mais le vecteur ${\displaystyle {\overrightarrow {N}}}$ est changé en son opposé[2], ainsi que la courbure[5].

Considérons un mouvement circulaire accéléré

${\displaystyle {\begin{cases}x(t)=\cos t^{2}\\y(t)=\sin t^{2}\end{cases}},\qquad t\in \mathbb {R} _{+}^{*}}$

En dérivant on obtient les coordonnées du vecteur vitesse ${\displaystyle {\overrightarrow {V}}}$ :

${\displaystyle {\begin{cases}v_{x}(t)=-2t\sin t^{2}\\v_{y}(t)=2t\cos t^{2}\end{cases}}}$

Elle s'écrit sous la forme ${\displaystyle {\overrightarrow {V}}=v{\overrightarrow {T}}}$ avec

${\displaystyle v=2t\qquad {\text{et}}\qquad {\overrightarrow {T}}={\begin{pmatrix}-\sin t^{2}\\\cos t^{2}\end{pmatrix}}}$

Le vecteur normal unitaire est donc

${\displaystyle {\overrightarrow {N}}={\begin{pmatrix}-\cos t^{2}\\-\sin t^{2}\end{pmatrix}}}$

En confrontant les deux égalités

${\displaystyle {\frac {\mathrm {d} {\overrightarrow {T}}}{\mathrm {d} t}}={\begin{pmatrix}-2t\cos t^{2}\\-2t\sin t^{2}\end{pmatrix}}}$ et ${\displaystyle {\frac {\mathrm {d} {\overrightarrow {T}}}{\mathrm {d} t}}=v{\frac {\mathrm {d} {\overrightarrow {T}}}{\mathrm {d} s}}=v\gamma {\overrightarrow {N}}}$

on trouve que 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 reparamétrage u=t².

Si la courbe est donnée en 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

${\displaystyle {\vec {V}}={\dot {r}}{\vec {u}}+r{\dot {\theta }}{\vec {v}}}$

${\displaystyle {\vec {A}}=({\ddot {r}}-r{\dot {\theta }}^{2}){\vec {u}}+(r{\ddot {\theta }}+2{\dot {r}}{\dot {\theta }}){\vec {v}}}$

La courbure (inverse à une longueur) est donnée par

${\displaystyle \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}}}}$

et le rayon de courbure (L) par : ${\displaystyle {\frac {1}{\gamma }}}$

Repère de Frenet et plan osculateur d'une courbe gauche.

On considère cette fois une courbe de l'espace euclidien orienté à trois dimensions, de classe ${\displaystyle {\mathcal {C}}^{2}}$ régulière, orientée et simple[8] 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.

${\displaystyle T={\frac {df}{ds}}.}$

On suppose de nouveau l'arc birégulier. Alors le vecteur ${\displaystyle {\frac {d^{2}f}{ds^{2}}}={\frac {dT}{ds}}}$ 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[9] - [10]

${\displaystyle {\frac {dT}{ds}}=\gamma \cdot N\qquad {\hbox{avec }}\gamma \geqslant 0}$

On complète enfin en une base orthonormale directe en prenant pour troisième vecteur de base, appelé vecteur binormal

${\displaystyle B=T\wedge N}$

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 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.

Le trièdre de Frenet permet de définir deux autres plans :

• Le plan rectifiant engendré par le couple (T,B) et normal au rayon de courbure;
• Le plan normal, engendré par le couple (N,B) et normal à la tangente.

On suppose désormais la courbe de classe ${\displaystyle {\mathcal {C}}^{3}}$ et birégulière[9] - [10]. 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[11]:

${\displaystyle {\frac {dN}{ds}}=-\gamma T+\tau B\qquad {\frac {dB}{ds}}=-\tau N}$

Remarque: on trouve parfois la torsion définie avec le signe opposé[9], il suffira alors d'inverser les signes devant τ dans les formules ci-dessus et ci-dessous. 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

${\displaystyle {\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}}}$

L'orthonormalité des vecteurs de la base de Frenet se traduit par l'antisymétrie de la matrice : il s'agit en fait ici d'un résultat général sur les bases mobiles (en).

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 f(t) quelconque[12] - [13]:

${\displaystyle \gamma ={\frac {\|f'\wedge f''\|}{\|f'\|^{3}}}\qquad \tau ={\frac {[f',f'',f''']}{\|f'\wedge f''\|^{2}}}}$

où le crochet désigne le produit mixte.