Courbure d'un arc

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

Vous avez de nouveaux messages (diff^?).

Sommaire

1 Courbure d'un arc plan
2 Courbure d'un arc gauche
3 Courbe tracée sur une surface

[modifier] Courbure d'un arc plan

Considérons un arc paramétré de classe $\mathcal{C}^2$ dans le plan euclidien orienté $\mathbb{R}^2$ , supposé régulier (de vecteur dérivé jamais nul). On peut choisir une origine et prendre pour paramètre l'abscisse curviligne $s$ correspondante. Il s'agit d'un paramétrage normal $\vec{M}(s)$ (la vitesse est de norme constante égale à 1), ce qui permet de définir facilement le repère de Frenet :

origine : le point $\vec{M}(s)$
premier vecteur : le vecteur tangent unitaire $\vec{T}(s)=\frac{d\vec{M}}{ds}(s)$ ,
deuxième vecteur $\vec{N}(s)$ vecteur normal unitaire, complétant le premier en une base orthonormale directe

[modifier] La courbure introduite à partir de l'accélération

Le vecteur tangent unitaire possédant une norme constante, on démontre que sa dérivée lui est toujours orthogonale :

$\forall s \in I , \ \vert| \ \vec{T}(s) \ \vert|^2 \ = \ 1 \quad \Longrightarrow \quad \forall s \in I , \ \frac{d\vec{T}}{ds}(s) \ \cdot \ \vec{T}(s) \ = \ 0$

Il existe donc une fonction γ, appelée courbure algébrique, telle que

$\frac{d\vec{T}(s)}{ds} \ = \ \gamma(s) \ \vec{N}(s)= \frac{d^2\vec{M}}{ds^2}(s)$

En paramétrage normal, le vecteur accélération est donc normal (colinéaire au vecteur normal unitaire) et la courbure est sa coordonnée selon le vecteur normal unitaire.

Dans un paramétrage quelconque, la courbure peut aussi être obtenue à partir de la vitesse et de l'accélération par la formule

$\gamma(t)=\frac{\det\left(\frac{d\vec{M}}{dt}(t),\frac{d^2\vec{M}}{dt^2}(t)\right)}{\left\|\frac{d\vec{M}}{dt}(t)\right\|^3}$

[modifier] La courbure vue comme vitesse de rotation du repère de Frenet

Pour déterminer complètement les vecteurs de la base de Frenet, il suffit d'un paramètre angulaire α, donnant l'angle entre T et le premier vecteur de la base fixe (vecteur des abscisses)

$\alpha = \widehat{(i,T)}\qquad \hbox{ou encore} \qquad T = \begin{pmatrix}\cos \alpha \\\sin \alpha \end{pmatrix}\qquad N = \begin{pmatrix}-\sin \alpha \\\cos \alpha \end{pmatrix}$

Ce paramètre α s'interprète donc comme l'angle que forme la base de Frenet avec une direction fixe.

Il est alors judicieux de prendre l'angle α pour paramètre et de dériver les éléments du repère de Frénet par rapport à α. En mathématiques du moins, il est nécessaire de valider cette opération. On montre que si l'arc est birégulier (c'est-à-dire que les vecteurs dérivée première et seconde ne sont jamais colinéaires), il est possible de faire de l'angle α une fonction régulière reparamétrant l'arc, et ainsi de dériver par rapport à α. On trouvera la discussion correspondante dans l'article sur le théorème de relèvement.

Dans ce paramétrage, le vecteur N s'obtient soit en effectuant une rotation de $\frac\pi{2}$ (quart de tour dans le sens direct), soit en ajoutant $\frac\pi{2}$ à α, soit encore en dérivant par rapport à α

$N = \begin{pmatrix}-\sin \alpha \\\cos \alpha \end{pmatrix} = \frac{d T}{d\alpha} \qquad T=-\frac{d N}{d\alpha}$

Les formules de dérivation des vecteurs T et N par rapport à α sont rigoureusement identiques aux formules de dérivation de la base mobile en coordonnées polaires, puisqu'il s'agit exactement de la même situation.

La courbure γ vaut alors

$\gamma=\frac{d\alpha }{d s}$

C'est donc la vitesse de rotation de la base de Frenet par rapport à une direction fixe (encore une fois, en paramétrage normal).

[modifier] Introduction géométrique

Tangente et cercle osculateur en un point P de la courbe C

L'analyse dimensionnelle montre que pour un problème de cinématique, γ est homogène à l'inverse d'une longueur. On introduit donc fréquemment le rayon de courbure (algébrique)

$R=\frac1\gamma=\frac{ds}{d\alpha }$

Pour comprendre la signification de cette grandeur, il est intéressant d'examiner le cas particulier d'un cercle

$\begin{cases}x(t)=r\cos t\\y(t)=r\sin t\end{cases}$

L'application de la formule de calcul de la courbure donne R=r.

Plus généralement, pour tout arc $\mathcal{C}^2$ birégulier au point P d'abscisse curviligne s, on montre qu'il existe un unique cercle tangent à la courbe en P et qui « épouse cette courbe le mieux possible » dans un voisinage de P. Ce cercle est appelé cercle osculateur à la courbe en P. Le rayon de ce cercle osculateur, est égal à la valeur absolue du rayon de courbure.

[modifier] Convention alternative : courbure positive

La convention choisie précédement fait de la courbure et du rayon de courbure des quantités algébriques. Il arrive qu'on prennne les convention suivantes

le rayon de courbure est le rayon du cercle osculateur, il est toujours positif
la courbure est son inverse, elle est toujours positive
le vecteur $\vec{N}(s)$ est un vecteur unitaire normal à la courbe au point $M$ , orienté vers le centre du cercle osculateur.

Si la courbure algébrique est positive, on retombe exactement sur les conventions précédentes. Sinon, la courbure et le rayon de courbure sont les valeurs absolues des conventions algébriques, et le vecteur normal unitaire est l'opposé de la convention algébrique. La base de Frenet n'est plus forcément une base directe. On retrouve cependant la formule

$\frac{d\vec T}{ds}=\gamma \vec N$

Avec cette convention le vecteur normal unitaire indique le sens vers lequel est tourné la concavité de la courbe. Un défaut de la convention est que si la courbure est nulle, le vecteur normal unitaire n'est pas défini.

[modifier] Formulaire

Mode de définition	Variables et fonctions	Courbure
Graphe	$y(x)\,$	$\frac{y''(x)}{\left(1+y'(x)^2\right)^{3/2}}$
Paramétrique	$x(t),y(t)\,$	$\frac{x'(t)y''(t)-y'(t)x''(t)}{\left(x'(t)^2+y'(t)^2\right)^{3/2}}$
Polaire paramétré	$\rho(t),\theta(t)\,$	$\frac{\rho(t)\rho'(t)\theta''(t) + 2\rho'(t) ^2 \theta'(t) - \rho(t) \rho''(t) \theta'(t) + \rho(t)^2\theta'(t)^3}{\left( \rho'(t)^2+ \rho(t)^2\theta'(t)^2\right)^{3/2}}$
Polaire	$\rho(\theta)\,$	$\frac{2\rho'(\theta) ^2 + \rho(\theta)^2- \rho(\theta) \rho''(\theta) }{\left( \rho'(\theta)^2+ \rho(\theta)^2\right)^{3/2}}$
Implicite	$F(x,y)=0\,$	$\vec \nabla\cdot\left(\frac{\vec \nabla F}{\\|\vec \nabla F\\|}\right)$ (divergence du gradient normalisé)

[modifier] Courbure d'un arc gauche

Considérons un arc paramétré de classe $\mathcal{C}^2$ dans l'espace euclidien orienté $\mathbb{R}^3$ , supposé régulier ; on peut de nouveau prendre pour paramètre l'abscisse curviligne et définir le repère de Frenet et la courbure. Cependant les questions d'orientation demandent à être examinées de plus près et on ne peut pas définir une coubure algébrique.

Le vecteur tangent unitaire est toujours défini comme le vecteur vitesse en paramétrage normal. Sa dérivée est non nulle et lui est orthogonale. On peut donc poser

$\frac{d\vec T}{ds}=\frac{d^2\vec M}{ds^2}=\gamma \vec N$