Logarithmic-exponential series

DOI10.1016/S0168-0072(01)00035-5MaRDI QIDQ5942884zbMATH OpenFDO

Authors Lou van den Dries, Angus Macintyre, David Marker

Publication date 11 September 2001

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0168-0072(01)00035-5

zbMATH Keywords

Hardy field logarithmic-exponential series transseries

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Ordered fields (12J15) Model theory of fields (12L12)

Review text

This paper develops the theory of logarithmic-exponential series (LE-series) over the real field \({\mathbb R}\), or more generally over any logarithmic-exponential ordered field \(k\). This structure was introduced by the same authors in [`Logarithmic-exponential power series', J. Lond. Math. Soc. (2) 56, 417--434 (1997; Zbl 0924.12007)], with a slightly different notation. NEWLINENEWLINENEWLINEWith \(k\) as above, the authors define a field \(k((G))\) of series over \(k\) with monomials in \(G\) (where \(G\) is any multiplicatively written ordered abelian group). They then define, by successive \(\omega\)-chain constructions, the ordered exponential field \(k((x^{-1}))^E\), and the field of LE-series \(k((x^{-1}))^{LE}\), also written \(k((t))^{LE}\). The field \(k((t))^{LE}\) embeds into a field \(k((G^{LE}))\) of generalised power series. Hence, there is a notion of the support of an element \(f\in k((t))^{LE}\). This will be reverse well-ordered, and the corresponding leading monomial function yields a non-archimedean absolute value, with a corresponding valuation. The support of an element of \({\mathbb R}((t))^{LE}\) is shown to be countable (and the field has cardinality \(2^{\aleph_0}\)). The field \(k((t))^{LE}\) has a natural derivation, defined first via a derivation on \(k((t))^E\). The elements of \(k\) are exactly those with derivative 0. NEWLINENEWLINENEWLINEIf \({\mathbb R}_{\text{an, exp}}\) denotes the o-minimal expansion of \({\mathbb R}\) with restricted analytic functions and exponentiation, then there is a model-theoretically well-behaved embedding into \({\mathbb R}((t))^{LE}\) of the Hardy field \(H({\mathbb R}_{\text{an, exp}}) \) of germs at infinity. It turns out that the derivative on \({\mathbb R}((t))^{LE}\) (or more generally \(k((t))^{LE}\)) inherits the expected valuation-theoretic properties of Hardy fields, so the valuation on \(k((t))^{LE}\) is a differential valuation in the sense of Rosenlicht. NEWLINENEWLINENEWLINEIt is shown in Section 5 that \(k((t))^{LE}\) is closed under integration (defined as reverse differentiation). A necessary and sufficient condition is given for a second order ODE in one variable to have a non-trivial solution. Then in Section 6, a composition operation \(k((t))^{LE} \times k((t))^{LE}_{\infty} \rightarrow k((t))^{LE}\) is defined, where \(k((t))^{LE}_{\infty}\) denotes \(\{g\in k((t))^{LE}:g>k\}\). Natural properties of this are demonstrated; in particular the chain rule holds, and computational inverses exist, so \(k((t))^{LE}_{\infty}\) is a group under composition. NEWLINENEWLINENEWLINEThe final section develops the theory of certain subfields \(k((t))^{LE,{\mathcal F}}\); here \({\mathcal F}=({\mathcal F}_m: m\in \omega)\), and each \({\mathcal F}_m \subseteq kX_1,\ldots,X_m\) has a certain closure property with respect to partial derivatives. Such fields are closed under differentiation, composition, and `truncation'. In the case when \({\mathcal F}_m=kX_1,\ldots,X_m\) for each \(m\), the resulting field is independently identified as \(k((t))^{LE,\text{ft}}\), the field of \(LE\) series with support of hereditarily finite type. It is shown that this is closed under integration, and has the appropriate closure property under compositional inverse. The field \({\mathbb R}((t))^{LE,\exp}\) is Ecalle's trigèbre \({\mathbb R}[[[X]]]\) of transseries.

Recommendations

Cites work

Cited in

(50)

This page was built for publication: Logarithmic-exponential series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5942884)