In mathematics, the field T L E {\displaystyle \mathbb {T} ^{LE}} of logarithmic-exponential transseries is a non-Archimedean ordered differential field which extends comparability of asymptotic growth rates of elementary nontrigonometric functions to a much broader class of objects. Each log-exp transseries represents a formal asymptotic behavior, and it can be manipulated formally, and when it converges (or in every case if using special semantics such as through infinite surreal numbers), corresponds to actual behavior. Transseries can also be convenient for representing functions. Through their inclusion of exponentiation and logarithms, transseries are a strong generalization of the power series at infinity ( ∑ n = 0 ∞ a n x n {\textstyle \sum _{n=0}^{\infty }{\frac {a_{n}}{x^{n}}}} ) and other similar asymptotic expansions. The field T L E {\displaystyle \mathbb {T} ^{LE}} was introduced independently by Dahn-Göring and Ecalle in the respective contexts of model theory or exponential fields and of the study of analytic singularity and proof by Ecalle of the Dulac conjectures. It constitutes a formal object, extending the field of exp-log functions of Hardy and the field of accelerando-summable series of Ecalle. The field T L E {\displaystyle \mathbb {T} ^{LE}} enjoys a rich structure: an ordered field with a notion of generalized series and sums, with a compatible derivation with distinguished antiderivation, compatible exponential and logarithm functions and a notion of formal composition of series.
Examples and counter-examples Informally speaking, exp-log transseries are well-based (i.e. reverse well-ordered) formal Hahn series of real powers of the positive infinite indeterminate x {\displaystyle x} , exponentials, logarithms and their compositions, with real coefficients. Two important additional conditions are that the exponential and logarithmic depth of an exp-log transseries f , {\displaystyle f,} that is the maximal numbers of iterations of exp and log occurring in f , {\displaystyle f,} must be finite. The following formal series are log-exp transseries:
∑ n = 1 ∞ e x 1 n n ! + x 3 + log x + log log x + ∑ n = 0 ∞ x − n + ∑ i = 1 ∞ e − ∑ j = 1 ∞ e i x 2 − j x . {\displaystyle \sum _{n=1}^{\infty }{\frac {e^{x^{\frac {1}{n}}}}{n!}}+x^{3}+\log x+\log \log x+\sum _{n=0}^{\infty }x^{-n}+\sum _{i=1}^{\infty }e^{-\sum _{j=1}^{\infty }e^{ix^{2}-jx}}.}
∑ m , n ∈ N x 1 m + 1 e − ( log x ) n . {\displaystyle \sum _{m,n\in \mathbb {N} }x^{\frac {1}{m+1}}e^{-(\log x)^{n}}.}
The following formal series are not log-exp transseries:
∑ n ∈ N x n {\displaystyle \sum _{n\in \mathbb {N} }x^{n}} — this series is not well-based.
log x + log log x + log log log x + ⋯ {\displaystyle \log x+\log \log x+\log \log \log x+\cdots } — the logarithmic depth of this series is infinite
… excerpt ends here. Continue reading the full article.
