Дифференцирование сложной функции (:nssyjyuenjkfguny vlk'ukw srutenn)

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

Если функция $f$ имеет производную в точке $x_{0}$ , а функция $g$ имеет производную в точке $y_{0}=f(x_{0})$ , то сложная функция $h(x)=g(f(x))$ также имеет производную в точке $x_{0}$ .

Одномерный случай

Пусть даны функции, определённые в окрестностях на числовой прямой, $f:U(x_{0})\to V(y_{0}),$ где $y_{0}=f(x_{0}),$ и $g:V(y_{0})\to \mathbb {R}$ Пусть также эти функции дифференцируемы: $f\in {\mathcal {D}}(x_{0}),\;g\in {\mathcal {D}}(y_{0}).$ Тогда их композиция также дифференцируема: $h=g\circ f\in {\mathcal {D}}(x_{0}),$ и её производная имеет вид^[1]:

h'(x_{0})=g'{\bigl (}f(x_{0}){\bigr )}\cdot f'(x_{0}).

Замечание

В обозначениях Лейбница цепное правило для вычисления производной функции $y=y(x),$ где $x=x(t),$ принимает следующий вид:

{\frac {dy}{dt}}={\frac {dy}{dx}}\cdot {\frac {dx}{dt}}.

Инвариантность формы первого дифференциала

Дифференциал функции $z=g(y)$ в точке $y_{0}$ имеет вид:

dz=g'(y_{0})\,dy,

где $dy$ — дифференциал тождественного отображения $y\to y_{0}$ :

dy(h)=h,\quad h\in \mathbb {R} .

Пусть теперь $y=f(x),\;x\in U(x_{0}),\;f\in {\mathcal {D}}(x_{0}).$ Тогда $dy=f'(x_{0})\,dx$ , и согласно цепному правилу:

dz=g'{\bigl (}f(x_{0}){\bigr )}\cdot f'(x_{0})\,dx=g'(y_{0})\,dy.

Таким образом, форма первого дифференциала остаётся одной и той же вне зависимости от того, является ли переменная функцией или нет.

Пример

Пусть $h(x)={(3x^{2}-5x)}^{7}.\;$ Тогда функция $h\;$ может быть записана в виде композиции $h=g\circ f,$ где

f(x)=3x^{2}-5x,\;

g(y)=y^{7}.\;

Дифференцируя эти функции отдельно:

f'(x)=6x-5,\;

g'(y)=7y^{6},\;

получаем

h'(x)=7(3x^{2}-5x)^{6}\cdot (6x-5).

Многомерный случай

Пусть дана точка $t=(t_{1},\ldots ,t_{n})\in \mathbb {R} ^{n}$ и в этой точке заданы дифференцируемые функции $x_{i}=\varphi _{i}(t),\ i={\overline {1,m}}$ . Тогда функция $u=f(x_{1},\ldots ,x_{m})$ дифференцируема в точке $t=(t_{1},\ldots ,t_{n})$ , и её частные производные по $t_{i},\ i={\overline {1,n}}$ выражаются следующим образом^[1]:

{\frac {\partial u}{\partial t_{i}}}=\sum _{j=1}^{m}{{\frac {\partial u}{\partial x_{j}}}{\frac {\partial x_{j}}{\partial t_{i}}}}={\frac {\partial u}{\partial x_{1}}}{\frac {\partial x_{1}}{\partial t_{i}}}+{\frac {\partial u}{\partial x_{2}}}{\frac {\partial x_{2}}{\partial t_{i}}}+\ldots +{\frac {\partial u}{\partial x_{m}}}{\frac {\partial x_{m}}{\partial t_{i}}}.

Её дифференциал можно определить как:

\mathrm {d} u=\sum _{k=1}^{n}{A_{k}\mathrm {d} t_{k}}

, где

A_{k}={\frac {\partial u}{\partial x_{1}}}{\frac {\partial x_{1}}{\partial t_{k}}}+\ldots +{\frac {\partial u}{\partial x_{m}}}{\frac {\partial x_{m}}{\partial t_{k}}}

В частности, матрица Якоби функции $u$ является произведением матриц Якоби функций $f$ и $x$ :

{\frac {\partial (u_{1},\ldots ,u_{n})}{\partial (t_{1},\ldots ,t_{m})}}={\frac {\partial (u_{1},\ldots ,u_{p})}{\partial (x_{1},\ldots ,x_{n})}}\cdot {\frac {\partial (x_{1},\ldots ,x_{n})}{\partial (t_{1},\ldots ,t_{m})}}.

Следствия

Якобиан композиции двух функций является произведением якобианов индивидуальных функций:
$\left\vert {\frac {\partial (u_{1},\ldots ,u_{n})}{\partial (t_{1},\ldots ,t_{m})}}\right\vert =\left\vert {\frac {\partial (u_{1},\ldots ,u_{p})}{\partial (x_{1},\ldots ,x_{n})}}\right\vert \cdot \left\vert {\frac {\partial (x_{1},\ldots ,x_{n})}{\partial (t_{1},\ldots ,t_{m})}}\right\vert .$

Пример

Пусть дана функция трёх переменных $h(x,y,z)=\sin x+\cos ^{2}(x+y+z)-{\sqrt {2x^{2}+5y^{3}}}\;$ и требуется найти её частную производную по переменной $x$ . Функция $h$ может быть записана как $h(x,y,z)=f(u,v,w),$ где