Questions tagged [analytic-number-theory]
On the blending of real/complex analysis with number theory. The study involves distribution of prime numbers and other problems and helps giving asymptotic estimates to these.
3,066 questions
10
votes
1
answer
474
views
A basic estimate of exponential sums
Demeter in his book "Fourier Restriction, Decoupling, and Applications" (P287) used the following estimate:
\begin{equation}
\sup_{0\leq n\leq q}\bigg|\sum_{m=0}^n e^{2\pi i\frac{a}{q}m^2}\...
4
votes
0
answers
450
views
Question about a paper by Franca and LeClair in analytic number theory
I am reading an article "Transcendental equations satisfied by the individual
zeros of Riemann $\zeta$, Dirichlet and modular
L-functions" by G. Franca and A. LeClair (2015) see here. The ...
2
votes
0
answers
188
views
How to best approximate $1/\zeta(s)$ by a finite sum
I would like to approximate $1/\zeta(s)$ for $s=1+it$ by a finite sum:
$$\frac{1}{\zeta(1+it)} = \sum_n \frac{\mu(n)}{n} \eta\left(\frac{n}{x}\right) +
\epsilon(t)$$
with $\eta$ a function of compact ...
5
votes
0
answers
192
views
On the elementary proof of Dirichlet theorem on arithmetic progressions
In [Cassels, JWS, Rational quadratic forms, p. 333], the autor says: "In fact the elementary proof of Dirichlet's theorem [Selberg (1949)] makes essential use of the existence of genera".
In ...
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 ...
5
votes
2
answers
339
views
Successive minima and the basis of lattice
I am able to prove the following two propositions: Recall that the $i$-th successive minimum of $L\in \mathcal L$, denoted $\lambda_i(L)$ is the infimum of the radii of the balls containing $i$-...
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 ...
2
votes
1
answer
322
views
Overall idea of estimating major arcs in Waring's problem
This is copied from math.SE after a kind comment's suggestion as I am sure people here are very well knowledged in this method :)
I am currently reading Vaughan's "The Hardy-Littlewood Method&...
1
vote
0
answers
117
views
Estimating a sum with a fractional part
Is it possible to pick up the value $\log^2 x<y<x$ to get this expressions simultaneously
$$\sum_{d\leq y}\left \{ \frac{x}{d} \right \}\leqslant \frac{y}{\log^{3} y}?$$
1
vote
1
answer
186
views
Existence of a smooth function that approximates a characteristic function of an interval with certain property
Let $N$ be a large integer and $I = [aN, bN]$ for some $0 < a < b < 1$. Denote by $\chi_I(x) = 1$ if $x \in I$, $0$ otherwise. I was wondering if there exists a smooth function $w$ with the ...
3
votes
2
answers
450
views
Bounds for PNT from Wiener-Ikehara?
What sort of bounds on the error term in the Prime Number Theorem can one obtain through a Wiener-Ikehara approach?
Same question, but for the Mertens function $M(x)=\sum_{n\leq x} \mu(n)$.
1
vote
1
answer
284
views
Robin's inequality for odd numbers
In this article (Theorem 1.2) there is a proof for Robin's inequality for odd numbers,
$\sigma(n)/n< e^{\gamma}\log(\log(n))$ where $\gamma$ is the Euler-Mascheroni constant and $\sigma(n)$ is the ...
2
votes
0
answers
79
views
For $\Phi$ a majorant of $1_{[-1/2,1/2]}$, how small can the total variation of $\widehat\Phi$ be?
Let $\Phi:\mathbb{R}\to \mathbb{R}$ be a real-valued, symmetric, non-negative function such that $\Phi(t)\geq 1$ for $|t|\leq 1/2$. Assume furthermore that $\Phi$ and $\widehat\Phi$ are both in $L^1\...
6
votes
1
answer
183
views
Mean value of the divisor function over Piatetski-Shapiro sequences
Let $c>1$, $c\not\in\mathbb{Z}$ and consider the sum
$$
\sum_{n\leq x} \tau(\lfloor n^c \rfloor),
$$
where $\tau(n)$ is the number of divisors of $n$. I'm almost certain I've seen an evaluation of ...
2
votes
0
answers
59
views
Equidistribution of lattice points on quadratic forms without certain values
I have recently been studying some results about equidistribution of lattice points on positive definite quadratic forms $Q$ with $3$ or more variables. Concretely the article Duke and Schulze-Pillot, ...
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 ...
6
votes
0
answers
233
views
Mean value theorem for Dirichlet series of prime support?
Let $\{a_n\}_{1\leq n\geq N}$, $a_n\in \mathbb{C}$. Let $F(s) = \sum_{n=1}^N a_n n^{-s}$. By a mean-value theorem (Montgomery-Vaughan, 1973),
$$\int_0^T |F(i t)|^2 = \sum_{n=1}^N |a_n|^2 (T + O(n)).$$
...
7
votes
1
answer
596
views
What consequences would follow from the density hypothesis?
Let $N(\sigma,T)$ denote the number of zeros $\rho=\beta+\gamma i$ of the Riemann zeta function satisfying $\beta\ge \sigma$ and $0<\gamma\le T$, counted with multiplicity. Then the "Density ...
4
votes
0
answers
211
views
Rational solutions to Catalan's equation
Famous Catalan's conjecture, now a theorem proved by Mihăilescu, states that the only solution in the natural numbers of the equation
$$
x^{a}-y^{b}=1.
$$
for $a, b > 1$ and $x, y > 0$ is $x = 3,...
0
votes
0
answers
68
views
Around similar inequalities than an inequality due to Nicolas, that involve products of consecutive Ramanujan primes
This is cross-posted (and this post is a version to ask just around the veracity of Conjecture 1) as the post with identifier 3594907 and same title), that I've edited on Mathematics Stack Exchange ...
5
votes
0
answers
196
views
Is it true that the $\mathbb{F}_p$-rank of a linear combination of matrices is usually not smaller than its $\mathbb{Q}$-rank?
Consider fixed $3 \times 3$ integer matrices $A_1,A_2,A_3$ and the $\sim H^3$ linear combination matrices $A(\mathbf{h})=h_1A_1+h_2A_2+h_3A_3$ where $h_1,h_2,h_3$ are integers with $\vert h_i\vert \le ...
1
vote
1
answer
347
views
On equations with arithmetic functions [closed]
Is this good topic for research:
equations with arithmetic functions, for example equations like $\varphi(n)=\sigma(n)$ or $\varphi(n)+\sigma(n)=d(n)$ ?
If Anyone here have an advise please tell me ...
0
votes
0
answers
64
views
A question regarding Lehmer-Pierce numbers for certain families of polynomials
Let $f(x)=x^n+a_{n-1} x^{n-1}+...+a_0\in\mathbb{Z}[x]$ be a monic, irreducible polynomial with integer coefficients and let $\alpha_1,...,\alpha_n\in\mathbb{C}$ be the complex roots of $f$, where we ...
0
votes
0
answers
136
views
Bounded sums involving primes
I'm trying to generalize the Theorem 2.7.1 in [1] where they prove:
$$\sum_{p \leq x} f(p) = \int_{2}^{x} \frac{f(t)}{\log{t}} dt + \epsilon(x)f(x) - \int_{2}^{x} \epsilon(t) f^{'}(t) dt $$
where $\...
9
votes
1
answer
743
views
Closed form for ₄F₃(n,n,n,2n;1+n,1+n,1+n;−1)
For positive integer $n$ the following value of a hypergeometric function
$$_4F_3(n,n,n,2n,1+n,1+n,1+n,-1)$$
based on the first few terms looks like
$$ R_1(n) + R_2(n) \pi^2$$
where $R_{1,2}(n)$ are ...
1
vote
0
answers
94
views
Large sieve inequality-like sum without the square
Let $S(\alpha) = \sum_{n\leq N} w(n) e^{2\pi i \alpha n}$ for some function $w$ defined on $\mathbb{R}$. Suppose $\alpha_1, \ldots, \alpha_R$ are real numbers that are $\delta$-spaced modulo $1$, for ...
4
votes
0
answers
134
views
Converse theorem for zeta universality
Voronin's Universality Theorem for $\zeta(s)$ is that the zeta function can uniformly approximate any non-vanishing holomorphic function to any degree of accuracy in the right-half of the critical ...
0
votes
0
answers
54
views
On the upper bound estimation of $D(N)$ in Chen Jingrun's theorem
What are the current research results on the estimation of the upper bound of $D(N)$ in Chen Jingrun's theorem?
Including but not limited to Chen Jingrun's improvement 7.8342 and Wu Jie's improvement ...
2
votes
2
answers
308
views
Reference for zero sum estimates of Dirichlet L functions
Let $\chi$ be a primitive character mod $p$ (prime) and $\rho = \beta + i \gamma$ be a non-trivial zero of $L(s, \chi)$.
I am reading a paper by Ihara and Murty where they use following estimate :
$\...
5
votes
2
answers
717
views
Sum of many squares modulo $n$
Let $n$ be a positive integer and $0 \leq i < n$. Define
$$
N(i) = \# \left\{ (x_1,\dots, x_s) \in [1, n]^s: x_1^2 +\dots + x_s^2 \equiv i \mod n \right\}.
$$
I am looking for a reference for ...
0
votes
0
answers
169
views
On $\sum_{\rho\in D} \text{dist}(\rho)=\frac{1}{2\pi i} \int_{\partial{D}}\log \zeta(s)\ ds$
Let $D$ denote a closed two dimensional figure as: $D=2+iT\to 2\to 2-\delta\to 2-\delta+i(T-\delta)\to \frac{1}{2}+\epsilon+i(T-\delta)\to\frac{1}{2}+\epsilon\to\frac{1}{2}-\epsilon\to \frac{1}{2}-\...
2
votes
0
answers
107
views
What kind of points are left in the set with rationals subtracted, who contains all rationals and is null?
Let {$q_i$} be a list of all rationals, $U_{i,n}$ be an open interval centered at $q_i$ with length of $2^{-i}/n$. Then open set $\bigcup_{i}U_{i,n} $ has the length of $1/n$ and contains all ...
0
votes
0
answers
91
views
Reducing the number of terms in Waring-Goldbach problem by allowing exponents to vary
Assuming the Waring-Goldbach problem (see https://en.m.wikipedia.org/wiki/Waring%E2%80%93Goldbach_problem) has a positive solution, can we reduce the number of terms $t$ to some value $t'$ by allowing ...
-1
votes
1
answer
243
views
Inversion shift of a Galois radius
Say a non negative $r$ is a Galois radius of $n$ of type $(a,b)$ if $n-r=p^a$ and $n+r=q^b$ with $p$ and $q$ prime and positive $a$ and $b$. If $a\neq b$, say $r$ is "unbalanced" and say $s$ ...
1
vote
1
answer
177
views
Distribution of $\alpha n^2/q$ modulo $1$?
Let $0 \neq \alpha \in [0,1]$ and $q$ a positive integer.
Let $||.||$ denote the distance to the closest integer and define
$$
N_i(q) = \sum_{ \substack{ -q/2 \leq n \leq q/2 \\ \frac{i}{q} \leq || \...
6
votes
0
answers
466
views
On improvements of the GPY sieve
When $\chi_\mathbb P(n)$ denotes the characteristic function of primes and $\mathcal H=\{h_1,h_2,\dots,h_k\}$ is some admissible $k$-tuple, the GPY sieve can be formulated as follows:
$$
S(x)=\sum_{x&...
6
votes
1
answer
494
views
(Explicit) Tauberian theorems: removing $(\log x/n)$
Say that $\{a_n\}_{n\geq 1}$, $|a_n|\leq 1$, are such that $$\left|\sum_{n\leq x} a_n \log \frac{x}{n}\right|\leq \epsilon x\quad\text{for all $x\geq x_0$.}$$ What sort of bound can we deduce on $S(x)=...
6
votes
2
answers
396
views
Square-free numbers in an interval
Is there an explicit estimate in the literature bounding from above the number of square-free numbers in a short interval $x<n\leq x y$? I can easily do this by means of the Selberg sieve, but I do ...
-10
votes
1
answer
407
views
Summatory functions for fractional parts
Notation:
$$ \{x\}\ :=\ x-\lfloor x\rfloor $$
APF-functions $\ \tau(n)\ $ for $\ 2<n\in\mathbb N,\ $ and $\ \xi(n)\ $ for $\ 3<n\in\mathbb N,\ $ are defined as follows:
$$ \tau(n)\ :=\ \sum_{k=...
20
votes
1
answer
745
views
On the equation $\zeta(s) = F(s)+F(s+1)$
Define the function $F(s)$ as the Dirichlet series
$$
F(s) = \sum_{n=1}^\infty \frac{1}{(n+1)n^{s-1}},
$$
which converges for $\operatorname{Re}(s)>1$.
Has anyone seen/studied this function before? ...
7
votes
0
answers
118
views
Upper bound on $\#\{p \leq B :\#E(\mathbb{F}_p) \equiv a \mod b\}$ for large $b$
Let $E$ be a fixed elliptic curve over $\mathbb{Q}$. Is there a good upper bound on $\#\{p \leq B :\#E(\mathbb{F}_p) \equiv a \mod b\}$ when $b$ is large (maybe around $\sqrt{B}$)? I don't mind ...
4
votes
0
answers
135
views
Average of $\lambda(n+1)$ for $n$ smooth, or smooth-and-rough? What follows?
Let $\lambda$ be the Liouville function, i.e., $\lambda(p_1\dotsb p_k)=(-1)^k$ for $p_1,\dotsc,p_k$ not necessarily distinct.
There is a conjecture (due to whom?) that there are infinitely many primes ...
3
votes
0
answers
159
views
Is there a general relationship between definite integrals over functions involving the complete elliptic integral of the first kind and zeta values?
Background
Let $\textbf{K}(k)$ be the complete elliptic integral of the first kind, where $k$ is its elliptic modulus [1]. Moreover, define $k' := \sqrt{1-k^{2}} $ as its complementary modulus. I've ...
6
votes
1
answer
213
views
Upper bound on minimum number of prime factors in short intervals
Suppose that $H = H(X)$ is some quantity growing with $X$. Are there any bounds on $$F(X, H) = \min_{X < n\le X + H} \omega(n)?$$
It isn't hard to obtain a lower bound $\max_{x\sim X} F(X, H)\gg \...
1
vote
2
answers
326
views
About Omega prime function
Let $ω(n)$ be the number of distinct prime factors of $n$.
Is the inequality $ω(n)\leq C\log\log(n)$ true and if so what is the value of the constant $C$ ?
0
votes
0
answers
91
views
How to use prime number theorem In such cases?
Let,
$$A(x)=\sum_{p\leq x}f(p)$$
Where $p$ is a prime number.
Under the Prime Number theorem we have that,
$$\pi(x)=Li(x)+O\left(\frac{x}{e^{a\sqrt{\ln(x)}}}\right) $$
as $x$ approach infinity.
Now,
$$...
0
votes
0
answers
80
views
Relevance of the deduction of similar theorems than Maier's theorem for other prime constellations
A year ago I asked this question on Mathematics Stack Exchange with identifier 4245823 and same title Relevance of the deduction of similar theorems than Maier's theorem for other constellations of ...
3
votes
1
answer
348
views
On conjectures about the arithmetic function that counts the number of Sophie Germain primes
I've edited this post two years ago on Mathematics Stack Exchange, with identifier 3590406 and same title On conjectures about the arithmetic function that counts the number of Sophie Germain primes, ...
1
vote
0
answers
482
views
Explicit formula for zeta function with special type of weight
Consider the following line of thinking:
$$\pi(x) = \operatorname{R}(x) - \sum_{\rho}\operatorname{R}(x^{\rho}) - \frac1{\ln x} + \frac1\pi \arctan \frac\pi{\ln x} $$
Here,
$\operatorname{R}(x) = \...
4
votes
1
answer
353
views
Inequalities involving binary representation of integers
Let $N\geq 1$ be a positive integer and assume that $N=2^{n_1}+2^{n_2}+\cdots+2^{n_{p}}$, $n_{1}>n_{2}>\cdots>n_{p}\geq 0$, is the binary representation of $N$. I believe that the following ...