PHYSICAL REVIEW E 80, 031146 共2009兲 Robustness of optimal intermittent search strategies in one, two, and three dimensions C. Loverdo, O. Bénichou, M. Moreau, and R. Voituriez Laboratoire de Physique Théorique de la Matière Condensée, UMR CNRS 7600, Université Pierre et Marie Curie, 4 Place Jussieu, 75252 Paris, France 共Received 2 July 2009; published 30 September 2009兲 Search problems at various scales involve a searcher, be it a molecule before reaction or a foraging animal, which performs an intermittent motion. Here we analyze a generic model based on such type of intermittent motion, in which the searcher alternates phases of slow motion allowing detection and phases of fast motion without detection. We present full and systematic results for different modeling hypotheses of the detection mechanism in space in one, two, and three dimensions. Our study completes and extends the results of our recent letter 关Loverdo et al., Nat. Phys. 4, 134 共2008兲兴 and gives the necessary calculation details. In addition, another modeling of the detection case is presented. We show that the mean target detection time can be minimized as a function of the mean duration of each phase in one, two, and three dimensions. Importantly, this optimal strategy does not depend on the details of the modeling of the slow detection phase, which shows the robustness of our results. We believe that this systematic analysis can be used as a basis to study quantitatively various real search problems involving intermittent behaviors. DOI: 10.1103/PhysRevE.80.031146 PACS number共s兲: 05.40.⫺a, 87.23.⫺n I. INTRODUCTION Search problems, involving a “searcher” and a “target,” pop up in a wide range of domains. They have been subject of intense work of modeling in situations as various as castaway rescue 关1兴, foraging animals 关2–9兴, or proteins reacting on a specific DNA sequence 关10–19兴. Among the wide panel of search strategies, the so-called intermittent strategies— combining “slow” phases enabling detection of the targets and “rapid” phases during which the searcher is unable to detect the targets—have been proved to be relevant at various scales. Indeed, at the macroscopic scale, numerous animal species have been reported to perform such kind of intermittent motion 关20,21兴 while searching either for food, shelter, or mate. In the case of an exploratory behavior, i.e., when the searcher has no previous knowledge or “mental map” of the location of targets, trajectories can be considered as random. Actually, the observed search trajectories are often described as a sequence of ballistic segments interrupted by much slower phases. These slow, and sometimes even immobile 关21兴, phases are not always well characterized, but it seems clear that they are aimed at sensing the environment and trying to detect the targets 关22兴. On the other hand, during the fast moving phases, perception is generally degraded so that the detection is very unlikely. An example of such intermittent behavior is given by the C.elegans worm, which alternates between a fast and almost straight displacement 共“roaming”兲 and a much more sinuous and slower trajectory 共“dwelling”兲 关23兴. During this last phase, the worm’s head, bearing most of its sensory organs, moves and touches the surface nearby. Intermittent strategies are actually also relevant at the microscopic scale, as exemplified by reaction kinetics in biological cells 关10,24兴. As the cellular environment is intrinsically out of equilibrium, the transport of a given tracer particle which has to react with a target molecule cannot be described as mere thermal diffusion: if the tracer particle can 1539-3755/2009/80共3兲/031146共29兲 indeed diffuse freely in the medium, it also intermittently binds and unbinds to motor proteins, which perform an active ballistic motion powered by adenosine triphosphate 共ATP兲 hydrolysis along cytoskeletal filaments 关24–26兴. Such intermittent trajectories of reactive particles are observed, for example, in the case of vesicles before they react with their target membrane proteins 关26兴. In that case, targets are not accessible during the ballistic phases when the vesicle is bound to motors, but only during the free diffusive phase. As illustrated in the previous examples the search time is often a limiting quantity whose optimization can be very beneficial for the system—be it an animal or a single cell. In the case of intermittent search strategies, the minimization of the search time can be qualitatively discussed: on the one hand, the fast but nonreactive phases can appear as a waste of time since they do not give any chance of target detection. On the other hand, such fast phases can provide an efficient way to relocate and explore space. This puts forward the following questions: is it beneficial for the search to perform such fast but nonreactive phases? Is it possible by properly tuning the kinetic parameters of trajectories 共such as the durations of each of the two phases兲 to minimize the search time? These questions have been addressed quantitatively on specific examples in 关6–9,27–30兴, where it was shown that intermittent search strategies can be optimized. In this paper, we perform a systematic analytical study of intermittent search strategies in one, two, and three dimensions and fully characterize the optimal regimes. This study completes our previous works, and in particular our recent letter 关24兴, by providing all calculation details and specifying the validity domains of our approach. It also presents another case relevant to model real search problems. Overall, this systematic approach allows us to identify robust features of intermittent search strategies. In particular, the slow phase that enables detection is often hard to characterize experimentally. Here we propose and study three distinct modelings for this phase, which allows us to assess to which extent our results are robust and model dependent. Our analysis covers in detail intermittent search problems in one, two, and three dimen- 031146-1 ©2009 The American Physical Society PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. sions and is aimed at giving a quantitative basis—as complete as possible—to model real search problems involving intermittent searchers. We first define our model and give general notations that we will use in this paper. Then we systematically examine each case, studying the search problem in one, two, and three dimensions, where for each dimension different types of motion in the slow phase are considered. Each case is ended by a short summary, and we highlight the main results for each dimension. Eventually we synthesize the results in Table II where all cases, their differences, and similarities are gathered. This table finally leads us to draw general conclusions. II. MODEL AND NOTATIONS A. Model The general framework of the model relies on intermittent trajectories, which have been put forward, for example, in 关6兴. We consider a searcher that switches between two phases. The switching rate 1 共2兲 from phase 1 to phase 2 共from phase 2 to phase 1兲 is time independent, which assumes that the searcher has no memory and implies an exponential distribution of durations of each phase i of mean i = 1 / i. Phase 1 denotes the phase of slow motion during which the target can be detected if it lies within a distance from the searcher which is smaller than a given detection radius a. a is the maximum distance within which the searcher can get information about target location. We propose three different modelings of this phase in order to cover various real life situations. 共i兲 In the first modeling of phase 1, hereafter referred to as the “static mode,” the searcher is immobile and detects the target with probability per unit time k if it lies at a distance less than a. 共ii兲 In the second modeling, called the “diffusive mode,” the searcher performs a continuous diffusive motion, with diffusion coefficient D, and finds immediately the target if it lies at a distance less than a. 共iii兲 In the last modeling, called the “ballistic mode,” the searcher moves ballistically in a random direction with constant speed vl and reacts immediately with the target if it lies at a distance less than a. Some comments on these different modelings of the slow phase 1 are to be made. The first two modes have already been introduced 关8,24兴, while the analysis of the ballistic mode has never been performed. These three modes schematically cover experimental observations of the behavior of animals searching for food 关20,21兴, where the slow phases of detection are often described as either static, random, or with slow velocity. Several real situations are likely to involve a combination of two modes. For instance the motion of a reactive particle in a cell not bound to motors can be described by a combination of the diffusive and static modes. For the sake of simplicity, here we treat these modes independently, and our approach can therefore be considered as a limit of more realistic models. We note that a similar version of the ballistic mode of detection has been discussed by Viswanathan et al. 关2,31兴. They introduced a model searcher performing randomly oriented ballistic movements 共and of power law distributed duration兲, with detection capability all along the trajectory. For this one state searcher, the search time for a target 共which is assumed to disappear after the first encounter兲 is minimized when the searcher performs a purely ballistic motion and never reorientates. In fact, the ballistic mode version of our model extends this model of one state ballistic searcher, by allowing the searcher to switch to a mode of faster motion, but with no perception. As it will be discussed, adding this possibility of intermittence enables a further minimization of the search time. Finally, combining these three schematic modes covers a wide range of possible motions from subdiffusive 共even static兲, diffusive, to superdiffusive 共even ballistic兲. Phase 2 denotes the fast phase during which the target cannot be found. In this phase, the searcher performs a ballistic motion at constant speed V and random direction, redrawn each time the searcher enters phase 2, independently of previous phases. In real examples correlations between successive phases could exist. If correlations are very high, it is close to a one-dimensional problem with all phases 2 in the same direction, a different problem already treated in 关6兴. We consider here the limit of low correlation, which is of a searcher with no memory skills. We assume that the searcher evolves in d-dimensional spherical domain of radius b, with reflective boundaries and with one centered immobile target 共bounds can be obtained in the case of mobile targets 关32,33兴兲. As the searcher does not initially know the target location, we start the walk from a random point of the d-dimensional sphere and average the mean target detection time over the initial position. This geometry models the case of a single target in a finite domain and also provides a good approximation of an infinite space with regularly spaced targets. Such regular array of targets corresponds to a mean-field approximation of random distributions of targets, which can be more realistic in some experimental situations. We note that in the one-dimensional case, we have shown that a Poisson distribution of targets can lead to significantly different results from the regular distribution 关34,35兴. We expect this difference to be less in dimensions 2 and 3, and we limit ourselves in this paper to the mean-field treatment for the sake of simplicity. B. Notations ti共rជ兲 denotes the mean first-passage time 共MFPT兲 on the target for a searcher starting in the phase i from point rជ, where phase i = 1 is the slow motion phase with detection and phase i = 2 is the fast motion phase without target detection. Note that in dimension 1, the space coordinate will be denoted by x, and in the case of a ballistic mode for phase 1, the upper index in t⫾ i stands for ballistic motion with direction ⫾x. The general method which will be used at length in this paper consists of deriving and solving backward equations for ti共rជ兲 关36兴. These linear equations involve derivatives with respect to the starting position rជ. Assuming that the searcher starts in phase 1, the mean detection time for a target is then defined as 031146-2 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … PHYSICAL REVIEW E 80, 031146 共2009兲 k tion radius a. It is the limit of a very slow searcher in the reactive phase. phase 1 1. Equations Outside the target 共for x ⬎ a兲, we have the following backward equations for the mean first-passage time: V V t phase 2 x −V 2a 1 V共⍀d兲 冕 ⍀d t1共rជ兲drជ , dt−2 1 + 共t1 − t−2 兲 = − 1, dx 2 冉 FIG. 1. 共Color online兲 Static mode in one dimension. tm = dt+2 1 + 共t1 − t+2 兲 = − 1, dx 2 冊 1 t+2 + t−2 − t1 = − 1. 2 1 共1兲 with ⍀d as the d-dimensional sphere of radius b and V共⍀d兲 its volume. Unless specified, we will consider the low target density limit a Ⰶ b. Our general aims are to minimize tm as a function of the mean durations 1 , 2 of each phase and in particular to determine under which conditions an intermittent strategy 共with finite 2兲 is faster than a usual one state search in phase 1 only, which is given by the limit 1 → ⬁. In the static mode, intermittence is necessary for the searcher to move and is therefore always favorable. In the diffusive mode, we will compare the mean search time with intermittence tm to the mean search time for a one state diffusive searcher tdif f and define the gain as gain= tdif f / tm. Similarly in the ballistic mode, we will compare tm to the mean search time for a one state ballistic searcher tbal and define the gain as gain = tbal / tm. Throughout the paper, the upper index “opt” is used to denote the value of a parameter or variable at the minimum of tm. III. DIMENSION 1 Besides the fact that it involves more tractable calculations, the one-dimensional case can also be interesting to model real search problems. At the microscopic scale, tubular structures of cells such as axons or dendrites in neurons can be considered as one dimension 关25兴. The active transport of reactive particles, which alternate diffusion phases and ballistic phases when bound to molecular motors, can be schematically captured by our model with diffusive mode 关24兴. At the macroscopic scale, one could cite animals such as ants 关37兴 which tend to follow tracks or one-dimensional boundaries. A. Static mode In this section we assume that the detection phase is modeled by the static mode 共Fig. 1兲. Hence the searcher does not move during the reactive phase 1 and has a fixed reaction rate k per unit time with the target if it lies within its detec- 共2兲 共3兲 共4兲 Inside the target 共x ⱕ a兲, the first two equations are identical, but the third one is written as 冉 冊 1 1 t+2 + t−2 − + k t1 = − 1. 1 2 1 共5兲 We introduce t2 = 共t+2 + t−2 兲 / 2 and td2 = 共t+2 − t−2 兲 / 2. Then outside the target we have the following equations: V V 2 2 dt2 1 d − t = 0, dx 2 2 共6兲 d 2t 2 1 + 共t1 − t2兲 = 0, dx2 2 共7兲 1 共t − t 兲 = − 1. 1 2 1 共8兲 Inside the target the first two equations are identical, but the last one writes 冉 冊 1 1 t − + k t1 = − 1. 1 2 1 共9兲 Due to the symmetry x ↔ −x, we can restrict the study to the part x 苸 关0 , a兴 and the part x 苸 关a , b兴. This symmetry also implies 冏 冏 冏 冏 dtin 2 dx dtout 2 dx = 0, 共10兲 = 0. 共11兲 x=0 x=b In addition, continuity at x = a for t+2 and t−2 gives out tin 2 共x = a兲 = t2 共x = a兲, 共12兲 d,out td,in 共x = a兲. 2 共x = a兲 = t2 共13兲 This set of linear equations enables an explicit determination of t1, t2, and td2 inside and outside the target. 2. Results An exact analytical expression of the mean first-passage time at the target is then given by 031146-3 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. (a) (b) (c) (d) FIG. 2. 共Color online兲 Static mode in one dimension. Exact expression of tm 关Eq. 共14兲兴 共lines兲 compared to the approximation of tm 关Eq. opt opt 共17兲兴 共symbols兲, both rescaled by tm 关Eq. 共20兲兴. opt 1 from Eq. 共18兲; 2 from Eq. 共19兲. V = 1, k = 1. b / a = 10 共green, squares兲, b / a = 100 共red, circles兲, and b / a = 1000 共blue, crosses兲. tm = 冋 共b − a兲3 共b − a兲2 1 + 2 b + + b k1 V2 3V222 冉 冊 ⫻coth 册 a + 共b − a兲2 , V 2 t m = 共 1 + 2兲 共14兲 where  = 冑共k1兲−1 + 1. In order to determine the optimal strategy, we need to simplify this expression, by expanding Eq. 共14兲 in the regime b Ⰷ a, t m = 共 1 + 2兲 冋 冋 冉 冊 册 opt 1 = 冑 冉 冊 a b Vk 12a 共15兲 We make the further assumption a / V2 Ⰶ 1 and obtain using ⬎1 冉 冊 1 b b2 + 2 2 + 2 + 2 . k1 3V 2 a 共16兲 Since  ⬎ 1 and  ⬎ 1 / 共k1兲, we obtain in the limit b Ⰷ a 共17兲 This simple expression gives a very good and convenient approximation of the mean first-passage time at the target, as shown in Fig. 2. We use this approximation 关Eq. 共17兲兴 to find 1 and 2 values which minimize tm, 1 a b b2 + 2 2+ coth + 2 . k1 3V 2 V2 V 2 t m = 共 1 + 2兲 冊册 冉 1 b2 b + +1 . 2 2 k1 a 3V 2 opt 2 = a V 冑 b . 3a 1/4 , 共18兲 共19兲 It can be noticed than opt 2 does not depend on k. Then the expression of the minimal value of the search time tm 关Eq. opt 共17兲兴 with 1 = opt 1 and 2 = 2 is 031146-4 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … PHYSICAL REVIEW E 80, 031146 共2009兲 共27兲 t1 = 0. V We introduce the variables t2 = 共t+2 + t−2 兲 / 2 and td2 = 共t+2 − t−2 兲 / 2. This leads to the following system outside the target 共x ⬎ a兲, phase 1 V D t V 2 2 phase 2 x 2a D FIG. 3. 共Color online兲 Diffusive mode in one dimension. opt tm = 冉 冊 冋冑 冉 冊 册冋冑 冉 冊 册 b b ak 3a 1/4 2bk 3a 3V b 1/4 2ka 3a + V b +1 dt2 1 d = t , dx 2 2 共28兲 dt2 1 + 共t1 − t2兲 = − 1, dx 2 共29兲 d 2t 1 1 + 共t2 − t1兲 = − 1, dx2 1 共30兲 and inside the target 共x ⱕ a兲, 1/4 . V dt2,in 1 d = t2,in , dx 2 共31兲 共20兲 V 2 2 3. Summary For the static modeling of the detection phase in dimension 1, in the b Ⰷ a limit, the mean detection time is t m = 共 1 + 2兲 冋 冊册 冉 1 b2 b + +1 . 2 2 k1 a 3V 2 共21兲 Intermittence is always favorable, and the optimal strategy is a冑 b 冑 a b 1/4 and opt realized when opt 1 = Vk 共 12a 兲 2 = V 3a . Importantly, the optimal duration of the relocation phase does not depend on k, i.e., on the description of the detection phase. dt2,in 1 − t2,in = − 1, dx 2 共32兲 共33兲 t1 = 0. Interestingly, this system is exactly of the same type that what would be obtained with two diffusive phases, with f 2 Def 2 = V 2 in phase 2. Boundary conditions result from continuity and symmetry, t1共a兲 = 0, 共34兲 + 共a兲, t+2 共a兲 = t2,in 共35兲 − t−2 共a兲 = t2,in 共a兲, 共36兲 B. Diffusive mode We now turn to the diffusive modeling of the detection phase 共Fig. 3兲. The detection phase 1 is now diffusive, with immediate detection of the target if it is within a radius a from the searcher. 冏 冏 冏 冏 冏 冏 1. Equations Along the same lines, the backward equations for the mean first-passage time read outside the target 共x ⬎ a兲, V dt+2 1 + 共t1 − t+2 兲 = − 1, dx 2 −V D dt−2 1 + 共t1 − t−2 兲 = − 1, dx 2 冉 冊 d2t1 1 t+2 t−2 + + − t1 = − 1, dx2 1 2 2 V dt+2 1 + − t = − 1, dx 2 2 −V dt−2 dx − 1 − t = − 1, 2 2 共25兲 dt1 dx x=b = 0, 共37兲 = 0, 共38兲 共39兲 = 0. x=0 2. Results 共23兲 and inside the target 共x ⱕ a兲, x=b dt2,in dx 共22兲 共24兲 dt2 dx Standard but lengthy calculations lead to an exact expression of mean first detection time of the target tm given in Appendix A 1. We first studied numerically the minimum of tm in Appendix A 2 and identified three regimes. In the first regime 共b ⬍ DV 兲 intermittence is not favorable. For b ⬎ DV intermittence is favorable and two regimes 共bD2 / a3V2 ⬍ 1 and bD2 / a3V2 ⬎ 1兲 should be distinguished. We now study analytically each of these regimes. D 3. Regime where intermittence is not favorable: b ⬍ V 共26兲 If b ⬍ DV , the time spent to explore the search space is smaller in the diffusive phase than in the ballistic phase. 031146-5 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. (a) (b) FIG. 4. 共Color online兲 Diffusive mode in one dimension. tm / tdif f , tdif f from Eq. 共42兲 and tm exact expression 关Eq. 共A1兲兴 共line兲 and approximation in the regime of favorable intermittence and bD2 / a3V2 Ⰷ 1 关Eq. 共43兲兴 共symbols兲. a = 1 and b = 100 共green, circles兲, a = 1, b opt = 104 共red, crosses兲, and a = 10, b = 105 共blue, squares兲. D = 1, V = 1. opt 1 is from expression 共44兲; 2 is from expression 共45兲. Intermittence cannot be favorable in this regime, as confirmed by the numerical study in Appendix A 2. Without intermittence, the searcher only performs diffusive motion and the problem can be solved straightforwardly. The backward equations read tdif f = 0 inside the target 共x ⱕ a兲 and outside the target 共x ⬎ a兲, D d2tdif f = − 1. dx2 共40兲 3 共b − a兲3 , 3Db 共41兲 b2 . 3D 共42兲 As explained in detail in Appendix A 3, we use the approximation of low target density 共b Ⰷ a兲 and we use asopt sumptions on the dependence of opt 1 and 2 on b and a. These assumptions lead to the following approximation of the mean first-passage time: 冉 gainopt = 冊 1 b + . 2 2 冑 3V 2 D1 冑 1 3 2b2D = , 2 9V4 35 b4 . 24 DV2 共46兲 tdif f opt tm 冑冉 冊 3 ⯝ 24 bV 38 D 冉 冊 2/3 ⯝ 0.13 bV D 2/3 . 共47兲 These results are in agreement with numerical minimization of the exact tm 共Table III in Appendix A 2兲. We start from the exact expression of tm 关Eq. 共A1兲兴. As detailed in Appendix A 4, we make assumptions on the deopt pendence of opt 1 and 2 with b and a and use the assumptions that b Ⰷ a and 1 Ⰷ bD2 / a3V2. It leads to 冉 冊 a b ab + 2 2 . t m ⯝ 共 1 + 2兲 冑 a a + D1 3V 2 共48兲 This expression gives a good approximation of tm, at least around the optimum 共Fig. 5兲, which is characterized by 共43兲 We checked numerically that this expression gives a good approximation of tm in this regime, in particular around the optimum 共Fig. 4兲. The simplified tm expression 关Eq. 共43兲兴 is minimized for opt 1 共45兲 5. Optimization in the second regime where intermittence is D favorable: b ⬍ V and 1 š bD2 Õ a3V2 4. Optimization in the first regime where intermittence is D favorable: b ⬍ V and bD2 Õ a3V2 š 1 tm = 共1 + 2兲b 2b2D , 9V4 This compares to the case without intermittence 关Eq. 共41兲兴 according to which in the limit b Ⰷ a leads to tdif f ⯝ 冑 3 opt ⯝ tm Since tdif f 共x = a兲 = 0 and dtdif f / dx 兩x=b = 0, we get tdif f 共x兲 1 = 2D 关共b − a兲2 − 共b − x兲2兴. The mean first-passage time at the target then reads tdif f = 冑 opt 2 = 共44兲 031146-6 opt 1 = Db , 48V2a opt 2 = a V opt ⯝ tm 冑 b , 3a 冑 冉 冊 2a 共49兲 b a V 3 共50兲 3/2 , 共51兲 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … PHYSICAL REVIEW E 80, 031146 共2009兲 (a) (b) FIG. 5. 共Color online兲 Diffusive mode in one dimension. tm / tdif f , tdif f from Eq. 共42兲 and tm exact expression 关Eq. 共A1兲兴 共line兲 and approximation in the regime of favorable intermittence and bD2 / a3V2 Ⰶ 1 关Eq. 共48兲兴 共symbols兲. a = 10 and b = 100 共green, circles兲, a = 10, opt b = 1000 共red, crosses兲, and a = 100, b = 104 共blue, squares兲. D = 1, V = 1. opt 1 is from expression 共49兲; 2 is from expression 共50兲. gain ⯝ 1 aV 2 冑3 D 冑 b . a 1. Equations 共52兲 The backward equations read outside the target 共x ⬎ a兲, vl These results are in very good agreement with numerical data 共Table III in Appendix A 2兲. Note that the gain can be very large at low target density. − vl 6. Summary We calculated explicitly the mean first-passage time tm in the case where the detection phase is modeled by the diffusive mode. We minimized tm as a function of 1 and 2, the mean phase durations, with the assumption a Ⰶ b. There are three regimes: 共i兲 when b ⬍ DV , intermittence is not favorable, thus opt opt 2 1 → ⬁, opt 2 → 0, and tm = tdif f ⯝ b / 3D; D 2 3 2 共ii兲 when b ⬎ V and bD / a V Ⰷ 1, intermittence is opt 冑 3 2 4 opt and favorable, with 2 = 21 = 2b D / 9V opt 冑 3 5 4 4 2 tm ⯝ 共3 / 2 兲共b / DV 兲; and 共iii兲 when b ⬎ DV and bD2 / a3V2 Ⰶ 1, intermittence is favor2a b 3/2 opt opt a 冑 b 2 able, with opt 1 = Db / 48V a, 2 = V 3a , and tm ⯝ v冑3 共 a 兲 . This last regime is of particular interest since the value obtained for opt 2 is the same as in the static mode 共cf. Sec. III A 3兲. V 冉 冊 冉 冊 冉 冊 冉 冊 dt+1 1 t+2 t−2 + + + − t = − 1, dx 1 2 2 1 dt−1 1 t+2 t−2 − + + − t = − 1, dx 1 2 2 1 dt+2 1 t+1 t−1 + + + − t = − 1, dx 2 2 2 2 −V dt−2 1 t+1 t−1 − + + − t = − 1. dx 2 2 2 2 共53兲 共54兲 共55兲 共56兲 Defining tdi = 共t+i − t−i 兲 / 2 and ti = 共t+i + t−i 兲 / 2, we get the following equations 共and similar expressions with vl → V, t1 → t2, t2 → t1兲: vl dtd1 1 + 共t2 − t1兲 = − 1, dx 1 共57兲 phase 2 phase 1 C. Ballistic mode We now treat the case where the detection phase 1 is modeled by the ballistic mode 共Fig. 6兲. This model schematically accounts for the general observation that speed often degrades perception abilities. Our model corresponds to the extreme case where only two modes are available: either the motion is slow and the target can be found or the motion is fast and the target cannot be found. Note that this model can be compared with 关2兴. 031146-7 V t vl x 2a FIG. 6. 共Color online兲 Ballistic mode in one dimension. PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. vl dt1 1 d − t = 0, dx 1 1 共58兲 ⌫ = which eventually lead to the following system: v2l 1 V 2 2 d 2t 1 1 + 共t2 − t1兲 = − 1, dx2 1 共59兲 d 2t 2 1 + 共t1 − t2兲 = − 1, dx2 2 共60兲 共冑␣ − L1兲共L1 + L2兲 + 冑␣共L2 − L1 + 冑␣兲X + X2L2共L2 − L1兲 关共L1 + 冑␣兲X2 + 共L1 − 冑␣兲兴共冑␣ + L2 − L1兲 共72兲 X = e2a/L2 , 共73兲 ␣ = L21 + L22 , 共74兲 L2 = V2 , 共75兲 L 1 = v l 1 . 共76兲 together with td1 = vl1 dt1 , dx 共61兲 td2 = V2 dt2 . dx 共62兲 −,in Inside the target 共x ⱕ a兲, one has t+,in 1 共x兲 = t1 共x兲 = 0 and V dt+,in 1 2 − t+,in = − 1, dx 2 2 −V 共64兲 Finally, the boundary conditions read 冏 冏 冏 冏 dt2 dx dt1 dx 3. Regime without intermittence: 1 \ ⴥ In this regime, there is no intermittence. The searcher starts either inside the target 共x in 关−a , a兴兲 and immediately finds the target or it starts at a position x outside the target. We can therefore take x 苸 关a , b兴. If the searcher goes in the −x direction, it finds its target after T = 共x − a兲 / vl. If the searcher goes in the +x direction, it finds its target after T = 关共b − x兲 + 共b − a兲兴 / vl. This leads to 共65兲 = 0, tbal = x=b 共66兲 = 0, 共67兲 − t−2 共a兲 = t2,in 共a兲, 共68兲 冏 冏 共69兲 = 0, 共70兲 tm = where 共1 + 2兲b ␣3/2 冋冉 冊冑 b + L1 3 册 ␣ + ⌫L2共冑␣ + L2兲 , 共71兲 b a lim tm = 1→0 b−a 共b − a兲2 dx = . bvl vl 共77兲 冉 冊 e2a/L2 + 1 b b + 2a/L . V 3L2 e 2 − 1 共78兲 Taking the derivative with respect to L2 yields d 共 lim tm兲 ⬀ 12ae2a/L2 + 2be2a/L2 − b − be4a/L2 , 共79兲 dL2 1→0 which has only one positive root, 2. Results The exact expression of tm 共cf. Appendix B兲 is obtained through lengthy but standard calculations. To simplify this expression, we consider the small density limit a / b → 0 and finally obtain the following very good approximation of tm 共Fig. 7兲: 冕 We take the limit 1 → 0 in the expression of tm 关Eq. 共71兲兴 and obtain x=0 t−1 共a兲 = 0. 1 b 4. Intermittent regime x=b + t+2 共a兲 = t2,in 共a兲, dt2,in dx A numerical analysis indicates 共Fig. 7 and Table I兲 that, depending on the parameters, there are two possible optimal strategies: 共i兲 1 → ⬁, intermittence is not favorable and 共ii兲 1 → 0 , 2 = opt 2 , intermittence is favorable. We now study analytically these regimes. 共63兲 dt−,in 1 2 − t−,in = − 1. dx 2 2 , Lopt 2 = 2a ln共1 + 6a/b + 2冑3a/b + 9a2/b2兲 In the limit b Ⰷ a it leads to opt 2 = a 3V 冑 b , a . 共80兲 共81兲 which is in agreement with numerical minimization of the exact mean detection time shown in Table I. The mean first-passage time at the target is minimized in the intermittent regime for 1 → 0 and 2 = opt 2 . We replace 2 031146-8 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … PHYSICAL REVIEW E 80, 031146 共2009兲 (a) (b) (c) (d) FIG. 7. 共Color online兲 Ballistic mode in one dimension. Comparison between low density approximation 关Eq. 共71兲兴 共symbols兲 and the opt exact expression of tm 关Eq. 共B1兲兴 共line兲. 共a兲 and 共b兲: tm as a function of 1, with 2 = 0.1opt 2 共red, crosses兲, 2 = 2 共blue, squares兲, and 2 opt opt = 102 共green, circles兲. 共c兲 and 共d兲: tm as a function of 2 / 2 , with 1 = 0 共red, crosses兲, 1 = 10 共violet, circles兲, 1 = 100 共blue, squares兲, and 1 = 10 000 共green, diamonds兲. 共a兲 and 共c兲: vl = 0.12⬎ vcl : intermittence is not favorable. 共b兲 and 共d兲: vl = 0.06⬍ vcl : intermittence is favorable. opt 2 is from the analytical prediction 关Eq. 共81兲兴. a = 1, V = 1, and b = 100. by Eq. 共81兲 in expression 共78兲 and take b Ⰷ a to finally obtain opt = tm 2 b 冑3 V 冑 b , a 共82兲 gain = 冑3 V 2 vl 冑 a . b This shows that the gain is larger than 1 for vl ⬍ vcl = V 2 冑 ba , which defines the regime where intermittence is favorable. 冑3 TABLE I. Ballistic mode in one dimension. Numerical minimization of the exact tm 关Eq. 共B1兲兴. Values of 1 and 2 at the minimum. Comparison with theoretical 2. a = 0.5, V = 1. vl = 1 b=5 vl = 0.1 1 → ⬁ vl = 0.01 vl = 0.001 1 → 0, opt 2 = 0.86 opt,th 关Eq. 共81兲兴 2 opt,th = 0.91 2 b = 50 1 → ⬁ 1 → 0, opt 2 = 2.9 opt,th = 2.9 2 b = 500 1 → ⬁ 1 → 0, opt 2 = 9.1 opt,th = 9.1 2 b = 5000 共83兲 1 → ⬁ 1 → 0, opt 2 = 29 031146-9 opt,th = 29 2 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. 5. Summary In the case where phase 1 is modeled by the ballistic mode in dimension 1, we calculated the exact mean firstpassage time tm at the target. tm can be minimized as a function of 1 and 2, yielding two possible optimal strategies: 冑3 共i兲 for vl ⬎ vcl = V 2 冑 ba , intermittence is not favorable, thus opt opt 1 → ⬁ and 2 → 0;冑 3 共ii兲 for vl ⬍ vcl = V 2 冑 ba , intermittence is favorable, with a 冑b opt opt 1 → 0 and 2 = 3V a Note that the model studied in 关2兴 shows that when targets are not revisitable, the optimal strategy for a one state searcher is to perform a straight ballistic motion. This strategy corresponds to 1 → ⬁ in our model. Our results show that if a faster phase without detection is allowed, this straight line strategy can be outperformed. D. Conclusion in dimension 1 Intermittent search strategies in dimension 1 share similar features for the static, diffusive, and ballistic detection modes. In particular, all modes show regimes where intermittence is favorable and lead to a minimization of the search time. Strikingly, the optimal duration of the nonreactive relocation phase 2 is quite independent of the modeling of the a 冑b reactive phase: opt 2 = 3V a for the static mode, for the ballistic mode 共in the regime vl ⬍ vcl ⯝ V2 冑 3ba 兲, and for the diffusive b mode 共in the regime b ⬎ DV and a Ⰷ DV 冑 a 兲. This shows the opt robustness of the optimal value 2 . y phase 2 x A. Static mode We study here the case where the detection phase is modeled by the static mode 共Fig. 8兲: the searcher does not move during the detection phase and has a finite reaction rate with the target if it is within its detection radius a. a k FIG. 8. 共Color online兲 Static mode in two dimension. ជ · ⵜrt2共rជ兲 − V 1 关t 共rជ兲 − t1共rជ兲兴 = − 1. 2 2 共85兲 The function Ia is defined by Ia共rជ兲 = 1 inside the target 共if 兩rជ兩 ⱕ a兲 and Ia共rជ兲 = 0 outside the target 共if 兩rជ兩 ⬎ a兲. In the present form, these integrodifferential equations 共completed with boundary conditions兲 do not seem to allow for an exact resolution with standard methods. t2 is the mean first-passage ជ, time on the target, starting from rជ in phase 2, with speed V of angle v, and with projections on the axes Vx, Vy. i and j can take either x or y as a value. We use the following decoupling assumption 具ViV jt2典V ⯝ 具ViV j典V具t2典V 共86兲 and finally obtain the following approximation of the mean search time, which can be checked by numerical simulations: 再 IV. DIMENSION 2 The two-dimensional problem is particularly well suited to model animal behaviors. It is also relevant to the microscopic scale since it mimics, for example, the case of cellular traffic on membranes 关25兴. The results for the static and diffusive modes, already treated in 关8,9兴, are summarized here for completeness. While in dimension 1 the mean search time can be calculated analytically, we introduce in dimension 2 共and later dimension 3兲 approximation schemes, which we check by numerical simulations. In these numerical simulations, diffusion was simulated using variable step lengths, as in 关38兴, and we used square domains instead of disks for numerical convenience 共it was checked numerically that results are not affected as soon as b Ⰷ a兲. phase 1 V tm = 1 + 2 1 I0共x兲 1 2 共1 + k1兲共y 2 − x2兲2 + 兵8y + 共1 + k1兲 2 2k1y x I1共x兲 4 冎 ⫻关4y 4 ln共y/x兲 + 共y 2 − x2兲共x2 − 3y 2 + 8兲兴其 , 共87兲 where x= 冑 2k1 a 1 + k1 V2 and y= 冑 2k1 b . 1 + k1 V2 共88兲 In that case, intermittence is trivially necessary to find the target: indeed, if the searcher does not move, the MFPT is infinite. In the regime b Ⰷ a, the optimization of the search time 关Eq. 共87兲兴 leads to opt 1 = 冉 冊冉 a Vk 1/2 2 ln共b/a兲 − 1 8 冊 1/4 , 共89兲 1. Equations a 1/2 opt 2 = 关ln共b/a兲 − 1/2兴 , V The mean first-passage time 共MFPT兲 at a target satisfies the following backward equations 关39兴: 1 21 冕 2 0 关t2共rជ兲 − t1共rជ兲兴dVជ − kIa共rជ兲t1共rជ兲 = − 1, 共84兲 共90兲 and the minimum search time is given in the large volume limit by 031146-10 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … opt tm = PHYSICAL REVIEW E 80, 031146 共2009兲 21/4 共a2 − 4b2兲ln共b/a兲 + 2b2 − a2 b2 2 − 冑 ak 关2 ln共b/a兲 − 1兴3/4 Vka3 − 冑2 共96b2a2 − 192b4兲ln2共b/a兲 + 共192b4 − 144a2b2兲ln共b/a兲 + 46a2b2 − 47b4 + a4 . 关2 ln共b/a兲 − 1兴3/2 48ab2V 共91兲 冑 2. Summary In the case of a static detection mode in dimension 2, we obtained a simple approximate expression of the mean firstpassage time tm at the target. With the static detection mode, intermittence is always favorable and leads to a single optimal intermittent strategy. The minimal search time is realized a 1/2 a 1/4 for opt and opt 1 = 共 Vk 兲 (关2 ln共b / a兲 − 1兴 / 8) 2 = V 关ln共b / a兲 1/2 − 1 / 2兴 . Importantly, the optimal duration of the relocation phase does not depend on k, i.e., on the description of the detection phase, as in dimension 1. L⫾ = I0共a/ D̃2兲关I1共b␣兲K1共a␣兲 冑 冑 − I1共a␣兲K1共b␣兲兴 ⫾ ␣ D̃2I1共a/ D̃2兲关I1共b␣兲K0共a␣兲 + I0共a␣兲K1共b␣兲兴 and 冑 − 4关a2冑D̃2/␣共b2 − a2兲2兴I1共a/冑D̃2兲关I1共b␣兲K1共a␣兲 M = I0共a/ D̃2兲关I1共b␣兲K0共a␣兲 + I0共a␣兲K1共b␣兲兴 − I1共a␣兲K1共b␣兲兴 B. Diffusive mode where We now assume that the searcher diffuses during the detection phase 共Fig. 9兲. For this process, the mean firstpassage time at the target satisfies the following backward equation 关39兴: Dⵜ2r t1共rជ兲 + 1 21 冕 ជ · ⵜrt2共rជ兲 − V 2 关t2共rជ兲 − t1共rជ兲兴dV = − 1, 共92兲 0 1 关t 共rជ兲 − t1共rជ兲兴 = − 1, 2 2 − 再 and D̃ = v22 . We then minimize this time as a function of 1 and 2. 1. a ⬍ b ™ D Õ V: Intermittence is not favorable 共93兲 with t1共rជ兲 = 0 inside the target 共r ⱕ a兲. We use the same decoupling assumption than for the static case 关Eq. 共86兲兴. It eventually leads to the following approximation of the mean search time: t m = 共 1 + 2兲 ␣ = 关1/共D1兲 + 1/共D̃2兲兴1/2 1 − a2/b2 M L− a␣共b2/a2 − 1兲 − 共 ␣ 2D 1兲 2 2L+ L+ 冎 ␣2D1 关3 − 4 ln共b/a兲兴b4 − 4a2b2 + a4 , b2 − a2 8D̃2 In that regime, intermittence is not favorable. Indeed, the typical time required to explore the whole domain of radius b is of order b2 / D for a diffusive motion, which is shorter than the corresponding time b / V for a ballistic motion. As a consequence, it is never useful to interrupt the diffusive phases by mere relocating ballistic phases. We use standard methods to calculate the mean first-passage time at the target in this optimal regime of diffusion only, 冉 冊 D d dt r = − 1. r dr dr 共94兲 The boundary conditions t共a兲 = 0 and with tdif f = phase 1 tdif f = V x a dt dr 共r = b兲 = 0 lead to 冊 1 b 4a2b2 − a4 − 3b4 + 4b4 ln , 8b Def f a 2 and we find in the limit b Ⰷ a phase 2 y 冉 共95兲 冉 冊 b2 b − 3 + 4 ln . 8Def f a 共96兲 共97兲 D FIG. 9. 共Color online兲 Diffusive mode in two dimension. 2. a ™ D Õ V ™ b: First regime of intermittence In this second regime, one can use the following approximate formula for the search time: 031146-11 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. tm = phase 1 b2 1 + 2 4DV2␣2 122 再 ⫻ 4 ln共b/a兲 − 3 − 2 冎 phase 2 共V2兲2 关ln共␣a兲 + ␥ − ln 2兴 , D1 y 共98兲 x ␥ being the Euler constant. An approximate criterion to determine if intermittence is useful can be obtained by expanding tm in powers of 1 / 1 when 1 → ⬁ 共1 → ⬁ corresponds to the absence of intermittence兲 and requiring that the coefficient of the term 1 / 1 is negative for all values of 2. Using this criterion, we find that intermittence is useful if 冑2 exp共− 7/4 + ␥兲Vb/D − 4 ln共b/a兲 + 3 ⬎ 0. b2 4 ln w − 5 + c , D w2共4 ln w − 7 + c兲 opt 2 = gain = 共99兲 b 冑4 ln w − 5 + c , w V 共100兲 V v l FIG. 10. 共Color online兲 Ballistic mode in two dimensions. In this regime, using Eq. 共98兲, the optimization of the search time leads to opt 1 = a tdif f opt tm + ⯝ 冑2aV 8D 1 冉 I0关2/冑2 ln共b/a兲 − 1兴 1 4 ln共b/a兲 − 3 I1关2/冑2 ln共b/a兲 − 1兴 2冑2 ln共b/a兲 − 1 冊 −1 . 共105兲 Here, the optimal strategy leads to a significant decrease in the search time which can be rendered arbitrarily smaller than the search time in absence of intermittence. 4. Summary where w is the solution of the implicit equation w = 2Vbf共w兲 / D with 冑4 ln w − 5 + c f共w兲 = − 8共ln w兲2 + 关6 + 8 ln共b/a兲兴ln w − 10 ln共b/a兲 + 11 − c关c/2 + 2 ln共a/b兲 − 3/2兴 共101兲 and c = 4关␥ − ln共2兲兴, ␥ being the Euler constant. A useful approximation for w is given by w⯝ 冉 冊 2Vb Vb f . D 2D ln共b/a兲 共102兲 We studied the case where the detection phase 1 is modeled by a diffusive mode and obtained an approximation of the mean first-passage time at the target. We found that intermittence is favorable 共i.e., better than diffusion alone兲 in the regime of large system size b Ⰷ D / V. The optimal intermittent strategy then follows two subregimes: 共i兲 If a Ⰶ D / V, the best strategy is given by 共100兲. The search is significantly reduced by intermittence but keeps the same order of magnitude as in the case of a one-state diffusive search. 共ii兲 If a Ⰷ D / V, the best strategy is given by Eq. 共104兲 and weakly depends on b. In this regime, intermittence is very efficient as shown by the large gain obtained for V large. The gain for this optimal strategy reads gain = tdif f opt tm ⫻ 冉 C. Ballistic mode 1 4 ln b/a − 3 + 4a /b − a /b 2 4 ln b/a − 3 + 2共4 ln w兲ln共b/aw兲 2 ⯝ 2 1 wD 4 ln w − 7 + 4 ln w − 5 bV 共4 ln w − 5兲3/2 4 冊 4 In this case, the searcher has access to two different speeds: one 共V兲 is fast but prevents target detection and the other one 共vl兲 is slower but enables target detection 共Fig. 10兲. −1 . 共103兲 If intermittence significantly speeds up the search in this regime 共typically by a factor 2兲, it does not change the order of magnitude of the search time. 3. D Õ V ™ a ™ b: “Universal” regime of intermittence In the last regime D / V Ⰶ a Ⰶ b, the optimal strategy is obtained for opt 1 ⯝ ln2共b/a兲 D , 2V2 2 ln共b/a兲 − 1 and the gain reads a 1/2 opt 2 ⯝ 关ln共b/a兲 − 1/2兴 V 共104兲 1. Simulations Since an explicit expression of the mean search time is not available, a numerical study is performed. Exploring the parameter space numerically enables to identify the regimes where the mean search time is minimized. Then, for each regime, approximation schemes are developed to provide analytical expression of the mean search time. The numerical results presented in Fig. 11 suggest two regimes defined according to a threshold value vcl of vl to be determined later on: 共i兲 for vl ⬎ vcl , tm is minimized for 2 → 0; 共ii兲 for vl ⬍ vcl , tm is minimized for 1 → 0. 2. Regime without intermittence (2 \ 0, 1 \ ⴥ) Qualitatively, it is rather intuitive that for vl large enough 共the precise threshold value vcl will be determined next兲, 031146-12 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … (a) PHYSICAL REVIEW E 80, 031146 共2009兲 (b) (c) FIG. 11. 共Color online兲 Ballistic mode in two dimensions. ln共tm兲 as a function of ln共2兲. Simulations 共symbols兲, diffusive/diffusive approximation 关Eq. 共94兲兴 with Eq. 共109兲 共colored lines兲, 1 → 0 limit 关Eq. 共110兲兴 共black line兲, and 1 → ⬁ 共no intermittence兲 关Eq. 共108兲兴 共dotted black line兲. b = 30, a = 1, and V = 1. 1 = 0 共black, stars兲, 1 = 0.17 共yellow, solid circles兲, 1 = 0.92 共green, diamonds兲, 1 = 5.0 共blue, X兲, 1 = 28 共purple, circles兲, 1 = 150 共red, +兲, and 1 = 820 共brown, squares兲. phase 2 is inefficient since it does not allow for target detection. The optimal strategy is therefore 2 → 0 in this case. In this regime, the searcher performs a ballistic motion, which is randomly reoriented with frequency 1 / 1. Along the same line as in 关2兴 共where however the times between successive reorientations are Levy distributed兲, it can be shown that the optimal strategy to find a target 共which is assumed to disappear after the first encounter兲 are to minimize oversampling and therefore to perform a purely ballistic motion. In our case this means that in this regime 2 → 0, the optimal 1 is given by opt 1 → ⬁. In this regime, we can propose an estimate of the optimal search time tbal. The surface scanned during ␦t is 2avl␦t. p共t兲 is the proportion of the total area which has not yet been scanned at t. If we neglect correlations in the trajectory, one has 2avl p共t兲 dp . =− dt b2 proceed we approximate the problem by the case of a diffusive mode previously studied 关Eq. 共94兲兴, with an effective diffusion coefficient, D= v2l 1 . 2 共109兲 This approximation is very satisfactory in the regime 1 → 0, as shown in Fig. 11. We can then use the results in 关8,9兴 in the 1 → 0 regime and obtain 共106兲 Then, given that p共t = 0兲 = 1, we find 冉 冊 p共t兲 = exp − 2avl b2 共107兲 and the mean first-passage time at the target in these conditions is tbal = − 冕 ⬁ 0 t dp b2 dt = . dt 2avl 共108兲 This expression yields 共Fig. 12兲 a good agreement with numerical simulations. Note in particular that tbal ⬀ v1l . 3. Regime with intermittence 1 \ 0 In this regime where vl ⬍ vcl , the numerical study shows that the search time is minimized for 1 → 0 共Fig. 11兲. We here determine the optimal value of 2 in this regime. To opt FIG. 12. 共Color online兲 Ballistic mode in two dimension. tm as a function of b, logarithmic scale. Regime without intermittence 共2 = 0 and 1 → ⬁, vl = 1兲, analytical approximation 关Eq. 共108兲兴 共blue, line兲, and numerical simulations 共blue, circles兲. Regime with intermittence 共with 1 = 0, V = 1兲, analytical approximation 关Eq. 共112兲兴 共red, line兲 and numerical simulations 共red, squares兲. a = 1. 031146-13 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. 冉 冊册 冋 冉 冊 a2 tm = 2 1 − 2 b 冢 a b4 − 4a2b2 + a4 b 22V2共b2 − a2兲 3 + 4 ln 1 1− 4 冉冑冊 冊 冑 冑 冉 冉 冊 2 b + 2 −1 V2 2 a a I0 a 2 2V I1 a 2 2V 冣 共110兲 . The calculation of opt 2 minimizing tm then gives opt 2 = a v 冑冉冊 ln 1 b − . 2 a 共111兲 关Eq. 共111兲兴 in Eq. 共110兲, we In turn, replacing 2 by opt 2 obtain the minimal mean time of target detection, opt = tm 冉 冊冢 冉 冊 a 2 u冑2V u + 1− a b2 1 − u2 冋 冉 冊册 a b4 − 4a2b2 + a4 b a22共b2 − a2兲 3 + 4 ln 冣 b2 − 1 I0共2u兲 a2 , I1共2u兲 2b2 aV 冑冉冊 ln b . a 共113兲 Finally the gain reads 关using Eqs. 共108兲 and 共113兲兴 gain = tbal opt tm ⯝ 冋 冉 冊册 V b ln 4vl a . 共114兲 4. Determination of vcl It is straightforward than vcl ⬍ V. Indeed, if vl = V, phase 2 is useless since it prevents target detection. Actually, an estimate of vcl can be obtained from Eq. 共114兲 as the value of vl for which gain= 1, 冋 冉 冊册 −0.5 ⬀ 5. Summary We studied the case of ballistic mode in the detection phase 1 in dimension 2. When vl ⬎ vcl , the optimal strategy is to remain in phase 1 and to explore the domain in a purely c opt ballistic way. Therefore, opt 2 → 0, 1 → ⬁. When vl ⬍ vl , we b 1 opt opt a 冑 find on the contrary 1 → 0 and 2 = V ln共 a 兲 − 2 . The V threshold value is given by vcl ⬀ 冑ln共b/a兲 and shows that when the target density decreases, intermittence is less favorable. D. Conclusion of the two-dimensional problem −0.5 Numerical simulations of Fig. 12 show the validity of these approximations. V b ln vcl ⯝ 4 a reoriented many times and therefore scales as diffusion, which is less favorable than the nonintermittent ballistic motion. 共112兲 opt 1 ⬀ V . Note with u = 关ln共 ab 兲 − 1兴−1/2. It can be noticed that tm that if b Ⰷ a this last expression can be greatly simplified, opt ⯝ tm FIG. 13. 共Color online兲 Ballistic mode in two dimension. vcl as a function of ln共b兲 by simulations 共symbols兲, predicted expression 共115兲 共red, dotted line兲, predicted expression multiplied with a fitted numerical constant 共blue, line兲. V = 1, a = 1. V 冑ln共b/a兲 . 共115兲 We note that this expression 共Fig. 13兲 gives the correct dependence on b, but it however departs from the value obtained by numerical simulations. This is due to fact that the opt with intermittence 关Eq. 共113兲兴 is an under expression of tm estimate, while tbal given in Eq. 共108兲 is an upper estimate. It is noteworthy that intermittence is less favorable with increasing b. This effect is similar to the one-dimensional case even though it is less important here. It can be understood as follows: at very large scales the intermittent trajectory is Remarkably, for the three different modes of detection 共static, diffusive, and ballistic兲, we find a regime where intermittence permits to minimize the search time for one and b 1 opt a 冑 the same opt 2 , given by 2 = V ln共 a 兲 − 2 . As in dimension 1, this indicates that optimal intermittent strategies are robust and widely independent of the details of the description of the detection mechanism. V. DIMENSION 3 The three-dimensional case is also relevant to biology. At the microscopic scale, it corresponds, for example, to intracellular traffic in the bulk cytoplasm of cells or at larger scales to animals living in three dimensions, such as plankton 关40兴 or C.elegans in its natural habitat 关41兴. As it was the case in dimension 2, different assumptions have to be made to obtain analytical expressions of the search time. We checked the validity of our assumptions with numerical simulations using the same algorithms as in dimension 2. A. Static mode We study in this section the case where the detection phase is modeled by the static mode, for which the searcher 031146-14 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … 冏 冏 冏 冏 dtout 2 dr phase 1 V z PHYSICAL REVIEW E 80, 031146 共2009兲 We find an explicit expression of the mean search time, a k t m = 共 1 + 2兲 FIG. 14. 共Color online兲 Static mode in three dimensions. does not move during the detection phase and has a finite reaction rate with the target if it is within a detection radius a 共Fig. 14兲. 冉 ⫻ 3 Denoting t1共r兲 the mean first-passage time at the target starting from a distance r from the target in phase 1 共detection phase兲 and t2,,共r兲 the mean first-passage time at the target starting from a distance r from the target in phase 2 共relocation phase兲 with a direction characterized by and , we get 1 共t − t 兲 = − 1. 2 1 2,, Then one has outside the target 共r ⬎ a兲 冉 冕 d sin 0 冕 2 冕 0 d sin 冕 2 dt2,, − 0 冉 冊 1 + k t1 = − 1. 1 冊 = t m = 共 1 + 2兲 冉 共119兲 dtout 2 dr 冎冊 共127兲 . 冉 冊 b3共2 + 1兲 共1 + k1兲 6 + 2 2 . a 1ka2 5 2V opt 1 = 冉 冊冑 3 10 1/4 a , Vk 共128兲 共129兲 冑 a opt 2 = 1.2 , V 共130兲 and the minimum mean search time reads finally opt = tm 共120兲 1 1 b3 冑5 k a 3 冉冑 ak 1/4 24 + 51/4 V 冊 2 . 共131兲 3. Comparisons with simulations 共121兲 We solve these equations for inside and outside the target using the following boundary conditions: 冏 冏 再 This expression of tm can be minimized for Making a similar decoupling approximation as in dimension 2, we finally get 1 V 2 2 ⌬t2 − 共t1 − t2兲 = − 1. 3 2 共126兲 Assuming further that ␣ is small, we use the expansion  ⯝ 共b3 / a兲关1 − tanh共␣兲 / ␣兴−1 ⯝ 关b3 / a兴关共3 / ␣2兲 + 共6 / 5兲兴 and rewrite mean search time as and inside the target 共r ⬍ a兲 冉 冊 − sinh共␣兲a3 + ␣ cosh共␣兲b3 a关− sinh共␣兲 + ␣ cosh共␣兲兴 3a2 9 − b2 + 2 5 ␣ With t2 = 41 兰0d sin 兰20dt2,,, we obtain outside the target 共r ⬎ a兲 1 1 t2 − + k t1 = − 1. 1 1 共125兲 , 1 1 − sinh共␣兲a3 + ␣ cosh共␣兲b3 + 2 2 k 1 2V a关− sinh共␣兲 + ␣ cosh共␣兲兴 共118兲 1 共t − t 兲 = − 1 1 2 1 册冎 and ␣ = 冑3关k1 / 共1 + k1兲兴共a / V2兲. In the limit b Ⰷ a, this can be simplified to 共116兲 共117兲 冋 1 1 + 3 2 2 − 2b3共b2 − a2兲 + 共b3 − a3兲 k1 b V 2 1 5 a2 5 2 +  + 共b − a 兲 5 ␣ tm = and inside the target 共r ⱕ a兲 1 1 1 4 冊 dt2,, − t1 = − 1 0 再 with 1. Equations 1 1 1 4 共124兲 r=a 2. Results x ជ t2,, + Vជ . 䉮 r=a and the condition that tin 2 共0兲 should be finite. phase 2 y dtin 2 dr = = 0, 共122兲 in tout 2 共a兲 = t2 共a兲, 共123兲 Data obtained by numerical simulations 共Fig. 15 and additionally in Appendix C兲 are in good agreement with the analytical expression 关Eq. 共125兲兴. In particular, the position of the minimum is very well approximated, and the error on the value of the mean search time at the minimum is close to 10%. Note that the very simple expression 关Eq. 共128兲兴 fits also rather well the numerical data, except for small 2 or small b. 4. Summary r=b In the case of a static detection mode in dimension 3, we obtained a simple approximate expression of the mean first- 031146-15 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. (a) (b) (c) (d) (e) (f) FIG. 15. 共Color online兲 Static mode in three dimensions. ln共tm兲 as a function of ln共2兲 for different values of 1, a, and b / a. Comparison between simulations 共symbols兲, analytical expression 共125兲 共line兲, expression for b Ⰷ a 关Eq. 共127兲兴 共small dots兲, and simple expression for 冑 aV 冑 aV 冑 aV b Ⰷ a and ␣ small 关Eq. 共128兲兴 共dotted line兲. 1 ⯝ opt 1 ⯝ 0.74 k 关Eq. 共129兲兴 共blue, crosses兲, 1 = 0.25 k 共red, circles兲, and 1 = 2.5 k 共green, squares兲. V = 1, k = 1. passage time at the target tm = 关b3共2 + 1兲 / a兴(关共1 + k1兲 / 1ka2兴 + 6 / 共522V2兲). tm has a single minimum for 3 1/4冑 a a opt 冑 opt 1 = 共 10 兲 Vk and 2 = 1.2 V , and the minimal mean 1 1 3 a k search time is 冑5 k 共b / a3兲共冑 V 241/4 + 51/4兲2. With the static detection mode, intermittence is always favorable and leads to a single optimal intermittent strategy. As in dimensions 1 and 2, the optimal duration of the relocation phase does not depend on k, i.e., on the description of the detection phase. In addition, this optimal strategy does not depend on the typical distance between targets b. One can notice than for the static mode in the three cases studied 共in one, two, and three dimensions兲, we have the 冑 opt relation opt 1 = 2 / 共2k兲. The optimal durations of the two phases are related independently of the dimension. 1. Equations One has outside the target 共r ⬎ a兲 ជ .䉮 ជ t2,, + V 1 共t − t 兲 = − 1, 2 1 2,, 共132兲 z D y phase 2 x V phase 1 a B. Diffusive mode We now study the case where the detection phase is modeled by a diffusive mode 共Fig. 16兲. During the detection phase, the searcher diffuses and detects the target as soon as their respective distance is less than a. 031146-16 FIG. 16. 共Color online兲 Diffusive mode in three dimensions. ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … PHYSICAL REVIEW E 80, 031146 共2009兲 (a) (b) FIG. 17. 共Color online兲 Diffusive mode in three dimension. Comparison between analytical approximations 关Eqs. 共143兲 and 共145兲兴 共black opt,simulation simulation lines兲 and numerical simulations: the symbols are the values of 1 and 2 for which tm ⬍ 1.05tm . a = 100, V = 1, D = 1. D⌬t1 + 冉 冕 1 1 1 4 d sin 0 冕 2 冊 2. Results in the general case dt2,, − t1 = − 1 0 共133兲 and inside the target 共r ⱕ a兲 ជ .䉮 ជ t2,, − V 1 t = − 1, 2 2,, 共134兲 b342共1 + 2兲 tm = 1 共135兲 t1 = 0. With t2 = 41 兰0d sin 兰20dt2,,, we get outside the target 共r ⬎ a兲 D⌬tout 1 + Through standard but lengthy calculations we can solve the above system and get an analytical approximation of tm 共cf. Appendix D 1兲. In the regime b Ⰷ a, we use the assumption 冑共1D兲−1 + 3共2v兲−2 Ⰶ b and obtain 1 out out 共t − t1 兲 = − 1. 1 2 共136兲 The decoupling approximation described in previous sections then yields outside the target, V22 out 1 out out ⌬t2 + 共t1 − t2 兲 = − 1, 3 2 共137兲 1 2 1 1221Da tanh共2a兲 + − tanh共2a兲 2 共142兲 opt 1 ⬃ V22 int 1 int ⌬t2 − t2 = − 1. 3 2 共138兲 tout 2 共a兲 = = r=a tm = b3冑3 V322 dtint 2 dr 冋冑 共140兲 . r=a 共141兲 冉 冊册 冑3a 3a − tanh V2 V2 opt 2 = tint 2 共a兲, 共143兲 −1 . 共144兲 In turn, the minimization of this expression leads to r=b 冏 冏 冏 冏 dtout 2 dr 共139兲 = 0, 6D . V2 opt 共Fig. Note that taking 1 = 0 does not change significantly tm 17, left兲 and permits to significantly simplify tm, These equations are completed by the following boundary conditions: 冏 冏 册 with 1 = 共冑22V2 + 31D兲 / 共2V冑D1兲 and 2 = 冑3 / V2. As shown in Fig. 17 left or in the additional Fig. 24 in Appendix D 2, tm only weakly depends on 1, which indicates that this variable will be less important than 2 in the minimization of the search time. The relevant order of magnitude for opt 1 can be evaluated by comparing the typical diffusion length Ldif f = 冑6Dt and the typical ballistic length Lbal = Vt. An estimate of the optimal time opt 1 can be given by the time scale for which those lengths are of same order, which gives and inside the target 共r ⱕ a兲, dtout 2 dr 冋 tanh共2a兲 + 冑3a Vx 共145兲 with x as solution of 2 tanh共x兲 − 2x + x tanh共x兲2 = 0. This finally yields 031146-17 共146兲 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. (a) (b) FIG. 18. 共Color online兲 Diffusive mode in three dimension. tm / tdif f 关tdif f given by Eq. 共150兲兴 as a function of 2 for different values of the ratio b / a 共logarithmic scale兲. The full analytical form 关Eq. 共D1兲兴 共plain lines兲 is plotted against the simplified expression 关Eq. 共142兲兴 共dotted lines兲, the simplified expression with 1 = 0 关Eq. 共144兲兴 共small dots兲, and numerical simulations 共symbols兲 for the following values of the parameters 共arbitrary units兲: a = 1 共green, squares兲, a = 5 共blue, stars兲, a = 7 共purple, circles兲, a = 10 共red, +兲, a = 14 共brown, X兲, and a = 20 共orange, diamonds兲. 1 = 6 everywhere except for the small dots, v = 1, D = 1. tm / tdif f presents a minimum only for a ⬎ ac ⯝ 4. a opt 2 ⯝ 1.078 . V 共147兲 Importantly this approximate expression is very close to the 冑6 a expression obtained for the static mode 共opt 2 = 5V a ⯝ 1.095 V 兲 关Eq. 共130兲兴, and there is no dependence with the typical distance between targets b. The simplified expression of the minimal tm 关Eq. 共144兲兴 can then be obtained as 3 2 opt = tm bx 冑3a V 2 3 关x − tanh共x兲兴−1 ⯝ 2.18 b a 2V 共148兲 and the gain reads gain = tdif f opt tm ⯝ 0.15 aV . D 共149兲 tdif f = 1 共5b3a3 + 5b6 − 9b5a − a6兲, 15Dab3 共150兲 which gives in the limit b / a Ⰷ 1 tdif f = b3 . 3Da 共151兲 5. Criterion for intermittence to be favorable There is a range of parameters for which intermittence is favorable, as indicated by Fig. 18. Both the analytical exopt in the regime without intermittence 关Eq. pression for tm 共150兲兴 and with intermittence 关Eq. 共148兲兴 scale as b3. However, the dependence on a is different 共cf. Appendix D 4兲. In the diffusive regime, tm ⬀ a−1, whereas in the intermittent regime, tm ⬀ a−2. This enables us to define a critical ac, such that when a ⬎ ac, intermittence is favorable: ac ⯝ 6.5 DV is the value for which the gain 关Eq. 共149兲兴 is 1. 3. Comparison between analytical approximations and numerical simulations 6. Summary Numerical simulations reveal that the minimum of tm with respect to 1 is shallow as it was expected 共cf. Fig. 17, left兲. It approximately ranges from 0 to the theoretical estimate at the minimum is close to the 关Eq. 共143兲兴. The value opt,sim 2 expected values 关Eq. 共145兲兴 共cf. Fig. 17, right兲, except for very small b, which is consistent with our assumption b Ⰷ a. We can then conclude than the position of the optimum in 1 and 2 is very well described by the analytical approximations even if the value of tm at the minimum is underestimated by our analytical approximation by about 10– 20 % 共Fig. 18兲. We studied the case where the detection phase 1 is modeled by a diffusive mode and calculated explicitly an approximation of the mean first-passage time at the target. We found that intermittence is favorable 共i.e., better than diffusion alone兲 when a ⬎ ac ⯝ 6.5 DV : 共i兲 If a ⬍ ac, the best strategy is a one state diffusion, without intermittence, and the mean first-passage time at the target is tm ⯝ b3 / 3Da. 共ii兲 If a ⬎ ac, intermittence is favorable. The dependence on 1 is not crucial as long as it is smaller than 6D / V2. The a value of 2 at the optimum is opt 2 ⯝ 1.08 V . The minimum opt 3 2 search time is then tm ⯝ 2.18共b / a V兲. 4. Case without intermittence: One state diffusive searcher C. Ballistic mode If the searcher always remains in the diffusive mode, it is straightforward to obtain 共cf. Appendix D 3兲 We now discuss the last case, where the detection phase 1 is modeled by a ballistic mode 共Fig. 19兲. Since an explicit 031146-18 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … PHYSICAL REVIEW E 80, 031146 共2009兲 1. Numerical study vl The numerical analysis puts forward two strategies to minimize the search time, depending on a critical value vcl to be determined 共Fig. 20兲: opt 共i兲 When vl ⬎ vcl , opt 1 → ⬁ and 2 → 0. In this regime intermittence is not favorable. opt 共ii兲 When vl ⬍ vcl , opt 1 → 0 and 2 finite. In this regime the optimal strategy is intermittent. phase 2 V z a y phase 1 2. Regime without intermittence (one state ballistic searcher): 2 \ 0 x FIG. 19. 共Color online兲 Ballistic mode in dimension 3. analytical determination of the search time seems out of reach, we proceed as in dimension 2 and first explore numerically the parameter space to identify the regimes where the search time can be minimized. We then develop approximation schemes in each regime to obtain analytical expressions 共more details are given in Appendix E兲. Following the same argument as in dimension 2, without intermittence the best strategy is obtained in the limit 1 → ⬁ 共cf. Appendix E 1兲 in order to minimize oversampling of the search space. Following the derivation of Eq. 共108兲 共see Appendix E 1 for details兲, it is found that the search time reads tbal = (a) (b) (c) (d) (e) (f) 4b3 . 3a2vl 共152兲 FIG. 20. 共Color online兲 Ballistic mode in three dimensions. tm as a function of 2 in log-log scale. Simulations 共symbols兲. Approximation vl1 ⱕ a 关Eq. 共D1兲with Eq. 共E1兲兴 共colored lines兲, approximation 1 = 0 关Eq. 共153兲兴 共black line兲, and approximation 1 = 0 and b Ⰷ a 关Eq. 共144兲兴 共dotted black line兲. Ballistic limit 共2 → 0 and 1 → ⬁兲 共no intermittence兲 Eq. 共152兲 共green, dotted line兲. 共a兲 and 共d兲: vl ⬎ vcl , 1,1 = 0.04, 1,2 = 0.2, 1,3 = 1, 1,4 = 5, and 1,5 = 25. 共b兲 and 共e兲: vl ⯝ vcl , 1,1 = 0.08, 1,2 = 0.4, 1,3 = 2, 1,4 = 10, and 1,5 = 50. 共c兲 and 共f兲: vl ⬍ vcl , 1,1 = 0.2, 1,2 = 1, 1,3 = 5, 1,4 = 25, and 1,5 = 125. V = 1, a = 1. 1 = 0 共black, diamond兲, 1 = 1,1 共brown, +兲, 1 = 1,2 共red, squares兲, 1 = 1,3 共pink, stars兲, 1 = 1,4 共blue, circles兲, and 1 = 1,5 共green, X兲. 031146-19 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. gain = tbal opt tm V ⯝ 0.61 . vl 共156兲 As in dimension 2, it is trivial that vcl ⬍ V and the critical value vcl can be defined as the value of vl such that gain= 1. This yields vcl ⯝ 0.6 V. 共157兲 Importantly, vcl neither depends on b nor a. Simulations are in good agreement with this result 共cf. Appendix E 2兲 except for a small numerical shift. 5. Summary opt FIG. 21. 共Color online兲 Ballistic mode in three dimensions. tm as a function of b, logarithmic scale. Regime without intermittence 共2 = 0 and 1 → ⬁, vl = 1兲, analytical approximation 关Eq. 共152兲兴 共blue, line兲, and numerical simulations 共blue, circles兲. Regime with intermittence 共with 1 = 0, V = 1兲, analytical approximation 关Eq. 共155兲兴 共red, line兲, and numerical simulations 共red, squares兲. a = 1. 3. Regime with intermittence In the regime when intermittence is favorable, the numerical study suggests that the best strategy is realized for 1 → 0 共Fig. 20兲. In this regime 1 → 0, phase 1 can be well approximated by a diffusion with effective diffusion coefficient Def f 关see Eq. 共E1兲兴. We can then make use of the analytical expression tm derived in Eq. 共D1兲. We therefore take 1 = 0 in the expression of tm 关Eq. 共D1兲兴, which yields tm共1 = 0兲 ⯝ u b3aV 冉冑 3 共5b3a2 − 3b5 − 2a5兲 5 共b3 − a3兲2u + 冑3a关u − tanh共u兲兴 冊 共153兲 , where u = 冑3a / 2V. In the limit b Ⰷ a, this expression can be further simplified 关see Eq. 共144兲兴 to tm = b3冑3 冋 冑3a V222 V2 冉 冊册 − tanh 冑3a −1 V2 , 共154兲 冑3a and one finds straightforwardly that opt 2 = Vx , where x is solution of x tanh共x兲2 + 2 tanh共x兲 − 2x = 0, that is, x ⯝ 1.606. Using this optimal value of 2 in the expression of tm 关Eq. 共144兲兴, we finally get opt tm = b3 x b3 ⯝ 2.18 . 冑3 tanh共x兲2 a2V a 2V 2 共155兲 These expressions show a good agreement with numerical simulations 共Figs. 20 and 21兲. 4. Discussion of the critical value vcl The gain is given by We studied the case where the detection phase 1 is modeled by a ballistic mode in dimension 3. We have shown by numerical simulations that there are two possible optimal regimes, which we have then studied analytically, 共i兲 in the first regime vl ⬎ vcl , the optimal strategy is a one state ballistic search 共1 → ⬁, 2 = 0兲 and tm ⯝ 4b3 / 3a2vl and 共ii兲 in the second regime vl ⬍ vcl , the optimal strategy is intermittent 共1 = 0, 2 ⯝ 1.1 Va 兲 and tm ⯝ 2.18共b3 / a2V兲 共in the limit b Ⰷ a兲. The critical speed is obtained numerically as vcl ⬃ 0.5V 共analytical prediction: vcl ⬃ 0.6V兲. It is noteworthy that when b Ⰷ a, the values of 1 and 2 at the optimum and the value of vcl do not depend on the typical distance between targets b. D. Conclusion in dimension 3 We found that for the three possible modelings of the detection mode 共static, diffusive, and ballistic兲 in dimension 3, there is a regime where the optimal strategy is intermittent. Remarkably, and as was the case in dimensions 1 and 2, the optimal time to spend in the fast nonreactive phase 2 is independent of the modeling of the detection mode and reads a opt 2 ⯝ 1.1 V . Additionally, while the mean first-passage time on the target scales as b3, the optimal values of the durations of the two phases do not depend on the target density a / b. VI. DISCUSSION AND CONCLUSION The starting point of this paper was the observation that intermittent trajectories are observed in various biological examples of search behaviors, going from the microscopic scale, where searchers can be molecules looking for reactants, to the macroscopic scale of foraging animals. We addressed the general question of determining whether such kind of intermittent trajectories could be favorable from a purely kinetic point of view, that is, whether they could allow us to minimize the search time for a target. On very general grounds, we proposed a minimal model of search strategy based on intermittence, where the searcher switches between two phases, one slow where detection is possible and the other one faster but preventing target detection. We studied this minimal model in one, two, and three dimensions and under several modeling hypotheses. We believe that this systematic analysis can be used as a basis to study quantitatively various real search problems involving intermittent behaviors. 031146-20 l vl < vlc 0.6V b a 6D V 6D τ1opt V 2 opt τ2 1.1 Va b3 topt m 2.18 V a2 vl > τ1opt → ∞ τ2opt → 0 opt 4b3 tm 3a 2v πb2 2avl vlc topt m w, s e e S e c . I F o r topt m , c a n d PHYSICAL REVIEW E 80, 031146 共2009兲 More precisely, we calculated the mean first-passage time at the target for an intermittent searcher and minimized this search time as a function of the mean duration of each of the two phases. Table II summarizes the results. In particular, this study shows that for certain ranges of the parameters which we determined, the optimal search strategy is intermittent. In other words, there is an optimal way for the intermittent searcher to tune the mean time it spends in each of the two phases. We found that the optimal durations of the two phases and the gain of intermittent search 共as compared to one state search兲 do depend on the target density in dimension 1. In particular, the gain can be very high at low target concentration. Interestingly, this dependence is smaller in dimension 2 and vanishes in dimension 3. The fact that intermittent search is more advantageous in low dimensions 共1 and 2兲 can be understood as follows. At large scale, the intermittent searcher of our model performs effectively a random walk and therefore scans a space of dimension 2. In an environment of dimension 1 共and critically of dimension 2兲, the searcher therefore oversamples the space, and it is favorable to perform large jumps to go to previously unexplored areas. On the contrary, in dimension 3, the random walk is transient, and the searcher on average always scans previously unexplored areas, which makes large jumps less beneficial. Additionally, our results show that, for various modeling choices of the slow reactive phase, there is one and the same optimal duration of the fast nonreactive phase, which depends only on the space dimension. This further supports the robustness of optimal intermittent search strategies. Such robustness and efficiency—and optimality—could explain why intermittent trajectories are observed so often and in various forms. Financial support from ANR grant Dyoptri is acknowledged. a 6D V τ1opt → ∞ τ2opt → 0 opt b3 tm 3Da ACKNOWLEDGMENT APPENDIX A: DIFFUSIVE MODE IN DIMENSION 1 1. Exact results (cf. Sec. III B 2) topt m a lw a y s in t e r m it t e n c e ` 3 ´1 p a 4 τ1opt 10 Vk τ2opt 1.1 Va «2 „q 1 1 b3 ak 4 + 54 √5ka 3 V 24 Mean first-passage time at the target exactly reads: tm = 1 共 1 + 2兲 N , 3  2b F 共A1兲 with N = ␣1 + ␣2 + ␣3 + ␣4 + ␣5 + ␣6 + ␣7 , 共A2兲 F = ␥1 + ␥2 + ␥3 + ␥4 , 共A3兲 ␣1 = L32兵关3L22共L21 − L22兲 + 2h2兴h冑S + 3L1L2共L42 − 2h2兲C其, 共A4兲 ␣2 = − L1hL52共2 + 3L22兲RC, 3 D τ2opt → 0 `b´ b2 topt m 2D ln a τ1opt → ∞ b< D V b 2 D topt m a lw a y s in t e r m it t e n c e ´1 p a ` `b´ opt 1 4 τ1 2V k ln a − 2 q ` ´ b τ2opt Va ln a − 12 „ q «2 √ ` ` b ´´ 1 b2 V topt 2 ln a 4 + m aV ak b2 3D topt m τ2opt → 0 τ1opt → ∞ 1 D D V a 2 opt b τ1 D w24(4lnlnw−5+c w−7+c) √ τ2opt Vb 4 ln w−5+c w B 2 topt m q ` ´ 2 b 2b ln a aV τ2opt τ1opt τ1opt → 0 opt τ2 1.1 Va 3 opt tm 2.18 Vba2 1 2 τ2opt → 0 τ1opt → 0 q ` ´ b τ2opt Va ln a − q ` ´ 2 opt b tm 2b ln a aV τ1opt → ∞ vl > vlc D V “ ””2 ln b D “a” 2 2V 2 ln b −1 q ` a´ a b ln a − 12 V ba “ b vl topt m b a topt m √2b 3V q a V τ2opt b 3a τ2opt → 0 τ1opt → 0 q b τ2opt Va 3a q 2b b topt m V 3a ` ` ´´− 1 b 2 vl < vlc πV ln a 4 τ1opt → ∞ q Db 48V 2 a τ1opt 3a b q V 2 vl < vlc B a llis t ic m o d e vl > vlc b D a V q a D V , b> D i u s ivq e m o d e b D a a V “ 2 ”1 3 b D τ1opt 36V 4 “ 2 ”1 D 3 τ2opt 2b 9V 4 “ 5 4 ”1 3 3 b topt m 24 DV 2 D V , b> D V b< S t a t ic m o d e a lw a y s in t e r m it t e n c e p a ` b ´1 4 τ1opt Vk 12a q opt a b τ2 V 3a „q « q ` 3a ´1/4 2 b b 2ak ak + 3a V b TABLE II. Recapitulation of main results: strategies minimizing the mean first-passage time on the target. In each cell, validity of the regime, optimal 1, optimal 2, and minimal tm opt 共tm with i = opt i 兲. Yellow background highlights the value of 2 independent from the description of the slow detection phase 1. Results are given in the limit b Ⰷ a. ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … 031146-21 共A5兲 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. ␣3 = L1共2h42 − 3L82兲BC, 共A6兲 ␣4 = h2冑关6L62 + h2共 + L21兲兴RS, 共A7兲 ␣5 = 冑hL32关4h2 + 3L22共L22 − L21兲兴BS, 共A8兲 ␣6 = L1L32兵3共2h2L2 + L52兲B + h关3L22共 + L22兲 + 2h2兴R其, part of the system: b / L1 Ⰷ 1. Alternatively, having a ballistic phase of the size of the system is a waste of time, thus close −2 to the optimum b / L2 Ⰷ 1. Consequently 2共b − a兲冑L−2 1 + L2 Ⰷ 1. We use the numerical results 共Table III兲 to make assumpopt tions on the dependence of opt 1 and 2 with the parameters. We define k1 and k2, 1 = 共k1兲−1 共A9兲 ␣7 = − L1共3L82 + 2h42兲, 共A10兲 ␥1 = L32L1R共C − 1兲, 共A11兲 ␥2 = 冑h共2L21 + L22兲RS, 共A12兲 ␥3 = 冑L32共B − 1兲S, 共A13兲 ␥4 = 2hL1共BC − 1兲, 共A14兲 冉 冊 B = cosh 2a , L2 −2 C = cosh共2h冑L−2 1 + L2 兲, 冉 冊 共A15兲 2 = 共k2兲−1 冉 冊 冉 冊 b 2D V4 1/3 b 2D V4 1/3 , 共A23兲 . 共A24兲 We make a development of tm for b Ⰷ a. We suppose k1 and k2 do not depend on b / a, tm = 冉 冊 1 D bV 3 V2 D 4/3 k1 + k2 2 共k + 3冑k1兲. k 1k 2 2 共A25兲 We checked that this expression gives a good approximation of tm in this regime, in particular around the optimum 共Fig. 4 in Sec. III B 4兲. Derivatives of Eq. 共43兲 as a function of k1 and k2 must be equal to 0 at the optimum. It leads to 共A16兲 3 冑 − 3k3/2 1 + 3k2 + 3 k1k2 = 0, 共A26兲 3 2 3k3/2 1 − 2k2 − k1k2 = 0. 共A27兲 2a , R = sinh L2 共A17兲 −2 S = sinh共2h冑L−2 1 + L2 兲, 共A18兲  = L21 + L22 , 共A19兲 L1 = 冑D1 , 共A20兲 L2 = V2 , 共A21兲 4. Details of the optimization of the universal intermittent regime bD2 Õ a3V2 ™ 1 (cf. Sec. III B 5) h = b − a. 共A22兲 We start from the exact expression of tm 关Eq. 共A1兲兴. We have to make an assumption on the dependency of opt 2 with a b b and a. We define f by 2 = 1f V 冑 3a and we suppose that f is independent from a / b. We make a development of a / b → 0. The first two terms give 2. Numerical study (cf. Sec. III B 2) We studied numerically the optimum of the exact tm expression 关Eq. 共A1兲兴 共Table III兲. We could distinguish three regimes: one with no intermittence and two with favorable intermittence but with different scalings. Intermittence is favorable when b ⬎ DV . The demarcation line between the two intermittent regimes is bD2 / a3V2 = 1. 3. Details of the optimization of the regime where intermittence is favorable, with bD2 Õ a3V2 š 1 (cf. Sec. III B 4) We suppose that target density is low: ba Ⰶ 1. We are interested in the regime where intermittence is −2 favorable. We have both 2共b − a兲冑L−2 1 + L2 ⬎ 2关共b − a兲 / L1兴 −2 −2 and 2共b − a兲冑L1 + L2 ⬎ 2关共b − a兲 / L2兴. In a regime of intermittence, one diffusion phase does not explore a significant On four pairs of solutions, only one is strictly positive, opt 1 = 冑 冑 1 3 2b2D , 2 9V4 3 opt 2 = tm ⯝ b a 冉冑 2b2D . 9V4 冊 a + af 2 + 冑D1 f 2 ab 1 + 1 . 3 Vf a + 冑D 1 共A28兲 共A29兲 共A30兲 This expression gives a very good approximation of tm in the bD2 / 共a3v2兲 Ⰶ 1 regime, especially close to the optimum 共Fig. 5 in Sec. III B 5兲. We then minimize tm 关Eq. 共A30兲兴 as a function of f and 1. We introduce w defined as w= aV D 冑 a . b 共A31兲 We make an assumption on the dependency of opt 1 with a / b, inferred via the numerical results 031146-22 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … PHYSICAL REVIEW E 80, 031146 共2009兲 TABLE III. Diffusive mode in one dimension. Optimization of tm as a function of 1 and 2 for different sets of parameters 共D = 1, V = 1兲. For each 共a , b兲, numerical values for the exact analytical function 关Eq. 共A1兲兴 are given with the values expected in the regimes where opt intermittence is favorable, either with bD2 / a3V2 Ⰷ 1 共th , 1兲 or with bD2 / a3V2 Ⰶ 1 共th , 2兲. gainth,1 关Eq. 共47兲兴, gain= tm / tdif f , and gain2,th 关Eq. th,1 th,2 th,1 th,2 opt opt 共52兲兴. 1 关Eq. 共44兲兴, 1 , and 1 关Eq. 共49兲兴. 2 关Eq. 共45兲兴, 2 , and 2 关Eq. 共50兲兴. Colored backgrounds indicate the regime: dark red when intermittence is not favorable, medium green in the bD2 / a3V2 Ⰷ 1 regime, and light blue in the bD2 / a3V2 Ⰶ 1 regime. gainth,1 gain gainth,2 th,1 τ1 opt τ1 th,2 τ1 th,1 τ2 opt τ2 th,2 τ2 100 103 104 105 106 107 0.085 1 0.014 0.39 1 0.046 1.8 2.1 0.14 8.5 8.7 0.46 39 40 1.4 180 180 4.6 0.19 0.89 4.1 19 89 410 ∞ ∞ 6.1 21 90 410 2.1 21 210 2100 21000 2.1.105 0.38 1.8 8.2 38 180 820 0 0 8.4 38 180 820 0.029 0.091 0.29 0.91 2.9 9.1 gainth,1 gain gainth,2 th,1 τ1 opt τ1 th,2 τ1 th,1 τ2 opt τ2 th,2 τ2 1.8 2.4 1.4 8.5 9.4 4.6 39 41 14 180 190 46 850 850 140 4000 4000 460 4.1 19 89 410 1900 8900 3.5 15 78 390 1900 8800 2.1 21 210 2100 21000 2.1.105 8.2 38 180 820 3800 18000 7.6 36 170 810 3800 18000 2.9 9.1 29 91 290 910 gainth,1 gain gainth,2 th,1 τ1 opt τ1 th,2 τ1 th,1 τ2 opt τ2 th,2 τ2 39 150 140 180 470 460 850 1500 1400 3900 5500 4600 18000 21000 14000 89 410 1900 8900 41000 85000 91000 46000 1.9.105 2.2 22 230 2500 21000 2.1 21 210 2100 21000 180 820 3800 18000 82000 290 980 3500 15000 72000 3.8.105 3.6.105 290 910 2900 9100 29000 91000 gainth,1 gain gainth,2 th,1 τ1 opt τ1 th,2 τ1 th,1 τ2 opt τ2 th,2 τ2 850 15000 14000 3900 46000 46000 18000 1.4.105 1.4.105 1900 8900 41000 85000 4.6.105 4.6.105 1.9.105 3.9.105 1.5.105 1.4.106 8.9.105 1.8.106 4.7.106 4.6.106 4.1.106 2.2 21 210 2100 21000 2.1 21 210 2100 3.8.105 21000 1.8.106 b/a a = 0 . 0 0 5 a = 0 . 5 a = 5 0 a = 5 0 0 0 3800 1800 29000 91000 82000 2.9.105 29000 91000 2.9.105 031146-23 9.2.105 9.1.105 2.9.106 2.9.106 1.4.105 2.1.105 2.2.105 2.1.105 8.2.106 9.8.106 9.1.106 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. s= 1 Db . 1 V2 a opt 1 = 共A32兲 We write Eq. 共A30兲 with these quantities. Its derivatives with f and s should be equal to zero at the optimum. It leads to opt ⯝ tm 共A33兲 冑3s3/2w2共f 2 − 1兲 = 0. 共A35兲 Consequently f = 1. We incorporate this result to Eq. 共A34兲, 12s3/2w2 − w2s2冑3 + 15ws + 6冑s = 0. The relevant solution is 冉 1 冑u 5冑3 + 16w 4 ssol = + 冑3 u + 冑3 3 w 3 冊 gain ⯝ 冑 b a = 3a V 冑 b , 3a b . a 共A42兲 共B1兲 h2共h + 3L1兲 , 3␣ 共B2兲 ␥1 = ␥2 = When w → ⬁, ssol = 48. As we made the assumption bD2 / a3V2 = w−2 Ⰶ 1, difference from the asymptote will be small 共Fig. 22兲. It leads to 1 a = opt f V 共A41兲 1 + 2 共␥1 + ␥2 + ␥3兲, b 共A37兲 with opt 2 冑 . Mean first-passage time at the target exactly reads: 2 共A38兲 1 aV D 2 冑3 3/2 APPENDIX B: BALLISTIC MODE IN ONE DIMENSION: EXACT RESULT (cf. SEC. III C 2) 共A36兲 u = 共270w + 27冑3 + 192w2冑3 + 9冑55冑3w + 84w2 + 27兲w. b V 3 a It is in very good agreement with numerical data 共Table III兲. Gain can be very large if the density is low. tm = , 冑 冉 冊 2a We get 共A34兲 We take Eq. 共A33兲 and here we need to make the assumption than a Ⰶ b Ⰶ a3V2 / D2. We get 共A40兲 It corresponds to numerical results 共Table III兲. We use Eqs. 共41兲 and 共48兲 to calculate the gain, − 冑3s3/2w2 + 冑3s3/2w2 f 2 + 冑3swf 2 + 6冑swf 3 + 6f 3 = 0, 6s3/2w2 f 3 + 6s3/2 fw2 − w2s2冑3 + 3wsf + 12wsf 3 + 6冑sf 3 = 0. Db Db = . s V a 48V2a opt 2 L2共h + L1兲 冑 关g4共− 1兲e−2a/L2 − g4共1兲兴关g3共− 1兲e2共 ␣a/L1L2兲 ␣3/2F + g3共1兲e2共 冑␣b/L1L2兲 F = g1共1兲e−2关a共L1− 兴, 共B3兲 冑␣兲/L1L2兴 + g2共1兲e−2关共aL1− + g1共− 1兲e2共 冑␣b兲/L1L2兴 共A39兲 ␥3 = − 冑␣b/L1L2兲 + g2共− 1兲e2共 冑␣a/L1L2兲 , 共B4兲 L 2 N 1N 2 , 4␣3/2 F1F2 共B5兲 N1 = f 1共1兲 + f 1共− 1兲e−2a/L2 + 1 + 2 + 3 + 4 , 共B6兲 f 1共⑀兲 = 2关␣g4共⑀兲共h + L1兲 + L42共⑀L2 − L1兲兴, 共B7兲 1 = 关f 2共− 1兲 + f 4共1,1兲 + f 3共1兲兴e 冑␣2h/L1L2 2 = 关f 2共1兲 + f 4共1,− 1兲 + f 3共− 1兲兴e− 冑␣2h/L1L2 3 = 关f 4共− 1,1兲 + f 5共1兲 + f 6共1兲兴e2关共−aL1+ 共B8兲 , 共B9兲 , 冑␣h兲/L1L2兴 , 共B10兲 4 = 关f 4共− 1,− 1兲 + f 5共− 1兲 + f 6共− 1兲兴e−2关共aL1+ 冑␣h兲/L1L2兴 , 共B11兲 FIG. 22. 共Color online兲 Diffusive mode in one dimension. ssol 关Eq. 共A37兲兴 共red, line兲 as a function of ln共w兲, with the asymptote 共blue, dotted line兲. 031146-24 f 2共⑀兲 = 共冑␣ + ⑀L2兲L2共L1 − L2兲g3共⑀兲, 共B12兲 f 3共⑀兲 = − L22L1冑␣共h + L1兲共冑␣ + ⑀L2 + ⑀L1兲, 共B13兲 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … PHYSICAL REVIEW E 80, 031146 共2009兲 冉 冊 冉 冑冊 冉 冊 冉 冑冊 f 4共⑀1, ⑀2兲 = h␣共h + L1兲关共2L2 + ⑀1L1兲共⑀2冑␣ + L2兲 + L21兴, 6 = − L2␣共2h + L1兲sinh 共B14兲 f 5共⑀兲 = − ⑀h冑␣L2共L1 + L2兲关2共⑀冑␣ + L2兲L2 + L21兴, 2a 2h ␣ cosh , L2 L 1L 2 7 = − 冑␣关共2h + L1兲␣ + L31兴sinh 共B15兲 2a 2h ␣ sinh , L2 L 1L 2 共B29兲 f 6共⑀兲 = L22L1关L2共⑀冑␣ + L2兲共L1 + L2兲 F2 = g1共1兲e−2关a共L1− − 冑␣共h + L1兲共冑␣ + ⑀L2 − ⑀L1兲兴, 共B28兲 共B16兲 冑␣兲/L1L2兴 + g2共1兲e−2关共aL1− + g1共− 1兲e2共 冑␣b兲/L1L2兴 冑␣b/L1L2兲 + g2共− 1兲e2共 冑␣a/L1L2兲 , 共B30兲 N2 = 1 + 2 − g4共1兲e − g4共− 1兲e 2a/L2 −2a/L2 关f 7共1兲 + f 8共1兲兴 关f 7共− 1兲 + f 8共− 1兲兴, g1共⑀兲 = L2共L1 + L2兲共冑␣ − ⑀L2兲, 共B17兲 g2共⑀兲 = 冑␣共2h + L1兲共− ⑀冑␣ − L2 + ⑀L1兲 + ⑀␣3/2 + L32 − ⑀L31 , 冑 冑 1 = 2冑␣关共L22 − h2兲␣ − L31h兴关e2共 ␣a/L1L2兲 + e2共 ␣b/L1L2兲兴, 共B32兲 共B18兲 2 = 2L2关h共h + L1兲␣ − 冑 L42兴关e2共 ␣a/L1L2兲 −e 2共冑␣b/L1L2兲 兴, 共B19兲 f 7共⑀兲 = 关␣ + 共L1 + ⑀L2兲h兴冑␣关e2共 冑␣a/L1L2兲 + e2共 冑␣b/L1L2兲 g3共⑀兲 = h冑␣共− ⑀冑␣ − L2兲 + ⑀2L22L1 , 共B33兲 g4共⑀兲 = 关共⑀L2 − L1兲h + L22兴, 共B34兲 h = b − a, 共B35兲 ␣ = L21 + L22 , 共B36兲 L 1 = v l 1 , 共B37兲 L2 = V2 . 共B38兲 兴, 共B20兲 f 8共⑀兲 = 共⑀h␣ + L32 + ⑀L31兲共− e2共 冑␣a/L1L2兲 + e2共 冑␣b/L1L2兲 兲, 共B21兲 F1 = 冑␣共1 + 2 + 3 + 4 + 5 + 6 + 7兲, 共B22兲 1 = 2L1共h + L1兲␣ , 共B23兲 冋 冉 冊册 冉 冑冊 2 = L2冑␣ 共␣ + L22兲sinh 2h ␣ 2h冑␣ + 2L2冑␣ cosh L 1L 2 L 1L 2 , 共B24兲 冋 冉 冊 3 = L1L2 ␣ sinh 冉 冊册 2a 2a − 2L1L2 cosh L2 L2 , 共B25兲 This result have been checked by numerical simulations and by comparison with known limits. APPENDIX C: STATIC MODE IN THREE DIMENSIONS: MORE COMPARISONS BETWEEN THE ANALYTICAL EXPRESSIONS AND THE SIMULATIONS (cf. SEC. V A 3) The numerical study of the minimum mean search time 共Fig. 23兲 shows that the analytical values give the good position of the minimum in 1 and 2 as soon as b / a is not too small. However, the value of the minimum is underestimated by about 10%. APPENDIX D: DIFFUSIVE MODE IN THREE DIMENSIONS 冉 冊 冉 冑冊 4 = − L2冑␣共␣ + 2L1h + L22兲cosh 2a 2h ␣ sinh , L2 L 1L 2 1. Full analytical expression of tm (cf. Sec. V B 2) 共B26兲 The approximation of the mean first-passage time at the target reads: 冉 冊 冉 冑冊 5 = − 2关L1共h + L1兲␣ + L42兴cosh 共B31兲 2a 2h ␣ cosh , L2 L 1L 2 tm = 共B27兲 with 031146-25 1 共X + Y + Z兲, b3␣4dpD 共D1兲 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. (a) (b) FIG. 23. 共Color online兲 Static mode in three dimensions. Study of the minimum: 共a兲 its location in the 1 , 2 space and 共b兲 its value. sim means values obtained through numerical simulations; th means analytical values. Value expected if there was a prefect agreement between theory and simulations 共black line兲 and values taking into account the simulations noise 共dotted black lines兲 共we performed 10 000 walks for each point兲. a = 0.01 共brown, squares兲, a = 0.1 共red, crosses兲, a = 1 共purple, circles兲, a = 10 共blue, stars兲, and a = 100 共green, diamonds兲. V = 1, k = 1. 2 共−1 1 + ␣ dp兲 X= 冉 ␣2共b3 − a3兲 − 3S a 冉 1 共−1 1 +␣ 2 冊冉 1/3 dp兲−1 2 R␣ −1共␣aR + 1兲 ␣dp共− 1 + TT兲 共b3 − a3兲共␣2dp − −1 2 兲 + 2 + a ␣2 ␣22 −1 −1 TT␣2dp共−1 共− ␣2dp + −1 2 兲1 1 + 2 兲 + + a a , 共D2兲 −1 1 aS , ␣2 共D3兲 2 1 共− b + a兲3␣2共a3 + 3ba2 + 6b2a + 5b3兲共−1 1 + ␣ dp兲 , 15 a 共D4兲 Y=3 Z=− 冊 冊 ␣ = 冑共1D兲−1 + 共2D2兲−1 , 共D5兲 D2 = 31 V22 , 共D6兲 DD2 , D − D2 共D7兲 ␣2 = 共2D2兲−1 , 共D8兲 dp = ␣b tanh关␣共b − a兲兴 − 1 , ␣b − tanh关␣共b − a兲兴 共D9兲 共␣2ba − 1兲tanh关␣共b − a兲兴 + ␣共b − a兲 , ␣b − tanh关␣共b − a兲兴 共D10兲 R= S= 031146-26 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … PHYSICAL REVIEW E 80, 031146 共2009兲 TT = ␣ 2a . tanh共␣2a兲 2. Dependence of tm with 1 APPENDIX E: BALLISTIC MODE IN THREE DIMENSIONS The mean detection time is very weakly dependent on 1 as long as 1 ⬍ 6D / v2 共Fig. 24兲. 3. tm in the regime of diffusion alone (cf. Sec. V B 4) We take a diffusive random walk starting from r = r0 in a sphere with reflexive boundaries at r = b and absorbing boundaries at r = a, we get the following equation for t共r0兲 the mean time of absorption: Def f 1 r20 再 冋 册冎 d 2 dt共r0兲 r dr0 0 dr0 t共r0兲 = 冉 1. Without intermittence (cf. Sec. V C 2) In the regime without intermittence, 1 is not necessarily 0. We calculate tm in two limits: 1 small or 1 large. a. Limit 2 \ 0, vl1 ⱕ a In the limit vl1 ⱕ a, we can consider phase 1 as diffusive, with 共D12兲 = − 1. With the boundary conditions, the solution is 冊 1 2b3 2b3 . + a2 − r20 − 6Def f a r0 共D13兲 D = 31 v2l 1 . 1 共5b3a3 + 5b6 − 9b5a − a6兲. 15Dab3 共D14兲 tm = b3 . 3Da 1 共5b 5v2l 1ab3 a + 5b6 − 9b5a − a6兲. 3 3 共E2兲 And in the limit b Ⰷ a, tm = In the limit b / a Ⰷ 1, tdif f = 共E1兲 We use the approached expression of tm obtained in the diffusive mode 关Eq. 共150兲兴 with this effective diffusive coefficient, Then we average on r0, because the searcher can start from any point of the sphere with the same probability, tdif f = 共D11兲 共D15兲 b3 . v2l 1a 共E3兲 b. Limit 2 \ 0, 1 \ ⴥ We name Vol the volume of the sphere. g共t兲 is the volume explored by the searcher after a time t. The volume explored during dt is vla2dt. If we consider that the probability to 4. Criterion for intermittence: Additional figure (cf. Sec. V B 5) opt Figure 25 shows the dependence of tm with a. FIG. 24. 共Color online兲 Diffusive mode in three dimension. tm from Eq. 共D1兲; tm共b Ⰷ a , 1 → 0兲 from Eq. 共144兲. 2 = opt,th 关Eq. 2 共145兲兴, D = 1, V = 1, a = 10 共dotted lines兲, a = 100 共lines兲, a = 1000 共symbols兲, b / a = 10 共light blue, circles兲, and b / a = 100 共red, squares兲. FIG. 25. 共Color online兲 Diffusive mode in three dimensions. Simulations: b / a = 2.5 共red, crosses兲, b / a = 5 共blue, squares兲, b / a = 10 共green, circles兲, and b / a = 20 共brown, diamonds兲. Analytical expressions in the low target density approximation 共b / a Ⰷ 1兲: 1 = 0 关Eq. 共144兲兴 关with 2 = opt,th ; Eq. 共145兲兴 共dotted line兲; diffusion 2 alone 关Eq. 共150兲兴 共continuous line兲. V = 1, D = 1. 031146-27 PHYSICAL REVIEW E 80, 031146 共2009兲 LOVERDO et al. FIG. 26. 共Color online兲 Ballistic mode in three dimensions. Regime without intermittence 共2 = 0兲. ln共tm / b3兲 as a function of ln共1兲; simulations for b = 5 共green, squares兲 and b = 20 共blue, circles兲. Ballistic limit 共1 → ⬁兲 共no intermittence兲 关Eq. 共152兲兴 共red horizontal line兲. Diffusive limit 共v1 ⬍ a兲 关Eq. 共E2兲兴 with b = 5 共green, dotted line兲, b = 20 共blue ,small dots兲, and b Ⰷ a limit 关Eq. 共E3兲兴 共black line兲. a = 1, vl = 1. encounter a unexplored space is uniform, which is wrong at short times but close to the reality at long times, the average of first explored volume at time t during dt is 共关Vol − g共t兲兴 / Vol兲vla2dt. Then in this hypothesis, g共t兲 is solution of g共t兲 = 冕 t 0 Vol − g共u兲 vla2du. Vol 冕 target is not yet found at time r is the solution of dp = − 关1 − f共u兲兴. dr tbal = 共E5兲 4b3 . 3a2vl 共E7兲 c. Numerical study These expressions give a very good approximation of the values obtained through simulations 共Figs. 21 and 26兲. In the regime without intermittence, tm is minimized for 1 → ⬁. 2. Numerical vcl (cf. Sec. V C 4) r 关1 − f共w兲兴dw. 共E6兲 As p共0兲 = 1, the result is p共r兲 = e−r. Then the renormalized mean detection time of the target is 1, which in real time reads 共E4兲 This equation can be simplified taking a renormalized time r as r = 共vla2 / Vol兲t and f = g / Vol, f共r兲 = FIG. 27. 共Color online兲 Ballistic mode in three dimensions. vcl as a function of ln共b兲 through simulations. a = 1, V = 1. Then, as f共0兲 = 0 共nothing has been explored at time 0兲, f共r兲 = 1 − e−r. The probability to encounter the target at time t during dt 共and not before兲 is the newly explored volume at time t divided by the whole volume Vol if we make the mean-field approximation. Then the probability p共r兲 that the In simulations 共Fig. 27兲, when b is small vcl decreases, but it stabilizes for larger b, which is coherent with the fact that this value is obtained through a development in b. The value of vl for large b is different 共even if close兲 to the expected value. The main explanation of this discrepancy is that in the intermittence regime, the approached value of tm is about 20% away from the value obtained through simulations. 关1兴 J. R. Frost and L. D. Stone, Review of search theory: Advances and applications to search and rescue decision support, 2001, http.//www.rdc.uscg.gov/reports/2001/cgd1501dpexsum.pdf 关2兴 G. M. Viswanathan, S. V. Buldyrev, S. Havlin, M. G. E. Da Luz, E. P. Raposo, and H. E. Stanley, Nature 共London兲 401, 911 共1999兲. 关3兴 A. M. Edwards, R. A. Phillips, N. W. Watkins, M. P. Freeman, E. J. Murphy, V. Afanasyev, S. V. Buldyrev, M. G. E. Da Luz, E. P. Raposo, H. E. Stanley, and G. M. Viswanathan, Nature 共London兲 449, 1044 共2007兲. 关4兴 G. M. Viswanathan, E. P. Raposo, and M. G. E. da Luz, Phys. Life. Rev. 5, 133 共2008兲. 关5兴 M. F. Shlesinger, Nature 共London兲 443, 281 共2006兲. 关6兴 O. Bénichou, M. Coppey, M. Moreau, P.-H. Suet, and R. Voituriez, Phys. Rev. Lett. 94, 198101 共2005兲. 关7兴 O. Bénichou, M. Coppey, M. Moreau, P. H. Suet, and R. Voituriez, J. Phys.: Condens. Matter 17, S4275 共2005兲. 关8兴 O. Bénichou, C. Loverdo, M. Moreau, and R. Voituriez, Phys. Rev. E 74, 020102共R兲 共2006兲. 关9兴 O. Benichou, C. Loverdo, M. Moreau, and R. Voituriez, J. Phys.: Condens. Matter 19, 065141 共2007兲. 关10兴 O. Benichou, C. Loverdo, M. Moreau, and R. Voituriez, Phys. 0 031146-28 ROBUSTNESS OF OPTIMAL INTERMITTENT SEARCH … PHYSICAL REVIEW E 80, 031146 共2009兲 Chem. Chem. Phys. 10, 7059 共2008兲. 关11兴 M. A. Lomholt, T. Koren, R. Metzler, and J. Klafter, Proc. Natl. Acad. Sci. U.S.A. 105, 11055 共2008兲. 关12兴 M. Slutsky and L. A. Mirny, Biophys. J. 87, 4021 共2004兲. 关13兴 M. Coppey, O. Bénichou, R. Voituriez, and M. Moreau, Biophys. J. 87, 1640 共2004兲. 关14兴 I. Eliazar, T. Koren, and J. Klafter, J. Phys.: Condens. Matter 19, 065140 共2007兲. 关15兴 M. A. Lomholt, T. Ambjornsson, and R. Metzler, Phys. Rev. Lett. 95, 260603 共2005兲. 关16兴 I. Bonnet, A. Biebricher, P.-L. Porte, C. Loverdo, O. Benichou, R. Voituriez, C. Escude, W. Wende, A. Pingoud, and P. Desbiolles, Nucleic Acids Res. 36, 4118 共2008兲. 关17兴 O. Bénichou, C. Loverdo, and R. Voituriez, EPL 84, 38003 共2008兲. 关18兴 B. van den Broek, M. A. Lomholt, S. M. J. Kalisch, R. Metzler, and G. J. L. Wuite, Proc. Natl. Acad. Sci. U.S.A. 105, 15738 共2008兲. 关19兴 C. Loverdo, O. Benichou, R. Voituriez, A. Biebricher, I. Bonnet, and P. Desbiolles, Phys. Rev. Lett. 102, 188101 共2009兲. 关20兴 W. J. Bell, Searching Behaviour: The Behavioural Ecology of Finding Resources 共Chapman and Hall, London, 1991兲. 关21兴 W. J. O’Brien, H. I. Browman, and B. I. Evans, Am. Sci. 78, 152 共1990兲. 关22兴 D. L. Kramer and R. L. McLaughlin, Am. Zool. 41, 137 共2001兲. 关23兴 J. T. Pierce-Shimonura, T. M. Morse, and S. R. Lockery, J. Neurosci. 19, 9557 共1999兲. 关24兴 C. Loverdo, O. Benichou, M. Moreau, and R. Voituriez, Nat. Phys. 4, 134 共2008兲. 关25兴 B. Alberts, Molecular Biology of the Cell 共Garland, New York, 2002兲. 关26兴 S. Huet, E. Karatekin, V. S. Tran, I. Fanget, S. Cribier, and J.-P. Henry, Biophys. J. 91, 3542 共2006兲. 关27兴 O. Benichou, M. Moreau, P.-H. Suet, and R. Voituriez, J. Chem. Phys. 126, 234109 共2007兲. 关28兴 G. Oshanin, H. S. Wio, K. Lindenberg, and S. F. Burlatsky, J. Phys. Condens. Matter 19, 065142 共2007兲. 关29兴 F. Rojo, C. E. Budde, and H. S. Wio, J. Phys. A: Math. Theor. 42,125002 共2009兲. 关30兴 P. Levitz, M. Zinsmeister, P. Davidson, D. Constantin, and O. Poncelet, Phys. Rev. E 78, 030102共R兲 共2008兲. 关31兴 A. James, M. J. Planck, and R. Brown, Phys. Rev. E 78, 051128 共2008兲. 关32兴 M. Moreau, G. Oshanin, O. Benichou, and M. Coppey, Phys. Rev. E 67, 045104 共2003兲. 关33兴 M. Moreau, G. Oshanin, O. Benichou, and M. Coppey, Phys. Rev. E 69, 046101 共2004兲. 关34兴 M. Moreau, O. Bénichou, C. Loverdo, and R. Voituriez, EPL 77, 20006 共2007兲. 关35兴 M. Moreau, O. Bénichou, C. Loverdo, and R. Voituriez, J. Phys. A: Math. Theor. 共to be published兲. 关36兴 C. W. Gardiner, Handbook of Stochastic Methods: For Physics, Chemistry and the Natural Sciences 共Springer, New York, 1996兲. 关37兴 A. Dussutour, J. L. Deneubourg, and V. Fourcassie, Proc. R. Soc. London, Ser. B 272, 705 共2005兲. 关38兴 A. M. Berezhkovskii, V. Zaloj, and N. Agmon, Phys. Rev. E 57, 3937 共1998兲. 关39兴 S. Redner, A Guide to First Passage Time Processes 共Cambridge University Press, Cambridge, 2001兲. 关40兴 F. Bartumeus, F. Peters, S. Pueyo, C. Marrase, and J. Catalan, Proc. Natl. Acad. Sci. U.S.A. 100, 12771 共2003兲. 关41兴 K. Kiontke and W. Sudhaus, in Ecology of Caenorhabditis species, edited by The C. elegans Research Community 共http:// www.wormbook.org, 2005兲. 031146-29
© Copyright 2026 Paperzz