Consider a ski slope and a set of frictionless skis. If the hill is curved such that you can start at any point, ski straight down, and always arrive at the bottom in time T seconds, it is shaped like a brachistochrone.

Or consider a rabbit and a dog, both held in check. The rabbit is released and runs in a straight line at speed v, perpendicular to the initial path of the dog. When the dog is released, if it runs faster than the rabbit and always runs towards the rabbit, then the dog's path follows the curve y=c*f(x), where c is constant and f(x) is a brachistochrone.

Or consider a boat, some distance away from a pier. You are on the pier, and have a rope that leads to the boat. If you walk along the pier holding the rope, the path the boat will make as it is pulled by the rope is a brachistochrone.

The brachistochrone was first described by Bernoulli, and deriving it analytically was quite a tricky problem until Isaac Newton finally got it after inventing calculus. We now know that it is equal to one half-cycle of a cycloid, which is the path taken by a piece of gum stuck to the outside of a tire.

Brachistochrone is commonly misspelled as 'brachistochrome'.

The brachistochrone problem, as so named by Johannes Bernoulli in the 17th century from the greek βραχιστoσ brachistos (shortest) and χρoνoσ chronos (time), is a motivating example for the calculus of variations, which happens to fall into a special class that makes it easier to solve.

Geometrically, it can be described as determining a path from a point P vertically higher than, but not directly above, a second point Q, such that the time of travel for a particle to move under the action of gravity is minimised. Friction is ignored and the particle is assumed to have zero initial velocity (that is, to start at rest at P). The curve described turns out to be neither of the obvious choices- a straight line or circular arc; but as the following analysis will reveal, a cycloid.


First, we formulate the problem in terms of variational calculus. Working in a vertical plane with cartesian coordinates, take the initial point P as the origin (0,0) and Q to be an arbitrary point (a,b). Then a curve Γ joining those points graphs some function that maps x→y(x), with x∈[0,a] such that y(0)=0 and y(a)=b.

Then, any point on Γ is of the form (x,y(x)) and has some velocity, v. By conservation of energy,

(mv2)/2 = mgy(x)

for m the mass of the particle in motion, g the acceleration due to gravity.

From the formula for the arc length s(x) of Γ from (0,0) to (x,y(x)), we can conclude

ds(x)/dx = (1+(y'(x))2)1/2

So the time T to traverse the curve Γ is given by

       * a                        * a
      *                          *      +-      -+
      *    dt ds           1     *      |1+y'(x)2|
      *    -- -- dx =   -------  *  sqrt|------- | dx
      *    ds dx        sqrt(2g) *      |  y(x)  |
     *   0                      *   0   +-      -+

(I hope this ascii horror looks about right on your display)

Dropping the unimportant factor of 1/sqrt(2g), the problem becomes to minimise the integral functional

y →J(y) := ∫F(x,u(x),u'(x))dx between 0 and a,
where F(x,y,z)=sqrt((1+z2)/y)

That is, the problem is now in standard form for the calculus of variations.

A special case of the Euler-Lagrange equation.

Observe that in this instance, the functional J is described by a function F which does not depend on its first argument. It follows from the Euler-Lagrange equation that for any extremal u, the function E(x):= F(u(x),u'(x)) - u'(x)∂F(u(x),u'(x))/∂z is simply a constant, and so it becomes possible to describe u' in terms of u and some constants of integration. Separation of variables then gives x in terms of u and those constants.

Further, when F(y,z) takes the form h(y)sqrt(1+z2), this process is particularly simple; we get, for constants c,d

x=∫du/sqrt((h(u)/c)2 -1) + d

Application to the Brachistochrone problem

Armed with the above, we see that the Brachistochrone problem satisfies F(y,z) takes the form h(y)sqrt(1+z2) with h(y)=1/sqrt(y). Making a change of variables u:=τ/(c2) we obtain

x-d=(1/c2)∫sqrt(τ/(1-τ) dτ

This integral can be solved by a second change of variables; introduce θ such that τ:=(sin(θ/2))2 then by some simple trigonometric identities, the above formula becomes

x-d = (1/2c2)∫(1-cosθ) dθ

Calling the constant (1/2c2) A, and remembering that the second argument y=u(x), we have a cycloid

x= A(θ-sinθ) + d
y= A(1-cosθ)

as desired.

In rocketry, a brachistochrone trajectory is the path between two orbiting bodies (such as Earth and Mars, for example) that requires the shortest transit time. Unfortunately, a brachistochrone trajectory also requires by far the most delta-v.

To perform a brachistochrone transfer, a spacecraft would thrust continuously until the midpoint of its journey, then flip around and thrust in the opposite direction until it reaches zero velocity relative to its destination. At this point a final thruster burn would be required to enter orbit. This trajectory is so named because the path a spacecraft follows as it flies like this is a mathematical brachistochrone, as described in bitter_engineer's rabbit and dog example above.

Though brachistochrone transfers are very fast, they also require impractically large amounts of delta-v. A brachistochrone transfer from Earth to Mars at 0.01 g, or about 0.1m/s^2, requires 375 km/s of delta-v. By way of comparison, a Hohmann transfer from Earth all the way to Pluto requires only 25 km/s. This is in turn more than was available to the longest-ranged manned mission in history, the Apollo missions to the moon, which carried about 14 km/s of delta-v (and required a monstrous mass ratio of 22 to do it).

Log in or register to write something here or to contact authors.