Entire functions with an arithmetic sequence of exponents

Dallas Ruth,Khang Tran

2024-08-05

Abstract:For a given entire function $f(z)=\sum_{j=0}^{\infty}a_{j}z^{j}$, we study the zero distribution of $f_{r}(z)=\sum_{j\equiv r\pmod m}a_{j}z^{j}$ where $m\in\mathbb{N}$ and $0\le r<m$. We find conditions under which the zeros of $f_{r}(z)$ lie on $m$ radial rays defined by $\Im z^{m}=0$ and $\Re z^{m}\le0$.

Complex Variables

What problem does this paper attempt to address?

On Certain Genus 0 Entire Functions

Ruiming Zhang

2023-12-24

Abstract:In this work we prove that an entire function $f(z)$ has only negative zeros if and only if its order is strictly less $1$, its root sequence is real-part dominating and there exists an nonnegative integer $m$ the real function $\left(-\frac{1}{x}\right)^{m}\frac{d^{k}}{dx^{k}}\left(x^{k+m}\frac{d^{m}}{dx^{m}}\left(\frac{f'(x)}{f(x)}\right)\right)$ are completely monotonic on $(0,\infty)$ for all nonnegative integer $k$. As an application we state a necessary and sufficient condition for the Riemann hypothesis and generalized Riemann hypothesis for a primitive Dirichlet character.

Classical Analysis and ODEs
Inequalities Concerning Maximum Modulus and Zeros of Random Entire Functions

Hui Li,Jun Wang,Xiao Yao,Zhuan Ye

DOI: https://doi.org/10.1017/s0013091523000639

2024-01-01

Proceedings of the Edinburgh Mathematical Society

Abstract:Let f (z) = Sigma(infinity )(j=0)a(j)z(j )be a transcendental entire function and let f omega(z) = Sigma(infinity)(j=0) chi(j)(omega)a(j)z(j) be a random entire function, where chi(j)(omega) are independent and identically distributed random variables defined on a probability space (Omega, F, mu). In this paper, we first define a family of random entire functions, which includes Gaussian, Rademacher and Steinhaus entire functions. We prove that, for almost all functions in the family and for any constant C >1, there exist a constant r(0) = r(0)(omega) and a set E subset of [e, infinity) of finite logarithmic measure such that, for r > r(0) and r (sic) E, | log M(r, f) - N(r, 0, f(omega))| <= (C/A)(1/B) log(1/B) log M(r, f) + log log M(r, f), a.s. where A, B are constants, M(r, f) is the maximum modulus and N(r, 0, f) is the integrated zero-counting function of f. As a by-product of our main results, we prove Nevanlinna's second main theorem for random entire functions. Thus, the characteristic function of almost all functions in the family is bounded above by an integrated counting function, rather than by two integrated counting functions as in the classical Nevanlinna theory. For instance, we show that, for almost all Gaussian entire functions f omega and for any epsilon > 0, there is r0 such that, for r > r0, T (r, f) <= N(r, 0, f omega) + (1/2 + epsilon) log T (r, f ).
On the Zeros of Certain Entire Functions

Ruiming Zhang

2024-01-30

Abstract:In this work we prove that certain entire $q$-functions have infinitely many nonzero roots $\left\{ \rho_{n}\right\} _{n=1}^{\infty}$, as $n\to+\infty$ the moduli $\left|\rho_{n}\right|$ grow at least exponentially. Applications to entire $q$-functions defined by series expansions are provided. These functions include the $q$-analogue of the plane wave function $\mathcal{E}_{q}(z,t)$.

Complex Variables
On a New Zeta Function

Zhi-Wei Sun

2012-01-01

Abstract:Let $m$ be a positive integer, and define $$\zeta_m(s)=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\omega(n)}}{n^s} \zeta^*_m(s)=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\Omega(n)}}{n^s},$$ for $\Re(s)>1$, where $\omega(n)$ denotes the number of distinct prime factors of $n$, and $\Omega(n)$ represents the total number of prime factors of $n$ (counted with multiplicity). In this paper we study these two zeta functions and related arithmetical functions. We show that $$\sum^\infty_{n=1\atop n \text{is squarefree}}\frac{(-e^{2\pi i/m})^{\omega(n)}}n=0\quad\text{if} m>4,$$ which is similar to the known identity $\sum_{n=1}^\infty\mu(n)/n=0$ equivalent to the Prime Number Theorem. For $m>4$, we prove that $$\zeta_m(1):=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\omega(n)}}n=0 \text{and} \zeta^*_m(1):=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\Omega(n)}}n=0.$$ We also raise a hypothesis on the parities of $\Omega(n)-n$ which implies the Riemann Hypothesis.
On the radial distribution of Julia sets of entire solutions of f(n)+A(z)f=0

Zhigang Huang,Jun Wang

DOI: https://doi.org/10.1016/j.jmaa.2011.10.016

IF: 1.417

2012-01-01

Journal of Mathematical Analysis and Applications

Abstract:This paper is devoted to studying the dynamical properties of solutions of f(n)+A(z)f=0, where n(⩾2) is an integer, and A(z) is a transcendental entire function of finite order. We find the lower bound on the radial distribution of Julia sets of E(z) provided that E=f1f2⋯fn and {f1,f2,…,fn} is a solution base of such equations.
On the behavior of multiple zeta-functions with identical arguments on the real line

Kohji Matsumoto,Toshiki Matsusaka,Ilija Tanackov

DOI: https://doi.org/10.48550/arXiv.2012.01720

2020-12-14

Abstract:We study the behavior of $r$-fold zeta-functions of Euler-Zagier type with identical arguments $\zeta_r(s,s,\ldots,s)$ on the real line. Our basic tool is an "infinite'' version of Newton's classical identities. We carry out numerical computations, and draw graphs of $\zeta_r(s,s,\ldots,s)$ for real $s$, for several small values of $r$. Those graphs suggest various properties of $\zeta_r(s,s,\ldots,s)$, some of which we prove rigorously. When $s \in [0,1]$, we show that $\zeta_r(s,s,\ldots,s)$ has $r$ asymptotes at $\Re s=1/k$ ($1\leq k\leq r$), and determine the asymptotic behavior of $\zeta_r(s,s,\ldots,s)$ close to those asymptotes. Numerical computations establish the existence of several real zeros for $2\leq r\leq 10$ (in which only the case $r=2$ was previously known). Based on those computations, we raise a conjecture on the number of zeros for general $r$, and gives a formula for calculating the number of zeros. We also consider the behavior of $\zeta_r(s,s,\ldots,s)$ outside the interval $[0,1]$. We prove asymptotic formulas for $\zeta_r(-k,-k,\ldots,-k)$, where $k$ takes odd positive integer values and tends to $+\infty$. Moreover, on the number of real zeros of $\zeta_r(s,s,\ldots,s)$, we prove that there are exactly $(r-1)$ real zeros on the interrval $(-2n,-2(n-1))$ for any $n \geq 2$.

Number Theory
Functional degrees and arithmetic applications III: Beyond Prime Exponent

Pete L. Clark,Uwe Schauz

2024-07-04

Abstract:Continuing our work on group-theoretic generalizations of the prime Ax-Katz Theorem, we give a lower bound on the $p$-adic divisibility of the cardinality of the set of simultaneous zeros $Z(f_1,f_2,\ldots,f_r)$ of $r$ maps $f_j:A\rightarrow B_j$ between arbitrary finite commutative groups $A$ and $B_j$ in terms of the invariant factors of $A, B_1,B_2,\dotsc,B_r$ and the \emph{functional degrees} of the maps $f_1,f_2,\dotsc,f_r$.

Number Theory,Group Theory
Zeros of $L$-functions in families near the critical line

Valentin Blomer,Jesse Thorner

2024-10-23

Abstract:We combine the relative trace formula with analytic methods to obtain zero density estimate for $L$-functions in various families of automorphic representations for $\mathrm{GL}(m)$. Applications include strong bounds for the average analytic rank of these $L$-functions at the central point and average equidistribution results for the imaginary parts of the zeros.

Number Theory
An amusing sequence of functions

Stefan Steinerberger

DOI: https://doi.org/10.48550/arXiv.1610.04090

2016-10-11

Abstract:We consider the amusing sequence of functions $f_n: \mathbb{R} \rightarrow \mathbb{R}$ given by $$ f_n(x) = \sum_{k=1}^{n}{\frac{|\sin{(k \pi x)}|}{k}}.$$ Every rational point is eventually the location of a strict local minimum of $f_n$: more precisely, $f_n$ has a strict local minimum in all rational points $x=p/q \in \mathbb{Q}$ with $|q| \leq \sqrt{n}$.

History and Overview
Distributions of zeros and masses of entire and subharmonic functions with restrictions on their growth along the strip

Bulat Nurmievich Khabibullin

DOI: https://doi.org/10.4213/im9335e

2024-04-05

Izvestiya Mathematics

Abstract:Let and be distributions of points on the complex plane . The following problem dates back to F. Carlson, T. Carleman, L. Schwartz, A. F. Leont'ev, B. Ya. Levin, J.-P. Kahane, and others. For which and , for an entire function of exponential type which vanishes on , there exists an entire function of exponential type that vanishes on and is such that on the imaginary axis? The classical Malliavin-Rubel theorem of the early 1960s completely solves this problem for "positive" and (which lie only on the positive semiaxis). Several generalizations of this criterion were established by the author of the present paper in the late 1980s for "complex" and separated by angles from the imaginary axis, with some advances in the 2020s. In this paper, we solve more involved problems in a more general subharmonic framework for distributions of masses on . All the previously mentioned results can be obtained from the main results of this paper in a much stronger form (even for the initial formulation for distributions of points and and entire functions and of exponential type). Some results of the present paper are closely related to the famous Beurling-Malliavin theorems on the radius of completeness and a multiplier.

mathematics
Covering The Integers By Arithmetic Sequences .2.

ZHI-WEI SUN

DOI: https://doi.org/10.1090/S0002-9947-96-01674-1

IF: 1.3529

1996-01-01

Transactions of the American Mathematical Society

Abstract:Let A = {a(s) + n(s)Z}(k)(s=1) (n(1) less than or equal to ...less than or equal to n(k)) be a system of arithmetic sequences where a(1),..., a(k), is an element of Z and n(1),..., n(k), is an element of Z(+). For m is an element of Z(+) system A will be called an (exact) m-cover of Z if every integer is covered by A at least (exactly) m times. In this paper we reveal further connections between the common differences in an (exact) m-cover of Z and Egyptian fractions. Here are some typical results for those m-covers A of Z: (a) For any m(1),..., m(k) is an element of Z(+) there are at least m positive integers in the form Sigma(s is an element of I)m(s)/(n), where I subset of or equal to {1,..., k}. (b) When n(k-l) < n(k-l+1) =...= n(k) (0 < l < k), either l greater than or equal to n(k)/n(k-l) or Sigma(s=1)(k-l) 1/n(s) greater than or equal to m, and for each positive integer lambda < n(k)/n(k-l) the binomial coefficient ((l)(lambda)) can be written as the sum of some denominators > 1 of the rationals Sigma(s is an element of I)1/n(s) - lambda/n(k), I not subset of (1,..., k) if A forms an exact m-cover of Z. (c) If (a(s) + n(s)Z)[GRAPHICS]is not an m-cover of Z, then Sigma(s is an element of I)1/n(s), I subset of or equal to {1,..., k} \ {t} have at least n(t) distinct fractional parts and for each r = 0,..., n(t) - 1 there exist I-1, I-2 subset of or equal to {1,..., k} \ {t} such that r/n(t) = Sigma(s is an element of I1) 1/n(s) - Sigma(s is an element of I2) 1/n(s) (mod 1). If A forms an exact m-cover of Z with m = 1 or n(1) <...< n(k-l) < n(k-l+1) =...= n(k), (l > O) then for every t = 1,..., k and r = 0, 1,..., n(t) - 1 there is an I subset of or equal to (1,..., k) such that Sigma(s is an element of I)1/n(s) = r/n(t) (mod 1).
On the representation functions of certain numeration systems

Nian Hong Zhou

2023-05-01

Abstract:Let $\beta>1$ be fixed. We consider the $(\frak{b, d})$ numeration system, where the base ${\frak b}=(b_k)_{k\geq 0}$ is a sequence of positive real numbers satisfying $\lim_{k\rightarrow \infty}b_{k+1}/b_k=\beta$, and the set of digits ${\frak d}\ni 0$ is a finite set of nonnegative real numbers with at least two elements. Let $r_{\frak{b, d}}(\lambda)$ denote the number of representations of a given $\lambda\in\mathbb{R}$ by sums $\sum_{k\ge 0}\delta_kb_k$ with $\delta_k$ in ${\frak d}$. We establish upper bounds and asymptotic formulas for $r_{\frak{b,d}}(\lambda)$ and its arbitrary moments, respectively. We prove that the associated zeta function $\zeta_{\frak{b, d}}(s):=\sum_{\lambda>0}r_{\frak{b, d}}(\lambda)\lambda^{-s}$ can be meromorphically continued to the entire complex plane when $b_k=\beta^{k}$, and to the half-plane $\Re(s)>\log_\beta |\frak{d}|-\gamma$ when $b_k=\beta^{k}+O(\beta^{(1-\gamma)k})$, with any fixed $\gamma\in(0,1]$, respectively. We also determine the possible poles, compute the residues at the poles, and locate the trivial zeros of $\zeta_{\frak{b, d}}(s)$ in the regions where it can be extended. As an application, we answer some problems posed by Chow and Slattery on partitions into distinct terms of certain integer sequences.

Number Theory,Combinatorics
Zero distribution of finite order Bank--Laine functions

Yueyang Zhang

2024-03-24

Abstract:It is known that a Bank-Laine function $E$ is a product of two normalized solutions of the second order differential equation $f"+Af=0$ $(\dagger)$, where $A=A(z)$ is an entire function. By using Bergweiler and Eremenko's method of constructing transcendental entire function $A(z)$ by gluing certain meromorphic functions with infinitely many times, we show that, for each $\lambda\in[1,\infty)$ and each $\delta\in[0,1]$, there exists a Bank--Laine function $E$ such that $E=f_1f_2$ with $f_1$ and $f_2$ being two entire functions such that $\lambda(f_1)=\delta\lambda$ and $\lambda(f_2)=\lambda$, respectively. We actually provide a simpler construction of the special Bank--Laine functions given by Bergweiler and Eremenko.

Mathematics
Uniform distribution of zeroes of $L$-functions of modular forms

Alexey Zykin

DOI: https://doi.org/10.48550/arXiv.1412.2990

2014-12-09

Abstract:We prove under GRH that zeros of $L$-functions of modular forms of level $N$ and weight $k$ become uniformly distributed on the critical line when $N+k\to\infty.$

Number Theory
Zeros of meromorphic functions of the form $\sum\limits_n \dfrac{c_n}{(z-t_n)^2}$

Anton Baranov,Vladimir Shemyakov

2024-07-27

Abstract:We study zeros distribution for meromorphic functions of the form $\sum\limits_n \dfrac{c_n}{(z-t_n)^2}$, where $\sum\limits_n \dfrac{|c_n|}{|t_n|^2} <\infty$. We prove an analog of the classical Keldysh theorem and discuss a relation between zero-free functions of this form and second order differential equtions with polynomial coefficients.

Complex Variables
$M$-functions and screw functions originating from Goldbach's problem and zeros of the Riemann zeta function

Kohji Matsumoto,Masatoshi Suzuki

2024-09-02

Abstract:We study the $M$-functions, which describe the limit theorem for the value-distributions of the secondary main terms in the asymptotic formulas for the summatory functions of the Goldbach counting function. One of the new aspects is a sufficient condition for the Riemann hypothesis provided by some formulas of the $M$-functions, which was a necessary condition in previous work. The other new aspect is the relation between the secondary main terms and the screw functions, which provides another necessary and sufficient condition for the Riemann hypothesis. We study such $M$-functions and screw functions in generalized settings by axiomatizing them.

Number Theory
The uniform distribution modulo one of certain subsequences of ordinates of zeros of the zeta function

FATMA ÇİÇEK,STEVEN M. GONEK

DOI: https://doi.org/10.1017/s0305004124000045

2024-03-03

Mathematical Proceedings of the Cambridge Philosophical Society

Abstract:On the assumption of the Riemann hypothesis and a spacing hypothesis for the nontrivial zeros of the Riemann zeta function, we show that the sequence where the are arranged in increasing order, is uniformly distributed modulo one. Here a and b are real numbers with 1="" m_\gamma {\gamma="" 's="" (\!\log="" ,="" .="" .<="" 2+i{\gamma="" 2\pi ="" be="" denotes="" equidistribution="" extra="" for="" holds="" hypothesis,="" multiplicity="" numbers="" of="" ordinates="" p="" restricted="" result="" same="" scaled="" show="" simple="" t ="" }\in="" }\leq="">

mathematics
On the Irrationality Exponents of Mahler Numbers

Andrew Rajchert

2024-11-16

Abstract:We explore Mahler numbers originating from functions $f(z)$ that satisfy the functional equation $f(z) = (A(z)f(z^d) + C(z))/B(z)$. A procedure to compute the irrationality exponents of such numbers is developed using continued fractions for formal Laurent series, and the form of all such irrationality exponents is investigated. This serves to extend Dmitry Badziahin's paper, On the Spectrum of Irrationality Exponents of Mahler Numbers, where he does the same under the condition that $C(z) = 0$. Furthermore, we cover the required background of continued fractions in detail for unfamiliar readers. This essay was submitted as a thesis in the Pure Mathematics Honours program at the University of Sydney.

Number Theory
Generalization and development of the Malliavin-Rubel theorem on small entire functions of exponential type with given zeros

B. N. Khabibullin,A. E. Salimova

DOI: https://doi.org/10.48550/arXiv.2005.05781

2020-05-06

Complex Variables

Abstract:Previously, we developed the technique of balayage of measures or charges and ($\delta$-)subharmonic functions of finite order onto an closed system of rays $S$ with a vertex at zero on the complex plane $\mathbb C$. In this article, we use only two kinds of balayage of measure and charge, as well as of subharmonic functions of finite type under the order $1$ and their differences. First, it is a classical balayage of the genus $q=0$ on a system of four closed rays: positive and negative, and real and imaginary semi-axis $\mathbb R^+$, $-\mathbb R^+$, $i\mathbb R^+$, $-i\mathbb R$. Second, it is two-sided balayage of genus $q=1$ from the open right and left half-planes $\mathbb C_{{\rm rh}}$ and $\mathbb C_{{\rm lh}}$ onto the imaginary axis $i\mathbb R$. The classical Malliavin-Rubel theorem gives necessary and sufficient conditions of the existence of an entire function of exponential type (we write e.f.e.t.) $f\not\equiv 0$, vanishing on the given positive sequence ${\sf Z}=\{{\sf z}_k\}_{k\in \mathbb N}\subset \mathbb R^+$ and satisfying the constraint $|f|\leq |g|$ on $i\mathbb R$, where $g$ is an e.f.e.t., vanishing on positive sequence ${\sf W}=\{{\sf w}_k\}_{k\in \mathbb N}\subset \mathbb R^+$. A combination of these special balayage processes of genus $q=0$ and $q=1$ allows us to extend the Malliavin-Rubel theorem to arbitrary complex sequences ${\sf Z}=\{{\sf z}_k\}_{k\in \mathbb N}\subset \mathbb C$ separated by a pair of vertical angles from the imaginary axis $i\mathbb R$, with much more general restrictions $\ln |f|\leq M$ on the imaginary axis $i\mathbb R$, where $M$ is an subharmonic function of finite type under the order $1$.
Distribution of zeros of polynomials with positive coefficients

Alexandre Eremenko,Walter Bergweiler

DOI: https://doi.org/10.5186/aasfm.2015.4022

2014-09-16

Abstract:We describe the limit zero distributions of sequences of polynomials with positive coefficients.

Complex Variables

Entire functions with an arithmetic sequence of exponents

On Certain Genus 0 Entire Functions

Inequalities Concerning Maximum Modulus and Zeros of Random Entire Functions

On the Zeros of Certain Entire Functions

On a New Zeta Function

On the radial distribution of Julia sets of entire solutions of f(n)+A(z)f=0

On the behavior of multiple zeta-functions with identical arguments on the real line

Functional degrees and arithmetic applications III: Beyond Prime Exponent

Zeros of $L$-functions in families near the critical line

An amusing sequence of functions

Distributions of zeros and masses of entire and subharmonic functions with restrictions on their growth along the strip

Covering The Integers By Arithmetic Sequences .2.

On the representation functions of certain numeration systems

Zero distribution of finite order Bank--Laine functions

Uniform distribution of zeroes of $L$-functions of modular forms

Zeros of meromorphic functions of the form $\sum\limits_n \dfrac{c_n}{(z-t_n)^2}$

$M$-functions and screw functions originating from Goldbach's problem and zeros of the Riemann zeta function

The uniform distribution modulo one of certain subsequences of ordinates of zeros of the zeta function

On the Irrationality Exponents of Mahler Numbers

Generalization and development of the Malliavin-Rubel theorem on small entire functions of exponential type with given zeros

Distribution of zeros of polynomials with positive coefficients