Related papers: On algebraic values of function exp (2ni x + log l…
In this note, we show that the values of integrals of the log-tangent function with respect to any square-integrable function on $\left[0 , \frac{\pi}{2} \right]$ may be determined by a finite or infinite sum involving the Riemann…
A sharp explicit estimate is proved for the difference $e^\beta-\alpha$ when $\alpha$ and $\beta$ are nonzero algebraic numbers.
An irrational number $\theta$ is called Diophantine if there exist $c>0$ and $\tau < \infty$ such that $\left| \theta - \frac{p}{q} \right| \ge \frac{c}{q^\tau}$ holds for every $(p,q) \in \mathbb{Z} \times \mathbb{N}$. In this paper, we…
Closed form expressions for a multivector exponential and logarithm are presented in real Clifford geometric algebras Cl(p,q)when n=p+q=1 (complex and hyperbolic numbers) and n=2 (Hamilton, split and conectorine quaternions). Starting from…
Let $b \ge 2$ be an integer and $\xi$ an irrational real number. We prove that, if the irrationality exponent of $\xi$ is equal to $2$ or slightly greater than $2$, then the $b$-ary expansion of $\xi$ cannot be `too simple', in a suitable…
It has been conjectured for some time that, for any integer n\ge 2, any real number \epsilon >0 and any transcendental real number \xi, there would exist infinitely many algebraic integers \alpha of degree at most n with the property that…
Let $\exp[x_0,x_1,\dots,x_n]$ denote the divided difference of the exponential function. (i) We prove that exponential divided differences are log-submodular. (ii) We establish the four-point inequality $…
It is well known that value at a non-zero algebraic number of each of the functions $e^{x}, \ln x, \sin x, \cos x, \tan x, \csc x, \sec x, \cot x, \sinh x,$ $ \cosh x,$ $ \tanh x,$ and $\coth x$ is transcendental number (see Theorem 9.11 of…
For any Liouville number $\alpha$, all of the following are transcendental numbers: $\textrm{e}^\alpha$, $\log_\textrm{e}\alpha$, $\sin \alpha$, $\cos\alpha$, $\tan\alpha$, $\sinh\alpha$, $\cosh\alpha$, $\tanh\alpha$, $\arcsin\alpha$ and…
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…
Real and imaginary part of the limit 2N->infinity of the integral int_{x=1..2N} exp(i*pi*x)*x^(1/x) dx are evaluated to 20 digits with brute force methods after multiple partial integration, or combining a standard Simpson integration over…
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$.
This monograph elucidates and extends many theorems and conjectures in analytic number theory and algebraic asymptotic analysis via the natural notion of "degree" and a more general notion that we call "logexponential degree." Specifically,…
In this second part, we study the Diophantine properties of values of arithmetic Gevrey series of non-zero order at algebraic points. We rely on the fact, proved in the first part, that the minimal differential operator (with polynomial…
We prove that if $\alpha$ is a non-zero algebraic number of degree $d \geq 2$ which is not a root of unity, then $dh(\alpha)>(1/4) (\log(\log (d))/\log(d))^3.
It is well known that algebraic power series are differentially finite (D-finite): they satisfy linear differential equations with polynomial coefficients. The converse problem, whether a given D-finite power series is algebraic or…
Continued fraction expansions provide a well-established bridge between algebraic properties of numbers and combinatorics on words. In this article, we investigate the algebraicity of $p$-adic numbers whose continued fractions arise from…
E-functions are entire functions with algebraic Taylor coefficients satisfying certain arithmetic conditions, and which are also solutions of linear differential equations with rational functions coefficients. They were introduced by Siegel…
We introduce and discuss a new class of (multivalued analytic) transcendental functions which still share with algebraic functions the property that the number of their isolated zeros can be explicitly counted. On the other hand, this class…
We construct a computable, computably categorical field of infinite transcendence degree over the rational numbers, using the Fermat polynomials and assorted results from algebraic geometry. We also show that this field has an intrinsically…