Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Учебники / Ter-Krikorov_Kurs_matematicheskogo_analiza_2015

.pdf
Скачиваний:
157
Добавлен:
19.01.2020
Размер:
8.17 Mб
Скачать

290 Гл. VI. Неопределенный интеграл

Запись комплексного числа z ф 0 в виде (12) называют тригономет­ рической формой комплексного числа.

Из формул (11) находим

cos Lp =

ж

.

у

(13)

\ Л 2+ У1

sm =

у/х2+ Г

 

 

 

Решив систему (13), найдем аргумент комплексного числа z ф 0. Эта система имеет бесконечно много решений вида р = р0 + 2&7Г, где k G Z, (^о — одно из решений системы (13), т. е. аргумент комплекс­ ного числа определяется неоднозначно.

Для нахождения аргумента обычно пользуются не формулами (13),

а формулой

 

tg¥> = |>

(14)

получаемой почленным делением второго из равенств (13) на первое. Следует иметь в виду, что не все значения р, удовлетворяющие урав­ нению (14), являются аргументами числа г.

Пр и ме р 3. Найти все аргументы числа —1 + i y / 3 и записать это число в тригонометрической форме.

Д Комплексное число лежит во второй четверти, поэтому в качест­

ве одного из решений уравнения tg p = — у/3 можно взять р 0 =

а все значения аргумента данного комплексного числа определяются формулой

 

 

 

v

О + 2тгк,

к (ЕZ.

 

Так как

1

+ i y / 3| = 2, то

 

 

 

 

 

—1

+ гл/з = г ( cos

2тг

, . . 27Г

 

 

3

Ь г sm —

А

 

 

 

 

 

3

)■

Если \z\

= 1,

р

= argz, то из формулы (12) получаем г = cos р-\-

+ г sin р. Комплексное число cos р + г sin р обозначается символом ег(/?, т. е. для любого р Е R функция ещ

определяется формулой Эйлера

ещ — cos р + г sin р.

(15)

Равенство (15) находит обоснование в теории рядов (§ 44).

Из формулы (15) следует, что е2?гг =

= 1 , eni =

- 1 , е7™/2 = г, е~^12 =

(рис. 31.5)

и |ег(/?| = 1 для любого р £

R.

Заменяя в равенстве (15) р

на —р,

получаем

 

 

 

е

г(р = cosp i sinp,

(i6)

§31. Комплексные числа

291

а из равенств (15) и (16) следует, что

cosy = ^(ei v+ e - ^ ) ,

siny =

^ (e iv - e "^ ).

(17)

Отметим, что

J v 1

 

 

е *¥?1 е *¥?2 _ g * ( v 1 + V 2 ) ^

е * ( ^ 1 - ^ 2 )_

 

С ф * _

 

 

eA 2

 

 

Для доказательства формул (18) следует воспользоваться форму­ лами (15) и (2), а также формулами синуса и косинуса суммы (раз­ ности) углов. С помощью индукции из (18) можно получить формулу

Муавра

 

einv = (cos ip + i sin p)n = cos rup + i sin wp, n N.

 

Используя формулы (12) и (15), запишем комплексное число г /

0 в

показательной форме

 

z = relv, где г = \z\, р ,чгцт.

(19)

С помощью равенств (18) можно получить формулы для произве­ дения и частного комплексных чисел: если Z\ = riet<pl, Z2 = г2ег(р2, то

Z1 Z2 = r1r2ei{'43l+432),

(20)

— =

— ei(^i-^2)? 02 ф о.

(2 1)

22

То

 

Из формулы (20) следует, что при перемножении комплексных чисел их модули перемножаются, а аргументы складываются, т. е.

\ziz2\ = \zi\- \z2\,

Pi + <Р2 = arg(zi + z2), если </?i=argzi, у 2 ;ну,т2.

Аналогично из формулы (21) следует, что модуль частного двух комплексных чисел равен частному модулей этих чисел, а разность аргументов делимого и делителя является аргументом частного, т. е.

 

=

(—),

если

 

г2 Ф 0,

 

 

02

 

 

 

И

01

 

ср\ = argzi, у 2 = argz2.

 

если

 

Pi — Р>2 = arg —,

 

22

 

4

 

 

 

Пр и м е р 4. Вычислить

 

 

 

 

(1 — гл/3)°

 

 

 

 

^г7!/?’, то

А Так как 1 + г = л/2ег7Г/4,

1 —гл/3 =

 

( 1 + г ) 4

_ ( V2) 4ein

_

1

(1 - гл/3)°

2°е-25Г*

16

292

Гл. VI. Неопределенный интеграл

Из геометрической интерпретации (рис. 31.4) следует правило ра­

венства двух комплексных чисел в показательной форме: если Z\ = —r ig*vi И Z2 — r2g*V2j то Zl — Z2 Х0Гда и только тогда, когда

r*i =»*2, <^1 = ^ 2 + 2кж, к £ Z.

Рассмотрим теперь некоторые важные свойства комплексно со­ пряженных чисел. Пусть г = reltp= г cos (р + ir sin р, тогда г г cos р —ir siny? = re^%lp, т. е. если р = argz, то —р = arg~z. Отсюда и из ра­ венств (20), (2 1) следует, что

 

ZiZ2 = ZiZ2 , ( - ' ) = = - ,

(zn) = (z ) n, п £ N,

 

 

\ Z2 /

Z2

 

 

а из

определения комплексно

сопряженного числа следует,

что

 

Zx + Z2 — Z 1 + ^2 5

Z l — Z2 = Z l — Z2.

 

5.

Извлечение корня. Рассмотрим уравнение

 

 

г” = а

(22)

где а ф 0 — комплексное число, п — натуральное число.

 

Если z = гег(/%а = рег^, то уравнение (22) примет вид

 

 

rneinip = peie,

 

 

откуда

 

 

 

гп = р,

пр = в + 2Ьг,

к € Z,

 

и поэтому

 

 

 

г = !фр,

р к = ^(9 + 2кж),

к £ Z,

(23)

т. е. числа

 

 

 

 

Zk = Vfpe%Vk

 

(24)

являются корнями уравнения (22) и других корней это уравнение не имеет.

Заметим, что числа ZQ, Z\,..., zn- i

различны, так как их аргументы

в

в ,

2тг

в ,

2ж(п 1 )

 

Ро = —, Pi = — I

п

, •••, Рп- 1 = — I

------ различны и отличаются

п

п

п

п

 

друг от

друга меньше, чем на 27г. Далее, zn = ZQ, таккак \zn\= \ZQ\ =

= ^[р

и р п = ро + 2ж. Аналогично, zn+1 = Zi, Z-\ = zn- i и т. д.

Итак, при аф 0

уравнение (22) имеет ровно п различных корней,

определяемых формулами (23) и (24), где к = 0,1

—1.

На комплексной плоскости точки zp (к = 0, те —1) располагаются в вершинах правильного те-угольника, вписанного в окружность ра­ диуса рфр с центром в точке 0.

 

 

 

 

 

§31. Комплексные

числа

293

 

П р и м е р

5. Найти все корни уравнения z4 = 1 + г.

 

Д

Корни Zk (к = 0, 3) этого уравнения определяются формулами (23)

и

(24),

где р =

|1 + г| =

у/2, в =

| ,

 

 

т. е.

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

к

к = 0,1,2,3.

 

____

z0

 

щ

- 16

+ Т '

 

 

 

 

 

 

 

Точки Zk располагаются в вершинах

z 2

 

квадрата (рис. 31.6). А

 

 

 

 

 

6.

Комплекснозначные функ­

 

ции действительного

перемен­

 

 

ного. Если каждому значению t Е

 

 

Е [а , /3] поставлено в соответствие

 

 

комплексное число г = z(t), то

го­

Рис. 31.6

 

ворят,

что

на

 

отрезке

[а,/3]

за­

 

 

дана комплекснозначная функция действительного переменного. Пусть Rez(t) = x(t), lmz(t) = y(t), тогда z(t) = x(t) + iy(t). Функ­ цию z(t) можно рассматривать как вектор-функцию z(t) = (x(t),y(t)). Определения предела, непрерывности, производной для комплексно­ значной функции аналогичны соответствующим определениям для

вектор-функции.

Например, производная функции z(t) = x(t) + iy(t) определяется формулой

z'(t)=x'(t)+iy'(t). (25) Следовательно, производная zf(t) существует, если существуют про­

изводные x'(t) и y'(t).

 

Применяя формулу (25) к функции elt =cos t + i sin t,

получаем

(elt)' = —sin t+ i cos t= i2sin t + i cos t = г (cost + i sint), т. e.

(еиу = ie u .

(26)

Таким образом, формула для производной комплексной функ­ ции elt имеет такой же вид, как и для функции eat? где а Е R.

Определим теперь показательную функцию е(а+г^ , где а, (3— за­ данные действительные числа, t — действительное переменное. Функция f(t) = е*, где t Е /?, удовлетворяет условию

f ( h ) f ( t 2) = f ( h + t2).

(27)

Аналогично функция elt3t,

где /?£/?, обладает свойством (27) в силу

первого из равенств (18).

 

 

Поэтому функцию

естественно определить так, чтобы для

нее выполнялось условие (27), т. е.

e (a+i(3)t _ e a t e i(3t'

294 Гл. VI. Неопределенный интеграл

Используя формулу (15), отсюда находим

e (a+i@)t = е»*(cos + г sin /3t). (28)

Применяя к функции ext, где Л = а + i/i, правило дифференцирова­ ния (25), легко показать, что

(еА*)' = ЛеА*, Л = а + ifi.

(29)

По аналогии с производной неопределенный интеграл от комплекс­ нозначной функции z(t) = x(t) + iy(t) определяется формулой

Jz(i) dt = Jx(i) dt + ijy (t) dt.

Если комплексная функция cc(t) = £(t) + irj(t) такова, что to'(t) = = z(t), TO

Jz(t) dt = Joj'(t) dt = f €'(t) dt + ij rj' {t) dt = (;(t) + C\ + irj{t) + iC2.

Следовательно,

Jz(t) dt = Lo(t) + С, С = Ci + iC2.

Применяя это утверждение к функции еМ+г^ ь и используя форму­ лу (29), получаем

 

 

[ eia+mt dt = е1а+Ф!

+ Сг + iC2.

(30)

 

 

)

 

а + г/З

 

 

Выделяя в равенстве (30) действительные и мнимые части,

находим

 

 

 

 

 

 

f eat cos fit dt + i j e at sin fit dt =

 

^

eat(cos fit + i sin fit) + C\ + iC2,

J

 

J

^

 

h [J

 

 

откуда получаем

 

 

 

 

 

 

/

 

0at

 

 

 

 

 

 

€.

 

(a cos/3t + /3 sin/3t) + C i,

(31)

 

 

eat cos fit dt = —

2

 

 

a

2T/3

 

 

 

 

 

о

I /4

 

 

 

 

 

p

at

 

(a sin (it — (i cos (it) + C2.

(32)

 

J eat sin (it dt =

2 ^

 

Заметим, что формула (31) была получена с помощью интегриро­ вания по частям в § 30 (пример 19).

 

§32. Разложение рациональной функции на простые дроби

295

 

§ 32. Разложение рациональной функции

 

 

на простые дроби

 

1.

Разложение многочлена на множители.

 

а)

Корни многочлена. Пусть задан многочлен те-й степени

 

 

Q„(x) = спхп + Сп-гх71^ 1 + ... + сгх + с0, сп # 0.

(1 )

Коэффициенты cn,cn_i, ...,Ci,Co многочлена могут быть как действи­ тельными, так и комплексными числами, переменное х может при­ нимать любые значения из множества R или С.

Число а называют корнем многочлена Qn(x), если Qn(a) = 0. На­ пример, число х = 1 — корень многочлена х3 Зх2 + 2, а число х = i — корень многочлена х2 + 1 .

Рассмотрим вопрос о делении многочлена Q„(x) на двучлен

а). Разделить многочлен Q„(x) на двучлен (х — а), где а — заданное число, означает по определению представить его в виде

Qn(x) = (х - a)Qn_i(x) + г,

(2)

где Qn- i(x) — многочлен степени те —1 , г — некоторое число (его на­ зывают остатком от деления многочлена на х — а). Предполагается, что равенство (2) справедливо при всех значениях х R (или х € С). Если г = 0, то говорят, что многочлен делится без остатка (нацело)

на х а.

Т е о р е м а 1 (Везу). Число а является корнем многочлена Q„(x) тогда и только тогда, когда этот многочлен делится без остатка на х а, т. е. справедливо равенство

Qn(x) = Qn-i(x)(x - а).

(3)

О Пусть х = а — корень многочлена Qn(x), тогда Q„(a) = 0. С другой стороны, из равенства (2) при х = а получаем г = Qn(a). Следователь­ но, г = 0, т. е. многочлен Q„(x) делится без остатка на i -• о, если а — корень этого многочлена.

Обратно, если многочлен делится без остатка на i -- а, т. е. спра­ ведливо равенство (3), то из этого равенства следует, что Qn(a) = 0. Следовательно, х = а — корень многочлена Qn(x).

Ведем понятие кратности корня. Число х = а называют корнем многочлена Qn(x) кратности к, если существуют число к € N и мно­ гочлен Q*n_k(x) такие, что для всех х € R (х € С) выполняется ра­

венство

 

Qn(x) = ( х - a)kQ*n_k(x),

(4)

где

(5)

Q n - k (a ) Ф 0.

296

Гл. VI. Неопределенный интеграл

Упражнение. Показать, что число а € R является корнем кратнос­ ти к многочлена с действительными коэффициентами Qn(x) тогда и только тогда, когда

Qn ’(a) = 0 ПРИ Р = 0,1,..., к —1 и Q^\a) / 0.

б) Многочлен с действительными коэффициентами. Рассмотрим многочлен второй степени (квадратный трехчлен) с действительны­ ми коэффициентами

Q(x) = х2 + рх + q.

Предположим, что его дискриминант отрицателен, т. е.

D = р2 - 4q < 0.

Тогда

Q ( s ) = ( s + ! ) + < ? ^ = ( ж + ! )

ИЛИ

____

____

Q{x) = (ж + ! ^ ^

)

( ж + ! + * ^ ) ,

откуда следует, что корнями многочлена Q(x) являются комплексно сопряженные числа

р , . /

р 2

р

.

р 2

~ 2 ~ 1\Jq ~

”| • -'у

2 ^ ' V '

•>

и других корнейэтот многочлен не имеет. Это утверждение остается в силе и длямногочлена любой степени п (те ^ 2) с действительными коэффициентами, т. е. справедлива следующая теорема.

Т е о р е м а 2. Если число XQ = 7 + iS невещественный корень

(5 ф 0) многочлена Q„(x) с действительными коэффициентами,

то

число х = 7 iS также является корнем этого многочлена.

 

О По условию Q„(x0) = 0, т. е.

 

СпХо + Cn_iXo_1 + ... + С1 Ж0 + с0 = 0,

 

откуда следует, что Qn(x0) = 0, или

 

спхЦ + с„_1Жо- 1 + ... + С1 Ж0 + с0 = 0.

(6)

В силу свойств сопряженных чисел равенство (6) можно записать в виде

спх ц + сп - l ^ o - 1 + ••• + С1 Ж0 + Со = 0 ,

 

ИЛИ

 

сп(х0)" + c„_i(io) " _1 + ••• + С1 Ж0 + Со = 0,

(7)

так как ср = ср (по условию все коэффициенты многочлена Q„(x) — действительные числа), к = 0, п. Равенство (7) можно записать так:

Qn(x0) 0.

Это означает, что XQ — корень многочлена Qn(x).

§32. Разложение рациональной функции на простые дроби

297

Теоремы 1 и 2 доказаны в предположении, что многочлен Q„(x) имеет корень. Ответ на вопрос о существовании корня многочлена дает сформулированная ниже теорема 3.

в) Основная теорема алгебры.

Т е о р е м а 3. Всякий многочлен степени ri ф 1 с действительны­ ми или комплексными коэффициентами имеет по крайней мере один корень.

Эта теорема, доказательство которой обычно приводится в курсе теории функций комплексного переменного (см., например, [6]), на­ зывается основной теоремой алгебры.

Пусть Xi — корень многочлена Qn(x), степень которого равна п. Тогда по теореме 1 этот многочлен представляется в виде

Q„(x) = (х - x1)Qn- 1(x),

где Qn- i(x) — многочлен степени п —1 .

Применяя к многочлену Qn- i(x) теоремы 1 и 3, находим Q„(x) =

=—хг)(х - x2)Qn- 2(ж).

Спомощью индукции получим следующий результат:

Qn(x) = сп(х - xi)(x - х2)...(х - хп).

(8)

Здесь сп — коэффициент при х п многочлена Qn(x);

Xi,...,xn

его корни, среди этих корней могут быть равные.

 

г) Разложение многочлена с действительными коэффициентами на множители. Если х = а — действительный корень кратности к многочлена степени п с действительными коэффициентами Qn(x), то выполняется равенство (4), где Q*n_k(x) — многочлен степени п —/>• с действительными коэффициентами, для которого число х = а не является его корнем.

Пусть Хо = 7 + гб — невещественный корень (5 ф 0) многочлена Qn(x); тогда число Xq = 7 iS также является корнем этого много­ члена (теорема 2), и поэтому правая часть (8) содержит множители —Жо) и (ж —Жо), произведение которых равно

(ж —жо)(ж —жо) = (ж —7 i6)(x 7 + iS) = (ж —7 )2+ б2 = х 2 + рх + q,

где р = ^ 2 7, q = 7 2 + б2, р2 — 4q = ^ 4 б2 < 0. Таким образом, много­ член Q„(ж) в этом случае делится без остатка на квадратный трех­ член ж2 + рх + q, коэффициенты которого являются действительны­ ми числами, а дискриминант трехчлена отрицателен, т. е. р2 — 4q < 0. Это означает, что существует такой многочлен Qn- 2(х) с действи­ тельными коэффициентами, что

Qn(x) = 2 + рх + q)Qn- 2(х).

Если число Жо = 7 + г б, где 5 ф 0, является корнем многочлена Qn(ж) кратности s, то число Жо также будет корнем этого многочлена

298 Гл. VI. Неопределенный интеграл

кратности s, и поэтому многочлен Q„(x) можно представить в виде

Qn(x) = (х - x0)s(x - XoYQn-2s(x),

 

или

 

Qn(x) = (х2 +px + q)sQn- 2a(x),

(9)

где p, q— действительные числа, p2 4q < 0, a Q n - 2 s ( x ) — много­

член степени n — 2s с действительными коэффициентами, для

кото­

рого числа XQ и XQ не являются его корнями, т. е.

 

Qn-2s(Xo) Ф 0, Qn- 2s ( * o ) # 0.

(10)

Пусть а\,(12 , ...,ак — все действительные корни многочлена Qn(х), а их кратности соответственно равны ai,ct2, ...,ак. Тогда равенст­ во (8) можно записать в виде

Qn(x) = ( х - а О ^ . ^ х - а О ^ Щ х ) ,

 

к

где R(x) — многочлен степени t = те

а т с действительными

 

т=1

коэффициентами, не имеющий действительных корней.

Если R(x) — многочлен ненулевой степени, то каждой паре комп­ лексно сопряженных корней Xj и Xj кратности (3j многочлена Q„(x)

соответствует

множитель

(х2 + PjX + qj)f3j в формуле (8),

где

р2 4(ц < 0. Поэтому

 

 

Qn(x) = сп(х -

a i)ai ...(х -

ак)ак{х2 + pix + qQ'31 ...(х2 + psx + qsf

‘,

где У) п„, -

2 J 2 x = n -

<П >

 

 

m=1

j=1

 

 

Таким образом, зная все действительные и невещественные корни многочлена с действительными коэффициентами Qn(x), можно этот многочлен разложить на множители, т. е. представить в виде (1 1), где числа сп, оц,...,ак, Pi, ■■■,ps, Qi,--,Qs являются действительными.

2. Теорема о разложении правильной рациональной дроби.

Рассмотрим рациональную функцию (рациональную дробь), т. е.

функцию вида f(x) = ту4-у, где Рт(х) и Q„(x) — многочлены степе-

Qn\x)

ней т и п соответственно. В случае когда то < те, эту дробь называют правильной. Будем предполагать, что коэффициенты многочленов Рт и Qn являются действительными числами.

Л е м м а 1. Если Qn(x) правильная рациональная дробь и х =

= a — действительный корень многочлена Qn(x) кратности k 1,

§32. Разложение рациональной функции на простые дроби

299

то существуют действительное число А и многочлен Р(х)

с дейст­

вительными коэффициентами такие, что

 

Рт(х) _

А

Р(х)

(12)

Qn(x)

( x - a ) k

{х - a)k- lQ* Ах)'

где Q*n_k{x) частное от деления Qn(x) на (х а)к.

Второе слагаемое в правой части равенства (12) — правильная дробь, число А и многочлен Р(х) определяются однозначно.

О Найдем такое число А, чтобы многочлен

<р(х) = Рт(х) - AQ*_k(x)

(13)

делился без остатка на х а. В формулах (12) и (13) Q*n_k — частное от деления Qn(x) на а)к, т. е. многочлен, определяемый равенст­ вом (4) и условием (5).

Согласно теореме 1 многочлен (р(х) будет делиться без остатка на i - а в том и только том случае, когда (р(а) = 0, т. е.

Рт,(а) ~ AQn-k(a) =

О,

откуда в силу условия (5) находим

 

A = - ^ f -

(14)

Qn-k(a)

 

Таким образом, число А является действительным и определяется однозначно формулой (14).

Так как многочлен (р(х), где число А определяется формулой (14), делится без остатка на х — а, то существует единственный многочлен

с действительными коэффициентами Р(х) такой, что

 

ip(x) = (х - а)Р(х).

(15)

Из равенств (13) и (15) следует, что

 

Рт(х) - AQ*n_k(x) = (х - а)Р(х).

(16)

Разделив обе части равенства (16) на Qn(x) =(х — a)kQ*n_k{x), полу­

чим соотношение (1 2).

 

 

(р(х); тогда

г <С т а х(т,п — к),

Пусть г — степень многочлена

где то

< те, п — к ^ п —1

< те, и

поэтому г < п. Следовательно,

,

Р(х)

---------=

I

f(x)

 

т

 

дробь

---------,

 

, , является правильной. •

 

 

 

(X - a)k-iQ*n_k(x)

 

Qn(x)

F

 

 

 

Следствие . Применив эту лемму к раз, получим равенство

 

Рт(х) _

 

А к

 

А к_ j

Ai

Р (х )

П 71

Qn(x)

(х - а)к

(х - а ) ^ 1

х —а

<3* _*.(*)’