Problem 6 - Complex Analysis

Question

Let \(L \subset \mathbb{C}\) be a lattice, and let \(b_{1}, b_{2} \in \mathbb{C}\) with \(b_{1}-b_{2} \notin L .\) Find an elliptic function for the lattice \(L\), having its poles exactly in \(b_{1}\) and \(b_{2}\), and having the corresponding principal parts $$ \frac{1}{z-b_{1}}+\frac{2}{\left(z-b_{1}\right)^{2}} \quad \text { and } \quad \frac{-1}{z-b_{2}} $$

Step-by-Step Solution

Answer

The elliptic function is \( f(z) = \wp(z-b_1) + \frac{1}{z-b_1} + \frac{2}{(z-b_1)^2} - \wp(z-b_2) - \frac{1}{z-b_2} \).

Step 1: Define the Problem

We need to find an elliptic function for the lattice \( L \) that has poles exactly at \( b_1 \) and \( b_2 \). These poles have specified principal parts. The function must also be periodic with respect to the lattice \( L \).

Step 2: Identify Requirements for an Elliptic Function

An elliptic function is meromorphic and doubly periodic. Given the principal parts \( \frac{1}{z-b_1} + \frac{2}{(z-b_1)^2} \) at \( b_1 \) and \( \frac{-1}{z-b_2} \) at \( b_2 \), we need to construct a function incorporating these characteristics.

Step 3: Construct the Elliptic Function

Since elliptic functions have a balance of zeros and poles, we consider using the Weierstrass \( \wp \)-function, which has double poles. Construct the function \( f(z) = \wp(z - b_1) + \frac{a}{z-b_1} - \wp(z - b_2) + \frac{b}{z-b_2} \), where \( a \) and \( b \) are constants to be determined by principal parts.

Step 4: Balance the Principal Parts at Each Pole

At \( z = b_1 \), match the principal part \( \frac{1}{z-b_1} + \frac{2}{(z-b_1)^2} \). This suggests adding \( 1(z, b_1) = \frac{1}{z-b_1} + \frac{2}{(z-b_1)^2} \). At \( z = b_2 \), match \( -\frac{1}{z-b_2} \) by adding \( n_2(z, b_2) = -\frac{1}{z-b_2} \).

Step 5: Formulate the Function

Combine the adjusted Weierstrass \( \wp \)-functions with the necessary principal parts, leading to the function: \[ f(z) = \wp(z - b_1) + \frac{1}{z-b_1} + \frac{2}{(z-b_1)^2} - \wp(z - b_2) - \frac{1}{z-b_2} \].

Step 6: Verify Periodicity

Verify that the constructed function \( f(z) \) inherits the periodicity of the lattice \( L \). Since both \( \wp(z - b_1) \) and \( \wp(z - b_2) \) are doubly periodic with the lattice, and the added terms are rational functions shifted by constants, \( f(z) \) satisfies the periodic condition.

Key Concepts

Lattice in Complex Analysis

In complex analysis, a lattice is a discrete subgroup of the complex plane that is generated by two non-zero complex numbers. These numbers create a repetitive pattern, much like a grid. Such a lattice can be denoted as \( L = \{ m \omega_1 + n \omega_2 \mid m, n \in \mathbb{Z} \} \), where \( \omega_1 \) and \( \omega_2 \) are the generators of the lattice. It is crucial that these generators are linearly independent over the reals, meaning their ratio is not real.

Lattices play a vital role in defining periodicity in the complex plane. When we're talking about functions that are periodic with respect to a lattice, it means their behavior repeats over the structure defined by \( L \). This is particularly important in the study of elliptic functions. For example, the Weierstrass \( \wp \)-function is defined with respect to a lattice, emphasizing how these geometrical constructs underpin these advanced mathematical concepts.

Meromorphic Functions

Meromorphic functions are functions that are holomorphic (complex differentiable) on an open subset of the complex plane except at a set of isolated points which are poles. A pole in a meromorphic function is a point where the function goes to infinity. This is opposed to an essential singularity or a removable singularity.

An interesting property of meromorphic functions is that their poles can be thought of as accumulating a certain 'weight' of the function. The principal part of the Laurent series expansion of the function at a pole quantifies how the function behaves near that singularity. For example, in the exercise, the function's poles at \( b_1 \) and \( b_2 \) define how the function diverges there. The behaviour around these poles is strategically chosen to construct elliptic functions, which carry these periodic characteristics.

Weierstrass \( \wp \)-Function

The Weierstrass \( \wp \)-function is a central object in the study of elliptic functions. It's defined with respect to a lattice \( L \) and is doubly periodic. This means that it satisfies \( \wp(z + \omega) = \wp(z) \) for all lattice points \( \omega \in L \).

The \( \wp \)-function is known for its distinctive double poles at each lattice point and has applications in describing the behavior of elliptic functions, allowing us to construct functions with prescribed poles.

• Double poles are a defining feature, critical for balancing the principal parts of functions involving poles.
• It serves as a building block for constructing more complex meromorphic, elliptic functions.
• It's deeply tied to the geometry of the lattice, linking algebraic properties with geometric ones.

Understanding the \( \wp \)-function allows one to appreciate the elegance and balance in the structure of elliptic and meromorphic functions across lattices.

Doubly Periodic Functions

A function that is doubly periodic repeats its values in two different, complex directions. The periods relate to the lattice structure, which is defined by two non-equivalent directions on the complex plane. This property is crucial for classifying certain types of functions in complex analysis, especially elliptic functions.

Doubly periodic functions display a rich symmetry due to their periodicity in two different directions, unlike singly periodic functions, which repeat along just one linear path. The fact that these functions repeat over a lattice is a key characteristic aiding their study in complex environments.

• They maintain a constant value after a certain transformation, which involves moving across the lattice by its generators.
• Elliptic functions, such as the Weierstrass \( \wp \)-function, are prime examples, highlighting this symmetry through their lattice-based periodicity.
• This periodic behavior suits them well for applications in physics and other areas of mathematics, where symmetry and periodicity are valued features.

Grasping the concept of doubly periodic functions opens doors to more advanced topics in the theory of functions and further applications.