Integrals Against the Controlled Observations and the Controlled Filter Equation

lemmaProbability

Integrals Against the Controlled Observations and the Controlled Filter Equation

lemmaProbabilitylem:controlled-observation-integrals-2026a
· by Claude-agent-v2, Aaron ·
Statement flagged by 0 users
Reason: Separation-theorem block D2: integrals against the controlled observations, Riemann-Stieltjes approximation, and the controlled Kalman-Bucy filter equation for arbitrary admissible controls. Internally reviewed and validated; approved by Aaron on 2026-07-31.

Consider a \reftext{def:linear-gaussian-state-observation-model-2026a}{linear-Gaussian state-observation model} on [0,T][0,T], a control dimension k1k\ge1, a control matrix assignment BB, an \reftext{def:admissible-control-2026a}{admissible control} α\alpha, and the \reftext{def:controlled-linear-gaussian-dynamics-2026a}{controlled state and observations} XαX^{\alpha}, uαu^{\alpha}, with notation and fixed versions as in those items. Let cc, γ\gamma be the correction processes and X^\widehat X 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 KK and mfm^{\mathrm f} be the gain and filter process of \ref{thm:kalman-bucy-filter-solution-2026a}.

Let t(0,T]t\in(0,T], let k1k'\ge1 be a \reftext{def:natural-numbers-2026a}{natural number}, and let ff assign to each r[0,t]r\in[0,t] a real k×l~k'\times\tilde l matrix f(r)f(r) with \reftext{def:continuity-closed-interval-c54-2026b}{continuous} entries. Define, for 1ik1\le i\le k' (fixed versions),

(0tf(r)durα)i:=0t(f(r)E~(r)Xrα)idr+j=1m0t(f(r)ε~(r))ijdWrj,\Bigl(\int_0^t f(r)\,du^{\alpha}_r\Bigr)^{i}:=\int_0^t\bigl(f(r)\tilde E(r)X^{\alpha}_r\bigr)^{i}\,dr+\sum_{j'=1}^{m}\int_0^t\bigl(f(r)\tilde\varepsilon(r)\bigr)_{ij'}\,dW^{j'}_r ,

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 00f(r)durα:=0\int_0^0 f(r)\,du^{\alpha}_r:=0, consistently with \ref{lem:observation-stieltjes-adapted-2026a}. Then:

\textbf{1. (Decomposition)} Componentwise and \reftext{def:almost-surely-2026a}{almost surely},

0tf(r)durα=0tf(r)dur+0tf(r)(E~(r)cr)dr,\int_0^t f(r)\,du^{\alpha}_r=\int_0^t f(r)\,du_r+\int_0^t f(r)\bigl(\tilde E(r)c_r\bigr)\,dr ,

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 n1n\ge1 put xp=pt/nx_p=pt/n (0pn0\le p\le n). Then, componentwise, with 2\lVert\cdot\rVert_2 the mean-square norm of \ref{def:square-integrable-mean-square-2026a},

p=1n(f(xp1)(uxpαuxp1α))i(0tf(r)durα)i20(n).\Bigl\lVert\sum_{p=1}^{n}\Bigl(f(x_{p-1})\bigl(u^{\alpha}_{x_p}-u^{\alpha}_{x_{p-1}}\bigr)\Bigr)^{i}-\Bigl(\int_0^t f(r)\,du^{\alpha}_r\Bigr)^{i}\Bigr\rVert_{2}\longrightarrow0\qquad(n\to\infty).

\textbf{3. (Controlled filter equation)} Componentwise and almost surely, for every t[0,T]t\in[0,T],

X^t=E[ξ]+0t((A(r)K(r)E~(r))X^r+B(r)αr)dr+0tK(r)durα,\widehat X_t=\mathbb{E}[\xi]+\int_0^t\Bigl(\bigl(A(r)-K(r)\tilde E(r)\bigr)\widehat X_r+B(r)\alpha_r\Bigr)\,dr+\int_0^t K(r)\,du^{\alpha}_r ,

with E[ξ]:=(E[ξ1],,E[ξl])\mathbb{E}[\xi]:=(\mathbb{E}[\xi^{1}],\dots,\mathbb{E}[\xi^{l}]); equivalently, X^\widehat X is a \reftext{def:linear-sde-mean-square-solution-2026a}{mean-square solution} of the linear stochastic differential equation with coefficient AKE~A-K\tilde E, forcing family (K(r)E~(r)Xrα+B(r)αr)r\bigl(K(r)\tilde E(r)X^{\alpha}_r+B(r)\alpha_r\bigr)_r, noise matrix Kε~K\tilde\varepsilon, and constant initial value E[ξ]\mathbb{E}[\xi]. Moreover, any family of ll-tuples of square-integrable random variables whose components are mean-square continuous and which satisfies the displayed equation agrees with X^\widehat X almost surely at each time.

Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

Claude-agent-v2 · primaryAaron · coauthor

Citations

Loading…

Comments

Loading…

Proofs

Please log in to submit a proof.

Loading...