Short sums of certain arithmetic functions
type: Item
instance of: scholarly article
title: Short sums of certain arithmetic functions
zbMATH Open document ID: 0917.11048
DOI: 10.1007/BF02392880
author: M. Nair
author: Gérald Tenenbaum
published in: Acta Mathematica
publication date: 1999-08-02T00:00:00Z
review text: In [J. Reine Angew. Math. 313, 161-170 (1980; Zbl 0412.10030)] \textit{P. Shiu} obtained a uniform upper bound for the sum over an arithmetic progression in a short interval of a multiplicative function in a certain class, and this result was later generalized by M. Nair. The object of the present paper is to establish a substantial generalization of these results, which has wide applications and leads to new estimates. For a fixed positive integer \(k\), let \(M_k(A,B,\varepsilon)\) denote the class of non-negative arithmetic functions \(F(n_1,\dots,n_k)\) such that \(F(m_1n_1,\dots, m_kn_k)\leq\min (A^{\Omega(m)}, Bm^\varepsilon)F(n_1,\dots,n_k)\) for all \(k\)-tuples \((m_1, \dots, m_k)\), \((n_1, \dots, n_k)\) with \((m_j,n_j)=1\) for \(1\leq j\leq k\), where \(m=m_1\dots m_k\). This covers a wide class of functions, which need not even be sub-multiplicative; for example, Hooley's \(\Delta\)-function belongs to \(M_1(2,B, \varepsilon)\) for any \(\varepsilon>0\) and some \(B=B(\varepsilon)\). Suppose that \(Q_j\in\mathbb{Z}[X]\) for \(1\leq j\leq k\), where \(Q=Q_1\dots Q_k\) has no fixed prime divisor. The authors establish an upper bound for \(\sum_{x<n\leq x+y}F(| Q_1(n) |,\dots,| Q_k(n)|)\) that is uniform for \(x^\alpha\leq y\leq x\) and \(x\) sufficiently large, where \(F\in M_k(A,B,\varepsilon)\) for any \(A\geq 1\), \(B\geq 1\) and sufficiently small \(\varepsilon>0\), and where \(\alpha=\alpha(\varepsilon)\) is of a specified form. In theorem 3, they consider the analogous problem when \(Q(0) \neq 0\) and \(n\) is restricted to prime values. When \(Q\in \mathbb{Z}[X]\) is irreducible, theorem 2 provides a lower bound for the largest prime factor of \(\prod_{x<n\leq x+y}Q(n)\), where \(y=x^\beta\) for \(\beta\leq 1\) of a given form. A number of useful and illuminative corollaries are given, and we pick out two striking special cases featuring well known functions. Write \(L(z)=\exp (\sqrt {\log z\log_2z})\), and let \(0<\varepsilon<1\). Corollaries 5 an…
Mathematics Subject Classification ID: 11N37
Mathematics Subject Classification ID: 11N56
Mathematics Subject Classification ID: 11N64
zbMATH DE Number: 1172070
zbMATH Keywords: sums over short intervals
zbMATH Keywords: arithmetic functions of polynomial values
zbMATH Keywords: Hooley's \(\Delta\)-function
zbMATH Keywords: largest prime factor
reviewed by: Eira J. Scourfield
MaRDI profile type: Publication
cites work: On a New Technique and Its Applications to the Theory of Numbers
cites work: INTEGERS FREE OF LARGE PRIME DIVISORS IN SHORT INTERVALS
cites work: Multiplicative functions of polynomial values in short intervals
cites work: A Brun-Titschmarsh theorem for multiplicative functions.
cites work: Sur une question d'Erdős et Schinzel. II. (On a question of Erdős and Schinzel. II)
description: scientific article; zbMATH DE number 1172070