Green measure

In mathematics — specifically, in stochastic analysis — the Green measure is a measure associated to an Itō diffusion. There is an associated Green formula representing suitably smooth functions in terms of the Green measure and first exit times of the diffusion. The concepts are named after the British mathematician George Green and are generalizations of the classical Green's function and Green formula to the stochastic case using Dynkin's formula.

Notation

Let "X" be an R^"n"-valued Itō diffusion satisfying an Itō stochastic differential equation of the form

:$mathrm\{d\}\; X\_\{t\}\; =\; b(X\_\{t\})\; ,\; mathrm\{d\}\; t\; +\; sigma\; (X\_\{t\})\; ,\; mathrm\{d\}\; B\_\{t\}.$

Let P^"x" denote the law of "X" given the initial condition "X"₀ = "x", and let E^"x" denote expectation with respect to P^"x". Let "L"_"X" be the infinitesimal generator of "X", i.e.

:

Let "D" ⊆ R^"n" be an open, bounded domain; let "τ"_"D" be the first exit time of "X" from "D":

:$au\_\{D\}\; :=\; inf\; \{\; t\; geq\; 0\; |\; X\_\{t\}\; ot\; in\; D\; \}.$

The Green measure

Intuitively, the Green measure of a Borel set "H" (with respect to a point "x" and domain "D") is the expected length of time that "X", having started at "x", stays in "H" before it leaves the domain "D". That is, the Green measure of "X" with respect to "D" at "x", denoted "G"("x", ·), is defined for Borel sets "H" ⊆ R^"n" by

:$G(x,\; H)\; =\; mathbf\{E\}^\{x\}\; left\; [\; int\_\{0\}^\{\; au\_\{D\; chi\_\{H\}\; (X\_\{s\})\; ,\; mathrm\{d\}\; s\; ight]\; ,$

or for bounded, continuous functions "f" : "D" → R by

:$int\_\{D\}\; f(y)\; ,\; G(x,\; mathrm\{d\}\; y)\; =\; mathbf\{E\}^\{x\}\; left\; [\; int\_\{0\}^\{\; au\_\{D\; f(X\_\{s\})\; ,\; mathrm\{d\}\; s\; ight]$

The name "Green measure" comes from the fact that if "X" is Brownian motion, then

:$G(x,\; H)\; =\; int\_\{H\}\; G(x,\; y)\; ,\; mathrm\{d\}\; y,$

where "G"("x", "y") is Green's function for the operator "L"_"X" (which, in the case of Brownian motion, is ½Δ, where Δ is the Laplace operator) on the domain "D".

The Green formula

Suppose that E^"x" ["τ"_"D"] < +∞ for all "x" ∈ "D", and let "f" : R^"n" → R be of smoothness class "C"² with compact support. Then

:

In particular, for "C"² functions "f" with support compactly embedded in "D",

:$f(x)\; =\; -\; int\_\{D\}\; L\_\{X\}\; f\; (y)\; ,\; G(x,\; mathrm\{d\}\; y).$

The proof of Green's formula is an easy application of Dynkin's formula and the definition of the Green measure:

:::$=\; f(x)\; +\; mathbf\{E\}^\{x\}\; left\; [\; int\_\{0\}^\{\; au\_\{D\; L\_\{X\}\; f\; (X\_\{s\})\; ,\; mathrm\{d\}\; s\; ight]$::$=\; f(x)\; +\; int\_\{D\}\; L\_\{X\}\; f\; (y)\; ,\; G(x,\; mathrm\{d\}\; y).$

References

* cite book
last = Øksendal
first = Bernt K.
authorlink = Bernt Øksendal
title = Stochastic Differential Equations: An Introduction with Applications
edition = Sixth edition
publisher=Springer
location = Berlin
year = 2003
id = ISBN 3-540-04758-1 MathSciNet|id=2001996 (See Section 9)