Arc paramétré
# Arc paramétré

Un arc paramétré, ou courbe paramétrée, dans un espace vectoriel E de dimension finie est la donnée d'un intervalle I où varie un paramètre, et d'une fonction de I dans E.

Comme tout espace affine est associé de manière naturelle à un espace vectoriel, la notion d'arc géométrique, ou arc paramétré, existe également en géométrie affine et se traite en associant naturellement M(t) et la fonction vectorielle $f(t)={\overrightarrow {OM(t)}}$.

## Définition

Un arc paramétré de classe ${\mathcal {C}}^{k}$ dans l'espace vectoriel E de dimension finie est la donnée

* d'un intervalle I où variera le paramètre réel t
* d'une fonction f de I dans E, de classe ${\mathcal {C}}^{k}$

Dans un repère donné de E, la fonction f a des composantes x(t), y(t), .... Par exemple voici un paramétrage du cercle unité du plan (parcouru une infinité de fois) :

    ${\begin{cases}x(t)=\cos(t)\\y(t)=\sin(t)\end{cases}}\quad t\in \mathbb {R}$.

Dans la pratique une fonction f peut avoir pour domaine une réunion d'intervalles disjoints ; on étudiera alors séparément chacune des branches correspondantes de la courbe (cf connexité).

En géométrie différentielle on ne considère pas d'arcs qui seraient seulement continus. L'exemple de la courbe de Peano montre que leur comportement peut être très complexe.

## Point de paramètre et point géométrique, multiplicité

Il est tout à fait possible que pour deux valeurs distinctes t et t' on ait f(t) = f(t'). On dira dans ce cas qu'on a affaire à un point multiple de l'arc. Pour gérer ce genre de situation, il convient de distinguer :

* le point de paramètre t, expression qui désigne la donnée conjointe de t et du point f(t) ;
* le point géométrique correspondant qui est un point de E.

Ainsi dans le cas d'un point multiple, deux points de paramètres distincts ou plus coïncident avec le même point géométrique. On parle éventuellement de point double, triple, ou de multiplicité k si on connaît le nombre exact de valeurs du paramètre qui donnent ce point géométrique. Si l'arc n'a pas de point multiple (f injective), il est dit simple.

Dans le cas particulier où la fonction est périodique, on dit que la courbe est fermée. On préfèrera alors l'étudier sur une période, et parler de multiplicité des points relativement à une période. Ainsi la lemniscate de Bernoulli :

    ${\begin{cases}x(t)={\frac {\sin t}{1+\cos ^{2}t}}\\y(t)={\frac {\sin t\cos t}{1+\cos ^{2}t}}\end{cases}}$

est fermée (2π-périodique) et admet l'origine pour point double (t = 0 ou π). Les courbes fermées ont un certain nombre de propriétés intéressantes détaillées dans l'article correspondant.

## Changement de paramètre

On se donne un arc de classe ${\mathcal {C}}^{k}$, sous la forme d'un intervalle I et d'une fonction f de I dans E. La trajectoire est l'ensemble f(I) des points géométriques. Mais la même trajectoire peut être parcourue de multiples façons.

Ainsi si u = φ(t) est une fonction d'un intervalle J dans I de classe ${\mathcal {C}}^{k}$, alors $g=f\circ \varphi$ est lui aussi un arc ${\mathcal {C}}^{k}$. Pour parcourir la même trajectoire, et passer le même nombre de fois aux mêmes points dans le même ordre, on impose que φ soit une bijection strictement monotone.

En fait il faut plus : pour assurer la compatibilité avec le calcul différentiel, on dira que g est un paramétrage admissible de l'arc si φ est un ${\mathcal {C}}^{k}$-difféomorphisme. Les deux arcs, avant et après reparamétrage, sont dits ${\mathcal {C}}^{k}$-équivalents. On appelle arc géométrique toute classe d'équivalence pour cette relation.

En reprenant le changement de paramétrage $g=f\circ \varphi$, on peut écrire la formule de dérivation des fonctions composées reliant les vecteurs dérivés des deux arcs en deux points correspondants

    $T_{f}=f'(u_{0})\qquad T_{g}=g'(t_{0})=\varphi '(t_{0})f'(\varphi (t_{0}))$

Les deux vecteurs dérivés sont colinéaires avec un rapport de colinéarité non nul

## Exemples d'invariants

Certaines notions sont inchangées par changement de paramétrage

* la trajectoire : l'ensemble des points parcourus est le même
* la notion de point régulier (vecteur dérivé non nul) : deux points correspondants sont tous les deux réguliers, ou alors tous les deux des points d'arrêt (les dérivées s'annulent).
* la notion de tangente (comme limite de sécantes), ce qui est compatible avec la propriété précédente
* la longueur de l'arc entre deux points d'une part, et deux points correspondants d'autre part.

En conséquence, on dira que ces notions peuvent être étendues à l'arc géométrique.

Mais certaines propriétés font intervenir l'orientation de l'arc, c'est-à-dire le sens de parcours. Dans ce cas il faut distinguer deux types de changements de paramètres

* soit $\varphi$ a une dérivée strictement positive en tout point, et on dit qu'il conserve l'orientation.
* soit $\varphi$ a une dérivée strictement négative en tout point, et on dit qu'il renverse l'orientation.

Dans le premier cas (respect de l'orientation), le changement de paramétrage conserve d'autres notions

* les demi-tangentes
* l'abscisse curviligne
* les éléments du repère de Frenet et la courbure

On peut définir la notion d'arc géométrique orienté en se limitant à des changements de paramétrages respectant l'orientation.

## Paramétrer par l'angle polaire

On se place dans le plan euclidien orienté ramené à un repère orthonormal. Une façon fréquente de définir les courbes est de donner leur équation polaire r fonction de θ : r = h(θ). Il s'agit d'un cas particulier d'arc paramétré puisqu'on peut écrire x(θ) = h(θ)cos(θ), y(θ) = h(θ)sin(θ).

On peut se demander à quelle condition, pour un arc donné, on peut trouver une telle équation polaire. On se contente de traiter le cas des arcs qui ne passent pas par le point O lui-même, car celui-ci apporte des difficultés supplémentaires.

   Si (I, f) définit un arc ${\mathcal {C}}^{k}$ qui ne passe jamais par O, alors il existe des fonctions r et θ, également ${\mathcal {C}}^{k}$, telles que pour tout t, f(t) a pour coordonnées polaires r(t) et θ(t).

Cela se démontre par application du théorème de relèvement.

   Avec les mêmes hypothèses si la fonction θ est un difféomorphisme, on peut prendre θ pour paramètre et obtenir ainsi une véritable équation polaire.
