Fractional Laplace Transforms - A Perspective

A form of the Laplace transform is reviewed as a paradigm for an entire class of fractional functional transforms. Various of its properties are discussed. Such transformations should be useful in application to differential/integral equations or problems in non-extensive statistical mechanics.


Introduction
The importance of functional transforms as a tool in all fields of theoretical physics cannot be overestimated. As for an example, the two complementary representations of quantum physics are related via the Hilbert space equivalent of Fourier transformations. Generally speaking, functional transforms switch from the original space in which a function is given to its complementary (or dual) space, where the function, after having been transformed, can possibly be treated in a simpler way.
Functional transformations have been introduced by Fourier and Gauss. Fourier used them to expand any given function into an infinite sum of trigonometric functions showing that their superposition reproduced the original function to an arbitrary degree of precision. His method led to the wide field of spectral representations and turbulence theory. Gauss applied the concept of functional transformation to represent measurements of the gravitational and geomagnetic fields on Earth's surface into sums of Legendre polynomials and spherical harmonics. He also demonstrated how the expansions could be used to solve the Laplace and Poisson equations thereby paving the way for the application of functional transforms to the solution of the differential and Correspondence to: R. A.Treumann (rudolf.treumann@geophysik.uni-muenchen.de) integral equations of mathematical physics including boundary value problems. This concept also lies at the bottom of perturbation theory. Laplace, in application of Fourier's transformation to initial value problems, realized that temporary problems were unidirectional and thus required substantial modification.
Meanwhile, several other kinds of transformations have been discovered (cf., e.g., Abramowitz & Stegun, 1972). In recent years, in particular in relation to so-called nonextensive statistical mechanics, a whole industry developed in reformulating a large class of exponential or logarithmic function based mathematical functions into related functions which in some asymptotic limit approach either exponentials or logarithms. This development is interesting as, by simple analogue, it creates new functions available for application (for reviews the reader is directed to Diaz & Teruel, 2005;Mansour, 2009;Mansour & Shabani, 2012;Livadiotis & McComas, 2013, and references therein).
To do justice to history we mention that the qtransformation on which non-extensive statistical mechanics is based as well as several of the modified q-functions were suggested a century ago (Jackson, 1904a(Jackson, ,b,c, 1905. Elaborated versions of all those related to the hypergeometric function and other polynomials can be found already in (Hahn, 1949). There, a version of q-modified Laplace transforms is even given in passing. The focus on these functions is purely mathematical though some of them have found application in non-extensive statistical mechanics (cf., for a listing, Livadiotis & McComas, 2013). We also note that some very interesting mathematical investigations of the q-Laplace transforms have recently been undertaken (Chung, 2013a,b) uncovering some hitherto unknown connections to the operator calculus.
The present note directs attention to a different version of modifying the Laplace transform in view of enlarging the available mathematical tools. Our formulation uses κ representations instead of the above mentioned so-called q-deformed functions (cf., e.g., Lenzi et al., 1999). In fact, the transformation between both representations is simply that q = 1 + 1/κ (Treumann, 1997;Livadiotis & McComas, 2013). Since various possibilities exist for obtaining exponentials as asymptotic limits, there are several ways of defining transformations. 'q-deformed' transforms exploit raising the q-deformed exponential to some power s identified as the Laplace variable. Such q-Laplace transforms differ in several respects from the one given below. Which one should be better suitable, depends on the problem under consideration. In non-extensive statistical mechanics the q-deformed Laplace transform seems appropriately tailored. We note that a similar construction is possible also for Fourier transforms where, however, complications arise due to the explicit complexity of the modification.

Definition.
Introducing the real free parameter κ ∈ R, we define the fractional or κ-Laplace transform as and convention that the index on the transform L κ refers to κ in the exponent. These forms are obtained by replacing the exponentials in the ordinary Laplace transform and its inverse by the generalized Lorentzians (1 ± st/κ) −κ−r . The philosophy in mind is that for any rational numbers κ,r ∈ R the generalized Lorentzians, for κ → ∞ and r fixed, asymptotically approach exponentials exp(∓st). One verifies this readily by applying l'Hospital's rule. The Lorentzians in the transforms are functionally inverse while not being inverse functions. In fact the inverse functions would be obtained inverting them with respect to either s or t which, however, would cause loss of the property of a functional transform. It would not reproduce the Laplace transforms at κ → ∞, contrasting other uses of the Lorentzian replacement found in the literature, in particular Tsallis' non-extensive statistical mechanics (for its fairly complete review cf., e.g., Gell-Mann & Tsallis, 2004). The above transformations are inverse to each other satisfying the relation L −1 κ L κ = I, with I the identity operator. This is verified performing the operator product yielding another representation of the δ function For κ → ∞ it reproduces the normal Laplace form of the Dirac function, thus yielding the representation of δ(t) appropriate for our purposes.

Properties.
That the fractional operator L κ [αU (t) + βV (t)] is linear need not to be proven. In order to demonstrate that the above transformations are indeed functional transformations we apply the fractional Laplace transform to the function f (t) = δ a (t) = 1/a with a = const and check its behavior at lim a→0 . Inserting for f (t) into L κ yields where F (α,β;γ;z) is the hypergeometric function, which for z = 0 becomes F (α,β;γ;0) = 1. Hence, lim a→0 g κ (δ a ) = 1, and the fractional Laplace transform indeed trivially reproduces the property of the Dirac-δ function δ(t) for all κ,r.
Not all properties of the Laplace transform survive when making the transition to its fractional sister. For instance adding a constant c to s does not lead to any useful result. This is unfortunate as it indicates that the fractional Laplace transform is not restrictionless applicable to functions of period T . Indeed, when taking the transform of a periodic function L Since L κ−sT = L κ , these relations cannot be simplified anymore. Transform   3 Derivatives.

R. A. Treumann and W. Baumjohann: κ-Laplace
When applying the fractional Laplace transform to the derivative f ′ (t) of the function f (t) one obtains The fractional Laplace transform applied to the derivative of a function increases its order by one unit. Application to the second derivative f ′′ (t) then becomes Further iteration yields for the fractional Laplace transform of the nth derivative f (n) (t) the expression The increasing power with n in the denominator of the integrand assures that the fractional Laplace transforms of higher order derivatives exist if only the derivative of f (t) exists to this order.
Since addition of n can be understood simply as replacement r → r + n, the Laplace transform of derivatives behaves pseudo-recursive. This pseudo-recursive behavior distinguishes it from the ordinary Laplace transform. Application to differential equations will thus not lead to simple linear sets of equations for the Laplace transformed function but produces a set of pseudo-recursive relations which are distinguished by r-dependent factors as is easily shown for a polynomial f (t).

Convolution theorem.
When dealing with products of functions of the form f (τ )g(t − τ ) where f (τ ) = 0 for τ < 0 and g(t − τ ) = 0 for t < 0 then the ordinary Laplace transform implies that the Laplace transform of the product becomes the product of the Laplace transforms of the functions f and g. Applying the fractional Laplace transform to the convolution product under the same conditions yields now (14) where L κ−1 is of the form given in Eq. (13). This expression suggests that the transform of a convolution indeed remains a product of two Laplace transforms. However, the order of the transform of the convoluted function g(t−τ ) has become reduced by one unit. In addition the fractional transform is multiplied by κ. The right-hand side of the last formula can also be rewritten by attributing the change in the index to the constant r: Conversely the last formula defines the product of two Laplace transforms as the transform of a folding integral. For this product to exist warranting convergence, the free parameter r must be chosen sufficiently large.

Remarks.
The κ-Laplace transform proposed in this note is just one form of modified Laplace transformations. So far, regarding their mathematical properties (Chung, 2013a,b) and application (for transforms of various functions see, e.g., Lenzi et al., 1999), the literature makes use of the q-modified versions of Laplace transforms, first proposed long ago by Hahn (Hahn, 1949). These applications are particularly suited for problems in non-extensive statistical mechanics (Gell-Mann & Tsallis, 2004). The κ-Laplace transform given here, though being different, is a relative of the q-Laplace transform. Because of its simpler form it might be easier to handle. Whether it is appropriate or not depends on the problem to which it can be applied. It will not be difficult to simply calculate transformed versions of a number of known functions and tabulate them, as was done for the q-transform (Lenzi et al., 1999). More interesting is, however, the identification of the class of problems to which the κ-transform can be applied.
The most interesting property of the κ-Laplace transform is its pseudo-recursive character when applied to derivatives of functions. This makes them valuable in application to differential equations including fractional differential equations (cf., e.g., Podlubny, 1999;Rahimy, 2010), though the ordinary Laplace transform provides already a useful tool for their treatment, in the case of fractional differential equations just generating some additional factors. This is completely satisfactory already and well known from the fractional versions of the diffusion equation, known as Fick's equation (cf., e.g., Sokolov et al., 2002), which leads to so-called subdiffusion with mean-square displacements increasing slower than linear with time. Applying the κ-Laplace transform would generate another additional factor. Whether this provides any advantage, is questionable. It will depend strongly on the disposed problem. Super-diffusion based on Lévy flight dynamics, is the opposite to sub-diffusion. It might be a candidate for application of the κ-Laplace transform to the underlying Fokker-Planck equation in phase space. So far attempts to describe super-diffusion are based only on turbulent probability spectra of the form p(k) ∝ exp(−k α ) with α < 2 (see, e.g., Gell-Mann & Tsallis, 2004). Application of such spectra has also been given to the collisionless magnetic reconnection problem which is important in space physics (Treumann & Baumjohann, 2014) .
In any case, the apparent simplicity of the κ-Laplace transform advertises it for being used in physical problems. Genuinely mathematical investigations of the kind given in (Chung, 2013a,b) are as well very welcome as they enlighten the internal structure of the transformation and its relation to operator calculus.