# Introduction to generating functions

## OverviewEdit

The main idea here is that we're going to work in the ring of formal power series. A ring, recall, is just a certain type of algebraic structure. For us, all we need to concern ourselves with right now is that the sum of two power series is a power series and that the product of two power series is a power series. Every power series has an additive inverse (almost trivially), and some have multiplicative inverses (which will be discussed in later sections). The most important thing to remember is that we consider these power series as elements of a certain ring. As such, we **are not** concerned with the convergence of any power series (yet). There will come a time and place to discuss these ideas (as we will want to sum certain sequences and pick off certain terms, both of which demand us "plugging in values for *x*"), but for now, we'll just interpret them formally.

As a brief example, note that the expression does not have a positive radius of convergence (converges only when *x* = 0), but it is still a perfectly good element of our ring of formal power series.

## Types of generating functionsEdit

### Ordinary generating functionsEdit

Given a sequence , the **ordinary generating function of ** *f*(*x*) is the formal power series

If *f*(*x*) is the ordinary generating function for the sequence , we often write

We don't often concern ourselves with the convergence of these series; we interpret them strictly in a formal sense.

For an example, recall from calculus that the function has power series representation

The sequence of coefficients of the powers of *x* in the above power series is the sequence that is constantly 1. Hence, we have that

### Exponential generating functionsEdit

Another type of generating function, the **exponential generating function** is similar to the ordinary generating function, but with a twist. If *f*(*x*) is the exponential generating function for the sequence , we write

and this means that the function *f*(*x*) has power series representation

We saw above that the function is the ordinary generating function for the sequence that is constantly 1; but for what sequence is it the exponential generating function?

Note that for all *n*, we have

If we set , we have that

- ,

so we can write

So what is the exponential generating function of the sequence that is constantly 1? Recall that *e*^{x} has the power series representation

- ,

so we have

This should give you a feel as to why the name for such a generating function is "exponential" generating function.

## ContinuationEdit

This lesson continues on the page titled calculus of generating functions.