2
$\begingroup$

I can't seem to get Maple to approximate the integral

$$\int_0^\infty \frac{x\exp(-x^2/4)\cosh(x)}{\sqrt{\cosh(x)-1}} dx.$$

Could somebody tell me why?

This integral "should be" well-defined. (My reasons are not mathematical. The book I'm reading suggest that this integral makes sense.) Do note that the denominator of the integrand explodes at $x=0$, but this should not be a problem...

Can we give an upper bound for this integral?

  • 0
    Wolframalpha gives it to be 5.54565. http://www.wolframalpha.com/input/?i=Integrate+%28x+exp%28-x%5E2%2F4%29+cosh%28x%29+%2F+sqrt%28cosh%28x%29+-+1%29%29+from+x%3D+0+to+infinity2012-03-10
  • 0
    Now that's fast... Thanks. All in all, it is bounded from above by $6$. Thanks.2012-03-10
  • 1
    Maple won't compute a numerical answer unless you ask it for it. Apply function evalf() to obtain the same number as quoted above for Wolfram Alpha.2012-03-10

2 Answers 2

5

Using the following inequality: $$ \frac{x}{\sqrt{\cosh{x}-1}} = \sqrt{2} \frac{x/2}{\sinh(x/2)} \leqslant \sqrt{2} $$ It is easy to work out the upper bound: $$ \int_0^\infty \frac{x\exp(-x^2/4)\cosh(x)}{\sqrt{\cosh(x)-1}} \mathrm{d}x < \sqrt{2} \int_0^\infty \exp(-x^2/4)\cosh(x) \mathrm{d}x = \sqrt{2 \pi} \mathrm{e} \approx 6.8 $$

  • 0
    +1. Nice. Any other method for an even tighter bound?2012-03-11
  • 0
    Wolfram gives a different result http://tinyurl.com/6n22b6x2012-03-11
  • 0
    @KirthiRaman But you had asked W|A to compute a different integral, didn't you ?2012-03-11
  • 0
    Oh yes, my bad. But if I do correct that I get an answer of $5.55$ instead. Therefore your bound seems correct. Check http://tinyurl.com/7flmksy2012-03-11
1

With a little bit more work you can use the inequality given by Sasha to get a tighter upper bound. Indeed, $$ \frac{\cosh x}{\sqrt{\cosh x -1}}=\frac{1+2\,\sinh^2(x/2)}{\sqrt{2}\sinh(x/2)}=\frac{1}{\sqrt{2}\sinh(x/2)}+\sqrt{2}\sinh(x/2), $$ which splits the original integral into two terms. The first of them may be estimated using Sasha's inequality: $$ \int_0^{\infty} \frac{x\exp(-x^2/4)}{\sqrt{2}\sinh(x/2)}dx=\sqrt{2}\int_0^{\infty} \frac{(x/2)\exp(-x^2/4)}{\sinh(x/2)}dx<\sqrt{2}\int_0^{\infty} \exp(-x^2/4)dx=\sqrt{2\pi}. $$ The second integral computes exactly: $$ \sqrt{2}\int_0^{\infty} x\exp(-x^2/4)\sinh(x/2) dx=\sqrt{2\pi}\mbox{e}^{1/4}, $$ (see section 3.562 in Gradshteyn & Ryzhik's "Table of Integrals, Series and Products" or simply use Mathematica or Maple). Therefore, we obtain $$ \int_0^{\infty} \frac{x\exp(-x^2/4)\cosh x}{\sqrt{\cosh x -1}}dx<\sqrt{2\pi}(1+\mbox{e}^{1/4})\approx 5.7252. $$