Frobenius Numbers Associated with Diophantine Triples of x²-y²=z^r

Abstract

We give an explicit formula for the p-Frobenius number of triples associated with Diophantine Equations $x^2-y^2=z^r$ ($r\ge 2$), that is, the largest positive integer that can only be represented in p ways by combining the three integers of the solutions of Diophantine equations $x^2-y^2=z^r$. This result is also a generalization because if $r=2$ and $p=0$, the (0-)Frobenius number of the Pythagorean triple has already been given. To find p-Frobenius numbers, we use geometrically easy to understand figures of the elements of the p-Apéry set, which exhibits symmetric appearances.

1. Introduction

Diophantine equations are a fundamental part and one of the oldest branches of number theory. The main study is of polynomial equations or systems of equations, particularly in integers. Though there are many aspects and applications (see, e.g., [1,2,3]), Diophantine equations are used to characterize certain problems in Diophantine approximations. The study of the Frobenius problem of Pythagorean triples is important in the fields of number theory and discrete mathematics. This problem has important applications in cryptography, computer science, combinatorics, and other fields. For example, in cryptography, it is related to the discrete logarithm problem and elliptic curve cryptography. In computer science, it is related to algorithm design and complexity analysis. In combinatorics, it is related to many problems in graph theory and discrete mathematics. Therefore, studying the Pythagorean Frobenius problem not only helps to understand the basic problems of number theory and discrete mathematics but also provides an important mathematical foundation for practical applications.

In [4,5], we computed upper and lower bounds for the approximation of hyperbolic functions at points $1/s$ ($s=1,2,\dots$) by rationals $x/y$ such that x, y, and z form Pythagorean triples. In [6,7], we considered Diophantine approximations $x/y$ to values $\xi$ of hyperbolic functions, where $(x,y,z)$ is the solution of more Diophantine equations, including $x^2+y^2=z^2$.

In both physics and biology, both the Pythagorean triples and the Pythagorean theorem have some applications. In physics, the Pythagorean triples and the Pythagorean theorem can be applied to describe problems in mechanics and kinematics. For example, when studying the trajectory, velocity, and acceleration of an object, the Pythagorean theorem can be used to calculate the relationship between the position and velocity of an object at different points in time. In addition, the Pythagorean theorem can also be used to analyze the path and interference effects of waves when describing wave propagation and interference. In biology, the Pythagorean triples and the Pythagorean theorem can be applied to describe the morphology and structure of living organisms. For example, when studying the bone structure, organ layout, and neural network of an object, the Pythagorean theorem and the Pythagorean triples can be used to analyze the relationship between them. In addition, the Pythagorean theorem can be used to describe the proportions and associations between different parts during the growth and development of organisms. Overall, the Pythagorean triples and the Pythagorean theorem can help scientists understand and describe the motion, morphology, and structure of objects in physics and biology, thus helping to study and explain various phenomena and laws.

For integer $k\ge 2$, consider a set of positive integers $A=\{a_1,\dots ,a_k\}$ with $gcd\left(A\right)=gcd(a_1,\dots ,a_k)=1$. Finding the number of non-negative integral representations $x_1,x_2,\dots ,x_k$, denoted by $d(n;A)=d(n;a_1,a_2,\dots ,a_k)$, to $a_1{x}_1+a_2{x}_2+\dots +a_k{x}_k=n$ for a given positive integer n is one of the most important and interesting topics. This number is often called the denumerant and is equal to the coefficient of $x^n$ in $1/(1-x^{a_1})(1-x^{a_2})\cdots (1-x^{a_k})$ ([8]). Sylvester [9] and Cayley [10] showed that $d(n;a_1,a_2,\dots ,a_k)$ can be expressed as the sum of a polynomial in n of degree $k-1$ and a periodic function of period $a_1{a}_2\cdots a_k$. For two variables, a formula for $d(n;a_1,a_2)$ is obtained in [11]. For three variables in the pairwise coprime case $d(n;a_1,a_2,a_3)$, in [12], the periodic function part is expressed in terms of trigonometric functions.

For a non-negative integer p, define $S_p$ and $G_p$ by

$$S_p\left(A\right)=\{n\in {\mathbb{N}}_0|d(n;A)>p\}$$

and

$$G_p\left(A\right)=\{n\in {\mathbb{N}}_0|d(n;A)\le p\}$$

respectively, satisfying $S_p\cup G_p={\mathbb{N}}_0$, which is the set of non-negative integers. The set $S_p$ is called a p-numerical semigroup because $S\left(A\right)=S_0\left(A\right)$ is a usual numerical semigroup. $G_p$ is the set of p-gaps. Define $g_p\left(A\right)$ and $n_p\left(A\right)$ by

$$g_p\left(A\right)=\underset{n\in G_p\left(A\right)}{max}n,\mathrm{and}{n}_p\left(A\right)=\sum _{n\in G_p\left(A\right)}1,$$

and these are called the p-Frobenius number and the p-Sylvester number (or p-genus). When $p=0$, $g\left(A\right)=g_0\left(A\right)$ and $n\left(A\right)=n_0\left(A\right)$ are the original Frobenius number and Sylvester number (or genus), respectively. Finding such values is one of the crucial matters in the Diophantine problem of Frobenius. More detailed descriptions of the p-numerical semigroups and their symmetric properties can be found in [13].

The Frobenius problem (also known as the coin exchange problem, postage stamp problem, or Chicken McNugget problem) has a long history and is one of the popular problems that has attracted the attention of experts as well as amateurs. For two variables $A=\{a,b\}$, it is known that

$$g(a,b)=(a-1)(b-1)-1\mathrm{and}n(a,b)=\frac{(a-1)(b-1)}{2}$$

(see Refs. [8,14]). For three or more variables, the Frobenius number cannot be given by any set of closed formulas which can be reduced to a finite set of certain polynomials ([15]). For three variables, various algorithms have been devised for finding the Frobenius number. For example, in [16], the Frobenius number is uniquely determined by six positive integers that are the solution to a system of three polynomial equations. In [17], a general algorithm is given by using a $3\times 3$ matrix. Nevertheless, explicit closed formulas have been found only for some special cases, including arithmetic, geometric, Mersenne, repunits, and triangular (see [18,19,20] and references therein). We are interested in finding explicit closed forms, which is one of the most crucial matters in the Frobenius problem. Our method has an advantage in terms of visually grasping the elements of the Apéry set, and it is more useful to obtain more related values, including th egenus (Sylvester number), Sylvester sum [21], weighted power Sylvester sum [22,23,24], and so on.

We are interested in finding a closed or explicit form for the p-Frobenius number, which is more difficult when $p>0$. For three or more variables, no concrete examples had been found until recently, when the first author succeeded in giving the p-Frobenius number as a closed-form expression for the triangular number triplet ([25]) for repunits ([26,27]), Fibonacci triplets ([28]), Jacobsthal triplets ([29,30]), and arithmetic triplets ([31]).

When $p=0$, it is the original Frobenius number in the famous Diophantine problem of Frobenius. We also obtain closed forms for the number of positive integers and the largest positive integer that can be represented in only p ways by combining the three integers of the Diophantine triple.

In this paper, we study the numerical semigroup of the triples $(x,y,z)$ satisfying the Diophantine equation $x^2-y^2=z^r$ ($r\ge 2$). When $r=2$ and $p=0$, the Frobenius number of the Pythagorean triple is given in [32,33]. The Frobenius number of a little-modified triple is studied in [34]. To find p-Frobenius numbers, we use geometrically easy to understand figures of the elements of the p-Apéry set.

2. Preliminaries

We introduce the p-Apéry set (see [35]) below in order to obtain the formulas for $g_p\left(A\right)$ and $n_p\left(A\right)$. Without loss of generality, we assume that $a_1=min\left(A\right)$.

Definition 1.

Let p be a non-negative integer. For a set of positive integers $A=\{a_1,a_2,\dots ,a_{\kappa }\}$ with $gcd\left(A\right)=1$ and $a_1=min\left(A\right)$, we denote by

$${\mathrm{Ap}}_p\left(A\right)={\mathrm{Ap}}_p(a_1,a_2,\dots ,a_{\kappa })=\{m_0^{\left(p\right)},m_1^{\left(p\right)},\dots ,m_{a_1-1}^{\left(p\right)}\},$$

the p-Apéry set of A, where each positive integer $m_i^{\left(p\right)}$$(0\le i\le a_1-1)$ satisfies the following conditions:

$$\left(\mathrm{i}\right)m_i^{\left(p\right)}\equiv i\left(\mathrm{mod}{a}_1\right),\left(\mathrm{ii}\right)m_i^{\left(p\right)}\in S_p\left(A\right),\left(\mathrm{iii}\right)m_i^{\left(p\right)}-a_1\notin S_p\left(A\right).$$

Note that $m_0^{\left(0\right)}$ is defined to be 0.

It follows that for each p,

$${\mathrm{Ap}}_p\left(A\right)\equiv \{0,1,\dots ,a_1-1\}\left(\mathrm{mod}{a}_1\right).$$

When $k\ge 3$, it is hard to find any explicit form of $g_p\left(A\right)$ as well as $n_p\left(A\right)$. Nevertheless, the following convenient formulas are known (for a more general case, see [36]). Though finding $m_j^{\left(p\right)}$ is hard enough in general, we can obtain it for some special sequences $(a_1,a_2,\dots ,a_k)$.

Lemma 1.

Let k and p be integers with $k\ge 2$ and $p\ge 0$. Assume that $gcd(a_1,a_2,\dots ,a_k)=1$. We have

$$\begin{array}{cc}\hfill g_p(a_1,a_2,\dots ,a_k)& =\left(\underset{0\le j\le a_1-1}{max}{m}_j^{\left(p\right)}\right)-a_1,\hfill \end{array}$$

(1)

$$\begin{array}{cc}\hfill n_p(a_1,a_2,\dots ,a_k)& =\frac{1}{a_1}\sum _{j=0}^{a_1-1}{m}_j^{\left(p\right)}-\frac{a_1-1}{2}.\hfill \end{array}$$

(2)

Remark 1.

When $p=0$, the formulas (1) and (2) reduce to the formulas by Brauer and Shockley [37] and Selmer [38], respectively:

$$\begin{array}{cc}\hfill g(a_1,a_2,\dots ,a_k)& =\left(\underset{1\le j\le a_1-1}{max}{m}_j\right)-a_1,\hfill \\ \hfill n(a_1,a_2,\dots ,a_k)& =\frac{1}{a_1}\sum _{j=0}^{a_1-1}{m}_j-\frac{a_1-1}{2},\hfill \end{array}$$

where $m_j=m_j^{\left(0\right)}$ ($1\le j\le a_1-1$) with $m_0=m_0^{\left(0\right)}=0$. The formula for the Sylvester sum was discovered by Tripathi [21]. More general formulas using Bernoulli numbers can be seen in [22].

3. ${\mathit{x}}^{\mathbf{2}}-{\mathit{y}}^{\mathbf{2}}={\mathit{z}}^{\mathit{r}}$

For the solution of the Diophantine equation $x^2-y^2=z^r$, we obtain two kinds of parameterizations. Notice that there are common cases in both. If $s\not\equiv t\left(\mathrm{mod}2\right)$, then

$$(x,y,z)=\left(\frac{{(s+t)}^r+{(s-t)}^r}{2},\frac{{(s+t)}^r-{(s-t)}^r}{2},s^2-t^2\right),$$

where $gcd(s,t)=1$. If $2\nmid t$, then

$$(x,y,z)=(2^{r-2}{s}^r+t^r,2^{r-2}{s}^r-t^r,2st),$$

where $gcd(s,t)=1$.

The case where $r=2$ has already been discussed in [32,34]. Namely,

$$g_0(s^2+t^2,2st,s^2-t^2)=(s-1)(s^2-t^2)+(s-1)\left(2st\right)-(s^2+t^2).$$

(3)

Let $r\ge 2$. Then the Frobenius number of this triple is given as follows.

Theorem 1.

If $s\not\equiv t\left(\mathrm{mod}2\right)$, then

$$\begin{array}{cc}\hfill & g_0\left(\frac{{(s+t)}^r+{(s-t)}^r}{2},\frac{{(s+t)}^r-{(s-t)}^r}{2},s^2-t^2\right)\hfill \\ \hfill & =\frac{(2s-t-2){(s+t)}^r+t{(s-t)}^r}{2}-(s^2-t^2).\hfill \end{array}$$

If $2\nmid t$, then

$$\begin{array}{cc}\hfill & g_0(2^{r-2}{s}^r+t^r,2^{r-2}{s}^r-t^r,2st)\hfill \\ \hfill & =2^{r-2}(s+2t-2)s^r-s·t^r-2st.\hfill \end{array}$$

Remark 2.

When $r=2$, both formulas in Theorem 1 reduce to that in (3). It is important to see that when $r=2$, two kinds of parameterizations depend upon which of $s^2-t^2$ and $2st$ is smaller.

3.1. When $s\not\equiv t (\mathrm{mod} 2)$

For convenience, we put

$$\mathbf{x}:=\frac{{(s+t)}^r+{(s-t)}^r}{2},\mathbf{y}:=\frac{{(s+t)}^r-{(s-t)}^r}{2},\mathbf{z}:=s^2-t^2.$$

(4)

Since $\mathbf{x},\mathbf{y},\mathbf{z}>0$ and $gcd(\mathbf{x},\mathbf{y},\mathbf{z})=1$, we see that $s>t$ and $gcd(s,t)=1$. Note that $\mathbf{x}>\mathbf{y}>\mathbf{z}$ when $r\ge 3$. When $r=2$, we assume that $\mathbf{y}>\mathbf{z}$.

The elements of the (0-)Apéry set are given as in Table 1, where each point $(Y,X)$ corresponds to the expression $Y\mathbf{y}+X\mathbf{x}$ and the area of the (0-)Apéry set is equal to $s^2-t^2$.

Table 1. ${\mathrm{Ap}}_0(\mathbf{x},\mathbf{y},\mathbf{z})$ when $s\not\equiv t (\mathrm{mod} 2)$.

$(0,0)$	⋯	$(s-t-1,0)$	$(s-t,0)$	⋯	⋯	$(s-1,0)$
⋮		⋮	⋮			⋮
$(0,s-t-1)$	⋯	$(s-t-1,s-t-1)$	$(s-t,s-t-1)$	⋯	⋯	$(s-1,s-t-1)$
$(0,s-t)$	⋯	$(s-t-1,s-t)$
⋮		⋮
⋮		⋮
$(0,s-1)$	⋯	$(s-t-1,s-1)$

Since

$$s\mathbf{y}-t\mathbf{x}=\mathbf{z}t\sum _{j=1}^{⌊r/2⌋}\left(\genfrac{}{}{0pt}{}{r-1}{2j-1}\right)s^{r-2j}{t}^{2j-2},$$

(5)

we have $s\mathbf{y}\equiv t\mathbf{x}\left(\mathrm{mod}\mathbf{z}\right)$ and $s\mathbf{y}>t\mathbf{x}$. Therefore, the sequence ${\left\{\ell \mathbf{y}\left(\mathrm{mod}\mathbf{z}\right)\right\}}_{\ell =0}^{\mathbf{z}-1}$ can be arranged as follows.

[Step 1]

After the row of the longer term

$$(0,X),(1,X),\dots ,(s-1,X)(0\le X\le s-t-1)$$

with length s, by increasing by t in the vertical direction, we move to the row

$$(0,X+t),(1,X+t),\dots$$

because $s\mathbf{y}\equiv t\mathbf{x}\left(\mathrm{mod}\mathbf{z}\right)$. If it is still in the longer term, we repeat [Step 1].

[Step 2]

If it reaches the shorter term

$$(0,X^{\prime }),(1,X^{\prime }),\dots ,(s-t-1,X^{\prime })(s-t\le X^{\prime }\le s-1)$$

with length $s-t$, by decreasing by ($s-t$) in the vertical direction, we move to the row

$$(0,X^{\prime }-s+t),(1,X^{\prime }-s+t),\dots$$

because

$$(s-t)\mathbf{y}+(s-t)\mathbf{x}=(s-t){(s+t)}^r\equiv 0\left(\mathrm{mod}\mathbf{z}\right).$$

(6)

If it is still in the shorter term, we repeat In fact, after the point $(s-t-1,s-t)$, one moves back to $(0,0)$.

Since $gcd(s,t)=1$, all the points inside the area in Table 1 appear in the sequence ${\left\{\ell \mathbf{y}\left(\mathrm{mod}\mathbf{z}\right)\right\}}_{\ell =0}^{\mathbf{z}-1}$ just once. Indeed, this sequence is equivalent to the sequence ${\left\{\ell \left(\mathrm{mod}\mathbf{z}\right)\right\}}_{\ell =0}^{\mathbf{z}-1}$.

It is clear that one of the values at $(s-t-1,s-1)$ or at $(s-1,s-t-1)$ takes the largest element. Since $(s-t-1)\mathbf{y}+(s-1)\mathbf{x}-((s-1)\mathbf{y}+(s-t-1)\mathbf{x}=t{(s-t)}^r>0$, the element at $(s-t-1,s-1)$ is the largest in the Apéry set. Hence, by Lemma 1 (1), we have

$$\begin{array}{cc}\hfill & g\left(\mathbf{x},\mathbf{y},\mathbf{z}\right)=(s-t-1)\mathbf{y}+(s-1)\mathbf{x}-\mathbf{z}\hfill \\ \hfill & =\frac{(s-t-1)\left({(s+t)}^r-{(s-t)}^r\right)}{2}+\frac{(s-1)\left({(s+t)}^r+{(s-t)}^r\right)}{2}-(s^2-t^2)\hfill \\ \hfill & =\frac{(2s-t-2){(s+t)}^r+t{(s-t)}^r}{2}-(s^2-t^2).\hfill \end{array}$$

3.2. When $2\nmid t$

For convenience, we put

$${\mathbf{x}}^{\prime }:=2^{r-2}{s}^r+t^r,{\mathbf{y}}^{\prime }:=2^{r-2}{s}^r-t^r,{\mathbf{z}}^{\prime }:=2st.$$

(7)

Since ${\mathbf{x}}^{\prime },{\mathbf{y}}^{\prime },{\mathbf{z}}^{\prime }>0$ and $gcd({\mathbf{x}}^{\prime },{\mathbf{y}}^{\prime },{\mathbf{z}}^{\prime })=1$, we see that $s>\sqrt[r]{4}t/2$ and $gcd(s,t)=1$. Note that ${\mathbf{x}}^{\prime }>{\mathbf{y}}^{\prime }>{\mathbf{z}}^{\prime }$ when $r\ge 3$. When $r=2$, we assume that ${\mathbf{y}}^{\prime }=\mathbf{z}>{\mathbf{z}}^{\prime }=\mathbf{y}$.

Since $(s+t){\mathbf{x}}^{\prime }-(s-t){\mathbf{y}}^{\prime }=(2^{r-2}{s}^{r-1}-t^{r-1}){\mathbf{z}}^{\prime }>0$, we have $(s+t){\mathbf{x}}^{\prime }\equiv (s-t){\mathbf{y}}^{\prime }\left(\mathrm{mod}{\mathbf{z}}^{\prime }\right)$ and $(s+t){\mathbf{x}}^{\prime }>(s-t){\mathbf{y}}^{\prime }$. In a similar way, we know that all the elements of the (0-)Apéry set are given as in Table 2.

Table 2. ${\mathrm{Ap}}_0({\mathbf{x}}^{\prime },{\mathbf{y}}^{\prime },{\mathbf{z}}^{\prime })$ when $2\nmid t$.

$(0,0)$	⋯	$(t-1,0)$	$(t,0)$	⋯	⋯	$(s+t-1,0)$
⋮		⋮	⋮			⋮
$(0,t-1)$	⋯	$(t-1,t-1)$	$(t,t-1)$	⋯	⋯	$(s+t-1,t-1)$
$(0,t)$	⋯	$(t-1,t)$
⋮		⋮
⋮		⋮
$(0,s-1)$	⋯	$(t-1,s-1)$

Therefore, the sequence ${\left\{\ell {\mathbf{y}}^{\prime }\left(\mathrm{mod}{\mathbf{z}}^{\prime }\right)\right\}}_{\ell =0}^{{\mathbf{z}}^{\prime }-1}$ can be arranged as follows.

[Step 1]

After the row of the longer term

$$(0,X),(1,X),\dots ,(s-1,X)(0\le X\le s-t-1)$$

with length ($s-t$), by increasing by ($s-t$) in the vertical direction, we move to the row

$$(0,X+s-t),(1,X+s-t),\dots$$

because $(s+t){\mathbf{x}}^{\prime }\equiv (s-t){\mathbf{y}}^{\prime }\left(\mathrm{mod}{\mathbf{z}}^{\prime }\right)$. If it is still in the longer term, we repeat

[Step 2]

If it reaches the shorter term

$$(0,X^{\prime }),(1,X^{\prime }),\dots ,(s-t-1,X^{\prime })(s-t\le X^{\prime }\le s-1)$$

with length t, by decreasing by (t) in the vertical direction, we move to the row

$$(0,X^{\prime }-t),(1,X^{\prime }-t),\dots$$

because $t{\mathbf{y}}^{\prime }+t{\mathbf{x}}^{\prime }=2^{r-1}{s}^{r}t\equiv 0\left(\mathrm{mod}{\mathbf{z}}^{\prime }\right)$. If it is still in the shorter term, we repeat [Step 2]. Otherwise, we apply [Step 1]. In fact, after the point $(t-1,t)$, one moves back to $(0,0)$.

Since $gcd(s,t)=1$, all the points inside the area in Table 2 appear in the sequence ${\left\{\ell {\mathbf{y}}^{\prime }\left(\mathrm{mod}{\mathbf{z}}^{\prime }\right)\right\}}_{\ell =0}^{{\mathbf{z}}^{\prime }-1}$ just once. Indeed, this sequence is equivalent to the sequence ${\left\{\ell \left(\mathrm{mod}{\mathbf{z}}^{\prime }\right)\right\}}_{\ell =0}^{{\mathbf{z}}^{\prime }-1}$.

Compare the elements at $(t-1,s-1)$ and $(s+t-1,t-1)$, which take possible maximal values. Since

$$(s+t-1){\mathbf{y}}^{\prime }+(t-1){\mathbf{x}}^{\prime }-\left((t-1){\mathbf{y}}^{\prime }+(s-1){\mathbf{x}}^{\prime }\right)=2st(2^{r-3}{s}^{r-1}-t^{r-1})+t^{r+1}>0,$$

we find that the element at $(s+t-1,t-1)$ is the largest in the Apéry set. By Lemma 1 (1), we have

$$\begin{array}{cc}\hfill & g\left({\mathbf{x}}^{\prime },{\mathbf{y}}^{\prime },{\mathbf{z}}^{\prime }\right)=(s+t-1){\mathbf{y}}^{\prime }+(t-1){\mathbf{x}}^{\prime }-{\mathbf{z}}^{\prime }\hfill \\ \hfill & =(s+t-1)(2^{r-2}{s}^r-t^r)+(t-1)(2^{r-2}{s}^r+t^r)-2st\hfill \\ \hfill & =2^{r-2}(s+2t-2)s^r-s·t^r-2st.\hfill \end{array}$$

4. $\mathit{p}>\mathbf{0}$

We shall show the following.

Theorem 2.

If $s\not\equiv t\left(\mathrm{mod}2\right)$, then for a non-negative integer p with $p\le ⌊t/(s-t)⌋$,

$$\begin{array}{cc}\hfill & g_p\left(\frac{{(s+t)}^r+{(s-t)}^r}{2},\frac{{(s+t)}^r-{(s-t)}^r}{2},s^2-t^2\right)\hfill \\ \hfill & =\frac{\left((p+2)s-(p+1)t-2\right){(s+t)}^r+\left(ps-(p-1)t\right){(s-t)}^r}{2}-(s^2-t^2).\hfill \end{array}$$

If $2\nmid t$, then for a non-negative integer p with $p\le ⌊(s-t)/t⌋$,

$$\begin{array}{cc}\hfill & g_p(2^{r-2}{s}^r+t^r,2^{r-2}{s}^r-t^r,2st)\hfill \\ \hfill & =2^{r-2}\left(s+(p+2)t-2\right)s^r+(pt-s)t^r-2st.\hfill \end{array}$$

4.1. When $s\not\equiv t\left(\mathrm{mod}2\right)$

4.1.1. $p=1$

All elements of ${\mathrm{Ap}}_1\left(A\right)$ are arranged in the form of shifting elements of ${\mathrm{Ap}}_0\left(A\right)$ whose remainders modulo $\mathbf{z}$ are equal. Assume that $s<2t$ now (otherwise, the arrangement of the elements in the Apéry set is very complicated and requires separate discussions so that the Frobenius number cannot be given in the general closed explicit formula, as mentioned later in the general p case). See Table 3. Since $(s-t)\mathbf{y}+(s-t)\mathbf{x}\equiv 0\left(\mathrm{mod}\mathbf{z}\right)$, each value at $(Y,X)$ is equivalent to the value at $(Y+s-t,X+s-t)$. In addition, by $s\mathbf{y}\equiv t\mathbf{x}\left(\mathrm{mod}\mathbf{z}\right)$, the elements of the first t rows in ${\mathrm{Ap}}_0\left(A\right)$ are shifted by $(Y,X)\to (Y+s-t,X+s-t)$ (in the lower-right direction) as the elements of ${\mathrm{Ap}}_1\left(A\right)$. However, as the column width of the element in the first ($s-t$) rows is s, if it is transferred as it is, there will be a part that protrudes sideways, and such a part is located below the lower-left area of ${\mathrm{Ap}}_0\left(A\right)$ (this position is reasonable because $s\mathbf{y}\equiv t\mathbf{x}\left(\mathrm{mod}\mathbf{z}\right)$). Finally, all elements other than the elements in the first t rows move directly to the side of the area of ${\mathrm{Ap}}_0\left(A\right)$ in the upper-right (this position is also reasonable because $s\mathbf{y}\equiv t\mathbf{x}\left(\mathrm{mod}\mathbf{z}\right)$). From this arrangement, ${\mathrm{Ap}}_1\left(A\right)$ also forms a complete residue system modulo $\mathbf{z}$.

Table 3. ${\mathrm{Ap}}_1(\mathbf{x},\mathbf{y},\mathbf{z})$ when $s\not\equiv t (\mathrm{mod} 2)$.

$(s,0)$

⋯

$(2s-t-1,0)$

⋮

⋮

$(s,s-t-1)$

⋯

$(2s-t-1,s-t-1)$

$(s-t,s-t)$

⋯

$(2s-2t-1,s-t)$

⋯

$(s-1,s-t)$

⋮

⋮

$(s-t,2s-2t-1)$

⋯

$(s-1,2s-2t-1)$

⋮

⋮

$(s-t,s-1)$

⋯

$(2s-2t-1,s-1)$

$(0,s)$

⋯

$(s-t-1,s)$

⋮

⋮

$(0,2s-t-1)$

⋯

$(s-t-1,2s-t-1)$

Now we shall show that each element has at least two different representations. For the $(s-t)\times (s-t)$ area at the bottom-left of Table 3, by

$$t\mathbf{y}-s\mathbf{x}=\mathbf{z}\sum _{j=0}^{⌊(r-1)/2⌋}\left(\genfrac{}{}{0pt}{}{r-1}{2j}\right)s^{r-2j-1}{t}^{2j},$$

we have for $0\le Y\le s-t-1$ and $0\le X\le s-t-1$

$$0\mathbf{z}+Y\mathbf{y}+(X+s)\mathbf{x}=\left(\sum _{j=0}^{⌊(r-1)/2⌋}\left(\genfrac{}{}{0pt}{}{r-1}{2j}\right)s^{r-2j-1}{t}^{2j}\right)\mathbf{z}+(Y+t)\mathbf{y}+X\mathbf{x}.$$

For the $(s-t)\times (s-t)$ area at the top-right of Table 3, by (5), we have for $0\le Y\le s-t-1$ and $0\le X\le s-t-1$

$$0\mathbf{z}+(Y+s)\mathbf{y}+X\mathbf{x}=\left(t\sum _{j=1}^{⌊r/2⌋}\left(\genfrac{}{}{0pt}{}{r-1}{2j-1}\right)s^{r-2j}{t}^{2j-2}\right)\mathbf{z}+Y\mathbf{y}+(X+t)\mathbf{x}.$$

For the middle area of ${\mathrm{Ap}}_1\left(A\right)$, by (6), we have for $0\le Y\le s-1$ and $0\le X\le s-1$

$$\begin{array}{c}\hfill 0\mathbf{z}+(Y+s-t)\mathbf{y}+(X+s-t)\mathbf{x}={(s+t)}^{r-1}\mathbf{z}+Y\mathbf{y}+X\mathbf{x}.\end{array}$$

There are four candidates at

$$(s-t-1,2s-t-1),(s-1,2s-2t-1),(2s-2t-1,s-1),(2s-t-1,s-t-1)$$

to take the largest value in ${\mathrm{Ap}}_1\left(A\right)$. Since $t\mathbf{x}>t\mathbf{y}$, the first one and the third one are larger than the second one and the fourth one, respectively. Since $(s-t)\mathbf{x}>(s-t)\mathbf{y}$, the first one is bigger than the third one. Hence, by Lemmas 1 (1)

$$\begin{array}{cc}\hfill & g_1(\mathbf{x},\mathbf{y},\mathbf{z})\hfill \\ \hfill & =(s-t-1)\mathbf{y}+(2s-t-1)\mathbf{x}-\mathbf{z}\hfill \\ \hfill & =\frac{(3s-2t-2){(s+t)}^r+s{(s-t)}^r}{2}-(s^2-t^2).\hfill \end{array}$$

4.1.2. $p\ge 2$

When $p\ge 2$, it continues until $p\le ⌊t/(s-t)⌋$, the area of ${\mathrm{Ap}}_1\left(A\right)$ moves to the area of ${\mathrm{Ap}}_2\left(A\right)$, which moves to the area of ${\mathrm{Ap}}_3\left(A\right)$, and so on, in the correspondence relation modulo ($\mathbf{z}$). Table 4 shows the areas of the ${\mathrm{Ap}}_p\left(A\right)$ ($p=0,1,2,3$) for the case where $3\le ⌊t/(s-t)⌋<4$. In Table 4, the area of ${\mathrm{Ap}}_0\left(A\right)$ is marked as 0 (including $0_a$ and $0_b$); that of ${\mathrm{Ap}}_1\left(A\right)$ is marked as 1 (including $1_c$ and $1_d$) with $1_a$ and $1_b$; that of ${\mathrm{Ap}}_2\left(A\right)$ is marked as 2 (including $2_e$ and $2_f$) with $2_a$, $2_b$, $2_c$, and $2_d$; and that of ${\mathrm{Ap}}_3\left(A\right)$ is marked as 3 with $3_a$, $3_b$, $3_c$, $3_d$, $3_e$, and $3_f$. The areas having the same residue modulo ($\mathbf{z}$) are determined as

$$\begin{array}{cc}\hfill 0_a\Rightarrow 1_a\Rightarrow & 2_a\Rightarrow 3_a,\hfill \\ \hfill 0_b\Rightarrow 1_b\Rightarrow & 2_b\Rightarrow 3_b,\hfill \\ \hfill 1_c\Rightarrow & 2_c\Rightarrow 3_c,\hfill \\ \hfill 1_d\Rightarrow & 2_d\Rightarrow 3_d,\hfill \\ \hfill & 2_e\Rightarrow 3_e,\hfill \\ \hfill & 2_f\Rightarrow 3_f,\hfill \end{array}$$

and the main parts are as

$$\begin{array}{cc}\hfill 0\left(\mathrm{excluding}{0}_a\mathrm{and}{0}_b\right)& \Rightarrow 1\left(\mathrm{including}{1}_a\mathrm{and}{1}_b\right),\hfill \\ \hfill 1\left(\mathrm{excluding}{1}_c\mathrm{and}{1}_d\right)& \Rightarrow 2\left(\mathrm{including}{2}_e\mathrm{and}{2}_f\right),\hfill \\ \hfill 2\left(\mathrm{excluding}{2}_e\mathrm{and}{2}_f\right)& \Rightarrow 3.\hfill \end{array}$$

That is, the elements of the area of the lower-left stair portions in ${\mathrm{Ap}}_p\left(A\right)$ correspond to the elements of the area of the upper-right stair portion in ${\mathrm{Ap}}_{p+1}\left(A\right)$ and are aligned from the upper-right row to the lower-left. The elements of the area of the upper-right stair portion in ${\mathrm{Ap}}_p\left(A\right)$ correspond to the elements of the area of the lower-left stair portion in ${\mathrm{Ap}}_{p+1}\left(A\right)$, respectively, and line up in the upper-right direction from the lowest-left column. The elements of the area of ${\mathrm{Ap}}_p\left(A\right)$ in the center portion, except for the $(s-t)\times (s-t)$ area in the lower-left and the $(s-t)\times (s-t)$ area in the upper-right, correspond to the elements of the area of ${\mathrm{Ap}}_{p+1}\left(A\right)$ in the lower-right diagonal direction.

Table 4. ${\mathrm{Ap}}_p(\mathbf{x},\mathbf{y},\mathbf{z})$ ($p=0,1,2,3$) when $s\not\equiv t (\mathrm{mod} 2)$.

0

$0_b$

$1_a$

$2_c$

$3_e$

1

$1_d$

$2_b$

$3_a$

2

$2_f$

$3_d$

$0_a$

$1_c$

$2_e$

3

$1_b$

$2_a$

$3_c$

$2_d$

$3_b$

$3_f$

More generally and more precisely, for $1\le l\le p$, each element of the l-th $(s-t)\times (s-t)$ block from the left in the area of the lower-left stair portions in ${\mathrm{Ap}}_p\left(A\right)$ is expressed by

$$\begin{array}{c}\left(\right(l-1)s-(l-1)t+i,(p-l+1)s-(p-l)t+j)\hfill \\ \hfill (0\le i\le s-t-1,0\le j\le s-t-1),\end{array}$$

(8)

and for $1\le l^{\prime }\le p$, each element of the $l^{\prime }$-th $(s-t)\times (s-t)$ block from the right in the area of the upper-right stair portions in ${\mathrm{Ap}}_{p^{\prime }}\left(A\right)$ is expressed by

$$\begin{array}{c}((p^{\prime }-l^{\prime }+1)s-(p^{\prime }-l^{\prime })t+i,(l^{\prime }-1)s-(l^{\prime }-1)t+j)\hfill \\ \hfill (0\le i\le s-t-1,0\le j\le s-t-1).\end{array}$$

(9)

Then, by $s\mathbf{y}\equiv t\mathbf{x}\left(\mathrm{mod}\mathbf{z}\right)$, we have the congruent relation for $p^{\prime }=p+1$ and $l^{\prime }=p^{\prime }-l+1=p-l+2$

$$\begin{array}{c}\left((l-1)s-(l-1)t+i\right)\mathbf{y}+\left((p-l+1)s-(p-l)t+j\right)\mathbf{x}\hfill \\ \hfill \equiv \left((p^{\prime }-l^{\prime }+1)s-(p^{\prime }-l^{\prime })t+i\right)\mathbf{y}+\left((l^{\prime }-1)s-(l^{\prime }-1)t+j\right)\mathbf{x}\left(\mathrm{mod}\mathbf{z}\right),\end{array}$$

as well as for $p=p^{\prime }+1$ and $l=p-l^{\prime }+1=p^{\prime }-l^{\prime }+2$.

For simplicity, denote by $(Z,Y,X)$ the value of $Z\mathbf{z}+Y\mathbf{y}+X\mathbf{x}$. Each element of the leftmost $(s-t)\times (s-t)$ area of ${\mathrm{Ap}}_p\left(A\right)$ ($p\ge 1$) has exactly ($p+1$) representations, because

$$\begin{array}{cc}\hfill & \left(0,0,ps-(p-1)t\right)\hfill \\ \hfill & =\left(js+(j-1)t,jt-(j-1)s,(p-j)s-(p-j)t\right)\hfill \\ \hfill & (j=1,2,\dots ,p).\hfill \end{array}$$

Note that $ps\le (p+1)t$ since $p\le ⌊t/(s-t)⌋$.

Each element of the second from the left $(s-t)\times (s-t)$ area of ${\mathrm{Ap}}_p\left(A\right)$ ($p\ge 2$) has exactly ($p+1$) representations, because

$$\begin{array}{cc}\hfill & \left(0,s-t,(p-1)s-(p-2)t\right)=\left(s+t,0,(p-2)s-(p-3)t\right)\hfill \\ \hfill & =\left(js+(j-1)t,(j-1)t-(j-2)s,(p-j-1)s-(p-j-1)t\right)\hfill \\ \hfill & (j=1,2,\dots ,p-1).\hfill \end{array}$$

Each element of the third from the left $(s-t)\times (s-t)$ area of ${\mathrm{Ap}}_p\left(A\right)$ ($p\ge 3$) has exactly ($p+1$) representations, because

$$\begin{array}{cc}\hfill & \left(0,2s-2t,(p-2)s-(p-3)t\right)=\left(s+t,s-t,(p-3)s-(p-4)t\right)\hfill \\ \hfill & =\left(2s+2t,0,(p-4)s-(p-5)t\right)\hfill \\ \hfill & =\left(js+(j-1)t,(j-2)t-(j-3)s,(p-j-2)s-(p-j-2)t\right)\hfill \\ \hfill & (j=1,2,\dots ,p-2).\hfill \end{array}$$

In general, each element of the l-th ($1\le l\le ⌊t/(s-t)⌋$) from the left $(s-t)\times (s-t)$ area of ${\mathrm{Ap}}_p\left(A\right)$ ($p\ge l$) has exactly ($p+1$) representations, because

$$\begin{array}{cc}\hfill & \left(0,(l-1)s-(l-1)t,(p-l+1)s-(p-l)t\right)\hfill \\ \hfill & =\left(i(s+t),(l-i-1)(s-t),(p-l-i+1)s-(p-l-i)t\right)\hfill \\ \hfill & (i=1,2,\dots ,l-1)\hfill \\ \hfill & =\left(js+(j-1)t,(j-l+1)t-(j-l)s,(p-l-j+1)(s-t)\right)\hfill \\ \hfill & (j=1,2,\dots ,p-l+1).\hfill \end{array}$$

Similarly, each element of the $l^{\prime }$-th ($1\le l^{\prime }\le ⌊t/(s-t)⌋$) from the top-right $(s-t)\times (s-t)$ area of ${\mathrm{Ap}}_p\left(A\right)$ ($p\ge l^{\prime }$) has exactly ($p+1$) representations, because

$$\begin{array}{cc}\hfill & \left(0,(p-l^{\prime }+1)s-(p-l^{\prime })t,(l^{\prime }-1)s-(l^{\prime }-1)t\right)\hfill \\ \hfill & =\left(i(s+t),(p-l^{\prime }-i+1)s-(p-l^{\prime }-i)t,(l^{\prime }-i-1)(s-t)\right)\hfill \\ \hfill & (i=1,2,\dots ,l^{\prime }-1)\hfill \\ \hfill & =\left((j-1)s+jt,(p-l^{\prime }-j+1)(s-t),(j-l^{\prime }+1)t-(j-l^{\prime })s\right)\hfill \\ \hfill & (j=1,2,\dots ,p-l^{\prime }+1).\hfill \end{array}$$

Concerning the central portion of ${\mathrm{Ap}}_p\left(A\right)$, it is easy to see that each element is expressed by

$$\begin{array}{cc}\hfill \left(0,p(s-t)+i,p(s-t)+j\right)& (0\le i\le s-t-1,0\le j\le pt-(p-1)s-1;\hfill \\ \hfill & s-t\le i\le pt-(p-1)s-1,0\le j\le s-t-1),\hfill \end{array}$$

(10)

and all elements have exactly ($p+1$) representations, because

$$\begin{array}{cc}\hfill & \left(0,p(s-t),p(s-t)\right)=\left(j(s+t),(p-j)(s-t),(p-j)(s-t)\right)\hfill \\ \hfill & (j=1,2,\dots ,p).\hfill \end{array}$$

Finally, the candidates to take the largest value in ${\mathrm{Ap}}_p\left(A\right)$ are clearly scattered in the lower right corners:

$$\begin{array}{cc}\hfill & \left(0,l(s-t)-1,(p+2-l)s-(p+1-l)t-1\right)(l=1,2,\dots ,p),\hfill \\ \hfill & \left(0,(p+1)(s-t)-1,s-1\right),\left(0,s-1,(p+1)(s-t)-1\right),\hfill \\ \hfill & \left(0,(p+2-l^{\prime })s-(p+1-l^{\prime })t-1,l^{\prime }(s-t)-1\right)(l^{\prime }=1,2,\dots ,p).\hfill \end{array}$$

By comparing these values, we can find that $\left(0,s-t-1,(p+1)s-pt-1\right)$ is the largest. Hence, by Lemma 1 (1)

$$\begin{array}{cc}\hfill & g_p(\mathbf{x},\mathbf{y},\mathbf{z})\hfill \\ \hfill & =(s-t-1)\mathbf{y}+\left((p+1)s-pt-1\right)\mathbf{x}-\mathbf{z}\hfill \\ \hfill & =\frac{\left((p+2)s-(p+1)t-2\right){(s+t)}^r+\left(ps-(p-1)t\right){(s-t)}^r}{2}-(s^2-t^2).\hfill \end{array}$$

In addition, Theorem 2 does not hold for $p>⌊t/(s-t)⌋$. As can be seen from the example in Table 4, the elements of the central area of ${\mathrm{Ap}}_4\left(A\right)$ corresponding to the elements of the central area of ${\mathrm{Ap}}_3\left(A\right)$ are not all left, and there will be elements corresponding to another location. Due to the deviation, the place where the maximum value is taken also changes from $(0,s-t-1,(p+1)s-pt-1)$ in ${\mathrm{Ap}}_p\left(A\right)$ for $p>⌊t/(s-t)⌋$. In the case of the example in Table 5, for $p=4$, the elements in the area of the stair part on both sides still regularly move to the opposite side, but in the main central part, some surplus elements move to the lower-left ($3_i\Rightarrow 4_i$) and some to the upper-right ($3_k\Rightarrow 4_k$). In this case, in general, $(0,2s-2t-1,(p+1)s-pt-1)$ takes the largest value. It is as shown in Table 5. At $p=5$, the place where the largest value is taken becomes more complicated since the corresponding residue part is further displaced.

Table 5. ${\mathrm{Ap}}_p(\mathbf{x},\mathbf{y},\mathbf{z})$ ($p=4$) when $s\not\equiv t (\mathrm{mod} 2)$.

0

$0_b$

$1_a$

$2_c$

$3_e$

$4_k$

1

$1_d$

$2_b$

$3_a$

$4_c$

2

$2_f$

$3_d$

$4_b$

$3_h$

$3_i$

$4_f$

$0_a$

$1_c$

$2_e$

$3_k$

⓪

$4_h$

$1_b$

$2_a$

$3_c$

$4_e$

①

$2_d$

$3_b$

$4_a$

②

$3_f$

$4_d$

③

④

$4_i$

In the table, $\overline{)n}$ denotes the position of the largest element in ${\mathrm{A}\mathrm{p}}^n\left(A\right)$. Note that the area $3_h$ (and so 4_h) does not exist if $t/(s-t)$ is an integer.

4.2. When $2\nmid t$

When $p\ge 1$, the situation is somewhat similar to that of the case where $s\not\equiv t\left(\mathrm{mod}2\right)$, but the roles of ${\mathbf{z}}^{\prime }=2st$ and $\mathbf{z}=s^2-t^2$ are interchanged. Namely, the roles of ($s-t$) and t are interchanged. Therefore, the calculation is not so similar.

Table 6 shows the case where $3<⌊(s-t)/t⌋<4$. The numbers $0,1,2,3$ indicate the area of ${\mathrm{Ap}}_p\left(A\right)$ for $p=0,1,2,3$.

Table 6. ${\mathrm{Ap}}_p({\mathbf{x}}^{\prime },{\mathbf{y}}^{\prime },{\mathbf{z}}^{\prime })$ ($p=0,1,2,3$) when $2\nmid t$.

	0																1			2			3
															⓪
				1													2			3
															①
							2										3
															②
										3
															③
	1			2			3
	2			3
	3

For simplicity, denote ${\gamma }_{Y,X}=Y{\mathbf{y}}^{\prime }+X{\mathbf{x}}^{\prime }$ by $(Y,X)$. More generally and more precisely, for $1\le l\le p$, each element of the l-th $t\times t$ block from the left in the area of the lower-left stair portions in ${\mathrm{Ap}}_p\left(A\right)$ is expressed by

$$\left((l-1)t+i,s+(p-l)t+j\right)(0\le i\le t-1,0\le j\le t-1),$$

(11)

and for $1\le l^{\prime }\le p$, each element of the $l^{\prime }$-th $t\times t$ block from the right in the area of the upper-right stair portions in ${\mathrm{Ap}}_{p^{\prime }}\left(A\right)$ is expressed by

$$\left(s+(p^{\prime }-l^{\prime }+1)t+i,(l^{\prime }-1)t+j\right)(0\le i\le t-1,0\le j\le t-1).$$

(12)

Concerning the central portion of ${\mathrm{Ap}}_p\left(A\right)$, each element is expressed by

$$\begin{array}{cc}\hfill \left(pt+i,pt+j\right)& (0\le i\le t-1,0\le j\le s-pt-1;\hfill \\ \hfill & t\le i\le s-(p-1)t-1,0\le j\le t-1).\hfill \end{array}$$

(13)

All the lower-right elements of the ($t\times t$) square areas and the central area are candidates for the largest value of ${\mathrm{Ap}}_p\left(A\right)$. Furthermore, by comparison, we can see that the position at $\left(s+t-1,(p+1)t-1\right)$ takes the largest value, which is at the bottom-right of the central area, and in Table 6, the position is shown by $\overline{)p}$ (p = 0, 1, 2, 3). Hence, by Lemma 1 (1)

$$\begin{array}{cc}\hfill & g_p({\mathbf{x}}^{\prime },{\mathbf{y}}^{\prime },{\mathbf{z}}^{\prime })\hfill \\ \hfill & =(s+t-1){\mathbf{y}}^{\prime }+\left((p+1)t-1\right){\mathbf{x}}^{\prime }-{\mathbf{z}}^{\prime }\hfill \\ \hfill & =2^{r-2}\left(s+(p+2)t-2\right)s^r+(pt-s)t^r-2st.\hfill \end{array}$$

5. Sylvester Number (Genus)

We can use Table 4 to obtain an explicit form of the genus (Sylvester number). First, let $s\not\equiv t\left(\mathrm{mod}2\right)$. For a non-negative integer p, by the representation of each element in Equations (8)–(10), we have

$$\begin{array}{cc}\hfill & \sum _{w\in {\mathrm{Ap}}_p\left(A\right)}w\hfill \\ \hfill & =\sum _{l=1}^p\sum _{i=0}^{s-t-1}\sum _{j=0}^{s-t-1}(((l-1)s-(l-1)t+i)\mathbf{y}\hfill \\ \hfill & +\left(\right(p-l+1)s-(p-l)t+j)\mathbf{x})\hfill \\ \hfill & +\sum _{l=1}^p\sum _{i=0}^{s-t-1}\sum _{j=0}^{s-t-1}(((p-l+1)s-(p-l)t+i)\mathbf{y}\hfill \\ \hfill & +\left(\right(l-1)s-(l-1)t+j)\mathbf{x})\hfill \\ \hfill & +\sum _{i=0}^{s-t-1}\sum _{j=0}^{pt-(p-1)s-1}\left(\left(p\right(s-t)+i)\mathbf{y}+\left(p\right(s-t)+j)\mathbf{x}\right)\hfill \\ \hfill & +\sum _{i=s-t}^{pt-(p-1)s-1}\sum _{j=0}^{s-t-1}\left(\left(p\right(s-t)+i)\mathbf{y}+\left(p\right(s-t)+j)\mathbf{x}\right)\hfill \\ \hfill & =\frac{(s-t){(s+t)}^r}{2}\left(s^2+st-t^2-s-t+p(s-t)(s+3t)-p^2{(s-t)}^2\right).\hfill \end{array}$$

By Lemma 1 (2) we have

$$\begin{array}{cc}\hfill & n_p(\mathbf{x},\mathbf{y},\mathbf{z})=\frac{1}{\mathbf{z}}\sum _{w\in {\mathrm{Ap}}_p\left(A\right)}w-\frac{\mathbf{z}-1}{2}\hfill \\ \hfill & =\frac{{(s+t)}^{r-1}}{2}\left(s^2+st-t^2-s-t+p(s-t)(s+3t)-p^2{(s-t)}^2\right)\hfill \\ \hfill & -\frac{s^2-t^2-1}{2}.\hfill \end{array}$$

Next, consider the case where $2\nmid t$. For a non-negative integer p, by the representation of each element in Equations (11)–(13), we have

$$\begin{array}{cc}\hfill & \sum _{w\in {\mathrm{Ap}}_p\left(A\right)}w\hfill \\ \hfill & =\sum _{l=1}^p\sum _{i=0}^{t-1}\sum _{j=0}^{t-1}(((l-1)t+i){\mathbf{y}}^{\prime }\hfill \\ \hfill & +(s+(p-l)t+j){\mathbf{x}}^{\prime })\hfill \\ \hfill & +\sum _{l=1}^p\sum _{i=0}^{t-1}\sum _{j=0}^{t-1}((s+(p-l+1)t+i){\mathbf{y}}^{\prime }\hfill \\ \hfill & +((l-1)t+j){\mathbf{x}}^{\prime })\hfill \\ \hfill & +\sum _{i=0}^{t-1}\sum _{j=0}^{s-pt-1}\left((pt+i){\mathbf{y}}^{\prime }+(pt+j){\mathbf{x}}^{\prime }\right)\hfill \\ \hfill & +\sum _{i=t}^{s-(p-1)t-1}\sum _{j=0}^{t-1}\left((pt+i){\mathbf{y}}^{\prime }+(pt+j){\mathbf{x}}^{\prime }\right)\hfill \\ \hfill & =st\left(2^{r-2}{s}^r(s+2t-2)-t^{r+1}+p·2^{r-2}{s}^{r-1}(4s-3)t-p^2·2^{r-2}{s}^{r-1}{t}^2\right).\hfill \end{array}$$

By Lemma 1 (2) we have

$$\begin{array}{cc}\hfill & n_p({\mathbf{x}}^{\prime },{\mathbf{y}}^{\prime },{\mathbf{z}}^{\prime })=\frac{1}{{\mathbf{z}}^{\prime }}\sum _{w\in {\mathrm{Ap}}_p\left(A\right)}w-\frac{{\mathbf{z}}^{\prime }-1}{2}\hfill \\ \hfill & =\frac{1}{2}\left(2^{r-2}{s}^r(s+2t-2)-t^{r+1}+p·2^{r-2}{s}^{r-1}(4s-3)t-p^2·2^{r-2}{s}^{r-1}{t}^2\right)\hfill \\ \hfill & -\frac{2st-1}{2}\hfill \\ \hfill & =\frac{1}{2}\left(2^{r-2}{s}^r(s+2t-2)-t^{r+1}-2st+1+p·2^{r-2}{s}^{r-1}(4s-3)t\right.\hfill \\ \hfill & \left.-p^2·2^{r-2}{s}^{r-1}{t}^2\right).\hfill \end{array}$$

Theorem 3.

When $s\not\equiv t\left(\mathrm{mod}2\right)$, for a non-negative integer p with $p\le ⌊t/(s-t)⌋$, we have

$$\begin{array}{cc}\hfill & n_p\left(\frac{{(s+t)}^r+{(s-t)}^r}{2},\frac{{(s+t)}^r-{(s-t)}^r}{2},s^2-t^2\right)\hfill \\ \hfill & =\frac{{(s+t)}^{r-1}}{2}\left(s^2+st-t^2-s-t+p(s-t)(s+3t)-p^2{(s-t)}^2\right)\hfill \\ \hfill & -\frac{s^2-t^2-1}{2}.\hfill \end{array}$$

When $2\nmid t$, for a non-negative integer p with $p\le ⌊(s-t)/t⌋$, we have

$$\begin{array}{cc}\hfill & n_p(2^{r-2}{s}^r+t^r,2^{r-2}{s}^r-t^r,2st)\hfill \\ \hfill & =\frac{1}{2}\left(2^{r-2}{s}^r(s+2t-2)-t^{r+1}-2st+1+p·2^{r-2}{s}^{r-1}(4s-3)t\right.\hfill \\ \hfill & \left.-p^2·2^{r-2}{s}^{r-1}{t}^2\right).\hfill \end{array}$$

6. Examples

When $r=2$ in Theorems 2 and 3, the result appears in [34].

When $r=3$ and $(s,t)=(8,7)$, by applying the first formula of Theorem 2, for $0\le p\le 7=⌊7/(8-7)⌋$ we have

$$\begin{array}{cc}\hfill & g_p(\mathbf{x},\mathbf{y},\mathbf{z})=g_p(25313,25312,15)\hfill \\ \hfill & =0\mathbf{y}+(p+7)\mathbf{x}-\mathbf{z}=25313p+177176.\hfill \end{array}$$

In fact,

$${\left\{g_p(25313,25312,15)\right\}}_{p=0}^7=177176,202489,227802,253115,278428,303741,329054,354367.$$

However, when $p=8$, this formula gives 379680, which does not match the real value 379679. By applying the first formula of Theorem 3, we have for $0\le p\le 7$

$$n_p(25313,25312,15)=\frac{188986+97875p-3375p^2}{2}.$$

In fact,

$${\left\{n_p(25313,25312,15)\right\}}_{p=0}^7=94493,141743,185618,226118,263243,296993,327368,354368.$$

When $r=3$ and $(s,t)=(14,3)$, we can apply the second formula of Theorem 2. For $0\le p\le 3=⌊(14-3)/3⌋$ we have

$$\begin{array}{cc}\hfill & g_p({\mathbf{x}}^{\prime },{\mathbf{y}}^{\prime },{\mathbf{z}}^{\prime })=g_p(5515,5461,84)\hfill \\ \hfill & =16{\mathbf{y}}^{\prime }+(3p+2){\mathbf{x}}^{\prime }-{\mathbf{z}}^{\prime }=16545p+98322.\hfill \end{array}$$

In fact,

$${\left\{g_p(5515,5461,84)\right\}}_{p=0}^3=98322,114867,131412,147957.$$

By applying the second formula of Theorem 3, we have for $0\le p\le 3$

$$n_p(5515,5461,84)=\frac{98620+64680p-3528p^2}{2}.$$

In fact,

$${\left\{n_p(5515,5461,84)\right\}}_{p=0}^3=49310,79886,106934,130454.$$

7. Final Comments

In the case of two variables, there are general explicit formulas for the Frobenius and Sylvester numbers. Even if the classic $p=0$ is such a situation, the case when $p>0$ is even more difficult. In this paper, we succeeded in providing closed explicit formulas with a smaller non-negative integer p. If the value of p becomes larger, as is shown in the tables, the regularity is broken, so these numbers can only be found in separate arguments. It is clear that it is very difficult to give a general closed explicit formula for all non-negative integers p. For more than three variables, general closed explicit formulas for all non-negative integers p have not yet been discovered in any particular case.

Diophantine equations of the type $x^2+y^2=z^r$ ($r\ge 2$) seem to be more popular. Their solutions can also be parameterized. However, the situation becomes much more complicated, and much more detailed discussion is needed. In addition, if the value r is different, the situation of the Apéry set is different, so we cannot discuss the general r.

8. Conclusions

Pythagorean triples are positive integer solutions to the most fundamental equations among the many Diophantine equations and have been studied by many researchers for a very long time.

On the other hand, the linear Diophantine problem of Frobenius is a very familiar problem that is also encountered in topics in everyday life. This paper becomes very meaningful in that it combines such familiar topics. Since there are a huge number of Diophantine equations, it is hoped that by applying the method in this paper, it will be possible to connect even more Diophantine equations and the linear Diophantine problem of Frobenius in the future.