Skip to main content

All Questions

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

Positivity of partial Dirichlet series for a quadratic character?

Let $\chi\colon(\mathbb{Z}/N\mathbb{Z})^\times\rightarrow\{\pm1\}$ be a primitive quadratic Dirichlet character of conductor $N$. For any integer $m=1,2,\cdots,\infty$, consider the partial Dirichlet ...
5 votes
2 answers
237 views

Residue of Dirichlet series at $s = 1$

Let $(a_n)_{n \ge 1}$ be a sequence of complex numbers, and suppose that the sequence has a well-defined "average", in the sense that $$ \lim_{N \to \infty} \frac{1}{N}\sum_{i = 1}^N a_i = R$...
6 votes
1 answer
247 views

Convergence and meromorphic continuation of a Dirichlet series under RH

Consider a Dirichlet series $F(s) = \sum_{n\geq1} \frac{a_{n}}{n^{s}}$ such that $a_{n} = O(1)$. Suppose the Dirichlet series $$\zeta(s)F(s)=\sum_{n\geq1} \frac{(a\star1)(n)}{n^{s}}$$ converges ...
3 votes
0 answers
167 views

A sharper estimate for a generalization of the sum-of-divisors function

I am interested in the function $f_n(m)$ which can be defined by the Dirichlet generating function $$\zeta(s)\zeta(s - 1) \cdots\zeta(s - n + 1) = \sum\limits_{m = 1}^\infty \frac{f_n(m)}{m^s} $$ This ...
11 votes
3 answers
866 views

Conditions under which $\lim_{s\to1^+}\sum_{n=1}^{\infty}\frac{a_n}{n^s}=\sum_{n=1}^{\infty}\frac{a_n}{n}$

I was working with some Dirichlet series and I realized that I have never seen any general conditions under which \begin{equation} \sum_{n=1}^{\infty}\frac{a_n}{n}=\lim_{s\to1^+}\sum_{n=1}^{\infty}\...
-1 votes
1 answer
109 views

Analyzing a Dirichlet series with log-oscillating terms via Fourier methods

I am investigating the series $S(z)$ defined as follows: $$ S(z) = \sum_{n=1}^{\infty} n^{-a}\cos(b\ln(n)), $$ where $z = a + bi \in \mathbb{C}$, with $0 < a < 1$, and $b \in \mathbb{R}$. I want ...
8 votes
1 answer
401 views

Is $\frac{1}{L(1+it)}$ unbounded?

Let $\chi$ be a Dirichlet character and $L(s, \chi)$ be the corresponding L-function. Is $$\frac{1}{L(1+it, \chi)}$$ unbounded for $t \in \mathbb{R}$? I'm aware that this is true if $L=\zeta$, but I'm ...
1 vote
1 answer
258 views

Classification of L functions and Dirichlet series by poles

I am interested in the connection between particular Dirichlet series' abscissa of convergence and the poles of L-functions. Let $D(z) = \sum_{n=1}^\infty\frac{a_n}{n^z}$ be a Dirichlet series ...
0 votes
1 answer
179 views

A question about the setup of zero density estimates for Dirichlet $L$-functions

For $L(s,\chi)= \sum_{n \geq 1}\frac{\chi(n)}{n^s}$, where $s = \sigma + it$, we define the function $N(\sigma, T, \chi)$ which counts the zeros $\rho = \beta + i\gamma$ for which $L(\rho, \chi) =0$ ...
6 votes
0 answers
286 views

Approximating $\zeta'/\zeta$ (and its derivatives) by a finite sum

Let $A(s) = (-\zeta'/\zeta)^{(r)}(s) = \sum_n a_n n^{-s}$, where $r\geq 0$. (We can consider $r=0$ first for simplicity.) Say I want to approximate $A(s)$ for $s=1+it$ by a finite sum - preferably a ...
15 votes
1 answer
738 views

Euler's proof of $\frac{\pi}{6}=1-\frac{1}{2}-\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\frac{1}{6}-\cdots$

Euler proved $$\frac{\pi}{6}=1-\frac{1}{2}-\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\frac{1}{6}-\cdots$$ where the reasoning of the signs thus is prepared, so that of the second may be had as $-$, prime ...
4 votes
1 answer
229 views

Abscissa of convergence of the $\tau$ Dirichlet series

Define the $\tau$ Dirichlet series $L$ by $$L(s)=\sum_{n=1}^\infty \frac{\tau (n)}{n^s}$$ where $\tau$ is defined by $$q\prod_{n=1}^\infty (1-q^n)^{24}=\sum_{n=1}^\infty \tau (n)q^n$$ where $|q|\lt 1$....
6 votes
1 answer
360 views

The Dirichlet series of the harmonic numbers

I'm curious about the Dirichlet series $$F(s) = \sum_{n = 1}^\infty \frac{H_n}{n^s}$$ of the sequence $H_n = \sum_{k = 1}^n \frac{1}{k}$ of harmonic numbers. Its abscissa of convergence is $1$. ...
2 votes
0 answers
131 views

Limit of scaled infinite sum with Dirichlet characters modulo 4: is it zero?

I am trying to get an asymptotic formula such as $$ L_4(s, n) \sim L_4(s) + \rho_n(s)\Lambda_n + \frac{\alpha(s)}{\sqrt{n}} + \frac{\beta(s)}{\sqrt{n\log n}}+\cdots$$ where $L_4(s, n)$ is the first $n$...
2 votes
1 answer
96 views

A sum related to the first moment of quadratic $L$-functions at $s=1$

Let $(\frac{m}{n})$ be the Jacobi quadratic symbol defined for positive squarefree odd integers $n,m$. Does the following sum go to infinity? $$ \sum_{1\leq n \leq (\log x)^{100} } \mu^2(2n) \sum_{(\...
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 ...
14 votes
1 answer
571 views

Mean value theorem for Dirichlet series - optimize?

Let $a_n\in \mathbb{C}$. We can prove a mean value theorem, meaning an inequality $$\int_0^T \left|\sum_{n=1}^\infty a_n n^{-i t}\right|^2 dt \leq \sum_{n=1}^\infty (c_0 T + c_1 n + c_2) |a_n|^2.$$ ...
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)).$$ ...
1 vote
2 answers
336 views

Abscissa of convergence for a very specific Dirichlet series / Euler product

I am interested in the convergence of the following Euler product: $$ \prod_p \frac{1}{1-\chi(p)\cdot p^{-s}}. $$ The product is over all primes (in increasing order), with $\chi(p)=+1$ if $p \bmod 4 =...
1 vote
0 answers
112 views

If the Dirichlet series $L(z,\chi)$ diverges for $\sigma< 1$, does its alternating version converge for some $\sigma_0 < 1$, and conversely?

Here $\chi$ is a completely multiplicative function with $\chi(p)\in\{-1,+1\}$ for any prime $p$, but not necessarily a character. Also $s=\sigma + it$ as usual. The series corresponding to $L(s,\chi)$...
5 votes
1 answer
176 views

Frequency of large values of the Mertens function

It is known that with $M(x) = \sum_{n\le x}\mu(n)$, there are infinitely many $x$ s.t. $|M(x)|\ge x^{\frac{1}{2} - \varepsilon}$ (see Chapter 15 of Montgomery-Vaughan, for example). Is there any way ...
3 votes
2 answers
546 views

Approximation of $\sum_{\rho}\frac{1}{|\rho|^2}$, over the non-trivial zeros of the Ramanujan's zeta function

I would like to know if it in the literature an approximation for $$\sum_{\rho}\frac{1}{|\rho|^2}\tag{1}$$ where the sum is over all of the non-trivial zeros of the Ramanujan's zeta function (also ...
6 votes
4 answers
430 views

Reference for behavior of Artin $L$-functions at $\Re(s) = 1$

Would anyone know a reference that proves the basic facts about Artin $L$-functions at $\Re(s) = 1$? Namely, the non-vanishing and holomorphicity for non-trivial characters. I assume this was done in ...
12 votes
1 answer
617 views

Convergence of the series involving Mobius functions $\sum_{k,d} \mu(d) x_{kd}$

(I originally asked this question here, but the problem appears much more difficult than I think after a moment of thought, so I think it might be more suitable to post it here. Please tell me if this ...
2 votes
0 answers
135 views

Question regarding proof of Mertens' estimates in Montgomery-Vaughan's "Multiplicative number theory"

I have been trying to read Theorem 2.7 of Montgomery-Vaughan's "Multiplicative number theory" volume 1, and there is an issue I have run into: in the proof of subpart (e), when they write $$\...
1 vote
0 answers
102 views

Characterization of turning points for the Ramanujan's zeta function in the spirit of a definition by Arias de Reyna and van de Lune

In [1] the authors provided a definition and characterization of turning points for the Riemann's zeta function. In this post I denote the Ramanujan's zeta function as $$\varphi(s)=\sum_{n=1}^\infty\...
1 vote
0 answers
166 views

Euler product over subsets of primes

It is well known that $$\prod_p\,(1-p^{-1})=\frac 1 {\zeta(1)}=0$$ Given an arbitrary prime $\,q\,$ is it true that $$\prod_{q\,|\,p+1}\,(1-p^{-1})=0\;\;\;?$$ Thanks.
0 votes
2 answers
389 views

What is the dirichlet series of $f(n)=\sum_{d | n}(\log d) / d$ function? [closed]

My opinion is ; We may use id(d)=d arithmetic function and log*id dirichlet convolution in the question. i thought that ; when we multiply and divide n with $(\log d) / d$ we obtain $F(S)=\sum_{n=...
15 votes
2 answers
728 views

If $\zeta(s)=0$ with $\Re(s)=\frac{1}{2}$, is then $|\hat{\zeta}(s,3)|^2=\frac{1}{2}$?

Helmut Hasse has proved that for $s \in \mathbb{C}-\{1\}$ the Riemann zeta function can be written as: $$\zeta(s)=\frac{1}{1-2^{1-s}}\sum_{n=0}^\infty\frac{1}{2^{n+1}}\sum_{k=0}^n(-1)^k\ {n \choose k}...
0 votes
1 answer
239 views

Zeros of partial sums of the Ramanujan's zeta function

In this post we consider the Ramanujan tau function $\tau(n)$, see the Wikipedia Ramanujan tau function, and we consider partial sums of its corresponding Dirichlet series (see for example the article ...
12 votes
1 answer
663 views

Error term when truncating series for $1/\zeta(s)$

Let $s=\sigma+it$, $0\leq \sigma\leq 1$, $|t|\geq 1$, say. Using Euler-Maclaurin, one can easily show that, for $x\geq |t|$, $$\zeta(s) = \sum_{n\leq x} \frac{1}{n^s} + \frac{x^{1-s}}{s-1} + O\left(\...
1 vote
1 answer
288 views

Bounding Coefficients of Dirichlet Series

Consider the exponentiated Riemann-Zeta function $\zeta(s)^p$. If it is represented as $$\zeta(s)^p = \sum_{n=1}^\infty\frac{a_n}{n^s}$$ Is there any upper bound we can put on $|a_n|$ in terms of ...
4 votes
1 answer
244 views

The function $\sum_{n=0}^\infty\frac{(-1)^n\mu(2n+1)}{(2n+1)^s}$: reference request or particular values at integers and abscissa of convergence

We denote for integers $m\geq 1$ the Möbius function as $\mu(m)$. With the help of a CAS, Wolfram Alpha online calculator, I was calculating certain values of $$\sum_{n=0}^\infty\frac{(-1)^n\mu(2n+1)}{...
3 votes
2 answers
451 views

On the relation between the asymptotics of a Dirichlet series' coefficients and the series' analytic continuability

There is a wonderful series of articles by Flajolet et. al. about Mellin Transforms and the asymptotic analysis of generating functions. In particular, on page 45 of the article Mellin Transforms and ...
4 votes
1 answer
448 views

The sign of an interesting sum involving a Dirichlet character

Let $\chi_{q}$ be a primitive Dirichlet character with modulus $q$ (see definition at wikipedia ). For example for $q=5$ we have \begin{equation} \begin{aligned} \chi_{5,1}&=(1, 1, 1, 1, 0),\\ ...
16 votes
1 answer
673 views

Dirichlet series with a single zero

I need to find a Dirichlet series f that has the following property. f is zero in only one point s such that Re(s) > $\sigma_c $.
0 votes
2 answers
392 views

What is the relationship between the abscissa of holomorphy and abscissa of convergence of a Dirichlet series

Given a Dirichlet series $$\phi(s)=\sum_{n\ge1}\frac{a_n}{n^s}$$ let $\sigma_{\text{conv}}\in\bar{\mathbb{R}}$ its abscissa of convergence, then we know that $\phi(s)$ is holomorphic on the half-plan $...
4 votes
0 answers
216 views

Gap Between Abscissae of Conditional Convergence and Holomorphicity for Dirichlet Series

For a Dirichlet series, $D = \sum_n a_n n^{-s}$ we may define the abscissae, in (non-strictly) increasing order $\sigma_c(D) = \inf\{\sigma : D \text{ converges in } \mathrm{Re} s > \sigma \}$, ...
3 votes
0 answers
97 views

Supremum of certain modified zeta functions at 1

Let $D$ be an integer number and let $\chi$ be the Dirichlet character defined by $$\chi(m) = 0 \text{ if $m$ even, } \chi(m) = (D/m) \text{ if $m$ odd,}$$ where $(D/m)$ denotes the Jacobi symbol. ...
2 votes
1 answer
454 views

Does $\sum_{n=1}^\infty \frac{\mu(n)}{n^s}$ converge for $\sigma > \frac{1}{2}$?

Looking at @Lucia's answer to this question it appears $\sum_{n=1}^\infty \frac{\mu(n)}{n^s}$ converges for $\sigma > \frac{1}{2}$. Can someone point me to a proof or provide proof for this? If I ...
1 vote
1 answer
230 views

Asymptotic for a number theoretic sequence and its Dirichlet series' convergence

I would like to know the asymptotic behaviour at large $n$ for $t\in\mathbb{R}$, $t\neq0$ of the following function: \begin{align*} A_n(t)&=\sum_{q=\frac{a}{b}\in \mathbb{Q}^+|\gcd(a,b)=1 \& ...
6 votes
1 answer
350 views

Counting smooth numbers in short intervals

I am reading a few papers about counting smooth numbers in the interval $[x, x+\sqrt{x}]$, including the work of Harman, and Matomaki. Both authors mentioned that the Dirichlet polynomial techniques ...
-3 votes
1 answer
250 views

Twin prime based Dirichlet series

Assuming there are infinitely many twin primes, one can consider a Dirichlet series $ \sum_{n>0}a_{n}{n^{-s}} $ and replace the sequence of positive integers with the sequence of twin primes. That ...
3 votes
1 answer
560 views

The abscissa of convergence of the real part of a Dirichlet series

Let $L(s)=\sum_{n\ge1}\frac{a(n)}{n^s}$ be a Dirichlet series with a finite abscissa of convergence $\sigma_c.$ My question is the following : On what condition the abscissa of convergence of $\sum_{...
6 votes
1 answer
510 views

If a Dirichlet series converges Conditionally, how can I apply Euler product?

In 1737, Euler discovered that if $ f(n) $ is multiplicative and $ \sum f(n)/n^{s} $ converges absolutely for ${\rm Re}(s) > \sigma_a$ then we have \begin{equation} \sum_{n=1}^{\infty} \frac{f(n)}{...
2 votes
0 answers
451 views

Analytic continuation of "composite" zeta function

Let us define the Dirichlet series $$\mathcal C(s):=\sum_{n\text{ composite}}\frac{1}{n^s},\quad P(s):=\sum_{p\text{ prime}}\frac{1}{p^s}.$$ They are absolutely convergent in the half-plane $\sigma>...
1 vote
0 answers
325 views

Extension of Heath-Brown's fourth moment $\sum_ \chi \lvert L (s, \chi) \rvert^4$ to complex characters

Let $L(s, \chi)$ denote the Dirichlet $L$-function associated to the character $\chi$. In his paper A Mean Value Estimate for Real Character Sums, Heath-Brown proves a mean value bound for $L(s,\chi)$...
0 votes
1 answer
356 views

Meromorphic continuation of a Dirichlet series

I asked this question in SEM but I got no answer, so I'm trying my luck here. Let the Dirichlet series $\phi(s)=\sum_{n\ge 1}\frac{a(n)}{n^s}$ be absolutely convergent for $\Re(s)>1$ and extend to ...
2 votes
0 answers
425 views

Analytically continuing the limit of this series?

Main Question I believe the following formula gives the right answer: $$ \lim_{k \to \infty} \lim_{n h \to k} \left( \sum_{r=1}^n c_r f(hr) h\right) = \int_0^\infty f(x) \, dx \times \sum_{r=1}^\...
3 votes
1 answer
1k views

Two Dirichlet's series related to the Divisor Summatory Function and to the Riemann's zeta-function

Considering the $\textit{Divisor Summatory Function}$, $D(n)$, defined as $$ D(n) = \sum_{k=1}^{n}d(k) , $$ where $$ d(n) = \sum_{k|n}^{n}1. $$ One can observe the following pattern in the values of $...