arxiv: v3 [math.pr] 3 Apr 2013

Transcription

1 General approxmaton method for the dstrbuton of Markov processes condtoned not to be klled Dens Vllemonas Aprl 4, 213 arxv: v3 [math.pr] 3 Apr 213 Abstract We consder a strong Markov process wth kllng and prove an approxmaton method for the dstrbuton of the process condtoned not to be klled when t s observed. The method s based on a Flemng-Vot type partcle system wth rebrths, whose partcles evolve as ndependent copes of the orgnal strong Markov process and jump onto each others nstead of beng klled. Our only assumpton s that the number of rebrths of the Flemng-Vot type system doesn t explode n fnte tme almost surely and that the survval probablty of the orgnal process remans postve n fnte tme. The approxmaton method generalzes prevous results and comes wth a speed of convergence. A crteron for the non-exploson of the number of rebrths s also provded for general systems of tme and envronment dependent dffuson partcles. Ths ncludes, but s not lmted to, the case of the Flemng-Vot type system of the approxmaton method. The proof of the non-exploson crteron uses an orgnal nonattanablty of, result for par of non-negatve sem-martngales wth postve jumps. 1 Introducton Markov processes wth kllng are Markov processes whch stop to evolve after a random tme, called the kllng tme. Whle the behavor of a Markov process after ths tme s trval, ts dstrbuton before ts kllng tme represents a substantal nformaton and thus several studes concentrate on the dstrbuton of a process condtoned not to be klled when t s observed we refer the reader to the extensve bblography updated by Pollett [2], where several studes on models wth kllng mechansms are lsted. The man motvaton of the present paper s to provde a general approxmaton method for ths dstrbuton. There are manly two ways of kllng a Markov process, both of them beng handled n the present paper. The frst knd of kllng occurs when the process reaches a gven Insttut Éle Cartan de ancy, Unversté de Lorrane; TOSCA project-team, IRIA ancy Grand Est; IEC UMR 752, Unversté de Lorrane, B.P. 7239, 5456 Vandoeuvre-lès-ancy Cedex, France 1

2 set. For nstance, a demographc model s stopped when the populaton becomes extnct, that s when the sze of the populaton hts. The second knd of kllng occurs after an exponental tme. For example, a chemcal partcle usually dsappears by reactng wth another one after an exponental tme, whose rate depends on the concentraton of reactant n the medum. If the kllng tme s gven by the tme at whch the process reaches a set, we call t a hard kllng tme. If t s gven by an exponental clock, we call t a soft kllng tme. In order to formally descrbe a process wth kllng n a general settng, we consder a contnuous tme strong Markov process Z evolvng n a measurable topologcal state space F { }, where / F s absorbng. Ths means that Z evolves n F untl t reaches and then remans n forever. The kllng tme of Z s defned as the httng tme of and s denoted by τ = nf{t,z t = }. Ths general settng can be used to model both hard and soft kllng types. The man dffculty n approxmatng the dstrbuton of a Markov process before ts kllng s that the probablty of the event "the process s stll not klled at tme t" vanshes when t goes to nfnty. Indeed, ths s a rare event smulaton problem and, n partcular, nave Monte-Carlo methods are not well-suted the number of stll not klled trajectores vanshng wth tme, a Monte-Carlo algorthm would undergo an unavodable dscrepancy n the long term. Our approxmaton method s based on a qute natural modfcaton of the Monte-Carlo method, where klled partcles are rentroduced through a rebrth n F the state space of the stll not klled partcles n order to keep a constant number of meanngful partcles through tme. Ths modfcaton, whch appears to be a Flemng- Vot type partcle system, has been ntroduced by Burdzy, Holyst, Ingermann and March n [4] and s descrbed n the followng defnton. Defnton. Let Z be a strong Markov process wth kllng evolvng n F { }. Gven 2 and x 1,...,x F, we defne the Flemng-Vot type partcle system wth partcles and evolvng as Z between ther rebrths, startng from x 1,...,x and denoted by FV Z x 1,...,x, as follows. The partcles of the system start from x 1,...,x at tme and evolve as ndependent copes of Z untl one of them s klled. Then f two or more partcles are smultaneously klled at ths moment, or f a partcle jumps smultaneously wthout beng klled so that a partcle s klled and another one jumps, then we stop the defnton of the partcle system and say that the process undergoes a falure. otherwse.e. f one and only one partcle s klled and the other partcles do not jump at ths kllng tme then the unque klled partcle s taken from the absorbng pont and s nstantaneously placed at the poston of a partcle chosen unformly between the 1 remanng ones; n ths stuaton we say that the partcle undergoes a rebrth. After ths operaton and n the case of a rebrth, each of the partcles les n F. They then evolve as ndependent copes of Z, untl one of them s klled and so 2

3 on. Ths procedure defnes the partcle system FV Z x 1,...,x n an ncremental way, rebrth after rebrth and untl t undergoes a falure. One partcularty of ths method s that the number of rebrths faces a rsk of exploson n fnte tme: n some cases, that s for some choces of Z and 2, the number of rebrths n the partcle system explodes to + n fnte tme. In such a case, the partcle system s well defned up to the exploson tme, but there s no natural way to extend ts defnton after ths tme we refer the reader to [3] for a non-trval case where the number of rebrths explodes n fnte tme wth postve probablty. Ths leads us to the followng assumpton see also Secton 3, where we provde a suffcent condton for a dffuson process to satsfy Hypothess A. Hypothess A, 2. A Markov process wth kllng Z s sad to fulfl Hypothess A f and only f the Flemng-Vot type partcle system wth partcles evolvng as Z between ther rebrths undergoes no falure and f ts number of rebrths remans fnte n fnte tme almost surely, for any ntal dstrbuton of the partcle system. In Secton 2, we fx T > and consder a contnuous tme Markov process wth kllng Z. We state and prove an approxmaton method for the dstrbuton of Z T condtonally to T < τ. Ths method, based on Flemng-Vot type partcle systems, does not requre that Z satsfes Hypothess A for some 2. Instead, we assume that there exsts a sequence Z 2 of Markov processes such that Z T converges n law to Z T when and such that Z satsfes Hypothess A, for all 2. In partcular the Flemng-Vot type system wth partcles bult over Z s well defned for any 2 and any ntal dstrbuton. Ths partcle system, denoted by FV Z, evolves n F and we denote by µ t ts emprcal dstrbuton at tme t. Our man result states that, f the sequence of ntal emprcal dstrbutons µ 2 converges to a probablty measure µ on F, then the sequence of random probablty measures µ T converges n law to the dstrbuton of Z T, ntally dstrbuted as µ and condtoned to T < τ. Also, we provde a speed of convergence for the approxmaton method. Ths result generalses the approxmaton method proved by Grgorescu and Kang n [11] for standard multdmensonal Brownan moton, by Vllemonas [24] for Brownan motons wth drft and by Del Moral and Mclo for softly klled Markov processes see [6] and references theren and by Ferrar and Mar`c [9], whch regards contnuous tme Markov chans n dscrete spaces. Our result gves a new nsght on ths approxmaton method through three key ponts of generalsaton. Frstly, ths new result allows both hard and soft kllngs, whch s a natural settng n applcatons: typcally, speces can dsappear because of a lack of newborns whch corresponds to a hard kllng at or because of a brutal natural catastrophe whch typcally happens followng an exponental tme. Secondly, we mplctly allow tme and envronment dependences, whch s qute natural n applcatons where ndvdual paths can be nfluenced by external stochastc factors as the changng weather. 3

4 Last but not least, for any 2, we do not requre that Z satsfes Hypothess A. Indeed, we only requre that there exsts an approxmatng sequence Z 2 such that Z fulfls Hypothess A, 2. Ths s of frst mportance, snce the non-exploson of the number of rebrths s a qute hard problem whch remans open n several stuatons. It s for nstance the case for dffuson processes wth unbounded drft, for dffusons klled at the boundary of a non-regular doman and for Markov processes wth unbounded rates of kllng. Thus n our case, the three rregulartes can be handled by successve approxmatons of the coeffcents, doman and rate of kllng. For these reasons, the approxmaton result proved n the present paper can be used as a general approxmaton method for the dstrbuton of condtoned Markov processes. The approxmaton method beng proved n ths very general settng, the only remanng dffculty s to provde a suffcent crteron for Hypothess A to hold, for any 2. In Secton 3, we consder a mult-dmensonal dffuson process Z and provde a suffcent crteron for Hypothess A to be fulflled for FVZ, the Flemng-Vot type system wth partcles evolvng as Z between ther rebrths. We allow both soft and hard kllngs and we allow the coeffcents of Z to be tme-nhomogeneous and envronment dependent. Ths crteron generalses smlar non-exploson and non-falure results recently proved by Löbus n [18] and by Benek, Burdzy and Fnch n [2] for Brownan partcles klled at the boundary of an open set of R d, by Grgorescu and Kang n [13] for tme-homogeneous partcles drven by a stochastc equaton wth regular coeffcents klled at the boundary of an open set and by Vllemonas n [24] for Brownan partcles wth drft. Other models of dffusons wth rebrths from a boundary have also been ntroduced n [1], wth a contnuty condton on the jump measure that sn t fulflled n our case, n [12], where fne propertes of a Brownan moton wth rebrth have been establshed, and n [15], [16], where Kolb and Wükber have studed the spectral propertes of smlar models. Our non-exploson result s a generalzaton of the prevously cted ones and s actually not restrcted to Flemng-Vot type partcle systems. The frst generalzaton axs concerns the Markov processes that drve the partcles between ther rebrths: our crteron allows a dfferent state space and a dfferent dynamc for each partcle. Moreover these dynamcs can be tme-nhomogeneous envronment-dependent dffuson processes, whle prevous results are restrcted to tme-homogeneous dffuson processes. The second aspect of the generalzaton s related to the rebrths mechansms: we allow the rebrth poston of a partcle to be chosen wth a large degree of freedom n partcular, not necessarly on the poston of another partcle and the whole partcle system s allowed to undergo a rebrth when a partcle s klled. Ths settng ncludes but s not lmted to the Flemng-Vot type partcle system case, so that our non-exploson result valdates the approxmaton method descrbed above for tme/envronment dependent dffusons wth hard and soft kllng. For non Flemng-Vot type rebrths mechansms, t remans an open problem to determne the exstence and, f approprate, the value of the lmtng emprcal dstrbuton. The proof of the non-exploson s partly based on an orgnal non-attanablty of, result for sem-martngales, whch s stated n Secton 4 of ths paper. ote that ths 4

5 result answers a dfferent problematc from the rest of the paper and has ts own nterest. Indeed, nspred by Delarue [7], our non-attanablty crteron generalzes exstng non-attanablty crtera by consderng general sem-martngales.e. not necessarly obtaned as solutons of stochastc dfferental equatons. Ths essental mprovement s a sne qua non condton for the development of the non-exploson crteron of Secton 3. 2 Approxmaton of a Markov process condtoned not to be klled We consder a càdlàg strong Markov process Z evolvng n a state space F { }, where / F s an absorbng pont for Z, also called the cemetary pont for Z ths means that the process remans n { } forever after reachng t. When Z reaches, we say that t s klled and we set τ = nf{t, Z t = }. In ths secton, we assume that we are gven a random probablty measure µ on F and a determnstc tme T. We are nterested n the approxmaton of P µ Z T T < τ,.e. of the dstrbuton of Z T wth ntal dstrbuton µ and condtoned to T < τ. Let µ 2 be a sequence of emprcal dstrbutons wth ponts whch converges weakly to µ by an emprcal dstrbuton wth ponts µ, we mean that there exsts a random vector x 1,...,x n F such that µ has the same law as 1 =1 δ x. We assume that there exsts a sequence Z 2 of strong Markov processes wth kllng evolvng n F { }, such that Z fulfls Hypothess A for any 2 and such that, for any bounded contnuous functon f : F R, E µ fz T 1 law T<τ E µ fz T 1 T<τ, 1 where τ = nf{t, Z t = } denotes the kllng tme of Z. Remark 1. A partcular case where 1 holds true we stll assume that µ s a random measure s when µ s the emprcal dstrbuton of a vector dstrbuted wth respect to µ for any 2 and when, for all x F and all contnuous and bounded functon f : F R +, Indeed, we have P T fx P Tfx. 2 µ P T f law = 1 [ P T fx µ P T f ] +µ P T f, =1 where x 1 s an d sequence of random varables wth law µ. By the law of large numbers, the frst rght term converges to almost surely and, by 2 and by domnated convergence, the second rght term converges almost surely to µ P T f. 5

6 We defne now the -partcles system X = X 1,,...,X 2, as the Flemng-Vot type system whose partcles evolve as ndependent copes of Z between ther rebrths and wth ntal emprcal dstrbuton µ thus X = FV x Z 1,...,x, where x 1,...,x s such that µ = 1/ =1 δ x. Snce we assumed that Z fulfls Hypothess A, the partcle system X s well defned at any tme t. Also, for any {1,...,}, the partcle X, s a càdlàg process evolvng n F. We denote by µ t the emprcal dstrbuton of X t at tme t : µ t = 1 =1 δ X, t M 1 F almost surely, where M 1 F denotes the set of probablty measures on F. Theorem 1. Assume that the survval probablty of Z at tme T startng wth dstrbuton µ s strctly postve almost surely, whch means that P µ T < τ > almost surely. Then, for any contnuous and bounded functon f : F R +, µ T f law E µ fz T T < τ. Moreover, for any bounded measurable functon f : F R +, we have µ E T f E µ fz T T < τ f E 1 P 2. µ T < τ Remark 2. In [23], Rousset consder a processz whch s only subject to soft kllngs, wth a unformly bounded kllng rate. In ths partcular case, the author proves a unform rate of convergence over all tmes T, usng the stablty of the underlyng Feynman-Kac sem-group. Our result shall be used n further work to extend Rousset s results to many process wth suffcently stable assocated Feynman-Kac sem-group. Remark 3. We emphasze that our approxmaton method only concerns the condtonal dstrbuton of the process. For results on the pathwse behavour of the process condtoned not to be klled n the future, we refer the reader to the theory of Q-processes, whch are processes evolvng as Z condtoned to never be klled see for nstance [17]. Remark 4. The quas-lmtng dstrbuton,.e. lm t + P µ Z T T < τ, s the subject of several studes and s closely related n fact equvalent to the concept of quasstatonary dstrbuton see for nstance [19]. Theorem 1 mples that the quas-lmtng dstrbuton, f t exsts, s equal to lm t + lm µ t. Whether ths lmt s also equal to lm lm t + µ t whch has practcal nterests n numercal computaton remans an open problem n many stuatons and has been resolved qute recently n some partcular cases see for nstance [5],[9],[13] and [24]. 6

7 Proof of Theorem 1. For any 2 and any {1,...,}, we denote the ncreasng sequence of rebrth tmes of the partcle X, by For any t, we denote by A, t t: τ, 1 < τ, 2 < < τ, n < A, t the number of rebrths of the partcle X, before tme = max{n, τ, n t}. We also seta t = =1 A, t as the total number of rebrths n the-partcles systemx before tme t. Snce Z s assumed to fulfl Hypothess A, we have lm n τn, = + almost surely and A t < + for all t almost surely. For any 2, we denote by Pt t the sub-markov sem-group assocated wth the Markov process Z. It s defned, for any bounded measurable functon f on F { } and any t, by Pt fx = E x fzt 1 t<τ, x F { }. The proof of Theorem 1 s dvded nto three steps. In a frst step, we fx 2 and we prove that, for any bounded and measurable functon f on F, there exsts a local martngale M such that µ t P T t f = µ P T f +M t + 1 A, t =1 n=1 1 1 j P T τ, n In a second step, we defne the non-negatve measure ν t on F by 1 A νt t dx = µ t dx. fx j, τn,, t [,T]. The measure ν s obtaned by multplyng the emprcal measure µ by 1/ at each rebrth. Ths loss of mass s ntroduced n order to compensate the last rght term n 3: we prove that νt f µ P t f s a local martngale whose L 2 norm s bounded by 1+ 2 f /, thus ν E T f µ P T f f. 4 In step 3, we note that νt and µ T are almost surely proportonal and conclude the proof of Theorem 1 by renormalzng νt and µ P T n 4. Step 1: proof of decomposton 3. Fx 2 and let f : F { } R + be a measurable bounded functon such that f =. We defne, for all t [,T] and z F, ψ t z = P T tfz. 3 7

8 The process ψ t Zt s a martngale wth respect to the natural fltraton of Z t [,T] and s equal to at tme τ on the event {τ T}. Indeed, for all s,t such that s+t T, the Markov property mples E ψ t+s Zt+s Zu = Ps ψ t+szt = ψ tzt and P t f = for any t yelds u [,t] ψ τ T Z τ T = ψ τ 1 τ T +ψ TZT 1 τ >T = ψ TZT 1 τ >T. Fx {1,...,}. For any n, we defne the process depends on by M,n t = 1 t<τ, ψ t X, t ψ n+1 t τ, X, n t τn, M,n t Snce X, evolves as Z n the tme nterval [τn,,τ, n+1 t respect to the natural fltraton of the whole partcle system and M,n t =, f t < τn,.e. A, ψ t X, t ψ τ, ψ τ, X, n τn, X, n τn, t < n,, f t > τ, n+1 Summng over all rebrth tmes up to tme t, we get Defnng the local martngales A, t ψ t X, t = ψ X, + M t = A, t n= and summng over {1,...,}, we obtan, f t [τ, n,τ, n+1 n=.e. n < A, t. t [,T], wth τ, :=. [, M,n A, t M,n t + ψ τ, n=1 M,n t and M t = 1 µ t ψ t = µ ψ +M t + 1 A, t =1 n=1 =1 whch mplctely s a martngale wth [.e. A, t = n, X, n τn, M t ψ τ, X, n τn,.. 5 X, n τn, At each rebrth tme τn,, the rebrth poston of the partcle X, s chosen wth respect to the emprcal measure of the other partcles. The expectaton of ψ τ, condtonally to the poston of the other partcles at the rebrth tme s then the average value X j,. We deduce that the process M, defned by 1 1 j ψ τ, n M t = 1 τ, n A, t =1 n=1 ψ τ, X, n τn, j ψ τ, n X j, τ, n, t,

9 s a local martngale. We fnally get µ t ψ t = µ ψ +M t +M t + 1 A, t =1 n=1 1 1 j ψ τ, n X j, τ, n, 6 whch s exactly 3 we recall that M and M mplctly depend on. Step 2: proof of nequalty 4. The number of partcles 2 s stll fxed. Let us frst prove that, for any α {1,2,...}, ν ψ T τα T τ α ν ψ s a local martngale. In order to smplfy the notatons and snce 2 s fxed, we remove the superscrpts untl the end of ths step when there s no rsk of confuson. The jump of the processes A t t and M only occurs at the rebrth tmes, thus we deduce from 6 that ν T ψ T ν ψ = T 1 At- A T 1 AτndM t M τn M τn- n=1 A T + ν τn ψ τn ν τn-ψ τn-. Let us develop and compute each term ν τn ψ τn ν τn-ψ τn- n the rght hand sde. For any n 1, 1 Aτn ν τn ψ τn ν τn-ψ τn- = µτnψ τn µ τn-ψ τn- 1 Aτn 1 Aτn- +µ τn-ψ τn-. On the one hand, denotng by the ndex of the klled partcle at tme τ n, we have µ τn ψ τn µ τn-ψ τn- = 1 1 n=1 ψ τ n -X j τn -+M τ n M τn- +M τn M τn-, j where 1 1 j ψ τ n -X j τn - = 1 1 µ 1 τ n-ψ τn- 1 ψ τ n-xτ n- and, by the defnton of M, 1 1 ψ τ n-xτ n- = 1 1 M τ n M τn-. 9

10 We then have µ τn ψ τn µ τn-ψ τn- = On the other hand, we have 1 1 µ τ n-ψ τn-+ 1 M τ n M τn-+m τn M τn-, Fnally we get 1 Aτn 1 Aτn- = 1 1 Aτn. 1 ν τn ψ τn ν τn-ψ τn- = 1 Aτn - M τn M τn-+ 1 Aτn Mτn M τn-. We deduce that the process ν t ψ t ν ψ s the sum of two local martngales and we have T 1 Atν T ψ T ν ψ = dm t + 1 T 1 AtdM t 7 Let us now bound both terms on the rght-hand sde of 7 where s stll fxed. In order to handle martngales nstead of local martngales, we fx an nteger α 1 and we stop the partcle system when the number of rebrths A t reaches α, whch s equvalent to stop the process at tme τ α whch s actually τα. The processes M and M stopped at tme τ α are almost surely bounded by α f. By the optonal stoppng tme theorem, we deduce that M and M stopped at tme τα are martngales. On the one hand, the martngale jumps occurng at rebrth tmes M τn M τn- are bounded by f / snce ts jumps are the dfference between two postve terms bounded by f / and the martngale s constant between rebrth tmes, thus E 1 T τα 1 At- 2 AT α ] dm t 1 2Aτn- E[ M τn M τn- 2 n=1 On the other hand, we have T τα E 1 At 2 dm t E M T τα 2 where E M T τ α M j = T τα f 2. 8 α m=,n= 1 = 1 2 E M T τ α M j T τα,j=1 E M,m T τ α M j,n T τ α.

11 If j, then the expectaton of the product of the martngales M,n and M j,m s, snce the partcles are ndependent between the rebrths and do not undergo smultaneous rebrths. Thus we have E M T τ α M j =, j. T τα Assume now that = j and fx m < n. By defnton, we have M,m T τ α = M,m, T τ α τm+1 whch s measurable wth respect to X T τα τ m+1, then E M,m T τ α M,n T τ α X T τα τm+1 = M,m E M,n T τ α τm+1 T τ α X T τα τm+1 = M,m M,n =, T τ α τm+1 T τ α τm+1 applyng the optonal samplng theorem wth the martngale M,n T τ α stopped at the unformly bounded stoppng tme T τ α τn. We deduce that M α 2 2 E T τα = E M,n T τ α E n= A T τα 1 n= 2 ψ τ, X +E n τ M,A 2 n T τα T τ α α E ψ T τ n X T τ + f n 2 2 n= α f E ψ T τn X T τ + f 2 n. n= By 5, we have thus We fnally have α E ψ T τ n XT τ f n, n= M 2 E T τα 2 f 2. T τα E 1 At- 2 dm t 2 f 2. 9 The decomposton 7 and nequaltes 8 and 9 lead us to ν E P T τα T T τα f µ P f f. T τα 11

12 By assumpton, the number of rebrths of the -partcles system remans bounded up to tme T almost surely. We deduce that T τα converges to T when α goes to nfnty actually T τα = T for α bg enough almost surely. As a consequence, lettng α go to nfnty n the above nequalty and usng the domnated convergence theorem, we obtan ν E T f µ P T f f. 1 Step 3: concluson of the proof of Theorem 1. By assumpton, µ P T. converges weakly to µ P T.. Thus, for any bounded contnuous functon f : F R +, the sequence of random varables µ P T 1 F,µ P T f converges n dstrbuton to the random varable µ P T 1 F,µ P T f. By 1, we deduce that the sequence of random varables νt 1 F,νT f converges n dstrbuton to the random varable µ P T 1 F,µ P T f. ow µ P T 1 F never vanshes almost surely, thus µ T f = ν T f ν T 1 F law µ P T f µ P T 1 F, for any bounded contnuous functon f : F R +, whch mples the frst part of Theorem 1. We also deduce from 1 that E 1 A T µ P T 1 F , then, usng 1 and the trangle nequalty, µ E PT 1 Fµ T f µ P T f f. Usng the Cauchy Schwartz nequalty, we fnally deduce that E µ T f µ P T f µ P f E T 1 F µ P 2, T 1 F whch concludes the proof of Theorem 1. 3 Crteron ensurng the non-exploson of the number of rebrths In ths secton, we fx 2 and consder -partcles systems whose partcles evolve as ndependent dffuson processes and are subject to rebrth after httng a boundary 12

13 or after some exponental tmes. We begn by defnng the dffuson processes whch wll drve the partcles between the rebrths, then we defne the jump measures gvng the dstrbuton of the rebrths postons of the partcles. As explaned n the ntroducton, the nteractng partcle system wll be well defned f and only f there s no accumulaton of rebrths n fnte tme almost surely. The man result of ths secton s a crteron gven by Hypotheses 1 and 2 below whch ensures that the number of rebrths remans fnte n fnte tme almost surely, so that the -partcles system s well defned at any tme t. For each {1,...,}, let E be an open subset of R d d 1 and D be an open subset of R d d 1. Let e t,z t t be a tme-nhomogeneous envronment-dependent dffuson process evolvng n E D, where e t E denotes the state of the envronment and Z t D denotes the actual poston of the dffuson at tme t. Each dffuson process e t,z t t wll be used to defne the dynamc of the th partcle of the system between ts rebrths. By a tme-nhomogeneous envronment-dependent dffuson process, we mean that, for any {1,...,}, there exst four measurable functons s : [,+ [ E D R d R d m : [,+ [ E D R d σ : [,+ [ E D R d R d η : [,+ [ E D R d, such that e,z s soluton to the stochastc dfferental system de t = s t,e t,z tdβ t +m t,e t,z tdt, e E, dz t = σ t,e t,z tdb t +η t,e t,z tdt, Z D, where the β,b, = 1,...,, are ndependent standard d +d Brownan motons. We assume that the process e t,zt t s subject to two dfferent knd of kllngs: t s klled when Zt hts D hard kllng and wth a rate of kllng κ t,e t,zt soft kllng, where κ : [,+ [ E D R + s a unformly bounded measurable functon. When a process e,z s klled, t s mmedately sent to a cemetery pont / E D where t remans forever. In partcular, the klled process s càdlàg wth values n E D { }. We assume that we re gven two measurable functons S : [,+ [ E 1 E D 1 D M 1 E 1 E D 1 D and H : [,+ [ E 1 E D 1 D M 1 E 1 E D 1 D, 13

14 where M 1 E 1 E D 1 D denotes the space of probablty measures on E 1 E D 1 D. These measures wll be used to defne the dstrbuton of the rebrths locatons of the partcles, respectvely for soft and hard kllngs. The-partcles system s denoted byo t,x t t, whereo t = o 1 t,,o t E 1 E s the vector of envronments at tme t and X t = X 1 t,,x t D 1 D s the vector of postons of the partcles at tme t. In partcular, the poston of the th partcle of the system at tme t s gven by o t,x t E D. Dynamc of the partcle system The partcles of the system evolve as ndependent copes of e,z, = 1,...,, untl one of them s klled. Then f two or more partcles are smultaneously klled at ths tme, we stop the defnton of the partcle system and say that t undergoes a falure. Ths tme s denoted by τ stop. otherwse, - f the unque klled partcle s softly klled, then the whole system jumps nstantaneously wth respect to the jump measure St,O t-,x t- - f the unque klled partcle s hardly klled, then the whole system jumps nstantaneously wth respect to Ht,O t-,x t- and, n both cases, we say that the system undergoes a rebrth. After ths operaton and n the case of a rebrth, all the partcles le n F. Then they evolve as ndependent copes of e,z, = 1,...,, untl one of them s klled whch leads to a falure or a rebrth and so on. If the process does never fal, we set τ stop = +. We denote the successve rebrth tmes of the partcle system by τ 1 < τ 2 <... < τ n <... and we set τ = lm n τ n. Snce there s no natural way to defne the partcle system after tme τ τ stop, the -partcles system s well defned at any tme t f and only f τ τ stop = + almost surely. In Theorem 2 below, we state that ths happens f Hypotheses 1 and 2 below are fulflled; ths s the man result of ths secton. We emphasze that the above constructon and the assumptons of Theorem 2 nclude the partcular case of the Flemng-Vot type system studed n Secton 2. The frst assumpton concerns the processese,z, = 1,...,, whch drve the partcles between the rebrths. We denote by φ the Eucldean dstance to the boundary D, defned for all x R d by φ x = nf y D x y 2, 14

15 where. 2 denotes the Eucldean norm on R d. For any a > and any {1,...,}, we defne the boundary s neghbourhood D a by D a = {x D, φ x < a}. Hypothess 1. We assume that there exst fve postve constants a, k g, c and C such that 1. φ s of class C 2 on D a, wth unformly bounded dervatves, 2. κ s unformly bounded on [, + [ E D and s,σ,m and η are unformly bounded on [,+ [ E D a, 3. for any {1,...,}, there exst two measurable functons f : [,+ [ E D a R + and g : [,+ [ E D a R such that t,e,z [,+ [ E D a and such that k,l, φ x k z φ x l z[σ σ ] klt,e,z = f t,e,z+g t,e,z, 11 a f s of class C 1 n tme and of class C 2 n envronment/space on [,+ [ E D a, wth unformly bounded dervatves, b for all t,e,z [,+ [ E D a, c for all t,e,z [,+ [ E D a, g t,e,z k g φ z, c < f t,e,z < C and c < f t,e,z+g t,e,z < C. Remark 5. We recall that the C k regularty of φ near the boundary s equvalent to the C k regularty of the boundary D tself, for all k 2 see [8, Chapter 5, Secton 4]. Remark 6. The eucldean dstances φ n Hypothess 1 could be replaced by other functons wth smlar propertes, n order to weaken the assumpton. However, for sake of clarty, we do not develop ths possblty and refer the reader to [13] for an alternatve class of dstance lke functons. Our second assumpton s related to the rebrth measures H and S. We emphasze that f a rebrth due to hard kllng happen, then at most one partcle hts ts assocated boundary D. Ths mples that, at a rebrth tme, the whole set of partcles hts one and only one of the sets D, = 1,,, defned by D = {x 1,,x D 1... D, x D and x j D j, j }. Wth ths defnton, t s clear that the th partcle undergoes a hard kllng leadng to a rebrth f and only f,o,x hts [,+ [ E 1... E D. In partcular, the values taken by H outsde these sets does not nfluence the behavour of the partcle system. 15

16 Hypothess 2. We assume that 1. There exsts a non-decreasng contnuous functon h : R + R + vanshng only at such that, {1,...,}, nf Ht,e,x 1,...,x E 1... E A p, t,e,x 1,...,x [,+ [ E 1... E D where p > s a postve constant and A D 1... D s the set defned by 2. We have A = {y 1,...,y j such that φ y hφ j y j }. nf Ht,e,x 1,...,x B e,x = 1, t,e,x [,+ [ E 1 E D where B e,x E 1... E D 1... D s defned by f j t,e B e,x = e,x j, φ j x j j φ j x j 1,x j fj t,e j,x j, f j beng the functon of Hypothess 1, extended outsde [, + [ E j D a j by the value c. Let us explan Hypothess 2. - The set A s a subset of D 1... D such that f the th component of an element y 1,,y n A s near the boundary D that s f φ y 1, then at least one another component y j fulfls hφ j y j 1 and thus φ D y j 1. Ths mples that f the rebrth poston of the th partcle after a hard kllng s located near the boundary D, then, wth a probablty lowered by p, at least one other partcle s located near the boundary. - The set B e,x s a subset of E 1... E D 1... D such that for any e,x B e,x, the component x j les farther from the boundary than x j, for any j {1,...,}. Ths means that after a hard kllng, the rebrth poston of any partcle les farther from the boundary after the rebrth than before the rebrth. Remark 7. Hypothess 2 ncludes the case studed by Grgorescu and Kang n [13] wthout envronment dependency or tme nhomogenety, where H = j p j x δ xj, x 1,...,x D. wth j p jx = 1 and nf {1,...,},j,x Dp j x >. Indeed, n that case, the rebrth poston of any klled partcle s the poston of another partcle. It mples that Hypothess 2 s fulflled wth p = 1 and hφ j = φ j. Ths case also ncludes the Flemng- Vot type system of the approxmaton method proved n Secton 2. We re now able to state the man result of ths secton. 16

17 Theorem 2. If Hypotheses 1 and 2 are satsfed, then τ stop τ = + almost surely. In partcular, the -partcles system wth rebrth,o,x s well defned at any tme t. Remark 8. An other nterestng example of dffuson processes wth kllng s gven by reflected ones see for nstance [14] and [25]. Thus a natural queston s whether our non-exploson result holds true when the dffuson process e,z s reflected on D and klled when ts local tme on D reaches the value of an ndependent exponental random varable. In fact, the only dfference les n the Itô calculus developed n the end of ths secton, where a local tme term should appear due to reflecton. The generalty of Proposton 3 whch concludes the proof allows to handle ths addtonal term. As a consequence, our proof would reman perfectly vald under the settng of reflected dffuson processes. Proof of Theorem 2. Snce the rate of kllng κ s assumed to be unformly bounded for all {1,...,}, there s no accumulaton of soft kllng events almost surely. As a consequence, we only have to show the non-accumulaton of hard kllng events and can assume up to the end of the proof that κ = for all {1,...,}. In Subsecton 3.1, we prove that, condtonally to τ stop τ < +, there exsts j {1,...,} such that the par of sem-martngales φ Xt,φ j X j t converges to, when t goes to τ stop τ. Ths leads us to P τ stop τ < + P T j < +, where T j s the stoppng tme defned by 1 <j T j {t = nf [,+ [, s n t such that lm φ X n n s n,φ j Xs j n =, where s n runs over the set of non-decreasng sequences. In a second step, we conclude the proof of Theorem 2 by provng that, for any j, }, PT j < + =. The proof of ths asserton s tself dvded nto two parts: n Subsecton 3.2, we compute n detals the Itô s decomposton of φ X and φ j X j ; n Secton 4, we prove that the just obtaned Itô s decomposton mples the non-attanablty of, for φ X,φ j X j, that s T j = + almost surely, whch concludes the proof. Remark 9. The non-attanablty result used n the proof has ts own nterest and s thus stated as Proposton 3 n the ndependent Secton 4. 17

18 3.1 Exploson of the number of rebrths mples smultaneous convergence to the boundary Let us prove that, under Hypotheses 1 and 2 P τ stop τ < + 1 <j P T j < If τ stop < +, then at least two partcles X and X j ht ther respectve boundares at tme τ stop by defnton of ths stoppng tme. It mples that φ Xτ stop- = φ j Xτ j stop- =. We deduce that {τ stop < + } { } T j < <j Defne the event E = {τ < + and τ stop = + }. It remans us to prove that, up to a neglgble event, E { } T j < <j Condtonally to E, the total number of rebrths converges to + up to tme τ. Snce there s only a fnte number of partcles, at least one of them, say, s klled nfntely many tmes up to tme τ. We denote by τ n n the sequence of rebrth tmes of the partcle we thus have τ n < τ < for all n. In a frst step, we prove that φ X τ n converges to when n. In a second step, we prove that there exsts a random ndex j such that φ j X j converges to when n. Ths wll mply 14 and thus τ n Inequalty 12. Step 1: convergence of φ X to when n. τ n We prove that, up to a neglgble event, { } E φ X. 15 τ n n Itô s formula wll be a very useful tool n our proof. However, snce φ s of class C 2 only on the set D a, one can not apply drectly the Itô s formula to φ X. In order to overcome ths dffculty, let γ : R + R + be a C 2 functon such that γ s non-decreasng wth unformly bounded dervatves, γu = u, u [, a 4 [, γu = a 2, u [a,+ [. The functon γ φ s of class C 2 on the whole set D wth dervatves { γ φ γ x = φ x φ x l x, f x D a x l otherwse, 18

19 and 2 γ φ x l x k x = { γ φ x φ x k x+γ φ x 2 φ x l x k x, f x D a,, otherwse, where k,l {1,...,d }. By defnton of γ and by Hypothess 1, these dervatves are unformly bounded over D and one can apply the Itô s formula to γ φ X. Applyng Itô s formula to γ φ X between tmes τ n and τ n+1, we obtan γ φ X τ n+1 - γ φ X τ n d = l=1 d + + l=1 τ n+1 d l,k=1 τ n τ n+1 τ n τ n+1 τ n γ τ n <t<τ n+1 γ φ [ ] X t- x σ t-,o t-,x t- db t l l 2 γ φ x l x k X t- [ σ σ ] kl t-,o t-,x t- dt γ φ [ X t- x µ t-,o t-,x t- l ]l dt φ X t γ φ X t-. By Hypothess 2, φ X can only have non-negatve jumps. Snce γ s non-decreasng, we deduce that the last sum s non-negatve. Snce τ n+1 τ n converges to and the dervatves of γ φ are unformly bounded, we also deduce that the ntegrals n the rght term converge to when n goes to +. We thus have, condtonally to the event E, lm nf γ φ X γ φ n τ X. 16 n+1 τ n But τ n+1 s by defnton a rebrth tme for X and thus φ X = we recall that τ n+1 - we assumed wthout loss of generalty that κ =, so that all rebrths are due to hard kllng. Snce the contnuous functon γ s equal to at, we deduce that γ φ X γ φ τ X = γ φ n+1 τ X. n τ n Ths and the lmt 16 mply that whch mples 15. lm γ φ X n τ n =, Step 2: there exsts j such that φ j X j converges to. τ n We prove now that, up to a neglgble event, { } E j, φ X hφ τ j X j, for nfntely many n 1, 17 n τ n 19

20 where h s the contnuous functon of Hypothess 2. We denote by A n the event { } A n = τ n < + and, j, φ X < hφ τ j X j. n τ n We have, for all 1 k l, l+1 l+1 P A n = E E 1 An Xt 1,...,X t t<τ l+1 n=k n=k l = E 1 An E n=k 1 Al+1 Xt,...,X 1 t t<τ. l+1 By constructon of the rebrth mechansm of the nteractng partcle system and by the frst pont of Hypothess 2, E 1 Al+1 Xt 1,...,X t t<τ = 1 l+1 τ l+1 <+ Hτ l+1,o τ,x l+1 τ A c l+1 1 p, where A and p are defned n Hypothess 2. By nducton on l, we get l P A n 1 p l k, 1 k l. Snce p >, t yelds that n=k P k 1 n=k A n =. As a consequence, f E happens, then, for nfntely many rebrth tmes τ n, one can fnd a partcle j such that φ X hφ τ j X j. Snce there s only a fnte number n τ n of other partcles, one can fnd a partcle, say j whch s a random ndex, such that { } E φ X hφ τ j X j, for nfntely many n 1. n τ n Let us now conclude the proof of 14. We deduce from 15 and Step 2 that { } E hφ j X j, up to a subsequence, τ n n { } φ j X j, up to a subsequence. τ n n Usng agan 15, we obtan that, up to a neglgble event, { } E j, lm φ n X,φ τ j X j =, up to a subsequence n τ n { } T j < +.,j=1 j Ths and 13 clearly mples 12. 2

21 3.2 on-convergence to, for φ X,φ j X Fx j {1,...,}. In ths subsecton, we prove that P T j < + =, 18 whch wll conclude the proof of Theorem 2. Let us ntroduce the sequence of stoppng tmes t n n, defned by t = nf{t [,τ stop τ [, φ Xt 2 +φ j X j t 2 a /2} and, for all n, t 2n+1 = nf{t [t 2n,τ stop τ [, φ Xt 2 +φ j X j t 2 a } t 2n+2 = nf{t [t 2n+1,τ stop τ [, φ Xt 2 +φ j X j t 2 a /2}. By defnton of the sequence t n n 1, we clearly have { φ X t < a and φ j X j t < a, t n [t 2n,t 2n+1 [, φ X t 2 +φ j X j t 2 a /2 otherwse. In partcular, φ Xt,φ jx j t cannot converge to, durng the nterval of tme t [t 2n+1,t 2n+2 [ and thus T j / [t 2n+1,t 2n+2 [ almost surely, for any n. We deduce that P + T j < + P n= T j [t 2n,t 2n+1 [ +P T j lm t n. n Our frst step conssts n provng that the sequence t n n converges to + almost surely. In a second step, we prove that P T j [t 2n,t 2n+1 [ = for each n. Step 1: t n n converges to + almost surely. Snce t n s non-decreasng, t s clear that { } {t n n does not converge to + } supt n < + n { } t 2n+1 t 2n. n Usng the same Itô s decomposton as n the frst step of Subsecton 3.1, we obtan that, up to a neglgble set, { } { } t 2n+1 t 2n lm nf γ φ kx k n n t 2n+1 γ φ k Xt k 2n for k =,j. 21

22 Snce γ s non-decreasng, we deduce that, up to a neglgble set, { } { } t 2n+1 t 2n lm nf φ kx k n n t 2n+1 φ k Xt k 2n for k =,j. We thus have { } t 2n+1 t 2n n { lm nf n } φ Xt 2n+1 2 +φ j X j t 2n+1 2 φ Xt 2n 2 +φ j X j t 2n 2. But the rght contnuty of the partcle system, the contnuty of φ and φ j and the defnton of the sequence t n mply that { } supt n < + n 1 { } φ Xt 2n+1 2 +φ j X j t 2n+1 2 φ Xt 2n 2 +φ j X j t 2n 2 a /2, n 1. Fnally, we deduce that {t n n does not converge to + } s ncluded n a neglgble set, so that t n n 1 converges to + almost surely. Step 2: we have P T j [t 2n,t 2n+1 [ = for any n. Fx n. We defne the postve sem-martngale Y by { Yt φ Xt = 2n+t f t < t 2n+1 t 2n, a c k f t t 2n+1 t 2n. 19 We also defne the local martngale M and the adapted process b by d Mt = l=1 t2n+1 t 2n l=1 φ Xt x 2n +s [ σ t 2n +s,o ] t 2n +s,x t 2n +s db t 2n +s l, l and d b t = 1 t [,t2n+1 φ t 2n [ Xt x 2n +t[µ ] l t 2n +t,o t 2n +t,xt 2n +t l d l,k=1 Wth these defntons, we deduce from the Itô s formula that 2 φ Xt x l x 2n +t[σ σ] kl t,o t 2n +t,xt 2n +t. k dy t = dm t +b t dt+y t Y t

23 We defne the adapted processes π and ρ by π t = { f t 2n +t,o t 2n +t,x t 2n +t, f t < t 2n+1 t 2n, c, f t t 2n+1 t 2n and ρ t = { g t 2n +t,o t 2n +t,x t 2n +t, f t < t 2n+1 t 2n, c, f t t 2n+1 t 2n, where f and g are gven by Hypothess 1. An mmedate computaton leads us to d M t = πt +ρ t dt, t. 21 The process π s a sem-martngale. We deduce from the Itô s formula and from the regularty of f over [,+ [ E D a that there exst a local martngale and a fnte varatonal process L such that, for all t, We defne the adapted process ξ by d ξt = 1 t [,t2n+1 t 2n [ dπ t = d t +dl t +π t π t-. 22 k=1,l f e k f e l [s s ] kl + d k=1,l f x k f [σ σ x ] kl, l where each functon nvolved s mplctly evaluated at t 2n +t,o t 2n +t,x t 2n +t. We thus obtan t = ξ tdt. 23 Smlarly, we defne the processes Y j, M j, b j, π j, ρ j, j, L j and ξ j. By Hypothess 2 and by the defnton of Y and Y j, t s clear that Yt Y t- π t and Y j t π t- π j t Y j t- π j t-. 24 Moreover, the unform bound assumptons and the regularty assumptons of Hypothess 1 mply that the processes b, b j, π, π j, ρ, ρ j, ξ and ξ j are unformly bounded. In partcular, there exst some postve constants b, C π and C ξ such that, for any t, b t b and b j t b, πt πt + ρ t C π and π j t πj t + ρj t C π, 25 ξt C ξ and ξ j t C ξ. Settng c π = c and k = k g c /a, we deduce from the fourth pont of Hypothess 1 and the defnton of π, π j, ρ and ρ j that, for any t, { cπ πt and c π π j t, ρ t k Yt and ρ j t k Y j t

24 By the ndependence of the partcles between the rebrths, we also deduce that, for any t, M,M j t =. 27 We clam now that the decompostons 2, 21, 22 and 23 of Y, Y j, M, M j, π, π j, and j, together wth the propertes 24, 25, 26 and 27, mply that Y 1,Y 2 never converges to, almost surely. Ths s proved n the next secton, where a general crteron for non-attanablty of, for non-negatve sem-martngales wth postve jumps s stated see Proposton 3. Fnally, we deduce that T j / [t 2n,t 2n+1 [ almost surely, for all n, concludng the proof of Theorem 2. 4 on-attanablty of, for sem-martngales Fx T > and let Y t t [,T], = 1,2, be two unformly bounded non-negatve onedmensonal sem-martngales. Ths means that there exsts a constant y > such that Y t y, t and {1,2} almost surely 28 and that there exst a contnuous local martngale M t t [,T] and a contnuous fnte varatonal process I such that dy t = dm t +di t +Y t Y t-, t and {1,2} almost surely. 29 In ths secton, we gve a suffcent condton for Y 1,Y 2 not to converge to, up to tme T. More precsely, we set { } T = nf t [,+ [, s n t such that lm Y 1 n n s n,ys 2 n =,, where s n runs over the set of non-decreasng sequences, and gve a suffcent crteron for T = + almost surely. Crtera for non-attanablty of, already exst for tme homogeneous stochastc dfferental equatons we refer the reader to the papers of Fredman [1], Ramasubramanan [21] and Delarue [7]. Our result s a generalzaton, snce we do not assume at all thaty s gven by a stochastc dfferental equaton, nor that t has any tme-homogenety property. In partcular, t s not requred for Y to be a Markov process, whch s of frst mportance n vew of our man applcaton the processes φ Xt n Secton 3 do not fulfl the Markov property. Our proofs are nspred by the recent work of Delarue [7], who obtans lower and hgher bound for the httng tme of a corner for a dffuson drven by a tme homogeneous stochastc dfferental equatons reflected n the square. Here s our man assumpton. 24

25 Hypothess 3. For each = 1,2, there exst an adapted process b and a non-decreasng adapted process Kt such that dit = b t dt+dk t. Moreover, there exsts a non-negatve sem-martngale π, whose decomposton s dπ t = d t +dl t +π t π t-, where s a contnuous local martngale and L s a contnuous fnte varatonal adapted process, and there exst two adapted processes ρ t and ξ t and some postve constants b,k,c π,c π,c ξ such that, almost surely, 1. d M t = π t +ρ t dt and d t = ξ t dt, 2. c π π t +ρ t C π, ρ t k Y t, ξ t C ξ and b t b for all t [,T] 3. M 1,M 2 s a non-ncreasng process. 4. we assume that, for any tme t, Y t Y t-. π t π t- Remark 1. The thrd pont of Hypothess 3 has the followng geometrcal nterpretaton: when an ncrement ofm 1 s non-postve that s whenm 1 goes closer to, the ncrement of M 2 s non-negatve so that M 2 goes farther from, as a consequence M 1,M 2 remans away from. A nce graphc representaton of a very smlar phenomenon s gven by Delarue s [7, Fgure 1]. We defne the adapted process Φ by Φ t def t 2 πt 1 = 1 2 log Y 1 t 2 πt 2 + Y 2. 3 For all ǫ >, we also defne the stoppng tme T ǫ = nf{t [,T], Φ t ǫ 1 }. Snce πt s unformly bounded below by c π, Φ t goes to nfnty when Yt 1,Yt 2 goes to,, so that T = lm ǫ T ǫ almost surely. We are now able to state our non-attanablty result. Proposton 3. If Hypothess 3 s fulflled, then T = + almost surely. In partcular, Y 1,Y 2 doesn t converge to, n fnte tme almost surely. Moreover, there exsts a postve constant C whch only depends on b,k,c π,c π,c ξ such that, for all ǫ 1 > Φ and any stoppng tme T, P T ǫ T 1 ǫ 1 Φ C E L 1 T + L 2 T +T, where L T s the total varaton of L at tme T and Φ s defned n 3. 25

26 Proof of Proposton 3: Snce T ǫ converges to T when ǫ, f the last part of Proposton 3 s fulflled, then PT T = for any determnstc tme T and thus T = + almost surely. As a consequence, we only have to prove the second part of the proposton, for a gven stoppng tme T and a fxed value of ǫ >. The proof s dvded nto several steps and s organsed as follows. We assume that M 1,M 2 = n the three frst steps and consder the general case n the last one. In Step 1, we compute n detal the Itô s decomposton of the sem-martngale Φ. In Step 2, we ntroduce the functon F : R R defned by Fr = r exp C F e s ds, where C F > s a postve constant that wll be fxed later n the proof. Usng Itô s formula, we prove that there exsts a local martngale H and a postve constant C > such that FΦ t FΦ H t +C L 1 t + L 2 t +t. 31 In Step 3, we conclude the proof of Proposton 3 n the partcular case M 1,M 2 =. In Step 4, we prove that the result remans true n the general case. Step 1. Itô s decomposton of the sem-martngale Φ t t [,Tǫ[. Let us ntroduce the C 2 functon Γ defned by so that Φ t = Γπ 1 t,π2 t,y 1 In partcular, we have Γ : R + R + R + R + R α 1,α 2,x 1,x 2 1 x 2 2 log 1 + x2 2, α 1 α 2 t,y t 2. The successve dervatves of the functon Γ are Γ = α 1 x e 2Γ, 2 Γ x x 2 = α 1 e 2Γ +2α 2 x 2 e 4Γ, Γ = 1 α 2 α 2 x 2 e 2Γ, 2 Γ α 2 = α 3 x 2 e 2Γ α 4 x 4 e 4Γ, 2 Γ x α = α 2 x e 2Γ α 3 x 3 e4γ, 2 Γ x x j = 2α 1 α 1 j x x j e 4Γ, =1,2 2 Γ x α j = α 1 α 2 j x x 2 j e4γ, 2 Γ = 1 α α j 2 α 2 α 2 j x 2 x 2 je 4Γ. 2 Γ x 2 α 1,α 2,x 1,x 2 α = α 1 e 2Γ α +2α 2 x 2 e 4Γ α =1,2 x = 2e 2Γ +2e 4Γ x2 2 α 1 α 2 = 2e 2Γ +2e 4Γ e 2Γ =, 26

27 so that, for any t [,T ǫ [, =1,2 2 Γ x 2 πt,π 1 t,y 2 t 1,Yt 2 πt =, almost surely. Usng the prevous equaltes and the Itô s formula, we get dφ t = =1, π =1,2 t =1,2 =1,2 =1,2 Yt πt e 2Φt dmt + =1,2 Yt e 2Φt b t dt+ 1 π t =1,2 Yt 2 2πt dt 2e2Φt Y t 2 2π t 2e2Φt dl t e 2Φt +2 Y t 2 πt e4φt 2 ρ tdt+ 1 2 =1,2 j {1,2} Y t 2 πt 3 e2φt + Y t 4 2πt d 4e4Φt t Y t πt Y t 3 2e2Φt πt e4φt 3 d M, t 1 2 Yt πt e 2Φt dkt 2Y t Y j t πt πj t j {1,2} j {1,2} e 4Φt d M,M j t Y t 2 Y j t 2 2π t 2 π j t 2e4Φt d, j t Y ty j t 2 πt e4φt d M, j πj t 2 t +Φ t Φ t- 32 and d Φ t = =1,2 Yt 2 πt 2 e4φt ρ t +πtdt+ Yt Y j t π j {1,2} t πj t =1,2 =1,2 e 4Φt d M,M j t + Y t 4 4π t 4e4Φt d t j {1,2} Yt 3 2πt d M, 3e4Φt t j {1,2} Y t 2 Y j t 2 4π t 2 π j t 2e4Φt d, j t YtY j t 2 d M, j 2πt πj t. t 2e4Φt Step 2: proof of 31. Let C F > be a postve constant that wll be fxed later n the proof and defne the functon F : R R by Fr = r exp C F e s ds. Settng D F = C F y 2/ cπ, one can easly check that 1 F r e D F and F r = C F e r F r, r 1 2 log 2 y2, c π 27

28 where 1 2 log 2 y2 cπ that, for any t [,T ǫ [, FΦ t FΦ = s a lower bound for the process Φ t. By Itô s formula, we deduce F Φ s dφ c s C F 2 e Φs F Φ s d Φ s + s t where dφ c s s the contnuous part of dφ s. Our am s to prove that FΦ t FΦ H t +C L 1 t + L 2 t +t, where H s the local martngale defned for any t > by H t = =1,2 Tǫ Ys πs e 2Φs F Φ s dms + Tǫ =1,2 FΦ s FΦ s-, 33 Y s 2 2π s 2e2Φs F Φ s d s. Ths s done below usng 32 and provng lower or hgher bounds for each term on the rght hand sde of 33, respectvely n step 2a, n step 2b and n step 2c. Step 2a. Let us prove that there exsts a postve constant C >, whch does not depend on C F, such that F Φ s dφ c s H t +C e Φs F Φ s ds+ ed F Snce K s non-decreasng, we have =1,2 2c π L 1 t + L 2 t + 3e DFC ξ t 2c 2 π Ys πs e 2Φs F Φ s dks. π t. 34 One can easly check that Yte Φt πt, then Y t e Φt 1 cπ. Snce b t b, we have =1,2 Ys πs F Φ s e 2Φs b sds 2b cπ e Φs F Φ s ds. Snce the dervatve F takes ts values n [1,e D F] and snce Y t 2 e πt 2Φt 1 2 c π, we deduce that Ys 2 2πs F Φ s dl s ecf L 1 t + L 2 t. 2e2Φs 2c π =1,2 By the second pont of Hypothess 3, we have ρ t eφt k Yt eφt k π t k Cπ. As a consequence, usng that Y t 2 e πt 2Φt 1 2 c π and πt c π, we deduce that 1 2 =1,2 1 πs e 2Φs +2 Y s 2 πs 2e4Φs ρ s F Φ s ds 3k Cπ c π 28 e Φs F Φ s ds.

29 By the Kunta-Watanabe nequalty see [22, Corollary 1.16 of Chapter IV] and by Hypothess 3 frst and second ponts, we get, for all predctable process h s and any couple,j {1,2}, h s M, j t s h s M s h s j s C π C ξ h s ds, and, smlarly, h s M,M j s C π h s ds and h s, j s C ξ h s ds, In partcular, for any t [,T ǫ [, usng Y s 2 π s 2 e 2Φs 1 c π and π s c π, we deduce that and =1,2 1 2 =1,2 1 2 j {1,2} Y s 2 πs + Y s 4 3e2Φs We also deduce that 1 Y s 2 πs Y 2e2Φs 2π s 4e4Φs F Φ s d s ed FC ξ t c 2 π Ys 2 Ys j 2 2πs 2 πs j F Φ s d, j s edfc ξ t. 2e4Φs s 3 πs 3e4Φs 2c 2 π F Φ s d M, s 2 C π C ξ c 3/2 π e Φs F Φ s ds and 1 2 j {1,2} Ys Y s j 2 πs πj s 2 e4φs F Φ s d M, j s Cπ C ξ c 3/2 π e Φs F Φ s ds. Settng C = 2b cπ + 3k Cπ c π + 3 C πc ξ c 3/2 π > and usng equaton 32 recall that we assumed M 1,M 2 =, we deduce that the hgher bound 34 holds almost surely, for any t [,T ǫ [. Step 2b. We prove now the followng lower bound for e Φs F Φ s d Φ s, e Φs F Φ s d Φ s c t π e Φs F C ξ Φ s ds + k Cπ + 2 Cπ C ξ e D F t. 35 C π c π One can easly check usng the second pont of Hypothess 3 that e 2Φs C π =1,2 2c 2 π c 3/2 π Y s 2 π s 2e4Φs e2φs c π and ρ s k Y s k Cπ e Φs. 29

30 Usng that π s c π, we deduce that =1,2 Y s 2 π s 2e4Φs π s +ρ s e Φs F Φ s ds c π C π e Φs F Φ s ds k Cπ e D F t. c π The process beng non-decreasng and F beng postve, we have =1,2 Y s 4 4π s 4e4Φs F Φ s e Φs d s. The same applcaton of the Kunta-Watanabe nequalty as above leads us to j {1,2} =1,2 Ys 2 Ys j 2 4πs 2 πs j F Φ s e Φs d, j s C ξe DFt 2e4Φs 2c 2 π C ξ 2c 2 e D F t, π e Φs ds snce the defnton of Φ mples that t s unformly bounded below by. We also have Ys 3 2πs F Φ s e Φs d M, 3e4Φs s Cπ C ξ e D F t and j {1,2} c 3/2 π Ys Y s j 2 2πsπ s j F Φ s e Φs d M, j 2e4Φs s Cπ C ξ We fnally deduce by 32 where M 1,M 2 = that 35 holds. c 3/2 π e D F t. Step 2c. The jumps of Φ t are non-postve and F s ncreasng, thus FΦ s FΦ s-. 36 s t Fnally, by 34, 35 and 36, we deduce from 33 that FΦ t FΦ H t + C C Fc π 2C π + e Φs F Φ s ds+ ed F 2c π L 1 t + L 2 t 3+C F C ξ 2c 2 + k C F Cπ + C F π 2c π Cπ C ξ e D F t. Choosng C F = 2C π C /c π, we have proved that there exsts C > such that, for any t [,T ǫ [, FΦ t FΦ H t +C L 1 t + L 2 t +t. c 3/2 π 3