Пусть $g$ — отображение открытого множества $E \subset \mathbb{R}^{n}$ в открытое множество $N \subset \mathbb{R}^{m},$ а $f: N \longmapsto \mathbb{R}^{p}.$ Тогда можно рассматривать сложную функцию $F: E \longmapsto \mathbb{R}^{p},$ $F(x) = f(g(x))$ $(x\in E).$ Ее называют композицией $F=f\circ g.$
Теорема. Пусть отображение $g$ дифференцируемо в точке $x_{0}\in E,$ а отображение $f$ дифференцируемо в соответствующей точке $y_{0}=g(x_{0})\in N.$ Тогда композиция $F=f\circ g$ дифференцируема в точке $x_{0}$ и справедливо равенство
$$F'(x_{0})=f'(y_{0})g'(x_{0}). \tag {13.1}$$
Обозначим $A=f'(y_{0}),$ $B=g'(x_{0}).$ При достаточно малой длине вектора $k$ вектор $y_{0}+k\in N$ и справедливо равенство
$$f(y_{0}+k)-f(y_{0})=A(k)+\alpha(k)|k|,$$
где
$$\lim_{k \to 0}\alpha (k)=0 \qquad (\alpha (0)=0). \tag {13.2}$$
(Заметим, что $N$ — открытое множество, и поэтому $y_{0}+k\in N$ при достаточно малых по длине векторах $k.$) Если вектор $h$ достаточно мал, то $x_{0}+h\in E.$ Положим $k\equiv k(h)=g(x_{0}+h)-g(x_{0}).$ Тогда $f(y_{0}+k)= f(g(x_{0}+h))=F(x_{0}+h)$ и получаем
$$F(x_{0}+h)-F(x_{0})=A(k(h))+\alpha (k(h))|k(h)|, \tag {13.3}$$
где
$$k(h)=B(h)+\beta (h)|h|$$
по свойству дифференцируемости отображения $g,$ и $\displaystyle\lim_{h \to 0} \beta (h)=0$. Подставив это в равенство $(13.3),$ получаем
$$F(x_{0}+h)-F(x_{0})=A(B(h))+r(h),$$
где
$$r(h)=A(\beta(h)|h|)+\alpha (k(h))|k(h)|.$$
По определению производной, нужно доказать, что $$\lim_{h \to 0}\frac{|r(h)|}{|h|}=0,$$
и тем самым теорема будет доказана.
Пусть $r_{1}(h)=A(\beta (h)|h|).$ Тогда в силу линейности отображения $А,$
$$\frac{|r_{1}(h)|}{|h|}=| A(\beta (h))| \leqslant \begin{Vmatrix}A\end{Vmatrix}\cdot| \beta (h)|.$$
Но правая часть стремится к нулю при $h\to 0$, и поэтому получаем, что
$$\lim_{h \to 0}\frac{|r_{1}(h)|}{|h|}=0.$$
Теперь положим $r_{2}(h)= \alpha (k(h))|k(h)|.$ Воспользуемся неравенством
$$|k(h)|\leqslant |B(h)|+|h|\cdot|\beta(h)|\leqslant [\begin{Vmatrix}B\end{Vmatrix}+|\beta (h)|]\cdot | h |,$$
откуда
$$\frac{|r_{2}(h)|}{|h|}\leqslant (\begin{Vmatrix}B\end{Vmatrix}+| \beta (h)|)| \alpha (k(h))|.$$
Первый множитель справа ограничен при достаточно малых $h,$ а второй множитель справа стремится к нулю при $h\to 0$ в силу $(13.2).$
Таким образом, $\frac{|r_{}(h)|}{|h|}\leqslant \frac{|r_{1}(h)|}{|h|}+\frac{|r_{2}(h) |}{|h|}$ стремится к нулю при $h\to 0,$ и теорема доказана.
Замечание. В правой части равенства $(13.1)$ мы имеем композицию линейных отображений $f{}'(y_{0})$ и $g{}'(x_{0}).$ Поэтому доказанную теорему можно сформулировать так: производная композиции равна композиции производных.
Цепное правило.
Пусть $z=f(y^{1},\ldots,y^{m})$ – действительная функция. Если положить $y^{i}=g_{i}(x) (i=1,\ldots,m),$ то получим $z=f(g_{1}(x),\ldots,g_{m}(x)),$ и тогда, согласно правилу дифференцирования сложной функции,
$$\frac{\mathrm{dz} }{\mathrm{d} x}=\frac{\partial f}{\partial y^{1}}\frac{\mathrm{dg_{1}} }{\mathrm{d} x}+\ldots+\frac{\partial f}{\partial y^{m}}\frac{\mathrm{dg_{m}} }{\mathrm{d} x}$$
Положим теперь $y^{i}=g_{i}(x^{1},\ldots,x^{n}) (i=1,\ldots,m)$ и получим сложную функцию $z=f(g_{1}(x^{1},\ldots,x^{n}),\ldots,g_{m}(x^{1},\ldots,x^{n})).$ Если воспользоваться упомянутым только что правилом дифференцирования сложной функции, то получим
$$\frac{\partial z}{\partial x^{i}}=\frac{\partial f}{\partial y^{1}}\frac{\partial g_{1}}{\partial x^{i}}+\ldots+\frac{\partial f}{\partial y^{m}}\frac{\partial g_{m}}{\partial x^{i}} \qquad (i=1,\ldots,n).$$
Это равенство называется цепным правилом.
Цепное правило можно вывести также из только что доказанной теоремы. Действительно, положим в теореме $p = 1,$ т. е. рассмотрим случай, когда $f$ – действительная функция. Тогда $F:E \longmapsto \mathbb{R}$ – действительная функция. Из соотношения $(13.1)$ видно, что матрица производной $F'(x_{0})$ равна произведению матриц $f{}'(y_{0})$ и $g{}'(x_{0}).$ В векторной форме это можно записать так:
$$( \frac{\partial F}{\partial x^{1}}(x_{0}),\ldots,\frac{\partial F}{\partial x^{n}}(x_{0}))=$$
$$=\left ( \frac{\partial f}{\partial y^{1}}(y_{0}),\ldots,\frac{\partial f}{\partial y^{m}}(y_{0}) \right )\cdot\begin{pmatrix}
\frac{\partial g_{1}}{\partial x^{1}}(x_{0})& \ldots& \frac{\partial g_{1}}{\partial x^{n}}(x_{0}) \\
\ldots& \ldots& \ldots \\
\frac{\partial g_{m}}{\partial x^{1}}(x_{0})& \ldots& \frac{\partial g_{m}}{\partial x^{n}}(x_{0}) \\
\end{pmatrix} .$$
В частности,
$$ \frac{\partial F }{\partial x^{i}}=\frac{\partial f}{\partial y^{1}}\frac{\partial g_{1}}{\partial x^{i}}+\ldots +\frac{\partial f}{\partial y^{m}}\frac{\partial g_{m}}{\partial x^{i}} \qquad \qquad (i=1,\ldots,n),$$
и тем самым снова получаем цепное правило.
Примеры решения задач
Рассмотрим примеры задач, в которых фигурируют производные сложных функций. Читателю с целью самопроверки предлагается решить данные примеры самому, а затем сверить свое решение с приведенным.
- Найти производную сложной функции $u=\frac{x}{y}-\frac{y}{x},$ где $x=\sin(t),$ $y=\cos(t)$
Решение
$\frac{\partial u}{\partial x}=\left (\frac{x}{y}-\frac{y}{x} \right )’= \frac{1}{y}(x)’-y\left ( \frac{1}{x} \right )’=\frac{1}{y}+\frac{y}{x^{2}}$
$\frac{\partial u}{\partial y}=\left (\frac{x}{y}-\frac{y}{x} \right )’= x\left ( \frac{1}{y} \right )’-\frac{1}{x}(y)’=-\frac{x}{y^{2}}-\frac{1}{x}$
$\frac{\mathrm{d} x}{\mathrm{d} t}={(\sin(t))}’=\cos(t)\qquad$ $\frac{\mathrm{d} y}{\mathrm{d} t}={(\cos(t))}’=-\sin(t)$
$\frac{\mathrm{d} u}{\mathrm{d} t}=\frac{\partial u}{\partial x}\frac{\mathrm{d} x}{\mathrm{d} t}+\frac{\partial u}{\partial y}\frac{\mathrm{d} y}{\mathrm{d} t}=\left ( \frac{1}{y}+\frac{y}{x^{2}} \right )\cos(t)+\left ( -\frac{x}{y}-\frac{1}{x} \right )(-\sin(t))$ - Найти полную производную сложной функции $u=x+y^{2}+z^{3},$ где $y=\sin(x),$ $z=\cos(x)$
Решение
$\frac{\mathrm{d} u}{\mathrm{d} x}=\frac{\partial u}{\partial x}+\frac{\partial u}{\partial y}\frac{\mathrm{d} y}{\mathrm{d} x}+\frac{\partial u}{\partial z}\frac{\mathrm{d} z}{\mathrm{d} x}=\\=1+2y\cos(x)+3z^{2}(-\sin(x))=1+2\sin(x)\cos(x)-3\cos^{2}(x)\sin(x)$
- Найти полный дифференциал сложной функции $u=\ln^{2}(x^{2}+y^{2}-z^{2})$
Решение
Вначале находим частные производные:
$\frac{\partial u}{\partial x}=2\ln(x^{2}+y^{2}-z^{2})\frac{1}{x^{2}+y^{2}-z^{2}} 2x$
$\frac{\partial u}{\partial y}=2\ln(x^{2}+y^{2}-z^{2})\frac{1}{x^{2}+y^{2}-z^{2}} 2y$
$\frac{\partial u}{\partial z}=2\ln(x^{2}+y^{2}-z^{2})\frac{1}{x^{2}+y^{2}-z^{2}} (-2z)$
Для функции $n$-переменных $y=f(x_{1},x_{2},\ldots ,x_{n})$ полный дифференциал определяется выражением : $dy=\frac{\partial y}{\partial x_{1}}dx_{1}+\frac{\partial y}{\partial x_{2}}dx_{2}+\ldots +\frac{\partial y}{\partial x_{n}}dx_{n}$. Согласно этой формуле, получаем :
$du=4\ln(x^{2}+y^{2}-z^{2})\frac{1}{x^{2}+y^{2}-z^{2}}(xdx+ydy-zdz)$ - Вычислить приближенно $(1,02)^{3,01}$
Решение
Рассмотрим функцию $z=z^{y}.$ При $x_{0}=1$ и $y_{0}=3$ имеем $z_{0}=1^{3}=1,$
$\Delta x=1,02-1=0,02 \qquad \Delta y=3,01-3=0,01.$
Находим полный дифференциал функции $z=x^{y}$ в любой точке:
$dz=yx^{y-1}\Delta x+^{y}\ln(x)\Delta y$
Вычисляем его значения в точке $M(1,3)$ при данных приращениях $\Delta x= 0,02$ и $\Delta y= 0,01$
$dz=3\cdot 1^{2}\cdot 0,02+1^{3}\cdot \ln(1)\cdot 0,02=0,06$
Тогда $z=(1,02)^{3,01}\approx z_{0}+dz=$1+0,06=1,06 - Найти частные производные второго порядка функции $z=e^{x^{2}y^{2}}$
Решение
Вначале найдем частные производные первого порядка:
$\frac{\partial z}{\partial x}=e^{x^{2}y^{2}}2xy^{2},\qquad \frac{\partial z}{\partial y}=e^{x^{2}y^{2}}2x^{2}y$
Продифференцировав их еще раз, получим:
$\frac{\partial^2 z}{\partial x^2}=e^{x^{2}y^{2}}4x^{2}y^{4}+e^{x^{2}y^{2}}2y^{2}$
$\frac{\partial^2 z}{\partial y^2}=e^{x^{2}y^{2}}4x^{4}y^{2}+e^{x^{2}y^{2}}2x^{2}$
$\frac{\partial^2 z}{\partial x \partial y}=e^{x^{2}y^{2}}4x^{3}y^{3}+e^{x^{2}y^{2}}4xy$
$\frac{\partial^2 z}{\partial y \partial x}=e^{x^{2}y^{2}}4x^{3}y^{3}+e^{x^{2}y^{2}}4xy$
Сравнивая последние два выражения, видим, что $\frac{\partial^2 z}{\partial x \partial y}=\frac{\partial^2 z}{\partial y \partial x}$ - Найти полный дифференциал второго порядка функции $z=x^{3}+y^{3}+x^{2}y^{2}$
Решение
Вначале находим частные производные до второго порядка:
$\frac{\partial z}{\partial x}=3x^{2}+2xy^{2},\qquad \frac{\partial z}{\partial y}=3y^{2}+2x^{2}y$
$\frac{\partial^2 z}{\partial x^2}=6x+2y^{2},\qquad \frac{\partial^2 z}{\partial y^2}=6y+2x^{2},\qquad \frac{\partial^2 z}{\partial x \partial y}=4xy$
Полный дифференциал второго порядка $d^{2}z$ функции $z=f(x,y)$ выражается формулой:
$d^{2}z=\frac{\partial^2 z}{\partial x^2}dx^{2}+2\frac{\partial^2 z}{\partial x \partial y}dxdy+\frac{\partial^2 z}{\partial y^2}dy^{2}$
Следовательно,
$d^{2}z=(6x+2y^{2})dx^{2}+8xydxdy+(6y+2x^{2})dy^{2}$
Литература
- Лысенко З.М. Конспект лекций по математическому анализу.
- В. И. Коляда, А. А. Кореновский «Курс лекций по математическому анализу». — Одесса: Астропринт, 2009, ч.1, раздел 13.4 «Производная сложной функции» (стр. 311 — 313).
- А. П. Рябушко «Сборник индивидуальных заданий по высшей математике». — Минск: «Вышэйшая школа», 1991, ч.2, разделы 10.2,10.3 «Полный дифференциал. Дифференцирование сложных и неявных функций», «Частные производные высших порядков. Касательная плоскость и нормаль к поверхности» (стр. 212 — 216).
- И. И. Ляшко, А.К. Боярчук, Я.Г.Гай, Г.П.Головач «Математический анализ: введение в анализ, производная, интеграл». «М.Едиториал», 2001, глава 2(4), «Производные и дифференциал высших порядков» (стр. 137).
Производная сложной функции
Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме.