In mathematics, Budan's theorem, named after F. D. Budan, is a little-known theorem for computing an upper bound on the number of real roots a polynomial has inside an open interval by counting the number of sign variations or sign changes in the sequences of coefficients.
Since 1836, the statement of Budan's theorem has been replaced in the literature by the statement of an equivalent theorem by Fourier, and the latter has been referred to under various names, including Budan's. However, it is only the statement of Budan's theorem that forms the basis of the fastest method for the isolation of the real roots of polynomials and hence it deserves its own place in the history of mathematics.
- 1 Sign variation
- 2 Budan's theorem
- 3 Fourier's theorem
- 4 Historical background
- 5 Equivalence between the theorems by Budan and Fourier
- 6 The most significant application of Budan's theorem
- 7 See also
- 8 References
- 9 External links
- Let be a finite or infinite sequence of real numbers. Suppose and the following conditions hold:
- If the numbers and have opposite signs.
- If the numbers are all zero and the numbers and have opposite signs.
- This is called a sign variation or sign change between the numbers and .
- When dealing with the polynomial in one variable, one defines the number of sign variations of as the number of sign variations in the sequence of its coefficients.
The following statement of Budan's theorem had disappeared from the literature (for about 150 years) due to its equivalence to the statement of Fourier's theorem.
Statement of Budan's theorem
Given an equation in , of degree it is possible to make two substitutions and where and are real numbers so that . If and are the sign variations in the sequences of the coefficients of and respectively then, provided , the following applies:
- The polynomial cannot have fewer sign variations than those of . In short
- The number of the real roots of the equation located in the open interval can never be more than the number of sign variations lost in passing from the transformed polynomial to the transformed polynomial . In short,
- When the number of the real roots of the equation located in the open interval is strictly less than the number of the sign variations lost in passing from the transformed polynomial to the transformed polynomial then the difference is always an even number. In short, where ∈ .
It should also be mentioned that making use of the substitutions and , the exact number of real roots in the interval can be found in only two cases:
- If there is no sign variation loss, then there are no real roots in the interval .
- If there is one sign variation loss, then there is exactly one real root in the interval . The inverse statement does not hold in this case.
Examples of Budan's theorem
1. Given the polynomial and the open interval , the substitutions and can be made. The resulting polynomials and the respective sign variations are:
Thus, from Budan's theorem . Therefore, the polynomial has either two or no real roots in the open interval , a case that must be further investigated.
2. Given the same polynomial and the open interval the substitutions and can be made. The resulting polynomials and the respective sign variations are:
By Budan's theorem , i.e. there are no real roots in the open interval .
The last example indicates the main use of Budan's theorem as a "no roots test".
The statement of Fourier's theorem (for Polynomials) which also appears as Fourier–Budan theorem or as the Budan–Fourier theorem or just as Budan's theorem can be found in almost all texts and articles on the subject.
Given an equation in , of degree , the Fourier sequence of , , is defined as the sequence of the functions where is the ith derivative of .Thus, .
Example of Fourier's sequence
The Fourier sequence of the polynomial is .
Statement of Fourier's theorem
Given the polynomial equation , of degree with real coefficients and its corresponding Fourier sequence , can be replaced by any two real numbers . If the two resulting arithmetic sequences are represented by and respectively, and their corresponding sign variations by , then, provided , the following applies:
- The sequence cannot present fewer sign variations than the sequence . In short,
- The number of the real roots of the equation located in the open interval can never be more than the number of sign variations lost in passing from the sequence to the sequence . In short,
- When the number of the real roots of the equation located in the open interval is strictly less than the number of the sign variations lost in passing from the sequence to the sequence then the difference is always an even number. In short, where
Example of Fourier's theorem
Given the previously mentioned polynomial and the open interval , the following finite sequences and the corresponding sign variations can be computed:
Thus, from Fourier's theorem . Therefore, the polynomial has either two or no real roots in the open interval , a case which should be further investigated.
In the beginning of the 19th century F. D. Budan and J. B. J. Fourier presented two different (but equivalent) theorems which enable us to determine the maximum possible number of real roots that an equation has within a given interval.
Budan's statement can hardly be found in the bibliography. Instead, it was replaced by Fourier's statement which is usually referred to as Fourier's theorem, or as Fourier–Budan or as Budan–Fourier or even as Budan's theorem. The actual statement of Budan's theorem appeared in 1807 in the memoir "Nouvelle méthode pour la résolution des équations numériques", whereas Fourier's theorem was first published in 1820 in the "Bulletin des Sciences, par la Société Philomatique de Paris". Due to the importance of these two theorems, there was a great controversy regarding priority rights; on this see  and especially Arago's book p. 383.
Early applications of Budan's theorem
In "Nouvelle méthode pour la résolution des équations numériques", Budan himself used his theorem to compute the roots of any polynomial equation by calculating the decimal digits of the roots. More precisely, Budan used his theorem as a "no roots test", which can be stated as follows: if the polynomials and have (in the sequence of their coefficients) the same number of sign variations then it follows (from Budan's theorem) that has no real roots in the interval .
Furthermore, in his book, p. 37, Budan presents, independently of his theorem, a "0_1 roots test", that is a criterion for determining whether a polynomial has any roots in the interval (0,1). This test can be stated as follows:
Perform on the substitution and count the number of sign variations in the sequence of coefficients of the transformed polynomial; this number gives an upper bound on the number of real roots has inside the open interval . More precisely, the number of real roots in the open interval — multiplicities counted — of the polynomial , of degree , is bounded above by the number of sign variations , where
and . As in the case of Descartes' rule of signs if it follows that and if it follows that .
This test (which is a special case of the more general Alesina-Galuzzi "a_b roots test") was subsequently used by Uspensky in the 20th century. (Uspensky, pp. 298–303, was the one who kept Vincent's theorem alive carrying the torch (so to speak) from Serret.)
Bourdon, in the last chapter of his 1831 Algebra (6th edition), pp. 717–760, combined Budan's theorem and Lagrange's continued fraction method for approximating real roots of polynomials and, thus, gave a preview of Vincent's method, without actually giving credit to him. As Vincent mentions in the very first sentence of his 1834 and 1836 papers, Bourdon used (in his book) a joint presentation of theirs.
Disappearance of Budan's theorem
Budan's theorem forms the basis for Vincent's theorem and Vincent's (exponential) method for the isolation of the real roots of polynomials. Therefore, there is no wonder that Vincent in both of his papers of 1834 and 1836 states Budan's theorem and contrasts it with the one by Fourier. Vincent was the last author in the 19th century to state Budan's theorem in its original form.
Despite the fact that Budan's theorem was of such great importance, the appearance of Sturm's theorem in 1827 gave it (and Vincent's theorem) the death blow. Sturm's theorem solved the real root isolation problem, by defining the precise number of real roots a polynomial has in a real open interval (a, b); moreover, Sturm himself, p. 108, acknowledges the great influence Fourier's theorem had on him: « C'est en m'appuyant sur les principes qu'il a posés, et en imitant ses démonstrations, que j'ai trouvé les nouveaux théorèmes que je vais énoncer. » which translates to «It is by relying upon the principles he has laid out and by imitating his proofs that I have found the new theorems which I am about to announce.» . Because of the above, the theorems by Fourier and Sturm appear in almost all the books on the theory of equations and Sturm's method for computing the real roots of polynomials has been the only one widely known and used ever since – up to about 1980, when it was replaced (in almost all computer algebra systems) by methods derived from Vincent's theorem, the fastest one being the Vincent–Akritas–Strzeboński (VAS) method.
Consequently Budan's theorem (but not his name) was pushed into oblivion. Referentially, in Serret's book there is section 121 (p. 266) on Budan's theorem but the statement is the one due to Fourier, because, as the author explains in the footnote of p. 267 , the two theorems are equivalent and Budan had clear priority. To his credit, Serret included in his Algebra, pp 363–368, Vincent's theorem along with its proof and directed all interested readers to Vincent's papers for examples on how it is used. Serret was the last author to mention Vincent's theorem in the 19th century.
Comeback of Budan's theorem
Budan's theorem reappeared, after almost 150 years, in Akritas' Ph.D. Thesis "Vincent's Theorem in Algebraic Manipulation", North Carolina State University, USA, 1978, and in several publications that resulted from that dissertation. Akritas found the statement of Budan's theorem in Vincent's paper of 1836, which was made available to him through the efforts of a librarian in the Library of the University of Wisconsin–Madison, USA.
Equivalence between the theorems by Budan and Fourier
Budan's theorem is equivalent to the one by Fourier. This equivalence is obvious from the fact that, given the polynomial of degree , the terms of the Fourier sequence (obtained by substituting in ) have the same signs with (and are proportional to) the corresponding coefficients of the polynomial , obtained from Taylor's expansion theorem.
As Alesina and Galuzzi point out in Footnote 9, p. 222 of their paper, the controversy over priority rights of Budan or Fourier is rather pointless from a modern point of view. The two authors think that Budan has an "amazingly modern understanding of the relevance of reducing the algorithm (his own word) to translate a polynomial by , where is an integer, to simple additions".
Despite their equivalence, the two theorems are quite distinct concerning the impact they had on the isolation of the real roots of polynomials with rational coefficients. To wit:
- Fourier's theorem led Sturm to his theorems and method, whereas
- Budan's theorem is the basis of the Vincent–Akritas–Strzeboński (VAS) method.
Xcas is a computer algebra system where Sturm's method and VAS are both implemented and can be compared; to do so use the functions realroot(poly) and time(realroot(poly)). By default, to isolate the real roots of poly realroot uses the VAS method; to use Sturm's method write realroot(sturm, poly). See also the External links for two applications that do the same thing: one for Android devices by A. Berkakis and another one for the Apple devices iPhone/iPod/iPad by S. Kehagias.
The most significant application of Budan's theorem
Vincent's (exponential) method for the isolation of the real roots of polynomials (which is based on Vincent's theorem of 1834 and 1836) is the most significant application of Budan's theorem. Moreover, it is the most representative example of the importance of the statement of Budan's theorem. As explained below, knowing the statement of Fourier's theorem did not help Uspensky realize that there are no roots of in the open interval if and have the same number of sign variations in the sequence of their coefficients (see, pp. 127–137).
Vincent's theorem (1834 and 1836)
If in a polynomial equation with rational coefficients and without multiple roots, one makes successive transformations of the form
where a, b, and c are any positive numbers greater than or equal to one, then after a number of such transformations, the resulting transformed equation either has zero sign variations or it has a single sign variation. In the first case there is no root, whereas in the second case there is a single positive real root. Furthermore, the corresponding root of the proposed equation is approximated by the finite continued fraction:
Finally, if infinitely many numbers satisfying this property can be found, then the root is represented by the (infinite) corresponding continuous fraction.
Vincent's implementation of his own theorem
Vincent uses Budan's theorem exclusively as a "no roots test" to locate where the roots lie on the x-axis (to compute the quantities of his theorem); that is, to find the integer part of a root Vincent performs successively substitutions of the form and stops only when the polynomials and differ in the number of sign variations in the sequence of their coefficients (i.e when the number of sign variations of is decreased).
See the corresponding diagram where the root lies in the interval . Since in general the location of the root is not known in advance, the root can be found (with the help of Budan's theorem) only by this decrease in the number of sign variations; that is, the polynomial has fewer sign variations than the polynomial . Vincent then easily obtains a first continued fraction approximation to this root as as stated in his theorem. Vincent performs those, and only those, transformations that are described in his theorem.
Uspensky's implementation of Vincent's theorem
- According to Alexei Uteshev of St. Petersburg University, Russia, Uspensky came upon the statement (and proof) of Vincent's theorem in the 20th century in Serret's Algebra, pp 363–368, which means that he was not aware of the statement of Budan's theorem (because Serret included in his book Fourier's theorem). Moreover, this means that Uspensky never saw Vincent's papers of 1834 and 1836, where Budan's theorem is stated and Vincent's method is explained with several examples (because Serret directed all interested readers to Vincent's papers for examples on how the theorem is used). Therefore, in the preface of his book that came out in 1949, Uspensky erroneously claimed that, based on Vincent's theorem, he had discovered a method for isolating the real roots "much superior in practice to that based on Sturm's Theorem". Uspensky's statement is erroneous because, since he is not using Budan's theorem, he is isolating the real roots doing twice the amount of work done by Vincent (see, pp. 127–137). Despite this misunderstanding, kudos to Uspensky for keeping Vincent's theorem alive.
Uspensky does not know Budan's theorem and, hence, he cannot use it as a "no roots test". So, for him it does not suffice that has the same number of sign variations as in order to conclude that has no roots inside ; to make sure, he also performs the redundant substitution (Budan's "0_1 roots test") in , which unfailingly results in a polynomial with no sign variations and hence no positive roots. Uspensky uses the information obtained from both the needed transformation and the not needed one to realize that has no roots in the interval . In other words, searching for a root, Uspensky advances as illustrated in the corresponding figure.
- Budan, François D. (1807). Nouvelle méthode pour la résolution des équations numériques. Paris: Courcier.
- Fourier, Jean Baptiste Joseph (1820). "Sur l'usage du théorème de Descartes dans la recherche des limites des racines". Bulletin des Sciences, par la Société Philomatique de Paris: 156–165.
- Akritas, Alkiviadis G. (1981). "On the Budan–Fourier Controversy". ACM-SIGSAM Bulletin 15 (1): 8–10. doi:10.1145/1089242.1089243.
- Akritas, Alkiviadis G. (1982). "Reflections on a Pair of Theorems by Budan and Fourier". Mathematics Magazine 55 (5): 292–298. doi:10.2307/2690097.
- Arago, François (1859), Biographies of distinguished scientific men, Boston: Ticknor and Fields (English Translation)
- Akritas, Alkiviadis G. (1986). There is no "Uspensky's Method". In: Proceedings of the fifth ACM Symposium on Symbolic and Algebraic Computation (SYMSAC '86, Waterloo, Ontario, Canada), pp. 88–90.
- Uspensky, James Victor (1948). Theory of Equations. New York: McGraw–Hill Book Company.
- Serret, Joseph A. (1877). Cours d'algèbre supérieure. Tome I. Gauthier-Villars.
- Bourdon, Louis Pierre Marie (1831). Éléments d'Algèbre. Paris: Bachelier Père et Fils (6th edition).
- Vincent, Alexandre Joseph Hidulph (1834). "Mémoire sur la résolution des équations numériques". Mémoires de la Société Royale des Sciences, de l' Agriculture et des Arts, de Lille: 1–34.
- Vincent, Alexandre Joseph Hidulph (1836). "Sur la résolution des équations numériques". Journal de Mathématiques Pures et Appliquées 1: 341–372.
- Hourya, Benis-Sinaceur (1988). "Deux moments dans l'histoire du Théorème d'algèbre de Ch. F. Sturm". Revue d'histoire des sciences 41 (2): 99–132.
- Akritas, Alkiviadis G.; A.W. Strzeboński, P.S. Vigklas (2008). "Improving the performance of the continued fractions method using new bounds of positive roots". Nonlinear Analysis: Modelling and Control 13: 265–279.
- Alesina, Alberto; Massimo Galuzzi (1998). "A new proof of Vincent's theorem". L'Enseignement Mathématique 44 (3-4): 219–256.
- Vincent, Alexandre Joseph Hidulph (1838). "Addition à une précédente note relative à la résolution des équations numériques". Journal de Mathématiques Pures et Appliquées 3: 235–243.
- Akritas, Alkiviadis G. (2008). There is no "Descartes' method". In: M.J.Wester and M. Beaudin (Eds), Computer Algebra in Education, AullonaPress, USA, pp. 19–35.
- Berkakis, Antonis: RealRoots, a free App for Android devices to compare Sturm's method and VAS
- Budan, F.: extended Biography http://www-history.mcs.st-andrews.ac.uk/Biographies/Budan_de_Boislaurent.html
- Encyclopedia of Mathematics http://www.encyclopediaofmath.org/index.php/Budan-Fourier_theorem
- Kehagias, Spyros: RealRoots, a free App for iPhone, iPod Touch and iPad to compare Sturm's method and VAS http://itunes.apple.com/gr/app/realroots/id483609988?mt=8