Related papers: Irrationality proofs \`a la Hermite

Numbers are often used to define more complicated numbers. For example, two integers are used to define a rational number and two reals are used to define a complex number. It might be expected that an irrational power of an irrational…

We consider the real number $\sigma$ with continued fraction expansion $[a_0, a_1, a_2,\ldots] = [1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,16,\ldots]$, where $a_i$ is the largest power of $2$ dividing $i+1$. We compute the irrationality measure of…

In the abstract of [1] we read: "We obtain so far unproved properties of a ratio involving a classof Hermite and parabolic cylinder functions." However, we explain how some of the main results in that paper were already proved in [2],…

Around 1967, Arveson invented a striking noncommutative generalization of classical $H^\infty$, known as {\em subdiagonal algebras}, which include a wide array of examples of interest to operator theorists. Their theory extends that of the…

It is unknown whether the Flint-Hills series $\sum_{n=1}^\infty \frac{1}{n^3\sin^2(n)}$ converges. Alekseyev (2011) connected this question to the irrationality measure of $\pi$, that $\mu(\pi) > \frac{5}{2}$ would imply divergence of the…

This short "education note" was inspired by Zvi Artstein's masterpiece Mathematics and the Real World, the Remarkable Role of Evolution in the Making of Mathematics (p. 53, and p. 400)

Let $b \ge 2$ be an integer and $\xi$ an irrational real number. We establishes that, if the irrationality exponent of $\xi$ is less than $2.324 \ldots$, then the $b$-ary expansion of $\xi$ cannot be `too simple', in a suitable sense. This…

In this paper, we study the so-called 'Mathematical part' of Plato's Theaetetus. Its subject concerns the incommensurability of certain magnitudes, in modern terms the question of the rationality or irrationality of the square roots of…

We have used the first 2600 nontrivial zeros gamma_l of the Riemann zeta function calculated with 1000 digits accuracy and developed them into the continued fractions. We calculated the geometrical means of the denominators of these…

One of the greatest achievements of Greek mathematics is the proof that the square root of 2 is irrational. It has not been thought that the Babylonians appreciated the concept of irrationality and certainly that they did not prove that the…

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…

As a corollary of the main result of our recent paper, {\em On the rational approximation of the sum of the reciprocals of the Fermat numbers} published in this same journal, we prove that for each integer $b\geq 2$ the irrationality…

We prove that there is at least one irrationnal among the nine numbers zeta(5), zeta(7),..., zeta(21).

We study asymptotics for the intergal of irrationality measure functions.

We solve a long standing problem in the theory of Siegel's $E$-functions, initiated by Lang for Bessel's function $J_0$ in the 60's and considered in full generality by G. Chudnovsky in the 80's: we prove that irrational values taken at…

Some divergent trigonometric integrals have appeared in standard tables for many years, listed as converging. We give a simple proof that these integrals diverge and trace their history. The original error was made when a (startlingly)…

The degree of irrationality $irr(X)$ of a $n$-dimensional complex projective variety $X$ is the least degree of a dominant rational map $X\dashrightarrow \mathbb{P}^n$. It is a well-known fact that given a product $X\times \mathbb{P}^m$ or…

In this shortnote, a series expansion technique introduced recently by Dancs and He for generating Euler-type formulae for odd zeta values $\:\zeta{(2 k +1)}$, $\zeta{(s)}$ being the Riemann zeta function and $k$ a positive integer, is…

We generalize the classical theorem by Jarnik and Besicovitch on the irrationality exponents of real numbers and Hausdorff dimension. Let a be any real number greater than or equal to 2 and let b be any non-negative real less than or equal…

Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this…