Bourbaki

Proposition 6

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

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

The map t↦v(t)t \mapsto \mathbf{v}(t) of J into E∗\mathrm{E}^*, a primitive of a regulated function on J, is such that ⟨u(t),v(t)⟩\langle \mathbf{u}(t), \mathbf{v}(t) \rangle is constant on J for every solution u\mathbf{u} of the equation (4) of IV, p. 183 if and only if v\mathbf{v} is a solution of the homogeneous linear equation

dxdt=B(t).x(16) \frac{d\mathbf{x}}{dt} = B(t).\mathbf{x} \tag{16}

where −B(t)-B(t) is the transpose of A(t)A(t).

Equation (16) is called the adjoint of (4); clearly (4) is the adjoint of (16). The elements of the matrix B(t)B(t) being regulated functions of tt on J, the results obtained above on linear equations apply to (16). In particular, the integral of (16) taking the value x0∗\mathbf{x}_0^* at the point t0t_0 can be written as H(t,t0).x0∗H(t, t_0).\mathbf{x}_0^*, where H(t,t0)H(t, t_0) is a bijective linear map of E∗\mathrm{E}^* onto itself, identical to the integral of the equation

dVdt=B(t)V(17) \frac{dV}{dt} = B(t)V \tag{17}

which takes the value II at the point t0t_0. As a result one has (with the notation of IV, p. 179)

⟨C(t,t0).x0,H(t,t0).x0∗⟩=⟨x0,x0∗⟩ \left\langle C(t, t_0).\mathbf{x}_0, H(t, t_0).\mathbf{x}_0^* \right\rangle = \left\langle \mathbf{x}_0, \mathbf{x}_0^* \right\rangle

for any x0∈E\mathbf{x}_0 \in \mathrm{E} and x0∗∈E∗\mathbf{x}_0^* \in \mathrm{E}^*, which shows that

H(t,t0)=Cˇ(t,t0)(18) H(t, t_0) = \check{C}(t, t_0) \tag{18}

(the contragradient of C(t,t0)C(t, t_0)). In particular, if one knows a fundamental system of integrals of the adjoint equation (16) the matrix H(t,t0)H(t, t_0) is determined, so is C(t,t0)C(t, t_0) also, and as a result, so are all the integrals of equation (4).

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.