Earlier in this chapter, we found that a polynomial of degree $n$ over a ring $R$ is an expression of the form $f(x)=\sum_{i=0}^n a_i x^i=a_0 + a_1 x+a_2 x^2+ \cdots +a_n x^n$ where $n\geq 0$, each of the $a_i$ are elements of $R$ and $a_n\neq 0$. In Section 8.5 we defined a generating function of a sequence $s$ with terms $s_0$, $s_1$, $s_2, \ldots$ as the infinite sum $G(s,z)= \sum_{i=0}^{\infty } s_i z^i=s_0 + s_1 z+s_2 z^2+ \cdots$

The main difference between these two expressions, disregarding notation, is that the latter is an infinite expression and the former is a finite expression. In this section we will extend the algebra of polynomials to the algebra of infinite expressions like $G(s, z)$, which are called power series.

##### Definition16.5.1Power Series

Let $[R; +,\cdot ]$ be a ring. A power series over $R$ is an expression of the form $f(x)=\sum_{i=0}^{\infty } a_i x^i=a_0 + a_1 x+a_2 x^2+ \cdots$ where $a_1, a_2, a_3,\ldots \in R$. The set of all such expressions is denoted by $R[[x]]$.

Our first observation in our comparison of $R[x]$ and $R[[x]]$ is that every polynomial is a power series and so $R[x]\subseteq R[[x]]$. This is true because a polynomial $a_0 + a_1 x+a_2 x^2+ \cdots +a_n x^n$ of degree $n$ in $R[x]$, can be thought of as an infinite expression where $a_i=0$ for $i > n$. In addition, we will see that $R[[x]]$ is a ring with subring $R[x]$.

$R[[x]]$ is given a ring structure by defining addition and multiplication on power series as we did in $R[x]$, with the modification that, since we are dealing with infinite expressions, the sums and products will remain infinite expressions that we can determine term by term, as was done in with polynomials.

Given power series \begin{equation*} \begin{array}{c} f(x)=\sum_{i=0}^{\infty } a_i x^i=a_0 + a_1 x+a_2 x^2+ \cdots\textrm{ and}\\ g(x)=\sum_{i=0}^{\infty } b_i x^i=b_0 + b_1 x+b_2 x^2+ \cdots\\ \end{array} \end{equation*} their sum is \begin{equation*} \begin{split} f(x)+g(x)&=\sum_{i=0}^{\infty }\left(a_i+b_i\right) x^i\\ &=(a_0 +a_1) + (a_1+b_1) x+(a_2+b_2) x^2+(a_3+b_3) x^3+ \cdots \\ \end{split}\text{.} \end{equation*}

##### Definition16.5.3Power Series Multiplication

Given power series \begin{equation*} \begin{array}{c} f(x)=\sum_{i=0}^{\infty } a_i x^i=a_0 + a_1 x+a_2 x^2+ \cdots\textrm{ and}\\ g(x)=\sum_{i=0}^{\infty } b_i x^i=b_0 + b_1 x+b_2 x^2+ \cdots\\ \end{array} \end{equation*} their product is \begin{equation*} \begin{split} f(x)\cdot g(x)&=\sum_{i=0}^{\infty } d_i x^i \quad \textrm{where }d_i= \sum_{j=0}^i a_j b_{i-j}\\ &=(a_0\cdot b_0) + (a_0\cdot b_1+a_1\cdot b_0) x+(a_0\cdot b_2+a_1\cdot b_1+a_2\cdot b_0) x^2+ \cdots \\ \end{split}\text{.} \end{equation*}

##### Example16.5.4Some Power Series Calcuations

Let \begin{equation*} \begin{array}{c} f(x)=\sum_{i=0}^{\infty} i x^i=0 + 1 x+2 x^2+3x^3+ \cdots \quad \textrm{and}\\ g(x)=\sum_{i=0}^{\infty} 2^i x^i=1 +2 x+4 x^2+8x^3+ \cdots \\ \end{array} \end{equation*} be elements in $\mathbb{Z}[[x]]$. Let us compute $f(x) + g(x)$ and $f(x)\cdot g(x)$. First the sum: \begin{equation*} \begin{split} f(x) + g(x) & =\sum_{i=0}^{\infty } i x^i+\sum_{i=0}^{\infty } 2^i x^i\\ &=\sum_{i=0}^{\infty} \left(i+2^i\right) x^i\\ & =1+3x+6x^2+11x^3+ \cdots\\ \end{split} \end{equation*} The product is a bit more involved: \begin{equation*} \begin{split} f(x) \cdot g(x) & =\left(\sum_{i=0}^{\infty } i x^i\right)\cdot \left(\sum_{i=0}^{\infty } 2^i x^i\right)\\ &=\left(0+ 1 x+2 x^2+3x^3+ \cdots \right)\cdot \left(1 +2 x+4 x^2+8x^3+ \cdots \right)\\ &=0\cdot 1 + (0\cdot 2 + 1\cdot 1)x + (0\cdot 4+1\cdot 2+2\cdot 1)x^2+ \cdots\\ &= x + 4 x^2+ 11 x^3 + \cdots\\ &= \sum_{i=0}^{\infty } d_i x^i\quad\quad\textrm{where } d_i= \sum_{j=0}^i j 2^{i-j}\\ \end{split} \end{equation*} We can compute any value of $d_i$, with the amount of time/work required increasing as $i$ increases.

A closed-form expression for $d_i$ would be desirable. Using techniques from Chapter 8, the formula is $d_i=2^{i+1}-i-2$, which we leave it to the reader to derive. Hence, $f(x)\cdot g(x) =\sum_{i=0}^{\infty } (2^{i+1}-i-2) x^i$

We have seen that addition and multiplication in $R[[x]]$ is virtually identical to that in $R[x]$. The following theorem parallels Theorem 16.3.8, establishing the ring properties of $R[[x]]$.

We are most interested in the situation when the set of coefficients is a field. The theorem above indicates that when $F$ is a field, $F[[x]]$ is an integral domain. A reason that $F[[x]]$ is not a field is the same as one that we can cite for $F[x]$, namely that $x$ does not have multiplicative inverse in $F[[x]]$.

With all of these similarities, one might wonder if the rings of polynomials and power series over a field are isomorphic. It turns out that they are not. The difference between $F[x]$ and $F[[x]]$ become apparent when one studies which elements are units in each. First we prove that the only units in $F[x]$ are the nonzero constants; that is, the nonzero elements of $F\text{.}$

##### Proof

Before we proceed to categorize the units in $F[[x]]$, we remind the reader that two power series $a_0 + a_1 x+a_2 x^2+ \cdots$ and $b_0 + b_1 x+b_2 x^2+ \cdots$ are equal if and only if corresponding coefficients are equal, $a_i=b_i$ for all $i \geq 0$.

##### Example16.5.8

Let $f(x) =1 + 2x + 3 x^2+ 4 x^3+ \cdots =\sum_{i=0}^{\infty } (i+1) x^i$ be an element of $\mathbb{Q}[[x]]$. Then, by Theorem 16.5.7, since $a_0=1\neq 0$, $f(x)$ is a unit and has an inverse, call it $g(x)$. To compute $g(x)$, we follow the procedure outlined in Theorem 16.5.3 . Using the formulas for the $b_i'$s, we obtain \begin{equation*} \begin{array}{c} b_0 = 1\\ b_1= -1(2\cdot 1)=-2\\ b_2= -1(2\cdot (-2)+ 3\cdot 1) = 1\\ b_3= -1(2\cdot 1 + 3\cdot (-2)+4\cdot 1)=0\\ b_4= -1(2\cdot 0+3\cdot 1 + 4\cdot (-2)+5\cdot 1)=0\\ b_5= -1(2\cdot 0+3\cdot 0+4\cdot (1)+5\cdot (-2)+6\cdot 1)=0\\ \vdots \\ \end{array} \end{equation*} For $s \geq 3$, we have \begin{equation*} b_s= -1(2\cdot 0 + 3\cdot 0+\cdots (s-2)\cdot 0+(s-1)\cdot 1+s\cdot (-2)+(s+1)\cdot 1)=0 \end{equation*} Hence, $g(x) = 1 - 2x +x^2$ is the multiplicative inverse of $f(x)$.

Certainly $F[[x]]$ contains a wider variety of units than $F[x]$. Yet $F[[x]]$ is not a field, since $x\in F[[x]]$ is not a unit. So concerning the algebraic structure of $F[[x]]$, we know that it is an integral domain that contains $F[x]$. If we allow our power series to take on negative exponents; that is, consider expressions of the form $f(x) =\sum_{i=-\infty }^{\infty } a_i x^i$ where all but a finite number of terms with a negative index equal zero. These expressions are called extended power series. The set of all such expressions is a field, call it $E\text{.}$ This set does contain, for example, the inverse of $x\text{,}$ which is $x^{-1}$. It can be shown that each nonzero element of $E$ is a unit.

# Subsection16.5.1Exercises for Section 16.5¶ permalink

##### 1

Let $f(x)=\sum_{i=0}^{\infty} a_i x^i$ and $g(x)=\sum_{i=0}^{\infty } b_i x^i$ be elements of $R[[x]]$. Let $f(x) \cdot g(x) =\sum_{i=0}^{\infty } d_i x^i= 1$. Apply basic algebra to $\left(a_0 + a_1 x+a_2 x^2+ \cdots \right)\cdot \left(b_0 + b_1 x+b_2 x^2+ \cdots \right)$ to derive the formula $d_s= \sum_{i=0}^s a_i b_{s-i}$ for the coefficients of $f(x) \cdot g(x)$. Hence, to show that $f(x) \cdot g(x) =\sum_{s=0}^{\infty } \left(\sum_{i=0}^s a_i b_{s-i}\right) x^s$

##### 2

1. Prove that for any integral domain $D\text{,}$ the following can be proven: $f(x)=\sum_{i=0}^{\infty } a_i x^i$ is a unit of $D[[x]]$ if and only if $a_0$ is a unit in $D\text{.}$

2. Compare the statement in part a to that in Theorem 16.5.7.

3. Give an example of the statement in part a in $\mathbb{Z}[[x]]$.

##### 3

Use the formula for the product to verify that the expression $g(x)$ of Example 16.5.8 is indeed the inverse of $f(x)$.

##### 4

1. Determine the inverse of $f(x) = 1 + x + x^2 + \cdots = \sum_{i=0}^{\infty } x^i$in $\mathbb{Q}[[x]]$.

2. Repeat part a with $f(x)$ taken in $\mathbb{Z}_2[[x]]$.

3. Use the method outlined in Chapter 8 to show that the power series $f(x) = \sum_{i=0}^{\infty } x^i$ is the rational generating function $\frac{1}{1-x}$. What is the inverse of this function? Compare your results with those in part a.

##### 5

1. Determine the inverse of $h(x) = \sum_{i=0}^{\infty } 2^i x^i$ in $\mathbb{Q}[[x]]$.

2. Use the procedures in Chapter 8 to find a rational generating function for $h(x)$ in part a. Find the multiplicative inverse of this function.

##### 6

Let $a(x) = 1 + 3x + 9x^2 + 27x^3 + \cdots =\sum_{i=0}^{\infty } 3^i x^i$ and $b(x) = 1 + x + x^2+ x^3+\cdots =\sum_{i=0}^{\infty } x^i$ both in $\mathbb{R}[[x]]$.

1. What are the first four terms (counting the constant term as the $0^{\textrm{ th}}$ term) of $a(x) + b(x)$?

2. Find a closed form expression for $a(x)$.

3. What are the first four terms of $a(x) b(x)$?

##### 7

Write as an extended power series:

1. $\left(x^4-x^5\right)^{-1}$

2. $\left(x^2-2x^3+x^4\right)^{-1}$

Derive the closed form expression $d_i = 2^{i+1}-i -2$ for the coefficients of the product $f(x)\cdot g(x)$ in Example 16.5.4.