pith. sign in

arxiv: 2403.19732 · v5 · submitted 2024-03-28 · 🧮 math.AC · math.CA· math.LO

Normalizing Asymptotic Differential Equations

Matthias Aschenbrenner , Lou van den Dries , Joris van der Hoeven This is my paper

Pith reviewed 2026-05-24 03:18 UTC · model grok-4.3

classification 🧮 math.AC math.CAmath.LO
keywords H-fieldsalgebraic differential equationsnormalization theoremsuniversal exponential extensionnice valuationHardy fieldsdifferential fieldsasymptotic equations
0
0 comments X

The pith

Normalization theorems for algebraic differential equations over H-fields are proved using the universal exponential extension of algebraically closed differential fields.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper first defines the universal exponential extension of an algebraically closed differential field and examines its behavior under nice valuations together with linear differential equations. It then establishes normalization theorems that reduce algebraic differential equations over H-fields to simpler forms. These theorems function as a practical device for locating solutions inside appropriate extensions of the original field. The results underpin further investigation of Hardy fields.

Core claim

The universal exponential extension of an algebraically closed differential field exists and carries the required compatibility with nice valuations and linear differential equations; this structure yields normalization theorems for algebraic differential equations over H-fields that reduce the equations to normalized form inside suitable extensions.

What carries the argument

The universal exponential extension of an algebraically closed differential field, which supplies the valuation and linearity properties needed to derive the normalization theorems for equations over H-fields.

If this is right

  • Algebraic differential equations over H-fields admit normalized forms inside suitable extensions.
  • Solutions to such equations become accessible once the normalized equation is solved.
  • The same normalization technique applies directly to the differential equations arising in the study of Hardy fields.
  • Linear differential equations over the base field interact compatibly with the normalization process.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The normalization process may extend to produce asymptotic expansions for solutions that lie outside the original H-field.
  • Similar reduction steps could apply to systems of algebraic differential equations rather than single equations.
  • The existence result for the universal exponential extension might allow recursive construction of larger towers of extensions for iterated solution procedures.

Load-bearing premise

The universal exponential extension of an algebraically closed differential field exists and satisfies the stated compatibility conditions with nice valuations and linear differential equations.

What would settle it

An explicit algebraic differential equation over an H-field whose solutions cannot be reached inside any extension constructed from the universal exponential extension.

read the original abstract

We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization theorems for algebraic differential equations over $H$-fields, as a tool in solving such equations in suitable extensions. The results in this monograph are essential in our work on Hardy fields in [6].

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript defines the universal exponential extension of an algebraically closed differential field and investigates its properties in the presence of a nice valuation and in connection with linear differential equations. It then proves normalization theorems for algebraic differential equations over H-fields, presented as tools for solving such equations in suitable extensions. The results are stated to be essential for the authors' separate work on Hardy fields in reference [6].

Significance. If the normalization theorems and supporting properties of the universal exponential extension are established without gaps, the work would supply a useful technical toolkit for asymptotic analysis of differential equations in H-fields. This could strengthen the infrastructure for studying Hardy fields and related ordered differential fields with valuations, particularly in contexts where adjoining solutions while preserving valuation and differential structure is required.

major comments (1)
  1. The central results rest on the definition and properties of the universal exponential extension (invoked to support the normalization theorems over H-fields). The manuscript must explicitly verify that this extension exists as an algebraically closed differential field with the claimed behavior under nice valuations and linear differential equations; without a self-contained construction or reference to a prior theorem establishing these properties, the normalization claims cannot be checked for load-bearing gaps.
minor comments (2)
  1. The abstract refers to 'nice valuation' without a forward reference to its definition; a brief inline definition or section pointer would improve readability.
  2. Reference [6] is cited as the motivation but is not listed in the bibliography excerpt provided; ensure the full reference appears with complete bibliographic details.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the report and the recommendation. We address the single major comment below.

read point-by-point responses

  1. Referee: The central results rest on the definition and properties of the universal exponential extension (invoked to support the normalization theorems over H-fields). The manuscript must explicitly verify that this extension exists as an algebraically closed differential field with the claimed behavior under nice valuations and linear differential equations; without a self-contained construction or reference to a prior theorem establishing these properties, the normalization claims cannot be checked for load-bearing gaps.

    Authors: The manuscript supplies a self-contained definition and verification. Definition 2.1 constructs the universal exponential extension explicitly as an algebraically closed differential field extending the given base field. Theorem 2.5 then establishes its compatibility with nice valuations, while Proposition 3.4 and the surrounding discussion in Section 3 verify the required behavior with linear differential equations. These results are proved directly in the paper and are invoked in Section 5 to obtain the normalization theorems for algebraic differential equations over H-fields. No external reference is used for the core construction or the listed properties. revision: no

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper first defines the universal exponential extension of an algebraically closed differential field and investigates its properties, then proves normalization theorems for algebraic differential equations over H-fields. These theorems are explicitly positioned as tools for separate subsequent work on Hardy fields in reference [6], with no indication that the central results are derived from or reduce to that reference. No self-definitional equivalences, fitted inputs renamed as predictions, or load-bearing self-citation chains appear in the provided abstract and structure; the derivation chain is presented as sequential and self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the existence and basic properties of the universal exponential extension and on the definition of H-fields with nice valuations; these are introduced or assumed in the paper rather than derived from more elementary objects.

axioms (2)
  • domain assumption Existence of a universal exponential extension for any algebraically closed differential field
    Invoked at the outset to define the object whose properties are then investigated.
  • domain assumption H-fields admit suitable extensions in which algebraic differential equations can be normalized
    This is the premise that makes the normalization theorems applicable.

pith-pipeline@v0.9.0 · 5584 in / 1260 out tokens · 29018 ms · 2026-05-24T03:18:33.163203+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Relative differential closure in Hardy fields

    math.LO 2024-12 unverdicted novelty 7.0

    Proves that the intersection of maximal analytic Hardy fields coincides with that of all maximal Hardy fields, confirming Boshernitzan's conjecture via relative differential closure.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [1]

    Aschenbrenner, L

    M. Aschenbrenner, L. van den Dries,Liouville closedH-fields,J. Pure Appl. Algebra 197(2005), 83–139

    work page 2005

  2. [2]

    Aschenbrenner, L

    M. Aschenbrenner, L. van den Dries, J. van der Hoeven,Differentially algebraic gaps, Selecta Math.11(2005), 247–280

    work page 2005

  3. [3]

    Aschenbrenner, L

    M. Aschenbrenner, L. van den Dries, J. van der Hoeven,Maximal immediate ex- tensions of valued differential fields,Proc. London Math. Soc.117(2018), no. 2, 376–406

    work page 2018

  4. [4]

    Aschenbrenner, L

    M. Aschenbrenner, L. van den Dries, J. van der Hoeven,On numbers, germs, and transseries, in: B. Sirakov et al. (eds.):Proceedings of the International Congress of Mathematicians, Rio de Janeiro 2018, vol. 2, pp. 19–42, World Scientific Publishing Co., Singapore, 2018

    work page 2018

  5. [5]

    Aschenbrenner, L

    M. Aschenbrenner, L. van den Dries, J. van der Hoeven,Maximal Hardy Fields, manuscript,arXiv:2304.10846, 2023

    work page arXiv 2023

  6. [6]

    Aschenbrenner, L

    M. Aschenbrenner, L. van den Dries, J. van der Hoeven,Constructingω-free Hardy fields,J. Anal. Math., to appear,arXiv:2404.03695, 2024

    work page arXiv 2024

  7. [7]

    Aschenbrenner, L

    M. Aschenbrenner, L. van den Dries, J. van der Hoeven,The theory of maximal Hardy fields,preprint,arXiv:2408.05232, 2024

    work page arXiv 2024

  8. [8]

    Aschenbrenner, L

    M. Aschenbrenner, L. van den Dries, J. van der Hoeven,Filling gaps in Hardy fields, J. Reine Angew. Math.815(2024), 107–172

    work page 2024

  9. [9]

    Aschenbrenner, L

    M. Aschenbrenner, L. van den Dries, J. van der Hoeven,Revisiting second-order linear differential equations over Hardy fields,in preparation

    work page

  10. [10]

    Aschenbrenner, L

    M. Aschenbrenner, L. van den Dries, J. van der Hoeven,Linear differential equations over Hardy fields,in preparation

    work page

  11. [11]

    Boole,On a general method in analysis,Philos

    G. Boole,On a general method in analysis,Philos. Trans. Roy. Soc.134(1844), 225–282

    work page

  12. [12]

    orders of infinity

    M. Boshernitzan,An extension of Hardy’s classLof “orders of infinity”,J. Analyse Math.39(1981), 235–255

    work page 1981

  13. [13]

    Bourbaki,Fonctions d’une Variable R´ eelle,Chapitre V, ´Etude Locale des Fonc- tions,Hermann, Paris, 1951

    N. Bourbaki,Fonctions d’une Variable R´ eelle,Chapitre V, ´Etude Locale des Fonc- tions,Hermann, Paris, 1951

    work page 1951

  14. [14]

    ´Ecalle,Les Fonctions R´ esurgentes, Tome I

    J. ´Ecalle,Les Fonctions R´ esurgentes, Tome I. Les Alg` ebres de Fonctions R´ esurgentes, Publications Math´ ematiques d’Orsay 81, vol. 5, Universit´ e de Paris-Sud, D´ eparte- ment de Math´ ematiques, Orsay, 1981

    work page 1981

  15. [15]

    ´Ecalle,Introduction aux Fonctions Analysables et Preuve Constructive de la Con- jecture de Dulac,Actualit´ es Math´ ematiques, Hermann, Paris, 1992

    J. ´Ecalle,Introduction aux Fonctions Analysables et Preuve Constructive de la Con- jecture de Dulac,Actualit´ es Math´ ematiques, Hermann, Paris, 1992

    work page 1992

  16. [16]

    Gehret,A tale of two Liouville closures,Pacific J

    A. Gehret,A tale of two Liouville closures,Pacific J. Math.290(2017), no. 1, 41–76

    work page 2017

  17. [17]

    G. H. Hardy,Divergent Series,3rd ed., Oxford, at the Clarendon Press, 1963

    work page 1963

  18. [18]

    van der Hoeven,Transseries and Real Differential Algebra,Lecture Notes in Math., vol

    J. van der Hoeven,Transseries and Real Differential Algebra,Lecture Notes in Math., vol. 1888, Springer-Verlag, New York, 2006

    work page 2006

  19. [19]

    van der Hoeven,Transserial Hardy fields, Ast´ erisque323(2009), 453–487

    J. van der Hoeven,Transserial Hardy fields, Ast´ erisque323(2009), 453–487

    work page 2009

  20. [20]

    A. N. Kolmogorov, A. P. Yushkevich (eds.),Mathematics of the 19th Century. Func- tion Theory According to Chebyshev, Ordinary Differential Equations, Calculus of Variations, Theory of Finite Differences,Birkh¨ auser Verlag, Basel, 1998

    work page 1998

  21. [21]

    Lang,Algebra,3rd ed., Addison-Wesley Publishing Company, Reading, MA, 1993

    S. Lang,Algebra,3rd ed., Addison-Wesley Publishing Company, Reading, MA, 1993. 175

    work page 1993

  22. [22]

    Miller,Basics of o-minimality and Hardy fields,in: C

    C. Miller,Basics of o-minimality and Hardy fields,in: C. Miller et al. (eds.),Lec- ture Notes on O-minimal Structures and Real Analytic Geometry,pp. 43–69, Fields Institute Communications, vol. 62, Springer, New York, 2012

    work page 2012

  23. [23]

    P´ olya,On the mean-value theorem corresponding to a given linear homogeneous differential equation,Trans

    G. P´ olya,On the mean-value theorem corresponding to a given linear homogeneous differential equation,Trans. Amer. Math. Soc.24(1922), no. 4, 312–324

    work page 1922

  24. [24]

    van der Put, M

    M. van der Put, M. Singer,Galois Theory of Linear Differential Equations,Grund- lehren Math. Wiss., vol. 328, Springer-Verlag, Berlin, 2003

    work page 2003

  25. [25]

    Pynn-Coates,Newtonian valued differential fields with arbitrary value group, Comm

    N. Pynn-Coates,Newtonian valued differential fields with arbitrary value group, Comm. Algebra47(2019), no. 7, 2766–2776

    work page 2019

  26. [26]

    Pynn-Coates,Differential-henselianity and maximality of asymptotic valued dif- ferential fields,Pacific J

    N. Pynn-Coates,Differential-henselianity and maximality of asymptotic valued dif- ferential fields,Pacific J. Math.308(2020), no. 1, 161–205

    work page 2020

  27. [27]

    Rosenlicht,Differential extension fields of exponential type,Pacific J

    M. Rosenlicht,Differential extension fields of exponential type,Pacific J. Math.57 (1975), 289–300

    work page 1975

  28. [28]

    Rosenlicht,On the value group of a differential valuation,II, Amer

    M. Rosenlicht,On the value group of a differential valuation,II, Amer. J. Math.103 (1981), 977–996

    work page 1981

  29. [29]

    Rosenlicht,Hardy fields,J

    M. Rosenlicht,Hardy fields,J. Math. Analysis and Appl.93(1983), 297–311

    work page 1983

  30. [30]

    Rota,Combinatorics, representation theory and invariant theory: the story of a m´ enage ` a trois,Discrete Math.193(1998), no

    G.-C. Rota,Combinatorics, representation theory and invariant theory: the story of a m´ enage ` a trois,Discrete Math.193(1998), no. 1–3, 5–16. Kurt G¨odel Research Center for Mathematical Logic, Universit¨at Wien, 1090 Wien, Austria Email address:matthias.aschenbrenner@univie.ac.at Department of Mathematics, University of Illinois at Urbana-Champaign, Ur...

    work page 1998