[Math] Leibniz Integral Rule or differentiating under the integral sign.

calculusdefinite integralsintegrationleibniz-integral-rule

I've been trying to find solve this integral for a while, using differentiation under the integral sign:

$$\int_0^1 \! \frac{{e^{-ax}}\sin(x)}{x} \, \mathrm{d}x$$

But I keep getting stuck around here, when I'm trying to find the indefinite integral with respect to $x$:

$$-a\int\!e^{-ax}\sin(x) \, \mathrm{d}x$$

How would I go about solving this and am I even on the right track with the second integral?

Best Answer

A few ways to integrate $e^{-ax}\sin(x)$:


1) Integration by parts:

$$\begin{align}\int e^{-ax}\sin(x)~dx&=-e^{-ax}\cos(x)-a\int e^{-ax}\cos(x)~dx\\&=-e^{-ax}\cos(x)-a\left(e^{-ax}\sin(x)+a^2\int e^{-ax}\sin(x)~dx\right)\end{align}$$

Let $I=\int e^{-ax}\sin(x)~dx$ to see that

$$I=-e^{-ax}\cos(x)-a\left(e^{-ax}\sin(x)+a^2I\right)$$

which is a linear equation to solve for $I$.


2) Euler's formula:

This is a more complex method (get the pun?) but pretty straight forward. One may either use

$$\sin(x)=\frac{e^{ix}-e^{-ix}}{2i}\qquad or\qquad\sin(x)=\Im(e^{ix})$$

Using the second one for simplicity, we see that

$$\begin{align}I&=\Im\int e^{-ax}e^{ix}~dx\\&=\Im\int e^{(i-a)x}~dx\\&=\Im\left(\frac1{i-a}e^{(i-a)x}\right)+c\\&=\Im(u+vi)+c\\&=v+c\end{align}$$

where $v$ is the imaginary part of $\frac1{i-a}e^{(i-a)x}$.


As per the original problem, this is how I would've tackled it, using the complex method:

$$\begin{align}\int_0^1\frac{e^{-ax}\sin(x)}x\ dx&=\int_0^1e^{-ax}\sin(x)\int_0^\infty e^{-xt}\ dt\ dx\\&=\int_0^\infty\int_0^1e^{-(a+t)x}\sin(x)\ dx\ dt\\&=\int_0^\infty\Im\int_0^1e^{[i-(a+t)]x}\ dx\ dt\\&=\int_0^\infty\Im\left(\frac1{i-(a+t)}e^{[i-(a+t)]x}\bigg|_{x=0}^1\right)\ dt\\&=\int_0^\infty\frac1{1+(a+t)^2}\left(1-\frac{\cos(t)+(a+t)\sin(t)}{e^{a+t}}\right)\ dt\end{align}$$

And I think this is far as you can go this way.

Related Question