William Cosgrove
Sam Nasreldine
WRIT109ST
Dr. Fancher
Introduction and Background Draft
Proposal: Funding for research to prove the Riemann Hypothesis
Introduction
The Riemann Hypothesis is one of the most famous mathematical problems that is yet to be solved. It is one of the “Millennium Problems”, which are a set of unsolved problems that were chosen by the Clay Mathematics Institute of Cambridge as the most difficult problems facing mathematicians at the turn of the millennium [4]. It has been over 150 years since the hypothesis has been proposed and yet nobody has proved it. This being said, there are countless published articles which conduct mathematical research on the assumption that the Riemann Hypothesis is true. These authors must, of course, state that they are researching under this assumption. Mathematical community members generally believe that the hypothesis is true, but if by some chance it were not, then all of these published works would be invalid, and so on to the “child” published works that stemmed from those ones. It would be a bit of a disaster. Luckily, this is probably not the case. Regardless, it is important that a valid proof is discovered for the Riemann Hypothesis for a couple of reasons. First of all, it is essential that science and math are grounded in proven facts. A proof of the Riemann Hypothesis would ground all the afore mentioned articles in fact. This is the most important reason for proving it. Two other and more general reason are that proving it could result in the discovery of a new method of analysis, which could in turn produce more mathematical breakthroughs, and the research which we will undergo will aid in educating university students to better prepare them for their future research.
Our research team will use various methods of analysis to construct a proof of the Riemann Hypothesis. We are currently and will continue to undertake extensive research on methods that have been used by other mathematicians, which have shown to have some degree of success. We will be researching past attempts to prove the hypothesis like the Bloch-Kato Conjecture, various manipulations to the Riemann zeta function (which is the main piece of the hypothesis), Leonhard Euler’s related functions, and more. These examples of past work are within fields ranging from number theory, graph theory, geometry, fractals strings, to possibly more. Innovation will also be key, so a main goal of ours will be to pioneer our own analytic methods. Novel techniques in mathematics are often adopted by other mathematicians in hopes that these will assist in their research. Just as we are using equations formulated by Leonhard Euler in the 1700’s, it is possible mathematicians will someday use methods that we invent in their work. This process is integral to the advancement of mathematical knowledge, which is our number one concern.
Graduate students will assist in research. We will also allow undergraduate students to volunteer if they desire. Training a competent workforce for the future is important across all disciplines. We all want our scientists to be able to excel and we want them to have the world’s best interests at heart. A study conducted by C. Madan and B. Teitge at the University of Alberta concluded that undergraduate students who were part of research teams had a clearer understanding of the publication process in their field and gained a passion for research. Including students in our mathematics research process will ensure that our field continues to advance for generations to come.
Background
Since the Riemann Hypothesis has not been proven, no one knows which techniques will lead to its solution. For this reason, it is important that we examine many different areas of research. The following list is not an exhaustive list of all the fields which relate to the Riemann Hypothesis; they are just a few central ones. Sections “Analytic Number Theory” and “Fractal Geometry” contain only material that is relevant to our research.
Early Work (Pre 1950) and the Riemann Hypothesis Defined:
Defining the Riemann Hypothesis is not a simple task. First we begin with the equation it is built upon. This equation is called the Basel Problem and was solved about 100 years earlier by Leonhard Euler. The equation is as follows:
1/1^2 + 1/2^2 + 1/3^2 + 1/4^2 + … + 1/n^2 as n increases to infinity.
It was proved by Euler that this series converges to 2/6. There were other problems similar to the Basel Problem where instead of squaring the denominator it was taken to other powers (3, 4, …), so for some number x, these equations would look like:
- f(x) = 1/1^x + 1/2^x + 1/3^x + 1/4^x + … + 1/n^x as n increases to infinity.
Bernhard Riemann wanted see what happens when you change the domain of this function to include complex numbers. Complex numbers have a real component and imaginary component. The imaginary component has a coefficient i = -1. It does not make sense when working with real numbers to take the square root of a negative number, so, long ago, mathematicians imagined what would happen if you could. Imaginary numbers are of the form iy, where y is a real number. Complex numbers are of the form z = x + iy, so they have a real part and imaginary part (x and iy respectively). Out of this idea arose the complex plane:
Complex numbers are similar to ordered pairs in the commonly used xy-plane since z can also be written as (x,y).
Now let’s look at Riemann’s famous function which extends the domain of (1) to include complex numbers. It looks exactly the same as (1) but s is a complex number. The function is famously known as the Riemann zeta function:
r(s) = 1/1s + 1/2s + 1/3s + 1/4s + … + 1/ns as n goes to infinity.
This function only has solutions when the real part of the complex number s is greater than 1 (Re(s) > 1). However, Riemann wanted to analyze this function for all complex numbers, so he analytically continued this function so that it converged for all complex numbers s 1(any s that is not equal to one, in complex form: 1+0i). This continuation is as follows, known as the Riemann functional equation:
r(s) = 22s-1sin(s/2)(1-s)(1-s)
Notice that (1-s) is part of the right side of the equation. This is what makes it a functional equation (points in the equation are defined in relation to other points).
It turns out that this equation always equals zero when s is a negative even real number, and that is simply because sin(2n/2) = sin(n) = 0. These are the “trivial” zeros and are not the concern of the Riemann Hypothesis. When Riemann was working with his function, he proved that the non-trivial zeroes can only be obtained with s where 0 < Re(s) < 1. The hypothesis, which it is our goal to prove, takes this a step further and states, “All non-trivial zeroes are obtained by complex numbers s with Re(s) = 1/2.” The following shows the zeroes of the zeta function plotted on the complex plane (the dots to the left of the imaginary axis are the trivial zeroes):
Analytic Number Theory:
The Riemann Hypothesis is considered to be one of the most difficult problems in number theory. Riemann specialized in complex analysis, so his hypothesis ended up making a fascinating bridge between the two fields. Moreover, it has implications for prime numbers and how often they occur, a phenomenon which has puzzled mathematicians for thousands of years.
Researching how the hypothesis and zeta function are related to analytic number theory will help us in our development of a proof. Analytic number theory is a field in which various methods of analysis are employed to discover properties of the whole numbers. Multiplicative number theorists are interested in the Riemann zeta function because of its implications regarding the frequency of prime numbers.
Let start by describing the Prime Number Theorem. It offers an equation which approximates the number of primes which occur before a given integer N. Here is that equation:
r(N) = N/log(N)
where (N) is the actual number of primes less than the integer N and log is the natural log.
The Theorem claims that:
lim (as N goes to infinity) r(N) / (N/log(N)) = 1
This implies that their approximation equation gets closer and closer to the actual value as you increase the value of N.
This theorem does not appear to be related to the Riemann zeta function. Actually, this theorem was not proven until after Riemann’s time (there were other approximations, but they were not as accurate). It was Riemann’s Hypothesis and its surprising connections to the distribution of prime numbers which encouraged mathematicians to use complex analysis in their research on the (N) function. It turns out that if it is true that the locations of the non-trivial zeroes in the Riemann zeta function do indeed lie on the line Re(s) = 1/2, then we would know much more precisely how primes numbers are distributed. There are other approximations which, like the above equation, depend on the truth of the Riemann Hypothesis in order to be accurate. Therefore, it is essential that we obtain a solid proof to solidify our knowledge of prime number distribution.
Graph Theory:
Examining how the Riemann zeta function alters lines in the complex plane provides interesting visual results. Unlike functions in 2, complex functions are not lines. Instead, they alter the entire complex plane. To visualize this, we must add lines to the complex plane, then apply the function to see how the lines are altered after the function is applied. Here is an example of how the Riemann zeta function, before it is analytically continued, alters the complex plane:
We see an interesting pattern emerging. Now here is the analytic continuation:
Clearly there are benefits to analyzing the zeta function using graphs. It allows us to see patterns that would never be apparent by simply manipulating the function. One important thing to note about analytic continuations is that they are unique, meaning that if a function can be analytically continued, then it only has one analytic continuation. So the above graph represents the only analytic continuation of the zeta function that exists. However, it is possible to transform any line in the complex plane with a function. So the number of lines that can be altered with the zeta function are literally infinite. This will be an important method of research which we will combine with our number analysis.
3 Questions:
- Is introduction understandable?
- Does it fulfill the three rules adequately?
- Is the background too long-winded? (it is less so than our examples)
References
- E. Bombieri, Problems of the millennium: The Riemann Hypothesis, CLAY, 2000.
- P. Borwein, S. Choi, B. Rooney, and A. Weirathmueller, The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike, Springer, New York, 2008.
- L. A. Bunimovich and C. P. Dettmann, Open circular billiards and the Riemann Hypothesis, Physical review letters 94.10, 2005.
- Clay Mathematics Institute, The Millennium Prize Problems, Oxford, United Kingdom, 2017. http://www.claymath.org/millennium-problems/millennium-prize-problems
- J. Coates, A. Raghuram, A. Saikia, and R. Sujatha, The Bloch-Kato conjecture for the Riemann Zeta Function, Cambridge University Press, Cambridge, 2015.
- J. Conrey, The Riemann Hypothesis, Notices of the AMS Volume 50, number 3, 2003.
- H. Iwaniec and E. Kowalski, Analytic Number Theory, American Mathematical Society: Colloquium Publications volume 53, Providence, RI, 2004.
- M. Lapidus and M. van Frankenhuijsen, Fractal Geometry, Complex Dimensions and Zeta Functions: Geometry and Spectra of Fractal Strings, Springer, New York, 2013.
- C. Madan and B. Teitge, The Benefits of Undergraduate Research: The Student’s Perspective, Alberta, Canada, 2013.
- B. Mazur and W. Stein, Prime Numbers and the Riemann Hypothesis, Cambridge University Press, New York, 2016.
- B. Riemann, On the Number of Prime Numbers less than a Given Quantity, University of Dublin, Ireland, Translated 1998 (original 1859).
- Sanderson, Grant, Visualizing the Riemann zeta function and analytic continuation, Stanford, California 2016. https://www.youtube.com/watch?v=sD0NjbwqlYw
- A. Terras, Zeta Functions of Graphs: A Stroll Through the Garden, Cambridge University Press, United Kingdom, 2011.
- B. Wachsmuth, Interactive Complex Analysis, Seton Hall University, South Orange, New Jersey, 2007.