Series with least common multiple.

Number theory
Post Reply
User avatar
Tolaso J Kos
Administrator
Administrator
Posts: 867
Joined: Sat Nov 07, 2015 6:12 pm
Location: Larisa
Contact:

Series with least common multiple.

#1

Post by Tolaso J Kos »

Let ${\rm lcm}$ denote the least common multiple . Prove that for all $s>1$ the following holds:

$$\sum_{m=1}^{\infty} \sum_{n=1}^{\infty} \frac{1}{{\rm lcm}^s(m, n)} = \frac{\zeta^3(s)}{\zeta(2s)}$$
Imagination is much more important than knowledge.
User avatar
Riemann
Posts: 176
Joined: Sat Nov 14, 2015 6:32 am
Location: Melbourne, Australia

Re: Series with least common multiple.

#2

Post by Riemann »

An elementary approach would be as follows:

For all $M \in \mathbb{N}^+$ of the form $M=p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}$ the number of solutions

$$\mathrm{lcm} (m, n) =M$$

is given by $(2a_1+1) (2a_2+1) \cdots (2a_k+1)$. It follows that the given series equals

$$\sum_{M =1}^{\infty} \frac{1}{M^s} \prod_{p| M} \left ( 2 \nu_p(M)+1 \right )$$

and since the function $\prod \limits_{p| M} \left ( 2 \nu_p(M)+1 \right )$ is clearly a multiplicative one , it follows by Euler's product that

\begin{align*}
\sum_{m=1}^{\infty} \sum_{n=1}^{\infty} \frac{1}{{\rm lcm}^s(m, n)} &= \prod_{p \in \mathbb{P}} \left ( 1 + \frac{3}{p^s} + \frac{5}{p^{2s}} + \frac{7}{p^{3s}} + \cdots \right ) \\
&= \prod_{p \in \mathbb{P}} \frac{p^s \left ( p^s+1 \right )}{\left ( p^s-1 \right )^2}\\
&=\prod_{p \in \mathbb{P}} \frac{1-\frac{1}{p^{2s}}}{\left ( 1 - \frac{1}{p^s} \right )^3} \\
&= \frac{\zeta^3(s)}{\zeta(2s)}
\end{align*}
$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_{p \; \text{prime}}\frac{1}{1-p^{-s}}$
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 8 guests