§ 17. Формула разложения Хевисайда
Пусть изображение функции представляет собой дробно-рациональную функцию.
Теорема. Пусть
, где и – дифференцируемые функции. Введем как полюсы функции , т.е. корни (нули) ее знаменателя. Тогда, если , получим формулу Хевисайда: . (17.1)Доказательство проведем для случая, когда
и – многочлены степеней т и п соответственно, при этом т < п. Тогда – правильная рациональная дробь. Представим в виде суммы простейших дробей: . (17.2)Отсюда
Коэффициенты найдем из тождества (17.2), переписав его в виде ,где
.Умножим обе части последнего равенства на
и перейдем к пределу при . Учитывая, что и , получим ,откуда и следует (17.1). Теорема доказана.
Замечание 1. Если коэффициенты многочленов
и вещественны, то комплексные корни многочлена попарно сопряжены. Следовательно, в формуле (17.1) комплексно сопряженными величинами будут слагаемые, соответствующие комплексно сопряженным корням многочлена , и формула Хевисайда примет вид , (17.3)где первая сумма распространена на все вещественные корни многочлена
, вторая – на все его комплексные корни с положительными мнимыми частями.Замечание 2. Каждый член формулы (17.1) представляет собой записанное в комплексной форме колебание
, где . Таким образом, вещественным корням ( ) соответствуют апериодические колебания, комплексным корням с отрицательными вещественными частями – затухающие колебания, чисто мнимым корням – незатухающие гармонические колебания.Если знаменатель
не имеет корней с положительными вещественными частями , то при достаточно больших значениях получим установившийся режим: , (17.4)где
; – чисто мнимые корни многочлена с положительными мнимыми частями.Колебания, соответствующие корням с отрицательными вещественными частями, экспоненциально затухают при
и поэтому не входят в установившийся режим.Пример 1. Найти оригинал изображения
Решение. Имеем
. Выпишем корни многочлена : .По формуле (17.1)
.Здесь
, , так как числа – корни уравнения . Следовательно, .Пример 2. Найти оригинал изображения
,где а > 0;
.Решение. Здесь функция
, помимо очевидного корня , имеет бесконечно много корней, являющихся нулями функции . Решая уравнение , получим , откуда .Таким образом, корни знаменателя
имеют вид и , гдеДалее запишем
; ;По формуле (17.3) находим оригинал
§ 18. Операторный метод решения дифференциальных уравнений
Дифференциальные уравнения. Рассмотрим задачу Коши для линейного дифференциального уравнения
(18.1)(здесь
) с начальными условиями . (18.2)Переходя в (18.1) к изображениям, в силу линейности преобразования Лапласа будем иметь
. (18.3)Изображения производных, используя теорему 3 § 16 и начальные условия (18.2), запишем в виде
. (18.4)Подставив (18.4) в (18.3), после несложных преобразований получим операторное уравнение
, (18.5)где
(характеристический многочлен); .Из уравнения (18.5) найдем операторное решение
. (18.6)Решением задачи Коши (18.1), (18.2) является оригинал операторного решения (18.6):