Related papers: Ap\'ery Limits: Experiments and Proofs
For each of the $15$ known sporadic Ap\'ery-like sequences, we prove congruences modulo $p^2$ that are natural extensions of the Lucas congruences modulo $p$. This extends a result of Gessel for the numbers used by Ap\'ery in his proof of…
Defining a Beukers [1] like integral for $\zeta(5)$ as \begin{equation*} I_n:=\int_{(0,1)^5}\frac{(1-x_3)^n(1-x_4)^n P_n(x_1)P_n(x_2)}{1-(1-x_1x_2x_3x_4)x_5} \ dx_1dx_2dx_3dx_4dx_5 \end{equation*} we prove that for each $n\in\mathbb{N}$…
It oftens occurs that Taylor coefficients of (dimensionally regularized) Feynman amplitudes $I$ with rational parameters, expanded at an integral dimension $D= D_0$, are not only periods (Belkale, Brosnan, Bogner, Weinzierl) but actually…
In the course of the proof of the irrationality of zeta(2) R. Apery introduced numbers b_n = \sum_{k=0}^n {n \choose k}^2{n+k \choose k}. Stienstra and Beukers showed that for the prime p > 3 Apery numbers satisfy congruence b((p-1)/2) =…
Let f be a G-function (in the sense of Siegel), and x be an algebraic number; assume that the value f(x) is a real number. As a special case of a more general result, we show that f(x) can be written as g(1), where g is a G-function with…
For an (irreducible) recurrence equation with coefficients from $\mathbb Z[n]$ and its two linearly independent rational solutions $u_n,v_n$, the limit of $u_n/v_n$ as $n\to\infty$, when exists, is called the Ap\'ery limit. We give a…
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…
Some rapidly convergent formulae for special values of the Riemann zeta function are given. We obtain a generating function formula for zeta(4n+3) which generalizes Apery's series for zeta(3), and appears to give the best possible series…
Already in 1734 Euler found a short explicit formula for the value of Riemann zeta function Zeta(s) when the argument s equals a positive integer 2n where n=1,2,3,. No such formula exists for odd positive integer arguments of Zeta. The…
The continued fraction expansion of an irrational number $\alpha$ is eventually periodic if and only if $\alpha$ is a quadratic irrationality. However, very little is known regarding the size of the partial quotients of algebraic real…
Euler gave recipes for converting alternating series of two types, I and II, into equivalent continued fractions, i.e., ones whose convergents equal the partial sums. A condition we prove for irrationality of a continued fraction then…
We prove the second author's "denominator conjecture" [40] concerning the common denominators of coefficients of certain linear forms in zeta values. These forms were recently constructed to obtain lower bounds for the dimension of the…
Using WZ forms, Apery-style proofs of the irrationality of the q-analogues of the Harmonic seires and Ln(2) are given. For the q-analogue of Ln(2), this method of proof produces an improved irrationality measure.
Recently Shekhar Suman [arXiv: 2407.07121v6 [math.GM] 3 Aug 2024] made an attempt to prove the irrationality of $\zeta(5)$. But unfortunately the proof is not correct. In this note, we discuss the fallacy in the proof.
Continued fractions are used to give an alternate proof of $e^{x/y}$ is irrational.
Let $\zeta(s)$ be the Riemann zeta function. We prove the statement in the title, which improves a recent result of Rivoal and Zudilin by lowering $69$ to $35$. We also prove that at least one of $\beta(2),\beta(4),\ldots,\beta(10)$ is…
An application of (iterated) Bauer-Muir acceleration can give an Ap\'ery-like continued fraction for $\pi$ with irrational coefficients, and much faster convergence. It can be considered a generalized continued fraction with the same matrix…
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…
We give a new proof of the identity $\zeta(\{2,1\}^l)=\zeta(\{3\}^l)$ of the multiple zeta values, where $l=1,2,\dots$, using generating functions of the underlying generalized polylogarithms. In the course of study we arrive at…
We use recurrences of integrals to give new and elementary proofs of the irrationality of pi, tan(r) for all nonzero rational r, and cos(r) for all nonzero rational r^2. Immediate consequences to other values of the elementary…