Transseries as germs of surreal functions

DOI10.1090/TRAN/7428zbMATH Open1484.12011arXiv1703.01995OpenAlexW2606239257WikidataQ61821241 ScholiaQ61821241MaRDI QIDQ4645127FDOQ4645127

Authors: Alessandro Berarducci, V. Mantova 

Publication date: 10 January 2019

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

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.

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

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

zbMATH Keywords

compositiontransseriessurreal numbers

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (15)

• 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
• Homogeneous universal \(H\)-fields
• Surreal ordered exponential fields

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)