Hardy type derivations on fields of exponential logarithmic series

DOI10.1016/J.JALGEBRA.2011.07.023zbMATH Open1247.12011arXiv1010.0896OpenAlexW2131387502MaRDI QIDQ408510FDOQ408510

Authors: Salma Kuhlmann, Mickaël Matusinski 

Publication date: 10 April 2012

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

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}$.

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

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

zbMATH Keywords

derivationsvaluationsgeneralized series fieldslogarithm and exponential closure

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (11)

• On generalized series fields and exponential-logarithmic series fields with derivations
• Hardy type derivations on fields of exponential logarithmic series
• Hardy type derivations on generalised series fields
• 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
• The exponential-logarithmic equivalence classes of surreal numbers
• A note on Schanuel's conjectures for exponential logarithmic power series fields
• A note on complex \(p\)-adic exponential fields
• Logarithmic-exponential series
• Comparison of exponential-logarithmic and logarithmic-exponential series
• 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)