- •Основные понятия
- •Понятия о дифференциальных уравнениях
- •Некоторые математические модели, описываемые обыкновенными дифференциальными уравнениями
- •Движение материальной точки
- •Модели динамики популяций
- •Обыкновенное дифференциальное уравнение первого порядка, разрешенное относительно производной
- •Дифференциальные уравнения в симметричном виде и в полных дифференциалах
- •Уравнение в симметричном виде
- •Уравнение в полных дифференциалах
- •Интегрирующий множитель
- •Задача Коши
- •Задача Коши для уравнения первого порядка, разрешенного относительно производной
- •Редукция к интегральному уравнению
- •Лемма Гронуолла-Беллмана
- •Условие Липшица
- •Теорема единственности решения задачи Коши
- •Локальная теорема существования решения задачи Коши
- •Задача Коши для уравнения первого порядка, не разрешенного относительно производной
- •Примеры постановки задачи Коши
- •Теорема существования и единственности решения задачи Коши
- •Методы интегрирования
- •Особые решения дифференциального уравнения первого порядка
- •Постановка задачи Коши для нормальной системы
- •Теорема единственности решения задачи Коши для нормальной системы
- •Теорема существования решения задача Коши для нормальной системы на всем отрезке
- •Задача Коши для нормальной системы (локальная теорема)
- •Общая теория линейных обыкновенных дифференциальных уравнений
- •Линейная зависимость скалярных функций и определитель Вронского
- •Линейная зависимость произвольных скалярных функций
- •Линейная зависимость и независимость решений линейного однородного дифференциального уравнения
- •Фундаментальная система решений и общее решение линейного дифференциального уравнения
- •Фундаментальная система решений линейного однородного уравнения
- •Общее решение линейного однородного уравнения
- •Общее решение линейного неоднородного уравнения
- •Метод вариации постоянных
- •Построение фундаментальной системы решений для линейного однородного уравнения с постоянными коэффициентами
- •Построение вещественной фундаментальной системы решений для линейного однородного уравнения с постоянными коэффициентами
- •Построение линейного дифференциального уравнения по его решениям
- •Формула Остроградского-Лиувилля
- •Общая теория линейных систем обыкновенных дифференциальных уравнений
- •Линейные системы дифференциальных уравнений и матричные дифференциальные уравнения
- •Линейные однородные системы
- •Однородные матричные дифференциальные уравнения
- •Линейная зависимость произвольных вектор-функций
- •Линейная зависимость и независимость решений линейной однородной системы дифференциальных уравнений
- •Фундаментальная система решений и общее решение линейной системы
- •Фундаментальная система решений линейной однородной системы
- •Общее решение линейной однородной системы
- •Общее решение линейной неоднородной системы, метод вариации постоянных
- •Построение фундаментальной системы решений для линейной однородной системы дифференциальных уравнений с постоянной матрицей
- •Построение фундаментальной системы решений, когда существует базис из собственных векторов
- •Построение фундаментальной системы решений, когда не существует базиса из собственных векторов
- •Построение фундаментальной системы решений в вещественном виде
- •Неявные функции и функциональные матрицы
- •Общая теория линейных дифференциальных уравнений с точки зрения систем линейных дифференциальных уравнений
- •Литература
4.2. Линейная зависимость и определитель Вронского |
93 |
4.2.Линейная зависимость вектор-функций и определитель Вронского
4.2.1. Линейная зависимость произвольных вектор-функций
В этом параграфе рассматриваются произвольные комплекснознач-
ные вектор-функции y1(t), y2(t), . . . , ym(t), определенные на отрезке
[a, b], то есть yj(t) = (yj1(t), . . . , yjm(t))>, j = 1, . . . , m, m N. Никакая связь с решениями дифференциальных уравнений и даже непре-
рывность этих функций пока не предполагаются.
Определение 4.2.1. Вектор-функции y1(t), y2(t), . . . , ym(t) называются линейно зависимыми на отрезке [a, b], если найдутся комплекс-
|
|
|
|
|
m |
|
|
|
|
|
|
ные константы c1, c2, . . . , cm, |
jP |
|cj| > 0 такие, что |
|
||||||||
=1 |
|
||||||||||
|
|
1(t) + c2 |
|
2(t) + · · · + cm |
|
m(t) = |
|
|
(4.5) |
||
c1 |
|
|
|
θ, t [a, b]. |
|||||||
y |
y |
y |
Если же равенство (4.5) выполнено только для тривиального векто-
ра констант, c = (0, . . . , 0)>, то вектор-функции y1(t), y2(t), . . . , ym(t)
называются линейно независимыми на отрезке [a, b].
Эквивалентная (4.5) векторная форма записи условия линейной зависимости состоит в том, что для матричной функции Y (t) порядка m × m выполнено равенство
|
|
|
|
|
|
Y (t) |
c |
= θ, t [a, b] |
(4.6) |
хотя бы для одного ненулевого вектора констант c = (c1, . . . , cm)>.
Замечание 4.2.1. Если рассматриваемые вектор-функции принимают только вещественные значения, то в определениях линейной зависимости и независимости достаточно рассматривать лишь действительные коэффициенты cj, j = 1, . . . , m.
Определение 4.2.2. Определителем Вронского системы заданных на отрезке [a, b] вектор функций y1(t), y2(t), . . . , ym(t) называется зависящий от переменной t [a, b] определитель матричной функции
Y (t) = (y1(t), y2(t), . . . , ym(t)):
Δ(t) = det Y (t).
94 |
Глава 4. Общая теория линейных систем |
Необходимое условие линейной зависимости вектор-функций устанавливает следующая теорема.
Теорема 4.2.1. Если система вектор функций y1(t), y2(t), . . . ym(t) является линейно зависимой на отрезке [a, b], то определитель Вронского этой системы тождественно равен нулю на этом отрезке:
Δ(t) = 0, t [a, b].
Доказательство. Из условия линейной зависимости (4.6) вытекает существование такого ненулевого вектора c = (c1, . . . , cm)>, что для произвольного фиксированного t0 [a, b] справедливо равенство
Y (t0) |
c |
= θ. |
(4.7) |
Равенство (4.7) означает, что однородная система линейных алгебраических уравнений с числовой матрицей Y (t0) имеет нетривиальное решение c. По известной теореме алгебры это возможно только для вырожденной матрицы, то есть det Y (t0) = 0.
Отметим, что к утверждению теоремы нетрудно было бы прийти и на основе определения (4.5), которое означает линейную зависимость столбцов матрицы Y (t) для любого t [a, b].
Без дополнительных предположений относительно вектор-функций равенство нулю определителя Вронского является, вообще говоря, только лишь необходимым условием линейной зависимости. Из равенства нулю определителя Вронского системы вектор-функций не вытекает их линейная зависимость.
Пример 4.2.1. Для m = 2 рассмотрим на отрезке [−1, 1] две вектор-функции, имеющие нулевой определитель Вронского:
|
t3 |
|
|
|
2 |
t3 |
t2 t |
|
1(t) = t2 |
, |
|
2(t) = |
tt||tt|| , Y (t) = |
t2 |
t||t|| , Δ(t) = det Y (t) ≡ 0. |
y |
y |
Эти вектор-функции являются линейно независимыми на рассматриваемом отрезке. Действительно, если для некоторого вектора c = (c1, c2)> справедливо равенство Y (t)c = θ в каждой точке отрезка [−1, 1], то при t = 1 должно выполняться равенство c1 + c2 = 0, а при t = −1 – равенство c1 − c2 = 0, откуда c1 = c2 = 0.
4.2. Линейная зависимость и определитель Вронского |
95 |
4.2.2.Линейная зависимость и независимость решений линейной однородной системы дифференциальных уравнений
Рассмотрим систему из n-мерных вектор-функций y1(t), y2(t), . . .
yn(t), являющихся решением линейной однородной системы дифференциальных уравнений (4.2), Y (t) – соответствующая матричная функция из (4.3). Подчеркнем, что количество вектор-функций совпадает с порядком системы. Исследуем вопрос о связи свойства линейной зависимости решений линейной однородной системы дифференциальных уравнений и значения определителя Вронского.
Теорема 4.2.2. Пусть y1(t), y2(t), . . . , yn(t) – система вектор-функ- ций решений линейной однородной системы (4.2) на отрезке [a, b]. Если
найдется точка t0 [a, b], для которой
det Y (t0) = 0,
то система вектор-функций y1(t), y2(t), . . . , yn(t) линейно зависима на отрезке [a, b] и
det Y (t) = 0, t [a, b].
Доказательство. Однородная система линейных алгебраических уравнений относительно вектора c = (c1, . . . , cn)>
Y (t0) |
c |
= θ |
(4.8) |
имеет ненулевое решение c0 = (c01, . . . , c0n)> в силу вырожденности числовой матрицы Y (t0), имеющей нулевой определитель.
Положим y(t) = Y (t)c0. Ясно, что y(t) – решение однородной системы (4.2) в силу первой части теоремы 4.1.2 и, кроме того, y(t0) = θ в силу (4.8). Таким образом, построенная функция является решением задачи Коши с нулевым начальным условием при t = t0:
dy |
(t) |
= A(t) |
|
(t), |
|
(t0) = |
|
|
|||
|
|
θ. |
|||||||||
y |
y |
||||||||||
|
dt |
|
|||||||||
|
|
|
|
|
|
|
|
Эта задача Коши по теореме существования и единственности 2.1.2 имеет на рассматриваемом отрезке только одно решение – нулевое. Поэтому
θ = y(t) = Y (t)c0 = c01y1(t) + c02y2(t) + · · · + c0nyn(t), t [a, b],
и рассматриваемая система вектор-функций является линейно зависимой на отрезке [a, b]. Тогда в силу теоремы 4.2.1 имеем det Y (t) = 0,
t [a, b].