Abstract
Consider two differential operators £1 = Σ aidi and £2 = Σ bjdj with coefficients in a differential field, say C(t) with d = ∂/∂t for example.
If the ai and bj are constants, the condition for the existence of a solution y of £1(y) = £2(y) = 0 is that the resultant in X of the polynomials (in C[X]) Σ aiXi and Σ bjXj is zero.
A natural question is: how one could extend this for the case of non constant coefficients ?
One of the main motivation in the resultant techniques is the universality of the computation result. When you calculate the resultant, or the subresultants, you always stay in the ring where the coefficients lies and the result can be specialized to every particular case (if the equations depends on parameters for example) to get the information in these cases.
In this paper, we define all the differential equivalents of these classical objects. In theorem 4 we describe the universal properties of the differential subresultants. They are due to the fact that, as in the polynomial case, we can work out the problem by means of linear algebra.
As it was known by Ritt ([R]), the differential resultant is a polynomial in the ai, bj and their derivatives that tells us—in the general algebraic context of linear differential equations over a differential field—if they have a common solution.
In particular, if you know in a given context that there exists a base of solutions (e.g. you have C ∞ coefficients and you work locally (Cauchy's theorem)), this universal calculation answers this existence problem in this particular context.
We here give a Sylvester style expression for the resultant and the subresultants. So, as theses objects are determinants, you can get size information on them if you have any reasonable notion of size in the differential ring and, as a corollary, complexity estimates for the calculation. At least three techniques may be used: Gauss elimination type techniques (e.g. the Bareiss algorithm) if the ring does not contain zero divisors, Berkowitz fast parallel algorithm ([Be]) or the natural extension of the subresultant algorithm.
As in the classical case, the differential resultant can be expressed in terms of the values of one of the operators on a base of the solutions of the other, we exhibit this formula and most of the differential equivalents of the classical ones.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Berkowitz, On computing the determinant in small parallel time using a small number of processors, Information processing letter 18 pp. 147–150, 1984.
Chardin, Thèse de l'Université Paris VI, prépublication du Centre de Mathématiques de l'Ecole Polytechnique, 1990.
González, Lombardi, Recio & Roy, Spécialisation de la suite de Sturm et sous-résultants, Publicaciones Universidad de Cantabria 8/90, Agosto 1990.
Kaplansky, An Introduction to Differential Algebra, Hermann 1957.
Kolchin, Differential Algebra and Algebraic Groups, Academic Press, New York, 1973.
Loos, Generalized polynomial remainder sequences, Symbolic and Algebraic computation pp. 115–138. Buchberger, Collins & Loos ed., Springer Verlag 1982.
Poole, Introduction to the theory of linear differential equations, Dover Public., New York, 1960.
Ritt, Differential equations from the algebraic standpoint, AMS Colloquium Publications Vol. XIV, New York, 1932.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chardin, M. (1991). Differential resultants and subresultants. In: Budach, L. (eds) Fundamentals of Computation Theory. FCT 1991. Lecture Notes in Computer Science, vol 529. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54458-5_62
Download citation
DOI: https://doi.org/10.1007/3-540-54458-5_62
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54458-6
Online ISBN: 978-3-540-38391-8
eBook Packages: Springer Book Archive