###
Subsection 16.5.1 Definition

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.

######
Definition 16.5.1 Power 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.

######
Definition 16.5.2 Power Series Addition

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*}

######
Definition 16.5.3 Power 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*}

######
Example 16.5.4 Some 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\)

###
Subsection 16.5.2 Properties, Units

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]]\).

######
Theorem 16.5.5 Properties of Power Series

Let \([R; +, \cdot ]\) be a ring. Then:

\(R[[x]]\) is a ring under the operations of power series addition and multiplication, which depend on the operations in R.

If R is a commutative ring, then \(R[[x]]\) is a commutative ring.

If R is a ring with unity, \textup{ 1}, then \(R[[x]]\) is a ring with unity (the unity in R[x] is \(1 + 0x + 0 x^2 + \cdots\)).

If R is an integral domain, then \(R[[x]]\) is an integral domain.

If F is a field, then \(F[[x]]\) is not a field. However, \(F[[x]]\) is an integral domain.

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{.}\)

######
Theorem 16.5.6 Polynomial Units

Let \([F; +, \cdot ]\) be a field. Polynomial \(f(x)\) is a unit in \(F[x]\) if and only if it is a nonzero constant polynomial.

###### Proof

######
(⇒)

Let \(f(x)\) be a unit in \(F[x]\). Then \(f(x)\) has a multiplicative inverse, call it \(g(x)\), such that \(f(x) \cdot g(x) = 1\). Hence, the \(\deg (f(x)\cdot g(x)) = \deg (1) = 0\). But \(\deg (f(x)\cdot g(x)) = \deg f(x) + \deg g(x)\). So \(\deg f(x) + \deg g(x) = 0\), and since the degree of a polynomial is always nonnegative, this can only happen when the \(\deg f(x) = \deg g(x) = 0\). Hence, \(f(x)\) is a constant, an element of \(F\text{,}\) which is a unit if and only if it is nonzero.

######
(⇐)

If \(f(x)\) is a nonzero element of \(F\text{,}\) then it is a unit since \(F\) is a field. Thus it has an inverse, which is also in \(F[x]\) and so \(f(x)\) is a unit of \(F[x]\).

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\).

######
Theorem 16.5.7 Power Series Units

Let \([F; +, \cdot ]\) be a field. Then \(f(x)=\sum_{i=0}^{\infty } a_i x^i\) is a unit of \(F[[x]]\) if and only if \(a_0\neq 0\).

###### Proof

######
(⇒)

If \(f(x)\) is a unit of \(F[[x]]\), then there exists \(g(x)=\sum_{i=0}^{\infty } b_i x^i\) in \(F[[x]]\) such that

\begin{equation*}
\begin{split}
f(x)\cdot g(x) &=\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)\\
& =1\\
& = 1 + 0x + 0x^2+ \cdots\\
\end{split}\text{.}
\end{equation*}

Since corresponding coefficients in the equation above must be equal, \(a_0\cdot b_0=1\), which implies that \(a_0\neq 0\).

######
(⇐)

Assume that \(a_0\neq 0\). To prove that \(f(x)\) is a unit of \(F[[x]]\) we need to find \(g(x)=\sum_{i=0}^{\infty } b_i x^i\) in \(F[[x]]\) such that \(f(x) \cdot g(x) =\sum_{i=0}^{\infty } d_i x^i= 1\). If we use the formula for the coefficients \(f(x) \cdot g(x)\) and equate coefficients, we get

\begin{equation*}
\begin{array}{ccc}
d_0= a_0\cdot b_0= 1 &\Rightarrow & b_0=a_0{}^{-1} \\
d_1= a_0\cdot b_1+ a_1\cdot b_0=0&\Rightarrow & b_1= -a_0{}^{-1}\cdot \left(a_1\cdot b_0\right) \\
d_2=a_0 b_2+a_1 b_1+a_2 b_0=0 & \Rightarrow & b_2=-a_0{}^{-1}\cdot \left(a_1\cdot b_1+ a_2\cdot b_0\right)\\
\vdots & \vdots & \vdots \\
\hspace{8cm}d_s= a_0\cdot b_s+ a_1\cdot b_{s-1}+ \cdots +a_s\cdot b_0 =0&\\ \hspace{20cm} \Rightarrow b_s= -a_0{}^{-1}\cdot \left(a_1\cdot b_{s-1}+ a_2\cdot b_{s-2}+ \cdots +a_s\cdot b_0\right)\\
\end{array}\text{.}
\end{equation*}

Therefore the powers series \(\sum_{i=0}^{\infty } b_i x^i\) is an expression whose coefficients lie in \(F\) and that satisfies the statement \(f(x) \cdot g(x) = 1\). Hence, \(g(x)\) is the multiplicative inverse of \(f(x)\) and \(f(x)\) is a unit.

######
Example 16.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 the above theorem. 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.