Arc paramétré

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

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 Modèle:Math et la fonction vectorielle $f(t)=\overrightarrow{OM(t)}$.

Définition

Le cercle unité donné en exemple.

Un arc paramétré de classe ${𝒞}^k$ dans l'espace vectoriel Modèle:Mvar de dimension finie est la donnée

• d'un intervalle Modèle:Mvar où variera le paramètre réel Modèle:Mvar
• d'une fonction Modèle:Mvar de Modèle:Mvar dans Modèle:Mvar, de classe ${𝒞}^k$

Dans un repère donné de Modèle:Mvar, la fonction Modèle:Mvar a des composantes Modèle:Math. Par exemple voici un paramétrage du cercle unité du plan (parcouru une infinité de fois) :

$\{\begin{array}{c}x(t)=\cos (t)\\ y(t)=\sin (t)\end{array}t\in ℝ$.

Dans la pratique une fonction Modèle:Mvar 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 Modèle:Mvar et Modèle:Mvar on ait Modèle:Math. 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 Modèle:Mvar, expression qui désigne la donnée conjointe de Modèle:Mvar et du point Modèle:Math ;
• le point géométrique correspondant qui est un point de Modèle:Mvar.

La lemniscate de Bernoulli.

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é Modèle:Mvar 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 (Modèle:Mvar 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{array}{c}x(t)=\frac{\sin t}{1+{\cos }^{2}t}\\ y(t)=\frac{\sin t\cos t}{1+{\cos }^{2}t}\end{array}$

est fermée (Modèle:Math-périodique) et admet l'origine pour point double (Modèle:Math ou Modèle:Math). 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 ${𝒞}^k$, sous la forme d'un intervalle Modèle:Mvar et d'une fonction Modèle:Mvar de Modèle:Mvar dans Modèle:Mvar. La trajectoire est l'ensemble Modèle:Math des points géométriques. Mais la même trajectoire peut être parcourue de multiples façons.

Ainsi si Modèle:Math est une fonction d'un intervalle Modèle:Mvar dans Modèle:Mvar de classe ${𝒞}^k$, alors $g=f\circ \phi$ est lui aussi un arc ${𝒞}^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 Modèle:Mvar soit une bijection strictement monotone.

En fait il faut plus : pour assurer la compatibilité avec le calcul différentiel, on dira que Modèle:Mvar est un paramétrage admissible de l'arc si Modèle:Mvar est un ${𝒞}^k$-difféomorphisme. Les deux arcs, avant et après reparamétrage, sont dits ${𝒞}^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 \phi$, 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^{\prime }(u_0)T_g=g^{\prime }(t_0)={\phi }^{\prime }(t_0)f^{\prime }(\phi (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 $\phi$ a une dérivée strictement positive en tout point, et on dit qu'il conserve l'orientation.
• soit $\phi$ 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 Modèle:Mvar fonction de Modèle:Mvar : Modèle:Math. Il s'agit d'un cas particulier d'arc paramétré puisqu'on peut écrire Modèle:Math.

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. Modèle:Énoncé Cela se démontre par application du théorème de relèvement.

Références

Bibliographie

• Modèle:Lien web
• Modèle:Ouvrage

Voir aussi

• Lexique des arcs paramétrés
• Arc (géométrie)
• Variété
• Géométrie différentielle
• Cinématique