Abstract:An $H$-field is a type of ordered valued differential field with a natural interaction between ordering, valuation, and derivation. The main examples are Hardy fields and fields of transseries. Aschenbrenner and van den Dries proved in~\cite{MZ} that every $H$-field $K$ has either exactly one or exactly two Liouville closures up to isomorphism over $K$, but the precise dividing line between these two cases was unknown. We prove here that this dividing line is determined by $\uplambda$-freeness, a property of $H$-fields that prevents certain deviant behavior. In particular, we show that under certain types of extensions related to adjoining integrals and exponential integrals, the property of $\uplambda$-freeness is preserved. In the proofs we introduce a new technique for studying $H$-fields, the \emph{yardstick argument} which involves the rate of growth of pseudoconvergence.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine under what conditions the H - field has one or two Liouville closures. Specifically, the paper explores how the property of λ - freeness in the H - field serves as a crucial criterion for distinguishing these two cases. The H - field is an ordered valued differential field, in which there are natural interactions among the ordering, valuation, and derivative. The main examples include the Hardy field and the transseries field.
### Background and Problem Description
- **H - field**: A specific type of ordered valued differential field, introduced in reference [3], including all Hardy fields that contain the set of real numbers \(\mathbb{R}\).
- **Liouville closure**: If an H - field \(K\) satisfies that every equation of the form \(y' + fy = g\) has a non - zero solution, then it is called Liouville - closed. The smallest Liouville - closed H - field extension is called the Liouville closure of \(K\).
- **Known results**: Reference [3] has proven that for any H - field \(K\), one of the following two cases must occur:
- \(K\) has exactly one Liouville closure (up to isomorphism).
- \(K\) has exactly two Liouville closures (up to isomorphism).
However, the specific dividing line is still unclear. The main contribution of the paper lies in determining that this dividing line is determined by the λ - freeness of the H - field.
### Main Results
- **λ - freeness**: A property of the H - field that prevents certain abnormal behaviors from occurring.
- **Main theorem**: If an H - field is λ - free, then it belongs to the first case (having only one Liouville closure). If an H - field has an asymptotic integral and is not λ - free, then it belongs to the second case (having two Liouville closures).
### Technical Means
- **Yardstick argument**: A new technique for studying the behavior of H - fields when adding integrals and exponential integrals, with particular attention to the change in "pseudo - convergence rate".
- **Maintaining λ - freeness**: The paper proves that λ - freeness is maintained under certain types of extensions (such as adding integrals and exponential integrals).
### Conclusion
By introducing the yardstick argument and proving the preservation of λ - freeness, the paper successfully determines under what conditions the H - field has one or two Liouville closures. This result not only fills a theoretical gap but also provides new tools and techniques for the study of H - fields.