Цепное правило (правило дифференцирования сложной функции) позволяет вычислить производную композиции двух и более функций на основе индивидуальных производных. Если функция f имеет производную в точке x0, а функция g имеет производную в точке y0 = f(x0), то сложная функция h(x) = g(f(x)) также имеет производную в точке x0.
Одномерный случай
Пусть даны функции, определённые в окрестностях на числовой прямой,
где y0 = f(x0), и
Пусть также эти функции дифференцируемы:
Тогда их композиция также дифференцируема:
и её производная имеет вид:
![h'(x_0)](http://upload.wikimedia.org/math/e/5/5/e551e8041768d758cb8896e1a34d30bb.png)
Замечание
В обозначениях Лейбница цепное правило для вычисления производной функции y = y(x), где x = x(t), принимает следующий вид:
![\frac{dy}{dt}](http://upload.wikimedia.org/math/7/d/7/7d7d8742bca117b28b4e338487888c44.png)
Инвариантность формы первого дифференциала
Дифференциал функции z = g(y) в точке y0 имеет вид:
![dz](http://upload.wikimedia.org/math/6/d/f/6df113642ffe1e4edb6972fba9724147.png)
где dy — дифференциал тождественного отображения
:
![dy(h)](http://upload.wikimedia.org/math/2/3/4/234e09ad9dac48d2786896329d725a5e.png)
Пусть теперь
Тогда
, и согласно цепному правилу:
![dz](http://upload.wikimedia.org/math/7/7/0/770dfad5cce6de5a80bedbac2c8eae66.png)
Таким образом, форма первого дифференциала остаётся одной и той же вне зависимости от того, является ли переменная функцией или нет.
Пример
Пусть
Тогда функция
может быть записана в виде композиции
где
![f(x)](http://upload.wikimedia.org/math/0/4/7/047dfa59e4d6c5b96703a84fe5277ef1.png)
![g(y)](http://upload.wikimedia.org/math/f/f/c/ffc3d7edd08e7694facbba4081ee9564.png)
Дифференцируя эти функции отдельно:
![f'(x)](http://upload.wikimedia.org/math/a/4/6/a46e62c08dd1b8c1143bd61c3e0bccd1.png)
![g'(y)](http://upload.wikimedia.org/math/8/9/0/890d16a752af5a1d9c07d182d6156ed7.png)
получаем
![h'(x)](http://upload.wikimedia.org/math/e/f/4/ef49c2fa5eb0cef3075273370b763d4f.png)
Многомерный случай
Пусть даны функции
где y0 = f(x0), и
Пусть также эти функции дифференцируемы:
и
Тогда их композиция тоже дифференцируема, и её дифференциал имеет вид
- dh(x0) = dg(y0) * df(x0).
В частности, матрица Якоби функции h является произведением матриц Якоби функций g и f:
![\frac{\partial(h_1,\ldots,](http://upload.wikimedia.org/math/7/4/b/74ba701f517f3b1c1b84ac65c8c11a0e.png)
Следствия
- Якобиан композиции двух функций является произведений якобианов индивидуальных функций:
![\left\vert\frac{\partial(h_1,\ldots,](http://upload.wikimedia.org/math/4/a/b/4ab93f1ad50ff437f04b2d392952e693.png)
Для частных производных сложной функции справедливо
![\frac{\partial](http://upload.wikimedia.org/math/9/c/3/9c394e91cfe5f1ae7a2ad090a16eadb6.png)
Инвариантность формы полного дифференциала
Используя правило дифференцирования сложной функции, можно показать, что полный дифференциал обладает свойством инвариантности: полный дифференциал функции z=ƒ(х;у) сохраняет один и тот же вид независимо от того, являются ли аргументы независимыми переменными или функциями независимых переменных.
Пусть z=ƒ(х;у), где х и у — независимые переменные. Тогда полный дифференциал (1-го порядка) функции имеет вид
(формула (44.5)).
Рассмотрим сложную функцию z=ƒ(х;у), где х = x(u;v), у = y(u;v), т. е. функцию z = f(x(u;v);y(u;v)) = F(u;v;), где u и v — независимые переменные. Тогда имеем:
![](/content/matematika-2-semestr/img/4-2.gif)
Выражения в скобках представляют собой полные дифференциалы dx и dy функций х = х(u;v) и y = y(u;v). Следовательно, и в этом случае,
![](/content/matematika-2-semestr/img/4-3.gif)