Уважаемые читатели!
У Вас в руках электронная версия четвертого издания классиче-
ского учебника в двух томах члена-корреспондента РАН, академика
Европейской академии наук, выдающегося математика и педагога
Льва Дмитриевича Кудрявцева «Краткий курс математического ана-
лиза» — последний труд автора, начатый им в 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