In mathematics, the Euler function is given by
infty | |
\phi(q)=\prod | |
k=1 |
(1-qk), |q|<1.
p(k)
1/\phi(q)
1 | |
\phi(q) |
infty | |
=\sum | |
k=0 |
p(k)qk
p
The Euler identity, also known as the Pentagonal number theorem, is
infty | |
\phi(q)=\sum | |
n=-infty |
(-1)n
(3n2-n)/2 | |
q |
.
(3n2-n)/2
The Euler function is related to the Dedekind eta function as
\phi(e2\pi)=e-\piη(\tau).
The Euler function may be expressed as a q-Pochhammer symbol:
\phi(q)=(q;q)infty.
The logarithm of the Euler function is the sum of the logarithms in the product expression, each of which may be expanded about q = 0, yielding
ln(\phi(q))=
| ||||
-\sum | ||||
n=1 |
qn | |
1-qn |
,
which is a Lambert series with coefficients -1/n. The logarithm of the Euler function may therefore be expressed as
ln(\phi(q))=
infty | |
\sum | |
n=1 |
bnqn
where
bn=-\sumd|n
1 | |
d |
=
On account of the identity
\sigma(n)=\sumd|nd=\sumd|n
n | |
d |
\sigma(n)
ln(\phi(q))=
infty | |
-\sum | |
n=1 |
\sigma(n) | |
n |
qn
Also if
a,b\inR+
ab=\pi2
a1/4e-a/12\phi(e-2a)=b1/4e-b/12\phi(e-2b).
The next identities come from Ramanujan's Notebooks:[2]
\phi(e-\pi)=
| ||||||||||
27/8\pi3/4 |
\phi(e-2\pi)=
| ||||||||||
2\pi3/4 |
\phi(e-4\pi)=
| ||||||||||
2{11/8 |
\pi3/4
\phi(e-8\pi)=
| ||||||||||
229/16\pi3/4 |
(\sqrt{2}-1)1/4
Using the Pentagonal number theorem, exchanging sum and integral, and then invoking complex-analytic methods, one derives
1\phi(q)dq | |
\int | |
0 |
=
| ||||||
\pi |
\sinh\left(
\sqrt{23 | |
\pi |
}{6}\right)}{2\cosh\left(
\sqrt{23 | |
\pi |
}{3}\right)-1}.