相关论文: A note on Apery's constant is transcendental

We study logarithmic integrals of the form $\int_0^1 x^i\ln^n(x)\ln^m(1-x)dx$. They are expressed as a rational linear combination of certain rational numbers $(n,m)_i$, which we call tiered binomial coefficients, and products of the zeta…

The pentagonal numbers are the integers given by $p_5(n)=n(3n-1)/2\ (n=0,1,2,\ldots)$. Let $(b,c,d)$ be one of the triples $(1,1,2),(1,2,3),(1,2,6)$ and $(2,3,4)$. We show that each $n=0,1,2,\ldots$ can be written as $w+bx+cy+dz$ with…

We introduce a Bernoulli operator,let $\mathbf{B}$ denote the operator symbol,for n=0,1,2,3,... let ${\mathbf{B}^n}: = {B_n}$ (where ${B_n}$ are Bernoulli numbers,${B_0} = 1,B{}_1 = 1/2,{B_2} = 1/6,{B_3} = 0$...).We obtain some formulas for…

We consider the sums $S(k)=\sum_{n=0}^{\infty}\frac{(-1)^{nk}}{(2n+1)^k}$ and $\zeta(2k)=\sum_{n=1}^{\infty}\frac{1}{n^{2k}}$ with $k$ being a positive integer. We evaluate these sums with multiple integration, a modern technique. First, we…

We show for even positive integers $n$ that the quotient of the Riemann zeta values $\zeta(n+1)$ and $\zeta(n)$ satisfies the equation $$\frac{\zeta(n+1)}{\zeta(n)} = (1-\frac{1}{n}) (1-\frac{1}{2^{n+1}-1})…

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…

In this paper, we study Ap\'{e}ry-type series involving the central binomial coefficients \begin{align*} \sum_{n_1>\cdots>n_d>0} \frac1{4^{n_1}}\binom{2n_1}{n_1} \frac{1}{n_1^{s_1}\cdots n_d^{s_d}} \end{align*} and its variations where the…

In this work we show $\zeta(3) = 4\pi^{2}\ln(B)$ with the Bendersky-Adamchik constant $B$.

Inspired by a recent beautiful construction of Armin Straub and Wadim Zudilin, that 'tweaked' the sum of the $s^{th}$ powers of the $n$-th row of Pascal's triangle, getting instead of sequences of numbers, sequences of rational functions,…

A celebrated unresolved conjecture of Peter Frankl states that every finite union-closed collection of sets ($B$), with non-empty universe, admits an abundant element. The best result in the literature states that if $|B|=n$, then there…

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 derive new constraints on the zeros of Airy functions by using the so-called quantum bouncer system to evaluate quantum-mechanical sum rules and perform perturbation theory calculations for the Stark effect. Using commutation and…

We derive an expression for the value $\zeta_Q(3)$ of the spectral zeta function $\zeta_Q(s)$ studied by Ichinose and Wakayama for the non-commutative harmonic oscillator defined in the work of Parmeggiani and Wakayama using a Gaussian…

Linear recursions with integer coefficients, such as the one generating the Fibonacci sequence, have been intensely studied over millennia and yet still hide new mathematics. Such a recursion was used by Ap\'ery in his proof of the…

We find and prove relationships between Riemann zeta values and central binomial sums. We also investigate alternating binomial sums (also called Ap\'ery sums). The study of non-alternating sums leads to an investigation of different types…

We prove that among 1 and the odd zeta values $\zeta(3)$, $\zeta(5)$, \ldots, $\zeta(s)$, at least $ 0.21 \sqrt{s}/\sqrt{\log s}$ are linearly independent over the rationals, for any sufficiently large odd integer $s$. This is the first…

In this article, we derive a Euler prime product formula for the magnitude of the Riemann zeta function $\zeta(s)$ valid for $\Re(s)>1$, as well as similar formulas for $\zeta(s)$ valid for an even and odd $k$th positive integer argument.…

For a prime number $p$, let $A_3(p)= | \{ m \in \mathbb{N}: \exists m_1,m_2,m_3 \in \mathbb{N}, \frac{m}{p}=\frac{1}{m_1}+\frac{1}{m_2}+\frac{1}{m_3} \} |$. In 2019 Luca and Pappalardi proved that $x (\log x)^3 \ll \sum_{p \le x} A_{3}(p)…

We investigate the relations between the rings ${\bf E}$, ${\bf G}$ and ${\bf D}$ of values taken at algebraic points by arithmetic Gevrey series of order either $-1$ ($E$-functions), $0$ (analytic continuations of $G$-functions) or $1$…

We show that for integers $n$, whose ratios of consecutive divisors are bounded above by an arbitrary constant, the normal order of the number of prime factors is $C \log \log n$, where $C=(1-e^{-\gamma})^{-1} = 2.280...$ and $\gamma$ is…