Problem 2 - Complex Analysis

Question

Let \(f: U_{r}(a) \rightarrow \mathbb{C}\) be analytic \((a \in C, r>0) .\) Show that the following properties are equivalent: (a) The point \(a\) is a pole of \(f\) of order \(k \in \mathbb{N}\). (b) There exist an open neighborhood \(U_{\rho}(a) \subseteq U_{r}(a)\) and an analytic function \(h: U_{\rho}(a) \rightarrow \mathbb{C}\), such that \(h(a) \neq 0\) and \(f(z)=\frac{h(z)}{(z-a)^{k}}\) for all \(z \in \dot{U}_{\rho}(a)\) (c) There exists an open neighborhood \(U_{\rho}(a) \subseteq U_{r}(a)\) of \(a\), and an analytic function \(g: U_{\rho}(a) \rightarrow \mathbb{C}\) not vanishing in \(\dot{U}_{\rho}(a)\), which has a zero of order \(k\) in \(a\), such that \(f=1 / g\) in \(\dot{U}_{\rho}(a)\) (d) There exist positive constants \(M_{1}\) and \(M_{2}\), such that we have for all \(z\) in a punctured neighborhood of \(a:\) $$ M_{1}|z-a|^{-k} \leq|f(z)| \leq M_{2}|z-a|^{-k} $$

Step-by-Step Solution

Answer

All properties (a), (b), (c), and (d) are equivalent, indicating a pole of order \(k\) at \(a\).

Step 1: Understanding the Exercise

The exercise requires us to show the equivalence of four mathematical statements (a, b, c, d) regarding the nature of the point \(a\) as a pole of an analytic function \(f\). Each statement describes different properties of \(f\) or a related function \(h\) or \(g\) on certain neighborhoods of \(a\).

Step 1: Analyze Property (a)

Property (a) states that \( a \) is a pole of \( f \) of order \( k \). This implies that \( f \) behaves like \( \frac{1}{(z-a)^k} \) near \( a \) and that \( f \) can be written as \( f(z) = \frac{h(z)}{(z-a)^k} \) where \( h \) is analytic, and \( h(a) eq 0 \).

Step 2: Establishing Equivalence: (a) to (b)

Statement (b) directly follows from (a) because if \( a \) is a pole of order \( k \), there must exist an analytic function \( h \) such that \( f = \frac{h}{(z-a)^k} \). Therefore, (b) is just a restatement of (a) using this function \( h \).

Step 3: Establishing Equivalence: (b) to (c)

Given (b), if \( f(z) = \frac{h(z)}{(z-a)^k} \), then consider \( g(z) = (z-a)^k/h(z) \). The function \( g \) must be analytic and not vanish, except it has a zero of order \( k \) at \( a \) since \( h(a) eq 0 \). Thus, \( f = 1/g \) fits the description in (c).

Step 4: Establishing Equivalence: (c) to (d)

If \( f=1/g \) and \( g \) has a zero of order \( k \), then near \( a \), \( |g(z)| \approx |z-a|^{k} \). Hence, \( |f(z)| = \frac{1}{|g(z)|} \approx |z-a|^{-k} \) implies (d) follows. Conversely, if \( |f(z)| \) behaves like \(|z-a|^{-k}\), then \(f\) is of the form in (c).

Step 5: Establishing Equivalence: (d) to (a)

Given (d), the behavior \(|f(z)| ≈ |z-a|^{-k}\) ensures that \(a\) is a pole of order \(k\) since its magnitude closely resembles that of a pole of order \( k \). We can revert this to (a) since this form is derived from the defining property of poles.

Key Concepts

Analytic Functions

Analytic functions are a central concept in complex analysis, providing rich and insightful properties about complex functions that are differentiable. A function \( f \) is called analytic on a domain if it has derivatives of all orders at every point in that domain. This means that around every point on the domain, the function can be expressed as a power series. Analyticity implies that the behavior of the function is smooth and predictable, similar to how polynomials behave in calculus.
Additionally, because these functions are composed of smooth, convergent power series, they have properties like the ability to be represented by complex Taylor series over small neighborhoods. Often, when a function is analytic, it is easier to examine its properties around specific points, like determining the presence of poles or singularities. These functions are instrumental when exploring poles and singularities, as we will see in upcoming topics.

Poles and Singularities

In complex analysis, a pole is a specific type of singularity characterized by the behavior of a function as it becomes unbounded near a certain point. A singularity of a function \( f \) is a point where \( f \) is not defined or fails to be analytic.
However, if \( f \) is analytic everywhere except at a point \( a \), where its behavior resembles \( 1 / (z-a)^k \) for some positive integer \( k \), then \( a \) is a pole of order \( k \). This means the function can "blow up" as it approaches \( a \), but it does so in a predictable way controlled by the order \( k \).
Understanding poles and singularities is crucial because they dictate important properties of a function, like integrability, limits, and convergence within a domain. Knowing whether singularities are removable or define functions as meromorphic (complex functions that are holomorphic except at isolated poles) help classify and solve equations involving complex functions.

Equivalence of Properties

The equivalence of properties in the context of poles refers to different ways to describe or identify when a function has a pole at a given point. This is what the exercise aims to illustrate with statements (a), (b), (c), and (d). Each statement offers a unique view on the function's behavior around the singularity:

• (a) states the property directly, identifying \( a \) as a pole of order \( k \).
• (b) uses an analytic function \( h \), which modifies the function to suggest the same order and behavior just as in (a).
• (c) modifies the function into a new form \( g \), which is zero at \( a \) to the same order \( k \).
• (d) offers a boundary-defined inequality, reinforcing the magnitude of the function's behavior near \( a \).

Each method intricately intertwines the analytical behavior ensuring the same pole order at \( a \), despite the surface differences in representation.

Order of a Pole

The order of a pole is fundamentally the degree of the smallest power of \((z-a)\) that offsets the discontinuity at the pole. When we say a point \( a \) is a pole of order \( k \), it indicates that \( f \) behaves like \((z-a)^{-k}\) near \( a \). This characteristic means that the function "approaches infinity" as \( z \) approaches \( a \), with an intensity determined by \( k \).
Knowing the order, helps in determining the behavior of the function at the pole and is vital for computing residues and solving contour integrals in complex analysis. The order also aids the function's classification: a pole of order one is called a simple pole, while higher orders gradually increase complexity. Poles of various orders impact both local and global behaviors of function within a domain, as well as their integrability around contours encompassing these poles.
Therefore, understanding the order of poles enriches comprehending the function's fundamental characteristics and facilitates solving complex integrative properties of functions.