Questions tagged [dirichlet-series]
The dirichlet-series tag has no usage guidance.
25 questions
15
votes
1
answer
2k
views
Dirichlet series expansion of an analytic function
Let $F(s)=\sum_{n\geq 1}\frac{a_n}{n^s}$ be a Dirichlet series with (finite) abscissa of absolute convergence $\sigma_a$. It can be shown that $\forall \sigma >\sigma_a:$
$$\lim_{T\to\infty}\frac{1}...
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 ...
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 ...
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.$$
...
0
votes
1
answer
501
views
Questions on analytic representations of the Kronecker delta function $\delta(x-1)$ and the Moebius function $\mu(n)$
This question is related to analytic formulas for $a(n)$ where $f_a(x)$ and $F_a(s)$ defined in formulas (1) and (2) below are the summatory function and Dirichlet series associated with $a(n)$.
$$...
15
votes
3
answers
903
views
Tauberian theorem $\sum_{k=1}^{\infty}e^{-\lambda_{k}t}c_{k} \xrightarrow{t\to 0} \sum_{k=1}^{\infty}c_{k} $
I am trying to prove or disprove
$$\sum_{k=1}^{\infty}e^{-\lambda_{k}t}c_{k} \xrightarrow{t\to 0} \sum_{k=1}^{\infty}c_{k} ,$$
where $\sum c_{k}<\infty, \sum c_{k}^{2}<\infty\text{ and }\frac{\...
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(\...
9
votes
2
answers
2k
views
Divergence of Dirichlet series
Suppose $s$ is a complex number with $\Re(s) \in (0,1]$ and $\{a_n\}$ is a complex sequence converging to $a \neq 0$. Must the Dirichlet series $$\sum_{n=1}^\infty\frac{a_n}{n^s}$$ diverge?
I asked ...
8
votes
1
answer
2k
views
Dirichlet's theorem for number fields
I'd like to see a formulation of Dirichlet's theorem for number fields, i.e. some analogue of the assertion:
The number of primes less than $N$ congruent to $a \pmod{m}$ where $(a,m)=1$ is
$\frac{...
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)).$$
...
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)$$
...
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)...
3
votes
1
answer
756
views
Special values of Hecke L-function
The Dedekind zeta function for a number field $K$ is defined as
$\zeta_K(s)=\sum_{I\subset O_K} (N_{K/\mathbb{Q}}(I))^{-s}$.
By attaching a Hecke character $\psi$, we can define $L(s,\psi)=\sum_{I\...
3
votes
1
answer
846
views
Multiplicative functions whose Dirichlet series have essential singularities
What can be said about the partial sums of a complex-valued completely multiplicative function, let's say bounded by 1 in absolute value, if its Dirichlet series has an essential singularity?
As a ...
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 ...
2
votes
1
answer
1k
views
On the convergence of Dirichlet series over the Mobius Mu function
It is known that if $\sum_{k=1}^{\infty} \frac{\mu(k)}{k^s} = \frac{1}{\zeta(s)}$ for $\Re(s) > 1/2$ then RH holds. My question is:
Under RH why is it not $\sum_{k=1}^{\infty} \frac{\mu(k)}{k^s} = ...
2
votes
1
answer
275
views
Binomial transform of Dirichlet series
Let $\Theta(s)$ be a Dirichlet series , and let $\beta$ be its abscissa of convergence:
$$\Theta(s)=\sum_{n=1}^{\infty}\frac{\theta(n)}{n^{s}}\;\;\;\;\;\;\Re(s)>\beta$$
And let $\left\{a_{n}\right\}...
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 ...
2
votes
0
answers
119
views
An analytic function, asymptotically expandable in a Dirichlet series, is the sum of this series
Let there be a function $F(s)$ that is analytic in some half-plane $\sigma>\sigma_0$ (where $s=\sigma + it $). Let the function $F(s)$ have an asymptotic expansion of the form $F(s)\sim\sum\limits_{...
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 ...
1
vote
1
answer
419
views
On a certain integral representation for Dirichlet L-functions
It is an ancient result of Jensen that
$$(s-1)\zeta(s)=\frac{\pi}{2} \int_{-\infty}^{\infty} \frac{(1/2+it)^{1-s}}{\cosh^{2}\pi t} \mathrm{d}t$$
where $\zeta$ denotes the Riemann zeta function.
Is ...
1
vote
1
answer
261
views
Generalizing closed form representations related to conjectured analytic formulas for $f_a(x)=\sum\limits_{n=1}^x a(n)$
Consider the summatory function $f_a(x)$ defined in formula (1) below where the related Dirichlet series $F_a(s)$ defined in formula (2) below converges for $\Re(s)\ge 2$.
$$f_a(x)=\sum\limits_{n=1}^...
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 $...
0
votes
1
answer
78
views
What is the critical exponent for irregular function in the Sobolev scale?
When I first saw the definition of general Sobolev spaces with real exponent I immediately got interested in the following problem: pick several of your favourite irregular functions/distributions and ...
0
votes
1
answer
290
views
Analytic continuation of Euler product $\prod_{p} (1 - e^{-2 \pi i p \alpha}p^{-s})^{-1}$
Is anything useful known about the function defined by
\[
f(s, \alpha) = \prod_{p} (1 - e^{-2 \pi i p \alpha}p^{-s})^{-1} \quad ?
\]
Here, $\alpha$ is real. When $\alpha = 1$, this is certainly the ...