BZPEER

preprint2020arXiv

Multiplicative Ramanujan coefficients of null-function

The null-function $0(a):=0$ , $\forall a\in$ N, has Ramanujan expansions: $0(a)=\sum_{q=1}^{\infty}(1/q)c_q(a)$ (where $c_q(a):=$ Ramanujan sum), given by Ramanujan, and $0(a)=\sum_{q=1}^{\infty}(1/φ(q))c_q(a)$ , given by Hardy ( $φ:=$ Euler's totient function). Both converge pointwise (not absolutely) in N. A $G:$ N $\rightarrow$ C is called a Ramanujan coefficient, abbrev. R.c., iff (if and only if) $\sum_{q=1}^{\infty}G(q)c_q(a)$ converges in all $a\in$ N; given $F:$ N $\rightarrow$ C, we call $<F>$ , the set of its R.c.s, the Ramanujan cloud of $F$ . Our Main Theorem in arxiv:1910.14640, for Ramanujan expansions and finite Euler products, implies a complete Classification for multiplicative Ramanujan coefficients of $0$ . Ramanujan's $G_R(q):=1/q$ is a normal arithmetic function $G$ , i.e., multiplicative with $G(p)\neq 1$ on all primes $p$ ; while Hardy's $G_H(q):=1/φ(q)$ is a sporadic $G$ , namely multiplicative, $G(p)=1$ for a finite set of $p$ , but there's no $p$ with $G(p^K)=1$ on all integers $K\ge 0$ (Hardy's has $G_H(p)=1$ iff $p=2$ ). The $G:$ N $\rightarrow$ C multiplicative, such that there's at least a prime $p$ with $G(p^K)=1$ , on all $K\ge 0$ , are defined to be exotic. This definition completes the cases for multiplicative $0-$ Ramanujan coefficients. The exotic ones are a kind of new phenomenon in the $0-$ cloud (i.e., $<0>$ ): exotic Ramanujan coefficients represent $0$ only with a convergence hypothesis. The not exotic, apart from the convergence hypothesis, require in addition $\sum_{q=1}^{\infty}G(q)μ(q)=0$ for normal $G\in <0>$ , while sporadic $G\in <0>$ need $\sum_{(q,P(G))=1}G(q)μ(q)=0$ , $P(G):=$ product of all $p$ making $G(p)=1$ . We give many examples of R.c.s $G\in <0>$ ; we also prove that the only $G\in <0>$ with absolute convergence are the exotic ones; actually, these generalize to the weakly exotic, not necessarily multiplicative.

preprint2016arXiv

Averages of short correlations: a note

We give a completely elementary study for averages of short correlations of so-called sieve functions (a pretty general class of arithmetic functions).

preprint2016arXiv

Sieve functions in arithmetic bands

An arithmetic function $f$ is called a {\it sieve function of range} $Q$ , if its Eratosthenes transform $g=f\astμ$ is supported in $[1,Q]\cap\N$ , where $g(q)\ll_{\varepsilon} q^{\varepsilon}$ ( $\forall\varepsilon>0$ ). Here, we study the distribution of $f$ over short {\it arithmetic bands} $\cup_{1\le a\le H}\{n\in(N,2N]: n\equiv a\, (\bmod\,q)\}$ , with $H=o(N)$ , and give applications to both the correlations and to the so-called weighted Selberg integrals of $f$ , on which we have concentrated our recent research.

preprint2015arXiv

On the Correlations, Selberg Integral and Symmetry of Sieve Functions in Short Intervals, III

An arithmetic function $f$ is called a sieve function of range $Q$ , if it is the convolution product of the constantly $1$ function and $g$ such that $g(q)\ll_{\varepsilon} q^{\varepsilon}$ , $\forall\varepsilon>0$ , for $q\leq Q$ , and $g(q)=0$ for $q>Q$ . Here we establish a new result on the autocorrelation of $f$ by using a famous theorem on bilinear forms of Kloosterman fractions by Duke, Friedlander and Iwaniec. In particular, for such correlations we obtain non-trivial asymptotic formulæ that are actually unreachable by the standard approach of the distribution of $f$ in the arithmetic progressions. Moreover, we apply our asymptotic formulæ to obtain new bounds for the so-called Selberg integral and symmetry integral of $f$ , which are basic tools for the study of the distribution of $f$ in short intervals.

preprint2015arXiv

On the error term in a Parseval type formula in the theory of Ramanujan expansions II

For two arithmetical functions $f$ and $g$ with absolutely convergent Ramanujan expansions, Murty and Saha have recently derived asymptotic formulas with error term for the convolution sum $\sum_{n \le N} f(n) g(n+h)$ under some suitable conditions (see http://arxiv.org/abs/1506.01945). In this follow up article we improve these results with a weakened hypothesis which is in some sense minimal.

preprint2015arXiv

Some optimal links between generations of correlation averages

For a real-valued and essentially bounded arithmetic function $f$ , i.e., $f(n)\ll_{\varepsilon}\!n^{\varepsilon},\,\forall\varepsilon\!>\!0$ , we \enspace give some optimal links between non-trivial bounds for the sums $\sum_{h\le H}\sum_{N<n\le 2N}f(n)f(n-h)$ , $\sum_{N<x\le 2N} \big| \sum_{x<n\le x+H}f(n)\big|^2$ and $\sum_{N<n\le 2N} \big| \sum_{0\le |n-x|\le H}\big(1-{|n-x|\over H}\big)f(n)\big|^2$ , with $H=o(N)$ as $N\to\infty$ .

preprint2014arXiv

A generalization of Gallagher's lemma for exponential sums

First we generalize a famous lemma of Gallagher on the mean square estimate for exponential sums by plugging a weight in the right hand side of Gallagher's original inequality. Then we apply it in the special case of the Cesaro weight, in order to establish some results mainly concerning the classical Dirichlet polynomials and the Selberg integrals of an arithmetic function $f$ , that are tools for studying the distribution of $f$ in short intervals. Furthermore, we describe the smoothing process via self-convolutions of a weight, that is involved into our Gallagher type inequalities, and compare it with the analogous process via the so-called correlations. Finally, we discuss a comparison argument in view of refinements on the Gallagher weighted inequalities according to different instances of the weight.

preprint2012arXiv

A modified Gallagher's Lemma

First we prove a modified version of the famous Lemma on the mean square estimate for exponential sums, by plugging the Cesaro weights in the right hand side of Gallagher's inequality. Then we apply it, in order to establish a mean value estimate for the Dirichlet polynomials.

preprint2012arXiv

Generations of correlation averages

The present paper is a dissertation on the possible consequences of a conjectural bound for the so-called \thinspace modified Selberg integral of the divisor function $d_3$ , i.e. a discrete version of the classical Selberg integral, where $d_3(n)=\sum_{abc=n}1$ is attached to the Cesaro weight $1-|n-x|/H$ in the short interval $|n-x|\le H$ . Mainly, an immediate consequence is a non-trivial bound for the Selberg integral of $d_3$ , improving recent results of Ivić based on the standard approach through the moments of the Riemann zeta function on the critical line. We proceed instead with elementary arguments, by first applying the "elementary Dispersion Method" in order to establish a link between "weighted Selberg integrals" \thinspace of any arithmetic function $f$ and averages of correlations of $f$ in short intervals. Moreover, we provide a conditional generalization of our results to the analogous problem on the divisor function $d_k$ for any $k\ge 3$ . Further, some remarkable consequences on the $2k-$ th moments of the Riemann zeta function are discussed. Finally, we also discuss the essential properties that a general function $f$ should satisfy so that the estimation of its Selberg integrals could be approachable by our method.

preprint2012arXiv

On the modified Selberg integral of the three-divisor function $d_3$

We prove a non-trivial result for the,say,modified Selberg integral $\modSel_3(N,h)$, of the divisor function $d_3(n):= \sum_{a}\sum_{b}\sum_{c, abc=n}1$ ; this integral is a slight modification of the corresponding Selberg integral, that gives the expected value of the function in short intervals. We get, in fact, $\modSel_3(N,h)\ll Nh^2L^2$, where $L:=\log N$ ; furthermore, as a byproduct, we obtain indications on the way in which it may be proved the weak sixth moment of the Riemann zeta function.(This was OLD abstract)

preprint2012arXiv

On the Selberg integral of the three-divisor function $d_3$

We give a new non-trivial upper bound for the Selberg integral of the three-divisor function $d_3(n)$ . Our method applies our recent conjecture together with Laporta, for the modified Selberg integral of $d_3(n)$ , and a kind of modified Gallagher Lemma for the exponential sums.

preprint2011arXiv

On the symmetry of primes

We prove a kind of "almost all symmetry" result for the primes, i.e. we give non-trivial bounds for the "symmetry integral", say $I_Λ(N,h)$ , of the von Mangoldt function $Λ(n)$ ( $:= \log p$ for prime-powers $n=p^r$ , 0 otherwise). We get $I_Λ(N,h)\ll NhL^5+Nh^{21/20}L^2$ , with $L:=\log N$ ; as a Corollary, we bound non-trivially the Selberg integral of the primes, i.e. the mean-square of $\sum_{x<n\le x+h}Λ(n)-h$ , over $x\in [N,2N]$ , to get the "Prime Number Theorem in almost all short intervals" of (log-powers!) length $h\ge L^{11/2+ε}$ . We trust here in the improvement of the exponent, say $c<11/2$ .

preprint2011arXiv

On the symmetry of the Liouville function in almost all short intervals

We prove a kind of "almost all symmetry" result for the Liouville function $λ(n):=(-1)^{Ω(n)}$ , giving non-trivial bounds for its "symmetry integral", say $I_λ(N,h)$ : we get $I_λ(N,h)\ll NhL^3+Nh^{21/20}$ , with $L:=\log N$ . We also give similar results for other related arithmetic functions, like the Möbius function $μ(n)$ ( $=λ(n)$ on square-free $n$ ).

preprint2010arXiv

On some lower bounds of some symmetry integrals

We study the \lq \lq symmetry integral\rq \rq, \thinspace say $I_f$ , of some arithmetic functions $f:\N \rightarrow \R$ ; we obtain from lower bounds of $I_f$ (for a large class of arithmetic functions $f$ ) lower bounds for the \lq \lq Selberg integral\rq \rq \thinspace of $f$ , say $J_f$ (both these integrals give informations about $f$ in almost all the short intervals $[x-h,x+h]$ , when $N\le x\le 2N$ ). In particular, when \thinspace $f=d_k$ , the divisor function (having Dirichlet series \thinspace $ζ^k$ , with \thinspace $ζ$ \thinspace the Riemann zeta function), where $k\ge 3$ is integer, we give lower bounds for the Selberg integrals, say \thinspace $J_k=J_{d_k}$ , of the \thinspace $d_k$ . We apply elementary methods (Cauchy inequality to get Large Sieve type bounds) in order to give $I_f$ lower bounds.

preprint2010arXiv

On the Symmetry Integral

We give a level one result for the "symmetry integral", say $I_f(N,h)$ , of essentially bounded $f:\N \to \R$ ; i.e., we get a kind of "square-root cancellation" \thinspace bound for the mean-square (in $N<x\le 2N$ ) of the "symmetry" \thinspace of, say, the arithmetic function $f:=g\ast \1$, where $g:\N \to \R$ is such that $\forall ε>0$ we have $g(n)\ll_ε n^ε$ , and supported in $[1,Q]$ , with $Q\ll N$ (so, the exponent of $Q$ relative to $N$ , say the level $λ:=(\log Q)/(\log N)$ is $λ< 1$ ), where the symmetry sum weights the $f-$ values in (almost all, i.e. all but $o(N)$ possible exceptions) the short intervals $[x-h,x+h]$ (with positive/negative sign at the right/left of $x$ ), with mild restrictions on $h$ (say, $h\to \infty$ and $h=o(\sqrt N)$ , as $N\to \infty$ ).

preprint2009arXiv

On the Selberg integral of the $k-$ divisor function and the $2k-$ th moment of the Riemann zeta function

We deeply appreciate the papers of Ivić on the links between the $2k-$ th moments of the Riemann zeta function and, say, $d_k$ , the $k-$ divisor function. More specifically, both the one bounding the $2k-$ th moment with a simple average of correlations of the $d_k$ (Palanga 1996 Conference Proceedings) and the more recent (arXiv:0708.1601v2 to appear on JTNB), which bounds the Selberg integral of $d_k$ applying the $2k-$ th moment of the zeta. Building on the former paper, we apply an elementary approach (based on arithmetic averages) in order to get information on the reverse link to the second work.

preprint2007arXiv

On the Correlations, Selberg Integral and Symmetry of Sieve Functions in Short Intervals

We study the arithmetic (real) function f=g*1, with g "essentially bounded" and supported over the integers of [1,Q]. In particular, we obtain non-trivial bounds, through f "correlations", for the "Selberg integral" and the "symmetry integral" of f in almost all short intervals [x-h,x+h], N<x<2N, beyond the "classical" level, up to level of distribution, say, lambda=log Q/log N < 2/3 (for enough large h). This time we don't apply Large Sieve inequality, as in our paper [C-S]. Precisely, our method is completely elementary.

Giovanni Coppola

Research overview

Is this your work?

17 publications

Multiplicative Ramanujan coefficients of null-function

Averages of short correlations: a note

Sieve functions in arithmetic bands

On the Correlations, Selberg Integral and Symmetry of Sieve Functions in Short Intervals, III

On the error term in a Parseval type formula in the theory of Ramanujan expansions II

Some optimal links between generations of correlation averages

A generalization of Gallagher's lemma for exponential sums

A modified Gallagher's Lemma

Generations of correlation averages

On the modified Selberg integral of the three-divisor function $d_3$

On the Selberg integral of the three-divisor function $d_3$

On the symmetry of primes

On the symmetry of the Liouville function in almost all short intervals

On some lower bounds of some symmetry integrals

On the Symmetry Integral

On the Selberg integral of the $k-$ divisor function and the $2k-$ th moment of the Riemann zeta function

On the Correlations, Selberg Integral and Symmetry of Sieve Functions in Short Intervals

See the researcher in context

Building this map preview

Giovanni Coppola

Research overview

Is this your work?

17 publications

Multiplicative Ramanujan coefficients of null-function

Averages of short correlations: a note

Sieve functions in arithmetic bands

On the Correlations, Selberg Integral and Symmetry of Sieve Functions in Short Intervals, III

On the error term in a Parseval type formula in the theory of Ramanujan expansions II

Some optimal links between generations of correlation averages

A generalization of Gallagher's lemma for exponential sums

A modified Gallagher's Lemma

Generations of correlation averages

On the modified Selberg integral of the three-divisor function d3d_3d3​

On the Selberg integral of the three-divisor function d3d_3d3​

On the symmetry of primes

On the symmetry of the Liouville function in almost all short intervals

On some lower bounds of some symmetry integrals

On the Symmetry Integral

On the Selberg integral of the k−k-k−divisor function and the 2k−2k-2k−th moment of the Riemann zeta function

On the Correlations, Selberg Integral and Symmetry of Sieve Functions in Short Intervals

See the researcher in context

Building this map preview

On the modified Selberg integral of the three-divisor function $d_3$

On the Selberg integral of the three-divisor function $d_3$

On the Selberg integral of the $k-$ divisor function and the $2k-$ th moment of the Riemann zeta function