Lévy Walk Dynamics in an External Constant Force Field in Non-Static Media

Abstract

Based on the recognition of the huge change of the transport properties for diffusion particles in non-static media, we consider a Lévy walk model subjected to an external constant force in non-static media. Since the physical and comoving coordinates of non-static media are related by scale factor, we equivalently transfer the process from physical coordinate into comoving coordinate and derive the master equation governing the probability density function of the position of the particles in comoving coordinate. Utilizing the Hermite orthogonal polynomial expansions, some statistical properties are obtained, including the asymptotic behaviors of the first two moments in both coordinates and kurtosis. For some representative types of non-static media and Lévy walks, the striking and interesting phenomena originating from the interplay between non-static media, external force, and intrinsic stochastic motion are observed. The stationary distribution are also analyzed for some cases through numerical simulations.

Introduction

The diffusion process attracts the attentions of people since Robert Brown, a Scottish botanist, discovered that pollen and other tiny suspended particles constantly move in an irregular curve in water in 1827 [4]. For a large group of diffusion processes, their mean square moments (MSDs) behave as $⟨x^2(t)⟩\sim t^{\alpha }$ after sufficiently long time. The diffusion process is called normal diffusion if $\alpha =1$, otherwise it is termed as anomalous diffusion [5, 42, 57]. A well-known example of normal diffusion is Brownian motion [48]. One of the famous example for anomalous diffusion is Richardson’s research in 1926 [53], in fact it is ubiquitous in a wide range of fields, such as diffusion processes in physics [49], in finance [58], in ecology [50], as well as in biology [30]. Anomalous diffusion can be further subdivided according to the scope of $\alpha$. The further classification of anomalous diffusions leads to subdiffusion for $0<\alpha <1$ [32, 33, 59, 60, 64, 67, 68] and superdiffusion for $\alpha >1$ [6, 12, 54].

As for the models for diffusion processes, continuous time random walk (CTRW) is one of the central stochastic models based on random walk theory, in which there are two series of independent identical distribution (i.i.d.) random variables; one is waiting time $\tau$ between any two continuous jumps following the distribution $\varphi (\tau )$ and another one is jump length l satisfying the probability density function (PDF) $\lambda (l)$ [43–45]. The subdiffusion or superdiffusion process can be viewed as a scaling limit process of CTRW model with infinite $⟨\tau ⟩$ and finite $⟨l^2⟩$ or finite $⟨\tau ⟩$ and diverging $⟨l^2⟩$, respectively. If both $⟨\tau ⟩$ and $⟨l^2⟩$ are finite, it is modeling normal diffusion. A renowned example of superdiffusion is Lévy flight [21, 22, 43], where the distribution of jump length satisfies $\lambda (l)\sim 1/{|l|}^{1+\mu }$ with $0<\mu <2$. For Lévy flight, the transport is usually characterized by its fractional order moments $⟨|x{|}^{\kappa }⟩$ because of the scale-free of jump length $\lambda (l)$. Moreover, [43] shows that ${⟨|x|}^{\kappa }{⟩}^{2/\kappa }\simeq t^{2/\mu }$. Lévy flight is also considered to be an efficient random search model for foraging animals [51, 65, 66] due to the fractal dimension of their trajectories. Another classical model based on random walk theory to describe anomalous diffusion is Lévy walk. Different from CTRW model, it is spatiotemporally coupled through finite propagation speed [7, 73]. The traditional one is with constant speed $v_0$ and the corresponding running time $\tau$ for each step follows the distribution $\varphi (\tau )$. Lévy walk is observed in many fields, such as molecular-motor motion [13, 61], human hunter-gatherer foraging [55], optimized robotic search [23], as well as the propagation of COVID-19 pandemic [27].

Almost all the particles move in external potentials [28, 29]. The effects of external forces on Brownian motion are developed by Smoluchowski after Einstein publishing his paper on Brownian motion in 1905. The dynamics of CTRW process under the action of external potentials are discussed in [14, 21, 22, 24, 46] and the authors [34] study Lévy flight process moving in harmonic potential field, in which it is found that the MSD is diversing though a stationary state can be reached. Further, Lévy flights in a harmonic potential well for both overdamped and underdamped situations are detailedly discussed in [15]. Although the generalized Kramers–Fokker–Planck equation of Lévy walk in arbitrary external potentials is given in [25, 26], it seems hard to uncover more concrete characters due to the spatiotemporal coupled property. Hermite orthogonal polynomials approximation is a complementary method to integral transform introduced in [69] to solve the spatiotemporal coupled problem of Lévy walk and Lévy walk process under the action of external potential is detailedly discussed in [70, 74] by this brand new method. Moreover, Langevin equations [16] provide a feasible framework to solve the problem with external potentials.

The foundations of the above studies are based on the hypothesis that the medium is static, which means the distance between two unmoved particles does not change with time. In fact, almost all the diffusion processes take place in weakly/strongly non-static media, which can be clearly observed in many fields, such as biology [8, 17, 37, 62], cosmology [1, 9, 10, 35]. Moreover, two typical types of non-staticity of media are expansion and contraction. Diffusion processes taken place in chaotic systems and fluids turn out that the dynamics of the particles alter enormously due to the non-static medium, prompting the related researches [2, 18, 19, 31, 38, 47, 63, 71, 72]. The corresponding Fokker–Planck equation for random motion in non-static medium is presented in [72] on account of the generalized Chapman–Kolmogorov equation. Besides, the dynamics of CTRW and Lévy walk model in one dimensional non-static medium are analyzed in [38, 39, 75].

It is a widespread phenomenon that the diffusion processes are subjected to an external potential in non-static medium. For example, the particles are usually suffered from interactions in biological media [20, 30, 42] and the diffusion particles may be under a harmonic potential in uniformly expanding medium [40]. Besides, the corresponding Fokker–Planck equation of the CTRW particles moving under the action of an external force in one dimensional uniformly expanding medium is derived in [41]. In this paper, we aim to analyze the transport characters of Lévy walk under the action of external constant force in one dimensional non-static medium.

This paper is organized as follows. In Sect. 2, we introduce the Lévy walk model under the action of an external constant force in one dimensional non-static medium and build its transport equation in the framework of comoving coordinate. In Sect. 3, the corresponding average moments and MSDs in both coordinates are derived through Hermite orthogonal polynomials expansions. We discuss the interplay between a constant force, non-static medium, and the intrinsic stochastic motion in Sect. 4 by considering some representative distributions of running time $\varphi (\tau )$ and scale factor d(t) and derive the kurtosis in physical coordinate for the non-static medium with exponential contraction scale factor. Besides, the stationary distribution are also analyzed through numerical simulations for the case of localization in both coordinates. Finally, we conclude the paper with some discussions in Sect. 5.

Lévy Walk Under the Action of an External Constant Force in Non-static Media

Lévy walk particles with mass M moving in a constant force field $F=Ma$, where a represents a constant acceleration, have been considered in one dimensional static medium in [74]. The initial speed of each step is assumed to be $\pm v_0$ with equal probability for the direction of left or right. Moreover, $y_t$ denotes the location of the particle at time t and $t_j$ $(j=1,2,3,\dots )$ is the time when the jth renewal event was just finished. The running time $\tau :=t_j-t_{j-1}$ between two successive renewal events obeys the PDF $\varphi (\tau )$. With the above setting, the transport equation between the jth and $(j+1)$th renewal events satisfies:

$$\begin{array}{c}\hfill \left\{\begin{array}{cc}& \frac{d^2{y}_{t_j+{\tau }^{\prime }}}{d{{\tau }^{\prime }}^2}=a,\text{for}{\tau }^{\prime }\in (0,(t_{j+1}\wedge t)-t_j],\hfill \\ \hfill & {\left(\frac{d{y}_{t_j+{\tau }^{\prime }}}{d{\tau }^{\prime }}\right|}_{{\tau }^{\prime }=0}=\pm v_0.\hfill \end{array}\right)\end{array}$$ 1

The solution of Eq. (1) satisfies $y_{t_j+{\tau }^{\prime }}=\frac{1}{2}a{\tau }^{\prime 2}\pm v_0{\tau }^{\prime }+y_{t_j}$ with $\frac{1}{2}$ probability of each them. Comparing with the motion in static medium under the action of an external constant force, the displacement of Lévy walk changes from $\pm v_0\tau$ to $\frac{1}{2}a{\tau }^2\pm v_0\tau$ when the duration of each step is $\tau$ .

In this paper, we focus on analyzing the transport dynamics of Lévy walk under a constant external force field when the one dimensional medium is undergoing uniform expansion or contraction. The relation between the physical coordinate (denoted as y) and comoving coordinate (denoted as x) is

$$\begin{array}{c}\hfill y=d(t)x\end{array}$$ 2

with $d(t_0)=1$ for the initial time $t_0$ [38, 72]. The function d(t) is named as scale factor from a point of cosmology [52, 56]. Furthermore, the medium is expanding if $\dot{d}(t)>0$ and is contracting if $\dot{d}(t)<0$ [40]. It is worth noting that the physical and comoving coordinates are identical at the initial time. The evolution of the physical location y comes from three contributions, which are respectively the intrinsic motion of Lévy walk, the motion induced by constant force, as well as the deterministic motion caused by non-static medium.

The CTRW process in non-static medium is analyzed in [38]. As shown in Fig. 1a, one can assume that the CTRW particle arrives at $y_{n-1}$ at time $t_{n-1}$, then it comes to $y_{n-1}^{{}^{\prime }}$ at time $t_n$ due to the expansion of the medium and further followed by an instantaneous jump with length $\Delta y_n$ relative to $y_{n-1}^{{}^{\prime }}$ because of the intrinsic motion. Since the particle does not move in the comoving coordinate x as long as the walker is in a state of rest, e.g., $x_{n-1}^{+}=x_n^{-}$ (‘+’ and ‘-’ respectively mean right and left limit), we have the expression of $y_{n-1}^{{}^{\prime }}$ by combining with (2),

$$\begin{array}{c}\hfill y_{n-1}^{{}^{\prime }}=\frac{d(t_n)}{d(t_{n-1})}{y}_{n-1}.\end{array}$$ 3

The correlation and similarity between CTRW model and the traditional Lévy walk model are stated in [11, 36]. Because of that, for Lévy walk under the action of constant force in non-static medium, as shown in Fig. 1b, we choose $\xi \in (t_{n-1},t_n]$, the position $y_{\xi }$ of the Lévy walk particle at time $\xi$ is determined by three parts; one is the deterministic motion caused by non-static medium and the corresponding position can be expressed as $y_{\xi }^{{}^{\prime }}=\frac{d(\xi )}{d(t_{n-1})}{y}_{n-1}$, and the other two are the intrinsic stochastic movement and the motion resulted from constant force, respectively. The displacement induced by the latter two is $\Delta y=\frac{1}{2}a{(\xi -t_{n-1})}^2\pm v_0(\xi -t_{n-1})$ relative to $y_{\xi }^{{}^{\prime }}$. Then, for the final observation time t, the position of the Lévy walk particle is

$$\begin{array}{c}\hfill y_t=\frac{d(t)}{d(t_n)}{y}_n+\frac{1}{2}a{(t-t_n)}^2\pm v_0(t-t_n).\end{array}$$ 4

Obviously, we recover the results in [74] when the scale factor of the media is $d(t)=1$, which further indicates the distance between two unmoved particles does not change with time.

Fig. 1.

Legend descriptions of CTRW and Lévy walk under the action of constant force in expanding medium. Here, x and y, respectively, denote the comoving and physical coordinates with the relation $y=d(t)x$, where d(t) is the scale factor. $\Delta y_n^{{}^{\prime }}=y_{n-1}^{{}^{\prime }}-y_{n-1}$ denotes the displacement caused by expanding medium and $\Delta x_n=x_n-x_{n-1}$ is the displacement $\Delta y_n$ in comoving coordinate. a Represents CTRW model in expanding medium and $\Delta y_n$ is the jump length drawn from the distribution $\lambda (\Delta y_n)$, and b is for Lévy walk process under the action of constant force in expanding medium with $\Delta y_n=\frac{1}{2}a{\tau }^2\pm v_0\tau$, where $\tau$ obeys the distribution $\varphi (\tau )$

As discussed above, the final position of the Lévy walk particle in each finished (or unfinished) step in physical coordinate is related to the displacement $\Delta y$ and the location after the deterministic motion induced by non-static medium. In addition to the constant acceleration a and velocity $v_0$, the displacement $\Delta y$ is also determined by the running time $\tau$ drawn from $\varphi (\tau )$ or the survival time (still denoted as $\tau$), which obeys the distribution

$$\begin{array}{c}\hfill \psi (\tau )={\int }_{\tau }^{\infty }\varphi ({\tau }^{\prime })d{\tau }^{\prime }.\end{array}$$ 5

Therefore, the corresponding distribution of $\Delta y$ with running time $\tau$ satisfies the conditional density

$$\begin{array}{c}\hfill \lambda (▵y;\tau )=\frac{1}{2}\delta \left(▵,y,-,\frac{1}{2},a,{\tau }^2,-,v_0,\tau \right)+\frac{1}{2}\delta \left(▵,y,-,\frac{1}{2},a,{\tau }^2,+,v_0,\tau \right),\end{array}$$ 6

where $\delta (·)$ represents the Dirac $\delta$-function.

To get the distribution of P(y, t), the PDF of the Lévy walk particle arriving at physical coordinate y at time t, it is a good choice to turn to the help of comoving coordinate since the distribution of the location after each deterministic motion in physical coordinate is difficult to describe. However, the relation between the displacement $\Delta x$ in comoving coordinate and $\Delta y$ in physical coordinate is clear, i.e., $\Delta y=d(t)\Delta x$, where t is the overall observation time. Denote $\lambda (▵x|t;\tau )$ as the distribution of the displacement $▵x$ at time t in comoving coordinate with running time $\tau$. According to (4), we have

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \lambda (▵x|t;\tau )& =d(t)\lambda (d(t)▵x;\tau )\hfill \\ \hfill & =\frac{1}{2}d(t)\delta \left(d,(t),▵,x,-,\frac{1}{2},a,{\tau }^2,-,v_0,\tau \right)+\frac{1}{2}d(t)\delta \left(d,(t),▵,x,-,\frac{1}{2},a,{\tau }^2,+,v_0,\tau \right)\hfill \\ \hfill & =\frac{1}{2}\delta \left(▵,x,-,\frac{\frac{1}{2}a{\tau }^2+v_0\tau }{d(t)}\right)+\frac{1}{2}\delta \left(▵,x,-,\frac{\frac{1}{2}a{\tau }^2-v_0\tau }{d(t)}\right).\hfill \end{array}\end{array}$$ 7

The reason for the holding of the equalities is that the scale factor of the non-static medium we considered here is described by the exponential function $d(t)=exp(Ht)$ or power-law function $d(t)=(\frac{t+t_0}{t_0}{)}^{\beta }$, which implies $d(t)>0$ at any time. On the other hand, let W(x, t) denote the PDF that the particle moves in comoving coordinate. Then

$$\begin{array}{c}\hfill P(y,t)=\frac{1}{d(t)}W(\frac{y}{d(t)},t)\end{array}$$ 8

on account of (2).

We are going to derive the master equation of Lévy walk particles moving under the action of a constant force in comoving coordinate with the standard formalism for the ordinary Lévy walk model. Introducing q(x, t) to denote the PDF that the particle just arrives at x at time t in comoving coordinate, one yields

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill q(x,t)& ={\int }_{-\infty }^{\infty }d▵x{\int }_0^{t}q(x-▵x,t-\tau )\varphi (\tau )\lambda (▵x|t;\tau )d\tau +P_0(x)\delta (t).\hfill \end{array}\end{array}$$ 9

Moving from the position $x-▵x$ at previous time $t-\tau$ to x at t implies that the particle needs to make a displacement $\Delta x$ in the running time $\tau$. The second term on the r.h.s. represents the initial distribution.

To calculate the PDF W(x, t) at a given point in space and time, it is necessary to connect the flux at the renewal point to the density at the given point, i.e.,

$$\begin{array}{c}\hfill W(x,t)={\int }_{-\infty }^{\infty }d▵x{\int }_0^{t}q(x-▵x,t-\tau )\psi (\tau )\lambda (▵x|t;\tau )d\tau ,\end{array}$$ 10

where the definition of $\psi (\tau )$ is given in (5). After taking Laplace transform defined as $\widehat{g}(s)={\mathcal{L}}_t\{g(t)\}(s)={\int }_0^{\infty }{e}^{-st}g(t)dt$, we get

$$\begin{array}{c}\hfill \widehat{\psi }(s)=\frac{1-\widehat{\varphi }(s)}{s}.\end{array}$$ 11

The particle arrives at renewal point $x-▵x$ at time $t-\tau$, and it keeps surviving for time $\tau$ and the corresponding displacement for the running time $\tau$ is $▵x$ to make sure it locates at position x at time t.

Plugging (7) into (9) and (10), we obtain

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill q(x,t)=& \frac{1}{2}{\int }_0^{t}q(x-\frac{\frac{1}{2}a{\tau }^2+v_0\tau }{d(t)},t-\tau )\varphi (\tau )d\tau \hfill \\ \hfill & +\frac{1}{2}{\int }_0^{t}q(x-\frac{\frac{1}{2}a{\tau }^2-v_0\tau }{d(t)},t-\tau )\varphi (\tau )d\tau +P_0(x)\delta (t)\hfill \end{array}\end{array}$$ 12

and

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill W(x,t)=& \frac{1}{2}{\int }_0^{t}q(x-\frac{\frac{1}{2}a{\tau }^2+v_0\tau }{d(t)},t-\tau )\psi (\tau )d\tau \hfill \\ \hfill & +\frac{1}{2}{\int }_0^{t}q(x-\frac{\frac{1}{2}a{\tau }^2-v_0\tau }{d(t)},t-\tau )\psi (\tau )d\tau .\hfill \end{array}\end{array}$$ 13

The normalization of W(x, t) can be verified by the traditional method of integral transform. Since ${\int }_{-\infty }^{\infty }{\mathcal{L}}_s^{-1}\left\{\widehat{W},(x,s)\right\}(t)dx={\mathcal{L}}_s^{-1}\left\{\widehat{\tilde{W}},{(k,s)|}_{k=0}\right\}(t)$, we take Fourier transform defined as $\tilde{f}(k)={\mathcal{F}}_x\{f(x)\}(k)={\int }_{-\infty }^{\infty }{e}^{-ikx}f(x)dx$ on (12) and (13) and make $k=0$. Further taking Laplace transform, there exists

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \widehat{\tilde{W}}(k,s){{|}_{k=0}=\widehat{\tilde{q}}(k,s)|}_{k=0}\widehat{\psi }(s)=\frac{1}{1-\widehat{\varphi }(s)}\frac{1-\widehat{\varphi }(s)}{s}=\frac{1}{s},\end{array}\end{array}$$

where verifies the normalization of W(x, t). However, this widely used method does not work well for analyzing the other statistical observables of our model because of its characteristics of time and space coupling. In the next section we will use Hermite orthogonal polynomials to approach the PDF in comoving coordinate.

Hermite Polynomials Approximation to Lévy Walk in Constant Force Field in Non-static Medium

In this section we apply Hermite polynomials to deal with the problem of spatiotemporally coupling appeared in comoving coordinate. The Hermite polynomials form an orthogonal basis of the Hilbert space with the inner product $⟨f,g⟩={\int }_{-\infty }^{\infty }f(x)\overline{g}(x)e^{-x^2}dx$ [3]. We assume that in Hilbert space q(x, t) and W(x, t) can be, respectively, expressed as

$$\begin{array}{cc}\hfill q(x,t)& =\sum _{n=0}^{\infty }{H}_n(x)T_n(t)e^{-x^2},\hfill \end{array}$$ 14

$$\begin{array}{cc}\hfill W(x,t)& =\sum _{n=0}^{\infty }{H}_n(x)R_n(t)e^{-x^2},\hfill \end{array}$$ 15

where $H_n(x),n=0,1,\dots ,$ represent the Hermite polynomials, and $\{T_n(t)\}$ and $\{R_n(t)\}$ are a series of functions with respect to t to be determined, respectively.

The initial distribution of the particle is assumed to be a Dirac-delta function, i.e., $P_0(x)=\delta (x)$. Inserting (14) and (15) into (12) and (13), respectively, the iteration relation between ${\widehat{T}}_m(s)$ and the relation between ${\widehat{R}}_m(s)$ and ${\widehat{T}}_m(s)$ can be written after taking Laplace transform, respectively, as

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \sqrt{\pi }{2}^{m}m!{\widehat{T}}_m(s)& =\frac{1}{2}\sum _{k=0}^m\frac{2^k\sqrt{\pi }m!}{(m-k)!}\times {\mathcal{L}}_t\left\{{\left(\frac{1}{d(t)}\right)}^{m-k},{\mathcal{L}}_s^{-1},\left[{\widehat{T}}_k,(s),{\mathcal{L}}_{\tau },\left[\varphi ,(,\tau ,)\right)\right)\right)\hfill \\ \hfill & \left(\left(\left(\left[{(a{\tau }^2-2v_0\tau )}^{m-k},+,{(a{\tau }^2+2v_0\tau )}^{m-k}\right]\right],(s)\right],(t)\right\}(s)+H_m(0)\hfill \end{array}\end{array}$$ 16

and

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \sqrt{\pi }{2}^{m}m!{\widehat{R}}_m(s)& =\frac{1}{2}\sum _{k=0}^m\frac{2^k\sqrt{\pi }m!}{(m-k)!}\times {\mathcal{L}}_t\left\{{\left(\frac{1}{d(t)}\right)}^{m-k},{\mathcal{L}}_s^{-1}\right)\hfill \\ \hfill & \left(\left[{\widehat{T}}_k,(s),{\mathcal{L}}_{\tau },\left[\psi ,(\tau ),\left[{(a{\tau }^2-2v_0\tau )}^{m-k},+,{(a{\tau }^2+2v_0\tau )}^{m-k}\right]\right],(s)\right],(t)\right\}(s).\hfill \end{array}\end{array}$$ 17

The details of derivation are shown in Appendix B.

Some important statistics of the process are determined by a series of functions to be determined, e.g., $\{T_n(t)\}$ and $\{R_n(t)\}$. For example, in [73], the authors state that the long-time asymptotic behaviors of the moments of the particle’s position have a close relation with the derivative of the PDF $\tilde{\widehat{W}}(k,s)$ in Fourier-Laplace space, which reads

$$\begin{array}{c}\hfill ⟨{\widehat{x}}^m(s)⟩={(i)}^m{\left(\frac{{\partial }^m}{\partial k^m},\tilde{\widehat{W}},(k,s)\right|}_{k=0}.\end{array}$$ 18

It is quite necessary to derive the expression of $\tilde{\widehat{W}}(k,s)$. Starting from (15) and (63), W(x, t) can be written as

$$\begin{array}{c}\hfill W(x,t)=\sum _{n=0}^{\infty }{(-1)}^n\frac{d^n}{d{x}^n}{e}^{-x^2}{R}_n(t).\end{array}$$ 19

Taking Fourier transform $x\to k$ and Laplace transform $t\to s$ on (19), it yields

$$\begin{array}{c}\hfill \widehat{\tilde{W}}(k,s)=\sum _{n=0}^{\infty }\sqrt{\pi }{(-ik)}^n{e}^{-\frac{k^2}{4}}{\widehat{R}}_n(s).\end{array}$$ 20

Combining (18) with (20), we present the asymptotic expressions of the first two moments of this process in comoving coordinate, after sufficiently long time, which, respectively, behave as

$$\begin{array}{c}\hfill ⟨\widehat{x}(s)⟩=i{\left(\frac{\partial }{\partial k},\widehat{\tilde{W}},(k,s)\right|}_{k=0}=\sqrt{\pi }{\widehat{R}}_1(s)\end{array}$$ 21

and

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill ⟨{\widehat{x}}^2(s)⟩& =-\frac{{\partial }^2}{\partial k^2}\widehat{\tilde{W}}{(k,s)|}_{k=0}=\frac{\sqrt{\pi }}{2}{\widehat{R}}_0(s)+2\sqrt{\pi }{\widehat{R}}_2(s).\hfill \end{array}\end{array}$$ 22

In addition,

$$\begin{array}{c}\hfill \widehat{\tilde{W}}{(k,s)|}_{k=0}=\sqrt{\pi }{\widehat{R}}_0(s).\end{array}$$ 23

Notably, we can get the values of ${\widehat{R}}_0(s),{\widehat{R}}_1(s)$, and ${\widehat{R}}_2(s)$ through (16) and (17). Respectively taking $m=0,1,2$ in (16) and (17) leads to

$$\begin{array}{cc}\hfill {\widehat{T}}_0(s)=& \frac{1}{\sqrt{\pi }\left(1,-,\widehat{\varphi },(s)\right)},\hfill \\ \hfill {\widehat{R}}_0(s)=& \frac{1}{s\sqrt{\pi }},\hfill \end{array}$$ 24

$$\begin{array}{cc}\hfill 2{\widehat{T}}_1(s)=& {\mathcal{L}}_t\left\{\frac{1}{d(t)},{\mathcal{L}}_s^{-1},\left[a,{\widehat{\varphi }}^{{}^{\prime \prime }},(s),{\widehat{T}}_0,(s)\right],(t)\right\}(s)+2{\widehat{T}}_1(s)\widehat{\varphi }(s),\hfill \end{array}$$ 25

$$\begin{array}{cc}\hfill 2{\widehat{R}}_1(s)=& {\mathcal{L}}_t\left\{\frac{1}{d(t)},{\mathcal{L}}_s^{-1},\left[a,{\widehat{\psi }}^{{}^{\prime \prime }},(s),{\widehat{T}}_0,(s)\right],(t)\right\}(s)+2{\widehat{T}}_1(s)\widehat{\psi }(s),\hfill \end{array}$$ 26

and

$$\begin{array}{cc}\hfill 8\sqrt{\pi }{\widehat{T}}_2(s)=& 4a\sqrt{\pi }{\mathcal{L}}_t\left\{\frac{1}{d(t)},{\mathcal{L}}_s^{-1},\left[{\widehat{T}}_1,(s),{\widehat{\varphi }}^{{}^{\prime \prime }},(s)\right],(t)\right\}(s)+8\sqrt{\pi }\widehat{\varphi }(s){\widehat{T}}_2(s)-2\hfill \\ \hfill & +\sqrt{\pi }{\mathcal{L}}_t\left\{\frac{1}{d^2(t)},{\mathcal{L}}_s^{-1},\left[{\widehat{T}}_0,(s),\left(a^2,{\widehat{\varphi }}^4,(s),+,4,v_0^2,{\widehat{\varphi }}^{{}^{\prime \prime }},(s)\right)\right],(t)\right\}(s),\hfill \end{array}$$ 27

$$\begin{array}{cc}\hfill 8{\widehat{R}}_2(s)=& 4a{\mathcal{L}}_t\left\{\frac{1}{d(t)},{\mathcal{L}}_s^{-1},\left[{\widehat{T}}_1,(s),{\widehat{\psi }}^{{}^{\prime \prime }},(s)\right],(t)\right\}(s)+8\widehat{\psi }(s){\widehat{T}}_2(s)\hfill \\ \hfill & +{\mathcal{L}}_t\left\{\frac{1}{d^2(t)},{\mathcal{L}}_s^{-1},\left[{\widehat{T}}_0,(s),\left(a^2,{\widehat{\psi }}^4,(s),+,4,v_0^2,{\widehat{\psi }}^{{}^{\prime \prime }},(s)\right)\right],(t)\right\}(s).\hfill \end{array}$$ 28

We verify the normalization of W(x, t) with the help of ${\widehat{R}}_0(s)=\frac{1}{s\sqrt{\pi }}$ since ${\mathcal{L}}_s^{-1}\left\{{\int }_{-\infty }^{\infty },\widehat{W},(x,s),d,x\right\}(t)={\mathcal{L}}_s^{-1}\left\{\widehat{\tilde{W}},{(k,s)|}_{k=0}\right\}(t)={\mathcal{L}}_s^{-1}\left\{\sqrt{\pi },{\widehat{R}}_0,(s)\right\}(t)={\mathcal{L}}_s^{-1}$

$\left\{\frac{1}{s}\right\}(t)=1$. Obviously, the PDF P(y, t) in physical coordinate is also normalized. Furthermore, in view of (2), the asymptotic expressions of the first two moments in physical coordinate are

$$\begin{array}{c}\hfill ⟨y(t)⟩=d(t)⟨x(t)⟩\end{array}$$ 29

and

$$\begin{array}{c}\hfill ⟨y^2(t)⟩=d^2(t)⟨x^2(t)⟩.\end{array}$$ 30

In the next section, we are going to analyze the long-time asymptotic behaviours of the first two moments in both coordinates for some specific running time PDFs $\varphi (t)$ and scale factors d(t).

Dynamical Behaviours of Lévy Walk Under the Action of an External Constant Force in Non-static Medium

Exponentially Distributed Running Time

In this subsection the PDF of running time is assumed to be exponential distribution, i.e., $\varphi (\tau )=\lambda e^{-\lambda \tau }$ with $\lambda >0$. As is shown in [73], the diffusion of classical Lévy walk in static medium is normal diffusion when the running time PDF obeys exponential distribution. We are going to explore the combined effect of constant force and non-static medium on the dynamics of Lévy walk.

Exponential Scale Factor

Assume that the scale factor of the non-static medium in this part is described by the exponential form,

$$\begin{array}{c}\hfill d(t)=exp(Ht)\end{array}$$ 31

with the “Hubble constant” H. In the context of cosmology [52, 56], this type of non-static medium is caused by dark energy. Apparently $H>0$ means an expanding medium whereas $H<0$ represents a contracting one.

Combining with (21) and (22), the first two moments in comoving coordinate are derived by plugging the expressions of $\varphi (\tau )$ and d(t) into (24)-(28), which respectively read as

$$\begin{array}{c}\hfill ⟨x(t)⟩\sim \left\{\begin{array}{cc}\frac{a\lambda }{H{(H+\lambda )}^2},\hfill & \text{if}H>0,\hfill \\ \frac{a(H-\lambda )}{H{\lambda }^2}{e}^{-Ht},\hfill & \text{if}H<0,\hfill \end{array}\right)\end{array}$$ 32

and

$$\begin{array}{c}\hfill ⟨x^2(t)⟩\sim \left\{\begin{array}{cc}\frac{a^2\lambda (3H^3+10H^2\lambda +7H{\lambda }^2+{\lambda }^3)+H\lambda {(H+\lambda )}^2{(2H+\lambda )}^2{v}_0^2}{H^2{(H+\lambda )}^2{(2H+\lambda )}^4},\hfill & \text{if}H>0,\hfill \\ \frac{(2H-\lambda )[a^2(3H^3-6H^2\lambda +3H{\lambda }^2-{\lambda }^3)+H{(H-\lambda )}^2{\lambda }^2{v}_0^2]}{H^2{(H-\lambda )}^2{\lambda }^4}{e}^{-2Ht},\hfill & \text{if}H<0.\hfill \end{array}\right)\end{array}$$ 33

Correspondingly, the first two moments in physical coordinate can be straightforwardly obtained in terms of (29) and (30) after sufficiently long time, which respectively read as

$$\begin{array}{c}\hfill ⟨y(t)⟩\sim \left\{\begin{array}{cc}\frac{a\lambda }{H{(H+\lambda )}^2}{e}^{\mathit{Ht}},\hfill & \text{if}H>0,\hfill \\ \frac{a(H-\lambda )}{H{\lambda }^2},\hfill & \text{if}H<0,\hfill \end{array}\right)\end{array}$$ 34

and

$$\begin{array}{c}\hfill ⟨y^2(t)⟩\sim \left\{\begin{array}{cc}\frac{a^2\lambda (3H^3+10H^2\lambda +7H{\lambda }^2+{\lambda }^3)+H\lambda {(H+\lambda )}^2{(2H+\lambda )}^2{v}_0^2}{H^2{(H+\lambda )}^2{(2H+\lambda )}^4}{e}^{2Ht},\hfill & \text{if}H>0,\hfill \\ \frac{(2H-\lambda )[a^2(3H^3-6H^2\lambda +3H{\lambda }^2-{\lambda }^3)+H{(H-\lambda )}^2{\lambda }^2{v}_0^2]}{H^2{(H-\lambda )}^2{\lambda }^4},\hfill & \text{if}H<0.\hfill \end{array}\right)\end{array}$$ 35

The results of the first two moments in both coordinates are verified in Figs. 2 and 3. For $H>0$, the first two moments in comoving coordinate tend to be a constant whereas grow exponentially without limit in physical coordinate for sufficiently long time. In contrast, the first two moments in comoving coordinate exponentially increase with respect to time t whereas are fixed in physical coordinate for long time limit for $H<0$. In addition, the average moments in both coordinates have no relation with $v_0$. However, the MSDs in both coordinates rely on the value of $v_0$. Moreover, by taking $a=0$, we recover the corresponding results of the first two moments of pure Lévy walk in non-static medium in both coordinates [75]. The average moments in [75] appear as 0 in both coordinates whether the medium expands or contracts. We conclude that the presence of external force changes the symmetry of the position distribution. Furthermore, compared with the first two moments of Lévy walk under the action of constant force in static medium [74] which respectively appear as $⟨y(t)⟩\sim t$ and $⟨y^2(t)⟩\sim t^2$, it can be seen that the deterministic motion induced by non-static medium dominates the overall process.

Fig. 2.

Numerical simulations of the average moments of Lévy walk under the action of constant force in non-static medium with exponential scale factor by sampling over ${10}^4$ realizations. The running time PDF of Lévy walk behaves as exponential distribution $\varphi (\tau )=\lambda e^{-\lambda \tau }$ with $\lambda =1$. The other parameters are $v_0=1$, $a=1$, and $x_0=y_0=0$. For (a) and (c), we take $H={10}^{-3}$. For (b) and (d), $H=-{10}^{-3}$

Fig. 3.

Numerical simulations of MSDs of Lévy walk under the action of constant force in non-static medium with exponential scale factor in both coordinates by sampling over ${10}^4$ realizations. The other parameters are same with the ones of Fig. 2

A stationary distribution can be eventually reached in comoving or physical coordinate when the medium exponentially expands $H>0$ or contracts $H<0$. In the following we analyze the stationary distribution $P^{\mathit{st}}(x)$ or $P^{\mathit{st}}(y)$ of Lévy walk in constant force field in comoving or physical coordinate by numerical simulations. For Lévy walk with $\varphi (\tau )=\lambda e^{-\lambda \tau }$ moving in constant force field and a positive H in comoving coordinate, as shown in Fig. 4a, the phenomena of bimodal-to-unimodal crossovers can be observed by increasing the value of $\lambda$. However, the unimodality of the stationary distribution $P^{\mathit{st}}(x)$ does not alter if we respectively change the value of H, $v_0$, a. To be more specific, Fig. 4(b) indicates that changing the value of H does not mean the conversion of the stationary distribution $P^{\mathit{st}}(x)$ between unimodal and bimodal, and increasing H can only taper $P^{\mathit{st}}(x)$. Similarly, Fig. 4c states that increasing the value of $v_0$ can only flatten $P^{\mathit{st}}(x)$, so as a does in Fig. 4d. Interestingly, for Lévy walk with a negative H in physical coordinate, the unimodal property of $P^{\mathit{st}}(y)$ can not be affected by the variation of $\lambda ,H,v_0,a$, respectively. Specially, from Fig. 5a, b the stationary distribution is gradually narrowed with the increase of $\lambda$ and |H| while the stationary distribution is flattened as $v_0$ and a increase which has been shown in Fig. 5c, d. Notably, the effect of $\lambda$ turns out to be completely different in both coordinates; the bimodal or monomodal state of stationary distribution $P^{\mathit{st}}(x)$ depends on the value of $\lambda$ in comoving coordinate while decreasing the value of $\lambda$ in physical coordinate only flattens the stationary distribution $P^{\mathit{st}}(y)$.

Fig. 4.

Stationary PDFs of Lévy walk with $\varphi (\tau )=\lambda e^{-\lambda \tau }$ in constant force field in comoving coordinate and exponentially expanding scale factor by sampling over $2\times {10}^4$ realizations. Here we assume $x_0=0$. For panel (a), we take $H=0.1$, $a=v_0=1$; for panel (b), $a=v_0=\lambda =1$; for panel (c), $a=\lambda =1$, $H=0.1$; for panel (d), $H=0.1$, $\lambda =v_0=1$

Fig. 5.

Stationary PDFs of Lévy walk with $\varphi (\tau )=\lambda e^{-\lambda \tau }$ in constant force field in physical coordinate and exponentially contracting scale factor by sampling over $2\times {10}^4$ realizations. Here we assume $y_0=0$. For panel (a), we take $H=-0.1$, $a=v_0=1$; for panel (b), $a=v_0=\lambda =1$; for panel (c), $a=\lambda =1$, $H=-0.1$; for panel (d), $H=-0.1$, $\lambda =v_0=1$

Kurtosis is another important statistic which describes the tails of the stationary PDF. Here, we only consider the kurtosis of stationary distribution in physical coordinate for $H<0$. It is defined as

$$\begin{array}{c}\hfill K=\frac{\langle {[y(t)-\mu ]}^4\rangle }{\langle {[y(t)-\mu ]}^2{\rangle }^2},\end{array}$$ 36

where $\mu$ represents the average moment in exponential contraction medium, i.e., $\mu =\frac{a(H-\lambda )}{H{\lambda }^2}$. We further expand Kurtosis as

$$\begin{array}{c}\hfill K=\frac{⟨y^4(t)⟩-4\mu ⟨y^3(t)⟩+6{\mu }^2⟨y^2(t)⟩-3{\mu }^4}{(⟨y^2(t)⟩-{\mu }^2{)}^2},\end{array}$$ 37

which relies on the first four moments in physical coordinate. With the help of (8), we use the moments in comoving coordinate to express the value of Kurtosis in (37). The equivalent expression of (37) is

$$\begin{array}{c}\hfill K=\frac{⟨x^4(t)⟩-4{\mu }_x⟨x^3(t)⟩+6{\mu }_x^2⟨x^2(t)⟩-3{\mu }_x^4}{{(⟨x^2(t)⟩-{\mu }_x^2)}^2},\end{array}$$ 38

where the indicator x in ${\mu }_x$ means the average moment in comoving coordinate, i.e., ${\mu }_x=\frac{a(H-\lambda )}{H{\lambda }^2}{e}^{-Ht}$. In the following, we turn to the moments in comoving coordinate. According to (18) and (20), the moments we cared can be represented by a series of functions ${\widehat{R}}_i(s)$ after some calculations, i.e.,

$$\begin{array}{c}\hfill ⟨{\widehat{x}}^3(s)⟩=\frac{3}{2}\sqrt{\pi }{\widehat{R}}_1(s)+6\sqrt{\pi }{\widehat{R}}_3(s)\end{array}$$ 39

and

$$\begin{array}{c}\hfill ⟨{\widehat{x}}^4(s)⟩=\frac{3}{4}\sqrt{\pi }{\widehat{R}}_0(s)+6\sqrt{\pi }{\widehat{R}}_2(s)+24\sqrt{\pi }{\widehat{R}}_4(s).\end{array}$$ 40

In order to get the values of ${\widehat{R}}_i(s)$ $(i=0,1,2,3,4)$, besides (24)-(28), we respectively take $m=3,4$ in (16) and (17) and derive the recurrence relation between ${\widehat{T}}_i(s)$ and ${\widehat{R}}_i(s)$ and the iteration relation between ${\widehat{T}}_i(s)$ (i=0, 1, 2, 3, 4). Combining with the concrete expressions of running time as well as scale factor, the corresponding first four moments in comoving coordinates can be got. Plugging them into Eq. (38), we get the long-time asymptotic expression of Kurtosis shown in (1) in exponential contraction medium.

The value of Kurtosis has a close relation with the inverse average of exponentially distributed running time $\lambda$, the Hubble constant H, constant acceleration a, as well as the initial speed of each step $v_0$, being verified in Fig. 6. At first for any fixed $H,v_0,a$, we consider K as a function of $\lambda$. For small $\lambda$, after sufficiently long time, the stationary PDF is leptokurtic since $K_{\lambda \to 0}\sim 87.72$. However, for large $\lambda$, a Gaussian PDF emerges since $K_{\lambda \to \infty }\sim 3$. The above results are consistent with our simulation results in Fig. 6a. Next we consider K as a function of $v_0$ for any fixed $H,\lambda ,a$; it can be found that the limit value of Kurtosis for small or large $v_0$ relies on $H,\lambda$. The same conclusion holds on if we consider K as a function of a for any fixed $H,\lambda ,v_0$. Surprisingly, we discover that $K_{v_0\to 0}=K_{a\to \infty }$ and $K_{v_0\to \infty }=K_{a\to 0}$ (see (75) and (76) for details). Finally, as above, we consider K as a function of H for any fixed $v_0,\lambda ,a$; the PDF converges to the Gaussian value $K=3$ for small |H|. Moreover, we have the limit of K for large |H| from (1) , i.e., $K_{H\to -\infty }\sim \frac{3(731a^4+316a^2{\lambda }^2{v}_0^2+8{\lambda }^4{v}_0^4)}{{(5a^2+2{\lambda }^2{v}_0^2)}^2}$, which has relevance to $a,\lambda ,v_0$.

Fig. 6.

Numerical simulations of kurtosis of Lévy walk under the action of constant force in non-static medium with exponential contraction scale factor by sampling over $5\times {10}^4$ realizations. The running time PDF of Lévy walk behaves as exponential distribution $\varphi (\tau )=\lambda e^{-\lambda \tau }$. The initial position in physical coordinate is $y_0=0$. The figure a is for K versus $\lambda$ for fixed $H=-0.1,v_0=1,a=1$; the figure b is for K versus $v_0$ for fixed $H=-0.1,\lambda =a=1$; the figure c is for K versus a for fixed $H=-0.1,\lambda =v_0=1$; the figure d is for K versus H for fixed $a=\lambda =v_0=1$. The solid lines are the theoretical results shown in (1)

Power-Law Scale Factor

We focus on the case that the scale factor of the non-static medium is power-law distribution

$$\begin{array}{c}\hfill d(t)=(\frac{t+t_0}{t_0}{)}^{\beta },\end{array}$$ 41

where t means the time lapsed since the initial time $t_0$. The value of $\beta >0$ corresponds to an expanding medium since $\dot{d}(t)>0$ while the value of $\beta <0$ corresponds to a contracting medium.

Plugging the power-law scale factor d(t) and the exponentially distributed running time $\varphi (\tau )$ into (25)-(28) and combining with (21) and (22), after sufficiently long time, one has

$$\begin{array}{c}\hfill ⟨x(t)⟩\sim \left\{\begin{array}{cc}\frac{a{t}_0^{\beta }}{\lambda (1-\beta )}{t}^{1-\beta },\hfill & \text{if}\beta <1,\hfill \\ \frac{a{t}_0(-1+e^{\lambda t_0}(\lambda t_0-1)\Gamma (0,\lambda t_0)+ln(t)-ln(t_0))}{\lambda },\hfill & \text{if}\beta =1,\hfill \\ \frac{a{t}_0(-1+\frac{1}{-1+\beta }+e^{\lambda t_0}(\lambda t_0-2+\beta )E_{\beta }(\lambda t_0))}{\lambda },\hfill & \text{if}\beta >1,\hfill \end{array}\right)\end{array}$$ 42

and

$$\begin{array}{c}\hfill ⟨x^2(t)⟩\sim \left\{\begin{array}{cc}\frac{a^2{t}_0^{2\beta }}{{(\beta -1)}^2{\lambda }^2}{t}^{2-2\beta },\hfill & \text{if}\beta <1,\hfill \\ \frac{a^2{t}_0^2}{{\lambda }^2}{(\gamma +ln(t))}^2,\hfill & \text{if}\beta =1,\hfill \\ C_0,\hfill & \text{if}\beta >1,\hfill \end{array}\right)\end{array}$$ 43

where $E_n(x)$ is the exponential integral function defined as $E_n(x)={\int }_1^{\infty }{e}^{-xt}/t^{n}dt$ and $\Gamma (a,b)$ is the incomplete Gamma function. In addition, $\gamma$ represents eulergamma constant, approached by 0.577216. However, it seems not easy to get the exact vule of $C_0$ in (43) because of the complicated calculations and approximations. Further, we find the long-time asymptotic behavior of the first two moments in physical coordinate, respectively reads

$$\begin{array}{c}\hfill ⟨y(t)⟩\sim \left\{\begin{array}{cc}\frac{a}{\lambda (1-\beta )}t,\hfill & \text{if}\beta <1,\hfill \\ \frac{a(-1+e^{\lambda t_0}(\lambda t_0-1)\Gamma (0,\lambda t_0)+ln(t)-ln(t_0))}{\lambda }t,\hfill & \text{if}\beta =1,\hfill \\ \frac{a(-1+\frac{1}{-1+\beta }+e^{\lambda t_0}(\lambda t_0-2+\beta )E_{\beta }(\lambda t_0))}{\lambda t_0^{\beta -1}}{t}^{\beta },\hfill & \text{if}\beta >1,\hfill \end{array}\right)\end{array}$$ 44

and

$$\begin{array}{c}\hfill ⟨y^2(t)⟩\sim \left\{\begin{array}{cc}\frac{a^2}{{\lambda }^2{(1-\beta )}^2}{t}^2,\hfill & \text{if}\beta <1,\hfill \\ \frac{a^2}{{\lambda }^2}{(\gamma +ln(t))}^2{t}^2,\hfill & \text{if}\beta =1,\hfill \\ C_0{t}^{2\beta },\hfill & \text{if}\beta >1.\hfill \end{array}\right)\end{array}$$ 45

The results for the first two moments in both coordinates are verified in Figs. 7 and 8. Since the diffusion in physical coordinate is superdiffusion, compared with the MSD of traditional free Lévy walk model in static medium which behaves as $⟨y^2(t)⟩\sim t$, we conclude that the combined action of non-static medium and external constant potential accelerates the motion of particles. For $\beta <1$, the first two moments $⟨y(t)⟩$ and $⟨y^2(t)⟩$ in physical coordinate grow as t and $t^2$, respectively, which are consistent with the results of Lévy walk under the action of external force in static medium in [74]. Therefore, the process is mainly driven by the external constant force and the non-static medium hardly affects the diffusion process. However, for $\beta >1$, the MSD $⟨y^2(t)⟩$ in physical coordinate is approximate to $t^{2\beta }$ (with logarithmic corrections in the marginal case $\beta =1$), which appears as same as the MSD of free Lévy walk in non-static medium [75]. Thus in this case, the spread of the walker is mainly driven by the non-static medium. Besides, after sufficiently long time, we find the initial velocity $v_0$ of each step does not affect the asymptotic forms of the first two moments in both coordinates.

Fig. 7.

Numerical simulations of the average moments of Lévy walk under the action of constant force in non-static medium with power-law scale factor by sampling over ${10}^4$ realizations. The running time PDF of Lévy walk behaves as exponential distribution $\varphi (\tau )=\lambda e^{-\lambda \tau }$ with $\lambda =1$. The other parameters are $v_0=1$, $x_0=y_0=0$, $a=1$, as well as $t_0=1$. For (a) and (d), we respectively take $\beta =0.5$ (squares) and $\beta =-1$ (stars); for (b) and (e), $\beta =1$; for (c) and (f), $\beta =2$

Fig. 8.

Numerical simulations of MSDs of Lévy walk under the action of constant force in non-static medium with power-law scale factor by sampling over ${10}^4$ realizations. The running time PDF of Lévy walk behaves as exponential distribution $\varphi (\tau )=\lambda e^{-\lambda \tau }$ with $\lambda =1$. The other parameters are same with the ones in Fig. 7

Power-Law Distributed Running Time

Anomalous diffusion can be modeled by the traditional Lévy walk model in static medium when the PDF of running time behaves as Pareto distribution,

$$\begin{array}{c}\hfill \varphi (\tau )=\frac{1}{{\tau }_0}\frac{\alpha }{{(1+\tau /{\tau }_0)}^{1+\alpha }},\end{array}$$ 46

where ${\tau }_0>0$ and $\alpha >0$. As above, in this subsection we concentrate on analyzing the dynamical behaviors of Lévy walk under the combined action of an external force and the non-static medium on the condition that the running time is power-law distribution.

Exponential Scale Factor

Inserting the exponential scale factor d(t) and power-law running time $\varphi (\tau )$ into (25)–(28) and combining with (21) and (22), we calculate the first two moments in comoving coordinate for $H>0$ after sufficiently long time, which respectively behave as

$$\begin{array}{c}\hfill \begin{array}{c}\hfill ⟨x(t)⟩\sim \frac{a\alpha (-1+\alpha +H{\tau }_0)-a\alpha e^{H{\tau }_0}((-1+\alpha )\alpha +2\alpha H{\tau }_0+H^2{\tau }_0^2)E_{1+\alpha }(H{\tau }_0)}{2H^2(-1+\alpha e^{H{\tau }_0}{\tau }_0^{\alpha }{H}^{\alpha }\Gamma (-\alpha ,H{\tau }_0))}\end{array}\end{array}$$ 47

and

$$\begin{array}{c}\hfill ⟨x^2(t)⟩\sim C.\end{array}$$ 48

Here, we derive the concrete expression of C and detailedly present it in (77). Correspondingly, the long-time asymptotic behaviour of the first two moments of Lévy walk moving under the combined action of constant force and exponential expansion medium in physical coordinate can be figured out, which respectively are

$$\begin{array}{c}\hfill \begin{array}{c}\hfill ⟨y(t)⟩\sim \frac{a\alpha e^{\mathit{Ht}}(-1+\alpha +H{\tau }_0)-a\alpha e^{H(t+{\tau }_0)}((-1+\alpha )\alpha +2\alpha H{\tau }_0+H^2{\tau }_0^2)E_{1+\alpha }(H{\tau }_0)}{2H^2(-1+\alpha e^{H{\tau }_0}{\tau }_0^{\alpha }{H}^{\alpha }\Gamma (-\alpha ,H{\tau }_0))}\end{array}\end{array}$$ 49

and

$$\begin{array}{c}\hfill ⟨y^2(t)⟩\sim C{e}^{2Ht}.\end{array}$$ 50

However, the long-time asymptotic expressions of the first two moments in comoving coordinate rely on the category of $\alpha$ for $H<0$, respectively, behaving as

$$\begin{array}{c}\hfill ⟨x(t)⟩\sim \left\{\begin{array}{cc}\frac{a}{4}(\alpha -2)(\alpha -1)e^{-Ht}{t}^2,\hfill & \text{if}0<\alpha <1,\hfill \\ \frac{a(\alpha -1)}{2(3-\alpha )}{\tau }_0^{\alpha -1}{e}^{-Ht}{t}^{3-\alpha },\hfill & \text{if}1<\alpha <2,\hfill \end{array}\right)\end{array}$$ 51

and

$$\begin{array}{c}\hfill ⟨x^2(t)⟩\sim \left\{\begin{array}{cc}\frac{a^2}{96}(\alpha -4)(\alpha -3)(\alpha -2)(\alpha -1)e^{-2Ht}{t}^4,\hfill & \text{if}0<\alpha <1,\hfill \\ \frac{a^2(\alpha -1){\tau }_0^{\alpha -1}}{4(5-\alpha )}{e}^{-2Ht}{t}^{5-\alpha },\hfill & \text{if}1<\alpha <2.\hfill \end{array}\right)\end{array}$$ 52

Again, we figure out the long-time asymptotic behavior of the first two moments in physical coordinates, respectively, being

$$\begin{array}{c}\hfill ⟨y(t)⟩\sim \left\{\begin{array}{cc}\frac{a}{4}(\alpha -2)(\alpha -1)t^2,\hfill & \text{if}0<\alpha <1,\hfill \\ \frac{a(\alpha -1)}{2(3-\alpha )}{\tau }_0^{\alpha -1}{t}^{3-\alpha },\hfill & \text{if}1<\alpha <2,\hfill \end{array}\right)\end{array}$$ 53

and

$$\begin{array}{c}\hfill ⟨y^2(t)⟩\sim \left\{\begin{array}{cc}\frac{a^2}{96}(\alpha -4)(\alpha -3)(\alpha -2)(\alpha -1)t^4,\hfill & \text{if}0<\alpha <1,\hfill \\ \frac{a^2(\alpha -1){\tau }_0^{\alpha -1}}{4(5-\alpha )}{t}^{5-\alpha },\hfill & \text{if}1<\alpha <2.\hfill \end{array}\right)\end{array}$$ 54

It should be noted that although the results in Eqs. (53) and (54) seem to be irrelevant to H, the exact forms do depend on H. For example, when $0<\alpha <1$, $⟨x(t)⟩=\frac{a(1-\alpha )e^{-Ht}}{4H^2}(-2\alpha +2\alpha e^{\mathit{Ht}}-2\alpha Ht+2H^2{t}^2-\alpha H^2{t}^2)$. On the basis of Eq. (29), in physical coordinate we have $⟨y(t)⟩=\frac{a(1-\alpha )}{4H^2}(-2\alpha +2\alpha e^{\mathit{Ht}}-2\alpha Ht+2H^2{t}^2-\alpha H^2{t}^2)$.

When the non-static medium is described by exponential scale factor with Hubble constant $H>0$, Eqs. (49) and (50) tell us that the first two moments in physical coordinate grow unbounded for $t\to \infty$ in the way of $e^{\mathit{Ht}}$ and $e^{2Ht}$ for $\alpha \in (0,1)\cup (1,2)$. Therefore, the dominative term of the overall diffusion process is the motion caused by the expansion of the medium. On the other hand, Eq. (48) shows that a stationary propagator will be involved in comoving coordinate for sufficiently long time for $\alpha \in (0,1)\cup (1,2)$ when the non-static medium is exponential expansion $H>0$. A superdiffusion can be found when the non-static medium is exponential contraction $H<0$. In this situation, the asymptotic behaviours of the first two moments rely on the category of $\alpha$. For example, the first two moments in physical coordinate respectively behave as $t^2$ and $t^4$ for $0<\alpha <1$ and appear as $t^{3-\alpha }$ and $t^{5-\alpha }$ for $1<\alpha <2$, which keep same with the first two moments of Lévy walk moving under the action of constant force in static medium. We come to a conclusion that the diffusion of the walker is mainly driven by constant external force when the medium is exponential contraction $H<0$. Furthermore, the average moments in both cases do not rely on the initial velocity of each step $v_0$. The above results are verified in Figs. 9 and 10.

Fig. 9.

Numerical simulations of the average moments of Lévy walk under the action of constant force in non-static medium with exponential scale factor by sampling over ${10}^4$ realizations. The running time PDF of Lévy walk behaves as Pareto distribution $\varphi (\tau )=\frac{1}{{\tau }_0}\frac{\alpha }{{(1+\tau /{\tau }_0)}^{1+\alpha }}$ with ${\tau }_0=1$. For (a) and (d), we take H=0.1, H=0.003, respectively. The values of $\alpha$ respectively are $\alpha =0.5$ (square) and $\alpha =1.5$ (stars). For (b) and (e), we take H=-0.003 and $\alpha =0.5$; and for (c) and (f), we take H=-0.003 and $\alpha =1.5$

Fig. 10.

Numerical simulations of MSDs of Lévy walk under the action of constant force in non-static medium with exponential scale factor by sampling over ${10}^4$ realizations. The walking time PDF of Lévy walk behaves as Pareto distribution $\varphi (\tau )=\frac{1}{{\tau }_0}\frac{\alpha }{{(1+\tau /{\tau }_0)}^{1+\alpha }}$ with ${\tau }_0=1$. The other parameters are same with the ones in Fig. 9

Power-Law Scale Factor

We calculate the long-time asymptotic behaviours of the first two moments in both coordinates when the scale factor of the non-static medium is power-law. As above, after some calculations we find that the asymptotic behaviours of the first two moments rely on the categories of $\alpha$. Specially, for $0<\alpha <1$, the first two moments in comoving coordinates respectively read

$$\begin{array}{c}\hfill ⟨x(t)⟩\sim \left\{\begin{array}{cc}\frac{a(\alpha -1)(4+(\alpha -2)\beta )t_0^{\beta }}{4(\beta -2)}{t}^{2-\beta },\hfill & \text{if}\beta <2,\hfill \\ \frac{a{t}_0^2\alpha }{2}(1-\alpha )\left(\gamma ,+,ln,(,t,)\right),\hfill & \text{if}\beta =2,\hfill \\ C_1,\hfill & \text{if}\beta >2,\hfill \end{array}\right)\end{array}$$ 55

and

$$\begin{array}{c}\hfill ⟨x^2(t)⟩\sim \left\{\begin{array}{cc}\frac{a^2(1-\alpha )(8+(\alpha -4)\beta )t_0^{2\beta }}{96(\beta -4)(\beta -3){(\beta -2)}^2}{t}^{4-2\beta },\hfill & \text{if}\beta <2,\hfill \\ \frac{a^2{\alpha }^2{t}_0^4}{4}{(\alpha -1)}^2{\left(\gamma ,+,ln,(,t,)\right)}^2,\hfill & \text{if}\beta =2,\hfill \\ C_2,\hfill & \text{if}\beta >2.\hfill \end{array}\right)\end{array}$$ 56

Correspondingly, the first two moments in physical coordinates satisfy

$$\begin{array}{c}\hfill ⟨y(t)⟩\sim \left\{\begin{array}{cc}\frac{a(\alpha -1)(4+(\alpha -2)\beta )}{4(\beta -2)}{t}^2,\hfill & \text{if}\beta <2,\hfill \\ \frac{a\alpha }{2}\left(\gamma ,+,ln,(,t,)\right)t^2,\hfill & \text{if}\beta =2,\hfill \\ C_1{t}^{\beta },\hfill & \text{if}\beta >2,\hfill \end{array}\right)\end{array}$$ 57

and

$$\begin{array}{c}\hfill ⟨y^2(t)⟩\sim \left\{\begin{array}{cc}\frac{a^2(1-\alpha )(8+(\alpha -4)\beta )}{96(\beta -4)(\beta -3){(\beta -2)}^2}{t}^4,\hfill & \text{if}\beta <2,\hfill \\ \frac{a^2{\alpha }^2}{4}{(\alpha -1)}^2{\left(\gamma ,+,ln,(,t,)\right)}^2{t}^4,\hfill & \text{if}\beta =2,\hfill \\ C_2{t}^{2\beta },\hfill & \text{if}\beta >2.\hfill \end{array}\right)\end{array}$$ 58

These results are verified in Figs. 11 and 12.

Fig. 11.

Numerical simulations of the average moments of Lévy walk under the action of constant force in non-static medium with power-law scale factor by sampling over ${10}^4$ realizations. The running time PDF of Lévy walk behaves as Pareto distribution $\varphi (\tau )=\frac{1}{{\tau }_0}\frac{\alpha }{{(1+\tau /{\tau }_0)}^{1+\alpha }}$ with ${\tau }_0=1$ and $\alpha =0.5$. Here, we assume $t_0=1$. For (a) and (d), we take $\beta =-1$ (squares) and $\beta =1$ (stars). For (b) and (e), we take $\beta =2$ and for (c) and (f), $\beta =3$

Fig. 12.

Numerical simulations of MSDs of Lévy walk under the action of constant force in non-static medium with power-law scale factor by sampling over ${10}^4$ realizations. The running time PDF of Lévy walk behaves as Pareto distribution $\varphi (\tau )=\frac{1}{{\tau }_0}\frac{\alpha }{{(1+\tau /{\tau }_0)}^{1+\alpha }}$ with ${\tau }_0=1$ and $\alpha =0.5$. The other parameters are same with the ones in Fig. 11

On the other hand, for $1<\alpha <2$, the first two moments in comoving coordinates approximate to the following expressions for long time limit,

$$\begin{array}{c}\hfill ⟨x(t)⟩\sim \left\{\begin{array}{cc}\frac{a(\alpha -1)(6-2\alpha -2\beta +\alpha \beta )}{2(\alpha -2)(\alpha -3)(3-\alpha -\beta )}{t}_0^{\beta }{\tau }_0^{\alpha -1}{t}^{3-\alpha -\beta },\hfill & \text{if}\beta <3-\alpha ,\hfill \\ \frac{a\alpha (\alpha -1)}{2(2-\alpha )}{t}_0^{3-\alpha }{\tau }_0^{\alpha -1}\left(\gamma ,+,ln,(,t,)\right),\hfill & \text{if}\beta =3-\alpha ,\hfill \\ C_3,\hfill & \text{if}\beta >3-\alpha ,\hfill \end{array}\right)\end{array}$$ 59

and

$$\begin{array}{c}\hfill ⟨x^2(t)⟩\sim \left\{\begin{array}{cc}\frac{a^2(\alpha -1)(10+\alpha (\beta -2)-4\beta )t_0^{2\beta }{\tau }_0^{\alpha -1}}{2(\alpha -5)(\alpha -4)(5-\alpha -2\beta )}{t}^{5-\alpha -2\beta },\hfill & \text{if}\beta <\frac{5-\alpha }{2},\hfill \\ \frac{a^2\alpha (\alpha -1)t_0^{5-\alpha }{\tau }_0^{\alpha -1}}{4(4-\alpha )}\left(\gamma ,+,ln,(,t,)\right),\hfill & \text{if}\beta =\frac{5-\alpha }{2},\hfill \\ C_4,\hfill & \text{if}\beta >\frac{5-\alpha }{2}.\hfill \end{array}\right)\end{array}$$ 60

Similarly, in physical coordinate, we have

$$\begin{array}{c}\hfill ⟨y(t)⟩\sim \left\{\begin{array}{cc}\frac{a(\alpha -1)(6-2\alpha -2\beta +\alpha \beta )}{2(\alpha -2)(\alpha -3)(3-\alpha -\beta )}{\tau }_0^{\alpha -1}{t}^{3-\alpha },\hfill & \text{if}\beta <3-\alpha ,\hfill \\ \frac{a\alpha (\alpha -1)}{2(2-\alpha )}{\tau }_0^{\alpha -1}{t}^{3-\alpha }\left(\gamma ,+,ln,(,t,)\right)\hfill & \text{if}\beta =3-\alpha ,\hfill \\ C_3{t}^{\beta },\hfill & \text{if}\beta >3-\alpha ,\hfill \end{array}\right)\end{array}$$ 61

and

$$\begin{array}{c}\hfill ⟨y^2(t)⟩\sim \left\{\begin{array}{cc}\frac{a^2(\alpha -1)(10+\alpha (\beta -2)-4\beta ){\tau }_0^{\alpha -1}}{2(\alpha -5)(\alpha -4)(5-\alpha -2\beta )}{t}^{5-\alpha },\hfill & \text{if}\beta <\frac{5-\alpha }{2},\hfill \\ \frac{a^2\alpha (\alpha -1){\tau }_0^{\alpha -1}}{4(4-\alpha )}\left(\gamma ,+,ln,(,t,)\right)t^{5-\alpha },\hfill & \text{if}\beta =\frac{5-\alpha }{2},\hfill \\ C_4{t}^{2\beta },\hfill & \text{if}\beta >\frac{5-\alpha }{2}.\hfill \end{array}\right)\end{array}$$ 62

We verify the above results in Figs. 13 and 14. Compared with the traditional Lévy walk model in static medium, we conclude that the combined action of constant force and non-static medium accelerates the motion of the diffusion particles. Notably, the dominative term of the diffusion process depends on the range of $\alpha$ and $\beta$. For example, if $0<\alpha <1$, the first two moments in physical coordinate respectively appear as $t^2$ and $t^4$ when $\beta <2$, which are same with the behaviours of particles in static medium under the action of constant potential. Furthermore, we prove that the non-static medium hardly affects the motion of the walker when the external potential comes into play. The dominative term of the diffusion process is the motion caused by external potential. However, the MSD in physical coordinate behaves as $t^{2\beta }$ for sufficiently long time when $\beta >2$, which are similar to the result of MSD of pure Lévy walk model moving in non-static medium with power-law scale factor [75]. Accordingly, we state that the diffusion process is mainly driven by the non-static expansion. Following the same way, for $1<\alpha <2$, we conclude the displacement of the particles is mainly driven by external potential when $\beta <\frac{5-\alpha }{2}$, whereas it is mainly driven by the non-static medium when $\beta >\frac{5-\alpha }{2}$.

Fig. 13.

Numerical simulations of the average moments of Lévy walk under the action of constant force in non-static medium with power-law scale factor by sampling over ${10}^4$ realizations. The running time PDF of Lévy walk behaves as Pareto distribution $\varphi (\tau )=\frac{1}{{\tau }_0}\frac{\alpha }{{(1+\tau /{\tau }_0)}^{1+\alpha }}$ with ${\tau }_0=1$ and $\alpha =1.5$. Here, we assume $t_0=1$. For (a) and (d), we take $\beta =-1$ (squares) and $\beta =1$ (stars). For (b) and (e), we take $\beta =1.5$ and for (c) and (f), $\beta =2$

Fig. 14.

Numerical simulations of MSDs of Lévy walk under the action of constant force in non-static medium with power-law scale factor by sampling over ${10}^4$ realizations. The running time PDF of Lévy walk behaves as Pareto distribution $\varphi (\tau )=\frac{1}{{\tau }_0}\frac{\alpha }{{(1+\tau /{\tau }_0)}^{1+\alpha }}$ with ${\tau }_0=1$ and $\alpha =1.5$. Expect that in (b) and (e), we take $\beta =1.75$. The other parameters in (a) and (d) as well as in (c) and (f) keep same with the ones of Fig. 13

Conclusion

In this paper we establish a Lévy walk model moving under the action of a constant external force in one dimensional non-static medium and study the dynamics of the model. First, we build a general equation, governing the PDF of the position of the particles in comoving coordinate by involving the scale factor. Next, we use Hermite orthogonal polynomials to approach the solution of the equation and some representative statistics are obtained by a series of functions to be determined. Furthermore, combining with some representative examples of the running time PDFs $\varphi (t)$ and scale factors d(t), we get the statistical properties in both coordinates through analytical analyses and numerical simulations.

For Lévy walk with the running time of exponential distribution, the motion of the particle is mainly driven by the non-static medium when the scale factor is an exponential function. Specially, for exponential expansion medium $H>0$, the first two moments in comoving coordinate tend to be a constant, resulting in growing exponentially in physical coordinate. However, for exponential contraction medium $H<0$, the first two moments in comoving and physical coordinates respectively are exponential growth and constant for sufficiently long time. Thus, a stationary propagator function emerges for the process with $H>0$ in comoving coordinate or $H<0$ in physical coordinate. We analyze the stationary distribution by numerical simulations. Next, we calculate the kurtosis of stationary distribution in physical coordinate for $H<0$, which reveals that K relies on $v_0,a,H,\lambda$. For any fixed $H,v_0,a$, we conclude that the stationary PDF is leptokurtic for small $\lambda$ and is Gaussian for large $\lambda$. The situation is completely different for non-static medium with power-law scale factor. The first two moments in physical coordinate respectively behave as t and $t^2$ after sufficiently long time when $\beta <1$, and are consistent with the first two moments of Lévy walk in static medium in constant force field. Therefore, the dominative term of the diffusion process is the motion caused by constant external force. On the other hand, the motion is determined by the non-static medium when $\beta >1$, since in non-static medium the exponent of the MSD in physical coordinate is same with the exponent of the MSD of pure Lévy walk. Besides, the initial value of velocity $v_0$ in each step has no influence on the average displacement in both scale factors d(t).

For Lévy walk with Pareto distributed running time, we also analyze the long time dynamic behaviours of Lévy walk under the combined action of constant force and the non-static medium. The first two moments in physical coordinate exponentially grow when the scale factor of the non-static medium exponentially expands with $H>0$, i.e., the expansion of the medium dominates the overall process. The long-time asymptotic behaviour of the first two moments relies on the category of $\alpha$ when the medium exponentially contracts with $H<0$, both of which are same with the first two moments of Lévy walk in constant force field in static medium for $\alpha \in (0,1)\cup (1,2)$. We conclude that the constant force drives the overall diffusion process. Finally, after sufficiently long time, we analyze the first two moments in physical coordinate when the non-static medium is described by power law scale factor. A critical value ${\beta }_c$ can be found in this case. When $\beta <{\beta }_c$ the MSDs in physical coordinate are same with the MSDs of Lévy walk in constant force field in static medium for $\alpha \in (0,1)\cup (1,2)$, i.e., the dominative term of the process is the motion induced by external constant potential. However, the MSDs in physical coordinate are similar to the results of MSDs of pure Lévy walk model moving in non-static medium when $\beta >{\beta }_c$, which implies that the non-static medium dominates the overall diffusion process. In addition, the critical value of ${\beta }_c$ depends on the categories of $\alpha$; if $\alpha \in (0,1)$ then ${\beta }_c=2$ while if $\alpha \in (1,2)$ then ${\beta }_c=(5-\alpha )/2$.

A: A Brief Introduction of Hermite Polynomials

Hermite polynomials are a set of orthogonal polynomials defined on $(-\infty ,\infty )$ with weight function $e^{-x^2}$ [3]. The standardized Hermite polynomial is given as

$$\begin{array}{c}\hfill H_n(x)={(-1)}^n{e}^{x^2}\frac{d^n}{d{x}^n}{e}^{-x^2}.\end{array}$$ 63

Furthermore, its orthogonality can be represented as

$$\begin{array}{c}\hfill {\int }_{-\infty }^{\infty }{H}_n(x)H_m(x)e^{-x^2}dx=\sqrt{\pi }{2}^{n}n!{\delta }_{n,m},\end{array}$$ 64

where ${\delta }_{n,m}$ is the Kronecker delta function. By Taylor’s expansion, it has

$$\begin{array}{c}\hfill H_n(x+y)=\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)H_k(y){(2x)}^{n-k},\end{array}$$ 65

and the following holds

$$\begin{array}{c}\hfill H_n(\gamma x)=\sum _{j=0}^{\lfloor \frac{n}{2}\rfloor }{\gamma }^{n-2j}{({\gamma }^2-1)}^j\left(\begin{array}{c}n\\ 2j\end{array}\right)\frac{(2j)!}{j!}{H}_{n-2j}(x),\end{array}$$ 66

where $\lfloor \frac{n}{2}\rfloor$ is the biggest integer smaller than $\frac{n}{2}$. The special value of Hermite polynomials is the value evaluated at zero argument $H_n(0)$, which are called Hermite number,

$$\begin{array}{c}\hfill H_n(0)=\left\{\begin{array}{cc}0,\hfill & \text{if}n\text{is}\text{odd,}\hfill \\ {(-1)}^{\frac{n}{2}}{2}^{\frac{n}{2}}(n-1)!!,\hfill & \text{if}n\text{is}\text{even}.\hfill \end{array}\right)\end{array}$$ 67

In particular,

$$\begin{array}{c}\hfill H_0(x)=1,H_1(x)=2x,H_2(x)=4x^2-2.\end{array}$$ 68

B: Derivations of (16) and (17)

Plugging (14) into (12) yields

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \sum _{n=0}^{\infty }{H}_n(x)T_n(t)e^{-x^2}& =\frac{1}{2}{\int }_0^t\sum _{n=0}^{\infty }{H}_n(x-\frac{\frac{1}{2}a{\tau }^2+v_0\tau }{d(t)})T_n(t-\tau )\hfill \\ \hfill & exp[-(x-\frac{\frac{1}{2}a{\tau }^2+v_0\tau }{d(t)}{)}^2]\varphi (\tau )d\tau \hfill \\ \hfill & +\frac{1}{2}{\int }_0^t\sum _{n=0}^{\infty }{H}_n\left(x,-,\frac{\frac{1}{2}a{\tau }^2-v_0\tau }{d(t)}\right)T_n(t-\tau )\hfill \\ \hfill & exp\left[-,{\left(x,-,\frac{\frac{1}{2}a{\tau }^2-v_0\tau }{d(t)}\right)}^2\right]\varphi (\tau )d\tau +P_0(x)\delta (t).\hfill \end{array}\end{array}$$ 69

Multiply both sides of (69) by $H_m(x)$, $m=0,1,2,\cdots ,$ and integrate x over $(-\infty ,+\infty )$. In accordance with the orthogonality of Hermite polynomials (64), the left hand of (69) becomes

$$\begin{array}{c}\hfill {\int }_{-\infty }^{+\infty }\sum _{n=0}^{\infty }{H}_n(x)T_n(t)H_m(x)e^{-x^2}dx=\sqrt{\pi }{2}^{m}m!T_m(t).\end{array}$$ 70

We next focus on the first term of the right hands of (69). After the above manipulations, it can be written as

$$\begin{array}{cc}& \frac{1}{2}{\int }_0^t\varphi (\tau )T_n(t-\tau ){\int }_{-\infty }^{+\infty }{H}_m(x)\sum _{n=0}^{\infty }{H}_n\left(x,-,\frac{\frac{1}{2}a{\tau }^2+v_0\tau }{d(t)}\right)\hfill \\ \hfill & exp\left[-,{\left(x,-,\frac{\frac{1}{2}a{\tau }^2+v_0\tau }{d(t)}\right)}^2\right]dxd\tau \hfill \\ \hfill & =\frac{1}{2}{\int }_0^t\varphi (\tau )T_n(t-\tau ){\int }_{-\infty }^{+\infty }{H}_m\left(y,+,\frac{\frac{1}{2}a{\tau }^2+v_0\tau }{d(t)}\right)\sum _{n=0}^{\infty }{H}_n(y)exp(-y^2)dyd\tau \hfill \\ \hfill & =\frac{1}{2}{\int }_0^t\varphi (\tau )T_n(t-\tau ){\int }_{-\infty }^{+\infty }\sum _{k=0}^m\left(\begin{array}{c}m\\ k\end{array}\right)H_k(y){\left(\frac{a{\tau }^2+2v_0\tau }{d(t)}\right)}^{m-k}\sum _{n=0}^{\infty }{H}_n(y)exp(-y^2)dyd\tau \hfill \\ \hfill & =\frac{1}{2}\sum _{k=0}^m\left(\begin{array}{c}m\\ k\end{array}\right){\int }_0^t\varphi (\tau )T_n(t-\tau ){\left(\frac{a{\tau }^2+2v_0\tau }{d(t)}\right)}^{m-k}{\int }_{-\infty }^{+\infty }{H}_k(y)\sum _{n=0}^{\infty }{H}_n(y)exp(-y^2)dyd\tau \hfill \\ \hfill & =\frac{1}{2}\sum _{k=0}^m\frac{m!}{k!(m-k)!}{\int }_0^t\sqrt{\pi }{2}^{k}k!{\left(\frac{a{\tau }^2+2v_0\tau }{d(t)}\right)}^{m-k}{T}_k(t-\tau )\varphi (\tau )d\tau \hfill \\ \hfill & =\frac{1}{2}\sum _{k=0}^m\frac{m!\sqrt{\pi }{2}^k}{(m-k)!}{\int }_0^t{\left(\frac{a{\tau }^2+2v_0\tau }{d(t)}\right)}^{m-k}{T}_k(t-\tau )\varphi (\tau )d\tau .\hfill \end{array}$$ 71

The above procedures are using the properties of Hermite polynomials presented in (64) and (65) in Appendix A. By the same procedure, the second term of the right hand side of (69) can be simplified as $\frac{1}{2}{\sum }_{k=0}^m\frac{m!\sqrt{\pi }{2}^k}{(m-k)!}{\int }_0^t{\left(\frac{a{\tau }^2-2v_0\tau }{d(t)}\right)}^{m-k}{T}_k(t-\tau )\varphi (\tau )d\tau$. Considering that the initial distribution of particles behaves as Dirac-delta function, i.e., $P_0(x)=\delta (x)$, the third term is reduced to ${\int }_{-\infty }^{+\infty }{H}_m(x)\delta (x)\delta (t)dx=\delta (t)H_m(0)$. Then we reach the iteration relation

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \sqrt{\pi }{2}^{m}m!T_m(t)=& \frac{1}{2}\sum _{k=0}^m\frac{m!\sqrt{\pi }{2}^k}{(m-k)!}{\int }_0^t\left[{\left(\frac{a{\tau }^2+2v_0\tau }{d(t)}\right)}^{m-k},+,{\left(\frac{a{\tau }^2-2v_0\tau }{d(t)}\right)}^{m-k}\right]\hfill \\ \hfill & \times T_k(t-\tau )\varphi (\tau )d\tau +\delta (t)H_m(0).\hfill \end{array}\end{array}$$ 72

Similarly, by substituting (15) into (13), the relation between $R_m(t)$ and $T_m(t)$ can be obtained as

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \sqrt{\pi }{2}^{m}m!R_m(t)=& \frac{1}{2}\sum _{k=0}^m\frac{m!\sqrt{\pi }{2}^k}{(m-k)!}{\int }_0^t\left[{\left(\frac{a{\tau }^2+2v_0\tau }{d(t)}\right)}^{m-k},+,{\left(\frac{a{\tau }^2-2v_0\tau }{d(t)}\right)}^{m-k}\right]\hfill \\ \hfill & T_k(t-\tau )\psi (\tau )d\tau .\hfill \end{array}\end{array}$$ 73

With the help of convolution theorem, Eqs. (15) and (16) can be obtained by taking Laplace transform on (72) and (73).

C: Some Specific Values

The value of Kurtosis of Lévy walk under the action of external constant potential in non-static medium with exponential contraction scale factor reads

$$\begin{array}{cc}& K\sim \frac{1}{{(5a^2{H}^3-11a^2{H}^2\lambda +6a^{2}H{\lambda }^2-a^2{\lambda }^3+2H^3{\lambda }^2{v}_0^2-5H^2{\lambda }^3{v}_0^2+4H{\lambda }^4{v}_0^2-{\lambda }^5{v}_0^2)}^2}\hfill \\ \hfill & \times [\frac{3a^4(105264H^{14}-923232H^{13}\lambda +3664808H^{12}{\lambda }^2-8701896H^{11}{\lambda }^3+13759459H^{10}{\lambda }^4)}{{(H-\lambda )}^2{(2H-\lambda )}^4{(3H-\lambda )}^2}\hfill \\ \hfill & +\frac{3a^4(-15255944H^9{\lambda }^5+12151591H^8{\lambda }^6-7007718H^7{\lambda }^7+2915137H^6{\lambda }^8-862504H^5{\lambda }^9)}{{(H-\lambda )}^2{(2H-\lambda )}^4{(3H-\lambda )}^2}\hfill \\ \hfill & +\frac{3a^4(176724H^4{\lambda }^{10}-23936H^3{\lambda }^{11}+1968H^2{\lambda }^{12}-82H{\lambda }^{13}+{\lambda }^{14})}{{(H-\lambda )}^2{(2H-\lambda )}^4{(3H-\lambda )}^2}\hfill \\ \hfill & +\frac{6a^2{\lambda }^2(22752H^{12}-154272H^{11}\lambda +462896H^{10}{\lambda }^2-809024H^9{\lambda }^3+911540H^8{\lambda }^4)v_0^2}{{(3H-\lambda )}^2{(2H-\lambda )}^4}\hfill \\ \hfill & +\frac{6a^2{\lambda }^2(-694298H^7{\lambda }^5+365279H^6{\lambda }^6-133283H^5{\lambda }^7+33349H^4{\lambda }^8-5565H^3{\lambda }^9)v_0^2}{{(3H-\lambda )}^2{(2H-\lambda )}^4}\hfill \\ \hfill & +\frac{6a^2{\lambda }^2(589H^2{\lambda }^{10}-36H{\lambda }^{11}+{\lambda }^{12})v_0^2}{{(3H-\lambda )}^2{(2H-\lambda )}^4}\hfill \\ \hfill & +\frac{3{(H-\lambda )}^4(4H-\lambda ){\lambda }^4(8H^3-8H^2\lambda +2H{\lambda }^2-{\lambda }^3)v_0^4}{{(2H-\lambda )}^2}].\hfill \end{array}$$ 74

Further, we consider K as a function of $v_0$ for any fixed $H,\lambda ,a$; after sufficiently long time, for small $v_0$, there is

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill K_{v_0\to 0}& \sim \frac{3(105264H^{14}-923232H^{13}\lambda +3664808H^{12}{\lambda }^2-8701896H^{11}{\lambda }^3+13759459H^{10}{\lambda }^4)}{{(H-\lambda )}^2{(2H-\lambda )}^4{(3H-\lambda )}^2{(5H^3-11H^2\lambda +6H{\lambda }^2-{\lambda }^3)}^2}\hfill \\ \hfill & +\frac{3(-15255944H^9{\lambda }^5+12151591H^8{\lambda }^6-7007718H^7{\lambda }^7+2915137H^6{\lambda }^8)}{{(H-\lambda )}^2{(2H-\lambda )}^4{(3H-\lambda )}^2{(5H^3-11H^2\lambda +6H{\lambda }^2-{\lambda }^3)}^2}\hfill \\ \hfill & +\frac{3(-862504H^5{\lambda }^9+176724H^4{\lambda }^{10}-23936H^3{\lambda }^{11}+1968H^2{\lambda }^{12}-82H{\lambda }^{13}+{\lambda }^{14})}{{(H-\lambda )}^2{(2H-\lambda )}^4{(3H-\lambda )}^2{(5H^3-11H^2\lambda +6H{\lambda }^2-{\lambda }^3)}^2};\hfill \end{array}\end{array}$$ 75

similarly, for large $v_0$, it has

$$\begin{array}{c}\hfill K_{v_0\to \infty }\sim \frac{3\left(32,H^4,-,40,H^3,\lambda ,+,16,H^2,{\lambda }^2,-,6,H,{\lambda }^3,+,{\lambda }^4\right)}{{(2H-\lambda )}^4}.\end{array}$$ 76

If we consider K as a function of a for any fixed $H,\lambda ,v_0$. By the same method, we find that $K_{a\to 0}=K_{v_0\to \infty }$ and $K_{a\to \infty }=K_{v_0\to 0}$.

The value of C in (48) is

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill C& =\frac{\alpha a^2}{64H^4(-1+\alpha e^{H{\tau }_0}{H}^{\alpha }{\tau }_0^{\alpha }\Gamma (-\alpha ,H{\tau }_0))(-1+2^{\alpha }\alpha e^{2H{\tau }_0}{H}^{\alpha }{\tau }_0^{\alpha }\Gamma (-\alpha ,2H{\tau }_0))}\hfill \\ \hfill & \times [6+\alpha (-3+\alpha (-10+7\alpha ))-4H{\tau }_0+2\alpha (-5+9\alpha )H{\tau }_0+4(1+\alpha )H^2{\tau }_0^2-8H^3{\tau }_0^3\hfill \\ \hfill & -16H^2(-1+\alpha )v_0^2-32H^3{\tau }_0{v}_0^2-26H{e}^{H{\tau }_0}{E}_{1+\alpha }(H{\tau }_0)a^2{\alpha }^3{\tau }_0+16H^4{\tau }_0^4{a}^2{e}^{2H{\tau }_0}\hfill \\ \hfill & +a^2{e}^{2H{\tau }_0}((1-\alpha )\alpha (-6+\alpha (-3+7\alpha ))+16\alpha (1+\alpha -2{\alpha }^2)H{\tau }_0+8(1-5\alpha )\alpha H^2{\tau }_0^2)\hfill \\ \hfill & +e^{2H{\tau }_0}16H^2((-1+\alpha )\alpha +4\alpha H{\tau }_0+4H^2{\tau }_0^2)v_0^2{E}_{1+\alpha }(2H{\tau }_0)\hfill \\ \hfill & +\alpha e^{H{\tau }_0}{E}_{1+\alpha }(H{\tau }_0)a^2((-6-7{\alpha }^3+10{\alpha }^2)+\alpha (3+2H{\tau }_0(9-14H{\tau }_0)))\hfill \\ \hfill & +\alpha e^{H{\tau }_0}{E}_{1+\alpha }(H{\tau }_0)a^{2}4H{\tau }_0(1+H{\tau }_0(1-2H{\tau }_0))+16\alpha e^{H{\tau }_0}{E}_{1+\alpha }(H{\tau }_0)H^2(-1+\alpha )v_0^2\hfill \\ \hfill & +e^{2H{\tau }_0}{a}^2((-1+\alpha )\alpha (-6+\alpha (-3+7\alpha ))+8(-1+\alpha )\alpha (2+5\alpha )H{\tau }_0)E_{1+\alpha }(2H{\tau }_0)\hfill \\ \hfill & +e^{2H{\tau }_0}{a}^{2}16\alpha (-1+5\alpha )H^2{\tau }_0^2{E}_{1+\alpha }(2H{\tau }_0)+32\alpha H^3{\tau }_0{v}_0^2{e}^{H{\tau }_0}{E}_{1+\alpha }(H{\tau }_0)\hfill \\ \hfill & +64a^2\alpha H^3{\tau }_0^3{e}^{2H{\tau }_0}{E}_{1+\alpha }(2H{\tau }_0)+e^{2H{\tau }_0}16H^4{a}^2{\tau }_0^4{E}_{1+\alpha }(2H{\tau }_0)\hfill \\ \hfill & -e^{2H{\tau }_0}16H^2((-1+\alpha )\alpha +4\alpha H{\tau }_0+4H^2{\tau }_0^2)v_0^2{E}_{1+\alpha }(2H{\tau }_0)].\hfill \end{array}\end{array}$$ 77

Declarations

Data availability

All data and models generated or used during the study appear in this article.