Let’s say we’ve got a function that’s differentiable within an open region . In particular, if we pick coordinates on the function has all partial derivatives at each point in . As we move around within the value of the partial derivative changes, justifying the functional notation . And if we’re lucky, these functions themselves may be differentiable.
In particular, it makes sense to ask about the existence of so-called “second partial derivatives”, defined as
Or in Leibniz’ notation:
If we take the derivative in terms of the same variable twice in a row we sometimes write this as
Yes, there’s some dissonance between superscripts as indices and superscripts as powers. But, again, this is pretty much the received notation in many areas. If it seems like it might be confusing we just write out twice in a row.
These, of course, may be defined within the region , and we can then sensibly ask about third partial derivatives, like
and so on.
As an example, let’s consider the function . We can easily calculate the two first partial derivatives.
And then we take each derivative of each of these two
where since we’re not using superscripts as indices in these examples its meaning should be clear.
We notice here that the two in the middle — the “mixed” partial derivatives — are the same. This will happen in many cases of interest to us, but not always. As a pathological example, let’s go back and consider the function defined by
away from the origin, and patched by . Again, we calculate the first partial derivatives (at least away from the origin):
Each partial derivative is at the origin.
Now we can check that for all , and that for all . Thus we can calculate
and the mixed partial derivatives are not equal.