Global Existence for the Backward Riccati Equation under Convexity Conditions
corollaryAnalysisLinear Algebracor:backward-riccati-convex-existence-2026bLet be a real number and natural numbers. Let (), (), (), (), and () assign real matrices to each , all entries being continuous functions of , such that every and every is symmetric and every is positive definite; by Invertibility of Symmetric Positive Definite Matrices each exists and is symmetric positive definite. Let be a symmetric positive semidefinite real matrix, and suppose that for every the matrix
is positive semidefinite, with the matrix product and transpose. Integrals below are entrywise Riemann integrals of continuous functions (existing by claim 3 of Restricted Lebesgue Measure and Integral Toolkit on a Compact Interval; degenerate intervals by the convention of Mean-Square Riemann Integral of a Family of Random Variables). Continuity of a real-valued function on an interval is understood as continuity of a map of metric spaces, the interval being regarded as a subset of the real line with the absolute value metric and carrying the same metric.
Then there is exactly one assignment of a real matrix to each , with continuous entries, satisfying the backward Riccati equation
moreover every is symmetric positive semidefinite.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.