arxiv: v2 [math.pr] 19 Feb 2016

Transcription

1 Global Diichle Hea Kenel Esimaes fo Symmeic Lévy Pocesses in Half-space Zhen-Qing Chen and Panki Kim axiv: v2 [mah.pr] 9 Feb 26 Mach 5, 28 Absac In his pape, we deive explici shap wo-sided esimaes fo he Diichle hea kenels of a lage class of symmeic bu no necessaily oaionally symmeic Lévy pocesses on half spaces fo all >. These Lévy pocesses may o may no have Gaussian componen. When Lévy densiy is compaable o a deceasing funcion wih damping exponen β, ou esimae is explici in ems of he disance o he bounday, he Lévy exponen and he damping exponen β of Lévy densiy. AMS 2 Mahemaics Subjec Classificaion: Pimay 6J35, 47G2, 6J75; Seconday 47D7 Keywods and phases: Diichle hea kenel, ansiion densiy, suvival pobabiliy, exi ime, Lévy sysem, Lévy pocess, symmeic Lévy pocess. Inoducion Classical Diichle hea kenel is he fundamenal soluion of he hea equaion in an open se wih zeo bounday values. Excep fo a few special cases, explici fom of he Diichle hea kenel is impossible o obain. Thus he bes hing we can hope fo is o esablish shap wo-sided esimaes of Diichle hea kenels. See [2] fo uppe bound esimaes and [3] fo he lowe bound esimae fo Diichle hea kenels of diffusions in bounded C, domains. The geneao of a disconinuous Lévy pocess is an inego-diffeenial opeao and so i is a non-local opeao. Diichle hea kenels if hey exis of he geneaos of disconinuous Lévy pocesses on an open se D ae he ansiion densiies of such Lévy pocesses killed upon leaving D. Due o his connecion, obaining shap esimaes on Diichle hea kenels is a fundamenal poblem boh in pobabiliy heoy and in analysis. Befoe [], shap wo-sided esimaes fo he Diichle hea kenel of any non-local opeao in open ses ae unknown. Joinly wih R. Song, in [] fo he facional Laplacian α/2 := Reseach paially poed by NSF Gan DMS This wok was poed by he Naional Reseach Foundaion of KoeaNRF gan funded by he Koea govenmenmest NRF- 23RA2A2A4822

2 α/2 wih zeo exeio condiion, we succeeded in esablishing shap wo-sided esimaes in any C, open se D and ove any finie ime ineval see [3] fo an exension o non-smooh open ses. When D is bounded, one can easily deduce lage ime hea kenel esimaes fom sho ime esimaes by a specal analysis. The appoach developed in [] povides a oad map fo esablishing shap wo-sided hea kenel esimaes of ohe disconinuous pocesses in open subses of R d see [2, 3, 6,, 2, 4, 5, 6, 24]. In [2, 3, 4], shap wo-sided esimaes fo he Diichle hea kenels p D,x,y of α/2 and of m m 2/α α/2 ae obained fo all > in wo classes of unbounded open ses: half-space-like C, open ses and exeio open ses. Since he esimaes in [2, 3, 4] hold fo all >, hey ae called global Diichle hea kenel esimaes. An impoan quesion in his diecion is fo how geneal disconinuous Lévy pocesses one can pove shap wo-sided global Diichle hea kenel esimaes in unbounded open subses of R d. We conjecued in [3,.9] ha, when D is a half space-like C, open se, he following wosided esimaes hold fo a lage class of oaionally symmeic Lévy pocess X whose Lévy exponen of X is Ψ ξ : hee ae consans c,c 2,c 3 such ha fo evey,x,y, D D, Ψ/δD x p,c Ψ/δD y 2 y x p D,x,y c c Ψ/δD x Ψ/δD y p,c 3 y x. whee p,x is he ansiion densiy of X. In his pape, we use := as a way of definiion. Fo a,b R, a b := min{a,b} and a b := max{a,b}. Recenly, he above conjecue is confimed in [6, Theoem 5.8] fo oaionally symmeic unimodal Lévy pocess whose Lévy exponen x Ψ x saisfies he following uppe and lowe scaling popeies: hee ae consans < β < β 2 < 2 and C > so ha R β c ΨR R β2 Ψ c fo any R >..2 Condiion.2 implies ha he Lévy pocess is puely disconinuous, and by [4, Coollay 23], is Lévy inensiy kenel x j x saisfies c x d Φ x j x c x d Φ x fo all x,.3 whee Φ := max x /Ψ/ x. I is easy o see ha Φ is compaable o /Ψ/. I follows fom.2 ha hesame wo-sided esimaes hold fo Φ in place of Ψ. Thuscondiion.2 excludes damped Lévy pocesses such as elaivisic sable pocesses. We emak hee ha unde condiion.2, i follows as a special case fom [8] ha he ansiion densiy p,x of he oaionally symmeic unimodal Lévy pocess has he following wo-sided esimaes: c Φ x d Φ x p,x c Φ x d Φ x fo all > and x R d..4 In his pape, we mainly focus on esimae. when D is a half space and we pove ha. holds fo a lage class of symmeic Lévy pocesses which may no be isoopic and may have damped Lévy kenel. Moeove, ou symmeic Lévy pocesses may o may no have Gaussian 2

3 componen. Once he global Diichle hea kenel esimaes fo uppe half space and sho ime hea kenel esimaes on C, open ses ae obained, one can hen use he push inwad mehod inoduced in [2] o exend he esuls o half-space-like C, open ses. See Remak 7.2. Fo ecen esuls on sho ime Diichle hea kenel esimaes fo symmeic Lévy pocesses in C, open ses, we efe he eade o [5, 6]. Noe ha, fo all symmeic Lévy pocess in R, excep compound Poisson pocesses, he suvival pobabiliy P x ζ > of is subpocess in he half line, is compaable o max y /x/ Ψy, whee x Ψ x is is chaaceisic exponen see [27, Theoem 4.6] and [5, Poposiion 2.6]. This fac, which is used seveal imes in his pape, is essenial in ou appoach. We now give moe deails on he main esuls of his pape. In his pape, d and X = X,P x,x R d isasymmeicdisconinuouslévy pocessbupossiblywihgaussiancomponen on R d wih Lévy exponen Ψξ and Lévy densiy J whee P x X = x =. Tha is, X is a igh coninuous symmeic pocess having independen saionay incemens wih E x [e iξ X X ] = e Ψξ fo evey x R d and ξ R d..5 Thoughou his pape, we assume ha X is no a compounded Poisson pocess, which coesponds exacly o he case ha Ψ is unbounded. I is known ha Ψξ = d i,j= a ij ξ i ξ j + cosξ yjydy fo ξ = ξ,,ξ d R d, R d whee A = a ij is a consan, symmeic, non-negaive definie maix and J is a symmeic non-negaive funcion on R d \{} wih R z 2 Jzdz <. d When exp Ψξdξ < fo >, ExpL R d he ansiion densiy p,x,y = p,y x of X exiss as a bounded coninuous funcion fo each fixed >, and i is given by Moeove, p,x := 2π d R d e iξ x e Ψξ dξ, >. p,x 2π d R d e Ψξ dξ = p, <..6 Clealy, condiion ExpL holds if inf ξ = d i,j= a ijξ i ξ j >. Convesely, pose ha, fo evey >, X has a pobabiliy densiy funcion p,x unde P and ha x p,x is L 2 -inegable. Then.5 can be ewien as R d p,xe ix ξ dx = e Ψξ and so, by he Plancheel heoem, e Ψξ L 2 R d fo evey > ; ha is, ExpL holds. Hence condiion ExpL is equivalen o he exisence of ansiion densiy funcion p, x of X ha is 3

4 L 2 R d -inegable in x fo evey >. If we assume ha X has a ansiion densiy funcion p,x ha is coninuous in x, hen, since R p,x 2 dx = p2, <, ExpL holds. See [26, d Poposiion 4.] fo addiional discussion on condiion ExpL. Le Ψ := Ψz.7 z and use Φ o denoe he non-deceasing funcion Φ = Ψ / fo >..8 Noe ha since Ψz is a coninuous unbounded funcion on R d, Ψ is a non-deceasing coninuous funcion on [, wih Ψ = and lim Ψ =. Consequenly, Φ is a non-deceasing coninuous funcion on [, wih Φ = and lim Φ =. The igh coninuous invese funcion of Φ will be denoed by he usual noaion Φ ; ha is, Φ = inf{s > : Φs > }. Noe ha < Φ < fo evey > and lim + Φ =. Define fo >, Ψ := Ψ,...,,s. s, We conside he following condiion: hee exiss a consan c such ha Ψ cψ fo all >. Comp Condiion Comp is a mild assumpion ha is saisfied by a lage class of symmeic Lévy pocesses, see Lemma 2.9. Unde assumpions ExpL and Comp, we deive in Lemma 2. a useful uppe bound esimae fo Diichle hea kenels. In geneal, he explici esimaes of he ansiion densiy p,y in R d depend heavily on he coesponding Lévy measue and Gaussian componen see [8, 8]. On he ohe hand, scaleinvaian paabolic Hanack inequaliy holds wih he explici scaling in ems of Lévy exponen fo a lage class of symmeic Lévy pocesses see [8, Theoem 4.2], [8, Theoem 4.] and ou Theoem 5.3. Moivaed by his, we fis develop a ahe geneal vesion of Diichle hea kenel uppe bound esimae in Poposiion 3.6 unde he assumpion ha paabolic Hanack inequaliy PHIΦ and UJS hold. See Secion 3 fo he definiion of PHIΦ. We say UJS holds if hee exiss a posiive consan c such ha fo evey y R d, Jy c d B, Jy zdz wheneve y /2. UJS NoehaUJS isveymildassumpioninouseing. Infac, UJS always holdsifjx j x fo some non-inceasing funcion j see [7, page 7]. Moeove, if J is coninuous on R d \{}, hen PHIΦ implies UJS. In fac, using 3. below insead of [7, 2.], his follows fom he poof of [7, Poposiion 4.]. We also show in Theoem 3.2 ha PHIΦ implies ExpL. Assumeinaddiionhafoevey >, x p,xisweakly adiallydeceasinginhefollowing sense: hee exis consans c > and C,C 2 > such ha p,x cpc,c 2 y fo, and x y >. HKC 4

5 We emak hee ha he same assumpion wih C = fo small was made in [5]. Then ou Diichle hea kenel uppe bound esimae obained in Poposiions 3.6 yields he desied uppe bound esimae in.. Moeove, we show ha his assumpion on p, x see Secions 4 below and he uppe bound of p D,x imply a vey useful lowe bound of p D,x; see Theoem 4.5. Joinly wih T. Kumagai, in [8, 8, 9] we have esablished wo-sided shap hea kenel esimaes fo a lage class of symmeic Makov pocesses. In Secions 5 7, we assume he jumping kenels of ou Lévy pocess saisfy he assumpions of [8, 9, 8], ha is, condiions UJS, 5.4 and 5.5 of his pape. Then all he afoemenioned condiions ExpL, Comp, PHIΦ, HKC ae saisfied. Using he wo-sided hea kenel esimaes fo symmeic Makov pocesses on R d fom [8, 9, 8] see Theoem 5.3 and ou lowe bound esimaes fo Diichle hea kenels in Theoem 4.5, we obain wo-sided global Diichle hea kenel esimaes 7.4, essenially pove he conjecue. fo such symmeic Lévy pocesses and fo D = H. See Remak 7.2i fo deails. Fuhemoe, ou esimaes ae explici in ems of he disance o he bounday, he Lévy exponen and he damping exponen β of Lévy densiy; see Theoem 7.. In his pape, we use he following noaions. Fo any wo posiive funcions f and g, f g means ha hee is a posiive consan c so ha c g f cg on hei common domain of definiion. Fo any open se V, we denoe by δ V x he disance of a poin x o he bounday of V, i.e., δ V x = disx, V. We someimes wie poin z = z,...,z d R d as z,z d wih z R d. We denoe H := {x = x,x d R d : x d > } he uppe half space. Fo a se W in R d, W and W denoes he closue and he Lebesgue measue of W in R d, especively. Thoughou he es of his pape, he posiive consans a,a,m,c i, i =,,2,..., can be egaded as fixed. In he saemens of esuls and he poofs, he consans c i = c i a,b,c,..., i =,,2,..., denoe geneic consans depending on a,b,c,..., whose exac values ae unimpoan. They sa anew in each saemen and each poof. The dependence of he consans on he dimension d may no be menioned explicily. 2 Seup and peliminay esimaes Le X be a symmeic Lévy pocess on R d wih Lévy exponen Ψz and Lévy densiy Jz. Recall he definiion of he non-deceasing funcions Ψ and Φ fom.7 and.8, especively. We emphasize ha he Lévy pocess X does no need o be oaionally symmeic. The following is known and ue fo any negaive definie funcion see [23, Lemma ]. Lemma 2. Fo evey > and λ, Φλ Φ 2+λ2. Fo an open se D, denoe by τ D := inf{ > : X / D} he fis exi ime of D. Theoem 2.2 Thee exiss a consan c = cd > such ha P X > c/φ fo,,,. 2. Consequenly, hee exiss ε = ε d > such ha fo all >, P τb,/2 > ε Φ /

6 Poof. 2. is a consequence of [28, 3.2] and [23, Coollay ]. Since he Lévy pocess X is consevaive, 2. implies by [, Lemma 3.8] ha fo evey, >, P τb,2 = P X s > 2 2c 2 /Φ. s Thus P τb,/2 ε Φ 2c 2 ε Φ/Φ/2, which by Lemma 2. is no lage han 2c 2 ε. Taking ε = /4c 2 poves he heoem. Recall ha J is he Lévy densiy of X, which gives ise o a Lévy sysem fo X descibing he jumps of X. Fo any x R d, sopping ime S wih espec o he filaion of X, and nonnegaive measuable funcion f on R + R d R d wih fs,y,y = fo all y R d and s we have E x s Sfs,X [ S ] s,x s = E x fs,x s,yjx s ydy ds 2.3 R d e.g., see [8, Appendix A] and he poof of [7, Lemma 4.7]. The following is a special case of [23, Coollay ], whose uppe bound will be used in he nex lemma. Lemma 2.3 Fo evey >, 2Φ A 2 + Jz z 2 R d 2 dz 8+2d Φ whee A := ξ i,j= d a i,j ξ i ξ j. Using Lemma 2.3, he poof of he nex lemma is ahe ouine see [25, Lemma 4.]. In fac, his lemma is poved in [23, Lemma 3 and Coollay ] fo a = /2. The poof fo geneal a is simila. Thus we skip he poof. Lemma 2.4 Fo evey a,, hee exiss c = ca > so ha fo any > and any open se U wih U B,, P x X τu B, c c Φ E x[τ U ], x U B,a. Noe ha fo d-h coodinae X d of X = X,...,X d is a Lévy pocess wih E x [e iηxd Xd] [ ] = E,x e i,η X X = e Ψ,η fo evey x R and η R. Tha is, X d is a -dimensional symmeic Lévy pocess wih Lévy exponen Ψ η := Ψ,η. Thoughou his pape we le Ψ := z,ψ z and use Φ o denoe he inceasing funcion Φ = Ψ, >. 6

7 Clealy Ψ Ψ and Φ Φ. Since τ H := inf{ > : X d > }, by [5, Poposiion 2.6] see also [27, Theoems 3. and 4.6] all symmeic Lévy pocesses, excep compound Poisson pocesses, enjoy he following esimaes of he suvival pobabiliy on H. Lemma 2.5 Suppose ha Ψ is unbounded, hen hee exiss an absolue consan C > such ha C Φ δ H x Φ δ H x P x τ H > C. Le τ := inf { > : X d /, } Combining [5, Lemma 2.3 and Poposiion 2.4] we have Lemma 2.6 Suppose ha Ψ is unbounded, hen hee exiss an absolue consan c > such ha fo any, and E,x [τ ] cφ /2 Φ δ, x /2 fo x,. Recall ha, when ExpL holds, he ansiion densiy p,x,y := p,x y of X exiss as a bounded coninuous funcion. In his case, fo an open se D we define p D,x,y := p,x,y E x [p τ D,X τd,y : τ D < ] fo >,x,y D 2.4 Using he song Makov popey of X, i is easy o veify ha p D,x,y is he ansiion densiy fo X D, he subpocess of X killed upon leaving an open se D. Lemma 2.7 Suppose ExpL holds. Then fo evey,x,y, H H, p H,x,y 3C 2 Φ δ H x Φ δ H y p/3, whee C is he consan in Lemma 2.5. Poof. Since by.6 z,w H p H /3,z,w p/3,z = p/3,, z H using he semigoup popey and symmey we have p H,x,y = p H /3,x,zp H /3,z,wp H /3,w,ydzdw H H p/3,p x τ H > /3P y τ H > /3. Now he lemma follows fom Lemma 2.5. Using 2.3, he poof of nex lemma is he same as he one in [6, Lemma 3.] so i is omied. 7

8 Lemma 2.8 Suppose ExpL holds. Suppose ha U,U 3,E ae open subses of R d, wih U,U 3 E and disu,u 3 >. Le U 2 := E\U U 3. If x U and y U 3, hen fo evey > we have p E,x,y P x X τu U 2 p E s,z,y s<,z U 2 + P x τ U > sp y τ E > sds u U,z U 3 Ju z. 2.5 Recall condiion Comp fom he Inoducion. The nex lemma says ha i is a mild assumpion. Lemma 2.9 Suppose hee ae a non-negaive funcion j on, and a c i, i =,2, such ha c a y 2 d i,j= a i,j y i y j c a y 2 and c j y /c 2 Jy c jc 2 y fo all y R d, 2.6 Then c Ψ Ψ cψ, and so Comp holds. Poof. Le φ ξ = a ξ 2 + cosξ yj y dy. R d By a change of vaiables, 2.6 implies ha Ψξ c a ξ 2 + cosξ yjc 2 y dy R d c 3 a c 2 ξ 2 + cosc 2 ξ zj z dz = c 3 φ ξ /c 2. R d and Ψξ c a ξ 2 + cosξ yj y /c 2 dy c 5 φc 2 ξ R d Thus by Lemma 2., which holds fo any negaive definie funcion, Ψ s φs Ψ fo all >. Using Lemma 2.8, we can obain he following uppe bound of p H,x,y. Lemma 2. Suppose ExpL and Comp hold. Fo each a >, hee exiss a consan c = ca,ψ > such ha fo evey,x,y, H H wih aφ x y, Φδ H x p H,x,y c + ΦδH y s,z:s, x y z y 3 x y 2 2 w: w x y 3 p H s,z,y Jw

9 Poof. If δ H x > aφ /24, by Lemma 2. ΦδH x ΦaΦ /24 a ΦΦ 2 2a Thus 2.7 is clea. Wenowassumeδ H x aφ /24 x y /24andlex = x,, U := Bx,aΦ /2 H, U 3 := {z H : z x > x y /2} and U 2 := H\U U 3. Recall ha X d is he d-h coodinae pocess of X wih Lévy exponen Ψ η = Ψ,η. Clealy, { τ U inf > : X d /,aφ /2 } =: τ. d Applying Lemma 2.6 on he ineval,aφ /2 and assumpion Comp, and noing Lemma 2., we have E x [τ U ] E Xd δ H x[ τ d ] c ΦδH x. 2.8 Since z x > 2 x y a2 Φ fo z U 3, we have fo u U and z U 3, Thus, U U 3 = and, Since fo z U 2 we have u z z x x x x u 2 x y 6 aφ 3 x y. u U,z U 3 Ju z Ju z = u,z: u z 3 x y Jw. 2.9 w: w 3 x y 3 x y x y x y + x z z y x y x z a2 Φ, 2 2 s,z U 2 p H s,z,y Moeove, by Lemma 2.5 and Comp s, x y z y 3 x y 2 2 p H s,z,y. 2. P x τ U > sp y τ H > sds P x τ H > sp y τ H > sds Φ δ H y Φ δ H y c 3 ds s s c 4 ΦδH x ΦδH y ds s s = c 5 ΦδH x ΦδH y. 9

10 Applying his and 2.5, 2.8, 2.9 and 2., we obain, p H,x,y c 6 P x τ U > sp y τ H > sds w: w 3 x y Jw +c 6 P x X τu U 2 ps,z,y s,z U 2 c 7 ΦδH x ΦδH y Jw w: w 3 x y +c 6 P x X τu U 2 ps,z,y. s, x y z y 3 x y 2 2 Finally, applying Lemmas 2.4 and 2. and hen 2.8, we have P x X τu U 2 P x X τu Bx,aΦ /2 c c 8 E x[τ U ] c 9 /2 Φδ H x. Thus we have poved 2.7. Example 2. Le d =, and o jy = y +α + jy = y +α + n [n,n+2 n ] y, n= n [n,n+2 n ] y. n= In eihe case, he Lévy exponen Ψξ fo symmeic Lévy pocess having jy as is Lévy inensiy is compaable o ξ α. So condiions ExpL and Comp ae saisfied. Consequenly esuls in his secion ae valid fo his Lévy pocess. Howeve, in eihe case, j does no saisfy UJS a poins n when n is lage no 5.5 below. 3 Consequences of paabolic Hanack inequaliy Le Z s := V s,x s be he space-ime pocess of X, whee V s = V s. The law of he space-ime pocess s Z s saing fom,x will be denoed as P,x. Definiion 3. A non-negaive Boel measuable funcion h,x on [, R d is said o be paabolic o caloic on a,b] Bx, if fo evey elaively compac open subse U of a,b] Bx,, h,x = E,x [hz τ Z U ] fo evey,x U [, R d, whee τ Z U := inf{s > : Z s / U}. I follows fom he song Makov popey of X and 2.4,,x p D,x,y is paabolic on, D fo evey y D. Thoughou his secion, we assume he following scale-invaian paabolic Hanack inequaliy PHIΦ holds fo X: Fo evey δ,, hee exiss c = cd,δ > such ha fo evey

11 x R d,, R > and evey non-negaive funcion u on [, R d ha is paabolic on, +4δΦR] Bx,R,,y Q u,y c inf 2,y 2 Q + u 2,y 2, PHIΦ wheeq = +δφr, +2δΦR] Bx,R/2andQ + = [ +3δΦR, +4δΦR] Bx,R/2. Theoem 3.2 Suppose ha PHIΦ holds. Then ExpL holds and so he Lévy pocess X has a bounded coninuous densiy funcion p,x. Moeove, hee is a consan c > so ha p,x cφ d fo evey > and x R d. 3. Poof. Lef beanabiayboundedl -inegablefunciononr d. Clealyu,x := P fx = E x [fx ] is a non-negaive paabolic funcion on, R d. Thus by PHIΦ and he symmey of he semigoup {P ; > }, fo evey x R d and >, P fx c inf P 3fz c 2 Φ d P 3 fzdz z Bx,Φ Bx,Φ = c 2 Φ d P 3 Bx,Φ zfzdz c 2 Φ d fzdz. R d R d This implies ha X has a ansiion densiy funcion p,x and p,x c 2 Φ d a.e. on R d. Consequenly, as menioned ealie in he Inoducion, ExpL holds by he Plancheel heoem, which in un implies ha p,x is bounded and joinly coninuous and so 3. holds. UndeheassumpionsPHIΦandUJS, wecandeiveanineiolowe boundfop D,x,y fo all > ; see Poposiions 3.4 and 3.5. Simila bound fo T was obained in [6] fo subodinae Bownian moions wih Gaussian componen. In his secion, we use he convenion ha δ D when D = R d. The nex lemma holds fo evey symmeic Lévy pocess and i follows fom [28, 3.2] and [23, Coollay ]. Lemma 3.3 Fo any posiive consans a,b, hee exiss c = ca,b,ψ > such ha fo all z R d and >, inf P y Bz,aΦ y τbz,aφ /2 > b c. Fo he nex wo esuls, D is an abiay nonempy open se. Poposiion 3.4 Suppose PHIΦ holds. Le a > be a consan. Thee exiss c = ca > such ha p D,x,y cφ d 3.2 fo evey,x,y, D D wih δ D x δ D y aφ 4 x y.

12 Poof. We fix,x,y, D D saisfying δ D x δ D y aφ 4 x y. Noe ha x y aφ /4 and ha Bx,aΦ /4 By,aΦ /2 By,aΦ D. So by he symmey of p D, PHIΦ, Theoem 3.2, and Lemma 2., hee exiss c = c a > such ha c p D /2,x,w p D,x,y fo evey w Bx,aΦ /4. This ogehe wih Lemma 3.3 yields ha c p D,x,y Bx,aΦ /4 c 2 Φ d Bx,aΦ /4 Bx,aΦ /4 p D /2,x,wdw p Bx,aΦ /4/2,x,wdw = c 2 Φ d P x τbx,aφ /4 > /2 c 3 Φ d, whee c i > fo i = 2,3. Recall he condiion UJS fom he Inoducion. Poposiion 3.5 Suppose PHIΦ and UJS hold. Fo evey a >, hee exiss a consan c = ca > such ha p D,x,y cjx y fo evey,x,y, D D wih δ D x δ D y aφ and aφ 4 x y. Poof. By Lemma 3.3, saing a z By, 2 aφ, wih pobabiliy a leas c = c a > he pocess X does no move moe han 8 aφ by ime. Thus, using he song Makov popey and he Lévy sysem in 2.3, we obain P x X D B y, 6 aφ c P x X τ D By, 2 aφ and τ Bx,8 aφ Bx,8 aφ is a jumping ime [ τbx,8 ] aφ = c E x JX s ududs. 3.3 By UJS, we obain By,2 aφ [ τbx,8 aφ E x [ = E x c 2 Φ d By,2 aφ c 2 Φ d /2 By,2 aφ JX Bx,8 aφ s JX s ududs ududs [ ] E x JX Bx,8 aφ s y ds Jw yp Bx,8 aφ s,x,wdwds. 3.4 Bx,72 aφ /2 ] ] 2

13 Since, fo /2 < s < and w Bx,72 aφ /2 δ Bx,8 aφ w 8 aφ 72 aφ /2 2 8 aφ s and x y < 72 aφ /2 4 8 aφ s, we have by Theoem 3.2 and Lemma 3.4 ha fo /2 < s < and w Bx,72 aφ /2, p Bx,8 aφ s,x,w c 3 Φ s d c 3 Φ d. 3.5 Combining 3.3, 3.4 wih 3.5 and applying UJS again, we ge P x X D B y, 6 aφ c 4 Jw ydw Bx,72 aφ /2 c 5 Φ /2 d Jx y c 6 Φ d Jx y. 3.6 In he las inequaliy we have used Lemma 2.. The poposiion now follows fom he Chapman- Kolmogoov equaion along wih 3.3, 3.4 and Poposiion 3.4. Indeed, p D,x,y = p D /2,x,zp D /2,z,ydz D p D /2,x,zp D /2,z,ydz By,aΦ /2/6 c 7 Φ /2 d P x X/2 D By,aΦ /2/6 c 6 c 7 Jx y. We now apply Lemma 2. o ge he following hea kenel uppe bound. Poposiion 3.6 Suppose Comp, PHIΦ and UJS hold. Then hee exiss a consan c > such ha fo evey,x,y, H H Φδ H x Φδ H y p H,x,y c Poof. By Lemma 2.7 and Theoem 3.2, p H,x,y c Φ d ΦδH x w x y /6 p,w. ΦδH y. If Φ x y, by Poposiion 3.4, p,x y c 2 Φ d. Thus ΦδH x ΦδH y p H,x,y c 3 p,x y

14 We exend he definiion of p,w by seing p,w = fo < and w R d. Fo each fixed x,y R d and > wih x y > 8, one can easily check ha s,w ps,w y is a paabolic funcion in, Bx,2. Suppose Φ x y and le s,z wih s and x y 2 z y 3 x y 2. By PHIΦ, hee is a consan c 4 so ha fo evey >, Hence we have s, x y z y 3 x y 2 2 ps,z y c 4 ps,z y c 4 p,z y. s x y z y 3 x y 2 2 p,z y = c 4 x y z 3 x y 2 2 p,z. 3.8 Using his and Lemma 2. and Poposiion 3.5, we have fo evey,x,y, H H wih Φ x y, p H,x,y c 5 Φδ H x c 6 Φδ H x 2c 6 Φδ H x p,z+ ΦδH y x y z 3 x y 2 2 p,z+ z x y /2 w x y /3 p,w. w x y /3 p, w w x y 3 Jw In view of 3.7, he las inequaliy holds in fac holds fo all,x,y, H H. Thus we have by an analogy of 3.8 ha fo evey,x,y, H H wih x y Φ, s, x y z y 3 x y 2 2 p H s,z,y c 7 Φδ H y c 8 Φδ H y Theefoe by Lemma 2., Poposiion 3.5 and 3.9, p H,x,y c 9 Φδ H x c Φδ H x 2c Φδ H x z y x y /2 w x y /6 p H s,z,y+ ΦδH y s, x y z y 3 x y 2 2 Φδ H y w x y /6 Φδ H y w x y /6 p,w+ p,w. w x y /3 p, w w z y /3 p,w. 3.9 w x y 3 p, w Jw 4

15 4 Condiion HKC and is consequence Unde he condiion HKC, clealy we have he following by Poposiion 3.6. Theoem 4. Suppose ha condiions Comp, PHIΦ, HKC, and UJS hold. Then hee exiss a consan C 3 > such ha fo evey,x,y, H H Φδ H x p H,x,y C 3 We conside he following condiion. I is equivalen o lim M > ΦMΦ = lim Φδ H y pc,6 C 2 x y. lim Ψ M > Ψ =. 4. M M > The following gives a sufficien condiion fo 4.. Ψ M Ψ / =. 4.2 Poposiion 4.2 Suppose ha X has a ansiion densiy funcion p, x ha is coninuous a x = fo evey > and p, cφ d < fo all >. Then condiion 4. holds. In paicula, PHIΦ implies ha he condiion 4. holds. Poof. Since X has a ansiion densiy funcion p,x ha is coninuous a x = fo evey >, R d p/2,x 2 dx = p, <. I follows hen e Ψξ is inegable on R d and so p,x = 2π d R d e ix ξ e Ψξ dξ. In paicula, R e Ψξ dξ = 2π d p, c d Φ d fo evey >. In ohe wods, e Ψξ/ dξ c Φ / d = c Ψ d, >. R d Thus, fo all R, > we have e Ψ R/ B,R e Ψξ/ dξ c Ψ d. 4.3 B,R Noe ha Ψ is a non-deceasing coninuous funcion on [, wih Ψ = and lim Ψ =. Thus fo evey > and λ >, hee is R > so ha Ψ R = λ. Hence we have fom 4.3 ha e λ Ψ λ d c 2 Ψ d, and so Ψ λ Ψ c 2e λ /d. 4.4 Fo M >, le λ = λm = logm d /c 2 so ha c 2 e λ /d = M. Then by 4.4 wih s = Ψ we have Ms Ψ λ. In ohe wods, Ψ Ms λ = logm d /c 2 Ψ s. Theefoe s> Ψ s Ψ Ms logm d /c 2, which goes o zeo as M. The las asseion of he heoem follows diecly fom Theoem

16 Lemma 4.3 Suppose ha 4. holds. Then fo each fixed c > he funcion H c M := c d P X > cmφ > vanishes a ; ha is, lim M H c M =. Poof. By Theoem 2.2, we have which goes o zeo as M by 4.2. P X > cmφ c > > ΦcMΦ, Fo he emainde of his secion, we assume ha condiions Comp, PHIΦ, HKC and UJS hold, and discuss some lowe bound esimaes of p H,x,y unde hese condiions. We fis noe ha by Comp and Lemma 2.5, hee exiss C > such ha C ΦδH x P x τ H > C ΦδH x We denoes by e d he uni veco in he posiive diecion of he x d -axis in R d Lemma 4.4 Thee exis a > and M > 4a such ha fo evey x H and > we have p H,x,udu 4 C ΦδH x {u H Bξ x,m Φ :Φδ H u>a } whee ξ x := x+a Φ e d and C is he consan in 4.5. Poof. By Theoem 4. and a change of vaiable, fo evey > and x H, p H,x,udu {u H:Φδ H u a} ΦδH x ΦδH u C 3 pc,6 C 2 x udu {u H:Φδ H u a} ΦδH x C 3 a pc,6 C 2 x udu {u H:Φδ H u a} ΦδH x C 3 a pc,6 C 2 x udu R d =C 3 6/C 2 d ΦδH x a pc,wdw = C 3 6/C 2 d ΦδH x a. 4.6 R d Choose a > small so ha C 3 6/C 2 d a 8C whee C is he consan in 4.5. Fo x H, we le ξ x := x + a Φ e d. Fo evey >, M 2a and u H Bξ x,mφ c, we have x u ξ x u x ξ x ξ x u a Φ a M ξ x u 2 ξ x u 6

17 Thus using Theoem 4. and condiion HKC, by a change of vaiable we have fo evey > and M 2a, p H,x,udu H Bξ x,mφ c ΦδH x ΦδH u C 3 pc,6 C 2 x udu H Bξ x,mφ c ΦδH x C 3 pc,2 2 C2ξ 2 x udu H Bξ x,mφ c ΦδH x C 3 pc,2 2 C2udu 2 B,MΦ c =C 3 2 C2 2 d pc 2 ΦδH x,vdv B,2 C2 2MΦ c C 3 H 2 C2 2M ΦδH x. 4.7 By Lemma 4.3, and Poposiion 4.2, we can choose M > 4a lage so ha C 3 H 2 C2 2M < 8 C. Then by 4.5, 4.6, 4.7 and ou choice of a and M, we conclude ha p H,x,udu = {u H Bξ x,m Φ :Φδ H u>a } H p H,x,udu p H,x,udu H Bξ x,m Φ c ΦδH x. 4 C Fo x H and >, le ξ x := x+a Φ e d and define {u H:Φδ H u a } p H,x,udu Bx, := { z H Bξ x,m Φ : Φδ H z > a }. 4.8 Theoem 4.5 Thee exis c,c 2 > such ha fo all,x,y, H H, ΦδH x ΦδH y p H,x,y c inf p H/3,u,v u,v Bx, By, ΦδH x ΦδH y c 2 inf p H /3,u,v if x y > 4M Φ, u,v:2m Φ u v 3 x y /2 Φδ H u Φδ H v>a Φ d if x y 4M Φ

18 Poof. By Chapman-Kolmogoov equaion, p H,x,y p H /3,x,up H /3,u,vp H /3,v,ydudv By, Bx, inf p H/3,u,v u,v Bx, By, Thus 4.9 follows fom Lemma 4.4. Obseve ha fo u,v Bx, By,, and By, Bx, p H /3,x,up H /3,v,ydudv. ξ x ξ y = x y, δ H u δ H v a Φ, 4. x y 2M Φ u v x y + u ξ x + v ξ y x y +2M Φ. 4.2 When x y > 4M Φ, we have by 4.2 ha fo u,v Bx, By,, x y /2 u v 3 x y /2 and so 2M Φ u v. Thus, fo x y > 4M Φ, inf p H/3,u,v u,v Bx, By, inf p H /3,u,v. 4.3 u,v:2m Φ u v 3 x y /2 Φδ H u Φδ H v>a When x y 4M Φ, by 4.2 u v 6M Φ fo u,v Bx, By,. Thus using 4. and PHIΦ a mos 2+2[M /a ] imes and Lemma 2. and Poposiion 6.2, we ge p H /3,u,v c p H /6,u,u c 2 Φ fo evey u,v Bx, By, now follows fom 4.9, 4.3 and Hea kenel uppe bound esimaes in half spaces In his secion, we conside a lage class of symmeic Lévy pocesses wih concee condiion on he Lévy densiies. Unde hese condiions, we can check ha condiions Comp, HKC and PHIΦ all hold. Thus we can apply Poposiion 3.6 and Theoem 4.5 o esablish shap wo-sided esimaes of he ansiion densiy of such Lévy pocesses in half spaces. Suppose ha ψ is an inceasing funcion on [, wih ψ = fo < and hee ae consans a 2 a 2 >, γ 2 γ > and β [, ] so ha a e γ β ψ a 2 e γ 2 β fo evey < <. 5. Suppose ha φ is a sicly inceasing funcion on [, wih φ =, φ = and hee exis consans < a 3 < a 4 and < β β 2 < 2 so ha a 3 R β φ R φ a 4 R β2 fo evey < < R <

19 Since < β β 2 < 2, 5.2 implies ha s 2 ds φ s φ, sφ s ds φ fo evey >. 5.3 Thoughou he emainde of his pape, we assume ha UJS holds and ha hee ae consans γ, κ, κ 2 and a such ha and γ a ξ 2 d a i,j ξ i ξ j γa ξ 2 fo evey ξ R d, 5.4 i,j= γ x d φ x ψ κ 2 x Jx γ x d φ x ψ κ x fo x R d. 5.5 Noe ha UJS holds if κ = κ 2 in 5.5. Recall Φ is he funcion defined in.8. The nex lemma gives explici elaion beween Φ and φ. Lemma 5. When β =, Φ { φ {a =} + 2 {a >} fo [,], φ fo ; 5.6 while fo β, ], Φ { φ {a =} + 2 {a >} fo [,], 2 fo. 5.7 Poof. By Lemma 2.3 and 5.4, Thus, by 5.5 and 5. c a Φ c Φ a 2 + R d s φ s e κ 2γ 2 s β ds+ a When β =, i follows fom 5.3 and 5.8 ha z 2 2 Jzdz s φ s e κ γ s β ds+ sφ s e κ 2γ 2 s β ds sφ s e κ γ s β ds. 5.8 Φ a s φ s ds+ sφ s ds a 2 + φ fo >. 5.9 Noe ha aking R = and = in 5.2, we have φ a 4 β 2 a 4 2 fo [,] and φ R a 4 R β 2 a 4 R 2 fo R. 5. 9

20 This ogehe wih 5.9 esablishes 5.6. When and β >, Thus by 5.2, fo β > and, s β e κ γ s β ds c s 3 ds c 2 /2. while s φ s e κ γ s β ds+ s φ s e κ 2γ 2 s β ds+ s φ s e κ γ s β ds+ sφ s e κ γ s β ds sφ s e κ 2γ 2 s β ds 2 sφ s e κ γ s β ds c 2 2, s φ s e κ 2γ 2 s β ds c 3 2. By 5.3, fo and β >, 2 s φ s e κ γ s β ds+ 2 sφ s ds+ c 4 φ +c 4 c 5 φ sφ s ds+ sφ s e κ γ s β ds e κ γ s β ds and 2 s φ s e κ 2γ 2 s β ds+ sφ s e κ 2γ 2 s β ds e κ 2γ 2 2 s φ s ds c 6 φ. These combined wih 5.8 and 5. immediaely yield 5.7. As an immediae consequence of Lemmas and 2.9 and 5., we have he following. Coollay 5.2 The condiions 4., ExpL and Comp hold. Since we have assumed UJS, 5.4 and 5.5, ou Lévy pocess X belongs o a subclass of he pocessesconsideedin[8,9,8,9]. Theefoep,x,yisHöldeconinuouson, R d R d and fo evey open se D, ansiion densiy p D,x,y fo he killed pocess X D is Hölde coninuous on, D D. Define p c, = d/2 exp 2 /. 5. Recall ha a is he ellipiciy consan in 5.4. Fo each a,t >, we define a funcion h a,t, on,,t] [, as a p c,a+ Φ d ja if β [,] o [,], h a,t, := exp a log T β /β β if β, wih, /T a if β = wih ; 2 5.2

21 and, fo each a,t >, define a funcion k a,t, on, [T, [, as Φ d [a p c,a+ja] if β =, d/2 exp a β 2 T if β,], k a,t, := +log d/2 + T β /β exp a T if β,, +log d/2 + T exp a 2 T if β =. 5.3 Noe ha h a,t, and k a,t, ae deceasing. Theoem 5.3 The paabolic Hanack inequaliy PHIΦ holds. Moeove, fo each posiive consan T, hee ae posiive consans c i, i =,...6, which depend on he ellipiciy consan a of 5.4, such ha and c 2 h c,t, x p,x c 2 h c3,t, x fo evey,x,t] R d, c 4 k c 5,T, x p,x c 4 k c6,t, x fo evey,x [T, R d. In paicula, he condiion HKC holds. The above wo-sided esimaes on p,x,y follow fom [8, Theoem.2] and [8, Theoems.2 and.4] when a =, and fom [9, 9] when a >. Noe ha even hough in [8, Theoem.2] and [8, Theoems.2 and.4] wo-sided esimaes fo p,x,y ae saed sepaaely fo he cases < and >, he consan does no play any special ole. In fac, fo example fo T < one can easily check c 3 h c 2,, h c,t, c 3 h c2,, on < T, and he wo-sided esimaes fo p,x hold fo he cases < T and > T, and can be saed in he above way. Remak 5.4 We emak hee ha in [8, Theoems.22.b], he log x y em should eplaced by +log + x y. In he poof of [8, Theoems.22.b], he case ha x y when β, missed o be consideed. Once aking ino accoun of ha missed case, One can see fom [8] ha 5.3 is he coec fom. See he saemen and he poof of Poposiion 6.7 below fo he lowe bound. We now pesen he main esul of his secion. Theoem 5.5 Thee exis c,c 2 > such ha fo all,x,y, H H, p H,x,y c ΦδH x { ΦδH y hc2,, x y /6 if,, k c2,, x y /6 if [,. 2

22 Poof. Since h a,t, and k a,t, ae deceasing, by Theoem 5.3 w: w x y 6 x y w: w p,w c h c 2,, w if,, 6 x y w: w k c 2,, w if [,, 6 c { hc2,, x y /6 if,, k c2,, x y /6 if [,. This ogehe wih Poposiion 3.6 poves he heoem. 6 Ineio lowe bound esimaes In his secion, we deive following peliminay lowe bound esimaes on p H,x,y. Recall ha we have assumed UJS, 5.4 and 5.5. Theoem 6. Le a,t be posiive consans. Thee exis c = ca,β,β 2,β,T > and C 4 = C 4 a,β,β 2,β,T > such ha p H,x,y c { hc4,t, x y if,t, k C4,T, x y if [T,, fo evey,x,y, H H wih δ H x δ H y aφ. We will pove his heoem hough seveal poposiions. The following poposiion follows immediaely fom Poposiions 3.4 and 3.5, Lemma 5. and condiion 5.5. Poposiion 6.2 Le D be an open subse of R d. Fo evey a >, hee exiss a consan c = ca > so ha p D,x,y cφ d j x y fo evey,x,y, D D wih δ D x δ D y aφ. Poposiion 6.2 yields he ineio lowe bound fo p D,x,y and p,x,y fo he case β = and a =. Poposiion 6.2 also yield he ineio lowe bound fo p D,x,y and p,x,y fo he case β,], T and a =. As a diec consequence of Poposiion 3.5, we have Coollay 6.3 Suppose β,. Fo evey a,t,c >, hee exis c,c 2 > so ha p H,x,y c e c 2 x y β fo evey,x,y [T, H H wih δ H x δ H y aφ and x y C Φ. In paicula, when < β, fo evey a,t,c >, hee exis c,c 2 > such ha p H,x,y c e c 2 x y β when x y 2 β /C, δ H x δ H y aφ and T. 22

23 The las asseion in Coollay 6.3 holds because Φ /2 fo T by Lemma 5., and fo T and x,y wih x y 2 β /C, one has x y 2 c whee c = T/C /2 β C. A sandad chaining agumen give he following Gaussian lowe bound. The poof is simila o he one of [8, Theoem 5.4]. Poposiion 6.4 Suppose β, ]. Fo evey C,a,T >, hee exis consans c,c 2 > such ha p H,x,y c d/2 exp c 2 x y 2 fo evey,x,y [T, H H wih δ H x δ H y aφ and C x y /T. Poof. By consideing /T insead of, wihou loss of genealiy we assume T =. Fix a consan C > and le R := x y. When R, by Poposiion 6.2 and 5.7, p D,x,y c Φ d c 2 d/2. When R 2, noe ha R 2 c 3 Φ fo some c 3 >. Thus in view of Lemma 2., by applying he paabolic Hanack inequaliy PHIΦ a mos 3+6a 2 c 3 imes, we have fom Poposiion 3.4 ha p D,x,y c 4 Φ d c 5 d/2. Hence we only need o conside he case C R R 2 so C, which we now assume. By 5.7, hee exis a consan c, such ha c s Φ s c s fo evey s 2 C 2. Thus δ H x δ H y ac. Le n be he smalles posiive inege so ha /n R/n 2. Then Since C R, by 6. R 2 / n < +R 2 / 2R 2 / and 2R/n 2 /n R/n n +R 2 / = 2 2 +R C R Le x = x,x,,x n = y be he poins equally spaced on he line segmen connecing x o y so ha x i x i+ = R/n fo i =,,n. Se B i := Bx i,2 ac R/n. Since /n R/n 2 by 6. and /n 2 C 2 by 6.2, we have fo evey y i,y i+ B i B i+, δ H y i δ H y i+ ac 2 ac R/n 2 ac /n 2 ac 2 Φ /n and 4 y i y i+ 4+2 ac R/n 4+2 ac /n 4c +2 aφ /n. By Poposiion 3.4 and applying PHIΦ a mos N imes, whee N depends only on a, Φ and C o by Poposiion 6.2, we have p H /n,y i,y i+ c 6 /n d/2 fo evey y i,y i+ B i B i

24 Using 6.3 and hen 6., we have p H,x,y... p H /n,x,y...p H /n,y n,ydy...dy n B B n c 6 /n d/2 Πi= n c 7 /n d/2 R/n d c 8 /n d/2 c 7 2 d/2 n c 8 /n d/2 exp c 9 n c d/2 exp c x y Poposiion 6.5 Suppose a,a >. Thee ae posiive consans c and c 2 so ha p H,x,y c Φ d d/2 exp c 2 x y 2 +j x y fo evey,x,y [, H H wih δ H x δ H y aφ if eihe β [,] o x y. Poof. We fis conside following five cases: and x y when β [, ], 2 and x,y R d when β =, 3 x y 2 β when β,], 4 and x y when β,] 5 x y 2 when β [, ]. Using he condiion 5.5, we see ha fo hese five cases i holds ha fo evey c > hee is c 2 > such ha d/2 exp c x y 2 c 2 j x y. 6.5 Hence by Poposiions 6.2 and 6.4 and , i suffices o conside he case when x y 2, which we will assume fo he emainde of he poof. By , hee is a consan c,/2 so ha c 2 Φ 2 /c. Se R = x y. Le n o be he smalles inege so ha /n c R/n2. Obseve ha R2 c n 2R2 c. Le x = x, x,...,x n = y be he evenly spaced poins on be he line segmen connecing x o y so ha x i x i+ = R/n. Le B i = B i x i,ar/4n. Then fo evey we have fo evey y i,y i+ B i B i+, δ H y i δ H y i+ a c ar/2n a c /2 2 ac Φ and 4 y i y i+ 4+aR/n 8 c /n 8Φ /n. By Poposiion 3.4 and applying PHIΦ a mos finie many imes o by Poposiion 6.2, we have p H /n,y i,y i+ c 3 /n d/2 fo evey y i,y i+ B i B i Using 6.6 and hen 6., by he same agumen in 6.4 we have p H,x,y c 4 d/2 exp c 5 x y 2. This ogehe wih Poposiion 6.2 gives he desied lowe bound ineio esimae fo x y 2. This complees he poof of he poposiion. 24

25 Poposiion 6.2, Coollay 6.3 and Poposiions give he desied ineio lowe bound saed in Theoem 6. fo p H,x,y when β [,]. We now conside he case β = and he case β, sepaaely. Poposiion 6.6 Suppose ha T,a > and β =. Then, hee exis consans c i = c i a,t >, i =,2, such ha fo any x,y in H wih δ H x δ H y aφ, we have c2 x y p H,x,y c when x y /T. 6.7 T x y Poof. By consideing /T insead of, wihou loss of genealiy we assume T =. We le R := x y. We define k as he inege saisfying 4 4R k < 4R + < 5R and := 2 aφ. Le x = x,x,,x k = y be he poins equally spaced on he line segmen connecing x o y so ha x i x i+ = R /k fo i =,,k and B i := Bx i,, wih i =,,2,...,k. Then, δ H x i > 2 and B i = Bx i, Bx i,2 H, wih i =,,2,...,k. Since 4R k, fo each y i B i we have y i y i+ y i x i + x i x i+ + x i+ y i+ 8 + R k + 8 < Moeove, δ H y i δ H x i y i x i > > /k and /k R /k /4 Thus, by Poposiion 6.2 and 6.8, hee ae consans c i = c i a >, i =,2, such ha fo y i,y i+ B i B i+ we have p H /k,y i,y i+ c φ /k d c 2 φ /k d /k /k y i y i+ d φ y i y i+ = c 2 /k = c 2 /k. 6.9 Obseve ha 4R k < 2k < 8R, φ /k a/β 3 /k /β and /k. Thus, fom 6.9 we obain p H,x,y... p H /k,x,y...p H /k,y k,ydy k...dy B B k c 2 /k k Π k i= B i c 2 /k k c k 3 /k dk /β c 4 c 5 /k c 6k c 7 c 8 /R c 9R c /R c R. Poposiion 6.7 Suppose ha T >, a > and β,. Then, hee exis consans c i = c i a,β,t >, i =,2 such ha fo any x,y in H wih δ H x δ H y aφ we have p H,x,y c exp c 2 x y log T x y β β x y β if T, x y >, and p H,x,y c d/2 exp c 2 x y +log + T x y β β if > T, x y > /T. 25

26 Poof. Wihou loss of genealiy we assume T =. We fix a >, and we le R := x y. i If R 3 and, he poposiion holds by viue of Poposiion 6.2. ii If R logr / β /β R β when, he poposiion holds also by viue of Poposiion 6.2. iii If > and 3 R, he poposiion holds by viue of Poposiion 6.4. iv We now assume,r,] 3,, 3, and R logr / β /β < R β, which is equivalen o R exp{ R β } <. Noe ha R / > 3. Le k 2 be a posiive inege such ha < R log R /β k < R log R /β + < 2R log R /β. 6. We define := 2 aφ /R 6 logr / /β. Then, by 6. we have 2 aφ /R R 6k log R /β < R 6 3k. 6. Le x = x,x,,x k = y be he poins equally spaced on he line segmen connecing x o y so ha x i x i+ = R /k fo i =,,k and B i := Bx i,, wih i =,,2,...,k. Then, δ H y i 2 aφ > 2 aφ /k fo evey y i B i. Noe ha fom 6. we obain R 3 k x i x i+ 2 y i y i+ x i x i R 3 k 6.2 fo evey y i,y i+ B i B i+. We also obseve ha, by 6. k logr / /β s logs /β < R and R 2k 4 logr / /β 2 log3/β >. Thus, using Poposiion 6.2 along wih 6. and 6.2 we obain p H /k,y i,y i+ c k j y i y i+ c 2 k R /k d β 2 e c 3R /k β k d+β2 c 4 e c 3R /k β c 4 log R d+β 2 β c3 c5 c R 2R R R R Since he definiion of yields s 3 c 6 /R β 2 β logr / /β c 7 /R β 2 β. 26

27 by using 6., 6.3 and he semigoup popey we conclude ha p H,x,y p H /k,x,y p H /k,y k,ydy dy k B B k c5 k+β 2 β k c k 4c7 k R c 8 exp c 9 klogr / c 8 exp c 9 R logr / /β + c 8 exp 2c 9 R logr / β β exp 2c 9 R logr / β β c 8 d/2 exp logr / 2c 9 R +log + R / β β if,r,] 3, if,r, 3,. Poposiions ogehe wih Poposiion 6.2 and Poposiions yield he ineio lowe bound esimaes of Theoem 6. fo β, ]. Remak 6.8 Assume ha D is an conneced open se wih he following popey: hee exis λ [, and λ 2,] such ha fo evey and x,y in D wih δ D x δ D y hee exiss in D a lengh paameeized ecifiable cuve l connecing x o y wih he lengh l of l less han o equal o λ x y and δ D lu λ 2 fo u [, l ]. Unde his assumpion, we can also pove Theoem 6. on such D wih mino modificaions. We omi he deails hee; see [24, Secion 3] fo he case < T and φ = α. 7 Two-sided hea kenel esimaes In his secion we pove he wo-sided esimaes of p H,x,y unde condiions 5.4 and 5.5. Theoem 7. Suppose UJS, 5.4 and 5.5 hold. Thee exis c,c 2,c 3 > such ha fo all,x,y, H H, p H,x,y c ΦδH x and p H,x,y c { ΦδH y hc2,, x y /6 if,, k c2,, x y /6 if [,, { ΦδH x ΦδH y hc3,,3 x y /2 if,, k c3,,3 x y /2 if [,. Poof. By Theoem 5.5, we only need o show he lowe bound of p H,x,y. Fo his, we will apply Theoem 4.5. Le C 4 be he consan C 4 in Theoem 6. wih T = /3. 27

28 Since h a,t, and k a,t, ae deceasing, we have by Theoem 6. ha fo x y > 4M Φ, { hc4,/3/3,3 x y /2 if,, inf p H /3,u,v c u,v:2m Φ u v 3 x y /2 k Φδ H u Φδ H v>a C4,/3/3,3 x y /2 if [,, c 2 { hc3,,3 x y /2 if,, k c3,,3 x y /2 if [,. 7. When 6M Φ and, by 5.7, we have c 8 M /2. Thus on 6M Φ and Φ d if β =, d/2 exp C 4 β 3 2 if β,], k C4,/3/3, c 4 d/2 exp C 4 +log + β β 3 2 if β,, d/2 exp C 4 +log if β =, c 5 Φ d. 7.2 So by 7.2 and Theoem 6., fo x y 4M Φ, Φ c 6 { hc7,,3 x y /2 if,, k c7,,3 x y /2 if [,. 7.3 Combining 4., 7. and 7.3, we conclude ha p H,x,y c 8 ΦδH x { ΦδH y hc9,,3 x y /2 if,, k c9,,3 x y /2 if [,. Remak 7.2 i In view of Theoem 5.3, we can esae Theoem 7. as follows. Thee ae posiive consans c i, i 5, so ha Ψ/δD x pc Ψ/δD y 2,c 3 y x p D,x,y c c Ψ/δD x Ψ/δD y pc 4,c 5 y x 7.4 whee p, x is he ansiion densiy of X. This essenially confims he conjecue. fo his class of symmeic Lévy pocesses and fo D = H. ii Recenly shap wo-sided Diichle hea kenel esimaes have been esablished in [5, 6] fo a lage class of symmeic Lévy pocesses in C, open ses fo. The Lévy pocess consideed in [5, 6] saisfy he condiions 5.4, 5.5 and UJS of his pape. Now assume X is a symmeic 28

29 Lévy pocess consideed [5, 6]. Then using he push inwad mehod of [2] see [3] fo is use in elaivisic sable pocesses case and he sho ime hea kenel esimaes in [5, 6], we can obain global shap wo-sided Diichle hea kenel esimaes on half-space-like C, open ses fom he he Diichle hea kenel esimaes esablished in his pape on half-spaces. We leave he deails o he ineesed eade. Acknowledgemen. We hank he efeees fo helpful commens. Refeences [] M. T. Balow, R. F. Bass, Z.-Q. Chen and M. Kassmann, Non-local Diichle foms and symmeic jump pocesses. Tans. Ame. Mah. Soc , [2] K. Bogdan and T. Gzywny, Hea kenel of facional Laplacian in cones. Colloq. Mah. 8 2, [3] K. Bogdan, T. Gzywny and M. Ryzna: Hea kenel esimaes fo he facional Laplacian wih Diichle Condiions. Ann. Pobab. 38 2, [4] K. Bogdan, T. Gzywny and M. Ryzna, Densiy and ails of unimodal convoluion semigoups. J. Func. Anal , [5] K. Bogdan, T. Gzywny and M. Ryzna, Baies, exi ime and suvival pobabiliy fo unimodal Lévy pocesses. Pobab. Theoy Rela. Fields 62 25, [6] K. Bogdan, T. Gzywny and M. Ryzna, Diichle hea kenel fo unimodal Lévy pocesses. Soch. Poc. Appl, 24 24, [7] Z.-Q. Chen, P. Kim and T. Kumagai, On hea kenel esimaes and paabolic Hanack inequaliy fo jump pocesses on meic measue spaces. Aca Mah. Sin. Engl. Se , [8] Z.-Q. Chen, P. Kim and T. Kumagai, Global hea kenel esimaes fo symmeic jump pocesses. Tans. Ame. Mah. Soc , [9] Z.-Q. Chen, P. Kim and T. Kumagai, Hea kenel esimaes fo efleced diffusions wih jumps on meic measue spaces. In pepaaion. [] Z.-Q. Chen, P. Kim, and R. Song, Hea kenel esimaes fo Diichle facional Laplacian. J. Euopean Mah. Soc. 2 2, [] Z.-Q. Chen, P. Kim and R. Song, Hea kenel esimae fo + α/2 in C, open ses. J. London Mah. Soc. 84 2, [2] Z.-Q. Chen, P. Kim and R. Song, Shap hea kenel esimaes fo elaivisic sable pocesses in open ses. Ann. Pobab. 4 22, [3] Z.-Q. Chen, P. Kim, and R. Song, Global hea kenel esimaes fo elaivisic sable pocesses in half-space-like open ses. Poenial Anal., 36 22, [4] Z.-Q. Chen, P. Kim, and R. Song: Global hea kenel esimaes fo elaivisic sable pocesses in exeio open ses. J. Func. Anal , [5] Z.-Q. Chen, P. Kim and R. Song, Diichle hea kenel esimaes fo oaionally symmeic Lévy pocesses. Poc. London Mah. Soc. 9 24, 9 2. [6] Z.-Q. Chen, P. Kim and R. Song, Diichle hea kenel esimaes fo subodinae Bownian moions wih Gaussian componens. J. Reine Angew. Mah. 7 26,

30 [7] Z.-Q. Chen and T. Kumagai, Hea kenel esimaes fo sable-like pocesses on d-ses. Sochasic Pocess. Appl., 8 23, [8] Z.-Q. Chen and T. Kumagai, Hea kenel esimaes fo jump pocesses of mixed ypes on meic measue spaces. Pobab. Theoy Rela. Fields, 4 28, [9] Z.-Q. Chen and T. Kumagai, A pioi Hölde esimae, paabolic Hanack pinciple and hea kenel esimaes fo diffusions wih jumps. Rev. Ma. Ibeoam. 26 2, [2] Z.-Q. Chen and J. Tokle, Global hea kenel esimaes fo facional Laplacians in unbounded open ses. Pobab. Theoy Rela. Fields, 49 2, [2] E. B. Davies, The equivalence of ceain hea kenel and Geen funcion bounds. J. Func. Anal , [22] E. B. Dynkin, Makov pocesses, Vol. I. Academic Pess, New Yok, 965 [23] T. Gzywny, On Hanack inequaliy and Hölde egulaiy fo isoopic unimodal Lévy pocesses. Poenial Anal. 4 24, -29. [24] P. Kim and K.-Y. Kim, Two-sided esimaes fo he ansiion densiies of symmeic Makov pocesses dominaed by sable-like pocesses in C,η open ses. Soch. Poc. Appl, 24 24, [25] P. Kim, R. Song and Z. Vondaček, Unifom bounday Hanack pinciple fo oaionally symmeic Lévy pocesses in geneal open ses. Sci. China Mah. 55, 22, [26] V. Knopova and R. Schilling, A noe on he exisence of ansiion pobabiliy densiies of Lévy pocesses. Foum Mah , [27] M. Kwaśnicki, J. Ma lecki, M. Ryzna, Supema of Lévy pocesses. Ann. Pobab. 4 23, [28] W. E. Pui, The gowh of andom walks and Lévy pocesses. Ann. Pobab. 9 98, [29] A. V. Skoohod. Random Pocesses wih Independen Incemens. Kluwe, Dodech, 99. [3] Q. S. Zhang, The bounday behavio of hea kenels of Diichle Laplacians. J. Diffeenial Equaions, 82 22, Zhen-Qing Chen Depamen of Mahemaics, Univesiy of Washingon, Seale, WA 9895, USA zqchen@uw.edu Panki Kim Depamen of Mahemaical Sciences and Reseach Insiue of Mahemaics, Seoul Naional Univesiy, Building 27, Gwanak-o, Gwanak-gu Seoul 8826, Republic of Koea pkim@snu.ac.k 3