The Cyclic Identity for Partial Derivatives

 

As an undergrad I learned a lot about partial derivatives in physics classes. But they told us rules as needed, without proving them. This rule completely freaked me out. If derivatives are kinda like fractions, shouldn’t this equal 1?

Let me show you why it’s -1.

First, consider an example:

This example shows that the identity is not crazy. But in fact it
holds the key to the general proof! Since (u,v) is a coordinate system we can assume without loss of generality that u = x, v = y. At any point we can approximate w to first order as ax + by + c for some constants a,b,c. But for derivatives the constant c doesn’t matter, so we can assume it’s zero.

Then just compute!

There’s also a proof using differential forms that you might like
better. You can see it here, along with an application to
thermodynamics:

But this still leaves us yearning for more intuition — and for me, at least, a more symmetrical, conceptual proof. Over on Twitter, someone named
Postdoc/cake provided some intuition using the same example from thermodynamics:

Using physics intuition to get the minus sign:

  1. increasing temperature at const volume = more pressure (gas pushes out more)
  2. increasing temperature at const pressure = increasing volume (ditto)
  3. increasing pressure at const temperature = decreasing volume (you push in more)


Jules Jacobs gave the symmetrical, conceptual proof that I was dreaming of:



As I’d hoped, the minus signs come from the anticommutativity of the wedge product of 1-forms, e.g.

du \wedge dv = - dv \wedge du

Since the space of 2-forms at a point in the plane is 1-dimensional, we can divide them. In fact a ratio like

\displaystyle{ \frac{du \wedge dw}{dv \wedge dw} }

is just the Jacobian of the tranformation from (v,w) coordinates to (u,w) coordinates. We also need that these ratios obey the rule

\displaystyle{ \frac{\alpha}{\beta} \cdot \frac{\gamma}{\delta} = \frac{\alpha}{\delta} \cdot \frac{\gamma}{\beta}  }

where \alpha, \beta, \gamma, \delta are nonzero 2-forms at a point in the plane. This seems obvious, but you need to check it. It’s not hard. But to put it in fancy language, it follows from the fact that nonzero 2-forms at a point in the plane are a ‘torsor’! I explain that idea here:

Torsors made easy.

Torsors are widespread in physics, and the nonzero vectors in any 1-dimensional real vector space form a torsor for the multiplicative group of nonzero real numbers.

Jules Jacob’s proof is more sophisticated than my simple argument, but it’s very pretty, and it generalizes to higher dimensions in ways that’d be hard to guess otherwise.

12 Responses to The Cyclic Identity for Partial Derivatives

  1. Toby Bartels says:

    I encourage my Calculus students not to fear thinking of derivatives as ratios, but partial derivatives mess this up. You can still think of them as ratios using the trick with higher-order exterior forms that Jules Jacobs used, but that's a little heavy for the beginning of the multivariable course. So instead I emphasize the subscript indicating what is to be held fixed (even though it's nowhere to be found in the textbook). \frac{\partial x}{\partial y}\big\rvert_z can even be broken into \frac{\partial x\rvert_z}{\partial y\rvert_z} and you can move those partial differentials around freely in an algebraic expression, but you can't cancel \frac{\partial x\rvert_z}{\partial x\rvert_y}.

  2. Keith Harbaugh says:

    John, you were an undergrad at Princeton.
    Who taught your Advanced Calculus, or whatever the multi-variable calculus course was called, and what textbook did they use?
    (Nickerson, Spencer, and Steenrod?)
    Another popular text back then was Tom Apostol, Mathematical Analysis: A Modern [for 1957!] Approach to Advanced Calculus.
    Anyhow, thanks very much for your illuminating discussion of this situation!

    • John Baez says:

      I took that course at George Washington University when I was a senior in high school, and apparently the textbook was unmemorable. In practice, I got good at this stuff from taking physics courses, and reading Feynman’s Lectures on Physics.

      • Keith Harbaugh says:

        Well, that’s certainly interesting. Thanks for explaining that. I had wondered why you so often discussed learning math from physics texts.

        BTW, texts at one time popular for some approximation to that course were:
        1957 Apostol, Mathematical Analysis
        1959 Nickerson, Spencer, and Steenrod, Advanced Calculus (Princeton Math 303-304)
        1965 Fleming, Functions of Several Variables
        (1965 Spivak, Calculus on Manifolds (very concise notes))
        1968 Loomis & Sternberg, Advanced Calculus (Harvard Math 55)
        1968 Lang, Analysis I, 1983, 1997 Undergraduate Analysis

        Just thought I’d mention those texts in case anyone cares to opine on them.
        (I wonder what text Toby uses.)

        Re Feynman, let me put in a plug for a most excellent, and free!!, on-line version of his lectures:
        https://www.feynmanlectures.caltech.edu/.

        • Toby Bartels says:

          Like John, I also took multivariable calculus at my local university while I was in high school. I don't remember who the author of the textbook was, but I don't think that it was substantially different from the textbooks in common use at state universities in the USA today. I really learnt the subject the next year, reading Spivak's Calculus on Manifolds in the university's library. (First I read his regular calculus textbook, then Calculus on Manifolds, then his 5-volume magnum opus on differential geometry, although I didn't finish the last or understand all of what I did read of it.)

          As for what I use, I teach this course at my local community college, from an ordinary textbook that we get from our contracted publisher, along with course notes that I've written that look a bit more under the hood. You can find the latter at http://tobybartels.name/MATH-2080/2021FA/ (or start at http://tobybartels.name/MATH-2080/ for a more up-to-date version if you're reading this in 2022 or later).

        • Keith Harbaugh says:

          There is a not-so-well-known book by Michael Spivak that is worth mentioning:
          Physics for Mathematicians: Mechanics I.

          Concerning that book, Spivak’s friend, mentor, and colleague Richard S. Palais wrote:

          I would like to give a strong second to this recommendation. I do have a copy and have been reading and liking it. And let me add that it contains tons of fascinating historical etc. material. While not everything that I know about is done just as I would have presented it, as anyone who knows Spivak’s other famous books would expect, the presentation is exceptionally clear and readable. I saw Spivak [born 1940] at the New Orleans Joint Annual Meeting this weekend [in 2011] and he told me that electricity and magnetism is next—but don’t hold your breath, he said the Mechanics volume took 6 yrs of very hard work.

          After extensive and thorough coverage of hidden assumptions in the subject, Spivak moves forward to a treatment of Lagrangian and Hamiltonian mechanics, relying on his books on DG.

  3. Joseph Rizcallah says:

    Here is another proof using forms; no intuition, just algebra.
    du = \frac{\partial{u}}{\partial{v}}dv + \frac{\partial{u}}{\partial{w}}dw,
    dv = \frac{\partial{v}}{\partial{u}}du + \frac{\partial{v}}{\partial{w}}dw,
    dw = \frac{\partial{w}}{\partial{u}}du + \frac{\partial{w}}{\partial{v}}dv.
    Wedge the first two equations with each other and use the third to replace dw in the right-hand side. Taking into account du \wedge du = 0 and dv \wedge dv = 0, we find
    du \wedge dv = \frac{\partial{u}}{\partial{v}}\frac{\partial{v}}{\partial{u}}dv \wedge du + \frac{\partial{u}}{\partial{v}}\frac{\partial{v}}{\partial{w}}\frac{\partial{w}}{\partial{u}}dv \wedge du + \frac{\partial{v}}{\partial{u}}\frac{\partial{w}}{\partial{v}}\frac{\partial{u}}{\partial{w}}dv \wedge du. But \frac{\partial{u}}{\partial{v}}\frac{\partial{v}}{\partial{u}} = 1 and a:=\frac{\partial{u}}{\partial{v}}\frac{\partial{v}}{\partial{w}}\frac{\partial{w}}{\partial{u}}=\frac{1}{\frac{\partial{v}}{\partial{u}}\frac{\partial{w}}{\partial{v}}\frac{\partial{u}}{\partial{w}}}, so we get 2du \wedge dv = (a +\frac{1}{a})dv \wedge du, whence a = -1.

    • John Baez says:

      Thanks. Neither my proof nor Jules Jacobs’ nor the argument in the video used ‘intuition’, though my quick proof sketch didn’t fill in the details of every step, e.g. justifying that you can work to first order at a point.

      • Joseph Rizcallah says:

        I too yearn for an intuitive proof and I regret that I don’t have one, as I tried to indicate in my comment.

      • John Baez says:

        Oh, sorry—for some silly reason I thought you were using “intuition” in the derogatory sense, like “lack of rigor”. Of course one wants a rigorous proof that also provides a good intuition for why the result is true!

  4. Joseph Rizcallah says:

    The functional dependence among u, v and w defines a surface. The normal direction to the surface is given by the gradients (-1,\frac{\partial u}{\partial v},\frac{\partial u}{\partial w}) or (\frac{\partial v}{\partial u},-1,\frac{\partial v}{\partial w}). Since these must be parallel we have \left| \begin{array}{cc} -1 & \frac{\partial u}{\partial v} \\ \frac{\partial v}{\partial u} & -1 \end{array} \right|=0 and \left| \begin{array}{cc} \frac{\partial u}{\partial v} & \frac{\partial u}{\partial w}\\ -1 & \frac{\partial v}{\partial w} \end{array} \right|=0. The first is satisfied trivially, while the second, upon multiplication by \frac{\partial w}{\partial u} yields the required the identity. The geometric intuition is that however we look at the surface the normal direction is the same.

You can use Markdown or HTML in your comments. You can also use LaTeX, like this: $latex E = m c^2 $. The word 'latex' comes right after the first dollar sign, with a space after it.

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.