Spivak's Calculus: sum of derivatives of a polynomia

Click For Summary
SUMMARY

The discussion centers on proving that for a polynomial function f of even degree n, the sum of its derivatives, expressed as f + f' + f'' + ... + f^(n), is non-negative for all x. The solution involves defining a new polynomial Q(x) that incorporates the sum of derivatives and analyzing its behavior at infinity and within specific intervals. The proof utilizes the continuity of Q and its derivatives to establish that if Q were negative at any point, it would lead to a contradiction regarding the positivity of f, confirming that the sum of derivatives is indeed non-negative.

PREREQUISITES
  • Understanding of polynomial functions and their properties
  • Knowledge of calculus, specifically differentiation and continuity
  • Familiarity with mathematical induction techniques
  • Ability to analyze polynomial behavior at infinity
NEXT STEPS
  • Study the properties of polynomial functions, focusing on even-degree polynomials
  • Learn about the continuity and differentiability of functions in calculus
  • Explore mathematical induction and its applications in proofs
  • Investigate the behavior of polynomial sums and their derivatives
USEFUL FOR

Mathematics students, educators, and anyone interested in advanced calculus and polynomial analysis will benefit from this discussion.

AlwaysCurious
Messages
33
Reaction score
0

Homework Statement


Let f be a polynomial function of degree n such that f(x) ≥ 0 for all x (note that n must be even). Prove that f + f' +f'' + f''' + ... + f^(n) ≥ 0.


Homework Equations



I believe that is all - the derivative of some term in the polynomial ax^n is anx^(n-1).

The Attempt at a Solution



I attempted induction on n (stepping up by two, not one, each time), actually writing out the final summed polynomial in terms of its coefficients, etc. but have made no real progress.

Thank you for hints/solutions in advance!
(if you have a suggestive hint, I actually would appreciate that MORE than a solution, but if you want to give a solution I'd still be happy).
 
Physics news on Phys.org
Never mind, I found the solution a while ago. For anyone curious, here it is:

Note that the first coefficient of f must be positive, otherwise f(x) would be negative for large enough x.

Let Q(x) = (f + f' + f'' +... +f^(n))(x). Note that the first coefficient of Q is the first coefficient of f, so Q is positive for large enough (in absolute value) x, so Q(x) is positive for all x such that x<A for some number A, and Q(x) is positive for all x such that x>B for some number B. Let x2>B .

If Q(x) is positive for all x, then we're done. But assume false , i.e there is some interval that is a subset of (A,B) such that Q is negative on said interval, in particular say Q(n) < 0 for some n such that n<B.

Then by the continuity of Q there is a z such that n<z<x2 such that Q(z) = 0, and z is the closest root to n, i.e Q is negative on (n,z). Then again by the continuity and differentiability of Q, there is a y[itex]\ni[/itex](n,z) such that Q'(y) = [itex]\displaystyle\frac{Q(z) - Q(n) = -Q(n)}{z-n}[/itex], so Q'(y) is positive. Because y[itex]\ni[/itex](n,z), Q(y) is negative. So Q(y) - Q'(y) is negative.

But notice that Q(y) -Q'(y) = (f + f' + f'' +...)(y) - (f' + f'' + f''' +...)(y) = f(x). So the existence of an n such that Q(n) < 0 implies that f is negative at some y which is false.

I really like this book!
 

Similar threads

Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
9
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
4
Views
1K
Replies
5
Views
2K
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K