Professional Documents
Culture Documents
Jonathan W. Tooker
June 5, 2020
Abstract
In this brief note, we propose a set of operations for the affinely extended real
number called infinity. Under the terms of the proposition, we show that the Riemann
zeta function has infinitely many non-trivial zeros on the complex plane and off the
critical line.
§1 Definitions
Definition 1.1 The number infinity, which like the imaginary number is not
a real number, is defined as
1
lim± = ±∞ .
x→0 x
Definition 1.2 The real number line is a 1D space extending infinitely far in
both directions. It is represented in set and interval notations respectively as
R = {x | − ∞ < x < ∞} , and R ≡ (−∞, ∞) .
R = {x | − ∞ ≤ x ≤ ∞} , and R ≡ [−∞, ∞] .
R is called the affinely extended real number line.
∞ is
Theorem 1.9 c
1
±c
∞ = lim± .
x→0 x
l
1 1
∞ − a) − (c
(c ∞ − b) = lim −a− +b =b−a .
x→0 x x
Jonathan W. Tooker 3
Theorem 1.12 If a, b ∈ R are positive numbers less than some natural num-
ber n ∈ N, then the quotient (c
∞ − b)/(c
∞ − a) is identically one.
l
! !
1 1
c−b
∞ x
−b x
−b x 1 − bx
= lim 1
= lim 1
· = lim =1 .
∞ − a x→0
c x
−a x→0
x
−a x x→0 1 − ax
For the limit involving Γ, we will compute the limit as a product of two limits.
We separate terms as
−z −z
lim (2π) Γ(z)ζ(z) = lim (2π) Γ(z) lim ζ(z) .
∞−b)
z→(c ∞−b)
z→(c ∞−b)
z→(c
From Theorem 2.1, we know the limit involving ζ is equal to one. For the
remaining limit, we will insert the identity and again compute it as the product
of two limits. If z approaches (c ∞ − b) along the real axis, it follows from
Theorem 1.12 that
z − (c
∞ − b)
1= .
z − (c
∞ − b)
Inserting the identity yields
−z −z z − (c
∞ − b)
lim (2π) Γ(z) = lim (2π) Γ(z) .
z→(c∞−b) z→(c∞−b) z − (c
∞ − b)
Let
(2π)−z
A = Γ(z) z − (c
∞ − b) , and B= .
z − (c
∞ − b)
To get the limit of A into workable form we will use the property Γ(z) =
z −1 Γ(z + 1) to derive an expression for Γ[z − (c∞ − b) + 1]. If we can write
Γ(z) in terms of Γ[z − (c∞ − b) + 1], then the limit as z approaches (c∞ − b)
will be very easy to compute. Observe that
−1
Γ z − (c∞ − b) + 1 = Γ z − (c ∞ − b) + 2 z − (c ∞ − b) + 1 .
By recursion we obtain
n
Y −1
Γ z − (c
∞ − b) + 1 = Γ(z) lim z − (c
∞ − b) + k .
∞−b)
n→(c
k=1
Rearrangement yields
n
Y
Γ(z) = Γ z − (c
∞ − b) + 1 lim z − (c
∞ − b) + k .
∞−b)
n→(c
k=1
It follows that
n
Y
A = Γ z − (c
∞ − b) + 1 lim z − (c
∞ − b) + k .
∞−b)
n→(c
k=0
The limit of A is
n
Y
lim ∞ − b) − (c
A = Γ (c ∞ − b) + 1 lim ∞ − b) − (c
(c ∞ − b) + k .
∞−b)
z→(c ∞−b)
n→(c
k=0
Jonathan W. Tooker 5
∞ − b) − (c
Theorem 1.11 gives (c ∞ − b) = 0 so
n
Y
lim A = Γ(1) lim k=0 .
∞−b)
z→(c ∞−b)
n→(c
k=0
Direct evaluation of the limit of B gives 0/0 so we need to use L’Hôpital’s rule
which gives
d
(2π)−z
∗
lim B = lim
dz
z→(c ∞−b) z→(c∞−b) d
z − (c ∞ − b)
dz
d −z ln(2π)
= lim e
z→(c∞−b) dz
−1
= − ln(2π) e−(c ∞−b) ln(2π)
= c ∞
ln(2π) eb ln(2π) = 0
e
Therefore, we find that the limit of AB is 0. It follows that
l
πz
ζ −(c ∞ − b) + 1 = lim 2 sin ×0=0 .
z→−(c∞−b)+1 2
Definition 2.4 According to the Clay Mathematics Institute [2], the trivial
zeros of ζ are the even negative integers.
Remark 2.5 The zeros demonstrated in Theorem 2.2 are neither on the crit-
ical line Re(z) = 1/2 nor are they the negative even integers. Theorem 2.2,
therefore, is the negation of the Riemann hypothesis.
References
[1] Bernhard Riemann. On the Number of Primes Less than a Given Quantity.
Monatsberichte der Berliner Akademie, (1859).
[2] Enrico Bombieri. Problems of the Millennium : The Riemann Hypothesis.
2000.