2003 Prépublication d'Orsay numéro 2003-15 (07/11/2003)



MAJORANTS FOR FORMAL POWER SERIES.

VAN DER HOEVEN, Joris - Analyse Harmonique, Université Paris-Sud, Bât. 425, 91405 Orsay cedex


Mots Clés : Majorant equations; Power series; Computer algebra; Partial differential equations; Singular differential equations; convolution products.

Classification MSC : 35A10; 13F25; 44A35


Resumé :

Abstract :
In previous papers, we have started to develop a fully effective complex analysis. The aim of this theory is to evaluate constructible analytic functions to any desired precision and to continue such functions analytically whenever possible. In order to guarantee that the desired precision is indeed obtained, bound computations are an important part of this program. In this paper we will recall or show how the classical majorant technique can be used in order to obtain many such bounds.

Contact : Joris.Van-Der-Hoeven@math.u-psud.fr