Материал: Высшая математика. Теория функций комплексного переменного. Пантелеев И.Н

По формуле (4.4) Коши для производных

Применяя эту формулу к каждому из интегралов в (4.5) получим

∞

S(k )(z0 ) = ∑ fn(k )(z0 )

n=1

∞

Поскольку z0 — произвольная точка области D, то ряд ∑ fn (z)

n=1

можно почленно дифференцировать любое число раз в каждой точке z из D, что и требовалось доказать.

6.3. Степенные ряды

Степенным рядом называется ряд вида

∞

∑cn (z − z0 )n = c0 +c1 (z − z0 ) +c2 (z − z0 )2 +...+cn (z − z0 )n +...

n=0

(6.5)

где z0, c0, c1,... — заданные комплексные числа, a z — комплексное переменное. Числа c0, c1,... называются

коэффициентами, a z0 — центром степенного ряда.

Степенные ряды являются, очевидно, частным случаем функциональных рядов; они играют исключительно важную роль в теории функций. Представление о множестве сходимости степенного ряда дает следующая теорема.

Теорема 3.1 (теорема Абеля). 1. Если степенной ряд

(21.1) сходится в некоторой точке z1 и z1 ≠ z0 , то он абсолютно сходится при любом z, удовлетворяющем неравенству z − z0 < z1 − z0 (т.е. внутри окружности с центром z0, проходящей через точку z1) (рис. 6.2).

126

Поскольку всякая последовательность, имеющая предел,

(мы воспользовались тем, что модуль произведения комплексных чисел равен произведению их модулей:

w1w2 = w1 w2 ).

n=0

127

теоремы доказана.

2. Для доказательства второй части можно было бы провести аналогичное рассуждение. Но мы поступим проще, выведя нужное утверждение из уже доказанного предыдущего. Будем рассуждать от противного. Предположим, что утверждение 2 теоремы неверно, т.е. ряд (6.5) расходится в точке z2, и при этом найдется точка z', удовлетворяющая

неравенству z′− z0 > z2 − z0 , в которой ряд (6.5) сходится. Но

если ряд (6.5) сходится в точке z', то в силу первой части теоремы он должен сходиться и в любой точке z, удовлетво-

ряющей неравенству z − z0 > z′− z0 . В частности, он должен

сходиться в точке Z2, что противоречит условию. Значит, наше предположение о том, что ряд (6.5) сходится в некоторой

точке z', для которой z′− z0 > z2 − z0 , является неверным, т.е.

во всех точках, удовлетворяющих указанному неравенству, ряд (6.5) расходится, что и требовалось доказать.

Пользуясь теоремой Абеля, рассмотрим подробнее геометрические свойства множества сходимости степенного ряда. Возьмем некоторый луч, исходящий из точки z0. Прежде всего отметим, что в самой точке z0 ряд (6.5) всегда сходится. Действительно, подставляя в (6.5) z = z0, видим, что все члены ряда, начиная со второго, обращаются в нуль. Рассмотрим сходимость ряда в точках луча, отличных от z0. Возможны три случая.

1. Ряд (6.5) сходится во всех точках луча. Тогда он сходится и во всей плоскости. Действительно, так как ряд сходится в любой точке z1 луча, сколь угодно далеко отстоящей от z0, то по теореме Абеля он сходится и внутри окружности сколь угодно большого радиуса с центром в z0 (см. рис. 6.2). Поэтому ряд будет сходиться во всех точках плоскости.

128

2. Ряд (6.5) расходится во всех точках луча, отличных от z0. В этом случае ряд расходится и во всех точках плоскости, кроме точки z0. Действительно, из расходимости ряда в любой точке z2 ≠ z0 луча, сколь угодно близкой к z0, следует

расходимость ряда и вне окружности сколь угодно малого радиуса с центром в z0 (см. рис. 6.2). Поэтому любая точка плоскости, кроме точки z0, будет точкой расходимости ряда.

3. На луче имеются как точки сходимости, отличные от z0, так и точки расходимости. Из теоремы Абеля следует, что всякая точка сходимости находится ближе к z0, чем всякая точка расходимости. Поэтому все точки луча разделятся на две группы следующим образом: на промежутке от z0 до некоторой точки z* расположатся точки сходимости, а после точки z* (при движении по лучу от z0) — точки расходимости. Сама точка может являться как точкой сходимости, так и точкой расходимости. По теореме Абеля ряд (6.5) абсолютно

сходится в каждой внутренней точке круга z − z0 < z * −z0 ,

ограниченного окружностью с центром z0, проходящей через точку z*, и ряд (6.5) расходится в каждой внешней точке этого

круга. Круг z − z0 < z * −z0 называется кругом сходимости степенного ряда (6.5), а радиус этого круга — радиусом

располагаться как точки сходимости, так и точки расходимости.

Понятие круга и радиуса сходимости можно обобщить также и на случаи 1, 2, рассмотренные выше. Если ряд сходится при всех z, то полагают R = ∞; тогда круг сходимости совпадает со всей (конечной) комплексной плоскостью. Если ряд сходится только в точке z0, то полагают R = 0; тогда круг сходимости вырождается в точку z0.

Таким образом, множеством сходимости степенного ряда (6.5) всегда является внутренность круга с центром в точке zo с возможным добавлением некоторых или всех точек

129

на его границе. Этот круг может заполнять всю плоскость или вырождаться в точку z0.

Во многих случаях круг и радиус сходимости можно найти, используя признак Даламбера или радикальный признак Коши. Применим вначале к ряду (6.5) признак Даламбера в предположении, что соответствующий предел существует:

сходится, а при l > 1 расходится. Отсюда следует, что при z − z0 < R ряд сходится, а при z − z0 > R расходится. Поэтому

число R, определенное в (6.6), является радиусом сходимости ряда.

Аналогичное рассуждение и применение радикального признака Коши дают формулу .

Итак, радиус сходимости степенного ряда можно найти по формулам (6.6), (6.7) при условии, что фигурирующие в них пределы существуют. Но можно и не запоминать эти формулы, а применять указанные признаки непосредственно.

Пример 3.2. Найти круг сходимости ряда

130