Файл: Попов, М. Т. Основы теории функций комплексного переменного учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.10.2024
Просмотров: 60
Скачиваний: 0
что возможно, если будет справедливым тождество
P(z) - |
А. • |
Q, (z) = |
(z - |
а) • P,W (z) . |
(46) |
||||
Полагая в (46) |
г —а, найдем: |
|
|
|
|
||||
Р (а) — А« • |
Qi (а) = |
0 |
или |
Аа = |
Р(а) |
(47) |
|||
Qi (а) |
|||||||||
|
|
|
|
|
|
|
|
||
Теперь определим P t <ct) (z) |
так, чтобы выполнилось тождест |
||||||||
во (46), а следовательно, |
и |
тождество (45). Из |
тождест |
||||||
ва (46) |
|
|
|
|
|
|
|
|
|
Р ,« М |
= |
- Р ( г ) - |
А- - |
° ' to . |
(48) |
||||
|
|
|
|
Z |
я |
|
|
|
|
Так как Р ( а ) Ф 0, |
ибо |
данная |
дробь несократима, и |
Qi (я) =7^=0, то число А ос, определяемое по формуле (47), будетединственным и отличным от нуля. Выражение (48) вполне определяет многочлен Рл (a)(z). Так как число а является ну
лем многочлена P (z)—А а |
-Qi(z) (см. выражение (47), то |
этот многочлен делится на |
разность z—а без остатка. |
Сделаем несколько необходимых замечаний относительно многочлена PiW(z).
1 . Pi (a)(z) не может иметь своими нулями числа Ь, ..., I. Действительно, запишем тождество (46) в виде
Р(z) = AaQi (z) -j- (z — fl)P,(“) (z)
идопустим, что число b является нулем многочлена РИа) (z), то есть PiW(z) делится на разность z—b. Qi(z) тоже де лится на z—Ь. Тогда многочлен P(z) должен делиться на z—Ь, что противоречит условию теоремы. Полученное проти воречие доказывает справедливость нашего утверждения.
Число а может быть нулем |
многочлена P i(a)(z), а может |
||||||
им и не быть. |
многочлена Pj ■(*>(z) меньше, чем п—1. |
|
|||||
2. |
Степень |
Отме |
|||||
тим, что степень многочлена Р (z) равна |
ш, притом m <n, |
а |
|||||
степень |
многочлена Qi(z) равна |
п—а. Степень |
многочлена |
||||
РіИ (z) |
можем |
определить |
из |
выражения |
(48) . Если |
||
ш > п —а, то степень многочлена |
P i(a)(z) |
равна |
ш—1, Так |
как m <n, то m—1<п—1. Если ш < п —а, то степень Р і(“Дг) равна п—а—1. И в этом случае п—а—1<п—1. Таким обра зом, степень многочлена P i(a)(z) меньше, чем п—1.
Мы доказали справедливость тождества (45). Теперь рас-
смотрим дробь |
Pi(a)(zV |
------- w_i ■п , ■Эта дробь является пра* |
|
|
(z fl) • \Qi(z) |
55
пильной, потому что, степень ее числителя |
меньше, чем п—1 . |
|
а степень знаменателя |
равна n—1 . Поступая аналогично |
|
предыдущему, можем |
подобрать такое |
постоянное Число |
Аа—1 и такой многочлен Pi( e -0 (z), при которых выполнится тождество:
|
P,,e) (z) = |
Ап—1 |
|
Pp-*1(г) |
|
|
(49) |
|||||
|
(z — ß)1^ 1 |
(z — a y -'-Q iiz) |
|
|||||||||
Попутно укажем |
на следующее. Число А а-і |
определится вы |
||||||||||
ражением |
p.(«)(z) |
. |
Так |
как Qi (а) |
ф 0, |
а Рі(а) |
(а) может |
|||||
~ . |
||||||||||||
|
|
Ѵі (а) |
|
|
|
|
|
|
|
|
|
|
быть равным и не равным нулю, |
то число А*-і |
может ока |
||||||||||
заться равным нулю. |
|
|
|
|
|
|
|
|
||||
Результатом преобразований будет: |
|
|
|
|
|
|||||||
|
|
Р.(1)(г) |
|
_ |
А, |
P2 (z) |
|
|
|
(50) |
||
|
(z — a)-Qi(z) |
г |
— a ' |
Q,(z) |
|
|
|
|||||
|
|
|
|
|
||||||||
Полученные |
тождества |
приводят |
к следующему |
виду |
дан |
|||||||
ную дробь: |
|
|
|
|
|
|
|
|
|
|
|
|
P(z) |
= |
А, |
|
, |
А,-, |
, |
, |
А| |
|
P2 (z) |
|
|
Q (z) |
~ (z |
— ау ”г |
(z— а)а~1 |
' |
~г z - |
а ' |
Qi (z) |
’ |
||||
|
ФО, |
|
|
|
|
|
|
|
|
|
|
(51) |
где Ad |
а среди чисел А в-і, |
А0- 2, |
А, |
могут оказаться |
||||||||
числа, равные нулю. |
|
|
|
|
|
|
|
|
|
|||
Дробь |
P2(z) |
___________M z)_________ |
|
|
||||||||
|
|
|
|
|||||||||
|
|
g,(z) |
|
(z -b )’ (z — c)T ... (z |
- |
If- |
|
|
является правильной несократимой дробью. Обозначим че рез Q2(z) произведение (z—с)* ... (z—/ ) х . Способом, при
мененным выше, рассматриваемую дробь приведем к виду:
P2(z) |
= |
Bg |
|
Bg-, |
, |
(z- b)5Q 2(z) - |
(z-bf |
^ (z - bГ-' |
r - ^ |
||
|
|
Bi |
I |
P3 (z) |
(52) |
|
|
z —b |
' |
;Q2(z) ’ |
|
|
|
|
|||
где Bg Ф 0, а среди чисел Bg-i, |
Bg_2 , ..., В! могут быть числа, |
||||
гт |
* |
P3(z) |
|
будет также |
правильной и |
равные нулю. Дробь |
г\'Т~Г' |
Ы2\2)
.несократимой.
56
)
В конце преобразований получим тождество |
|
|
||||||
Рщ (z) |
_ |
L'- |
I |
L.x—1 |
|
Lx_2 |
. |
|
( z - t ) x |
~ |
(z - |
iy ^ |
(z - I f - ' |
( z - / ) x- 2 + |
|||
|
|
+ - + - Т Г Т - |
|
|
<“ > |
|||
в котором Zx ФО, |
а среди |
чисел |
Lx_,, |
LA- 2 , .... Lj |
могут |
|||
оказаться числа, равные нулю. |
(53), |
получим разложение |
||||||
Собирая тождества (51), |
(52), |
Р(2)
(43)—Q ^ на элементарные дроби.
Докажем единственность полученного разложения. Для сокращения записей введем обозначения:
A (Z) |
__ |
Аа |
, |
|
Аа—I____ . |
|
. |
АI |
(z - а)я ~ |
(г - а)а |
|
(/. —о)« -1 |
'”.••• |
'"г — а ’ |
|||
B(z) |
__ |
B^ |
|
I |
Bß—I |
I |
• |
В, |
(z—b)13 ~ |
(z — b)3 |
|
|
(z — b)3“ 1 |
’ |
z — b ' |
||
L (z) |
__ |
Lx |
I |
|
Lx_1 |
|
|
Li |
(z — iy |
~ |
(z — l)k |
‘ |
(z — l f ~ 1 |
|
z— l |
Рассматриваемая дробь может быть записана в таком виде:
P(z) |
A(z) |
, |
В (z) |
I |
L(z) |
(54) |
Q(z) ~ |
(z - а ) * ^ |
( z - b)3_t_ - |
|
( z - /) x |
||
|
|
Допустим, что дробь Q(z)P(z) имеет другое, отличное от перво го, разложение на элементарные дроби:
P(z) _ |
Ai(z) |
В ,{г) |
|
L,(z) |
(55) |
|
Q (zl |
(z — а)“ |
' (z — b)ß |
" ‘ |
(z - 'У |
||
|
Здесь введены обозначения, аналогичные предыдущим. Так
как правые части выражений (54) и (55) различны, |
|
то не |
||||
могут выполниться все тождества: |
|
|
|
|||
А (z) = |
Ai (z) ; B(z)==B|(z); |
... L(z) = L, (z). |
|
(56) |
||
Вычитая из (54) выражение (53), получим: |
|
|
||||
А (z) — Ai(z) |
, |
В (z) — Bj (z) |
, |
, L(z) — L, (z) |
n |
/KT4 |
{ г - c f |
+ |
<z - b) > |
+ - + |
( z - O ' |
|
( У |
57
В тождестве |
(57), по крайней мере, один |
из числителей не |
|||||
равен тождественно нулю. |
Будем считать, |
что |
|||||
|
|
A(z) Ф Ai (z). |
|
|
|
||
Допустим, что z стремится к числу а. Тогда |
|
||||||
Af z ) - A i ( z ) |
В (z') — Bj (z) |
B( o ) - Bi f a ) |
|||||
------ — ------------------------- |
—> С О ! |
(z — b)5 --------------------------------------------- |
|
(a |
b)p |
||
(z — а)* |
' |
|
|||||
|
L(z) |
— Li(z) |
L.(q) — Li (a) |
|
|||
|
(Z |
- IT |
|
(a - |
/)• |
|
• |
Получили, что |
левая |
часть |
тождества |
(57) |
неограниченно |
||
растет при г->а. Но это невозможно, потому |
что она во всех |
||||||
точках равна |
нулю. |
Из полученного |
противоречия следует, |
||||
что |
|
А (z) |
= |
Aj (z). |
|
|
|
|
|
|
|
|
Аналогично доказывается-тождественность остальных, много членов, то есть
В (z) |
2= В, (z), ... , L(z) SE Lj (z). |
||
Следовательно, для |
дроби |
P(7) |
не существует разложения |
|
|
Q(z) |
|
ее на элементарные дроби, |
отличного от разложения (32) , то |
есть данную дробь можно разлагать на элементарные дроби только единственным образом.
ГЛАВА ПЯТАЯ
ОСНОВНЫЕ ТРАНСЦЕНДЕНТНЫЕ ФУНКЦИИ
§ 1. Показательные функции
Рассмотрим показательную |
функцию ez, |
где z — любое |
|
комплексное число. |
|
(известными |
из |
Воспользовавшись формулами Эйлера |
|||
основного курса) |
|
|
|
е’т == cos «р + |
i sin ф |
|
(58) |
e~b = cos ф — i sin ф , |
|
||
|
|
||
показательную функцию ez определим так: |
|
|
|
w = ez = ех+У‘ = ех • еУ* = |
ех (cos у -f |
i sin у ), |
(59) |
58
Положив здесь у = 0, установим, что для действительных z = x это определение совпадает с обычным. Для показатель
ной функции комплексного числа-аргумента выполняются все основные соотношения, справедливые для действительно го аргумента:
ezi • ez2 = |
ez‘ + z2 ; |
e z 2 |
= ez*- - z». |
(60) |
||||||
|
|
|
|
|
|
|
|
|
||
Покажем справедливость первого соотношения: |
|
|
||||||||
ezi . ez2 = |
eXl • |
ex2 [cos (yi + |
y2) + i sin (y, + |
y2)] = |
|
|||||
= exi+ x2 [cos (yi + y2) + |
i sin (у1 |
y2)}, = e<xi+x2) + (Уі + Уг)і = |
||||||||
|
|
|
_ |
gZj + |
z2_ |
|
|
|
|
|
Второе соотношение (60) доказывают аналогично. |
|
|
||||||||
Показательная |
функция |
ez |
является |
- периодической |
с |
|||||
периодом 2яі. Для любого целого к можно записать: |
|
|||||||||
|
gZ+skiti gZ . g2kiLi |
_ gZ |
|
. |
|
|||||
так как по |
формуле |
(58) е -^ 1 = |
cos 2k тг -j- i sin 2k it = |
1. |
||||||
Используя формулы |
Эйлера |
(58), |
любое комплексное число |
|||||||
z можно записать в показательной |
форме: |
' |
’ |
|
||||||
г |
= r(cos<p -j- i sin <p) = |
r |
• e'f. |
|
(61) |
Последнее равенство позволяет вычислить значение показа
тельной функции при любых комплексных |
значениях показа |
теля. |
! |
Например: |
|
1 еі-2і _ е (cos 2 _ j sin 2). |
|
2.e71* = — 1 .
3.e3‘ = 1.
Воспользовавшись результатом третьего примера, найдем чис ленное значение выражения
|' = (е -| )‘ = е Л
59