Diffusion amplitude Created 2026-10-06 Updated 2026-10-07
The coefficient multiplying the Brownian motion increment in a scalar stochastic differential equation. The local variance rate is , and the second-order coefficient in the backward Kolmogorov backward equation is . This distinguishes the amplitude from the physical diffusion coefficient convention .
Diffusion generator Created 2026-10-06 Updated 2026-10-14
For the one-dimensional Itô equation , the infinitesimal generator on smooth test functions is . The Kolmogorov backward equation is , while its formal adjoint produces the Fokker-Planck equation.
Markov semigroup 2026-10-14
The transition operators of a time-homogeneous Markov process satisfy by the Markov property. They preserve constants and positivity. When the generator and function domain permit differentiation, is the Kolmogorov backward equation. Transition semigroup of a continuous-time Markov chain is the discrete-state special case.
Write the diffusion process as , with . Its diffusion generator is
The Itô formula says that is a local martingale, and is a true martingale when the stopped terms are integrable. Taking expectations gives Dynkin formula for a diffusion. This is the bridge from infinitesimal stochastic dynamics to differential equations.
For the transition semigroup , the Markov property gives . On a smooth generator domain where differentiation is valid, differentiating the semigroup identity yields the Kolmogorov backward equation , with initial value . If a transition density exists, integration against smooth compactly supported tests and integration by parts give the Fokker-Planck equation
The backward equation acts on the starting point, while this forward equation describes the evolving probability density.
Here is a full representation proof with a source and potential. Suppose is nonexplosive, is bounded, are bounded, and is a bounded classical solution on a finite slab of
For a process started from at time , put . The Itô product rule gives
Therefore is a local martingale. It is bounded in absolute value by , so it is a true martingale, without requiring a global derivative bound. Its endpoint expectations give the parabolic Feynman-Kac formula with a source
This proves uniqueness in the bounded classical class. Setting recovers the backward heat or diffusion representation; the minus sign in the killing term produces the negative exponential.
For an elliptic problem, stop at the first exit from a bounded regular domain . Suppose , is bounded and solves with boundary data . The same calculation, stopped at , gives a martingale dominated by . Continuity puts on the boundary. Taking the limit and using dominated convergence gives the elliptic Feynman-Kac formula
For , harmonic functions for give stopped martingales and are averages of their exit-boundary values. For Brownian motion , this is the probabilistic solution of the Dirichlet problem. Suitable smooth coefficients and uniform ellipticity give familiar settings where the required diffusion, exit-time integrability and classical solutions exist. The representation itself follows from the stated regularity and integrability conditions, rather than claiming classical solvability for arbitrary coefficients.
Define the diffusion generator . Fix a horizon and start the strong solution from the deterministic state . The Itô formula applied to the time-reversed test function gives
The drift vanishes by the Kolmogorov backward equation. This is initially a local martingale; localization on compact state/time sets justifies the stochastic integral without a global derivative bound. Since itself is bounded, this local martingale is a true martingale on . Its two endpoint expectations give
This is the bounded backward-equation stochastic representation. Starting the strong solution at deterministic is the precise meaning of the conditional notation at . Also is bounded, even though boundedness was not separately imposed on .
The killed transition operator is
The infinitesimal generator of the diffusion is
The Markov property and the Chapman-Kolmogorov equation give, for each fixed ,
Dividing by , letting , and using the generator definition together with the assumed regularity gives the pointwise Kolmogorov backward equation
The backward generator of the drift--diffusion is . The survival probability satisfies the Kolmogorov backward equation
with
The target is absorbing, while reflection gives the Neumann boundary condition at .
The adsorption mechanism is uniform along the two vertical sides, and evolves independently of . Consequently the mean first-passage time depends only on the initial -coordinate. Its Kolmogorov backward equation for is
The forward partially absorbing boundary condition for a diffusion is . The boundary term in the adjoint relation is
because the diffusion coefficient is one. It vanishes for every admissible precisely when
For , the two Robin boundary conditions are therefore
The general solution of the ordinary differential equation is
The right condition gives , and the left gives . At the prescribed initial position,
With an absorbing boundary condition for a diffusion on each vertical side, the splitting probability of hitting the left side before the right is harmonic for the Kolmogorov backward equation:
For ,
The particle starts at , so
The continuous limit at zero is , as required by reflection symmetry. A large positive drift drives the particle toward the right and gives ; a large negative drift drives it toward the left and gives .
Fix and apply Itô formula to for . Its drift is
by the Kolmogorov backward equation. Hence
Localization makes this a martingale, and boundedness of permits passage to the limit. Conditioning the identity on gives
This is the required special case of the Feynman-Kac formula, proved directly.
Splitting probability Created 2026-09-28 Updated 2026-10-06
A splitting probability is the probability that a stochastic process reaches one target before competing targets. For a diffusion it is harmonic for the Kolmogorov backward equation, with boundary values one on the selected target and zero on the others.