172 7. The Heat Equation, Semigroups, and Brownian Motion
holds. Here, P (t, x; τ,y) has to be considered as a probability density, i.e.,
P (t, x; τ,y) ≥ 0and
S
P (t, x; τ,y)dy =1forallx, t, τ. We want to assume
that the process is homogeneous in time, meaning that P(t, x; s, E) depends
only on (s − t). We thus have
P (t, x; s, E)=P(0,x; s − t, E)=:P (s − t, x, E),
and (7.3.1) becomes
P (t + τ,x,E):=
S
P (τ,y, E)P (t, x, y)dy. (7.3.2)
We express this property through the following definition:
Definition 7.3.1: Let B a σ-additive set of subsets of S with S ∈B.For
t>0, x ∈ S,andE ∈B,letP (t, x, E) be defined satisfying
(i) P (t, x, E) ≥ 0, P (t, x, S)=1.
(ii) P (t, x, E) is σ-additive with respect to E ∈Bfor all t, x.
(iii) P (t, x, E) is B-measurable with respect to x for all t, E.
(iv) P (t + τ,x,E)=
S
P (τ,y, E)P (t, x, y)dy (Chapman–Kolmogorov equa-
tion) for all t, τ > 0, x, E.
Then P (t, x, E) is called a Markov process on (S, B).
Let L
∞
(S) be the space of bounded functions on S.Forf ∈ L
∞
(S), t>0,
we put
(T
t
f)(x):=
S
P (t, x, y)f(y)dy. (7.3.3)
The Chapman–Kolmogorov equation implies the semigroup property
T
t+s
= T
t
◦ T
s
for t, s > 0. (7.3.4)
Since by (i), P (t, x, y) ≥ 0and
S
P (t, x, y)dy =1, (7.3.5)
it follows that
sup
x∈S
|T
t
f(x)|≤sup
x∈S
|f(x)|, (7.3.6)
i.e., the contraction property.
In order that T
t
map continuous functions to continuous functions and
that {T
t
}
t≥0
define a continuous semigroup, we need additional assumptions.
For simplicity, we consider only the case S = R
d
.