Chapter 8: Infinite Sequences and Series
Section 8.4: Power Series
|
Example 8.4.10
|
|
Determine the radius of convergence and the interval of convergence for the power series .
Even though (7) in Table 8.4.1 claims that absolute convergence at one end of the interval of convergence implies absolute convergence at the other, if the convergence at an endpoint is absolute, verify that it also absolute at the other.
|
|
|
|
Solution
|
|
|
Mathematical Solution
|
|
•
|
Since the given power series contains the powers , the radius of convergence is given by
|
=
•
|
At the right endpoint , the given power series becomes , which converges absolutely by part (1) of the Limit-Comparison test if the comparison series is taken as the convergent p-series .
|
•
|
The relevant calculation that must be made is . Since is a (finite) real number, both series converge. Hence, the power series converges absolutely at .
|
•
|
At the left endpoint , the given power series becomes the alternating series , which has just been shown to converge absolutely.
|
•
|
Hence, the interval of convergence is .
|
|
|
Maple Solution
|
|
Define the general coefficient as a function of
|
•
|
Write
Context Panel: Assign Function
|
|
|
Obtain the radius of convergence
|
•
|
Calculus palette: Limit template
Context Panel: Assign Name
|
|
|
Display , the radius of convergence
|
•
|
Write
Context Panel: Evaluate and Display Inline
|
|
=
|
Test for convergence at
|
•
|
Write
Context Panel: Assign Function
|
|
|
•
|
Calculus palette: Limit template
Context Panel: Evaluate and Display Inline
|
|
=
|
Test for convergence at
|
•
|
Write
Context Panel: Evaluate and Display Inline
|
•
|
Context Panel: Simplify≻Assuming Integer
|
|
=
|
|
|
•
|
The comparison series is a convergent p-series, so by part (1) of the Limit-Comparison test, the given series converges absolutely at . The given series also converges absolutely at because = , and the series with those terms has already been shown to converge absolutely.
|
•
|
Hence, the interval of convergence is .
|
•
|
Using the special function polylog, and assuming , Maple sums this series to
|
=
|
|
|
•
|
Figure 8.4.10(a) is a graph of this function on the interval of convergence.
|
>
|
module()
local S,p;
S:=(1/4500)*(-500*x^3-225*x^2+36*polylog(2, 5*x)-180*x)/x^3;
p:=plot(S,x=-1/5..1/5,labels=[x,y],tickmarks=[3,3]);
print(p);
end module:
|
|
Figure 8.4.10(a) Graph of the sum of the series
|
|
|
|
|
|
<< Previous Example Section 8.4
Next Example >>
© Maplesoft, a division of Waterloo Maple Inc., 2024. All rights reserved. This product is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation.
For more information on Maplesoft products and services, visit www.maplesoft.com
|