## Higher Partial Derivatives

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.