Abstract
We present algorithms for parametric problems in differential algebra that can be formulated in a suitable first-order language L. The atomic L-formulas are linear ODEs of arbitrary order with parametric coefficients of arbitrary degrees. Using rather weak axioms on differential fields or differential algebras that are realized in natural function domains, we establish explicit quantifier elimination algorithms for L providing also parametric sample solutions for purely existential problems. These sample solutions are “generic” solutions of univariate parametric linear ODEs that can be realized by concrete functions in the natural function domains mentioned above. We establish upper complexity bounds for the elimination algorithms that are elementary recursive for formulas of bounded quantifier alternation, in particular doubly exponential for existential formulas. Our results are in contrast to Seidenberg’s model theoretic elimination theory for non-linear problems that is non elementary recursive, requires very strong axioms that are not realizable in natural function domains, and does not provide sample solutions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Seidenberg, A.: An elimination theory for differential algebra. Univ. California Publ. Math (N.S.) 3, 31–66 (1956)
Robinson, A.: Complete theories. North-Holland, Amsterdam (1956)
Robinson, A.: Relative model-completeness and the elimination of quantifiers. In: Kreisler, H.J., Körner, S., Luxemburg, W.A., Young, A.D. (eds.) Abraham Robinson. Selected Papers, vol. 1, pp. 146–159. Yale University Press, New Haven (1979); Originally in Dialectica 12, pp. 394–407 (1958); M.R. 21 #1265
Robinson, A.: On the concept of a differentially closed field. In: Kreisler, H.J., Körner, S., Luxemburg, W.A., Young, A.D. (eds.) Abraham Robinson. Selected Papers, vol. 1, pp. 440–455. Yale University Press, New Haven (1979); Originally in Bull. Res. Council Israel 8F, 113–128. M.R. 23 #2323 (1959)
Blum, L.: Generalized Algebraic Structures: A Model Theoretical Approach. Ph.D. thesis, MIT, Cambridge, MA (1968)
Blum, L.: Differentially closed fields: A model theoretic tour. In: Bass, H., Cassidy, P.J., Kovacic, J. (eds.) Contributions to Algebra. A Collection of Papers Dedicated to Ellis Kolchin, pp. 37–61. Academic Press, New York (1977)
Dolzmann, A., Sturm, T.: Generalized constraint solving over differential algebras. In: Ganzha, V.G., Mayr, E.M., Vorozhtsov, E.V. (eds.) Proceedings CASC 2004, TUM (2004)
Ritt, J.F.: Differential Algebra. AMS, New York (1950)
Schnorr, C.P.: Rekursive Funktionen und ihre Komplexität. Teubner (1974)
Sturm, T., Weispfenning, V.: Quantifier elimination in term algebras. In: Computer Algebra in Scientific Computation - CASC 2002, pp. 285–330. TU München (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weispfenning, V. (2005). Solving Linear Differential Problems with Parameters. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2005. Lecture Notes in Computer Science, vol 3718. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11555964_40
Download citation
DOI: https://doi.org/10.1007/11555964_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28966-1
Online ISBN: 978-3-540-32070-8
eBook Packages: Computer ScienceComputer Science (R0)