Let $\mathbb{P}=\{p_1,p_2,\cdots ,p_i,\cdots \}$ be the set of prime numbers (or more generally a set of pairwise co-prime elements). Let us denote $A_p^{a,b}=\{p^{an+b}m\mid n\in \mathbb{N}\cup \left\{0\right\};m\in \mathbb{N},p\mathrm{does}\mathrm{not}\mathrm{divide}m\}$, where $a\in \mathbb{N},b\in \mathbb{N}\cup \left\{0\right\}$. Then for arbitrary finite set $B$, $B\subset \mathbb{P}$ holds $$d\left(\bigcap _{p_i\in B}{A}_{p_i}^{a_i,b_i}\right)=\prod _{p_i\in B}d\left(A_{p_i}^{a_i,b_i}\right),$$ and $$d\left(A_{p_i}^{a_i,b_i}\right)=\frac{\frac{1}{p_i^{b_i}}\left(1-\frac{1}{p_i}\right)}{1-\frac{1}{p_i^{a_i}}}.$$ If we denote $$A=\left\{\frac{\frac{1}{p^b}\left(1-\frac{1}{p}\right)}{1-\frac{1}{p^a}}\mid p\in \mathbb{P},a\in \mathbb{N},b\in \mathbb{N}\cup \left\{0\right\}\right\},$$ where $\mathbb{P}$ is the set of all prime numbers, then for closure of set $A$ holds $$\mathrm{cl}A=A\cup B\cup \{0,1\},$$ where $B=\left\{\frac{1}{p^b}\left(1-\frac{1}{p}\right)\mid p\in \mathbb{P},b\in \mathbb{N}\cup \left\{0\right\}\right\}$.

Let 1 < k < 33/29. We prove that if λ₁, λ₂ and λ₃ are non-zero real numbers, not all of the same sign and such that λ₁/λ₂ is irrational, and ϖ is any real number, then for any ε > 0 the inequality $|\lambda ₁p₁+\lambda ₂p²₂+\lambda ₃p{₃}^k+\varpi |\le {\left(ma{x}_j{p}_j\right)}^{-(33-29k)/\left(72k\right)+\epsilon }$ has infinitely many solutions in prime variables p₁, p₂, p₃.

We prove that almost all positive even integers $n$ can be represented as $p_2^2+p_3^3+p_4^4+p_5^5$ with $|p_k^k-\frac{1}{4}N|\le N^{1-1/54+\epsilon }$ for $2\le k\le 5$. As a consequence, we show that each sufficiently large odd integer $N$ can be written as $p_1+p_2^2+p_3^3+p_4^4+p_5^5$ with $|p_k^k-\frac{1}{5}N|\le N^{1-1/54+\epsilon }$ for $1\le k\le 5$.

We provide a new approach to establishing certain q-series identities that were proved by Andrews, and show how to prove further identities using conjugate Bailey pairs. Some relations between some q-series and ternary quadratic forms are established.