|
Chapter 8: Infinite Sequences and Series
Section 8.4: Power Series
|
Example 8.4.24
|
|
|
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 diverges by part (3) of the Limit-Comparison test if the comparison series is taken as the divergent harmonic series . In the limit as , , as will be shown in the Maple Solution, below.
|
|
•
|
At the left endpoint , the given power series becomes the alternating series , which converges conditionally by the Leibniz test: decreases monotonically to zero, as will be shown in the Maple Solution, below.
|
|
•
|
Hence, the interval of convergence is .
|
|
|
|
Maple Solution
|
|
|
•
|
The key to making the calculations in this solution tractable is the representation of the products of integers with the product operator, available in the Expression palette. Maple evaluates these products in terms of the gamma function, the generalization of the factorial function. Without these tools, these calculations would be exceedingly difficult.
|
|
Define the general coefficient as a function of
|
|
•
|
Expression palette: Product template
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
|
|
=
|
|
Limit-Comparison test at
|
|
•
|
Calculus palette: Limit template
Context Panel: Evaluate and Display Inline
|
|
=
|
|
Limiting value of the general term of the series at
|
|
•
|
Calculus palette: Limit template
Context Panel: Evaluate and Display Inline
|
|
=
|
|
|
|
•
|
At the right endpoint , the given power series becomes , which diverges by part (3) of the Limit-Comparison test if the comparison series is taken as the divergent harmonic series . In the limit as , .
|
|
•
|
At the left endpoint , the given power series becomes the alternating series , which converges conditionally by the Leibniz test: decreases monotonically to zero, as shown in Figure 8.4.24(a).
|
|
>
|
module()
local a,p;
a:=(product(2*k-1,k=1..n))/(product(3*k-1, k=1..n));
p:=plot(a*(3/2)^n,n=1..20,labels=[x,f],tickmarks=[10,3]);
print(p);
end module:
|
|
|
Figure 8.4.24(a) Graph of
|
|
|
|
|
>
|
plot(x*hypergeom([1,3/2], [5/3],2*x*(1/3)),x=-3/2.. 3/2,-1..20,labels=[x,y], tickmarks=[3,3],size=[200,200]);
|
|
|
Figure 8.4.24(b) Graph of the sum of the series
|
|
|
|
|
|
|
•
|
Hence, the interval of convergence is .
|
|
•
|
Maple sums this series in terms of the special function hypergeom, and obtains
|
=
for the sum.
|
•
|
Figure 8.4.24(b) is a graph of this function on the interval of convergence.
|
|
|
|
<< Previous Example Section 8.4
Next Section >>
© 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
|
