Comprehensive Guide to Power Series Convergence and Convergence and Calculus and Calculus of Power Series

Fundamental Definition and Structure of Power Series

• Conceptual Overview: A power series is a series that includes a variable (typically $x$) raised to a power determined by the index $n$. This distinguishes it from previously studied series which consisted only of constants or terms involving $n$. It is described by the speaker as where "the rubber hits the road" in series analysis.

• Mathematical Variability: Unlike a standard series (e.g., $a_n = \frac{n^2}{n^3 + 1}$ or $a_n = \ln(n)$), a power series introduces a variable raised to a power, creating a relationship between the index of summation and the exponent of the variable.

• Two Primary Types of Power Series:

  1. Centered at the Origin (Zero):

     • General Form: $\sum_{n=0}^{\infty} a_n x^n = a_0 + a_1 x + a_2 x^2 + a_3 x^3 + \dots$

     • Characteristics: In this form, nothing is added to or subtracted from the variable $x$. It is mathematically equivalent to $(x - 0)^n$.

     • First Few Terms: When $n=0$, the term is $a_0 x^0 = a_0 \times 1 = a_0$. The subsequent terms involve increasing powers of $x$.

  2. Centered at a Constant ($C$):

     • General Form: $\sum_{n=0}^{\infty} a_n (x - C)^n = a_0 + a_1(x - C) + a_2(x - C)^2 + a_3(x - C)^3 + \dots$

     • Characteristics: The variable term reflects a shift from the origin. If the expression is $(x - 3)$, the series is centered at $3$. If it is $(x + 2)$, the series is centered at $-2$, effectively being $(x - (-2))$.

     • The Power of Zero: Regardless of centering, any term raised to the $0$ power results in $1$, making the first coefficient $a_0$ a constant start for the expansion.

Illustrative Examples of Power Series Expansions

• Example 1: Alternating Series Centered at Zero:

  • Formula: $\sum_{n=0}^{\infty} \frac{(-1)^n x^n}{n!}$

  • Sequence Component ($a_n$): $\frac{(-1)^n}{n!}$

  • Expansion Process:

    • $n=0$: $\frac{(-1)^0 x^0}{0!} = \frac{1 \times 1}{1} = 1$ (Recall: $0!$ is defined as $1$).

    • $n=1$: $\frac{(-1)^1 x^1}{1!} = -x$.

    • $n=2$: $\frac{(-1)^2 x^2}{2!} = \frac{x^2}{2!}$.

    • $n=3$: $\frac{(-1)^3 x^3}{3!} = -\frac{x^3}{3!}$.

  • Resulting Series: $1 - x + \frac{x^2}{2!} - \frac{x^3}{3!} + \dots$

• Example 2: Complex Centering (Pi over Four):

  • Formula: $\sum_{n=0}^{\infty} \frac{(-1)^n (x - \pi/4)^{2n+1}}{(2n+1)!}$

  • Center: This series is centered at $C = \pi/4$.

  • Expansion Process:

    • $n=0$: $\frac{(-1)^0 (x - \pi/4)^1}{1!} = (x - \pi/4)$.

    • $n=1$: $\frac{(-1)^1 (x - \pi/4)^3}{3!} = -\frac{(x - \pi/4)^3}{3!}$.

    • $n=2$: $\frac{(-1)^2 (x - \pi/4)^5}{5!} = \frac{(x - \pi/4)^5}{5!}$.

  • Pattern: The powers and denominators are restricted to odd numbers ($2n+1$), resulting in an alternating power series centered at $\pi/4$.

Power Series as Functions and the Concept of Domain

• Functional Representation: A power series defines a function of $x$. As $n$ sums to infinity, the result is an expression where the variable is $x$, denoted as $f(x)$.

• Convergence and the Sum: When a specific value for $x$ is plugged into the series, the series will either converge to a finite sum or diverge.

  • Convergent Input: If the series converges for a specific $x$, the sum is the output value of the function.

  • Divergent Input: If the series diverges, the function is undefined for that value of $x$.

• Domain of the Function: The domain of a power series function consists of all values of $x$ for which the series converges. It is the teacher's primary objective to identify this domain.

• Geometric Series Connection:

  • Consider the basic series $\sum_{n=0}^{\infty} x^n = 1 + x + x^2 + x^3 + \dots$

  • This is a geometric series where the first term $a = 1$ and the common ratio $r = x$.

  • A geometric series converges only when $|r| < 1$. Therefore, this power series converges for $|x| < 1$ (or $-1 < x < 1$).

  • The sum of this geometric series is $\frac{a}{1 - r} = \frac{1}{1 - x}$. Thus, the series represents the function $f(x) = \frac{1}{1 - x}$ on the interval $(-1, 1)$.

Conditions for Convergence: Three Scenarios

Every power series centered at $C$ follows exactly one of these convergence patterns:

1. Case A: Convergence at the Center Only:

   • The series converges only for $x = C$.

   • At this specific point, every term except the first ($a_0$) becomes zero.

   • The Radius of Convergence ($R$) is $0$. The interval is just the single point $x=C$.

2. Case B: Convergence for All Real Numbers:

   • The series converges for every value of $x$.

   • The Radius of Convergence ($R$) is $\infty$.

   • The interval of convergence is $(-\infty, \infty)$.

3. Case C: Convergence within a Specific Radius:

   • There exists some finite number $R > 0$ such that the series converges if $|x - C| < R$ and diverges if $|x - C| > R$.

   • $R$ is defined as the Radius of Convergence.

   • The behavior at the endpoints ($x = C - R$ and $x = C + R$) must be tested individually using previous convergence tests (e.g., P-series, Alternating Series Test).

Procedural Methodology for Finding Convergence

• The Ratio Test: This is the primary tool for determining convergence because it evaluates the limit of the ratio of successive terms and compares it to $1$.

  • Set up the limit: $\lim_{n \to \infty} | \frac{a_{n+1}}{a_n} |$

  • Solve for $|x - C| < 1$.

  • Isolate the variable term to determine the Radius of Convergence ($R$).

• Simplification Techniques:

  • Factorials: $\frac{(n+1)!}{n!} = n+1$.

  • Powers: $\frac{x^{n+1}}{x^n} = x$.

  • Absolute Values: Keep absolute values on terms involving $x$ because $x$ can be negative, but they can often be dropped for terms involving $n$ if $n$ is positive.

• Checking Endpoints: The Ratio Test is inconclusive when the limit equals $1$. After finding the radius, substitute the endpoint values into the original series to create a constant series and apply standard tests.

Detailed Step-By-Step Examples

• Example 1: Convergence at Only One Point

  • Series: $\sum_{n=0}^{\infty} n! x^n$

  • Ratio Test: $\lim_{n \to \infty} | \frac{(n+1)! x^{n+1}}{n! x^n} | = \lim_{n \to \infty} | (n+1)x |$

  • Analysis: For any $x \neq 0$, the limit is $\infty$. Since $\infty > 1$, the series diverges. If $x = 0$, the limit is $0$, which is less than $1$. Therefore, the series converges only at $x = 0$. Radius $R = 0$.

• Example 2: Convergence for All X

  • Series: $\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+2}}{(2n+2)!}$

  • Ratio Test: $\lim_{n \to \infty} | \frac{x^{2n+4}}{(2n+4)!} \times \frac{(2n+2)!}{x^{2n+2}} | = \lim_{n \to \infty} | \frac{x^2}{(2n+4)(2n+3)} |$

  • Analysis: For any finite $x$, the denominator grows to $\infty$, making the limit $0$. Since $0 < 1$ always, the series converges for all $x$. Radius $R = \infty$.

• Example 3: Radius and Interval with Endpoints

  • Series: $\sum_{n=1}^{\infty} \frac{x^n}{n}$

  • Ratio Test: $\lim_{n \to \infty} | \frac{x^{n+1}}{n+1} \times \frac{n}{x^n} | = \lim_{n \to \infty} | \frac{n}{n+1} \cdot x | = 1 \cdot |x| = |x|$

  • Convergence Criterion: Converges if $|x| < 1$. Radius $R = 1$.

  • Endpoint Check:

    • Plug in $x = -1$: $\sum \frac{(-1)^n}{n}$. This is the Alternating Harmonic Series, which converges.

    • Plug in $x = 1$: $\sum \frac{1}{n}$. This is the Harmonic Series, which diverges.

  • Final Domain/Interval: $[-1, 1)$.

• Example 4: Centered at Two

  • Series: $\sum_{n=1}^{\infty} \frac{(x - 2)^n}{n^2 3^n}$

  • Radius Islation: Through the ratio test, we find the limit $\frac{|x - 2|}{3}$. Convergence requires $\frac{|x - 2|}{3} < 1 \implies |x - 2| < 3$. This identifies the Radius $R = 3$.

  • Interval Calculation: $-3 < x - 2 < 3 \implies -1 < x < 5$.

  • Testing Endpoints:

    • $x = -1$: Results in $\sum \frac{(-1)^n}{n^2}$. Converges absolutely (P-series $P=2$).

    • $x = 5$: Results in $\sum \frac{1}{n^2}$. Converges (P-series $P=2$).

  • Final Interval: $[-1, 5]$.

Calculus of Power Series

• Term-By-Term Differentiation: Derivatives can be applied directly to the members of the sum.

  • If $f(x) = \sum a_n (x - C)^n$, then $f'(x) = \sum n a_n (x - C)^{n-1}$.

  • The derivative of the constant term ($a_0$) is zero, so the index of the derivative series usually starts at $n=1$.

  • The interval of convergence stays the same, though endpoint convergence may be lost.

• Term-By-Term Integration:

  • $\int f(x) dx = C + \sum a_n \frac{(x - C)^{n+1}}{n+1}$.

  • Do not forget to add the constant of integration ($C$). In series contexts, this is often found by evaluating the function at its center.

  • Integration generally preserves the interval of convergence and may gain convergence at endpoints.

Practical Application: Power Series Representation for $\ln(1 - x)$

• Goal: Find a power series representation for $f(x) = \ln(1 - x)$ on the interval $(-1, 1)$.

• Relationship: Observe that $\int \frac{1}{1 - x} dx = -\ln(1 - x)$.

• Base Series: Start with the geometric series $\frac{1}{1 - x} = 1 + x + x^2 + x^3 + \dots$

• Integration step:

  • $-\ln(1 - x) = \int (1 + x + x^2 + x^3 + \dots) dx = x + \frac{x^2}{2} + \frac{x^3}{3} + \frac{x^4}{4} + \dots + C$

  • Multiply by $-1$: $\ln(1 - x) = - (x + \frac{x^2}{2} + \frac{x^3}{3} + \dots) - C$

• Solve for Constant: Plug in $x = 0$. $\ln(1) = 0$, and all $x$ terms are $0$, so $-C = 0 \implies C = 0$.

• Final Series: $\ln(1 - x) = -\sum_{n=1}^{\infty} \frac{x^n}{n}$ for $x \in [-1, 1)$.