Table of Contents Author Guidelines Submit a Manuscript
Advances in High Energy Physics
Volume 2014, Article ID 957863, 14 pages
http://dx.doi.org/10.1155/2014/957863
Research Article

Fractional Quantum Field Theory: From Lattice to Continuum

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

Received 23 August 2014; Accepted 8 October 2014; Published 30 October 2014

Academic Editor: Elias C. Vagenas

Copyright © 2014 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. The publication of this article was funded by SCOAP3.

Abstract

An approach to formulate fractional field theories on unbounded lattice space-time is suggested. A fractional-order analog of the lattice quantum field theories is considered. Lattice analogs of the fractional-order 4-dimensional differential operators are proposed. We prove that continuum limit of the suggested lattice field theory gives a fractional field theory for the continuum 4-dimensional space-time. The fractional field equations, which are derived from equations for lattice space-time with long-range properties of power-law type, contain the Riesz type derivatives on noninteger orders with respect to space-time coordinates.

1. Introduction

Fractional calculus and fractional differential equations [1, 2] have a wide application in mechanics and physics. The theory of integrodifferential equations of noninteger orders is powerful tool to describe the dynamics of systems and processes with power-law nonlocality, long-range memory, and/or fractal properties. Recently the spatial fractional-order derivatives have been actively used in the space-fractional quantum mechanics suggested in [3, 4], the quantization of fractional derivatives [5], the fractional Heisenberg and quantum Markovian equations [6, 7], the fractional theory of open quantum systems [8, 9], the quantum field theory and gravity for fractional space-time [10, 11], and the fractional quantum field theory at positive temperature [12, 13]. Fractional calculus allows us to take into account fractional power-law nonlocality of continuously distributed systems. Using the fractional calculus, we can consider space-time fractional differential equations in the quantum field theory. The fractional-order Laplace and d’Alembert operators have been suggested by Riesz in [14] in 1949 for the first time. Then noninteger powers of d’Alembertian are considered in different works (for example, see Section 28 in [1] and [1517]). The fractional Laplace and d’Alembert operators of the by Riesz type are a base in the construction of the fractional field theory in multidimensional spaces. As it was shown in [1820], the continuum equations with fractional derivatives of the Riesz type can be directly connected to lattice models with long-range properties. A connection between the dynamics of lattice system with long-range properties and the fractional continuum equations is proved by using the transform operation [1820] and it has been applied for the media with spatial dispersion law [21, 22], for the fields in fractional nonlocal materials [23, 24], for fractional statistical mechanics [25], and for nonlinear classical fields [26].

A characteristic feature of continuum quantum field theories, which are used in high-energy physics, is ultraviolet divergences. The divergences arise in momentum (wave-vector) space from modes of very high wave number, that is, the structure of the field theories at very short distances. In the narrow class of quantum theories, which are called “renormalizable,” the divergences can be removed by a singular redefinition of the parameters of the theory. This process is called the renormalization [27], and it defines a quantum field theory as a nontrivial limit of theory with an ultraviolet cut-off. The renormalization requires the regularization of the path integrals in momentum space. These regularized integrals depend on parameters such as the momentum cut-off, the Pauli-Villars masses, and the dimensional regularization parameter, which are used in the correspondent regularization procedure. This regularized integration is ultraviolet finite. In some sense, we can say that the regularization procedure consists in the introduction of a momentum cut-off.

In quantum field theory, the path integral approach is very important to describe processes in high energy physics [28]. The path integrals are well-defined for systems with a denumerable number of degrees of freedom. In field theory, we are dealing with the case of an innumerable number of degrees of freedom, labeled by the space-time coordinates at least. To give the path integrals a precise meaning, we can discretize space and time; that is, we can introduce a space-time lattice. The introduction of a lattice space-time corresponds to a special form of regularization of the path integrals. In the lattice field theory, the momentum space integrals will be cut off at a momentum of the order of the inverse lattice constants. The lattice regularization can be considered as a natural introduction of a momentum cut-off. The lattice renormalization procedure can be carried out for path integrals in momentum space. The first step of the procedure is regularization that consists in introducing a space-time lattice. This regularization allows us to give an exact definition of the path integral since the lattice has the denumerable number of degrees of freedom. Moreover the existence of the momentum cut-off is not surprising in the lattice field theories. In the expression of the Fourier integral for lattice fields, the momentum integration with respect to wave-vector components () is restricted by the Brillouin zone , where are the lattice constants. The second step of the renormalization is a continualization procedure that removes the lattice structure by a continuum limit, where the lattice constants tend to zero. In this step of the renormalization process the momentum cut-off is removed by the continuum limit.

At the present time, fractional-order generalization of the lattice field theories has not been suggested. Lattice approach to the fractional field theories was not previously considered. In this paper, we propose a formulation of fractional field theory on a lattice space-time. The suggested theory can be considered as a lattice analog of the fractional field theories, and as a fractional-order analog of the lattice quantum field theories. For simplification, we consider the free scalar fields. It allows us to demonstrate a number of important properties in details. The lattice analogs of the fractional-order differential operators are suggested. We prove that continuum limit of the suggested lattice theory gives the fractional field theory with continuum space-time. The fractional field equations contain the Riesz type derivatives on noninteger orders with respect to space-time coordinates. In Section 2, the fractional field theory on continuum space-time is considered for scalar fields and fractional-order differential operators are defined.

In Section 3, the fractional-order lattice differential operators of noninteger orders are considered and the lattice fractional field theory for lattice space-time is proposed. In Section 4, the lattice-continuum transformation of the lattice fractional theories is discussed. A short conclusion is given in Section 5.

2. Fractional Field Theory on Continuum Space-Time

2.1. Scalar Field in Pseudo-Euclidean Space-Time

For simplification, we consider scalar fields in the 4-dimensional pseudo-Euclidean space-time . Let us consider the classical field equation where is the d’Alembert operator, is a real field, and is the space-time vector with components , where . This field equation follows from stationary action principle, , where the action has the form

In the quantum theory the generalized coordinates and momenta become the operators, and , that satisfy the canonical commutation relations. The Green functions are where denotes the ground state “physical vacuum” of the fields and denotes the time-ordered product of the operators . These Green functions have a path integral representation [28] in the form where is the sum over all possible configurations of the field . The effects arising from quantum fluctuations are defined by those contributions to the integral (4) that come from field configurations which are not solutions of the classical field equation (1) and hence do not lead to a stationary action.

2.2. From Pseudo-Euclidean to Euclidean Space-Time

Let us consider the analytic continuation of (4) to imaginary times (see Section 7.4 in [29]) such that

We will use to denote the Euclidean four-vector. It allows us to consider the Euclidean space-time instead of the pseudo-Euclidean space-time .

The Euclidean action is obtained from the action (2) by using the three steps:(1)firstly, the replacement , where appears explicitly,(2)the use of the real valued field instead of , where is not obtained from by substituting for , noting that is a real field which is a function of the Euclidean variable ,(3)multiplying the resultant expression by .

As a result, this leads to the expression where denotes the 4-dimensional Laplacian

To formulate a fractional generalization of the field theory, we should use the physically dimensionless space-time coordinates. It allows us to have the same physical dimensions for all other physical values as in the usual (nonfractional) field theories with dimensionless coordinates. In this paper all the quantities will be done physically dimensionless to simplify our consideration. For this aim, we scale the mass parameter , the coordinates , and the field according to their physical dimension. As seen from (6) the quantities and have the physical dimension that is the inverse length, and it is obviously that has the dimension of length, since the action is dimensionless. Therefore we can define the dimensionless quantities , , and by the replacement: We will use (instead of ) to denote the Euclidean four-vector with components , where . As a result, this leads to the expression for the Euclidean action is given by the equation where denotes the 4-dimensional Laplacian for dimensionless variables of continuum space-time, such that

The Green functions (3), which are continued to imaginary times, have the path integral representation where we use the notation for the Euclidean Green function for physically dimensionless quantities (8).

In the imaginary time formulation of quantum field theory, the Green functions look like the correlation functions used in statistical mechanics. The partition function has the form where the integration measure is formally defined by Most of the variables of the system can be expressed in terms of the partition function or its derivatives.

2.3. Continuum Fractional Derivatives of the Riesz Type

To formulate a fractional generalization of the quantum field theory, we define fractional-order derivatives with respect to dimensionless Euclidean coordinates , where . These derivatives will be denoted by , where is the order of the derivative; denotes the coordinate with respect to which the derivative is taken, marks that the derivative is used for continuum field theory ( will be used for lattice operators), and + and − denote the even and odd types of the derivatives.

Definition 1. Continuum fractional derivatives of the Riesz type and noninteger order are defined by the equation where is the integer number that is greater than and the operators are a finite difference [1, 2] of order of a function with the vector step for the point . The centered difference The constant is defined by where for the centered difference (15).

The constants are different from zero for all in the case of an even and centered difference (see Theorem 26.1 in [1]). Note that the integral (14) does not depend on the choice of . Therefore, we can always choose an even number so that it is greater than parameter , and we can use the centered difference (15) for all positive real values of .

Using (14), we can see that the continuum fractional derivative is the Riesz derivative that acts on the field with respect to the component of the vector ; that is, the operator can be considered as a partial fractional derivative of Riesz type.

The Riesz fractional derivatives for even , where , are connected with the usual partial derivative of integer orders by the relation The fractional derivatives for even orders are local operators. Note that the Riesz derivative cannot be considered as a derivative of first order with respect to ; that is, For the operator is nonlocal like a “square root of the Laplacian.” Note that the Riesz derivatives for odd orders , where , are nonlocal operators that cannot be considered as usual derivatives .

An important property of the Riesz fractional derivatives is the Fourier transform of these operators in the form Property (20) is valid for functions from the space of infinitely differentiable functions with compact support. It also holds for the Lizorkin space (see Section 8.1 in [1]).

Let us consider the continuum fractional derivative of the Riesz type that has the property where is the sign function that extracts the sign of a real number . For the operator can be considered as the conjugate Riesz derivative [30] with respect to . Therefore, the operator (21) will be called a generalized conjugate derivative of the Riesz type.

The fractional operator will be defined separately for the following three cases: (a) ; (b) ; (c) .

Definition 2. Continuum fractional derivatives of the Riesz type are defined by the following equations.(a)For , the fractional operator is defined by the equation where is a finite difference that is defined in (15). (b)For integer values , we have (c)For , the fractional operator is defined by the equation where is the basis of the Cartesian coordinate system, the function is the Riesz kernel that is defined by and the constant has the form with and .

Note that the distinction between the continuum fractional derivatives and the Riesz 4-dimensional fractional derivative consists [2] in the use of instead of .

For integer odd values of , we have

Equation (27) means that the fractional derivatives of the odd orders are local operators represented by the usual derivatives of integer orders. Note that the continuum derivative with cannot be considered as a local derivative of the order with respect to . For the generalized conjugate Riesz derivative is not the local derivative . The derivatives for even orders , where , are nonlocal operators that cannot be considered as usual derivatives .

It is important to note that the usual Leibniz rule for the derivative of products of two or more functions does not hold for derivatives of noninteger orders and for integer orders different from one [31]. This violation of the usual Leibniz rule is a characteristic property of all types of fractional derivatives.

Equations (18) and (27) allow us to state that the partial derivatives of integer orders are obtained from the fractional derivatives of the Riesz type for odd values by only, and for even values (), by . The continuum derivatives of the Riesz type and are nonlocal differential operators of integer orders.

In formulation of fractional analogs of classical field theories, we need to generalize some field equations with partial differential equations of integer order. It is obvious that we would like to have a fractional generalization of these integer-order differential equations so as to obtain the original equations in the limit case, when the orders of generalized derivatives become equal to initial integer values. In order for this requirement to hold we can use the following rules of generalization: In order to derive a fractional generalization of differential equation with partial derivatives of integer orders, we should replace the usual derivatives of odd orders with respect to by the continuum fractional derivatives and the usual derivatives of even orders with respect to by the continuum fractional derivatives of the Riesz type .

2.4. Continuum Fractional 4-Dimensional Laplacian

The 4-dimensional Laplacian is defined by (10) as an operator of second order for Euclidean space-time.

Fractional-order generalizations of the d’Alembert operator and the -dimensional Laplacian are considered in [14] and in Section 28 of [1].

It is important to note that an action of two repeated fractional derivatives of order is not equivalent to the action of the fractional derivative of the double order ,

The continuum 4-dimensional Laplacian of noninteger order for the scalar field can be defined by two different equations, where the first expression contains the two lattice operators of order , and the second expression contains the fractional derivatives of the doubled order .

Definition 3. The continuum 4-dimensional Laplace operators and of noninteger order for the scalar field are defined by the different equations: where are defined in Definitions 1 and 2.

The violation of the semigroup property (29) leads to the fact that the operators (30) and (31) do not coincide in general.

It should be noted that the operators and for integer gives the usual (local) 4-dimensional Laplacian that is defined by (7); that is,

The operators and for integer are nonlocal operators of the second orders that cannot be considered as : Therefore we should use only the continuum fractional 4-dimensional Laplace operators or in the fractional field theory, since the operators or do not satisfy the correspondence principle for .

Fractional Laplace operators have been suggested by Riesz in [14] for the first time. The fractional Laplacian in the Riesz form for 4-dimensional Euclidean space-time can be considered as an inverse Fourier’s integral transform of by where and .

Definition 4. For , the fractional Laplacian of the Riesz form is defined as the hypersingular integral where and is a finite difference of order of a field with a vector step and centered at the point : The constant is defined by where

Note that the hypersingular integral (35) does not depend on the choice of . The Fourier transform of the fractional Laplacian is given by . This equation is valid for the Lizorkin space [1] and the space of infinitely differentiable functions on with compact support.

2.5. Fractional Field Equations

The Euclidean action for fractional scalar fields can be defined by the expression where denotes the fractional 4-dimensional Laplacian (31) for dimensionless variables of continuum space-time. Here we take into account (18) in the form .

Using the stationary action principle, , we derive the fractional field equation Similarly, we can consider the fractional field theories that are described by the fractional field equations where the fractional 4-dimensional Laplacians (30) and (35) are used.

The Green functions for Euclidean space-time and dimensionless variables have the following path integral representation: where is the sum over all possible configurations of the field for continuum space-time. Note that the path-integral approach for space-fractional quantum mechanics is considered in [3, 4, 32].

The Euclidean Green functions (42) of fractional field theory can be derived from the generating functional Using the integer-order differentiation of (43) with respect to the sources , we can obtain the correlation functions. The -point fractional correlation function is

Quantum fluctuations correspond to the contributions to the integral (43) coming from field configurations which are not solutions to the classical field equations (40) and (41).

3. Fractional Field Theory on Lattice Space-Time

3.1. Lattice Space-Time

In quantum field theory, a lattice approach is based on lattice space-time instead of the continuum of space-time. Lattice models originally occurred in the condensed matter physics, where the atoms of a crystal form a lattice. The unit cell is represented in terms of the lattice parameters, which are the lengths of the cell edges (, where ) and the angles between them.

Let us consider an unbounded space-time lattice characterized by the noncoplanar vectors , , that are the shortest vectors by which a lattice can be displaced and be brought back into itself. For simplification, we assume that , , are mutually perpendicular primitive lattice vectors. We choose directions of the axes of the Cartesian coordinate system coinciding with the vector . Then , where , and , (), are the basis vectors of the Cartesian coordinate system for Euclidean space-time . This simplification means that the lattice is a primitive -dimensional orthorhombic Bravais lattice. The position vector of an arbitrary lattice site is written as where are integer. In a lattice the sites are numbered by , so that the vector can be considered as a number vector of the corresponding lattice site.

As the lattice fields we consider real-valued functions for -sites. For simplification, we consider the scalar field for lattice sites that is defined by . In many cases, we can assume that belongs to the Hilbert space of square-summable sequences to apply the discrete Fourier transform. For simplification, we will consider operators for the lattice scalar fields . All consideration can be easily generalized to the case of the vector fields and other types of fields.

For continuum fractional field theory, we use the dimensionless quantities (8). In the lattice fractional theory, we also will be using the physically dimensionless quantities such as , , , , and .

3.2. Lattice Fractional Derivative

Let us give a definition of lattice partial derivative of arbitrary positive real order in the direction in the lattice space-time.

Definition 5. Lattice fractional partial derivatives are the operators such that where , , , , and the kernels are defined by the equations where is the Gauss hypergeometric function [33, 34]. The parameter will be called the order of the lattice derivatives (46).

The kernels are real-valued functions of integer variable . The kernel is even function , and is odd function for all .

The reasons to define the kernels in the forms (47) and (48) are based on the expressions of their Fourier series transforms. The Fourier series transform for the kernel defined by (47) satisfies the condition The Fourier series transforms for the kernels defined by (48) satisfies the condition Note that we use the minus sign in the exponents of (49) and (51) instead of plus in order to have the plus sign for plane waves and for the Fourier series.

The form (47) of the kernel is completely determined by the requirement (50). If we use an inverse relation of (49) with that has the form then we get (47) for the kernel . The form (48) of the term is completely determined by (52). Using the inverse relation of (51) with in the form we get (48) for the kernel . Note that .

The lattice operators (46) with (47) and (48) for integer and noninteger orders can be interpreted as a long-range interactions of the lattice site defined by with all other sites with .

3.3. Lattice Operators of Integer Orders

Let us give exact forms of the kernels for integer positive . Equations (47) and (48) for the case can be simplified. To obtain the simplified expressions for kernels with positive integer , we use the integrals of Sec. in [35]. The kernels for integer positive are defined by the equations where is the integer part of the value , and . Here for odd , and for even .

Using (55) or direct integration (53) for integer values and , we get the simplest examples of in the form where , , and for all . Using (56) or direct integration (54) for and , we get examples of in the form where , , and for all . Note that for odd , and for even .

In the definition of lattice fractional derivatives (46) the value characterizes the component of the lattice vector with respect to which this derivative is taken. It is similar to the variable in the usual partial derivatives for the space-time . The lattice operators are analogous to the partial derivatives of order with respect to coordinates for continuum field theory. The lattice derivative is an operator along the vector in the lattice space-time.

3.4. Lattice Operators with Other Kernels

In general, we can weaken the conditions (50) and (52) to determine a more wider class of the lattice fractional derivatives. For this aim, we replace the exact conditions (50) and (52) by the asymptotical requirements where the little-o notation means the terms that include higher powers of than . The conditions (59) and (60) mean that we can consider arbitrary functions for which are asymptotically equivalent to and as , respectively.

As an example of the kernel , which can give the lattice fractional derivatives (46) with (59), has been suggested in [1820] in the form where we use relation 5.4.8.12 from [35]. This kernel has been suggested in [18, 19] to describe long-range interactions of the lattice particles for noninteger values of . For integer values of , the kernel for . For , we have for all . The function with even value of can be interpreted as an interaction of the -particle with particles with numbers . Note that the long-range interaction with the kernel (61) is partially connected with the long-range interaction of the Grünwald-Letnikov-Riesz type [24]. It is easy to see that expression (47) is more complicated than (61).

As an example of the kernel , which can give the lattice fractional derivatives (46) with (60), has been suggested in [20] in the form where the brackets mean the integral part, that is, the floor function that maps a real number to the largest previous integer number. The expression is equal to zero for even , and it is equal to 1 for odd . To get the expression, we use relation 5.4.8.13 from [35]. Note that the kernel (62) is real valued function since we have zero, when the expression becomes a complex number.

For , we can give other examples of the kernels with the property (59) which are given in Section 8 of the book [36]. For example, the most frequently used kernel is where we use the multiplier , which has the asymptotic behavior , , for the cases and , with nonzero term , where is the Riemann zeta-function. To take into account this expression, we use the asymptotic condition for in the form (50) that includes . For details see Section 8.11-8.12 in [36].

3.5. Lattice Fractional 4-Dimensional Laplacian

An action of two repeated lattice operators of order is not equivalent to the action of the lattice operator of double order : Note that these properties are similar to noninteger order derivatives [2].

Definition 6. The lattice 4-dimensional fractional Laplacian operators and for a scalar lattice field are defined by the following two equations, where the first expression contains the two lattice operators of order , and the second expression contains the lattice operator of the order in the form

The violation of the semigroup property (64) leads to the fact that operators (65) and (66) do not coincide in general.

Using (46), expression (66) can be represented by

The correspondent continuum fractional Laplace operators are defined by (30) and (31). The continuum operators and for integer give the usual (local) 4-dimensional Laplacian that is defined by (7). The operators and for integer are nonlocal operators and cannot get a correspondence with the usual (nonfractional) field theories. Therefore we should use the lattice fractional Laplace operators or in the lattice fractional field theories.

3.6. Lattice Riesz 4-Dimensional Laplacian

Let us define a lattice analog of the fractional Laplace operator of the Riesz type [2, 14] which is an operator for scalar fields on the lattice space-time.

Definition 7. The lattice fractional Laplace operator of the Riesz type for 4-dimensional Euclidean space-time is defined by the equation where the constant is and the kernel is defined by the equation where and the parameter is the order of the lattice operator (68).

Note that the kernel (69) is connected with (47) by the equation where without the sum over .

The Fourier series transform of the kernels in the form satisfies the condition The form (69) of the kernel is completely determined by the requirement (72). The inverse relation to (71) with (72) has the form (69).

If the lattice field depends only on one variable with fixed , that is, without the sum over , then we have

The lattice fractional Laplacian in the Riesz form for 4-dimensional lattice space-time can be considered as a lattice analog of the fractional Laplacian for continuum Euclidean space-time that is defined by (35).

3.7. Lattice Fractional Field Theory

The path integral (11) does not have a precise mathematical definition. To give a definition of the path integrals, we can introduce a space-time lattice with “lattice constants” . Every point on the lattice is then specified by four integers which are denoted by the vector , where the last component will denote a lattice analog of the Euclidean time.

In the path integral expression for lattice fields, we should use dimensionless variables only. Note that by convention all variables of the lattice theory are dimensionless variables.

For lattice fractional fied theory the path-integral expression of the Green functions is

The structure of the path integral (74) is analogous to that used in the statistical mechanics of lattice system.

The lattice action is not unique, and we can choose the simplest one. We have only the requirement that any lattice action should reproduce the correct continuum expression in the continuum limit .

The action used in the path integral (74) can be considered in the forms For lattice theory with the lattice Riesz fractional Laplacian the action is

Using (67), we rewrite expressions (75) in the form where the kernel is given by where is the Gauss hypergeometric function [33, 34]. Expression (78) can be used for all positive real values including positive integer values. This kernel describes the space-time lattice with long-range properties that can be interpreted as a lattice space-time with power-law nonlocality. For the lattice with the nearest-neighbor interactions, the kernel can defined by Note that the kernel (78) with reproduces the same continuum fractional field theory as (79).

Using (68), we rewrite expression (76) in the form where the kernel is given by and is defined by the expression (69).

For the lattice fractional field theory we can define the generating functional in the form It can be easily calculated, since the multiple integral is of the Gaussian type. Apart from an overall constant, which we will always drop since it plays no role when computing ensemble averages, we have that where is the inverse of the matrix (78) and is the determinant of . The inverse matrix is defined by the equation and it can be easily derived by using the momentum space, where is given by where and the integration is restricted by the Brillouin zone, .

Using the discrete Fourier representation, one finds that is given by where Note that the integration in (86) is restricted to the Brillouin zone, , where and .

The inverse matrix is

For the action (80) the generating functional is defined by the equation Using the integer-order differentiation of (89) with respect to the sources , we can obtain the correlation functions for the lattice fractional field theory. The 2-point correlation function is

Using the discrete Fourier representation, one finds that is given by where and Here we use the notations The inverse matrix has the form

The right-hand side of expression (94) depends on the lattice sites and and on the dimensionless mass parameter . Let us indicate this dependence explicitly, by using the notation . Then substituting (92) into (94), we have

We can study continuum limit of (95) in order to extract the physical two-point correlation function, . To take the limit , we should take into account that and . In our case, the continuum limit can give the correct continuum limit that reproduces the result for the scalar two-point function for fractional filed theory with continuum space-time.

4. Continuum Fractional Field Theory from Lattice Theory

In this section, we use the methods suggested in [1820] to define the operation that transforms a lattice field and lattice operators into a field and operators for continuum space-time.

The transformation of the field is following. We consider the lattice scalar field as Fourier series coefficients of some function for , where and . As a next step we use the continuous limit to obtain . Finally we apply the inverse Fourier integral transform to obtain the continuum scalar field . Let us give some details for these transformations of a lattice field into a continuum field [1820].

The lattice-continuum transform operation is the combination of the operations , , and in the form that maps lattice field theory into the continuum field theory, where these operations are defined by the following.(1)The Fourier series transform of the lattice scalar field is defined by where the inverse Fourier series transform is Here we use the notations and is the lattice constants.(2)The passage to the limit , where we use (or ), allows us to derive the function from . By definition is the Fourier integral transform of the continuum field , and the function is the Fourier series transform of the lattice field , where and . Note that .(3)The inverse Fourier integral transform is defined by where , and the Fourier integral transform of the continuum scalar field is These transformations can be represented by the diagram in Figure 1.

957863.fig.001
Figure 1: Diagram of sets of operations for scalar fields.

Comparing (98)-(99) and (102)-(103), we see the existence of a cut-off in the momentum in the lattice field theory. In the theory of the lattice fields , the momentum integration with respect to the wave-vector components is restricted by the Brillouin zones , where .

In the lattice 4-dimensional space-time, all four components of momenta are restricted by the interval . Therefore the introduction of a lattice space-time provides a momentum cut-off of the order of the inverse lattice constants, .

Using the lattice-continuum transform operation , (95) and (96) give the expression for the continuum fractional field theory:

Let us formulate and prove a proposition about the connection between the lattice fractional derivative and continuum fractional derivatives of noninteger orders with respect to coordinates.

Proposition 8. The lattice-continuum transform operation maps the lattice fractional derivatives where are defined by (47), (48), into the continuum fractional derivatives of order with respect to coordinate by

Proof. Let us multiply (105) by the expression and then sum over from to . Then Using (98), the right-hand side of (107) gives where .
As a result, (107) has the form where is an operator notation for the discrete Fourier transform.
Then we use and the limit gives
As a result, the limit for (109) gives where The inverse Fourier transforms of (112) have the form