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

МИРЭА - РОССИЙСКИЙ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ

И. М. АКСЕНЕНКОВА, Т.Р. ИГОНИНА,


О.А. МАЛЫГИНА, А.В. ТАТАРИНЦЕВ, Н.С. ЧЕКАЛКИН

РЕДАКТОР: Н.С. ЧЕКАЛКИН

МАТЕМАТИЧЕСКИЙ АНАЛИЗ

3 СЕМЕСТР

Учебно- методическое пособие

Для студентов очной формы обучения


институтов ИИТ, ФТИ

Москва
МИРЭА
2020
2

Утверждено редакционно-издательским советом Московского техноло-


гического университета в качестве учебного – методического пособия для
студентов

Подготовлено на кафедре Высшей математики -2

Рецензенты: Бобылева Т.Н., к.ф-м.н.


Приходько В.Ю., д.ф-м.н.

И. М. Аксененкова, Т.Р. Игонина, О.А. Малыгина, А.В. Татаринцев,


Н.С. Чекалкин

Математический анализ, 3 семестр: учебно- методическое пособие /


Аксененкова И. М., Игонина Т.Р., Малыгина О.А., Чекалкин Н.С.,
А.В. Татаринцев М.: МИРЭА, 2020, 139 с.

Учебно-методическое пособие по курсу "Математический анализ" (3


семестр) предназначено для студентов Московского технологического
университета, институтов ИИТ и ФТИ. Пособие включает следующие раз-
делы: числовые и функциональные ряды, ряды Тейлора и Фурье, приложе-
ния рядов; функции комплексного переменного, аналитические функции,
теория вычетов и ее приложения. Материал пособия можно использовать
при изучении курса дифференциальных уравнений, теории вероятностей и
случайных процессов, при изучении ряда специальных и общепрофессио-
нальных дисциплин.

© Аксененкова И.М. Игонина Т.Р.


Малыгина О.А. А.В. Татаринцев Че-
калкин Н.С., 2020
© МИРЭА, 2020
3

Введение

Пособие разработано коллективом преподавателей кафедры высшей


математики-2 Московского технологического университета (МИРЭА) для
студентов очной формы обучения институтов Информационных техноло-
гий (ИИТ) и физико-технологического института (ФТИ). Пособие содер-
жит список теоретических вопросов для подготовки к сдаче экзамена, пе-
речень рекомендуемой литературы, варианты контрольных работ по курсу,
образец экзаменационного билета, типовой расчет.
Основное содержание курса математического анализа 3-го семестра
составляют теория рядов и теория функций комплексного переменного
(ТФКП). В программу включены следующие разделы: числовые ряды (по-
нятие сходимости ряда, признаки сходимости рядов с положительными
членами, знакочередующийся ряд, абсолютная и условная сходимость,
теорема Лейбница, действия с рядами); функциональные ряды (область
сходимости ряда, равномерная сходимость, теорема Вейерштрасса о рав-
номерной сходимости, непрерывность суммы ряда, почленное интегриро-
вание и дифференцирование функционального ряда, степенной ряд, ряд
Тейлора); ряд Фурье; аналитические функции и их свойства, ряды Тейлора
и Лорана для функции комплексного переменного, теория вычетов и ее
приложения (вычисление контурных интегралов по основной теореме о
вычетах, вычисление несобственных интегралов).
Данное пособие имеет следующую структуру. Оно состоит из трех
частей. Часть 1 – это основные типы задач для подготовки к сдаче кон-
трольных работ и экзамена. Рекомендуется прорешать все задачи этой ча-
сти пособия. Список задач первой части шире списка типовых задач вто-
рой части. На основе первой части у студента формируются представления
о разной сложности заданий курса математического анализа. Часть 2 -
это задачи типового расчета, студент выполняет только свой вариант.
Часть 3 - теоретический материал и примеры решения типовых задач
курса. От студента требуется успешное овладение материалом, т.е. необ-
ходимо знать основные определения, формулировки и доказательства ос-
новных теорем курса, а также уметь решать типовые задачи.
4

Методические указания

В течение 3-го семестра по курсу математического анализа прово-


дятся две контрольные работы и выполняется типовой расчет.
Приведем примерные варианты контрольных работ.

Примерный вариант
контрольной работы по разделу «Теория рядов»

1. Исследовать ряд на сходимость, ответ обосновать:


  52  5n 2  3

а)  3n   e n  1 ;
2
б)  9
n 1   n 1 4n 1
2. Исследовать ряд на абсолютную и условную сходимость,
 
4
ответ обосновать: а) 
n 1
( 1) n 1
 sin 6 1
(
3n
) ; б)
n 1
( 1) n

8n  3


( x  9) n
3. Найти интервал сходимости степенного ряда  4 . Исследовать
n  2 n(ln n)

сходимость на концах интервала.


4. Разложить функцию f (x) в ряд Тейлора в окрестности точки x0 . Ука-
зать область сходимости полученного степенного ряда.
x3
f ( x)  , x0  3
5x  7

Примерный вариант
контрольной работы по разделу
«Теория функции комплексного переменного»

1. Вычислить все значения (3  i 3 )12i .


2. Решить уравнение sin 2 z  2 . Ответы изобразить на комплексной плос-
кости.
3. Исследовать функцию f ( z)  eiz  3z  5i на аналитичность.
4
4. Функцию f ( z )  разложить в ряд Лорана в области | z | 5 2 .
2z  5
5. Указать особые точки функции, их тип, найти вычеты в особых точках:
8
e9 z  1
а) f ( z )  ( z  5)  e
3 z 5
; б) f ( z) 
z 2 ( z 2  16)
5

Типовой расчет. В типовой расчет входят задачи по теории рядов и


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

Примерный вариант экзаменационного билета

 n2
1. Исследовать ряд 15 n  n  3  на сходимость, ответ обосновать.
n 1  n 

( x  6) n
2. Найти интервал сходимости степенного ряда  n
n2
3
ln n
. Ис-
следовать сходимость ряда на концах интервала.
3. Разложить функцию f ( x)  ln(12 x  9) в ряд Тейлора в окрестности
точки x0  2 . Указать область сходимости ряда.
4. Разложить функцию f ( x)  4 x , заданную на интервале ( ;  ) , в ряд
Фурье. Обосновать сходимость ряда Фурье. Нарисовать график суммы ря-
да Фурье.
5. Решить уравнение e 2 z  3e z  4  0 .
6. Установить, является ли функция аналитической f ( z)  z  Im(2 z  5z  3i) .
cos 9 z  1
7. Указать особые точки функции f ( z )  , их тип, найти вычеты в
z 2 ( z  4i)
особых точках.
9

 ( z  2)  e z 2
5
8. Вычислить dz , L : | z  1 | 2 .
L
 5
9. Вычислить 0 ( x  16) 2
2
dx .

10. Теоретический вопрос (из списка теоретических вопросов).

Замечание: количество задач билета может быть изменено решением


методической комиссии кафедры при обязательном утверждении на засе-
дании кафедры.
6

Теоретические вопросы по курсу

1. Определение числового ряда, его сходимости. Примеры сходя-


щихся и расходящихся рядов. Необходимый признак сходимости числово-
го ряда. Признаки сравнения рядов с положительными членами.
2. Признак Даламбера. Радикальный и интегральный признаки Ко-
ши сходимости рядов с положительными членами.
3. Определение знакочередующегося числового ряда. Определение
абсолютной и условной сходимости. Признак Лейбница сходимости зна-
кочередующегося ряда.
4. Свойства абсолютно сходящихся рядов. Свойства условно схо-
дящихся рядов. Примеры.
5. Определение функционального ряда, его области сходимости.
Равномерная сходимость функционального ряда. Теорема Вейерштрасса.
6. Теорема о непрерывности суммы функционального ряда. Теоре-
ма о почленном интегрировании функционального ряда. Теорема о
почленном дифференцировании функционального ряда.
7. Определение степенного ряда. Теорема Абеля. Радиус сходимо-
сти степенного ряда. Равномерная сходимость степенного ряда. Непрерыв-
ность суммы степенного ряда. Теоремы о почленном интегрировании и
дифференцировании степенных рядов.
8. Критерий разложимости функции в степенной ряд. Достаточное
условие разложимости функции в степенной ряд. Разложения элементар-
ных функций в ряд Маклорена ( e , sin x, cos x, ln (1  x), (1  x) ).
x m

9. Ряд Фурье по тригонометрической системе функций. Коэффици-


енты Фурье. Разложение в ряд Фурье четной и нечетной функции. Приме-
ры.
10. Понятие функции комплексного переменного. Основные элемен-
тарные функции комплексного переменного, их свойства. Предел, непре-
рывность и дифференцируемость функции комплексного переменного.
11. Понятие аналитической функции. Условия Коши-Римана. При-
меры. Определение интеграла функции комплексного переменного вдоль
кусочно-гладкой кривой, свойства. Теоремы Коши для односвязной и мно-
госвязной области.
12. Ряд Тейлора аналитической функции. Ряд Лорана аналитической
функции. Теорема о разложении функции в ряд Лорана. Область сходимо-
сти. Примеры разложения в ряд Лорана.
13. Изолированные особые точки (и.о.т.). Классификация и.о.т. по
главной части ряда Лорана и на основе поведения функции в окрестности
и.о.т. Примеры.
7

14. Вычет аналитической функции в и.о.т. Теорема о нахождении


вычета по ряду Лорана. Формулы вычисления вычетов в простом и крат-
ном полюсе. Примеры.
15. Основная теорема о вычетах. Вычисление контурных интегралов
с помощью вычетов. Вычисление несобственных интегралов по прямой и
полупрямой. Примеры.

Рекомендуемая литература

Основная литература:
1. Ильин В.А., Садовничий В.А., Сендов Б.Х. Математический ана-
лиз. Ч. 1: Учебник для бакалавров / - Люберцы: Юрайт, 2016.

2. Ильин В.А., Садовничий В.А., Сендов Б.Х. Математический ана-


лиз. Ч. 2: Учебник для бакалавров / - Люберцы: Юрайт, 2016.

3. Фихтенгольц Г.М. Курс дифференциального и интегрального ис-


числения: Том 1 – М.: Книга по Требованию, 2017.

4. Зорич В. А. Математический анализ. Часть I, 2. — 6-е изд, до-


полн.— М.: МЦНМО, 2018.

5. Ильин В.А., Позняк Э.Г. Основы математического анализа: В 2-х


ч. М.: Физматлит. – 2018.

6. Краснов М.Л., Киселев А.И., Макаренко Г.И., Шикин Е.В., Заля-


пин В.И. Вся высшая математика: Аналитическая геометрия, векторная
алгебра, линейная алгебра, дифференциальное исчисление. Т.1. - URSS. -
2018.

7. Краснов М.Л., Киселев А.И., Макаренко Г.И., Шикин Е.В., Заля-


пин В.И. Вся высшая математика: Интегральное исчисление, дифференци-
альное исчисление функций нескольких переменных, дифференциальная
геометрия.Т.2. - URSS. - 2017.

8. Краснов М.Л., Киселев А.И., Макаренко Г.И., Шикин Е.В., Заля-


пин В.И. Вся высшая математика: Теория рядов, обыкновенные дифферен-
циальные уравнения, теория устойчивости. Т.3. - URSS. – 2017.
8

9. Краснов М.Л., Киселев А.И., Макаренко Г.И., Шикин Е.В., Заля-


пин В.И. Вся высшая математика: Кратные и криволинейные интегралы,
векторный анализ, функции комплексного переменного, дифференциаль-
ные уравнения с частными производными. Т.4. Изд. 4. - URSS. – 2017.

10. Аксененкова И.М., Малыгина О.А., Шухов А.Г., Чекалкин Н.С.


Ряды. Интеграл Фурье и преобразование Фурье. Приложения. М.: URSS. -
2019.

Дополнительная литература:

11. Аксененкова И.М., Игонина Т.Р., Малыгина О.А. и др. Матема-


тический анализ. 1 семестр. Учебно-методическое пособие для студентов
факультетов РТС, ИТ, Электроники. – М.: МИРЭА.- 2013.

12. Аксененкова И.М., Игонина Т.Р., Малыгина О.А. и др. Матема-


тический анализ. 2 семестр. Учебно-методическое пособие для студентов
факультетов РТС и Электроники. – М.: МИРЭА.- 2011.

13. Математический анализ, 3 семестр. Контрольные задания для


студентов очного обучения факультетов РТС, ИТ, РТС. М.: МИРЭА, 2012.

14. Математический анализ, 4 семестр. Учебно-методическое посо-


бие для студентов очного обучения факультетов РТС, ИТ, РТС. М.:
МИРЭА, 2012.

15. Маркушевич А.И. Краткий курс теории аналитических функ-


ций. М., Мир, 2009.
16. Боярчук А.К. Справочное пособие по высшей математике. Том 4.
Функции комплексного переменного (теория и практика). М., URSS,
1999.
9

ЧАСТЬ 1

Основные типы задач


для подготовки к контрольным работам и экзамену

В этой части пособия приведены задания для подготовки к успешной


сдаче контрольных работ и экзамена. Рекомендуется выполнить все зада-
ния. Материал части 1 можно рассматривать как задачник по математиче-
скому анализу 3-го семестра для самостоятельной работы студентов очно-
го отделения института ИТ.
Основные определения и теоремы сформулированы в части 3. Там
же описаны решения типовых задач курса.

Задачи по теории рядов

Задача №1.1. Найти сумму S числового ряда.

 1   1n 1
1  n(n  1) 9  n
n 1 n 1 2
 1  3n  2 n
2  (2n  1)( 2n  1) 10  n
n 1 n 1 6
 1  2 n  ( 1) n
3  (3n  2)(3n  1) 11 
n 1 n 1 3n
 1  1
4  n(n  3) 12 
n 1 n 14n
2
1
 
 
1
5  (2n  1)( 2n  5) 13 n  2 n 1 n  2
n 1 n 1
 1   1n 1
6  n(n  1)( n  2) 14  n
n 1 n 1 7
 2n  1  3n  2 n
 
n2  1
7 15
n2 n n 1 6n
 2n  1  10
8  16  (n  16)( n  17)
n 1n
2
n  12 n 1
10

Задача №1.2. Установить расходимость числового ряда на основе


необходимого условия сходимости.

 3 8

1  (2n  3) sin( 5n  4 ) 9  n 3 (e n
3
 1)
n 1
n 1
  3n
8  2n
2 n 2
arctg ( ) 10 
n 1 n 5
2
n 13  2n
n

 
3  n 
3  n 2 (1  cos n ) 11  n ln  n  100 
n 1 n 1  
 5n 2  2n  1 n

4  12  3n  1  2
  3n  5 
n 1 100n
2
 17
n 1 

5

 cos(
n 1
2
5n  6
) 13 

n 1
n 2
 n  1  n2  n  1 
 2n  5 
 3n  1 
6  3
3n  7
14  ln  n  10 
n 1 n 1  
2
n  6n  5n  3
  5n 2  1  
7   2  15
n 1 4n 2  2n  1
n 1 5n  8 
 3n  1 9

8  n 10n  11 16  n 5 (e n
5
2  1)
n 1
n 1

Задача №1.3. Установить сходимость или расходимость числового


ряда на основе признаков сравнения.

 
 
1
1  9 n  n 1
n 1n  6n  10
2
n 1
 ln n  3
2  10  n3arctg ( )
n 1 n n 1 n  15
5
11

 3n  2 n 8
  3n 2  1 
3  11   3 
n 13
n
 4n n 1 4n  7 
 4n 3  1  n2  5
4  12 
n 13n
5
2 n 1 n3  6n  10  (3n  1)
 1  1
5  13  ln n  1
n 1 n  2n2
n 1
 (n  1) 2  sin 2 n
6  14 
n 1nn  2 n  5 n 1 2n
 5  4n 
1
 1
7
n 12  3n
2 15  n 4 (e n  1) sin  
n 1 n
   
 1  2
8  arcsin  6  16  tg  
n 1  n  5 n 1  4 n  1 

Задача №1.4. Установить сходимость или расходимость числового ря-


да на основе признака Даламбера.

 (5n  6)3  8n
1  9 
n 1 2 n
n 1(3n  4) 4
 3n  1  2n
2  10 
n 1 n
3
8 n 1 n  13n

 5n  
3  11  n 2 sin  
n 1 n! n 1  2n 
 n!  2n  1!
4  12 
n 13
n
 2n n 1 3
n
 n!
 10 n  nn
5  13  n!
n 15n  n  4
2
n 1

 8n  
6  14  n 2 sin  
n 1 n! n 1  9n 
12

 8n  1  2n
7  15 
n 1 n
3
1 n 1 n  153n
 n!  7n 4  12
8  n 16 
n 1n n 1 13n

Задача №1.5. Установить сходимость или расходимость число-


вого ряда на основе радикального признака Коши или интегрального
признака Коши.

 n  3n
 n 1   5n  2 
1   3n  4  9   4n  1 
n 1  n 1 
n2  1

 3n  1   5
2   3n  4  10
n  2 n  ln n
n 1 
 
2n 1
3  11 
n 1ln
n
n  1 n 1n  ( 2 ln n  5)
3

 1  1
4  12 
n  2 n  ln n n 3 n ln nln ln n 
n2 2n
 1  n  1   n2  1 
5  n n  13   2 
n 12   n 1 8n  5 
 3  e n
6  14 
n 3n ln nln ln n 
9
n 1 n


 5n  1 
n2  4 
7   5n  7  15  3n arcsin n  n  1 
n 1  
n 1 
 1 n2

8  16  9n 
  9n  4  12 n
n  2 n  (ln
16
n)
n 1 

Задача №1.6. Исследовать на абсолютную и условную сходи-


мость знакопеременный ряд.
13

  1n 1 
 1 
  1
n 1
1  9 tg  
 n  1
n 1n  64n  3
6
n 1
 1 n    1n (5n  4)
2  4n  1 10 
n 1 n 1 2n
  1n 1   1n 1
3  11 
9n  2n  5 n  3n  ln n  (ln ln n) 6
2
n 1
  1n 
n 1  7 n  1 
n2
4  12  ( 1)  
n  2 n  ln n  ln n n 1  7 n  5 
  1n 1   1n n!
5  13 
n  2 n ln n n2 nn
 
 n  1 1
  1   1
n 1
6 ln   14
n
n  arctg ( )
n 1  n  n 1 n4

n 1
  1 (2n  3) sin ( ) 8   1n 1 n
7
n
15 
n 1 n 1 n5  3n  1
  1n 
  1
n 1
n  arcsin(
1
8  9n  17 16
n 1 n 64
)
n 1

Задача №1.7. Исследовать на сходимость числовой ряд, исполь-


зуя признаки сходимости числовых рядов.

n2  n!(n  3)!

 6n  7  
1  3n   6n  4  9
n 1 ( 2n)!
n 1  
 
1 1 3n  n
2  (1  cos( )) 10 
n 1 n5 n n 18  n
n 2

 2  ln( n  5)
3  11  n5
n 1n  (7 ln n  4)5 n 1
 
cos 4 n 5
4  5
12  n 2 (1  cos( n  2 ))
n 1(3n  5)  32n 2  1 n 1
14

9  (n  1)!

 (3n  2) 5 5
(10 n  1) 
nn 2
5 13
n 1
n 1
 (3n  1) 2  n 3  2n
  n 1 
6
n 1nn  4  9n  5
14  n  3
n 1 
 
3  n5
7  15  ln  n  2 
n 1(n  2)  ln( n  2)  
5
n 1
 1  2n  (5n  1) n
8  (n  4) arcsin( ) 16 
4n  5
2
n 1
4 2 n
n n 1 3n

Задача №1.8. Найти радиус и интервал сходимости степенного


ряда. Исследовать сходимость ряда на концах интервала сходимости.

 ( x  6) n  3n
 2n 
1  (n  1) ln( n  1) 9   2n  5  x  4n
n 1 n 1 
 n( x  7) n  x  12n 1
2  10 
n 1n  2  n 1
n
n 1 9n  1
2

 x 2n 1   x  10n
   1
n
3 11
n 13
n
n n 1 n 1 nn  1
 2 n ( x  1) n  n( x  100) n
 
 
4 12 3
n 1 n  n 1 2
n 1 n3  3
 2n  1  ln n  1
  1 nn  1 x n  x  7 n
n
5 13
n 1 n 1 n  1
 n 
 3n  1   ( x  3) n (1  cos(
2
6   3n  2  ( x  1) n 14
n4
))
n 1  n 1
 
( x  5) n 5
  1  ( x  4) n actg ( n )
n 1
7 15
n 1 nn  1 n 1
15

 3n  1  (n  1)!( x  5) n
  1 x  1n
n 1
8
nn  1
16 
n 1 n 1 n3  2

Задача №1.9. Разложить функцию f (x) в ряд Тейлора в окрест-


ности точки x0 . Указать область сходимости полученного ряда.
Указание. Использовать разложения элементарных функций в сте-
пенные ряды.

y  ( x  4)3 e3 x 5 , ( x  5)3


1 9 y , x0  5
x0  4 8x  1
y  (3x 2  x  1)e2 x 1, y  ( x  5)e3 x  4 , x0  5
2 10
x0  0
2 y  6  ch(5 x), x0  0
3 y  e x 6x
, x0  3 11

4 y  1  x 5 e 3 x  4 , x0  1 12 y  8  sh(7 x), x0  2

y  ( x  7)3 tg  x  7 , y  ( x  4) ln 3  2 x ,
5
x0  7 13 x0  4

6 y
x
, x0  0 14

y  ln 2 x 2  3x  2 , 
4x2  3 x0  1

7
 
y  4 sin 2 3x 2  6 x 7 ,
15
y  ( x  2)5 tg  x  2,
x0  0 x0  2
2x  3 2 x
y , x0  1 y  ln  , x0  1
8 x 2  5x  6 16  2  x 

Задача №1.10. Пользуясь теоремой Вейерштрасса, доказать, что


функциональный ряд сходится равномерно в указанной области.

 sin nx  
1  , x  0; 9  x 2e  nx , x  0;
n 1 n n  x n 1
16

 
1
sin , x  0;  
x x2
2  10  , x   ;
n 1 n n n 1n
4
x 4

 cosnx   nx
 , x   ;  , x   ;
3
n 1e
n
n x 2 2 11
n 1n
4
x 4

 xn  n2 x2
4  , x   1;1 12  , x   ;
n 1n  x
6 6
n 1 n x4 4

 xn  nx 2
5  , x   2;2 13  , x  0;
n 12
n
n x
4 2
n 1n
5
x 5




sin 3nx 2 , x   ; 

nx 3
, x  0;
6
n 1 x  3n
2 2
14
n 12
n
n 5
x 5

 cos nx   , x   ; 
3
7  15 
n 2 x2
, x  0;
n 1 n n
n 1n
5
x 5

 xn  cos3 nx 
8  , x   1;1 16  , x   ;
n 1n
2
x 2
n 1 n n  1

Задача №1.11. Найти область сходимости функционального ря-


да.

1  1 10  1
 x
 2 2
n 1n n 1n 2 e n x
2  1 11  1
 
n 11 
n nx
x
n 1n
3  12  n
x  2x 
 sin   x  1
n 1 2n n 1 
4  sin nx  13 
 nx 
n
  2 
n 1 n2 n 1 2nx  1 
 
5  x  14 2n
 x ntg  
 2n 
n 1
n 1 x
n
1
17

6  cosnx  15 
 2x  1 
n

  n 
n 1 e nx n 1  3x  5 
7  16 
1

2
 en x
n  arctg 2 nx 
n 1 n 1

Задача №1.12*. (Применение степенных рядов)


(Задача не является обязательной).
Варианты 1-4. Найти производную n-го порядка функции f (x) в
точке x0 , используя разложения элементарных функций в степенные
ряды.
вариант f (x) n
2 27
1 f ( x)  ( x  2) 20 e x  4 x , x0  2
1 80
2 f ( x)  , x0  1
x2  2x  7
3 f ( x)  x 25 sin 2 8 x , x0  0 90

4 f ( x)  ( x  3)5  arcsin( 5x  15) , x0  3 100

Варианты 5-8. Решить задачу Коши, используя теорию рядов.

вариант
1
5 y '  y 2  x3 , y (0) 
2
6 y' '  xy' y  e x , y(0)  1, y' (0)  0
7 y' '  xy2  y' , y(0)  2, y' (0)  3

8 y ' '  x sin( y ' ), y (1)  0, y ' (1) 
2

Варианты 9-12. Вычислить приближенные значения определен-


ного интеграла с точностью до 10 4 , используя теорию рядов.

вариант вариант
18

9
0.5

dx
11
0.5


ln 1  x 2  dx
0 1 x
4
0 x2
0.5 0.2
-x 2 arctg (2 x)
10  e dx 12  x
dx
0 0

Варианты 13-16. Вычислить сумму числового ряда, используя


разложения элементарных функций в степенные ряды.

вариант
 1
13 2 
n  2 n!

14
1 1 1
   ... 
 1n 1
 ...
2! 3! 4! n  1!
9 27 3n
15 4   ...   ...
2! 3! n!
16
1 1
1    ... 
 1n
 ...
3 5 2n  1
Задача №1.13.* Вычислить сумму ряда, используя дифференци-
рование или интегрирование степенного ряда.
(Задача не является обязательной).

2 3 n 1
1 1   2  ...  n  ...
5 5 5
2  2 4  23 6  25 2n  22n 1
2  3  5  ...  2 n 1
 ...
3 3 3 3
8 2 8 3 8 4 n 1 8
 n 1
3    ...  (1)  ...
1 2 2  3 3  4 n  (n  1)
2  2 3  22 (n  1)  2n
4 1  2  ...   ...
3 3 3n
19

2 2  2 3 3  25 n  22n 1
5  3  5  ...  2n 1  ...
3 3 3 3
1 51 5 2 n 1 5
 n 1
6    ...  (1)  ...
1 2 2  3 3  4 n  (n  1)
2 4 6 2n
7   3  5  ...  (1) n 2n 1  ...
3 3 3 3
7  9  2 7 2  9  3 73  9  4 n 1 7  9
n  n 1
8    ...  (1)  ...
1 2 23 3 4 n  (n  1)
3 2 4 3 5 4 n  (n  1)
9 2  2  3  ...  (1) n  ...
4 4 4 4n  2
1 1 1 1
10 1    ...  (  1) n
 ...
3  3 5  32 7  33 (2n  1)  3n
2  5 3  52 n (n  1)5
n
11 1  2  ...  (1) n
 ...
7 7 7
1 2 3 n
12  3  5  ...  (1) n 1 2n 1  ...
5 5 5 5
1 1 1 1
13    ...   ...
2 3 1! 4  2! (n  2)  n!
1 21 22 2n
14    ...  (1) n
 ...
2 3 1! 4  2! (n  2)  n!
31 3 2 33 n 1 3 n
15    ...  (1)  ...
1 4 2  5 3  6 n  (n  3)
1 2 3 n
16    ...   ...
2 3! 4! (n  1)!

Задача №1.14. Варианты 1−4. Разложить функцию, заданную на


интервале 0; l  , в ряд Фурье по синусам. Исследовать сходимость по-
лученного ряда Фурье. Нарисовать график суммы ряда Фурье. При по-
20

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


 (1) k
 2k  1 .
k 0
 1
Записать равенство Парсеваля, найти сумму ряда  2
.
k 1k
Варианты 5−8. Разложить функцию, заданную на интервале
0; l  , в ряд Фурье по косинусам. Исследовать сходимость полученного
ряда Фурье. Нарисовать график суммы ряда Фурье. При помощи полу-
 1
ченного разложения вычислить сумму числового ряда  .
k 0 2k  1 2

 1
Записать равенство Парсеваля, найти сумму ряда  .
k 0 2k  1 4

 1
Записать равенство Парсеваля, найти сумму ряда  6
.
k 1k
Варианты 9-12. Разложить в ряд Фурье периодический сигнал
u (t ) с периодом T  2l . Исследовать сходимость полученного ряда
Фурье. Нарисовать график суммы ряда Фурье. Найти амплитудный
спектр An  an2  bn2 , где an и bn - коэффициенты Фурье.

Варианты 13-16. Разложить функцию, заданную на полуперио-


де 0; l  , в ряд Фурье, продолжая ее на интервале  l ;0 функцией, рав-
ной нулю. Исследовать сходимость полученного ряда Фурье. Нарисо-
вать график суммы ряда Фурье. Записать равенство Парсеваля.

вариант вариант
1 y  2 x  6, x  0;3 9 u (t )  4t , l  
2 y  4  2 x, x  0;2 10 u(t )  3t  1, l  
3 y  3x  3, x  0;1 11 u (t )  2t , l  
4 y  8  2 x, x  0;4 12 u(t )  2t  3 , l  
5 y  6  4 x, x  0;3 13 y  1  3x 2 , x  0;1
21

y  x  2, x  0;4 x
6 14 y  cos , x  0;3 
3
y  1  x, x  0;2 x
7 15 y  2 sin , x  0;1,5 
3
8 y  2 x  5, x  0;5 16 y  2 x  3, x  0;2
2

Задачи по ТФКП

Задача №1.15. Заданы два комплексных числа z1 и z 2 в алгеб-


раической форме.
1) Представить комплексные числа z1 и z 2 в тригонометрической и
показательной формах.
2) Вычислить и изобразить ( z1 z2 )10 .

№ z1 z2 № z1 z2

1 2  2i 3
 3 i  2i
2
2 4  5  5i
2  2 3i 4i i

Задача №1.16. Изобразить на комплексной плоскости область, за-


данную неравенством или системой неравенств.

1 2

3 4

5 6

7 8
22

9 10

11 12

13 14

15 16

Задача №1.17. Представить комплексное число в алгебраической,


тригонометрической и показательной форме.

1 2

3 4

5 6

7 8

Задача №1.18. Решить уравнение. Корни уравнения изобразить на


комплексной плоскости.

1 3

2 4

5 6 cos 2 z  sin 2 z  2
23

7 8
9 10
11 12 cos z  i sin z  2

Задача №1.19. Исследовать функцию f (z ) на аналитичность.

№ f (z ) № f (z )
1 4 z 2  5z  2i 2 e6 z  3z
3 iz 2  3z  4i 4 z Im(6 z  2)
5 ie 5iz  z 6 ie5iz  3z 2018
7 iz 2  3z  4i 8 | ie 5iz |  z
9 Re( z 2 )  2 z  5i 10 iz Re( z  i)  cos 2 z
11 iz  sin 2 z 12 i | (1  i) z 2 |  Im(e 2iz )
13 i | (1  i 3 ) z 2 | e 2 z 14 iz 2  3e  z  4i
15 3iz  ch2 z 16 3iz  sh2 z
17 Im(ie 5iz )  4iz 18 ch(2iz )  i sin 2 z

Задача №1.20. Получить все разложения функции f (z ) в ряд Ло-


рана по степеням z  z0 .
№ z0 f (z ) № z0 f (z )
 4 
( z  1) 4 cos
4
1 0 2 1 
 z 1
z
ze
 5  4z  5
3 -2 ( z  2) sin 
2 
4 -2
 ( z  2)  z 2  5z  6
z 1
5 0 6 -2
( z  2)( z  3) ( z  2) z ( z 2  4)
24

z2 ez  z
7 0 8 2
z 2 ( z  4) ( z  2)3
z2 z2
9 3 10 0
z2  9 z 2 ( z  4)
sin 2 3z z 3
11 0 12 4
z3 z 3  16 z
3iz  sh2 z z4  z  1
13 0 14 0
z2 z2  9
e3z 1
15 0 16* 0
( z  1) 3 ( z  2) 2

Задача №1.21. Получить разложение функции f (z ) в ряд Лорана


по степеням z  z0 в заданной области.
№ f (z ) № f (z )
z0  0 , z z0  0 , 2z 1
1 2
| z | 2 ( z  1)( z  2) 2 | z | 4 z 2  2z  8
z0  3 , 1 z0  2 , 4z  5
3 4
| z  3 | 4 ( z  1)( z  2) 1 | z  2 | 3 z2  6z  5

Задача №1.22. Найти изолированные особые точки функции


f (z ) , указать их тип, вычислить вычеты.

№ f (z ) № f (z )
 5 
( z  3)6 sin
4
1
z e5 2 

z
 z 3 
e8 z z4
3 4
z2  9 z 3  3z 2
25

sin(z ) ez  1
5 6
( z  2)(2 z  1) z 2 ( z  4i)
1
7
z e z2 8 (2 z 3  1) cos(1 z )
sin( z  1) 3iz 3  sh2 z
9 10
( z  1)6 z4
sin 2 (3z ) 1  cos(z )
11 12
z 3 ( z  1) 2 ( z  1)3 ( z  5) 2
 z    2  e z 1  1
13 sin  14
 2 ( z  1)  ( z  1) 2 z
cos(z ) ez 1
15 16
( z  2)2 (2 z  1) ( z  2i) 2 z
2
17 z 5 ch(1 z )  cos(1 z ) 18 ( z 2  6 z ) sin( )
z 3

Задача №1.23. Вычислить интеграл  f ( z )dz с помощью основной


L
теоремы о вычетах.
№ f (z ) L № f (z ) L
sin z 1
1 | z  i | 3 2 | z  2 | 1
z ( z 2  9) ( z  2)( z  4)
2

ez z
3 | z  i | 2 4 | z  2 | 3
z 2 ( z  2i) sin z
z2 z
5 | z  i | 2 6 | z  i | 3
( z 2  4) 2 e 1
2z

sin 2 2 z sin z
7 | z | 2 8 | z  1 | 2
z 3 (2 z   ) z3  z 2
26

cos(z ) 1 ez
9 | 2 z  1 | 10 | z  1 | 2
z 2 (4 z 2  1) 2 z ( z  2) 2
1  cos(z ) 1  cos z
11 | 2 z  1 | 4 12 | z  i | 2
z 3 ( z  2) z 2 ( z 2  4)
iz 3  sh2 z 2z  1
13 | z  i | 2 14 | z | 1
z4 cos z
e iz  1 1
15 | z  1 | 2 16
( z  3z  5)e
2 z | z  i | 2
( z  2) z 2
b

Задача №1.24. Вычислить несобственный интеграл  f ( x)dx с


a

помощью вычетов.

№ f (x) ( a, b) № f (x) ( a, b)
x2  1 x2
1 (0,) 2 (0,)
( x 2  9)( x 2  16) ( x 2  9) 2
1 1
3 (,) 4 (0,)
x  6 x  13
2
( x 2  4)3
1 x2
5 (,) 6 (0,)
( x 2  4 x  13) 2 x4  6x2  5
2x  3 1
7 (,) 8 (0,)
( x 2  4 x  8) 2 x4  1
cos 2 x x sin 2 x
9* (,) 10* (0,)
( x 2  1) 2 x2  9
x sin x cos 2 x
11* (0,) 12* (,)
( x 2  1)( x 2  9) x4  6x2  5
27

ЧАСТЬ 2

Типовой расчет

Решение задач типового расчета позволяет успешно подготовиться


к выполнению контрольных работ и к сдаче экзамена. Наличие выпол-
ненного типового расчета является необходимым условием допуска
студента к сдаче экзамена по курсу.
Весь теоретический материал, необходимый для выполнения
типового расчета, представлен в части 3.

Задача №2.1. Исследовать на сходимость числовой ряд.

вариант вариант

n!( n  3)!
2
1 
 6n  7 
n 16
 3 
n

 6n  4 

n 1 ( 2n)!
n 1

2  8 17 
3n  n
n 4
(e  1)
n 
n 1 8
n
 n2
n 1

3 
2 18 
ln( n  5)

n 1 n  (7 ln n  4)
5  n5
n 1
 
4 5 19 cos 4 n
 n 2 (1  cos( n2
))  (3n  5) 
n 1 n 1
5
32n 2  1
5  20 
n! 1 1
 n  n5
(1  cos( ))
n
n 1 n n1

6 
(3n  1) 2 21 
 n 1 
n3  2 n

n1 nn  4  9n  5
  
n 1  n  3 

7 
 n5 22 
3

n 1
ln  
n 2
 (n  2)  5 ln( n  2)
n 1


(5n  1) n
2
8 23
 2n  5 
 n

 12  n
  2
n
n 1  2n  1  n 1 3n
9 
23n 5 24 
( n  1)!

n 1 n!

n 1 n n2
28

10 
1 25 
1  2n
 (2n  3) sin ( 4
)  (n  4) arcsin( n )
n1 n  1 n1
4
 4n 2  5
11 n 26 n n

 5n  3  3   n 4
  
n 1  5n  4 
 

n1 

n  5 
4n  9
9
12  27 


n 1 8n  1 9n  15
 (3n  2)
n 1
5
(10 n5
 1)

13 n3 28 
 n2  1  nn
2

  2
n 1  n  1 

n 1
n2

14  29 
sin 2 n 3 5

n 1 (6n  4) n
 sin( n )  cos(
n 1 n2
)

15  30 
9 1

n 1 ( n  5)  ln( n  5)
3
 (2n  7)tg
n 1
10
(
3n  1
)

Задача №2.2. Найти радиус и интервал сходимости степенного


ряда. Исследовать сходимость ряда на концах интервала сходимости.

вариант вариант
1 
( x  6) n 16 
 2n 
3n

n 1 ( n  1) ln( n  1)
  2n  5 
n 1 
x  4n
2 
n( x  7) n 17  x  12n 1
 
n 1n  2  n 1
n
n 1 9n 2  1
3  x 2n 1 18   x  10n
 n   1
n

n 13 n n  1 n 1 nn  1
4 
2 n ( x  1) n 19  n( x  100) n
 
n 1 
n  n2 1  n 1
3
n3  3
  ln n  1
5 2n  1 n 20
  1  n  1 x  7
n n
x
n 1 nn  1 n 1
6 21 
 3n  1 
 n
2
   ( x  1)
n
 ( x  3) n
(1  cos(
n4
))
n 1  3n  2 
n 1
29

7 
( x  5) n 22 
x  17n
  1 
n 1

n 1 nn  1 n 1 2n  1  ln 2n  1

8  3n  1 23 
(n  1)!( x  5) n
  1 x  1n 
n 1
n 1 nn  1 n 1 n3  2
9 
n3 24 
 x  11
n

 x  1 ln   1
n n

n 1 n 1 n2
n
n  2 ln n
10  arctg n 25 
5
 n 2  x  5

n 1 2 n  1
n
  ( x  3)
n 1
n
sin(
n
)


11  n  3 26  3

 n ln  n x  2  ( x  2)
n n
n  (e  1)
n

n 1   n 1

12 
2 n x  3 27 
x  5n
n


n 1 3n  12
 n  ln
n2
3
n
13 n 28 
n 1 5
 3 x   ( x  4) n
actg ( )
  2  n
3 n 1

n  2 n ln n 
14 n 29 
1 4

 n 2  ( x  3) n
sin 4 ( )  tg ( )
  n  3   x  2 5n  1
n
n 1 n
n 1 
15 
( x  5) n 30 
( x  5) n
   1
n
n 1 ( n  6)(ln( n  6))
 
10

n n 3
4
n 1

Задача №2.3*. Пользуясь теоремой Вейерштрасса, доказать, что


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

вариант вариант
1  sin nx  16 
 , x  0;  x 2enx , x  0;
n 1n n  x n 1
 
2 17 x2
sin , x  0;  
1 x
  , x   ;
n 1 n n n 1n
4
 x4
30

3  cosnx  18  nx
 , x   ;  , x   ;
n 1e
n
n x 2 2
n 1n  x
44

4  xn 19  n2 x2
 , x   1;1  , x   ;
n 1 n4  x4 n 1n
6
 x6
5  xn 20  nx 2
 , x   2;2  , x  0;
n 12
n
n x
4 2
n 1n
5
x 5

6   
sin 3nx 2 21  nx 3
 2
n 1 x  3n 2
, x   ; 
n 12 n  x
n 5 5
 , x  0;
7  cosnx  22 3
 n n , x   ; 

n 2 x2
, x  0;
n 1 5
 x5
n 1n
8  xn 23 
cos 3 nx 
 , x   1;1  , x   ;
n 1n  x
2 2
n 1 n n 1
9  n 1  x 2n 24 
arctg nx 
 , x   1;1  , x   ;
n 1 x  n
2 3
n 1 2n
10  n2  n 1  1  25 
sin 4 2nx 
 n!  x  n , x   2 ;2  , x   ;
n 1  x    n 1 n n4 1
11  26 
xn
, x  0; ), x  0;1
x
 3
x 3  ln(1  n3
n 1n n 1

12  nx 27 
( x  1) sin 2 nx 
 , x   ;  , x  [3;0]
n 13 (1  n x ) 
n 2 2
n 1 n n 1
13  nx 3 28 
1 x
n

 , x   ;     , x  3;5
n 1  x n
n 1n  x
6 6

14  29  n
nx  1 
 , x   ;  n 
2
 x  , x  2;3
n 1n
6
 x6 n 1  n 
15 
3arctg nx  30 
, x  0;
 , x   ;  7x e 2 nx

n 1 x 2  n3 n 1
31

Задача №2.4. Разложить функцию f (x) в ряд Тейлора в окрестно-


сти точки x0 . Указать область сходимости полученного ряда.
Указание. Использовать разложения элементарных функций в сте-
пенные ряды.

вариант вариант
1 y  ( x  4)3 e 3 x5 , x0  4 16
y
( x  5) 3
, x0  5
8x  1
2 y  (3x 2  x  1)e 2 x1 , x0  0 17 y  ( x  5) 2 e3 x4 , x0  5
3  x 2 6x 18 y  6  ch(5 x), x0  0
ye , x0  3
4 y  1  x  e 3 x4 , x0  1 19 y  8  sh(7x), x  2
5

5 y  ( x  7)3 tg x  7, x0  7 20 y  ( x  4) ln3  2x, x0  4


6
y
x
, x0  0
21  
y  ln 2 x 2  3x  2 , x0  1
4x  32

7  
y  4 sin 2 3x 2  6 x 7 , x0  0 22 y  ( x  2) 5 tg x  2, x0  2
8 2x  3 23 2 x
y , x0  1 y  ln  , x0  1
x  5x  6
2
2 x
9 y  x 2 sin 9 x  cos 9 x, x0  0 24
y
 x  2
2
, x0  2
3x  7
10 y  x 5 cos 2 3x , x0  0 25 y  x  (1  sin 2 6 x), x0  0
11 3x  2 26 y  8x 4 arcsin( 2 x), x0  0
y , x 0  2
x  2x  3
2

12 y  sin 4 x, x0  0 27 y  1  3x 2 , x0  0
13 1 x 28 y  ( x  4)3 ln 3x  18, x0  4
y  x ln
3
, x0  0
1 x
14
y  x 4 e5 x 2
, x0  0 29 y  5x 3 arctg(4 x), x0  0
3

15 y  x  7 e 3 x4 , x0  7 30 ( x  4) 3
5
y , x0  4
5x  1
32

Задача №2.5. Разложить функцию y  f (x) , заданную на полу-


периоде 0; l  , в ряд Фурье по косинусам для четных вариантов и по си-
нусам для нечетных вариантов. Исследовать сходимость полученного
ряда Фурье. Нарисовать график суммы ряда Фурье.

№ f (x) l № f (x) l
1 y  1 3x 1 16 y  4x  1 2
2 y  4  4x 2 17 y  3x  1 1
3 y  1 2 x 3 18 y  3x  3 2
4 y  1 x 4 19 y  2  2x 2
5 y  4  4x 2 20 y  3  3x 1
6 y  3x  2 3 21 y  3x  1 2
7 y  4  2x 1 22 y  2  4x 1
8 y  1 2 x 4 23 y  2  2x 4
9 y  4x 1 4 24 y  4x  3 1
10 y  2  3x 3 25 y  2x  2 2
11 y  4x  3 2 26 y  3x  2 2
12 y  1 x 1 27 y  4x  2 1
13 y  2x 1 2 28 y  4x  2 2
14 y  1 4 x 1 29 y  3  4x 1
15 y  x 1 4 30 y  3x  3 2

Задача №2.6. Решить уравнение. Корни уравнения изобразить на


комплексной плоскости.

вариант вариант
1 16
2 17
3 18
4 19
5 20
33

6 21
7 22
8 23
9 24

10 25
11 26
12 27
13 28
14 chz  6  0 29
15 cos 8z  2 30 ch9 z  6

Задача №2.7. Исследовать функцию на аналитичность.

№ f (z ) № f (z )
1 16

2 17

3 18

4 19

5 20

6 21

7 22
34

8 23

9 24

10 25

11 26

12 27

13 28

14 29

15 30
f ( z )  6 z 3  iz 2  6 z f ( z )  z Im(iz 2  3z )

Задача №2.8. Найти все изолированные особые точки функции


, установить их тип и найти вычеты в особых точках.

№ f (z ) № f (z )
1 16

2 17

3 18

4 19
35

5 20

6 21

7 22

8 23

9 24

10 25

11 ez 26
f ( z)  2
( z  4)( z  1)
12 27

13 28

29
14

cos 5 z  1 30 4
3
15 f ( z)  3 2 f ( z )  (2  z ) e
3 z 2

z ( z  9) ( z  2) 4
36

Задача №2.9. Вычислить интеграл по замкнутому контуру


с помощью основной теоремы о вычетах.

10

11

12

13
37

14

15

16

17

18

19

20

21

22

23

24

25

26

27
38

28

3z
29 z   5
sin z
e8 z  1 5
30 z i 
6 z 2 ( z 2  1) 2

Задача №2.10. Вычислить несобственный интеграл с


помощью вычетов.

x 1
7
x  37 x 2  36
4

8
39

10

11

12

13

14

15

16

17

x2  5
18
x 4  26 x 2  25

19

20

21

x2
22
x 4  29 x 2  100
40

23

x2
24
( x 2  25)( x 2  9)

25

26

27

28

6
29
( x  9)( x 2  1)
2

x2
30
( x 2  81)( x 2  16)

ЧАСТЬ 3

Основные определения и теоремы курса, примеры решения


задач

Подробно содержание части 3 по теме «Теория рядов» изложено в


учебном пособии:
Аксененкова И.М., Малыгина О.А., Чекалкин Н.С., Шухов А.Г. «Ряды.
Интеграл и преобразование Фурье. Приложения». М.: МИРЭА, 2015.
41

Данное учебное пособие рекомендовано Научно-методическим со-


ветом по математике Министерства образования и науки Российской
Федерации в качестве учебного пособия для студентов высших учебных
заведений (инженерно-технические направления подготовки).
Содержание части 3:
- числовые ряды, признаки сходимости; понятие абсолютной и
условной сходимости; действия с рядами;
- функциональные ряды, область сходимости; понятие равномер-
ной сходимости ряда; признак Вейерштрасса; непрерывность суммы
функционального ряда; почленное интегрирование и дифференцирова-
ние ряда;
- степенные ряды и их свойства; теорема Абеля; ряд Тейлора; раз-
ложения элементарных функций в ряд Тейлора (Маклорена);
- приложения степенных рядов;
- ряд Фурье; сходимость ряда Фурье; представление периодиче-
ской функции рядом Фурье;
- комплексные числа, действия с ними;
- функции комплексного переменного;
- аналитическая функция и ее свойства;
- ряды Тейлора и Лорана;
- классификация изолированных особых точек аналитической
функции;
- теория вычетов;
- приложения теории вычетов.
42

ТЕОРИЯ РЯДОВ

§1. Числовые ряды


Числовой ряд, сходимость числового ряда

Определение. Пусть задана числовая последовательность


a1 , a2 ,..., an ,... . Составленное из членов этой последовательности выра-

жение a1  a2  ...  an  ... называется числовым рядом, члены последова-


тельности называются членами этого ряда, a n - общий член ряда. Обыч-

но числовой ряд кратко записывается в виде a
n 1
n .

Рассмотрим суммы S1  a1 , S 2  a1  a2 , . . . S n  a1  a2  ...  an .


Определение. Сумма S n  a1  a2  ...  an называется n-ой частичной
суммой ряда. Частичные суммы образуют новую числовую последова-
тельность S1 , S 2 ,..., S n ,... .
Определение. Числовой ряд называется сходящимся, если суще-
ствует конечный предел последовательности его частичных сумм, т.е. 
lim S n  S . Число S называется суммой ряда.
n 

Определение. Числовой ряд называется расходящимся, если предел


последовательности частичных сумм равен бесконечности или не суще-
ствует.
Рассмотрим примеры на вычисление суммы ряда по определению.
Пример. Вычислить сумму ряда

1 1 1 1
 (3n  1)(3n  2)  2  5  5  8  ...  (3n  1)(3n  2)  ... .
n 1

Решение. Представим общий член ряда в виде разности


1 1 1
 
(3n  1)(3n  2) 3(3n  1) 3(3n  2)
43

и вычислим частичную сумму с номером n


 1 1   1 1   1 1  1 1
Sn        ...      
 3 2 35   35 38   3  (3n  1) 3  (3n  2)  2  3 3(3n  2)
Существует конечный lim S n = 1 6 . Значит, данный ряд сходится и его
n 

сумма равна 1 6 .
Пример. Исследовать на сходимость ряд

 (2n  1)  1  3  5  ...  (2n  1)  ... .


n 1

Решение. Вычислим частичную сумму этого ряда


1  (2n  1)
S n  1  3  5  ...  (2n  1)   n  n2
2 .
В этом примере lim S n   , следовательно, данный ряд расходится.
n 

Пример. Исследовать на сходимость ряд


 (1)
n 1
n 1
 1 - 1  1 - ...  (-1)n 1  ... .

Решение. У этого ряда все частичные суммы с нечетными номера-


ми равны 1, а частичные суммы с четными номерами равны 0. Значит,
предел последовательности частичных сумм не существует, и ряд расхо-
дится.

Геометрическая прогрессия и гармонический ряд

Определение. Геометрической прогрессией называется числовая


последовательность b, bq, bq 2 , .. . , bq n1 , ... (b  0, q  0) . Суммируя члены

геометрической прогрессии, получим ряд b  q
n 1
n 1
.


Теорема. Ряд b  q
n 1
n 1
сходится при условии q  1 , и его сумма


b
равна
1 q
. Если q  1 , то ряд b  q
n 1
n 1
расходится.
44

Доказательство. Запишем частичную сумму этого ряда


S n1  b  bq bq 2  .. .  bq n двумя способами:

S n1  b  q(b bq  .. .  bq n1 )  b  q  S n ,

S n1  (b  bq  .. . bq n1 )  bq n  S n  bq n .

Приравнивая эти выражения: b  q  S n  S n  bq n ,


получим S n (1  q)  b(1  q n ) .
b(1  q n )
Предполагая, что q  1 , выразим S n : S n  .
1 q

В случае, когда q  1 , очевидно, что S n  n  b и lim


n 
S n   , т.е. ряд

расходится.
b
Если q  1 , то lim qn  0 и lim S n  , т.е. ряд сходится, и его
n  n  1 q

b
сумма S  .
1 q

Если q  1 , то lim
n 
q n   и lim S n   , т.е. ряд расходится. Наконец,
n 

если q  1, то частичные суммы попеременно принимают значения b

и 0. Предел последовательности частичных сумм не существует. Ряд


расходится. Теорема доказана.

1 1 1 1
Определение. Ряд  n  1  2  3  ...  n  ...
n 1
называется гармони-

ческим рядом.
Каждый член гармонического ряда, начиная со второго, является
гармоническим средним соседних с ним членов:
1 1 1 1 
   .
a n 2  a n 1 a n 1 

Покажем, что гармонический ряд является расходящимся. Для это-


n

го воспользуемся тем, что последовательность 1  


1
является моно-
 n
45
n

тонно возрастающей и lim 1    e (2-ой замечательный предел). Все


1
n 
 n
n

члены этой последовательности меньше числа e . 1    e , n  1,2,3,... .


1
 n

Прологарифмируем данное неравенство по основанию e


 n 1
n
 1 1
ln 1    ln e  n ln   1   ln( n  1)  ln n . Полу-
 n  n  n

ченное неравенство справедливо для всех натуральных значений n :

1 1 1
 ln 3  ln 2 ;
1  ln 2  ln 1;  ln 4  ln 3 ;. . .  ln( n  1)  ln n .
2 3 n
1 1 1
Складывая эти неравенства, получим 1    ...   ln(n  1) . Это
2 3 n
означает, что с возрастанием n частичные суммы гармонического ряда
неограниченно возрастают и, следовательно, гармонический ряд расхо-
дится.

Необходимое условие сходимости числового ряда

Теорема. Если числовой ряд сходится, то его общий член стремит-


ся к нулю при n   , т.е. lim an  0 .
n 

Следствие. Если lim an  0 , то ряд расходится.


n

Доказательство теоремы. Для сходящегося ряда  lim S n  S и


n 

 lim S n1  S . А так как an  S n  S n1 , то 


n 

lim an  lim (S n  S n1 )  S  S  0 .


n n

Доказанная теорема – это лишь необходимое условие сходимости.


При нарушении этого условия ряд заведомо расходится.
46

Если lim a n  0 , то, как показывают примеры, приведенные ни-


n 


1
же, ряд может сходиться или расходиться. Так, для рядов  (3n  1)(3n  2)
n 1


1
и n
n 1
необходимое условие сходимости выполнено, но первый из

них является сходящимся, а второй – расходящимся.


Необходимое условие сходимости удобно применять для доказа-
тельства расходимости рядов.

2n  1
Пример. Исследовать ряд  на сходимость.
n 1 3n  2

2n  1 2
Решение. Поскольку lim   0 , то заданный ряд расхо-
n  3n  2 3
дится по необходимому условию (оно нарушено).
3n  1   n

Пример. Исследовать ряд    на сходимость.


n 1  3n  2 

 3n  1 
 n

Решение. Ряд    является расходящимся, т.к.


n 1  3n  2 

n

 3n  1 
n
 1 
( 3n  2 )
 3n  2 
1
1
lim   
 lim 1    e 3
  0 , т.е. необхо-
n  3n  2 n   
    3n  2 
3
 e

димое условие не выполняется.



Определение. Если отбросить первые n членов ряда a
k 1
k , то по-


лучится ряд a
k  n 1
k  an 1  an  2  an 3  ...  an  k ... , который называется остат-

ком данного ряда с номером n .


Теорема. Ряд сходится тогда и только тогда, когда сходится любой
из его остатков.
47

Следствие. Отбрасывание конечного числа членов ряда не влияет


на сходимость ряда.
Теорема. Если ряд сходится, то сумма его остатка стремится к ну-
лю с возрастанием номера остатка.

Критерий Коши сходимости рядов. Линейные действия


с рядами

Теорема (критерий Коши сходимости ряда). Для сходимости чис-



лового ряда a
n 1
n необходимо и достаточно, чтобы для любого   0 су-

ществовал такой номер N, что для всех n  N и для всех натуральных


чисел k выполнялось неравенство
an1  an 2  ...  an k   .

Сходящиеся ряды обладают следующими свойствами.


Теорема.
 
1) Если ряд a
n 1
n сходится и его сумма равна A , то ряд с  a
n 1
n

также сходится и его сумма равна cA , где c - любое число.


Другими словами, если члены сходящегося ряда умножить на одно
 
и то же число, то его сходимость не нарушится и  с  an  с   an .
n 1 n 1

 
2) Если ряды a
n 1
n и b
n 1
n сходятся и их суммы равны A и B со-


ответственно, то ряд  (a
n 1
n  bn ) также сходится и его сумма равна A  B ,

  
т.е.  (a
n 1
n  bn )   an   bn .
n 1 n 1
48

Числовые ряды с положительными членами

Определение. Положительными называются ряды, все члены ко-


торых неотрицательны: an  0 .
Последовательности частичных сумм таких рядов монотонно воз-
растают, т.к. S n1  S n  an1  S n , n  1, 2, 3,...
Как известно (теорема Больцано-Вейерштрасса), монотонная по-
следовательность имеет конечный предел тогда и только тогда, когда
она ограничена. Отсюда вытекает следующее утверждение.
Теорема. Положительный ряд сходится тогда и только тогда, когда
последовательность его частичных сумм ограничена.
Непосредственное применение этого утверждения для доказатель-
ства сходимости обычно бывает затруднительным. Проще использовать
другие средства, о которых идет речь ниже.

Признаки сравнения

Теорема (первый признак сравнения). Пусть даны два положи-


 
тельных ряда:  an
n 1
(1) и b
n 1
n (2) . Если для всех номеров n (или

для всех номеров n , бóльших некоторого номера N ) выполнено нера-


венство an  bn , то из сходимости ряда (2) следует сходимость ряда (1), а
из расходимости ряда (1) следует расходимость ряда (2).
Доказательство. Будем предполагать, что неравенство an  bn
выполнено для всех номеров n . В противном случае можно отбросить
конечное число членов ряда, для которых неравенство не выполнено,
что не повлияет на сходимость ряда. Тогда
a1  a2  ...  an  b1  b2  ...  bn .
49

Если ряд (2) сходится, то его частичные суммы, согласно теореме


Больцано-Вейерштрасса, ограничены, т.е. b1  b2  ...  bn  S для любого
n , где S - некоторая константа. Но тогда ограничена и последователь-
ность частичных сумм ряда (1), и ряд (1) сходится.
Если же ряд (1) расходится, то, предполагая, что ряд (2) сходится,
получим противоречие. Теорема доказана.


1
Пример. Исследовать на сходимость ряд 2
n 1
n
 n
.


1
Решение. Рассмотрим ряд 2
n 1
n
, который сходится, как сумма

1
геометрической прогрессии со знаменателем q  . Для всех номеров n
2
1 1
справедливо неравенство  . Согласно первому признаку срав-
2  n
n
2n

нения данный ряд также сходится.


1
Пример. Исследовать на сходимость ряд 
n 1 n
.

1
Решение. Рассмотрим для сравнения гармонический ряд  n , ко-
n 1

торый, как уже было доказано, расходится. Для всех n  2 справедливо


1 1
неравенство  , следовательно, данный ряд также расходится
n n

по признаку сравнения.
Теорема (предельный признак сравнения). Пусть даны два положи-
тельных ряда:

a
n 1
n , (1)

b
n 1
n , ( bn  0 , начиная с некоторого номера n ). (2)
50

an
Если существует конечный, отличный от нуля lim
n 
, то ряды (1) и (2)
bn
оба сходятся или оба расходятся.
Доказательство. Предположим, что ряд (2) сходится. Обозначим
an
lim  A , A  0 . По определению предела для любого положительного 
n  b
n

и достаточно больших номеров n будет выполнено неравенство


an
 A   или an  ( A   )  bn .
bn

Т.к. ряд (2) сходится, то согласно свойству сходящихся рядов сходится и



ряд  ( A   )b
n 1
n , а, значит, по первому признаку сравнения сходится и

ряд (1).
bn
Рассматривая lim
n 
, который также существует, конечен и отли-
an
чен от нуля, придем к выводу, что из сходимости ряда (1) следует схо-
димость ряда (2). Итак, если один из рядов сходится, то другой также
сходится.
Далее, предполагая, что один из рядов расходится, а другой схо-
дится, получим противоречие с уже доказанным утверждением. Теорема
доказана.

bn
Замечание. Если lim
n  an
 0 , то из сходимости ряда a
n 1
n вытекает


сходимость ряда b
n 1
n .


Если lim n   ,
b то из расходимости ряда  an вытекает расходи-
n  a
n n 1


мость ряда b
n 1
n .
51

1
Пример. Исследовать на сходимость ряд n
n 1
2
.

Решение. Пользуясь определением сходимости, т.е. рассматривая



1
предел частичных сумм, уже было доказано, что ряд  (3n  1)(3n  2)
n 1


1
сходится. Значит, сходится ряд n
n 1
2
, т.к. предел отношения общих

членов этих рядов конечен и отличен от нуля


1
n2 (3n  1)(3n  2)  1  2 
lim  lim  lim   3   3     9 .
 n  n 
2
n  1 n  n n 

(3n  1)(3n  2)

Признак Даламбера

Теорема. Пусть дан положительный ряд a
n 1
n и существует

a n 1
lim  D . Если D  1, то ряд сходится, если D  1 , то ряд расходится.
n  an

1 D
Доказательство. Пусть D  1. Возьмем    0 . Согласно
2
определению предела, начиная с некоторого номера N , будет выполне-
но неравенство
a n 1 1 D 1 D
 D  D   q  1.
an 2 2

Отсюда получим a N 1  a N  q , a N 2  a N 1  q  a N  q 2 , . . . . .
. a N k  a N  q k , т.е. члены ряда оказываются меньше, чем члены бесконеч-
но убывающей геометрической прогрессии. Значит, согласно первому
признаку сравнения, ряд сходится.
52

Если D  1 или D   , то члены ряда оказываются больше, чем


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

n
Пример. Исследовать на сходимость ряд 3
n 1
n
.

Решение. Вычислим предел отношения последующего члена ряда


к предыдущему
n 1
n 1  n  1 3n  1  1 1
lim 3  lim   n 1   lim 1     1 , т.е. ряд сходится по
n  n n 
 n 3  3 n  n  3
n
3
признаку Даламбера.


nn
Пример. Исследовать на сходимость ряд 
n 1 n!
.

Решение. Вычислим

 (n  1) n1 n!   (n  1) n n!   n 1
n n
an1  1
lim  lim   n   lim   n   lim    lim 1    e  1 ,
n a
n
n
 (n  1)! n  n 
 n! n  n 
 n  n 
 n

и, согласно признаку Даламбера, данный ряд расходится.


Радикальный признак Коши

Теорема (радикальный признак Коши). Пусть дан положительный



ряд a
n 1
n и существует lim
n
n a  K . Если K  1 , то ряд сходится, если
n

K  1 , то ряд расходится.

1 K
Доказательство. Пусть K  1 . Возьмем    0 . Согласно
2
определению предела, начиная с некоторого номера N , будет выполне-
но неравенство
53

1 K 1 K
n an  K    K    q 1 ,
2 2

или an  q n , т.е. члены ряда оказываются меньше, чем члены бес-


конечно убывающей геометрической прогрессии. Значит, ряд сходится.
Если K  1 или K   , то члены ряда оказываются больше, чем
члены бесконечно возрастающей геометрической прогрессии и, значит,
ряд расходится.
 n  1
 n

Пример. Исследовать на сходимость ряд  


n 1  3n 
 .

Решение. Вычислим
 n 1 1 1  1
lim n an  lim    lim      1, значит, ряд сходится по
n n
 3n  n 3 3n  3
радикальному признаку Коши.
 n2
1  1
Пример. Исследовать на сходимость ряд 
n 1 2
n 1   .
 n
Решение. Применим радикальный признак Коши:
 1  1 n  e
lim a n  lim   1      1 , значит, ряд расходится.
n
n   2 
  n  2
n 

Замечание. Признаки Даламбера и Коши не дают ответа на вопрос


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

1
Например, вычислим эти пределы для гармонического ряда n,
n 1
расхо-

димость которого была доказана:


an1 n
lim  lim  1,
n an n  n 1

1  1  
ln n
 lim
ln n
lim n an  lim n  lim  n n   lim e n  e n n  e 0  1 .
n n n n n

При вычислении последнего предела было использовано правило


Лопиталя для раскрытия неопределенности
54

1
 ln x 1
 : lim  lim x  lim  0 .
 x  x x  1 x  x


1
Такой же результат получим, рассматривая сходящийся ряд n n 1
2
:

2
an1 n2  n 
lim  lim  lim    1,
n ( n  1) n n  1
 
n a 2
n

1   n2  
2 ln n
 2 lim
ln n
lim n an  lim n  lim  n   lim e n
 e n  n
 e 0  1.
n n n 2    
 
n n

Интегральный признак Коши

Теорема (интегральный признак Коши) . Пусть дан положитель-



ный ряд a
n 1
n , общий член которого совпадает со значением некоторой

функции f (x) при x  n : an  f (n) . Предположим, что функция f (x)

определена, положительна, непрерывна и монотонно убывает при x  1 .


 
Тогда ряд  an сходится, если сходится
n 1
 f ( x)dx , и расходится, если этот
1

интеграл расходится.
Доказательство. Для иллюстрации рассмотрим график функции
y  f (x) , удовлетворяющей условиям теоремы, и построим ступенчатые

фигуры, одна из которых вписана в криволинейную трапецию, ограни-


ченную графиком функции y  f (x) , осью Ox и прямыми x  1, x  n , а
другая описана около этой трапеции.
55

Площадь вписанной ступенчатой фигуры равна a2  a3  ...  an ,

площадь описанной фигуры равна a1  a2 ...  an1 . Площадь самой кри-


n
волинейной трапеции равна  f ( x)dx и заключена между площадями впи-
1

санной и описанной фигур:


n
a2  a3  ...  an <  f ( x)dx < a1  a2 ...  an1 .
1


Пусть интеграл  f ( x)dx сходится, т.е. имеет конечное значение:
1


 f ( x)dx  J . Тогда частичные суммы ряда S n ограничены:
1

n
S n  a1  a 2  ...  a n  a1   f ( x)dx  a1  J .
1

Следовательно, ряд сходится.



Если  f ( x)dx расходится, то
1

n n
S n  a1  a 2  ...  a n   f ( x)dx  a n   f ( x)dx   , n   ,
1 1

следовательно, ряд расходится.


56

1
Пример. Рассмотрим ряд  n
n 1
, который называют обобщенным


dx
гармоническим рядом или рядом Дирихле. Интеграл  сходится при
1 x

условии   1 и расходится при условии   1 , следовательно, обобщен-


ный гармонический ряд сходится, если   1 , и расходится, если   1 .
На основе этого примера можно сформулировать следующий при-
знак.

1
Признак Дирихле. Обобщенный гармонический ряд  nn 1
сходится,

если   1 , и расходится, если   1 .


1
Пример. Исследовать на сходимость ряд  n ln n .
n 2

Решение. Соответствующий несобственный интеграл


 
dx d (ln x) 
2 x ln x  
2
ln x
 ln(ln x) 2   , а, значит, данный ряд расходится по ин-

тегральному признаку Коши.


Замечание. Выше приведены основные признаки сходимости по-
ложительных рядов. Есть другие, более «тонкие» признаки, дающие от-
вет на вопрос о сходимости рядов в тех случаях, где рассмотренные при-
знаки «не работают».

Знакопеременные числовые ряды

Определение. Числовой ряд называется знакопеременным, если


среди его членов есть как положительные, так и отрицательные числа.
Если отрицательных членов конечное число, то, отбросив их, по-
лучим положительный ряд. Если положительных членов конечное чис-
57

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

Определение. Ряды представленные в виде  (1) n1  a n или
n 1

 (1)
n 1
n
 an , где an  0 , называются знакочередующимися рядами.

Теорема Лейбница (признак сходимости знакочередующегося ря-


да). Если члены знакочередующегося ряда монотонно убывают по мо-
дулю: an1  an , n  1, 2, 3..., и стремятся к нулю: lim a n  0 , то ряд схо-
n 

дится.

Доказательство. Для определенности возьмем ряд  (1)
n 1
n 1
 an ,

an  0 .

Рассмотрим последовательность частичных сумм с четными номе-


рами
S 2n  (a1  a2 )  (a3  a4 )  ...  (a2n1  a2n ) .

Члены ряда сгруппированы так, что все слагаемые этой суммы –


положительные числа. Значит, частичные суммы с четными номерами
возрастают с ростом n. С другой сторо-
ны S 2n  a1  (a2  a3 )  ...  (a2n2  a2n1 )  a2n т.е. частичные суммы с четными
номерами ограничены первым членом ряда: S 2n  a1 . Следовательно, су-
58

ществует конечный предел lim S 2n  S . Для частичных сумм с нечетными


n 

номерами справедливо равенство S 2n1  S 2n  a2n1 , из которого следует,


что
lim S 2 n1  lim (S 2 n  a2 n1 )  lim S 2n  lim a2n1  S . Итак, частичные
n n n n

суммы с четными и нечетными номерами имеют один и тот же предел и,


следовательно, ряд сходится, и его сумма равна S .

Определение. Знакочередующийся ряд, удовлетворяющий услови-


ям теоремы Лейбница, называется рядом Лейбница.
Замечание. Частичные суммы с четными номерами приближаются
к сумме ряда S , возрастая, а частичные суммы с нечетными номерами –
убывая, т.е. справедливо неравенство: S 2n  S  S 2n1 . В частности,
0  S  a1 .

Если первый член ряда Лейбница  a1 отрицателен, то


 a1  S  0 .

В любом случае сумма ряда имеет знак его первого члена и мень-
ше его по модулю.
Остаток ряда Лейбница также является рядом Лейбница. Следова-
тельно, сумма остатка имеет знак своего первого члена и меньше его по
модулю. Так для ряда Лейбница легко оценивается разность между сум-
мой и частичной суммой.

ln n ln n
Пример. Исследовать на сходимость ряд  (1)
n2
n

n
, где a n 
n
.

Решение. Для проверки выполнения условий теоремы Лейбница


ln x
введем функцию f ( x)  и докажем, что она монотонно убывает,
x
59

начиная с некоторого значения x , и стремится к нулю при x   . Вы-


1  ln x
числим производную f ( x)   0 для x  e.
x2
Это означает, что, начиная с номера n  3 , верно неравенство
ln n
an1  an . Как уже было показано, lim  0 . Следовательно, условия
n  n

теоремы Лейбница выполнены, и ряд сходится.


Замечание. Составим ряды из модулей членов рассмотренных ря-
 
1 ln n
дов: 
n 1 n
, 
n 2 n
. Оба эти ряда расходятся. Первый из них является

гармоническим, а члены второго, начиная с n  3 , больше, чем члены


гармонического ряда.

Абсолютная и условная сходимость


 
Пусть дан произвольный знакопеременный ряд  a n , а ряд
n 1
a
n 1
n

составлен из модулей его членов.


Теорема. Если сходится ряд из модулей членов данного ряда, то
сходится и сам знакопеременный ряд.
Доказательство. Пусть сходится ряд из модулей. Тогда согласно
критерию Коши для любого   0 найдется номер N такой, что для лю-
бого номера n  N и любого натурального k будет верно неравенство:
an1  an 2  ...  an k   .

Для знакопеременного ряда получим оценку


an1  an2  ...  ank  an1  an2  ...  an k   ,

что означает, что условие сходимости для него выполняется, т.е.


сам знакопеременный ряд сходится.
60

Определение. Если сходится ряд, составленный из модулей членов


данного ряда, то сам знакопеременный ряд называется абсолютно схо-
дящимся.
Определение. Если знакопеременный ряд сходится, а ряд, состав-
ленный из модулей его членов, расходится, то такой ряд называется
условно сходящимся.
При установлении абсолютной сходимости можно пользоваться
всеми признаками сходимости положительных рядов.
3n  1 
 n

Пример. Исследовать на сходимость ряд  (1)  n1


 .
n1  5n  3 

Решение. Применим радикальный признак Коши к ряду из моду-


 3n  1  3
лей lim n an  lim     1.
n   5n  3
n 
  5

Значит, данный ряд сходится абсолютно.



(1) n
Пример. Исследовать на сходимость ряд 
n1
3
n
.

Решение. Ряд из модулей является расходящимся как обобщенный


1
гармонический ряд с показателем   . Однако, для данного ряда вы-
3
полнены условия теоремы Лейбница, т.е. ряд сходится условно.

Без доказательства отметим свойства абсолютно и условно схо-


дящихся рядов.
Теорема. Если ряд сходится абсолютно, то ряд, полученный про-
извольной перестановкой его членов, также сходится и имеет ту же
сумму. (Другими словами, абсолютно сходящийся ряд обладает переме-
стительным свойством так же, как и конечная сумма).
61

Если ряд сходится условно, то надлежащей перестановкой его


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

§2. Функциональные ряды

Определение. Пусть дана последовательность функций


u1 ( x), u2 ( x), ..., un ( x), ... , определенных на некотором множестве X . Вы-

ражение вида u1 ( x)  u2 ( x)  ...  un ( x)  ...   un ( x) называется функциональ-
n1

ным рядом, а множество X – областью определения этого ряда.


При подстановке произвольного значения x из множества X
функциональный ряд становится числовым, причем при одних значени-
ях x числовой ряд может быть сходящимся, а при других – расходя-
щимся.
Определение. Множество значений переменной x , при которых
функциональный ряд сходится, называется областью сходимости функ-
ционального ряда.
 
1
Например, ряды  xn ,
n 1
n
n 1
x
определены при любых значениях

x . Областью сходимости первого из них является интервал (1, 1) , а об-

ластью сходимости второго – промежуток (1,  ) . Сумма функциональ-


ного ряда S (x) представляет собой функцию, определенную на области
сходимости ряда.

Равномерная сходимость функционального ряда



Определение. Пусть функциональный ряд  u ( x)
n 1
n сходится на

множестве X . Sn ( x), S ( x) – частичная сумма и сумма этого ряда соот-


62

ветственно. Функциональный ряд  u ( x)
n 1
n называется равномерно схо-

дящимся на множестве X , если для любого   0 найдется такой номер


N , что для всех номеров n  N и для любого x  X будет выполнено не-

равенство | rn ( x) | Sn ( x) S ( x)   .

Другими словами, ряд сходится равномерно на множестве X , если


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

Теорема Вейерштрасса (достаточное условие равномерной схо-



димости). Если члены функционального ряда  u ( x)
n 1
n при всех x ,

принадлежащих множеству X , удовлетворяет неравенству un ( x)  an ,

n  1, 2, 3, ... , где an  0 - члены некоторого сходящегося числового


 
ряда  an , то функциональный ряд
n 1
 u ( x)
n 1
n сходится абсолютно и

равномерно на множестве X .
Доказательство. Абсолютная сходимость функционального ряда
при всех x  X следует из признака сравнения и из сходимости числово-
го ряда. Покажем, что функциональный ряд сходится равномерно на
множестве X . Из условия теоремы следует, что для любого натурально-
го числа k и для любого x  X верно неравенство
un1 ( x)  un2 ( x)  ...  unk ( x)  un1 ( x)  un2 ( x)  ... 

 unk ( x)  an1  an2  ...  ank   n , где  n – остаток числового ря-

да. Переходя в этом неравенстве к пределу при условии k   , полу-


чим rn ( x)  n , где rn (x) – остаток функционального ряда. По условию тео-
63

ремы числовой ряд сходится, поэтому для любого   0 найдется такой


номер N , что для всех номеров n  N будет выполнено неравенство
 n   , а, значит, и для остатка функционального ряда rn (x)   для всех

x  X , т.е. функциональный ряд сходится равномерно на множестве X .



Определение. Числовой ряд a
n 1
n , удовлетворяющий условиям

теоремы Вейерштрасса, называется мажорирующим числовым рядом



для функционального ряда  u ( x)
n 1
n или числовой мажорантой.


cos nx
Пример. Доказать, что функциональный ряд 
n1 n2
сходится

равномерно при всех x .


Решение. Мажорирующим числовым рядом для данного функцио-

1 cos nx 1
нального ряда является ряд n
n 1
2
, т.к.
n 2
 2 при всех x . А так как
n

1
ряд n
n 1
2
сходится, то данный функциональный ряд сходится равно-

мерно на всей числовой оси.



x
Пример. Доказать, что функциональный ряд n n 1
3
 x3
сходится

равномерно на промежутке 0,   .


Решение. Члены данного функционального ряда неотрицательны
при x  0,   . Для построения мажоранты найдем при каждом фикси-
x
рованном n максимальное значение функции un ( x)  .
n  x3
3

Для этого вычислим производную


 3 n3 
 2  x  
n3  x 3  3x 3  2 x 3  n3  2
un ( x)   3  .
(n  x )
3 3 2
(n  x ) 3 2
(n  x )
3 3 2
64

n
Производная un (x)  0 при x  3 , и эта точка является точкой мак-
2

симума функции un (x) (проверить, вычислив вторую производную). Мак-


n
un ( x) max  un  3 n   2 3  32  12  4  12 .
3 3

симальное значение
 2  n3  n 3 2 n 3 n
2
Значит, члены функционального ряда на множестве 0,   удо-
3 
4 1 1
влетворяют неравенству 0  un ( x)   . Поскольку числовой ряд
3 n2
n
n 1
2

3
4 1
сходится, то числовой ряд, общий член которого равен  , также
3 n2
сходится. В силу теоремы Вейерштрасса данный функциональный ряд
сходится равномерно на промежутке 0,   .

Свойства равномерно сходящихся рядов



x2
Рассмотрим ряд  , который сходится при всех x и все
n0 (1  x )
2 n

члены которого непрерывны на всей числовой оси. Сумма ряда


x2
S ( x)   1  x2 , если x  0 , S (0)  0 , терпит разрыв в точке
1
1
1  x2
x  0 , несмотря на то, что члены ряда непрерывны при всех x . Это объ-
ясняется неравномерностью сходимости данного ряда на любом множе-
стве, содержащем точку x  0 . Покажем, что ряд не является равномерно
сходящимся, оценивая остаток ряда при x  0
65

x2
x2 x2 (1  x 2 ) n 1
rn ( x)    ...   .
(1  x 2 ) n (1  x 2 ) n 1 1 (1  x 2 ) n 1
1
1 x2
1
Поскольку lim rn ( x)  lim 1 , то остаток ряда не мо-
x0 x0 (1  x 2 ) n1
жет быть сколь угодно мал одновременно при всех x ни для какого но-
мера n . Следовательно, ряд сходится неравномерно на множестве, со-
держащем точку x  0 .
Перейдем к изучению свойств функциональных рядов, сходящих-
ся равномерно на некотором отрезке.

Теорема (непрерывность суммы равномерно сходящегося ряда).


Пусть функции u n (x) ( n  1, 2, 3, ... ) определены и непрерывны на отрезке

a, b , а ряд  u n ( x) сходится равномерно на этом отрезке. Тогда сумма
n 1

ряда S (x) непрерывна на этом отрезке.


Доказательство. Зафиксируем произвольную точку x0 , принад-
лежащую отрезку a, b , и для любого значения x , также принадлежаще-
го отрезку a, b , оценим разность
S ( x) S ( x0 )  (S ( x)  S n ( x))  (S ( x0 )  S n ( x0 )  (S n ( x)  S n ( x0 )) 

 S ( x)  S n ( x )  S ( x 0 )  S n ( x 0 )  S n ( x )  S n ( x 0 ) .

Выберем произвольное число   0 . В силу равномерной сходимо-


сти ряда можно фиксировать номер n такой, что неравенство

S ( x)  S n ( x)  будет выполнено для всех x  a, b, в том числе и для x0 .
3
При фиксированном n частичная сумма ряда S n (x) является непрерыв-
ной на отрезке a, b как сумма конечного числа непрерывных функций.
66

Поэтому для выбранного   0 найдется такое число   0 , что для любо-


го x , удовлетворяющего неравенству x  x0   , будет выполнено нера-

венство S n ( x)  S n ( x0 )  .
3
  
Тогда разность S ( x)  S ( x0 )      , что доказывает непрерыв-
3 3 3
ность суммы ряда в точке x0 , а т.к. x0 выбрано произвольно на отрезке
a, b , то S (x) непрерывна на a, b .

Другие свойства равномерно сходящихся рядов сформулируем без


доказательства.
Теорема (почленное интегрирование). Если функции un (x)

( n  1, 2, 3, ... ) непрерывны на отрезке a, b , а ряд  u ( x) n сходится рав-
n 1

номерно на этом отрезке, то интеграл от суммы ряда S (x) на отрезке


a, b представляется в виде суммы интегралов от членов этого ряда
b  b

 S ( x)dx    u n ( x)dx ,
a n 1 a

b   b
т.е.  (  un ( x))dx    un ( x)dx .
a n 1 n 1 a

Замечание. Интегрирование можно выполнить на любом отрезке,


принадлежащем отрезку a, b .

n
Пример. Вычислить сумму числового ряда 3
n 1
n
.

Решение. Пусть S - искомая сумма, представим S в виде


1  n 
S  . Рассмотрим функциональный ряд
3 n 1 3 n 1
n x
n 1
n 1
. На любом от-

резке, принадлежащем интервалу (1,1) , этот ряд сходится равномерно,


67

т.к. мажорируется сходящимся числовым рядом. Пусть  (x) – сумма это-


1 1
го ряда, тогда S   ( ) . Применим к построенному функционально-
3 3
му ряду теорему о почленном интегрировании. Интегрирование выпол-
ним на отрезке 0, x , полагая, что x  (1,1)
x  x 
x
  ( x)dx    n  x dx  x 
n 1 n
.
0 n 1 0 n 1 1 x


Тогда  ( x)  
x  1 1 1 3
  . Искомая сумма S    .
1 x  (1  x) 2 2
3  1 4
1  
 3

Теорема (почленное дифференцирование). Пусть функции un (x)


( n  1, 2, 3, ... ) определены и непрерывны на отрезке a, b и имеют

на этом отрезке непрерывные производные u n (x) . Ряд  u ( x)
n 1
n сходится,


а ряд  u  ( x) n сходится равномерно на отрезке a, b . Тогда сумма S (x)
n 1


ряда  u ( x)n дифференцируема на отрезке a, b , причем производная
n 1


суммы равна сумме ряда из производных S ( x)   u n ( x) , т.е.
n 1

 
  un ( x)    un ( x) .
n 1 n 1


1
Пример. Вычислить сумму числового ряда 2
n 1
n
n
.


xn
Решение. Рассмотрим функциональный ряд  , который схо-
n 1 n

дится на интервале (1,1) . Обозначим исходную сумму числового ряда


1
S , а сумму функционального ряда S (x) . Тогда S  S   . Рассмотрим ряд
2
68

из производных x
n 1
n 1
. Этот ряд сходится равномерно на любом отрез-

ке, принадлежащем интервалу (1,1) , т.к. мажорируется сходящимся


числовым рядом, Применим к данному ряду теорему о почленном диф-
ференцировании
 
1
S ( x)   x n 1   x n  .
n 1 n 0 1 x

Учитывая, что S (0)  0 , получим S   ln(1  x) . Искомая сумма


1  1
S  S     ln 1    ln 2 .
2  2

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

Определение. Степенным рядом называется функциональный ряд



вида a x
n0
n
n
 a0  a1 x  a2 x 2  ... .

Рассматриваются также степенные ряды более общего вида


a
n 0
n ( x  x0 ) n  a0  a1 ( x  x0 )  a2 ( x  x0 ) 2  ... , которые с помощью замены


( x  x0 ) на новую переменную сводятся к рядам вида a x
n 0
n
n
, изучением

которых можно ограничиться. Выясним, какой вид имеет область схо-


димости степенного ряда.

Теорема Абеля. Если степенной ряд a x
n 0
n
n
сходится в некоторой

точке x0  0 , то он абсолютно сходится в любой точке x , такой что


x  x0 .
69

Доказательство. Из сходимости ряда a
n 0
n x 0 следует, что его об-
n

щий член стремится к нулю, а, значит, ограничен, т.е. существует поло-


жительное число M такое, что an x0 n  M , n  0, 1, 2, 3,... .

Возьмем произвольное x , для которого x  x0 и рассмотрим ряд


a
n 0
n xn . Оценим его общий член

n n
 x  x x
 an x0     an x0 n   M  qn , где q   1.
n n
an x
 x0  x0 x0

Общий член рассматриваемого ряда меньше, чем соответствую-


щие члены бесконечно убывающей геометрической прогрессии. Значит,
степенной ряд сходится абсолютно в точке x . Теорема доказана.

Интервал и радиус сходимости степенного ряда



Заметим, что любой степенной ряд a x
n 0
n
n
сходится при x  0 . Рас-


смотрим ряд  n! x
n0
n
. Применим для нахождения его области сходи-

(n  1)! x n 1
мости признак Даламбера nlim  x  lim (n  1)   , если
 n! x n n 

x  0 . Значит, данный ряд сходится только в одной точке x0  0 .

Предположим, что для степенного ряда существуют отличные от


нуля значения x , при которых он сходится. Если множество этих значе-
ний не ограничено, то согласно теореме Абеля ряд сходится всюду, при-
чем абсолютно.
Пусть множество значений x , при которых степенной ряд сходит-
ся, ограничено, и положительное число R – точная верхняя грань этого
множества. Если x  R , то найдется значение x0 такое, что x  x0  R ,
70

при котором ряд сходится. Тогда согласно теореме Абеля ряд сходится
абсолютно в точке x . Итак, степенной ряд сходится абсолютно в интер-
вале ( R, R) и расходится вне этого интервала. На концах интервала, т.е.
при x   R может иметь место как сходимость, так и расходимость ряда.
Определение. Интервал ( R, R) называется интервалом сходимо-
сти степенного ряда, а число R – радиусом сходимости.
Если степенной ряд сходится на всей числовой оси, то его радиус
сходимости R   , а если ряд сходится только в одной точке x  0 , то
R  0.

Замечание. Степенной ряд вида  a (x  x )
n 0
n 0
n
сходится или в интер-

вале ( x0  R, x0  R) с центром в точке x0 , или на всей числовой оси, или


только в точке x  x0 .
Замечание. Интервал сходимости степенного ряда может быть
найден с помощью признаков Даламбера или Коши. Для установления
сходимости или расходимости на концах интервала требуется дополни-
тельное исследование с помощью других теорем.
an
Радиус сходимости степенного ряда: R  lim
n
и, соответ-
an 1

1
ственно, R  lim
n n
,если эти пределы существуют (конечные
| an |

или бесконечные).

(n  1) n
Пример. Найти область сходимости степенного ряда 
n 0 2n
x .

Решение. Применим признак Даламбера

(n  2) x n1 2n x n2 x
lim 
  lim  1  x  2   2  x  2.
n 2 n 1
(n  1) x n
2 n n  1 2
71

(2, 2) – интервал сходимости, R  2 – радиус сходимости.

Исследуем сходимость на концах интервала. Обозначая общий


член ряда un (x) , вычислим его значения на концах интервала:
un (2)  (1)n  (n  1) , un (2)  n  1.

При x  2 не выполняется необходимое условие сходимости, сле-


довательно, на концах интервала ряд расходится.

Пример. Найти область сходимости степенного ряда



( x  1) n
 (1)n
n2 3n  ln n
.

Решение. Применим признак Даламбера


( x  1) n 1 3n  ln n x 1 ln n x 1
lim 
  lim  .
n  3n 1
 ln( n  1) ( x  1) n
3 n   ln( n  1) 3

ln n
При вычислении lim используется правило Лопиталя
n  ln( n  1)

1
ln t  t 1 ln n
lim     lim t lim  1  lim 1.
t   ln(t  1)
   t  1 t  t n   ln( n  1)

t 1
Интервал сходимости определяется из неравенства
x 1
1  x 1  3   3  x 1 3   4  x  2 .
3
(4, 2) – интервал сходимости, R  3 – радиус сходимости.

Исследуем сходимость на концах интервала. При x  4 получим


 
1 1
положительный ряд  ln n . Сравним его с гармоническим рядом  n .
n 2 n 1

Покажем, что для любого номера n  2, 3, 4,... выполнено неравенство


1 1 ln n ln x
   1. Для этого рассмотрим функцию f ( x)  и вычислим
ln n n n x
72

1  ln x
ее производную: f ( x)  0 при x  e. Так как
x2
ln 2 ln 3
f (2)   1, f (3)  1 , а при x  e f (x) убывает, то ее значения
2 3
меньше 1 при всех n  2,3,4,... . Члены полученного ряда больше, чем со-
ответствующие члены гармонического ряда, т.е. при x  4 ряд расхо-

(1) n
дится. При x  2 получим ряд 
n  2 ln n
, который сходится условно как

знакочередующийся ряд Лейбница.



xn
Пример. Найти область сходимости степенного ряда 
n 0 n!
.

Решение. Применим признак Даламбера:


x n 1 n! 1
lim  n  x  lim  0 при всех x .
n  (n  1)! x n  n  1

Следовательно, область сходимости данного ряда –


вся числовая ось.

Теорема (о равномерной сходимости степенного ряда). Степенной



ряд a x
n 0
n
n
сходится равномерно на любом отрезке, принадлежащем ин-

тервалу сходимости.
Доказательство. Пусть ( R, R) – интервал сходимости степенного
ряда и a, b – произвольный отрезок, принадлежащий этому интервалу.
Обозначим x0 – максимальное из чисел a , b . Тогда для всех x  a, b бу-

дет выполняться неравенство x  x0 . Степенной ряд сходится абсолютно

в точке x0 , т.к. x0  ( R, R) . Кроме того, an x n  an x0 n , Т.е. степенной ряд

мажорируется на отрезке a, b сходящимся положительным числовым


73

рядом, а, значит, согласно теореме Вейерштрасса, сходится на этом от-


резке равномерно. Теорема доказана.
Степенные ряды обладают свойствами равномерно сходящихся
функциональных рядов.
1. Сумма степенного ряда непрерывна на любом отрезке, принад-
лежащем интервалу сходимости, а, значит, непрерывна на всем интерва-
ле.
2. Интеграл от суммы степенного ряда S (x) на любом отрезке,
принадлежащем интервалу сходимости, равен сумме ряда, полученного
из данного степенного ряда путем почленного интегрирования на том же
отрезке
b  b

 S ( x)dx    an x dx .
n

a n 0 a

Если в качестве отрезка интегрирования взять отрезок 0, x , где x


принадлежит интервалу сходимости, то равенство приобретает вид

an n 1  an 1 n
x

 S ( x)dx  
0 n 0 n  1
x 
n 1 n
x ,

Т.е. в результате почленного интегрирования степенного ряда на


отрезке 0, x получается также степенной ряд. Пользуясь, например,
признаком Даламбера, можно показать, что радиус сходимости полу-
ченного ряда совпадает с радиусом сходимости исходного ряда.

3. При почленном дифференцировании степенного ряда a x
n 0
n
n
по-

 
лучим также степенной ряд  an  n x n 1   an 1  (n  1) xn с тем же радиу-
n 1 n 0

сом сходимости. Это означает, что сумма степенного ряда дифференци-


руема на интервале сходимости, и производная суммы равна сумме ряда
из производных.
74

Почленное дифференцирование можно применить повторно к ряду


из производных первого порядка, второго и т.д. Значит, сумма степенно-
го ряда имеет внутри интервала сходимости производные всех порядков.
Замечание. При почленном интегрировании и дифференцировании
степенного ряда интервал сходимости сохраняется. Сходимость на кон-
цах интервала следует проверять отдельно.

xn
Пример. Найти сумму ряда  (1)n 1 
n 1 n
.

Решение. Данный ряд сходится на промежутке  1, 1 . Обозначим


S (x) его сумму и применим теорему о почленном дифференцировании:
 
1
S ( x)   (1) n 1  x n 1   (1) n  x n  .
n 1 n 0 1 x

Полученный в результате почленного дифференцирования степен-


ной ряд является суммой геометрической прогрессии и сходится на ин-
тервале (1,1) . Учитывая, что S (0)  0 , найдем S ( x)  ln(1  x) .

Пример. Найти сумму ряда  (n  1)  x
n0
n
.

Решение. Данный ряд сходится на интервале (1,1) . Обозначим


S (x) его сумму и применим теорему о почленном интегрировании:
x  
x
 S ( x)dx   x   x 
n 1 n
.
0 n 0 n 1 1 x

Полученный в результате почленного интегрирования степенной


ряд является суммой геометрической прогрессии и сходится на интерва-

 x  1
ле (1,1) . Сумма ряда S ( x)     .
 1  x  (1  x)
2

Ряд Тейлора
75

Частичными суммами степенных рядов являются многочлены, что


делает степенные ряды удобным средством для приближенных вычис-
лений. Вопрос о представлении функций степенными рядами имеет осо-
бое значение.
Предположим, что заданная функция f (x) в некотором интервале
с центром в точке x0 имеет производные всех порядков. Тогда согласно
формуле Тейлора для всех значений x из этого интервала выполняется
равенство
f ( x0 ) f ( x0 )
f ( x)  f ( x0 )  ( x  x0 )  ( x  x0 ) 2  ... 
1! 2!
, где Rn (x)
f ( n ) ( x0 )
 ( x  x0 ) n  Rn ( x),
n!
остаточный член формулы Тейлора. Он записывается разными способа-
( n1)
f ( x1 )
ми, например, в форме Лагранжа Rn ( x)  ( x  x0 ) n1 , где
(n  1)!

x1  ( x0 , x) .

При этом n можно выбрать сколь угодно большим, т.е. учитывать


в этой формуле сколь угодно большие степени переменной ( x  x0 ) . Есте-
ственно возникает вопрос о возможности представления функции f (x) в
виде бесконечной суммы или в виде степенного ряда
f ( x0 ) f ( x0 ) f ( n ) ( x0 )
f ( x)  f ( x0 )  ( x  x0 )  ( x  x0 ) 2  ...  ( x  x0 ) n  ... .
1! 2! n!
Такой ряд, независимо от того, сходится он или не сходится к
функции f (x) в некотором интервале, называется рядом Тейлора этой
функции, а его коэффициенты – коэффициентами Тейлора. Если x0  0 ,
то данный степенной ряд называется рядом Маклорена
f (0) f (0) 2 f ( n ) (0) n
f ( x)  f (0)  x x  ...  x  ... .
1! 2! n!
76

Согласно формуле Тейлора разность между значениями функции


f (x) и частичной суммой ряда Тейлора с номером (n  1) этой функции

равна остаточному члену формулы Тейлора Rn (x) . Поэтому справедливо


следующее утверждение.
Теорема. Для того чтобы при некотором значении x значение
функции f (x) совпадало с суммой ряда Тейлора этой функции необхо-
димо и достаточно, чтобы остаточный член формулы Тейлора при этом
значении x стремится к нулю с возрастанием n : lim Rn ( x)  0 .
n

Теорема. Если функция f (x) в некотором интервале с центром в


точке x0 имеет производные всех порядков и все производные для всех
x из этого интервала ограничены одним и тем же числом: f ( n ) ( x)  M ,

то ряд Тейлора этой функции сходится к самой функции на данном ин-


тервале.
Это утверждение применимо к таким элементарным функциям как
e x , sin x , cos x . Например, функции sin x и cos x дифференцируемы

всюду бесконечное число раз, и все их производные ограничены по мо-


дулю единицей. Значит, эти функции можно разложить в ряды Тейлора
на любом интервале с центром в любой точке.
Теорема (о единственности представления функции степенным
рядом). Если функция f (x) представима на некотором интервале с цен-

тром в точке x0 степенным рядом f ( x)   an ( x  x0 ) n ,то этот ряд является
n 0

рядом Тейлора этой функции.



Доказательство. Полагая x  x0 в формуле f ( x)   an ( x  x0 ) n , по-
n 0

лучим f ( x0 )  a0 . Применим к данному степенному ряду теорему о


почленном дифференцировании:
77

f ( x)   an  n  ( x  x0 ) n1 ,
n1


f ( x)   an  n  (n  1)  ( x  x0 ) n2 ,
n 2

. . . . . . . . . .

f ( k ) ( x)   a n  n  (n  1)  ...  (n  k  1)  ( x  x0 ) nk ,
nk

. . . . . . . . . .
Полагая в этих равенствах x  x0 , получим
f ( x0 )  a1 1 ,

f ( x0 )  a2  2 1,

. . . . . .
f ( k ) ( x0 )  ak  k  (k  1)  ...  2 1 ,

. . . . . . . . ..
Значит, для коэффициентов ряда справедливы формулы:
f ( x0 ) f ( x0 ) f ( k ) ( x0 )
a0  f ( x0 ) , a1  , a2  , … , ak  , … ,
1! 2! k!
т.е. данный ряд является рядом Тейлора этой функции. Теорема
доказана.
Замечание. Теорема единственности позволяет доказывать некото-
рые тождества. Для этого раскладывают некоторую функцию двумя
способами в степенной ряд. В силу теоремы единственности коэффици-
енты в обоих рядах при одинаковых степенях x совпадают.

Разложение основных элементарных функций

Выпишем разложения в ряды Маклорена основных элементарных


функций.
78

x2 xn
ex  1 x   ...   ... , x  (,  ) ,
2! n!

x3 x5 x 2 n 1
sin x  x    ...  (1) n   ... , x  (,  ) ,
3! 5! (2n  1)!

x2 x4 x 2n
cos x  1    ...  (1) n   ... , x  (,  ) ,
2! 4! (2n)!

x 2 x3 xn
ln(1  x)  x    ...  (1) n1   ... , x  (1,1] ,
2 3 n
 (  1)  (  1)...(  n  1)
(1  x)  1  x  x 2  ...  x n  ... , x  (1,1) ,
2! n!
Последнее разложение при   1 принимает вид
1
 1  x  x 2  ...  (1) n  x n  ... , x  (1,1) .
1 x
Заменяя x на ( x) , приходим к стандартной формуле для сум-
мы геометрической прогрессии
1
 1  x  x 2  ...  x n  ... , x  (1,1) .
1 x

Пример. Разложить функцию f ( x)  sin 2 x в ряд Маклорена.


Найти производную n -го порядка в точке x0  0 .
Решение. Воспользуемся тригонометрическим тожде-
1  cos 2 x
ством sin 2 x  , а затем табличным разложением функции cos x ,
2
заменяя переменную x на переменную (2 x) :
1 1  (2 x) 2 ( 2 x) 4 ( 2 x) 2 n 
sin 2 x   1    ...  (1) n   ... 
2 2 2! 4! (2n)! 
2 n1
2 2 23 4 n1 2
 x  x  ...  (1)  x 2 n  ... , x  (,  ) .
2! 4! (2n)!
79

В силу теоремы единственности имеем


22 n 1 22 n 1
f ( 2 n ) (0)  (1)n 1   (2n)! (1)n 1  , f ( 2n 1) (0)  0 .
(2n)! (2n)!

Пример. Разложить функцию f ( x)  ln( x2  5x  6) в ряд Тейлора в


окрестности точки x0  1 , т.е. по степеням переменной ( x  1) . Найти
производную n -го порядка в точке x0  1 .
Решение. Пользуясь свойствами логарифмической функции, вы-
полним тождественные преобразования
y  ln( x 2  5x  6)  ln ( x  2)( x  3)  ln( x  2)  ln( x  3) 

 x 1
 ln 1  ( x  1)   ln 2  ( x  1)   ln 2  ln 1  ( x  1)   ln 1  ,
 2 

а затем применим табличное разложение функции ln(1  x) , делая


соответствующие замены


( x  1)n  n 1 ( x  1)
n 
(1)n 1  1
y  ln 2   (1) n 1
   (1)  n  ln 2   1  n ( x  1) .
n

n 1 n n 1 2 n n 1 n  2 

Чтобы найти значения x , для которых справедлива полученная


формула, решим систему неравенств
 1  x  1  1

 x 1  1  x  1  1   2  x  0 .
  1   1
2

(1)n 1  1
В силу теоремы единственности имеем f ( n ) (1)  1  n   n!.
n  2 

Пример. Разложить в ряд Маклорена функцию y  arctg (x) . Найти


производную n -го порядка в точке x0  0 .
80

Решение. Воспользуемся табличным разложением для представле-


ния степенным рядом производной этой функции
1
y  (arctg ( x))   1  x 2  x 4  ...  (1) n  x 2 n  ... , x  (1,1) .
1 x 2

x 2 n 1
x
dx x3 x5
Тогда arctg ( x)   x  x    ...  ( 1) n
  ... , x  [1,1] .
0
1  x2 3 5 2n  1

Заметим, что производная представляется степенным рядом на ин-


тервале (1,1) , а сама функция – на отрезке [1,1] .
В силу теоремы единственности имеем
1
f ( 2 n 1) (0)  (1)n   (2n  1)! (1)n 1  (2n)! , f ( 2 n) (0)  0 .
2n  1

§3. Применение теории рядов


Рассмотрим различные примеры применения степенных рядов.

Приближенные вычисления значений функций


Пример. Вычислить 3 2 с точностью до 5 знаков после запятой.
Решение. Для решения задачи воспользуемся табличным разложе-
1
нием функции (1  x) при   :
3
1 1  1 1  1 
1    1    1    2 
(1  x)  1  x  
1 3 3  2 3 3  3  x 3  ...  1  1 x  1 x 2  5 x 3  ...
3
x 
3 2! 3! 3 9 81
1
128 125 5 3 128 5  3 3 5  1 1 1 
3
2 3     1     1     ... .
64 125 4 125 4  125  4  125 (125) 2
75  (125) 2

Последнее выписанное слагаемое этой суммы меньше, чем 105 .


Кроме того, полученный числовой ряд является знакочередующимся ря-
дом Лейбница, поэтому ошибка при замене суммы ряда на частичную
сумму не превосходит по модулю первого отброшенного члена ряда.
81

Значит, для достижения заданной точности достаточно учесть первые


5
три члена ряда: 3
2 (1  0,008  0,000064)  1,25992 .
4

Приближенные вычисления значений


определенных интегралов

Пример. Вычислить с точностью до 3 знаков после запятой


1
2
arctg ( x )
 dx .
0
x

Решение. Воспользуемся полученным разложением функции


arctg (x) в ряд Маклорена
1 1
2
arctg ( x)  x2 x4 x6
2

0 x dx  0 1  3  5  7  ...dx 
1
 x3 x5 x7 2 1 1 1 1
  x  2  2  2  ...   3 2  5 2  7 2  ... .
 3 5 7  0 2 2 3 2 5 2 7

Получен знакочередующийся ряд Лейбница, последнее выписан-


ное слагаемое меньше, чем 103 . Отбрасывая это слагаемое, получим
приближенное значение интеграла с заданной точностью
1
2
arctg ( x)

0
x
dx  0,5  0,01389  0,00125  0,487 .

Вычисление предела последовательности

Теория рядов используется в теории последовательностей.


nn
Пример. Доказать, что lim
n  (3n)!
0.
82

nn
Решение. Составим ряд 
n 1 (3n)!
. Для изучения его сходимости

применим признак Даламбера:


(n  1)  n 1
n
x (n  1) ( n1) (3n)! 
lim n 1
 lim lim   
nx n n (3(n  1)!  n n n (3n  1)(3n  2)(3n  3)  n 

 n 1 n 1
n

 lim    lim  e 0  0 1.


n  n  n 3(3n  1)(n  1)(3n  2)

По признаку Даламбера ряд сходится и, следовательно,


n
n
lim x  lim (3n)!  0 .
n 
n
n 

Вычисление значения производной функции в точке

Если функция f (x) представима на некотором интервале с



центром в точке x0 степенным рядом: f ( x)   an ( x  x0 ) n , то этот ряд
n 0

является рядом Тейлора этой функции по теореме единственности. При


f ( n ) ( x0 )
этом an  . Тогда для нахождения значения n-ой производной
n!

функции в точке x0 используется формула f ( n) ( x0 )  an  n! .


Пример. Найти производную n –го порядка для функции

f ( x) 
sin x
при x0  0 , n = 6 и n = 99.
x
sin x
Решение. Разложим функцию f ( x)  в ряд Тейлора в
x

окрестности точки x0  0 :

sin x 1 1 x3 x5 x7 x2 x4 x6
 sin x  ( x     ...)  1     ...
x x x 3! 5! 7! 3! 5! 7!
83

1 1 1
Коэффициент a6   , где f ( 6) (0)   6!  . Коэффициенты при
7! 7! 7
нечетных степенях х в данном разложении равны нулю, в частности
a99  0 и, тогда f (99) (0)  0 .

Применение теории рядов к решению линейных


дифференциальных уравнений

Одним из методов решения линейных дифференциальных


уравнений с переменными коэффициентами является применение
теории рядов. Данный метод использует известное утверждение из
теории дифференциальных уравнений.
Теорема. Если все коэффициенты и правая часть линейного
дифференциального уравнения n-го порядка
y ( n)  a1 ( x) y ( n1)  ...  an ( x) y  f ( x)
разлагаются в степенные ряды в некоторой окрестности точки x0 ,
то решение y (x) этого дифференциального уравнения,

удовлетворяющего условиям y( x0 )  A0 , y' ( x0 )  A1 ,..., y ( n 1) ( x0 )  An 1 ,


также разлагается в степенной ряд в указанной окрестности.
1
Пример. Решить задачу Коши y'  y 2  x 3 , y(0)  .
2
Решение. Подставим в уравнение y'  y 2  x 3 начальные условия.
2 1
Тогда y ' (0)  y (0)  . Найдем вторую производную, применяя
4

дифференцирование неявной функции y' '  2 yy '3x 2 . Тогда


1 1 1
y' ' (0)  2 y(0)  y' (0)  2    .
2 4 4
Аналогично,
84

y' ' '  2( y) 2  2 yy ' '6 x ,


1 1 1 2 1 6 3
y ' ' ' (0)  2( y(0)) 2  2 y (0)  y ' ' (0)  2 2
 2      ,
4 2 4 16 4 16 8

y ( 4)  4 y' y' '2 y' y' '2 yy ' ' '6  6 y' y' '2 yy ' ' '6 ,

y ( 4) (0)  6 y' (0)  y' ' (0)  2 y(0)  y' ' ' (0)  6  6  1  1  2  1  3  6  6  6  6 
4 4 2 8 16 16
12 3 27
 6 6 и т.д.
16 4 4

Поскольку решение уравнения ищем в виде ряда


y' ' (0) 2 y' ' ' (0) 3 y ( 4) (0) 4
y( x)  y(0)  y ' (0) x     ... ,
2! x 3! x 4! x
то, подставляя найденные коэффициенты, получим ответ
1 1 1 2 3 3 27 4
y ( x) 
 x x  x  x  ... 
2 4 4  2! 8  3! 4  4!
1 1 1 1 9 4 .
  x  x 2  x3  x  ...
2 4 8 16 32
Обратим внимание на то, что исходное дифференциальное
уравнение не решается в квадратурах. В примере приведен один из двух
методов решения задачи Коши с помощью теории рядов.

§4. Ряды Фурье

При решении многих технических задач приходится иметь дело с


периодическими процессами, для описания которых требуются перио-
дические функции. Простейшей периодической функцией периода 2
является функция sin( x   ) . При сложении периодических функций
sin( x  1 ) , sin(2 x   2 ) , … , sin(nx   n ) , периоды которых равны соответ-
85

2
ственно 2 ,  , ... , , получим периодическую функцию с периодом 2 .
n
Естественно возникает обратный вопрос: можно ли заданную периоди-
ческую функцию f (x) с периодом 2 представить в виде суммы конеч-
ного или бесконечного числа простейших периодических функций вида
sin(nx   n ) :

f ( x)  A0   An sin(nx   n ) ?
n1

Постоянное слагаемое A0 можно считать периодической функцией


с любым периодом, в том числе и с периодом 2 .
В механике функция sin(nx   n ) описывает простейшее гармони-
ческое колебательное движение. Представление периодической функции
f (x) в виде суммы простейших периодических функций можно рас-

сматривать как разложение сложного колебания на отдельные гармони-


ческие колебания. Функции вида sin(nx   n ) , входящие в состав разложе-
ния периодической функции f (x) , называются гармоническими состав-
ляющими этой функции или просто гармониками. Пользуясь тригоно-
метрическим тождеством sin(nx   n )  sin  n  cos nx  cos  n  sin nx , и обозна-
чая An  sin  n  an , An  cos  n  bn ,разложение периодической функции

f (x) можно переписать в виде



f ( x)  A0   (an cos nx  bn sin nx) . (1)
n1

Тригонометрический ряд Фурье. Коэффициенты Фурье

Пусть функция f (x) определена на всей числовой оси, периодична


с периодом 2 и является непрерывной или кусочно-непрерывной на
86

отрезке   ,   . Напомним, что функция называется кусочно-


непрерывной на отрезке, если она непрерывна во всех точках этого от-
резка за исключением конечного числа точек, в которых функция терпит
разрыв первого рода, т.е. в этих точках существуют конечные односто-
ронние пределы функции, не равные друг другу.
Предполагая, что f (x) представляется в виде суммы простейших
тригонометрических функций, найдем коэффициенты ряда (1). С этой
целью проинтегрируем обе части равенства (1) на отрезке   ,   , что
оправдано, например, в случае равномерной сходимости на этом отрезке
функционального ряда, стоящего в правой части равенства (1). Восполь-
   
sin(nx) cos(nx)
зуемся тем, что  cos(nx)dx   0,  sin(nx)dx    0.

n  
n 

 
1
Тогда  f ( x)dx  A0  2 , откуда A0   f ( x)dx .

2 

Для вычисления коэффициентов an умножим обе части равенства


(1) на cos nx и проинтегрируем на отрезке   ,   . Пользуясь тем, что
 

 cos(kx)  cos(nx)dx  0 ,

если k  n ,

 sin(kx)  cos(nx)dx  0 , для лю-

 
1  cos(2nx)
бых и  cos (nx)dx   dx   , если n  0 , получим
2
k n,
 
2

 f ( x) cos(nx)dx    a

n ,


1
откуда an 
  f ( x) cos(nx)dx ,

(n  1,2,3,...) .


1
Аналогично bn 
  f ( x) sin(nx)dx ,

(n  1,2,3,...) .
87

Чтобы формулы для коэффициентов выглядели единообразно,



1
обозначим: a0  2 A0 
  f ( x)dx .

Итак, для любой функции f (x) , кусочно-непрерывной на отрезке


  ,   , можно вычислить коэффициенты

1
an 
  f ( x) cos(nx)dx ,

(n  0,1,2,3,...) ,

(2)

1
bn 
  f ( x) sin(nx)dx ,

(n  1,2,3,...) ,

которые называются коэффициентами Фурье этой функции, и по-


ставить в соответствие этой функции ряд
a0 
f ( x)    (an cos(nx)  bn sin(nx)) , (3)
2 n1

который называется тригонометрическим рядом Фурье этой


функции.
Определение. Система функций
1, cos x, sin x, cos(2 x), sin(2 x), ... , cos(nx), sin(nx), ... ,

на основе которой построен тригонометрический ряд Фурье, назы-


вается основной тригонометрической системой функций.
Эта система на отрезке   ,   обладает свойством ортогонально-
сти: интеграл от произведения любых двух функций этой системы на
отрезке   ,   равен нулю.

Сходимость ряда Фурье


88

Предполагая, что функция f (x) является кусочно-непрерывной на


отрезке   ,   , поставим этой функции в соответствие ее тригонометри-
ческий ряд Фурье. Предположим теперь, что функция является кусочно-
дифференцируемой на отрезке   ,   . Это означает, отрезок   ,  
можно разделить на конечное число отрезков, внутри которых функция
дифференцируема, а на концах отрезков имеет не только конечные пре-
дельные значения, но и односторонние производные при условии заме-
ны на концах этих отрезков значений функции на соответствующие пре-
дельные значения.
Теорема Дирихле устанавливает условия сходимости тригономет-
рического ряда Фурье и связь между значением самой функции и сум-
мой ее тригонометрического ряда Фурье. Сформулируем теорему Дири-
хле без доказательства. В формулировке теоремы используем выраже-
ния f ( x0  0) и f ( x0  0) для обозначения односторонних пределов функ-
ции f (x) при условии, что x стремится к x0 слева и справа соответ-
ственно.
Теорема Дирихле. Пусть функция f (x) определена и кусочно-
дифференцируема на отрезке   ,   . Тогда тригонометрический ряд
Фурье этой функции сходится в каждой точке отрезка   ,   , и сумма
S (x) этого ряда удовлетворяет следующим условиям.

1) S ( x0 )  f ( x0 ) во всех точках интервала ( ;  ) , в которых f (x)


непрерывна.

2) S ( x0 )   f ( x0  0)  f ( x0  0) во всех точках разрыва функции.


1
2

3) S ( )  S ( )   f (  0)  f (  0) .


1
2
89

Замечание. Теорема остается справедливой в случае, когда функ-


ция f (x) определена на всей числовой оси, является периодической с
периодом 2 и на отрезке   ,   кусочно-дифференцируема. Точнее, в
этом случае тригонометрический ряд Фурье этой функции сходится на
всей числовой оси, и сумма S (x) этого ряда удовлетворяет условиям:
1) S ( x0 )  f ( x0 ) во всех точках прямой (;  ) , в которых f (x) не-
прерывна;

2) S ( x0 )   f ( x0  0)  f ( x0  0) во всех точках разрыва функции.


1
2

Пример. Разложить в ряд Фурье функцию f (x) периода 2 , задан-


 ,    x  0,
ную следующим образом f ( x)   Обосновать сходи-
  x, 0  x  .

мость ряда Фурье. Нарисовать график суммы ряда Фурье.


Решение. Вычислим коэффициенты Фурье этой функции:

1  3
0
a0 3
a0      dx   (  x)dx    ,  ,
   0
 2
 2 4


1 
0
an      cos(nx)dx   (  x)  cos(nx)dx  
   0

 .
1 1
 2 (1  cos(n ))  2 (1  (1) n )
n n
Если n  2k - четное число, то an  a2k  0 .
2
Если n  2k  1 - нечетное число, то an  a2 k 1  .
 (2k  1) 2

1  cos(n ) (1) n
0
bn      sin(nx)dx   (  x)  sin(nx)dx    .
   0

 n n

Тригонометрический ряд Фурье S (x) , соответствующий данной


функции, имеет вид
90

3 2  cos x cos 3x cos 5 x 


f ( x)  S ( x)    2    ... 
4  1 3 2
5 2

.
 sin 2 x sin 3x 
  sin x    ...
 2 3 

Поскольку данная функция непрерывна во всех внутренних точках


отрезка   ,   , то согласно теореме Дирихле для всех x  ( ,  ) имеет
место равенство f ( x)  S ( x) . Например, полагая x  0 , получим
3 2 1 1 
    1  2  2  ...  или
4  3 5 

1 2

k 0 ( 2k  1)
2

8
.

На концах отрезка   ,   сумма ряда Фурье имеет следующее


значение:

S ( ) 
1
 f (  0)  f (  0)  1  .
2 2
На рисунке показаны графики функции f (x) и суммы S (x) ее ряда
Фурье.

Сходимость в среднем ряда Фурье. Пусть функция f (x) опреде-


лена на отрезке a, b, и ставится задача о наилучшем приближении этой
91

функции с помощью другой функции g (x) из определенного класса


функций, определенных на этом же отрезке. Если требуется обеспечить
близость функций во всех точках отрезка, то в качестве критерия близо-
сти рассматривается величина, равная max f ( x)  g ( x) , и функция g (x)
x[ a ,b ]

выбирается так, чтобы эта величина принимала наименьшее возможное


значение. В этом случае обеспечивается равномерная на всем отрезке
близость функций.
Если требуется обеспечить близость функций на отрезке в сред-
нем, то в качестве критерия близости рассматривают величину, равную
b

  f ( x)  g ( x) dx .
2

Для достижения наилучшего приближения в среднем требуется


минимизировать эту величину.
Пусть функция f (x) кусочно-дифференцируема на отрезке   ,   .
Тогда согласно теореме Дирихле тригонометрический ряд Фурье этой
функции во всех точках непрерывности сходится к этой функции. Мож-

но показать, что величина  n    f ( x)  S n ( x) 2 dx , характеризующая от-


клонение в среднем частичной суммы S n (x) тригонометрического ряда


Фурье от кусочно-дифференцируемой функции f (x) на отрезке   ,   ,
стремится к нулю при n   : lim  n  0 .
n

Это означает, что тригонометрический ряд Фурье сходится в сред-


нем на отрезке   ,   к своей сумме, а коэффициенты Фурье функции
f (x) удовлетворяют равенству
2  
a0 1
  (an  bn )   f 2 ( x)dx ,
2 2

2 n1  

которое называется равенством Парсеваля.


92

Равенство Парсеваля является аналогом теоремы Пифагора в бес-


конечно-мерном пространстве функций, кусочно-дифференцируемых на
отрезке   ,   . Действительно, если считать, что квадрат «длины функ-

 f
2
ции» в этом пространстве равен ( x)dx , что основная тригонометри-

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


Фурье – разложением функции по этому базису, то согласно равенству
Парсеваля квадрат «длины функции» равен сумме квадратов ее коорди-
нат.
В частном случае, когда функция f (x) непрерывна на отрезке
  ,   и имеет кусочно-непрерывную производную на этом отрезке, то
ее тригонометрический ряд Фурье сходится во всех точках этого отрезка
к функции f (x) , причем равномерно.

Представление рядом Фурье функции


произвольного периода

Пусть функция f (x) определена и кусочно-дифференцируема на


отрезке  l, l  , или f (x) определена на всей числовой оси, периодична с
периодом 2l и кусочно-дифференцируема на отрезке  l, l  . Сделав за-

мену переменной x  t , получим f ( x)  f  t   g (t ) .


l l
  

Если функция f (x) была определена на отрезке  l, l  , то функция


g (t ) определена на отрезке   ,   и удовлетворяет на этом отрезке усло-

виям теоремы Дирихле. Раскладывая в ряд Фурье функцию g (t ) и воз-


вращаясь к исходной функции, получим для нее следующее представле-
ние рядом Фурье
93

a0   nx nx 
f ( x)     an cos  bn sin ,
2 n1  l l 

(4)
коэффициенты которого вычисляются по формулам
1
l
nx
an   f ( x) cos dx , (n  0, 1, 2, 3,...) ,
l l l

(5)
1
l
nx
bn  
l l
f ( x) sin
l
dx , (n  1,2,3,...) .

Теорема Дирихле остается в силе с той лишь разницей, что в слу-


чае произвольного отрезка  l, l  точки x   заменяются на точки
x  l :

S (l )  S (l ) 
1
 f (l  0)  f (l  0) .
2
l 2 
1 2 a0
Равенство Парсеваля принимает вид     (an  bn ) .
2 2
f ( x ) dx
l l 2 n1

Ряд Фурье для четных и нечетных функций

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


f (x) , определенная на отрезке  l, l  , является четной, то
l 0 l l

 f ( x)dx   f ( x)dx   f ( x)dx  2 f ( x)dx .


l l 0 0

Действительно, сделав замену t   x , вычислим


0 0 l l


l
f ( x)dx    f (t )dt   f (t )dt   f ( x)dx .
l 0 0
94

Аналогично устанавливается, что в случае нечетной функции f (x)

l 0 l 0 l l l

 f ( x)dx   f ( x)dx   f ( x)dx   f (t )dt   f ( x)dx   f (t )dt   f (t )dt  0 .


l l 0 l 0 0 0

Предположим теперь, что кусочно-дифференцируемая функция


f (x) , определенная на отрезке  l, l  , является четной. Тогда произведе-

nx
ние f ( x) cos также является четной функцией, а произведение
l
nx
f ( x) sin - нечетной. Вычислим коэффициенты Фурье четной функции:
l

1
l
nx 2
l
nx
an  
l l
f ( x) cos
l
dx   f ( x) cos
l 0 l
dx , (n  0, 1, 2, 3,...) ,

1
l
nx
bn   f ( x) sin dx  0 , (n  1, 2, 3,...) .
l l l

Таким образом, тригонометрический ряд Фурье четной функции


a0 
nx
содержит только косинусы: f ( x)    an cos ,
2 n1 l
 l 2
2 a
а равенство Парсеваля приобретает вид  f 2 ( x)dx  0   an 2 .
l 0 2 n 1

Если функция f (x) является нечетной, то произведение


nx
f ( x) cos также является нечетной функцией, а произведение
l
nx
f ( x) sin - четной. Вычислим коэффициенты Фурье нечетной функции:
l

1
l
nx
an  
l l
f ( x) cos
l
dx  0 , (n  0, 1, 2, 3,...) ,

1
l
nx 2 nx l
bn   f ( x) sin dx   f ( x) sin dx , (n  1, 2, 3,...) .
l l l l 0 l
95

Тригонометрический ряд Фурье нечетной функции содержит



nx
только синусы: f ( x)   bn sin ,
n1 l
l 
2
а равенство Парсеваля приобретает вид  f 2 ( x)dx   bn 2 .
l 0 n1

Разложение функций, заданных на полупериоде, в ряд Фурье


только по косинусам или только по синусам

Пусть функция f (x) определена и кусочно-дифференцируема на


отрезке 0, l . Желая получить разложение этой функции в ряд Фурье,
доопределим ее на промежутке  l , 0 произвольным образом, сохраняя
лишь требование кусочной дифференцируемости. Это дает возможность
получать различные разложения одной и той же функции в тригономет-
рические ряды Фурье на отрезке 0, l .
Если определяя функцию на промежутке  l , 0 , будем полагать,
что f ( x)  f ( x) для всех x  0, l  , то получим четную функцию, триго-
нометрический ряд Фурье которой будет содержать только косинусы.
Если определяя функцию на промежутке  l , 0 , будем полагать,
что f ( x)   f ( x) для всех x  0, l  , то получим нечетную функцию, три-
гонометрический ряд Фурье которой будет содержать только синусы.
Пример. Разложить функцию f ( x)  3  x , заданную на отрезке 0, 3
в тригонометрический ряд Фурье по косинусам и в тригонометрический
ряд Фурье по синусам. Обосновать сходимость каждого ряда Фурье.
Нарисовать графики суммы для каждого ряда Фурье.
Решение.
1) Разложение по косинусам
96

Доопределим функцию f (x) на промежутке  3, 0 четным обра-


зом и продолжим ее на всю числовую ось как периодическую с перио-
дом, равным 6.

Вычислим коэффициенты Фурье этой функции:

3
2 a0 3
a0   (3  x)dx  3 ,  ,
30 2 2

nx 2  nx nx 


3 3 3
2 3 3
an   (3  x)  cos
3 0 n 0
dx  (3  x)   sin  sin dx 
30 3 3  n 3 

nx
3


2  3 
   cos
n  n  3 0 n
6
n
6
 2 2 (1  cos n )  2 2 1  (1) n   
 0, если n  2k  четное число, k  1,2,3,... ,

 12
 (2k  1) 2  2 , если n  2k  1 нечетное число, k  0,1,2,3,... .

Так как рассматриваемая функция является непрерывной всюду,


то сумма ее тригонометрического ряда Фурье равна данной функции при
 (2k  1) x
 cos
3 12
всех x f ( x)   
2  2 k 0
3
(2k  1) 2
.

Полагая в этом равенстве x  0 , получим


3 12  
1 2

1
3  2  или  .
2  k 0 (2k  1) 2 k 0 ( 2k  1)
2
8

Выпишем для этого разложения равенство Парсеваля. С этой це-


лью вычислим интеграл
97
3
2 ( x  3)3
3
2 2
 (3  x) dx     27  6 .
2

30 3 3 0 9

Равенство Парсеваля принимает вид


9 144  1 
1 4
6  4  , откуда   .
2  k 0 ( 2k  1)
4
k 0 ( 2k  1)
4
96

Итак, с помощью разложений функций в тригонометрические ря-


ды Фурье, можно получать значения сумм некоторых числовых рядов.

2) Разложение по синусам
Доопределим функцию f (x) на промежутке  3, 0 нечетным обра-
зом, изменим значение функции при x  0 , полагая f (0)  0 и продолжим
ее на всю числовую ось как периодическую с периодом, равным 6.

Согласно теореме Дирихле сумма тригонометрического ряда


Фурье такой функции будет равна функции при всех x . Вычислим
коэффициенты Фурье этой функции:
nx
3
2
bn 
30 (3  x)  sin
3
dx 

2  nx 
3
 3  nx
3
3
3 0 n 0
 (3  x)      cos  cos dx 
3   n  3 

2  9 nx  6
3
9
    sin  , n  1, 2, 3, ... .
3  n n 2 2 3 0  n
98

nx
 sin
6
f ( x)   3 . Полагая в этой формуле x  3 , получим
 n 1 n 2

n
sin
3 6 
  2 .
2  n1 n

n
Учитывая, что sin  sin k  0 , если n  2k - четное число и что
2
n (2k  1)  
sin  sin  sin  k   (1) k , если n  2k  1 - нечетное число, пе-
2 2 2 

(1) k 
репишем полученный результат в виде: 
k 0 2 k  1
 .
4

ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО

Содержание
§1. Комплексные числа и действия над ними
§2. Функции комплексного переменного
§3. Интеграл от функции комплексного переменного и его свойства
§ 4. Ряды Тейлора и Лорана
§ 5. Теория вычетов функции
§ 6. Приложения теории вычетов

§1. Комплексные числа и действия над ними


1.1 Алгебраическая форма комплексного числа
Определение 1.1. Комплексным числом называется выражение вида

где и – действительные числа, – мнимая единица, определяемая


условием
Числа и называются соответственно действительной и мнимой
частями комплексного числа и обозначаются
Такое представление комплексного числа называется алгебраиче-
ской формой комплексного числа.
99

Комплексное число называется сопряженным ком-


плексному числу
Определение 1.2. Комплексные числа и
считаются равными тогда и только тогда, когда , .

Пример 1.1.
Решить уравнение
Решение. Выделим в левой части уравнения действительную и мни-
мую части:

Из определения равенства двух комплексных чисел получаем

Решая эту систему, находим , .


1.2 Геометрическое представление комплексного числа
Комплексное число изображается на плоскости точкой
с координатами , либо вектором, начало которого находится в точ-

Рис. 1
ке , а конец в точке (см. рис.1).
Если то то есть получаем обычное действи-
тельное, расположенное на оси число. Если то . Такие
числа называются чисто мнимыми. Они изображаются точками на оси

Определение 1.3. Длина вектора называется модулем ком-


плексного числа и обозначается
100

(1.1)

Определение 1.4. Угол образованный вектором с осью назы-


вается аргументом комплексного числа и обозначается :

где - это главное значение определяемое условиями


     .
В зависимости от положения точки на комплексной плоскости,
аргумент комплексного числа можно находить, используя соотноше-
ния
x y
cos   , sin   .
r r
(1.2)
Отметим, что аргумент числа z  0 не определен.

Пример 1.2.
Найти модуль и аргумент комплексного числа .
Решение. Модуль комплексного числа вычислим по формуле (1.1)
101

Для нахождения аргумента определим положение числа на комплексной


плоскости: лежит в II четверти. Используя формулы (1.2)

Рис. 2
найдем (см. рис. 2)

Отметим, что

Пример 1.3.
Найти модуль и аргумент комплексного числа
Решение. Число находится на мнимой оси: ,
.
Модуль по формуле (1.1)
из (1.2), при этом

1.3 Действия над комплексными числами


(сложение, вычитание, умножение и деление)
Пусть даны два комплексных числа , .
Определение 1.5. Суммой комплексных чисел и называ-
ется комплексное число
102

Определение 1.6. Разностью комплексных чисел и


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

Определение 1.7. Произведением комплексных чисел и


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

Определение 1.8. Частным от деления комплексного числа на


комплексное число называется такое комплексное число кото-
рое удовлетворяет уравнению

Для частного имеет место формула

Пример 1.4.
Вычислить
Решение. Раскрывая скобки и учитывая получим

Пример 1.5.
Вычислить
Решение. Умножим числитель и знаменатель дроби на число, сопря-
женное знаменателю .

Пример 1.6.
Вычислить
Решение. Поскольку , , , , и т. д., имеем
103

1.4 Тригонометрическая форма комплексного числа


Любое комплексное число можно записать в три-
гонометрической форме (см. рис. 1)
(1.3)
где

Пример 1.7.
Записать в тригонометрической форме
Решение. Модуль найдем по формуле (1.1)

Для нахождения аргумента определим положение на комплексной


плоскости: лежит в III четверти (см. рис.3), тогда по (1.2)

Р
ис. 3
Подставляя значения модуля и аргумента в формулу (1.3), получим
104

1.5 Действия над комплексными числами, заданными в тригоно-


метрической форме
Пусть комплексные числа и даны в тригонометрической форме
, .
1. Произведение комплексных чисел и находится по фор-
муле

т. е. при умножении комплексных чисел их модули перемножаются, а


аргументы складываются.
2. Частное двух комплексных чисел и находится по фор-
муле

3. Возведение комплексного числа в натураль-


ную степень производится по формуле
(1.4)
Часто формулу (1.4) также называют формулой Муавра.

4. Корень n-й степени из комплексного числа имеет раз-


личных значений, которые находятся по формуле

(1.5)

где

Пример 1.8.
Вычислить
Решение. Представим число в тригонометрической форме
(1.3):
105

Применяя формулу (1.4), получим

Пример 1.9.

Вычислить
Решение. Представим число в тригонометрической форме.
Число лежит на действительной оси: , .

Модуль аргумент

По формуле (1.5)

Полагая последовательно выпишем все корни


106

Рис.4

На плоскости корни располагаются на окружности радиуса 2 в верши-


нах правильного четырехугольника, вписанного в окружность радиуса
с центром в начале координат (см. рис. 4)

Пример 1.10.

Решить уравнение Корни уравнения изобразить на


комплексной плоскости.

Решение. Обозначим Уравнение примет вид


Корни этого уравнения , , откуда ,
.

Пусть Находим модуль и аргумент комплексного числа

Далее по формуле
(1.5) получаем

Откуда

По аналогии находим ,
107

т.е.

Все корни находятся на окружности радиуса (см. рис.5).

Рис. 5

1.6 Показательная форма записи комплексного числа


Используя формулу Эйлера

перепишем комплексное число в виде

где , .
Отметим, что

Пример 1.11. Записать комплексное число в тригоно-


метрической и показательной форме.
Решение. Число z находится в III четверти. Найдем модуль и аргу-
мент

Тригонометрическая форма записи


108

Показательная форма записи

1.7 Изображение множеств на комплексной плоскости


Изобразить на комплексной плоскости линии и области, заданные
уравнениями и неравенствами.
Пример 1.12. Изобразить
Решение. тогда неравенство можно переписать так:
На плоскости это определяет полуплоскость левее прямой

Рис. 6
(см. рис. 6).
Пример 1.13. Изобразить .
Решение. По определению, – это расстояние от начала координат
до точки , т.е. – это геометрическое множество точек, равноуда-
ленных от начала координат. Таким геометрическим местом является
окружность с центром в начале координат радиуса

Также можно вывести уравнение кривой алгебраическим способом.


Из (1.1) т. е. уравнение переписывается в виде

или – это и есть уравнение окружности с


центром в точке и

Пример 1.14. Изобразить


109

Решение.

Это множество точек , расстояние которых от точки не больше 2,


то есть круг с центром в радиуса 2. Множество точек таких, что

представляет собой внешность круга радиуса 1 с цен-


тром в точке Таким образом, исходное множество – кольцо с цен-
тром в точке (см. рис. 7).

Рис. 7

Пример 1.15. Изобразить


Решение: Пусть z не равно (-1). Умножим обе части неравенства на
положительное число , получим .
Положим

Возведем в квадрат:

Перенося в левую часть все слагаемые, получим


или , или – это левая полуплоскость вместе с границей
, причем выкалывается точка .
110

§ 2. Функции комплексного переменного

Сформулируем ряд основных определений, которые далее будут


часто использоваться.
Определение 2.1. -окрестностью точки называется множество
точек , лежащих внутри круга радиуса с центром в точке , т. е.
множество точек, удовлетворяющих неравенству

Определение 2.2. Областью комплексной плоскости называется


множество точек , обладающее следующими свойствами:

1. вместе с каждой точкой из этому множеству принадлежит и


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

Определение 2.4. Граничной точкой области называют такую


точку, которая сама не принадлежит , но в любой окрестности ко-
торой лежат точки этой области.

Определение 2.5. Совокупность граничных точек области назы-


вают границей этой области Г(D).

Определение 2.6. Область с присоединенной к ней границей Г(D)


называется замкнутой областью и обозначается

Определение 2.7. Говорят, что в области определена функция


с множеством значений Е, если каждой точке постав-
лено в соответствие одно (однозначная функция) или целое множество
(многозначная функция) значений   E .

Например, – однозначная функция, – -значная


функция, т.к. имеет корней, – бесконечнозначная функ-
ция, т.к. слагаемое входящее в , принимает бесконечное число
значений при
Пусть , тогда
111

где – действительная часть функции,


– мнимая часть функции.
Пример 2.1. Найти действительную и мнимую части функции

Решение. Положим тогда

Получаем
– действительная часть функции,
– мнимая часть функции.

2.1 Элементарные функции комплексного переменного


Основные элементарные функции комплексного переменного оп-
ределяются следующими формулами
1. Дробно-рациональная функция

В частности, рациональной функцией является многочлен

2. Показательная функция при z=x+iyC определяется равен-


ством
еz=еx(cosy+isiny).
В частности, при zR (т.е. при у=0) функция еz совпадает с обычной
экспонентой, а при х=0 получаем формулу Эйлера:
еiy=cosy+isiny.

Свойства показательной функции:

а) где – комплексные числа,


в) , т.е.
– периодическая функция с периодом
112

3. Тригонометрические функции
Из формулы Эйлера следует, что хR
i  x  e i  x i  x  e i  x
cos x  e , sin x  e .
2 2i
По аналогии с этими равенствами введем функции комплексного
переменного cosz и sinz zC:
i  z  e i  z i  z  e i  z
cos z  e , sin z  e .
2 2i
(2.1)
Функции и – периодические с периодом Справедли-
во основное тригонометрическое тождество: cos z+sin z=1. 2 2

Функции и определяются равенствами


Для тригонометрических функций комплексного перемен-
ного остаются в силе все формулы тригонометрии.
4. Гиперболические функции
Гиперболические функции , , , определяются равен-
ствами

Основное гиперболическое тождество ch 2 z  sh 2 z  1 .


5. Связь между тригонометрическими и гиперболическими функ-
циями

6. Логарифмическая функция , где определяется как


функция, обратная показательной, причем

(2.2)
Функция является многозначной.
Главным значением называется значение, получаемое при
113

.
Свойства функции :
a)

b)

7. Общая показательная функция определяется равенством


, (2.3)
где – любое комплексное число,
8. Общая степенная функция , где – любое комплексное
число,
. (2.4)

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


Решение. Используя формулы (2.1) получаем

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


Решение. Из формулы (2.2) получаем

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


Решение. Положим и воспользуемся формулой (2.4)

Вычислим отдельно Используя формулу (2.2), получим:


114

, ,

,
Пример 2.5. Решить уравнение корни уравнения изобразить
на комплексной плоскости.
Решение. Используя формулу (2.1), уравнение можно переписать в
виде или – это квадратное уравнение
относительно Его корни

Прологарифмируем полученное равенство

Вычислим , , получим

отсюда вычислим

Получили две серии корней


, .
Преобразуем
,

поэтому
.
Корни находятся на двух прямых, параллельных оси и отстоящих от
нее на расстояние (см. рис. 8).
115

Рис. 8

2.2 Предел и непрерывность функции комплексного переменного


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

Определение 2.8. Комплексное число называется пределом одно-


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

и – конечные точки комплексной плоскости.


Определение 2.9. Однозначная функция , заданная в области ,
называется непрерывной в точке , если

Функция f(z), непрерывная в каждой точке области D, называется


непрерывной в этой области.
Теорема 2.1. Для того, чтобы функция комплексной переменной
была непрерывна в точке ,
необходимо и достаточно, чтобы функции и были не-
прерывны в точке по совокупности переменных и
Таким образом, функция w = f(z) непрерывна в точке z0 тогда и
только тогда, когда функции u(x, y) и v(x , y) непрерывны в этой же точ-
ке. Поэтому все свойства непрерывных функций двух действительных
116

переменных переносятся без изменений на функции комплексного пе-


ременного.

Пример 2.6. Вычислить предел функции

Решение. Непосредственная подстановка в числитель и знаменатель


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

2.3 Дифференцирование функций комплексного переменного. Усло-


вия Коши-Римана
Пусть однозначная функция определена в некоторой области
комплексного переменного Пусть точки и принадлежат об-
ласти
Обозначим
, .

Определение 2.10. Однозначная функция называется


дифференцируемой в точке если отношение имеет конечный
предел при , стремящемся к нулю. Этот предел называется произ-
водной функции в данной точке и обозначается или , т.е.

Обычные правила дифференцирования функций действительного пе-


ременного остаются справедливыми для функций комплексного пере-
менного.
Определение 2.11. Однозначная функция называется аналити-
ческой в точке , если она дифференцируема в самой точке и в не-
которой окрестности этой точки.
117

Теорема 2.2. Для того, чтобы функция была


дифференцируема в точке , необходимо и достаточно, чтобы
функции , были дифференцируемы в точке и чтобы
в этой точке имели место равенства

называемые условиями Коши-Римана. При этом формулы для производ-


ной функции имеют вид:

Пример 2.7. Исследовать функцию на аналитичность.


Решение. Выделим действительную и мнимую части функции, под-
ставив вместо :
,
т. е.
, .
Функции , дифференцируемы во всех точках Про-
верим выполнение теоремы 2.2.

, , , .
Условия Коши-Римана выполнены во всех точках , т.е. выполнены
условия теоремы 2.2, следовательно, аналитическая функция
на всей комплексной плоскости.
Пример 2.8. Исследовать функцию на аналитич-
ность.
Решение. Выделим действительную и мнимую части функции, под-
ставим вместо

т.е.
, .
Функции , дифференцируемы во всех точках , про-
118

верим выполнение условий теоремы 2.2

, , , .

- первое условие Коши-Римана не выполнено ни в одной точке


комплексной плоскости. Значит, функция нигде не диф-
ференцируема, а следовательно, не является аналитической.

Свойства аналитических функций


Если , аналитические функции в области , то
1) , – также аналитические функции в области
;

2) - аналитическая функция во всех точках области , где


.
При этом имеют место формулы
,

, ,

§3. Интеграл от функции комплексного переменного и его


свойства

Пусть однозначная функция определена и непрерывна в


области . Рассмотрим кусочно-гладкую ориентированную кривую
, лежащую в т.е. будем предполагать, что на задано направле-
ние от начальной точки к конечной точке z.
Введем определение интеграла от функции комплексного пе-
ременного.
Разобьем кривую L произвольным образом на n элементарных
час-
тей , ,…, точками , ,…, . Составим интеграль-
119
n1
ную сумму σn=  f ( )  z , где
k k
 , Δzk=zk+1 – zk, k=0,1,…,
k 0

n–1. Предел интегральной суммы σn при λ= max | z | 0, если он


k k
существует и конечен, называется интегралом от функции f(z) по
кривой (вдоль кривой) L :
n 1


L
f ( z )dz = lim  f ( )  z .
 0
k 0
k k

Пусть , , где , – действи-


тельные функции переменных и . Тогда можно показать, что ин-
теграл от функции равен сумме двух криволинейных интегра-
лов, а именно

Интеграл от функции комплексного переменного обладает следую-


щими свойствами.
1. Свойство линейности.

где , – произвольные постоянные.


2. Свойство аддитивности.

где – кривая, составленная из кривых и ,


3.
где – кривая, совпадающая с , но проходимая в противопо-
ложном направлении.
4. Если функция аналитическая в односвязной области , со-
держащей точки и , то имеет место формула Ньютона-Лейбница
120

где – какая-либо первообразная для функции , т.е.


в области .
5. Если кривая задана параметрическими уравнениями
,
начальная и конечная точки дуги соответствуют значениям па-
раметра , то

где .

Пример 3.1. Вычислить интеграл по параболе ,


соединяющей точки , .
Решение. Перепишем подынтегральную функцию в виде
, т.е.
.
Используем для вычисления интеграла формулу

Для параболы имеем . Тогда

Пример 3.2. Вычислить интеграл


121

Решение. Подынтегральная функция аналитическая всюду (доста-


точно проверить все условия теоремы 2.2), можно применить форму-
лу Ньютона-Лейбница

§ 4. Ряды с комплексными членами. Ряды Тейлора и Лорана

4.1 Числовые ряды с комплексными членами


Определение 4.1. Последовательность комплексных чисел
{z n  xn  iy n } , n  1, 2,... , называется сходящейся, если сходятся соот-
ветствующие последовательности действительной части {xn } и мни-
мой части { yn } .
Пусть задана последовательность комплексных чисел
{z n  xn  iy n } , n  1, 2,... . Составленное из членов этой последователь-

ности выражение z1  z 2  ...  z n  ...   z n называется числовым ря-


n 1
дом с комплексными членами, z n - общий член ряда.

Сумма S n  z1  z 2  ...  z n называется n-ой частичной суммой


ряда. Частичные суммы образуют новую числовую последователь-
ность S1 , S 2 ,..., S n ,... .
Определение 4.2. Числовой ряд с комплексными членами называ-
ется сходящимся, если существует конечный предел последователь-
ности его частичных сумм, т.е.  lim S n  S . Число S называется
n 
суммой ряда.
Числовой ряд называется расходящимся, если предел последо-
вательности частичных сумм равен бесконечности или не существу-
ет.
Исследование ряда с комплексными членами сводится к иссле-
дованию двух вещественных рядов на основании следующего
утверждения.
Сходимость ряда с комплексными членами
122
 

 z n   (xn  iy n ) к сумме S  A  iB равносильна сходимости


n 1 n 1
 
двух вещественных рядов 
n 1
xn и 
n 1
y n соответственно к суммам

A и B.
Определение 4.3. Ряд с комплексными членами называется абсо-
лютно сходящимся, если сходится ряд из модулей
  

| zn | 
n 1
| (xn  iy n ) |  
n 1 n 1
xn  y n .
2 2

Теорема4.1. Если сходится ряд из модулей членов данного ряда,


то сходится и сам ряд с комплексными членами.

4.2 Степенные ряды с комплексными членами. Ряд Тейлора


Пусть дана последовательность функций комплексной пере-
менной
u1 ( z ), u2 ( z ), ..., un ( z ), ... ,
определенных на некотором множестве D комплексной плоскости:
D  C . Выражение вида

u1 ( z )  u 2 ( z )  ...  u n ( z )  ...   u n ( z )
n 1

называется функциональным рядом с комплексными членами.


Определение 4.4. Множество значений переменной z , при кото-
рых функциональный ряд сходится, называется областью сходимо-
сти функционального ряда.
Определение 4.5. Степенным рядом с комплексными членами
называется функциональный ряд вида

c
n 0
n ( z  z 0 ) n  c0  c1 ( z  z 0 )  c2 ( z  z 0 ) 2  ...

Здесь z - комплексная переменная, cn и z 0 - комплексные числа.


При z0  0 степенной ряд имеет вид

c z
n 0
n
n
 c0  c1 z  c2 z 2  ... .

Теорема 4.2. (теорема Абеля). Пусть степенной ряд


123

c
n 0
n ( z  z 0 ) n  c0  c1 ( z  z 0 )  c2 ( z  z 0 ) 2  ...

сходится в некоторой точке z1  z0 . Тогда этот ряд абсолютно сходит-


ся в круге z  z0  z1  z0  R .

Следствие. Если степенной ряд c (z  z
n 0
n 0 ) n расходится в не-

которой точке z1  z 0 , то этот ряд расходится в области


z  z0  z1  z0  R , т.е. вне круга z  z0  z1  z0  R .

Следствие. Для степенного ряда a
n 0
n ( z  z 0 ) n существует чис-

ло R , 0  R   , называемое радиусом сходимости степенного ряда,


такое, что внутри круга z  z0  R ряд сходится, а вне этого круга,
т.е. в области z  z0  R , ряд расходится.

Если R - радиус сходимости, то область z  z0  R называется


кругом сходимости степенного ряда. В точках границы z  z0  R
ряд может как сходиться, так и расходиться. В этом случае требуется
дополнительное исследование.
Теорема 4.3. Функция аналитическая в круге ,
представляется в нем единственным образом в виде сходящегося к
ней степенного ряда – ряда Тейлора

коэффициенты которого вычисляются по формулам

Здесь – окружность с центром , целиком лежащая в круге схо-


димости .
Предполагается, что окружность проходится в положительном
направлении, т.е. против часовой стрелки.
Имеют место следующие разложения в ряд Тейлора в окрестности
точки .
124

, , (4.1)

,
(4.2)

,
(4.3)
,

, ,

при ,
, (4.4)
,

, .

Пример 4.1. Разложить функцию

по степеням .
Решение. Введем новую переменную , выразим
и подставим в функцию

Воспользуемся формулой (4.4), подставляя вместо :

Сделаем обратную замену


125

Этот ряд сходится при условии , или .

4.3 Ряд Лорана


Определение 4.6. Рядом Лорана называется ряд вида

где , – комплексные постоянные, – комплексная переменная.


Определение 4.7. Ряд

называется главной частью ряда Лорана.


Ряд

называется правильной частью ряда Лорана.


Ряд Лорана сходится в области, в которой сходятся ряды

Областью сходимости первого из этих рядов является внешность


круга . Областью сходимости второго ряда является
внутренность круга .
Если , то ряд Лорана сходится в кольце .
126

Здесь ,

Теорема 4.4. Функция однозначная и аналитическая в кольце


(не исключаются случаи и ) пред-
ставляется в этом кольце единственным образом в виде ряда Ло-
рана

где коэффициенты находятся по формулам

Здесь – произвольная окружность с центром в точке , лежащей


внутри данного кольца.

4.4 Примеры разложений функции в ряд Лорана

Пример 4.2. Разложить в ряд Лорана функцию


по степеням (z-3).

Решение. Сделаем замену , получим . Исполь-


зуя разложение (4.3), получим

тогда

Это разложение справедливо для любой точки . В данном слу-


чае «кольцо» представляет собой всю комплексную плоскость с од-
127

ной выброшенной точкой . что можно записать так:


. Здесь , . В указанной области –
аналитическая.

Пример 4.3. Получить все разложения функции

в ряд по степеням
Решение. Приравняем знаменатель дроби к нулю
, отсюда , . Изобра-
зим на комплексной плоскости возможные области. Для этого прове-
дем окружности с центром в через точки z1  2 и z 2  1 .
Получим три «кольца» с центром в точке , в каждом из кото-
рых является аналитической:
1) круг ,
2) кольцо ,
3) – внешность круга (см. рис. 9)

Рис. 9

Найдем ряды Лорана для функции в каждой из этих областей.


Для этого представим в виде суммы элементарных дробей
128

и нашли методом неопределенных коэффициентов.

1) Рассмотрим круг . Преобразуем :

Используя формулу (4.4), получим

Это разложение является рядом Тейлора функции , т.к. в этой


области функция является аналитической. При этом ряд для функции
сходится при ,

сходится при или , т.е. внутри круга оба ряда


сходятся.
2) Рассмотрим кольцо . Ряд для функции остается

сходящимся в этом кольце, т.е. , а ряд для функции расхо-


дится при . Поэтому преобразуем следующим образом

Применяя формулу (4.4), получаем


129

Этот ряд сходится для , т.е. при и при z  2 .

3) Рассмотрим . Ряд для функции при расходит-

ся, а ряд для функции сходится, если , то условие

выполняется. Представим в виде

Используя формулу (4.4), получим

Таким образом, в разных областях функция представима раз-


ными рядами.

Пример 4.4. Разложить функцию в ряд Лорана

в кольце .

Решение. Представим в виде суммы элементарных дробей

Введем новую переменную , т.е. и перепишем


130

функцию . Используя разложение

(4.4), получим

Область сходимости этого ряда или . Таким об-

разом, разложение в ряд Лорана в кольце имеет вид

Слагаемое является степенью и поэтому не требует


дальнейшего разложения. Оно образует главную часть ряда Лорана.

§ 5. Теория вычетов функций

5.1 Нули аналитической функции


Определение 5.1. Точка называется нулем n-го порядка анали-
тической в окрестности функции , если

Если , то точка называется простым нулем.


Теорема 5.1. Точка является нулем n-го порядка функции ,
аналитической в точке , тогда и только тогда, когда имеет ме-
сто равенство

где аналитическая в точке и .


Пример 5.1. Найти нули функции , определить
порядок нуля.
Решение. Приравняем нулю, получим , откуда
– нули данной функции.
131

Найдем
,

.
Согласно определению (5.1), являются нулями второго по-
рядка.

Пример 5.2. Найти нули функции ,


определить порядок нуля.
Решение. Приравняем нулю, получим , ,
. Можно воспользоваться определением (5.1), однако проще
использовать теорему 5.1. Функция представима в виде
, но тогда является нулем порядка 7, функ-
цией является сомножитель , ;
, является нулем порядка 1, функцией в данном случае яв-
ляется , .

5.2 Изолированные особые точки

Определение 5.2. Точка называется изолированной особой


точкой функции , если аналитическая в некоторой окрест-
ности этой точки, за исключением самой точки , а в точке
функция не определена или не дифференцируема.
Определение 5.3. Точка называется устранимой особой точ-
кой функции , если существует конечный предел функции в
точке

Пример 5.3. Найти особые точки функции и устано-


вить их тип.
Решение. Особая точка функции - это Вычислим
132

т.е. – устранимая особая точка.

Определение 5.4. Точка называется полюсом функции , ес-


ли
.

Теорема 5.2. Для того, чтобы точка была полюсом функции


необходимо и достаточно, чтобы эта точка была нулем для
функции .

Теорема 5.3. Пусть является аналитической в окрестности


точки . Если точка – нуль порядка n для , то точка –
полюс порядка n для функции .

Замечание. Если точка – полюс порядка n для , то точка


– нуль порядка n для функции при условии .

Отметим, что без последнего условия утверждение ста-


sin z
новится неверным. В самом деле, если , то z=0 – полюс
z2
2
первого порядка. Однако функция = z не определена
sin z
при z=0.
Теорема 5.4. Если функцию можно представить в виде
, где аналитическая функция в точке и

, то точка является полюсом порядка функции


.
Замечание. Теорема остается справедливой, если – устранимая
особая точка функции и существует .

Например, если = ,а , то =0 – полюс перво-


го порядка функции .

Пример 5.4. Найти особые точки функции

и установить их тип.
133

Решение. Найдем нули функции . Поскольку

, то для функции точка – это нуль


третьего порядка согласно теореме 5.1, а z – нуль первого поряд-
ка. Пользуясь теоремой 5.2, имеем: – это полюс третьего по-
рядка функции ,аz – полюс первого порядка.

Теорема 5.5. Если функция представима в виде


и точка является нулем порядка для функции и нулем по-
рядка для функции , тогда
1. если , то точка устранимая особая точка функ-
ции ;
2. если , то точка будет полюсом порядка
функции .
Пример 5.5. Найти особые точки функции
и установить их тип.

Решение. Особыми точками функции являются и


. В точке числитель и знаменатель обращаются
в нуль. Для числителя число является нулем 1
порядка, так как , то – нуль 1-го по-
рядка, т.е. в теореме 5.5 . Знаменатель по
теореме 5.1 в точке имеет нуль 2-го порядка, т. е. . Следо-
вательно по теореме 5.5 – порядок полюса функции .

В точке перепишем функцию в виде , где

– аналитическая функция в точке z ,

. По теореме 5.4 – полюс 4-го порядка.


Окончательно, – полюс первого порядка, – полюс 4-го
порядка.

Определение 5.5. Точка называется существенно особой точ-


кой, если в этой точке не существует ни конечного, ни бесконечного
134

предела функции при z .

5.3 Классификация изолированных особых точек по виду глав-


ной части ряда Лорана
Теорема 5.6. Точка является устранимой особой точкой, если в
разложении в ряд Лорана в окрестности точки отсутству-
ет главная часть, т.е.

Теорема 5.7. Точка является полюсом n-го порядка функции


, если главная часть ряда Лорана для в окрестности точ-
ки содержит конечное число слагаемых, т.е.
, где .

Теорема 5.8. Точка является существенно особой точкой для


функции , если главная часть ряда Лорана для в окрестно-
сти содержит бесконечное количество членов.

Пример 5.6. Найти особые точки функции .

Определить тип особой точки.


Решение. Особая точка функции Используя разло-
жение в ряд Тейлора для функции (4.2) в окрестности точки
, получим разложение функции в окрестности нуля в ряд
Лорана

Это разложение не содержит главной части. Поэтому точка


является устранимой особой точкой.
135

Пример 5.7. Найти особые точки функции .


Определить тип особой точки.
Решение. Используя разложение в ряд Тейлора для функции
(4.1) в окрестности точки , получим разложение функции
в ряд Лорана

Разложение в ряд Лорана функции содержит конечное число


членов с отрицательными степенями . Следовательно, точка
является полюсом четвертого порядка, т. к. наибольший показатель
степени , содержащихся в знаменателях членов главной части ряда
Лорана, равен четырем.

Пример 5.8. Найти особые точки функции


Определить тип особой точки.
Решение. Используем разложение (4.1)

Полагая , получим разложение функции в ряд Лорана


по степеням

Это разложение содержит бесконечное множество членов с отри-


цательными степенями . Следовательно, точка явля-
ется существенно особой точкой функции .
136

5.4 Вычеты функций


Определение 5.6. Вычетом аналитической функции в изоли-
рованной особой точке называется комплексное число, обознача-
емое символом и определяемое равенством

где – любой контур, лежащий в области аналитичности функции


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

Теорема 5.9. Вычетом аналитической функции в изолирован-


ной особой точке является коэффициент при в
разложении функции в ряд Лорана в окрестности точки .
Формулы для вычисления вычетов функции .
1. Если – устранимая особая точка функции ,
то .
2. Если – полюс порядка функции , то

В частности, если – простой полюс, т.е. полюс первого порядка


, то

3. Если точка – существенно особая точка функции , то для


нахождения вычета нужно найти коэффициент в разложении
функции в ряд Лорана: .

Пример 5.9. Найти вычеты функции в ее особых


точках.
Решение. Особыми точками функции являются точки ,
.
137

В точке

Следовательно, – устранимая особая точка и .


Точка - это полюс первого порядка. Тогда

Пример 5.10. Найти вычет функции в особой


точке.
Решение. Особая точка функции - точка . Выпишем
разложение функции в ряд Лорана по степеням , используя
формулу (4.4)

Главная часть ряда Лорана содержит бесконечное число членов, по-


этому точка - существенно особая точка функции . Вычет
функции в точке есть коэффициент , т.е.
, (теорема 5.9).

Пример 5.11. Найти вычет функции в ее особых


точках.
Решение. Особые точки функции находятся из решения
уравнения , т.е. . Получаем,
– полюс третьего порядка,
– полюсы первого порядка.
Используя приведенные выше формулы для вычисления вычетов,
найдем вычеты в точках , :

,
138

Найдем вычет в точке :

§ 6. Приложения теории вычетов

6.1. Основная теорема о вычетах


Теорема 6.1. Если функция является аналитической всюду
внутри области D, за исключением конечного числа изолированных
особых точек , лежащих внутри кусочно-гладкой замкну-
той кривой Г, ГD, тогда

Контур Г проходится в положительном направлении, т.е. против ча-


совой стрелки.

Пример 6.1. Вычислить интеграл .

Решение. Находим особые точки подынтегральной функции:


– полюс второго порядка,
– полюсы первого порядка.

Рис. 10
139

Нарисуем контур z  2  1 . Внутри контура лежит только одна осо-


бая точка (см. рис. 10).
По основной теореме о вычетах получаем

Найдем :

Далее получим

Пример 6.2. Вычислить интеграл .


Решение. В области функция имеет од-
ну особую точку . Разложение в ряд Лорана для заданной
функции имеет вид (используем формулу (4.1))

Главная часть ряда Лорана содержит бесконечное число членов, по-


этому существенно особая точка. Вычет в этой точке равен
коэффициенту , т.е. . По теореме 6.1 получаем
ответ:
140

6.2 Вычисление несобственных интегралов

6.2.1 Интегралы от рациональных функций


Теорема 6.2. Если , где , – многочлены, причем
многочлен не имеет действительных корней и степень «m»
хотя бы на две единицы больше степени «n» , то

где и – полюсы функции , лежащие в верхней полу-


плоскости.

Пример 6.3. Вычислить интеграл


, .
Решение. Подынтегральная функция

является четной. Поэтому

Введем функцию . Функция имеет две особые


точки , – это полюсы второго порядка. В верхней полу-
плоскости находится точка , . Условия теоремы 6.2 для
функции выполнены. Вычислим :

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

6.2.2 Вычисление интегралов с тригонометрическими функциями

Пусть функция f(z) удовлетворяет следующим двум условиям (6.1):


1) f(z) – аналитическая в верхней полуплоскости и на действитель-
ной оси, кроме конечного числа полюсов, лежащих в верхней полуплос-
кости;
2) при z → ∞ в верхней полуплоскости и на действительной оси
zf(z) 0 равномерно по аргументу z, т.е. max | z  f ( z ) | 0 при
zC R

R , контур – полуокружность в верхней полуплоскости.


При этом справедливо равенство

n
f ( x)dx 2i   resf ( zk ) .
R
lim
R    R  k 1
(6.2)
n

Здесь  resf ( z )
k 1
k – сумма вычетов f(z) относительно полюсов, ле-
жащих в верхней полуплоскости. Разобьем интервал (−R, R) на части
(−R, 0) и (0, R) и заменим в первом из интегралов x на (−x). В результате
n
[ f ( x)  f ( x)]dx 2i   resf ( zk ) . Следовательно,
R

  0
получим Rlim
k 1
 n

 [ f ( x)  f ( x)]dx 2i   resf ( zk ) . (6.3)


0
k 1
Используем полученный результат в частном случае, когда подын-
тегральная функция f(z) имеет вид: f(z) = F(z)eiaz , a >0, где функция F(z)
удовлетворяет двум условиям (6.1). Тогда этим же условиям будет удо-
влетворять и функция f(z). Таким образом, если F(z) удовлетворяет двум
условиям (6.1), то
 n

 [ F ( x)  eiax  F ( x)  eiax ]dx 2i   res[ F ( zk )  eiazk ] . (6.4)


0
k 1

Пусть F(z) − четная функция, т. е. F(−z) = F(z). Тогда из (6.4) по-


лучаем
 n

 F ( x)  cos(ax)dx i   res[ F ( zk )  eiazk ] . (6.5)


0
k 1
142

Аналогично, если F(z) − нечетная функция, т. е. F(−z) = −F(z), то


 n

 F ( x)  sin(ax)dx    res[ F ( zk )  eiazk ] (6.6)


0
k 1
Замечание. Отметим, что формулу (6.2) нельзя, вообще говоря, пи-
сать в виде
 n

 f ( x)dx 2i   resf ( zk ) . В формуле (6.2) интеграл рассматри-



k 1
вается в смысле главного значения [см. 6]. Но если из каких-либо сооб-
ражений известно, что этот интеграл существует как обычный несоб-
ственный интеграл, то в этом случае интеграл в смысле главного значе-
ния совпадает с обычным несобственным интегралом.
Следующая лемма позволяет ослабить условия (6.1), наложенные
на функцию F(z). При этом формулы (6.5) и (6.6) сохраняются.
Лемма Жордана. Если F(z) в верхней полуплоскости и на дей-
ствительной оси удовлетворяет условию: F(z)  0 равномерно при z 
∞ и a>0, то
lim  F ( z )  eiazdz  0 .
R  
CR

Здесь контур – полуокружность в верхней полуплоскости ( рис.


11).

Рис. 11
Пользуясь леммой Жордана, можно доказать справедливость формул
(6.5) и (6.6) при более слабых предположениях относительно функции
F(z). Вместо второго условия (6.1) достаточно потребовать, чтобы F(z)
0 равномерно при z ∞. Требование четности (нечетности) функции
F(z) сохраняется.
Если F(z)= R(z) – рациональная функция, то справедливо следую-
щее утверждение [см. 1].
143

Теорема 6.3. Пусть R(z) – рациональная функция, у которой степень


числителя меньше степени знаменателя, R(z) не имеет полюсов на дей-
ствительной оси, и в верхней полуплоскости имеет полюса z1, z2, …, zn;
при z=x функция R(x) действительна при действительных x. Тогда для
любого

Следствие. Воспользовавшись формулой Эйлера:


получим

Отметим, что в теореме 6.3 не требуется четность (нечетность)


функции F(z).

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

Решение. Введем вспомогательную функцию . Если


, то совпадает с подынтегральной функцией
. Поскольку подынтегральная функция четная, то

Функция удовлетворяет условиям леммы Жордана.


Тогда получаем

– особая точка функции , находится в верхней полуплоскости


и является простым полюсом.
144

– также особая точка , находится в нижней полуплоскости и


в вычислении интеграла не используется.
Вычислим вычет в точке

Подставляя полученное значение, получим

В заключении приведем список использованных источников.

Литература

1. Евграфов М.А. Аналитические функции. - М.: Физ.- мат. лит.,


1991.-
448 с.
2. Лаврентьев М.А., Шабат Б.В. Методы теории функций комплексно-
го переменного. – М.: URSS., 1987. – 688 с.
3. Маркушевич А.И. Теория аналитических функций. Начало теории.
Т.1. – М.: URSS., 2009. – 496 с.
4. Маркушевич А.И. Теория аналитических функций. Дальнейшее по-
строение теории. Т.2. – М.: URSS., 2009. – 624 с.
5. Привалов И.И. Введение в теорию функций комплексного перемен-
ного. – М.: URSS., 2015. – 440 с.
6. Смирнов В.И. Курс высшей математики. Том III. Часть 2. – СПб.,
2010. - 816с.
7. Шабат Б.В. Введение в комплексный анализ (в 2-х частях). – М.:
URSS., 2015. – 800 с.

ЗАКЛЮЧЕНИЕ
145

Теория рядов и теория функций комплексного переменного имеют


широкое применение в различных дисциплинах, используются при ре-
шении прикладных задач.
В математическом анализе степенные ряды применяются, напри-
мер, для вычисления предела функции, при выполнении приближенных
вычислений, вычислении значений производной функции в точке. Тео-
рия рядов используется в теории функций комплексной переменной. В
курсе обыкновенных дифференциальных уравнений с помощью рядов
решают задачу Коши.
В теории вероятностей и в курсе случайных процессов к рядам
обращаются при рассмотрении вопросов нахождения характеристик
случайных величин, производящей функции, используют для
спектрального разложения стационарных случайных процессов.
В курсе радиотехники с помощью рядов Фурье изучаются
периодические сигналы, строятся амплитудные и фазовый спектры.
Теория функции комплексного переменного – один из важнейших
разделов математического анализа, тесно связанный с теорией рядов.
Основные положения ТФКП широко применяются при решении многих
прикладных проблем. В настоящем пособии рассмотрены вопросы при-
менения теории вычетов к вычислению контурных и несобственных ин-
тегралов. Но в действительности спектр использования ТФКП значи-
тельно шире. Например, идеи курса применяются при рассмотрении во-
просов нахождения числа корней алгебраического уравнения, при вос-
становлении оригинала по его изображению, при изучении четырехпо-
люсников и т.д.
В целом настоящее пособие обеспечивает полноценное формиро-
вание компетенций бакалавра по направлениям подготовки ИИТ. Мате-
риал пособия может быть полезен и при реализации некоторых про-
грамм магистратуры.

СОДЕРЖАНИЕ

Введение…………………………………………………………………….3
Методические указания……………………………………………………4
146

Часть 1. Основные типы задач для подготовки к контрольным работам и


экзамену……………………………………………………………………..9
Часть 2. Типовой расчет………………………………………………......27
Часть 3. Основные определения, теоремы, примеры решения за-
дач…………………………………………………………………………..40
Заключение……………………………………..…………………………138