Problem 1 - Complex Analysis

Question

Find the convergence radius for each of the series: (a) \(\sum_{n=0}^{\infty} n ! z^{n}\), (b) \(\sum_{n=0}^{\infty} \frac{z^{n}}{e^{n}}\), (c) \(\sum_{n=1}^{\infty} \frac{n !}{n^{n}} z^{n}\), (d) \(\sum_{n=1}^{\infty} a_{n} z^{n}, \quad a_{n}:=\left\\{\begin{array}{ll}a^{n}, & n \text { pair, } \\ b^{n}, & n \text { impair, }\end{array} \quad b>a>0\right.\)

Step-by-Step Solution

Answer

(a) 0, (b) e, (c) e, (d) 1/b

Step 1: Identify the Formula for the Radius of Convergence

The radius of convergence \( R \) for a power series \( \sum_{n=0}^{\infty} c_n z^n \) can be found using the formula \( R = \frac{1}{\limsup_{n \to \infty} |c_n|^{1/n}} \). This formula will be used for each part of the question.

Step 2: Calculate for Series (a)

For series \( \sum_{n=0}^{\infty} n! z^{n} \), the coefficients are \( c_n = n! \). Thus, \( |c_n|^{1/n} = (n!)^{1/n} \).To find \( \limsup_{n \to \infty} |c_n|^{1/n} \), we note that \( (n!)^{1/n} \) grows rapidly, leading to the conclusion that the limit supremum approaches infinity. Therefore, \( R = \frac{1}{\infty} = 0 \).

Step 3: Calculate for Series (b)

For series \( \sum_{n=0}^{\infty} \frac{z^{n}}{e^{n}} \), the coefficients are \( c_n = \frac{1}{e^n} \). So, \( |c_n|^{1/n} = \left(\frac{1}{e^n}\right)^{1/n} = \frac{1}{e} \).The limit supremum is \( \frac{1}{e} \), thus \( R = \frac{1}{\frac{1}{e}} = e \).

Step 4: Calculate for Series (c)

For series \( \sum_{n=1}^{\infty} \frac{n!}{n^n} z^{n} \), the coefficients are \( c_n = \frac{n!}{n^n} \). Thus, \( |c_n|^{1/n} = \left(\frac{n!}{n^n}\right)^{1/n} = \frac{(n!)^{1/n}}{n} \).Using Stirling's approximation, \( n! \approx \sqrt{2\pi n} \left(\frac{n}{e}\right)^n \), leads to \( (n!)^{1/n} \approx \frac{n}{e} \), so \( \frac{(n!)^{1/n}}{n} \approx \frac{1}{e} \). Thus, \( R = e \).

Step 5: Calculate for Series (d)

For series \( \sum_{n=1}^{\infty} a_n z^{n} \), where \( a_n \) is piecewise:- If \( n \) is even, \( a_n = a^n \)- If \( n \) is odd, \( a_n = b^n \)The coefficients alternate between \( a^n \) and \( b^n \). Since \( b > a > 0 \), we focus on \( b^n \) for the limit supremum.Thus, \( |a_n|^{1/n} = b \) when considering the larger factor. Therefore, \( R = \frac{1}{b} \).

Key Concepts

Radius of Convergence

The radius of convergence is a crucial concept in complex analysis related to power series. It helps to determine the set of values for which a given power series converges. In simpler terms, it's the "distance" from the center of the series to the points where the series stops converging.

We often use the Cauchy-Hadamard formula to calculate the radius of convergence, denoted as \( R \). This formula is given by:

• \( R = \frac{1}{\limsup_{n \to \infty} |c_n|^{1/n}} \)

Here, \( c_n \) represents the coefficients of the power series \( \sum_{n=0}^{\infty} c_n z^n \). The formula calculates \( R \) using the limit supremum of the sequence \( |c_n|^{1/n} \). If the limit supremum approaches infinity, the radius \( R \) will be zero, indicating that the series only converges at its center. Understanding this concept is invaluable for exploring the convergence behaviors of complex series.

Power Series

A power series is an infinite series of the form \( \sum_{n=0}^{\infty} c_n z^n \) where \( z \) is a complex variable, and \( c_n \) are coefficients. It extends the idea of a polynomial, which is a finite sum, to an infinite sum, allowing it to describe more complex functions over a certain domain.

Power series are often used in calculus and complex analysis to represent functions as they allow for easy manipulation and provide approximations of various functions around a central point. This central point is the point of convergence of the series.

Key properties of power series include:

• The series' behavior outside its radius of convergence depends heavily on the nature of \( c_n \) and how they decrease or increase.
• Within its radius of convergence, a power series will converge absolutely, meaning it will converge whether or not the terms are ordered differently.

Finding the radius of convergence for these series helps understand the extent of the series' applicability in approximating functions.

Limit Supremum

The limit supremum, or lim sup, is an essential mathematical concept used in analyzing the behavior of sequences, particularly useful in determining convergence properties of power series. For a sequence \( a_n \), the lim sup is defined as the supremum (or the least upper bound) of the set of subsequential limits of \( a_n \).

In simpler terms, \( \limsup_{n \to \infty} a_n \) represents the largest value that subsequences can approach. It's a way to capture the upper bound of fluctuations within a sequence as it progresses towards infinity.

• For example, in the context of power series, we examine \( \limsup_{n \to \infty} |c_n|^{1/n} \) to derive the radius of convergence.

The concept helps break down complex sequences into manageable parts, providing a crucial insight into how these sequences behave, particularly when dealing with complex coefficients in power series.

Stirling's Approximation

Stirling's approximation is a powerful mathematical tool that provides an approximate value for factorials, particularly relevant when dealing with large numbers. It is especially handy in complex analysis for simplifying expressions that involve factorials, making them easier to analyze.

The approximation is given by:

• \( n! \approx \sqrt{2\pi n} \left(\frac{n}{e}\right)^n \)

Applying Stirling's approximation can simplify calculations in problems like finding the radius of convergence for power series with factorial components. For example, by approximating \( n! \), one can more easily evaluate the behavior of \( (n!)^{1/n} \), which is needed to find the radius of convergence using the limit supremum.

Overall, Stirling's approximation is not just a "tool" for computation but a bridge to transitioning between burdensome factorial calculations and more straightforward analytics, streamlining the analysis process in complex situations.