Related papers: Macdonald's Theorem for Analytic Functions

Consider a normal function $f$ on the ordinals (i. e. a function $f$ that is strictly increasing and continuous at limit stages). By enumerating the fixed points of $f$ we obtain a faster normal function $f'$, called the derivative of $f$.…

A simple but rigorous proof of the Fundamental Theorem of Calculus is given in geometric calculus, after the basis for this theory in geometric algebra has been explained. Various classical examples of this theorem, such as the Green's and…

Let $\A$ be the operator which assigns to each $m \times n$ matrix-valued function on the unit circle with entries in $H^\infty + C$ its unique superoptimal approximant in the space of bounded analytic $m \times n$ matrix-valued functions…

The classical theorem of Bloch (1924) asserts that if $f$ is a holomorphic function on a region that contains the closed unit disk $|z|\leq 1$ such that $f(0) = 0$ and $|f'(0)| = 1$, then the image domain contains discs of radius…

We obtain an effective analytic formula, with explicit constants, for the number of distinct irreducible factors of a polynomial $f \in \mathbb{Z}[x]$. We use an explicit version of Mertens' theorem for number fields to estimate a related…

High-order derivatives of analytic functions are expressible as Cauchy integrals over circular contours, which can very effectively be approximated, e.g., by trapezoidal sums. Whereas analytically each radius r up to the radius of…

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…

Let $n$ be a positive integer. Let $\mathbf U$ be the unit disk, $p\ge 1$ and let $h^p(\mathbf U)$ be the Hardy space of harmonic functions. Kresin and Maz'ya in a recent paper found the representation for the function $H_{n,p}(z)$ in the…

Let $\P_{n}^c(\bar{\mu},\bar{\nu})$ be the set of all complex polynomials $p(z)=\prod_{i=1}^{m}(z-z_i)^{\mu_i}$, $\sum_{i=1}^m\mu_i=n$, with derivatives of the form $$ p'(z)=n\prod_{i=1}^{m}(z-z_i)^{\mu_i-1}\prod_{j=1}^{k}(z-\xi_j)^{\nu_j},…

In this paper, we focus on the difference analogue of the Stothers-Mason theorem for entire functions of order less than 1, which can be seen as difference $abc$ theorem for entire functions. We also obtain the difference analogue of…

In this paper, we study the unicity of entire functions concerning their $q-$shifts and $k-$th derivatives and prove: Let $f(z)$ be a transcendental entire function of zero-order, and $g(z)$ define as in (1.1). Let $a(z), b(z)$ be two…

Let $f$ be analutic in the unit disk $\mathbb D$ and normalized so that $f(z)=z+a_2z^2+a_3z^3+\cdots$. In this paper we give sharp bound of Hankel determinant of the second order for the class of analytic unctions satisfying \[ \left|\arg…

We show that a function is real analytic at the origin iff it is arc-analytic, has a subanalytic graph, and its restriction to every monomial curve is analytic. This complements recent results of Kucharz and Kurdyka.

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

We characterize all linear operators which preserve spaces of entire functions whose zeros lie in a closed strip. Necessary and sufficient conditions are obtained for the related problem with real entire functions, and some classical…

In this paper, we establish a simple criterion for two $L$-functions $L_1$ and $L_2$ satisfying a functional equation (and some natural assumptions) to have infinitely many distinct zeros. Some related questions have already been answered…

The existence of non trivial zeros off the critical line for a function obtained by analytic continuation of a particular Dirichlet series is studied. Contrary to what has been presumed for a long time, we prove that such zeros cannot…

We present a new proof of the F. & M. Riesz theorem on analytic measures of the unit circle $\mathbb{T}$ that is based the following elementary inequality: If $f$ is analytic in the unit disc $\mathbb{D}$ and $0 \leq r \leq \varrho < 1$,…

Let $U \subseteq \mathbb C$ be bounded and open. For $0 < \alpha < 1$, $A_\alpha(U)$ is the set of functions in the little Lipschitz class with exponent $\alpha$ that are analytic in a neighborhood of $U$. We consider three conditions,…

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…