Skip to main content

All Questions

Filter by
Sorted by
Tagged with
49 votes
2 answers
11k views

Is this Riemann zeta function product equal to the Fourier transform of the von Mangoldt function?

Mathematica knows that: $$\log(n) = \lim\limits_{s \rightarrow 1} \zeta(s)\left(1 - \frac{1}{n^{(s - 1)}}\right)\;\;\;\;\;\;\;\;\;\;\;\; (1)$$ The von Mangoldt function should then be: $$\Lambda(n)=...
14 votes
4 answers
3k views

Does Weyl's Inequality prove equidistribution?

Let $f(n) = \theta n^d + a_{d-1} n^{d-1} + \cdots a_1 n + a_0$ be a polynomial with real coefficients, and $\theta$ irrational. Let $S_N = \sum_{n=1}^N e^{2 \pi i f(n)}$. Weyl's Equidistribution ...
David E Speyer's user avatar
9 votes
1 answer
475 views

Error term in Davenport's sum $\sum_{n \leq x } \mu(n) \exp(2 \pi i \alpha n ) $

Reference request: Davenport proved that for every fixed $N>1 $ one has $$ \sup_{\alpha \in \mathbb R } \left | \sum_{1\leq n \leq x } \mu(n) \exp(2 \pi i \alpha n )\right | = O_N\left( \frac{x}{(\...
Dr. Pi's user avatar
  • 3,062
42 votes
7 answers
5k views

How should an analytic number theorist look at Bessel functions?

(And a related question: Where should an analytic number theorist learn about Bessel functions?) Bessel functions occur quite frequently in analytic number theory. One example, Corollary 4.7 of ...
Frank Thorne's user avatar
  • 7,337
34 votes
7 answers
8k views

Explicit formula for Riemann zeros counting function

I've often seen it stated (in vague terms) that there's a Fourier duality between the set of prime numbers and the set of nontrivial Riemann zeta zeros. Because there are various explicit formulae ...
user19727's user avatar
  • 371
12 votes
2 answers
1k views

Fourier transform of the critical line of zeta?

This was asked on MSE and got a lot of upvotes but no answers, so I'm posting it here. Is there a known expression for the (distributional) Fourier transform of the Riemann zeta function, taken along ...
Mike Battaglia's user avatar
9 votes
0 answers
321 views

Best smoothing for the Prime Number Theorem?

There are plenty of proofs of the Prime Number Theorem with explicit error terms - it actually looks like a rather competitive field (see Remark 1.4 in https://arxiv.org/pdf/2204.02588.pdf). Several ...
H A Helfgott's user avatar
  • 20.2k
5 votes
2 answers
484 views

Optimizing a smoothing function with the Prime Number Theorem in mind

Let $f:[0,\infty)\to \mathbb{R}$ be a function with $f(x)=1$ for $0\leq x\leq 1$. Write $Mf$ for the Mellin transform of $f$. Let $c>0$, $T>10^6$ be constants. We are interested in minimizing ...
H A Helfgott's user avatar
  • 20.2k
9 votes
2 answers
482 views

Distribution $f$ such that (a) $\widehat{f}$ has compact support, (b) $\mathbb{E}(|X|)$ is minimal?

(What follows is motivated by an answer to Fourier optimization problem related to the Prime Number Theorem) Let $f:\mathbb{R}\to [0,\infty)$ be such that (a) $\int_{\mathbb{R}} f(x) dx = 1$, (b) $\...
H A Helfgott's user avatar
  • 20.2k
8 votes
2 answers
1k views

Lower bound on exponential sums

Let $k\geq 2$. Consider the following norm of exponenetial sum: $$ I(N,p,k)=\int_0^1\int_0^1 \left|\sum_{n=0}^N e^{2\pi i (n x+n^k y)}\right|^p dxdy. $$ Bourgain mentioned on Page 118 of https://...
Thomas Yang's user avatar
6 votes
0 answers
214 views

Divisor bound for $r_2$ off the origin

If $r_2(n)$ denotes the number of integer solutions to $a^2+b^2=n$, we have the "divisor bound" $r_2(n) = O(n^{\epsilon})$ for any $\epsilon>0$. Another way to state this is that the number of ...
Rodrigo's user avatar
  • 1,235
6 votes
1 answer
679 views

Fourier optimization problem related to the Prime Number Theorem

Let $\kappa>0$ be given. What is the function $f:\mathbb{R}\to [0,\infty)$ with $\int_\mathbb{R} f(x) dx = 1$ such that $$\int_\mathbb{R} |x| f(x) dx + \kappa \int_{|t|\geq T}\left| \frac{\widehat{...
H A Helfgott's user avatar
  • 20.2k
5 votes
0 answers
326 views

Can we extend the twisted Poisson Summation formula with functions having a singularity in zero?

The following "twisted" Poisson Summation formula for $\chi$ primitive of conductor $q$ : $$ \sum_{n\in\mathbb{Z}}\chi(n)f\left(\frac{nx}{\sqrt{q}}\right) = \frac{A}{x}\sum_{n\in\mathbb{Z}}\bar\chi(n)...
Bertrand's user avatar
  • 1,199
5 votes
2 answers
245 views

An optimization problem: $\Phi(0)$, $\widehat{\Phi}(0)$, $\Phi$ a majorant

(This is a problem that arose from my own answer to Mean value theorem for Dirichlet series - optimize? ) Let $\Phi:\mathbb{R}\to \mathbb{R}$ be a real-valued, symmetric, non-negative function such ...
H A Helfgott's user avatar
  • 20.2k
4 votes
1 answer
532 views

An Exponential Sum Restricted to Primes

Let $a,q,N$ be integers such that $N/2 \leq q \leq N$ and $a/q \notin \mathbb{Z}$. Is the following estimate true, and, if so, how can it be proved? \[\left|\sum_{1 \leq p \leq N} \exp(2\pi i p a/q) \...
Linden's user avatar
  • 217
2 votes
0 answers
97 views

Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support

This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction? Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
H A Helfgott's user avatar
  • 20.2k
2 votes
2 answers
475 views

Questions concerning the Fourier analysis of $ nx\ \%\ m$

Let $x\ \%\ m$ be the residue of $x$ modulo $m$, i.e. $$x \equiv x\ \%\ m\pmod{m}$$ The plots of the functions $f_{nm}(x) = nx\ \%\ m$ exhibit characteristic patterns, especially periods of length $...
Hans-Peter Stricker's user avatar
1 vote
0 answers
200 views

Coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$

I want to prove that $\forall n \in \mathbb{N}$ at least one of the Fourier coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$ is striclty greater than 1(...
Marcel1994's user avatar