[Paper Review] Algebraic Addition Theorems

Mark B. Villarino|arXiv (Cornell University)|Dec 28, 2012

Polynomial and algebraic computation11 references3 citations

TL;DR

This paper provides a self-contained, elementary exposition of Weierstrass's theory of algebraic addition theorems (AAT), proving that meromorphic functions with an AAT are either rational or periodic, and that analytic functions with an AAT are roots of algebraic equations over meromorphic AAT functions. The work re-establishes foundational results with complete, accessible proofs, addressing gaps in classical literature and offering new insights into periodicity and functional equations.

ABSTRACT

We present a self-contained development of the Weierstrass theory of those analytic functions (single-valued or multiform) which admit an algebraic addition theorem. We review the history of the theory and present detailed proofs of the major theorems.

Motivation & Objective

• To re-derive and re-prove Weierstrass’s fundamental theorems on algebraic addition theorems (AAT) in a modern, accessible, and self-contained manner.
• To resolve inconsistencies and errors found in classical proofs by Phragmen, Forsyth, and others, which are often incomplete or flawed.
• To clarify the deep connection between the algebraic structure of AAT and the periodicity of meromorphic functions.
• To extend the theory to multiform functions using analytic continuation and the concept of complete analytic functions.
• To highlight open problems and potential extensions to several complex variables.

Proposed method

• Uses Weierstrass’s definition: a function φ(u) admits an AAT if G[φ(u), φ(v), φ(u+v)] = 0 for some polynomial G with coefficients independent of u and v.
• Applies the Weierstrass 'tiny' Picard theorem to analyze essential singularities and value distribution in the context of AAT.
• Employs functional equations and symmetry to analyze the structure of f(u,n) = φ(u+nω), leading to the derivation f(u,n) = u + nω.
• Uses formal group law techniques to analyze the function r(n,m) satisfying associativity, commutativity, and identity properties.
• Applies analytic continuation and the theory of complete analytic functions to extend results to multivalued (multiform) functions.
• Demonstrates that solutions to the functional equation ψ(n) + ψ(m) = ψ(r) with r = n + m + nmλ require λ = 0 to avoid contradiction, leading to periodicity.

Experimental results

Research questions

• RQ1 What is the complete characterization of meromorphic functions that admit an algebraic addition theorem?
• RQ2 How does the algebraic structure of the AAT force periodicity or rationality in meromorphic functions?
• RQ3 What conditions must a multiform function satisfy to admit an AAT, and how does analytic continuation enter the analysis?
• RQ4 Why do classical proofs of AAT theorems (e.g., by Forsyth and Koebe) contain flaws, and how can they be corrected?
• RQ5 Can the theory of AAT be extended to functions of several complex variables, and what are the main challenges?

Key findings

• Meromorphic functions admitting an AAT are precisely the rational functions or the periodic functions, as stated in Theorem 1.
• Analytic functions admitting an AAT are algebraic over a meromorphic function that also admits an AAT, as formalized in Theorem 2.
• The functional equation f(u,n) = uθ(n) + ψ(n) leads to θ(n) being constant (equal to 1), and ψ(n) = nω, implying periodicity with period ω.
• The associativity and symmetry of the function r(n,m) imply that r(n,m) = n + m only if the correction term λ = 0, which is necessary to avoid contradiction in the functional equation.
• The assumption λ = 0 is supported by independent results from MathOverflow, which show that non-zero λ leads to no non-trivial solution to the functional equation.
• The theory of complete analytic functions and analytic continuation is essential for extending AAT results to multiform functions, where monodromy and branch points must be considered.