All Questions
Tagged with analytic-number-theory dirichlet-series
109 questions
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 $.
- 161
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}...
user6671
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 ...
- 317
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
14
votes
0
answers
1k
views
Analytic continuation of the Dirichlet generating series of the multiplicative partition function
Apologies for the lengthy question, but it seems it's the only way i can convey my thoughts. Consider the Dirichlet series:
$$\kappa(s)=\prod_{m=2}^{\infty}\frac{1}{1-m^{-s}}=\sum_{n=1}^{\infty}\frac{\...
- 181
12
votes
3
answers
2k
views
Are L-functions uniquely determined by their values at negative integers?
Are L-functions uniquely determined by their values at negative integers? In another words, is there a sequence of integers $a_1, a_2, a_3, \cdots$ such that
the corresponding L-function
$$L_{\{a_n\}...
- 1,430
12
votes
2
answers
382
views
Vanishing of certain periodic series: A question related to $L(1 , \chi) \neq 0$.
Fix $q$ to be a positive integer. Let $$f : \mathbb{N} \to \{-1 ,0, 1\}$$ be a $q$-periodic arithmetic function such that $$\sum_{n = 1}^q f(n) = 0.$$ If $f$ is not identically zero, is it true that $...
- 2,283
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 ...
- 1,755
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(\...
- 20.2k
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}\...
- 2,902
9
votes
2
answers
559
views
Recovering $\sum_{n \leq x} a(n)$ from $\sum_{n \leq x} a(n)e^{-n/x}$
In the theory of automorphic forms and multiple Dirichlet series, we often take inverse Mellin transforms of Dirichlet series to come up with Tauberian theorems, like the Ikehara Tauberian method. In ...
- 1,570
9
votes
2
answers
1k
views
Analytic continuation of Dirichlet series with completely multiplicative coefficients of modulus 1
A sequence $a_n \in \mathbb{T}$ ($n \geq 1$) satisfying $a_{mn} = a_m a_n$ for all $m, n \geq 1$ defines a Dirichlet series $f(s) = \sum_n a_n n^{-s}$, absolutely convergent for $\Re s > 1$. If in ...
- 265
8
votes
4
answers
3k
views
Modern Algebraic Geometry and Analytic Number Theory
I am currently discovering the algebraic geometry of Grothendieck. I have the impression that this theory, which leads to categories, schemas, topos etc. alone can encompass all modern mathematics (...
8
votes
2
answers
1k
views
Is the maximum domain to which a Dirichlet series can be continued always a halfplane?
Let $f(s)=\sum_n a_n n^{-s}$ be a Dirichlet series whose coefficients satisfy $\lvert a_n\rvert\leq n^{C}$. Then $f(s)$ converges absolutely in some halfplanes, and is conditionally convergent in (...
- 7,836
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 ...
8
votes
0
answers
104
views
What is known about the following series?
For $k\in{\mathbb Z}^2$ write $|k|=\sqrt{k_1^2+k_2^2}$ for the euclidean norm. Then let $g(k)=gcd(k_1,k_2)$.
For $s\in\mathbb C$ let
$$
D(s)=\sum_{\substack{k\in{\mathbb Z}^2}\\ k\ne 0}\frac{|k|}{g(k)}...
user1688
7
votes
2
answers
940
views
Extracting Dirichlet series coefficients
Cauchy's integral formula is a powerful method to extract the $n$'th power series coefficient of an analytic function by evaluating a single complex integral. Is there any such analytic method to ...
- 1,324
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 ...
- 4,164
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)}{...
- 115
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 ...
- 178
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
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$. ...
- 4,985
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 ...
- 211
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
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
6
votes
0
answers
654
views
Generalized prime number theorem and Riemann Hypothesis for non-number math objects
My question is about some math objects (matrices, polynomials) and operators that satisfy a number of properties which can lead to a theory similar to PNT, RH, Dirichlet functions, abscissa of ...
- 3,098
5
votes
1
answer
693
views
An application of Mobius Inversion in a paper of Shintani
I've been reading about Shintani zeta functions and in particular with respect to finding the density of cubic discriminants as in the theorem of Davenport-Heilbronn. In Shintani's paper "On zeta-...
- 1,570
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$...
- 37k
5
votes
1
answer
1k
views
Does the Euler product for $L(s,\chi_4)$ also converge in the right half of the critical strip?
This question expands on this one from MSE.
In the literature about Dirichlet $L$-series, I found that their Euler products:
$$L(s, \chi) =\prod_p \bigg(\frac {1}{1-\frac{\chi(p)}{p^s}} \bigg)$$
...
- 4,169
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 ...
- 1,890
5
votes
1
answer
202
views
Sufficient conditions for $\sum_{n \ge 1} a_n e^{-(a_1+\cdots+a_n) s} \sim \frac{1}{s}$ as $s \to 0^+$
Let $(a_n)_{n \ge 1}$ be a sequence of non-negative real numbers such that $\sum_{n \ge 1} a_n = \infty$, and set $\lambda_n := a_1 + \cdots + a_n$ for each $n$. Then the (generalized Dirichlet) ...
- 10.5k
5
votes
0
answers
326
views
Can we extend the twisted Poisson Summation formula with functions having a singularity in zero?
The following "twisted" Poisson Summation formula for $\chi$ primitive of conductor $q$ :
$$ \sum_{n\in\mathbb{Z}}\chi(n)f\left(\frac{nx}{\sqrt{q}}\right) =
\frac{A}{x}\sum_{n\in\mathbb{Z}}\bar\chi(n)...
- 1,199
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)...
- 3,098
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$....
- 317
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),\\
...
- 603
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)}{...
4
votes
2
answers
566
views
Real non trivial zeros of Dirichlet L-functions
When dealing with the prime number theorem in arithmetic progressions, one cannot exclude the possible presence of a real zero close to $1$ for at most one real character mod $q$. On the other hand, ...
- 1,322
4
votes
1
answer
283
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 ...
- 91
4
votes
2
answers
1k
views
Some Dirichlet series questions.
I asked this question on m.SE in an attempt to find out the right words to say for these questions I am about to ask.
In his great answer, Matthew Emerton explained that (cuspidal) automorphic L-...
4
votes
1
answer
387
views
Zeros of derivatives of Dirichlet Eta function
Let
$$
\eta^{(d)}(z) =
\sum_{n=1}^\infty
\dfrac
{(-1)^d(-1)^{n-1}\ln(n)^d}
{n^z}
$$
be the derivative of Dirichlet Eta function of order $d$.
Does it exist any known or not known zero of $\eta^{(d)}...
- 433
4
votes
1
answer
441
views
A lower bound on the $L^2$ norm of a Dirichlet polynomial
The Question. Suppose $0 < \alpha < \beta$ are fixed, and $a_n$ is an arbitrary sequence of real numbers. Is it known how to bound from below
\begin{equation*}
\int_0^{T} \Big| \sum_{\alpha T &...
- 4,671
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 ...
- 141
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 \}$, ...
- 576
4
votes
0
answers
318
views
Equivalence of Euler products of Dirichlet series and Meromorphic continuation
Suppose $(f_n(s))_n$ and $(g_n(s))_n$ are two sequences of Dirichlet series with positive coefficients such that $\exists \alpha\in\mathbb R$ such that for all $s\in\mathbb C$ with $\Re(s)>\alpha$ ...
- 993
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 ...
- 1,284
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 ...
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 $...
- 534
3
votes
2
answers
625
views
Continuation up to zero of a Dirichlet series with bounded coefficients
Let $a_n$ be a bounded sequence of positive real numbers. Is it the case that the Dirichlet series $\sum \frac{a_n}{n^s}$ can be meromorphically continued up to the right of zero, with at the most a ...
- 7,442
3
votes
1
answer
963
views
Abscissa of absolute convergence of the product of two Dirichlet series
I first asked the following question on Mathematics StackExchange (a few weeks ago), since the content of MathOverflow is mostly above my academic level. I didn't want to bother people on this forum ...
3
votes
1
answer
164
views
Recovering information for $\sum_{n \leq x}a(n)$ from $\sum_{n \geq 1}a(n)e^{-nx}$
I am wondering if I could deduce the bound for the partial sums
\[
\sum_{n \leq x}a(n) \ll x^{A}, \quad x \to \infty
\]
from the relation
\[
\sum_{n \geq 1}a(n)e^{-ny} \ll y^{-A}, \quad y \to 0^{+}.
\]...
