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.

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 ∈...

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 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 $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...

Given $\{h_1,\cdots ,h_t\}$ a finite subset of ${ℝ}^d$, we study the continuous complex valued functions and the Schwartz complex valued distributions $f$ defined on ${ℝ}^d$ with the property that the forward differences ${\Delta }_{h_k}^{m_k}f$ are (in distributional sense) continuous exponential polynomials for some natural numbers $m_1,\cdots ,m_t$.

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.

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...

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.

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...

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...

The coefficients of the greatest common divisor of two polynomials $f$ and $g$ (GCD$(f,g)$) can be obtained from the Sylvester subresultant matrix $S_j(f,g)$ transformed to lower triangular form, where $1\le j\le d$ and $d=$ deg(GCD$(f,g)$) needs to be computed. Firstly, it is supposed that the coefficients of polynomials are given exactly. Transformations of $S_j(f,g)$ for an arbitrary allowable $j$ are in details described and an algorithm for the calculation of the GCD$(f,g)$ is formulated. If inexact polynomials are given, then an approximate...

The extremal functions  $f_0\left(z\right)$  realizing the maxima of some functionals (e.g. $max|a_3|$, and  $maxarg{f}^{{}^{\text{'}}}\left(z\right)$) within the so-called universal linearly invariant family $U_{\alpha }$ (in the sense of Pommerenke [10]) have such a form that $f_0^{{}^{\text{'}}}\left(z\right)$  looks similar to generating function for Meixner-Pollaczek (MP) polynomials [2], [8]. This fact gives motivation for the definition and study of the generalized Meixner-Pollaczek (GMP) polynomials $P_n^{\lambda }(x;\theta ,\psi )$ of a real variable $x$ as coefficients of $$G^{\lambda }(x;\theta ,\psi ;z)=\frac{1}{{(1-z{e}^{i\theta })}^{\lambda -ix}{(1-z{e}^{i\psi })}^{\lambda +ix}}=\sum _{n=0}^{\infty }{P}_n^{\lambda }(x;\theta ,\psi )z^n,\left|z\right|<1,$$ where the parameters $\lambda$, $\theta$, $\psi$ satisfy the conditions:...

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{𝔻}$.

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...

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.

Letting $T_n$ (resp. $U_n$) be the n-th Chebyshev polynomials of the first (resp. second) kind, we prove that the sequences ${\left(X^k{T}_{n-k}\right)}_k$ and ${\left(X^k{U}_{n-k}\right)}_k$ for n - 2⎣n/2⎦ ≤ k ≤ n - ⎣n/2⎦ are two basis of the ℚ-vectorial space ${}_n\left[X\right]$ formed by the polynomials of ℚ[X] having the same parity as n and of degree ≤ n. Also $T_n$ and $U_n$ admit remarkableness integer coordinates on each of the two basis.

Let $k$ be a nonnegative integer or infinity. For $a\in ℂ\cup \left\{\infty \right\}$ we denote by $E_k(a;f)$ the set of all $a$-points of $f$ where an $a$-point of multiplicity $m$ is counted $m$ times if $m\le k$ and $k+1$ times if $m>k$. If $E_k(a;f)=E_k(a;g)$ then we say that $f$ and $g$ share the value $a$ with weight $k$. Using this idea of sharing values we study the uniqueness of meromorphic functions whose certain nonlinear differential polynomials share a nonzero polynomial with finite weight. The results of the paper improve and generalize the related results due to...