相关论文: A way to prove the irrationality of Zeta(4)

This survey text deals with irrationality, and linear independence over the rationals, of values at positive odd integers of Riemann zeta function. The first section gives all known proofs (and connections between them) of Ap\'ery's Theorem…

In this note we evaluate multiple integrals that play a crucial role in the theory of irrationality of zeta function

In 1978, Apery has given sequences of rational approximations to $\zeta(2)$ and $\zeta(3)$ yielding the irrationality of each of these numbers. One of the key ingredient of Apery's proof are second-order difference equations with polynomial…

In this small note, we provide an elementary proof of the fact that infinitely many odd zeta values are irrational. For the first time, this celebrated theorem been proven by Rivoal and Ball--Rivoal. The original proof uses highly…

In a spirit of Ap\'ery's proof of the irrationality of $\zeta(3)$, we construct a sequence $p_n/q_n$ of rational approximations to the $2$-adic zeta value $\zeta_2(5)$ which satisfy $0 < |\zeta_2(5)-p_n/q_n|_2 <…

We prove the new upper bound 5.095412 for the irrationality exponent of $\zeta(2)=\pi^2/6$; the earlier record bound 5.441243 was established in 1996 by G. Rhin and C. Viola.

In this paper we show how one can obtain simultaneous rational approximants for $\zeta_q(1)$ and $\zeta_q(2)$ with a common denominator by means of Hermite-Pade approximation using multiple little q-Jacobi polynomials and we show that…

We formalize a proof of the irrationality of $\zeta(3)$ in Lean 4, using Beukers' method. To support this, we extend the Lean mathematical library (Mathlib) by formalizing shifted Legendre polynomials and important results in analytic…

We prove that there are at least $1.284 \cdot \sqrt{s/\log s}$ irrational numbers among $\zeta(3)$, $\zeta(5)$, $\zeta(7)$, $\ldots$, $\zeta(s-1)$ for any sufficiently large even integer $s$. This result improves upon the previous finding…

For any prime $p$ and $\varepsilon>0$ we prove that for any sufficiently large positive odd integer $s$ at least $(c_p-\varepsilon) \sqrt{\frac{s}{\log s}}$ of the $p$-adic zeta values $\zeta_p(3),\zeta_p(5),\dots,\zeta_p(s)$ are…

The knowledge on irrationality of p-adic zeta values has recently progressed. The irrationality of zeta_2(2), \zeta_2(3) and of a few other p-adic series of Dirichlet was obtained by F. Calegari. F. Beukers gave a more elementary proof of…

There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real…

This paper presents a complete formal verification of a proof that the evaluation of the Riemann zeta function at 3 is irrational, using the Coq proof assistant. This result was first presented by Ap\'ery in 1978, and the proof we have…

We found, by Hurwitz's Zeta Function, a new functional equation for Riemann Zeta Function. Considering this equation for $s=2$ and $s=1$, we determine a relation between the values of Riemann zeta Function on positive integers. The Matrix…

We provide a lower bound for the dimension of the vector space spanned by 1 and by the values of the Riemann Zeta function at the first odd integers. As a consequence, the Zeta function takes infinitely many irrational values at odd…

A simplification of Ap\'ery's proof of the irrationality of \zeta(3) is presented. The construction of approximations is motivated from the viewpoint of 2-dimensional recurrence relations which simplifies many of the details of the proof.…

Based on the framework of the WZ theory, a new evaluation for $\varsigma (2) = \frac{\pi ^2}{6}$ and $\varsigma (4) = \frac{\pi ^4}{90}$ was given respectively, finally, a new recurrence formula for $\varsigma (2k)$ was given.

We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence of rational numbers. Thus, there are computable real numbers…

We present a new `elementary' proof of the irrationality of $\zeta(3)$ based on some recent `hypergeometric' ideas of Yu.Nesterenko, T.Rivoal, and K.Ball, and on Zeilberger's algorithm of creative telescoping.

Assuming the positive solution to the Cut-and-paste problem we prove that the motivic zeta function remains irrational after inverting L.