
Краткий курс математического анализа. Том 1
.pdf§ 15. Исследование функций |
207 |
Пусть |
f (x |
) = 0, f (x |
) = 0. |
|
|
|
|
|
|
|
|
|||
0 |
|
0 |
|
|
Согласно формуле Тейлора и в силу |
|||||||||
условия f (x0) = 0 имеем |
|
|
|
|
|
|
|
|
|
|
|
|||
f (x) = f (x0) + f (x0)(x − x0) + |
f (x0) |
(x − x0)3 + o((x − x0)3), |
||||||||||||
|
|
3! |
||||||||||||
|
|
|
|
|
x → x0. |
|
|
|
|
|
||||
Отсюда, |
применив обозначение |
L(x) = f (x0) + f (x0)(x − x0) (y = |
||||||||||||
= L(x) — уравнение касательной к графику функции f (x) в точке |
||||||||||||||
(x0, f (x0))), получим |
|
|
|
|
|
|
|
|
|
|
|
|
||
f (x) − L(x) = |
f (x0) |
|
|
|
3 |
|
|
3 |
|
|
|
|||
|
|
(x − x0) |
|
+ o((x − x0) |
), |
x → x0. |
||||||||
3! |
|
|
||||||||||||
Отсюда следует, что в некоторой |
|
окрестности точки x0 разность |
||||||||||||
f (x) − L(x), т. е. разность ординат графика функции и касательной |
||||||||||||||
к нему, при x = x0 имеет тот же знак, что |
f (x0) |
(x − x0)3, а следо- |
||||||||||||
3! |
|
|||||||||||||
вательно, меняет его при переходе через точку x0 |
(разность x − x0 |
возводится в нечетную степень). Это и означает, что x0 является точкой перегиба функции f.
15.4. Асимптоты.
О п р е д е л е н и е 6. Если функция f задана для всех x > a (соот-
ветственно для всех x < a) и существует такая прямая |
|
||
|
|
y = kx + l, |
(15.20) |
что |
lim |
[f (x) − (kx + l)] = 0 |
(15.21) |
|
x→+∞
(соответственно при x → −∞), то эта прямая называется асимптотой функции f при x → +∞ (соответственно при x → −∞).
Конечно, далеко не всякая функция имеет асимптоты. Существование асимптоты функции означает, что при x → +∞ (или при x → −∞) функция ведет себя «почти как линейная функция», т. е. отличается от линейной функции на бесконечно малую.
Укажем методы отыскания асимптот (15.20). Будем рассматривать
лишь случай x → +∞; |
для x → −∞ вывод уравнения асимптоты |
||||||||||||
производится аналогичным способом. Пусть |
функция f при x |
|
+ |
||||||||||
lim |
1 |
|
|
→ ∞ |
|||||||||
имеет асимптоту (15.20). Тогда поскольку |
|
= 0, то из усло- |
|||||||||||
|
|||||||||||||
|
|
|
|
|
|
x→+∞ x |
|
|
|
|
|||
вия (15.21) следует, что тем более |
|
x |
|
− k − x = |
|
||||||||
x→+∞ x (f (x) − kx − l) = |
|
т. е. x→+∞ |
|
|
|||||||||
lim |
1 |
|
|
0, |
|
lim |
|
f (x) |
|
l |
|
0, |
|
|
|
|
|
|
|
|
|
|
|
||||
откуда |
|
|
lim |
f (x) |
= k. |
|
|
|
|
|
(15.22) |
||
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|||||
|
|
|
x→+∞ |
x |
|
|
|
|
|
|
|
Если значение k найдено, то значение l находится из условия (15.21):
l = lim [f (x) − kx]. |
(15.23) |
x→+∞

208 Гл. 1. Дифференциальное исчисление функций одной переменной
Очевидно, справедливо и обратное утверждение: если существуют такие числа k и l, что выполняется условие (15.23), то прямая y = kx + + l является асимптотой функции f при x → +∞, так как из (15.23) сразу следует условие (15.21).
П р и м е р. Найдем асимптоту функции
|
|
y = |
x2 + x + 1 |
. |
|
|
(15.24) |
|||
|
|
|
|
|
||||||
|
|
|
|
x − 1 |
|
|
x2 + x + 1 |
|
||
Согласно формулам (15.22) и (15.23) имеем k = lim |
= 1, |
|||||||||
x(x − 1) |
||||||||||
l = x→∞ |
2 |
x − 1 |
|
|
x→∞ |
|
||||
x |
− x = x→∞ x − 1 |
= . |
|
|||||||
lim |
|
|
|
|
lim |
|
2 |
|
|
Отсюда следует, что асимптотой функции (15.24) является прямая y = x + 2.
Уравнениями вида (15.20) описываются все прямые, которые не
параллельны оси Oy, т. е. не вертикальны. Поэтому асимптоты вида (15.20) называют также и наклонными асимптотами. Сформули-
руем теперь определение вертикальных асимптот.
О п р е д е л е н и е 7. Если для функции f выполнено хотя бы одно
из условий |
|
|
|
|
|
|
|
lim |
0 |
f (x) = |
∞ или |
lim |
, |
(15.25) |
|
x x0 |
− |
|
x x0 +0 f (x) = ∞ |
|
|||
→ |
|
|
|
→ |
|
|
то прямая x = x0 называется вертикальной асимптотой функции f.
Для того чтобы имело смысл рассматривать первый (второй) предел (15.25), здесь предполагается, что функция f задана на пересечении некоторой окрестности точки x0 с лучом x < x0 (с лучом x > x0).
Чтобы найти вертикальные асимптоты функции f , надо найти такие значения x0, для которых выполняются одно или оба условия (15.25). Например, для функции (15.24) вертикальной асимптотой является прямая x = 1, ибо
lim |
x2 + x + 1 |
= ∞. |
|||
x |
− |
1 |
|||
x 1 |
|||||
→ |
|
|
|
15.5.Построение графиков функций. С помощью развитого
вэтом параграфе математического аппарата можно изучать поведение функций и строить их графики. Общее изучение заданной функции целесообразно проводить в следующем порядке.
1. Определить область существования функции, область непрерывности и точки разрыва.
2. Найти наклонные и вертикальные асимптоты.
3. Приблизительно, вчерне, нарисовать график функции.
4. Вычислить первую, а если нужно, и вторую производные (без производных более высокого порядка обычно удается обойтись). Найти точки, в которых первая и вторая производные либо не суще-

§ 15. Исследование функций |
209 |
ствуют, либо равны нулю. Составить таблицу изменения знака первой
ивторой производных.
5.Определить интервалы возрастания, убывания, выпуклости вверх и вниз функции, найти точки экстремума (в том числе и концевые) и точки перегиба.
6.Окончательно вычертить график.
В результате, действуя подобным образом, мы, как правило, сумеем провести лишь качественное исследование заданной функции, так как, например, для нахождения точек экстремума согласно теореме 2 надо решить уравнение f (x) = 0, а может оказаться, что точные значения корней этого уравнения мы не сумеем найти, а сумеем лишь с большей или меньшей точностью найти интервалы, где они находятся. В этом случае методы математического анализа позволяют, вообще говоря, осуществлять лишь качественное изучение поведения функции, а их количественное изучение идет с помощью численных методов, возможности которых существенно расширяет использование современных вычислительных машин.
П р и м е р. Построить график функции
f (x) = x 3 (x − 1)2 . |
(15.26) |
Функция f определена и непрерывна на всей числовой оси, по-
этому у нее нет вертикальных асимптот. Поскольку lim |
f (x) |
= |
|||||||
x |
|||||||||
lim |
3 |
|
|
= +∞ |
|
x→±∞ |
|
||
1 |
2 |
, |
то у нее нет и наклонных асимптот. |
|
|||||
= x→±∞ |
(x − |
|
) |
|
|
Функция f неотрицательна при положительных значениях аргумента x и отрицательна при его отрицательных значениях; f (0) =
= f (1) = 0; |
|
|
|
|
|
lim |
f (x) = +∞ |
, |
x |
lim |
f (x) = −∞. |
x + |
|
→−∞ |
|||
→ ∞ |
|
|
|
|
Легко видеть, что f (x) x при x → 0, f (x) x5/3 как при x → +∞, так и при x → −∞.
На основе полученных данных можно построить эскиз графика функции (15.26) — он изображен на рис. 88. Для уточнения вида графика вычислим первую и вторую производные функции (15.26):
f (x) = |
5x − 3 |
|
, f (x) = |
2(5x − 6) |
. |
|||
3 |
√3 |
x − 1 |
|
|
9(x − 1)√3 |
x − 1 |
|
Поскольку f (3/5) = 0 и производная в точке x = 3/5 меняет знак с плюса на минус (отметим, что в достаточно малой окрестности точки x = 3/5 знаменатель у выражения для f (x) отрицателен), то эта точка является точкой максимума, что соответствует виду графика на рис. 85.

210 Гл. 1. Дифференциальное исчисление функций одной переменной
В точке x = 1 существует бесконечная производная, поэтому график функции (15.26) имеет в точке (1, 0) вертикальную касательную.
Наконец, f (6/5) = 0, и в точке x = 6/5 вторая производная меняет знак. Это означает, что точка x = 6/5 является точкой перегиба. Принимая во внимание все дополнительные исследования, можно существенно уточнить вид графика функции (15.26). Уточненный вид графика этой функции изображен на рис. 89.
§ 16. Векторные функции
16.1. Предел и непрерывность векторной функции.
В этом параграфе будут изучаться функции, значениями которых
являются векторы, а аргументами — числа. Такие функции называют
вектор-функциями или векторными функциями (числового аргумента). Они обозначаются жирным шрифтом: r(t), или с помощью черты над значениями функции: OM (t), t X, где X — некоторое числовое множество.
В этом определении в зависимости от рассматриваемых задач под векторами r(t) могут пониматься как свободные векторы, так и векторы с закрепленными началами. Если начала всех векторов
закреплены в одной и той же точке (обычно — начало координат), то такие векторы называются радиусами-векторами.
Если в трехмерном евклидовом пространстве задана прямоугольная система координат, то, как хорошо известно, каждому вектору соответствует упорядоченная тройка действительных чисел — его координат и, наоборот, каждой упорядоченной тройке чисел соответствует вектор, для которого числа, входящие в эту тройку, являются его координатами. Поэтому задание вектор-функции r(t), t X, эквивалентно заданию трех скалярных, т. е. числовых, функций x(t), y(t), z(t), t X, являющихся его координатами:
r(t) = (x(t), y(t), z(t)), t X.

§ 16. Векторные функции |
211 |
Длина (абсолютная величина) всякого вектора a, обозначается |a| скалярное произведение векторов a и b — через ab или (a, b), а векторное — через a×b или [a, b].
Определим понятия предела, непрерывности, производной и дифференциала для векторных функций.
О п р е д е л е н и е 1. Вектор a называют пределом вектор-функ- ции r(t), t X, при t → t0 (или в точке t = t0) и пишут
lim r(t) = a, |
(16.1) |
|||
t→t0 |
|
|
|
|
если |
|
|
|
|
lim |
0 |
( |
16 2 |
) |
t t0 |
|r(t) − a| = . |
. |
||
→ |
|
|
|
|
В этом определении |r(t) − a| — числовая функция. Таким образом, понятие предела векторной функции сводится к понятию предела скалярной функции. Вспомнив определение этого понятия, получим, что (16.1) означает, что для любого ε > 0 существет такое δ > 0, что для всех
t X ∩ U (t0, δ) |
(16.3) |
выполняется неравенство |
|
|r(t) − a| < ε. |
(16.4) |
Как и в случае скалярных функций, будем предполагать, что t0 является точкой прикосновения (конечной или бесконечно удаленной) множества X. Если t0 — конечная точка, то условие (16.3) можно записать в виде
|t − t0| < δ, t X, |
(16.5) |
а если t0 — одна из бесконечно удаленных точек ∞, +∞ или −∞, то соответственно в одном из следующих трех видов:
|t| > 1/δ, t > 1/δ, t < −1/δ, |
(16.6) |
и, конечно, всегда t X. |
|
Если начало всех векторов r(t) |
поместить |
в одну точку (например, в начало координат),
то условие (16.4) будет означать, что концы всех векторов r(t) при t X ∩ U (t0, δ) лежат в шаре радиуса ε с центром в конце вектора a (рис. 90).
Если r(t) = (x(t), y(t), z(t)) и a = (a1, a2, a3), то |
|
|r(t) − a| = [x(t) − a1]2 + [y(t) − a2]2 + [z(t) − a3]2 |
(16.7) |

212 Гл. 1. Дифференциальное исчисление функций одной переменной
и, следовательно, |
|
|x(t) − a1| |r(t) − a|, |
|
|y(t) − a2| |r(t) − a|, |
(16.8) |
|z(t) − a3| |r(t) − a|. |
|
Поэтому предел |
(16.9) |
lim r(t) = a |
t→t0
векторной функции r(t) существует в том и только том случае, когда существуют пределы ее координат
lim x(t) = a1, |
lim y(t) = a2, |
lim z(t) = a3. |
(16.10) |
t→t0 |
t→t0 |
t→t0 |
|
Действительно, в силу соотношений (16.7) и (16.8) для того, чтобы выполнялось условие (16.2), необходимо и достаточно, чтобы
lim |
|x(t) − a1| = |
0, lim |
y(t) |
− |
a |
2| |
= 0, |
lim z(t) |
− |
a |
3| |
= 0. |
|
t t0 |
t t0 |
| |
|
|
t t0 |
| |
|
|
|||||
→ |
|
→ |
|
|
|
|
|
→ |
|
|
|
|
|
Аналогично случаю числовых функций, если t0 X и на множестве X существует предел lim r(t), то этот предел равен значению
t→t0
функции r(t) в точке t0: lim r(t) = r(t0).
t→t0
О п р е д е л е н и е 2. Если t0 — конечная точка и для функции r(t), t X, имеет место равенство
lim r(t) = r(t0),
то эта функция называется непрерывной в точке t0.
Как и в случае скалярных функций, условие (16.11) выполняется
|
lim r(t) |
и |
t |
0 |
X. |
||
тогда и только тогда, когда существует t |
t0 |
|
|
|
|||
|
→ |
|
t) − r(t0), то условие |
||||
Если положить |
t = t − t0, r = r(t0 |
+ |
|||||
(16.11) примет вид |
lim r = 0. |
|
|
|
|
|
|
t→0
Из эквивалентности условий (16.9) и (16.10) следует, что векторная функция непрерывна в некоторой точке тогда и только тогда, когда в этой точке непрерывны все ее координатные функции.
Отметим основные свойства пределов векторных функций.
1◦. Если lim r(t) = a, то lim |r(t)| = |a|.
Это непосредственно следует из неравенства ||r| − |a|| |r − a|. Геометрический смысл этого неравенства состоит в том, что раз-
ность длин двух сторон треугольника не превышает длины его третьей стороны.
2◦. lim [r1 |
(t) + r2(t)] = lim r1 |
(t) + lim r2(t). |
||
t→t0 |
t→t0 |
t→t0 |
||
3◦. lim f (t)r(t) = lim f (t) lim r(t) |
(f (t) — скалярная функция). |
|||
t→t0 |
t→t0 |
t→t0 |
|
|
4◦. lim r1(t)r2(t) = lim r1 |
(t) lim r2 |
(t). |
§ 16. Векторные функции |
213 |
5◦. lim r1(t) |
× |
r |
(t) = lim r1(t) |
lim r |
(t). |
|
t t0 |
2 |
t t0 |
× t t0 |
2 |
|
|
→ |
|
|
→ |
→ |
|
|
В свойствах 2◦–5◦ все рассматриваемые функции определены на некотором множестве X R; предполагается, что все пределы, входящие в правые части равенств, существуют, и утверждается, что существуют пределы, стоящие в левых частях, причем имеют место написанные формулы.
Все эти свойства доказываются методом, аналогичным методу, которым доказывались свойства пределов скалярных функций в п. 6.7.
Докажем в качестве примера свойство 5◦. Заметим предваритель-
но, что для любых двух векторов p и q справедливо неравенство |
|
|p × q| = |p||q| sin pq |p||q|. |
(16.12) |
Поэтому если p = p(t), q = q(t), причем lim p(t) = 0 и, следовательно, |
||||||||||||||||||||||||||||||
lim |
|
0, |
|
|
|
|
|
|
|
t→t0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
t t0 |p(t)| = |
|
а |
|q(t)| — ограниченная функция, то в силу неравен- |
|||||||||||||||||||||||||||
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ства (16.12) |
|
|
|
|
|
|
lim |
× q| = |
0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
16 13 |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
t t0 |p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
. ) |
|||
|
lim p |
|
q = 0. |
→ |
|
|
|
|
lim r |
(t) = a, |
lim r |
(t) = b. |
||||||||||||||||||
|
× |
Пусть теперь |
|
|||||||||||||||||||||||||||
а поэтому t |
t0 |
|
|
|
|
|
t |
t0 |
|
1 |
|
|
|
|
|
|
t |
t0 |
2 |
|
|
|||||||||
Положим |
→ |
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|||
|
|
|
def |
|
|
|
|
|
def |
|
|
(t) − b, |
|
|
|
|
|
|
|
(16.14) |
||||||||||
|
|
|
|
α(t) = r1(t) − a, |
|
β(t) = r2 |
|
|
|
|
|
|
|
|||||||||||||||||
тогда, согласно (16.2), |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
lim |
|
lim |
β(t) |
= 0. |
|
|
|
|
|
|
|
|
|
|
(16.15) |
||||||||||
|
|
|
|
|
t t0 |
|α(t)| = t t0 | |
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
→ |
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Преобразуем произведение r1(t) × r2(t) с помощью формул (16.14): |
||||||||||||||||||||||||||||||
r1(t) × r2(t) = [a + α(t)] × [b + β(t)] = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
= a × b + a × β(t) + α(t) × b + α(t) × β(t). (16.16) |
||||||||||||||||||||||||||
Здесь в силу (16.13) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
lim |
|
|
|
|
lim α(t) |
|
b = lim |
| |
α(t) |
× |
β(t) |
= 0, |
|
|
|||||||||||||||
|
t t0 |a × |
β(t)| = t t0 | |
× | |
|
t t0 |
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|||||||||||
|
→ |
|
|
|
|
|
→ |
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а так как |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|a × β(t) + α(t) × b + α(t) × β(t)| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|a × β(t)| + |α(t) × b| + |α(t) × β(t)|, |
||||||||||||||||||||||
lim |
a |
β(t) + α(t) |
× |
b + α(t) |
× |
β(t) |
= 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
то t t0 |
| × |
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
→ |
|
|
|
|
|
|
|
|
lim |
r |
(t) |
|
|
r |
(t) |
|
a |
|
|
|
|
= 0, |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
b |
что |
|||||||||||||||||
Отсюда в силу (16.16) имеем t t0 |
| |
1 |
|
|
× |
|
2 |
|
|
− |
|
|
× | |
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
согласно определению 1 (см. (16.2)) и доказывает свойство 5◦. |
|
Из свойств пределов векторных функций и определения их непрерывности следует, что сумма, скалярное и векторное произведения векторных функций, а также произведение скалярных функций

214 Гл. 1. Дифференциальное исчисление функций одной переменной
на векторные непрерывны в некоторой точке, если в этой точке непрерывны все слагаемые или соответственно сомножители.
16.2. Производная и дифференциал векторной функции.
Пусть векторная функция r(t) задана в некоторой окрестности точки
t0; тогда соотношение |
r(t) − r(t0) |
определено в соответствующей про- |
||||||||||
|
|
t − t0 |
|
|
|
|
|
|
|
|
||
колотой окрестности точки t0. |
|
|
|
|
|
|
|
|
||||
О п р е д е л е н и е 3. Предел lim |
r(t) − r(t0) |
|
(если он, конечно, су- |
|||||||||
|
|
t→t0 |
t − t0 |
|
|
|||||||
ществует) называется производной векторной функции r(t) в точке t0 |
||||||||||||
и обозначается r (t0) или r˙ (t0). |
|
|
|
|
|
|
|
t) − r(t0), то |
||||
Если положить t = t − t0, r = r(t) − r(t0) = r(t0 + |
||||||||||||
|
|
def |
|
|
r |
|
|
|
|
|
||
|
|
r (t0) = lim |
|
|
. |
|
|
|
(16.17) |
|||
|
|
|
t |
|
|
|||||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
t→ |
|
|
|
|
|
|
|
Пусть r(t) = (x(t), y(t), z(t)). Так как |
|
|
|
|
|
|
||||||
r(t) − r(t0) = |
|
x(t) − x(t0) , |
y(t) − y(t0) , |
z(t) − z(t0) , |
||||||||
t − t0 |
|
|
|
|
|
t − t0 |
|
|||||
t − t0 |
t − t0 |
то в силу (16.9), (16.10) для того, чтобы векторная функция r(t) = = (x(t), y(t), z(t)) имела производную в точке t0, необходимо и достаточно, чтобы ее координаты x(t), y(t), z(t) имели производные в точке t0, причем в этом случае
r (t0) = (x (t0), y (t0), z (t0)). (16.18)
Производную r (t) вектор-функции r(t) называют также скоростью изменения вектора r(t) относительно параметра t. В случае
когда длина вектора r(t) не меняется, производная r (t) называется также и скоростью вращения вектора r(t), а ее абсолютная величина — численным значением скорости его вращения.
З а м е ч а н и е 1. По аналогии со случаем скалярных функций векторную функцию α(t), t X, называют бесконечно малой по
сравнению со скалярной функцией β(t), t X, при t → t0 и пишут α(t) = o(β(t)), t → t0, если существует векторная функция ε(t), определенная на том же множестве X, что и функции α(t), β(t), такая, что в некоторой окрестности точки t = t0 имеет место равенство
α(t) = ε(t)β(t), t X, и
lim ε(t) = 0.
t→t0
Как и для скалярных функций, если t0 X, то функция ε(t) непрерывна в точке t0, и потому ε(t0) = 0.
З а м е ч а н и е 2. Вектор-функция аргумента t называется линейной, если она имеет вид at + b, где a и b — какие-либо два фиксированных вектора.

§ 16. Векторные функции |
215 |
После этих вводных замечаний можно определить понятие дифференцируемости и дифференциала вектор-функции.
О п р е д е л е н и е 4. Вектор-функция r(t), заданная в некоторой
окрестности точки t0 |
, называется дифференцируемой при t = t0, если |
|
ее приращение r = r(t0 + t) − r(t0) в точке t0 |
представимо в виде |
|
|
r = a t + o(Δt), Δt → 0. |
(16.19) |
При этом линейная вектор-функция a t приращения аргумен-
та t называется дифференциалом функции r(t) в точке t0 |
и обозна- |
чается через dr, т. е. dr = a t. |
|
Таким образом, |
|
r = dr + o(Δt), Δt → 0. |
(16.20) |
Здесь функция o(Δt) определена при |
t = 0; в этой точке она равна |
|
нулю: |
o(Δt) Δt=0 = (Δr − aΔt) Δt=0 = 0. |
|
|
|
|
|
|
|
Следовательно, если представить эту функцию o(Δt) в виде (см. замечание 1) o(Δt) = ε(Δt)Δt, то функция ε(Δt) также будет определена при t = 0, а поэтому, как было отмечено выше, в этом случае ε(0) = 0. Благодаря этому здесь предел
lim ε(Δt) = 0 |
(16.21) |
t→0 |
|
рассматривается не по проколотой, а по целой окрестности точки t = 0.
Формулу (16.19) теперь можно записать в виде
r = a t + ε(Δt)Δt, lim ε(Δt) = 0. |
(16.22) |
t→0 |
|
Докажем несколько простых утверждений о дифференцируемых векторных функциях, аналогичных соответствующим утверждениям для скалярных функций.
I. Если векторная функция дифференцируема в некоторой точке, то она и непрерывна в этой точке.
lim |
r = lim (a t + ε(Δt)Δt) = 0. |
t→0 |
(16.22) t→0 |
II. Если векторная функция r(t) дифференцируема в точке t0, то она имеет в этой точке производную и
r (t0) = a,
где вектор a определяется формулой (16.19).
Действительно,
lim |
r |
= lim |
a + |
o(Δt) |
|
= a. |
|
|
|
|
|||||||
t |
t |
|||||||
t→0 |
(16.19) t→0 |
|
|

216 Гл. 1. Дифференциальное исчисление функций одной переменной
Верным является и обратное утверждение.
III. Векторная функция, имеющая в некоторой точке производ-
ную, дифференцируема в этой точке. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Если существует производная r (t0) = |
lim0 |
|
r |
и, следовательно, |
|||||||||||||||||||
|
t |
||||||||||||||||||||||
|
|
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
t→ |
|
|
|
|
|
||
r (t |
) = |
|
+ ε(Δt), |
t = 0, где |
|
|
lim |
ε(Δt) = 0, то |
|
|
|
||||||||||||
|
|
|
|
|
|
||||||||||||||||||
0 |
|
|
t |
|
|
|
|
|
t 0, t=0 |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r = r (t0)Δt + ε(Δt)Δt. |
|
|
|
|
|
||||||||||||
Полагая ε(0) = 0, получим, что условие |
lim ε(t) = 0 выполняется |
||||||||||||||||||||||
и без ограничения |
t = 0. |
|
|
|
|
|
|
|
|
t→0 |
|
|
|
|
|
||||||||
|
|
|
(16.22) при a = r (t0), |
т. е. функ- |
|||||||||||||||||||
Таким |
|
образом, |
имеет место |
||||||||||||||||||||
ция r(t) дифференцируема в точке t0 и |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
dr(t0) = r (t0)Δt. |
|
|
|
|
|
||||||||||||
По определению считается, что dt |
def |
t. Поэтому (опуская для |
|||||||||||||||||||||
= |
|
||||||||||||||||||||||
простоты обозначения аргумента) имеем dr = r dt, или r |
= |
dr |
. |
||||||||||||||||||||
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dt |
|
IV. Если t = t(τ ) — дифференцируемая в точке τ0 числовая функ- |
|||||||||||||||||||||||
ция, а r(t) — дифференцируемая в точке t0 = t(τ0) векторная функ- |
|||||||||||||||||||||||
ция, то сложная функция r(t(τ )) |
|
дифференцируема в точке τ0 и |
|||||||||||||||||||||
|
|
|
|
|
|
rτ (t(τ0)) = rt(t0)tτ (τ0), |
|
|
|
|
|
||||||||||||
или, короче |
|
|
|
dr |
|
= |
|
dr |
dt . |
|
|
|
|
|
(16.23) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
dτ |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
dt dτ |
τ = 0 |
|
|
|
|
|
|||||||
Из соотношения (16.22) имеем при |
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
r |
= r |
|
t |
|
+ ε(Δt) |
|
t |
. |
|
|
(16.24) |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
τ |
t |
τ |
|
|
|
|
|
τ |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
По условию функция t = t(τ ) дифференцируема в точке τ0, т. е.
существует конечный предел |
|
|
|
|
lim |
t |
= t (τ0). |
(16.25) |
|
τ |
||||
0 |
|
|
||
τ → |
|
|
|
Отсюда следует, что эта функция в рассматриваемой точке непре-
рывна: |
|
lim t = 0. |
|
τ →0 |
lim ε(Δt) = 0. |
Поэтому из условия (16.21) вытекает, что |
|
Из всего сказанного следует, что при |
τ →0 |
τ → 0 правая часть ра- |
венства (16.24), а следовательно, и его левая часть имеют конечные
пределы. Это означает, что в точке τ0 существует производная rτ |
и что |
|||||||||||||||||
r (t(τ0)) = |
lim |
r |
= |
lim |
r |
(t |
) |
t |
+ ε(Δt) |
t |
|
= r |
(t |
)t |
τ |
(τ |
). |
|
τ |
|
τ |
||||||||||||||||
τ →0 |
|
τ →0 |
|
0 |
|
τ |
t |
0 |
|
0 |
|