Proposition 6
Tag 08D2, permanent. Cite it as [Bourbaki, Tag 08D2].
Functions of a Real Variable, chapter IV, § 2. LINEAR DIFFERENTIAL EQUATIONS
The map of J into , a primitive of a regulated function on J, is such that is constant on J for every solution of the equation (4) of IV, p. 183 if and only if is a solution of the homogeneous linear equation
where is the transpose of .
Equation (16) is called the adjoint of (4); clearly (4) is the adjoint of (16). The elements of the matrix being regulated functions of on J, the results obtained above on linear equations apply to (16). In particular, the integral of (16) taking the value at the point can be written as , where is a bijective linear map of onto itself, identical to the integral of the equation
which takes the value at the point . As a result one has (with the notation of IV, p. 179)
for any and , which shows that
(the contragradient of ). In particular, if one knows a fundamental system of integrals of the adjoint equation (16) the matrix is determined, so is 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.