Вопрос 33. Случай кратных корней характеристического уравнения
Теор. Пусть 
корень кратности k характеристического уравнения, т.е.
. Тогда 
является решением ОЛОДУ ВП 
отвечающим значению 
Перед доказательством этой теоремы рассмотрим.
Лемма. (Дифференциальное тождество)
Пусть 
. Тогда 
Док-во: Рассмотрим 
формула Лейбница 
. Тогда 
Докажем теперь теорему.
Док-во: берем 
. Тогда 
поскольку корень кратности 
, но 
при 
Лемма. Если 
произвольный многочлен степени m, то 
, где 
многочлен той же степени.
Док-во: Методом математической индукции
БАЗА. 
Если 
многочлен степени (m-1), а 
многочлен степени m, в сумме будет многочлен степени m. Если же 
, то 
ШАГ. Пусть утверждение верно для 
, т.е. 
Покажем, что тогда она верна и для 
(см базу) – верно 
утверждение верно 
#
Пусть теперь характеристическое уравнение имеет корни : 
кратности 
кратности 
,…, 
кратности 
различны, 
. Тогда рассмотрим сумму h функций (решений ОЛОДУ ВП) 
…
Покажем, что эта система ЛНЗ (тогда это и будет ФСР). От противного. Предположим, что она ЛЗ, что 
нетривиальный набор чисел 
. Поскольку набор чисел нетривиальный, то хотя бы один из многочленов 
. БОО считаем, что 
На самом деле, не только он, т.к если бы все остальные многочлены 
, то мы бы получили тождество : 
противоречие есть еще какой-то ненулевой многочлен. Тогда 
Дифференцируем это тождество k раз по лемме 
Какой-то многочлен из 
будет 
БОО это 
. По тем же соображениям, что и выше не только он 
, но и еще по крайней мере один другой. Умножаем обе части на 
, получим 
Дифференцируем еще раз. Далее используем те же соображения дойдем до того, что 
. С одной стороны из рассуждений, приведенных выше, получаем, что 
С другой стороны тождество (10) может быть выполнено только при 
противоречие. Оно возникло из предположения, что нетривиальная ЛК построенных функций, которое 
Значит, предположение неверно только тривиальная ЛК 
построеная система функций ЛНЗ она представляет собой ФСР (вообще говоря 
значную). Для уравнения с вещественными коэффициентами из нее можно построить вещественную ФСР по тем же правилам что и в случае простых костей. #