Difference of Abscissae of Convergence

Theorem
Let $\ds \map f s = \sum_{n \mathop = 1}^\infty a_n n^{-s}$ be a Dirichlet series.

Suppose that $\map f s$ has finite Abscissa of Convergence $\sigma_c$.

Then the Abscissa of Absolute Convergence $\sigma_a$ is finite, and:


 * $0 \le \sigma_a - \sigma_c \le 1$

Proof
It is trivial that $\sigma_a \ge \sigma_c$.

Suppose $s_0 = \sigma_0 + i t_0 \in \C$ such that $\map f {s_0}$ converges.

It is sufficient to show that $\map f s$ converges absolutely for all $s = \sigma + i t$ with $\sigma > \sigma_0 + 1$.

Pick an upper bound $M$ for the real numbers $\size {a_n n^{-s_0} }$.

Then for $s = \sigma + i t$ with $\sigma > \sigma_0 + 1$:


 * $\size {\dfrac {a_n} {n^s} } = \size {\dfrac {a_n} {n^{s_0} n^{s - s_0} } } = \dfrac M {n^{\sigma - \sigma_0} }$

Then by the Comparison Test, $\ds \sum_{n \mathop = 1}^\infty \size {a_n n^{-s} }$ converges.