Related papers: Values of E-functions are not Liouville numbers

Siegel-Shidlovskii theory of $E$-functions involves a non-vanishing proof for the determinants attached to the linear forms $D^kR(t)$, derivatives of an auxiliary function $R(t)$. Let a non-zero function $F(t)$ satisfy $m$th order linear…

Let $K/\mathbb Q$ be a finite Galois extension. Let $\chi_1,\ldots,\chi_r$ be $r\geq 1$ distinct characters of the Galois group with the associated Artin L-functions $L(s,\chi_1),\ldots, L(s,\chi_r)$. Let $m\geq 0$. We prove that the…

Building upon previous works of Andr{\'e} and Chudnovsky, we prove a general result concerning the approximations of values at rational points a/b of any G-function F with rational Taylor coefficients by fractions of the form n/(B…

We study singular solutions to the fractional Laplace equation and, more generally, to nonlocal linear equations with measurable kernels. We establish B\^ocher type results that characterize the behavior of singular solutions near the…

In this paper, we prove some Liouville theorem for the following elliptic equations involving nonlocal nonlinearity and nonlocal boundary value condition $$ \left\{ \begin{array}{ll} \displaystyle -\Delta u(y)=\intpr \frac{…

We construct a complex entire function with arbitrary number of variables which has the following property: The infinite set consisting of all the values of all its partial derivatives of any orders at all algebraic points, including zero…

The Linear Independence hypothesis (LI), which states roughly that the imaginary parts of the critical zeros of Dirichlet L-functions are linearly independent over the rationals, is known to have interesting consequences in the study of…

We establish new measures of linear independence of logarithms on commutative algebraic groups in the so-called \emph{rational case}. More precisely, let k be a number field and v_{0} be an arbitrary place of k. Let G be a commutative…

E. Maillet proved that the set of Liouville numbers is preserved under rational functions with rational coefficients. Based on this result, a problem posed by Kurt Mahler is to investigate whether there exist entire transcendental functions…

We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential equation, but also sometimes with an infinite…

In \cite{LWZ}, we establish Liouville-type theorems and decay estimates for solutions of a class of high order elliptic equations and systems without the boundedness assumptions on the solutions. In this paper, we continue our work in…

In 1953 LeVeque proved the existence of $U_m$-numbers by showing that for some specially defined Liouville number $\lambda$, the $m$th root $\lambda^{1/m}$ is in $U_m$. In this article we study the following question: let $u$ be an…

In a recent paper with Sprang and Zudilin, the following result was proved: if $a$ is large enough in terms of $\varepsilon>0$, then at least $2^{(1-\varepsilon)\frac{\log a}{\log \log a}}$ values of the Riemann zeta function at odd…

A fundamental theorem of Liouville asserts that positive entire harmonic functions in Euclidean spaces must be constant. A remarkable Liouville-type theorem of Caffarelli-Gidas-Spruck states that positive entire solutions of $-\Delta u=u^{…

We prove some Liouville properties for sub- and supersolutions of fully nonlinear degenerate elliptic equations in the whole space. Our assumptions allow the coefficients of the first order terms to be large at infinity, provided they have…

Let $r, \,m$ be positive integers. Let $x$ be a rational number with $0 \le x <1$. Consider $\Phi_s(x,z) =\displaystyle\sum_{k=0}^{\infty}\frac{z^{k+1}}{{(k+x+1)}^s}$ the $s$-th Lerch function with $s=1, 2, \cdots, r$. When $x=0$, this is a…

We prove a weighted analogue of the Khintchine-Groshev Theorem, where the distance to the nearest integer is replaced by the absolute value. This is subsequently applied to proving the optimality of several linear independence criteria over…

We prove new linear independence results for the values of generalized hypergeometric functions ${}_pF_q$ at several distinct algebraic points, over arbitrary algebraic number fields. Our approach combines constructions of type II Pad\'{e}…

In this note we prove algebraic independence results for the values of a special class of Mahler functions. In particular, the generating functions of Thue-Morse, regular paperfolding and Cantor sequences belong to this class, and we obtain…

We study asymptotics of integrals of certain rational functions that depend on parameters in a field $K$ of characteristic zero. We use formal power series to represent the integral and prove certain identities about its coefficients…