The M-Wright Function in Time-Fractional Diffusion Processes: A Tutorial Survey
Abstract
In the present review we survey the properties of a transcendental function of the Wright type, nowadays known as M-Wright function, entering as a probability density in a relevant class of self-similar stochastic processes that we generally refer to as time-fractional diffusion processes. Indeed, the master equations governing these processes generalize the standard diffusion equation by means of time-integral operators interpreted as derivatives of fractional order. When these generalized diffusion processes are properly characterized with stationary increments, the M-Wright function is shown to play the same key role as the Gaussian density in the standard and fractional Brownian motions. Furthermore, these processes provide stochastic models suitable for describing phenomena of anomalous diffusion of both slow and fast types.
1. Introduction
By time-fractional diffusion processes, we mean certain diffusion-like phenomena governed by master equations containing fractional derivatives in time whose fundamental solution can be interpreted as a probability density function (pdf) in space evolving in time. It is well known that, for the most elementary diffusion process, the Brownian motion, the master equation, is the standard linear diffusion equation whose fundamental solution is the Gaussian density with a spatial variance growing linearly in time. In such case we speak about normal diffusion, reserving the term anomalous diffusion when the variance grows differently. A number of stochastic models for explaining anomalous diffusion have been introduced in literature; among them we like to quote the fractional Brownian motion; see, for example, [1, 2], the Continuous Time Random Walk; see, for example, [3–6], the Lévy flights; see, for example, [7], the Schneider grey Brownian motion; see [8, 9], and, more generally, random walk models based on evolution equations of single and distributed fractional order in time and/or space; see, for example, [10–18].
In this survey paper we focus our attention on modifications of the standard diffusion equation, where the time can be stretched by a power law (t → tα, 0 < α < 2) and the first-order time derivative can be replaced by a derivative of noninteger order β (0 < β ≤ 1). In these cases of generalized diffusion processes the corresponding fundamental solution still keeps the meaning of a spatial pdf evolving in time and is expressed in terms of a special function of the Wright type that reduces to the Gaussian when β = 1. This transcendental function, nowadays known as M-Wright function, will be shown to play a fundamental role for a general class of self-similar stochastic processes with stationary increments, which provide stochastic models for anomalous diffusion, as recently shown by Mura et al. [19–22].
In Section 2 we provide the reader with the essential notions and notations concerning the integral transforms and fractional calculus, which are necessary in the rest of the paper. In Section 3 we introduce in the complex plane ℂ the series and integral representations of the general Wright function denoted by Wλ,μ(z) and of the two related auxiliary functions Fν(z), Mν(z), which depend on a single parameter. In Section 4 we consider our auxiliary functions in real domain pointing out their main properties involving their integrals and their asymptotic representations. Mostly, we restrict our attention to the second auxiliary function, which we call M-Wright function, when its variable is in ℝ+ or in all of ℝ but extended in symmetric way. We derive a fundamental formula for the absolute moments of this function in ℝ+, which allows us to obtain its Laplace and Fourier transforms. In Section 5 we consider some types of generalized diffusion equations containing time partial derivatives of fractional order and we express their fundamental solutions in terms of the M-Wright functions evolving in time with a given self-similarity law. In Section 6 we stress how the M-Wright function emerges as a natural generalization of the Gaussian probability density for a class of self-similar stochastic processes with stationary increments, depending on two parameters (α, β). These processes are defined in a unique way by requiring the determination of any multipoint probability distribution and include the well-known standard and fractional Brownian motion. We refer to this class as the generalized grey Brownian motion (ggBm), because it generalizes the grey Brownian motion (gBm) introduced by Schneider [8, 9]. Finally, a short concluding discussion is drawn. In Appendix A we derive the fundamental solution of the time-fractional diffusion equation. In Appendix B we outline the relevance of the M-Wright function in time-fractional drift processes entering as subordinators in time-fractional diffusion.
2. Notions and Notations
2.1. Integral Transforms Pairs
In our analysis we will make extensive use of integral transforms of Laplace, Fourier, and Mellin types; so we first introduce our notation for the corresponding transform pairs. We do not point out the conditions of validity and the main rules, since they are given in any textbook on advanced mathematics.
Let
Let
Let
2.2. Essentials of Fractional Calculus with Support in ℝ+
Fractional calculus is the branch of mathematical analysis that deals with pseudodifferential operators that extend the standard notions of integrals and derivatives to any positive noninteger order. The term fractional is kept only for historical reasons. Let us restrict our attention to sufficiently well-behaved functions f(t) with support in ℝ+. Two main approaches exist in the literature of fractional calculus to define the operator of derivative of noninteger order for these functions, referred to Riemann-Liouville and to Caputo. Both approaches are related to the so-called Riemann-Liouville fractional integral defined for any order μ > 0 as
On the other hand, the fractional derivative of order μ > 0 in the Caputo sense is defined as the operator such that ; hence,
Furthermore, recalling the Riemann-Liouville fractional integral and derivative of the power law for t > 0,
Let us finally point out the rules for the Laplace transform with respect to the fractional integral and the two fractional derivatives. These rules are expected to properly generalize the well-known rules for standard integrals and derivatives.
For the Riemann-Liouville fractional integral, we have
For further reading on the theory and applications of fractional calculus, we recommend the recent treatise by Kilbas et al. [28].
3. The Functions of the Wright Type
3.1. The General Wright Function
The Wright function, which we denote by Wλ,μ,(z), is so named in honor of E. Maitland Wright, the eminent British mathematician, who introduced and investigated this function in a series of notes starting from 1933 in the framework of the asymptotic theory of partitions; see [29–31]. The function is defined by the series representation, convergent in the whole z-complex plane
For more details on Wright functions the reader can consult, for example, [34–41] and references therein.
The integral representation of the Wright function reads
3.2. The Auxiliary Functions of the Wright Type
Mainardi, in his first analysis of the time-fractional diffusion equation [42, 43], aware of the Bateman handbook [33], but not yet of the 1940 paper by Wright [32], introduced the two (Wright-type) entire auxiliary functions,
As a matter of fact, functions Fν(z) and Mν(z) are particular cases of the Wright function of the second kind Wλ,μ(z) by setting λ = −ν and μ = 0 or μ = 1, respectively.
Hereafter, we provide the series and integral representations of the two auxiliary functions derived from the general formulas (3.1) and (3.2), respectively.
The series representations for the auxiliary functions read
As an exercise, the reader can directly prove that the radius of convergence of the power series in (3.7)-(3.8) is infinite for 0 < ν < 1 without being aware of Wright′s results, as it was shown independently by Mainardi [42]; see also [27].
Furthermore, we have Fν(0) = 0 and Mν(0) = 1/Γ(1 − ν). We note that relation (3.6) between the two auxiliary functions can be easily deduced from (3.7)-(3.8), by using the basic property of the Gamma function Γ(ζ + 1) = ζ Γ(ζ).
The integral representations for the auxiliary functions read
The equivalence of the series and integral representations is easily proved by using the Hankel formula for the Gamma function and performing a term-by-term integration.
3.3. Special Cases
Explicit expressions of Fν(z) and Mν(z) in terms of known functions are expected for some particular values of ν. Mainardi and Tomirotti [43] have shown that for ν = 1/q, where q ≥ 2 is a positive integer, the auxiliary functions can be expressed as a sum of simpler (q − 1) entire functions. In the particular cases q = 2 and q = 3, we find
Furthermore, it can be proved that M1/q(z) satisfies the differential equation of order q − 1
To stress the relevance of the auxiliary function Mν(z), it was also suggested the special name M-Wright function, a terminology that has been followed in literature to some extent.
Some authors including Podlubny [27], Gorenflo et al. [34, 35], Hanyga [45], Balescu [46], Chechkin et al. [12], Germano et al. [47], and Kiryakova [48, 49] refer to the M-Wright function as the Mainardi function. It was Professor Stanković, during the presentation of the paper by Mainardi and Tomirotti [43] at the Conference of Transform Methods and Special Functions, Sofia 1994, who informed Mainardi, being aware only of the Bateman Handbook [33], that the extension for −1 < λ < 0 had been already made just by Wright himself in 1940 [32], following his previous papers published in the thirties. Mainardi, in the paper [50] devoted to the 80th birthday of Prof. Stanković, used the occasion to renew his personal gratitude to Prof. Stanković for this earlier information that led him to study the original papers by Wright and work also in collaboration on the functions of the Wright type for further applications; see, for example, [34, 35, 51].
Moreover, the analysis of the limiting cases ν = 0 and ν = 1 requires special attention. For ν = 0 we easily recognize from the series representations (3.7)-(3.8)
4. Properties and Plots of the Auxiliary Wright Functions in Real Domain
Let us state some relevant properties of the auxiliary Wright functions, with special attention to the Mν function in view of its role in time-fractional diffusion processes.
4.1. Exponential Laplace Transforms
We start with the Laplace transform pairs involving exponentials in the Laplace domain. These were derived by Mainardi in his earlier analysis of the time-fractional diffusion equation; see, for example, [42, 52],
Hereafter we would like to provide two independent proofs of (4.1) carrying out the inversion of exp (−sν), either by the complex Bromwich integral formula following [42], or by the formal series method following [59]. Similarly we can act for the Laplace transform pair (4.2). For the complex integral approach we deform the Bromwich path Br into the Hankel path Ha, that is equivalent to the original path, and we set σ = sr. Recalling the integral representation (3.9) for the Fν function and (3.6), we get
4.2. Asymptotic Representation for Large Argument
Let us point out the asymptotic behavior of the function Mν(r) when r → ∞. Choosing a variable r/ν rather than r, the computation of the desired asymptotic representation by the saddle-point approximation is straightforward. Mainardi and Tomirotti [43] have obtained
We note that, for ν = 1/2 as (4.5) provides the exact result consistent with (3.12),
4.3. Absolute Moments
From the above considerations we recognize that, for the M-Wright functions, the following rule for absolute moments in ℝ+ holds
4.4. The Laplace Transform of the M-Wright Function
Let the Mittag-Leffler function be defined in the complex plane for any ν ≥ 0 by the following series and integral representation; see, for example, [33, 60]:
We now point out that the M-Wright function is related to the Mittag-Leffler function through the following Laplace transform pair:
4.5. The Fourier Transform of the Symmetric M-Wright Function
The M-Wright function, extended on the negative real axis as an even function, is related to the Mittag-Leffler function through the following Fourier transform pair:
4.6. The Mellin Transform of the M-Wright Function
It is straightforward to derive the Mellin transform of the M-Wright function using result (4.7) for the absolute moments of the M-Wright function. In fact, setting δ = s − 1 in (4.7), by analytic continuation it follows:
4.7. Plots of the Symmetric M-Wright Function
It is instructive to show the plots of the (symmetric) M-Wright function on the real axis for some rational values of the parameter ν. In order to have more insight of the effect of the parameter itself on the behavior close to and far from the origin, we adopt both linear and logarithmic scale for the ordinates.
In Figures 1 and 2 we compare the plots of the Mν(x)-Wright functions in−5 ≤ x ≤ 5 for some rational values of ν in the ranges ν ∈ [0,1/2] and ν ∈ [1/2,1], respectively. In Figure 1 we see the transition from exp (−|x|) for ν = 0 to for ν = 1/2, whereas in Figure 2 we see the transition from to the delta functions δ(x ± 1) for ν = 1. Because of the two symmetrical humps for 1/2 < ν ≤ 1, the Mν function appears bimodal with the characteristic shape of the capital letter M.




In plotting Mν(x) at fixed ν for sufficiently large x, the asymptotic representation (4.5)-(4.6) is useful since, as x increases, the numerical convergence of the series in (3.8) decreases up to being completely inefficient: henceforth, the matching between the series and the asymptotic representation is relevant and followed by Mainardi and associates; see, for example, [38, 51, 53, 68]. However, as ν → 1−, the plotting remains a very difficult task because of the high peak arising around x = ±1. For this we refer the reader to the 1997 paper by Mainardi and Tomirotti [69], where a variant of the saddle point method has been successfully used to properly depict the transition to the delta functions δ(x ± 1) as ν approaches 1. For the numerical point of view we like to highlight the recent paper by Luchko [70], where algorithms are provided for computation of the Wright function on the real axis with prescribed accuracy.
4.8. The 𝕄-Wright Function in Two Variables
In view of the time-fractional diffusion processes that will be considered in the next sections, it is worthwhile to introduce the function in the two variables
Hereafter we provide a list of the main properties of this function, which can be derived from Laplace and Fourier transforms of the corresponding M-Wright function in one variable.
From (4.2) we derive the Laplace transform of 𝕄ν(x, t) with respect to t ∈ ℝ+ as
5. Fractional Diffusion Equations
Let us now consider a variety of diffusion-like equations starting from the standard diffusion equation whose fundamental solutions are expressed in terms of the M-Wright function depending on space and time variables. The two variables, however, turn out to be related through a self-similarity condition.
5.1. The Standard Diffusion Equation
The standard diffusion equation for the field u(x, t) with initial condition u(x, 0) = u0(x) is
In view of future developments, we rewrite the Green function in terms of the M-Wright function by recalling (3.12), that is,
5.2. The Stretched-Time Standard Diffusion Equation
Let us now stretch the time variable in (5.1) by replacing t with tα where 0 < α < 2. We have
5.3. The Time-Fractional Diffusion Equation
In literature there exist two forms of the time-fractional diffusion equation of a single order, one with Riemann-Liouvile derivative and one with Caputo derivative. These forms are equivalent if we refer to the standard initial condition u(x, 0) = u0(x), as shown in [73].
Taking a real number β ∈ (0,1), the time-fractional diffusion equation of order β in the Riemann-Liouville sense reads
5.4. The Stretched Time-Fractional Diffusion Equation
In the fractional diffusion equation (5.13), let us stretch the time variable by replacing t with tα/β where 0 < α < 2 and 0 < β ≤ 1. We have
It is straightforward to note that the evolution equations of this process reduce to those for time-fractional diffusion if α = β < 1, for stretched diffusion if α ≠ 1 and β = 1, and finally for standard diffusion if α = β = 1.
6. Fractional Diffusion Processes with Stationary Increments
We have seen that any Green function associated to the diffusion-like equations considered in the previous section can be interpreted as the time-evolving one-point pdf of certain self-similar stochastic processes. However, in general, it is not possible to define a unique (self-similar) stochastic process because the determination of any multipoint probability distribution is required; see, for example, [22].
In other words, starting from a master equation which describes the dynamic evolution of a probability density function f(x, t), it is always possible to define an equivalence class of stochastic processes with the same marginal density function f(x, t). All these processes provide suitable stochastic representations for the starting equation. It is clear that additional requirements may be stated in order to uniquely select the probabilistic model.
For instance, considering (5.19), the additional requirement of stationary increments, as shown by Mura et al.; see [19–22], can lead to a class {Bα,β(t), t ≥ 0}; called “generalized” grey Brownian motion (ggBm), which, by construction, is made up of self-similar processes with stationary increments and Hurst exponent H = α/2. Thus {Bα,β(t), t ≥ 0} is a special class of H-sssi processes, which provide non-Markovian stochastic models for anomalous diffusion, of both slow type (0 < α < 1) and fast type (1 < α < 2). According to a common terminology, H-sssi stands for H-self-similar-stationary-increments, see for details [2].
The ggBm includes some well known processes, so that it defines an interesting general theoretical framework. The fractional Brownian motion (fBm) appears for β = 1 and is associated with (5.7); the grey Brownian motion (gBm), defined by Schneider [8, 9], corresponds to the choice α = β, with 0 < β < 1, and is associated to (5.13), (5.14), or (5.15); finally, the standard Brownian motion (Bm) is recovered by setting α = β = 1 being associated to (5.1). We should note that only in the particular case of Bm the corresponding process is Markovian.
In Figure 3 we present a diagram that allows to identify the elements of the ggBm class. The top region 1 < α < 2 corresponds to the domain of fast diffusion with long-range dependence. We remind that a self-similar process with stationary increments is said to possess long-range dependence if the autocorrelation function of the increments tends to zero like a power function and such that it does not result integrable, see for details [2]. In this domain the increments of the process Bα,β(t) are positively correlated, so that the trajectories tend to be more regular (persistent). It should be noted that long-range dependence is associated to a non-Markovian process which exhibits long-memory properties. The horizontal line α = 1 corresponds to processes with uncorrelated increments, which model various phenomena of normal diffusion. For α = β = 1 we recover the Gaussian process of the standard Brownian motion. The Gaussian process of the fractional Brownian motion is identified by the vertical line β = 1. The bottom region 0 < α < 1 corresponds to the domain of slow diffusion. The increments of the corresponding process Bα,β(t) turn out to be negatively correlated and this implies that the trajectories are strongly irregular (antipersistent motion); the increments form a stationary process which does not exhibit long-range dependence. Finally, the diagonal line (α = β) represents the Schneider grey Brownian motion (gBm).

Here we want to define the ggBm by making use of the Kolmogorov extension theorem and the properties of the M-Wright function. According to Mura and Pagnini [21], the generalized grey Brownian motion Bα,β(t) is a stochastic process defined in a certain probability space such that its finite-dimensional distributions are given by
Using (4.23), for n = 1, (6.1) reduces to
By the definition used above, it is clear that, fixed β, Bα,β(t) is characterized only by its covariance structure, as shown by Mura et al. [20, 21]. In other words, the ggBm, which is not Gaussian in general, is an example of a process defined only through its first and second moments, which indeed is a remarkable property of Gaussian processes. Consequently, the ggBm appears to be a direct generalization of Gaussian processes, in the same way as the M-Wright function is a generalization of the Gaussian function.
7. Concluding Discussion
In this review paper we have surveyed a quite general approach to derive models for anomalous diffusion based on a family of time-fractional diffusion equations depending on two parameters: α ∈ (0,2), β ∈ (0,1].
The unifying topic of this analysis is the so-called M-Wright function by which the fundamental solutions of these equations are expressed. Such function is shown to exhibit fundamental analytical properties that were properly used in recent papers for characterizing and simulating a general class of self-similar stochastic processes with stationary increments including fractional Brownian motion and grey Brownian motion.
In this respect, the M-Wright function emerges to be a natural generalization of the Gaussian density to model diffusion processes, covering both slow and fast anomalous diffusion and including non-Markovian property. In particular, it turns out to be the main function for the special H-sssi class of stochastic processes (which are self-similar with stationary increments) governed by a master equation of fractional type.
Acknowledgments
This work has been carried out in the framework of the research project Fractional Calculus Modelling (http://www.fracalmo.org/). The authors are grateful to V. Kiryakova, R. Gorenflo and the anonymous referees for useful comments.
Appendices
A. The Fundamental Solution of the Time-Fractional Diffusion Equation
The fundamental solution 𝒢β(x, t) for the time-fractional diffusion equation can be obtained by applying in sequence the Fourier and Laplace transforms to any form chosen among (5.13)–(5.15) with the initial condition 𝒢β(x, 0+) = u0(x) = δ(x). Let us devote our attention to the integral form (5.15) using nondimensional variables by setting Kβ = 1 and adopting the notation for the fractional integral (2.10). Then, our Cauchy problem reads
- (S1)
Invert the Fourier transform getting and then invert the remaining Laplace transform.
- (S2)
Invert the Laplace transform getting and then invert the remaining Fourier transform.
Strategy (S1) Recalling the Fourier transform pair
Strategy (S2) Recalling the Laplace transform pair
B. The Fundamental Solution of the Time-Fractional Drift Equation
Let us finally note that the M-Wright function does appear also in the fundamental solution of the time-fractional drift equation. Writing this equation in nondimensional form and adopting the Caputo derivative, we have
In the Fourier-Laplace domain, after applying formula (2.19) for the Laplace transform of the Caputo fractional derivative and observing ; see, for example, [76], we get
- (S1)
Invert the Fourier transform getting and then invert the remaining Laplace transform.
- (S2)
Invert the Laplace transform getting and then invert the remaining Fourier transform.
Strategy (S1) Recalling the Fourier transform pair
Strategy (S2) Recalling the Laplace transform pair
To conclude this Appendix, let us briefly discuss the above results in view of their relevance in fractional diffusion processes following the recent paper by Gorenflo and Mainardi [77]. Equation (B.1) describes the evolving sojourn probability density of the positively oriented time-fractional drift process of a particle, starting in the origin at the instant zero. It has been derived in [77] as a properly scaled limit for the evolution of the counting number of the Mittag-Leffler renewal process (the fractional Poisson process). It can be given in several forms, and often it is cited as the subordinator (producing the operational time from the physical time) for space-time-fractional diffusion as in the form (B.9). For more details see [3], where simulations of space-time-fractional diffusion processes have been considered as composed by time-fractional and space-fractional diffusion processes.
This analysis can be compared to that described with a different language in papers by Meerschaert et al. [4, 78]. Recently, a more exhaustive analysis has been given by Gorenflo [79].