Journal of Mathematics
Volume 2015 (2015), Article ID 134842, 8 pages
http://dx.doi.org/10.1155/2015/134842

Research Article

Exact Discrete Analogs of Derivatives of Integer Orders: Differences as Infinite Series

Vasily E. Tarasov

Skobeltsyn Institute of Nuclear Physics, Lomonosov Moscow State University, Moscow 119991, Russia

Received 30 July 2015; Accepted 8 October 2015

Academic Editor: Mario Ohlberger

Copyright © 2015 Vasily E. Tarasov. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

New differences of integer orders, which are connected with derivatives of integer orders not approximately, are proposed. These differences are represented by infinite series. A characteristic property of the suggested differences is that its Fourier series transforms have a power-law form. We demonstrate that the proposed differences of integer orders are directly connected with the derivatives . In contrast to the usual finite differences of integer orders, the suggested differences give the usual derivatives without approximation.

1. Introduction

It is well known that the finite difference of integer order cannot be considered as an exact discretization of the derivative of order . For example, the forward finite difference of first order with step can be formally represented [1, 2] by the Taylor series:

Therefore the finite differences of order give only approximation of the derivatives of integer orders , and gives the derivative at only. Using formal inverting of (1), we get the equation

which holds in the sense that left and right sides of (2) give the same result when applied to polynomials and analytic functions. Equation (2) allows us to assume that the derivatives of integer orders should be represented by differences that are represented by infinite series with power-law coefficients. For this reason, these differences will be called the infinite but they are not supposed infinite in value.

It should be noted that infinite differences and corresponding derivatives of noninteger order have been first proposed by Grünwald [3] in 1867 and independently by Letnikov [4] in 1868. These differences are defined by infinite series (see Section  20 in [5]) as a generalization of the usual finite difference of integer orders. Now these differences are called the Grünwald-Letnikov fractional differences [5, 6].

In this paper, we suggest new differences of integer orders that are connected with derivatives not approximately. A characteristic property of the suggested differences is that its Fourier series transforms have the power-law form. We demonstrate that these differences of integer orders are directly connected with the derivatives . The main advantage of these differences is a direct connection with the usual derivatives for all integer orders.

2. Derivatives and Differences of Integer Orders

In this section we briefly describe the finite differences and derivatives of integer orders to fix notation for further consideration.

2.1. Finite Differences and Derivatives

Let us consider well-known finite differences of integer orders .

Definition 1. The forward finite difference of order with the step is given by

The backward finite difference of order is given by

The central finite difference of order is given by

These finite differences of order for functions of a discrete variable are defined by the equations

Let us give a connection of the finite differences and derivatives of integer orders.

Proposition 2. The finite differences (3)–(5) of order with the step can be represented by the equations

Proof. Using the well-known relation [7] of the form

we get

Substituting (11) into the finite differences (3)–(5) give representation (9).

Remark 3. For example, the central finite difference of second order is represented [7] in the form

It is easy to see that

Only the limit gives

As a result, we have that the central finite difference can be considered only as an approximation of the derivative of second order. Similarly, we have the inequality

and the equality for the limit :

For other finite differences (3)-(4) we have equations, which are similar to (15) and (16).

Using representations (9) and (15), we can see that all finite differences (3)–(5) of orders cannot give exactly the derivative . These differences can be considered only as approximation of the derivative of integer order which coincide with derivatives at only.

2.2. Fourier Series Transform and Finite Differences

A conclusion about connection between finite differences and derivatives can also be obtained by using the Fourier series and integral transforms of differences (6)–(8) and derivatives.

The Fourier integral transform of the function is

and the inverse Fourier integral transform is defined by

It is well known that the derivatives of integer order have the Fourier integral transform in the form

The Fourier series transform of the discrete function is defined by

And the inverse Fourier series transform is

Note that we use the minus sign in the exponent of (20) instead of plus that is usually used.

The Fourier series transforms of the finite differences of order are given by the following proposition.

Proposition 4. The Fourier series transforms of differences (6)–(8) have the form

Proof. Let us consider the forward finite difference (6). Using (20), we get

As a result, we proved (22). Similarly, we get (23) and (24).

Remark 5. It is easy to see that the Fourier series transform of differences (6)–(8) of order cannot be considered as power of :

Only the limit gives

For other finite differences (4)-(5), we have equations, which are similar to (26) and (27).

Proposition 6. The inverse Fourier integral transform (18) of expressions (22)–(24) has the form

Proof. Let us consider (22) for the forward difference (6). Using the inverse Fourier integral transform (18) for the function , we get

As a result, we proved (28). Similarly, we get (29) and (30).

Remark 7. It is easy to see that expressions (22)–(24) coincide with (11) by the change of variables and .

Remark 8. For example, the central finite difference (8) of second order has the Fourier series transform in the form

Using (19), the inverse Fourier integral transform gives

which coincides with (12).
As a result, we have that the characteristic property of finite difference (6) is the inequality

This inequality leads us to the corresponding inequality

which means that finite difference (6) of orders cannot give exactly the derivative . Only in the limit , we get

Therefore difference (6) can be considered only as approximation of the derivative . For the finite differences and , which are defined by (7) and (8), we have the same equations.

3. Formulation of the Problem

Finite differences of orders can be considered only as approximation of the derivative of integer order . We would like to get a difference that can be connected with the derivative not only by the limit .

In order that a difference of order , which will be denoted by , corresponds to the derivative not approximately, this difference should satisfy the condition

This condition can be realized if this difference has the Fourier series transform in the form

Using (38), we can get an exact expression of the required difference .

Let us consider a form of differences in order to obtain an exact expression of these differences by using condition (38). In the notation of the difference, denotes that this difference gives the fractional derivative by transform operator by (37) (see also [8–12]).

At the beginning, we will consider differences with even and odd coefficients for simplification.

Definition 9. A general form of differences of order is defined by the equation

where the functions () and the kernels () are the real-valued functions of discrete variable such that the properties

hold for all and . The operators will be called even (“+”) and odd (“−”) -differences of order .

Remark 10. In the definition we use the sequence space (), which is the linear space consisting of all discrete functions (sequences) , where , satisfying the inequality

If , then we can define a norm on the -space by the equation

The sequence space with is a complete metric space with respect to this norm, and therefore it is a Banach space. We can assume that belongs to the Hilbert space of square-summable sequences to apply the Fourier series transform. It is known that if , then . Therefore, if , and we will consider with .

Proposition 11. Difference (39), which are defined by convolutions of and are operators that map the discrete function into functions such that

where , and

Proof. It is known that if and , then the inequality

holds, where is defined by (44) and the star denotes the convolution. This is Young’s inequality for convolutions (see [13, 14] and Theorem  276 of [15]). Using Young’s inequality in the form

we get

if condition (44) holds and () and ().

Remark 12. The Fourier series transforms of difference (39) have the form

In order to get (38), we should use

Using property (40), the kernels can be defined by the equations

These equations allow us to get exact expressions for the kernels .

4. Exact Expression of Infinite -Differences

The exact expressions for the kernels , which satisfy conditions (49), are given by the following proposition.

Proposition 13. The kernels of even and odd -difference (39) for order , which satisfy conditions (49), are given by the equations

Proof. Substitution of (49) into (50) gives

Then we use equation 2.5.3.5 of [16] that has the form

where is the integer part of the value and . Here for odd and for even . As a result, we get (51), (52), and (53).

Examples. The kernels (51) with and have the form

Using (52) for and , we get the examples

Let us define -difference of order , that is, a generalization of such that conditions (37) and (38) hold.

Definition 14. A general form of -difference of order is defined by the equation

where the function () and the kernel () are real-valued function of integer variable , and

Remark 15. Substitution of (54) into (59) gives

As a result, we get

Remark 16. Using (59), we can represent the -difference through the even and odd differences in the form

Examples. Let us give exact equations for -differences of orders . The -difference of first order has the form

The -difference of second order has the form

The -difference of third order

The -difference of fourth order

The minus is used in (64), (66) and the plus is used in (63), (66), since we take into the values and for the order .

Remark 17. Note that the numerical series of (63)–(66) converge for () since the kernels () (see Proposition 11). Note that using equation 5.1.2.3 of [16], we can get

where is the Riemann zeta function, is the Gamma function, and

As a result, series (63)–(66) with for all converge.

Remark 18. Let us note that we can consider the -difference for . In this case, we have

where

and is the sine integral. As a result, we have the difference of first negative order in the form

The Fourier series transform of this difference is

This difference corresponds to the integration. Note that a possibility to use the infinite differences for negative orders is not unique. For example, the Grünwald-Letnikov derivatives can be used for orders (see Section  20 in [5] and Section  2.2 in [6]) if the functions satisfy the condition

where .

5. Properties of Infinite -Differences

Let us give examples, which allows us to demonstrate that the -difference action is similar to derivative, when applied to polynomials and analytic functions.

Proposition 19. The -differences of first order of the power-law function, the sine and cosine functions, and the exponential function have the form

where .

Proof. The proof is realized by direct calculation of series (63), where we use the Cesaro summations and Poisson-Abel summation (see Section  449 of [17]) for (74) in the form

and the usual formulas for the product of trigonometric functions and equation 5.4.2.6 of [16] in the form

The connection of -difference with the even and odd differences is given by the following proposition.

Proposition 20. The -difference of order gives the even and odd -differences by the equations

where .

Proof. For even , where , the -difference is given by

For odd , where , the -difference is

As a result, we proved (80).

The -difference of order has the following Fourier transform.

Proposition 21. The Fourier series transform of the -difference has the form

where is the sign of the variable .

Proof . Using (62) and Euler’s formula, we get

Remark 22. The main property of the -differences is the Fourier series transform in the form

As a result, we can consider the inverse Fourier integral transform of (85) to get

Let us prove that the -differences of integer orders are directly related with the derivatives of orders .

Proposition 23. The transform operators map the -differences of integer orders into the derivative of orders :

Proof. Using the Fourier series transform (83) of -difference, we get

As a result, we have that the characteristic property of suggested -differences is the equality

that leads us to the corresponding equality

which means that the -difference of order gives the derivative exactly. The -difference of order is connected with the derivative not only asymptotically by the limit . In the limit , we also get

Therefore the suggested -difference can be considered not only as approximation of the derivative , but it can also be considered as an exact discrete analog of derivatives of integer orders.

6. Conclusion

In this paper, we propose new type of differences that are directly connected with derivatives of integer order in contrast with usual finite differences that can be considered only as approximation of these derivatives. A main characteristic of the suggested differences is that its Fourier series transforms have the power-law form. In the paper we demonstrate that these differences of integer orders are directly connected with the derivatives . This is the main advantage of these differences in contrast with all other differences that can be considered as an approximation of integer order derivatives. It allows us to consider an exact discretization of differential equations. We assume that the suggested differences can be interesting in application since they allow us to reflect characteristic properties of complex continua at the microstructural and nanostructural levels by matching lattice models with long-range interactions.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

References

G. Boole, A Treatise on the Calculus of Finite Differences, Cambridge University Press, Cambridge, UK, 2009.

R. P. Agarwal, Difference Equations and Inequalities: Theory, Methods, and Applications, Marcel Dekker, New York, NY, USA, 2nd edition, 2000.

A. K. Grünwald, “About ‘limited’ derivations their application,” Journal of Applied Mathematics and Physics, vol. 12, pp. 441–480, 1897 (German).

A. V. Letnikov, “Theory of differentiation with arbitrary pointer,” Matematicheskii Sbornik, vol. 3, pp. 1–68, 1868 (Russian).

S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Integrals and Derivatives Theory and Applications, Gordon and Breach Science Publishers, New York, NY, USA, 1993.

I. Podlubny, Fractional Differential Equations, Academic Press, San Diego, Calif, USA, 1998.

V. P. Maslov, Operator Methods, section 8, Mir, Moscow, Russia, 1976 (Russian).

V. E. Tarasov, “Continuous limit of discrete systems with long-range interaction,” Journal of Physics A, vol. 39, no. 48, pp. 14895–14910, 2006.

V. E. Tarasov, “Map of discrete system into continuous,” Journal of Mathematical Physics, vol. 47, no. 9, Article ID 092901, 2006.

V. E. Tarasov, “Fractional dynamics of media with long-range interaction,” in Fractional Dynamics: Applications of Fractional Calculus to Dynamics of Particles, Fields and Media, Nonlinear Physical Science, pp. 153–214, Springer, Berlin, Germany, 2010.

V. E. Tarasov, “Toward lattice fractional vector calculus,” Journal of Physics A, vol. 47, no. 35, Article ID 355204, 51 pages, 2014.

V. E. Tarasov, “Lattice fractional calculus,” Applied Mathematics and Computation, vol. 257, pp. 12–33, 2015.

W. H. Young, “On classes of summable functions and their Fourier series,” Proceedings of the Royal Society A, vol. 87, no. 594, pp. 225–229, 1912.

W. H. Young, “On the multiplication of successions of Fourier constants,” Proceedings of the Royal Society of London Series A: Containing Papers of a Mathematical and Physical Character, vol. 87, no. 596, pp. 331–339, 1912.

G. H. Hardy, J. E. Littlewood, and D. G. Polya, Inequalities, Cambridge University Press, Cambridge, UK, 2nd edition, 1952.

A. P. Prudnikov, Y. A. Brychkov, and O. I. Marichev, Integrals and Series, Vol. 1: Elementary Functions, Gordon and Breach, New York, NY, USA, 1986.

G. M. Fichtenholz, Differential and Integral Calculus, vol. 2, Nauka, Moscow, Russia, 7th edition, 1969 (Russian).