This paper establishes the necessary and sufficient conditions for the reality of all the zeros in a polynomial sequence ${\left\{P_i\right\}}_{i=1}^{\infty }$ generated by a three-term recurrence relation $P_i\left(x\right)+Q_1\left(x\right)P_{i-1}\left(x\right)+Q_2\left(x\right)P_{i-2}\left(x\right)=0$ with the standard initial conditions $P_0\left(x\right)=1,P_{-1}\left(x\right)=0,$ where $Q_1\left(x\right)$ and $Q_2\left(x\right)$ are arbitrary real polynomials.

We investigate the uniqueness results of meromorphic functions if differential polynomials of the form ${\left(Q\left(f\right)\right)}^{\left(k\right)}$ and ${\left(Q\left(g\right)\right)}^{\left(k\right)}$ share a set counting multiplicities or ignoring multiplicities, where $Q$ is a polynomial of one variable. We give suitable conditions on the degree of $Q$ and on the number of zeros and the multiplicities of the zeros of $Q^{\text{'}}$. The results of the paper generalize some results due to T. T. H. An and N. V. Phuong (2017) and that of N. V. Phuong (2021).

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{|}^p$1/p$,$aj ∈ ℂ$,$such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ and L > 0 let ${\kappa }_{\infty }(n,L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0|\ge Lma{x}_{1\le j\le n}|a_j|$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). We prove that there are absolute constants c₁ > 0 and c₂ > 0 such that $c_1\surd (n/L)-1\le {\kappa }_{\infty }(n,L)\le c_2\surd (n/L)$ for every L ≥ 1. This complements an earlier result of the authors valid for every n ∈ ℕ and L ∈...

We investigate the exponent of convergence of the zero-sequence of solutions of the differential equation $f^{\left(k\right)}+a_{k-1}\left(z\right)f^{(k-1)}+\cdots +a₁\left(z\right)f^{\text{'}}+D\left(z\right)f=0$, (1) where $D\left(z\right)=Q₁\left(z\right)e^{P₁\left(z\right)}+Q₂\left(z\right)e^{P₂\left(z\right)}+Q₃\left(z\right)e^{P₃\left(z\right)}$, P₁(z),P₂(z),P₃(z) are polynomials of degree n ≥ 1, Q₁(z),Q₂(z),Q₃(z),$a_j\left(z\right)$ (j=1,..., k-1) are entire functions of order less than n, and k ≥ 2.

We consider the space ${}^{ℳ}$ of ultradifferentiable functions with compact supports and the space of polynomials on ${}^{ℳ}$. A description of the space ${(}^{ℳ})$ of polynomial ultradistributions as a locally convex direct sum is given.

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≢ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{{|}^p)}^{1/p}$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ, L > 0, and q ≥ 1 let ${\mu }_q(n,L)$ be the smallest value of k for which there is a polynomial Q of degree k with complex coefficients such that $\left|Q\left(0\right)\right|>1/L({\sum }_{j=1}^n{\left|Q\left(j\right)\right|}^q{)}^{1/q}$. We find the size of ${\kappa }_p(n,L)$ and ${\mu }_q(n,L)$ for all n ∈ ℕ, L > 0, and 1 ≤ p,q ≤ ∞. The result about ${\mu }_{\infty }(n,L)$ is due to Coppersmith and Rivlin, but our proof is completely different and much shorter even...

Let H and K be complex complete indefinite inner product spaces, and ℬ(H,K) (ℬ(H) if K = H) the set of all bounded linear operators from H into K. For every T ∈ ℬ(H,K), denote by $T^{†}$ the indefinite conjugate of T. Suppose that Φ: ℬ(H) → ℬ(K) is a bijective linear map. We prove that Φ satisfies $\Phi \left(A\right)\Phi \left(B\right)=\Phi \left(B\right)\Phi {\left(A\right)}^{†}$ for all A, B ∈ ℬ(H) with $AB=B{A}^{†}$ if and only if there exist a nonzero real number c and a generalized indefinite unitary operator U ∈ ℬ(H,K) such that $\Phi \left(A\right)=cUA{U}^{†}$ for all A ∈ ℬ(H).

Let $\parallel ·\parallel$ be the uniform norm in the unit disk. We study the quantities $M_n\left(\alpha \right):=inf(\parallel zP\left(z\right)+\alpha \parallel -\alpha )$ where the infimum is taken over all polynomials $P$ of degree $n-1$ with $\parallel P\left(z\right)\parallel =1$ and $\alpha >0$. In a recent paper by Fournier, Letac and Ruscheweyh (Math. Nachrichten 283 (2010), 193-199) it was shown that ${inf}_{\alpha >0}{M}_n\left(\alpha \right)=1/n$. We find the exact values of $M_n\left(\alpha \right)$ and determine corresponding extremal polynomials. The method applied uses known cases of maximal ranges of polynomials.

Our aim is to classify and compute zeros of the quadratic two sided matrix polynomials, i.e. quadratic polynomials whose matrix coefficients are located at both sides of the powers of the matrix variable. We suppose that there are no multiple terms of the same degree in the polynomial $𝐩$, i.e., the terms have the form ${𝐀}_j{𝐗}^j{𝐁}_j$, where all quantities $𝐗,{𝐀}_j,{𝐁}_j,j=0,1,...,N,$ are square matrices of the same size. Both for classification and computation, the essential tool is the description of the polynomial $𝐩$ by a matrix...

The paper deals with the approximation by polynomials with integer coefficients in $L_p(0,1)$, 1 ≤ p ≤ ∞. Let $P_{n,r}$ be the space of polynomials of degree ≤ n which are divisible by the polynomial $x^r{(1-x)}^r$, r ≥ 0, and let $P_{n,r}^{\mathbb{Z}}\subset P_{n,r}$ be the set of polynomials with integer coefficients. Let $\mu (P_{n,r}^{\mathbb{Z}};L_p)$ be the maximal distance of elements of $P_{n,r}$ from $P_{n,r}^{\mathbb{Z}}$ in $L_p(0,1)$. We give rather precise quantitative estimates of $\mu (P_{n,r}^{\mathbb{Z}};L₂)$ for n ≳ 6r. Then we obtain similar, somewhat less precise, estimates of $\mu (P_{n,r}^{\mathbb{Z}};L_p)$ for p ≠ 2. It follows that $\mu (P_{n,r}^{\mathbb{Z}};L_p)\asymp n^{-2r-2/p}$ as n → ∞. The results...

Let $P\left(z\right)={\sum }_{\nu =0}^n{a}_{\nu }{z}^{\nu }$ be a polynomial of degree at most $n$ which does not vanish in the disk $\left|z\right|<1$, then for $1\le p<\infty$ and $R>1$, Boas and Rahman proved $${∥P\left(Rz\right)∥}_p\le ({∥R^n+z∥}_p/{∥1+z∥}_p){∥P∥}_p.$$ In this paper, we improve the above inequality for $0\le p<\infty$ by involving some of the coefficients of the polynomial $P\left(z\right)$. Analogous result for the class of polynomials $P\left(z\right)$ having no zero in $\left|z\right|>1$ is also given.

Let D and ∂D denote the open unit disk and the unit circle of the complex plane, respectively. We denote by ₙ (resp. ${ₙ}^c$) the set of all polynomials of degree at most n with real (resp. complex) coefficients. We define the truncation operators Sₙ for polynomials $Pₙ\in {ₙ}^c$ of the form $Pₙ\left(z\right):={\sum }_{j=0}^n{a}_j{z}_j$, $a_j\in C$, by $Sₙ\left(Pₙ\right)\left(z\right):={\sum }_{j=0}^{n}a{̃}_j{z}_j$, $a{̃}_j:=a_j\left|a_j\right|min|a_j|,1$ (here 0/0 is interpreted as 1). We define the norms of the truncation operators by $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{real}:=su{p}_{Pₙ\in ₙ}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|)$, $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{comp}:=su{p}_{Pₙ\in {ₙ}^c}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|$. Our main theorem establishes the right order of magnitude of the above norms: there is an absolute constant c₁...

Let f: ℝⁿ → ℝ be a polynomial function of degree d with f(0) = 0 and ∇f(0) = 0. Łojasiewicz’s gradient inequality states that there exist C > 0 and ϱ ∈ (0,1) such that ${\left|\nabla f\right|\ge C\left|f\right|}^{\varrho }$ in a neighbourhood of the origin. We prove that the smallest such exponent ϱ is not greater than $1-R{(n,d)}^{-1}$ with $R(n,d)=d{(3d-3)}^{n-1}$.

Let K be any subset of ${ℂ}^N$. We define a pluricomplex Green’s function $V_{K,\theta }$ for θ-incomplete polynomials. We establish properties of $V_{K,\theta }$ analogous to those of the weighted pluricomplex Green’s function. When K is a regular compact subset of ${ℝ}^N$, we show that every continuous function that can be approximated uniformly on K by θ-incomplete polynomials, must vanish on $K\setminus supp{\left(d{d}^c{V}_{K,\theta }\right)}^N$. We prove a version of Siciak’s theorem and a comparison theorem for θ-incomplete polynomials. We compute $supp{\left(d{d}^c{V}_{K,\theta }\right)}^N$ when K is a compact...

Let $P\left(z\right)$ be a polynomial of degree $n$ having no zeros in $\left|z\right|<k$, $k\le 1$, and let $Q\left(z\right):=z^n\overline{P(1/\overline{z})}$. It was shown by Govil that if ${max}_{\left|z\right|=1}\left|P^{\text{'}}\left(z\right)\right|$ and ${max}_{\left|z\right|=1}\left|Q^{\text{'}}\left(z\right)\right|$ are attained at the same point of the unit circle $\left|z\right|=1$, then $$\underset{\left|z\right|=1}{max}|P^{\text{'}}\left(z\right)|\le \frac{n}{1+k^n}\underset{\left|z\right|=1}{max}\left|P\left(z\right)\right|.$$ The main result of the present article is a generalization of Govil’s polynomial inequality to a class of entire functions of exponential type.

If $f(x)$ is a polynomial with coefficients in the field of complex numbers, of positive degree $n$, then $f(x)$ has at least one root a with the following property: if $\mu \le k\le n$, where $\mu$ is the multiplicity of $\alpha$, then $f^{(k)}(\alpha )\ne 0$ (such a root is said to be a "free" root of $f(x)$). This is a consequence of the so-called Gauss-Lucas'lemma. One could conjecture that this property remains true for polynomials (of degree $n$) with coefficients in a field of positive characteristic $p>n$ (Sudbery's Conjecture). In this paper it...

Let $P$ be a polynomial with integral coefficients. Shapiro showed that if the values of $P$ at infinitely many blocks of consecutive integers are of the form $Q\left(m\right)$, where $Q$ is a polynomial with integral coefficients, then $P\left(x\right)=Q\left(R\right(x\left)\right)$ for some polynomial $R$. In this paper, we show that if the values of $P$ at finitely many blocks of consecutive integers, each greater than a provided bound, are of the form $m^q$ where $q$ is an integer greater than 1, then $P\left(x\right)={\left(R\left(x\right)\right)}^q$ for some polynomial $R\left(x\right)$.

In this paper we investigate the factorization of the polynomials $f\left(x\right)x^n+g\left(x\right)\in \mathbb{Z}\left[x\right]$ in the special case where $f\left(x\right)$ is a monic quadratic polynomial with negative discriminant. We also mention similar results in the case that $f\left(x\right)$ is monic and linear.

We obtain an estimate on the average cardinality (d,s,a) of the value set of any family of monic polynomials in ${}_q\left[T\right]$ of degree d for which s consecutive coefficients $a=(a_{d-1},...,a_{d-s})$ are fixed. Our estimate asserts that $(d,s,a)={\mu }_{d}q+\left(q^{1/2}\right)$, where ${\mu }_d:={\sum }_{r=1}^d\left({(-1)}^{r-1}\right)/(r!)$. We also prove that $₂(d,s,a)=\mu {²}_{d}q²+\left(q^{3/2}\right)$, where ₂(d,s,a) is the average second moment of the value set cardinalities for any family of monic polynomials of ${}_q\left[T\right]$ of degree d with s consecutive coefficients fixed as above. Finally, we show that $₂(d,0)=\mu {²}_{d}q²+\left(q\right)$, where ₂(d,0) denotes the average second moment for...

Let E be a compact set in the complex plane, $g_E$ be the Green function of the unbounded component of ${ℂ}_{\infty }\setminus E$ with pole at infinity and $Mₙ\left(E\right)=sup\left(\right||P^{\text{'}}{\left|\right|}_E{)/(\left|\right|P\left|\right|}_E)$ where the supremum is taken over all polynomials ${P|}_E\not\equiv 0$ of degree at most n, and ${\left|\right|f\left|\right|}_E=sup\left|f\right(z\left)\right|:z\in E$. The paper deals with recent results concerning a connection between the smoothness of $g_E$ (existence, continuity, Hölder or Lipschitz continuity) and the growth of the sequence ${Mₙ\left(E\right)}_{n=1,2,...}$. Some additional conditions are given for special classes of sets.

Let ${}_q\left[t\right]$ be the polynomial ring over the finite field ${}_q$, and let ${}_N$ be the subset of ${}_q\left[t\right]$ containing all polynomials of degree strictly less than N. Define D(N) to be the maximal cardinality of a set $A{\subseteq }_N$ for which A-A contains no squares of polynomials. By combining the polynomial Hardy-Littlewood circle method with the density increment technology developed by Pintz, Steiger and Szemerédi, we prove that $D\left(N\right)\ll q^N{\left(logN\right)}^7/N$.

Let $V$ be the complex vector space of homogeneous linear polynomials in the variables $x_1,...,x_m$. Suppose $G$ is a subgroup of $S_m$, and $\chi$ is an irreducible character of $G$. Let $H_d(G,\chi )$ be the symmetry class of polynomials of degree $d$ with respect to $G$ and $\chi$. For any linear operator $T$ acting on $V$, there is a (unique) induced operator $K_{\chi }\left(T\right)\in \mathrm{End}\left(H_d(G,\chi )\right)$ acting on symmetrized decomposable polynomials by $$K_{\chi }\left(T\right)(f_1*f_2*...*f_d)=T{f}_1*T{f}_2*...*T{f}_d.$$ In this paper, we show that the representation $T\mapsto K_{\chi }\left(T\right)$ of the general linear group $GL\left(V\right)$ is equivalent to the direct sum of $\chi \left(1\right)$ copies...

We study moments of the difference $D_n\left(x\right)-x^{n}n!{\mathrm{e}}^{-1/x}$ concerning derangement polynomials $D_n\left(x\right)$. For the first moment, we obtain an explicit formula in terms of the exponential integral function and we show that it is always negative for $x>0$. For the higher moments, we obtain a multiple integral representation of the order of the moment under computation.

Let P be a unimodular polynomial of degree d-1. Then the height H(P²) of its square is at least √(d/2) and the product L(P²)H(P²), where L denotes the length of a polynomial, is at least d². We show that for any ε > 0 and any d ≥ d(ε) there exists a polynomial P with ±1 coefficients of degree d-1 such that H(P²) < (2+ε)√(dlogd) and L(P²)H(P²)< (16/3+ε)d²log d. A similar result is obtained for the series with ±1 coefficients. Let $A_m$ be the mth coefficient of the square f(x)² of...

Let $𝔻$ denote the unit disk $\{z:|z|<1\}$ in the complex plane $ℂ$. In this paper, we study a family of polynomials $P$ with only one zero lying outside $\overline{𝔻}$.  We establish  criteria for $P$ to satisfy implying that each of $P$ and $P^{\text{'}}$  has exactly one critical point outside $\overline{𝔻}$.

We show that the discriminant of the generalized Laguerre polynomial $L_n^{\left(\alpha \right)}\left(x\right)$ is a non-zero square for some integer pair $(n,\alpha )$, with $n\ge 1$, if and only if $(n,\alpha )$ belongs to one of $30$ explicitly given infinite sets of pairs or to an additional finite set of pairs. As a consequence, we obtain new information on when the Galois group of $L_n^{\left(\alpha \right)}\left(x\right)$ over $\mathbb{Q}$ is the alternating group $A_n$. For example, we establish that for all but finitely many positive integers $n\equiv 2(mod4)$, the only $\alpha$ for which the Galois group of $L_n^{\left(\alpha \right)}\left(x\right)$ over $\mathbb{Q}$ is $A_n$ is...