Hardy type derivations on fields of exponential logarithmic series (Q408510): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The paper under review continues the study of generalized series fields \(K = \mathbb R((\Gamma ))\) with real coefficients and monomials in a totally ordered multiplicative group \(\Gamma \), carried out in a series of publications by the two authors, some of them written jointly with F.-V. Kuhlmann, Shelah and Fornasiero. Here the two authors endeavour to endow the considered fields with structures that are analogous to classical analytic structures, such as exponential and logarithmic maps, derivation, integration and difference operators. The research in this area was initiated by \textit{M. Rosenlicht}, who extensively studied Hardy fields, the natural domain for asymptotic analysis (see [``Hardy fields'', J. Math. Anal. Appl. 93, 297--311 (1983; Zbl 0518.12014)] and [``The rank of a Hardy field'', Trans. Am. Math. Soc. 280, 659--671 (1983; Zbl 0536.12015)]). The research presented in the paper under review concentrates upon the relationship between Hardy fields and generalized series fields. Its first main result characterizes those nonzero elements of \(K\) which have an asymptotic integral. It generalizes Rosenlicht's theorem for Hardy fields, proved in the latter paper referred to. The proof of the generalization attracts interest in Hardy type derivations of \(K\) introduced in another paper by the two authors [``Hardy type derivations on generalised series fields'', J. Algebra 351, No. 1, 185--203 (2012; Zbl 1264.12007)]. The second main result of the paper finds a compatibility condition between such a derivation and a prelogarithm on \(K\). The authors analyze sufficient conditions on a given derivation to construct a compatible prelogarithm via integration of logarithmic derivatives. When \(K\) is endowed with a prelogarithm \(l\), they show how to extend a strongly linear log-compatible derivation \(d\) on \(K\) to such a derivation \(d ^ {\prime }\) on the exponential-logarithmic series (abbreviated EL-series) field \((K ^ {\text{EL}}, \text{log})\) corresponding to the prelogarithmic series field \((K, l)\). In addition, it is proved that \(d ^ {\prime }\) is uniquely determined by \(d\), and also, that \(d ^ {\prime }\) is of Hardy type in case so is \(d\). For a description of the exponential closure \(K ^ {\text{EL}}\) due to the first author, we refer the reader to her book [Ordered exponential fields. Fields Institute Monographs 12, Providence, RI: American Mathematical Society (AMS) (2000; Zbl 0989.12003)]. | |||
Property / review text: The paper under review continues the study of generalized series fields \(K = \mathbb R((\Gamma ))\) with real coefficients and monomials in a totally ordered multiplicative group \(\Gamma \), carried out in a series of publications by the two authors, some of them written jointly with F.-V. Kuhlmann, Shelah and Fornasiero. Here the two authors endeavour to endow the considered fields with structures that are analogous to classical analytic structures, such as exponential and logarithmic maps, derivation, integration and difference operators. The research in this area was initiated by \textit{M. Rosenlicht}, who extensively studied Hardy fields, the natural domain for asymptotic analysis (see [``Hardy fields'', J. Math. Anal. Appl. 93, 297--311 (1983; Zbl 0518.12014)] and [``The rank of a Hardy field'', Trans. Am. Math. Soc. 280, 659--671 (1983; Zbl 0536.12015)]). The research presented in the paper under review concentrates upon the relationship between Hardy fields and generalized series fields. Its first main result characterizes those nonzero elements of \(K\) which have an asymptotic integral. It generalizes Rosenlicht's theorem for Hardy fields, proved in the latter paper referred to. The proof of the generalization attracts interest in Hardy type derivations of \(K\) introduced in another paper by the two authors [``Hardy type derivations on generalised series fields'', J. Algebra 351, No. 1, 185--203 (2012; Zbl 1264.12007)]. The second main result of the paper finds a compatibility condition between such a derivation and a prelogarithm on \(K\). The authors analyze sufficient conditions on a given derivation to construct a compatible prelogarithm via integration of logarithmic derivatives. When \(K\) is endowed with a prelogarithm \(l\), they show how to extend a strongly linear log-compatible derivation \(d\) on \(K\) to such a derivation \(d ^ {\prime }\) on the exponential-logarithmic series (abbreviated EL-series) field \((K ^ {\text{EL}}, \text{log})\) corresponding to the prelogarithmic series field \((K, l)\). In addition, it is proved that \(d ^ {\prime }\) is uniquely determined by \(d\), and also, that \(d ^ {\prime }\) is of Hardy type in case so is \(d\). For a description of the exponential closure \(K ^ {\text{EL}}\) due to the first author, we refer the reader to her book [Ordered exponential fields. Fields Institute Monographs 12, Providence, RI: American Mathematical Society (AMS) (2000; Zbl 0989.12003)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ivan D. Chipchakov / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 12J10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 12H05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6022754 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generalized series fields | |||
Property / zbMATH Keywords: generalized series fields / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
logarithm and exponential closure | |||
Property / zbMATH Keywords: logarithm and exponential closure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
derivations | |||
Property / zbMATH Keywords: derivations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
valuations | |||
Property / zbMATH Keywords: valuations / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2131387502 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1010.0896 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Exponentially Closed Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hardy fields and existence of transexponential functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4762155 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Towers of complements to valuation rings and truncation closed embeddings of valued fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exponentiation in power series fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hardy type derivations on fields of exponential logarithmic series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparison of exponential-logarithmic and logarithmic-exponential series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maps on Ultrametric Spaces, Hensel's Lemma, and Differential Equations Over Valued Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ordered exponential fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fixed points, combs and generalized power series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: $ℵ_0$-categoricity of linear orderings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Rank of a Hardy Field / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:07, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hardy type derivations on fields of exponential logarithmic series |
scientific article |
Statements
Hardy type derivations on fields of exponential logarithmic series (English)
0 references
10 April 2012
0 references
The paper under review continues the study of generalized series fields \(K = \mathbb R((\Gamma ))\) with real coefficients and monomials in a totally ordered multiplicative group \(\Gamma \), carried out in a series of publications by the two authors, some of them written jointly with F.-V. Kuhlmann, Shelah and Fornasiero. Here the two authors endeavour to endow the considered fields with structures that are analogous to classical analytic structures, such as exponential and logarithmic maps, derivation, integration and difference operators. The research in this area was initiated by \textit{M. Rosenlicht}, who extensively studied Hardy fields, the natural domain for asymptotic analysis (see [``Hardy fields'', J. Math. Anal. Appl. 93, 297--311 (1983; Zbl 0518.12014)] and [``The rank of a Hardy field'', Trans. Am. Math. Soc. 280, 659--671 (1983; Zbl 0536.12015)]). The research presented in the paper under review concentrates upon the relationship between Hardy fields and generalized series fields. Its first main result characterizes those nonzero elements of \(K\) which have an asymptotic integral. It generalizes Rosenlicht's theorem for Hardy fields, proved in the latter paper referred to. The proof of the generalization attracts interest in Hardy type derivations of \(K\) introduced in another paper by the two authors [``Hardy type derivations on generalised series fields'', J. Algebra 351, No. 1, 185--203 (2012; Zbl 1264.12007)]. The second main result of the paper finds a compatibility condition between such a derivation and a prelogarithm on \(K\). The authors analyze sufficient conditions on a given derivation to construct a compatible prelogarithm via integration of logarithmic derivatives. When \(K\) is endowed with a prelogarithm \(l\), they show how to extend a strongly linear log-compatible derivation \(d\) on \(K\) to such a derivation \(d ^ {\prime }\) on the exponential-logarithmic series (abbreviated EL-series) field \((K ^ {\text{EL}}, \text{log})\) corresponding to the prelogarithmic series field \((K, l)\). In addition, it is proved that \(d ^ {\prime }\) is uniquely determined by \(d\), and also, that \(d ^ {\prime }\) is of Hardy type in case so is \(d\). For a description of the exponential closure \(K ^ {\text{EL}}\) due to the first author, we refer the reader to her book [Ordered exponential fields. Fields Institute Monographs 12, Providence, RI: American Mathematical Society (AMS) (2000; Zbl 0989.12003)].
0 references
generalized series fields
0 references
logarithm and exponential closure
0 references
derivations
0 references
valuations
0 references
0 references
0 references