
- •Глава 4. Линейные дифференциальные уравнения и системы
- •1. Общие замечания. Однородные и неоднородные уравнения и системы
- •2. Фундаментальная система решений однородной системы м однородного уравнения
- •3. Дифференцирование векторов, матриц, определителей. Комплекснозначные функции действительного аргумента
- •Примеры решения задач
- •Задачи для самостоятельного решения
- •4.Определитель Вронского
- •5. Метод вариации постоянных для неоднородных уравнений и систем
- •6. Однородные уравнения с постоянными коэффициентами
- •Типовые задачи
- •Задачи для самостоятельного решения
- •7. Линейные однородные системы с постоянными коэффициентами
- •Типовые задачи
- •Задачи для самостоятельного решения
- •8. Линейные неоднородные уравнения и системы с постоянными коэффициентами со специальной правой частью
- •Типовые задачи
- •Задачи для самостоятельного решения
3. Дифференцирование векторов, матриц, определителей. Комплекснозначные функции действительного аргумента
Дифференцирование векторов и матриц осуществляется по обычным правилам:
если
вектор-функция, то
если
матрица, состоящая из функций от
то
Операция
дифференцирования является линейной
в том смысле, что
для вектор-функций
и констант
для матриц
и констант
Аналогичным
образом осуществляется интегрирование
вектор-функций и матриц. А именно,
Дифференцирование
произведений векторов и матриц (скалярное,
векторное и смешанное произведение
векторов, произведение матриц, произведение
вектора на скаляр и т.д.) сохраняет
многие, но не все свойства, присущие
дифференцированию произведения обычных
функций. Так, например, если
векторы из
координаты которых зависят от переменной
и
их скалярное произведение, то
Для векторного произведения также
но в общем случае
Аналогично этому для произведения
матриц
Интересно отметить, что
а правильная формула выглядит так:
Докажем в качестве примера формулу
дифференцирования скалярного произведения
векторов. Пусть
Тогда
Дифференцирование определителя может быть выполнено на основании следующей теоремы.
Теорема.
Доказательство.
Определитель
матрицы
записывается формулой
где
суммирование ведётся по всем подстановкам
а
обозначает количество инверсий в
подстановке
Поэтому
откуда следует требуемое равенство.
Комплекснозначная
функция
действительного аргумента
определяется как функция от
значения которой – комплексные числа.
Она может быть представлена в виде
где
а
обычные действительные функции. Функцию
можно рассматривать как вектор-функцию
поэтому для производной имеет место
равенство
Проверим, что для комплексных функций действительного аргумента справедливо равенство
(9)
Действительно,
пусть
Тогда
поэтому
С
другой стороны,
Видно,
что эти выражения совпадают.
Для
дифференциальных уравнений с постоянными
коэффициентами имеет важное значение
функция
где
С.
Воспользуемся для преобразования этого
выражения формулой
Эйлера:
Если
где
R,
то
Докажем, что для комплексного числа
имеет место обычная формула
Действительно,
Примеры решения задач
Доказать формулу
где
и
матрицы размеров
и
соответственно.
Решение.
-й
элемент произвольной матрицыХ
будем обозначать символом
Пусть
Тогда
Отсюда
Вывести формулу дифференцирования смешанного произведения
векторов.
Решение.
Доказать, что если вектор
имеет постоянную длину, то векторы
и
перпендикулярны друг другу.
Решение.
Так как
то скалярное произведение
Отсюда получаем:
Отсюда получаем:
т.е.
Это означает, что
Пусть
действительная функция, а
комплекснозначная. Доказать, что
Доказательство.
Пусть
где
действительные функции. Тогда
Задачи для самостоятельного решения
Пусть
квадратная
-матрица. Выразить через
и
производные: а)
б)
(в случае, когда
в)
где
обозначает транспонирование.
Доказать, что
где
С.
Доказать, что для комплекснозначных функций
действительного аргумента справедлива формула
4.Определитель Вронского
Пусть
какие-либо (не обязательно линейно
независимые) решения однородной системы
где
-матрица
из непрерывных на отрезке
функций. Вектор-функции
запишем в виде столбцов:
Определителем
Вронского (или
вронскианом)
однородной системы дифференциальных
уравнений называется определитель
Этот
определитель является функцией от
дифференцируемой на интервале
Пусть дано линейное однородное дифференциальное уравнение п-го порядка
где
непрерывные на отрезке
функции, и пусть
какие-либо (не обязательно линейно
независимые) решения этого уравнения.Определителем
Вронского
(или вронскианом)
линейного однородного уравнения
называется определитель
Выведем
формулу дифференцирования определителя
Вронского. Пусть
решения системы
и
соответствующий им определитель
Вронского. Тогда
т.е.
где
Так как
решение системы, то
поэтому
-я
строка матрицы определителя
равна
Следовательно,
(в
этой сумме все определители, кроме
-го,
равны 0, так как содержат одинаковые
строки). Итак,
Следовательно,
Сумма диагональных элементов матрицы
называетсяследом
и обозначается
Таким образом,
Отсюда следует, что
Решая это дифференциальное уравнение,
получим:
Константу
можно найти, взяв
Мы получим:
Отсюда следуетформула
Лиувилля:
Так
как
никогда не обращается в 0, то мы получаем
следующее свойство вронскиана:если
определитель Вронского равен нулю в
какой-нибудь точке, то он тождественно
равен нулю:
Формулу
Лиувилля для однородного уравнения
нетрудно получить, сведя уравнение к
системе. В этом случае матрица системы
имеет вид
Её
след
поэтому
Так же, как и в случае систем, определитель Вронского однородного уравнения либо не обращается в нуль ни в одной точке, либо тождественно равен нулю.
С помощью определителя Вронского можно определять, является ли данная система решений фундаментальной системой решений.
Теорема.
Система решений
однородной системы
является её фундаментальной системой
решений в том и только том случае, если
Доказательство.
Если
не является фундаментальной системой
решений, то функции
линейно зависимы, поэтому
для некоторых констант
R,
не все из которых равны нулю. Следовательно,
столбцы
определителя Вронского линейно зависимы,
а значит,
Наоборот,
пусть
Возьмём какое-нибудь
Тогда мы получим линейно зависимые
векторы
Следовательно,
для некоторых констант
среди которых есть ненулевые. Функция
является решением системы и удовлетворяет
начальному условию
Ввиду единственности решения
а это означает линейную зависимость
функций
Следовательно, эти функции не образуют
фундаментальную систему решений.
Аналогичный результат имеет место для однородных уравнений п-го порядка:
Теорема.
Функции
являющиеся решением уравнения
образуют фундаментальную систему
решений этого уравнения в том и только
том случае, если