Chapter 8: Infinite Sequences and Series
Section 8.4: Power Series
|
Essentials
|
|
Many problems in applied mathematics and mathematical physics are solved by an infinite sum of functions, rather than by just a sum of numbers. Such series have names like Fourier series, Fourier-Bessel series, Fourier-Legendre series, etc. The intent of this present section is to consider series of functions where the functions are powers of , or powers of for some fixed constant . These are called power series for the obvious reason.
Definition 8.4.1: Power Series
|
Infinite series of the form are called power series, and the constants are called the coefficients.
|
|
|
•
|
A series of the form is called a power series centered at . The behavior of such power series is exactly parallel to that of the series centered at .
|
•
|
The convergence of a power series is determined pointwise: the variable is replaced throughout with a constant and the convergence of the resulting series of numbers, namely , is determined as per Section 8.3. If this series of numbers converges, then the series is said to converge for . The totality of -values for which the power series converges forms the domain of a function whose rule is the power series.
|
Table 8.4.1 lists the salient facts about the power series that converges to define a function .
1.
|
The domain of consists of at least the point .
|
2.
|
Convergence takes place in an interval whose form is one of the following:
|
3.
|
The interval is called the interval of convergence.
|
4.
|
The number is called the radius of convergence; could be zero, a finite number greater than zero, or infinity. If , then the interval of convergence is .
|
5.
|
The radius of convergence of is given by , whenever this limit exists; similarly, , again provided this limit exists. These two formulas are based respectively on the Ratio and Root tests, the second one using the conventions and .
(Hadamard's definitive formula for is beyond the scope of a first calculus course.)
|
6.
|
The power series converges absolutely inside the interval of convergence.
|
7.
|
Convergence of at must be tested individually. The endpoint behavior could be divergence, conditional convergence, or absolute convergence. However, if the series converges absolutely at one endpoint, it will necessarily converge absolutely at the other.
|
8.
|
Inside the interval of convergence, the power series can be differentiated termwise so that .
|
9.
|
Inside the interval of convergence, all derivatives of exist, and Consequently, if converges to , then in the interval of convergence .
|
|
Table 8.4.1 Properties of power series
|
|
|
•
|
The repetition of in item (5) in the table is deliberate. The radius of convergence for this series can be established by the Ratio test as follows. The series converges if, by the Ratio test, . For fixed , routine algebra gives .
|
•
|
Consider instead, the series and apply the same reasoning. The Ratio test now gives
|
and so that
In other words, the recipe for is predicated on the form of the powers in the power series.
•
|
The radius of convergence for a power series in powers of must take into account the factor . Indeed, the radius of convergence will then be because the calculations that lead to in the simpler case will lead to . If the limit on the right is taken as , the inequality then implies .
The term shifts the center of the interval of convergence to , but the factor scales .
The endpoints of the interval of convergence are then and .
|
|
|
Examples
|
|
For each power series listed in Table 8.4.2, determine the radius of convergence and the interval of convergence. 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, in each case where convergence at an endpoint is absolute, verify that it also absolute at the other.
Each sum in Table 8.4.2 is to infinity, but that symbol has been deleted to save vertical space.
|
<< Previous Section Table of Contents 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
|