I came across the following interesting question in the book “Math Girls” by Hiroshi Yuki :
Develop a definition for the differential operator in discrete space,corresponding to the definition of the differential operator D in the continuous space.
We know that derivative of a function f at point x is the rate at which f changes at the point x . Geometrically, derivative at a point x is the slope of the tangent to the function f at x where a tangent is the limit of the secant lines as shown below :
But this happens only in the continuous world where x “glides smoothly” from one point to another. But this is not the case in a discrete world. In the discrete world there is nothing like “being close to each other”. Hence we cannot use the earlier definition of bringing h arbitrarily close to x. In a discrete world we cannot talk about getting “close” to something but instead we can talk about being “next” to each other.
We can talk about the change in x as it moves from x to x+1 while f changes from f(x) to f(x+1). We do not need limits here, so the definition of “difference operator” (analogous to differential operator ) will be :
Hence to find derivative of a function, say , it is easy to verify that but (using definitions mentioned above)
Now, when will we be able to get the same derivative in both discrete and continuous worlds? I read a little about this question in math girls and a little more in “An introduction to the calculus of finite differences” by C.H.Richardson.
Calculus of differences is the study of the relations that exist between the values assumed by the function whenever the independent variable takes on a series of values in arithmetic progression.
Let us write f(x) as instead from now onwards. So . Using above definition we can prove the following for functions and :
Proof. . Each repetition of the process of differencing reduces the degree by one and also adds one factor to the succession . Repeating the process times we have .
Corollary 3. If is a polynomial of degree n i.e. , then .
We call the continued products and as factorial expressions.
If is the function ax+b for some real numbers a and b, then the factorial forms we get by replacing by ax+b is and .
We define and as 1.
Using the above definition of factorial we can show the following :
When we consider the special case of a=1 and b=0, the factorial representations are called raising and falling factorials :
– rising factorial
– falling factorial.
Substituting a=1 and b=0 in (i) and (ii) above , we get that
, and .
Due to the fact that plays in the calculus of finite differences a role similar to that played by in the infinitesimal calculus, for many purposes in finite differences it is advisable to express a given polynomial in a series of factorials. A method of accomplishing this is contained in Newton’s Theorem.
Since these differences and are identities, they are true for all values of x, and consequently must hold for x = 0. Setting x = 0 in the given function and the differences, we have the required values for all and theorem is proved.