Section 13.4 : Higher Order Partial Derivatives
Just as we had higher order derivatives with functions of one variable we will also have higher order derivatives of functions of more than one variable. However, this time we will have more options since we do have more than one variable.
Consider the case of a function of two variables, \(f\left( {x,y} \right)\) since both of the first order partial derivatives are also functions of \(x\) and \(y\) we could in turn differentiate each with respect to \(x\) or \(y\). This means that for the case of a function of two variables there will be a total of four possible second order derivatives. Here they are and the notations that we’ll use to denote them.
\[\begin{align*}{\left( {{f_x}} \right)_x} & = {f_{x\,x}} = \frac{\partial }{{\partial x}}\left( {\frac{{\partial f}}{{\partial x}}} \right) = \frac{{{\partial ^2}f}}{{\partial {x^2}}}\\ {\left( {{f_x}} \right)_y} & = {f_{x\,y}} = \frac{\partial }{{\partial y}}\left( {\frac{{\partial f}}{{\partial x}}} \right) = \frac{{{\partial ^2}f}}{{\partial y\partial x}}\\ {\left( {{f_y}} \right)_x} & = {f_{y\,x}} = \frac{\partial }{{\partial x}}\left( {\frac{{\partial f}}{{\partial y}}} \right) = \frac{{{\partial ^2}f}}{{\partial x\partial y}}\\ {\left( {{f_y}} \right)_y} & = {f_{y\,y}} = \frac{\partial }{{\partial y}}\left( {\frac{{\partial f}}{{\partial y}}} \right) = \frac{{{\partial ^2}f}}{{\partial {y^2}}}\end{align*}\]The second and third second order partial derivatives are often called mixed partial derivatives since we are taking derivatives with respect to more than one variable. Note as well that the order that we take the derivatives in is given by the notation for each these. If we are using the subscripting notation, e.g. \({f_{x\,y}}\), then we will differentiate from left to right. In other words, in this case, we will differentiate first with respect to \(x\) and then with respect to \(y\). With the fractional notation, e.g. \(\frac{{{\partial ^2}f}}{{\partial y\partial x}}\), it is the opposite. In these cases we differentiate moving along the denominator from right to left. So, again, in this case we differentiate with respect to \(x\) first and then \(y\).
Let’s take a quick look at an example.
We’ll first need the first order derivatives so here they are.
\[\begin{align*}{f_x}\left( {x,y} \right) & = - 2\sin \left( {2x} \right) - 2x{{\bf{e}}^{5y}}\\ {f_y}\left( {x,y} \right) & = - 5{x^2}{{\bf{e}}^{5y}} + 6y\end{align*}\]Now, let’s get the second order derivatives.
\[\begin{align*}{f_{xx}} & = - 4\cos \left( {2x} \right) - 2{{\bf{e}}^{5y}}\\ {f_{xy}} & = - 10x{{\bf{e}}^{5y}}\\ {f_{yx}} & = - 10x{{\bf{e}}^{5y}}\\ {f_{yy}} & = - 25{x^2}{{\bf{e}}^{5y}} + 6\end{align*}\]Notice that we dropped the \(\left( {x,y} \right)\) from the derivatives. This is fairly standard and we will be doing it most of the time from this point on. We will also be dropping it for the first order derivatives in most cases.
Now let’s also notice that, in this case, \({f_{xy}} = {f_{yx}}\). This is not by coincidence. If the function is “nice enough” this will always be the case. So, what’s “nice enough”? The following theorem tells us.
Clairaut’s Theorem
Suppose that \(f\) is defined on a disk \(D\) that contains the point \(\left( {a,b} \right)\). If the functions \({f_{xy}}\) and \({f_{yx}}\) are continuous on this disk then,
\[{f_{xy}}\left( {a,b} \right) = {f_{yx}}\left( {a,b} \right)\]Now, do not get too excited about the disk business and the fact that we gave the theorem for a specific point. In pretty much every example in this class if the two mixed second order partial derivatives are continuous then they will be equal.
We’ll first need the two first order derivatives.
\[\begin{align*}{f_x}\left( {x,y} \right) & = {{\bf{e}}^{ - {x^2}{y^2}}} - 2{x^2}{y^2}{{\bf{e}}^{ - {x^2}{y^2}}}\\ {f_y}\left( {x,y} \right) & = - 2y{x^3}{{\bf{e}}^{ - {x^2}{y^2}}}\end{align*}\]Now, compute the two mixed second order partial derivatives.
\[\begin{align*}{f_{xy}}\left( {x,y} \right) & = - 2y{x^2}{{\bf{e}}^{ - {x^2}{y^2}}} - 4{x^2}y{{\bf{e}}^{ - {x^2}{y^2}}} + 4{x^4}{y^3}{{\bf{e}}^{ - {x^2}{y^2}}} = - 6{x^2}y{{\bf{e}}^{ - {x^2}{y^2}}} + 4{x^4}{y^3}{{\bf{e}}^{ - {x^2}{y^2}}}\\ {f_{yx}}\left( {x,y} \right) & = - 6y{x^2}{{\bf{e}}^{ - {x^2}{y^2}}} + 4{y^3}{x^4}{{\bf{e}}^{ - {x^2}{y^2}}}\end{align*}\]Sure enough they are the same.
So far we have only looked at second order derivatives. There are, of course, higher order derivatives as well. Here are a couple of the third order partial derivatives of function of two variables.
\[\begin{align*}{f_{x\,y\,x}} & = {\left( {{f_{xy}}} \right)_x} = \frac{\partial }{{\partial x}}\left( {\frac{{{\partial ^2}f}}{{\partial y\partial x}}} \right) = \frac{{{\partial ^3}f}}{{\partial x\partial y\partial x}}\\ {f_{y\,x\,x}} & = {\left( {{f_{yx}}} \right)_x} = \frac{\partial }{{\partial x}}\left( {\frac{{{\partial ^2}f}}{{\partial x\partial y}}} \right) = \frac{{{\partial ^3}f}}{{\partial {x^2}\partial y}}\end{align*}\]Notice as well that for both of these we differentiate once with respect to \(y\) and twice with respect to \(x\). There is also another third order partial derivative in which we can do this, \({f_{x\,x\,y}}\). There is an extension to Clairaut’s Theorem that says if all three of these are continuous then they should all be equal,
\[{f_{x\,x\,y}} = {f_{x\,y\,x}} = {f_{y\,x\,x}}\]To this point we’ve only looked at functions of two variables, but everything that we’ve done to this point will work regardless of the number of variables that we’ve got in the function and there are natural extensions to Clairaut’s theorem to all of these cases as well. For instance,
\[{f_{x\,z}}\left( {x,y,z} \right) = {f_{z\,x}}\left( {x,y,z} \right)\]provided both of the derivatives are continuous.
In general, we can extend Clairaut’s theorem to any function and mixed partial derivatives. The only requirement is that in each derivative we differentiate with respect to each variable the same number of times. In other words, provided we meet the continuity condition, the following will be equal
\[{f_{s\,s\,r\,t\,s\,r\,r}} = {f_{t\,r\,s\,r\,s\,s\,r}}\]because in each case we differentiate with respect to \(t\) once, \(s\) three times and \(r\) three times.
Let’s do a couple of examples with higher (well higher order than two anyway) order derivatives and functions of more than two variables.
- Find \({f_{x\,x\,y\,z\,z}}\) for \(f\left( {x,y,z} \right) = {z^3}{y^2}\ln \left( x \right)\)
- Find \(\displaystyle \frac{{{\partial ^3}f}}{{\partial y\partial {x^2}}}\) for \(f\left( {x,y} \right) = {{\bf{e}}^{xy}}\)
In this case remember that we differentiate from left to right. Here are the derivatives for this part.
\[{f_x} = \frac{{{z^3}{y^2}}}{x}\] \[{f_{xx}} = - \frac{{{z^3}{y^2}}}{{{x^2}}}\] \[{f_{xxy}} = - \frac{{2{z^3}y}}{{{x^2}}}\] \[{f_{xxyz}} = - \frac{{6{z^2}y}}{{{x^2}}}\] \[{f_{xxyzz}} = - \frac{{12zy}}{{{x^2}}}\]b Find \(\displaystyle \frac{{{\partial ^3}f}}{{\partial y\partial {x^2}}}\) for \(f\left( {x,y} \right) = {{\bf{e}}^{xy}}\) Show Solution
Here we differentiate from right to left. Here are the derivatives for this function.
\[\frac{{\partial f}}{{\partial x}} = y{{\bf{e}}^{xy}}\] \[\frac{{{\partial ^2}f}}{{\partial {x^2}}} = {y^2}{{\bf{e}}^{xy}}\] \[\frac{{{\partial ^3}f}}{{\partial y\partial {x^2}}} = 2y{{\bf{e}}^{xy}} + x{y^2}{{\bf{e}}^{xy}}\]