Is there a closed form for the double sum with least common multiple: $$\sum_{n \geq 1} \sum_{k \geq 1} \frac{1}{\text{lcm}^3 (n,k)}$$

For truncated sums, Mathematica gives:

$$\sum_{n = 1}^{2500} \sum_{k = 1}^{2500} \frac{1}{\text{lcm}^3 (n,k)}=1.707289827$$

$$\sum_{n = 1}^{5000} \sum_{k = 1}^{5000} \frac{1}{\text{lcm}^3 (n,k)}=1.707290976$$

$$\sum_{n = 1}^{10000} \sum_{k = 1}^{10000} \frac{1}{\text{lcm}^3 (n,k)}=1.707291287$$

It's very close to $1+1/ \sqrt{2}$, but not quite.

By the way, how do we prove it converges?

  • 1
    $\begingroup$ Convergence follows from $\text{lcm}(n,k)\geq \sqrt{nk}$ giving $\frac{1}{\text{lcm}^3(n,k)}\leq \frac{1}{n^{3/2}k^{3/2}}$ and the sum is bounded by $(\sum \frac{1}{n^{3/2}})^2 = \zeta^2(3/2)$. $\endgroup$ – Winther Feb 19 '17 at 0:09
  • 3
    $\begingroup$ there is this link mathoverflow.net/questions/33600/… $\endgroup$ – zwim Feb 19 '17 at 0:14
  • 1
    $\begingroup$ @zwim, thank you! So, apparently, the closed form is $$\frac{\zeta ^3 (3)}{\zeta(6)}=1.707291401$$ $\endgroup$ – Yuriy S Feb 19 '17 at 0:17
  • $\begingroup$ The text is not clear, I don't know if it is a bound or exact value. Seems last = symbol when going from gcd(u,v)=1 to u,v=1 should be $\le$ instead. typo or not typo ? $\endgroup$ – zwim Feb 19 '17 at 0:20
  • $\begingroup$ @zwim, note that the question you linked asks for a finite sum, which is why this answer talks about bound $\endgroup$ – Yuriy S Feb 19 '17 at 0:21

For any $m\geq 1$, the number of couples $(n,k)$ such that $\text{lcm}(n,k)=m$ can be easily understood. Assuming that the factorization of $m$ is given by $p_1^{\alpha_1}\cdots p_k^{a_k}$, there are $(2\alpha_1+1)\cdots (2\alpha_k+1)$ such couples. If we denote with $g(u)$ the multiplicative function whose value at $p^\alpha$ is $2\alpha+1$, the original series equal the Dirichlet series: $$ \sum_{m\geq 1}\frac{g(m)}{m^3}=\prod_{p\in\mathcal{P}}\left(1+\frac{g(p)}{p^3}+\frac{g(p^2)}{p^6}+\frac{g(p^3)}{p^9}+\ldots\right)=\prod_{p\in\mathcal{P}}\left(1-\frac{1}{p^6}\right)\left(1-\frac{1}{p^3}\right)^{-3} $$ that can be easily represented in closed form, $\color{red}{\large\frac{\zeta(3)^3}{\zeta(6)}}$, through Euler's product.

In a similar way:

$$\forall s>1,\qquad \sum_{m,n\geq 1}\frac{1}{\text{lcm}(m,n)^s} = \sum_{m\geq 1}\frac{g(m)}{m^s}=\color{red}{\frac{\zeta(s)^3}{\zeta(2s)}}.$$


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.