# Is there a converse to Ikehara's Tauberian theorem for Dirichlet series?

Ikehara's Tauberian theorem for Dirichlet series states that if $$F(s)=\sum_{1}^{\infty}\frac{f(n)}{n^s}$$ with $f(n)\geq 0$ is such that $$F(s)=\frac{G(s)}{s-1}+H(s)$$ for $\sigma>1$ with $G,H$ analytic and $G(1)\neq 0$, then the continuity of $F(1+it)$, $t\neq 0$, implies that $$\frac{1}{x}\sum_{n\leq x}f(n)\sim G(1).$$

I am wondering if there is a converse to this statement, i.e. Do we know that if $F(1+it)$ has other discontinuities at say $t=\pm a_i$, $i=1,2,...$, then $$\frac{1}{x}\sum_{n\leq x}f(n)\not\sim G(1)?$$

If not, I can imagine that there is a converse under stricter assumptions on $F$, say if we assume $F(s)$ is analytic in a neighbourhood of every point of the line $\sigma=1$ except at $t=0$ and $t=\pm a_i$, or under stricter assumptions on the $a_i's$, then $$\frac{1}{x}\sum_{n\leq x}f(n)\not\sim G(1).$$ Do such theorems exist?

We assume much stronger assumptions for $F(s)$ on the line $\sigma=1$ that it has simple poles at $s=1$, $s=1+it_0$ and $s=1-it_0$ with $t_0>0$. Also, assume that the Dirichlet series $F(s)=\sum a_n n^{-s}$ has $\sigma_c=1$. Then we have for $A(x)=\sum_{n\le x} a_n$, $$B(s):=\frac{F(s)}s-\frac{c}{s-1}=\int_1^{\infty} \left(A(x) - c x\right)x^{-s-1} dx$$ holds for $\sigma>1$.
If $A(x)\geq cx$ for $x>X_0$, then for $\sigma>1$, $$B(s)+\frac12 e^{i\phi} B(s+it_0)+\frac12 e^{-i\phi} B(s-it_0)=\int_1^{\infty} (A(x)-cx) (1+\cos(\phi-t_0\log x)) x^{-s-1}dx \ \ \ \ (*)$$ The LHS of (*) has a simple pole at $s=1$ with residue $$G(1)-c+\frac12 e^{i\phi} \beta + \frac12 e^{-i\phi} \overline{\beta}$$ where $\beta = \mathrm{Res}_{s=1+it_0} F(s)/s\neq 0$. On the other hand, the RHS does not tend to $-\infty$ as $s\rightarrow 1+$, because the integrand is nonnegative for $x\geq X_0$. We now take $\phi$ so that $$\frac12 e^{i\phi} \beta + \frac12 e^{-i\phi} \overline{\beta} = -|\beta|.$$ Then $$G(1)-c-|\beta|\geq 0$$ yiending $$c\leq G(1)-|\beta|.$$ Thus, $\liminf\limits_{x\rightarrow\infty} A(x)/x \leq G(1)-|\beta|$. Similarly, we can prove that $\limsup\limits_{x\rightarrow\infty} A(x)/x \geq G(1)+|\beta|$. Then we have the desired result $A(x)/x \not\sim G(1)$.