*

Homotopa de punto fijo

**
Mario Arley Vidal Geronimo
Universidad Juarez Autonoma de Tabasco, DACB
***
Gamaliel Ble Gonzalez
Universidad Juarez Autonoma de Tabasco, DACB

En este trabajo se desarrolla el metodo homotopico de punto fijo y se da un cri-

terio para seleccionar una condicion inicial a partir de la cual es posible encontrar
un camino de homotopa que contiene todas las soluciones reales de un sistema de
ecuaciones no lineales.

In this paper the fixed-point homotopy method is developed and a criterion is given to
select an initial condition from which is possible to find a homotopy path containing
all real solutions of a systems of nonlinear equations.

Palabras clave: Sistemas de Ecuaciones no Lineales, Metodos Homotopicos, Homo-

topa de Punto Fijo.
Keywords: Systems of Nonlinear Equations, Homotopy Methods, Fixed-point Homo-
topy.

1. Introduccion

La necesidad de resolver sistemas de ecuaciones no lineales surge frecuentemente en

diversas areas de las ciencias basicas y aplicadas. Por ello, se han desarrollado diversos
metodos de convergencia local, como el metodo de Newton, los cuales permiten resol-
verlos bajo ciertas condiciones. Una de las desventajas que presentan estos metodos,
es que si la condicion inicial no se toma lo suficientemente cerca de la solucion bus-
cada, entonces el metodo puede diverger, aun cuando el sistema tenga solucion. Esto
ha llevado al desarrollo de metodos mas eficientes, con propiedades de convergencia
global, tales como los metodos homotopicos, [9, 10].

Si tenemos el sistema dado por

F (x) = 0, (1)

donde F : Rn Rk y k n, el metodo homotopico consiste en perturbar el

sistema (1) usando una funcion de apoyo G : Rn Rk y una homotopa entre F y
G, dada como

H(x, t) = tF (x) + (1 t)G(x). (2)

En este nuevo sistema, la funcion G se elige de tal manera que sus races son

* Recibido el 5 de diciembre de 2007 y aceptado el 10 de febrero de 2008

** Direccion postal: Carr. Cunduacan-Jalpa Km 1, Cunduacan Tabasco, Mexico. A.P. 24 C.P.
86690. Tel.(+52)914 336-0928. Correo electronico: marioarley83@hotmail.com
*** Direccion postal: Carr. Cunduacan-Jalpa Km 1, Cunduacan Tabasco, Mexico. A.P. 24 C.P.

86690. Tel.(+52)914 336-0928. Correo electronico: gble@ujat.mx

Revista de Ciencias Basicas UJAT, volumen 7 numero 1 (Junio 2008) p 314

4 Mario Arley Vidal Geronimo y Gamaliel Ble Gonzalez

conocidas. As, las soluciones del sistema (1) viven en el conjunto de nivel H 1 (0) y
corresponden a t = 1. Dado que H(x, 0) = G(x), la estrategia para encontrar una raz
de F consiste en tomar una raz x0 de G y seguir la curva homotopica (t) = H(x0 , t),
a lo largo de t hasta llegar a t = 1, donde se encuentra una raz de F . A priori, esta
trayectoria puede presentar ramificaciones y no alcanzar una solucion en t = 1, pero
si ambas funciones F y G, son funciones de clase C 2 , el teorema de Sard nos garantiza
que para casi cualquier condicion inicial x0 , la curva homotopica (t) alcanza en t = 1
una solucion del sistema (1), [3, 9].

1.1 Funciones de apoyo del metodo homotopico

De entre las posibles funciones de apoyo G para construir una homotopa, existen
algunas que por su simplicidad o porque han funcionado en la solucion de problemas
son las mas mencionadas en la literatura, por ejemplo:

1.1.1 Homotopa de punto fijo

La funcion de homotopa de punto fijo esta dada como

H := Hx0 = tF (x) + (1 t)(x x0 ). (3)

En este caso la funcion G(x) = x x0 .

1.1.2 Homotopa de Newton

La funcion de homotopa de Newton esta dada como

H := Hx0 = F (x) + (t 1)F (x0 ). (4)

Aqu, G(x) = F (x) F (x0 ).

1.1.3 Homotopa afn

La funcion de homotopa afn esta dada como

H := Hx0 = tF (x) + a(1 t)(x x0 ). (5)

Donde la funcion G(x) = a(x x0 ) y a es una constante.

Cuando el sistema (1) es polinomial, por el teorema de Bezout [1], podemos conocer
el numero maximo de races del sistema, por lo que algunos metodos toman como
funcion de apoyo a un polinomio G(x) con races simples y con el mismo grado que
F . A partir de las races de G se encuentran todas las races de F recorriendo las
diferentes trayectorias homotopicas [2].
En este trabajo analizaremos la homotopa de punto fijo (3) y presentaremos un
criterio que permite determinar un punto x0 Rn , a partir del cual podemos encon-
trar todas las soluciones del sistema (1) recorriendo una unica trayectoria.
Revista de Ciencias Basicas UJAT, 7(1)Junio 2008 p 314
Homotopa de punto fijo 5

2. Homotopa de punto fijo

Consideremos el sistema de ecuaciones no lineales (1) y definamos la funcion de

homotopa H : Rn R Rk como

H(x, t) = tF (x) + (1 t)G(x), (6)

donde las races de G son conocidas y a la funcion G(x) se le llama la funcion de

apoyo del metodo homotopico.
Dado x0 Rn , tal que H(x0 , 0) = G(x0 ) = 0, a la curva (t) = H(x0 , t) que vive
en el conjunto de nivel H 1 (0), se le llama curva homotopica.
El conjunto de nivel H 1 (0) puede contener curvas cerradas las cuales no inter-
secten al conjunto de races de G y por lo tanto, que no sean accesibles desde una
condicion inicial en t = 0, a estas curvas se les llama islas.
En el caso de la homotopa de punto fijo, unicamente se tiene como condicion
inicial a x0 , por lo que la eleccion de esta determinara si la curva homotopica que
pasa por x0 atravieza por las todas las soluciones o no.

2.1 Rol de la condicion inicial en la homotopa de punto fijo

En la homotopa de punto fijo la funcion de apoyo es G(x) = x x0 y

H(x, t) = (1 t)(x x0 ) + tF (x) = 0, t R. (7)

La ecuacion (7) se satisface en el punto de partida, t = 0, unicamente para x0 , por

lo que naturalmente surgen las siguientes preguntas: Como depende de x0 la curva
homotopica de H que pasa por x0 ? Cuando esta curva contiene todas las races
de F ? Para darnos una idea de las respuestas a estas preguntas, consideraremos el
siguiente ejemplo en una variable:
Sea

f1 (x) = x2 3x + 2 = 0, (8)

cuyas races son 1 y 2.

Si la ecuacion (8) es sustituida en la ecuacion (7), obtenemos

H(x, t) = t(x2 4x + 2 + x0 ) + (x x0 ) = 0, t R. (9)

En este caso, las curvas de nivel correspondientes a H(x, t) = 0, para un x0 fijo,

puede ser graficadas como mostramos en la figura 1 para seis valores diferentes de
x0 . Las curvas en la figura 1 representan los caminos de homotopa obtenidos para
diferentes valores de x0 , la interseccion del camino de homotopa con t = 0 co-
rresponde al punto de partida x0 y las intersecciones del camino de homotopa con
t = 1 proporcionan las races de f1 .
Revista de Ciencias Basicas UJAT, 7(1)Junio 2008 p 314
6 Mario Arley Vidal Geronimo y Gamaliel Ble Gonzalez

Figura 1. Curvas de nivel de H(x, t) = 0 para f1 .

En las figuras 1 (a) y 1 (b) mostramos el conjunto H 1 (0) para x0 = 2 y x0 = 0,

respectivamente. Podemos observar que existen tres ramas reales no acotadas y en
ambos casos, las dos races se localizan sobre una de las ramas que no puede ser
alcanzada desde el punto de partida. Este comportamiento tambien se presenta para
valores de x0 menores que 2.
Tomando x0 = 1, el cual es una de las dos races de f1 , la figura 1 (c) muestra
que el conjunto H 1 (0) consiste de cuatro ramas reales no acotadas con un punto
de bifurcacion en t = 0.5. Ambas races no pueden ser alcanzadas desde el punto de
partida x0 = 1, pues al llegar a la bifurcacion es necesario elegir un camino, lo cual
nos lleva a encontrar una sola raz.

Revista de Ciencias Basicas UJAT, 7(1)Junio 2008 p 314

Homotopa de punto fijo 7

Para x0 = 1.5, la figura 1 (d) muestra que H 1 (0) tiene tres ramas reales no
acotadas, pero solamente la raz x = 2 puede ser alcanzada desde el punto de partida
x0 = 1.5.
En la figura 1 (e), se muestra H 1 (0) para x0 = 2, la cual tiene tres ramas reales
no acotadas y ocurre que solo la raz igual a 2 puede alcanzarse desde el punto de
partida x0 = 2, aun cuando la recta x = 2 es una asntota para las otras dos ramas
de H 1 (0).
En la figura 1 (f) se muestra H 1 (0) para x0 = 4. Como puede observarse, en
este caso se tiene una sola rama real, la cual conecta todas las races. Por lo tanto,
ambas races pueden alcanzarse desde el punto de partida x0 = 4, sin tener que entrar
en una region aritmeticamente compleja y sin tener que recorrer una gran distancia
en t, como sera el caso para x0 = 2. Este mismo, comportamiento lo observamos
cuando tomamos valores de x0 mayores que 2. As, de los seis casos presentados en
este ejemplo, tenemos que una buena eleccion de x0 es tomarlo mayor que 2, ya que
esto garantiza que puedan encontrarse todas las races reales desde un solo punto de
partida.

En general, determinar una buena condicion inicial para aplicar el metodo ho-
motopico de punto fijo puede resultar complicado, por lo que en la siguiente seccion
daremos un criterio que permite hacer una eleccion adecuada de la condicion inicial
x0 , a la que representaremos como xc0 .

3. Criterio para seleccionar una adecuada condicion inicial

Con el proposito de encontrar todas las races del sistema (1) usando una ho-
motopa de punto fijo, damos el siguiente criterio para seleccionar xc0 dentro de un
infinito numero de posibles valores a elegir:
Sea

xc0 {x0 Rn : N (x0 ) = mnn N (y)}, (10)

yR

donde N (x0 ) es el numero de races reales de la ecuacion

F (x) x + x0 = 0. (11)

Este criterio esta basado en la observacion de las perturbaciones de F obtenidas

va la homotopa y ha sido verificado en muchos ejemplos para los cuales ha resultado
ser eficiente [5]. Es importante observar que cuando la condicion inicial x0 no es
seleccionada adecuadamente, puede que sea necesario, para encontrar todas las races:

1. Seguir un camino de homotopa que tenga un valor lmite en t = o x = ; para

ello reiniciamos el camino en el extremo opuesto de t o x, o

2. Recorrer una distancia infinita entre dos races consecutivas.

Revista de Ciencias Basicas UJAT, 7(1)Junio 2008 p 314

8 Mario Arley Vidal Geronimo y Gamaliel Ble Gonzalez

Por ejemplo, en las curvas mostradas para x0 = 2 en la figura 1 (a), si las

observamos en el plano real compactificado, estas forman un camino cerrado, pero
la distancia entre la condicion inicial x0 = 2 y las races es infinita. De igual ma-
nera, para x0 = 2, las curvas mostradas en la figura 1 (e), observadas en plano real
compactificado, tambien forman un camino cerrado, el cual no esta acotado tanto en
t como en x y cuya distancia entre la condicion inicial x0 = 2 y las races es infinita.
Por otro lado, para x0 = 4, en la figura 1 (f), o para cualquier otro valor de x0 mayor
que 2, se tiene una unica trayectoria homotopica, la cual pasa por todas las races.
Ademas, las races sobre la curva estan relativamente cerca una de la otra, por lo que
pueden ser rapidamente alcanzadas desde x0 .

3.1 Aplicacion del criterio a una ecuacion

Para conocer como funciona el criterio de seleccion de la condicion inicial, lo apli-

caremos a la ecuacion (8). Para ello, sustituimos f1 en la ecuacion (11), de modo que
obtenemos

x2 4x + 2 + x0 = 0. (12)

El objetivo es determinar el intervalo donde el numero de races de la ecuacion

(12) es mnimo.
Notemos que para x0 > 2, la ecuacion (12) no tiene races reales, por lo tanto, el
mnimo buscado es cero y se alcanza en este intervalo. Por otro lado, para x0 = 2,
la ecuacion (12) tiene una sola raz, la cual es x = 2, y por ultimo, para x0 < 2, la
ecuacion (12) siempre tiene dos races. Por ejemplo, cuando x0 = 1, las races son
1 y 3. Por lo tanto, las condiciones iniciales adecuadas se encuentran en el conjunto
{x0 R : x0 > 2}. Como se muestra en la figura 2.

Figura 2. Grafica de x f1 (x).

Revista de Ciencias Basicas UJAT, 7(1)Junio 2008 p 314

Homotopa de punto fijo 9

Cuando seleccionamos un punto de partida x0 tal que la ecuacion (11) no tiene

races reales, entonces todas las races reales de la ecuacion F (x) = 0 pueden ser
encontradas en una de las curvas de H 1 (0) que contiene a x0 y por lo tanto la
ecuacion puede resolverse recorriendo una sola trayectoria, siempre que el numero
de races reales de F (x) = 0 sea par. En el caso que se tenga mas de una ecuacion,
algunas veces sera necesario incluir un dominio complejo que conecte las races que
se encuentren en islas para alcanzar todas las races. Por otro lado, cuando F (x) = 0
tiene un numero impar de races, el numero de mnimo de races de la ecuacion
(11) puede ser mayor o igual a uno [5]. Es importante mencionar que en algunos
problemas puede ocurrir que sea mucho mas difcil determinar la region donde se
alcanza el mnimo de races para la ecuacion(11) que resolver F (x) = 0, por lo que
esto representa una debilidad del criterio.
Un ejemplo de una ecuacion con un numero impar de races reales es

f2 (x) = x3 6x2 + 11x 6 = 0, (13)

cuyas races son 1, 2 y 3.

Para este ejemplo, la ecuacion (11) se convierte en

x3 6x2 + 10x 6 + x0 = 0, (14)

de donde podemos despejar x0 y tener

x0 = x3 + 6x2 10x + 6. (15)

Para obtener el intervalo donde el numero de races reales de la ecuacion(14)

es mnimo, primero calculamos sus puntos crticos, los cuales son x1 = 2 + 13 6 y

x2 = 2 13 6. Despues sustituimos los valores de x1 y x2 en la ecuacion (15) y

obtenemos x10 = 2 + 49 6 y x10 = 2 49 6, los cuales corresponden a un maximo y a
un mnimo de la ecuacion (15), respectivamente, tal como se aprecia en la figura 3. De
este modo, obtenemos que el numeromnimo de races reales de la ecuacion (14) es
uno para x0 > 2 + 49 6 y x0 < 2 49 6. Por lo tanto, por el criterio de seleccion, las

condiciones iniciales adecuadas para este ejemplo son xc0 {x0 R : x0 > 2 + 94 6

o x0 < 2 49 6}.
El exito de la aplicacion del criterio para este ejemplo se muestra en la figura 4
para diversos valores de x0 .

Para los valores de x0 = 0.5, x0 = 0.8 y x0 = 3.5, figuras 4 (a), 4 (b) y 4 (h),
respectivamente, se observa que todas las races de f2 se encuentran sobre una misma
rama de la curva homotopica y pueden ser alcanzadas rapidamente desde la condicion
inicial.

Para x0 = 1 y x0 = 1.5, figuras 4 (c) y 4 (d), respectivamente, solamente se obtiene

una raz de f2 , la cual es x = 1, mientras que las otras dos races, x = 2 y x = 3, se
encuentran en otra rama de la curva homotopica, por lo que no pueden ser alcanzadas
desde la condicion inicial.
Revista de Ciencias Basicas UJAT, 7(1)Junio 2008 p 314
10 Mario Arley Vidal Geronimo y Gamaliel Ble Gonzalez

Figura 3. Grafica de x f2 (x).

Para x0 = 2, en la figura 4 (e) se observa que el camino se bifurca en tres ramas

las cuales se dirigen hacia cada una de las races de f2 , haciendo difcil alcanzar todas
las races, ya que en la bifurcacion se debe escoger una rama a seguir, por lo que solo
se alcanza una raz desde la condicion inicial x0 = 2.
Por ultimo, para x0 = 2.5 y x0 = 3, figuras 4 (f) y 4 (g), respectivamente, solamente
se alcanza una raz de f2 , la cual es x = 3, mientras que las otras dos races, x = 1 y
x = 2, se localizan en otra rama de la curva homotopica y no pueden ser alcanzadas
desde la condicion inicial.
En la siguiente subseccion presentaremos un ejemplo en el cual se aplica el criterio
de seleccion de la condicion inicial para resolver un sistema de ecuaciones no lineales
y mostraremos los resultados obtenidos.

3.2 Aplicacion del criterio a un sistema de ecuaciones

Consideremos el problema de encontrar todos los puntos crticos de la funcion de

Himmelblau

g(x) = (x21 + x2 11)2 + (x1 + x22 7)2 , (16)

definida en [7].
Los puntos crticos de g son las races del sistema de ecuaciones

g/x1 = 4x31 + 4x1 x2 42x1 + 2x22 14 = 0

(17)
g/x2 = 2x21 + 4x1 x2 + 4x32 26x2 22 = 0

Factorizando el sistema (17) obtenemos

f3 (x) = 2x31 + 2x1 x2 21x1 + x22 7 = 0

(18)
f4 (x) = x21 + 2x1 x2 + 2x32 13x2 11 = 0
Revista de Ciencias Basicas UJAT, 7(1)Junio 2008 p 314
Homotopa de punto fijo 11

Figura 4. Curvas de nivel de H(x, t) = 0 para f2 .

Lin y otros en 1987 obtuvieron todas las races reales del sistema (18), a partir de
una condicion inicial, x10 = x20 = 0.4, usando la homotopa de Newton [6]. Nosotros
vamos a resolver el sistema (18) usando la homotopa de punto fijo.

Revista de Ciencias Basicas UJAT, 7(1)Junio 2008 p 314

12 Mario Arley Vidal Geronimo y Gamaliel Ble Gonzalez

Aplicando el criterio de seleccion del punto de partida, dado por la ecuacion (11),
el sistema (18) se convierte en

2x31 + 2x1 x2 22x1 + x22 7 + x10 = 0

(19)
x21 + 2x1 x2 + 2x32 14x2 11 + x20 = 0

Resolviendo numericamente el sistema (19), para valores de x10 = x20 , obtenemos

que para valores de x10 = x20 21.736520 y para valores de x10 = x20 38.064263,
se obtiene el mnimo de races del sistema (19), el cual es uno. Por lo tanto, el criterio
nos dice que las condiciones iniciales sobre la diagonal de R2 , las cuales proporcionan
todas las soluciones del sistema (18), recorriendo una sola trayectoria, son las que
viven en el conjunto

{(x0 , x0 ) R2 : x0 21.736520 o x0 38.064263}.

Para ejemplificar el criterio de seleccion de la condicion inicial presentamos las cur-

vas correspondientes a la homotopa de punto fijo con condiciones iniciales
x10 = x20 = 50. Al hacer el seguimiento de las trayectorias usando el algoritmo
hiperesferico [4], se obtienen las 9 races reales del sistema (18), y las graficas obteni-
das se muestran en las figuras 5, 6 y 7. En el cuadro 1, mostramos los valores de las
soluciones correspondientes al sistema 18.

Figura 5. Grafica de x1 contra x2 del sistema (18).

Es importante mencionar que si se aplica la homotopa de punto fijo con condicio-

nes iniciales que no cumplen el criterio de seleccion, entonces no se logra obtener todas
las soluciones del sistema (18). Por ejemplo, para la condicion inicial x10 = x20 = 0
solamente se obtiene una raz, la cual es x1 = 3.000002, x2 = 2.000003. Nuevamente,
este ejemplo muestra la importancia de hacer una adecuada eleccion de la condi-
cion inicial para encontrar todas las soluciones del sistema sobre una misma curva
homotopica.
Revista de Ciencias Basicas UJAT, 7(1)Junio 2008 p 314
Homotopa de punto fijo 13

Figura 6. Curva homotopica del sistema (18) respecto a x1 para x10 = 50.

Figura 7. Curva homotopica del sistema (18) respecto a x2 para x20 = 50.

4. Conclusiones

Una de las ventajas que presenta el metodo homotopico de punto fijo sobre los
metodos de convergencia local es que para resolver sistemas de ecuaciones no li-
neales, solo requiere de una adecuada condicion inicial x0 para poder encontrar todas
las soluciones del sistema. Mientras que en un sistema con muchas races los otros
metodos requieren de mas de una condicion inicial para poder encontrar todas las
soluciones. De ah la importancia del criterio antes presentado, el cual nos permite
determinar una region en la cual podemos tomar la condicion inicial para el metodo

Revista de Ciencias Basicas UJAT, 7(1)Junio 2008 p 314

14 Mario Arley Vidal Geronimo y Gamaliel Ble Gonzalez

No. x1 x2
1 -3.77928 -3.28315
2 -3.07303 -0.08134
3 -2.80516 3.13127
4 0.08676 2.88420
5 -0.27088 -0.92317
6 -0.12790 -1.95380
7 3.58441 -1.84819
8 3.38515 0.07388
9 3.00001 2.00004
Cuadro 1. Soluciones reales del sistema (18) asociado a la funcion (16) para x10 = x20 = 50.

homotopico de punto fijo, garantizando que para esa condicion la curva homotopica
recorrera todas las soluciones.
Una desventaja que presenta este metodo es su implementacion computacional,
debido a la naturaleza de las trayectorias involucradas [8]. Por otra parte, el criterio
presentado en este trabajo tiene una desventaja debido a que en la practica, es posible
que sea mucho mas dificil determinar la region donde se alcanza el mnimo de races
para la ecuacion (11) que resolver F (x) = 0.

Referencias

[1] R. Hartshorne (1997); Algebraic Geometry. Springer-Verlag, New York, N.Y.

[2] K. Hazaveh, D. J. Jeffrey, G. J. Reid, S. M. Watt y A. D. Wittkopf (2003); An Explo-
ration of Homotopy Solving in Maple. Proceding, ascm2003, pp. 145-162.
[3] M. W. Hirsch (1997); Differential Topology. Springer-Verlag.
[4] H. Jimenez Islas (1988); Paquete Computacional para la Resolucion de Sistemas de
Ecuaciones Algebraicas no Lineales, mediante Homotopa con Seguimiento Hiperesferi-
co. Tesis de Maestra en Ingeniera Qumica. Departamento de Ingeniera Qumica.
Instituto Tecnologico de Celaya.
[5] M. Kuno y J. D. Seader (1988); Computing all Real Solutions to Systems of Nonlinear
Equations with a Global Fixed-point Homotopy. Ind. Eng. Chem. Res., 27(7), pp.
1320-1329.
[6] W. J. Lin, J. D. Seader y T. L. Wayburn (1987); Computing Multiple Solutions to
Systems of Interlinked Separation Columns. AIChE J., 33, pp. 886.
[7] G. V. Reklaitis, A. Ravindran y K. M. Ragsdell (1983); Engineering Optimization.
Wiley, New York, pp. 69.
[8] J. D. Seader, M. Kuno, W. J. Lins, S. A. Johnson, K. Unsworth, y J. W. Wiskin (1990);
Mapped Continuation Methods for Computing all Solutions to General Systems of
Nonlinear Equations. Computers Chem. Engng., 14(1) pp. 713-741.
[9] L. T. Watson (1979); A Globally Convergent Algorithm for Computing Fixed-points
of C 2 Maps. Appl. Math. Comput., 5, pp. 297-311.
[10] T. L. Wayburn y J. D. Seader (1987); Homotopy Continuation Methods for Computer
Aided Process Design. Computer Chem. Engng., 11, pp. 7-25.

Revista de Ciencias Basicas UJAT, 7(1)Junio 2008 p 314