16

In a chapter on oscillations in a physics book, the differential equation $$\ddot{\theta}=-\frac{g}{L}\sin(\theta)$$ is found and solved using the small-angle-approximation $$\sin(\theta)\approx\theta$$ for small values of $\theta$, which yields the solution $$\theta=\sin\left(t\sqrt{\frac{g}{L}}\right).$$ It also mentions that this solution tends to work best with angles smaller than $15^\circ$.



My question is: Is it possible to solve the pendulum differential equation/do any solutions exist to it without the use of the small-angle-approximation?

Urb
  • 2,724
John Doe
  • 307
  • 1
  • 2
  • 8

4 Answers4

25

The pendulum problem can be solved exactly if an elliptic integral is used.

The elliptic integral in question is defined via \begin{equation} F(\phi,k)=\int_{0}^{\phi}\frac{dt}{\sqrt{1-k^{2}\sin^{2}t}}\, . \end{equation} This integral originated when mathematicians investigated elliptic curves.

In the case of the pendulum problem, the conservation of energy yields the equation of motion \begin{equation} \frac{1}{2}l\dot{\theta}^{2}-g\cos\theta=-g\cos\theta_{m} \end{equation} where $\theta_{m}$ denote the angle of highest height, then the equation can be inverted to \begin{equation} \frac{d\theta}{dt}=\sqrt{\frac{2g}{l}}\sqrt{\cos\theta-\cos\theta_{m}} \end{equation} this expression can be simplified by using a trigonometric identity, \begin{equation} \cos\theta=1-2\sin^{2}(\theta/2), \end{equation} and then changing variables according to \begin{equation} \sin\left(\frac{\theta}{2}\right)=\sin\left(\frac{\theta_{m}}{2}\right)\sin s. \end{equation} Now differentiate this variable with respect to $t$ and use the chain rule, then revert to integrate with respect to $t$. This gives \begin{equation} t=\sqrt{\frac{l}{g}}{\int_{0}^{\phi}}\frac{ds}{\sqrt{1-\sin^{2}(\theta_{m}/2) \sin^{2}s}}\, , \end{equation} the solution of which is given by the elliptic integral stated earlier.

wong tom
  • 631
  • 4
  • 9
11

It is not possible to express the solution of the equation in terms of elementary functions. Nonetheless, you can obtain an approximate solution via numerical integration.

The figure shows the numerical solution $\theta(t)$ for different initial conditions. I have set $\frac{g}{L}=1$ and $\dot{\theta}_0 = \dot{\theta}(t=0) = 0$.

The initial position $\theta_0 = \theta(t=0)$ assumes the values 1°, 5°, 15°, 30°, 60° and 120°.

enter image description here

In each subplot, the blue curve represents the solution of the exact equation

$\ddot{\theta} = -\sin{\theta}$

while the orange curve is the solution of the approximate equation

$\ddot{\theta} = -\theta$

As you can see, for $\theta_0 < 15°$ the two solutions are visually indistinguishable in this time range and level of detail of the image.

Prallax
  • 2,969
6

It is impossible to solve this equation in general case, but it has been extensively studied in the context of

Note that Floquet theory and Bloch theorem are mathematically very similar (some would even say identical). I did not add the link to the Wikipedia article on Floquet theory, since it takes rather abstract view, far away from the OP might be interested in. However, the materials are abundant via googling.

Update

  • Note that sine-Gordon is actually a partial differential equation, which, in some cases, is reducible to the equation in the OP
  • The comments to this answer and the OP have pointed out that the equation can be solved in terms of elliptic functions. I suppose that this is not what was meant in the OP, but I do agree that what we define as an exact solution is open to interpretations. There are even PSE questions discussing this, e.g., this one: Why can't many models be solved exactly
Roger V.
  • 68,984
6

This answer continues on from the answer by wong tom and uses the same notation.

As Tom said, the equation of motion of the simple undamped pendulum with maximum swing angle $\theta_m$ leads to this integral: $$t=\sqrt{\frac{l}{g}}{\Large\int_{0}^{\phi}}\frac{ds}{\sqrt{1-\sin^{2}(\theta_{m}/2) \sin^{2}s}}$$

which is an incomplete elliptic integral of the first kind.

Although elliptic integrals cannot be solved using the standard elementary functions they can be evaluated numerically very efficiently using algorithms based on the arithmetic-geometric mean (AGM), which converges quadratically. Elliptic integrals can be inverted using the Jacobi elliptic functions, which can also be computed rapidly using AGM-based algorithms.

These integrals and functions have been studied extensively since the 18th century; eg Gauss did important work on them, including investigating the AGM connection, which had been discovered earlier by Landen. (Perhaps the AGM-based algorithms didn't receive a lot of attention in the past because they are less amenable to analysis than power series are, and because they involve swapping back & forth between addition and multiplication & square root extraction, which is a bit tedious when you're working with log tables. But in the modern era of electronic computers, they are trivial to implement, and advanced mathematics libraries routinely use the AGM).

The substitution $$\sin\left(\frac{\theta}{2}\right)=\sin\left(\frac{\theta_{m}}{2}\right)\sin s$$

means that $\phi=\pi/2$ corresponds to $\theta=\theta_m$, so evaluating the above integral for $\phi=\pi/2$ gives the quarter period of the pendulum.

Let $k=\sin(\theta_m/2)$ and $k'=\cos(\theta_m/2)$.

Now $${\Large\int_{0}^{\pi/2}}\frac{ds}{\sqrt{1-k^2\sin^2 s}}$$ is the complete elliptic integral of the first kind.


It can also be written as $${\Large\int_{0}^{\pi/2}}\frac{ds}{\sqrt{k'^2\sin^2 s + \cos^2 s}}$$

Landen and Gauss realised that if $$I={\Large\int_{0}^{\pi/2}}\frac{ds}{\sqrt{a^2\sin^2 s + b^2\cos^2 s}}$$ then $$I={\Large\int_{0}^{\pi/2}}\frac{ds}{\sqrt{a'^2\sin^2 s + b'^2\cos^2 s}}$$ where $$a'=(a+b)/2, \, b'=\sqrt{ab}$$ which is the AGM transformation. So we just need to find $\operatorname{AGM}(a,b)$ to transform the integral to the trivial

$$I={\Large\int_{0}^{\pi/2}}\frac{ds}{\operatorname{AGM}(a,b)\sqrt{\sin^2 s + \cos^2 s}}$$ i.e., $$I=\frac{\pi}{2\operatorname{AGM}(a,b)}$$

This same technique can be applied to computing the incomplete integrals, we just need to do a little bit of bookkeeping to keep track of the transformations of the upper integral limit. And it can also be applied to the elliptic functions. Please see the Wikipedia links for further details. Also see
Numerical computation of real or complex elliptic integrals, Bille C. Carlson (1994)
doi: 10.48550/arXiv.math/9409227


Applying this to the pendulum integral, we now have an expression for the true period:

$$T=\frac{2\pi\sqrt{\frac{l}{g}}}{AGM(1, k')}$$ or $$T=T_0 / \operatorname{AGM}(1,k')$$ where

$$T_0=2\pi \sqrt{\frac{l}{g}}$$ is the simple period computed using the $\sin(\theta)\approx\theta$ approximation. As $\theta_m\to 0, k\to 0, k'\to 1$, and of course $\operatorname{AGM}(1,1)=1$.


If $$u={\Large\int_{0}^{\phi}}\frac{ds}{\sqrt{1-k^2\sin^2 s}}$$ then $$\phi=\operatorname{am}(u, k^2)$$ where $\operatorname{am}$ is the Jacobi elliptic amplitude function.

Let $$u=t\sqrt{\frac{l}{g}}$$ Now $$\sin\left(\frac{\theta}{2}\right)=k\sin\phi$$ So $$\theta=2\arcsin(k\sin\phi)$$ gives us $\theta$ as a function of $t$ with parameter $k$.

Note that $\operatorname{am}(u,0)=u$, so in the small angle approximation we recover the simple equation $$\theta=\theta_m\sin(2\pi t/T)$$

Conveniently, the AGM algorithm for $\operatorname{am}$ is in two parts. The first part computes a list of AGM terms using $k$ and $k'$, the second part uses that list and $u$ to compute $\phi$. So for a fixed $k$ we can compute multiple $\phi$ values without having to repeat the AGM list calculation.

Here's a short Python program which implements this algorithm to graph pendulum angle as a function of time. It's running on the SageMathCell server, and uses Sage plotting functions, but the core arithmetic is done in plain Python, only using standard math library functions. (Sage actually provides a full complement of arbitrary precision elliptic integrals and functions, as well as the AGM).

Pendulum demo

The program plots the true pendulum function in red. It can also plot the simple sine function (in green) or a sine function with its period corrected to the true period (in blue).

For smallish $\theta_m$, it's hard to see the difference between the true curve and the simple sines. Even for angles approaching $90°$, the period-corrected sine is still quite close to the true curve. Here are a few examples for a pendulum of length $1$ m.

Pendulum 45°

Pendulum 90°

Pendulum 150°

PM 2Ring
  • 13,541