Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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$...
David Loeffler's user avatar
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 ...
Haidara's user avatar
  • 178
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 ...
Haidara's user avatar
  • 178
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 ...
Haidara's user avatar
  • 178
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} \...
 Babar's user avatar
  • 611
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/...
Ben's user avatar
  • 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^{-...
Greg Zitelli's user avatar
  • 1,104
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 \...
Mats Granvik's user avatar
  • 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 ...
 Babar's user avatar
  • 611
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 ...
Bear's user avatar
  • 31
-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 ...
swami's user avatar
  • 375
1 vote
1 answer
258 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 ...
user avatar
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$ ...
Josh's user avatar
  • 1
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 ...
H A Helfgott's user avatar
  • 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 ...
Nomas2's user avatar
  • 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$....
Nomas2's user avatar
  • 317
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$...
Vincent Granville's user avatar
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$. ...
Jesse Elliott's user avatar
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}...
Vincent Granville's user avatar
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)...
Vincent Granville's user avatar
3 votes
1 answer
278 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 ...
Zhang's user avatar
  • 81
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_{(\...
Dr. Pi's user avatar
  • 3,062
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 ...
Lawrence Paulson's user avatar
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 ...
H A Helfgott's user avatar
  • 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)).$$ ...
H A Helfgott's user avatar
  • 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 ...
modperspec's user avatar
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)$...
Vincent Granville's user avatar
1 vote
2 answers
336 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 =...
Vincent Granville's user avatar
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 ...
Vincent Granville's user avatar
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 ...
Holomorphic manifold's user avatar
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.$$ ...
H A Helfgott's user avatar
  • 20.2k
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 ...
Mayank Pandey's user avatar
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}^...
Steven Clark's user avatar
  • 1,126
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 ...
Vincent Granville's user avatar
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)$. $$...
Steven Clark's user avatar
  • 1,126
0 votes
0 answers
151 views

Abscissa of convergence of transformed Dirichlet series

Let $$F(s)=\sum_{k=1}^\infty \frac{f(k)}{k^s} \mbox{ and }F^*(s)=\sum_{k=2}^\infty \frac{f(k)g(k)}{k^s},$$ where the infinite sum $\sum f(k)$ diverges, $f(k)$ and $g(k)$ are real numbers, $s$ a ...
Vincent Granville's user avatar
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 ...
Kim's user avatar
  • 4,164
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 $...
MCS's user avatar
  • 1,284
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 ...
Ma Joad's user avatar
  • 1,755
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 $$\...
AK12N1's user avatar
  • 81
2 votes
2 answers
740 views

Convergence of Euler product and Dirichlet series in the same half-plane?

I'm crossposting this from math.stackexchange because I think it might be inappropriately research-level for the community over there. Suppose we have an Euler product over the primes $$F(s) = \prod_{...
Rivers McForge's user avatar
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\}...
mohammad-83's user avatar
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}\...
Milo Moses's user avatar
  • 2,902
2 votes
1 answer
508 views

Moments of Dirichlet $L$-functions on the critical line

I'm looking for a reference for some questions related to the moments of Dirichlet characters on the critical line, $$ M_k(T;\chi) = \int_T^{2T} |L(1/2+it,\chi)|^{2k}\,dt, $$ where $\chi$ is a ...
Anurag Sahay's user avatar
  • 1,354
1 vote
0 answers
166 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.
Augusto Santi's user avatar
2 votes
1 answer
186 views

Existence of analytic continuation of Dirichlet series corresponding to the indicator sequence of a complement of a special multiplicative set

Let $K/ \mathbb Q $ be a finite Galois extension and let $X$ be a proper non-empty subset of the Galois group $G=Gal(K/ \mathbb Q)$ that is closed under conjugation. Consider a set of integer primes $...
asrxiiviii's user avatar
0 votes
1 answer
369 views

Properties of Dirichlet series

I have a question about convergence and properties of Dirichlet series. it seems a bit interesting and different about the convergences of Dirichlet Series to me. With $c\in [0,1]$, $$f(n) = \pm 1,...
user1062's user avatar
  • 105
0 votes
2 answers
389 views

What is the dirichlet series of $f(n)=\sum_{d | n}(\log d) / d$ function? [closed]

My opinion is ; We may use id(d)=d arithmetic function and log*id dirichlet convolution in the question. i thought that ; when we multiply and divide n with $(\log d) / d$ we obtain $F(S)=\sum_{n=...
user1062's user avatar
  • 105
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}...
user avatar
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(\...
H A Helfgott's user avatar
  • 20.2k