Formal Power Series - Operations On Formal Power Series - Formal Differentiation of Series

Formal Differentiation of Series

Given a formal power series

in R], we define its formal derivative, denoted Df or, by

Df = \sum_{n \geq 1} a_n n X^{n-1}.

The symbol D is called the formal differentiation operator. The motivation behind this definition is that it simply mimics term-by-term differentiation of a polynomial.

This operation is R-linear:

D(af + bg) = a \cdot Df + b \cdot Dg

for any a, b in R and any f, g in R]. Additionally, the formal derivative has many of the properties of the usual derivative of calculus. For example, the product rule is valid:

D(fg) = f \cdot (Dg) + (Df) \cdot g,

and the chain rule works as well:

D(f\circ g ) = \left( Df\circ g\right) \cdot Dg,

whenever the appropriate compositions of series are defined (see above under composition of series).

Thus, in these respects formal power series behave like Taylor series. Indeed, for the f defined above, we find that

(D^k f)(0) = k! a_k,

where Dk denotes the kth formal derivative (that is, the result of formally differentiating k times).

Read more about this topic:  Formal Power Series, Operations On Formal Power Series

Famous quotes containing the words formal and/or series:

    “This is no argument against teaching manners to the young. On the contrary, it is a fine old tradition that ought to be resurrected from its current mothballs and put to work...In fact, children are much more comfortable when they know the guide rules for handling the social amenities. It’s no more fun for a child to be introduced to a strange adult and have no idea what to say or do than it is for a grownup to go to a formal dinner and have no idea what fork to use.”
    —Leontine Young (20th century)

    “Depression moods lead, almost invariably, to accidents. But, when they occur, our mood changes again, since the accident shows we can draw the world in our wake, and that we still retain some degree of power even when our spirits are low. A series of accidents creates a positively light-hearted state, out of consideration for this strange power.”
    —Jean Baudrillard (b. 1929)