One Dimensional Random Motion on Segment with Reflecting Edges and Dependent Increments
Abstract: In previous papers, the author considered the model of anomalous diffusion, defined by stable random process on an interval with reflecting edges. Estimates of the rate convergence of this process distribution to a uniform distribution are constructed. However, recent physical studies require consideration of models of diffusion, defined not only by stable random process with independent increments but multivariate fractional Brownian motion with dependent increments. This task requires the development of special mathematical techniques evaluation of the rate of convergence of the distribution of multivariate Brownian motion in a segment with reflecting boundaries to the limit. In the present work, this technology is developed and a power estimate of the rate of convergence to the limiting uniform distribution is built.

1. Introduction

In recent years, fractional Brownian motion has experienced significant growth in the applied problems of physics     in connection with the necessity of modelling chaotic behaviour of the diffusing impurity in a variety of environments and alloys. Therefore there is a need to analyse the speed of mixing of impurities (convergence to the uniform distribution) in areas with reflecting boundaries, which cannot be obtained by the method of Fourier series.

Algorithm of constructing of such estimates was described in  for one-dimensional case and was based on the method of analysis of anomalous diffusion  , simulating stable random process with independent increments. It is based on reflection formula for the density of the anomalous diffusion process. However, in recent years, there have been a lot of physical researches, in which models of fractional Brownian motions are used.

Therefore, in the present work the algorithm of the corresponding estimates for the fractional Brownian motion on interval with reflecting edges is constructed. This algorithm is based on a calculation of a derivative of series which is describing density of fractional Brownian motion distribution  .

2. Preliminaries

Let $y\left(t\right),t\ge 0$ is a random process with a fixed initial value $y\left(0\right)=0$ . Consider random process $Y\left(t\right)$ comparable to $y\left(t\right)$ but reflected at the ends of the segment $\left[0,1\right]$ in the following way.

Construction of random process reflected on interval [0, 1]

The one-dimensional process $y=y\left(t\right),t\ge 0$ is mapped to the reflected (from the boundaries of the segment $\left[0,1\right]$ random process $Y\left(t\right)=g\left(s\left(y\left(t\right)\right)\right)$ , where the functions $s:{E}^{1}\to \left[0,2\right)$ , $g:\left[0,2\right)\to \left[0,1\right]$ are defined by the equalities $s\left(u\right)=\left(u\right)/mod\text{\hspace{0.17em}}2$ , $g\left(u\right)=u,\text{\hspace{0.17em}}0\le u\le 1$ , $g\left(u\right)=2-u,\text{\hspace{0.17em}}1 ,  . Here $u/mod\text{\hspace{0.17em}}A=A\left\{u/A\right\},A>0$ ; $\left\{z\right\}$ ―the fractional part of a real number z.

Reflection formula for random process with symmetric density

Let ${f}_{t}={f}_{t}\left(u\right)$ is a distribution density of a random variable (r.v.) $Y\left(t\right)$ . Then by the formula $Y\left(t\right)=g\left(s\left(y\left(t\right)\right)\right)$ we have:

${f}_{t}\left(u\right)=\underset{k=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left(u-2k\right)+\underset{k=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left(2-\left(1+u\right)-2k\right),\text{\hspace{0.17em}}u\in \left[0,1\right],$

${f}_{t}\left(u\right)=0,\text{\hspace{0.17em}}u\notin \left[0,1\right]$ . If for each $t>0$ the density ${p}_{t}\left(u\right)$ is symmetric in $u:{p}_{t}\left(u\right)={p}_{t}\left(-u\right)$ , then for $u\in \left[0,1\right]$

${f}_{t}\left(u\right)=\underset{k=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left(u-2k\right)+\underset{k=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left(-u-\left(2k+1\right)\right)=\underset{k=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left(u-k\right),$ (1)

${f}_{t}\left(u\right)=0,\text{\hspace{0.17em}}u\notin \left[0,1\right]$ .

It is interesting to note that the formula (1), giving the distribution of the reflected diffusion process, is very similar by its structure to the formula obtained by reflection (  , Chapter III, 13, paragraphs 5, 6) and gives the solution of the wave equation for a finite string with fixed ends.

Reflection formula for random process with periodic initial conditions

Define ${f}_{t}\left(u-a\right)$ the density of distribution of random process $y\left(t\right)+a$ reflected from the ends of the segment $\left[0,1\right]$ , $0\le a\le 1$ . Let S is a random variable, uniformly distributed on the set $\left\{0,1/n,\cdots ,\left(n-1\right)/n\right\}$ , and random variable S and random process $y\left(t\right)$ are independent. We introduce the function ${F}_{t}\left(u\right)={f}_{t}\left(u-S\right),0\le u\le 1$ , then

$\begin{array}{c}{F}_{t}\left(u\right)=\frac{1}{n}\underset{s=0}{\overset{n-1}{\sum }}\text{ }{f}_{t}\left(u-s/n\right)=\frac{1}{n}\underset{s=0}{\overset{n-1}{\sum }}\underset{k=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left(u-k-s/n\right)\\ =\frac{1}{n}\underset{k=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left(u-k/n\right).\end{array}$ (2)

Because of Formula (2) the function ${F}_{t}\left(u\right)$ possesses following properties:

${F}_{t}\left(u\right)={F}_{t}\left(u+1/n\right),\text{\hspace{0.17em}}0\le u\le 1-1/n,$

${F}_{t}\left(u/n\right)=\frac{1}{n}\underset{k=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left(\left(u-k\right)/n\right),\text{\hspace{0.17em}}0\le u\le 1.$ (3)

The first equality in (3) means that the function ${F}_{t}\left(u\right)$ consists of n periods of length 1/n on the interval $\left[0,1\right]$ . The second equality in (3) means that on the interval $\left[0,1/n\right]$ the function ${F}_{t}\left(u\right)$ characterizes the distribution density of a random process $ny\left(t\right)$ reflected from the ends of the segment $\left[0,1/n\right]$ .

In turn, the function ${F}_{t}\left(u-1/2n\right)$ characterizes the distribution density of a random process $y\left(t\right)+\stackrel{^}{s}+1/2n$ with an initial condition $\stackrel{^}{s}+1/2n$ , which has a uniform distribution on the set of points $1/2n,3/2n,\cdots ,\left(2n-1\right)/2n$ and is independent with random process $y\left(t\right)$ .

Self-similar stochastic processes with reflection and periodic initial conditions

Let the random process $y\left(t\right)$ is self-similar of order a  , i.e. for every $t\ge 0$ the random variables $y\left(t/{r}^{-1/a}\right),\text{\hspace{0.17em}}ry\left(t\right)$ coincides in distribution:

$y\left(t/{r}^{-1/a}\right)\stackrel{d}{=}ry\left(t\right).$

In terms of the density distribution this relation looks like

${p}_{t}\left(ur\right)={p}_{t/{r}^{-1/a}}\left(u\right).$ (4)

We now turn to the calculation of the function ${F}_{t}\left(u/n\right)$ assuming that self-similar random process $y\left(t\right)$ has a symmetric density ${p}_{t}\left(u\right)$ :

$\begin{array}{c}{F}_{t}\left(u/n\right)=\underset{k=-\infty }{\overset{\infty }{\sum }}\frac{1}{n}{p}_{t}\left(\left(u-k\right)/n\right)\\ =\underset{k=-\infty }{\overset{\infty }{\sum }}{p}_{t/{n}^{1/a}}\left(u-k\right)={f}_{t/{n}^{1/a}}\left(u\right),\text{\hspace{0.17em}}0\le u\le 1.\end{array}$

Hence in particular it follows the equality

${F}_{t}\left(u/n-1/2n\right)={f}_{t/{n}^{-1/a}}\left(u-1/2\right),\text{\hspace{0.17em}}0\le u\le 1.$ (5)

Then from Formulas (3), (5) we get the equality

${F}_{t}\left(u-1/2n\right)={f}_{t{n}^{1/a}}\left(u-1/2\right).$ (6)

Multidimensional random process with independent components

For simplicity of notation all future constructions without loss of generality, we spend for the flat case $m=2$ . Consider a two-dimensional random process with independent components of $\stackrel{\to }{y}\left(t\right)=\left({y}_{1}\left(t\right){y}_{2}\left(t\right)\right)$ , having symmetric and self-similar density distribution of order a. Construct a process $\stackrel{\to }{Y}\left(t\right)$ with reflections from the boundaries of the square ${\left[0,1\right]}^{2}$ using the obvious equalities:

$\stackrel{\to }{Y}\left(t\right)=\left({Y}_{1}\left(t\right),{Y}_{2}\left(t\right)\right),\text{\hspace{0.17em}}{Y}_{1}\left(t\right)=g\left(s\left({y}_{1}\left(t\right)\right)\right),\text{\hspace{0.17em}}{Y}_{2}\left(t\right)=g\left(s\left({y}_{2}\left(t\right)\right)\right).$

In this case equalities ${p}_{t}\left({u}_{1},{u}_{2}\right)={p}_{t}\left({u}_{1}\right){p}_{t}\left({u}_{2}\right)$ are true and so

$\begin{array}{c}{f}_{t}\left({u}_{1},{u}_{2}\right)=\underset{{k}_{1},{k}_{2}=-\infty }{\overset{\infty }{\sum }}\left[\left({p}_{t}\left({u}_{1}-2{k}_{1},{u}_{2}-2{k}_{2}\right)+{p}_{t}\left(2-\left(1+{u}_{1}\right)-2{k}_{1},{u}_{2}-2{k}_{2}\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{p}_{t}\left({u}_{1}-2{k}_{1},2-\left(1+{u}_{2}\right)-2{k}_{2}\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{p}_{t}\left(2-\left(1+{u}_{1}\right)-2{k}_{1},2-\left(1+{u}_{2}\right)-2{k}_{2}\right)\right]\\ ={f}_{t}\left({u}_{1}\right){f}_{t}\left({u}_{2}\right).\end{array}$

Let $s=\left({s}_{1},{s}_{2}\right)$ is a random vector, uniformly distributed on the set of numbers $\mathcal{I}=\left\{\left({p}_{1},{p}_{2}/n\right),\text{\hspace{0.17em}}{p}_{1},\text{\hspace{0.17em}}{p}_{2}=0,\cdots ,n-1\right\}$ , and independent random vector $s$ and a random process $\stackrel{\to }{y}\left(t\right)$ . We introduce the function ${F}_{t}\left(\stackrel{\to }{u}\right)={f}_{t}\left(\stackrel{\to }{u}-\stackrel{\to }{s}\right),$ $\stackrel{\to }{u}\in {\left[0,1\right]}^{2}$ , then

$\begin{array}{c}{F}_{t}\left(\stackrel{\to }{u}\right)=\frac{1}{{n}^{2}}\underset{\stackrel{\to }{i}\in \mathcal{I}}{\sum }\text{ }{f}_{t}\left(\stackrel{\to }{u}-\stackrel{\to }{s}\right)=\frac{1}{{n}^{2}}\underset{\stackrel{\to }{i}\in \mathcal{I}}{\sum }\underset{{k}_{1}=-\infty }{\overset{\infty }{\sum }}\underset{{k}_{2}=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left(\stackrel{\to }{u}-\stackrel{\to }{k}-\stackrel{\to }{i}\right)\\ =\frac{1}{{n}^{2}}\underset{{k}_{1},{k}_{2}=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left(\stackrel{\to }{u}-\stackrel{\to }{k}/n\right)\\ =\frac{1}{n}\underset{{k}_{1}=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left({u}_{1}-{k}_{1}/n\right)\frac{1}{n}\underset{{k}_{2}=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left({u}_{2}-{k}_{2}/n\right)={F}_{t}\left({u}_{1}\right){F}_{t}\left({u}_{2}\right).\end{array}$ (7)

Because of the equality (7) the function ${F}_{t}\left(\stackrel{\to }{u}\right)$ has the following properties:

${F}_{t}\left(\stackrel{\to }{u}\right)={F}_{t}\left(\stackrel{\to }{u}+\stackrel{\to }{i}\right),\text{\hspace{0.17em}}\stackrel{\to }{u}\in {\left[0,1/n\right]}^{2},\text{\hspace{0.17em}}\stackrel{\to }{i}\in \mathcal{I},$

${F}_{t}\left(\stackrel{\to }{u}/n\right)=\frac{1}{{n}^{2}}\underset{{k}_{1},{k}_{2}=-\infty }{\overset{\infty }{\sum }}{p}_{t}\left(\left(\stackrel{\to }{u}-\stackrel{\to }{k}\right)/n\right),\text{\hspace{0.17em}}\stackrel{\to }{u}\in {\left[0,1\right]}^{2}.$

Let $f\left(\stackrel{\to }{u}\right)=\left(f\left({u}_{1}\right),f\left({u}_{2}\right)\right)$ , then from Formula (7) it is easy to obtain the equality

$\begin{array}{c}{F}_{t}\left(\stackrel{\to }{u}\right)-f\left(\stackrel{\to }{u}\right)=\left({F}_{t}\left({u}_{1}\right)-f\left({u}_{1}\right)\right)\left({F}_{t}\left({u}_{2}\right)-f\left({u}_{2}\right)\right)+f\left({u}_{1}\right)\left({F}_{t}\left({u}_{2}\right)-f\left({u}_{2}\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+f\left({u}_{2}\right)\left({F}_{t}\left({u}_{1}\right)-f\left({u}_{1}\right)\right).\end{array}$

For a function $\phi \left(u\right)$ defined on the interval $\left[0,1\right]$ , we introduce the norm $‖\phi ‖=\mathrm{sup}\left\{|\phi \left(u\right)|,\text{\hspace{0.17em}}u\in \left[0,1\right]\right\}$ . A similar norm is introduced for a function $\phi \left(\stackrel{\to }{u}\right)$ , defined on the square ${\left[0,1\right]}^{2}$ . Let ${\Delta }_{n}\left(t\right)=‖{F}_{t}\left(u\right)-f\left(u\right)‖$ , then the following inequality holds

$\begin{array}{c}‖{F}_{t}\left(\stackrel{\to }{u}\right)-f\left(\stackrel{\to }{u}\right)‖\le ‖{F}_{t}\left({u}_{1}\right)-f\left({u}_{1}\right)‖‖{F}_{t}\left({u}_{2}\right)-f\left({u}_{2}\right)‖\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+f\left({u}_{2}\right)‖{F}_{t}\left({u}_{1}\right)-f\left({u}_{1}\right)‖+f\left({u}_{1}\right)‖{F}_{t}\left({u}_{2}\right)-f\left({u}_{2}\right)‖\\ \le {\Delta }_{n}^{2}\left(t\right)+\left(f\left({u}_{1}\right)+f\left({u}_{2}\right)\right){\Delta }_{n}\left(t\right)\\ ={\Delta }_{n}^{2}\left(t\right)+2{\Delta }_{n}\left(t\right)\to 0,\text{\hspace{0.17em}}t\to \infty .\end{array}$ (8)

3. Examples of Random Processes Anomalous Diffusion

Anomalous diffusion

Let ―homogeneous random process with independent increments, . The difference is symmetric on stable distribution with parameter and the characteristic function .

Process is describing in  anomalous diffusion on an infinite straight line. From this definition it follows that this process satisfing equality (4) is self-similar and therefore satisfies the equality (6).

Introduce on the binary operation “ ”, the unary operation of taking inverse element “ ”: , , . It is easy to check that so defined on operations generate commutative group C in addition with the identity element 0 and the inverse u element of . It is obvious that the mapping is a homomorphism of the additive group of real numbers on the group C, i.e. the fair equalities,.

Therefore, when we have . Consequently, the random process with independent and homogeneous increments and the distribution density is a homogeneous Markov with values in the group C, and with the density of the conditional distribution

, hence the equality

(9)

is true. Denote, then

and so

(10)

From equality (9), it follows that

Let densities of uniform distributions on the intervals, respectively.

Lemma 1. For an arbitrary

(11)

Proof. Assuming and using Formula (10) we obtain for:

that is for

(12)

With the help of Formulas (10), (12) it is easy to obtain that

(13)

From Formulas (1), (13) follows the inequality (11). Lemma 2 is proved.

So we obtain geometric by t convergence rate of the density to the density of the uniform distribution with. Moreover, due to (6) with

(14)

Hence when we have n-periodic initial conditions, the characteristic time mixing with anomalous diffusion is reduced to times.

Fractional Brownian motion

Let is a fractional Brownian motion  . Fractional Brownian motion with Hurst parameter a is Gaussian process with zero mean and covariance function

The process of fractional Brownian motion satisfies the condition of self-similarity (4) and has a symmetric density distributions of. Using the process we define reflected from the cut ends, the process by the equation.

Lemma 2. When the following relation is valid:

(15)

Proof. Fix and denote

remark that

(16)

Using Formula (1) and the theorem on the differentiability of a series of the functions compute the derivative

(17)

Differentiability of a series of functions standing in the right part of the equality follows from the absolute convergence of the series I.

Put in virtue of Formula (16) the number I can be represented in the form.

Compute the derivative of:

(18)

Highlight on the real axis the following segments:

In virtue of (18) run inequalities:

In accordance with the issued for the segment of inequalities we get:

Designate and we deduce from the last inequalities following relationships:

From them it is easy to obtain:

Therefore, we have:

and so the sum satisfies the inequalities:

how do we get that

Because of Formula (18), the resultant inequality and the definition of the sums, we find:

Therefore, the following inequality holds, which leads to the relation (11). Lemma 2 is proved.

Theorem 3. If the following inequality holds

(19)

Proof. Because of Formula (1) equalities take place. Let. In Lemma 2 the following inequality holds, therefore

and hence. Here we come to the statement of Theorem 3.

Because of Formula (6) from inequality (19) we have

(20)

Hence for n-periodic initial conditions the characteristic time mixing under fractional Brownian motion is reduced to times.

4. Conclusions

Obtained in the present work, an upper estimate of the convergence rate of the density function of a multidimensional fractional Brownian motion with reflection at the boundaries of a square is not exponential as in the usual Brownian motion or a stable process with independent increments. Apparently this is due to the fact that the multidimensional fractional Brownian motion models the processes with chaotic behavior  .

In the work  , it is considered a model of fractional Brownian motion with dependent components. However, this model fails to obtain the corresponding results in the case of periodic initial conditions. But in the case of independent components multidimensional Brownian motion satisfies the statement of Theorem 3.

Acknowledgements

The paper is supported by RFBR, project 17-07-00177.

Cite this paper: Tsitsiashvili, G. (2018) One Dimensional Random Motion on Segment with Reflecting Edges and Dependent Increments. Journal of Applied Mathematics and Physics, 6, 488-497. doi: 10.4236/jamp.2018.63045.
References

   Chen, S., Yu, L.P., Ren, J.L., Xie, X., Li, X.P., Xu, Y., Zhao, G.F., Li, P.Z., Yang, F.Q., Ren, Y. and Liaw, P.K. (2016) Self-Similar Random Process and Chaotic Behavior. In Serrated Flow of High Entropy Alloys. Scientific Reports, 6, Article Number: 29798.
https://doi.org/10.1038/srep29798

   Caroll, R., Lee, C., Tsai, C.-W., Yeh, J.-W., Antonaglia, J., Brinkman, B.A.W., et al. (2015) Experiments and Model for Serration Statistics in Low-Entropy, Medium-Entropy, and High-Entropy Alloys. Scientific Reports, 5, Article Number: 16997.
https://doi.org/10.1038/srep16997

   Zhang, Z.J., et al. (2015) Experiments and Model for Serration Statistics in Low-Entropy, Medium Entropy Alloys. Nat Commun, 6. PMC free article.

   Youssef, K.M., Zaddach, A.J., Niu, C.N., Irving, D.L. and Koch, C.C. (2015) A Novel Low Density, High-Hardness, High Entropy Alloy with Close Packed Single-Phase Nanocrystalline Structures. Materials Research Letters, 3, No. 2.

   Tsitsiashvili, G.Sh. (2015) Characteristic Time of Diffusive Mixing in Cube with Reflecting Edges. American Journal of Modern Physics, 6, 81-87.

   Tsitsiashvili, G.Sh. (2013) Anomalous Diffusion on Finite Interval. Journal of Mathematical Sciences, 191, 582-587.
https://doi.org/10.1007/s10958-013-1342-5

   Tsitsiashvili, G.Sh. (2017) Convergence of Fractional Brownian Motion with Reflections to Uniform Distribution. Applied Mathematical Sciences, 11, 2103-2112.

   Vladimirov, V.S. (1967) Equations of Mathematical Physics. Nauka, Moscow. (In Russian)

   Embrechts, P. and Maejima, M. (2000) An Introduction to the Theory of Self-Similar Stochastic Processes. International Journal of Modern Physics B, 14, 1399.
https://doi.org/10.1142/S0217979200001047

   Uchaikin, V.V. (2002) Multidimensional Symmetric Anomalous Diffusion. Chemical Physics, 284, 507-520.
https://doi.org/10.1016/S0301-0104(02)00676-6

   Mikosch, T., et al. (2002) Is Network Traffic Approximated by Stable Levy Motion or Fractional Brownian Motion? Annals of Applied Probability, 12, 23-68.

   Tsitsiashvili, G.Sh. (2017) Multivariate Fractional Brownian Motion in Cube with Reflecting Edges. Applied Mathematical Sciences, 11, 2315-2324.

Top