Abstract:It is proved that $s=-2n$ is a simple zero of $\mathop{\mathcal R}(s)$ for each integer $n\ge1$. Here $\mathop{\mathcal R}(s)$ is the function found by Siegel in Riemann's posthumous papers.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that the trivial zeros \(s = - 2n\) (where \(n\geq1\) is an integer) of the Riemann auxiliary function \(R(s)\) are all simple zeros. Specifically, the author hopes to prove that the derivatives of these zeros \(R'(-2n)\neq0\), thereby confirming the simplicity of these zeros.
### Background and Problem Description of the Paper
The Riemann auxiliary function \(R(s)\) is defined as:
\[
R(s)=\int_{0}^{1}x^{-s}e^{\pi ix^{2}}\frac{e^{\pi ix}-e^{-\pi ix}}{e^{\pi ix}+e^{-\pi ix}}dx
\]
This function is related to the Riemann zeta function and is of great significance for studying the zeros of the zeta function. It is known that \(R(-2n) = 0\) for every integer \(n\geq1\), and in some regions, \(s=-2n\) is a simple zero. However, the author's goal is to prove that all these trivial zeros are simple zeros.
### Main Results
The main result of the paper is to prove that for all integers \(n\geq1\), the derivative \(R'(-2n)\neq0\). This means that these trivial zeros are indeed simple zeros. To prove this, the author shows that \(R'(-2n)\) is not zero by estimating the integral expression.
### Key Steps
1. **Derivative Expression**:
By differentiating \(R(s)\) and making a variable substitution, the expression for \(R'(-2n)\) is obtained:
\[
R'(-2n)=\omega\sqrt{\pi n}\left(\frac{i^{n}\pi}{e}\right)^{n}\int_{0}^{\infty}(e^{x^{2}}e^{-x^{2}})^{n}\sin(\omega x\sqrt{\pi n})dx
\]
where \(\omega = e^{\pi i/4}\).
2. **Integral Estimation**:
To prove that \(R'(-2n)\neq0\), it is necessary to prove that the above integral is not zero. By the Laplace approximation method, an asymptotic expression of the integral can be obtained:
\[
\int_{0}^{\infty}(e^{x^{2}}e^{-x^{2}})^{n}\sin(\omega x\sqrt{\pi n})dx\sim\left(\frac{\pi}{2n}\right)^{1/2}\frac{1}{\sin(\omega\sqrt{\pi n})}
\]
3. **Lower Bound of the Real Part**:
To ensure that the integral is not zero, the author proves its non - zero property by calculating the lower bound of the real part of the integral. Specifically, a new integral \(I_{n}\) is defined and it is proved that its real part is greater than zero.
4. **Numerical Verification**:
For smaller \(n\) (i.e., \(1\leq n\leq9\)), the author verifies by numerical calculation that the integral is indeed not zero.
### Conclusion
Through the above steps, the author successfully proves that \(R'(-2n)\neq0\) for all integers \(n\geq1\), thereby confirming that all trivial zeros \(s = - 2n\) are simple zeros. This result provides important theoretical support for the properties of the Riemann auxiliary function.