Difference and functional equations Difference equations: basic notions Theorem
Newton's forward difference formula
Builds on Higher-order differencesShift operatorBinomial coefficient
Statement
Let be an additive commutative monoid, let be an additive abelian group, let , and let be a function. Let be the -th forward difference of with step . Then for every and every , where is the binomial coefficient.
Remarks
The shift operator satisfies , and commutes with . So the binomial theorem gives , which is the formula applied at . Example: for , and , the differences at are , , , so . Let and , and replace the top entry of by a real number . This gives the Newton forward interpolation polynomial It is the unique polynomial of degree at most that agrees with at .
Going deeper
For a student
The formula and the expansion of iterated differences in shifts are inverse to each other: they express the binomial transform and its inverse. In numerical analysis it gives the interpolation polynomial at equally spaced nodes, a special case of polynomial interpolation. Letting with real leads to the Newton series of . Over the -adic integers, the same expansion with infinitely many terms is Mahler's theorem.
Reading path
To understand this page from the ground up, read these 21 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Binomial coefficient definition
- Element definition
- Proposition concept
- Sequence definition
- Set definition
- Implication definition
- Predicate definition
- Ordered pair definition
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Uniqueness quantifier definition
- Binary relation definition
- Function definition
- Finite difference definition
- Shift operator definition
- Backward difference operator definition
- Forward difference operator definition
- Higher-order differences definition
- Newton's forward difference formula statement
Further reading
About this page
| Tag | DDHCMKHD2T |
|---|---|
| URI | m2://DDHCMKHD2T |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 39A70, 41A05 |
| Status | This copy of the site has no build data. Run m2 status DDHCMKHD2T. |
| About | Higher-order differences |
| Uses | Higher-order differences, Shift operator, Binomial coefficient |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.