- ФУНДАМЕНТАЛЬНАЯ СИСТЕМА РЕШЕНИЙ
линейной однородной системы обыкновенных дифференциальных уравнений - базис векторного пространства действительных (комплексных) решений этой системы. (Система может состоять и из одного уравнения.) Более подробно это определение формулируется следующим образом.
Множество действительных (комплексных) решений {x1(t),...,xn(t)}(заданных на нек-ром множестве Е)линейной однородной системы обыкновенных дифференциальных уравнений наз. Ф. с. р. этой системы уравнений (на множестве Е) при выполнении совокупности следующих двух условий: 1) если действительные (комплексные) числа С 1,..., С n таковы, что функция C1x1(t)+...+Cnxn(t) тождественно равна нулю на Е, то все числа С 1,..., С n равны нулю; 2) для всякого действительного (комплексного) решения х(t)рассматриваемой системы уравнений найдутся действительные (соответственно комплексные) числа С 1,..., С n (не зависящие от t)такие, что x(t) = C1x1(t)+...+Cnxn(t) при всех
Если-произвольная невырожденная
-матрица, а {x1(t), ..., х п(t)}есть Ф. с. р., то
также есть Ф. с. р.; всякая Ф. <с. <р. получается таким преобразованием из данной Ф. с. р.
Если система дифференциальных уравнений имеет видгде
(или
а
(соответственно
причем отображение
суммируемо на каждом отрезке, содержащемся в
- конечный или бесконечный интервал в
то векторное пространство решений этой системы изоморфно
(соответственно
Следовательно, система (1) имеет бесконечно много Ф. с. р., и каждая такая Ф. с. р. состоит из пре шений. Напр., для системы уравнений
произвольная Ф. с. р. имеет вид
где
-произвольные линейно независимые векторы-столбцы.
Всякая Ф. с. р. системы (1) имеет вид
где- Коши оператор системы (1),
- произвольное фиксированное число из интервала
а x1, . . ., х п - произвольный фиксированный базис пространства
(соответственно
Если система дифференциальных уравнений состоит из одного уравнения
где функциисуммируемы на каждом отрезке, содержащемся в
(где
- конечный или бесконечный интервал в
то векторное пространство решений этого уравнения изоморфно
(соответственно
Следовательно, уравнение (2) имеет бесконечно много Ф. с. р., и каждая из них состоит из kрешений. Напр., уравнение
имеет Ф. с. р.
общее действительное решение этого уравнения дается формулой
где C1, С2 - произвольные действительные постоянные.
Если система дифференциальных уравнений имеет видгде
(или
) и при всяком i = l, ..., k-1 отображение
суммируемо на каждом отрезке, содержащемся в(где
-конечный или бесконечный интервал в
то пространство решений этой системы уравнений изоморфно
(соответственно
Ф. с. р. системы (3) существуют, и каждая из них состоит из kn решений.
Для линейных однородных систем дифференциальных уравнений, не разрешенных относительно старших производных, даже если коэффициенты системы постоянные, число решений, входящих в Ф. с. р. (т. е. размерность векторного пространства решений), вычисляется иногда не столь просто, как в вышеприведенных случаях. (В [1], з 11 рассмотрено такое вычисление для линейных систем дифференциальных уравнений с постоянными коэффициентами, не разрешенных относительно старших производных.)Лит.:[1] Понтрягин Л. С., Обыкновенные дифференциальные уравнения, 4 изд., М., 1974.
В. М. Миллионщиков.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.