arxiv: v1 [math.ap] 22 Apr 2015

Transcription

1 Densities of Lévy walks and the corresponding fractional equations Marcin Magdziarz, Tomasz Zorawik arxiv: v [math.ap] Apr 5 Abstract In this paper we derive eplicit formulas for the densities of Lévy walks. Our results cover both jump-first and wait-first scenarios. The obtained densities solve certain fractional differential equations involving fractional material derivative operators. In the particular case, when the stability inde is rational, the densities can be represented as an integral of Meijer G function. This allows to efficiently evaluate them numerically. Our results show perfect agreement with the Monte Carlo simulations. Introduction The Continuous Time Random Walk CTRW is a stochastic process determined uniquely by i.i.d. random variables J, J,... representing consecutive jumps of the random walker, and i.i.d. positive random variables T,T,... representing waiting times between jumps, []. The trajectories of CTRW are step functions with intervals T i and jumps J i. Lévy walk is a particular case of CTRW satisfying the following additional condition J i = T i for every i N length of the jump equal to the length of the preceding waiting time. Lévy walks were defined for the first time in [, ] in the framework of generalized master equations. Since then, they became one of the most popular models in statistical physics with large number of important applications. Lévy walks have been found to be ecellent models in the description of various real-life phenomena and comple anomalous systems. The most striking eamples are: transport of light in optical materials [], foraging patterns of animals [, 3, 6], epidemic spreading [4, 7], human travel [5, 8], blinking nano-crystals [6], and fluid flow in a rotating annulus [4]. The main idea underlying the Lévy walk is the spatial-temporal coupling, which is manifested by the condition J i = T i. Thus, even if we assume that the distribution of jumps Y i is heavy-tailed with diverging moments, the Lévy walk itself has finite moments of all orders intuitively, long jumps are penalized by requiring more time to be performed. This is very different from α-stable Lévy processes with α <, which have infinite second moment. These desirable properties make Lévy walk particularly attractive for physical applications. Let us now recall the formal definition of Lévy walk. Let T i, i =,,..., be the sequence of i.i.d. positive random variables, representing the waiting times of the walker. Assume that they belong to the domain of attraction of one-sided α-stable law, i.e. [nt] n /α i= T i d S α t as n. Here, S α t is the α-stable subordinator with the Laplace transform [9] Eep{ ss α t} = ep{ ts α }, < α <.

2 Denote by Nt = ma{k : k T i t} the corresponding counting process. Net, define the jumps of the walker as J i = I i T i, where I,I,... are i.i.d. random variables, which are assumed independent of the sequence of waiting times T i. Each I i governs the direction of the jump, i.e. i= PI i = = p, PI i = = p, p. Thus, the walker jumps up with probability p and down with probability p. Clearly, the condition J i = T i is satisfied. The sequence of jumps J i defined above belongs to the domain of attraction of α-stable distribution [3] [nt] n /α i= J i d L α t as n. The process L α t is the α-stable Lévy motion with the corresponding Fourier transform Eep{ikL α t} = ep{ t k α cosπα/ ip tanπα/sgnk}. Later on we will also use the corresponding left-limit process Finally, the process L def α t = liml α s. sրt Nt J i Rt = is called Lévy walk. Rt is also known as wait-first Lévy walk in the literature [5], since the walker at the beginning of its motion t = first waits and then performs the jump. As shown in [3], Rt obeys the following scaling limit in distribution Rnt n i= d Xt. as n. Here Xt is the right-continuous version of the process L αsα t. Moreover, Sα t is the inverse of S α t, i.e. Sα t = inf{τ : S α τ > t}. Additionally, the instants of jumps as well as the respective jump lengths of the processes L α t and S α t are eactly the same. Also, the probability density function PDF p t of Xt satisfies the following fractional equation [, 3] [ p t α + p t + α ] t α p t = δ Γ α..3 α t y are the fractional material derivatives introduced in [3]. In the Here, the operators Fourier-Laplace space they are given by { F y L t t y α } fy,t = s ik α fk,s.

3 In what follows, we will find the eplicit solution of.3 by determining the PDF p t of the limit process Xt given in.. We will also consider the so-called jump-first Lévy walk [5] Rt = Nt+ i= It has the following scaling limit in distribution [4, 5] Rnt n J i. d Yt = L α S α t.4 as n. Moreover, the PDF w t y of Yt satisfies the fractional equation of the form [, 4] [ p t α + p y t + α ] w t y = y α Γ α t δ y uu α du..5 In the net two sections we will derive eplicit formulas for the PDFs of the limit processes Xt and Yt, respectively. This way we will obtain solutions of fractional equations.3 and.5. Densities of wait-first Lévy walks Let us start with the wait-first scenario. In the result below we determine the PDF of the limit processes Xt from eq... Theorem. If p, and α, then the PDF p t of the process Xt = L α S α t equals p t = α pα p α Γ α t z α w + w t w αr α z r p α z dzdw α p,t, α. where r α is a density of a positive α-stable random variable Z α with the Laplace transform Ee uzα = e uα. Proof. We start with reminding the following equality of distributions see [3]: L α t,s α t d = p α S α t p α S α t,p α S α t+ p α S α t,. where S α t and S α t are independent copies of S α t. Using this fact it was shown in [3] that the Lévy measure ν Lα,S α of L α t,s α t equals νd,ds = pδ s dν Sα ds+ pδ s dν Sα ds,.3 3

4 where ν Sα ds = α Γ α α ds. Hence, an infinitesimal generator A of the process L α t,s α t equals Af,s = [f+y,s+w f,s]ν Lα,S αdy,dw R = [f+y,s+w f,s].4 R pδ w dyν Sα dw+ pδ w dyν Sα dw. In [7] the authors consider among other processes the -dimensional process Xt, Vt, where Vt is the age process counting time that passed since the last jump ofxt. Equation.4 together with Remark 4. in the mentioned paper provides us with the joint distribution of Xt,Vt PXt = d,vt = dv = ν Lα,S αr [v, Ud,t dv { v t},.5 where Ud,ds is the -potential measure of the process L α t,s α t, defined as Ud,ds = PL α u = d,s α u = dsdu. The processvt is beyond our interest, but we will later obtain the distribution ofxt as a marginal distribution of Xt,Vt. This is the reason why we turn now our attention to Eq..5. We have ν Lα,S αr [v, = pν Sα [v, + pν Sα [v, = ν Sα [v, α = Γ α α d = v α Γ α..6 v Furthermore, a density u,s of the potential measure U can be calculated as u,s = w u,sdu,.7 where w t,s is the PDF of the process L α t,s α t. From Eq.. we get PL α t = d,s α t = ds = P S α = ds+d,s p α = ds d. α p α The Jacobian determinant in the above formula for the linear transformation of d, ds equals. Taking into account the independence of S p /α p /α α t and S α t we epress w t,s in terms of q t s - the PDF of S α t: s+ s w t,s = q pα p t q α p t. α p α Moreover the self-similarity of S α t provides us with the equation q u = q u = r α u α u α, α u α 4

5 here r α is the density of the random variable S α. We take into account the two above equations in Eq..7 and substitute u = z α to calculate the integral: s+ s u,s = q pα p u q α p u du α p α = u s+ pα p α rα u s α p α r α u α p α du.8 α α = z α s+ s r pα p α z r α p α z dz. α p α Finally we combine eqs..5,.6,.8 and integrate with respect to dv to obtain α p t = Γ α pα p α t v α z α t v + t v r α z r p α z dzdv α p α α = Γ α pα p α t z α w + w t w αr α z r p α z dzdw α p α We used here the fact that r α vanishes outside the positive half-line and substituted v = t w. One should mention here that the PDF of wait-first Lévy walk in the etreme cases p = and p = was already derived in [3]. For the special case α = we get the following simple epression for p t: Corollary. When α = and p, the PDF p t can be epressed as p t = π p p t p t+ pt+p + p+,t Proof. We have see [] r / = π 3 ep 4 Taking into account this formula and using the property of Gamma function Γ3/ = Γ/ = π we can calculate the following integral: z w + w r / p z r / p z dz = 4π w +w 3. 4p p z 5 ep p w + p w + w +w = 3 p 3 p 3. π p w + p w z dz.9

6 Substituting Eq..9 into Eq.. we arrive at p t = π p p t t w p +p w+ p p 3 dw,t. One can notice that below a,b and c are constants d c w = c w dw a+bca+bw a+bw 3, which finally implies p t = π p p t p t+ pt+p + p+,t. It is worth to mention here, that in a special case α = and p = we recover the known result [3] p t = t t w w 3 dw π,t = t πt,t. Figures and present the densities obtained from the above Corollary. 3.5 t=5 t= t= p t Figure : Plot of PDF p t of the process L αs α t for different values of t, α =.5, p =.. The drawback of using Theorem. to calculate p t in the general case is the necessity of knowing values of r α. One can use some known algorithms to approimate r α, however results are not perfect. Computations are time-consuming and inaccurate. They differ from those obtained via Monte-Carlo methods. However, as the net Corollary shows, we can epress p t in the form of an integral from Meijer G function see [9]. This special function is implemented in most of numerical packages, including Mathematica and Matlab. This representation is valid for rational α and can be used to approimate irrational α with a rational one. 6

7 6 5 p= p= p= Figure : For α =.5 we compare the obtained densities p for different values of p red solid lines with densities estimated using Monte Carlo methods blue pluses. Corollary. If p, and α = l k, where l,k N, then the PDF p t of the process Xt = L α S α t equals p t = α k+l k [ α t w + α pπ k l l α Γ α t w α w ] G k,k p α w+ l k,k α l, l, l+k,l+k p w k,, l,l α dw,t, l where G k,k l,l k,a l,b is a special list of k elements. is the Meijer G function see [9] and k,a = a k, a+ k a+ a+k,a+ k,..., k Proof. For α = l/k where k, l are positive integers with k > l we can epress r α in terms of the Meijer G function see [8]: r l/k = kl l l π k l/ Gk, l,k k k l l, k,. 7

8 This gives us z α w + w q α z q p α z dz α p α kl 4 p αp α l = z α π k l G k, ll w + l, w w + l,k z k k p k, α l G k, ll w l, l,k z k k p dz k, α k 4 p αp l α = u α π k l l G k, ll w+ w w + l,k u l, k k p k, α l G k, ll w l,k u l, k k p du k, α k 4 p αp α l l α/l α w + = π k l w w + k k p α G k,k p α w + l k,k α l, l, l+k,l+k p w k,, l,l α. l We substituted in the above equations z l = u. Moreover we used properties of Meijer G functions see [9] to calculate the integral from multiplication of these functions. To end the proof we substitute the calculated above integral into Eq... Figure 3 presents densities calculated here. Another method for calculating r α, where is not necessarily rational, was presented in []. α=.5 α=.5 α= Figure 3: For p =.5 we compare the densities p obtained in Corollary. for different values of α red solid lines with densities estimated using Monte Carlo methods blue pluses. 3 Densities of first-jump Lévy walks This section is devoted to the first-jump scenario. Below we find the PDF of the process Yt from.4. At the same time this PDF solves the fractional equation.5. 8

9 Theorem 3. If p, and α, then the PDF w t y of the process Yt = L α S α t equals: i if y < t, then ii if y t, then y t α p α w t y = z α p αγ α t t y+ w + w r α z r p α z y α dzdwd α p α + α p α p αγ α t t z α y t+y w + w r α z r p α z y α dzdwd, α p α w t y = α p α t t z α p αγ α t w + w r α z r p α z y α dzdwd, α p α iii if y t, then w t y = α p α p αγ α t t z α t w + w r α z r p α z y α dzdwd. α p α Here r α y is a density of a positive α-stable random variable Z α with the Laplace transform and a b = maa,b Proof. From Remark 4. in [7] we get PYt = dy,rt = dr = Ee uzα = e uα R w [,t] Ud,dwν Lα,S α dy,dr +t w where Rt is a process that counts how long the process Yt remains constant from the moment t. After applying Eq..3 the above equation reads PYt = dy,rt = dr [ = Ud,dw pδ dr+t w dy ν Sα dr +t w R w [,t] ] + pδ dr t+w dy ν Sα dr +t w 9

10 Now we can recover the distribution of Yt as a marginal distribution. We calculate the density w t y applying Tonelli s theorem to change the order of integration: w t y = α Γ α r [, R w [,t] [ u, w pδ r+t w y dr +t w α + pδ dr t+w y dr +t w α] dwddr α t t [ = u, w p Γ α,y t y+, wy α t + p y, t+y, w y α] dwd. The area of integration in the above integral depends on the relation of y with t - we have three cases. The first case is described by the condition y < t. Then If y t then w t y = w t y = and finally if y t then pα y t Γ α t + pα Γ α t y+ t t y t+y u,wy α dwd u,w y α dwd. pα y t u,wy α dwd Γ α t t y+ w t y = pα Γ α t t y t+y u,w y α dwd. Substituting Eq..8 for u,w in all three cases ends the proof. In the special case α = we get the following simple epression for w ty: Corollary 3. When α = the PDF w ty can be epressed as if y < t and as w t y = p pt π w t y = p π t t y t+y +y t y +t+y yt y t+y p pt+ py t y py t + py +t if y t and as w t y = p π t y pt y + p y t if y t.

11 Proof. The density w t y is symmetric in a following sense: w t y p = w t y p, where w t y c denotes the PDF of the process Yt with parameter p = c. Thus it is enough to calculate w t y for y > - we assume now y >. There are two cases: y < t and y t. In the first case from Theorem 3. and Eq..9 we have w t y = p p 3/ π + p p 3/ π y t t t y+ p w y+ p w +y 3/ y 3/ dwd t t y t+y p w y+ p w +y 3/ y 3/ dwd Notice that in the above integrals t y+ = t y+ when y t and t y+ = = if y t y+t. Similarly t+y = t+y when and t+y = = if y+t. Thus w ty can be epressed as a sum of four integrals, each of them having a simple region of integration. We can calculate all of them using standard integration techniques. After tedious computations we finally get the desired result for w t y in case when y,t. In the second case, that is y t, from Theorem 3. and Eq..9 we have w t y = p p 3/ π t p w y+ p w +y 3/ y 3/ dwd + t t t p w y+ p w +y 3/ y 3/ dwd Again, applying standard integration techniques we obtain the desired result for w t y when y > t. In a special case α = and p = the PDF w ty has the form if y < t and w t y = t π t t+y t y y t y +t+y w t y = π yt y t+y t t y y t + y +t if y t. Figure 4 presents w y for different values of p. Notice that in all cases we have a characteristic sharp peak at y = t and y = t. However when p the left peak gets bigger and the right one diminishes. The opposite situation appears when p.

12 p= p= p=.5 y y.4 y Figure 4: For α =.5 we compare the densities w y obtained in Corollary 3. for different values of p red solid lines with densities estimated using Monte Carlo methods blue pluses..5. t=5 t= t=.5 w t y y Figure 5: Plot of PDF w t y of the process L α S α t for different values of t, α =.5, p =.5. Acknowledgements This research was partially supported by NCN Maestro grant no. /6/A/ST/58. References [] P. Barthelemy, P.J. Bertolotti, D.S. Wiersma, A Lévy flight for light. Nature 453 8, [] W.J. Bell Searching Behaviour. Chapman & Hall, London 999. [3] H.C. Berg Random Walks in Biology. Princeton University Press, Princeton 983. [4] D. Brockmann, Human mobility and spatial disease dynamics. Chap., pp. 4 in Reviews of Nonlinear Dynamics and Compleity, Vol., edited by H. Shuster, Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim. [5] D. Brockmann, L. Hufnagel, T. Geisel, The scaling laws of human travel. Nature 439 6, [6] M. Buchanan, Ecological modelling: The mathematical mirror to animal nature. Nature 453 8,

13 [7] B. Dybiec, Random strategies of contact tracking. Physica A 387 8, [8] M.C. Gonzales, C.A. Hidalgo, A.L. Barabási, Understanding individual human mobility patterns. Nature 453 8, [9] A. Janicki, A. Weron, Simulation and Chaotic Behavior of α-stable Stochatic Processes. Dekker, New York 994. [] A. Jurlewicz, P. Kern, M.M. Meerschaert, H.P Scheffler, Fractional governing equations for coupled random walks. Comput. Math. Appl. 64, 3Ű-336. [] J. Klafter, A. Blumen, M.F. Shlesinger, Stochastic pathway to anomalous diffusion. Phys. Rev. A , [] J. Klafter, I.M. Sokolov, First Steps in Random Walks. From Tools to Applications. Oford University Press, Oford. [3] M. Magdziarz, W. Szczotka, P. Zebrowski, Langevin Picture of Lévy Walks and Their Etensions. J. Stat. Phys. 7,, [4] M. Magdziarz, M. Teuerle, Asymptotic properties and numerical simulation of multidimensional Lévy walks. Commun. Nonlinear Sci. Numer. Simul. 5, [5] M. Magdziarz, M. Teuerle, P. Zebrowski, Scaling limits of overshooting Levy walks, Acta Phys. Polon. B 43, 3. [6] G. Margolin, E. Barkai, Nonergodicity of blinking nanocrystals and other Lévy-walk processes. Phys. Rev. Lett. 94 5, 86. [7] M.M. Meerchaert, P. Straka: Semi-Markov approach to continuous time random walk limit processes. The Annals of Probability, Vol. 4, No. 4 4, [8] K.A. Penson, K. Gorska, Eact and Eplicit Probability Densities for One-Sided Lévy Stable Distributions. Phys. Rev. Lett. 5, 64. [9] A.P. Prudnikov, Yu. A. Brychkov A., O. I. Marichev O.I., Integrals and Series. Gordon and Breach, Amsterdam 998. [] A. Saa, R. Venegeroles, Alternative numerical computation of one-sided LÃľvy and Mittag- Leffler distributions, Phys.Rev.E 84, 67. [] K.I. Sato, Lévy Processes and Infinitely Divisible Distributions. Cambridge University Press, Cambridge 999. [] M.F. Shlesinger, J. Klafter, Y.M Wong, Random walks with infinite spatial and temporal moments, J. Stat. Phys. 7 98, [3] I.M. Sokolov, R. Metzler, Towards deterministic equations for Lévy walks: The fractional material derivative. Phys. Rev. E 67 3, R. [4] T.H. Solomon, E.R. Weeks, H.L. Swinney, Observation of anomalous diffusion and Lévy flights in a two-dimensional rotating flow. Phys. Rev. Lett , [5] V. Zaburdaev, S. Denisov, J. Klafter, Lévy Walks. arxiv:

14 Hugo Steinhaus Center, Department of Mathematics, Wroclaw University of Technology, Wyspianskiego 7, 5-37 Wroclaw, Poland. 4