Manipulación algebraica de series de Poisson. Aplicación a la teoría del satélite artificial

Resumen

LA PRESENTE MEMORIA ABORDA EL PROBLEMA DE LA CONSTRUCCION AUTOMATICA, MEDIANTE CALCULO SIMBOLICO Y MANIPULACION ALGEBRAICA, DE TEORIAS ANALITICAS DE ORDEN ALTO EN PROBLEMAS DE MECANICA NO LINEAL EN GENERAL Y DE ASTRODINAMICA Y MECANICA CELESTE EN PARTICULAR,LA PRIMERA PARTE CONSTA DE TRES CAPITULOS DONDE SE EXPONEN LAS PRINCIPALES CARACTERISTICAS DEL PROCESADOR DE SERIES DE POISSON PSPC. EN PRIMER LUGAR SE DEFINE UNA SERIE DE POISSON Y SE ANALIZAN SUS CARACTERISTICAS, TANTO DESDE EL PUNTO DE VISTA DE LA SERIE COMO OBJETO MATEMATICO COMO DESDE EL PUNTO DE VISTA SIMBOLICO Y COMPUTACIONAL. TRAS ESTE ANALISIS SE DESCRIBEN LAS ESTRUCTURAS QUE PERMITEN LA REPRESENTACION EN EL ORDENADOR DE UNA SERIE DE POISSON, ASI COMO LOS PRINCIPALES ALGORITMOS PARA EL MANEJO DE LAS MISMAS. POR ULTIMO SE HACE UNA REVISION DE TODAS LAS OPERACIONES QUE PUEDEN SER EFECTUADAS CON PSPC, DESCRIBIENDO BREVEMENTE LOS PASOS NECESARIOS PARA LA IMPLEMENTACION DE LAS MISMAS. EN LA SEGUNDA PARTE SE APLICA PSPC PARA OBTENER, DE FORMA AUTOMATICA, TEORIAS ANALITICAS DEL MOVIMIENTO DEL SATELITE ARTIFICIAL TERRESTRE. PARA ELLO SE HA CREADO EL PROGRAMA ATESAT. DICHO PROGRAMA INCORPORA IMPORTANTES NOVEDADES RESPECTO DE SUS PREDECESORES (META-PROGRAM, MALISIAS) PUES PERMITE, NO SOLO LA OBTENCION DE ORDENES ALTOS DE LA TEORIA, SINO TAMBIEN LA GENERACION AUTOMATICA DE PROGRAMAS DE CALCULO DE EFEMERIDES DE SATELITES ARTIFICIALES. DE ESTA FORMA, SE PUEDE ABORDAR, POR VEZ PRIMERA, LA COMPROBACION NUMERICA DE LAS DIVERSAS TEORIAS ANALITICAS CREADAS. UTILIZANDO ATESAT SE HAN LOGRADO, ENTRE OTRAS, LAS TEORIAS ANALITICAS, Y SU VALIDACION NUMERICA, DEL ORDEN SEIS DEL PROBLEMA PRINCIPAL DEL SATELITE ARTIFICIAL, INCLUYENDO ELIMINACION DE LA PARALAJE Y DEL PERIGEO Y NORMALIZACION DE DELAUNAY ASI COMO EL ORDEN TRES DEL SATELITE INCLUYENDO HASTA EL ARMONICO ZONAL J5.