getdocfb83. 215KB Jun 04 2011 12:05:14 AM

J
i
on
Electr

o

u

a
rn l

o

f
P

c

r

ob
abil
ity

Vol. 11 (2006), Paper no. 6, pages 146–161.
Journal URL
http://www.math.washington.edu/∼ejpecp/

Two-sided estimates on the density of the
Feynman-Kac semigroups of stable-like processes
Renming Song ∗
Department of Mathematics, University of Illinois
Urbana, IL 61801, USA
Email: rsong@math.uiuc.edu
http://www.math.uiuc.edu/∼rsong
Abstract
Suppose that α ∈ (0, 2) and that X is an α-stable-like process on Rd . Let µ be a signed
measure on Rd belonging to the class Kd,α and Aµt be the continuous additive functional of
X associated with µ. In this paper we show that the Feynman-Kac semigroup {Ttµ : t ≥ 0}
defined by



µ
Ttµ f (x) = Ex e−At f (Xt )
has a density q µ and that there exist positive constants c1 , c2 , c3 , c4 such that
d

c1 e−c2 t t− α



1∧

t1/α
|x − y|

d+α

d

≤ q µ (t, x, y) ≤ c3 ec4 t t− α



1∧

t1/α
|x − y|

d+α

for all (t, x, y) ∈ (0, ∞) × Rd × Rd . We also provide similar estimates for the densities of two
other kinds of Feynman-Kac semigroups of X.
Key words: Stable processes, stable-like processes, Kato class, Feynman-Kac semigroups,
continuous additive functionals, continuous additive functionals of zero energy, purely discontinuous additive functionals.
AMS 2000 Subject Classification: Primary: 60J45, 60J35; Secondary: 60J55, 60J57,
60J75, 60G51, 60G52.
Submitted to EJP on November 9, 2004. Final version accepted on February 21, 2006.
∗

The research of this author is supported in part by a joint US-Croatia grant INT 0302167.

146

1

Introduction

Suppose that X = (Xt , Px ) is a Brownian motion on Rd and that V is a function on Rd
belonging to the Kato class of X, i. e., a function satisfying the condition
Z t
|V |(Xs )ds = 0.
lim sup Ex
t↓0 x∈Rd

0

It is well known (see [11] for instance) that the Feynman-Kac semigroup {TtV : t ≥ 0} with
potential V



Z t
V (Xs )ds)f (Xt ) ,
TtV f (x) = Ex exp(−
0

q V (t, x, y)

has a transition density
with respect to the Lebesgue measure and that q V has both
an upper and a lower Gaussian estimates, that is there exist positive constants c1 , c2 , c3 , c4 such
that
d
d
3|x − y|2
|x − y|2
c1 e−c2 t t− 2 exp(−
) ≤ q V (t, x, y) ≤ c3 ec4 t t− 2 exp(−
)
(1.1)

4t
4t
for all (t, x, y) ∈ (0, ∞) × Rd × Rd . This result can be easily generalized (see [2] for instance) to
the case when V is replaced by a signed measure satisfying
Z tZ
d
|x − y|2
)|µ|(dy)ds = 0
t− 2 exp(−
lim sup
t↓0 x∈Rd 0
2t
Rd
and

Rt
0

V (Xs )ds is replaced by the continuous additive functional Aµt of X associated with µ.

Now suppose that α ∈ (0, 2) and that X = (Xt , Px ) is a symmetric α-stable process on Rd . The
question that we are going to address in this paper is the following: can one establish two-sided
estimates for the density of the Feynman-Kac semigroup of the symmetric α-stable process X?
As far as we know, this question has not been addressed in the literature. The proof of (1.1) in
[11] and [2] can not be adapted to the case of discontinuous stable processes. It seems that, to
answer the question above, one has to use some new ideas. In this paper, we are going to tackle
the question above by adapting an idea used in [13] and [14] to establish heat kernel estimates
for diffusions to the present case. Actually, instead of dealing with symmetric stable processes,
we are going to deal with the more general stable-like processes introduced in [4].
The content of this paper is organized as follows. In section 2, we first recall the definition of the
Kato class with respect to symmetric α-stable processes and some basic facts about stable-like
processes, and then we present some preliminary results on Feynman-Kac semigroups. In section
3 we establish two-sided estimates on the density of Feynman-Kac semigroups with potentials
given by measures belonging to the Kato class. In the last section we deal with two other kinds
of Feynman-Kac semigroups of stable-like processes. The first kind consists of Feynman-Kac
semigroups given by purely discontinuous additive functionals, and the second kind consists of
Feynman-Kac semigroups given by continuous additive functionals of zero energy.
147

In this paper we will use the following convention on the labeling of constants. The values

of the constants M1 , M2 , · · · will remain the same throughout this paper, while the values of
the constants C1 , C2 , · · · might change from one appearance to the next. The labeling of the
constants C1 , C2 , · · · starts anew in the statement of each result.

2

Kato Class and Basic Properties of Feynman-Kac Semigroups

In this paper we will always assume that α ∈ (0, 2). We will use X 0 = {Xt0 , P0x } to denote a
symmetric α-stable process in Rd whose transition density p0 (t, x, y) = p0 (t, x − y) with respect
to the Lebesgue measure satisfies
Z
α
eix·ξ p0 (t, x)dx = e−t|ξ| , t > 0.
Rd

It is known (see [3]) that there exist positive constants M1 < M2 such that
M1 t

d

−α

t1/α
1∧
|x − y|

!d+α

≤ p0 (t, x, y) ≤ M2 t

d
−α

t1/α
1∧
|x − y|

!d+α

(2.1)

for all (t, x, y) ∈ (0, ∞) × Rd × Rd . For any λ > 0, we define
Z ∞
0
0
Gλ (x, y) = Gλ (x − y) =
e−λt p0 (t, x − y)dt
0

for all x, y ∈ Rd . When α < d, the process X 0 is transient and its potential density G0 (x, y) =
G0 (x − y) is given by
  

Z ∞
α −1
d−α
0
−α − d2
0
p (t, x − y)dt = 2 π Γ

G (x − y) =
|x − y|α−d .
Γ
2
2
0
The Dirichlet form (E 0 , F) of X 0 is given by
Z Z
1
(u(x) − u(y))(v(x) − v(y))
0
E (u, v) = A(d, −α)
dxdy
2
|x − y|d+α
Rd Rd


Z Z
(u(x) − u(y))2
2
d
F = u ∈ L (R ) :
dxdy < ∞ ,
|x − y|d+α
Rd Rd
where
A(d, −α) =

|α| Γ( d+α
2 )
.
d/2
1−α
2
π Γ(1 − α2 )

For any function V on Rd and t > 0, we define
Z tZ
p0 (s, x, y)|V (y)|dyds.
NV (t) = sup
x∈Rd

0

Rd

148

By a signed measure we mean in this paper the difference of two nonnegative measures at most
one of which can have infinite total mass. For any signed measure on Rd , we use µ+ and µ− to
denote its positive and negative parts, and |µ| = µ+ + µ− its total variation. For any t > 0, we
define
Z Z
t

Nµ (t) = sup

x∈Rd

0

p0 (s, x, y)|µ|(dy)ds.

Rd

Definition 2.1 We say that a function V on Rd belongs to the Kato class Kd,α if limt↓0 NV (t) =
0. We say that a signed Radon measure µ on Rd belongs to the Kato class Kd,α if limt↓0 Nµ (t) =
0.
Rigorously speaking a function V in Kd,α may not give rise to a signed measure µ in Kd,α since
it may not give rise to a signed measure at all. However, for the sake of simplicity we use the
convention that whenever we write that a signed measure µ belongs to Kd,α we are implicitly
assuming that we are covering the case of all the functions in Kd,α as well.
The following result is well known, see [1] and [12] for instance.
Proposition 2.1 Suppose that µ is a signed measure on Rd . Then µ ∈ Kd,α if and only if
Z
G0λ (x, y)|µ|(dy) = 0.
lim sup
λ→∞ x∈Rd

Rd

When α < d, µ ∈ Kd,α is also equivalent to the condition
Z
|µ|(dy)
lim sup
= 0.
r→0 x∈Rd |x−y| 0.
sup Ex eAt
x∈Rd

The meaning of the phrase “depending on µ only via the rate at which Nµ (t) goes to zero” will
become clear in the proof of Theorem 3.3. It roughly means that if w(t) is a increasing function
on (0, ∞) with limt→0 w(t) = 0, then there exist positive constants C1 and C2 such that for any
signed measure µ with
Nµ (t) ≤ w(t), t > 0,
150

we have

 |µ| 
sup Ex eAt
≤ C1 eC2 t ,

t > 0.

x∈Rd

For any µ ∈ Kd,α , we define the Feynman-Kac semigroup {Ttµ : t ≥ 0} with potential µ by


µ
Ttµ f (x) = Ex e−At f (Xt ) .

When µ is given by µ(dx) = U (x)dx for some function U , we will sometimes write Ttµ as TtU .
The following result is well known, see [12] and [5].
Theorem 2.4 Suppose that µ ∈ Kd,α , then
1. For any p ∈ [1, ∞), {Ttµ : t ≥ 0} is a strongly continuous semigroup in Lp (Rd , m);
2. For each t > 0, Ttµ maps L∞ (Rd , m) into bounded continuous functions on Rd ;
3. For any p ∈ [1, ∞) and t > 0, Ttµ maps Lp (Rd , m), p ∈ [0, ∞), into bounded continuous
functions on Rd which converges to zero at infinity, and there exist positive constants C1
and C2 , depending on µ only via the rate at which Nµ (t) goes to zero, such that
kTtµ kp,p ≤ kTtµ k∞,∞ ≤ C1 eC2 t ,

t > 0,

where, for any p, q ∈ [1, ∞], kTtµ kp,q stands for the norm of Ttµ as an operator from
Lp (Rd , m) into Lq (Rd , m).
Using an argument similar to that of the proof of Theorem 3.1 in [2], we can show the following
Theorem 2.5 For any µ ∈ Kd,α , there exists a function q µ (t, x, y) such that
1. q µ is jointly continuous on (0, ∞) × Rd × Rd ;
2. there exist positive constants C1 and C2 depending on µ only via the rate at which Nµ (t)
goes to zero such that
d

0 < q µ (t, x, y) ≤ C1 eC2 t t− α ,

∀(t, x, y) ∈ (0, ∞) × Rd × Rd ;

R
3. Ttµ f (x) = Rd q µ (t, x, y)f (y)m(dy) for all (t, x) ∈ (0, ∞) × Rd and all bounded function f
on Rd ;
R
4. Rd q µ (t, x, z)q µ (s, z, y)m(dz) = q µ (t + s, x, y) for all t, s > 0 and (x, y) ∈ Rd × Rd ;

5. q µ (t, x, y) is symmetric in x and y;

151

6. if f is a bounded function continuous at x ∈ Rd , then
Z
q µ (t, x, y)f (y)m(dy) = f (x).
lim
t↓0

Rd

Proof. We omit the details.

✷

Corollary 2.6 For any µ ∈ Kd,α , the function q µ in the theorem above satisfies the equation
Z tZ
µ
q (t, x, y) = p(t, x, y) −
p(s, x, z)q µ (t − s, z, y)µ(dz)ds,
(2.4)
0

Rd

for all (t, x, y) ∈ (0, ∞) × Rd × Rd .
Proof. Since for any t > 0
−Aµ
t

e

=1−

Z

t

0

we have


−Aµ
t

Ex e

(0, ∞)×Rd

µ

µ

e−(At −As ) dAµs ,



Z t

−(Aµ
−Aµ
µ
s)
t
e
dAs
f (Xt ) = Ex f (Xt ) − Ex f (Xt )
0

Rd .

for all (t, x) ∈
and all bounded functions f on
Now the conclusion of the corollary
follows easily from the Markov property, Fubini’s theorem and the two theorems above.
✷
When the measure µ is given by µ(dx) = U (x)dx form some function U , we will sometimes write
q µ as q U .

3

Two-sided Estimates for Densities of Local Feynman-Kac
transforms

In this section we shall establish two-sided estimates for the densities of Feynman-Kac semigroups
with potentials belonging to Kd,α . The following elementary lemma will play an important role.
Lemma 3.1 Suppose that a, b, c, d are positive numbers. If a < d and c < b, then we have
a
d
a
d
(1 ∧ )(1 ∧ ) ≤ (1 ∧ )(1 ∧ ).
b
c
c
b

(3.1)

Proof. We prove this lemma by looking at all the different cases.
In the first case we assume that a ≥ b. In this case we have c < b ≤ a < d, so the left and right
hand sides of (3.1) are both equal to 1. Thus (3.1) is valid in this case.
In the second case we assume that c ≤ a ≤ b. We further divide this case into two subcases. In
the first subcase we assume that c ≤ a ≤ b ≤ d. In this subcase the left hand side of (3.1) is equal
152

to ab and the right hand side is equal to 1. In the second subcase we assume that c ≤ a < d ≤ b.
In this subcase the left hand side of (3.1) is equal to ab and the right hand side is equal to db .
Thus (3.1) is valid in this case.
In the third case we assume that a ≤ c. We further divide this case into three subcases. In the
first subcase we assume that a ≤ c < b ≤ d. In this subcase the left hand side of (3.1) is equal to
a
a
b and the right hand side is equal to c . In the second subcase we assume that a ≤ c ≤ d ≤ b. In
a
this subcase the left hand side of (3.1) is equal to ab and the right hand side is equal to ad
bc ≥ b .
In the third subcase we assume that a < d ≤ c < b. In this subcase the left and right hand sides
✷
of (3.1) are both equal to ad
bc . Thus (3.1) is also valid in this case.
The following lemma is similar to Lemma 3.1 of [14] and is crucial in establishing the main
estimates of this paper.
Lemma 3.2 There exists a positive constant C depending only on d and α such that for any
measure ν on Rd and (t, x, y) ∈ (0, ∞) × Rd × Rd ,
Z tZ

s

Rd

0

≤

s1/α
1∧
|x − z|

d
−α

!d+α

(t − s)

!d+α

t1/α
1∧
|x − y|

d
CM1−1 t− α

(t − s)1/α
1∧
|z − y|

d
−α

!d+α

ν(dz)ds

t
Nν ( ).
2

Proof. Put
J(t, x, y) =

Z tZ
0

s1/α
1∧
|x − z|

d
−α

s

Rd

!d+α

d
−α

(t − s)

(t − s)1/α
1∧
|z − y|

!d+α

ν(dz)ds.

We can rewrite J as
J(t, x, y) =

Z

0

t
2

+

Z t! Z
t
2

Rd

· · · ν(dz)ds := J1 (t, x, y) + J2 (t, x, y).

We estimate J1 (t, x, y) by estimating the integrand separately on the region
1
t
R1 := {(s, z) : s ∈ (0, ), |z − y| ≥ |x − y|}
2
2
and the region

t
1
R2 := {(s, z) : s ∈ (0, ), |z − y| < |x − y|}.
2
2

153

On R1 we have
!d+α
(t − s)1/α
s
1∧
(t − s)
|z − y|
!d+α
!d+α
1/α
1/α
d
d
d
s
2t
t− α 1 ∧
≤ 2 α s− α 1 ∧
|x − z|
|x − y|
!d+α
!d+α
1/α
1/α
d
d
d
s
t
t− α 1 ∧
.
≤ 2 α +d+α s− α 1 ∧
|x − z|
|x − y|
d
−α

s1/α
1∧
|x − z|

!d+α

d
−α

On R2 we have |x − z| ≥ |x − y| − |y − z| ≥ 12 |x − y|. So by applying Lemma 3.1 with a = s1/α ,
b = |x − z|, c = |z − y| and d = (t − s)1/α we get that
!d+α
!d+α
1/α
1/α
d
d
s
(t
−
s)
s− α 1 ∧
(t − s)− α 1 ∧
|x − z|
|z − y|
!d+α
!d+α
d
d
s1/α
(t − s)1/α
−α
−α
1∧
1∧
(t − s)
≤s
|z − y|
|x − z|
!d+α
!d+α
d
d
d
s1/α
2t1/α
−
−
t α 1∧
≤ 2α s α 1 ∧
|y − z|
|x − y|
!d+α
!d+α
1/α
1/α
d
d
d
s
t
≤ 2 α +d+α s− α 1 ∧
t− α 1 ∧
.
|y − z|
|x − y|
Thus we have
J1 (t, x, y)
≤2

d
+d+α
α

≤ M1−1 2

t

d
−α

t1/α
1∧
|x − y|

d
+d+α+1
α

!d+α Z

d
t
Nν ( )t− α
2

0

t
2

Z

!d+α
s1/α
s1/α
ν(dz)ds
) + (1 ∧
)
(1 ∧
|x − z|
|y − z|

d
−α

s

Rd

t1/α
1∧
|x − y|

!d+α

.

By a similar argument we get
d
t
Nν ( )t− α
2

t1/α
1∧
|x − y|

!d+α

d
d
t
M1−1 2 α +d+α+2 Nν ( )t− α

t1/α
1∧
|x − y|

!d+α

J2 (t, x, y) ≤ M1−1 2

d
+d+α+1
α

.

Consequently we have
J(t, x, y) ≤

2

for all (t, x, y) ∈ (0, ∞) × Rd × Rd .

(3.2)
✷

154

Theorem 3.3 For any µ ∈ Kd,α , there exists a positive constant T , depending on µ only via
the rate at which Nµ (t) goes to zero, such that
!d+α
!d+α
d
d
t1/α
t1/α
µ
−α
−α
≤ q (t, x, y) ≤ C2 t
C1 t
1∧
1∧
|x − y|
|x − y|
for some constants C1 and C2 depend only on M5 and for all (t, x, y) ∈ (0, T ] × Rd × Rd .
Proof. For (t, x, y) ∈ (0, ∞) × Rd × Rd , we define In (t, x, y) recursively for n ≥ 0 by
I0 (t, x, y) = p(t, x, y),
Z tZ
p(s, x, z)In (t − s, z, y)µ(dz)ds.
In+1 =
0

Rd

We claim that there exists a positive constant T , depending on µ only via the rate at which
Nµ (t) goes to zero, such that for all n ≥ 1 and (t, x, y) ∈ (0, T ] × Rd × Rd
!d+α
M5 n − d
t1/α
In (t, x, y) ≤ (
.
(3.3)
) t α 1∧
2
|x − y|
We will prove this claim by induction. In fact, for n = 1, we have
Z tZ
|I1 (t, x, y)| = |
p(s, x, z)p(t − s, z, y)µ(dz)ds|
Rd

0

≤ M62

Z tZ
0

s1/α
1∧
|x − z|

d
−α

s

Rd

!d+α

(t − s)1/α
1∧
|z − y|

d
−α

(t − s)

!d+α

|µ|(dz)ds.

Applying Lemma 3.2 we get that there exists a constant c1 > 0 depending only on d and α such
that
!d+α
1/α
d
t
t
|I1 (t, x, y)| ≤ c1 M1−1 M62 Nµ ( )t− α 1 ∧
.
2
|x − y|
Take T > 0 small enough so that
M5
t
, t ≤ T.
c1 M1−1 M62 Nµ ( ) ≤
2
2
Obviously, this T depends on µ only via the rate at which Nµ (t) goes to zero and
!d+α
t1/α
M5 − d
|I1 (t, x, y)| ≤
t α 1∧
2
|x − y|
for all (t, x, y) ∈ (0, T ] × Rd × Rd . Thus the claim above is valid for n = 1. Now suppose that
the claim is valid for n. Then we have
Z tZ
|In+1 (t, x, y)| = |
p(s, x, z)In (t − s, z, y)µ(dz)ds|
Rd

0

M5 n
)
≤ M6 (
2

Z tZ
0

Rd

d
−α

s

s1/α
1∧
|x − z|

!d+α
155

d
−α

(t − s)

(t − s)1/α
1∧
|z − y|

!d+α

|µ|(dz)ds.

Applying Lemma 3.2 again we get that
d
M5 n
t1/α
t
|In+1 (t, x, y)| ≤ c1 M1−1 M6 (
) Nµ ( )t− α 1 ∧
2
2
|x − y|
!d+α
t1/α
M5 n+1 − d
)
t α 1∧
≤ (
2
|x − y|

!d+α

for all (t, x, y) ∈ (0, T ] × Rd × Rd . Therefore the claim above is valid.
It follows from the claim above that, for (t, x, y) ∈ (0, T ] × Rd × Rd , the series
is uniformly absolutely convergent and
∞
X

n=0

∞
X
M5 n − d
) t α
|In (t, x, y)| ≤
(
2
n=0

t1/α
1∧
|x − y|

!d+α

:= c2 t

d
−α

P∞

n=0 |In (t, x, y)|

t1/α
1∧
|x − y|

!d+α

.

Using Corollary 2.6 and Lemma 3.2 we see that
µ

q (t, x, y) =

∞
X

n

(−1) In (t, x, y) ≤ c2 t

n=0

d
−α

t1/α
1∧
|x − y|

!d+α

for all (t, x, y) ∈ (0, T ] × Rd × Rd .
Using the claim above again we get that, for (t, x, y) ∈ (0, T ] × Rd × Rd ,
∞
X

n=1

M5 − d
t α
|In (t, x, y)| ≤
2 − M5

t1/α
1∧
|x − y|

Therefore we have
1 − M5 − d
q (t, x, y) ≥
t α
2 − M5
µ

t1/α
1∧
|x − y|

!d+α

.

!d+α

for all (t, x, y) ∈ (0, T ] × Rd × Rd .

✷

As a consequence of the theorem above and the semigroup property (Theorem 2.5.4), we immediately get the following
Theorem 3.4 For any µ ∈ Kd,α , there exist positive constant C1 , C2 , C3 , C4 , depending on µ
only via the rate at which Nµ (t) goes to zero, such that
C1 e−C2 t t

d
−α

t1/α
1∧
|x − y|

!d+α

≤ q µ (t, x, y) ≤ C3 eC4 t t

for all (t, x, y) ∈ (0, ∞) × Rd × Rd .

156

d
−α

t1/α
1∧
|x − y|

!d+α

4

Feynman-Kac Semigroups Given by Discontinuous Additive
Functionals and Continuous Additive Functionals of Zero Energy

We first deal with a class of Feynman-Kac semigroups given by a purely discontinuous additive
functional. To do this, we need to recall a definition and introduce some notations.
Definition 4.1 Suppose that F is a function on Rd × Rd . We say that F belongs to the class
Jd,α if F is bounded, vanishing on the diagonal, and the function
Z
|F (x, y)|
x 7→
dy
d+α
Rd |x − y|
belongs to Kd,α .
It is easy to see from the definition above that if F ∈ Jd,α , then e−F is also in Jd,α .
The process X has a L´evy system (N, H) given by Ht = t and
N (x, dy) = 2c(x, y)|x − y|−(d+α) m(dy),
that is, for any nonnegative function f on Rd × Rd vanishing on the diagonal


Z tZ
X
2c(Xs , y)f (Xs , y)


Ex
f (Xs− , Xs ) = Ex
m(dy)ds
|Xs − y|d+α
d
R
0
s≤t

for every x ∈ Rd and t > 0.

For any F belonging to Jd,α , we put
BtF =

X

F (Xs− , Xs ),

t ≥ 0.

s≤t

We can define the following so-called non-local Feynman-Kac semigroup


F
StF f (x) = Ex e−Bt f (Xt ) .

This semigroup has been studied in [12] and [6].

Theorem 4.1 Suppose that F ∈ Jd,α is a symmetric function. The semigroup {StF , t ≥ 0}
admits a density k F (t, x, y) with respect to m and that k F is jointly continuous on (0, ∞) × Rd ×
Rd . Furthermore, there exist positive constants C1 , C2 , C3 and C4 such that
!d+α
!d+α
d
d
t1/α
t1/α
−C2 t − α
F
C4 t − α
1∧
1∧
C1 e
t
≤ k (t, x, y) ≤ C3 e t
|x − y|
|x − y|
for all (t, x, y) ∈ (0, ∞) × Rd × Rd .
157

Proof. Put G = e−F − 1 and
V (x) =

Z

Rd

2c(x, y)G(x, y)
m(dy).
|x − y|d+α

Using the definition of L´evy systems we can see that BtG − AVt is a Px -martingale for every
x ∈ Rd . It follows from the Doleans-Dade formula that
F −AV
t

Mt = e−Bt

(4.1)

is a local martingale under Px for every x ∈ Rd . Mt is a clearly a multiplicative functional, so
Mt is supermartingale multiplicative functional of X. Therefore by Theorem 62.19 of [10], Mt
˜ x , x ∈ Rd } by dP
˜ x = Mt dPx on Mt . We will use
defines a family of probability measures {P
˜ x ) denote this new process. It follows from [6] that X
˜ = (Xt , P
˜ is a symmetric Hunt process
X
˜ F)
˜ is given by F˜ = F and
on Rd whose Dirichlet form (E,
Z Z
e−F (x,y) c(x, y)(u(x) − u(y))2
˜
E(u, u) =
m(dx)m(dy), u ∈ F.
|x − y|d+α
Rd Rd
˜ is an α-stable-like process in the sense of [4]. It follows from (4.1) that for any nonnegThus X
ative function f on Rd , any t > 0 and any x ∈ Rd we have




F
˜ x eAVt f (Xt ) .
Ex e−Bt f (Xt ) = E
˜ with a potential −V . Now
Therefore StF can be regarded as a Feynman-Kac semigroup of X
our assertion follows immediately from Theorem 3.4.
✷

Now we deal with Feynman-Kac semigroups given by continuous additive functionals of zero
energy. To do this, we need to recall some facts from the theory of Dirichlet forms.
We denote by Fe the family of functions u on Rd that is finite almost everywhere and there is
an E-Cauchy sequence {un } ⊂ F such that limn→∞ un = u almost everywhere on Rd . (E, Fe )
is called the extended Dirichlet space of (E, F). It is well known that any u ∈ Fe has a quasicontinuous version u
˜. In this paper, whenever we talk about a function u ∈ Fe , we implicitly
assume that we are dealing with its quasi-continuous version. It is known (see [9]) that, for any
u ∈ Fe , u(Xt ) has the following Fukushima’s decomposition
u(Xt ) = u(X0 ) + Mtu + Ntu ,

t ≥ 0.

Here Mtu is a martingale additive functional of X and Ntu is a continuous additive functional of
X with zero quadratic variation. Note that in general, Ntu is not a process of finite variation.
The martingale part Mtu is given by

X
(u(Xs ) − u(Xs− ))1{|u(Xs )−u(Xs− )|>1/n}
Mtu = lim
n→∞ 
01/n}
0
158

Let µ be the Revuz measure associated with the sharp bracket positive continuous additive
functional < M u >. Then
Z
2c(x, y)(u(x) − u(y))2
µ (dx) =
m(dy)m(dx).
|x − y|d+α
Rd
It follows from [8] that when u ∈ Fe satisfies the condition µ ∈ Kd,α , the additive functionals
Mtu and Ntu can be taken as additive functionals in the strict sense.
For any quasi-continuous function u ∈ Fe with µ ∈ Kd,α , we will consider the following
Feynman-Kac semigroup {Rtu : t ≥ 0}:


u
Rtu f (x) = Ex eNt f (Xt ) , t ≥ 0.
This semigroup has been studied in [7].

Theorem 4.2 Suppose that u is bounded quasi-continuous function belonging to Fe and that
µ ∈ Kd,α . The semigroup {Rtu , t ≥ 0} admits a density ru (t, x, y) with respect to m and ru
is jointly continuous on (0, ∞) × Rd × Rd . Furthermore, there exist positive constants C1 , C2 , C3
and C4 such that
!d+α
!d+α
d
d
t1/α
t1/α
u
C4 t − α
−C2 t − α
≤ r (t, x, y) ≤ C3 e t
C1 e
t
1∧
1∧
|x − y|
|x − y|
for all (t, x, y) ∈ (0, ∞) × Rd × Rd .
Proof. Put ρ(x) = e−u(x) and ρ(∂) = 1. It is easy to check that ρ − 1 ∈ Fe . Thus if we define
M ρ := M ρ−1 and N ρ := N ρ−1 , then we have the Fukushima’s decomposition for ρ(Xt ):
ρ(Xt ) = ρ(X0 ) + Mtρ + Ntρ .
Define a square integrable martingale M by
Z
Mt =

t

0

1
dMsρ .
ρ(Xs− )

Let Lρt be the solution of the following SDE:
Lρt

=1+

Z

t

0

Lρs− dMs .

It follows from the Doleans-Dade formula that
Y
(1 + Ms − Ms− )e−(Ms −Ms− )
Lρt = exp(Mt )
0