49. Линейные дифференциальные уравнения с постоянными коэффициентами
Поиск фундаментальной системы решений в общем случае является достаточно трудной задачей. Тем не менее, есть класс уравнений, для которого эта задача достаточно легко решается. К изучению этого класса мы и приступаем.
Линейное дифференциальное уравнение (5.24) назовём уравнением с постоянными коэффициентами, если в этом уравнении коэффициенты постоянны, то есть . Тогда соответствующее однородное уравнение Будет иметь вид
(5.27)
Решение уравнения (5.27) будем искать в виде . Тогда , ,…, . Подставляя в (5.27), получаем
.
Так как Нигде в нуль не обращается, то
. (5.28)
Уравнение (5.28) называется характеристическим уравнением линейного однородного дифференциального уравнения с постоянными коэффициентами.
Таким образом, нами доказана следующая теорема.
Теорема. Функция является решением линейного однородного дифференциального уравнения с постоянными коэффициентами (5.27) тогда и только тогда, когда есть корень характеристического уравнения (5.28).
Возможны нижеследующие случаи.
1. Все корни характеристического многочлена вещественны и различны. Обозначим их . Тогда получим различных решений
, ,…, (5.29)
Уравнения (5.27). Докажем, что полученная система решений линейно независима. Рассмотрим её определитель Вронского
.
Множитель в правой части нигде в нуль не обращается. Поэтому осталось показать, что второй сомножитель (определитель) не равен нулю. Допустим, что
Тогда строки этого определителя линейно зависимы, т. е. существуют числа такие, что
, , … , .
Таким образом, мы получили, что есть различных корней полинома - й степени, что невозможно. Следовательно, определитель в правой части не равен нулю и система функций (5.29) образует фундаментальную систему решений уравнения (5.27) в случае, когда корни характеристического уравнения различны.
Пример. Для уравнения корни характеристического уравнения равны , . Следовательно, фундаментальную систему решений составляют функции ,, а общее решение записывается в виде .
2. Среди действительных корней характеристического уравнения есть кратные. Предположим, что имеет кратность , а все остальные различны. Рассмотрим вначале случай . Тогда характеристическое уравнение имеет вид
,
Так как в противном случае не являлось бы корнем кратности . Следовательно, дифференциальное уравнение имеет вид
,
То есть не содержит производных порядка ниже . Этому уравнению удовлетворяют все функции, у которых производные порядка и выше равны нулю. В частности, таковыми являются все полиномы степени не выше , например,
. (5.30)
Покажем, что данная система линейно независима. Составив определитель Вронского этой системы функций, получим
.
Это определитель треугольного вида с отличными от нуля элементами, стоящими на главной диагонали. Поэтому он отличен от нуля, что и доказывает линейную независимость системы функций (5.30). Заметим, что в одном из примеров предыдущего параграфа мы доказывали линейную независимость системы функций (5.30) другим способом. Пусть теперь корнем характеристического уравнения кратности является число . Произведём в уравнении (5.27) замену . Тогда
И так далее. Подставляя полученные значения производных в исходное уравнение, снова получим линейное однородное уравнение с постоянными коэффициентами
(5.31)
С характеристическим уравнением
. (5.32)
Отметим, что если - корень характеристического уравнения (5.32), то - решение уравнения (5.31), а является решением уравнения (5.27). Тогда - корень характеристического уравнения (5.28). С другой стороны, уравнение (5.27) может быть получено из уравнения (5.31) обратной заменой И поэтому каждому корню характеристического уравнения (5.28) соответствует корень характеристического уравнения (5.32). Таким образом, установлено взаимно однозначное соответствие между корнями характеристических уравнений (5.28) и (5.32), причём различным корням одного уравнения соответствуют различные корни другого. Так как - корень кратности уравнения (5.28), то уравнение (5.32) имеет корнем кратности . По доказанному ранее, уравнение (5.31) имеет линейно независимых решений
,
Которым соответствует линейно независимых решений
(5.33)
Уравнения (5.27). Присоединяя полученную систему решений (5.33) к решениям, соответствующим остальным корням характеристического уравнения, получим фундаментальную систему решений для линейного однородного дифференциального уравнения с постоянными коэффициентами в случае наличия действительных кратных корней.
Примеры
1. Для уравнения характеристическое уравнение имеет корни кратности 1 и кратности 2, так как . Поэтому фундаментальной системой решений исходного уравнения является система функций , а общее решение имеет вид
2. Для уравнения характеристическое уравнение имеет корни кратности 3 и кратности 2, так как . Поэтому фундаментальной системой решений исходного уравнения является система функций , а общее решение имеет вид .
3. Среди корней характеристического уравнения есть комплексные корни. Можно рассматривать комплексные решения, но для уравнений с действительными коэффициентами это не очень удобно. Найдём действительные решения, соответствующие комплексным корням. Так как мы рассматриваем уравнение с действительными коэффициентами, то для каждого комплексного корня кратности характеристического уравнения комплексно сопряжённое ему число также является корнем кратности этого уравнения. Соответствующими этим корням парами решений являются функции и , . Вместо этих решений рассмотрим их линейные комбинации
,
, которые также являются решениями уравнения . Так как преобразование, осуществляющее переход от к ,, невырожденное (с отличным от нуля определителем), то оно переводит линейно независимую систему решений в линейно независимую.
Примеры
1. Для уравнения корни характеристического уравнения равны и фундаментальная система решений состоит из функций а общее решение имеет вид
2. Для уравнения корни характеристического уравнения равны , и фундаментальная система решений состоит из функций а общее решение имеет вид
3. Для уравнения характеристическое уравнение имеет корни кратности 2, так как . Поэтому фундаментальной системой решений исходного уравнения является система функций , а общее решение имеет вид
< Предыдущая | Следующая > |
---|