Taylor series operator commutes with differentiation: Difference between revisions

From Calculus
(Created page with "==Statement== Suppose <math>f</math> if a function defined on a subset of the reals that is infinitely differentiable at a point <math>x_0...")
 
Line 1: Line 1:
==Statement==
==Statement==


Suppose <math>f</math> if a function defined on a subset of the reals that is [[infinitely differentiable function|infinitely differentiable]] at a point <math>x_0/math> in its [[domain]]. Then, the [[derivative]] <math>f'</math> is also defined and infinitely differentiable at <math>x_0</math>, and the [[fact about::Taylor series]] for <math>f'</math> is the [[fact about::derivative of power series|derivative]] (in the sense of derivative of power series) of the Taylor series for <math>f</math>.
Suppose <math>f</math> if a function defined on a subset of the reals that is [[infinitely differentiable function|infinitely differentiable]] at a point <math>x_0</math> in its [[domain]]. Then, the [[derivative]] <math>f'</math> is also defined and infinitely differentiable at <math>x_0</math>, and the [[fact about::Taylor series]] for <math>f'</math> is the [[fact about::derivative of power series|derivative]] (in the sense of derivative of power series) of the Taylor series for <math>f</math>.


==Related facts==
==Related facts==

Revision as of 11:43, 7 September 2011

Statement

Suppose if a function defined on a subset of the reals that is infinitely differentiable at a point in its domain. Then, the derivative is also defined and infinitely differentiable at , and the Taylor series for is the derivative (in the sense of derivative of power series) of the Taylor series for .

Related facts