[Paper Review] "Algebraic truths" vs "geometric fantasies": Weierstrass' Response to Riemann

Umberto Bottazzini|ArXiv.org|May 1, 2003

History and Theory of Mathematics3 references3 citations

TL;DR

This paper examines Weierstrass's critical response to Riemann's geometric approach to complex function theory, particularly in solving the Jacobi inversion problem for Abelian integrals. Weierstrass rejected Riemann's reliance on geometric intuition and partial derivatives, instead founding function theory on convergent power series and arithmetical foundations, culminating in his construction of continuous nowhere-differentiable functions and counterexamples to the Dirichlet principle.

ABSTRACT

In the 1850s Weierstrass succeeded in solving the Jacobi inversion problem for the hyper-elliptic case, and claimed he was able to solve the general problem. At about the same time Riemann successfully applied the geometric methods that he set up in his thesis (1851) to the study of Abelian integrals, and the solution of Jacobi inversion problem. In response to Riemann's achievements, by the early 1860s Weierstrass began to build the theory of analytic functions in a systematic way on arithmetical foundations, and to present it in his lectures. According to Weierstrass, this theory provided the foundations of the whole of both elliptic and Abelian function theory, the latter being the ultimate goal of his mathematical work. Riemann's theory of complex functions seems to have been the background of Weierstrass's work and lectures. Weierstrass' unpublished correspondence with his former student Schwarz provides strong evidence of this. Many of Weierstrass' results, including his example of a continuous non-differentiable function as well as his counter-example to Dirichlet principle, were motivated by his criticism of Riemann's methods, and his distrust in Riemann's ``geometric fantasies''. Instead, he chose the power series approach because of his conviction that the theory of analytic functions had to be founded on simple "algebraic truths". Even though Weierstrass failed to build a satisfactory theory of functions of several complex variables, the contradiction between his and Riemann's geometric approach remained effective until the early decades of the 20$^{th}$ century.

Motivation & Objective

• To analyze Weierstrass's philosophical and mathematical reaction to Riemann’s geometric approach to Abelian functions and complex function theory.
• To explain how Weierstrass built a rigorous, arithmetical foundation for analytic functions based on convergent power series.
• To investigate the role of Weierstrass’s counterexamples—such as continuous nowhere-differentiable functions and natural boundary series—in undermining Riemann’s assumptions.
• To clarify the historical and conceptual conflict between Weierstrass’s 'algebraic truths' and Riemann’s 'geometric fantasies' in the development of complex analysis.
• To assess the long-term impact of this foundational dispute on the evolution of function theory, especially in several complex variables.

Proposed method

• Weierstrass constructed analytic functions using uniformly convergent power series, asserting that such series form the only rigorous basis for complex function theory.
• He applied the theory of linear transformations of elliptic θ-functions to demonstrate that certain lacunary series have natural boundaries, preventing analytic continuation beyond their domain.
• He used the example of the series ∑bⁿx^{aⁿ} with ab > 1 + ³⁄₂π to prove that the unit circle |x| = 1 is a natural boundary, thus establishing a link between nowhere-differentiable functions and non-continuable functions.
• He developed a counterexample to the Dirichlet principle by constructing a function that satisfies the Dirichlet integral condition but fails to attain a minimum, challenging Riemann’s variational method.
• He proved that a single power series can represent different analytic functions in disconnected regions of convergence, showing that monogenic functions do not always align with arithmetically defined functions.
• He systematically extended his power series approach to functions of several complex variables, arguing it was more rigorous than Riemann’s reliance on partial derivatives.

Experimental results

Research questions

• RQ1 How did Weierstrass’s foundational approach to complex function theory differ fundamentally from Riemann’s geometric method?
• RQ2 What specific counterexamples did Weierstrass construct to challenge Riemann’s assumptions about analytic continuation and the Dirichlet principle?
• RQ3 Why did Weierstrass reject the use of partial derivatives in defining complex functions, and how did he justify his reliance on power series?
• RQ4 To what extent did Weierstrass’s work on natural boundaries and nowhere-differentiable functions undermine Riemann’s geometric intuition in function theory?
• RQ5 How did the unresolved tension between Weierstrass’s arithmetical foundations and Riemann’s geometric insight shape the development of complex analysis into the 20th century?

Key findings

• Weierstrass demonstrated that a single power series can converge in disconnected regions and represent different analytic functions in each, proving that the concept of a monogenic function does not fully align with arithmetically defined functions.
• He showed that the series ∑bⁿx^{aⁿ} with ab > 1 + ³⁄₂π has the unit circle |x| = 1 as a natural boundary, meaning it cannot be analytically continued beyond that circle.
• Weierstrass constructed a continuous, nowhere-differentiable function using lacunary series, reinforcing his belief that geometric intuition could mislead in complex analysis.
• He provided a counterexample to the Dirichlet principle by exhibiting a function that satisfies the Dirichlet integral condition but fails to minimize it, challenging Riemann’s variational method.
• Despite his extensive work, Weierstrass was unable to fully develop a rigorous theory of functions of several complex variables, leaving the general Jacobi inversion problem only partially resolved.
• The conflict between Weierstrass’s arithmetical foundations and Riemann’s geometric approach persisted until the early 20th century, when modern function theory in several variables was finally established.