On the Volume of the Supercritical Super-Brownian Sausage
Total Page:16
File Type:pdf, Size:1020Kb
On the volume of the sup ercritical sup er-Brownian sausage conditioned on survival János Engländer Weierstrass Institute for AppliedAnalysis and Stochastics Mohrenstrasse 39 D-10117 Berlin, Germany E-mail: englaend @w ia s- ber li n. de URL: http://ww w.w ia s- be rli n. de / englaend WIAS preprint No. 491 of May 10, 1999 AMS classication : primary 60J80; secondary 60J65, 60D05 Keywords : sup er-Brownian motion, sup er-Brownian sausage, branching Brow- nian motion, branching Brownian sausage, Poissonian traps, hard obstacles. Running head: Sup er-Brownian sausage Supp orted by the grant for The Europ ean Union TMR Programme Pro ject ERBF MRX CT 960075A, Sto chastic Analysis and its Applications, via Humb oldt University, Berlin. Abstract Let and b e p ositive constants. Let X b e the sup ercritical sup er-Brownian 1 2 d motion corresp onding to the evolution equation u = + u u in R and let t 2 Z b e the binary branching Brownian-motion with branching rate .For t 0,let S t R(t)= supp (X (s)), that is R(t) is the (accumulated) supp ort of X up to time t. s=0 S a a For t 0 and a>0, let R (t)= B (x; a): We call R (t) the super-Brownian x2R(t) sausage corresp onding to the sup ercritical sup er-Brownian motion X .For t 0,let S t ^ ^ R (t)= supp (Z (s)), that is R(t) is the (accumulated) supp ort of Z up to time s=0 S a a ^ ^ t.For t 0 and a>0, let R (t)= B (x; a): Wecall R (t) the branching x2R(t) Brownian sausage corresp onding to Z . In this pap er weprovethat 1 1 a a ^ ^ log E log E [exp ( jR (t)j)j X survives ] = lim exp( jR (t)j)= ; lim 0 0 t!1 t!1 t t for all d 2 and all a; ; > 0. 1 1 Intro duction and main results. In the classic pap er [DV 75], Donsker and Varadhan describ ed the asymptotic b e- haviour of the volume of the so-called `Wiener-sausage'. If W denotes the Wiener- pro cess in d-dimension, then for t>0, [ a B (W (s);a) (1.1) W = t 0st is called the Wiener-sausage up to time t,whereB (x; a) denotes the closed ball with d a a radius a centered at x 2 R . Let us denote by jW j the d-dimensional volume of W . t t a j ob eys By the classical result of Donsker and Varadhan, the Laplace-transform of jW t the following asymptotics: d=(d+2) a lim t log E exp ( jW j)= c(d; );>0 (1.2) 0 t t!1 for any a>0 where d=(d+2) d +2 2 d 2=(d+2) c(d; )= ; 2 d 1 and is the lowest eigenvalue of for the d-dimensional sphere of unit volume d 2 with Dirichlet b oundary condition. The lower estimate for (1.2) had b een known by Kac and Luttinger (see [KL 74]), and in fact the upp er estimate turned out to b e much harder. This latter one was obtained in [DV 75] by using techniques from the theory of large deviations. d Note, that if P denotes the law of the Poisson p oint pro cess ! on R with intensity dl (l is the Leb esgue-measure), >0 and with exp ectation E (in the notation we suppress the dep endence on ), and 8 9 < = [ T := inf s 0;W(s) 2 B (x ;a) ; 0 i : ; x 2supp(! ) i then a E exp ( jW j)= E P (T >t); for t> 0: (1.3) 0 0 0 t Denition 1 The random set [ K := B (x ;a) i x 2supp(! ) i is called a trap conguration (or hard obstacle) attached to ! . Remark 1 In the sequel we will identify ! with K ,thatisan ! -wise statementwill mean that it is true for all trap congurations (with a xed). a By (1.3), the lawofjW j can b e expressed in terms of the `annealed' or `averaged' t probabili ties that the Wiener-pro cess avoids the Poissonian traps of size a up to time t. Using this interpretation of the problem, Sznitman [Sz 98] presented an alternative pro of for (1.2). His metho d, called the `enlargement of obstacles' turned out to b e extremely useful and resulted in a whole array of results concerning similar questions (see [Sz 98 ], and references therein). Another research area, the b ehavior of a class of measure-valued pro cesses called superprocesses has also b een extensively studied bynumerous authors in the past three decades (see e.g. [D 93], [Dy 93 ], and references therein). 2 + d d + (R ) will denote the space of nonnegative, Notation 1 In the sequel C (R ) and C c b d b ounded, continuous functions on R and the space of nonnegative, continuous func- d d d tions with compact supp ort in R resp ectively. M (R ) and N (R ) will denote the F d space of nite measures and the space of discrete measures on R resp ectively. Denition 2 Let >0 and b e constants. One can dene a unique contin- d uous measure-valued Markov pro cess X which satises for any 2M (R ) and F + d g 2 C (R ), b Z E exp ( <X(t);g >) = exp u(x; t) (dx) ; d R where u(x; t) is the minimal nonnegative solution to 1 2 d u + u u ; (x; t) 2 R (0; 1); u = t (1.4) 2 d lim u(x; t)= g (x);x2 R : t!0 1 d Wecall X an ( ; ; ; R )-superprocess (see [P 96], [EP 97 ]). 2 X is also called a sup ercritical (resp. critical, sub critical) super-Brownian motion (SBM) for p ositive (resp. zero, negative) . The size of the supp ort for sup er-Brownian motions has b een investigated in a numb er of research pap ers (see e.g. [I 88], [P 95b ], [De 99], [T 94]). Results has b een obtained concerning the radius of the supp ort (that is the radius of the smallest ball centered at the origin and containing the supp ort) in [I 88] and [P 95b ]; the volume of the -neighb orho o d of the range up to t>0 is studied in [De 99 ] and [T 94]. Note that in [I 88], [De 99] and [T 94] the sup er-Brownian motion is critical; [P 95b ] is one of the few articles in the literature which treat the sup ercritical case. In the lightofthesetwo mathematical topics, it seems quite natural to ask whether a similar asymptotics to (1.2) can b e obtained for sup erpro cesses. In this pap er we will prove an analogous result to (1.2) replacing W by a sup ercritical sup er-Brownian 1 d motion, X . In the sequel X will denote the ( ; ; ; R )-sup erpro cess and will b e 2 assumed to b e p ositive. We will denote the corresp onding probabili ties by fP ; 2 d M (R )g. Note that X will b ecome extinct with p ositive probability and in fact (see F formula 1.4 in [P 96 ]), = P (X (t) = 0 for all t large ) = e : (1.5) x d Notation 2 In the sequel we will use the notations S = fX (t; R ) > 0 for all t>0g c and E = S , and will call the events S and E survival and extinction. We will need the following result concerning extinction (for the pro of see [EP 97, pro of of Theorem 3.1]). d d 1 Prop osition 1 If fP ; 2M (R )g correspond to the ( ; ; ; R )-superprocess, F 2 d d 1 then fP (j E ); 2M (R )g correspond to the ( ; ; ; R )-superprocess. F 2 Analogously to (1.1) wemake the following denition. 3 S t supp (X (s)), that is R(t) is the (accumulated) Denition 3 For t 0,let R(t)= s=0 supp ort of X up to time t. Note that R(t) is a.s. compact whenever supp (X (0)) is compact (see [EP 97]). For t 0 and a>0,let [ a d R (t)= B (x; a)=fx 2 R j dist (x; R(t)) ag: (1.6) x2R(t) a We call R (t) the super-Brownian sausage corresp onding to the sup ercritical sup er- Brownian motion X . a By the rightmost expression in (1.6) it is clear that also R (t) is compact P -a.s. whenever supp () is compact and thus it has a nite volume (Leb esgue measure) in d a R P -a.s. Let us denote this (random) volume by jR (t)j. Note, that if denotes d extinction time, that is = inf ft> 0 j X (t; R )= 0g; then a a 9l := lim E (exp( jR (t)j) j E )=E exp ( jR ( )j); 0 0 t!1 and l 2 (0; 1). Therefore , we are interested in the long-time b ehaviour of a [exp ( jR (t)j) j S ]: E 0 Our main result is as follows. Theorem 1 Let >0 be xed. Then 1 a lim log E [exp ( jR (t)j) j S ]= ; (1.7) 0 t!1 t for al l d 2 and al l a; ; > 0 . It is interesting that, unlike in (1.2), the scaling is indep endentofd and the limit is indep endentofd and .