Product rule for differentiation

This article is about a differentiation rule, i.e., a rule for differentiating a function expressed in terms of other functions whose derivatives are known.
View other differentiation rules

Name

This statement is called the product rule, product rule for differentiation, or Leibniz rule.

Statement for two functions

Verbal statement

If two (possibly equal) functions are differentiable at a given real number, then their pointwise product is also differentiable at that number and the derivative of the product is the sum of two terms: the derivative of the first function times the second function and the first function times the derivative of the second function.

Statement with symbols

The product rule is stated in many versions:

Version type	Statement
specific point, named functions	Suppose $f$ and $g$ are functions of one variable, both of which are differentiable at a real number $x=x_0$. Then, the product function $f\cdot g$, defined as $x\mapsto f(x)g(x)$ is also differentiable at $x=x_0$, and the derivative at $x_0$ is given as follows: $\frac{d}{dx}[f(x)g(x)]{|}_{x=x_0}=f^{\prime }(x_0)g(x_0)+f(x_0)g^{\prime }(x_0)$ or equivalently: $\frac{d}{dx}[f(x)g(x)]{|}_{x=x_0}=\frac{d(f(x))}{dx}{|}_{x=x_0}\cdot g(x_0)+f(x_0)\cdot \frac{d(g(x))}{dx}{|}_{x=x_0}$
general expressions, point notation	Suppose $f$ and $g$ are functions of one variable. Then the following is true wherever the right side expression makes sense: $\frac{d}{dx}[f(x)g(x)]=f^{\prime }(x)g(x)+f(x)g^{\prime }(x)$
general expression, point-free notation	Suppose $f$ and $g$ are functions of one variable. Then, we have the following equality of functions on the domain where the right side expression makes sense: $(f\cdot g{)}^{\prime }=(f^{\prime }\cdot g)+(f\cdot g^{\prime })$
Pure Leibniz notation using dependent and independent varibales	Suppose $u,v$ are variables both of which are functionally dependent on $x$. Then: \! \frac{d(uv)}{dx} = v \frac{du}{dx} + u \frac{dv}{dx}</math>
In terms of differentials	Suppose $u,v$ are both variables functionally dependent on $x$. Then, $d(uv)=v(du)+u(dv)$.

MORE ON THE WAY THIS DEFINITION OR FACT IS PRESENTED: We first present the version that deals with a specific point (typically with a

$\{{\}}_0$

subscript) in the domain of the relevant functions, and then discuss the version that deals with a point that is free to move in the domain, by dropping the subscript. Why do we do this?
The purpose of the specific point version is to emphasize that the point is fixed for the duration of the definition, i.e., it does not move around while we are defining the construct or applying the fact. However, the definition or fact applies not just for a single point but for all points satisfying certain criteria, and thus we can get further interesting perspectives on it by varying the point we are considering. This is the purpose of the second, generic point version.

Statement for multiple functions

If $f_1,f_2,\dots ,f_n$ are all functions, and we define $F(x):=f_1(x)f_2(x)\dots f_n(x)$, then we have:

$F^{\prime }(x)={f_{1^{\prime }}}^{\prime }(x)f_2(x)\dots f_n(x)+f_1(x){f_{2^{\prime }}}^{\prime }(x)\dots f_n(x)+\dots +f_1(x)f_2(x)\dots f_{n-1}(x){f_{n^{\prime }}}^{\prime }(x)$

In other words, we get a sum of $n$ terms, each of which is a product of $n$ evaluations, of which only one is a derivative, and the one we choose as the derivative cycles through all the $n$ possibilities.

For instance, if $n=3$, we get:

$F^{\prime }(x)={f_{1^{\prime }}}^{\prime }(x)f_2(x)f_3(x)+f_1(x){f_{2^{\prime }}}^{\prime }(x)f_3(x)+f_1(x)f_2(x){f_{3^{\prime }}}^{\prime }(x)$

Related rules

• Differentiation is linear: The derivative of the sum is the sum of the derivatives, and scalars can be pulled out of differentiation.
• Chain rule for differentiation
• Product rule for higher derivatives
• Chain rule for higher derivatives

Examples

Trivial examples

We first consider examples where the product rule for differentiation confirms something we already knew through other means:

Case	What we know about the derivative of $x\mapsto f(x)g(x)$	What we know about $f^{\prime }(x)g(x)+f(x)g^{\prime }(x)$
$g$ is the zero function.	The derivative is the zero function, because $f(x)g(x)=0$ for all $x$.	Both $g(x)$ and $g^{\prime }(x)$ are zero functions, so $f^{\prime }(x)g(x)+f(x)g^{\prime }(x)$ is everywhere zero.
$g$ is a constant nonzero function with value $\lambda$.	The derivative is $\lambda f^{\prime }(x)$, because the constant can be pulled out of the differentiation process.	$f^{\prime }(x)g(x)$ simplifies to $\lambda f^{\prime }(x)$. Since $g$ is constant, $g^{\prime }(x)$ is the zero function, hence so is $f(x)g^{\prime }(x)$. The sum is thus $\lambda f^{\prime }(x)$.
$f=g$	The derivative is $2f(x)f^{\prime }(x)$ by the chain rule for differentiation: we are composing the square function and $f$.	We get $f^{\prime }(x)f(x)+f(x)f^{\prime }(x)=2f(x)f^{\prime }(x)$.

Nontrivial examples where simple alternate methods exist

Fill this in later

Nontrivial examples where simple alternate methods do not exist

Fill this in later