Questions tagged [analytic-number-theory]

Questions on the use of the methods of real/complex analysis in the study of number theory.

Filter by
Sorted by
Tagged with
3
votes
1answer
765 views

Change of order of summation.

I feel like an idiot for asking this, so bear my stupidity. I have the sum $\sum_{n\leq N} \sum_{p | n ; \ p \ prime} 1$, and I want to change the order of summation of these two sums I think it ...
2
votes
1answer
38 views

Prove that von Mangoldt function satisfies $\sum_{n \le x} \Lambda(n) \lfloor{\frac{x}{n}}\rfloor= x \ln(x)-x+O(\ln x)$

The picture above is what I have, which has an error that is too big.
2
votes
0answers
55 views

Regarding definitions of modular functions and modular forms

I am self studying Analytic number theory from Apostol Dirichlet series and modular functions in number theory and I have a doubt regarding defintions of modular forms and modular functions. My ...
0
votes
1answer
53 views

Why logarithmic density of sets are studied?

Natural density of a subset $S $ of positive integers is defined as $$\lim_{n \to \infty}\frac{1}{n}\sum\limits_{k\in S, k\le n}1 $$ whenever it exists. The logarithmic density of $S$ is defined as $...
0
votes
0answers
9 views

Regarding Dirichlet approximation theoram in diophantine approximation

I am self studying analytic number theory from apostol Dirichlet series and modular forms in number theory. I am unable to solve this problem in Ch-7. Let $\alpha = ( 1+ \sqrt 5) / 2 $ and $$\beta = ...
0
votes
0answers
16 views

Diophantine approximation and Farey sequences

I am self studying Apostol Dirichlet Series and Modular Functions in Number Theory and could not solve this question given in Chapter 7. Please help. Question is – Let $ \Theta $ be an irrational ...
0
votes
0answers
9 views

Regarding properties of Farey sequences related to lattice points.

I am self studying Apostol's Dirichlet series and Modular Functions in Number Theory and need help in this question. Question is – let $n \ge 1$ and $T_n$ denotes the set of lattice points $(x, y)$ ...
0
votes
0answers
15 views

Is the following equality concerning an $L$-function really true?

Let $\psi$ be a Dirichlet character defined mod $q.$ I have seen the claim that for $s = \sigma +it$ fixed and $\sigma >0,$ that $$\sum_{n=1}^y \psi(n)n^{-s} = L(\psi,s) + \underline{O}(y^{-\sigma})...
9
votes
1answer
260 views

Relationship between GCD, LCM and the Riemann Zeta function

Let $\zeta(s)$ be the Riemann zeta function. I observed that as for large $n$, as $s$ increased, $$ \frac{1}{n}\sum_{k = 1}^n\sum_{i = 1}^{k} \bigg(\frac{\gcd(k,i)}{\text{lcm}(k,i)}\bigg)^s \approx \...
3
votes
0answers
467 views

A Special Observation on Prime Numbers and $\pi (n)$

$\eth(n)$ is a little algorithm I made, which may appear to be quite complex, so I will start with an example middle of the post. Questions are at the end of the post. Definition Let $...
0
votes
0answers
36 views

Can a upper bound of $\sum_{b=1}^{p-1}\left(\frac{b^2-a^2}{p}\right)\left(\frac{b^2-1}{p}\right)$, $a\in{Z}$, be strictly less than $\sqrt{p}$?

By weil estimate I can only say, one bound is $\sqrt{p}$. Can it be strictly less than $\sqrt{p}$? I want to see whether one better bound be given or not.
0
votes
1answer
63 views

Minimum and maximum of a partial Euler product?

Question: If if $n\in\mathbb{N}$ and $s\in \mathbb{C},$ say $s=\sigma+t\sqrt{-1},$ then Dirichlet Beta function is defined to be $$ \beta(s)=\sum_{n=0}^\infty\frac{(-1)^n}{(2n+1)^s}; $$ which for ...
1
vote
0answers
44 views

Why is the series representation of the logarithm of the zeta function analytic?

I try to prove, that the logarithm of the $\zeta$-function has the following representation for $z \in \mathbb{C}$ with $\text{Re}(z) > 1$ $$\log\zeta(z)=-\sum_p\log\left(1-\frac{1}{p^z}\right).$$ ...
0
votes
0answers
24 views

Probability for an L-function to be RS-primitive

Assuming an L-function is any element of the intersection $\mathcal{L}$ of the Selberg class $\mathcal{S}$ and the class of automorphic L-functions $\mathcal{A}$, define the notion of Galois class of ...
0
votes
1answer
960 views

primitive roots of composite numbers

I am looking for a way to find primitive roots of composite numbers by primitive roots of its prime factors.im looking for a analytic way no algebraic. I meant a way without meanings of abstract ...
-1
votes
1answer
82 views

Is $\sum_{n=1}^{\infty} \frac{\mu(n)}{n} = 0$? [duplicate]

Does $\sum_{n=1}^{\infty} \frac{\mu(n)}{n}$ converge and does it converge to $0$ ?. I know that $\sum_{n=1}^{\infty} \frac{\mu(n)}{n^s}$ converges on $Re(s) > 1$ to $\prod_{j=1}^{\infty}{(1-\frac{1}...
0
votes
1answer
61 views

Are these equalities wrong $\sum_{n\le x}\mu(n)o(\frac xn)=o(x\sum_{n\le x}\frac 1n)=o (x\log x) $?

I simply found an asymptotic relation for $\sum_{n\le x}\mu(n)o(\frac xn)$ like below: $$\sum_{n\le x}\mu(n)o(\frac xn)=o(x\sum_{n\le x}\frac 1n)=o (x\log x) $$ But Basil Gordon, an American ...
1
vote
0answers
75 views

Weyl's equidistribution theorem in the case of rational numbers

Let θ be a non-zero real number and let N be a positive integer. Consider the fractional parts of nθ for 0 ≤ n < N. This creates a maximum of N possible intervals. Show that there as only three ...
0
votes
0answers
19 views

On Property of Ramanujan Tau function

I have been self studying number theory from Apostol Dirichlet series and modular forms and I could not solve this question from chapter 4 Pg92. There is a solution of this question on stack exchange ...
0
votes
0answers
25 views

On proving a result on Jacobi theta function

I have been self studying Apostol Dirichlet series and Modular forms and I have could not solve this problem from Chapter 4 - Prove that $\theta(-1/t) = \sqrt{-it}\ \theta(t)$ , t belongs to upper ...
7
votes
4answers
512 views

Reference requests: Jitsuro Nagura

I spent some time today looking for any biographical information on Jitsuro Nagura and came up empty-handed. Any suggestions welcome. Also, the Wiki note on the Chebyshev $\psi$ function says that ...
4
votes
0answers
61 views

Density of Numbers with Exactly One Prime Factor of Multiplicity 1

Let $S$ be the set of positive integers $n$ with the property that exactly one prime factor of $n$ has multiplicity $1$ and every other prime factor has multiplicity greater than $1$ (to be clear, $S$ ...
1
vote
1answer
58 views

Interlacing with arithmetic progressions?

Given integers $0<a_1<\dots<a_t$ and $0<b_1<\dots<b_t$ with $a_t<b_t<M$ can we find integers $m,n,m',n'\in\mathbb Z$ such that $$ma_i+n<m'b_i+n'<ma_{i+1}+n$$ holds at ...
2
votes
1answer
62 views

Does the average reciprocal of the smallest or largest prime factors of integers converge?

I have observed the following experimentally. Can this be proved for disproved? Claim: Let $a_n$ and $b_n$ be the smallest and the largest prime factor of $n$ respectively. Then $\dfrac{n}{\sum_{k \...
0
votes
0answers
30 views

Miswritten exponential sum definition. What did my professor likely mean to write?

In my analytic number theory course, in a lesson about exponential sums, my professor defined a particular exponential sum. I believe that I copied it down correctly, because I scrutinized it for a ...
3
votes
3answers
86 views

Is there a positive integer $n \ge 2$ for which $\frac{k}{\pi(k)} = n$ has no solution?

For a given positive integer $n \ge 2$ let $a_n$ be the number of integers $k$ such that $\dfrac{k}{\pi(k)} = n$ where $\pi(x)$ is the prime counting function. The first few values of $(n,a_n)$ are $$...
0
votes
1answer
45 views

$p$-adic integers and valuation

Let $p$ be a prime, $x \in \mathbb{Z}_p$. I say that if $x \in \mathbb{Z}_p$ then $\text{val}_p(x) \ge 0$ as follows: Let $x = a_0 + a_1 p + a_2 p^2 + \dots$. Then, $\text{val}_p(x) \ge \text{min}(\...
1
vote
1answer
111 views

Why do the coefficients of this series grow like a polynomial?

Set-up Let $f: \mathbb{N} \to \mathbb{C}$ be a multiplicative arithmetic function (meaning that $f(mn) = f(m)f(n)$ whenever $m$ and $n$ are relatively prime). Suppose that for every $\epsilon >0,...
1
vote
1answer
37 views

Ring of p-adic integers and harmonic sums

I am trying to understand p-adic integers $\mathbb{Z}_p$ and want to ask two questions: For a fixed rational number $\frac{a}{b}$ and a prime $p$, I can write $p$-adic expansion of the fraction after ...
2
votes
1answer
144 views

sum over reciprocal of primes times coefficient

I would like to show that $$ \sum_{p\leq x} \frac{1}{p^{1+2/\log x}}\left(\frac{\log\left(x/p\right)}{\log(x)}\right)^2=\log\log x +\mathcal{O}(1) $$ What I have tried Since we know that $$ \sum_{p\...
0
votes
0answers
34 views

Davenport Multiplicative Number Theory, pp. 19

Recently I have been reading the book in the title of this question to brush my interest in math up again in the course of getting a certificate for teaching math in middle schools. I know some ...
1
vote
0answers
31 views

Imprimitive Dirichlet characters as sum of additive characters

Let $\chi$ be a Dirichlet character modulo $q$. Let $e(x)=\text{exp}(2\pi i x)$ and $\tau(\chi)$ be the Gauss sum $\tau(\chi)=\sum_{m \,\text{mod}\, q}\chi(m)e(m/q)$. For any $n$ with $\gcd(n,q)=1$, ...
1
vote
1answer
29 views

Chebyshev functions limsup

Let $\delta=\limsup\frac {\psi (x)}x $ i want to prove that $$\sum_{n\le x}\psi (\frac xn)\le (\delta+\epsilon)x\log x+x\psi (N) $$ Given $\epsilon>0$ there is $N$ such that $x>N$ implies that ...
0
votes
2answers
60 views

An inequality involving Euler’s $\varphi$-function

Let $\varphi$ be Euler’s phi-function. I have seen it claimed that $$\varphi(n)/n = O(\log \log n).$$ Could someone either give a proof of this fact or tell me a reference where I can find this proof?...
1
vote
1answer
87 views

Unique Structure in base for power $1,2$and$3$

Let's $1<a\in\mathbb{N}$ And $$A^{k}=\sum_{i=1}^{a}i^{k}$$ Here $t $ is a number from any base $q$ can be converted in base $b$ written as $$(t)_{q}=(b_{r} b_{r-1} ... b_{2} b_{1})_{b}$$ Now ...
1
vote
0answers
39 views

Interchange the order of summation in Dirichlet convolution

I'm doing the following exercise from Apostol's number theory book, a solution, or better a Hint would be welcome. (Chapter 2 ex 14) Let $f(x)$ be defined for all rationals $x$ in $0 \leq x \leq 1$ ...
1
vote
0answers
36 views

asymptotic notation estimate

I'm trying to arrive at estimate 1.17 (page 21) of Koukoulopoulos lecture notes [https://dms.umontreal.ca/~koukoulo/documents/notes/sievemethods.pdf] $$\#\{n \leq x : p|n \Rightarrow p > \sqrt{x}\}...
0
votes
1answer
33 views

What is $O(o(x))$ as $x\to\infty $? I think it is $o (x)$ or $O (x^\delta) $ where $\delta <1$

Let $M (x)=\sum_{n\le x}\mu (n) $. We know that $$M (x)\log x+\sum_{n\le x}M (\frac xn)\Lambda (n)=O (x) $$ I want to prove $$M (x)\log x+\sum_{p\le x}M (\frac xp)\log p=O (x) $$ We have $$M (x)\...
1
vote
1answer
140 views

How to prove that$\sum_{n\le x}(\psi(\frac xn)-\vartheta(\frac xn))\Lambda (n)=O (x) $

I'm trying to prove that $$\sum_{n\le x}(\psi(\frac xn)-\vartheta(\frac xn))\Lambda (n)=O (x) $$ After some calculations, l arrived to $$O (\sqrt{x}\log x\sum_{m=1}^\infty x^{\frac 1m} (\frac{1}{\...
-1
votes
1answer
17 views

A Converse For A Particular Case of the Hardy-Littlewood Tauberian Theorem

Let $V$ be a set of positive integers, and let: $$\varsigma_{V}\left(x\right)\overset{\textrm{def}}{=}\sum_{v\in V}x^{v}$$ Defining the natural density of $V$ by the limit: $$d\left(V\right)\overset{\...
2
votes
1answer
55 views

generating function of sum of divisors function

It is well known that the function $$\sigma_k(n)=\sum_{d|n}d^k$$ has a generating function. For a number field $K$, suppose that $\mathfrak{a}, \mathfrak{b}$ are ideals in some ideal class $C$ and ...
0
votes
3answers
92 views

Why doesn't the Riemann Zeta Function have a zero at $s=0$?

I have a few questions regarding the Riemann Zeta Function and its zeros. First, I will state what is clear to me. I see that $\zeta (s)$ is clearly defined and nonzero when $Re(s)>1$ since then $\...
0
votes
1answer
28 views

Show that $\int_1^{\infty}e^{-\pi x}(x^{\sigma/2} + x^{(1-\sigma)/2}) x^{-1} dx \ll (1 + |\sigma|)^{\pi |\sigma|} $

We must show that $$\int_1^{\infty}e^{-\pi x}(x^{\sigma/2} + x^{(1-\sigma)/2}) x^{-1} dx \ll (1 + |\sigma|)^{\pi |\sigma|}. $$ Here is my attempt, however I wondered if there is a one-trick wonder ...
1
vote
1answer
47 views

Gamma Function Integral Identity

On p.11 of D. Bump's "Automorphic Forms and Representations" he uses the following identity in a proof of the functional equation of a Dirichlet $L$-function: $$ \int_0^\infty e^{-\pi tn^2}t^{(s+\...
1
vote
1answer
30 views

Define a multiplicative function $r(n)$ by $r(p^a)=\frac{\binom{2a}{a}}{4^a}$. Show that $(\sum_{n\leq p^{3/2}}\frac{r(n)}{n})^2<< \log p$

Define a multiplicative function $r(n)$ by $r(p^a)=\frac{\binom{2a}{a}}{4^a}$. Show that $$\left(\sum_{n\leq p^{3/2}}\frac{r(n)}{n}\right)^2<< \log p$$ I am confused about, how $\log(p)$ is ...
0
votes
1answer
30 views

Elementary number theory in modular functions

I am self studying Apostol Dirichlet series and Modular functions in number theory and I am struck on Ch -2 Problem 17. It is a problem of elementary number theory but I am not able to think about it. ...
8
votes
2answers
1k views

Why does the Riemann zeta function have zeros in the complex plane? How is it possible to find them?

I ask this because, according to Euler's product formula, Riemann's zeta function =(1/something), so how could that be zero? Also, how could one find zeros that are on the negative side and find a ...
0
votes
0answers
31 views

Logarithmic derivative of Dirichlet series and relation to Mangoldt function

On Wikipedia, the following formula is given: $$\frac {F^\prime(s)}{F(s)} = - \sum_{n=1}^\infty \frac{f(n)\Lambda(n)}{n^s}$$ I understand the proof for the zeta-function, but not for the Dirichlet ...