Path integral formulation of fractional Brownian motion for general Hurst exponent arxiv:85.117v1 [cond-mat.stat-mech] 8 May 28 I Calvo 1 and R Sánchez 2 1 Laboratorio Nacional de Fusión, Asociación EURAOM-CIEMA, 284 Madrid, Spain 2 Fusion Energy Division, Oak Ridge National Laboratory, Oak Ridge, N 37831, U.S.A. 1. Introduction E-mail: ivan.calvo@ciemat.es, sanchezferlr@ornl.gov Abstract. In J. Phys. A: Math. Gen. 28, 435 1995, K. L. Sebastian gave a pathintegral computation of the propagator of subdiffusive fractional Brownian motion fbm, i.e. fbm with a Hurst or self-similarity exponent H, 1/2. he extension of Sebastian s calculation to superdiffusion, H 1/2, 1], becomes however quite involved due to the appearance of additional boundary conditions on fractional derivatives of the path. In this paper, we address the construction of the path integral representation in a different fashion, which allows to treat both subdiffusion and superdiffusion on an equal footing. he derivation of the propagator of fbm for general Hurst exponent is then performed in a neat and unified way. PACS numbers: 5.4.-a, 2.5.Ey, 5.1.Gg he Langevin representation for Brownian motion has been known for a long time [1, 2]. In one dimension, it can be formally written as xt = x + t where ξt is a Gaussian, uncorrelated noise function: ξt dt, 1 ξtξt = δt t. 2 he propagator of Brownian motion, which gives the probability of finding the Brownian walker at some location x at time t > after having started at x at time, is a Gaussian whose width grows as t 1/2 : Gx, t x, = 1 2πt exp x x 2 2t. 3 However, many interesting processes ranging from hydrology [3] to finance [4] or tracer transport by turbulent flows [5] exhibit anomalous diffusion, x x 2 t 2H,
Path integral formulation of fbm for general Hurst exponent 2 with H 1/2. In many situations the anomalous behaviour is due to spatiotemporal correlations, which translate into long-term time correlations in Lagrangian quantities. A generalization of Brownian motion which was proposed to include such correlations is known as fractional Brownian motion fbm [6]. Although slightly different representations can be found in the literature [6, 7], the one more convenient for our purposes is xt = x + 1 ΓH + 1 2 t t t H 1 2 ξt dt, 4 where Γ is the Gamma function and ξt is still Gaussian and uncorrelated. he exponent H corresponds to both the self-similarity exponent of the process [6] and the Hurst exponent [8] of the incremental process dxt := xt + dt xt. On the one hand, the average motion is invariant under the transformation x, t µ H x, µt. On the other hand, the increments dxt are uncorrelated for H = 1/2 and anticorrelated correlated for H, 1/2 H 1/2, 1]. Consequently, 4 can be used to model diffusive H = 1/2, subdiffusive H, 1/2, and superdiffusive H 1/2, 1] transport processes. In a beautiful paper [9], K. L. Sebastian showed that it is very advantageous to rewrite fbm in terms of fractional differential operators, xt = x + D H+1/2 t ξ, 5 where Dt α is the Riemann-Liouville fractional integral of order α [1, 11]. Indeed, by combining path integral methods [12] with fractional calculus, he computed the exact propagator of 4 for H 1/2. However, the case H > 1/2 is not addressed in [9] because the problem becomes quite more complicated from the technical point of view. he difficulties may be explained as follows. Sebastian constructs the path integral by inverting 5 in terms of Riemann-Liouville fractional differential operators. his is easy for H 1/2 because such inversion is well-defined simply imposing the boundary conditions x = x and x = x. However, if H > 1/2 additional boundary conditions involving fractional derivatives at t = are required. Not only is the physical meaning of these fractional initial conditions unclear, but also the computation along the lines of [9] results too cumbersome. In this paper, we formulate the path integral for fbm using instead ξt as the integration variable. his choice avoids the need to invert 5, and thus the need for the additional fractional initial conditions. In our approach the difficulty resides in how to manage the boundary conditions of xt, which translate into a non-local constraint on the admissible realizations of the noise. We will see below that the usage of Lagrange multipliers allows to do this in an easy and transparent way, thus providing a general path-integral derivation of the well-known propagator of fbm [13].
Path integral formulation of fbm for general Hurst exponent 3 2. Path integral calculation of the propagator Given a Langevin equation describing the motion of a particle, the propagator Gx, x, is defined as the probability to find the particle at x = x at time t = if initially, t =, it was located at x = x. Hence, the propagator can be viewed as the motion of the particle averaged over all realizations of the noise compatible with the boundary conditions x = x, x = x. In the path integral formalism this is formulated as follows. he essential object is the probability measure PξtDξt on the space of maps ξt : [, ] R. Since ξt is uncorrelated in time and distributed as a Gaussian for each t, this is naturally defined as PξtDξt = exp 1 ξt 2 dt Dξt. 6 2 We want to compute the propagator of 5. Firstly, note that the boundary conditions x = x, x = x translate into the following constraint on ξt: D H+1/2 ξ = x x. 7 herefore, the propagator can be written as the expectation value: Gx, x, = δ D H+1/2 ξ x x exp 1 ξt 2 dt Dξt, 8 2 where the Dirac delta function ensures that we only integrate over maps ξt satisfying 7. We proceed to compute the path integral on the right-hand side of 8. Define the action S[ξt] = 1 2 ξt 2 dt, 9 and consider infinitesimal variations on the space of maps ξt satisfying 7. We denote by ξt the map which makes the action stationary under such variations. Observe that, in particular, ξt verifies 7. Now, we perform the following change of variables in 8: ξt = ξt + ηt. 1 he constraint 7 implies that D H+1/2 η =. 11 Using that the action is quadratic in ξt and that ξt makes it stationary, Gx, x, = e S[ ξt] δ η e S[ηt] Dηt, 12 D H+1/2 whence we deduce that the propagator is of the form Gx, x, = fe S[ ξt]. 13 he function f will be determined at the end of the calculation by imposing the normalization condition Gx, x, dx = 1,. 14
Path integral formulation of fbm for general Hurst exponent 4 It only remains to compute the stationary points of S[ξt] subject to the constraint 7. It is difficult to do it directly, for the condition 7 is hard to implement. he technique of Lagrange multipliers saves the day, though. Our problem is equivalent to finding the stationary points of S[ξt, ] = 1 ξt 2 dt + D H+1/2 ξ x x, 15 2 under arbitrary infinitesimal variations of ξt and the Lagrange multiplier R. From variations with respect to, δ S[ξt, ] = δ D H+1/2 ξ x x, 16 we recover, of course, the constraint 7: D H+1/2 ξ = x x. 17 Let us perform now variations in ξt: δ ξ S[ξt, ] = Writing explicitly the fractional integral: δ ξ S[ξt, ] = ξtδξtdt + = ξt + ξtδξtdt + D H+1/2 δξ. 18 ΓH + 1/2 th 1/2 ΓH + 1/2 Since δ ξ S[ ξt, ] must vanish for arbitrary δξt, we deduce ξt + t H 1/2 δξtdt 19 δξtdt. 2 ΓH + 1/2 th 1/2 =. 21 he Lagrange multiplier is determined by applying D H+1/2 using 17: x x + Immediately, we find and x x + ΓH + 1/2 2 2H Γ 2 H + 1/2 2H to Eq. 21 and t 2H 1 dt =. 22 =, 23 = 2HΓ 2 H + 1/2 x x. 24 2H Inserting this in 21: ξt = 2HΓH + 1/2 x x 2H th 1/2. 25 Going back to 13 we straightforwardly obtain Gx, x, = f exp HΓ 2 H + 1/2 x x 2. 26 2H
Path integral formulation of fbm for general Hurst exponent 5 And f is obtained from the normalization property, 14: H ΓH + 1/2 f =. 27 π H Hence, finally, H ΓH + 1/2 Gx, x, = exp HΓ 2 H + 1/2 x x 2. 28 π H 2H 2.1. he kinetic equation Once the propagator is known, we can easily derive the kinetic equation associated to fbm. he Fourier transform of Gx, t x, with respect to x is t 2H Ĝk, t = exp 4HΓ 2 H + 1/2 k2. 29 Differentiating with respect to t: t 2H 1 t Ĝk, t = 2Γ 2 H + 1/2 k2 Ĝk, t. 3 Finally, we Fourier invert this expression to get the kinetic equation: t Gx, t = t 2H 1 2Γ 2 H + 1/2 2 xgx, t, 31 which is a diffusion equation with time-dependent diffusivity, as originally deduced in [13] from arguments based on the fluctuation-dissipation theorem. he invariance of 31 under the transformation x, t µ H x, µt is manifest. Obviously, when H = 1/2 we retrieve the standard diffusion equation associated to Brownian motion: t Gx, t = 1 2 2 xgx, t. 32 3. Conclusions In this paper we have computed by path integral methods the well-known propagator of fbm for general Hurst exponent, extending the construction of [9], which was restricted to the subdiffusive case. he key technical point in our approach is to use the noise as path integral variable instead of the coordinate of the particle trajectory. Acknowledgements: I. C. acknowledges the hospitality of Oak Ridge National Laboratory, were this work was carried out. Part of this research was sponsored by the Laboratory Research and Development Program of Oak Ridge National Laboratory, managed by U-Battelle, LLC, for the US Department of Energy under contract number DE-AC5-OR22725.
Path integral formulation of fbm for general Hurst exponent 6 References [1] P. Langevin. C. R. Acad. Sci. Paris, 146:53 533, 198. [2] G. E. Uhlenbeck and L. S. Ornstein. Phys. Rev., 36:823 841, 193. [3] F. J. Molz, H. H. Liu, and J. Szulga. Water Resour. Res., 33:2273, 1997. [4] R. J. Elliott and J. van der Hoek. Fractional Brownian motion and financial modeling. In rends in Mathematics, Birkhäuser Verlag, Basel, 21. [5] R. Sánchez, B. A. Carreras, D. E. Newman, V. E. Lynch, and B. Ph. van Milligen. Phys. Rev. E, 74:1635, 26. [6] B. B. Mandelbrot and J. W. van Ness. SIAM Rev., 1:422, 1968. [7] G. Samorodnitsky and M. S. aqqu. Stable non-gaussian processes. Chapman & Hall, New York, 1994. [8] H. E. Hurst. rans. Am. Soc. Civ. Eng., 116:77, 1951. [9] K. L. Sebastian. J. Phys. A: Math. Gen., 28:435, 1995. [1] K. Oldham and J. Spanier. he Fractional Calculus. Academic Press, New York, 1974. [11] I. Podlubny. Fractional differential equations. Academic Press, New York, 1998. [12] R. P. Feynman and A. R. Hibbs. Quantum Mechanics and Path Integrals. McGraw-Hill, New York, 1965. [13] K. G. Wang and C. W. Lung. Phys. Lett. A, 151:119, 199.