\def\d{\mathrm{d}}So I tried doing the following integral:
I=\int_0^{+\infty}\sin(2^x)\,\d x,
which is quite similar to the famous Fresnel integral. First, I rewrote \sin using its complex exponential definition, then I let u=2^x:
I=\int_0^{+\infty}\frac{e^{i2^x}-e^{-i2^x}}{2i}\,\d x = \frac1{2i\ln(2)} \int_1^{+\infty} \frac{e^{iu}-e^{-iu}}u \,\d u.
(so close to letting me use Frullani's integral \ddot\frown)
But where do I go from here? It looks very close to a place where I could use the exponential integral or something like that, but not quite...
Answer
Hint. One may perform the change of variable
u=2^x, \quad \ln x= \frac1{\ln 2}\cdot \ln u, \quad dx=\frac1{\ln 2}\cdot \frac{du}u, giving
I=\int_0^{+\infty}\sin(2^x)\ dx=\frac1{\ln 2}\cdot\int_1^{+\infty}\frac{\sin(u)}{u}\ du=\frac1{\ln 2}\cdot\left(\frac{\pi }{2}-\text{Si}(1)\right) where we have made use of the sine integral function \text{Si}(\cdot).
No comments:
Post a Comment