# Power series

In analysis, a **power series** is an infinite series of the form

With

- any sequence of real or complex numbers
- the
*development point of*the power series.

Power series play an important role in function theory and often allow a meaningful continuation of real functions in the complex number plane. In particular, the question arises for which real or complex numbers a power series converges. This question leads to the concept of the radius of convergence .

## Radius of convergence

As the radius of convergence of a power series about the point of development the largest number is defined for which the power series for all to converge . The open sphere with a radius um is called the *convergence circle. *The radius of convergence is the radius of the circle of convergence. If the series converges for all , the radius of convergence is said to be infinite. If it only converges for , then the radius of convergence is 0, and the series is then sometimes *not* called *convergent anywhere* .

When power series is the radius of convergence can with the *formula of Cauchy-Hadamard* calculated. The following applies:

In this context one defines and

In many cases the radius of convergence can also be calculated more easily for power series with non-vanishing coefficients. It is true

if this limit value exists.

## Examples

Every polynomial function can be understood as a power series in which almost all coefficients are equal to 0. Other important examples are the Taylor series and Maclaurin series . Functions that can be represented by a power series are also called analytic functions . Here is an example of the power series representation of some known functions:

- Exponential function : for all , i.e. i.e., the radius of convergence is infinite.

- Sine :

- Cosine :

- The radius of convergence is infinite for both the sine and the cosine. The power series representation results directly from the exponential function using Euler's formula .

- for , d. h .: The radius of convergence is 1, for is the series convergent, for divergent.

- Root function : for , d. that is, the radius of convergence is 1 and the series converges both for and for .

## properties

Power series are normally convergent within their convergence circle . From this it follows directly that every function defined by a power series is continuous. It also follows that there is uniform convergence on compact subsets of the convergence circle. This justifies the differentiation and integration of a power series in terms of terms and shows that power series are infinitely differentiable.

There is absolute convergence within the convergence circle . No general statement can be made about the behavior of a power series on the edge of the convergence circle, but in some cases the Abelian limit theorem allows a statement to be made.

The power series representation of a function around a development point is clearly determined ( identity theorem for power series ). In particular, the Taylor expansion is the only possible power series expansion for a given expansion point.

## Operations with power series

### Addition and scalar multiplication

Are and by two power series

represented with the radius of convergence and is a fixed complex number, then and are at least expandable in power series with radius of convergence and the following applies:

### multiplication

The product of two power series with the radius of convergence is a power series with a radius of convergence that is at least . Since there is absolute convergence inside the convergence circle, the Cauchy product formula applies :

The sequence defined by is referred to as the convolution or convolution of the two sequences and .

### Concatenation

Admit it and two power series

with positive radii of convergence and the property

- .

Then the concatenation of both functions is locally again an analytic function and can therefore be developed into a power series:

According to Taylor's theorem:

With Faà di Bruno's formula , this expression can now be given in a closed formula depending on the given series coefficients, since:

With multi-index notation you get :

It is the multinomial to and is the set of all partitions (see Partition function ).

### Differentiation and Integration

A power series is differentiable inside its convergence circle and the derivation results from differentiation in terms of terms:

It can be differentiated as often as required and the following applies:

Similarly, an antiderivative is obtained by integrating a power series in terms of terms:

In both cases the radius of convergence is the same as that of the original series.

## Representation of functions as power series

Often one is interested in a power series representation for a given function - especially to answer the question whether the function is analytical . There are several strategies for finding a power series representation, the most general using the Taylor series . Here, however, the problem often arises that a closed representation is required for the derivatives, which is often difficult to determine. However , there are some easier strategies for broken rational functions . The function

to be viewed as.

- By means of the geometric series

By factoring the denominator and then using the formula for the sum of a geometric series , you get a representation of the function as the product of infinite series:

Both series are power series around the point of expansion and can therefore be multiplied in the manner mentioned above. The Cauchy product formula delivers the same result

With

and

From this it follows by applying the formula for the partial sum of a geometric series

as a closed representation for the coefficient sequence of the power series. The power series representation of the function around the development point 0 is thus given by

- .

Often the way over the geometric series is cumbersome and error-prone. Therefore the following approach is appropriate: It is assumed that a power series representation

the function with an unknown coefficient sequence exists. After multiplying the denominator and shifting the index, the identity results:

However, since two power series are exactly the same when their coefficient sequences match, this results from coefficient comparison

and the recursion equation

- ,

from which the above closed representation follows by means of complete induction.

The procedure by means of coefficient comparison also has the advantage that other development points are possible than are possible. As an example, consider the development point . First, the fractional rational function has to be represented as a polynomial in :

Analogous to the above one now assumes that a formal power series exists around the expansion point with an unknown coefficient sequence and multiplied with the denominator by:

Again this results from a coefficient comparison

and as a recursion equation for the coefficients:

- By partial fraction decomposition

If you first apply polynomial division and then partial fraction decomposition to the given function , you get the representation

- .

Inserting the geometric series results in:

The first three elements of the sequence of coefficients are all zero and thus the representation given here agrees with the above.

## Generalizations

Power series can not only be defined for, but can also be generalized. So are z. B. the matrix exponential and the matrix logarithm generalizations of power series on the space of the square matrices .

If powers with negative integer exponents also appear in a series, this is called a Laurent series . If you allow the exponent to take on fractional values, it is a Puiseux series .

Formal power series are used, for example, as generating functions in combinatorics and probability theory (e.g. as probability-generating functions ). In algebra , formal power series over general commutative rings are examined.

## literature

- Kurt Endl, Wolfgang Luh:
*Analysis II.*Aula-Verlag 1973, 7th edition 1989, ISBN 3-89104-455-0 , pp. 85-89, 99. - ED Solomentsev:
*Power series.*In:*Encyclopaedia of Mathematics .*