Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Е. А. Ровба - Высшая математика

.pdf
Скачиваний:
124
Добавлен:
21.01.2022
Размер:
1.93 Mб
Скачать

210

Глава 4. Дифференциальное исчисление

 

 

где α(Δx) — БМФ при x → 0. Отсюда находим, что

y = f (x)Δx + α(Δx)Δx,

т.е. функция y = f(x) дифференцируема в точке x.

Таким образом, в формуле (4.15) можно положить A = f (x).

4.2.2.Дифференциал функции и приближенные вычисления

с помощью дифференциала

Пусть функция y = f(x) дифференцируема в точке x. Тогда приращение функции в этой точке может быть записано по формуле (4.15) в виде

y = A x + α(Δx)Δx,

где lim α(Δx) = 0. Второе слагаемое (α(Δx)Δx) является БМФ более

x→0

высокого порядка по сравнению с функцией A x (при условии, что A = 0), так как

lim

α(Δx)Δx

=

lim

α(Δx)

= 0.

A x

A

x→0

 

x→0

 

Вследствие этого первое слагаемое (A x) является главной частью приращения y, причем это слагаемое есть линейная относительно

x функция.

Определение 4.7. Главная линейная относительно x часть приращения функции

y = A x + α(Δx)Δx

в точке x называется дифференциалом функции y = f(x) в этой точке и обозначается следующим образом:

dy = A x.

Если A = 0, то A x не является, вообще говоря, главной частью приращения y. В этом случае по определению полагают dy = 0.

4.2. Дифференцируемость функции

211

 

 

Учитывая теорему 4.5, а именно что A = f (x), можно записать:

dy = f (x)Δx.

(4.16)

Теперь найдем дифференциал функции f(x) = x. Применив формулу (4.16), получим:

dy = (x) x = x,

поэтому дифференциал независимой переменной x определяют следующим образом: полагают dx = x. Тогда формулу (4.16) можно записать в виде

dy = f (x) dx.

(4.17)

Отметим, что именно последнее равенство объясняет обозначение производной dy/dx или df(x)/dx.

Обратимся снова к формуле (4.15). На основании вышеизложен-

ного можно записать, что

y ≈ dy, или

 

f(x +

x) − f(x) ≈ f (x)Δx.

(4.18)

Формулу (4.18) часто используют в приближенных вычислениях.

Пример 4.11. Найти приближенное значение e0,2.

Р е ш е н и е. Воспользуемся формулой (4.18). Очевидно, что в данном случае f(x) = ex. Положим x = 0, x = 0,2.

Будем иметь:

ex+Δx − ex ≈ (ex) x,

или

e0,2 − e0 = e0 · 0,2, e0,2 ≈ 1 + 0,2 = 1,2.

Итак, e0,2 ≈ 1,2. Более того, при малых x и x = 0 мы получим формулу

e x ≈ 1 + x.

В случае применения формулы (4.18) важно правильно выбрать точку x и x.

212

Глава 4. Дифференциальное исчисление

 

 

4.2.3. Геометрический смысл дифференциала

Проведем к графику функции y = f(x) касательную MT в точке M(x, y) (рис. 4.3).

Очевидно, что MN = x, P N = y. Из прямоугольного треугольника MNB находим:

 

tg α =

BN

, BN = tg α ·

x.

 

 

 

 

 

 

MN

 

 

 

 

y

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

y +

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B

T

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

M

α

dy

 

 

 

 

 

 

 

 

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

O

 

 

 

x

x +

x

x

 

 

 

 

 

 

Рис. 4.3

 

 

 

 

Согласно геометрическому смыслу производной tg α = f (x).

Значит, BN = f (x) ·

x.

 

 

 

 

 

 

Теперь сравним последнюю формулу с формулой (4.17). Получим dy = BN.

Геометрический смысл дифференциала функции состоит в том, что дифференциал функции y = f(x) в точке x равен приращению ординаты касательной к графику функции в этой точке, когда x получит приращение x.

4.2.4.Основные теоремы о дифференцируемых функциях

Определение 4.8. Функция y = f(x) имеет в точке x0 локальный максимум, если существует δ-окрестность (x0 − δ, x0 + δ) такая, что x (x0 − δ, x0 + δ) f(x) f(x0).

4.2. Дифференцируемость функции

213

 

 

Определение 4.9. Функция y = f(x) имеет в точке x0 локальный минимум, если существует δ-окрестность (x0 − δ, x0 + δ) такая, что x (x0 − δ, x0 + δ) f(x) f(x0).

Определение 4.10. Локальные максимумы и локальные минимумы функции называются локальными экстремумами.

Аналогичным образом можно ввести понятия строгих локальных экстремумов.

Локальными называются свойства функции, которые имеют место в некоторой окрестности той или иной точки.

Из определения локального максимума и минимума следует, что эти понятия имеют локальный характер в том смысле, что неравенство f(x) f(x0) (f(x) f(x0)) может и не выполняться для всех значений в области определения функции, а должно выполняться лишь в некоторой δ-окрестности точки x0. Следовательно, функция f может иметь несколько локальных экстремумов (рис. 4.4).

 

 

 

y

 

 

 

y

 

 

 

 

 

 

O a x1 x2x3 x4 x5

x6 b

x

O

a

x0

b x

Рис. 4.4

 

 

 

 

Рис. 4.5

 

Теорема 4.6 (Ферма). Пусть функция f определена на интервале (a, b) и в некоторой точке x0 (a, b) имеет локальный экстремум. Тогда если в точке x0 существует производная, то она равна нулю, т.е. f (x0) = 0.

Геометрический смысл теоремы Ферма состоит в том, что если в точке x0 (a, b) функция имеет локальный минимум или максимум (рис. 4.5), то касательная в этой точке к графику функции y = f(x) параллельна оси Ox, т.е. угол наклона касательной к оси Ox равен нулю, и f (x0) = tg 0 = 0.

214

Глава 4. Дифференциальное исчисление

 

 

Теорема 4.7 (Ролля). Пусть функция f непрерывна на отрезке [a, b], дифференцируема на интервале (a, b) и на концах отрезка [a, b] принимает равные значения: f(a) = f(b). Тогда существует точка c (a, b), в которой f (c) = 0.

Геометрический смысл теоремы 4.7 заключается в том, что у графика непрерывной на отрезке [a, b] функции, принимающей на концах равные значения и дифференцируемой на (a, b), существует точка (c, f(c)), в которой касательная параллельна оси Ox (рис. 4.6). Иначе говоря, такая функция внутри отрезка [a, b] будет иметь экстремум (например, в точке c (a, b)) и по теореме Ролля f (c) = 0.

y f(a) = f(b)

f(c)

O

a

c

b x

 

 

Рис. 4.6

 

Теорема 4.8 (Лагранжа). Если функция f непрерывна на отрезке [a, b], дифференцируема на интервале (a, b), то существует точка c (a, b) такая, что справедлива формула

f(b) − f(a)

= f (c).

(4.19)

b − a

 

 

Перейдем к рассмотрению геометрического смысла теоремы Лагранжа (рис. 4.7).

Из MKN имеем:

tg α =

NK

=

f(b) − f(a)

,

MK

b − a

 

 

 

т.е. левая часть равенства (4.19) есть тангенс угла наклона секущей MN к оси Ox. Правая часть равенства (4.19) есть тангенс угла наклона касательной в некоторой точке c (a, b). Таким образом,

4.3. Правило Лопиталя. Понятие о формуле Тейлора

215

 

 

 

y

 

 

f(b)

N

 

M

α

K

f(a)

 

 

 

 

 

O a

c

b x

 

Рис. 4.7

 

 

теорема Лагранжа утверждает, что найдется точка c (a, b), в которой касательная к графику функции параллельна секущей, соединяющей концы графика функции (точки (a, f(a)) и (b, f(b))).

Соотношение (4.19) можно записать в виде

f(b) − f(a) = f (c)(b − a).

(4.20)

Формулу (4.20) называют формулой конечных приращений.

Теорема 4.9 (Коши). Если функции f и g непрерывны на отрезке [a, b], дифференцируемы на интервале (a, b), причем g (x) = 0, то существует точка c (a, b) такая, что справедливо равенство

f(b) − f(a)

=

f (c)

.

g(b) − g(a)

 

 

g (c)

4.3.Правило Лопиталя. Понятие о формуле Тейлора

4.3.1. Правило Лопиталя

Теорема 4.10 (правило Лопиталя). Пусть функции f и g

определены и дифференцируемы в некоторой окрестности точки a, за исключением, может быть, самой точки a. Пусть функции f и g являются БМФ при x → a и g (x) = 0 в окрестности точки a. Тогда если существует

lim f (x) ,

x→a g (x)

216

Глава 4.

Дифференциальное исчисление

 

 

 

 

 

 

то

f(x)

 

f (x)

 

lim

 

(4.21)

 

= lim

 

.

 

 

x→a g(x)

x→a

g (x)

 

Д о к а з а т е л ь с т в о. Доопределим функции f

и g в точке

x = a, положив f(a) = g(a) = 0. Тогда, пользуясь теоремой Коши, можно записать:

 

f(x)

=

 

f(x) − f(a)

=

f (c)

,

 

g(x)

 

 

g (c)

 

 

 

g(x) − g(a)

 

где точка c находится между точками x и a. Иначе говоря,

 

 

 

f(x)

 

f (c)

 

 

 

 

 

 

=

 

.

 

 

 

 

 

g(x)

g (c)

 

 

Если x → a, то и c → a. Поэтому, переходя в последнем равенстве к пределу, получаем утверждение теоремы.

В данном случае предел отношения двух БМФ сводится к пределу отношения их производных, что часто является весьма удобным приемом при вычислении пределов. Проиллюстрируем это на примере.

Пример 4.12. Найти lim sin 4x. x→0 tg 2x

Р е ш е н и е. В данном случае условия правила Лопиталя выполняются. Функции f(x) = sin 4x и g(x) = tg 2x являются дифференцируемыми функциями, например на интервале (−π/4, π/4), и f(0) = g(0) = 0. Применим формулу (4.21):

lim

sin 4x

= lim

(sin 4x)

= lim

4 cos 4x

= 2 lim cos 4x cos2 2x =

tg 2x

(tg 2x)

 

2

 

x→0

x→0

x→0

 

 

x→0

 

 

 

 

 

 

cos2 2x

 

 

 

 

 

 

 

 

= 2 lim cos 4x lim cos2 2x = 2.

 

 

 

 

 

 

 

 

x→0

x→0

Таким образом, первоначально мы имеем неопределенность вида 0/0. После перехода к пределу отношения производных такая неопределенность уже отсутствует.

Если функции f и g дважды дифференцируемы в некоторой окрестности точки a, f(a) = g(a) = f (a) = g (a) = 0 и существует

lim f (x) ,

x→a g (x)

4.3. Правило Лопиталя. Понятие о формуле Тейлора

217

 

 

 

 

 

 

то имеет место равенство

 

 

 

 

lim

f(x)

= lim

f (x)

.

 

 

 

 

x→a g(x)

x→a g (x)

 

 

Это означает, что если f (x) и g (x), в свою очередь, являются БМФ при x → a, то правило Лопиталя применимо к пределу

lim f (x) .

x→a g (x)

Нетрудно сформулировать условия, при которых справедлива следующая формула:

lim

f(x)

= lim

f(n)(x)

.

(4.22)

 

 

x→a g(x)

x→a g(n)(x)

 

 

Пример 4.13. Найти lim x − sin x.

x→0 x3

Р е ш е н и е. Функции f(x) = x−sin x и g(x) = x3 являются БМФ при x → 0. Применив правило Лопиталя, найдем:

lim x − sin x =

x→0 x3

Очевидно, что

f (x) =

lim

(x − sin x)

= lim

1 − cos x

.

x→0

(x3)

 

x→0

3x2

1 − cos x,

g (x) = 3x2

также являются бесконечно малыми функциями при x → 0. Следовательно,

lim

x − sin x

= lim

(1 − cos x)

= lim

sin x

.

x3

(3x2)

 

x→0

x→0

x→0

6x

Последний предел есть первый замечательный предел. Однако и его можно вычислить с помощью правила Лопиталя:

lim

x − sin x

=

1

lim

(sin x)

=

1

lim cos x =

1

.

x3

 

(x)

 

6

x→0

 

6 x→0

 

6 x→0

 

218 Глава 4. Дифференциальное исчисление

При решении последнего примера можно воспользоваться формулой (4.22), положив n = 3.

Правило Лопиталя остается в силе и в случае a = ∞ или a = ±∞. В частности, если функции f и g являются БМФ при x → ∞ и

существует

 

 

 

 

 

 

 

f (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x→∞ g (x)

 

 

 

 

 

 

 

 

то

 

 

 

 

f(x)

 

 

 

f (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

lim

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x→∞ g(x)

x→∞ g (x)

 

 

 

 

 

 

 

Действительно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

f(x)

 

= lim

f (1/t)

= lim

f (1/t)

−1/t2

=

 

 

 

 

 

 

g (1/t)

g (1/t)

 

 

 

 

 

 

x→∞ g(x)

t→0

 

t→0

(

 

1/t2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(1/t)

 

f (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

lim

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t→0

(1/t)

x→∞ g (x)

 

Итак,

мы

рассмотрели

случай

 

отыскания

предела частного

f(x)/g(x), когда функции f(x) и g(x) являются БМФ при x → a. Теперь рассмотрим такой же предел, когда функции f(x) и g(x) являются ББФ при x → a. Можно показать, что в этом случае имеет место утверждение, аналогичное теореме 4.10. При этом можно полагать, что a = ∞ или a = ±∞.

Пример 4.14. Найти lim ln2 x.

x→+∞ x

Ре ш е н и е. Функции f(x) = ln2 x и f(x) = x являются ББФ при x → +∞. Применим правило Лопиталя:

 

ln2 x

 

2 ln x ·

1

 

 

 

 

 

 

 

 

 

ln x

 

 

x

 

 

lim

 

 

= lim

 

 

 

= 2 lim

 

.

x

1

 

 

 

x→+∞

x→+∞

 

 

x→+∞

x

Очевидно, что целесообразно еще раз применить правило Лопиталя. Получим:

lim

ln2 x

 

1/x

1

 

 

 

= 2 lim

 

 

= 2 lim

 

= 0.

x

1

 

 

x→+∞

x→+∞

 

x→+∞ x

4.3. Правило Лопиталя. Понятие о формуле Тейлора

219

 

 

4.3.2. Понятие о формуле Тейлора

Вычисление значений функции во многих случаях является весьма сложной задачей. Пусть, например, требуется найти e0,3 или sin(π/10). В этих и других случаях прибегают к приближенному представлению подобных функций через алгебраические многочлены, т.е. для вычисления значений рассматриваемой функции ее можно заменить многочленом Pn(x) степени n, значения которого легко найти с помощью арифметических действий. При определенных условиях приближенно представить функцию f(x) в виде многочлена и дать оценку такого приближения позволяет формула Тейлора.

Теорема 4.11. Если функция f(x) определена в некоторой окрестности точки x0 и имеет в ней производные до (n + 1)-го порядка включительно, то для любого x из этой окрестности найдется точка c (x0, x) либо c (x, x0) такая, что справедлива формула

 

 

 

f (x0)

 

 

f (x0)

 

 

f(x) = f(x0) +

 

 

 

 

(x − x0) +

 

 

 

(x − x0)2 + . . . +

1!

 

2!

 

 

+

f(n)(x0)

(x − x0)n +

f(n+1)(c)

(x − x0)n+1.

 

 

 

n!

(n + 1)!

Запишем формулу (4.23) в виде

 

 

 

 

 

 

 

 

 

 

f(x) = Pn(x) + Rn(x),

 

 

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x0)

 

 

 

 

 

 

Pn(x) = f(x0) +

 

 

 

 

 

(x − x0) +

 

 

 

 

 

1!

 

 

 

 

 

 

 

f (x0)

− x0)2 + . . . +

f(n)(x0)

 

+

 

 

 

 

(x

 

 

 

(x − x0)n,

 

 

2!

 

 

 

n!

 

 

f(n+1)(c)

 

 

 

 

 

 

 

 

Rn(x) =

 

 

(x − x0)n+1.

 

 

 

 

 

 

(n + 1)!

 

 

 

 

 

 

 

(4.23)

(4.24)

(4.25)

Определение 4.11. Многочлен Pn(x), определяемый формулой (4.24), называется многочленом Тейлора для функции y = f(x) в точке x0.

Определение 4.12. Функция Rn(x), определяемая формулой (4.25), называется остаточным членом в форме Лагранжа.