Zeta Function Values

The Riemann zeta function, initially defined by the simple-looking infinite sum $\sum 1/n^s$, is one of the most profound and mysterious objects in all of mathematics. While the function itself is a cornerstone of number theory, the specific values it takes at different points hold secrets that connect disparate fields, from geometry and calculus to the fundamental laws of quantum physics. Many are surprised to learn that this function can assign a finite, meaningful value to a divergent sum like 1 + 2 + 3 + ..., or that its evaluation often involves the geometric constant π. This article addresses the fascinating question of what these values are and why they matter so deeply.

We will embark on a journey to demystify the values of the zeta function. In the first chapter, ​​Principles and Mechanisms​​, we will explore the inner workings of the function, uncovering the elegant methods developed by mathematicians like Leonhard Euler to calculate its values and reveal its deep connections to prime numbers and hidden symmetries. Following this, the second chapter, ​​Applications and Interdisciplinary Connections​​, will showcase the "unreasonable effectiveness" of these values, demonstrating how they appear as fundamental constants in physics, analysis, and the deepest frontiers of modern number theory.

Now that we have been introduced to the Riemann zeta function, let's take a journey into its inner workings. How are its values determined? What secrets do they hold? You might think a function defined by a simple sum, $\sum 1/n^s$, would be fairly straightforward. But as we peel back the layers, we will find a world of surprising connections, hidden symmetries, and profound beauty—a world that links the counting numbers to geometry, prime numbers, and beyond.

Our adventure begins with the first truly surprising value, $\zeta(2) = \sum_{n=1}^\infty \frac{1}{n^2} = 1 + \frac{1}{4} + \frac{1}{9} + \frac{1}{16} + \dots$. For decades, the world's greatest minds were stumped by this sum, known as the Basel problem. Then, in 1734, a young Leonhard Euler showed that it equals exactly $\frac{\pi^2}{6}$. What an astonishing result! Why on earth should π, the ratio of a circle's circumference to its diameter, appear in a sum over the squares of the whole numbers? This was the first clue that the zeta function was no ordinary function; it was a bridge between different worlds of mathematics.

Euler, in his genius, didn't stop there. He realized that his method could be used to find the value of $\zeta(s)$ for any positive even integer $s=2n$. The key insight is to think about the function $\sin(\pi z)$. We know from high school that a polynomial can be written as a product of factors based on its roots. For example, $z^2 - 4 = (z-2)(z+2)$. Euler had the audacity to treat $\sin(\pi z)$ as a sort of infinite polynomial. Its roots—the points where it equals zero—are all the integers: $z = 0, \pm 1, \pm 2, \dots$. This led to a stunning formula, now called the Weierstrass product expansion:

This expression builds the sine function from its roots. But we also know another way to write the sine function: its Taylor series expansion around $z=0$. By dividing by $\pi z$, we get $\frac{\sin(\pi z)}{\pi z} = 1 - \frac{(\pi z)^2}{6} + \frac{(\pi z)^4}{120} - \dots$.

Here is the magic: we have two different descriptions of the same thing. By comparing them—specifically, by taking the logarithm of the product formula, differentiating, and developing the result as a power series—we can systematically unearth the values of $\zeta(2n)$. This procedure reveals that every $\zeta(2n)$ is a rational number multiplied by $\pi^{2n}$. For instance, armed with the values of $\zeta(2)$ and $\zeta(4)$, one can recursively discover that $\zeta(6) = \frac{\pi^6}{945}$.

This relationship is so fundamental that these values can be neatly packaged into a single object called a ​​generating function​​:

All the information about these infinitely many zeta values is encoded in one simple trigonometric expression! The rational numbers in the formula for $\zeta(2n)$ are not random; they are intimately connected to another famous sequence of numbers, the ​​Bernoulli numbers​​ ($B_k$). These numbers, which pop up in everything from calculus to number theory, hold the non-transcendental part of the zeta values. In fact, there's a direct relation that can be found by comparing yet another series representation for a related function, $\pi z \coth(\pi z)$.

So far, we've treated the zeta function as an object of analysis, a sum. But Euler found another way to write it—a "golden key" that unlocked a deep connection to the prime numbers. This is the ​​Euler product formula​​:

Why is this true? The term for each prime, $(1 - p^{-s})^{-1}$, is the sum of a geometric series: $1 + p^{-s} + p^{-2s} + p^{-3s} + \dots$. When you multiply all these series together—for $p=2, 3, 5, 7, \dots$—you get a vast collection of terms. The Fundamental Theorem of Arithmetic tells us that any integer $n$ can be written uniquely as a product of prime powers. This means that for every integer $n$, you will create the term $\frac{1}{n^s}$ exactly once by picking the appropriate term from each prime's geometric series. The sum over all integers is miraculously transformed into a product over all primes.

This formula is incredibly powerful. It means that questions about prime numbers (like how they are distributed) can be studied using the tools of calculus and complex analysis applied to the zeta function. We can also play with this product. For example, what if we considered a different product, like $P(s) = \prod_{p} (1 + p^{-s} - p^{-2s} - p^{-3s})$? It looks complicated, but by factoring the term inside the product, we find it's equal to $\frac{\zeta(s)}{\zeta(2s)^2}$. This shows that the algebraic structure of the Euler product allows us to understand many other infinite products over primes in terms of the original zeta function.

What about values of $\zeta(s)$ where the defining sum $\sum 1/n^s$ doesn't converge, like for $s=0$, $s=-1$, or even complex numbers with $\text{Re}(s) \le 1$? Here, we enter the strange and wonderful world of ​​analytic continuation​​. Think of it like this: if you have a formula that works in a certain domain, like the sum for $\zeta(s)$ when $\text{Re}(s) \gt 1$, you can often find a unique new formula that agrees with the old one where they both work, but which is also valid in a much larger domain. The Riemann zeta function can be analytically continued to the entire complex plane, except for a single "hiccup"—a simple pole—at $s=1$.

What do we find on the "other side" of the convergence barrier? The values at the negative integers are particularly fascinating. It turns out that $\zeta(-n)$ for $n \ge 1$ are all finite, rational numbers, once again related to the Bernoulli numbers by the simple formula $\zeta(-n) = -\frac{B_{n+1}}{n+1}$. This leads to some of the most famous "paradoxical" results in mathematics, like:

Of course, we are not summing an infinite series in the usual sense. This is the value assigned to the analytically continued function at the point $s=-1$. These values, far from being mere curiosities, have real applications in physics, for example in string theory and calculations of the Casimir effect. They also exhibit beautiful algebraic properties. For instance, a weighted sum of these values, like $\sum_{k=1}^{4} (k+1)\zeta(-k)$, simplifies wonderfully to $-\frac{2}{15}$. The concept of analytic continuation can even be extended to more complex objects like multiple zeta values, allowing us to assign finite values to seemingly hopelessly divergent sums.

At this point, you might wonder if there's any connection between the values for positive $s$ (often involving $\pi$) and negative $s$ (which are rational). The answer is a resounding yes, and it comes from one of the most beautiful equations in all of mathematics: the ​​Riemann functional equation​​. It provides a mirror-like symmetry relating the function's values on opposite sides of the complex plane. In its most elegant form, it reads:

Here, $\Gamma(z)$ is the Gamma function, itself a generalization of the factorial. This equation tells us that the value of $\zeta(s)$ is deeply tied to the value of $\zeta(1-s)$. For example, it allows us to calculate the ratio $\frac{\zeta(-5)}{\zeta(6)}$ and find that it is exactly $-\frac{15}{4\pi^6}$. This links $\zeta(6)$, a number involving $\pi^6$, to $\zeta(-5)$, a rational number derived from the Bernoulli numbers. This symmetry is a fundamental property of the zeta function, and its investigation leads directly to one of the greatest unsolved problems in mathematics, the Riemann Hypothesis.

The journey doesn't end with the zeta function. It's just the first member of a vast family of related objects. For instance, we can define ​​Multiple Zeta Values​​ (MZVs) by summing over multiple indices:

These numbers possess a rich and intricate algebraic structure. For example, the product of two ordinary zeta values can be decomposed into a sum of MZVs: $\zeta(p)\zeta(q) = \zeta(p,q) + \zeta(q,p) + \zeta(p+q)$. This opens up a whole new universe of relationships to explore.

Even within the original zeta function, there are more wonders. What happens if we take an infinite sum of zeta values? One might expect chaos, but instead we find more surprising order. Consider these two sums:

By rearranging these infinite sums (a tricky business, but one that can be made rigorous), we find that they collapse into beautifully simple rational numbers. These results demonstrate that the values of the zeta function are not just a random collection of numbers. They are deeply interconnected, forming a delicate and elegant structure that we are still only beginning to fully comprehend. Each new identity we uncover is like finding another law of nature in this purely mathematical world.

You might be forgiven for thinking that a function born from the simple, ancient question of counting prime numbers would live a quiet life, confined to the abstract realm of number theory. After all, what could the pattern of primes possibly have to do with the tangible world of physics, or the intricate machinery of modern engineering? As it turns out, the Riemann zeta function is a spectacular traveler. It shows up, uninvited but always welcome, in the most unexpected corners of science, weaving together disparate fields with a thread of profound mathematical beauty. In this chapter, we set out on a journey to witness this "unreasonable effectiveness" firsthand. We will see that the special values of the zeta function are not just numerical curiosities; they are fundamental constants of our mathematical and physical universe.

At its heart, much of mathematics is about the pursuit of certainty and elegance. When faced with an infinite sum or a complicated integral, a mathematician's dream is not just to approximate it, but to pin it down to an exact, beautiful number. The zeta function, in this respect, is a master key that unlocks the exact values of a stunning variety of such expressions.

We have already seen how Leonhard Euler astonished the world by solving the Basel problem, proving that the sum of the inverse squares, $\sum_{n=1}^\infty 1/n^2$, is exactly $\frac{\pi^2}{6}$, which we now call $\zeta(2)$. This was just the beginning. The world of integrals is also replete with zeta's footprints. Consider an integral that looks rather messy at first glance:

$I = \int_0^1 \frac{\ln(1+x)\ln\left(1+\frac{1}{x}\right)}{x} \, dx$

There seems to be no obvious path to a simple answer. Yet, through a series of clever variable changes—a kind of mathematical alchemy that transforms the expression without changing its value—this integral can be reshaped into a much more fundamental form. The process reveals that this complicated expression is, in disguise, nothing other than Apéry's constant, $\zeta(3)$. The appearance of such a fundamental constant from a seemingly random integral is a powerful hint that there are deep, hidden structures connecting different parts of analysis.

This principle extends to infinite series of a much more complex character. For instance, sums involving hyperbolic functions, which are cousins to the trigonometric functions you know from geometry, often yield to the power of zeta values. A formidable sum like $\sum_{n=1}^{\infty} \frac{\coth(\pi n)}{n^3}$ can be methodically dissected, and its value is found to be $\frac{7\pi^3}{180}$. Beyond this, there is an entire zoo of "Euler sums," which involve generalized harmonic numbers. These sums, which appear in various calculations, can often be expressed as polynomials in zeta values, revealing a rich algebraic structure that is still an active area of research. The zeta function and its relatives, the multiple zeta values (MZVs), provide a language to describe the values of these infinite sums, turning chaos into order.

If numbers are the notes of mathematics, then functions are the melodies and symphonies. The zeta function doesn't just provide the notes; it often dictates the entire score. This is beautifully illustrated through the lens of Fourier analysis, the art of decomposing any periodic function into a sum of simple sine and cosine waves.

Consider the periodic Bernoulli polynomials, $P_n(x)$, which are fundamental objects in number theory and analysis. When we write down the Fourier series for these functions—essentially asking "what are the fundamental frequencies that compose this shape?"—we find something remarkable. The coefficients, the numbers that determine the "loudness" of each harmonic, are given precisely by values of the zeta function. For instance, the Fourier series for $P_3(x)$ involves $\zeta(3)$ (scaled by other constants), the one for $P_4(x)$ involves $\zeta(4)$, and so on. These numbers, which began with summing simple fractions, are literally the building blocks for the sounds of other important functions.

This role as a fundamental building block is not limited to Fourier series. Many of the "special functions" that populate the landscape of mathematical physics have deep connections to zeta values. Their series expansions, which describe their behavior near a certain point, often have coefficients that are zeta values. For example, if you look at the Laurent series expansion of a function like $f(z) = \sum_{n=1}^{\infty} \frac{n^k}{z^4 - n^4}$, the coefficients turn out to be zeta values at negative integers, which are themselves related to the famous Bernoulli numbers. Similarly, the Maclaurin series for the logarithm of the Barnes G-function, a "higher-order" relative of the gamma function, contains $\zeta(2)$, $\zeta(3)$, and other zeta values directly in its coefficients. It's as if the zeta function provides the universal genetic code from which the DNA of other complex functions is written.

Even a seemingly distant field like linear algebra is not untouched. We can construct matrices whose very entries are defined by zeta values. For example, a Hankel matrix where the entry in the $i$-th row and $j$-th column is $\zeta(i+j)$ is a perfectly good mathematical object. Its properties, such as the sum of its eigenvalues (its trace), are then directly given by sums of zeta values, like $\zeta(2) + \zeta(4) + \zeta(6)$.

Perhaps the most astonishing appearances of the zeta function are in the realm of physics. Here, it is no longer just a tool for elegant calculation, but a necessary ingredient for describing reality itself.

One of the most profound and strange predictions of quantum mechanics is that a vacuum is not empty. It is a roiling sea of "virtual particles" that pop in and out of existence. Each of these quantum fluctuations has a zero-point energy. If you try to calculate the total energy of the vacuum by summing up the energies of all possible modes of fluctuation, you get a nonsensical answer: infinity. This was a major crisis in theoretical physics.

Enter the magical trick known as ​​zeta function regularization​​. The idea is as audacious as it is successful. When faced with a divergent sum like $1 + 2 + 3 + 4 + \dots$, physicists boldly replace it with the value of the zeta function, $\zeta(-1) = -1/12$. This seems like mathematical madness! And yet, this procedure tames the infinities of quantum field theory and yields finite, physical answers that match experiments with incredible precision.

The most famous example is the ​​Casimir effect​​. If you place two uncharged, parallel metal plates very close together in a vacuum, quantum theory predicts they will attract each other. Why? Because the plates restrict the kinds of virtual particles that can exist between them compared to outside, creating a pressure difference from the vacuum itself. The calculation of this tiny force involves summing over an infinite number of modes. After regularization using the zeta function, the final energy of the system is found to depend on values like $\zeta(-1)$ and $\zeta(-3)$. This is not a theoretical fantasy; the Casimir force has been measured in laboratories, and the results agree with the predictions derived from this "crazy" mathematical procedure.

This is not an isolated incident. In the high-stakes world of particle physics, our most precise theory of nature is the Standard Model, and its predictions are tested at giant colliders like the LHC. To compare theory with experiment, physicists must calculate the probabilities of particle interactions to fantastically high precision. These calculations involve evaluating complex multi-loop Feynman diagrams, which often result in integrals whose values are not simple numbers, but combinations of multiple zeta values (MZVs). The numbers that govern the primes are, in a very real sense, embedded in the laws governing the fundamental forces of nature.

After our grand tour through analysis and physics, we return home to number theory, where the zeta function was born. Here, too, its role has become deeper and more central than Riemann himself could have ever imagined.

Modern number theory seeks to understand the intricate arithmetic of number systems far more general than the integers. One of the central tools is ​​Iwasawa theory​​. In a nutshell, it studies how certain arithmetic invariants—like ideal class groups, which measure the failure of unique factorization—behave in an infinite tower of number fields. The "Main Conjecture" of Iwasawa theory, a landmark achievement proven for the rational numbers by Barry Mazur and Andrew Wiles, makes a breathtaking claim. It states that two very different-looking objects are, in fact, one and the same. One object is purely algebraic: a "characteristic ideal" that describes the growth of these class groups up the tower. The other object is purely analytic: a $p$-adic L-function, which is a version of the Riemann zeta function built in the world of $p$-adic numbers.

The conjecture, now a theorem, states simply: $\text{algebra} = \text{analysis}$ The algebraic structure governing the properties of numbers is precisely described by an analytic function derived from the zeta function. It is a statement of profound unity, a bridge between the discrete world of arithmetic and the continuous world of analysis, and the keystone of that bridge is the zeta function.

From counting primes to the force of the vacuum, from the notes of a function to the deepest laws of arithmetic, the values of the Riemann zeta function appear as a universal constant, a secret signature of the hidden interconnectedness of all things. It serves as a humbling and inspiring reminder that the deepest truths are often the most pervasive, waiting to be discovered in the most unexpected of places.