Video Transcript
Use the limit comparison test to determine whether the series the sum from π equals one to β of one divided by two to the πth power plus three π is convergent or divergent.
The question wants us to use the limit comparison test to determine the convergence or divergence of our series. And we recall the limit comparison test tells us for two series, the sum of π π and the sum of π π, where both π π and π π are positive for all values of π. If the limit as π approaches β of the quotient π π divided by π π is equal to some positive finite value π, then we can conclude that either both of our series are convergent or both of our series are divergent.
By looking at the summand in our series, we can see that itβs very similar to the geometric series, one divided by two to the πth power. So, in our limit comparison test, weβll set the sequence π π to be equal to the summand of the series given to us in the question. Thatβs one divided by two to the πth power plus three π. And weβll set our sequence π π to be equal to the geometric sequence one divided by two to the πth power.
To use our limit comparison test, we need both π π and π π to be positive for all values of π. We see from our series the values of π start when π is equal to one. When π is greater than or equal to one, three π will be positive and two to the πth power will also be positive. Therefore, their sum is positive. And we know one divided by a positive number is positive. Therefore, our sequence π π is a positive sequence for all values of π. Similarly, we see that two to the πth power is positive for all values of π and one divided by two to the πth power is also positive for all values of π. So, π π is positive for all values of π.
So, because both of our sequences are positive for all values of π, we can try to use the limit comparison test. We have the limit as π approaches β of π π divided by π π is equal to the limit as π approaches β of one divided by two to the πth power multiplied by the reciprocal of π π, which is two to the πth power plus three π. We can simplify this by dividing through by our denominator of two to the πth power.
Dividing through by two to the πth power gives us the limit as π approaches β of one divided by three π divided by two to the πth power. And we can see as π is approaching β, our numerator of three π is approaching β and our denominator of two to the πth power is also approaching β, which gives us an indeterminate form. However, we can try to evaluate the quotient of two functions by using LβHΓ΄pitalβs rule.
We recall one version of LβHΓ΄pitalβs rule states that if functions π and π are differentiable where the derivative of π is never equal to zero and both the limit as π₯ approaches β of π of π₯ and the limit as π₯ approaches β of π of π₯ are both equal to β. Then if the limit as π₯ approaches β of π prime of π₯ divided by π of π₯ exists or is equal to positive or negative β. Then we must have the limit as π₯ approaches β of π of π₯ divided by π of π₯ is equal to the limit as π₯ approaches β of π prime of π₯ divided by π prime of π₯.
So to apply LβHΓ΄pitalβs rule, weβll set our function π to be the function in the numerator and our function π to be the function in the denominator. Thatβs π of π is three π and π of π is two to the πth power. The first prerequisite to using LβHΓ΄pitalβs rule is that both π and π are differentiable. We see that π is a polynomial, and so it is differentiable. And we see that π is an exponential function, and so itβs also differentiable.
Next, we need to show that our derivative function π is never equal to zero. We can show this by rewriting our function π of π as π to the power of the natural logarithm of two to the πth of power. Then, using our power rule for logarithms, we have the natural logarithm of two to the πth power is equal to π times the natural logarithm of two.
Now, to differentiate our function π of π, weβre differentiating π to the power of π times the natural logarithm of two. And we know for any constant π, the derivative of π to the power of ππ₯ with respect to π₯ is just equal to π times π to the power of ππ₯. So, π prime of π is equal to the natural log of two times π to the power of π times the natural log of two. And we know for any value of π, the exponential function will be positive and the natural logarithm of two is also positive. So, weβre multiplying two positive numbers together, giving us a positive number. So, our derivative function is positive and therefore itβs not equal to zero.
We chose this version of LβHΓ΄pitalβs rule because our quotient was indeterminant of the form β divided by β. So, both of these limits are equal to β. Now, we need to calculate the limit as π approaches β of π prime of π divided by π prime of π. So, letβs calculate this limit. If π of π is equal to three π, then the derivative is equal to three. This gives us the limit as π approaches β of π prime of π divided by π prime of π is equal to the limit as π approaches β of three divided by the natural log of two times π to the power of π times the natural log of two. And we can evaluate this limit. As π is approaching β, both three and the natural logarithm of two remain constant. However, the exponential function in the denominator approaches β. Therefore, our limit is approaching zero.
So, weβve shown that this limit exists. And since this is equal to zero, by LβHΓ΄pitalβs rule, we can conclude the limit as π approaches β of π of π divided by π of π must be equal to zero. So, going back to the limit as π approaches β of one plus three π divided by two to the πth power, we have the limit of a sum is equal to the sum of the limits. And the limit of the constant one is just equal to one. This gives us one plus the limit as π approaches β of three π divided by two to the πth power. And we showed by using LβHΓ΄pitalβs rule that this limit is equal to zero. So, we must have that this is just equal to one.
Therefore, weβve shown the limit as π approaches β of ππ divided by ππ is equal to one, which is a finite, positive constant. So, weβve shown all the prerequisites of our limit comparison test are true. So, by using the limit comparison test, our infinite series the sum of π π and the sum of π π must either both converge or they must both diverge. And we chose our sequence π π to be a geometric sequence with ratio of successive terms equal to one-half.
And we know the infinite sum of a geometric series will always converge if the absolute value of the ratio π is less thsan one. Using this, we have that the infinite sum of our geometric sequence π π must be convergent since itβs a geometric series with ratio of successive terms one-half. And the limit comparison test told us that either both of our series were convergent or both of our series were divergent. Therefore, we have the sum from π equals one to β of π π must also be convergent.
In conclusion, weβve shown by using the limit comparison test the sum from π equals one to β of one divided by two to the πth power plus three π must be convergent.