Sie sind auf Seite 1von 58

MTODOS ITERATIVOS PTIMOS

PARA LA DETERMINACIN
DE RBITAS DE SATLITES

Javier Garca Maim

Directores:
Dr. Alicia Cordero Barbero
Dr. Juan Ramn Torregrosa Snchez

Trabajo Final de Master


Master Universitario en Investigacin Matemtica
Curso acadmico 2013-14
ndice general

ndice general 2

1. Introduccin 1

2. El problema de los dos cuerpos 4


2.1. Planteamiento del problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2.2. Integrales primeras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2.3. Ecuacin de la rbita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2.4. Clculo de la velocidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2.5. Elementos orbitales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

2.5.1. La esfera celeste y el sistemas ecuatorial de coordenadas . . . . . . . . . . . . . . . . 7

2.5.1.1. Coordenadas horizontales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

2.5.1.2. Coordenadas ecuatoriales horarias . . . . . . . . . . . . . . . . . . . . . . . . 7

2.5.1.3. Medicin del tiempo. Tiempo sidreo . . . . . . . . . . . . . . . . . . . . . . 7

2.5.2. La rbita en el plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

2.5.3. La rbita en el espacio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

2.6. Clculo de los elementos orbitales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

2.6.1. Series f y g . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

2.6.2. Mtodo de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

2.6.2.1. Relacin entre y y (E2 E1 ) . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

2.6.2.2. Solucin de las ecuaciones de Gauss . . . . . . . . . . . . . . . . . . . . . . . 15

3. Mtodos iterativos para la resolucin de ecuaciones 17


3.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

3.2. Orden de convergencia de un mtodo iterativo . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

3.2.1. ndice de eciencia de un mtodo iterativo . . . . . . . . . . . . . . . . . . . . . . . . . 17

3.2.2. Orden de convergencia computacional . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

2
NDICE GENERAL 3

3.2.3. El mtodo de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

3.3. Conceptos dinmicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

3.4. La familia de mtodos de King . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

3.4.1. Estudio de la dinmica de la familia de King . . . . . . . . . . . . . . . . . . . . . . . 21

3.4.2. Estabilidad de los puntos jos y planos de parmetros . . . . . . . . . . . . . . . . . . 23

3.4.3. Planos dinmicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

4. Mtodo modicado de determinacin preliminar de rbitas 27


4.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

4.2. Estudio dinmico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

4.2.1. Mtodo clsico de Gauss. Esquema de punto jo . . . . . . . . . . . . . . . . . . . . . 29

4.2.2. Mtodo de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

4.2.3. Familia de mtodos de King . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

4.2.3.1. Mtodo de Ostrowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

4.2.3.2. Mtodo correspondiente a = 4.5 . . . . . . . . . . . . . . . . . . . . . . . 34

4.2.3.3. Mtodo correspondiente a = 3.9 + 0.1i . . . . . . . . . . . . . . . . . . . . 36

4.2.3.4. Mtodo correspondiente a = 1 . . . . . . . . . . . . . . . . . . . . . . . . . 37

5. Conclusiones y lneas futuras 40

6. ANEXOS 42
6.1. Anexo 1: Operador racional del mtodo de King aplicado a la ecuacin unicada de Gauss . . 42

6.2. Anexo 2: Programa en MATLAB para calcular las cuencas de atraccin de un operador . . . 43

6.3. Anexo 3: Programa en MATLAB para calcular el plano de parmetros de un operador . . . 45

6.4. Anexo 4: Programa en MATLAB que implementa el mtodo de Gauss . . . . . . . . . . . . . 47

6.5. Anexo 5: Programa en MATLAB que implementa el mtodo de Gauss modicado . . . . . . 50

Bibliografa 54

Universidad Politcnica de Valencia


4 NDICE GENERAL

Universidad Politcnica de Valencia


 Since the mathematicians have invaded the theory of relativity, I do not
understand it myself any more.
Albert Einstein

Captulo 1
Introduccin

Unos aos atrs, cuando estaba estudiando la carrera de Fsica, haba en el programa una asignatura de
programacin y tcnicas numricas. Aunque a mi siempre me haba gustado la programacin, recuerdo que
esa asignatura no era precisamente de las ms populares entre los estudiantes. Para empezar la impartan
ingenieros electrnicos, que a pesar de que compartan muchas asignaturas con nosotros, lo que decan los
estudiantes de Fsica de ellos en aquel tiempo era que eran poco menos que "traidores de la ciencia pura". Lo
mismo pasaba con los mtodos numricos: tambin traidores incapaces de captar la dimensin analcamente
perfecta de la naturaleza, y usados por gente sin apenas manejo de la matemtica pura. Y decamos todas
estas cosas a pesar de que ramos la generacin que naci con el boom de la computacin personal, y que
la computacin llevaba casi 50 aos siendo ampliamente aplicada a la ciencia y a la ingeniera. Supongo
que unos jovenes estudiantes, que se crean en posesin de la verdad absoluta, no eran capaces de darse
cuenta de su ignoracia. Quizs el destino me tena reservada una sorpresa, y aqu estoy unos aos mas tarde
presentando esta tesis.

La gran mayora de problemas fsicos, y diciendo la gran mayoria quizs me quedo corto, no pueden resolverse
sin la ayuda de la computacin, y muchos de ellos tampoco sin la ayuda de los mtodos numricos. Los
problemas necesitan los mtodos numricos, pero tambin los mtodos numricos necesitan problemas reales
para poder ser aplicados, sino correramos el riesgo de construir bonitos esquemas que no tuvieran nalidad
prctica.

En este trabajo se trata de explicar un problema complejo. Un problema que ha sido ampliamente estudiado
a lo largo de los tiempos, tanto por su inters comercial como por causa de la insaciable curiosidad humana.
Este problema forma parte de la astronoma de posicin, y ms concretamente de la mecnica orbital, que
se aplica tanto al movimiento de la Luna alrededor de la Tierra, al de la Tierra alrededor del Sol, y tambin,
y es precisamente el caso que se estudia en esta tesis, al movimiento de los satlites alrededor de la Tierra.

La determinacin preliminar de rbitas consiste en obtener una descripcin lo ms exacta posible de la rbita
de un cuerpo celeste a partir de un determinado nmero de observaciones. Esta descripcin vendr expresada
en trminos de sus elementos orbitales, que nos permitirn prever las posiciones futuras del objeto. Dicha
determinacin se llevar a cabo bajo las premisas del problema de dos cuerpos, por lo que no se tendr en
cuenta ms fuerza que la mtua atraccin gravitatoria de ambos cuerpos. En el Captulo 2 se presenta el
formalismo matemtico del llamado problema de los dos cuerpos.

La mayora de los mtodos de clculo de rbitas tienen un elemento comn: la necesidad de hallar los ceros
de una funcin no lineal. Pretendemos introducir tcnicas ecientes de resolucin de este tipo de problemas
analizando la eciencia no slo en trminos del mtodo iterativo, sino en cuanto a la precisin, convergencia
y rango de efectividad del mtodo de determinacin de rbitas resultante.

Por otra parte, al tratar de aproximar las races de una funcin no lineal en el plano complejo, las cuencas
de atraccin se entrelazan entre si de tal forma que su frontera es un conjunto fractal. El mtodo iterativo
trabaja con el cuerpo de los complejos, pero si tomamos partes reales y partes imaginarias, podemos pensar
en l como un mtodo iterativo en R2 . Cada mtodo iterativo imprime su sea de identidad sobre el plano
complejo, dando lugar a diferentes cuencas de atraccin y, por tanto, a diferentes conjuntos de Julia en sus

1
2

respectivas fronteras. El anlisis de la dinmica de los diferentes mtodos aplicados en la determinacin de


rbitas nos va proporcionar informacin sobre su estabilidad, radio de convergencia, etc, lo que nos permitir
seleccionar el ms adecuado para cada problema. En el Captulo 3 se presentar el estado del arte del anlisis
dinmico de los mtodos iterativos para la resolucin de ecuaciones.

En el Captulo 4 se utilizarn mtodos de mayor orden de convergencia que el mtodo clsico, como son los
de la familia de King, para calcular rbitas preliminares y se analizar su comportamiento dinmico.

En el Captulo 5 se presentan las conclusiones a las que se ha llegado en el trabajo, y se detallan las lneas
futuras de investigacin que constituirn mi Tesis doctoral, cuyo punto de partida es este trabajo. En los
anexos podemos ver diversos programas que se han utilizado para los clculos que se muestran en esta tesis.
Finalmente, presentamos las referencias utilizadas en el desarrollo de esta memoria.

Universidad Politcnica de Valencia


Captulo 2
El problema de los dos cuerpos

2.1. Planteamiento del problema


En este captulo vamos a introducir el formalismo matemtico necesario para estudiar la interaccin gravi-
tatoria entre la Tierra y un satlite. La fuerza gravitatoria entre dos masas m1 y m2 viene dada por la ley de
Gm1 m2
gravitacin universal F = , donde G es la constante universal de gravitacin y r la distancia entre
r2
las masas. Adems esta fuerza tiene la direccin del radio vector que une dichas masas.

El problema de los dos cuerpos es importante no solamente porque se puede obtener su solucin analtica,
cosa que no es posible para n > 2, sino porque en muchas ocasiones un problema de n cuerpos desemboca
en un problema de dos cuerpos perturbado, que puede ser resuelto con tcnicas numricas a partir de la
solucin de los dos cuerpos.

La fuerza gravitatoria que acta sobre dos cuerpos es:


Gm1 m2
F~1 = ~r , F~2 = F~1 , (2.1)
r3
donde ~r es el vector de posicin de una masa respecto de la otra.

Vamos a resolver el problema suponiendo solamente la interaccin gravitatoria entre la Tierra y el satlite
en cuestin. Tomando un sistema de referencia inercial donde son vlidas las leyes de Newton, llamaremos
M a la masa de la Tierra y m a la del satlite y ~rM y ~rm a los vectores de posicin de la Tierra y del satlite,
respectivamente.

Dicha solucin ser un movimiento orbital que cumplir las Leyes empricas de Kepler :

Primera ley: Todos los planetas se desplazan alrededor del Sol describiendo rbitas elpticas.
El Sol se encuentra en uno de los focos de la elipse.
Segunda ley: El radio vector que une un planeta y el Sol barre reas iguales en tiempos iguales.
Tercera ley: Para cualquier planeta, el cuadrado de su periodo orbital es directamente propor-
cional al cubo de la longitud del semieje mayor de su rbita elptica.

En nuestro caso estas mismas leyes se cumplirn para el sistema Tierra-satlite. Aplicando la segunda ley
de Newton a dicho sistema obtenemos:

GM m
mr~m = ~r, (2.2)
r3
GM m
M r~M = ~r. (2.3)
r3

4
2. El problema de los dos cuerpos 5

Las ecuaciones (2.2) y (2.3) constituyen un sistema de ecuaciones diferenciales que se deber integrar para
encontrar las expresiones para ~rM y ~rm . Ntese que tenemos 12 incgnitas, ya que ~rM ,~rm ,~rM ,~rm son vectores
de 3 componentes. En nuestro caso es ms conveniente realizar un cambio de coordenadas y escribir las
ecuaciones en funcin del vector de posicin del centro de masas y del vector ~r, que ser el vector de posicin
del satlite respecto la Tierra. En este caso el centro de masas coincide prcticamente con el centro de la
Tierra ya que M  m, y adems para este problema no nos preocupa el movimiento del sistema Tierra-
satlite sino el movimiento relativo del satlite respecto a la Tierra.

Si sumamos las ecuaciones (2.2) y (2.3) y aplicamos el cambio de coordenadas propuesto obtenemos la
llamada ecuacin del movimiento relativo:


~r = 3 ~r, (2.4)
r

donde = G(M + m) GM , ya que M  m.

Para una deduccin ms detallada de esta ecuacin se puede consultar a Escobal en [1]. Nos queda entonces
integrar esta ecuacin para encontrar su solucin, que ser la posicin y velocidad del satlite. Necesitamos
dos condiciones iniciales, tpicamente sern la posicin y velocidad inicial del satlite.

2.2. Integrales primeras


Si escribimos la expresin del momento angular del movimiento:
~ = ~r ~v = ~r ~r,
L (2.5)

derivando obtenemos:
~
dL
= ~r 3 ~r = 0.
dt r

Podemos ver que tenemos un producto vectorial de ~r por un vector proporcional, por tanto paralelo, a l
mismo, que obviamente ser nulo. Si la derivada del momento angular se anula signica que el momento
angular es una constante del movimiento.
~ = ~r ~r = r~0 r~0 = L~0 .
L (2.6)
Hemos deducido una primera integral del movimiento, en realidad 3, ya que el momento angular es una
magnitud vectorial. Si multiplicamos los dos miembros de la ecuacin (2.6) escalarmente por ~r obtenemos:
~ ~r = 0.
L
En consecuencia, la trayectoria siempre estar contenida en un plano perpendicular a L ~ . Sin embargo L
~ es
constante, lo que signica que el plano de la rbita sera constante, es decir, que la rbita es plana. Tambin
se deduce de (2.6) que la velocidad areolar es constante, en efecto:
1 1~
v~ar = ~r ~v = L.
2 2
Si aplicramos este resultado a la rbita de la Tierra alrededor del sol tendramos precisamente la segunda
Ley de Kepler, que dice que el rea barrida en la unidad de tiempo por el radiovector ~r se mantiene constante.

A partir de la ecuacin (2.4) se deduce la integral de la energa multiplicando escalarmente ambos miembros
por ~v e integrando a continuacin:
1 m 1 m
mv 2 = E = mv02 , (2.7)
2 r 2 r0
donde la constante E representa la energa total del satlite en su movimiento alrededor de la Tierra y est
determinada por las condiciones iniciales. As, la energa total, suma de la energa cintica y de la potencial,
permanece constante.

Universidad Politcnica de Valencia


6 2.3. Ecuacin de la rbita

2.3. Ecuacin de la rbita


Multiplicando vectorialmente (2.4) y (2.5) obtenemos:

~ ~r = 3 L
L ~ ~r = 0,
r
  
d ~
(L ) = d ~r d L
~
r ~ ~r + ~r = 0,
dt dt r dt r

~ ~r + ~r = ~e,
L (2.8)
r

que nos conduce a:


~r 1~
~e = L ~v . (2.9)
r
El vector ~e es un vector constante llamado excentricidad, se puede comprobar que ~e esta contenido en el
plano de la rbita ya que L~ ~e = 0 y adems es adimensional. Veremos su interpretacin geomtrica en la
seccin siguiente.

Los vectores ~e y ~r estn contenidos en el plano de la rbita, formando un ngulo que llamaremos . Si
multiplicamos escalarmente los dos miembros de (2.8) por ~r tenemos:

~ ~v ) + r = ~r ~e = r e cos ,
~r (L

y por las propiedades del producto vectorial, al ser:


~ ~v ) = L
~r (L ~ (~r ~v ) = L2 ,

L y r estn relacionados por la ecuacin:


p
r= , (2.10)
1 + e cos
donde p = L2 / y se llama semilatus-rectum o semiparmetro.

Se puede ver que la ecuacin anterior representa la trayectoria en el plano de la rbita seguida por el satlite
en coordenadas polares (r, ). Esta trayectoria resulta ser una cnica donde la Tierra est en uno de los focos
y su excentricidad es e.
En = 0 el satlite se encuentra en el pericentro de la trayectoria, es decir, el punto ms cercano al foco. En
el caso que nos ocupa, cuando es la Tierra la que est en uno de los focos, ese punto se llama perigeo. De
manera que el vector ~e se dirige del foco ocupado de la cnica al pericentro . Si aplicamos este resultado a
la rbita de la Tierra alrededor del Sol, el pericentro se llama perihelio y tenemos exactamente la primera
ley de Kepler.

2.4. Clculo de la velocidad


Partiendo de la ecuacin (2.9) podemos escribir:
 
~r
~ =
~v L + ~e . (2.11)
r

Multiplicando vectorialmente la expresin (2.11) por L


~ y aislando ~v nalmente obtenemos:

~ ~r ~
~v = L + L ~e
L2 r L2
(2.12)
1 ~ ~r 1~
= L + L ~e,
p r p
que es la expresin para la velocidad de la rbita. Hemos calculado la posicin y la velocidad en funcin del
tiempo para nuestra rbita. Hemos resuelto por tanto el problema de los dos cuerpos de forma completa.

Universidad Politcnica de Valencia


2. El problema de los dos cuerpos 7

2.5. Elementos orbitales


Hemos visto que la trayectoria del satlite alrededor de la Tierra es una cnica. De todas las secciones
cnicas (elipse, parbola, hiprbola) la nica gura cerrada es la elipse. Sabamos por las leyes de Kepler que
la rbita terrestre es una elipse y hemos demostrado matemticamente que tambien lo ser la trayectoria de
nuestro satlite. En esta seccin vamos a estudiar los parmetros que denen una elipse y los elementos que
nos permitirn denir de manera precisa la rbita.

2.5.1. La esfera celeste y el sistemas ecuatorial de coordenadas


Durante el estudio de los movimientos aparentes de los cuerpos celestes es necesario, con uno u otro grado
de exactitud, determinar la posicin de stos en los momentos de las observaciones. Sin embargo, no hay
necesidad de conocer la distancia hasta ellos, ya que podemos suponer que todos los cuerpos se encuentran en
la supercie interna de cierta esfera de radio arbitrario. Por esto, las posiciones aparentes de los astros slo se
pueden determinar por las direcciones y sus posiciones mutuas, por los ngulos entre estas direcciones, o por
los arcos correspondientes de los crculos mximos de la esfera, de cuyo centro parten todas las direcciones.

Se denomina esfera celeste a la esfera imaginaria de radio arbitrario, con centro en un punto cualquiera del
espacio, en cuya supercie los astros se disponen tal y como se ven en el cielo en un instante dado desde este
punto del espacio. De este modo, el observador imaginario que se encuentra en el centro de la esfera celeste
debe ver la posicin de los astros en la supercie de sta exactamente en la misma posicin mtua en la que
el observador ve los astros reales en el cielo. Asimismo, la rotacin de la esfera celeste repite la rotacin de
la bveda celeste. La esfera celeste sirve para el estudio de las posiciones aparentes y movimientos de los
cuerpos celestes. Para ello, en su supercie se jan las lneas y puntos principales respecto a los cuales se
efectan de forma precisa las mediciones correspondientes.

2.5.1.1. Coordenadas horizontales

El plano de referencia de este sistema es el plano del horizonte matemtico NWSE, vese la Figura 2.1.
Los puntos de referencia para la denicin de las coordenadas son el cenit Z y el punto sur S del horizonte
matemtico, S. Si pretendemos medir la posicin de un astro M en la esfera celeste, una de las coordenadas
es la altura del astro sobre el horizonte h, que se mide desde el horizonte siguiendo un crculo mximo hasta
M y la otra se llama acimut A, y se mide desde el sur S sobre el plano del horizonte en direccin oeste. La
altura vara entre 90 y 90 y el acimut entre 0 y 360 . Estas coordenadas varan con el tiempo a causa de
la rotacin de la Tierra. As, para establecer las coordenadas horizontales de un astro necesitamos conocer
la hora de la observacin, la latitud del observador, su altura sobre el horizonte (o su distancia cenital) y su
acimut.

2.5.1.2. Coordenadas ecuatoriales horarias

En este sistema de coordenadas, como se puede ver en la Figura 2.2, el plano de referencia es el plano
del ecuador celeste, y el origen de coordenadas es el punto Q del ecuador celeste; las coordenadas son la
declinacin y el ngulo horario H . La declinacin se mide desde el ecuador celeste siguiendo un meridiano
hasta M, mientras que el ngulo horario se mide desde Q hasta el meridiano que pasa por M sobre el ecuador.
La declinacin varia entre 90 y 90 y el ngulo horario entre 0 y 24 horas.

2.5.1.3. Medicin del tiempo. Tiempo sidreo

La medicin del tiempo se basa en las observaciones de la rotacin diurna de la bveda celeste y del movi-
miento anual del Sol, es decir, en la rotacin de la Tierra sobre su eje y en la traslacin de sta alrededor
del Sol. La rotacin de la Tierra sobre su eje transcurre casi uniformemente, con un perodo igual al de

Universidad Politcnica de Valencia


8 2.5. Elementos orbitales

Figura 2.1: Coordenadas horizontales

Figura 2.2: Coordenadas ecuatoriales

la rotacin de la bveda celeste, que puede ser determinado por las observaciones con bastante exactitud.
Por esto, segn el ngulo de giro de la Tierra respecto a cierta posicin inicial se puede estudiar el tiempo
transcurrido. Como posicin inicial de la Tierra se toma el momento de la culminacin superior (o inferior)
de un punto elegido del cielo por un meridiano dado. Se llama culminacin de un astro al paso de ste por el
meridiano del lugar. Se llama meridiano del lugar al crculo mximo que pasa por Z , Z N y S . La duracin
0

de la unidad fundamental de tiempo, llamada da, depende del punto elegido del cielo. En Astronoma las
tres referencias que se toman son:

el equinoccio de primavera o punto Aries;


el centro del disco visible del Sol (Sol verdadero);
el sol medio, que es un punto cticio, cuya posicin en el cielo puede ser calculada tericamente para
cualquier lapso de tiempo.

Las tres distintas unidades de tiempo determinadas por estos puntos se denominan, respectivamente, das
sidreo, solar verdadero y solar medio, y el tiempo que se mide con estas unidades se denomina tiempo
sidreo, solar verdadero y solar medio, respectivamente. Para la medicin de grandes intervalos de tiempo se

Universidad Politcnica de Valencia


2. El problema de los dos cuerpos 9

utiliza otra unidad: el ao trpico, que es el intervalo de tiempo transcurrido entre dos pasos sucesivos del
centro del sol verdadero a travs del punto del equinoccio de primavera. El ao trpico contiene 365.2422
das solares medios. Debido al movimiento lento del punto del equinoccio de primavera al encuentro del Sol,
provocado por la precesin, el Sol se encuentra respecto a las estrellas en el mismo punto del cielo en un
intervalo de tiempo mayor que en el ao trpico en 20 minutos y 24 segundos. Este intervalo de tiempo se
denomina ao sidreo y contiene 365.2564 das solares medios.

Se denominan das sidreos (verdaderos) al intervalo de tiempo transcurrido entre dos culminaciones sucesivas
homnimas del equinoccio de primavera (punto Aries o punto vernal) en un mismo meridiano geogrco.

Se considera como comienzo del da sidreo en el meridiano dado, al momento de la culminacin superior del
punto del equinoccio de primavera. El tiempo transcurrido entre la culminacin superior del punto vernal
(verdadero) hasta cualquier otra posicin de ese punto, expresado en fracciones de da sidreo (en horas,
minutos y segundos sidreos), se denomina tiempo sidreo verdadero y se denota por s, tal y como se puede
ver en la Figura 2.3. El ngulo que girar la Tierra desde el momento de la culminacin superior del punto
Aries hasta cualquier otro momento, es igual al ngulo horario del punto del equinoccio de primavera en este
momento. Por consiguiente, el tiempo sidreo s en el meridiano dado, en cualquier momento, numricamente
es igual al ngulo horario del punto Aries H

Figura 2.3: Tiempo sidreo

2.5.2. La rbita en el plano


A continuacin describimos algunos de los parmetros, tanto escalares como vectoriales, que permiten situar
un cuerpo en una rbita elptica tal como se puede ver en la Figura 2.4.

a: semieje mayor,

b: semieje menor,

e: excentricidad,

: anomala verdadera. ngulo entre el perigeo y la posicin del satlite medido desde el foco,

E : anomala excntrica. ngulo medido desde el centro de la elipse que forma la proyeccin del satlite
sobre la circunferencia principal y el eje de la elipse.

Universidad Politcnica de Valencia


10 2.5. Elementos orbitales

Figura 2.4: Elementos orbitales en el plano orbital

Estos parmetros se relacionan entre si y con algunas de las magnitudes mencionadas en la seccin anterior
mediante las siguientes expresiones:
p p
r= , p = a(1 e2 ), b = a 1 e2 ,
1 + e cos
s
a(1 e2 ) a2 (1 e2 )
, v 2 = 2r a1 , sin =

r= ,
1 + e cos r(2a r)

donde es el ngulo que forman los vectores de posicin ~r y velocidad ~v , y r y v son sus mdulos
respectivamente.

Para determinar la posicin y la velocidad del satlite es necesario denir los siguientes parmetros:

n: movimiento medio
2
, n=
T
siendo T el tiempo que tarda el satlite en realizar una vuelta completa (periodo),
: poca de paso por el perigeo,
M: anomala media,
M = n(t ). (2.13)

La posicin y la velocidad quedan determinadas por:



x = r cos = a(cos E e), y = r sin = a sin E 1 e2 ,

na sin E na cos E 1 e2
x = vx = , y = vy = .
1 e cos E 1 e cos E

Las relaciones entre las anomalas se presentan en las siguientes expresiones:


cos E e
cos = ,
1 cos E
M = E e sin E , (2.14)
 
E A sin A sin E e
tan = = , A= .
2 1 + A cos 1 A cos E 1 + 1 e2
La ecuacin (2.14) se llama ecuacin de Kepler y ser parte fundamental de este trabajo como se ver en
los siguientes captulos de la memoria.

Universidad Politcnica de Valencia


2. El problema de los dos cuerpos 11

2.5.3. La rbita en el espacio


Hemos visto en las secciones anteriores que la rbita se puede denir de forma completa en
un plano. A pesar de eso, el movimiento del satlite tiene lugar en tres dimensiones, y por
lo tanto es conveniente denirlo en el espacio para facilitar el seguimiento del satlite des-
de una estacin. Describiremos como se comporta la rbita en un sistema ecuatorial geocntri-
co de coordenadas. Podemos observar algunos de los parmetros ms notables en la Figura 2.5.

Figura 2.5: Elementos orbitales en el espacio

N, N 0 : Nodos ascendente y descendente respectivamente. El plano orbital y el plano ecuatorial se


intersectan en la recta que une estos dos puntos y que se llama lnea de nodos.
: Equinoccio Vernal. Es el punto de la esfera celeste en que la trayectoria del Sol (eclptica) intersecta
con el ecuador celeste en el equinoccio de primavera. Se toma como orgen de ascensiones rectas y del
tiempo sidreo.
: Ascensin recta del nodo ascendente. Es el ngulo medido desde hasta N en el plano del ecuador.
i: Inclinacin de la rbita. Es el ngulo entre el plano ecuatorial y el plano orbital.
: Argumento del perigeo. Es el ngulo medido desde N hasta el perigeo en el plano del orbital.

Los parmetros angulares ( , i , ) junto con los escalares (a , e , ) reciben el nombre de elementos orbitales
o keplerianos y denen unvocamente la rbita del satlite.

2.6. Clculo de los elementos orbitales


En este apartado nos proponemos calcular los elementos orbitales o keplerianos a partir de la posicin y la
velocidad en un instante dado.
{~r, ~r } = {x, y, z, x, y, z} {, , i, a, e, } (2.15)

Semieje mayor de la elipse (a):


1
a= 2 2 . (2.16)
r v

Universidad Politcnica de Valencia


12 2.6. Clculo de los elementos orbitales

Excentricidad (e):
s v !
r(2a r) sin2 u ~r ~r
u 2
e= 1 = t 1 r + . (2.17)
a2 a a

Inclinacin (i):
Lz xy y x
cos i = = p . (2.18)
L a(1 e2 )

Ascensin recta del nodo ascendente ():

Lx y z z y
tan = = . (2.19)
Ly z x xz

Hasta ahora hemos visto que si tenemos la posicin y la velocidad del satlite en un instante podemos
calcular todos los parmetros de la rbita. El problema es que no se puede medir directamente la velocidad
instantnea del satlite. Sin embargo, podemos medir la posicin del satlite en dos instantes diferentes. As
que vamos a tomar como punto de partida esas dos posiciones para calcular la posicin y velocidad en un
instante y as poder denir los elementos orbitales:

~r 1 (t1 )
~r 1 (t1 )
{, , i, a, e, }
~
r2 (t2 ) r1 (t1 )
~

2.6.1. Series f y g

Si suponemos conocidos, en un cierto instante de tiempo t0 , los vectores ~r y ~r se puede demostrar (vese
Escobal [1]) que existen unos nicos escalares f y g tales que:

~ = f~r(t0 ) + g~r (t0 ).


r(t) (2.20)

Las expresiones de f y g se pueden deducir como series innitas de potencias. Eso complica mucho su clculo
y hace incmodo trabajar con dichas series. Sin embargo, en lo sucesivo utilizaremos una forma alternativa
de las series f y g , ms manejable que se conoce como forma cerrada de las funciones f y g,
a
f = 1 [1 cos(E E0 )],
r0
s
a3
g = (t t0 ) [(E E0 ) sin(E E0 )]. (2.21)

Conocidos f y g podemos calcular los elementos orbitales. El procedimiento a seguir se resume en el siguiente
esquema:


~
r 1 (t1 )
esquema f unciones ~
r 1 (t1 )
{, , i, a, e, }
~
r2 (t2 ) iterativo f, g
~
r1 (t1 )

Existen diferentes mtodos iterativos para encontrar las funciones f y g . Los ms utilizados son el mtodo
de Gauss, el mtodo de la anomala verdadera y el mtodo semilatus rectum. En este trabajo utilizaremos
el mtodo de Gauss.

Universidad Politcnica de Valencia


2. El problema de los dos cuerpos 13

2.6.2. Mtodo de Gauss


En el mtodo de Gauss el proceso iterativo trata de aproximar el valor del parmetro y , conocido como
relacin de Gauss de las reas o relacin sector a tringulo

Area sectorABC
y= . (2.22)
Area trianguloABC
Conocido y , vase la Figura 2.6, podemos calcular la diferencia de anomalas excntricas (E2 E1 ) y con

Figura 2.6: Relacin entre el rea del sector y el rea del tringulo

ello calcular f y g . Sabemos por las leyes de Kepler que en la rbita la velocidad a la que se barre el rea es
1 dAsector 1
constante, p, as que = p. Integrando esta expresin obtenemos:
2 dt 2
Z t2
1 1
Asector = p dt = p(t2 t1 ),
t1 2 2
mientras que el rea del tringulo es:
1 1
Atriangulo = base altura = r1 r2 sin(1 2 ),
2 2
de forma que si dividimos obtenemos y :

Asector p(t2 t1 )
y= = . (2.23)
Atriangulo r1 r2 sin(1 2 )

2.6.2.1. Relacin entre y y (E2 E1 )

A continuacin vamos a mostrar una relacin entre el parmetro y y la diferencia de anomalas excntricas
correspondiente a las posiciones ~r1 y ~r2 . Para ello, utilizaremos la diferencia de anomalas verdaderas, que
es conocida. Partiendo de la ecuacin de la cnica (2.10) tenemos:
p p
r= = 1 + e cos ,
1 + e cos r
particularizando para t1 y t2 y sumando:
 
1 1
r=p + = 2 + e(cos 1 + cos 2 ).
r1 r2
Utilizando las propiedades de los ngulos suma e introduciendo:
r = a(1 e cos E),
r cos = a(cos E e),

Universidad Politcnica de Valencia


14 2.6. Clculo de los elementos orbitales

llegamos a la expresin que relaciona y con la diferencia de anomalas verdaderas:


 
2 2 2 1
(t1 t2 ) sec
2
y2 =      , (2.24)
E2 E1 2 1
2r1 r2 r1 + r2 2 r1 r2 cos cos
2 2

que es lo que estbamos buscando. A continuacin denimos dos parmetros:


r1 + r2 1
l   ,
2 1 2
4 r1 r2 cos
2
(t1 t2 )2
m   3 ,
2 1
2 r1 r2 cos
2

y una variable:     
1 E2 E1 E2 E1
x= 1 cos = sin2 , (2.25)
2 2 4
para hacer ms manejable la ecuacin (2.24), que se reduce a:

m
y2 = , (2.26)
l+x

y que se conoce como Primera ecuacin de Gauss.

Los parmetros m y l se pueden calcular ya que slo dependen de los datos iniciales (r1 , r2 , (t2 t1 ), (2 1 ))
mientras que x es desconocido ya que depende de (E2 E1 ), necesitaremos por tanto una segunda ecuacin
para resolver el problema.

Para deducir esta segunda ecuacin partiremos de la ecuacin de Kepler:

Aplicando la denicin de anomala a la ecuacin de Kepler (E = E2 E1 ):



M = E e sin E
n(t ) = E e sin E,
M = n(t )

particularizando para t1 y t2 y restando ambas expresiones:

n(t1 t2 ) = (E2 E1 ) sin(E2 E1 ).

Desarrollando el seno y despus de varias manipulaciones (que se pueden ver en detalle en Escobal [1])
nalmente obtenemos:

y 2 (y 1) = mX , (2.27)

donde:
E2 E1 sin(E2 E1 )
X   . (2.28)
3 E2 E1
sin
2

La ecuacin (2.27) recibe el nombre de Segunda ecuacin de Gauss

As pues, con las dos ecuaciones de Gauss tenemos dos ecuaciones y dos incgnitas, y y (E2 E1 ), ya que
m y l son constantes, y x y X dependen nicamente de (E2 E1 ). En la siguiente seccin veremos como
podemos encontrar el valor de y mediante un mtodo iterativo. Una vez calculado y podemos calcular el

Universidad Politcnica de Valencia


2. El problema de los dos cuerpos 15

semieje mayor de la elipse (a) y calcular las funciones f y g. Ahora podemos utilizar las expresiones cerradas
de f y g ya que conocemos el semieje mayor de la elipse y la diferencia de anomalas:
a
f = 1 [1 cos(E2 E1 )] ,
r1
s
a3
g = (t2 t1 ) [(E2 E1 ) sin(E2 E1 )] .

Esto nos permite calcular:


r~2 = f r~1 + g r~1 ,
donde todo es conocido excepto r~1 , y as tenemos:

r~2 f r~1
r~1 = .
g
De este modo tenemos la rbita totalmente determinada.

2.6.2.2. Solucin de las ecuaciones de Gauss

Podemos resolver las ecuaciones de Gauss como un sistema de ecuaciones, o podemos sustituir y 2 de la
primera ecuacin de Gauss (2.26) en la segunda (2.27), de forma que se obtiene:

y = 1 + X(l + x) . (2.29)

Conocidos r~1 , r~2 y (t2 t1 ) podemos calcular m y l. Si ahora hacemos una primera aproximacin de la
relacin sector a tringulo, y 1, la primera ecuacin de Gauss nos proporciona un valor para x:
m
x= l m l. (2.30)
y2

De la denicin de x (2.25) tenemos:


 
E2 E1
cos = 1 2x, (2.31)
2

(E2 E1 ) (E2 E1 )
y dado que est acotado en el intervalo 0 < < tenemos determinado unvocamente
2 2
(E2 E1 ) y calcular X a partir de su denicin (2.28). Ahora llevando las ecuaciones (2.30) y (2.28) a la
(2.29) se obtiene:
y = 1 + X(l + x) , (2.32)
que nos proporcionar una mejor aproximacin de y , que podemos llevar a la ecuacin y repetir el proceso
iterativamente formando un bucle que nos permita calcular y de forma tan precisa como se desee.

En el Anexo 4 podemos ver una implementacin en MATLAB del mtodo de Gauss. En este trabajo nos
propondremos modicar el mtodo iterativo original utilizando diferentes mtodos numricos.

Universidad Politcnica de Valencia


Captulo 3
Mtodos iterativos para la resolucin de
ecuaciones

3.1. Introduccin
La resolucin de ecuaciones no lineales juega un importante papel en numerosas ramas de la ciencia y la
tecnologa, es adems una de las reas del Anlisis Numrico de mayor auge en los ltimos aos.
El problema consiste en encontrar la solucin de ecuaciones de la forma f (z) = 0 donde, en general, f :
C C, siendo C el cuerpo de los nmeros complejos. La mayora de esquemas iterativos son mtodos de
punto jo, es decir, consisten en sustituir una aproximacin inicial en el operador correspondiente al mtodo
iterativo, para encontrar una nueva estimacin de la raz, y as ir sustituyendo los resultados sucesivamente
en el operador para obtener una sucesin que, bajo ciertas condiciones, converger al valor de la raz

zn+1 = G(zn ), n = 0, 1, 2, ... (3.1)

El operador G se llama funcin de punto jo y obviamente el valor terico de la raz, , cumplir que
= G(), es decir, ser un punto jo de la funcin G. Por tanto, podemos denir un punto jo como aquel
que satisface la ecuacin G(z) = z .

3.2. Orden de convergencia de un mtodo iterativo


Un concepto muy importante a la hora de estudiar los distintos mtodos iterativos es su orden de conver-
gencia, que nos proporciona una medida de la velocidad a la que la sucesin converge hacia la raz. Si

M > 0, k0 N tales que |zk+1 | < M |zk |p , k k0 ,

entonces p se llama orden de convergencia del mtodo iterativo. De este modo los mtodos con mayor orden
de convergencia convergen ms rpido al valor de la raz. Si p = 1 y 0 < M < 1 se dice que la sucesin
converge linealmente a la raz, si p = 2 se dice que la convergencia es cuadrtica, y as sucesivamente.

3.2.1. ndice de eciencia de un mtodo iterativo


Podemos denir un ndice de eciencia para los mtodos iterativos. En general, la eciencia no depende
solamente del orden de convergencia p sino tambin del nmero de evaluaciones funcionales por iteracin
que se requieren d:
I = p1/d .

17
18 3.2. Orden de convergencia de un mtodo iterativo

Este ndice fue propuesto por Ostrowski en [3].

Por otra parte el ndice:


C = p1/(op) ,

recibe el nombre de ndice de eciencia computacional y fue propuesto por Traub en [7], op es el nmero de
operaciones (productos/cocientes) en cada iteracin.

Kung y Traub en [5] establecen que un mtodo iterativo es ptimo si realizando d evaluaciones funcionales
por iteracin se obtiene una convergencia de orden 2d1

Conjetura de Kung-Traub: El orden de convergencia de cualquier mtodo multipaso sin memoria no


puede superar 2d1
(llamado orden ptimo), donde d es el nmero de evaluaciones funcionales por iteracin,
(d1)/d
con ndice de eciencia 2 (llamado ndice ptimo)

3.2.2. Orden de convergencia computacional


El orden de convergencia es utilizado para comparar la velocidad a la que convergen a la raz los diferentes
mtodos iterativos. Podemos denir un orden de convergencia computacional analizando a que velocidad se
acercan a la raz las sucesivas aproximaciones:

ln(|xk+1 |)/(|xk |)
= , (3.2)
ln(|xk |)/(|xk1 |)

se llama orden de convergencia computacional o en ingls: Computational order of convergence (COC)

Si observamos su denicin en (3.2) podemos ver que es necesario el conocimiento de la raz, , para calcularlo.
Ya que es precisamente esa raz la que tratamos de aproximar, esta denicin no tiene aplicacin prctica.
Por eso ha sido propuesto por Cordero y Torregrosa en [11] una denicin que tiene en cuenta los valores de
las tres ltimas aproximaciones de la raz para estimar el orden de convergencia:

ln(|xk+1 xk |)/(|xk xk1 |)


p = ,
ln(|xk xk1 |)/(|xk1 xk2 |)

donde se llama Orden de convergencia computacional o en ingls: Aproximated computational order of


convergence (ACOC).

3.2.3. El mtodo de Newton


El mtodo numrico ms popular para la resolucin de ecuaciones no lineales es el mtodo de Newton. Su
frmula iterativa es la siguiente:
f (xn )
xn+1 = xn 0 . (3.3)
f (xn )

La interpretacin geomtrica de este mtodo, como se puede ver en la Figura 3.1, es la siguiente: en cada
etapa k , el valor xk+1 corresponde a la abscisa del punto de corte con el eje OX de la recta tangente a
la curva y = f (x) en el punto (xk , f (xk )). Esta interpretacin geomtrica justica que este mtodo reciba
tambin el nombre de mtodo de la tangente.

El anlisis de la convergencia local del mtodo de Newton se puede llevar a cabo utilizando el desarrollo en
serie de Taylor. La idea es desarrollar los trminos que aparecen en la frmula iterativa, en este caso f (x) y
f 0 (x), en serie de potencias.

Universidad Politcnica de Valencia


3. Mtodos iterativos para la resolucin de ecuaciones 19

Figura 3.1: Interpretacin geomtrica del Mtodo de Newton

El desarrollo en serie de Taylor de la funcin f (x) alrededor de la raz y evaluado en la aproximacin xn


es:
f 00 ()
f (xn ) = f () + f 0 ()(xn ) + (xn )2 + O[(xn )3 ],
2
al ser la raz entonces f () = 0 y si llamamos en = xn error de la iteracin n entonces obtenemos:
f 00 () 2
f (xn ) = f 0 ()en + en + O[e3n ].
2
Sacando factor comn f 0 () obtenemos:
1 f 00 () 2
f (xn ) = f 0 ()[en + e ] + O[e3n ].
2 f 0 () n
1 f 00 ()
Si ahora denimos c2 = y hacemos el mismo desarrollo para f 0 (xn ) obtenemos:
2 f 0 ()

f (xn ) = f 0 ()(en + c2 e2n ) + O[e3n ],


f 0 (xn ) = f 0 ()(1 + 2c2 en ) + O[e2n ],

donde como hemos denido en = xn es la diferencia entre el valor exacto y el valor aproximado de la
raz en la iteracin n, es decir el error en dicha iteracin. Introduciendo estos desarrollos en la ecuacin (3.3)
obtenemos:

en+1 = c2 e2n + O[e3n ].

Podemos observar que el primer trmino que aparece en la ecuacin del error es el cuadrtico, as que el
orden de convergencia del mtodo de Newton es 2.

3.3. Conceptos dinmicos


El anlisis de la dinmica de un mtodo se est convirtiendo en una tendencia en las ltimas publicaciones
sobre mtodos iterativos, ya que nos permite clasicar las diferentes frmulas iterativas no solamente desde
el punto de vista de su orden de convergencia, sino tambin analizando como se comportan dichas frmulas
en funcin de la estimacin inicial que se tome. Adems, nos proporciona informacin valiosa acerca de la
estabilidad y abilidad del mtodo iterativo.

Universidad Politcnica de Valencia


20 3.3. Conceptos dinmicos

Denicin 3.3.1 Un punto jo es aquel que se mantiene invariante por el operador G. Podemos clasicar
los diferentes puntos jos segn el comportamiento del operador derivada sobre ellos, as, un punto jo z
puede ser:

Atractor, si |G0 (z )| < 1;

Superatractor, si |G0 (z )| = 0;

Repulsor, si |G0 (z )| > 1; y

Parablico o indiferente, si |G0 (z )| = 1

Todas las races de una ecuacin sern, naturalmente, puntos jos del operador G. Sin embargo, pueden
aparecer puntos jos que no correspondan a ninguna raz, estos puntos se llaman puntos jos extraos.
Estos puntos no son deseables desde el punto de vista numrico porque cuando tomemos una estimacin
inicial que est cerca de un punto jo extrao, existe la posibilidad de que el mtodo numrico converja a l,
o sea a un punto que no es una solucin. Los puntos jos extraos aparecen a menudo cuando analizamos
los mtodos iterativos y su presencia puede ser muestra de inestabilidad de dicho mtodo.

Denicin 3.3.2 Un punto crtico de un operador G es un punto z para el que su derivada se anula, es
0
decir, G (z ) = 0.

Cuando aplicamos los metodos iterativos sobre polinomios, los puntos jos correspondientes a las races del
polinomio son tambin puntos crticos siempre que el mtodo sea de orden al menos 2. Sin embargo, pueden
aparecer puntos crticos que no sean puntos jos, esos puntos se llaman puntos crticos libres.

Denicin 3.3.3 La rbita de un punto


x0 es la sucesin de puntos x0 , x1 , ..., xn del plano complejo por
los que ha pasado el mtodo iterativo hasta llegar a la solucin aproximada xn .

Denicin 3.3.4 La cuenca de atraccin de un atractor z es el conjunto de preimgenes de cualquier


orden: A(z) = {z0 C : Rn (z0 ) z, n }

As pues, las cuencas de atraccin son el conjunto de todas las rbitas posibles de un atractor, y nos indican
las regiones de convergencia de un mtodo iterativo. En la Figura 3.2 podemos ver las cuencas de atraccin
del mtodo de Newton aplicado a la funcin f (z) = z 2 1.

Figura 3.2: Cuencas de atraccin

La ecuacin tiene dos soluciones, z1 = 1 y z2 = 1, en color naranja podemos ver la cuenca de atraccin de
z1 , y en azul la de z2 .

Universidad Politcnica de Valencia


3. Mtodos iterativos para la resolucin de ecuaciones 21

Un resultado clsico de Fatou y Julia, como se puede ver en Devaney [8], es que en toda cuenca de atraccin
hay al menos un punto crtico.

El conjunto de todas las cuencas de atraccin se llama conjunto de Fatou, F , y su complementario en la


esfera de Riemann, es decir, la frontera entre las componentes conexas de las cuencas de atraccin, se llama
conjunto de Julia, J .

El plano de parmetros es una representacin que nos permite estudiar la estabilidad de los miembros de
una familia de mtodos iterativos, discriminando aquellos que son especialmente estables. Consiste en iterar
la funcin de punto jo que describe el mtodo en cuestin, tomando como estimacin inicial un punto crtico
libre sobre un plano donde se denen los valores posibles del parmetro, el eje de abscisas corresponde a su
parte real y el de ordenadas a su parte imaginaria.
Las regiones en negro en el plano son valores del parmetro para el que el mtodo no converge a una raz,
mientras que la gradacin de colores indica la diferencia entre el numero de iteraciones necesarias para llegar
a alguna de las races.

3.4. La familia de mtodos de King


Se llama familia de mtodos de King a todos los mtodos de la forma:

f (zk ) + (2 + )f (yk ) f (yk )


zn+1 = yk ,
f (zk ) + f (yk ) f 0 (zk )

donde
f (zk )
yk = zk .
f 0 (zk )

La familia, denida por King en [9], depende del parmetro , as que tenemos tantos mtodos diferentes
como valores de . Cuando = 2 obtenemos el ya conocido mtodo de Ostrowski.

Los mtodos de la familia de King tienen orden de convergencia local 4, para ciertas condiciones sobre la
funcin f y la aproximacin inicial z0 , como se puede ver en [9].

3.4.1. Estudio de la dinmica de la familia de King


El operador racional asociado a la famlia de King es el siguiente:

f (z) + (2 + )f (y) f (y)


Gf, (z) = y , (3.4)
f (z) + f (y) f 0 (z)

donde y es el iterado de Newton

f (z)
y=z .
f 0 (z)

Vamos a analizar la estabilidad de los puntos jos asociados a la familia de King, actuando sobre polinomios
cuadrticos p(z) = z 2 + c.

El Teorema del Escalado, demostrado por Amat et al. en [6] para la familia de King, permite equiparar el
comportamiento dinmico de un sistema con el asociado a otro, diferenciados por una aplicacin afn.

Teorema 3.4.1 (Teorema del escalado) Sea f (z) una funcin analtica en la esfera de Riemann y T (z) =
z + una aplicacin afn. Si g(z) = (f T )(z), entonces (T Gg, T 1 ) = Gf, (z), es decir, Gf, es
analticamente conjugada a Gg, mediante T .

Universidad Politcnica de Valencia


22 3.4. La familia de mtodos de King

Teorema 3.4.2 Sea p(z) = a1 z 2 + a2 z + a3 ,


con a1 6= 0 un polinomio cuadrtico genrico con races
2
simples entonces mediante una transformacin afn de coordenadas, p(z) se reduce a q(z) = z + c, donde
2
c = 4a1 a3 a2 Esta aplicacin afn proporciona una conjugacin entre Gq, y Gp, .

Aplicando el Teorema del escalado y este ltimo resultado, para estudiar el comportamiento de la familia
de King sobre cualquier polinomio cuadrtico, es suciente hacerlo sobre p(z) = z 2 + c. Si sustituimos f (z)
por el polinomio p(z) en el operador denido en (3.4) obtenemos el siguiente operador racional:

c3 (2 + ) + 3cz 4 (10 + ) + z 6 (10 + 3) c2 z 2 (10 + 7)


G,c (z) = , (3.5)
8z 3 (c + z 2 (4 + ))
que depende
de los parmetros y c. Para eliminar el parmetro c utilizamos la transformacin de Moebius
zi c
h(z) = cuyas propiedades son:
z+i c


i)h() = 0, ii)h(i c) = 0, iii)h(i c) = .

La expresin del operador despus de la transformacin es:



z 4 5 + z 2 + 2 + z(4 + )
Op(z, ) = , (3.6)
1 + z(4 + ) + z 2 (5 + 2)
que ya no depende de c.

Ahora procederemos a estudiar los puntos jos de esta funcin. Los puntos jos cumplen la condicin Op(z) =
z . Los puntos jos son z = 0 y z = que son las races del polinomio p(z) despus de la transformacin de
Moebius. Pero adems aparecen unos puntos jos extraos. Estos son:

z = 1,

z1 = A1 B1 1
2 C1 D 1 , z3 = A1 + B1 1
2 C1 + D1 ,

z2 = A1 B1 + 1
2 C1 D 1 , z4 = A1 + B1 + 1
2 C1 + D1 ,

donde

A1 = 14 (5 ), C1 = 12 3 + 21 (5 + )2 ,

8(5 + ) (5 + )3 + 4(5 + )(10 + 3)


D1 = .
2,
1
p
7 2 +
p
B1 = 4 2 7 2 + 2

Lema 3.4.1 El nmero de puntos jos extraos del operador Op(z, ) es 5 excepto en los casos:

i) si = 2 , z1 = z2 = 1 y hay 4 puntos jos extraos, uno de ellos con multiplicidad 2.

10
ii) si = 3 hay 4 puntos jos extraos simples.

iii) si = 1 2 2, z1 = z3 , z2 = z4 . Hay solo 3 puntos jos extraos, dos de ellos dobles.

iv) si = 22
5 , z3 = z4 = 1 y hay 3 puntos jos extraos.

v) si = 5 entonces z1 = z4 y z2 = z3 y

8
vi) si = 3 entonces z3 = z4 .

Lema 3.4.2 Los puntos crticos del operador Op(z, ) son:

Universidad Politcnica de Valencia


3. Mtodos iterativos para la resolucin de ecuaciones 23

z=0 y z= (corresponden a la transformacin de Moebius de las races del polinomio)

z = 1,
p
20 + 14 + 3 2 +
3 (80 + 84 + 28 2 + 3 3 )
z1= ,
20 + 8
p
20 14 3 2 + 3 (80 + 84 + 28 2 + 3 3 ) 1
z2 = = .
20 + 8 z1

Los tres ltimos son puntos crticos libres. Podemos observar que, aunque en general hay tres crticos libres,
para = 2 no hay crticos libres y para = 25 solo hay un crtico libre, que es z = 1.

Teorema 3.4.3 Los puntos jos z=0 y z= son superatractores independientemente del valor de , y
para z=1 se obtienen los siguientes resultados:

i) Atractor si | + 226
55 | < 16
55 en particular superatractor si = 4.

ii) Parablico si | + 226


55 | = 16
55 .

iii) Repulsor si | + 226


55 | > 16
55 .

Teorema 3.4.4 Los puntos jos extraos z1 y z2 son:


i) Atractores si 1.83917 < < 1 2 2 1 + 2 < < 3.96186.

ii) Parablicos si = 1 + 2, 1.83917, 3.96186.

iii) Repulsores para valores de diferentes de los anteriores.

Teorema 3.4.5 Los puntos jos extraos z3 y z4 son:

i) Atractores si 4.97983 < < 225 y superatractores si 14.7034

ii))
q
Parablicos si = 1 2 22 22
5 , 4.97983 5 .

iii) Repulsores para valores de diferentes de los anteriores.

3.4.2. Estabilidad de los puntos jos y planos de parmetros


En las Figuras 3.3a y 3.3b vemos una representacin tridimensional de la regin de estabilidad de z1 y z2 ,
y z3 y z4 respectivamente. En el eje z se representa la funcin de estabilidad, que se dene como el valor
absoluto del operador derivada en el punto jo extrao, es decir |Op0 (z , )|, mientras que en el plano XY
tenemos las partes reales e imaginarias del parmetro . De esta manera, la representacin tridimensional
de la funcin de estabilidad nos permite identicar las regiones del plano donde dicho punto jo extrao es
atractor o superatractor.

El comportamiento del punto jo se puede determinar segn el valor de la funcin de estabilidad:

Atractor si |Op0 (z , )| < 1,

Indiferente si |Op0 (z , )| = 1,

Repulsor si |Op0 (z , )| > 1.

Universidad Politcnica de Valencia


24 3.4. La familia de mtodos de King

(a) Estabilidad de z1,2 (b) Estabilidad de z3,4

Figura 3.3: Regiones de estabilidad

Utilizando un programa implementado en MATLAB, que tiene como base los algoritmos desarrollados en
[10], y que se puede ver en el Anexo 3, se ha calculado el plano de parmetros correspondiente a la familia
de King actuando sobre el polinomio p(z). En la Figura 3.4a se puede ver el plano de parmetros que se
obtiene tomando como punto inicial z = 1 y en la Figura 3.4b tomando cualquiera de los crticos libres
z1 o z2 , ntese que z2 = 1/z1 , por lo que los dos crticos libres no son independientes y dan lugar al mismo
plano de parmetros.

(a) Plano de parmetros P1 para z = 1 (b) Plano de parmetros


P2 para z = z1,2

Figura 3.4: Planos de parmetros

Los puntos del plano complejo que aparecen en negro en los planos de parmetros de la Figura 3.4 corres-
ponden a valores del parmetro cuyo mtodo iterativo asociado no converge a 0 ni a tomando como
estimacin inicial un crtico libre. Es decir, mtodos iterativos pertenecientes a la familia de King para los
cuales hay, al menos, tres cuencas de convergencia. Hay, por tanto, al menos una regin de atraccin que no
corresponde a ninguna de las soluciones.

En lo sucesivo vamos a centrar nuestra atencin en el plano P2 , correspondiente a los puntos crticos z1,2

y
vamos a representar planos dinmicos para algunos valores de .

3.4.3. Planos dinmicos


En el plano dinmico de la Figura 3.5 podemos ver las cuencas de atraccin correspondientes a = 4.5,
es decir, estamos en el extremo izquierdo de la Figura 3.4b.

Despus de la transformacin de Moebius, las dos races de p(z) estn z = 0, cuenca de color naranja, y
z = , cuenca de color azul. Tambin podemos observar puntos de color negro que indican que el mtodo

Universidad Politcnica de Valencia


3. Mtodos iterativos para la resolucin de ecuaciones 25

converge hacia un punto jo que no es una raz, o una rbita peridica, tal y como se puede observar en la
Figura 3.5.

Figura 3.5: Plano dinmico para = 4.5

En la Figura 3.7 podemos ver las cuencas de atraccin correspondientes a = 3.9 + 0.1i, en este caso en
el extremo derecho de la Figura 3.4b. Podemos ver un detalle de esa regin en la Figura 3.6. En este caso
podemos observar que hay una rbita peridica de periodo 3.

Figura 3.6: Detalle del extremo derecho del plano P2

Figura 3.7: Plano dinmico para = 3.9 + 0.1i

Desde el punto de vista numrico, podemos concluir que hay valores de que son ms estables que otros
cuando los aplicamos a un polinomio de grado 2. Ms estable, en este contexto, signica que presentan un
plano dinmico sin cuencas de atraccin asociadas a puntos jos extraos u rbitas peridicas. Por tanto,
no todos los mtodos de la familia de King son ecaces en este caso.

Universidad Politcnica de Valencia


Captulo 4
Mtodo modicado de determinacin preliminar
de rbitas

4.1. Introduccin
En este captulo proponemos una modicacin del mtodo clsico de Gauss de determinacin de rbitas
preliminares. Dicha variacin permitir aumentar la velocidad de convergencia del mtodo, disminuyendo
por tanto el nmero de iteraciones y el tiempo de computacin, manteniendo amplias regiones de estimaciones
iniciales viables. En particular, se sustituir proceso de punto jo del mtodo original (vase el Captulo 2),
por diferentes mtodos de la familia de King, observando su comportamiento tanto desde el punto de vista
dinmico como numrico, para diferentes dispersiones de las observaciones reejadas en las diferencias de
anomalas verdaderas. Adems, se va a presentar un estudio dinmico de dichos mtodos sobre la ecuacin
unicada de Gauss, en el plano complejo, lo que permitir conocer la amplitud de las cuencas de convergencia
en los diferentes casos.

El punto de partida sern las ecuaciones de Gauss que ya se mostraron en el Captulo 2:

m
y2 = , (4.1)
l+x
y 2 (y 1) = mX, (4.2)

donde y es la relacin del rea sector a tringulo (vase la Figura 2.6). Del mismo modo que en el Captulo
2, podemos sustituir y 2 de la ecuacin (4.1) en la (4.2) para obtener la ecuacin unicada de Gauss:
y = 1 + X(l + x). (4.3)

El algoritmo para resolver la ecuacin (4.3) consiste en los siguientes pasos:

1. Partiendo de una estimacin inicial de y de la ecuacin (4.1) podemos escribir:


m
x = 2 l.
y
2. Con este valor de x calculamos la diferencia de anomalas verdaderas mediante la expresin (2.31):
E2 E1 = 2 arc cos(1 2x). (4.4)

3. Calculamos el valor de X utilizando la expresin (2.28),


E2 E1 sin(E2 E1 )
X=   .
3 E2 E1
sin
2

27
28 4.2. Estudio dinmico

4. Finalmente sustituimos X en la ecuacin (4.3) para obtener un nuevo valor de y .

Siguiendo estos pasos se obtiene:


 h  i h h  ii
m 2 arc cos 1 2 l + ym2 sin 2 arc cos 1 2 l + m
y2
y =1+ , (4.5)
   2 3/2
1 1 2 l + ym2 y2

que depende solo de y . As, la funcin cuyo cero buscaremos mediante diferentes mtodos iterativos es:
m 2 arc cos 1 2 l + zm2 sin 2 arc cos 1 2 l + zm2
    
f (z) = z + 1 , (4.6)

m
2 3/2
1 1 2 l + z2 z 2

donde hemos llamado z a la variable, y en general z C.

En este captulo vamos a resolver la ecuacion unicada de Gauss (4.3) utilizando diferentes mtodos de la
familia de King. As, el operador de punto jo asociado a la familia de King (Gf, ) aplicado sobre la ecuacin
unicada de Gauss, resulta de sustituir la expresin (4.6) en (3.4). La expresin resultante, simplicada
utilizando el software Wolfram Mathematica, se presenta en el Anexo 1 debido a su gran tamao.

4.2. Estudio dinmico


Hacer un estudio analtico de los puntos jos del operador Gf, no es posible debido a la complejidad de
este operador. Sin embargo, podemos mostrar algunos resultados obtenidos numricamente.

Para hacer el estudio se han utilizado como rbitas de referencia las utilizadas por Escobal en [1]. Partiendo
de los elementos orbitales de una rbita de referencia, se han calculado dos posiciones del satlite en dos
instantes diferentes, para as utilizar el mtodo de Gauss y sus variantes, y recalcular los elementos orbitales.
De este modo, se puede comprobar la precisin de los resultados obtenidos numricamente comparndolos
con los elementos orbitales originales.

En principio, las dos posiciones r1 (t1 ) y r2 (t2 ) que se utilizarn para determinar la rbita podran ser
cualesquiera. Sin embargo, se vio en el Captulo 2 que el mtodo de Gauss aproxima el rea del sector de
elipse por la del tringulo, as que necesitaremos que la diferencia de anomalas verdaderas entre los dos
instantes de observacin sea pequea, para que el mtodo proporcione un valor aceptable.

En este estudio se ha utilizado la rbita de referencia II, adems se van a tomar posiciones con diferentes
diferencias de anomalas verdaderas para ver el efecto en los diferentes mtodos propuestos. Los elementos
orbitales de la rbita son:

a = 3e.r, e = 0.05, = 0h 0m 0s 23 dic 1963, i = 30 , = 80 , = 60 .

El semieje mayor a se expresa en unidades del radio terrestre (1e.r = 6378140m).

Con estos elementos orbitales podemos calcular los vectores de posicin r~1 y r~2 . Tomaremos r~1
(1.759810674470381, 1.681128006831926, 1.169134301380908)e.r y calcularemos r~2 para tres diferencias de
anomalas verdaderas diferentes 2 1 , y a partir de ellos, calculamos el valor de los parmetros m y l como
se puede ver en la Tabla 4.1. Para calcularlos se ha tomado como punto inicial y = 1.

En las Figuras 4.1a y 4.1b se puede ver la representacin en dos dimensiones de la rbita con 2 1 igual
a 20 y 40 , respectivamente.

A continuacin mostraremos el comportamiento dinmico de los operadores asociados a diferentes mtodos


iterativos sobre la ecuacin unicada de Gauss, en primer lugar el operador de punto jo (mtodo clsico),
y posteriormente las variantes propuestas que utilizan distintos mtodos de la familia de King.

Universidad Politcnica de Valencia


4. Mtodo modicado de determinacin preliminar de rbitas 29

(a) 2 1 = 20 (b) 2 1 = 40

Figura 4.1: Diagrama de la rbita en 2D

Tabla 4.1: Parmetros en funcin de la diferencia de anomala verdadera

2 1 y m l

20 1.018748317827323 0.014484180412165 0.007715223846011


40 1.078623322411447 0.066543055878326 0.032119625122977
70 1.275883491004965 0.306866292187597 0.110677586406295

4.2.1. Mtodo clsico de Gauss. Esquema de punto jo


En la Figura 4.2 podemos ver el plano dinmico asociado al mtodo de punto jo tomando dos posiciones
iniciales cuya diferencia de anomalas verdaderas, 2 1 , es de 20 . Dicho plano ha sido representado
empleando las rutinas mostradas en el Anexo 2 utilizando los siguientes parmetros: 106 puntos, tolerancia
de 103 y nmero mximo de iteraciones de 80. Se han centrado todos los planos dinmicos alrededor de la
solucin y de los puntos jos extraos, en particular entre los puntos 0.4 y 1.4 en el eje real y 0.4 y 0.4
en el imaginario.

Figura 4.2: Plano dinmico para el mtodo de punto jo con 2 1 = 20

Tambin se puede observar en la Figura 4.2 que hay dos cuencas de atraccin. Una de ellas alrededor de
z1 = 1.018748317827323, que es el valor correcto de la relacin sector a trigulo en este caso, y otra alrededor
de z2 = 0, que es un punto jo extrao. Los colores ms oscuros indican mayor nmero de iteraciones para
llegar a la solucin.

Las Figuras 4.3 y 4.4 muestran las cuencas de atraccin para diferencias de anomalas verdaderas de 40
y 70 respectivamente. Se puede notar el color ms oscuro que indica mayor nmero de iteraciones, por lo
que el proceso se ralentiza al aumentar la separacin entre las observaciones. Adems se observa claramente
una reduccin de las cuencas de convergencia de la solucin z1 , mientras que la cuenca de z2 aumenta
considerablemente su tamao.

Universidad Politcnica de Valencia


30 4.2. Estudio dinmico

Figura 4.3: Plano dinmico para el mtodo de punto jo con 2 1 = 40

Figura 4.4: Plano dinmico para el mtodo de punto jo con 2 1 = 70

4.2.2. Mtodo de Newton


Como paso intermedio entre el mtodo de punto jo, asociado al procedimiento clsico de Gauss, y la
propuesta en la que interviene la familia de mtodos de cuarto orden de King, analizaremos el comportamiento
del esquema de Newton sobre el problema. Los planos dinmicos correspondientes se pueden ver en las Figuras
4.5, 4.6 y 4.7. Se pueden observar dos cuencas de atraccin ms, que no aparecan en el mtodo de punto
jo. Estas corresponden a los puntos jos extraos z3 y z4 , y se pueden ver en la Tabla 4.2. Estos puntos
jos estn asociados a valores de x que hacen que el argumento del arc cos de la ecuacin (4.4) no est entre
-1 y 1.

Tabla 4.2: Puntos jos extraos z3 y z4

2 1 z3 z4

20 -0.029489396436721 - 0.003426712711913i z3
40 -0.105733738412410 - 0.028836233465185i z3
70 -0.307504981751563 - 0.086966871525034i z3

Se puede observar que cuanto mayor es 2 1 ms grande es la cuenca de atraccin de z2 , z3 y z4 , y es


necesario un mayor nmero de iteraciones para llegar a las soluciones. Adems, las componentes conexas no
inmediatas de las cuencas, es decir, las que no contienen al punto jo, son de mayor tamao en el caso de
z2 , z3 y z4 , mientras que la cuenca inmediata de z1 es de menor tamao. Es de destacar, sin embargo, que
el conjunto de Julia es conexo en todos los casos.

Universidad Politcnica de Valencia


4. Mtodo modicado de determinacin preliminar de rbitas 31

Figura 4.5: Plano dinmico para el mtodo de Newton con 2 1 = 20

Figura 4.6: Plano dinmico para el mtodo de Newton con 2 1 = 40

Figura 4.7: Plano dinmico para el mtodo de Newton con 2 1 = 70

Universidad Politcnica de Valencia


32 4.2. Estudio dinmico

4.2.3. Familia de mtodos de King


En esta seccin vamos a analizar el comportamiento cualitativo de algunos elementos de la familia de King
sobre el problema de determinacin de rbitas preliminares mediante el mtodo de Gauss. Primero el ya
conocido mtodo de Ostrowski, que correponde a = 2, y tambin algunos mtodos cuyo comportamiento
dinmico sobre polinomios cuadrticos presentaba peculiaridades, como cuencas de atraccin de puntos jos
extraos u rbitas peridicas. En particular, los correspondientes a = 4.5 y = 3.9 + 0.1i. Tambin se
ha incluido en el estudio el mtodo con = 1, que muestra un comportamiento estable para polinomios de
grado 2.

4.2.3.1. Mtodo de Ostrowski

En las Figuras 4.8, 4.9 y 4.10 se pueden ver los planos dinmicos corespondientes al mtodo de Ostrowski.
Comparndolo con el mtodo de Newton, se puede apreciar que los puntos jos son los mismos, que el tamao
del bulbo alrededor de las races z2 ,z3 y z4 es mayor, y que, como comprobaremos de forma numrica ms
adelante, el nmero de iteraciones para llegar a las races es menor que en el mtodo de Newton y mucho
menor que en el de punto jo. Sin embargo, en los planos dinmicos asociados al mtodo de Ostrowski se
observa como el conjunto de Julia ya no es conexo, al contrario de lo que ocurra al utilizar los mtodos de
punto jo o Newton.

Figura 4.8: Plano dinmico para el mtodo de Ostrowski con 2 1 = 20

Figura 4.9: Plano dinmico para el mtodo de Ostrowski con 2 1 = 40

Vamos a presentar los resultados numricos para cada uno de los mtodos estudiados hasta el momento, es
decir, punto jo, Newton y Ostrowski.

En la Tabla 4.3 podemos ver una comparativa entre el nmero de iteraciones necesarias para llegar a la
solucin partiendo de diferentes estimaciones iniciales de y , y con una tolerancia de 1035 . Las variables que
se han monitoreado son el nmero de iteraciones necesarias para calcular y con la tolerancia requerida, y
tambin se ha incluido la columna a, que representa la diferencia entre el valor del semieje mayor calculado

Universidad Politcnica de Valencia


4. Mtodo modicado de determinacin preliminar de rbitas 33

Figura 4.10: Plano dinmico para el mtodo de Ostrowski con 2 1 = 70

con el mtodo de Gauss modicado y el valor terico de la rbita, como medida de lo bueno que es el
resultado obtenido.

Tabla 4.3: Comparativa entre los mtodos de punto jo, Newton y Ostrowski

Mtodo 2 1 Num.Iter (y0 = 1) Num.Iter (y0 = 0.8) Num.Iter (y0 = 0.6) a

20 25 26 26 7.76 1016
Punto Fijo 40 45 46 46 6.96 1016
70 132 133 133 5.22 1016

20 5 6 6 7.76 1016
Newton 40 6 7 7 6.96 1016
70 7 8 10 5.22 1016

20 3 4 4 7.76 1016
Ostrowski 40 4 4 5 6.96 1016
70 5 5 5 5.22 1016

Es notable el hecho de que cuanta mayor sea la diferencia de anomalas verdaderas mayor es el nmero
de iteraciones necesarias para llegar al valor de la raz con la tolerancia requerida, esto es debido a que
al aumentar dicha diferencia de anomalas el valor de la relacin sector tringulo aumenta y se aleja del
punto inicial. Como esperbamos, el mtodo de Ostrowski presenta el menor nmero de iteraciones, al ser
el de mayor orden de convergencia. Pero tambin se puede observar que es el mtodo menos sensible al
desplazamiento del punto inicial.

En los planos dinmicos se puede ver que el tamao de las cuencas de los puntos jos z2 , z3 y z4 crece
al aumentar la diferencia de anomalas verdaderas. En la Tabla 4.4 se puede ver de forma cuantitativa. Se
presentan los porcentajes de puntos del plano dinmico que corresponden a cada cuenca, y nalmente el
porcentaje de puntos que no convergen a ninguna.

En la Tabla 4.4 podemos ver como para el mtodo de Newton y Ostrowski, todos los puntos que, usados
como aproximacin inicial, convergen a alguna de las cuencas. Adems, cuando aumenta la diferencia de
anomalas verdaderas disminuye el porcentaje de puntos que convergen a z1 y aumenta el porcentaje que
converge a z2 .

Universidad Politcnica de Valencia


34 4.2. Estudio dinmico

Tabla 4.4: Comparativa de los tamaos de las cuencas para los mtodos de punto jo, Newton y Ostrowski

Mtodo 2 1 z1 z2 z3 z4 no conv.

20 99.8307 0.16904 0 0 0.00022


Punto Fijo 40 97.2659 2.7337 0 0 0.00044
70 64.8668 35.1321 0 0 0.00112

20 92.1247 5.3955 1.2421 1.2376 0


Newton 40 67.1035 25.6826 3.6195 3.5944 0
70 47.0983 45.919 3.4907 3.492 0

20 83.5802 9.4919 3.47 3.4579 0


Ostrowski 40 59.7055 27.9244 6.1698 6.2003 0
70 44.5999 45.7722 4.8172 4.8107 0

4.2.3.2. Mtodo correspondiente a = 4.5

Este miembro de la familia de King haba presentado puntos jos extraos cuando lo utilizamos en el estudio
de un polinomio de grado 2. En este caso, adems de la existencia de puntos jos extraos, en los planos
dinmicos que se muestran en las Figuras 4.11, 4.12 y 4.13 vemos componentes conexas no inmediatas de la
cuenca de z1 sumergidas en las cuencas de z2 , z3 y z4 , lo que indica que el conjunto de Julia no es conexo y
su complejidad ha aumentado considerablemente. Por otra parte, se mantiene el comportamiento observado
en mtodos anteriores de aumento de las cuencas de los puntos jos extraos y disminucin de la de z1 al
aumentar la dispersin de las observaciones.

Figura 4.11: Plano dinmico para = 4.5 con 2 1 = 20

Universidad Politcnica de Valencia


4. Mtodo modicado de determinacin preliminar de rbitas 35

Figura 4.12: Plano dinmico para = 4.5 con 2 1 = 40

Figura 4.13: Plano dinmico para = 4.5 con 2 1 = 70

Universidad Politcnica de Valencia


36 4.2. Estudio dinmico

4.2.3.3. Mtodo correspondiente a = 3.9 + 0.1i

Este mtodo tambin haba presentado problemas de convergencia cuando lo utilizamos en el estudio de
polinomios de grado 2, de hecho, hemos visto que presenta rbitas peridicas. En este problema, sus planos
dinmicos presentan caractersticas similares a las del mtodo = 4.5.

Figura 4.14: Plano dinmico para = 3.9 + 0.1i con 2 1 = 20

Figura 4.15: Plano dinmico para = 3.9 + 0.1i con 2 1 = 40

En la Figura 4.16 se pueden ver valores iniciales que se presentan en negro, eso signica que despus del
mximo de 80 iteraciones que se han tomado para dibujar los planos, el mtodo no haba llegado a una
solucin. Si analizamos con mas detalle esas regiones negras podemos ver que en realidad convergen de
manera muy lenta a otro punto jo extrao z5 = 1.124300240349773 1.130155132817833i, en la Figura 4.17
podemos ver un plano ampliado donde se muestra esta situacin.

Figura 4.16: Plano dinmico para = 3.9 + 0.1i con 2 1 = 70

Adems, en la Figura 4.17 podemos observar una regin fractal en torno al conjugado de z5 . Este punto, al
que llamaremos z6 = z5 , es asimismo un punto jo extrao pero en este caso es repulsor.

Universidad Politcnica de Valencia


4. Mtodo modicado de determinacin preliminar de rbitas 37

Figura 4.17: Plano dinmico ampliado para = 3.9 + 0.1i con 2 1 = 70

4.2.3.4. Mtodo correspondiente a =1

A diferencia de los dos anteriores, este mtodo destacaba por su estabilidad sobre un polinomio de grado 2.
Sus planos dinmicos se pueden ver en las Figuras 4.18, 4.19 y 4.20.

Figura 4.18: Plano dinmico para = 1 con 2 1 = 20

En la Tabla 4.5 podemos ver como para el mtodo correspondiente a = 4.5 aumenta de forma signicativa
el nmero de iteraciones cuando se aleja el punto inicial.

En la Tabla 4.6 podemos ver una comparativa entre el tamao de las cuencas de los puntos jos para
los mtodos correspondientes a = 4.5, = 3.9 + 0.1i y = 1. Se puede observar que el mtodo
correspondiente a = 3.0 + 0.1i tiene el mayor porcentaje de puntos iniciales que no convergen.

Se puede concluir que los mtodos de la familia de King que presentaron problemas al ser aplicados a

Universidad Politcnica de Valencia


38 4.2. Estudio dinmico

Figura 4.19: Plano dinmico para = 1 con 2 1 = 40

Figura 4.20: Plano dinmico para = 1 con 2 1 = 70

la resolucin de un polinomio cuadrtico tampoco resultan los ms adecuados en este caso. De hecho, el
miembro de la familia que presenta un plano dinmico sin regiones de no convergencia y con unas cuencas
de atraccin ms uniformes es el mtodo de Ostrowski.

Universidad Politcnica de Valencia


Tabla 4.5: Comparativa entre los mtodos = 4.5, = 3.9 + 0.1i y = 1

Mtodo 2 1 Num.Iter (y0 = 1) Num.Iter (y0 = 0.8) Num.Iter (y0 = 0.6) a

20 3 4 4 7.76 1016
=1 40 4 4 5 6.96 1016
70 5 5 7

20 3 4 4 7.76 1016
= 3.9 + 0.1i 40 4 4 5 6.96 1016
70 5 5 7 5.22 1016

20 3 4 4 7.76 1016
= 4.5 40 4 7 5 6.96 1016
70 5 6 9 5.22 1016

Tabla 4.6: Comparativa de los tamaos de las cuencas para los mtodos = 4.5, = 3.9 + 0.1i y = 1

Mtodo 2 1 z1 z2 z3 z4 no conv.

20 95.3505 2.979 0.82973 0.81245 0.02828


=1 40 75.9501 20.0438 1.9953 1.9872 0.02357
70 54.4249 40.9487 2.3112 2.2966 0.01863

20 94.7911 3.3059 0.92559 0.95029 0.02716


= 3.9 + 0.1i 40 74.5937 20.777 2.2916 2.3092 0.02851
70 51.9029 41.9057 2.5931 2.5846 1.0136

20 93.1965 3.9127 1.4352 1.4498 0.00583


= 4.5 40 70.3333 21.7311 3.9623 3.9715 0.00179
70 49.6016 43.4763 3.4601 3.4579 0.00404
Captulo 5
Conclusiones y lneas futuras

En esta tesis se han introducido los conceptos y herramientas que se utilizan en el estudio de la dinmica
de los mtodos iterativos. Se ha mostrado la importancia de incluir este estudio, y no solamente el orden
de convergencia, a la hora de analizar una familia de mtodos iterativos, y tambin a la hora de establecer
criterios para seleccionar los mejores miembros de dicha familia.

Se ha estudiado en particular la dinmica de la familia de mtodos iterativos de King en dos problemas


diferentes: en el Captulo 3 actuando sobre un polinomio genrico de grado 2, y en el Captulo 4 aplicado
a la resolucin de un problema real, como es la determinacin preliminar de las rbitas de satlites. Se ha
comprobado que los mtodos que presentaban problemas de convergencia en el caso de un polinomio de
grado 2 tambin los presentan en el caso de la ecuacin unicada de Gauss.

La idea de este trabajo es que sirva como punto de partida de mi Tesis doctoral. Entre los aspectos a
desarrollar en dicha tesis se pueden destacar:

Estudio dinmico real de la familia de King: En la dinmica real los parmetros, valores iniciales y
soluciones buscadas son reales. El anlisis dinmico real nos permitir comprender mejor los mtodos
en esos casos. Algunas herramientas para conseguir este objetivo son los diagramas de bifurcacin o
de Feigenbaum y los exponentes de Liapunov.

Uso de nuevas herramientas para el estudio de la dinmica compleja de la familia de King: Analizar
el comportamiento del innito nos permite entender mejor las condiciones bajo las cuales el mtodo
diverge, y adems es un factor importante a tener en cuenta cuando comparamos mtodos entre si. El
test cuadrtico de Cayley permite identicar los mtodos en funcin de su estabilidad, ya que compara
su comportamiento sobre polinomios cuadrticos con el de Newton. Parece interesante su extensin a
polinomios cbicos.

Extensin de la familia de King a espacios de Banach: Existen estudios sobre la convergencia semilocal
del mtodo de Ostrowski en espacios de Banach bajo condiciones tipo Kantorovich. Resulta, pues,
apropiado analizar la convergencia de la familia de King y comprobar el papel que sobre las cotas a
priori del error y los radios de convergencia tiene el parmetro que dene la familia. Por otra parte, el
diseo de mtodos hbridos que aprovechen las amplias regiones de convergencia de mtodos de orden
bajo para, tras un nmero de iteraciones a determinar, pasar a un mtodo de orden alto aprovechando
la velocidad de convergencia en los ltimos pasos, resulta especialmente interesante.

Aplicar los resultados a problemas de la Ciencia, como por ejemplo la resolucin numrica de ecuaciones
integrales que modelizan campos electromagnticos.

40
Captulo 6
ANEXOS

6.1. Anexo 1: Operador racional del mtodo de King aplicado a la


ecuacin unicada de Gauss
Si denimos los siguientes parmetros:

z 2 sin 2arccos 1 + 2l
m 2arccos 1 + 2l 2m 2m
    
z2
N = 1 + z ,
 2 3/2
1 1 + 2l 2m
z2 z2
4m2
D = 1
z (m2 (1 + 2l)mz 2 + l(1 + l)z 4 )
12m2 1 + 2l 2m 2arccos 1 + 2l 2m z 2 sin 2arccos 1 + 2l z 2
2m
     
z2
 2 5/2
1 1 + 2l 2m z2 z5

z 2 Sin 2arccos 1 + 2l z 2
2m 2arccos 1 + 2l 2m 2m
    
+ ,
 2 3/2
1 1 + 2l 2m
z2 z 3
     
m 2arccos 1 + 2l N1 2m
Sin 2arccos 1 + 2l N1 2m
N1
2 2
( D1 +z) ( D1 +z)
S = 1 +z , er
D1  2 3/2
!
N1 + z 2 2m

D1 1 1 + 2l N1 2
( D1 +z)

la expresin del operador de King para el mtodo de Gauss resulta:

N S(N + S(2 + ))
Gz, = +z . (6.1)
D D(N + S)

42
6. ANEXOS 43

6.2. Anexo 2: Programa en MATLAB para calcular las cuencas de


atraccin de un operador
function [ I , i t ] = c u e n c a s _ a t r a c c i o n _ o p e r a d o r ( operador , parametro , r a i c e s , x i n i , x f i n , y i n i ,

% el operador debe estar en forma de funcion simbolica que dependa de x y b

dx=x f i n x i n i ; dy=y f i n y i n i ; d=max( dx , dy ) ;


paso=d/ c e i l ( sqrt ( numNodos ) ) ;
x=x i n i : paso : x f i n ;
y=y i n i : paso : y f i n ;

[ X,Y]= meshgrid ( x , y ) ;
syms x b ;

R=zeros ( size (X ) ) ;
G=zeros ( size (X ) ) ;
B=zeros ( size (X ) ) ;

[ rows , c o l s ]= size (X)

% PARAMETRO BETA % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
b=parametro ;

for i =1: rows


for j =1: c o l s
syms x ;
p u n t o _ i n i c i a l=complex (X( i , j ) ,Y( i , j ) ) ;

% itera hasta llegar al maximo d e iteraciones o al error


% para el punto inicial dado
[ x , i t e r ]= p u n t o _ f i j o ( operador , p u n t o _ i n i c i a l , b , maxIter , t o l ) ;

% comprueba si se ha llegado a alguna raiz


norma1= norm ( [ real ( r a i c e s (1)) real ( x ) imag ( r a i c e s (1)) imag ( x ) ] ) ;
norma2= norm ( [ real ( r a i c e s (2)) real ( x ) imag ( r a i c e s (2)) imag ( x ) ] ) ;
norma3= norm ( [ real ( r a i c e s (3)) real ( x ) imag ( r a i c e s (3)) imag ( x ) ] ) ;
norma4= norm ( [ real ( r a i c e s (4)) real ( x ) imag ( r a i c e s (4)) imag ( x ) ] ) ;
if norma1<t o l %c o n v e r g i o a l a r a i z 1
R( i , j )=1 i t e r / ( maxIter +1);
G( i , j )=0.4*(1 i t e r / ( maxIter + 1 ) ) ;
B( i , j )=0;
e l s e i f norma2<t o l %c o n v e r g i o a l a r a i z 2
R( i , j )=0;
G( i , j )=0;
B( i , j )=1 i t e r / ( maxIter +1);
e l s e i f norma3<t o l %c o n v e r g i o a l a r a i z 3
R( i , j )=0;
G( i , j )=1 i t e r / ( maxIter +1);
B( i , j )=0;
e l s e i f norma4<t o l %c o n v e r g i o a l a r a i z 4
R( i , j )=1 i t e r / ( maxIter +1);
G( i , j )=1 i t e r / ( maxIter +1);
B( i , j )=0;

Universidad Politcnica de Valencia


6.2.
44 Anexo 2: Programa en MATLAB para calcular las cuencas de atraccin de un operador
else
R( i , j )=0;
G( i , j )=0;
B( i , j )=0;
end
end
end
I ( : , : , 1 ) =R ( : , : ) ;
I ( : , : , 2 ) =G ( : , : ) ;
I ( : , : , 3 ) =B ( : , : ) ;
f i g u r a = imshow ( I , 'X ' , [ x i n i , x f i n ] , 'Y ' , [ y i n i , y f i n ] ) ;
xlabel ( ' Re ' ) ; ylabel ( ' Im ' ) ;
hold on
axis on
%p a r t e interactiva del grafico

%d i b u j a las raices
plot ( r a i c e s ( 1 ) , 0 , 'w* ' ) ;
plot ( r a i c e s ( 2 ) , 0 , 'w* ' ) ;
plot ( r a i c e s ( 3 ) , 0 , 'w* ' ) ;
plot ( r a i c e s ( 4 ) , 0 , 'w* ' ) ;
i f nargin >10
s a v e a s ( f i g u r a , s t r c a t ( ' f i g u r a s / ' , nombreFichero ) , ' f i g ' ) ;
s a v e a s ( f i g u r a , s t r c a t ( ' j p g / ' , nombreFichero ) , ' j p g ' ) ;
close ;
else
% Punto cuya rbita queremos obtener
[ punto1 , punto2 ]= ginput ( 1 ) ;
p0=complex ( punto1 , punto2 ) ;
plot ( punto1 , punto2 , 'w+ ' , ' M a r k e r S i z e ' , 5 )
n _ l i n e a s =0;
while ( n _ l i n e a s <maxIter )
[ p , i t e r ]= p u n t o _ f i j o ( operador , p0 , b , 1 , t o l ) ;
plot ( real ( p ) , imag ( p ) , 'w+ ' , ' M a r k e r S i z e ' , 5 ) ;
line ( [ real ( p0 ) real ( p ) ] , [ imag ( p0 ) imag ( p ) ] , ' C o l o r ' , 'w ' , ' LineWidth ' , 2 ) ;
pause ( 0 . 2 ) ;
p0=p ;
n_lineas = n_lineas + 1;
end
p
end
end

Universidad Politcnica de Valencia


6. ANEXOS 45

6.3. Anexo 3: Programa en MATLAB para calcular el plano de


parmetros de un operador
function [ I , i t ] = plano_parametros_operador ( operador , p u n t o _ i n i c i a l , r a i c e s , x i n i , x f i n , y i
% author Javier G a r c i a Maimo

% el operador debe ser una funcion simbolica que dependa de x y del


% parametro b

dx=x f i n x i n i ; dy=y f i n y i n i ; d=max( dx , dy ) ;


paso=d/ c e i l ( sqrt ( numNodos ) ) ;
x=x i n i : paso : x f i n ;
y=y i n i : paso : y f i n ;

[ X,Y]= meshgrid ( x , y ) ;
syms x b ;

R=zeros ( size (X ) ) ;
G=zeros ( size (X ) ) ;
B=zeros ( size (X ) ) ;

[ rows , c o l s ]= size (X ) ;

for i =1: rows


for j =1: c o l s
syms x ;
b=complex (X( i , j ) ,Y( i , j ) ) ;

% itera hasta llegar al maximo d e iteraciones o al error


% partiendo del punto inicial dado
[ x , i t e r ]= p u n t o _ f i j o ( operador , p u n t o _ i n i c i a l , b , maxIter , t o l ) ;

% comprueba si se ha llegado a alguna raiz


norma1= norm ( [ real ( r a i c e s (1)) real ( x ) imag ( r a i c e s (1)) imag ( x ) ] ) ;
norma2= norm ( [ real ( r a i c e s (2)) real ( x ) imag ( r a i c e s (2)) imag ( x ) ] ) ;
if norma1<t o l | | norma2<t o l
R( i , j )=1 i t e r / ( maxIter +1);
G( i , j )=0;
B( i , j )=0;
else
R( i , j )=0;
G( i , j )=0;
B( i , j )=0;
end
end
end
I ( : , : , 1 ) =R ( : , : ) ;
I ( : , : , 2 ) =G ( : , : ) ;
I ( : , : , 3 ) =B ( : , : ) ;
imshow ( I , 'X ' , [ x i n i , x f i n ] , 'Y ' , [ y i n i , y f i n ] ) ;
xlabel ( ' Re ' ) ; ylabel ( ' Im ' ) ;
hold on
Universidad Politcnica de Valencia
466.3. Anexo 3: Programa en MATLAB para calcular el plano de parmetros de un operador
axis on

end
%

Universidad Politcnica de Valencia


6. ANEXOS 47

6.4. Anexo 4: Programa en MATLAB que implementa el mtodo


de Gauss
function [ r1p , r2p , a , y]= metodo_gauss ( r1 , r2 , t1 , t2 , t o l , d i r e c c )
% Metodo de Gauss para la determinacion de orbitas
%a partir de dos observaciones
%
% [ r1p , r2p , a , y ]= m e t o d o _ g a u s s ( r1 , r2 , t 1 , t 2 , t o l , [ d i r e c c ] )
%
% Entradas :
% r1 : VECTOR con las coord ( x1 , y1 , z 1 ) de la
% primera observacion
% r2 : VECTOR con las coord ( x2 , y2 , z 2 ) de la
% segunda observacion
% t1 : tiempo de la primera observacion
% t2 : tiempo de la segunda observacion
% tol : tolerancia del proceso iterativo
% direcc : es un parametro opcional
% Indica el sentido en que se recorre la orbita
% d i r e c c =1 => o r b i t a DIRECTA
% d i r e c c =0 => o r b i t a RETRoGRADA
% por defecto la orbita se considera directa
%
% Salida :
% r1p : VECTOR con las coord ( x1p , y1p , z 1 p ) que
% corresponden a la velocidad en r1
% r2p : VECTOR con las coord ( x2p , y2p , z 2 p ) que
% corresponden a la velocidad en r2
%a : semieje mayor d e la elipse
%y : relacion sector a triangulo
%
% Con r 1 y r1p podemos decir que la orbita esta determinada
%
% UNIDADES
% r1 , r2 , a en e.r.
% t1 , t 2 en horas
% r1p , r 2 p en e . r ./ horas
%
% 1 e . r .=6378140 m
%
i f nargin <6
d i r e c c =1;
end
% Comprobamos q u e r1 y r2 son vectores de 3 elementos
i f (max( size ( r 1 ))~=3) | (max( size ( r 2 ))~=3)
disp ( ' ' )
disp ( ' ERROR ' )
disp ( ' r 1 y r 2 deben s e r v e c t o r e s de 3 e l e m e n t o s ' )
disp ( ' ' )
error ( ' ' )
end
% Hacemos q u e r1 y r2 sean vectores fila
if ( size ( r1 ,1)~=1)
r 1=r1 ' ;
end
Universidad Politcnica de Valencia
48 6.4. Anexo 4: Programa en MATLAB que implementa el mtodo de Gauss
i f ( size ( r2 ,1)~=1)
r 2=r2 ' ;
end
% Constantes
%
e r =6378140; % Radio terrestre en metros
k = 0 . 0 7 4 3 6 5 7 4 ; % Cte gravitacional de la
% Tierra ( en ( e . r . ) ^ ( 3 / 2 ) / min )
mu=(k * 6 0 ) ^ 2 ; % mu en ( e . r . ) ^ 3 / h o r a ^2
%
mu=( k / 6 0 ) ^ 2 ; % mu en ( e . r . ) ^ 3 / s ^2
mu=( k / 6 0 ) ^ 2 * ( e r ) ^ 3 ;
% % mu en m^3/ s ^2
modulo_r1=norm ( r 1 ) ;
modulo_r2=norm ( r 2 ) ;
% Calculo de la diferencia de las anomalias verdaderas de
% las dos observaciones ( av2 a v 1 )
cos_dif_av=( r 1 * r2 ' ) / ( modulo_r1 * modulo_r2 ) ;
i f d i r e c c ~=0
% Si la orbita es directa
sin_dif_av =( r 1 ( 1 ) * r 2 (2) r 2 ( 1 ) * r 1 ( 2 ) ) / ( abs ( r 1 ( 1 ) * r 2 ( 2 ) . . .
r 2 ( 1 ) * r 1 ( 2 ) ) ) * sqrt (1 cos_dif_av ^ 2 ) ;
else
% Si la orbita es retrograda
sin_dif_av=(r 1 ( 1 ) * r 2 (2) r 2 ( 1 ) * r 1 ( 2 ) ) / ( abs ( r 1 ( 1 ) * r 2 ( 2 ) . . .
r 2 ( 1 ) * r 1 ( 2 ) ) ) * sqrt (1 cos_dif_av ^ 2 ) ;
end
% Con el seno determinamos el angulo
% La funcion asin () no da un angulo del 1 er o 4o cuadrante
dif_av=asin ( sin_dif_av ) ;
% Y con el coseno determinamos el cuadrante
if ( cos_dif_av <0)
% El angulo es del 2o o 3 er cuadrante
dif_av=pi dif_av ;
end
% C o n s t a n t e s m, l de las ecuaciones de Gauss
l =(modulo_r1+modulo_r2 ) / ( 4 * sqrt ( modulo_r1 * modulo_r2 ) * . . .
cos ( dif_av /2)) 1/2;
m=mu* ( t2 t 1 ) ^ 2 / ( ( 2 * sqrt ( modulo_r1 * modulo_r2 ) * . . .
cos ( dif_av / 2 ) ) ^ 3 ) ;
% Valor inicial para la relacion sector a triangulo
y0 =0;
y=1;
% Bucle iterativo para determinar y
tic ;
while ( abs ( yy0)> t o l )
x=m/y^2 l ;
cos_dif_aE_2=12*x ; % c o s ( ( E2E1 ) / 2 )
sin_dif_aE_2=sqrt ( 4 * x*(1 x ) ) ; % s i n ( ( E2E1 ) / 2 )
dif_aE_2=asin ( sin_dif_aE_2 ) ;
i f cos_dif_aE_2<0
% Si el coseno es negativo , el angulo
% es del 2 cuadrante
dif_aE_2=pi dif_aE_2 ;
end
dif_aE=2*dif_aE_2 ;
XX=(dif_aE sin ( dif_aE ) ) / ( sin_dif_aE_2 ^ 3 ) ;
y0=y ;

Universidad Politcnica de Valencia


6. ANEXOS 49

% Actualizamos el valor de y
y=1+XX* ( l+x ) ;
end
toc ;
l ,m, y , x , dif_aE
% Un v e z hemos aproximado el valor de y podemos calcular
% el semieje mayor d e la elipse
a =(( t2 t 1 ) * sqrt (mu) / ( 2 * y* sqrt ( modulo_r1 * modulo_r2 ) * . . .
cos ( dif_av / 2 ) * sin ( dif_aE / 2 ) ) ) ^ 2 ;
% Ahora utilizamos las formas cerradas de la series f y g
% para calcular el vector velocidad en r1 : r1p
f=1a / modulo_r1*(1 cos ( dif_aE ) ) ;
g=(t2 t 1 ) sqrt ( a^3/mu) * ( dif_aE sin ( dif_aE ) ) ;
r1p =(r2 f * r 1 ) / g ;
% Con esto calculo el vector velocidad en r2 : r2p
f_2=1a / modulo_r2*(1 cos ( dif_aE ) ) ;
g_2=(t1 t 2 ) sqrt ( a^3/mu)*( dif_aE+sin ( dif_aE ) ) ;
r2p =(r1 f_2 * r 2 ) / g_2 ;

end

Universidad Politcnica de Valencia


50 6.5. Anexo 5: Programa en MATLAB que implementa el mtodo de Gauss modicado
6.5. Anexo 5: Programa en MATLAB que implementa el mtodo
de Gauss modicado
function [ r1p , r2p , a , y ,m, L , n_iter , tiempo ]= metodo_gauss_modificado ( r1 , r2 , t1 , t2 , t o l , maxIter , o
% Metodo de Gauss para la determinacion de orbitas
%a partir de dos observaciones
%
% [ r1p , r2p , a , y ]= m e t o d o _ g a u s s ( r1 , r2 , t 1 , t 2 , t o l , [ d i r e c c ] )
%
% Entradas :
% r1 : VECTOR con las coord ( x1 , y1 , z 1 ) de la
% primera observacion
% r2 : VECTOR con las coord ( x2 , y2 , z 2 ) de la
% segunda observacion
% t1 : tiempo de la primera observacion
% t2 : tiempo de la segunda observacion
% tol : tolerancia del proceso iterativo
% direcc : es un parametro opcional
% Indica el sentido en que se recorre la orbita
% d i r e c c =1 => o r b i t a DIRECTA
% d i r e c c =0 => o r b i t a RETRoGRADA
% Por defecto se considera directa
%
% Salida :
% r1p : VECTOR con las coord ( x1p , y1p , z 1 p ) que
% corresponden a la velocidad en r1
% r2p : VECTOR con las coord ( x2p , y2p , z 2 p ) que
% corresponden a la velocidad en r2
%a : semieje mayor d e la elipse
%y : relacion sector a triangulo
%
% Con r 1 y r1p podemos decir que la orbita esta determinada
%
% UNIDADES
% r1 , r2 , a en e.r.
% t1 , t 2 en horas
% r1p , r 2 p en e . r ./ horas
%
% 1 e . r .=6378140 m
%
i f nargin <9
d i r e c c =1;
end
% Comprobamos q u e r1 y r2 son vectores de 3 elementos
i f (max( size ( r 1 ))~=3) | (max( size ( r 2 ))~=3)
disp ( ' ' )
disp ( ' ERROR ' )
disp ( ' r 1 y r 2 deben s e r v e c t o r e s de 3 e l e m e n t o s ' )
disp ( ' ' )
error ( ' ' )
end
% Hacemos q u e r1 y r2 sean vectores fila
if ( size ( r1 ,1)~=1)
r 1=r1 ' ;
end
Universidad Politcnica de Valencia
6. ANEXOS 51

i f ( size ( r2 ,1)~=1)
r 2=r2 ' ;
end
% Constantes
%
e r =6378140; % Radio terrestre en metros
k = 0 . 0 7 4 3 6 5 7 4 ; % Cte gravitacional de la
% Tierra ( en ( e . r . ) ^ ( 3 / 2 ) / min )
mu=(k * 6 0 ) ^ 2 ; mu=vpa (mu, numDigits ) ; % mu en ( e . r . ) ^ 3 / h o r a ^2
%
mu=( k / 6 0 ) ^ 2 ; % mu en ( e . r . ) ^ 3 / s ^2
%mu=( k / 6 0 ) ^ 2 * ( e r ) ^ 3 ; % mu en m^3/ s ^2
modulo_r1=sqrt ( sum ( r 1 . ^ 2 ) ) ;
modulo_r2=sqrt ( sum ( r 2 . ^ 2 ) ) ;
%modulo_r1=norm ( d o u b l e ( r 1 ) ) ;
%modulo_r2=norm ( d o u b l e ( r 2 ) ) ;
% Calculo de la diferencia de las anomalias verdaderas de
% las dos observaciones ( av2 a v 1 )
cos_dif_av=( r 1 * r2 ' ) / ( modulo_r1 * modulo_r2 ) ; cos_dif_av=vpa ( cos_dif_av , numDigits ) ;
i f d i r e c c ~=0
% Si la orbita es directa
sin_dif_av =( r 1 ( 1 ) * r 2 (2) r 2 ( 1 ) * r 1 ( 2 ) ) / ( abs ( r 1 ( 1 ) * r 2 ( 2 ) . . .
r 2 ( 1 ) * r 1 ( 2 ) ) ) * sqrt (1 cos_dif_av ^ 2 ) ; sin_dif_av=vpa ( sin_dif_av , numDigits ) ;
else
% Si la orbita es retrograda
sin_dif_av=(r 1 ( 1 ) * r 2 (2) r 2 ( 1 ) * r 1 ( 2 ) ) / ( abs ( r 1 ( 1 ) * r 2 ( 2 ) . . .
r 2 ( 1 ) * r 1 ( 2 ) ) ) * sqrt (1 cos_dif_av ^ 2 ) ; sin_dif_av=vpa ( sin_dif_av , numDigits ) ;
end
% Con el seno determinamos el angulo
% La funcion asin () no da un angulo del 1 er o 4o cuadrante
dif_av=asin ( sin_dif_av ) ; dif_av=vpa ( dif_av , numDigits ) ;
% Y con el coseno determinamos el cuadrante
if ( d o u b l e ( cos_dif_av ) <0)
% El angulo es del 2o o 3 er cuadrante
dif_av=pi dif_av ; dif_av=vpa ( dif_av , numDigits ) ;
end
% C o n s t a n t e s m, L d e las ecuaciones de Gauss
L=(modulo_r1+modulo_r2 ) / ( 4 * sqrt ( modulo_r1 * modulo_r2 ) * . . .
cos ( dif_av /2)) 1/2;L=vpa (L , numDigits ) ;
m=mu* ( t2 t 1 ) ^ 2 / ( ( 2 * sqrt ( modulo_r1 * modulo_r2 ) * . . .
cos ( dif_av / 2 ) ) ^ 3 ) ;m=vpa (m, numDigits ) ;
% Valor inicial para la relacion sector a triangulo
%y0 =0;
%y =1;
% llamada al mtodo iterativo
%y inicial
%
m=vpa (m, numDigits ) ; L=vpa (L , numDigits ) ;
x=1;x=vpa ( x , numDigits ) ;
tic ;
[ y , n _ i t e r ]= punto_fijo_vpa ( operador , x , 1 , L ,m, maxIter , t o l , numDigits ) ;
tiempo=toc ;

y=vpa ( y , numDigits ) ;
x=(m/y^2) L ;
cos_dif_aE_2=12*x ; % c o s ( ( E2E1 ) / 2 )
sin_dif_aE_2=sqrt ( 4 * x*(1 x ) ) ; % s i n ( ( E2E1 ) / 2 )

Universidad Politcnica de Valencia


52 6.5. Anexo 5: Programa en MATLAB que implementa el mtodo de Gauss modicado
dif_aE_2=asin ( sin_dif_aE_2 ) ;
i f d o u b l e ( cos_dif_aE_2)<0
% Si el coseno es negativo , el angulo
% es del 2 cuadrante
dif_aE_2=pi dif_aE_2 ;
end
dif_aE=2*dif_aE_2 ;

% Un v e z hemos aproximado el valor de y podemos calcular


% el semieje mayor d e la elipse
%L , m, y , x , d i f _ a E

a =(( t2 t 1 ) * sqrt (mu) / ( 2 * y* sqrt ( modulo_r1 * modulo_r2 ) * . . .


cos ( dif_av / 2 ) * sin ( dif_aE / 2 ) ) ) ^ 2 ; a=vpa ( a , numDigits ) ;
%a=v p a ( a , n u m D i g i t s ) ;
% Ahora utilizamos las formas cerradas de la series f y g
% para calcular el vector velocidad en r1 : r1p
f=1a / modulo_r1*(1 cos ( dif_aE ) ) ;
g=(t2 t 1 ) sqrt ( a^3/mu) * ( dif_aE sin ( dif_aE ) ) ;
r1p =(r2 f * r 1 ) / g ;
r1p=vpa ( r1p , numDigits ) ;
% Con esto calculo el vector velocidad en r2 : r2p
f_2=1a / modulo_r2*(1 cos ( dif_aE ) ) ;
g_2=(t1 t 2 ) sqrt ( a^3/mu)*( dif_aE+sin ( dif_aE ) ) ;
r2p =(r1 f_2 * r 2 ) / g_2 ;
r2p=vpa ( r2p , numDigits ) ;

end

Universidad Politcnica de Valencia


Bibliografa

[1] P. R. Escobal. Methods of Orbit Determination. Florida, Robert E. Krieger Publishing Company,
1965.

[2] E. V. Kononvich, P. I. Bakulin and V. I. Moroz. Curso de astronoma general. Mir, 1987.

[3] A. M. Ostrowski. Solutions of equations and systems of equation. Academic Press, New York-
London, 1966.

[4] A. Cordero, J. Garca-Maim, J. R. Torregrosa, M. P. Vassileva, P. Vindel. Chaos in


King's iterative family. Applied Mathematics Letters, Vol. 26 (8) (2013) 842-848.

[5] H. T. Kung, J. F. Traub, Optimal order of one-point and multipoint iteration. Journal of the
Association for Computing Machinery, Vol. 21 (1974) 643-651.

[6] S. Amat, R. Busquier, S. Plaza Review of some iterative root-nding methods from a dynamical
point of view. Mathematical Sciences, Vol 10 (2004) 3-35.

[7] J. F. Traub Iterative methods for the solution of equations. Chelsea Publishing Company, New York,
1982.

[8] R. L. Devaney The Mandelbrot Set, the Farey Tree and the Fibonacci sequence. Am. Math. Monthly,
106(4) (1999) 289-302.

[9] R. F. King A family of fourth-order methods for nonlinear equations. SIAM J. Numer. Anal. 10 (5)
(1973) 876-879.

[10] F. I. Chicharro, A. Cordero, J. R. Torregrosa Drawing Dynamical Parameters Planes of


Iterative Families and Methods. The Scientic World Journal, Volume 2013, Article ID 780153, 11
pages.

[11] A. Cordero, J.R. Torregrosa Variants of Newton's method using 5fth-order quadrature formulas.
Applied Mathematics and Computation, 190 (2007) 686698.

54