Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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$...
David Loeffler's user avatar
3 votes
0 answers
139 views

Do the denominators of A006571(n)/A366450(n) have a Dirichlet generating function? Because they partially match A071974(n) and A056622(n)?

Consider the expansion: $$A006571(n) = q \prod _{k=1}^{\infty } \left(1-q^k\right)^2 \left(1-q^{11 k}\right)^2 \label{1}\tag{1}$$ A006571 and the triple sum: $$A366450(n)=\sum _{k=1}^n \left(\sum _{y=...
Mats Granvik's user avatar
  • 1,183
5 votes
0 answers
95 views

Possible extension of Ikehara's theorem for Dirichlet series with not necessarily positive coefficients?

I'm wondering about a possible extension of Ikehara's theorem for Dirichlet series with coefficients that are not necessarily positive. Consider the following: Let $D(s) = \sum_{n \geq 1} \frac{a(n)}{...
 Babar's user avatar
  • 611
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 ...
 Babar's user avatar
  • 611
4 votes
0 answers
265 views

Ramanujan-like series for $1/\pi^m$ and Dirichlet L-values

A rational Ramanujan-like series for $\pi^{-m}$ and character $\chi$ is a series with rational parameters which is of the following form: $$ \sum_{n=0}^{\infty} \left(\prod_{i=0}^{2m} \frac{(s_i )_{n}...
Jesús Guillera's user avatar
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 ...
Bear's user avatar
  • 31
-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 ...
swami's user avatar
  • 375
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 ...
user avatar
2 votes
2 answers
231 views

Conditional convergence of exponential sums related to a Hecke modular form

Definition Consider the Fourier coefficients $\psi(n)$ of the modular form $\eta^4(6\tau)$, which are defined in terms of $q=\exp(i2\pi\tau)$ by the identity: $$\eta^4(6\tau) = q \prod_1^\infty (1-q^{...
Christopher-Lloyd Simon's user avatar
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$ ...
Josh's user avatar
  • 1
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 ...
H A Helfgott's user avatar
  • 20.2k
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 ...
Nomas2's user avatar
  • 317
1 vote
0 answers
120 views

Question on recursive formulas for $\eta(2 n+1)$ and $\beta(2 n)$ where $n\in\mathbb{N}$

This question is a refinement of my related MSE question which was asked over 2 years ago and no answers have yet been posted. Consider the following formulas for the Dirichlet eta function $\eta(s)$ ...
Steven Clark's user avatar
  • 1,126
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$....
Nomas2's user avatar
  • 317
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$...
Vincent Granville's user avatar
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$. ...
Jesse Elliott's user avatar
0 votes
0 answers
78 views

Could the patterns in the roots of the Riemann-Liouville differintegral of $(s-1)\,L(s, \chi_{q,j})$ be explained?

This question aims to extend this question to (automorphic) Dirichlet L-functions. Take: $$f(s,q,j) = (s-1)\,L(s, \chi_{q,j})$$ with $q$ the modulus and $j$ the index of a character $\chi$. A fast way ...
Agno's user avatar
  • 4,169
2 votes
1 answer
167 views

Exceptional zeros of a convolutional inverse

Let $\kappa:\lbrace 1,2,3,\ldots\rbrace\longrightarrow \mathbb Z$ be the convolutional inverse in the Dirichlet ring of $n\longmapsto {n+1\choose 2}$. It is defined by $\kappa(1)=1$ and by the ...
Roland Bacher's user avatar
2 votes
1 answer
170 views

Is this a valid method of extending convergence of the Maclaurin series for $\frac{x}{x+1}$ from $|x|<1$ to $\Re(x)>-1$?

I originally asked this question on Math StackExchange a few months ago and no answers or even comments have yet been posted, so I'm asking this question again here on Math OverFlow. This Math ...
Steven Clark's user avatar
  • 1,126
7 votes
2 answers
390 views

Proving a series for $\pi$ by Plouffe

Simon Plouffe found experimentally a series for $\pi$ that can be written as $$\frac{\pi}{24} = \sum_{n=1}^\infty \frac{1}{n} \left( \frac{3}{e^{\pi n}-1} -\frac{4}{e^{2\pi n}-1} +\frac{1}{e^{4\pi n}-...
Jaume Oliver Lafont's user avatar
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 ...
Zhang's user avatar
  • 81
-2 votes
1 answer
139 views

Convergence of scrambled product for Dirichlet-$L$ function with modulo 4 character

A Dirichlet-$L$ function is typically defined by its series, and its Euler product is a consequence of the definition. Here my approach is the other way around. I define the function $$ L_4^*(s) = \...
Vincent Granville's user avatar
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_{(\...
Dr. Pi's user avatar
  • 3,062
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 ...
H A Helfgott's user avatar
  • 20.2k
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)).$$ ...
H A Helfgott's user avatar
  • 20.2k
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)$...
Vincent Granville's user avatar
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 =...
Vincent Granville's user avatar
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 ...
Holomorphic manifold's user avatar
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.$$ ...
H A Helfgott's user avatar
  • 20.2k
12 votes
2 answers
549 views

Computation of modified Gauss sums

Let $\chi$ be a primitive Dirichlet character of conductor $q$. I want to compute numerically $$G(k)=\sum_{n\bmod q}\chi(n)e^{2\pi i n(n-k)/(2q)}$$ for all $k$ with $0\le k<2q$ with $k\equiv q\...
Henri Cohen's user avatar
  • 13.1k
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 ...
Mayank Pandey's user avatar
9 votes
0 answers
546 views

Modern treatment of Delange's Tauberian Theorem

Tauberian theorems abound in the literature. One of the most general, powerful, and versatile is due to Delange, and appears as Theorem I of the paper: H. Delange - Généralisation du théorème de ...
Daniel Loughran's user avatar
7 votes
0 answers
146 views

Are there natural Dirichlet series whose completions have poles in the region of absolute convergence?

The Selberg class of $L$-functions are Dirichlet series $$ L(s, f) = \sum_{n \geq 1} \frac{a(n)}{n^s}, $$ satisfying certain properties that can be abbreviated as analyticity, a Ramanujan conjecture, ...
davidlowryduda's user avatar
1 vote
0 answers
381 views

Analytic continuation of Euler product $\phi(s)=\prod_p(1+p^{-s})^{-1}$

I am actually interested in the analytic continuation of $\phi_w(s)=\prod_p(1+w\cdot p^{-s})^{-1}$. Here $w$ is rational, or the imaginary unit multiplied by a rational. Consider for now that $w=1$. ...
Vincent Granville's user avatar
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 ...
Kim's user avatar
  • 4,164
1 vote
1 answer
305 views

Continuing an analytic continuation of the Dirichlet $\eta$-function?

The Dirichlet $\eta$-function is defined as: $$\eta(s) = \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^s} \qquad \Re(s) > 0$$ and has the full analytical continuation: $$\eta(s) = \sum_{n=1}^N \frac{(-1)^{...
Agno's user avatar
  • 4,169
3 votes
0 answers
79 views

Continuation of $\sum \sigma_\nu(n) a(n) n^{-s}$ for $a(\cdot)$ coming from a half-integral weight form

In some of my work, I've run into a wall trying to understand whether a Dirichlet series has a meromorphic continuation or not. Let $f(z) = \sum_{n \geq 1} a(n) e(nz)$ be a half-integral weight ...
davidlowryduda's user avatar
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 ...
Ma Joad's user avatar
  • 1,755
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 $$\...
AK12N1's user avatar
  • 81
2 votes
0 answers
199 views

Multiplicity of zeros of partial sums of the Dirichlet Eta function

I am studying ways to approach the problem of the multiplicity of zeros of the partial sums of the Dirichlet Eta functions: $$ \sum_{n=1}^{K}\frac{(-1)^{n-1}}{n^{s_o}} = 0 $$ more in particular, ...
Luca's user avatar
  • 362
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}\...
Milo Moses's user avatar
  • 2,902
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.
Augusto Santi's user avatar
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=...
user1062's user avatar
  • 105
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}...
user avatar
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(\...
H A Helfgott's user avatar
  • 20.2k
2 votes
0 answers
341 views

Dirichlet series of powers of the prime omega function

Let $\omega(n)$ denote the number of distinct prime factors of a positive integer $n$. I was wondering what is known about the dirichlet series $$\sum_{n=1}^{\infty}\frac{\omega(n)^k}{n^s},$$ in ...
bryanjaeho's user avatar
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 ...
user142929's user avatar
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\...
user142929's user avatar
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 ...
user142929's user avatar
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 ...
MCS's user avatar
  • 1,284