Indefinite sum
From Wikipedia, the free encyclopedia
In discrete calculus the indefinite sum operator (also known as the antidifference operator), denoted by or
,[1][2] is the linear operator, inverse of the forward difference operator
. It relates to the forward difference operator as the indefinite integral relates to the derivative. Thus
More explicitly, if , then
If F(x) is a solution of this functional equation for a given f(x), then so is F(x)+C(x) for any periodic function C(x) with period 1. Therefore, each indefinite sum actually represents a family of functions. However, due to the Carlson's theorem, the solution equal to its Newton series expansion is unique up to an additive constant C. This unique solution can be represented by formal power series form of the antidifference operator: .