Рассмотрим ОЛДУ -го порядка с постоянными коэффициентами.
. (1)
Покажем, что это уравнение всегда может быть проинтегрировано в элементарных функциях. Для этого построим фундаментальную систему решений данного уравнения. Попытаемся найти частное решение уравнения (1) вида . Имеем , , …, , , поэтому
, где .
Уравнение называется характеристическим уравнением ОЛДУ (1).
Многочлен называется характеристическим многочленом, а его корни – характеристическими числами уравнения (1). Так как , то будет решением (1) тогда и только тогда, когда .
Таким образом, доказана
Теорема 1. Пусть действительное число есть характеристическое число ОЛДУ (1). Тогда есть его решение.
Следствие 1. Если характеристическое уравнение ОЛДУ (1) имеет различных действительных корней , то функции , … ,
образуют фундаментальную систему его решений.
Действительно,
Определитель
есть определитель Вандермонда. Он равен .Следовательно, Поэтому функции , …, линейно независимы.
Характеристический многочлен ОЛДУ (1) есть многочлен с действительными коэффициентами. Его корнями могут быть комплексные числа. Для того, чтобы выяснить, какие решения уравнения (1) отвечают простому комплексному корню характеристического уравнения, мы будем рассматривать комплексные функции действительного переменного . Определяя для этих функций производную так же, как для действительных функций действительного переменного, мы придем к тому, что дифференцируема тогда и только тогда, когда дифференцируемы функции и . При этом . Поэтому и тем самым . Так как также есть характеристическое число ОЛДУ (1), то . Но тогда
, , , .
Таким образом, каждый простой корень характеристического уравнения ОЛДУ (1) дает два действительных решения и решения (1). Функции и линейно независимы.
Допустим теперь, что есть корень кратности характеристического уравнения ОЛДУ (1). Тогда , где . Действительно,
для корня кратности имеем
Можно показать, что
.
Поэтому . Если , то решениями ОЛДУ (1) будут функции
, , …, ,
, , …, .
Если вещественный корень, то решениями будут .
Можно показать, что указанные решения ОЛДУ (1), отвечающие корню характеристического уравнения кратности линейно независимы.
Теорема 2. Для построения фундаментальной системы решений уравнения (1) необходимо найти корни характеристического уравнения, определить их кратности, и для каждого корня с учетом его кратности выписать решения, указанные выше. Все вместе эти решения составят фундаментальную систему решений уравнения (1).