Global Existence and Uniqueness for the Kalman Covariance Riccati Equation
theoremAnalysisLinear Algebrathm:riccati-global-existence-2026aLet be real numbers and a natural number. Let , , and assign to each real matrices with entries continuous in , such that every and every is positive semidefinite, and let be a positive semidefinite real matrix. Integrals are entrywise Riemann integrals of continuous functions (existing by Continuous Functions on a Closed Interval are Riemann Integrable; degenerate intervals by the convention of Mean-Square Riemann Integral of a Family of Random Variables), products are matrix products, and is the transpose.
Then there is exactly one assignment of a real matrix to each , with continuous entries, such that
Moreover, with the unique solution of the Lyapunov equation with the same data , , from Lyapunov Representation and Positive Semidefiniteness for Linear Matrix Equations, every is symmetric and satisfies, in the semidefinite order,
in particular, by Entry Bounds for Positive Semidefinite Matrices, every entry of is bounded in absolute value by the largest diagonal entry of .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.