Com s'utilitza la Prova Integral per determinar la convergència o la divergència de la sèrie: suma n e ^ -n de n = 1 a infinit?

Com s'utilitza la Prova Integral per determinar la convergència o la divergència de la sèrie: suma n e ^ -n de n = 1 a infinit?
Anonim

Resposta:

Prengui la integral # int_1 ^ ooxe ^ -xdx #, que és finita, i nota que es limita #sum_ (n = 2) ^ oo n e ^ (- n) #. Per tant, és convergent, per tant #sum_ (n = 1) ^ oo n e ^ (- n) # també ho és.

Explicació:

La declaració formal de la prova integral indica que si #fin 0, oo) rightarrowRR # una funció monotona decreixent que no és negativa. Llavors la suma #sum_ (n = 0) ^ oof (n) # és convergent si i només si # "sup" _ (N> 0) int_0 ^ Nf (x) dx # és finita. (Tau, Terence. Anàlisi I, segona edició. Agència de llibres Hindustan. 2009).

Aquesta declaració pot semblar una mica tècnica, però la idea és la següent. Prenent en aquest cas la funció #f (x) = xe ^ (- x) #, ho notem per a #x> 1 #, aquesta funció disminueix. Podem veure-ho prenent la derivada. #f '(x) = e ^ (- x) -xe ^ (- x) = (1-x) e ^ (- x) <0 #, des de #x> 1 #, tan # (1-x) <0 # i #e ^ (- x)> 0 #.

Degut a això, ho notem per a qualsevol #ninNN _ (> = 2) # i #x a 1, oo) # de tal manera que #x <= n # tenim #f (x)> = f (n) #. Per tant #int_ (n-1) ^ nf (x) dx> = int_ (n-1) ^ nf (n) dx = f (n) #, tan #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 # utilitzant la integració per parts i això #lim_ (xrightarrowoo) e ^ -x = lim_ (xrightarrowoo) xe ^ -x = 0 #.

Des de #f (x)> = 0 #, tenim # e / 2 = int_1 ^ oof (x) dx> = int_1 ^ Nf (x) dx #, tan #sum_ (n = 1) ^ Nf (n) <= f (1) + 2 / e = 3 / e #. Des de #f (n)> = 0 #, les sèries #sum_ (n = 1) ^ Nf (n) # augmenta igual # N augmenta. Com està delimitada per # 3 / e #, ha de convergir. Per tant #sum_ (n = 1) ^ oof (n) # convergeix.