PlanetMath: formal power series

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (210)
Orphanage
Unclass'd (1)
Unproven (472)
Corrections (38)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

formal power series

(Topic)

Formal power series allow one to employ much of the analytical machinery of power series in settings which don't have natural notions of convergence. They are also useful in order to compactly describe sequences and to find closed formulas for recursively described sequences; this is known as the method of generating functions and will be illustrated below.

We start with a commutative ring . We want to define the ring of formal power series over in the variable , denoted by ; each element of this ring can be written in a unique way as an infinite sum of the form $\sum_{n=0}^\infty a_n X^n$ , where the coefficients are elements of ; any choice of coefficients is allowed. is actually a topological ring so that these infinite sums are well-defined and convergent. The addition and multiplication of such sums follows the usual laws of power series.

Formal construction

Start with the set $R^\Bbb{N}$ of all infinite sequences in . Define addition of two such sequences by

$\displaystyle (a_n) + (b_n) = (a_n + b_n)$

and multiplication by

$\displaystyle (a_n) (b_n) = (\sum_{k=0}^n a_kb_{n-k}).$

This turns $R^\Bbb{N}$ into a commutative ring with multiplicative identity (1,0,0,...). We identify the element

with the sequence (

,0,0,...) and define $X:=(0,1,0,0,\ldots)$ . Then every element of $R^\Bbb{N}$ of the form $(a_0,a_1,a_2,\ldots,a_N,0,0,\ldots)$ can be written as the finite sum

$\displaystyle \sum_{n=0}^Na_n X^n.$

In order to extend this equation to infinite series, we need a metric on $R^\Bbb{N}$ . We define $d((a_n),(b_n))=2^{-k}$ , where

is the smallest natural number such that $a_k\not=b_k$ (if there is not such

, then the two sequences are equal and we define their distance to be zero). This is a metric which turns $R^\Bbb{N}$ into a topological ring, and the equation

$\displaystyle (a_n) = \sum_{n=0}^\infty a_n X^n$

can now be rigorously proven using the notion of convergence arising from

; in fact, any rearrangement of the series converges to the same limit.

This topological ring is the ring of formal power series over and is denoted by .

Properties

is an associative algebra over which contains the ring of polynomials over ; the polynomials correspond to the sequences which end in zeros.

The geometric series formula is valid in :

$\displaystyle (1-X)^{-1}=\sum_{n=0}^\infty X^n$

An element $\sum a_n X^n$ of

is invertible in

if and only if its constant coefficient

is invertible in

. This implies that the Jacobson radical of

is the ideal generated by

and the Jacobson radical of

Several algebraic properties of are inherited by :

if is a local ring, then so is
if is Noetherian, then so is
if is an integral domain, then so is
if is a field, then is a discrete valuation ring.

The metric space is complete. The topology on is equal to the product topology on $R^\Bbb{N}$ where is equipped with the discrete topology. It follows from Tychonoff's theorem that is compact if and only if is finite. The topology on can also be seen as the -adic topology, where is the ideal generated by (whose elements are precisely the formal power series with zero constant coefficient).

If is a field, we can consider the quotient field of the integral domain ; it is denoted by . It is a topological field whose elements are called formal Laurent series; they can be uniquely written in the form

$\displaystyle f = \sum_{n=-M}^\infty a_n X^n$

where

is an integer which depends on the Laurent series

Formal power series as functions

In analysis, every convergent power series defines a function with values in the real or complex numbers. Formal power series can also be interpreted as functions, but one has to be careful with the domain and codomain. If $f=\sum a_n X^n$ is an element of , if is a commutative associative algebra over , if an ideal in such that the -adic topology on is complete, and if is an element of , then we can define

$\displaystyle f(x) := \sum_{n=0}^\infty a_n x^n.$

This latter series is guaranteed to converge in

given the above assumptions. Furthermore, we have

$\displaystyle (f+g)(x) = f(x) + g(x)$

and

$\displaystyle (fg)(x) = f(x) g(x)$

(unlike in the case of bona fide functions, these formulas are not definitions but have to proved).

Since the topology on is the -adic topology and is complete, we can in particular apply power series to other power series, provided that the arguments don't have constant coefficients: , and $f((1-X)^{-1}-1)$ are all well-defined for any formal power series $f\in R[[X]]$ .

With this formalism, we can give an explicit formula for the multiplicative inverse of a power series whose constant coefficient is invertible in :

$\displaystyle f^{-1} = \sum_{n=0}^\infty a^{-n-1} (a-f)^n$

Differentiating formal power series

If $f=\sum_{n=0}^\infty a_n X^n\in R[[X]]$ , we define the formal derivative of as

$\displaystyle \operatorname{D}f = \sum_{n=1}^{\infty} a_n n X^{n-1}.$

This operation is

-linear, obeys the product rule

$\displaystyle \operatorname{D}(f\cdot g) = (\operatorname{D}f)\cdot g + f\cdot (\operatorname{D} g)$

and the chain rule:

$\displaystyle \operatorname{D}(f(g)) = (\operatorname{D}f)(g)\cdot \operatorname{D}g$

(in case g(0)=0).

In a sense, all formal power series are Taylor series, because if $f=\sum a_n X^n$ , then

$\displaystyle (\operatorname{D}^kf)(0) = k!\; a_k$

(here

denotes the element $1\times (1+1)\times(1+1+1)\times\ldots\in R$ .

One can also define differentiation for formal Laurent series in a natural way, and then the quotient rule, in addition to the rules listed above, will also be valid.

Power series in several variables

The fastest way to define the ring $R[[X_1,\ldots,X_r]]$ of formal power series over in variables starts with the ring $S = R[X_1,\ldots,X_r]$ of polynomials over . Let be the ideal in generated by $X_1,\ldots,X_r$ , consider the -adic topology on , and form its completion. This results in a complete topological ring containing which is denoted by $R[[X_1,\ldots,X_r]]$ .

For $\mathbf{n}=(n_1,\ldots,n_r)\in\Bbb{N}^r$ , we write $\mathbf{X}^\mathbf{n} = X_1^{n_1}\cdots X_r^{n_r}$ . Then every element of $R[[X_1,\ldots,X_r]]$ can be written in a unique was as a sum

$\displaystyle \sum_{\mathbf{n}\in\Bbb{N}^r} a_{\mathbf{n}} \mathbf{X}^\mathbf{n}$

where the sum extends over all $\mathbf{n}\in\Bbb{N}^r$ . These sums converge for any choice of the coefficients $a_{\mathbf{n}}\in R$ and the order in which the summation is carried out does not matter.

If is the ideal in $R[[X_1,\ldots,X_r]]$ generated by $X_1,\ldots,X_r$ (i.e. consists of those power series with zero constant coefficient), then the topology on $R[[X_1,\ldots,X_r]]$ is the -adic topology.

Since is a commutative ring, we can define its power series ring, say . This ring is naturally isomorphic to the ring just defined, but as topological rings the two are different.

If is a field, then $K[[X_1,\ldots,X_r]]$ is a unique factorization domain.

Similar to the situation described above, we can “apply” power series in several variables to other power series with zero constant coefficients. It is also possible to define partial derivatives for formal power series in a straightforward way. Partial derivatives commute, as they do for continuously differentiable functions.

Uses

One can use formal power series to prove several relations familar from analysis in a purely algebraic setting. Consider for instance the following elements of $\Bbb{Q}[[X]]$ :

$\displaystyle \operatorname{sin}(X) := \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!} X^{2n+1}$

$\displaystyle \operatorname{cos}(X) := \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!} X^{2n}$

Then one can easily show that

$\displaystyle \operatorname{sin}^2 + \operatorname{cos}^2 = 1$

and

$\displaystyle D \operatorname{sin} = \operatorname{cos}$

as well as

$\displaystyle \operatorname{sin}(X+Y) = \operatorname{sin}(X)\operatorname{cos}(Y) + \operatorname{cos}(X)\operatorname{sin}(Y)$

(the latter being valid in the ring $\Bbb{Q}[[X,Y]]$ ).

As an example of the method of generating functions, consider the problem of finding a closed formula for the Fibonacci numbers defined by $f_{n+2}=f_{n+1}+f_n$ , , and . We work in the ring $\Bbb{R}[[X]]$ and define the power series

$\displaystyle f=\sum_{n=0}^\infty f_n X^n;$

is called the generating function for the sequence

. The generating function for the sequence $(f_{n-1})$ is

while that for $(f_{n-2})$ is

. From the recurrence relation, we therefore see that the power series

agrees with

except for the first two coefficients. Taking these into account, we find that

$\displaystyle f=Xf+X^2f+X$

(this is the crucial step; recurrence relations can almost always be translated into equations for the generating functions). Solving this equation for

, we get

$\displaystyle f=\frac{X}{1-X-X^2}.$

Using the golden ratio $\phi_1=(1+\sqrt{5})/2$ and $\phi_2=(1-\sqrt{5})/2$ , we can write the latter expression as

$\displaystyle \frac{1}{\sqrt{5}}\left(\frac{1}{1-\phi_1X}-\frac{1}{1-\phi_2X}\right).$

These two power series are known explicitly because they are geometric series; comparing coefficients, we find the explicit formula

$\displaystyle f_n = \frac{1}{\sqrt{5}}\left(\phi_1^n-\phi_2^n\right).$

In algebra, the ring $K[[X_1,\ldots,X_r]]$ (where is a field) is often used as the “standard, most general” complete local ring over .

Universal property

The power series ring $R[[X_1,\ldots,X_r]]$ can be characterized by the following universal property: if is a commutative associative algebra over , if is an ideal in such that the -adic topology on is complete, and if $x_1,\ldots,x_r\in I$ are given, then there exists a unique $\Phi : R[[X_1,\ldots,X_r]] \to S$ with the following properties:

$\Phi$ is an -algebra homomorphism
$\Phi$ is continuous
$\Phi(X_i)=x_i$ for $i=1,\ldots,r$ .

Anyone with an account can edit this entry. Please help improve it!

"formal power series" is owned by AxelBoldt. [ full author list (3) ]

(view preamble)