Abstract
We consider organisms which use a renewal strategy such as run–tumble when moving in space, for example to perform chemotaxis in chemical gradients. We derive a diffusion approximation for the motion, applying a central limit theorem due to Anscombe for renewal-reward processes; this theorem has not previously been applied in this context. Our results extend previous work, which has established the mean drift but not the diffusivity. For a classical model of tumble rates applied to chemotaxis, we find that the resulting chemotactic drift saturates to the swimming velocity of the organism when the chemical gradients grow increasingly steep. The dispersal becomes anisotropic in steep gradients, with larger dispersal across the gradient than along the gradient. In contrast to one-dimensional settings, strong bias increases dispersal. We next include Brownian rotation in the model and find that, in limit of high chemotactic sensitivity, the chemotactic drift is 64 % of the swimming velocity, independent of the magnitude of the Brownian rotation. We finally derive characteristic timescales of the motion that can be used to assess whether the diffusion limit is justified in a given situation. The proposed technique for obtaining diffusion approximations is conceptually and computationally simple, and applicable also when statistics of the motion is obtained empirically or through Monte Carlo simulation of the motion.
Similar content being viewed by others
References
Adler J (1966) Chemotaxis in bacteria. Science 153(3737):708–716
Alt W (1980) Biased random walk models for chemotaxis and related diffusion approximations. J Math Biol 9:147–177
Anscombe F (1952) Large-sample theory of sequential estimation. Proc Camb Philos Soc 48:600–607
Bearon R (2001) Run-and-tumble chemotaxis in an ambient fluid flow. PhD thesis, University of Cambridge
Bearon R (2003) An extension of generalized Taylor dispersion in unbounded homogeneous shear flows to run-and-tumble chemotactic bacteria. Phys Fluids 15:1552
Bearon R (2007) A model for bacterial colonization of sinking aggregates. Bull Math Biol 69(1):417–431
Bearon R, Pedley T (2000) Modelling run-and-tumble chemotaxis in a shear flow. Bull Math Biol 62:775–791
Benhamou S (2014) Of scales and stationarity in animal movements. Ecol Lett 17(3):261–272. doi:10.1111/ele.12225
Berg H (1993) Random walks in biology, 2nd edn. Princeton University Press, Princeton
Brown D, Berg H (1974) Temporal stimulation of chemotaxis in Escherichia coli. Proc Nat Acad Sci 71(4):1388–1392
Cluzel P, Surette M, Leibler S (2000) An ultrasensitive bacterial motor revealed by monitoring signaling proteins in single cells. Science 287(5458):1652–1655
Codling E, Bearon R, Thorn G (2010) Diffusion about the mean drift location in a biased random walk. Ecology 91(10):3106–3113
Colin R, Zhang R, Wilson L (2014) Fast, high-throughput measurement of collective behaviour in a bacterial population. J R Soc Interface 11(98):20140,486
Frankel I, Brenner H (1989) On the foundations of generalized Taylor dispersion theory. J Fluid Mech 204(–1):97–119
Grimmett G, Stirzaker D (1992) Probability and random processes, 2nd edn. Oxford University Press, Oxford
Grünbaum D (1999) Advection–diffusion equations for generalized tactic searching behaviors. J Math Biol 38:169–194
Grünbaum D (2000) Advection–diffusion equations for internal state-mediated random walks. SIAM J Appl Math 61(1):43–73
Hastings A, Petrovskii S, Morozov A (2011) Spatial ecology across scales. Biol Lett 7(2):163–165. doi:10.1098/rsbl.2010.0948
Jackson G (1987) Simulating chemosensory response of marine microorganisms. Limnol Oceanogr 32:1253–1266
Jackson G (1989) Simulation of bacterial attraction and adhesion to falling particles in an aquatic environment. Limnol Oceanogr 34(3):514–530
Kay R, Langridge P, Traynor D, Hoeller O (2008) Changing directions in the study of chemotaxis. Nat Rev Mol Cell Biol 9(6):455–463
Keller E, Segel L (1971) Model for chemotaxis. J Theor Biol 30:225–234
Kiørboe T, Jackson G (2001) Marine snow, organic solute plumes, and optimal chemosensory behavior of bacteria. Limnol Oceanogr 46(6):1309–1318
Kiørboe T, Ploug H, Thygesen UH (2001) Fluid motion and solute distribution around sinking aggregates. I. Small scale fluxes and heterogeneity of nutrients in the pelagic environment. Mar Ecol Prog Ser 211:1–13
Locsei J (2007) Persistence of direction increases the drift velocity of run and tumble chemotaxis. J Math Biol 55(1):41–60
Nielsen BF, Nilsson LF, Thygesen UH, Beyer JE (2007) Higher order moments and conditional asymptotics of the batch markovian arrival process. Stoch Models 23(1):1–26
Øksendal B (2010) Stochastic differential equations: an introduction with applications, sixth edn. Springer, Berlin
Okubo A, Levin S (2001) Diffusion and ecological problems: modern perspectives. Springer, Berlin
Othmer H, Hillen T (2002) The diffusion limit of transport equations II: chemotaxis equations. SIAM J Appl Math 62(4):1222–1250
Othmer H, Dunbar S, Alt W (1988) Models of dispersal in biological systems. J Math Biol 26:263–298
Patlak C (1953) Random walk with persistence and external bias. Bull Math Biophys 15:311–338
Rivero M, Tranquillo R, Buettner H, Lauffenburger D (1989) Transport models for chemotactic cell populations based on individual cell behavior. Chem Eng Sci 44(12):2881–2897
Sandoval M, Marath NK, Subramanian G, Lauga E (2014) Stochastic dynamics of active swimmers in linear flows. J Fluid Mech 742:50–70
Taylor G (1921) Diffusion by continuous movements. Proc Lond Math Soc 20:196–211
Thygesen U, Nilsson A, Andersen K (2007) Eulerian techniques for individual-based models based on additive processes. J Mar Syst 67:179–188. doi:10.1016/j.marsys.2006.10.005
Xue C (2015) Macroscopic equations for bacterial chemotaxis: integration of detailed biochemistry of cell signaling. J Math Biol 70(1–2):1–44
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix 1: Proof of Proposition 1
Define the scalar stochastic process
where c is an arbitrary column vector and \(c'\) denotes transpose. \(z_i\) is a scalar auxiliary process which has been constructed so as to have mean \(\mathbf {E}z_i = 0\), thus enabling us to apply Anscombe’s theorem. Its variance is
Define
and note that by the law of large numbers, \(t^{-1} N(t) \rightarrow \tau ^{-1}\) almost surely. We may thus apply Anscombe’s theorem to conclude that \(S_{N(t)}\) is asymptotically normally distributed. Now, \(S_n\) is closely related to the cumulated reward \(\bar{X}_T\) which is our object of investigation:
where
is the age, i.e., the time that has passed since last tumble. The process \(A_t\) is bounded in probability, and hence
Thus, the asymptotic distribution of the sum \(S_{N(t)}\) implies a similar property of \(\bar{X}_t\):
Since this holds for any c, \(\bar{X}_t\) itself must be asymptotically normally distributed:
\(\square \)
Appendix 2: Proof of Theorem 2
We aim to apply Proposition 1 and therefore pursue the statistics of a single run. For simplicity, we rescale time and length so that the swimming speed is 1 and the base tumble rate is 1, and express the tumble rate as a function of the angle \(\theta \) between v and \(e_z\). Then, the tumble rate is
At each tumble, a new run direction is chosen, uniformally with respect to solid angle, i.e., the angle \(\theta _i\) between the z-axis and the velocity during run i is distributed between 0 and \(\pi \) with density:
The duration \(t_i\) of a run is, when conditioning on the angle \(\theta _i\), exponentially distributed with mean \(1/\lambda (\theta _i)\). We then obtain the unconditional mean:
This mean duration is a timescale which characterizes the process. It is examined in Sect. 4 and compared to other timescales, and graphed in Fig. 2.
Likewise, conditional on the angle \(\theta _i\), the second moment of the run duration is \(\mathbf {E}\{t_i^2 | \theta _i\} = 2/\lambda ^2(\theta _i)\). We thus find the unconditional second moment:
from which we obtain the variance of the run duration:
We now turn to the statistics of the displacement during a run, which we—with a slight abuse of notation—represent with coordinates \((x_i,y_i,z_i)\). We have the geometric relationship \(z_i =t_i \cdot \cos \theta _i\) which yields the mean displacement in the z-direction:
Rotational symmetry yields \(\mu _x=\mu _y=0\). Proposition 1 now gives the drift in the diffusion approximation:
as shown in Fig. 1.
Next, we need the second-order properties of the displacement during a run. Rotational symmetry and Pythagoras’ theorem yield
Combining these two, we obtain the variance of displacement in the direction of the x-axis (or the y-axis):
Correspondingly, for the z-direction:
which yields the variance
Rotational symmetry dictates that the run displacement \((x_i,y_i,z_i)\) has diagonal covariance matrix \( {\varSigma }_x = \hbox {diag}(\mathbf {V}x_i,\mathbf {V}y_i,\mathbf {V}z_i ) \) and that the covariance between run duration and displacement is 0 in the two directions \(e_x\) and \(e_y\), so
Here, the covariance between run duration \(t_i\) and displacement \(z_i\) in z-direction is obtained with similar calculations:
yielding
We now have the statistics which are required to apply Proposition 1. In the x- and y-directions, we get
while in the z direction, we get
Proposition 1 now establishes the limiting Gaussian distribution of the position at tumbles, and it remains only to show that the same limiting distribution applies during a run: The displacement during a run from the position at last tumble will be bounded in probability. Therefore, \((\bar{X}_t - X_t)/\sqrt{t}\) converges to 0 in probability, so that \((X_t - v t)/\sqrt{t}\) and \((\bar{X}_t - vt)/\sqrt{t}\) has the same limiting distribution, i.e., the limiting Gaussian distribution applies also to the position at any point in time, whether at a tumble or during a run. \(\square \)
Appendix 3: Monte Carlo Simulation
Here, we describe the Monte Carlo simulation performed to verify the results of Theorem 2, i.e., the estimates and associated confidence intervals displayed in Fig. 1. The run–tumble model with constant speed \(U=1\), base tumble rate \(\lambda _0=1\), and different values of the parameter \(\beta \) is simulated stochastically. The initial distribution for the velocity is the stationary distribution which scales with \(1/\lambda (v)\); this is a truncated exponential distribution for \(v_z=v\cdot e_z\) and conditional on this, a uniform distribution of the two other components on the circle \(\{ (v_x,v_y) : v_x^2 + v_y^2 = 1- v_z^2\}\). The motion is simulated one tumble at a time until the time of last tumble exceeds the simulation time \(T=10000\); after this, the position at time T is obtained by interpolation in the last run and reported. This simulation time is orders of magnitude larger than the decorrelation time of the velocity process (compare Fig. 2) which ensures that the diffusion approximation is reasonable. \(N=1000\) independent replicates of the motion are simulated for each value of \(\beta \). Estimates of the drift and diffusivity are obtained as sample means computed from mean displacement and its variance, respectively. 95 % confidence intervals for the mean are obtained using \(\pm 1.96\) times the standard error between replicates; these intervals are smaller than the plotting symbols so practically invisible in the plot. 95 % confidence intervals for the diffusivity are obtained from percentiles in \(M=1,000\) bootstrap replicates.
Appendix 4: Proof of Theorem 3
We first nondimensionalize the model; this amounts to taking \(U=1\) and \(\kappa =1\). We aim to apply Proposition 1 and therefore examine the statistics of time and displacement during a single run. A run starts at time 0 with a random velocity \(V_0\) sampled uniformly on the half-sphere \(B_+\) with respect to solid angle and ends when the Brownian motion on the half-sphere hits the plane \(\{ v: e_z v = 0\}\).
We first transform the problem to a one-dimensional one by focusing on the velocity in the z-direction. During a run, the instantaneous velocity vector \(V_t\) is Brownian motion on the surface of the unit sphere, which can be written as the solution to an Itô stochastic differential equation (Øksendal 2010)
where \(B_t\) is three-dimensional Brownian motion. Let \(U_t = e_z V_t\) denote the velocity in the direction of the gradient. Using Itô’s lemma, we obtain
Here,
and, noting that
we recognize \(W_t\) as standard Brownian motion (compare Øksendal (2010)). Thus, the process \(U_t\) is itself a Markov process with generator L given by
Up to the factor 1 / 2, this is Legendre’s operator of order 0.
From the point of view of the individual run, the boundary \(u=0\) is absorbing in that the run terminates when \(U_t\) reaches this boundary. Let \(T=\inf \{ t : U_t \le 0 \}\) denote this stopping time. We seek the statistics of \(T\) and \(Z_T\). During the run, the time t and up-gradient displacement \(Z_t\) are additive processes, studied in an oceanographic context by Thygesen et al. (2007). Define the moment functions
then it follows that these functions \(\psi _{ij}\) for \(i,j\in \mathbf {N}_0\), \((i,j)\ne (0,0)\) are governed by boundary value problems
on the domain \(u\in (0,1)\). The boundary condition at \(u=0\) is \(\psi _{ij}(0)=0\) while the boundary condition at \(u=1\) is that the limit \(\lim _{u\rightarrow 1} \psi _{ij}(u)\) exists, since the operator L is singular at that point (recall that \(u=1\) does not correspond to a boundary point for the original Brownian motion on the half-sphere \(B_+\)).
For the low-order moments, we find the solutions:
Here, the dilog function is \(\hbox {dilog} (x) = \int _1^x (1-t)^{-1} \log t ~{\text {d}}t\).
These statistics are conditional on the up-gradient velocity \(u=U_0\) at the beginning of the run. To find the unconditional statistics, we take expectation with respect to the distribution of \(U_0\). Since \(V_0\) is uniformly distributed on the half-sphere \(B_+\) with respect to solid angle, \(U_0\) is uniformly distributed on [0, 1]. Hence,
We find:
According to Proposition 1, we can now compute the advective velocity as
To determine the diffusivity, we need the variance of the run duration
the variance of the up-gradient displacement during a run
and the covariance
With this, we can employ Proposition 1 to obtain the diffusivity in the z-direction:
By rotational symmetry, the chemotactic drift in the x- (or y)-direction is zero, and the diffusivity matrix is diagonal. It remains to find the diffusivity \(D_x\) in the x-direction, and to this end, we must find \(\mathbf {V}X_T\). Conditional on \(V_0\), this is governed by the two boundary value problems on the half-sphere \(B_+\):
with Dirichlet boundary condition on the boundary \(\{ (x,y,z): z=0, x^2+y^2 = 1 \}\). These equations do not appear to admit analytical solution in closed form. Instead, two numerical approaches were used: first, numerical solution of the two equations using the finite element software Comsol and next, a Monte Carlo method where the stochastic differential Eq. (5) is simulated using a modified Euler method until absorption. The two numerical methods both estimate
With this, we find
Finally, according to the general result (3), the expected age in stationarity is
\(\square \)
Rights and permissions
About this article
Cite this article
Thygesen, U.H. A Diffusion Approximation Based on Renewal Processes with Applications to Strongly Biased Run–Tumble Motion. Bull Math Biol 78, 556–579 (2016). https://doi.org/10.1007/s11538-016-0155-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11538-016-0155-3