Problem 8 - Complex Analysis

Question

Assume, that the power series \(P(z)=\sum_{n=0}^{\infty} a_{n} z^{n}\) has a positive radius of convergence, and that in the convergence disk the equality \(P(z)=P(-z)\), holds. Then \(a_{n}=0\) for all impair \(n\).

Step-by-Step Solution

Answer

All coefficients for odd powers are zero, so \( a_n = 0 \) for odd \( n \).

Step 1: Analyze the Power Series Condition

The problem states that the power series \( P(z) = \sum_{n=0}^{\infty} a_n z^n \) is equal to itself with \( z \) replaced by \(-z\), i.e., \( P(z) = P(-z) \) inside its radius of convergence. This indicates that the series must be even.

Step 2: Substitute and Simplify

Let's write the expression for \( P(-z) \): \( P(-z) = \sum_{n=0}^{\infty} a_n (-z)^n = \sum_{n=0}^{\infty} a_n (-1)^n z^n \). Comparing: \( \sum_{n=0}^{\infty} a_n z^n = \sum_{n=0}^{\infty} a_n (-1)^n z^n \).

Step 3: Compare Coefficients

Since \( P(z) = P(-z) \) must hold for each power of \( z \), the coefficients of each corresponding term must be identical: \( a_n = a_n (-1)^n \).

Step 4: Solve for Odd Degrees

For odd \( n \), \((-1)^n = -1\). Thus, the equation \( a_n = a_n (-1)^n \) becomes \( a_n = -a_n \). This can only be true if \( a_n = 0 \) for all odd \( n \).

Step 5: Conclude the Solution

Thus, all coefficients \( a_n \) corresponding to odd powers must be zero, so \( a_{n} = 0 \) for all odd \( n \).

Key Concepts

Radius of Convergence

The radius of convergence is an essential concept in understanding power series. It refers to the distance from the center of the series within which the series converges. For a power series like \( P(z) = \sum_{n=0}^{\infty} a_n z^n \), the radius of convergence, often denoted \( R \), is calculated using the formula \( \lim_{n \to \infty} \sqrt[n]{|a_n|} = \frac{1}{R} \).

When the radius of convergence \( R \) is positive, there is a disk in the complex plane centered around zero wherein the series sums to a definite result. Beyond this radius, the series may diverge, meaning it does not sum to a finite number. Understanding this allows us to determine where manipulations or substitutions, like replacing \( z \) with \( -z \), are valid within the series.

In this exercise, the power series possesses a positive radius of convergence, indicating that operations within this disk, such as setting \( P(z) = P(-z) \), hold true and intently guide us towards identifying properties like symmetry in the coefficients.

Even Function

An even function is a function that remains unchanged when its input is replaced with its negative counterpart. Mathematically, a function \( f(x) \) is even if \( f(x) = f(-x) \) for all \( x \) in its domain. This property lies at the heart of many polynomials and power series problems.

In this exercise, given \( P(z) = P(-z) \), we identify that \( P(z) \) must be an even function. This symmetry property implies that only coefficients of even powers of \( z \) contribute to its value, while those of odd powers must vanish to zero.

This results in a unique insight into the structure of the power series: any term with an odd exponent will necessarily have a zero coefficient. Understanding this property helps simplify many complex problems and sketches out a fundamental trait of even power series.

Coefficient Comparison

Coefficient comparison is a critical step when working with power series as it simplifies equations to compare terms directly. This method involves equating coefficients from both sides of a polynomial or series equation.

In our exercise, after expanding both \( P(z) \) and \( P(-z) \), we compare corresponding coefficients \( a_n \) and \( a_n (-1)^n \) for each power of \( z \). For the series to remain identical \( P(z) = P(-z) \), their coefficients must match exactly for every \( n \).

For even \( n \), \( (-1)^n = 1 \), and we see \( a_n = a_n \). For odd \( n \), however, \( (-1)^n = -1 \), leading to \( a_n = -a_n \), which implies that \( a_n = 0 \) since a number equals its negative only if it is zero. Such comparisons afford a clear path to determining conditions or constraints in more complex series or functions.