Tautochrone curve

Four balls slide down a cycloid curve from different positions, but they arrive at the bottom at the same time. The blue arrows show the points' acceleration along the curve. On the top is the time-position diagram.

Objects representing tautochrone curve

A tautochrone or isochrone curve (from Greek prefixes tauto- meaning same or iso- equal, and chrono time) is the curve for which the time taken by an object sliding without friction in uniform gravity to its lowest point is independent of its starting point. The curve is a cycloid, and the time is equal to π times the square root of the radius over the acceleration of gravity. The tautochrone curve is the same as the brachistochrone curve for any given starting point.

The tautochrone problem

It was in the left hand try-pot of the Pequod, with the soapstone diligently circling round me, that I was first indirectly struck by the remarkable fact, that in geometry all bodies gliding along the cycloid, my soapstone for example, will descend from any point in precisely the same time.

Moby Dick by Herman Melville, 1851

The tautochrone problem, the attempt to identify this curve, was solved by Christiaan Huygens in 1659. He proved geometrically in his Horologium Oscillatorium, originally published in 1673, that the curve was a cycloid.

On a cycloid whose axis is erected on the perpendicular and whose vertex is located at the bottom, the times of descent, in which a body arrives at the lowest point at the vertex after having departed from any point on the cycloid, are equal to each other...^[1]

Huygens also proved that the time of descent is equal to the time a body takes to fall vertically the same distance as the diameter of the circle that generates the cycloid, multiplied by π/2. In modern terms, this means that the time of descent is $\pi \sqrt{r/g}$ , where r is the radius of the circle which generates the cycloid, and g is the gravity of Earth.

Five isochronous cycloidal pendulums with different amplitudes

This solution was later used to attack the problem of the brachistochrone curve. Jakob Bernoulli solved the problem using calculus in a paper (Acta Eruditorum, 1690) that saw the first published use of the term integral.^[2]

Schematic of a cycloidal pendulum

The tautochrone problem was studied by Huygens more closely when it was realized that a pendulum, which follows a circular path, was not isochronous and thus his pendulum clock would keep different time depending on how far the pendulum swung. After determining the correct path, Christiaan Huygens attempted to create pendulum clocks that used a string to suspend the bob and curb cheeks near the top of the string to change the path to the tautochrone curve. These attempts proved to not be useful for a number of reasons. First, the bending of the string causes friction, changing the timing. Second, there were much more significant sources of timing errors that overwhelmed any theoretical improvements that traveling on the tautochrone curve helps. Finally, the "circular error" of a pendulum decreases as length of the swing decreases, so better clock escapements could greatly reduce this source of inaccuracy.

Later, the mathematicians Joseph Louis Lagrange and Leonhard Euler provided an analytical solution to the problem.

Lagrangian solution

If the particle's position is parametrized by the arclength $s (t)$ from the lowest point, the kinetic energy is proportional to ${\dot {s}}^{2}.$ The potential energy is proportional to the height $y (s)$ . One way the curve can be an isochrone is if the Lagrangian is that of a simple harmonic oscillator: the height of the curve must be proportional to the arclength squared.

y(s)=s^{2},

where the constant of proportionality has been set to 1 by changing units of length. The differential form of this relation is

dy = 2s \,ds,

dy^{2}=4s^{2}\,ds^{2}=4y\,(dx^{2}+dy^{2}),

which eliminates $s$ , and leaves a differential equation for $dx$ and $dy$ . To find the solution, integrate for $x$ in terms of $y$ :

{dx \over dy}={{\sqrt {1-4y}} \over 2{\sqrt {y}}},

x = \int \sqrt{1-4u^2} \, du,

where $u={\sqrt {y}}$ . This integral is the area under a circle, which can be naturally cut into a triangle and a circular wedge:

x={\frac {1}{2}}u{\sqrt {1-4u^{2}}}+{\frac {1}{4}}\arcsin 2u,

y=u^{2}.

To see that this is a strangely parametrized cycloid, change variables to disentangle the transcendental and algebraic parts by defining the angle $\theta =\arcsin 2u$ . This yields

8x=2\sin \theta \cos \theta +2\theta =\sin 2\theta +2\theta ,

8y=2\sin ^{2}\theta =1-\cos 2\theta ,

which is the standard parametrization, except for the scale of $x, y$ and $θ$ .

"Virtual gravity" solution

The simplest solution to the tautochrone problem is to note a direct relation between the angle of an incline and the gravity felt by a particle on the incline. A particle on a 90° vertical incline feels the full effect of gravity, while a particle on a horizontal plane feels effectively no gravity. At intermediate angles, the "virtual gravity" felt by the particle is g sin θ. The first step is to find a "virtual gravity" that produces the desired behavior.

The "virtual gravity" required for the tautochrone is simply proportional to the distance remaining to be traveled, which admits a simple solution:

\frac{d^2s}{{dt}^2} = - k^2s

s = A \cos kt \,

It can be easily verified both that this solution solves the differential equation and that a particle will reach s = 0 at time $π$ /(2k) from any starting height A. The problem is now to construct a curve that will produce a "virtual gravity" proportional to the distance remaining to travel, i.e., a curve that satisfies:

g \sin \theta = - k^2 s \,

The explicit appearance of the distance remaining is troublesome, but we can differentiate to obtain a more manageable form:

g \cos \theta \,d\theta = - k^2 \,ds \,

ds = - \frac{g}{k^2} \cos \theta \,d\theta\,

This equation relates the change in the curve's angle to the change in the distance along the curve. We now use the Pythagorean theorem, the fact that the slope of the curve is equal to the tangent of its angle, and some trigonometric identities to obtain ds in terms of dx:

\begin{align} ds^2 & = dx^2 + dy^2 \\ \ & = \left ( 1 + \left ( \frac{dy}{dx} \right ) ^2 \right ) \,dx^2 \\ \ & = ( 1 + \tan^2 \theta )\, dx^2 \\ \ & = \sec^2 \theta \,dx^2 \\ ds & = \sec \theta \,dx \end{align}

Substituting this into the first differential equation lets us solve for x in terms of θ:

\begin{align} ds & = - \frac{g}{k^2} \cos \theta \,d\theta \\ \sec\theta \, dx & = - \frac{g}{k^2} \cos \theta\, d\theta \\ dx & = - \frac{g}{k^2} \cos^2 \theta \,d\theta \\ & = - \frac{g}{2 k^2} \left ( \cos 2 \theta + 1 \right ) \,d\theta \\ x & = - \frac{g}{4 k^2} \left ( \sin 2 \theta + 2 \theta \right ) + C_x \end{align}

Likewise, we can also express dx in terms of dy and solve for y in terms of θ:

\begin{align} \frac{dy}{dx} & = \tan \theta \\ dx & = \cot \theta \, dy \\ \cot \theta dy & = - \frac{g}{k^2} \cos^2 \theta \,d\theta \\ dy & = - \frac{g}{k^2} \sin \theta \cos \theta \,d\theta \\ & = - \frac{g}{2k^2} \sin 2 \theta \,d\theta \\ y & = \frac{g}{4k^2} \cos 2 \theta + C_y \end{align}

Substituting $\phi = - 2\theta\,$ and $r = \frac{g}{4k^2}\,$ , we see that these equations for $x$ and $y$ are those of a circle rolling along a horizontal line — a cycloid:

\begin{align} x & = r ( \sin \phi + \phi ) + C_x \\ y & = r ( \cos \phi ) + C_y \end{align}

Solving for k and remembering that $T = \frac{\pi}{2k}$ is the time required for descent, we find the descent time in terms of the radius r:

\begin{align} r & = \frac{g}{4k^2} \\ k & = \frac{1}{2} \sqrt{\frac{g}{r}} \\ T & = \pi \sqrt{\frac{r}{g}} \end{align}

(Based loosely on Proctor, pp. 135–139)

Abel's solution

Niels Henrik Abel attacked a generalized version of the tautochrone problem (Abel's mechanical problem), namely, given a function T(y) that specifies the total time of descent for a given starting height, find an equation of the curve that yields this result. The tautochrone problem is a special case of Abel's mechanical problem when T(y) is a constant.

Abel's solution begins with the principle of conservation of energy — since the particle is frictionless, and thus loses no energy to heat, its kinetic energy at any point is exactly equal to the difference in potential energy from its starting point. The kinetic energy is $\frac{1}{2} mv^2$ , and since the particle is constrained to move along a curve, its velocity is simply $\frac{ds}{dt}$ , where $s$ is the distance measured along the curve. Likewise, the gravitational potential energy gained in falling from an initial height $y_{0}\,$ to a height $y\,$ is $mg(y_0-y)\,$ , thus:

\begin{align} \frac{1}{2} m \left ( \frac{ds}{dt} \right ) ^2 & = mg(y_0-y) \\ \frac{ds}{dt} & = \pm \sqrt{2g(y_0-y)} \\ dt & = \pm \frac{ds}{\sqrt{2g(y_0-y)}} \\ dt & = - \frac{1}{\sqrt{2g(y_0-y)}} \frac{ds}{dy} \,dy \end{align}

In the last equation, we've anticipated writing the distance remaining along the curve as a function of height (s(y)), recognized that the distance remaining must decrease as time increases (thus the minus sign), and used the chain rule in the form $ds = \frac{ds}{dy} dy$ .

Now we integrate from $y=y_0$ to $y=0$ to get the total time required for the particle to fall:

T(y_0) = \int_{y=y_0}^{y=0} \, dt = \frac{1}{\sqrt{2g}} \int_0^{y_0} \frac{1}{\sqrt{y_0-y}} \frac{ds}{dy} \, dy

This is called Abel's integral equation and allows us to compute the total time required for a particle to fall along a given curve (for which $\frac{ds}{dy}$ would be easy to calculate). But Abel's mechanical problem requires the converse — given $T(y_0)\,$ , we wish to find $\frac{ds}{dy}$ , from which an equation for the curve would follow in a straightforward manner. To proceed, we note that the integral on the right is the convolution of $\frac{ds}{dy}$ with $\frac{1}{\sqrt{y}}$ and thus take the Laplace transform of both sides:

\mathcal{L}[T(y_0)] = \frac{1}{\sqrt{2g}} \mathcal{L} \left [ \frac{1}{\sqrt{y}} \right ] \mathcal{L} \left [ \frac{ds}{dy} \right ]

Since $\mathcal{L} \left [ \frac{1}{\sqrt{y}} \right ] = \sqrt{\pi}z^{-\frac{1}{2}}$ , we now have an expression for the Laplace transform of $\frac{ds}{dy}$ in terms of $T(y_0)\,$ 's Laplace transform:

\mathcal{L}\left [ \frac{ds}{dy} \right ] = \sqrt{\frac{2g}{\pi}} z^{\frac{1}{2}} \mathcal{L}[T(y_0)]

This is as far as we can go without specifying $T(y_0)\,$ . Once $T(y_0)\,$ is known, we can compute its Laplace transform, calculate the Laplace transform of $\frac{ds}{dy}$ and then take the inverse transform (or try to) to find $\frac{ds}{dy}$ .

For the tautochrone problem, $T(y_0) = T_0\,$ is constant. Since the Laplace transform of 1 is ${\frac {1}{z}}$ , we continue:

\begin{align} \mathcal{L}\left [ \frac{ds}{dy} \right ] & = \sqrt{\frac{2g}{\pi}} z^{\frac{1}{2}} \mathcal{L}[T_0] \\ & = \sqrt{\frac{2g}{\pi}} T_0 z^{-\frac{1}{2}} \end{align}

Making use again of the Laplace transform above, we invert the transform and conclude:

\frac{ds}{dy} = T_0 \frac{\sqrt{2g}}{\pi}\frac{1}{\sqrt{y}}

It can be shown that the cycloid obeys this equation.

(Simmons, Section 54).

References

↑ Blackwell, Richard J. (1986). Christiaan Huygens' The Pendulum Clock. Ames, Iowa: Iowa State University Press. ISBN 0-8138-0933-9. Part II, Proposition XXV, p. 69.
↑ Jeff Miller (20 July 2010). "Earliest Known Uses of Some of the Words of Mathematics (I)". Retrieved 28 June 2012.

Bibliography

Simmons, George, Differential Equations with Applications and Historical Notes, McGraw–Hill, 1972. ISBN 0-07-057540-1.
Proctor, Richard, A Treatise on The Cycloid and all forms of Cycloidal Curves (1878), posted by Cornell University Library.

External links

Mathworld

Christiaan Huygens
Books	Systema Saturnium (1659) De Vi Centrifiga (1659) Horologium Oscillatorium (1673) Traité de la Lumiére (1692) Cosmotheoros (1698)
In science and natural philosophy	Centripetal acceleration Coupled oscillation Conception of the standardization of the temperature scale Early history of classical mechanics Early history of calculus Huygens' law Huygens' lemniscate Huygens' principle (Huygens–Fresnel principle) Huygens' construction Huygens' tritone Huygens' wavelet Huygens' wave theory Huygens–Steiner theorem Hypothesis of intelligent extraterrestrial life Isochrone curve (tautochrone curve) Foundations of differential geometry of curves (mathematical notions of the evolute and involute of the curve) Scientific foundations of horology Mathematical and physical investigations of properties of the pendulum Modern conception of centrifugal and centripetal forces Music theory of microtones (31 equal temperament) Polarization of light (Iceland spar) Rings of Saturn Titan (moon) Theoretical foundations of wave optics (wave theory of light)
In technology	Inventions by Huygens Aerial telescope Cycloidal pendulum Huygens' engine ¹ Huygens' eyepiece Magic lantern ² Spiral balance spring Precision timekeeping (pendulum clock and spiral-hairspring watch)
Recognitions	List of things named after Christiaan Huygens 2801 Huygens Cassini–Huygens Huygens (spacecraft) Huygens (probe) Mons Huygens Huygens (crater) Huygens-Fokker Foundation Huygens Gap Huygens Ringlet Horologium (constellation)
Other topics	Cosmos: A Personal Voyage - Episode 6: "Travellers' Tales" (1980 documentary TV series by Carl Sagan) Clocks and Culture, 1300–1700 (1967 history book by Carlo Cipolla) Revolution in Time: Clocks and the Making of the Modern World (1983 history book by David Landes) Scientific Revolution Golden Age of Dutch science and technology Science and technology in the Dutch Republic Académie des Sciences
Related people	Huygens family Galileo Galilei René Descartes Salomon Coster Antonie van Leeuwenhoek Gottfried Wilhelm Leibniz Isaac Newton Robert Hooke Denis Papin Augustin-Jean Fresnel Thomas Young
¹ A rudimentary prototype of internal combustion piston engine. ² An early practical type of image projector and a precursor to both the modern slide projector and the movie projector. Wikiquote Wikisource texts

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.