As you might have already guessed, we deal with discrete functions rather
than continuous ones in discrete calculus. A rather peculiar idea comes to
mind here: integrating such a function. Let us consider a simple function
; then, in classical calculus, we can easily integrate it from 
 to
.
   
| (1) | 
However, what if we limit the function and accept only integer 
? Then, the
integration becomes a summation, which is more complicated.
   
| (2) | 
While some might find the latter simpler to understand, when we consider a more
complicated equation, it becomes way harder than anticipated. Consider the function
.
   
| (3) | 
| (4) | 
The equations look similar. However, the discrete version needs to adjust for all the non-integer values, which makes the equation more complicated. Ironically, it is simpler to calculate an infinite sum of infinitely small segments of a function than to sum a discrete number of values.
Sometimes, it is simpler to prove that a given equation works using induction than to find it. Consider, for example, the following equation.
| (5) | 
It is quite simple to prove using induction. Let 
 be defined as the sum of the first
 natural numbers; then we can say the following.
   
| (6) | 
With a similar method, it is simple to prove that,
| (7) | 
Again, let 
 be the sum of the first 
 squares, then we can use induction,
assuming 
 is bound by the equation above. 
![]()  | (8)  | 
Just like in classical calculus, one must first understand the concept of a derivative before understanding integration. In classical calculus, one would define a derivative in the following way.
| (9) | 
However, in discrete calculus, the smallest step one can make is 
. Thus, a
discrete version of a derivative will look as follows.
   
| (10) | 
Usually, instead of saying discrete derivative, it is called the forward difference operator. Consider that; what about higher-order derivates? Then, notice that a second-order derivative would look as follows.
![]()  | (11)  | 
-th
order discrete derivative? As we will come to see, a formula does indeed
exist.
   | (12) | 
It is quite simple to see if we employ induction. Obviously, the statement is true for
. Let this serve as the base of the induction; now, assume the statement
is true for 
, then one can prove that it works for 
 as follows.
![]()  | (13)  | 
, and get the following. ![]()  | (14)  | 
.
   Seeing the analog of 
 in Discrete Calculus is interesting. Does there exist
such a constant 
, such that 
? As it turns out, there does,
2.
   
| (15) | 
Many properties of classical calculus about derivatives, such as the Product/Quotient Rule, have analogs in discrete calculus. First, the obvious ones,
![]()  | (16) (17)  | 
| (18) | 
The understanding is the same as that of classical calculus; we only got an extra term because terms are not infinitely small, as in classical calculus. Similarly, we have the Discrete Quotient Rule.
| (19) | 
And again, this can be proven the exact same way it is proven in classical calculus, with only some minor changes.
Just as in normal calculus, such a thing as a discrete antiderivative exists. As in classical calculus, it is defined similarly.
| (20) | 
Just as in classical calculus, it is tightly related to discrete integrals through the Fundamental Theorem of Discrete Calculus.
| (21) | 
This can be proven in the exact same way the fundamental theorem of calculus is proven; I will leave this as an exercise for the reader.
In classical calculus, there is a very simple formula for calculating an antiderivative of a polynomial, as follows.
| (22) | 
It would be useful to compute the discrete antiderivatives for polynomials as well.
However, first, let us introduce some useful terminology. A falling factorial of 
 is
called the following.
   
| (23) | 
Sometimes, it might be called the 
-th Pochhammer Polynomial. This function is
wonderful because it satisfies the following requirements.
   
| (24) | 
This can be seen through some trivial calculations.
![]()  | 
![]()  | (25) (26) (27)  | 
Find the dominant coefficient 
 of the polynomial 
.
                                                                  
                                                                  
     
Subtract from 
 the value 
, where 
 is the degree of 
.
     
Go to step one with the updated polynomial 
.
In the end, one will get the following system of equations.

. For example,
convert 
 into the falling factorial polynomial form. 
. As an example, this knowledge is already
enough to compute the sum of the first cubes 
. One must first change the
expression into the falling factorial polynomial form from the equation (25).

. From here, all that is left is to
integrate the expression. ![]()  | (28)  | 
| (29) | 
With the same technique, discrete integrals of any polynomial can be found, even more than we originally hoped.
Generally speaking, the topic of discrete calculus has a lot of connections with stirring numbers; for example, the following holds true:
| (30) | 
This can be used to prove various identities with falling factorials. Specifically, this relation shows us that instead of the tedious method described earlier for expressing a polynomial using a Pochhammer polynomial, it is important to note that in practice if one does not have access to machine calculations, the method described before is better. I will not explain this in this article; I will leave this for another time.
I hope that you have found the given material interesting and useful. Discrete Calculus is quite an exotic and fascinating topic in mathematics.