Fractional Line Integral

: This paper proposed a deﬁnition of the fractional line integral, generalising the concept of the fractional deﬁnite integral. The proposal replicated the properties of the classic deﬁnite integral, namely the fundamental theorem of integral calculus. It was based on the concept of the fractional anti-derivative used to generalise the Barrow formula. To deﬁne the fractional line integral, the Grünwald–Letnikov and Liouville directional derivatives were introduced and their properties described. The integral was deﬁned for a piecewise linear path ﬁrst and, from it, for any regular curve. Author Contributions: Conceptualization, M.O.; Formal analysis, G.B. and M.O.; Investigation, G.B. and M.O.; Methodology, G.B. and M.O.


Introduction
It is no use to refer to the great evolution that made fractional calculus invade many scientific and technical areas [1][2][3][4]. Advances in various aspects of fractional calculus led to a question: Why are there no fractional counterparts of some classic results? In fact, and notwithstanding the progress, there are several singular situations. One of them was, until recently, the non-existence of the definition of the "fractional definite integral". This gap was filled by Ortigueira and Machado [5]. Here, we tried to fill in another gap, by introducing a definition of the fractional line integral. This generalization was motivated by the results presented in [6], where classic theorems of vectorial calculus were introduced, but for integrations over rectangular lines. With the integral introduced here, the Green theorem, for example, can be generalised. Here, we took advantage of the results stated in [5] to propose a fractional line integral. We used directional derivatives. However, and according to the considerations made in [5], not all the directional derivatives are suitable for our purposes. We opted for the directional derivatives resulting from the generalization of the Grünwald-Letnikov (GL) and Liouville (L) directional derivatives. These were introduced and their main properties listed. It is important to refer to the presentation of the Liouville directional regularised derivative.
The classic definite Riemann integral served as guide to define the fractional definite integral, since we required them to share the same properties. The fractional definite integral was expressed in terms of the anti-derivative generalising the Barrow formula.
To introduce the fractional line integral (FLI), we started by defining it on a segment of an oriented straight-line. This procedure was enlarged to a piecewise linear path formed by a sequence of connected straight-line segments. By using a standard procedure consisting of approximating a curve by a sequence of piecewise linear paths, we introduced the integration over any simple rectifiable line. Its main properties are presented.
The paper is outlined as follows. In Section 2, we introduce the required background. In Section 3, we describe the GL and L directional derivatives that are the basis for defining the fractional line integral. The corresponding properties are also presented. In Section 4, we introduce the fractional line integral and its main properties. Finally, we draw some conclusions.

Functional Framework
The theory we develop below is expected to be useful in generalising the classic vectorial theorems suitable for dealing with fractionalisations of important equations of physics, as is the case of the Maxwell equations [6,7]. Therefore, we needed a framework involving functions f (t), t ∈ R, which are of exponential order, to have the bilateral Laplace transform (BLT), or absolutely or square integrable, to have the Fourier transform (FT). To ensure that the left derivatives we used exist, we assumed also that they: are almost everywhere continuous; 2.
have bounded variation; 3. verify: In particular, we can have f (x) ≡ 0, x < x 0 (this is called a right-hand function).

Remark 1.
If a given function has bounded support, we extend it to R, with a null extrapolation. This maintains the maximum generality of our framework.

Suitable Fractional Derivatives
When performing the introduction of the fractional definite integral [5], a discussion about the problem of the definition of the fractional derivative (FD) suitable for such an objective was performed. It was shown that among the many definitions, we should require one-sided derivatives defined on R in order to keep several classic relations valid. The Grünwald-Letnikov (GL) [4,8,9] and (regularised) Liouville (rL) derivatives [4,10] were adopted. The forward Grünwald-Letnikov and Liouville derivatives are given respectively by: where (a) n = ∏ n−1 k=0 (a + k), ((a) 0 = 1) represents the Pochhammer symbol for the raising factorial, and: where N is the integer part of α, so that α − 1 < N ≤ α, N ∈ Z + 0 , and u(α) is the Heaviside unit step to ensure that the summation only exists for positive α. The conditions stated in the previous subsection, namely (1), are sufficient for the existence of the above derivatives. Despite our work being based in the derivatives GL and rL, we included one version of the directional derivative for the usual Liouville derivative (L) [9,11]: and the Liouville-Caputo derivative (LC) [1]: where m − 1 < α ≤ m, m ∈ Z + . These two derivatives could be alternatives to GL or rL.

Remark 2.
The concept of "forward" is tied here to the causality in the sense of "going from past to future." This implies not only an order, but also a direction on the real line.
The study of the equivalence of the two derivatives was performed in [10]. It is not difficult to show that they are really equivalent for functions with the BLT or FT. We only have to compute the derivatives of the exponential e st , s ∈ C, t ∈ R [8]. This makes it easier to justify some of the relevant characteristics they enjoy, namely the index law [8,10]. This property means that for a given FD of order α > 0, there is an FD, of negative order, that we call the "anti-derivative" that is left and right inverse of the FD: It can be shown [4] that the GL, rL, LC, and FD of the non-null constant function are identically null. The L derivative of such a function does not exist, since the integral is divergent. It must be stressed here that, for negative order (anti-derivative), the rL, L, and LC are equal:

Remark 3.
Everything what was performed here can be replicated for the backward derivatives. We have not done so, since this is not very interesting.

Order-One Definite Integral
There are several ways of introducing the definite integral [12,13]. Probably the simplest is through the Riemann sum. N). We call the definite integral of f (x) over [a, b] the limit: The sum S is represented by b a f (ξ)dξ [12].
Using the time scale approach, we can define a nabla derivative and its inverse [4]. This is given by: For simplicity and because the function is continuous, we adopted a procedure, frequently used in practice, that consisted of using equal length intervals, ∆ i = b−a N = h, i = 1, 2, . . . , N, and ξ i the first or last point in each one, so that we can set, for example,

Fractional Definite Integral
A generalisation of the concept of the definite integral must conform with its properties. The first approach to obtain a fractional definite integral was performed in [5]. Here, we present a slightly different definition.

Definition 2.
We defined the α-order fractional integral (FI) of f (x) ( f (−∞) = 0) over the interval (−∞, a) by: (11) For simplification, we used the notation: Theorem 1. If b > a, then: In fact, this relation must be valid, in order to keep the formula valid: (12) is none other than the fractional Barrow formula. The definition of the fractional definite integral (12) is consistent with the fractional fundamental theorem of integral calculus (integer order): and D α [I α g(a, x)] = g(x).
These results come immediately from the properties of the rL (or GL) derivative. In particular, the derivative of a constant is zero.

The Grünwald-Letnikov and Liouville Directional Derivatives
The usefulness, advantages, and properties of the GL and rL derivatives, introduced above, were studied in [5,10]. Here, we present their directional formulations.

Definition 3.
Consider a function f (x), x ∈ R n , and let v ∈ R n be a unitary vector defining the direction of the derivative computation and the half-straight line: Consider a continuous function, f (x), such that | f (x − kv)| decreases at least as 1 k |α|+1 , when k → ∞ [4]. We defined the GL directional derivative as: where again, (a) k represents the Pochhammer symbol for the rising factorial.
The relation of the GL and Liouville derivatives studied in [10] led us to introduce an analogous definition for the directional case, considering the general regularised case, not presented elsewhere.
As is well known, when α > 0, the above integral is singular [9]. However, it can be regularised through the procedure followed in [10] to obtain: where N = α is the greatest integer less than or equal to α.

Definition 5.
We defined the Liouville directional derivative (L) by: where D m v means to apply m-times the usual directional derivative in the direction v, m − 1 < α ≤ m and m ∈ Z + . Definition 6. We defined the Liouville-Caputo derivative (LC) by: where m − 1 < α ≤ m and m ∈ Z + .
To test the coherence of the definitions, take the exponential f (x) = e s·x , x ∈ R n , where (s · x) is the inner product of the constant s ∈ C n and x. Inserting f (x) into relations (16) to (20), we got [9] D α v e s·x = (s · v) α e s·x , Re(s) > 0.
To obtain this result, we had to use the general integral representation for the Gamma function defined on C \ Z − 0 [14]: where N is the greatest integer less than −α if α < 0 and u(·) is the Heaviside function.
The expression Re(s) > 0 means that each component s j , j = 1, 2, . . . , n of s has positive real parts. It is a sufficient condition for the convergence of the series in (16) or of the integrals in (17) to (20). Relation (21) is in agreement with similar results in [9] and means that: The exponential is the eigenfunction of the introduced derivatives; 2.
The BLT, F(s) of the derivatives of f (x), is given by: where F(s) = L[ f (x)]. With s = iω, we obtained the same result for the Fourier transform.
The main properties of the above derivatives are easily deduced from (17) to (20); see, for example [8].
Commutativity and additivity of the orders 3.
Neutral and inverse elements: In the previous property, we can set α + β = 0; therefore, the inverse derivative exists and can be obtained by using the same formula.

Rotation:
Suppose that an invertible matrix A exists such that we can perform the variable change Ax for x and v is not the zero vector. Then: As the matrix A is invertible and v is a non-null vector, then Av = 0. As uAv = u Av Av Av , we introduced ξ = Av u and w = Av Av to obtain: which leads to: generalising also a classic result.

On the Fractional Line Integrals
The introduction of the notion of the fractional definite integral was performed in [5] and reformulated above in Section 2.4. Here, we reproduced such a definition, but with a vectorial representation.
Let f (x), x ∈ R n , such that its directional derivatives of any order exist. We assumed the canonical base e j , j = 1, 2, . . . , n. Let us denote their anti-derivatives along the x 1 axis by f (−α) e 1 (x). Definition 7. Let α > 0. We defined the α-order fractional integral of f (x) over the interval (−∞, a) on the xe 1 axis through: and: I α where (a, b) = (ae 1 , be 1 ).
Using the expression of the Liouville anti-derivative, we can write: From the standard (integer order) Barrow formula b a f (x)dx = f (b) − f (a), we derived the expression: Using (24), we obtained:

Example 1.
In the case when γ is a circumference of radius R centred at the origin, r(u) = (R cos u, R sin u), 0 ≤ u ≤ 2π, (39) acquires the form: with v = (− sin u, cos u). By the definition of the directional derivative, we obtained that: If we define ζ(u) = (R cos u + v sin u, R sin u − v cos u), 0 ≤ u ≤ 2π, then: Therefore, Remark 5. The integral between brackets in (44) is known as the integral of the line relative to the arc length [13]. If f represents the mass of a thin wire ζ(u) per unit length, then 2π 0 f (ζ(u))||ζ (u)||du is the total mass M v of the wire. Therefore: The line integral (37) has some interesting properties that are easily deduced: 1. Linearity: with c and d constants; 2.
Orientation: Let γ be the curve r(u), a ≤ u ≤ b. The change in the orientation was obtained in the fractional derivative computation by reversing the tangent vector and the integration step toward the generalization of Green's, Stokes', and Ostrogradsky-Gauss' theorems. This means that a new step is needed: the fractional surface integral definition.