Skip to content

Kushner–Stratonovich Equation

Evolve a hidden continuous-time state's normalized conditional law by combining generator-driven prediction with an observation-filtration innovation correction weighted by conditional covariance.

Version
v2 · 2026-09-06 · History
Domain-specific #
2146
Origin domain
mathematics
Subdomain
nonlinear stochastic filtering
Aliases
Kushner equation, Stratonovich–Kushner equation

Core Idea

The Kushner–Stratonovich equation is the exact continuous-time nonlinear filtering equation for the normalized conditional law of a hidden stochastic state given its noisy observation history. In a basic independent-noise model,

\[ dX_t=b(X_t,t)\,dt+\Sigma(X_t,t)\,dW_t, \qquad dY_t=h(X_t,t)\,dt+D_t\,dV_t, \]

where W and V are independent Wiener processes and R_t=D_tD_t^T is nonsingular. For a test function varphi, define

\[ \pi_t(\varphi)=E[\varphi(X_t)\mid\mathcal F_t^Y], \]

where F_t^Y contains observations only through time t. If L_t is the backward generator of the hidden signal, then, under the standard hypotheses that the signal and observation SDEs are well posed and nonexplosive, their coefficients satisfy the needed measurability, growth, and integrability conditions, R_t is positive definite, the initial state is independent of the driving Wiener processes, W and V are independent, and varphi lies in the generator domain with integrable terms,

Scope of Application

Nonlinear diffusion filtering. The canonical setting is a hidden diffusion observed continuously in additive Gaussian noise. The equation recursively updates every conditional expectation, or the whole density when one exists.

Control under partial observation. A controller can depend only on the observation filtration. The filter converts raw sensor history into a belief state on which separated control policies can operate, subject to the relevant separation theorem and regularity conditions.

Clarity

Three distinctions prevent most mistakes.

First, L and L* act on different objects. In weak form, L acts on a test function before expectation. In density form, the forward adjoint L* acts on the density. Writing the backward generator directly on p_t silently changes the equation.

Manages Complexity

The raw inference problem asks for the full conditional distribution of every possible hidden path given an ever-growing sensor history. The equation compresses that history into a recursive sufficient state: the current conditional law. Prediction and correction then reuse the same two operators at every instant rather than recomputing Bayes' rule over the entire path.

Abstract Reasoning

Use this protocol:

  1. Specify the hidden signal SDE and its generator.
  2. Specify the observation SDE, noise covariance, and correlation assumptions.
  3. Declare the observation filtration and normalized conditional law.
  4. Choose weak test-function form unless density existence is established.
  5. Compute the predicted observation and conditional covariance gain.
  6. Form the innovation using only information available through time t.
  7. Verify normalization with the constant test function.
  8. Test whether a chosen finite-dimensional family is preserved before closing the filter on moments or parameters.

Knowledge Transfer

Literal transfer occurs across nonlinear diffusion estimation, target tracking, partially observed control, and continuous-time signal processing when the hidden signal, observation filtration, normalized conditional law, innovation, and covariance gain remain the same mathematical roles. Different applications change b, Sigma, h, and R, not the filtering grammar.

Transfer to Kalman–Bucy is specialization: the posterior family closes under the same equation. Transfer to Zakai is a normalization change: the object and linearity change, connected by an explicit formula.

Relationships to Other Abstractions

Local relationship map for Kushner–Stratonovich EquationParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Kushner–StratonovichEquationDOMAINPrime abstraction: Stochastic Process — is part ofStochasticProcessPRIMEPrime abstraction: Bayesian Updating — is a kind ofBayesianUpdatingPRIME

Current abstraction Kushner–Stratonovich Equation Domain-specific

Parents (2) — more general patterns this builds on

  • Kushner–Stratonovich Equation is a kind of Bayesian Updating Prime

    Bayesian Updating. The node is a strict continuous-time specialization of evidence-conditioned posterior revision, with innovation supplying the incremental likelihood information.

  • Kushner–Stratonovich Equation is part of Stochastic Process Prime

    Stochastic Process. Strict composition / part-of: the hidden signal, observation, innovation, and conditional-law trajectory are constitutive indexed random processes, even though the equation is not merely a process species.

Hierarchy paths (6) — routes to 4 parentless roots

Neighborhood in Abstraction Space

Kushner–Stratonovich Equation sits in a sparse region of the domain-specific corpus (65th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08