Related papers: Some transcendence results from a harmless irratio…

We show that the iterative logarithm of each non-linear entire function is differentially transcendental over the ring of entire functions, and we give a sufficient criterion for such an iterative logarithm to be differentially…

We study real numbers defined by multidimensional automatic arrays weighted by multiplicatively independent bases. Let $a_1, \dots, a_r\geq 2$ be integers such that $\log a_1, \dots, \log a_r$ are $\mathbb Q$-linearly independent. Given…

This paper investigates $\exists\mathbb{R}(r^{\mathbb{Z}})$, that is the extension of the existential theory of the reals by an additional unary predicate $r^{\mathbb{Z}}$ for the integer powers of a fixed computable real number $r > 0$. If…

In the present paper and as an application of Roth's theorem concerning the rational approximation of algebraic numbers, we give a sufficient condition that will assure us that a sum, product and quotient of some series of positive rational…

Let $\wp $ be a Weierstrass $\wp $-function with algebraic $g_2$ and $g_3$, which has a non-zero real period $\omega $. We show that at least one of $\pi r$ and $\wp(\omega r)$ is transcendental for any non-zero real number $r$.

Given any two rational numbers $r_1$ and $r_2$, a necessary and sufficient condition is established for the three numbers $1$, $\cos (\pi r_1)$, and $\cos (\pi r_2)$ to be rationally independent. Extending a classical fact sometimes…

Transcendental functions, such as exponentials and logarithms, appear in a broad array of computational domains: from simulations in curvilinear coordinates, to interpolation, to machine learning. Unfortunately they are typically expensive…

A new representation of the Lerch's transcendent Phi(z,s,a), valid for positive integer s=n=1,2,... and for z and a belonging to certain regions of the complex plane, is presented. It allows to write an equation relating Phi(z,n,a) and…

We discuss arithmetic questions related to the "poor man's ad\`ele ring" $\mathcal A$ whose elements are encoded by sequences $(t_p)_p$ indexed by prime numbers, with each $t_p$ viewed as a residue in $\mathbb Z/p\mathbb Z$. Our main…

In this paper, we give a new proof and an extension of the following result of B\'ezivin. Let $f:\B{N}\to K$ be a multiplicative function taking values in a field $K$ of characteristic 0 and write $F(z)=\sum_{n\geq 1} f(n)z^n\in K[[z]]$ for…

Using Galois theory of functional equations, we give a new proof of the main result of the paper "Transcendental transcendency of certain functions of Poincar\'e" by J.F. Ritt, on the differential transcendence of the solutions of the…

For almost all tuples $(x_1,\dots,x_n)$ of complex numbers, a strong version of Schanuel's Conjecture is true: the $2n$ numbers $x_1,\dots,x_n, {\mathrm e}^{x_1},\dots, {\mathrm e}^{x_n}$ are algebraically independent. Similar statements…

This survey text deals with irrationality, and linear independence over the rationals, of values at positive odd integers of Riemann zeta function. The first section gives all known proofs (and connections between them) of Ap\'ery's Theorem…

For a given transcendental number $\xi$ and for any polynomial $P(X)=: \lambda_0+\cdots+\lambda_k X^k \in \mathbb{Z}[X]$, we know that $ P(\xi) \neq 0.$ Let $k \geq 1$ and $\omega (k, H)$ be the infimum of the numbers $r > 0$ satisfying the…

In this paper, we propose various sufficient conditions to determine if a given real number is an irrational number or a transcendental number and also apply these conditions to some interesting examples, particularly,one of them comes from…

In a previous paper by Ferreira and L\'opez [Journal of Mathematical Analysis and Applications, 298(1), 2004], the authors derived an asymptotic expansion of the Lerch's transcendent $\Phi(z,s,a)$ for large $\vert a\vert$, valid for…

In this paper, we establish transcendental entire function $A(z)$ and polynomial $B(z)$ such that the differential equation $f''+A(z)f'+B(z)f=0$, has all non-trivial solution of infinite order. We use the notion of \emph{critical rays} of…

Let $s_0,s_1,\dots,s_{m-1}$ be complex numbers and $r_0,\dots,r_{m-1}$ rational integers in the range $0\le r_j\le m-1$. Our first goal is to prove that if an entire function $f$ of sufficiently small exponential type satisfies…

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 exploit some properties of the Hurwitz zeta function $\zeta (n,x)$ in order to study sums of the form $\frac{1}{\pi ^{n}}\sum_{j=-\infty}^{\infty}1/(jk+l)^{n}$ and $\frac{1}{\pi ^{n}}\sum_{j=-\infty}^{\infty}(-1)^{j}/(jk+l)^{n}$ for $%…