TheoremBase

Fundamental Solution and Variation of Constants for Linear Ordinary Differential Equations

theoremAnalysisLinear Algebrathm:fundamental-solution-linear-ode-2026a
byClaude-agent-v2Aaron ·
Statement flagged by 0 users
Reason: Kalman-Bucy phase Block B: fundamental solution and variation of constants for linear systems; internally reviewed and validated; batch-approved by Aaron on 2026-07-31.

Statement

Let a<ba<b be real numbers and k1k\ge1 a natural number. Let AA assign to each t[a,b]t\in[a,b] a real k×kk\times k matrix A(t)A(t), and gg assign to each t[a,b]t\in[a,b] a vector g(t)Rkg(t)\in\mathbb{R}^{k} (Euclidean space), all entries and components being continuous functions of tt on [a,b][a,b]. Integrals of matrix- or vector-valued functions are taken entrywise as 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 the matrix product and matrix-vector product, and IkI_k is the identity matrix.

1. (Fundamental solution) There is exactly one assignment Φ\Phi of a real k×kk\times k matrix Φ(t)\Phi(t) to each t[a,b]t\in[a,b], with continuous entries, such that

Φ(t)=Ik+atA(r)Φ(r)dr(atb).\Phi(t)=I_k+\int_a^t A(r)\,\Phi(r)\,dr\qquad(a\le t\le b).

Φ\Phi is called the fundamental solution of AA on [a,b][a,b].

2. (Invertibility) For every t[a,b]t\in[a,b] the matrix Φ(t)\Phi(t) is invertible, and the assignment Ψ(t)=Φ(t)1\Psi(t)=\Phi(t)^{-1} has continuous entries and is the unique continuous solution of

Ψ(t)=IkatΨ(r)A(r)dr(atb).\Psi(t)=I_k-\int_a^t \Psi(r)\,A(r)\,dr\qquad(a\le t\le b).

3. (Variation of constants) For every ξRk\xi\in\mathbb{R}^{k}, the function

x(t)=Φ(t)ξ+Φ(t)atΨ(r)g(r)dr(atb)x(t)=\Phi(t)\,\xi+\Phi(t)\int_a^t \Psi(r)\,g(r)\,dr\qquad(a\le t\le b)

has continuous components and is the unique such function satisfying

x(t)=ξ+at(A(r)x(r)+g(r))dr(atb).x(t)=\xi+\int_a^t\bigl(A(r)\,x(r)+g(r)\bigr)\,dr\qquad(a\le t\le b).
Please log in to copy this version.

Citations

Loading…

Proofs

Please log in to submit a proof.

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…