Академический Документы
Профессиональный Документы
Культура Документы
Уважаемые читатели!
У Вас в руках электронная версия четвертого издания классиче-
ского учебника в двух томах члена-корреспондента РАН, академика
Европейской академии наук, выдающегося математика и педагога
Льва Дмитриевича Кудрявцева «Краткий курс математического ана-
лиза» — последний труд автора, начатый им в 2010 г. Это издание
приурочено к 90-летнему юбилею Л. Д. Кудрявцева, который широко
отмечается российской и зарубежной математической общественно-
стью на Международной конференции «Функциональные простран-
ства. Дифференциальные операторы. Общая топология. Проблемы
математического образования» 25–29 марта 2013 г. в РУДН.
Все доклады, пленарные и секционные (в 9 секциях), охватывают
современные достижения в основных областях научных, педагогиче-
ских и общественных интересов Льва Дмитриевича. Участники кон-
ференции — первые читатели данной версии учебника, частично пе-
реработанного и дополненного по сравнению с предыдущим третьим
изданием.
В настоящем издании автором существенно переработан пара-
граф 52, а также совместно с сыном Николаем Львовичем Кудрявце-
вым, доцентом кафедры математического анализа МГУ, исправлены
замеченные опечатки. Кроме того, в отличие от предыдущих изданий,
в конце каждого тома добавлены контрольные вопросы к каждому
параграфу. Вопросы к параграфам 49–55 взяты из «Рекомендуемых
вопросов по курсу математического анализа (2 курс, 2 семестр)»,
составленных Львом Дмитриевичем и изданных МФТИ в 1994 г.; во-
просы к остальным параграфам составлены Н. Л. Кудрявцевым.
Выходу в свет электронной версии юбилейного издания спо-
собствовали усилия члена-корреспондента РАН, ректора МФТИ
Н. Н. Кудрявцева; профессора, зав. кафедрой высшей математики
МФТИ Е. С. Половинкина; зам. председателя НМС по математике
Министерства образования и науки РФ, зам. председателя Орг-
комитета, профессора МГУ А. Г. Яголы; генерального директора
издательства «ФИЗМАТЛИТ» М. Н. Андреевой и всего коллектива
этого издательства. Большой труд вложен Н. Л. Кудрявцевым.
Оргкомитет конференции выражает большую признательность
всем, способствовавшим выходу этого издания, и призывает читате-
лей присылать свои отзывы, замечания и пожелания для дальнейших
изданий учебника по адресу nick-kudr@yandex.ru.
Зам. председателя Оргкомитета конференции,
ученый секретарь НМС по математике
Министерства образования и науки РФ,
профессор МИРЭА
С. А. Розанова
ÈÇÄÀÍÈÅ ×ÅÒÂÅÐÒÎÅ,
ÏÅÐÅÐÀÁÎÒÀÍÍÎÅ È ÄÎÏÎËÍÅÍÍÎÅ
2013
УДК 517
ББК 22.161.1
К 88
Р е ц е н з е н т ы:
заведующий кафедрой общей математики факультета ВМиК
МГУ им. М. В. Ломоносова, академик В. А. Ильин;
профессор МФТИ, академик С. М. Никольский
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Г л а в а 3. Ряды. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 338
§ 30. Числовые ряды . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 338
30.1. Определение ряда (338). 30.2. Свойства сходящихся ря-
дов (339). 30.3. Критерий Коши (341). 30.4. Признаки сходимо-
сти рядов с неотрицательными членами (342). 30.5. Знакочере-
дующиеся ряды (350). 30.6. Абсолютно сходящиеся ряды (352).
30.7. Условно сходящиеся ряды (356). 30.8. Признаки Дирихле
и Абеля сходимости рядов (360). 30.9. Исследование сходимости
рядов методом выделения главной части ряда (363). 30.10. Сум-
мирование рядов методом средних арифметических (365).
§ 31. Функциональные последовательности и ряды . . . . . . . . . . . . . 367
31.1. Сходимость функциональных последовательностей и ря-
дов (367). 31.2. Равномерная сходимость функциональных по-
следовательностей и рядов (370). 31.3. Специальные признаки
равномерной сходимости рядов (378). 31.4. Свойства равномер-
но сходящихся последовательностей и рядов (381).
§ 32. Степенные ряды . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389
32.1. Радиус сходимости и круг сходимости (389). 32.2. Анали-
тические функции в действительной области (396). 32.3. Раз-
ложение функций в степенные ряды. Различные способы записи
остаточного члена формулы Тейлора (398). 32.4. Разложение
элементарных функций в ряд Тейлора (404). 32.5. Формула
Стирлинга (413).
2)
μαθημα (греч.) — познание, наука.
Введение 9
§ 1. Функции и множества
1.1. Множества. Напомним некоторые обозначения, часто упо-
требляемые в математике, и дополним их некоторыми новыми, быть
может, не встречавшимися раньше читателю. Большими буквами, как
правило, будем обозначать множества: A, B , C , X , Y , ..., а малыми —
их элементы: a, b, c, x, y , ... и т. д. Запись A = {a, b, c, ...} означает,
что множество A состоит из элементов a, b, c, ..., а запись A = {x: ...}
или A = {x| ...} означает, что множество A состоит из всех таких
элементов x, которые удовлетворяют условию, написанному после
двоеточия или соответственно после вертикальной черты (двоеточие
и вертикальная черта в этом случае читаются как «таких что»).
Отметим следующее: запись A = {a} может означать либо что
множество A состоит из одного элемента a, либо что оно состоит из
множества каких-то элементов, каждый из которых обозначен бук-
вой a. Какой именно из указанных двух случаев имеет место, будет
всегда ясно из контекста.
Через a ∈ A и A a обозначается принадлежность элемента a
множеству A, а a ∈ A или A a означает, что элемент a не принадле-
жит множеству A. Для удобства вводится понятие пустого множества,
которое обозначается символом ∅. Пустое множество не содержит
элементов. Символы A ⊂ B и B ⊃ A выражают собой включение
множества A в множество B. В этом случае множество A называ-
ется подмножеством множества B. В частности, здесь возможен
случай A = B. Если A ⊂ B и A = B , то A называется собственным
подмножеством множества B. По определению полагается, что лю-
бое множество A содержит в качестве подмножества пустое множе-
ство: ∅ ⊂ A.
Символом A ∪ B обозначается объединение множеств A и B ; т. е.
множество всех элементов, каждый из которых принадлежит хотя
бы одному из множеств A и B , символом A ∩ B — пересечение мно-
жеств A и B , т. е. множество всех элементов, принадлежащих од-
новременно A и B ; символом A \ B — разность множеств A и B ,
т. е. множество всех элементов, принадлежащих множеству A, но не
принадлежащих множеству B (рис. 1).
18 Гл. 1. Дифференциальное исчисление функций одной переменной
A ⊂ B ⇔ (x ∈ A ⇒ x ∈ B)
образом: n
def
ak = a1 + a2 + ... + an .
k=1
Знак тождества между двумя уже ранее введенными символами
означает, что они обозначают один и тот же объект. Например,
n
ak ≡ a1 + a2 + ... + an .
k=1
Наконец, символами и будут отмечаться начало и конец до-
казательства высказываемого утверждения.
1.2. Функции. Наряду с понятиями множества и элемента в ма-
тематике первичным понятием является понятие соответствия. Это
понятие неявным образом присутствует и в понятии множества, по-
скольку понятие множества предполагает, что каждый элемент дан-
ного множества обладает определенным свойством, отличающим его
от элементов, не входящих в это множество. Иначе говоря, каждому
из рассматриваемых элементов поставлено в соответствие некоторое
свойство, позволяющее судить о том, является этот элемент элемен-
том данного множества или нет.
Среди всевозможных соответствий важную роль в математике
играют соответствия, называемые функциями. Опишем эти соответ-
ствия.
Пусть заданы непустые множества X и Y. Соответствие, при ко-
тором каждому элементу x ∈ X соответствует единственый элемент
y ∈ Y , называется функцией, заданной (определенной) на множе-
стве X со значениями в множестве Y , или отображением множе-
ства X в множество Y. Такая функция (такое отображение) обо-
значается с помощью некоторой буквы, например, буквы f , одним из
следующих способов:
y = f (x), x ∈ X , или f : X → Y , или f : x → y , x ∈ X , y ∈ Y.
Наряду с терминами «функция», «отображение» употребляются
равнозначные термины «преобразование», «морфизм».
Элемент x ∈ X называется независимым переменным или аргу-
ментом, а соответствующий элемент y ∈ Y — зависимым перемен-
ным. Множество X называется множеством задания (определения)
функции f , а множество тех y ∈ Y , каждый из которых поставлен
в соответствие хотя бы одному x ∈ X , — множеством значений функ-
ции f и обозначается Yf . Очевидно, Yf ⊂ Y. Если Yf = Y , то отображе-
ние f называется отображением X на множество Y или сюрьекци-
ей. Если при x = x выполняется неравенство f (x) = f (x ), то отобра-
жение f называется взаимно однозначным отображением X в Y или
инъекцией. Если f является взаимно однозначным отображением X
20 Гл. 1. Дифференциальное исчисление функций одной переменной
§ 2. Числа
2.1. Действительные числа. Из элементарной математики
известно, что действительные числа можно складывать, вычитать,
умножать, делить и сравнивать по величине. Перечислим основные
свойства, которыми обладают эти операции. Множество всех дей-
ствительных чисел будем обозначать через R, а его подмножества
называть числовыми множествами.
I. О п е р а ц и я с л о ж е н и я. Для любой пары действительных
чисел a и b определено единственное число, называемое их суммой
и обозначаемое a + b, так, что при этом выполняются следующие
условия:
I1 . a + b = b + a, a, b ∈ R.
I2 . a + (b + c) = (a + b) + c, a, b, c ∈ R.
I3 . Существует такое число, называемое нулем и обозначаемое 0,
что для любого a ∈ R выполняется условие a + 0 = a.
I4 . Для любого числа a ∈ R существует число, называемое ему
противоположным и обозначаемое −a, для которого a + (−a) = 0.
Число a + (−b), a, b ∈ R, называется разностью чисел a и b и обо-
значается a − b.
22 Гл. 1. Дифференциальное исчисление функций одной переменной
an = a
def
· a
· ... · a
.
n раз
По определению
1
a0 = 1, a > 0, a−n =
def def
, a = 0,
an
n — натуральное число.
Пусть a > 0, а n — натуральное число. Число b называется кор-
нем n-й√ степени из числа a, если bn = a. В этом случае пишет-
ся b = n a . Существование и единственность положительного корня
любой степени n из любого положительного числа будет доказано
ниже в п. 7.3. √
Корень
√ четной степени√2k a , a = 0, имеет два значения: если b =
= 2k a , k ∈ N, то и −b = 2k a . Действительно, из b2k = a следует, что
(−b)2k = ((−b)2 )k = (b2 )k = b2k .
√
Неотрицательное значение n a называется его арифметическим
значением.
p
Если r = , где p и q целые, q = 0, т. е. r — рациональное число,
q
то для a > 0
def √
ap/q = q ap . (2.1)
Таким образом, степень ar определена для любого рационального
числа r. Из ее определения следует, что для любого рационального r
имеет место равенство
1
a−r = r
a
и неравенство
ar > 0.
§ 2. Числа 25
1)
От латинских слов realus — действительный, imaginarius — мнимый.
28 Гл. 1. Дифференциальное исчисление функций одной переменной
1)
Б. Паскаль (1623–1662) — французский философ, писатель, физик
и математик.
38 Гл. 1. Дифференциальное исчисление функций одной переменной
1)
И. Ньютон (1643–1727) — английский физик, механик, астроном, ма-
тематик и теолог.
§ 3. Элементарные функции 39
§ 3. Элементарные функции
3.1. Числовые функции. Если функции принимают числовые
значения (такие функции называются числовыми или скалярными),
то над ними можно производить арифметические операции. Пусть
даны две функции f : X → Y и g : X → Y , где X — произвольное
множество, а Y — подмножество множества комплексных чисел C
(в частности, действительных чисел R); тогда значения суммы f + g ,
f
разности f − g , произведения f g и частного функций f и g по опре-
g
делению в каждой точке x ∈ X задаются следующими формулами:
def def
(f + g)(x) = f (x) + g(x), (f g)(x) = f (x)g(x),
def f def f (x)
(f − g)(x) = f (x) − g(x), (x) = .
g g(x)
Конечно, в последней формуле предполагается, что для всех x ∈ X
выполняется неравенство g(x) = 0.
Значение функции f в точке x0 , как это отмечалось
b в п. 1.2, обо-
значается символами f (x0 ), f (x)x . Символ f (x)a означает разность
0
значений функции f в точках b и a:
b def
f (x)a = f (b) − f (a). (3.1)
Функция f , заданная на подмножестве X числовой прямой, на-
зывается периодической с периодом T > 0, если для любого x ∈ X
выполняются условия
x±T ∈X и f (x + T ) = f (x). (3.2)
Значение функции f в точке x0 называется наибольшим, если для
всех точек x ∈ X выполняется неравенство f (x) f (x0 ), и наимень-
шим, если имеет место неравенство f (x) f (x0 ).
Если функция f задана на подмножестве X числовой оси и прини-
мает действительные значения, то ее графиком называется множество
на координатной плоскости, состоящее из всех точек вида (x, f (x)),
x ∈ X (координатной плоскостью называется плоскость, на которой
задана некоторая прямоугольная декартова система координат).
40 Гл. 1. Дифференциальное исчисление функций одной переменной
1)
А. Вандермонд (1735–1796) — французский математик.
§ 3. Элементарные функции 43
1)
Э. Безу (1730–1783) — французский математик.
§ 3. Элементарные функции 45
такие, что
r (k )
P (x) Aj(1) Aj(2) Aj j
= + + ... + +
Q(x) x − xj (x − xj ) 2 k
(x − xj ) j
j=1
s (1 )
(1 ) (2 ) (2 ) (ml ) (ml )
B +C x Bl + Cl x Bl + Cl x
+ 2
l l
+ + ... + ml
. (3.38)
l=1
x + pl x + ql (x2 + pl x + ql )2 (x2 + pl x + ql )
P (x) Aj(1)
r
Aj j
P ∗ (x)
(k )
= + ... + + , (3.39)
Q(x) x − xj k
(x − xj ) j Q∗ (x)
j=1
(1) (k )
где действительные числа Aj , ..., Aj j определяются последова-
тельно единственным образом, коэффициенты многочленов P ∗ (x),
P ∗ (x)
Q∗ (x) — действительные числа, ∗ — правильная рациональная
Q (x)
дробь, а
s
∗
Q (x) = (x2 + pl x + ql )ml .
l=1
52 Гл. 1. Дифференциальное исчисление функций одной переменной
P ∗ (x)
Применив к дроби ∗ последовательно лемму 2 m1 раз при z0 = z1 ,
Q (x)
затем m2 раз при z0 = z2 и т. д., ms раз при z0 = zs , получим
s (1 )
P ∗ (x) Bl + Cl(1) x B (ml ) + Cl(ml ) x
∗ = + ... + 2l .
Q (x) 2
x + pl x + ql
(x + pl x + ql ) ml
l=1
P ∗ (x)
Подставив это выражение для ∗ в (3.39), получим доказы-
Q (x)
ваемую формулу (3.38).
Рациональные дроби вида
A Bx + C p2
и , − q < 0, m ∈ N, n ∈ N,
(x − a)m (x + px + q)n
2 4
называются элементарными, поэтому теоремы 1 и 2 называются тео-
ремами о разложении правильных рациональных дробей на сумму
элементарных (соответственно в комплексной и действительной обла-
стях).
3.6. Графики рациональных функций. График всякого мно-
гочлена степени n с действительными коэффициентами пересекает
ось x в тех точках, абсциссы которых являются его действительными
корнями и тем самым не более чем в n точках, так как он имеет не
более чем n корней.
Поведение многочлена при неограниченном возрастании или
неограниченном убывании его аргумента зависит от четности
степени многочлена и знака при старшем члене. Если n — четное
число и коэффициент при старшем члене многочлена больше нуля,
то как при неограниченном возрастании аргумента, так и при
неограниченном его убывании значения многочлена неограниченно
возрастают (рис. 15). Если n — нечетное число, то при положительном
1
Функция y = n , где снова n — натуральное число, является ра-
x
циональной функцией, неограниченно возрастающей при приближе-
нии ее аргумента к точке x = 0. Если n — четное число, то ее график
имеет вид, изображенный на рис. 24, а если n нечетное, то — на рис. 25.
56 Гл. 1. Дифференциальное исчисление функций одной переменной
√
Функция y = n x , где n — натуральное число, при n нечетном
определена на всей действительной оси, а при n четном — только на
полуоси x 0 и принимает при x > 0 два значения. Если ограничить-
ся только неотрицательными значениями корня, то и при четном n
получится однозначная
√ функция.
Функция y = n x является обратной к степенной функции y = xn .
Поэтому ее график симметричен относительно биссектрис первого
и третьего координатных углов: при нечетном n > 1 он имеет вид,
изображенный на рис. 26, а при четном, если ограничиться арифме-
тическими значениями корня, — на рис. 27.
График функции
y = xp/q , x > 0, (3.43)
где p и q — целые числа, p/q > 1, касается оси x (это естественнее всего
доказывается с помощью производной; см. п. 10.3). Если 0 < p/q < 1,
то q/p > 1 и, следовательно, в силу сказанного график функции (3.43),
или, что то же самое, график функции y = xq/p , касается оси y.
Если p/q > 0, то при неограниченном возрастании x значение y
также неограниченно возрастает. Если p/q < 0, то при неограничен-
ном возрастании x значение y неограниченно убывает, а при неогра-
ниченном приближении x к нулю y неограниченно возрастает.
§ 4. Числовые множества
4.1. Ограниченные и неограниченные множества.
О п р е д е л е н и е 1. Множество X ⊂ R называется ограниченным
сверху, если существует такое число b ∈ R, что для всех x ∈ X имеет
место неравенство x b. Число b называется в этом случае числом,
ограничивающим сверху множество X.
Множество X называется ограниченным снизу, если существует
такое число a ∈ R, что для всех x ∈ X выполняется неравенство x a.
Число a называется в этом случае числом, ограничивающим снизу
множество X.
Множество, ограниченное сверху и снизу, называется ограничен-
ным.
С помощью логических символов существования и всеобщности
определение, например, ограниченного сверху множества можно за-
писать следующим образом:
∃ b ∈ R ∀x ∈ X : x b (4.1)
(здесь двоеточие означает «имеет место» или «выполняется усло-
вие»).
Множество, не являющееся ограниченным сверху, называется
неограниченным сверху.
Определение неограниченного сверху множества можно сформу-
лировать и в позитивной форме, т. е. без отрицаний (без частицы
«не»), следующим образом; множество X называется неограничен-
ным сверху, если для любого числа b ∈ R найдется такой x ∈ X , что
x > b.
Запишем это определение с помощью логических символов:
∀b ∈ R ∃x ∈ X : x > b. (4.2)
§ 4. Числовые множества 63
1)
Мы полагаем, что a + (+∞) = +∞ + a = +∞ для любого числа a.
§ 4. Числовые множества 67
а если λ < 0, то
sup λX = λ inf X , (4.12)
inf λX = λ sup X. (4.13)
Пусть λ > 0. Если y ∈ λX , т. е. y = λx, где x ∈ X и, следовательно,
x sup X , то y = λx λ sup X. Если y < λ sup X , т. е. y/λ < sup X ,
то найдется такое x ∈ X , что x > y/λ и, следовательно, λx > y , где
λx ∈ λX. Таким образом, λ sup X является верхней гранью множества
λX , т. е. формула (4.11) доказана. Аналогично доказывается и фор-
мула (4.12).
Пусть теперь λ < 0. Если y ∈ λX , т. е. y = λx, где x ∈ X и, следова-
тельно, x inf X , то λx λ inf X. Если y < λ inf X , т. е. y/λ > inf X , то
найдется такое x ∈ X , что x < y/λ, а потому λx > y , где λx ∈ λX. Это
и означает, что λ inf X является верхней гранью множества λX. Ра-
венство (4.13) доказано. Аналогично доказывается равенство (4.14).
Положим теперь для каждого множества X
def
−X = (−1)X. (4.14)
Очевидно, что из определения суммы X + Y и разности X − Y мно-
жеств следует
X − Y = X + (−Y ). (4.15)
В силу определения (4.15) из второго свойства при λ = −1 полу-
чаем
sup (−X) = − inf X , inf (−X) = − sup X. (4.16)
3◦.
sup (X − Y ) = sup X − inf Y. (4.17)
Следует сразу из первого свойства и формул (4.16) и (4.17).
4.4. Принцип Архимеда.
Т е о р е м а 2. Каково бы ни было действительное число a, суще-
ствует такое натуральное число n, что n > a.
Если бы утверждение теоремы не имело места, то нашлось бы
такое число a, что для всех натуральных чисел n выполнялось бы
неравенство n a, т. е. множество натуральных чисел N было бы огра-
ничено сверху. Тогда, согласно теореме 1, у множества N существовала
бы конечная верхняя грань:
β = sup N < +∞. (4.19)
Поскольку β − 1 < β , то в силу определения верхней грани (см. свой-
ство 2 в определении 2 в п. 4.2) найдется такое натуральное число n,
что n > β − 1, т. е.
n + 1 > β, (4.20)
но n + 1 — также натуральное число: n + 1 ∈ N, поэтому неравен-
ство (4.20) противоречит условию (4.19).
3*
68 Гл. 1. Дифференциальное исчисление функций одной переменной
1)
Архимед (287–212 до н.э.) — древнегреческий математик и механик.
§ 4. Числовые множества 69
и
lim xn = lim zn = a ∈ R, (5.23)
n→∞ n→∞
то
lim yn = a. (5.24)
n→∞
и, следовательно, неравенство
|λ| + |μ|
|λαn + μβn | |λ||αn | + |μ||βn | < ε < ε.
(5.32) c (5.31)
xn a lim xn
lim = = n→∞ .
n→∞ yn b lim yn
n→∞
1)
К. Вейерштрасс (1815–1897) — немецкий математик.
§ 5. Предел числовой последовательности 89
ak xnk bk , (5.66)
1)
Б. Больцано (1781–1848) — чешский математик.
§ 5. Предел числовой последовательности 93
1)
Термин «критерий» употреблен здесь в смысле «необходимое и доста-
точное условие».
2)
О. Коши́ (1789–1857) — французский математик.
94 Гл. 1. Дифференциальное исчисление функций одной переменной
а при b = 0 an a
lim = .
n→∞ bn b
§ 5. Предел числовой последовательности 101
и, следовательно,
|xn − x0 | |z − z0 |, |yn − y0 | |z − z0 |. (5.98)
Из соотношений (5.97), (5.98) следует, что условие lim |zn − z0 | =
n→∞
= 0 равносильно условиям lim xn = x0 , lim yn = y0 . Это означает,
n→∞ n→∞
что последовательность комплексных чисел zn = xn + yn i, n = 1, 2, ...,
имеет своим пределом число z0 = x0 + y0 i в том и только том слу-
чае, когда последовательности действительных {xn } и мнимых {yn }
частей членов последовательности {zn } имеют своими пределами со-
ответственно x0 и y0 .
Последовательность {zn } комплексных чисел называется огра-
ниченной, если ограничена последовательность действительных чи-
сел {|zn |} (т. е. если ограничена последовательность абсолютных ве-
личин членов данной последовательности).
На последовательности комплексных чисел обобщаются многие
предложения, доказанные для последовательностей действительных
чисел. Так, если последовательность комплексных чисел имеет пре-
дел, то он единствен; всякая последовательность комплексных чисел,
имеющая предел, ограничена; из всякой ограниченной последователь-
ности комплексных чисел можно выделить сходящуюся; для последо-
вательностей комплексных чисел имеет место аналог критерия Коши
сходимости последовательностей действительных чисел; переносятся
на последовательности комплексных чисел и свойства пределов, свя-
занные с арифметическими операциями над последовательностями.
Все это следует, например, из того, что сходимость последовательно-
сти комплексных чисел равносильна сходимости последовательностей
их действительных и мнимых частей.
Аналогично случаю последовательностей действительных чисел
для последовательностей комплексных чисел определяется и беско-
нечный предел (без знака, так как комплексные числа не имеют зна-
ка): lim zn = ∞ означает по определению, что lim |zn | = +∞.
n→∞ n→∞
З а м е ч а н и е. Обычно, когда говорят, что некоторая последова-
тельность комплексных (в частности, действительных) чисел имеет
предел, то под этим подразумевают, что этот предел конечный, а слу-
чай бесконечного предела оговаривается особо.
lim f (x) = a.
x−x0 →0
1)
Г. Гейне (1821–1881) — немецкий математик.
2)
Читается «при x, стремящемся к x0 ».
104 Гл. 1. Дифференциальное исчисление функций одной переменной
2. Рассмотрим функцию
1
f (x) = sin .
x
Она определена на множестве
X = R \ {0} (рис. 58). Выясним,
существует ли предел lim f (x).
x→0
Возьмем две последовательности:
1 1
xn = и xn = , n =
πn π/2 + 2πn
= 1, 2, ...
Очевидно,
lim xn = lim xn = 0, xn ∈ X , xn ∈ X ,
n→∞ n→∞
π
f (xn ) = sin πn = 0, f (xn ) = sin + 2πn = 1, n = 1, 2, ...
2
106 Гл. 1. Дифференциальное исчисление функций одной переменной
Поэтому
lim f (xn ) = 0, lim f (xn ) = 1,
n→∞ n→∞
1)
Л. Дирихле (1805–1859) — немецкий математик.
§ 6. Предел и непрерывность функций 107
П р и м е р 4. Пусть ⎧
⎨ 1, если x > 0,
def
sign x = 0, если x = 0,
⎩
−1, если x < 0.
Тогда (рис. 59 и рис. 60) предел lim |sign x| функции |sign x| по всей ее
x→0
области задания, т. е. по всей числовой прямой (или, что равносильно,
Функция же 1
sin , если x = 0,
f (x) = x
0, если x = 0,
1
не является непрерывной в точке x = 0, так как предел lim sin не
x→0 x
существует.
6.3. Второе определение предела функции. Существует
другое определение предела функций, в котором используется поня-
тие окрестности, оно называется определением по Коши.
О п р е д е л е н и е 6. Точку a называют пределом функции f (x),
x ∈ X , при x → x0 (или, что то же самое, в точке x0 ) и пишут
lim f (x) = a, если для любой окрестности U (a) точки a существует
x→x0
такая окрестность U (x0 ) точки x0 , что
f (X ∩ U (x0 )) ⊂ U (a).
Используя логические символы, это определение можно записать
в следующем виде:
def
lim f (x) = a ⇔ ∀U (a) ∃U (x0 ) : f (X ∩ U (x0 )) ⊂ U (a),
x→x0
или, что равносильно,
def
lim f (x) = a ⇔ ∀U (a) ∃U (x0 ) ∀x ∈ X ∩ U (x0 ): f (x) ∈ U (a) (6.10)
x→x0
(в подобных символических записях двоеточие читается как «имеет
место»).
Вспоминая определения окрестностей, эти определения для соот-
ветствующих конкретных случаев можно
перефразировать в терминах неравенств.
Рассмотрим важный случай, когда x0 и a —
действительные числа.
Число a называется пределом функ-
ции f (x), x ∈ X , в точке x0 ∈ R, если
для любого ε > 0 существует такое δ > 0,
что для всех x, удовлетворяющих условию
|x − x0 | < δ , x ∈ X , выполняется неравен-
ство
|f (x) − a| < ε.
Это определение действительно равносильно определению (6.10)
в случае, если x0 ∈ R и a ∈ R, так как условие |x − x0 | < δ равносильно
условию
x ∈ U (x0 ) = U (x0 , δ),
а условие |f (x) − a| < ε — условию
f (x) ∈ U (a) = U (a, ε)
(рис. 61).
110 Гл. 1. Дифференциальное исчисление функций одной переменной
f (x)
В последнем случае функция рассматривается только для
g(x)
тех x, для которых g(x) = 0 (см. свойство 2◦ ).
Утверждения 3◦ –6◦ следуют из соответствующих утверждений
для пределов последовательностей (см. пп. 5.3, 5.6) Докажем, напри-
мер, формулу (6.18). Пусть lim f (x) = a ∈ R, lim g(x) = b ∈ R. Возь-
x→x0 x→x0
мем какую-либо последовательность xn ∈ X , n = 1, 2, ..., имеющую
своим пределом x0 . Тогда согласно определению 1 lim f (xn ) = a,
n→∞
lim g(xn ) = b, поэтому в силу свойства пределов последовательностей
n→∞
(свойство 3◦ в п. 5.6)
lim f (xn )g(xn ) = lim f (xn ) lim g(xn ) = ab,
n→∞ n→∞ n→∞
Введем обозначения:
def
Δx = x − x0 ,
def
Δy = f (x) − f (x0 ) = f (x0 + Δx) − f (x0 ).
Тогда равенство (6.23) можно записать в виде
lim Δy = 0. (6.24)
Δx→0
Если x0 ∈ X и
lim f (x) = lim f (x) = f (x0 ), (6.27)
x→x0 −0 x→x0 +0
и слева в точке x = β:
lim f (x) = sup f (x). (6.29)
x→β x∈X
Согласно теореме 4
f (x0 − 0) = sup f (x), f (x0 + 0) = inf f (x), x ∈ X.
x<x0 x>x0
lim an = lim bn = ξ
n→∞ n→∞
Но в силу (7.9)
lim f (an ) C lim f (bn ). (7.12)
n→∞ n→∞
Допустим, что это не так. Тогда найдется такое ε > 0, что вне
окрестности U (x0 , ε) лежит бесконеч-
но много элементов последователь-
ности {xn }, а поэтому у нее суще-
ствует подпоследовательность {xnk },
все члены которой также лежат вне
окрестности U (x0 , ε):
xnk ∈ U (x0 , ε),
и, следовательно,
xnk ∈ [a, b] \ U (x0 , ε),
k = 1, 2, ...
(7.15)
Множество [a, b] \ U (x0 , ε) являет-
ся либо отрезком, либо объединением
двух отрезков (рис. 70). По теореме Больцано–Вейерштрасса у подпо-
следовательности {xnk } существует ее подпоследовательность {xnks },
сходящаяся к некоторой точке x∗ :
lim xnks = x∗ ,
s→∞
при k → ∞. Поэтому
lim f (xnk ) = f (x0 ). (7.28)
k→∞
Из (7.27) и (7.28) следует, что
lim [f (xnk ) − f (xnk )] = f (x0 ) − f (x0 ) = 0,
k→∞
а это противоречит условию, что при всех k = 1, 2, ... выполняется
неравенство
|f (xnk ) − f (xnk )| ε0 > 0.
(7.25)
Утверждение доказано.
P (x)
Т е о р е м а 2. Рациональная функция , где P (x) и Q(x) —
Q(x)
многочлены, непрерывна во всех точках числовой оси, в которых
Q(x) = 0.
Это сразу следует из непрерывности многочленов P (x) и Q(x) на
всей числовой оси и непрерывности частного непрерывных функций
во всех точках, в которых знаменатель не обращается в нуль (см. след-
ствие из свойства 6◦ пределов функций в п. 6.7).
8.2. Показательная и логарифмическая функции. Пере-
числим основные свойства степеней ar , a > 0, с рациональными пока-
зателями, т. е. r ∈ Q (см. п. 2.1).
1◦. Пусть r1 < r2 . Если a > 1, то ar1 < ar2 , а если a < 1, то
a > ar 2 .
r1
1
Если a < 1, то b = > 1, и потому
a
1 1
lim a1/n = lim = = 1.
n→∞ n→∞ b1/n lim b1/n (8.5)
n→∞
11/n = 1, n = 1, 2, ...
Докажем следствие.
Для всех a > 0 функция ar монотонна на множестве рациональ-
ных чисел Q. Для каждого действительного числа x множества ра-
циональных чисел r < x и r > x не пусты и точка x является их
точкой прикосновения. Поэтому, согласно следствию из теоремы 4
п. 6.11, существуют односторонние пределы lim ar и lim ar , r ∈ Q.
r→x−0 r→x+0
В частности, указанные пределы существуют для x = 0. Согласно
определению предела функции в терминах последовательностей их
значения равны соответственно значению последовательностей arn
при любых последовательностях rn < 0 и rn > 0, стремящихся к нулю,
1 1
rn ∈ Q, n = 1, 2, ... Выбрав rn = − и rn = , для которых пределы
n n
уже вычислены (см. (8.1)), в силу сказанного получим
также существует.
Отметим, что если x ∈ Q, то определение (8.7) совпадает с уже
известным определением рациональной степени ar числа a, r ∈ Q.
Действительно, в силу доказанного предел lim ar = ax суще-
r→x, r∈Q
ствует и для любой последовательности rn → x, rn ∈ Q, n = 1, 2, ...,
равен пределу lim arn . В случае x = r ∈ Q за указанную последо-
n→∞
вательность можно взять стационарную последовательность rn = r,
n = 1, 2, ... Тогда будем иметь
ax = lim arn = lim ar = ar .
n→∞ n→∞
x
Из определения функции a следует, что для любого действитель-
ного числа x выполняется равенство
1
a−x = .
ax
Действительно, это равенство имеет место для рациональных значе-
ний x = r ∈ Q, поэтому для любого действительного x получаем
1 1 1
a−x = lim ar = lim = = x.
(8.7) r→−x −r→x a−r lim a−r (8.7) a
−r→x
Если же y = −p/q , то
1 1
(ax )−p/q = = = a−xp/q . (8.19)
(8.13) (ax )p/q (8.18) axp/q (8.13)
alna x = x. (8.26)
0α = lim 0r = 0, α > 0.
r→α, r∈Q, r>0
§ 9. Сравнение функций
9.1. Замечательные пределы. В этом пункте будут вычисле-
sin x 1/x ln(1 + x) ax − 1
ны пределы lim , lim (1 + x) , lim , lim , которые
x→0 x x→0 x→0 x x→0 x
обычно называются замечательными пределами.
I. Докажем, что
sin x
lim = 1. (9.1)
x→0 x
150 Гл. 1. Дифференциальное исчисление функций одной переменной
1
Кроме того, согласно условию xk → 0 имеем → ∞, откуда в силу
xk
неравенства (9.4) следует, что
lim nk = +∞. (9.6)
k→∞
В результате имеем
nk
1 1 nk +1
1+ < (1 + xk )1/xk < 1 + , (9.7)
nk + 1 nk
где
1
nk +1
nk lim 1 +
1 k→∞ n +1
lim 1 + = k 1 = e, (9.8)
k→∞ nk + 1 lim 1 + (9.3)
k→∞ nk + 1
1 nk +1 1 nk 1
lim 1 + = lim 1 + lim 1 + = e. (9.9)
k→∞ nk k→∞ nk k→∞ nk (9.3)
Из (9.7), (9.8) и (9.9) следует, что (см. обозначения в п. 6.6)
lim (1 + x)1/x = e. (9.10)
x→+0
Таким образом,
lim (1 + x)1/x = lim (1 + x)1/x = e.
x→+0 x→−0 (9.10)
(9.13)
f (x) f (x)
Поэтому функции и 1 отличаются друг от друга на множи-
g(x) g1 (x)
ϕ(x)
тель , имеющий в точке x0 предел, равный 1:
ψ(x)
f (x) ϕ(x) f1 (x)
= , (9.38)
g(x) ψ(x) g1 (x)
lim ϕ(x)
ϕ(x) x→x0
lim = = 1. (9.39)
x→x0 ψ(x) lim ψ(x)
x→x0
f (x) f (x)
Поэтому и 1 одновременно имеют или нет конечный или
g(x) g1 (x)
бесконечный предел в точке x0 . Если он существует, то
f (x) ϕ(x) f (x) f (x)
lim = lim lim 1 = lim 1 .
x→x0 g(x) (9.38) x→x0 ψ(x) x→x0 g1 (x) (9.39) x→x0 g1 (x)
ln(1 + x)
П р и м е р 6. Найдем lim . Поскольку
x→x0 sin 2x
ln(1 + x) ∼ x, sin 2x ∼ 2x, x → 0,
то
ln(1 + x) x 1
lim = lim = .
x→x0 sin 2x x→x0 2x 2
З а м е ч а н и е 2. Понятия функции, ограниченной по сравнению
с другой функцией, функций одного порядка, функций, эквивалент-
ных между собой, функции, бесконечно малой по сравнению с дру-
гой функцией, переносятся и на случай комплекснозначных функций
комплексного аргумента. Все сформулированные выше определения
остаются по форме прежними, только аргумент и значения рассмат-
риваемых функций могут принимать комплексные значения и пре-
дел понимания в смысле предела функций комплексного переменного
(см. п. 6.14).
Остаются верными и аналоги теорем 1 и 2. Правда, многие из
данных выше примеров нуждаются в определениях рассматриваемых
в них функций (синуса, косинуса и т.д.) для комплексных значений
аргумента; к этому мы вернемся в п. 41.4.
поэтому
Δy Δx sin(Δx/2)
y = lim = lim cos x + lim = cos x,
Δx→0 Δx Δx→0 2 Δx→0 Δx/2 (9.1)
т. е. (sin x) = cos x.
Аналогично,
(cos x) = − sin x.
3. y = ax , a > 0. Имеем
Δy ax+Δx − ax aΔx − 1
= = ax ,
Δx Δx Δx
поэтому
Δy aΔx − 1
y = lim = ax lim = ax ln a.
Δx→0 Δx Δx→0 Δx (9.16)
Таким образом, (ax ) = ax ln a, в частности (ex ) = ex .
10.2. Дифференциал функции.
О п р е д е л е н и е 2. Функция y = f (x), заданная в некоторой
окрестности U (x0 ) точки x0 ∈ R, называется дифференцируемой
в этой точке, если ее приращение
Δy = f (x0 + Δx) − f (x0 ), Δx = x − x0 ,
представимо в этой окрестности в виде
Δy = AΔx + o(Δx), Δx → 0, (10.3)
где A — постоянная.
Линейная функция AΔx (аргумента Δx) называется дифферен-
циалом функции f в точке x0 и обозначается df (x0 ) или, короче, dy.
Таким образом,
Δy = dy + o(Δx), Δx → 0, (10.4)
dy = AΔx. (10.5)
Так как при A = 0 имеет место равенство (двустороннее)
o(Δx) = o(AΔx),
то из соотношения (10.3) при A = 0 следует, что Δy = dy + o(dy),
Δx → 0, т. е. что функции Δy и dy переменной Δx эквивалентны при
Δx → 0 (см. теорему 1 в п. 9.3), причем, dy — линейная функция аргу-
мента Δx, а Δy , вообще говоря, — функция более сложной структуры.
Для симметрии записи приращение независимого переменного Δx
def
обозначается dx, т. е. dx = Δx. Поэтому формулу (10.5) можно запи-
сать в виде
dy = A dx. (10.6)
160 Гл. 1. Дифференциальное исчисление функций одной переменной
и, следовательно,
Δy Δy Δy2
= λ1 1 + λ2 .
Δx Δx Δx
Перейдя здесь к пределу при Δx → 0, получим формулу (10.21).
2) Пусть y = y1 y2 ; тогда
откуда
Δy Δy1 Δy Δy1
= y + y1 2 + Δy2 . (10.24)
Δx Δx 2 Δx Δx
Заметив, что в силу непрерывности функции f2 в точке x0 выпол-
няется условие lim Δy2 = 0, и, перейдя в равенстве (10.24) к пределу
Δx→0
при Δx → 0, получим формулу (10.22).
3. Пусть f2 (x0 ) = 0 и y = y1 /y2 ; тогда
y1 + Δy1 y y Δy − y1 Δy2
Δy = − 1 = 2 1 ,
y2 + Δy2 y2 y2 (y2 + Δy2 )
следовательно,
1 Δy Δy
Δy y2 − y1 2
= Δx Δx .
Δx y2 (y2 + Δy2 )
(λy) = λy , λ ∈ R.
166 Гл. 1. Дифференциальное исчисление функций одной переменной
то dy 1 1 1 1
(arcsin x) = = dx = = = .
dx cos y 1 − x2
1 − sin2 y
dy
2. Если y = arccos x, −1 x 1, 0 y π , x = cos y , то
dy 1 1 1 1
(arccos x) = = dx = − = − = − .
dx sin y 1 − cos y
2
1 − x2
dy
π π
3. Если y = arctg x, −∞ < x < +∞, − < y < , x = tg y , то
2 2
dy 1 2 1 1
(arctg x) = = dx = cos y = = .
dx 1 + tg 2 y 1 + x2
dy
4. Аналогично,
1
(arcctg x) = − .
1 + x2
5. Если y = lna x, a > 0, a = 1, x > 0, −∞ < y < +∞, x = ay , то
dy 1 1 1
(lna x) = = dx = y = ,
dx a ln a x ln a
dy
в частности,
1
(ln x) = .
x
10.7. Производная и дифференциал сложной функции.
Пусть функция y = f (x) задана в некоторой окрестности U = U (x0 )
точки x0 , а функция z = g(y) — в некоторой окрестности V = V (y0 )
точки y0 = f (x0 ), причем f (U ) ⊂ V и, следовательно, определена
сложная функция
F (x) = g(f (x)).
Т е о р е м а 5. Если функция y = f (x) имеет производную в точ-
ке x0 , а функция z = g(y) имеет производную в точке y0 = f (x0 ),
то сложная функция z = F (x) = g(f (x)) также имеет в точке x0
производную, причем
F (x0 ) = g (y0 )f (x0 ), (10.28)
или, опуская значение аргумента,
zx = zy yx . (10.29)
Пусть, как всегда, Δx = x − x0 , Δy = y − y0 и Δz = g(y) − g(y0 );
тогда в силу дифференцируемости функции g в точке y0 будем иметь
(см. (10.11))
Δz = g (y0 )Δy + ε(Δy)Δy , lim ε(Δy) = 0. (10.30)
Δy→0
168 Гл. 1. Дифференциальное исчисление функций одной переменной
1)
Г. В. Лейбниц (1646–1716) — немецкий математик, физик, философ.
172 Гл. 1. Дифференциальное исчисление функций одной переменной
(n+1) (0) (n) (1) (n+1−k) (k) (1) (n)
= Cn0 y1 y2 + Cn1 y1 y2 + ... + Cnk y1 y2 + ... + Cnn y1 y2 +
(n) (1) (n+1−k) (k) (0) (n+1)
+ Cn0 y1 y2 + ... + Cnk−1 y1 y2 + ... + Cnn y1 y2 =
0 (n+1) (0) 1 0 (n) (1)
= Cn y1 y2 + (Cn + Cn )y1 y2 + ...
(n+1−k) (k) (0) (n+1)
... + (Cnk + Cnk−1 )y1 y2 + ... + Cnn y1 y2 .
Вспомнив, что (см. п. 2.4)
n+1
Cnk + Cnk−1 = Cn+
k
1, Cn0 = Cnn = Cn+
0
1 = Cn+1 = 1,
получим
(n+1) (0) k (n+1−k) (k)
(y1 y2 )(n+1) = Cn+
0
1 y1 y2 + ... + Cn+ 1 y1 y2 + ...
n+
1
n+1 (0) (n+1) k (n+1−k) (k)
... + Cn+ 1 y1 y2 = Cn+ 1 y1 y2 .
k=0
11.2. Производные высших порядков сложных функций,
обратных функций и функций, заданных параметрически.
С помощью формулы производной сложной функции (см. п. 10.7)
можно вычислять и производные высших порядков сложной функ-
ции. Пусть функция y = y(x) дважды дифференцируема в точке x0 ,
а функция z = z(y) дважды дифференцируема в точке y0 = y(x0 )
и имеет смысл сложная функция z = z(y(x)). Вычислим вторую
производную zxx сложной функции z = z(y(x)) (для простоты записи
аргумент писать не будем):
zxx = (zx )x = (zy yx )x = (zy )x yx + zy (yx )x =
2
= (zy )y yx yx + zy yxx
= zyy yx + zy yxx
. (11.8)
Аналогично вычисляются и производные более высоких порядков.
С помощью формул производных обратной функции (см. п. 10.6)
и сложной функции (см. п. 10.7) можно вычислять производные выс-
ших порядков обратных функций. Вычислим, например, вторую про-
изводную. Пусть функция y = y(x) дважды дифференцируема в точ-
ке x0 , а в ее окрестности непрерывна и строго монотонна, причем
y (x0 ) = 0. Тогда для второй производной xyy имеем в точке y0 = y(x0 )
1 1 y 1
yxx
xyy = (xy )y = = xy = − xx 2
· = − 3
.
yx y yx x yx yx yx
Рассмотрим теперь параметрическое задание функций. Пусть на
некотором множестве E задана пара функций
x = x(t), y = y(t), (11.8)
причем одна из них, например, x = x(t), строго монотонна на этом
множестве и, следовательно, существует обратная функция t = t(x),
для которой E является множеством значений. Тогда функция
§ 11. Производные и дифференциалы высших порядков 173
dn+1 y = d(dn y) = d(y (n) dxn ) = d(y (n) ) dxn = y (n+1) dxn+1 .
def
(11.13) (11.11)
1)
П. Ферма (1601–1665) — французский математик.
§ 12. Дифференциальные теоремы о среднем 175
1)
М. Ролль (1652–1719) — французский математик.
§ 12. Дифференциальные теоремы о среднем 177
1)
Ж. Л. Лагранж (1736–1813) — французский математик и механик.
178 Гл. 1. Дифференциальное исчисление функций одной переменной
откуда
f (b) − f (a)
λ= . (12.19)
g(b) − g(a)
f (ξ) − λg (ξ) = 0,
и поэтому
f (ξ)
λ= . (12.20)
g (ξ)
Действительно,
f (x) − f (x0 )
f (x) x − x0 f (x0 )
lim = lim g(x) − g(x = .
x→x0 g(x) (13.1) x→x0 0) g (x0 )
x − x0
f (x)
4) существует конечный или бесконечный предел lim ; то
x→a g (x)
f (x)
существует и предел lim , причем
x→a g(x)
f (x) f (x)
lim = lim . (13.3)
x→a g(x) x→a g (x)
f (x)
4) существует конечный или бесконечный предел lim ;
x→a g (x)
f (x)
то существует предел lim и
x→a g(x)
f (x) f (x)
lim = lim . (13.7)
x→a g(x) x→a g (x)
f (ξ)
В правой части равенства первый сомножитель стремится к чис-
g (ξ)
лу k при x0 → a (ибо a < ξ < x0 , и поэтому lim ξ = a), а второй
x0 →a
в силу условия (13.7) стремится к 1 при x → a и фиксированном x0 :
g(x0 )
1−
g(x)
lim f (x0 )
= 1. (13.12)
x→a
1−
f (x)
П р и м е р ы. 1. Если α > 0, то
ln x
lim = 0, (13.21)
x→+∞ xα
т. е. любая положительная степень x возрастает быстрее ln x при x →
→ +∞. Действительно, применив правило Лопиталя, получим
ln x 1/x 1 1
lim = lim = lim = 0.
x→+∞ xα x→+∞ αxα−1 α x→+∞ xα
2. Если α > 0 и a > 1, то
xα
lim = 0, (13.22)
x→+∞ ax
т. е. при x → +∞ любая степень xα , α > 0, растет медленнее пока-
зательной функции с основанием, большим единицы. В самом деле,
1)
Г. Лопиталь (1661–1704) — французский математик.
186 Гл. 1. Дифференциальное исчисление функций одной переменной
ln x 1/x
lim ln xx = lim x ln x = lim = − lim = − lim x = 0.
x→+0 x→+0 x→+0 1/x (13.8) x→0 1/x2 x→+0
1
В частности, при x = получим
n
√
n 1
lim n = 1 1/n = 1.
n→∞
lim
n→∞ n
§ 14. Формула Тейлора 187
n r (x)
Для вычисления предела lim n применим сначала n − 1
x→x0 (x − x0 )
раз правило Лопиталя — теорему 2 из п. 13.1, а затем оттуда же
теорему 1:
rn (x) rn (x) r(n−1) (x)
lim n = lim = ... = lim =
x→x0 (x − x0 ) (13.3) x→x0 n(x − x0 ) n− 1
(13.3) (13.3) x→x0 n! (x − x0 ) (13.2)
r(n) (x0 )
= = 0.
(13.2) n!
1)
Б. Тейлор (1685–1731) — английский математик.
2)
Д. Пеано (1858–1932) — итальянский математик.
3)
К. Маклорен (1698–1746) — шотландский математик.
190 Гл. 1. Дифференциальное исчисление функций одной переменной
n
= bk (x − x0 )k . Действительно, положив h = x − x0 , использовав
k=0
формулу бинома Ньютона и собрав члены с одинаковыми степеня-
ми h, получим
n
n
n
n
Pn (x) = a k xk = ak (x0 + h)k = bk hk = bk (x − x0 )k ,
k=0 k=0 k=0 k=0
где bk — некоторые постоянные.
Т е о р е м а 2. Если функция f задана в окрестности точки x0
и имеет представление
n
f (x) = ak (x − x0 )k + o((x − x0 )n ), x → x0 , (14.13)
k=0
то такое представление единственно.
Пусть наряду с представлением (14.15) имеет место представление
n
f (x) = bk (x − x0 )k + o((x − x0 )n ), x → x0 . (14.14)
k=0
Тогда, положив
ck = bk − ak , k = 0, 1, ..., n, (14.15)
и вычтя из равенства (14.16) равенство (14.15), получим
n
ck (x − x0 )k + o((x − x0 )n ) = 0, x → x0 . (14.16)
k=0
Перейдя в этом равенстве к пределу при x → x0 , получим c0 = 0.
Заметим, что o((x − x0 )m ) = ε(x)(x − x0 )m , lim ε(x) = 0, и, следо-
x→x0
вательно, при x = x0 , m = 1, 2, ...
o((x − x0 )m )
= ε(x)(x − x0 )m−1 = o((x − x0 )m−1 ), x → x0 .
x − x0
Сократив на x − x0 , x = x0 , левую часть равенства (14.18) (в нем,
как уже доказано, c0 = 0), получим
n−
1
ck (x − x0 )k−1 + o((x − x0 )n−1 ) = 0, x → x0 .
k=1
Перейдя в этом равенстве к пределу при x → x0 , x = x0 , получим
c1 = 0. Продолжая этот процесс после m-го шага, 0 m n, получим
n
ck (x − x0 )k−m + o((x − x0 )n−m ) = 0, x → x0 ,
k=m
отсюда при x → x0 следует, что cm = 0, m = 0, 1, ..., n.
§ 14. Формула Тейлора 191
ex − e−x x3 x2n+1
sh x = =x+ + ... + + o(x2n+2 ), x → 0. (14.22)
2 3! (2n + 1)!
В силу теоремы единственности (см. теорему 2 в п. 14.1) полу-
ченные разложения являются разложениями функций ch x и sh x по
формуле Тейлора.
4. Если f (x) = (1 + x)α , α ∈ R, α ∈ N, то
f (n) (x) = α(α − 1) ... (α − n + 1)(1 + x)α−n .
Поэтому
f (n) (0) = α(α − 1) ... (α − n + 1), n = 1, 2, ..., f (0) = 1;
отсюда
α(α − 1) 2
(1 + x)α = 1 + αx + x + ...
2!
α(α − 1) ... (α − n + 1) n
... + x + o(xn ), x → 0. (14.25)
n!
Если α=m — натуральное число, то (1 + x)m = Pm (x) + 0, где Pm (x) —
многочлен степени m. Отсюда, согласно теореме единственности, сле-
дует, что Pm (x) является многочленом Тейлора, и, следовательно,
в силу (14.11)
m(m − 1) 2
(1 + x)m = 1 + mx + x + ... + xm ,
2
т. е. в этом случае формула (14.25) превращается в формулу бинома
Ньютона.
5. Пусть f (x) = ln (1 + x); тогда
1
f (x) = = (1 + x)−1 , f (x) = (−1)(1 + x)−2 ,
1+x
вообще, f (n) (x) = (−1)n+1 (n − 1)!(1 + x)−n , поэтому
f (n) (0) = (−1)n+1 (n − 1)!, n = 1, 2, ...,
и так как f (0) = 0, то
x2 xn
ln (1 + x) = x − + ... + (−1)n+1 + o(xn ), x → 0. (14.23)
2 n
З а м е ч а н и е. Отметим, что
axn + o(xn ) = O(xn ), x → 0. (14.24)
Действительно, o(xn ) = ε(x)xn , где lim ε(x) = 0. Поэтому суще-
x→0
ствует такое δ > 0, что при |x| < δ имеем |ε(x)| 1 и, следовательно,
|axn + o(xn )| = |axn + ε(x)xn | (|a| + 1)|xn |.
Это и означает, что выполняется равенство (14.27).
§ 14. Формула Тейлора 193
Имеем
x2
cos x = 1 − + o(x2 ), x → 0.
2
§ 15. Исследование функций 195
Поэтому
x2 x2
ln cos x = ln 1 − + o(x2 ) = − + o(x2 ), x → 0.
2 2
Далее,
cos2 x (1 + o(x))2 1 + o(x)
ctg 2 x = 2
= = 2 , x → 0.
sin x (x + o(x))2 x + o(x2 )
Следовательно,
x2
(1 + o(x)) − + o(x2 )
lim (ctg 2 x ln cos x) = lim 2 =
x→0 x→0 x2 + o(x2 )
x2 x2
− + o(x2 ) − 1
= lim 2 = lim 2 =− .
x→0 x2 + o(x2 ) x→0 x2 2
Тем самым найден и искомый предел:
2
x 1
lim (cos x)ctg =√ .
x→0 e
в точке (x0 , f (x0 )), кроме самой точки касания (x0 , f (x0 )), которая
лежит на касательной.
Если у функции f существует вторая производная в точке x0 , то
в этой точке существует конечная первая производная, а следователь-
но, график функции имеет в точке (x0 , f (x0 )) наклонную касательную
y = f (x0 )(x − x0 ) + f (x0 ). (15.18)
Обозначим правую часть этого уравнения через L(x), тогда
f (x) − L(x) = [f (x) − f (x0 )] − f (x0 )(x − x0 ).
(15.18)
Применив к разности f (x) − f (x0 ) теорему о среднем Лагранжа, по-
лучим
f (x) − L(x) = f (ξ)(x − x0 ) − f (x0 )(x − x0 ) = [f (ξ) − f (x0 )](x − x0 ),
где a < x0 < b, a < x < b, а ξ лежит между x0 и x.
Применив еще раз теорему Лагранжа, но уже к разности произ-
водных f (ξ) − f (x0 ), будем иметь
f (x) − L(x) = f (η)(ξ − x0 )(x − x0 ), (15.19)
где точка η лежит между ξ и x0 . Поскольку точка ξ лежит между
точками x и x0 , то точки ξ и x расположены по одну сторону от
точки x0 , и поэтому (ξ − x0 )(x − x0 ) > 0. В силу этого знак разности
f (x) − L(x) при x = x0 совпадает со знаком второй производной f (η).
Следовательно, если на интервале (a, b) вторая производная положи-
тельна, то f (x) > L(x), т. е. график функции f лежит над касательной,
а если вторая производная отрицательна, то f (x) < L(x), т. е. график
функции лежит под касательной y = L(x), x ∈ (a, b), x = x0 .
О п р е д е л е н и е 5. Пусть функция f дифференцируема при x =
= x0 и пусть y = L(x) — уравнение наклонной касательной к графику
функции f в точке (x0 , f (x0 )) (см. (15.18)). Если разность f (x) − L(x)
меняет знак при переходе через точку x0 , то
x0 называется точкой перегиба функции f.
Если x0 — точка перегиба функции, то
точка (x0 , f (x0 )) называется точкой переги-
ба графика функции f . В точке (x0 , f (x0 ))
график функции f переходит с одной сто-
роны наклонной касательной (15.18) на дру-
гую сторону (рис. 87).
П р и м е р. Рассмотрим функцию f (x) =
= x3 . Поскольку f (x) = 6x, то f (x) < 0
для всех x < 0 и f (x) > 0 для всех x > 0.
Следовательно (теорема 5), функция f (x) = x3 выпукла вверх на бес-
конечном интервале (−∞, 0) и выпукла вниз на (0, +∞) (см. рис. 82).
Уравнение касательной к ее графику в точке (0, 0) имеет вид y = 0.
Поэтому поскольку при x < 0 выполняется неравенство f (x) < 0,
206 Гл. 1. Дифференциальное исчисление функций одной переменной
Легко видеть, что f (x) ∼ x при x → 0, f (x) ∼ x5/3 как при x → +∞,
так и при x → −∞.
На основе полученных данных можно построить эскиз графика
функции (15.26) — он изображен на рис. 88. Для уточнения вида
графика вычислим первую и вторую производные функции (15.26):
5x − 3 2(5 x − 6 )
f (x) = √
3
, f (x) = √ .
3 x−1 9(x − 1) 3 x − 1
если
lim |r(t) − a| = 0. (16.2)
t→t0
и, следовательно,
|x(t) − a1 | |r(t) − a|,
|y(t) − a2 | |r(t) − a|, (16.8)
|z(t) − a3 | |r(t) − a|.
Поэтому предел
lim r(t) = a (16.9)
t→t0
t (τ ) = 0, τ ∈ [α, β].
iτ
def
στ = |r(ti ) − r(ti−1 )|, (17.18)
i=1
iτ
где ti−1 < ξi < ti , i = 1, 2, ..., iτ . Так как |r(ti ) − r(ti−1 )| = στ —
(17.18)
i=1
длина вписанной в кривую Γ ломаной, соответствующей разбиению τ ,
то из неравенства (17.23) следует, что
|r(b) − r(a)| στ c(b − a).
Перейдя в этом неравенстве к верхней грани по всевозможным разби-
ениям τ отрезка [a, b], получим, в силу определения (17.19), неравен-
ство (17.20)
|r(b) − r(a)| SΓ = sup στ c(b − a).
(17.19) Γ
ибо r × r = 0.
Из формулы (18.10) можно получить формулу, выражающую кри-
визну через производные координатных функций: если i, j и k —
единичные векторы координатных осей переменных x, y , z и
r(t) = x(t) i + y(t) j + z(t) k, (18.15)
то
r = x i + y j + z k, r = x i + y j + z k, (18.16)
|r | = x 2 + y 2 + z 2 ,
(18.17)
§ 18. Кривизна кривой 235
i j k
r × r = x y z , (18.18)
x y z
откуда
|r × r | = (y z − y z )2 + (z x − z x )2 + (x y − x y )2 . (18.19)
1)
Ж. Френе (1816–1900) — французский математик.
236 Гл. 1. Дифференциальное исчисление функций одной переменной
dττ d2 r
Таким образом, вектор = 2 не зависит от выбора начала
ds ds
отсчета дуг на кривой, т. е. не зависит от ее ориен-
тации. Главная нормаль
1 dττ
ν= , k = 0, (18.21)
k ds
dττ
имеет то же направление, что и вектор , поэто-
ds
му она также не зависит от ориентации кривой.
2◦. Главная нормаль с точностью до беско-
нечно малых более высокого порядка, чем Δs2 ,
Δs → 0, направлена в сторону отклонения кривой
от касательной (рис. 96).
Разложим векторную функцию r = r(s) в окрестности точки s0 по
формуле Тейлора:
dr(s0 ) 1 d2 r(s0 )
Δr = r(s0 + Δs) − r(s0 ) = Δs + Δs2 + o(Δs2 ), Δs → 0.
ds 2 ds2
(18.22)
dr d2 r
Отсюда, вспомнив, что = τ, = kνν , получим
ds (18.1) ds2 (18.21)
1
Δr = Δsττ + k Δs2ν + o(Δs2 ), Δs → 0. (18.23)
2
1
Поскольку k Δs2 > 0, то разность Δr − Δsττ , т. е. отклонение
2
кривой от касательной, с точностью до o(Δs2 ), Δs → 0, направлена
по вектору ν :
1
Δr − Δsττ = k Δs2ν + o(Δs2 ), Δs → 0.
2
О п р е д е л е н и е 3. Всякая прямая, проходящая через точку кри-
вой и перепендикулярная касательной в этой точке, называется нор-
малью к кривой в данной точке. Нормаль к кривой, параллельная
вектору ν , называется главной нормалью.
Таким образом, главной нормалью называют как вектор ν , так
и параллельную ему прямую, проходящую через соответствующую
точку кривой.
О п р е д е л е н и е 4. Плоскость, проходящая через касательную
и главную нормаль в данной точке кривой, называется соприкасаю-
щейся плоскостью в этой точке.
Эта плоскость обладает тем свойством, что дважды непрерывно
дифференцируемая кривая в окрестности каждой своей точки, в кото-
рой кривизна не равна нулю, лежит «почти» в соприкасающейся плос-
кости. Это означает, что конец радиуса-вектора r(s0 + Δs) отстоит от
1
конца радиуса-вектора r(s0 ) + Δsττ + k Δs2ν , лежащего, очевидно,
2
§ 18. Кривизна кривой 237
где s = |r | = x 2 + y 2 + z 2 , а поэтому
x x + y y + z z
s = . (18.28)
x 2 + y 2 + z 2
Δr Δr
и отношение , а следовательно, и его предел lim = r . Приме-
Δt Δt→0 Δt
нив те же рассуждения к r , получим, что и r лежит в указанной
плоскости и т. д. Отсюда следует, что если кривая лежит в некоторой
плоскости, то касательная к кривой (а если ее кривизна k = 0, то
и главная нормаль) лежит в той же плоскости. Поэтому эта плоскость
является соприкасающейся плоскостью для рассматриваемой кривой.
Запишем некоторые из формул, полученных в п. 18.4, более по-
дробно для случая, когда кривая Γ = {r(t) ; a t b} лежит в плос-
кости переменных x и y : r(t) = (x(t), y(t)). В этом случае
2 2
r = (x , y ), r = (x , y ), |r | = (x + y )1/2 ,
x y
r × r = 0, 0, , |r × r | = |x y − x y |.
x y
Поэтому из формул (18.4) и (18.10) получаем следующую формулу
для кривизны:
1 |x y − x y |
k = = 2 2 3/ 2
. (18.29)
R (x + y )
Обозначим через (ξ , η) центр кривизны кривой Γ. Из формул
(18.27) и (18.28) следует, что
2 2
(x + y )3/2 2 2 x x + y y
ξ = x + 2
(x + y )1/2 x − 2 2
1/ 2
x =
(x y − x y ) (x + y ) (18.28)
2 2
x +y
= x− y . (18.30)
(18.28) x y − x y
Аналогично,
2 2
x + y
η=y+ x . (18.31)
x y − x y
1)
Если рассматриваемый промежуток является отрезком, то само собой
разумеется, что он может быть только конечным.
§ 19. Определение и свойства неопределенного интеграла 243
жутке Δ при любом
k ∈ R, ибо (kF (x)) = kF (x) = kf (x), x ∈ Δ.
Поэтому интеграл kf (x) dx состоит из всевозможных функций ви-
да kF + C , а интеграл k f (x) dx — из всевозможных функций
k(F + C) = kF + kC. В силу произвольности постоянной C и условия
k = 0 обе совокупности функций совпадают. Это и означает справед-
ливость равенства (19.9).
С л е д с т в и е (линейность интеграла). Если функции f1 и f2 име-
ют первообразные на промежутке Δ, а λ1 ∈ R и λ2 ∈ R — такие
числа, что λ21 + λ22 > 0, то функция λ1 f1 + λ2 f2 также имеет пер-
вообразную на Δ, причем
(λ1 f1 (x) + λ2 f2 (x)) dx = λ1 f1 (x) dx + λ2 f2 (x) dx.
Ее применение
к вычислению интегралов состоит в том, что вместо
интеграла f (ϕ(t)) dϕ(t) вычисляется интеграл f (x) dx, а затем по-
лагается x = ϕ(t). Формула замены переменной (19.15) и, соответ-
ственно, формула интегрирования подстановкой (19.16) применяются
тогда, когда интегралы, стоящие в их правых частях, в каком-то
смысле проще интегралов, стоящих в их левых частях. Ниже, после
доказательства теоремы, это будет пояснено на примерах.
Докажем сначала, что существование интегралов (19.13) и (19.14)
равносильно, т. е. что равносильно существование первообразных
у функции f (x) на промежутке Δx и функции f (ϕ(t))ϕ (t) на проме-
жутке Δt .
§ 19. Определение и свойства неопределенного интеграла 249
π π
Сделав замену переменной x = sin t, − t , получим
2 2
1 + cos 2t
1 − x2 dx = 1 − sin2 t cos t dt = cos2 t dt = dt =
2
1 1 t 1 t 1
= dt + cos 2t dt = + sin 2t + C = + sin t cos t + C =
2 2 2 4 2 2
1
= (arcsin x + x 1 − x2 ) + C.
2
√
Аналогично вычисляется и интеграл 1 + x2 dx, только здесь
целесообразно положить x = sh t:
2 1 + ch 2t
1 + x dx =
2 1 + sh t ch t dt = ch t dt =
2 dt =
2
t 1 1
= + sh 2t + C = (t + sh t ch t) + C.
2 4 2
В полученном√ выражении √ надо вернуться к переменной x. Имеем
sh t = x, ch t = 1 + sh 2 t = 1 + x2 . Переменную же t найдем из
et − e−t
уравнения x = sh t, т. е. из уравнения x = . Из него следует,
2
t
что y = e удовлетворяет√квадратному уравнению y 2 − 2xy − 1 = 0 и,
следовательно, et = x + 1 − x2 (другой корень указанного квадрат-
ного уравнения отрицателен,√а et принимает только положительные
значения), откуда t = ln (x + 1 + x2 ).
В результате окончательно получим
1
1 + x2 dx = (ln (x + 1 + x2 ) + x 1 + x2 ) + C.
2
Заметив, что
p 2 p2 p 2
x2 + px + q = x + + q− = x+ + a2 ,
2 4 2
def p2 p
где a2 = q − > 0, и положив t = x + , будем иметь
4 2
B t− p +D
Bx + D Bx + D 2
dx = dx = dt =
(x2 + px + q)n x+
p 2
+q−
p2 n (t2 + a2 )n
2 4
t dt pB dt
=B + D− .
(t2 + a2 )n 2 (t2 + a2 )n
Bx + D
Таким образом, вычисление интеграла dx сводится
(x2 + px + q)n
к вычислению интегралов, стоящих в правой части получившегося
равенства.
Если n = 1, то
t dt 1 d(t2 + a2 ) 1
= = ln (t2 + a2 ) + C , (20.3)
t2 + a2 2 t2 + a2 2
dt 1 t
2 2
= arctg + C. (20.4)
t +a a a
§ 20. Интегрирование рациональных дробей 253
Если же n > 1, то
t dt 1 1
= (t2 + a2 )−n d(t2 + a2 ) = − + C.
2
(t + a )2 n 2 2(n − 1)(t2 + a2 )n−1
(20.5)
def dt
Для интеграла In = , n > 1, выведем с помощью ин-
(t2 + a2 )n
тегрирования по частям рекуррентную формулу, т. е. выразим In че-
рез In−1 :
dt 1 t2 + a2 − t2
In = = dt =
(t2 + a2 )n a2 (t2 + a2 )n
1 dt 1 t dt
= 2 2 n−1
− 2 t 2 =
a 2
(t + a ) a (t + a2 )n (20.5)
1 1 t 1 dt
= 2 In−1 − 2 − + =
(20.5) a a 2
2(n − 1)(t + a ) 2(n − 1) (t + a )
2 n−1 2 2 n−1
1 t 1
= 2 In−1 + 2 2 2 n−1
− 2 In−1 ,
a 2a (n − 1)(t + a ) 2a (n − 1)
т. е.
t 1 1
In = + 2 1− In−1 , n = 2, 3, ... (20.6)
2 2 2 n−1
2a (n − 1)(t + a ) a 2 (n − 1)
Так как интеграл I1 уже вычислен (см. (20.4)), по формуле (20.6)
можно последовательно вычислить I2 , I3 и т. д.
Таким образом, интеграл от любой элементарной дроби находится
в явном виде и является элементарной функцией.
20.2. Общий случай. Любую рациональную дробь можно пред-
ставить в виде суммы многочлена и правильной рациональной дроби,
а всякая правильная рациональная дробь раскладывается в сумму
элементарных рациональных дробей (см. п. 1.3.5), поэтому задача ин-
тегрирования рациональных дробей сводится к интегрированию мно-
гочленов и элементарных рациональных дробей, т. е. функций, от ко-
торых мы уже умеем вычислять интегралы. Имеет место следующая
Т е о р е м а 1. Неопределенный интеграл от любой рациональной
дроби на всяком промежутке, на котором ее знаменатель не об-
ращается в нуль, существует и выражается через элементарные
функции, являющиеся линейной комбинацией композиций рациональ-
ных дробей, логарифмов и арктангенсов.
Для доказательства достаточно, поделив числитель на знамена-
P (x) P (x)
тель, данную рациональную дробь представить в виде =
Q(x) Q(x)
R(x)
= S(x) + , где S(x) и R(x) — многочлены, причем степень много-
Q(x)
R(x)
члена R(x) меньше степени многочлена Q(x), т. е. — правильная
Q(x)
рациональная дробь. Разложив ее согласно теореме 2 из п. 1.3.5 на
254 Гл. 2. Интегральное исчисление функций одной переменной
P (u1 , u2 , ..., un )
называются многочленами, а функции , где P и Q —
Q(u1 , u2 , ..., un )
многочлены, называются рациональными дробями (или рациональны-
ми функциями) от переменных u1 , u2 , ..., un .
P (u1 , u2 , ..., un )
Композиция рациональных дробей с функциями
Q(u1 , u2 , ..., un
u1 = f1 (x), u2 = f2 (x), ..., un = fn (x), т. е. функции вида
P (f1 (x), f2 (x), ..., fn (x))
,
Q(f1 (x), f2 (x), ..., fn (x))
называются рациональными функциями от функций f1 (x), f2 (x), ...,
fn (x) и обозначаются R(f1 (x), f2 (x), ..., fn (x)).
sin2 x + cos x
Например, R(sin x, cos x) ≡ 2
— рациональная функция
cos
√ x −√ sin x
√ √ x+ x
3 2
от sin x и cos x, а R( x , 3 x ) ≡ √3
— рациональная функция
√ √
3
x
от x и x.
ax + b r1 ax + b rn
21.2. Интегралы вида R x, , ..., dx.
rcx + d rn cx + d
ax + b 1 ax + b
Рассмотрим интеграл R x, , ..., dx.
cx + d cx + d
Будем предполагать, что числа r1 , ..., rn рациональны и записаны
p
с одним и тем же знаменателем: ri = i , m — натуральное число,
m
a b
pi целые, i = 1, 2, ..., n, и что определитель не равен 0. Если
c d
a b
бы = 0, то существовали бы такие числа λ, μ, что λ2 + μ2 = 0
c d
§ 21. Интегрирование некоторых иррациональностей 255
то
ax + b r1 ax + b rn
R x, , ..., dx =
cx + d cx + d
= R(ρ(t), tp1 , ..., tpn )ρ (t) dt = R∗ (t) dt,
где R∗ (t) = R(ρ(t), tp1 , ..., tpn )ρ (t) — рациональная функция.
Таким образом, замена переменной (21.1) сводит интеграл
ax + b r1 ax + b rn
R x, , ..., dx (21.3)
cx + d cx + d
к интегралу от рациональной функции.
К рассмотренному типу интегралов относятся интегралы вида
R(x, (ax + b)r1 , ..., (ax + b)rn ) dx, a = 0,
в частности интегралы R(x, xr1 , ..., xrn ) dx.
dx
П р и м е р. √ . Сделаем согласно формуле (21.1) замену пе-
1+ x
ременной t2 = x, t > 0, откуда dx = 2t dt и, следовательно,
dx t dt (1 + t) − 1 dt
√ =2 =2 dt = 2 dt − =
1+ x 1+t 1+t 1+t
√ √
= 2(t − ln |1 + t|) + C = 2( x − ln (1 + x )) + C.
256 Гл. 2. Интегральное исчисление функций одной переменной
γ+1
где α и λ — рациональные числа, λ = − 1.
β
Рассмотрим три случая.
1. α — ц е л о е ч и с л о. Пусть λ = m/n, где m и n > 0 — целые
числа. Согласно результатам п. 21.1 подстановка u = t1/n сводит ин-
теграл (21.7) к интегралу от рациональной дроби.
2. λ — ц е л о е ч и с л о. Пусть теперь α = m/n, где m и n > 0 —
целые числа. Тогда согласно тому же п. 21.1 интеграл (21.7) приво-
дится к интегралу от рациональной функции с помощью подстановки
u = (a + bt)1/n .
§ 22. Интегрирование некоторых трансцендентных функций 257
3. α + λ — ц е л о е ч и с л о. Пусть,
α =m/n
как и выше, , где
α λ a + bt α α+λ
m и n > 0 — целые числа. Имеем (a + bt) t dt = t dt.
t
Снова получился
интеграл типа, рассмотренного в п. 21.1: под-
a + bt 1/n
становка u = сводит его к интегралу от рациональной
t
функции.
Итак, в трех случаях, когда α, λ или α + λ являются целыми числа-
ми, интеграл (21.7) сводится к интегралу от рациональных функций.
γ+1 γ+1
Поэтому если хотя бы одно из чисел α, или + α в перво-
β β
начальном интеграле (21.4) является целым числом, то этот интеграл
сводится к интегралу от рациональных функций и, следовательно,
выражается через элементарные функции.
Русский математик П. Л. Чебышев 1) показал, что ни в каком
другом случае рациональных показателей α, β и γ интеграл (21.4) не
выражается через элементарные функции.
1)
П. Л. Чебышев (1821–1894) — русский математик.
9 Л. Д. Кудрявцев
258 Гл. 2. Интегральное исчисление функций одной переменной
Например,
sin3 x sin2 x 1 − cos2 x
2
dx = − 2
d cos x = − 2
d cos x =
cos x
cos 2 x cos x
u=cos x
1−u du 1 1
= − du = du − = u + + C = cos x + + C.
u=cos x 2
u 2
u u cos x
9*
260 Гл. 2. Интегральное исчисление функций одной переменной
1)
Б. Риман (1826–1866) — немецкий математик.
262 Гл. 2. Интегральное исчисление функций одной переменной
ξk ∈ [xk−1 , xk ], k = 1, 2, ..., kτ ,
называется интегральной суммой Римана функции f.
В случае если функция f неотрицательна, то интегральная сум-
ма στ равна площади фигуры, со-
ставленной из прямоугольников с ос-
нованием [xk−1 , xk ] и высотой длины
f (ξk ) (рис. 102).
О п р е д е л е н и е 1. Функция f
называется интегрируемой по Рима-
ну на отрезке [a, b], если для любой
последовательности разбиений
(n) k=k
τn = {xk }k=0 τn , n = 1, 2, ...,
отрезка [a, b], мелкость которых стре-
мится к нулю: lim |τn | = 0, и для
n→∞
(n) (n) (n)
любого выбора точек ξk ∈ [xk−1 , xk ], k = 1, 2, ..., kτ , последователь-
ности интегральных сумм
(n) (n)
στn (f ; ξ1 , ..., ξkτn ), n = 1, 2, ...,
имеют и притом один и тот же предел.
Этот предел называется интегралом Римана функции f по отрез-
b
ку [a, b]. Его обозначают f (x) dx и пишут
a
b
lim στ = f (x) dx. (23.1)
|τ |→0
a
§ 23. Определенный интеграл 263
жество {στ }, |τ | < δ (число δ > 0 было выбрано выше), что противо-
речит неравенству (23.2).
З а м е ч а н и е. Условие ограниченности функции, являясь необхо-
димым условием интегрируемости функции по Риману, не является
достаточным условием для этого. В самом деле, рассмотрим, напри-
мер, функцию Дирихле
1, если x рационально,
f (x) =
0, если x иррационально.
Каковы бы ни были отрезок [a, b] и его разбиение τ = {xk }k=k
k=0 , выбрав
τ
1)
Г. Дарбу (1842–1917) — французский математик.
266 Гл. 2. Интегральное исчисление функций одной переменной
lim F (τn ) = A.
n→∞
Следовательно,
kτ
kτ
0 ωk (f )Δxk ε Δxk = ε(b − a). (23.28)
(23.27)
k=1 k=1
следовательно,
b
dx = lim στ = b − a.
|τ |→0
a
|τ | = |τ ∗ |. (24.3)
Обозначив посредством ωk (f ) и ωj∗ (f ) колебания функции f соответ-
kτ
ственно на отрезках [xk−1 , xk ] и [x∗j−1 , x∗j ] и заметив, что ωk (f )Δxk
k=1
jτ ∗
отличается от ωj∗ (f )Δx∗j , Δxk = xk − xk−1 , Δx∗j = x∗j = x∗j − x∗j−1 ,
j=1
274 Гл. 2. Интегральное исчисление функций одной переменной
Если τac
и τcb
— разбиения соответственно отрезков [a, c] и [c, b], то
объединение этих разбиений τ = τac ∪ τcb является разбиением отрез-
ка [a, b], причем
|τac | |τ |, |τcb | |τ |. (24.6)
b
З а м е ч а н и е 1. В силу определения интеграла f (x) dx при b a
a
(см. п. 23.1) формула (24.5) остается в силе и при c b, если только
функция f интегрируема на отрезке [a, c].
b c c
В самом деле, если c b, то по доказанному + = и, следова-
a b a
b c c c b
тельно, = − = + .
a a b a c
З а м е ч а н и е 2. Если функция f интегрируема на отрезках [a, c]
и [c, b], то она интегрируема и на отрезке [a, b], а следовательно, для
нее в силу свойства 3◦ имеет место формула (24.5).
Действительно, если функция f интегрируема на отрезках [a, c]
и [c, b], то она ограничена на них, а поэтому ограничена и на отрез-
ке [a, b]. Далее, всякое разбиение τ отрезка [a, b], не содержащее точ-
ки x = c, добавлением этой точки превращается в разбиение τ , кото-
рое является объединением разбиений τac и τcb соответственно отрезков
[a, c] и [c, b]. Если точка x = c входит в разбиение τ , то положим τ = τ.
Тогда |τ | |τ |. Рассмотрим такие интегральные суммы στ и στ , что
у них на отрезках разбиений τ и τ , не содержащих точки x = c,
выбраны одинаковые точки, в которых берутся значения функции f.
Эти суммы отличаются друг от друга не более чем на три слагаемых.
Поэтому, если |f (x)| M , a x b, то
|στ − στ | 3M |τ | → 0 при |τ | → 0.
c
А так как στ = στac + στcb и существуют пределы lim στac = f (x) dx,
|τ |→0
b a
5◦. И н т е г р и р у е м о с т ь п р о и з в е д е н и я и н т е г р и р у е-
м ы х ф у н к ц и й. Если функции f и g интегрируемы на некотором
отрезке, то их произведение также интегрируемо на этом отрезке.
Если функции f и g интегрируемы на отрезке [a, b], то они на нем
ограничены, т. е. существует такая постоянная A > 0, что для всех
x ∈ [a, b] выполняются неравенства
|f (x)| A, |g(x)| A, (24.8)
а следовательно, и |f (x)g(x)| A2 , т. е. произведение f g ограничено
на отрезке [a, b]. Проверим для него выполнимость критерия (23.21)
интегрируемости функций. Из тождества
f (x )g(x ) − f (x)g(x) = [f (x ) − f (x)]g(x ) + [g(x ) − g(x)]f (x),
x ∈ [a, b], x ∈ [a, b],
имеем
|f (x )g(x ) − f (x)g(x)| |f (x ) − f (x)||g(x )| + |g(x ) − g(x)||f (x)|
A[|f (x ) − f (x)| + |g(x ) − g(x)|]. (24.9)
Если τ = {xk }k=k
k=0 — разбиение отрезка [a, b], то, выбирая точки x
τ
и x в одном и том же отрезке [xk−1 , xk ] этого разбиения и переходя
§ 24. Свойства интегрируемых функций 277
1
часть. Это означает интегрируемость функции на отрезке [a, b].
g
f
Если функция f также интегрируема на этом отрезке, то частное ,
g
1
будучи произведением интегрируемых функций f и , согласно свой-
g
ству 5◦ также интегрируемо.
7◦. И н т е г р и р о в а н и е н е р а в е н с т в. Если функции f и g
интегрируемы на отрезке [a, b] и
f (x) g(x), x ∈ [a, b], (24.11)
то
b b
f (x) dx g(x) dx. (24.12)
a a
а тогда
b α β b
f (x) dx = f (x) dx + f (x) dx + f (x) dx
(24.3) (24.13)
a a α β
β β β
f (x0 ) f (x0 ) 1
f (x) dx dx = dx = f (x0 )(β − α) > 0.
(24.13) (24.12) 2 (24.1) 2 2
α (24.15) α α
b b
f (x) dx |f (x)| dx. (24.16)
a a
рассмотрим какое-либо разбиение τ = {xk }k=k k=0 отрезка [a, b]. Тогда,
τ
b b
f (x) dx |f (x)| dx.
a a
b b
f (x) dx |f (x)| dx. (24.19)
a a
x+Δx x
x+Δx
(отметим, что это равенство верно как при Δx 0, так и при Δx <
< 0, лишь бы x ∈ [a, b] и x + Δx ∈ [a, b]). Теперь видно, что прираще-
ние ΔF (x) функции F (x) (см. (24.20)) можно записать в виде
x+Δx x
ΔF (x) = F (x + Δx) − F (x) = f (t) dt − f (t) dt =
(24.20) (24.24)
a a
x+Δx
Если
b
g(x) dx = 0, (24.32)
a
то как в первом, так и во втором случае
b
f (x)g(x) dx = 0 (24.33)
a
b b
тогда f (x)g(x) dx = μ g(x) dx, причем в силу (24.34) и (24.35) вы-
a a
полняется неравенство m μ M.
Докажем следствие.
Если функция f непрерывна на отрезке [a, b], то согласно теореме
Вейерштрасса она достигает своих наибольшего и наменьшего значе-
ний в некоторых точках α и β этого отрезка:
При
m = f (α), M = f (β) (24.37)
(M − f (x))g(x) dx (M − f (x))g(x) dx
(24.44)
a a+ε
b−ε
x0 +Δx
x0 +Δx
ΔF (x0 ) 1 f (x0 )
− f (x0 ) = f (t) dt − dt =
Δx Δx Δx
x0 x0
x0 +Δx
x0 +Δx
1 1
= [f (t) − f (x0 )] dt |f (t) − f (x0 )| dt. (25.2)
Δx |Δx|
x0 x0
§ 25. Определенный и неопределенный интеграл 287
0 ΔF (x )
Это, согласно определению предела, и означает, что lim =
Δx→0 Δx
= f (x0 ), и, таким образом, формула (25.1) доказана.
Для доказательства следствия достаточно заметить, что равенст-
во (25.1) в случае непрерывной на отрезке функции имеет место во
всех точках этого отрезка.
З а м е ч а н и е. Из доказанного следует, что в условиях теоремы 1
функция
b
G(x) = f (t) dt
x
также имеет производную в точке x0 и
G (x0 ) = −f (x0 ). (25.5)
Это сразу следует из формулы (25.1), ибо (см. (24.26))
b
G(x) = f (t) dt − F (x)
a
b
и f (t) dt — постоянная величина.
a
Если функция f непрерывна на отрезке [a, b], то для каждой его
точки x справедливы формулы
x b
d d
f (t) dt = f (x), f (t) dt = −f (x). (25.6)
dx dx
a x
288 Гл. 2. Интегральное исчисление функций одной переменной
x
По теореме 2 функция F (x) = f (t) dt является первообразной
a
функции f на отрезке [a, b]. Если Φ — какая-либо первообразная
на [a, b] той же функции f , то они отличаются на постоянную, т. е.
существует такая постоянная C , что для всех x ∈ [a, b] имеет место
равенство
x
f (t) dt = Φ(x) + C. (25.10)
a
a
Положив здесь x = a и вспомнив, что f (t) dt = 0, получим C =
a
= −Φ(a). Подставив это значение в формулу (25.10), будем иметь
x
f (t) dt = Φ(x) − Φ(a), x ∈ [a, b].
a
1
П р и м е р ы. 1. Вычислить значение интеграла x3 dx. Поскольку
0
x4
x3 dx = + C , то по формуле Ньютона–Лейбница получим
4
1
x4 1 1
x3 dx = = .
4 0 4
0
π/
2
2. Найдем значение интеграла cos x dx. Имеем
−π/2
π/
2 π/2
cos x dx = sin x = 2.
−π/2
−π/2
где
α ∈ Δt , β ∈ Δt ,
a = ϕ(α), b = ϕ(β)
(рис. 104).
Формула (26.1) называется формулой замены переменной в опре-
деленном интеграле.
§ 26. Формулы замены переменной и интегрирования по частям 291
u dv = uv a − v du. (26.2)
a a
π/
2
π
Положив для удобства I0 = dx = и проинтегрировав по
2
0
частям интеграл In при n 2, имеем
π/
2 π/
2
n
In = sin x dx = sinn−1 x d(− cos x) =
0 0
π/
2
π/2
= − sin n−1
x cos x0 + (n − 1) sinn−2 x cos2 x dx =
0
π/
2
= (n − 1) sinn−2 x(1 − sin2 x) dx = (n − 1)In−2 − (n − 1)In ,
0
откуда
n−1
In = In−2 . (26.5)
n
Заметим, что
π/
2
π
I0 = , I1 = sin x dx = 1. (26.6)
2
0
1)
Дж. Валлис (1616–1703) — английский математик.
294 Гл. 2. Интегральное исчисление функций одной переменной
получим
π/
2 π/
2 π/
2
2n+1 2n
sin x dx sin x dx sin2n−1 x dx,
0 0 0
т. е.
I2n+1 I2n I2n−1 . (26.10)
Отсюда в силу формул (26.4) имеем
(2n)!! (2n − 1)!! π (2n − 2)!!
. (26.11)
(2n + 1)!! (2n)!! 2 (2n − 1)!!
Если ввести обозначения
2 2
1 (2n)!! 1 (2n)!!
xn = , yn = , (26.12)
2n + 1 (2n − 1)!! 2n (2n − 1)!!
то неравенства (26.11) можно записать в виде
π
xn yn , (26.13)
2
где
2
1 1 (2n)!! 1
yn − xn = = xn
(26.12) 2n 2n + 1 (2n − 1)!! 2n (26.13)
1 π
→0 при n → ∞,
(26.13) n 2
2
т. е.
τ
k τ
k
pτ = pτ ,k , Pτ = Pτ ,k . (28.6)
k=1 k=1
Действительно, если
f ∗ (x) = −f (x),
def
x ∈ [a, b], (28.12)
а P ∗ — множество, симметричное с мно-
жеством P относительно оси x (рис. 110), то в силу формулы (28.2)
b
μP = f ∗ (x) dx,
∗
(28.13)
a
Δk = [ϕk−1 , ϕk ],
mk = inf ρ(ϕ), Mk = sup ρ(ϕ), Δϕk = ϕk − ϕk−1 ,
ϕ∈Δk ϕ∈Δk
pτ ,k = {(ρ, ϕ) : ϕk−1 ϕ ϕk , 0 ρ mk },
302 Гл. 2. Интегральное исчисление функций одной переменной
Pτ ,k = {(ρ, ϕ) : ϕk−1 ϕ ϕk , 0 ρ Mk },
k = 1, 2, ..., kτ ,
τ
k τ
k
pτ = pτ ,k , Pτ = Pτ ,k .
k=1 k=1
sτ S = μP Sτ . (28.15)
β
1
lim sτ = lim Sτ = ρ2 (ϕ) dϕ,
|τ |→0 |τ |→0 2
α
где yk−1
и yk — соответственно радиусы оснований усеченного ко-
нуса, а Δx2k + Δyk2 — длина его образующей, Δxk = xk − xk−1 ,
Δyk = yk − yk−1 , k = 1, 2, ..., kτ . Поэтому площадь Lτ поверхности,
получающейся от вращения ломаной λτ вокруг оси Ox, выражается
формулой
kτ
Lτ = π (yk−1 + yk ) Δx2k + Δyk2 . (28.22)
k=1
|f (x)| c. (28.24)
kτ
Lτ = π (yk−1 + yk ) 1 + f 2 (ξk ) Δxk . (28.25)
(28.22)
k=1
306 Гл. 2. Интегральное исчисление функций одной переменной
Поэтому
|στ − Lτ | =
(28.25)
(28.26)
kτ
= π [(f (ξk ) − yk−1 ) − (yk−1 − f (ξk ))] 1 + f 2 (ξk ) Δxk
(28.25)
(28.26) k=1
kτ
π (|f (ξk ) − yk−1 | + |yk − f (ξk )|) 1 + f 2 (ξk ) Δxk
(28.28)
k=1
kτ
2πc |τ | 1 + c 2 Δxk = 2πc (b − a)|τ | 1 + c2 .
(28.28)
k=1
Отсюда следует, что
lim (στ − Lτ ) = 0. (28.29)
|τ |→0
Но στ является интегральной суммой функции 2πy 1 + y 2 , где
y = f (x), поэтому
b
lim στ = 2π y 1 + y 2 dx. (28.30)
|τ |→0
a
§ 28. Приложения определенного интеграла 307
1)
П. Гульдин (1577–1633) — швейцарский математик.
§ 28. Приложения определенного интеграла 311
a a
В правой части этого равенства стоит разность объемов тел, получен-
ных вращением вокруг оси x криволинейных трапеций, порожденных
графиками соответственно функций f и g (п. 28.5), т. е. объем V тела,
получающегося вращением фигуры P вокруг оси x:
V = S · 2πy0 . (28.51)
Таким образом, доказана следующая
Т е о р е м а 2 (вторая теорема Гульдина). Объем тела, получен-
ного вращением плоской фигуры вокруг оси, равен площади фигуры,
умноженной на длину окружности, описываемой центром тяже-
сти фигуры.
§ 29. Несобственные интегралы 313
η
Если существует конечный предел lim f (x) dx, то несобственный
η→b
b b
интеграл f (x) dx называется сходящимся, а если этот предел не
a
существует, то — расходящимся.
В случае когда несобственный интеграл сходится, говорят также,
что он существует, а если расходится, то не существует.
314 Гл. 2. Интегральное исчисление функций одной переменной
b η
Если интеграл f (x) dx сходится, то предел lim f (x) dx обозна-
η→b
a b
чается тем же символом, что и сам интеграл, т. е.
b η
def
f (x) dx = lim f (x) dx, (29.1)
η→b
a a
и для краткости также называется несобственным интегралом (ино-
гда — его значением).
Подчеркнем, что здесь возможны два случая: когда b — конечное
число и когда b равно бесконечности (рис. 119).
b b c
В этом равенстве и — несобственные интегралы, а — собственный
a c a
интеграл.
Если функция f определена на полуинтервале (a, b], −∞ a <
< b < +∞, и при любом ξ ∈ (a, b] интегрируема по Риману на отрезке
b
[ξ , b], то аналогично формуле (29.1) несобственный интеграл f (x) dx
a
b
определяется как функция F (ξ) = f (x) dx нижнего предела интегри-
ξ
рования, a < ξ b.
316 Гл. 2. Интегральное исчисление функций одной переменной
b
Если существует конечный предел lim f (x) dx, то несобственный
ξ→a
ξ
интеграл называется сходящимся, а если этот предел не существует,
то — расходящимся.
Здесь, как и выше, в случае, когда несобственный интеграл схо-
дится, говорят, что он существует, а когда расходится, что он не су-
ществует.
b b
Если интеграл f (x) dx сходится, то предел lim f (x) dx обозна-
ξ→a
a ξ
чается тем же символом, что и сам интеграл, т. е.
b b
def
f (x) dx = lim f (x) dx, (29.4)
ξ→a
a ξ
b
f (x) dx не зависят в рассматриваемом случае от выбора точки
a
c ∈ (a, b).
Определим теперь общее понятие несобственного интеграла от
функции f по промежутку Δ с концами a и b, −∞ a b +∞.
k=n
Всякое множество точек X = {xk }k= 0 расширенной числовой пря-
мой называется правильным разбиением промежутка Δ относи-
тельно функции f , если:
1) a = x0 < x1 < ... < xn = b;
2) функция f интегрируема по Риману на любом конечном отрез-
ке, лежащем на промежутке Δ и не содержащем точек множества X.
Ясно, что на каждом из промежутков (x0 , x1 ), (x1 , x2 ), ...,
(xn−1 , xn ) имеет смысл несобственный интеграл от функции f одного
из трех рассмотренных выше типов.
Совокупность интегралов
xk
1 1
dx x1−α 1
2. α = 1, α = lim x−α dx = lim =
x (29.4) ξ→0 ξ→0 1 − α ξ
0 ξ 1
, если α < 1,
= 1−α
+∞ если α > 1.
Обратим внимание на то, что при 0 < α < 1 несобственный ин-
1 1
dx dx
теграл существует, в то время как собственный интеграл
xα xα
0 0
заведомо не существует, поскольку функция x−α при любом ее до-
определении в точке x = 0 будет неограниченной на отрезке [0, 1].
Этот пример говорит о том, что в случае конечного промежутка
понятие несобственного интеграла шире понятия собственного инте-
грала. В случае же бесконечного промежутка понятия собственного
интеграла просто нет.
1
dx
Итак, интеграл сходится при α < 1 и расходится при α 1
xα
0
(при α < 0 этот интеграл является интегралом Римана).
+∞ η η
dx dx
3. = lim = lim ln x1 = +∞.
x (29.1) η→+∞ x η→+∞
1 1
+∞ η
dx dx x1−α η
4. α = 1, = lim α = lim =
xα (29.1) η→+∞ x η→+∞ 1 − α 1
1 1
+∞, если α < 1,
= 1
, если α > 1.
+∞ α−1
dx
Итак, интеграл сходится при α > 1 и расходится при α 1.
xα
1
b
3◦. И н т е г р и р о в а н и е н е р а в е н с т в. Если интегралы f (x) dx
a
b
и g(x) dx сходятся и для всех x ∈ [a, b) выполняется неравенство
a
f (x) g(x), то
b b
f (x) dx g(x) dx. (29.10)
a a
то
b β
f (x) dx = f (ϕ(t))ϕ (t) dt, (29.11)
a α
§ 29. Несобственные интегралы 321
b b−0
b
u dv = uv a − v du. (29.12)
a a
b−0
uv a = lim u(η)v(η) − u(a)v(a)
η→b
+∞
2. Вычислим интеграл In = xn e−x dx, n = 0, 1, 2, ... Проинте-
0
грировав по частям при n > 0, будем иметь
+∞
+∞
+∞
+∞
+∞
Поскольку I0 = e−x dx = e−x 0 = 1, то, применив последователь-
0
но рекуррентную формулу (29.13), получим
In = nIn−1 = n(n − 1)In−2 = ... = n! I0 = n!.
29.3. Несобственные интегралы от неотрицательных
функций. Установим признаки сходимости для несобственных
интегралов от неотрицательных функций.
Л е м м а 1. Если функция f неотрицательна на полуинтервале
b
[a, b), то для сходимости интеграла f (x) dx необходимо и доста-
a η
точно, чтобы множество всех интегралов f (x) dx, η ∈ [a, b), бы-
a
ло ограничено сверху, т. е. чтобы существовала такая постоянная
c > 0, что для всех η ∈ [a, b) выполнялось бы неравенство
η
f (x) dx c. (29.14)
a
Положим
η
def
ϕ(η) = f (x) dx. (29.15)
a
Если a η < η < b, то
η η η η
ϕ(η ) = f (x) dx = f (x) dx + f (x) dx f (x) dx = ϕ(η),
a a η a
§ 29. Несобственные интегралы 323
что имеет место тогда и только тогда, когда функция ϕ(η) ограничена
сверху (см. теорему 4 в п. 6.11), а это в силу (29.15) равносильно
условию (29.14).
З а м е ч а н и е. При доказательстве леммы 1 было показано, что
в случае неотрицательности функции f функция ϕ(η) (см. (29.15))
возрастает на [a, b) и, следовательно, всегда имеет при η → b конечный
или бесконечный, равный +∞, предел в зависимости от того, ограни-
чена она или нет. Если функция ϕ(η) неограничена на [a, b), то
η
lim f (x) dx = lim ϕ(η) = +∞,
η→b (29.15) η→b
a
и в этом случае пишут
b
f (x) dx = +∞
a
11*
324 Гл. 2. Интегральное исчисление функций одной переменной
Тогда:
b
1) если интеграл g(x) dx сходится и 0 k < +∞, то и интеграл
a
b
f (x) dx сходится;
a
b
2) если интеграл g(x) dx расходится и 0 < k +∞, то и инте-
a
b
грал f (x) dx расходится.
a
С л е д с т в и е 2. Если функции f (x) и g(x) эквивалентны при x →
→ b, т. е. f (x) = ϕ(x)g(x), a x < b, lim ϕ(x) = 1, то интегралы
x→b
b b
f (x) dx и g(x) dx одновременно сходятся или расходятся.
a a
Докажем теорему. Для любого η ∈ [a, b) в силу неравенства (29.16)
имеем
η η
g(x) dx f (x) dx.
a a
b
Поэтому если интеграл f (x) dx сходится и, следовательно, соглас-
a
η
но лемме 1 ограничен сверху интеграл f (x) dx, то будет ограничен
η a
b
и интеграл g(x) dx, а это противоречит условию. Таким образом,
a
b
интеграл f (x) dx расходится.
a
Если положить η
ϕ(η) = f (x) dx, (29.25)
a
b
то сходимость интеграла f (x) dx будет означать существование ко-
a
нечного предела функции ϕ(η) при η → b. Согласно критерию Коши
существования предела функции (п. 6.12) для существования ука-
занного предела необходимо и достаточно, чтобы для любого ε > 0
нашлось такое η , что если η < η < b, η < η < b, то
|ϕ(η ) − ϕ(η )| < ε. (29.26)
Так как
η η η
Но
η η
f (x) dx |f (x)| dx, (29.30)
η η
Получившийся интеграл
+∞
cos x
dx (29.35)
x2
1
+∞
cos x 1 dx
абсолютно сходится, ибо 2 2 , а интеграл сходится.
x x x2
1
Следовательно, интегралы (29.35), а потому и (29.33) сходятся.
Покажем теперь, что интеграл (29.33) не сходится абсолютно, т. е.
+∞
| sin x|
что интеграл dx расходится. Из неравенства
x
1
1 − cos 2x
| sin x| sin2 x = (29.36)
2
следует, что для любого η > 0 выполняется неравенство
η η η
| sin x| 1 dx 1 cos 2x
dx − dx. (29.37)
x (29.36) 2 x 2 x
1 1 1
+∞
dx
Интеграл расходится, т. е.
x
1
η
dx
lim = +∞, (29.38)
η→+∞ x
1
§ 29. Несобственные интегралы 331
+∞
cos 2x
а интеграл dx сходится. Действительно, аналогично случаю
x
1
интеграла (29.33) имеем
+∞
+∞
+∞
cos 2x 1 1 sin 2x +∞ 1 1
dx = d(sin 2x) = − sin 2x d =
x 2 x 2x 1 2 x
1 1 1
+∞
sin 2 1 sin 2x
=− + dx, (29.39)
2 2 x2
1
+∞
sin 2x 1 sin 2x
и поскольку 2 2 , то интеграл 2
dx абсолютно, а сле-
x x x
1
довательно, и просто сходится. Поэтому из равенства (29.39) следует,
+∞
cos 2x
что интеграл dx сходится, т. е. существует конечный предел
x2
1
η
+∞
cos 2x cos 2x
lim dx = dx. (29.40)
η→+∞ x2 x2
1 1
f (x)g(x) dx (29.41)
a
сходится.
Пусть F — ограниченная первообразная функции f на полуоси
x a, F (x) = f (x). По условию функция f непрерывна, поэтому
функция F непрерывно дифференцируема. Проинтегрируем по ча-
b
стям интеграл f (x)g(x) dx, a < b < +∞:
a
b b b
f (x)g(x) dx = g(x) dF (x) = F (b)g(b) − F (a)g(a) − F (x)g (x) dx.
a a a
(29.42)
Поскольку по условию функция F ограничена на полуоси x a, то
существует такая постоянная c > 0, что для всех x a выполняется
неравенство
|F (x)| c (29.43)
и, следовательно, |F (b)g(b)| c|g(b)|. В силу стремления к нулю
функции g при x → +∞ отсюда получаем
lim F (b)g(b) = 0. (29.44)
b→+∞
§ 29. Несобственные интегралы 333
b
Докажем теперь, что интеграл F (x)g (x) dx, стоящий в правой ча-
a
сти равенства (29.42), абсолютно сходится. Из убывания функции g(x)
(второе условие теоремы) вытекает, что g (x) 0 при x a, т. е.
|g (x)| = −g (x). (29.45)
Далее, из того, что функция g при x a, убывая, стремится к нулю,
когда x → +∞, следует, что g(x) 0 при x a, в частности,
g(b) 0. (29.46)
В результате
b b b
|F (x)g (x)| dx = − |F (x)|g (x) dx −c g (x) dx =
(29.45) (29.43)
a a a
= c[g(a) − g(b)] cg(a).
(29.46)
b
Таким образом, множество интегралов |F (x)g (x)| dx при всех b a
a
ограничено сверху, а это, согласно лемме п. 29.3, и означает сходи-
+∞
+∞
мость интеграла |F (x)g (x)| dx. Итак, интеграл F (x)g (x) dx аб-
a a
солютно, а следовательно, и просто сходится, т. е. существует конеч-
ный предел
b
+∞
lim F (x)g (x) dx = F (x)g (x) dx. (29.47)
b→+∞
a a
f (x) dx (29.48)
a
сходится;
334 Гл. 2. Интегральное исчисление функций одной переменной
f (x)g(x) dx
a
сходится.
Покажем, что эта теорема вытекает из предыдущей. Прежде всего
отметим, что интегралы
+∞
+∞
f (x)g(x) dx и f (x)[−g(x)] dx
a a
сходятся или расходятся одновременно и что в силу монотонности
функции g одна из функций g или −g убывает. Пусть для определен-
ности убывает функция g. В силу ее ограниченности и монотонности
существует конечный предел
lim g(x) = c,
x→+∞
f (x)g(x) dx.
a
§ 29. Несобственные интегралы 335
+∞
sin x
П р и м е р ы. 1. Интеграл dx в силу признака Дирихле
xα
a
сходится при всех α > 0. Действительно, функция f (x) = sin x имеет
ограниченную первообразную F (x) = − cos x, а функция g(x) = 1/xα ,
убывая, стремится к нулю.
+∞
sin x arctg x
2. Интеграл dx, α > 0, в силу признака Абеля схо-
xα
a
+∞
sin x
дится. В самом деле, как мы уже знаем, интеграл dx сходится,
xα
a
а функция g(x) = arctg x ограниченна и монотонна.
З а м е ч а н и е. Усовершенствовав доказательства теорем 5 и 6,
можно показать, что признаки Дирихле и Абеля сходимости инте-
гралов остаются справедливыми, если у функции f условие ее непре-
рывности заменить условием ее интегрируемости на любом конечном
отрезке [a, b], а у функции g отбросить требование ее непрерывной
дифференцируемости, оставив все остальные.
b b
интеграла u(x) dx, v(x) dx. В этом случае, согласно определению,
a a
имеет место равенство (29.51).
Функция f (x) называется абсолютно интегрируемой, если абсо-
лютно интегрируемы функции u(x) и v(x).
Определение (29.51) сохраняет свойство линейности:
b b b
(λ1 f1 (x) + λ2 f2 (x)) dx = λ1 f1 (x) dx + λ2 f2 (x) dx,
a a a
λ1 ∈ C, λ2 ∈ C.
= xk − xk−1 , k = 1, 2, ..., kτ :
b
lim στ = f (x) dx,
|τ |→0
a
|τ | — мелкость разбиения τ.
Отсюда тем же методом, что и для действительных функций,
легко показать, что если для функции f существует интеграл Римана,
то он существует и для ее абсолютной величины, причем
b b
f (x) dx |f (x)| dx.
a a
un = sn − sn−1 , n = 2, 3, ...,
следует, что
lim un = lim sn − lim sn−1 = s − s = 0.
n→∞ n→∞ n→∞
s = sn + rn . (30.7)
(n)
Пусть sn и sm являются соответственно n-й частичной суммой
∞
ряда un и m-й частичной суммой его остатка (30.6):
n=1
тогда
sn+m = sn + s(n)
m . (30.8)
lim rn = lim (s − sn ) = 0.
n→∞ (30.7) n→∞
1
Поэтому если 0 < ε < , то для ряда (30.10) нельзя подобрать номе-
2
ра n0 , указанного в критерии Коши, так как при любом n = 1, 2, ...
и p = n − 1 не выполняется условие (30.9). Следовательно, гармони-
ческий ряд расходится.
1
Отметим, что последовательность членов гармонического ря-
n
да стремится к нулю:
1
lim = 0.
n→∞ n
Таким образом, условие стремления к нулю последовательности
членов ряда, являясь необходимым условием сходимости ряда, не
является достаточным для этого.
30.4. Признаки сходимости рядов с неотрицательными
членами.
Л е м м а 1. Если члены ряда неотрицательны, то он сходит-
ся тогда и только тогда, когда его частичные суммы ограничены
сверху.
Если члены ряда ∞
un (30.11)
n=1
т. е.
1
k+
т. е. к неравенству
1
n+
+∞
Если интеграл f (x) dx сходится, то из неравенства (30.17) в си-
1
лу неотрицательности подынтегральной функции следует, что
1
n+
+∞
sn f (x) dx,
1
§ 30. Числовые ряды 345
∞
1
, α ∈ R. (30.20)
nα
n=1
+∞
dx
xα
1
0 un vn , n = 1, 2, ... (30.21)
Тогда: ∞ ∞
1) если ряд vn сходится, то и ряд un сходится;
n=1 n=1
∞ ∞
2) если ряд un расходится, то расходится и ряд vn .
n=1 n=1
un
lim = l. (30.22)
n→∞ vn
346 Гл. 3. Ряды
Тогда: ∞
1) если ряд vn сходится и 0 l < +∞, то сходится и
∞ n=1
ряд un ;
n=1 ∞
2) если ряд vn расходится и 0 < l +∞, то расходится
n=1
∞
и ряд un .
n=1 ∞ ∞
u
В частности, если lim n = 1, то ряды un и vn схо-
n→∞ vn
дятся и расходятся одновременно. n=1 n=1
∞
Д о к а з а т е л ь с т в о т е о р е м ы. Если ряд vn сходится, т. е.
n=1
∞
n
def
имеет конечную сумму σ = vn , и σn = vk , то для любого
n=1 k=1
n = 1, 2, ... выполняется неравенство
σn σ. (30.23)
(30.14)
Следовательно,
n
n
sn = uk vk = σn σ , (30.24)
(30.21) (30.23)
k=1 k=1
∞
а это в силу леммы означает, что ряд un сходится.
n=1
∞
∞
Если ряд un расходится, то расходится и ряд vn , так как
n=1 n=1
если бы он сходился, то в силу уже доказанного сходился бы и ряд
∞
un .
n=1 ∞
Д о к а з а т е л ь с т в о с л е д с т в и я. Пусть ряд vn сходится.
n=1
Поскольку l < +∞, то в силу условия (30.22) существует такой номер
u
n0 , что для всех n > n0 выполняется неравенство n < l + 1, а следо-
vn
вательно, и неравенство
un < (l + 1)vn , n > n0 . (30.25)
∞
∞
Если ряд vn сходится, то сходится и ряд (l + 1)vn (теоре-
n=1 n=1
ма 2), а поэтому по признаку сравнения (теорема 6) в силу неравен-
§ 30. Числовые ряды 347
∞
ства (30.25) сходится и ряд un0 +k , а тогда (см. теорему 3) сходится
∞ k=1
и ряд un .
n=1 ∞
Пусть ряд vn расходится. По условию l > 0; выберем число l
n=1
так, чтобы 0 < l < l. В силу условия (30.22) существует такой но-
u
мер n0 , что для всех n > n0 выполняется неравенство n > l , а сле-
vn
довательно, и неравенство
sin2 nα 1
0 2
2, n = 1, 2, ...,
n n
∞
1
и ряд сходится.
n=1
n2
∞
1
2. Ряд √ расходится, ибо
1+ n
n=1
1 1 1
√ √ √ = √ ,
1+ n n+ n 2 n
∞
1
и ряд √ расходится.
n
n=1
348 Гл. 3. Ряды
Пусть сначала l < 1. Выберем число q так, чтобы l < q < 1. Тог-
да в силу условия (30.30) существует
√ такой номер n0 , что для всех
n > n0 выполняется неравенство n un < q и, следовательно, un < q n .
∞
∞
n
Поскольку ряд q сходится, то сходится ряд un0 +k , а поэтому
n=0 k=1
и ряд (30.29).
Если l > 1, то в силу условия (30.30) существует
√ такой номер n0 ,
что при n > n0 выполняется неравенство n un > 1, т. е. un > 1, и,
следовательно, последовательность членов ряда (30.29) не стремится
к нулю, поэтому этот ряд расходится.
∞
1
П р и м е р ы. 3. Ряд сходится. Это устанавливается, напри-
n!
n=1
мер, с помощью признака Даламбера:
1/n! 1
lim = lim = 0.
n→∞ 1/(n − 1)! n→∞ n
∞
1
4. Ряд сходится. Это сразу можно установить с помощью
nn
n=1
признака Коши:
n 1 1
lim = lim = 0.
n→∞ nn n→∞ n
1
5. Для ряда с общим членом un = , α > 0, имеем
nα
α
un+1 nα n
lim = lim α = lim = 1,
n→∞ un n→∞ (n + 1) n→∞ n+1
√
n n 1 1
lim un = lim = √ =1
n→∞ n→∞ nα ( lim n n )α
n→∞
lim u2n+1 = 0,
n→∞ (30.31)
поэтому
lim s2n+1 = lim s2n + lim u2n+1 = s. (30.39)
n→∞ n→∞ n→∞ (30.37)
∞
где в правой части стоит ряд (−1)k+1 un+k . Применив к нему нера-
k=1
венство (30.38), получим
∞
0 (−1)k+1 un+k un+1 ,
k=1
поэтому
∞
|s − sn | = (−1)k+1 un+k un+1 .
k=1
∞
(−1)n
П р и м е р. Ряд сходится. Это сразу следует из теоре-
n
n=1
мы 9.
(−1)n (−1)n 1
un = √ , vn = √ + ,
n n n
то
vn (−1)n
lim = lim 1 + √ = 1,
n→∞ un n→∞ n
352 Гл. 3. Ряды
∞
(−1)n
т. е. un ∼ vn , n → ∞. Однако в силу признака Лейбница ряд √
n
∞
n=1
(−1)n 1
сходится, а ряд √ + расходится, ибо расходится гармони-
n n
n=1
∞
1
ческий ряд .
n
n=1
1 (−1)n
Очевидно, что =o √ , n → ∞. Таким образом, добавляя
n n
к членам ряда бесконечно малые более высокого порядка по сравне-
нию с членами ряда, можно изменить сходимость ряда: из сходяще-
гося ряда получить расходящийся.
30.6. Абсолютно сходящиеся ряды.
О п р е д е л е н и е 3. Ряд
∞
un , un ∈ C, (30.40)
n=1
12 Л. Д. Кудрявцев
354 Гл. 3. Ряды
Это означает, что lim s∗m = s. Иначе говоря, ряд (30.43) сходится
m→∞
и его сумма равна s, т. е. равна сумме ряда (30.40):
∞
∞
u∗m = s = un .
m=1 n=1
Положим
∞
∞
n
n
s$ = |um |, s$ = |vn |, s$ n = |uk |, s$ n = |vk |,
m=1 n=1 k=1 k=1
Для ряда
∞
un (30.59)
n=1
1 + ... + un1 −1 s.
u+ (30.65)
+
и если n2 > 1, то
− −
1 + ... + un1 − u1 − ... − un2 −1 s.
u+ (30.67)
+
и если n3 > n1 + 1, то
− −
1 + ... + un1 − u1 − ... − un2 + un1 +1 + ... + un3 −1 s.
u+ + + +
(30.68)
Обозначим через sn , n = 1, 2, ..., частичные суммы этого ряда.
В силу выбора номеров n1 , n2 , n3 , n4 , ... будем иметь
sn1 > s, и если n1 > 1, то sn1 −1 s,
sn1 +n2 < s, и если n2 > 1, то sn1 +n2 −1 s,
sn2 +n3 > s, и если n3 > n1 + 1, то sn2 +n3 −1 s,
sn3 +n4 < s, и если n4 > n2 + 1, то sn3 +n4 −1 s, (30.69)
..........................................
n1 < n3 < ... < n2k+1 < ..., n2 < n4 < ... < n2(k+1) < ...,
k = 0, 1, 2, ...
Их этих неравенств следует, что частичная сумма вида snm +nm+1
отличается от числа s не более чем на абсолютную величину послед-
него ее члена, т. е. для всех m = 1, 2, ... имеют место неравенства
|snm +nm+1 − s| u±
nm+1 , (30.70)
где u±
nm+1 является абсолютной величиной последнего слагаемого сум-
мы snm +nm+1 (член u±nm+1 может принадлежать как ряду (30.60), так
и ряду (30.61), поэтому в качестве верхнего индекса написано ±).
По условию ряд (30.59) сходится, следовательно,
lim un = 0.
n→∞
сходится по
признаку
Абеля, ибо сходится ряд (30.82), а последова-
π
тельность cos ограниченна и монотонна.
n
30.9. Исследование сходимости рядов методом выделения
главной части ряда. Для того чтобы выяснить, сходится или рас-
∞
ходится данный ряд un , бывает полезно разложить с помощью
n=1
1
формулы Тейлора члены ряда un по степеням α при подходящем
n
показателе α > 0, т. е. представить un в виде (см. п. 14.2)
α an,m−1 1
un = an,0 + nα,1 + ... + (m− 1)α
+ O mα , n → ∞, (30.84)
n n n
364 Гл. 3. Ряды
∞
где число m выбрано так, что mα > 1. Тогда ряд vn с членами
n=1
1
vn = O mα сходится абсолютно по признаку сравнения, так как
n
существует такая постоянная c > 0, что для всех n = 1, 2, ... выпол-
∞
c c
няется неравенство |vn | mα (см. (9.20)), и ряд mα , mα > 1,
n n
n=1
сходится.
∞
Таким образом, сходимость данного ряда un сводится к иссле-
n=1
дованию сходимости рядов
∞
αn,k
, k = 0, 1, ..., m − 1.
n=1
nkα
1
П р и м е р ы. 1. Рассмотрим ряд с общим членом un = ln cos .
n
Используя разложение функций cos и ln по формуле Тейлора
(см. п. 14.2), получим
1 1
un = ln 1 − 2 + O 4 =
2n n
2
1 1 1 1
=− 2 +O 4 +O − 2 +O 4 =
2n n 2n n
1 1
= − 2 + O 4 , n → ∞.
2n n
∞
∞
1 1
Поскольку ряды − и O 4 сходятся, то сходится
n=1
2n2 n=1
n
и ряд ∞
1
ln cos .
n
n=1
(−1)n
2. Рассмотрим ряд с общим членом un = ln cos √ . Имеем
n
(−1)n 1 1
un = ln cos √ = ln 1 − +O 2 =
n 2n n
2
1 1 1 1 1 1
=− +O 2 +O − +O 2 =− +O 2 , n → ∞.
2n n 2n n 2n n
∞
∞
1 1
Ряд − расходится, а ряд O 2 сходится, поэтому
2n n
n=1 n=1
данный ряд ∞
(−1)n
ln cos √
n
n=1
расходится.
§ 30. Числовые ряды 365
(−1)n
3. Рассмотрим ряд с общим членом un = ln 1 + √ . Заме-
n
тим, что
x2
ln (1 + x) = x − + O(x3 ), x → 0;
2
n
(−1)
в частности, при x = √ имеем
n
(−1)n (−1)n 1 1
un = ln 1 + √ = √ − + O 3/2 = an + bn + cn , (30.85)
n n 2n n
где
def (−1)n def 1 1
an = √ , bn = − , cn = O , n → ∞.
n 2n n 3/ 2
∞
Ряд an знакочередующийся; он сходится по признаку Лейбни-
n=1
∞
ца. Ряд bn расходится, так как он только постоянным множителем
n=1 ∞
1
− отличается от гармонического ряда, а ряд cn сходится.
2
n=1
Поэтому в силу равенства (30.85) данный ряд
∞
(−1)n
ln 1 + √
n
n=1
расходится.
∞
∞
Таким образом, ряды an и un являются еще одним приме-
n=1 n=1
ром рядов, члены которых эквивалентны: un = an + o(an ), n → ∞, но
один из них сходится, а другой расходится (см. замечание в п. 30.5).
30.10. Суммирование рядов методом средних арифмети-
ческих. Если заданный числовой ряд расходится, то иногда ока-
зывается полезным определить сумму ряда не обычным способом —
как предел его частичных сумм — а каким-либо другим. Рассмотрим
один из таких способов, называемый суммированием рядов методом
средних арифметических.
∞
Для ряда un , un ∈ C, составим из его частичных сумм sn их
n=1
средние арифметические
s1 + s2 + ... + sn
σn = , n = 1, 2, ...
n
Если существует конечный предел lim σn =σ , то заданный ряд на-
n→∞
зывается суммируемым методом средних арифметических к числу σ.
366 Гл. 3. Ряды
1
Поскольку z1 + ... + zn0 − n0 z0 — фиксированное число, а lim =
n→∞ n
= 0, то существует такой номер m0 , что для всех n > m0 выполняется
неравенство
z1 + ... + zn0 − n0 z0 ε
< . (30.90)
n 2
Если теперь nε = max {n0 , m0 } и n > n0 , то
z + ... + zn − n0 z (zn0 +1 − z0 ) + ... + (zn − z0 )
|wn − z0 | 1 + <
(30.88) n n (30.89)
(30.90)
ε n − n0 ε
< + < ε.
(30.89) 2 n 2
(30.90)
Значение этой леммы состоит в том, что она сводит понятие рав-
номерной сходимости п о с л е д о в а т е л ь н о с т и ф у н к ц и й {fn }
к понятию сходимости числовой последовательности
" #
sup |fn (x) − f (x)|
X
(«числовой» в широком смысле этого слова: конечное число членов
указанной последовательности может обратиться в +∞). В силу этого
обстоятельства условие (31.8) часто бывает удобно использовать для
выяснения, сходится ли равномерно интересующая нас конкретная
последовательность функций.
1. Пусть
fn ⇒f.
X
Зададим произвольно ε > 0. Тогда существует такой номер n0 , что для
всех n > n0 и всех x ∈ X выполняется неравенство |fn (x) − f (x)| < ε,
а следовательно, для всех n > n0 — неравенство
sup |fn (x) − f (x)| ε.
x∈X
sn (x)⇒s(x). (31.13)
X
∞ ∞
∞
|rn (x)| = uk (x) |uk (x)| αk = εn , x ∈ X.
(31.20)
k=n+1 k=n+1 k=n+1
§ 31. Функциональные последовательности и ряды 377
∞
Из сходимости ряда αn следует, что lim εn = 0, а тогда в силу
n→∞
n=1
следствия из леммы 1 имеем
rn (x)⇒0.
X
Это и означает, что ряд (31.12) равномерно сходится на множе-
стве X.
П р и м е р ы. 4. В п. 31.1 было показано, что ряд
∞
zn
(31.21)
n!
n=0
сходится при любом z ∈ C, в частности, для любого r > 0 сходится ряд
∞ n
r
.
n!
n=0
n
z rn
Поскольку из неравенства |z| r следует неравенство ,
n! n!
то из признака Вейерштрасса следует, что ряд (31.21) абсолютно
и равномерно сходится в круге Kr = {z : |z| r} любого радиуса r.
Однако ряд (31.21) не сходится равномерно на всей комплексной
плоскости C. Это следует из того, что последовательность членов
ряда (31.21) не стремится равномерно к нулю на C, ибо при любом
n = 1, 2, ... имеет место равенство
n
z
sup = +∞,
C n!
и потому условие (31.18) заведомо не выполнено.
Итак, ряд (31.21) равномерно сходится в круге Kr сколь угодно
большого радиуса r, но не сходится равномерно на всей плоскости C.
Это означает, что если обозначить через s(z) и sn (z) соответственно
сумму и частичные суммы ряда (31.21), то для любого ε > 0 при
заданном круге Kr можно так выбрать номер n0 , что для всех n > n0
и всех z ∈ Kr будет выполняться неравенство |s(z) − sn (z)| < ε. Номер
n0 зависит не только от ε, но и от r, т. е. n0 = n0 (ε, r), причем при
неограниченном возрастании радиуса r номер n0 также неограниченно
возрастает: lim n0 (ε, r) = +∞ (если бы это было не так, то ряд (31.21)
r→∞
сходился бы равномерно на всей комплексной плоскости), т. е. невоз-
можно выбрать такой номер n0 , чтобы при всех n > n0 неравенство
|s(z) − sn (z)| < ε выполнялось для всех z ∈ C.
∞
5. Ряд z n , z ∈ C, сходится в открытом круге K = {z : |z| < 1}
n=0
и при любом r, 0 r < 1, сходится равномерно в замкнутом круге
378 Гл. 3. Ряды
1)
Г. Харди (1877–1947) — английский математик.
§ 31. Функциональные последовательности и ряды 379
ограничена на X , то ряд
∞
an (x)bn (x) (31.24)
n=1
сти {an (x)} существует такая постоянная A > 0, что для всех x ∈ X
и всех n = 1, 2, ... выполняется неравенство
|an (x)| A. (31.27)
В силу же равномерной сходимости ряда (31.23) для произвольно
фиксированного ε > 0 существует такой номер n0 , что для всех x ∈ X ,
всех n > n0 и всех p = 0, 1, 2, ... имеет место неравенство
n+p
ε
bk (x) < .
3A
k=n
un (t) dt (31.36)
n=1 x
0
Следовательно,
lim sup |σ(x) − σn (x)| = 0,
n→∞ [a,b]
§ 31. Функциональные последовательности и ряды 385
13 Л. Д. Кудрявцев
386 Гл. 3. Ряды
1
fn (x) dx = 1 равен площади треугольника AOB. Поэтому в этом
0
случае
1 1
lim fn (x) dx = 1 = 0 = lim fn (x) dx.
n→∞ n→∞
0 0
∞ n
z
и если |z| < |z0 |, то ряд сходится, ибо является суммой
z0
n=0
бесконечно убывающей геометрической прогрессии ее знаменатель
n
z |z|
= < 1 . Поэтому по признаку сравнения сходимости
z0 |z0 |
рядов из неравенства (32.5) следует, что схо-
∞
дится ряд |an z n |, т. е. ряд (32.2) абсолютно
n=0
сходится (рис. 127).
Следствие сразу вытекает из теоремы: если
в точке z0 ряд (32.2) расходится, то при |z| >
> |z0 | он не может сходиться в точке z , так как
тогда бы он по доказанной теореме сходился
(и даже абсолютно) в точке z0 .
Рассмотрим степенной ряд (32.2). Он заве-
домо сходится в точке z = 0. Обозначим че-
рез X множество всех таких действительных неотрицательных чисел
x ∈ R, что при z = x ряд (32.2) сходится. Поскольку 0 ∈ X , то X = ∅.
Пусть
R = sup X. (32.6)
Очевидно, 0 R +∞.
Неравенство |z| R задает на комплексной плоскости C замкну-
тый круг радиуса R с центром в точке z = 0. При R = 0 этот круг
вырождается в точку z = 0, а при R = +∞ превращается во всю
комплексную плоскость.
О п р е д е л е н и е 1. Число R = sup X (конечное или бесконечное)
называется радиусом сходимости ряда (32.2), а круг {z : |z| R} —
его кругом сходимости.
Т е о р е м а 2. Пусть R — радиус сходимости ряда (32.2). Тогда
если |z| < R, то ряд (32.2) сходится абсолютно, если |z| > R, то ряд
(32.2) расходится, а если 0 r < R, то в круге {z : |z| r} ряд (32.2)
сходится равномерно.
Если R = 0, то точек z ∈ C таких, что |z| < R, нет. Если же
0 < R +∞ и z ∈ C таково, что |z| < R, то согласно определению
верхней грани из равенства R = sup X следует, что существует такое
x ∈ X , что |z| < x < R, а так как по определению множества X
§ 32. Степенные ряды 391
∞
во всех его точках x ряд an xn сходится, то по первой теореме
n=0
Абеля он абсолютно сходится в точке z.
Если R = +∞, то точек z ∈ C таких, что |z| > R, нет.
Если же R < +∞ и z ∈ C таково, что |z| > R, то для любой точки x
такой, что R < x < |z|, согласно определению R = sup X имеем x ∈ X ,
а поэтому в силу определения множества X
∞
ряд an xn расходится. Следовательно,
n=0
в силу следствия из теоремы 1 ряд (32.2)
расходится в рассматриваемой точке z.
Если теперь
0 r < R, (32.7)
то покажем, что ряд (32.2) сходится равно-
мерно в круге |z| r (рис. 128). Действи-
тельно, если |z| r, то
|an z n | |an rn |. (32.8)
Из неравенства (32.7), согласно вышедоказанному свойству радиу-
са сходимости, вытекает, что ряд (32.2) при z = r абсолютно сходится,
∞
т. е. сходится ряд |an rn |, а тогда в силу признака равномерной
n=0
сходимости Вейерштрасса (п. 31.2) из неравенства (32.8) следует, что
ряд (32.2) равномерно сходится в круге {z : |z| r}.
∞
Рассмотрим степенной ряд общего вида an (z − z0 )n . Он сходит-
n=0
ся или расходится в точке z тогда и только тогда, когда соответственно
∞
сходится или расходится в точке ζ = z − z0 ряд an ζ n . Радиус
n=0
сходимости R последнего ряда называется и радиусом сходимости
∞
исходного ряда an (z − z0 )n .
n=0
При замене переменного ζ = z − z0 кругу сходимости {ζ : |ζ| R}
∞
ряда an ζ n соответствует круг {z : |z − z0 | R}. Он называется
n=0
∞
кругом сходимости ряда an (z − z0 )n .
n=0
Из теоремы 2 следует, что если R является радиусом сходимо-
∞
сти ряда an (z − z0 )n , то при |z − z0 | < R этот ряд абсолютно
n=0
392 Гл. 3. Ряды
равен +∞, так как в п. 31.1 было показано, что этот ряд сходится при
любом z ∈ C.
3. Радиус сходимости суммы бесконечной геометрической прог-
рессии ∞
zn (32.11)
n=1
равен 1, так как ряд (32.11) сходится при |z| < 1 и расходится при
|z| > 1 (п. 30.1, 30.2). На границе {z : |z| = 1} круга сходимости имеем
|z| = 1 и, следовательно, последовательность членов ряда (32.11) не
стремится к нулю, откуда явствует, что во всех точках границы своего
круга сходимости ряд (32.11) расходится.
4. У ряда ∞
zn
(32.12)
n=1
n2
§ 32. Степенные ряды 393
Поэтому ряд (32.14) сходится при |z| < 1 и расходится при |z| > 1.
Таким образом, R = 1.
В точке z = 1 границы круга сходимости ряд (32.14) превращается
в гармонический ряд и, следовательно, расходится, а при z = −1
∞
(−1)n
получается сходящийся ряд . Итак, у ряда (32.14) на границе
n
n=1
круга сходимости имеются как точки, в которых он сходится, так
и точки, в которых он расходится.
Разобранные примеры показывают, что существуют степенные ря-
ды, у которых радиус сходимости равен нулю (ряд (32.9)), равен
конечному положительному числу (ряд (32.11)) и равен бесконечно-
сти (ряд (32.10)). На границе круга сходимости ряд может во всех
точках сходиться (ряд (32.12)), а может и сходиться в одних точках
и расходиться в других (ряд (32.14)) или расходиться во всех точках
(ряд (32.11)).
Функции, раскладывающиеся в степенные ряды, называются ана-
литическими. Точнее, имеет место следующее
О п р е д е л е н и е 2. Функция f называется аналитической в точ-
ке z0 , если в некоторой окрестности (см. п. 5.11) этой точки функция f
394 Гл. 3. Ряды
Если x = 0, то
2 −1/x2 6 −1/x2 4 2
f (x) = e , f (x) = − e + 6 e−1/x ,
x3 x4 x
вообще,
1 −1/x2
f (n) (x) = Pn e , (32.33)
x
§ 32. Степенные ряды 399
Найдем предел
lim f (n) (x).
x→0
(m)
m t=x
x
f (t)(x − t) 1
=− + f (m+1) (t)(x − t)m dt =
m! t=x0 m!
x0
x
f (m) (x0 ) 1
= (x − x0 )m + f (m+1) (t)(x − t)m dt.
m! m!
x0
402 Гл. 3. Ряды
Далее, из неравенств
1 − |x| < 1 − θn |x| 1 + θn x 1 + θn |x| < 1 + |x|,
где −1 < x < 1, следует, что значения |bn (x)| заключены между чис-
лами |αx|(1 − |x|)α−1 и |αx|(1 + |x|)α−1 , не зависящими от n, т. е.
последовательность {bn (x)} ограничена при каждом x ∈ (−1, 1).
Что же касается последовательности {cn (x)}, то она ограничена
равномерно на всем интервале (−1, 1):
1 − θn n 1 − θn n
|cn (x)| = < 1.
1 + θn x 1 − θn |x|
412 Гл. 3. Ряды
1)
Д. Стирлинг (1692–1770) — шотландский математик.
414 Гл. 3. Ряды
1
Положив x = , n = 1, 2, ..., получим
2n + 1
1
1+
1 2n + 1
ln 1 + = ln 1
=
n 1−
2n + 1
2 1 1 1 1 2 1
= 1+ + + ... > = 1
,
2n + 1 3 (2 n + 1 )3 5 (2 n + 1 )4 2n + 1 n+
2
откуда
1 1
n+ ln 1 + > 1.
2 n
Пропотенцировав и заметив, что функция ln x возрастает, а 1 = ln e,
получим
1 n+1/2
1+ > e. (32.77)
n
Положим
n! en
xn = . (32.78)
nn+1/2
Поскольку, согласно неравенству (32.77),
xn 1 1 n+1/2
= 1+ > 1,
xn+1 e n
то последовательность {xn } убывает. Кроме того, она ограничена
снизу: xn 0. Следовательно, она имеет конечный предел. Обозначим
его a:
lim xn = a. (32.79)
n→∞
то
1 1 1
n+ ln 1 + <1+
2 n 12n(n + 1)
и, следовательно,
1 n+1/2
1+ < e1+1/(12n(n+1)) .
n
Поэтому
n+1/2
xn 1 1 e1/(12n)
= 1+ < e1/(12n(n+1)) = ,
xn+1 e n e1/(12n(n+1))
т. е.
xn e−1/(12n) < xn+1 e−1/(12n(n+1)) . (32.80)
−1/(12n)
Последовательность yn = xn e , n = 1, 2, ..., будучи произве-
дением двух последовательностей {xn } и {e−1/(12n) }, имеющих предел,
также имеет предел, причем
lim yn = lim xn lim e−1/(12n) = a.
n→∞ n→∞ n→∞ (32.79)
nn+1/2
n! = a (1 + εn ). (32.82)
en
Для того чтобы найти значение числа a, вспомним, что по формуле
Валлиса (см. (26.9) в п. 26.2)
2
π 1 (2n)!!
= lim . (32.83)
2 n→∞ 2n + 1 (2n − 1)!!
Из формулы (32.82) следует, что
(2n)!! ((2n)!!)2 22n (n!)2 n (1 + εn )2
= = = a .
(2n − 1)!! (2n)! (2n)! (32.82) 2 1 + ε2n
Подставив это выражение в формулу Валлиса (32.83), получим
π 1 n (1 + εn )4 a2
= lim a2 = , (32.84)
2 n→∞ 2n + 1 2 (1 + ε2n ) 2 4
√
откуда a = 2π . Следовательно,
√ nn+1/2
n! = 2π n (1 + εn ), lim εn = 0,
(32.82) e n→∞
§1
1. Что называется суммой, или объединением, двух множеств, си-
стемы множеств?
2. Что называется произведением, или пересечением, двух мно-
жеств, системы множеств?
3. Что называется разностью двух множеств?
4. Записать с помощью математической символики, что означает,
что одно множество содержится в другом.
5. Найти пересечения систем интервалов (−1/n, 1/n), (0, 1/n) и от-
резков [−1/n, 1/n], [0, 1/n] (n = 1, 2, . . .).
6. Найти объединения систем интервалов (−1 + 1/n, 1 − 1/n) и от-
резков [−1 + 1/n, 1 − 1/n] (n = 1, 2, . . .).
7. Что понимается под отображением одного множества в другое?
8. Что называется сюръекцией, инъекцией, биекцией?
9. Что называется сужением функции?
10. Что называется образом множества при отображении? Прообра-
зом множества?
11. Что называется многозначной, однозначной функцией?
12. Что называется функцией, обратной к данной?
13. Что называется композицией (суперпозицией) двух функций?
§2
14. Привести свойства операций сложения и умножения действи-
тельных чисел.
15. В чем состоит свойство упорядоченности действительных чисел?
Как оно связано с арифметическими операциями?
16. В чем состоит свойство плотности действительных чисел?
17. В чем заключается свойство непрерывности действительных
чисел?
18. Обладает ли свойством непрерывности множество натуральных
чисел? Свойством плотности?
19. Обладает ли свойством непрерывности множество рациональ-
ных чисел? Свойством плотности?
Контрольные вопросы 417
§3
47. Как определяются арифметические операции над числовыми
функциями?
48. Что означает, что функция, заданная на некотором множестве,
имеет период T ?
49. Что называется графиком функции?
50. Какие функции относятся к основным элементарным
функциям?
51. Какие функции называются элементарными?
52. Как определяется многочлен степени n ∈ N? Что понимается
под степенью нулевого многочлена? Что называется рациональ-
ной функцией?
53. Как определяется иррациональная функция? Трансцендентная
функция?
54. Когда равны два многочлена в комплексной области?
55. Что называется частным и остатком от деления многочленов
P (z) и Q(z)?
56. Что называется корнем многочлена P (z)?
57. Докажите теорему Безу. В чем состоит критерий того, что z = z0
является корнем многочлена P (z)?
58. Как определяется кратность корня многочлена P (z)? Когда ко-
рень многочлена называется простым, кратным?
59. Доказать, что если z0 — корень кратности k многочлена Pn (z), то
z 0 — корень кратности k для многочлена P n (z) с комплексно со-
пряженными коэффициентами. Что можно сказать о комплекс-
ных корнях многочлена с действительными коэффициентами?
60. Как можно записать многочлен, если известны все его корни
и их кратности?
61. Как можно записать разложение на множители многочлена
с действительными коэффициентами?
62. Какие рациональные дроби называются правильными, непра-
вильными?
63. Как можно представить правильную рациональную дробь, если
известен корень кратности k знаменателя?
64. Как можно представить правильную рациональную дробь, если
известны корни знаменателя?
65. Как можно представить правильную рациональную дробь с дей-
ствительными коэффициентами, если известен корень кратно-
сти m знаменателя?
66. Какое представление имеет место для правильной рациональной
дроби с действительными коэффициентами, если известны кор-
ни знаменателя?
67. Какие рациональные дроби называются элементарными?
Контрольные вопросы 419
§4
68. Что означает, что множество ограничено сверху (снизу)? Огра-
ничено?
69. Что означает, что множество не ограничено сверху (снизу)?
Не является ограниченным?
70. Может ли множество, содержащее k элементов (k ∈ N), быть
неограниченным?
71. Для каких множеств определяется верхняя (нижняя) грань?
72. Что называется верхней гранью множества?
73. Что называется нижней гранью множества?
74. Найти sup E , inf E , если E = {−1}, E = {0, 1}, E = {−1 +
+ 1/n, 1 − 1/n, n = 0, 1, 2, . . .}. Есть ли у этих множеств наимень-
ший и наибольший элементы?
75. Найти inf {x > 0 : sin (1/x) = 0}, sup {x : sin (1/x) = 0}.
76. Может ли непустое ограниченное множество не иметь нижнюю
(верхнюю) грань?
77. Перечислите свойства sup и inf .
78. В чем состоит принцип Архимеда?
79. Что означает, что система отрезков образует вложенную си-
стему?
80. Как связаны между собой концы вложенной системы отрезков?
81. Что означает, что длины отрезков данной системы отрезков
стремятся к нулю?
82. В чем заключается принцип вложенных отрезков?
83. Что означает, что два множества равномощны?
84. Что означает, что множество конечно?
85. Когда равномощны два конечных множества?
86. Какие множества называются бесконечными?
87. Может ли подмножество множества быть равномощным всему
множеству?
88. Что называется последовательностью элементов данного мно-
жества? n-м членом последовательности, значением n-го члена
последовательности?
89. Какому множеству равномощно множество членов последова-
тельности?
90. Что означает, что множество счетно? Что элементы счетного
множества можно перенумеровать?
91. Что можно сказать о бесконечных подмножествах бесконечных
множеств?
92. Равномощны ли множества рациональных и натуральных
чисел?
93. Что означает, что множество несчетно?
94. Будет ли счетным множество точек невырожденного отрезка?
Множество действительных чисел?
14*
420 Контрольные вопросы
§5
95. Что означает, что данное число является пределом данной по-
следовательности?
96. Что означает, что последовательность имеет предел (сходится)?
97. Что означает, что данное число не является пределом рассмат-
риваемой последовательности?
98. Что означает, что данная последовательность не имеет предела
(расходится)?
99. Что означает, что последовательность ограничена (не огра-
ничена)?
100. Какое утверждение верно: 1) каждая ограниченная последова-
тельность имеет предел; 2) всякая сходящаяся последователь-
ность ограничена?
101. На ε–n-языке доказать расходимость последовательности xn =
= (−1)n.
102. Какое утверждение верно: 1) каждая неограниченная последо-
вательность является бесконечно большой; 2) любая бесконечно
большая последовательность не ограничена?
103. Есть ли среди перечисленных последовательностей бесконечно
большие, неограниченные последовательности:
xn = n(1 + (−1)n ), yn = n(1 + (−2)n )?
104. Может ли сумма сходящейся и расходящейся последовательно-
стей быть сходящейся последовательностью?
105. Может ли сумма расходящихся последовательностей быть схо-
дящейся последовательностью?
106. Может ли произведение сходящейся последовательности на рас-
ходящуюся сходиться?
107. Может ли произведение расходящихся последовательностей схо-
диться?
108. Доказать, что последовательности {xn } и {λxn } при любом λ = 0
сходятся или расходятся одновременно.
109. Что называется подпоследовательностью данной последователь-
ности?
110. Может ли сходящаяся последовательность иметь расходящуюся
подпоследовательность? Что называется частичными пределами
последовательности?
111. Какая подпоследовательность имеется у ограниченной последо-
вательности?
112. Может ли неограниченная последовательность иметь сходящу-
юся подпоследовательность? Может ли бесконечно большая по-
следовательность иметь сходящуюся подпоследовательность?
113. Что означает, что последовательность является последователь-
ностью Коши (фундаментальной последовательностью)?
Контрольные вопросы 421
§7
168. Что означает, что функция непрерывна на множестве?
169. В чем заключается теорема Вейерштрасса? Справедливо ли ана-
логичное утверждение для интервалов?
170. Что можно сказать о промежуточных значениях непрерывной
на отрезке функции? Что является непрерывным образом от-
резка?
171. Что можно сказать про обратную функцию к строго монотонной
функции?
172. Что можно сказать про обратную функцию к строго монотонной
и непрерывной функции?
173. Может ли функция, обратная к непрерывной функции, быть
разрывной?
§8
174. Где непрерывен многочлен? Рациональная функция?
175. Какими свойствами обладает степень ar, a > 0, с рациональными
показателями r?
176. Как определяется ax, a > 0, для действительных значений x?
Какими свойствами обладает функция ax ?
177. Как определяется логарифмическая функция? Какими свой-
ствами она обладает?
178. Какое неравенство связывает функции sin x и x?
179. Можно ли утверждать, что любая элементарная функция непре-
рывна в области своего определения?
424 Контрольные вопросы
§9
180. Какие пределы называются замечательными?
181. Что означает, что одна функция ограничена относительно дру-
гой в окрестности данной точки? Когда это условие может быть
записано через отношение функций?
182. Что означает, что одна функция является бесконечно малой
относительно другой при x → x0 ? Когда это условие может быть
записано через отношение функций?
183. Что означает, что две функции эквивалентны (асимптотически
равны) при x → x0 ? Когда это условие может быть записано
через отношение функций?
184. В чем состоит критерий эквивалентности двух функций?
185. Верно ли, что пределы lim f (x)/g(x) и lim f1 (x)/g1 (x), где
x→x0 x→x0
f (x) ∼ f1 (x) и g(x) ∼ g1 (x) при x → x0 , существуют или не
существуют одновременно?
§ 10
186. Как определяется производная функции в точке? Чему равна
производная функции в данной точке, если функция постоянна
в некоторой окрестности этой точки?
187. Что означает, что у функции производная бесконечна в данной
точке? Привести пример функции с бесконечной производной.
188. Как определяются односторонние производные в точке? Как
связаны наличие у функции производной и наличие односторон-
них производных?
189. Привести пример функции, у которой в точке существуют соот-
ветственно конечные или бесконечные односторонние производ-
ные, не совпадающие между собой.
190. Что означает, что функция дифференцируема в точке?
191. Что называется дифференциалом функции в точке?
192. Как связаны наличие производной и дифференцируемость?
193. В чем состоит линеаризация функции, дифференцируемой
в данной точке?
194. Как связаны непрерывность и дифференцируемость в данной
точке?
195. В чем заключается геометрический смысл производной и диф-
ференциала?
196. В чем заключается физический смысл производной и диффе-
ренциала?
197. Как связаны арифметические действия над функциями и опе-
рация взятия производной?
198. Может ли сумма двух функций, одна из которых имеет произ-
водную в данной точке, а другая — нет, быть дифференцируемой
в этой точке?
Контрольные вопросы 425
§ 16
256. Что называется вектор-функцией? Координатными функциями
вектор-функции?
257. Дать определение предела вектор-функции.
258. Как связаны предел вектор-функции и пределы координатных
функций?
428 Контрольные вопросы
§ 17
269. Что называется непрерывной кривой? Параметром на кривой?
270. Что понимается под векторным представлением кривой? Что
называется носителем кривой?
271. Что называется преобразованием параметра на кривой?
272. Как определяется n раз (непрерывно) дифференцируемая кри-
вая? Что называется преобразованием параметра n раз (непре-
рывно) дифференцируемой кривой?
273. Как определяется кратная точка (точка самопересечения) носи-
теля кривой?
274. Что называется точкой кривой? Как определяются концевые
(начальная и конечная) точки кривой?
275. Какая кривая называется простой дугой? Замкнутой кривой?
Как определяется дуга кривой?
276. Как определяется плоская кривая?
277. Что означает, что кривая имеет явное представление?
278. Как определяется ориентированная кривая?
279. Как определяется кривая, ориентированная противоположно
данной?
280. Что понимается под параметрически заданной кривой?
281. Что называется касательной прямой к кривой в неособой точке?
282. Как выглядит уравнение касательной к данной кривой в вектор-
ной и координатной формах записи?
Контрольные вопросы 429
§ 29
352. Что называется несобственным интегралом функции? Что озна-
чает, что несобственный интеграл сходится (расходится)? Что
называется значением несобственного интеграла?
353. Что называется несобственным интегралом функции в случае
интегрируемости функции на каждом отрезке из данного ин-
тервала?
354. Что называется правильным разбиением промежутка относи-
тельно данной функции? Как в общем случае определяется
несобственный интеграл по промежутку?
355. При каких α сходятся несобственные интегралы
1
+∞
α
x dx и xα dx?
0 1
§ 30
372. Что называется рядом? Членами ряда? Частичными суммами?
373. Что означает, что ряд сходится (расходится)? Что называется
суммой ряда?
374. В чем состоит необходимое условие сходимости ряда?
375. Привести пример расходящегося ряда, для которого выполнено
необходимое условие сходимости.
∞
376. Как связаны сходимость (расходимость) ряда (λuk + μvk )
k=1 ∞
и его сумма со сходимостью (расходимостью) рядов uk
∞ k=1
и vk и их суммами?
k=1
377. Что называется остатком ряда? Как связаны сходимость (рас-
ходимость) ряда и его остатков?
378. В чем состоит критерий Коши сходимости ряда?
∞
1
379. Исследовать на сходимость гармонический ряд .
k
k=1
380. Как выглядит критерий сходимости для рядов с неотрицатель-
ными (неположительными) членами?
381. В чем заключается интегральный признак Коши сходимости
ряда?
382. В чем заключается признак сравнения?
383. Как связаны сходимость (расходимость) рядов, если известно
поведение отношения членов ряда?
384. В чем состоит признак Даламбера сходимости ряда?
385. В чем состоит признак Коши сходимости ряда?
386. В чем состоит признак Лейбница сходимости ряда?
387. Что означает, что ряд сходится абсолютно?
388. Как выглядит критерий Коши абсолютной сходимости ряда?
389. Как связаны сходимость и абсолютная сходимость ряда?
390. Для каких рядов ряды из тех же членов, но взятых в другом
порядке, сходятся? Что можно сказать о суммах этих рядов?
391. Когда ряды можно почленно перемножать?
392. Что означает, что ряд сходится условно?
434 Контрольные вопросы
§ 31
402. Что означает, что функциональная последовательность огра-
ничена?
403. Что означает, что функциональная последовательность сходится
на множестве X?
404. Что называется рядом из числовых функций? Частичной сум-
мой и остатком такого ряда?
405. Что означает, что функциональный ряд сходится на множе-
стве X? Что называется его суммой?
406. Что означает, что функциональный ряд сходится абсолютно на
множестве X?
407. Что означает, что функциональная последовательность равно-
мерно сходится на данном множестве к некоторой функции?
408. В чем заключается критерий равномерной сходимости функци-
ональной последовательности в терминах сходимости вспомога-
тельной числовой последовательности?
409. В чем состоит критерий Коши равномерной сходимости функ-
циональной последовательности?
410. Исследовать последовательность {xn } на равномерную сходи-
мость на: а) [0, q], q ∈ (0, 1); б) [0, 1).
411. Как определяется равномерная сходимость функционального
ряда?
412. Как записывается условие равномерной сходимости функцио-
нального ряда через его остатки?
413. В чем состоит необходимое условие равномерной сходимости
функциональных рядов?
414. В чем состоит критерий Коши равномерной сходимости функ-
циональных рядов?
Контрольные вопросы 435
§ 32
425. Какой ряд называется степенным?
426. Что можно сказать о точках сходимости (расходимости) степен-
∞
ного ряда ak z k , если он сходится (расходится) в точке z0 = 0?
k=0
427. Что называется радиусом сходимости степенного ряда?
428. Можно ли утверждать, что степенные ряды сходятся: а) абсо-
лютно, б) равномерно на своих множествах сходимости?
429. Привести примеры степенных рядов, имеющих радиусы сходи-
мости, равные 0, 1 и +∞.
430. Какие функции называются аналитическими в данной точке?
431. В чем состоит вторая теорема Абеля?
∞
432. При каком условии степенной ряд an xn сходится равномерно
n=0
на отрезке [0, R], где R — радиус сходимости данного ряда?
433. Что называется действительной аналитической функцией?
434. Какими свойствами обладает сумма степенного ряда?
436 Контрольные вопросы
Том 1
ДИФФЕРЕНЦИАЛЬНОЕ И ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЯ
ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ. РЯДЫ
Подписано в печать 11.03.2013. Формат 60 90/16. Усл. печ. л. 27,75.
Уч.-изд. л. 30,5.
ISBN 978-5-9221-1453-0