Determine The Convergence Set Of The Given Power Series

Unveiling the convergence set of a power series is akin to mapping the terrain where the series behaves predictably, yielding finite and meaningful sums. This determination hinges on understanding the radius of convergence and meticulously analyzing the endpoints of the interval it defines.

Decoding Power Series

A power series, in its essence, is an infinite series of the form:

$\sum_{n=0}^{\infty} c_n (x - a)^n = c_0 + c_1(x-a) + c_2(x-a)^2 + c_3(x-a)^3 + \dots$

Where:

• $x$ is a variable.
• $c_n$ represents the coefficients of the series, which are constants.
• $a$ is the center of the power series.

The convergence of this series, i.e., whether it results in a finite value or diverges to infinity, depends critically on the value of x. The set of all x values for which the power series converges is known as its convergence set.

The Radius of Convergence: A Guiding Light

The radius of convergence (R) is a non-negative real number or $\infty$ that dictates the interval within which the power series converges. Think of it as the "reach" of the power series from its center a.

• If $R > 0$, the power series converges for all x such that $|x - a| < R$, which means $a - R < x < a + R$.
• If $R = \infty$, the power series converges for all real numbers x.
• If $R = 0$, the power series converges only at $x = a$.

Unveiling the Radius: Methods of Determination

Two primary methods are employed to calculate the radius of convergence:

1. The Ratio Test: This test is particularly effective when the coefficients $c_n$ involve factorials or exponential terms. The ratio test states that if

   $L = \lim_{n \to \infty} \left| \frac{c_{n+1}}{c_n} \right|$

   Then:

   • $R = \frac{1}{L}$ if $0 < L < \infty$
   • $R = \infty$ if $L = 0$
   • $R = 0$ if $L = \infty$

   Applying this to our power series, we compute:

   $L = \lim_{n \to \infty} \left| \frac{c_{n+1}(x-a)^{n+1}}{c_n(x-a)^n} \right| = \lim_{n \to \infty} \left| \frac{c_{n+1}}{c_n} \right| |x-a|$

   For convergence, we require $L < 1$. Therefore:

   $\lim_{n \to \infty} \left| \frac{c_{n+1}}{c_n} \right| |x-a| < 1$

   $|x-a| < \frac{1}{\lim_{n \to \infty} \left| \frac{c_{n+1}}{c_n} \right|}$

   Hence, $R = \frac{1}{\lim_{n \to \infty} \left| \frac{c_{n+1}}{c_n} \right|}$

2. The Root Test: The root test is advantageous when the coefficients $c_n$ contain terms raised to the power of n. The root test states that if

   $L = \lim_{n \to \infty} \sqrt[n]{|c_n|}$

   Then:

   • $R = \frac{1}{L}$ if $0 < L < \infty$
   • $R = \infty$ if $L = 0$
   • $R = 0$ if $L = \infty$

   Applying this to our power series, we compute:

   $L = \lim_{n \to \infty} \sqrt[n]{|c_n (x-a)^n|} = \lim_{n \to \infty} \sqrt[n]{|c_n|} |x-a|$

   For convergence, we require $L < 1$. Therefore:

   $\lim_{n \to \infty} \sqrt[n]{|c_n|} |x-a| < 1$

   $|x-a| < \frac{1}{\lim_{n \to \infty} \sqrt[n]{|c_n|}}$

   Hence, $R = \frac{1}{\lim_{n \to \infty} \sqrt[n]{|c_n|}}$

Example 1: Applying the Ratio Test

Consider the power series $\sum_{n=0}^{\infty} \frac{x^n}{n!}$. Here, $c_n = \frac{1}{n!}$ and $a = 0$.

Using the ratio test:

$L = \lim_{n \to \infty} \left| \frac{c_{n+1}}{c_n} \right| = \lim_{n \to \infty} \left| \frac{1/(n+1)!}{1/n!} \right| = \lim_{n \to \infty} \left| \frac{n!}{(n+1)!} \right| = \lim_{n \to \infty} \frac{1}{n+1} = 0$

Therefore, $R = \frac{1}{L} = \frac{1}{0} = \infty$. This indicates that the power series converges for all real numbers x.

Example 2: Applying the Root Test

Consider the power series $\sum_{n=0}^{\infty} \frac{(x-2)^n}{4^n}$. Here, $c_n = \frac{1}{4^n}$ and $a = 2$.

Using the root test:

$L = \lim_{n \to \infty} \sqrt[n]{|c_n|} = \lim_{n \to \infty} \sqrt[n]{\left| \frac{1}{4^n} \right|} = \lim_{n \to \infty} \frac{1}{4} = \frac{1}{4}$

Therefore, $R = \frac{1}{L} = \frac{1}{1/4} = 4$. This implies the power series converges for $|x-2| < 4$, or $-2 < x < 6$.

Endpoint Examination: The Decisive Step

Determining the radius of convergence only reveals the interval of convergence, which is $(a - R, a + R)$. The convergence set, however, requires us to investigate the behavior of the power series at the endpoints of this interval, namely $x = a - R$ and $x = a + R$. At these points, the series may converge conditionally, converge absolutely, or diverge.

The key is to substitute each endpoint value into the original power series and then analyze the resulting numerical series using convergence tests suitable for numerical series (e.g., the alternating series test, the comparison test, the integral test, etc.).

• If the series converges at an endpoint, include that endpoint in the convergence set by using a square bracket in the interval notation.
• If the series diverges at an endpoint, exclude that endpoint from the convergence set by using a parenthesis in the interval notation.

Let's revisit our previous examples to illustrate endpoint analysis.

Example 1 (Continued): $\sum_{n=0}^{\infty} \frac{x^n}{n!}$

We found $R = \infty$, so the interval of convergence is $(-\infty, \infty)$. Since the interval encompasses all real numbers, there are no endpoints to test. The convergence set is $(-\infty, \infty)$.

Example 2 (Continued): $\sum_{n=0}^{\infty} \frac{(x-2)^n}{4^n}$

We found $R = 4$, so the interval of convergence is $(-2, 6)$. We now need to test the endpoints:

• At x = -2: The series becomes $\sum_{n=0}^{\infty} \frac{(-2-2)^n}{4^n} = \sum_{n=0}^{\infty} \frac{(-4)^n}{4^n} = \sum_{n=0}^{\infty} (-1)^n$. This is an alternating series, but it fails the alternating series test because $\lim_{n \to \infty} (-1)^n$ does not exist (it oscillates between -1 and 1). Therefore, the series diverges at $x = -2$.

• At x = 6: The series becomes $\sum_{n=0}^{\infty} \frac{(6-2)^n}{4^n} = \sum_{n=0}^{\infty} \frac{4^n}{4^n} = \sum_{n=0}^{\infty} 1$. This series clearly diverges since we are adding 1 infinitely many times.

Therefore, the convergence set for this power series is $(-2, 6)$. Neither endpoint is included.

Strategic Approaches for Endpoint Convergence Testing

Choosing the correct convergence test for the endpoint series is crucial. Here's a guide:

• Alternating Series Test: Apply this when the series at the endpoint alternates in sign. Ensure that the absolute value of the terms decreases monotonically to zero.
• Comparison Test (Direct or Limit): Compare the endpoint series with a known convergent or divergent series. This is useful when the terms of the series resemble those of a p-series or a geometric series.
• Integral Test: If the terms of the series can be represented by a continuous, positive, and decreasing function, compare the series to the integral of that function. This is often effective for series involving logarithmic or inverse trigonometric functions.
• Divergence Test (nth Term Test): Always a good first step. If the limit of the terms of the series does not approach zero, the series diverges.

Illustrative Examples: A Deeper Dive

Let's explore more examples to solidify our understanding.

Example 3: Determine the convergence set of the power series $\sum_{n=1}^{\infty} \frac{(x+1)^n}{n}$.

1. Find the Radius of Convergence: $c_n = \frac{1}{n}$ and $a = -1$. Using the ratio test:

   $L = \lim_{n \to \infty} \left| \frac{c_{n+1}}{c_n} \right| = \lim_{n \to \infty} \left| \frac{1/(n+1)}{1/n} \right| = \lim_{n \to \infty} \frac{n}{n+1} = 1$

   Therefore, $R = \frac{1}{L} = 1$. The interval of convergence is $(-1-1, -1+1) = (-2, 0)$.

2. Test the Endpoints:

   • At x = -2: The series becomes $\sum_{n=1}^{\infty} \frac{(-2+1)^n}{n} = \sum_{n=1}^{\infty} \frac{(-1)^n}{n}$. This is an alternating series. Since $\frac{1}{n}$ is a decreasing sequence that converges to 0, by the alternating series test, this series converges.

   • At x = 0: The series becomes $\sum_{n=1}^{\infty} \frac{(0+1)^n}{n} = \sum_{n=1}^{\infty} \frac{1}{n}$. This is the harmonic series, which is a well-known divergent series.

Therefore, the convergence set for this power series is $[-2, 0)$. The left endpoint is included, but the right endpoint is not.

Example 4: Determine the convergence set of the power series $\sum_{n=0}^{\infty} n! (x-3)^n$.

1. Find the Radius of Convergence: $c_n = n!$ and $a = 3$. Using the ratio test:

   $L = \lim_{n \to \infty} \left| \frac{c_{n+1}}{c_n} \right| = \lim_{n \to \infty} \left| \frac{(n+1)!}{n!} \right| = \lim_{n \to \infty} (n+1) = \infty$

   Therefore, $R = \frac{1}{L} = 0$.

2. Test the Endpoints: Since $R = 0$, the interval of convergence is just the single point $x = 3$. The series only converges when $x = 3$. Thus, the convergence set is ${3}$.

Example 5: Determine the convergence set of the power series $\sum_{n=1}^{\infty} \frac{(x-5)^n}{n^2 4^n}$.

1. Find the Radius of Convergence: $c_n = \frac{1}{n^2 4^n}$ and $a = 5$. Using the root test:

   $L = \lim_{n \to \infty} \sqrt[n]{|c_n|} = \lim_{n \to \infty} \sqrt[n]{\left| \frac{1}{n^2 4^n} \right|} = \lim_{n \to \infty} \frac{1}{(\sqrt[n]{n})^2 \cdot 4} = \frac{1}{1^2 \cdot 4} = \frac{1}{4}$

   Therefore, $R = \frac{1}{L} = 4$. The interval of convergence is $(5-4, 5+4) = (1, 9)$.

2. Test the Endpoints:

   • At x = 1: The series becomes $\sum_{n=1}^{\infty} \frac{(1-5)^n}{n^2 4^n} = \sum_{n=1}^{\infty} \frac{(-4)^n}{n^2 4^n} = \sum_{n=1}^{\infty} \frac{(-1)^n}{n^2}$. This is an alternating series. Since $\frac{1}{n^2}$ is a decreasing sequence that converges to 0, by the alternating series test, this series converges. Moreover, $\sum_{n=1}^{\infty} \left| \frac{(-1)^n}{n^2} \right| = \sum_{n=1}^{\infty} \frac{1}{n^2}$ is a convergent p-series (p = 2 > 1). Therefore, the series converges absolutely.

   • At x = 9: The series becomes $\sum_{n=1}^{\infty} \frac{(9-5)^n}{n^2 4^n} = \sum_{n=1}^{\infty} \frac{4^n}{n^2 4^n} = \sum_{n=1}^{\infty} \frac{1}{n^2}$. This is a convergent p-series (p = 2 > 1).

Therefore, the convergence set for this power series is $[1, 9]$. Both endpoints are included.

Common Pitfalls and Strategies

• Forgetting Endpoint Testing: The most common mistake. Always remember to test the endpoints to determine the complete convergence set.
• Incorrectly Applying Convergence Tests: Ensure you choose the appropriate convergence test for the given series.
• Algebraic Errors: Double-check your algebraic manipulations when simplifying the series after substituting the endpoints.
• Misinterpreting the Radius of Convergence: Remember that the radius of convergence only gives you the interval of convergence; the endpoints require separate analysis.
• When Ratio/Root Test Fails: If the limit in the ratio or root test does not exist, these tests are inconclusive, and other methods must be used to determine the radius of convergence. This is rare but possible.

The Significance of the Convergence Set

The convergence set is not merely a theoretical construct; it has profound implications:

• Domain of Definition: The convergence set defines the domain over which the power series represents a valid function. Outside this set, the power series diverges and does not provide meaningful values.
• Approximation and Error Analysis: Within the convergence set, the power series can be used to approximate functions. Understanding the convergence behavior allows for error estimation when truncating the series to a finite number of terms.
• Solving Differential Equations: Power series are often used to find solutions to differential equations. The convergence set of the resulting power series solution determines the interval over which the solution is valid.
• Complex Analysis: In complex analysis, the convergence set extends to the complex plane, defining the region of convergence for complex power series. This has significant implications for the analytic properties of functions.

Conclusion: Mastering Convergence

Determining the convergence set of a power series is a fundamental skill in calculus and analysis. By meticulously calculating the radius of convergence using the ratio or root test and rigorously examining the endpoints using appropriate convergence tests, we can accurately map the region where the power series behaves predictably and represents a meaningful function. A strong understanding of these techniques is essential for utilizing power series in approximation, differential equations, and various advanced mathematical applications. Remember to always test those endpoints!