Let denote the discrete derivative of a continuous function f on the real line. In this post, I assume that all functions are continuous of have compact support. They are zero outside some large interval. No smoothness is required of course. Here is the simplest version of the fundamental theorem of calculus in a discrete setting:
Proof. Choose a constant so that a neighborhood of the support of is included in the open interval . Using substitution we have
This version of the fundamental theorem is also true for periodic functions. We think then as the function defined on the circle.
As in the classical case, we can use this to switch the differentiation in a product. Note first the Leibniz differentiation rule
which leads to the integration by parts formula where we use the notation :
This is also a consequence of the fact that the backwards derivative is the adjoint of the forward derivative . Now think of as an inner product. Also this corollary is the same for periodic functions.
Define the anti-derivative of a function of compact support as
They contain the essence of calculus, are as deep and useful as the classical versions and are so simple that they could have been found thousands of years ago, because all what is needed is basic arithmetic, no Riemann or even Lebesgue integration theory is needed. The theorem tells that taking differences and summing up are inverses operations of each other. Difference the sum or sum the difference and you end up with the same function. For functions without compact support we can define already in the Taylor series post. Since we have . This allows to integrate any function of compact support by developing the function into a Taylor series. Note that for all continuous functions of compact support, the Taylor series converges for all . For functions of compact support, it makes sense to chose a below outside the support of . Then
This looks exactly as in the classical case. But this formula is true for all continuous functions of compact support. Not even continuity is needed. While this result is just playing with summation and differences, it is in essence known since antiquity. The only thing which is new now is that the formalism is done in such a way that it looks like the result in classical calculus. This comes handy because we do not want to remember anything new when dealing with discrete calculus structures. The lack of good notation is usually the biggest enemy of discrete structures. I’m sure that if you have studied numerical methods, especially in partial differential equation you can sing a song about bad notation.
Define the boundary of an interval as the union of intervals . We assume that . Here is an other version of the fundamental theorem:
Also this statement only suffers from the defect that it is too obvious to be appreciated, even so it contains the essence of the classical version. Here is the proof: .
Lets say that a continuous function is harmonic if f”(x)=0. As in the classical case all harmonic functions of compact support must be zero:
Corollary: All harmonic functions are zero
Proof. On any sequence the function is linear and so zero. Alternatively, just use the Taylor formula and integrate the function 0 twice so that .