Finding roots of equations involving functions defined by first order algebraic differential equations
A method is given for approximating solutions of f (x) = 0, for f in a certain class F of real valued analytic functions of one real variable. The method depends on being able to decide the sign of f (r) for given f in F and rational r. That is, approximation of roots is Turing reduced to the constant problem. The last root problem is evaded: essentially solutions are only found in given finite intervals.
The class of functions F contains x, exp(x), log(x) for x > 0, sin(x) for x in (—π/2, π/2), and is closed under field operations, differentiation and integration. F is built up by successively adding solutions g of first order differential equations q(x, g, g′) = 0, where q is a polynomial whose coefficients may involve previously defined functions.
The main technique used is construction of a false derivative. A false derivative of f (x) is a function f *(x) which is continuous and has the same sign as f′(x) whenever f(x) = 0.
KeywordsManifold Mora Vica
Unable to display preview. Download preview PDF.
- Arnon, D. S., and B. Buchberger, (Editors), “Algorithms in real algebraic geometry,” Academic Press, 1988.Google Scholar
- Davenport, J. H., Computer Algebra for Cylindrical Decomposition, University of Bath computer science technical report 88-110.Google Scholar
- van den Dries, L., On the elementary theory of restricted elementary functions, The Journal of Symbolic Logic 53 (1988), 769–808.Google Scholar
- Khovanskii, A. G., Fewnomials and Pfaff manifolds, in “Proc. Int. Congress of Mathematicians,” Warsaw 1983, pp. 549–564.Google Scholar
- Khovanskii, A.G., On a class of systems of transcendental equations, Soviet Math. Dokl. 22 (1980), 762–765.Google Scholar
- Lombardi, H., Algebre Elementaire en Temps Polynomial, Thesis, University of Nice, 1989.Google Scholar
- Richardson, D., Wu’s method and the Khovanskii finiteness theorem, Bath Computer Science, technical report 89-29.Google Scholar
- Shackell, J., Zero-Equivalence in function fields defined by algebraic differential equations.Google Scholar
- Shackell, J., A Differential-equations approach to functional equivalence.Google Scholar