Related papers: Linear independence of values of G-functions, II. …

We study multiplicative functions $f$ satisfying $|f(n)|\le 1$ for all $n$, the associated Dirichlet series $F(s):=\sum_{n=1}^{\infty} f(n) n^{-s}$, and the summatory function $S_f(x):=\sum_{n\le x} f(n)$. Up to a possible trivial…

We study Diophantine equations of type $f(x)=g(y)$, where $f$ and $g$ are lacunary polynomials. According to a well known finiteness criterion, for a number field $K$ and nonconstant $f, g\in K[x]$, the equation $f(x)=g(y)$ has infinitely…

We generalize both the notion of polynomial functions on Lie groups and the notion of horizontally affine maps on Carnot groups. We fix a subset $S$ of the algebra $\mathfrak g$ of left-invariant vector fields on a Lie group $\mathbb G$ and…

Let $k$ be even. We consider two series $F_k(x)= \sum_{n=1}^\infty \frac{\sigma_{k-1}(n)}{n^{k+1}} \sin(2\pi n x)$ and $G_k(x)= \sum_{n=1}^\infty \frac{\sigma_{k-1}(n)}{n^{k+1}} \cos(2\pi n x)$, where $\sigma_{k-1}$ is the divisor function.…

Let ${\mathcal S}$ be the class of all functions $f$ that are analytic and univalent in the unit disk $\ID$ with the normalization $f(0)=f'(0)-1=0$. Let $\mathcal{U} (\lambda)$ denote the set of all $f\in {\mathcal S}$ satisfying the…

Let $\mathcal{A}$ denote the class of normalized analytic functions $f$ in the open unit disk defined as $ \mathbb{D}:=\{z\in\mathbb{C}:|z|<1\} $ with $f(0)=0$ and $f'(0)=1$. A function $f\in\mathcal{A}$ is said to be starlike if…

It is known that $G$-functions solutions of a linear differential equation of order 1 with coefficients in $\overline{\mathbb{Q}}(z)$, are algebraic (of a very precise form). No general result is known when the order is 2. In this paper, we…

We say that a function $\alpha(x)$ belongs to the set ${\bf A}^{(\gamma)}$ if it has an asymptotic expansion of the form $\alpha(x)\sim \sum^\infty_{i=0}\alpha_ix^{\gamma-i}$ as $x\to\infty$, which can be differentiated term by term…

Shidlovskii has given a linear independence measure of values of $E$-functions with rational Taylor coefficients at a rational point, not a singularity of the underlying differential system satisfied by these $E$-functions. Recently,…

In this paper, we study the uniqueness of the differential-difference polynomials of entire functions on $\mathbb{C}^{n}$. We prove the following result: Let $f(z)$ be a transcendental entire function on $\mathbb{C}^{n}$ of hyper-order less…

Let $G$ be a nonempty bounded domain in a finite-dimensional Euclidean space. The main results are general estimates from below at points from $G$ for an arbitrary subharmonic function $u\not\equiv -\infty$ on the closure of the domain $G$…

We consider the family of all analytic and univalent functions in the unit disk of the form $f(z)=z+a_2z^2+a_3z^3+\cdots$. Our objective in this paper is to estimate the difference of the moduli of successive coefficients, that is $\big |…

In this paper, we established a sharp version of the difference analogue of the celebrated H\"{o}lder's theorem concerning the differential independence of the Euler gamma function $\Gamma$. More precisely, if $P$ is a polynomial of $n+1$…

A starlike univalent function $f$ is characterized by the function $zf'(z)/f(z)$; several subclasses of these functions were studied in the past by restricting the function $zf'(z)/f(z)$ to take values in a region $\Omega$ on the right-half…

For $f\in \mathcal{S}$, the class univalent functions in the unit disk $\mathbb{D}$ and given by $f(z)=z+\sum_{n=2}^{\infty} a_n z^n$ for $z\in \mathbb{D}$, we improve previous bounds for the second and third Hankel determinants in case…

A function $F:\mathbb{F}_{2}^{n}\to \mathbb{F}_{2}^{m}$ is called $k$th-order sum-free if the sum of its values over any $k$-dimensional affine subspace of $\mathbb{F}_2^n$ is non-zero. Carlet recently introduced this notion and constructed…

The main goal of the paper is to prove that the sequence of functions $f(x), Df(x), \dots, D^{2n+1}f(x)$, where $f(x)$ is $x^n\sin x$ or $x^n\cos x$ are linearly independent. Or more generally: that the sequence of functions $D^kf(x),…

The $n$th partial sum of an analytic function $f(z)=z+\sum_{k=2}^\infty a_k z^k$ is the polynomial $f_n(z):=z+\sum_{k=2}^n a_k z^k$. A survey of the univalence and other geometric properties of the $n$th partial sum of univalent functions…

Let $f$ be an $E$-function (in Siegel's sense) not of the form $e^{\beta z}$, $\beta \in \overline{\mathbb{Q}}$, and let $\log$ denote any fixed determination of the complex logarithm. We first prove that there exists a finite set $S(f)$…

Using Stickelberger's theorem on Gauss sums, we show that if $F$ is a planar function on a finite field $\mathbb{F}_q$, then for all non-zero functions $G : \mathbb{F}_q \to \mathbb{F}_q$, we have \begin{equation*} d_{\mathsf{alg}}(G \circ…