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

learn more… | top users | synonyms

0
votes
0answers
24 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
92 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
42 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
54 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
31 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
35 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
vote
0answers
32 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
28 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
25 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
48 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 ...
5
votes
2answers
89 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
85 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
24 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
207 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 ...
1
vote
1answer
47 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
40 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
89 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
88 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
45 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
39 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
27 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 ...
1
vote
1answer
19 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
57 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
123 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 ...
3
votes
1answer
36 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
114 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
28 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
86 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
48 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
38 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
38 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
24 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
50 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} ...
2
votes
0answers
35 views

Zeros of the second derivative of the modular $j$-function

I am interested in the zeros of $j''(z)$, where $j:\mathbb{H}\rightarrow\mathbb{C}$ is the classic modular function. Specifically I am interested in knowing if the zeros of $j''$ are algebraic over ...
1
vote
2answers
944 views

Is it something new?

$W(n)$ is the function that counts number of distinct prime divisors of $n$. I have been able to prove for any $m$ consecutive integers starting with $1+a$ with the condition $a\leq (m^2-4m)/4$ , ...
2
votes
0answers
31 views
0
votes
0answers
11 views

Simultaneous degree two residues

Given integer $q$ is there many pairs of $x,y\in\Bbb Z$ with $q^{5/6}<x,y<2q^{5/6}$ such that $$q^{4/6}\quad<\quad x^2\bmod q,\quad xy \bmod q,\quad y^2\bmod q\quad<\quad 2q^{4/6}$$ ...
0
votes
0answers
31 views

If $\forall \varepsilon>0\;\;\;\;a(n)\leq C(\varepsilon)\; n^{r+\varepsilon} $ then $\sum_{n=1}^{\infty}\frac{a(n)}{n^s}$ converge

Let $\{a(n)\}_{n\in\mathbb{N}}$ be a sequence of real numbers. I tried to prove that if $$\forall \varepsilon>0\;\;\;\;a(n)\leq C(\varepsilon)\; n^{r+\varepsilon} $$where $C(\varepsilon)$ is a ...
0
votes
0answers
30 views

Weighted Q-binomial Coefficients

A possible identity popped up in a project for college, and if features q-binomial coefficient, which can be interpreted as the generating function for the number of Ferrer's boards fitting into a ...
1
vote
1answer
68 views

Analytic Number Theory: Problem in Bertrand’s postulate

I am trying to learn Bertrand’s postulate. I can not understand two steps Why $\displaystyle\sum_{n \leq x}\log n=\sum_{e \leq x} \psi\left(\frac{x}{e}\right)$, where ...
0
votes
0answers
26 views

Upper Bound on Li's criterion

Background: Bombieri and Lagarias showed that a function $f$ with roots $\rho=x+iy$ satisfies has all its roots lying on $x=\frac12$ if and only if $$\lambda_n :=\sum_\rho ...
4
votes
0answers
81 views

Finite Messy Trigonometric Sum

Show the following result:$$\sum_{m=1}^{99}{\frac{\sin{\left(\frac{17 m \pi}{100}\right)} \sin{\left(\frac{39 m \pi}{100}\right)}}{1+\cos{\left( \frac{m\pi}{100} \right) }}}=1037$$ The source of this ...
2
votes
1answer
74 views

Asymptotic expression for sum of first n prime numbers?

Is one known? If not, what are the best known bounds? Is there reason to think that an asymptotic expression is beyond current methods if none exists?
0
votes
0answers
30 views

$\eta(s)+\eta(1-s)=F(s)-G(s)$ and roots of $F(s),G(s)$ are on the critical line

Wusheng Zhu in 2012 uploaded to arxiv.org an interesting preprint titled "Riemann Zeta Function Expressed as the Di fference of Two Symmetrized Factorials Whose Zeros All Have Real Part of 1/2" ...