Problem 10 - Complex Analysis

Question

Another variant of the First LIOUVILLE Theorem: Let \(f\) be an entire function, and let \(L\) be a lattice in \(\mathbb{C}\). For any lattice point \(\omega \in L\) let there exist a number \(C_{\omega} \in \mathbb{C}\) with the property $$ f(z+\omega)=C_{\omega} f(z) $$ Then $$ f(z)=C e^{a z} $$ for suitable constants \(C\) and \(a\). Hint. Without loss of generality, we can assume \(\omega_{1}=1\) and \(C_{\omega_{1}}=1\). Use the FOURIER series of \(f\). Another proof can be given by showing that \(f^{\prime} / f\) is constant.

Step-by-Step Solution

Answer

Any entire function satisfying the given periodic condition is of the form \( f(z) = Ce^{az} \).

Step 1: Understand the Problem Statement

This problem involves an entire function \(f(z)\) which satisfies periodic properties on a complex lattice \(L\). For each lattice point \(\omega \in L\), the function \(f(z)\) transforms by a constant \(C_{\omega}\). We need to show that \(f(z)\) can be expressed in the form \(f(z) = Ce^{az}\) where \(C\) and \(a\) are constants.

Step 2: Simplify the Lattice Condition

Use the hint to assume without loss of generality that for one generator of the lattice, say \(\omega_1 = 1\), the corresponding constant is \(C_{\omega_1} = 1\). This simplifies the periodic condition to \(f(z + 1) = f(z)\), meaning \(f\) is a periodic function with period 1.

Step 3: Fourier Series Expansion

Since \(f(z)\) is entire and periodic with period 1, it can be expanded into a Fourier series: \(f(z) = \sum_{n = -\infty}^{\infty} a_n e^{2\pi i n z}\). This expansion leverages the periodicity and analyticity of \(f(z)\).

Step 4: Analyze the Form of the Fourier Series

Because \(f(z)\) is entire, its Fourier series must only contain terms with \(n \geq 0\), otherwise, negative powers would introduce poles, contradicting the entire nature of \(f\). Hence, \(f(z) = \sum_{n=0}^{\infty} a_n e^{2\pi i n z}\).

Step 5: Consider the Functional Equation and Constancy

Observe that for any \(\omega \in L\), \(f(z+\omega) = C_\omega f(z)\) holds. Differentiating both sides with respect to \(z\) and simplifying gives \(f'(z+\omega) = C_\omega f'(z)\). This implies \(f'/f\) must be constant, otherwise, it would contradict the functional equation.

Step 6: Conclude the Form of the Function

If \(f'/f = a\) where \(a\) is some constant, integrating both sides gives \(f(z) = Ce^{az}\), corresponding with entire periodic properties known from Fourier expansion. This satisfies the original condition \(f(z+\omega) = C_\omega f(z)\) for some constant \(C\) and relation to each \(C_\omega\).

Key Concepts

Entire Function

An entire function is a key concept in complex analysis. It refers to a complex function that is holomorphic (complex differentiable) at all points in the complex plane. This means the function is smooth, without any sharp turns, discontinuities, or singularities across its domain.
Examples of entire functions include familiar functions like polynomials, exponential functions, sine, and cosine.
Key properties of entire functions are:

• They have no poles anywhere in the complex plane.
• They can be expressed as power series with an infinite radius of convergence.
• Entire functions can take different forms, but classical results such as Liouville's Theorem indicate that an entire function that is bounded must be constant.

This makes entire functions crucial when exploring the interplay between complex analysis and other mathematical constructs like Fourier series and periodic functions.

Lattice in Complex Numbers

In the realm of complex numbers, a lattice is a structured grid formed by linear combinations of two complex numbers with integer coefficients. These numbers, often denoted as \(\omega_1\) and \(\omega_2\), generate all lattice points. In simpler terms, a lattice is like a repetitive pattern made out of points in the complex plane.
Key features of lattices in the complex plane include:

• Lattice points are regularly spaced.
• The pattern is derived from a repeating unit formed by the growth along \(\omega_1\) and \(\omega_2\).
• The role of lattices often emerges in the analysis of periodic functions, where the period corresponds to parts or complete cycles between lattice points.

Understanding complex lattices is essential in solving problems involving periodic conditions, such as the proof variant of Liouville's theorem. For example, assuming certain properties of lattice generators can simplify the analysis of complex functions defined over these lattices.

Fourier Series

The Fourier series is a powerful tool used to express periodic functions as sums of sines and cosines. It breaks down any periodic function into a combination of simple oscillatory functions. This method not only simplifies the understanding of functions but also plays a crucial role in expanding entire and periodic functions.
For a function with period \(T\), a Fourier series is expressed as:
\[ f(x) = a_0 + \sum_{n=1}^{\infty} \left( a_n \cos\left( \frac{2\pi nx}{T} \right) + b_n \sin\left( \frac{2\pi nx}{T} \right) \right) \]
This expression allows for the representation of the function as the sum of its frequency components.
In the context of complex numbers and entire functions, the Fourier series often takes the form of an exponential series. This is because of Euler's formula, where trigonometric functions can be rewritten in terms of exponentials. For example:
\[ f(z) = \sum_{n = -\infty}^{\infty} a_n e^{2\pi i n z} \]
This form leverages the unique features of entire functions, where only non-negative frequency components persist due to their property of having no poles.

Periodic Function

A periodic function is one that repeats its values in regular intervals or periods. The concept of periodicity is central to the understanding of both Fourier series and entire functions on a lattice.
Core aspects of periodic functions include:

• The period is the smallest positive length over which the function repeats. For instance, a function with period \(T\) satisfies \(f(x + T) = f(x)\).
• Periodic functions are vital in various fields including signal processing, vibrations, and wave analysis.
• In complex analysis, periodicity might also relate to the geometry of lattices, as functions can exhibit periodic behavior across lattice points.

The challenge of many mathematical problems, such as those involving Liouville's theorem in a complex context, involves proving certain functions' periodicity or deducing their form when given periodic conditions, often simplifying the problem through Fourier series.