5. Системы ДУ.

5.1. Понятия нормальной, автономной систем, систем ЛДУ (однородных и неоднородных). Сведение уравнения n-го порядка, разрешенного относительно старшей производной, к нормальной системе.

5.2. Системы второго порядка. Метод решения путем сведения к уравнению 2-го порядка.

5.3. Системы ОЛДУ и НЛДУ. Теоремы о структуре общего решения (формулировки). Понятие задачи Коши для систем. Формулировка теоремы о существовании и единственности решения.

5.4. Однородная система ЛДУ с постоянными коэффициентами. Построение ФСР в зависимости от корней характеристического уравнения (случаи простых корней).

5.5. Однородная система ЛДУ с постоянными коэффициентами. Понятия Жордановой формы матрицы, матричной экспоненты и их вычисление.

Метод решения системы с помощью вычисления матричной экспоненты. Случаи простых и кратных корней характеристического уравнения.

5.6. Неоднородная система ЛДУ. Метод решения – метод вариации произвольных постоянных (метод Лагранжа).

5. Системы ду.

5.1. Понятия нормальной, автономной систем, систем лду (однородных и неоднородных). Сведение уравнения n-го порядка, разрешенного относительно старшей производной, к нормальной системе.

Система дифференциальных уравнений первого порядка, разрешенных относительно первой производной, вида

(5.1)

называется нормальной системой ДУ.

Если правые части уравнений в (5.1) в явном виде не зависят от аргумента, то такая система ДУ называется автономной. Автономная система имеет вид

_. (5.2)

Предполагается, что неизвестные функции x_i зависят от аргумента t.

Порядок нормальных систем определяется количеством неизвестных функций (или таким же количеством уравнений).

Решением системы ДУ называется вектор-функция х = (х₁(t), х₂(t), …, х_n(t))^т, которая при подстановке в исходную систему ДУ даст систему тождеств.

Наиболее изученными и имеющими аналитические решения являются нормальные системы линейных ДУ. Линейные системы ДУ имеют вид

(5.3)

Линейная система (5.3), имеющая ненулевые функции в правой части (i =1, …, n), называется неоднородной линейной системой ДУ (система НЛДУ).

Если же все (i =1, …, n), то есть система имеет вид

_, (5.4)

то такая система называется однородной линейной системой ДУ (система ОЛДУ).

Векторные формы записи систем (5.3) и (5.4) имеют, соответственно, вид , где векторы х = (х₁(t), х₂(t), …, х_n(t))^т, f(t) = (f₁(t), f₂(t),……, f_n(t))^Т, а матрица

.

Любое ДУ n-го порядка, разрешенное относительно старшей производной, вида

(5.5)

можно свести к нормальной системе ДУ вида (5.1). Покажем это. Введем n функций следующим образом:

y₁ = x, y₂ = , y₃ = , …, y_n = .

Отсюда получим нормальную систему вида (5.1)

5.2. Системы второго порядка. Метод решения путем сведения к уравнению 2-го порядка.

Рассмотрим сначала нормальную систему ДУ второго порядка, которую можно свести к дифференциальному уравнению 2-го порядка. Пусть есть система вида

_.

Выразим из любого уравнения ту неизвестную функцию, производной которой в этом уравнении нет (например, из первого уравнения х₂ или из второго уравнения х₁). Вычислим производную этой функции и подставим полученные выражения для рассматриваемой функции и ее производной в оставшееся уравнение системы. Таким образом получим уравнение второго порядка относительно одной неизвестной функции, разрешив которое, можно получить решение относительно второй неизвестной функции.

Пример 5.1. Решим систему

_.

Выразим функцию х из второго уравнения: . Продифференцируем его: . Подставим полученные выражения в первое уравнение системы: . Приведя подобные члены, придем к ОЛДУ второго порядка с постоянными коэффициентами: . Характеристическое уравнение смситемы: . Это уравнение имеет корень кратности 2. ФСР: . Общее решение для неизвестной функции : .

Продифференцировав, получим: . Отсюда общее решение функции для неизвестной функции : .

Ответ: .

5.3. Системы олду и нлду. Теоремы о структуре общего решения (формулировки). Понятие задачи Коши для систем. Формулировка теоремы о существовании и единственности решения.

Фундаментальной системой решений (ФСР) для системы ОЛДУ n-го порядка называется любая система n линейно независимых вектор-функций: х_i(t) = (х_1i(t), х_{2 i} (t), …, х_ni (t))^т (i = 1, …, n), являющихся решениями системы ОЛДУ.

Фундаментальной матрицей системы называется матрица, составленная из ФСР:

Определитель фундаментальной матрицы называется определителем Вронского … , который в силу независимости решений из ФСР не равен 0 ни в одной точке области существования решений системы.

Теорема 5.1 (о структуре общего решения системы ОЛДУ).

Пусть вектор-функции х_i(t) = (х_1i(t), х_{2 i} (t), …, х_ni (t))^т (i = 1, 2,…, n) составляют ФСР системы ОЛДУ n-го порядка . Тогда общее решение системы будет иметь вид x_o(t) = c₁x₁(t) + c₂x₂(t) + …. +c_nx_n(t), где c₁, c₂, …..c_n – произвольные постоянные.

Доказательство теоремы см. в [1] или [2].

Теорема 5.2 (о структуре общего решения системы НЛДУ).

Общее решение системы НЛДУ n-го порядка имеет вид

x_нo(t) = x_o(t) + x_ч(t),

где x_o(t) = c₁x₁(t) + c₂x₂(t) + …. +c_nx_n(t) – общее решение соответствующей системы ОЛДУ, а x_ч(t) – частное решение системы НЛДУ.

Доказательство теоремы см. в [1] или [2].

Решить задачу Коши для системы ДУ – найти такое единственное решение системы, которое удовлетворяет начальным условиям задачи Коши вида

х_i( t₀) = x_i0 (i = 1, …, n), (5.5)

(где t₀ – заданное значение аргумента, x_i0 – числовые значения неизвестных скалярных функций в точке t₀ )_, то есть найти конкретные числовые значения c_i (i = 1, …, n) - произвольных постоянных, входящих в общее решение системы.

В векторной форме начальные условия задачи Коши имеют вид:

x(t₀) = x₀ , где х₀ = (х₁₀, х₂₀, …, х_n0 )^Т.

Теорема 5.3 (теорема Коши о существовании и единственности решения для систем ДУ).

Пусть для нормальной системы ДУ вида (5.1) выполняются следующие условия:

1. Функции , стоящие в правых частях уравнений, определены и непрерывны в некоторой ограниченной замкнутой (n+1)-мерной области

2. В D определены и непрерывны все частные производные этих функций

.

Тогда на некотором отрезке [t₀-h, t₀+h], , где в области D, существует единственное решение системы, удовлетворяющее начальным условиям задачи Коши вида (5.5).

Замечание 1.

Из второго условия теоремы следует, что для выполняется условие Липшица на D, а именно, в D выполняются неравенства , где х и у – векторы, состоящие из значений неизвестных функций в двух разных точках области D при одном значение аргумента t, а L – положительная ограниченная константа, называемая постоянной Липшица (см. [2]). Теорема 5.3 может быть доказана и в том случае, когда вместо условия 2 выполнено условие Липшица. Заметим при этом, что условие Липшица слабее условия непрерывной дифференцируемости правых частей по х_i. Действительно, при непрерывной дифференцируемости условие Липшица просто следует из теоремы Лагранжа. Однако, можно привести примеры функций, удовлетворяющий условию Липшица, но не обладающих непрерывной производной.

Замечание 2.

Область, в которой существует единственное решение задачи Коши, есть окрестность точки (t₀, x₀), которая может совпадать с областью D или быть включена в область D. Для более четкого представления об излагаемом здесь материале советуем обратиться к [2], к теореме о существовании и единственности решения для ДУ первого порядка.

Замечание 3.

В случае линейных систем ДУ (5.3) условия теоремы Коши выполняются при условии непрерывности на некотором промежутке функций:

a_{i j} (t), f_i(t), (i=1,…,n; j=1,…,n, ).

Для систем ОЛДУ вида (5.4) при условии того, что функции a_{i j} (t) представляют собой константы (система ОЛДУ с постоянными коэффициентами), условия теоремы Коши выполняются на всей числовой оси по переменной t.