Enunciado

Sejam alpha e s , s > 0 , reais dados. Verifique que

int_0^(+ oo) e^(- s t) cos alpha t d t = (s)/(s^2 + alpha^2)

Passo 1

Como estamos tratando de uma integral imprópria, vamos aplicar o limite

int_0^(+ oo) e^(- s t) cos alpha t d t = underset(A -> + oo)(lim) int_0^A e^(- s t) cos alpha t d t

Passo 2

Agora podemos resolver a integral usando a integração por partes

int f * g^' d t = f * g - int f^' * g d t

Neste caso nossas funções são

{[[f = cos alpha t],[g^' = e^(- s t)]]) -> (f^' = - alpha s en alpha t)/(g = - (e^(- s t))/(s))

Então

underset(A -> + oo)(lim) int_0^A e^(- s t) cos alpha t d t = underset(A -> + oo)(l i m) [- (e^(- s t))/(s) cos alpha t]_0^A - underset(A -> + oo)(l i m) (alpha)/(s) int_0^A e^(- s t) sen alpha t d t

Passo 3

Resolvendo o limite

underset(A -> + oo)(l i m) [- (1)/(s e^(s t)) cos alpha t]_0^A = underset(A -> + oo)(l i m) [- (1)/(s e^(s A)) cos alpha A + (1)/(s e^(s 0)) cos 0]

O seno de infinito é indeterminado, mas a função seno é limitada em - 1 e 1 , então por teorema do confronto podemos afirmar que

underset(A -> + oo)(l i m) [- (1)/(s e^(s A)) cos alpha A + (1)/(s)] = (1)/(s)

Porque e^(s A) -> + oo , e temos

underset(A -> + oo)(lim) int_0^A e^(- s t) cos alpha t d t = (1)/(s) - underset(A -> + oo)(l i m) (alpha)/(s) int_0^A e^(- s t) sen alpha t d t

Passo 4

Para a integral int_0^A e^(- s t) sen alpha t d t , vamos usar a integração por partes novamente

{[[f = sen alpha t],[g^' = e^(- s t)]]) -> (f^' = alpha cos alpha t)/(g = - (e^(- s t))/(s))

underset(A -> + oo)(lim) int_0^A e^(- s t) cos alpha t d t = (1)/(s) - (alpha)/(s) [underset(A -> + oo)(l i m) [- (e^(- s t))/(s) sen alpha t]_0^A + underset(A -> + oo)(l i m) (alpha)/(s) int_0^A e^(- s t) cos alpha t d t]

Calculando o limite

underset(A -> + oo)(l i m) [- (1)/(s e^(s t)) sen alpha t]_0^A = underset(A -> + oo)(l i m) [- (1)/(s e^(s A)) sen alpha A + (1)/(s e^(s 0)) sen 0]

= 0

Passo 5

Substituindo

underset(A -> + oo)(lim) int_0^A e^(- s t) cos alpha t d t = (1)/(s) - (alpha)/(s) underset(A -> + oo)(l i m) (alpha)/(s) int_0^A e^(- s t) cos alpha t d t

underset(A -> + oo)(lim) int_0^A e^(- s t) cos alpha t d t = (1)/(s) - (alpha^2)/(s^2) underset(A -> + oo)(l i m) int_0^A e^(- s t) cos alpha t d t

int_0^(+ oo) e^(- s t) cos alpha t d t = (1)/(s) - (alpha^2)/(s^2) int_0^(+ oo) e^(- s t) cos alpha t d t

int_0^(+ oo) e^(- s t) cos alpha t d t + (alpha^2)/(s^2) int_0^(+ oo) e^(- s t) cos alpha t d t = (1)/(s)

(1 + (alpha^2)/(s^2)) int_0^(+ oo) e^(- s t) cos alpha t d t = (1)/(s)

Fazendo MMC dentro do parêntese

((s^2 + alpha^2)/(s^2)) int_0^(+ oo) e^(- s t) cos alpha t d t = (1)/(s)

Multiplicando dos dois lados pelo inverso da fração

int_0^(+ oo) e^(- s t) cos alpha t d t = (1)/(s) * (s^2)/(s^2 + alpha^2)

int_0^(+ oo) e^(- s t) cos alpha t d t = (s)/(s^2 + alpha^2)

Resposta

Ei, a resposta está no passo a passo :)

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Determine se cada integral é convergente ou divergente. Avalie aquelas que são convergentes. ∫ - ∞ ∞ x 2 ⋅ e - x 3 d x
Determine se cada integral é convergente ou divergente. Avalie aquelas que são convergentes. ∫ - ∞ ∞ e - x d x
Determine se cada integral é convergente ou divergente. Avalie aquelas que são convergentes. ∫ 1 ∞ ln ⁡ x x 2 d x
Determine se cada integral é convergente ou divergente. Avalie aquelas que são convergentes. ∫ 1 ∞ ln ⁡ x x 3 d x
Determine se cada integral é convergente ou divergente. Avalie aquelas que são convergentes. ∫ 0 ∞ cos 2 ⁡ ( α ) d α