找回密码
 快速注册
搜索
查看: 49|回复: 3

椭圆曲线的模参数化实例

[复制链接]

471

主题

945

回帖

9837

积分

积分
9837

显示全部楼层

青青子衿 发表于 2023-11-16 22:06 |阅读模式
本帖最后由 青青子衿 于 2023-12-13 14:45 编辑
\begin{align*}
x&=\frac{E_{4,11}^{2}E_{2,11}}{E_{1,11}^{3}}-\frac{E_{3,11}^{2}E_{4,11}}{E_{2,11}^{3}}+\frac{E_{1,11}^{2}E_{5,11}}{E_{3,11}^{3}}-\frac{E_{5,11}^{2}E_{3,11}}{E_{4,11}^{3}}+\frac{E_{2,11}^{2}E_{1,11}}{E_{5,11}^{3}}\\
y&=\frac{E_{2,11}^{4}}{E_{4,11}^{3}E_{1,11}}-\frac{E_{4,11}^{4}}{E_{3,11}^{3}E_{2,11}}-\frac{E_{5,11}^{4}}{E_{1,11}^{3}E_{3,11}}+\frac{E_{3,11}^{4}}{E_{5,11}^{3}E_{4,11}}-\frac{E_{1,11}^{4}}{E_{2,11}^{3}E_{5,11}}-2\\
\\
&\qquad\qquad\begin{split}
E_{g,N}\left(\tau\right)&=q^{\frac{N}{2}\cdot B\left(\frac{g}{N}\right)}\prod_{k=1}^{\infty}\left[\left(1-q^{\left(k-1\right)N+g}\right)\left(1-q^{kN-g}\right)\right]\\
q&=\exp(2\pi\,\!i\tau)\\
B\left(p\right)&=p^{2}-p+\frac{1}{6}\\
\\
y^2 + y &= x^3 − x^2 − 10x − 20
\end{split}
\end{align*}

\begin{align*}
x&=\frac{1 - 2 X + 3 X^3 - 2 X^4 + X^5}{X^2(1-X)^2},\\
y&=-\frac{1 - 3 X + 3 X^2 - X^3 - X^4}{X^3(1-X)^3}\\
&\qquad\quad-\frac{(2 - 4 X + 4 X^2 - X^3) (1 - X - X^2 - X^3)Y}{X^3(1-X)^3}
\end{align*}

471

主题

945

回帖

9837

积分

积分
9837

显示全部楼层

 楼主| 青青子衿 发表于 2023-11-19 19:25
本帖最后由 青青子衿 于 2023-12-13 22:59 编辑
\begin{align*}
F(q)&=\frac{11 \left(1-24 \sum _{k=1}^{+\infty} \frac{k q^{11 k}}{1-q^{11 k}}\right)-\left(1-24 \sum _{k=1}^{+\infty} \frac{k q^k}{1-q^k}\right)}{10 q \prod _{k=1}^{+\infty} \left(1-q^k\right)^2 \left(1-q^{11 k}\right)^2}+\frac{8}{5}\\
G(q)&=\frac{\left(1+240 \sum _{k=1}^{+\infty} \frac{k^3 q^k}{1-q^k}\right)-121 \left(1+240 \sum _{k=1}^{+\infty} \frac{k^3 q^{11 k}}{1-q^{11 k}}\right)}{120 q^2 \prod _{k=1}^{+\infty} \left(1-q^k\right)^4 \left(1-q^{11 k}\right)^4}\\
\\
G^2&=(F^3 - 20 F^2 + 56 F - 44)F\\
y^2 + y &= x^3 − x^2 − 10x − 20\\
\\
F&=\frac{20-5x+y}{16-x}\\
G&=-\frac{240+32x-49x^2+2x^3+120 y-y^2}{(16-x)^2}\\
x&=\dfrac{F^2 - 10 F - G + 10}{2}\\
y&=\dfrac{10 - 28 F + 15 F^2 - F^3 - 5 G + FG}{2}\\
\\
G(q)&=\dfrac{q\large{\frac{\mathrm{d}F(q)}{\mathrm{d}q}}}{h(q)}\\
h(q)&=q \prod _{k=1}^{+\infty} \left(1-q^k\right)^2 \left(1-q^{11 k}\right)^2\\
\dfrac{q\frac{\mathrm{d}G(q)}{\mathrm{d}q}}{h(q)}&=\dfrac{q\large\frac{\mathrm{d}G(q)}{\mathrm{d}q}}{q \prod _{k=1}^{+\infty} \left(1-q^k\right)^2 \left(1-q^{11 k}\right)^2}\\
&=2 (F^3 - 15F^2 + 28F -11)  \\
\\
\dfrac{q\frac{\mathrm{d}x(q)}{\mathrm{d}q}}{h(q)}&=\frac{q\frac{\mathrm{d}}{\mathrm{d}q}\left(\frac{F^2 - 10 F - G + 10}{2}\right)}{q \prod _{k=1}^{+\infty} \left(1-q^k\right)^2 \left(1-q^{11 k}\right)^2}\\
&=11 - 28 F + 15 F^2 - F^3 - 5 G + F G\\
\\
\\
\\
\end{align*}


\begin{align*}
f(E,q)&=\dfrac{q\frac{\mathrm{d}x(q)}{\mathrm{d}q}}{2y(q) + a_1x(q) + a_3}=\dfrac{q\frac{\mathrm{d}x(q)}{\mathrm{d}q}}{2y(q)+1}\\
&=q \prod _{k=1}^{+\infty} \left(1-q^k\right)^2 \left(1-q^{11 k}\right)^2\\
f(E,q)&=\dfrac{1}{4}\sum _{(j,k,m,n)\in\mathbb{Z}^4}(-1)^{k+n} q^{[(2 j-1)^2+(2 j-1) k+3 k^2+(2 m-1)^2+(2 m-1) n+3 n^2]/2}\\
&=q\prod _{k=1}^{+\infty} \left(1-q^k\right)^2 \left(1-q^{11 k}\right)^2
\end{align*}




ELLIPTIC CURVES
FUNCTION THEORY, GEOMETRY, ARITHMETIC
Henry McKean & Victor Moll

4 Modular Groups and Modular Functions
4.16 Arithmetic Subgroups: Overview
P202, Higher Genus


  1. Series[{(F^2 - 10 F - G + 10)/2, (
  2.    10 - 28 F + 15 F^2 - F^3 - 5 G + F*G)/
  3.    2} /. {F -> (11*(1 -
  4.            24*Sum[(k*q^(11*k))/(1 - q^(11*k)), {k, 1, 500}]) - (1 -
  5.           24*Sum[(k*q^k)/(1 - q^k), {k, 1, 500}]))/(10*q*
  6.         Product[(1 - q^k)^2*(1 - q^(11*k))^2, {k, 1, 500}]) + 8/5,
  7.    G -> ((1 + 240*Sum[(k^3*q^k)/(1 - q^k), {k, 1, 500}]) -
  8.        121*(1 +
  9.           240*Sum[(k^3*q^(11*k))/(1 - q^(11*k)), {k, 1, 500}]))/(120*
  10.        q^2*Product[(1 - q^k)^4*(1 - q^(11*k))^4, {k, 1, 500}])}, {q,
  11.   0, 20}]
  12. G^2 - (F^4 - 20 F^3 + 56 F^2 - 44 F) /. {F -> (20 - 5 x + y)/(16 - x),
  13.     G -> -((
  14.      240 + 32 x - 49 x^2 + 2 x^3 + 120 y -
  15.       y^2)/(16 - x)^2)} // Factor
  16. y^2 + y - (x^3 - x^2 - 10 x - 20) /. {x -> (
  17.     F^2 - 10 F - G + 10)/2,
  18.    y -> (10 - 28 F + 15 F^2 - F^3 - 5 G + F*G)/2 } // Factor
复制代码

471

主题

945

回帖

9837

积分

积分
9837

显示全部楼层

 楼主| 青青子衿 发表于 2023-11-24 14:08
本帖最后由 青青子衿 于 2023-12-12 20:21 编辑
青青子衿 发表于 2023-11-19 19:25
\begin{align*}
f(E,q)&=\dfrac{q\frac{\mathrm{d}x(q)}{\mathrm{d}q}}{2y(q) + a_1x(q) + a_3}=\dfrac{q\frac{\mathrm{d}x(q)}{\mathrm{d}q}}{2y(q)+1}\\
&=q \prod _{k=1}^{+\infty} \left(1-q^k\right)^2 \left(1-q^{11 k}\right)^2\\
\end{align*}


\begin{align*}
f(E_{X_0(11)},q)&=\sum_{n=1}^{+\infty}a_{n}(E_{X_0(11)})q^{n}\\
&=\dfrac{1}{4}\sum _{(j,k,m,n)\in\mathbb{Z}^4}(-1)^{k+n} q^{\frac{(2 j-1)^2+(2 j-1) k+3 k^2+(2 m-1)^2+(2 m-1) n+3 n^2}{2}}\\
&=q\prod _{k=1}^{+\infty} \left(1-q^k\right)^2 \left(1-q^{11 k}\right)^2\\
\\
\int_{0}^{q}\dfrac{f(E_{X_0(11)},\xi)}{\xi}\mathrm{d}\xi&=\sum_{n=1}^{+\infty}\dfrac{a_{n}(E_{X_0(11)})}{n}q^{n}\\
&=\dfrac{1}{2}\sum _{(j,k,m,n)\in\mathbb{Z}^4}\dfrac{(-1)^{k+n}q^{\frac{(2 j-1)^2+(2 j-1) k+3 k^2+(2 m-1)^2+(2 m-1) n+3 n^2}{2}-1}}{\scriptsize{(2 j-1)^2+(2 j-1) k+3 k^2+(2 m-1)^2+(2 m-1) n+3 n^2}} \\
&=\int_0^{q}\mathrm{d}\xi\prod _{k=1}^{+\infty} \left(1-\xi^k\right)^2 \left(1-\xi^{11 k}\right)^2\\
\end{align*}

\begin{align*}
\frac{\mathrm{d}x}{2y + a_1x + a_3} &= \frac{f(q)\, \mathrm{d}q}{q}\\
\frac{\mathrm{d}x}{\sqrt{4x^3 - 4x^2 - 40x - 79}} &= \frac{f(q)\, \mathrm{d}q}{q}\\
\int_{?}^{?}\frac{\mathrm{d}x}{\sqrt{4x^3 - 4x^2 - 40x - 79}}  &= \int_0^{1}\frac{f(q)\, \mathrm{d}q}{q}\\
\end{align*}

\begin{align*}
L(E_{X_0(11)},1)=\sum_{n=1}^{+\infty}\dfrac{a_{n}(E_{X_0(11)})}{n}\overset{?}{=}\dfrac{1}{2}\sum _{(j,k,m,n)\in\mathbb{Z}^4}\dfrac{(-1)^{k+n}}{\scriptsize{(2 j-1)^2+(2 j-1) k+3 k^2+(2 m-1)^2+(2 m-1) n+3 n^2}} \\
\end{align*}

\begin{align*}
L(E_{X_0(11)},1)&=\dfrac{1}{5}\int_{\alpha}^{+\infty}\frac{\mathrm{d}x}{\sqrt{4x^3 - 4x^2 - 40x - 79}} \\
&\\
\alpha&=\tfrac{\small{2+(8-\sqrt{33})(19+3 \sqrt{33})^{1/3}+(8+\sqrt{33})(19-3 \sqrt{33})^{1/3}}}{6}
\end{align*}

471

主题

945

回帖

9837

积分

积分
9837

显示全部楼层

 楼主| 青青子衿 发表于 2023-12-12 20:20
本帖最后由 青青子衿 于 2023-12-14 08:53 编辑
青青子衿 发表于 2023-11-19 19:25
\begin{align*}
f(E,q)&=\dfrac{q\frac{\mathrm{d}x(q)}{\mathrm{d}q}}{2y(q) + a_1x(q) + a_3}=\dfrac{q\frac{\mathrm{d}x(q)}{\mathrm{d}q}}{2y(q)+1}\\
&=q \prod _{k=1}^{+\infty} \left(1-q^k\right)^2 \left(1-q^{11 k}\right)^2\\
\end{align*}




\begin{align*}
\vartheta_1(z,\mathscr{q})
&=2\mathscr{q}^{1/4}\sum_{n=0}^{+\infty}(-1)^n\mathscr{q}^{n(n+1)}\sin((2n+1)z)\\
&=2\mathscr{q}^{1/4}\sum_{n=0}^{+\infty}(-1)^n\mathscr{q}^{n(n+1)}i\frac{e^{-i(2n+1)z}-e^{i(2n+1)z}}{2}\\
&=i\mathscr{q}^{1/4}\sum_{n=0}^{+\infty}(-1)^n\mathscr{q}^{n(n+1)}e^{-i(2n+1)z}-\sum_{n=0}^{+\infty}(-1)^n\mathscr{q}^{n(n+1)}e^{i(2n+1)z}\\
&=i\mathscr{q}^{1/4}\sum_{n=0}^{+\infty}(-1)^n\mathscr{q}^{n(n+1)}e^{i(-2n-1)z}-\sum_{n=0}^{+\infty}(-1)^n\mathscr{q}^{n(n+1)}e^{i(2n+1)z}\\
&=i\mathscr{q}^{1/4}\sum_{n=-\infty}^{0}(-1)^{-n}\mathscr{q}^{n(n-1)}e^{i(2n-1)z}-\sum_{n=0}^{+\infty}(-1)^n\mathscr{q}^{n(n+1)}e^{i(2n+1)z}\\
&=i\mathscr{q}^{1/4}\sum_{n=-\infty}^{0}(-1)^{n}\mathscr{q}^{n(n-1)}e^{i(2n-1)z}-\sum_{n=0}^{+\infty}(-1)^n\mathscr{q}^{n(n+1)}e^{i(2n+1)z}\\
&=i\mathscr{q}^{1/4}\sum_{n=-\infty}^{-1}(-1)^{n+1}\mathscr{q}^{n(n+1)}e^{i(2n+1)z}+\sum_{n=0}^{+\infty}(-1)^{n+1}\mathscr{q}^{n(n+1)}e^{i(2n+1)z}\\
&=i\mathscr{q}^{1/4}\sum_{n=-\infty}^{+\infty}(-1)^{n+1}\mathscr{q}^{n(n+1)}e^{i(2n+1)z}

\end{align*}


\begin{align*}
\vartheta_1(z,\mathscr{q})
&=i\mathscr{q}^{1/4}\sum_{n=-\infty}^{+\infty}(-1)^{n+1}\mathscr{q}^{n(n+1)}e^{i(2n+1)z}\\
\vartheta_1(z,\mathscr{q})
&=2\mathscr{q}^{1/4}\sin(z)\prod_{k=1}^{+\infty}(1-\mathscr{q}^{2k})(1-2\cos(2z)\mathscr{q}^{2k}+\mathscr{q}^{4k})\\
&=-i\mathscr{q}^{1/4}e^{iz}\prod_{k=1}^{+\infty}(1-\mathscr{q}^{2k})(1-\mathscr{q}^{2k}e^{2iz})(1-\mathscr{q}^{2k-2}e^{-2iz})
\end{align*}

\begin{align*}
\vartheta_1(-g\pi\tau,q^{N/2})&=\vartheta_1(-g\pi\tau,\mathscr{q}^N)\\
&=-2q^{N/8}\sin(g\pi\tau)\prod_{k=1}^{+\infty\,\,}(1-q^{kN})(1-2\cos(2g\pi\tau)q^{kN}+q^{2kN})\\
&=-iq^{-g^2/(2N^2)}E_{g,N}(\tau)\eta(N\tau)
\\
\\
E_{g,N}\left(\tau\right)&=q^{b(g,N)}\prod_{k=1}^{\infty}\left[\left(1-q^{\left(k-1\right)N+g}\right)\left(1-q^{kN-g}\right)\right]\\
q&=\exp(2\pi\,\!i\tau)\\
B(p)&=p^2-p+\frac{1}{6}\\
b(g,N)&=\frac{N}{2}\cdot B\left(\frac{g}{N}\right)=\frac{g^2}{2N}-\frac{g}{2}+\frac{N}{12}\\
\eta(\tau)&=q^{1/24}\prod_{k=1}^{\infty}\left(1-q^{k}\right)
\end{align*}

\begin{align*}

\\
&\begin{split}
x&=\frac{E_{4,11}^{2}E_{2,11}}{E_{1,11}^{3}}-\frac{E_{3,11}^{2}E_{4,11}}{E_{2,11}^{3}}+\frac{E_{1,11}^{2}E_{5,11}}{E_{3,11}^{3}}-\frac{E_{5,11}^{2}E_{3,11}}{E_{4,11}^{3}}+\frac{E_{2,11}^{2}E_{1,11}}{E_{5,11}^{3}}\\
y&=\frac{E_{2,11}^{4}}{E_{4,11}^{3}E_{1,11}}-\frac{E_{4,11}^{4}}{E_{3,11}^{3}E_{2,11}}-\frac{E_{5,11}^{4}}{E_{1,11}^{3}E_{3,11}}+\frac{E_{3,11}^{4}}{E_{5,11}^{3}E_{4,11}}-\frac{E_{1,11}^{4}}{E_{2,11}^{3}E_{5,11}}-2\\
\\
y^2 + y &= x^3 − x^2 − 10x − 20\\
\\
E_{g,N}\left(\tau\right)&=q^{g^2/(2N)-g/2+N/12}\prod_{k=1}^{\infty}\left[\left(1-q^{\left(k-1\right)N+g}\right)\left(1-q^{kN-g}\right)\right]\\
q&=\exp(2\pi\,\!i\tau)\\
\\
E_{g,N}(\tau)&=-iq^{g^2/(2N^2)}\dfrac{\vartheta_1(g\pi\tau,q^{N/2})}{\eta(N\tau)}\\
\vartheta_1(g\pi\tau,q^{N/2})
&=2q^{N/8}\sin(g\pi\tau)\prod_{k=1}^{+\infty\,\,}\Big[(1-q^{kN})\big(1-2\cos(2g\pi\tau)q^{kN}+q^{2kN}\big)\Big]\\
\eta(N\tau)&=q^{N/24}\prod_{k=1}^{\infty}\left(1-q^{kN}\right)\\
\\
x(\tau)&=\frac{q^{3/2}\,\vartheta _1^2\left(4 \pi  \tau ,q^{11/2}\right) \vartheta _1\left(2 \pi  \tau ,q^{11/2}\right)}{\vartheta _1^3\left(\pi  \tau ,q^{11/2}\right)}-\frac{q\,\vartheta _1^2\left(3 \pi  \tau ,q^{11/2}\right) \vartheta _1\left(4 \pi  \tau ,q^{11/2}\right)}{\vartheta _1^3\left(2 \pi  \tau ,q^{11/2}\right)}\\
&\qquad\quad+\frac{\vartheta _1^2\left(\pi  \tau ,q^{11/2}\right) \vartheta _1\left(5 \pi  \tau ,q^{11/2}\right)}{\vartheta _1^3\left(3 \pi  \tau ,q^{11/2}\right)}
-\frac{q^{1/2}\vartheta _1^2\left(5 \pi  \tau ,q^{11/2}\right)\vartheta _1\left(3 \pi  \tau ,q^{11/2}\right) }{\vartheta _1^3\left(4 \pi  \tau ,q^{11/2}\right)}\\
&\qquad\qquad\quad+\frac{\vartheta _1^2\left(2 \pi  \tau ,q^{11/2}\right)\vartheta _1\left(\pi  \tau ,q^{11/2}\right) }{q^3 \vartheta _1^3\left(5 \pi  \tau ,q^{11/2}\right)}\\
y(\tau)&=\frac{\vartheta _1^4\left(2 \pi  \tau ,q^{11/2}\right)}{q^{3/2}\,\vartheta _1^3\left(4 \pi  \tau ,q^{11/2}\right)\vartheta _1\left(\pi  \tau ,q^{11/2}\right) }-\frac{q^{3/2} \vartheta _1^4\left(4 \pi  \tau ,q^{11/2}\right)}{\vartheta _1^3\left(3 \pi  \tau ,q^{11/2}\right)\vartheta _1\left(2 \pi  \tau ,q^{11/2}\right) }\\

&\qquad-\frac{q^4\,\vartheta _1^4\left(5 \pi  \tau ,q^{11/2}\right)}{\vartheta _1^3 \left(\pi  \tau ,q^{11/2}\right)\vartheta _1\left(3 \pi  \tau ,q^{11/2}\right)}+\frac{\vartheta _1^4\left(3 \pi  \tau ,q^{11/2}\right)}{q^{5/2}\,\vartheta _1^3\left(5 \pi  \tau ,q^{11/2}\right)\vartheta _1\left(4 \pi  \tau ,q^{11/2}\right) }\\

&\qquad\qquad-\frac{\vartheta _1^4\left(\pi  \tau ,q^{11/2}\right)}{q^{3/2}\,\vartheta _1^3\left(2 \pi  \tau ,q^{11/2}\right) \vartheta _1\left(5 \pi  \tau ,q^{11/2}\right)}-2\\
\\

x_1&=x\left(\tau=\frac{-3+i \sqrt{35}}{22}\right)\\
&=3+2\sqrt{5}+i\sqrt{7}\,(7+3 \sqrt{5}) \approx7.47214 + 36.2685 i\\
\\
x_2&=x\left(\tau=\frac{-25+i \sqrt{35}}{66}\right)\\
&=3-2 \sqrt{5}-i \sqrt{7}(7-3 \sqrt{5})\approx-1.47214 - 0.77202 i\\
\\
y_1&=y\left(\tau=\frac{-3+i \sqrt{35}}{22}\right)\\
&=53+24 \sqrt{5}-i \sqrt{7}(37+17 \sqrt{5})\approx106.666 - 198.466i\\
\\
y_2&=y\left(\tau=\frac{-25+i \sqrt{35}}{66}\right)\\
&=53-24 \sqrt{5}-i \sqrt{7} \left(17 \sqrt{5}-37\right)\approx-0.665631 - 2.68056 i\\
\\
x_1\oplus\,\!x_2&=\frac{-16-2 i\sqrt{35}}{9}\approx-1.77778 - 1.31468 i\\
y_1\oplus\,\!y_2&=\frac{-40+4 i \sqrt{35}}{27}\approx-1.48148 + 0.876456 i

\end{split}

\end{align*}






手机版|悠闲数学娱乐论坛(第3版)

GMT+8, 2025-3-4 12:38

Powered by Discuz!

× 快速回复 返回顶部 返回列表