Вы находитесь на странице: 1из 12

и, таким образом, оказывается многозначным. Впрочем, это легко было предвидеть, исходя из периодичности показательной функции. Взяв k = 0, получим т а к н а з ы в а е м о е г л а в н о е з н а ч е н и е л о г а р и ф м а:

(10)

которое характеризуется тем, что его мнимая составляющая содержится в про- межутке (π,π ]:

π < I(ln w) π.

Например,имеем

ln w = ln |w| + i·arg w,

ln 1 = 0,Ln1 = 2kπi; ln(1) = πi,Ln(1) = (2k + 1)πi,

ln i = π i, Ln i = 4k+1 πi

2

2

и т. д.

При переменном w формула (10) выражает г л а в н у ю в е т в ь много-значной л о г а р и ф м и ч е с к о й ф у н к ц и и Lnw. Другие ветви получаются при различных целых значениях k по формуле

Lnw = ln w+2kπi.

Легко видеть, что функция (10) непрерывна на всей плоскости комплексной переменной w , за исключением начальной точки и отрицательной части вещественной оси. Разрыв при w = 0 неустраним, ибо при w 0, очевидно, ln w → ∞. Иначе обстоит дело с отрицательными вещественными значениями

w 0 = u 0 < 0. Разрыв здесь создается, в некотором смысле, искусственно из-за нашего условия брать argw в промежутке (-π π].Когда w = u+vi w 0 при v > 0, то argw π = argw 0 , если же при этом v < 0, то argw → −π. Если бы

о т г л а в н о й в е т в и: ln w во второй четверти

в е т в и: ln w+2πi — в третьей, то непрерывность была бы восстановлена. Таким образом, желая избегнуть много-значности и расчленяя многозначную функцию на однозначные ветви, мы тем самым для каждой отдельной ветви создаем разрывы. Наоборот, одна ветвь в другую переходит непрерывным образом. В этой связности различных ветвей многозначной функции и заключается замечательная особенность комплексной плоскости, не имеющая аналога в многозначных вещественных функциях, определенных на вещественной оси.

мы перешли к д р у г о й

По общей теореме о производной обратной функции, имеем (исключая точки разрыва)

(11)

1

(e z ) =

1

1

(ln w) =

e z = w .

Заменив w на 1 + w, рассмотрим функцию z = ln(l+w) (w = 1). Тогда

1

e z = e ln(1+w) = 1+w = 1 +

n=1

z

n

n! , так что w =

n=1

z

n

n! .

Отсюда следует, что для достаточно малых (по абсолютной величине) значений w функция z = ln(1 + w) разлагается в ряд по степеням w :

z = w + c 2 w 2 + c 3 w 3 +

+ c n w n +

Производная от этой функции по w представится рядом:

[ln(1+w)] = 1 + 2c 2 w + 3c 3 w 2 +

+

nc n w n1 +

;

в то же время, ввиду (11), она выразится и так:

[ln(1+w)] =

1

1+w = 1 w + w 2

+ (1) n1 w n1 +

Сравнивая эти два разложения, видим, что

откуда

2 2

= 1, 3c 3 = l,

1 1

c 2 = 2 , c 3 =

3 ,

nc n = (1) n1 ,

1 ,

, c n = (1) n1 n

.

.

.

Итак, окончательно, в окрестности нуля имеем разложение:

ln(w + 1) = w w 2 + w 3

2

3

n

+ (1) n1 w n

+

.

.

.

(12)

Легко проверить, что полученный ряд имеет радиус сходимости R = 1. Мы видели, что при достаточно малых z, его сумма будет г л а в н о е з н а ч е н и е л о г а р и ф м а: ln(1 + w); будет ли это так и во всем круге |w| < 1 ? Так как ряд (12) формально удовлетворяет равенству

e ww 2

2

+ w 3

3

= 1 + w

то он и ф а к т и ч е с к и ему удовлетворяет, покуда сходится. Таким образом, во всем круге |w| < 1 сумма ряда (12), наверное, представляет собой о д н о и з з н а ч е н и й ln(1 + w); весь вопрос теперь в том, всегда ли это будет именно г л а в н о е з н а ч е н и е. Если |w| < 1, так что точка, изображающая число 1+w, лежит в н у т р икруга радиуса l, с центром в точке w = l, то arg(l+w) лежит между π и π , другие значения Arg(l + w) лежат в промежутках

2

2

5π

2

, 3π , 9π

2

2

2

, 7pi

2

,

.

.

.

или

3π

2

,

5π , 7π , 9pi

2

2

2

,

.

.

.

Мнимая составляющая суммы ряда (12) и есть Arg(1+w) [см. (9)]. Для д о с т а т о ч н о

м а л ы х

между π и π ; в то же время, как непрерывная функция от u и v, она не может перескочить в другие указанные промежутки, следовательно, п р и в с е х |w| < 1 равна именно главному значению arg(1+w). Этим доказано, что равенство (12) имеет место во всем круге |w| < 1. Заменяя в (12) w на -w и вычитая полученный ряд из ряда (12), получим полезное разложение * :

vi она дает главное значение arg (1+w ), т. е. содержится

w

2

=

2

u +

1 2 ln

1+w

1w = w + w 3

3

+

w 2n1

+ 2n 1 + dots,

(13)

которое годится для |w| < 1. 459. Тригонометрические функции и им обратные. Мы знаем [404 (12) и (13)], что при в е щ е с т в е н н о м х функции cos x и sin x представляются следующими рядами:

cos

x = 1 +

n=1

(1) n x 2n

2n! , sin

x =

n=1

(1) n1 x2n1 (2n1)! .

Естественно функции cos z и sin z для любого к о м п л е к с н о г о z определить с помощью аналогичных рядов:

cos

z = 1 +

n=1

z 2n

(1) n 2n! , sin z =

n=1

(1) n1

z2n1

(2n1)!

(14)

сходящихся на всей плоскости переменной z. Этот способ введения тригонометрических функций для нас уже не нов: в 443 мы воспользовались им даже в вещественной области (для того, чтобы обосновать эти важные для анализа функции без обращения к геометрии). Подражая проведенным там рассуждениям, можно было бы и здесь установить для косинуса и синуса теоремы сложения, формулы приведения, свойство периодичности, а также правила дифференцирования их — но уже для комплексных значений независимой переменной. Впрочем те же результаты можно получить и другим путем, установив связь тригонометрических функций с показательной. Именно, при любом комплексном z, обобщая сделанное в 457 для z = yi, можно вывести, что [ср. (5)]

а отсюда [ср. (7)]

cos

e ±zi = cos

e zi + e zi

z =

2

,

z ± i · sin

sin

z =

z,

e zi e zi

2i

.

(15)

* Так как мнимая составляющая разности ln(1+w) ln(1w) лежит между π и π, то эта разность дает

именно г л а в н о е з н а ч е н и е ln

1+w

1w

3

Эти формулы целиком сводят изучение тригонометрических функций к изучению показательной функции. [Их можно было бы положить в основу определения тригонометрических функций вместо (14).] Предлагаем читателю, исходя из формул (15), наново доказать упоминавшиеся выше свойства косинуса и синуса, а также установить, что 1) cos z и sin z не имеют других периодов, кроме 2(k - целое), и 2) что все корни этих функций вещественны. Если в (15) взят z = yi (у- вещественное), то найдем

cos

yi = e y + e y ,

2

sin yi

= e y e y

2

· i = i · sh y

(16)

.

Таким образом устанавливается н е п о с р е д с т в е н н а я связь между гипер- болическими функциями от вещественного аргумента и тригонометрическими -от чисто мнимого. Любопытно отметить, что cos yi есть вещественное число, всегда большее единицы. Теперь, воспользовавшись теоремами сложения, можно написать, что

cos (x + yi) = cos

x · cos

yisin

x · sin

yi,

sin (x + yi)

= sin

x · cos

yi+ cos

x · sin

yi

или [во внимание к (16)]

cos (x + yi) =

cos

x · ch y i · sin

x · sh y,

sin (x + yi) =

sin

x · ch y + i · cos

x · sh y,

и тем разложить косинус и синус на их составляющие. Функции tg z и ctg z определяются формулами

sin

z z = 1 i ·

z

e zi e zi

z =

k + 1

(z

2 π ,

tg

z =

ctg

cos

e zi + e zi

= i ·

e zi + e zi

e zi e zi

z = cos sin

= ) ,

z причем оказываются имеющими период π. Разложения, полученные в 449 для tg и · ctg , сохраняют свою силу и после подстановки комплексной переменной z на место вещественной х. Сходство разложений для x · ctg и x · cth становится совершенно понятным, если учесть получающиеся из (16) соотношения

tg

yi = i · th y,

ctg

yi = j · cth y.

Из функций, обратных тригонометрическим, мы остановимся на арктангенсе

и на арксинусе.

4

Ввиду того, что тригонометрические функции приводятся к показательной, естественно ждать, что обратные им окажутся связанными с логарифмом. Начнем с указания, что w = tg z не принимает значения ±i (в этом легко убедиться, рассуждая от противного).Пусть w = ±i; тогда уравнение

tg

z = 1 i

e zi e zi

·

e zi + e zi

= 1

i

· e 2zi 1 e 2zi + 1 = w

может быть решено относительно z :

e 2zi =

1 + wi

1 wi ,

z =

1

1 + wi

2i Ln 1 wi .

Таково выражение для обратной функции Arctg w, очевидно, бесконечно м н о г о з н а ч н о в м е с т е с Ln. Если для логарифма взять его главное значение, то получим г л а в н о е з н а ч е н и е арктангенса:

arctg w =

1

2i ln 1 + wi

1 wi

w(

= ±i),

которое характеризуется тем, что его вещественная часть содержится в промежутке

π , π :

2

2

π

2

< R(arctg w) < π 2 .

Остальные значения получаются по формуле

Arctg w = arctg w +

(k — целое).

Заменив в ряде (13) w на wi, придем к разложению для арктангенса

+ (1) n1 2n 1 +

3

arctg w = ww 3

w 2n1

+

г л а в н о й

,

в е т в и

которое действительно для |w| < 1 * . Обратимся, наконец, к решению уравнения

e iz e iz

относительно z :

sin

z =

2i

= w

e 2iz 2wi · e iz 1 = 0,

e iz = wi ± 1 w 2 ,

откуда

z = Arcsinw = 1 Ln(wi ± 1 w 2 );

i

* При w = πi функция arctg w обращается в .

5

и здесь получаем б е с к о н е ч н о м н о г о з н а ч н у ю функцию. Ограничимся для логарифма его г л а в н ы м з н а ч е н и е м:

z = 1 ln(wi ± 1 w 2 .

i

При w = +1 или - 1 радикал обращается в 0, и мы получим, соответственно, z = π или π , что и примем за г л а в н о е з н а ч е н и е а р к с и н у с а. Пусть теперь

w

2

2

= ±1, и нам предстоит выбор из д в у х значений z. Очевидно,

(wi + 1 w 2 )(wi 1 w 2 ) = 1,

так что

1

i

следовательно, и

ln(wi + 1 w 2 ) + 1 ln(wi 1 w 2 ) = ±π,

i

R 1 ln(wi + 1 w 2 ) + R 1 ln(wi 1 w 2 ) = ±π,

i

i

в то время как мнимые части разнятся лишь знаками. Так как каждая из веще- ственных частей не выходит за пределы промежутка (π, π] ,то лишь одна из них будет содержаться между π и π ; соответствующее значение арксинуса принимаем за г л а в н о е. Исключение представится лишь в случае, когда обе вещественные части равны π или π ; тогда за главное принимается то значение, которому отвечает положительная мнимая часть * .С этой оговоркой можно сказать, что г л а в н о е з н а ч е н и е а р к с и н у с а определяется условием

2

2

2

2

π R(arcsin

2

w) π

2 ;

Легко проверить, что остальные значения выразятся формулами:

Arcsin w = arcsin w + 2kn,

Arcsin w = (2k + 1)π arcsin w

(k - целое).

В заключение, упомянем о разложении arcsin w по степеням w. В области вещественных переменных мы уже видели, что для ряда

3

y = x x

3! +

+ (1) n1

x

2n1

(2n 1)! +

[выражающего sin x], обращением будет ряд

x = y + 1

3

2 · y

3

5

1 · 3 + 2 · 4 · y 5

+

* Например,arcsin 2 = π + i ln(2 + 3)

2

6

+ (2n 1)!!

2n!!

y

2n+1

2n + 1 +

[выражающий arcsin y; см. 440, 3)]. Так как и в случае комплексных переменных коэффициенты определяются совершенно одинаковым образом, то ясно, что в результате о б р а щ е н и я ряда

w = z z 3! 3 + z 5! +

5

д о л ж е н получиться ряд

z = w +

1

2 · w 3

3

1 · 3 + 2 · 4 · w 5

5

+ (1) n1

z 2n1

(2n 1)! +

+

+ (2n 1)!!

2n!!

·

w 2n+1

2n + 1 +

Его радиус сходимости R = l * ; при |w| < l он дает одно из значений Arcsin e. Покажем, что это будет именно г л а в н о е з н а ч е н и е arcsin w. Действительно |R(z)| не превосходит

|z| < 1 +

1

2 ·

1

3 + 2 · 4 ·

1 · 3

1

5 +

+ (2n 1)!!

2n!!

·

1

2n + 1 +

= π 2 ,

откуда и вытекает требуемое заключение. 460. Степенная функция.Пусть a и b будут два комплексных числа, из которых a = 0.Тогда общее определение степени a b будет такое

a b = e bLn a+2kπi

(k целое),

так что степень оказывается вообще м н о г о з н а ч н о й. При k = 0 получается так

называемое г л а в н о е з н а ч е н и е степени

a b = e b ln a .

Для отличия общее выражение степени, следуя К о ш и , иногда обозначают так:

((a)) b . Таким образом

((a)) b = a b · e 2kπbi

(k целое).

Если b равно ц е л о м у числу, то второй множитель обращается в единицу: в этом случае степень будет иметь лишь одно значение. Когда b есть несократимая рациональная дробь P (q > 1), то степень будет иметь ровно q различных значений. Наконец, при всяком другом значении b степень будет иметь б е с к о н е ч н о е м н о ж е с т в о значений. Например,

q

2 i = e i ln 2 = cos (ln 2) + I · sin (ln

2),

((2)) i = 2 i · e 2kπ

* При w ± 1 нарушается непрерывность п р о и з в о д н о й арксинуса:

1

1w 2 .

(k целое),

7

i i = e i ln i = e

π

2

,

((i)) i = e (4k+1) π

2

(k целое).

Если m есть л ю б о е постоянное комплексное число, то с т е п е н н а я ф у н к ц и я

((z)) m вообще многозначна. Ее главная ветвь есть (z

= 0) *

z m = e m·ln x .

Из соотношения

(l + z) m = e m·ln(1+z)

совершенно так же, как в n 447, 2), можно получить б и н о м и а л ь н ы й

р я д

(1 + z) m = 1 + mz + m(m 1 · 2 1)

z 2 +

+ m(m 1) 1 ·

 

(m n + 1)

2 ·

.

.

.

·

n

z n +

Этот ряд сходится при любом комплексном m, если |z| < 1 * , и воспроизводит, как видно из самого способа его получения, именно г л а в н о е значение степени бинома. Исследованием его занимался А б е л ь.

461. Примеры. В этом n на нескольких примерах мы покажем, какие

услуги оказьшает вещественному анализу комплексная переменная и элементарные функции от нее.

1) Последовательные производные функции y = представить ее в виде:

1

x 2

+1 легко вычисляются, если

y =

2i x i x + i .

1

1

1

Именно, yn 1 =

2i 1 (1) n1 (n 1)!

1

(xi) n

(x+i) n =

1

= (1) n1 (n 1)!

2i

· (x + i) n (x i) n

(x 2 + 1) n

=

Например,

=

(1) n1 (n1)!

(x 2 +1) n

· nx n1 n(n2)(n2)

1·2·3

1 + 1 (4) = 24 · 5x 4 10x 2 + 1

x

2

(x 2 + 1) 5

.

x n3 +

Одновременно, очевидно, получаются и последовательные производные функции arctg х [ср. 116, 8) и 118, 4)]. 2) Формулы Эйлера, выражающие косинус и

* Иногда при z = 0 полагают z m = 0,если R(m) > 0 * При z = 1 если не сама степень (1+ z) m , то достаточно далекие ее поизводные терпят разрыв; исключение представляет лишь случай,когда m равно 0 или натуральному числую.

8

синус через показательную функцию, могут быть многообразно использованы. Например, желая найти сжатое выражение для суммы

s =

n

1

cos kx,

можно свести дело просто к с у м м и р о в а н и ю г е о м е т р и ч е с к о й п р о г р е с с и и:

s = 1 2

n

1

n

1

e kxi =

e kxi +

2 e xi e (n+1)xi

1

1e xi

e xi e (n1)xi

1e xi

=

+

=

1

2 e 1

2 xi

e (n+

1

2 )xi

e

1

2 xi e 1

2 xi

1

+ e

2 xi e (n+ 2 )xi

1

e

2 xi e 2 xi

1

1

=

=

1

2

·

2i e ( n+

1

1

2 ) xi e ( n+ 1

2 ) xi 1

2i e

1

2 xi e 2 xi

1

2i e

1

1

2 xi e 1

2 xi

= sin ( n+

2 sin

1

2 x

2 ) x

1

1

2 .

3) Целые положительные степени sin x и cos x, а также произведения таких степеней можно представить линейными комбинациями синусов и косинусов кратных дуг. Выполнить это легко с помощью тех же формул Эйлера, раз- вернув выражения

sin n x = e xi 2i e xi n ,

cos n

x = e xi + e xi ,

2

по биному Н ь ю т о н а. Например,

sin 5 x = 1

32i (e 5xi 5e3xi + 10e xi 10e xi + 5e 3xi e 5xi ) =

=

1

16

e 5xi e 5xi

2i

5 e 3xi e 3xi

2i

+

10 e xi e xi

2i

cos 4 x sin 3 x = e xi +e xi

2

4 e xi e xi

2i

3 =

= 16 (sin 5x5 sin 3x+10sin x);

1

=

1

128i (e 2xi e 2xi )(e xi + e xi ) =

=

1

= 128i (e 6xi 3e 2xi + 3e 2xi e6xi)(e xi + e xi ) =

1

128i (e 7xi + e 5xi e 3xi e xi + 3e xi + 3e 3xi e 5xi e 7xi ) =

1

= 64 (sin

7x + sin

5x 3 sin

3x 3 sin

Можно установить и общие формулы:

x).

9

(а)

sin 2v x = (1) v {{cos 2vx 2v cos(2v 2)x+

2

2v1

+ 2v(2v1)

1·2

cos(2v 4)x

+ (1) v

 

2v(2v1)

(v+1)

2

1·2

v

(v+2)

sin

,

(б) sin 2v+1 x = (1) v {{sin (2v + 1)x (2v + 1) sin(2v 1)x+

2 2v

+ (2v+1)2v

1·2

sin(2v 3)x

+ (1) v (2v+1)2v

1·2

v

x ,

(в)

cos n

x =

2 n1 cos

1

nx n cos(n 2)x + + n(n1) cos(n 4)x +

1·2

,

причем в формуле (в) последний член имеет вид

1 2v(2v 1)

(v + 1)

2

1 ·

2 .

v

,

или (2v + 1)2v

 

(v + 2)

 

1 ·

2

.

.

.

v

cos x,

смотря по тому, будет ли n = 2v или 2v + 1. Подобные преобразования выгодны при интегрировании [ср. 287]. 4) На комплексные функции от вещественной или комплексной переменной распространяются простейшие формулы интегрального исчисления (относящиеся к разысканию первообразных). Пусть требуется найти интегралы:

e ax cos bxdx,

e ax sin bxdx

Эта задача равносильна нахождению интеграла:

e ax (cos bx + i sin bx)dx = e (a+bi)x dx,

который - по элементарной формуле - равен

a + bi e (a+bi)x = cos bx + i sin bx e ax = a cos bx b sin bx e ex + i · a sin bx b cos bx

1

a + bi

a 2 + b 2

a 2 + b 2

e ex .

Приравнивая порознь вещественные и мнимые, получим искомые интегралы [ср. 271, 6)]. Формулу для вычисления интеграла типа

P(x) · e ax dx,

где Р(х) - целый многочлен [271, 4)], можно распространить и на случай комплексного a. Тогда к ней приведутся не только интегралы

P (x) cos bxdx,

P (x) sin bxdx

10

но и интегралы

P(x)e ax cos bxdx,

R(x)e ax sin bxdx

[271, 4); 289]. 5) Связь между логарифмической и обратными тригонометрическими функ-

циями объединяет многие формулы интегрального исчисления, казавшиеся со- вершенно различными, и позволяет устанавливать новые формулы. Например,

интегралы

dx

x 2 a 2 =

1

2a ln x a x + a

dx 1 a arctg x x 2 + a 2 = a dx √ −
dx
1
a arctg x
x 2 + a 2 =
a
dx
− x 2 = arcsin x
a 2
a

и

или

и2 + a 2 = a dx √ − x 2 = arcsin x a 2

приводятся один к другому заменой х на xi. 6) Отделяя вещественную и мнимую части в известных комплексных разложениях, можно иной раз просто получить интересные разложения в вещественной области.

(а) Возьмем, при |z| < 1, прогрессию

z

1 z =

n=1

z n

и положим z = r(cos θ + i sin θ). Справа получим ряд

n=1

r n (cos + i sin ),

а слева - выражение

r(cos θ + i sin θ)

(1 r cos θ) ir sin θ =

r

cos θ r 2

1

2r cos θ + r 2 +

r sin θ

1 2r cos θ + r 2 · i.

Приравнивая вещественные и мнимые составляющие в обеих частях равенства (и сокращая на r ), придем к разложениям:

[ср. 440,11)].

cos θ r

1 2r cos θ + r 2 =

sin θ

1 2r cos θ + r 2 =

11

n=1

n=1

r n1 cos nθ,

r n1 sin

(б) Аналогично поступив с логарифмическим рядом:

ln(1 z) =

n=1

z

n

n

(|z| < 1),

получим для r < 1 [ср. 440,11)]

1

2 ln(1 2r cos θ + r 2 ) =

arctg

r sin θ 1 r cos θ =

n=1

n=1

r n cos nθ n

r n sin nθ n

.

,

Пусть ; так как при г ряды справа продолжают сходиться [385, 2)], то можно, воспользовавшись теоремой Абеля [437, 6], перейти здесь к 1 . О пределу при г -* 1 - 0. Слева получим в первом случае: — In (2 - 2 cos в) = In 2 sin —,

I в I л-в) п-в гт втором: arctg ctg — = arctg tg 1 = . Итак,

In 2 sin —=-Z . =2 2 i n 2 i Z . 2(О 2 n=i n 2 n=i л [В третьем томе курса мы встретимся со многими замечательными тригонометрическими разложениями.] 7) В п 447, 8) мы имели разложение l 2>()" где Рп(х) - многочлены Лежандра. Изменяя х между -1 и +1, положим здесь x = cos0:

L (l-2acose+a») ! =1+ 2 рп (cosб)-а". п=1

12

Оценить