6
$\begingroup$

Inspired by this question Is there a known asymptotic for $A(x):=\sum_{1\leq i,j \leq X} \frac{1}{\text{lcm}(i,j)}$? I tried to find the asymptotic of the following function. $$ \Lambda(x)=\sum_{\substack{ 1 \leq m,n \leq x \\ \text{gcd}(m,n)=1}} \frac{1}{mn}. $$ My approach: $$ \left(\sum_{1\leq k \leq x} \frac{1}{k}\right)^2=\sum_{1\leq l \leq x} \frac{\Lambda\big(\frac{x}{l}\big)}{l^2}\label{1}\tag{1} $$ Now, $$ f(x)=\left(\sum_{1\leq k \leq x} \frac{1}{k}\right)^2≈(\ln(x)+\gamma)^2 $$ From, \eqref{1} can establish the approximate identity
$$ 2f(x)-\Lambda(x)≈ 2\int_{1}^{x} \frac{\Lambda(\frac{x}{t})}{t^2} dt \label{2}\tag{2}$$ or, $$ 2f(x)-\Lambda(x)≈ \frac{2}{x}\int_{1}^{x} {\Lambda(\varphi)} d\varphi $$ Using the Newton-Leibniz rule we get

$$x\Lambda'(x)+3\Lambda(x)≈4(\ln(x)+\gamma)+2(\ln(x)+\gamma)^2$$

Solving this differential equation we get, $$ \Lambda(x)≈\frac{2}{3}\ln^2(x)+\left(\frac{8}{9}+\frac{4}{3}\gamma\right)\ln(x)+\left(\frac{2}{3}\gamma^2+\frac{8}{9}\gamma-\frac{8}{27}\right)+\frac{c_1}{x^3} $$ ($c_1$ is the integral constant, for large $x$ this term can be neglected).

My question: Is the asymptotic formula correct? If not, then how to find the asymptotic of the function $\Lambda(x)$?

Is the method correct?

Edit: Though the answer comes wrong with the relation \eqref{2} , but if we use the identity involving the equation $A(x)$ instead of ${\zeta_x}^2(1)=\tau(x)$, then we get the correct answer (the leading term). The approximation \eqref{2} works well here. See my answer below.

$\endgroup$
  • $\begingroup$ Experimentally (with Mathematica, defining \[CapitalLambda][x_]:=Sum[1/Times@@mn,{mn,Select[Tuples[Range[x],2],CoprimeQ@@#&]}])$$x^3\left(\Lambda(x)-\left(\frac{2}{3}\ln^2(x)+\left(\frac{8}{9}+\frac{4}{3}\gamma\right)\ln(x)+\left(\frac{2}{3}\gamma^2+\frac{8}{9}\gamma-\frac{8}{27}\right)\right)\right)$$goes like$$0.561097,0.72963,-1.77106,-22.5681,-41.879,-140.577,-202.573,-384.69,-575.653,-962.996,-1180.86,-1858.96,-2198.3,-3077.97,-3986.3,-5207.03,-5898.68,-7809.84,-8719.26,-10982.,-13018.1,-15792.3,-17282.4,-21169.4,-23506.3,...$$ Does not look like this will tend to a finite limit $c_1$ $\endgroup$ – მამუკა ჯიბლაძე Aug 20 at 5:42
  • 1
    $\begingroup$ @მამუკაჯიბლაძე: The asymptotic formula in the original post is incorrect, even the leading term is incorrect. For the correct asymptotics, see my post. $\endgroup$ – GH from MO Aug 20 at 7:08
  • $\begingroup$ @GHfromMO I see, thanks. Would it be difficult to determine the constant in your $O$ term? $\endgroup$ – მამუკა ჯიბლაძე Aug 20 at 9:11
  • 1
    $\begingroup$ @მამუკაჯიბლაძე: I updated my post to include the second main term. It is $C\log x$, where $C=1.3947995\dots$. $\endgroup$ – GH from MO Aug 20 at 10:50
  • 2
    $\begingroup$ @GHfromMO Spectacular! Thanks $\endgroup$ – მამუკა ჯიბლაძე Aug 20 at 12:46
14
$\begingroup$

We have, for $x\geq 2$, \begin{align*} \sum_{\substack{ 1 \leq m,n \leq x \\ \mathrm{gcd}(m,n)=1}} \frac{1}{mn} &=\sum_{1 \leq m,n \leq x}\frac{1}{mn}\sum_{k\mid\mathrm{gcd}(m,n)}\mu(k)\\ &=\sum_{1\leq k\leq x}\mu(k)\sum_{\substack{ 1 \leq m,n \leq x \\ k\mid\mathrm{gcd}(m,n)}} \frac{1}{mn}\\ &=\sum_{1\leq k\leq x}\frac{\mu(k)}{k^2}\left(\sum_{1\leq m\leq x/k}\frac{1}{m}\right)^2\\ &=\sum_{1\leq k\leq x}\frac{\mu(k)}{k^2}\left(\log\frac{x}{k}+\gamma+O\left(\frac{k}{x}\right)\right)^2\\ &=\sum_{1\leq k\leq x}\frac{\mu(k)}{k^2}\left(\log^2\frac{x}{k}+2\gamma\log\frac{x}{k}+O(1)\right)\\ &=\sum_{1\leq k\leq x}\frac{\mu(k)}{k^2}\left(\log^2 x-2\log x\log k+2\gamma\log x+O(\log^2 k)\right)\\ &=S_1(x)(\log^2 x+2\gamma\log x)-S_2(x)(2\log x)+O(1), \end{align*} where \begin{align*} S_1(x)&:=\sum_{1\leq k\leq x}\frac{\mu(k)}{k^2}=\frac{6}{\pi^2}+O\left(\frac{1}{x}\right),\\ S_2(x)&:=\sum_{1\leq k\leq x}\frac{\mu(k)\log k}{k^2}=\frac{36\zeta'(2)}{\pi^4}+O\left(\frac{\log x}{x}\right). \end{align*}

We conclude that, for $x\geq 2$, $$\sum_{\substack{ 1 \leq m,n \leq x \\ \mathrm{gcd}(m,n)=1}} \frac{1}{mn}= \frac{6}{\pi^2}\log^2 x+C\log x+O(1),$$ where $$C:=\frac{12\gamma}{\pi^2}-\frac{72\zeta'(2)}{\pi^4}=1.3947995\dots$$

| cite | improve this answer | |
$\endgroup$

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.