Encontrar la asintótica de la función $\Lambda(x):=\sum_{1 \leq m,n \leq x \,\land \,\gcd(m,n)=1} \frac{1}{mn}$
Inspirado por esta pregunta ¿Existe una asintótica conocida para$A(x):=\sum_{1\leq i,j \leq X} \frac{1}{\text{lcm}(i,j)}$? Intenté encontrar la asintótica de la siguiente función.$$ \Lambda(x)=\sum_{\substack{ 1 \leq m,n \leq x \\ \text{gcd}(m,n)=1}} \frac{1}{mn}. $$ Mi acercamiento: $$ \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} $$ Ahora, $$ f(x)=\left(\sum_{1\leq k \leq x} \frac{1}{k}\right)^2≈(\ln(x)+\gamma)^2 $$ Desde, \ eqref {1} puede establecer la identidad aproximada
$$ 2f(x)-\Lambda(x)≈ 2\int_{1}^{x} \frac{\Lambda(\frac{x}{t})}{t^2} dt \label{2}\tag{2}$$ o, $$ 2f(x)-\Lambda(x)≈ \frac{2}{x}\int_{1}^{x} {\Lambda(\varphi)} d\varphi $$ Usando la regla de Newton-Leibniz obtenemos
$$x\Lambda'(x)+3\Lambda(x)≈4(\ln(x)+\gamma)+2(\ln(x)+\gamma)^2$$
Resolviendo esta ecuación diferencial obtenemos, $$ \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$ es la constante integral, para grandes $x$ este término puede pasarse por alto).
Mi pregunta: ¿Es correcta la fórmula asintótica? Si no es así, ¿cómo encontrar la asintótica de la función?$\Lambda(x)$?
¿Es correcto el método?
Editar: Aunque la respuesta es incorrecta con la relación \ eqref {2}, pero si usamos la identidad que involucra la ecuación $A(x)$ en vez de ${\zeta_x}^2(1)=\tau(x)$, entonces obtenemos la respuesta correcta (el término principal). La aproximación \ eqref {2} funciona bien aquí. Vea mi respuesta a continuación.
Respuestas
Tenemos, para $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*} dónde \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*}
Concluimos que, por $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),$$ dónde $$C:=\frac{12\gamma}{\pi^2}-\frac{72\zeta'(2)}{\pi^4}=1.3947995\dots$$