- •Глава 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) не требуется.