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

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\>1$, $b\>1$, $c\>0$, $r\>0$ and $s\>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)\<2·{10}^{15}$ for each solution; when $gcd(a,b)\>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.

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

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 $\left\{U_n\right\}=\left\{U_n(P,Q)\right\}$ and $\left\{V_n\right\}=\left\{V_n(P,Q)\right\}$ be the Lucas sequences of the first and second kind respectively at the parameters $P\ge 1$ and $Q\in \{-1,1\}$. In this paper, we provide a technique for characterizing the solutions of the so-called Bartz-Marlewski equation $$x^2-3xy+y^2+x=0,$$ where $(x,y)=(U_i,U_j)$ or $(V_i,V_j)$ with $i$, $j\ge 1$. Then, the procedure of this technique is applied to completely resolve this equation with certain values of such parameters.

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.

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

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

Let ${\left(G_n\right)}_{n\ge 1}$ be a binary linear recurrence sequence that is represented by the Lucas sequences of the first and second kind, which are $\left\{U_n\right\}$ and $\left\{V_n\right\}$, respectively. We show that the Diophantine equation $G_n=B·(g^{lm}-1)/(g^l-1)$ has only finitely many solutions in $n,m\in {\mathbb{Z}}^{+}$, where $g\ge 2$, $l$ is even and $1\le B\le g^l-1$. Furthermore, these solutions can be effectively determined by reducing such equation to biquadratic elliptic curves. Then, by a result of Baker (and its best improvement due to Hajdu and Herendi) related to the bounds of the integral...

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

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

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