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

Let ${\left(L_n\right)}_{n\ge 0}$ be the Lucas sequence. We show that the Diophantine equation $L_n-L_m=M_k$ has only the nonnegative integer solutions $(n,m,k)=(2,0,1)$, $(3,1,2)$, $(3,2,1)$, $(4,3,2)$, $(5,3,3)$, $(6,2,4)$, $(6,5,3)$ where $M_k=2^k-1$ is the $k$th Mersenne number and $n>m$.

Let $F_n$ denote the $n^{th}$ term of the Fibonacci sequence. In this paper, we investigate the Diophantine equation $F_1^p+2F_2^p+\cdots +k{F}_k^p=F_n^q$ in the positive integers $k$ and $n$, where $p$ and $q$ are given positive integers. A complete solution is given if the exponents are included in the set $\{1,2\}$. Based on the specific cases we could solve, and a computer search with $p,q,k\le 100$ we conjecture that beside the trivial solutions only $F_8=F_1+2F_2+3F_3+4F_4$, $F_4^2=F_1+2F_2+3F_3$, and $F_4^3=F_1^3+2F_2^3+3F_3^3$ satisfy the title equation.

We consider $N$, the number of solutions $(x,y,u,v)$ to the equation ${(-1)}^{u}r{a}^x+{(-1)}^{v}s{b}^y=c$ in nonnegative integers $x,y$ and integers $u,v\in \{0,1\}$, for given integers $a\&gt;1$, $b\&gt;1$, $c\&gt;0$, $r\&gt;0$ and $s\&gt;0$. When $gcd(ra,sb)=1$, we show that $N\le 3$ except for a finite number of cases all of which satisfy $max(a,b,r,s,x,y)\&lt;2·{10}^{15}$ for each solution; when $gcd(a,b)\&gt;1$, we show that $N\le 3$ except for three infinite families of exceptional cases. We find several different ways to generate an infinite number of cases giving $N=3$ solutions.

On the unit disk $B_1\subset {ℝ}^2$ we study the Moser-Trudinger functional $E\left(u\right)={\int }_{B_1}\left(e^{u^2}-1\right)dx,u\in H_0^1\left(B_1\right)$ and its restrictions ${E|}_{M_{\Lambda }}$, where $M_{\Lambda }:=\{u\in H_0^1\left(B_1\right){:\parallel u\parallel }_{H_0^1}^2=\Lambda \}$ for $\Lambda >0$. We prove that if a sequence $u_k$ of positive critical points of ${E|}_{M_{{\Lambda }_k}}$ (for some ${\Lambda }_k>0$) blows up as $k\to \infty$, then ${\Lambda }_k\to 4\pi$, and $u_k\to 0$ weakly in $H_0^1\left(B_1\right)$ and strongly in $C_{\mathrm{loc}}^1({\overline{B}}_1\setminus \left\{0\right\})$. Using this fact we also prove that when $\Lambda$ is large enough, then ${E|}_{M_{\Lambda }}$ has no positive critical point, complementing previous existence results by Carleson-Chang, M. Struwe and Lamm-Robert-Struwe.

We report on results we recently obtained in Hebey and Thizy [11, 12] for critical stationary Kirchhoff systems in closed manifolds. Let $(M^n,g)$ be a closed $n$-manifold, $n\ge 3$. The critical Kirchhoff systems we consider are written as $$\left(a+b\sum _{j=1}^p{\int }_M{\left|\nabla u_j\right|}^{2}d{v}_g\right){\Delta }_g{u}_i+\sum _{j=1}^p{A}_{ij}{u}_j={\left|U\right|}^{2^{☆}-2}{u}_i$$ for all $i=1,\cdots ,p$, where ${\Delta }_g$ is the Laplace-Beltrami operator, $A$ is a $C^1$-map from $M$ into the space $M_s^p\left(ℝ\right)$ of symmetric $p\times p$ matrices with real entries, the $A_{ij}$’s are the components of $A$, $U=(u_1,\cdots ,u_p)$, $\left|U\right|:M\to ℝ$ is the Euclidean norm of $U$, $2^{☆}=\frac{2n}{n-2}$ is the critical Sobolev exponent, and...

For $n=2m\ge 4$, let $\Omega \in {ℝ}^n$ be a bounded smooth domain and $𝒩\subset {ℝ}^L$ a compact smooth Riemannian manifold without boundary. Suppose that $\left\{u_k\right\}\in W^{m,2}(\Omega ,𝒩)$ is a sequence of weak solutions in the critical dimension to the perturbed $m$-polyharmonic maps $$\frac{\mathrm{d}}{\mathrm{d}t}{|}_{t=0}{E}_m\left(\Pi (u+t\xi )\right)=0$$ with ${\Phi }_k\to 0$ in ${\left(W^{m,2}(\Omega ,𝒩)\right)}^{*}$ and $u_k\rightharpoonup u$ weakly in $W^{m,2}(\Omega ,𝒩)$. Then $u$ is an $m$-polyharmonic map. In particular, the space of $m$-polyharmonic maps is sequentially compact for the weak-$W^{m,2}$ topology.

Let $p$ be an odd prime. By using the elementary methods we prove that: (1) if $2\nmid x$, $p\equiv \pm 3(mod8),$ the Diophantine equation $(2^x-1)(p^y-1)=2z^2$ has no positive integer solution except when $p=3$ or $p$ is of the form $p=2a_0^2+1$, where $a_0>1$ is an odd positive integer. (2) if $2\nmid x$, $2\mid y$, $y\ne 2,4,$ then the Diophantine equation $(2^x-1)(p^y-1)=2z^2$ has no positive integer solution.

Let $W(m,n;\underline{\psi })$ denote the set of ${\psi }_1,...,{\psi }_n$–approximable points in ${ℝ}^{mn}$. The classical Khintchine–Groshev theorem assumes a monotonicity condition on the approximating functions $\underline{\psi }$. Removing monotonicity from the Khintchine–Groshev theorem is attributed to different authors for different cases of $m$ and $n$. It can not be removed for $m=n=1$ as Duffin–Schaeffer provided the counter example. We deal with the only remaining case $m=2$ and thereby remove all unnecessary conditions from the Khintchine–Groshev theorem. ...

Suppose that ${\lambda }_1,{\lambda }_2,{\lambda }_3,{\lambda }_4$ are nonzero real numbers, not all negative, $\delta >0$, $𝒱$ is a well-spaced set, and the ratio ${\lambda }_1/{\lambda }_2$ is algebraic and irrational. Denote by $E(𝒱,N,\delta )$ the number of $v\in 𝒱$ with $v\le N$ such that the inequality $$|{\lambda }_1{p}_1^2+{\lambda }_2{p}_2^3+{\lambda }_3{p}_3^4+{\lambda }_4{p}_4^5-v|<v^{-\delta }$$ has no solution in primes $p_1$, $p_2$, $p_3$, $p_4$. We show that $$E(𝒱,N,\delta )\ll N^{1+2\delta -1/72+\epsilon }$$ for any $\epsilon >0$.

Let $k\ge 2$ and let ${\left(P_n^{\left(k\right)}\right)}_{n\ge 2-k}$ be the $k$-generalized Pell sequence defined by $$P_n^{\left(k\right)}=2P_{n-1}^{\left(k\right)}+P_{n-2}^{\left(k\right)}+\cdots +P_{n-k}^{\left(k\right)}$$ for $n\ge 2$ with initial conditions $$P_{-(k-2)}^{\left(k\right)}=P_{-(k-3)}^{\left(k\right)}=\cdots =P_{-1}^{\left(k\right)}=P_0^{\left(k\right)}=0,P_1^{\left(k\right)}=1.$$ In this study, we handle the equation $P_n^{\left(k\right)}=y^m$ in positive integers $n$, $m$, $y$, $k$ such that $k,y\ge 2,$ and give an upper bound on $n.$ Also, we will show that the equation $P_n^{\left(k\right)}=y^m$ with $2\le y\le 1000$ has only one solution given by $P_7^{\left(2\right)}={13}^2.$

S. S. Pillai proved that for a fixed positive integer $a$, the exponential Diophantine equation $x^y-y^x=a$, $min(x,y)>1$, has only finitely many solutions in integers $x$ and $y$. We prove that when $a$ is of the form $2z^2$, the above equation has no solution in integers $x$ and $y$ with $gcd(x,y)=1$.

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

For any positive integer $D$ which is not a square, let $(u_1,v_1)$ be the least positive integer solution of the Pell equation $u^2-D{v}^2=1,$ and let $h\left(4D\right)$ denote the class number of binary quadratic primitive forms of discriminant $4D$. If $D$ satisfies $2\nmid D$ and $v_{1}h\left(4D\right)\equiv 0(modD)$, then $D$ is called a singular number. In this paper, we prove that if $(x,y,z)$ is a positive integer solution of the equation $x^y+y^x=z^z$ with $2\mid z$, then maximum $max\{x,y,z\}<480000$ and both $x$, $y$ are singular numbers. Thus, one can possibly prove that the equation has no positive integer solutions...

We consider $C^2$ families $t\mapsto f_t$ of $C^4$ unimodal maps $f_t$ whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure ${\mu }_t$ of $f_t$ depends differentiably on $t$, as a distribution of order $1$. The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new representation of ${\mu }_t$ for a Benedicks-Carleson map $f_t$, in terms of a single smooth function and the...