## Clairaut’s Theorem

Now for the most common sufficient condition ensuring that mixed partial derivatives commute. If is a function of variables, we can for the moment hold the values of all but two of them constant. We’ll only consider two variables at a time, which will simplify our notation. For the moment, then, we write . We will also assume that is real-valued, and deal with vector values one component at a time.

I assert that if the partial derivatives and are continuous in a neighborhood of the point , and if the mixed second partial derivative exists and is continuous there, then the other mixed partial derivative exists at , and we have the equality

By definition, within the neighborhood in the statement of the theorem the partial derivative is given by the limit

So the numerator of the difference quotient defining the desired mixed partial derivative is

For a fixed , we define the function

We compute the derivative of as

so we can apply the mean value theorem to write

for some between and . We use the above expression for to write the difference quotient

In a similar trick to the one above, we can see that is differentiable as a function of with derivative . And so the mean value theorem tells us that we can write our difference quotient as

for some between and .

And so we come to try taking the limit

If didn’t depend in its definition on , this would be easy. First we could let go to zero, which would make go to , and then letting go to zero would make go to zero as well. But it’s not going to be quite so easy, and limits in two variables like this usually call for some delicacy.

Given an , there (by the assumption of continuity) is some so that

for within a radius of . As long as we keep and below , the point will be within this radius. So we can keep fixed at some small enough value, and find that implies the inequality

Now we can take the limit as goes to zero. As we do so, the inequality here may become an equality, but since we kept it below , we still have some wiggle room. So, if , we have the inequality

which gives us the limit we need.

Of course we could instead assume that the second mixed partial derivative exists and is continuous near , and conclude that the first one exists and is equal to the second.

[...] student. In reading this great expository blog on mathematics, I finally found a reference to a named theorem about it. And the name is not Young’s Theorem, as I have been taught. I learn something every day. [...]

Pingback by Clairaut’s Theorem « Economics and Mechanisms | October 16, 2009 |

Is this all you do everyday? Write dumb posts that you can get in any book? What is the usefulness of this in real life? Its not helping cure cancer…

Comment by John | October 16, 2009 |

John, I think your comment deserves a thorough answer. I’m going to creat a new post to address it.

Comment by John Armstrong | October 16, 2009 |

Ok thanks. Bear in mind this is just my opinion.

Comment by John | October 16, 2009 |

[...] Curing Cancer After today’s post on Clairaut’s theorem, a commenter named “John” took offense. Although I’m not sure that’s his [...]

Pingback by Not Curing Cancer « The Unapologetic Mathematician | October 16, 2009 |

[...] though, that we have not contradicted Clairaut’s theorem here. Indeed, as long as and all the have continuous second partial derivatives, then so will . [...]

Pingback by Higher Differentials and Composite Functions « The Unapologetic Mathematician | October 19, 2009 |

[...] With Clairaut’s theorem comes the first common example of a smoothness assumption. It’s a good time to say just what [...]

Pingback by Smoothness « The Unapologetic Mathematician | October 21, 2009 |

[...] I said above, this is a bilinear form. Further, Clairaut’s theorem tells us that it’s a symmetric form. Then the spectral theorem tells us that we can find an [...]

Pingback by Classifying Critical Points « The Unapologetic Mathematician | November 24, 2009 |

Sorry that this is perhaps too late.

In one of the last steps, why do you claim that the inequality may become an equality?

Comment by Kiera | June 24, 2012 |

That’s a good question. It’s a pretty common occurrence with limits. As an example, consider the limit of the sequence ; each term is strictly greater than zero, but the limit is zero.

As a higher level view (if you’re up for it), it’s really about topology. Strict inequalities () define open sets, while non-strict inequalities () define closed sets. The closure of a set consists of the set itself along with all limit points, so a sequence contained in an open set (satisfying a strict inequality) may have a limit in its closure (satisfying a non-strict inequality).

Comment by John Armstrong | June 24, 2012 |

Thank you very much for such a quick response!

Comment by Kiera | June 24, 2012 |

In your derivation you wrote \displaystyle g_k(t)=f(a+t,b+k)-g(a+t,b) – I am wondering if it is supposed to be \displaystyle g_k(t)=f(a+t,b+k)-f(a+t,b) ? If I am mistaken I apologize.

Comment by Eric | July 23, 2014 |

Fixed, thanks.

Comment by John Armstrong | July 23, 2014 |