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:
“One is apt to be discouraged by the frequency with which Mr. Hardy has persuaded himself that a macabre subject is a poem in itself; that, if there be enough of death and the tomb in one’s theme, it needs no translation into art, the bold statement of it being sufficient.”
—Rebecca West (1892–1983)
“Eroticism has its own moral justification because it says that pleasure is enough for me; it is a statement of the individual’s sovereignty.”
—Mario Vargas Llosa (b. 1936)
“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)