3
$\begingroup$

Let $k$ be fixed and consider the sum $$F(k,n)=\sum_{p_1<p_2<\cdots<p_k\leq n~:~p_1 p_2\cdots p_k\leq n} \frac{1}{p_1 p_2 \cdots p_k}.$$ Are tight upper and lower bounds on $F(k,n)$ known as $n\rightarrow \infty$? One approximation to the sum might be $$\left( \sum_{p\leq n^{1/k}} \frac{1}{p}\right)^k\approx \left[\log \left (\frac{1}{k} \log n\right)\right]^k=\left[\log \log n -\log k\right]^k $$but I am unsure how good this approximation is.

Now, let $k$ vary very slowly with $n$, say $k=c \log \log n.$ Do the answer(s) (if known) change?

$\endgroup$

1 Answer 1

3
$\begingroup$

Let $\pi_k(x)$ be the number of integers $\leq x$ with exactly $k$ prime factors. In the range $k<e\log\log x$, an asymptotic formula for $\pi_k(x)$ was given by Sathe (J. Indian Math. Soc. (N.S.) 17, (1953), 63–82). Selberg (J. Indian Math. Soc. (N.S.) 18, (1954), 83–87) gave a much simpler proof. Sifting out non-squarefree values and applying partial summation you obtain an asymptotic formula for $F(k, n)$ in the same range.

For small values of $k$, your argument actually gives an asymptotic formula. If $G(k, n)$ denotes the sum without the restriction that the $p_i$ are different and increasing, we have $$ \left(\sum_{p\leq n^{1/k}}\frac{1}{p}\right)^k\leq G(k, n)\leq\left(\sum_{p\leq n}\frac{1}{p}\right)^k, $$ thus the known bound for $\sum_{p\leq x}\frac{1}{p}$ give an asymptotic formula for $G(k, n)$, provided that $(\log\log n-\log k)^k\sim(\log\log n)^k$, that is, $k=o(\frac{\log\log n}{\log\log\log n})$. Passing from $G$ to $F$ takes some work, but is elementary.

$\endgroup$
7
  • 1
    $\begingroup$ Thanks. I don't understand your two inequalities, is there meant to be exponents on either expression? $\endgroup$
    – kodlu
    Commented Dec 16, 2015 at 20:34
  • 1
    $\begingroup$ Yes, the exponent $^{1/k}$ in the left sum was missing. $\endgroup$ Commented Dec 17, 2015 at 21:32
  • $\begingroup$ Thanks. I can't access the Sathe or Selberg papers. Could you suggest a number theory text or a more accessible article which covers the derivation you refer to as "elementary"? $\endgroup$
    – kodlu
    Commented Dec 17, 2015 at 22:10
  • $\begingroup$ @Jan-Cristoph Schlage-Puchta, In particular, I can see the left sum is asymptotically $\log \log(n^{1/k})=-\log(k)+\log \log n$ (ignoring the Massel-Merteens constant) which becomes $\log\log n -\log\log\log n$ if $k=\log\log n.$ Is this correct? It's the upper bound that is more involved, I think. $\endgroup$
    – kodlu
    Commented Dec 17, 2015 at 22:26
  • $\begingroup$ Now it should be correct. You essentially get $(\log\log n-\log k)^k\leq G(k,n)\leq (\log\log n)^k$. To pass from $G$ to $F$ you have to delete terms with repeating primes, and divide by $k!$ to take care of the ordering. For small $k$ you can bound the contribution of non-squarefree integers by $G(n,k-2)\binom{k}{2}\sum_p\frac{1}{p^2}$. (Pick a prime $p$ which occurs twice, pick the places where it occurs.) For $k$ much smaller than $\sqrt{\log\log n}$ this gives an asymptotic formula for $F(n,k)$. As $k$ gets larger, things get messier. $\endgroup$ Commented Dec 17, 2015 at 22:39

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .