# Bounding the series $\sum_{m\leq x,m\neq n}\frac{1}{|\log(m/n)|}$

I am trying to reproduce the following bound:

$\sum_{1\leq m\leq x, m\neq n}\frac{1}{|\log(m/n)|}=O(x\log(x))$,

for $x\geq 2$ and some $n$, $1\leq n\leq x$ (the implicit constant shouldn't depend on $n$).

I have tried to bound each term by $\frac{1}{|\log(1\pm 1/x)|}$, but this doesn't seem to be good enough. Splitting the sum at $\log(x)$ also didn't help. Any ideas?

Thank you very much for your comments or hints.

-

I think you may need to split it at kn for some constant k.  The sum up to kn will not depend on x, so is negligible as x gets very large (but will grow with n).  Above kn you can change over to an integral.  Hope this helps-I haven't checked that it works. – Ross Millikan Nov 7 '10 at 23:33
sorry, "fixed $n$", was imprecise, I should be able to choose e.g. $n=x$ and this bound should still hold. – Troy K. Nov 8 '10 at 0:42

## 2 Answers

This answer corresponds to the original question, where $n$ was assumed fixed.

Considering the corresponding integral $\int_a^x {\frac{{du}}{{\log (u/n)}}} = n\int_{a/n}^{x/n} {\frac{{du}}{{\log (u)}}}$ (where $a$ is some constant) and the fact that the logaritmic integral function li(x) is $O(x/\log(x))$ as $x \to \infty$, your bound should be $O(x/\log(x))$ (and not $O(x\log(x))$.

-

Thanks, sorry about the confusion with the "fixed $n$". – Troy K. Nov 8 '10 at 1:10

Assuming $1\leq n \leq x$, split the sum into two parts, $1\leq m <n$ and $n<m\leq x$.

To handle the first part, make the variable change $m\to n-k$, and notice that $$\sum_{1\leq m <n } \frac{1}{|\log\frac{m}{n}|} = - \sum_{1\leq k \leq n-1} \frac{1}{\log\frac{n-k}{n}}.$$ Since $-\log\frac{n-k}{n} > \frac{k}{n}$ for $1\leq k \leq n-1$, this last sum is $$< n \sum_{1\leq k \leq n-1} \frac{1}{k} = O(n\log n) = O(x\log x).$$

The second part can be handled similarly making the variable change $m\to n+k$.

Remark: Out of curiosity, are you computing moments of the Riemann zeta-function?

-

– Troy K. Mar 6 '11 at 18:43
{"extraction_info": {"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": 25, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9333580136299133, "perplexity_flag": "head"}