Transseries as germs of surreal functions

DOI10.1090/TRAN/7428MaRDI QIDQ4645127zbMATH OpenOpenAlexWikidataFDO

Authors Alessandro Berarducci, V. Mantova

Publication date 10 January 2019

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1703.01995

zbMATH Keywords

compositiontransseriessurreal numbers

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Ordinal and cardinal numbers (03E10) Valued fields (12J10)

Abstract: We show that 'Ecalle's transseries and their variants (LE and EL-series) can be interpreted as functions from positive infinite surreal numbers to surreal numbers. The same holds for a much larger class of formal series, here called omega-series. Omega-series are the smallest subfield of the surreal numbers containing the reals, the ordinal omega, and closed under the exp and log functions and all possible infinite sums. They form a proper class, can be composed and differentiated, and are surreal analytic. The surreal numbers themselves can be interpreted as a large field of transseries containing the omega-series, but, unlike omega-series, they lack a composition operator compatible with the derivation introduced by the authors in an earlier paper.

Recommendations

• Transseries for beginners
• Surreal numbers, derivations and transseries
• On numbers, germs, and transseries
• Transseries and real differential algebra
• Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall

Cites work

• scientific article; zbMATH DE number 3957253 (Why is no real title available?)
• scientific article; zbMATH DE number 4006367 (Why is no real title available?)
• scientific article; zbMATH DE number 3521877 (Why is no real title available?)
• scientific article; zbMATH DE number 3539474 (Why is no real title available?)
• scientific article; zbMATH DE number 1540613 (Why is no real title available?)
• Asymptotic differential algebra and model theory of transseries
• Comparison of exponential-logarithmic and logarithmic-exponential series
• Exponentiation in power series fields
• Fields of surreal numbers and exponentiation
• Growth Properties of Functions in Hardy Fields
• Hardy fields
• Introduction to analyzable functions and constructive proof of the Dulac conjecture
• Logarithmic-Exponential Power Series
• Logarithmic-exponential series
• Notes on exponential-logarithmic terms
• On Ordered Division Rings
• Ordered exponential fields
• Surreal numbers, derivations and transseries
• The Rank of a Hardy Field
• The exponential-logarithmic equivalence classes of surreal numbers
• Toward a model theory for transseries
• Transserial Hardy fields
• Transseries and real differential algebra
• \(H\)-fields and their Liouville extensions
• \(\kappa\)-bounded exponential-logarithmic power series fields

Cited in

(15)

• Homogeneous universal \(H\)-fields
• Surreal ordered exponential fields
• ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS
• Integration on the surreals
• Fractional iteration of series and transseries
• Surreal substructures
• Hyper-power series and generalized real analytic functions
• Supremum, infimum and hyperlimits in the non-Archimedean ring of Colombeau generalized numbers
• On numbers, germs, and transseries
• Logarithmic hyperseries
• The natural growth scale
• Exponential fields and Conway’s omega-map
• Hyperseries in the non-Archimedean ring of Colombeau generalized numbers
• Transseries for beginners
• On the value group of the transseries

This page was built for publication: Transseries as germs of surreal functions

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