Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Arnold said the following in a talk on teaching:

Jacobi noted, as mathematics' most fascinating property, that in it one and the same function controls both the presentations of a whole number as a sum of four squares and the real movement of a pendulum.

What's the meaning of this? Is the function he mentioned the theta function or something else? What's the relation with the real movement of a pendulum?

share|cite|improve this question
I was expecting to see something along the lines of "I'll be back!"... – gnometorule Dec 4 '12 at 17:33

He means elliptic functions.

If, instead of using the harmonic oscillator equation for a pendulum, you use the expression involving the actual force, you get an elliptic integral for the time as a function of the angle (see for instance John Baez's example sheet

Taking the inverse to get the angle as a function of the time you get an elliptic function, by Jacobi's definition as inverse functions of elliptic integrals. Jacobi made that definition in an analogy to how you get sin cos and tan as inverse functions of certain integrals.

As for decompositions into squares, I recall that in Hardy and Wright's Introduction to the Theory of Numbers there are three proofs of the four square theorem. One is "elementary", one uses the integral quaternions/Hurwitz integers, and the third uses elliptic functions. This last one is (a newer version of?) Jacobi's proof.

share|cite|improve this answer

OP's guess of "theta functions" isn't really that far off; it is well known (to those who know them) that the Jacobian elliptic function $\mathrm{sn}(u\mid m)$, which turns up in the solution of the DE for the pendulum, is expressible as a ratio of theta functions. (It should probably be emphasized that Jacobi studied both the theta functions and the elliptic functions now named after him, so he was certainly well-aware of this connection.)

As for the sum of four squares: as noted in this review article, Jacobi showed that the theta function $\vartheta_3(0,q)^d$ is the generating function for the number of ways to represent $k$ as $d$ squares $r_d(k)$; that is,

$$\vartheta_3(0,q)^d=\sum_{k=0}^\infty r_d(k) q^k$$

There you have it: two seemingly unrelated applications where the theta functions crop up.

share|cite|improve this answer
Not going to get active again, eh? :-) It's great to see your name in so many places recently! – Asaf Karagila Apr 3 '13 at 10:25
It is somewhat unfortunate that your tags of interest have very little overlap with mine, tho. ;P – J. M. Apr 3 '13 at 10:26
Well, all you have to do is study set theory! :-) – Asaf Karagila Apr 3 '13 at 10:32
That's about as likely as you studying special functions on your own volition. :) – J. M. Apr 3 '13 at 10:33
Well then, you better start working on genetic engineering and come up with kosher pigs that can fly! :-) – Asaf Karagila Apr 3 '13 at 10:35

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.