Integrals Against the Controlled Observations and the Controlled Filter Equation
lemmaProbabilitylem:controlled-observation-integrals-2026aConsider a \reftext{def:linear-gaussian-state-observation-model-2026a}{linear-Gaussian state-observation model} on , a control dimension , a control matrix assignment , an \reftext{def:admissible-control-2026a}{admissible control} , and the \reftext{def:controlled-linear-gaussian-dynamics-2026a}{controlled state and observations} , , with notation and fixed versions as in those items. Let , be the correction processes and the \reftext{lem:controlled-state-conditional-expectation-2026a}{controlled estimator}, with the fixed versions of \ref{lem:controlled-state-superposition-2026a} and \ref{lem:controlled-state-conditional-expectation-2026a}, and let and be the gain and filter process of \ref{thm:kalman-bucy-filter-solution-2026a}.
Let , let be a \reftext{def:natural-numbers-2026a}{natural number}, and let assign to each a real matrix with \reftext{def:continuity-closed-interval-c54-2026b}{continuous} entries. Define, for (fixed versions),
with the \reftext{def:mean-square-riemann-integral-2026a}{mean-square Riemann integral} (existing by \ref{lem:mean-square-riemann-integral-existence-2026a} and claims 1-2 of \ref{lem:mean-square-riemann-integral-properties-2026a}) and \reftext{thm:vector-wiener-integral-gaussian-2026a}{Wiener integrals} with the versions fixed as in the model; set , consistently with \ref{lem:observation-stieltjes-adapted-2026a}. Then:
\textbf{1. (Decomposition)} Componentwise and \reftext{def:almost-surely-2026a}{almost surely},
where the first integral on the right is the observation integral of \ref{lem:observation-stieltjes-adapted-2026a} and the last is the mean-square Riemann integral (componentwise, with the \reftext{def:matrix-vector-product-2026a}{matrix-vector product}).
\textbf{2. (Riemann-Stieltjes approximation)} For put (). Then, componentwise, with the mean-square norm of \ref{def:square-integrable-mean-square-2026a},
\textbf{3. (Controlled filter equation)} Componentwise and almost surely, for every ,
with ; equivalently, is a \reftext{def:linear-sde-mean-square-solution-2026a}{mean-square solution} of the linear stochastic differential equation with coefficient , forcing family , noise matrix , and constant initial value . Moreover, any family of -tuples of square-integrable random variables whose components are mean-square continuous and which satisfies the displayed equation agrees with almost surely at each time.
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…