Some Universal Quadratic Sums over the Integers
Hai-Liang Wu,Zhi-Wei Sun
DOI: https://doi.org/10.3934/era.2019010
2019-01-01
Electronic Research Archive
Abstract:Let \begin{document}$ a,b,c,d,e,f\in\mathbb N $\end{document} with \begin{document}$ a\geq c\geq e>0 $\end{document}, \begin{document}$ b\leq a $\end{document} and \begin{document}$ b\equiv a\ ({\rm{mod}}\ 2) $\end{document}, \begin{document}$ d\leq c $\end{document} and \begin{document}$ d\equiv c\ ({\rm{mod}}\ 2) $\end{document}, \begin{document}$ f\leq e $\end{document} and \begin{document}$ f\equiv e\ ({\rm{mod}}\ 2) $\end{document}. If any nonnegative integer can be written as \begin{document}$ x(ax+b)/2+y(cy+d)/2+z(ez+f)/2 $\end{document} with \begin{document}$ x,y,z\in\mathbb Z $\end{document}, then the ordered tuple \begin{document}$ (a,b,c,d,e,f) $\end{document} is said to be universal over \begin{document}$ \Bbb Z $\end{document}. Recently, Z.-W. Sun found all candidates for such universal tuples over \begin{document}$ \Bbb Z $\end{document}. In this paper, we use the theory of ternary quadratic forms to show that 44 concrete tuples \begin{document}$ (a,b,c,d,e,f) $\end{document} in Sun's list of candidates are indeed universal over \begin{document}$ \mathbb Z $\end{document}. For example, we prove the universality of \begin{document}$ (16,4,2,0,1,1) $\end{document} over \begin{document}$ \Bbb Z $\end{document} which is related to the form \begin{document}$ x^2+y^2+32z^2 $\end{document}.