Logarithm of Dirichlet L-Functions

This article needs to be tidied.
Please fix formatting and $\LaTeX$ errors and inconsistencies.

It may also need to be brought up to our standard house style.

If you have done this or know it has been done, please remove {{Tidy}} from the code.

Theorem

Let $\chi$ be a Dirichlet character modulo $q$.

$\displaystyle f(s) = \sum_{n \mathop \ge 1} \sum_p \frac {\chi(p)^n} {n p^{n s} }$

converges absolutely to an analytic function, where $p$ ranges over the primes.

Moreover, $f(s)$ defines a branch of $\log L (s, \chi)$

By Convergence of Dirichlet Series with Bounded Coefficients, $f(s)$ converges absolutely on $\Re (s) > 1$ to an analytic function.

For fixed $s \in \{ \Re(s) > 1 \}$,

$\displaystyle \sum_{n \mathop \ge 1} \sum_p \frac{\chi (p)^n} {n p^{n s} }$

$=$

$\displaystyle \sum_p \left({\frac {\chi(p)} {p^s} + \frac {\chi(p)^2} {2 p^{2 s} } + \cdots}\right)$

$\displaystyle $

$=$

$\displaystyle \sum_p \log\left({\frac 1 {1 - \chi (p) p^{-s} } }\right)$

Taylor Series of Logarithm; this is the branch of $\log$ with $\log(1 + x) = x - x^2/2 + \cdots$ for small $x$

$\displaystyle $

$=$

$\displaystyle \log \prod_p \left({\frac 1 {1 - \chi (p) p^{-s} } }\right)$

Logarithm is Continuous; this not necessarily the same branch of $\log$

$\displaystyle $

$=$

$\displaystyle \log L (s, \chi)$

Hence $f (s)$ is an analytic branch of $\log$ on $\Re(s) > 1$.

$\blacksquare$