Representation of solution for elliptic PDE using
stochastic process.
roposition
Let
be a bounded subset of
with
-boundary.
Let
and
,
.
The solution of the boundary
problem
is given
by
where the
is the standard Brownian motion and
is the first time when the process
exits
.
Proof
We verify for one
dimension:
By the compatibility condition
we have
.
We
continue
Note
that
hence
where
.
So that
.
We calculate as in the section
( Backward_equation_section) and
under assumption that
is away from the boundary
:
It remains to note that
Indeed,
for any
.