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

Краткий курс математического анализа. Том 1

.pdf
Скачиваний:
817
Добавлен:
10.05.2015
Размер:
5.57 Mб
Скачать

§ 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)

t→t0
t→t0
t→t0
t→t0 t→t0
t→t0
(16.11)

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

 

 

 

 

 

В свойствах 25 все рассматриваемые функции определены на некотором множестве 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 + εtt, lim εt) = 0.

(16.22)

t→0

 

Докажем несколько простых утверждений о дифференцируемых векторных функциях, аналогичных соответствующим утверждениям для скалярных функций.

I. Если векторная функция дифференцируема в некоторой точке, то она и непрерывна в этой точке.

lim

r = lim (a t + εtt) = 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 (t0t + εtt.

 

 

 

 

 

Полагая ε(0) = 0, получим, что условие

lim ε(t) = 0 выполняется

и без ограничения

t = 0.

 

 

 

 

 

 

 

 

t→0

 

 

 

 

 

 

 

 

(16.22) при a = r (t0),

т. е. функ-

Таким

 

образом,

имеет место

ция r(t) дифференцируема в точке t0 и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dr(t0) = r (t0t.

 

 

 

 

 

По определению считается, что 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)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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