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

2009

М. С. Семчёнок, Е. Н. Бегун,
В. А. Власьева, В. Г. Галкина

Математика
Конспект лекций
Часть третья

Конспект вёл А. Димент


СПбГУКиТ, ФАВТ, гр. 712
ГЛАВА 10. ЧИСЛОВЫЕ РЯДЫ
§10.1. ПОНЯТИЕ О СХОДИМОСТИ ЧИСЛОВЫХ РЯДОВ

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

, , ,…, ,… (1)
Выражение вида
+ + +⋯+ +⋯ (2)

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


Числа (1) называются членами ряда, — общий член ряда.
Рассмотрим частичные суммы ряда:
=
= +

= + +⋯+

Суммой ряда (2) называется конечный предел


lim = (3)

Если предел (3) конечен, то говорят, что ряд (2) сходится, и число на-
зывается суммой этого ряда. Если же предел (3) равен бесконечности
или не существует, то говорят, что ряд (2) расходится. Заметим, что
выражение (2) можно записать в более краткой форме: ∑ .

Если ряд (2) сходится, и — его сумма, то будем писать

=
4 ГЛАВА 10. ЧИСЛОВЫЕ РЯДЫ

Рассмотрим примеры:

1 1 1 1 1
) = + + + ⋯+ +⋯
( + 1) 1 ∙ 2 2 ∙ 3 3 ∙ 4 ( + 1)

Перепишем данный ряд так:

1 1
+
+1

Тогда = 1− + − + − + ⋯+ − =1−

1
lim = lim 1 − = 1.
→ → +1

1
Следовательно, ряд сходится. Значит, можно записать = 1.
( + 1)

) = + + + ⋯+ +⋯

Известна формула суммы членов геометрической прогрессии:



= , ≠1
1−

lim = lim − = , если | | < 1.


→ → 1− 1− 1−
В этом случае геометрическая прогрессия сходится. Отсюда же видно,
что если | | > 1, то данный ряд расходится.

Рассмотрим отдельно случай = 1. = + + + ⋯+ +⋯

lim = lim = ∞.
→ →

Пусть = −1. (−1) = − + − + ⋯ + (−1) ∙ +⋯

0, если — чётное
= ⇒ lim не существует.
, если — нечётное →
5

С ВОЙСТВА РЯДОВ

1) Если в члены данного ряда добавить (или отбросить) конечное чис-


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

) Пусть дан сходящийся ряд = . Тогда

∙ = ∙ ,

где — константа. То есть если у сходящегося ряда все его члены умно-
жить на константу, то получим тоже сходящийся ряд, и его сумма равна
∙ .

3)

= ⎫

⇒ ( + )= +

= ⎪

4) Необходимое условие сходимости.

Если ряд сходится, то =


Доказательство: = +

lim = lim ( − ) = lim − lim = − =0


→ → → →

Обратное утверждение неверно, то есть из условия lim → =0


не следует, что ряд сходится.
6 ГЛАВА 10. ЧИСЛОВЫЕ РЯДЫ

1 1 1 1 1
Рассмотрим пример. = + + +⋯+ +⋯
√ √1 √2 √3 √

Необходимое условие сходимости выполнено: lim → = 0.


1 1 1 1 1 1 1 1
= + + + ⋯+ > + + + ⋯+ =√
√1 √2 √3 √ √ √ √ √

√ → ∞ при →∞ ⇒ тем более → ∞. lim → = ∞, ряд расходится.

Итак, если необходимое условие выполнено, то ряд может как сходить-


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

Например, . lim = 1.
+2 → +2

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

— геометрическая прогрессия. Сходится,


если | | < 1.

— обобщённый гармонический ряд.


Сходится, если > 1;
расходится, если ≤ 1.

Частный случай обобщённого гармонического ря-


да имеет название гармонического. Расходится.
7

§10.2. РЯДЫ С ПОЛОЖИТЕЛЬНЫМИ ЧЛЕНАМИ

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


тельными членами.

1) П ЕРВ ЫЙ ПРИЗНАК СРАВ НЕНИЯ

Рассмотрим ряды

(1)

(2)

> 0, > 0 при любых .


И пусть ≤ .
Если сходится ряд (2), то сходится и ряд (1). Если расходится ряд (1), то
расходится и ряд (2).

Доказательство:
Частичные суммы рядов (1) и (2) обозначим соответственно через
и . По условию ряд (2) сходится, значит, существует конечный
предел lim → = . Следовательно, частичная сумма ряда (1)
ограничена сверху, то есть ≤ . Но частичная сумма монотон-
но возрастает при → ∞. И поскольку она ограничена сверху, то
она имеет конечный предел lim → = . А это и означает
сходимость ряда.
8 ГЛАВА 10. ЧИСЛОВЫЕ РЯДЫ

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


грессию, а также обобщённый гармонический и гармонический ряды.

1
Например,
+7

1 1
Выполним оценку. = < =
+7

1
Рассмотрим ряд

< 1, ряд сходится, а члены его больше членов исходного. Следователь-


но, исходный ряд сходится.

2) В ТОРОЙ ПРИЗНАК С РАВНЕНИЯ

(3)

(4)

Рассмотрим предел

lim = , 0< < ∞.


Тогда ряды (3) и (4) либо оба сходятся, либо оба расходятся.

1
Например, tg и
4

tg
lim 4 = lim 4 =
→ 1 → 1 4

Следовательно, ряды ведут себя одинаково, а значит, исходный ряд рас-


ходится.
9

3) П РИЗНАК Д АЛАМБЕРА

, >0

Найдём предел отношения последующего члена этого ряда и предыду-


щего.

lim = >0

Тогда

1. Если < 1, то ряд сходится.


2. Если > 1, то ряд расходится.
3. Если = 1, то нужно воспользоваться другим методом (сравнения, на-
пример).

Доказательство.
Рассмотрим случай 1, < 1. Из < 1 следует, что найдётся такое
число < < 1, причём < хотя бы начиная с номера .

< ∙
< ∙ < ∙
< ∙ < ∙

Мы получили для сравнения ряд .

Этот ряд сходится при условии, что < 1. Тогда по первому при-
знаку сравнения сходится и исходный ряд.

Рассмотрим случай 2, > 1. Тогда найдётся такое > 1, для ко-


торого будет выполняться соотношение > > 1. В этом
случае не выполнено необходимое условие сходимости. Ряд расхо-
дится.
10 ГЛАВА 10. ЧИСЛОВЫЕ РЯДЫ

Например,
7

=
7
+1
=
7
( + 1)7 1 +1 1 1 1
lim = lim = lim 1 + = < 1, ряд сходится.
→ 7 7 → 7 → 7

4) Р АДИКАЛЬНЫЙ ПРИЗНАК К ОШИ

, > 0, lim =

Тогда
1. Если < 1, то ряд сходится.
2. Если > 1, то ряд расходится.
3. Если = 1, то признак не срабатывает.

Доказательство.
Случай 1, < 1. Выберем такое , чтобы < < 1. Тогда хотя бы с
некоторого > будет выполнено соотношение < ⇒
< . То есть для применения первого признака сравнения
имеем геометрическую прогрессию ∑ . Следовательно, ряд
сходится при < 1.

Случай 2. > ⇒ > ⇒∑ ⇒ ряд расходится.

1 1 1
Например, 1+ . lim 1+ = lim 1 + = > 1,
→ →

ряд расходится.
11

5) И НТЕГ РАЛЬНЫЙ ПРИЗНАК К ОШИ

Рассмотрим ряд , > 0, ≥1

И рассмотрим функцию ( ), удовлетворяющую условиям:

1. ( ) > 0
2. ( ) убывающая
3. ( ) непрерывная

4. ( ) =
Тогда данный ряд и несобственный интеграл

( )

ведут себя одинаково.


12 ГЛАВА 10. ЧИСЛОВЫЕ РЯДЫ

Примеры.

1
)
1+

1
( )=
1+

= lim = lim =
1+ → 1+ → 1 4

Интеграл сходится, а значит, сходится и ряд.

1
)

1
( )=

сходится при >1


= lim = lim =
→ → 1− 1
расходится при ≤1

Рассмотрим ряды

1⎫


1⎪

1
Оба они сходятся, но быстрее.
13

§10.3. ЗНАКОПЕРЕМЕННЫЕ РЯДЫ.


ЗНАКОЧЕРЕДУЮЩИЕСЯ РЯДЫ

Ряд ∑ называется знакопеременным, если члены этого ряда ме-


няют знак в произвольном порядке.

Теорема. Рассмотрим ряд (1)

и ряд, составленный из модулей членов этого ряда | |. (2)

Если ряд (2) сходится, то сходится и ряд (1). В этом случае говорят, что
ряд (1) сходится абсолютно. Если же ряд (2) расходится, то ряд (1) мо-
жет как сходиться, так и расходиться. Если в этом случае окажется, что
ряд (1) сходится, то говорят, что он сходится неабсолютно (условно).

Доказательство. Пусть — частичная сумма ряда (1), — час-



тичная сумма ряда (2). Кроме того, пусть — сумма положи-
|⊖|
тельных членов частичной суммы , — сумма модулей от-
рицательных членов частичной суммы . Можно написать, что
⊕ |⊖|
= − (3)
⊕ |⊖|
= +

Раз ряд (2)сходится, то существует конечный предел lim = .


⊕ | |

и возрастают при → ∞, причём они ограничены
сверху. Отсюда следует, что существуют конечные пределы
⊕ |⊖|
lim и lim
→ →

Тогда из (3) следует, что существует конечный предел lim .



14 ГЛАВА 10. ЧИСЛОВЫЕ РЯДЫ

sin
Например,

|sin |
Составим ряд из модулей

|sin | 1

1
сходится, = 3.

Применим признак сравнения. Ряд сходится абсолютно.

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


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

(−1) , >0

или − + − + ⋯ + (−1) +⋯ (4)

Т ЕОРЕМА Л ЕЙБНИЦА

Если для ряда (4) выполняются следующие условия:


1. > > >⋯> >⋯
2. lim = 0,

тогда ряд (4) сходится, и его сумма меньше его первого члена: < .

Доказательство. Рассмотрим только чётные частичные суммы

Пусть =2 , = 1, 2, 3 …
15

( − ) ( − ) ( − )
= ⋁ + ⋁ +⋯+ ⋁
0 0 0
Следовательно, чётная частичная сумма возрастает.

Напишем снова частичную сумму


( − ) ( − )
= − ⋁ + ⋯+ ⋁ − ⋁
0 0 0
Выходит, от мы вычитаем положительные члены. ⇒ < .
То есть чётная частичная сумма возрастает и ограничена сверху,
следовательно, существует конечный предел

lim =

Теперь рассмотрим нечётные частичные суммы. Легко видеть, что


при = 2 + 1
= +
lim ( + ) = lim =
→ →

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

1 1 1 1 1
Например, (−1) =1− + − + ⋯ + (−1) ∙ +⋯
2 3 4

Составим ряд из модулей. ∑ 1 расходится.

Воспользуемся теоремой Лейбница.


1 1 1
1> > >⋯> >⋯
2 3
1
lim =0

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


ГЛАВА 11. СТЕПЕННЫЕ РЯДЫ
§11.1. ПОНЯТИЕ О ФУНКЦИОНАЛЬНЫХ РЯДАХ

Рассмотрим функциональную последовательность:


( ), ( ), ( ), … , ( ), … (1)

Выражение вида
( )+ ( )+ ( ) + ⋯+ ( )+⋯ (2)

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

Можно записать в виде

( ).

Если в функциональном ряде положить = , то получим числовой


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

Положим теперь в ряде (2) = . Получим числовой ряд ∑ ( ).


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

Множество точек, в которых функциональный ряд (2) сходится, называ-


ется областью сходимостью функционального ряда.
17

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


Рассмотрим
( )= ( )+ ( )+⋯+ ( ) (3)

lim ( )= ( ) (4)

Множество , при которых предел (4) существует, называется областью


сходимости ряда (2). А при которых не существует — областью рас-
ходимости.

Например, геометрическая прогрессия

1− + + ⋯+ + ⋯.
= 1, =
( )=1− + +⋯+
1
lim ( )= =
→ 1− 1−
1 (5)
(1 − ) = 1 + + + ⋯+ +⋯

Область сходимости — это интервал −1 < < 1.

расходимость сходимость расходимость


-1 0 1

Положим в (5) = 0. Тогда слева получается 1, а справа — тоже 1.


1 1 1
Пусть = ∶ 2 =1+ + +⋯
2 2 4
Пусть =2∶ −1 = 1 + 2 + 4 + 8 + ⋯ = ∞
Всё оттого, что мы вышли за интервал сходимости.

Мы будем изучать функциональные ряды двух видов: степенные ряды


( ( ) = ( − ) ) и тригонометрические ряды Фурье ( cos +
sin ).
18 ГЛАВА 11. СТЕПЕННЫЕ РЯДЫ

§11.2. СТЕПЕННЫЕ РЯДЫ

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

+ + + ⋯+ +⋯

или (1)

Т ЕОРЕМА А БЕЛЯ

1. Если степенной ряд (1) сходится при некотором ≠ 0, то он сходится


абсолютно для всех , таких что | | < | |.
2. Если степенной ряд (1) расходится при некотором = , то он расхо-
дится для всех , таких что | | > | |.

Доказательство. Рассмотрим ряд (1), пусть он сходится в точке .


Тогда lim → = 0, а значит, общий член ряда (1) ограничен:
| |< (2)

Рассмотрим ряд из абсолютных величин исходного ряда: | |

И оценим общий член этого ряда.

| |= ∙ ∙ =| ∙ |∙ < ∙ исходя из (2)

где = < 1, так как | | < | |.

Рассмотрим теперь ряд , < 1.

Ряд сходится, как геометрическая прогрессия со знаменателем .

А если сходится ряд с бо́льшими членами, то сходится и ряд (1) при


| | < | | по признаку сравнения.
19

Теперь докажем второе утверждение. Пусть ряд расходится при


некотором . Докажем, что он расходится при всех | | > | |. До-
кажем от противного. Допустим, найдётся какое-то ∗ , | ∗ | > ,
такое что ряд (1) в этой точке сходится. Значит, по первому утвер-
ждению он сходится при всех | | < | ∗ |. Следовательно, сходится
он и в , что противоречит условию.

Т ЕОРЕМА 2.

Для всякого степенного ряда (1) существует такое число ≥ 0, такое что
ряд (1) сходится для всех ∈ (− ; ) и расходится для всех ∉ [− ; ].

Замечание 1. При = 0 интервал сходимости вырождается в (∙) = 0.


Замечание 2. При = ∞ интервал сходимости — это вся числовая ось.
Замечание 3. При = и =− нужно исследовать сходимость до-
полнительно.
называется радиусом сходимости степенного ряда.
Для того чтобы получить формулу для определения , воспользуемся
признаком Даламбера.

lim = | | lim = ∙ | | < 1 по признаку Даламбера.
→ ∙ →

1
= lim ⇒ | |< ≝

не общий член, а

= →
только коэффициент!

Аналогично применяя радикальный признак Коши, получим

=
Здесь

| |

20 ГЛАВА 11. СТЕПЕННЫЕ РЯДЫ

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

(1)
3 +5

1 1
= , =
3 +5 3 +8
3 +8
= lim = lim =1
→ → 3 +5
Значит, интервал сходимости: (−1; 1).
Исследуем сходимость ряда на границах этого интервала.

1. Пусть = +1
Подставляем в (1). Получим числовой ряд

1
3 +5

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


1 ≠0
lim = lim =
→ → 3 +5 3 ≠∞
Следовательно, наш ряд расходится на правой границе.

(−1)
2. Пусть = −1.
3 +5

Применим теорему Лейбница.

1) Полученный ряд знакочередующийся;


2) >
1
3) lim = lim = 0.
→ → 3 +5
Следовательно, исходный ряд сходится на левой границе.

Ответ: ряд (1) сходится при ∈ [−1; 1).


21

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

= !, = ( + 1)!
! 1
= lim = lim = lim =0
→ → ( + 1)! → +1
Вырожденный случай.

Ответ: исходный ряд сходится только при = 0.

Пример 3.
!

1 1
= , =
! ( + 1)!
( + 1)!
= lim = lim = lim ( + 1) = ∞
→ → ! →

Ответ: ряд сходится на всей числовой оси.

Замечание. Ряд вида

+ ( − )+ ( − ) +⋯+ ( − ) +⋯

или ( − )

называется обобщённым степенным рядом.


Заменой = − он приводится к рассмотренному выше степенному
ряду, который сходится при
| |< ,

или | − | < ,
или ( − ) < < ( + ).
22 ГЛАВА 11. СТЕПЕННЫЕ РЯДЫ

( − 5)
Например, найти область сходимости ряда .
3 ∙

1 1
= , =
3 3 ( + 1)
3 ( + 1)
= lim = lim =3
→ → 3

Тогда интервал сходимости (5 − 3; 5 + 3) = (2; 8).


Рассмотрим правую границу, = 8.

3 1
=
3

Ряд сходится как обобщённый гармонический ряд (2 > 1).


Рассмотрим левую границу, = 2.

3 (−1)
− =
3

Ряд сходится, так как сходится ряд из абсолютных величин.


( )
Ответ: ряд ∑ сходится при ∈ [2; 8].

П ОЧЛЕННОЕ ДИФФЕРЕНЦИРОВАНИЕ СТ ЕПЕННЫХ РЯДОВ

Степенные ряды обладают теми же свойствами, что и числовые ряды.


Кроме того, обладают они и некоторыми дополнительными свойствами.
Теорема 1. Внутри интервала сходимости степенные ряды можно по-
членно дифференцировать и интегрировать. Полученные степенные
ряды будут иметь тот же радиус сходимости.

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

+ + + + ⋯+ +⋯

Его радиус сходимости = lim .



23

Продифференцируем этот степенной ряд:

0+ +2 +3 + ⋯+ + ( + 1) +⋯
Мы получили тоже степенной ряд.

= lim = lim ∙ lim =1∙ =
→ ∙ ( + 1) → +1 →

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

Пример 1. Найти сумму ряда ( ) = 1+2 +3 + ⋯ + ( + 11) +⋯


Проинтегрируем данный ряд на (0, ):

(1 + 2 + 3 + ∙∙∙ +( + 1) + ∙∙∙) =( + + +⋯+ + ⋯) =


0

= + + +⋯+ + +⋯ ⊜
1
Геометрическая прогрессия: 1 + + + ⋯+ +⋯= , | | < 1.
1−
1
⊜ − 1.
1−
1
( ) =1+2 +3 + ⋯ + ( + 1) = −1 = −(1 − ) (−1) =
1−
1
= при | | < 1.
(1 − )

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

( ) =1+ + + +⋯+ +⋯ =
2! 3! ! !

Продифференцируем ( ) =0+1+ + + + ⋯+ + +⋯
2! 3! ( − 1)! !
( )= ( )

Начальное условие: (0) = 1.


24 ГЛАВА 11. СТЕПЕННЫЕ РЯДЫ

= ⇒ =

ln| | = + ⇒ = ⇒ (0) = 1 ⇒ 1= ⇒ =1
( )=

То есть

= + + + + ⋯+ +⋯
! ! !
Радиус сходимости этого ряда = ∞.

Р АЗЛОЖЕНИЕ ЭЛЕМЕНТАРНЫХ ФУН КЦ ИЙ В СТЕПЕННЫЕ РЯД Ы

= — сходится на (−∞, ∞)
!

= на (− ; )

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


(− , ) разложение по степеням в степенной ряд, то это разложение
единственное.

Доказательство. Пусть ( ) = + + + ⋯+ +⋯ (1)

Найдём коэффициенты.
Положим = 0. (0) = .
Продифференцируем (1).
( )= +2 +3 + ⋯+ +⋯ (2)
25

Положим = 0. (0) = .

Продифференцируем (2).
( )=2 +2∙3 + ⋯ + ( + 1) +⋯
Положим = 0. (0) = 2 .
(0) = 6


( )(
0) = ∙ ( − 1)( − 2) … 2 ∙ 1 ∙
( )(
(0) (0) 0)
= (0), = (0), = , = , …, =
2 3! !
То есть все коэффициенты определяются единственным обра-
зом.

( )(
( ) ( ) )
( ) = ( )+ ( ) + + + ⋯+ +⋯ (∗)
! ! !
Ряд (∗) называется рядом Маклорена для функции ( ).

Р АЗЛОЖЕНИЕ В СТЕПЕННОЙ РЯД ФУНК ЦИЙ И

( ) = sin (0) = 0
( ) = cos (0) = 1
( ) = − sin (0) = 1
( ) = − cos (0) = 0
( )( ) = sin (0) = −1
( )(
0) = 0

(− ) ∙
= − + − +⋯+ +⋯
! ! ! ( − )!

— ряд Маклорена для sin . Легко убедиться, что = ∞.


26 ГЛАВА 11. СТЕПЕННЫЕ РЯДЫ

Продифференцируем этот сходящийся ряд:

(− )
= − + − + ⋯+ +⋯
! ! ! ( )!

= ∞ так же.

Замечание. Из двух последних формул видна чётность косинуса и нечёт-


ность синуса.

Пользуясь этими разложениями, докажем формулу Эйлера.

= cos + sin
( ) ( ) ( ) ( ) ( )
=1+ + + + + + +⋯=
2! 3! 4! 5! 6!

=1+ − − + + − +⋯=
2! 3! 4! 5! 6!

1− + − +⋯ + − + −⋯ = cos + sin .
2! 4! 6! 3! 5!

Заметим, что степенные ряды можно дифференцировать и интегриро-


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

Пример 1. ( ) = ( + ).
Рассмотрим геометрическую прогрессию
1
=1+ + + ⋯+ +⋯
1−
Заменим на – .
1
=1− + − + − ⋯ + (−1) +⋯
1+
Интервал сходимости тот же: −1 < < 1.
27

Проинтегрируем последнее равенство почленно.

= (1 − + − + ⋯ + (−1) + ⋯)
1+

(− )
( + )= − + − +⋯+ +⋯
+
Интервал сходимости будет −1 < < 1.

Пример 2. ( ) = .

В равенстве заменим на (− ). Получим


1
=1− + − + ⋯ + (−1) +⋯
1+
Интегрируя последнее равенство, имеем

(− )
= − + − + ⋯+ +⋯
+
Интервал сходимости (−1; 1).

Пример 3. Биномиальный ряд.


Рассмотрим ( ) = (1 + ) , — любое действительное число.
При любом натуральном мы получаем конечное число слагаемых.
(0) = 1

( ) = (1 + )

(0) =

( ) = ( − 1)(1 + )
28 ГЛАВА 11. СТЕПЕННЫЕ РЯДЫ

(0) = ( − 1)
( )( ) = ( − 1)( − 2) ⋯ ( − + 1) ∙ (1 + )
( )(
0) = ( − 1)( − 2) ⋯ ( − + 1)
Подставим в формулу Маклорена.

( − )
( + ) = + + + ⋯+
!

( − )( − ) ⋯ ( − + )
+ +⋯
!

Интервал сходимости (−1; 1).

Замечание. Если в биномиальном ряде положить = (натуральное


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

Существует несколько способов получения разложения функций в ряд


Маклорена:
1. Непосредственный подсчёт коэффициентов.

2. Дифференцирование ряда.
3. Интегрирование ряда.

4. Использование стандартных разложений.

Пример 1. sin = − + − + ⋯ + (−1) +⋯ =


3! 5! 7! (2 + 1)!

= − + − ⋯ + (−1) +⋯
3! 5! (2 + 1)!

Интервал сходимости не изменится, (−∞; ∞).


29

Пример 2. sin = − + − ⋯ + (−1) +⋯


3! 5! (2 + 1)!

−1
Пример 3. = =1+ + + ⋯+ +⋯ =
2! !

1
= + + +⋯+ +⋯ ⋅ =1+ + +⋯+ +⋯
2! 3! ! 2! 3! !

До сих пор мы рассматривали степенные ряды по степеням : ∑ .


Общий вид степенного ряда такой: ∑ ( − ) . Соответствующий
ряд Тейлора имеет вид
( )( )
( )= ( − ) .
!

сходимость
− +

§11.3. ПРИМЕНЕНИЕ СТЕПЕННЫХ РЯДОВ

1) Вычисление функций
,
Вычислить .

=1+ + + + + + +⋯ =∞
2! 3! 4! 5! 6!

,
0,15 0,15 0,15 0,15
= 1 − 0,15 + − + − + ⋯ ≈ 0,86070960937500
2! 3! 4! 5!
,
Δ = = 0,00000008 … Семь нулей, значит, округлим наш ответ до
!
,
семи цифр после запятой. ≈ 0,860780
2) Вычисление интеграла

sin 1 1 1 1
= − + − + +⋯ =1− + − ≈
3! 5! 7! 9! 3! 3 5! 5 7! 7

≈ 0,946082756439909
30 ГЛАВА 11. СТЕПЕННЫЕ РЯДЫ

Оценим погрешность вычислений. В итоге получим

sin
≈ 0,946083.

3) Решение дифференциальных уравнений.

1. = + , (0) = 1.

Решение этой задачи Коши представим в виде ряда Маклорена.


(0) (0)
= (0) + (0) + + +⋯
2! 3!
(0) = 1

= 2 +2 (0) = 2

= 2 + 2(( ) + ) (0) = 8


Решение данной задачи Коши будет таким:
4
=1+ + + +⋯
3
2. + =0 (0) = 1, (0) = 0
( )(
(0) (0) 0)
= (0) + (0) + + + +⋯
2! 3! 4!
(0) = − (0) = −1

=− (0) = 0
( ) ( )
=− (0) = 1

=1− + − ⋯ = cos
2! 4!
ГЛАВА 12. ТРИГОНОМЕТРИЧЕ-
СКИЕ РЯДЫ ФУРЬЕ

§12.1. ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ

1) П ЕРИОДИЧЕС КИЕ ФУНКЦИИ

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


, что ( + ) = ( ).
Легко видеть, что если функция ( ) имеет период , то она имеет бес-
конечно много периодов вида , где = ±1, ±2, …
Обычно, когда говорят о периоде функции, то называют наименьший
положительный период.
Периодическими являются функции:
( ) = sin
=2
( ) = cos
( ) = tg
=
( ) = ctg

Пусть ( ), ; ( ), .
Возможны следующие варианты:
1. = =

Тогда ( )+ ( ) — тоже периодическая функция с тем же периодом.

2. = ⁄ — рациональное число ( , — целые).

Тогда ( ) + ( ) будет также периодической функцией с периодом


= = .

3. ≠ ⁄ ( , — целые).

В этом случае сумма не будет периодической.


32 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

2) Г АРМО НИЧЕСКИЕ КОЛЕБАНИЯ

sin или cos


— циклическая частота, то есть число колебаний за 2 единиц време-
ни. Связана с периодом функции следующим соотношением:
2
=

Кроме циклической частоты существует и просто частота — число ко-


лебаний за единицу времени. В частности, если за единицу времени вы-
брана секунда, то измеряется в Герцах.

Преобразуем выражение

cos + sin = + ⋅ cos + sin =


√ + √ +
sin( + ),

где = + , = , = .

— амплитуда, + — фаза, — начальная фаза.

tg = с учётом четверти.

Пример. √3 cos + sin = sin + 3

tg = √3, =
3

3) О РТО ГОНАЛЬНОСТЬ ФУНКЦИИ

Функции ( ), ( ) называются ортогональными на отрезке [ , ], если

( ) ( ) =0

⃗ ={ , , }, ⃗={ , , }. =0
33

Можно доказать, что система функций

1, cos , sin , cos 2 , sin 2 , … , cos , sin ,… (1)

обладает свойством: любая пара из этой системы ортогональна на от-


резке [− , ], где = ⁄2 = ⁄ .

Чтобы это доказать, нужно вычислить интегралы

1 ⋅ cos =0

1 ⋅ sin =0

sin cos =0

0, ≠
sin sin =
, =

0, ≠
cos cos =
, =

Система (1) называется ортогональной системой. Заметим, что кроме (1)


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

§12.2. РАЗЛОЖЕНИЕ ФУНКЦИЙ В РЯД ФУРЬЕ

Рассмотрим функцию ( ) и на отрезке [− , ] представим её тригоно-


метрическим рядом.

( )= + + (1)
34 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

Предположим, что ряд (1) сходится в заданной области [− , ], и его


можно почленно интегрировать.

Найдём коэффициенты , и через функцию .


Проинтегрируем (1) почленно.

( ) = + cos + sin
2

= ( ) (2.1)

Чтобы найти коэффициент , почленно проинтегрируем и умножим


равенство (1) на cos .

( ) cos = cos +
2

+ cos cos + cos sin

∫ cos =0

0, ≠
∫ cos cos =
, =

∫ cos sin =0

Левая часть останется.

Отсюда

= ( ) (2.2)
35

Для нахождения надо равенство (1) умножить на sin , а затем


проинтегрировать по [− , ]. Получим

= ( ) (2.3)

Ряд (1), коэффициенты которого определяются по формулам (2), назы-


вается рядом Фурье для функции ( ). Если ( ) — чётная функция, то

2 2
= ( ) , = ( ) cos , = 0.

Если ( ) — нечётная функция, то

2
= 0, = 0, = ( ) sin

У СЛОВИЯ Д ИРИХЛЕ СХОДИМО СТИ

Если функция ( ) на отрезке [− , ] кусочно-гладкая, то ряд Фурье на


этом отрезке сходится, и его сума равна
( )= ( )

в точках непрерывности, и
( + 0) + ( − 0)
=
2
в точке разрыва функции ( ).
Кусочно-гладкая означает, что отрезок [− , ] можно разбить на конеч-
ное число отрезков, в каждом из которых функция гладкая.
2 2
= , =

Отсюда следует, что период первой гармоники будет периодом всех ос-
тальных гармоник. Стало быть, сумма будет иметь период . Значит,
36 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

если мы будем чертить график суммы, то он периодически будет про-


должен на всю действительную ось. А функцию мы брали на отрезке
[− , ].

Примеры.
−1, если − ≤ < 0
) ( )= , = , =2 , = 1.
+1, если 0 ≤ <

Заметим, что эта функция нечётная, поэтому нам нужно найти только
коэффициент.
= 0, = 0, =?

2 2 2 2
= sin = sin =− cos =− [(−1) − 1] =
0

0, если =2 — чётное
= 4
, если =2 + 1 — нечётное

4
= , = 0,1,2 …
(2 + 1)
37

4 sin(2 + 1) 4 4 4
( )= = sin + sin 3 + sin 5 + ⋯
2 +1 3 5

График суммы отличается от графика функции тем, что в точках разры-


ва нужно брать среднее арифметическое пределов слева и справа.
Обратим внимание, что коэффициенты ряда Фурье в данном примере
убывают как 1/ . Так будет всегда у функций, имеющих разрывы.

) ( )= , −1 ≤ ≤ 1, = 2, = 1, =

Функция чётная, поэтому разложение будет только по косинусам. Най-


дём и .
2 4
= , = (−1)
3

1 4 (−1)
( )= + cos
3
38 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

) ( )= , 0≤ <2

=2 , = , =1

Заметим, что функция общего вида, коэффициенты придётся считать


все.
1 8
= =
3

1 4
= cos =

1 4
= sin =−

4 cos
( )= +4 − sin
39

§12.3. РАЗЛОЖЕНИЕ В РЯД ФУРЬЕ ФУНКЦИЙ, ЗАДАН-


НЫХ НА ОТРЕЗКЕ [0,L] ТОЛЬКО ПО СИНУСАМ ИЛИ
ТОЛЬКО ПО КОСИНУСАМ

Чтобы разложить заданную функцию только по косинусам, нужно про-


должить её чётным образом на симметричный отрезок [− , 0].
Чтобы разложить эту функцию только по синусам, нужно продолжить её
на отрезок [− , 0] нечётным образом.
40 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

Пример.
( )= , 0≤ ≤1

Разложим функцию по косинусам.


= 2, = 1, =

=2 = 1.

0, если =2
=2 cos = 4
− , если =2 +1

4
= =−
(2 + 1)

1 4 cos(2 + 1)
( )= −
2 (2 + 1)
41

§12.4. АППРОКСИМАЦИЯ ФУНКЦИЙ


ТРИГОНОМЕТРИЧЕСКИМИ МНОГОЧЛЕНАМИ

Рассмотрим функцию ( ) на отрезке [− , ).


Рассмотрим многочлен

( )= + cos + sin
2

Среднее квадратичное отклонение:

1
= ( )− ( ) min за счёт , , −?
2

1
= ( )−2 ( ) ( )+ ( ) =
2

1 1 1
= ( ) − ( ) ( ) + ( ) =
2 2

1 1
= ( ) − − + + + + ⊜
2 2 4 2

(У ( ) взяли только квадраты в силу ортогональности)

Прибавим и вычтем + ∑ + .

1 1
⊜ ( ) − − + + + + +
2 2 4 2

1 1
+ + + − − + =
4 2 4 2

1 1
= ( ) − − + +
2 4 2
42 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

( − ) 1
+ + ( − ) +( − )
4 2

Из полученного выражения видно, что (то есть среднее квадратичное


отклонение) принимает минимальное значение, если = , = ,
= . То есть коэффициенты полинома ( ) являются коэффициен-
тами Фурье.

Неравенство Бесселя:

1
= ( ) − − + ≥0
2

Если функция ( ) подчинена условиям теоремы Дирихле, то при →∞


неравенство Бесселя переходит в равенство Парсеваля.

( ) − = +

+ =

∑ + означает суммирование квадратов амплитуд всех гармоник


ряда Фурье.

Известно, что энергия гармонического колебания пропорциональна


квадрату амплитуды.

=
∑ +
43

Например, ( )= , 0≤ <2
8
=
3
4
=

4
=−

=2 , =1

4 cos sin
( )= +4 − =
3

4 4 4
= + (4 cos − 4 sin ) + (cos 2 − 2 sin 2 ) + cos 3 − sin 3 +
3 9 3
1 4 4
+ cos 4 − sin 4 + cos 5 − sin 5 +⋯
4 25 5

1 4,0000 -12,5664 13,1876 1,0000 2,8334 0,6277


2 1,0000 -6,2832 6,3623 2,0000 2,9838 0,1461
3 0,4444 -4,1888 4,2123 3,0000 3,0359 0,0640
4 0,2500 -3,1416 3,1515 4,0000 3,0622 0,0358
5 0,1600 -2,5133 2,5184 5,0000 3,0780 0,02229
44 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

§12.5. ИНТЕГРАЛ ФУРЬЕ

Рассмотрим ряд Фурье

( )= + cos + sin
2

Выпишем коэффициенты:

1 1 1
= ( ) , = ( ) cos , = ( ) sin

От функции ( ) потребуем, чтобы она удовлетворяла условиям Дирих-


ле и была абсолютно интегрируема на всей оси. То есть

| ( )| <∞

Другими словами, несобственный интеграл должен сходиться.


Имеем далее

1 1
( )= ( ) + ( )(cos ⋅ cos + sin ⋅ sin ) =
2

1 1
= ( ) + ( ) cos ( − ) =
2

1 1
= ( ) + ( ) cos ( − ) ⊜
2

= ⋅
2
Δ = − = ( + 1) − = = =
2
45

1 1
⊜ ( ) + Δ ( ) cos ( − )
2

В полученном равенстве перейдём к пределу при → ∞.

( )= ( ) ( − )

Полученное выражение называется интегральной формулой.


Интеграл в правой части формулы называется интегралом Фурье.
Перепишем интеграл Фурье в другом виде, чтобы увидеть физический
смысл этой формулы.

1
( )= ( )(cos ⋅ cos )+( ⋅ sin ) =

1
= cos ( ) cos + sin ( ) sin

( )= ( ( ) cos + ( ) sin ) ,

⎧ ( ) 1 ( ) cos
=


где

⎪ 1
⎪ ( )= ( ) sin

Здесь функция задана на всей оси, непериодическая. А в рядах Фурье —


либо на конечном отрезке, либо периодически продолженная на всю
ось. Ряд Фурье представляет в виде суммы гармонических составляю-
щих периодические функции на всей оси, а интеграл Фурье представля-
ет в виде суммы гармонических составляющих — непериодическую
функцию. В первом случае циклические частоты образуют дискретный
спектр, а во втором — непрерывный спектр.
46 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

2
Если ( ) — чётная функция, то ( ) = ( ) cos , ( ) = 0.

2
Если ( )— нечётная функция, то ( ) = 0, ( )= ( ) sin .

Ясно, что ( ) cos + ( ) sin = ( ) sin + ( ) , где


( )
( )= ( )+ ( ), ( )=
( )

Пример 1.
1, ∈ [−1; 1]
( )=
0, не ∈ [−1; 1]

Функция чётная, следовательно, нужно искать только ( ).

2 2 2 1 2 sin
( )= ( ) ⋅ cos = cos = sin =
0

( )=0

2 sin
( )= cos
47

( )
2/

В полученной формуле положим = 0. Тогда получим

2 sin
1=

sin
=
2

Пример 2.

( )= , ≥0
0, <0

( )

Функция общего вида, придётся считать и ( ), и ( ).


1
( )= cos = ⋯ (дз)

1
( )= sin =⋯

Представить данную функцию интегралом Фурье сначала по косинусам,


а потом по синусам.
( )= , ∈ [0; ∞]
48 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

Разложение по косинусам:

( )

Разложение по синусам:

( )

Считаем коэффициенты
1. ( ) = 0
дз
49

§12.6. ПРЕОБРАЗОВАНИЯ ФУРЬЕ

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


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

1
( )= ( ) cos ( − ) =

1
= ( ( ) cos ( − ) )+ ( ( ) sin ( − ) )=
2 2

1
= ( )(cos ( − ) + sin ( − )) =
2

1 ( )
1
= ( ) = ( ) =
2 2

1
= ( )
2

( )= ( ) ( )

где ( ) = ( ) ( )
50 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

Формула (2) называется (прямым) преобразованием Фурье функции


( ), а формула (1) — обратным преобразованием Фурье.

В технических приложениях ( ) называется спектром сигнала ( ) и


обычно обозначается ( ).
Таким образом, формула (2) по сигналу ( ) позволяет найти спектр
этого сигнала, а формула (1) позволяет по спектру сигнала восстановить
сигнал.

Если ( ) — чётная функция, тогда формула (2) принимает вид

( )=2 ( ) cos .

Если ( ) — нечётная функция, тогда формула (2) принимает вид

( )=2 ( ) sin .

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

Пример 1.
1, ∈ [−1,1]
( )=
0, ∉ [−1,1]

2 sin
( )=2 cos = sin | =2 , −∞< <∞
51

( )
2/

− 2

Пример 2.
0, < 0
( )=
, ≥0

( )

( ) 1 ( )
( )= ⋅ = =− | =
1+

( ) 1
= = (cos − sin ) =
1+
1
| ( )| =
√1 +
52 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

§12.7. ЭЛЕМЕНТЫ ТЕОРИИ СПЕКТРОВ

Свойства спектров:
1) Линейность.

Пусть ( ) ↔ ( ), ( )↔ ( ). И пусть и — некоторые констан-


ты. Тогда

( )+ ( )↔ ( )+ ( )

Это свойство следует из свойств интеграла.

2) Подобие.
( )↔ ( )

( )↔

>0
Докажем.

= , = 1 1
( ) = = ( ) =
=

3) Дифференцирование сигнала. Спектр производной.


Пусть некоторый сигнал ( ) имеет спектр ( ). ↔?

( ) = , =−
= =
= ( ) = ( )

= ( ) | + ( ) = ( )

( )↔ ( )
( )( )↔( ) ( ).
Можно доказать, что
53

4) Спектр интеграла.
( )↔ ( )

( ) ↔?

Положим ( ) = ∫ ( ) .

( ) ↔ Φ( )
( )= ( )

Φ( ) = ( )
( )
Φ( ) =

Итак,

( )
( ) ↔

5) Спектр запаздывающего сигнала.


( )↔ ( )
( − )↔?

> 0.

− = ( )
( − ) = = ( ) =
=

= ( ) = ( )

( − )↔ ( )
54 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

6) Смещение спектра.
( )↔ ( )

( )↔?

( )
( ) = ( ) = ( − )

( )↔ ( − )

7) Равенство Парсеваля для непериодических сигналов.


Пусть ( )↔ ( ), ( )↔ ( ). Тогда имеет место следующее равен-
ство:

( ) ( ) = ( ) ( )

(Черта означает «комплексно сопряжённый».)


В частности, если ( )= ( ) = ( ), то получим

( ) = | ( )|

Это и есть равенство Парсеваля для непериодических сигналов.


55

§12.8. ФУНКЦИИ ХЭВИСАЙДА. ДЕЛЬТА-ФУНКЦИЯ


ДИРАКА

Функция Хэвисайда ℎ( ) ≡ Θ определяется следующим образом:


0, < 0
ℎ ( ) = 1⁄2 , = 0
1, > 0
Дельта-функция Дирака (обобщённая функция) определяется следую-
щими условиями:
0, ≠ 0,
1) ( )=
∞, =0

2) ( ) =1

Рассмотрим функцию
ℎ̇
⎧ 0, <−
⎪ 2 1
1
ℎ̇ ( ) = + , − ≤ ≤
⎨ 2 2 2
⎪ −
⎩ 1, > 2 2
2
(при → ∞ получим функцию Хэвисайда)

⎧ 0, <− ℎ ̈′
⎪1 2 1
ℎ ̈′ ( ) = , − ≤ ≤
⎨ 2 2

⎩ 0, >
2 −
2 2

( ) = lim → ℎ ( ) — интегральный путь определения функции Дирака.

Дельта-функция ( ) Дирака обладает следующим свойством: если ( )


— обычная функция, непрерывная в точке = , то

( ) ( − ) = ( )
56 ГЛАВА 12. ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ ФУРЬЕ

В частности, ∫ ( ) ( ) = (0).

Найдём спектр: ( ) = ( )( − ) =1

( ) ↔ 1 (имеет спектр 1).

1
( )= 1∙
2

( ( ) = 1)

§12.9. СВЕРТКА ДВУХ ФУНКЦИЙ

Рассмотрим функции ( )и ( ). Свёрткой этих функций называется

( )∗ ( )= ( )∙ ( − )

Покажем, что свёртка обладает коммутативностью:


( )∗ ( )= ( )∗ ( )

( )∗ ( )= ( ) ( − ) − = ( ) ( − )
= = =
=

= ( )∗ ( ).

Пусть ( ) имеет спектр ( ) ↔ ( ), а ( ) ↔ ( ). Можно доказать,


что свёртка ( ) ∗ ( ) имеет спектр ( ) ∙ ( ).

( )∗ ( )↔ ( )∙ ( )
57

Вычислим спектр свёртки:

( ) ( − ) = ( ) ( − ) =

− = ( ) ( ) ( )
= = =
=

= ( ) ( ) = ( )∙ ( )
ГЛАВА 13. ЭЛЕМЕНТЫ ТЕОРИИ
ФУНКЦИИ КОМПЛЕКСНОЙ
ПЕРЕМЕННОЙ

§13.1. КОМПЛЕКСНЫЕ ЧИСЛА

+
y
(cos + sin ) ( , )

Г ЕОМЕТРИЧЕСКАЯ ТРАК ТОВКА ДЕЙСТВ ИЙ НАД КОМПЛЕКСНЫМИ ЧИСЛАМИ

+
y y


x x

( )
∙ = ∙ = ∙ ∙

Комплексные числа могут быть изображены точкой на сфере.

x
59

§13.2. ФУНКЦИИ. ОСНОВНЫЕ ЭЛЕМЕНТАРНЫЕ


ФУНКЦИИ

Пусть и — множество, составленное из комплексных чисел.


Функцией, определённой на множестве со значениями во множестве
называется правило , по которому каждому элементу ∈ ставится
в соответствие один или несколько элементов ∈ . При этом пишут,
что = ( ).

Полагаем, что = + , = + .
Ясно, что график функции комплексной переменной построить нельзя
(четырёхмерное пространство).

y v
z w
W
Z

x u

Функция комплексной переменной выполняет отображение некоторого


геометрического рисунка с плоскости Z в плоскость W.

Например, = .
=1

= + = − +2

= − =1−
=1−
=2 =2 4
60 ГЛАВА 13. ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИИ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

Рассмотрим основные элементарные функции.

1) Линейная функция = + .
2) Степенная = , ∈ .
3) Показательная = .

= = (cos + sin )
4) = Ln .

=
= ln
= +2

= + ( + ), = ,± ,± …

Таким образом, логарифм определяется для любого комплексного чис-


ла, кроме = 0.
Заметим, что логарифм комплексного аргумента является функцией
бесконечнозначной.

Например, вычислим Ln 5.
Ln 5 = ln 5 + (0 + 2 ) = ln 5 + 2

Пример 2.

Ln (−5) = ln 5 + ( + 2 )

Пример 3.

Ln(1 + ) = ln √2 + +2
4
61

Как мы видим, логарифм комплексного аргумента бесконечнозначен.


Это связано с тем, что показательная функция (экспонента) комплекс-
ного аргумента является периодической функцией. Покажем это.
( )=

( +2 )= = = (cos 2 + sin 2 ) = = ( )

=2

5) Тригонометрические функции.

− + −
= , = , =
( + )

+
Например, cos = = 1,5431.
2

6) Гиперболические функции

− +
= , =


sin = = sh
2

=−

cos + sin =1
ch − sh =1
62 ГЛАВА 13. ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИИ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

§13.3. ПРЕДЕЛ И НЕПРЕРЫВНОСТЬ ФУНКЦИИ


КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

( ) = — однозначная функция, определённая на дельта окрестности


точки .
Если существует предел при lim → ( )= , то для любого > 0 суще-
ствует > 0 такая, что для всех точек ≠ ,| − |< будет выпол-
няться | ( ) − | < .
Для пределов функций комплексных переменных сохраняются те же
арифметические действия:
Если существует lim → ( ) и lim → ( ), то:

1) lim ( )± ( ) = lim ( ) ± lim ( )


→ → →

2) lim ⋅ ( ) = ⋅ lim ( )
→ →

3) lim ( )⋅ ( ) = lim ( ) ⋅ lim ( )


→ → →

( ) lim ( )

4) lim = , lim ( ) ≠ 0.
→ ( ) lim ( ) →

Однозначная функция, определённая в окрестности точки и в самой


этой точке, называется непрерывной в точке , если
1) существует предел lim ( ) ;

2) lim ⋅ ( ) = ( ).

Если функция непрерывна в каждой точке области, то она непрерывна


во всей этой области.
Можно дать другое определение непрерывности функции в точке.
Обозначим − =Δ , ( +Δ )− ( ) =Δ .

Функция ( ) непрерывна в точке тогда и только тогда, когда беско-


нечно малому приращению функции соответствует бесконечно малое
приращение аргумента: lim → Δ ( ) = 0.
63

§13.4. ДИФФЕРЕНЦИРОВАНИЕ ФУНКЦИИ


КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

Дана однозначная функция ( ), определённая в некоторой окрестности


точки и в самой этой точке.
Рассмотрим предел
Δ
lim
→ Δ
Если он существует, то он называется производной функции f в точке z,
а функция является дифференцируемой в точке :
Δ
lim = ( )
→ Δ
Неважно, по какому пути Δ → 0.

Т ЕО РЕМА О ДИФФЕР ЕНЦИРОВАНИИ ФУНКЦИИ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

( ) = ( , ) + ( , ) определена в некоторой окрестности точки . И в


этой окрестности и в самой точке существуют частные производные

, , ,

Тогда для того, чтобы функция была дифференцируемой, необходимо и


достаточно, чтобы выполнялись следующие условия:

= и =−

(Условия Коши-Римана).
64 ГЛАВА 13. ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИИ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

Доказательство:

1) Докажем необходимость. Пусть ( ) дифференцируема. Это значит,


что существует производная
Δ
( ) = lim
→ Δ

Возьмём направление, параллельное оси .Δ =Δ + Δ =Δ .

Δ ( ) = ( +Δ )− ( ) = ( +Δ , +Δ )− ( , ) =
= +Δ + ( +Δ )−( + )
Δ +Δ + ( +Δ )−( + ) Δ Δ
lim = lim = lim + = +
→ Δ → Δ → Δ Δ

( )= +

Теперь направим Δ параллельно оси . Тогда Δ = Δ .


Δ ( +Δ )− ( )
( ) = lim = lim =
→ Δ → Δ

( , +Δ )+ ( , +Δ )− ( , )+ ( , )
= lim =
→ Δ
( , +Δ )− ( , ) + ( , +Δ )− ( , )
= lim =
→ Δ

( , +Δ )− ( , ) ( , +Δ )− ( , )
lim + =
→ Δ Δ

( , +Δ )− ( , )
lim + =− +
→ Δ

( )=− +

Комплексные числа равны, когда равны их действительные и мнимые


части. Отсюда следует, что если функция дифференцируемая, то

= и =− .
65

2) Докажем достаточность.

Пусть существуют частные производные и выполняются равенства

= и =−

Докажем, что функция дифференцируема.

Мы можем составить полное приращение функций и .

Δ = Δ + Δ +

Δ = Δ + Δ +

Δ ( + , +Δ )+ ( +Δ , +Δ )− + Δ + Δ
= = =
Δ Δ Δ

Δ + Δ + + Δ + Δ +
= =
Δ + Δ

+ Δ + + Δ +
= + ⊜
Δ + Δ Δ

Заменим = и =− .

Δ + Δ + Δ − Δ
⊜ + =
Δ + Δ

(Δ + Δ ) + (Δ + Δ )
= = + +
Δ + Δ

Δ
lim = + = ( )
→ Δ
Ч. т. д.

( ) = + = − = + = −
66 ГЛАВА 13. ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИИ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

С ВОЙСТВА ПРОИЗВОДНОЙ

Если существуют ( )и ( ), то

1) ( )± ( )= ( )± ( )

2) ( ) = ( )

3) ( )⋅ ( ) = ( )⋅ ( )+ ( ) ( )

( ) ( ) ( )− ( ) ( )
4) =
( ) ( )

Например, ( )= . ( )−?

( )= = = = (cos + sin )

( , )= ( ) = cos

( , )= ( ) = sin

= cos ⋅

=− sin

= sin

= cos

= и =−

Следовательно, функция дифференцируема.

( ) = cos + sin = (cos + sin ) = = .


67

1 1 −
Пример 2. ( )= = = = −
+ + + +

= , =
+ +
+ −2 −
= =
( + ) ( + )

−( + )−2 −
= =
( + ) ( + )
−2
=
( + )
2
=
( + )

Значит, функция дифференцируема везде, кроме = = 0.


1 − 2 −( − 2 − ) −( − )
= + = = =
( + ) ( + ) ( + ) ( − ) ( + )( − )
1 1
=− =−
( + )

1 1
=−

§13.5. ИНТЕГРАЛ ОТ ФУНКЦИИ КОМПЛЕКСНОЙ


ПЕРЕМЕННОЙ

Пусть задана кривая — гладкая (кусочно-гладкая). Пусть по этой кривой


определена непрерывная функция ( ).
В каждом кусочке дуги выберем точку ∈ [ , ]. Находим значение
функции в точке ( ), умножаем на Δ , суммируем. Интегральная сум-
ма для функции ( ):

( )Δ .
68 ГЛАВА 13. ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИИ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

Переходим к пределу

lim ( )Δ
| |→

Если предел существует, конечен и не зависит от разбиения дуги и


выбора точки , то он называется интегралом от функции ( ) по кон-
туру .

lim ( )Δ = ( )
| |→

С ВОЙСТВА ИНТЕГРАЛА :

1) ∫ ( )± ( ) =∫ ( ) ±∫ ( )

2) ∫ ( ) = ∫ ( )

3) Рассмотрим дугу , но в обратном направлении — ̅. Тогда интеграл

( ) =− ( )
̅

4) Разобьём дугу с на несколько конечных кусочков. Тогда интеграл

( ) = ( ) + ( ) + ⋯+ ( )

5) ( ) = 1, ∫ = −

6) Пусть ( ) такова, что | ( )| ≤ и длина кривой равна . Тогда

( ) ≤

Доказательство. Рассмотрим интегральную сумму

( )Δ ≤ | ( )| ⋅ |Δ | ≤ |Δ |

Понятно, что ∑ |Δ | — это длина ломаной. Она меньше либо равна


длине дуги. Значит, ∑ |Δ | ≤ .
69

Вычисление интеграла сводится к вычислению криволинейного инте-


грала от действительных функций действительной переменной.
( )= +
( , ), ( , ), = +

( ) = ( + ) ( + )= ( + )( + )=

= − + +

Это можно доказать, используя определение криволинейного интеграла


второго рода.

Рассмотрим примеры.
( ) = ( + 1) − , — отрезок, соединяющий точки = 1, =− .
= + 1, =−

( ) = ( + 1) + + − + ( + 1) ⊜

Уравнение прямой AB: = − 1. Тогда = .

⊜ ( − 1 + 1) + + − + ( − 1 + 1) =

= 2 + 0 = | = −1.

Пример 2.
( )= + , — дуга от точки = 1 + к точке = 2+3 .

= , =

( ) = ( + ) ( + )= − + + ⊜

= 2 − 1, =2
70 ГЛАВА 13. ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИИ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

⊜ − (2 − 1) ⋅ 2 + (2 − 1) + ⋅2 =

= − (8 − 9 + 2) + (4 −4 +1+2 ) =

= −7 +8 −2 + 6 −4 +1 )

§13.6. ТЕОРЕМА КОШИ

Пусть функция ( ) аналитична в односвязной области , ограниченной


замкнутым контуром , а также в точках этого контура. Тогда

( ) =0

Односвязной называется область, которую можно стянуть в точку (без


дырок).
Чтобы доказать это, вспомним, что если есть криволинейный интеграл
∫ + , то если

= (∗)

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


висит от пути интегрирования, и интеграл по замкнутому контуру
∮ + = 0.

Будем предполагать, что ( ) — непрерывна.


Так как функция аналитична, значит, выполнены условия Коши-Римана.

= , =−

Условия Коши-Римана дают выполнение условия (∗) для криволинейно-


го интеграла. Из этого следует, что интеграл по любому замкнутому
контуру равен нулю.
71

Замечание. Можно не предполагать, что ( ) — непрерывна, но доказа-


тельство будет сложнее.

Рассмотрим многосвязную область , ограни-


ченную несколькими контурами.

Предположим, что ( ) аналитична в области


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

Обозначим контуры, которыми ограничены эти две односвязные облас-


ти, через Г и Г . Имеем по теореме Коши

( ) = 0, ( ) =0
Г Г

( ) + ( ) =0
Г Г

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


нии, а в контуре Г′′ — в другом.

( ) − ( ) − ( ) − ⋯− ( ) =0

А перед интегралами минусы, так как по контурам , ,… мы двига-


лись по часовой стрелке.
72 ГЛАВА 13. ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИИ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

( ) = ( ) + ( ) +⋯+ ( )

Таким образом, мы доказали теорему Коши для составного контура.

( ) = ( )

Если интеграл от функции ( ) по любому замкнутому


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

( ) =0

( ) − ( ) =0

(Минус, так как от точки к точке ).

( ) = ( )

Рассмотрим интеграл ∫ ( ) , где точка — фиксированная, а точка Z


— свободная. ∫ ( ) = Ф( ). Можно доказать, что Ф′( ) = ( ).

Рассмотрим ещё какую-либо первообразную ( ) для функции ( ). То-


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

( ) = ( )+
73

Пусть = .

0= ( )+
=− ( )

( ) = ( )− ( )

Теперь зафиксируем точку , получим формулу, аналогичную формуле


Ньютона-Лейбница.

( ) = ( ) − ( ) = ( )|

Вернёмся к первому примеру. Всё оказалось проще.

− 1 1
1− = − =− −1− − − = − − 1 + = −1.
2 2 2
1
Но это возможно только в том случае, если подынтегральная функция
аналитична.

, — окружность с центром в точке .



= + cos
= + sin
= + = + cos + ( + sin ) = + + (cos + sin ) =

= +

Получается, что окружность задана уравнением + = .

Вспомним, что положительное направление обхода против часовой


стрелки.

( ) = ( ) ⋅ ( )
74 ГЛАВА 13. ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИИ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

1 1 1
( )= = =
− + −

= + =

1
= = =2

=

Рассмотрим другую функцию.

( − ) , ≠ −1.

( )=( − ) = + − =

( ) ( )
( − ) = = = | =
( + 1)

= (cos 2 ( + 1) + sin 2 ( + 1) − )= (1 + 0 − 1) = 0
+1 +1

( − ) =
75

§13.7. ИНТЕГРАЛ КОШИ. ИНТЕГРАЛЬНАЯ ФОРМУЛА


КОШИ

Пусть у нас имеется функция ( ), и она аналитична в замкнутой облас-


ти , включая границу. — граница области . Тогда имеет место сле-
дующее равенство: для любой точки ∈

( )
( )= (1)

( )
Интеграл ∮ называется интегралом Коши, а формула (1) — инте-
гральной формулой Коши. Она позволяет вычислить значение функции
в любой точке, ограниченной областью .

Доказательство.
По теореме Коши интеграл не зависит, по какой
границе мы идём.
( ) ( ) ( )+ ( )− ( )
= = =
− − −

( ) ( )− ( )
= + =
− −

( )− ( ) ( )− ( )
= ( ) + = ( )⋅2 +
− − −

( ) ( )
Покажем, что ∮ стремится к нулю. Вспомним свойства огра-
ниченной функции. Если ( ) ограничена числом (| ( )| < , тогда
∮ ( ) < ⋅ . Функция ( ) находится в ограниченной области
и непрерывна в ней, значит, функция ограничена.
( )− ( )
<

76 ГЛАВА 13. ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИИ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

( )− ( )
≤ ⋅ = ⋅2

Мы устремили к нулю, чтобы окружность не вышла за границы . Зна-


чит, интеграл стремится к нулю.
( )
= ( )⋅2

1 ( )
( )=
2 −

Ч. т. д.

С ЛЕДСТВИЯ :

1) Для любой дифференцируемой в точке аналитической функции


( ) существуют производные любых порядков.

( )( ! ( )
)=
( − )

2) В окрестности точки , где существует первая производная ( ),


функцию ( ) можно разложить в сходящийся ряд
( ) ( ) ( )( )
( ) = ( )+ ( − )+ ( − ) +⋅⋅⋅ + ( − ) +⋅⋅⋅
1! 2! !
(Ряд Тейлора для функции комплексной переменной).

( )= ( − )

( )
=
( − )
77

Пример 1.

Вычислить интеграл , : | | = 1 и | − | = 2.
+4

y 1
1) ( ) =
i +4
x Найдём особые точки функции, где функция неана-
1 литична, то есть недифференцируема. = ±2 .
Особые точки не входят в наш контур, значит, функ-
ция аналитична во всей области. По теореме Коши

=0
z +4

2) | − | = 2 y
2i
+ − = + ( − 1)
+ ( − 1) = 4 ⇒ (0; ), =2
x
Особая точка попала в эту область. Мы не мо-
жем применить теорему Коши. Придётся при- -i
менить интегральную формулу Коши.

+ 4 = ( + 2 )( − 2 )
1
1 +2
=
+4 −2
1
+2
−2
| |

1 1
( )= , =2, ( )=
+2 4
1
+2 =2 ⋅ ( )=
−2 2
| |
78 ГЛАВА 13. ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИИ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ

Пример 2.
1 y
, : | − 1| = 1, : | + 1| = 1, :| | = . x
−1 2 -1 1

Найдём особые точки. = ±1.

Рассмотрим первую окружность. В неё попала особая точка. Воспользу-


емся интегральной формулой Коши.
1
1 +1
=
−1 −1
1
( )= , =1
+1
1
+1 1
=2 ( )=2 ⋅ =
−1 2
| |

Рассмотрим второй случай: | + 1| = 1. Центр (−1; 0), радиус 1.


1
1 −1
=
−1 +1
1
( )= , = −1
−1
1
−1 1
=2 ⋅ ( )=2 − =−
+1 2
| |

Третий случай. Окружность не затрагивает особые точки, воспользуемся


теоремой Коши.

=0
−1
| |
79

Пример 3. y
i
1 -1 1 x
, :| | = , :| + | = 1
+ 2 -i

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

=0
+
| |

Для второй области придётся применить интегральную формулу Коши.


( )= , =−

=2 ( ) = −2
+
| |
80 ГЛАВА 14. РЯДЫ И ОСОБЫЕ ТОЧКИ

ГЛАВА 14. РЯДЫ И ОСОБЫЕ


ТОЧКИ

§14.1. ФУНКЦИОНАЛЬНЫЕ РЯДЫ

Рассмотрим ряд

( )+ ( )+ ( ) +⋯+ ( )+⋯ = ( ), (1)

где — комплексная переменная.


Частичная сумма:

( )= ( )

Если существует предел


lim ( )= ( )

То он называется суммой ряда.


Если ряд сходится, то есть существует конечная сумма, то остаток:
( ) = ( )− ( )= + ( )+⋯

lim ( )

Для любого > 0 существует = ( , ) такое, что для всех > вы-
полняется условие | ( )| < .
Область G, где находятся все точки z, в которых ряд сходится, называ-
ются областью сходимости.
Рассмотрим сходящийся ряд (2):
81

| ( )| ≤ , | ( )| ≤ , … , | ( )| ≤ .

Если это выполняется, то ряд называется мажорируемым.


| ( )| = | ( )+ ( )+ ⋯| ≤ | ( )| + | ( )| + ⋯ ≤

≤ + +⋯= .

Для любого > 0 существует ( ) такое, что для любых > выполня-
ется условие | ( )| < . В этом случае ряд является равномерно сходя-
щимся. Ряды, сходящиеся равномерно, называются правильными.
Свойства сходящихся рядов:

1) Пусть все члены ряда (1) непрерывны в некоторой области G и на её


границе. Тогда если ряд сходится правильно, то ( ) тоже непрерывна.
2) Пусть члены ряда (1) интегрируемые на некотором контуре l. Тогда
если ряд сходится правильно, то его можно почленно интегрировать.
3) Пусть каждый член ряда (1) аналитичен в некоторой области G и на её
границах. Тогда функция ( ) аналитична, если ряд (1) сходится пра-
вильно.

§14.2. СТЕПЕННЫЕ РЯДЫ

Ряд вида

+ + +⋯+ = (1)

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

Теорема Абеля
Если ряд (1) сходится в некоторой точке = , то он сходится, и притом
абсолютно, в круге | | < | |. При этом для каждого < в круге | | ≤
ряд (1) сходится правильно.
Доказательство аналогично доказательству теоремы Абеля для число-
вых рядов.
Рассмотрим комплексную плоскость. Рассмотрим некий луч, выходящий
из начала координат.
82 ГЛАВА 14. РЯДЫ И ОСОБЫЕ ТОЧКИ

1) Предположим что в любой точке этого луча ряд (1) сходится. Тогда
ряд сходится во всей плоскости.

2) Предположим, что в любой точке этого луча ряд (1) расходится. Тогда
ряд расходится везде во всей плоскости.
3) Пусть на этом луче есть точки, где ряд сходится, и есть — где расхо-
дятся. Тогда наверняка есть какая-то точка ∗ , которая разделяет облас-
ти, где ряд сходится, и где расходится. Тогда внутри круга | | < | ∗| ряд
будет сходиться, а вне — расходиться. И радиус этого круга называет-
ся радиусом сходимости ряда (1). Тогда в первом случае = 0, во втором
= ∞.
Радиус сходимости можно находить, пользуясь известными признаками.
Наряду с рядом (1) рассматривается ряд вида

+ ( − )+ ( − ) + ⋯+ ( − ) +⋯ (2)
Если заменить − = , область сходимости (2) — это круг с центром в
точке a.

§14.3. РЯД ТЕЙЛОРА

Рассмотрим однозначную функцию ( ), аналитичную внутри области


G, ограниченной окружностью с центром в точке = . Разложим её в
степенной ряд. Точка также принадлежит меньшей окружности ′ с
центром в точке a.

z
c’ c
a


83

1 ( )
( )=
2 −

Рассмотрим
1 1 1
= =
− 1− −( − ) ( − ) 1− −

Совершенно понятно, что

= <1

— сумма бесконечно убывающей геометрической прогрессии.

=1+ + +⋯

1 − − −
= 1+ + + +⋯
( − ) − − −

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


чит, исходный ряд сходится правильно и его можно интегрировать.
1 ( )
( )=
2 −
1 ( ) 1 ( − ) ( )
= +
2 − 2 ( − )
1 ( − ) 1 ( − ) ( )
+ ( ) + ⋯+ +⋯=
2 ( − ) 2 ( − )

1 ( )
=
2 −
1 ( ) 1 ( )
+( − ) +⋯+( − )
2 ( − ) 2 ( − )

( )= + ( − )+ ( − ) + ⋯+ ( − )
( ) ( )
( ) ( )
= ( )+ ( − )+ ( − ) +⋯+ ( − )
1! 2! !
+⋯
1 ( )
= = ( )
2 −
84 ГЛАВА 14. РЯДЫ И ОСОБЫЕ ТОЧКИ

( ) ( )( )
1
= =
2 ( − ) !

Ряд Тейлора можно почленно дифференцировать.

Пусть ( ) = 0. Тогда точка ноль функции. Тогда = 0.


Предположим, что = = =⋯= = 0.

( )= ( )=⋯= ( )( )=0

Тогда точка называется нулём функции ( ) кратности .


( )= ( − ) + ( − ) +⋯=

=( − ) ( + ( − )+ ( − ) + ⋯) = ( − ) ( )
Если точка а — ноль функции кратности n, то ( ) представима в виде
( − ) ( ).

Например,
( )=( − 4) = ( − 2) ( + 2)
Точки 2 и -2 являются нулями функции кратности 3.

§14.4. РЯД ЛОРАНА

Пусть ( ) однозначная функция, аналитичная внутри кольца между


концентрическими окружностями и ′′ c центрами в точке = .
/см. рис/

Возьмём какую-либо точку z. Проведём с центром в ней некий контур .


Также проведём контуры Г’ и Г’’ с центром в точке a. Будем пытаться
взять интеграл
1 ( )
2 Г −

По теореме Коши о составном контуре этот интеграл по внешнему кон-


туру равен сумме интегралов по и Г′′.
85

1 ( ) 1 ( ) 1 ( )
= +
2 Г − 2 Г − 2 −

Но по интегральной теореме Коши интеграл по равен ( ). Тогда пе-


репишем наше равенство следующим образом:
1 ( ) 1 ( )
( )= −
2 Г − 2 Г −
1 ( )
Рассмотрим интеграл .
2 Г −
1 1 1
= = =
− − −( − ) ( − ) 1− −

1 − − −
= 1+ + + +⋯
− − − −

Тогда
1 ( ) 1 ( ) 1 ( )
= + ( − ) +
2 Г − 2 Г − 2 Г ( − )

1 ( )
+ ( − ) +⋯=
2 Г ( − )

= + ( − )+ ( − ) +⋯= ( − ) (∗)

1 ( )
Теперь рассмотрим интеграл .
2 Г −
1 1 1
= =− =
− − −( − ) −
( − ) 1−


В этом случае < 1 по контуру Г .

1 − − −
=− 1+ + + +⋯
− − − −

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


86 ГЛАВА 14. РЯДЫ И ОСОБЫЕ ТОЧКИ

1 ( ) 1 1 1 1
− = ( ) + ( )( − ) +
2 Г − 2 − Г 2 ( − ) Г

1 1
+ ( )( − ) +⋯=
2 ( − ) Г

1 1 1
= + + +⋯
− ( − ) ( − )

Где
1
= ( )( − )
2 Г

1 1
( )= + ( − )+ ( − ) +⋯+ + +⋯
− ( − )

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


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

( )
= , = , , , ,…и − ,− ,…
Г( − )

Таким образом, этот ряд можно переписать ещё раз в виде

( )= ( − )

Вот это и является рядом Лорана для аналитичной функции ( ).

Например,
1
( )= , =0
( − 1)( − 2)

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


круга | | = 1, между окружностями | | = 1 и | | = 2 и снаружи.
1) | | < 1
87

1 1 1
Можно заметить, что = − ⊜
( − 1)( − 2) −2 −1

Функция аналитична. Разложим каждое из слагаемых в ряд

1 1 1 1
=− =− 1+ + + +⋯ =
−2 2 1− 2 2 2 2
2
1
=− − − − −⋯
2 2 2 2
1 1
=− = −(1 + + + + ⋯)
−1 1−
1
⊜ − − − − − ⋯+ 1 + + + +⋯=
2 2 2 2
1 1 1 1
= + 1− + 1− + 1− +⋯
2 2 2 2
1
=1−
2
Получился ряд Тейлора.

2) 1 < | | < 2
Функция становится той же самой.

=− =− 1+ + + +⋯ = − − − − −⋯

не изменится, ведь < 1.

Но функцию так же не разложить, ведь | | > 1.


1 1 1 1 1
= = 1+ + +⋯
−1 1
1−

1 1 1 1 1 1 1
= − = − − − − − ⋯− − − − ⋯
( − 1)( − 2) −2 −1 2 2 2 2
1
=− , = −1.
2
88 ГЛАВА 14. РЯДЫ И ОСОБЫЕ ТОЧКИ

Здесь мы уже видим ряд Лорана.

3) | | > 2

= = 1+ + + ⋯ остаётся.

А прежнее разложение нам уже не подходит, >1

1 1 1 2 2 2
= = 1+ + + +⋯
−2 2
1−

Попробуем объединить.
1 1 1 1 2 2 2 1 1 1
= − = + + + +⋯− − − − ⋯ =
( − 1)( − 2) −2 −1
1 1 1
(2 − 1) + (2 − 1) + (2 − 1) + ⋯

= 2 − 1, = 1, …

§14.5. ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ

Если функция дифференцируема в точке и её некоторой окрестности, то


она называется аналитичной.
Особые точки — точки, в которых функция неаналитична. (В том числе
если функция не определена в точке).
Особая точка = функции ( ) называется изолированной, если в не-
которой окрестности этой точки функция ( ) не имеет других особых
точек.
Разложение функции в ряд Лорана, сходящийся к этой функции во всех
точках круга с центром в данной изолированной особой точке (кроме
точки ), будем называть разложением функции в ряд Лорана в окрест-
ности данной изолированной особой точки.
89

Выпишем ряд Лорана.

+ ( − )+ ( − ) + ⋯ — правильная часть ряда Лорана.


1 1 1
+ + + ⋯ — главная часть ряда Лорана.
− ( − ) ( − )
1. Пусть функция ( ) ограничена в некоторой окрестности особой точ-
ки . | ( )| ≤ . Попробуем оценить = ∫Г ( )( − ) . Пусть Г
— окружность радиусом .
1 1
| |≤ − ( )( − ) ≤ 2 =
2 Г 2

Устремляя к нулю, имеем = 0.


Получается, что если ( ) ограничена, то она содержит только правиль-
ную часть.
( )= + ( − )+ ( − ) +⋯

Доопределив функцию ( ) в точке , то есть положив, что ( ) = , по-


лучаем, что точка — правильная точка.
Например,
sin
( )=

Здесь = 0 — особая точка. Разложим синус в ряд.

sin = − + −⋯
3! 5!

( )=1− + −⋯
3! 5!
И в разложении точка 0 не особая. Доопределив (0) = 1, имеем, что
точка = 0 становится правильной точкой.

2. Пусть функция не ограничена. То есть


lim ( )

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


90 ГЛАВА 14. РЯДЫ И ОСОБЫЕ ТОЧКИ

Если предел не существует, тогда точка называется существенно осо-


бой точкой.

Пусть = — полюс для функции ( ). Тогда для функции 1/ ( ) точка


является нулём.
Точка = — полюс порядка функции ( ), если эта точка является
нулём порядка для функции 1/ ( ).

Когда = 1, это простой полюс.


Пусть — полюс кратности . Тогда для функции 1/ ( ) это является
нулём кратности . Значит,
1
= ( − ) ⋅ ( ), ( )≠0
( )

Тогда
1 ( ) 1
( )= = , ( )=
( − ) ⋅ ( ) ( − ) ( )

Раз функция аналитична, то


+ ( − )+ ( − ) + ( − ) +⋯
( )= =
( − )

= + ( − )+ ( − ) + ⋯+ + + ⋯+
( − ) ( − ) −
Получилось, что если полюс кратности , то главная часть ряда Лорана
конечна и содержит ровно слагаемых.
Можно доказать и обратное: если функция представима в таком виде,
что главная часть ряда Лорана конечна, а правильная — бесконечна, то
точка является полюсом кратности .

Например,

( )=
( + 2)

= −2 — полюс третьего порядка.


91

cos
( )=
+4
= ±2 — полюсы первого порядка.

sin
sin
( )= =

= 0 — полюс второго порядка.

§14.6. ПОНЯТИЯ О ВЫЧЕТАХ

О СНОВ НАЯ ТЕОРЕМА О ВЫЧЕ ТАХ

] = — правильная или изолированная особая точка однозначной


функции ( ). Можно выбрать контур с в достаточно малой окрестности
точки такой, что функция будет аналитична на этом контуре и внутри
него, за исключением, может быть, самой точки . (Положительное на-
правление обхода — против часовой стрелки). Тогда величина
1
Res ( ) = ( )
2

Называется вычетом функции ( ) относительно точки .


1) Если — изолированная особая точка, то функцию можно разложить
в ряд Лорана и = ∫ ( ) . Таким образом, если существует глав-
ная часть ряда Лорана, то и есть вычет.

2) Пусть — правильная точка. Интеграл равен нулю по двум критери-


ям: во-первых, теорема Коши; во-вторых, если функция аналитична, она
разложима только в ряд Тейлора.
3) Если — полюс или существенно особая точка, то могут быть вари-
анты.
92 ГЛАВА 14. РЯДЫ И ОСОБЫЕ ТОЧКИ

Пусть — некоторый замкнутый контур, на котором функция ( ) ана-


литична. И пусть функция ( ) внутри этого контура имеет конечное
число изолированных особых точек.
( ): , ,… .
Вокруг каждой из этих точек проведём контуры, которые не пересека-
лись бы друг с другом и обозначим их соответственно , , . Рассмот-
рим интеграл
1
( )
2

По теореме о составном контуре он равен сумме интегралов


1 1 1 1
( ) = ( ) + ( ) + ⋯+ ( ) =
2 2 2 2

= Res ( ) + Res ( ) + ⋯ + Res ( )

1
( ) = Res ( )
2

( ) = ( )

В ЫЧЕТ О ТНО СИТЕЛЬНО ПОЛЮСА

Пусть точка a — простой полюс. Тогда в окрестности точки ( ) можно


представить в виде

( ) = ( )+

Главная часть ряда Лорана конечно.
— правильная часть ряда Лорана.

Выразим .
( − ) ( )=( − ) ( )+

=( − ) ( )−( − ) ( )
93

Перейдём к пределу при → .

lim = lim ( − ) ( ) − lim _( → ) ( )


→ →

( − ) ( ) → ( − ) ( ) → 0 при →
= lim ( − ) ( )

( )= ( − ) ( )

Например,

( )=
−2
( − 2)
Res ( ) = lim =4
→ −2

1
( )=
sin( )
1
Res ( ) = lim =1
→ sin

Иногда более удобна другая формула для вычисления вычета.

Пусть = — простой полюс. Тогда функцию ( ) можно представить в


виде
( )
( )= ,
( )

где ( ) = 0, ( ) ≠ 0.

( − ) ( ) ( ) ( ) ( )
Res ( ) = lim = lim = lim =
→ ( ) → ( ) → ( )− ( ) ( )
− −
( )
Res ( ) =
( )
94 ГЛАВА 14. РЯДЫ И ОСОБЫЕ ТОЧКИ

Пример 1.
( )=
cos 0 cos 0
Res ( ) = = =1
(sin ) cos 0

Пример 2.
+1
, | |=3
+4

= ±2 — оба входят в контур.


+1
=2 Res ( ) + Res ( )
+4

+1 2 +1
Res ( ) = lim ( − 2 ) =
( − 2 )( + 2 ) 4

Для разнообразия.
+1 −2 + 1
−2 = −4 −2 + 1
Res =
+2 ( +2 ) 4
+1 2 + 1 −2 + 1
=2 − =2
+4 4 4

, :| | = 2
1
− sin ( − 3)
2
1 1
sin = , sin = ± , =±
2 √2 4


Res ( ) = Res 4 =
⁄ ⁄ 1 1
− sin + sin ( −3 )
√2 √2

= 4
√2 4 − 3
95

Пусть = — полюс порядка функции ( ). Тогда функцию можно


представить в виде:

( )= ( )+ + +⋯+ |⋅( − )
− ( − ) ( − )
( − ) ( )=( − ) ⋅ ( )+ ( − ) + ( − ) + ⋯+

Продифференцируем обе части этого выражения − 1 раз.


( − ) ( ) ( − ) ( )
= + ( − 1)!

( ) ( )
Перейдём к пределу при → . Так как слагаемое всегда
содержит ( − ), в пределе оно обратится в ноль.

( − ) ( )
lim ( − 1)! = lim
→ →

( − ) ( )
= ( )=
( − )! →

Например,
1
( )=
( + 1)

1 ( − ) 1 1 1 12
Res ( ) = lim = lim = lim =
2! → ( + 1) 2! → ( + ) 2 → ( + )
3 3
= =−
16 16
96 ГЛАВА 15. ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ

ГЛАВА 15. ОПЕРАЦИОННОЕ


ИСЧИСЛЕНИЕ

§15.1. ОПРЕДЕЛЕНИЕ ПРЕОБРАЗОВАНИЯ ЛАПЛАСА

1) Есть функция ( ). Переходим к изображению.


2) Решение задачи с помощью изображения.

3) Обратный переход.

Пусть функция ( ) — функция действительных переменных, такая что


1) ( ) = 0 для всех < 0.
2) ( ) — кусочно-непрерывная, то есть имеет точки разрыва первого
рода.
3) Функция мажорируется, то есть ограничена для всех М>0 и для всех
> 0 ( — показатель роста) выполняется неравенство |f(t)| < ⋅ e
Тогда ( ) называется функцией-оригиналом.
( )= ( )+ ( )
Изображением такой функции является функция

( )= ( ) ,

где = + .

Покажем, что для функции-оригинала всегда найдётся изображение.


Переход от функции-оригинала к изображению называется преобразо-
ванием Лапласа: ( ) ≓ ( ), ( ) ≓ ( ).
97

Т ЕОРЕМА О СУЩЕСТВОВА НИИ ИЗОБРАЖЕНИЯ

Если мы будем рассматривать пространство, где ( )> , для любого


существует ( ) ≓ ( ).
Доказательство. Рассмотрим = + , > .
| ( )| ≤

( ) ≤ | ( ) | ≤ | ⋅ | ⊜

( )
= = ⋅

= cos + sin

= √cos + sin =1

( ) ( )
⊜ = = lim =

1 ( )
= lim − | =− (0 − 1) =
→ − − −

| ( )| ≤

Выскажем предположение о единственности оригинала.


Если функция ( ) ≓ ( ), ( )≓ ( ), то ( )= ( ).
Например,

1. функция Хэвисайда.
1, ≥ 0
( )=
0, < 0
1 1 1
( )≓ 1⋅ =− lim | = − (0 − 1) =

2. ( ) =

( ) 1 ( ) 1
( )≓ ⋅ = =− lim | =
− → −
98 ГЛАВА 15. ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ

П РОС ТЕЙШИЕ СВОЙСТВА ПРЕОБРАЗОВАНИЯ Л АПЛАСА

Свойства линейности:
1) Однородность. Если ( ) ≓ ( ), то

( )≓ ( ).

2) Аддитивность.
Если ( ) ≓ ( ) и ( ) ≓ ( ), то

( ) ± ( ) ≓ ( ) ± ( ).

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


3. sin =
2
1 1 1 2
sin ≓ − = =
2 − + 2( + ) +


4. cos =
2
1 1 1 2
cos = − = =
2 − + 2( + ) +

5. ℎ =
2
1 1 1
ℎ ≓ − =
2 − + −

6. ℎ ≓

3) Свойство подобия.

Если ( ) ≓ ( ), тогда ( ) ≓ .
99

Покажем это.

( )= ( ) ⊜

1 1 1 1
⊜ ( ) = ( ) =

4. Свойство смещения.

Если ( ) ≓ ( ), то ( ) ≓ ( − ).

( )≓ ( ) ( ) ( )
= = ( − )

Например,

sin ≓
( − ) +

cos ≓
( − ) +

ℎ ≓
( − ) −

ℎ ≓
( − ) −
2 −5 2 −5 2 −5
( )= = = =
− 6 + 11 − 6 + 9 − 9 + 11 ( − 3) + 2
2( − 3) + 6 − 5 2( − 3) 1
= +
( − 3) + 2 ( − 3) + 2 ( − 3) + 2
2( − 3) ( − 3)
=2 ≓2 cos √2
( − 3) + 2 ( − 3) + √2
100 ГЛАВА 15. ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ

1
1 √2 ⋅ 1 1
√2 √2
= = ≓ sin √2
( − 3) + 2 ( − 3) + √2 √2 ( − 3) + √2 √2

1
( )≓ 2 cos √2 + sin √2
√2
5. Свойство запаздывания.
( )≓ ( )

( − )≓ ( )

Докажем.

( − )≓ ( − ) ⊜

− =
= +
=

( ) ( )
⊜ = ( ) =

= ( ) = ( )

Ещё пример.
( )=

= , =
≓ = 1 =
= =−

1 1
= lim − | + = (0 − 0) + lim | =
→ →

1 1
=− =−
(0 − 1)
101

( ) ( )

, ≥ 1
, <0
1

+

2

( − ) +

( − ) +

( − ) −

( − ) −
!

Д ИФФЕРЕНЦИРОВА НИЕ ОРИГИНАЛА

Если ( ) ≓ ( ) и существует ( ), ∈ [0, ∞], то

( )≓ ( )− ( )

= =−
Докажем. ( )≓∫ ( ) = =
= = ( )
102 ГЛАВА 15. ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ

= lim ( ) | + − ( ) =

= ( ) − (0) + ( ) = ( ) − (0)

( )≓ ( )− (0) − (0)

( )( )≓ ( ) ( )− ( ) ( )− ⋯− ( )
( )

§15.2. РЕШЕНИЕ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ С


ПОМОЩЬЮ ОПЕРАЦИОННОГО ИСЧИСЛЕНИЯ

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


( ) ( ) ( )
+ + + ⋯+ = ( )
Начальное условие:

(0) = (0) = ( )(
, , …, 0) =
Найдём изображение дифференциального уравнения, для простоты —
второго порядка.
+ + = ( )
(0) = , (0) =

( ) ≓ ( ), ( )≓ ( )

≓ ( )− (0) − (0)

≓ ( ) − (0)
( ( )− − )+ ( ( )− )+ ) )= ( )
( )( + + )= ( )+ + +
( )+ + +
( )=
+ +
103

Раскладывая правую часть на простейшие дроби, сводим правую часть к


дробям из таблицы изображений и по изображениям находим оригинал.

Например,

+ = 1, (0) = 0
1
( ) − (0) + ( ) =

1
( )( + 1) =

1
( )=
( + 1)
1 ( + 1) +
= + =
( + 1) +1 ( + 1)
1= + +

: 0= +
:1 =
= −1
1 1 1
= −
( + 1) +1
Заглянем в нашу таблицу изображений и перейдём к оригиналу.
( ) =1−

Пример 2.
+9 =1
(0) = (0) = 0
1
( )− (0) − (0) + 9 ( ) =

1
( )( + 9) =
104 ГЛАВА 15. ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ

1
( )= ⊜
( + 9)

( < 0)
1 + ( + 9) + ( + )
= + =
( + 9) +9 ( + 9)

: 0= +

: 0=

: 1=9
1 1
= , = 0, =−
9 9
1 1
⊜ −
9 +9
1
( )= (1 − cos 3 )
9
Пример 3.
+3 +2 = , (0) = (0) = 0
1
( )− (0) − (0) + 3 ( ) − (0) + 2 ( ) =

1
( )( + 3 + 2) =

1
( )=
( + 3 + 2)
1 1
= = + + + =
( + 3 + 2) ( + 1)( + 2) +1 +2
( + 1)( + 2) + ( + 1)( + 2) + ( + 2) + ( + 1)
=
( + 1)( + 2)

Здесь воспользуемся другим способом:


1
= 0: 1=2 , =
2
= −1: 1=
105

1
= −2: 1 = −4 , =−
4
3
: 0= + + , =− − =−
4
3⁄4 1⁄2 1 1⁄4
( )=− + + −
+1 +2
3 1 1
( )=− + + −
4 2 4

§15.3. ТЕОРЕМА ИЗОБРАЖЕНИЯ

Пусть изображение некоторой функции представляет собой правиль-


ную рациональную дробь:
( )
,
( )

где и — многочлены, и степень числителя меньше степени знамена-


теля.
Мы знаем, что правильную рациональную дробь можно представить в
виде суммы простейших рациональных дробей. Их четыре:
+ +
, , , ,
− ( − ) + + ( + + )

где = −4 < 0.

) ≓

) ≓
( − ) ( − )!
106 ГЛАВА 15. ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ

+ + +
3) = = =
+ + + +
+ + + −
2 2
+
= ⊜
+ + −
2 4

= − >0( < 0)
4

+ + − + 1
⊜ 2 2 = 2 + − =
2
+ + + + + +
2 2 2

+ − 1⋅
= 2 + 2 ≓ ⋅ cos +
+ + + +
2 2


+ 2 sin =


= cos − + 2 sin −
4 4

4

Например,
3 +3 +2 +
( )= = + =
( − 2)( + 4 + 8) −2 +4 +8
( + 4 + 8) + ( + )( − 2)
=
( − 2)( + 4 + 8)

3 +3 +2 = ( + 4 + 8) + ( + )( − 2)
= 2: 20 = 20 , =1

: 3= + , =2
: 3=4 −2 + , =3
107

1 2 +3 1 2( + 2) + 3 − 4
( )= + = + =
−2 +4 +8 −2 ( + 2) + 4
1 2( + 2) 1
= + − =
− 2 ( + 2) + 4 ( + 2) + 4
1 2( + 2) 1 2 1
= + − ≓ +2 cos 2 − sin 2
− 2 ( + 2) + 4 2 ( + 2) + 4 2

§15.4. ТЕОРЕМА ОБ ИНТЕГРИРОВАНИИ ОРИГИНАЛА

Пусть есть функция ( ), ( ) ≓ ( ). Рассмотрим функцию

( )= ( )

Наша задача — найти её изображение ( ) ≓ ( ). Заметим, что (0) = 0


и ( ) = ( ). Мы знаем, что
( )≓ ( ) − (0) = ( )

С другой стороны,
( )≓ ( )

Приравнивая, имеем
( )= ( )
( )
( )=

( )
( ) ≓
108 ГЛАВА 15. ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ

§15.5. ТЕОРЕМА О ДИФФЕРЕНЦИРОВАНИИ


ИЗОБРАЖЕНИЯ

Если ( ) ≓ ( ), то

( )≓− ( )

Это следует из правила дифференцирования функции под знаком инте-


грала.

( )= ( )

Известно, что ( )=∫ ( )(− ) .

Тогда по определению изображения ( ) ≓ − ( ).

( )≓ ( )

( )≓− ( )

( )( ) ≓ (− ) ( )

Получим формулу для . Мы знаем, что 1 ≓ 1⁄ .


1
− =−

1
=

2

2⋅3
− =−

!

109

§15.6. ТЕОРЕМА ОБ ИНТЕГРИРОВАНИИ


ИЗОБРАЖЕНИЯ

Если интеграл ∫ ( ) сходится, то

( )
≓ ( )

Вспомним, что sin = . Применим эту теорему.

sin 1
≓ = | = − arctg = arcctg
+1 2

sin
≓ arcctg

15.7. ИЗОБРАЖЕНИЕ СВЁРТКИ ДВУХ ОРИГИНАЛОВ

( )∗ ( ) = ( ) ( − ) = ( ) ( − )

∗ ≓ ( )⋅ ( )

Доказательство:

∗ ≓ ( ) ( − ) ⊜

Поменяем пределы интегрирования.


− =
⊜ ( ) ( − ) =
=

( ) ( ) ( )
= =

= ( ) ⋅ ( ) = ( )⋅ ( )
110 ГЛАВА 16. УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ

ГЛАВА 16. УРАВНЕНИЯ


МАТЕМАТИЧЕСКОЙ ФИЗИКИ

§16.1. ВВЕДЕНИЕ (ОБЩИЕ ПОНЯТИЯ)

Уравнение, связывающее неизвестную функцию ( , , … , ), её аргу-


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

, ,…, , , , ,…, , ,…., =0


( , ,…, )

Порядком уравнения называется порядок старшей производной, входя-


щей в это уравнение. Решением дифференциального уравнения называ-
ется функция , которая, будучи подставлена в уравнение, обращает его
в тождество.
Например, функция первого порядка: ( , , , ⁄ , ⁄ ) = 0.

Уравнение называется линейным, если оно линейно относительно не-


известной функции и её частных производных.
Рассмотрим уравнения трёх типов:

1) Волновое уравнение (гиперболическое):

Описывает уравнение колебания струны, электрические колебания в


проводе, колебания газа.
111

2) Уравнение Лапласа (эллиптическое):

+ =

Задачи гидродинамики, диффузии.

3) Параболическое:

Уравнение распространения тепла.

§16.2. УРАВНЕНИЕ КОЛЕБАНИЯ СТРУНЫ

Рассмотрим закреплённую натянутую струну. Под струной мы понима-


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

l
112 ГЛАВА 16. УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ

Положение точек струны будет описывать функция ( , ).

Мы рассматриваем малые колебания, поэтому будем считать, что сме-


щение ( , ), а также ⁄ настолько малы, что их квадратами и про-
изведениями можно пренебречь по сравнению с ними самими.
Рассмотрим участок струны , . Длина ′ будет равна

= 1+( ) ≈ − =

Можно показать, что величина натяжения не зависит от х и t.

sin( + Δ ) − sin ⊜

tg
sin = = = → 0 ≈ tg
1 + tg

⊜ tg ( + Δ ) − tg = (tg ( + Δ ) − tg ) =
( +Δ , ) ( , ) ( + Δ )
= − = Δ ⊜

(Теорема Лагранжа: ( ) − ( ) = ( )( − ), 0 < < 1)

( , )
⊜ Δ
113

Пусть = — линейная плотность струны.

Δ ⋅ = Δ

Чтобы решить это уравнение, нужно начальное условие.

Начальное положение:
| = ( )

Начальная скорость:

| = ( )

Краевые условия:
| =0
| =0

Наряду с закреплённой струной можно рассмотреть бесконечную и по-


лубесконечную (с одним закрепленным концом) струну.
Итак, задача о колебаниях струны свелась к математической задаче: ре-
шить данное дифференциальное уравнение с данными начальными и
краевыми условиями.
114 ГЛАВА 16. УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ

§16.3. РЕШЕНИЕ УРАВНЕНИЯ КОЛЕБАНИЙ


БЕСКОНЕЧНОЙ СТРУНЫ МЕТОДОМ ДАЛАМБЕРА

Начальное положение:
| = ( )
Начальная скорость:

| = ( )

Введём новые переменные: = − , = + .

= + = (− ) + ⋅

= − − + + =

= − − +

= 0, =0

= ( )

= ( ) + ( )

= ( )+ ( )

= ( − )+ ( + )

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


115

Подставляем в начальные условия.


( )= ( )+ ( )

=− | + | =− ( )+ ( )= ( )

Теперь преобразуем второе неравенство.


1
( − ) =− ( )

1
− =− ( ) +

− + = ( )

1 1
( )= ( )− ( ) +

1 1
( )= ( )+ ( ) +

Вспоминаем, что
= ( − )+ ( + )=

1 1 1
= ( − )− ( ) + + ( + )+ ( ) − =
2

( − )+ ( + ) 1
= + ( )
2 2

Например,
| = sin

| =

sin( − ) + sin( + ) 1
= + =
2 2
sin( − ) + sin( + ) 1
= + 2 =0
2 2
116 ГЛАВА 16. УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ

§16.4. РЕШЕНИЕ УРАВНЕНИЯ КОЛЕБАНИЙ КОНЕЧНОЙ


СТРУНЫ МЕТОДОМ ФУРЬЕ

= (1)

| = ( ), | = ( ) (2)

| = 0, | =0 (3)

Будем искать решение уравнения (1)


( , ) = ( )⋅ ( )

= ( ) ⋅ ′′( )

= ( )′′ ⋅ ( )

( )⋅ ( )
= ( ) ( )
( ) ( )
= = =−
( ) ( )
( )
=− , ( )+ ( )=0 (4)
( )
( )
=− , ( )+ ( )=0
( )
Мы не просто будем решать последнее уравнение, а при условиях
(0) = 0, ( ) = 0.

Рассмотрим первый случай. <0

+ =0

=−

= ±√−
117

( )= √ + √

0= +
0= +
0= √ + √

Мы получили однородную систему уравнений относительно и . Она


имеет ненулевые решения тогда и только тогда, когда её определитель
равен нулю. В данном случае очевидно, что система имеет только нуле-
вые решения.
= =0

Второй случай. = .
( )=0
( )= +
0=
0=
=0
Решение снова нас не очень интересует.

Третий случай. > 0.

+ =0

=−

=±√

= cos √ + sin √

0= ⋅1+ ⋅0
=0

0= sin √

sin √ =0
118 ГЛАВА 16. УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ

√ =

Так получилось много , поэтому будем писать .


Пока что = 1.

( ) = sin

( )= cos + sin

Так как много, для каждого своё и .


( , )= ( ) ( )

Так как каждое , удовлетворяет нашему уравнению, то и их сумма


тоже ему удовлетворяет.

( , )= sin cos + sin (∗)

Замечание. Мы опустили . Пусть оно там было. Мы бы тогда внесли его


в коэффициенты , . Поэтому мы не стали плодить константы.

Подставляем = 0.

( )= (5)

Продифференцируем этот ряд.

= sin ⋅ − sin + cos

( )= ⋅ (6)
119

(5) напоминает нам разложение функции ( ) в ряд Фурье по синусам.


Запишем его коэффициенты.

2
= ( ) sin (8)

2 2
= ⋅ ( ) sin = ( ) sin (9)

Решение уравнения (1) с начальными и краевыми условиями (2), (3) —


это функция (*), где , считаются по формулам (8), (9).

Теорема. Если ( ) на отрезке 0, дважды непрерывно дифференци-


руемая, имеет кусочно-непрерывную третью производную и удовлетво-
ряет условиям (0) = ( ) = 0, (0) = ( ) = 0, ( ) — дифферен-
цируемая, имеет кусочно-непрерывную вторую производную и удовле-
творяет условию (0) = ( ) = 0, то функция ( , ) имеет непрерыв-
ные производные второго порядка, удовлетворяет волновому уравне-
нию (1), начальным и краевым условиям (2), (3), при этом возможно по-
членное дифференцирование ряда по и два раза, и полученные ряды
сходятся абсолютно и равномерно для любого и от 0 до .

§16.5. СТОЯЧИЕ ВОЛНЫ

Вернёмся к нашему решению.

( , )= sin cos + sin (∗)

( , )= sin + cos + sin


+ +

Обозначим + = .
120 ГЛАВА 16. УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ

( , )= sin sin + = sin + sin

sin ⁄ — амплитуда каждой гармоники, — начальная фаза, час-


тота = ⁄.

Любой член этого ряда представляет собой так называемую стоячую


волну, при которой точки струны совершают гармоническое колеба-
тельное движение с одинаковой фазой , амплитудой sin ⁄ и
частотой = ⁄.

Звуки можно классифицировать на музыкальные и немузыкальные. Му-


зыкальные — это ноты, а немузыкальные — это шумы. Музыкальные
звуки располагаются в определённом порядке соответственно высоте
(качеству), которую можно оценивать. При колебании струна издаёт
звук, высота которого зависит от частоты = ⁄ . Частота основно-

го тона = — самая низкая. Тоны для других называются обер-

тонами. Звук, издаваемый струной, складывается из суммы гармоник,


значит, из суммы отдельных тонов. Амплитуда гармоник быстро затуха-
ет. Мы слышим основной тон, все остальные образуют тембр.
Амплитуда минимальна, когда = ⁄ , ∈ [1, ∞ ) — это узлы.

Амплитуда максимальна при = 2 — это пучности.


ОГЛАВЛЕНИЕ
Глава 10. Числовые ряды ........................................................................................... 3
§10.1. Понятие о сходимости числовых рядов....................................................... 3
§10.2. Ряды с положительными членами ................................................................. 7
§10.3. Знакопеременные ряды. Знакочередующиеся ряды .........................13
Глава 11. Степенные ряды ...................................................................................... 16
§11.1. Понятие о функциональных рядах...............................................................16
§11.2. Степенные ряды ......................................................................................................18
§11.3. Применение степенных рядов ........................................................................29
Глава 12. Тригонометрические ряды Фурье................................................. 31
§12.1. Предварительные сведения .............................................................................31
§12.2. Разложение функций в ряд Фурье ................................................................33
§12.3. Разложение в ряд Фурье функций, заданных на отрезке [0,L]
только по синусам или только по косинусам.......................................................39
§12.4. Аппроксимация функций
тригонометрическими многочленами ....................................................................41
§12.5. Интеграл Фурье .......................................................................................................44
§12.6. Преобразования Фурье .......................................................................................49
§12.7. Элементы теории спектров .............................................................................52
§12.8. Функции Хэвисайда. Дельта-функция Дирака.......................................55
§12.9. Свертка двух функций .........................................................................................56
Глава 13. Элементы теории функции комплексной переменной ..... 58
§13.1. Комплексные числа...............................................................................................58
§13.2. Функции. Основные элементарные функции ........................................59
§13.3. Предел и непрерывность функции комплексной переменной ....62
§13.4. Дифференцирование функции комплексной переменной.............63
§13.5. Интеграл от функции комплексной переменной ................................67
§13.6. Теорема Коши ...........................................................................................................70
§13.7. Интеграл Коши. Интегральная формула Коши .....................................75
122

Глава 14. Ряды и особые точки ............................................................................ 80


§14.1. Функциональные ряды .......................................................................................80
§14.2. Степенные ряды ......................................................................................................81
§14.3. Ряд Тейлора ...............................................................................................................82
§14.4. Ряд Лорана..................................................................................................................84
§14.5. Изолированные особые точки ........................................................................88
§14.6. Понятия о вычетах .................................................................................................91
Глава 15. Операционное исчисление ................................................................ 96
§15.1. Определение преобразования Лапласа .....................................................96
§15.2. Решение дифференциальных уравнений с помощью
операционного исчисления ........................................................................................ 102
§15.3. Теорема изображения ....................................................................................... 105
§15.4. Теорема об интегрировании оригинала ................................................ 107
§15.5. Теорема о дифференцировании изображения ................................... 108
§15.6. Теорема об интегрировании изображения .......................................... 109
15.7. Изображение свёртки двух оригиналов ................................................... 109
Глава 16. Уравнения математической физики .......................................... 110
§16.1. Введение (общие понятия) ............................................................................ 110
§16.2. Уравнение колебания струны ...................................................................... 111
16.3. Решение уравнения колебаний бесконечной струны
методом Даламбера ......................................................................................................... 114
16.4. Решение уравнения колебаний конечной струны
методом Фурье ................................................................................................................... 116
16.5. Стоячие волны ......................................................................................................... 119
123

Без 48, а 52 – теоремы о дифф-ии и инт-ии изображений.


54. Не обращение, а отыскание оригинала по изображению. Без приме-
нения вычетов.