Производная по направлению

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

НазначениеПравить

Производная функции одной переменной показывает, как изменяется её значение при малом изменении аргумента. Если мы попытаемся по аналогии определить производную функции многих переменных, то столкнёмся с трудностью: в этом случае изменение аргумента (то есть точки в пространстве) может происходить в разных направлениях, и при этом будут получаться разные значения производной. Именно это соображение и приводит к определению производной по направлению|.

ОпределениеПравить

Рассмотрим дифференцируемую функцию $f(x_1,\dots <!--\; \dots \; -->,x_n)$$f(x_{1},\;\ldots ,\;x_{n})$  от $n$$n$  аргументов в окрестности точки $\stackrel{\to <!--\; \to \; -->}{x}{}^0=(x_1^0,\dots <!--\; \dots \; -->,x_n^0)$${\vec {x}}{\,}^{0}=(x_{1}^{0},\;\ldots ,\;x_{n}^{0})$ . Для любого единичного вектора $\stackrel{\to <!--\; \to \; -->}{e}=(e_1,\dots <!--\; \dots \; -->,e_n)$${\vec {e}}=(e_{1},\;\ldots ,\;e_{n})$  определим производную функции $f$$f$  в точке $\stackrel{\to <!--\; \to \; -->}{x}{}^0$${\vec {x}}{\,}^{0}$  по направлению $\stackrel{\to <!--\; \to \; -->}{e}$$\vec{e}$  следующим образом:

${\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}f(\stackrel{\to <!--\; \to \; -->}{x}{}^0)=\underset{h\to <!--\; \to \; -->0}{lim}\frac{f(\stackrel{\to <!--\; \to \; -->}{x}{}^0+h\cdot <!--\; \cdot \; -->\stackrel{\to <!--\; \to \; -->}{e})-<!--\; -\; -->f(\stackrel{\to <!--\; \to \; -->}{x}{}^0)}{h}$$\nabla _{\mathbf {e} }{f}({\vec {x}}{\,}^{0})=\lim _{h\to 0}{\frac {f({\vec {x}}{\,}^{0}+h\cdot {\vec {e}})-f({\vec {x}}{\,}^{0})}{h}}$ 

Значение этого выражения показывает, как быстро меняется значение функции при сдвиге аргумента в направлении вектора $\stackrel{\to <!--\; \to \; -->}{e}$$\vec{e}$ .

Если направление сонаправленно с координатной осью, то производная по направлению совпадает с частной производной по этой координате.

В источниках встречаются разные обозначения для производной по направлению $\stackrel{\to <!--\; \to \; -->}{e}$${\vec {e}}$ :

• ${\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}f(\stackrel{\to <!--\; \to \; -->}{x}{}^0)$$\nabla _{\mathbf {e} }{f}({\vec {x}}{\,}^{0})$ 
• $\frac{\mathrm{\partial <!--\; \partial \; -->}f(\stackrel{\to <!--\; \to \; -->}{x}{}^0)}{\mathrm{\partial <!--\; \partial \; -->}\mathbf{e}}$${\frac {\partial {f({\vec {x}}{\,}^{0})}}{\partial {\mathbf {e} }}}$ 
• ${\mathrm{\partial <!--\; \partial \; -->}}_{\mathbf{e}}f(\stackrel{\to <!--\; \to \; -->}{x}{}^0)$$\partial _{\mathbf {e} }f({\vec {x}}{\,}^{0})$  или $D_{\mathbf{e}}f(\stackrel{\to <!--\; \to \; -->}{x}{}^0)$$D_{\mathbf {e} }f({\vec {x}}{\,}^{0})$ 

Производная по направлению имеет те же свойства, что и обычная производная функции одного аргумента:

• ${\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}(f+g)={\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}f+{\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}g$$\nabla _{\mathbf {e} }(f+g)=\nabla _{\mathbf {e} }f+\nabla _{\mathbf {e} }g$ 
• ${\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}(cf)=c{\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}f$$\nabla _{\mathbf {e} }(cf)=c\nabla _{\mathbf {e} }f$ 
• ${\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}(fg)=g{\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}f+f{\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}g$$\nabla _{\mathbf {e} }(fg)=g\nabla _{\mathbf {e} }f+f\nabla _{\mathbf {e} }g$ 
• ${\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}(h\circ <!--\; \circ \; -->g)(\mathbf{p})=h^{\prime }(g(\mathbf{p})){\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}g(\mathbf{p})$$\nabla _{\mathbf {e} }(h\circ g)(\mathbf {p} )=h'(g(\mathbf {p} ))\nabla _{\mathbf {e} }g(\mathbf {p} )$ 

Выражение производной по направлению через частные производныеПравить

Пусть направляющий вектор направления $e$$e$  имеет координаты $(e_1,e_2\dots <!--\; \dots \; -->e_n)$$(e_{1},e_{2}\dots e_{n})$ . Тогда имеет место формула:

${\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}f(\mathbf{x})=\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}{x}_1}{e}_1+\cdots <!--\; \cdots \; -->+\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}{x}_n}{e}_n$$\nabla _{\mathbf {e} }{f}(\mathbf {x} )={\frac {\partial f}{\partial x_{1}}}e_{1}+\dots +{\frac {\partial f}{\partial x_{n}}}e_{n}$ 

На языке векторного анализа эту формулу можно записать иначе. Производную по направлению дифференцируемой по совокупности переменных функции можно рассматривать как проекцию градиента функции на это направление, или иначе, как скалярное произведение градиента на орт направления|:

${\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{e}}f(\mathbf{x})=\mathrm{\nabla <!--\; \nabla \; -->}f\cdot <!--\; \cdot \; -->\stackrel{\to <!--\; \to \; -->}{e}$$\nabla _{\mathbf {e} }{f}(\mathbf {x} )=\nabla f\cdot {\vec {e}}$ 

Отсюда следует, что в заданной точке производная по направлению принимает максимальное значение тогда, когда её направление совпадает с направлением градиента функции в данной точке.

Нормальная производнаяПравить

Нормальная производная — производная по направлению нормали некоторой поверхности. Понятие нормальной производной особенно важно при решении краевых задач (см. пример в статье Задача Неймана). Если нормаль обозначить $\mathbf{n}$$\mathbf {n}$ , то нормальная производная $\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}\mathbf{n}}$${\frac {\partial f}{\partial \mathbf {n} }}$  для функции f даётся формулой:

${\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{n}}f(\mathbf{x})=\frac{\mathrm{\partial <!--\; \partial \; -->}f(\mathbf{x})}{\mathrm{\partial <!--\; \partial \; -->}\mathbf{n}}=\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}\mathbf{x}}\cdot <!--\; \cdot \; -->\mathbf{n}=\mathrm{\nabla <!--\; \nabla \; -->}f(\mathbf{x})\cdot <!--\; \cdot \; -->\mathbf{n}$$\nabla _{\mathbf {n} }{f}(\mathbf {x} )={\frac {\partial f(\mathbf {x} )}{\partial \mathbf {n} }}={\frac {\partial f}{\partial \mathbf {x} }}\cdot \mathbf {n} =\nabla f(\mathbf {x} )\cdot \mathbf {n}$ 

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

Вариации и обобщенияПравить

До сих пор рассматривались функции в евклидовом пространстве, однако производная по направлению может быть определена в произвольном гладком многообразии. Пусть $\mathbf{P}$${\mathbf {P}}$  — выбранная точка многообразия, $\mathrm{\gamma <!--\; \gamma \; -->}$$\gamma$  — гладкая кривая, проходящая через точку P ($\mathrm{\gamma <!--\; \gamma \; -->}(t_0)=P$$\gamma (t_{0})=P$ ), $v$$v$  — касательный вектор для кривой $\mathrm{\gamma <!--\; \gamma \; -->}$$\gamma$  в точке P. Тогда можно определить ковариантную производную по направлению вектора $v$$v$ :

${\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathbf{v}}f(\mathbf{P})={\frac{d}{dt}f(\mathrm{\gamma <!--\; \gamma \; -->}(t))|}_{t=t_0}.$$\nabla _{\mathbf {v} }f(\mathbf {P} )=\left.{\frac {d}{dt}}f(\gamma (t))\right|_{t=t_{0}}.$ 

Можно показать, что это определение зависит только от вектора $v$$v$ , то есть для всех кривых с общим касательным вектором значение ковариантной производной будет одно и то же.

Ещё одно обобщение — производная Гато.

См. такжеПравить

• Полная производная функции

ЛитератураПравить

• Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — Изд. 6-е. — М.: Наука, 1966. — Т. I. — С. 391—394.

СсылкиПравить

• Производная по направлению с примерами на YouTube
• "Свободный полет по производным" — перевод статьи Calculus: Building Intuition for the Derivative | BetterExplained (англ.)