On root arrangements for hyperbolic polynomial-like functions and their derivatives

A real polynomial P of degree n in one real variable is hyperbolic if its roots are all real. A real-valued function P is called a hyperbolic polynomial-like function (HPLF) of degree n if it has n real zeros and P(n) vanishes nowhere. Denote by the roots of P(i), k=1,…,n−i, i=0,…,n−1. Then in the absence of any equality of the form one has ∀i<j, (the Rolle theorem). For n?4 (resp. for n?5) not all arrangements without equalities (∗) of n(n+1)/2 real numbers and compatible with (∗∗) (we call them admissible) are realizable by the roots of hyperbolic polynomials (resp. of HPLFs) of degree n and of their derivatives. For n=5 we show that from 286 admissible arrangements, exactly 236 are realizable by HPLFs; from these 236 arrangements, 116 are realizable by hyperbolic polynomials and 24 by perturbations of such.     

On arrangements of roots for a real hyperbolic polynomial and its derivatives

In this paper we count the number ?_n^(0,k), k?n−1, of connected components in the space Δ_n^(0,k) of all real degree n polynomials which a) have all their roots real and simple; and b) have no common root with their kth derivatives. In this case, we show that the only restriction on the arrangement of the roots of such a polynomial together with the roots of its kth derivative comes from the standard Rolle's theorem. On the other hand, we pose the general question of counting all possible root arrangements for a polynomial p(x) together with all its nonvanishing derivatives under the assumption that the roots of p(x) are real. Already the first nontrivial case n=4 shows that the obvious restrictions coming from the standard Rolle's theorem are insufficient. We prove a generalized Rolle's theorem which gives an additional restriction on root arrangements for polynomials.     

On operator-valued spherical functions

We consider the equation

(1)     

On factorizing meromorphic functions

Summary The paper determines all cases when a meromorphic functionF can be expressed both asf ⊗p andf ⊗q with the same meromorphicf and different polynomialsp andq. In all cases there are constantsk, β, a positive integerm, a root λ of unity of orderS and a polynomialr such thatp=(Lr) ^m+k,q=r ^m+k, whereLz=λz+β. We have eitherm=1,S arbitrary orm=2,S=2, which can occur even ifF andf are entire, or, in the remaining casesS=2, 3, 4 or 6,m dividesS andf(k+t ^m) is a doubly-periodic function.     

On the Location of Pseudozeros of a Complex Interval Polynomial

Given a univariate complex interval polynomial F, we provide a rigorous method for deciding whether there exists a pseudozero of F in a prescribed closed complex domain D. Here a pseudozero of F is defined to be a zero of some polynomial in F. We use circular intervals and assume that the boundary C of D is a simple curve and that C is the union of a finite number of arcs, each of which is represented by a rational function. When D is not bounded, we assume further that all the polynomials in F are of the same degree. Examples of such domains are the outside of an open disk and a half-plane with boundary. Our decision method uses the representation of C and the property that a polynomial in F is of degree 1 with respect to each coefficient regarded as a variable.      

The polynomial-like iterative equation for PM functions

The polynomial-like iterative equation is an important form of functional equations, in which iterates of the unknown function are linked in a linear combination. Most of known results were given for the given function to be monotone. We discuss this equation for continuous solutions in the case that the given function is a PM(piecewise monotone) function, a special class of non-monotonic functions. Using extension method, we give a general construction of solutions for the polynomial-like iterative equation.     

Robustness via Lyapunov functions

For nonautonomous linear equations x^′=A(t)x, we give a complete characterization of nonuniform exponential dichotomies in terms of strict quadratic Lyapunov functions. Nonuniform exponential dichotomies include as a very special case uniform exponential dichotomies. In particular, we construct explicitly strict Lyapunov functions for each exponential dichotomy. As a nontrivial application, we establish in a simple and direct manner the robustness of nonuniform exponential dichotomies under sufficiently small linear perturbations. This represents a considerable simplification of former work.     

Verification of bifurcation diagrams for polynomial-like equations

The results of our recent paper [P. Korman, Y. Li, T. Ouyang, Computing the location and the direction of bifurcation, Math. Res. Lett. 12 (2005) 933–944] appear to be sufficient to justify computer-generated bifurcation diagram for any autonomous two-point Dirichlet problem. Here we apply our results to polynomial-like nonlinearities.     

On isotone functions with the Substitution Property in distributive lattices

A universal algebra isaffine complete if all functions satisfying the Substitution Property are polynomials (composed of the basic operations and the elements of the algebra). In 1962, the first author proved that a bounded distributive lattice is affine complete if and only if it does not contain a proper Boolean interval. Recently, M. Ploica generalized this result to arbitrary distributive lattices.In this paper, we introduce a class of functions on a latticeL, we call themID-polynomials, that derive from polynomials on the ideal lattice (resp., dual ideal lattice) ofL; they are isotone functions and satisfy the Substitution Property. We prove that for a distributive latticeL, all unary functions with the Substitution Property are ID-polynomials if and only ifL contains no proper Boolean interval.The research of the first author was supported by the NSERC of Canada. The research of the second author was supported by the Hungarian National Foundation for Scientific Research, under Grant No. 1903.     

On roots of polynomials with positive coefficients

We prove that an algebraic number α is a root of a polynomial with positive rational coefficients if and only if none of its conjugates is a nonnegative real number. This settles a recent conjecture of Kuba.     

Quasi-additive functions

Summary Let 0 < 1 and letX, Y be real normed spaces. In this paper we consider the following functional inequality:f(x + y) – f(x) – f(y) min{f(x + y), f(x) + f(y)} forx, y R, wheref: X Y. Mainly continuous solutions are investigated. In the case whereY = R some necessary and some sufficient conditions for this inequality are given.Let 0 <1. The following functional inequality has been considered in [5]:f(x + y) – f(x) – f(y) min{f(x + y), f(x) + f(y)} forx, y R, wheref: R R. It appeared that the solutions of this inequality have properties very similar to those of additive functions (cf. [1], [2], [3]). The inequality under consideration seems to be interesting also because of its physical interpretation (cf. [5]). In this paper we shall consider this inequality in a more general case, wheref is defined on a real normed space and takes its values in another real normed space.The first part of the paper concerns the general case; in the second part we assume that the range off is inR.     

Norm inequalities of periodic functions and their derivatives

If v is a function on [0,1] such that v^(j) is absolutely continuous and $v^{(j)}(0) + v^{(j)}(1) = 0$ for $0 \leq j \leq n-1$, the inequality in L^p norm between v and the derivative v⁽ⁿ⁾ is proved if $v^{(n)} \in L^{p}[0,1]$, and is shown by examples to be best possible when p = 1, 2 and $\infty$. The method of proof relies on the explicit form of the Green functions of some boundary value problems obtained recently and is applied to refine some related inequalities by J. Favard and D. G. Northcott. Received: 26 April 2002     

Identity theorem for bounded p-adic meromorphic functions

Let K be a complete ultrametric algebraically closed field. We investigate several properties of sequences (an)_n∈N in a disk d(0,R⁻) with regards to bounded analytic functions in that disk: sequences of uniqueness (when f(an)=0∀n∈N implies f=0), identity sequences (when limn→+∞f(an)=0 implies f=0) and analytic boundaries (when lim supn→∞|f(an)|=‖f‖). Particularly, we show that identity sequences and analytic boundary sequences are two equivalent properties. For certain sequences, sequences of uniqueness and identity sequences are two equivalent properties. A connection with Blaschke sequences is made. Most of the properties shown on analytic functions have continuation to meromorphic functions.     

On the optimal stability of bases of univariate functions

Summary. This paper is concerned with bases of finite dimensional spaces of univariate continuous functions which are optimally stable for evaluation. The only bases considered are those whose elements have no sign changes. Among these, an optimally stable basis is characterized under the assumption that the set of points where each basis function is nonzero is an interval. A uniqueness result and many examples of such optimally stable bases are also provided. Received May 26, 2000 / Published online August 17, 2001     

Inclusion and differentiability criteria forL p -classes of infinitely differentiable functions

Summary In this paper, we give necessary and sufficient conditions for a Carleman class in metricL ^p to be included in another or to be differentiable.