Lissajous curves

We consider the ordinary differential equation

${\displaystyle \frac{dy}{dx}}=\pm k\sqrt{{\displaystyle \frac{b^2-y^2}{a^2-x^2}}},$(1)

i.e.

${\left({\displaystyle \frac{dy}{dx}}\right)}^2=k^2\cdot {\displaystyle \frac{b^2-y^2}{a^2-x^2}},$(2)

where $a$, $b$ and $k$ are positive .  It’s evident that the equations

$x=\pm a,y=\pm b$(3)

give singular solutions of (1).  The lines (3) divide the $xy$-plane into nine parts, each one of which contains a family of integral curves of (1).

Denote by $R$ the rectangle  $|x|\leqq a,|y|\leqq b$.  After separation of variables, we can write in $R$ the differential equation as

$$\int \frac{dy}{\sqrt{b^2-y^2}}=k\int \frac{dx}{\sqrt{a^2-x^2}},$$

which leads to the general integral

$\arcsin {\displaystyle \frac{y}{b}}=\pm k\arcsin {\displaystyle \frac{x}{a}}+C$(4)

and therefore

$y=\pm b\sin \left(k\arcsin {\displaystyle \frac{x}{a}}+C\right).$(5)

The equation (5) with the plus sign represents a family of smooth arcs once the rectangle $R$.  Every single arc two opposite sides of $R$ which are tangent lines of the arc.  The situation is analogical in the case of the minus sign.  One arc of both kinds passes through every interior point of $R$.

For better examining the curves (5) one may take

$$\arcsin \frac{x}{a}=:t$$

for a parametre.  Then,  $x=a\sin t$,  and (5) may be replaced by

$\{\begin{array}{cc}x=a\sin t,\hfill & \\ y=b\sin (kt+C).\hfill & \end{array}$(6)

Letting $t$ to change freely, for any given value of $C$ the equations (6) represent a continuous curve formed by an arc from the first family and another arc from the second family.  All such curves (6) are integral curves of the equation (2) and are called Lissajous curves.

It may be shown that for any rational value of $k$, (6) is a smooth closed curve, except when the curve comes to a vertex of the rectangle $R$.  If the value of $k$ is irrational, then (6) is never a closed curve, and any such curve fills the whole rectangle in the sense that it comes arbitrarily to every point of $R$.  In the former case, all integral curves of (2) are algebraic (http://planetmath.org/AlgebraicFunction).

Some figures in http://de.wikipedia.org/wiki/Lissajous-FigurWiki