17
$\begingroup$

In the book Concrete Mathematics, chapter 2, section 2.2 -- sums and recurrences, page 26 (2nd edition), the authors talk about the following example:

Given the general recurrence

$ R(0) = \alpha $ $ R(n) = R(n-1) + \beta + \epsilon n $

The authors generalize the recurrence relation to:

$ R(n) = A(n)\alpha + B(n)\beta + C(n)\epsilon $

Employing the Repertoire Method, the authors plug in simple functions of $n$ in order to determine $A(n), B(n), C(n)$. So they discover:

Setting $R(n) = 1$ implies $\alpha = 1, \beta = 0, \epsilon = 0 \implies A(n) = 1$.

Setting $R(n) = n$ implies $\alpha = 0, \beta = 1, \epsilon = 0 \implies B(n) = n$.

Setting $R(n) = n^2$ implies $\alpha = 0, \beta = -1, \epsilon = 0 \implies C(n) = \frac{n^2 + n}{2}$.

Values for the first couple of terms of the recurrence:

$ \begin{eqnarray*} R(0) &=& \alpha \\ R(1) &=& \alpha + \beta + \epsilon \\ R(2) &=& \alpha + 2\beta + 3\epsilon \\ R(3) &=& \alpha + 3\beta + 6\epsilon \\ R(4) &=& \alpha + 4\beta + 10\epsilon \\ R(5) &=& \alpha + 5\beta + 15\epsilon \end{eqnarray*} $

I do not understand what is the process through which the values for $\alpha$, $\beta$, and $\epsilon$ are implied. I would like some help with that. Where exactly do we look and what do we math them against to see what they have to be?

  • 4
    (Off-topic remark: It's a gamma ($\gamma$) and not an epsilon ($\epsilon$).2011-09-27

1 Answers 1

14

Put $R_n=1$ (for all $n$; hence also $R_0$ and $R_{n-1}$ should be set equal to 1) in (2.7): $ 1 = \alpha, \quad 1 = 1 + \beta + \gamma n. $ The first equation tells us $\alpha$ right away, and the second equality holds for all $n$ iff $\beta=\gamma=0$.

Then put $R_n=n$ (hence $R_0=0$ and $R_{n-1}=n-1$) in (2.7): $ 0 = \alpha, \quad n = (n-1)+\beta + \gamma n. $ Here $\beta=1$ and $\gamma=0$ is required for the identity to hold for all $n$ (compare coefficients for the constant terms and for the $n$-terms separately).

Etc.

  • 0
    @HansLundmark: I can see that it will be a combination of those, but I don't understand how we know A, B, and C will always be the same, which I have opened as a [new question](http://math.stackexchange.com/questions/551883/concrete-mathematics-stability-of-definitions-in-the-repertoire-method).2013-11-04