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

learn more… | top users | synonyms

3
votes
3answers
42 views

$\sum_{p} \chi(p)/p$ is conditionally convergent for non-principal character

Let $\chi$ is a non-principal character. Show that the sum $\sum_{p}\frac{\chi(p)}{p}$ is conditionally convergent. Then show that the product $\prod_{p}(1-\frac{\chi(p)}{p})^{-1}$ is conditionally ...
7
votes
0answers
84 views
+50

Find a closed form formula for $\sum_{k=2}^n\left(\frac{\sin x}{\sin\frac{x}{k}}\right)^2$ or $\sum_{k=2}^n(\csc\frac{x}{k})^2$?

I meant by "closed form formula" a formulate that doesn't have summation or has very few terms. Maybe there's a better term for this meaning. I found this function that has very interesting property ...
1
vote
0answers
11 views

Diamond-Steinig identity

I'm self-studying analytic number theory in tao's blog. There is an exercise that I can't solve. Let ${k \geq 1}$. Show that ${\Lambda_{2k} + \Lambda_k * \Lambda_k}$ can be expressed as a linear ...
0
votes
0answers
18 views

What is right hand side limit of Dirichlet eta function of -1?

What is right hand side limit of Dirichlet eta function of -1 ? Left hand side ia 1/4, right hand side doesn't exist as I understand, motivation : ...
0
votes
0answers
11 views

Can you get the average order of $ \left( 1+|\mu(n)| \right)^{M(n)} $, where $\mu(n)$ and $M(n)$ are the Möbius and Mertens functions, respectively

When yesterday I was interested in do a little study about the arithmetic function $$f(n)=\left( 1+|\mu(n)| \right)^{M(n)},$$ defined for integers $n\geq 1$, which $\mu(n)$ is the Möbius function and ...
2
votes
1answer
82 views

Prove that $\prod\limits_{2 < p \leq y}\left(1-\frac{2}{p}\right)\sim\frac{D}{\log ^2 y}$ [duplicate]

I'm writing my bachelor thesis about Brun's sieve method and his theorem. In one proof I found this statement without further explanation. It is important to show that the product doesn't converge ...
0
votes
0answers
16 views

On a closed-form from particular values of the Riemann zeta function and divisor functions

I am looking if I can get a closed-form for an infinite series, but I don't know for what it is possible, without finish my computations (see my Question, below). From Applications (8.1 Infinite ...
6
votes
1answer
123 views

Why can this cosine sum function show all primes less than $N^2$?

I constructed this cosine sum that puts all primes within N on line y=1, and its zeros show the sieve by primes less than N. For $x<N^2$, they are all primes. $$ ...
0
votes
0answers
22 views

On the zeroes of sine complex function, and a search for a special sequence, following Riemann's approach

If there are no mistakes from the Fourier expansion series for the fractional part function we can write, using a substituion, that for $1<x<e^2$ with uniform convergence $$\frac{1}{2}\log ...
2
votes
0answers
82 views

Estimating a contour integral which includes the riemann zeta function

I would like to understand the following paper, it is about the Erdös-Kac theorem http://matwbn.icm.edu.pl/ksiazki/aa/aa4/aa417.pdf (Site 75). My problem is to estimate $$I_2 := \dfrac{1}{2 \pi i } ...
1
vote
0answers
39 views

What's about $\sum_{n=1}^\infty e^{-p_n u}$, where $p_n$ is the nth-prime number?

I am assuming that the following function, for which I am asking as reference request, should be known in the literature, since Glaisher studied the Prime Zeta Function, and my computation is the ...
1
vote
0answers
51 views

Convergence of the Euler product

Suppose that the Riemann Hypothesis is true. It is well known that then the Dirichlet series $$\sum_{n=1}^\infty\frac{\mu(n)}{n^s}$$ converges in the half-plane ${\rm {Re}}\, s>\frac{1}{2}$. Does ...
0
votes
0answers
25 views

I am looking a comparison of this computation and Riemann's approach for $lcm(1,2\ldots,x)$

Looking a comparison with a reasoning due to Riemann, I ask to me about the behaviour as $x\to\infty$ of the following arithmetical function $$ \left( \prod_{n\leq x}n^{-\mu(n)}\right)\cdot \left( ...
2
votes
0answers
31 views

Does Wilson’s Theorem characterize the gamma function?

Wilson’s Theorem can be stated as follows: n is a prime if, and only if, n is an integer > 1 such that n divides (n - 1)! + 1. However, Γ(n) = (n - 1)! (for any positive integer n) Therefore, ...
-1
votes
2answers
36 views

Inequality regarding natural numbers [closed]

For natural numbers $ n > 5 $, prove that: $ n^2 > n ( \ln(n) + \ln(\ln(n)) ) $
1
vote
0answers
30 views

Products of $k^{\mu(k)}$, where $\mu(n)$ is Möbius function, and the Prime Number Theorem

We can write $$e^{-\Lambda(n)}=\prod_{d\mid n}d^{\mu(d)},$$ where $\mu(n)$ is the Möbius function and thus $\Lambda(n)$ is von Mangoldt's function. Then taking the product from $1$ to $N$ we've for ...
2
votes
1answer
20 views

Show that a periodic, completely multiplicative arithmetic function is a Dirichlet character to some module $q$

Show that if $f$ is a periodic, completely multiplicative arithmetic function, then $f$ is a Dirichlet character to some modulus $q$. A Dirichlet character modulo $q$ is an arithmetic function ...
12
votes
2answers
1k views

Is there an explicit irrational number which is not known to be either algebraic or transcendental?

There are many numbers which are not able to be classified as being rational, algebraic irrational, or transcendental. Is there an explicit number which is known to be irrational but not known to be ...
2
votes
1answer
22 views

A change of variables in Riemann's proof of the functional equation of $\zeta(s)$

In Riemann's functional equation proof it says: From $$\Gamma(s)=2\int_0^\infty e^{-x^{2}}x^{2s-1}dx,$$ after variable substitution, we get $$\Gamma\left(\frac{s}2\right)=n^{s} ...
4
votes
1answer
41 views

Large gap between two consecutive square-free numbers

Let $q_n$ denote the $n$-th square-free number. By Chinese remainder theorem (see this post), it is not difficult to show that there is arbitrarily large gap between two consecutive square-free ...
3
votes
1answer
69 views

Sum of products of $(1 - 1/p)$

Let $\pi(n)$ denote the number of primes not greater than $n$, and $p_k$ the $k$th prime, so that $p_{\pi(n)}$ denotes the largest prime not greater than $n$. I'm interested in the value of the ...
4
votes
1answer
73 views

Euler Product formula for Riemann zeta function proof

In class we introduced Reimann Zeta function $$ \zeta (x)=\sum_{n=1}^{+\infty} \frac{1}{n^x} $$ And we proved its domain was $D=(1,+\infty)$ Now Euler proved that $$ \zeta(x)=\prod_{p\text{ ...
0
votes
0answers
20 views

Relation between Meissel–Mertens constant and Euler–Mascheroni constant

From the Wikipedia page, the Meissel–Mertens constant $M$ is defined as the limit: $$M:=\lim_{n\to\infty}\left(\sum_{p\leq n}\frac{1}{p}-\log\log n\right).$$ Why is it equal to ...
3
votes
1answer
101 views

Estimate of the derivative

Show that if $f(x)=x^2+O(x)$, and $f$ is differentiable with non-decreasing derivative $f'(x)$, then $f'(x)=2x+O(\sqrt{x})$. I know that if $f'$ is not non-decreasing, then the statement is not true. ...
1
vote
1answer
40 views

Wintner's mean value theorem

This is an exercise (exercise 2.22 p80) from A.J. Hildebrand's Introduction to analytic number theory (an online lecture notes). Let $g$ be an arithmetic function, and let $f=1*g$ ...
2
votes
1answer
35 views

Asymptotic estimate for the sum $\sum_{n\leq x} 2^{\omega(n)}$

How to find an estimate for the sum $\sum_{n\leq x} 2^{\omega(n)}$, where $\omega(n)$ is the number of distinct prime factors of $n$. Since $2^{\omega(n)}$ is multiplicative, computing its value at ...
3
votes
2answers
85 views

Prove that the value of the constant $C$ must be $1$

After proving the prime number theorem in class, our professor directs us to a remark by Lagrange that for large values of $x$, $\pi(x)$ is approximately equal to $$ \frac{x}{\log x - B}. $$ (This is ...
5
votes
2answers
84 views

Proving that $\pi(2x) < 2 \pi(x) $

In our analytic number theory class we were given the following problem as homework: prove rigorously that for large $x$ the number of primes in $(1,x]$ exceeds that in $(x,2x]$. In class we proved ...
1
vote
1answer
44 views

Asymptotic estimate of the sum $\sum_{n\leq x}1/\phi^2(n)$

How to show that we have the following estimate: $$\sum_{n\leq x}\frac{1}{\phi^2(n)}=c+O(\frac{1}{x}),$$ where $\phi$ is the Euler's totient function and $c$ is a constant. I tried to use the ...
2
votes
1answer
36 views

Number of subsets $S$ of $[n]$ such that $\gcd(S)$ is coprime to $m$

Fix positive integers $m,n$. Is there a way to count the number of non-empty subsets $S$ of $[n] = \{1, \ldots, n\}$ such that $\gcd(S)$ is coprime to $m$? Can we come up with an expression for such a ...
1
vote
1answer
36 views

A multiplicative function satisfying $\lim_{p^m\to\infty} f(p^m)=0$ implies $\lim_{n\to\infty} f(n)=0$

Let $f$ be a multiplicative function satisfying $\lim_{p^m\to \infty} f(p^m)=0$. Show that $\lim_{n\to\infty} f(n)=0$. By unique factorization, we can write $n=\prod_{i=1}^k p_i^{\alpha_i}$, where ...
1
vote
0answers
25 views

What's about $ \sum_{n=1}^{\infty} \frac{ \mu\left( \sigma (n)\right)}{n^3} ,$ where $\mu(n)$ is Möbius function and $\sigma(n)=\sum_{d\mid n}d$?

Let $ \mu (n)$ the Möbius function and $ \sigma (n)$ the sum of divisors function, then the arithmetical function $g(n)= \frac{ \mu\left( \sigma (n)\right)}{n^3} $ isn't multiplicative since ...
0
votes
0answers
23 views

An exponential sum problem.

If $q$ is a prime how do we compute $$\sum_{a,b,c\mod q} I_{1/4,\epsilon}(a)I_{1/4,\epsilon}(b)I_{1/2,\epsilon}(c)I_{1/2,\epsilon}(ca^{-1}b)I_{1/2,\epsilon}(cab^{-1})$$ where $I_{a,\epsilon}(x)=1$ if ...
1
vote
1answer
14 views

On the Density of Deficient Odd Numbers and Abundant Integers

Let $\sigma(x)$ denote the sum of the divisors of $x$. If $\sigma(x) < 2x$, then $x$ is said to be deficient, while if $\sigma(x) > 2x$, $x$ is said to be abundant. (Of course, when $\sigma(x) ...
2
votes
1answer
62 views

On the proof of “The infinite series $\sum_{n=1}^{\infty} p_n^{-1}$ diverges”.

The following text is from the book Introduction to Analytic Number Theory by T. M. Apostol : Theorem 1.13 $ \ $ The infinite series $\sum_{n=1}^\infty 1/p_n$ diverges. Proof. The following ...
0
votes
1answer
44 views

Estimates of $\Omega_{\text{av}}(n)$

Ramanujan proved that the average number of distinct divisors of $x$ for $x$ on $[1,n], ~\omega_{\text{av}}(n),$ and the average number of divisors including repetitions, $\Omega_{\text{av}}(n),$ are ...
2
votes
0answers
52 views

Siegel's article “The volume of the fundamental domain for some infinite groups”: trouble with understanding computations

This is the article I mentioned. While the idea of what Siegel is doing in order to compute the volume of the fundamental domain described in the article (the very first one, for there are discussed ...
5
votes
1answer
67 views

Combinations of four consecutive primes in the form $10n+1,10n+3,10n+7,10n+9$

Here $n$ is some natural number. For example, among the primes $< 1000$ I found four such combinations: \begin{array}( 11 & 13 & 17 & 19 \\ 101 & 103 & 107 & 109 \\ 191 ...
0
votes
0answers
49 views

Which values of $n$ is this inequality related to prime numbers true for?

Inequality What values of $n$ satisfy the following inequality? $$2(n-2) < Ap_n\prod_{i=3}^n \left(\frac{p_i-2}{p_i}\right)$$ $p$ are prime numbers and the notation $p_i$ indicates the ...
0
votes
1answer
121 views

Does the Riemann Hypothesis for finite fields imply the original RH?

Let $E$ be an elliptic curve over a finite field $\mathbb{F}_p$ where $p$ is a prime. The zeta function, $\zeta(E, s)$ for $E$ is defined as $\zeta(E,s) = \dfrac{(1-\alpha p^{-s})(1-\beta ...
-4
votes
0answers
279 views

The Riemann Hypothesis for elliptic curves seems to imply the original Riemann Hypothesis.

Let $E$ be an elliptic curve over a finite field and $S$ be the set of primes $p$ where $E$ has bad reduction. The Riemann Hypothesis for elliptic curves (also known as Hasse's theorem), is the ...
3
votes
1answer
35 views

irrationality of series of inverse of lcm

At the first time I'm dealing with this problem: prove that the series $\displaystyle\sum_{n=1}^{\infty} \frac{1}{d_{n}}$ is an irrational number, where $d_{n}=lcm(1,2,...,n)$. After some ...
10
votes
1answer
108 views

Equality involving Hasse zeta function of commutative ring finitely generated over $\mathbb{Z}$

Let $\mathbb{F}_q$ be a finite field consisting of $q$ elements. Imitating Riemann's zeta function$$\zeta(s) = \sum_{n = 1}^\infty {1\over{n^s}},$$define$$\zeta_{\mathbb{F}_q[t]}(s) = \sum_f ...
0
votes
0answers
26 views

Convergence of the ratio of Gauss hypergeometric functions

Let $_2F_1(a,b;c;z)$ denote the Gauss hypergeometric function. Consider the following ratio for each $n\in\mathbb{N} $:$$n\cdot\frac{_2F_1(n+2,n+1;2;z)}{_2F_1(n+1,n;1;z)}.$$ Does this sequence ...
4
votes
0answers
82 views

Effect of 'Prime conspiracy' on the fact that prime numbers are the generators of integers [closed]

In Unexpected biases in the distribution of consecutive primes, the authors have discovered that prime numbers have decided preferences about the final digits of the primes that immediately follow ...
1
vote
1answer
47 views

Has limit $\frac{\sigma_0(n)\sigma_2(n)}{(\sigma(n))^2H_n},$ where $H_n$ is the nth harmonic number?

By specialization of an inequality I can write $$2 \sum_{k=1}^{n-1} \frac{1}{d_{k}} \sum_{l=k+1}^{n} \frac{1}{d_{l}}\leq 2\frac{\sigma_0(n)-1}{\sigma_0(n)}\cdot \left( \frac{\sigma(n)}{n} \right)^2, ...
2
votes
1answer
35 views

An entire Dirichlet series

Let $\{a(n)\}_{n\in\mathbb N}$ be a sequence of real number, suh that for any $C\in \mathbb{R}$ we have $$a(n)\ll_{C}n^{C}$$ My question : is how we can prove that the Dirichlet series ...
0
votes
1answer
36 views

How to prove that $\sum_{d|n}d^{-\varepsilon}\leq C(\varepsilon)n^{\varepsilon}$

I wanna prove that for any $\varepsilon>0,$ there is a constant $C(\varepsilon )$ such that $$\sum_{d|n}d^{-\varepsilon}\leq C(\varepsilon)n^{\varepsilon}$$ but I do not know where I have to ...
1
vote
1answer
23 views

Are all Dirichlet coefficients of any element of the Selberg class necessarily algebraic?

The title says it all: do we know at least one element of the Selberg class having at least one transcendental coefficient in its development in a Dirichlet series for $\Re(s)>1$? Or are such ...
1
vote
1answer
47 views

What's about $\sum_{k=1}^{n-1} p_{k} \sum_{l=k+1}^{n} p_{l}$ for prime numbers?

By specialization of this formula, here in PROBLEMA 36, page 453 (in spanish), taking $\frac{1}{x_i}$ as the ith prime number we've (with at least two summands) $$ \left( \sum_{k=1}^{n} p_{k} ...