On the representations of a number as the sum of two products. I, II. (Q1829635)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the representations of a number as the sum of two products. I, II.
scientific article

    Statements

    On the representations of a number as the sum of two products. I, II. (English)
    0 references
    1930
    0 references
    Es bedeute \(\nu_2 (n)\) bei positivem ganzem \(n\) die Anzahl der Lösungen von \[ xy + zu = n \] in positiven ganzen \(x, y, z\) und \(u\). Es sei ferner \[ \begin{aligned} &\sigma^{(j)}_{-1}(n) = \sum_{d|n}d^{-1} \log^jd \quad (j = 0, \ldots 2 - r),\\ &\sigma_{-\frac34}(n)=\sum_{d|n}d^{-\frac34}, \end{aligned} \] wobei \(0^0= 1\) zu setzen ist, \(\gamma \) die Eulersche Konstante, und \[ a_{r,j}=\dfrac{(-2)^j}{r!j!}\sum \dfrac{2}{l!h!q!}\gamma^l2^hb_ha_q \] mit ganzen \(j\) zwischen 0 und \(2 -r\), wo über alle der Bedingung \[ l + h + q = 2 - r -j \] genügenden, nicht negativen, ganzen Zahlen \(l, h, q\) zu summieren ist und \(a_q\) den Wert der \(q\)-ten Ableitung von \(\dfrac{1}{\varGamma (s)}\) und \(b_h\) den Wert der \(h\)-ten Ableitung von \(\dfrac{1}{\zeta(s)}\), genommen an der Stelle \(s = 2\), bezeichnet, derart, daß für \(q = 0\) bzw. \(h = 0\) die Funktionen selbst anzusetzen sind. Verf. beweist im Anschluß an die Kloostermanschen Untersuchungen mittelst der Hardy-Littlewoodschen Methode und insbesondere im Anschluß an eine eigene Arbeit [Proc. Lond. Math. Soc. (2) 29, 453--478 (1929; JFM 55.0107.03)] die Formel: \[ \nu_2(n)=n\sum_{r=0}^2\log^rn\sum_{j=0}^{2-r}a_{r,j}\sigma _{-1}^{(j)}(n)+O (n^{\frac78}\cdot \log ^{\frac{23}{4}}n\cdot \sigma_{-\frac34}(n)). \] Beim Beweis spielt neben der Mellinschen Integralformel und den Ramanujanschen trigonometrischen Summen insbesondere das Studium der Funktion \[ \zeta (s; a, k) = \sum m^{-s}, \] in der die Summe über alle modulo \(k\) zu \(a\) kongruenten Zahlen \(m\) zu erstrecken ist, eine Rolle. In der zweiten Arbeit beweist Verf. auf elementarem Wege, daß mit \[ A (n) = n \sum_{r=0}^2 \log ^r n \sum_{j=0}^{2-r}a_{r,j}\,\sigma^{(j)}_{-1}(n) \] die Abschätzung \[ \nu_2(n) = A(n)+O(n) \] und sogar \[ \nu_2(n)= A(n) + O(n^{\frac11\!\frac12+\varepsilon}) \] bei jedem positiven \(\varepsilon\) gilt. Der Grundgedanke des Beweises besteht darin, \(\nu_2(n)\) in Verbindung zu bringen mit der über die positiven ganzen Lösungen \(x, z\) von \[ (x, z) | n, \;\;x^2 + z^2 \leqq n \] erstreckten \[ \sum (x, z) x^{-1} z^{-1} (n - x^2 - z^2). \]
    0 references
    0 references

    Identifiers