How do you use the integral test to determine if #Sigma n^ke^-n# from #[1,oo)# where k is an integer is convergent or divergent?

2 Answers
Feb 9, 2017

The series

#sum_(=1)^oo n^ke^(-n)#

is convergent for any integer #k#

Explanation:

Choose as test function:

#f(x) = x^ke^(-x)#

This function is:

(i) non negative, as #f(x) > 0# for #x > 0#

(ii) strictly decreasing in #(k,+oo)# as:

#f'(x) = kx^(k-1)e^(-x) -x^ke^(-x) = x^(k-1)e^(-x) (k-x) < 0# for #x > k#

(iii) infinitesimal, as:

#lim_(x->oo) x^ke^(-x) = 0#

(iv) #f(n) = n^ke^(-n)#

so the convergence of the series is equivalent to the convergence of the integral:

#int_1^oo x^ke^(-x)dx#

We have to find a general formula for this integral. Start from #k=1#, integrating by parts:

#I_1 = int_1^oo xe^(-x)dx = -int_1^oo xd(e^(-x)) = [-xe^(-x)]_1^oo + int_1^oo e^(-x)dx = 1/e-[e^(-x)]_1^oo = 2/e#

For #k=2#

#I_2 = int_1^oo x^2e^(-x)dx = -int_1^oo x^2d(e^(-x)) = [-x^2e^(-x)]_1^oo +2 int_1^oo xe^(-x)dx = 1/e +2I_1 = 5/e#

and in general:

#I_k = int_1^oo x^ke^(-x)dx = -int_1^oo x^kd(e^(-x)) = [-x^ke^(-x)]_1^oo +k int_1^oo x^(k-1)e^(-x)dx = 1/e +kI_(k-1)#

#I_k= 1/e + kI_(k-1) = 1/e +k(1/e+(k-1))I_(k-2) = ... = (1+k+k(k-1)+...+k!)/e = 1/esum_(j=1)^k (k!)/(j!)#

So we can assert that:

#int_1^oo x^ke^(-x)dx = 1/esum_(j=1)^k (k!)/(j!)#

is convergent for every #k# and this proves that also:

#sum_(=1)^oo n^ke^(-n)#

is convergent.

Mar 28, 2017

Application of L'Hopital's Rule to the Problem

Explanation:

Here is an alternative explanation:

The convergence of the "tail" (the infinitely-many terms at the end) of the series determines whether the series itself converges. We will show that the tail of the series is finite. Therefore the series converges.

Assume first that k = 0.
Then
#Sigma(n^k)/(e^n) = Sigma(1/(e^n)) #, which is a convergent geometric series.

Assume k is a POSITIVE integer.
For all x > 0, #x^k and 2^x# are strictly positive.
By applying L'Hopital's rule k times, we see that ...

#lim_(x rarr oo)(x^k/2^x) = (k/ln2)lim_(x rarr oo)(x^(k-1)/2^x)=...=(k!)/(ln2)^klim_(x rarr oo)(1/2^x) = 0# .

Therefore, for x sufficiently large, #x^k < 2^x#.

For such values of x,

#x^k/(e^x) < 2^x/(e^x) = (2/e)^x#.

Therefore there exists a whole number, N, so that when n > N, we have
#n^k/(e^n) < (2/e)^n#

Now #Sigma((2/e)^n)# is a geometric series that converges since 2 < e.

Therefore, the tail of our series #Sigma(n^k)/(e^n)# is bounded above by the tail of the convergent geometric series. [We can compute the upper limit of that value by using the Geometric Series Theorem: #Sigma((2/e)^n) = 1/(1 - 2/e)# .]

Consequently, #Sigma(n^k)/(e^n)# converges.

Finally, assume k is a NEGATIVE integer.

If k < 0, then for n greater than or equal to 1, #n^k < 1#. Therefore, the series as a whole is bounded above by #Sigma(1/(e^n)) # and converges by the Comparison Test.