Examples of generating functions

The following examples are in the spirit of George Pólya, who advocated learning mathematics by doing and re-capitulating as many examples and proofs as possible. The purpose of this article is to present common tricks of the trade in context, so that the reader may incorporate them into his knowledge.

Worked example A: basics

New generating functions can be created by extending simpler generating functions. For example, starting with

:$G(1;x)=sum\_\{n=0\}^\{infty\}\; x^n\; =\; frac\{1\}\{1-x\}$

and replacing $x$ with $2x$, we obtain

:$G(1;2x)=frac\{1\}\{1-2x\}\; =\; 1+(2x)+(2x)^2+cdots+(2x)^n+cdots=G(2^n;x).$

Worked example B: Fibonacci numbers

Consider the problem of finding a closed formula for the Fibonacci numbers "F"_"n" defined by "F"₀ = 0, "F"₁ = 1, and "F"_"n" = "F"_"n"−1 + "F"_"n"−2 for "n" ≥ 2. We form the ordinary generating function

:$f\; =\; sum\_\{n\; ge\; 0\}\; F\_n\; x^n$

for this sequence. The generating function for the sequence ("F"_"n"−1) is "xf" and that of ("F"_"n"−2) is "x"²"f". From the recurrence relation, we therefore see that the power series "xf" + "x"²"f" agrees with "f" except for the first two coefficients:

:

Taking these into account, we find that

:$f\; =\; xf\; +\; x^2\; f\; +\; x\; .\; ,!$

(This is the crucial step; recurrence relations can almost always be translated into equations for the generating functions.) Solving this equation for "f", we get

:$f\; =\; frac\{x\}\; \{1\; -\; x\; -\; x^2\}\; .$

The denominator can be factored using the golden ratio φ₁ = (1 + √5)/2 and φ₂ = (1 − √5)/2, and the technique of partial fraction decomposition yields

:$f\; =\; frac\{1\}\{sqrt\{5\; left\; (frac\{1\}\{1-varphi\_1\; x\}\; -\; frac\{1\}\; \{1-\; varphi\_2\; x\}\; ight\; )\; .$

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

:$F\_n\; =\; frac\{1\}\; \{sqrt\{5\; (varphi\_1^n\; -\; varphi\_2^n).$

Worked example C: edges in an undirected graph

The focus of the example is the use of generating functions in several variables to achieve the goal of classifying the elements $m$ of a set $E$ according to several parameters $r\_0(m),\; ,\; r\_1(m),\; ,\; ldots$ through the correspondence $m\; leftrightarrow\; w\_0^\{r\_0(m)\}\; w\_1^\{r\_1(m)\}\; cdots$. Here the variables of the generating function are $w\_0,\; ,\; w\_1,\; ,\; ldots$ and the generating function $f$ is:$f(w\_0,\; w\_1,\; ldots)\; =\; sum\_\{min\; E\}\; w\_0^\{r\_0(m)\}\; w\_1^\{r\_1(m)\}\; cdots$so that the number $c$ of elements of $E$ that correspond to the tuple of parameters $(r\_0,\; r\_1,\; ldots)$ is given by:$c\; =\; [w\_0^\{r\_0\}\; w\_1^\{r\_1\}\; cdots]\; f(w\_0,\; w\_1,\; ldots),$where we have used the coefficient-extraction operator for formal power series.

The example we will study concerns a undirected graph $G\; =\; (V,\; E)$ whose vertices $V$ correspond to words of length $t$ over an alphabet $Sigma$ containing exactly $l$ letters, i.e.:$Sigma=\{a\_1,a\_2,\; ldots,a\_l\}quad\; mbox\{and\}\; quad\; V\; subseteq\; Sigma^t.$In the following we will use the numbers from $0$ to $l-1$ in place of the letters to keep the notation simple.

Furthermore we are given a set of functions $p\_k:\; Sigma\; ightarrow\; 2^Sigma$ that determine which of the $l^t,$ possible vertices occur in the graph, and what the edges are. More precisely, $p\_k(lambda)$ specifies a set of possible replacements for $lambda$, if it occurs at position $k$. In that case, $lambda$ may be changed to any letter occurring in $p\_k(lambda)$, yielding an adjacent word, i.e., vertex. Edges exist between adjacent words, but only "if they differ in exactly one position." Intuitively speaking, the $p\_k$ provide the neighbors of a particular letter occurring at position $k$, and the neighbors of a word are those words that may be obtained by selecting one position and replacing the letter $lambda$ at that position by one of its neighbors, i.e. an element of $p\_k(lambda)$. We are guaranteed that the $p\_k$ are such that adjacency always works both ways, i.e. if $mu\; in\; p\_k(lambda)$, then $lambda\; in\; p\_k(mu)$. Words containing letters at positions where they have no neighbors i.e. where $|p\_k(lambda)|=0$ are omitted from the set of vertices. The question we seek to answer is, how many edges does this graph contain?

Here the set whose elements we seek to enumerate and classify is the set of vertices $V$, and we need to classify the vertices $m$ according the number of letters having $1,\; 2,\; 3\; ldots$ neighbors, so that:$m\; leftrightarrow\; w\_1^\{r\_1(m)\}\; w\_2^\{r\_2(m)\}\; cdots,$with $r\_1(m)$ the number of letters having one neighbor at their position,$r\_2(m)$ the number of letters having two neighbors at their position, etc.,because then the number of edges originating at $m$ is given by:$left(\; sum\_\{j=1\}^\{l-1\}j\; frac\{d\}\{d\; w\_j\}\; w\_1^\{r\_1(m)\}\; w\_2^\{r\_2(m)\}\; cdots\; ight)\_\{w\_1=ldots=w\_\{l-1\}=1\}.$

This is because $w\_q^\{r\_q\}$ indicates the presence of $r\_q$ letters having $q$ neighbors in $m$, which contribute $q\; ,\; r\_q$ edges but:$q\; ,\; r\_q\; =\; q\; ,\; left(\; frac\{d\}\{d\; w\_q\}\; w\_q^\{r\_q\}\; ight)\_\{w\_q=1\}.$

This process will count edges twice (once at each endpoint), finally giving the formula for the number $T$ of edges:$T\; =\; frac\{1\}\{2\}left(\; sum\_\{j=1\}^\{l-1\}j\; frac\{d\}\{d\; w\_j\}f(w\_1,\; ldots,\; w\_\{l-1\})\; ight)\_\{w\_1=ldots=w\_\{l-1\}=1\}.$

It remains to find $f(w\_1,\; ldots,\; w\_\{l-1\})$. With this in mind we introduce the quantities$v\_k(q)$, the number of letters at position $k$ having $q$ neighbors, i.e.:$v\_k(q)\; =\; [z^q]\; sum\_\{lambdainSigma\}\; z^.$We will also need $L\_k$, the number of letters actually occurring at position $k$, i.e.:$L\_k\; =\; l\; -\; v\_k(0).$(Recall that letters having no neighbors do not contribute to the set of possible vertices.)

Then the generating function $f$ is given by:$f(w\_1,\; ldots,\; w\_\{l-1\})\; =\; prod\_\{k=0\}^\{t-1\}\; sum\_\{q=1\}^\{l-1\}\; v\_k(q)\; w\_q.$

Computing the answer

It happens that $T$ can be computed explicitly, giving a simple and useful formula. This computation is based on the observation that:$left(\; frac\{d\}\{d\; w\_j\}f(w\_1,\; ldots,\; w\_\{l-1\})\; ight)\_\{w\_1=ldots=w\_\{l-1\}=1\}$evaluates to:$left(\; f(w\_1,\; ldots,\; w\_\{l-1\})sum\_\{k=0\}^\{t-1\}\; frac\{v\_k(j)\}\{sum\_\{q=1\}^\{l-1\}\; v\_k(q)\; w\_q\}\; ight)\_\{w\_1=ldots=w\_\{l-1\}=1\}$which simplifies to:$prod\_\{k=0\}^\{t-1\}\; L\_k\; sum\_\{k=0\}^\{t-1\}\; frac\{v\_k(j)\}\{L\_k\},$and yields:$T\; =\; frac\{1\}\{2\}left(\; sum\_\{j=1\}^\{l-1\}\; j\; sum\_\{k=0\}^\{t-1\}\; frac\{v\_k(j)\}\{L\_k\}\; ight),\; prod\_\{k=0\}^\{t-1\}\; L\_k.$

A simple example

Let $Sigma=\{0,1,2\}$, so that $l=3$, and consider words (vertices) consisting of two letters, i.e. $t=2$. The set of neighbor functions $p\_k$ is given by:$p\_0(0)=\{1\},\; ,\; p\_0(1)=\{0,2\},\; ,\; p\_0(2)=\{1\}quad\; mbox\{and\}\; quadp\_1(0)=\{1\},\; ,\; p\_1(1)=\{0\}.$The generating function becomes:$(w\_1\; +\; w\_2\; +\; w\_1)\; (w\_1\; +\; w\_1)\; =(2w\_1\; +\; w\_2)\; 2\; w\_1\; =\; 4\; w\_1^2\; +\; 2\; w\_1\; w\_2\; =sum\_\{q=1\}^2\; v\_0(q)\; w\_q\; sum\_\{q=1\}^2\; v\_1(q)\; w\_q.$Carrying out the differentiation we find the following expression for $T$::$frac\{1\}\{2\}left(4\; imes1\; left(\; frac\{d\}\{d\; w\_1\}\; w\_1^2\; ight)\_\{w\_1=1\}\; +2\; imesleft(1\; left(\; frac\{d\}\{d\; w\_1\}\; w\_1\; w\_2\; ight)\_\{w\_1=w\_2=1\}\; +2\; left(\; frac\{d\}\{d\; w\_2\}\; w\_1\; w\_2\; ight)\_\{w\_1=w\_2=1\}\; ight)\; ight),$or:$frac\{1\}\{2\}left(4\; imes\; 2\; +\; 2\; imes\; (\; 1\; +\; 2\; )\; ight)\; =\; 7,$so we may expect seven edges.

Indeed, these edges are:$00\; leftrightarrow\; 01,\; ,00\; leftrightarrow\; 10,\; ,10\; leftrightarrow\; 11,\; ,10\; leftrightarrow\; 20,\; ,01\; leftrightarrow\; 11,\; ,11\; leftrightarrow\; 21,\; ,20\; leftrightarrow\; 21.$The graph is shown below.

The result matches what we obtain by substituting into the formula. We have $v\_0(1)\; =\; 2,\; ,\; v\_0(2)=1$ and $v\_1(1)\; =\; 2,$, and $L\_0\; =\; 3$ and $L\_1\; =\; 2,$ giving:$frac\{1\}\{2\}left(\; 1\; imes\; left(\; frac\{2\}\{3\}\; +\; frac\{2\}\{2\}\; ight)\; +2\; imes\; left(\; frac\{1\}\{3\}\; ight)\; ight)\; imes\; 3\; imes\; 2\; =\; 7.$

pecial case

There is an important special case that yields a simpler formula for $T$. This is the case of there not being any "inert" letters, i.e. all letters have neighbors or $v\_k(0)=0$ at all positions, which implies that $L\_k=l$ for all $k$. The simplified formula becomes:$T\; =\; frac\{1\}\{2\}left(\; sum\_\{j=1\}^\{l-1\}\; j\; sum\_\{k=0\}^\{t-1\}\; v\_k(j)\; ight),\; l^\{t-1\}.$

Suppose, for example, that all letters are adjacent to those differing by one from their numerical value, independent of their position. Hence there are two letters having one neighbor (namely $0$ and $l-1$), and the remaining letters have two neighbors. Substitution then yields:$T\; =\; frac\{1\}\{2\}left(\; 1\; imes\; 2\; t\; +\; 2\; imes\; (l-2)\; t\; ight)\; l^\{t-1\}\; =t\; ,\; (l-1)\; ,\; l^\{t-1\}.$

This example is from "Les-Mathematiques.net". Variations on this problem, including a considerable amount of additional material, can be found among the external links.

Worked example D: bivariate generating functions and digit sums

Ordinary generating functions are not limited to representing sequences that depend only on a single parameter. More parameters are possible, e.g. two parameters, or more, as seen in the previous example. It is also possible to mix types of generating functions, as in bivariate probability generating functions, where an ordinary generating function generates an exponential one. These types of generating functions are often referred to as "super generating functions". Here we show an example of how to work with bivariate generating functions. Let "n" be a natural number and consider the integers from $0$ to $10^\{2n\}-1$, where those integers that have fewer than $2n$ digits are padded with zeros on the left, so that all of them may be considered to have $2n$ digits. E.g. for $n=3$ the range goes from $000000$ to $999999$. We will use bivariate generating functions to answer the following question: what is the sum of those integers in $[0,\; 10^\{2n\}-1]$ whose first "n" digits sum to the same value as the last "n" digits, i.e. the digit sum of the first half is equal to the digit sum of the second half. (The term "digital sum" is also used for digit sums.) We call these integers "balanced". E.g. the integer 124511 would contribute to the sum for $n=3$, because 1+2+4=7=5+1+1. The value that it would contribute is simply 124511. It is certainly impossible to compute this sum by direct enumeration for large $n$ (take $n=20$, for example).

We let $E\_n$ denote the desired sum, and introduce $g\_\{n,\; k\}$, which gives the number of integers "n" digits long (left-padding with zeros as before to obtain $10^n$ values) whose digits sum to "k", and $s\_\{n,\; k\}$, which is the sum of the integers "n" digits long whose digits sum to "k". The key observation is to note that:$E\_n\; =\; sum\_\{k=0\}^\{9\; n\}\; (10^n+1)\; s\_\{n,\; k\}\; ,\; g\_\{n,\; k\}.$To see this, fix "k", the digit sum, and consider the set of balanced integers of length $2n$, the digit sum of the first and second half of which is "k". This set of integers is created by pairing any integer of length "n" and digit sum "k" with any other, so any particular value occurs $g\_\{n,\; k\}$ times in the first half (multiplied by $10^n$), and $g\_\{n,\; k\}$ times in the second half. Adding all of these integers yields $s\_\{n,\; k\}.$ The number of summands that contribute to $E\_n$ is given by:$F\_n\; =\; sum\_\{k=0\}^\{9\; n\}\; g\_\{n,\; k\}^2.$

We now introduce the following two bivariate generating functions::$G(z,\; u)\; =\; sum\_\{n\; ge\; 1,\; ,k\; ge\; 0\}\; g\_\{n,\; k\}\; u^k\; z^n\; quad\; mbox\{and\}\; quadS(z,\; u)\; =\; sum\_\{n\; ge\; 1,\; ,k\; ge\; 0\}\; s\_\{n,\; k\}\; u^k\; z^n.$(We require that $g\_\{n,\; k\}\; =\; 0$ and $s\_\{n,\; k\}\; =\; 0$ for $k>9n$, because $9n$ is the maximum digit sum possible.)We will also require two auxiliary functions to keep the notation simple::$V(u)\; =\; sum\_\{r=0\}^9\; u^rquad\; mbox\{and\}\; quadW(u)\; =\; sum\_\{r=0\}^9\; r\; u^r.$Now from the definition of $G(z,\; u)$ it follows immediately that:$G(z,\; u)\; =\; sum\_\{n\; ge\; 1\}\; V(u)^n\; z^n\; =\; frac\{V(u)\; z\}\{1\; -\; V(u)\; z\}.$This is because the terms of $V(u)^n$ represent the process of choosing one decimal digit for the first position on the left, one for the second, and so on. The exponents are added so that the term $u^k$ occurs every time the digits sum to "k".

The next key observation is that for $n>1,$,:$s\_\{n,\; k\}\; =\; sum\_\{r=0\}^9\; (10\; s\_\{n-1,\; k-r\}\; +\; g\_\{n-1,\; k-r\}\; r).$This simply says that the integers that contribute to $s\_\{n,\; k\},$ can be obtained from those that contribute to $s\_\{n-1,\; k-r\},$, where "r" is a decimal digit, by shifting the latter one position to the left (multiplication by ten) and appending "r" (recall that there are $g\_\{n-1,\; k-r\},$ integers that contribute to $s\_\{n-1,\; k-r\}.,$)

We now prepare to reconstitute $S(z,\; u)$ by summing the above recurrence over $n>1,,\; kge\; 0$. The term for $[z^1]\; S(z,\; u),$, i.e. $n=1$, will be missing from the sum on the left, so we compute it and add it in. (In what follows, we will use the coefficient-extraction operator for formal power series.) We have:$sum\_\{k\; ge\; 0\}\; s\_\{1,\; k\}\; u^k\; z\; =\; sum\_\{r=0\}^9\; r\; u^r\; z\; =\; W(u)\; z.$

Adding everything, we find:$S(z,\; u)\; =\; z\; W(u)\; +\; 10z\; V(u)\; S(z,\; u)\; +\; z\; W(u)\; G(z,\; u),$and hence:$S(z,\; u)\; =\; frac\{z\; W(u)\; +\; z\; W(u)\; G(z,\; u)\}\{1\; -\; 10z\; V(u)\}\; =\; z\; W(u)\; frac\{1\; +\; G(z,\; u)\}\{1\; -\; 10z\; V(u)\}$or:$S(z,\; u)\; =\; frac\{z\; W(u)\}\{(1\; -\; z\; V(u))(1\; -\; 10z\; V(u))\}\; =frac\{1\}\{9\}\; frac\{W(u)\}\{V(u)\}left(\; frac\{1\}\{1\; -\; 10z\; V(u))\}\; -\; frac\{1\}\{1\; -\; z\; V(u)\}\; ight)$which is a simple rational generating function.

Recall our earlier formula, which we may re-write as:$E\_n\; =\; sum\_\{k=0\}^\{9\; n\}\; (10^n+1)\; [z^n\; u^k]\; S(z,\; u)\; ,\; [z^n\; u^k]\; G(z,\; u).$We may now compute the $E\_n$, since we have closed forms for $G(z,\; u)$ and $S(z,\; u).$ This yields the following table for $n$ and $E\_n$:

1 495 2 3349665 3 27625972374 4 240801497591985 5 2162288199783771180 . ... 17 1185633898500558643116053969483499881436610149944135688394603051650 18 11525195623906119101843912373578899988474804376093880898156087626421100 19 112203312767859412537217211281711779998877966872321405874627827887182882200 20 1093844474149520613133628019194480743399890615552585047938686637198080551925660.

Alternate explicit formula

An explicit formula for $E\_n$, which however is not as amenable to symbolic computation as the previous form, can be obtained by expanding the geometric series in the partial fraction decomposition of $S(z,\; u),$ and using the symmetry of $[z^n]\; G(z,\; u),$ to observe that:$E\_n\; =\; (10^n+1)\; sum\_\{k=0\}^\{9\; n\}\; s\_\{n,\; k\}\; ,\; g\_\{n,\; 9n-k\},$which gives:$E\_n\; =\; (10^n+1)\; [u^\{9n\}]\; (\; [z^n]\; G(z,\; u)\; [z^n]\; S(z,\; u)).,$But:$[z^n]\; S(z,\; u)\; =\; frac\{1\}\{9\}\; frac\{W(u)\}\{V(u)\}left(\; 10^n\; V(u)^n\; -\; V(u)^n\; ight)\; =frac\{1\}\{9\}\; W(u)\; (10^n\; -\; 1)\; V(u)^\{n-1\}$so that:$E\_n\; =\; frac\{1\}\{9\}\; (100^n\; -\; 1)\; [u^\{9n\}]\; W(u)\; V(u)^\{2n-1\}.$

Alternate recurrence

The astute reader will have observed that we obtained the recurrence for $s\_\{n,\; k\}$ by appending the digit "r" to a contributor to $s\_\{n-1,\; k-r\},$. Of course it is entirely possible to prepend "r" to such contributors, which yields the alternate recurrence:$s\_\{n,\; k\}\; =\; sum\_\{r=0\}^9\; (10^\{n-1\}\; g\_\{n-1,\; k-r\}\; r\; +\; s\_\{n-1,\; k-r\}).$Summing as before, we find:$S(z,\; u)\; =\; z\; W(u)\; +\; z\; W(u)\; G(10z,\; u)\; +\; z\; V(u)\; S(z,\; u),$Solving this for $S(z,\; u)$ produces, as it ought to, the same solution as before::$S(z,\; u)\; =\; z\; W(u)\; frac\{1\; +\; G(10z,\; u)\}\{1\; -\; z\; V(u)\}\; =frac\{z\; W(u)\}\{(1\; -\; z\; V(u))(1\; -\; 10z\; V(u))\}.$

Verification

When working with generating functions, it is important to verify that they yield sensible values. By setting variables in multivariate ordinary generating functions to one, we obtain generating functions of superclasses of combinatorial structures or quantities, since one or more of the parameters disappear. E.g. $G(z,\; 1),$ is the generating function of the total count of "n"-digit nonnegative integers, where left-padding with zeros is used. Indeed we have:$[z^n]\; G(z,\; 1)\; =\; [z^n]\; frac\{10z\}\{1-10z\}\; =\; 10^n,$which is correct. Similarly, $S(z,\; 1),$ is the generating function of the sum of all "n"-digit nonnegative integers, again with left-padding by zeros. We have:$[z^n]\; S(z,\; 1)\; =\; [z^n]\; frac\{45\; z\}\{(1\; -\; 10z)(1-100z)\}\; =\; [z^n]\; left(\; frac\{1\}\{2\}\; frac\{1\}\{1-100z\}\; -\; frac\{1\}\{2\}\; frac\{1\}\{1-10z\}\; ight).$Hence:$[z^n]\; S(z,\; 1)\; =\; frac\{1\}\{2\}\; 100^n\; -\; frac\{1\}\{2\}\; 10^n.$This too is the correct value, since:$sum\_\{k=0\}^\{10^n-1\}\; k\; =\; frac\{1\}\{2\}\; (10^n\; -\; 1)\; 10^n.$

Additional material concerning this example, as well as a snapshot of how it evolved, can be found among the external links.

Worked Example E: pseudo-roman numerals

Consider a number system created by using a subset of the rules and letters of roman numerals. Specifically, we have the letters I, V and X with values 1, 5, and 10, any sequence of which is considered a number, whose value is the sum of the individual digits. In other words, we have an alphabet:$Sigma\; =\; left\{\; I,\; V,\; X\; ight\}$and consider elements of $Sigma^*.$Every letter has a weight that corresponds to the number of bars required to draw that letter. We consider that "I" has weight one and "X" and "V" both have weight two, consisting of two crossed bars in the first case, and two adjacent bars with a common base point in the second. The weight of a word, i.e. number, is the sum of the weights of the constituent digits. E.g. the value of "XXVI" is 26 and its weight is "2 + 2 + 2 + 1 = 7." We now ask the following question: what is the expected value of the value of a number having weight "n"?

We use the following ordinary generating function to answer this question::$G(z,\; u)\; =\; sum\_\{nge\; 1,\; ;\; kge\; 1\}\; u^k\; z^n$where the monomial $z^n\; u^k$ represents a word of "n" bars (weight "n") and having value "k". Let $v\_n\; =\; [z^n]\; G(z,\; u).$ By definition, we have:

Summing the recurrence over "n" we find:$sum\_\{n>2\}\; v\_n\; z^n\; =u\; z\; sum\_\{n>2\}\; v\_\{n-1\}\; z^\{n-1\}\; +(u^5\; +\; u^\{10\})\; z^2\; sum\_\{n>2\}\; v\_\{n-2\}\; z^\{n-2\},,$which gives the following equation for $G(z,\; u)$::$G(z,\; u)-uz-(u^2+u^5+u^\{10\})z^2\; =\; uz(G(z,\; u)-uz)\; +\; (u^5+u^\{10\})\; z^2\; G(z,\; u).,$Solving for "G", we obtain:$G(z,\; u)\; =-\{frac\; \{uz\; left(\; 1+z\{u\}^\{4\}+z\{u\}^\{9\}\; ight)\; \}\{-1+uz+\{z\}^\{2\}\{u\}^\{5\}+\{z\}^\{2\}\{u\}^\{10\}$

The expected value "E(n)" of a word of weight "n" is given by the formula:$E(n)\; =\; frac\{\; [z^n]\; left.\; frac\{operatorname\{d\{operatorname\{d\}u\}\; G(z,\; u)\; ight|\_\{u=1\}\; \}\{\; [z^n]\; left.\; G(z,\; u)\; ight|\_\{u=1\}\; \},$where the numerator is the sum of the values of all words having weight "n", and the denominator is the number of such words.

Start with the denominator. We have:$left.\; G(z,\; u)\; ight|\_\{u=1\}\; =-1+1/3,\; left(\; z+1\; ight)\; ^\{-1\}-2/3,\; left(\; 2,z-1\; ight)\; ^\{-1\}$,so the number of words is:$frac\{2\}\{3\}\; 2^n\; +\; frac\{1\}\{3\}\; (-1)^n.$

Similarly,:$left.\; frac\{operatorname\{d\{operatorname\{d\}u\}\; G(z,\; u)\; ight|\_\{u=1\}\; =\{frac\; \{14\}\{9,\; left(\; z+1\; ight)\; ^\{-2\}-\{frac\; \{31\}\{27,\; left(\; z+1\; ight)\; ^\{-1\}+\{frac\; \{17\}\{9,\; left(\; 2,z-1\; ight)\; ^\{-2\}+\{frac\; \{62\}\{27,\; left(\; 2,z-1\; ight)\; ^\{-1\},$so the sum of their values is:$left(\; \{frac\; \{17\}\{9,n-\{frac\; \{11\}\{27\; ight)\; \{2\}^\{n\}+\; left(\; \{frac\; \{14\}\{9,n+\{frac\; \{11\}\{27\; ight)\; left(\; -1\; ight)\; ^\{n\}.$The conclusion is that the expected value is:$E(n)\; =frac\{\; left(\; \{frac\; \{17\}\{9,n-\{frac\; \{11\}\{27\; ight)\; \{2\}^\{n\}+\; left(\; \{frac\; \{14\}\{9,n+\{frac\; \{11\}\{27\; ight)\; left(\; -1\; ight)\; ^\{n\{\; frac\{2\}\{3\}\; 2^n\; +\; frac\{1\}\{3\}\; (-1)^n\; \}quad\; approx\; frac\{17\}\{6\}\; n\; -\; frac\{11\}\{18\}.$

The expected value of a word/number is linear in the number of bars/weight of the number.The linearity is evident in the fact that the contribution of a digit is a constant value and independent of its position. Reasoning more carefully, we see that a word of weight "n" contains on average $3/5\; n$ digits/letters whose average value is $17/3$, giving an approximate expected value of $17/5$, which is not quite exact because the digits are not equiprobable.

Additional material concerning this example, as well as a snapshot of how it evolved, can be found among the external links.

External links

* [http://www.cut-the-knot.org/ctk/GeneratingFunctions.shtml Generating Functions, Power Indices and Coin Change] at cut-the-knot
* [http://www.math.upenn.edu/~wilf/gfologyLinked2.pdf Generatingfunctionology (PDF)]
* Ignacio Larrosa Cañestro, León-Sotelo, Marko Riedel, Georges Zeller, " [http://groups.google.com/group/es.ciencia.matematicas/browse_thread/thread/26328abc49e15dd9/88b7b522437223ce#88b7b522437223ce Suma de números equilibrados] , newsgroup es.ciencia.matematicas"
* Frederick Lecue; Riedel, Marko, et al., [http://les-mathematiques.u-strasbg.fr/phorum5/read.php?12,360025 Permutation] , "Les-Mathematiques.net", in French, title somewhat misleading.
* León-Sotelo, José H. Nieto, Marko Riedel, et al., " [http://groups.google.com/group/es.ciencia.matematicas/browse_thread/thread/f38395c3823cde0d#802a4ff297f52f10 Alfa-barras] , newsgroup es.ciencia.matematicas"