prepas Paramétrage

من طرف **Mohamed** 2008-11-11, 09:54

Attention ce cours est un cours de prepas

En mathématiques, le paramétrage est un des procédés fondamentaux de définition des courbes, surfaces, et plus généralement des variétés.
C'est ainsi que pour donner corps au concept très général et très vague de courbe, on introduit une notion plus concrète d'arc paramétré. Celle-ci s'inspire directement des problèmes de cinématique.
On étudie par exemple de la succession des points de l'espace occupés par un point animé d'un mouvement dont on connaît la loi en fonction du temps. Ainsi la donnée d'une valeur du temps t permet la détermination de la position M(t) au temps t. En fonction des problèmes étudiés, il sera judicieux de décrire ce même mouvement en changeant de paramètre de référence, en remplaçant par exemple le temps par la distance totale parcourue.
La surface est un objet plus complexe, mais qui peut s'étudier en ayant recours à deux paramètres simultanément : on obtient alors une nappe paramétrée, pour laquelle la donnée de u et de v détermine un point M(u,v). Si on ne fait varier qu'un des deux paramètres, l'autre restant à une valeur fixe, on obtient un arc paramétré. Une nappe paramétrée peut en fait se concevoir comme formée d'une sorte de « grillage » dont les fils sont des arcs paramétrés. Il y a également une notion de changement de paramètre pour les surfaces, mais il faut passer d'un couple (u,v) de paramètres à un autre couple (u',v').
Plus généralement, le nombre de paramètres est lié à la notion de dimension de l'objet géométrique, généralisant le concept de dimension de l'algèbre linéaire. La définition formelle des paramétrages, changements de paramètres, fait intervenir le calcul différentiel.
L'objectif de la géométrie différentielle est de recenser un certain nombre de notions et grandeurs qui sont invariantes par changement de paramètres. Dans le cas d'un arc paramétré, par exemple, on dira qu'une telle notion ou grandeur relève non plus seulement de l'arc paramétré mais d'un objet mathématique nouveau, l'arc (ou la courbe) géométrique.
Les arcs paramétrés [modifier]

Définition Un arc paramétré de classe $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$ 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 $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$

Dans un repère donné de E, la fonction f a des composantes $prepas Paramétrage Aa9cc6cbbc66c849e2cea6d61e05fe43$ . Par exemple voici un paramétrage du cercle unité du plan (parcouru plusieurs fois) :

$prepas Paramétrage A3e727b8b8829d5e762adb66018a10df$ .
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 t et point géométrique, multiplicité [modifier]

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.

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

$prepas Paramétrage Acee0db201e9c0a30b6e1dde732da0e2$
est fermée (2π périodique) et admet l'origine pour point double (t=0,π). Les courbes fermées ont un certain nombre de propriétés intéressantes qu'on trouvera dans l'article correspondant.

Changement de paramètre [modifier]

On se donne un arc de classe $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$ , 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 $prepas Paramétrage 841b4406be2f416325d969935ac3151e$ est une fonction d'un intervalle J dans I de classe $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$ , alors $prepas Paramétrage 3ab0337e363e042e46a81e0277d22243$ est lui aussi un arc $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$ . 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 $prepas Paramétrage 3538eb9c84efdcbd130c4c953781cfdb$ est une bijection strictement monotone.
En fait il faut plus : pour assurer la compatibilité avec le calcul différentiel, on dira que $prepas Paramétrage 3538eb9c84efdcbd130c4c953781cfdb$ est un paramétrage admissible de l'arc si $prepas Paramétrage 3538eb9c84efdcbd130c4c953781cfdb$ est un $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$ -difféomorphisme. Les deux arcs, avant et après reparamétrage, sont dits $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$ -équivalents. On appelle arc géométrique toute classe d'équivalence pour cette relation.
En reprenant le changement de paramétrage $prepas Paramétrage 3ab0337e363e042e46a81e0277d22243$ , 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

$prepas Paramétrage 63343275a600058a721b4498c07716ce$
Les deux vecteurs dérivés sont colinéaires avec un rapport de colinéarité non nul.

Exemples d'invariants [modifier]

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 $prepas Paramétrage 3538eb9c84efdcbd130c4c953781cfdb$ a une dérivée strictement positive en tout point, et on dit qu'il conserve l'orientation.
soit $prepas Paramétrage 3538eb9c84efdcbd130c4c953781cfdb$ 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 [modifier]

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.
Propriété : passage à une équation «polaire paramétrique»
Si (I,f) définit un arc $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$ qui ne passe jamais par O, alors il existe des fonctions r et θ, également $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$ , telles que pour tout t, f(t) a pour coordonnées polaires r(t) et θ(t).
Démonstration : par application du théorème de relèvement.

Propriété : condition de passage à une équation «polaire»
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.

Nappes paramétrées [modifier]

Définition [modifier]

Une nappe paramétrée de classe $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$ dans l'espace vectoriel E de dimension finie est la donnée

d'un domaine U (en général supposé connexe) de ℝ² où variera le couple de paramétres réels (t,u)
d'une fonction f de U dans E, de classe $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$

Dans un repère donné de E, la fonction f a des composantes x(t,u),y(t,u),z(t,u)... Par exemple voici un paramétrage d'un cône de révolution de l'espace (parcouru plusieurs fois) : x(t,u)=u* cos (t),y(t,u)=u*sin(t),z(t,u)=u pour t,u variant dans ℝ.

Courbes tracées sur une nappe, plan tangent [modifier]

Quand on se contente de faire varier un seul des deux paramètres, on obtient des arcs paramétrés tracés sur la nappe. Dans l'exemple du cône, si u varie seul avec t fixé on obtient une droite parcourue à vitesse uniforme. Si t varie avec u fixé, c'est un cercle.
Ces courbes permettent de définir la notion de plan tangent : on se place en (t₀,u₀), on regarde toutes les courbes tracées sur la surface et passant par ce point, et l'ensemble de leurs vecteurs tangents. S'ils forment un plan, c'est le plan tangent.
Une condition suffisante simple pour cela est que le point soit régulier, c'est-à-dire $prepas Paramétrage Adc2e83d7c2b716778f7de38098cf825$ sont non colinéaires.
On peut aussi le dire sous la forme : un point est régulier quand la différentielle de f en ce point est injective.

Changement de paramètres [modifier]

Le changement de paramètres sera cette fois un $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$ -difféomorphisme de U dans V autre domaine de ℝ². La notion de respect d'orientation sera liée cette fois au signe du jacobien de ce difféomorphisme.
On parlera de nouveau de nappes $prepas Paramétrage Cd2be0dac6011b5511ed2da7b48e0b61$ -équivalentes quand elles se correspondent par changement de paramétrage.
Les notions de point régulier, de plan tangent, d'aire, de courbure de Gauss font partie des invariants qu'on peut citer.

Généralisation L'extension à p paramètres permet de formaliser la notion de variété de dimension p tracée dans un espace de dimension n. On reprend, mutatis mutandis les définitions de la dimension 2.

quand l'application f a une différentielle injective (f est une immersion), on dit que la variété est immergée dans E. Ceci généralise la notion d'arc régulier, de nappe régulière. Et on peut alors définir le sous-espace tangent.

il faut des contraintes supplémentaires pour que cette immersion devienne un plongement, permettant de parler de sous-variété de E.

Et de la même façon, il y a une notion de changement de paramétrage par difféomorphisme qui conserve les notions d'imersion, de sous-espace tangent.