Kolmogorov Forward and Backward Equations

Research Depth 111 in the knowledge graph I know this Set as goal
Unlocks 2 downstream topics
kolmogorov-equations fokker-planck transition-density parabolic-pde

Core Idea

The Kolmogorov equations describe how the transition density p(x,t; y,T) of a diffusion dX = μ(X)dt + σ(X)dW evolves. The backward equation ∂p/∂t + μ(x)∂p/∂x + (1/2)σ²(x)∂²p/∂x² = 0 acts on the initial variables (x,t). The forward equation (Fokker-Planck) ∂p/∂T = -(∂/∂y)[μ(y)p] + (1/2)(∂²/∂y²)[σ²(y)p] acts on the final variables (y,T). Together they characterize the full probabilistic evolution of diffusion processes.

Explainer

The Kolmogorov equations describe how the probability density of a diffusion process evolves in time. For the process dX = μ(X)dt + σ(X)dW with transition density p(x,t; y,T) = P(X(T) ∈ dy | X(t) = x)/dy, there are two complementary PDEs. The backward equation ∂p/∂t + μ(x)∂p/∂x + (1/2)σ²(x)∂²p/∂x² = 0 treats the terminal point (y,T) as fixed and differentiates with respect to the initial point (x,t). The forward equation (Fokker-Planck) ∂p/∂T = -(∂/∂y)[μ(y)p] + (1/2)(∂²/∂y²)[σ²(y)p] treats the initial point (x,t) as fixed and differentiates with respect to the terminal point (y,T).

The backward equation is a direct consequence of Itô's formula and the Feynman-Kac connection. If u(x,t) = E[g(X(T)) | X(t) = x], then u satisfies ∂u/∂t + μ(x)∂u/∂x + (1/2)σ²(x)∂²u/∂x² = 0 — this is the backward equation with g as terminal data. The transition density is the special case where g is a delta function: u(x,t) = p(x,t; y,T). The backward equation's differential operator L = μ∂/∂x + (1/2)σ²∂²/∂x² is called the infinitesimal generator of the diffusion, and it encodes how the process moves locally.

The forward equation describes how an entire distribution evolves. If at time t the process has density ρ(y,t), then ρ evolves by ∂ρ/∂t = -(∂/∂y)[μ(y)ρ] + (1/2)(∂²/∂y²)[σ²(y)ρ]. The operator on the right is the formal adjoint L* of the generator L. The two terms have clear physical meanings: -(∂/∂y)[μρ] is advection (drift carries probability in the direction of μ), and (1/2)(∂²/∂y²)[σ²ρ] is diffusion (noise spreads probability). For Brownian motion (μ=0, σ=1), the forward equation reduces to the heat equation ∂ρ/∂t = (1/2)∂²ρ/∂y² — the connection between probability diffusion and heat diffusion that Einstein exploited in his 1905 paper.

Stationary distributions are found by setting ∂ρ/∂T = 0 in the forward equation, yielding the ODE 0 = -(d/dy)[μ(y)π(y)] + (1/2)(d²/dy²)[σ²(y)π(y)]. For the Ornstein-Uhlenbeck process (μ(y) = -θy, σ = const), this gives π(y) ∝ exp(-θy²/σ²), confirming the Gaussian stationary distribution. More generally, one-dimensional diffusions with σ(y) > 0 have explicit stationary densities via the formula π(y) ∝ (1/σ²(y))exp(2∫μ(y)/σ²(y) dy), provided this integrates to a finite total. The Kolmogorov equations thus provide a complete toolkit for analyzing the transient and long-run behavior of diffusion processes.

Practice Questions 3 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsCombining Like TermsOne-Step EquationsTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesAngle Pairs: Complementary, Supplementary, and VerticalParallel Lines and TransversalsCorresponding AnglesAlternate Interior AnglesTriangle Angle Sum TheoremExterior Angle TheoremTriangle Inequality TheoremSimilar Triangles: AA SimilaritySimilar Triangles: SSS and SAS SimilarityProportions in Similar TrianglesRight Triangle Trigonometry IntroductionTrigonometric Ratios ReviewRadian MeasureConverting Between Degrees and RadiansThe Unit CircleGraphing Sine and CosineGraphing Tangent and Reciprocal Trigonometric FunctionsDerivatives of Trigonometric FunctionsAntiderivativesIterated Integrals and Fubini's TheoremDouble Integrals in Cartesian CoordinatesDouble Integrals over Rectangular RegionsDouble Integrals in Polar CoordinatesDouble Integrals: Definition and SetupIterated Integrals and Fubini's TheoremDouble Integrals over Rectangular RegionsDouble Integrals over General RegionsApplications of Double Integrals: Area, Mass, and MomentsCenter of MassConservation of Linear MomentumElastic CollisionsInelastic CollisionsCoefficient of RestitutionCollision Analysis and Real-World ApplicationsTwo-Body Collisions in the Center-of-Mass FrameReduced Mass and Two-Body ProblemsKinematics in Two DimensionsProjectile MotionCircular Motion: KinematicsRotational KinematicsTorqueMoment of InertiaRotational Kinetic EnergyThe Work-Energy TheoremConservation of Mechanical EnergyFirst Law of ThermodynamicsThermodynamic Processes and the PV DiagramIsobaric and Isochoric ProcessesHeat EnginesThermal Efficiency of Heat EnginesRefrigerators and Heat PumpsSecond Law of ThermodynamicsEntropyMicrostates and MacrostatesEnsemble Theory FundamentalsCanonical Ensemble (NVT)Partition Function: Definition and PropertiesThe Canonical Partition Function and Thermodynamic DerivationMaxwell-Boltzmann Distribution and Classical LimitBrownian MotionProperties of Brownian MotionThe Itô IntegralItô's Formula (Itô's Lemma)Stochastic Differential EquationsKolmogorov Forward and Backward Equations

Longest path: 112 steps · 534 total prerequisite topics

Prerequisites (3)

Leads To (2)