Вища математика
__________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________
58
шемо у вигляді
dхfdy
х
⋅
=
.
Таким чином, припустивши, що у є функція аргументу t, ми діс-
тали той самий вираз для диференціала dy, як і тоді, коли припускали,
що у є функція аргументу х, тобто форма диференціала не залежить від
того, чи є функція х незалежною змінною, чи вона в свою чергу є фун-
кцією якоїсь змінної. Це і є інваріантність диференціала.
Диференціали вищих порядків. Вище введено перший диферен-
ціал:
dх)х(fdy ⋅
=
. Він є функцією х, але від x може залежати тільки
перший множник
)х(f
, другий множник dх є приріст незалежної
змінної х і від значення цієї змінної не залежить. Оскільки dy є функція
від х, то маємо право говорити про диференціал цієї функції.
Диференціал від диференціала функції називають другим дифе-
ренціалом або диференціалом другого порядку і позначають:
22
)dx)(х(fdx)dx)х(f()dx)х(f(d)dy(dyd
′′
=
′′
=
′
==
.
Прийнято, коли записуємо степінь диференціала, дужки не пи-
сати. Тобто, замість (dx)
2
пишемо dx
2
.
Третім диференціалом або диференціалом третього порядку
функції зветься диференціал від її другого диференціала і так далі.
ЛЕКЦІЯ № 11
Основні теореми диференціального числення.
Теорема 1. Про корені похідної або теорема Ролля. Якщо функ-
ція f(x) неперервна на відрізку [а;b], диференційована в усіх внутріш-
ніх точках цього відрізку і f(а) = f(b), то знайдеться хоча б одна точка
х = с, де а < с < b, в якій
0)с(f =
.
Доведення. Оскільки функція f(x) неперервна на [а,b], то вона
має на ньому найбільше значення Μ і найменше значення т.
Якщо
Μ = т, то функція стала. Похідна від сталої величини до-
рівнює нулю і теорема доведена.
Нехай f(c) = Μ, де а < с < b. Через те, що f(с) - найбільше зна-
чення функції, то f(с +
x) – f(с)
0
як при
0х
, так і при
0х
.
Отже:
0х/))с(f)хс(f(
, коли
0х
,
0х/))с(f)хс(f(
, коли
0х
.
Оскільки за умовою теореми f(с) існує, тобто,
)с(fх/))с(f)хс(f(lim
0
х
=−+
→
∆∆
∆
. Але тут
0)с(f ≤
, коли
0х
і