The Brachistochrone Curve

Let B to be a ball positioned at some point A. Considering that only the gravitational force acts on the ball, what is the trajectory the ball should follow in order to reach a point C in the shortest time? The solution of this problem is known as the brachistochrone curve.

Although similar, the brachistochrone curve has a different description than the tautochrone curve. The amusing fact is that they are, indeed, the same. The brilliant argument exposed next is due to Johann Bernoulli.

The principle of least time

Light has different speeds at different mediums. That’s why we perceive the phenomenon of refraction when observing objects underwater while ourselves stand out of it. Willebrord Snellius was the first to give a relation between the speed of light in different mediums and its angle of refraction. By denoting n_1 and n_2 constants related with the speed of light at mediums M_1 and M_2 (also called refraction indexes of mediums M_1 and M_2); the entry ray’s angle with the plane P separating M_1 and M_2 by \theta_1; and \theta_2 the out ray’s angle, the relation is written as:

\displaystyle \frac{n_1}{n_2} = \frac{ \sin \theta_1 }{\sin \theta_2}

Continue reading

The Tautochrone Curve

The tautochrone is the curve in which a ball, positioned anywhere on the curve, will take the same time to arrive at its lowest point.

Source: Wikipedia

In a physical model where uniform gravity is the only force acting on the ball, the tautochrone curve is a cycloid (the curve described by a fixed point in a rolling circle), as correctly proven by Huygens in 1673 [BOYDE] using pure geometric arguments. We are going to present two different ways to arrive at this result.

Continue reading

The Laplace Transform

The expression “It is easy to see that…” was used many and many times by the scientist Pierre-Simon Laplace when he didn’t want to come into the details of its ideas. One of the main contributions of Laplace, the Laplace Transform, will be explained here, hopefully in an easy to see fashion.


Let f:\mathcal{R}\rightarrow\mathcal{R}. Its Laplace transform is defined as:

\displaystyle \mathcal{L}\{f(t)\} = F(s) = \int_{0}^{\infty}{e^{-st}f(t)dt}.

If f is piecewise continuous and there exist real positive numbers a,K,M such that |f(t)| \leq Ke^{at} \quad \forall t \geq M, then the integral above is well defined for all values s > a.

Continue reading

The Catenary Curve – On the way to the Calculus of Variations

In the beginning of the last decade of the 17th century, Jacob Bernoulli proposed the problem of the catenary; in 1696, Johann Bernoulli proposed the problem of the brachistochrone; some years later, Daniel Bernoulli would suggest to Euler the right functional to solve the elastica problem. The Bernoulli’s family had a great influence in the development of the Calculus of Variations, which was formalized by Euler in his book of 1744. Here the catenary problem and its solution are described in detail.

Definition and first model.

In 1690, Jacob Bernoulli stated the following problem:

Assume you have a perfectly elastic wire (it can be deformed by the action of some force, but its shape is recovered immediately after the forces are ceased) made of a material with uniform density \lambda.  The two extremities of the wire are attached at the top of two columns of the same height. Moreover, assume that the only forces acting on the wire are tension and gravity. What is the equation described by the wire?

Continue reading

Understanding Taylor’s Theorem

Classical methods as gradient descent and Newton can be justified from Taylor’s theorem. It is a powerful tool to have at handy when doing convergence analysis of optimization methods. We try to develop here the necessary background in order to master this important tool.

Fundamental Results

Rolle’s Theorem: Let a,b \in \mathbb{R} and f:[a,b]\rightarrow \mathbb{R} a continuous function differentiable at the interval (a,b). Let c,d \in [a,b] such that f(c)=f(d). Then there exists \alpha \in (a,b) such that f^\prime(\alpha) = 0.

Proof: Assume, without loss of generality (w.l.o.g.), that d is the first value greater than c such that f(c) = f(d). Furter, w.l.o.g., assume that f(x) \geq 0 \quad \forall x \in [c,d]. Since [c,d] is a compact set, it attains a maximum at some point \alpha \in [c,d]. Therefore, f^\prime(\alpha) = 0. \hfill \square

Continue reading