Un método numérico y teórico para resolver ecuaciones parametrizadas deformando continuamente un problema sencillo con soluciones conocidas hacia el problema objetivo mientras se siguen las trayectorias de solución.

Principio

Construir una homotopía H(x,t) que interpole entre un sistema inicial sencillo H(x,0)=0 con soluciones conocidas y el sistema objetivo H(x,1)=0, luego seguir las trayectorias x(t) para t en [0,1].

Demostración

Resolver un sistema de ecuaciones polinómicas definiendo un sistema inicial de igual grado con raíces conocidas y usando algoritmos predictor–corrector de seguimiento de trayectorias para seguir cada camino de raíces hasta el sistema objetivo.

Aplicación incorrecta

No manejar singularidades o bifurcaciones de trayectorias y asumir que el seguimiento ingenuo recuperará todas las soluciones; esto puede hacer que se pierdan soluciones que colisionan o escapan al infinito sin tratamiento proyectivo adecuado.

Consecuencia

Bajo condiciones de genericidad y regularidad, permite encontrar todas las soluciones aisladas de sistemas polinómicos y proporciona solucionadores globales robustos donde los métodos locales (p. ej., Newton) pueden fallar al encontrar raíces lejanas.

Inversión

Búsqueda local directa de raíces sin continuación, confiando exclusivamente en conjeturas iniciales y regiones de convergencia locales, lo que puede hacer que se omitan soluciones alejadas de las semillas iniciales.

Límite

Se aplica principalmente a familias continuas de problemas (sistemas polinómicos o analíticos) y a soluciones finitas e aisladas; no se aplica directamente a problemas de dimensión infinita o no analíticos sin adaptación.

Tensión semántica

La continuación por homotopía contrasta con la eliminación puramente simbólica: la primera es numérica y basada en trayectorias y permite el descubrimiento global de soluciones, mientras que la segunda ofrece expresiones algebraicas exactas pero puede ser intratable computacionalmente.

Síntesis

La continuación por homotopía es la técnica de deformar un problema inicial solucionable hacia el objetivo mientras se siguen numéricamente las trayectorias de solución, proporcionando una estrategia global para localizar soluciones bajo supuestos de regularidad.