I have just learned the definition of the first Jacobian elliptic function $\text{sn}(u)=\text{sn}(u,k)$, defined as the sine of the inverse function of $$F(\phi,k):=\int_0^\phi \frac{dx}{\sqrt{1-k^2\sin^2(x)}}$$ with respect to $\phi$; that is, if $u=F(\phi,k)$, then $\text{sn}(u,k)=\sin\phi$. I also know the analogous definitions of $\text{cn}(u,k)$ and $\text{dn}(u,k)$.

QUESTION. I have seen the following addition formula and would like to know how to prove it: $$\text{sn}(u+v)=\frac{\text{sn}(u)\text{cn}(v)\text{dn}(v)+\text{sn}(v)\text{cn}(u)\text{dn}(u)}{1-k^2\text{sn}^2(u)\text{sn}^2(v)}$$ How is this formula proven? Does it require any "advanced machinery" that a beginner would not be familiar with, or is it a simple proof?

  • $\begingroup$ Maybe not with all the details you are asking for but pages 4,5,6,7,8 of this seem to be helpful. It looks like there is a result which is true of a broader class of functions and this is just an application of this. $\endgroup$ – Mason Nov 15 '18 at 22:05
  • $\begingroup$ @Mason Wow, that's great! That is exactly what I was looking for. Thank you so much! $\endgroup$ – Frpzzd Nov 15 '18 at 22:09
  • 1
    $\begingroup$ @Mason Well, if I can work out the details then I will post it as an answer to my own question. $\endgroup$ – Frpzzd Nov 15 '18 at 22:27
  • 1
    $\begingroup$ This is a very standard result and is presented in most textbooks which cover elliptic functions. You may also have a look at my post based on Cayley's book. $\endgroup$ – Paramanand Singh Nov 21 '18 at 15:14
  • 1
    $\begingroup$ In general no advanced machinery is needed to understand elliptic functions unless you want to study its link with algebraic number theory. For me this link has been so notoriously difficult. $\endgroup$ – Paramanand Singh Nov 21 '18 at 15:17

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.