Leibniz's formula
Before we discuss Leibniz's formula, let us go through an example where we compute derivatives of order higher than 1. Consider the function . The first four derivatives are given by
From the first few derivatives we can observe that the derivative is given by,
Next, we introduce the Leibniz derivative rule which allows us to express the derivative of a product (i.e. it is a generalisation of the product rule to higher derivatives). Consider two functions of and ; the derivative of their product:
Differentiating again with respect to gives
and a third time,
It may be clear at this point that the numerical coefficients are the same as the ones in the binomial theorem:
Now, for ,
note that we included and so that we can make a direct comparison to . Recall that the zeroth derivative of a function is simply the function itself e.g. so and . Similarly, for and , we obtain the coefficients 1, 3, 3, 1 as they appear in . The Leibniz rule (Note that this is different to the Leibniz integral rule which is used for differentiation under the integral sign) is given by the following formula:
where the binomial coefficients are given by
The formula is particularly useful when either (or ) are polynomials so that the derivatives are zero apart from the first few terms. For example, if we wanted to differentiate times the function , we express the function as the product of two functions, and . Then, since , and for , and 3, respectively, for . Application of the rule gives,
We note that and so
using