16 Глава I. Основы операционного исчисления
Несобственный интеграл (2.1) берется вдоль любой прямой
Re p = b > α
o
, где α
o
– показатель роста функции f(t), и понимает-
ся в смысле главного значения, т.е.
b+i∞
Z
b−i∞
e
pt
F (p) dp = lim
R→+∞
b+iR
Z
b−iR
e
pt
F (p) dp.
Теорема 2 (первая теорема разложения). Пусть функция F (p) регу-
лярна в точке p = ∞, F(∞) = 0 и пусть ее ряд Лорана в окрестности
точки p = ∞ имеет вид
F (p) =
∞
X
n=1
c
n
p
n
. (2.2)
Тогда оригиналом изображения F (p) является функция
f(t) =
∞
X
n=0
c
n+1
n!
· t
n
. (2.3)
Определение. Функция F (p) называется мероморфной в комплекс-
ной плоскости, если она регулярна в любой ограниченной области ком-
плексной плоскости, за исключением, быть может, конечного числа осо-
бых точек типа полюс.
Теорема 3 (вторая теорема разложения). Пусть мероморфная функ-
ция F (p) регулярна в полуплоскости Re p > α и удовлетворяет усло-
виям:
1. Существует система окружностей
C
n
: |p| = R
n
, R
1
< R
2
< . . . , R
n
→ ∞ (n → ∞)
такая, что max
p∈C
n
|F (p)| → 0 (n → ∞).
2. При ∀a > α интеграл
∞
R
−∞
|F (a + iσ)|dσ сходится.
Тогда F (p) – изображение, оригиналом для которого служит функция
f(t) =
X
(p
k
)
res
p=p
k
£
F (p)e
pt
¤
, (2.4)
где сумма берется по всем полюсам p
k
функции F (p).