Доказательство. 1) применяем интегрирование по частям:
+∞ |
|
0 |
∞ |
+∞ |
||
(x + 1) = Z |
txe−t dt = −txe−t |
|
+ x Z |
tx−1e−t dt = 0 + x (x) = x (x); |
||
0 |
|
+ |
0 |
|
||
|
|
|
|
|
|
|
+∞
Z
2) (1) = e−t dt = −e−t +∞ = 1;
0
0
3) используем 1) и 2), тогда
(n + 1) = n (n) = n(n − 1) (n − 1) = · · · = n(n − 1) · · · 2 · 1 (1) = n!; lim (x+
|
|
|
|
|
|
(x + 1) |
x→0+0 |
|
+1) = (1) = 1 и, следовательно, |
lim (x) = |
|
lim |
= + . |
|
|||
x |
→ |
0+0 |
x |
→ |
0+0 |
x |
∞ |
|
|
|
|
||||||
9. ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ
В 9 используются комплекснозначные функции вещественной переменной. Дадим необходимые определения и приведем (необходимые в дальнейшем) свойства таких функций.
Определение 9.1. Функция f : < a, b > R → C называется комплекснозначной функцией вещественной переменной, если f(x) = ϕ(x)+ +iψ(x), где ϕ, ψ : < a, b >→ R, а i мнимая единица. Обычно функция ϕ называется вещественной частью f, а ψ мнимой частью f. При этом используются обозначения: ϕ = <e(f) и ψ = =m(f).
Дадим определение интеграла от комплекснозначной функции вещественной переменной.
Определение 9.2. Пусть f : < a, b > R → C (допускается, что a = −∞, а b = +∞) тогда f = ϕ + iψ, где ϕ, ψ : < a, b >→ R. Пусть ϕ, ψ интегрируемы на < a, b >. Тогда f интегрируема на < a, b > и, по определению,
b |
|
b |
b |
Za |
f(x) dx = Za |
ϕ(x) + i Za |
ψ(x) dx. |
Для интеграла от комплекснозначной функции вещественной переменной можно доказать следующее предложение см. [ 3 ].
80
b
Z
Предложение 9.1. 1. Для f(x) dx справедливы формулы Ньютона
a
Лейбница и интегрирования по частям. 2. Справедливо неравенство
b |
b |
ZZ
f(x) dx ≤ |f(x)| dx
a a
9.1. Функция оригинал
Определение 9.3. Функцией оригиналом называется комплекснозначная функция вещественного переменного f : R → C, удовлетворя-
ющая условиям:
1)f интегрируема на любом конечном промежутке;
2)для любых t < 0 f(t) = 0;
3)существуют вещественные постоянные M > 0 и σ ≤ 0 такие, что для любых t R |f(t)| ≤ Meσt.
Пример 9. 1. Все описанные ниже функции являются функциямиоригиналами. Первые два условия определения 9.3 очевидны, а для треть-
его укажем константы M > 0 и σ ≥ 0 1) функция Хевисайда δ1 : R → C
(
δ1(t) =
1, åñëè t ≥ 0,
0, åñëè t < 0,
σ= 0, M = 1;
2)f(t) = tnδ1(t) (в качестве σ можно взять любое положительное число, а существование M > 0 следует из ограниченности функции tne−σt);
3)f(t) = sin(kt + ω)δ1(t) σ > 0, M = 1;
4)f(t) = eatδ1(t) σ = <e(a), M = 1. •
Теорема 9.1. Если f, g функции-оригиналы, то:
1)для любого λ C λf функция-оригинал;
2)f ± g функция-оригинал;
3)fg функция-оригинал;
t
Z
4) Φ(t) = f(τ) dτ функция-оригинал.
0
81
Доказательство. Выполнение свойств 1, 2 определения 9.3 очевидно. Необходимо проверять выполнение свойства 3. Так как f, g функции-
оригиналы, то существуют M1, M2 > 0; σ1, σ2 ≥ 0 такие, что |f(t)| ≤
≤M1eσ1t è |g(t)| ≤ M2eσ2t. Тогда:
1)|λf(t)| ≤ |λ|M1eσ1t, следовательно λf функция-оригинал;
2)пусть, для определенности, σ1 ≥ σ2, тогда |f(t) ± g(t)| ≤ |f(t)|+ +|g(t)| ≤ M1eσ1t + M2eσ2t ≤ (M1 + M2)eσ1t. Следовательно f ±g функция-
оригинал;
3) |f(t)g(t)| ≤ |f(t)||g(t)| ≤ M1M2e(σ1+σ2)t. Значит fg функция-ори- гинал;
t |
|f(τ|) dτ ≤ M1 |
Z0 |
t |
τ dτ = σ11 |
(eσ1t − 1) ≤ |
σ11 eσ1t, åñëè |
|
4) |Φ(t)| ≤ Z0 |
eσ1 |
||||||
|
|
|
|
|
M |
|
M |
σ1 > 0. Åñëè, æå σ1 = 0, òî |Φ(t)| ≤ M1t ≤ M1et. Следовательно |Φ(t)| функция-оригинал. 
9.2. Преобразование Лапласа |
+∞ |
|
Теорема 9.2 Если f функция-оригинал, то |
Z0 |
f(t)e−st dt сходит- |
ся абсолютно для всех s C удовлетворяющих условию <e(s) > σ (см. свойство 3 определения 9.3 ).
Доказательство. Из определения функции-оригинала получаем:
|f(t)e−st| = |f(t)||e−st| = |f(t)|e−t<e(s) ≤ Me−t(<e(s)−σ).
Функция Me−t(<e(s)−σ) ïðè <e(s) > σ интегрируема на [0, +∞) è
+∞
Me−t(<e(s)−σ) dt = M
<e(s) − σ
Z
f(t)e−st dt сходит-
0
Определение 9.4. Пусть f функция-оригинал и задана область D = {s C | <e(s) > σ} C, тогда функция комплексного переменного
F : D → C,
+∞
Z
F (s) = f(t)e−st dt
0
82
называется изображением по Лапласу оригинала f.
При этом применяются следующие обозначения: F = L(f) è f = = L−1(F ). Соответствие между оригиналами и изображениями называют преобразованием Лапласа.
+∞ |
|
Пример 9. 2. Для любых s C, <e(s) > 0 L(δ1) = Z0 |
e−st dt = 1s. |
9.3. Теоремы линейности, запаздывания и смещения
Пусть f g функции-оригиналы. Тогда по определению 9.3 сущест-
âóþò M1, M2 > 0 è σ1, σ2 ≥ 0 такие, что |f(t)| ≤ M1eσ1t |g(t)| ≤ M2eσ2t. Справедливы следующие теоремы.
Теорема 9.3. (Линейности.) Для любых c1, c2 C
L(c1f + c2g) = c1L(f) + c2L(g)
ïðè <e(s) > max(σ1, σ2).
Доказательство, очевидно, следует из свойств линейности интеграла и теоремы 9.1 .
Теорема 9.4. (Смещения.) L(f(t)eat) = L(f)(s − a) ïðè <e(s) > > <e(a) + σ1.
Доказательство. Из примера 9.1 и теоремы 9.1 f(t)eat функция- оригинал <e(s) > <e(a) + σ1. Следовательно, для таких s:
+∞
Z
L(f(t)eat) = f(t)e−(s−a)t dt = F (s − a) = L(f)(s − a). 
0
Пример 9. 3. |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
||||
1) ïðè <e(s) > <e(a) |
L(eatδ1(t)) = |
|
|
; |
|
|
|
|
|
||||||||||||||
s |
a |
|
|
|
|
|
|||||||||||||||||
2) |
ïðè |
<e(s) > <e(a) |
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
L(eat cos(ωt)δ1(t)) = L eat |
eiωt + e |
iωt |
δ1(t) = |
1 |
|
|
|
||||||||||||||||
|
|
|
− |
|
|
|
|
|
L(e(a+iω)tδ1(t))+ |
|
|||||||||||||
|
2 |
|
|
|
|
|
2 |
|
|||||||||||||||
+ |
1 |
|
(e(a−iω)tδ (t)) = |
1 |
1 |
|
|
+ |
1 |
1 |
|
|
= |
s − a |
, |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
2L |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(s − a)2 + ω2 |
|||||||
|
|
1 |
2 s − (a + iω) 2 s − (a − iω) |
|
|
||||||||||||||||||
в частности L(cos(ωt)δ1(t)) = |
|
|
s |
|
|
|
|
|
<e(s) > 0; |
|
|
|
|||||||||||
s2 + ω2 |
|
ïðè |
|
|
|
||||||||||||||||||
83
3) аналогично при <e(s) > <e(a) L(eat sin(ωt)δ1(t)) = |
ω |
||||
|
, |
||||
(s − a)2 + ω2 |
|||||
è ïðè <e(s) > 0 L(sin(ωt)δ1(t)) = |
s |
• |
|
|
|
s2 + ω2 |
. |
|
|
||
Теорема 9.5. (Запаздывания.) Для любых t0 > 0 L(f(t − t0)) = = e−st0 L(f(t)) ïðè <e(s) > σ1.
Доказательство. Очевидно, что f(t−t0) функция-оригинал и изображение по Лапласу существует для нее при <e(s) > σ1. Далее
+∞ |
|
+∞ |
|
L(f(t − t0)) = Z (f(t − t0))e−st dt = Z (f(t − t0))e−st dt = |
|
||
0 |
|
t0 |
|
|
+∞ |
|
|
= < делаем замену t − t0 = τ > = e−st0 |
Z0 |
f(τ)e−sτ dτ = e−st0 L(f(t)). |
|
|
|||
|
|||
9.4.Теоремы о дифференцировании и интегрировании оригинала. Теорема о свертке
Теорема 9.6. (О дифференцировании оригинала.) Предположим, что функция f и ее производные f(k), k = 0, . . . , n являются функ-
циями-оригиналами, и при этом выполнены оценки: |f(k)(t)| ≤ Mkeσkt, k = 0, . . . , n. Тогда при <e(s) > max(σ0, σ1, . . . , σn) :
L(f(n)) = snL(f) − sn−1f(0) − sn−2f0(0) − · · · − sf(n−2)(0) − f(n−1)(0). (9.1)
Доказательство. Проведем доказательство для f0. Для остальных
производных доказательство проводится по индукции. Применим формулу интегрирования по частям. Тогда
+∞ |
|
+∞ |
|
||
L(f 0 ) = Z |
f0(t)e−st dt = (f(t)e−st) |
|
0+∞ + s Z |
f(t)e−st dt = sL(f) − f(0). |
|
|
|||||
0 |
|
0 |
|
|
|
|
|
|
|
|
|
Теорема 9.7. (Об интегрировании оригинала.) Предположим, что функция f является функцией-оригиналом, и при этом выполнена
оценка: |f(t)| ≤ Meσt, Тогда при <e(s) > σ :
L |
Zt |
f(τ) dτ |
|
= |
L(f) |
. |
|
s |
|||||||
|
|
0 |
|
|
|
|
|
84