skip to content
Asymptotic differential algebra and model theory of transseries Preview this item
ClosePreview this item
Checking...

Asymptotic differential algebra and model theory of transseries

Author: Matthias Aschenbrenner; Lou Van den Dries; J van der Hoeven
Publisher: Princeton : Princeton University Press, 2017.
Series: Annals of mathematics studies, no. 195.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Asymptotic differential algebra seeks to understand the solutions of differential equations and their asymptotics from an algebraic point of view. The differential field of transseries plays a central role in the subject. Besides powers of the variable, these series may contain exponential and logarithmic terms. Over the last thirty years, transseries emerged variously as super-exact asymptotic expansions of return  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Aschenbrenner, Matthias, 1972-
Asymptotic differential algebra and model theory of transseries
(DLC) 2017005899
(OCoLC)962354550
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Matthias Aschenbrenner; Lou Van den Dries; J van der Hoeven
ISBN: 9781400885411 1400885418
OCLC Number: 986538411
Language Note: In English.
Description: 1 online resource.
Contents: Cover; Title; Copyright; Contents; Preface; Conventions and Notations; Leitfaden; Dramatis Personæ; Introduction and Overview; A Differential Field with No Escape; Strategy and Main Results; Organization; The Next Volume; Future Challenges; A Historical Note on Transseries; 1 Some Commutative Algebra; 1.1 The Zariski Topology and Noetherianity; 1.2 Rings and Modules of Finite Length; 1.3 Integral Extensions and Integrally Closed Domains; 1.4 Local Rings; 1.5 Krull's Principal Ideal Theorem; 1.6 Regular Local Rings; 1.7 Modules and Derivations; 1.8 Differentials. 1.9 Derivations on Field Extensions2 Valued Abelian Groups; 2.1 Ordered Sets; 2.2 Valued Abelian Groups; 2.3 Valued Vector Spaces; 2.4 Ordered Abelian Groups; 3 Valued Fields; 3.1 Valuations on Fields; 3.2 Pseudoconvergence in Valued Fields; 3.3 Henselian Valued Fields; 3.4 Decomposing Valuations; 3.5 Valued Ordered Fields; 3.6 Some Model Theory of Valued Fields; 3.7 The Newton Tree of a Polynomial over a Valued Field; 4 Differential Polynomials; 4.1 Differential Fields and Differential Polynomials; 4.2 Decompositions of Differential Polynomials; 4.3 Operations on Differential Polynomials. 4.4 Valued Differential Fields and Continuity4.5 The Gaussian Valuation; 4.6 Differential Rings; 4.7 Differentially Closed Fields; 5 Linear Differential Polynomials; 5.1 Linear Differential Operators; 5.2 Second-Order Linear Differential Operators; 5.3 Diagonalization of Matrices; 5.4 Systems of Linear Differential Equations; 5.5 Differential Modules; 5.6 Linear Differential Operators in the Presence of a Valuation; 5.7 Compositional Conjugation; 5.8 The Riccati Transform; 5.9 Johnson's Theorem; 6 Valued Differential Fields; 6.1 Asymptotic Behavior of vP; 6.2 Algebraic Extensions. 6.3 Residue Extensions6.4 The Valuation Induced on the Value Group; 6.5 Asymptotic Couples; 6.6 Dominant Part; 6.7 The Equalizer Theorem; 6.8 Evaluation at Pseudocauchy Sequences; 6.9 Constructing Canonical Immediate Extensions; 7 Differential-Henselian Fields; 7.1 Preliminaries on Differential-Henselianity; 7.2 Maximality and Differential-Henselianity; 7.3 Differential-Hensel Configurations; 7.4 Maximal Immediate Extensions in the Monotone Case; 7.5 The Case of Few Constants; 7.6 Differential-Henselianity in Several Variables; 8 Differential-Henselian Fields with Many Constants. 8.1 Angular Components8.2 Equivalence over Substructures; 8.3 Relative Quantifier Elimination; 8.4 A Model Companion; 9 Asymptotic Fields and Asymptotic Couples; 9.1 Asymptotic Fields and Their Asymptotic Couples; 9.2 H-Asymptotic Couples; 9.3 Application to Differential Polynomials; 9.4 Basic Facts about Asymptotic Fields; 9.5 Algebraic Extensions of Asymptotic Fields; 9.6 Immediate Extensions of Asymptotic Fields; 9.7 Differential Polynomials of Order One; 9.8 Extending H-Asymptotic Couples; 9.9 Closed H-Asymptotic Couples; 10 H-Fields; 10.1 Pre-Differential-Valued Fields.
Series Title: Annals of mathematics studies, no. 195.
Responsibility: Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven.
More information:

Abstract:

Asymptotic differential algebra seeks to understand the solutions of differential equations and their asymptotics from an algebraic point of view. The differential field of transseries plays a central role in the subject. Besides powers of the variable, these series may contain exponential and logarithmic terms. Over the last thirty years, transseries emerged variously as super-exact asymptotic expansions of return maps of analytic vector fields, in connection with Tarski's problem on the field of reals with exponentiation, and in mathematical physics. Their formal nature also makes them suitable for machine computations in computer algebra systems. This self-contained book validates the intuition that the differential field of transseries is a universal domain for asymptotic differential algebra. It does so by establishing in the realm of transseries a complete elimination theory for systems of algebraic differential equations with asymptotic side conditions. Beginning with background chapters on valuations and differential algebra, the book goes on to develop the basic theory of valued differential fields, including a notion of differential-henselianity. Next, H-fields are singled out among ordered valued differential fields to provide an algebraic setting for the common properties of Hardy fields and the differential field of transseries. The study of their extensions culminates in an analogue of the algebraic closure of a field: the Newton-Liouville closure of an H-field. This paves the way to a quantifier elimination with interesting consequences.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/986538411> # Asymptotic differential algebra and model theory of transseries
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "986538411" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4187357069#Topic/divergent_series> ; # Divergent series
    schema:about <http://dewey.info/class/512.56/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4187357069#Topic/mathematics_algebra_abstract> ; # MATHEMATICS--Algebra--Abstract
    schema:about <http://experiment.worldcat.org/entity/work/data/4187357069#Topic/mathematics_algebra_intermediate> ; # MATHEMATICS--Algebra--Intermediate
    schema:about <http://experiment.worldcat.org/entity/work/data/4187357069#Topic/asymptotic_expansions> ; # Asymptotic expansions
    schema:about <http://experiment.worldcat.org/entity/work/data/4187357069#Topic/differential_algebra> ; # Differential algebra
    schema:about <http://experiment.worldcat.org/entity/work/data/4187357069#Topic/series_arithmetic> ; # Series, Arithmetic
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4187357069#Person/hoeven_j_van_der_joris> ; # Joris Hoeven
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4187357069#Person/van_den_dries_lou> ; # Lou Van den Dries
    schema:creator <http://experiment.worldcat.org/entity/work/data/4187357069#Person/aschenbrenner_matthias_1972> ; # Matthias Aschenbrenner
    schema:datePublished "2017" ;
    schema:description "Asymptotic differential algebra seeks to understand the solutions of differential equations and their asymptotics from an algebraic point of view. The differential field of transseries plays a central role in the subject. Besides powers of the variable, these series may contain exponential and logarithmic terms. Over the last thirty years, transseries emerged variously as super-exact asymptotic expansions of return maps of analytic vector fields, in connection with Tarski's problem on the field of reals with exponentiation, and in mathematical physics. Their formal nature also makes them suitable for machine computations in computer algebra systems. This self-contained book validates the intuition that the differential field of transseries is a universal domain for asymptotic differential algebra. It does so by establishing in the realm of transseries a complete elimination theory for systems of algebraic differential equations with asymptotic side conditions. Beginning with background chapters on valuations and differential algebra, the book goes on to develop the basic theory of valued differential fields, including a notion of differential-henselianity. Next, H-fields are singled out among ordered valued differential fields to provide an algebraic setting for the common properties of Hardy fields and the differential field of transseries. The study of their extensions culminates in an analogue of the algebraic closure of a field: the Newton-Liouville closure of an H-field. This paves the way to a quantifier elimination with interesting consequences."@en ;
    schema:description "Cover; Title; Copyright; Contents; Preface; Conventions and Notations; Leitfaden; Dramatis Personæ; Introduction and Overview; A Differential Field with No Escape; Strategy and Main Results; Organization; The Next Volume; Future Challenges; A Historical Note on Transseries; 1 Some Commutative Algebra; 1.1 The Zariski Topology and Noetherianity; 1.2 Rings and Modules of Finite Length; 1.3 Integral Extensions and Integrally Closed Domains; 1.4 Local Rings; 1.5 Krull's Principal Ideal Theorem; 1.6 Regular Local Rings; 1.7 Modules and Derivations; 1.8 Differentials."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4187357069> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4187357069#Series/annals_of_mathematics_studies> ; # Annals of mathematics studies ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/962354550> ;
    schema:name "Asymptotic differential algebra and model theory of transseries"@en ;
    schema:productID "986538411" ;
    schema:url <http://dx.doi.org/10.23943/princeton/9780691175423.001.0001> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=4871137> ;
    schema:url <https://doi.org/10.1515/9781400885411> ;
    schema:url <https://www.degruyter.com/doi/book/10.1515/9781400885411> ;
    schema:url <http://www.jstor.org/stable/10.2307/j.ctt1ht4v2s> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1460147> ;
    schema:url <http://www.myilibrary.com?id=1009390> ;
    schema:url <https://www.degruyter.com/viewbooktoc/product/485070> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=4871137> ;
    schema:workExample <http://worldcat.org/isbn/9781400885411> ;
    schema:workExample <http://dx.doi.org/10.1515/9781400885411> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/986538411> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4187357069#Person/aschenbrenner_matthias_1972> # Matthias Aschenbrenner
    a schema:Person ;
    schema:birthDate "1972" ;
    schema:familyName "Aschenbrenner" ;
    schema:givenName "Matthias" ;
    schema:name "Matthias Aschenbrenner" ;
    .

<http://experiment.worldcat.org/entity/work/data/4187357069#Person/hoeven_j_van_der_joris> # Joris Hoeven
    a schema:Person ;
    schema:familyName "Hoeven" ;
    schema:givenName "Joris" ;
    schema:givenName "J. van der" ;
    schema:name "Joris Hoeven" ;
    .

<http://experiment.worldcat.org/entity/work/data/4187357069#Person/van_den_dries_lou> # Lou Van den Dries
    a schema:Person ;
    schema:familyName "Van den Dries" ;
    schema:givenName "Lou" ;
    schema:name "Lou Van den Dries" ;
    .

<http://experiment.worldcat.org/entity/work/data/4187357069#Series/annals_of_mathematics_studies> # Annals of mathematics studies ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/986538411> ; # Asymptotic differential algebra and model theory of transseries
    schema:name "Annals of mathematics studies ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4187357069#Topic/asymptotic_expansions> # Asymptotic expansions
    a schema:Intangible ;
    schema:name "Asymptotic expansions"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4187357069#Topic/differential_algebra> # Differential algebra
    a schema:Intangible ;
    schema:name "Differential algebra"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4187357069#Topic/mathematics_algebra_abstract> # MATHEMATICS--Algebra--Abstract
    a schema:Intangible ;
    schema:name "MATHEMATICS--Algebra--Abstract"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4187357069#Topic/mathematics_algebra_intermediate> # MATHEMATICS--Algebra--Intermediate
    a schema:Intangible ;
    schema:name "MATHEMATICS--Algebra--Intermediate"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4187357069#Topic/series_arithmetic> # Series, Arithmetic
    a schema:Intangible ;
    schema:name "Series, Arithmetic"@en ;
    .

<http://worldcat.org/isbn/9781400885411>
    a schema:ProductModel ;
    schema:isbn "1400885418" ;
    schema:isbn "9781400885411" ;
    .

<http://www.worldcat.org/oclc/962354550>
    a schema:CreativeWork ;
    rdfs:label "Asymptotic differential algebra and model theory of transseries" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/986538411> ; # Asymptotic differential algebra and model theory of transseries
    .

<https://doi.org/10.1515/9781400885411>
    rdfs:comment "URL des Erstveröffentlichers" ;
    .

<https://www.degruyter.com/viewbooktoc/product/485070>
    rdfs:comment "URL des Erstveröffentlichers" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.