Related papers: q-Apery Irrationality Proofs by q-WZ Pairs
We show how one can obtain rational approximants for $q$-extensions of the harmonic series and the logarithm (and many other similar quantities) by Pad\'e approximation using little $q$-Legendre polynomials and we show that properties of…
We provide a $q$-analogue of Euler's formula for $\zeta(2k)$ for $k\in\mathbb{Z}^+$. Our main results are stated in Theorems 3.1 and 3.2 below. The result generalizes a recent result of Z.W. Sun who obtained $q$-analogues of…
We present a new proof of the irrationality of values of the series $T_q(z)=\sum_{n=0}^\infty z^nq^{-n(n-1)/2}$ in both qualitative and quantitative forms. The proof is based on a hypergeometric construction of rational approximations to…
Following Apery's proof of the irrationality of zeta(3), Beukers found an elegant reinterpretation of Apery's arguments using modular forms. We show how Beukers arguments can be adapted to a p-adic setting. In this context, certain…
We prove the irrationality of some factorial series. To do so we combine methods from elementary and analytic number theory with methods from the theory of uniform distribution.
Continued fractions are used to give an alternate proof of $e^{x/y}$ is irrational.
In this paper we review a general proof for the irrationality property of numbers which take a certain form of infinite sums.
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.…
It is well-known that the Ap\'ery sequences which arise in the irrationality proofs for $\zeta(2)$ and $\zeta(3)$ satisfy many intriguing arithmetic properties and are related to the $p$th Fourier coefficients of modular forms. In this…
In this paper, we study some Euler-Ap\'ery-type series which involve central binomial coefficients and (generalized) harmonic numbers. In particular, we establish elegant explicit formulas of some series by iterated integrals and…
In this note, we prove the irrationality of $\zeta(5)$ and generalize the method to prove the irrationality of all higher odd zeta values. Our proof relies on the method of contradiction, existence of solution of a system of Linear…
Two integral representations of q-analogues of the Hurwitz zeta function are established. Each integral representation allows us to obtain an analytic continuation including also a full description of poles and special values at…
We give a simple geometric proof that $e$ is irrational, using a construction of a nested sequence of closed intervals with intersection $e$. The proof leads to a new measure of irrationality for $e$: if $p$ and $q$ are integers with $q >…
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 <…
A famous theorem of Zudilin states that at least one of the Riemann zeta values $\zeta(5), \zeta(7), \zeta(9), \zeta(11)$ is irrational. In this paper, we establish the $p$-adic analogue of Zudilin's theorem. As a weaker form of our result,…
We establish $q$-analogs for four congruences involving central binomial coefficients. The $q$-identities necessary for this purpose are shown via the $q$-WZ method.
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…
We establish a $q$-analogue of the Bailey-Borwein-Bradley identity generating accelerated series for even zeta values and prove $q$-analogues of Markov's and Amdeberhan's series for $\zeta(3)$ using the $q$-Markov-WZ method.
We point out that the proof of irrationality of $\pi$ by Niven can be modified to a proof by contraposition. As a warm-up, we also give a proof of irrationality of $\sqrt{2}$ and $\sqrt{3}$ in a similar way.
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…