Problem 30 - Advanced Engineering Mathematics

Question

(a) Show that the power series \(\sum_{k=1}^{\infty} \frac{z^{k}}{k^{2}}\) converges at every point on its circle of convergence. (b) Show that the power series \(\sum_{k=1}^{\infty} k z^{k}\) diverges at every point on its circle of convergence.

Step-by-Step Solution

Answer

(a) The series converges on the circle. (b) The series diverges on the circle.

Step 1: Determine the Radius of Convergence for (a)

First, we need to find the radius of convergence of the series \(\sum_{k=1}^{\infty} \frac{z^k}{k^2}\). We use the formula for the radius of convergence, given by \(\frac{1}{R} = \limsup_{k \to \infty} \sqrt[k]{\left| \frac{1}{k^2} \right|}\).Simplifying, \(\lim_{k \to \infty} \frac{1}{k^{2/k}} = 1\). Therefore, \(R = 1\). The circle of convergence is \(|z| < 1\), and we need to check if the series converges on the boundary \(|z| = 1\).

Step 2: Convergence Analysis on the Boundary for (a)

For \(|z| = 1\), consider \(z = e^{i\theta}\), where \(\theta\) is real. The series becomes \(\sum_{k=1}^{\infty} \frac{1}{k^{2}} e^{i k \theta}\), which parallels the convergence of \(\sum_{k=1}^{\infty} \frac{1}{k^2}\).The series \(\sum_{k=1}^{\infty} \frac{1}{k^2}\) is a well-known p-series with \(p = 2 > 1\) and converges. By the absolute convergence, the series \(\sum_{k=1}^{\infty} \frac{1}{k^2} e^{i k \theta}\) also converges absolutely and in turn converges as \(z\) traces the boundary \(|z| = 1\).

Step 3: Determine the Radius of Convergence for (b)

Next, we find the radius of convergence for \(\sum_{k=1}^{\infty} k z^{k}\). Using the same method, \(\frac{1}{R} = \limsup_{k \to \infty} \sqrt[k]{k}\).Simplifying, as \(k^{1/k} \to 1\) as \(k \to \infty\), \(R = 1\). The circle of convergence is again \(|z| < 1\), so we need to analyze the behavior on the circle \(|z| = 1\).

Step 4: Divergence Analysis on the Boundary for (b)

On \(|z| = 1\), let \(z = e^{i\theta}\). The series becomes \(\sum_{k=1}^{\infty} k e^{i k \theta}\). This series resembles the classical harmonic series, known for its divergence.The terms \(k e^{i k \theta}\) relate directly to the divergence condition of the harmonic series since the modulus of each term \(|k e^{i k \theta}| = k\) confirms divergence due to the unbounded increase in magnitude. Hence, \(\sum_{k=1}^{\infty} k e^{i k \theta}\) diverges for any \(\theta\).

Key Concepts

Radius of Convergence

The radius of convergence is a critical concept in understanding where a power series converges. When dealing with power series, the radius of convergence tells us within which circle (in the complex plane) our series will sum up to a finite value.
In mathematical terms, if we have a power series like \[\sum_{k=1}^{\infty} a_k z^k\]we find its radius of convergence \( R \) using the formula:\[\frac{1}{R} = \limsup_{k \to \infty} \sqrt[k]{|a_k|}\]
Essentially, this formula checks the growth rate of the coefficients \( a_k \) and how they affect convergence.

• If \( |z| < R \), the series definitely converges.
• If \( |z| > R \), it diverges.
• If \( |z| = R \), further test like a convergence or divergence analysis is needed.

This analysis of the boundary \( |z| = R \) was crucial in the original exercise to demonstrate convergence or divergence at the limit of the circle of convergence.

Power Series

Power series are infinite series that take the form \[\sum_{k=0}^{\infty} a_k z^k\] where each term consists of the variable \( z \) raised to a power \( k \), scaled by a coefficient \( a_k \).
These series are fundamental in complex analysis for representing functions as infinite sums.
The focus of our original exercise was on two specific power series:

• \( \sum_{k=1}^{\infty} \frac{z^k}{k^2} \)
• \( \sum_{k=1}^{\infty} k z^k \)

Power series can model complex functions within their circle of convergence. The coefficients \( a_k \) dictate the convergence properties, including how rapidly they converge. Understanding this allows mathematicians to use power series for tasks like approximating functions, solving differential equations, and more.

Convergence and Divergence Analysis

Analyzing whether a series converges or diverges is the heart of working with power series. In the exercise, convergence was proven on the boundary for the series \( \sum_{k=1}^{\infty} \frac{z^k}{k^2} \), while divergence was proven for \( \sum_{k=1}^{\infty} k z^k \).
To establish convergence, especially at the boundary \( |z| = R \), you often look at the form of the series or utilize known tests.
In the series, \( \sum_{k=1}^{\infty} \frac{z^k}{k^2} \), it was akin to a known convergent series \( \sum_{k=1}^{\infty} \frac{1}{k^2} \), ensuring convergence due to its absolute nature.
Conversely, the divergence of \( \sum_{k=1}^{\infty} k z^k \) was aligned with the harmonic series' divergence pattern, renowned for being unbounded.

• **Convergent Series:** Terms progressively become smaller in a controlled manner, reaching a finite sum.
• **Divergent Series:** Either terms do not shrink adequately, or they expand, resulting in an infinite sum.

Remember, observing convergence might not fully solve a problem; understanding different tests like comparison tests or integral tests can enhance your analysis of power series. This exploration of behavior within or on the edge of the circle of convergence ensures complete examination of a series' properties.