# asymptotic for li(x)-Ri(x)

Is it true that $$\operatorname{li}(x)-\operatorname{Ri}(x) \sim \frac{1}{2}\operatorname{li}(x^{1/2}) \ (x \to \infty),$$ where $$\operatorname{Ri}(x) = \sum_{n = 1}^\infty \frac{\mu(n)}{n} \operatorname{li}(x^{1/n}) = 1 + \sum_{k = 1}^\infty \frac{(\log x)^k}{k \cdot k!\ \zeta(k+1)}$$ for all $x > 0$? If so, how can one prove the given asymptotic?

Note that \begin{align}\label{lirieq} \lim_{x \to \infty} \frac{\operatorname{li}(x) - \operatorname{Ri}(x)}{\frac{1}{2}\operatorname{li}(x^{1/2})} = 1- 2\lim_{x \to \infty} \sum_{n = 3}^\infty \frac{\mu(n)}{n}\frac{\operatorname{li}(x^{1/n})}{\operatorname{li}(x^{1/2})} = 1-2\sum_{n = 3}^\infty \lim_{x \to \infty} \frac{\mu(n)}{n}\frac{\operatorname{li}(x^{1/n})}{\operatorname{li}(x^{1/2})} = 1, \end{align} provided that the given limit can be interchanged with the given sum. However, I am unable to justify interchanging the limit with the sum.

Yes, the stated asymptotics (and much more) is true. The idea is to truncate $\operatorname{Ri}(x)$ appropriately.
Let us use the series representation (see here) $$\operatorname{li}(t)=\gamma+\log\log t+\sum_{k=1}^\infty\frac{(\log t)^k}{k\cdot k!},\qquad t>1.$$ This implies $$\operatorname{li}(t)=\gamma+\log\log t+O(\log t),\qquad 1<t<e,$$ hence also $$\operatorname{li}(x^{1/n})=\gamma+\log\log x-\log n+O\left(\frac{\log x}{n}\right),\qquad n>\log x.$$ As a result, for $x>3$ we get \begin{align*}\sum_{n>\log x} \frac{\mu(n)}{n} \operatorname{li}(x^{1/n})&=O(1)+\sum_{n>\log x}\frac{\mu(n)}{n}\left(\gamma+\log\log x-\log n\right)\\[6pt] &=O\left((\log\log x)^2\right)+\sum_{n=1}^\infty\frac{\mu(n)}{n}\left(\gamma+\log\log x-\log n\right)\\[6pt] &=O\left((\log\log x)^2\right).\end{align*} Here we used that $$\sum_{n=1}^\infty\frac{\mu(n)}{n}=0\qquad\text{and}\qquad\sum_{n=1}^\infty\frac{\mu(n)\log n}{n}=-1$$ by the prime number theorem. To summarize so far, $$\operatorname{Ri}(x)=\sum_{n\leq\log x} \frac{\mu(n)}{n} \operatorname{li}(x^{1/n})+O\left((\log\log x)^2\right),\qquad x>3.$$ The error term on the right hand side can probably be improved, but this is not important. In the sum, we detach the first three terms (corresponding to $n=1,2,3$) and estimate the rest trivially. We get $$\operatorname{Ri}(x)=\operatorname{li}(x)-\frac{1}{2}\operatorname{li}(x^{1/2})+O\left(\frac{x^{1/3}}{\log x}\right),\qquad x>3.$$
• Thanks! Your proof yields the stronger fact that the defining series expansion for $\operatorname{Ri}(x)$ is also an asymptotic expansion for $\operatorname{Ri}(x)$ at $\infty$. I suspected this to be true and am glad that your proof confirms it. Strangely I couldn't find a proof of this anywhere in the literature. Aug 19, 2018 at 21:07
Since we have $${\rm Ri}(x)=1+\sum_{k\ge 1}\frac{(\log x)^k}{k\cdot k!\zeta(k+1)},$$ which is convergence absolutely for all $x>0$. Therefore we can use the L'Hospital's rule, and by $$\sum_{n\ge 1}\frac{\mu(n)}{n}=0$$ we have
\begin{align} \lim_{x\rightarrow +\infty}\frac{{\rm li}(x)-{\rm Ri}(x)}{\frac{1}{2}{\rm li}(x^{1/2})}&=\lim_{x\rightarrow +\infty}\frac{\frac{1}{\log x}-\frac{1}{x\log x}\sum_{k\ge 1}\frac{(\log x)^k}{k!\zeta(k+1)}}{\frac{1}{2}\frac{1}{\log(x^{1/2})}\cdot\frac{1}{2}x^{-1/2}}\\ &=\lim_{x\rightarrow +\infty}\left(2\sqrt{x}\left(1-\frac{1}{x}\sum_{k\ge 1}\frac{(\log x)^k}{k!}\sum_{n\ge 1}\frac{\mu(n)}{n^{k+1}}\right)\right)\\ &=\lim_{x\rightarrow +\infty}\left(2\sqrt{x}\left(1-\frac{1}{x}\sum_{n\ge 1}\frac{\mu(n)}{n}(x^{1/n}-1)\right)\right)\\ &=1-2\lim_{x\rightarrow +\infty}\left(\frac{1}{\sqrt{x}}\sum_{n\ge 3}\frac{\mu(n)}{n}(x^{1/n}-1)\right). \end{align} On the other hand, for $x$ sufficiently large, $$\sum_{3\le n\le x}\frac{\mu(n)}{n}(x^{1/n}-1)\ll x^{1/3}\log x$$ and $$\sum_{n>x}\frac{\mu(n)}{n}(x^{1/n}-1)\ll \sum_{n>x}\frac{1}{n}\left(\exp\left(\frac{\log x}{n}\right)-1\right)\ll \sum_{n>x}\frac{\log x}{n^2}\ll 1.$$ Hence we get $$\lim_{x\rightarrow +\infty}\left(\frac{1}{\sqrt{x}}\sum_{n\ge 3}\frac{\mu(n)}{n}(x^{1/n}-1)\right)=0.$$ Which completes the proof.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 2, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://mathoverflow.net/questions/308631/asymptotic-for-lix-rix/308639", "fetch_time": 1701377757000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2023-50/segments/1700679100232.63/warc/CC-MAIN-20231130193829-20231130223829-00879.warc.gz", "warc_record_offset": 424863650, "warc_record_length": 28270, "token_count": 1646, "char_count": 4020, "score": 3.90625, "int_score": 4, "crawl": "CC-MAIN-2023-50", "snapshot_type": "latest", "language": "en", "language_score": 0.45596837997436523, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00008-of-00064.parquet"}