Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This question is a more specific question related to http://mathoverflow.net/questions/69900/asymptotics-for-the-number-of-ways-to-sum-primes-such-that-the-sum-is-n

I am looking for a lower bound (that is tight as possible) for the integral $\int_{2}^n e^{\sqrt{x/\log{x}}} dx.$ Unfortunatelly, $e^{\sqrt{x/\log{x}}}$ is not integrable, so one has to bound it first and then evalute the integral of the bounded function. For example $$\int_{2}^n e^{\sqrt{x/\log{x}}} \geq \int_{2}^n e^\sqrt[3]{x} dx = O(n^{\frac{2}{3}}e^{\sqrt[3]{n}}) $$

The bound obtained above is inferior to $e^{\sqrt{n/\log{n}}}$, so I should either find a better bound for the integrated function, or perhaps use another (unknown to me) trick to bound the stated integral.

Any suggestions are appreciated!

share|improve this question
2  
The statement that $e^{\sqrt{x/\log{x}}}$ is not integrable at least misleading (if not wrong)... –  Fabian Jul 20 '11 at 20:52

2 Answers 2

up vote 6 down vote accepted

I can give you better then upper and lower bounds. We can find a precise asymptotic.

Proposition: I claim that $$ \int_2^n \exp \left(\sqrt{\frac{x}{\log x}}\right)\sim 2\sqrt{n\log n}\exp\left(\sqrt{\frac{n}{\log n}}\right)$$ as $n\rightarrow \infty$.

Proof: Let $$f(x)=2\sqrt{x\log x}\exp\left(\sqrt{\frac{x}{\log x}}\right)$$ be the claimed asymptotic function. Then we need to prove that the limit $$\lim_{n\rightarrow\infty} \frac{\int_2^n \exp \left(\sqrt{\frac{x}{\log x}}\right)}{f(n)}$$ is equal to $1$.

To do this, we apply l'Hopitals rule. Computing we find $$f^{'}(x)=\frac{1}{\sqrt{x\log x}}\left(\log x+1\right)\exp\left(\sqrt{\frac{x}{\log x}}\right)$$ $$+2\sqrt{x\log x}\exp\left(\sqrt{\frac{x}{\log x}}\right)\left(\frac{1}{2}\sqrt{\frac{\log x}{x}}\left(\frac{1}{\log x}-\frac{1}{\left(\log x\right)^{2}}\right)\right).$$ Notice that we can rewrite this as $$f^{'}(n)=\left(1+o(1)\right)\exp\left(\sqrt{\frac{n}{\log n}}\right).$$

The fundamental theorem of calculus tells us that $$\frac{d}{dn}\int_{2}^{n}\exp\left(\sqrt{\frac{x}{\log x}}\right)dx=\exp\left(\sqrt{\frac{n}{\log n}}\right).$$ Hence l'Hopitals rule implies the original limit is $1$, and the result is proven.

share|improve this answer
    
That's very nice! –  Jernej Jul 20 '11 at 21:12

If one writes $I_n$ for the integral from $2$ to $n$, obvious nonasymptotic bounds are $$ \exp\left(\sqrt{(n-1)/\log(n)}\right)\le I_n\le (n-2)\exp\left(\sqrt{n/\log(n)}\right), $$ for every $n\ge3$. In particular, $\displaystyle\log\left(I_n\right)=(1+o(1))\sqrt{n/\log(n)}$.

share|improve this answer

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.