Show that, for any functions \(f\) and \(g\), and for any \(m \geq 0\),
$$\sum_{r=1}^{m+1} f(r)\sum_{s=r-1}^m g(s) = \sum_{s=0}^m g(s)\sum_{r=1}^{s+1} f(r)$$
The random variables \(X_0, X_1, X_2, \ldots\) are defined as follows:
\(X_0\) takes the value \(0\) with probability \(1\);
\(X_{n+1}\) takes the values \(0, 1, \ldots, X_n + 1\) with equal probability, for \(n = 0, 1, \ldots\)
Write down \(E(X_1)\).
Find \(P(X_2 = 0)\) and \(P(X_2 = 1)\) and show that \(P(X_2 = 2) = \frac{1}{6}\).
Hence calculate \(E(X_2)\).
For \(n \geq 1\), show that
$$P(X_n = 0) = \sum_{s=0}^{n-1} \frac{P(X_{n-1} = s)}{s+2}$$
and find a similar expression for \(P(X_n = r)\), for \(r = 1, 2, \ldots, n\).
Hence show that \(E(X_n) = \frac{1}{2}(1 + E(X_{n-1}))\).
Find an expression for \(E(X_n)\) in terms of \(n\), for \(n = 1, 2, \ldots\)
Solution:
\begin{align*}
\sum_{r=1}^{m+1} \left (f(r) \sum_{s=r-1}^m g(s) \right) &= \sum_{r=1}^{m+1} \sum_{s=r-1}^m f(r)g(s) \\
&= \sum_{(r,s) \in \{(r,s) : 1 \leq r \leq m+1, 0 \leq s \leq m, s \geq r-1\}} f(r)g(s) \\
&= \sum_{(r,s) \in \{(r,s) : 0 \leq s \leq m, 1 \leq r \leq m+1, r \leq s+1\}} f(r)g(s) \\
&= \sum_{s=0}^m \sum_{r=1}^{s+1} f(r)g(s) \\
&= \sum_{s=0}^m \left ( g(s) \sum_{r=1}^{s+1} f(r) \right)
\end{align*}
\(X_1\) takes the values \(0, 1\) with equal probabilities (since \(X_0 = 0\)). Therefore \(\mathbb{E}(X_1) = \frac12\).