Учебники / Ter-Krikorov_Kurs_matematicheskogo_analiza_2015
.pdf190 |
Гл. IV. Производная и ее приложения |
Т е о р е м а 12. Для того чтобы прямая у = кх + Ъ была асимпто той графика функции у = f(x) при х -б- +оо, необходимо и достаточно, чтобы существовали конечные пределы
|
|
lim |
^ |
X |
= к, |
|
|
(31) |
|
1Г->+СЮ |
|
|
|
|
|||
|
lim |
(f(x) |
- |
кх) = Ъ. |
|
(32) |
||
|
X —> + (Х> |
|
|
|
|
|
|
|
ОНе о б х о д и мо с т ь . |
Если прямая у = кх + Ъ— асимптота графика |
|||||||
функции у = f(x) при х -б- +оо, |
то выполняется |
условие (29) или |
||||||
равносильное ему условие |
|
|
|
|
|
|
|
|
f(x) = kx + b + a(x), |
а(х) —1 0 |
при х —1 +оо. |
(33) |
|||||
Разделив обе части равенства (33) на х, получим |
|
|
||||||
|
М . = |
|
к. + а(ж) |
|
|
|||
|
X |
|
|
X |
X |
’ |
|
|
откуда следует, что существует предел (31). |
|
|
||||||
Из равенства (33) получаем |
|
|
|
|
|
|
||
f(x) — кх = b + а(х), |
где |
а(х) —1 0 при |
х —1 +оо, |
|
||||
откуда следует, что существует предел (32). |
|
|
||||||
Д о с т а т о ч н о с т ь . |
Если существуют |
конечные пределы |
(31) и |
(32), то f(x) —(кх + Ь) = а(х), где а(х) —¥ 0 при х —¥ +оо, т. е. выпол няется условие (29). Это означает, что прямая у = кх + Ъ— асимптота графика функции у = f(x). •
З а м е ч а н и е 6. Для случая горизонтальной асимптоты теорем а 12 фор
м улируется в следую щ ем |
виде: для того чтобы прям ая у = Ь была асимп |
тотой графика функции у |
= f(x) при х —1 +оо, необходимо и достаточно, |
чтобы lim f(x) = b. |
|
х—* + о о
7.Построение графиков функций. При построении графика функции у = f(x) можно придерживаться следующего плана.
1)Найти область определения функции. Выяснить, является ли функция четной (нечетной), периодической.
2)Найти точки пересечения графика с осями координат и проме жутки, на которых f(x) > 0 и f(x) < 0.
3)Найти асимптоты графика.
4)Сделать эскиз графика.
5)Вычислить f'(x), найти экстремумы и промежутки возраста ния (убывания) функции.
6)Вычислить f"(x), найти точки перегиба и промежутки выпук
лости вверх (вниз) функции.
7) Нарисовать график функции.
§20. Исследование функций с помощью производных |
191 |
|
П р и м е р 9. Построить график функции у = |
X |
|
(* + 1 )2- |
|
Д Функция определена при ж ф —1, принимает положительные зна чения при х > 0 и отрицательные при х < 0, у(0) = 0. Прямые х = —1 и у = х —2 (пример 8, б)) — асимптоты графика этой функции. Из
2
равенства (30) следует, что при х > —- график лежит выше прямой
2
у — х —2, а при ж < —- — ниже этой прямой. Вычисляем производные:
|
х 2( х + 3) |
(34) |
|
(ж + 1)3 ’ |
|
|
|
|
У" |
6ж |
|
ог + 1 )4' |
(35) |
Согласно формуле (34) функция 2/(ж) имеет две стационарные точки ж = 0 и ж = —3. Точка ж = 0 не является точкой экстрему ма этой функции, так как у' не меняет знак при переходе через точку ж = 0. Точка ж = —3 явля ется точкой максимума функ ции у{х), так как у' меняет знак с плюса на минус при пе реходе через точку ж = —3. На-
27 ходим у { - 3) = - — .
Из формулы (35) следует, что у" < 0 при ж < 0 (ж ф —1 ) и у" > 0 при ж > 0. Поэтому функция у(х) является вы пуклой вверх на интервалах (—оо,—1 ) и (—1 , 0) и выпук лой вниз на интервале (0, +оо). Точка ж = 0, в которой функ ция у(х) меняет направление
выпуклости, есть точка перегиба этой функции. График функции изображен на рис. 20.5. А
Пр и ме р |
10. Построить график функции у = |
\/х 3 + ж2. |
|
Д Функция у(х) определена на /?,причем у < |
0 |
при ж < —1, у > О |
|
при ж > —1 |
(ж ф 0), у(—1) = 2/(0) = 0.Прямая |
у |
— ж + ^ — асимп |
тота графика этой функции при ж -+ —оо и ж —у +оо |
(пример 8, в)). |
Вычисляем производные: |
|
у '= \ { ж + 1) 2/3ж 1/3(Зж + 2), |
(36) |
О |
|
192 |
Гл. IV . |
Производная и ее приложения |
|
|
у" = |
_ £ ( ж + 1 ) - 5 / З а,- 4 /3 _ |
(37) |
Формулы (36) и (37) справедливы при хф —1 и ж ^ 0. Из формулы (36) согласно следствию 2 из теоремы Лагранжа (§ 17) находим / '( —1) =
= |
lim |
у'(х) |
= +оо, Д ( 0) = +оо, f'_(0) = -оо. |
|
|
X—У—1 |
|
|
|
|
|
|
Так |
как |
при переходе через 2точку х — |
3 производная меняет |
|
знак с плюса на минус, то х = —- — точка максимума функции у{х), |
|||||
причем у(^~ ^ |
Аналогично, точка х = 0 — точка минимума |
||||
функции и 2/(0) = 0. |
|
|
|||
|
Из формулы (37) следует, что у" > 0 при х < —1 и у" < 0 при х > —1 |
||||
(ж / |
0). Поэтому функция у(х) является выпуклой вниз на интервале |
(—оо,—1) и выпуклой вверх на интервалах (—1,0) и (0,+оо). График функции изображен на рис. 20.6. А
|
|
|
|
При построении кривой, задан |
||||||
|
|
|
ной параметрически уравнениями |
|||||||
|
|
|
х = x(t), у = y(t), обычно разби |
|||||||
|
|
|
вают ось t на интервалы, на каж |
|||||||
|
|
|
дом из которых функции x(t) |
и y(t) |
||||||
|
|
|
монотонны. Иногда предваритель |
|||||||
|
|
|
но |
строят графики |
функций |
х |
= |
|||
|
|
|
= x(t) и у = y(t). |
|
|
|
|
|||
|
|
|
|
Пр и ме р |
11. Построить |
кри- |
||||
|
|
|
вую X = t2+ 1 |
У = |
(t + 5)2 |
|
|
|||
|
|
|
Д |
t |
у'х |
и |
ухх, |
применяя |
||
|
|
|
Найдем |
|||||||
|
|
|
|
|
|
/ |
|
/ nj |
\ / |
1 |
|
|
|
формулы у'х = Ц , |
Ухх = |
( у ± \ |
|||||
|
|
|
|
|
|
Xt |
|
\x'tJt |
x't |
|
(§ 15, формула (29); § 16, формула (4)). Получим |
(при t ф 0, t ф —1, |
|||||||||
t ф - 2 ) |
|
|
|
|
|
|
|
|
|
|
х' = ^ |
~ 1 |
у1 = |
(* + 5)(*~ 1) |
’ |
|
|
(38) |
|||
* |
t2 |
’ |
Vt |
(t + 2)2 |
|
|
|
*■ ' |
||
|
, |
= |
*2(г + 5) |
|
|
|
|
(39) |
||
|
Ух |
|
{t + 1 )(£ + 2)2 |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
||
|
|
|
4*3(4t + 5) |
|
|
|
|
(40) |
||
Ухх |
|
(i + 1 )3(* + 2)3(i —1 )' |
|
|
|
|||||
|
|
|
|
|
|
Разобьем ось t точками t = —5, t = —2, t = —-, t = —1, £ = 0, t = 1
на семь интервалов. На каждом из этих интервалов функции ж(£), y(t) монотонны, у'х и ухх сохраняют знак. Составим таблицу значе ний ж, у и знаков //', у" на соответствующих интервалах, используя
§20. Исследование функций с помощью производных |
193 |
формулы (38), (39), (40).
|
|
1 |
|
X |
|
|
У |
|
|
У |
У |
|
|
|
|
(_ °°! —5) |
|
00, - |
26 |
|
(—оо,0) |
|
+ |
|
|
|
|
|
|
(-5,-2 ) |
|
26 |
|
ОТ |
О ДО |
—00 |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|||||
|
|
|
|
|
|
|
75 |
|
|
|
|
||
|
|
|
|
|
41 |
ОТ |
+00 |
|
+ |
|
|
||
|
|
|
|
2 ’ |
20 |
до -- |
|
|
|
||||
|
|
|
|
|
|
4 |
|
|
|
|
|
||
|
|
|
|
• — , ^2 |
|
75 1« |
|
|
|
|
|
||
|
|
|
|
|
Т ’ 16 |
|
|
|
|
|
|||
|
|
|
|
20 |
|
|
|
|
|
|
|
||
|
|
( - 1,0) |
|
-2 до —оо |
|
1« |
25 |
|
+ |
+ |
|
|
|
|
|
|
ОТ 16 до — |
|
|
|
|||||||
|
|
(0, 1 ) |
от +оо до 2 |
от |
— до 12 |
|
+ |
|
|
|
|||
|
|
|
|
|
|
|
25 |
9 |
|
|
|
|
|
|
|
(1 ,+оо) |
|
(2, +оо) |
(12, +оо) |
|
+ |
+ |
|
|
|||
|
Найдем асимптоты. Так |
как у —Ь оо и ж —1 |
—- |
при 1 |
-+ —2, то |
||||||||
х = |
5 |
|
|
„ |
„ |
, |
п |
|
|
|
25 |
|
|
|
— асимптота кривой. Исли |
1 —1 О, т ож—1 о о и у —1 — , поэтому |
|||||||||||
|
|
25 |
|
|
|
|
|
|
|
|
|
|
|
прямая у = — — горизонтальная асимптота кривой. |
|
|
|
||||||||||
|
Пусть t -+ оо, тогда ж -+ оо, у -+ оо. Выясним, имеет ли кривая |
||||||||||||
наклонную асимптоту, пользуясь теоремой 12. Так как |
lim |
|
= 1, |
||||||||||
|
|
|
|
(1 + 5)2 |
Г + 1 |
|
|
|
|
t —^оо х (t ) |
|||
lim (y(t) —ж(1)) = |
lim |
= |
.. |
81 |
+ 241 + 2 |
0 |
|||||||
|
|
1 |
i i m -------;-------—— |
= |
8 , t o |
||||||||
t —¥ОО |
|
t —¥ ОО 1 + 2 |
|
t—>oo |
|
l(l + |
2) |
|
|
прямая у = ж + 8 — наклонная асимптота.
Из таблицы и формул (38) следует, что интервалу (—оо, —2) пере менного 1 соответствует часть (ветвь) кривой, которая является гра фиком функции у = з/i (ж), выпуклой вверх, причем значению 1 = —5
соответствует точка максимума Жо = —— этой функции и гу\(жо) = 0. Интервалу (—2, —1) соответствует ветвь кривой, являющаяся гра
фиком функции у = 2/2(ж), выпуклой вниз при 1 6 ^ - |
2, —-J |
и вы |
||||||
* |
/" |
5 |
^\ |
* |
/" |
— |
41 |
75 |
пуклои вверх при t € |
I |
—- , —1 J; |
точка этого графика |
I |
|
|
||
соответствующая значению 1 |
5 |
|
|
|
|
|||
= — |
есть точка перегиба; при 1 = —1 |
функция ж = ж(1) имеет максимум, причем ж(—1 ) = —2.
Интервалу (—1,0) соответствует график функции у = уз(х), вы пуклой вниз, а интервалу (0, 1 ) — график функции у = 2/4(ж), выпук лой вверх.
Наконец, интервалу (1,+оо) соответствует график функции у = = J/5(ж), выпуклой вниз.
Отметим еще, что ж(1) = 2, у( 1) = 12 и, кроме того, правые про-
194 |
Гл. IV . Производная и ее приложения |
изводные функций уз(х) и 2/4(ж) в точке х = 2 равны i .
Рис. 20.7
Используя таблицу и проведенное исследование, строим кривую (рис. 20.7). А
§21. Вектор-функции
1.Предел и непрерывность вектор-функции.
а) Понятие вектор-функции. Если каждому значению t G Е, где Е С R, поставлен в соответствие вектор г (t) трехмерного простран ства, то говорят, что на множестве Е задана векторная функция г (t) скалярного аргумента t.
Пусть в пространстве фиксирована прямоугольная система коор динат Oxyz. Тогда задание вектор-функции г(£), t Е Е, означает за дание координат ж(£), y(t), z(t) вектора r(t), t G E. Если i, j , k —
единичные векторы координатных осей, то |
|
r(t) = x(t)i + y(t)j + |
t& E , |
ИЛИ
r(t) = (x(t),y(t),z(t)).
Если z(t) = 0 при всех t E E, то вектор-функцию r(t) называют
§21. Вектор-функции |
195 |
двумерной. |
|
В случае когда начало каждого из векторов г (t) |
совпадает с нача |
лом координат (рис. 2 1.1 ), эти векторы называют радиус-векторами, а множество их концов — годографом вектор-функции г(£), t £ Е,
который можно рассматривать как траекторию точки M(t) конца вектора г(£), если считать, что t —
время.
б) |
Предел вектор-функции. Вектор |
|
|
|
|||||
а называют пределом вектор-функции |
|
|
|
|
|||||
г (t) в точке to и пишут lim г (t) |
= а |
|
|
|
|
||||
|
|
|
|
t —yto |
|
|
|
|
|
или г (t) —Уа при t —Уto, если |
|
|
|
|
|
||||
|
lim \r(t) —а| = 0, |
(1 ) |
|
|
|
|
|||
|
t yto |
|
|
|
|
|
|
|
|
т. е. длина вектора г (t) —а стремится |
|
|
|
|
|||||
к нулю при t —Уto- |
|
1. Если заданы г (t) |
= |
(x(t),y(t),z(t)) и а |
= |
||||
У т в е р ж д е н и е |
|||||||||
= (аь а2,а 3), то |
|
lim r(t) = а |
|
|
|
(2) |
|||
|
|
|
|
|
|
|
|||
|
|
|
|
t^to |
|
|
|
|
|
тогда и только тогда, когда |
|
|
|
|
|
||||
|
x(t) —У а \, |
y(t) —У a2, |
z ( t ) —У аз |
при t —yto- |
(3) |
||||
О В самом деле, из равенства |
|
|
|
|
|||||
|
|
|
|
|
|||||
|
\r(t) |
- а| = |
л /(x(t) - ai)2 + (y(t) |
- |
a2)2 + (гД) - a3)2 |
(4) |
|||
следует, что |
|
|
|
|
|
|
|
|
|
И О - |
a iK |
lr(i) - |
а|, |
|у(0 - а2\^ |r(i) |
- |
а|, |
\z{t) - a3| ^ \r{t) - |
а|. |
Поэтому если г (t) —У а при t —У to, т. е. выполняется условие (1), то выполняются условия (3).
Обратно: если выполняются условия (3), то из равенства (4) сле дует, что выполнено условие (1 ). •
При доказательстве свойств предела вектор-функции удобно ис пользовать следующее очевидное утверждение: условие (2) выполня ется в том и только том случае, когда
г (t) = а + a(t),
где ct(t) — бесконечно малая вектор-функция, т. е.
ct(t) —У 0 |
при |
t —У |
to- |
в) Свойства пределов вектор-функций. |
|
||
Св о йс т в о 1. Если lim r(t) = а, |
то |
lim |r(t)| = |а|. |
|
t —yt о |
|
|
t —yt о |
О Это свойство следует из неравенства |
|
||
||г(*)| - |а|| |
^ |г(£)-а|. • |
196 Гл. IV. Производная и ее приложения
С в о |
й с т в о 2. Если г(t) —1 а |
при t —¥ to, а скалярная функция f ( t ) |
|||
такова, |
что f ( t ) —1 А |
при t —¥ to, то f(t)r(t) —1 Аа |
при t —¥ to, т. е. |
||
|
hm |
f(t)r (t)= |
И т/(* ) |
Шпг(*). |
(5) |
|
t —¥to |
t —¥t о |
t —¥t о |
|
О Из определений пределов скалярной функции и вектор-функции следует, что г(t) = а + a(t), f ( t ) = А + (3(t), где a(t) — бесконечно малая вектор-функция, (3{t) — бесконечно малая функция при t —1 to•
Поэтому f(t)r(t) |
= Aa + j(t), где 7 (t) = Aa(t) + f3(t)a + f3(t)a(t) |
— |
||||||
бесконечно малая вектор-функция при t —1 to, откуда получаем ра |
||||||||
венство (5). • |
|
Если Ti(t) —1 ai, r2 (t) —1 a2 при |
t —1 to, |
mo |
|
|
||
Св о й с т в о |
3. |
ri + |
||||||
+ Г2 ->■ a i + a 2, (ri,r2) ->■ (ai,a2), |
[ ^ ^ 2]->■ [ai,a2] |
при / —>/0. |
т . |
e. |
||||
lim (n(£) + r2 (t)) = |
lim n(£) + lim r 2 (t), |
|
|
(6) |
||||
t —¥to |
|
t —¥to |
t —¥to |
|
|
|
|
|
lim (r i (*),r2(*)) = |
( lim n (t) |
lim r 2(t)), |
|
|
(7) |
|||
t —¥t 0 |
|
t —¥to |
t —¥t 0 |
|
|
|
|
|
lim [r! (t), r 2(t)] = |
[ lim r ! (t), lim r2(t)]. |
|
|
8 |
||||
t —¥to |
|
t —¥to |
t —¥to |
|
|
|
() |
|
ОПо условию Ti(t) |
= а* + on(t), |
где on(t) |
—¥ 0 при t —¥ to |
(i = 1,2). |
Поэтому i-| (/) + r2 (t) =ai + a2 + /3(t), |
где (3(t) =rii (/) + a 2 (t) —1 |
0 |
при t —1 to, откуда следует (6). Докажем формулу (7). В силу свойств |
||
скалярного произведения |
|
|
(ri(£),r2(£)) - (аь а2) = (ai(£ ),a2) + |
(a 2 (t), ai) + (ai(£ ),a 2(£)), |
|
причем в правой части этого равенства — бесконечно малая функ |
||
ция, так как ai(t), a 2 (t) — бесконечно малые вектор-функции |
и |
|(p,q)| |
<1 |р| • |q| для любых векторов р и q. |
|
|
Аналогично доказывается формула (8), в этом случае следует вос |
|||
пользоваться неравенством )[р,q]) ^ |
|р| • |q|. • |
|
|
г) |
Непрерывность вектор-функции. Вектор-функцию г (t) называ |
||
ют непрерывной при t = to, если |
|
|
|
|
lim г(t) = |
r(t0). |
(9) |
|
t—>tО |
|
|
Непрерывность вектор-функции r(t) |
= (x(t),y(t), z(t)) |
при t = to в |
|
силу эквивалентности условий (2) и (3) означает, что ее координа |
|||
ты x(t), y(t), z(t) непрерывны в точке to- |
|
||
Назовем вектор-функцию Ar = |
г (to + At) — г (to) |
приращением |
|
вектор-функции г(t) в точке to- Тогда условие (9) означает, что |
|||
|
Аг —1 0 при |
At —1 0. |
(10) |
Из определения непрерывности вектор-функции и свойств преде лов векторных функций следует, что сумма, векторное и скалярное произведения вектор-функций Ti(t) и г2 (t) являются непрерывными функциями при t = to, если вектор-функции Ti(t) и г2 (t) непрерывны в точке to-
§21. Вектор-функции |
197 |
2. Производная и дифференциал вектор-функции.
Ду
а) Производная вектор-функции. Если существует Jim — , где
Ar = г (to + At) —г (to), то этот предел называют производной векторфункции г (t) в точке to и обозначают г'(to) или г (to)-
Таким образом,
r , |
|
= |
r(to + A t ) - r ( t0) |
(п ) |
7 и7 |
Д1—s-о |
At |
к 7 |
|
Аналогично вводится понятие второй производной |
|
|||
„( |
) = |
г'(to + A t) - г ' (to) |
|
|
v |
7 |
At^O |
At |
|
и производной порядка п > 2 вектор-функции. Заметим, что если r(t) = (x(t),y(t),z(t)), то
г'(to) = (х1(to), у'(to), z'(to)). |
(12) |
Утверждение (12) следует из определения (11) и свойств пределов вектор-функций.
Аналогично, если существует г"(to), то
r"(to) = (x"(to),y"(to),z"(to)).
Из определения производной следует, что Аг = г'(to)At + a(A t)A t, где a(A t) —t 0 при A t —1 0, и потому Аг —1 0 при A t —1 0. Таким об разом, выполняется условие (10), т. е. вектор-функция г(t), имеющая производную в точке to, непрерывна при t = to-
У т в е р ж д е н и е 2. Справедливы следующие правила дифференци
рования вектор-функций: |
|
|
|
(ri + г2)' = г) + т'2, |
(13) |
||
(/г)' |
= f'r + fr', |
(14) |
|
(ri,r2)' = |
(г(,г2) + |
(ri,4 ), |
(15) |
[ri,r2]' = |
[г(,г2] + |
[гь 4 ]. |
(16) |
0 Формулы (13)—(16) справедливы в точке t, если в этой точке со ответствующие функции имеют производные. Ограничимся доказа тельством формулы (15). Пусть Ату — приращение вектор-функ ции Tk(t), соответствующее приращению аргумента At, т. е. Aiy = = Tk(t+ At) —Tk(t), к = 1 , 2. Тогда, используя свойства скалярного произведения и свойства пределов вектор-функций, получаем
(г |
г У = lim |
(ri(t + At)’r2(t + At)) ~ (nfflTaffl) = |
||
1 ь |
27 |
At—>0 |
At |
|
|
|
Ду - |
|
= (гь г2) + (ГД Г2), |
так как |
1 г'(Д |
при A t —¥ 0 (г = 1,2) и Аг2 —1 0 при At —>0. • |
198 |
Гл. IV. Производная и ее приложения |
П р и м е р |
1. Пусть существует r'(t) для всех t € (а,Д) и пусть |
|r(t)| = С = const для всех t € (ск, /3). |
Доказать, что (r(t),r'(t)) = 0, т. е. векторы г(t) и г'(t) ортого нальны.
А Используя формулу |r(t)|2 = (r(t),r(t)), правило дифференциро вания скалярного произведения (формула (15)) и условие |r(t)| = С,
получаем (r(t),r(t))' = |
2(r'(t), r(t)) = 0, так |
как |
(|r(t)|2)' = (С2)' = 0. |
Итак, |
= С => (r(t),r'(t)) = |
|
|
|r(t)| |
0. |
▲ |
б) Дифференциал вектор-функции. Вектор-функцию г(t), опреде ленную в некоторой окрестности точки to, называют дифференцируе мой при t = to, если ее приращение Ar = г (to + At) —г (to) в точке to представляется в виде
Ar = a At + A ta (A t), |
(17) |
где вектор а не зависит от At, a(A t) —1 0 при At —t 0. |
|
В этом случае вектор a At называют дифференциалом |
вектор- |
функции r(t) в точке to и обозначают dr. Таким образом, |
|
dr = a At.
Как и в случае скалярной функции, дифференцируемость векторфункции r(t) в точке to равносильна существованию ее производной
в точке to, причем |
|
r'(t0) = а. |
(18) |
Следовательно, |
|
dr = г '(t0) At. |
(19) |
Если функция r(t) дифференцируема при t = to, то, используя ра |
|
венства (17) и (18), получаем |
|
Ar = г '(t0) At + A ta(A t), |
(20) |
где a(A t) —¥ 0 при At —t 0. |
|
Полагая dt = At, запишем равенство (19) в виде |
|
dr = т'dt, |
|
где опущено обозначение аргумента функции г'. Отсюда |
получаем |
Г' = I- |
|
<21> |
в) Замена переменного. |
|
|
У т в е р ж д е н и е 3. Если функция t = t(s) дифференцируема |
при |
|
s = So, t(so) = to, а вектор-функция |
r(t) дифференцируема в |
точ |
ке to, то вектор-функция p(s) = r(t(s)) |
дифференцируема в точке so, |
а производная этой функции выражается формулой
p'(so) = r's(t(s0)) = r't (to)t'8(s0), |
(22) |
§21. Вектор-функции |
199 |
где индекс указывает, по какому переменному производится диффе ренцирование.
О Функция a(A t) в формуле (20) не определена при A t = 0. Доопре делим ее при A t = 0, полагая а(0) = 0.
Так как t = t(s) — функция, дифференцируемая при s = SQ, то A t =
= t(so + As) —t(so) —1 0 при As —1 0. Разделив обе части |
равенст |
|||
ва (20) на As ф 0, получим |
|
|
|
|
A s |
v ' ( l o ) f - t U |
A l ) f . |
(23) |
|
у J A s |
у |
J A s |
y ’ |
|
Правая часть (23) имеет при As |
—1 0 предел, равный г1(to)t'(sq) , |
так как A t —1 0 при As —1 0 и a (At) —t 0 при A t —1 0. Следовательно, существует предел в левой части (23), и справедливо равенство (22).
Формулу (22) запишем кратко в виде равенства
(24)
выражающего правило дифференцирования вектор-функции при заме не переменного. •
3. Теорема Лагранжа и локальная формула Тейлора для вектор-функции.
|
З а м е ч а н и е 1. Формула Л агранж а, т. е. формула |
|
|
|||
|
г(/3) - г(а) = г'(£)(/3 - a), |
£ e ( a , f 3 ) , |
|
(25) |
||
для вектор-функций, вообще говоря, неверна. |
|
пусть г (t) = |
(cost, sin t), |
|||
О |
В самом деле, пусть формула |
(25) верна, |
и |
|||
тогда r'(t) = (—s in f ,cost), |r'(f)| = |
1. Полагая |
a |
= 0, /3 = |
2n, |
получим из |
|
равенства (25) 0 = г(2д-) —г(0) = г'(£)27г, что невозможно, так |
к ак|г'(£ )| = |
|||||
= |
1 . • |
|
|
|
|
|
|
Т е о р е м а (Лагранжа). Если вектор-функция г(t) |
непрерывна на |
||||
отрезке [а,(3\ и дифференцируема на интервале (а,[3), то |
|
|||||
|
ЗС G (а, /3): |г(/3) - |
г(а)| ^ |г'(С)|(/3 - а). |
|
(26) |
О Рассмотрим скалярную функцию
ip(t) = (т(/3) - т(а), г (tj).
Эта функция непрерывна на отрезке [ск, /3], так как вектор-функ ция г (t) непрерывна на этом отрезке. Кроме того, функция ip(t) диф ференцируема на интервале (а, [3), так как функция г(t) дифференци руема на этом интервале, причем в силу правила дифференцирования скалярного произведения
ip'(t) = (т(/3) —г (a), r'(t)).
По теореме Лагранжа
ЗС G (а, /3): ip(/3) - ip(a) = </?'(С)(/3 - а). |
(27) |