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.

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

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

For a real number $q>1$ and a positive integer $m$, let $Y_m\left(q\right):=\left\{{\sum }_{i=0}^n{ϵ}_i{q}^i:{ϵ}_i\in \left\{0,\pm 1,...,\pm m\right\},n=0,1,...\right\}$. In this paper, we show that $Y_m\left(q\right)$ is dense in $ℝ$ if and only if $q<m+1$ and $q$ is not a Pisot number. This completes several previous results and answers an open question raised by Erdös, Joó and Komornik [8].

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

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

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 give new results on square functions $${\parallel x\parallel }_F=\parallel {\left({\int }_0^{\infty }{\left|F\left(tA\right)x\right|}^2\frac{\mathrm{d}t}{t}\right)}^{1/2}{\parallel }_p$$ associated to a sectorial operator $A$ on $L^p$ for $1\&lt;p\&lt;\infty$. Under the assumption that $A$ is actually $R$-sectorial, we prove equivalences of the form $K^{-1}{\parallel x\parallel }_G\le {\parallel x\parallel }_F\le K{\parallel x\parallel }_G$ for suitable functions $F,G$. We also show that $A$ has a bounded $H^{\infty }$ functional calculus with respect to ${\parallel .\parallel }_F$. Then we apply our results to the study of conditions under which we have an estimate $\parallel {({\int }_0^{\infty }|C{\mathrm{e}}^{-tA}{\left(x\right)|}^2\mathrm{d}t{)}^{1/2}\parallel }_q\le M{\parallel x\parallel }_p$, when $-A$ generates a bounded semigroup ${\mathrm{e}}^{-tA}$ on $L^p$ and $C:D\left(A\right)\to L^q$ is a linear mapping.

By Descartes’ rule of signs, a real degree $d$ polynomial $P$ with all nonvanishing coefficients with $c$ sign changes and $p$ sign preservations in the sequence of its coefficients ($c+p=d$) has $\mathrm{pos}\le c$ positive and $\neg \le p$ negative roots, where $\mathrm{pos}\equiv c(mod2)$ and $\neg \equiv p(mod2)$. For $1\le d\le 3$, for every possible choice of the sequence of signs of coefficients of $P$ (called sign pattern) and for every pair $(\mathrm{pos},\mathrm{neg})$ satisfying these conditions there exists a polynomial $P$ with exactly $\mathrm{pos}$ positive and exactly $\neg$ negative roots (all of them simple). For $d\ge 4$...

We prove that for every ε > 0 and every nonnegative integer w there exist primes $p_1,...,p_w$ such that for $n=p_1...p_w$ the height of the cyclotomic polynomial ${\Phi }_n$ is at least $(1-\epsilon )c_w{M}_n$, where $M_n={\prod }_{i=1}^{w-2}{p}_i^{2^{w-1-i}-1}$ and $c_w$ is a constant depending only on w; furthermore $li{m}_{w\to \infty }{c}_w^{2^{-w}}\approx 0.71$. In our construction we can have $p_i>h(p_1...p_{i-1})$ for all i = 1,...,w and any function h: ℝ₊ → ℝ₊.

Let $f\left(x\right)$ be a cubic, monic and separable polynomial over a field of characteristic $p\ge 3$ and let $E$ be the elliptic curve given by $y^2=f\left(x\right)$. In this paper we prove that the coefficient at $x^{\frac{1}{2}p(p-1)}$ in the $p$–th division polynomial of $E$ equals the coefficient at $x^{p-1}$ in $f{\left(x\right)}^{\frac{1}{2}(p-1)}$. For elliptic curves over a finite field of characteristic $p$, the first coefficient is zero if and only if $E$ is supersingular, which by a classical criterion of Deuring (1941) is also equivalent to the vanishing of the second coefficient. So the...

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.

Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define $X_M$ to be X ∩ M with topology generated by $U\cap M:U\in \cap M$. Suppose $X_M$ is homeomorphic to the irrationals; must $X=X_M$? We have partial results. We also answer a question of Gruenhage by showing that if $X_M$ is homeomorphic to the “Long Cantor Set”, then $X=X_M$.

Let $𝒜$ be the algebra of quaternions $ℍ$ or octonions $𝕆$. In this manuscript an elementary proof is given, based on ideas of Cauchy and D’Alembert, of the fact that an ordinary polynomial $f\left(t\right)\in 𝒜\left[t\right]$ has a root in $𝒜$. As a consequence, the Jacobian determinant $\left|J\right(f\left)\right|$ is always non-negative in $𝒜$. Moreover, using the idea of the topological degree we show that a regular polynomial $g\left(t\right)$ over $𝒜$ has also a root in $𝒜$. Finally, utilizing multiplication ($*$) in $𝒜$, we prove various results on the topological degree...

Let $𝒱$ be a fixed algebraic variety defined by $m$ polynomials in $n$ variables with integer coefficients. We show that there exists a constant $C\left(𝒱\right)$ such that for almost all primes $p$ for all but at most $C\left(𝒱\right)$ points on the reduction of $𝒱$ modulo $p$ at least one of the components has a large multiplicative order. This generalises several previous results and is a step towards a conjecture of B. Poonen.

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

We consider the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y(x-\varphi \left(x\right))=f\left(x\right),x\in ℝ,$$ where $\varphi$ and $q$ ($q\ge 1$) are positive continuous functions for all $x\in ℝ$ and $f\in C\left(ℝ\right)$. By a solution of the equation we mean any function $y$, continuously differentiable everywhere in $ℝ$, which satisfies the equation for all $x\in ℝ$. We show that under certain additional conditions on the functions $\varphi$ and $q$, the above equation has a unique solution $y$, satisfying the inequality $$\parallel y^{\text{'}}{\parallel }_{C\left(ℝ\right)}+{\parallel qy\parallel }_{C\left(ℝ\right)}\le c{\parallel f\parallel }_{C\left(ℝ\right)},$$ where the constant $c\in (0,\infty )$ does not depend on the choice of $f$.

Let $k\ge 5$ be an odd integer and $\eta$ be any given real number. We prove that if ${\lambda }_1$, ${\lambda }_2$, ${\lambda }_3$, ${\lambda }_4$, $\mu$ are nonzero real numbers, not all of the same sign, and ${\lambda }_1/{\lambda }_2$ is irrational, then for any real number $\sigma$ with $0<\sigma <1/\left(8\vartheta \right(k\left)\right)$, the inequality $$|{\lambda }_1{p}_1^2+{\lambda }_2{p}_2^2+{\lambda }_3{p}_3^2+{\lambda }_4{p}_4^2+\mu p_5^k+\eta |<{\left(\underset{1\le j\le 5}{max}{p}_j\right)}^{-\sigma }$$ has infinitely many solutions in prime variables $p_1,p_2,\cdots ,p_5$, where $\vartheta \left(k\right)=3\times 2^{(k-5)/2}$ for $k=5,7,9$ and $\vartheta \left(k\right)=[(k^2+2k+5)/8]$ for odd integer $k$ with $k\ge 11$. This improves a recent result in W. Ge, T. Wang (2018).

Let ${\Phi }_1,...,{\Phi }_{k+1}$ (with $k\ge 1$) be vector fields of class $C^k$ in an open set $U{\subset }^{N+m}$, let $𝕄$ be a $N$-dimensional $C^k$ submanifold of $U$ and define $$𝕋:=\{z\in 𝕄:{\Phi }_1\left(z\right),...,{\Phi }_{k+1}\left(z\right)\in T_z𝕄\}$$ where $T_z𝕄$ is the tangent space to $𝕄$ at $z$. Then we expect the following property, which is obvious in the special case when $z_0$ is an interior point (relative to $𝕄$) of $𝕋$: If $z_0\in 𝕄$ is a $(N+k)$-density point (relative to $𝕄$) of $𝕋$ then all the iterated Lie brackets of order less or equal to $k$ $${\Phi }_{i_1}\left(z_0\right),[{\Phi }_{i_1},{\Phi }_{i_2}]\left(z_0\right),[[{\Phi }_{i_1},{\Phi }_{i_2}],{\Phi }_{i_3}]\left(z_0\right),...(h,i_h\le k+1)$$ belong to $T_{z_0}𝕄$. Such a property has been proved in [9] for $k=1$ and its proof in the...

Let $F=(f_1,...,f_q)$ be a polynomial dominating map from ${ℂ}^n$ to ${ℂ}^q$. We study the quotient ${𝒯}^1\left(F\right)$ of polynomial 1-forms that are exact along the generic fibres of $F$, by 1-forms of type $\mathrm{d}R+\sum a_i\mathrm{d}{f}_i$, where $R,a_1,...,a_q$ are polynomials. We prove that ${𝒯}^1\left(F\right)$ is always a torsion $ℂ[t_1,...,t_q]$-module. Then we determine under which conditions on $F$ we have ${𝒯}^1\left(F\right)=0$. As an application, we study the behaviour of a class of algebraic $({ℂ}^p,+)$-actions on ${ℂ}^n$, and determine in particular when these actions are trivial.