The Eulerian Synthesis: The Birth of Modern Analysis

Leonhard Euler's work in the 18th century stands as a monumental synthesis that laid the foundations for modern mathematical analysis. His prolific output, characterized by an intuitive yet powerful manipulation of infinite series and functions, not only solved long-standing problems but also created a new framework for mathematical thought. This chapter delves into Euler's contributions, examining both their brilliance and the subsequent need for rigor they inspired. We will rigorously derive his solution to the Basel problem, analyze the identity $e^{i\pi} + 1 = 0$ as a culmination of his work on logarithms, exponentials, and trigonometry, and provide a technical appraisal of his *Introductio in Analysin Infinitorum*. A practical case study demonstrates the application of Euler's method and its variants in contemporary numerical solutions of ordinary differential equations (ODEs), while interactive visualizations of complex function mappings illustrate the enduring power of his insights.

The Eulerian Paradigm: Intuition, Generality, and the Infinite

Euler operated in an era before the formalization of limits, continuity, and convergence. His approach was boldly synthetic, treating infinite series and products as algebraic entities subject to the usual rules of arithmetic, provided they converged in some intuitive sense. This "generality of algebra" allowed him to obtain results of staggering depth, but also led him into errors that would later motivate the 19th-century rigor revolution. His 1748 masterpiece, *Introductio in Analysin Infinitorum* (Introduction to the Analysis of the Infinite), is not merely a textbook but a manifesto for analysis as an independent discipline, distinct from geometry and algebra. In it, Euler systematically develops the theory of functions, infinite series, exponentials, logarithms, and trigonometric functions, all while treating the infinite as a legitimate object of study.

The *Introductio* is structured in two books. Book I establishes the fundamental concepts: functions, series, and the binomial theorem for arbitrary exponents. Euler defines a function broadly as an analytic expression composed of a variable and constants, a definition that encompasses what we now call elementary functions. He then delves into infinite series, providing tests for convergence (though not always correct) and exploring the transformation of series. Book II is devoted to transcendental functions—exponentials, logarithms, and trigonometric functions—and their interrelations. Euler's treatment of $e^x$ and $\log x$ via infinite series is particularly elegant, and his derivation of the exponential expression for sine and cosine paves the way for the famous identity.

What makes Euler's work so transformative is his consistent use of the infinite as a tool for discovery. He did not shy away from manipulating divergent series heuristically, often obtaining correct results that would only later be justified by more rigorous theory. For instance, his famous "solution" to the harmonic series $\sum_{n=1}^{\infty} \frac{1}{n}$ as $\log n + \gamma$ (where $\gamma$ is Euler's constant) comes from considering the difference between the series and the integral $\int_1^n \frac{1}{x} dx$. This heuristic, while not rigorous by modern standards, reveals his instinct for asymptotic analysis.

The Basel Problem: A Case Study in Eulerian Method

The Basel problem, posed by Pietro Mengoli in 1644, asks for the exact sum of the reciprocals of the squares: $$\sum_{n=1}^{\infty} \frac{1}{n^2}.$$ Partial sums were known numerically (e.g., $\approx 1.6449$), but the closed form eluded the greats, including Bernoulli. Euler, then in his twenties, solved it in 1735, announcing the result $\frac{\pi^2}{6}$ and later publishing a more rigorous derivation in 1741. His solution is a tour de force of the Eulerian method, combining infinite series, infinite products, and polynomial root comparisons.

Euler's insight began with the infinite product expansion for $\sin x$, which he conjectured by analogy with the finite product for polynomials. For a polynomial $P(x) = a \prod_{k=1}^n (x - r_k)$, where $r_k$ are roots, we have $P(0)/x = a \prod_{k=1}^n (1 - x/r_k)$ for $x \neq 0$. Euler reasoned that since $\sin x$ has roots at $x = \pm n\pi$ for all integers $n \neq 0$, and $\sin x / x$ is entire and even with $\sin x / x \to 1$ as $x \to 0$, it should admit an infinite product representation: $$\frac{\sin x}{x} = \prod_{n=1}^{\infty} \left(1 - \frac{x^2}{n^2 \pi^2}\right). \quad (1)$$

This step is non-trivial; it assumes that the entire function $\sin x / x$ can be factored into linear factors over $\mathbb{C}$ in this way, a fact that would only be proven much later by Weierstrass (the Weierstrass factorization theorem). Euler justified it by noting that the product converges for all $x$ and matches the zeros and the value at $x=0$.

On the other hand, the Taylor series for $\sin x$ is well-known: $$\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots$$ Dividing by $x$ gives: $$\frac{\sin x}{x} = 1 - \frac{x^2}{3!} + \frac{x^4}{5!} - \frac{x^6}{7!} + \cdots = \sum_{k=0}^{\infty} (-1)^k \frac{x^{2k}}{(2k+1)!}. \quad (2)$$

Now, expand the infinite product (1) as a power series in $x^2$. For a finite product $\prod_{j=1}^m (1 - a_j x^2)$, the coefficient of $x^2$ is $-\sum_{j=1}^m a_j$, the coefficient of $x^4$ is $\sum_{1 \leq i < j \leq m} a_i a_j$, and so on, following the elementary symmetric polynomials. Taking the limit as $m \to \infty$, if the product converges uniformly on compact sets (which it does, but Euler did not know this), we can equate coefficients term by term. Thus, from (1), the coefficient of $x^2$ is $-\sum_{n=1}^{\infty} \frac{1}{n^2 \pi^2}$. From (2), the coefficient of $x^2$ is $-\frac{1}{3!} = -\frac{1}{6}$. Equating:

$$-\sum_{n=1}^{\infty} \frac{1}{n^2 \pi^2} = -\frac{1}{6} \implies \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6}.$$

Euler did not stop there. He extended the method to compute $\zeta(2k) = \sum_{n=1}^{\infty} \frac{1}{n^{2k}}$ for even positive integers $k$, obtaining the general formula: $$\zeta(2k) = (-1)^{k+1} \frac{(2\pi)^{2k} B_{2k}}{2 (2k)!},$$ where $B_{2k}$ are Bernoulli numbers. His approach involved comparing the Taylor series of $\frac{x}{e^x - 1}$ (which generates Bernoulli numbers) with the infinite product for $\frac{x}{e^x - 1}$ derived from the roots of $e^x - 1 = 0$, i.e., $x = 2\pi i n$. This is a profound connection between the zeta function at even integers and Bernoulli numbers, predating Riemann's zeta function by a century.

Technical appraisal: Euler's derivation, while yielding the correct result, rests on shaky foundations. The term-by-term comparison of an infinite product and a power series requires uniform convergence on a neighborhood of zero, which was not established until the 19th century. Moreover, the infinite product for $\sin x$ was itself conjectured without proof. Cauchy later provided a rigorous foundation using the Weierstrass product, and even then, one must be cautious: the product $\prod (1 - x^2/(n^2\pi^2))$ converges absolutely for all $x$, and the series $\sum 1/(n^2\pi^2)$ converges, so the coefficient comparison can be justified by Mertens' theorem for infinite products. Nevertheless, Euler's method was revolutionary: it demonstrated that problems about series could be transformed into problems about polynomials, and that the zeros of functions encode deep arithmetic information.

The Euler Identity: $e^{i\pi} + 1 = 0$

The equation $e^{i\pi} + 1 = 0$, often called Euler's identity, is frequently celebrated as the most beautiful in mathematics because it links five fundamental constants: $e$, $i$, $\pi$, $1$, and $0$. But its significance goes beyond aesthetic appeal; it represents the culmination of Euler's unification of exponential, logarithmic, and trigonometric functions.

Euler's starting point was the infinite series definition