Courbes paramétrées : généralités et étude métrique

Intuitivement, une courbe dans l'espace de dimension

est un objet qui peut être décrit par un point qui évolue au cours du temps. Autrement dit, il suffit d'un paramètre pour le décrire, le temps. On dit d'un tel objet qu'il est

-dimensionnel. Le fait de décrire une courbe par un paramètre qui évolue revient à considérer une application $\gamma:I\subset \mathbb{R}\to \mathbb{R}^d$ . Quand le paramètre

parcourt l'intervalle

, le point $\gamma(t)$ parcourt la courbe. Une telle application $\gamma$ est une courbe paramétrée. On se concentre ici sur l'étude des courbes paramétrées de $\mathbb{R}^2$ et de $\mathbb{R}^3$ .

Définition des courbes paramétrées

Définition 1 Soit $d\in\{2,3\}$ . On appelle courbe paramétrée de classe de $\mathbb{R}^d$ une application de classe

$\displaystyle \gamma:I\subset \mathbb{R}\to \mathbb{R}^d,$

où est un intervalle ouvert de $\mathbb{R}$ .

L'ensemble $\mathcal{C}=\gamma(I)=\{\gamma(t), t \in I\}$ est appelé le support géométrique de $\gamma: I \to \mathbb{R}^d$ . On dit que $\mathcal{C}$ est une courbe géométrique et que $\gamma$ est une paramétrisation de $\mathcal{C}$ . On peut remarquer que la courbe paramétrée comporte plus d'informations que la courbe géométrique : quand

parcourt l'intervalle

, le point $\gamma(t)$ parcourt $\mathcal{C}$ . Autrement dit, la courbe paramétrée donne non seulement le support géométrique, mais aussi une façon de le parcourir. Dans la suite, quand on considèrera la restriction d'une courbe $\gamma$ à un intervalle fermé $[a,b]\subset I$ , on écrira $\gamma:[a,b]\to\mathbb{R}^d$ . Si

, on dit que la courbe est plane.

**Figure 1:** Courbe paramétrée
$\includegraphics[height=5cm]{courbe2}$

Exemple : Le support géométrique de la courbe paramétrée $\gamma: \mathbb{R}\to \mathbb{R}^3$ donnée par $\gamma(t)=(R\cos(t),R\sin(t),t)$ est une hélice (Figure 2).

**Figure 2:** Hélice
$\includegraphics[height=5cm]{helice}$

Prenons une route allant de Grenoble à Chamrousse et modélisons la par une courbe géométrique $\mathcal{C}$ ! Prenons maintenant une voiture qui part de Grenoble à un instant et arrive à Chamrousse à un instant minutes. Le trajet de cette voiture est naturellement modélisé par la courbe paramétrée $\gamma : [0,45]\to \mathcal{C}\subset \mathbb{R}^3$ qui à chaque instant , donne la position $\gamma(t)$ de la voiture. Prenons maintenant un vélo qui va parcourir ce même trajet mais en mettant bien entendu un peu plus de temps, par exemple minutes. Cela nous définit une autre paramétrisation $\widetilde{\gamma} : [0,180] \to \mathcal{C}\subset \mathbb{R}^3$ qui est différente de $\gamma$ , mais qui a exactement le même support géométrique $\mathcal{C}$ .

De même, pour prendre un exemple "plus mathématique", considérons la courbe paramétrée $\gamma : [0,1] \to \mathbb{R}^2$ donnée par $\gamma(t)=(x(t),y(t)) = (Rt,R\sqrt{1-t^2})$ . De l'équation , on déduit que $\gamma(t)$ appartient au cercle de rayon et de centre . Plus précisément, le support géométrique de $\gamma$ est le quart de cercle entre les points et . Or ce support géométrique admet aussi une autre paramétrisation $\widetilde{\gamma} : [0,{\pi \over 2}]\to \mathbb{R}^2$ donnée par $\widetilde{\gamma}(\theta)=(R\cos(\theta),R\sin(\theta))$ . Ainsi, une même courbe géométrique peut avoir plusieurs paramétrisations.

Reparamétrisation

Il est possible de reparamétrer une courbe. Pour cela, on rappelle la notion de difféomorphisme.

Définition 2 Soient et deux domaines ouverts de $\mathbb{R}^d$ .
Une application $f:U \to V$ est un difféomorphisme si :

est une bijection de dans .
et $f^{-1}$ sont toutes les deux de classe .

Prenons maintenant une courbe paramétrée $\gamma: I \to \mathbb{R}^d$ de classe

et un difféomorphisme $\varphi : J \to I$ (avec

un intervalle ouvert de $\mathbb{R}$ ). Alors $\gamma \circ \varphi : J \to \mathbb{R}^d$ est une courbe paramétrée qui a exactement le même support géométrique que $\gamma$ . On dit alors que $\varphi$ est un changement de variable admissible et que $\gamma \circ \varphi$ est une reparamétrisation de $\gamma$ .

Courbes régulières, espace tangent

Intuitivement, la tangente en un point $\gamma(t_0)$ à une courbe paramétrée $\gamma: I \to \mathbb{R}^d$ est la limite des droites passant par $\gamma(t)$ et $\gamma(t_0)$ quand tend vers . Cela peut se formaliser de la manière suivante :

Définition 3 On dit que $\overrightarrow{v_0}$ est est un vecteur tangent à la courbe $\gamma$ en $\gamma(t_0)$ si

$\displaystyle \overrightarrow{\gamma(t_0)\gamma(t)} = \lambda(t) \overrightarrow{v_0} + \lambda(t) \epsilon(t),$ avec $\displaystyle \lambda(t)\in \mathbb{R}$ et $\displaystyle \lim_ {t \to t_0}\epsilon(t)=(0,0).$

La droite passant par $\gamma(t_0)$ et de vecteur directeur $\overrightarrow{v_0}$ est alors appelée la droite tangente à $\gamma$ en $\gamma(t_0)$ .

La proposition suivante indique qu'une dérivée non nulle de la paramétrisation donne un vecteur tangent.

Proposition 1 Soit $\gamma: I \to \mathbb{R}^d$ une courbe paramétrée de classe . Si $\gamma'(t_0)\neq 0$ , alors $\gamma'(t_0)$ est un vecteur tangent à la courbe $\gamma$ en $\gamma(t_0)$ .

Démonstration : Comme $\gamma$ est de classe

, on a :

$\displaystyle \gamma(t) = \gamma(t_0) + \gamma'(t_0)(t-t_0) + (t-t_0)\epsilon(t),$ avec $\displaystyle \lim_ {t \to t_0}\epsilon(t)=(0,0),$

ce qui permet de conclure. $\square$

**Figure 3:** Tangente à une courbe paramétrée
$\includegraphics[height=5cm]{courbure1}$

Définition 4 Une courbe paramétrée $\gamma: I \to \mathbb{R}^d$ de classe est dite régulière si pour tout $t \in I$ $\gamma'(t)\neq 0$ .

Remarques :

Si $\gamma: I \to \mathbb{R}^d$ est régulière et si $\widetilde{\gamma} = \gamma \circ \varphi$ est une reparamétrisation de $\gamma$ , alors $\widetilde{\gamma}$ est aussi régulière. En effet, comme $\varphi : J \to I$ est un -difféomorphisme, on a

$\displaystyle \forall t \in J, \widetilde{\gamma}'(t) = \gamma'(\varphi(t)) \varphi'(t) \neq 0.$
Une courbe paramétrée régulière admet une tangente en tout point. La réciproque n'est pas vraie. Considérons la courbe paramétrée suivante :

$\displaystyle \gamma(t)=(t^2,t^4)$ avec $\displaystyle t\in \mathbb{R}.$
La courbe géométrique associée est la parabole d'équation qui a un vecteur tangent horizontal au point $\gamma(0)$ . Pourtant $\gamma'(0)$ est nul !

Longueur d'une courbe

Comment mesurer la longueur d'une courbe ? Une façon naturelle de procéder consiste à approcher cette longueur par la longueur d'une ligne polygonale dont les sommets sont sur la courbe. La longueur de la ligne polygonale est clairement inférieure à celle de la courbe, mais on imagine bien que si on rajoute des sommets en diminuant la distance entre deux sommets consécutifs, la longueur de la ligne polygonale va tendre vers la longueur de la courbe. La définition de la longueur d'une courbe repose sur cette idée (Figure 4):

Définition 5 La longueur d'une courbe paramétrée $\gamma:[a,b]\to\mathbb{R}^d$ est donnée par :

$\displaystyle l(\gamma) = \sup_{a=t_0<t_1<...<t_n=b}\sum_{k=0}^{n-1}\left\Vert\overrightarrow{\gamma(t_i) \gamma(t_{i+1})} \right\Vert,$

où le supremum est pris sur toutes les subdivisions de l'intervalle , étant quelconque.
De plus, si $l(\gamma)$ est fini, on dit que la courbe $\gamma$ est rectifiable.

Remarque :

La longueur ne dépend pas de la paramétrisation.

**Figure 4:** Longueur d'une courbe paramétrée $\gamma : I \to \mathbb{R}^2$ . Si on augmente la densité des sommets de la ligne polygonale le long de la courbe, alors la longueur de approche celle de la courbe.
$\includegraphics[height=5cm]{longueur2}$ $\includegraphics[height=5cm]{longueur4}$

La définition précédente est géométrique et correspond à l'intuition que l'on peut avoir de la longueur. Ceci dit, elle n'est pas forcément pratique pour effectuer des calculs. Le théorème suivant exprime la longueur d'une courbe paramétrée par une formule intégrale.

Théorème 1 Soit $\gamma : [a,b] \to \mathbb{R}^3$ une courbe paramétrée de classe . Alors $\gamma$ est rectifiable et on a :

$\displaystyle l(\gamma) = \int_a^b \Vert\gamma'(t)\Vert dt.$

Démonstration : Considérons une subdivision

de l'intervalle

. Nous avons pour tout $i\in \{0,..n-1\}$ :

$\displaystyle \left\Vert \gamma(t_{i+1}) - \gamma(t_i) \right\Vert = \left\Vert... ...dt \right\Vert \leq \int_{t_i}^{t_{i+1}} \left\Vert \gamma'(t) \right\Vert dt.$

Cela implique en sommant sur

$\displaystyle \sum_{k=0}^{n-1}\left\Vert\overrightarrow{\gamma(t_i) \gamma(t_{i+1})} \right\Vert \leq \int_a^b \Vert\gamma'(t) \Vert dt.$

En passant maintenant au supremum sur toutes les subdivisions, on obtient que $\gamma$ est rectifiable et vérifie :

$\displaystyle l(\gamma) \leq \int_a^b \Vert\gamma'(t) \Vert dt.$

Montrons maintenant l'égalité souhaitée. Pour cela, introduisons la fonction $\phi:[a,b]\to \mathbb{R}$ qui donne la longueur de la courbe entre les paramètres

$\displaystyle \forall t \in [a,b], \phi(t) = l\left(\gamma_{\vert [a,t]}\right).$

Prenons $t \in [a,b]$ et

vérifiant $t+h \in [a,b]$ . La longueur de la courbe entre les paramètres

étant plus longue que la longueur du segment reliant $\gamma(t)$ à $\gamma(t+h)$ , on a :

$\displaystyle \frac{1}{\vert h\vert} \left\Vert \overrightarrow{\gamma(t)\gamma(t+h)}\right\Vert \leq \frac{\phi(t+h)-\phi(t)}{h}.$

On en déduit l'encadrement suivant :

$\displaystyle \frac{1}{\vert h\vert} \left\Vert \overrightarrow{\gamma(t)\gamma... ...i(t)}{h} \leq \frac{1}{h} \int_{t}^{t+h} \left\Vert \gamma'(u) \right\Vert du.$

Les membres de droite et de gauche ont la même limite $\Vert\gamma'(t)\Vert$ , ce qui implique que $\phi$ est dérivable en

et que l'on a $\phi'(t)=\Vert\gamma'(t)\Vert$ . $\square$

Exemple :La longueur de l'hélice paramétrée par $\gamma(t)=(R\cos(t),R\sin(t),at)$ avec $\gamma: [0,2\pi] \to \mathbb{R}^3$ est donnée par :

$\displaystyle l(\gamma)=\int_0^{2\pi}\Vert\gamma'(t)\Vert dt = \int_0^{2\pi} \sqrt{R^2+a^2} dt = 2\pi \sqrt{R^2+a^2}.$

Remarquons au passage que si

, on retrouve que la longueur d'un cercle de rayon

vaut $2\pi R$ .

Paramétrisation par abscisse curviligne

Maintenant que l'on sait calculer la longueur d'une courbe, il est possible de paramétrer une courbe par sa longueur. Pour expliquer ce que représente cette paramétrisation, on peut reprendre l'exemple de la courbe $\mathcal{C}$ qui modélise la route Grenoble-Chamrousse. On a déjà donné deux paramétrisations possibles de cette courbe, mais il est aussi possible d'en définir une troisième en repérant chaque point de $\mathcal{C}$ par sa distance au point d'origine, à savoir Grenoble. La longueur du trajet étant de kilomètres, cela nous définit naturellement la courbe paramétrée $\gamma : [0,30]\to \mathbb{R}^3$ qui à chaque longueur $s\in[0,30]$ associe le point $\gamma(s)$ sur la courbe $\mathcal{C}$ qui est à une distance du point de départ. Cette paramétrisation est dite normale ou par abscisse curviligne. Elle est assez naturelle dans le sens ou elle ne dépend pas de la vitesse d'un véhicule qui parcourt cette courbe (plus exactement, cette vitesse est constante). Formellement, on définit :

Définition 6 Une paramétrisation $\gamma: I \to \mathbb{R}^d$ d'une courbe géométrique est dite normale (ou par abscisse curviligne) si pour tout $[t_1,t_2] \subset I$ la longueur de la courbe géométrique entre les points $\gamma(t_1)$ et $\gamma(t_2)$ est exactement :

$\displaystyle l(\gamma_{\vert[t_1,t_2]}) = t_2 -t_1.$

En pratique, on n'a pas forcément une paramétrisation normale. Si on veut en avoir une, il faut reparamétrer. Pour cela, on a besoin de la notion d'abscisse curviligne.

Définition 7 Soit $\gamma: I \to \mathbb{R}^d$ une courbe paramétrée de classe et $t_0\in I$ . L'abscisse curviligne à partir du point de paramètre est la fonction $s_{t_0}:I\to \mathbb{R}$ donnée par :

$\displaystyle \forall t \in I\quad s_{t_0}(t) = \int_{t_0}^t \Vert\gamma'(u)\Vert du.$

Géométriquement, $s_{t_0}(t)$ est la longueur de la courbe géométrique $\mathcal{C}=\gamma(I)$ entre les points $\gamma(t_0)$ et $\gamma(t)$ . Le résultat suivant nous indique que toute courbe paramétrée régulière de classe

peut être reparamétrée par abscisse curviligne.

Théorème 2 Soient $\gamma: I \to \mathbb{R}^d$ une courbe paramétrée régulière de classe et $t_0\in I$ . Alors l'abscisse curviligne $s_{t_0}^{-1}:J\to I$ est un changement de variable admissible et

$\displaystyle \widetilde{\gamma} = \gamma \circ s_{t_0}^{-1} : J \to \mathbb{R}^d$

est une paramétrisation normale qui a le même support géométrique que $\gamma$ .

Démonstration : Admise. $\square$

Corollaire 1 Soient $\gamma:[a,b]\to\mathbb{R}^d$ une courbe paramétrée régulière de classe . On note $l=l(\gamma)$ la longueur de $\gamma$ . Alors la courbe

$\displaystyle \widetilde{\gamma} = \gamma \circ s_{a}^{-1} : [0,l] \to \mathbb{R}^d$

est une reparamétrisation normale de $\gamma$ .

Intuitivement, si on "déroule" une courbe géométrique $\mathcal{C}$ de longueur

le long d'une droite, on obtient un segment qui est aussi de longueur

et qui peut être identifié à l'intervalle

. La correspondance point par point entre

et $\mathcal{C}$ donne naturellement une paramétrisation normale $\widetilde{\gamma} : [0,l] \to\mathcal{C}$ . Par convention, on note souvent

le paramètre d'une courbe paramétrée par abscisse curviligne et on note souvent

le paramètre dans le cas d'une paramétrisation quelconque.

Proposition 2 Soit $\gamma: I \to \mathbb{R}^d$ une courbe paramétrée de classe . Alors on a :

la paramétrisation $\displaystyle \gamma$ est normale $\displaystyle \quad \Leftrightarrow \quad \forall s \in I \left\Vert \gamma'(s) \right\Vert =1.$

Démonstration : Si la paramétrisation est normale, alors l'abscisse curviligne à partir du point

de $\gamma$ vérifie pour tout $t \in I$ :

$\displaystyle s_{t_0}(t) = \int_{t_0}^t \Vert\gamma'(u)\Vert du = t - t_0.$

En dérivant, cela donne pour tout $t \in I$ : $s'_{t_0}(t) = \Vert\gamma'(t)\Vert = 1$ .
Réciproquement, si pour tout $s\in [I$ on a $\Vert\gamma'(s)\Vert=1$ , alors pour tout $[t_1,t_2] \subset I$ :

$\displaystyle l(\gamma_{\vert[t_1,t_2]}) = \int_{t_1}^{t_2} \Vert\gamma'(s)\Vert ds = t_2 -t_1.$

$\square$

Exemple :On considère la courbe paramétrée $\gamma:]0,1[\to\mathbb{R}^2$ définie par $\gamma(t)=(t,\sqrt{1-t^2})$ . L'abscisse curviligne $s_{0}:]0,1[\to \mathbb{R}$ est donnée par :

$\displaystyle s_0(t)=\int_0^t \Vert\gamma'(u)\Vert du =\int_0^t \frac{1}{\sqrt{1-u^2}}du =\arcsin(t).$

La fonction $\arcsin:[0,1[\to]0,\pi/2[$ est une bijection. La reparamétrisation $\widetilde{\gamma}=\gamma \circ s_0^{-1}:]0,\pi/2[\to\mathbb{R}^2$ est donnée par :

$\displaystyle \widetilde{\gamma}(s)=\gamma(\sin s) = \left(\sin s,\sqrt{1-\sin^2(s)}\right) = (\sin(s),\cos(s)).$

On remarque que cela correspond à une paramétrisation du quart de cercle de rayon

entre les points de coordonnées

. Le paramètre

correspond à l'angle entre $\overrightarrow{0\gamma(s)}$ et le vecteur de coordonnées