δy = |
|
|
εy |
|
|
< |
|
f ′(x0 ) |
|
εx = |
|
(ln f (x0 ))′ |
|
εx . |
(6.21) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x0 ) |
|
|
f (x0 ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 6.10. Найти приближенное значение приращения функции |
|
y = x3 − 4x2 + 4x + 3 при x0 |
=1, ∆x = 0,03 . |
|
|
|
|
|
|
|
Решение. По формуле (6.18) ∆y ≈ dy = (x3 − 4x2 + 4x + 3)′∆x = (3x2 −8x + 4)∆x .
dy ∆x0x==10,03 = (3 1 −8 1 + 4) 0,03 = −0,03 .
Следовательно, приращение функции ∆y ≈ −0,03.
Найдем погрешность, которую допустили, заменив приращение функции в точке ее дифференциалом.
∆y = (x + ∆x)3 − 4(x + ∆x)2 + 4(x + ∆x) + 3 − (x3 − 4x2 + 4x + 3) = x3 + 3x2∆x +
+3x(∆x)2 + (∆x)3 − 4x2 −8x∆x − 4(∆x)2 + 4x + 4∆x + 3 − x3 + 4x2 − 4x − 3 =
=∆x(3x2 + 3x∆x − 4∆x + (∆x)2 −8x + 4).
∆y x=1 = 0,03 (3 1 + 3 1 0,03 − 4 0,03 + 0,032 −8 1 + 4) = −0,030873.
∆x=0,03
Абсолютная погрешность приближения
∆y − dy = − 0,030873 − (−0,03) = 0,000873 .
Относительная погрешность приближения
|
|
|
|
|
|
|
|
∆y − dy |
|
= |
0,000873 |
= 0,0291 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0,03 |
|
|
|
|
|
|
|
|
|
dy |
|
|
|
|
Пример 6.11. Найти приближенное значение 5 31 . |
|
Решение. |
Будем |
рассматривать 5 31 |
как частное значение |
функции y = 5 x при |
x = 31. |
|
Положим |
|
|
x0 |
= 32 , |
|
|
тогда |
∆x = −1, |
f (x0 ) = 5 32 = 2 , |
|
1 |
4 |
|
|
1 |
|
1 . Тогда по формуле (6.19), получим: |
f ′(x0 ) = |
x− |
|
= |
|
= |
5 |
55 |
|
5 |
|
|
x=32 |
324 |
|
80 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 31 ≈ f (x0 ) + f ′(x0 )∆x = 2 + 801 (−1) = 15980 =1,9875.
Если принять εx =1, то абсолютная погрешность вычисления значения функции
ε y < f ′(x0 ) εx = 801 = 0,0125.
Относительная погрешность вычисления
δy |
= |
|
ε y |
< |
0,0125 |
= 0,00625. |
|
f (x0 ) |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§ 13. Дифференциалы высших порядков
Дифференциал dy функции y = f (x) есть функция двух переменных:
независимой переменной x и ее дифференциала dx , причем dx не зависит от x , т.к. при данном значении x значения dx могут выбираться произвольно. Считая
dx постоянным, dy = |
′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x)dx можно рассматривать как функцию переменной x . |
Дифференциалом второго порядка (или вторым |
дифференциалом) функции |
y = f (x) называется |
дифференциал |
от дифференциала первого порядка этой |
функции и обозначается d 2 y или d 2 f (x) . Таким образом |
|
|
|
|
|
|
|
|
|
|
d 2 y = d(dy) = d(df (x)) . |
|
|
|
|
|
|
Так как |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
′ |
|
|
|
|
′ |
′ |
|
|
|
′′ |
|
2 |
= |
|
′′ |
2 |
, то |
d(df (x))= d(f (x)dx) |
= (f (x)dx) dx |
|
= f (x)(dx) |
|
|
f (x)dx |
|
|
|
|
|
d |
2 |
y = |
′′ |
2 |
. |
|
|
|
|
|
|
(6.22) |
|
|
|
|
|
|
f (x)dx |
|
|
|
|
|
|
|
|
Аналогично, дифференциал третьего порядка функции |
y = f (x) |
|
|
|
d |
3 |
y |
= d(d |
2 |
y) = |
′′ |
|
2 |
′ |
′′′ |
|
|
3 |
. |
|
|
|
|
|
(f (x)dx |
|
|
)dx = f (x)dx |
|
|
|
Дифференциалом |
n |
|
- го порядка (или n - м дифференциалом) функции |
y = f (x) называется дифференциал от дифференциала (n - 1) - го порядка: d (n) y = d (d (n−1) y)= d (d (n−1)f (x)).
Можно установить для дифференциала n - го порядка справедливость формулы d (n) y = f (n) (x)dxn .
Отсюда следует, что
f (n) (x) = d (n) y , dxn
т.е. производная n - го порядка равна отношению дифференциала n - го порядка к n -ой степени дифференциала независимой переменной. В частности, при n = 1,2,3, получим:
|
|
|
′ |
|
|
dy |
|
′′ |
|
|
d 2 y |
|
|
′′′ |
|
d 3 y |
|
|
|
|
|
|
= dx , |
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) |
f (x) = dx2 |
, f (x) = dx3 . |
|
Отметим, что все приведенные выше формулы верны только для случая, |
когда x является независимой переменной. |
|
|
|
|
|
|
|
В самом деле, предположим, что |
x есть некоторая функция параметра t , |
т.е., x = x(t) , t T . |
Тогда |
|
f |
является сложной функцией f (x(t)) и ее первый |
дифференциал, как известно, обладает инвариантностью формы и имеет вид |
|
|
|
|
|
|
dy = df (x(t)) = fx′dx |
|
|
|
|
Найдем второй дифференциал |
|
|
|
|
|
|
|
|
|
|
|
|
d |
2 |
y |
′ |
|
|
|
′ |
)dx |
|
′ |
|
|
′′ |
2 |
′ 2 |
x , т.е. |
|
= d( fx dx) = d( fx |
+ fx d(dx) |
= fx dx |
+ fx d |
|
|
|
d |
2 |
|
′′ |
|
|
2 |
|
′ |
|
2 |
x . |
|
|
|
(6.23) |
|
|
|
|
y = f x (x)dx |
|
+ f x (x)d |
|
|
|
|
Сравнивая формулы (6.22) и (6.23) убеждаемся, что в случае сложной функции в формуле дифференциала 2-го порядка появляется второе слагаемое fx′(x)d 2 x .
Покажем, что формула (6.22) является частным случаем формулы (6.23), когда x - независимая переменная. Ясно, что если x - независимая переменная, то
d 2 x = x′′dx2 = 0 dx2 = 0
и формула (6.23) переходит в (6.22).
Итак, если x перестает быть независимой переменной, то дифференциалы второго и выше порядков не обладают свойством инвариантности формы и вычисляются по другим формулам.
Пример 6.12. Найти дифференциал 2-го порядка функции y = a sin(bx + c) ,
где x - независимая переменная.
Решение. dy = f ′(x)dx = abcos(bx + c)dx .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d |
2 |
′′ |
|
2 |
= −ab |
2 |
sin(bx + c)dx |
2 |
= −b |
2 |
ydx |
2 |
. |
|
y = f (x)dx |
|
|
|
|
|
Пример 6.13. Найти d 2 y , если y = x3 |
и x = t 4 +1. |
|
|
|
|
|
|
Решение. Так как |
y′ = 3x2 , |
y′′ = 6x , |
|
dx = 4t3dt , d 2 x =12t 2 dt 2 , то по формуле |
(6.23) получаем
d 2 y = 6xdx2 + 3x2 12t 2dt 2 = 6(t 4 +1)(4t3dt)2 + 36t 2 (t 4 +1)2 dt 2 = =12t 2 (t 4 +1)(8t 4 + 3t 4 + 3)dt 2 =12t 2 (t 4 +1)(11t 4 + 3)dt 2 .
Эту задачу можно решить другим способом: y = x3 и x = t 4 +1 то y = (t 4 +1)2 . Тогда
по формуле (6.22) d |
2 |
′′ |
2 |
, |
|
y = y dt |
|
y′ = 3(t 4 +1)2 4t3 =12t3 (t 4 +1)2
y′′ = 36t2 (t4 +1)2 + 24t3 (t4 +1) 4t3 =12t2 (t4 +1)(3t4 + 3 +8t4 )= =12t2 (t4 +1)(11t4 + 3);
d 2 y =12t2 (t4 +1)(11t4 + 3)dt2 .
§ 14. Теоремы о среднем значении
Под таким общим названием собраны несколько теорем о дифференцируемых функциях, которые применяют для оценки значений функций, производных и пределов.
TТеорема 6.2. TТеорема Ферма. Пусть функция y = f (x) определена при
x (a,b) и в некоторой внутренней точке этого интервала x = c (a,b) достигает
своего наибольшего (наименьшего) значения, т.е. f (c) > f (x) или f (c) < f (x) .
Доказательство. |
Для |
определённости |
допустим, |
что |
f (c) = M ≥ f (x) x (a,b) ∆y ≤ 0 |
|
|
|
∆y |
|
|
= |
f (c + ∆x) − f (c) |
≥ 0 , |
|
при ∆x < 0 , при ∆x > 0 , |
∆y |
|
|
≤ 0 . |
|
|
|
∆x |
|
x=c |
∆x |
∆y |
|
|
|
∆x |
|
x=c |
|
|
|
|
′ |
′ |
|
|
|
|
|
|
|
|
По условию lim |
|
|
|
|
|
|
|
|
|
|
|
∆x |
|
|
= f |
(c) f (c) = 0 . |
|
|
|
|
|
|
|
|
∆x→±0 |
|
x=c |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Геометрический смысл теоремы Ферма иллюстрирует график
y
A
Рис. 6.9
TЗамечание 6.1.T Теорема существования наибольшего и
y
A
x
Рис. 6.10
В точках А и В, с абсциссами c1 и c2
соответственно, |
выполнены |
условия |
теоремы: f (c1) = m , |
f (c2 ) = M |
и в них |
невертикальные |
|
касательные, |
следовательно, в этих точках, учитывая геометрический смысл производной, касательные горизонтальны.
Ферма даёт только необходимое условие наименьшего значений, но не достаточное: например, на графике очевидно, хотя в точке А f ′(c) = 0 /горизонтальная касательная, в ней нет ни M, ни m.
y
TЗамечание |
6.2.T |
|
|
|
Требование |
конечности |
|
|
|
′ |
|
|
|
x |
|
0 |
c |
f (c) существенно: |
|
|
|
на данном графике |
f (c) = M , но |
|
Рис. 6.11 |
|
|
|
f ′(c) ≠ 0 , она бесконечна.
TТеорема 6.3.T Теорема Ролля. (О корнях производной). Если функция y = f (x) определена и непрерывна на отрезке и дифференцируема при
x (a,b) , а на концах отрезка принимает равные значения f (a) = f (b) , то внутри отрезка существует хотя бы одна точка x =ξ , такая, что f ′(ξ) = 0.
Доказательство теоремы Ролля аналогично доказательству теоремы Ферма, т.к. функция, непрерывная на отрезке, имеет на этом отрезке своё наименьшее и
своё наибольшее значения. |
|
|
|
|
|
|
Геометрический смысл теоремы Ролля иллюстрирует график |
|
|
|
y |
|
|
|
очевидно, |
|
|
функция |
|
|
|
|
удовлетворяет всем условиям |
|
|
|
|
теоремы |
поэтому |
|
между |
|
|
|
|
точками |
x = a |
|
и |
x = b |
|
|
|
x |
существует |
даже несколько |
|
|
|
точек с |
горизонтальными |
0 а ξB1 |
|
ξB3 |
b |
ξB2 |
касательными |
к |
|
кривой |
|
|
Рис. 6. 12 |
|
|
|
|
|
|
|
|
|
|
y = f (x) .
TЗамечание 6.3.T Все условия теоремы Роля существенны, что легко обнаружить на графиках:
y
f (a)≠ f (b)
x
в точке x = c разрыв f (x)
y
Рис. 6.13
- при нарушении одного из условий теоремы Роля ни в одной внутренней точке отрезка нет горизонтальной касательной.
TТеорема 6.4. TТ. Лагранжа (о конечных приращениях). Если функция y = f (x) определена и непрерывна на отрезке [a,b] и дифференцируема
при x (a,b) , то существует хотя бы одна внутренняя точка ξ отрезка, такая, что f (b) − f (a) = f ′(ξ)(b − a) , где ξ = a +θ(b − a) , 0 <θ <1.
Доказательство теоремы Лагранжа основано на рассмотрении вспомогательной функции, удовлетворяющей условиям теоремы Роля – его не будем приводить, т.к. используем аналогичное доказательство теоремы Коши, представляющей собой обобщение теоремы Лагранжа.
F′(ξ) = 0 , что
263
Геометрический смысл теоремы Лагранжа очевиден, если формулу Лагранжа
|
|
f (b) − f (a) |
′ |
|
|
переписать в форме |
|
= f (ξ) |
и учесть условия теоремы и |
|
b − a |
|
|
|
|
геометрический смысл производной: непрерывная кривая, имеющая непрерывно вращающуюся касательную на отрезке [a,b], имеет хотя бы одну точку внутри
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
отрезка, |
в |
которой |
касательная |
y |
|
|
|
|
параллельна хорде, например: |
|
|
|
|
|
|
В |
TЗамечание |
6.4. |
TОбозначим |
a = x , |
|
|
|
|
|
b = x + ∆x , |
тогда |
ξ = x +θ∆x , |
и формула |
|
|
|
|
|
Лагранжа |
примет |
вид: |
|
′ |
- |
|
А |
|
|
|
∆y = f (ξ)∆x |
|
|
|
|
отсюда ясно другое название теоремы: |
|
|
|
|
x |
0 |
a |
ξ |
ξ |
b |
теорема о конечных приращениях, т.к. ∆x |
|
|
|
Рис. 6.14 |
|
и |
∆y |
конечны. Эта формула |
точная, |
в |
отличие от приближённой: |
′ |
|
где |
∆x и ∆y бесконечно малы. |
|
∆y ≈ f (x)∆x , |
|
|
TТеорема |
6.5.T Теорема Коши |
(обобщение теоремы Лагранжа). Если |
функция |
f (x) и g(x) определены и непрерывны на отрезке, дифференцируемы |
при x (a,b) , причём g '(x) ≠ 0 , то внутри отрезка существует хотя бы одна точка
x =ξ , такая, что |
f (b) − f (a) |
= |
f ′(ξ) |
. |
g(b) − g(a) |
′ |
|
|
g (ξ) |
Доказательство. Рассмотрим вспомогательную функцию и её производную:
|
F (x) = f (x) − f (a) − |
f (b) − f (a) |
(g(x) − g(a)) ; |
|
g(b) − g(a) |
|
|
|
′ |
′ |
f (b) − f (a) |
′ |
F (x) = f (x) − |
|
g (x) . |
g(b) − g(a) |
Функция F(x) удовлетворяет условиям теоремы Роля: как линейная комбинация функций f (x) и g(x) , она определена, непрерывна на [a,b] и дифференцируема на (a,b), а на концах отрезка принимает равные значения:
F(a) = F(b) = 0 - следовательно, существует точка x =ξ (a,b) , в которой даёт формулу Коши.
T |
|
T |
При g(x) = x , |
′ |
|
|
|
|
g(b) − g(a) = b − a , |
и из формулы |
Замечание 6.5. |
|
g (x) =1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
′ |
|
|
|
|
|
|
|
|
|
|
|
Коши следует формула Лагранжа: f (b) − f (a) = f (ξ)(b − a) . |
|
|
|
|
Пример 6.14. Для функций |
f (x) = 2x3 + 5x +1, |
g(x) = x2 + 4 проверить выполнение |
условий теоремы |
Коши |
|
на отрезке |
[0,2], найти |
значение |
ξ. |
|
Функции |
f (x) |
|
и |
g(x) |
непрерывны и дифференцируемы при |
|
′ |
′ |
|
= |
6x |
2 |
+ 5 |
|
|
|
′ |
′ |
|
|
|
x R : f (x) |
|
, g (x) = 2x и g (x) ≠ 0 при |
x (0,2) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (2) − f (0) |
|
|
|
′ |
|
|
|
|
|
|
6ξ |
2 |
+ 5 |
|
|
|
|
|
|
|
|
|
|
|
|
= |
f (ξ) |
|
|
27 −1 = |
|
|
|
6ξ2 −13ξ + 5 = 0 ; |
|
|
|
|
g(2) − g(0) |
′ |
|
2ξ |
|
|
|
|
|
|
|
|
|
g (ξ) |
|
|
|
8 − 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ |
= 13 ± |
|
169 −120 |
= 13 ± 7 , |
|
ξ = 1 , |
|
|
ξ |
2 |
= 5 (0,2) . |
|
|
|
1,2 |
|
|
|
12 |
|
|
|
|
|
2 |
|
|
1 |
|
2 |
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Правило Лопиталя для раскрытия “неопределённостей” |
(следствие т. Коши) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
∞ |
|
0 |
|
∞ |
Под “неопределённостями” понимают пределы вида |
0 , ∞ , ∞ ∞, 0 |
∞, ∞ |
|
, |
1 . |
Пусть функции |
f (x) |
|
и g(x) |
определены, непрерывны и дифференцируемы в |
некоторой окрестности точки |
|
|
|
|
|
|
|
|
′ |
|
≠ 0 , |
|
lim f (x) = lim g(x) = 0 . |
x = a . При этом g (x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→a |
x→a |
|
|
|
Тогда, если существует lim |
|
f ′(x) |
|
, то |
lim |
f (x) |
= lim |
f ′(x) |
. |
|
|
|
|
|
′ |
|
|
|
|
|
|
|
|
|
|
|
|
x→a |
|
|
x→a |
g(x) |
x→a |
′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
g |
(x) |
|
|
|
|
|
g |
(x) |
|
|
|
|
Доказательство. |
|
Доопределим |
функции |
f (x) |
и |
|
g(x) |
|
в точке x = a : |
положим |
f (a) = g(a) = 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Очевидно, функции f (x) |
и g(x) удовлетворяют условиям т. Коши на [a, x]: они определены |
и непрерывны на [a, x], дифференцируемы на (a, x) , где |
|
x – из окрестности точки |
x = a , |
следовательно, по теореме Коши: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) − f (a) |
|
f |
′ |
|
= |
(ξ) |
|
|
|
′ |
g(x) − g(a) |
|
g (ξ) |
|
Переходим к пределу при x → a /очевидно, при этом
|
lim |
f (x) |
= lim |
f ′(ξ) |
= lim |
f ′(x) |
, если существует |
|
g(x) |
g (ξ) |
g (x) |
|
x→a |
ξ→a |
x→a |
|
|
|
′ |
′ |
|
f (x) = f ′(ξ) . g(x) g′(ξ)
ξ → a /:
lim f ′(x) .
x→a g′(x)
TЗамечание 6.6.T Возможно, предел отношения производных не существует, а
предел отношения функций существует.
|
x |
2 |
1 |
|
0 |
|
|
Пример 6.15. lim |
|
sin x |
; |
|
|
|
|
|
|
|
sin x |
0 |
x→0 |
|
|
|
x2 sin |
′ |
1 |
Решение. lim |
|
x |
x→0 |
(sin x)′ |
|
2xsin |
1 |
+ x2 cos |
1 − |
1 |
|
|
1 |
|
|
x |
2 |
|
|
|
= lim |
|
|
x |
x |
|
= lim |
−cos |
|
- предел не |
|
|
cos x |
|
|
|
x |
x→0 |
|
|
|
|
x→0 |
|
|
|
существует: |
cos |
1 |
может принимать любые значения от – 1 до + 1. Значит правило |
|
|
x |
|
Лопиталя неприменимо. Раскроем неопределённость без него:
|
x |
2 |
1 |
|
x |
2 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
sin x |
= lim |
|
sin x |
= lim xsin |
1 |
= 0 , |
|
т.к. при x → 0 бесконечно малые sin x и х |
|
sin x |
|
|
x |
x |
x→0 |
x→0 |
|
x→0 |
|
|
|
|
|
|
|
|
|
эквивалентны, |
x - бесконечно малая, а |
|
sin |
1 |
|
≤1, т. е. |
|
sin |
1 |
|
- ограниченная. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
x |
|
|
TЗамечание 6.7.T Правило Лопиталя можно применять несколько раз.
TЗамечание 6.8.T Правило Лопиталя применимо и при x → ∞. Аналогично
раскрывают “неопределённости” вида |
∞ . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
Пример 6.16. |
lim |
ln2 x |
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
3 |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→+∞ |
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ln2 x |
∞ |
|
2ln x |
1 |
|
2 |
|
ln x |
∞ |
|
2 |
|
1 |
|
|
Решение. lim |
|
3 |
|
|
|
= lim |
|
|
x |
= |
|
lim |
|
3 |
|
|
= |
|
lim |
x |
|
= 0 . |
x |
|
3x |
2 |
|
|
x |
|
|
2 |
x→+∞ |
|
|
∞ |
x→+∞ |
|
|
|
3 x→+∞ |
|
|
∞ |
|
3 x→+∞ 3x |
|
|
Раскрытие “неопределённостей” вида 0 ∞
Для использования правила Лопиталя предварительно преобразуют произведение
в частное. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 6.17. |
lim(x −1)ctgπ(x −1)(0 ∞) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
x→1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Решение. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim(x −1)ctgπ(x −1)(0 ∞) = lim |
x −1 |
|
0 |
= lim |
|
|
|
1 |
|
|
= |
1 |
. |
|
|
|
|
|
|
|
|
|
|
tgπ(x −1) |
|
|
1 |
|
|
π |
x→1 |
x→1 |
|
0 |
x→1 |
|
π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
π(x −1) |
|
|
|
|
|
|
|
|
cos |
|
|
|
|
|
|