introduction

From calculus of a single variable, the formal definition of the derivative $f'(x)$ of some function $f(x)$ of a single variable $x$, at $x_0$, requires of taking the limit $x\to x_0$ of a ratio of differences

However, there are at least two situations in which we need to compute the derivative when it is not possible to take the mentioned limit $x\to x_0$. One situation is numerical computation. When doing numerical calculations, it is not possible to perform a limit like the infinitesimal separation between the discrete set of points of a mesh, and then an approximation to the derivative is used.

Other situation is in the theory of operators. there are operators with a discrete spectrum. The values of the spectrum of the operator are fixed number and there is no meaning in taking a limit like $x\to x_0$. Thus, an exact finite differences, a finite differences which will give the exact derivative even if $\Delta$ has any finite value, is desirable.

Usual finite differences calculus, for equally spaced points in a mesh, is well developed^[1][2][3][4], Here we introduce finite differences calculus which is exact for the first derivative. We specialize the results to finite intervals, first order finte differences and to the real exponential function, the real eigenfunction of the derivative.

The Partition

Let $\{q_{i}\}_{i=-N}^{N}$ be a partition of the real interval $[-a,a]$, that is

The separations between mesh points are

When $|\chi_{f,j}-\Delta_j|$ is less than some small $\epsilon$, our method and the usual finite-differences derivative will give similar results for any vector defined on the mesh.

A backwards version of the finite differences derivative, at $q_j$, is
%

%
which also complies with
%

Properties

Some properties of the exact finite-differences derivative are

{\em The equality\/}
%
$ \frac{\chi_{b,j+1}}{\chi_{f,j}}
=e^{-v\Delta_j}
$ implies that
%

{\em Two discrete versions of the summation of the derivative.\/} The finite differences versions of $\int_a^xdy\,g'(y)=g(x)-g(a)$ are
%

%
and
%

%
where $n<N$. The summation term at the right hand side of this equality involve interference terms that vanish when the separation between mesh points is the same. For the whole interval, we have
%

%

{\em The eigenfunction of the summation.\/} The finite differences versions of $\int_a^xdx\,v\,e^{vx}=e^{va}-e^{vx}$ are
%

%
and
%

%
where $-N<n<N$.

{\em The derivative of one.\/}
%

{\em The derivatives of $q$.\/}
%

%
These derivatives will approach to one in the limit of small $\Delta_j$.

{\em The chain rule.\/}
%

%
where
%

%
and
%

%
where
%

{\em The derivative of a product of vectors.\/}
%

%

%

%

{\em The derivative of the inverse of a vector.\/}
%

{\em The derivative of a ratio of vectors.\/}
%

%
and
%

{\em Summation by parts.\/}
%

%
where
%

%
The terms in the summation vanish when $\Delta_j\to0$ or when the separation between the mesh points is the same.

Also
%

{\em The commutator between $q$ and $D$.\/} The discrete version of $\frac{d}{dq}qh(q)-q\frac{d}{dq}h(q)=h(q)$ becomes
%

%

{\em Translation of the exponential function.\/}
%

{\em The bounded Fourier transform\/} of a given function $g(v)$ is defined as
%

{\em The discrete Fourier transform\/} of a vector $h_j$ is defined as
%

%
These transformations preserve the norm of vectors and functions.

{\em The conjugate of $D_f$}. Consider the equality
%

%
Then, there is the relationship
%

%
provided interference and boundary terms vanish.

{\em The conjugate of $q_j$.} The relationship
%

%
indicates that
%

%
provided boundary terms vanish.

{\em The normalized eigenvector\/} of the coordinate operator with eigenvalue $q_n$ in the $v$ representation is $e_{q_n}(v)=e^{-ivq_n}/\sqrt{\cal V}$.

Orthonormality $\int_{-{\cal V}/2}^{{\cal V}/2}dv\,
e^*_{q_m}(v)
e_{q_n}(v)
=\text{sinc}
\left[\frac{\cal V}{2}(q_m-q_n)\right]$

{\em Conjugate vectors.} The conjugate vector to $e_{q_n}(v)=e^{-ivq_n}/\sqrt{\cal V}$ is
%

{\em The normalized} eigenvector, conjugate to $e_{q_n}(v)=e^{-ivq_n}/\sqrt{\cal V}$ is
%

{\em The orthonormality\/} between these vectors read
%

{\em The normalized eigenvector\/} of the discrete derivative with eigenvalue $v$ in the coordinate representation is $e_{v}(n)=e^{ivq_n}/\sqrt{\Delta_n(2N+1)}$

{\em Orthogonality}
%

{\em The conjugate\/} function to $e_{v}(n)=e^{ivq_n}/\sqrt{2N+1}$ is
%

{\em The normalized vector is}
%

This is a local approach to the finite differences first derivative. Another point of view is collecting the finite differences at each point of the mesh in a single matrix, the subject of another article.

Another approach to the derivative on a mesh make use of second order finite differences. This subject is deal with in another articles.^[5][6]