A formal proof of the Riemann Hypothesis

Zenodo Submission — Metadata A Proof of the Riemann Hypothesis via the Barner Potential and Lambert W Function Title A Proof of the Riemann Hypothesis via the Barner Potential and Lambert W Function Authors Stefano Rivis Resource Type Publication → Preprint License Creative Commons Attribution 4.0 International (CC BY 4.0) Keywords Riemann Hypothesis, Barner potential, Lambert W function, Binet series, Weil explicit formula, zeta function, critical line MSC 2020 11M26 (Nonreal zeros of ζ(s) and L-functions) • 30D35 (Value distribution of meromorphic functions) • 33E20 (Functions defined by series and integrals) Description This preprint presents a proof that all non-trivial zeros of the Riemann zeta function ζ(s) satisfy Re(s) = 1/2 (the Riemann Hypothesis). The approach is based on the Barner potential J(ρ) = Σ_γ log|ρ−(1/2+iγ)| + J_arch(ρ), a real-valued function whose singularities coincide exactly with the zeros of ζ. The proof establishes three independent results using classical analytic tools (Binet series for the digamma function, Lambert W function, Barner–Guinand regularization of the Weil explicit formula): 1. The second partial derivative ∂²J/∂σ² is strictly positive throughout the critical strip (0,1)×(14.135,∞), proved analytically in two cases via the Binet series and the monotonicity of Im[W(σ+it)]. 2. A logarithmic pole of J at σ₀ ≠ 1/2 is incompatible with ∂²J/∂σ² > 0, by a direct computation showing ∂²J/∂σ² → −∞ in the horizontal approach to any off-line pole. 3. No non-trivial zero of ζ exists for |Im(s)| ≤ 14.135, as established computationally. Together these steps imply that no zero of ζ can lie off the critical line, for any imaginary part. The paper includes a corollary showing that the functional equation ξ(s) = ξ(1−s) independently excludes entire zero quartets off the critical line. Note A preprint PDF and the full LaTeX source are attached. The paper is simultaneously submitted to arXiv.org (math.NT) and to a peer-reviewed journal.