Professional Documents
Culture Documents
01) Matan I Semestr Bokhonov 2023-24
01) Matan I Semestr Bokhonov 2023-24
МАТЕМАТИЧНИЙ АНАЛІЗ:
ДИФЕРЕНЦІАЛЬНЕ ЧИСЛЕННЯ
ФУНКЦІЙ ОДНІЄЇ ЗМІННОЇ
Київ
КПІ ім. Ігоря Сікорського
2021
Математичний аналіз: Диференціальне числення функцій однієї змінної [Електронний
ресурс]: навч. посіб. для студ. спеціальності 122 «Компьютерні науки» / КПІ ім. Ігоря
Сікорського ; уклад. Ю. Є. Бохонов. – Електронні текстові дані (1 файл: 3,63 Мбайт). –
Київ : КПІ ім. Ігоря Сікорського, 2021. – 166 с.
Гриф надано Методичною радою КПІ ім. Ігоря Сікорського (протокол № 6 від 25.02.2021 р.)
за поданням Вченої ради Інституту прикладного системного аналізу (протокол № 2 від 22.02.2021 р.)
МАТЕМАТИЧНИЙ АНАЛІЗ:
ДИФЕРЕНЦІАЛЬНЕ ЧИСЛЕННЯ ФУНКЦІЙ ОДНІЄЇ
ЗМІННОЇ
Укладач: Бохонов Юрій Євгенович, канд. ф. - мат. наук,
Відповідальний Подколзін Г. Б. канд. ф.-мат. наук, доц.
редактор
Рецензент: Голуб А.П., д-р ф.-м. наук, провідний науковий
співробітник Інституту математики НАН України
Вступ 6
1. Теорія дійсних чисел 7
1.1. Принцип математичної індукції 7
1.2. Поняття дійсного числа 11
Аксіома повноти 12
1.3. Властивості дійсних чисел 25
1.4. Основні факти, пов’язані з повнотою множини дійсних чисел 17
Принцип Коші-Кантора 17
Лема Гейне-Бореля-Лебега 17
Принцип Больцано-Вейєрштраса 19
1.5. Границі послідовностей 20
Перехід до границі в арифметичних операціях 24
Перехід до границі в нерівностях 25
Критерій Коші 32
Число e 36
Теорема Тьоплиця 41
Теорема Штольца 43
Початкові відомості про числові ряди 48
Число e як сума ряду 51
1.6. Частинні границі 53
Лема Больцано-Вейєрштраса 54
2. Теорія функцій скалярного аргументу 60
2.1. Границі функцій 60
Граничний перехід і арифметичні операції 62
Перехід до границі у нерівностях 63
Перша важлива границя 64
Друга важлива границя 65
Критерій Коші існування границі функції 70
Порівняння асимптотичної поведінки функцій 72
2.2. Неперервність функції в точці 74
Композиція відображень або складена функція 76
Точки розриву функції 77
Класифікація точок розриву 77
2.3. Глобальні властивості неперервних функцій 78
Монотонні функції 84
3. Диференціальне числення 87
3.1. Локальна теорія. Диференційовність функції у точці. 87
Дотична і нормаль до графіка функції 92
Локальні властивості диференціалів і похідних 95
Таблиця похідних 100
Диференціювання функцій, заданих неявно 104
3.2. Глобальні властивості похідних 107
3.3. Диференціали та похідні вищих порядків 113
Формула Лейбниця 114
Формула Тейлора 116
1). Формула Тейлора для многочлена (полінома) 116
2). Формула Тейлора для довільної функції 117
Формула Тейлора (Маклорена) для деяких елементарних функцій 120
4. Дослідження функцій засобами диференціального числення 123
4.1. Екстремум 123
Дослідження на екстремум за допомогою старших похідних 125
Нерівності Юнга 126
Нерівності Гельдера 127
Нерівність Мінковського 128
Опуклі функції 130
Властивості опуклих функцій 133
Властивості диференційовних опуклих функцій 135
5. Дослідження функцій 144
5.1. Розкриття невизначеностей 144
0 145
Розкриття невизначеностей вигляду
0
147
5.2. Розкриття невизначеностей вигляду
Інші невизначенності 148
5.2. Дослідження функцій і побудова графіків 148
Доповнення I. Стискаючі оператори в метричних просторах 150
I.1. Метричні простори 150
I.2. Стискаючі оператори 152
I.3. Застосування до розв’язання систем лінійних рівнянь методом 158
послідовних наближень
ЛІТЕРАТУРА 164
Вступ
Приклад 1.1.1. Нехай a1, a2 ,..., an ,... 0. Довести нерівність Коші (Огюстена
Луї, 21/08/1789 – 23/05/1857):
a1 a2 ... an n (1.1.1)
a1 a2 ... an ,
n
причому, рівність тут має місце тоді і тільки тоді, коли всі ці числа рівні між
собою.
Вираз зліва називається середнім арифметичним цих n чисел, вираз справа =
їхнім середнім геометричним.
Доведення розіб’ємо на два етапи: спочатку доведемо нерівність для значень n ,
які є степенями двійки: n 2k , k , а потім, посилаючись на доведений факт,
доведемо його для довільних n , n 2.
I. Отже, за допомогою методу математичної індукції доведемо нерівність:
a1 a2 ... a2k
k
2k a1 a2 ... a2k .
2
Індукцію будемо проводити по k .
1). Перевіримо справедливість нерівності для k 1 , тобто, доведемо, що
a1 a2
2
a1 a2 . Очевидно, a1 a2 0. Звідси після елементарних перетворень
2
a1 a2
одержимо: a1 a2 2 a1 a2 0 a1 a2 2 a1 a2 a1 a2 . Очевидно,
2
рівність в цій нерівності справджується тоді і тільки тоді, коли a1 a2 .
2). Тепер доведемо, що з справедливості нерівності для k випливає її
справедливість для k 1. До того ж вважаємо, що рівність в цій нерівності має місце
тоді і тільки тоді, коли всі числа рівні між собою.
Розглянемо вираз у правій частині нерівності:
a1 a2 ... a2k 1 1 a2k 1
k 1
2k 1 a1 a2 ... a2k 1 1a2k 1 .
2
Очевидно, в лівій частині доданків парна кількість, тому їх можна розбити на
пари в кількості 2k , записавши цей вираз таким чином:
a1 a2 a k 1 a k 1
... 2 1 2
2 2 .
k
2
2k n
a a ... an
2 k
a1 a2 ... an 1 2
n
Спростимо середнє арифметичне у лівій частині:
a1 a2 ... an a a ... an
a1 a2 ... an ... 1 2
n n
k
2
n a1 a2 ... an 2k n a1 a2 ... an a1 a2 ... an
k
.
n2 n
В результаті одержимо:
2k n
a1 a2 ... an a a ... an
2 k
a1 a2 ... an 1 2
n n
2k 2k n
a1 a2 ... an a1 a2 ... an
a1 a2 ... an
n n
a1 a2 ... an a1 a2 ... an n
n
a1 a2 ... an a1 a2 ... an .
n n
Читач легко перевірить, що рівність тут має місце тоді і тільки тоді, коли всі ці
числа рівні.
Задача. Спираючись на нерівність Коші, довести нерівність для середнього
арифметичного, середнього геометричного і середнього гармонічного n додатних
чисел:
n a1 a2 ... an
n a1 a2 ... an ,
1 1 1 n (1.1.2)
...
a1 a2 an
в якій рівність має місце тоді і тільки тоді, коли всі ці числа рівні між собою.
Приклад 1.1.2. Довести нерівність Бернуллі (Якоба, 06/01/1655 – 16/08/1705):
Нехай x1 , x2 ,..., xn ,... , xk 1, xk x j 0 k , j . Тоді справедлива нерівність:
1 x 1 nx.
n
4 6 2n
Приклад 1.1.3. Довести нерівність: 2 ... 2n 1.
3 5 2n 1
Доведення. 1. при n 1 вираз у лівій частині дорівнює 2, а у правій - 3 . оскільки
4 3 , то 2 3 , і нерівність доведено.
4 6 2n
2. Вважаючи, що для n нерівність справедлива: 2 ... 2n 1 , доведемо її
3 5 2n 1
4 6 2n 2(n 1)
справедливість для n 1: 2 ... 2n 3.
3 5 2n 1 2n 1
Помножимо обидві частини нерівності, справедливої за припущенням індукції, на
2(n 1) 4 6 2n 2(n 1) 2(n 1)
. Одержимо: 2 ... 2n 1.
2n 1 3 5 2n 1 2n 1 2n 1
2(n 1)
Доведемо, що 2n 1 2n 3. Для цього досить оцінити відношення
2n 1
2(n 1) 2n 1
. Маємо:
2n 1 2n 3
2(n 1) 2n 1 2(n 1) 2( n 1) 2( n 1) 2( n 1)
1.
2n 1 2n 3 2n 1 2n 3 4n2 8n 3 4n2 8n 4 2(n 1)
Отже, потрібну нерівність доведено.
1 3 5 2n 1 1
Наслідок. Справедлива нерівність ... .
2 4 6 2n 2n 1
6) x( yz ) ( xy ) z (асоціативність);
7). 1 : x 1 x (існування нейтрального елемента по відношенню до
множення – існування одиниці);
8). x , x 0 x 1 : x x 1 1 (існування оберненого елемента).
12) x y, y z x z (транзитивність);
13). x, y R : x y y x .
Зв’язок додавання і порядку:
14). x y x z y z .
Зв’язок множення і порядку:
15). 0 x 0 y 0 xy .
Пояснимо, що нейтральний елемент 0 щодо додавання єдиний. Дійсно, якщо їх два:
0,0 , то 0 0 0 , а також 0 0 0 . Отже, вони однакові. Аналогічно доводиться
єдиність нейтрального елемента щодо множення, тобто, одиниці.
Наведемо деякі наслідки з алгебраїчних аксіом дійсних чисел.
A) x ,0 0 x 0 .
Аксіома повноти
1 m*
Доведення. Якщо sup[0,1) m 1 , візьмемо 0 x
*
1 , тобто x [0,1) . З
2
1 m* m* m*
іншого боку, x m* , що протирічить тому, що m - верхня межа.
*
2 2
Отже, sup0;1 1 .
Аналогічно вводиться поняття точної нижньої межі обмеженої знизу множини.
Її позначатимемо inf M m* .
1) x M x m ;
*
2) 0 x M : m x .
*
Аналогічно
inf M m* , якщо:
1) x M x m ;
*
2) 0 x M : x m .
*
Доведення.
1. n an a* , bn b* an bn a* b*. Це означає, що a* b* - якась верхня всіх
Cлід зазначити, що на множині дійсних чисел визначено поняття відстані між будь-
якими двома елементами x, y . Вона знаходиться таким чином: | x y | . В
математиці виникають різні об’єкти, на яких визначається деякий аналог відстані.
Він називається метрикою.
Означення метрики 1.2.5. Нехай на деякій множині X визначено дійсну функцію
двох аргументів
x, y X ( x, y ) 0,
яка має наступні властивості (аксіоми метрики):
1. ( x, y ) 0 x y ,
1. ( y, x) ( x, y ) ,
3. x, y, z X ( x, z ) ( x, y ) ( y, z ) (нерівність трикутника).
Така функція називається метрикою, а множина X , на якій визначено метрику –
метричним простором. Інколи кажуть, що метричний простір – це пара ( X , ) .
Цілком зрозуміло, що в нашому випадку X , x, y ( x, y ) | x y | . Читач
повинен перевірити виконання аксіом метрики в цьому прикладі.
Наведемо менш очевидний приклад метрики.
Приклад 1.2.3. Розглянемо одиничне коло C1 (O) з центром у початку координат,
точці O. Кожній точці M C1 (O) одиничного зіставимо кут 0 2 , який її
радіус-вектор утворює з додатним напрямком осі Ox . Але, насправді, їй відповідає
безліч таких кутів: 2 n, n . Нехай M1, M 2 C1 (O) , і їм відповідають кути
1 2 n1 і 2 2 n2 . Визначимо метрику таким чином:
x x
і з максимальності n0 випливає, що n0 1 n0 n0 1, що й доводить
h h
справедливість леми Архімеда.
Приклад 1.3.1. Нехай h 1 . З принципу Архімеда випливає існування n такого,
що n x n 1 .
Означення 1.3.2. Таке n , що n x n 1 називається цілою частиною дійсного
числа x (французькою «entier») і позначається n [ x] .
1
Твердження 1.3.1. 0 n таке, що 0 .
n
Доведення. В правій частині нерівності з принципу Архімеда покладемо x 1, h ,
а замість n 1 писатимемо n . Тоді будемо мати: 1 n . Оскільки 1 0, 0 звідси
1
випливає, що n 0 , а в такому разі 0 .
n
Твердження 1.3.2. Нехай a, b , a b . Тоді r : a r b .
Доведення. В твердженні 1.3.1 покладемо b a . Тоді знайдеться таке n 0 , що
1 m 1 m
0 b a . Згідно з принципом Архімеда m : a . Доведемо, що при
n n n
m
цьому b . Якщо уявити, що це не так, будуть справедливі нерівності
n
m 1 m m m 1 1
a b , а з них випливає, що b a b a , і одержано
n n n n n
m m
протиріччя. Отже, доведено, що a b , а за означенням число r
n n
раціональне, і твердження доведене.
Задача для самостійного розв’язання. Довести, що між двома дійсними числами
можна вставити ірраціональне число.
Принцип Коші-Кантора
Нехай є послідовність вкладених відрізків I n a n , bn I n 1 a n 1 , bn 1 . Тоді
1). c , яке міститься в кожному відрізку: c I n .
n 1
це не так, будемо мати: m0 : bm0 an bn , але am0 bm0 am0 bm0 an bn , а це
n c : an c bn .
2). Єдиність точки c доведемо від супротивного. Нехай існує ще одна точка c , яка
належить усім проміжкам. Нехай, наприклад, c c . Тоді
c c const bn an 0, n , але ненульова константа не може бути
менша ніж довільне як завгодно мале число. Одержане протиріччя і доводить
теорему.
Означення 1.4.1. Нехай - деяка множина індексів, U , - сім’я множин і M -
підпокриттям множини M .
n
існує скінченне підпокриття цього відрізка: 1 ,..., n : I k a, b . Припустимо,
k 1
що це не так.
Доведення. Припустимо, що це не так. Розіб’ємо відрізок [a, b] на два рівних
відрізка, і виберемо з них той, що не покривається скінченною кількістю інтервалів.
Це можливо, інакше весь відрізок покривався б скінченною кількістю інтервалів.
Продовжуючи цей процес до нескінченності, отримаємо вкладену систему відрізків
Kn . Тоді n : bn an , 0 !c Kn . Ці відрізки не
n 1
відкрита.
A BC AC BC , (1.4.1)
A BC AC BC , (1.4.2)
що містяться на відрізку [0, 1], тобто, зліченної множини, є відрізок [0, 1] - множина
потужності континуум.
Означення 1.4.6. Множина M називається обмеженою, якщо [a, b]: M [a, b].
Принцип Больцано-Вейєрштраса.
(Больцано, Бернард Пласідус Іоган Непомук, 05/10/1781 – 18/12/1848 – чеський
математик; Вейєрштрас, Карл Теодор Вільгельм, 31/10/1815 – 19/02/1897 –
великий німецький математик.)
Нескінченна обмежена множина має хоча б одну граничну точку.
Доведення. Припустимо, що це не так: нехай ця множина (позначимо її через M )
не має жодної граничної точки. Обмеженість M означає існування відрізку [a, b] ,
такого, що M [a, b] . Відсутність граничних точок у множини означає, що
x [a, b] існує відкритий окіл B x ( x) , який або не містить елементів з M , або
n
замкненої множини: 1 ,..., n : U k M .
k 1
R( f ) y Y : x X , y f ( x) .
Означення 1.5.2. Функція натурального аргументу називається
послідовністю:
f 1 a1 , f 2 a2 ,..., f n an ,... .
Означення 1.5.3. Послідовність називається фінально сталою, якщо
n0 n n0 an C const.
Означення 1.5.6. Послідовність називається сталою, якщо вона фінально
стала і n0 1. Інакше кажучи, всі члени сталої послідовності однакові.
0 N n N an a . (1.5.1)
a lim an . (1.5.2)
n
an a, n . (1.5.3)
0 N n N an B (a). (1.5.5)
1
Приклад 1.5.1. lim 0.
n n
a 1 a 1
Дійсно, візьмемо довільне a , a 1, min , . Тоді в
2 2
aa
0 . З означення границі випливає: 0 N n N an a , а
2
також 0 N n N an a . З першої умови випливає:
aa aa
n N : an a a . Аналогічно, з другої умови випливає:
2 2
aa aa
n N : an a a
2
2
. Вибираючи N * max N , N , будемо мати
aa
n N * : an an , що неможливо. Аналогічно розглядається випадок a a .
2
Перехід до границі в арифметичних операціях
an bn a b an a bn b | | an a | | bn b .
З умови збіжності послідовностей випливає: 0 N1 n N1 an a ,
2 | |
0 N 2 n N 2 bn b . Взявши N max N1 , N 2 будемо мати, що при
2| |
nN будуть виконуватися обидві нерівності, в результаті чого
| | an a | | bn b | | | | . А це і треба було довести.
2 | | 2| |
an lim an
4). Нехай bn , b 0 n . Тоді lim n .
n b lim bn
n
n
an a a b abn anb ab ab abn an a b a b bn an a b bn b a
n .
bn b b bn b bn b bn b bn b bn
b
З умови нерівності нулю границі bn випливає, що N n N bn . Із
2
|b|
збіжності послідовностей випливає: 0 N1 n N1 an a ,
4
b2
0 N 2 n N 2 bn b
4| a|
Тоді n N max N , N1 , N 2
an a bn b a | b | 2 b2 2 a
, що й треба було довести.
bn b bn 4 | b | 4 | a | b2
ab ba
Доведення. Нехай c , 0. Із збіжності послідовностей випливає, що
2 2
ba ba
N n N an a , bn b . Це еквівалентно двом подвійним
2 2
ba ba ab ba ba
нерівностям: a an a b bn b . Отже,
2 2 2 2 2
ab
починаючи з вказаного номера an bn an bn , що й треба було довести.
2
Лема 1.5.4. Нехай для збіжних послідовностей хоча б з деякого номера виконується
нерівність an bn . Тоді a lim an lim bn b.
n n
позначати an .
Аналогічно вводяться поняття монотонно незростаючої, відповідно, монотонно
спадною (або строго монотонно спадною). Це будемо позначати відповідно an і
an .
Зауваження. З обмеженості зверху монотонно неспадної (а також зростаючої)
послідовності випливає її обмеженість. Дійсно, послідовність обмежена знизу своїм
першим членом. Аналогічні твердження справедливі для інших монотонних
послідовностей.
Теорема 1.5.1, Вейєрштраса. Монотонна обмежена послідовність збігається.
Досить довести факт для неспадної послідовності. Інші випадки доводяться
аналогічно.
З обмеженості зверху послідовності: an M n випливає, що множина її
значень має точну верхню межу, яку позначимо через a . З означення точної
верхньої межі випливають умови: 1) an a n , 2) 0 N : aN a . З
монотонної неспадності послідовності випливає, що a aN aN 1 ...aN p ... a
xn yn A B
Перейдемо до границі в рівності yn1 :B A B.
2 2
Зауважимо, що спільна границя цих послідовностей називається середнім
арифметико-геометричним і позначається (a, b) .
Приклад 1.5.5. Нехай c 0 . Дослідивши послідовність
x1 c , x2 c c ,..., xn c c ... c
(в члені xn послідовності n «вкладених» коренів), знайти її границю.
Очевидно, послідовність строго монотонно зростає. Доведемо її обмеженість. За
допомогою математичної індукції доведемо, що xn c 1.
2
xn1 c xn c c 1 c 2 c 1 c 1 c 1, що й треба було
1 1 4c
границі у рівності xn21 c xn x 2 c x x 2 x c 0 x , причому,
2
береться саме цей корінь квадратного рівняння, виходячи з умови x c .
1 1 4c
членів: xn .
2
n n 1 n 2 ... 1 n 1.
2
Маємо: xn1 n 1 xn n 1 n 1 n 1 2 n 1 1 n 1 1 .
1 1
1 lim n n 1 n 2 ... 1 lim 1 1
n n n
n
1
lim n n 1 n 2 ... 1 1 .
n n
Приклад 1.5.7. Розглянемо послідовність, яку задано рекурентним
співвідношенням:
1 a
xn1 (k 1) xn k 1 , k const , n {0}, x0 a 1, a 0.
k xn
Зауважимо, що
1 a a (a 1)k a xnk
x1 (k 1)(a 1) 1 a 1 ,..., xn1 1 xn .
k (a 1)k 1 k (a 1)k k xnk
1 a
Оскільки x1 (k 1)(a 1) 0 і, припустивши, що xn 0,
k (a 1)k 1
1 a
за індукцією одержимо, що xn1 (k 1) xn k 1 0. Звідси можна зробити
k xn
a xnk a xnk
висновок, що 1 0 1.
k xnk k xnk
Доведемо за індукцією, що xna a. При n 0 це очевидно: x0k (a 1)k a.
0 N n N , p an an p . (1.5.6)
Поклавши m min a1 , a2 ,..., aN , aN 1 1, M min a1, a2 ,..., aN , aN 1 1 , будемо мати:
m an M n .
Теорема 1.5.2 (критерій Коші). Числова послідовність збігається тоді і тільки тоді,
коли вона фундаментальна.
Доведення.
Необхідність. Нехай послідовність має границю. З означення збіжності маємо:
0 N n N an a . Тим більше p an p a .
2 2
В цій ситуації
0 N n N an an p an a a an p an a a an p ,
границі, оскільки 2 .
n 1
Приклад 1.5.8. S n 1 q q ... q2 n 1
qk .
k 0
n 1 1 qn
Як відомо, Sn 1 q q ... q
2
. Цілком зрозуміло, що при
1 q
n
послідовність буде тільки при | q | 1 , оскільки тоді lim qn 0 , і з цього випливає, що
n
1 qn 1
lim Sn lim .
n n 1 q 1 q
Границя цієї послідовності називається сумою нескінченно спадної геометричної
прогресії і є прикладом числового ряду. Загальна теорія рядів буде вивчатись
пізніше.
n
Приклад 1.5.9. Знайти границю lim при q 1 .
n q n
n
Дослідимо послідовність an на монотонність. Для цього оцінимо відношення
qn
an1 n 1 q 1 1
n
1
1 . З умови q 1 випливає, що 0 1 . Оскільки
an nq n1 nq q
1
1 1, n , то, починаючи з деякого номера, буде виконуватись нерівність
n
1 1 q 1 1 q q 1 2 2
1 q. Дійсно, 1 n n N 1. Звідси
n 2 n 2 2 q 1 q 1
1 1 1 q
випливає: 1 q 1. Отже, 0 an1 qan an . Оскільки послідовність
nq 2q
an монотонно спадає і обмежена знизу, вона має границю, яку позначимо a .
Переходячи до границі в нерівності 0 an1 qan , Одержимо:
0 a qa 0 1 q a 0 0 a 0 a 0.
n
Остаточно, при q 1 lim 0.
n q n
nm
Наслідок 1. m , q 1 lim n 0. Дійсно,
n q
m
m
m
n n
lim n lim lim
n
n
0.
n
n q n
m q n m q
Cnm
Наслідок 2. lim n 0.
n 2
n(n 1)...(n m 1) C m nm
0 Cnm n m 0 nn n 0, n .
m! 2 2
1 n n 1 0 n n 1 , а це й означає, що lim n n 1.
n
послідовності lim n a 1.
n
1 1 1
Якщо 0 a 1 , візьмемо b 1 a lim n a 1.
a b n lim n b
n
qn
Приклад 1.5.11. Довести, що lim 0 q .
n n!
qn
Розглянемо додатну послідовність an і дослідимо її на монотонність:
n!
an1 q n1n! q q
n an1 an . Очевидно, при досить великих значеннях n
an q (n 1)! n 1 n 1
q
буде виконуватись: 0 1. Тоді an1 an і з теореми Вейєрштраса випливає
n 1
існування границі послідовності an : lim an a 0. Переходячи до границі в обох
n
q
частинах рівності an1 an , будемо мати:
n 1
q
a lim an lim lim an a 0a a 0.
n n n 1 n
Число e
n n 1
1 1
Розглянемо дві додатні послідовності xn 1 , yn 1 . Очевидно,
n n
1
yn 1 xn xn yn .
n
Доведемо монотонність кожної з них. Для xn використаємо нерівність Коші:
1
1 n 1
n n 1 1 1 1
n
1
n 1 x n 1 1 1
n 1 n 1 n 1
n
n
n n 1
1 1
xn 1 1 xn1.
n n 1
Розглянемо при n 2 другу послідовність:
n n
1 n
1 n
yn1 n 1 n 1 n2n n 1 n
1 2 .
n 1 n 1 n 2 1 n 1 n 1 n 1
n 1 n n
yn 1
1
n n n
n 1 n
n
1 n n n 1 n
1 2 1 2 1 1.
n 1 n 1 n 1 n 1 n n 1 n n 1
Отже, yn yn1 .
Об’єднуючи одержані результати, одержимо:
2 x1 x2 ... xn ... yn ... y2 y1 4 .
Отже, обидві послідовності монотонні і обмежені, тому вони мають границі. Але з
1
рівності yn 1 xn випливає, що вони рівні. В математиці ця границя
n
називається другою важливою, а її значення позначається e на честь великого
математика Леонарда Ейлера (15/04/1707 – 18/09/1783):
n
1
lim 1 e. (1.5.7)
n
n
n 1
n n
1 1
lim 1 lim e 1.
n n n 1 1
n
n
1
lim 1
n
n 1
З властивостей розглянутих послідовностей випливають цікаві висновки.
Приклад 1.5.13. n 3 (n 1)n nn1.
n
1
З монотонного зростання послідовності 1 випливає:
n
n 1 n
n n
1
1 e 3 n n 3
n nn
n 1 nn1 n 3 .
n
Звідси робиться висновок при n 3 : n 1
n 1 n n , тобто, послідовність n
n
монотонно спадає і, як відомо, прямує до 1.
Приклад 1.5.14. Довести двосторонню нерівність:
1 1 1
ln 1 . (1.5.8)
n 1 n n
Отже,
n
1 3
0 e 1 .
n n
1 1
Приклад 1.5.15. Довести збіжність послідовності xn 1 ... ln n .
2 n
1 1 1
З (1.5.8) випливає двостороння нерівність: ln 1 ln 1 k 2.
k k k 1
Записуючи ці нерівності при значеннях k 2,3,..., n , одержимо:
3 1
ln ln 2 ,
2 2
4 1 3
ln ln ,
3 3 2
...
n 1 n 1
ln ln ,
n 1 n 1 n2
n 1 1 n
ln ln .
n n n 1
В результаті додавання цих нерівностей одержимо:
3 4 n n 1 1 1 3 n 1 n
ln ... ... ln 2 ...
2 3 n 1 n 2 n 2 n 2 n 1
n 1 1 1 1 1
ln ... ln n ln n 1 1 ln 2 1 ... 1 ln n
2 2 n 2 n
1 1 1
ln 1 1 ln 2 1 ... ln n 1
n 2 n
1 1
1 ln 2 1 ... ln n 1
2 n
Отже, послідовність xn обмежена. Доведемо її монотонність.
1 1 1 1 1 1 1
xn xn1 1 ... ln n 1 ... ln n 1 ln 1 0.
2 n 2 n n 1 n n 1
Завдяки теоремі Вейєрштраса монотонно спадна і обмежена послідовність xn
збігається. Її границя – це ще одна константа Ейлера. Позачається вона C 0,5772...
(або інколи ):
1 1 (1.5.9)
lim 1 ... ln n C.
n
2 n
1 1
Sn 1 ... ln n C n , n .
2 n
n n2
1 1
1)lim 1 2 ,2)lim 1 .
n
n n
n
t11
t21 t22
t t t (1.5.11)
T 31 31 33
..............
t t t ... t
n1 n 2 n 3 nn
.......................
Зауваження. Для того, щоб не робити запис занадто громіздким, нулі вище діагоналі
не пишемо (але маємо їх на увазі).
Зручно і дану послідовність вважати нескінченновимірним вектором-стовпчиком:
x1
x
2
x (1.5.12)
x 3
...
xn
...
t11 x1
2
z1 t11 x1 t2 j x j
z j 1
2 t x
21 1 t x
22 2 3
z3 t31 x1 t32 x2 t33 x3 t3 j x j
j 1 Tx.
z (1.5.13)
...
...
zn tn1 x1 tn 2 x2 tn 3 x3 ... tnn xn ...
n
... ... nj j
t x
j 1
...
задовольняють умовам:
1). Елементи кожного m го стовпчика прямують до нуля:
lim tnm 0, m .
n
2). Суми модулів елементів кожного рядку матриці обмежені однією і тією ж
константою K 0 :
n
t
j 1
nj tn1 tn 2 ... tnn K .
n
Тоді lim zn tnj x j lim tn1x1 tn 2 x2 ... tnn xn 0.
n n
j 1
tn1 x1 tn 2 x2 ... tnm xm tn,m1 xm1 ... tnn xn
tn1 x1 tn 2 x2 ... tnm xm
2K
t n ,m 1
... tnn
K
tn1 x1 tn 2 x2 ... tnm xm tn1x1 tn 2 x2 ... tnm xm .
2K 2
задовольняють умовам:
1). Елементи кожного m го стовпчика прямують до нуля:
lim tnm 0, m .
n
2). Суми модулів елементів кожного рядку матриці обмежені однією і тією ж
константою K 0 :
n
t
j 1
nj tn1 tn 2 ... tnn K .
n
Тоді lim zn tnj x j lim tn1x1 tn 2 x2 ... tnn xn a.
n n
j 1
Доведення.
zn tn1 x1 tn 2 x2 ... tnn xn tn1 x1 a tn 2 x2 a ... tnn xn a
урахуванням умови 3) одержимо: lim zn lim zn a lim tn1 tn 2 ... tnn a.
n n n
x1 ... xn x ... xn
перших n членів zn теж прямує до a : lim 1 a.
n n n
Для доведення досить в кожному n му рядку матриці T покласти
1
tn1 tn 2 ... tnn . Виконання умов теореми 1.5.4 очевидне, і факт, який треба
n
довести, випливає з цієї теореми.
Зауваження. Теорема Коші справедлива також, якщо xn 0, lim xn . Тоді
n
x1 ... xn n 1inf xj
j n inf x j , n .
n n 1 j n
Теорема 1.5.6 (Штольца). Нехай є дві послідовності an , bn , n , a0 b0 0 ,
причому, bn строго монотонно зростаючи, прямує до . Нехай існує границя
an an 1 an an1
послідовності xn : lim A. Тоді також існує границя
bn bn 1 n b b
n n 1
an a
послідовності zn і lim n A.
bn n bn
bk bk 1
Доведення. Покладемо в означеннях теорем Тьоплиця tnk 0 . Перевіримо
bn
виконання умов 2) і 3):
b1 b0 b2 b1 ... bn1 bn2 bn bn1 bn
tn1 tn 2 ... tnn 1.
bn bn
n n
bk bk 1 ak ak 1 n ak ak 1 an
Тоді zn tnj x j . Отже, за теоремою 2.4
j 1 j 1 bn bk bk 1 j 1 bn bn
an a an 1
lim lim n A.
n b n b b (1.5.14)
n n n 1
ynk 1
Доведення. Покладемо tnk . Розглянемо суму елементів матриці T в
bn
y1 y2 ... yn
кожному рядку: tn1 tn 2 ... tnn . Зауважимо, що в чисельнику для
bn
зручності поміняли порядок доданків. Умови 1) і 2) теореми Тьоплиця 1.5.4 з
y1 y2 ... yn y
очевидністю виконуються. За теоремою Коші lim lim n 1 . Отже,
n bn n b
lim zn a.
n
Cnk
Застосуємо теорему Тьоплиця 1.5.4, поклавши tnk 0. Раніше вже вказувалось
2n
Cnk
(наслідок 2 після прикладу 2.1.5), що lim 0 , а це означає, що умова 1) в теоремі
n 2n
C k
n
Тьоплиця виконується. Виконання 2) і 3) випливає з k 0
1 . Отже, результат
2n
випливає з теореми 1.5.4.
Задача для самостійного розв’язання. Розглянемо многочлен Pn ( z ) від z :
a1 a2 ... an n
lim lim n a1a2 ...an lim a.
n n n n 1 1 1
...
a1 a2 a1
Застосуємо теорему Штольца. Якщо a 0 , умова на послідовність у знаменнику
виконується з очевидністю. Якщо lim an a 0 , тоді знайдеться N , що для
n
a 3a 1 2
n N буде виконуватись оцінка an . Звідси
2 2 an 3a
1 1 1 1 1 1 2
... ... ... (n N ) , n .
an aN aN 1 an an aN 3a
n (n 1) 1
Знайдемо границю lim lim a.
n 1 1 1 1 1 1 n 1
... ...
a1 a2 an a1 a2 an1 an
n
Отже, за теоремою Штольца lim a.
n 1 1 1
...
a1 a2 an
Тоді твердження, яке треба довести, випливає з леми про три послідовності і
нерівність Коші:
n a1 a2 ... an
n a1 a2 ... an .
1 1 1 n
...
a1 a2 an
Тобто, ще раз повторимо: куди прямують члени додатної послідовності, туди ж
прямують і їхні середні арифметичне, геометричне і гармонічне. Застосуємо цей
факт для доведення цікавого і важливого в майбутньому результату.
an
Твердження 1.5.3. Нехай an 0, a0 1 і існує границя lim q. Тоді і lim n an q.
n a n
n 1
a1 a2 an
Очевидно, n an n a0 ... . З результату, одержаному у твердженні 1.5.2
a0 a1 an1
an
випливає, що куди прямує останній дріб в підкореневому виразі, до тієї ж
an 1
границі прямує і весь корінь, тобто, до q , але він дорівнює n an . Отже, lim n an q.
n
n
n n
Приклад 1.5.18. Знайти границю lim n lim n .
n n! n n!
n 1 n! lim n 1 lim 1 1 e.
n 1 n n
x
Знайдемо lim n1 lim
n ( n 1)!n n
n x
n
n nn n
n
nn n
Завдяки твердженню 1.5.3 lim lim n e.
n
n n! n n!
Приклад 1.5.19. Нехай є послідовність an , n {0}, a0 0. Кажуть, що вона має
обмежену варіацію, якщо існує число M 0 , що
a1 a0 a2 a1 ... an an1 M n .
0 xmn xm xn , m, n .
xn
Довести, що існує скінченна границя lim .
n n
Можна для зручності вважати, що x0 0 . З умови випливає:
x x
0 xn x1 xn1 x1 x1 ... x1 nx1 0 n x1 . Отже, послідовність n обмежена,
n n
x
а тому існує точна нижня межа її значень x inf n , n 0. За означенням
n
0 m : x xm x . Зафіксуємо m , візьмемо довільне n , n m і
2
поділимо його з остачею на m : n km r , r 0,1,..., m 1. Тоді
0 xn xkmr xkm xr xm ... xm xr kxm xr .
Тоді
x x kx x x k x x x x
x n kmr m r m r m r x r .
n km r km r m km r n m n 2 n
x x
x lim n inf n , n 0.
n n
n
Теорію рядів ми будемо вивчати пізніше, а тут дамо лише деякі початкові поняття.
Нехай є числова послідовність an , n . Утворимо суми перших n її членів:
n (1.5.16)
Sn a1 a2 ... an ak
k 1
n (1.5.17)
an lim ak .
n 1
n
k 1
Твердження 1.5.4. Ряд збігається тоді і тільки тоді, коли його залишок прямує до
нуля при нескінченному зростанні кількості доданків його частинних сум.
Доведення очевидне.
Приклад 1.5.21. Відома сума членів нескінченно спадної геометричної прогресії –
a
це приклад суми збіжного ряду: aq
n 1
n 1
1 q
,| q | 1. Його вже було розглянуто.
Приклад 1.5.22. (1)
n 1
n 1
.
2m 2 m 1
Легко бачити, що S2 m (1) k 1
0, S2 m1 (1) k 1
1. Отже, послідовність
k 1 k 1
Критерій Коші для ряду. Ряд (1.5.17) збігається тоді і тільки тоді, коли
n p (1.5.18)
0 N n N , p
k n 1
ak .
Доведення миттєво випливає з критерію Коші для послідовностей, якщо його
застосувати для послідовності частинних сум ряду Sn і помітити, що
n p
Sn p Sn a.
k n 1
k
1
Очевидно, його загальний член прямує до нуля при n .
n
Розглянемо ряд з невід’ємними членами an 0 . Зрозуміло, що частинні суми такого
ряду утворюють неспадну послідовність. Тому ряд з невід’ємними членами може
або збігатись, або його сума може дорівнювати нулю. Випадку, коли частинні суми
не мають границі, для такого ряду бути не може – згадаємо властивості монотонних
послідовностей.
Теорема 1.5.8. Ознака порівняння. Нехай для членів двох рядів хоча б з якогось
номера має місце нерівність an bn . Тоді із збіжності ряду b
n 1
n випливає збіжність
ряду an , а з розбіжності ряду
n 1
an випливає розбіжність ряду
n 1
b
n 1
n .
1. В першому випадку для «більшого» ряду виконано умови критерію Коші, тому з
n p n p
умови випливає: 0 N n N 0 a
k n 1
k b
k n 1
k , тобто, для «меншого»
n n
нескінченності при n , тому a b , n
k 1
k
k n
k і «більший» ряд
розбігається.
1 1 1 1
1 ... ... .
1! 2! k! n!
1 1 1 1
Введемо позначення: sn 1 ... ... . Очевидно, xn sn . Цілком
1! 2! k! n!
очевидно також, що при k n справедлива нерівність
1 1 1 1 1 2 k 1
1 1 ... 1 1 ... 1 xn .
1! 2! n k ! n n n
Перейшовши тут до границі при n , одержимо:
1 1 1
1 ... sk e. Тоді xk sk e і за лемою про три послідовності
1! 2! k!
lim sk e.
k
(1.5.19)
1 1 1 1 1
... ... e.
0! 1! 2! n! n 0 n!
Оцінимо різницю
1 1 1 1 1
0 e sn ... 1 ...
n 1! n 2 ! n 1! n 2 n 2 n 3
1 1 1 1 1 n2 1
1 ... .
n 1! n 2 n 2 2
n 1!
1
1 n 1
2
n ! n !n
n2
Отже, ми оцінили похибку при наближеному обчисленні числа e скінченними
сумами:
n
1 1 (1.5.20)
0e .
k 0 k ! n!n
n
1 n
e , n (0,1).
k 0 k ! n!n
p 1 1 1
1 ... q , q (0,1).
q 1! 2! q! q!q
q! q! q!
Помножимо обидві частини цієї рівності на q ! і помітимо, що , ,..., - цілі
1! 2! q!
p q! q! q!
числа: q!e q! q! ..., q
q 1! 2! q! q
q! q! q!
(q 1)! p q! ..., q .
1! 2! q! q
Ліва частина цієї рівності – ціле число, а права – число неціле. Одержане протиріччя
і доводить твердження.
цьому околі деякий елемент an2 даної послідовності. Продовжуючи цей процес до
1
Приклад: an 1 (1) n 1 . Легко бачити, що A 2 , n
2
{0}. Тоді
n n
lim an . (1.6.1)
n
lim an . (1.6.2)
n
Доведення очевидне.
Твердження 1.6.4. Послідовність an , n збігається тоді і тільки тоді, коли
lim an lim an a.
n n
нерівності an a* .
2. n0 n n , n0 n0 : xn a* .
Доведення. Перш всього зауважимо, що умова 1 означає, що при вибраному
фіксованому 0 існує лише скінченна кількість членів послідовності, що більші
або дорівнюють a* . Умова 2 означає, що у даної послідовності існує нескінченна
підпослідовність xnk така, що її члени задовольняють нерівності xnk a* .
2. n0 n n , n0 n0 : xn a* .
0 ( , a) 0 0 | x a | | f ( x) A | . (2.1.1)
yn f xn A, n в розумінні Гейне.
точці a ?
Означення 2.1.3. A lim f ( x) , якщо 0 M M ( , a) 0 x M f ( x) M .
x
M 0 ( M , a) 0 0 | x a | f ( x) M .
Читач самостійно може дати означення границі, якщо функція прямує до мінус
нескінченності.
Означення 2.1.5. lim f ( x) , якщо M 0 N 0 x N f ( x) M .
x
A2 A1
Будемо вважати, що A1 A2. Візьмемо 0 . Зрозуміло, що при цьому
2
B A1 B A2 . За вибраним 0 знайдуться 1 0, 2 0 , що
x B1 a f ( x) B A1 , x B 2 a f ( x) B A2 . Очевидно, що
f f ( x)
3. ( x) , g ( x) 0.
g g ( x )
Сформулюємо правила переходу до границі по відношенню до введених операцій, а
доведення миттєво випливають з відповідних властивостей послідовностей.
Вважається, що функції мають границі: lim f ( x) A, lim g ( x) B.
xa x a
f ( x) lim f ( x)
3. lim x a , g ( x) 0,lim g ( x) 0.
x a g ( x) lim g ( x) x a
x a
Будемо вважати, що нерівність між функціями має місце в деякому околі точки зі
спільної області визначення. Сформулюємо факти про перехід до границі в
нерівностях. Доведення випливає з відповідних фактів з теорії границь
послідовностей завдяки означенню Гейне.
Теорема 2.1.3. Нехай x B (a) f ( x) g ( x) і існують границі цих функцій у цій
точці. Тоді lim f ( x) lim g ( x).
x a x a
функція , що f ( x) A ( x).
Зараз розглянемо кілька важливих прикладів.
Перша важлива границя
Нехай C1 (0) - одиничка коло, A - точка його перетину з віссю Ox , OB - радіус в
першій чверті, 0 AOB x . Продовжимо цей радіус до перетину з
2
перпендикуляром до осі Ox , що проходить через точку A , а також з’єднаємо точки
A і B . В результаті утворилось два трикутники і сектор. Очевидно, для їхніх площ
справедливі нерівності: SOAB SOAB SOAC . Знаходячи їхні площі, будемо мати:
1 1 1
0 sin x x tgx . Звідси, по-перше, випливає і в подальшому важлива
2 2 2
подвійна нерівність:
0 sin x x tgx, x 0, .
2
1 1 cos x
З неї випливає . Помноживши всі частини на sin x , одержимо:
sin x x sin x
sin x sin x x x
1 cos x 0 1 1 cos x 2sin 2 2sin x.
x x 2 2
sin x
Переходячи до границі в нерівності 0 1 x і використовуючи теорему про
x
три функції, одержимо так звану першу важливу границю:
sin x
lim 1. (2.1.3)
x0 x
sin x
Зауваження 1. Завдяки парності функції границя буде такою ж і при
x
від’ємних значеннях x.
Зауваження 2. З нерівності 0 sin x x і непарності синусу випливає оцінка
x : sin x x . З неї, між іншим, випливає важливий факт: limsin x 0. Його
x0
x0
можна інтерпретувати таким чином: limsin x sin lim x 0. Далі ми побачимо
x 0
1 cos x
lim
1 cos x 1 cos x
lim 2
sin 2 x
Приклад 2.1.1. lim
x 0 x2 x 0 x 2 1 cos x x 0 x 1 cos x
2
sin 2 x sin x 1 1
lim 2 lim lim .
x0 x 1 cos x x0
x x0 1 cos x 2
sin x sin x x
Приклад 2.1.2. lim lim .
x 0 sin x x 0
x sin x
Застосуємо тепер 1-шу важливу границю до знаходження границі послідовності:
Приклад 2.1.3. Нехай 0. Знайти lim cos cos 2
... cos .
x 0 2 2 2n
Скориставшись тригонометричною формулою синуса подвійного аргументу,
одержимо:
2 n
cos cos 2 ... cos n sin n
limcos cos 2 ... cos n lim 2 2 2 2
x 0 2 2 2 x 0
2n sin n
2
2n1 cos cos 2 ... cos n1 sin n1
lim 2 2 2 2 ... lim sin sin lim 2n sin .
x 0 x 0 n x0 sin
2n sin n 2 sin n n
2 2 2
xk nk nk xk nk 1. Маємо:
nk xk nk 1
1 1 1 1 1 1
1 1
1 .
nk 1 xk nk nk 1 xk nk
1
Знайдемо тепер границю lim 1 t . t
t 0
1 1
tn 0 . Позначимо: kn , n . Справедливі оцінки:
tn tn
1 1
1 kn 1 1 1 kn 1
kn 1 kn t 0
До значення цієї границі можна було б прийти скоріше, зробивши в (2.1.4) заміну:
1 1
t 0, x x , але такий факт не було доведено. Більш того, в загальній
x t
ситуації виникають певні труднощі, тому поки що подібні речі треба поки що
робити безпосередньо.
Отже, одержано результат:
x
1
1
lim 1 t t lim 1 e. (2.1.5)
t 0 x
x
1
lim x 1. x
(2.1.6)
x
1
Звідси випливає значення границі при a 1: lim a 1. Дійсно, при досить великих x
x
1 1
значень x будемо мати: 1 a x . Тепер досить застосувати теорему про три
x x
1
1 1
функції: lim a 1, a 1. Якщо 0 a 1 , введемо заміну: b 1 a . Тепер
x
x a b
1
1 1 1
a
x
1
1, x . Якщо ввести заміну t 0, x x , будемо мати:
x
x t
b
lim at 1, a 0.
t 0
1
lim a lim a 1, a 0.
t x
(2.1.7)
t 0 x
1
Знайдемо тепер lim ln 1 . Застосовуючи методику і позначення попередніх
x
x
прикладів, будемо мати оцінки:
1 1 1 1 1
ln 1 ln 1 ln 1 .
nk 2 nk 1 xk nk nk
1 1 1
Звідти випливає: lim ln 1 0. Вводячи заміну t 0, x ; x ,
x
x x t
одержимо:
limln 1 t 0. (2.1.8)
t 0
Отже,
lim 1 x 1.
(2.1.9)
x 0
x
1
Застосуємо одержаний факт до наступної ситуації: lim 1 e . Звідси
x
x
1
1 x ln 1
lim ln 1 ln e 1 lim
x 1 1
1. Після заміни t 0, x ; x
x x x 1 x t
x
одержимо:
ln 1 t
lim 1. (2.1.10)
t 0 t
log a 1 t ln 1 t 1
lim lim . (2.1.11)
t 0 t t 0 t ln a ln a
ex 1
Приклад 2.1.6. lim .
x 0 x
Введемо заміну x ln(1 t ) e x 1 t. В результаті маємо:
ex 1 t
lim lim 1.
x0 x t 0 ln(1 t )
Наслідок:
ax 1 e x ln a 1
lim ln a lim ln a, a 0.
x 0 x x 0 x ln a
ax 1
lim ln a, a 0. (2.1.13)
x 0 x
1 x 1
a
ea ln(1 x) 1 ln(1 x)
Приклад 2.1.7. lim a lim a.
x0 x x0 a ln(1 x) x
Ще одна важлива границя:
1 x 1
a
lim a, a . (2.1.14)
x 0 x
0 0 x, x B a : x x f ( x) f x . (2.1.15)
2
0 0 0 | x a | | f ( x) A | ,
2 2
0 0 0 | x a | | f ( x) A | .
2 2
Звідси | x a | ,| x a | | x x || x a | | x a | і для таких значень
2 2
аргументу | f ( x) f ( x) | | f ( x) A | | f ( x) A | , що й треба було довести.
2 2
Достатність. Нехай виконується умова (2.1.13). Візьмемо якусь послідовність
Це означає, що послідовність yn f xn , n задовольняє умові критерію Коші
для послідовностей і тому має границю. Отже, доведено, що для будь-якої
послідовності аргументів xn a, n послідовність значень функції має границю,
( f , M ) sup f x1 f x2 . (2.1.16)
x1 , x2M
Введення цього поняття дає змогу сформулювати критерій Коші таким чином:
функція має границю в точці x , якщо 0 B x , 0 f , B x .
( f , a) lim f , B a . (2.1.17)
0
Порівняння асимптотичної поведінки функцій
Під асимптотикою або асимптотичною поведінкою функції в околі деякої точки або
на нескінченності розуміють характер її поведінки, що, як правило, означає її
порівняння з добре вивченими функціями. На практиці такими функціями є
степеневі, експоненційна, логарифмічна.
Будемо розглядати функції, визначені в деякому околі точки a , можливо, в деяких
випадках, виколотому.
Означення 2.1.10. Функція називається нескінченно малою вищого порядку по
відношенню до функції в околі точки a , якщо
( x) (2.1.18)
lim 0.
x a ( x )
( x) ( x) ( x) ( x) ( x) ( x)
lim 0, lim 0 lim lim lim 0.
x a ( x ) x a ( x ) x a ( x) x a ( x ) x a ( x )
Приклад 2. a 0; 0 b c : x o x .
c b
xc c b
Дійсно, lim b lim x 0.
x 0 x x 0
Приклад 3. a ; b c 0 : x o x .
b c
xb 1
Дійсно, lim c lim c b 0.
x 0 x x 0 x
Означення 2.1.11. Кажуть, що функція g є «О-велике» по відношенню до функції
g ( x) C f ( x) . (2.1.18)
g ( x) (2.1.19)
lim A, A
x a f ( x)
A 1 g ( x) A 1 f ( x) .
g ( x) g ( x)
A 1
f ( x) f ( x)
Означення 2.1.13. Кажуть, що f , g - функції одного порядку в околі точки a , якщо
g ( x)
lim A, 0 A .
x a f ( x)
Звідси випливає, що g O f , f O g .
* *
lim f ( x) f ( x0 ). (2.2.1)
xx0
0 ( , x0 ) 0| x x0 | | f ( x) f ( x0 ) | . (2.2.2)
Зміст (2.2.1) полягає в тому, що для неперервної в точці функції границя, якщо
аргумент прямує до цієї точки дорівнює функції від границі аргументу:
B y0 B f x0 B x0 : f B x0 B f x0 . (2.2.4)
Читач повинен переконатись в еквівалентності означень 2.2.1 і 2.2.2.
Використовуючи поняття коливання функції в точці, можна сформулювати критерій
неперервності у точці.
Теорема 2.2.1. функція неперервна в точці тоді і тільки тоді, коли її коливання в ній
дорівнює нулю.
На основі розглянутих раніше прикладів на знаходження границь можна зробити
висновок, що основні елементарні функції неперервні в кожній точці з області
їхнього визначення.
1). lim a x a x0 .
x x0
x x
Доведення. З (2.1.7) випливає: lim a x a 0 a 0 lim a 0 1 0, що й доводить
x
x x0
x
x x0
потрібний результат.
2). lim ln x ln x0 .
xx0
x x x x0
lim ln x lim ln x0 lim ln x0 ln ln x0 lim 1 ln x0 .
x x0 x x0
x0 x x0 x0 x x0
x0
x x0 x x0 x x0
Доведення. 0 sin x sin x0 2 sin cos 2 sin x x0 , що й
2 2 2
доводить рівність.
4). lim cos x cos x0 .
xx0
Доведення аналогічне.
sin x sin x0
5). lim tgx lim tgx0 , x0 n, n .
x x0 x x0 cos x cos x0 2
При доведенні треба скористатись властивостями границь.
B z0 B g y0 B y0 : g B y0 B g y0 .
B y0 B f x0 B x0 : f B x0 B f x0 .
Отже, можна зробити висновок, що
B z0 B g y0 B x0 : g f B x0 B g f x0 ,
а це й доводить справедливість твердження.
1 1
Застереження! Нехай y f ( x) x sin . Оскільки x sin | x | функція має границю
x x
1
при x 0 : lim x sin 0. Якщо продовжити цю функцію в точці x 0 її
x 0
x
граничним значенням, тобто, використовуючи для продовженої функції те ж саме
позначення, f (0) 0 , одержимо неперервну в точці 0 функцію. Нехай
1, y 0,
z g ( y) | sgn y | Очевидно, lim g ( y ) lim| sgn y | 1 g (0) 0. Тобто,
0, y 0. y 0 y 0
1
z g f ( x) sgn x sin . В довільному виколотому околі точки 0 функція
x
1
f ( x) x sin приймає значення 0 нескінченну кількість разів, і нульові значення в
x
1
тих самих точках приймає композиція g f ( x) sgn x sin . В інших точках
x
вона приймає значення 1. Значить, не виконано умову критерію Коші, а це означає,
що композиція не має границі в точці 0.
Отже, ми побачили, що існування границь кожної функції (якщо функції не є
неперервними) ще не гарантує існування границі композиції в деякій точці.
точкою усувного розриву. В такій ситуації можна продовжить функцію в цій точці її
граничним значенням, і це продовження F буде неперервною функцією в цій точці:
f ( x), x x0 ,
F ( x) (2.2.5)
A, x x0 .
sin x
Приклад: Функція f ( x) не визначена у точці 0 , і існує границя функції в цій
x
точці, Отже, x 0 є усувною точкою розриву функції. При доповненні її граничним
sin x
, x 0,
значенням в цій точці одержуємо неперервну функцію: F ( x) x
1, x 0.
1, x 0,
Приклад: sgn x 0, x 0,
1, x 0.
Функція неперервна в усіх точках дійсної прямої крім точки 0, і ця точка є точкою
розриву 1-го роду.
3. x0 називається точкою розриву 2-го роду, якщо або хоча б одна одностороння
границя нескінченна, або не існує границі в цій точці.
1 1
Приклади: f ( x) , lim . 0 – точка розриву 2-го роду.
x x0 x
1
f ( x) sin . 0 – точка розриву 2-го роду, оскільки в цій точці функція не має
x
границі.
2.3. Глобальні властивості неперервних функцій
його точці. Очевидно, якщо x пробігає весь проміжок [a, b] , ці околи утворюють
відкрите покриття цього відрізку. Тоді за лемою Гейне-Бореля-Лебега існує
n
скінченне підпокриття відрізку такими інтервалами: B xk xn [a, b]. На
k 1
0 0 x D B ( x) . (2.3.2)
функції в довільному околі точки a випливає, що знайдуться x, x : x x такі,
1
Найбільш простий приклад подібної ситуації дає функція f ( x) , x 0.
x
Питання для самоперевірки. Чи обов’язково буде рівномірно неперервною
функція, неперервна на інтервалі? Навести контрприклад.
1
Приклад 2.3.2. f ( x) , x [0, ).
1 x2
Оцінимо модуль різниці значень функції в двох довільних точках:
1
1
x1 x2 x x .
Оцінимо окремо значення дробу в
1 x 12 1 x 22 1 x 12 1 x 22
1 2
останньому виразі:
x1 x2
x1
1 x
22
1
1
1
1
1
1 x 1 x
2
1
2
2
1 x 1 1 x 2 1 x 2 1 x 1 x 1 1 x 2 x 1 1 x 12
2 2 2
1
2
2
x1 x2
1 1 1
1.
2 1 x 22 1 x 12
Звідси
1 1
x1 x2 .
1 x 12 1 x 22
Отже, взявши довільне 0 , досить вибрати , і умова рівномірної
неперервності буде виконуватись. Значить, функція рівномірно неперервна на півосі
дійсної осі, а через її парність – на всій осі.
Аналіз розглянутого прикладу показує, що рівномірна неперервність гарантована
для функції, яка задовольняє наступній умові, яка називається умовою Ліпшиця:
1
означає, що x xk xk . Оцінимо відстань до xk точки
2
1
x : x xk x x x xk x x x xk xk
2
1 1
xk xk xk .
2 2
Отже, точки x, x [a, b] попали в U ( xk ) B ( xk ) ( xk ) [a, b] , тому
f x f x f , B ( xk ) ( xk ) [a, b] , що і треба було довести.
Монотонні функції
різні значення x1 x2 . Тим самим задано функцію, яку будемо позначати f 1 , яка
3. Диференціальне числення
3.1. Локальна теорія
Диференційовність функції у точці
f x0 f x0 x f x0 Ax x0 , x , (3.1.2)
x0 , x
де x0 , x o(x), тобто, lim 0.
x 0 x
Це означає, що головний внесок в приріст функції дає лінійна відносно x частина
Ax .
Поділимо обидві частини (3.1.2) на x :
f x0 f x0 x f x0 x0 , x
A .
x x x
Оскільки права частина має границю при x 0 , права частина теж має границю:
f x0 f x0 x f x0 (3.1.3)
lim lim A.
x 0 x x 0 x
f x0 f x0 x f x0 (3.1.4)
f x0 lim lim .
x 0 x x0 x
(3.1.5)
f x0 f x0 x f x0 f x0 x x0 , x ,
f x0
f x0 (x), де (x) 0, якщо x 0.
x
f a x f a
f a 0 lim ,
x 0
x 0
x
(3.1.6)
f b x f b
f b 0 lim .
x 0
x 0
x
| x | 0 x
f 0 lim lim 1.
x0
x0
x x0 x
x 0
df x0 f x0 dx (3.1.7)
df x0
позначення для похідної: . Не треба цей вираз сприймати як дріб! Але
dx
df x0
існування похідної в точці і рівність f x0 , в лівій і правій частинах якої,
dx
одна і та ж похідна, тільки в різних формах запису, еквівалентна диференційовності
функції в цій точці, а значить і справедливості (3.1.7). Отже, на формальному рівні
виходить, що ніби в рівності різних форм запису похідної обидві частини
помножили на dx і прийшли до (3.1.7). Тому інколи, припускаючи вільність
висловлювання, особливо таке буває при розв’язуванні звичайних диференціальних
рівнянь, кажуть, що обидві частини помножимо на dx . При цьому треба чітко
розуміти, що записи рівняння, що містить похідну і рівняння, що записано через
диференціали, еквівалентні.
Твердження 3.1.1. Нехай функція неспадна в точці x0 і диференційовна в ній. Тоді її
f x0
виконуватись нерівність x0 , x x , а звідси
2
f x0 f x0
x x0 , x x
2 2
і тоді
f x0 f x0
f x0 x x f x0 x f x0 f x0 x x .
2 2
Нехай x1, x2 B x0 , x1 x0 x2 . Розглянемо випадок f x0 0 . Тоді, якщо
x x1 x0 , то x 0 і
f x0 f x0 f x0
f x1 f x0 f x0 x x f x0 x x x 0, і
2 2 2
звідси f x1 f x0 . Так само при x x2 x0 0 і
f x0 f x0
f x2 f x0 f x0 x x x 0 f x2 f x0 .
2 2
Аналогічно розглядається випадок f x0 0.
Тоді
x1 x0 x2 f x1 f x0 f x2 . Ток f x0 0 . Т
Сформулюємо висновок.
Твердження 3.1.2. Нехай f x0 0 . Тоді існує досить малий окіл B x0 точки x0 ,
f x f x0 df x0 f x0 f x0 x x0 . (3.1.8)
M0, M x x0 y y0 .
2 2
прямокутну систему координат, Будемо
r x0 x0 , f x0 , r x x, f x - їхні образи в
T T 2
. Завдяки диференційовності
x 0 M 0 , M x 2 f x0 x 1 f x0 x, x0 0 .
2 2
Тут x, x0 0, x 0 .
Нехай ( x, y ) - координати довільної точки січної, що проходить через точку графіку
y f x0 x x0 f x0 (3.1.9)
f x f x0 x x0 f x0 x0 , x o x .
P1 x, x0 c1 x x0 f x0 .
За умовою f x c1 x x0 f x0 o x . Звідси
f x0 x x0 f x0 o x x0 c1 x x0 f x0 o x x0 і тоді
o x x0
f x0 x x0 c1 x x0 o x x0 c1 f x0 .
x x0
x ,
1
2 px1 , x2 , 2 px2 :
p p
y x x1 2 px1 , y x x2 2 px2
2 x1 2 x2
Умова ортогональності прямих запишеться у вигляді
p p p
1 x1 x2 . Абсциса точки перетину дотичних знаходиться з
2 x1 2 x2 2
рівняння:
1 1
p
2 x1
x x1 2 px1
p
2 x2
x x2 2 px2
x x
x
x1 x2
1 2
p
x x1 x2 x , тобто, шуканим геометричним місцем точок є вертикальна
2
пряма, а саме, директриса параболи.
1).
d f g x df ( x) dg ( x),
(3.1.11)
f g ( x) f ( x) g ( x).
f g x f g x x f g x
f x x f ( x) g x x g x
f x x o x g x x o x
f ( x) g ( x) x o(x) d f ( x) g ( x) o(x) ,
2).
d fg x g ( x)df ( x) f ( x)dg ( x),
(3.1.12)
fg ( x) f ( x) g ( x) f ( x) g ( x).
fg x x fg x f x x g x x f x g x
f x x f x g x x f x g x x g x
g x x f x x o x f ( x) g x x o x
g x f x x f ( x) g x x o x g x df x f x dg x o x ,
f11 ( x) f12 ( x)
f11 ( x) f 22 ( x) f12 ( x) f 21 ( x)
f 21 ( x) f 22 ( x)
f g x df x f x dg x
d x ,
g g 2 x
(3.1.14)
f f x g x f x g x
x .
g g 2
x
f f f x x f x
x x x
g
g g x x g x
f x x g x f ( x) g x x f x x f ( x) g x f ( x) g x x g x
g ( x) g x x g ( x) g x o(1)
f x x g x f ( x) g x x o x g x df x f x dg x o(x).
g 2 ( x) o(1) g 2 x
x
2
x x 1 o(1) o(1)
1 ...
g 2 ( x) o(1) g 2 ( x) 1 o(1) g 2 ( x) g 2 ( x) g 2 ( x)
g 2 ( x)
x x
2
o(1)x 2 o(x).
g ( x) g ( x)
4). Формула диференціювання складеної функції або композиції двох функцій, які
будемо вважати диференційовними у відповідних точках. Її ми доведемо для
похідних. Нехай y f x , z g ( y) g f x . Тоді
g x f ( x) g y f ( x) f ( x). (3.1.15)
Знову помітимо, що y f ( x) f x x f x f x x x, x , і y 0
g f ( x x) g f ( x) g y y g y y
g x f ( x) lim lim g y f ( x) f ( x).
x0 x x0 y x
Знайдемо також диференціал складеної функції:
dg ( y) g( y)dy g ( y) yx dx g f x dx g
x
f x dx.
5). Диференціювання оберненої функції. Нехай функція x f y диференційовна у
f x
1 1 (3.1.16)
.
x f y y
f 1 ( x) f 1 x0 y y0 1 1
lim lim ,
x x0 x x0 y y0 f ( y ) f y
0
f ( y ) f y0 f y0
lim
y y0 y y0
x0 f y0 .
Нехай (t ) 0 або (t ) 0 в деякому околі точки t0 . Тоді функція , як відомо з
d (t )
dy d (t ( x)) dt ( x) t0 (3.1.17)
dt .
dx x x0 dt t t0 dx x x0 d (t ) t0
dt t t0
Завдання для самостійної роботи. Довести всі властивості похідних
безпосередньо, виходячи з означення похідної.
Таблиця похідних
1). f ( x) C const f ( x) C 0.
C C
Доведення. lim 0.
x0 x
2). x a ax a 1.
x
a
x x x
a a 1 1
Доведення. lim a 1
x lim x
ax a 1.
x 0 x x 0 x
x
Тут була застосована важлива границя (2.1.14).
3). a x a x ln a.
a x x a x a x 1
lim a x lim a x ln a.
x 0 x x 0 x
Тут була застосована важлива границя (2.1.13).
Частинний випадок: e x e x .
1
4). loga x .
x ln a
Доведення. Використаємо важливу границю (2.1.11):
x
log a 1
log a x x log a x 1 x 1 .
loga x lim lim
x 0 x x x0 x x ln a
x
1
Частинний випадок: ln x .
x
5). sin x cos x, cos x sin x .
x x
2sin cos x
sin x x sin x 2 2
Доведення. sin x lim lim
x 0 x x 0 x
x
sin
lim 2 lim cos x x cos x.
x
x 0 x0
2
2
cos x sin x cos x (1) sin x.
2 2
sin x 1 cos x 1
6). tg x , ctg x 2
cos x cos x sin x
2
sin x
e x e x e x e x
7). ch x shx.
2 2
e x e x e x e x
shx chx.
2 2
Зауважимо, що перед коренем береться знак «+», оскільки cos y 0 y , .
2 2
1
arccos x arcsin x .
2 1 x2
9). arctgx 1 .
1
, arcctgx
1 x2 1 x2
Доведення. Нехай y arctgx , x tgy.
2 2
Маємо: arctgx
1 1 1 1
.
tg y 1 1 tg y 1 x 2
2
cos 2 y
1
arcctgx arctgx .
2 1 x2
10). Диференціювання обернених гіперболічних функцій.
e y e y
Гіперболічний синус x shy – непарна функція, що строго монотонно
2
зростає на всій числовій осі y (, ) , при цьому x (, ) . Строге зростання
випливає з додатності похідної: shy chy 0 . Таким чином, визначено обернену
функцію areshx - читається «ареасинус». Для визначення цієї функції через відомі
елементарні досить розв’язати рівняння
e y e y 2 x e2 y 2 xe y 1 0 e y x x 2 1.
В нашому випадку, як було відзначено, обидві функції – синус гіперболічний і
обернена до нього – монотонно зростають. Таким чином, перед коренем в
одержаному виразі треба взяти знак «+»:
areshx ln x x 2 1 .
Зауважимо, що під логарифмом додатна величина (перевірте!).
e y e y
Розглянемо тепер гіперболічний косинус: x chy . Це парна функція, отже,
2
для визначення оберненої, ареакосинуса, треба розглядати піввісь y [0, ) , де
гіперболічний косинус строго монотонно зростає. Дійсно, chy shy 0 y 0 .
Слід також зауважити, що гіперболічні синус і косинус задовольняють так званій
основній гіперболічній тотожності:
ch 2 x sh 2 x 1.
В її справедливості легко впевнитись, використовуючи вирази цих функцій через
експоненти. Читач повинен зробити це самостійно.
Аналогічним чином, як і у випадку ареасинуса, знайдемо:
arechx ln x x 2 1 , x 1.
Знайдемо похідні цих обернених функцій:
areshx
1 1 1 1
.
shy chy 1 sh 2 y 1 x2
arechx
1 1 1 1
.
chy shy ch y 1
2
x 1
2
f ( x) e
g ( x) g ( x ) ln f ( x )
e g ( x ) ln f ( x )
g ( x)ln f ( x)
f ( x) g ( x)
f ( x) g ( x ) g ( x)ln f ( x)
f ( x)
f ( x) g ( x )1 f ( x) g ( x)ln f ( x) f ( x) g ( x) .
f ( x) x sin ax a 1 sin x a 2 cos .
a
x x x
Отже, при a 2 існує границя похідної при x 0, і вона дорівнює нулю, тобто,
lim f ( x) 0 f (0), а це й означає неперервність у нулі похідної функції при умові
x0
3 y
або третьої чвертей - , arctg читач легко розгляне самостійно.
2 2 x
Дамо два незалежних методи розв’язання задачі, працюючи в декартових і полярних
координатах.
Підставляючи функцію y y ( x ) у рівняння, одержимо тотожність, а тотожність
можна диференціювати, оскільки вона має місце в деякому околі точки x .
marctg
y
x y y marctg
y
1 xy y
Маємо: x y ae
2 2 x
mae x
x2 y 2 y 2 x2
1 2
x
x y 1
y m xy y (mx y) y x my
2
x my
y .
mx y
Зауважимо, що з рівняння в умові задачі неможливо в елементарних функціях
виразити y як функцію від x , тому знайдена відповідь вважається остаточною.
e sin
1
m
m m tg
me sin e cos m sin cos
y m m
m
cos me cos e sin m cos sin 1 1 tg
e
x
m
m
1
tg arctg .
m
З одержаного результату випливає цікавий факт: дотична до логарифмічної спіралі
утворює сталий кут з радіусом-вектром точки дотику.
Позначимо цей кут через , кут нахилу радіуса-вектра за означенням – це , кут
нахилу дотичної до осі Ox - через . Скористаємось знайденим значенням:
1
tg tg arctg . Тоді
m
1
tg
m tg
1 1 1 2
tg tg 1 tg tg tg tg
1
tg tg m m m .
1 tg tg tg
1 1 1
1 tg tg 2 tg m
1 tg m m m
1
1 tg
m
Це й доводить твердження.
Зауваження. Насправді, існує загальна формула, за якою можна знаходити тангенс
кута між радіусом-вектором точки і її дотичною.
Нехай кут нахилу радіуса-вектра до осі Ox – це , кут нахилу дотичної до осі Ox -
. З геометричних уявлень .
Нехай криву задано в полярних координатах: ( ). Тоді
x ( )cos , y ( )sin .
Маємо:
y ( )sin ( )cos ( )tg ( )
tg yx ,
x ( )cos ( )sin ( ) ( )tg
( )tg ( )
tg
tg tg ( ) ( )tg
tg tg
1 tg tg 1 tg ( )tg ( )
( ) ( )tg
[a, b] [a, c] [c, b] , і на кожній з них похідна мала б різні знаки. Інакше за теоремою
Дарбу існувала б внутрішня точка проміжку, в якій похідна дорівнювала б нулю, що
протирічить умові.
Теорема 3.2.3 (Коші). Нехай функції f , неперервні на проміжку [a, b] і
диференційовні на (a, b), причому x (a, b) ( x) 0 . Тоді існує точка (a, b) , в
якій виконується співвідношення:
f (b) f (a) f
.
b a (3.1.18)
f ( ) ( ) 0
f (a ) f (b) (a ) (b) 0 ( a) (b) f ( ) f ( a) f (b) ( ) 0.
f (b) (b) 1
f (b) f (a)
f a b a , (0,1).
(3.1.20a)
ba
на графіку функції існує принаймні одна точка, в якій дотична паралельна хорді, що
з’єднує кінці графіка.
Наслідок 2. Якщо на проміжку [a, b] функція неперервна, а в кожній точці
інтервалу (a, b) похідна функції невід’ємна (або недодатна), то сама функція
монотонно не спадає (не зростає). Якщо ж похідна додатна (від’ємна), то функція
строго монотонно зростає (спадає) на цьому інтервалі.
Доведення. Нехай x1, x2 (a, b), x1 x2 . Застосуємо для проміжку x1 , x2 формулу
f 0 f ( x2 ) f ( x1 ), при f 0 f ( x2 ) f ( x1 ).
f x2 f x1 L x2 x1 . (3.1.21)
виконується нерівність (3.1.21), отже, 0 можна вибрати . Тоді
L
x1 , x2 , x1 x2 f x2 f x1 L x2 x1 L , що й треба було
L L
довести.
5). Нехай функція неперервна в околі точки x0 . Якщо існує правостороння границя
похідної в точці x0 , а також той факт, що похідна не може мати розривів 1-го роду
(стрибків).
З усього сказаного випливає висновок, що якщо функція має похідну в кожній точці
деякого інтервалу, то вона може бути неперервною в деяких точках або мати
розриви 2-го роду. Це добре ілюструє приклад (3.1.5) при, наприклад, a 2 .
Якщо одностороння границя похідної в точці дорівнює () , то робиться
висновок, що одностороння похідна в цій точці дорівнює () .
Приклад 3.2.1. Нехай f - функція, визначена на всій числовій осі, і вона має
неперервну похідну на всій осі. Нехай для довільного x виконується умова:
f x x f ( x) f ( x)x. Довести, що f x ax b, де a, b - константи.
f x1 f x2 f x2 x1 x2 f x2 f x1 f x2 x2 x1 . Звідси робимо
f ( x) f ( x)
(3.3.1)
f ( n ) ( x) f ( n1) ( x)
(3.3.3)
або
d n f ( x) d d n1 f ( x) (3.3.4)
.
dx n dx dx n1
d 2 f ( x) d df ( x) , d n f ( x) d d n1 f ( x ) . (3.3.6)
Знайдемо для прикладу другу похідну від добутку двох функцій, користуючись
відомим виглядом першої похідної:
n
u ( x )v ( x ) Cnk u ( nk ) ( x)v ( k ) ( x).
(n)
(3.3.7)
k 0
Для доведення скористуємось методом математичної індукції. Випадок n 1 . Вже
розглянуто. Отже, припустивши справедливість формули для n -ї похідної, доведемо
її для n 1 -ї похідної. Маємо:
u ( x )v ( x )
( n 1)
u ( x )v ( x )
( n)
n k ( nk )
Cn u
k 0
( x)v ( k ) ( x)
n n
Cnk u ( nk 1) ( x)v ( k ) ( x) Cnk u ( nk ) ( x)v ( k 1) ( x)
k 0 k 0
n n 1
u ( n 1)
( x )v ( x ) C u
(0) k
n
( n k 1)
( x)v ( x) Cnk u ( nk ) ( x)v ( k 1) ( x) u (0) ( x)v ( n1) ( x).
(k )
k 1 k 0
u ( x )v ( x )
( n1)
n n
u ( n1) ( x)v (0) ( x) Cnk u ( nk 1) ( x)v ( k ) ( x) Cnj 1u ( n j 1) ( x)v ( j ) ( x) u (0) ( x)v ( n1) ( x)
k 1 j 1
u ( n1) ( x)v (0) ( x) Cnk Cnk 1 u ( nk 1) ( x)v ( k ) ( x) u (0) ( x)v ( n1) ( x)
n
k 1
n 1
u ( x )v ( x ) Cnk1u ( nk ) ( x)v ( k ) ( x).
( n 1)
k 0
n! n! n! 1 1
Cnk Cnk 1
n k !k ! n k 1! k 1! n k ! k 1! n k 1 k
n 1! C k .
n k 1!k ! n1
Приклад 3.3.1. Знайдемо n -у похідну від добутку: eax sin( x ).
Помітимо, що e ax ( n k )
a nk e ax , sin( x )
(k )
k sin x k .
2
Тоді за
формулою Лейбниця
e sin( x ) e
n
a
(n)
ax ax n k
k Cnk sin x k .
k 0 2
Приклад 3.3.2. Знайдемо другу похідну yx2 (t ) функції, заданої параметрично:
x(t ) (t ), y (t ),(t ) 0.
1 x
a (n)
a(a 1)...(a n 1) x a n ,
Розглянемо многочлен
Pn x, x0 c0 c1 x x0 c2 x x0 ... cn x x0 .
2 n
Pn x0 , x0
Pn x0 , x0 1!c1 c1 .
1!
Далі Pn x, x0 2 1c2 3 2c3 x x0 ... n(n 1)cn x x0
n2
,
Pn x0 , x0
Pn x0 , x0 2c2 c2 .
2!
Pn( k ) x0 , x0
За індукцією ck . Отже,
k!
Pn(0) x0 , x0 Pn(1) x0 , x0
Pn x, x0 x x0
0! 1!
Pn( k ) x0 , x0 Pn( n ) x0 , x0
x x0 ... x x0
k n
... (3.3.8)
k! n!
n
P x0 , x0
(k )
n x x0 .
k
k 0 k!
Pn x, x0
f ( k ) x0 f ( n ) x0
f x0 f x0 x x0 ... 0 x x0
k n
x x ...
k! n! (3.3.9)
n
f x0
(k )
x x0 .
k
k 0 k!
Знайдемо її похідну по t :
f t f t f t f ( n1) t
F (t ) f (t ) x t x t ... x t
n
1! 1! 1! n!
(3.3.13)
f ( n 1)
t
x t .
n
n!
Rn x, x0 f ( n1)
x
n
x x0 n!
x x0 f ( n1)
Rn x, x0 x .
n
n!
(3.3.14)
( x) 0, x0 x x0 , (t ) p x t , ( ) p x
p p 1 p 1
.
В результаті маємо залишковий член формули Тейлора у формі Шльомільха-Роша:
x x0 f ( n1)
p
Rn x, x0 x . Остаточно
n
p x
p 1
n!
f ( n1)
Rn x, x0 x x x0 .
n p 1 p
pn! (3.3.15)
f ( n1)
Rn x, x0 x x x0 .
n
n!
(3.3.16)
f ( n1)
Rn x, x0 x x0 .
n1
n 1! (3.3.17)
f ( k ) x0
n
f ( x) x x0 o x x0 .
k n
(3.3.18)
k 0 k!
Rn x, x0 O x x0
n 1
. (3.3.19)
f ( k ) x0
n
f ( x) x x0 O x x0 .
k n 1
(3.3.20)
k 0 k!
Формула Тейлора (Маклорена) для деяких елементарних функцій
1). f ( x) e x .
Оскільки e
(k )
x
1, маємо:
x 0
x2 xn
e 1 x rn ( x).
x
2! n!
Для оцінки залишкового члена використаємо формулу Лагранжа. Отже, x [ R, R]
знайдемо:
e eR
rn x
n 1
x R n 1.
(n 1)! (n 1)!
x3 x 2 n1
1
n 1
sin x x r ( x).
3! 2n 1! 2 n
Зауважимо, що похідні в нулі парного порядку від синуса дорівнюють нулю, тому в
формулі Тейлора відсутні степені x парної степені. Для оцінки залишкового члена
теж треба використати формулу Лагранжа:
sin (2n 1)
2 2 n1 R 2 n 1
rn x x .
(2n 1)! (2n 1)!
3). f ( x) cos x, x [ R, R] :
x2 n 1 x
2n
x2 n 1 x
n
(1) n 1 x n
rn ( x) n , 0 1 - Лагранжа.
n 1 x
n 1
xn 1
rn ( x) (1) , 0 1 - Коші.
n 1
1 x 1 x
xn 1
Нехай x [0,1] . З формули Лагранжа rn ( x) . З цих оцінок видно, що при
n n
x [0,1) прямування до нуля залишкового члена досить швидке, при x 1 - досить
повільне.
Нехай x 1,0 x 1 . Застосуємо формулу Коші:
n 1 n 1
x 1 x 1
n n n
x
rn ( x) 0, n .
1 x 1 x 1 x 1 1 x
α α 1 2 α α 1 α n 1 n
1 x
1 αx x x rn ( x),
2! n!
x 1;1 Такий ряд називається біноміальним рядом.
Для оцінки залишкового члена використаємо формулу Коші:
1 ( n1) ( 1)...( n 1)
x x
n 1
rn ( x) 1 x x
n n
f
n! n!
1 x
n
1 ...1 1 x
1 n 1
Нехай x 1 . Зробимо оцінку:
x x 1 x 1 x
1 1 x.
1 1 1 1 0
1 n 1
Звідси rn ( x) 1 ...1 1 x
1 n
При збільшенні n на одиницю права частина множиться на 1 x . При
n 1
x q 1 1 x q 1 . Отже, rn ( x) 0, n .
n 1
Зауваження. З наведених оцінок залишкових членів для розглянутих функцій
випливає їхній вигляд у формі Пеано:
x2 xn
ex 1 x
2!
o x n ,
n!
x3 x 2 n1
sin x x 1 o x2n ,
n 1
3! 2n 1!
x2 2n
o x 2 n1 ,
n 1 x
cos x 1 1
2! 2 n !
x2 n
o xn ,
n 1 x
ln 1 x x 1
2 n
α α 1 2 α α 1 α n 1 n
f ( x) 1 x 1 αx x o x n .
x
2! n!
Формула Тейлора дає змогу знаходити границі функцій, коли треба враховувати
нескінченно малі вищих порядків, і важливі границі не працюють.
sin x x
Приклад 3.3.2. Знай lim . Записуємо формулу Тейлора для синуса до x3
x0 x3
x3
включно: sin x x o x 4 . Звідси
3!
x o x x o x4
x3 4 x3
sin x x 3! 1
lim 3
lim 3
lim 3! 3 .
x 0 x x 0 x x 0 x 6
x B x0 f x0 f ( x).
Нагадаємо тепер лему Ферма, яка дає необхідну умову існування екстремуму: в
точці екстремуму диференційовної функції її похідна дорівнює нулю. Оскільки ця
умова не є достатною, будемо називати точки, в яких похідна дорівнює нулю,
підозрюваними на екстремум. Сюди ж треба віднести точки, в яких похідна не існує,
а також дорівнює нескінченності. Далі треба застосовувати достатні умови,
одержанням яких зараз займемось.
Теорема 4.1.1. Нехай функція f диференційовна в деякому околі точки x0 і
f x0 0. Якщо в околі
x x0 f x 0, x x0 f x 0 ,
x x0 f x 0, x x0 f x 0,
x x0 0, f 0 f x f x0 f x x0 0
f x f x0 ;
f x f x0 .
f ( x) 4 x 2 x sin cos . З аналізу прикладу 3.1.3 випливає, що у точці x0 0
x x
похідна функції існує, але не є неперервною. Очевидно також, що в будь-якому
околі цієї точки похідна нескінченну кількість разів змінює знак, оскільки він
визначається знаком cos , cos [ , ] , а доданок 4 x 2 x sin в досить
x x x
малому околі точки 0 може бути зроблений як завгодно малим. Проте, функція має
строгий локальний екстремум у точці x0 0 . Це випливає з двосторонньої оцінки
0 x2 f ( x) 2 x2 x 2 sin 3x 2 і f (0) 0 .
x
точки:
f ( n ) x0 f ( n ) x0
f ( x) f x0 x x0 x x0 x, x0 x, x0 x x0 ,
n n n
n! n!
x, x0 o(1).
Неодноразово було зауважено, що, оскільки x, x0 o(1) - нескінченно мала у
f ( x) a x a 1 1 f (1) 0.
f ( x) x a ax a 1 0, x 0, 0 a 1. (4.1.1)
f ( x) x a ax a 1 0, x 0, a 0 a 1. (4.1.2)
Нерівності Юнга
1 1 x
Нехай x, y 0, pq 0, 1. Підставимо в (4.1.1), (4.1.2) замість x число і
p q y
1 1 1
покладемо a , 1 . Тоді при
p q p
1 1
0 a 1 p 1; a 0 a 1 p 1 p 0.
p p
1
1
1 1 1 1
1p 1 1p x y 1
1p 1q x y
Маємо: x y p p
xy y x y y x y .
p q p q p q
Звідси при p 1
1 1
x y
x y
p q
; x, y 0, (4.1.3)
p q
при p 1 p 0
1 1
x y
x y
p q
; x, y 0, (4.1.4)
p q
1 1
n
n p p n q q 1 1
k 1
a b
k k ak bk , p 1, p q 1.
k 1 k 1
(4.1.5)
1 1 (4.1.5a)
n
n p p n q q 1 1
k 1
a b
k k ak bk , p 1, p 0, p q 1.
k 1 k 1
k 1 k 1
p
a p bq
одержимо:
ak bk 1 akp 1 bkq
.
a p b q
p a p q bq
p q
ak bk akp
1 k 1 1
b q
k
1 1
k 1
p
k 1
q
1.
a p
b q
p a q b p q
p q
1 1
n
n
n
a b b q akp bkq .
p q
Звідси k k a
k 1 k 1
p
k 1
Знак рівності в (4.1.3) має місце лише при x y . В нашому випадку це має вигляд:
a p
p q
a b
k k akp qp bkq , k 1,..., n, тобто, якщо числа akp пропорційні
a b b
p q q
числам bkq , k 1,..., n.
Радимо читачу довести (4.1.5a) самостійно.
Нерівність Мінковського
Нехай ak , bk 0, k 1,..., n. Тоді
1 1 1 (4.1.6)
n p p n p p n p p
k a bk ak bk , p 1.
k 1 k 1 k 1
1 1 1
n p p n p p n p p
ak bk ak bk , p 1, p 0.
(4.1.6a)
k 1 k 1 k 1
ak bk ak ak bk bk ak bk . До правої частини
p p 1 p 1
Помітимо, що
k 1 k 1 k 1
ak ak bk bk ak bk .
k 1 k 1 k 1 k 1 k 1 k 1
Отже, прийшли до нерівності
n 1 1
n 1
n
n
p
a bk akp bkp ak bk .
p p p q
k 1
k
k 1 k 1 k 1
1
n p q 1 1
Поділимо тепер обидві частини на ak bk , помічаючи, що 1 :
k 1 q p
1 1 1
n
p p n
p
n
ak bk ak bk ,
p p p
k 1 k 1 k 1
Що й треба було довести.
Радимо читачу довести (4.1.6a) самостійно.
Зауваження. Завдяки нерівності Мінковського (4.1.6) величини
1 1
n
p n
p
ak , b bk ,
p p
a
k 1 k 1
p p
1). x 0, x 0 x 0,
2). x x,
Опуклі функції
1 1 1 1
x x2 x x x x x x1
1 2 , 2 1 . (4.1.7)
1 1 x2 x1 x2 x1 x2 x1
x1 x2
вається опуклою (або опуклою униз), якщо для довільного проміжку x1 , x2 [a, b] і
двох чисел 1,2 0,1 2 1 має місце нерівність (Ієнсена)
f 1 x1 2 x2 1 f x1 2 f x2 . (4.1.8)
Функція називається строго опуклою (або строго опуклою униз), якщо при тих
самих умовах і при x1 x2 , 12 0 має місце строга нерівність:
f 1 x1 2 x2 1 f x1 2 f x2 .
Функція називається угнутою (опуклою уверх), якщо при тих самих умовах має
місце нерівність Ієнсена
f 1 x1 2 x2 1 f x1 2 f x2 . (4.1.9)
Аналогічно строго угнутою (строго опуклою уверх), якщо має місце строга
нерівність
f 1 x1 2 x2 1 f x1 2 f x2 .
Будемо вивчати опуклі униз, а також строго опуклі униз функції, розуміючи, що для
опуклих уверх результати будуть аналогічні.
Підставимо в нерівність Ієнсена знайдені значення (4.1.7), вважаючи, що
x 1 x1 2 x2 x1 , x2 :
x2 x x x1
f x f x1 f x2 . (4.1.10)
x2 x1 x2 x1
Помітимо, що
x2 x x x1
y y1 y2 , (4.1.11)
x2 x1 x2 x1
координатами x , f x , x , f x .
1 1 2 2
x2 x1 f x x2 x f x1 x x1 f x2
x2 x f x1 x1 x2 f x x x1 f x2 0
x 2 x x x1 f x x2 x f x1 x x1 f x2
x2 x f x f x1 x x1 f x2 f x
f x f x1 f x2 f x
. (4.1.12)
x x1 x2 x
f 1 x1 2 x2 a 1 x1 2 x2 b 1 f x1 2 f x2
1 ax1 b 2 ax2 b 1 f x1 2 f x2 .
Тобто, в нерівності (4.1.8) має місце рівність. Аналогічно, рівність має місце в
(4.1.9). Це означає, що лінійна функція є водночас опуклою униз і вгору.
1 f g x1 2 f g x2 .
композиція z g f ( x) g f ( x) опукла.
Доведення.
g f 1x1 2 x2 g f 1x1 2 x2 g 1 f x1 2 f x2
1g f x1 2 g f x2 1 g f x1 2 g f x2 .
Доведення. Нехай y1 f x1 , y2 f x2 x1 f 1 y1 , x2 f 1 y2 .
З опуклості f випливає:
f 1 x1 2 x2 1 f x1 2 f x2 1 y1 2 y2 .
x2 x x x1
y ( x) y1 y2
x2 x1 x2 x1 .
Це пряма, тому вона опукла водночас і униз, і вгору. Те саме можна сказати про
y ( x).
f x2 f x1
f x2 . (4.1.14)
x2 x1
f x2 f x1
f x1 f x2 . (4.1.15)
x2 x1
f x f x1 f x2 f x
,
x x1 x2 x
Яка еквівалентна нерівності Ієнсена, що й доводить опуклість униз функції.
Сформулюємо результат.
Теорема 4.1.2. Нехай функція f неперервна на проміжку [a, b] і має на ньому
скінченну похідну. Для її опуклості униз необхідно і достатньо, щоб іі похідна була
неспадною.
Сформулюємо тепер умови строгої опуклості. Якщо функція строго опукла, то,
використовуючи результат теореми 4.1.2 і формулу скінченних приростів,
одержимо:
f x f x1 f x2 f x
f x1 f 1 f 2 f x2 ,
x x1 x2 x
тобто, одержано строге монотонне зростання похідної функції. Навпаки, із строгого
зростання похідної випливає:
f x f x1 f x2 f x
f 1 f 2 ,
x x1 x2 x
а це доводить строгу опуклість функції униз.
Отже, доведено наступний факт.
Теорема 4.1.3. Нехай функція f неперервна на проміжку [a, b] і має на ньому
скінченну похідну. Для її строгої опуклості униз необхідно і достатньо, щоб іі
похідна була строго монотонно зростаючою.
Нехай тепер функція має обмежену другу похідну на проміжку [a, b] . Застосуємо до
першої похідної твердження 3.1.1 і наслідок 2 з теореми Лагранжа. Це миттєво
приводить до наступного результату:
Теорема 4.1.4. Для опуклості двічі диференційовної функції униз (угору) необхідно
і достатньо, щоб її друга похідна на проміжку була невід’ємною (недодатною).
Якщо ж f x0 0 f x0 0 , то цього достатньо для того, щоб функція була
Маємо: f ( x) a(a 1) x a2 . Тоді при a (,0) (0, ) друга похідна строго
додатна, з чого випливає, що функція строго опукла униз. При a (0,1) друга
похідна строго від’ємна, тому функція строго опукла вгору. При a 0 a 1 функція
лінійна, і як вже відзначалось, вона опукла водночас і вгору, і униз.
2). f ( x) a x , a (0,1) (1, ).
опукла угору.
5). Радимо читачу дослідити функцію f ( x) cos x самостійно.
дослідимо різницю
f ( x) y f ( x) f x0 f x0 x x0 f f x0 x x0 .
f f x
0 співпадає із знаком різниці x x0 , звідки випливає невід’ємність
правої частини рівності, а значить, і правої. Тому при кожному x ордината точки
графіку не менша ніж ордината точки дотичної: f ( x) y. І це й означає, що графік
функції лежить не нижче дотичної.
Якщо функція строго опукла униз, її похідна строго монотонно зростає і тому
f ( x) y f f x0 x x0 0. Звідси f ( x) y x x0 і графік функції лежить
f ( x) y f ( x) f x0 f x0 x x0 0 f ( x) f x0 f x0 x x0 .
f x1 f x0 f x2 f x0 f x1 f x0 f x2 f x0
f x0 , f x0 .
x1 x0 x2 x0 x1 x0 x2 x0
Остання нерівність, як відомо, еквівалентна нерівності Ієнсена, що й доводить
опуклість функції униз. Якщо ж графік лежить строго вище січної в кожній точці
крім точки дотику, прийдемо до строгої нерівності Ієнсена, з якого випливає строга
опуклість.
Зауваження. Читач може сформулювати і довести теорему про розташування
графіку опуклої угору функції по відношенню до довільної дотичної.
Приклад 4.1.4. e x e x0 x x0 1 , x x0 . В частинному випадку x0 0 справедлива
нерівність
e x x 1, x 0. (4.1.16)
перегину графіку.
З означення випливає, що при x x0 і x x0 графік функції лежить по різні сторони
від дотичної в точці M 0 .
Для визначеності нехай при x x0 функція опукла униз, і значить, її перша похідна
не спадає. Нехай при x x0 функція опукла вгору, значить, її перша похідна не
зростає. Отже, x x0 - точка максимуму похідної функції і в разі існування другої
x 1
2
x 0 2
x 0 x
x
Зважаючи на те, що f (0) 0 , робимо висновок, що графік функції дотикається осі
в як завгодно малому околі нуля безліч разів змінює знак і тому не є монотонною в
такому околі, тому і не є опуклою ні в лівосторонньому околі нуля, ні в
правосторонньому. Отже, O(0,0) не є точкою перегину графіку функції.
Теорема 4.1.7. Нерівність Ієнсена. Нехай f - опукла униз на [a, b] функція,
x1,..., xn [a, b], 1,...,n [0,1],1 ... n 1. Тоді справедлива нерівність
1
Приклад 4.1.7. f ( x) ln x f ( x) 0. Застосовуючи до цієї опуклої угору
x2
функції нерівність (4.1.9), одержимо:
ln 1 x1 ... n xn 1 ln x1 ... n ln xn ln x11 ...xnn .
З цієї нерівності можна одержати:
1 x1 ... n xn x1 ...xn .
1 n
1
Якщо взяти 1 ... n , одержимо нерівність Коші:
n
x1 ... xn n
x1...xn .
n
1
Приклад 4.1.8. f ( x) x ln x f ( x) 0.
x
До цієї опуклої униз функції застосуємо нерівність (4.1.18):
1 1
ln 1x1 ... n xn ln x1 ...xn
1x1
n xn x ... x
1 1 n n
1x1
1x1 ... n xn x1 ...xn
n xn x ... x
1 1 n n .
1
11 1
Поклавши в цій нерівності k ... , k 1,..., n, одержимо:
xk x1 xn
1 1 1
...
1 1
1 1 1 1 n x1 xn
n
x ... x
... ...
1 1
x xn
n 1
x xn n x1...xn .
1 1
...
x1 xn
n x1 ... xn
n x1...xn .
1 1 n
...
x1 xn
5. Дослідження функцій
5.1. Розкриття невизначеностей
Зараз розглянемо методи розкриття невизначеностей за допомогою
диференціального числення. Основні результати належать Лопіталю і Бернуллі.
Вони традиційно називаються правилами Лопіталя.
0
Розкриття невизначеностей вигляду
0
Теорема 5.1.1. Нехай функції f і g визначені в околі точки a: B (a) . Нехай
f ( x) f (a) (5.1.1)
lim .
x a g ( x) g (a)
f ( x) f (a )
f ( x) f ( x) f (a ) xa f (a)
Доведення. lim lim lim .
x a g ( x ) x a g ( x ) g ( a ) x a g ( x ) g ( a ) g (a)
xa
Теорема 5.1.2. Нехай функції f і g визначені в околі точки a: B (a) . Нехай
f ( x) f ( n ) (a )
f (k )
(a) g (a) 0, k 1,...n 1, f
(k ) (n)
(a), g (a) 0. Тоді lim
( n)
(n) .
x a g ( x ) g (a)
f ( x) f ( n ) (a )
lim (n) . (5.1.2)
x a g ( x ) g (a)
f ( x)
f ( n ) (a)
n!
x a
n
o x a
n
, g
( x )
g ( n ) (a)
n!
n
x a o x a .
n
o x a
n
Тоді lim
f ( x)
lim
f (a) x a o x a
(n) n
lim
n
f ( n ) (a)
x a f ( n ) (a) .
n
x a g ( x ) x a
g (a) x a o x a
(n) n n x a
g ( n ) (a)
o x a g (a)
n (n)
x a
n
f ( x) f ( x)
lim K Тоді і lim K.
x a g ( x) x a g ( x )
f ( x)
lim K .
x g ( x )
Тоді
f ( x)
lim K.
x g ( x )
1 1 1
Доведення. Введемо заміну x t : 0 x : c . Тоді
t x c
1 1
lim f lim g 0. Помітимо, що
t 0
t t 0 t
1 1 1
ft f x 2
1 1 1 1 1 1 t f x x
gt g x 2
t t
ft f x 2 , .
t t t t t t g 1 g 1 1 g x x
t x 2
t t t
1
ft
f ( x)
Оскільки lim lim
t
K , то згідно з теоремою 5.1.4
t 0 1 x g ( x)
gt
t
1 1
f ft
f ( x)
lim lim lim
f ( x) t t
lim K.
x g ( x ) t 0 1 t 0 1 x g ( x)
g gt
t t
5.2. Розкриття невизначеностей вигляду
Теорема 5.2.1. Нехай функції f і g визначені в околі точки a: B (a) . Нехай
lim f ( x) lim g ( x) , f ( x), g ( x), g ( x) 0,
xa xa
f ( x)
lim K.
x a g ( x)
Тоді
f ( x)
lim K.
x a g ( x)
Доведення. Нехай | K | . Будемо розглядати правосторонню границю в точці
a : x a 0. З умови g( x) 0 з теореми Дарбу випливає строга монотонність
функції g , причому, оскільки x спадає, а g зростає до нескінченності, g( x) 0.
f ( x)
Можна вважати, що g ( x) 0 . Нехай 0 0 x (a, a ) K .
g ( x) 2
f x f x0 f ( )
,
g x g x0 g ( )
f x f x0 f ( )
де x, x0 . Тоді K K .
g x g x0 g ( ) 2
f ( x) f x0 Kg x0 g x0 f ( x) f ( x0 )
K 1 K .
g ( x) g x g x g ( x) g ( x0 )
Звідси
f ( x) f x0 Kg x0 f ( x) f ( x0 )
K K .
g ( x) g x g ( x) g ( x0 )
Другий доданок, як вже відзначалось, при x a буде менше . Оскільки при
2
x a 0 g ( x) перший доданок може бути зроблений як завгодно малим в
досить малому правому околі a : a x a . Можна вважати, що 0 . В
f ( x)
результаті K , що й треба було довести.
g ( x)
f ( x) g ( x)
Розглянемо тепер випадок lim K . Тоді lim 0. Звідси за
x a g ( x) x a f ( x)
g ( x) f ( x)
доведеним lim 0 lim .
x a f ( x) x a g ( x )
Інші невизначенності
a). 0 .
f ( x) g ( x)
Нехай lim f ( x) 0, lim g ( x) . Тоді f ( x) g ( x) .
x a xa 1 1
g ( x) f ( x)
0
Другий вираз приводить до невизначенності , третій - до .
0
b). .
Нехай lim f ( x) , lim g ( x) . Тоді
x a x a
1 1
1 1 g ( x) f ( x) 0
f ( x) g ( x) .
1 1 1 1 0
f ( x) g ( x) f ( x)
g ( x)
c). 1 ,00 , 0 .
f ( x)
lim k,
x x
(5.2.1)
lim f ( x) kx b.
x
вертикальною асимптотою.
До цієї вертикальної прямої як завгодно близько підходить графік при
x a, y .
x a - вертикальна асимптота.
За формулами (5.2.1) знаходимо параметри похилих або горизонтальних асимптот,
якщо вони існують. Треба відзначити, асимптоти можуть бути різні при x і
x .
3). Знаходження областей знакосталості і нулів функції.
4). Знаходження областей монотонності функції та дослідження на екстремум.
5). Дослідження на опуклість та знаходження точок перегину.
6). Для періодичних функцій знаходження періоду.
7). Для більш точної побудови графіку треба знайти односторонні похідні у
скінченних особливих точках для визначення, під яким кутом графік входить у такі
точки.
0 N n N xn , x . (I.1.1)
0 N n N , p xn , xn p . (I.1.2)
Означення I.1.4. Метричний простір називається повним, якщо довільна
фундаментальна послідовність його елементів має границю, яка є елементом цього
простору.
( x, y )
Приклад I.1.3. ( X , ) - метричний простір. Довести, що ( x, y ) - також
1 ( x, y )
метрика на X .
Введемо позначення: ( x, y ) a, ( y, x) b, ( x, z ) c c a b. Розглянемо
x 1
функцію f ( x) 1 , x 0. Очевидно, функція зростає на [0, ). Звідси
1 x 1 x
( x, z ) c ab a b
( x, z ) f (c ) f ( a b )
1 ( x, z ) 1 c 1 a b 1 a b 1 a b
a b ( x, y ) ( y, z )
( x, y ) ( y, z ),
1 a 1 b 1 ( x, y ) 1 ( y , z )
що й треба було довести.
Приклад I.1.4. ( X , ) - метричний простір. Нехай f - функція, D( f ) [0, ) , яка
має властивості:
1). f (0) 0,
2). f строго монотонно зростає на області визначення,
3). f має властивість напівадитивності: x, y [0, ) f ( x y ) f ( x) f ( y ).
m 1 m m m
x y x y x , y , (0,1).
m 1 m 1m2 m 1 m 1 m 1
Tx x. (I.2.2)
x1 Tx0 , x2 Tx1 T 2 x0 ,..., xn1 Txn T n1x0 ,...
0 ( x, x) 0 x x.
Доведемо єдність нерухомої точки. Нехай Tx x,Tx x. Тоді
0 ( x, x) (Tx,Tx) ( x, x) 0 (1 ) ( x, x) 0 0 ( x, x) 0
( x, x) 0 x x.
Зауваження. Послідовність (I.2.3) називається ітераційною, а методика знаходження
розв’язку рівняння (I.2.1) – методом послідовних наближень.
1 a
оператор, що діє за формулою Txn1 xn xn1 .
2 xn1
Доведемо, що він метричний простір X a , переводить в себе. Дійсно,
1 a a
Txn1 xn1 xn1 a.
2 xn1 xn1
Доведемо, що цей оператор стискаючий. Маємо:
1 a 1 a 1 1 1 1 a
(Tx, Ty ) x , y x y a 1 x y.
2 x 2 y 2 x y 2 xy
a a 1 a 1
Оскільки xy a 1, 0 1 1 0 1 , то
xy xy 2 xy 2
1 1
(Tx, Ty ) x y ( x, y ). За теоремою Банаха послідовність збігається до
2 2
нерухомої точки оператора T . Отже, границя є розв’язком рівняння
1 a
x x x 2 a x a . Від’ємний корінь рівняння, a , не піходить, тому
2 x
що додатна послідовність не може мати від’ємної границі.
Відповідь: lim xn a . Висновок: за допомогою розглянутої послідовності можна
n
1
Tx c . Очевидно, Tx c , тому оператор переводить метричний простір в себе.
x
Помітимо, що
1 1 1
T 2x T c c , T 2c c .
x c
1
c
1
x c
Легко бачити, що кожен член послідовності, даної в умові задачі, є результат дії
певної степені оператора T на c. Доведемо, що цей оператор стискаючий.
1 1 1 1
Tx Ty c c x y 2 x y.
x y xy c
1
З умови задачі 1. З теореми Банаха випливає, що дана ітераційна послідовність
c2
має границю, і ця границя є нерухомою точкою оператора T:
1
x c , x 2 cx 1 0, c c2 4
x x .
x c; x c; 2
2
a
Приклад I.2.4. Нехай a 0, b . Знайти границю послідовності, заданої
2
рекурентно: xn axn1 b .
Розглянемо метричний простір X b , , ( x, y ) x y .
a a 2 4b
x ax b x ax b 0 x
2
b . Зауважимо, що корінь рівняння
2
a a 2 4b
, оскільки він від’ємний, не може бути границею додатної
2
послідовності.
a
Приклад I.2.5. Нехай 0 a 1, x1 . Знайти границю послідовності, заданої
2
a xn2
рекурентно: xn1 .
2 2
a x2
Розглянемо оператор Tx . Легко бачити, що
2 2
a 1 a 1
T : 0, 0, [0,1]. (відображення не сюр’єктивне). Доведемо, що
2 2
оператор стискаючий:
a x2 a y 2 x y a 1
Tx Ty x y x y.
2 2 2 2 2 2
Оператор стискаючий, тому границя послідовності – це його нерухома точка:
a x2
x x 2 2 x a 0 x 1 1 a . Підходить корінь x 1 1 a . Дійсно,
2 2
a 1 1 1 a a 1
1 1 a
2 2
1 a 2 1 a
2
1 a 2 0 1 1 a
2
.
3
оператор, який діє на X ,1 .
4
Tx Ty x 2 2 x y 2 2 y ( x y ) 2 x y . Оцінимо ( x y ) 2 :
3 1 3
0 ( x y ) 2 2 . Отже на 4 ,1 оператор T стискаючий:
2 2
1
Tx Ty x y . Оператор стискаючий, тому границя послідовності – це його
2
3
нерухома точка: x(2 x) x x( x 1) 0 x 1 x ,1 .
4
I.3. Застосування до розв’язання систем лінійних рівнянь методом послідовних
наближень
1). x 0 x 0,
2). ( ) x x ,
( x, y) x y . (I.3.1)
x x1 ,..., xn .
T
x n
x 1 x1,..., xn (I.3.2)
T
x1 ... x1 .
1
1
x 2 x1 ,..., xn
T
x1 ... x1 x1 ... x1 .
2 2 2 2 2
2
(I.3.4)
n (I.3.5)
x1 y1 ... xn yn x1 ... x1 y1 ... y1 .
2 2 2 2
k 1
A max Ax . (I.3.7)
x 1
Читач легко перевірить, що при цьому дійсно виконуються аксіоми норми. Треба
зауважити, що у випадку E n
,G m
норма матриці суттєво залежить від норм
лінійних нормованих просторів, в яких вона діє. Ми вже знайомі з різними
способами визначення норми на одному й тому ж лінійному просторі, і цими
прикладами не вичерпуються всі можливі випадки.
1
Зауважимо, що y E , y 0 вектор x y - одиничний, отже, означення норми
y
(I.3.6) можна записати ще у вигляді
Ay (I.3.8)
A max .
yE y
Ay A y . (I.3.9)
Нехай A L n
, n
і в n
вибрано норму (1.3.6). Знайдемо A . Будемо
Звідси випливає:
Ax
max ak1 ... akn A max ak 1 ... akn .
x 1 k n 1 k n
Доведемо, що
max ak1 ... akn A Ay max ak1 ... akn A max ak1 ... akn .
1k n 1k n 1k n
Візьмемо деякий рядок матриці, не всі члени якого дорівнюють нулю. Зрозуміло, що
він існує, інакше матриця була б нульовою. Нехай цей рядок має номер k .
akj
Покладемо y j , akj 0; y j 1, akj 0. Тоді k та координата вектора Ay має
akj
вигляд:
Ax b (I.3.11)
З матрицею розмірності n n.
В координатному вигляді вона має вигляд
a11 x1 a12 x2 ... a1n xn b1 ,
a x a x ... a x b ,
21 1 22 2 2n n 2
(I.3.12)
...
an1 x1 an 2 x2 ... ann xn bn .
1 b1
x
1 a12 2x ... a x
1n n ,
a11 a11
1 b
x2 a21x1 a23 x3 ... a2 n xn 2 ,
a22 a22 (I.3.13)
...
xn
1
a n1 x1 a n , n 1 x n 1
bn
.
a nn a nn
x Bx c. (I.3.14)
Отже, система (I.3.14) буде мати єдиний розв’язок при умові max bk1 ... bkn 1 .
1k n
Сформулюємо результат.
Теорема I.3.1. Нехай діагональні елементи матриці A L n
, n
не дорівнюють
нулю. Тоді система лінійних рівнянь (I.3.12) має, і при тому, єдиний розв’язок, якщо
виконуються умови (I.3.15).
3. Дубовик В. П. Вища математика: навч. посіб. для студ. вищ. навч. зак. / В.П
Дубовик., I. I. Юрик. - 4-те вид. - К. : Ігнатекс-Україна., 2013. - 648 с.
4. Вища математика. Збірник задач : навч. посіб. / В. П. Дубовик, І. І. Юрик, І.
П. Вовкодав, В. І. Дев'ятко, Р. К. Клименко, В. В. Крочук, М. А.
Мартиненко ; за ред. В. П. Дубовика, І. І. Юрика. – К. : А.С.К., 2011. – 480
с.
ДОДАТКОВА