Questions tagged [dirichlet-series]
The dirichlet-series tag has no usage guidance.
74 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{\...
- 181
12
votes
0
answers
559
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,403
11
votes
0
answers
530
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,480
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 ...
- 21.3k
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
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,570
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
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
5
votes
0
answers
158
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
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
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
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
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,209
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
112
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
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
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,337
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=...
- 1,183
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 ...
- 31
3
votes
0
answers
66
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
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 ...
- 1,570
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
155
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,897
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,207
3
votes
0
answers
192
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,570
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
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
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
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_{...
2
votes
0
answers
194
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,284
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
$$\...
- 81
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, ...
- 362
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 ...
- 195
2
votes
0
answers
81
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
133
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
141
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
139
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
451
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
301
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
98
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,897
1
vote
0
answers
191
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
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
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)$...
- 3,098
1
vote
0
answers
97
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,098
1
vote
0
answers
183
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,985