Related papers: An irrationality measure for Liouville numbers and…

The aim of the paper is to relate computational and arithmetic questions about Euler's constant $\gamma$ with properties of the values of the $q$-logarithm function, with natural choice of $q$. By these means, we generalize a classical…

We use a variant of Salikhov's ingenious proof that the irrationality measure of $\pi$ is at most $7.606308\dots$ to prove that, in fact, it is at most $7.103205334137\dots$. Accompanying Maple package: While this article has a fully…

Available proofs of result of the type 'at least one of the odd zeta values $\zeta(5),\zeta(7),\dots,\zeta(s)$ is irrational' make use of the saddle-point method or of linear independence criteria, or both. These two remarkable techniques…

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 <…

It is well known that the arithmetic nature of Mills' prime-representing constant is uncertain: we do not know if Mills' constant is a rational or irrational number. In the case of other prime-representing constants, irrationality can be…

We illustrate the power of Experimental Mathematics and Symbolic Computation to suggest irrationality proofs of natural constants, and the determination of their irrationality measures. Sometimes such proofs can be fully automated, but…

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.

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…

It is proved that, for all odd integer $s \geqslant s_0(\varepsilon)$, there are at least $\big( c_0 - \varepsilon \big) \frac{s^{1/2}}{(\log s)^{1/2}} $ many irrational numbers among the following odd zeta values:…

We consider Liouville-type and partial regularity results for the nonlinear fourth-order problem $$ \Delta^2 u=|u|^{p-1}u\ \{in} \ \R^n,$$ where $ p>1$ and $n\ge1$. We give a complete classification of stable and finite Morse index…

Let $K\subset\mathbb{R}$ be a self-similar set defined on $\mathbb{R}$. It is easy to prove that if the Lebesgue measure of $K$ is zero, then for Lebesgue almost every $t$, $$K+t=\{x+t:x\in K\}$$ only consists of irrational or…

We consider the scalar second order ODE u + |u | $\alpha$ u + |u| $\beta$ u = 0, where $\alpha$, $\beta$ are two positive numbers and the non-linear semi-group S(t) generated on IR 2 by the system in (u, u). We prove that S(t)IR 2 is…

If $\alpha$ is a non-zero algebraic number, we let $m(\alpha)$ denote the Mahler measure of the minimal polynomial of $\alpha$ over $\mathbb Z$. A series of articles by Dubickas and Smyth, and later by the author, develop a modified version…

In this paper we review a general proof for the irrationality property of numbers which take a certain form of infinite sums.

We consider the $2m$-th order elliptic boundary value problem $Lu=f(x,u)$ on a bounded smooth domain $\Omega$ in $R^N$ with Dirichlet boundary conditions. The operator $L$ is a uniformly elliptic operator of order $2m$. We assume that for…

In this paper we give a general upper bound for the irrationality exponent of algebraic Laurent series with coefficients in a finite field. Our proof is based on a method introduced in a different framework by Adamczewski and Cassaigne. It…

For a given irrational number $\alpha$ and a real number $\gamma$ in $(0,1)$ one defines the two-sided inhomogeneous approximation constant \begin{equation*} M(\alpha,\gamma):=\liminf_{|n|\rightarrow\infty}|n| ||n\alpha-\gamma||,…

We apply the Pade technique to find rational approximations to % \[h^{\pm}(q_1,q_2)=\sum_{k=1}^\infty\frac{\q_1^k}{1\pm \q_2^k}, 0<q_1,q_2<1, q_1\in\mathbb{Q}, q_2=1/p_2, p_2\in\mathbb{N}\setminus\{1\}.\] % A separate section is dedicated…

In this paper we refine Ball-Rivoal's theorem by proving that for any odd integer $a$ sufficiently large in terms of $\epsilon>0$, there exist $[ \frac{(1-\epsilon)\log a}{1+\log 2}]$ odd integers $s$ between 3 and $a$, with distance at…

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…