Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Clairaut's theorem and smooth functions

  1. Sep 6, 2007 #1


    User Avatar
    Gold Member

    So, my advanced calculus book (Folland) has this theorem...
    If f is of class [tex]C^k[/tex] on an open set S, then...

    [tex]\partial i_1 \partial i_2 ... \partial i_k f = \partial j_1 \partial j_2 \partial j_k f[/tex] on an open set S whenever the sequence [tex]{j_1 ,..., j_k}[/tex] is a reordering of the sequence [tex]{i_1 ,..., i_k}[/tex], which defines a smooth function when [tex]k = \infty[/tex]

    So my question is, is Clairaut's Theorem a special case of this? (when k = 2?). Also, is the existence of derivatives in the nxn Hessian matrix logically equivalent to the conclusion of Clairaut's Theorem? Does this theorem even have a name? (I can't find it on Wikipedia or Mathworld anywhere).
  2. jcsd
  3. Sep 6, 2007 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    You can see Clairaut as a special case but if you look at the proof of the theorem you stated, I suspect that it begins by proving Clairaut and then shows how your thm is a direct generalization (corollary) of it.

    For your second question, I'm not sure I understand what you're asking, but if the Hessian matrix is well defined, it only means that the second partial derivatives all exist. It does not say anything about their being equal when they are locally continuous.
  4. Sep 7, 2007 #3

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    generalization and corollary aren't the same thing, quasar.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Clairaut's theorem and smooth functions
  1. Clairaut's theorem (Replies: 1)