This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)

Making Power Series Expansions

Series[expr,{x,x0,n}]find the power series expansion of expr about the point x=x0 to order at most (x-x0)n
find series expansions with respect to y then x

Functions for creating power series.

Here is the power series expansion for exp (x) about the point x=0 to order x4.
Click for copyable input
Here is the series expansion of exp (x) about the point x=1.
Click for copyable input
If Mathematica does not know the series expansion of a particular function, it writes the result symbolically in terms of derivatives.
Click for copyable input
In mathematical terms, Series can be viewed as a way of constructing Taylor series for functions.
The standard formula for the Taylor series expansion about the point x=x0 of a function g (x) with kth derivative g (k) (x) is . Whenever this formula applies, it gives the same results as Series. (For common functions, Series nevertheless internally uses somewhat more efficient algorithms.)
Series can also generate some power series that involve fractional and negative powers, not directly covered by the standard Taylor series formula.
Here is a power series that contains negative powers of x.
Click for copyable input
Here is a power series involving fractional powers of x.
Click for copyable input
Series can also handle series that involve logarithmic terms.
Click for copyable input
There are, of course, mathematical functions for which no standard power series exist. Mathematica recognizes many such cases.
Series sees that has an essential singularity at x=0, and does not produce a power series.
Click for copyable input
Series can nevertheless give you the power series for about the point x=.
Click for copyable input
Especially when negative powers occur, there is some subtlety in exactly how many terms of a particular power series the function Series will generate.
One way to understand what happens is to think of the analogy between power series taken to a certain order, and real numbers taken to a certain precision. Power series are "approximate formulas" in much the same sense as finite-precision real numbers are approximate numbers.
The procedure that Series follows in constructing a power series is largely analogous to the procedure that N follows in constructing a real-number approximation. Both functions effectively start by replacing the smallest pieces of your expression by finite-order, or finite-precision, approximations, and then evaluating the resulting expression. If there are, for example, cancellations, this procedure may give a final result whose order or precision is less than the order or precision that you originally asked for. Like N, however, Series has some ability to retry its computations so as to get results to the order you ask for. In cases where it does not succeed, you can usually still get results to a particular order by asking for a higher order than you need.
Series compensates for cancellations in this computation, and succeeds in giving you a result to order x3.
Click for copyable input
When you make a power series expansion in a variable x, Mathematica assumes that all objects that do not explicitly contain x are in fact independent of x. Series thus does partial derivatives (effectively using D) to build up Taylor series.
Both a and n are assumed to be independent of x.
Click for copyable input
a[x] is now given as an explicit function of x.
Click for copyable input
You can use Series to generate power series in a sequence of different variables. Series works like Integrate, Sum and so on, and expands first with respect to the last variable you specify.
Series performs a series expansion successively with respect to each variable. The result in this case is a series in x, whose coefficients are series in y.
Click for copyable input