A new zero-test for formal power series - GNU TeXmacs

3 downloads 0 Views 329KB Size Report
ABSTRACT. In this paper, we present a new zero-test for expressions which are constructed from formal power solutions to alge- braic differential equations ...
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