Fundamental system of solutions

of a linear homogeneous system of ordinary differential equations

A basis of the vector space of real (complex) solutions of that system. (The system may also consist of a single equation.) In more detail, this definition can be formulated as follows.

A set of real (complex) solutions (given on some set ) of a linear homogeneous system of ordinary differential equations is called a fundamental system of solutions of that system of equations (on ) if the following two conditions are both satisfied: 1) if the real (complex) numbers are such that the function

is identically zero on , then all the numbers are zero; 2) for every real (complex) solution of the system in question there are real (complex) numbers (not depending on ) such that

If is an arbitrary non-singular -dimensional matrix, and is a fundamental system of solutions, then is also a fundamental system of solutions; every fundamental system of solutions can be obtained by such a transformation from a given one.

If a system of differential equations has the form

(1)

where (or ), if

and if the mapping is summable on every segment contained in ( is a bounded or unbounded interval in ), then the vector space of solutions of this system is isomorphic to (respectively, ). Consequently, the system (1) has an infinite set of fundamental systems of solutions, and each such fundamental system consists of solutions. For example, for the system of equations

an arbitrary fundamental system of solutions has the form

where

are arbitrary linearly independent column vectors.

Every fundamental system of solutions of (1) has the form

where is the Cauchy operator of (1), is an arbitrary fixed number in , and is an arbitrary fixed basis of (respectively, ).

If the system of differential equations consists of the single equation

(2)

where the functions

are summable on every segment contained in ( is a bounded or unbounded interval in ), then the vector space of solutions of this equation is isomorphic to (respectively, ). Consequently, the equation (2) has infinitely many fundamental sets of solutions, and each of them consists of solutions. For example, the equation

has fundamental system of solutions ; the general real solution of this equation is given by the formula

where and are arbitrary real constants.

If a system of differential equations has the form

(3)

where (or ) and if for all the mappings

are summable on every segment contained in (where is a bounded or unbounded interval in ), then the space of solutions of this system is isomorphic to (respectively, ); there are fundamental systems of solutions of (3), and each of them consists of solutions.

For linear homogeneous systems of differential equations that are not solved with respect to their leading derivatives, even if the coefficients of the system are constant, the number of solutions that appear in a fundamental system of solutions (that is, the dimension of the vector space of solutions) cannot always be calculated as easily as in the cases above. (In [1], Sect. 11 there is an examination of such a calculation for linear systems of differential equations with constant coefficients that are not solved with respect to their leading derivatives.)

References

[1]	L.S. Pontryagin, "Ordinary differential equations" , Addison-Wesley (1962) (Translated from Russian)

Comments

The Cauchy operator is also called the transition matrix in the case considered above. See also Fundamental matrix.

References

[a1]	E.L. Ince, "Ordinary differential equations" , Dover, reprint (1956)