Non-real zeroes of real entire derivatives

A real entire function belongs to the Laguerre-Pólya class LP if it is the limit of a sequence of real polynomials with real zeroes. By building upon results that resolved a long-standing conjecture of Wiman, a number of conditions are established under which a real entire function f must belong to the class LP, or to one of the related classes U _2p ^*. These conditions typically involve the non-real zeroes of f and its derivatives, or those of the differential polynomial f f″−a(f′)².     

Real entire functions of infinite order and a conjecture of Wiman

We prove that if f is a real entire function of infinite order, then ff has infinitely many non-real zeros. In conjunction with the result of Sheil-Small for functions of finite order this implies that if f is a real entire function such that ff has only real zeros, then f is in the Laguerre-Pólya class, the closure of the set of real polynomials with real zeros. This result completes a long line of development originating from a conjecture of Wiman of 1911.     

Second Order Linear Differential Polynomials and Real Meromorphic Functions

The main result determines all real meromorphic functions f of finite lower order in the plane such that f has finitely many zeros and non-real poles, while f′′ + a ₁ f′ + a ₀ f has finitely many non-real zeros, where a ₁ and a ₀ are real rational functions which satisfy a ₁(∞) = 0 and a ₀(x) ≥ 0 for all real x with |x| sufficiently large. This is accomplished by refining some earlier results on the zeros in a neighbourhood of infinity of meromorphic functions and second order linear differential polynomials. Examples are provided illustrating the results.     

Algebraically constructible functions and signs of polynomials

LetW be a real algebraic set. We show that the following families of integer-valued functions onW coincide: (i) the functions of the formω →λ(X _ω ), where X _ω are the fibres of a regular morphismf :X →W of real algebraic sets, (ii) the functions of the formω →χ(X _ω ), where X _ω are the fibres of a proper regular morphismf :X →W of real algebraic sets, (iii) the finite sums of signs of polynomials onW. Such functions are called algebraically constructible onW. Using their characterization in terms of signs of polynomials we present new proofs of their basic functorial properties with respect to the link operator and specialization. Research partially supported by an Australian Research Council Small Grant. Second author also partially supported by KBN 610/P3/94.     

Proof of a conjecture of Pólya on the zeros of successive derivatives of real entire functions

We prove Pólya’s conjecture of 1943: For a real entire function of order greater than 2 with finitely many non-real zeros, the number of non-real zeros of the nth derivative tends to infinity, as . We use the saddle point method and potential theory, combined with the theory of analytic functions with positive imaginary part in the upper half-plane.     

Non-oscillating Paley-Wiener functions

A non-oscillating Paley-Wiener function is a real entire functionf of exponential type belonging toL ₂(R) and such that each derivativef ⁽ⁿ⁾,n=0, 1, 2,…, has only a finite number of real zeros. It is established that the class of such functions is non-empty and contains functions of arbitrarily fast decay onR allowed by the convergence of the logarithmic integral. It is shown that the Fourier transform of a non-oscillating Paley-Wiener function must be infinitely differentiable outside the origin. We also give close to best possible asymptotic (asn→∞) estimates of the number of real zeros of then-th derivative of a functionf of the class and the size of the smallest interval containing these zeros.     

On Critical Values of Polynomials with Real Critical Points

Let f be a polynomial of degree at least 2 with f(0)=0 and f′(0)=1. Suppose that all the zeros of f′ are real. We show that there is a zero ζ of f′ such that |f(ζ)/ζ|≤2/3, and that this inequality can be taken to be strict unless f is of the form f(z)=z+cz ³.     

Localization of small zeros of sine and cosine Fourier transforms of a finite positive nondecreasing function

Let a function f be integrable, positive, and nondecreasing in the interval (0, 1). Then by Polya’s theorem all zeros of the corresponding cosine and sine Fourier transforms are real and simple; in this case positive zeros lie in the intervals (π(n−1/2), π(n+1/2)), (πn, π(n+1)), n ∈ ℕ, respectively. In the case of sine transforms it is required that f cannot be a stepped function with rational discontinuity points. In this paper, zeros of the function with small numbers are included into intervals being proper subsets of the corresponding Polya intervals. A localization of small zeros of the Mittag-Leffler function E _1/2(−z ²; μ), μ ∈ (1, 2) ∪ (2, 3) is obtained as a corollary.     

Non-real zeros of higher derivatives of real entire functions of infinite order

Letf be a real meromorphic function of infinite order in the plane such thatf has finitely many poles. Then for eachk≥3, at least one off andf ^(k) has infinitely many non-real zeros. Together with a result of Edwards and Hellerstein, this establishes the analogue for higher derivatives of a conjecture going back to Wiman around 1911.     

Commutator equations in free groups

Letf ₁, …,f _n be free generators of a free groupF. We consider the equation [z ₁, …,z _n]_ω. where ω and ω′ indicate the disposition of brackets in the higher commutators [z ₁, …,z _n]_ω and [f ₁, …,f _n]_ω. We give a necessary and sufficient condition on ω and ω′ for the existence of solutions of this equation. It is also shown that for any solutionz ₁=r₁, …,z _z=r _n we have <r ₁, …,r _n>=〈f ₁, …f _n〉.     

Majoration du Nombre de Zéros D’Une Fonction Méromorphe en Dehors D’Une Droite Verticale et Applications

We study the distribution of the zeros of functions of the form f(s) = h(s) ± h(2a − s), where h(s) is a meromorphic function, real on the real line, a is a real number. One of our results establishes sufficient conditions under which all but finitely many of the zeros of f(s) lie on the line ℜs = a, called the critical line for the function f(s), and that they are simple, provided that all but finitely many of the zeros of h(s) lie on the half-plane ℜs < a. This result can be regarded as a generalization of the necessary condition of stability for the function h(s), in the Hermite-Biehler theorem. We apply our results to the study of translations of the Riemann Zeta Function and L functions, and integrals of Eisenstein Series, among others.     

Non-real Zeros of Derivatives of Real Entire Functions and the Pólya-Wiman Conjectures

A function f is in the class $ V_2p $ iff $ f(z) = e^{-az^{2p+2}}g(z) $ where a S 0 and g is a constant multiple of a real entire function of genus h 2 p + 1 with only real zeros. The class $ U_2p $ is defined as follows: $ U_0 = V_0 $ , $ U_{2p} = V_{2p}-V_{2p-2} $ . Functions in the class $ U_{2p}^{*} $ are represented as $ g(z) = c(z)f(z) $ where $ f\in U_{2p} $ and c is a real polynomial with no real zeros. Every real entire function g , of finite order with at most finitely many non-real zeros satisfies $ g\in U_{2p}^{*} $ for a unique p . We show the exact number of non-real zeros of f" , for $ f\in U_{2p} $ , in terms of the number of non-real zeros of f' and a geometrical condition on the components of Im Q ( z ) > 0, where $ \displaystyle Q(z) = z-({f(z)}/{f'(z)}) $ . Further, for a subclass of $ f\in U_{2p} $ , we show necessary and sufficient conditions for f" to have exactly 2 p non-real zeros. For a subclass of $ U_{2p}^{*} $ we show that if f' has only real zeros, then f" has exactly 2 p non-real zeros. For $ f\in U_{2p}^{*} $ we show that 2 p is a lower bound for the number of non-real zeros of $ f^{(k)} $ for k S 2.     

On Two Questions About Topological (and Nonstandard) Extensions

We construct, under MA, a non-Hausdorff (T₁-)topological extension ^*ω of ω, such that every function from ω to ω extends uniquely to a continuous function from ^*ω to ^*ω. We also show (in ZFC) that for every nontrivial topological extension ^*X of a countable set X there exists a topology τ_f on ^*X, strictly finer than the Star topology, and such that (^*X, τ_f) is still a topological extension of X with the same function extensions ^*f. This solves two questions raised by M. Di Nasso and M. Forti.     

On Two Questions About Topological (and Nonstandard) Extensions

We construct, under MA, a non-Hausdorff (T₁-)topological extension ^*ω of ω, such that every function from ω to ω extends uniquely to a continuous function from ^*ω to ^*ω. We also show (in ZFC) that for every nontrivial topological extension ^*X of a countable set X there exists a topology τ_f on ^*X, strictly finer than the Star topology, and such that (^*X, τ_f) is still a topological extension of X with the same function extensions ^*f. This solves two questions raised by M. Di Nasso and M. Forti.     

Algebraic Polynomials with Non-identical Random Coefficients

The asymptotic estimate for the expected number of real zeros of a random algebraic polynomial is known. The identical random coefficients a_j(ω) are normally distributed defined on a probability space , ω ∈Ω. The estimate for the expected number of zeros of the derivative of the above polynomial with respect to x is also known, which gives the expected number of maxima and minima of Q_n(x, ω). In this paper we provide the asymptotic value for the expected number of zeros of the integration of Q_n(x,ω) with respect to x. We give the geometric interpretation of our results and discuss the difficulties which arise when we consider a similar problem for the case of .     

Dynamics of neighborhoods of points under a continuous mapping of an interval

Let {I, f, Z ⁺} be a dynamical system induced by a continuous mapping f of a closed bounded interval I into itself. To describe the dynamics of neighborhoods of points unstable under the mapping f, we propose the concept of the εω-set ω ^{f, ε}(x) of a point x as the ω-limit set of the ε-neighborhood of the point x. We investigate the relationship between the εω-set and the domain of influence of a point. It is also shown that the domain of influence of an unstable point is always a cycle of intervals. The results obtained can be directly used in the theory of difference equations with continuous time and similar equations. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 11, pp. 1534–1547, November, 2005.     

Conditions of C0 flows on closed surfaces having the pseudo-orbit tracing property

Let M be a closed surface, orientable or non-orientable, and letf be a C° flow onM of which all singular points are isolated. Thenf has the pseudo-orbit tracing property if and only if (i) for anyx ∈ M, both the ωlimit set ω(x) and the α-limit set α(x) ofx contain only one orbit; (ii) for any regular pointx off, if ω(x) is not quasi-attracting, then α(x) is quasi-exclusive; (iii) every saddle point off is strict, and at most 4-forked. Project supported by the National Natural Science Foundation of China.     

Splitting squares

We show that for every Borel function f:[2^ω] ⁿ → 2^ω there exists a closed countably splitting family A such that f ↾ [A] ⁿ omits a perfect set of values in 2 ^ω . Work partially supported by DFG grant SP 683.     

Beurling algebra analogues of the classical theorems of Wiener and Lévy on absolutely convergent fourier series

Letf be a continuous function on the unit circle Γ, whose Fourier series is ω-absolutely convergent for some weight ω on the set of integersZ. If f is nowhere vanishing on Γ, then there exists a weightv onZ such that 1/f hadv-absolutely convergent Fourier series. This includes Wiener’s classical theorem. As a corollary, it follows that if φ is holomorphic on a neighbourhood of the range off, then there exists a weight Χ on Z such that φ ◯f has Χ-absolutely convergent Fourier series. This is a weighted analogue of Lévy’s generalization of Wiener’s theorem. In the theorems,v and Χ are non-constant if and only if ω is non-constant. In general, the results fail ifv or Χ is required to be the same weight ω.