In analysis, a power series is an infinite series of the form
- 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.
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.
- 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 .
Logarithm function :
- 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 .
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:
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 .
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
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
- By comparison of coefficients
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.
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.