Term-by-term differentiation
Statement
If has radius of convergence , then is differentiable on , and its derivative can be computed term by term: , with the same radius of convergence .
Why is it true?
A power series behaves like an infinite polynomial, and polynomials can be differentiated term by term; the theorem says this familiar rule survives the passage to infinitely many terms, as long as we stay strictly inside the radius of convergence.
Proof sketch
First we show the differentiated series has the same radius of convergence. Let be the coefficients of the term-by-term derivative (shifted index). Since as , we have , and by the Cauchy–Hadamard formula the two series and have the same radius of convergence .
Next, fix any closed subinterval with . On this subinterval the series of derivatives converges uniformly, because its terms are dominated (for large) by for constants coming from a slightly larger radius , and the Weierstrass M-test applies.
Uniform convergence of the derivative series on together with pointwise convergence of the original series lets us invoke the standard theorem on differentiating a series of functions term by term: the sum is differentiable on and equals the sum of the derivative series there. Since was arbitrary, this holds on all of .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.