Understanding Riemann's Functional Equation: A Mathematical Journey
Written on
I once came across a t-shirt that humorously posed a question about a functional equation:
What part of
don’t you understand?
Initially, I found it amusing, though it felt slightly boastful. This made me ponder: what does it truly mean to grasp such an equation? Did the wearer of this shirt genuinely comprehend it? If so, to what extent?
Understanding mathematics isn't simply black and white; it's a more intricate affair. It's essential to view mathematical truths from multiple dimensions.
For instance, take the equation 3x - 2 = x². We can swiftly determine that the solutions are x = 1 and x = 2, and in that context, we grasp the equation.
However, there’s also a geometric interpretation. If we treat the two sides of the equation as distinct functions, the solutions represent the x-coordinates where the graphs of these functions intersect. Rearranging the equation to the form f(x) = 0 reveals that the solutions correspond to the roots of f, specifically where its graph meets the x-axis.
From this graph, it's evident that it is symmetric about the line x = 3/2, with the roots being mirror images across this line.
There are indeed various avenues to interpret the equation, but the key takeaway is this: understanding a mathematical truth encompasses multiple layers. By acknowledging the interplay between algebra and geometry, we achieve a clearer comprehension of the equation than if we approached it solely through algebra.
The equation on the aforementioned t-shirt evokes in me a sense of universal elegance. My hope is that by the end of this piece, you will also perceive that beauty, along with the numerous connections and perspectives involved in understanding it.
In this article, we shall derive the equation discussed and dissect its components, along with some tools necessary for the derivation. We'll also discover that this is a specific instance (indeed, the simplest one) of a broader and deeper equation.
To embark on this journey, we must begin with something more digestible.
Symmetry in Equations
What exactly is symmetry?
An object is considered symmetric if you can manipulate it and return to its original state. For example, a circle exhibits infinite rotational symmetries, remaining unchanged regardless of how much it is rotated.
Equations can exhibit symmetry as well.
In the equation
let's denote the left-hand side as ?(s). While its meaning isn't crucial at this moment, one clear aspect emerges: the equation states ?(s) = ?(1-s). This indicates that by substituting s with 1-s, we "return to the beginning." This reflects a symmetry.
Indeed, this mirrors the symmetry that the polynomial above also upholds, which can be verified to satisfy f(x) = f(3-x).
Thus, the functional equation embodies symmetry. Yet, it encompasses much more. The functional equation reveals a stunning relationship between the Gamma function (more on that shortly) and the Riemann zeta function (which we will delve into later).
Prerequisites
Before plunging into the depths, let’s establish some foundational theory. We will commence with a classical and significant function.
The Gamma Function
The gamma function is a pivotal function in mathematics. It appears across various fields, from statistics and combinatorics to number theory and physics.
It is defined by the improper integral
where z is a complex number with Re(z) > 0.
The Gamma function possesses a few functional equations of its own, such as ?(z+1) = z?(z), showcasing its role as a generalization of the factorial. For natural numbers n, we find that ?(n) = (n-1)!. For instance, ?(5) = 4! = 4 * 3 * 2 * 1 = 24.
Through analytic continuation, we can extend the gamma function across the complex plane, excluding non-positive integers where it exhibits simple poles.
Additionally, the gamma function is associated with significant functional equations, which will prove useful later. For example, the renowned Euler reflection formula
holds for all z ? ?, linking it with the sine function.
The Zeta Function
The Riemann zeta function is a cornerstone of analytic number theory, thanks to Bernhard Riemann's brilliance. The distribution of its zeros correlates with the distribution of prime numbers, making it essential for us to understand this function.
When s is a complex number with Re(s) > 1, we can define the zeta function via the infinite series
For Re(s) < 1, we require an alternate definition achieved through analytic continuation.
The connection to prime numbers is evident through its Euler product representation, expressed as a product over primes:
The Poisson Summation Formula
This formula merits an article of its own. The theorem states
where the summand on the right-hand side represents the Fourier transform of f evaluated at the integers. There exists a more general result extending this to lattices in N dimensions, but we will focus on it in one dimension over the integers.
To begin, let’s define the Fourier transform of a reasonably well-behaved function (e.g., a Schwarz function) f as the integral
This notation indicates that the integral spans from negative infinity to infinity.
To illustrate the Poisson summation formula, we will conduct a brief proof. We will actually prove a slight generalization of this truth, specifically that
This generalization is evident since setting x = 0 yields the original result.
Let f be a function with a well-defined Fourier transform. We define a function F by
This function is clearly 1-periodic, implying that it possesses a Fourier series. Calculating the Fourier coefficients of F, we find:
We know that F equals its Fourier series, so
This is the result we aimed to demonstrate.
The Theta Function
A family of significant functions is known as the Jacobi theta functions. Fortunately, we only need to examine one — the simplest and most classical.
In this article, we define the theta function by the real function
Note that this k runs over the integers and can also be expressed as a series over the natural numbers.
Let’s denote the series on the left-hand side as ?(x) (not to be confused with the digamma function), which gives us:
This indicates that ?(x) = 1 + 2 ?(x). A key characteristic of this function is its functional equation. It turns out that this function satisfies:
To prove this, we will employ the Poisson summation formula. The initial step is to reshape the following integral into a more manageable form:
By substituting within the integral, we can interpret it as a contour integral in the complex plane. Utilizing Cauchy’s integral theorem, we find that it indeed equals the integral taken along the parallel path on the real line. The resulting Gaussian integral is a classical one, frequently encountered in mathematics, expressed as:
Substituting this result back into the Poisson summation formula for the theta function yields the desired outcome.
This means that:
The Riemann Functional Equation
In this section, we will utilize our established tools to demonstrate the functional equation. For convenience, we will restate it here:
To begin, let's work with the definition of the gamma function using a suitable substitution. Recall the definition and express it with the argument s/2:
where we require Re(s) > 0 as specified earlier. Now, let’s make the substitution t = ? n²x. After simplification, we have:
Because this holds for all natural numbers n ? ?, we can sum over all natural numbers on both sides, yielding:
What do we have here? The zeta function ? and the ? function from above. We can express it as:
Next, we can split the integral into two intervals and apply the transformation property of the ? function, utilizing the fact that:
Focusing on the first of the two integrals on the right-hand side, we see that the transformation of ? yields:
This is advantageous, as we can now perform a simple substitution and combine the two integrals into one. The resulting integral is:
Note that the expression on the right-hand side yields the same value at s and 1-s. It's quite beautiful how the two power functions within the integral exchange roles when evaluated at 1-s.
This concludes the proof.
At times, the Riemann functional equation may appear in a slightly different format. By employing Euler’s reflection formula, we can derive a sine function representation of the gamma factor, which results in:
This alternative representation is sometimes favored as it clearly illustrates that the Riemann zeta function vanishes at negative even numbers due to the sine factor.
Conversely, it does not vanish at positive even numbers due to encountering a pole from the gamma function.
Final Remarks
Interestingly, the zeta function has numerous closely related counterparts known as Dirichlet L-functions. They bear striking similarities, with the simplest of them being the Riemann zeta function itself. Each can be defined both as a series and as an Euler product, has a Riemann hypothesis, and adheres to a Riemann functional equation. They satisfy:
Delving into this topic further exceeds the scope of this article, but notice the resemblance to the Riemann functional equation presented earlier. The epsilon factor involves a so-called Gauss sum. The remarkable aspect of this general result is its applicability not only to the Riemann zeta function but also to all the closely related counterparts mentioned.
They all exhibit this symmetry, and it is anticipated that they will satisfy the Riemann hypothesis, which posits that all their non-trivial zeros lie along the line of symmetry. For the zeta function, this corresponds to the vertical line Re(s) = 1/2, known as the critical line.
Why is symmetry in equations of such significance?
Symmetry is crucial because it provides insight into what exists on the "other side" without necessitating direct examination.
For example, if we know the value of ?(s), then we also ascertain the value of ?(1-s) due to the functional equation. Furthermore, since we thoroughly understand the series definition applicable for Re(s) > 1, we can also comprehend the values of ? in the half-plane Re(s) < 0.
The intrigue and thrill arise whenever 0 ? Re(s) ? 1, referred to as the critical strip.
This concludes our exploration. If you have any inquiries, feedback, or concerns, please feel free to reach out.
If you enjoy reading articles like this one on Medium, consider getting a membership for full access: simply click here.
Thank you for reading.