Exercício 7 Mostre que \int_{0}^{+\infty} x e^{-x} \operatorname{sen}(x) d x=\frac{1}{2}.
Passo 1
O enunciado pede para mostrar que
\int_{0}^{+\infty} x e^{-x}\sin(x)\,dx=\frac{1}{2}.
Informações dadas e o que precisamos:
A integral é imprópria no infinito, com integrando x e^{-x}\sin x.
Devemos avaliar essa integral e obter um número real.
É permitido usar técnicas de integração (partes, transformada de Laplace, exponencial complexa, etc.). Não pediram um método específico.
Passo 2
Ideia principal (explicada devagar): escrever \sin x como parte da exponencial complexa e usar linearidade da integral. Escrevendo \sin x=\operatorname{Im}(e^{ix}) temos
x e^{-x}\sin x=\operatorname{Im}\bigl(x e^{-x}e^{ix}\bigr)=\operatorname{Im}\bigl(x e^{-(1-i)x}\bigr).
Se for permitido trocar a operação de tomar parte imaginária com a integral (vou justificar isso em seguida), então
\int_{0}^{\infty} x e^{-x}\sin x\,dx =\operatorname{Im}\!\left(\int_{0}^{\infty} x e^{-(1-i)x}\,dx\right).
Vou justificar a troca: para todo x\ge0 vale
\bigl|x e^{-(1-i)x}\bigr|=x e^{-x},
e \int_{0}^{\infty} x e^{-x}\,dx converge (é uma integral de tipo gamma igual a 1 — vou calcular isso explicitamente depois). Assim o integrando complexo é absolutamente integrável, o que permite trocar integral e parte imaginária.
Passo 3
Calcular a integral geral \displaystyle \int_{0}^{\infty} x e^{-s x}\,dx para \operatorname{Re}(s)>0. Esta é uma identidade básica (transformada de Laplace de x), mas vamos derivá-la por partes para ficar claro.
Faça integração por partes com u=x e dv=e^{-s x}dx. Então du=dx e v=-\dfrac{1}{s}e^{-s x}. Assim
\int_{0}^{\infty} x e^{-s x}\,dx =\left[x\left(-\frac{1}{s}e^{-s x}\right)\right]_{0}^{\infty} -\int_{0}^{\infty}\left(-\frac{1}{s}e^{-s x}\right)\,dx.
Avaliação do termo de fronteira: como \operatorname{Re}(s)>0 temos e^{-s x}\to0 exponencialmente quando x\to\infty, logo x e^{-s x}\to0. Em x=0 o termo vale 0. Portanto o primeiro colchete é 0. O segundo integral fica
\int_{0}^{\infty} x e^{-s x}\,dx =\frac{1}{s}\int_{0}^{\infty} e^{-s x}\,dx.
Mas \int_{0}^{\infty} e^{-s x}\,dx=\dfrac{1}{s} (para \operatorname{Re}(s)>0). Logo
\int_{0}^{\infty} x e^{-s x}\,dx=\frac{1}{s}\cdot\frac{1}{s}=\frac{1}{s^{2}}.
Passo 4
Aplicar o resultado do passo anterior com s=1-i. Como \operatorname{Re}(1-i)=1>0, podemos aplicar a fórmula:
\int_{0}^{\infty} x e^{-(1-i)x}\,dx=\frac{1}{(1-i)^{2}}.
Então, lembrando do passo 2,
\int_{0}^{\infty} x e^{-x}\sin x\,dx =\operatorname{Im}\!\left(\frac{1}{(1-i)^{2}}\right).
Vamos simplificar (1-i)^{2}:
(1-i)^{2}=1-2i+i^{2}=1-2i-1=-2i.
Portanto
\frac{1}{(1-i)^{2}}=\frac{1}{-2i}=-\frac{1}{2i}.
Transformando -\dfrac{1}{2i} numa forma mais clara: multiplicando numerador e denominador por i obtemos