Chain Rule and Implicit Differentiation

$\newenvironment {prompt}{}{} \newcommand {\DeclareMathOperator }[2]{\@OldDeclareMathOperator {##1}{##2}\immediate \write \myfile {\unexpanded {\DeclareMathOperator }{\unexpanded {##1}}{\unexpanded {##2}}}} \newcommand {\reserved@a }[2]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument } \newcommand {\reserved@a }[1]{} \newcommand {\reserved@a }[2]{} \newcommand {\AppendGraphicsExtensions }[0]{\@ifundefined {Gin@extensions}{\let \Gin@extensions \@empty }{}\@ifstar {\grfext@Append \grfext@Check }{\grfext@Append \grfext@@Add }} \newcommand {\PrependGraphicsExtensions }[0]{\@ifundefined {Gin@extensions}{\let \Gin@extensions \@empty }{}\@ifstar {\grfext@Prepend \grfext@Check }{\grfext@Prepend \grfext@@Add }} \newcommand {\RemoveGraphicsExtensions }[1]{\@ifundefined {Gin@extensions}{\def \Gin@extensions {}}{\edef \grfext@tmp {\zap@space ##1 \@empty }\@for \grfext@ext :=\grfext@tmp \do {\def \grfext@next {\let \grfext@tmp \Gin@extensions \@expandtwoargs \@removeelement \grfext@ext \Gin@extensions \Gin@extensions \ifx \grfext@tmp \Gin@extensions \let \grfext@next \relax \fi \grfext@next }\grfext@next }}\grfext@Print \RemoveGraphicsExtensions } \newcommand {\epstopdfsetup }[0]{\setkeys {ETE}} \newcommand {\epstopdfcall }[1]{\ifETE@InsideSetfile \expandafter \@firstoftwo \else \expandafter \@secondoftwo \fi {‘##1}{\Gin@base \Gin@ext }} \newcommand {\epstopdfDeclareGraphicsRule }[4]{\ifx \\##4\\\@PackageError {epstopdf-base}{Conversion command is missing}\@ehc \else \begingroup \@ifundefined {Gin@rule@##1}{}{\@PackageInfo {epstopdf-base}{Redefining graphics rule for ‘##1’}}\endgroup \@namedef {Gin@rule@##1}####1{{##2}{##3}{\epstopdfcall {##4}}}\fi } \newcommand {\GetTitleStringSetup }[0]{\setkeys {gettitlestring}} \newcommand {\GetTitleString }[0]{\ifGTS@expand \expandafter \GetTitleStringExpand \else \expandafter \GetTitleStringNonExpand \fi } \newcommand {\GetTitleStringExpand }[1]{\def \GetTitleStringResult {##1}\begingroup \GTS@DisablePredefinedCmds \GTS@DisableHook \edef \x {\endgroup \noexpand \def \noexpand \GetTitleStringResult {\GetTitleStringResult }}\x } \newcommand {\GetTitleStringNonExpand }[1]{\def \GetTitleStringResult {##1}\global \let \GTS@GlobalString \GetTitleStringResult \begingroup \GTS@RemoveLeft \GTS@RemoveRight \endgroup \let \GetTitleStringResult \GTS@GlobalString } \newcommand {\GTS@DisableHook }[0]{} \newcommand {\label@hook }[0]{} \newcommand {\@currentlabelname }[0]{} \newcommand {\reserved@a }[0]{} \newcommand {\@safe@activestrue }[0]{} \newcommand {\@safe@activesfalse }[0]{} \newcommand {\nameref }[0]{\@ifstar \T@nameref \T@nameref } \newcommand {\Sectionformat }[2]{##1} \newcommand {\vnameref }[1]{\unskip ~\nameref {##1}\@vpageref [\unskip ]{##1}} \newcommand {\ref }[0]{\@ifstar \@refstar \T@ref } \newcommand {\pageref }[0]{\@ifstar \@pagerefstar \T@pageref } \newcommand {\nameref }[0]{\@ifstar \@namerefstar \T@nameref } \newcommand {\reserved@a }[2]{} \newcommand {\reserved@a }[0]{\AtBeginDocument } \newcommand {\reserved@a }[1]{} \newcommand {\reserved@a }[2]{}$

Objectives:

1.: Understand when to use the chain rule.
2.: Know how to use the chain rule to compute partial derivatives of the composition of functions.
3.: Understand how the formula for implicit differentiation follows from the chain rule.
4.: Be able to compute partials of implicit functions.

Recap Video

You can watch watch the following video which recaps the ideas of the section.

Chain Rule Recap

Implicit Differentiation Recap

Examples

Below is a video showing an example of using the chain rule.

If $f(x,y,z) = xe^{xyz}$ and $x=s$ , $y = \frac {1}{s+t}$ , and $z = t$ , evaluate $\displaystyle \frac {\partial f}{\partial s}$ and $\displaystyle \frac {\partial f}{\partial t}$ .

Below is a video showing an example of using implicit differentiation.

Find $\displaystyle \frac {\partial z}{\partial x}$ and $\displaystyle \frac {\partial z}{\partial y}$ when $x^2+y^2+z^2+\sin (4x)+\sin (4y)+\sin (4z) = 1$ .

Problems

Suppose $w= f(x,y,z) = xy+y^2z+2x$ , with $x = 2\cos (t)$ , $y = 2\sin (t)$ , $z = t$ . Evaluate $\frac {dw}{dt}$ at the point $(x,y,z) = (2,0,2\pi )$ .

The chain rule says

$\begin{eqnarray*} \frac{dw}{dt}&=& \frac{\partial w}{\partial x} \frac{\answer{dx}}{\answer{dt}}+ \frac{\partial w}{\partial y} \frac{\answer{dy}}{\answer{dt}}+ \frac{\partial w}{\partial z} \frac{\answer{dz}}{\answer{dt}} \\ &=& (\answer{y+2})(-2\sin(t)) + (x+2yz)\cdot \answer{2\cos(t)} + \answer{y^2} \cdot 1. \end{eqnarray*}$

The $t$ -value corresponding to the point $(x,y,z) = (2,0,2\pi )$ is $t=\answer {2\pi }$ . Plugging in $x = 2$ , $y = 0$ , $z=2\pi$ , and the above $t$ -value into $\frac {dw}{dt}$ gives $\frac {dw}{dt}\Big |_{(2,0,2\pi )} = \answer {4}.$

Suppose $f(x,y,z) = 2x^2y^2+\sin (xy-1)+2xyz$ , and let $g(u,v) = (u^2-v^2,u+v,u^2+v^2)$ . Let $h = f(g(u,v))$ . Evaluate $\frac {\partial h}{\partial u}$ when $u = 1$ and $v = 0$ . $\frac {\partial h}{\partial u}\Big |_{(u,v) = (1,0)} = \answer {25}$

The chain rule says $\frac {\partial h}{\partial u}=\frac {\partial f}{\partial x}\frac {\partial x}{\partial u}+\frac {\partial f}{\partial y}\frac {\partial y}{\partial u}+\frac {\partial f}{\partial z}\frac {\partial z}{\partial u}.$

When $u=1$ and $v=0$ , we get $x = 1$ , $y = 1$ , and $z = 1$ . Plugging in all these values, we get $\frac {\partial h}{\partial u}\Big |_{(u,v) = (1,0)} = 25.$

Suppose $x^2y^3+x^3z^3+y^2z^2 = 3$ . Evaluate $\frac {\partial z}{\partial x}$ at the point $(1,1,1)$ .

From the phrasing of the problem, we see that $x$ is a variable, $y$ is a variable, and $z$ is a variable. Let $F(x,y,z) = x^2y^3+x^3z^3+y^2z^2$ , so that the problem says $F(x,y,z(x,y)) = 3.$ Using the chain rule to differentiate both sides of the equation with respect to $x$ gives $\frac {\partial F}{\partial x} + \frac {\partial F}{\partial \answer {z}} \frac {\partial z}{\partial \answer {x}} = \answer {0}.$ We calculate: $\frac {\partial F}{\partial x} = \answer {2xy^3+3x^2z^3}$ $\frac {\partial F}{\partial z} = \answer {3x^3z^2+2y^2z}$ Therefore, $\frac {\partial z}{\partial x} = -\frac {F_x}{F_z} = -\frac {\answer {2xy^3+3x^2z^3}}{\answer {3x^3z^2+2y^2z}}.$ Plugging in $x=1$ , $y =1$ , and $z=1$ gives: $\frac {\partial z}{\partial x}\Big |_{(1,1,1)} =\answer {-1}$

If $\sin (xyz) + \cos (x^2y^3z^2)=1$ , then $\displaystyle \frac {\partial x}{\partial y}$ at the point $(x,y,z) = (0,1,1)$ is equal to $\answer {0}$ .

Here, $x$ is the dependent variable, and $y$ and $z$ are the independent variables, so the equation reads $F(x(y,z),y,z) = 1$ .

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$

Recap Video

Chain Rule Recap

Implicit Differentiation Recap

Examples

Problems

Controls

Symbols

Settings