Review : Power Series — Question 9

PDF ↗

Question 9

For a real parameter pp, consider Fp(x)=∑n=1∞(x−1)n3nnp.F_p(x)=\sum_{n=1}^{\infty}\frac{(x-1)^n}{3^n n^p}. Use this family to investigate which endpoint patterns can be designed by changing coefficient decay, and which require changing coefficient signs.

Tasks

  1. Find the center and radius for every real pp, including p≤0p\le 0.

  2. Give a complete classification of convergence and absolute convergence at both endpoints as pp varies. Include the threshold cases p=0p=0 and p=1p=1.

  3. Determine all pp yielding each of the intervals (−2,4)(-2,4), [−2,4)[-2,4) and [−2,4][-2,4]. Supply one concrete value for each pattern.

  4. Can any member of this family have convergence interval (−2,4](-2,4]? Prove your answer, then construct another power series centered at 11 with radius 33 and exactly that interval.

Original worksheet page 1: question and worked solution for 6-1-009
Show solutionHide solution

Question 9 – Solution

Strategy. The exponential coefficient scale fixes the radius, while power-law decay and signs decide the endpoints.

Step 1: Determine the radius independently of pp. For x≠1x\ne 1, the successive absolute-term ratio is |x−1|3(nn+1)p→|x−1|3.\frac{|x-1|}{3}\left(\frac{n}{n+1}\right)^p \longrightarrow\frac{|x-1|}{3}. Thus the center is 11 and R=3\boxed{R=3} for every finite real pp. At the center the sum is zero. The open interval (−2,4)(-2,4) is always a region of absolute convergence, and outside the closed interval the series diverges.

Step 2: Classify the endpoints. At x=4x=4, the series is ∑1/np\sum 1/n^p, convergent exactly when p>1p>1. At x=−2x=-2, it is ∑(−1)n/np\sum(-1)^n/n^p: it converges for p>0p>0, since the magnitudes then decrease to zero, and fails the term test for p≤0p\le 0. Absolute convergence at either endpoint occurs exactly for p>1p>1. Thus the left endpoint is conditional for 0<p≤10<p\le 1, including p=1p=1; at p=0p=0 neither endpoint’s terms tend to zero.

Step 3: List all parameter regimes. Combining the tests gives parameter rangeconvergence intervalexamplep≤0(−2,4)p=00<p≤1[−2,4)p=1p>1[−2,4]p=2\begin{array}{c|c|c} \text{parameter range}&\text{convergence interval}&\text{example}\\\hline p\le 0&(-2,4)&p=0\\ 0<p\le 1&[-2,4)&p=1\\ p>1&[-2,4]&p=2 \end{array} No other parameter cases remain. Changing pp affects the boundary tests, not the radius or the open interval of absolute convergence.

Step 4: Reverse the endpoint pattern by signs. Within the given family, convergence at the right endpoint implies p>1p>1, which forces absolute convergence at the left endpoint too. Hence (−2,4](-2,4] is impossible in this family. A different series that works is ∑n=1∞(−1)n(x−1)nn3n.\boxed{\sum_{n=1}^{\infty}\frac{(-1)^n(x-1)^n}{n3^n}.} Its radius is 33. At x=4x=4 it is alternating harmonic and converges conditionally; at x=−2x=-2 it is the divergent positive harmonic series. This explicitly separates a restriction of the chosen family from a restriction on power series in general.

Original worksheet page 2: question and worked solution for 6-1-009

Original worksheet layout. Use Enlarge or open the PDF for a closer view.