Jak wykorzystać test całkowy do określenia zbieżności lub dywergencji szeregu: suma n e ^ -n od n = 1 do nieskończoności?

Jak wykorzystać test całkowy do określenia zbieżności lub dywergencji szeregu: suma n e ^ -n od n = 1 do nieskończoności?
Anonim

Odpowiedź:

Weź całkę # int_1 ^ ooxe ^ -xdx #, który jest skończony, i zauważ, że się ogranicza #sum_ (n = 2) ^ oo n e ^ (- n) #. Dlatego jest zbieżny #sum_ (n = 1) ^ oo n e ^ (- n) # jest również.

Wyjaśnienie:

Formalne stwierdzenie testu integralnego stwierdza, że jeśli #fin 0, oo) rightarrowRR # monotonna funkcja zmniejszania, która jest nieujemna. Potem suma #sum_ (n = 0) ^ oof (n) # jest zbieżny, jeśli i tylko wtedy # "sup" _ (N> 0) int_0 ^ Nf (x) dx # jest skończone. (Tau, Terence. Analiza I, wydanie drugie. Hindustan, agencja książki. 2009).

To stwierdzenie może wydawać się nieco techniczne, ale idea jest następująca. W tym przypadku funkcja #f (x) = xe ^ (- x) #, zauważamy to dla #x> 1 #, ta funkcja maleje. Widzimy to, biorąc pochodną. #f '(x) = e ^ (- x) -xe ^ (- x) = (1-x) e ^ (- x) <0 #, od #x> 1 #, więc # (1-x) <0 # i #e ^ (- x)> 0 #.

Z tego powodu zauważamy to dla każdego #ninNN _ (> = 2) # i #x w 1, oo) # takie #x <= n # mamy #f (x)> = f (n) #. W związku z tym #int_ (n-1) ^ nf (x) dx> = int_ (n-1) ^ nf (n) dx = f (n) #, więc #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 # za pomocą integracji przez części i to #lim_ (xrightarrowoo) e ^ -x = lim_ (xrightarrowoo) xe ^ -x = 0 #.

Od #f (x)> = 0 #, mamy # e / 2 = int_1 ^ oof (x) dx> = int_1 ^ Nf (x) dx #, więc #sum_ (n = 1) ^ Nf (n) <= f (1) + 2 / e = 3 / e #. Od #f (n)> = 0 #, Serie #sum_ (n = 1) ^ Nf (n) # wzrasta jak # N # wzrasta. Ponieważ jest ograniczony przez # 3 / e #, musi się zbiegać. W związku z tym #sum_ (n = 1) ^ oof (n) # zbiega się.