On the number of real critical points of logarithmic derivatives and the Hawaii conjecture

For a given real entire function φ in the class U _2n ^*, n ≥ 0, with finitely many nonreal zeroes, we establish a connection between the number of real zeroes of the functions Q[φ] = (φ′/φ)′ and Q ₁[φ] = (φ″/φ′)′. This connection leads to a proof of the Hawaii Conjecture (T. Craven, G. Csordas, and W. Smith [5]), which states that if φ is a real polynomial, then the number of real zeroes of Q[φ] does not exceed the number of nonreal zeroes of φ.     

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.     

Norm inequalities for a certain class of ∞ functions

In 1936 the author showed that the function sin(π(x+1)/4) is the entire function of least exponential type (=π/4) among all entire functionsf(z) with the property thatf ⁽ⁿ⁾(z) vanishes somewhere in the real interval [−1, 1] (n=0, 1,2,…). Now more precise results of this kind are obtained by working within the class ∞[−1, 1]. For Paul Montel on his 95th birthday     

Non-real zeros of linear differential polynomials

Let f be a real entire function with finitely many non-real zeros, not of the form f = Ph with P a polynomial and h in the Laguerre-Pólya class. Lower bounds are given for the number of non-real zeros of f″ + ω f, where ω is a positive real constant.     

On the existence and approximation of zeroes

In this paper we consider the problem of finding zeroes of a continuous functionf from a convex, compact subsetU of ℝ ⁿ to ℝ ⁿ . In the first part of the paper it is proved thatf has a computable zero iff:C ⁿ →ℝ ⁿ satisfies the nonparallel condition for any two antipodal points on bdC ⁿ, i.e. if for anyx∈bdC ⁿ ,f(x)≠αf(−x), α≥0, holds. Therefore we describe a simplicial algorithm to approximate such a zero. It is shown that generally the degree of the approximate zero depends on the number of reflection steps made by the algorithm, i.e. the number of times the algorithm switches from a face τ on bdC ⁿ to the face −τ. Therefore the index of a terminal simplex σ is defined which equals the local Brouwer degree of the function if σ is full-dimensional. In the second part of the paper the algorithm is used to generate possibly several approximate zeroes off. Two sucessive solutions may have both the same or opposite degrees, again depending on the number of reflection steps. By extendingf:U→ℝ ⁿ to a function g from a cube containingU to ℝ ⁿ , the procedure can be applied to any continuous functionf without having any information about the global and local Brouwer degrees a priori.     

Entire functions having a concordant value sequence

A classic theorem of Pólya shows that 2 ^z is, in a strong sense, the “smallest” transcendental entire function that is integer valued on ℕ. An analogous result of Gel’fond concerns entire functions that are integer valued on the setX _a={a ⁿ:n ∈ ℕ}, wherea ∈ ℕ,|a|≥ 2. LetX=ℕ orX=X _a andκ ∈ ℕ orκ=∞. This paper pursues analogous results for entire functionsf having the following property: on any finite subsetD ofX with#D≤κ+1, the valuesf(z),z ∈D admit interpolation by an element of ℤ[z]. The results obtained assert that if the growth off is suitably restricted then the restriction off toX must be a polynomial. WhenX=X _a andκ<∞ a “smallest” transcendental entire function having the requisite property is constructed.     

A degenerate Hartman theorem

Consider a real analytic diffeomorphism,f:ℝ²→ℝ², withq as a non-hyperbolic fixed point andDf(q)=Id. Placing sufficient conditions on lowest-order non-linear terms in the expansion off, we show the function is topologically conjugate with a decoupled product map. The impetus for studying such a function arose in the classical three-body problem.     

Random complex zeroes,III. Decay of the hole probability

The ‘hoe probability’ that a random entire function where ζ₀, ζ₁, ... are Gaussian i.i.d. random variables, has no zeroes in the disc of radiusr decays as exp(−cr ⁴) for larger. Supported by the Israel Science Foundation of the Israel Academy of Sciences and Humanities.     

Minimizing Multivariable Functions by Minimization-Preserving Operators

Given a real function f of class defined on the unit cube Iⁿ=[0,1]ⁿ , n ≥ 2, our purpose consists in finding an algorithm to approximate to by a dimensional reduction. The method deals with α-dense curves γ_α in the domain Iⁿ with arbitrary small density α and a minimization-preserving operator T (briefly M.P.O.) applied to the univariable function By reiterating the action of this M.P.O. we obtain an algorithm to determine a global minimizer t₀^* of f_α. The value f_α(t₀^*), taken as an approximation to f*, only depends on the density α of the curve chosen to densify the domain of the objective function.     

Incompleteness and minimality of complex exponential system

A necessary and sufficient condition is obtained for the incompleteness of a complex exponential system E(A,M)in C_α,where C_αis the weighted Banach space consisting of all complex continuous functions f on the real axis R with f(t)exp(-α(t))vanishing at infinity,in the uniform norm‖f‖_α=sup{|f(t)e~(-α(t))|:t∈R}with respect to the weightα(t).If the incompleteness holds, then the complex exponential system E(?)is minimal and each function in the closure of the linear span of complex exponential system E(?)can be extended to an entire function represented by a Taylor-Dirichlet series.     

Analytic functions over a field of power series

 We extend the notion of absolute convergence for real series in several variables to a notion of convergence for series in a power series field ℝ((t ^Γ)) with coefficients in ℝ. Subsequently, we define a natural notion of analytic function at a point of ℝ((t ^Γ))^m. Then, given a real function f analytic on a open box I of ℝ ^m , we extend f to a function f ^★ which is analytic on a subset of ℝ((t ^Γ)) ^m containing I. We prove that the functions f ^★ share with real analytic functions certain basic properties: they are , they have usual Taylor development, they satisfy the inverse function theorem and the implicit function theorem. Received: 5 October 2000 / Revised version: 19 June 2001 / Published online: 12 July 2002     

On double sine and cosine transforms,Lipschitz and Zygmund classes

We consider complex-valued functions f ∈ L 1 (R+2),where R +:= [0,∞),and prove sufficient conditions under which the double sine Fourier transform f ss and the double cosine Fourier transform f cc belong to one of the two-dimensional Lipschitz classes Lip(α,β) for some 0 α,β≤ 1;or to one of the Zygmund classes Zyg(α,β) for some 0 α,β≤ 2.These sufficient conditions are best possible in the sense that they are also necessary for nonnegative-valued functions f ∈ L 1 (R+2).     

Exponential convergence in probability for empirical means of Lévy processes

Let （Xt）t≥0 be a Lévy process taking values in R^d with absolutely continuous marginal distributions. Given a real measurable function f on R^d in Kato＇s class, we show that the empirical mean 1/t ∫ f（Xs）ds converges to a constant z in probability with an exponential rate if and only if f has a uniform mean z. This result improves a classical result of Kahane et al. and generalizes a similar result of L. Wu from the Brownian Motion to general Lévy processes.     

Quasilinear elliptic equations with boundary blow-up

Assume that Ω is a bounded domain in ℝ _N withN ≥2, which has aC ²-boundary. We show that forp ∃ (1, ∞) there exists a weak solutionu of the problem δ_p u(x) = f(u(x)), x ∃ Ω with boundary blow-up, wheref is a positive, increasing function which meets some natural conditions. The boundary blow-up ofu(x) is characterized in terms of the distance ofx from ∂Ω. For the Laplace operator, our results coincide with those of Bandle and Essén [1]. Finally, for a rather wide subclass of the class of the admissible functionsf, the solution is unique whenp ∃ (1, 2].     

On the existence of entire functions of boundedl-index andl-regular growth

We prove that, under certain conditions on a positive functionl continuous on [0, +∞], there exists an entire transcendental functionf of boundedl-index such that lnlnM _f(r)lnL(r),r→∞, whereM _f (r)=max {|f(z)|: |z|=r} andL(r)=∫ ₀ ^r l(t)dt. Ifl(r)=r ^p-1 forr≥1, 0<ρ<∞, then there exists an entire functionf of boundedl-index such thatM _f (r)≈r ^p . Lvov University, Lvov. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 48, No. 9, pp. 1166–1182, September, 1996.     

On large deviations and density functions

Suppose thatX ₁,X ₂, ... is a sequence of absolutely continuous or integer valued random variables with corresponding probability density functionsf _n (x). Let {φ _n } _n=1 ^∞ be a sequence of real numbers, then necessary and sufficient conditions are given forn ⁻¹ logf _n (φ _n )-n ⁻¹ log P (X _n >φ _n )=0(1) asn→∞.     

Singularity Spectrum of Generic ��-H?lder Regular Functions After Time Subordination

A question of Yves Meyer motivated the research concerning “time” subordinations of real functions. Denote by B₁^a{\mathcal {B}}_{1}^{\alpha} the metric space of functions with Lipschitz constant 1 defined on [0,1], equipped with the complete metric defined via the supremum norm. Given a function g ? B₁^ag\in {\mathcal {B}}_{1}^{\alpha} one obtains a time subordination of g simply by considering the composite function Z=g○f, where f∈ℳ:={f:f(0)=0, f(1)=1 and f is a continuous nondecreasing function on [0,1]}. The metric space E^a=M×B₁^a\mathcal {E}^{\alpha}=\mathcal {M}\times {\mathcal {B}}_{1}^{\alpha} equipped with the product supremum metric is a complete metric space. In this paper for all α∈[0,1) multifractal properties of g○f are investigated for a generic (typical) element (f,g)∈ℰ ^α . In particular we determine the generic H?lder singularity spectrum of g○f.     

A descent method for submodular function minimization

We show a descent method for submodular function minimization based on an oracle for membership in base polyhedra. We assume that for any submodular function f: ?→R on a distributive lattice ?⊆2 ^V with ?,V∈? and f(?)=0 and for any vector x∈R ^V where V is a finite nonempty set, the membership oracle answers whether x belongs to the base polyhedron associated with f and that if the answer is NO, it also gives us a set Z∈? such that x(Z)>f(Z). Given a submodular function f, by invoking the membership oracle O(|V|²) times, the descent method finds a sequence of subsets Z ₁,Z ₂,···,Z _k of V such that f(Z ₁)>f(Z ₂)>···>f(Z _k )=min{f(Y) | Y∈?}, where k is O(|V|²). The method furnishes an alternative framework for submodular function minimization if combined with possible efficient membership algorithms. Received: September 9, 2001 / Accepted: October 15, 2001?Published online December 6, 2001     

Are the degrees of best (co)convex and unconstrained polynomial approximation the same?

Let ℂ[−1,1] be the space of continuous functions on [−,1], and denote by Δ² the set of convex functions f ∈ ℂ[−,1]. Also, let E _n (f) and E _n ⁽²⁾ (f) denote the degrees of best unconstrained and convex approximation of f ∈ Δ² by algebraic polynomials of degree < n, respectively. Clearly, En (f) ≦ E _n ⁽²⁾ (f), and Lorentz and Zeller proved that the inverse inequality E _n ⁽²⁾ (f) ≦ cE _n (f) is invalid even with the constant c = c(f) which depends on the function f ∈ Δ². In this paper we prove, for every α > 0 and function f ∈ Δ², that

Generalized weighted quasi-arithmetic means

Under some natural assumptions on real functions f and g defined on a real interval I, we show that a two variable function M _f,g : I ² → I defined by