# Pendulum in imaginary time

Today’s post needs mathematical imagination and practice. Practice is important. For instance lot of practice is needed for a successful target slinging. Like in this video below

There are many stiles of slinging. For us probably the best is is Apache style, when the stone (representing our mathematical pendulum) is making vertical circles. We will practice the math behind such slings right below. But after we are done with that, we will check what happens with the sling when time is imaginary rather than than real. The problem of the pendulum with imaginary time has been posed by John Baez as an exercise in his notes on elliptic functions. It seems that the solution of this exercise has not been published yet.

But first let us considered the stone (or a bucket of water, if you wish) making vertical circles on a string. It is clear that there are certain cases (velocities) that are “forbidden”, for instance if you do not give the bucket on the string sufficient initial velocity, the water will fall on your head from the bucket.

The same with certain amusement park rides – not all speed are safe:

We have started looking into this problem yesterday in Cosmoplanetary pendulum, and Bjab, in his comments, proposed an answer, but without providing details. I promised to look into it and to post my own solution (in fact yesterday I have made an error in my calculations). Here is what I came with today. In fact, just a while ago, I have found this problem discussed, though not from the angle we need, in CBSE Class XI Supplementary Textual Material in POhysics, Unit IV, Motion in a Vertical Circle. I am borrowing a picture from this site:

It fits perfectly our needs, except that we use letter for the mass. Letter we use for the second argument of Jacobi elliptic functions discussed in previous posts. For a pendulum on a string to work the centrifugal force experienced by the rotating mass must be greater or equal to the radial component of the gravitational force:

The mass cancels out, and thus

(1)

For we use Eq. (1) from Cosmoplanetary pendulum, but without fixing the value of :

(2)

Using the last two equations we arrive at the inequality

Now

therefore

or

(3)

Suppose first that Then varies from to and the left hand side has the largest value for Therefore

or

(4)

We are done with When we already know from the discussion in previous posts that for the highest point of the pendulum we have
Therefore

or

(5)

It follows that the forbidden region is for between and – as correctly predicted by Bjab in his comment yesterday.

We now come to the second issue – that of imaginary time. Here is the exercise form notes by John Baez: The Pendulum, Elliptic Functions and Imaginary Time. There we find the following “exercise”:

11. Show that making the replacement

in Newton’s law is equivalent to reversing the sign of all forces.

In the present problem, this amounts to reversing the force of gravity, making it pull the pendulum up. But an upside-down pendulum is just another pendulum. Therefore the function must also be periodic as a function of . This suggests that , as a function of , is periodic in both the real and imaginary directions. And it’s true!

So, the pendulum gives a physical explanation of the fact that elliptic functions are periodic in two directions on the complex plane!

12. Prove, as rigorously as you can, that is periodic in two directions. You can do this either by ﬂeshing out the above argument, or by studying the integral in equation (3) and worrying about those branch points. In fact we have

where for

and

It seems that the first nine exercises from these notes (for MATH 241 course) has been solved by Toby Barlets and posted. But not 11 and 12. Can we make sense of Baez’idea of “upside-down pendulum is just another pendulum” and use it to derive the formula with 2K’ imaginary period?

Who can do it?

## 7 thoughts on “Pendulum in imaginary time”

1. Bjab says:

Centripetal force has to be formed by gravity and positive (or zero) string tension.

The critical state is when the pendulum highest position is vertical or horizontal.

In highest/vertical position we have

therefore

and

dividing by

which is equal to

we get

so

.

In highest/horizontal positon we have

so

2. From my working table:

I am not able to give meaning to the idea from John Baez exercise. I fail to see how pendulum in imaginary time can be “equivalent” to a pendulum with gravity upside down.

Moreover Jacobi amplitude function of imaginary argument has imaginary values….

3. Update

The relevant pages from the book mentioned above can be found here

But I am not able to understand their argument, in particular at the top of p. 20.

4. While looking for something that talks about a symmetry group for the pendulum, I found this:

https://arxiv.org/pdf/1601.07891.pdf

IT also discusses “doubly periodic” and imaginary time. Don’t know if it’s any clearer or not; this is all way over my head.

Here’s the abstract:

The solutions that describe the motion of the classical simple pendulum have been known for very long time and are given in terms of elliptic functions, which are doubly periodic functions in the complex plane. The independent variable of the solutions is time and it can be considered either as a real variable or as a purely imaginary one, which introduces a rich symmetry structure in the space of solutions. When solutions are written in terms of the Jacobi elliptic functions the symmetry is codified in the functional form of its modulus, and is described mathematically by the six dimensional coset group Γ/Γ(2) where Γ is the modular group and Γ(2) is its congruence subgroup of second level. In this paper we discuss the physical consequences this symmetry has on the pendulum motions and it is argued they have similar properties to the ones termed as duality symmetries in other areas of physics, such as field theory and string theory. In particular a single solution of pure imaginary time for all allowed value of the total mechanical energy is given and obtained as the S-dual of a single solution of real time, where S stands for the S generator of the modular group.