The nome function is given by
q
=
e
−
π
K
′
/
K
=
e
i
π
ω
2
/
ω
1
=
e
i
π
τ
{\displaystyle q=\mathrm {e} ^{-{\pi K'/K}}=\mathrm {e} ^{{\rm {i}}\pi \omega _{2}/\omega _{1}}=\mathrm {e} ^{{\rm {i}}\pi \tau }\,}
where
K
{\displaystyle K}
and
i
K
′
{\displaystyle iK'}
are the quarter periods , and
ω
1
{\displaystyle \omega _{1}}
and
ω
2
{\displaystyle \omega _{2}}
are the fundamental pair of periods , and
τ
=
i
K
′
K
=
ω
2
ω
1
{\textstyle \tau ={\frac {iK'}{K}}={\frac {\omega _{2}}{\omega _{1}}}}
is the half-period ratio . The nome can be taken to be a function of any one of these quantities; conversely, any one of these quantities can be taken as functions of the nome. Each of them uniquely determines the others when
0
<
q
<
1
{\displaystyle 0<q<1}
. That is, when
0
<
q
<
1
{\displaystyle 0<q<1}
, the mappings between these various symbols are both 1-to-1 and onto, and so can be inverted: the quarter periods, the half-periods and the half-period ratio can be explicitly written as functions of the nome. For general
q
∈
C
{\displaystyle q\in \mathbb {C} }
with
0
<
|
q
|
<
1
{\displaystyle 0<|q|<1}
,
τ
{\displaystyle \tau }
is not a single-valued function of
q
{\displaystyle q}
. Explicit expressions for the quarter periods , in terms of the nome, are given in the linked article.
Notationally, the quarter periods
K
{\displaystyle K}
and
i
K
′
{\displaystyle iK'}
are usually used only in the context of the Jacobian elliptic functions , whereas the half-periods
ω
1
{\displaystyle \omega _{1}}
and
ω
2
{\displaystyle \omega _{2}}
are usually used only in the context of Weierstrass elliptic functions . Some authors, notably Apostol, use
ω
1
{\displaystyle \omega _{1}}
and
ω
2
{\displaystyle \omega _{2}}
to denote whole periods rather than half-periods.
The nome is frequently used as a value with which elliptic functions and modular forms can be described; on the other hand, it can also be thought of as function, because the quarter periods are functions of the elliptic modulus
k
{\displaystyle k}
:
q
(
k
)
=
e
−
π
K
′
(
k
)
/
K
(
k
)
{\displaystyle q(k)=\mathrm {e} ^{-\pi K'(k)/K(k)}}
.
The complementary nome
q
1
{\displaystyle q_{1}}
is given by
q
1
(
k
)
=
e
−
π
K
(
k
)
/
K
′
(
k
)
.
{\displaystyle q_{1}(k)=\mathrm {e} ^{-\pi K(k)/K'(k)}.\,}
Sometimes the notation
q
=
e
2
i
π
τ
{\displaystyle q=\mathrm {e} ^{{2{\rm {i}}}\pi \tau }}
is used for the square of the nome.
The mentioned functions
K
{\displaystyle K}
and
K
′
{\displaystyle K'}
are called complete elliptic integrals of the first kind. They are defined as follows:
K
(
x
)
=
∫
0
π
/
2
1
1
−
x
2
sin
(
φ
)
2
d
φ
=
∫
0
1
2
(
y
2
+
1
)
2
−
4
x
2
y
2
d
y
{\displaystyle K(x)=\int _{0}^{\pi /2}{\frac {1}{\sqrt {1-x^{2}\sin(\varphi )^{2}}}}\,\mathrm {d} \varphi =\int _{0}^{1}{\frac {2}{\sqrt {(y^{2}+1)^{2}-4x^{2}y^{2}}}}\mathrm {d} y}
K
′
(
x
)
=
K
(
1
−
x
2
)
=
∫
0
π
/
2
1
1
−
(
1
−
x
2
)
sin
(
φ
)
2
d
φ
{\displaystyle K'(x)=K({\sqrt {1-x^{2}}})=\int _{0}^{\pi /2}{\frac {1}{\sqrt {1-(1-x^{2})\sin(\varphi )^{2}}}}\,\mathrm {d} \varphi }
The nome solves the following equation:
|
k
|
=
ϑ
10
2
[
0
,
q
(
k
)
]
ϑ
00
2
[
0
,
q
(
k
)
]
→
q
(
k
)
=
e
−
π
K
′
(
k
)
/
K
(
k
)
{\displaystyle |k|={\frac {\vartheta _{10}^{2}[0,q(k)]}{\vartheta _{00}^{2}[0,q(k)]}}\rightarrow q(k)=\mathrm {e} ^{-\pi K'(k)/K(k)}}
This analogon is valid for the Pythagorean complementary modulus:
k
′
=
1
−
k
2
=
ϑ
01
2
[
0
,
q
(
k
)
]
ϑ
00
2
[
0
,
q
(
k
)
]
→
q
(
k
)
=
e
−
π
K
′
(
k
)
/
K
(
k
)
{\displaystyle k'={\sqrt {1-k^{2}}}={\frac {\vartheta _{01}^{2}[0,q(k)]}{\vartheta _{00}^{2}[0,q(k)]}}\rightarrow q(k)=\mathrm {e} ^{-\pi K'(k)/K(k)}}
where
ϑ
10
,
θ
00
{\displaystyle \vartheta _{10},\theta _{00}}
are the complete Jacobi theta functions and
K
(
k
)
{\displaystyle K(k)}
is the complete elliptic integral of the first kind with modulus
k
{\displaystyle k}
shown in the formula above. For the complete theta functions these definitions introduced by Sir Edmund Taylor Whittaker and George Neville Watson are valid:
ϑ
00
(
v
;
w
)
=
∏
n
=
1
∞
(
1
−
w
2
n
)
[
1
+
2
cos
(
2
v
)
w
2
n
−
1
+
w
4
n
−
2
]
{\displaystyle \vartheta _{00}(v;w)=\prod _{n=1}^{\infty }(1-w^{2n})[1+2\cos(2v)w^{2n-1}+w^{4n-2}]}
ϑ
01
(
v
;
w
)
=
∏
n
=
1
∞
(
1
−
w
2
n
)
[
1
−
2
cos
(
2
v
)
w
2
n
−
1
+
w
4
n
−
2
]
{\displaystyle \vartheta _{01}(v;w)=\prod _{n=1}^{\infty }(1-w^{2n})[1-2\cos(2v)w^{2n-1}+w^{4n-2}]}
ϑ
10
(
v
;
w
)
=
2
w
1
/
4
cos
(
v
)
∏
n
=
1
∞
(
1
−
w
2
n
)
[
1
+
2
cos
(
2
v
)
w
2
n
+
w
4
n
]
{\displaystyle \vartheta _{10}(v;w)=2w^{1/4}\cos(v)\prod _{n=1}^{\infty }(1-w^{2n})[1+2\cos(2v)w^{2n}+w^{4n}]}
These three definition formulas are written down in the fourth edition of the book A Course in Modern Analysis written by Whittaker and Watson on the pages 469 and 470. The nome is commonly used as the starting point for the construction of Lambert series , the q-series and more generally the q-analogs . That is, the half-period ratio
τ
{\displaystyle \tau }
is commonly used as a coordinate on the complex upper half-plane , typically endowed with the Poincaré metric to obtain the Poincaré half-plane model . The nome then serves as a coordinate on a punctured disk of unit radius; it is punctured because
q
=
0
{\displaystyle q=0}
is not part of the disk (or rather,
q
=
0
{\displaystyle q=0}
corresponds to
τ
→
∞
{\displaystyle \tau \to \infty }
). This endows the punctured disk with the Poincaré metric.
The upper half-plane (and the Poincaré disk , and the punctured disk) can thus be tiled with the fundamental domain , which is the region of values of the half-period ratio
τ
{\displaystyle \tau }
(or of
q
{\displaystyle q}
, or of
K
{\displaystyle K}
and
i
K
′
{\displaystyle iK'}
etc.) that uniquely determine a tiling of the plane by parallelograms . The tiling is referred to as the modular symmetry given by the modular group . Some functions that are periodic on the upper half-plane are called to as modular functions ; the nome, the half-periods, the quarter-periods or the half-period ratio all provide different parameterizations for these periodic functions.
The prototypical modular function is Klein's j-invariant . It can be written as a function of either the half-period ratio τ or as a function of the nome
q
{\displaystyle q}
. The series expansion in terms of the nome or the square of the nome (the q -expansion ) is famously connected to the Fisher-Griess monster by means of monstrous moonshine .
Euler's function arises as the prototype for q -series in general.
The nome, as the
q
{\displaystyle q}
of q -series then arises in the theory of affine Lie algebras , essentially because (to put it poetically, but not factually)[citation needed ] those algebras describe the symmetries and isometries of Riemann surfaces .
The Legendre's relation is defined that way:
K
E
′
+
E
K
′
−
K
K
′
=
1
2
π
{\displaystyle K\,E'+E\,K'-K\,K'={\tfrac {1}{2}}\pi }
And as described above, the elliptic nome function
q
(
x
)
{\displaystyle q(x)}
has this original definition:
q
(
x
)
=
exp
[
−
π
K
(
1
−
x
2
)
K
(
x
)
]
{\displaystyle q(x)=\exp \left[-\pi \,{\frac {K({\sqrt {1-x^{2}}})}{K(x)}}\right]}
Furthermore, these are the derivatives of the two complete elliptic integrals:
d
d
x
K
(
x
)
=
1
x
(
1
−
x
2
)
[
E
(
x
)
−
(
1
−
x
2
)
K
(
x
)
]
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}K(x)={\frac {1}{x(1-x^{2})}}{\bigl [}E(x)-(1-x^{2})K(x){\bigr ]}}
d
d
x
E
(
x
)
=
−
1
x
[
K
(
x
)
−
E
(
x
)
]
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}E(x)=-{\frac {1}{x}}{\bigl [}K(x)-E(x){\bigr ]}}
Therefore, the derivative of the nome function has the following expression:
d
d
x
q
(
x
)
=
π
2
2
x
(
1
−
x
2
)
K
(
x
)
2
q
(
x
)
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\,q(x)={\frac {\pi ^{2}}{2x(1-x^{2})K(x)^{2}}}\,q(x)}
The second derivative can be expressed this way:
d
2
d
x
2
q
(
x
)
=
π
4
+
2
π
2
(
1
+
x
2
)
K
(
x
)
2
−
4
π
2
K
(
x
)
E
(
x
)
4
x
2
(
1
−
x
2
)
2
K
(
x
)
4
q
(
x
)
{\displaystyle {\frac {\mathrm {d} ^{2}}{\mathrm {d} x^{2}}}\,q(x)={\frac {\pi ^{4}+2\pi ^{2}(1+x^{2})K(x)^{2}-4\pi ^{2}K(x)E(x)}{4x^{2}(1-x^{2})^{2}K(x)^{4}}}\,q(x)}
And that is the third derivative:
d
3
d
x
3
q
(
x
)
=
π
6
+
6
π
4
(
1
+
x
2
)
K
(
x
)
2
−
12
π
4
K
(
x
)
E
(
x
)
+
8
π
2
(
1
+
x
2
)
2
K
(
x
)
4
−
24
π
2
(
1
+
x
2
)
K
(
x
)
3
E
(
x
)
+
24
π
2
K
(
x
)
2
E
(
x
)
2
8
x
3
(
1
−
x
2
)
3
K
(
x
)
6
q
(
x
)
{\displaystyle {\frac {\mathrm {d} ^{3}}{\mathrm {d} x^{3}}}\,q(x)={\frac {\pi ^{6}+6\pi ^{4}(1+x^{2})K(x)^{2}-12\pi ^{4}K(x)E(x)+8\pi ^{2}(1+x^{2})^{2}K(x)^{4}-24\pi ^{2}(1+x^{2})K(x)^{3}E(x)+24\pi ^{2}K(x)^{2}E(x)^{2}}{8x^{3}(1-x^{2})^{3}K(x)^{6}}}\,q(x)}
The complete elliptic integral of the second kind is defined as follows:
E
(
x
)
=
∫
0
π
/
2
1
−
x
2
sin
(
φ
)
2
d
φ
=
2
∫
0
1
(
y
2
+
1
)
2
−
4
x
2
y
2
(
y
2
+
1
)
2
d
y
{\displaystyle E(x)=\int _{0}^{\pi /2}{\sqrt {1-x^{2}\sin(\varphi )^{2}}}\,\mathrm {d} \varphi =2\int _{0}^{1}{\frac {\sqrt {(y^{2}+1)^{2}-4x^{2}y^{2}}}{(y^{2}+1)^{2}}}\,\mathrm {d} y}
The following equation follows from these equations by eliminating the complete elliptic integral of the second kind:
3
[
d
2
d
x
2
q
(
x
)
]
2
−
2
[
d
d
x
q
(
x
)
]
[
d
3
d
x
3
q
(
x
)
]
=
π
8
−
4
π
4
(
1
+
x
2
)
2
K
(
x
)
4
16
x
4
(
1
−
x
2
)
4
K
(
x
)
8
q
(
x
)
2
{\displaystyle 3{\biggl [}{\frac {\mathrm {d} ^{2}}{\mathrm {d} x^{2}}}q(x){\biggr ]}^{2}-2{\biggl [}{\frac {\mathrm {d} }{\mathrm {d} x}}q(x){\biggr ]}{\biggl [}{\frac {\mathrm {d} ^{3}}{\mathrm {d} x^{3}}}q(x){\biggr ]}={\frac {\pi ^{8}-4\pi ^{4}(1+x^{2})^{2}K(x)^{4}}{16x^{4}(1-x^{2})^{4}K(x)^{8}}}q(x)^{2}}
Thus, the following third-order quartic differential equation is valid:
x
2
(
1
−
x
2
)
2
[
2
q
(
x
)
2
q
′
(
x
)
q
‴
(
x
)
−
3
q
(
x
)
2
q
″
(
x
)
2
+
q
′
(
x
)
4
]
=
(
1
+
x
2
)
2
q
(
x
)
2
q
′
(
x
)
2
{\displaystyle x^{2}(1-x^{2})^{2}[2q(x)^{2}q'(x)q'''(x)-3q(x)^{2}q''(x)^{2}+q'(x)^{4}]=(1+x^{2})^{2}q(x)^{2}q'(x)^{2}}
MacLaurin series and integer sequences
edit
Given is the derivative of the Elliptic Nome mentioned above:
d
d
x
q
(
x
)
=
π
2
2
x
(
1
−
x
2
)
K
(
x
)
2
q
(
x
)
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\,q(x)={\frac {\pi ^{2}}{2x(1-x^{2})K(x)^{2}}}\,q(x)}
The outer factor with the K-integral in the denominator shown in this equation is the derivative of the elliptic period ratio. The elliptic period ratio is the quotient of the K-integral of the Pythagorean complementary modulus divided by the K-integral of the modulus itself. And the integer number sequence in MacLaurin series of that elliptic period ratio leads to the integer sequence of the series of the elliptic nome directly.
The German mathematician Adolf Kneser researched on the integer sequence of the elliptic period ratio in his essay Neue Untersuchung einer Reihe aus der Theorie der elliptischen Funktionen and showed that the generating function of this sequence is an elliptic function. Also a further mathematician with the name Robert Fricke analyzed this integer sequence in his essay Die elliptischen Funktionen und ihre Anwendungen and described the accurate computing methods by using this mentioned sequence. The Kneser integer sequence Kn(n) can be constructed in this way:
Kn
(
2
n
)
=
2
4
n
−
3
(
4
n
2
n
)
+
∑
m
=
1
n
4
2
n
−
2
m
(
4
n
2
n
−
2
m
)
Kn
(
m
)
{\displaystyle {\text{Kn}}(2n)=2^{4n-3}{\binom {4n}{2n}}+\sum _{m=1}^{n}4^{2n-2m}{\binom {4n}{2n-2m}}{\text{Kn}}(m)}
Kn
(
2
n
+
1
)
=
2
4
n
−
1
(
4
n
+
2
2
n
+
1
)
+
∑
m
=
1
n
4
2
n
−
2
m
+
1
(
4
n
+
2
2
n
−
2
m
+
1
)
Kn
(
m
)
{\displaystyle {\text{Kn}}(2n+1)=2^{4n-1}{\binom {4n+2}{2n+1}}+\sum _{m=1}^{n}4^{2n-2m+1}{\binom {4n+2}{2n-2m+1}}{\text{Kn}}(m)}
Executed examples:
Kn
(
2
)
=
2
×
6
+
1
×
1
=
13
{\displaystyle {\text{Kn}}(2)=2\times 6+1\times {\color {cornflowerblue}1}={\color {cornflowerblue}13}}
Kn
(
3
)
=
8
×
20
+
24
×
1
=
184
{\displaystyle {\text{Kn}}(3)=8\times 20+24\times {\color {cornflowerblue}1}={\color {cornflowerblue}184}}
Kn
(
4
)
=
32
×
70
+
448
×
1
+
1
×
13
=
2701
{\displaystyle {\text{Kn}}(4)=32\times 70+448\times {\color {cornflowerblue}1}+1\times {\color {cornflowerblue}13}={\color {cornflowerblue}2701}}
Kn
(
5
)
=
128
×
252
+
7680
×
1
+
40
×
13
=
40456
{\displaystyle {\text{Kn}}(5)=128\times 252+7680\times {\color {cornflowerblue}1}+40\times {\color {cornflowerblue}13}={\color {cornflowerblue}40456}}
Kn
(
6
)
=
512
×
924
+
126720
×
1
+
1056
×
13
+
1
×
184
=
613720
{\displaystyle {\text{Kn}}(6)=512\times 924+126720\times {\color {cornflowerblue}1}+1056\times {\color {cornflowerblue}13}+1\times {\color {cornflowerblue}184}={\color {cornflowerblue}613720}}
Kn
(
7
)
=
2048
×
3432
+
2050048
×
1
+
23296
×
13
+
56
×
184
=
9391936
{\displaystyle {\text{Kn}}(7)=2048\times 3432+2050048\times {\color {cornflowerblue}1}+23296\times {\color {cornflowerblue}13}+56\times {\color {cornflowerblue}184}={\color {cornflowerblue}9391936}}
The Kneser sequence appears in the Taylor series of the period ratio (half period ratio):
1
4
ln
(
16
x
2
)
−
π
K
′
(
x
)
4
K
(
x
)
=
∑
n
=
1
∞
Kn
(
n
)
2
4
n
−
1
n
x
2
n
{\displaystyle {\frac {1}{4}}\ln {\bigl (}{\frac {16}{x^{2}}}{\bigr )}-{\frac {\pi \,K'(x)}{4\,K(x)}}=\sum _{n=1}^{\infty }{\frac {{\text{Kn}}(n)}{2^{4n-1}n}}\,x^{2n}}
1
4
ln
(
16
x
2
)
−
π
K
′
(
x
)
4
K
(
x
)
=
1
8
x
2
+
13
256
x
4
+
184
6144
x
6
+
2701
131072
x
8
+
40456
2621440
x
10
+
…
{\displaystyle {\color {limegreen}{\frac {1}{4}}\ln {\bigl (}{\frac {16}{x^{2}}}{\bigr )}-{\frac {\pi \,K'(x)}{4\,K(x)}}={\frac {\color {cornflowerblue}1}{8}}x^{2}+{\frac {\color {cornflowerblue}13}{256}}x^{4}+{\frac {\color {cornflowerblue}184}{6144}}x^{6}+{\frac {\color {cornflowerblue}2701}{131072}}x^{8}+{\frac {\color {cornflowerblue}40456}{2621440}}x^{10}+\ldots }}
The derivative of this equation after
x
{\displaystyle x}
leads to this equation that shows the generating function of the Kneser number sequence:
π
2
8
x
(
1
−
x
2
)
K
(
x
)
2
−
1
2
x
=
∑
n
=
1
∞
Kn
(
n
)
2
4
n
−
2
x
2
n
−
1
{\displaystyle {\frac {\pi ^{2}}{8x(1-x^{2})K(x)^{2}}}-{\frac {1}{2x}}=\sum _{n=1}^{\infty }{\frac {{\text{Kn}}(n)}{2^{4n-2}}}x^{2n-1}}
π
2
8
x
(
1
−
x
2
)
K
(
x
)
2
−
1
2
x
=
1
4
x
+
13
64
x
3
+
184
1024
x
5
+
2701
16384
x
7
+
40456
262144
x
9
+
…
{\displaystyle {\color {limegreen}{\frac {\pi ^{2}}{8x(1-x^{2})K(x)^{2}}}-{\frac {1}{2x}}={\frac {\color {cornflowerblue}1}{4}}x+{\frac {\color {cornflowerblue}13}{64}}x^{3}+{\frac {\color {cornflowerblue}184}{1024}}x^{5}+{\frac {\color {cornflowerblue}2701}{16384}}x^{7}+{\frac {\color {cornflowerblue}40456}{262144}}x^{9}+\ldots }}
This result appears because of the Legendre's relation
K
E
′
+
E
K
′
−
K
K
′
=
1
2
π
{\displaystyle K\,E'+E\,K'-K\,K'={\tfrac {1}{2}}\pi }
in the numerator.
Schellbach Schwarz sequence
edit
The mathematician Karl Heinrich Schellbach [de ] discovered the integer number sequence that appears in the MacLaurin series of the fourth root of the quotient Elliptic Nome function divided by the square function. The construction of this sequence is detailed in his work Die Lehre von den Elliptischen Integralen und den Thetafunktionen .[ 1] : 60 The sequence was also constructed by the Silesian German mathematician Hermann Amandus Schwarz in Formeln und Lehrsätze zum Gebrauche der elliptischen Funktionen [ 2] (pages 54–56, chapter Berechnung der Grösse k ). This Schellbach Schwarz number sequence Sc(n) was also analyzed by the mathematicians Karl Theodor Wilhelm Weierstrass and Louis Melville Milne-Thomson in the 20th century. The mathematician Adolf Kneser determined a construction for this sequence based on the following pattern:
Sc
(
n
+
1
)
=
2
n
∑
m
=
1
n
Sc
(
m
)
Kn
(
n
+
1
−
m
)
{\displaystyle {\text{Sc}}(n+1)={\frac {2}{n}}\sum _{m=1}^{n}{\text{Sc}}(m)\,{\text{Kn}}(n+1-m)}
The Schellbach Schwarz sequence Sc(n) appears in the On-Line Encyclopedia of Integer Sequences under the number A002103 and the Kneser sequence Kn(n) appears under the number A227503 .
The following table[ 3] [ 4] contains the Kneser numbers and the Schellbach Schwarz numbers:
Constructed sequences Kneser and Schellbach Schwarz
Index n
Kn(n) (A227503)
Sc(n) (A002103)
1
1
1
2
13
2
3
184
15
4
2701
150
5
40456
1707
6
613720
20910
7
9391936
268616
8
144644749
3567400
And this sequence creates the MacLaurin series of the elliptic nome[ 5] [ 6] [ 7] in exactly this way:
q
(
x
)
=
∑
n
=
1
∞
Sc
(
n
)
2
4
n
−
3
(
1
−
1
−
x
2
4
1
+
1
−
x
2
4
)
4
n
−
3
=
x
2
{
1
2
+
[
∑
n
=
1
∞
Sc
(
n
+
1
)
2
4
n
+
1
x
2
n
]
}
4
{\displaystyle q(x)=\sum _{n=1}^{\infty }{\frac {{\text{Sc}}(n)}{2^{4n-3}}}{\biggl (}{\frac {1-{\sqrt[{4}]{1-x^{2}}}}{1+{\sqrt[{4}]{1-x^{2}}}}}{\biggr )}^{4n-3}=x^{2}{\biggl \{}{\frac {1}{2}}+{\biggl [}\sum _{n=1}^{\infty }{\frac {{\text{Sc}}(n+1)}{2^{4n+1}}}x^{2n}{\biggr ]}{\biggr \}}^{4}}
q
(
x
)
=
x
2
(
1
2
+
2
32
x
2
+
15
512
x
4
+
150
8192
x
6
+
1707
131072
x
8
+
…
)
4
{\displaystyle q(x)=x^{2}{\bigl (}{\color {limegreen}{\frac {\color {navy}1}{2}}+{\frac {\color {navy}2}{32}}x^{2}+{\frac {\color {navy}15}{512}}x^{4}+{\frac {\color {navy}150}{8192}}x^{6}+{\frac {\color {navy}1707}{131072}}x^{8}+\ldots }{\bigr )}^{4}}
In the following, it will be shown as an example how the Schellbach Schwarz numbers are built up successively. For this, the examples with the numbers Sc(4) = 150, Sc(5) = 1707 and Sc(6) = 20910 are used:
S
c
(
4
)
=
2
3
∑
m
=
1
3
S
c
(
m
)
K
n
(
4
−
m
)
=
2
3
[
S
c
(
1
)
K
n
(
3
)
+
S
c
(
2
)
K
n
(
2
)
+
S
c
(
3
)
K
n
(
1
)
]
{\displaystyle \mathrm {Sc} (4)={\frac {2}{3}}\sum _{m=1}^{3}\mathrm {Sc} (m)\,\mathrm {Kn} (4-m)={\frac {2}{3}}{\bigl [}{\color {navy}\mathrm {Sc} (1)}\,{\color {cornflowerblue}\mathrm {Kn} (3)}+{\color {navy}\mathrm {Sc} (2)}\,{\color {cornflowerblue}\mathrm {Kn} (2)}+{\color {navy}\mathrm {Sc} (3)}\,{\color {cornflowerblue}\mathrm {Kn} (1)}{\bigr ]}}
S
c
(
4
)
=
2
3
(
1
×
184
+
2
×
13
+
15
×
1
)
=
150
{\displaystyle {\color {navy}\mathrm {Sc} (4)}={\frac {2}{3}}{\bigl (}{\color {navy}1}\times {\color {cornflowerblue}184}+{\color {navy}2}\times {\color {cornflowerblue}13}+{\color {navy}15}\times {\color {cornflowerblue}1}{\bigr )}={\color {navy}150}}
S
c
(
5
)
=
2
4
∑
m
=
1
4
S
c
(
m
)
K
n
(
5
−
m
)
=
2
4
[
S
c
(
1
)
K
n
(
4
)
+
S
c
(
2
)
K
n
(
3
)
+
S
c
(
3
)
K
n
(
2
)
+
S
c
(
4
)
K
n
(
1
)
]
{\displaystyle \mathrm {Sc} (5)={\frac {2}{4}}\sum _{m=1}^{4}\mathrm {Sc} (m)\,\mathrm {Kn} (5-m)={\frac {2}{4}}{\bigl [}{\color {navy}\mathrm {Sc} (1)}\,{\color {cornflowerblue}\mathrm {Kn} (4)}+{\color {navy}\mathrm {Sc} (2)}\,{\color {cornflowerblue}\mathrm {Kn} (3)}+{\color {navy}\mathrm {Sc} (3)}\,{\color {cornflowerblue}\mathrm {Kn} (2)}+{\color {navy}\mathrm {Sc} (4)}\,{\color {cornflowerblue}\mathrm {Kn} (1)}{\bigr ]}}
S
c
(
5
)
=
2
4
(
1
×
2701
+
2
×
184
+
15
×
13
+
150
×
1
)
=
1707
{\displaystyle {\color {navy}\mathrm {Sc} (5)}={\frac {2}{4}}{\bigl (}{\color {navy}1}\times {\color {cornflowerblue}2701}+{\color {navy}2}\times {\color {cornflowerblue}184}+{\color {navy}15}\times {\color {cornflowerblue}13}+{\color {navy}150}\times {\color {cornflowerblue}1}{\bigr )}={\color {navy}1707}}
S
c
(
6
)
=
2
5
∑
m
=
1
5
S
c
(
m
)
K
n
(
6
−
m
)
=
2
5
[
S
c
(
1
)
K
n
(
5
)
+
S
c
(
2
)
K
n
(
4
)
+
S
c
(
3
)
K
n
(
3
)
+
S
c
(
4
)
K
n
(
2
)
+
S
c
(
5
)
K
n
(
1
)
]
{\displaystyle \mathrm {Sc} (6)={\frac {2}{5}}\sum _{m=1}^{5}\mathrm {Sc} (m)\,\mathrm {Kn} (6-m)={\frac {2}{5}}{\bigl [}{\color {navy}\mathrm {Sc} (1)}\,{\color {cornflowerblue}\mathrm {Kn} (5)}+{\color {navy}\mathrm {Sc} (2)}\,{\color {cornflowerblue}\mathrm {Kn} (4)}+{\color {navy}\mathrm {Sc} (3)}\,{\color {cornflowerblue}\mathrm {Kn} (3)}+{\color {navy}\mathrm {Sc} (4)}\,{\color {cornflowerblue}\mathrm {Kn} (2)}+{\color {navy}\mathrm {Sc} (5)}\,{\color {cornflowerblue}\mathrm {Kn} (1)}{\bigr ]}}
S
c
(
6
)
=
2
5
(
1
×
40456
+
2
×
2701
+
15
×
184
+
150
×
13
+
1707
×
1
)
=
20910
{\displaystyle {\color {navy}\mathrm {Sc} (6)}={\frac {2}{5}}{\bigl (}{\color {navy}1}\times {\color {cornflowerblue}40456}+{\color {navy}2}\times {\color {cornflowerblue}2701}+{\color {navy}15}\times {\color {cornflowerblue}184}+{\color {navy}150}\times {\color {cornflowerblue}13}+{\color {navy}1707}\times {\color {cornflowerblue}1}{\bigr )}={\color {navy}20910}}
The MacLaurin series of the nome function
q
(
x
)
{\displaystyle q(x)}
has even exponents and positive coefficients at all positions:
q
(
x
)
=
∑
n
=
1
∞
Kt
(
n
)
16
n
x
2
n
{\displaystyle q(x)=\sum _{n=1}^{\infty }{\frac {\operatorname {Kt} (n)}{16^{n}}}\,x^{2n}}
And the sum with the same absolute values of the coefficients but with alternating signs generates this function:
q
[
x
(
x
2
+
1
)
−
1
/
2
]
=
∑
n
=
1
∞
(
−
1
)
n
+
1
Kt
(
n
)
16
n
x
2
n
{\displaystyle q{\bigl [}x(x^{2}+1)^{-1/2}{\bigr ]}=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}\operatorname {Kt} (n)}{16^{n}}}\,x^{2n}}
The radius of convergence of this Maclaurin series is 1. Here
Kt
(
n
)
{\displaystyle \operatorname {Kt} (n)}
(OEIS A005797) is a sequence of exclusively natural numbers
Kt
(
n
)
∈
N
{\displaystyle \operatorname {Kt} (n)\in \mathbb {N} }
for all natural numbers
n
∈
N
{\displaystyle n\in \mathbb {N} }
and this integer number sequence is not elementary. This sequence of numbers
Kt
(
n
)
{\displaystyle \operatorname {Kt} (n)}
was researched by the Czech mathematician and fairy chess composer Václav Kotěšovec, born in 1956. Two ways of constructing this integer sequence shall be shown in the next section.
Construction method with Kneser numbers
edit
The Kotěšovec numbers are generated in the same way as the Schellbach Schwarz numbers are constructed:
The only difference consists in the fact that this time the factor before the sum in this corresponding analogous formula is not
2
n
{\displaystyle {\frac {2}{n}}}
anymore, but
8
n
{\displaystyle {\frac {8}{n}}}
instead of that:
Kt
(
n
+
1
)
=
8
n
∑
m
=
1
n
Kt
(
m
)
Kn
(
n
+
1
−
m
)
{\displaystyle {\text{Kt}}(n+1)={\frac {8}{n}}\sum _{m=1}^{n}{\text{Kt}}(m)\,{\text{Kn}}(n+1-m)}
Following table contains the Schellbach Schwarz numbers and the Kneser numbers and the Apéry numbers:
Constructed sequences Kneser and Kotěšovec
Index n
Kn(n) (A227503)
Kt(n) (A005797)
1
1
1
2
13
8
3
184
84
4
2701
992
5
40456
12514
6
613720
164688
7
9391936
2232200
8
144644749
30920128
In the following, it will be shown as an example how the Schellbach Schwarz numbers are built up successively. For this, the examples with the numbers Kt(4) = 992, Kt(5) = 12514 and Kt(6) = 164688 are used:
K
t
(
4
)
=
8
3
∑
m
=
1
3
K
t
(
m
)
K
n
(
4
−
m
)
=
8
3
[
K
t
(
1
)
K
n
(
3
)
+
K
t
(
2
)
K
n
(
2
)
+
K
t
(
3
)
K
n
(
1
)
]
{\displaystyle \mathrm {Kt} (4)={\frac {8}{3}}\sum _{m=1}^{3}\mathrm {Kt} (m)\,\mathrm {Kn} (4-m)={\frac {8}{3}}{\bigl [}{\color {ForestGreen}\mathrm {Kt} (1)}\,{\color {cornflowerblue}\mathrm {Kn} (3)}+{\color {ForestGreen}\mathrm {Kt} (2)}\,{\color {cornflowerblue}\mathrm {Kn} (2)}+{\color {ForestGreen}\mathrm {Kt} (3)}\,{\color {cornflowerblue}\mathrm {Kn} (1)}{\bigr ]}}
K
t
(
4
)
=
8
3
(
1
×
184
+
8
×
13
+
84
×
1
)
=
992
{\displaystyle {\color {ForestGreen}\mathrm {Kt} (4)}={\frac {8}{3}}{\bigl (}{\color {ForestGreen}1}\times {\color {cornflowerblue}184}+{\color {ForestGreen}8}\times {\color {cornflowerblue}13}+{\color {ForestGreen}84}\times {\color {cornflowerblue}1}{\bigr )}={\color {ForestGreen}992}}
K
t
(
5
)
=
8
4
∑
m
=
1
4
K
t
(
m
)
K
n
(
5
−
m
)
=
8
4
[
K
t
(
1
)
K
n
(
4
)
+
K
t
(
2
)
K
n
(
3
)
+
K
t
(
3
)
K
n
(
2
)
+
K
t
(
4
)
K
n
(
1
)
]
{\displaystyle \mathrm {Kt} (5)={\frac {8}{4}}\sum _{m=1}^{4}\mathrm {Kt} (m)\,\mathrm {Kn} (5-m)={\frac {8}{4}}{\bigl [}{\color {ForestGreen}\mathrm {Kt} (1)}\,{\color {cornflowerblue}\mathrm {Kn} (4)}+{\color {ForestGreen}\mathrm {Kt} (2)}\,{\color {cornflowerblue}\mathrm {Kn} (3)}+{\color {ForestGreen}\mathrm {Kt} (3)}\,{\color {cornflowerblue}\mathrm {Kn} (2)}+{\color {ForestGreen}\mathrm {Kt} (4)}\,{\color {cornflowerblue}\mathrm {Kn} (1)}{\bigr ]}}
K
t
(
5
)
=
8
4
(
1
×
2701
+
8
×
184
+
84
×
13
+
992
×
1
)
=
12514
{\displaystyle {\color {ForestGreen}\mathrm {Kt} (5)}={\frac {8}{4}}{\bigl (}{\color {ForestGreen}1}\times {\color {cornflowerblue}2701}+{\color {ForestGreen}8}\times {\color {cornflowerblue}184}+{\color {ForestGreen}84}\times {\color {cornflowerblue}13}+{\color {ForestGreen}992}\times {\color {cornflowerblue}1}{\bigr )}={\color {ForestGreen}12514}}
K
t
(
6
)
=
8
5
∑
m
=
1
5
K
t
(
m
)
K
n
(
6
−
m
)
=
8
5
[
K
t
(
1
)
K
n
(
5
)
+
K
t
(
2
)
K
n
(
4
)
+
K
t
(
3
)
K
n
(
3
)
+
K
t
(
4
)
K
n
(
2
)
+
K
t
(
5
)
K
n
(
1
)
]
{\displaystyle \mathrm {Kt} (6)={\frac {8}{5}}\sum _{m=1}^{5}\mathrm {Kt} (m)\,\mathrm {Kn} (6-m)={\frac {8}{5}}{\bigl [}{\color {ForestGreen}\mathrm {Kt} (1)}\,{\color {cornflowerblue}\mathrm {Kn} (5)}+{\color {ForestGreen}\mathrm {Kt} (2)}\,{\color {cornflowerblue}\mathrm {Kn} (4)}+{\color {ForestGreen}\mathrm {Kt} (3)}\,{\color {cornflowerblue}\mathrm {Kn} (3)}+{\color {ForestGreen}\mathrm {Kt} (4)}\,{\color {cornflowerblue}\mathrm {Kn} (2)}+{\color {ForestGreen}\mathrm {Kt} (5)}\,{\color {cornflowerblue}\mathrm {Kn} (1)}{\bigr ]}}
K
t
(
6
)
=
8
5
(
1
×
40456
+
8
×
2701
+
84
×
184
+
992
×
13
+
12514
×
1
)
=
164688
{\displaystyle {\color {ForestGreen}\mathrm {Kt} (6)}={\frac {8}{5}}{\bigl (}{\color {ForestGreen}1}\times {\color {cornflowerblue}40456}+{\color {ForestGreen}8}\times {\color {cornflowerblue}2701}+{\color {ForestGreen}84}\times {\color {cornflowerblue}184}+{\color {ForestGreen}992}\times {\color {cornflowerblue}13}+{\color {ForestGreen}12514}\times {\color {cornflowerblue}1}{\bigr )}={\color {ForestGreen}164688}}
So the MacLaurin series of the direct Elliptic Nome can be generated:
q
(
x
)
=
∑
n
=
1
∞
Kt
(
n
)
16
n
x
2
n
{\displaystyle q(x)=\sum _{n=1}^{\infty }{\frac {{\text{Kt}}(n)}{16^{n}}}\,x^{2n}}
q
(
x
)
=
1
16
x
2
+
8
256
x
4
+
84
4096
x
6
+
992
65536
x
8
+
12514
1048576
x
10
+
…
{\displaystyle q(x)={\color {limegreen}{\frac {\color {ForestGreen}1}{16}}x^{2}+{\frac {\color {ForestGreen}8}{256}}x^{4}+{\frac {\color {ForestGreen}84}{4096}}x^{6}+{\frac {\color {ForestGreen}992}{65536}}x^{8}+{\frac {\color {ForestGreen}12514}{1048576}}x^{10}+\ldots }}
Construction method with Apéry numbers
edit
By adding a further integer number sequence
Ap
(
n
)
{\displaystyle \operatorname {Ap} (n)}
that denotes a specially modified Apéry sequence (OEIS A036917), the sequence of the Kotěšovec numbers
Kt
(
n
)
{\displaystyle \operatorname {Kt} (n)}
can be generated. The starting value of the sequence
Kt
(
n
)
{\displaystyle \operatorname {Kt} (n)}
is the value
Kt
(
1
)
=
1
{\displaystyle \operatorname {Kt} (1)=1}
and the following values of this sequence are generated with those two formulas that are valid for all numbers
n
∈
N
{\displaystyle n\in \mathbb {N} }
:
Kt
(
n
+
1
)
=
1
n
∑
m
=
1
n
m
Kt
(
m
)
[
16
Ap
(
n
+
1
−
m
)
−
Ap
(
n
+
2
−
m
)
]
{\displaystyle \operatorname {Kt} (n+1)={\frac {1}{n}}\sum _{m=1}^{n}m\operatorname {Kt} (m)[16\operatorname {Ap} (n+1-m)-\operatorname {Ap} (n+2-m)]}
Ap
(
n
)
=
∑
a
=
0
n
−
1
(
2
a
a
)
2
(
2
n
−
2
−
2
a
n
−
1
−
a
)
2
{\displaystyle \operatorname {Ap} (n)=\sum _{a=0}^{n-1}{\binom {2a}{a}}^{2}{\binom {2n-2-2a}{n-1-a}}^{2}}
This formula creates the Kotěšovec sequence too, but it only creates the sequence numbers of even indices:
Kt
(
2
n
)
=
1
2
∑
m
=
1
2
n
−
1
(
−
1
)
2
n
−
m
+
1
16
2
n
−
m
(
2
n
−
1
m
−
1
)
Kt
(
m
)
{\displaystyle \operatorname {Kt} (2n)={\frac {1}{2}}\sum _{m=1}^{2n-1}(-1)^{2n-m+1}16^{2n-m}{\binom {2n-1}{m-1}}\operatorname {Kt} (m)}
The Apéry sequence
Ap
(
n
)
{\displaystyle \operatorname {Ap} (n)}
was researched especially by the mathematicians Sun Zhi-Hong and Reinhard Zumkeller. And that sequence generates the square of the complete elliptic integral of the first kind:
4
π
−
2
K
(
x
)
2
=
1
+
∑
n
=
1
∞
Ap
(
n
+
1
)
x
2
n
16
n
{\displaystyle 4\pi ^{-2}K(x)^{2}=1+\sum _{n=1}^{\infty }{\frac {\operatorname {Ap} (n+1)x^{2n}}{16^{n}}}}
The first numerical values of the central binomial coefficients and the two numerical sequences described are listed in the following table:
Index n
Central binomial coefficient square
[
(
2
n
−
2
)
!
]
2
[
(
n
−
1
)
!
]
4
{\displaystyle {\frac {[(2n-2)!]^{2}}{[(n-1)!]^{4}}}}
Sequence number Ap(n )
Sequence number Kt(n )
1
1
1
1
2
4
8
8
3
36
88
84
4
400
1088
992
5
4900
14296
12514
6
63504
195008
164688
7
853776
2728384
2232200
8
11778624
38879744
30920128
9
165636900
561787864
435506703
10
2363904400
8206324928
6215660600
11
34134779536
120929313088
89668182220
12
497634306624
1794924383744
1305109502496
13
7312459672336
26802975999424
19138260194422
14
108172480360000
402298219288064
282441672732656
15
1609341595560000
6064992788397568
4191287776164504
16
24061445010950400
91786654611673088
62496081197436736
17
361297635242552100
1393772628452578264
935823746406530603
Václav Kotěšovec wrote down the number sequence
Kt
(
n
)
{\displaystyle \operatorname {Kt} (n)}
on the Online Encyclopedia of Integer Sequences up to the seven hundredth sequence number.
Here one example of the Kotěšovec sequence is computed:
1
×
63504
+
4
×
4900
+
36
×
400
+
400
×
36
+
4900
×
4
+
63504
×
1
=
195008
{\displaystyle {\color {blue}1}\times {\color {blue}63504}+{\color {blue}4}\times {\color {blue}4900}+{\color {blue}36}\times {\color {blue}400}+{\color {blue}400}\times {\color {blue}36}+{\color {blue}4900}\times {\color {blue}4}+{\color {blue}63504}\times {\color {blue}1}={\color {RoyalBlue}195008}}
1
5
×
1
×
(
16
×
14296
−
195008
)
+
2
5
×
8
×
(
16
×
1088
−
14296
)
+
3
5
×
84
×
(
16
×
88
−
1088
)
+
{\displaystyle {\tfrac {1}{5}}\times {\color {ForestGreen}1}\times (16\times {\color {RoyalBlue}14296}-{\color {RoyalBlue}195008})+{\tfrac {2}{5}}\times {\color {ForestGreen}8}\times (16\times {\color {RoyalBlue}1088}-{\color {RoyalBlue}14296})+{\tfrac {3}{5}}\times {\color {ForestGreen}84}\times (16\times {\color {RoyalBlue}88}-{\color {RoyalBlue}1088})+{}}
+
4
5
×
992
×
(
16
×
8
−
88
)
+
5
5
×
12514
×
(
16
×
1
−
8
)
=
164688
{\displaystyle {}+{\tfrac {4}{5}}\times {\color {ForestGreen}992}\times (16\times {\color {RoyalBlue}8}-{\color {RoyalBlue}88})+{\tfrac {5}{5}}\times {\color {ForestGreen}12514}\times (16\times {\color {RoyalBlue}1}-{\color {RoyalBlue}8})={\color {ForestGreen}164688}}
The two following lists contain many function values of the nome function:
The first list shows pairs of values with mutually Pythagorean complementary modules:
q
(
1
2
2
)
=
exp
(
−
π
)
{\displaystyle q({\tfrac {1}{2}}{\sqrt {2}})=\exp(-\pi )}
q
[
1
4
(
6
−
2
)
]
=
exp
(
−
3
π
)
{\displaystyle q[{\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}})]=\exp(-{\sqrt {3}}\,\pi )}
q
[
1
4
(
6
+
2
)
]
=
exp
(
−
1
3
3
π
)
{\displaystyle q[{\tfrac {1}{4}}({\sqrt {6}}+{\sqrt {2}})]=\exp(-{\tfrac {1}{3}}{\sqrt {3}}\,\pi )}
q
{
sin
[
1
2
arcsin
(
5
−
2
)
]
}
=
exp
(
−
5
π
)
{\displaystyle q{\bigl \{}\sin {\bigl [}{\tfrac {1}{2}}\arcsin({\sqrt {5}}-2){\bigr ]}{\bigr \}}=\exp(-{\sqrt {5}}\,\pi )}
q
{
cos
[
1
2
arcsin
(
5
−
2
)
]
}
=
exp
(
−
1
5
5
π
)
{\displaystyle q{\bigl \{}\cos {\bigl [}{\tfrac {1}{2}}\arcsin({\sqrt {5}}-2){\bigr ]}{\bigr \}}=\exp(-{\tfrac {1}{5}}{\sqrt {5}}\,\pi )}
q
[
1
8
(
3
2
−
14
)
]
=
exp
(
−
7
π
)
{\displaystyle q[{\tfrac {1}{8}}(3{\sqrt {2}}-{\sqrt {14}})]=\exp(-{\sqrt {7}}\,\pi )}
q
[
1
8
(
3
2
+
14
)
]
=
exp
(
−
1
7
7
π
)
{\displaystyle q[{\tfrac {1}{8}}(3{\sqrt {2}}+{\sqrt {14}})]=\exp(-{\tfrac {1}{7}}{\sqrt {7}}\,\pi )}
q
[
1
2
(
3
−
1
)
(
2
−
3
4
)
]
=
exp
(
−
3
π
)
{\displaystyle q[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]=\exp(-3\pi )}
q
[
1
2
(
3
−
1
)
(
2
+
3
4
)
]
=
exp
(
−
1
3
π
)
{\displaystyle q[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}+{\sqrt[{4}]{3}})]=\exp(-{\tfrac {1}{3}}\pi )}
q
[
1
16
(
22
+
3
2
)
(
1
3
6
3
+
2
11
3
−
1
3
6
3
−
2
11
3
+
1
3
11
−
1
)
4
]
=
exp
(
−
11
π
)
{\displaystyle q{\bigl [}{\tfrac {1}{16}}{\bigl (}{\sqrt {22}}+3{\sqrt {2}}{\bigr )}{\bigl (}{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {3}}+2{\sqrt {11}}}}-{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {3}}-2{\sqrt {11}}}}+{\tfrac {1}{3}}{\sqrt {11}}-1{\bigr )}^{4}{\bigr ]}=\exp(-{\sqrt {11}}\,\pi )}
q
[
1
16
(
22
−
3
2
)
(
1
3
6
3
+
2
11
3
−
1
3
6
3
−
2
11
3
+
1
3
11
+
1
)
4
]
=
exp
(
−
1
11
11
π
)
{\displaystyle q{\bigl [}{\tfrac {1}{16}}{\bigl (}{\sqrt {22}}-3{\sqrt {2}}{\bigr )}{\bigl (}{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {3}}+2{\sqrt {11}}}}-{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {3}}-2{\sqrt {11}}}}+{\tfrac {1}{3}}{\sqrt {11}}+1{\bigr )}^{4}{\bigr ]}=\exp(-{\tfrac {1}{11}}{\sqrt {11}}\,\pi )}
q
{
sin
[
1
2
arcsin
(
5
13
−
18
)
]
}
=
exp
(
−
13
π
)
{\displaystyle q{\bigl \{}\sin {\bigl [}{\tfrac {1}{2}}\arcsin(5{\sqrt {13}}-18){\bigr ]}{\bigr \}}=\exp(-{\sqrt {13}}\,\pi )}
q
{
cos
[
1
2
arcsin
(
5
13
−
18
)
]
}
=
exp
(
−
1
13
13
π
)
{\displaystyle q{\bigl \{}\cos {\bigl [}{\tfrac {1}{2}}\arcsin(5{\sqrt {13}}-18){\bigr ]}{\bigr \}}=\exp(-{\tfrac {1}{13}}{\sqrt {13}}\,\pi )}
The second list shows pairs of values with mutually tangentially complementary modules:
q
(
2
−
1
)
=
exp
(
−
2
π
)
{\displaystyle q({\sqrt {2}}-1)=\exp(-{\sqrt {2}}\,\pi )}
q
[
(
2
−
3
)
(
3
−
2
)
]
=
exp
(
−
6
π
)
{\displaystyle q[(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}})]=\exp(-{\sqrt {6}}\,\pi )}
q
[
(
2
−
3
)
(
3
+
2
)
]
=
exp
(
−
1
3
6
π
)
{\displaystyle q[(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}})]=\exp(-{\tfrac {1}{3}}{\sqrt {6}}\,\pi )}
q
[
(
10
−
3
)
(
2
−
1
)
2
]
=
exp
(
−
10
π
)
{\displaystyle q[({\sqrt {10}}-3)({\sqrt {2}}-1)^{2}]=\exp(-{\sqrt {10}}\,\pi )}
q
[
(
10
−
3
)
(
2
+
1
)
2
]
=
exp
(
−
1
5
10
π
)
{\displaystyle q[({\sqrt {10}}-3)({\sqrt {2}}+1)^{2}]=\exp(-{\tfrac {1}{5}}{\sqrt {10}}\,\pi )}
q
[
1
16
2
2
−
7
(
3
2
−
14
)
(
2
2
+
1
−
1
)
4
]
=
exp
(
−
14
π
)
{\displaystyle q{\bigl [}{\tfrac {1}{16}}{\sqrt {2{\sqrt {2}}-{\sqrt {7}}}}\,(3{\sqrt {2}}-{\sqrt {14}})({\sqrt {2{\sqrt {2}}+1}}-1)^{4}{\bigr ]}=\exp(-{\sqrt {14}}\,\pi )}
q
[
1
16
2
2
+
7
(
3
2
+
14
)
(
2
2
+
1
−
1
)
4
]
=
exp
(
−
1
7
14
π
)
{\displaystyle q{\bigl [}{\tfrac {1}{16}}{\sqrt {2{\sqrt {2}}+{\sqrt {7}}}}\,(3{\sqrt {2}}+{\sqrt {14}})({\sqrt {2{\sqrt {2}}+1}}-1)^{4}{\bigr ]}=\exp(-{\tfrac {1}{7}}{\sqrt {14}}\,\pi )}
q
[
(
2
−
3
)
2
(
2
−
1
)
3
]
=
exp
(
−
3
2
π
)
{\displaystyle q[(2-{\sqrt {3}})^{2}({\sqrt {2}}-1)^{3}]=\exp(-3{\sqrt {2}}\,\pi )}
q
[
(
2
+
3
)
2
(
2
−
1
)
3
]
=
exp
(
−
1
3
2
π
)
{\displaystyle q[(2+{\sqrt {3}})^{2}({\sqrt {2}}-1)^{3}]=\exp(-{\tfrac {1}{3}}{\sqrt {2}}\,\pi )}
q
[
(
10
−
3
11
)
(
3
11
−
7
2
)
]
=
exp
(
−
22
π
)
{\displaystyle q[(10-3{\sqrt {11}})(3{\sqrt {11}}-7{\sqrt {2}})]=\exp(-{\sqrt {22}}\,\pi )}
q
[
(
10
−
3
11
)
(
3
11
+
7
2
)
]
=
exp
(
−
1
11
22
π
)
{\displaystyle q[(10-3{\sqrt {11}})(3{\sqrt {11}}+7{\sqrt {2}})]=\exp(-{\tfrac {1}{11}}{\sqrt {22}}\,\pi )}
q
{
(
26
+
5
)
(
2
−
1
)
2
tan
[
1
4
π
−
arctan
(
1
3
3
3
+
26
3
−
1
3
3
3
−
26
3
+
1
6
26
−
1
2
2
)
]
4
}
=
exp
(
−
26
π
)
{\displaystyle q{\bigl \{}({\sqrt {26}}+5)({\sqrt {2}}-1)^{2}\tan {\bigl [}{\tfrac {1}{4}}\pi -\arctan({\tfrac {1}{3}}{\sqrt[{3}]{3{\sqrt {3}}+{\sqrt {26}}}}-{\tfrac {1}{3}}{\sqrt[{3}]{3{\sqrt {3}}-{\sqrt {26}}}}+{\tfrac {1}{6}}{\sqrt {26}}-{\tfrac {1}{2}}{\sqrt {2}}){\bigr ]}^{4}{\bigr \}}=\exp(-{\sqrt {26}}\,\pi )}
q
{
(
26
+
5
)
(
2
+
1
)
2
tan
[
arctan
(
1
3
3
3
+
26
3
−
1
3
3
3
−
26
3
+
1
6
26
+
1
2
2
)
−
1
4
π
]
4
}
=
exp
(
−
1
13
26
π
)
{\displaystyle q{\bigl \{}({\sqrt {26}}+5)({\sqrt {2}}+1)^{2}\tan {\bigl [}\arctan({\tfrac {1}{3}}{\sqrt[{3}]{3{\sqrt {3}}+{\sqrt {26}}}}-{\tfrac {1}{3}}{\sqrt[{3}]{3{\sqrt {3}}-{\sqrt {26}}}}+{\tfrac {1}{6}}{\sqrt {26}}+{\tfrac {1}{2}}{\sqrt {2}})-{\tfrac {1}{4}}\pi {\bigr ]}^{4}{\bigr \}}=\exp(-{\tfrac {1}{13}}{\sqrt {26}}\,\pi )}
Related quartets of values are shown below:
q
⟨
tan
{
1
2
arctan
[
(
10
−
3
)
2
(
5
−
2
)
2
]
}
⟩
=
exp
(
−
30
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {10}}-3)^{2}({\sqrt {5}}-2)^{2}]\}{\bigr \rangle }=\exp(-{\sqrt {30}}\,\pi )}
q
⟨
tan
{
1
2
arctan
[
(
10
−
3
)
2
(
5
+
2
)
2
]
}
⟩
=
exp
(
−
1
3
30
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {10}}-3)^{2}({\sqrt {5}}+2)^{2}]\}{\bigr \rangle }=\exp(-{\tfrac {1}{3}}{\sqrt {30}}\,\pi )}
q
⟨
tan
{
1
2
arctan
[
(
10
+
3
)
2
(
5
−
2
)
2
]
}
⟩
=
exp
(
−
1
5
30
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {10}}+3)^{2}({\sqrt {5}}-2)^{2}]\}{\bigr \rangle }=\exp(-{\tfrac {1}{5}}{\sqrt {30}}\,\pi )}
q
⟨
tan
{
1
2
arctan
[
(
10
+
3
)
2
(
5
+
2
)
2
]
}
⟩
=
exp
(
−
1
15
30
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {10}}+3)^{2}({\sqrt {5}}+2)^{2}]\}{\bigr \rangle }=\exp(-{\tfrac {1}{15}}{\sqrt {30}}\,\pi )}
q
⟨
tan
{
1
2
arctan
[
(
2
7
−
3
3
)
2
(
2
2
−
7
)
2
]
}
⟩
=
exp
(
−
42
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[(2{\sqrt {7}}-3{\sqrt {3}})^{2}(2{\sqrt {2}}-{\sqrt {7}})^{2}]\}{\bigr \rangle }=\exp(-{\sqrt {42}}\,\pi )}
q
⟨
tan
{
1
2
arctan
[
(
2
7
−
3
3
)
2
(
2
2
+
7
)
2
]
}
⟩
=
exp
(
−
1
3
42
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[(2{\sqrt {7}}-3{\sqrt {3}})^{2}(2{\sqrt {2}}+{\sqrt {7}})^{2}]\}{\bigr \rangle }=\exp(-{\tfrac {1}{3}}{\sqrt {42}}\,\pi )}
q
⟨
tan
{
1
2
arctan
[
(
2
7
+
3
3
)
2
(
2
2
−
7
)
2
]
}
⟩
=
exp
(
−
1
7
42
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[(2{\sqrt {7}}+3{\sqrt {3}})^{2}(2{\sqrt {2}}-{\sqrt {7}})^{2}]\}{\bigr \rangle }=\exp(-{\tfrac {1}{7}}{\sqrt {42}}\,\pi )}
q
⟨
tan
{
1
2
arctan
[
(
2
7
+
3
3
)
2
(
2
2
+
7
)
2
]
}
⟩
=
exp
(
−
1
21
42
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[(2{\sqrt {7}}+3{\sqrt {3}})^{2}(2{\sqrt {2}}+{\sqrt {7}})^{2}]\}{\bigr \rangle }=\exp(-{\tfrac {1}{21}}{\sqrt {42}}\,\pi )}
q
⟨
tan
{
1
2
arctan
[
(
5
−
2
)
4
(
2
−
1
)
6
]
}
⟩
=
exp
(
−
70
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {5}}-2)^{4}({\sqrt {2}}-1)^{6}]\}{\bigr \rangle }=\exp(-{\sqrt {70}}\,\pi )}
q
⟨
tan
{
1
2
arctan
[
(
5
−
2
)
4
(
2
+
1
)
6
]
}
⟩
=
exp
(
−
1
5
70
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {5}}-2)^{4}({\sqrt {2}}+1)^{6}]\}{\bigr \rangle }=\exp(-{\tfrac {1}{5}}{\sqrt {70}}\,\pi )}
q
⟨
tan
{
1
2
arctan
[
(
5
+
2
)
4
(
2
−
1
)
6
]
}
⟩
=
exp
(
−
1
7
70
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {5}}+2)^{4}({\sqrt {2}}-1)^{6}]\}{\bigr \rangle }=\exp(-{\tfrac {1}{7}}{\sqrt {70}}\,\pi )}
q
⟨
tan
{
1
2
arctan
[
(
5
+
2
)
4
(
2
+
1
)
6
]
}
⟩
=
exp
(
−
1
35
70
π
)
{\displaystyle q{\bigl \langle }\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {5}}+2)^{4}({\sqrt {2}}+1)^{6}]\}{\bigr \rangle }=\exp(-{\tfrac {1}{35}}{\sqrt {70}}\,\pi )}
Relation to other functions
edit
Complete elliptic integrals
edit
The nome function can be used for the definition of the complete elliptic integrals of first and second kind:
K
(
ε
)
=
1
2
π
ϑ
00
[
q
(
ε
)
]
2
{\displaystyle K(\varepsilon )={\tfrac {1}{2}}\pi \,\vartheta _{00}[q(\varepsilon )]^{2}}
E
(
ε
)
=
2
π
q
(
ε
)
ϑ
00
′
[
q
(
ε
)
]
ϑ
00
[
q
(
ε
)
]
−
3
+
1
2
π
(
1
−
ε
2
)
ϑ
00
[
q
(
ε
)
]
2
{\displaystyle E(\varepsilon )=2\pi q(\varepsilon )\,\vartheta _{00}'[q(\varepsilon )]\vartheta _{00}[q(\varepsilon )]^{-3}+{\tfrac {1}{2}}\pi (1-\varepsilon ^{2})\,\vartheta _{00}[q(\varepsilon )]^{2}}
In this case the dash in the exponent position stands for the derivative of the so-called theta zero value function:
ϑ
00
′
(
x
)
=
d
d
x
ϑ
00
(
x
)
=
2
+
∑
n
=
1
∞
2
(
n
+
1
)
2
x
n
(
n
+
2
)
{\displaystyle \vartheta _{00}'(x)={\frac {\mathrm {d} }{\mathrm {d} x}}\,\vartheta _{00}(x)=2+\sum _{n=1}^{\infty }2(n+1)^{2}x^{n(n+2)}}
Definitions of Jacobi functions
edit
The elliptic functions Zeta Amplitudinis and Delta Amplitudinis can be defined with the elliptic nome function[ 9] easily:
zn
(
x
;
k
)
=
∑
n
=
1
∞
2
π
K
(
k
)
−
1
sin
[
π
K
(
k
)
−
1
x
]
q
(
k
)
2
n
−
1
1
−
2
cos
[
π
K
(
k
)
−
1
x
]
q
(
k
)
2
n
−
1
+
q
(
k
)
4
n
−
2
{\displaystyle \operatorname {zn} (x;k)=\sum _{n=1}^{\infty }{\frac {2\pi K(k)^{-1}\sin[\pi K(k)^{-1}x]q(k)^{2n-1}}{1-2\cos[\pi K(k)^{-1}x]q(k)^{2n-1}+q(k)^{4n-2}}}}
dn
(
x
;
k
)
=
1
−
k
2
4
∏
n
=
1
∞
1
+
2
cos
[
π
K
(
k
)
−
1
x
]
q
(
k
)
2
n
−
1
+
q
(
k
)
4
n
−
2
1
−
2
cos
[
π
K
(
k
)
−
1
x
]
q
(
k
)
2
n
−
1
+
q
(
k
)
4
n
−
2
{\displaystyle \operatorname {dn} (x;k)={\sqrt[{4}]{1-k^{2}}}\prod _{n=1}^{\infty }{\frac {1+2\cos[\pi K(k)^{-1}x]q(k)^{2n-1}+q(k)^{4n-2}}{1-2\cos[\pi K(k)^{-1}x]q(k)^{2n-1}+q(k)^{4n-2}}}}
Using the fourth root of the quotient of the nome divided by the square function as it was mentioned above, following product series definitions[ 10] can be set up for the Amplitude Sine, the Counter Amplitude Sine and the Amplitude Cosine in this way:
sn
(
x
;
k
)
=
2
k
−
2
q
(
k
)
4
sin
[
1
2
π
K
(
k
)
−
1
x
]
∏
n
=
1
∞
1
−
2
q
(
k
)
2
n
cos
[
π
K
(
k
)
−
1
x
]
+
q
(
k
)
4
n
1
−
2
q
(
k
)
2
n
−
1
cos
[
π
K
(
k
)
−
1
x
]
+
q
(
k
)
4
n
−
2
{\displaystyle \operatorname {sn} (x;k)=2{\sqrt[{4}]{k^{-2}q(k)}}\,\sin[{\tfrac {1}{2}}\pi K(k)^{-1}x]\prod _{n=1}^{\infty }{\frac {1-2q(k)^{2n}\cos[\pi K(k)^{-1}x]+q(k)^{4n}}{1-2q(k)^{2n-1}\cos[\pi K(k)^{-1}x]+q(k)^{4n-2}}}}
cd
(
x
;
k
)
=
2
k
−
2
q
(
k
)
4
cos
[
1
2
π
K
(
k
)
−
1
x
]
∏
n
=
1
∞
1
+
2
q
(
k
)
2
n
cos
[
π
K
(
k
)
−
1
x
]
+
q
(
k
)
4
n
1
+
2
q
(
k
)
2
n
−
1
cos
[
π
K
(
k
)
−
1
x
]
+
q
(
k
)
4
n
−
2
{\displaystyle \operatorname {cd} (x;k)=2{\sqrt[{4}]{k^{-2}q(k)}}\,\cos[{\tfrac {1}{2}}\pi K(k)^{-1}x]\prod _{n=1}^{\infty }{\frac {1+2q(k)^{2n}\cos[\pi K(k)^{-1}x]+q(k)^{4n}}{1+2q(k)^{2n-1}\cos[\pi K(k)^{-1}x]+q(k)^{4n-2}}}}
cn
(
x
;
k
)
=
2
k
−
2
(
1
−
k
2
)
q
(
k
)
4
cos
[
1
2
π
K
(
k
)
−
1
x
]
∏
n
=
1
∞
1
+
2
q
(
k
)
2
n
cos
[
π
K
(
k
)
−
1
x
]
+
q
(
k
)
4
n
1
−
2
q
(
k
)
2
n
−
1
cos
[
π
K
(
k
)
−
1
x
]
+
q
(
k
)
4
n
−
2
{\displaystyle \operatorname {cn} (x;k)=2{\sqrt[{4}]{k^{-2}(1-k^{2})\,q(k)}}\,\cos[{\tfrac {1}{2}}\pi K(k)^{-1}x]\prod _{n=1}^{\infty }{\frac {1+2q(k)^{2n}\cos[\pi K(k)^{-1}x]+q(k)^{4n}}{1-2q(k)^{2n-1}\cos[\pi K(k)^{-1}x]+q(k)^{4n-2}}}}
These five formulas are valid for all values k from −1 until +1.
Then following successive definition of the other Jacobi functions is possible:
sn
(
x
;
k
)
=
2
{
zn
(
1
2
x
;
k
)
+
zn
[
K
(
k
)
−
1
2
x
;
k
]
}
k
2
+
{
zn
(
1
2
x
;
k
)
+
zn
[
K
(
k
)
−
1
2
x
;
k
]
}
2
{\displaystyle \operatorname {sn} (x;k)={\frac {2\{\operatorname {zn} ({\tfrac {1}{2}}x;k)+\operatorname {zn} [K(k)-{\tfrac {1}{2}}x;k]\}}{k^{2}+\{\operatorname {zn} ({\tfrac {1}{2}}x;k)+\operatorname {zn} [K(k)-{\tfrac {1}{2}}x;k]\}^{2}}}}
cd
(
x
;
k
)
=
sn
[
K
(
k
)
−
x
;
k
]
{\displaystyle \operatorname {cd} (x;k)=\operatorname {sn} [K(k)-x;k]}
cn
(
x
;
k
)
=
cd
(
x
;
k
)
dn
(
x
;
k
)
{\displaystyle \operatorname {cn} (x;k)=\operatorname {cd} (x;k)\operatorname {dn} (x;k)}
dn
(
x
;
k
)
=
k
2
−
{
zn
(
1
2
x
;
k
)
+
zn
[
K
(
k
)
−
1
2
x
;
k
]
}
2
k
2
+
{
zn
(
1
2
x
;
k
)
+
zn
[
K
(
k
)
−
1
2
x
;
k
]
}
2
{\displaystyle \operatorname {dn} (x;k)={\frac {k^{2}-\{\operatorname {zn} ({\tfrac {1}{2}}x;k)+\operatorname {zn} [K(k)-{\tfrac {1}{2}}x;k]\}^{2}}{k^{2}+\{\operatorname {zn} ({\tfrac {1}{2}}x;k)+\operatorname {zn} [K(k)-{\tfrac {1}{2}}x;k]\}^{2}}}}
The product definition of the amplitude sine was written down in the essay π and the AGM by the Borwein brothers on page 60 and this formula is based on the theta function definition of Whittaker und Watson.
Identities of Jacobi Amplitude functions
edit
In combination with the theta functions the nome gives the values of many Jacobi amplitude function values:
sc
[
2
3
K
(
k
)
;
k
]
=
3
ϑ
01
[
q
(
k
)
6
]
1
−
k
2
ϑ
01
[
q
(
k
)
2
]
{\displaystyle \operatorname {sc} [{\tfrac {2}{3}}K(k);k]={\frac {{\sqrt {3}}\,\vartheta _{01}[q(k)^{6}]}{{\sqrt {1-k^{2}}}\,\vartheta _{01}[q(k)^{2}]}}}
sn
[
1
3
K
(
k
)
;
k
]
=
2
ϑ
00
[
q
(
k
)
]
2
3
ϑ
00
[
q
(
k
)
3
]
2
+
ϑ
00
[
q
(
k
)
]
2
=
3
ϑ
01
[
q
(
k
)
3
]
2
−
ϑ
01
[
q
(
k
)
]
2
3
ϑ
01
[
q
(
k
)
3
]
2
+
ϑ
01
[
q
(
k
)
]
2
{\displaystyle \operatorname {sn} [{\tfrac {1}{3}}K(k);k]={\frac {2\vartheta _{00}[q(k)]^{2}}{3\vartheta _{00}[q(k)^{3}]^{2}+\vartheta _{00}[q(k)]^{2}}}={\frac {3\vartheta _{01}[q(k)^{3}]^{2}-\vartheta _{01}[q(k)]^{2}}{3\vartheta _{01}[q(k)^{3}]^{2}+\vartheta _{01}[q(k)]^{2}}}}
cn
[
2
3
K
(
k
)
;
k
]
=
3
ϑ
00
[
q
(
k
)
3
]
2
−
ϑ
00
[
q
(
k
)
]
2
3
ϑ
00
[
q
(
k
)
3
]
2
+
ϑ
00
[
q
(
k
)
]
2
=
2
ϑ
01
[
q
(
k
)
]
2
3
ϑ
01
[
q
(
k
)
3
]
2
+
ϑ
01
[
q
(
k
)
]
2
{\displaystyle \operatorname {cn} [{\tfrac {2}{3}}K(k);k]={\frac {3\vartheta _{00}[q(k)^{3}]^{2}-\vartheta _{00}[q(k)]^{2}}{3\vartheta _{00}[q(k)^{3}]^{2}+\vartheta _{00}[q(k)]^{2}}}={\frac {2\vartheta _{01}[q(k)]^{2}}{3\vartheta _{01}[q(k)^{3}]^{2}+\vartheta _{01}[q(k)]^{2}}}}
sn
[
1
5
K
(
k
)
;
k
]
=
{
5
ϑ
01
[
q
(
k
)
5
]
ϑ
01
[
q
(
k
)
]
−
1
}
{
5
ϑ
01
[
q
(
k
)
10
]
2
ϑ
01
[
q
(
k
)
2
]
2
−
1
}
−
1
{\displaystyle \operatorname {sn} [{\tfrac {1}{5}}K(k);k]={\biggl \{}{\frac {{\sqrt {5}}\,\vartheta _{01}[q(k)^{5}]}{\vartheta _{01}[q(k)]}}-1{\biggr \}}{\biggl \{}{\frac {5\vartheta _{01}[q(k)^{10}]^{2}}{\vartheta _{01}[q(k)^{2}]^{2}}}-1{\biggr \}}^{-1}}
sn
[
3
5
K
(
k
)
;
k
]
=
{
5
ϑ
01
[
q
(
k
)
5
]
ϑ
01
[
q
(
k
)
]
+
1
}
{
5
ϑ
01
[
q
(
k
)
10
]
2
ϑ
01
[
q
(
k
)
2
]
2
−
1
}
−
1
{\displaystyle \operatorname {sn} [{\tfrac {3}{5}}K(k);k]={\biggl \{}{\frac {{\sqrt {5}}\,\vartheta _{01}[q(k)^{5}]}{\vartheta _{01}[q(k)]}}+1{\biggr \}}{\biggl \{}{\frac {5\vartheta _{01}[q(k)^{10}]^{2}}{\vartheta _{01}[q(k)^{2}]^{2}}}-1{\biggr \}}^{-1}}
cn
[
2
5
K
(
k
)
;
k
]
=
{
5
ϑ
00
[
q
(
k
)
5
]
ϑ
00
[
q
(
k
)
]
+
1
}
{
5
ϑ
01
[
q
(
k
)
10
]
2
ϑ
01
[
q
(
k
)
2
]
2
−
1
}
−
1
{\displaystyle \operatorname {cn} [{\tfrac {2}{5}}K(k);k]={\biggl \{}{\frac {{\sqrt {5}}\,\vartheta _{00}[q(k)^{5}]}{\vartheta _{00}[q(k)]}}+1{\biggr \}}{\biggl \{}{\frac {5\vartheta _{01}[q(k)^{10}]^{2}}{\vartheta _{01}[q(k)^{2}]^{2}}}-1{\biggr \}}^{-1}}
cn
[
4
5
K
(
k
)
;
k
]
=
{
5
ϑ
00
[
q
(
k
)
5
]
ϑ
00
[
q
(
k
)
]
−
1
}
{
5
ϑ
01
[
q
(
k
)
10
]
2
ϑ
01
[
q
(
k
)
2
]
2
−
1
}
−
1
{\displaystyle \operatorname {cn} [{\tfrac {4}{5}}K(k);k]={\biggl \{}{\frac {{\sqrt {5}}\,\vartheta _{00}[q(k)^{5}]}{\vartheta _{00}[q(k)]}}-1{\biggr \}}{\biggl \{}{\frac {5\vartheta _{01}[q(k)^{10}]^{2}}{\vartheta _{01}[q(k)^{2}]^{2}}}-1{\biggr \}}^{-1}}
The abbreviation sc describes the quotient of the amplitude sine divided by the amplitude cosine.
Theorems and Identities
edit
Derivation of the nome square theorem
edit
The law for the square of the elliptic noun involves forming the Landen daughter modulus :
q
(
ε
)
2
=
q
[
ε
2
(
1
+
1
−
ε
2
)
−
2
]
=
q
{
tan
[
1
2
arcsin
(
ε
)
]
2
}
=
q
{
tanh
[
1
2
artanh
(
ε
)
]
2
}
{\displaystyle q(\varepsilon )^{2}=q{\bigl [}\varepsilon ^{2}(1+{\sqrt {1-\varepsilon ^{2}}})^{-2}{\bigr ]}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arcsin(\varepsilon ){\bigr ]}^{2}{\bigr \}}=q{\bigl \{}\operatorname {tanh} {\bigl [}{\tfrac {1}{2}}\operatorname {artanh} (\varepsilon ){\bigr ]}^{2}{\bigr \}}}
The Landen daughter modulus is also the tangential counterpart of the Pythagorean counterpart of the mother modulus.
This formula results as a combination of the following equations:
(
1
+
1
−
ε
2
)
F
[
arctan
(
x
)
;
ε
]
=
F
[
arctan
(
x
)
+
arctan
(
1
−
ε
2
x
)
;
ε
2
(
1
+
1
−
ε
2
)
−
2
]
{\displaystyle (1+{\sqrt {1-\varepsilon ^{2}}})F{\bigl [}\arctan(x);\varepsilon {\bigr ]}=F{\bigl [}\arctan(x)+\arctan({\sqrt {1-\varepsilon ^{2}}}\,x);\varepsilon ^{2}(1+{\sqrt {1-\varepsilon ^{2}}})^{-2}{\bigr ]}}
The differential quotient of this equation balance along with
w
{\displaystyle w}
confirms the correctness of this formula. Because on both sides of the equation scale the differential quotient along w is the same and the functions on both sides of the scale run through the coordinate origin with respect to w.
The next equation follows directly from the previous equation:
(
1
+
1
−
ε
2
)
K
(
ε
)
=
2
K
[
ε
2
(
1
+
1
−
ε
2
)
−
2
]
{\displaystyle (1+{\sqrt {1-\varepsilon ^{2}}})K(\varepsilon )=2K{\bigl [}\varepsilon ^{2}(1+{\sqrt {1-\varepsilon ^{2}}})^{-2}{\bigr ]}}
By changing the substitution this expression is generated:
K
[
2
1
−
ε
2
4
(
1
+
1
−
ε
2
)
−
1
]
=
(
1
+
1
−
ε
2
)
K
(
1
−
ε
2
)
{\displaystyle K{\bigl [}2{\sqrt[{4}]{1-\varepsilon ^{2}}}(1+{\sqrt {1-\varepsilon ^{2}}})^{-1}{\bigr ]}=(1+{\sqrt {1-\varepsilon ^{2}}})K({\sqrt {1-\varepsilon ^{2}}})}
The combination of both formulas leads to that quotient equation:
2
K
(
1
−
ε
2
)
K
(
ε
)
=
K
[
2
1
−
ε
2
4
(
1
+
1
−
ε
2
)
−
1
]
K
[
ε
2
(
1
+
1
−
ε
2
)
−
2
]
{\displaystyle {\color {blue}2\,{\frac {K({\sqrt {1-\varepsilon ^{2}}})}{K(\varepsilon )}}}={\color {green}{\frac {K[2{\sqrt[{4}]{1-\varepsilon ^{2}}}(1+{\sqrt {1-\varepsilon ^{2}}})^{-1}]}{K[\varepsilon ^{2}(1+{\sqrt {1-\varepsilon ^{2}}})^{-2}]}}}}
Both sides of this equation scale show period ratios.
For on both sides of this balance the modulus in the numerator is Pythagorean complementary to the modulus in the denominator.
The elliptic nome is defined as an exponential function from the negative circle number times the real period ratio.
And the real period ratio is defined as the quotient of the K integral of the Pythagorean complementary modulus divided by the K integral of the modulus itself.
This is the consequence:
q
(
ε
)
2
=
exp
[
−
π
K
′
(
ε
)
K
(
ε
)
]
2
=
exp
[
−
π
K
(
1
−
ε
2
)
K
(
ε
)
]
2
=
exp
{
−
π
[
2
K
(
1
−
ε
2
)
K
(
ε
)
]
}
=
{\displaystyle q(\varepsilon )^{2}=\exp {\biggl [}-\pi \,{\frac {K'(\varepsilon )}{K(\varepsilon )}}{\biggr ]}^{2}=\exp {\biggl [}-\pi \,{\frac {K({\sqrt {1-\varepsilon ^{2}}})}{K(\varepsilon )}}{\biggr ]}^{2}=\exp {\biggl \{}-\pi {\biggl [}{\color {blue}2\,{\frac {K({\sqrt {1-\varepsilon ^{2}}})}{K(\varepsilon )}}}{\biggr ]}{\biggr \}}=}
=
exp
{
−
π
K
[
2
1
−
ε
2
4
(
1
+
1
−
ε
2
)
−
1
]
K
[
ε
2
(
1
+
1
−
ε
2
)
−
2
]
}
=
exp
{
−
π
K
′
[
ε
2
(
1
+
1
−
ε
2
)
−
2
]
K
[
ε
2
(
1
+
1
−
ε
2
)
−
2
]
}
=
q
[
ε
2
(
1
+
1
−
ε
2
)
−
2
]
{\displaystyle =\exp {\biggl \{}-\pi \,{\color {green}{\frac {K[2{\sqrt[{4}]{1-\varepsilon ^{2}}}(1+{\sqrt {1-\varepsilon ^{2}}})^{-1}]}{K[\varepsilon ^{2}(1+{\sqrt {1-\varepsilon ^{2}}})^{-2}]}}}{\biggr \}}=\exp {\biggl \{}-\pi \,{\frac {K'[\varepsilon ^{2}(1+{\sqrt {1-\varepsilon ^{2}}})^{-2}]}{K[\varepsilon ^{2}(1+{\sqrt {1-\varepsilon ^{2}}})^{-2}]}}{\biggr \}}=q{\bigl [}\varepsilon ^{2}(1+{\sqrt {1-\varepsilon ^{2}}})^{-2}{\bigr ]}}
QUOD ERAT DEMONSTRANDUM!
Examples for the nome square theorem
edit
The Landen daughter modulus[ 11] [ 12] is identical to the tangential opposite of the Pythagorean opposite of the mother modulus.
Three examples shall be shown in the following:
Trigonometrically displayed examples:
exp
(
−
2
3
π
)
=
exp
(
−
3
π
)
2
=
q
[
sin
(
1
12
π
)
]
2
=
q
[
tan
(
1
24
π
)
2
]
{\displaystyle \exp(-2{\sqrt {3}}\,\pi )=\exp(-{\sqrt {3}}\,\pi )^{2}=q{\bigl [}\sin({\tfrac {1}{12}}\pi ){\bigr ]}^{2}=q{\bigl [}\tan({\tfrac {1}{24}}\pi )^{2}{\bigr ]}}
exp
(
−
2
5
π
)
=
exp
(
−
5
π
)
2
=
q
{
sin
[
1
2
arcsin
(
5
−
2
)
]
}
2
=
q
{
tan
[
1
4
arcsin
(
5
−
2
)
]
2
}
{\displaystyle \exp(-2{\sqrt {5}}\,\pi )=\exp(-{\sqrt {5}}\,\pi )^{2}=q{\bigl \{}\sin {\bigl [}{\tfrac {1}{2}}\arcsin({\sqrt {5}}-2){\bigr ]}{\bigr \}}^{2}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{4}}\arcsin({\sqrt {5}}-2){\bigr ]}^{2}{\bigr \}}}
exp
(
−
2
7
π
)
=
exp
(
−
7
π
)
2
=
q
{
sin
[
1
2
arcsin
(
1
8
)
]
}
2
=
q
{
tan
[
1
4
arcsin
(
1
8
)
]
2
}
{\displaystyle \exp(-2{\sqrt {7}}\,\pi )=\exp(-{\sqrt {7}}\,\pi )^{2}=q{\bigl \{}\sin {\bigl [}{\tfrac {1}{2}}\arcsin({\tfrac {1}{8}}){\bigr ]}{\bigr \}}^{2}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{4}}\arcsin({\tfrac {1}{8}}){\bigr ]}^{2}{\bigr \}}}
exp
(
−
2
13
π
)
=
exp
(
−
13
π
)
2
=
q
{
sin
[
1
2
arcsin
(
5
13
−
18
)
]
}
2
=
q
{
tan
[
1
4
arcsin
(
5
13
−
18
)
]
2
}
{\displaystyle \exp(-2{\sqrt {13}}\,\pi )=\exp(-{\sqrt {13}}\,\pi )^{2}=q{\bigl \{}\sin {\bigl [}{\tfrac {1}{2}}\arcsin(5{\sqrt {13}}-18){\bigr ]}{\bigr \}}^{2}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{4}}\arcsin(5{\sqrt {13}}-18){\bigr ]}^{2}{\bigr \}}}
Hyperbolically displayed examples:
exp
(
−
2
6
π
)
=
exp
(
−
6
π
)
2
=
{\displaystyle \exp(-2{\sqrt {6}}\,\pi )=\exp(-{\sqrt {6}}\,\pi )^{2}=}
=
q
⟨
tanh
{
1
2
arsinh
[
(
2
−
1
)
2
]
}
⟩
2
=
q
⟨
tanh
{
1
4
arsinh
[
(
2
−
1
)
2
]
}
2
⟩
{\displaystyle =q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{2}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}-1)^{2}{\bigr ]}{\bigr \}}{\biggr \rangle }^{2}=q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{4}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}-1)^{2}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }}
exp
(
−
2
10
π
)
=
exp
(
−
10
π
)
2
=
{\displaystyle \exp(-2{\sqrt {10}}\,\pi )=\exp(-{\sqrt {10}}\,\pi )^{2}=}
=
q
⟨
tanh
{
1
2
arsinh
[
(
5
−
2
)
2
]
}
⟩
2
=
q
⟨
tanh
{
1
4
arsinh
[
(
5
−
2
)
2
]
}
2
⟩
{\displaystyle =q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{2}}\operatorname {arsinh} {\bigl [}({\sqrt {5}}-2)^{2}{\bigr ]}{\bigr \}}{\biggr \rangle }^{2}=q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{4}}\operatorname {arsinh} {\bigl [}({\sqrt {5}}-2)^{2}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }}
exp
(
−
2
14
π
)
=
exp
(
−
14
π
)
2
=
{\displaystyle \exp(-2{\sqrt {14}}\,\pi )=\exp(-{\sqrt {14}}\,\pi )^{2}=}
=
q
⟨
tanh
{
1
2
arsinh
[
(
2
+
1
2
−
1
2
4
2
+
5
)
3
]
}
⟩
2
=
q
⟨
tanh
{
1
4
arsinh
[
(
2
+
1
2
−
1
2
4
2
+
5
)
3
]
}
2
⟩
{\displaystyle =q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{2}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}+{\tfrac {1}{2}}-{\tfrac {1}{2}}{\sqrt {4{\sqrt {2}}+5}})^{3}{\bigr ]}{\bigr \}}{\biggr \rangle }^{2}=q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{4}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}+{\tfrac {1}{2}}-{\tfrac {1}{2}}{\sqrt {4{\sqrt {2}}+5}})^{3}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }}
exp
(
−
2
22
π
)
=
exp
(
−
22
π
)
2
=
{\displaystyle \exp(-2{\sqrt {22}}\,\pi )=\exp(-{\sqrt {22}}\,\pi )^{2}=}
=
q
⟨
tanh
{
1
2
arsinh
[
(
2
−
1
)
6
]
}
⟩
2
=
q
⟨
tanh
{
1
4
arsinh
[
(
2
−
1
)
6
]
}
2
⟩
{\displaystyle =q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{2}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}-1)^{6}{\bigr ]}{\bigr \}}{\biggr \rangle }^{2}=q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{4}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}-1)^{6}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }}
Derivation of the parametrized nome cube theorem
edit
Not only the law for the square but also the law for the cube of the elliptic nome leads to an elementary modulus transformation.
This parameterized formula for the cube of the elliptic noun is valid for all values −1 < u < 1.
q
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
3
=
q
[
u
(
u
4
−
u
2
+
1
+
u
2
−
1
)
]
{\displaystyle q[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]^{3}=q[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}
This formula was displayed exactly like this and this time it was not printed exactly after the expression
ε
{\displaystyle \varepsilon }
with the main alignment on the mother modulus, because this formula contains a long formulation. And in the formula shown now with the parameter
u
{\displaystyle u}
, a greatly simplified formula emerges.
This formula results as a combination of the following equations:
(
2
u
4
−
u
2
+
1
−
2
u
2
+
1
)
F
[
arctan
(
w
)
;
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
=
{\displaystyle (2{\sqrt {u^{4}-u^{2}+1}}-2u^{2}+1)F{\bigl [}\arctan(w);u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1){\bigr ]}=}
=
F
{
arctan
(
w
)
+
2
arctan
[
(
u
4
−
u
2
+
1
−
u
2
)
w
]
;
u
(
u
4
−
u
2
+
1
+
u
2
−
1
)
}
{\displaystyle =F{\bigl \{}\arctan(w)+2\arctan {\bigl [}({\sqrt {u^{4}-u^{2}+1}}-u^{2})\,w{\bigr ]};u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1){\bigr \}}}
The differential quotient of this equation balance along with
w
{\displaystyle w}
confirms the correctness of this formula. Because on both sides of the equation scale the differential quotient along w is the same and the functions on both sides of the scale run through the coordinate origin with respect to w.
The next equation follows directly from the previous equation:
(
2
u
4
−
u
2
+
1
−
2
u
2
+
1
)
K
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
=
3
K
[
u
(
u
4
−
u
2
+
1
+
u
2
−
1
)
]
{\displaystyle (2{\sqrt {u^{4}-u^{2}+1}}-2u^{2}+1)K{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1){\bigr ]}=3K{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1){\bigr ]}}
By changing the substitution this expression is generated:
K
[
1
−
u
2
(
u
4
−
u
2
+
1
+
u
2
)
]
=
(
2
u
4
−
u
2
+
1
−
2
u
2
+
1
)
K
[
1
−
u
2
(
u
4
−
u
2
+
1
−
u
2
)
]
{\displaystyle K{\bigl [}{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}+u^{2}){\bigr ]}=(2{\sqrt {u^{4}-u^{2}+1}}-2u^{2}+1)K{\bigl [}{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}-u^{2}){\bigr ]}}
The combination of both formulas leads to that quotient equation:
3
K
[
1
−
u
2
(
u
4
−
u
2
+
1
−
u
2
)
]
K
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
=
K
[
1
−
u
2
(
u
4
−
u
2
+
1
+
u
2
)
]
K
[
u
(
u
4
−
u
2
+
1
+
u
2
−
1
)
]
{\displaystyle {\color {blue}3\,{\frac {K[{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}-u^{2})]}{K[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]}}}={\color {green}{\frac {K[{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}+u^{2})]}{K[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}}}}
Both sides of this equation scale show period ratios.
For on both sides of this balance the modulus in the numerator is Pythagorean complementary to the modulus in the denominator.
The elliptic nome is defined as an exponential function from the negative circle number times the real period ratio.
And the real period ratio is defined as the quotient of the K integral of the Pythagorean complementary modulus divided by the K integral of the modulus itself.
This is the consequence:
q
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
3
=
exp
{
−
π
K
′
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
K
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
}
3
=
{\displaystyle q{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1){\bigr ]}^{3}=\exp {\biggl \{}-\pi \,{\frac {K'[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]}{K[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]}}{\biggr \}}^{3}=}
=
exp
{
−
π
K
[
1
−
u
2
(
u
4
−
u
2
+
1
−
u
2
)
]
K
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
}
3
=
exp
⟨
−
π
{
3
K
[
1
−
u
2
(
u
4
−
u
2
+
1
−
u
2
)
]
K
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
}
⟩
=
{\displaystyle =\exp {\biggl \{}-\pi \,{\frac {K[{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}-u^{2})]}{K[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]}}{\biggr \}}^{3}=\exp {\biggl \langle }-\pi {\biggl \{}{\color {blue}3\,{\frac {K[{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}-u^{2})]}{K[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]}}}{\biggr \}}{\biggr \rangle }=}
=
exp
{
−
π
K
[
1
−
u
2
(
u
4
−
u
2
+
1
+
u
2
)
]
K
[
u
(
u
4
−
u
2
+
1
+
u
2
−
1
)
]
}
=
exp
{
−
π
K
′
[
u
(
u
4
−
u
2
+
1
+
u
2
−
1
)
]
K
[
u
(
u
4
−
u
2
+
1
+
u
2
−
1
)
]
}
=
q
[
u
(
u
4
−
u
2
+
1
+
u
2
−
1
)
]
{\displaystyle =\exp {\biggl \{}-\pi \,{\color {green}{\frac {K[{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}+u^{2})]}{K[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}}}{\biggr \}}=\exp {\biggl \{}-\pi \,{\frac {K'[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}{K[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}}{\biggr \}}=q{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1){\bigr ]}}
QUOD ERAT DEMONSTRANDUM!
Derivation of the direct nome cube theorem
edit
On the basis of the now absolved proof a direct formula for the nome cube theorem in relation to the modulus
ε
{\displaystyle \varepsilon }
and in combination with the Jacobi amplitude sine shall be generated:
The works Analytic Solutions to Algebraic Equations by Johansson and Evaluation of Fifth Degree Elliptic Singular Moduli by Bagis showed in their quotated works that the Jacobi amplitude sine of the third part of the complete first kind integral K solves following quartic equation:
ε
2
x
4
−
2
ε
2
x
3
+
2
x
−
1
=
0
{\displaystyle \varepsilon ^{2}x^{4}-2\varepsilon ^{2}x^{3}+2x-1=0}
x
=
sn
[
1
3
K
(
ε
)
;
ε
]
{\displaystyle x={\text{sn}}{\bigl [}{\tfrac {1}{3}}K(\varepsilon );\varepsilon {\bigr ]}}
Now the parametrization mentioned above is inserted into this equation:
ε
=
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
{\displaystyle \varepsilon =u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)}
u
2
(
u
4
−
u
2
+
1
−
u
2
+
1
)
2
(
x
4
−
2
x
3
)
+
2
x
−
1
=
0
{\displaystyle u^{2}({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)^{2}(x^{4}-2x^{3})+2x-1=0}
This is the real solution of the pattern
1
2
<
x
<
1
∩
x
∈
R
{\displaystyle {\tfrac {1}{2}}<x<1\,\cap \,x\in \mathbb {R} }
of that quartic equation:
x
=
1
u
4
−
u
2
+
1
−
u
2
+
1
{\displaystyle x={\frac {1}{{\sqrt {u^{4}-u^{2}+1}}-u^{2}+1}}}
Therefore, following formula is valid:
sn
[
1
3
K
(
ε
)
;
ε
]
[
ε
=
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
=
1
u
4
−
u
2
+
1
−
u
2
+
1
{\displaystyle {\text{sn}}{\bigl [}{\tfrac {1}{3}}K(\varepsilon );\varepsilon {\bigr ]}{\bigl [}\varepsilon =u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1){\bigr ]}={\frac {1}{{\sqrt {u^{4}-u^{2}+1}}-u^{2}+1}}}
The parametrized nome cube formula has this mentioned form:
q
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
3
=
q
[
u
(
u
4
−
u
2
+
1
+
u
2
−
1
)
]
{\displaystyle q{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1){\bigr ]}^{3}=q{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1){\bigr ]}}
The same formula can be designed in this alternative way:
q
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
3
=
q
{
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
3
(
u
4
−
u
2
+
1
−
u
2
+
1
)
−
4
}
{\displaystyle q{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1){\bigr ]}^{3}=q{\bigl \{}{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1){\bigr ]}^{3}{\bigl (}{\sqrt {u^{4}-u^{2}+1}}-u^{2}+1{\bigr )}^{-4}{\bigr \}}}
So this result appears as the direct nome cube theorem:
q
(
ε
)
3
=
q
{
ε
3
sn
[
1
3
K
(
ε
)
;
ε
]
4
}
{\displaystyle q(\varepsilon )^{3}=q{\bigl \{}\varepsilon ^{3}{\text{sn}}{\bigl [}{\tfrac {1}{3}}K(\varepsilon );\varepsilon {\bigr ]}^{4}{\bigr \}}}
Examples for the nome cube theorem
edit
Alternatively, this formula can be set up:
q
{
tan
[
1
2
arctan
(
t
3
)
]
}
3
=
q
{
tan
[
1
2
arctan
(
t
3
)
]
3
tan
[
arctan
(
2
t
4
−
t
2
+
1
−
t
2
+
2
+
t
2
+
1
)
−
1
4
π
]
4
}
{\displaystyle q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(t^{3}){\bigr ]}{\bigr \}}^{3}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(t^{3}){\bigr ]}^{3}\tan {\bigl [}\arctan {\bigl (}\,{\sqrt {2{\sqrt {t^{4}-t^{2}+1}}-t^{2}+2}}+{\sqrt {t^{2}+1}}\,{\bigr )}-{\tfrac {1}{4}}\pi {\bigr ]}^{4}{\bigr \}}}
The now presented formula is used for simplified computations, because the given elliptical modulus can be used to determine the value
t
{\displaystyle t}
in an easy way. The value
t
{\displaystyle t}
can be evoked by taking the tangent duplication of the modulus and then taking the cube root of that in order to get the parameterization value
t
{\displaystyle t}
directly.
Two examples are to be treated exemplarily:
In the first example, the value
t
=
1
{\displaystyle t=1}
is inserted:
exp
(
−
3
2
π
)
=
exp
(
−
2
π
)
3
=
q
(
2
−
1
)
3
=
q
{
tan
[
1
2
arctan
(
1
)
]
}
3
=
{\displaystyle {\color {blue}\exp(-3{\sqrt {2}}\,\pi )}=\exp(-{\sqrt {2}}\,\pi )^{3}=q({\sqrt {2}}-1)^{3}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(1){\bigr ]}{\bigr \}}^{3}=}
=
q
{
tan
[
1
2
arctan
(
1
)
]
3
tan
[
arctan
(
3
+
2
)
−
1
4
π
]
4
}
=
q
[
(
2
−
1
)
3
(
1
2
6
−
1
2
2
)
4
]
{\displaystyle =q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(1){\bigr ]}^{3}\tan {\bigl [}\arctan({\sqrt {3}}+{\sqrt {2}})-{\tfrac {1}{4}}\pi {\bigr ]}^{4}{\bigr \}}={\color {blue}q{\bigl [}({\sqrt {2}}-1)^{3}({\tfrac {1}{2}}{\sqrt {6}}-{\tfrac {1}{2}}{\sqrt {2}})^{4}{\bigr ]}}}
In the second example, the value
t
=
Φ
−
2
=
1
2
(
3
−
5
)
{\displaystyle t=\Phi ^{-2}={\tfrac {1}{2}}(3-{\sqrt {5}})}
is inserted:
exp
(
−
3
10
π
)
=
exp
(
−
10
π
)
3
=
q
[
(
10
−
3
)
(
2
−
1
)
2
]
3
=
q
{
tan
[
1
2
arctan
(
Φ
−
6
)
]
}
3
=
{\displaystyle {\color {blue}\exp(-3{\sqrt {10}}\,\pi )}=\exp(-{\sqrt {10}}\,\pi )^{3}=q{\bigl [}({\sqrt {10}}-3)({\sqrt {2}}-1)^{2}{\bigr ]}^{3}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(\Phi ^{-6}){\bigr ]}{\bigr \}}^{3}=}
=
q
{
tan
[
1
2
arctan
(
Φ
−
6
)
]
3
tan
[
arctan
(
2
Φ
−
8
−
Φ
−
4
+
1
−
Φ
−
4
+
2
+
Φ
−
4
+
1
)
−
1
4
π
]
4
}
=
{\displaystyle =q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(\Phi ^{-6}){\bigr ]}^{3}\tan {\bigl [}\arctan {\bigl (}{\sqrt {2{\sqrt {\Phi ^{-8}-\Phi ^{-4}+1}}-\Phi ^{-4}+2}}+{\sqrt {\Phi ^{-4}+1}}{\bigr )}-{\tfrac {1}{4}}\pi {\bigr ]}^{4}{\bigr \}}=}
=
q
{
(
10
−
3
)
3
(
2
−
1
)
6
tan
[
arctan
(
2
Φ
−
8
−
Φ
−
4
+
1
−
Φ
−
4
+
2
+
Φ
−
4
+
1
)
−
1
4
π
]
4
}
{\displaystyle ={\color {blue}q{\bigl \{}({\sqrt {10}}-3)^{3}({\sqrt {2}}-1)^{6}\tan {\bigl [}\arctan {\bigl (}{\sqrt {2{\sqrt {\Phi ^{-8}-\Phi ^{-4}+1}}-\Phi ^{-4}+2}}+{\sqrt {\Phi ^{-4}+1}}{\bigr )}-{\tfrac {1}{4}}\pi {\bigr ]}^{4}{\bigr \}}}}
The constant
Φ
{\displaystyle \Phi }
represents the Golden ratio number
Φ
=
1
2
(
5
+
1
)
{\displaystyle \Phi ={\tfrac {1}{2}}({\sqrt {5}}+1)}
exactly. Indeed, the formula for the cube of the nome involves a modulus transformation that really contains elementary cube roots because it involves the solution of a regular quartic equation. However the laws for the fifth power and the seventh power of the elliptic nome do not lead to an elementary nome transformation, but to a non elementary transformation. This was proven by the Abel–Ruffini theorem [ 13] [ 14] [ 15] and by the Galois theory [ 16] too.
Exponentiation theorems with Jacobi amplitude functions
edit
Every power of a nome of a positive algebraic number as base and a positive rational number as exponent is equal to a nome value of a positive algebraic number:
q
(
ε
1
∈
A
+
)
w
∈
Q
+
=
q
(
ε
2
∈
A
+
)
{\displaystyle q(\varepsilon _{1}\in \mathbb {A} ^{+})^{w\in \mathbb {Q^{+}} }=q(\varepsilon _{2}\in \mathbb {A} ^{+})}
These are the most important examples of the general exponentiation theorem:
q
(
ε
)
2
=
q
{
ε
2
sn
[
1
2
K
(
ε
)
;
ε
]
4
}
=
q
[
ε
2
(
1
+
1
−
ε
2
)
−
2
]
{\displaystyle q(\varepsilon )^{2}=q\{\varepsilon ^{2}\operatorname {sn} [{\tfrac {1}{2}}K(\varepsilon );\varepsilon ]^{4}\}=q[\varepsilon ^{2}(1+{\sqrt {1-\varepsilon ^{2}}})^{-2}]}
q
(
ε
)
3
=
q
{
ε
3
sn
[
1
3
K
(
ε
)
;
ε
]
4
}
{\displaystyle q(\varepsilon )^{3}=q\{\varepsilon ^{3}\operatorname {sn} [{\tfrac {1}{3}}K(\varepsilon );\varepsilon ]^{4}\}}
q
(
ε
)
4
=
q
{
ε
4
sn
[
1
4
K
(
ε
)
;
ε
]
4
sn
[
3
4
K
(
ε
)
;
ε
]
4
}
=
q
[
(
1
−
1
−
ε
2
4
)
2
(
1
+
1
−
ε
2
4
)
−
2
]
{\displaystyle q(\varepsilon )^{4}=q\{\varepsilon ^{4}\operatorname {sn} [{\tfrac {1}{4}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {3}{4}}K(\varepsilon );\varepsilon ]^{4}\}=q[(1-{\sqrt[{4}]{1-\varepsilon ^{2}}})^{2}(1+{\sqrt[{4}]{1-\varepsilon ^{2}}})^{-2}]}
q
(
ε
)
5
=
q
{
ε
5
sn
[
1
5
K
(
ε
)
;
ε
]
4
sn
[
3
5
K
(
ε
)
;
ε
]
4
}
{\displaystyle q(\varepsilon )^{5}=q\{\varepsilon ^{5}\operatorname {sn} [{\tfrac {1}{5}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {3}{5}}K(\varepsilon );\varepsilon ]^{4}\}}
q
(
ε
)
6
=
q
{
ε
6
sn
[
1
6
K
(
ε
)
;
ε
]
4
sn
[
1
2
K
(
ε
)
;
ε
]
4
sn
[
5
6
K
(
ε
)
;
ε
]
4
}
{\displaystyle q(\varepsilon )^{6}=q\{\varepsilon ^{6}\operatorname {sn} [{\tfrac {1}{6}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {1}{2}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {5}{6}}K(\varepsilon );\varepsilon ]^{4}\}}
q
(
ε
)
7
=
q
{
ε
7
sn
[
1
7
K
(
ε
)
;
ε
]
4
sn
[
3
7
K
(
ε
)
;
ε
]
4
sn
[
5
7
K
(
ε
)
;
ε
]
4
}
{\displaystyle q(\varepsilon )^{7}=q\{\varepsilon ^{7}\operatorname {sn} [{\tfrac {1}{7}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {3}{7}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {5}{7}}K(\varepsilon );\varepsilon ]^{4}\}}
q
(
ε
)
8
=
q
{
ε
8
sn
[
1
8
K
(
ε
)
;
ε
]
4
sn
[
3
8
K
(
ε
)
;
ε
]
4
sn
[
5
8
K
(
ε
)
;
ε
]
4
sn
[
7
8
K
(
ε
)
;
ε
]
4
}
{\displaystyle q(\varepsilon )^{8}=q\{\varepsilon ^{8}\operatorname {sn} [{\tfrac {1}{8}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {3}{8}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {5}{8}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {7}{8}}K(\varepsilon );\varepsilon ]^{4}\}}
q
(
ε
)
9
=
q
{
ε
9
sn
[
1
9
K
(
ε
)
;
ε
]
4
sn
[
1
3
K
(
ε
)
;
ε
]
4
sn
[
5
9
K
(
ε
)
;
ε
]
4
sn
[
7
9
K
(
ε
)
;
ε
]
4
}
{\displaystyle q(\varepsilon )^{9}=q\{\varepsilon ^{9}\operatorname {sn} [{\tfrac {1}{9}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {1}{3}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {5}{9}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {7}{9}}K(\varepsilon );\varepsilon ]^{4}\}}
The abbreviation
sn
{\displaystyle \operatorname {sn} }
stands for the Jacobi elliptic function amplitude sine.
For algebraic
x
{\displaystyle x}
values in the real interval
[
−
1
,
1
]
{\displaystyle [-1,1]}
the shown amplitude sine expressions are always algebraic.
This are the general exponentiation theorems:
q
(
ε
)
2
n
=
q
{
ε
2
n
∏
k
=
1
n
sn
[
2
k
−
1
2
n
K
(
ε
)
;
ε
]
4
}
{\displaystyle q(\varepsilon )^{2n}=q{\biggl \{}\varepsilon ^{2n}\prod _{k=1}^{n}\operatorname {sn} {\bigl [}{\tfrac {2k-1}{2n}}K(\varepsilon );\varepsilon {\bigr ]}^{4}{\biggr \}}}
q
(
ε
)
2
n
+
1
=
q
{
ε
2
n
+
1
∏
k
=
1
n
sn
[
2
k
−
1
2
n
+
1
K
(
ε
)
;
ε
]
4
}
{\displaystyle q(\varepsilon )^{2n+1}=q{\biggl \{}\varepsilon ^{2n+1}\prod _{k=1}^{n}\operatorname {sn} {\bigl [}{\tfrac {2k-1}{2n+1}}K(\varepsilon );\varepsilon {\bigr ]}^{4}{\biggr \}}}
That theorem is valid for all natural numbers n .
Important computation clues:
The following Jacobi amplitude sine expressions solve the subsequent equations:
Thirds of the K:
x
=
sn
[
1
3
K
(
k
)
;
k
]
{\displaystyle x={\text{sn}}[{\tfrac {1}{3}}K(k);k]}
solves the equation[ 17]
k
2
x
4
−
2
k
2
x
3
+
2
x
−
1
=
0
{\displaystyle k^{2}x^{4}-2k^{2}x^{3}+2x-1=0}
Fifths of the K:
x
=
sn
[
1
5
K
(
k
)
;
k
]
sn
[
3
5
K
(
k
)
;
k
]
{\displaystyle x={\text{sn}}[{\tfrac {1}{5}}K(k);k]{\text{sn}}[{\tfrac {3}{5}}K(k);k]}
solves the equation[ 18] [ 19]
k
6
x
6
−
4
k
6
x
5
+
5
k
4
x
4
−
5
k
2
x
2
+
4
x
−
1
=
0
{\displaystyle k^{6}x^{6}-4k^{6}x^{5}+5k^{4}x^{4}-5k^{2}x^{2}+4x-1=0}
Sevenths of the K:
x
=
sn
[
1
7
K
(
k
)
;
k
]
sn
[
3
7
K
(
k
)
;
k
]
sn
[
5
7
K
(
k
)
;
k
]
{\displaystyle x={\text{sn}}[{\tfrac {1}{7}}K(k);k]{\text{sn}}[{\tfrac {3}{7}}K(k);k]{\text{sn}}[{\tfrac {5}{7}}K(k);k]}
solves the equation
k
12
x
8
−
8
k
12
x
7
+
28
k
10
x
6
−
56
k
8
x
5
+
70
k
6
x
4
−
56
k
4
x
3
+
28
k
2
x
2
−
8
x
+
1
=
0
{\displaystyle k^{12}x^{8}-8k^{12}x^{7}+28k^{10}x^{6}-56k^{8}x^{5}+70k^{6}x^{4}-56k^{4}x^{3}+28k^{2}x^{2}-8x+1=0}
und
(
1
−
k
2
x
)
8
=
(
1
−
k
2
)
(
1
−
k
14
x
8
)
{\displaystyle (1-k^{2}x)^{8}=(1-k^{2})(1-k^{14}x^{8})}
Elevenths of the K:
x
=
sn
[
1
11
K
(
k
)
;
k
]
sn
[
3
11
K
(
k
)
;
k
]
sn
[
5
11
K
(
k
)
;
k
]
sn
[
7
11
K
(
k
)
;
k
]
sn
[
9
11
K
(
k
)
;
k
]
{\displaystyle x={\text{sn}}[{\tfrac {1}{11}}K(k);k]{\text{sn}}[{\tfrac {3}{11}}K(k);k]{\text{sn}}[{\tfrac {5}{11}}K(k);k]{\text{sn}}[{\tfrac {7}{11}}K(k);k]{\text{sn}}[{\tfrac {9}{11}}K(k);k]}
solves the equation
k
30
x
12
+
(
−
32
k
30
+
22
k
28
)
x
11
+
44
k
26
x
10
−
(
88
k
24
+
22
k
22
)
x
9
+
165
k
20
x
8
−
132
k
18
x
7
+
(
−
44
k
16
+
44
k
14
)
x
6
+
{\displaystyle k^{30}x^{12}+(-32k^{30}+22k^{28})x^{11}+44k^{26}x^{10}-(88k^{24}+22k^{22})x^{9}+165k^{20}x^{8}-132k^{18}x^{7}+(-44k^{16}+44k^{14})x^{6}+}
+
132
k
12
x
5
−
165
k
10
x
4
+
(
22
k
8
+
88
k
6
)
x
3
−
44
k
4
x
2
+
(
−
22
k
2
+
32
)
x
−
1
=
0
{\displaystyle +132k^{12}x^{5}-165k^{10}x^{4}+(22k^{8}+88k^{6})x^{3}-44k^{4}x^{2}+(-22k^{2}+32)x-1=0}
Examples for the exponentiation theorems
edit
For these nome power theorems important examples shall be formulated:
Given is the fifth power theorem:
q
(
ε
)
5
=
q
{
ε
5
sn
[
1
5
K
(
ε
)
;
ε
]
4
sn
[
3
5
K
(
ε
)
;
ε
]
4
}
{\displaystyle q(\varepsilon )^{5}=q\{\varepsilon ^{5}\operatorname {sn} [{\tfrac {1}{5}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {3}{5}}K(\varepsilon );\varepsilon ]^{4}\}}
Lemniscatic example for the fifth power theorem:
1
8
x
6
−
1
2
x
5
+
5
4
x
4
−
5
2
x
2
+
4
x
−
1
=
0
{\displaystyle {\tfrac {1}{8}}x^{6}-{\tfrac {1}{2}}x^{5}+{\tfrac {5}{4}}x^{4}-{\tfrac {5}{2}}x^{2}+4x-1=0}
x
=
sn
[
1
5
K
(
k
)
;
k
]
sn
[
3
5
K
(
k
)
;
k
]
(
k
=
1
2
2
)
=
1
2
(
5
−
1
)
(
5
4
−
1
)
{\displaystyle x={\text{sn}}[{\tfrac {1}{5}}K(k);k]{\text{sn}}[{\tfrac {3}{5}}K(k);k](k={\tfrac {1}{2}}{\sqrt {2}})={\tfrac {1}{2}}({\sqrt {5}}-1)({\sqrt[{4}]{5}}-1)}
exp
(
−
5
π
)
=
exp
(
−
π
)
5
=
q
(
1
2
2
)
5
=
q
{
ε
5
sn
[
1
5
K
(
ε
)
;
ε
]
4
sn
[
3
5
K
(
ε
)
;
ε
]
4
}
(
ε
=
1
2
2
)
=
{\displaystyle {\color {blue}\exp(-5\pi )}=\exp(-\pi )^{5}=q({\tfrac {1}{2}}{\sqrt {2}})^{5}=q\{\varepsilon ^{5}\operatorname {sn} [{\tfrac {1}{5}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {3}{5}}K(\varepsilon );\varepsilon ]^{4}\}(\varepsilon ={\tfrac {1}{2}}{\sqrt {2}})=}
=
q
{
1
8
2
[
1
2
(
5
−
1
)
(
5
4
−
1
)
]
4
}
=
q
[
1
2
(
10
−
2
2
)
(
3
−
2
5
4
)
]
{\displaystyle =q{\bigl \{}{\tfrac {1}{8}}{\sqrt {2}}{\bigl [}{\tfrac {1}{2}}({\sqrt {5}}-1)({\sqrt[{4}]{5}}-1){\bigr ]}^{4}{\bigr \}}={\color {blue}q{\bigl [}{\tfrac {1}{2}}({\sqrt {10}}-2{\sqrt {2}})(3-2{\sqrt[{4}]{5}}){\bigr ]}}}
A next example for the fifth power theorem:
(
2
−
1
)
6
x
6
−
4
(
2
−
1
)
6
x
5
+
5
(
2
−
1
)
4
x
4
−
5
(
2
−
1
)
2
x
2
+
4
x
−
1
=
0
{\displaystyle ({\sqrt {2}}-1)^{6}x^{6}-4({\sqrt {2}}-1)^{6}x^{5}+5({\sqrt {2}}-1)^{4}x^{4}-5({\sqrt {2}}-1)^{2}x^{2}+4x-1=0}
x
=
sn
[
1
5
K
(
k
)
;
k
]
sn
[
3
5
K
(
k
)
;
k
]
(
k
=
2
−
1
)
=
(
2
+
1
)
tan
[
arctan
(
1
3
5
−
1
3
6
30
+
4
5
3
+
1
3
6
30
−
4
5
3
)
−
1
8
π
]
{\displaystyle x={\text{sn}}[{\tfrac {1}{5}}K(k);k]{\text{sn}}[{\tfrac {3}{5}}K(k);k](k={\sqrt {2}}-1)=({\sqrt {2}}+1)\tan {\bigl [}\arctan {\bigl (}{\tfrac {1}{3}}{\sqrt {5}}-{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}+4{\sqrt {5}}}}+{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}-4{\sqrt {5}}}}\,{\bigr )}-{\tfrac {1}{8}}\pi {\bigr ]}}
exp
(
−
5
2
π
)
=
exp
(
−
2
π
)
5
=
q
(
2
−
1
)
5
=
{\displaystyle {\color {blue}\exp(-5{\sqrt {2}}\,\pi )}=\exp(-{\sqrt {2}}\,\pi )^{5}=q({\sqrt {2}}-1)^{5}=}
=
q
{
ε
5
sn
[
1
5
K
(
ε
)
;
ε
]
4
sn
[
3
5
K
(
ε
)
;
ε
]
4
}
(
ε
=
2
−
1
)
=
{\displaystyle =q\{\varepsilon ^{5}\operatorname {sn} [{\tfrac {1}{5}}K(\varepsilon );\varepsilon ]^{4}\operatorname {sn} [{\tfrac {3}{5}}K(\varepsilon );\varepsilon ]^{4}\}(\varepsilon ={\sqrt {2}}-1)=}
=
q
⟨
(
2
−
1
)
5
{
(
2
+
1
)
tan
[
arctan
(
1
3
5
−
1
3
6
30
+
4
5
3
+
1
3
6
30
−
4
5
3
)
−
1
8
π
]
}
4
⟩
=
{\displaystyle =q{\biggl \langle }({\sqrt {2}}-1)^{5}{\bigl \{}({\sqrt {2}}+1)\tan {\bigl [}\arctan {\bigl (}{\tfrac {1}{3}}{\sqrt {5}}-{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}+4{\sqrt {5}}}}+{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}-4{\sqrt {5}}}}\,{\bigr )}-{\tfrac {1}{8}}\pi {\bigr ]}{\bigr \}}^{4}{\biggr \rangle }=}
=
q
{
(
2
−
1
)
tan
[
arctan
(
1
3
5
−
1
3
6
30
+
4
5
3
+
1
3
6
30
−
4
5
3
)
−
1
8
π
]
4
}
{\displaystyle ={\color {blue}q{\bigl \{}({\sqrt {2}}-1)\tan {\bigl [}\arctan {\bigl (}{\tfrac {1}{3}}{\sqrt {5}}-{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}+4{\sqrt {5}}}}+{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}-4{\sqrt {5}}}}\,{\bigr )}-{\tfrac {1}{8}}\pi {\bigr ]}^{4}{\bigr \}}}}
If two positive numbers
a
{\displaystyle a}
and
b
{\displaystyle b}
are Pythagorean opposites to each other and thus the equation
a
2
+
b
2
=
1
{\displaystyle a^{2}+b^{2}=1}
is valid, then this relation is valid:
ln
[
q
(
a
)
]
ln
[
q
(
b
)
]
=
π
2
{\displaystyle \ln[\operatorname {q} (a)]\ln[\operatorname {q} (b)]=\pi ^{2}}
If two positive numbers
c
{\displaystyle c}
and
d
{\displaystyle d}
are tangential opposites to each other and thus the equation
(
c
+
1
)
(
d
+
1
)
=
2
{\displaystyle (c+1)(d+1)=2}
is valid, then that relation is valid:
ln
[
q
(
c
)
]
ln
[
q
(
d
)
]
=
2
π
2
{\displaystyle \ln[\operatorname {q} (c)]\ln[\operatorname {q} (d)]=2\pi ^{2}}
Therefore, these representations have validity for all real numbers x :
Pythagorean opposites:
ln
⟨
q
{
sin
[
1
4
π
−
1
2
arctan
(
x
)
]
}
⟩
ln
⟨
q
{
sin
[
1
4
π
+
1
2
arctan
(
x
)
]
}
⟩
=
π
2
{\displaystyle \ln {\biggl \langle }q{\bigl \{}\sin {\bigl [}{\tfrac {1}{4}}\pi -{\tfrac {1}{2}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }\ln {\biggl \langle }q{\bigl \{}\sin {\bigl [}{\tfrac {1}{4}}\pi +{\tfrac {1}{2}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }=\pi ^{2}}
ln
{
q
[
1
2
2
−
2
x
(
x
2
+
1
)
−
1
/
2
]
}
ln
{
q
[
1
2
2
+
2
x
(
x
2
+
1
)
−
1
/
2
]
}
=
π
2
{\displaystyle \ln {\bigl \{}q{\bigl [}{\tfrac {1}{2}}{\sqrt {2-2x(x^{2}+1)^{-1/2}}}{\bigr ]}{\bigr \}}\ln {\bigl \{}q{\bigl [}{\tfrac {1}{2}}{\sqrt {2+2x(x^{2}+1)^{-1/2}}}{\bigr ]}{\bigr \}}=\pi ^{2}}
Tangential opposites:
ln
⟨
q
{
tan
[
1
8
π
−
1
4
arctan
(
x
)
]
}
⟩
ln
⟨
q
{
tan
[
1
8
π
+
1
4
arctan
(
x
)
]
}
⟩
=
2
π
2
{\displaystyle \ln {\biggl \langle }q{\bigl \{}\tan {\bigl [}{\tfrac {1}{8}}\pi -{\tfrac {1}{4}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }\ln {\biggl \langle }q{\bigl \{}\tan {\bigl [}{\tfrac {1}{8}}\pi +{\tfrac {1}{4}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }=2\pi ^{2}}
ln
{
q
[
(
x
2
+
1
+
x
)
2
+
1
−
x
2
+
1
−
x
]
}
ln
{
q
[
(
x
2
+
1
−
x
)
2
+
1
−
x
2
+
1
+
x
]
}
=
2
π
2
{\displaystyle \ln {\bigl \{}q{\bigl [}{\sqrt {({\sqrt {x^{2}+1}}+x)^{2}+1}}-{\sqrt {x^{2}+1}}-x{\bigr ]}{\bigr \}}\ln {\bigl \{}q{\bigl [}{\sqrt {({\sqrt {x^{2}+1}}-x)^{2}+1}}-{\sqrt {x^{2}+1}}+x{\bigr ]}{\bigr \}}=2\pi ^{2}}
Derivations of the nome values
edit
Direct results of mentioned theorems
edit
The following examples should be used to determine the nouns:
Example 1:
Given is the formula of the Pythagorean counterparts:
ln
⟨
q
{
sin
[
1
4
π
−
1
2
arctan
(
x
)
]
}
⟩
ln
⟨
q
{
sin
[
1
4
π
+
1
2
arctan
(
x
)
]
}
⟩
=
π
2
{\displaystyle \ln {\biggl \langle }q{\bigl \{}\sin {\bigl [}{\tfrac {1}{4}}\pi -{\tfrac {1}{2}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }\ln {\biggl \langle }q{\bigl \{}\sin {\bigl [}{\tfrac {1}{4}}\pi +{\tfrac {1}{2}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }=\pi ^{2}}
For x = 0, this formula gives this equation:
ln
{
q
[
sin
(
1
4
π
)
]
}
2
=
π
2
{\displaystyle \ln {\bigl \{}q{\bigl [}\sin({\tfrac {1}{4}}\pi ){\bigr ]}{\bigr \}}^{2}=\pi ^{2}}
q
[
sin
(
1
4
π
)
]
=
exp
(
−
π
)
{\displaystyle q{\bigl [}\sin({\tfrac {1}{4}}\pi ){\bigr ]}=\exp(-\pi )}
Example 2:
Given is the formula of the tangential counterparts:
ln
⟨
q
{
tan
[
1
8
π
−
1
4
arctan
(
x
)
]
}
⟩
ln
⟨
q
{
tan
[
1
8
π
+
1
4
arctan
(
x
)
]
}
⟩
=
2
π
2
{\displaystyle \ln {\biggl \langle }q{\bigl \{}\tan {\bigl [}{\tfrac {1}{8}}\pi -{\tfrac {1}{4}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }\ln {\biggl \langle }q{\bigl \{}\tan {\bigl [}{\tfrac {1}{8}}\pi +{\tfrac {1}{4}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }=2\pi ^{2}}
For x = 0, the formula for the tangential counterparts gives the following equation:
ln
{
q
[
tan
(
1
8
π
)
]
}
2
=
2
π
2
{\displaystyle \ln {\bigl \{}q{\bigl [}\tan({\tfrac {1}{8}}\pi ){\bigr ]}{\bigr \}}^{2}=2\pi ^{2}}
q
[
tan
(
1
8
π
)
]
=
exp
(
−
2
π
)
{\displaystyle q{\bigl [}\tan({\tfrac {1}{8}}\pi ){\bigr ]}=\exp(-{\sqrt {2}}\,\pi )}
Combinations of two theorems each
edit
Example 1: Equianharmonic case
The formula of the Pythagorean counterparts is used again:
ln
⟨
q
{
sin
[
1
4
π
−
1
2
arctan
(
x
)
]
}
⟩
ln
⟨
q
{
sin
[
1
4
π
+
1
2
arctan
(
x
)
]
}
⟩
=
π
2
{\displaystyle \ln {\biggl \langle }q{\bigl \{}\sin {\bigl [}{\tfrac {1}{4}}\pi -{\tfrac {1}{2}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }\ln {\biggl \langle }q{\bigl \{}\sin {\bigl [}{\tfrac {1}{4}}\pi +{\tfrac {1}{2}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }=\pi ^{2}}
For
x
=
3
{\displaystyle x={\sqrt {3}}}
, this equation results from this formula:
ln
{
q
[
sin
(
1
12
π
)
]
}
ln
{
q
[
sin
(
5
12
π
)
]
}
=
π
2
{\displaystyle \ln {\bigl \{}q{\bigl [}\sin({\tfrac {1}{12}}\pi ){\bigr ]}{\bigr \}}\ln {\bigl \{}q{\bigl [}\sin({\tfrac {5}{12}}\pi ){\bigr ]}{\bigr \}}=\pi ^{2}}
In a previous section this theorem was stated:
q
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
3
=
q
[
u
(
u
4
−
u
2
+
1
+
u
2
−
1
)
]
{\displaystyle q[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]^{3}=q[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}
From this theorem for cubing, the following equation results for
u
=
1
/
2
{\displaystyle u=1/{\sqrt {2}}}
:
q
[
sin
(
5
12
π
)
]
3
=
q
[
sin
(
1
12
π
)
]
{\displaystyle q{\bigl [}\sin({\tfrac {5}{12}}\pi ){\bigr ]}^{3}=q{\bigl [}\sin({\tfrac {1}{12}}\pi ){\bigr ]}}
The solution to the system of equations with two unknowns then reads as follows:
q
[
sin
(
1
12
π
)
]
=
exp
(
−
3
π
)
{\displaystyle q{\bigl [}\sin({\tfrac {1}{12}}\pi ){\bigr ]}=\exp(-{\sqrt {3}}\,\pi )}
q
[
sin
(
5
12
π
)
]
=
exp
(
−
1
3
3
π
)
{\displaystyle q{\bigl [}\sin({\tfrac {5}{12}}\pi ){\bigr ]}=\exp(-{\tfrac {1}{3}}{\sqrt {3}}\,\pi )}
Example 2: A further case with the cube formula
The formula of the tangential counterparts is used again:
ln
⟨
q
{
tan
[
1
8
π
−
1
4
arctan
(
x
)
]
}
⟩
ln
⟨
q
{
tan
[
1
8
π
+
1
4
arctan
(
x
)
]
}
⟩
=
2
π
2
{\displaystyle \ln {\biggl \langle }q{\bigl \{}\tan {\bigl [}{\tfrac {1}{8}}\pi -{\tfrac {1}{4}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }\ln {\biggl \langle }q{\bigl \{}\tan {\bigl [}{\tfrac {1}{8}}\pi +{\tfrac {1}{4}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }=2\pi ^{2}}
For
x
=
8
{\displaystyle x={\sqrt {8}}}
this formula results in the following equation:
ln
{
q
[
(
2
−
3
)
(
3
−
2
)
]
}
ln
{
q
[
(
2
−
3
)
(
3
+
2
)
]
}
=
2
π
2
{\displaystyle \ln {\bigl \{}q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}}){\bigr ]}{\bigr \}}\ln {\bigl \{}q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}}){\bigr ]}{\bigr \}}=2\pi ^{2}}
The theorem for cubing is also used here:
q
[
u
(
u
4
−
u
2
+
1
−
u
2
+
1
)
]
3
=
q
[
u
(
u
4
−
u
2
+
1
+
u
2
−
1
)
]
{\displaystyle q[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]^{3}=q[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}
From the previously mentioned theorem for cubing, the following equation results for
u
=
(
3
−
1
)
/
2
{\displaystyle u=({\sqrt {3}}-1)/{\sqrt {2}}}
:
q
[
(
2
−
3
)
(
3
+
2
)
]
3
=
q
[
(
2
−
3
)
(
3
−
2
)
]
{\displaystyle q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}}){\bigr ]}^{3}=q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}}){\bigr ]}}
The solution to the system of equations with two unknowns then reads as follows:
q
[
(
2
−
3
)
(
3
−
2
)
]
=
exp
(
−
6
π
)
{\displaystyle q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}}){\bigr ]}=\exp(-{\sqrt {6}}\,\pi )}
q
[
(
2
−
3
)
(
3
+
2
)
]
=
exp
(
−
1
3
6
π
)
{\displaystyle q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}}){\bigr ]}=\exp(-{\tfrac {1}{3}}{\sqrt {6}}\,\pi )}
Investigations about incomplete integrals
edit
With the incomplete elliptic integrals of the first kind, the values of the elliptic noun function can be derived directly.
With two accurate examples, these direct derivations are to be carried out in the following:
First example:
F
[
2
arctan
(
x
3
+
3
x
3
x
2
+
1
)
;
1
4
(
6
+
2
)
]
=
3
F
[
2
arctan
(
x
)
;
1
4
(
6
−
2
)
]
{\displaystyle F{\biggl [}2\arctan {\biggl (}{\frac {x^{3}+{\sqrt {3}}\,x}{{\sqrt {3}}\,x^{2}+1}}{\biggr )};{\frac {1}{4}}({\sqrt {6}}+{\sqrt {2}}){\biggr ]}={\sqrt {3}}\,F{\biggl [}2\arctan(x);{\frac {1}{4}}({\sqrt {6}}-{\sqrt {2}}){\biggr ]}}
The correctness of this formula can be proved by computing the differential quotient after the variable
x
{\displaystyle x}
on both sides of the balance of equation.
Using the value
x
=
1
{\displaystyle x=1}
gives this result:
K
[
1
4
(
6
+
2
)
]
=
3
K
[
1
4
(
6
−
2
)
]
{\displaystyle K{\bigl [}{\frac {1}{4}}({\sqrt {6}}+{\sqrt {2}}){\bigr ]}={\sqrt {3}}\,K{\bigl [}{\frac {1}{4}}({\sqrt {6}}-{\sqrt {2}}){\bigr ]}}
The following two results emerge:
q
[
1
4
(
6
−
2
)
]
=
exp
{
−
π
K
[
1
4
(
6
+
2
)
]
÷
K
[
1
4
(
6
−
2
)
]
}
=
exp
(
−
3
π
)
{\displaystyle q{\bigl [}{\frac {1}{4}}({\sqrt {6}}-{\sqrt {2}}){\bigr ]}=\exp {\bigl \{}-\pi \,K{\bigl [}{\frac {1}{4}}({\sqrt {6}}+{\sqrt {2}}){\bigr ]}\div K{\bigl [}{\frac {1}{4}}({\sqrt {6}}-{\sqrt {2}}){\bigr ]}{\bigr \}}=\exp(-{\sqrt {3}}\,\pi )}
q
[
1
4
(
6
+
2
)
]
=
exp
{
−
π
K
[
1
4
(
6
−
2
)
]
÷
K
[
1
4
(
6
+
2
)
]
}
=
exp
(
−
1
3
3
π
)
{\displaystyle q{\bigl [}{\frac {1}{4}}({\sqrt {6}}+{\sqrt {2}}){\bigr ]}=\exp {\bigl \{}-\pi \,K{\bigl [}{\frac {1}{4}}({\sqrt {6}}-{\sqrt {2}}){\bigr ]}\div K{\bigl [}{\frac {1}{4}}({\sqrt {6}}+{\sqrt {2}}){\bigr ]}{\bigr \}}=\exp {\bigl (}-{\frac {1}{3}}{\sqrt {3}}\,\pi {\bigr )}}
Second example:
F
[
2
arctan
(
x
5
+
2
5
Φ
−
1
/
2
x
3
+
5
x
5
x
4
+
2
5
Φ
−
1
/
2
x
2
+
1
)
;
1
2
2
(
Φ
−
1
/
2
+
Φ
−
1
)
]
=
5
F
[
2
arctan
(
x
)
;
1
2
2
(
Φ
−
1
/
2
−
Φ
−
1
)
]
{\displaystyle F{\biggl [}2\arctan {\biggl (}{\frac {x^{5}+2{\sqrt {5}}\,\Phi ^{-1/2}\,x^{3}+{\sqrt {5}}\,x}{{\sqrt {5}}\,x^{4}+2{\sqrt {5}}\,\Phi ^{-1/2}\,x^{2}+1}}{\biggr )};{\frac {1}{2}}{\sqrt {2}}{\bigl (}\Phi ^{-1/2}+\Phi ^{-1}{\bigr )}{\biggr ]}={\sqrt {5}}\,F{\biggl [}2\arctan(x);{\frac {1}{2}}{\sqrt {2}}{\bigl (}\Phi ^{-1/2}-\Phi ^{-1}{\bigr )}{\biggr ]}}
The correctness of this formula can be proved by differentiating both sides of the equation balance.
K
[
1
2
2
(
Φ
−
1
/
2
+
Φ
−
1
)
]
=
5
K
[
1
2
2
(
Φ
−
1
/
2
−
Φ
−
1
)
]
{\displaystyle K{\bigl [}{\frac {1}{2}}{\sqrt {2}}{\bigl (}\Phi ^{-1/2}+\Phi ^{-1}{\bigr )}{\bigr ]}={\sqrt {5}}\,K{\bigl [}{\frac {1}{2}}{\sqrt {2}}{\bigl (}\Phi ^{-1/2}-\Phi ^{-1}{\bigr )}{\bigr ]}}
The following two results emerge:
q
[
1
2
2
(
Φ
−
1
/
2
−
Φ
−
1
)
]
=
exp
{
−
π
K
[
1
2
2
(
Φ
−
1
/
2
+
Φ
−
1
)
]
÷
K
[
1
2
2
(
Φ
−
1
/
2
−
Φ
−
1
)
]
}
=
exp
(
−
5
π
)
{\displaystyle q{\bigl [}{\frac {1}{2}}{\sqrt {2}}{\bigl (}\Phi ^{-1/2}-\Phi ^{-1}{\bigr )}{\bigr ]}=\exp {\bigl \{}-\pi \,K{\bigl [}{\frac {1}{2}}{\sqrt {2}}{\bigl (}\Phi ^{-1/2}+\Phi ^{-1}{\bigr )}{\bigr ]}\div K{\bigl [}{\frac {1}{2}}{\sqrt {2}}{\bigl (}\Phi ^{-1/2}-\Phi ^{-1}{\bigr )}{\bigr ]}{\bigr \}}=\exp(-{\sqrt {5}}\,\pi )}
q
[
1
2
2
(
Φ
−
1
/
2
+
Φ
−
1
)
]
=
exp
{
−
π
K
[
1
2
2
(
Φ
−
1
/
2
−
Φ
−
1
)
]
÷
K
[
1
2
2
(
Φ
−
1
/
2
+
Φ
−
1
)
]
}
=
exp
(
−
1
5
5
π
)
{\displaystyle q{\bigl [}{\frac {1}{2}}{\sqrt {2}}{\bigl (}\Phi ^{-1/2}+\Phi ^{-1}{\bigr )}{\bigr ]}=\exp {\bigl \{}-\pi \,K{\bigl [}{\frac {1}{2}}{\sqrt {2}}{\bigl (}\Phi ^{-1/2}-\Phi ^{-1}{\bigr )}{\bigr ]}\div K{\bigl [}{\frac {1}{2}}{\sqrt {2}}{\bigl (}\Phi ^{-1/2}+\Phi ^{-1}{\bigr )}{\bigr ]}{\bigr \}}=\exp {\bigl (}-{\frac {1}{5}}{\sqrt {5}}\,\pi {\bigr )}}
Third example:
F
[
2
arctan
(
x
5
+
2
7
x
5
+
7
x
3
+
7
x
7
x
6
+
7
x
4
+
2
7
x
2
+
1
)
;
1
8
(
3
2
+
14
)
]
=
7
F
[
2
arctan
(
x
)
;
1
8
(
3
2
−
14
)
]
{\displaystyle F{\biggl [}2\arctan {\biggl (}{\frac {x^{5}+2\,{\sqrt {7}}\,x^{5}+7x^{3}+{\sqrt {7}}\,x}{{\sqrt {7}}\,x^{6}+7x^{4}+2\,{\sqrt {7}}\,x^{2}+1}}{\biggr )};{\frac {1}{8}}(3{\sqrt {2}}+{\sqrt {14}}){\biggr ]}={\sqrt {7}}\,F{\biggl [}2\arctan(x);{\frac {1}{8}}(3{\sqrt {2}}-{\sqrt {14}}){\biggr ]}}
The correctness of this formula can be proved by differentiating both sides of the equation balance.
Using the value
x
=
1
{\displaystyle x=1}
gives this result:
K
[
1
8
(
3
2
+
14
)
]
=
7
K
[
1
8
(
3
2
−
14
)
]
{\displaystyle K{\bigl [}{\frac {1}{8}}(3{\sqrt {2}}+{\sqrt {14}}){\bigr ]}={\sqrt {7}}\,K{\bigl [}{\frac {1}{8}}(3{\sqrt {2}}-{\sqrt {14}}){\bigr ]}}
The following two results emerge:
q
[
1
8
(
3
2
−
14
)
]
=
exp
{
−
π
K
[
1
8
(
3
2
+
14
)
]
÷
K
[
1
8
(
3
2
−
14
)
]
}
=
exp
(
−
7
π
)
{\displaystyle q{\bigl [}{\frac {1}{8}}(3{\sqrt {2}}-{\sqrt {14}}){\bigr ]}=\exp {\bigl \{}-\pi \,K{\bigl [}{\frac {1}{8}}(3{\sqrt {2}}+{\sqrt {14}}){\bigr ]}\div K{\bigl [}{\frac {1}{8}}(3{\sqrt {2}}-{\sqrt {14}}){\bigr ]}{\bigr \}}=\exp(-{\sqrt {7}}\,\pi )}
q
[
1
8
(
3
2
+
14
)
]
=
exp
{
−
π
K
[
1
8
(
3
2
−
14
)
]
÷
K
[
1
8
(
3
2
+
14
)
]
}
=
exp
(
−
1
7
7
π
)
{\displaystyle q{\bigl [}{\frac {1}{8}}(3{\sqrt {2}}+{\sqrt {14}}){\bigr ]}=\exp {\bigl \{}-\pi \,K{\bigl [}{\frac {1}{8}}(3{\sqrt {2}}-{\sqrt {14}}){\bigr ]}\div K{\bigl [}{\frac {1}{8}}(3{\sqrt {2}}+{\sqrt {14}}){\bigr ]}{\bigr \}}=\exp {\bigl (}-{\frac {1}{7}}{\sqrt {7}}\,\pi {\bigr )}}
First derivative of the theta function
edit
Derivation of the derivative
edit
The first derivative of the principal theta function among the Jacobi theta functions can be derived in the following way using the chain rule and the derivation formula of the elliptic nome:
π
2
2
ε
(
1
−
ε
2
)
K
(
ε
)
2
q
(
ε
)
{
d
d
q
(
ε
)
ϑ
00
[
q
(
ε
)
]
}
=
[
d
d
ε
q
(
ε
)
]
{
d
d
q
(
ε
)
ϑ
00
[
q
(
ε
)
]
}
=
d
d
ε
ϑ
00
[
q
(
ε
)
]
=
d
d
ε
2
π
−
1
K
(
ε
)
=
{\displaystyle {\frac {\pi ^{2}}{2\varepsilon (1-\varepsilon ^{2})K(\varepsilon )^{2}}}\,q(\varepsilon )\,{\biggl \{}{\frac {\mathrm {d} }{\mathrm {d} \,q(\varepsilon )}}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}{\biggr \}}={\biggl [}{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\,q(\varepsilon ){\biggr ]}{\biggl \{}{\frac {\mathrm {d} }{\mathrm {d} \,q(\varepsilon )}}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}{\biggr \}}={\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}={\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\,{\sqrt {2\pi ^{-1}K(\varepsilon )}}=}
=
1
2
2
π
−
1
/
2
K
(
ε
)
−
1
/
2
[
d
d
ε
K
(
ε
)
]
=
1
2
2
π
−
1
/
2
K
(
ε
)
−
1
/
2
E
(
ε
)
−
(
1
−
ε
2
)
K
(
ε
)
ε
(
1
−
ε
2
)
{\displaystyle ={\frac {1}{2}}{\sqrt {2}}\,\pi ^{-1/2}\,K(\varepsilon )^{-1/2}{\biggl [}{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\,K(\varepsilon ){\biggr ]}={\frac {1}{2}}{\sqrt {2}}\,\pi ^{-1/2}\,K(\varepsilon )^{-1/2}\,{\frac {E(\varepsilon )-(1-\varepsilon ^{2})K(\varepsilon )}{\varepsilon (1-\varepsilon ^{2})}}}
For the now mentioned derivation part this identity is the fundament:
ϑ
00
[
q
(
ε
)
]
=
2
π
−
1
K
(
ε
)
{\displaystyle \vartheta _{00}[q(\varepsilon )]={\sqrt {2\pi ^{-1}K(\varepsilon )}}}
Therefore, this equation results:
d
d
q
(
ε
)
ϑ
00
[
q
(
ε
)
]
=
2
π
−
5
/
2
q
(
ε
)
−
1
K
(
ε
)
3
/
2
[
E
(
ε
)
−
(
1
−
ε
2
)
K
(
ε
)
]
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \,q(\varepsilon )}}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}={\sqrt {2}}\,\pi ^{-5/2}\,q(\varepsilon )^{-1}\,K(\varepsilon )^{3/2}{\bigl [}E(\varepsilon )-(1-\varepsilon ^{2})K(\varepsilon ){\bigr ]}}
The complete elliptic integrals of the second kind have that identity:
(
1
+
1
−
ε
2
)
E
(
1
−
1
−
ε
2
1
+
1
−
ε
2
)
=
E
(
ε
)
+
1
−
ε
2
K
(
ε
)
{\displaystyle (1+{\sqrt {1-\varepsilon ^{2}}})\,E\left({\frac {1-{\sqrt {1-\varepsilon ^{2}}}}{1+{\sqrt {1-\varepsilon ^{2}}}}}\right)=E(\varepsilon )+{\sqrt {1-\varepsilon ^{2}}}\,K(\varepsilon )}
Along with this modular identity, following formula transformation can be made:
d
d
q
(
ε
)
ϑ
00
[
q
(
ε
)
]
=
2
π
−
5
/
2
q
(
ε
)
−
1
K
(
ε
)
3
/
2
(
1
+
1
−
ε
2
)
[
E
(
1
−
1
−
ε
2
1
+
1
−
ε
2
)
−
1
−
ε
2
K
(
ε
)
]
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \,q(\varepsilon )}}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}={\sqrt {2}}\,\pi ^{-5/2}\,q(\varepsilon )^{-1}\,K(\varepsilon )^{3/2}(1+{\sqrt {1-\varepsilon ^{2}}})\left[E\left({\frac {1-{\sqrt {1-\varepsilon ^{2}}}}{1+{\sqrt {1-\varepsilon ^{2}}}}}\right)-{\sqrt {1-\varepsilon ^{2}}}\,K(\varepsilon )\right]}
Furthermore, this identity is valid:
ϑ
01
[
q
(
ε
)
]
=
1
−
ε
2
4
2
π
−
1
K
(
ε
)
{\displaystyle \vartheta _{01}[q(\varepsilon )]={\sqrt[{4}]{1-\varepsilon ^{2}}}{\sqrt {2\pi ^{-1}K(\varepsilon )}}}
By using the theta function expressions ϑ00 (x) and ϑ01 (x) following representation is possible:
d
d
q
(
ε
)
ϑ
00
[
q
(
ε
)
]
=
1
2
π
q
(
ε
)
−
1
ϑ
00
[
q
(
ε
)
]
{
ϑ
00
[
q
(
ε
)
]
2
+
ϑ
01
[
q
(
ε
)
]
2
}
⟨
E
{
ϑ
00
[
q
(
ε
)
]
2
−
ϑ
01
[
q
(
ε
)
]
2
ϑ
00
[
q
(
ε
)
]
2
+
ϑ
01
[
q
(
ε
)
]
2
}
−
π
2
ϑ
01
[
q
(
ε
)
]
2
⟩
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \,q(\varepsilon )}}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}={\frac {1}{2\pi }}\,q(\varepsilon )^{-1}\vartheta _{00}[q(\varepsilon )]{\bigl \{}\vartheta _{00}[q(\varepsilon )]^{2}+\vartheta _{01}[q(\varepsilon )]^{2}{\bigr \}}{\biggl \langle }E{\biggl \{}{\frac {\vartheta _{00}[q(\varepsilon )]^{2}-\vartheta _{01}[q(\varepsilon )]^{2}}{\vartheta _{00}[q(\varepsilon )]^{2}+\vartheta _{01}[q(\varepsilon )]^{2}}}{\biggr \}}-{\frac {\pi }{2}}\,\vartheta _{01}{\bigl [}q(\varepsilon ){\bigr ]}^{2}{\biggr \rangle }}
This is the final result:
d
d
x
ϑ
00
(
x
)
=
ϑ
00
(
x
)
[
ϑ
00
(
x
)
2
+
ϑ
01
(
x
)
2
]
{
1
2
π
x
E
[
ϑ
00
(
x
)
2
−
ϑ
01
(
x
)
2
ϑ
00
(
x
)
2
+
ϑ
01
(
x
)
2
]
−
ϑ
01
(
x
)
2
4
x
}
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\,\vartheta _{00}(x)=\vartheta _{00}(x){\bigl [}\vartheta _{00}(x)^{2}+\vartheta _{01}(x)^{2}{\bigr ]}{\biggl \{}{\frac {1}{2\pi x}}E{\biggl [}{\frac {\vartheta _{00}(x)^{2}-\vartheta _{01}(x)^{2}}{\vartheta _{00}(x)^{2}+\vartheta _{01}(x)^{2}}}{\biggr ]}-{\frac {\vartheta _{01}(x)^{2}}{4x}}{\biggr \}}}
In a similar way following other first derivatives of theta functions and their combinations can also be derived:
d
d
x
ϑ
01
(
x
)
=
ϑ
01
(
x
)
[
ϑ
00
(
x
)
2
+
ϑ
01
(
x
)
2
]
{
1
2
π
x
E
[
ϑ
00
(
x
)
2
−
ϑ
01
(
x
)
2
ϑ
00
(
x
)
2
+
ϑ
01
(
x
)
2
]
−
ϑ
00
(
x
)
2
4
x
}
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\,\vartheta _{01}(x)=\vartheta _{01}(x){\bigl [}\vartheta _{00}(x)^{2}+\vartheta _{01}(x)^{2}{\bigr ]}{\biggl \{}{\frac {1}{2\pi x}}E{\biggl [}{\frac {\vartheta _{00}(x)^{2}-\vartheta _{01}(x)^{2}}{\vartheta _{00}(x)^{2}+\vartheta _{01}(x)^{2}}}{\biggr ]}-{\frac {\vartheta _{00}(x)^{2}}{4x}}{\biggr \}}}
d
d
x
ϑ
10
(
x
)
=
1
2
π
x
ϑ
10
(
x
)
ϑ
00
(
x
)
2
E
[
ϑ
10
(
x
)
2
ϑ
00
(
x
)
2
]
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\,\vartheta _{10}(x)={\frac {1}{2\pi x}}\vartheta _{10}(x)\vartheta _{00}(x)^{2}E{\biggl [}{\frac {\vartheta _{10}(x)^{2}}{\vartheta _{00}(x)^{2}}}{\biggr ]}}
d
d
x
ϑ
00
(
x
)
ϑ
01
(
x
)
=
ϑ
00
(
x
)
5
−
ϑ
00
(
x
)
ϑ
01
(
x
)
4
4
x
ϑ
01
(
x
)
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\,{\frac {\vartheta _{00}(x)}{\vartheta _{01}(x)}}={\frac {\vartheta _{00}(x)^{5}-\vartheta _{00}(x)\vartheta _{01}(x)^{4}}{4x\,\vartheta _{01}(x)}}}
d
d
x
ϑ
10
(
x
)
ϑ
00
(
x
)
=
ϑ
10
(
x
)
ϑ
01
(
x
)
4
4
x
ϑ
00
(
x
)
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\,{\frac {\vartheta _{10}(x)}{\vartheta _{00}(x)}}={\frac {\vartheta _{10}(x)\vartheta _{01}(x)^{4}}{4x\,\vartheta _{00}(x)}}}
d
d
x
ϑ
10
(
x
)
ϑ
01
(
x
)
=
ϑ
10
(
x
)
ϑ
00
(
x
)
4
4
x
ϑ
01
(
x
)
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\,{\frac {\vartheta _{10}(x)}{\vartheta _{01}(x)}}={\frac {\vartheta _{10}(x)\vartheta _{00}(x)^{4}}{4x\,\vartheta _{01}(x)}}}
Important definition:
ϑ
10
(
x
)
=
2
x
1
/
4
+
2
x
1
/
4
∑
n
=
1
∞
x
2
△
(
n
)
{\displaystyle \vartheta _{10}(x)=2x^{1/4}+2x^{1/4}\sum _{n=1}^{\infty }x^{2\bigtriangleup (n)}}
△
(
n
)
=
1
2
n
(
n
+
1
)
{\displaystyle \bigtriangleup (n)={\tfrac {1}{2}}n(n+1)}
^ Karl Heinrich Schellbach (1864), Die Lehre von den Elliptischen Integralen und den ThetaFunctionen [The Teaching of Elliptic Integrals and Theta Functions ], Berlin: G. Reimer, ISBN 978-3-11-169377-4 , retrieved 2023-06-11
^ Hermann Amandus Schwarz (1885), Formeln und Lehrsätze zum gebrauche der elliptischen Functionen [Formulas and Lectures on Use of the Elliptic Function ], Göttingen: W. Fr. Kaestner, ISBN 978-3-662-25776-0 , retrieved 2024-04-04
^ Adolf Kneser (1927), "Neue Untersuchung einer Reihe aus der Theorie der elliptischen Funktionen." , Journal für die reine und angewandte Mathematik , vol. 158, pp. 209–218, ISSN 0075-4102 , retrieved 2023-06-11
^ D. K. Lee (1989-03-01), Application of theta functions for numerical evaluation of complete elliptic integrals of the first and second kinds , Oak Ridge, TN (United States): Oak Ridge National Lab. (ORNL), OSTI 6137964 , retrieved 2023-06-11
^ "A002103 - OEIS" . Retrieved 2023-05-28 .
^ "Series Expansion of EllipticNomeQ differs from older Mathematica Version" . Retrieved 2023-05-28 .
^ R. B. King, E. R. Canfield (1992-08-01), "Icosahedral symmetry and the quintic equation", Computers & Mathematics with Applications , vol. 24, no. 3, pp. 13–28, doi :10.1016/0898-1221(92)90210-9 , ISSN 0898-1221
^ "Table of Infinite Products Infinite Sums Infinite Series Elliptic Theta" . Retrieved 2021-09-30 .
^ Eric W. Weisstein. "Jacobi Theta Functions" . Retrieved 2021-10-01 .
^ Alvaro H. Salas, Lorenzo J. H. Martinez, David L. R. Ocampo R. (2021-10-11), "Approximation of Elliptic Functions by Means of Trigonometric Functions with Applications", Mathematical Problems in Engineering , vol. 2021, pp. e5546666, doi :10.1155/2021/5546666 , ISSN 1024-123X {{citation }}
: CS1 maint: multiple names: authors list (link )
^ Gauss, C. F.; Nachlass (1876). "Arithmetisch geometrisches Mittel, Werke, Bd. 3". Königlichen Gesell. Wiss., Göttingen : 361–403.
^ Abramowitz, Milton ; Stegun, Irene Ann , eds. (1983) [June 1964]. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables . Applied Mathematics Series. Vol. 55 (Ninth reprint with additional corrections of tenth original printing with corrections (December 1972); first ed.). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. ISBN 978-0-486-61272-0 . LCCN 64-60036 . MR 0167642 . LCCN 65-12253 .
^ Ruffini, Paolo (1813). Riflessioni intorno alla soluzione delle equazioni algebraiche generali opuscolo del cav. dott. Paolo Ruffini ... (in Italian). presso la Societa Tipografica.
^ Abel, Niels Henrik (1881) [1824], "Mémoire sur les équations algébriques, ou l'on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré" (PDF) , in Sylow, Ludwig ; Lie, Sophus (eds.), Œuvres Complètes de Niels Henrik Abel (in French), vol. I (2nd ed.), Grøndahl & Søn , pp. 28–33
^ Abel, Niels Henrik (1881) [1826], "Démonstration de l'impossibilité de la résolution algébrique des équations générales qui passent le quatrième degré" (PDF) , in Sylow, Ludwig ; Lie, Sophus (eds.), Œuvres Complètes de Niels Henrik Abel (in French), vol. I (2nd ed.), Grøndahl & Søn , pp. 66–87
^ Tignol, Jean-Pierre (2001). Galois' Theory of Algebraic Equations . World Scientific. pp. 232 –3, 302. ISBN 978-981-02-4541-2 .
^ Viktor Prasolov and Yuri Soloviev (1997), "Elliptic Functions and Elliptic Integrals" (PDF) , arXiv: General Mathematics , retrieved 2023-06-24
^ N. Bagis (2012-02-22), "Evaluation of Fifth Degree Elliptic Singular Moduli", arXiv: General Mathematics , S2CID 53372341
^ Tomas Johansson (1998-06-12), "Analytic Solutions to Algebraic Equations" (PDF) , arXiv: General Mathematics , retrieved 2023-06-24
Milton Abramowitz and Irene A. Stegun, Handbook of Mathematical Functions , (1964) Dover Publications, New York. OCLC 1097832 . See sections 16.27.4 and 17.3.17. 1972 edition: ISBN 0-486-61272-4
Tom M. Apostol , Modular Functions and Dirichlet Series in Number Theory, Second Edition (1990), Springer, New York ISBN 0-387-97127-0
Folkmar Bornemann, Dirk Laurie, Stan Wagon and Jörg Waldvogel, Vom Lösen numerischer Probleme , page 275
Edmund Taylor Whittaker and George Neville Watson : A Course in Modern Analysis, 4th ed. Cambridge, England: Cambridge University Press, 1990. page 469–470.
Toshio Fukushima: Fast Computation of Complete Elliptic Integrals and Jacobian Elliptic Functions . 2012, National Astronomical Observatory of Japan (国立天文台)
Lowan, Blanch and Horenstein: On the Inversion of the q-Series Associated with Jacobian Elliptic Functions . Bull. Amer. Math. Soc. 48, 1942
H. Ferguson, D. E. Nielsen, G. Cook: A partition formula for the integer coefficients of the theta function nome . Mathematics of computation, Volume 29, number 131, Juli 1975
J. D. Fenton and R. S. Gardiner-Garden: Rapidly-convergent methods for evaluating elliptic integrals and theta and elliptic functions . J. Austral. Math. Soc. (Series B) 24, 1982, page 57
Charles Hermite: Sur la résolution de l'Équation du cinquiéme degré Comptes rendus . Acad. Sci. Paris, Nr. 11, 1858
Nikolaos Bagis: On the solution of the general quintic using the Rogers–Ramanujan continued fraction . Pella, Makedonien, Griechenland, 2015
Nikolaos Bagis: Solution of Polynomial Equations with Nested Radicals . Pella, Makedonien, Griechenland, 2020
Viktor Prasolov (Прасолов) und Yuri Solovyev (Соловьёв): Elliptic Functions and Elliptic Integrals . Volume 170, Rhode Island, 1991. pages 149 – 159
Sun Zhi-Hong: New congruences involving Apery-like numbers . Huaiyin Normal University, Huaian (淮安), China, 2020. page 2
Robert Fricke: Die elliptischen Funktionen und ihre Anwendungen: Dritter Teil . Springer-Verlag Berlin Heidelberg, 2012. ISBN 978-3-642-20953-6, ISBN 978-3-642-20954-3 (eBook)
Adolf Kneser: Neue Untersuchung einer Reihe aus der Theorie der elliptischen Funktionen . J. reine u. angew. Math. 157, 1927. pages 209 – 218
G. P. Young: Solution of Solvable Irreducible Quintic Equations, Without the Aid of a Resolvent Sextic . In: Amer. J. Math. Band 7, pages 170–177, 1885.
C. Runge: Über die auflösbaren Gleichungen von der Form x 5 + u x + v = 0 {\displaystyle x^{5}+ux+v=0} x^{5}+ux+v=0 . In: Acta Math. Band 7, pages 173–186, 1885, doi:10.1007/BF02402200.
Edward Neuman: Two-sided inequalitites for the lemniscate functions. Volume 1, Southern Illinois University Carbondale , USA, 2014.
Ji-en Deng und Chao-ping Chen: Sharp Shafer–Fink type inequalities for Gauss lemniscate functions. Universität Henan (河南大学), China, 2014.
Jun-Ling Sun und Chao-ping Chen: Shafer-type inequalities for inverse trigonometric functions and Gauss lemniscate functions. Universität Henan, China, 2016.
Minjie Wei, Yue He and Gendi Wang: Shafer–Fink type inequalities for arc lemniscate functions . Zhejiang Sci-Tech University, Hangzhou, China, 2019