Abstract:A linear Diophantine equation $\sum_{i=1}^{n}a_ix_i=b$ is considered, where $a_1,a_2,...,a_n$ are coprime natural numbers, $b$ is an non-negative integer, $x_i$ $(i=1,2,...,n)$ are non-negative integers. It is proved that if $\left[\frac{b}{M}\right]\geq \left[n-\frac{\sum_{i=1}^{n}a_i+r}{M}\right]$, then this equation is solvable (here $M$ is the least common multiple of the numbers $a_1,a_2,...,a_n$; $r$ is the remainder of $b$ modulo $M$). With the aid of this result, it is shown that the considered equation is solvable if either $b\geq nM-\sum_{i=1}^{n}a_i$ or $b\geq (n-1)M$. The case where $\sum_{i=1}^{n}a_i\geq (n-2)M+2$ is considered closer. It is proved that, in that case, the equation is solvable if $b>(n-1)M-\sum_{i=1}^{n}a_i$. If, in addition, $r>(n-1)M-\sum_{i=1}^{n}a_i$, then it has $\frac{M^{n-1}}{a_1a_2...a_n}C^{n-1}_{b'+n-1}$ integer non-negative solutions; it is also shown that if $b\geq M$ and $r\leq (n-1)M-\sum_{i=1}^{n}a_i$, then the number of solutions of the equation is greater than or equal to $\frac{M^{n-1}}{a_1a_2...a_n}C^{n-1}_{b'+n-2}$; here $b'=\left[\frac{b}{M}\right]$ (and $C^{k}_{m}$ denotes the binomial coefficient ${\begin{pmatrix}m\\k\\\end{pmatrix}}$). Moreover, it is proved that if the numbers $a_1,a_2,...,a_n$ are coprime, then $Frob(a_1,a_2,...,a_n)\leq c$, where $c$ is the smallest among the numbers $a_ia_j-a_i-a_j$ with $(a_i,a_j)=1$ ($1\leq i< j\leq n$).
What problem does this paper attempt to address?
This paper attempts to solve the problems of the solvability of linear Diophantine equations and the Frobenius number. Specifically, the main research problems can be summarized as follows:
1. **Solvability conditions of linear Diophantine equations**:
- The paper considers linear Diophantine equations of the form \(\sum_{i = 1}^{n}a_{i}x_{i}=b\), where \(a_{1},a_{2},\ldots,a_{n}\) are relatively prime natural numbers, \(b\) is a non - negative integer, and \(x_{i}\) (\(i = 1,2,\ldots,n\)) are non - negative integers.
- The author proves that if the inequality \(\left\lfloor\frac{b}{M}\right\rfloor\geqslant\left\lfloor\frac{n-\sum_{i = 1}^{n}a_{i}+r}{M}\right\rfloor\) (where \(M\) is the least common multiple of \(a_{1},a_{2},\ldots,a_{n}\) and \(r\) is the remainder of \(b\) modulo \(M\)) is satisfied, then the equation is solvable.
2. **Specific solvability conditions**:
- If \(b\geqslant nM-\sum_{i = 1}^{n}a_{i}\) or \(b\geqslant(n - 1)M\), then the equation is solvable.
- For the special case \(\sum_{i = 1}^{n}a_{i}\geqslant(n - 2)M+2\), if \(b>(n - 1)M-\sum_{i = 1}^{n}a_{i}\), then the equation is also solvable.
3. **Upper bound estimation of the Frobenius number**:
- If \(a_{1},a_{2},\ldots,a_{n}\) are relatively prime, then the Frobenius number \(Frob(a_{1},a_{2},\ldots,a_{n})\) does not exceed \(c\), where \(c\) is the minimum of all expressions of the form \(a_{i}a_{j}-a_{i}-a_{j}\) (and \((a_{i},a_{j}) = 1\)).
Through these results, the paper not only provides sufficient conditions for the solvability of linear Diophantine equations, but also effectively estimates the Frobenius number, which is of great significance for understanding and solving problems related to integer partition, combinatorial mathematics and other fields.