Page two:
However, this still leaves the problem of the signs, ever[sic] term — except for the first — in the series is negative. Actually, despite how simple it might seem to make all but one term negative, this was the most difficult problem for me to solve throughout this process. The first obvious step to take would be to simply add a negative sign to the entire summation, but then there'd still be positive term unaccounted for. Moreover, the previously positive sign would now be negative. In order to get rid of the unwanted leading now-negative term, you'd need to add a positive an+1 to the sum. Once I came to that conclusion the solution to the problem became painfully obvious: not just one an+1's[sic] needed to be added, but two. The first will cancel out the negative and the second will replace the previously displaced positive leading term. So the equation becomes:
. . . . .\(\displaystyle \Delta_n\, \neq\, \left[\,-\sum_{k=0}^n\, (nCk)\, a_{n+1-k}\, \right]\, +\, 2a_{n+1}\, =\, (_nC_0)\, a_n,\, -(_nC_1)\, a_{n},\, -(_nC_2)\, a_{n-1},\, -(_nC_3)\, a_{n-2},\, ...,\, -(_nC_n)\, a_1\)
. . . . .\(\displaystyle \Delta_n\, \neq\, \left[\, -\sum_{k=0}^{n+1}\, \dfrac{(n\, +\, 1)!}{(n\, -\, 1\, +\, k)!\, k!}\, a(sub)n_{+2-k}\right]\, +\, 2a_{n+2},\,\). . .\(\displaystyle \dfrac{(n\, +\, 1)!}{(n\, -\, 1\, +\, k)!\, k!}\, =\, (n\, +\, 1Ck)\)
While now a correct series representation of the first terms in their respective sequences, the series above represents only the first terms. Each difference sequence has an infinite number of terms, and each term itself is represented by a finite series. The second series-term in the sequence is given by scaling up the argument of the previous series by 1, the one after that also given by another scaling up. In general, the p-th term in this sequence will be given by shifting the original argument up by \(\displaystyle \, p\, -\, 1.\)
. . . . .\(\displaystyle \Delta_n\, =\, \left[\,-\sum_{k=0}^n\, (nCk)\, a_{n+1-k}\,\right]\, +\, 2a_{n+1},\,\)
. . . . . . . . . . . . .\(\displaystyle \left[\,-\sum_{k=0}^n\, (nCk)\, a_{n+2-k}\,\right]\, +\, 2a_{n+2},\)
. . . . . . . . . . . . . . . .\(\displaystyle \left[\,-\sum_{k=0}^n\, (nCk)\, a_{n+3-k}\,\right]\, +\, 2a_{n+3},\, ...,\, \)
. . . . . . . . . . . . . . . . . . .\(\displaystyle \left[\,-\sum_{k=0}^n\, (nCk)\, a_{n+p-k}\,\right]\, +\, 2a_{n+p}\)
And where \(\displaystyle \, \Delta_{n,p}\,\) represents the p-th term in the n-th sequence,
. . . . .\(\displaystyle \Delta_{n,p}\, =\, \left[\,-\sum_{k=0}^n\, (nCk)\, a_{n+p-k}\,\right]\, +\, 2a_{n+p}\)
. . . . .The \(\displaystyle \, \Delta_n\, \) sequence begins at p = 1
This equation is useful because according to the finite differences theorem, any set of numbers with a finite change at level n \(\displaystyle \, (\Delta_n),\,\) can be modeled by a polynomial of degree n. For example, take the sequence f(c) = ac = c2. This is a quadratic equation of degree n = 2. The first ten numbers of this sequence are,[sic] 1, 4, 9, 16, 25, 36, 49, 64, 81, 100.
. . . . .\(\displaystyle \Delta_0\, =\, 1,\, 4,\, 9,\, 16,\, 25\, 36,\, 49\, 64,\, 81\, 100,\, ...,\, c^2\)
. . . . .\(\displaystyle \Delta_1\, =\, 3,\, 5,\, 7,\, 9,\, 11,\, 13,\, 15,\, 17\, 19,\, ...,\, c^2\, -\, (c,\, -\, 1)^2\)
. . . . .\(\displaystyle \Delta_2\, =\, 2,\, 2,\,2,\,2,\,2,\,2,\,2,\,2,\,2,\,2,\,2,\,2,\,...,\, 2\, =\, \Delta n\)
. . . . .\(\displaystyle \Delta_3\, =\, 0,\, 0,\, 0,\, 0,\, 0,\, 0,\, 0,\, 0,\, 0,\, 0,\, 0,\, =\, \Delta n+1\)
Since this set of numbers[sic] differences become finite at level 2.[sic] The set can be defined by a second degree polynomial, hence the "squared" in n2. Similarly, A[sic] third degree polynomials[sic] differences becomes finite at level three, a fourth at level four, and an n-th at level n. The corollary one can derive from the finite differences theorem is that at level n+1 \(\displaystyle \, (\Delta_{n+1}),\, \) a polynomial of degree n's change will equal 0: a constant minus the same constant equals nothing. Furthermore, since all terms of the \(\displaystyle \, (\Delta_{n+1}),\, \) sequence will equal zero, it is acceptable to use one any[sic] of these terms for evaluating the statement: function f(c) is of degree n. This means that a function, f(c)[/I][/I] = ac, is of degree n, if and only if
. . . . .\(\displaystyle \Delta n+1,p\, =\, \left[\, -\sum_{k=0}^{n+1}\, \dfrac{(n\, +\, 1)!}{(n\, -\, 1\, +\, k)!\, k!}\, f(n\, +\, p\, +\, 2\, -\, k)\, \right]\, +\, 2f(n\, +\, p\, +\, 2)\, =\, 0\)
. . . . .\(\displaystyle \mbox{where }\, p\, \mbox{ is any non-negative integer or zero}\)
Since ac = f(c) then f(n) can be substituted for an: an+2-k = f(n + p + 2 - k) and an+2 = f(n + p + 2).
The conversion of the first summation to a list (on the right-hand side of the "equals" sign) is in the original. The "sub" in the second summation is probably a typo, as are some of what are probably meant to be subscripts after the comma in that line. The first two summations are "not equal to"; the third is where the "equals" starts coming into play. The twelve "2" terms before the ellipsis in the expansion of \(\displaystyle \, \Delta_2\, \) are in the original, as are the eleven "0" terms and the hanging comma in the expansion of \(\displaystyle \, \Delta_3.\,\) The characters after the "delta" in the final indented equation are probably supposed to be subscripted. Any other errors are probably mine.
I gotta go to bed. I'll do page 3 in the morning. :wink: