Asymptotic Differential Algebra and Model Theory of Transseries
Asymptotic Differential Algebra and Model Theory of Transseries
Cite
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 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.
-
Front Matter
-
Introduction and Overview
-
One
Some Commutative Algebra
-
Two
Valued Abelian Groups
-
Three
Valued Fields
-
Four
Differential Polynomials
-
Five
Linear Differential Polynomials
-
Six
Valued Differential Fields
-
Seven
Differential-Henselian Fields
-
Eight
Differential-Henselian Fields with Many Constants
-
Nine
Asymptotic Fields and Asymptotic Couples
-
Ten
H-Fields
-
Eleven
Eventual Quantities, Immediate Extensions, and Special Cuts
-
Twelve
Triangular Automorphisms
-
Thirteen
The Newton Polynomial
-
Fourteen
Newtonian Differential Fields
-
Fifteen
Newtonianity of Directed Unions
-
Sixteen
Quantifier Elimination
-
End Matter
Sign in
Personal account
- Sign in with email/username & password
- Get email alerts
- Save searches
- Purchase content
- Activate your purchase/trial code
- Add your ORCID iD
Purchase
Our books are available by subscription or purchase to libraries and institutions.
Purchasing informationMonth: | Total Views: |
---|---|
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 4 |
April 2023 | 3 |
April 2023 | 4 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 4 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
April 2023 | 3 |
October 2023 | 1 |
October 2023 | 5 |
October 2023 | 1 |
November 2023 | 2 |
May 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 2 |
August 2024 | 1 |
August 2024 | 2 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 1 |
August 2024 | 2 |
August 2024 | 1 |
August 2024 | 2 |
August 2024 | 1 |
August 2024 | 1 |
March 2025 | 1 |
Get help with access
Institutional access
Access to content on Oxford Academic is often provided through institutional subscriptions and purchases. If you are a member of an institution with an active account, you may be able to access content in one of the following ways:
IP based access
Typically, access is provided across an institutional network to a range of IP addresses. This authentication occurs automatically, and it is not possible to sign out of an IP authenticated account.
Sign in through your institution
Choose this option to get remote access when outside your institution. Shibboleth/Open Athens technology is used to provide single sign-on between your institution’s website and Oxford Academic.
If your institution is not listed or you cannot sign in to your institution’s website, please contact your librarian or administrator.
Sign in with a library card
Enter your library card number to sign in. If you cannot sign in, please contact your librarian.
Society Members
Society member access to a journal is achieved in one of the following ways:
Sign in through society site
Many societies offer single sign-on between the society website and Oxford Academic. If you see ‘Sign in through society site’ in the sign in pane within a journal:
If you do not have a society account or have forgotten your username or password, please contact your society.
Sign in using a personal account
Some societies use Oxford Academic personal accounts to provide access to their members. See below.
Personal account
A personal account can be used to get email alerts, save searches, purchase content, and activate subscriptions.
Some societies use Oxford Academic personal accounts to provide access to their members.
Viewing your signed in accounts
Click the account icon in the top right to:
Signed in but can't access content
Oxford Academic is home to a wide variety of products. The institutional subscription may not cover the content that you are trying to access. If you believe you should have access to that content, please contact your librarian.
Institutional account management
For librarians and administrators, your personal account also provides access to institutional account management. Here you will find options to view and activate subscriptions, manage institutional settings and access options, access usage statistics, and more.