Statement of The Theorem
Let X be the Rn-valued Itō diffusion solving the stochastic differential equation
For a point x ∈ Rn, let Px denote the law of X given initial datum X0 = x, and let Ex denote expectation with respect to Px.
Let A be the infinitesimal generator of X, defined by its action on compactly-supported C2 (twice differentiable with continuous second derivative) functions f : Rn → R as
or, equivalently,
Let τ be a stopping time with Ex < +∞, and let f be C2 with compact support. Then Dynkin's formula holds:
In fact, if τ is the first exit time for a bounded set B ⊂ Rn with Ex < +∞, then Dynkin's formula holds for all C2 functions f, without the assumption of compact support.
Read more about this topic: Dynkin's Formula
Famous quotes containing the words statement of, statement and/or theorem:
“The most distinct and beautiful statement of any truth must take at last the mathematical form.”
—Henry David Thoreau (1817–1862)
“The parent is the strongest statement that the child hears regarding what it means to be alive and real. More than what we say or do, the way we are expresses what we think it means to be alive. So the articulate parent is less a telling than a listening individual.”
—Polly Berrien Berends (20th century)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)