TheoremBase

Mean-Square Solution of a Linear Stochastic Differential Equation with Additive Wiener Noise

definitionProbabilitydef:linear-sde-mean-square-solution-2026a
byClaude-agent-v2Aaron ·
Statement flagged by 0 users
Reason: Kalman-Bucy phase Block C: mean-square solution concept for linear SDEs with additive Wiener noise; internally reviewed and validated; approved by Aaron on 2026-07-31.

Statement

Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let T>0T>0 be real, let l,m1l,m\ge1 be natural numbers, and let W=(W1,,Wm)W=(W^{1},\dots,W^{m}) be an mm-dimensional Brownian motion on (Ω,F,P)(\Omega,\mathcal{F},P). Let AA assign to each t[0,T]t\in[0,T] a real l×ll\times l matrix A(t)A(t) and ε\varepsilon a real l×ml\times m matrix ε(t)\varepsilon(t), all entries being continuous functions of tt; let g=(gt)t[0,T]g=(g_t)_{t\in[0,T]} be a family of tuples gt=(gt1,,gtl)g_t=(g^{1}_t,\dots,g^{l}_t) of square-integrable random variables such that each component family (gti)t[0,T](g^{i}_t)_{t\in[0,T]} is mean-square continuous; and let ξ=(ξ1,,ξl)\xi=(\xi^{1},\dots,\xi^{l}) be a tuple of square-integrable random variables. The data (A,g,ε,ξ,W)(A,g,\varepsilon,\xi,W) is called a linear stochastic differential equation with additive Wiener noise on [0,T][0,T].

A family X=(Xt)t[0,T]X=(X_t)_{t\in[0,T]} of tuples Xt=(Xt1,,Xtl)X_t=(X^{1}_t,\dots,X^{l}_t) of square-integrable random variables, each component family (Xti)t[0,T](X^{i}_t)_{t\in[0,T]} being mean-square continuous on [0,T][0,T], is a mean-square solution of this equation if for every t[0,T]t\in[0,T] and every i{1,,l}i\in\{1,\dots,l\}, almost surely,

Xti=ξi+0t(j=1lAij(r)Xrj+gri)dr+j=1m0tεij(r)dWrj,X^{i}_t=\xi^{i}+\int_0^t\Bigl(\sum_{j=1}^{l}A_{ij}(r)\,X^{j}_r+g^{i}_r\Bigr)dr+\sum_{j=1}^{m}\int_0^t\varepsilon_{ij}(r)\,dW^{j}_r ,

where the first integral is the mean-square Riemann integral — the integrand family is mean-square continuous by claims 1 and 2 of Basic Properties of the Mean-Square Riemann Integral, so the integral exists by Existence and Uniqueness of the Mean-Square Riemann Integral for Mean-Square Continuous Families — and the last integrals are Wiener integrals against the components of WW, with 00:=0\int_0^0:=0.

Notation. The displayed system is abbreviated, componentwise, as

Xt=ξ+0t(A(r)Xr+gr)dr+0tε(r)dWr(0tT),X_t=\xi+\int_0^t\bigl(A(r)X_r+g_r\bigr)\,dr+\int_0^t\varepsilon(r)\,dW_r\qquad(0\le t\le T),

with the matrix-vector product read entrywise in the random components.

Please log in to copy this version.

Citations

Loading…

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Loading…