24.06.2013 Views

For printing - MSP

For printing - MSP

For printing - MSP

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

6 JUNICHI ARAMAKI<br />

exp(−tH), it suffices to consider the heat kernels on the diagonal set only.<br />

I.e.,<br />

(3.1)<br />

(3.2)<br />

p0(t; z, z) = (2πt) −d/2 <br />

E exp −t<br />

1<br />

p(t; z, z) = (2πt) −d/2 <br />

E exp iF t (z) − t<br />

0<br />

V (z + √ <br />

tZs)ds ,<br />

1<br />

0<br />

V (z + √ <br />

tZs)ds<br />

where F t (z) = √ t 1<br />

0 A(z + √ tZs) ◦ dZs<br />

Let {Zs}0≤s≤1 ={Xs, Ys}0≤s≤1 be defined on a probability space (Ω, F, P )<br />

and define<br />

(3.3)<br />

ξ = sup |Xs|.<br />

0≤s≤1<br />

Then it follows from Lévy’s work that:<br />

Lemma 3.1. <strong>For</strong> every R > 0,<br />

P (ξ ≥ R) ≤ 2ne −2R2 /n .<br />

<strong>For</strong> the proof, see Simon [12], Itô and Mckean [4] and [5, Lemma 1].<br />

From now, we denote various constants independent of t > 0 and (x, y) ∈<br />

R n × R m by the same notations C, Cj (j = 1, 2, . . . ) etc..<br />

Lemma 3.2. Under the assumptions (A.1) and (A.2), there exists a constant<br />

C > 0 such that<br />

(3.4)<br />

E |F t (x, y)| 4 ≤ Ct 4 (1 + |x| 2 ) 4a |y| 8b<br />

for all (x, y) ∈ R n × R m and t ∈ (0, 1).<br />

Proof. Since the proof is essentially the same as [5, Lemma 2], we give only<br />

an outline of the proof.<br />

Let {ws}0≤s≤1 be the standard d-dimensional Brownian motion defined on<br />

a probability space ( ˜ Ω, ˜ F, ˜ P ). Then, the pinned Brownian motion {Zs}0≤s≤1<br />

such that Z0 = Z1 = 0 is the solution of the stochastic differential equation:<br />

dZ i s = dw i s − Zi s<br />

1 − s ds (0 < s < 1), Zi 0 = 0 (i = 1, 2, . . . , d).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!