Skip to main content
5 of 8
added 470 characters in body
Bill Thurston
  • 25.1k
  • 12
  • 99
  • 117

My first response (still left below) was fallacious, but it was based on the idea that this method had to work, given the truth of the assertion. Since it doesn't work ...:

The assertion for positive polynomials implies the limiting case, for polynomials that are non-negative in the interval.

But polynomials of the form given in the question do not have zeros on the unit interval (as suggested by commenters). In particular, (x-1/2)^2 cannot be represented by in this form, since all coefficients would be forced to be 0.

Moreover: there cannot be any positive finite generating set for the convex cone of positive polynomials of degree $> 1$. This cone is not polyhedral, having uncountably many different extremal rays for instance in degree 2, where for each $a$ in the unit interval and $t > 0$, the ray of polynomials $t (x-a)^2$ is extremal, not expressible as a convex combination of other positive polynomials.

Here is a plot of the convex cone showing coefficients of positive quadratic polynomials. The three triangles bound the convex combinations of basis functions mentioned in the question. The curved side consists of coefficients of nonnegative quadratic functions with a 0 in the interval. These are not positive linear combinations of any finite collection of positive polynomials. alt text http://dl.dropbox.com/u/5390048/PositiveQuadratics.jpg

The answer below was mistaken, as noted in comments. It was based on inverse deduction -- that if the statement were true, this had to be true.

That's a nice, simple representation; I wasn't aware of it, but presumably something this simple must be known. Here's a proof:

The case $i+j = n$ is sufficient to get degree $n$ polynomials (perhaps that's what you meant).

Here is a plot of this positive basis, for $n = 3$; the picture suggests a working strategy.

alt text http://dl.dropbox.com/u/5390048/PositivePolynomials.jpg

Since only one of the functions is positive at each endpoint, you know what the coefficients of these functions must be. If you subtract, is it still positive? That follows from

Lemma: any degree $n$ polynomial positive in the unit interval that takes value 1 at 1 must be greater than $x^n$.

(My proof was fallacious ).

From the lemma, it follows that $q(x) = p(x) - p(0) (1-x)^n + p(1) x^n$ is still positive. Since $q(x)$ is 0 at the endpoints of the interval, it is divisible by $x(1-x)$. Use induction to represent the quotient; this gives the desired representation for $p$.

Bill Thurston
  • 25.1k
  • 12
  • 99
  • 117