3
$\begingroup$

Jacobi elliptic function $\mathrm{sn}$ is defined as

$$\operatorname{sn}(u,k)=x\Leftrightarrow u=\int_0^x \frac{dt}{\sqrt{(1-t^2)(1-k^2t^2)}}.$$

and Weierstrass sigma function $\sigma$ is defined as

$$ \sigma(u)=u\prod_{0\neq\ell\in{L_z}} \left(1-\frac u \ell\right)e^{\frac u \ell + \frac{1}{2} \left(\frac u \ell \right)^2}.$$

where

$$L_z=\{m+nz \mid m,n\in{\mathbb{Z}}\}$$

in "The lecture of multiple trigonometric function theory" (Japanese: 多重三角関数論講義), there was a description called "on the case that $k$ and $L$ are special, $\operatorname{sn}=\sigma$"

How should I decide $z$ and $k$ to get the proof of this proposition?

$\endgroup$
2
  • $\begingroup$ One of the differences between \mathrm{sn} and \operatorname{sn} is seen here: $$ \begin{align} & 3\mathrm{sn}(u,k) \\ & 3\operatorname{sn}(u,k) \end{align} $$ The spacing to the left and right of $\operatorname{sn}$ depends on context, thus: $$ \begin{align} & \operatorname{sn} x \\ & \operatorname{sn}(x) \end{align} $$ I changed it to \operatorname{} in the question. $\endgroup$ Commented Jun 21, 2017 at 17:06
  • $\begingroup$ I didn't know it. Thank you very much! $\endgroup$ Commented Jun 22, 2017 at 11:13

1 Answer 1

2
$\begingroup$

Weierstrass $\sigma$-function is entire function, it has no poles. Jacobi elliptic sine function (in general case) is an elliptic function, so it has poles. [For each path $\gamma$ connecting $0$ and $\infty$ (in general case and for $k=1$) the integral $$u_\gamma=\int_\gamma \frac{dt}{\sqrt{(1-t^2)(1-k^2t^2)}}$$ is well defined. So $\operatorname{sn}(u_\gamma)=\infty$ for every $\gamma$. And it is true for all $k\in\mathbb C\setminus\{0\}$.] It means that the situation $\mathrm{sn}=\sigma$ is impossible.

The are two possibilities in the case of singular curve $y^2=4x^3-g_2x-g_3$: $$\sigma(u)=\frac{2\omega}{ \pi}e^{\frac{1}{6 }\left(\frac{\pi u}{ 2\omega}\right)^2}\sin\frac{\pi u}{ 2\omega}\qquad(g_2^3=27g_3^2\ne 0),$$ $$\sigma(u)=u\qquad(g_2=g_3= 0).$$

Jacobi elliptic sine is an elementary fuction only for $k=0,1$. If $k=0$ then $\operatorname{sn} x=\sin x$, and this function can't coinside with degenerate $\sigma$-functions above.

$\endgroup$
2
  • $\begingroup$ Is it established for any $k\in{\mathbb{C}}$? $\endgroup$ Commented Jun 21, 2017 at 11:54
  • $\begingroup$ I was able to understand the explanation, thank you very much! $\endgroup$ Commented Jun 22, 2017 at 11:55

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .