1. Introduction
During the last three decades a vast interest in fractional calculus has emerged due to its success to describe so called ‘anomalous phenomena’ such as anomalous transport and diffusion [
1,
2,
3,
4,
5,
6,
7], anomalous relaxation in dielectrics [
8], creep models [
9], and various complex phenomena [
10], just to quote a few examples. Many of these models can be traced back to the Montroll-Weiss picture of continuous-time random walk (CTRW) [
11]. Whereas classical CTRW models are random walks subordinated to an independent Poisson process, their fractional generalizations lead to fat-tailed waiting-time Mittag-Leffler type densities with non-Markovian long memory behavior governed by evolution equations of fractional or generalized fractional types [
1,
4,
6,
12,
13]. For fundamental discussions on fractional calculus we invite the reader to consult the references [
14,
15,
16,
17]. In the meantime, several generalizations of fractional calculus have been proposed. One of the most pertinent generalizations seems to be the so called Prabhakar generalization [
18,
19,
20]. This generalization involves the Prabhakar function in place of the Mittag-Leffler function and was first introduced by Prabhakar [
21]. In the context of continuous-time renewal processes a Prabhakar generalization of the fractional Poisson process was introduced by Cahoy and Polito [
22], applied to stochastic motions on undirected graphs by Michelitsch and Riascos [
23,
24,
25], and discrete-time versions were developed in our recent paper [
26]. The present paper is mainly concerned with space-time generalizations of the Poisson process which can be traced back to special kinds of biased walks, namely
strictly increasing walks on the integer line
subordinated to independent renewal processes. Such processes turn out to be governed by Cauchy problems with space-time difference-differential equations of general fractional type (generalized Kolmogorov-Feller or Kolmogorov-forward equation),
for the state probabilities
(
) of the process. The state probabilities
,
,
indicate the probabilities to find a walker (with the indicated initial condition) at time
t in state
in a strictly increasing walk
with IID strictly positive integer jumps
, where
denotes the number of arrivals up to time
t in a renewal process independent of the jumps
. The state probability distribution is normalized on the state space
. On the left-hand side of (
1),
stands for a general fractional derivative which is related to the mentioned renewal process (see [
27] for an outline of the framework of general fractional calculus).
indicates the backward shift operator where shift operators
(
) act on the
state space such that
(we denote with 1 the unity operator
). The ‘Laplacian operator function’
represents the
generator of the process. The stochastic process governed by Cauchy problem (
1) is a space-time generalization of the Poisson process. Indeed for
(with
) and
, Equation (
1) recovers the classical
Kolmogorov-Feller (forward) equation of the homogeneous Poisson process. One of the goals of the present paper is to elaborate a general approach to construct non-trivial generalizations by means of “good Laplacian operator functions”
.
We will show that under suitable “well-scaled” continuous-space limit conditions from the integer-state space to a continuous one (i.e., from
to
) the discrete Cauchy problem (
1) turns into a Cauchy problem with a diffusion equation of the following general structure:
This equation only allows jumps into the positive x-direction, i.e., ‘strictly increasing’ walks. The convolution on the right-hand side describes incoming jumps from to state x whereas the term accounts for outgoing jumps from x to . Here stands for the ‘state density’, indicates the transition density kernel and the Dirac’s -distribution.
A further aim of the present paper is to highlight connections of these models with a certain class of biased random walks on directed graphs. This aim is especially motivated by the huge upswing of network science which has become nowadays an immense interdisciplinary field [
28,
29] last but not least driven by rapidly developing applications in online (social) networks and search engines. There is already a vast amount of specialized literature on various aspects of the subject, see, e.g., [
28,
30,
31,
32,
33]. For instance, models have been developed to describe Lévy flight dynamics and random walks with long-range jumps on undirected graphs [
34,
35], random walks with stochastic resetting on graphs [
36] and models for long-range mobility in cities [
37], among many others.
The present paper is organized as follows. In
Section 2 we recall some basic properties of biased walks on
directed networks. We focus on ergodic (strongly connected) finite directed graphs and the features of their Laplacian and transition matrices. Having recalled these basic features, we define in
Section 3 necessary and sufficient “good Laplacian properties” that a physically admissible ‘good Laplacian matrix’ must fulfill. Starting with a good Laplacian matrix allowing only ‘local’ transitions to next neighbor nodes we use these Laplacian properties to construct non-trivial good Laplacian functions (i.e., those that conserve the “good Laplacian properties”). They will constitute the family of admissible generators
on the right-hand side of (
1). It turns out that the family of good Laplacian functions refers to a certain class of Bernstein functions. For undirected graphs this approach was developed recently [
34,
38] and has also been extended to a class of biased walks [
39].
In
Section 4 we recall, within this picture, a class of biased walks on the integer line allowing solely strictly positive integer jumps generated by the fractional Laplacian matrix of a directed line. This leads to the
Sibuya walk, which is characterized by a fat-tailed jump distribution, as a proto-typical example of a discrete approximation of the stable subordinator (see, e.g., [
13,
40,
41]).
Section 5 is devoted to explore, by means of this approach, space-time generalizations of the Poisson process leading to Cauchy problems of the general structure (
1) involving “good Laplacian matrix functions” of
Section 3. Within this framework, we also discuss classical cases such as the
space-fractional Poisson process and the
space-time fractional Poisson process, introduced by Orsingher and Polito [
42].
In the main part of this paper,
Section 6, we apply this approach to construct the “
space-time Mittag-Leffler process” as a pertinent generalization of the Poisson process governed by an evolution equation of general type (
1). This process is a strictly increasing walk on the integer line with (discrete) Mittag-Leffler jumps separated by the Mittag-Leffler waiting times of the fractional Poisson process. We derive explicitly the state probabilities and the
‘well-scaled’ continuous-space limit (diffusion limit) of this process. We obtain a biased (forward) diffusion equation of general space-time fractional type referring to the class (
2), which is solved by the continuous-space limit density kernel of the state-probabilities. This kernel is derived in explicit form involving so called Prabhakar kernels. In this way, we show connections with Prabhakar general fractional calculus. We also highlight the equivalence with the Montroll-Weiss CTRW picture.
Finally, as a byproduct, we construct in
Section 7 the space-fractional generalization of the space-time Mittag-Leffler process and derive the Cauchy problem governing the state probabilities. The latter as well as its diffusion limit are derived in explicit forms where again Prabhakar kernels and general fractional calculus come into play.
2. Biased Walks on Directed Graphs
In this section we recall some basic notions and properties of biased walks taking place on directed graphs (also referred to as digraphs). We consider first a finite directed graph consisting of
N nodes (states) which we denote by
. In a directed graph the edges between nodes have in general direction so that a path may exist allowing the walk
but the return path
does not necessarily exist. If for all pairs of nodes finite paths (and hence return paths) via directed edges exist, then the digraph is said to be
strongly connected and equivalently
ergodic (see, e.g., [
39,
43]). In order to define random walks on digraphs we introduce the
Laplacian matrix
containing this topological information. The Laplacian matrix has the elements [
39]
where we use the synonymous notation
for the Kronecker symbol. Matrix (
3) is a generalization of the Laplacian matrix for binary undirected networks [
28,
32,
33] to include the possibility of weights in the connections and asymmetry in the flow along the edges. For these particular connections we have
where we assume
is a non-negative matrix. Further, by construction we assume
. In (
3) is present the so called
out-degree defined by [
39]
constituting a measure of the number of nodes which can be reached in a single jump from node
i. The out-degree is assumed to be
strictly positive meaning that we do not allow isolated (disconnected) nodes. Then, we introduce the
one-step transition matrix [
28,
29,
34]
denoting the probability of the transition
in one jump. Per construction (
5) is row-stochastic, i.e.,
with
and the transition matrix is such that
, i.e., in each jump the walker has to move to a different node. For our convenience and as an equivalent description we introduce here the (non-symmetric) auxiliary Laplacian matrix
having normalized degrees
. We notice that dynamical processes in directed networks have a greater variety than in the undirected case. Since the Laplacian matrices (
3) and (
6) are not symmetric they have in general complex eigenvalues which are considered more closely in the subsequent
Section 3. We can now define a discrete-time Markov chain (Markovian random walk) on this graph governed by the simple master equation (e.g., [
29,
34])
We assume here that the walker at
is sitting on the departure node
i. In the ‘
t-step transition matrix’ the element
indicates the probability of the transition
in
t jumps. Note that for digraphs
is not symmetric and for the initial condition
we have
An important property of walks on
strongly connected digraphs is (aperiodic)
ergodicity. A Markov chain (
8) is said to be
ergodic if it exists
such that
is
strictly positive, i.e., for each pair of nodes
there is at least one connecting path (and return path) not longer than
jumps via directed connecting edges. For a discussion of some aspects of ergodicity of biased walks in digraphs we refer to [
39] (and see also the references therein).
For later use we consider a Montroll-Weiss CTRW where a biased walk with transition matrix (
5) is subordinated to a counting process with state-probabilities
. Then the transition matrix (
8) with the elements
, indicating the probability to find the walker at time
t on node
j (with the given initial condition
), is generalized by the Cox series [
44]
We notice that the discrete-time Markov chain (
8) indeed is a special case of (
10) when we account for a homogeneous event stream with state probabilities
, where
is the Heaviside step function which is such that
for
and
for
(in particular
). Indeed (
10) boils down to
and recovers then (
8) as
for
and
otherwise.
3. Biased Walks with Long-Range Jumps
One goal of this paper is to introduce new types of biased walks with special emphasis on strictly increasing walks with long-range jumps together with a systematic method for their construction. To this end, we consider a strongly connected (ergodic) digraph with a Laplacian matrix
defined in (
3) characterizing its topology. Now we seek “good” Laplacian matrix functions
defining new topologies such that the following “good Laplacian properties’‘ are retained [
34,
38,
39]:
- (i)
(i.e., the Laplacian matrix has a unique eigenvalue and a right eigenvector with constant (real) components ). This condition ensures that in a strongly connected graph the transition matrix has the unique real eigenvalue of largest absolute value (reflecting the existence of a unique stationary distribution).
- (ii)
() tells us that each node has neighboring nodes, i.e., there are no isolated nodes.
- (iii)
for , i.e., the off-diagonal elements are all non-positive.
Clearly, the conditions (i)–(iii) maintain stochasticity of the transition matrix (
5) and hence of (
10).
We notice that the auxiliary Laplacian (
6) fulfills conditions (i)–(iii) with uniform normalized degree
. Without loss of generality it is now more convenient to work with the auxiliary Laplacian (
6) instead of the Laplacian matrix (
3). We will prove subsequently that new non-trivial “good” Laplacian matrices retaining (i)–(iii) are obtained by the class of matrix functions [
34,
38,
39]
containing as argument the auxiliary Laplacian matrix
(
6) and where
denotes the unity matrix. In the above integral,
indicates a
Lévy measure for which (see e.g., [
27])
ensuring convergence of (
11). Let us consider for a moment a scalar version
(
) of (
11). Then, we can define a special class of Bernstein functions by the Lévy-Khintchine representation
which fulfills
. This property preserves the zero eigenvalue in the matrix function (
11). In subsequent applications we consider Lévy measures
with non-negative
Lévy densities . The Laplacian Bernstein function (
13) in some part of the literature is also called Laplace exponent [
45]. Generally, a non-negative function
(
) defined on
is said to be a
Bernstein function if it fulfills
(
) and hence has the representation [
27]
We consider Laplacian functions
(
13) referring to the class of Bernstein functions with
, i.e.,
. The condition
is necessary to have
for the sake of condition (i). The combination
,
gives an admissible Laplacian function fulfilling (i)–(iii). However, it adds a ‘trivial’ contribution of the original Laplacian matrix
. Therefore, we consider here only non-trivial matrix functions (
13) with also
. We notice that the derivative
is a completely monotonic function, i.e.,
with
for
and
. For theorems and a profound analysis of Bernstein and completely monotonic functions and related subjects, see [
46,
47]. We now prove that (
11) retains the properties (i)–(iii). For a proof in undirected networks with symmetric Laplacian matrices, see [
34,
38] and for the fractional Laplacian matrix function on digraphs consult [
39]. We introduce a constant
such that the matrix
has uniquely
non-negative matrix elements, namely
. Then, for
ergodic (i.e., strongly connected) digraphs it exists a
such that all elements of the integer matrix power
are
strictly positive. Condition (
16) can be used as an equivalent definition of ergodicity of a digraph. One can further infer that if such a finite
exists, then ergodic digraphs must have a finite number
N of states (the same holds also for undirected graphs [
34]). Then, clearly the matrix exponential
is strictly positive (we call a matrix ‘
(strictly) positive’ if it has solely positive entries), as there are infinitely many uniquely positive matrices
contained in this series (namely those for
). Since
is commuting with any matrix
we have
thus
. Now, since
the matrix exponential
for an ergodic digraph is indeed strictly positive:
On the other hand, because of condition (i) we have row-stochasticity
As a consequence of eigenvalue zero of
this relation follows from
. Then since all matrix elements (
18) are positive and row-normalized we have that
Hence, it follows that
thus the Bernstein matrix function
(
) retains the conditions (i)–(iii) of a good Laplacian matrix. By similar considerations for non-ergodic digraphs one can show that the matrix exponential contains zero valued blocks of non-diagonal elements (where zero entries indicate the pairs of nodes where no finite directed paths exist). However, conditions (i)–(iii) in the Bernstein matrix function (
11) still are retained [
39].
Conditions (i)–(iii) remain also retained by the integration in (
11) with a (non-negative) Lévy measure
if the integral converges. This is definitely the case by virtue of (
12) and
if and only if the eigenvalues of the auxiliary Laplacian have solely non-negative real parts . This indeed is true as we show by the following brief proof.
Denoting the eigenvalues of the auxiliary Laplacian (
6) by
with
and the eigenvalues of the one-step transition matrix (
5) by
we have
where
(thus
which is the unique so called Perron-Frobenius eigenvalue [
48]). Then, we have that
remaining row-stochastic (corresponding to
) which contradicts the existence of an exploding eigenvalue
. We can hence infer that for the complete set of complex eigenvalues it holds
and with
we have that
We notice that in this proof we neither needed ergodicity nor that the digraph is finite, thus it also includes strictly increasing walks on the infinite integer line (see (
43)).
This concludes our proof that the Lévy-Khintchine representation (
11) indeed also converges for digraphs and is useful to construct good Laplacian matrix functions to define new biased walks with the one-step transition matrix
It follows from the above considerations (see especially (
18)–(
20) with (
11)) for
ergodic digraphs that all off-diagonal elements of (
24) are strictly positive
(
) allowing the walker to reach any node in a single jump introducing new fully connected topologies. In non-ergodic digraphs some off-diagonal elements take values null due to the absence of finite directed paths [
39]. We also notice that as
is not symmetric and in some cases non-diagonisable having Jordan canonic forms [
49] where our proof remains valid also for these cases.
4. Circulant Transition Matrices and Strictly Increasing Walks
In this section we consider the class of biased walks on the integer line with IID strictly positive integer increments (‘jumps’)
. Such a walk is defined by
The random walk (
25) is a discrete counterpart to a strict subordinator [
41]. There is a path
only if
but then no return path
. Therefore in contrast to the walks on strongly connected (finite) digraphs, the walk (
25) is not ergodic. As an example let us recall the Sibuya walk. The Sibuya distribution has generating function [
41]
In a Sibuya walk, the jumps
in (
25) follow the Sibuya distribution (also known under the name
Sibuya(α)) which is defined for
as
with
(crucial for the occurrence of strictly positive jumps
) and
for all
. In the limit
the ‘trivial’ distribution
is recovered (not called Sibuya) where the walker makes unit jumps
to its right-sided neighbor node almost surely. For later use we also mention the important property that Sibuya(
) is fat-tailed, namely for
k large by using
we have the asymptotic behavior
For the following analysis it will be convenient to utilize the connection of generating functions and the shift operators. For a detailed outline we refer to our recent article [
26] and see also
Appendix A.
Let us introduce the shift operator
(
) which is such that
and consider its
circulant matrix representation
and hence
. This circulant structure remains true for all matrices of operator functions of shift operators. All matrices
(we also write
) we are dealing with in the context of increasing walks (
25) are characterized by the properties
We call a matrix “
upper triangular circulant” if it fulfills (
30), i.e., all elements below the main diagonal are strictly null. The Sibuya transition matrix (
33) is a proto-typical example for such an upper triangular circulant matrix.
We introduce the generating function of an upper triangular circulant matrix (
30) as follows
thus only non-negative powers
(
) are contained in
. Then we observe the important property which holds for
upper triangular circulant matrices
connecting matrix multiplication and discrete (commuting) convolutions (See also [
26]).
The operator that emerges when replacing in (
26)
u with
is hence the upper triangular circulant
one-step transition matrix of the Sibuya walk [
39], namely
where
. We used the following properties of the (unitary) shift operator with
and (
29) thus
is for
upper triangular circulant with entries 1 in the
kth upper side-diagonal (
), and 0 elsewhere. Formula (
33) contains the upper triangular circulant fractional Laplacian matrix
which has the elements
For
the Laplacian matrix (from now on we refer the auxiliary Laplacian
to as Laplacian matrix)
is recovered. It follows from Equation (
31) that the generating function of Laplacian (
36) yields
. Thus the generating function of the fractional Laplacian matrix (
35) takes the form
. The generating function of fractional Sibuya transition matrix (
33) per construction recovers the generating function (
26) of Sibuya(
).
Further instructive for subsequent use is to consider the matrix elements of the matrix exponential of the Laplacian (
36) which we conveniently obtain from its generating function in the form
This matrix exponential is upper triangular circulant with a
Poisson distribution in the non-vanishing entries. We directly verify in this representation the general properties (
18)–(
20) of Laplacian matrix exponentials in digraphs. This relation underlines the utmost importance of the Poisson distribution in strictly increasing walks.
These observations suggest that generating functions of good Laplacian matrix functions
of strictly increasing walks on the integer line such as occurring on right-hand side of (
1) are with (
11) obtained as
where clearly
has
upper triangular circulant matrix representation. For instance for the Lévy measure
integral (
38) converges within
and yields generating function
of the Sibuya fractional Laplacian matrix (
35). The generating function of the one-step transition matrix then becomes with (
38) and (
24)
with the ‘generalized degree’
. The elements of the transition matrix are then straight-forwardly obtained as
The matrix elements are traced back to Poisson terms weighted by the Lévy measure resulting in strictly positive for and else introducing new topologies with directed edges allowing jumps of any positive integer size .
For the class of Lévy measures
with densities
which fulfill
, i.e., having existing Laplace transforms
we have
thus the generating function (
39) of the transition matrix writes
Due to the restriction of convergence of (
41) we notice that relation (
39) is more general than (
42).
After these considerations let us verify the crucial property (
23) when we account for the (in our convention left-) eigenvectors of the unitary shift operator
(
) with
. Hence the continuous complex eigenvalue spectrum of the Laplacian matrix (
36) is
with
and
for
(
) in accordance with (
23) (here
is unitary with
thus for all eigenvalues holds
). Hence (
11) converges and has the canonical representation
where the eigenvalues of the Laplacian matrix function write with (
11)
which is convergent since
(
). Expanding
leads to
Thus we get for the family of “good Laplacian matrix functions” as generators for strictly increasing walks the upper triangular circulant structure
which clearly fulfills the “good Laplacian properties” (i)–(iii) and is consistent with relation (
40). The convergence of these integrals is ensured by the property (
12) of the Lévy measure.
Mittag-Leffler Transition Matrix
For later use we derive now in the framework of this approach the one-step transition matrix of a strictly increasing walk on the integer line with jumps following a discrete approximation of the Mittag-Leffler density. Such a distribution was analyzed in [
50] and generalizations in recent articles [
26,
41]. To this end we consider a Lévy measure
with Lévy density
which itself is a Mittag-Leffler density and has Laplace transform
(
,
). Then we get from the Lévy-Khintchine representation (
38) the Laplacian generating function
Thus with (
39) the generating function of the “
Mittag-Leffler transition matrix” yields
This is the generating function of a discrete approximation of the
Mittag-Leffler density introduced recently [
41] in the context of discrete-time renewal processes and named there “Discrete Mittag-Leffler” (
) distribution (of so called “type A”, see Remark 9 in that paper). The elements of the
Mittag-Leffler transition matrix are derived explicitly in relation (
54).
It can be seen beforehand that (
49) generates a discrete approximation of the Mittag-Leffler density by the following consideration. By introducing the scaling
(
where
is a new positive constant independent of
h) and with
shows that the generating function (
49) converges to the Laplace transform of a Mittag-Leffler density, namely
where with
we denote the (spatial) Laplace transform of
. It is instructive to recall this limit in terms of shift operator representation (See
Appendix A and [
26] for details)
which has Laplace transform converging to (
50) and contains the
discrete δ-distribution defined in (
A3). Relation (
51) defines the “well-scaled” continuous-space limit density kernel (‘transition density kernel’) and converges to the Mittag-Leffler density (
60). In the second line of (
51) appears the (Riemann-Liouville) fractional derivative operator
of order
as
(with
).
Now we derive the matrix elements of the Mittag-Leffler transition matrix in explicit form. For our convenience and later use we introduce the Pochhammer-symbol
where especially
and
. Then we have with (
49) the expansions
In order to determine the elements of the
Mittag-Leffler transition matrix (since all matrices commute here, we adopt the notation
) we have to account for the cases of convergence in (
53) at
to arrive at
where these series converge absolutely by accounting for the asymptotic behavior of the terms for
m large as
for
, and in the same way
for
, respectively. We also have
.
It is worthy also to consider the case
where (
49) takes the form
and hence we obtain for
the transition matrix
which recovers the
geometrical distribution (See also [
41]). By using the explicit formula (
54) for the Mittag-Leffler transition matrix, it is now not a big deal to perform explicitly the “well-scaled” continuous-space limit (
51). Accounting for the asymptotic relation
(
), and by introducing the scaling
which is covered in relation (
54) by the case
, we arrive at
We employ here the Pochhammer symbol (
52) and we account for
with
. The second term in (
57) has a vanishing limit
We hence obtain for the well-scaled continuous-space limit (
57) as anticipated the Mittag-Leffler density
containing the generalized Mittag-Leffler function
. For
(
60) recovers the exponential density
which also is the continuous-space limit of (
56) obtained with
and
thus
6. Space-Time Mittag-Leffler Process
Having recalled these classical cases, we introduce here a generalization of the Poisson process which is a strictly increasing walk on the integer line with
Mittag-Leffler jumps taking place at independent fractional Poisson arrival times. We also highlight the connections with the Montroll-Weiss CTRW picture in more details. We call this process ‘
space-time Mittag-Leffler process’ which we define by a Cauchy problem of the general type (
1), namely
The right-hand side contains the good Laplacian matrix function
of (
48) (with generalized degree
) and generates discrete Mittag-Leffler jumps with transition matrix (
54). The last line indicates the matrix representation and uses the upper triangular circulant property of
(see (
30)) and
stands for the
Caputo fractional derivative (
65). The generating function representation of Cauchy problem (
77) then writes
For the solution of (
77) we can write
with the generating function of the state-probabilities
involving the standard Mittag-Leffler function
. In the Poisson limit
due to
the Mittag-Leffler functions in all relations recover exponentials and the Caputo derivative recovers the standard first order time-derivative. We observe that
reflecting normalization of the state probabilities. Expression (
80) contains
and plainly
where
stands for the Pochhammer-symbol (
52).
is the generating function of a discrete version of a so called Prabhakar kernel [
21,
26,
60]. We will show this connection explicitly in subsequent analysis of well-scaled continuous-space limits. The state-probabilities solving (
77) are then with (
80) and (
81), (
82) obtained as
Since we take the derivatives at
we need to account for that (
81) converges at
for
, whereas (
82) converges at
for
. We hence arrive at
One can easily verify in view of the asymptotic scaling
and
for
that the series (
84) for the two cases converge absolutely. We directly verify the initial condition
. For
we have
thus the ‘survival probability’ (probability that the walker at time
t still is in the initial state
) is Mittag-Leffler, namely
which is necessarily the survival probability in the fractional Poisson process. We notice that for
the space-time Mittag-Leffler process is non-Markovian with long memory features, whereas for
it becomes Markovian due to the memoryless nature of the standard Poisson process, e.g., [
7,
52].
In
Figure 1 the time-dependence of the state probabilities (
83) for
is depicted for different values of
, respectively. The survival probability
is independent of
and given by the Mittag-Leffler survival probability (
85) which turns for
into an exponential (see the plots on the left) with initial conditions
whereas for
the zero initial conditions can be seen in the plots. For large dimensionless times
we have for
a power-law decay
(see asymptotic relation (
90)).
6.1. Asymptotic Behavior
It is worthwhile to consider the asymptotic behavior for
n large and finite (dimensionless) times
. To this end consider generating function for
for
, namely
where
indicates higher orders such that
. We notice in view of (
86) that this asymptotic behavior is for
of the same fat-tailed type as for the state probabilities (
72) of the space-time fractional Poisson process and also as Sibuya(
), namely
where
and
. The fat-tailed behavior
reflects the occurrence of long-range forward jumps and is equivalent to the divergence of the first moment, namely
for
. The asymptotic form (
87) also contains the ‘well-scaled’ continuous-space limit (
:
and
), namely
The “well-scaled” continuous-space limiting procedure will be justified in subsequent paragraph in more details.
is a new constant (independent of
h) and has units
. The constant
has physical dimension
thus (
88) is a spatial density of units
.
Then let us also consider the asymptotic behavior for large (dimensionless) time
and finite
n. From the asymptotic behavior of the scalar Mittag-Leffler function
with
follows for the asymptotic behavior of the generating function (
80)
and hence for the state probabilities
where for
the pure Mittag-Leffler asymptotic behavior of the survival probability (
85)
is obtained. We also get the asymptotic behavior in view of (
89) for the well-scaled continuous-space limit by (
:
and
) for large dimensionless times and finite continuous state variable
where the asymptotic
-power-law decay reflects the non-Markovian long memory feature of the process.
6.2. Well-Scaled Continuous-Space Limit
Having derived the state probabilities (
83) solving Cauchy problem (
77), we are now interested in the well-scaled continuous-space limit density solving a (forward) diffusion equation which turns out to refer to the general class (
2). We can define this diffusion limit by the scaling assumption
where
is independent of
h. Here the constant
does not need to be rescaled in order to obtain an existing limit. We define the ‘well-scaled’ continuous-space limit state density kernel by
where we employed the discrete-
distribution
defined in (
A3) and its limiting behavior (
A4) and in this limiting process
.
indicates the Riemann-Liouville fractional integral operator of order
. By taking into account (
83) we get
where we use the asymptotic relation
. We have to consider in (
84) the case
as
to evaluate the continuous-space limit
and for
we have
. In the last line we have used the property of the Heaviside step function
and it comes into play the so called
Prabhakar function which is a generalization of the Mittag-Leffler function introduced by Prabhakar [
21] as
We used in the deduction (
94) that
where
(see also
Appendix A, Equation (
A3)). The continuous-space limit expression (
94) can be identified with a so called
Prabhakar kernel . The Prabhakar kernel
was introduced by Giusti [
60] (where we use here his definition) as the kernel with Laplace transform
. It follows that (
84) indeed is a discrete approximation of Prabhakar kernel (
94). With (
94) and (
93) we obtain for the
state density kernel
which has units
. We directly verify the initial condition
.
The time-dependence of the state density kernel (
96) is plotted in
Figure 2 for the Poisson limit
for two different values of
. Increasing values of the state variable
x are indicated by colors turning from red (small
) to blue (large
x). We observe that for larger
in the lower plot the state density exhibits increasingly oscillating behavior for increasing values of
x. We will come back to this issue subsequently when we discuss the emerging continuous-space limit diffusion equation governing the time-evolution of the state density.
It is now only a small step to derive the continuous-space forward diffusion equation of generalized fractional type which is solved by the state density kernel (
96). To this end we deduce the convolution kernel of continuous-space limit of the right-hand side in (
77), by the well-scaled limit (see also relations (
48) and (
39))
We call this kernel ‘
Laplacian density’. This result also is obtained by taking into account its spatial Laplace transform
(obtained from the scaling limit of the first line in (
98)). We notice that the Laplacian density still maintains the ‘distributional versions’ of the good Laplacian properties (i)–(iii): We have
corresponding to (i),
for
(condition (iii)), and
corresponds to (ii). In the last line of (
98) we account for the Mittag-Leffler transition density kernel
(
60) occurring as continuous-space limit of the Mittag-Leffler matrix (
54). The continuous-space-time Cauchy problem then writes
where in the second line it is used that
which yields the (weakly singular and hence integrable) Mittag-Leffler density, and where
is the Prabhakar integral acting on the space variable
x (see [
21]). The integration limits reflect the upper triangular circulant property of the Laplacian matrix function
with
for
(See also the last line of (
77)). Equation (
99) is the well-scaled continuous-space limit of (
77) and a
generalized Kolmogorov-Feller (forward) diffusion limit equation of general type (
2) solved by the state density kernel (
96).
Equation (
99) has the following physical interpretation: The Mittag-Leffler convolution on the right-hand side is the contribution to
by
incoming jumps to x which originate from all states
with
. The term
describes the “loss” due to
outgoing jumps from x by long-range Mittag-Leffler jumps into the infinite half space
.
Coming back to
Figure 2: In view of the structure of Equation (
99), the emergence of oscillating behavior in the time dependence of the state density, especially visible in the lower plot of this figure, is resulting from the complex interplay of incoming and outgoing jumps to and from a state
x where we give a rough qualitative interpretation: For
t and
x both ‘small’, the incoming jumps at
x are ‘mainly’ originating from the initial
-peak
where their accumulation giving rise to the first maximum which decays in time by outgoing jumps and the lack of incoming jumps. This effect becomes the more evanescent the larger
x due to dispersion effects caused by jumps of any length drawn from the fat-tailed Mittag-Leffler density. This dispersive behavior is strongly contrasted by the stable dispersion free propagation of the
-distribution state density in the standard Poisson process (see relation (
73)).
It appears worthy also to consider briefly the connection with the Montroll-Weiss CTRW picture [
11]. In this picture the Cauchy problem (
77) is equivalent to a strictly increasing walk on the integer line with discrete Mittag-Leffler jumps according to the one-step transition matrix (
54) subordinated to a fractional Poisson process with Mittag-Leffler waiting time density (having time-Laplace transform
). The generating function of the time-Laplace transform of the Cox series (
10) then yields the Montroll-Weiss equation
where
is the Laplacian generating function (
48) and
the generating function of the Mittag-Leffler transition matrix (
49). We identify (
100) indeed with the time-Laplace transform of the Mittag-Leffler generating function (
80) of the state-probabilities. It is then straight-forward to see that (
100) is equivalent to (
78) by rewriting Montroll-Weiss relation (
100) in the form
Inverting the time-Laplace transform on the left hand side yields the Caputo-derivative thus the causal time-domain representation of (
101) indeed coincides with the generating function representation of the Cauchy problem (
78). This concludes our proof of equivalence of the space-time Mittag-Leffler process with a Montroll-Weiss CTRW of a strictly increasing walk with discrete Mittag-Leffler jumps (
54) subordinated to a fractional Poisson process.
7. Generalized Space-Time Mittag-Leffler Process
Finally quasi as a byproduct we consider the space-fractional generalization of the space-time Mittag-Leffler process. Let
be good Laplacian matrix functions constructed by Lévy measures
with (
38). Then a good Laplacian matrix function is obtained also by the chain
. With the choice
and
where
is Laplacian matrix (
36), we get (
)
This integral converges for
thus the fractional power
in this range is a good Laplacian Bernstein matrix function retaining the Laplacian properties (i)–(iii). The Cauchy problem governing the state probabilities then reads
with the generating function of the state probabilities
We hence get for the state-probabilities
with the cases (See also (
84))
where these series converge absolutely in view of the asymptotic behavior of the terms for large
s, namely
(
) and
(
).
is a discrete approximation of a Prabhakar kernel. The well-scaled continuous-time limit is now straight-forwardly obtained with
in the first line of (
106) with
and yields the state density
with the Prabhakar kernel
obtained as (see (
94))
Then we further get for the Laplacian density in the same way as in (
98) the kernel
with
. The transition density kernel hence yields
recovering for
the Mittag-Leffler density. It is easily verified that the transition kernel is normalized
. The diffusion-limit Cauchy problem which again is of general type (
2) then reads
and is solved by the state density kernel (
107). For
all expressions turn into those previously derived for the space-time Mittag-Leffler process.
The fractional generalization of the space-time Mittag-Leffler process shows that the analysis of processes generated by chains of Bernstein matrix functions which again are of the class of Bernstein functions retaining the good Laplacian properties may open an interesting direction to be further explored.
8. Conclusions
In this paper, we have analyzed space-time generalizations of the Poisson process defined by Cauchy problems with generalized Kolmogorov-Feller difference-differential equations of type (
1). These generalizations in the Montroll-Weiss CTRW picture are strictly increasing walks on the integer line time-changed with an independent renewal process. We have shown that this approach can also be applied more generally to biased walks on digraphs and requires the construction of non-trivial ‘good Laplacian matrix functions’
. This introduces new topologies of fully connected structures with the small world property if the Laplacian matrix
is ergodic.
Choosing Lévy densities related to normalized continuous distributions and a Laplacian
of the trivial strictly increasing walk (
36) leads to non-trivial discrete-approximations of these Lévy densities (see (
38)–(
42)) in the form of
upper triangular circulant transition matrices with strictly positive elements above the main diagonal, thus allowing any positive integer jump. These properties are especially useful to construct new space-time generalizations of the Poisson process.
As a pertinent example we have derived in this way a ‘good Laplacian matrix function’ which generates a strictly increasing walk with discrete Mittag-Leffler jumps and introduced the
space-time Mittag-Leffler process. For this process, by means of explicit formulae, we derived the state probabilities (Equation (
83)) solving the Cauchy problem (
77). Further, we developed a well-scaled continuous space limiting procedure and obtained the state density (
96) as a limiting expression of the state probabilities where Prabhakar kernels come into play. We derived then the forward diffusion equation of general fractional type (
99) which involves the Prabhakar integral and is solved by the state density (
96). The continuous-space limit diffusion Equation (
99) refers to the general class of generalized Kolmogorov-Feller forward Equation (
2). We also showed that the
space-time Mittag-Leffler process in the Montroll-Weiss picture is a CTRW with discrete Mittag-Leffler jumps subordinated to an independent fractional Poisson process.
Following this line, we introduced a space-fractional generalization of the space-time Mittag-Leffler process constructed by a chain of two Laplacian Bernstein functions retaining the good Laplacian properties. In this way, we derived the Cauchy problem (
103) governing the state probabilities for which we obtained an explicit formula (Equation (
105)). We also deduced the well-scaled state density kernel (Equation (
107)) which involves Prabhakar kernels and solves the continuous-space Cauchy problem (
111).
There is a large potential in the presented approach of constructing space-time generalizations of the Poisson process in terms of strictly increasing walks. Also, new general types of
biased walks time-changed with continuous-time or discrete-time counting processes derived in this way may have interesting applications in ‘birth-and-death’ models. On the other hand, construction of new processes involving Prabhakar distributions (see, e.g., [
45]) seem to be promising candidates due to their connections to the dynamics of certain complex phenomena. Further applications in the field of ‘aging of complex systems’ which are characterized by strictly increasing random accumulation of damage (‘misrepair’) measures (see [
61] for a Markovian model) could open an interesting interdisciplinary field as well.