Problem 1 - Complex Analysis

Question

Let \(\sigma(z)=\sigma(z ; L)\) be the WEIERSTRASS \(\sigma\)-function for the lattice \(L=\mathbb{Z} \omega_{1}+\) \(\mathbb{Z} \omega_{2} .\) The function $$ \zeta(z):=\zeta(z ; L):=\frac{\sigma^{\prime}(z)}{\sigma(z)} $$ is called the Weierstrass \(\zeta\)-function for the lattice \(L .\) (This function should not be confused with the RIEMANN \(\zeta\)-function!) Then \(-\zeta^{\prime}(z)=\wp(z)\) is the WeIERSTRASS \(\wp\)-function for the lattice \(L\). Assume \(\operatorname{Im}\left(\omega_{2} / \omega_{1}\right)>0\) Show: Using the notation \(\eta_{\nu}:=\zeta\left(z+\omega_{\nu}\right)-\zeta(z)\) for \(\nu=1,2\), the following relation of LEGENDRE is true: LEGENDRE's Relation, $$ \eta_{1} \omega_{2}-\eta_{2} \omega_{1}=2 \pi \mathrm{i} $$

Step-by-Step Solution

Answer

Legendre's relation follows from the properties of the Weierstrass zeta function and contour integration over the lattice.

Step 1: Understand the Problem

We need to prove Legendre's relation for the Weierstrass functions defined on the lattice. The relation is given as \( \eta_1 \omega_2 - \eta_2 \omega_1 = 2 \pi i \), where \( \eta_1 = \zeta(z + \omega_1) - \zeta(z) \) and \( \eta_2 = \zeta(z + \omega_2) - \zeta(z) \).

Step 2: Identify Properties of the Weierstrass Zeta Function

The Weierstrass zeta function, \( \zeta(z) = \frac{\sigma'(z)}{\sigma(z)} \), is quasi-periodic. For the periods \( \omega_1 \) and \( \omega_2 \), it satisfies \( \zeta(z + \omega_1) = \zeta(z) + \eta_1 \) and \( \zeta(z + \omega_2) = \zeta(z) + \eta_2 \) with some constants \( \eta_1 \) and \( \eta_2 \).

Step 3: Calculate the Change in the Zeta Function over the Lattice

\( \zeta(z + \omega_1) - \zeta(z) = \eta_1 \) implies the increment over the period \( \omega_1 \) is constant. Similarly, \( \zeta(z + \omega_2) - \zeta(z) = \eta_2 \). We need to relate these constants \( \eta_1 \) and \( \eta_2 \) using Legendre's relation.

Step 4: Consider Double Periodicity of the Lattice

For a doubly periodic function like the Weierstrass zeta function, when we integrate over the fundamental parallelogram defined by the lattice, the contour integral of \( \zeta(z) \) around this parallelogram is related to these constants \( \eta_1 \) and \( \eta_2 \).

Step 5: Use Integration on the Lattice

The integral of a meromorphic function like the Weierstrass \( \zeta(z) \) around the boundary of the fundamental parallelogram can be deduced by considering residues. However, \( \zeta(z) \) has no residues since it is merely quasi-periodic with simple poles.

Step 6: Derive Legendre's Relation Using Contour Integration

To obtain \( \eta_1 \omega_2 - \eta_2 \omega_1 \), we relate this expression to the integral over the closed loops around the fundamental domain, leading to the conclusion \( \eta_1 \omega_2 - \eta_2 \omega_1 = 2 \pi i \), a relationship derived from the properties of the logarithmic derivative applied to a lattice in the complex plane.

Key Concepts

Complex Analysis

Complex analysis is a branch of mathematics that deals with functions of complex variables, often involving unique properties not seen in real functions. Complex functions can have derivatives just like real functions, but they exhibit behavior influenced by their complex nature, such as holomorphy and complex dynamics. One famous class of functions studied within this realm is the Weierstrass functions, including the Weierstrass \(\sigma\), \(\zeta\), and \(\wp\) functions, which are used as building blocks in the analysis of complex lattices.

The Weierstrass \(\zeta\)-function, \(\zeta(z) = \frac{\sigma'(z)}{\sigma(z)}\), is an important function that displays quasi-periodic behavior within a lattice structure in the complex plane. This function is unique because it has simple poles on the lattice points and satisfies certain transformation properties under shifts by lattice vectors.

For instance, when analyzing the function on the Weierstrass lattice \(L = \mathbb{Z} \omega_1 + \mathbb{Z} \omega_2\), its quasi-periodicity is expressed in the form \(\zeta(z + \omega_1) = \zeta(z) + \eta_1\) and \(\zeta(z + \omega_2) = \zeta(z) + \eta_2\), where \(\eta_1\) and \(\eta_2\) are constants. This periodic nature is a central aspect of complex analysis, enabling deeper insight into Legendre's relation and its proof.

Lattice Theory

Lattice theory, in the context of complex analysis, is crucial because it underpins the study of doubly periodic functions, such as those involved with Weierstrass functions. A lattice in the complex plane is formed by linear combinations of two complex numbers, often denoted \(\omega_1\) and \(\omega_2\), which serve as the generators. The structure looks like a grid extending infinitely across the complex plane, playing a key role in establishing important properties of elliptic functions.

• A lattice is mathematically expressed as \(L = \mathbb{Z} \omega_1 + \mathbb{Z} \omega_2\).
• This formation essentially acts like a backdrop for examining the behavior of complex functions defined over it.

Within the lattice, functions such as the Weierstrass \(\zeta\) and \(\wp\) are defined, showcasing periodic and quasi-periodic nature. Notably, their behavior is dictated by interactions with the lattice's fundamental parallelogram. Such functions are immensely useful in complex analysis as they provide insight into highly periodic systems and important results like Legendre's relation can be explored.

The idea of lattice applies beyond just plane geometry; it extends into the algebraic structures allowing mathematicians to analyze modular forms, elliptic curves, and other advanced constructs. Through tools like contour integration within this lattice framework, one can derive essential relations and understand intricate patterns in the complex plane.

Legendre's Relation

Legendre's relation is an elegant mathematical identity that highlights the interplay between lattice-based functions and complex analysis. It bridges Weierstrass functions via their property of quasi-periodicity and contour integration. Formally, the relation is given by \(\eta_1 \omega_2 - \eta_2 \omega_1 = 2 \pi i\), a result derived using the Weierstrass \(\zeta\)-function defined over the lattice.

This relation is obtained through contour integration around the fundamental parallelogram of the lattice \(L\). By considering the closed contour around the counter of this fundamental domain, an integral of the \(\zeta(z)\) boils down to the net change around the parallelogram being zero. However, the function's quasi-periodicity introduces shifts by the constants \(\eta_1\) and \(\eta_2\), leading to the formulation of Legendre's relation.

• \(\eta_1\) and \(\eta_2\) represent the changes introduced in \(\zeta(z)\) when incremented by each period \(\omega_1\) and \(\omega_2\).
• They are pivotal in formulating the integral's result over a closed contour, demonstrating significant periodic properties.

Legendre's relation not only provides a fundamental insight into the theory of elliptic functions but also lays the groundwork for understanding more complex modular relations in mathematics. This key result exemplifies the power of combining geometry of lattice theory with the analysis of complex functions.