Related papers: A problem around Mahler functions

In [9], Migliore, Mir\'o-Roig and Nagel, proved that if $R = \mathbb{K}[x,y,z]$, where $\mathbb{K}$ is a field of characteristic zero, and $I=(L_1^{a_1},\dots,L_r^{a_4})$ is an ideal generated by powers of 4 general linear forms, then the…

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…

There exist many explicit evaluations of Dirichlet series. Most of them are constructed via the same approach: by taking products or powers of Dirichlet series with a known Euler product representation. In this paper we derive a result of a…

In 1902, P. St\"ackel proved the existence of a transcendental function $f(z)$, analytic in a neighbourhood of the origin, and with the property that both $f(z)$ and its inverse function assume, in this neighbourhood, algebraic values at…

We prove two types of functional equations for double series of Euler type with complex coefficients. The first one is a generalization of the functional equation for the Euler double zeta-function, proved in a former work of the…

In this paper, we give a new proof of a result due to Bezivin that a D-finite Mahler function is necessarily rational. This also gives a new proof of the rational-transcendental dichotomy of Mahler functions due to Nishioka. Using our…

We say a power series $\sum_{n=0}^\infty a_n q^n$ is multiplicative if the function $n\mapsto a_n/a_1$ ($n\ge 1$) is so. In this paper, we consider multiplicative power series $f$ such that $f^2$ is also multiplicative. We find various…

We prove in this paper that a multivariate D-finite power series with coefficients from a finite set is rational. This generalizes a rationality theorem of van der Poorten and Shparlinski in 1996.

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…

Let $K$ be an algebraically closed field of characteristic zero, and let $\mathcal{K} := K(t)$ be the rational function field over $K$. For each $d \ge 2$, we consider the unicritical polynomial $f_d(z) := z^d + t \in \mathcal{K}[z]$, and…

Some cases of the LFED Conjecture, proposed by the second author [Z3], for certain integral domains are proved. In particular, the LFED Conjecture is completely established for the field of fractions $k(x)$ of the polynomial algebra $k[x]$,…

Associated to a newform $f(z)$ is a Dirichlet series $L_f(s)$ with functional equation and Euler product. Hecke showed that if the Dirichlet series $F(s)$ has a functional equation of the appropriate form, then $F(s)=L_f(s)$ for some…

Let $K$ be an imaginary quadratic field, and let $\mathfrak{f}$ be a nontrivial integral ideal of $K$. Hasse and Ramachandra asked whether the ray class field of $K$ modulo $\mathfrak{f}$ can be generated by a single value of the Weber…

The exponential generating functions of {n^(n+m)} for arbitrary integer m are expressed as rational functions of the e.g.f. of {n^(n-1)} [the tree function] and then of the e.g.f. of {n^n} [the endofunction function]. The coefficients in…

Let $t\geq2$ and $k\geq1$ be integers. Let $H_{k}(z)$ with $\left\vert z\right\vert <1$ be the limit of a certain subsequence of the Stern polynomials introduced by Dilcher and Eriksen. We use Mahler's method to prove the algebraic…

We prove that if $k$ is a positive integer then for every finite field $\mathbb{F}$ of cardinality $q\neq 2$ and for every positive integer $n$ such that $q^n>(k-1)^4$, every $n\times n$ matrix over $\mathbb{F}$ can be expressed as a sum of…

We prove that the power series expansion of the rational function of Gillis, Reznick and Zeilberger (1983) has only nonnegative coefficients.

Let $f(z) = \sum_{k=0}^\infty d_k z^k$, $d_k\in\mathbb{C}\backslash\{ 0 \}$, $d_0=1$, be a power series with a non-zero radius of convergence $\rho$: $0 <\rho \leq +\infty$. Denote by $f_n(z)$ the n-th partial sum of $f$, and $R_{2n}(z) =…

Let $K=\mathbb{Q}(\alpha)$ be a number field generated by a complex root $\alpha$ of a monic irreducible polynomial $f(x)=x^{12}-m$, with $m\neq 1$ is a square free rational integer. In this paper, we prove that if $m \equiv 2$ or $3$ (mod…

For a wide class of Dirichlet series associated to automorphic forms, we show that those without Euler products must have zeros within the region of absolute convergence. For instance, we prove that if f is a classical holomorphic modular…