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

We prove the existence of sequences ${\varrho ₙ}_{n=1}^{\infty }$, ϱₙ → 0⁺, and ${zₙ}_{n=1}^{\infty }$, |zₙ| = 1/2, such that for every α ∈ ℝ and for every meromorphic function G(z) on ℂ, there exists a meromorphic function $F\left(z\right)=F_{G,\alpha }\left(z\right)$ on ℂ such that $\varrho {ₙ}^{\alpha }F(nzₙ+n\varrho ₙ\zeta )$ converges to G(ζ) uniformly on compact subsets of ℂ in the spherical metric. As a result, we construct a family of functions meromorphic on the unit disk that is $Q_m$-normal for no m ≥ 1 and on which an extension of Zalcman’s Lemma holds.

Let $X$ and $Y$ be compact Kähler manifolds, and let $f:X\to Y$ be a dominant meromorphic map. Based upon a regularization theorem of Dinh and Sibony for DSH currents, we define a pullback operator $f^{♯}$ for currents of bidegrees $(p,p)$ of finite order on $Y$ (and thus forcurrent, since $Y$ is compact). This operator has good properties as may be expected. Our definition and results are compatible to those of various previous works of Meo, Russakovskii and Shiffman, Alessandrini and Bassanelli, Dinh and Sibony,...

Let $G$ be a group and $\omega \left(G\right)$ be the set of element orders of $G$. Let $k\in \omega \left(G\right)$ and $m_k\left(G\right)$ be the number of elements of order $k$ in $G$. Let nse$\left(G\right)=\{m_k\left(G\right):k\in \omega \left(G\right)\}$. Assume $r$ is a prime number and let $G$ be a group such that nse$\left(G\right)=$ nse$\left(S_r\right)$, where $S_r$ is the symmetric group of degree $r$. In this paper we prove that $G\cong S_r$, if $r$ divides the order of $G$ and $r^2$ does not divide it. To get the conclusion we make use of some well-known results on the prime graphs of finite simple groups and their components.

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

Given an integer $n\ge 3$, let $u_1,...,u_n$ be pairwise coprime integers $\ge 2$, $𝒟$ a family of nonempty proper subsets of $\{1,...,n\}$ with “enough” elements, and $\epsilon$ a function $𝒟\to \{\pm 1\}$. Does there exist at least one prime $q$ such that $q$ divides ${\prod }_{i\in I}{u}_i-\epsilon \left(I\right)$ for some $I\in 𝒟$, but it does not divide $u_1\cdots u_n$? We answer this question in the positive when the $u_i$ are prime powers and $\epsilon$ and $𝒟$ are subjected to certain restrictions. We use the result to prove that, if ${\epsilon }_0\in \{\pm 1\}$ and $A$ is a set of three or more primes that contains all prime divisors of any...

It is proved that real functions on $ℝ$ which can be represented as the difference of two semiconvex functions with a general modulus (or of two lower $C^1$-functions, or of two strongly paraconvex functions) coincide with semismooth functions on $ℝ$ (i.e. those locally Lipschitz functions on $ℝ$ for which $f_{+}^{\text{'}}\left(x\right)={lim}_{t\to x+}{f}_{+}^{\text{'}}\left(t\right)$ and $f_{-}^{\text{'}}\left(x\right)={lim}_{t\to x-}{f}_{-}^{\text{'}}\left(t\right)$ for each $x$). Further, for each modulus $\omega$, we characterize the class $DS{C}_{\omega }$ of functions on $ℝ$ which can be written as $f=g-h$, where $g$ and $h$ are semiconvex with modulus $C\omega$ (for some $C>0$) using a new...

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: ℝ₊ → ℝ₊.

We obtain the basic analytic properties, i.e. meromorphic continuation, polar structure and bounds for the order of growth, of all the nonlinear twists with exponents $\le 1/d$ of the $L$-functions of any degree $d\ge 1$ in the extended Selberg class. In particular, this solves the resonance problem in all such cases.

Sia $K\subset \subset {ℝ}^n$ un compatto, $f\ge 0$ una funzione analitica all'intorno di $K$, ed $m$ la massima molteplicità in $K$ degli zeri di $f$; si prova che la potenza $f^{\lambda }$ ($\lambda \in ℂ$, $Re\lambda >\mathrm{—}\frac{1}{m}$) è integrabile in $K$. L'estensione meromorfa dell'applicazione $\lambda \to f^{\lambda }$ da $Re\lambda >0$ a tutto $ℂ$ (con valori in ${𝒟}^{\prime }(K)$ anziché in $L^1(K)$) era già stata provata in [1] e [2].

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

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

Let $\mathbb{Z}$ be the set of integers, ${\mathbb{N}}_0$ the set of nonnegative integers and $F(x_1,x_2)=u_1{x}_1+u_2{x}_2$ be a binary linear form whose coefficients $u_1$, $u_2$ are nonzero, relatively prime integers such that $u_1{u}_2\ne \pm 1$ and $u_1{u}_2\ne -2$. Let $f:\mathbb{Z}\to {\mathbb{N}}_0\cup \left\{\infty \right\}$ be any function such that the set $f^{-1}\left(0\right)$ has asymptotic density zero. In 2007, M. B. Nathanson (2007) proved that there exists a set $A$ of integers such that $r_{A,F}\left(n\right)=f\left(n\right)$ for all integers $n$, where $r_{A,F}\left(n\right)=\left|\{(a,a^{\text{'}}):n=u_{1}a+u_2{a}^{\text{'}}:a,a^{\text{'}}\in A\}\right|$. We add the structure of difference for the binary linear form $F(x_1,x_2)$.