Sur la représentation simultanée de \(n\) nombres par des sommes des puissances complètes. (Q2604496)

Es seien \(s, n\) ganz, \(n > 1\); für natürliche \(N_1, \dots, N_n\) sei \(J_s (N_1, \dots, N_n)\) die Anzahl der Lösungen der Gleichungen \[ x_1^k + \cdots x_s^k = N_k \qquad (k = 1, \dots, n) \tag{1} \] in ganzen \(x_j \geqq 0\). Weiter sei \(R_k\) die Determinante, die aus \[ R= \begin{vmatrix} n^n & (n-1)^n & \cdots & 1^n \\ \hdotsfor {4} \\ n^1 & (n-1)^1 & \cdots & 1^1 \end{vmatrix} \] entsteht, wenn man dort die \(k\)-te Spalte durch \(N_n, \dots, N_1\) ersetzt. \(I_k > 1\), \ \(0 < i_k < 1\) sind gewisse nur von \(n\) abhängige Zahlen. \(c_1, c_2, \dots\) seien geeignet gewählte positive Zahlen, die nur von \(n, s\) abhängen. Verf. beweist (mit Hilfe der analytischen Methoden von \textit{Hardy-Littlewood} und \textit{Vinogradov}): I. Ist \[ s\geqq 2^{2n}\cdot n! (n+1)^3 \tag{2} \] und \[ I_k \leqq h_k \leqq i_k s^{1 - \tfrac kn} \qquad \left(h_k = N_k N_n^{-\tfrac kn}; \qquad k = 1, \dots n-1 \right), \tag{3} \] so ist \[ J_s (N_1, \dots, N_n) = B_s (h_1, \dots, h_{n-1}) N_n^{\tfrac sn - \tfrac {n+1}2} \left( \mathfrak S_s (N_1, \dots . N_n) + O\left( N_n^{-\tfrac 1{4n^2}} \right) \right), \tag{4} \] wo \(c_1 < B_s (h_1, \dots, h_{n-1}) < c_2\) und wo \(\mathfrak S\) eine gewisse ``singuläre Reihe'' bedeutet. II. Ist \[ s \geqq n^4 \cdot 2^{n^2 - n - 2} \tag{5} \] und gilt (3) und \[ R_k \equiv 0 \pmod {R} \qquad (k = 1,\dots, n) \tag{6} \] so ist \(\mathfrak S_s (N_1, \dots, N_s) > c_3\); gilt gleichzeitig (2), so ist also nach (4) \(J_s (N_1,\dots, N_n) > 0\) für \(N_n > c_4\). Man beachte, daß die Bedingungen (6) und \(1 \leqq h_k \leqq s^{1- \tfrac kn}\) für die Lösbarkeit von (1) in ganzen \(x_j \geqq 0\) notwendig sind. Zu dem vom Verf. behandelten Problem vgl. auch \textit{E. Kamke}, Verallgemeinerung des Waring-Hilbertschen Satzes, Math. Ann. 83 (1921), 85-112 ; F. d. M. 48, 142 (JFM 48.0142.*).