We prove that two $C^3$ critical circle maps with the same rotation number in a special set $𝔸$ are $C^{1+\alpha }$ conjugate for some $\alpha >0$ provided their successive renormalizations converge together at an exponential rate in the $C^0$ sense. The set $𝔸$ has full Lebesgue measure and contains all rotation numbers of bounded type. By contrast, we also give examples of $C^{\infty }$ critical circle maps with the same rotation number that are not $C^{1+\beta }$ conjugate for any $\beta >0$. The class of rotation numbers for which such examples exist...

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.

In this paper, we find all the solutions of the Diophantine equation $B_1^p+2B_2^p+\cdots +k{B}_k^p=B_n^q$ in positive integer variables $(k,n)$, where $B_i$ is the $i^{th}$ balancing number if the exponents $p$, $q$ are included in the set $\{1,2\}$.

We study the Diophantine equations ${(k!)}^n-k^n={(n!)}^k-n^k$ and ${(k!)}^n+k^n={(n!)}^k+n^k,$ where $k$ and $n$ are positive integers. We show that the first one holds if and only if $k=n$ or $(k,n)=(1,2),(2,1)$ and that the second one holds if and only if $k=n$.

Let r,m be positive integers with r > 1, m even, and A,B be integers satisfying $A+B\surd (-1)={(m+\surd (-1))}^r$. We prove that the Diophantine equation ${\left|A\right|}^x+{\left|B\right|}^y={(m²+1)}^z$ has no positive integer solutions in (x,y,z) other than (x,y,z) = (2,2,r), whenever $r>{10}^{74}$ or $m>{10}^{34}$. Our result is an explicit refinement of a theorem due to F. Luca.

Let $P_m$ and $E_m$ be the $m$-th Padovan and Perrin numbers respectively. Let $r,s$ be non-zero integers with $r\ge 1$ and $s\in \{-1,1\}$, let ${\left\{U_n\right\}}_{n\ge 0}$ be the generalized Lucas sequence given by $U_{n+2}=r{U}_{n+1}+s{U}_n$, with $U_0=0$ and $U_1=1.$ In this paper, we give effective bounds for the solutions of the following Diophantine equations $$P_m=U_n{U}_k\text{and}{E}_m=U_n{U}_k,$$ where $m$, $n$ and $k$ are non-negative integers. Then, we explicitly solve the above Diophantine equations for the Fibonacci, Pell and balancing sequences.

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

For any positive integer $k\ge 2$, let ${\left(P_n^{\left(k\right)}\right)}_{n\ge 2-k}$ be the $k$-generalized Pell sequence which starts with $0,\cdots ,0,1$ ($k$ terms) with the linear recurrence $$P_n^{\left(k\right)}=2P_{n-1}^{\left(k\right)}+P_{n-2}^{\left(k\right)}+\cdots +P_{n-k}^{\left(k\right)}\text{for}n\ge 2.$$ Let ${\left(N_n\right)}_{n\ge 0}$ be Narayana’s sequence given by $$N_0=N_1=N_2=1\text{and}{N}_{n+3}=N_{n+2}+N_n.$$ The purpose of this paper is to determine all $k$-Pell numbers which are sums of two Narayana’s numbers. More precisely, we study the Diophantine equation $$P_p^{\left(k\right)}=N_n+N_m$$ in nonnegative integers $k$, $p$, $n$ and $m$.

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.

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

We study the leading order behaviour of positive solutions of the equation $-\Delta u+ϵu-{\left|u\right|}^{p-2}u+{\left|u\right|}^{q-2}u=0,x\in {ℝ}^N$, where $N\ge 3$, $q>p>2$ and when $ϵ>0$ is a small parameter. We give a complete characterization of all possible asymptotic regimes as a function of $p$, $q$ and $N$. The behavior of solutions depends sensitively on whether $p$ is less, equal or bigger than the critical Sobolev exponent $2^{*}=\frac{2N}{N-2}$. For $p<2^{*}$ the solution asymptotically coincides with the solution of the equation in which the last term is absent. For $p>2^{*}$ the solution asymptotically...

The Littlewood conjecture in Diophantine approximation claims that $$\underset{q\ge 1}{inf}q·\parallel q\alpha \parallel ·\parallel q\beta \parallel =0$$ holds for all real numbers $\alpha$ and $\beta$, where $\parallel ·\parallel$ denotes the distance to the nearest integer. Its $p$-adic analogue, formulated by de Mathan and Teulié in 2004, asserts that $$\underset{q\ge 1}{inf}q·\parallel q\alpha \parallel ·{\left|q\right|}_p=0$$ holds for every real number $\alpha$ and every prime number $p$, where ${|·|}_p$ denotes the $p$-adic absolute value normalized by ${\left|p\right|}_p=p^{-1}$. We survey the known results on these conjectures and highlight recent developments. ...

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

The triples $(x,y,z)=(1,z^z-1,z)$, $(x,y,z)=(z^z-1,1,z)$, where $z\in \mathbb{N}$, satisfy the equation $x^y+y^x=z^z$. In this paper it is shown that the same equation has no integer solution with $min\{x,y,z\}>1$, thus a conjecture put forward by Z. Zhang, J. Luo, P. Z. Yuan (2013) is confirmed.