Narrow escape problem
The narrow escape problem[1][2] is a ubiquitous problem in biology, biophysics and cellular biology.
The mathematical formulation is the following: a Brownian particle (ion, molecule, or protein) is confined to a bounded domain (a compartment or a cell) by a reflecting boundary, except for a small window through which it can escape. The narrow escape problem is that of calculating the mean escape time. This time diverges as the window shrinks, thus rendering the calculation a singular perturbation problem.[3][4][5][6][7][8][9]
When escape is even more stringent due to severe geometrical restrictions at the place of escape, the narrow escape problem becomes the dire strait problem.[10][11]
The narrow escape problem was proposed in the context of biology and biophysics by D. Holcman and Z. Schuss,[12] and later on with A.Singer and led to the narrow escape theory in applied mathematics and computational biology.[13][14][15]
Formulation
The motion of a particle is described by the Smoluchowski limit of the Langevin equation:[16][17] [math]\displaystyle{ dX_t = \sqrt{2D} \, dB_t + \frac{1}{\gamma} F(x) \, dt, }[/math] where [math]\displaystyle{ D }[/math] is the diffusion coefficient of the particle, [math]\displaystyle{ \gamma }[/math] is the friction coefficient per unit of mass, [math]\displaystyle{ F(x) }[/math] the force per unit of mass, and [math]\displaystyle{ B_t }[/math] is a Brownian motion.
Mean first passage time and the Fokker-Planck equation
A common question is to estimate the mean sojourn time of a particle diffusing in a bounded domain [math]\displaystyle{ \Omega }[/math] before it escapes through a small absorbing window [math]\displaystyle{ \partial\Omega_a }[/math] in its boundary [math]\displaystyle{ \partial\Omega }[/math]. The time is estimated asymptotically in the limit [math]\displaystyle{ \varepsilon = \frac{|\partial\Omega_a|}{|\partial\Omega|} \ll 1 }[/math]
The probability density function (pdf) [math]\displaystyle{ p_{\varepsilon}(x,t) }[/math] is the probability of finding the particle at position [math]\displaystyle{ x }[/math] at time [math]\displaystyle{ t }[/math].
The pdf satisfies the Fokker–Planck equation: [math]\displaystyle{ \frac{\partial}{\partial t} p_{\varepsilon}(x,t) = D \Delta p_{\varepsilon}(x,t)-\frac{1}{\gamma}\nabla ( p_\varepsilon (x,t) F(x)) }[/math] with initial condition [math]\displaystyle{ p_\varepsilon (x,0) = \rho_0(x) \, }[/math] and mixed Dirichlet–Neumann boundary conditions ([math]\displaystyle{ t \gt 0 }[/math]) [math]\displaystyle{ p_\varepsilon (x,t) = 0\text{ for }x \in \partial\Omega_a }[/math] [math]\displaystyle{ D\frac{\partial}{\partial n}p_\varepsilon (x,t) - \frac{p_\varepsilon (x,t)}{\gamma} F(x)\cdot n(x)=0 \text{ for }x \in \partial \Omega - \partial\Omega_a }[/math]
The function [math]\displaystyle{ u_\varepsilon (y) = \int_\Omega \int_0^\infty p_\varepsilon (x,t y) \, dt \, dx }[/math] represents the mean sojourn time of particle, conditioned on the initial position [math]\displaystyle{ y }[/math]. It is the solution of the boundary value problem
[math]\displaystyle{ D\Delta u_\varepsilon (y) + \frac{1}{\gamma}F(y)\cdot\nabla u_{\varepsilon}(y) = -1 }[/math] [math]\displaystyle{ u_\varepsilon (y) = 0\text{ for }y \in \partial\Omega_a }[/math] [math]\displaystyle{ \frac{\partial u_\varepsilon (y)}{\partial n} = 0\text{ for }y \in \partial\Omega_r }[/math]
The solution depends on the dimension of the domain. For a particle diffusing on a two-dimensional disk [math]\displaystyle{ u_\varepsilon (y)=\frac{A}{\pi D}\ln\frac{1}{\varepsilon}+O(1), }[/math] where [math]\displaystyle{ A }[/math] is the surface of the domain. The function [math]\displaystyle{ u_{\epsilon}(y) }[/math] does not depend on the initial position [math]\displaystyle{ y }[/math], except for a small boundary layer near the absorbing boundary due to the asymptotic form.
The first order term matters in dimension 2: for a circular disk of radius [math]\displaystyle{ R }[/math], the mean escape time of a particle starting in the center is [math]\displaystyle{ E(\tau | x(0)=0 ) = \frac{R^2}{D}\left(\log\left(\frac{1}{\varepsilon}\right) + \log 2 + \frac{1}{4} + O(\varepsilon)\right). }[/math]
The escape time averaged with respect to a uniform initial distribution of the particle is given by [math]\displaystyle{ E(\tau ) = \frac{R^2}{D}\left(\log\left(\frac{1}{\varepsilon}\right) + \log 2 + \frac{1}{8} + O(\varepsilon)\right). }[/math]
The geometry of the small opening can affect the escape time: if the absorbing window is located at a corner of angle [math]\displaystyle{ \alpha }[/math], then:
[math]\displaystyle{ E\tau = \frac{|\Omega|}{\alpha D} \left[\log \frac{1}{\varepsilon} +O(1)\right]. }[/math]
More surprising, near a cusp in a two dimensional domain, the escape time [math]\displaystyle{ E\tau }[/math] grows algebraically, rather than logarithmically: in the domain bounded between two tangent circles, the escape time is: [math]\displaystyle{ E\tau = \frac{|\Omega|}{(d-1)D} \left(\frac{1}{\varepsilon} + O(1) \right), }[/math] where d > 1 is the ratio of the radii. Finally, when the domain is an annulus, the escape time to a small opening located on the inner circle involves a second parameter which is [math]\displaystyle{ \beta = {\frac{R_1}{R_2}} \lt 1, }[/math] the ratio of the inner to the outer radii, the escape time, averaged with respect to a uniform initial distribution, is: [math]\displaystyle{ E\tau = \frac{(R_2^2 - R_1^2)}D\left[\log \frac{1}{\varepsilon} + \log 2 + 2\beta^2 \right] + \frac{1}{2} \frac{R_2^2}{1-\beta^2} \log\frac{1}{\beta}- \frac{1}{4}R_2^2 + O(\varepsilon,\beta^4)R_2^2. }[/math]
This equation contains two terms of the asymptotic expansion of [math]\displaystyle{ E\tau }[/math] and [math]\displaystyle{ 2\epsilon }[/math] is the angle of the absorbing boundary. The case [math]\displaystyle{ \beta }[/math] close to 1 remains open, and for general domains, the asymptotic expansion of the escape time remains an open problem. So does the problem of computing the escape time near a cusp point in three-dimensional domains. For Brownian motion in a field of force [math]\displaystyle{ F(x) \neq 0 }[/math] the gap in the spectrum is not necessarily small between the first and the second eigenvalues, depending on the relative size of the small hole and the force barriers, the particle has to overcome in order to escape. The escape stream is not necessarily Poissonian.
Analytical results
A theorem that relates the Brownian motion escape problem to a (deterministic) partial differential equation problem is the following.
Theorem — Let [math]\displaystyle{ \Omega }[/math] be a bounded domain with smooth boundary [math]\displaystyle{ \partial \Omega }[/math] and [math]\displaystyle{ \Gamma }[/math] be a closed subset of [math]\displaystyle{ \partial\Omega }[/math]. For each [math]\displaystyle{ x\in\Omega }[/math], let [math]\displaystyle{ \tau_{x} }[/math] be the first time of a particle hitting [math]\displaystyle{ \Gamma }[/math], assuming that the particle starts from [math]\displaystyle{ x }[/math], is subject to the Brownian motion in [math]\displaystyle{ \Omega }[/math], and reflects from [math]\displaystyle{ \partial\Omega }[/math]. Then, the mean first passage time, [math]\displaystyle{ T(x):=\mathbb{E}[\tau_{x}] }[/math], and its variance, [math]\displaystyle{ v(x):=\mathbb{E} [(\tau_{x}-T(x))^{2}] }[/math], are solutions of the following boundary value problems: [math]\displaystyle{ - \Delta T = 2 \text{ in } \Omega, ~ T=0 \text{ on } \Gamma, ~ \partial_{n}T=0 \text{ on } \partial \Omega \setminus \Gamma }[/math] [math]\displaystyle{ - \Delta v = 2 \vert \nabla T \vert^2 \text{ in } \Omega, ~ v=0 \text { on } \Gamma, ~ \partial_n v = 0 \text{ on } \partial \Omega \setminus \Gamma }[/math]
Here [math]\displaystyle{ \partial_{n} := n \cdot \nabla }[/math] is the derivative in the direction [math]\displaystyle{ n }[/math], the exterior normal to [math]\displaystyle{ \partial\Omega. }[/math] Moreover, the average of the variance can be calculated from the formula [math]\displaystyle{ \bar{v} := \frac{1}{\vert \Omega \vert} \int_{\Omega} v(x) dx= \frac{1}{\vert \Omega \vert} \int_{\Omega} T^2(x) dx =: T^2 }[/math]
The first part of the theorem is a classical result, while the average variance was proved in 2011 by Carey Caginalp and Xinfu Chen.[18][19][20]
The escape time has been the subject of a number of studies using the small gate as an asymptotically small parameter. The following closed form result[18][19][20] gives an exact solution that confirms these asymptotic formulae and extends them to gates that are not necessarily small.
Theorem (Carey Caginalp and Xinfu Chen Closed Formula) — In 2-D, with points identified by complex numbers, let [math]\displaystyle{ \Omega := \left\{r e^{i \theta} \vert 0 \leq r \lt 1, \text{ } - \varepsilon \leq \theta \leq 2 \pi - \varepsilon \right\}, ~ \Gamma := \left\{e^{i \theta} \vert \vert \theta \vert \leq \varepsilon \right\} }[/math]
Then the mean first passage time [math]\displaystyle{ T(z) }[/math], for [math]\displaystyle{ z\in\bar{\Omega} }[/math], is given by [math]\displaystyle{ T(z) = \frac{1-\vert z \vert^2}{2} + 2 \log{ \left| \frac{1-z+\sqrt{(1-z e^{-i \varepsilon})(1-z e^{i \varepsilon})}}{2\sin{\frac{\varepsilon}{2}}}\right| } }[/math]
Another set of results concerns the probability density of the location of exit.[19]
Theorem (Carey Caginalp and Xinfu Chen Probability Density) — The probability density of the location of a particle at time of its exit is given by [math]\displaystyle{ \bar{j}(e^{i \theta}) := - \frac{1}{2 \pi} \frac{\partial}{\partial r} T(e^{i \theta}) = \begin{cases} 0, & \text{if }\varepsilon \lt \theta \lt 2 \pi -\varepsilon \\ \frac{1}{2 \pi} \frac{\cos{\frac{\theta}{2}}}{\sqrt {\sin^2{ \frac{\varepsilon}{2}} - \sin^2{ \frac{\theta}{2}}}}, & \text{if } \vert \theta \vert \lt \varepsilon \end{cases} }[/math]
That is, for any (Borel set) [math]\displaystyle{ \gamma\subset\partial\Omega }[/math], the probability that a particle, starting either at the origin or uniformly distributed in [math]\displaystyle{ \Omega }[/math], exhibiting Brownian motion in [math]\displaystyle{ \Omega }[/math], reflecting when it hits [math]\displaystyle{ \partial\Omega\setminus\Gamma }[/math], and escaping once it hits [math]\displaystyle{ \Gamma }[/math], ends up escaping from [math]\displaystyle{ \gamma }[/math] is [math]\displaystyle{ P( \gamma ) = \int_{\gamma} \bar{j}(y) dS_y }[/math] where [math]\displaystyle{ dS_{y} }[/math] is the surface element of [math]\displaystyle{ \partial\Omega }[/math] at [math]\displaystyle{ y\in \partial\Omega }[/math].
Simulations of Brownian motion escape
In simulation there is a random error due to the statistical sampling process. This error can be limited by appealing to the central limit theorem and using a large number of samples. There is also a discretization error due to the finite size approximation of the step size in approximating the Brownian motion. One can then obtain empirical results as step size and gate size vary. Using the exact result quoted above for the particular case of the circle, it is possible to make a careful comparison of the exact solution with the numerical solution.[21][22] This illuminates the distinction between finite steps and continuous diffusion. A distribution of exit locations was also obtained through simulations for this problem.
Biological applications
Stochastic chemical reactions in microdomains
The forward rate of chemical reactions is the reciprocal of the narrow escape time, which generalizes the classical Smoluchowski formula for Brownian particles located in an infinite medium. A Markov description can be used to estimate the binding and unbinding to a small number of sites.[23]
References
- ↑ Schuss, Z.; Singer, A.; Holcman, D. (2007-09-27). "The narrow escape problem for diffusion in cellular microdomains". Proceedings of the National Academy of Sciences (Proceedings of the National Academy of Sciences USA) 104 (41): 16098–16103. doi:10.1073/pnas.0706599104. ISSN 0027-8424. PMID 17901203. Bibcode: 2007PNAS..10416098S.
- ↑ D Holcman, Z Schuss, The narrow escape problem SIAM Review 56 (2), 213-257 (2014)
- ↑ Singer, A.; Schuss, Z.; Holcman, D. (2008-11-14). "Narrow escape and leakage of Brownian particles". Physical Review E (American Physical Society (APS)) 78 (5): 051111. doi:10.1103/physreve.78.051111. ISSN 1539-3755. PMID 19113099. Bibcode: 2008PhRvE..78e1111S.
- ↑ M. J. Ward, S. Pillay, A. Peirce, and T. Kolokolnikov An Asymptotic Analysis of the Mean First Passage Time for Narrow Escape Problems: Part I: Two-Dimensional Domains
- ↑ Holcman, D; Schuss, Z (2008-04-02). "Diffusion escape through a cluster of small absorbing windows". Journal of Physics A: Mathematical and Theoretical (IOP Publishing) 41 (15): 155001. doi:10.1088/1751-8113/41/15/155001. ISSN 1751-8113. Bibcode: 2008JPhA...41o5001H.
- ↑ Holcman, D., & Schuss, Z. (2015). Stochastic Narrow Escape in Molecular and Cellular Biology: Analysis and Applications. Springer.
- ↑ Cheviakov, Alexei F.; Ward, Michael J.; Straube, Ronny (2010). "An Asymptotic Analysis of the Mean First Passage Time for Narrow Escape Problems: Part II: The Sphere". Multiscale Modeling & Simulation (Society for Industrial & Applied Mathematics (SIAM)) 8 (3): 836–870. doi:10.1137/100782620. ISSN 1540-3459.
- ↑ Cheviakov, Alexei F.; Zawada, Daniel (2013-04-22). "Narrow-escape problem for the unit sphere: Homogenization limit, optimal arrangements of large numbers of traps, and the N2 conjecture". Physical Review E (American Physical Society (APS)) 87 (4): 042118. doi:10.1103/physreve.87.042118. ISSN 1539-3755. PMID 23679384. Bibcode: 2013PhRvE..87d2118C.
- ↑ Coombs, Daniel; Straube, Ronny; Ward, Michael (2009). "Diffusion on a Sphere with Localized Traps: Mean First Passage Time, Eigenvalue Asymptotics, and Fekete Points". SIAM Journal on Applied Mathematics (Society for Industrial & Applied Mathematics (SIAM)) 70 (1): 302–332. doi:10.1137/080733280. ISSN 0036-1399.
- ↑ D. Holcman Z. Schuss, The dire strait time, SIAM Multiscale Modeling and simulations, 10(4), 1204–1231.
- ↑ Holcman, D; Schuss, Z (2013-06-20). "Control of flux by narrow passages and hidden targets in cellular biology". Reports on Progress in Physics (IOP Publishing) 76 (7): 074601. doi:10.1088/0034-4885/76/7/074601. ISSN 0034-4885. PMID 23787818. Bibcode: 2013RPPh...76g4601H.
- ↑ Holcman, D.; Schuss, Z. (2004). "Escape Through a Small Opening: Receptor Trafficking in a Synaptic Membrane". Journal of Statistical Physics (Springer Science and Business Media LLC) 117 (5–6): 975–1014. doi:10.1007/s10955-004-5712-8. ISSN 0022-4715. Bibcode: 2004JSP...117..975H.
- ↑ Singer, A.; Schuss, Z.; Holcman, D.; Eisenberg, R. S. (2006-01-20). "Narrow Escape, Part I". Journal of Statistical Physics (Springer Science and Business Media LLC) 122 (3): 437–463. doi:10.1007/s10955-005-8026-6. ISSN 0022-4715. Bibcode: 2006JSP...122..437S.
- ↑ Singer, A.; Schuss, Z.; Holcman, D. (2006-01-20). "Narrow Escape, Part II: The Circular Disk". Journal of Statistical Physics (Springer Science and Business Media LLC) 122 (3): 465–489. doi:10.1007/s10955-005-8027-5. ISSN 0022-4715. Bibcode: 2006JSP...122..465S.
- ↑ Singer, A.; Schuss, Z.; Holcman, D. (2006-01-20). "Narrow Escape, Part III: Non-Smooth Domains and Riemann Surfaces". Journal of Statistical Physics (Springer Science and Business Media LLC) 122 (3): 491–509. doi:10.1007/s10955-005-8028-4. ISSN 0022-4715. Bibcode: 2006JSP...122..491S.
- ↑ Z. Schuss, Theory and Applications of Stochastic Differential Equations (Wiley Series in Probability and Statistics - (1980)
- ↑ Z. Schuss, Theory and Applications of Stochastic Processes. An Analytical Approach. Series: Applied Mathematical Sciences, Vol. 170.
- ↑ 18.0 18.1 Caginalp, Carey; Chen, Xinfu (2011-02-01). "Analytical and numerical results for first escape time in 2D" (in en). Comptes Rendus Mathématique 349 (3–4): 191–194. doi:10.1016/j.crma.2010.11.024. ISSN 1631-073X. http://www.numdam.org/articles/10.1016/j.crma.2010.11.024/.
- ↑ 19.0 19.1 19.2 Chen, Xinfu; Caginalp, Carey (2012-01-01). "Analytical and Numerical Results for an Escape Problem" (in en). Archive for Rational Mechanics and Analysis 203 (1): 329–342. doi:10.1007/s00205-011-0455-6. ISSN 1432-0673. Bibcode: 2012ArRMA.203..329C.
- ↑ 20.0 20.1 Caginalp, Carey (2011). Analytical and numerical results on escape (B. Phil. Thesis). University of Pittsburgh.
- ↑ Hughes, Aoife; Morris, Richard; Tomkins, Melissa (2020-03-31). "PyEscape: A narrow escape problem simulator package for Python" (in en). Journal of Open Source Software 5 (47): 2072. doi:10.21105/joss.02072. ISSN 2475-9066. Bibcode: 2020JOSS....5.2072H.
- ↑ Hughes, Aoife; Faulkner, Christine; Morris, Richard J.; Tomkins, Melissa (2021). "Intercellular communication as a series of narrow escape problems". IEEE Transactions on Molecular, Biological and Multi-Scale Communications 7 (2): 89–93. doi:10.1109/TMBMC.2021.3083719. ISSN 2332-7804.
- ↑ Holcman, D.; Schuss, Z. (2005-03-15). "Stochastic chemical reactions in microdomains". The Journal of Chemical Physics (AIP Publishing) 122 (11): 114710. doi:10.1063/1.1849155. ISSN 0021-9606. PMID 15836246. Bibcode: 2005JChPh.122k4710H.
External links
- Applied Mathematics and Computational Biology in Ecole Normale Superieure, Paris
- Carey Caginalp publications and lectures http://www.pitt.edu/~careycag/
- Comptes Rendus paper http://www.pitt.edu/~careycag/paper1.pdf
- ARMA paper http://www.pitt.edu/~careycag/paper2.pdf
![]() | Original source: https://en.wikipedia.org/wiki/Narrow escape problem.
Read more |