8
$\begingroup$

For a physics problem I'm working on I am struggling with the following integral: $$I(\varepsilon)=\int_0^\infty \frac{x}{ 1+e^{\varepsilon x}\bigl(1+2x^2+2x\sqrt{1+x^2}\bigr) }\,dx,\;\;\varepsilon\geq 0.$$ I have not found a closed-form expression (I don't think it exists), but my main interest is in the small-$\varepsilon$ asymptotics. Since for $\epsilon=0$ the integrand decays for large $x$ as $1/4x$, the leading small-$\varepsilon$ behaviour is logarithmic, $$I(\varepsilon)=-\tfrac{1}{4}\ln\varepsilon+{\cal O}(1).$$
I would want to know the order unity correction, what is the limit $$\lim_{\varepsilon\rightarrow 0}\left[I(\varepsilon)+\tfrac{1}{4}\ln\varepsilon\right]=c_0.$$ A numerical integration gives $c_0\approx -0.096$. Is there an exact value for this coefficient?

$\endgroup$
0

1 Answer 1

6
$\begingroup$

Somehow posting the question forced me to think this through more clearly, and I see that I can now answer it myself:

$$c_0=\tfrac{1}{4} (\ln 2 -\gamma_{\rm{Euler}} -1/2)=-0.0960171\cdots.$$


Derivation: use that $$J(\varepsilon)=\int_0^\infty \frac{e^{-\varepsilon x}}{1+4x}\,dx=-\tfrac{1}{4} e^{\varepsilon/4} \text{Ei}\left(-\varepsilon/4\right)$$ has the same logarithmic asymptotics as $I(\varepsilon)$, $$J(\varepsilon)=\tfrac{1}{4} (-\ln \varepsilon-\gamma_{\rm{Euler}} +2\ln 2)+{\cal O}(\varepsilon).$$ By subtracting $J$ from $I$ we remove the logarithmic term and can then simply take the $\varepsilon\rightarrow 0$ limit, $$I(\varepsilon)-J(\varepsilon)=\tfrac{1}{8} (-1-2\ln 2)+{\cal O}(\varepsilon).$$ Upon combination of these two expansions we arrive at the desired result, $$\lim_{\varepsilon\rightarrow 0}[I(\varepsilon)+\tfrac{1}{4} \ln \varepsilon]=\tfrac{1}{8} (-1-2\ln 2)+\tfrac{1}{4} (-\gamma_{\rm{Euler}} +2\ln 2)\equiv c_0.$$

$\endgroup$
3
  • 1
    $\begingroup$ Nice approach and solution $\endgroup$ Oct 3 at 3:45
  • $\begingroup$ Is the validity of interchanging the integration and limit operations easy to see? $\endgroup$
    – Gary
    Oct 5 at 0:05
  • $\begingroup$ the integrand of $I(\varepsilon)-J(\varepsilon)$ is absolutely convergent, so I can send $\varepsilon$ to zero inside the integral. $\endgroup$ Oct 5 at 6:04

You must log in to answer this question.

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