## Services on Demand

## Article

## Indicators

- Cited by SciELO
- Access statistics

## Related links

- Cited by Google
- Similars in SciELO
- Similars in Google

## Share

## Brazilian Journal of Physics

*On-line version* ISSN 1678-4448

### Braz. J. Phys. vol.30 no.1 São Paulo Mar. 2000

#### http://dx.doi.org/10.1590/S0103-97332000000100012

**Diffusion-limited annihilation and the reunion of bounded walkers **

M. J. de Oliveira

*Instituto de Física*

*Universidade de São Paulo*

*Caixa Postal 66318*

*05315-970 São Paulo, SP, Brazil*

**Received 15 December 1999 **

We study the long time behavior of a one-species reaction-diffusion processkA ®lA wherekparticles coalesce intolparticles. The asymptotic time behavior of the density of particles is derived by mapping the reaction-diffusion process into the problem of the reunion ofkrandom walkers bounded to move in a limited region.

**I Introduction**

The study of reaction-diffusion processes has been the subject of much interest in the last two decades [1-40]. In a reaction-diffusion system the reactants are transported by diffusion. These systems have two characteristic time scales: the reaction time and the diffusion time. When the reaction time is much larger than the diffusion time the process is called reaction-limited. In this case most of the time the reactants are performing diffusion so that the whole process is limited by reaction. The kinetics is dominated by diffusion which implies that it is well described by the laws of mass-action or mean-field equations.

When the diffusion time is much larger than the reaction time the process is called diffusion-limited. In this case the reactions take place in a very short time so that the whole process is limited by diffusion. For low dimensions, the process is dominated by fluctuations and the kinetics is no longer described by mean-field equations.

Here we are interested in the limiting case of diffusion-limited processes in which the reactions take place instantaneously. Moreover, we will consider only the case of one-species annihilation and coalescence processes. More specifically, one considers a one-species process in which particles react only when a certain number *k* of them meet, *kA* ® *l**A*, with *l* *k*. The extinction of particles by reaction may be total (*l* = 0, annihilation) or partial (*l* ¹ 0, coalescence). In any case, the density of particles r(*t*) vanishes in the long-time limit. Such systems have been studied for the case of bimolecular reactions (*k* = 2) in one dimension [5,10,13,16-22,30,32,34-36] as well as in general dimension [3,8,11,12,14,23,25,28]. Some works concentrated on the case of multimolecular reactions in one dimension [24,26,27,29,33] as well as in general dimension [7,31].

The classical rate equation, or mean-field equation, for the density of particles is given by

where *a* a positive constant. From this equation it follows that the density of particles decreases asymptotically according to the power law

This mean-field behavior is valid for dimensions *d* greater than a critical dimension *d*_{c} given by

For *d* < *d*_{c} it is conjectured that

For *d* = *d*_{c} the mean-field result is expected to have logarithm corrections.

The results (3) and (4) have been conjectured by means of scaling arguments [7,8], exact results in one dimension [5,10,13,15-17,19,20,21,27], renormalization group calculations [12,23,25,28,31], and probabilistic approaches [3,16,17]. The main purpose of the present article is to derive the results (2), (3) and (4) by mapping the reaction-diffusion process, in its late stages, into the problem of finding the time it takes for a group of random walkers, confined in a limited space, to meet.

**II Model and mean-field solution **

In this section we consider a mean-field approach to the diffusion-limited annihilation of particles in a lattice. We will see that, although the approach does not provide us with equation (1), it gives other rate equations from which one derives the expected asymptotic time behavior of the density given by equation (2).

Consider a *d*-dimensional hypercubic lattice in which particles diffuse over the sites. To each site one associates a variable h_{i} that takes the values 0, 1, 2, ..., *k* - 1 according whether the site is empty, occupied by just one particle, two particles, ..., *k *- 1 particles. At each time step, a pair of nearest-neighbor sites is chosen at random and their state changes according to the following rules:

a) diffusion

b) extinction of particles

When a site is occupied by *k* particles, *k - l* of them disappear instantaneously and the site becomes occupied by just *l* particles. In the following we will set up and solve the mean-field equations. For convenience we will consider only the annihilation case, *l* = 0.

Let us define *P*_{n}(*t*) as the probability that a given site has *n* particles at time *t*. According to the rules above we find the following time evolution for this probability

and

for 0 *n* £ *k* - 1, with the condition *P*_{k,m} = 0, where *P*_{nm}(*t*) is the probability that a nearest neighbor pair of sites have *n* and *m* particles at time *t*, and a is a constant. These equations can be written in the form

and

for 0 *n* £ *k* - 1, with the condition *P*_{k,m} = 0.

These equations are exact but cannot be solved by themselves since we need the time evolution equation for the two body correlation *P*_{nm}. To solve them we use a truncation scheme which consists in using the approximation *P*_{n,m} = *P*_{n}*P*_{m} on the right had site of (11) and (12). The equations then become closed in the variables *P*_{n}

and

for 0 *n* £ *k* - 1, with the condition *P*_{k} = 0. These equations can be solved in the long time regime with the solution

for *n* = 1, 2, ...,* k* - 1. In expression (15), only the dominant term is presented. Terms of order smaller than the dominant are neglected.

The density of particles r is given by

and has the asymptotic behavior

as expected.

**III The reunion of bounded walkers **

It is convenient to define two useful quantities. The first is the average time interval between two consecutive reactions, denoted by t. Since just after a reaction the number of particles is reduced by an amount *k - l*, it follows that t is related to the decreasing rate of the density r by

The other quantity, denoted by *L*, is related to the mean distance between particles, or more precisely, it is the size of a hypercubic cell containing *k* particles, on the average. If the lattice is partitioned into hypercubic cells of linear size *L* with *k* particles each, on the average, it follows that *L* is related to the density of particles r by

If a relation between t and *L* is found then this relation together with equations (18) and (19) will allow us to obtain the density r as a function of time.

The relation between t and *L* can be obtained as follows. Consider a typical hypercubic cell of linear size *L* in the *d*-dimensional space where the particles, or random walkers, are diffusing according to the rules (5), (6), (7), and (8). This typical cell will have *k* walkers which are assumed to be bounded to move inside this cell. An estimate of the quantity t will be the time it will take for these *k* walkers to meet, starting, for instance, far away from each other.

Consider *k* random walkers confined on a region of linear size *L* of a *d*-dimensional lattice. The walkers perform independent Brownian motion and eventually meet. Assuming translational invariance it suffices to consider the movement of the walkers relative to one of the walkers which we place at the origin. The problem then becomes equivalent to finding the time t^{*} it takes for the other *k* - 1 walkers to meet at the origin. The relation between t and t^{*} is t = t^{*}*L*^{d}.

Since the walkers move independently of each other the kinetics can be reduced to just one random walker diffusing in a hypercubic space of dimension *D* = *d*(*k* - 1) which we may think as the direct product of *k* - 1 subspaces of dimension *d*. The projection of the solitary walker trajectory over each of the subspaces gives the trajectory of each of the *k* - 1 walkers. The problem is then reduced to finding the time it takes for this solitary walker to reach the origin.

We will consider next a random walk on a hypercubic lattice of dimension *D* with periodic boundary conditions and *N* = *L*^{D} distinct lattice points. The walker starts from a given point *x*_{0} ¹ 0 and at each time step the walker jumps to one of the 2*D* nearest neighbor sites with equal probability. To calculate the average time to reach the origin we let the origin be an absorbing point. Let *P*(*x*,* t*) be the probability that the walker be at site *x* at time *t*. Its time evolution obeys the equation

where *w*(*x*) is the rate of jumping to a neighboring site and the summation is over the 2*D* nearest neighbor sites of site *x*. The rate *w*(*x*) = a, a nonzero constant, for *x* ¹ 0 and *w*(0) = 0 since the origin is an absorbing site.

The probability that the walker be at the origin (and remain forever there) at time *t* is *P*(0, t). For a finite lattice, in any dimension, *P*(0, t)® 1 as *t*® ¥ since *x* = 0 is an absorbing state. In this case, the average time t^{*} to reach the origin will be finite and is given by

This formula can be understood observing that the probability that the walker reach the origin between *t* and *t*+D*t* is *P*(*t*+D*t*)-*P*(*t*) » (*dP*/*dt*)D*t*.

Using the Laplace transform

equation (20) becomes

where *P*(*x*, 0) = d(*x*,* x*_{0}) since at time *t* = 0 the walker is at position *x* = *x*_{0}.

We define next the Fourier transform of (*x*, *z*) given by

where the summation is over the sites of the hypercubic lattice, and *q* is a vector belonging to the first Brillouin zone. From equation (23) it follows that

where

Summing the right and left hand sides of equation (25) over *q* and taking into account that

where the summation in *q* is over the first Brillouin zone, we get

where

is the lattice Green function.

From the Laplace transform (0, *z*) we can obtain the probability *P*(0, t) and from it the average time t^{*}. However, it is possible to calculate t^{*} directly from (0, *z*). Indeed, from (21) it follows that

For small values of *z*, the Green function (29) behaves as

as long as *N* is finite. Owing to equation (28), we get finally the following result for the first-passage time [41]

This equation allows us to calculate the t^{*} for large values of *L* in any dimension *D*. We need t for the case in which *x*_{0} is proportional to *L*. We will set *x*_{0} = (*L*/2,* L*/2, ..., *L*/2). The asymptotic results, valid for large values of *L*, are

where the constant *C*_{D} is given by

For *D* ³ 2, the dominant contribution comes from small *q*.

Using these results with *D* = *d*(*k* - 1) and equations (18) and (19), and recalling that t = t^{*}*L*^{d}, we obtain the following asymptotic behavior for the density

** IV Conclusion **

We have studied the long time behavior of a one-species reaction-diffusion process in a hypercubic lattice where a specified number of particles coalesce into a smaller number of particles. The asymptotic behavior of the density of particle was obtained by mapping the process into the problem of the reunion of random walkers that are confined to move in a limited region.

**References**

[1] Ya. B. Zeldovich and A. A. Ovchinnikov, Sov. Phys. JETP **47**, 829 (1978). [ Links ]

[2] A. A. Ovchinnikov and Ya. B. Zeldovich, Chem. Phys. **28**, 215 (1978). [ Links ]

[3] M. Bramson and D. Griffeath, Z. Wahrsch. verw. Gebiete **53**, 183 (1980); Ann. Prob. **8**, 183 (1980). [ Links ]

[4] A. S. Mikhailov, Phys. Lett. A **85**, 214, 427 (1981). [ Links ]

[5] D. C. Torney and H. M. McConnell, J. Phys. Chem. **87**, 1941 (1983). [ Links ]

[6] D. Toussaint and. F. Wilczek, J. Chem. Phys. **78**, 2642 (1983). [ Links ]

[7] K. Kang, P. Meakin, J. H. Oh and S. Redner, J. Phys. A **17**, L665 (1984). [ Links ]

[8] K. Kang and S. Redner, Phys. Rev. A **30**, 2833 (1984); **32**, 435 (1985). [ Links ]

[9] A. S. Mikhailov and V. V. Yashin, J. Stat. Phys. **38**, 347 (1985). [ Links ]

[10] Z. Rácz, Phys. Rev. Lett. **55**, 1707 (1985). [ Links ]

[11] G. Zumofen, A. Blumen and J. Klafter, J. Chem. Phys. **82**, 3198 (1985). [ Links ]

[12] L. Peliti, J. Phys. A**19**, L365 (1986). [ Links ]

[13] A. A. Lushnikov, Sov. Phys. JETP **64**, 811 (1986); Phys. Lett. A **120**, 135 (1987). [ Links ]

[14] D. ben-Avraham, J. Stat. Phys. **48**, 315 (1987); Phil. Mag. B **56**, 1015 (1987). [ Links ]

[15] C. R. Doering and D. ben-Avraham, Phys. Rev. **38**, 3035 (1988). [ Links ]

[16] J. L. Spouge, Phys. Rev. Lett. **60**, 871 (1988). [ Links ]

[17] D. J. Balding and N. J. B. Green, Phys. Rev. A **40**, 4585 (1989). [ Links ]

[18] M. A. Burschka, C. R. Doering and D. ben-Avraham, Phys. Rev. Lett. **63**, 700 (1989). [ Links ]

[19] D. ben-Avraham, M. A. Burschka and C. R. Doering, J. Stat. Phys. **60**, 695 (1990). [ Links ]

[20] J. G. Amar and F. Family, Phys. Rev. A **41**, 3258 (1990). [ Links ]

[21] F. Family and J. G. Amar, J. Stat. Phys. **65**, 1235 (1991). [ Links ]

[22] C. R. Doering, M. A.Burschka and W. Horsthemke, J. Stat. Phys. **65**, 953 (1991). [ Links ]

[23] T. Ohtsuti, Phys. Rev. A **43**, 6917 (1991). [ Links ]

[24] P. Nielaba and V.Privman, Mod. Phys. Lett. B**6**, 533 (1992). [ Links ]

[25] B. Friedman, G. Levine and B. O'Shaughnessy, Phys. Rev. A **46**, 7343 (1992). [ Links ]

[26] V. Privman and M. D. Grynberg, J. Phys. A **25**, 6567 (1992). [ Links ]

[27] V. Privman, Phys. Rev. A **46**, 6140 (1992). [ Links ]

[28] M. Droz and L. Sasvári, Phys. Rev. E **48**, 2343 (1993). [ Links ]

[29] D. ben-Avraham, Phys. Rev. Lett. **71**, 3733 (1993). [ Links ]

[30] F. C. Alcaraz, M. Droz, M. Henkel and V. Rittenberg, Ann. Phys. (New York) **230**, 250 (1994). [ Links ]

[31] B. P. Lee, J. Phys. A **27**, 2633 (1994). [ Links ]

[32] M. Grynberg and R. B. Stinchcombe, Phys. Rev. Lett. **74**, 1242 (1995). [ Links ]

[33] V. Privman, E. Burgos and M. D. Grynberg, Phys. Rev. E **52**, 1866 (1995). [ Links ]

[34] G. M. Schütz, J. Phys. A 28, 3405 (1995); J. Stat. Phys. **79**, 243 (1995). [ Links ]

[35] K. Krebs, M. P. Pfannmüller, B. Wehefritz and H. Hinrinchsen, J. Stat. Phys. **78**, 1429 (1995). [ Links ]

[36] J. E. Santos, G. M. Schütz and R. B. Stinchcombe, J. Chem. Phys. **105**, 2399 (1996). [ Links ]

[37] A. M. R. Cadilhe, M. L. Glasser and V. Privman, Int. J. Mod. Phys. B **11**, 109 (1997). [ Links ]

[38] J. R. G. de Mendonça and M. J. de Oliveira, J. Stat. Phys. **92**, 651 (1998) [ Links ]

[39] D. C. Mattis and M. L. Glasser, Rev. Mod. Phys. **70**, 979 (1998). [ Links ]

[40] M. J. de Oliveira, Phys. Rev. E **60**, 2563 (1999). [ Links ]

[41] E. W. Montroll and G. H. Weiss, ''Random walk on lattices. II", J. Math. Phys. **6**, 167 (1965). [ Links ]