Bourbaki

Proposition 2

Tag 08CW, permanent. Cite it as [Bourbaki, Tag 08CW].

Functions of a Real Variable, chapter IV, § 2. LINEAR DIFFERENTIAL EQUATIONS

Let B be a continuous endomorphism of E, independent of t, and commuting with A(t) for all t∈Jt \in J; then B commutes with C(t,t0)C(t, t_0) for all t and t0t_0 in J.

Indeed, by (5)

ddt(BC)=BAC=ABCandddt(CB)=ACB, \frac{d}{dt}(BC) = BAC = ABC \quad \text{and} \quad \frac{d}{dt}(CB) = ACB ,
so ddt(BC−CB)=A(BC−CB)\frac{d}{dt}(BC - CB) = A(BC - CB); but BC(t0,t0)−C(t0,t0)B=0BC(t_0, t_0) - C(t_0, t_0)B = 0, so (IV, p. 179, th. 1) BC(t,t0)−C(t,t0)B=0BC(t, t_0) - C(t, t_0)B = 0 for all t∈Jt \in J.

An important instance of prop. 2 is that where E is endowed with the structure of a normed vector space with respect to the field of complex numbers C\mathbf{C}, and where, for every t∈Jt \in J, A(t)A(t) is an endomorphism of E for this vector space structure; this means that A(t)A(t) commutes with the continuous endomorphism x↦txx \mapsto tx of E (for the vector space structure over R\mathbf{R}); then C(t,t0)C(t, t_0) commutes with this endomorphism, which means that for any tt and t0t_0 in J, the map C(t,t0)C(t, t_0) is a continuous endomorphism for the normed vector space structure of E over C\mathbf{C}.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.