From the theorem 1 formulated in [1], a set of functions of measure zero within the set of all corresponding functions has to be excluded. These are the cases where the Omega functions Ω(u) are piece-wise constant on intervals of equal length and non-increasing due to application of second mean-value theorem or, correspondingly, where for the Xi functions Ξ(z) the functions Ξ(y)y are periodic functions on the imaginary axis y with z=x+i y. This does not touch the results for the Omega function to the Riemann hypothesis by application of the second mean-value theorem of calculus and the majority of other Omega functions in the suppositions, but makes their derivation correct. The corresponding calculations together with a short recapitulation of the main steps to the basic equations for the restrictions of the mean-value functions and the application to piece-wise constant Omega functions (staircase functions) are represented.
In [
By a very short information of Victor Katsnelson [
We use this supplement to recapitulate in Section 2 the main steps of the derivations in the lengthy article [
We compile in this Section the main steps to our approach of a proof for the zeros of a class of functions with application of the second mean-value theorem of calculus (Gauss-Bonnet theorem) up to the two compatibility conditions.
We considered in [
Ξ ( z ) = ∫ 0 + ∞ d u Ω ( u ) ch ( u z ) = − 1 z ∫ 0 + ∞ d u Ω ( 1 ) ( u ) sh ( u z ) = Ξ ( − z ) , (2.1)
with real-valued functions Ω ( u ) of the real variable u , ( 0 ≤ u < + ∞ ) with the properties
Ω ( u ) ≥ 0 , Ω ( 1 ) ( u ) ≤ 0. (2.2)
If we extend the function Ω ( u ) to negative values of the variable u with the symmetry
Ω ( u ) = Ω ( − u ) , Ω ( 1 ) ( u ) = − Ω ( 1 ) ( − u ) , (2.3)
then the inversion of (2.1) is
Ω ( u ) = 2 π ∫ 0 + ∞ d y Ξ ( i y ) cos ( u y ) , Ω ( 1 ) ( u ) = − 2 π ∫ 0 + ∞ d y Ξ ( i y ) y sin ( u y ) . (2.4)
The second mean-value theorem exists in two forms distinguished by the generality of the involved functions. The class of real non-negative Omega functions Ω ( u ) of the real variable u ≥ 0 should be non-increasing or in a subclass monotonically decreasing for the later application of the second mean- value theorem of calculus and they should decrease in infinity so rapidly that this guarantees the existence of the integral Ξ ( z ) as an entire function of z and thus analyticity in the whole z -plane. Continuity of Ω ( u ) is not required in the more general form of the theorem.
The Riemann hypothesis about the nontrivial zeros of the zeta function ζ ( s ) with s = σ + i t which are the same as for the xi function ξ ( s ) but with more symmetries of the last and also already introduced by Riemann [
s = 1 2 + i t in the complex s -plane. After displacement of the critical line to the
imaginary axis x = 0 in a Xi function Ξ ( z ) for easier work we come to a form (2.1) with the following special function Ω ( u ) (for graphics, see [
Ω ( u ) ≡ 4 e u 2 ∑ n = 1 ∞ π n 2 e 2 u ( 2 π n 2 e 2 u − 3 ) e x p ( − π n 2 e 2 u ) > 0, ( 0 ≤ u < + ∞ ) . (2.5)
This function is not only monotonically decreasing for 0 ≤ u < + ∞ but possesses continuous derivatives of arbitrary order and, therefore, is “extremely” smooth.
Another interesting class of functions which admit a representation (2.1) are the modified Bessel functions ( 2 z ) ν I ν ( z ) = ( 2 i z ) ν J ν ( i z ) which are entire func- tions in the representation by an integral as follows
Ξ ν ( z ) ≡ ( 1 2 ) ! ( ν − 1 2 ) ! ( 2 z ) ν I ν ( z ) = ( 1 2 ) ! ( ν − 1 2 ) ! ν ! { 1 + ∑ m = 1 ∞ ν ! m ! ( m + ν ) ! ( z 2 ) 2 m } ≡ ∫ 0 + ∞ d u Ω ν ( u ) ch ( u z ) , ( ν ≥ 1 2 , ( 1 2 ) ! = π 2 ) , (2.6)
with (e.g., [
Ω ν ( u ) ≡ ( 1 − u 2 ) ν − 1 2 θ ( 1 − u ) , Ω ν ( 0 ) = 1 , Ω ν ,0 ≡ ∫ 0 + ∞ d u Ω ν ( u ) = ( 1 2 ) ! ( ν − 1 2 ) ! ν ! , (2.7)
where θ ( x ) = { 0 , x < 0 , 1 , x > 0 is Heaviside’s step function and where Ω ν ,0 are the
zeroth moments of Ω ν ( u ) . In this case, it is proved from the differential equations that the only zeros lie on the imaginary axis [
We now separate the real and imaginary part of the Xi functions (2.1)
Ξ ( x + i y ) = ∫ 0 + ∞ d u Ω ( u ) ch ( u ( x + i y ) ) = ∫ 0 + ∞ d u Ω ( u ) ch ( u x ) c o s ( u y ) + i ∫ 0 + ∞ d u Ω ( u ) sh ( u x ) s i n ( u y ) ≡ U ( x , y ) + i V ( x , y ) . (8)
On the imaginary axis x = 0 this specializes to
Ξ ( i y ) = ∫ 0 + ∞ d u Ω ( u ) c o s ( u y ) = U ( 0, y ) , V ( 0, y ) = 0. (9)
On the other side one may generate the whole function Ξ ( z ) from the function Ξ ( i y ) using the property of displacement operators by the identity
e x p ( − i x ∂ ∂ y ) Ξ ( i y ) e x p ( i x ∂ ∂ y ) 1 = Ξ ( e x p ( − i x ∂ ∂ y ) ( i y ) e x p ( i x ∂ ∂ y ) ) 1 = Ξ ( x + i y ) . (2.10)
Now comes into play the second mean-value theorem of calculus applied to the functions Ξ ( z ) on the imaginary axis x = 0 that means to Ξ ( i y ) which are real-valued functions of the real variable y as parameter
Ξ ( i y ) = ∫ 0 + ∞ d u Ω ( u ) ︸ = f ( u ) cos ( u y ) ︸ = g ( y ; u ) , (2.11)
and possesses the form for upper limit b → + ∞ of the integral ( a = 0 and f ( b → ∞ ) = 0 in our case)
lim b → + ∞ ∫ a b f ( u ) g ( u ) = lim b → + ∞ { f ( a ) ∫ 0 u 0 d u g ( u ) + f ( b ) ∫ u 0 b d u g ( u ) } , a ≤ u 0 ≤ b . (2.12)
The second mean-value theorem exists in two variants with different generality of the functions Ω ( u ) . In [
nary axis (included also the case ν = 1 2 ) and since it is also possible to substitute staircase non-increasing functions by monotonically decreasing func- tions and make the limiting transition to the first (see also
case of g ( u ) = cos ( u y ) they are, more specially, analytic ones but here the periodicity brings some, apparently, not serious problems.
Thus we apply now the second mean-value theorem to U ( 0, y ) in (2.9) in such cases where the integral converges for arbitrary y and obtain
Ξ ( i y ) = ∫ 0 + ∞ d u Ω ( u ) c o s ( u y ) = Ω ( 0 ) ∫ 0 u 0 ( 0, y ) d u c o s ( u y ) = Ω ( 0 ) s i n ( u 0 ( 0, y ) y ) y , u 0 ( 0 , y ) = u 0 ( 0 , − y ) , (2.13)
where the real mean-value parameter u 0 ( 0, y ) depends on y as parameter. In the same way as in (2.10) follows then for the whole function Ξ ( x + i y ) due to application of the second mean-value theorem
Ξ ( x + i y ) = e x p ( − i x ∂ ∂ y ) Ω ( 0 ) s i n ( u 0 ( 0, y ) y ) y e x p ( i x ∂ ∂ y ) = Ω ( 0 ) s i n ( u 0 ( 0, y − i x ) ( y − i x ) ) y − i x = Ω ( 0 ) s h ( ( u 0 ( x , y ) + i v 0 ( x , y ) ) ( x + i y ) ) x + i y , u 0 ( 0, y − i x ) = u 0 ( x , y ) + i v 0 ( x , y ) . (2.14)
On the imaginary axis x = 0 we find by comparison of (2.13) with (2.14)
v 0 ( 0 , y ) = 0. (2.15)
Relation (2.14) is the same as if we apply the second mean value theorem at once to an analytic function of the complex variable z as parameter and with a complex mean-value parameter w 0 ( z )
Ξ ( z ) = Ω ( 0 ) ∫ 0 w 0 ( z ) d u ch ( u z ) = Ω ( 0 ) sh ( w 0 ( z ) z ) z = Ω ( 0 ) w 0 ( z ) ( 1 2 ) ! I 1 2 ( w 0 ( z ) z ) ( w 0 ( z ) z 2 ) 1 2 = Ω ( 0 ) w 0 ( z ) { 1 + 1 3 ! ( w 0 ( z ) z ) 2 + ⋯ } , (2.16)
with the following relations in case of v 0 ( 0 , y ) = 0
w 0 ( z ) = w 0 ( x + i y ) = u 0 ( x , y ) + i v 0 ( x , y ) = u 0 ( 0, − i ( x + i y ) ) = u 0 ( 0, y − i x ) . (2.17)
We gave in (2.16) also the representation by the modified Bessel function I 1 2 ( z ) because the more general class (2.6) plays a role as an interesting example for functions with representations of the form (2.1) and with zeros only on the imaginary axis.
Zeros of the function (2.16) are only obtained for vanishing of the real part of w 0 ( z ) z = Re ( w 0 ( z ) z ) + i Im ( w 0 ( z ) z ) and at once for an imaginary part of w 0 ( z ) z equal to w 0 ( z ) z = π n , ( n = 0 , ± 1 , ± 2 , ⋯ ) but z = 0 excluded
Re ( w 0 ( z ) z ) = u 0 ( x , y ) x − v 0 ( x , y ) y = 0 , Im ( w 0 ( z ) z ) = u 0 ( x , y ) y + v 0 ( x , y ) x = n π , ( z = x + i y ≠ 0 ) . (2.18)
In special case x = 0 of the imaginary axis using (2.15)
Re ( w 0 ( i y ) i y ) = 0, Im ( w 0 ( i y ) i y ) = u 0 ( 0, y ) y = n π , ( y ≠ 0 ) . (2.19)
In this special case the condition for the real part is identically satisfied and does not represent a restriction of the solutions of zeros from the condition u 0 ( 0, y ) y = n π for the imaginary part which alone determines the zeros. Since, however, we do not know the function u 0 ( 0, y ) explicitly, we cannot resolve this equation for y .
For the extension of the conditions of a function F ( x + i y ) = U ( x , y ) + i V ( x , y ) from the imaginary axis x = 0 to the whole z -plane we derived in [
c o s ( x ∂ ∂ y ) U ( 0, y ) + s i n ( x ∂ ∂ y ) V ( 0, y ) = U ( x , y ) c o s ( x ∂ ∂ y ) + V ( x , y ) s i n ( x ∂ ∂ y ) , s i n ( x ∂ ∂ y ) U ( 0, y ) − c o s ( x ∂ ∂ y ) V ( 0, y ) = U ( x , y ) s i n ( x ∂ ∂ y ) − V ( x , y ) c o s ( x ∂ ∂ y ) . (2.20)
Corresponding formulae for the extension from U ( x ,0 ) , V ( x ,0 ) on the real axis y = 0 to the whole complex z -plane one may find in [
The application of (2.20) to the function f ( z ) = 1 provides
cos ( x ∂ ∂ y ) U ( 0 , y ) + sin ( x ∂ ∂ y ) V ( 0 , y ) = U ( x , y ) , sin ( x ∂ ∂ y ) U ( 0 , y ) − cos ( x ∂ ∂ y ) V ( 0 , y ) = − V ( x , y ) . (2.21)
Applied to a special case with U ( 0 , y ) ≠ 0 , V ( 0 , y ) = 0 one finds the func- tion identity
cos ( x ∂ ∂ y ) U ( 0 , y ) = U ( x , y ) , sin ( x ∂ ∂ y ) U ( 0 , y ) = − V ( x , y ) , ( V ( 0 , y ) = 0 ) , (2.22)
and, analogously, to a case U ( 0 , y ) = 0 , V ( 0 , y ) ≠ 0
sin ( x ∂ ∂ y ) V ( 0 , y ) = U ( x , y ) , cos ( x ∂ ∂ y ) V ( 0 , y ) = V ( x , y ) , ( U ( 0 , y ) = 0 ) . (2.23)
If one applies (2.21) or directly (2.23) to the conditions (2.18) and (2.19) using
U ( 0 , y ) = { Re ( w 0 ( z ) z ) } x = 0 = 0 , V ( 0 , y ) = { Im ( w 0 ( z ) z ) } x = 0 = u 0 ( 0 , y ) y = n π
one obtains the conditions for zeros in the whole complex z -plane
sin ( x ∂ ∂ y ) ( u 0 ( 0 , y ) y ) = 0 , cos ( x ∂ ∂ y ) ( u 0 ( 0 , y ) y ) = n π , ( n = 0 , ± 1 , ± 2 , ⋯ ) . (2.24)
For x = 0 the first condition is identically satisfied and does not contribute to the condition for zeros on the imaginary axis. The conditions (2.24) were derived in [
{ s i n 2 ( x ∂ ∂ y ) + c o s 2 ( x ∂ ∂ y ) } ( u 0 ( 0 , y ) y ) = u 0 ( 0 , y ) y = n π , (2.25)
as necessary condition for zeros off the imaginary axis. These zeros should possess then an imaginary part as one or some of the solutions for zeros on the imaginary axis. This is a very restrictive condition for zeros off the imaginary axis. We emphasize here that according to (2.13) the functions Ξ ( z ) z and w 0 ( z ) z on the imaginary axis x = 0 where they become real-valued and antisymmetric possess the simple connection (2.13)
Ξ ( i y ) y = Ω ( 0 ) s i n ( u 0 ( 0, y ) y ) , Ξ ( − i y ) ( − y ) = − Ξ ( i y ) y , u 0 ( 0, − y ) ( − y ) = − u 0 ( 0, y ) y . (2.26)
In next Section we deal with the conditions (2.24) and remove an incorrect- ness in this treatment in [
For easier work we introduce an abbreviation for u 0 ( 0, y ) y as follows
f 0 ( y ) ≡ u 0 ( 0 , y ) y = − f 0 ( − y ) . (3.1)
Then the conditions (2.24) for zeros for x ≠ 0 can be written
sin ( x ∂ ∂ y ) f 0 ( y ) = 0 , cos ( x ∂ ∂ y ) f 0 ( y ) = n π , ( n = 0 , ± 1 , ± 2 , ⋯ ) . (3.2)
Using f 0 ( y ) = n π for zeros on the imaginary axis we may write these conditions in the form
sin ( x ∂ ∂ y ) f 0 ( y ) = 2 cos ( x 2 ∂ ∂ y ) sin ( x 2 ∂ ∂ y ) f 0 ( y ) = 0 , ( cos ( x ∂ ∂ y ) − 1 ) f 0 ( y ) = − 2 sin ( x 2 ∂ ∂ y ) sin ( x 2 ∂ ∂ y ) f 0 ( y ) = 0 , (3.3)
and we see that both equations are compatible for solutions of the equation
sin ( x 2 ∂ ∂ y ) f 0 ( y ) = 0 , (3.4)
for arbitrary but fixed x . No other compatible solutions for common zeros of both equations exist as, most easily, shows the common graphics of the two functions s i n ( φ ) and c o s ( φ ) − 1 (see
To obtain the general solution of (3.4) for arbitrary fixed x = x 1 ≠ 0 as parameter we make the Fourier transformation of f 0 ( y ) using its symmetry given in (3.1)
f 0 ( y ) = 1 2 π ∫ − ∞ + ∞ d p f ˜ 0 ( p ) e i p y = − f 0 ( − y ) , f ˜ 0 ( p ) = ∫ − ∞ + ∞ d y f 0 ( y ) e − i p y = − f ˜ 0 ( − p ) = − ( f ˜ 0 ( p * ) ) * . (3.5)
The conditions (3.3) make then for the Fourier transforms f ˜ 0 ( p ) the transition to
− i sh ( x 1 p ) f ˜ 0 ( p ) = 2 ch ( x 1 p 2 ) ( − i ) sh ( x 1 p 2 ) f ˜ 0 ( p ) = 0, ( ch ( x 1 p ) − 1 ) f ˜ 0 ( p ) = i 2 sh ( x 1 p 2 ) ( − i ) sh ( x 1 p 2 ) f ˜ 0 ( p ) = 0, (3.6)
for the Fourier transforms and from these conditions or from (3.4) follows for the compatibility for fixed x 1
− ish ( x 1 p 2 ) f ˜ 0 ( p ) = 0 , ( x 1 ≠ 0 ) . (3.7)
Solutions f ˜ 0 ( p ) of this equation are only possible for such value of the variable p where sh ( x 1 p 2 ) is vanishing that means for x 1 p 2 = i m π , ( m = ± 1 , ± 2 , ⋯ ) which lie on the imaginary axis of complex p . The possible solutions of (3.7) observing the symmetry of f ˜ ( p ) given in (3.5) are for arbitrary fixed x 1 ≠ 0
f ˜ 0 ( p ) = − i π ∑ m = 1 ∞ a m { δ ( p − 2 m π i x 1 ) − δ ( p + 2 m π i x 1 ) } , ( a m = a m * ) , (3.8)
where a m , ( m = 1 , 2 , ⋯ ) are real coefficients with positive or negative possible values. Derivatives of delta functions do not have to be considered in these
solutions since all zeros of sh ( x 1 2 p ) are simple zeros. The inverse transfor- mation provides
f 0 ( y ) = ∑ m = 1 ∞ a m 1 i 2 { exp ( i 2 m π y i x 1 ) − exp ( − i 2 m π y i x 1 ) } = ∑ m = 1 ∞ a m sin ( 2 m π y i x 1 ) ≡ ∑ m = 1 ∞ a m sin ( 2 m π y y 1 ) , ( y 1 ≡ i x 1 ) . (3.9)
This is a periodic function of the variable y according to
f 0 ( y ) = ∑ m = 1 ∞ a m s i n ( 2 m π y y 1 ) = f 0 ( y + y 1 ) , ( a m = a m * ) , (3.10)
where we substituted here the parameter x 1 by y 1 ≡ i x 1 . This means that the general solution of (3.4) is a periodic functions on the imaginary axis with
period y 1 with zeros at y = y k = k y 1 2 , ( k = ± 1 , ± 2 , ⋯ ) . The functions Ξ ( i y ) y
according to (2.26) are then also periodic functions with the same symmetry and the same imaginary parts of the zeros but to establish the explicit connection between f 0 ( y ) ≡ u 0 ( 0 , y ) y = f 0 ( y ) and Ξ ( i y ) y for functions (3.10) is difficult. With narrowing the coefficients they really correspond to such piece-wise constant Omega functions with equal interval lengths for which the second mean-value is applicable (Section 4).
From (3.9) we find
sin ( x ∂ ∂ y ) x ∂ ∂ y f 0 ( y ) = ∑ m = 1 ∞ a m sh ( 2 m π x y 1 ) 2 m π x y 1 sin ( 2 m π y y 1 ) , ( cos ( x ∂ ∂ y ) − 1 ) f 0 ( y ) = ∑ m = 1 ∞ a m ( ch ( 2 m π x y 1 ) − 1 ) sin ( 2 m π y y 1 ) , (3.11)
and vanishing of these expressions for the zeros y = k y 1 2 , ( k = ± 1 , ± 2 , ⋯ ) on the imaginary axis is automatically satisfied. Furthermore from (3.10) follows
sin ( x ∂ ∂ y ) f 0 ( y ) = ∑ m = 1 ∞ a m sh ( 2 m π x y 1 ) cos ( 2 m π y y 1 ) = sh ( 2 π x y 1 ) ∑ m = 1 ∞ a m U m − 1 ( ch ( 2 π x y 1 ) ) cos ( 2 m π y y 1 ) , (3.12)
where U n ( z ) denotes the Chebyshev polynomials of second kind. The first of the conditions (3.2) of its vanishing is not automatically satisfied for solutions
with imaginary part y = k y 1 2 whereas the second of the conditions (3.2) remains to be automatically satisfied. For imaginary part y = k y 1 2 one has to
distinguish between even k = 2 l and odd k = 2 l + 1 and one finds using the first condition (3.2)
∑ m = 1 ∞ a m sh ( 2 m π x y 1 ) = sh ( 2 π x y 1 ) ∑ m = 1 ∞ a m U m − 1 ( ch ( 2 π x y 1 ) ) = 0 , ( y = l y 1 ) , ∑ m = 1 ∞ ( − 1 ) m a m sh ( 2 m π x y 1 ) = sh ( 2 π x y 1 ) ∑ m = 1 ∞ ( − 1 ) m a m U m − 1 ( ch ( 2 π x y 1 ) ) = 0 , ( y = ( l + 1 2 ) y 1 ) , (3.13)
where, generally, the Chebyshev polynomials U m − 1 ( t ) for argument | t | ≡ ch ( ξ ) ≥ 1 satisfy the inequalities
U m − 1 ( ch ( ξ ) ) ≥ m , ( m = 1 , 2 , ⋯ ) , U − 1 ( t ) = 0. (3.14)
The solutions x ≠ 0 of these equations provide the possible real parts of zeros off the imaginary axis with imaginary part y = k y 1 2 that for even and odd
k leads to the two different equations. Such solutions with x ≠ 0 of each of these equations may or may not exist that depends on the coefficients a m . If the coefficients a m are all non-negative (see restrictions in Section 4) then the first of the sums in (3.13) is positive in every case and therefore non-vanishing.
We see that zeros off the imaginary axis possess to the half the imaginary part as the zeros on the imaginary axis to solutions (3.10) for y = k y 1 2 in dependen- ce on even or odd k and it is easy to see that condition (2.25) is satisfied.
What was wrong in the treatment of the conditions (3.2) in [
First of all, we did not see the possibility to bring them into the form (3.3) and did not solve these conditions by Fourier transformation consequently to the end and concluded incorrectly about their complete incompatibility outside the
imaginary axis. The considerations about the operators c o s ( x ∂ ∂ y ) and sin ( x ∂ ∂ y ) x ∂ ∂ y did not be correct but with the exclusion of the only cases (3.4) or (3.9) and (3.10) they are now no more needed.
We investigate in this Section the non-increasing piece-wise constant Omega functions Ω ( u ) and establish for them the form of the corresponding Xi functions Ξ ( z ) defined by (2.1). Using the “interval” function
f ( u ) = θ ( u − a ) − θ ( u − b ) = { 1 , a < u < b 0 , − ∞ < u < a , b < u < + ∞ , (4.1)
one may represent the mentioned piece-wise constant non-increasing functions Ω ( u ) by (using continuity of Ω ( u ) = Ω ( − u ) at u = 0 one may substitute as made the term Ω ( 0 ) θ ( u ) by Ω ( 0 ) for u ≤ 0 ) (see
Ω ( u ) = Ω ( 0 ) ( 1 − θ ( u − u 1 ) ) + ∑ m = 1 ∞ Ω ( u m ) ( θ ( ( u − u m ) − θ ( u − u m + 1 ) ) = Ω ( 0 ) − ∑ m = 1 ∞ ( Ω ( u m − 1 ) − Ω ( u m ) ) ︸ ≥ 0 θ ( u − u m ) , ( u 0 ≡ 0 , Ω ( u 0 ) = Ω ( 0 ) ) , (4.2)
with the conditions for the amplitudes Ω ( u m ) , ( m = 1 , 2 , ⋯ )
Ω ( u m − 1 ) − Ω ( u m ) ≥ 0 , ( Ω ( 0 ) ≥ Ω ( u 1 ) ≥ Ω ( u 2 ) ≥ ⋯ ≥ 0 ) . (4.3)
For its first derivative follows
Ω ( 1 ) ( u ) = − ∑ m = 1 ∞ ( Ω ( u m − 1 ) − Ω ( u m ) ) δ ( u − u m ) . (4.4)
From (4.2) or (4.4) follows for the Xi functions according to the definition (2.1)
Ξ ( z ) = 1 z ∑ m = 1 ∞ ( Ω ( u m − 1 ) − Ω ( u m ) ) sh ( u m z ) , (4.5)
that is a discrete superposition of Hyperbolic Sine function with non-negative amplitudes and, in general, incommensurable “frequencies” u j . On the imagi- nary axis x = 0 this leads to the function
Ξ ( i y ) = U ( 0 , y ) = 1 y ∑ m = 1 ∞ ( Ω ( u m − 1 ) − Ω ( u m ) ) sin ( u m y ) . (4.6)
Therefore, the functions U ( 0, y ) y belong to a certain class of almost- periodic functions.
According to the second mean-value theorem the function Ξ ( z ) can be re- presented in the form
Ξ ( z ) = Ω ( 0 ) z sh ( w 0 ( z ) z ) = 1 z ∑ m = 1 ∞ ( Ω ( u m − 1 ) − Ω ( u m ) ) sh ( u m z ) , (4.7)
and on the imaginary axis x = 0
Ξ ( i y ) = U ( 0 , y ) = Ω ( 0 ) y sin ( u 0 ( 0 , y ) y ) = 1 y ∑ m = 1 ∞ ( Ω ( u m − 1 ) − Ω ( u m ) ) sin ( u m y ) . (4.8)
From (4.7) follows for w 0 ( z ) z
w 0 ( z ) z = Arsh { ∑ m = 1 ∞ Ω ( u m − 1 ) − Ω ( u m ) Ω ( 0 ) sh ( u m z ) } , (4.9)
and from (4.8) for u 0 ( 0, y ) y
u 0 ( 0 , y ) y = arcsin { ∑ m = 1 ∞ Ω ( u m − 1 ) − Ω ( u m ) Ω ( 0 ) sin ( u m y ) } . (4.10)
We now consider the special case of periodic functions of the almost-periodic functions Ξ ( z ) z and the corresponding special case x = 0 of this function on the imaginary axis Ξ ( i y ) y = U ( 0 , y ) y . First we find from (4.7) for intervals of equal lengths u m = m u 1 (remind that U n ( t ) denotes the Chebyshev polyno- mials of second kind!)
Ξ ( z ) = 1 z ∑ m = 1 ∞ ( Ω ( ( m − 1 ) u 1 ) − Ω ( m u 1 ) ) sh ( m u 1 z ) = sh ( u 1 z ) z ∑ m = 1 ∞ ( Ω ( ( m − 1 ) u 1 ) − Ω ( m u 1 ) ) U m − 1 ( ch ( u 1 z ) ) , (4.11)
from which follows for the imaginary axis x = 0
Ξ ( i y ) = 1 y ∑ m = 1 ∞ ( Ω ( ( m − 1 ) u 1 ) − Ω ( m u 1 ) ) sin ( m u 1 y ) = sin ( u 1 y ) y ∑ m = 1 ∞ ( Ω ( ( m − 1 ) u 1 ) − Ω ( m u 1 ) ) U m − 1 ( cos ( u 1 y ) ) . (4.12)
This means that Ξ ( i y ) y is a periodic function of y with the period 2 π u 1
Ξ ( i y ) y = ∑ m = 1 ∞ ( Ω ( ( m − 1 ) u 1 ) − Ω ( m u 1 ) ) s i n ( m u 1 ( y + 2 π u 1 ) ) = Ξ ( i ( y + y 1 ) ) ( y + y 1 ) , ( y 1 ≡ 2 π u 1 ) . (4.13)
From this follows that
f 0 ( y ) ≡ u 0 ( 0 , y ) y = f 0 ( y + 2 π u 1 ) ≡ f 0 ( y + y 1 ) , (4.14)
in Ξ ( i y ) y = Ω ( 0 ) s i n ( u 0 ( 0, y ) y ) is also a periodic function of y with the period y 1 ≡ 2 π u 1 and these last cases fall under the condition for possible zeros off the imaginary axis.
For the direct transition from Ξ ( i y ) y to u 0 ( 0, y ) y and vice versa besides the already used formula
sin ( ( n + 1 ) φ ) = sin ( φ ) U n ( cos ( φ ) ) = sin ( φ ) ∑ k = 0 [ n 2 ] ( − 1 ) k ( n − k ) ! k ! ( n − 2 k ) ! ( 2 cos ( φ ) ) n − 2 k , ( n = 0 , 1 , 2 , ⋯ ) , (4.15)
and Taylor series expansions one needs the identity
sin 2 l + 1 ( φ ) = 1 2 2 l ∑ k = 0 l ( − 1 ) l − k ( 2 l + 1 ) ! k ! ( 2 l + 1 − k ) ! sin ( ( 2 l + 1 − 2 k ) φ ) = sin ( φ ) 2 2 l ∑ k = 0 l ( − 1 ) l − k ( 2 l + 1 ) ! k ! ( 2 l + 1 − k ) ! U 2 l − 2 k ( cos ( φ ) ) , ( l = 0 , 1 , 2 , ⋯ ) , (4.16)
for arbitrary complex φ .
The counter example in [
The theorem 1 in [
Theorem 1:
For Xi functions Ξ ( z ) of the form (2.1) with non-increasing Omega func- tions Ω ( u ) satisfying the requirements for the application of the second mean-value theorem with exception of the piece-wise constant Omega functions with equal interval lengths the zeros lie only on the imaginary axis.
The piece-wise constant Omega functions with equal interval lengths form a set of measure zero within the set of all piece-wise constant Omega functions and, moreover, within all Omega functions admitted by the second mean-value theorem. However, also not all of these piece-wise constant Omega functions with equal interval length possess really zeros off the imaginary axis but this is not necessary to discuss for our purpose. The Omega function (2.5) for the Riemann hypothesis and the Omega functions (2.7) for the modified Bessel function (2.6) do not belong to the excluded Omega functions in the theorem and, therefore, theorem 1 is satisfied for them and the only zeros lie on the ima- ginary axis.
The transformation from ch ( z ) to Ξ ( z ) according to (2.1) can also be written using the Mellin transform Ω ^ ( s ) of the function Ω ( u ) according to
Ξ ( z ) = Ω ^ ( ∂ ∂ z z ) ch ( z ) , Ω ^ ( s ) ≡ ∫ 0 + ∞ d u Ω ( u ) u s − 1 . (5.1)
The operator u z ∂ ∂ z is the operator of multiplication of the argument z of a function g ( z ) by a factor u according to g ( z ) → g ( u z ) = u z ∂ ∂ z g ( z ) .
In this correction and supplement to the article [
Wünsche, A. (2017) Correction and Supplement to Approach for a Proof of Riemann Hypothesis by Second Mean-Value Theorem. Advances in Pure Mathematics, 7, 263-276. https://doi.org/10.4236/apm.2017.73013