ТФКП лекции Гурина Т.А
..pdf
2.8. Вычеты в б.у. особых точках |
51 |
Замечание. Очевидно, что c = ∞ – ИОТ функции f(z) c = 0 – ИОТ функции f z1
Классификация бесконечно ИОТ
|
z→c |
6= ∞ |
= ∞ |
@ |
|
lim f(z) |
, |
, |
|
|
|
|
|
|
|
Тип ИОТ |
c = ∞ – УОТ |
c = ∞ – полюс |
c = ∞ – СОТ |
|
|
|
|
|
c = ∞ – полюс порядка k функции f(z) c = 0 – полюс порядка k f z1 .
Теорема 1 (Необходимое и достаточное условие бесконечной УОТ, полюса порядка k, и бесконечной СОТ).
1.c = ∞ – УОТ функции f(z) ряд Лорана f(z) по степеням z не содержит положительных степеней.
2.c = ∞ – полюс порядка k функции f(z) ряд Лорана f(z) по степеням z содержит положительные степени (до k-ой включительно).
3.c = ∞ – СОТ функции f(z) ряд Лорана f(z) по степеням z содержит бесконечное число членов с положительными степенями.
Доказательство. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
c = 0 |
|
|
|
функции f |
|
|
1 |
|
f |
1 |
|
= b0 + b1z + b2z2 + |
· · · |
||||||||||||||||||
1. |
|
|
|
– УОТ |
|
1 |
|
1 |
|
z |
z |
|
a−1 |
|
|
a−2 |
+ · · · . |
|||||||||||||||
|
f(z) = b0 + b1 |
z |
+ b2 |
z2 |
+ · · · = a0 + |
z |
|
+ |
z2 |
|
||||||||||||||||||||||
|
c = 0 – полюс k-го порядка функции f |
1 |
|
|
|
|
|
|
||||||||||||||||||||||||
2. |
|
|
|
1 |
|
b−k |
|
|
b−k+1 |
|
|
|
|
|
b−1 |
|
|
|
|
|
z |
|
|
|
|
|||||||
|
|
f |
z |
= zk |
+ zk−1 + · · · |
+ |
|
z + |
b |
0 + |
b |
z + |
1· · · |
|
||||||||||||||||||
|
|
|
|
|
|
1 |
|
a |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
k |
|
|
|
|
k |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
+ · · · . |
|
|
|
f(z) = akz |
|
+ ak−1z |
− |
|
|
+ · · · + a1z + a0 + |
|
|
|
|
|||||||||||||||||||||
|
|
|
|
z |
|
|
|
|||||||||||||||||||||||||
3. |
Аналогично. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Определение 2 (Вычет в бесконечности). c = ∞ – ИОТ f(z)
z→∞ |
1 |
|
2πi I |
||
Res f(z) := |
|
f(z) dz |
−
52 |
|
Глава 2. |
Основные свойства аналитических функций |
||||
Замечание. |
|
|
|
|
|
|
|
1. |
Функция |
f(z) |
|
является |
|||
|
аналитической |
в |
c |
= |
∞, |
||
|
если zlim f(z) 6= ∞ |
|
|
||||
|
→∞ |
|
|
|
|
|
|
|
(c = ∞ – УОТ) |
|
|
|
|
|
|
2. |
Res f(z) |
= |
− |
a |
−1 |
– |
коэф- |
z=∞ |
|
|
|||||
фициент при степени (−1) в разложении f(z) по степеням z.
Теорема 2 (Полная теорема о вычетах). Пусть f(z) : C → C, c1, c2, . . . , cm, ∞ - изолированные особые точки функции f(z). Тогда
m
X
Res f(z) + Res f(z) = 0.
z=cj z=∞
j=1
Доказательство. M - граница окрестности UM (0). По теореме 2 §2.7
|
|
1 |
|
|
|
|
m |
|
m |
|
|
|
|
|
|
|
|
f(z)dz = |
Res f(z) |
|
Res f(z) + Res f(z) = 0. |
||||||
|
|
|
|
|
|||||||||
2πi |
|||||||||||||
|
|
|
j=1 |
z=cj |
z=cj |
z= |
∞ |
||||||
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
I |
X |
|
X |
|
|
|
|||
|
|
|
M |
|
|
|
|
||||||
| |
− |
Res |
|
} |
|
|
|
|
|
||||
|
{zf(z) |
|
|
|
|
|
|||||||
z=∞
2.8. Вычеты в б.у. особых точках |
|
|
|
|
53 |
|||||||||||||||||||||||
Пример. Вычислить интеграл: |
|
|
|
|
|
|
|
|||||||||||||||||||||
|
I |
|
z3 − 1 = 2 |
|
z=1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
dz |
|
|
|
|
|
πi Res f(z); |
|
|
|
|
|
|
|
||||||||
|z−1|=1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
f(z) = |
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
z3 − 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
z1 = 1; |
√ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
1 |
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
z2,3 = − |
|
|
± i |
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
2 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
lim |
|
|
1 |
|
|
|
= |
∞ |
z = 1 |
- полюс |
; |
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||
z→1 z3 |
− 1 |
|
|
|
|
|
|
|
|
|||||||||||||||||||
1 |
|
= z3 − 1 = (z − 1) ( |
z2 + |
|
z |
+ 1); |
|
|
|
|||||||||||||||||||
|
f(z) |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
- полюс 1- |
| {z |
} |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ϕ(z) |
|
|
|
|
|
|
|||
k = 1, z = 1 |
|
|
|
|
|
|
|
го порядка; |
|
|
|
|
||||||||||||||||
Res = lim |
|
|
|
|
|
|
|
1 |
|
|
|
|
(z |
|
|
1) = |
|
1 |
. |
|||||||||
|
− 1)(z2 + z + 1) · |
− |
|
|||||||||||||||||||||||||
|
z=1 |
|
z→1 (z |
|
|
3 |
||||||||||||||||||||||
Пример. Вычислить интеграл:
I |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
√ |
|
( ) + z= |
|
|
|
|
√ |
|
! |
z3 |
− |
1 |
|
|
|
|
z=1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
z= |
− |
1 |
+i |
3 |
− |
1 |
− |
i |
3 |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
2 |
|
2 |
|
2 |
|
||||||||
|
dz |
|
|
= 2πi |
|
Res f(z) + |
|
Res |
|
|
f z |
Res |
|
|
f(z) ; |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|z|=2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рассморим точку z = ∞. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
z→0 |
z |
z→0 |
|
z13 − 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
lim f |
1 |
|
|
|
= lim |
|
1 |
|
= 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
z = 0 - устранимая особая точка. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
I |
z3 |
− 1 = −2 |
|
|
z=∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
dz |
|
|
|
πi Res f(z) = 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|z|=2
Глава 3
Преобразование Лапласа и его приложения
3.1Преобразование Лапласа и его обращение
Определение 1 (Функция-оригинал). Пусть f : R → C - комплексная функция действительного переменного, удовлетворяющая условиям:
1.f(t) на R кусочно-непрерывна, за исключением, быть может, конечного или счетного числа точек разрыва первого рода;
2.t < 0 f(t) = 0;
3. |f(t)| ≤ Mest; M, S ≥ 0; inf s = s0 - показатель роста f(t).
f(t) называется функцией-оригиналом.
Пример (Функция Хевисайда).
(
0, t < 0,
η(t) =
1, t > 0;
t = 0 - точка разрыва первого рода (устранимая).
f(0−) = 0 6= f(0+) = 1.
|η(t)| ≤ 1 = 1 · e0t, M = 1, s0 = 0.
54
3.1. Преобразование Лапласа и его обращение |
55 |
Пример. |
|
|
|
· η(t) = ( |
|
|
|
|
|
|
1 |
|
|
, t < 0 |
|||
f(t) = |
|
|
|
01 |
|
|
||
t |
− |
3 |
|
, t > 0 |
||||
|
t |
3 |
||||||
|
|
|
|
|
|
− |
|
|
f(3−) = −∞, f(3+) = +∞, t = 3 - точка разрыва второго рода f(t) не является оригиналом по пункту 1.
Пример. f(t) = et.
f(t) > 0 при t < 0 f(t) не является оригиналом по пункту 2.
f(t) = et · η(t) является оригиналом.
|et · η(t)| ≤ et = 1 · e1·t, M = 1, s0 = 1.
Пример. f(t) = et2 · η(t).
|f(t) = et2 · η(t)| ≤ et2 f(t) - не является оригиналом по пункту 3.
56 |
Глава 3. Преобразование Лапласа и его приложения |
Замечание. Функции et · η(t), cos t · η(t), sh t · η(t), tn · η(t) являются оригиналами. Также оригиналами являются их производные и интегралы. Для простоты записи η(t) опускается, но подразумевается.
Определение 2 (Преобразование Лапласа). Пусть f(t) - функцияоригинал. Комплекснозначная функция F (p) : C → C комплексного переменного p = s + iσ называется преобразованием Лапласа функции
f(t), если
+∞
Z
F (p) = f(t)e−ptdt.
0
Интеграл в правой части равенства - интеграл Лапласа. Соответствие между f(t) и F (p) обозначается следующим образом: f(t) : F (p). f(t) - оригинал, F (p) - изображение оригинала f(t).
Теорема 1 (Существование преобразования Лапласа). f(t) с показателем роста s0 преобразование Лапласа F (p) существует при
Re p = s > s0.
Доказательство. Докажем сходимость несобственного интеграла:
+∞ |
+∞ |
ZZ
|
f(t)e−ptdt |
≤ |
f(t)e−pt dt; |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(t)e−(s+iσ)t |
|
|
f t |
|
f(t)e−st |
|
e−iσt |
|
Mes0t |
|
e−st |
= Me(s0−s)t, |
|
|
|
|||||||||||||||||
|
+∞ |
|
= | |
|
( )| |
+ |
∞ |
|
· |
|
|
≤ |
|
|
· |
|
|
|
|
+ |
∞ |
|
|
тогда |
||||||||
|
|
|
pt |
|
|
|
|
|
|
|
(s0 |
|
s)t |
|
|
M |
|
|
|
(s0 |
|
s)t |
|
M |
|
|
||||||
|
|
f(t)e− |
|
dt |
≤ |
M |
Z |
f(t)e |
|
|
− |
dt = |
|
|
|
e |
|
− |
|
0 |
= |
|
|
|
|
. |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
Z |
|
|
|
|
|
|
|
|
|
|
|
s0 |
− |
s |
|
|
|
|
|
|
s0 |
− |
s |
||||||||
|
|
0 |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Интеграл равномерно сходится при Re p > s0.
Замечание. Можно доказать, что F (p) не только существует, но и аналитична при Re p > s0.
3.2. Основные свойства преобразования Лапласа |
|
|
|
|
|
|
57 |
||||||||||||
Пример. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0, t < 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
η(t) = (1, t > 0; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
s0 = 0; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ |
|
|
|
|
+ |
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
F p |
Z 1 · |
e−ptdt |
|
1 |
e−pt |
0 |
|
1 |
lim e−pt |
1 |
|
= |
|
1 |
; |
|
|
|
|
|
|
|
= −p |
|
|
|
|
|
|||||||||||
( ) = |
|
= −p |
|
t→+∞ |
− |
|
p |
|
|
|
|
||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 : |
|
1 |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Замечание. Преобразование Лапласа обратимо, т.е. F (p) : f(t).
Теорема 2 (Обращение преобразования Лапласа). Если F (p) :
C → C является изображением оригинала функции f(t), то в любой точке непрерывности справедливо равенство:
a+i∞
f(t) = 21πi Z f(p)eptdp,
a−i∞
где интеграл берется по [a − ib, a + ib] при a > s0, b → ∞.
3.2Основные свойства преобразования Лапласа
Пусть f(t), f1(t), f2(t) - функции-оригиналы и f(t) : F (p), f1(t) :
F1(p), f2(t) : F2(p).
Теорема 1 (Свойство линейности). Преобразование Лапласа линейной комбинации функций является соответствующей линейной комбинацией изображений, т.е. λ1, λ2 C
λ1f1 + λ2f2 : λ1F1(p) + λ2F2(p).
58 Глава 3. Преобразование Лапласа и его приложения
Доказательство. λ1f1+λ2f2 - оригинал; соответствие следует из линейности интеграла Лапласа. 
Теорема 2 (Свойство подобия). α > 0
f(αt) : α1 F αp .
Доказательство.
f(αt) : f(αt)e−ptdt = |
|
τ1 = 0, τ2 = |
= |
1 |
|
f(τ)e− |
αp |
τ dτ = 1 F p . |
||||
+∞ |
|
τ = αt |
∞ |
|
+∞ |
|
|
|
|
|
|
|
Z |
|
|
Z |
|
|
|
|
|
|
|
||
dt = 1 dτ |
α |
|
|
|
α |
α |
||||||
0 |
|
α |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 3 (Дифференцирование оригинала). Если f0(t) - оригинал
f0(t) : pF (p)−f(0+), f(n)(t) - оригинал f(n)(t) : pnF (p)−pn−1f(0+)−
. . .−f(n+1)(0+). Дифференцированию оригинала соответствует домножение изображения на p.
Доказательство. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
u = e |
−pt |
||||||
f0(t) : f0 |
(t)e−ptdt = |
0pe−ptdt |
= |
|||||||||||||
du = |
||||||||||||||||
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
||
Z |
|
|
|
|
|
|
|
|
|
|
|
|
||||
0 |
|
|
|
|
|
|
|
|
|
dv = f (t)dt |
|
|||||
|
|
|
|
|
|
|
|
v = f(t) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
= f(t)e− |
pt |
0∞ |
|
Z |
|
|
|
|
pt |
|
|
|
|
|||
|
+ p |
f(t)e− |
|
dt = pF (p) |
− f(0+); |
|||||||||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
| |
|
|
|
{z |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
F(p) |
|
|
|
|
|
|||
Аналогично
f00(t) : p2F (p) − pf(0+) − f0(0+);
...
f(n)(t) : pnF (p) − pn−1f(0+) − . . . − fn−1(0+);
Теорема 4 (Интегрирование оригинала). Если f(t) - оригинал и f(t) : F (p), то
t
Z
f(τ)dτ : F p(p).
0
3.2. Основные свойства преобразования Лапласа |
59 |
||||||||
Доказательство. |
|
|
|
|
|
|
|
||
t |
= g(t) - оригинал. Пусть g(t) : G(p). Но g0(t) = f(t) и по |
||||||||
f(τ)dτ |
|||||||||
R |
g0(t) |
pG(p) g(0 ) = pG(p) |
|
f(t) |
|
F (p) |
|||
0 |
: |
|
− |
|
|
|
|
: |
|
теореме 3 |
|
+ |
|
, но |
|
|
|||
pG(p) = F (p) G(p) = |
F (p) |
|
|
|
|
||||
|
|
|
|
|
|
||||
p |
|
|
|
|
|||||
Теорема 5 (Дифференцирование изображений).
F (p) : f(t) f0(t) : −tf(t), . . . , F (n)(p) : (−1)ntnf(t).
Доказательство. Если
+∞
Z
F (p) = f(t)e−ptdt
0
равномерно сходится на Re p > s0, то его можно почленно дифференцировать:
F 0(p) = |
+∞f(t)e−ptdt 0 |
= |
+∞ f(t)e−pt |
p0 dt = |
+∞f(t)( t)e−ptdt : tf(t). |
|||||
|
|
Z |
p |
|
Z |
|
|
Z |
− |
− |
|
0 |
|
0 |
0 |
|
|
||||
Аналогично теорема доказывается для производных более высокого порядка.
Теорема 6 (Интегрирование изображения).
∞
Z
F (p) : f(t) F (p)dp : f(tt).
p
Интеграл берется по пути, лежащем в Re p > s0
Доказательство.
∞∞ ∞
Z |
F (p)dp = Z |
|
Z |
p |
p |
0 |
f(t)e−ptdt dp = |
∞f(t)dt |
∞e−ptdt = |
∞f(t) |
|
1te−pt |
∞ dt = |
|||
|
Z |
Z |
|
Z |
|
· |
|
|
p |
0 |
p |
|
0 |
|
|
− |
|
||
|
|
∞ |
t e−ptdt : t . |
|
|
|
|||
|
= Z |
|
|
|
|||||
|
|
|
f(t) |
|
f(t) |
|
|
|
|
0
60 |
Глава 3. Преобразование Лапласа и его приложения |
Теорема 7 (Теорема запаздывания).
f(t) : F (p), τ > 0, тогда f(t − τ) - оригинал и f(t − τ) : e−pτ F (p).
Доказательство. |
|
|
|
|
|
|
|
|
= f(θ)e−p(θ+τ)dθ = |
||||||
f(t τ) |
|
f(t τ)e−ptdt = |
t = θ + τ |
|
|
|
|||||||||
|
∞ |
|
|
θ = t − τ |
|
|
|
|
|
∞ |
|
|
|||
|
: |
|
dt = dθ |
|
|
|
Z |
|
|
|
|||||
− |
Z |
− |
|
|
|
|
|
|
|
|
|
|
|
||
|
τ |
|
|
θ |
1 |
= 0, θ |
2 |
= |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= e− |
|
∞ |
|
|
|
dθ = e− |
|
F (p). |
|
|
|
|
|
|
|
|
Z0 |
f(θ)e− |
pθ |
pτ |
|||||
|
|
|
|
|
|
pτ |
|
|
|
|
|
||||
Теорема 8 (Теорема смещения).
F (p) : f(t), λ C F (p − λ) : eλtf(t).
Доказательство.
∞∞
Z Z
eλtf(t) : eλtf(t)e−ptdt = f(t)e−(p−λ)tdt = F (p − λ).
0 0
