4
$\begingroup$

Let $ f: \mathbb{N} \to \mathbb{N} $ be a number-theoretic function satisfying $ f(xy) = f(x) + f(y) $ whenever $ \gcd(x,y) = 1 $.

How can I prove that $$ \sum_{\substack{p ~ \text{prime}; \\ p \leq n}} f(p) \frac{p}{n} \bigg\lceil \frac{n}{p} \bigg\rceil \left\{ \frac{n}{p} \right\} \sim \frac{1}{2} \sum_{\substack{p ~ \text{prime}; \\ p \leq n}} f(p), $$ i.e., the ratio of these two sums, as $ n $ tends to $ \infty $, is equal to $ 1 $?

Notation: $ \lceil \cdot \rceil $ denotes the ceiling function, and $ \{ \cdot \} $ the fractional-part function.

If someone could just simplify the problem, not even necessarily prove it, I would greatly appreciate it.

Also, I don't know if the following relations might help in a proof/simplification: \begin{align} \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \frac{k}{n} \bigg\lceil \frac{n}{k} \bigg\rceil \left\{ \frac{n}{k} \right\} &= \frac{1}{2}, \\ \lim_{n \to \infty} \frac{1}{n} \sum_{\substack{p ~ \text{prime}; \\ p \leq n}} \frac{p}{n} \bigg\lceil \frac{n}{p} \bigg\rceil \left\{ \frac{n}{p} \right\} &= \frac{1}{2}. \end{align}

  • 1
    you think you can spare "at least" in your first line ? what does that mean?2012-12-24
  • 0
    It means thats the only property it has to satisfy, other then that, it can satisfy any propertys you want, for example the natural logarithm satisfies those conditions because not only does it satisfy $ln(ab)=ln(a)+ln(b)$, when gcd(a,b)=1, it also does it when gcd(a,b) is not equal to one.2012-12-24
  • 4
    Ethan, when you ask a question, please do not use non-standard abbreviations. For example, not many people know that 'idk' means 'I don't know'. Also, please keep the question and comments about notation separate. It is not advisable to bunch them together in a single sentence.2012-12-27
  • 0
    I don't understand what your saying2012-12-27
  • 1
    (1) You wrote 'Also, idk if the following relations might help...', so I replaced 'idk' by 'I don't know'. (2) You asked how you could prove that the ratio is $ 1 $ and then tried to explain the meaning of $ \lceil \cdot \rceil $ and $ \{ \cdot \} $, all in one sentence! Such practice is not part of good mathematical exposition. Try to separate your question from comments about notation that you have used. Readers aren't in a rush to read your post, so you don't have to worry if they are unfamiliar with notation that you intend to explain right after the question is posed.2012-12-27

1 Answers 1