La inuencia recproca

entre la Astronoma y los metodos numericos

M. Palacios
Grupo de Mecanica Espacial. Dept. Matem atica Aplicada.
Universidad de Zaragoza, 50015-Zaragoza, Spain.

Resumen.- Presentamos algunas situaciones reales de c omo los problemas astron omicos
han contribuido al estudio y construcci on de metodos numericos y recprocamente, c omo la
aparici on de tecnicas numericas junto con el avance de los ordenadores ha permitido avanzar
y profundizar en diversos aspectos astron omicos.
1 Introducci on
La Astronoma es la ciencia m as antigua y, en cierto sentido, la madre de todas las dem as.
Los fen omenos celestes relativamente simples y regularmente recurrentes ense naron a los hom-
bres que la naturaleza es sistem atica y ordenada. La importancia de esta lecci on puede ser
inferida del hecho de que es el fundamento en el que toda ciencia se apoya.
Durante mucho tiempo el progreso fue fatigosamente lento. Siglos de observaciones e in-
tentos de teoras para explicar dichos fen omenos antes de que Kepler dedujera sus leyes para
explicar en una primera aproximaci on c omo se mueven los planetas.
Lo maravilloso es que, independientemente de los constantes conictos que han producido
un orden social inestable, hubiera tantos hombres que encontraran placer en realizar paciente-
mente observaciones laboriosas que fueron necesarias para establecer las leyes de los movimien-
tos celestes.
La obra de Kepler cierra una epoca preliminar de unos doscientos a nos y los brillantes
descubrimientos de Newton abren otra. La invenci on del Calculo por Newton y Leibniz
proporcion o la herramienta matem atica adecuada para luchar contra problemas tan difciles
como los planteados por el efecto perturbador del Sol sobre el movimiento de la Luna, o la
perturbaci on mutua de los planetas.

e-mail: mpala@mcps.unizar.es
M. Palacios Astronoma y metodos numericos 2
Se puede considerar afortunada la invenci on del telescopio aproximadamente en los mismos
a nos, pues, sin su uso, no hubiera sido posible realizar observaciones sucientemente buenas
que proporcionaran datos numericos para las teoras matem aticas y por las cuales fueran
vericadas. La historia de la Mec anica Celeste durante el siglo XVIII est a llena de continuos
triunfos.
La fundamentaci on analtica de Clairaut, dAlambert y Euler es la base para la esplendida
terminaci on de Lagrange y Laplace. Sus sucesores en el siglo XIX hicieron avanzar, mediante
los mismos metodos, las teoras del movimiento de la Luna y los planetas hasta altos ordenes
de aproximaci on y los compararon con mejores observaciones. Los nombres de Gauss, Adams,
Leverrier, Delaunay, Hansen y Newcomb deben ser recordados en este contexto.
Cerca del nal del siglo XIX se abre una nueva epoca. Se distingue por los nuevos puntos de
vista y los nuevos metodos que, en potencia y en rigor matem aticos, sobrepasan enormemente
a los utilizados anteriormente. Fue inaugurada por Hill con su Teora de la Luna, pero le
debe mas a la brillante contribuci on de Poincare al Problema de tres cuerpos.
En la actualidad, la Mec anica Celeste se puede ver como la ciencia m as perfecta y como
uno de los logros m as esplendidos de la mente humana. Ninguna otra ciencia est a basada en
tantas observaciones extendidas en tan largo intervalo. En ninguna otra ciencia se pueden
chequear tan crticamente sus conclusiones, y en ninguna otra est an tan de acuerdo la teora y
la experimentaci on.
A la par que la Astronoma (la Mec anica Celeste, en particular) iba progresando, tambien
las Matem aticas lo hicieron; no en vano, muchos de los astr onomos ilustres tambien fueron
matem aticos renombrados; los metodos numericos, que al principio fueron ideados por as-
tr onomos para resolver problemas muy concretos de la Mec anica Celeste, llegaron a crear un
campo de investigaci on nuevo en las Matem aticas, como es el An alisis Numerico. Cuando
las m aquinas calculadoras se fueron haciendo cada vez m as r apidas y potentes, los metodos
numericos se fueron perfeccionando y aplicando no solo a los problemas de los que haban
nacido, sino a problemas de todo ambito, desde lo cientco-tecnol ogico a las ciencias sociales,
econ omicas o medio ambientales.
2 Algunos nombres para recordar
2.1 Neper (1550 1617)
Aunque Neper no es un matem atico tan brillante como los otros que citaremos m as ade-
lante, quiero dedicar una lneas a su trabajo, pues mi primer contacto en serio con la As-
tronoma, en el a no 1966, requiri o el uso sistem atico de las tablas de logaritmos neperianos de
Briggs.
La utilizaci on pr actica de las f ormulas astron omicas requera largos y tediosos c alculos.
M. Palacios Astronoma y metodos numericos 3
La invenci on de los logaritmos al comienzo del siglo XVII trajo consigo un enorme ahorro
de tiempo. John Napier, o Neper en latn, presento las primeras tablas de logaritmos en
1614, aunque por no estar en el sistema decimal no fueron de utilidad; Briggs las mejor o
presentandolas en forma decimal. Muchas mejoras se hicieron despues de estas tablas, aunque
todas contenan como una parte esencial los logaritmos de las funciones goniometricas, como
Neper lo hizo.
Los logaritmos fueron empleados durante muchsimos a nos en todas las ciencias, pero la
Astronoma se benecio de ellos m as que ninguna otra. La invenci on de los ordenadores
ha llevado consigo aumentar el tiempo de vida de los ultimos astr onomos al no tener que
utilizar tampoco las tablas de logaritmos. Pero ellos, los logaritmos, han hecho posibles muchas
investigaciones que, por culpa de su inmenso trabajo computacional, no hubieran sido posibles
sin su ayuda.
Como curiosidad podemos decir que Kepler, del que hablaremos en seguida, conoci o en
1616 el trabajo de Neper sobre logaritmos. Maestlin le manifest o que era indigno de un
matem atico serio regocijarse con una mera ayuda para los c alculos y que era imprudente
conar en los logaritmos, ya que nadie entenda c omo funcionaban. (Este comentario tambien
se hizo sobre los ordenados a principios de los sesenta). La respuesta de Kepler a la segunda
objecion fue publicar una demostraci on de c omo trabajaban los logaritmos, basada en una
fuente respetable: Los Elementos de Euclides, libro 5. Kepler calcul o tablas de logaritmos
con 8 dgitos, que fueron publicadas con las tablas planetarias Rudolphine Tables en 1628.
2.2 Kepler (1571 1630)
Johannes Kepler es conocido en la actualidad por su descubrimiento de las tres leyes del
movimiento planetario que ostentan su nombre publicadas en 1609 y 1619.
Tambien desarroll o importantes trabajos en

Optica (1604, 1611), descubri o dos nuevos
poliedros (1619), dio la primera demostraci on de c omo trabajan los logaritmos (1624) y dedujo
un metodo para calcular el volumen de s olidos de revoluci on que pueden ser interpretados
como una contribuci on al desarrollo del c alculo (1615,1616). Adem as, el calcul o las tablas
astron omicas m as exactas conocidas hasta entonces, cuya continuada exactitud hizo posible
establecer la certeza de la astronoma heliocentrica (Rudolphine Tables, Ulm, 1627).
Un elemento no racional ciertamente importante en la obra de Kepler es su cristianismo. El
extenso y exitoso uso de las matem aticas hace que su obra parezca moderna, pero realmente el
era un l osofo natural cristiano, para quien la comprensi on del universo inclua el entendimiento
de la naturaleza de su creador. De hecho, el cree que Dios ha creado el universo de acuerdo
con unas leyes matem aticas y nosotros debemos ir descubriendolas poco a poco.
M. Palacios Astronoma y metodos numericos 4
2.3 Newton (16421727)
Hubo un tiempo en que la nalidad de las matem aticas era resolver problemas concretos
mediante metodos constructivos: la predicci on de fenomenos celestes fueron triunfos famosos.
El punto culminante lo representa Euler que siempre tuvo en su mente en primer lugar el uso
numerico inmediato de sus f ormulas y algoritmos. Esta idea constructivista fue decreciendo
poco a poco hasta llegar a la matem atica l ogica en los tiempos de Dedekind ( 1916), Cantor
( 1918) y Zermelo( 1953).
Con la construcci on de computadoras cada vez m as r apidas la necesidad de algoritmos
nuevos se ha puesto de nuevo de moda y en estos momentos es verdaderamente una ebre.
Pero los metodos y algoritmos actuales tienen sus orgenes en los proporcionados por nuestros
precursores, casi siempre astr onomos.
La vida de Newton puede dividirse en tres periodos: hasta 1669 se dedic o a preparar su
catedra; de 1669 a 1687 fue el periodo verdaderamente productivo de su vida, y la ultima parte
de su vida la dedic o a vivir como ocial del gobierno muy bien remunerado y sin ning un interes
por las investigaciones matem aticas.
Newton complet o la formulaci on de los principios fundamentales de la Mec anica, y los
aplic o con inigualable exito a la resoluci on de problemas mec anicos y astron omicos. En 1687
se publico su tercer libro de los Principia, donde se enuncia su famosa Ley de Gravitaci on
Universal que dio lugar al nacimiento de una nueva ciencia: la Mec anica Celeste.
Newton haba dado sus demostraciones en un modo geometrico.(cf. g. 1)
Figure 1. Demostracion de Newton de la ley de las areas y deducci on de la fuerza de
atraccion.
En el siglo XVIII los metodos matem aticos tuvieron que ser renovados. En este siglo,
los matem aticos desarrollan el metodo algebraico del an alisis, en el que las dicultades de
tipo geometrico son reemplazadas por simples c alculos, de modo que ahora se pueden tratar
M. Palacios Astronoma y metodos numericos 5
problemas mucho m as difciles.
De hecho, Newton ya haba vislumbrado este metodo considerando su teora de las uxiones,
en la que investigaba los cambios en las cantidades consider andolas en el lmite de peque nas
variaciones. Estas ideas fueron desarrolladas al mismo tiempo por Leibniz, aunque formu-
ladas como c alculo innitesimal, por medio de f ormulas diferenciales e integrales; el C alculo se
convirti o en la m as potente herramienta de todos los siglos.
Newton no solo proporcion o la teora de la gravitaci on universal, sino que estableci o la
relaci on general entre fuerza, aceleraci on, distancia y masa. La tarea de sus sucesores sera la
de aplicar eso a todos los fen omenos de cuerpos que se mueven en la naturaleza. Y estos desar-
rollaron nuevas formas de los principios mec anicos importantes para todo tipo de movimientos.
Sin embargo, los astr onomos compartieron sus esfuerzos, por una parte, por la dicultad de
los problemas planteados que eran un estmulo para el ingenio, y, de otra, porque los re-
sultados de una teora tan fascinante podan ser vericados mediante observaciones precisas.
El descubrimiento del cometa Halley en 1758, tal y como haba sido predicho por Clairaut
aplicando la teora de Newton, fue considerado como un triunfo de la ciencia de Newton.
3 Ecuaci on de Kepler
La ecuaci on de Kepler que, en terminos astron omicos, se escribe en la forma
n(t T) = M = E e senE
es una ecuacion transcendente que, una vez resuelta en E, permite determinar la distancia r y
la velocidad v de una partcula en movimiento kepleriano en cualquier instante. Sin embargo,
dicha soluci on no puede ser expresada en forma explcita con un n umero nito de terminos.
Como la soluci on, y en consecuencia la posici on y la velocidad de la orbita, es conveniente
conocerla tan pronto como sea posible, los astr onomos han dedicado gran esfuerzo a la res-
oluci on de esta ecuaci on, y, as, en 1900, ya se conocan 123 metodos para su resoluci on. El
propio Kepler fue el primero que la resolvi o; el siguiente fue Newton en sus Principia, mediante
un metodo geometrico que utilizaba la cicloide; Gauss ide o un procedimiento para resolverla
(publicado en su Theoria Motus Corporum Coelestium, 1809) al localizar en 1801 la orbita del
aster oide Ceres, que haba sido observado y perdido poco despues.
El metodo gr aco es el m as sencillo (cf. g. 2)
Lagrange propuso un metodo pr actico de resoluci on mediante un desarrollo en serie de una
funcion
z = w + (z),
M. Palacios Astronoma y metodos numericos 6
Figure 2. Metodo gr aco para la resoluci on de la ecuaci on de Kepler.
como resulta ser la ecuaci on de Kepler al despejar E, que es convergente para peque nos valores
de , en nuestro caso, la excentricidad e.
E = M +
e
1
senM +
e
2
1
.
2
sen
2
M + ...
La complejidad computacional de esta serie crece r apidamente, aunque los 3 primeros
terminos dan una buena aproximaci on.
Moulton, en su libro [1] propone un metodo, que denomina de correccion diferencial, y
que obtiene desarrollando en serie de potencias en torno de una soluci on previa que obtiene con
el metodo de Lagrange. Es curioso que este metodo resulta ser el que ahora llamamos metodo
de Newton-Raphson, que como sabemos tiene convergencia cuadr atica para valores iniciales
sucientemente proximos a la soluci on buscada.
Este problema de la ecuaci on de Kepler ha sido ampliamente estudiado desde los tiempos
de Newton y, en palabras de Danby [11] the subject is open and there is plenty of scope
for further invention. Aparte de los metodos mencionados, entre los actuales m as usados
podemos citar los de Steensen, Newton, Halley , Ng, etc. Danby and Burkart [11] descartan
los distintos metodos existentes, y proponen como m as competente un metodo iterativo de
orden 4 junto con la elecci on del valor inicial
Si M < 0.1, entonces, x
0
= M + ((6M)
1/3
M) e
2
si M 0.1, entonces, x
0
= M + 0.85 e
(1)
Esta forma de actuar tiene la ventaja de que la soluci on es obtenida en tan solo 2 iteraciones
con una aproximaci on de 10
12
y no necesita ning un control adicional.
Sin embargo, esto no es la panacea, como nosotros hemos probado [7], pues hace falta
tener en cuenta tambien el costo computacional. Nosotros hemos considerado un metodo de
Newton acelerado con orden de convergencia 3, optimizado para que el n umero de operaciones
aritmeticas elementales sea el mnimo, y hemos comparado con el metodo de Danby en las
M. Palacios Astronoma y metodos numericos 7
situaciones extremas siguientes:
M e
Caso 1) 0.05 0.09
Caso 2) 0.05 0.95
Caso 3) 0.9 0.09
Caso 4) 1.5 0.5
Caso 5) 3.0 0.09
Caso 6) 3.0 0.9
y hemos obtenido para el tiempo de computaci on en segundos los resultados siguientes:
Newton accelerated Newton Danby
Caso 1) 0.0071 0.0047 0.0075
Caso 2) 0.0072 0.0066 0.0116
Caso 3) 0.0058 0.0048 0.0116
Caso 4) 0.0056 0.0046 0.0116
Caso 5) 0.0058 0.0052 0.0116
Caso 6) 0.0071 0.0063 0.0116
en donde observamos que los mejores resultados corresponden al metodo que nosotros pro-
ponemos.
Podemos concluir que la convergencia s olo no es suciente, hace falta tener en cuenta la
eciencia que es un concepto numerico moderno.
4 Mnimos cuadrados
Una idea ja en todos los tiempos de la Astronoma ha sido la posibilidad de observar. Al
principio, solamente la observaci on era interesante y la localizaci on en la esfera celeste de los
cuerpos celestes; luego, cuando las leyes de Kepler y de Newton aparecieron y se pudo predecir
la posici on de los cuerpos celestes se siguio observando para constatar las predicciones, y se
construyeron mejores aparatos de observaci on para descubrir lo predicho e incluso otros objetos
no mencionados que a su vez obligaron a mejorar las leyes y los metodos y los medios de c alculo.
La ebre de los astr onomos por observar y hacerlo bien ha sido una constante y muchos y
grandes matem aticos han participado de esa ebre.
Al principio, el tratamiento que se haca de las observaciones era muy simple: mediante
alg un criterio subjetivo se eliminaban las observaciones consideradas malas y se trabajaba
con las buenas. Este es el problema de la reducci on de las observaciones.
M. Palacios Astronoma y metodos numericos 8
Por ejemplo [2], Bessel (1784-1827) realiz o una reducci on de las observaciones de Harriot
del cometa Halley recomendada por Olbers. La calidad del trabajo realizado, determinando no
solo los errores de las observaciones, sino tambien las constantes astron omicas necesarias para
dicha reducci on, puso muy alto el nivel a los constructores de instrumentos y a los astr onomos
que trabajaran con ellos.
El propio Bessel se atrevi o a decir: Cada instrumento es construido dos veces, una por
el artesano en acero o cualquier otro material y otra por el astr onomo, en papel, mediante la
lista de las correcciones necesarias que deduce de sus investigaciones.
En el siglo XVII, cientcos del calibre de Huygens y Picard se dieron cuenta de que el
promedio de cierto n umero de medidas sera mejor que una seleccionada de entre ellas.
En el siglo XVIII se aplico mucho m as esta idea del promedio y fue cuando se estableci o el
concepto de probabilidad de los errores. Esta manera de verlos adquiere su forma te orica con la
teora de errores desarrollada por Laplace y Legendre y en la ley cuadr atico-exponencial de los
errores de Gauss (la famosa campana de Gauss). Estas teoras proporcionan a los computadores
un procedimiento de manejar las series de datos observados de acuerdo con ciertas reglas que
excluyen toda arbitrariedad.
En el siglo XIX, el metodo de trabajo con los datos empez o a ser el de los mnimos
cuadrados, ya presentado y utilizado por Gauss, en 1804; por ejemplo, Hencke (1791-1865),
en su reduccion de los tr ansitos de Venus, en 1813, utiliz o el metodo de los mnimos cuadrados
de Gauss.
Este procedimiento sistem atico liber o a los astr onomos de la decisi on de saber cu al era
el mejor de entre una serie de datos; se pas o as a utilizar el termino m as probable y a
considerar el error medio y el error probable como indicadores objetivos de la incertidumbre
en las observaciones.
El metodo de los mnimos cuadrados b asicamente consiste en resolver el problema de min-
imizaci on siguiente:
Siendo A una matriz m n, denida con errores (de observaci on, por ejemplo), n << m,
encontrar x tal que
min||Ax b||
cuya soluci on se encuentra al resolver el sistema de ecuaciones normales de Gauss
A
T
Ax = A
T
b, (2)
que no es otra cosa que un sistema de ecuaciones lineales.
M. Palacios Astronoma y metodos numericos 9
5 Eliminaci on gaussiana
Los babilonios ya estudiaron problemas que conducen a la resoluci on de un sistema de
ecuaciones lineales. Algunos de ellos se han conservado en tablillas de arcilla. Por ejemplo,
una tablilla que est a datada alrededor del a no 300 BC contiene el siguiente problema:
Hay dos campos cuya area total es de 1800 baras cuadradas. Una produce grano en la
proporci on de 2/3 de arroba por bara cuadrada, mientras que el otro produce grano en la
proporci on de 1/2 de arroba por bara cuadrada. Si la producci on total es de 1100 arrobas,
cual es el tama no de los dos campos?. (
1
)
Los chinos van m as all a que los babilonios y en el texto Nueve captulos del arte de las
Matem aticas, escrito durante la dinasta de los Han, entre 200 BC y 100 BC, se plantea un
problema similar al anteriormente citado y se resuelve por el metodo de eliminaci on gaussiana.
Sin embargo, hasta el siglo XVIII y principio del XIX no aparece claro el metodo.
En 1772, Laplace proclamaba que el metodo propuesto por Cramer y Bezout no era pr actico
y, en un artculo en el que el estudiaba la orbita de los planetas interiores, discuta la soluci on de
sistemas de ecuaciones lineales sin resolverlas, a base de determinantes, aunque el los llamaba
resolventes; por cierto, la misma palabra que utiliza Leibniz, aunque no conoca este trabajo.
Laplace dio una forma de desarrollar un determinante que todava lleva su nombre.
Lagrange, en un artculo de 1773 sobre mec anica, ya presenta lo que ahora entendemos
como interpretaci on del concepto de determinante como volumen del tetraedro determinado
por cuatro puntos del espacio tridimensional.
El concepto de determinate fue introducido por Gauss (1801), as como la multiplicaci on
de matrices y el de matriz inversa.
Gauss, por n, es el que introduce un metodo sistem atico para la resoluci on de sistemas de
ecuaciones lineales, que ahora llamamos metodo de eliminaci on gaussiana, en un trabajo en el
que estudia la orbita del aster oide Pallas. Usando observaciones de Pallas tomadas entre 1803
y 1809, obtuvo un sistema de seis ecuaciones con seis inc ognitas.
Claro que, ahora, el metodo de Gauss se plantea en nuestros ordenadores como un metodo
de factorizaci on LU en el que las matrices L, triangular inferior con L
jj
= 1, y U, triangular
superior, se encuentran mediante un sencillo algoritmo, que algunos contempor aneos llaman
metodo de Doolittle o de Cr out y que nosotros, siguiendo a Iserles, exponemos en la forma
vectorial siguiente:
Escribamos L como la matriz la por bloques de columnas l
1
, . . . , l
n
y U como la matriz
1
El problema originalmente est a enunciado en unidades locales, pero es sorprendente que las cantidades se
corresponden con las unidades locales de la comarca del alto Jiloca de hace unos pocos a nos, por eso les hemos
puesto nombres mas familiares; 1 bara 82 cm., 1800 b
2
2.5 robos, 1 robo extension que poda labrar una
yunta en un da, 1 arroba 12 Kg. Tambien es sorprendente que la producci on que se cita es practicamente
la misma que se daba en dicha comarca en la posguerra espa nola.
M. Palacios Astronoma y metodos numericos 10
columna por bloques de las u
T
1
, . . . , u
T
n
, por lo que:
A = LU = [l
1
. . . l
n
]
_

_
u
T
1
u
T
2
.
.
.
u
T
n
_

_
=
n

k=1
l
k
u
T
k
Ahora, se determinan las matrices L y U mediante el siguiente algoritmo:
input A
0
= A
para cada k = 1, 2, . . . , n
u
T
k
= la k-esima de A
k1
l
k
la k-esima columna de A
k1
escalada para que L
kk
= 1
calcular A
k
= A
k1
l
k
u
T
k
incrementar k.
Como todos los elementos de las primeras las y columnas de A
k
son nulos, L y U se pueden
almacenar en el mismo lugar que la matriz inicial A sin necesidad de memoria adicional. Esta
formulaci on es muy adecuada para usarla con ordenadores vectoriales.
Esta manera de obtener la factorizaci on puede utilizarse con mayor provecho para fac-
torizar matrices simetricas o huecas o que tengan alguna estructura especial, y resolver los
correspondientes sistemas lineales.
Claro que este tipo de factorizaci on no es el sumum; supongamos que tuvieramos que
resolver mediante un ordenador el sistema de ecuaciones normales(2), como el que Gauss se
encontr o, correspondiente a un problema de mnimos cuadrados.
Observemos que: 1) A
T
A puede resultar singular o mal condicionada; 2) si la matriz A es
hueca, puede ser reemplazada por una matriz A
T
A densa; 3) construir A
T
A puede conducir
a perdida de aproximaci on.
Por otro lado, las operaciones elementales que se realizan en la eliminaci on gaussiana no
conservan la norma de los vectores, es decir, no conservan los errores. Conviene, por lo tanto,
realizar otras operaciones elementales denidas por matrices ortogonales que estas s conservan
la norma y no amplican los errores.
Se considera en estos casos la factorizaci on A = QR, con Q una matriz ortogonal y R una
matriz triangular superior. De esta forma, el problema de las ecuaciones normales de Gauss
se transforma en el siguiente:
min||Rx Q
T
b||
cuya soluci on se encuentra resolviendo las n primeras ecuaciones del sistema:
Rx = Q
T
b.
M. Palacios Astronoma y metodos numericos 11
6 Efemerides lunares
Una de las piedras de toque m as habitualmente utilizadas para contrastar las diversas
teoras ha sido la Luna con su complicado movimiento, ya que al estar tan cerca (la distancia
media Tierra-Luna es 384.400 Km) es muy f acil obtener datos de observaci on. La construc-
cion de tablas lunares (de la posici on de la Luna) ha sido desde muy antiguo una tarea muy
interesante a la que se le ha dedicado mucho tiempo.
Las tablas lunares han sido y siguen siendo imprescindibles para la determinaci on, en
particular, de la orbita de los satelites articiales. Se requiere que estos datos sean los mejores
posibles para poder mejoras los resultados de cualquier integraci on.
Evidentemente, las observaciones, tanto de la Luna como de otros objetos celestes, se
hacen en instantes separados por intervalos de tiempo. Se hace imprescindible interpolar
para obtener los valores en los instantes no medidos. Para ello han sido necesarias formulas de
interpolaci on cada vez m as exigentes.
Durante muchos a nos, el metodo b asico de interpolaci on ha sido el de diferencias nitas.
Los astr onomos estaban muy acostumbrados a manejar tablas de diferencias (y de otro tipo)
a mano, por lo que mejorar los resultados de dichas tablas con el menor gasto calculstico fue
una tarea seria. As, aparecen tablas en diferencias utilizando puntos igualmente espaciados y
diferencias progresivas, regresivas, centrales, promediadas, etc. y tambien tablas en diferencias
divididas.
F ormulas de interpolaci on muy utilizadas en su tiempo y propuestas por astr onomos ilustres
son las que citamos a continuaci on:
Lagrange + Aitken + Neville, Newton progresiva y regresiva, Gauss progresiva y regresiva,
Hermite, Lindstedt, etc. son m as o menos conocidas en el ambiente matem atico. Otras lo son
mas bien el ambiente astron omico, como las siguientes:
Newton progresiva
p
n
(s) = f
0
+
_
_
s
1
_
_
f
0
+ . . . +
_
_
s
n
_
_

n
f
0
Gauss regresiva
p
n
(s) = f
0
+
_
_
s
1
_
_
f
1
+
_
_
s + 1
2
_
_

2
f
1
+. . . +
_
_
s
n 1
_
_

n1
f
1
+
_
_
s + 1
n
_
_

n
f
1
Stirling ( 1880 ) para interpolar cerca del punto central, se escribe en terminos de los operadores
diferencia promedio y diferencia central:
p
2k
(s) = f
0
+
_
_
s
1
_
_
_
f
0
+
s
2

2
f
0
_
+ . . . +
_
_
s + k 1
2k 1
_
_
_

2k1
f
0
+
s
2k

2k
f
0
_
M. Palacios Astronoma y metodos numericos 12
Bessel (1784-1846) para interpolar a media distancia entre los dos puntos centrales
p
2k+1
(s) = f
1/2
+ (s 1/2) f
1/2
+
_
_
s
2
_
_
_

2
f
1/2
+
1
3
(s
1
2
)
3
f
0
_
+ . . .
+
_
_
s + k 1
2k
_
_
_

2k
f
1/2
+
1
2k + 1
(s
1
2
)
2k+1
f
0
_
J. D. Everett (1899, 1900 ) [3]
p
2k+1
(s) =
_
_
1 s
1
_
_
f
0
+
_
_
s
3
_
_

2
f
0
+ . . . +
_
_
k + 1 s
2k + 1
_
_

2k
f
0
+
_
_
s
1
_
_
f
1
+
_
_
s + 1
3
_
_

2
f
1
+ . . . +
_
_
s + k
2k + 1
_
_

2k
f
1
Esta es la m as utilizada por su simetra y porque solo utiliza diferencias pares, y porque
proporciona un polinomio de grado mayor que la diferencia m as alta empleada. Esta f ormula
de Everett se ha estado utilizando en Astronoma hasta muy recientemente; por ejemplo, para
determinar las coordenadas geocentricas del Sol referidas al equinocio de 1950.0, lo cual es
muy importante en determinaci on de orbitas de satelites articiales; tambien se utiliza para la
obtenci on de metodos en diferencias del tipo St ormer-Cowell, para la integraci on de problemas
de valor inicial, denominados de Gauss-Jackson, ampliamente utilizados hasta tiempos recientes
[6].
Todas ellas son matem aticamente equivalentes al c alculo del polinomio de interpolaci on,
que se prueba que es unico bajo ciertas hip otesis, y su evaluaci on en un punto. Evidentemente,
si el calculo explcito del polinomio no se requiere, la reducci on en tiempo de c alculo es natural.
Modernamente, tambien otros tipos de interpolaci on est an siendo utilizadas no s olo en
Mecanica Celeste, sino tambien en otras ciencias. La interpolaci on spline, que consiste en
yuxtaponer polinomios de interpolaci on de grado bajo, utilizada para muchos prop ositos, por
ejemplo, para la detecci on de fallas en el suelo o el almacenamiento del ritmo cardaco durante
24 horas para detectar crisis cardacas. La interpolaci on racional, Pade, etc. . . .
Utilizando estas f ormulas de interpolaci on para sustituir el integrando de las integrales
denidas se pueden obtener f acilmente f ormulas de integraci on numerica del tipo de Newton-
Cotes, que no son numericamente estables.
Debido al problema de que los polinomios de grado alto oscilan mucho, estas f ormulas no
se utilizan nada m as que con grados peque nos y a un en una forma especial, construyendo las
f ormulas compuestas de cuadratura.
Gauss descubrio que mediante una elecci on adecuada de los puntos de interpolaci on se
pueden construir f ormulas de integraci on, llamadas f ormulas de cuadratura gaussianas,
M. Palacios Astronoma y metodos numericos 13
que, usando N+1 puntos de interpolaci on, den el valor exacto de la integral si f es un poli-
nomio de grado menor o igual que 2N +1. Estas f ormulas resultan numericamente estables.
7 Pertubaciones por medio de cuadraturas mecanicas
Clairaut, cuando comprob o que el problema de 3 cuerpos le resultaba imposible de resolver
analticamente, (cf. [2], p. 299), aunque haba sido capaz de plantear las ecuaciones con cierta
facilidad, pens o abandonarlas y comenzar a utilizar el metodo de aproximaciones (sucesivas),
que b asicamente es el metodo de Picard como lo conocemos ahora. Otros astr onomos famosos,
como Euler, escribieron cosas similares, en el sentido de que s olo el ataque te orico no era
suciente para obtener la soluci on.
El termino perturbaciones especiales (cf. [5]) se reere a la determinaci on de una orbita
mediante integraci on numerica de modo que se pueden incluir todas las fuerzas perturbadoras
que hacen que una orbita se separe de su forma kepleriana. El metodo de perturbaciones
especiales es interesante para orbitas que tienen una duraci on limitada, por ejemplo, trayec-
torias interplanetarias o lunares, orbitas de cometas y para los cinco planetas exteriores. La
condiciones iniciales para dichas trayectorias deber an ser calculadas con los metodos cl asicos
de Laplace, Gauss, Gibbs-Herrick, etc.
A causa del n umero de pasos de integraci on a realizar y del hecho de que el error acumulado
crece con el n umero de pasos, el metodo de perturbaciones especiales no est a aconsejado para
predicciones a largo plazo o movimiento de la Luna o predicci on a largo plazo de orbitas de
planetas interiores, para los cuales hay excelentes tablas obtenidas con metodos de perturba-
ciones generales.
Hay que tener presente que la elecci on de la tecnica numerica de integraci on que se vaya
a emplear, bien sea Runge-Kutta, Milne, Gauss-Jackson, Adams, etc., es enteramente inde-
pendiente del metodo de perturbaciones adoptado. Los m as famosos son el de Cowell, el de
Hencke y el de variaci on de los par ametros. El de Cowell es el que nosotros utilizamos en la
integraci on del problema del satelite articial.
Se denomina metodo de Cowell [5] al metodo que considera la integraci on directa paso a
paso de la aceleraci on total, central y perturbadora, de un vehculo. En muchas ocasiones se
asocia con el nombre de St ormer (1874-1957). Es curioso que este metodo que es sencillo, fue
desarrollado m as tarde que el metodo mucho m as complicado de Hencke.
El primer problema resuelto mediante el metodo de Cowell fue la determinaci on de la
orbita del octavo satelite de J upiter (Pasifae, descubierto en 1908 por Melotte, a = 23.637.000
Km, P = 2.1 a nos, di ametro= 20 Km). La necesidad de acarrear un gran n umero de dgitos
signicativos debido al termino de la gran fuerza central es una desventaja de este metodo.
M. Palacios Astronoma y metodos numericos 14
Alguno de nuestros predecesores comenta que la necesaria disminuci on del paso de integraci on,
especialmente en donde la fuerza central es m as grande, hace tedioso el c alculo a mano, como
lo hacan nuestros antepasados.
El advenimiento de las calculadoras de gran velocidad ha hecho revivir este metodo. Por
ejemplo, las coordenadas de los 5 planetas exteriores, las orbitas interplanetarias, etc. se han
determinado por este metodo.
Para orbitas de gran precisi on, el error de redondeo hace tender al lmite la utilidad de este
metodo. Aun con doble precisi on, la aproximaci on se pierde, pues la informaci on contenida en
tablas como pueden ser las coordenadas de los planetas no se tienen nada m as que con siete u
ocho dgitos. Por otro lado, la interpolaci on necesaria introduce otros errores aleatorios y de
redondeo para otros valores que no esten en las tablas
Se ha comprobado que el tiempo de c alculo es mayor para este metodo que para otros
metodos de perturbaciones. A su favor tiene su simplicidad y la posibilidad de ser aplicado a
una gran generalidad de problemas.
El metodo de Hencke, propuesto por este astr onomo alem an hacia 1860, consiste en integrar
la ecuaci on que dene la diferencia entre la orbita kepleriana real y otra orbita de referencia;
en este ocasion las magnitudes que se deben manipular son mucho m as peque nas, y de alg un
modo la fuerza central, m axima responsable del movimiento, ha sido eliminada.
Para la integraci on de problemas difciles de resolver analticamente o que requieran la
consideraci on de perturbaciones que no dejan obtener la soluci on en dicha forma, que en la
actualidad podemos formular como un PVI en la forma siguiente:
y

= f(t, y), y(t

0
) = y
0
, t [t
0
, T], (3)
Moulton propone en su libro de 1901 ( [1], p. 425 ) el metodo de cuadraturas mecanicas,
que consiste en integrar la ecuaci on diferencial en el intervalo [t
n
, t
n+1
] sucientemente peque no
sustituyendo el integrando por su polinomio de interpolaci on e integrar este, aunque tiene
dicultades si el problema a integrar depende del tiempo y de la soluci on que se busca, como
en (3).
Sin embargo, mucho antes ya se haban resueltos problemas con tal tipo de metodos. El
primero fue dado por Euler, en 1768, en su libro Instituciones Calculi Integralis (Sectio
Secunda, Caput VII) [14] y el mismo estudi o su convergencia lineal; se puede formular en la
forma siguiente:
y
1
= y
0
+ h
0
f(x
0
).
Debido a su lenta convergencia no resultaba pr actico y pronto se buscaron mejoras y general-
izaciones que aliviaran esta dicultad. Una primera tentativa la dio Gauss con su f ormula del
punto medio
y
1
= y
0
+ h
0
f(x
0
+
h
0
2
),
M. Palacios Astronoma y metodos numericos 15
en el caso de que f = f(t). Pero, como calcular el valor de f en el punto intermedio?.
En 1895, a Runge se le ocurri o utilizar el metodo de Euler con paso h/2 y escribir
k
1
= f(x
0
, y
0
)
k
2
= f(x
0
+
h
0
2
, y
0
+
h
0
2
k
1
)
y
1
= y
0
+ hk
2
El punto crucial es que k
2
es multiplicado por h y de esta forma el error resulta de orden mayor.
Heun, en 1900, tambien construy o otro metodo con dos pasos adiciones del metodo de
Euler. Pero fue Kutta, en 1910, el que formul o el esquema general de los que hoy deno-
minamos metodos de Runge-Kutta y resolvi o las ecuaciones de condici on de orden; para
ordenes altos estas ecuaciones resultan muy complicadas y por eso el mismo Kutta no las
incluy o en su trabajo (aunque s lo hizo Heun (1900)); sin embargo, muy recientemente, con
las ideas de los arboles de Butcher y el trabajo de Hairer y otros esto se puede formular muy
sencillamente, incluso para metodos R-K implcitos.
Los metodos Runge-Kutta se pueden expresar en la forma siguiente:
y
0
=
y
n+1
= y
n
+ h
m

j=1
b
j
g
nj
, 0 n N 1 (4)
donde las funciones g
nj
estan denidas por
g
nj
= f(t
n
+ c
j
h, y
n
+ h (a
j1
g
n1
+ a
j2
g
n2
+ + a
jm
g
nm
)), j = 1, . . . , m
siendo las constantes a
jk
, b
j
, c
j
dependientes del metodo, pero independientes del PVI, y tales
que c
j
=

j1
k=1
a
jk
.
Su presentaci on se simplica notablemente con la notaci on matricial de Butcher siguiente:
c
1
a
11
a
12
a
13
a
14
c
2
a
21
a
22
a
23
a
24
c
3
a
31
a
32
a
33
a
34
c
4
a
41
a
42
a
43
a
44
b
1
b
2
b
3
b
4
Table 1. Tabla de Butcher para un metodo Runge-Kutta de 4 etapas.
Las primeras estimaciones te oricas del error de estos metodos fueron presentadas por Runge
en 1905, mediante utilizaci on de los desarrollos de Taylor, aunque no tienen ninguna aplicaci on
pr actica, ya que es necesario para ello calcular algunas derivadas de la funci on f; Richardson
M. Palacios Astronoma y metodos numericos 16
(1910) dio la primera estimaci on del error, extrapolaci on de Richardson, con verdadero
interes practico, calculando el nuevo valor de la soluci on con un paso 2 h y con dos pasos h y
comparando ambos. Mucho m as se ha mejorando en este sentido mediante la construcci on de
los llamados pares encajados, en particular, los llamados Runge-Kutta-Fehlberg (1968), que
utilizan dos metodos R-K muy parecidos pero de ordenes p y p+1.
El primer metodo R-K implcito fue utilizado por Cauchy (1824) para la estimaci on del
error. Nuevo mpetu han adquirido estos R-K implcitos en relaci on con la resoluci on de
problemas sti.
Los metodos multipaso lineales. Otra mejora del antiguo metodo de Euler fue introduci-
da incluso antes que los R-K, y es debida a J. C. Adams, famoso astr onomo universalmente
recordado por su papel como co-descubridor del planeta Neptuno en 1865. Estos metodos
fueron desarrollados por Adams para resolver un problema propuesto por Bashforth relativo a
la acci on de la capilaridad. El problema y el metodo para resolverlo aparecen en un trabajo
de Bashforth (1883).
En contraste con los metodos de un paso, por ejemplo, los Runge-Kutta, el algoritmo
de Adams consta de dos partes: i) un procedimiento de inicializaci on que proporciona los
valores y
1
, . . . , y
k1
, aproximaciones a la soluci on exacta en los instantes t
1
, . . . , t
k1
igualmente
espaciados, ii) una f ormula multipaso para obtener una aproximaci on de la soluci on en el
instante t
k
.
Hay varias formas de obtener esos valores de partida: desarrollando la soluci on exacta
mediante la f ormula de Taylor, utilizando un metodo de un paso, utilizando un metodo de
Adams de orden menor y paso mucho m as peque no.
Los metodos de Adams pueden ser explcitos o implcitos. Las f ormulas explcitas se ob-
tienen en la siguiente forma: 1) se integran ambos miembros de la ecuaci on (3) en el intervalo
[t
n
, t
n+1
] y 2) se aproxima el integrando por el polinomio de interpolaci on de Newton en difer-
encias regresivas de la funci on f(t, y) en los nodos t
nk+1
, . . . , t
n
; con esto, estos metodos se
pueden expresar en la forma:
y
n+1
= y
n
+ h
k1

j=0

j
f
n
Estos metodos no son muy aproximados, debido a que se integra en un intervalo mayor que
aquel en el que est an contenidos los nodos, y es sabido que la interpolaci on polinomial no da
buenos resultados fuera del mencionado intervalo. Por esto, se pens o en los metodos implcitos.
Los metodos implcitos de Adams se obtienen en la misma forma, pero integrando el poli-
nomio de interpolaci on en los nodos t
nk+1
, . . . , t
n+1
; se pueden expresar en la forma:
y
n+1
= y
n
+ h
k

j=0

j

j
f
n+1
(5)
Estos metodos implcitos dan, en general, mejor aproximaci on que los explcitos, pero a
M. Palacios Astronoma y metodos numericos 17
cambio es necesario resolver la ecuaci on (5) por iteraci on funcional para obtener una aprox-
imaci on a la soluci on numerica y
n+1
. De hecho, Adams lo resolva mediante el metodo de
Newton-Raphson, como actualmente se hace en los metodos implcitos para problemas sti.
En la pr actica, Moulton (1926) y Milne (1926) resolvieron el problema planteando estos
metodos en la forma predictor-corrector, calculando un valor aproximado de y
n+1
con un
metodo explcito y a continuaci on mejor andolo con otro implcito.
Normalmente, las f ormulas explcitas son atribuidas a Adams-Bashforth y las implcitas a
Adams-Moulton, sin embargo, ambas son debidas a Adams. (cf. [14], p. 312)
Los metodos BDF fueron introducidos por Curtis and Hirschfelder (1952). B asicamente
consisten en sustituir la derivada del primer miembro de (3) por una aproximaci on, es decir,
por un cociente incremental adecuado y el segundo miembro por su valor en el nodo t
n
, formulas
explcitas, o en el nodo t
n+1
, formulas implcitas.
Sin m as que sustituir las diferencias, modo tpico de trabajar en los tiempos de Adams, por
las correspondientes expresiones en terminos de los valores de la funci on, todos estos metodos
se pueden presentar en la forma moderna siguiente:

0
y
n+1
+
1
y
n
+ . . . +
k
y
nk+1
= h(
0
f
n+1
+
1
f
n
+ . . . +
k
f
nk+1
)
Como las ecuaciones de la Din amica suelen ser ecuaciones diferenciales de segundo
orden, se han buscado metodos numericos que las resuelvan sin reducirlas a un sistema de
primer orden, que es el procedimiento tradicional.
En estos metodos se pretende sacar el benecio que Herrick [6] asegura que existe al integrar
directamente un problema de segundo orden, en lugar de integrar dos veces al transformarlo
en un sistema de primer orden.
No es extra no que, puesto que muchas de las ecuaciones de la Mec anica celeste son de
segundo orden, hayan sido los astr onomos los que han dado los primeros pasos en este campo.
Uno de los metodos de este tipo que aparecieron en primer lugar es el de los denominados
metodos de St ormer-Cowell; explcito el primero, debido a St ormer, 1904, (que lo con-
struy o tratando de estudiar el movimiento de partculas cargadas electricamente en el campo
magnetico de la Tierra al analizar las auroras boreales), su esfuerzo y dedicaci on a este empe no
se reeja en la frase del mismo St ormer: el c alculo de 120 trayectorias nos ha costado m as
de 4500 horas. El segundo implcito, propuesto por Cowell y Cromelin en 1910, al investigar,
una vez m as, el movimiento del cometa Halley.
Ambos se obtienen en forma parecida a los metodos de Adams para integrar el problema
y

= f(y), dando:
y
n+1
2 y
n
+ y
n1
= h
2
k

j=0

j
f
n
, y
n
2 y
n1
+ y
n2
= h
2
k

j=0

j

j
f
n
M. Palacios Astronoma y metodos numericos 18
Los metodos de Runge-Kutta-Nystr om fueron propuestos por el mismo, en 1925, para
integrar las ecuaciones de segundo orden, siguiendo la idea fundamental de los metodos antes
mencionados. Estos metodos se simplican notablemente en el caso de que la funci on f no
dependa de las derivadas, es decir, f = f(t, y).
8 Satelites articiales.
El lanzamiento de los primeros satelites articiales ha permitido y obligado a mejorar
a la ciencia en muchos sentidos, no solo matem atico y astron omico. Adem as, esta era ha
coincidido con la creaci on y expansi on de los ordenadores, que han permitido realizar c alculos
inimaginables en muy poco tiempo.
De una parte, fue necesario predecir con gran precisi on la posici on de los satelites para
poderse comunicar con ellos. Lo que exigi o, en un proceso interactivo, mejorar los metodos de
integraci on y mejorar los modelos de perturbaciones (frenaje atmosferico, mareas oce anicas,
presion de radiaci on solar, albedo, etc.), a la vez que mejorar los sistemas de comunicaciones
y los medios de observaci on.
Se lanzaron satelites con muy diversos prop ositos. Algunos, como el Starlette, Lageos,
Etalon, SPOT, Topex-Poseidon, Molnyia, Meteosat, etc. con interes cientco o estrategico.
Otros muchos para navegaci on y comunicaciones, como los GPS, Eutelsat, Hispasat, etc. Unos
pocos para prop ositos exclusivamente astron omicos, como el Voyager, Hubble, Mars Lander,
etc. La variedad y cantidad de misiones es tan enorme y tan actual y tan difundida a nivel
popular que no vamos a extendernos m as aqu.
Los satelites articiales han permitido conocer m as a fondo la naturaleza fsica de los
planetas, aster oides, cometas, etc.; han permitido descubrir nuevos objetos en el universo. etc.
Pero la necesidad de manejar datos de observaci on no solo no se ha reducido, sino que ha
aumentado de forma impensable, y los errores de observaci on, aunque m as peque nos, siguen
en el mismo sitio que en los tiempos de Gauss, es decir, con el mismo tratamiento b asicamente.
Los muchos millones de datos recibidos, por ejemplo, del satelite LAGEOS han permitido
durante a nos mejorar interactivamente el modelo de potencial terrestre y con ello mejorar la
orbita del mismo y la de los dem as satelites.
Los datos recibidos del SPOT nos han permitido conocer mucho mejor nuestro planeta en
su supercie, hasta el punto de poder crear mapas tridimensionales de gran resoluci on.
El manejo de esas ingentes cantidades de datos ha obligado a desarrollar otras tecnicas de
actualidad como la compresi on de datos por medio de polinomios de Chebyshev.
Precisamente esta tecnica ha sido incorporada muy recientemente a la obtenci on de las
efemerides lunares publicadas por el USNO (U.S. Naval Observatory) gracias al empe no de A.
Deprit.
M. Palacios Astronoma y metodos numericos 19
Figure 3. El satelite geodesico LAGEOS y el de navegaci on GPS-35.
El conocimiento de nuevas tecnicas numericas y analticas para determinaci on de orbitas ha
permitido a su vez lanzar satelites cuyas orbitas tienen algunas particularidades; por ejemplo,
las orbitas congeladas, cuyo perigeo repite siempre sobre el mismo punto de la Tierra, como
ocurre en las constelaciones de satelites para comunicaciones, o en los satelites espas, etc.
Una gran mejora en la calidad de los resultados en la determinaci on de orbitas, tanto
analtica como numerica, as como en la velocidad de obtenci on, se ha conseguido mediante la
utilizaci on de sistemas de coordenadas adecuadas. Gran esfuerzo se ha dedicado a la obtenci on
de variables universales. Un sistema de referencia especialmente interesante desde el punto
de vista din amico y tambien computacional, es el sistema ideal, denominado as desde los
tiempos de Hansen.
9 Algebra de cuaternios
Un ilustre astr onomo, Sir Williams Rowan Hamilton (1805 1865), lleg o a ser director del
Royal Observatorio y se le atribuye, junto a Jacobi, el planteamiento de la famosa ecuaci on de
Hamilton-Jacobi, 1842
En 1833, Hamilton consigui o expresar los n umeros complejos como pares ordenados de
n umeros reales. Escribi o el libro On a General Method in Dynamics en donde utilizaba el
algebra y deni o el concepto de funci on caracterstica aplicada a la din amica, en una forma
diferente a la habitual, como la variaci on de la acci on desde el punto inicial al nal.
En 1835, Hamilton public o Algebra as the Science of Pure Time.
Hamilton fue nombrado caballero en 1835. Trat o de extender la teora de pares algebraicos
a tripletas, lo que se convirti o en una obsesi on; hasta sus hijos le preguntaban: Pap a, puedes
ya multiplicar tripletas?, pero solo poda sumar y restarlas.
En 1843, caminando por la orilla del Canal Real para presidir un Consejo de la Royal Irish
Academy descubrio los cuaternios, la primera algebra no conmutativa que iba a ser estudiada.
No pudo resistirlo y grab o en las piedras del puente de Brougham la relaci on b asica:
i
2
= j
2
= k
2
= i j k = 1
M. Palacios Astronoma y metodos numericos 20
Hamilton sinti o que este descubrimiento revolucionara la fsica matem atica y gast o el resto de
sus das trabajando sobre cuaternios.
La teora de cuaternios no ha evolucionado mucho desde aquellos tiempos y se ha utilizado
sistematicamente para interpretar las rotaciones, en particular, en teora cu antica, tambien en
otras disciplinas como el dise no gr aco. La utilizaci on de cuaternios para ejecutar las rotaciones
necesarias permite a los ordenadores presentar en pantalla en tiempo real el resultado de rotar
una gura con un simple movimiento del rat on.
En din amica orbital, el movimiento perturbado de dos cuerpos (por ejemplo, el de un
satelite terrestre) puede ser descompuesto en dos partes no independientes:
movimiento del plano orbital
movimiento del cuerpo sobre dicho plano;
pues bien, el movimiento del plano orbital puede ser descrito mediante la variaci on instant anea
del cuaternio que dene la rotaci on de dicho plano desde una posici on inicial conocida. El
movimiento del cuerpo sobre el plano es un movimiento plano y por lo tanto mucho m as
sencillo de tratar.
Nosotros hemos estudiado esta situaci on en el caso concreto del problema del satelite ar-
ticial terrestre, habiendo obtenido resultados muy interesantes. Por ejemplo, con esta for-
mulaci on desaparecen las singularidades debidas a la peque na excentricidad o la inclinaci on
peque na o pr oxima a 90. Se reduce el tiempo de computaci on, lo mismo que en el caso del
dise no gr aco. Y otro aspecto tambien importante desde un punto de vista numerico, se mejora
en dos cifras por lo menos los resultados obtenidos con la formulaci on cl asica en coordenadas
cartesianas.
10 Metodos numericos especiales para la integraci on de PVI.
Una idea general subyacente en el trabajo con los metodos numericos para la integraci on
de PVI es que es preferible utilizar un metodo especco para integrar un problema particular.
Estos metodos especcos tienen en cuenta las propiedades din amicas del problema a integrar y
tratan de imitar ese comportamiento en los metodos numericos.
El estudio de algoritmos que conservan algunas caractersticas din amicas ha sido y est a
siendo estudiado durante bastante tiemorpo.
Por ejemplo, se ha observado [4] que los metodos multipaso del tipo Adams espiralan ha-
cia dentro, es decir, la orbita kepleriana numerica se ha transformado en una cierta espiral.
Para evitar esta deciencia Lambert y Watson [4] construyen metodos multipaso lineales an-
tisimetricos-simetricos, cuyos coecientes verican
j
=
kj
,
j
=
kj
. Estos autores
estudian tambien el problema del retardo en el recorrido de la orbita numerica y denen el
M. Palacios Astronoma y metodos numericos 21
concepto de P-estabilidad y construyen metodos multipaso P-estables cuyos coecientes
dependen del paso de integraci on. Nosotros [8] hemos construido metodos P-estables de orden
alto con coecientes constantes mediante la utilizaci on de varias etapas o evaluaciones de la
funcion en puntos adecuados. Este mismo problema se considera tambien para los metodos
Runge-Kutta.
Otra dicultad diferente, aunque no demasiado lejana de la anterior, es la que aparece en
los problemas en los que alguna componente de la soluci on decae r apidamente, es decir, los
problemas sti.
Para localizar metodos que presenten un comportamiento an alogo, se toma un problema
diferencia de prueba y se le aplica un metodo numerico, por ejemplo un Runge-Kutta, y se
le exige que la soluci on numerica sea tambien del mismo tipo. As se llega al concepto de
A-estabilidad (cf. [14], p. 204).
Los metodos R-K A-estables tiene que ser a la fuerza implcitos. Son muy conocidos los
metodo de tipo Lobatto (1852) y Radau (1880)
En el contexto de la mec anica hamiltoniana se pueden encontrar un enorme n umero de
trabajos relacionados con los metodos simplecticos.
La idea de la integraci on simplectica ([9], p. 4) se mueve alrededor de las transformaciones
simplecticas o can onicas, que conservan las ecuaciones del movimiento. No hay que confundir
metodos simplecticos con los que conservan la energa o con los que tienen una funci on de
estabilidad de m odulo uno sobre el eje imaginario. Los metodos simplecticos denen transfor-
maciones simplecticas, es decir, estan caracterizados por ujos hamiltonianos, mientras que la
conservaci on del volumen n-dimensional orientado (es decir, conservaci on del hamiltoniano) es
una propiedad mucho m as debil que solo tienen algunos sistemas no-hamiltonianos.
Inicialmente, los algoritmos simplecticos fueron motivados por consideraciones de estabil-
idad y un deseo de imitar en An alisis Numerico el famoso teorema KAM y su simplicado
an alogo en dos dimensiones.
Desde 1983 hasta muy recientemente, autores como Ruth, Skeel, Channel, Feng, Yoshi-
da, Sanz-Serna, etc. han trabajado intensamente sobre los metodos simplecticos, aunque
ultimamente se empieza a insistir en los metodos que conservan la energa u otras integrales
del movimiento.
Hablando con no mucha precisi on, hay dos grupos de metodos simplecticos. El primero
consta de f ormulas numericas estandar, como los metodos Runge-Kutta o los Runge-Kutta-
Nystr om, que sean simplecticos. Estos metodos simplecticos pueden ser aplicados a sistemas de
ecuaciones diferenciales generales, aunque no sean hamiltonianas, obteniendo las ventajas de
la simplecticidad cuando se aplican a sistemas hamiltonianos. EL segundo grupo consta de los
metodos deducidos via una funci on generatriz; estos metodos no pueden ser aplicados a sistemas
M. Palacios Astronoma y metodos numericos 22
no hamiltonianos, ni a sistemas hamiltonianos con una peque na perturbaci on disipativa.
La condici on para que un metodo de Runge-Kutta sea simplectico es bien sencilla y viene
dada en terminos de los coecientes por
b
i
a
ij
+ b
j
a
ji
b
i
b
j
= 0, 1 i, j m
Como consecuencia, se puede deducir que para que un metodo Runge-Kutta sea simplectico
no puede ser explcito. Pero, por supuesto, no todos los implcitos son simplecticos.
Algunos de los metodos Runge-Kutta conocidos son simplecticos, por ejemplo, los Gauss-
Legendre-Runge-Kutta, los Lobatto-Radau, etc.
La dicultad de que los R-K simplecticos sean implcitos lleva consigo que una buena
implementaci on de los mismos sea esencial para simplicar el trabajo. Gran esfuerzo se est a
realizando en la actualidad en este sentido (Iserles, Hairer, Geng, Feng, Maclaghan, etc. )
Un aspecto interesante de los metodos simplecticos es que tienen propiedades cualitativas
muy deseables, por ejemplo, muestran una favorable propagaci on de los errores. Sin embargo,
esta propiedad es compartida tambien por los conserving algorithms.
El hecho de que no puede haber metodos generales que conserven simult aneamente el Hamil-
toniano y el car acter simplectico plantea la cuesti on: desde el punto de vista numerico, cual es
m as importante, la conservaci on del hamiltoniano (energa) o el car acter simplectico?. Durante
los a nos 1985-1995 se dedic o muchsimo m as esfuerzo a los simplecticos; pero un argumento
bastante convincente es que los algoritmos que conservan la energa y el momento son mucho
m as importantes para la construcci on de algoritmos robustos para sistemas hamiltonianos sti
que surgen en din amica estructural
11 Conclusiones
Podemos concluir que a lo largo de los ultimos siglos la Astronoma y los Metodos Numericos
han ido de la mano, de tal forma que los progresos de una han obligado a progresar a la otra.
La Astronoma, debido a que los conceptos que estudia son observables, se ha preocupado
de tener buenos instrumentos de observaci on y expertos observadores que han sido espoleados
en obtener m as y mejores observaciones; estas observaciones han exigido mejores y nuevas
teoras que expliquen los fen omenos celestes; para poner en marcha dichas teoras nuevos y
mejores metodos numericos de resoluci on han sido precisos; estos nuevos metodos han permiti-
do mejorar las teoras. Finalmente, la aparici on de los metodos modernos de las matem aticas
y de los ordenadores y de la era espacial ha impulsado toda la ciencia hacia adelante y ha
permitido que el An alisis Numerico sea una rama de las Matem aticas con entidad propia que
nunca debe separarse de los problemas de cada da.
Terminamos estas notas con una frase atribuida a Isaac Newton (1643 - 1727):
M. Palacios Astronoma y metodos numericos 23
Yo no se lo que le parezco al mundo, pero a m mismo me veo como si hubiera sido solamente
un chico jugando en la orilla del mar, divirtiendome ahora y antes buscando nos guijarros o
bonitas conchas, mientras que el gran oceano de la verdad yace sin descubrir delante de m, (
D. Brewster, Memoirs of Newton ), que nos puede hacer reexionar sobre nuestro papel en la
investigaci on.
References
[1] Moulton, F. R.: An Introduction to Celestial Mechanics, Dover Publ., New York, 1970.
(Republicaci on de la 2 ed. revisada, 1914, de la 1, 1902, por The MacMillan Co.).
[2] Pannekoek, A.: A history of Astronomy, George Allen & Unwin, London, 1961.
[3] Goldstine, A.: A history of Numerical Analysis from the XV to the XIX Century, George
Allen & Unwin, London, 1961.
[4] Lambert, J. D. & Watson, I. A.: Linear Multistep Methods with periodicity properties. J.
Inst. Maths. Appics 18, 189, 1961.
[5] Baker, R. M. L. & Makemson, M. W.: An introduction to Astrodynamics, Academic
Press, New York, 1960.
[6] Herrick, S.: Astrodynamics, Van Nostram Reinhold, London, 1971 y 72.
[7] Palacios, M.: Kepler equation and accelerated Newton method. Int. J. Remote Sensing,
2000. Submitted.
[8] Palacios, M. and Franco, J. M.: High Order P-stable Multistep Methods. J. of Comp. Appl.
Math. , 30, 1, 1-10, 1990
[9] Sanz-Serna, J. M. : Symplectic Integrators for Hamiltonian Problems: an Overview. Acta
Numerica, 243286, 1992.
[10] Sanz-Serna, J. M. and Calvo, M. P. : Integraci on de sistemas hamiltonianos. SIAM Rev.
38, 658659, 1996.
[11] Danby, J. M. and Burkardt, T. M.: The solution of Keplers equation, III. Cel. Mech.. 31,
303312, 1987.
[12] Danby, J. M. and Burkardt, T. M.: The solution of Keplers equation, I. Cel. Mech.. 40,
95107, 1983.
[13] Ng, E. W.: A General Algorithm for the Solution of Keplers Equation for Elliptic Orbits.
Cel. Mech. 20, 243, 1979.
M. Palacios Astronoma y metodos numericos 24
[14] Hairer, J. ; Norsett, S. P. and Wanner, G. : Solving Ordinary Dierential Equations I.
Nonsti Problems. SpringerVerlag. 1987.
[15] Stuart, A. M. & Humprhies, A. R.. : Dynamical Systems and Numerical Analysis. Cam-
bridge Univ. Press. 1996.