Nonlinear Pendulum

pendulum-definition

A simple pendulum consists of a single point of mass m attached to a rod of length l and of negligible weight. We denote by \theta the angle measured between the rod and the vertical axis. By applying the Newton’s law of dynamics we obtain the equation of motion

\displaystyle m l^2 \ddot{\theta} + m g l \sin \theta = 0

It can be simplified by putting \omega = \sqrt{g / l}

\displaystyle \ddot{\theta} + \omega^2 \sin \theta = 0

We simplify the equations by normalizing \omega = 1 without loss of generality.

\displaystyle \ddot{\theta} + \sin \theta = 0

Continue reading

Derivation in Algebra

derivation-ardoise

It is well known that the derivative is an operation on functions which is linear

\displaystyle \begin{array}{c} \left(f+g\right)'=f'+g'\\ \left(\lambda f\right)'=\lambda f'\end{array}

and satisfies the Leibniz rule

\displaystyle \left(fg\right)'=f'g+fg'

In fact, these two properties are purely algebraic and can be generalized with no reference to infinitesimal calculus. This approach has become common in modern mathematics since it allows profitable interactions between multiples domains such as algebra, analysis and geometry.

Continue reading

Morley’s Theorem, Alain Connes’s Proof

morley-intro

At the end of 19th century, the British mathematician Frank Morley discovered the following surprising property :

The three points of intersection of the adjacent trisectors of the angles of any triangle are the vertices of an equilateral triangle.

There are many proofs of this result, but one of them given by Alain Connes is especially beautiful and interesting as a group theoretic property of the action of the affine group on the line. We propose an overview of his proof.

Continue reading

CORDIC Algorithm

cordic

Unlike a common belief, most calculators do not use Taylor series to compute trigonometric functions, but the much more efficient CORDIC algorithm, namely COordinate Rotation DIgital Computer. It was developed by Volder in 1959 although the ideas can already be found in the work of Briggs in the XVIIth century.

How to efficiently approximate \tan \theta \textrm{ for } \theta \in [ 0 ; \frac{\pi}{2}[ ? Continue reading

Division by increasing power order

euclid

Euclid conducting a proof (Raphael's fresco School Of Athens, 1511)

The division of polynomials by increasing power order is similar to the usual Euclidean division but in reversed order : the terms of lower degree of the dividend are eliminated first. Some useful algorithms can be deduced from this process, such as series expansion or partial fraction decomposition.

EUCLIDEAN DIVISION

It is well known that given two polynomials A and B \neq 0 on a commutative field K, it is always possible to perform the Euclidean division

\displaystyle A = B Q + R , \deg(R)<\deg(B)

Continue reading