Une méthode numérique pour résoudre des systèmes d'équations polynomiales consistant à construire un homotopie entre un système de départ aux solutions connues et le système cible, puis à suivre les trajectoires de solutions dans le domaine complexe à l'aide de schémas prédicteur‑correcteur pour approcher toutes les racines isolées.

Principe

Exploiter la déformation continue (prolongement analytique) des solutions : en reliant par une homotopie générique un système aux solutions connues au système cible, les solutions isolées du cible correspondent aux extrémités des trajectoires suivies, sous des hypothèses de régularité des trajectoires.

Démonstration

Construire une homotopie de degré total depuis un système de départ dont les solutions sont séparables monomialement ; utiliser un pas prédicteur (par exemple Euler) et un correcteur (par exemple Newton) pour suivre chaque chemin de t=0 à t=1 et obtenir des approximations numériques de toutes les racines complexes isolées.

Mauvaise application

Considérer le suivi de trajectoire numérique comme un substitut de l'analyse symbolique des multiplicités : un suivi naïf peut échouer à résoudre des solutions singulières ou mal compter des racines quand des trajectoires divergent ou se coalescent sans stratégies de déflection ou d'endgame.

Conséquence

Fournit des approximations numériques évolutives et souvent parallélisables de toutes les solutions isolées, permettant des flux de travail en géométrie algébrique numérique, des décompositions irréductibles numériques et la vérification des comptages de solutions prévus par des bornes de type Bézout.

Inversion

Utiliser des méthodes purement symboliques d'élimination ou de résultant pour obtenir des représentations algébriques exactes des solutions, renonçant au suivi numérique de trajectoires et à sa scalabilité parallèle.

Limite

Vise les solutions isolées dans le domaine complexe ; la performance et la fiabilité dépendent du choix de l'homotopie, du conditionnement des trajectoires, de la gestion des points singuliers ou quasi-singuliers et des tolérances numériques.

Tension sémantique

Tension entre la continuation homotopique numérique en tant que solveur numérique robuste et l'attente d'informations algébriques exactes ; les sorties numériques nécessitent certification ou post‑traitement symbolique pour affirmer des faits algébriques exacts.

Synthèse

La continuation homotopique numérique suit le prolongement analytique des solutions d'un système de départ solvable vers le système cible, en utilisant le suivi prédicteur‑correcteur et des techniques d'endgame pour produire des approximations numériques fiables des racines isolées.