On the distribution of Dirichlet sums
type: Item
instance of: scholarly article
title: On the distribution of Dirichlet sums
zbMATH Open document ID: 0793.11020
DOI: 10.1007/BF03341964
published in: Journal d'Analyse Mathématique
publication date: 1994-08-28T00:00:00Z
review text: Assuming \(| t_ r|\leq T\), \(| t_ r-t_ s|\geq 1\) and \(N<T<N^ 2\), \(R,N\in\mathbb{N}\), \(a_ n\in\mathbb{C}\) the author defines functions \(\alpha(N)\), \(\beta(N)\) such that \[ \sum_{r=1}^ R \Biggl| \sum_{n=1}^ N a_ n n^{it_ r} \Biggr|^ 2\leq (\alpha(N)\cdot N+ \beta(N)\cdot R)\cdot N\cdot \max_{n\leq N} | a_ n|^ 2. \tag{1} \] Then he shows that for each \(0<\rho<1\), there is an \(\varepsilon(\rho)>0\) such that (1) may only be valid if either \(\alpha(N)> \exp(\log N)^ \rho\) or \(\beta(N)> N^{\varepsilon(\rho)}\). At least in case of \(\chi_ r=1\) this statement disproves some well- known conjectures about the distribution of Dirichlet sums, esp. \[ \sum_{r=1}^ R \Biggl| \sum_{n=1}^ N a_ n n^{-{1\over 2}+it_ r} \chi_ r(n)\Biggr|^ 2\leq (N+RD^ \varepsilon)\cdot \max_{n\leq N} | a_ n|^ 2, \] where \(\chi_ r\) is a primitive Dirichlet character with a modulus \(q_ r\leq Q\), \(r=1,\dots,R\) and \(D:= {{Q^ 2T} \over {q_ 0}}, q_ 0\mid q_ r\). So the natural reformulation is the conjecture \[ \sum_{r=1}^ R \Biggl| \sum_{n=1}^ N a_ n n^{it_ r} \Biggr|^ 2\leq N^{1+\varepsilon} (N+R)\cdot \max_{n\leq N} | a_ n|^ 2, \] letting both \(\alpha(N), \beta(N)= N^ \varepsilon\). Rather unexpected this inequality has implications on the Hausdorff dimension of Besicovitch sets in higher dimensions.
reviewed by: Helmut Müller
Mathematics Subject Classification ID: 11L40
zbMATH DE Number: 528685
zbMATH Keywords: Dirichlet polynomials
zbMATH Keywords: distribution of Dirichlet character sums
zbMATH Keywords: Hausdorff dimension of Besicovitch sets
author: Jean Bourgain
MaRDI profile type: Publication
cites work: Q4037246
cites work: A Large Values Estimate for Dirichlet Polynomials
cites work: Topics in multiplicative number theory
cites work: Q3714302
cites work: Besicovitch type maximal operators and applications to Fourier analysis
cites work: \(L^ p\)-estimates for oscillatory integrals in several variables
cites work: On limits of sequences of operators
description: scientific article; zbMATH DE number 528685