Учебное пособие 1865

Отсюда

ππ

Заметим, что ∫ e−t Rsinϕdϕ= ∫ e−t Rsinϕdϕ; этот факт легко дока-

Таким образом, в случае a > 0 теорема доказана. Если a ≤0 , то дуга γ(R) лежит в полуплоскости Im z ≥0 и является

181

частью дуги γ3 (R) ; части γ1 (R) и γ2 (R) в этом случае отсутствуют. Для γ(R) справедливы рассуждения, проведенные выше для γ3 (R) , и теорема 4.6 полностью доказана.

Смысл теоремы 4.6 состоит в том, что функция F (z) может стремиться к нулю сколь угодно медленно (заметим, что в примере 4.5 убывание функции f (z) при z →∞ было

рис. 7.3 показана пунктиром). Доказательство в этом случае

Таким образом, действительная и мнимая части функции f (x) и являются теми функциями, интегралы от которых нужно

182

возьмем от него действительную и мнимую части, то получим искомые величины.

расположенная в полуплоскости Im z ≥0 , то согласно теореме

4.6

zei 2 z

Rlim→∞ ∫ z2 +9dz = 0

γ(R)

(мы взяли в (7.25) t = 2 ). Значит, можно применить теорему

найти либо по формуле (7.5), либо по формуле (7.6).

183

Действительная и мнимая части полученного числа и будут искомыми интегралами:

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

7.4. Логарифмический вычет и принцип аргумента

Рассмотрим многозначную функцию

L n f (z)= ln f (z) +i Arg f (z)= ln f (z) +i(arg f (z)+ 2πk),

k = 0,±1,±2,...

Во всех точках z , в которых f (z) аналитична и не обращается в нуль, Ln f (z) будет многозначной

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

производные совпадают. Производная функции Ln f (z), равная

(Ln f (z))′ = f 1(z) f ′(z)= ff ′((zz)) ,

184

называется логарифмической производной функции f (z); она является однозначной аналитической функцией всюду, за исключением особых точек и нулей функции f (z). Вычет

f ′(z)= ((z −z0 )n ϕ(z))′ = n(z −z0 )n−1 ϕ(z)+(z −z0 )n ϕ′(z),

следовательно, раскладывается в этой окрестности в ряд Тейлора:

ϕ′(z) = ∑∞ ck (z −z0 )k . ϕ(z) k=0

185

коэффициент c−1 при (z −z0 )−1 равен n . Следовательно, (см. (7.4))

resz0 ( f ′ f )= c−1 = n .

Пусть теперь z0 — полюс порядка p функции f (z). Тогда функция g (z)=1 f (z) имеет в точке z0 нуль порядка p . Согласно доказанному выше, resz0 (g′g)= p . Так как

Ln g = Ln(1 f ) = −Ln f , то

gg′ =(Ln g)′ = −(Ln f )′ = − ff′ .

Отсюда и из определения вычета (27.1) получаем

что и требовалось доказать.

В следующих далее теоремах будет установлена связь между количеством нулей и полюсов функции f (z) внутри

области и поведением f (z) на границе области. При подсчете

количества нулей и полюсов мы примем следующее соглашение: каждый нуль и полюс считается столько раз, каков его порядок.

Теорема 4.2 (теорема о логарифмическом вычете). Пусть

Γ — замкнутый контур, лежащий в области аналитичности функции f (z). Пусть, далее, f (z) аналитична во всех точках

186

внутри Γ, за исключением конечного числа полюсов, и не имеет на Γ ни нулей, ни полюсов. Тогда

внутри Γ, подсчитанных с учетом кратности; обход контура Γ предполагается таким, что точки, лежащие внутри Γ, остаются слева.

полюсов, то функция G(z) аналитична во всех точках контура Γ. Внутри Γ функция G(z) имеет лишь конечное число особых точек, являющихся нулями и полюсами функции f (z). Значит, к функции G(z) применима теорема 4.1 о

где ak , k =1, 2,...,l и bk , k =1, 2,..., m , - соответственно нули и полюсы функции G(z). В силу теоремы 4.1

187

Подставляя эти равенства в (7.28), приходим к соотношению (7.27), что нам и требовалось.

Величина в левой части (7.27) называется логарифмическим вычетом функции f (z) относительно

контура Γ; этим и объясняется название теоремы 4.2. Мы покажем, что эта величина имеет геометрический смысл и, следовательно, теорема 4.2 выражает определенное геометрическое свойство отображения, осуществляемого

функцией ω = f (z).

Зафиксируем на Γ произвольную точку z0 (рис. 7.4, а). Ей соответствует точка ω0 = f (z0 ) плоскости переменного ω (рис. 51, б). Если точка z движется по Γ начиная от z0 , то соответствующая точка ω = f (z) будет описывать некоторую

Arg ω = arg ω+ 2πk , k = 0,±1,±2,... Но мы выберем такое из них, чтобы при движении по C аргумент числа ω менялся непрерывно. Это значение аргумента обозначим ϕ(ω) . При

возвращении в ω0 после обхода пути C значение ϕ(ω) будет

188

оборотов вектора f (z), сделанных им при обходе точкой z контура Γ, равно N −P .

Доказательство. Пусть, как и выше, ϕ(ω) — непрерывно изменяющийся аргумент числа ω . Рассмотрим функцию Φ(z)= ln f (z) +iϕ( f (z)). В окрестности каждой точки z Γ

функция Φ(z) совпадает с одной из ветвей многозначной аналитической функции

Ln f (z)= ln f (z) +i(arg f (z)+ 2πk). Поэтому Φ′(z)=(Ln f (z))′ = ff′((zz)) .

Следовательно, непрерывная на Γ функция Φ(z) является

непрерывной функцией на Γ, то при возвращении точки z в z0 этот логарифм примет начальное значение ln f (z0 ) и его

приращение будет равно нулю. Когда z проходит контур Γ, соответствующая точка ω = f (z) проходит путь C . Поэтому

190