Transseries and real differential algebra

Lecture Notes in Mathematics

Volumn 1888, Issue , 2006, Pages 1-255

  Van Der Hoeven, Joris ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33750536643     PISSN: 00758434     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (98)

1. AS26 E. Artin and O. Schreier. Algebraische Konstruction reeller Körper. Hamb. Abh., pages 85-99, 1926.
2. AvdD01 M. Aschenbrenner and L. van den Dries. Liouville closed H-fields. J. Pure Appl. Algebra, 2001. to appear.
3. AvdD02 M. Aschenbrenner and L. van den Dries, H-fields and their Liouville extensions. Math. Z., 242:543 588, 2002.
4. AvdD04 M. Aschenbrenner and L. van den Dries. Asymptotic differential algebra. In Contemporary Mathematics. Amer. Math. Soc., Providence, RI, 2004. To appear.
5. AvdDvdH M. Aschenbrenner, L. van den Dries, and J. van der Hoeven. Linear differential equations over H-fields. In preparation.
6. AvdDvdH05 Matthias Aschenbrenner, Lou van den Dries, and J. van der Hoeven. Differentially algebraic gaps. Selecta Mathematica, 11(2):247-280, 2005.
7. BB56 C.A. Briot and J.C. Bouquet. Propriétés des fonctions définies par des équations différentielles. Journal de l'École Polytechnique, 36:133-198, 1856.
8. BCR87 J. Bochnak, M. Coste, and M.-F. Roy. Géométrie algébrique réelle. Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer, Berlin-Heidelberg, 1987. 3. Folge, Band 12.
9. Bir09 G.D. Birkhoff. Singular points of ordinary differential equations. Trans. Am. Math. Soc., 10:436-470, 1909.
10. Bor28 É. Borel. Leçons sur les séries divergentes. Gauthiers Villards, 2-nd edition, 1928. Reprinted by Jacques Gabay.
11. Bos81 M. Boshernitzan. An extension of Hardy's class 1 of 'orders of infinity'. J. Analyse Math., 39:235-255, 1981.
12. Bos82 M. Boshernitzan. New 'orders of infinity'. J. Analyse. Math., 41:130-167, 1982.
13. Bos87 M. Boshernitzan. Second-order differential equations over hardy fields. J. London Math. Soc., 35:109-120, 1987.
14. Bou61 N. Bourbaki. Fonctions d'une variable réelle. Éléments de Mathématiques (Chap. 5. Hermann, 2-nd edition, 1961.
15. Bou70 N. Bourbaki. Théorie des ensembles. Hermann, 1970.
16. Bra91 B.L.J. Braaksma. Multisummability and Stokes multipliers of linear meromorphic differential equations. J. Diff. Eg, 92:45-75, 1991.
17. Bra92 B.L.J. Braaksma. Multisummability of formal power series solutions to nonlinear meromorphic differential equations. Ann. Inst. Fourier de Grenoble, 42:517 540, 1992.
18. Can99 G. Cantor. Sur les fondements de la théorie des ensembles transfinis. Jacques Gabay, 1899. Reprint from les Mémoires de la Société des Sciences physiques et naturelles de Bordeaux.
19. Can93 J. Cano. An extension of the Newton-Puiseux polygon construction to give solutions of Pfaffian forms. Ann. Institut Fourier de Grenoble, 43(1):125-142, 1993.
20. Chi86 A.L. Chistov. Polynomial complexity of the newton-puiseux algorithm. In Proc. Symp. Math. Found. Comp. Sc., pages 247-255, Bratislava, 1986. Springer Lect. Notes in Comp. Sc. 233.
21. CNP93 B. Candelberger, J.C. Nosmas, and F. Pham. Approche de la résurgence. Actualités mathématiques. Hermann, 1993.
22. Con76 J.H. Conway. On numbers and games. Academic Press, 1976.
23. Dah84 B.I. Dahn. The limiting behaviour of exponential terms. Fund. Math., 124:169-186, 1984.
24. dBR75 P. du Bois-Rcymond. Über asymptotische Werte, infmitäre Approximationen und infinitärc Auflösung von Gleichungen. Math. Ann., 8:363-414, 1875.
25. dBR77 P. du Bois-Reymond. Über die Paradoxen des Infinitärscalcüls. Math. Ann., 11:149-167, 1877.
26. DG86 B.I. Dahn and P. Göring. Notes on exponential-logarithmic terms. Fundamenta Mathematicae, 127:45-50, 1986.
27. DW84 Bernd I. Dahn and Helmut Wolter. Ordered fields with several exponential functions. Z. Math. Logik Grundlag. Math., 30(4):341-348, 1984.
28. É03 J. Écalle. Recent advances in the analysis of divergence and singularities. In Yu.S. Ilyashenko C. Rousseau, editor, Proc. of the July 2003 Montreal Summer School on Singularities and Normal Forms. Kluwer, 1903. To appear.
29. É85 J. Écalle. Les fonctions résurgentes I-III. Publ. Math. d'Orsay 1981 and 1985, 1985.
30. É92 J. Écalle. Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac. Hermann, collection: Actualités mathématiques, 1992.
31. É93 J. Écalle. Six lectures on transseries, analysable functions and the constructive proof of Dulac's conjecture. In D. Schlomiuk, editor, Bifurcations and periodic orbits of vector fields, pages 75-184. Kluwer, 1993.
32. Fab85 E. Fabry. Sur les intégrales des équations différentielles linéaires à coefficients rationnels. PhD thesis, Paris, 1885.
33. Fin89 H.B. Fine. On the functions defined by differential equations, with an extension of the Newton-Puiseux polygon construction to these equations. Amer. Jour. of Math., 12:295-322, 1889.
34. GG88 K.O. Geddes and G.H. Gonnet. A new algorithm for computing symbolic limits using hierarchical series. In Proc. ISSAC '88, volume 358 of Lect. Notes in Comp. Science, pages 490-495. Springer, 1988.
35. GG92 G.H. Gonnet and D. Gruntz. Limit computation in computer algebra. Technical Report 187, ETH, Zürich, 1992.
36. Gri91 D.Y. Grigoriev. Complexity of factoring and calculating the gcd of linear ordinary differential operators. J. Symb. Comp. 10:7-37, 1991.
37. Gru96 D. Gruntz. On computing limits in a symbolic manipulation system. PhD thesis, E.T.H. Zürich, Switzerland, 1996.
38. GS91 D. Grigoriev and M. Singer. Solving ordinary differential equations in terms of series with real exponents. Trans. of the AMS, 327(1):329-351, 1991.
39. Hah07 H. Hahn. Über die nichtarchimedischen Größ ensysteme. Sitz. Akad. Wiss. Wien, 116:601-655, 1907.
40. Har10 G.H. Hardy. Orders of infinity. Cambridge Univ. Press, 1910.
41. Har11 G.H. Hardy. Properties of logarithmico-exponential functions. Proceedings of the London Mathematical Society, 10(2):54-90, 1911.
42. Har63 G.H. Hardy. Divergent series. Clarendon Press, Oxford, 3rd edition, 1963.
43. Hau08 F. Hausdorff. Grundzüge einer Theorie der geordneten Mengen. Math. Ann., 65:435-505, 1908.
44. Hig52 G. Higman. Ordering by divisibility in abstract algebras. Proc. London Math. Soc., 2:326-336, 1952.
45. Kho91 A.G. Khovanskii. Fewnornials, volume 88 of Translations of Mathematical Monographs. A.M.S., Providence RI, 1991.
46. x und verwandter Funktionalgleichungen. Jour. f. d. reine und angewandte Math., 187(1/2):56-67, 1950.
47. Kol73 E.R. Kolchin. Differential algebra and algebraic groups. Academic Press, New York, 1973.
48. Kru60 J.B. Kruskal. Well-quasi-ordering, the tree theorem and Vázsoni's conjecture. Trans. Am. Math. Soc., 95:210-225, 1960.
49. Kuh00 S. Kuhlmann. Ordered exponential fields. Fields Institute Monographs. Am. Math. Soc., 2000.
50. LC93 T. Levi-Civita. Sugli infiniti ed infmitesimi attuali quali elimenti analitici. Atti ist. Ven., 7:1765-1815, 1893.
51. Lio37 J. Liouville. Mémoire sur la classification des transcendantes, et sur les racines de certaines équations en fonction finie explicite des coefficients. J. Math. Pures et Appl., 2:56-104, 1837.
52. Lio38 J. Liouville. Suite du mémoire sur la classification des transcendantes, et sur les racines de certaines équations en fonction finie explicite des coefficients. J. Math. Pures et Appl., 3:523-546, 1838.
53. Mal79 J. Malitz. Introduction to mathematical logic. Undergraduate texts in Mathematics. Springer-Verlag, New York, 1979.
54. New71 I. Newton. De methodis serierum et Fluxionum. Manuscript, 1671.
55. NW63 C. St. J. A. Nash-Williams. On well-quasi-ordering finite trees. Proc. Cambridge Philos. Soc., 59:833-835, 1963.
56. Poi86 H. Poincaré. Sur les intégrales irré gulières des équations linéaires. Acta Math., 8:295-344, 1886.
57. Poi90 H. Poincaré. Sur le problème des trois corps et les équations de la dynamique. Acta Math., 13:1-270, 1890.
58. Poi93 H. Poincaré. Les méthodes nouvelles de la mécanique céleste, volume Tôme II. Gauthior-Villars, Paris, 1893.
59. Pui50 M.V. Puiscux. Recherches sur les fonctions algébriques. J. Math. Pures et Appliquées, 15:365-480, 1850.
60. Rib64 P. Ribenboim. Théorie des valuations. Les Presses de l'Université de Montréal, 1964. 2-nd Ed. 1968.
61. Ric97 D. Richardson. How to recognise zero. JSC, 24:627-645, 1997.
62. Rit50 J.F. Ritt. Differential algebra. Amer. Math. Soc., New York, 1950.
63. Ros80 M. Rosenlicht. Differential valuations. Pacific J. Math., 86:301-319, 1980.
64. Ros83a M. Rosenlicht. Hardy fields. Journal of Math. Analysis and Appl., 93:297-311, 1983.
65. Ros83b M. Rosenlicht. The rank of a Hardy field. Trans. Amer. Math. Soc., 280(2):659-671, 1983.
66. Ros87 M. Rosenlicht. Growth properties of functions in Hardy fields. Trans. Amer. Math. Soc., 299(1):261-272, 1987.
67. RSSvdH96 D. Richardson, B. Salvy, J. Shackell, and J. van der Hoeven. Expansions of exp-log functions. In Y.N. Lakhsman, editor, Proc. ISSAC '96, pages 309-313, Zürich, Switzerland, July 1996.
68. Sal91 B. Salvy. Asymptotique automatique et fonctions génératrices. PhD thesis, École Polytechnique, France, 1991.
69. Sch01 M.C. Schmeling. Corps de transséries. PhD thesis, Université Paris-VII, 2001.
70. Sei54 A. Seidenberg. A new decision method for elementary algebra. An. of Math., 60:365-374, 1954.
71. Sei56 A. Seidenberg. An elimination theorem for differential algebra. Univ. California Publ. Math. (N.S.), pages 31-38, 1956.
72. Sei68 A. Seidenberg. Reduction of singularities of the differentiable equation Ady = B d x. Amer. J. of Math., 90:248-269, 1968.
73. Sha90 J. Shackell. Growth estimates for exp-log functions. Journal of Symbolic Computation, 10:611-632, 1990.
74. Sha04 J. Shackell. Symbolic asymptotics, volume 12 of Algorithms and computation in Mathematics. Springer-Verlag, 2004.
75. Smi75 S. Smith. On the higher singularities of plane curves. Prod. London Math. Soc., 6:153-182, 1875.
76. Spe99 P. Speissegger. The Pfaffian closure on an o-minimal structure. Jour. f. d. reine und angewandte Math., 508:189-211, 1999.
77. Sti86 T.J. Stieltjes. Recherches sur quelques séries semi-convergentes. Ann. Sc. Éc. Norm. Sup. de Paris, 3:201-258, 1886.
78. Sti94 T.J. Stieltjes. Recherches sur les fractions continues. Ann. Fac. Sci. Toulouse, 8:J1-J122, 1894.
79. Sti95 T.J. Stieltjes. Recherches sur les fractions continues. Ann. Fac. Sci. Toulouse, 9:A1-A47, 1895.
80. Str77 W. Strodt. A differential algebraic study of the intrusion of logarithms into asymptotic expansions. In H. Bass, P.J. Cassidy, and ,T. Kovacic, editors, Contributions to algebra, pages 355-375. Academic Press, 1977.
81. SW71 W. Strodt and R.K. Wright. Asymptotic behaviour of solutions and adjunction fields for nonlinear first order differential equations, volume 109. Mem. Amor. Math. Soc., 1971.
82. Tar31 A. Tarski. Sur les ensembles définissables de nombres réels. Fund. Math., 17:210 239, 1931.
83. Tar51 A. Tarski. A decision method for elementary algebra and geometry. Rand coorporation, Berkeley and Los Angeles, 2 edition, 1951.
84. vdD98 L. van den Dries. Tame topology and o-minimal structures, volume 248 of London Math. Soc. Lect. Note. Cambridge university press, 1998.
85. vdD99 L. van den Dries. O-minimal structures and real analytic geometry. In B. Mazur et al., editor, Current Developments in Mathematics, pages 105 152. Int. Press, Somerville, MA, 1999.
86. vdH95 J. van der Hoeven. Automatic numerical expansions. In J.-C. Bajard, D. Michelucci, J.-M. Moreau, and J.-M. Müller, editors, Proc. of the conference "Real numbers and computers", Saint-Étienne, France, pages 261-274, 1995.
87. vdH96 J. van der Hoeven. On the computation of limsups. Journal of Pure and Applied Algebra, 117/118:381-394, 1996.
88. vdH97 J. van der Hoeven. Automatic asymptotics. PhD thesis, École polytechnique, France, 1997.
89. vdH98 J. van der Hoeven. Generic asymptotic expansions. AAECC, 9(1):25-44, 1998.
90. vdH00 J. van der Hoeven. A differential intermediate value theorem. Technical Report 2000-50, Univ. d'Orsay, 2000.
91. vdH01a J. van dor Hoeven. Complex transseries solutions to algebraic differential equations. Technical Report 2001-34, Univ. d'Orsay, 2001.
92. vdH01b J. van der Hoeven. Fast evaluation of holonomic functions near and in singularities. JSC, 31:717-743, 2001.
93. vdH01c J. van der Hoeven. Formal asymptotics of solutions to certain linear differential equations involving oscillation. Technical Report 2001-60, Prépublications d'Orsay, 2001.
94. vdH01d J. van der Hoeven. Operators on generalized power series. Journal of the Univ. of Illinois, 45(4):1161-1190, 2001.
95. vdH02a J. van der Hoeven. A differential intermediate value theorem. In B. L. J. Braaksma, G. K. Immink, M. van der Put, and J. Top, editors, Differential equations and the Stokes phenomenon, pages 147-170. World Scientific, 2002.
96. vdH02b J. van der Hoeven. Relax, but don't be too lazy. JSC, 34:479-542, 2002.
97. vK75 S. von Kowalevsky. Zur Theorie der partiellen Differentialgleichungen. J. Reine und Angew. Math., 80:1-32, 1875.
98. W1196 A. Wilkie. Model completeness results for expansions of the real field by restricted Pfaffian functions and the exponential function. J. A.M.S., 9:1051-1094, 1996.