Problem 13 - Complex Analysis

Question

Let \(n \geq 2\) be a natural number. There is no continuous function \(f: \mathbb{C}^{\bullet} \rightarrow \mathbb{C}^{\bullet}\) with the two properties (a) \(\quad f(z w)=f(z) f(w)\) for all \(z, w \in \mathbb{C}^{\bullet}, \quad\) and (b) \(\quad(f(z))^{n}=z\) for all \(z \in \mathbb{C}^{\bullet} \quad(n \in \mathbb{N}, n \geq 2)\).

Step-by-Step Solution

Answer

A continuous version of function \(f\) with given properties can't exist due to the multi-valued nature of roots contradicting continuity.

Step 1: Understand the Problem Statement

We are given a hypothetical continuous function \(f: \mathbb{C}^{\bullet} \rightarrow \mathbb{C}^{\bullet}\) with the properties that (a) \(f(z w) = f(z) f(w)\) for all \(z, w \in \mathbb{C}^{\bullet}\), and (b) \((f(z))^{n} = z\) for all \(z \in \mathbb{C}^{\bullet}\). We need to prove that such a function cannot exist.

Step 2: Consider the Magnitude and Argument

Assume such a function \(f\) exists. Since \((f(z))^n = z\), consider the magnitude \(|f(z)|^n = |z|\). Consequently, \(|f(z)| = |z|^{1/n}\). Additionally, the argument of \(f(z)\) must satisfy \(n \cdot \text{arg}(f(z)) = \text{arg}(z) + 2k\pi\) for \(k \in \mathbb{Z}\). This implies \(\text{arg}(f(z)) = \frac{\text{arg}(z)}{n} + \frac{2k\pi}{n}\).

Step 3: Analyze the Functional Equation

From property (a), \(f(z w) = f(z)f(w)\), set \(z = w = 1\). We have \(f(1)^n = 1\), and \(f(1) = f(1)f(1)\), implying \(f(1) = 1\). Likewise, for any complex unit \(u\), \(f(u)^n = u\) but \(f(u) = u^{1/n}\) shows that values of \(f\) are not single-valued functions, contradicting the continuous nature.

Step 4: Examine Continuity and Multivalued Functions

Since \(f(u) = u^{1/n}\) requires multiple possible values for different branches of the fractional power, the multi-valued nature contradicts continuity, which demands a single well-defined output for each input. This demonstrates the inherent inconsistency between being continuous and satisfying both given properties simultaneously.

Key Concepts

Continuous Function

Continuous functions are foundational in complex analysis, ensuring smooth transitions as inputs vary. For a function to be continuous, small changes in the input must result in small changes in the output. In complex analysis, this is crucial because it ensures that the behavior of functions over the complex plane doesn't have sudden jumps or anomalies.
When discussing the exercise, the notion of continuity is vital because we explore if such a smoothly behaving function could satisfy the given conditions. However, due to the multivalued outcome of the functional equation, a continuous real-valued function with these properties becomes impossible.
Thus, understanding continuity helps us grasp why no single-valued continuous function can exhibit the properties described.

Functional Equation

Functional equations explore relationships among the outputs of functions relative to their inputs. In the exercise, property (a) states that for all complex numbers \(z\) and \(w\), the function \(f\) satisfies \(f(z w) = f(z) f(w)\).
This property is known as multiplicative, suggesting the function preserves multiplication. An example of a functional equation in real analysis is\(f(xy) = f(x)f(y)\), commonly seen in logarithmic functions. However, in our case, the additional condition that \((f(z))^n = z\) creates a unique complexity due to multiple values arising from fractional powers.
The functional equation challenges the possibility of continuity in the given scenario, revealing the incompatibility between the given properties for complex functions.

Complex Magnitude

The magnitude of a complex number, often represented as \(|z|\), is derived from the Pythagorean theorem and gives the "size" or "length" of the vector represented by the complex number. It's defined as \(|z| = \sqrt{a^2 + b^2}\) for a complex number \(z = a + bi\).
In the problem, the condition \(|f(z)|^n = |z|\) suggests scaling the magnitude by a fraction, \(|f(z)| = |z|^{1/n}\). This operation should be consistently applicable across the complex plane.
However, one challenge is that taking the nth root can lead to multiple results, hinting at the multivalued nature. This challenges the idea of continuity because continuously altering the input \(z\) might not correspond to a continuous response in \(f(z)\) due to the multitude of magnitudes possible.

Complex Argument

The argument of a complex number refers to the angle it makes with the positive real axis, denoted as \(\text{arg}(z)\). The argument is essential for complex functions that deal with angular displacements.
Within this exercise, the function \(f(z)\) must balance the equation \(n \cdot \text{arg}(f(z)) = \text{arg}(z) + 2k\pi\). To solve for the argument, we get \(\text{arg}(f(z)) = \frac{\text{arg}(z)}{n} + \frac{2k\pi}{n}\), demonstrating how complex arguments interact under multiplication.
These adjustments to arguments are complicated by the multipliers, which transform the expected outcomes, resulting in branching or multi-valued functions. Understanding arguments is crucial to recognizing the true pathways functions take in the complex plane.

Multivalued Functions

In complex analysis, some operations naturally lead to multivalued functions. A classic example is taking roots or logarithms of complex numbers.
In the problem's context, \(f(z) = z^{1/n}\) implies each input \(z\) could yield multiple valid results, due to the nature of roots in the complex plane. Each result corresponds to different possible angles, or branches, as angles can wrap around the circle multiple times.
This multivalued characteristic stands in direct opposition to a function being continuous in the sense of real-valued analysis, where one input leads to one output. In such exercises, recognizing when and why functions become multivalued is crucial for assessing their properties.