🔢 mathematics

Distance, Normals and Double Normals for Real Plane Curves with Singularrities

Cet article étudie la relation entre les normales, les doubles normales et les points critiques de la fonction distance au carré pour les courbes algébriques planes réelles présentant des singularités, en caractérisant le discriminant topologique et en fournissant des formules de dénombrement qui relient ces caractéristiques géométriques aux extrema de distance.

Auteurs originaux : Dirk Siersma

Publié 2026-06-09

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Dirk Siersma

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous avez un morceau de ficelle formant une courbe sur une table plate. Cette courbe n'est pas toujours parfaite ; elle peut parfois présenter des coins brusques, des cassures ou même se croiser elle-même. En mathématiques, ces points « imparfaits » sont appelés singularités.

Ce document est comme une enquête policière sur la manière de mesurer la distance entre un point spécifique (appelons-le un « phare ») et cette ficelle sinueuse et parfois brisée. L'auteur, Dirk Siersma, veut comprendre les règles de ce jeu, en particulier lorsque la ficelle possède ces cassures délicates.

Voici la décomposition des découvertes de l'article en utilisant des analogies simples :

1. Le jeu du « Plus proche et Plus loin »

Imaginez que vous vous tenez en un point sur la table (le phare). Vous voulez trouver les points sur la ficelle qui sont les plus proches de vous et les points qui sont les plus éloignés de vous.

La Normale : Si vous tracez une ligne droite de votre phare vers la ficelle, et que cette ligne frappe la ficelle selon un angle parfait de 90 degrés (comme un fil à plomb), on appelle cela une normale.
Les Points Critiques : Les points où la distance est un minimum local (le plus proche) ou un maximum (le plus loin) sont les « points critiques ». Dans une courbe parfaite et lisse, ces points se produisent exactement là où la normale frappe la courbe.

2. Le problème des ficelles « accidentées »

L'article se concentre sur des ficelles qui ne sont pas parfaitement lisses. Elles peuvent présenter :

Des Cusps (pointes de cuspide) : Comme la pointe d'une étoile ou un point tranchant où la ficelle se replie sur elle-même.
Des Auto-intersections : Là où la ficelle se croise elle-même.
Une fluidité « C1 » : La ficelle semble lisse à l'œil nu (vous pouvez tracer une tangente), mais si on zoome mathématiquement, elle est un peu « dentelée » ou pas parfaitement arrondie comme un cercle.

L'auteur pose la question suivante : La règle « point le plus proche = angle de 90 degrés » fonctionne-t-elle encore quand la ficelle possède ces cassures ?

3. La Carte du « Discriminant » (La Zone de Danger)

L'article introduit un concept appelé le Discriminant. Voyez cela comme une « Carte de Danger » ou une « Zone d'Avertissement » sur votre table.

Si vous vous tenez dans un endroit « sûr », le nombre de points les plus proches/éloignés sur la ficelle est stable.
Si vous entrez dans le Discriminant, les règles changent. Le nombre de points les plus proches peut soudainement bondir, ou un point « le plus proche » peut soudainement devenir un point « le plus loin ».

La Grande Découverte :
Autrefois, les mathématiciens ne regardaient que l'Évolute (une courbe spécifique qui agit comme l'ombre de la courbure de la ficelle). Ce papier dit : « Ce n'est pas toute l'histoire ! »
La Carte de Danger (le Discriminant) inclut en réalité :

L'Évolute traditionnelle.
Des Lignes Spéciales aux Cassures : Si la ficelle a un point tranchant (une cuspide), la ligne qui part droit de ce point est aussi une partie de la Zone de Danger.
Des Lignes Spéciales aux Endroits « Dentelés » : Même si un endroit semble lisse, s'il est mathématiquement « dentelé » (C1 mais pas C2), la ligne qui en part peut aussi être une Zone de Danger.

4. Le « Facteur de Compétition »

L'auteur invente un moyen de mesurer à quel point une cassure est « aiguë », qu'il appelle un facteur de compétition (noté $\rho$ ).

Si la cassure est très aiguë : La logique du « point le plus proche » sitte en échec, et la Zone de Danger s'étend jusqu'à la cassure elle-même.
Si la cassure est légère : Les règles se comportent davantage comme celles d'une courbe lisse.
Le Point Focal : C'est l'endroit spécifique sur la normale où le point « le plus proche » devient un point « le plus loin ». Le papier calcule exactement où cela se produit pour chaque type de cassure. Parfois, c'est directement au niveau de la cassure, parfois c'est loin, et parfois c'est à une distance infinie.

5. Compter les Lignes (La question du « Combien ? »)

L'article nous donne un moyen de compter ces lignes spéciales (normales) en fonction de la forme de la ficelle.

La Règle des Cuspides : Chaque point tranchant (cuspide) sur la ficelle garantit au moins une ligne spéciale partant de celui-ci.
La Double Normale : Imaginez une ligne qui frappe la ficelle à deux endroits différents, les deux avec des angles de 90 degrés. C'est une « double normale ».
- Le papier prouve que si vous avez une boucle fermée avec des points tranchants, vous avez garanti au moins deux de ces doubles lignes.
- Si vous avez deux points tranchants, il y a garanti une double ligne reliant ces deux points.
- Si la ficelle se croise elle-même, ce point de croisement agit comme un point de distance « minimum ».

6. Réel vs Complexe (Le « Fantôme » vs Le « Réel »)

Le papier mentionne brièvement que dans le monde « Complexe » (un univers mathématique avec des dimensions supplémentaires et des nombres imaginaires), les règles sont différentes.

Dans le monde complexe, les points tranchants sont toujours « brisés ».
Dans le monde Réel (notre monde physique réel), un point tranchant peut parfois encore paraître lisse à l'œil.
Le papier montre qu'en raison de cela, la Carte de Danger « Réelle » est différente de la carte « Complexe ». Nous devons inclure ces lignes supplémentaires aux cassures pour obtenir une image complète.

Résumé en quelques mots

Si vous avez une ficelle sinueuse et accidentée :

Ne regardez pas seulement les courbes lisses. Les points tranchants (cuspides) et les endroits légèrement dentelés créent leurs propres « zones d'influence ».
Les lignes « Normales » (lignes perpendiculaires) sortant de ces cassures sont tout aussi importantes que celles sortant des courbes lisses.
Vous pouvez les compter : Le nombre de points tranchants vous indique le nombre minimum de lignes spéciales que vous devez avoir.
La Carte est plus grande : La zone où les règles de distance changent (le discriminant) est plus vaste qu'on ne le pensait auparavant, car elle inclut ces lignes spéciales aux cassures.

L'auteur a essentiellement mis à jour le « Manuel d'utilisation » pour mesurer les distances par rapport à des formes imparfaites, en veillant à ce que les coins tranchants et les auto-intersections ne soient pas ignorés.

Résumé technique : Distance, normales et doubles normales pour les courbes planes réelles présentant des singularités

Énoncé du problème
Cet article étudie la relation entre les normales, les doubles normales et les points critiques de la fonction de distance euclidienne au carré ( $D_u$ ) pour les courbes algébriques planes réelles possédant des singularités. Si le cadre complexe offre une description détaillée via les développements de Puiseux et le degré ED (comptage des normales sur la partie régulière), le cadre réel présente des défis distincts. Plus précisément, les auteurs examinent comment les singularités algébriques — points où le gradient s'annule mais où la courbe peut rester localement lisse (par exemple, $C^1$ mais pas $C^2$ ) — affectent la structure topologique de la fonction de distance. L'étude vise à caractériser le discriminant ED topologique ( $\Delta_{tED}$ ), qui sépare les points stables de ceux où le type topologique local de la fonction de distance change, et à établir des formules de comptage pour les normales et les doubles normales tenant compte de ces singularités.

Méthodologie
Les auteurs emploient une combinaison de géométrie algébrique, de théorie des singularités et de théorie de Morse topologique.

Paramétrage local : Les courbes sont analysées via des paramétrages locaux de la forme $x_1(t) = t^p, x_2(t) = c t^q + \sigma(t)$ , distinguant les branches lisses ( $p$ impair) des singularités géométriques/cuspides ( $p$ pair).
Criticité topologique : Au lieu de s'appuyer uniquement sur le calcul différentiel (qui échoue aux points non- $C^2$ ), l'article définit les points critiques sur la base de la régularité topologique. Un point est topologiquement critique si la fonction de distance n'est pas localement homéomorphe à une fonction linéaire.
Facteur de compétition ( $\rho$ ) : Un outil analytique clé introduit est le facteur de compétition $\rho = q/2p$ , qui décrit l'ordre de contact entre la fonction de distance au carré et la courbe en une singularité. Ce facteur détermine l'existence et la localisation des points focaux.
Analyse de bifurcation : Les auteurs effectuent des calculs explicites sur les termes dominants de la fonction de distance pour déterminer les bifurcations des points critiques (minima, maxima, cols) lorsque le point d'observation $u$ se déplace par rapport à la courbe.
Doubles normales : L'étude s'étend à la fonction de distance au carré $B(a,b) = |a-b|^2$ entre deux courbes (ou une courbe avec elle-même), en analysant les points critiques sur l'espace produit des normalisations.

Contributions clés et résultats

1. Le discriminant ED topologique ( $\Delta_{tED}$ )
L'article caractérise $\Delta_{tED}$ comme le complémentaire des points stables. Contra à le cas $C^2$ lisse où le discriminant est uniquement l'évolute (caustique), la présence de singularités ajoute des composantes spécifiques :

La caustique : L'enveloppe des normales, étendue pour inclure les points focaux aux singularités géométriques.
Droites normales distinguées : Le discriminant inclut toutes les droites normales aux points singuliers géométriques (cuspides).
Points strictement $C^1$ : Pour les points lisses qui ne sont que $C^1$ plongés (où $p$ est impair et $q < 2p$ ), la droite normale peut également appartenir au discriminant, un phénomène absent de la théorie $C^2$ standard.

2. Points focaux et bifurcations
Le comportement des points focaux sur les droites normales est classé par $\rho$ :

$\rho > 1$ ( $q > 2p$ ) : Aucun point focal n'existe sur la droite normale ; la fonction de distance reste un minimum partout sur la droite.
$\rho = 1$ ( $q = 2p$ ) : Un point focal fini existe (centre de courbure), où le type de point critique change.
$\rho < 1$ ( $q < 2p$ ) : Le point focal coïncide avec le point singulier lui-même ( $u=x$ ).
L'article fournit un tableau complet (Tableau 1) détaillant 10 cas distincts de types de discriminant et de bifurcations basés sur la parité de $p$ et $q$ ainsi que sur la valeur de $\rho$ .

3. Formules de comptage pour les normales
Les auteurs établissent des bornes inférieures pour le nombre de normales ( $N(u)$ ) passant par un point générique $u$ :

Borne générale : $N(u) \ge 2$ .
Contribution des cuspides : Chaque point cuspidal contribue à au moins une normale (soit un minimum, soit un maximum). Spécifiquement, $N(u) \ge N_{\text{cusps}}$ .
Comptage de Morse : Le nombre total de normales est la somme des maxima et des minima. Pour une courbe compacte, $m(u) = M(u) \ge 1$ .

4. Doubles normales
L'étude s'étend aux doubles normales (segments reliant deux points sur la courbe tels que le segment est normal à la courbe aux deux extrémités).

Types : Les auteurs classent les doubles normales en $rr$ (régulière-régulière), $rs$ (régulière-singulière), $ss$ (singulière-singulière) et points d'intersection.
Résultats de comptage :
- Le nombre de doubles normales est au moins de 2.
- Chaque point cuspidal contribue à au moins une double normale.
- Chaque paire de points cuspidaux contribue à une double normale les reliant.
- Les auto-intersections agissent comme des minima absolus.
Application de la théorie de Morse : En utilisant la topologie de l'espace de configuration (ruban de Möbius pour une seule courbe, tore pour deux), l'article dérive des inégalités de Morse reliant le nombre de maxima, de minima et de cols. Pour une seule courbe, le nombre de doubles normales est au moins de 2, avec $\#(\text{Max}) + \#(\text{Min}) = \#(\text{Saddles})$ .

5. Comparaison avec la théorie complexe
L'article contraste le cas réel avec le discriminant ED complexe. Dans le cadre complexe, le discriminant inclut des composantes liées aux points à l'infini (discriminant atypique) et aux points de flexion avec tangentes isotropes (discriminant iflex). Ces composantes n'apparaissent pas dans le cas réel. Il est montré que le discriminant réel est un sous-ensemble du complexe, spécifiquement $\Delta_{tED} = \Delta_{\text{focal}} \cup \Delta_{\text{sing}}$ , où $\Delta_{\text{sing}}$ peut contenir moins de droites normales que son homologue complexe.

Signification et revendications
L'article affirme que l'inclusion des points singuliers est essentielle pour une compréhension complète des distances maximales et minimales dans le cadre réel, une exigence souvent négligée par les approches se concentrant uniquement sur le degré ED de la partie régulière. En introduisant le concept de points critiques topologiques et le facteur de compétition $\rho$ , les auteurs fournissent un cadre qui :

Unifie le traitement des points lisses et singuliers sous la théorie de Morse topologique.
Identifie de nouveaux phénomènes, tels que l'inclusion des droites normales aux points strictement $C^1$ dans le discriminant.
Fournit des formules de comptage explicites qui relient directement la géométrie des singularités (cuspides) au nombre de normales et de doubles normales.
Offre une description locale détaillée des bifurcations et des ensembles focaux qui étend la géométrie différentielle classique aux courbes algébriques avec singularités.

Le travail est présenté comme une extension rigoureuse des résultats classiques (caustiques, évolutes) au contexte algébrique réel singulier, fournissant des outils nécessaires à la géométrie computationnelle et à l'étude des fonctions de distance sur des objets non lisses.