Integral of $\int_{y_1}^{y_2} \exp\left(\, -\alpha x\,\right)\, x \sqrt{1-x^2}{\rm d}x$

Does the following integral have a closed form solution?

In terms of elementary functions ? No, it does not. However, for $y=\pm1$ a closed form does exist, but in terms of the special functions Bessel I and Struve L.


This could help here. $$ \int^{y_2}_{y_1}\mathrm{e}^{-\alpha x}x\sqrt{1-x^2}dx = -\frac{d}{d\alpha}\int\mathrm{e}^{-\alpha x}\sqrt{1-x^2}dx $$ using $x = \cos u$

then

$$ \int^{y_2}_{y_1}\mathrm{e}^{-\alpha x}x\sqrt{1-x^2}dx = -\frac{d}{d\alpha}\int_{\cos^{-1}y_1}^{\cos^{-1}y_2}\mathrm{e}^{-\alpha \cos u}\sin^2 u du $$ here the last bit was edited due to @semiclassical keen eye :). now using $$-\sin^2 u = \cos^2 u - 1$$

we find $$ \frac{d}{d\alpha}\int_{\cos^{-1}y_1}^{\cos^{-1}y_2}\mathrm{e}^{-\alpha \cos u}\left[\cos^2 u -1\right]du = \frac{d}{d\alpha}\left[\frac{d^2}{d\alpha^2}-1\right]\int_{\cos^{-1}y_1}^{\cos^{-1}y_2}\mathrm{e}^{-\alpha \cos u}du $$

$\textbf{update}$ For the special case of $$ \begin{eqnarray} \cos^{-1}y_1 &=& \pi/2,\\ \cos^{-1}y_2 &=& 0. \end{eqnarray} $$ which corresponds to choosing $(y_1,y_2) = (0,1)$ we obtain $$ \int^{0}_{\pi/2}\mathrm{e}^{-\alpha \cos u}du = -\int_{0}^{\pi/2}\mathrm{e}^{-\alpha \cos u}du = -\frac{\pi}{2}\left[I_0(\alpha) - L_0(\alpha)\right] $$

thus $$ \frac{d}{d\alpha}\left[\frac{d^2}{d\alpha^2}-1\right]\int_{\cos^{-1}y_1}^{\cos^{-1}y_2}\mathrm{e}^{-\alpha \cos u}du =\frac{d}{d\alpha}\left[\frac{d^2}{d\alpha^2}-1\right]\left(\frac{\pi}{2}\left[I_0(\alpha) - L_0(\alpha)\right]\right) $$

$$ \begin{eqnarray} \frac{d}{d\alpha}\left[\frac{d^2}{d\alpha^2}-1\right]I_{0}(\alpha) &=& \frac{d^2}{d\alpha^2}I_{1}(\alpha) - I_{1}(\alpha)\\ &=& \frac{d}{d\alpha}\left[\frac{1}{\alpha}I_1(\alpha)+I_2(\alpha)\right] -I_1(\alpha)\\ &=& I_3(\alpha) +\frac{3}{\alpha}I_2(\alpha)- I_{1}(\alpha) \end{eqnarray} $$ and $$ \begin{eqnarray} \frac{d}{d\alpha}\left[\frac{d^2}{d\alpha^2}-1\right]L_{0}(\alpha) &=& \left[\frac{d^2}{d\alpha^2} - 1\right]\left(\frac{1}{2}\left[L_{-1}(\alpha) +L_1(\alpha) + \frac{1}{\sqrt{\pi}\Gamma\left(\frac{3}{2}\right)}\right]\right)\\ &=& \left[\frac{d^2}{d\alpha^2}-1\right]g(\alpha) \end{eqnarray} $$ $$ g'(\alpha) = \frac{1}{4}\left[L_{-2}(\alpha)+2L_0(\alpha) +L_2(\alpha) + \frac{2\alpha^{-1}}{\sqrt{\pi}\Gamma\left(\frac{1}{2}\right)}+\frac{\alpha}{2\sqrt{\pi}\Gamma\left(\frac{5}{2}\right)}\right],\\ g''(\alpha) = \frac{1}{8}\left[L_{-3}(\alpha) + 3L_{-1}(\alpha) + 3L_{1}(\alpha)+L_{3}(\alpha) + \frac{4\alpha^{-2}}{\sqrt{\pi}\Gamma\left(\frac{-1}{2}\right)} +\frac{2}{\sqrt{\pi}\Gamma\left(\frac{3}{2}\right)}+\frac{2^{-2}\alpha^2}{\sqrt{\pi}\Gamma\left(\frac{7}{2}\right)}\right] $$

Thus for this special case $$ \int^{1}_{0}\mathrm{e}^{-\alpha x}x\sqrt{1-x^2}dx =\\ -\frac{\pi}{2}\left[I_3(\alpha) +\frac{3}{\alpha}I_2(\alpha)- I_{1}(\alpha)-\frac{1}{8}\left[L_{-3}(\alpha) - L_{-1}(\alpha) - L_{1}(\alpha)+L_{3}(\alpha) + \frac{4\alpha^{-2}}{\sqrt{\pi}\Gamma\left(\frac{-1}{2}\right)} -\frac{2}{\sqrt{\pi}\Gamma\left(\frac{3}{2}\right)}+\frac{2^{-2}\alpha^2}{\sqrt{\pi}\Gamma\left(\frac{7}{2}\right)}\right]\right] $$ and subbing in for $\Gamma$'s we find $$ -\frac{\pi}{2}\left[I_3(\alpha) +\frac{3}{\alpha}I_2(\alpha)- I_{1}(\alpha)-\frac{1}{8}\left[L_{-3}(\alpha) - L_{-1}(\alpha) - L_{1}(\alpha)+L_{3}(\alpha) -\frac{2\alpha^{-2}}{\pi} -\frac{8}{3\pi}+\frac{2\alpha^2}{15\pi}\right]\right] $$

ps. keep asking questions, hopefully I have not made another silly mistake.


It seems there is a closed form but I have not worked on it yet. However you can have this nice approximation for large $\alpha$

$$ I = \int_{0}^{y} x\sqrt{1-x^2} e^{-\alpha x}dx\sim_{\alpha \sim \infty} \frac{1}{\alpha^2}- {\frac { \left( \alpha\,y+1 \right) {{\rm e}^{ -\alpha\,y}}}{{\alpha}^{2}}}.$$

You can use Laplace's method. See my answer where I laid out the basic idea behind it. Note that you can better approximations if you want. Here is a special case for $\alpha=100, y=1$

$$ 0.00009997,\\ 0.0001000 . $$

which they correspond to evaluating the integral and the approximation respectively.