함수의 점근선 찾기 $\Lambda(x):=\sum_{1 \leq m,n \leq x \,\land \,\gcd(m,n)=1} \frac{1}{mn}$

Aug 20 2020

이 질문에서 영감을 얻었 습니다.$A(x):=\sum_{1\leq i,j \leq X} \frac{1}{\text{lcm}(i,j)}$? 다음 함수의 점근을 찾으려고 노력했습니다.$$ \Lambda(x)=\sum_{\substack{ 1 \leq m,n \leq x \\ \text{gcd}(m,n)=1}} \frac{1}{mn}. $$ 내 접근 방식 : $$ \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} $$ 지금, $$ f(x)=\left(\sum_{1\leq k \leq x} \frac{1}{k}\right)^2≈(\ln(x)+\gamma)^2 $$ 에서 \ eqref {1}는 대략적인 ID를 설정할 수 있습니다.
$$ 2f(x)-\Lambda(x)≈ 2\int_{1}^{x} \frac{\Lambda(\frac{x}{t})}{t^2} dt \label{2}\tag{2}$$ 또는, $$ 2f(x)-\Lambda(x)≈ \frac{2}{x}\int_{1}^{x} {\Lambda(\varphi)} d\varphi $$ Newton-Leibniz 규칙을 사용하면

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

이 미분 방정식을 풀면, $$ \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$ 적분 상수입니다. $x$ 이 용어는 무시할 수 있습니다.)

내 질문 : 점근 공식이 맞습니까? 그렇지 않은 경우 함수의 점근을 찾는 방법$\Lambda(x)$?

방법이 맞습니까?

편집 : \ eqref {2} 관계에 대한 대답이 잘못되었지만 방정식과 관련된 정체성을 사용하면 $A(x)$ 대신에 ${\zeta_x}^2(1)=\tau(x)$, 그러면 우리는 정답 (선두 용어)을 얻습니다. 근사값 \ eqref {2}가 여기서 잘 작동합니다. 아래 내 대답을 참조하십시오 .

답변

14 GHfromMO Aug 20 2020 at 10:31

우리는 $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*} 어디 \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*}

우리는 $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),$$ 어디 $$C:=\frac{12\gamma}{\pi^2}-\frac{72\zeta'(2)}{\pi^4}=1.3947995\dots$$