Suppose that A is a constant (n×n) matrix and that U(t) is a (n×k) matrix with continuous functions [0,∞)→𝐂 as entries. Then for any constant (n×k) complex matrix X0, the (n×k) matrix function
satisfies the matrix differential equation
with initial value