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 about the point to order :
Click for copyable input
Here is the series expansion of about the point :
Click for copyable input
If the Wolfram Language 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 of a function with derivative 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. The Wolfram Language recognizes many such cases.

Series sees that has an essential singularity at , and does not produce a power series:
Click for copyable input
Series can nevertheless give you the power series for about the point :
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 finiteprecision 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 realnumber approximation. Both functions effectively start by replacing the smallest pieces of your expression by finiteorder, or finiteprecision, 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 :
Click for copyable input

When you make a power series expansion in a variable x, the Wolfram Language 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