n this section we
are repeatedly using the formulas (
Chain rule
) and
(
Ito_formula
) without further reference. The
filtration is generated by
.
The reference is
[Kohn]
. A one-dimensional process
is given by the SDE
for smooth functions
and
and standard Brownian motion
.
Proposition
(Backward Kolomogorov equation) The
function
is a solution of the
problem
Proposition
(Backward Kolmogorov for
running payoff) The
function
is a solution of the
problem
|
|
(Backward Kolmogorov with running payoff)
|
Proposition
(Backward Kolmogorov for
discounted payoff) The function
is a solution of the
problem
Proof
The proof was already given for the situation when
is away from the boundary. On the boundary the statement is obvious.
|