Transseries (original) (raw)
In mathematics, the field 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 and other similar asymptotic expansions.
| Property | Value |
|---|---|
| dbo:abstract | In mathematics, the field 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 and other similar asymptotic expansions. The field 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 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. (en) |
| dbo:wikiPageID | 58151408 (xsd:integer) |
| dbo:wikiPageLength | 30514 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1122136729 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Elementary_function dbr:Semialgebraic_set dbr:Borel_summation dbr:Archimedean_property dbr:Valuation_(algebra) dbr:Decidability_(logic) dbr:Non-Archimedean_ordered_field dbr:Hahn_series dbr:Hardy_field dbr:Surreal_number dbc:Asymptotic_analysis dbc:Exponentials dbr:Abel_equation dbc:Logarithms dbr:Formal_power_series dbr:Germ_(mathematics) dbc:Mathematical_series dbr:Asymptotic_expansion dbr:Tetration dbr:Asymptotic_analysis dbr:Model_complete_theory dbr:Exponentially_closed_field dbr:Real_closed_field dbr:Wilkie's_theorem dbr:Least_upper_bound_property dbr:Differential_field dbr:Well-ordering dbr:Accelero-summation |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:Reflist |
| dcterms:subject | dbc:Asymptotic_analysis dbc:Exponentials dbc:Logarithms dbc:Mathematical_series |
| rdfs:comment | In mathematics, the field 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 and other similar asymptotic expansions. (en) |
| rdfs:label | Transseries (en) |
| owl:sameAs | wikidata:Transseries https://global.dbpedia.org/id/8HNSA |
| prov:wasDerivedFrom | wikipedia-en:Transseries?oldid=1122136729&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Transseries |
| is dbo:wikiPageWikiLink of | dbr:Joris_van_der_Hoeven dbr:Levi-Civita_field dbr:Ordered_exponential_field dbr:Ordered_field dbr:Lou_van_den_Dries dbr:Hahn_series dbr:Hardy_field dbr:Henri_Dulac dbr:Infinitesimal |
| is foaf:primaryTopic of | wikipedia-en:Transseries |