Функция f: R → C называется функцией-оригиналом, если она обладает следующими свойствами:
1) f(x) = 0 при x < 0;
b
2) |
существует интеграл Z |
f(x) dx для любых конечных a и b; |
|
3) |
a |
|
|
существуют такие постоянные M > 0 и σ ≥ 0, что |
|
||
|
|f(x)| ≤ Meσx при всех x. |
(3.48) |
|
Приведем примеры функций-оригиналов. Во всех этих примерах условия 1 и 2 выполнены, будем проверять лишь условие 3 для x ≥ 0.
1. Функция Хевисайда
(
δ1(x) =
1, x ≥ 0;
0, x < 0.
Ясно, что неравенство (3.48) выполнено с M = 1 и σ = 0.
2.Функция f(x) = xnδ1(x), где n – положительное число. Из курса математического анализа известно, что если σ > 0, то xne−σx → 0 при x → +∞, поэтому существует такое M > 0, что xne−σx ≤ M при x ≥ 0 (почему?). Таким образом, условие 3 выполнено.
3.Функция f(x) = sin(kx + w)δ1(x). Так как | sin(kx + w)| ≤ 1, можно
взять M = 1 и σ = 0.
4. Функция f(x) = eaxδ1(x), где a = b + ic C. Из формулы Эйлера eax = ebx(cos(cx) + i sin(cx))
и из равенства
| cos(cx) + i sin(cx)| = 1
следует, что
|eax| ≤ ebx,
поэтому можно взять M = 1 и σ = Re a.
Отметим важные свойства функций-оригиналов (как и в примерах, будем проверять лишь условие 3 из определения функции-оригинала).
Пусть f(x) и g(x) – функции-оригиналы и |
|
|f(x)| ≤ M1eσ1x, |g(x)| ≤ M2eσ2x. |
(3.49) |
1. Для любого постоянного c, cf(x) – функция-оригинал. Проверка:
|cf(x)| ≤ |c|M1eσx.
2. Функции f(x) ± g(x) – функции-оригиналы. Проверка:
|f(x) ± g(x)| ≤ M1eσ1x + M2eσ2x ≤ (M1 + M2)emax(σ1,σ2)x.
55
3. Функция f(x) · g(x) – функция-оригинал. Проверка:
|f(x) · g(x)| = |f(x)| · |g(x)| ≤ M1M2e(σ1+σ2)x.
x
Z
4. Функция Φ(x) = f(s) ds – функция-оригинал (здесь обозначаем
0
переменную интегрирования буквой s, чтобы подчеркнуть, что аргумент x функции Φ – это верхний предел в рассматриваемом интеграле). Можно считать, что σ1 > 0 (почему?). Тогда
x |
|
|
|
s=x |
|
|
|
|
|
|
|Φ(x)| ≤ Z |
|
|
|
= σ11 (eσ1x |
− 1) ≤ |
σ11 |
eσ1x. |
|||
M1eσ1s ds = σ11 eσ1s s=0 |
||||||||||
0 |
|
M |
|
|
M |
|
M |
|
||
Сверткой функций f(x) |
|
|
|
|
|
|
|
|
|
|
и g(x) называется функция, обозначаемая |
||||||||||
(f g)(x) и определяемая формулой |
|
|
|
|
|
|
|
|||
|
|
|
∞ |
|
|
|
|
|
|
|
|
(f g)(x) = Z |
f(s)g(x − s) ds. |
|
|
|
|||||
−∞
Теорема 3.8. Свертка (f g)(x) функций-оригиналов f(x) и g(x) является функцией-оригиналом, и верно равенство
x |
|
|
(f g)(x) = Z |
f(s)g(x − s) ds. |
(3.50) |
0
Доказательство. Докажем сначала равенство (3.50). Из определения функции-оригинала следует, что f(s) = 0 при s < 0 и g(x − s) = 0 при x − s < 0 (т. е. при s > x). Таким образом, подынтегральная функция в выражении для свертки равна 0 при s < 0 и s > x, и (3.50) следует из соотношений
|
+∞ |
|
|
|
|
Z |
f(s)g(x − s) ds = |
|
|
0 |
−∞ |
+∞ |
||
|
x |
|||
= Z |
f(s)g(x − s) dx + Z f(s)g(x − s) ds + Z |
f(s)g(x − s) ds = |
||
−∞ |
|
0 |
x |
|
|
|
x |
|
|
|
|
Z |
|
|
= 0 + f(s)g(x − s) ds + 0.
0
56
Докажем свойство 3. Если выполнены неравенства (3.49) и σ = max(σ1, σ2),
то
|f(s)g(x − s)| ≤ M1eσsM2eσ(x−s) = M1M2eσx.
Поэтому
x
Z
|(f g)(x)| ≤ M1M2eσx ds = xM1M2eσx
0
(функция M1M2eσx не зависит от переменной интегрирования s). При x ≥ 0 верно неравенство
ex = 1 + x + x2 + x3 + ... > x,
2 6
поэтому
|(f g)(x)| ≤ xM1M2eσx ≤ M1M2e(σ+1)x.
Теорема доказана.
Основным объектом операционного исчисления является преобразование Лапласа.
Пусть f(x) – функция-оригинал, для которой выполнено неравенство
|f(x)| ≤ Meσx.
Рассмотрим область D в комплексной плоскости:
D = {s C : Re s > σ}
и определим функцию (преобразование Лапласа функции f(x))
+∞ |
|
|
F (s) = Z |
f(x)e−sx dx, s D. |
(3.51) |
0 |
|
|
Функция F (s) называется изображением функции-оригинала f(x) при преобразовании Лапласа (или просто изображением f(x) по Лапласу). Будем писать
f(x) 7→F (s).
Теорема 3.9. Несобственный интеграл в (3.51) сходится.
Доказательство. Из курса анализа известно, что для доказательства сходимости несобственного интеграла в правой части равенства (3.51) достаточно найти такую неотрицательную функцию g(x), что
|f(x)e−sx| ≤ g(x)
57
и существует конечный предел
|
|
T |
|
|
|
|
(3.52) |
|||
|
|
T →+∞ Z0 |
|
|
|
|
||||
|
|
lim g(x) dx. |
|
|
|
|
|
|
||
Поскольку |
|
|
|
|
|
|
|
|
|
|
|
|f(x)e−sx| ≤ Meσxe−(Re s)x, |
|
|
|
||||||
возьмем g(x) |
= Me(σ−Re s)x. Из определения |
области |
D следует, что |
|||||||
b = σ − Re s < 0. Тогда |
|
|
|
|
|
|
|
|
|
|
T |
T |
|
|
x=T |
|
|
|
|
|
|
Z |
g(x) dx = Z |
|
|
= b ebT |
− b . |
|||||
Mebx dx = b ebx x=0 |
||||||||||
0 |
0 |
|
M |
|
|
M |
M |
|||
|
|
|
|
|
|
|
|
|
|
|
Так как b < 0, ebT → 0 при T → +∞. Поэтому предел (3.52) существует и равен −Mb . Теорема доказана.
Примеры.
1. |
δ |
(x) |
F (s) = |
1 |
, Re |
s > 0 |
. Действительно, при Re |
s > 0 |
|
lim |
|
e−sx |
|
= |
|||||||||||
1 |
|
7→ |
s |
|
|
|
|
x |
→ |
+ |
∞ |
| |
|
| |
|
||||||||||
= lim |
e−(Re s)x = 0, а значит, |
lim e−sx = 0. Поэтому |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||
x→+∞ |
|
|
|
|
|
|
x→+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
+∞ |
|
1 |
x=+ |
∞ |
1 |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
F (s) = Z |
e−sx dx = − |
|
e−sx x=0 |
|
= |
|
. |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
s |
|
s |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Для нахождения большего числа изображений докажем две теоремы.
Теорема 3.10. Преобразование Лапласа линейно: если f1(x) 7→F1(s), Re s > σ1 и f2(x) 7→F2(s), Re s > σ2, а c1, c2 – постоянные, то
c1f1(x) + c2f2(x) 7→c1F1(s) + c2F2(s), Re s > max(σ1, σ2).
Доказательство. При Re s > max(σ1, σ2) в силу линейности интеграла верны равенства
|
|
+∞ |
|
c1f1(x) + c2f2(x) 7→Z0 |
(c1f1(x) + c2f2(x))e−sx dx = |
||
+∞ |
+∞ |
||
= c1 Z0 |
f1(x)e−sx dx + c2 Z0 |
f2(x)e−sx dx = c1F1(s) + c2F2(s). |
|
Теорема доказана.
58
e |
ax |
Теорема 3.11 (смещения). Если |
f(x) 7→F (s), Re s > |
σ, то |
|||||
|
f(x) 7→F (s − a), Re s > σ + Re a. |
|
|
||||||
|
|
Доказательство. Верны равенства (при Re s > σ + Re a) |
|
||||||
|
|
+∞ |
+∞ |
|
|
||||
|
|
Z0 |
eaxf(x)e−sx dx = Z0 |
f(x)e−(s−a)x dx = F (s − a). |
|
||||
Теорема доказана. |
|
|
|
|
|
|
|||
|
|
Продолжим список примеров изображений функций-оригиналов. |
|||||||
|
|
2. |
|
|
|
1 |
|
|
|
|
|
|
|
eaxδ1(x) 7→ |
|
, |
Re s > Re a. |
(3.53) |
|
|
|
|
|
|
|||||
|
|
|
|
s − a |
|||||
Это соотношение следует из формулы для изображения функции δ1(x) и
теоремы смещения. |
|
|
|
|
|
s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ω |
|
|
||||||
3. cos(ωx)δ1(x) |
|
7→ |
|
|
|
|
|
|
, Re s |
> |
0, |
sin(ωx)δ1(x) |
7→ |
|
, |
||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
s2 + ω2 |
s2 + ω2 |
||||||||||||||||||||||||||||||||
Re s > 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Докажем первую из формул, вторая доказывается аналогично. По |
|||||||||||||||||||||||||||||||||
формуле Эйлера |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
eiωx + e−iωx |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
cos(ωx) = |
. |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
Из формулы (3.53) следует, что при Re s > Re(iω) = 0 |
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
eiωx |
7→ |
|
1 |
|
|
, e−iωx 7→ |
1 |
. |
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
s − iω |
s + iω |
|
|
|
|
|
||||||||||||||||||||
Так как преобразование Лапласа линейно (теорема 3.10 ), при Re s > 0 |
|
|
|||||||||||||||||||||||||||||||
cos(ωx)δ |
(x) |
|
|
|
1 |
|
|
1 |
|
+ |
1 |
|
1 |
|
|
= |
1 |
|
s + iω + s − iω |
|
= |
|
s |
. |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
2 s + iω |
2 |
|
s2 + ω2 |
|
|||||||||||||||||||||
1 |
|
7→2 s − iω |
|
|
|
s2 + ω2 |
|
|
|
||||||||||||||||||||||||
Выведите вторую формулу (для изображения функции sin(ωx)δ1(x)) |
|||||||||||||||||||||||||||||||||
самостоятельно. |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
4. xδ1(x) 7→ |
|
, Re s > 0. Так как xe−σx → 0 при x → +∞ и фиксиро- |
|||||||||||||||||||||||||||||||
s2 |
|||||||||||||||||||||||||||||||||
ванном σ > 0, для любого σ > 0 найдется такое M > 0, что x ≤ Meσx, x ≥ 0.
Поэтому интеграл (3.51) сходится при любом s D, где D = {s C : Re s > 0} (для любого s D можно найти такое σ, что 0 < σ < Re s).
Напишем формулу для соответствующего преобразования Лапласа:
+∞
Z
xδ1(x) 7→ xe−sx dx.
0
59