Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I can't solve following exercise in a note about prime numbers. I need this for study about large gaps of consecutive prime numbers.

Prove that f $0<1-\delta<1$ then

$$\sum_{p\le y}\frac{1}{p^{1-\delta}}\le\frac{y^\delta}{\log(y^\delta)}+\log(1/\delta)+O\left(\frac{y^\delta}{\delta(\log y)^2}+1\right)$$.

In the note, a hint was given, that is "Split the sum at $p\le e^{2/\delta}$". How this estimate can be proven?

share|improve this question
    
I think spliting at e^{1/\delta} is perhaps easier to prove js's estimation $p^\delta=1+O(\delta\log p)$. Thank the answers very much. –  Yuta Suzuki Jul 31 '12 at 4:07
add comment

3 Answers

up vote 1 down vote accepted

I only get
$$\sum_{p\le y}\frac{1}{p^{1-\delta}}\le \frac{y^{\delta}}{\log(y^\delta)} +e^2\log(1/\delta)+O\Bigl(\frac{y^\delta}{\delta^2(\log y)^2}+1\Bigr).$$

The first sum is $$\sum_{p\le e^{2/\delta}}\frac{1}{p^{1-\delta}}= \sum_{p\le e^{2/\delta}}\frac{p^\delta}{p}\le e^2 \sum_{p\le e^{2/\delta}}\frac{1}{p}$$ and applying the known bound on the sum of reciprocal of primes we get $$e^2\log\log e^{2/\delta}+ C+O{(\log x)^{-1}}= e^2\log(1/\delta)+O(1).$$

For the second sum for $2^{1/\delta}<p\le y$ we have

$$= \frac{\pi(y)}{y^{1-\delta}}- \frac{\pi(2^{1/\delta})}{2^{(1-\delta)/\delta}}+(1-\delta)\int_{2^{1/\delta}}^y\pi(t) t^{-2+\delta}\,dt\le$$ $$\le \frac{y^\delta}{y}\Bigl(\frac{y}{\log y}+O(y/(\log y)^2)\Bigr)+ (1-\delta)\int_{2^{1/\delta}}^y\frac{t}{\log t} t^{-2+\delta}\,dt+$$ $$O\Bigl(\int_{2^{1/\delta}}^y\frac{t}{(\log t)^2} t^{-2+\delta}\,dt\Bigr)=$$ $$\le\frac{y^{\delta}}{\log y}+O\Bigl(\frac{y^{\delta}}{(\log y)^2}\Bigr)+ \frac{1-\delta}{\delta}\frac{y^\delta}{\log y}+ O\Bigl(\frac{y^\delta}{\delta^2(\log y)^2}\Bigr).$$

share|improve this answer
    
Thank you so much for your answer. I understand almost all your calculation, but I can't understand your estimation of integral $\int_{e^{2/\delta}}^y\frac{t}{\log t}t^{-2+\delta}dt$. I think this can be estimated by twice partial integration. Your estimation of this integral is like mine? Sorry for asking very easy question. –  Yuta Suzuki Jul 31 '12 at 3:45
add comment

By juan's answer above, one only needs to show $\sum_{p \leq e^{\frac{2}{\delta}}} \frac{1}{p^{1-\delta}} \leq \log \frac{1}{\delta} + O(1) $. But by estimating $p^{\delta} = 1 + O( \delta \log p )$, this sum is $$ \sum_{p \leq e^{\frac{2}{\delta}}} \frac{1}{p} + O( \delta \sum_{p \leq e^{\frac{2}{\delta}}} \frac{\log p}{p}) = \log \frac{1}{\delta} + O(1 + \delta \times \frac{1}{\delta}) = \log \frac{1}{\delta} + O(1 )$$

share|improve this answer
    
Thank you so much. I couldn't notice $p^\delta=1+O(\delta\log p)$. –  Yuta Suzuki Jul 31 '12 at 4:04
add comment

It looks to me like the intended method is to use the loglog divergence of the sum of the reciprocals of the primes on the first sum, and then presumably the Prime Number Theorem with error term on the second. I'll admit that using a crude estimate on the first sum doesn't quite get the second term on the right hand side, so perhaps a further splitting is needed.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.