
- •Глава 4 дифференциальное исчисление числовых функций многих действительных переменных
- •§1. Частные производные функции многих переменных
- •Определения и обозначения частных производных
- •1.2. Геометрическое значение частных производных функции двух переменных
- •§2. Дифференцируемые функции многих переменных. Полный дифференциал
- •2.1. Дифференцируемые функции многих переменных и их свойства
- •2.2. Полный дифференциал функции многих переменных
- •Последнюю формулу пишут еще в такой форме
- •2.3. Достаточные условия дифференцируемости функции многих переменных
- •§3. Касательная плоскость и нормаль к поверхности. Геометрическое значение полного дифференциала
- •§4. Дифференцирование сложных функций многих переменных. Инвариантность формы полного дифференциала
- •§5. Теорема эйлера для однородных функций
- •§ 6. Приложения дифференциального исчисления функций многих переменных
- •6.1. Производная по заданному направлению
- •6.1.1. Определение производной по заданному направлению
- •6.1.2. Существование и способ вычисления производной по заданному направлению
- •6.2. Исследование пространственных кривых
- •6.2.1. Векторное уравнение пространственной кривой
- •6.2.2. Производная по дуге пространственной кривой
- •6.2.3. Кривизна пространственной кривой
- •6.3. Скалярное поле. Градиент
- •§7. Частные производные высших порядков. Теорема о независимости результата от порядка дифференцирования
- •§ 8. Полные дифференциалы высших порядков для функции многих переменных
- •§ 9. Формула тейлора для функции многих переменных
- •§10. Неявные числовые функции одного действительного переменного
- •10.1. Определение и примеры неявных числовых функций
- •10.2. Условия существования неявной числовой функции с геометрической точки зрения
- •10.3. Теорема о существовании неявной числовой функции.
- •10.4. Теорема о дифференцировании неявной числовой функции.
- •§ 11. Экстремум функции многих переменных
- •11.1. Определения. Необходимые условия существования экстремума.
- •11.2 Достаточные условия экстремума функции двух переменных
- •11.3. Условный экстремум.
- •11.3.1. Необходимые условия для существования условного экстремума
- •11.3.2. Метод неопределенных множителей Лагранжа
- •Упражнения
6.1. Производная по заданному направлению
Начнём с рассмотрения конкретного примера. Для функции
частные
производные равны
.
В точке P0(1,2,3) частные производные принимают значения
,
,
.
Эти три числа являются характеристиками быстроты изменения функции.
Именно из равенства заключаем о том, что функция u в точке P0 в направлении оси Ox возрастает быстрее, чем x в 23 раза.
Из равенства заключаем, что функция u в направлении оси Oy, в точке P0 возрастает быстрее, чем y в 16 раз.
Наконец равенство говорит о том, что в направлении оси Oz, в точке P0 функция u в 34 раза возрастает быстрее, чем z.
Однако, часто бывает нужно знать, как быстро изменяется функция в некоторой точке P0 по направлению, которое не параллельно направлениям координатных осей Оx, Оy, Оz.
Для ответа на поставленный вопрос нужно ввести новое понятие – понятие производной по заданному направлению в данной точке.
Прежде чем дать
определение
производной
по заданному направлению,
напомним, что направление
в данной точке P0(x0,y0,z0)
задается тремя углами
,
которые образует прямая, проходящая
через точку P0(x0,y0,z0),
соответственно с координатными осями
Ox,
Oy,
Oz
(книга 2,
гл.4, §3, п.3.3).
Эти три угла однозначно определяют в
точке P0
направление
и поэтому, в дальнейшем заданное
направление
в точке P0
будем записывать, коротко следующим
образом:
.
6.1.1. Определение производной по заданному направлению
Пусть функция
(4.36)
задана
в трехмерной
области D
и P0(x0,y0,z0)
есть внутренняя точка в D.
Зададим в точке P0
некоторое направление
(рис.31) и выберем на нём точку P(x,y,z).
При переходе из точки P0
в точку P
функция (4.36) получает приращение, равное
.
Разделим это приращение функции на
расстояние
между точками P
и P0
и рассмотрим отношение
Рис. 31 нанести точки
Определение.
Производная
по заданному направлению
от функции
в точке P0(x0,y0,z0),
обозначается
,
есть предел выражения
когда
,
причём так, что точка P(x,y,z)
стремится к точке P0(x0,y0,z0),
оставаясь
на направлении
,
если этот предел существует и конечен,
т.е.
. (4.37)
6.1.2. Существование и способ вычисления производной по заданному направлению
Существование и способ вычисления производной по заданному направлению устанавливается следующей теоремой.
Теорема. Для существования производной по любому заданному направлению в точке P0(x0,y0,z0) от функции , достаточно, чтобы эта функция была дифференцируемой в точке P0, причём справедливо равенство
.
Для
доказательства возьмём на произвольном
направлении
,
выходящем из точки
P0(x0,y0,z0),
ещё одну точку
и обозначим через
расстояние между ними.
Составим полное приращение функции
.
В
силу предположенной дифференцируемости
функции
в точке P0,
получаем
=
+
ερ.
Деля
обе части последнего равенства на
,
находим
.
Поскольку
(см. книга 2, гл.4, §3, п.3.3) этому равенству
можно придать следующий вид
. (4.38)
Когда
и при этом точка P
остаётся на направлении
,
то в правой части (4.38) первые три члена
остаются постоянными, а слагаемое ε
стремится к нулю:
.
Но это означает, что правая часть (4.38)
при условии
(точка P
остаётся на направлении
)
имеет предел равный
,
а поэтому при этих условиях существует
предел в левой части (4.38) и
.
Следовательно,
в согласии с определением, в точке P0
существует производная
по заданному направлению
и справедливо равенство
или что то же самое
. (4.39)
Теорема доказана.
Рассмотрим частные случаи применения формулы (4.39).
Направление
в точке P0(x0,y0,z0)
параллельно положительному направлению
оси Ox.
Поэтому,
,
,
и формула (4.39) принимает вид
.
Если
в точке P0
рассмотреть направление
,
то оно параллельно положительному
направлению оси Oy
и тогда формула (4.39) даёт
.
Наконец,
если в точке P0
направление
задано углами
,
то
.
Из изложенного следует, что понятие производной по заданному направлению является обобщением понятия частной производной и никаких других новых формул дифференцирования для нахождения производной по заданному направлению кроме умения находить частные производные и формулы (4.39) не требуется.