1. Линейность преобразования Лапласа. Если f (t), g (t) - функции-оригиналы, имеющие изображения F (p), G (p), то их линейная комбинация α f (t) + β g (t) (α = cost, β = const)- тоже функция-оригинал, и α f (t) + β g (t)
α F (p) + β G (p).
Это свойство непосредственно следует из свойства линейности несобственного определённого интеграла. С его помощью можно более просто вывести изображения функций sin t, cos t, исходя из изображения
:
;
. Далее,
;
.
2. Теорема подобия. Если f (t) - функция-оригинал и f (t)
F (p), то для любого λ > 0
.
Док-во.
.
Иллюстрации применения этого свойства: если
, то
; если
, то
и т.д.
3. Теорема смещения. Если f (t)
F (p), то e α t f (t)
F (p − α),. Здесь α - произвольное комплексное число.
Док-во.
.
Иллюстрации применения этого свойства: если
, то
; если
, то
и т.д.
4. Теорема запаздывания. Если f (t)
F (p) (т.е. f (t) · η (t)
F (p)), то f (t − t 0) · η (t − t 0)
e − t 0 · p · F (p) для любого числа t 0 ≥ 0.
Док-во.
.
Теорема запаздывания применяется для изображения функций импульсных, составных, периодических. Рассмотрим этот вопрос подробнее.
Импульсные функции.
а) Единичный импульс:
С помощью функции Хевисайда эта функция записывается так:
. Мы знаем, что
; по теореме запаздывания (t 0 = 1)
, поэтому
.
б) Запаздывающий прямоугольный импульс:
Здесь
.
в) Треугольный импульс. Аналитически эта функция записывается так:
Изменение функции на переходе от участка T ≤ t ≤ T + τ к участку T + τ ≤ t ≤ T + 2τ равно
; при переходе к участку t > 2τ изменение функции равно
, поэтому можно переписать
, и, так как
,
, то
.
г) Синусоидальный импульс.
Здесь
, поэтому
.
Составные функции. Пусть f (t) задаётся разными выражениями на различных участках области определения:
. С помощью функции Хевисайда f (t) записывается так:
, и теорема запаздывания позволяет получить изображение этой функции.
Периодические функции. Пусть f (t)- периодическая при t > 0 функция с основным периодом, равным T. Обозначим f 1(t) функцию, описывающую первый период функции f (t):
. Теперь
(каждое слагаемое описывает соответствующий период). Пусть
- изображение функции f 1(t). Тогда
.
Найдём в качестве примера изображение функции { t } - дробной части числа t. Эта функция определяется так: { t } = t – n при n ≤ t < n + 1, n - целое число. Для неё
, или f 1(t) = t · [ η (t) − η (t − 1)] = t · η (t) − (t − 1) η (t − 1) − 1 · η (t − 1), поэтому
, и
.
5. Интегрирование оригинала. Если f (t) - функция-оригинал, и f (t)
F (p), то
- тоже функция-оригинал, и
.
Док-во.
(это повторный интеграл, вычисляемый по области {0 ≤ t < +∞, 0 ≤ τ ≤ t }; меняем порядок интегрирования, это можно сделать, так как несобственный двойной интеграл сходится абсолютно)
.
6. Дифференцирование оригинала. Если функция-оригинал f (t) имеет производную f ′(t), тоже являющуюся оригиналом, и f (t)
F (p), то f ′(t)
p F (p) − f (+0).
Док-во.
Мы пишем здесь f (+0), а не f (0), так как оригинал может иметь разрыв (первого рода) в точке t = 0.
Формула дифференцирования оригинала может применяться неоднократно. Если функция-оригинал f (t) имеет производные f ′(t), f ″(t), f ′″(t), f (4)(t), …, f (n)(t), и все они тоже являются оригиналами, имеющими изображения F 1(p), F 2(p), F 3(p), …, Fn (p), то, как только что доказано, f ′(t)
F 1(p) = p F (p) − f (+0). Тогда f ″(t)
F 2(p) = p F 1(p) − f ′(+0) = p 2 F (p) − p f (+0) − f ′(+0), f ″′(t)
F 3(p) = p F 2(p) − f ″(+0) = p 3 F (p) − p 2 f (+0) − p f ′(+0) − f ″(+0), …, f (n)(t)
Fn (p) = p nF (p) − p n − 1 f (+0) − p n − 2 f ′(+0) − p n − 3 f ″(+0) − … − p f (n − 2)(+0) − f (n − 1)(+0).
7. Интегрирование изображения. Пусть f (t) - функция-оригинал, f (t)
F (p), и функция
ограничена в окрестности точки t = 0. Тогда
тоже является оригиналом и
.
Док-во. Проинтегрируем равенство
по переменной q = ρ + i η по горизонтальному лучу, проведённому из точки p = ξ + i η, где ξ ≤ ρ = Re q < +∞:
.
Иллюстрации применения теорем об интегрировании изображения и оригинала:
1. Найти изображение интегрального синуса
.
Решение:
(по теореме 20.2.7)
(по теореме 20.2.5)
.
2. Найти изображение функции
.
Решение.
.
8. Дифференцирование изображения. Если f (t) - функция-оригинал, и f (t)
F (p), то − t f (t)
F ′(p).
Док-во.
. Дифференцируя это соотношение по параметру р, получаем
.
Иллюстрации этого свойства. С его помощью просто получаются изображения степенных функций:
, или
;
, или
,
, или
;
, или
, и вообще
.
Другие иллюстрации:
, …,
.
и т.д.
9. Изображение свёртки функций. Теорема Бореля. Интегралы Дюамеля.
Свёртка функций и её свойства.
Определение. Сверткой функций f 1(t) и f 2(t) называется функция
.
Свёртка обозначается символом f 1 * f 2:
. Если f 1(t) и f 2(t) - функции-оригиналы, то их свёртка - тоже функция-оригинал, показатель роста которой превышает наибольший из показателей роста функций f 1(t) и f 2(t) не больше, чем на 1. Действительно, пусть
,
,
, тогда
, так как t < e t.
Свёртка функций коммутативна: f (t) * g (t) = g (t) * f (t), в этом легко убедиться, заменив в интеграле
переменную τ на τ 1 = t − τ.
Можно показать, что свёртка обладает свойством ассоциативности, т.е. что (f 1 * f 2) * f 3 = f 1 * (f 2 * f 3).
Теорема Бореля (теорема об умножении изображений).
Изображение свёртки двух оригиналов равно произведению изображений свёртываемых оригиналов.
Док-во.
(меняем порядок интегрирования)=
.
С помощью этой теоремы легко находить оригиналы для изображений вида F 1(p)· F 2(p).
Примеры. Найти оригиналы, если
1.
. Здесь
,
, поэтому
.
2.
. Здесь
,
, поэтому
.
3.
. Здесь
, поэтому
.
Интегралы Дюамеля. Запишем с помощью теоремы Бореля оригиналы для выражения вида pF (p) G (p), где F (p) и G (p) - изображения функций f (t) и g (t). С одной стороны,
(так как, по теореме 20.2.8,
); с другой стороны,
.
В развёрнутом виде
,
.
Каждая из этих формул называется интегралом Дюамеля.
20.3. Таблица стандартных изображений.
Сведём в таблицу полученные ранее изображения элементарных функций.
| f (t) | F (p) | f (t) | F (p) | |||
| 1. | 1 |
| 9. | e α t · sin β t |
| |
| 2. | t n |
| 10. | e α t · cos β t |
| |
| 3. | e α t |
| 11. | e α t · sh β t |
| |
| 4. | e α t · t n |
| 12. | e α t · ch β t |
| |
| 5. | sin β t |
| 13. | t · sin β t |
| |
| 6. | cos β t |
| 14. | t · cos β t |
| |
| 7. | sh β t |
| 15. | t · sh β t |
| |
| 8. | ch β t |
| 16. | t · ch β t |
|






