L’analyse géométrique locale nécessite d’étudier rigoureusement les points singuliers d’une courbe paramétrée. En effet, ces points critiques révèlent des comportements topologiques complexes comme les rebroussements ou les méplats locaux.
Définitions Formelles des Points singuliers d’une courbe
Soit $E$ un espace affine euclidien de dimension finie. Considérons une courbe paramétrée $\gamma : I \to E$ de classe différentiable $\mathcal{C}^k$ avec $k \ge 2$.
Un point de paramètre $t_0 \in I$ est formellement qualifié de point singulier, ou point non régulier, si le vecteur dérivé premier s’annule strictement.
$$ \gamma'(t_0) = \vec{0} $$Entiers Caractéristiques $p$ et $q$
L’étude locale d’un point singulier requiert l’évaluation des dérivées d’ordre supérieur. Définissons l’entier $p \ge 2$ comme le premier ordre d’annulation non nulle.
$$ \forall i \in \{1, \dots, p-1\}, \quad \gamma^{(i)}(t_0) = \vec{0} $$ $$ \gamma^{(p)}(t_0) \neq \vec{0} $$Définissons ensuite l’entier $q > p$ garantissant la première indépendance linéaire spatiale. Le vecteur $\gamma^{(q)}(t_0)$ ne doit pas être colinéaire à $\gamma^{(p)}(t_0)$.
$$ \forall j \in \{p+1, \dots, q-1\}, \quad \gamma^{(j)}(t_0) \in \text{Vect}(\gamma^{(p)}(t_0)) $$ $$ \gamma^{(q)}(t_0) \notin \text{Vect}(\gamma^{(p)}(t_0)) $$Théorèmes de Classification et Corollaires
La parité des entiers caractéristiques $(p, q)$ détermine entièrement l’allure géométrique locale de la courbe au voisinage du point critique.
Théorème de l’Allure Locale
L’espace affine est localement rapporté au repère de Taylor $(M_0, \vec{u}, \vec{v})$. Ici, $M_0 = \gamma(t_0)$, $\vec{u} = \gamma^{(p)}(t_0)$ et $\vec{v} = \gamma^{(q)}(t_0)$. La classification suit quatre cas topologiques distincts :
- Si $p$ est impair et $q$ est pair : Le point est d’allure ordinaire. La courbe traverse sa tangente.
- Si $p$ est impair et $q$ est impair : C’est un point d’inflexion topologique.
- Si $p$ est pair et $q$ est impair : C’est un point de rebroussement de première espèce.
- Si $p$ est pair et $q$ est pair : C’est un point de rebroussement de seconde espèce.
Corollaire de la Tangente Topologique
Même en l’absence de vecteur vitesse, la droite tangente géométrique reste parfaitement définie au point singulier. Elle est rigoureusement dirigée par le vecteur $\gamma^{(p)}(t_0)$.
Preuve : Appliquons la formule de Taylor-Young au voisinage direct de $t_0$. Posons le déplacement infinitésimal $h = t – t_0$.
$$ \gamma(t_0 + h) = \gamma(t_0) + \frac{h^p}{p!} \gamma^{(p)}(t_0) + \frac{h^q}{q!} \gamma^{(q)}(t_0) + o(h^q) $$Analysons la direction sécante définie par le vecteur $\overrightarrow{M_0 M_h}$. Nous divisons formellement par la quantité non nulle $h^p$.
$$ \frac{1}{h^p} \overrightarrow{M_0 M_h} = \frac{1}{p!} \gamma^{(p)}(t_0) + \frac{h^{q-p}}{q!} \gamma^{(q)}(t_0) + o(h^{q-p}) $$Lorsque $h \to 0$, le terme de droite converge strictement vers le vecteur constant non nul $\frac{1}{p!} \gamma^{(p)}(t_0)$. Par passage à la limite projective, la direction de la droite sécante tend vers la droite vectorielle engendrée par $\gamma^{(p)}(t_0)$. La tangente est donc unique. $\blacksquare$
Exemples et Contre-exemples
L’analyse algébrique de paramétrisations spécifiques illustre la puissance du développement de Taylor pour la classification critique.
Exemple Paramétré : La Parabole Semi-Cubique
Considérons la courbe planaire classique définie par la paramétrisation polynomiale suivante :
$$ \gamma(t) = \begin{pmatrix} t^2 \\ t^3 \end{pmatrix} $$Évaluons la dérivation au paramètre $t_0 = 0$. La dérivée première s’annule immédiatement.
$$ \gamma'(0) = \begin{pmatrix} 0 \\ 0 \end{pmatrix} $$Calculons les dérivées successives pour extraire les entiers $p$ et $q$.
$$ \gamma »(0) = \begin{pmatrix} 2 \\ 0 \end{pmatrix} \neq \vec{0} \implies p = 2 $$ $$ \gamma »'(0) = \begin{pmatrix} 0 \\ 6 \end{pmatrix} \notin \text{Vect}(\gamma »(0)) \implies q = 3 $$L’entier $p=2$ est pair et $q=3$ est impair. Le théorème de classification garantit formellement un point de rebroussement de première espèce (un « cusp »).
Contre-exemple : La Fausse Singularité
Une annulation de la dérivée n’implique pas toujours un accident géométrique. Considérons le reparamétrage régulier suivant :
$$ \gamma(t) = \begin{pmatrix} t^3 \\ t^3 \end{pmatrix} $$Au point $t_0 = 0$, nous obtenons $\gamma'(0) = \vec{0}$. Algébriquement, c’est un point singulier strict de la paramétrisation. Déterminons ses caractéristiques.
$$ \gamma »'(0) = \begin{pmatrix} 6 \\ 6 \end{pmatrix} \implies p = 3 $$Cependant, toutes les dérivées supérieures sont rigoureusement colinéaires à ce vecteur (ou nulles). L’entier $q$ n’est pas défini formellement. Le support géométrique est la droite pure $y=x$. La singularité est purement cinématique, non géométrique.