Учебники / Ter-Krikorov_Kurs_matematicheskogo_analiza_2015
.pdf150 Гл. IV . Производная и ее приложения
т. е. дифференциал те-го порядка независимого переменного при те 2 равен нулю.
Отметим еще следующие свойства дифференциалов те-го порядка
в предположении существования |
и |
. |
1) dn(Au + B v) = A d nu + В dnv, |
А, В — постоянные; |
|
П |
|
|
2) dn(uv) = J 2 Cndkudnkv.
k = 0
Первое из этих свойств следует из равенств (22) и (8), а второе — из равенства (22) и формулы (19).
З а м е ч а н и е . Дифференциал второго порядка, в отличие от первого дифференциала, не обладает свойством инвариантности формы, т. е. фор мула (21) не сохраняется при замене х на функцию ip(t).
О |
Действительно, пусть х = <f(t), тогда у = f(x) |
= f(<p(t)). Если сущ ест |
|||
вую т } ”{х) и |
то, используя определение дифференциала и правила |
||||
диф ференцирования произведения и сложной функции, получаем |
|||||
откуда |
|
dy = f'(x) dx = f'(<p(t))<p'(t) dt, |
|||
= (/'(¥>(*))¥>'(*))'Я 2 = f " ( v ( m v ( t ) d t f + f(<p(tW(t)dt2. |
|||||
|
i y |
||||
Т ак |
как |
dt |
= dx, ip"(t) dt" = d x. to |
|
|
|
|
|
d2y = f " (x) d x 2 + f (x) d2x, |
|
|
или |
|
|
dry = y"dx2 + y d 2x. |
(23) |
|
|
|
|
Из равенств (21) и (23) следует, что при замене х на функцию ip{t) изменя
ется вид второго дифференциала — в нем появляется слагаемое y'd~x. Если х = tp(t) = at + Ь, где а, Ь— постоянные, то d~x = 0, и в этом случае вид
второго дифференциала не меняется. •
§17. Основные теоремы для дифференцируемых функций
1.Локальный экстремум и теорема Ферма. Пусть сущест вует число 6 > 0 такое, что функция f ( x) определена в Д-окрестности
точки жо, т. е. на множестве Ug(xо) = (жо —S, Xq + 6), и пусть для всех х G US (XQ) выполняется неравенство
f ( x ) > f ( x о). |
(1) |
Тогда говорят, что функция f ( x ) имеет в точке XQ локальный мини мум.
Аналогично, если существует число 6 > 0 такое, |
что для всех |
х G US (XQ) выполняется неравенство |
(2) |
f(x) «Сf ( x о), |
то говорят, что функция /(ж) имеет в точке XQ локальный максимум. Локальный минимум и локальный максимум объединяются об щим термином локальный экстремум. Функция у = /(ж), график ко-
§17. Основные теоремы для дифференцируемых функций |
151 |
торой изображен на рис. 17.1, имеет локальные экстремумы в точках х\ — 1, Х2 = 3, жз = 4, а именно минимумы при ж = 1 и ж = 4 и
максимум при ж = 3. |
|
Т е о р е м а 1 (Ферма). Если функция /(ж) |
имеет локальный экст |
ремум в точке жо и дифференцируема в этой точке, то |
|
/ ' Ы = о. |
(з) |
О Пусть, например, функция /(ж) имеет локальный минимум в точ ке жоТогда в силу (1) для всех ж Е (жо —<5,жо + S) выполняется не равенство
f(x) - |
f ( x о) ^ 0. |
(4) |
|
Если ж Е (жо —S, жо), то ж —жо < 0, |
и из условия (4) следует, что |
||
/(ж) - |
/(жо) |
^ 0, |
(5) |
ж —Жо |
|
|
|
а если ж Е (жо,жо + £), то выполняется неравенство |
|
||
/(ж ) - |
/(жо) |
> 0. |
(6) |
ж —Жо |
Так как функция / дифференцируема в точке жо, то существует пре дел при ж —>• жо в левой части неравенства (5), равный f'_(жо) = f'(x о). По свойствам пределов из (5) следует, что
|
/ ' Ы |
^ о. |
(7) |
Аналогично, переходя к пределу в неравенстве (6), получаем |
|
||
|
/ ' Ы |
^ о. |
(8) |
Из неравенств (7) и (8) следует, что /'(жо) = 0. • |
|
||
З а м е ч а н и е |
1. Теорема Ферма имеет простой геом етрический смысл: |
||
касательная к граф ику функции у = |
/(ж ) в точке локального экстрем ум а |
||
(жо,/(жо)) параллельна оси абсцисс (рис. 17.2). |
|
||
2. Теорема Ролля о нулях производной. |
|
||
Т е о р е м а |
2 (Ролля). Если функция /(ж) непрерывна на отрез |
||
ке [а, Ь], принимает в концах этого отрезка равные значения, |
т. е. |
||
|
/(а) = |
/ ( 6), |
(9) |
дифференцируема на интервале (а, 6), то существует точка
152 |
Гл. IV . Производная и ее приложения |
|
|
£ G (а, Ъ) такая, что |
|
|
|
О Обозначим |
А О |
= о- |
(ю) |
М = sup /(ж), |
т = inf /(ж). По теореме |
Вей- |
ерштрасса (§ 11, теорема 4) на отрезке [а, 6] существуют такие точки ci и с2, что /( d ) = т, f (с2) = М.
Если т = М, то /(ж) = const, и в качестве £ можно взять любую точку интервала (а, 6).
Если т ф М, то т < М, и поэтому /( d ) < / ( с2)- В силу условия (9) по крайней мере одна из точек d , с2 является внутренней точкой от резка [а, Ь]. Пусть, например, ci G (а, 6). Тогда существует число S > 0
такое, что Us(ci) С (а, Ь). |
Так как для всех ж G ^ ( d ) |
выполняется |
условие /(ж) ^ /(ci) = ш, |
то по теореме Ферма /'( d ) = |
т- е- усло |
вие (10) выполняется при £ = с\. Аналогично рассматривается случай, когда с2 G (а, 6). •
Теорему Ролля можно кратко сформулировать так: между двумя точками, в которых дифференцируемая функция принимает равные значения, найдется хотя бы один нуль производной этой функции. Для случая /(а) = f(b) = 0 теорема формулируется еще короче: между двумя нулями дифференцируемой функции лежит хотя бы один нуль ее производной.
З а м е ч а н и е 2. Геометрический смысл теоремы Ролля: при условиях теоремы 2 сущ ествует значение £ G (а, Ь) такое, что касательная к графику функции у = f ( x ) в точке (£ ,/(£ )) параллельна оси О х (рис. 17.3).
Рис. 17.5 |
Рис. 17.6 |
За м е ч а н и е 3. Все условия теоремы Ролля сущ ественны . На рис. 17.4
17.6изображены графики функций, каж дая из которых удовлетворяет всем
§17. Основные теоремы для дифференцируемых функций |
153 |
условиям теоремы Ролля, кроме одного. Для всех этих функций не сущ ест вует точки на интервале (—2,2), в которой производная была бы равна нулю.
3. Формула конечных приращений Лагранжа.
Т е о р е м а 3 (Лагранжа). Если функция f(x) непрерывна на отрез ке [а, Ь] и дифференцируема на интервале (а, 6), то в этом интервале найдется хотя бы одна точка £ такая, что
m - f ( a ) = m ( b - a ) . |
(1 1 ) |
О Рассмотрим функцию
ip(x) = f{x) + Аж,
где число А выберем таким, чтобы выполнялось условие ср(а) = ip(b), т. е. /(а) + Aa — f{b) + АЪ. Отсюда находим
А = |
(12) |
|
о —а |
Так как функция ip(x) непрерывна на отрезке [а, Ь], дифференцируе ма на интервале (а, b) и принимает равные значения в концах этого интервала, то по теореме Ролля существует точка £ Е (а, b) такая, что у/(£) = /'(£) + А = 0. Отсюда в силу условия (12) получаем равенство
/ ’к ) = |
: f (<,). |
из» |
равносильное равенству (1 1 ). • |
|
|
З а м е ч а н и е 4. Правая часть |
формулы (13) равна угловому |
коэффи |
циенту секущ ей, которая проходит через точки A ( a , f ( a ) ) и B ( b ,f ( b )) гра фика функции у = /(ж ), а левая часть этой формулы равна угловому коэф фициенту касательной к граф ику в точке (£ ,/(£ )). Поэтому теорема
Л агранж а имеет следую щ ую геом етрическую |
интерпретацию : сущ ествует |
значение £ Е (а,Ь) такое, что касательная к |
граф ику функции у = f ( x ) |
в точке |
(£ ,/(£ )) |
параллельна секущ ей (рис. 17.7), соединяющ ей точки |
A(a,f(a)) |
и B{b,f{b)). |
|
З а м е ч а н и е |
5. Пусть функция / удовлетворяет условиям теоремы 3. |
Если жо Е [а, Ь], а приращение Аж ф 0 таково, что точка жо + Аж такж е при надлеж ит отрезку [а, Ь], то, применив теорем у Л агранж а к функции /(ж )
154 |
Гл. IV . Производная и ее приложения |
на отрезке I с концами хо и хо + Ах (Ах мож ет быть и отрицательным), получим
|
|
|
|
f(x0 + Ах) - |
f(x0) = Дх/'(£), |
(14) |
|||||
где £ — некоторая внутренняя точка отрезка I. |
|
|
|
||||||||
|
П усть Ах > 0; тогда 0 < £ —хо < Ах (рис. 17.8), и поэтому 0 < |
- — — < 1. |
|||||||||
Полагая в = -——, получаем |
|
|
|
|
|
|
А х |
||||
|
|
|
|
|
|
|
|||||
|
|
А х |
’ |
J |
|
|
|
|
|
|
|
|
|
|
|
£ = хо + |
0 Д х , |
где |
0 < |
0 < 1. |
(15) |
||
|
Аналогично, |
если |
Ах < 0, |
то |
0 < |
хо — £ < |
|Д х| (рис. 17.9), и |
поэтому |
|||
U < |
^ |
, тт |
|
Ci |
|
= |
|
|
|
|
01 К\ |
—А х |
< 1. Полагая в = ------- |
А х |
, снова получаем равенство (15), |
||||||||
|
1. |
|
—А х |
|
|
|
|
|
|||
где 0 < В < |
|
|
|
|
|
|
|
|
|
||
|
Следовательно, равенство (14) можно записать |
в виде |
|
||||||||
|
|
|
f ( x о + А х ) - |
/(х о ) |
= А х |
/'(х о |
+ |
0 А х ) , |
(16) |
где 0 < 0 < 1.
Формулу (16) назы ваю т формулой конечных приращений Лагранжа. Она дает точное выраж ение для приращ ения функции, в отличие от приближен
ного равенства |
|
|
|
|
|
|
|
|
/(х о + Ах) - |
/ ( х 0) и |
Д х / '( х 0), |
|
|
||
которое иногда назы ваю т формулой бесконечно малых приращений. |
|||||||
Пр и м е р 1. Доказать, что |
|
|
|
|
|
|
|
|
1п(1 + ж) <ж |
при |
х > 0, |
|
(17) |
||
|
|arctgX2 —arctgxi| |
|жг —жг|, |
х\ € R, |
is € R. |
(18) |
||
Д а) Применяя теорему Лагранжа к функции /(ж) = ln(l + ж) на от |
|||||||
резке |
[0, ж], где х > 0, получаем |
1п(1 + ж) = |
х. откуда |
следует |
|||
неравенство (17), так как 0 < £ < х. |
|
1 + £ |
|
|
|||
|
|
|
|
||||
б) |
По теореме Лагранжа для функции arctg ж на отрезке с концами |
||||||
Жг и Ж2 находим |
|
|
|
|
|
|
|
|
arctgх2 —arctg жг = |
1 |
(жг —х±), |
|
|||
|
|
|
1 + ? ■ |
|
|
|
|
откуда получаем | arctgЖ2 —arctgжг| = |
|
^ ^ |
|жг —Жд |, так как |
||||
|
1 |
|
|
1 + ? " |
|
|
|
о < — Ц - «с 1 . ▲ |
|
|
|
|
|
|
|
1 |
+ £2 |
Ж2 = ж, |
х± = 0, получаем |
|
|||
Полагая в соотношении (18) |
|
||||||
|
| arctgж| ^ |
|ж|, |
ж € |
R, |
|
(19) |
|
и, в частности, |
|
|
|
|
|
|
|
|
0 ^ arctg ж ^ ж, |
ж ^ 0. |
|
(20) |
|
|
§17. Основные теоремы для дифференцируемых функций |
|
155 |
|||||||||
|
4. |
Некоторые следствия из теоремы Лагранжа. |
|
|
|||||||||
|
С л е д с т в и е |
1. Если функция /(ж) дифференцируема на интервале |
|||||||||||
(а, Ъ) и /'(ж) = 0 для всех х € (а, Ъ), |
то |
|
|
|
|
|
|
||||||
|
|
|
/(ж) = С = const, |
|
х € (а,Ь). |
|
|
|
|
||||
О |
Пусть Хо — фиксированная |
точка интервала |
(а,Ь), |
х |
— любая |
||||||||
точка этого интервала. Применяя теорему Лагранжа к функции /(ж) |
|||||||||||||
на отрезке с концами Xq |
и х, получаем |
|
|
|
|
|
|
||||||
|
|
|
/(ж) - f ( x о) = |
(ж - |
жо)/'(О) |
|
|
|
|
||||
где £ G (а, Ь), /'(£) = 0, откуда /(ж) = |
/ ( ж0) = С. • |
|
|
|
|||||||||
|
С л е д с т в и е |
2. Если функция /(ж) |
непрерывна на отрезке [а,Ь], |
||||||||||
дифференцируема на интервале (а, Ъ) и для всех ж G (а, Ъ) выполняется |
|||||||||||||
равенство /'(ж) = к, где к — постоянная, то |
|
|
|
|
|||||||||
|
|
|
f(x) = kx + B, |
ж € |
[а, Ь], |
|
|
|
|
||||
т. е. / |
— линейная функция. |
|
|
|
|
|
|
|
|
|
|||
О Применяя теорему Лагранжа к функции / на отрезке |
[а,ж], где |
||||||||||||
а ф ж ^ Ь, получаем /(ж) —/(а) = к (ж —а), откуда следует, что /(ж) = |
|||||||||||||
= кх + В, где В = f(a ) —fca. • |
|
|
|
|
|
|
|
|
|
||||
|
С л е д с т в и е |
3. Пусть функция /(ж) |
дифференцируема на интер |
||||||||||
вале (а,Ь), за исключением, быть может, точки XQ € (а,Ь), и непре |
|||||||||||||
рывна в точке XQ. Тогда если существует конечный или бесконечный |
|||||||||||||
|
|
|
|
lim |
/'(ж) = |
А, |
|
|
|
(2 1) |
|||
|
|
|
|
х—^хо —О |
|
|
|
|
|
|
|
|
|
то в точке XQ существует левая производная, причем |
|
|
|
||||||||||
|
|
|
|
Г - Ы |
= А. |
|
|
|
|
(22) |
|||
|
Аналогично, если существует |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
lim |
/'(ж) = |
В, |
|
|
|
(23) |
|||
то |
|
|
|
х—^жоН“0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Г+(хо) = В. |
|
|
|
|
(24) |
||||
О |
Пусть |
приращениеАж таково, что Ажф0иточкаЖо + Аж при |
|||||||||||
надлежитинтервалу(а,Ь). |
Запишем равенство(16) в виде |
|
|
||||||||||
|
|
Дж° + Аж) - /(жо) = |
|
+ g |
д ж); |
0 < 6>< 1 . |
(25) |
||||||
Если существует предел (21), т. |
е. |
|
lim |
/'(ж) = |
lim/'(жо + Аж) = |
||||||||
|
|
|
|
|
ж—5-жо —о |
А х —>—О |
|
|
|
= А, то правая часть (25) имеет предел, равный А, а поэтому сущест вует предел в левой части (25) и справедливо равенство (22).
Аналогично, из соотношения (23) следует равенство (24). •
156 |
Гл. IV . Производная и ее приложения |
|
|
Предположим, что функция /(ж) дифференцируема в точке XQ, |
|
тогда |
|
|
|
f'-(xo) = Д (ж 0) = f '(x0). |
(26) |
Если пределы (21) и (23) существуют и конечны, то из соотноше ний (22), (24) и (26) следует, что
lim |
/'(ж) = |
lim /'(ж) = f ( x 0). |
x— |
—0 |
%—^жо+0 |
Это означает, что если функция /(ж) дифференцируема на интервале (а, Ь), то ее производная /'(ж) не может иметь точек разрыва пер вого рода. Иначе говоря, каждая точка XQ € (а, Ъ) является либо точ кой непрерывности функции /'(ж), либо точкой разрыва второго рода.
Пр име р |
|
|
|
|
|
|
|
|
|
|
|
2ж |
|
||
2. Найти /1(1) и /+(1), если /(ж) = arcsin j-j-—т- |
|||||||||||||||
А Функция / определена на R, так как 1 + ж2 |
|
2|ж|. Вычислив про |
|||||||||||||
изводную, получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
. |
1 |
|
|
|
2(1 —аг) |
|
2(1 - |
аг) |
. . |
, |
||||
J |
(х > = |
----,----------------- |
|
75--------------= -75----- +775----+ 7 7 ) |
Ж |
Ф |
1, |
||||||||
J |
х J |
1 |
2 |
|
Л2 (1 |
+ а:2)2 |
1 |
- х2 (1 |
+ а:2) ’ |
1 |
| г |
’ |
|||
откуда |
|
Л + ж |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
/ |
|
о |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
если |
|х| < |
|
|
|
|
||||
|
|
f ( x ) |
= < |
+а:2’ |
|
|
|
|
|||||||
|
|
|
2 |
если |
I I |
! |
1 . |
|
|
|
|||||
|
|
|
|
|
, _ 1~+~ж2’ |
|ж| > |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Применяя следствие 3, получаем |
|
|
|
|
|
|
|
|
|||||||
|
|
f'_( 1 ) = |
|
lim |
/ ' (ж) = |
lim nT^ - y |
|
= l. |
|
|
|
||||
|
|
|
|
х —^ 1—0 |
|
х —^1 —0 1 + |
Х~ |
|
|
|
|
||||
Аналогично находим |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
/ 1 (1 ) = Пт |
|
+ а:2 |
= - 1. |
|
|
|
|
||||||
|
|
J +y |
J |
|
Ж—>1+0 V 1 |
|
|
|
|
|
|
|
|||
Пр име р |
3. Найти точки разрыва функции /'(ж), если |
|
|
||||||||||||
|
|
ttx\ _ / |
х 2 sin - |
ПРИ |
х ф О, |
|
|
|
|
||||||
|
|
|
|
|
[О |
* при |
ж = |
0. |
|
|
|
|
А Если ж ф 0, то /'(ж) = 2жвт ——cos —, а если ж = 0, то по опреде-
|
9 - 1 |
лению производной /'(0) |
х~sm - |
= lim -------— = 0. Следовательно, функ |
|
ция /'(ж) определена на |
Я и непрерывна при ж ф 0. В точке ж = 0 |
эта функция имеет разрыв второго рода, так как не существует пре дела функции
/Чж) =2ж sin —— cos —при ж + 0.▲ |
||
J v' |
х |
х |
|
|
§17. Основные теоремы для дифференцируемых функций |
157 |
|||||||
|
С л е д с т в и е 4. Если функции (риф дифференцируемы при ж ф Жо |
|||||||||
и удовлетворяют условиям р(хо) = ф(хо), |
р'(х) > ф'(х) при х > X Q , |
|||||||||
то р(х) > ф(х) при х > Жо- |
|
|
|
/(ж) = р(х) —ф(ж) на |
||||||
0 |
Применяя теорему Лагранжа |
к функции |
||||||||
отрезке [жо, ж], где ж > |
Жо, |
получаем /(ж) |
= |
/'(^)(ж — Жо), |
так как |
|||||
/ ( Жо) = 0. Отсюда, учитывая, что |
|
|
|
|
||||||
|
|
|
£ > ж 0, |
/'(С) = |
</?'(£) - Ф '( 0 |
> о, |
|
|||
получаем /(ж) > 0, т. е. р(х) |
> ф(ж) при ж > Жо- • |
|
||||||||
|
Пр и м е р 4. Доказать, что |
9 |
|
|
|
|||||
|
|
|
1п(1 + ж) > ж — |
Т~ |
ж > 0. |
(27) |
||||
|
|
|
при |
|||||||
|
|
|
|
|
|
|
9 |
|
|
|
А |
Пусть |
р(х) = 1п(1 + ж), |
|
|
х~ |
тогда уфО) |
= ф(0), |
|||
ф(ж) = ж — —, |
||||||||||
р'(х) |
= —-—, ф'(ж) = 1 |
—ж, и при ж > 0 |
справедливо неравенство |
|||||||
|
1 |
1 |
+ х |
|
|
|
|
|
|
|
1 |
> 1 —ж, так как при ж > U это неравенство равносильно очевид- |
|||||||||
+ х |
ному неравенству 1 > 1 —ж2. Применяя следствие 4 к функциям р(х)
иф(ж), получаем неравенство (27). ▲
5.Обобщенная формула конечных приращений (формула
Коши).
Т е о р е м а 4. Если функции /(ж) и д(ж) |
непрерывны на отрезке |
[а,Ь], дифференцируемы на интервале (а,Ь), |
причем д'(ж) ^ 0 во всеж |
точках этого интервала, то найдется хотя бы одна точка £ € (а, Ъ)
такая, что |
f (£) |
|
f(b) ^ f(a) |
|
|
y(b)-g(a) |
g ' W |
{S) |
О Рассмотрим функцию
р(х) = /(ж) + Хд(х),
где число А выберем таким, чтобы выполнялось равенство р(а) = = р(Ь), которое равносильно следующему:
m - f ( a ) + X(g(b)-g(a)) = 0. |
(29) |
Заметим, что д(Ь) ф д(а), так как в противном случае согласно теоре ме Роллясуществовалабы точка с G (а, Ь) такая, чтод'(с) = 0 вопреки
условиям теоремы4.Итак, д(Ь) — д(а) ф 0, иизравенства |
(29) сле |
||
дует, что |
f(b) - |
f(a) |
|
ч _ |
/-опч |
||
А“ У |
й - |
J W |
(30) |
Так как функция р при любом А непрерывна на отрезке [а, Ь] и диф ференцируема на интервале (а,Ь), а при значении А, определяемом формулой (30), принимает равные значения в точках а и Ь, то по
158 Гл. IV . Производная и ее приложения
теореме Ролля существует точка £ € (а, Ь) такая, что </?'(£) = 0, т. е.
/'(£) + Л<?'(£) = |
0, откуда |
/'(£) |
и форму- |
||
УД = —Л. Из этого равенства |
|||||
|
|
|
|
5 (?) |
|
лы (30) следует утверждение (28). • |
|
||||
|
З а м е ч а н и е |
6. Теорем а Л агранж а — частны й случай теорем ы Коши |
|||
(у(х) = х). |
|
|
|
|
|
|
З а м е ч а н и е |
7. Т еорем у 4 нельзя получить применением |
теоремы 3 |
||
к числителю и знаменателю |
дроби, стоящ ей в левой части равенства (28). |
||||
Действительно, эту дробь по теореме 3 можно записать в виде |
/'( 6 ) , где |
||||
£i |
€ (а,Ь), € (а,Ь), |
но, вообще говоря, £i / £ г - |
У (&) |
||
|
|||||
|
У п р а ж н е н и е . |
Пусть ф ункция f ( x ) дифференцируема на отрезке [а, Ь] |
|||
и |
f ( a ) < |
Д оказать, что для любого А, удовлетворяю щ его условию |
/ ' (а) < А < / ' (Ь), сущ ествует хотя бы одна точка £ € (а, Ь) такая, что / ' (£) = = А ( теорема Дарбу).
§18. Формула Тейлора
1.Формула Тейлора с остаточным членом в форме Лаг
ранжа.
Л е м м а 1. Если функция /(ж) имеет в точке XQ производную п-го
порядка, то существует многочлен Рп(х) |
степени не выше п такой, |
||||||||
что |
|
|
|
|
|
|
|
|
|
Р п ( х 0) = f ( x o) , |
|
P i k)(xo) |
= f {k)(xo), |
* = м . |
(1) |
||||
Этот многочлен представляется в виде |
|
|
|
|
|||||
Рп (х) = / ( ж 0) + |
;Ц у ^ ( ж - |
Жо) + |
^ ^ |
(ж - |
Ж0 ) 2 + ... |
|
|
||
|
|
|
|
|
|
f(n |
Х ^ х 0)п. |
(2) |
|
|
|
|
|
|
...+ |
п\ |
|||
|
|
|
|
|
|
|
|
|
|
О Пусть <Дж) = |
(ж —ж0)та, где то € N. Тогда ip(xo) = 0 |
|
|||||||
|
(fc) |
= |
] |
0, |
если |
* # т о , |
’ |
|
(3) |
|
< ^% o ) |
|
, |
если |
' |
|
|||
|
|
|
( к! , |
к = то. |
|
|
|
Из (3) следует, что многочлен Рп(х), заданный формулой(2),удов летворяет условиям (1). Этот многочлен называютмногочленом Тей лора п-го порядка для функции /(ж) в точке XQ. •
У п р а ж н е н и е . Д оказать, что если Qn(x) — произвольный многочлен степени не выше п, то этот многочлен можно записать в виде
Q^x) = Y , |
Я [к)(хоЬ_ „ ч* |
4LJz r l (.*-xo)h- |
|
к=0 |
к\ |
|
|
§18. Формула |
Тейлора |
159 |
||
Л е м м а 2. Пусть функции ф х) |
и ф(х) |
определены в 8-окрестнос |
|||
ти точки Хо и удовлетворяют следующим условиям: |
|
||||
1 ) для каждого х £ Ug(xo) существуют |
(х) и ф(п + 1'1 (ж); |
|
|||
2) ф х 0) = ф(х о) = |
... = |
ф п)(хо) = |
О, |
|
|
ф(х0) = ф'(х0) = |
■■■=ф{п)(хо) = 0;___________ |
^ |
|||
3) ф(х) ф О, ф(кЦх) ф О для х £ Ug(xо) и для к = 1,п+ 1. |
|
||||
Тогда для каждого х £ US (XQ) существует точка £, принадлежа |
|||||
щая интервалу с концами XQ и х такая, что |
|
||||
|
Ф ) |
= Фп+1ч е |
|
(гл |
|
|
ф(х) |
^(»+!)(^)' |
{ J |
О Пусть, например, х £ (Xq,Xq + 8). |
Тогда, применяя к функциям tp |
и ф на отрезке [жо,ж] теорему Коши |
(§ 17) и учитывая, что (р(хо) = |
= ф(хо) = 0 в силу условий (4), получаем |
<р(х) |
ip(x) - |
ip(xo) |
Ф ( Ф ) |
. f |
|
6) |
|||
IИ |
|
= i r i — т И |
= |
77тН> хо |
< Ci < ж- |
||||
ф(х) |
ф(х)-ф(хо) |
Ф (ф) |
|
|
|
||||
Аналогично, применяя к функциямф и ф'на отрезке |
[жо,^] теорему |
||||||||
Коши, находим |
|
|
|
|
|
|
|
|
|
Ф ( Ф ) |
|
= Ф (6 ) - |
у 'Ы |
= |
Ф 'Ф Ф |
< с |
< г |
(7\ |
|
Ф'(Ф) |
|
Ф'(Ф) - |
Ф'(хо) |
|
ф"(фУ |
° |
|
|
|
Из равенств (6) и (7) следует, что |
|
|
|
|
|
||||
р{х) _ |
ф(ф) _ |
ф'(фф |
хо < & < ф < х < х0 + 8. |
|
|||||
Ф(х) |
ф'(ф) |
ф"{ф)' |
|
||||||
|
|
|
|
|
Применяя теорему Коши последовательно к функциям <р" и ф", ф 3'1 и ф^ , ..., ф ^ и ф(п'>на соответствующих отрезках, получаем
Ф ) _ ФФФ |
_ |
_ Ф п]Фп) _ |
Ф п+1ч е |
Ф(х) ф'(ф) |
|
ф{п)фп) |
Ф{П+1)(0 ’ |
где ж0 < С < £п < ••• < Ci < х < ж0 + 8.
Равенство (5) доказано для случая, когда ж £ (жо,Жо + 5). Анало гично рассматривается случай, когда ж £ (жо —8, Жо). •
Т е о р е м а 1. Пусть существует 8 > 0 такое, что функция /(ж) имеет в 8-окрестности точки Хо производные до (те + 1 )-го порядка включительно.
Тогда для любого ж £ Щ(хо) найдется точка £, принадлежащая
интервалу А с концами Хо и ж, такая, что |
|
/(ж) = / ( Жо) + t - j^ - ( x - Жо) + ... + ^ ^ ° \ х - |
Жо)” + |
+ ; |
^ / ( ж - ж о ) ^ 1. (8) |
(те |
ij. |