¿Cómo se usa la Prueba Integral para determinar la convergencia o divergencia de la serie: suma n e ^ -n de n = 1 al infinito?

¿Cómo se usa la Prueba Integral para determinar la convergencia o divergencia de la serie: suma n e ^ -n de n = 1 al infinito?
Anonim

Responder:

Tomar la integral # int_1 ^ ooxe ^ -xdx #, que es finito, y tenga en cuenta que limita #sum_ (n = 2) ^ oo n e ^ (- n) #. Por lo tanto es convergente, por lo que #sum_ (n = 1) ^ oo n e ^ (- n) # es tambien

Explicación:

La declaración formal de la prueba integral establece que si #fin 0, oo) rightarrowRR # Una función decreciente monótona que no es negativa. Entonces la suma #sum_ (n = 0) ^ oof (n) # es convergente si y solo si # "sup" _ (N> 0) int_0 ^ Nf (x) dx # es finito (Tau, Terence. Análisis I, segunda edición. Agencia de libros Hindustan. 2009).

Esta afirmación puede parecer un poco técnica, pero la idea es la siguiente. Tomando en este caso la función. #f (x) = xe ^ (- x) #, notamos que para #x> 1 #, esta función está disminuyendo. Podemos ver esto tomando el derivado. #f '(x) = e ^ (- x) -xe ^ (- x) = (1-x) e ^ (- x) <0 #, ya que #x> 1 #, asi que # (1-x) <0 # y #e ^ (- x)> 0 #.

Debido a esto, observamos que para cualquier #ninNN _ (> = 2) # y #x en 1, oo) # tal que #x <= n # tenemos #f (x)> = f (n) #. Por lo tanto #int_ (n-1) ^ nf (x) dx> = int_ (n-1) ^ nf (n) dx = f (n) #, asi que #sum_ (n = 1) ^ Nf (n) <= f (1) + sum_ (n = 2) ^ Nint_ (n-1) ^ nf (x) dx = f (1) + int_1 ^ Nf (x) dx #.

# int_1 ^ oof (x) dx = int_1 ^ ooxe ^ (- x) dx = -int_ (x = 1) ^ ooxde ^ (- x) = - xe ^ (- x) | _1 ^ oo + int_1 ^ ooe ^ (-x) dx ## = - xe ^ (- x) -e ^ (- x) | ^ oo_1 = 2 / e # utilizando la integración por partes y que #lim_ (xrightarrowoo) e ^ -x = lim_ (xrightarrowoo) xe ^ -x = 0 #.

Ya que #f (x)> = 0 #, tenemos # e / 2 = int_1 ^ oof (x) dx> = int_1 ^ Nf (x) dx #, asi que #sum_ (n = 1) ^ Nf (n) <= f (1) + 2 / e = 3 / e #. Ya que #f (n)> = 0 #, las series #sum_ (n = 1) ^ Nf (n) # aumenta como #NORTE# aumenta Dado que está delimitado por # 3 / e #, debe converger. Por lo tanto #sum_ (n = 1) ^ oof (n) # converge