Hardy type derivations on fields of exponential logarithmic series

DOI10.1016/J.JALGEBRA.2011.07.023MaRDI QIDQ408510zbMATH OpenOpenAlexFDO

Authors Salma Kuhlmann, Mickaël Matusinski

Publication date 10 April 2012

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1010.0896

zbMATH Keywords

derivationsvaluationsgeneralized series fieldslogarithm and exponential closure

Mathematics Subject Classification ID

Differential algebra (12H05) Valued fields (12J10)

Abstract: We consider the valued field $mathdsK:=mathbbR((Gamma))$ of formal series (with real coefficients and monomials in a totally ordered multiplicative group $Gamma>$). We investigate how to endow $mathdsK$ with a logarithm $l$, which satisfies some natural properties such as commuting with infinite products of monomials. In the article "Hardy type derivations on generalized series fields", we study derivations on $mathdsK$. Here, we investigate compatibility conditions between the logarithm and the derivation, i.e. when the logarithmic derivative is the derivative of the logarithm. We analyse sufficient conditions on a given derivation to construct a compatible logarithm via integration of logarithmic derivatives. In her monograph "Ordered exponential fields", the first author described the exponential closure $mathds{K}^{mEL}$ of $(mathdsK,l)$. Here we show how to extend such a log-compatible derivation on $mathdsK$ to $mathds{K}^{mEL}$.

Recommendations

• Hardy type derivations on generalised series fields
• On generalized series fields and exponential-logarithmic series fields with derivations
• scientific article; zbMATH DE number 2202751
• Logarithmic-exponential series
• Liouville closed \(H_T\)-fields
• Differentially transcendental formal power series
• Growth orders occurring in expansions of Hardy-field solutions of algebraic differential equations
• Extending Hardy fields by non-C^∞-germs
• \(H\)-fields and their Liouville extensions
• The Rank of a Hardy Field

Cites work

• scientific article; zbMATH DE number 1568491 (Why is no real title available?)
• $ℵ_0$-categoricity of linear orderings
• Comparison of exponential-logarithmic and logarithmic-exponential series
• Exponentiation in power series fields
• Fixed points, combs and generalized power series
• Hardy fields and existence of transexponential functions
• Hardy type derivations on fields of exponential logarithmic series
• Maps on ultrametric spaces, Hensel's lemma, and differential equations over valued fields
• On Exponentially Closed Fields
• Ordered exponential fields
• The Rank of a Hardy Field
• Towers of complements to valuation rings and truncation closed embeddings of valued fields

Cited in

(12)

• Logarithmic hyperseries
• Logarithmic-exponential series
• Comparison of exponential-logarithmic and logarithmic-exponential series
• A note on complex \(p\)-adic exponential fields
• Hardy type derivations on fields of exponential logarithmic series
• Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries
• Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall
• Hardy type derivations on generalised series fields
• The exponential-logarithmic equivalence classes of surreal numbers
• A note on Schanuel's conjectures for exponential logarithmic power series fields
• On generalized series fields and exponential-logarithmic series fields with derivations
• The differential rank of a differential-valued field

This page was built for publication: Hardy type derivations on fields of exponential logarithmic series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q408510)