We analyse the roots of the polynomial $x^n-p{x}^{n-1}-qx-1$ for $p⩾q⩾1$. This is the characteristic polynomial of the recurrence relation $F_{k,p,q}\left(n\right)=p{F}_{k,p,q}(n-1)+q{F}_{k,p,q}(n-k+1)+F_{k,p,q}(n-k)$ for $n⩾k$, which includes the relations of several particular sequences recently defined. In the end, a matricial representation for such a recurrence relation is provided.

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

We show that for a polynomial mapping $F=(f₁,...,fₘ):{ℂ}^n\to {ℂ}^m$ the Łojasiewicz exponent ${}_{\infty }\left(F\right)$ of F is attained on the set $z\in {ℂ}^n:f₁\left(z\right)·...·fₘ\left(z\right)=0$.

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

We consider nonsingular polynomial maps F = (P,Q): ℝ² → ℝ² under the following regularity condition at infinity $\left(J_{\infty }\right)$: There does not exist a sequence $(p_k,q_k)\subset ℂ²$ of complex singular points of F such that the imaginary parts $(\Im \left(p_k\right),\Im \left(q_k\right))$ tend to (0,0), the real parts $(\Re \left(p_k\right),\Re \left(q_k\right))$ tend to ∞ and $F(\Re \left(p_k\right),\Re \left(q_k\right)))\to a\in ℝ²$. It is shown that F is a global diffeomorphism of ℝ² if it satisfies Condition $\left(J_{\infty }\right)$ and if, in addition, the restriction of F to every real level set $P^{-1}\left(c\right)$ is proper for values of |c| large enough.

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

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

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 $f=ax+b{x}^q+x^{2q-1}{\in }_q\left[x\right]$. We find explicit conditions on a and b that are necessary and sufficient for f to be a permutation polynomial of ${}_{q²}$. This result allows us to solve a related problem: Let $g_{n,q}{\in }_p\left[x\right]$ (n ≥ 0, $p=cha{r}_q$) be the polynomial defined by the functional equation ${\sum }_{c{\in }_q}{(x+c)}^n=g_{n,q}(x^q-x)$. We determine all n of the form $n=q^{\alpha }-q^{\beta }-1$, α > β ≥ 0, for which $g_{n,q}$ is a permutation polynomial of ${}_{q²}$.

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

We consider limit cycles of a class of polynomial differential systems of the form $$\left\{\begin{array}{c}\dot{x}=y,\hfill \\ \dot{y}=-x-\epsilon (g_{21}\left(x\right)y^{2\alpha +1}+f_{21}\left(x\right)y^{2\beta })-{\epsilon }^2(g_{22}\left(x\right)y^{2\alpha +1}+f_{22}\left(x\right)y^{2\beta }),\hfill \end{array}\right.$$ where $\beta$ and $\alpha$ are positive integers, $g_{2j}$ and $f_{2j}$ have degree $m$ and $n$, respectively, for each $j=1,2$, and $\epsilon$ is a small parameter. We obtain the maximum number of limit cycles that bifurcate from the periodic orbits of the linear center $\dot{x}=y$, $\dot{y}=-x$ using the averaging theory of first and second order.

Let $k$ be a fixed integer. We study the asymptotic formula of $R(H,r,k)$, which is the number of positive integer solutions $1\le x,y,z\le H$ such that the polynomial $x^2+y^2+z^2+k$ is $r$-free. We obtained the asymptotic formula of $R(H,r,k)$ for all $r\ge 2$. Our result is new even in the case $r=2$. We proved that $R(H,2,k)=c_k{H}^3+O\left(H^{9/4+\epsilon }\right)$, where $c_k>0$ is a constant depending on $k$. This improves upon the error term $O\left(H^{7/3+\epsilon }\right)$ obtained by G.-L. Zhou, Y. Ding (2022).

Let $K=\mathbb{Q}\left(\alpha \right)$ be a pure number field generated by a complex root $\alpha$ of a monic irreducible polynomial $F\left(x\right)=x^{2^r·3^k·7^s}-m\in \mathbb{Z}\left[x\right]$, where $r$, $k$, $s$ are three positive natural integers. The purpose of this paper is to study the monogenity of $K$. Our results are illustrated by some examples.

We study the extensibility of piecewise polynomial functions defined on closed subsets of ${ℝ}^2$ to all of ${ℝ}^2$. The compact subsets of ${ℝ}^2$ on which every piecewise polynomial function is extensible to ${ℝ}^2$ can be characterized in terms of local quasi-convexity if they are definable in an o-minimal expansion of $ℝ$. Even the noncompact closed definable subsets can be characterized if semialgebraic function germs at infinity are dense in the Hardy field of definable germs. We also present a piecewise...

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

In this paper, we examine a natural question concerning the divisors of the polynomial $x^n-1$: “How often does $x^n-1$ have a divisor of every degree between $1$ and $n$?” In a previous paper, we considered the situation when $x^n-1$ is factored in $\mathbb{Z}\left[x\right]$. In this paper, we replace $\mathbb{Z}\left[x\right]$ with ${𝔽}_p\left[x\right]$, where $p$ is an arbitrary-but-fixed prime. We also consider those $n$ where this condition holds for all $p$.