I have been studying Jacobi Elliptic functions and I am trying to understand the proof that the curve which ellipse describes is of the form $dn(x)$.I found this proof:

enter image description here

Where there is written $MG = - \frac{dr}{d\theta} = - y \frac{dy}{dx}$ this are supposed to be subnormal and polar subnormal. Now in polar coordinates $\frac{dy}{dx} = \frac{r’\sin{\theta} + r\cos{\theta}}{r’\cos{\theta} - r\sin{\theta}}$ however I could not figure out why is $\frac{dr}{d\theta} = y \frac{dy}{dx}$ true since definition of subnormal and polar subnormal are different so it must be true in this particular set up. Can anyone clarify?


Solution 1:

You want to show that

$$MG=-r' \tag{1}$$

(with notation $r':=\frac{dr}{d\theta}$).

It is a consequence of the (rather classical) formula

$$\tan \psi = \dfrac{r}{r'}\tag{2}$$

where $\psi$ is the (oriented) angle between the radius-vector $OP$ and the tangent at point $P$.

Formula (2) is for example mentionned in the answer by Nosrati to this (interesting) question

enter image description here

Now, with the notations you find below in your "augmented" figure :

$$\tan \psi = \tan(\alpha + \pi/2) = - \frac{1}{\tan \alpha} = -\frac{r}{MG}\tag{3}$$

(the last inequality being established in triangle $PMG$).

Setting equality between (2) and (3) gives (1).

Remark: The subnormal $MG$ of the curve is indeed $-yy'$ (a classical formula).

Different questions [in fact answered by having access to the (Google) book of Sir Greenhill named "Applications of elliptic functions"]:

  • You say "the curve that the ellipse describes". Could it be said a stronger property, i.e., "the curve on which the ellipse is rolling without slipping" (in such a way that its center moves on a horizontal line) ? [Answer $\to$ yes]

  • What is the relationship between parameter $m$ of the elliptic curve $y=\operatorname{dn}(x,m)$ and the values of $a,b$ ? [Answer $\to$ in fact it is $y = a \operatorname{dn}(x/b,e)$ with $m = e $ (the ellipse's eccentricity)]

enter image description here

Edit: About the point you are underlining, I see a classical cause of misunderstanding: one should never use the same letter as the integration variable AND an integration bound like here:

$$x=\int_y^{a} \dfrac{ab dy}{\sqrt{(a^2-y^2)(y^2-b^2)}}$$

but INSTEAD write this under the form:

$$x=\int_{Y=y}^{Y=a} \dfrac{ab dY}{\sqrt{(a^2-Y^2)(Y^2-b^2)}}dY$$ where the integration variable (capital) $Y$ is distinguishable from the bound $y$, making the limit case (brough by extremal value $y=b$) much more natural:

$$\int_{Y=b}^{Y=a} \dfrac{ab dY}{\sqrt{(a^2-Y^2)(Y^2-b^2)}}dY$$