A new zero-test for formal power series Joris van der Hoeven Departement ´ de Mathematiques ´ (bat. ˆ 425) Universite´ Paris-Sud 91405 Orsay Cedex France
[email protected] ABSTRACT
-
-
./ 0 %&
%% 1 %23
2 + 4
1.
$ "
.%& %% %23
INTRODUCTION
+
!
"
.%& %% %23
# $" % & '&(
'
(
Æ
# " '%(
)
# "
*
' $ ( .%23
5 6 7 .%1 %8 %0 93
%
+
&
+
$: 8 .23 -
, $ $
-
' ( -
.%43
; 6 6 ; <
2. A SURVEY OF EXISTING APPROACHES ,
$
' (
= & >
$
*
$
-
-
2.1 Structural approaches.
!
-
2.5 Varying the initial conditions. G .13 -
, '% * (
, .%3 ? ./3
- Æ
>
$
<
!
$ $
- 5Æ7
5 7
@ H
2.2 Bounding the valuation.
,
,
@
' ¾
'2 ( (
AÆ .03 - - .8 %;3 ! '
( , Æ
' 6 .%1 %8 %0 93( , @
AÆ ,
.%23 !
2.6 The generalized solution approach. - .%&3
, ' (
.%23
B
=%
' ( = &
=
$
<
' (
- $
&
' (
$
' (
= &
.. 33
= &
' ( =
= &
<
' (
= &
- $
' (
= &
! ' ( = & ' ( = & I I =
2.3 The logical approach.
-
C
-
D .; 43
$
!
.%23
$
Æ
Æ
2.4 Groebner bases and saturation. ,
.%%3
3. THE EFFECTIVE SETUP
D
$
-
E
$ '
(
F
&
' $ ( -
D
'
(
.. 33
. 3
E
Æ Æ = .. 33 J Æ <
´ µ ' ( = & &
'
´ µ (
>
´ µ ' ( -
* * * I
.Æ 3
=
K' (
D
$
*%
'2(
K -
Æ
' (
= &
Æ
' (
= &
Æ $
+ ?
.. 33
$
B
'
( .%43
Æ
= %
=
! !
J
¼
' ( ½
'8(
%
%
E
!
&
'8( - $
! =
= &'( &
% % , ,
$
=
"
-
= ´µ
<
= ' (
'
.%83
$
=
$
=
*
(
' (
=
&
-
' (
Æ
<
4. LOGARITHMIC TRANSSERIES SOLUTIONS TO ALGEBRAIC DIFFERENTIAL EQUATIONS
D
' %
(
K -
Æ
4.1 Logarithmic transseries
"
' ' ((
'%(
- '%(
%
D K .3 Æ
$ Æ
A
*
=
#
= Æ (
' ' ( = &
' (
% , $
. 3
* ' (
2 !
<
.. 33
! "
=
$
$
'
*
:
(
$
$
$ -
Æ
'8(
Æ =
! *
!
*
*
!
- 5 7 .%83
= ' (
M
M
';(
'$ (
'
Æ
$
% '%( .. 33 ' ( = & 'I( = & I
. 3'Æ ( M = M - ( =
, $ M
$
=
L "
Æ
$
M
') * *( ( ')(
)
*
=
!
% !
¼
' (
& %
( ) ' ) ( B (
( ( . 3'Æ (
' (
= &
#
Æ
=
A
'4(
4.2 Asymptotic differential equations ,
= & - % ¼ I 'I( = & I = &
= " ¼
6. .%3
' ( = &
&
H 6
( "!#
# " )+,
! " C
( - *.
8
'%/9/( /;%N/4&
.13
#! $ / ,
A ? %//%
%&$ -
$
"
" " " &! ! '%//4( E >
- J #
J E
O 8/8N;&1
A %%
,,#>>%% A B P %//4 .93
' ! - 6
! -
'2&&%( 2&0;
O 248N212 ./3
!' ,
" ( # .
%&%
'%/14( 1;8N14/ .%&3
( ' ,
0--"! 12$ 3
'A + %/9/( E E # ,>J A 1N%& .%%3
( ' $ $
" # - +45 .%23
'%//8( %4%N%12
( ' # # > - ? 2&&%08
A Q H+ 2&&%
.%83
# # 6
! " A
J
'2&&%(
,
'%/9;( 2%8N289
.03
(-! 5
1%1N1;8
Note
'%/19( 49%N4/4
.43
? 2&&%02 A Q H+ 2&&%
" # $
B
.;3
# # B
-
% & ' % AC
)*
.%03
F D %//; .83
F H+ 2&&%
'%/1%( 242N209 .23
# # > - ? 2&&%8;
.%13
REFERENCES
+
P >
'%2(
< = & 'I( = & 'I( =
# # ? H
- ? 19 A Q H+ %///
.%43
& L % 'I( = & I ! I =
.%;3
# # " AC Q # B %//1
- E