Problem 2 - Complex Analysis

Question

Show directly (without using theorem III.1.3): The power series \(\sum_{n=0}^{\infty} c_{n} z^{n}\) and the formally derived power series \(\sum_{n=1}^{\infty} n c_{n} z^{n-1}\) have the same radius of convergence \(r .\) Moreover, for all \(z \in U_{r}(0)\) one has \(P^{\prime}(z)=Q(z)\) Hint: For \(z, b \in U_{r}(0)\) $$ \begin{aligned} &P(z)-P(b)=\sum_{n=0}^{\infty} c_{n}\left(z^{n}-b^{n}\right)=(z-b) \sum_{n=1}^{\infty} c_{n} \varphi_{n}(z) \\ &\text { with } \varphi_{n}(z)=z^{n-1}+z^{n-2} b+\cdots+z b^{n-2}+b^{n-1} \end{aligned} $$

Step-by-Step Solution

Answer

Both power series share the same radius of convergence, and for \( z \in U_{r}(0) \), \( P'(z) = Q(z) \).

Step 1: Understand the Problem Statement

We need to show that both power series \( \sum_{n=0}^{\infty} c_{n} z^{n} \) and \( \sum_{n=1}^{\infty} n c_{n} z^{n-1} \) have the same radius of convergence \( r \), and for all \( z \in U_{r}(0) \), \( P^{\prime}(z) = Q(z) \).

Step 2: Recall the Definition of Radius of Convergence

The radius of convergence \( r \) of a power series \( \sum_{n=0}^{\infty} a_{n} z^{n} \) is given by \( r = \frac{1}{\limsup_{n\to\infty}|c_n|^{1/n}} \). Both series have the same coefficients \( c_n \), except the second series has a multiplication of \( n \), which does not change \( \limsup_{n\to\infty}|c_n|^{1/n} \). Therefore, they share the same radius of convergence.

Step 3: Use the Hint for Deriving P(z)

We are given \( P(z)-P(b)=\sum_{n=0}^{\infty} c_{n}(z^{n}-b^{n})=(z-b) \sum_{n=1}^{\infty} c_{n} \varphi_{n}(z) \). By the definition of derivative, the derivative \( P'(z) \) at a point is the limit of \( \frac{P(z) - P(b)}{z-b} \).

Step 4: Find Expression for Derivative using Hint

From the hint, \( P(z)-P(b) = (z-b)\sum_{n=1}^{\infty} c_{n} \varphi_{n}(z) \), so \( \frac{P(z) - P(b)}{z-b} = \sum_{n=1}^{\infty} c_{n} \varphi_{n}(z) \). By taking the limit as \( b \to z \), we obtain \( P'(z) = \sum_{n=1}^{\infty} c_{n} \varphi_{n}(z) \), which matches the series \( Q(z) \).

Step 5: Conclude the Relationship between P(z) and Q(z)

Thus, for all \( z \in U_{r}(0) \), it follows that \( P'(z) = Q(z) \). This confirms that the derivative of the power series \( P(z) \) is indeed equal to the series \( Q(z) \), meeting the problem's requirements.

Key Concepts

Power Series

A power series is a series of the form \( \sum_{n=0}^{\infty} a_n (z - z_0)^n \), where \( a_n \) are coefficients and \( z_0 \) is the center of the series. It is essentially a way of representing a function as an infinite sum of terms. In practical applications, these can be represented around specific points to approximate various functions. For a power series to approximate a function well, we have to consider its radius of convergence, \( r \). This is a critical concept in determining the domain over which the power series converges to the actual function.

The radius of convergence is calculated using the formula \( r = \frac{1}{\limsup_{n\to\infty}|a_n|^{1/n}} \). It means that the series only converges within the circle of radius \( r \) centered at \( z_0 \). Inside this circle, the power series converges, and our function is well-represented by it.

Complex Analysis

Complex analysis is a branch of mathematics that studies functions of complex variables. It's the study of complex numbers and the complex functions defined on them. Functions in complex analysis have derivatives similar to real-valued functions, but due to the properties of complex numbers, these derivatives have unique properties.

In complex analysis, the concept of power series is often used to express functions in a form that is easier to manipulate both analytically and computationally. Complex power series are especially powerful because they allow for the representation of complex functions within their radius of convergence.

• For complex functions \( f(z) \) represented by a power series, one can infer much about the function’s behavior across its domain.
• Complex analysis also involves exploring the transformations, mappings and boundaries of these functions, providing deeper insights.

For students, understanding how power series fit into complex analysis is crucial for analyzing complex functions, as it helps identify the convergence domain and other vital attributes of the function.

Derivative of a Power Series

The process of differentiating a power series involves finding the derivative of each term in the series. For a general power series given by \( \sum_{n=0}^{\infty} a_n z^n \), its derivative is \( \sum_{n=1}^{\infty} n a_n z^{n-1} \). This derivative power series maintains the same radius of convergence as the original power series due to the ratio definition involving coefficients not dependent on \( n \).

Derivatives of power series follow rules similar to the differentiation of polynomials, and you can essentially treat terms separately for differentiation. This makes calculating derivatives straightforward and highly beneficial for analysis.

• The derivative of the power series is significant because it allows us to understand changes in the function represented by the series.
• In problems with converging series in complex analysis, correctly identifying and calculating these derivatives ensures accurate conclusions about the behavior of functions near singularities.

Understanding derivatives is thus key for stepping beyond mere convergence to deeper functional insights, such as identifying critical points, behavior, and potential singularities in complex functions.