Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
You have accessResearch articles

Asymptotic analysis of extended two-dimensional narrow capture problems

P. C. Bressloff

P. C. Bressloff

Department of Mathematics, University of Utah, 155 South 1400 East, Salt Lake City, UT 84112, USA

[email protected]

Google Scholar

Find this author on PubMed

Published:https://doi.org/10.1098/rspa.2020.0771

    Abstract

    In this paper, we extend our recent work on two-dimensional diffusive search-and-capture processes with multiple small targets (narrow capture problems) by considering an asymptotic expansion of the Laplace transformed probability flux into each target. The latter determines the distribution of arrival or capture times into an individual target, conditioned on the set of events that result in capture by that target. A characteristic feature of strongly localized perturbations in two dimensions is that matched asymptotics generates a series expansion in ν = −1/lnϵ rather than ϵ, 0 < ϵ ≪ 1, where ϵ specifies the size of each target relative to the size of the search domain. Moreover, it is possible to sum over all logarithmic terms non-perturbatively. We exploit this fact to show how a Taylor expansion in the Laplace variable s for fixed ν provides an efficient method for obtaining corresponding asymptotic expansions of the splitting probabilities and moments of the conditional first-passage-time densities. We then use our asymptotic analysis to derive new results for two major extensions of the classical narrow capture problem: optimal search strategies under stochastic resetting and the accumulation of target resources under multiple rounds of search-and-capture.

    1. Introduction

    There are numerous biological, social and physical processes where the arrival of a single particle (searcher) at a target site can initiate one or more downstream events. Examples include the provision of food or shelter to a foraging animal [13], the initiation of a biochemical reaction within a cell [4,5], the entry of a virus into the cell nucleus [68], the delivery of proteins to a subcellular compartment by molecular motor complexes [9] and the initiation of an immune response owing to a T cell finding its antigen [10]. These so-called search-and-capture events are often stochastic in nature and crucial information regarding the efficacy of the search process can be obtained from the distribution of arrival or capture times, which is known as the first-passage-time (FPT) density. Moments of the FPT density typically satisfy corresponding boundary value problems (BVPs), which can be derived from the backward evolution equation for the probability density of particle position. In many cases, there are multiple targets within the interior or on the boundary of the search domain, which requires the splitting probability of being captured by a specific target to be determined. Since this probability is less than unity, it follows that the corresponding FPT density has infinite moments, unless it is conditioned on the set of events that find the target. The classical narrow capture (or escape) problem concerns diffusive search processes where the targets are much smaller than the size of the search domain. This then allows matched asymptotic expansions and Green’s functions to be used to solve the BVPs for the splitting probabilities and moments of the conditional FPT density [1022].

    As we have recently highlighted [23], there is a growing number of search problems that require knowing the full conditional FPT densities, or at least their Laplace transforms, rather than simply the first and second moments, say. For example, one way to increase the efficacy of a search process is to include a resetting protocol, whereby the position of the searcher is reset to a fixed location xr at a random sequence of times, which is typically (but not necessarily) generated by a Poisson process. In many cases, there exists an optimal resetting rate for minimizing the mean first passage time (MFPT) to reach a target; see [24] and references therein. Assuming that once the particle has returned to xr it loses all memory of previous search phases, that is, the stochastic process satisfies the strong Markov property, one can condition on whether or not the particle resets at least once, even though a reset event occurs at random times. Renewal theory can then be used to express statistical quantities with resetting in terms of statistical quantities without resetting such as the conditional FPT densities. This has been carried out both for one or two targets [2530] and for multiple targets [23,31]. A second example occurs in cases such as the intracellular transport and delivery of vesicular cargo to subcellular compartments, where one has to keep track of the accumulation of resources within the targets following multiple rounds of search-and-capture events and degradation. Queuing theory can be used to express moments of the steady-state distribution of resources across the target population in terms of the conditional FPT densities of a single search-and-capture event [23,32,33].

    In this paper, we extend our recent work on two-dimensional (2D) diffusive search-and-capture processes with multiple small targets by considering asymptotic expansions of the conditional FPT densities. Following along similar lines to [21], we work directly with the Laplace transform of the forward diffusion equation, which is solved by constructing an inner or local solution valid in an O(ϵ) neighbourhood of each target, and then matching to an outer or global solution that is valid away from each neighbourhood. Here ϵ is a small dimensionless parameter that characterizes the size of each target relative to the size of the search domain. It is well known that, since the 2D Green’s function of the diffusion equation has a logarithmic singularity, it is more natural to develop an asymptotic expansion in ν = −1/lnϵ rather than in ϵ itself. However, unless many coefficients in the logarithmic series can be obtained analytically, a low-order truncation of the series will typically not be very accurate unless ϵ is very small. This difficulty stems from the fact that ν → 0 very slowly as ϵ decreases. It turns out that in many cases it is possible to sum over the logarithmic terms non-perturbatively [11] by inverting a matrix with coefficients that are linear in ν. This is equivalent to calculating the asymptotic solution for all terms of O(νk) for any k.

    Having solved the diffusion equation in Laplace space, we determine the corresponding Laplace transforms of the probability fluxes into each target and hence the conditional FPT densities. We then show how a Taylor expansion of the FPT densities in the Laplace variable s for fixed ν provides an efficient method for obtaining corresponding asymptotic expansions of the splitting probabilities and FPT moments, without having to solve separate BVPs. Finally, our analysis is used to obtain new results concerning optimal search strategies under stochastic resetting and the accumulation of target resources under multiple rounds of search-and-capture. First, we determine the effects of stochastic resetting on the unconditional MFPT, extending previous results in the small-r regime. We proceed by exploiting the exponential-like asymptotic decay of Green’s function for the modified Helmholtz equation, in order to construct boundary-free approximations of statistical quantities that hold for intermediate and large values of the resetting rate r. This allows us to identify target configurations where the MFPT is minimized at an optimal resetting rate. Second, we investigate the size of fluctuations in the steady-state distribution of target resources under multiple rounds of search-and-capture, by expressing the Fano factor in terms of the splitting probabilities and unconditional MFPTs for a search process with resetting at the degradation rate γ. The paper is structured as follows. The classical narrow capture problem is presented in §2, and the matched asymptotics is carried out in §3. Applications to narrow capture with stochastic resetting and to target resource accumulation are then developed in §§4 and 5, respectively.

    2. Classical narrow capture problem

    Consider a 2D bounded domain UR2 that contains a set of N small interior targets Uk, k = 1, …, N, with j=1NUk=UaU (figure 1). In the absence of any resetting events, we have a classical narrow escape problem. Let p(x, t|x0) be the probability density that at time t a particle is at X(t) = x, having started at position x0. Then

    p(x,t|x0)t=D2p(x,t|x0),xUUa,pn=0,xU 2.1a
    and
    p(x,t|x0)=0,xUa, 2.1b
    together with the initial condition p(x, t|x0) = δ(x − x0). Each target is assumed to have a size |Uj|ϵ2|U| with UjxjU uniformly as ϵ → 0, j = 1, …, N. The targets are also taken to be well separated in the sense that |xi − xj| = O(1), j ≠ i, and dist(xj,U)=O(1). For the sake of illustration, we take each target to be a circle of radius ϵℓ and fix length scales by setting ℓ = 1. Thus Ui={xU,|xxi|ϵ}.
    Figure 1.

    Figure 1. Diffusion of a particle in a bounded domain U with N small targets Uj, j = 1, …, N. If the particle hits a boundary Uj then it is absorbed. Also shown are two extensions of the classical narrow capture problem that are considered in §§4 and 5. Reset before capture: at any time the particle can return to its initial position x0 at a Poisson rate r and immediately restart the search process (stochastic resetting protocol). Reset after capture: each time the particle is captured by a target, it delivers some resource to the target, after which it returns to x0 and initiates another round of search-and-capture (target resource accumulation). (Online version in colour.)

    The probability flux into the kth target at time t is

    Jk(x0,t)=DUkp(x,t|x0)ndσ,k=1,,N, 2.2
    where n is the inward normal to Uk. Hence, the probability that the particle is captured by the kth target after time t is
    Πk(x0,t)=tJk(x0,t)dt, 2.3
    and the corresponding splitting probability is
    πk(x0)=Πk(x0,0)=0Jk(x0,t)dt=J~k(x0,0). 2.4
    It follows that the Laplace transform of Π(x0, t) is given by
    sΠ~k(x0,s)πk=J~k(x0,s)=DUkp~(x,s|x0)ndσ. 2.5
    Next we introduce the survival probability that the particle has not been absorbed by a target in the time interval [0, t], having started at x0,
    Q(x0,t)=UUap(x,t|x0)dx. 2.6
    Differentiating both sides of this equation with respect to t and using equations (2.1) implies that
    Q(x0,t)t=DUUap(x,t|x0)dx=Dk=1NUkp(x,t|x0)ndσ=k=1NJk(x0,t). 2.7
    Laplace transforming equation (2.7) gives
    sQ~(x0,s)1=k=1NJ~k(x0,s). 2.8
    We have used the initial condition Q(x0, 0) = 1. It immediately follows from equation (2.4) that
    k=1Nπk(x0)=1. 2.9

    Since the probability of the particle being captured by the kth target is typically less than unity (πk < 1), it follows that the moments of the corresponding FPT density are infinite unless we condition on the given event. The MFPT Tk to be captured by the kth target is given by

    Tk(x0)=inf{t>0;X(t)Uk|X(0)=x0}, 2.10
    with Tk= if the particle is captured by another target. Introducing the set of events Ωk={Tk<}, we can then define the conditional FPT density according to
    fk(x0,t)dt=P[t<Tk<t+dt|Tk<,X(0)=x0]=P[t<Tk<t+dt|X(0)=x0]/P[Ωk]=(Πk(x0,t]Πk(x0,t+dt))πk(x0)=1πk[x0]Πk(x0,t]tdt,
    since πk=P[Ωk]. That is,
    fk(x0,t)=Jk(x0,t)πk(x0). 2.11
    It follows that the Laplace transform of fk(x0, t) is the generator of the moments of the conditional FPT density,
    E[esTk|1Ωk]=f~k(x0,s)=J~k(x0,s)J~k(x0,0) 2.12
    and
    Tk(n)=E[Tkn|1Ωk]=(dds)nE[esTk|1Ωk]|s=0=(dds)nf~k(x0,s)|s=0. 2.13
    In particular, using equations (2.5) and (2.12), the first and second moments Tk=Tk(1) and Tk(2) are
    πk(x0)Tk(x0)=df~k(x0,s)ds|s=0=Π~k(x0,0) 2.14
    and
    πk(x0)Tk(2)(x0)=d2f~k(x0,s)ds2|s=0=2dΠ~k(x0,0)ds|s=0. 2.15

    3. Matched asymptotics

    It follows from the above analysis that one way to calculate the splitting probabilities and the Laplace transformed conditional FPT densities (2.12) is to solve equation (2.1) in Laplace space. The latter takes the form

    D2p~(x,s|x0)sp~(x,s|x0)=δ(xx0),xUUa 3.1a
    and
    p~n=0,xU,p~(x,s|x0)=0,xUi. 3.1b
    Equations (3.1) define a BVP that can be analysed along analogous lines to previous studies of diffusion in 2D domains with small targets [13,14,18,21]. We proceed by matching appropriate ‘inner’ and ‘outer’ asymptotic expansions in the limit of small target size ε → 0. Introducing Green’s function of the modified Helmholtz equation according to
    D2G(x,s|x0)sG(x,s|x0)=δ(xx0),xU, 3.2a
    G(x,s|x0)n=0,xU 3.2b
    andG(x,s|x0)=12πDln|xx0|+R(x,s|x0), 3.2c
    where R is the regular part of G, we set
    p~(x,s|x0)=G(x,s|x0)+D1q(x,s|x0),xUUa, 3.3
    with
    D2q(x,s|x0)sq(x,s|x0)=0,xUUa 3.4a
    and
    qn=0,xU,q(x,s|x0)=Φi:=G(xi,s|x0)D,xUi. 3.4b
    Since we will be carrying out an asymptotic expansion with respect to the small parameter ν = −1/lnϵ, while neglecting all terms of O(ϵ), we have taken G(x, s|x0) ≈ G(xi, s|x0) on the circle ∂Ωi.

    In the inner region around the ith target, we introduce the stretched coordinates y = (x − xj)/ϵ and expand the inner solution as (figure 2)

    q(xi+ϵy,s|x0)=νAi(ν,s)Qi(y,s|x0)+Φi, 3.5a
    with
    y2Qi=0,|y|>1,Qi=0,|y|=1, 3.5b
    and the far-field condition
    Qiln|y|+O(|y|1). 3.5c
    We have dropped the explicit dependence of the unknown coefficients Ai(ν, s) on x0 for ease of notation. (Note that writing the coefficient as νAi(ν, s) rather than Ai(ν, s) is simply a matter of convention. The important point is that the ν-dependence of Ai can be determined non-perturbatively; see below. One could then perform a power series expansion of the non-perturbative solution with respect to ν to obtain a regular perturbation expansion of the inner solution. However, as we highlighted in the Introduction, one typically requires a large number of terms to achieve sufficient accuracy.) The outer solution is constructed by shrinking each target to a single point (figure 3) and imposing a corresponding singularity condition. The leading-order contribution to the outer solution thus satisfies
    D2q(x,s|x0)sq(x,s|x0)=0,xU{x1,,xN},qn=0,xU, 3.6a
    with
    q(x,s|x0)Φj+νAj(ν,s)ln|xxj|/ϵasxxj. 3.6b
    In other words, we have the following equation for q on U:
    D2q(x,s|x0)sq(x,s|x0)=2πνDj=1NAj(ν,s)δ(xxj),xUand qn=0,xU.} 3.7
    Applying the divergence theorem to this equation implies that
    2πνDj=1NAj(ν,s)=sUq(x,s|x0)dx. 3.8
    The outer equation then has the solution
    q(x,s|x0)=2πνDj=1NAj(ν,s)G(x,s|xj). 3.9
    Figure 2.

    Figure 2. Construction of the inner solution in terms of stretched coordinates y = ϵ−1(x − xi), where xi is the centre of the ith trap. The rescaled radius is |y| = 1 and the region outside the trap is taken to be R2 rather than the bounded domain U. (Online version in colour.)

    Figure 3.

    Figure 3. Construction of the outer solution. Each target is shrunk to a single point. The outer solution can be expressed in terms of the Neumann Green’s function of the modified Helmholtz equation and then matched with the inner solution around each target. (Online version in colour.)

    We have N unknown coefficients Aj(ν, s), which are obtained by solving N constraints. The latter are constructed by matching the far-field behaviour of the inner solutions Qj with the near-field behaviour of the outer solution q in a neighbourhood of Uj for j = 1, …, N,

    2πνDijAi(ν,s)G(xi,s|xj)+Aj(ν,s)+2πνDAj(ν,s)R(xj,s|xj)=Φj. 3.10
    In the case of a single target (N = 1), this can be solved explicitly as
    A1(ν,s)=DG(x1,s|x0)1+2πνDR(x1,s|x1). 3.11
    For N > 2, (3.10) is a matrix equation that has the formal solution
    Ai=j=1N[δi,j+2πνGij(s)]1Φj,i=1,,N, 3.12
    where
    Gij(s)=G(xi,s|xj)D,for ij;Gii(s)=R(xi,s|xi)D.
    It is important to note that the non-perturbative solutions (3.11) and (3.12) for the coefficients Ai(ν) effectively sum over all logarithmic terms, which is equivalent to calculating the asymptotic solution for all terms of O(νk) for any k. This type of summation was originally obtained by Ward & Keller [11], and is a common feature of strongly localized perturbations in 2D domains. Since ν → 0 more slowly than ϵ → 0, the summation over logarithmic terms yields O(1) accuracy with respect to ϵ. (It is also possible to include O(ϵ) and higher-order terms as illustrated in [20].)

    Finally, substituting the inner solution into the Laplace transform of the flux equation (2.2) and using equation (2.12), we obtain the asymptotic expansion of the conditional FPT densities in Laplace space,

    πk(x0)f~k(x0,s)=J~k(x0,s)=DUkp~(x,s|x0)ndσ=DUk(G(x,s|x0)+D1q(x,s|x0))ndσ=Uk[DG(x,s|x0)ndσ2πνAk(ν,s)]. 3.13
    Using the fact that
    UkG(x,s|x0)ndσ=UkG(xk,s|x0)ndσ+O(ϵ),
    and noting that G(xk,s|x0) is a constant vector, we see that the integral term on the right-hand side vanishes. We thus have our main result; namely, that to leading order in ϵ,
    πk(x0)f~k(x0,s)=2πνAk(ν,s), 3.14
    with Ak given by the solution of equation (3.12). Summing both sides of equation (3.14) with respect to k recovers a previous result for the unconditional FPT density [21]
    k=1Nπk(x0)f~k(x0,s)=2πνk=1NAk(ν,s). 3.15

    One particular advantage of working with the Laplace transformed FPT densities is that asymptotic expansions of splitting probabilities and FPT moments can be obtained directly by performing a Taylor expansion in the Laplace variable s for fixed ν, rather than separately solving a BVP for each statistical quantity as in previous studies [10,18,21,23].

    (a) Splitting probabilities

    Taking the limit s → 0 in equation (3.14) and using f~k(x0,0)=1 yields

    πk=2πνlims0Ak(ν,s). 3.16
    In order to determine the small-s behaviour of Ak(ν, s), we use the result that
    G(x,s|x0)=1s|U|+G0(x,x0)+sG1(x,x0)+o(s), 3.17
    where G0 is the modified Neumann Green’s function of the diffusion equation,
    D2G0(x,x0)=1|U|δ(xx0),xU, 3.18a
    G0(x,x0)n=0,xU,UG0(x,x0)dx=0, 3.18b
    G0(x,x0)=12πln|xx0|+R0(x,x0) 3.18c
    and
    D2G1(x,x0)G0(x,x0)=0,xU, 3.19a
    G1(x,x0)n=0,xU,UG1(x,x0)dx=0. 3.19b
    Note that the solution of equation (3.19) is non-singular and takes the form
    G1(x,x0)=UG0(y,x)G0(y,x0)dy. 3.20
    Taking the limit s → 0 in equation (3.8) yields
    2πνlims0j=1NAj(ν,s)=D1lims0sUq(x,s|x0)dx=lims0sU[p~(x,s|x0)G(x,s|x0)]dx=limtU[p(x,t|x0)G(x,t|x0)]dx=1. 3.21
    Hence, the coefficient Ak(ν, s) has the small-s expansion
    Ak(ν,s)=12πνN+Ak(ν)+sχk(ν)+s2ζk(ν)+O(s3) 3.22
    for some χk(ν), ζk(ν), with the constraint
    k=1NAk(ν)=0. 3.23
    It immediately follows that the splitting probability is
    πk=1N+2πνAk(ν). 3.24

    It remains to determine the coefficients Ak(ν) by substituting equations (3.17) and (3.22) into the matching equation (3.10) and taking the limit s → 0. This yields

    jk[2πνAj(ν)+1N]G0(xj,xk)+1D(Ak(ν)+12πνN)+[2πνAk(ν)+1N]R0(xk,xk)=G0(xk,x0)2πν|U|χ(ν), 3.25
    where χ(ν)=k=1Nχk(ν). Summing both sides of equation (3.25) with respect to k and using kAk(ν)=0 gives
    2πν|U|χ(ν)=12πνDN+1Ni,j=1N[2πνAi(ν)+1N]Gij(0)1Nj=1NG0(xj,x0), 3.26
    with
    Gij(0)=G0(xi,xj),forij;Gii(0)=R0(xi,xi).
    We can thus eliminate χ(ν) from equation (3.25) such that
    j=1N[2πνAj(ν)+1N]Gjk(0)1Nj,l=1N[2πνAj(ν)+1N]Gjl(0)+Ak(ν)D=G0(xk,x0)1Nj=1NG0(xj,x0). 3.27
    Equations (3.24) and (3.27) determine the asymptotic expansion of the splitting probabilities.

    (b) First passage times

    An analogous asymptotic analysis can be used to determine the moments of the conditional FPT density. These are given by

    Tk(n)=(dds)nf~k(x0,s)|s=0. 3.28
    For example, equations (2.5) and (2.14) imply that
    πk(x0)Tk(x0)=Π~k(x0,0)=lims0πk(x0)J~k(x0,s)s=lims0J~k(x0,0)J~k(x0,s)s=2πνlims0dAk(ν,s)ds=2πνχk(ν). 3.29
    Similarly, equations (2.5) and (2.15) give
    12πk(x0)Tk(2)(x0)=dΠ~k(x0,0)ds|s=0=lims0ddsJ~k(x0,0)J~k(x0,s)s=2πνζk(ν). 3.30
    The coefficients χk(ν) and ζk(ν) can be determined by expanding the matching condition (3.10) to O(s2). Here we simply state the results for a single target,
    2πνχ1(ν)=|U|[G0(x1,x0)R0(x1,x1)12πνD] 3.31
    and
    2πνζ1(ν)=|U|[G1(x1,x0)G1(x1,x1)χ1(ν)[1+2πνDR0(x1,x1)]D]. 3.32

    4. Stochastic resetting

    As our first application of the result (3.14) to extended narrow capture problems, suppose that we introduce a stochastic resetting protocol into the search process given by equation (2.1). That is, prior to being absorbed by one of the targets, the particle can reset to a fixed location xr at a random sequence of times generated by an exponential probability density ψ(τ)=rerτ, where r is the resetting rate. The probability that no resetting has occurred up to time τ is then Ψ(τ)=10τψ(s)ds=erτ. In the following, we identify xr with the initial position by setting x0 = xr, as illustrated in figure 1 for reset before capture. For simplicity, we will assume that the resetting is instantaneous and there are no refractory delays. (Extensions to finite return times and other delays can be found elsewhere [28,29,31].) Using renewal theory it can be shown that the splitting probabilities and conditional FPT densities with resetting, which are distinguished by the subscript r, can be expressed in terms of statistical quantities without resetting as follows [23]:

    πr,k(xr)=πk(x0)rΠ~k(x0,r)1rQ~(x0,r)=J~k(x0,r)j=1NJ~j(x0,r)=Ak(ν,r)j=1NAj(ν,r) 4.1
    and
    πr,k(x0)f~r,k(x0,s)=πk(x0)(r+s)Π~k(x0,r+s)1rQ~(x0,r+s)=2πν(r+s)Ak(ν,r+s)s+2πνrj=1NAj(ν,r+s). 4.2
    We have used equations (2.5) and (3.14). Moreover, differentiating equation (4.2) with respect to s shows that the unconditional MFPT with resetting is
    Tr(x0)=Q~(x0,r)1rQ~(x0,r)=1r12πνj=1NAj(ν,r)2πνj=1NAj(ν,r). 4.3
    In the case of a single target, we have πr,1(x0) = 1 and equation (3.11) implies that
    Tr(x0)=1r12πνA1(ν,r)2πνA1(ν,r)=1r1+2πνD[R(x1,s|x1)G(x1,s|x0)]2πνDG(x1,s|x0). 4.4

    Let us first consider the small-r regime, which was previously analysed in [23]. Taylor expanding equation (4.1) in r for fixed ν, we have

    πr,k(xr)=πk(x0)+rAk(ν,0)+o(r)1+rj=1NAj(ν,0)+o(r)=πk(x0)[1rTk(x0)]+o(r)1rT(x0)+o(r)=πk(x0)+rπk(x0)(T(x0)Tk(x0))+o(r), 4.5
    where Ak′ indicates differentiation with respect to the Laplace variable. Hence, we recover the condition that, to O(r), resetting at a rate r will increase the splitting probability to the kth target provided that T(x0) > Tk(x0). Similarly, Taylor expanding equation (4.3) gives
    Tr(x0)=2πνk=1N[Ak(ν,0)+rAk(ν,0)/2+o(r)]1+2πνrj=1NAj(ν,0)+o(r)=T(x0)rT(2)(x0)/2+o(r)1rT(x0)+o(r)=T(x0)+r[T(x0)2T(2)(x0)/2]+o(r), 4.6
    where T(2)(x0) is the unconditional second moment without resetting. We see that the unconditional MFPT will be reduced in the small-r regime provided that the coefficient of variation satisfies the inequality σT(x0)/T(x0) > 1, where σT=T(2)T2.

    In the case of a single target, we can derive an explicit expression for the above inequality using equations (3.31) and (3.32). That is,

    T(x0)2T(2)(x0)2=|U|2[G0(x1,x0)R0(x1,x1)12πνD]2|U|2[G1(x1,x0)G1(x1,x1)χ1(ν)[1+2πνDR0(x1,x1)]D]=|U|2(2πνD)2|U|2πνD[G0(x1,x0)R0(x1,x1)]+|U|22πνD[G0(x1,x0)R0(x1,x1)12πνD][1+2πνDR0(x1,x1)]+O(1)=|U|2πνDG0(x1,x0)+O(1). 4.7
    Hence, to leading order, the MFPT will be reduced in the small-r regime provided that G0(x1, x0) > 0. The generalization to the multiple target case is j=1NG0(xj,x0)>0. Note that in [23] this result was derived by separately solving the BVPs for T and T(2).

    Another major advantage of working with the full FPT densities is that the expressions (4.1) and (4.3) for the splitting probabilities and unconditional MFPT hold for all resetting rates r. Hence, the calculation of the splitting probabilities and FPTs outside the small-r regime reduces to the problem of obtaining accurate numerical or analytical approximations of the modified Helmholtz Green’s function G(x, r|x′). This particular issue has been addressed by Lindsay et al. [21], and we adapt their results to the current problem. It turns out that an important step in the evaluation of Green’s function is to decompose G as the sum of the free-space Green’s function and a regular boundary-dependent part,

    G(x,s|x)=12πDK0(sD|xx|)+R^(x,s|x), 4.8
    where K0(z) is the modified Bessel function of the second kind and R^ is non-singular as x → x′. Using a boundary integral method, it can be shown that, for |x − x0| = O(1) and large s/D, the boundary contributions to R^ are exponentially small so that [21]
    G(x,s|x0)12πDK0(sD|xx0|),xx0,R^(x0,s|x0)12πD(lnsDln2+γc), 4.9
    where γc ≈ 0.5772 is Euler’s gamma constant. We now observe that the off-diagonal matrix terms in (3.10) are exponentially smaller than the diagonal elements, so that, to leading order,
    Ak(ν,s)=(2π)1K0(s/D|xkx0|)1ν(lns/Dln2+γc),sD1. 4.10
    Hence, under the boundary-free approximation, Ak(ν, r) depends on the distances of the targets from x0 but is independent of the shape of the domain and the absolute locations of the targets. Numerically, it has been shown that such an approximation remains valid even at intermediate values of r (or equivalently at intermediate times) provided that x0 and xj, j=1,,N, are not close to the boundary and there are no bottlenecks separating the targets from x0. This result is reinforced in the presence of resetting.

    Substituting for Ak into equations (4.1) and (4.3) yields the finite-r approximations

    πr,k(x0)K0(r/D|xkx0|)j=1NK0(r/D|xjx0|) 4.11
    and
    Tr(x0)1r1ν(lnr/Dln2+γc)νj=1NK0(r/D|xjx0|)νj=1NK0(r/D|xjx0|). 4.12
    We can then use equation (4.12) to explore how the unconditional MFPT varies with the resetting rate r, the number of targets and the distribution of distances |xi − x0|, i = 1, …, N. In figure 4, we plot the finite-r expression for Tr as a function of r for a set of N targets whose distances from x0 are of the form ρn: = |xb − x0| = ρ0 + (n − 1)Δρ. Since the approximations (4.11) and (4.12) break down for small r we impose the restriction r/D > 1. For a range of parameter values we find that Tr has a minimum at an optimal resetting rate ropt that depends on N, Δρ and ρ0. In all cases Tr → ∞ as r → ∞, which reflects the fact that if the particle resets too often then it never has the chance to reach even the closest target. The divergence of Tr can be explored further using the asymptotic expansion
    K0(z)π2zez[118z+O(z2)],z, 4.13
    which implies that
    πr,k(x0)er/D|xkx0|/|xkx0|j=1Ner/D|xjx0|/|xjx0|,rD1, 4.14
    and
    Tr(x0)1r2/πνj=1Ner/D|xjx0|/r/D|xjx0|νj=1Ner/D|xjx0|/r/D|xjx0|,rD1.
    If we now order the targets such that
    |x1x0|<|x2x0||xNx0|,
    then the target closest to the reset point x0 dominates in the large-r regime and
    Tr(x)r/D|x1x0|νr2πer/D|x1x0|,r. 4.15
    Equation (4.15) establishes that the unconditional MFPT diverges exponentially.
    Figure 4.

    Figure 4. Plot of unconditional MFPT Tr(x0) under the boundary-free approximation for r/D>1 and N targets with |xn − x0| = ρ0 + (n − 1)Δρ. (a) ρ0 = 0.5, N = 3 and various Δρ. (b) ρ0 = 0.5, Δρ = 1 and various N. Other parameters are D = 1 and ν = 0.1. (Online version in colour.)

    5. Accumulation of target resources

    Turning to our second example of an extended narrow escape problem, suppose that, rather than being permanently absorbed or captured by a target, the particle delivers a discrete packet of some resource (burst event) to the target and then returns to x0, initiating another round of search-and-capture. The return to x0 is distinct from resetting before capture considered in §4, since the latter can occur at any time; see figure 1. (One could also consider a combination of both forms of resetting [23].) The sequence of bursts resulting from multiple rounds of search-and-capture leads to an accumulation of packets within the targets, which we assume is counteracted by resource degradation at some rate γ. Furthermore, suppose that the total time for the particle to unload its cargo, return to x0 and start a new search process is given by the random variable τ with waiting time density ρ(τ), which for simplicity is taken to be independent of the location of the targets (under the assumption of instantaneous reset). Let Mk(t) be the number of resource packets in the kth target that have not yet degraded at time t. As we have shown elsewhere [23,32,33], the accumulation of resources within the targets can be analysed by reformulating the multiple search-and-capture model as a G/M/∞ queuing process [34,35]. Here we simply quote the results for the steady-state mean and variance of Mk.

    First, the mean is given by

    M¯k(x0,γ)=πk(x0)γ[T(x0)+τcap], 5.1
    where π(x0) and T(x0) are the splitting probabilities and unconditional MFPT of a single search-and-capture event and τcap=0τρ(τ)dτ is the mean loading/unloading time. Hence, the relative distribution of resources across the population of competing targets is determined by the splitting probabilities πk(x0), whereas the total number of resources depends on the unconditional MFPT T(x0), that is,
    M¯tot(x0,γ)=k=1NM¯k(x0,γ)=1γ(T(x0)+τcap).
    On the other hand, the variance (and higher-order moments of the resource distribution) depend on the full conditional FPT densities in Laplace space that were calculated in §3. In particular, the variance takes the form
    Var[Mk(x0,γ)]=M¯k(x0,γ)[πk(x0)ρ~(γ)f~k(x0,γ)1j=1Nπj(x0)ρ~(γ)f~j(x0,γ)+1M¯k(x0,γ)], 5.2
    where f~k(x0,γ) are the conditional FPT densities. Using equation (3.14), we see that
    Var[Mk(x0,γ)]=M¯k(x0,γ)[2πνρ~(γ)Ak(ν,γ)12πνρ~(γ)j=1NAj(ν,γ)+1M¯k(x0,γ)]. 5.3
    It turns out that we can express the variance of the target resource distribution in terms of quantities associated with a search process with stochastic resetting at a rate γ. That is, setting r = γ in equations (4.1) and (4.3), and rearranging, we have
    Ak(ν,γ)j=1NAj(ν,γ)=πγ,k(x0),2πνj=1NAj(ν,γ)=11+γTγ(x0).
    Hence, equation (5.3) can be written in the form
    Var[Mk(x0,γ)]=M¯k(x0,γ)[πγ,k(x0)ρ~(γ)γTγ(x0)+1ρ~(γ)+1M¯k(x0,γ)]. 5.4
    In the absence of loading/unloading delays, ρ~(γ)=1 and τcap = 0, we obtain the simpler expression
    Var[Mk(x0,γ)]=πk(x0)γT(x0)[πγ,k(x0)γTγ(x0)πk(x0)γT(x0)+1]. 5.5
    Note that πk(x0) = π0,k(x0) and T(x0) = T0(x0). In conclusion, the steady-state variance depends on the splitting probabilities and unconditional MFPTs for a search process without resetting and one with resetting at the degradation rate γ.

    We now explore the γ-dependence of the Fano factor (without delays), which we write as

    Fk(x0,γ)=Var[Mk(x0,γ)]M¯k(x0,γ)=2πνAk(ν,γ)12πνj=1NAj(ν,γ)πk(x0)γT(x0)+1. 5.6
    The Fano factor is a natural quantity to consider in the case of a queuing process, since the latter is an example of a counting process that tracks discrete events. The best known example of a counting process is the Poisson process, which is Markovian and has a Fano factor of 1. In applications this is often used as a baseline to characterize the noise in a counting process. First, taking the limit γ → ∞ in equation (5.6) implies
    limγFk(x0,γ)=1. 5.7
    Next, in order to determine Fk(x0, γ) in the limit γ → 0, we use equation (3.22),
    Fk(x0,γ)=[1/N+2πν[Ak(ν)+γχk(ν)+o(γ)]2πνj=1N[Aj(ν)+γχj(ν)+γ2ζk(γ)+o(γ2)]πk(x0)γT(x0)+1]=[πk(ν)+2πνγχk(ν)+o(γ)γ[T(x0)+γT(2)(x0)/2+o(γ2)]πk(x0)γT(x0)+1] 5.8
    =1πk(x0)[Tk(x0)T(x0)12T(2)(x0)T(x0)2]+O(γ). 5.9
    Thus, in the limit γ → 0, the Fano factor depends on the splitting probabilities and low-order moments of the FPT densities.

    However, we can also determine the Fano factor for finite values of γ using the approximations (4.11) and (4.12),

    Fk(x0,γ)=νK0(γ/D|xkx0|)1ν(lnγ/Dln2+γc)νj=1NK0(γ/D|xjx0|)πk(x0)γT(x0)+1. 5.10
    Since πk(x0) and T(x0) depend on Green’s function G0 of the diffusion equation, which does not decay exponentially to the boundary, we need to specify the shape of the search domain. For the sake of illustration, consider a single target at a radial distance a from the centre of a circular search domain with unit radius (figure 5a) with a sufficiently small so that the approximation (5.10) holds. For a single target, π1(x0) = 1 and
    1T(x0)=2πνD|U|112πνD[G0(x1,x0)R0(x1,x1)], 5.11
    where |U|=π and we have used equation (3.31). For the unit circle with x0 = 0,
    G0(x,0)=12π[ln|x|+|x|2234],R0(x,x)=38π. 5.12
    Hence, the MFPT is
    T=T(a)=1+νD[lnaa2/2]2νD1νD[lnaa22], 5.13
    and the Fano factor takes the form F1 = F(a, γ) with
    F(a,γ)=νK0(γ/Da)1ν(lnγ/Dln2+γc)νK0(γ/Da)1γT(a)+1. 5.14
    In figure 5b, we plot F(a, γ) as a function of the degradation rate γ for various radii a. It can be seen that F → 1 as γ → ∞. Moreover, the Fano factor increases as a decreases, that is, as the distance from the reset point decreases.
    Figure 5.

    Figure 5. (a) Single target in a circular search domain of unit radius. The target is located at a distance a from the centre of the circle. Each time the particle is captured by the target it delivers a resource packet and immediately returns to x0 = 0 to initiate another round of search-and-capture. (b) Plot of the steady-state Fano factor as a function of the resource degradation rate and various radii a. Other parameter values are D = 1, ν = 0.1. (Online version in colour.)

    6. Conclusion

    In this paper, we used asymptotic PDE methods to analyse extended 2D narrow capture problems. The classical version is based on diffusion of a particle in a bounded domain with one or more small O(ϵ) absorbing interior targets or traps. First, we developed an efficient method for obtaining asymptotic expansions of statistical quantities such as splitting probabilities and moments of the conditional FPT densities by carrying out a Taylor expansion of the latter in Laplace space. This avoids having to solve a separate BVP for each quantity. We then used our asymptotic analysis of the FPT densities to determine the effects of stochastic resetting on the unconditional MFPT, extending previous results in the small-r regime. We exploited the exponential-like asymptotic decay of Green’s function for the modified Helmholtz equation in order to construct boundary-free approximations of statistical quantities that hold for intermediate and large values of the resetting rate r. This allowed us to identify target configurations where the MFPT is minimized at an optimal resetting rate. Finally, we investigated the size of fluctuations in the steady-state distribution of target resources under multiple rounds of search-and-capture. We proceeded by expressing the Fano factor for the number of resources in a target in terms of the splitting probabilities and unconditional MFPTs for a search process with resetting at the degradation rate γ. In future work, we hope to develop further the theory of extended narrow capture problems. One obvious example is to consider three-dimensional search processes. The major difference from two dimensions is that the associated Green’s functions have singularities of the form 1/|x| rather than −ln|x| as x| → 0. Another example is to consider partially absorbing targets, whereby the sets Uk in figure 1 are treated as partially absorbing domains in which the flux into the kth target is of the form Jk(x0,t)=κUkp(x,t|x0)dx, where κ is an absorption rate.

    Data accessibility

    This article has no additional data.

    Competing interests

    I declare I have no competing interests.

    Funding

    No funding has been received for this article.

    Footnotes

    Published by the Royal Society. All rights reserved.