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$...
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)}{...
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=...
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 ...
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}...
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 ...
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^{...
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 ...
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)$ ...
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$...
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 ...
5 votes
3 answers
831 views

Dirichlet series whose coefficients are the bits of sqrt(2)

$$F\\,(s) = 1/1^s + 0/2^s + 1/3^s + 1/4^s + 0/5^s + 1/6^s + 0/7^s + 1/8^s + ... $$ The coefficients of this Dirichlet series are the base-2 digits of $\sqrt2$. Does it have an analytic continuation ...
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 ...
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 ...
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}-...
-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) = \...
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)$...
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\...
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 ...
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 ...
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 ...
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, ...
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$. ...
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 ...
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)^{...
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 ...
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 $$\...
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, ...
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(\...
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 ...