
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}.