Questions tagged [dirichlet-series]
The dirichlet-series tag has no usage guidance.
193 questions
4
votes
1
answer
285
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 ...
- 105k
-3
votes
1
answer
98
views
when does $h$ exist?
Let $\zeta(s)$ denote the Reimann zeta function in the critical strip. It is easy to see that $$ \zeta(s) = 0 \Longleftrightarrow \Re(\zeta(s))+\Im(\zeta(s)) = 0 ~~~~ \text{and} ~~~~~~ \Re(\zeta(s)) \...
- 105k
-3
votes
0
answers
57
views
Is the real and imaginary part of the Dirichlet eta function closest to its partial sums when trigonometric function changes signs?
To grasp the question we are concerned with three Theorems 1,2, and 3 in bold font below. First let us consider the Dirichlet eta function $\eta: \mathbb{C}\rightarrow \mathbb{R}$
$$
\eta(s) = \sum_{n=...
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$...
- 105k
1
vote
1
answer
188
views
Can one show $h(x)=|2(\zeta'(x))^2-\zeta''(x)\zeta(x)|$ is a decreasing function for $x\in\mathbb{R}\cap [1,\infty)$?
This question is related to This question.
When I tried to approach it I couldn't even proof that the LHS is a decreasing function on the given domain using regular methods. I have tried to write the ...
- 128k
0
votes
2
answers
364
views
Can one show $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the ...
- 128k
6
votes
1
answer
568
views
Can one show that $|\zeta'(x) / \zeta^2(x)| \leq 1/(x-.5)$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{\zeta'(x)}{\zeta^2(x)}\right|\leq \frac{1}{x-\frac{1}{2}}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the inequality and got this inequality ...
- 105k
0
votes
0
answers
104
views
Validity of a Tauberian theorem for Dirichlet series
I encountered this statement about Dirichlet series but couldn't find a similar result in Korevaar's "Tauberian Theory". Is this statement valid?
Statement:
Let $f(s) = \sum_{n=1}^{\infty} \...
- 611
1
vote
0
answers
192
views
Prerequisites for Chen's theorem?
I am an undergraduate theoretical physics student, and I am trying to understand Chen's theorem. But when I tried to read Chen Jingrun's 1973 paper (https://www.sciengine.com/Math%20A0/doi/10.1360/...
- 11
1
vote
2
answers
310
views
Dirichlet Series that fail to be L-functions
For $\sigma \in \mathbb{R}$, let each $\mathbb{C}_\sigma = \{s \in \mathbb{C} : \Re(s) > \sigma\}$. For a sequence $a_n \in \mathbb{C}$, consider the Dirichlet series $D(s) = \sum_{n\ge 0} a_n n^{-...
- 1,315
0
votes
0
answers
88
views
Closed form formula
Let $m$ and $n$ are positive integers, then find the sum of the infinite series defined as $$\sum_{k=0}^\infty \frac{(-1)^k\Gamma(m+k) }{\Gamma(m)k!(k+m)^n}.$$ I was managed to the sum with $m=2$ and $...
- 109
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)}{...
- 611
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,367
0
votes
0
answers
88
views
Accentuating the appearance of convergence of the Möbius function Dirichlet series on the line $\sigma = \frac{2}{3}$ in the critical strip
Set the constant $c$ to:
$$c = -\frac{3}{4}$$
which is in the interval: $$-1 < c < 0$$
and let the matrix $A$ be:
$$A(n,k)=[k|n] - [n=k](1+c)$$
Then form the matrix power series:
$$M=\sum _{n \...
- 1,183
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 ...
- 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}...
- 1,389
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}\...
- 105k
-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 ...
- 105k
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 ...
- 105k
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
259
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 ...
- 105k
14
votes
3
answers
2k
views
Convergence of L-series
I remember to have read that the L-function of an elliptic curve, which a priori only converges for $\Re s > \frac{3}{2}$ also converges at $s=1$ provided that the $L$-function
satisfies the ...
- 50.6k
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$ ...
- 105k
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 ...
- 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 ...
- 105k
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)$ ...
- 1,126
0
votes
0
answers
124
views
Are $\zeta'(0)$ and $\beta'(0)$ algebraic numbers?
Let $\zeta$ be the Riemann zeta function and $\beta$ the Dirichlet beta function. We know that $\zeta (0)=-1/2$ and $\beta (0)=1/2$ are algebraic numbers over $\mathbb{Q}$. This led me to the ...
- 317
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$....
- 105k
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,060
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$...
- 3,098
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 ...
- 4,169
6
votes
1
answer
131
views
Finding the continued fraction for the "tails" of $\eta(3)$
I am interested in the continued fractions for the "tails" or "correction term" of the series sum of specific constants. For example, the Madhava's correction term for $\pi/4$:
$$
\...
- 28.2k
2
votes
0
answers
56
views
Dirichlet series solution to Poisson Point Process question (repost from math.SE)
Reposting here because the bounty on the original math.SE post expired, with no solutions or comments received.
For any discrete subset $S$ of $\mathbb{R}^d$, consider a digraph formed by placing an ...
- 121
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 ...
CommunityBot
- 1
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 ...
- 22.5k
1
vote
2
answers
678
views
An inequality related to Catalan's constant and $\zeta(3)$
Problem :
Show that :
$$\frac{1}{\zeta(3)}<2C-1$$
Where we can see the zeta function and the Catalan's constant .
After a bounty on Maths Stack Exchange there is no satisfying answer .
See https://...
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 ...
- 128k
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}-...
0
votes
0
answers
101
views
Prime races in two competing arithmetic progressions - error bound
I read an article by Andrew Granville on the subject, there's actually quite a bit of recent literature on the topic. My problem is as follows. I have two sequences of primes: $(p_{1,n})$ and $(p_{3,n}...
- 3,098
4
votes
1
answer
364
views
Zeros of Dirichlet function $L(s,\chi_4)$
I am wondering if there are some know results for the non-trivial roots at ${\rm Re}(s) = \frac{1}{2}$, even maybe a table of the first few roots with $t>0$. This sister function
$$
L_4^* (s,\chi_4)...
- 50.6k
-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) = \...
- 105k
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_{(\...
- 11
2
votes
0
answers
158
views
Error or gap in "Modular Functions and Dirichlet Series", by Apostol
My question concerns Apostol's Chapter 7, Kronecker's Theorem with Applications. It's Theorem 7.11, page 156.
I’m attaching the proof in question. There is a lot going on, but I’ve highlighted the ...
- 579
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 ...
- 20.2k
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.$$
...
- 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)).$$
...
- 20.2k
4
votes
0
answers
134
views
Converse theorem for zeta universality
Voronin's Universality Theorem for $\zeta(s)$ is that the zeta function can uniformly approximate any non-vanishing holomorphic function to any degree of accuracy in the right-half of the critical ...
- 63.9k
1
vote
2
answers
337
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 =...
- 3,098
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)$...
- 105k