Questions tagged [dirichlet-series]
The dirichlet-series tag has no usage guidance.
67
questions with no upvoted or accepted answers
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{\...
- 271
12
votes
0
answers
526
views
Additive and multiplicative convolution deeply related in modular forms
From the fact spaces of modular forms are finite dimensional, from the decomposition in Hecke eigenforms, and from the duplication formula for $\Gamma(s)$ there are a lot of identities mixing additive ...
- 3,405
11
votes
0
answers
510
views
Cesaro summation of a particular Dirichlet series associated with $\zeta(s)$
If you've investigated the error in Perron's formula in general, you've probably noticed that Cesaro summation $$\lim_{x\rightarrow\infty}\sum_{n\leq x} \left(1-\frac{\log n}{\log x}\right)\frac{a_n}{...
- 2,470
9
votes
0
answers
505
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 ...
- 20.8k
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
0
answers
137
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,478
6
votes
0
answers
270
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 ...
- 19.4k
6
votes
0
answers
199
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)).$$
...
- 19.4k
6
votes
0
answers
619
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,088
5
votes
0
answers
153
views
Dirichlet eta function and Stirling Permutations
The Stirling permutations of order $k$ is a permutation of the multiset $1, 1, 2, 2, ..., k, k$. The Dirichlet $\eta$-function is a function closely related to the Riemann $\zeta$-function.
According ...
- 155
5
votes
0
answers
317
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,121
4
votes
0
answers
124
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
63
views
Number of cosets by quaternion order
Let $D$ be a quaternion division algebra over $\mathbb Q$ and let $\Lambda\subset D$ be a maximal order.
For $n\in\mathbb Z$ let $\Lambda^{(n)}$ denote the set of all $\lambda\in\Lambda$ with reduced ...
user473423
4
votes
0
answers
275
views
Computing Bohr Radii
The Bohr radius $R$ for $\mathcal{H}(\mathbb{D})$ is defined as the radius $$R = \sup\limits_{0<r<1} \Bigl\{ r\ \Big|\sum\limits_{k=0}^{\infty}|a_k|r^k \leq |f|_\mathbb{D}, \text{ for all }f(z)=\...
- 3,177
4
votes
0
answers
207
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
109
views
References for "quadratic" Dirichlet series
(Please pardon the use of nonstandard terminology, as I know not the accepted names for my entities of interest.)
Some personal research I have been doing led me to consider series of the form
$$\...
- 41
4
votes
0
answers
314
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
4
votes
0
answers
259
views
multiple zeros of an L-function
I once heard a conjecture that a primitive L-function does not have multiple zeros except the central point of the critical strip.
Question:Why it is reasonable to conjecture a primitive L-function ...
- 3,317
3
votes
0
answers
152
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 ...
- 31
3
votes
0
answers
75
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 ...
- 1,478
3
votes
0
answers
97
views
Supremum of certain modified zeta functions at 1
Let $D$ be an integer number and let $\chi$ be the Dirichlet character defined by
$$\chi(m) = 0 \text{ if $m$ even, } \chi(m) = (D/m) \text{ if $m$ odd,}$$
where $(D/m)$ denotes the Jacobi symbol. ...
3
votes
0
answers
63
views
Analytic continuation of a Dirichlet series with several complex variables
For $w_1,w_2,z_1,z_2\in\mathbb{C}$ with $\operatorname{Re}(w_1)>0$ and $\operatorname{Re}(w_2)>0$, define
\begin{equation*}
U(w_1,w_2;z_1,z_2):=\prod_{p}\left(1-\frac{e^{z_1}}{p^{1+w_1}}-\frac{e^...
- 131
3
votes
0
answers
151
views
Dirichlet series decomposition of arbitrary function
Originally asked on MSE here: https://math.stackexchange.com/q/1780149/52694
Analytic functions can be decomposed into a Taylor series, and furthermore the Taylor series converges back to the ...
- 4,525
3
votes
0
answers
139
views
Square integral of finite Euler product
Consider the finite Euler product
$$
P(t) = \prod_{r=1}^R \left(1 + p_r^{i t} \right).
$$
(Here $p_1, p_2, \dots$ are of course the primes.)
Question: What is a good asymptotic upper bound for
$$
\...
- 2,199
3
votes
0
answers
190
views
Determining coefficients of a Dirichlet series based on values on a vertical line
Let us suppose we have a Dirichlet series
$$ D(s) = \sum_{n \geq 1} \frac{a(n)}{n^s},$$
and that we know the values of $D(\tfrac{1}{2} + im)$ for $m \in \mathbb{Z}$. Can we recover the coefficients $a(...
- 1,478
2
votes
0
answers
124
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,088
2
votes
0
answers
54
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
2
votes
0
answers
145
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 ...
- 531
2
votes
0
answers
171
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 ...
- 19.4k
2
votes
0
answers
111
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_{...
2
votes
0
answers
186
views
On a generalization of the Möbius function from number theory
Let $\omega$ be a positive real number, and define: $$\mathbf{1}_{\omega}\left(n\right)\overset{\textrm{def}}{=}\left(-1\right)^{n}\binom{-\omega}{n}=\binom{\omega-1+n}{n}$$ for all positive integers $...
- 1,266
2
votes
0
answers
129
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
$$\...
- 81
2
votes
0
answers
183
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, ...
- 362
2
votes
0
answers
305
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 ...
- 195
2
votes
0
answers
77
views
Question on a generalized Dirichlet series
Given the generalized Dirichlet series
$$S(x) =\sum_{(n,m)\in \mathbb{Z}^2}e^{-x\sqrt{n^2+m^2}} $$
is there any way to solve the equation
$$2S(2x)=S(x)$$
for $x\in\mathbb{R}$? I am only interested in ...
- 501
2
votes
0
answers
131
views
Analytic continuation of $\alpha(s)=\sum_{n=a+1}^\infty\frac{1}{(n^2-a^2)^s}$. Possibly related to Riemann Zeta function $\zeta(s)$?
I'm trying to find the analytic continuation for
$\alpha(s)=\sum_{n=a+1}^\infty\frac{1}{(n^2-a^2)^s} ,$
with $a\in \mathbb{N^+}$ and $s<1$. I need most likely only the values for $s=\frac{1}{2}-m$...
- 129
2
votes
0
answers
131
views
Bound for partial sums of $ L(1/2+it,\chi)$
Let $\chi$ be a primitive Dirichlet character of conductor $q>1$. One may use partial summation to prove an upper bound of the form (I hope I am right) $$ \sum_{n\leq X} \chi(n)n^{-1/2-it} \ll \...
- 31
2
votes
0
answers
134
views
Harmonic Dirichlet series
The harmonic numbers are defined by
$$ H_n=\sum_{j=1}^n\frac{1}{j} $$
I have come across the following sum:
$$ g(z)=\sum_{n=1}^\infty z^{H_n} $$
Clearly it converges only for $z<1/e$. Is it a ...
2
votes
0
answers
437
views
Analytic continuation of "composite" zeta function
Let us define the Dirichlet series $$\mathcal C(s):=\sum_{n\text{ composite}}\frac{1}{n^s},\quad P(s):=\sum_{p\text{ prime}}\frac{1}{p^s}.$$
They are absolutely convergent in the half-plane $\sigma>...
- 21
2
votes
0
answers
425
views
Analytically continuing the limit of this series?
Main Question
I believe the following formula gives the right answer:
$$ \lim_{k \to \infty} \lim_{n h \to k} \left( \sum_{r=1}^n c_r f(hr) h\right) = \int_0^\infty f(x) \, dx \times \sum_{r=1}^\...
- 89
2
votes
0
answers
294
views
Smoothing Dirichlet Series partial sums by means of Pontifex Path Bending Functions
I have recently stumbled upon a curious approach to smoothing of the partial sums of Ordinary Dirichlet Series, and which I would like to share with others. Theorem 11.18 of Apostol's "Introduction to ...
- 362
2
votes
0
answers
91
views
Discrete "difference" equations that involve changes in both shift and scale
A standard use of the Z-transform ($F(z) = \sum_n (f[n] \cdot z^{-n} )$) is to understand the effect of a difference equation on a signal. For instance:
$y[n] = x[n] + y[n-1]$
$Y(z) = X(z) + Y(z) \...
- 4,525
1
vote
0
answers
107
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,061
1
vote
0
answers
111
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)$...
- 3,088
1
vote
0
answers
96
views
Bounds and repulsion domains for the Dirichlet eta function $\eta(\sigma+it)$, for fixed $\sigma$
Let $\eta(\sigma+it)$ be the Dirichlet eta function, with $t>0$ (the variable) and $\sigma$ be fixed, with $\frac{1}{2}\leq \sigma <2$. I define the hole $\Omega_T
=\Omega_T(\sigma)$ as the ...
- 3,088
1
vote
0
answers
176
views
Zeta functions of schemes of finite type over $\mathbb{Z}$
Let $X$ be a scheme of finite type over $\mathbb{Z}$. In Section 11 of my 2008 paper in J. Number Theory, "Ring structures on groups of arithmetic functions," I define an additive analogue $...
- 4,123
1
vote
0
answers
334
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$. ...
- 3,088
1
vote
0
answers
154
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.
- 1,000
1
vote
0
answers
99
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
91
views
convergence abcissa for Mellin transforms
Where can I find the theory of abcissa of convergence for integrals necessary to understand ChenClass answer to
On the integral $I_s =\int_{1}^{\infty} (\pi(x)-Li(x))x^{-s-1} dx$
?
Note that the ...
- 221