Chain rule: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
(added multivariable version)
imported>Paul Wormer
No edit summary
Line 2: Line 2:
In [[calculus]], the '''chain rule''' describes the [[derivative]] of a "function of a function": the [[composition (mathematics)|composition]] of two function, where the output ''z'' is a given function of an intermediate variable ''y'' which is in turn a given function of the input variable ''x''.
In [[calculus]], the '''chain rule''' describes the [[derivative]] of a "function of a function": the [[composition (mathematics)|composition]] of two function, where the output ''z'' is a given function of an intermediate variable ''y'' which is in turn a given function of the input variable ''x''.


Suppose that ''y'' is given as a function <math>y = g(x)</math> and that ''z'' is given as a function <math>z = f(y)</math>.  The rate at which ''z'' varies in terms of ''y'' is given by the derivative <math>f'(y)</math>, and the rate at which ''y'' varies in terms of ''x'' is given by the derivative <math>g'(x)</math>.  So the rate at which ''z'' varies in terms of ''x'' is the product <math>f'(y).g'(x)</math>, and substituting <math>y = g(x)</math> we have the ''chain rule''
Suppose that ''y'' is given as a function <math>\,y = g(x)</math> and that ''z'' is given as a function <math>\,z = f(y)</math>.  The rate at which ''z'' varies in terms of ''y'' is given by the derivative <math>\, f'(y)</math>, and the rate at which ''y'' varies in terms of ''x'' is given by the derivative <math>\, g'(x)</math>.  So the rate at which ''z'' varies in terms of ''x'' is the product <math>\,f'(y)\sdot g'(x)</math>, and substituting <math>\,y = g(x)</math> we have the ''chain rule''
: <math>(f \circ g)' = (f' \circ g) \sdot g' . \,</math>


: <math>(f \circ g)' = (f' \circ g) . g' . \,</math>
In order to convert this to the traditional ([[Leibniz]]) notation, we notice
 
:<math> z(y(x))\quad \Longleftrightarrow\quad  z\circ y(x) </math>
In traditional "d" notation we write
and
 
:<math> (z \circ y)' = (z' \circ y) \sdot y' \quad \Longleftrightarrow\quad
:<math>\frac{\mathrm{d} z}{\mathrm{d} x} = \frac{\mathrm{d} z}{\mathrm{d} y} \cdot \frac{\mathrm{d} y}{ \mathrm{d} x} . \, </math>
\frac{\mathrm{d} z(y(x))}{\mathrm{d} x} = \frac{\mathrm{d} z(y)}{\mathrm{d} y} \, \frac{\mathrm{d} y(x)}{ \mathrm{d} x} . \, </math>.
In mnemonic form the latter expression is
:<math>\frac{\mathrm{d} z}{\mathrm{d} x} = \frac{\mathrm{d} z}{\mathrm{d} y} \, \frac{\mathrm{d} y}{ \mathrm{d} x} , \, </math>
which is easy to remember, because it as if d''y'' in the numerator and the denominator of the right hand side cancels.


==Multivariable calculus==
==Multivariable calculus==

Revision as of 07:22, 8 November 2008

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In calculus, the chain rule describes the derivative of a "function of a function": the composition of two function, where the output z is a given function of an intermediate variable y which is in turn a given function of the input variable x.

Suppose that y is given as a function and that z is given as a function . The rate at which z varies in terms of y is given by the derivative , and the rate at which y varies in terms of x is given by the derivative . So the rate at which z varies in terms of x is the product , and substituting we have the chain rule

In order to convert this to the traditional (Leibniz) notation, we notice

and

.

In mnemonic form the latter expression is

which is easy to remember, because it as if dy in the numerator and the denominator of the right hand side cancels.

Multivariable calculus

The extension of the chain rule to multivariable functions may be achieved by considering the derivative as a linear approximation to a differentiable function.

Now let and be functions with F having derivative at and G having derivative at . Thus is a linear map from and is a linear map from . Then is differentiable at with derivative

See also