
- •Глава 4. Линейные дифференциальные уравнения и системы
- •1. Общие замечания. Однородные и неоднородные уравнения и системы
- •2. Фундаментальная система решений однородной системы м однородного уравнения
- •3. Дифференцирование векторов, матриц, определителей. Комплекснозначные функции действительного аргумента
- •Примеры решения задач
- •Задачи для самостоятельного решения
- •4.Определитель Вронского
- •5. Метод вариации постоянных для неоднородных уравнений и систем
- •6. Однородные уравнения с постоянными коэффициентами
- •Типовые задачи
- •Задачи для самостоятельного решения
- •7. Линейные однородные системы с постоянными коэффициентами
- •Типовые задачи
- •Задачи для самостоятельного решения
- •8. Линейные неоднородные уравнения и системы с постоянными коэффициентами со специальной правой частью
- •Типовые задачи
- •Задачи для самостоятельного решения
Какую работу нужно написать?
5. Метод вариации постоянных для неоднородных уравнений и систем
Рассмотрим теперь
неоднородные уравнения и системы. Мы
покажем, что если известны решения
однородной системы
то для любой вектор-функции
можно получить решения неоднородной
системы
методом вариации постоянныхтак же, как это делалось для линейного
неоднородного уравнения первого порядка.
Аналогично этому, зная общее решение
однородного уравненияп-го порядка
этим методом можно получить все решения
неоднородного уравнения
Пусть
фундаментальная
система решений однородной системы
Тогда общее решение однородной системы
имеет вид
где
постоянные.
Будем искать решение неоднородной
системы в виде
(10)
Продифференцируем
это равенство:
Потребуем, чтобы функция
удовлетворяла системе
Получим:
(11)
Так
как
решение однородной системы, то
поэтому из равенства (11) после сокращения
мы получим:
Это векторное равенство можно переписать
в виде системы линейных уравнений
относительно
(11)
Определитель
этой системы – это определитель Вронского
Так как
фундаментальная система решений, то
не равен нулю ни в одной точке отрезка
Следовательно, система (11) разрешима
для любой точки
Таким образом, на всём отрезке
существуют непрерывные функции
После нахождения этих функций функции
можно будет найти простым интегрированием.
Подставив найденные функции
в формулу (10), мы получим решение
неоднородной системы.
Замечание. Только что описанным способом будут получены все решения неоднородной системы, хотя достаточно найти хотя бы одно (частное) решение.
Опишем теперь метод вариации постоянных для неоднородных уравнений. Пусть дано уравнение
(12)
Предположим,
что известна фундаментальная система
решений
однородного уравнения
Тогда общее решение однородного
уравнения имеет вид
где
постоянные. Будем искать решение
неоднородного уравнения в виде
(13)
Найдём производную:
Потребуем
выполнения условия
Таким
образом,
Продифференцируем ещё раз:
Наложим условие
Будем
далее дифференцировать и накладывать
условия
до
После этого будем иметь
Продифференцируем последний раз:
Подставим в уравнение (12):
Так
как
решения однородной системы, то в левой
части равенства сумма всех слагаемых
с
равна нулю, и мы получаем только слагаемые
с
следовательно,
Уравнения
образуют систему линейных уравнений
относительно
(15)
Определитель
этой системы является определителем
Вронского, а так как функции
образуют фундаментальную систему
решений, то
(ни в одной точке отрезка
Следовательно, система (15) имеет решение,
состоящее из функций
непрерывных
на отрезке
Функции
могут быть теперь найдены интегрированием.
Подставив полученные функции
в формулу (13), мы получим решение
неоднородного уравнения.
6. Однородные уравнения с постоянными коэффициентами
Рассмотрим теперь линейное однородное уравнение с постоянными коэффициентами
(16)
где
постоянные числа. Мы покажем, что
нахождение фундаментальной системы
решений этого уравнения фактически
сводится к решению алгебраического
уравненияп-й
степени (квадратного при
кубического
при
и т.д.).
Найдём
вначале все решения этого уравнения,
имеющие вид
где
Найдём производные этой функции:
Подставим их в уравнение (16):
После
сокращения на
получимхарактеристическое
уравнение
(17)
Предположим,
что имеет место “самый
хороший”
случай:
корни
характеристического уравнения
действительны и различны.
Тогда уравнение можно считать решённым:
действительно, в этом случае мы имеем
п
линейно независимых функций
являющихся решениями уравнения (16), а
это означает, что
фундаментальная
система решений этого уравнения.
Следовательно, общее решение уравнения
имеет вид
где
произвольные константы.
Например,
если дано уравнение
то, полагая
получим:
откуда
или
Мы имеем две линейно независимые функции
и
удовлетворяющие уравнению, поэтому
общее решение уравнения имеет вид
Если
характеристическое уравнение имеет
кратный
корень
R,
то, как будет показано ниже, решениями
этого уравнения, наряду с функцией
решениями этого уравнения будут также
функции
где
кратность корня
Докажем это.
Лемма.
Пусть
корень характеристического уравнения
(17) и
кратность этого корня. Тогда функции
удовлетворяют уравнению (16).
Доказательство.
Уравнение (16) запишем в виде
где
а
Так как
корень кратности
то многочлен
делится на
т.е.
где
также многочлен от
Выясним, как действует оператор
на функцию
Имеем:
и
т.д. Ясно, что
при
В частности,
при
а значит,
Это показывает, что функция
является решением уравнения (16). Лемма
доказана.
Рассмотрим
пример применения этой теоремы. Пусть
дано уравнение
Составим характеристическое уравнение:
Разлагая левую часть на множители,
получим:
Отсюда
Простой корень
даёт функцию
а двукратный корень
две функции:
и
Таким образом,
общее решение уравнения.
Завершим
разбор ситуации, когда корни
характеристического уравнения все
являются действительными числами. Пусть
корень кратности
кратности
кратности
Тогда
Сумма
является степенью многочлена
поэтому
где
порядок данного уравнения. Функции
(18)
очевидно,
линейно независимы и являются (ввиду
леммы) решениями уравнения (16). Так как
количество этих функций равно
то (18) – фундаментальная система решений
уравнения
Перейдём
теперь к рассмотрению случая, когда
характеристическое уравнение
имеет комплексные корни. Пусть
комплексный корень этого уравнения.
Функция
– комплекснозначная функция действительного
аргумента – является, очевидно,
комплексным решением уравнения (16), но
нам требуется найтидействительные
решения. Преобразуем эту функцию. Имеем:
где
Проверим, что эти функции
и
сами являются решениями уравнения (16).
Действительно, так как
то
Ввиду того, что
многочлен с действительными коэффициентами,
мы получаем:
В
случае, когда
комплексный корень кратности
аналогичные рассуждения показывают,
что функции
удовлетворяют уравнению (16). Таким
образом, комплексный корень кратности
даёт
линейно независимых решений уравнения
(16). Причина того, что количество получаемых
решений вдвое больше кратности корня
состоит в том, что для числа
и сопряжённого числа
(которое
обязательно тоже будет корнем
характеристического уравнения) набор
функций
один и тот же.
Теперь рассмотрены все случаи, которые могут представиться при решении характеристического уравнения, и мы получаем теорему.
Теорема.
Фундаментальная система решений
уравнения
-го
порядка
с постоянными коэффициентами имеет
ровно
линейно независимых решений, причём:
а)
действительный корень
кратности
даёт решения
б)
комплексный корень
кратности
R)
даёт решения
...
Проиллюстрируем
теорему одним примером, а именно, найдём
все решения уравнения
Составим характеристическое уравнение:
Его корни:
Комплексными решениями уравнения
являются функции
и
а их действительные и мнимые части
образуют фундаментальную систему
решений. Таким образом, общее решение
уравнения имеет вид
где
произвольные действительные константы.
В заключение этого параграфа разберём метод решения одного типа уравнений, сводящихся к уравнениям с постоянными коэффициентами. Однородным уравнением Эйлера называется уравнение вида
(19)
где
действительные константы. Для решения
этого уравнения введём новую независимую
переменную
полагая
Производные функции
по
надо теперь выразить через производные
по
Имеем:
и
т.д. Подставив эти выражения в уравнение
(19), мы получим уравнение с постоянными
коэффициентами. Заметим, что в области
замена
незаконна, но в этом случае можно сделать
замену
и уравнение (19) также сведётся к уравнению
с постоянными коэффициентами.