An intermediate value property for first-order differential polynomials

MaRDI QIDQ2758396zbMATH OpenFDO

Authors Lou van den Dries

Publication date 2 October 2002

zbMATH Keywords

differential polynomialHardy fieldHardy field extensions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Rate of growth of functions, orders of infinity, slowly varying functions (26A12)

Review text

This paper considers a Hardy field which is an ordered differential field of germs \(+\infty\) of differentiable real valued functions defined on real number half-lines \((a,\infty).\) Using the author's notion, where \(F\) denotes a differential polynomial over \(K,\) the following is one of the major results established. Let \(K\) be a Hardy field and \(F(Y,Z)\in K[Y,Z].\) Suppose that \(\theta, \psi \in K\) with \(\theta < \psi\) such that \(F(\theta,\theta')\) and \(F(\psi,\psi')\) are non-zero and of opposite sign in \(K.\) Then there exists an element \(\eta\) in a Hardy field extension of \(K\) such that \(\theta < \eta <\psi\) and \(F(\eta,\eta') = 0.\)NEWLINENEWLINEFor the entire collection see [Zbl 0971.00010].

Recommendations

• scientific article; zbMATH DE number 1971810
• scientific article; zbMATH DE number 742756
• Second Order Differential Equations over Hardy Fields
• On higher-order differential equations over Hardy fields
• Differential equations over valued fields (and more)

Cited in

(4)

• Liouville closed \(H\)-fields
• scientific article; zbMATH DE number 1971810 (Why is no real title available?)
• On a differential intermediate value property
• Liouville closed H_T-fields

This page was built for publication: An intermediate value property for first-order differential polynomials

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